Abstract
We consider a general compressible viscous and heat conducting fluid confined between two parallel plates and heated from the bottom. The time evolution of the fluid is described by the Navier–Stokes–Fourier system considered in the regime of low Mach and Froude numbers suitably interrelated. Surprisingly and differently to the case of Neumann boundary conditions for the temperature, the asymptotic limit is identified as the Oberbeck–Boussinesq system supplemented with non-local boundary conditions for the temperature deviation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Rayleigh–Bénard problem concerns the motion of a compressible fluid confined between two parallel plates heated from the bottom. For the sake of simplicity, we suppose the motion is space-periodic with respect to the horizontal variable. Accordingly, the underlying spatial domain may be identified with the flat torus in the horizontal plane:
The state of the fluid at a given time t and a spatial position \(x \in \Omega \) is characterized by the mass density \(\varrho = \varrho (t,x)\), the absolute temperature \(\vartheta = \vartheta (t,x)\), and the velocity \(\textbf{u}= \textbf{u}(t,x)\). We consider the motion in the asymptotically incompressible and stratified regime. Accordingly, the time evolution of the flow is governed by the scaled Navier–Stokes–Fourier (NSF) system:
The viscous stress is given by Newton’s rheological law
while the internal energy flux satisfies Fourier’s law
Here, the more conventional internal energy (heat) equation
is replaced by the entropy balance equation (1.3). We point out that the equations (1.3), (1.8) are equivalent in the framework of classical solutions as long as the thermodynamic functions \(p(\varrho , \vartheta )\), \(e(\varrho , \vartheta )\), \(s(\varrho , \vartheta )\) are interrelated through Gibbs’ equation
The entropy balance equation, however, is more convenient for the weak formulation introduced in Sect. 2. In particular, the weak solutions based on the entropy formulation enjoy several useful properties, notably the so-called weak strong uniqueness principle.
Besides Gibbs’ equation, we impose the hypothesis of thermodynamic stability written in the form
The scaling in (1.1)–(1.3) represented by a small parameter \(\varepsilon > 0\) corresponds to the Mach number \(\textrm{Ma} = \varepsilon \) (the ratio between a “characteristic” fluid’s velocity and the local speed of sound) and the Froude number \(\textrm{Fr} = \varepsilon ^{\frac{1}{2}}\) (the ratio between inertial and gravitational forces of the fluid), see e.g. the survey paper by Klein et al. [17] and our recent work with different scaling [4]. Our goal is to identify the asymptotic limit of solutions for \(\varepsilon \rightarrow 0\).
1.1 Asymptotic limit
The zero-th order terms in the asymptotic limit are determined by the stationary problem
Accordingly, a solution of the Navier–Stokes–Fourier system can be written in the form
where \(\overline{\varrho }\), \(\overline{\vartheta }\) are positive constants and \(\mathfrak {R}_\varepsilon \rightarrow \mathfrak {R}\), \(\mathfrak {T}_\varepsilon \rightarrow \mathfrak {T}\) satisfy in the asymptotic limit \(\varepsilon \rightarrow 0\) the so called Boussinesq relation
Without loss of generality, we suppose
meaning, in particular, the total mass of the fluid is constant independent of \(\varepsilon \).
Anticipating convergence of the temperature deviations
we impose the boundary condition
where the perturbation \(\Theta _B\) is not necessarily positive.
1.2 Limit system
Formally, the limit problem is expected to be the Oberbeck–Boussinesq (OB) system:
where
stand for the coefficient of thermal expansion, and the specific heat at constant pressure, respectively. The quantities \(\mathfrak {R}\), \(\mathfrak {T}\) satisfy the Boussinesq relation (1.12).
We refer to the survey by Zeytounian [21] and the list of references therein for a formal derivation of the Oberbeck–Boussinesq system. A rigorous proof of convergence of a family of (weak) solutions \((\varrho _{\varepsilon }, \vartheta _{\varepsilon }, \textbf{u}_\varepsilon )_{\varepsilon > 0}\) to the Navier–Stokes–Fourier system, meaning
was obtained in [11] (see also [12, Chapter 5]) for the conservative boundary conditions
Note that the conservative boundary conditions (1.16) imply that the average
is a constant of motion. In particular, the Boussinesq relation (1.12) can be written as
recalling the convention \(\int _{\Omega } {G } \ \,\textrm{d} {x} = 0\). The form (1.17) of the Boussinesq relation is rather misleadingly interpreted in the sense that the Oberbeck–Boussinesq approximation can be derived from the Navier–Stokes–Fourier system on condition that the density is supposed to be an affine function of the temperature, cf. the discussion in Maruyama [18].
The present paper can be seen as the first attempt to address the same singular limit problem under the inhomogeneous Dirichlet boundary conditions imposed on the temperature, physically relevant for the well-known Rayleigh–Bénard convection problem. The result is stated in the framework of the general theory of weak solutions to the primitive Navier–Stokes–Fourier system with inhomogeneous boundary conditions developed recently in [8] and the monograph [13].
Rather surprisingly, we show that the limit system is in fact different if the Dirichlet boundary conditions (1.4), (1.5) are imposed. In accordance with (1.4), (1.13), we consider the scaled Navier–Stokes–Fourier system with the boundary conditions
Imposing (1.18) in place of (1.16) drastically changes the behaviour of the fluid as the resulting system is no longer energetically closed and the dynamics is driven by the temperature gradient. Indeed the total mass conservation discussed by several authors (Barletta et al. [2, 3], Maruyama [18]) must be enforced through the condition
in (1.12). Accordingly, the conventional Boussinesq relation (1.17) must be replaced by
where, in accordance with our convention \(\int _{\Omega } {G} \ \,\textrm{d} {x} = 0\),
Relation (1.20) indicates that the limit problem could involve “non-local” terms. Indeed we show that a family of (weak) solutions to the NSF system \((\varrho _{\varepsilon }, \vartheta _{\varepsilon }, \textbf{u}_\varepsilon )_{\varepsilon > 0}\) admits a limit
solving a modified Oberbeck–Bousinesq system
together with the Boussinesq relation
and the boundary conditions
To simplify even more, using relation (1.19) to replace \(\mathfrak {R}\) with \(\mathfrak {T}\) in the momentum equation while observing that two gradient terms hide into \(\Pi \), the system (1.21)–(1.23) turns into
Finally, performing a simple change of variables
we may rewrite system (1.21)–(1.23) in the form of conventional Oberbeck–Boussinesq system
Here and hereafter, we always suppose that the coefficient of thermal expansion \(\alpha (\overline{\varrho }, \overline{\vartheta })\) at the reference state \((\overline{\varrho }, \overline{\vartheta })\) is strictly positive. In particular, it follows directly from (1.15) and (1.10) that \(\lambda \in (0,1)\). Parabolic equations with the non-local boundary terms similar to (1.27) have been recognized by Day [10] in the context of some models in thermoelasticity, and subsequently studied by a number of authors, see Chen and Liu [9], Friedman [14], Gladkov and Nikitin [16], Pao [20], among others.
We point out that our results justify the Oberbeck–Boussinesq approximation as a rigorous description of the limit behaviour of solutions to the complete Navier–Stokes–Fourier system only in the regime where the temperature deviation from the constant state \(\overline{\vartheta }\) is small of order \(\varepsilon \). Indeed the relevance of the Oberbeck–Boussinesq approximation for the Rayleigh–Bénard convection with large deviation of the boundary temperature has been questioned by several authors, see Bormann [7], Fröhlich, Laure, and Peyret [15], Nadolin [19], among others.
1.3 The strategy of the convergence proof
Our approach is based on the concept of weak solutions to the NSF system with energetically open boundary conditions developed recently in [8, 13]. In particular, the relative energy inequality based on the ballistic energy balance is used to measure the distance between the solutions of the primitive and target systems. In contrast with [11, 12, Chapter 5], strong convergence is obtained with certain explicit estimates of the error depending on how close are the initial data to their limit values.
The paper is organized as follows. We start with the concept of weak solutions for the NSF system with Dirichlet boundary conditions introduced in [8]. In particular, we recall the ballistic energy and the associated relative energy inequality in Sect. 2. Then, in Sect. 3, we record the available results on solvability of the OB system in the framework of strong solutions. The main results on convergence to the target OB system are stated in Sect. 4. The rest of the paper is then devoted to the proof of convergence. In Sect. 5, we derive the basic energy estimates that control the amplitude of the fluid velocity as well as the distance of the density and the temperature profiles from their limit values independent of the scaling parameter \(\varepsilon \). The proof of convergence to the OB system is completed in Sect. 6 by means of the relative energy inequality.
2 Weak Solutions to the Primitive System
Following [8, 13], we introduce the concept of weak solutions to the NSF system.
Definition 2.1
(Weak solution to the NSF system). We say that a trio \((\varrho , \vartheta , \textbf{u})\) is a weak solution of the NSF system (1.1)–(1.7), with the initial data
if the following holds:
-
The solution belongs to the regularity class:
$$\begin{aligned} \varrho&\in L^\infty (0,T; L^\gamma (\Omega )) \ \text{ for } \text{ some }\ \gamma> 1,\ \varrho \ge 0 \ \text{ a.a. } \text{ in }\ (0,T) \times \Omega , \nonumber \\ \textbf{u}&\in L^2(0,T; W^{1,2}_0 (\Omega ; {\mathbb {R}}^d)), \nonumber \\ \vartheta ^{\beta /2} ,\ \log (\vartheta )&\in L^2(0,T; W^{1,2}(\Omega )) \ \text{ for } \text{ some }\ \beta \ge 2,\ \vartheta > 0 \ \text{ a.a. } \text{ in }\ (0,T) \times \Omega , \nonumber \\ (\vartheta - \vartheta _{B})&\in L^2(0,T; W^{1,2}_0 (\Omega )). \end{aligned}$$(2.1) -
The equation of continuity (1.1) is satisfied in the sense of distributions, more specifically,
$$\begin{aligned} \int _0^T \int _{\Omega } { \Big [ \varrho \partial _t \varphi + \varrho \textbf{u}\cdot \nabla _{x}\varphi \Big ] } \ \,\textrm{d} {x} \,\textrm{d} t&= - \int _{\Omega } { \varrho (0) \varphi (0, \cdot ) } \ \,\textrm{d} {x} \end{aligned}$$(2.2)for any \(\varphi \in C^1_c([0,T) \times \overline{\Omega } )\).
-
The momentum equation (1.2) is satisfied in the sense of distributions,
$$\begin{aligned}&\int _0^T \int _{\Omega } { \left[ \varrho \textbf{u}\cdot \partial _t \varvec{\varphi }+ \varrho \textbf{u}\otimes \textbf{u}: \nabla _{x}\varvec{\varphi }+ \frac{1}{\varepsilon ^2} p(\varrho , \vartheta ) \textrm{div}_{x}\varvec{\varphi }\right] } \ \,\textrm{d} {x} \,\textrm{d} t\nonumber \\&\quad = \int _0^T \int _{\Omega } { \left[ {\mathbb {S}} (\vartheta , \nabla _{x}\textbf{u}) : \nabla _{x}\varvec{\varphi }- \frac{1}{\varepsilon } \varrho \nabla _{x}G \cdot \varvec{\varphi }\right] } \ \,\textrm{d} {x} \,\textrm{d} t- \int _{\Omega } { \varrho _0 \textbf{u}_0 \cdot \varvec{\varphi }(0, \cdot ) } \ \,\textrm{d} {x} \end{aligned}$$(2.3)for any \(\varvec{\varphi }\in C^1_c([0, T) \times \Omega ; {\mathbb {R}}^d)\).
-
The entropy balance (1.3) is replaced by the inequality
$$\begin{aligned}&- \int _0^T \int _{\Omega } { \left[ \varrho s(\varrho , \vartheta ) \partial _t \varphi + \varrho s (\varrho ,\vartheta ) \textbf{u}\cdot \nabla _{x}\varphi + \frac{\textbf{q} (\vartheta , \nabla _{x}\vartheta )}{\vartheta } \cdot \nabla _{x}\varphi \right] } \ \,\textrm{d} {x} \,\textrm{d} t\nonumber \\&\quad \ge \int _0^T \int _{\Omega } { \frac{\varphi }{\vartheta } \left[ \varepsilon ^2 {\mathbb {S}}(\vartheta , \nabla _{x}\textbf{u}) : \nabla _{x}\textbf{u}- \frac{\textbf{q} (\vartheta , \nabla _{x}\vartheta ) \cdot \nabla _{x}\vartheta }{\vartheta } \right] } \ \,\textrm{d} {x} \,\textrm{d} t\nonumber \\&\qquad + \int _{\Omega } { \varrho _0 s(\varrho _0, \vartheta _0) \varphi (0, \cdot ) } \ \,\textrm{d} {x} \end{aligned}$$(2.4)for any \(\varphi \in C^1_c([0, T) \times \Omega )\), \(\varphi \ge 0\).
-
The ballistic energy balance
$$\begin{aligned}&- \int _0^T \partial _t \psi \int _{\Omega } { \left[ \varepsilon ^2 \frac{1}{2} \varrho |\textbf{u}|^2 + \varrho e(\varrho , \vartheta ) - \tilde{\vartheta }\varrho s(\varrho , \vartheta ) \right] } \ \,\textrm{d} {x} \,\textrm{d} t\nonumber \\&\qquad + \int _0^T \psi \int _{\Omega } { \frac{\tilde{\vartheta }}{\vartheta } \left[ \varepsilon ^2 {\mathbb {S}}(\vartheta , \nabla _{x}\textbf{u}): \nabla _{x}\textbf{u}-\frac{\textbf{q}(\vartheta , \nabla _{x}\vartheta ) \cdot \nabla _{x}\vartheta }{\vartheta } \right] } \ \,\textrm{d} {x}\,\textrm{d} t\nonumber \\&\quad \le \int _0^T \psi \int _{\Omega } { \left[ \varepsilon \varrho \textbf{u}\cdot \nabla _{x}G - \varrho s(\varrho , \vartheta ) \partial _t \tilde{\vartheta }- \varrho s(\varrho , \vartheta ) \textbf{u}\cdot \nabla _{x}\tilde{\vartheta }- \frac{\textbf{q}(\vartheta , \nabla _{x}\vartheta )}{\vartheta } \cdot \nabla _{x}\tilde{\vartheta }\right] } \ \,\textrm{d} {x}\nonumber \\&\qquad + \psi (0) \int _{\Omega } { \left[ \frac{1}{2} \varepsilon ^2 \varrho _0 |\textbf{u}_0|^2 + \varrho _0 e(\varrho _0, \vartheta _0) - \tilde{\vartheta }(0, \cdot ) \varrho _0 s(\varrho _0, \vartheta _0) \right] } \ \,\textrm{d} {x} \end{aligned}$$(2.5)holds for any \(\psi \in C^1_c[0; T)\), \(\psi \ge 0\), and any \(\tilde{\vartheta }\in C^1([0; T) \times \overline{\Omega })\) satisfying
$$\begin{aligned} \tilde{\vartheta }> 0,\ \tilde{\vartheta }|_{\partial \Omega } = \vartheta _{B}. \end{aligned}$$
Although quite general, the weak solutions in the sense of Definition 2.1 comply with the weak–strong uniqueness principle, meaning they coincide with the strong solution as long as the latter exists, see [13, Chapter 4].
2.1 Relative energy inequality
Following [8, 13], we introduce the scaled relative energy
The hypothesis of thermodynamic stability (1.10) can be equivalently rephrased as (strict) convexity of the total energy expressed with respect to the conservative entropy variables
whereas the relative energy can be written as Bregmann distance
associated to the convex functional \((\varrho , S, \textbf{m}) \mapsto E_\varepsilon (\varrho , S, \textbf{m})\), see [13, Chapter 3, Section 3.1]. Finally, as stated in [8], any weak solution in the sense of Definition 2.1 satisfies the relative energy inequality
for a.a. \(\tau > 0\) and any trio of continuously differentiable functions \((\tilde{\varrho }, \tilde{\vartheta }, {\tilde{\textbf{u}}})\) satisfying
Here, we have denoted \({\mathbb {D}}_x\textbf{u}=\frac{1}{2}(\nabla _{x}\textbf{u}+\nabla _{x}^t \textbf{u})\).
2.2 Constitutive relations
The existence theory developed in [8, 13] is conditioned by certain restrictions imposed on the constitutive relations (state equations) similar to those introduced in the monograph [12, Chapters 1,2]. Specifically, the equation of state takes the form
where \(p_{\textrm{m}}\) is the pressure of a general monoatomic gas,
enhanced by the radiation pressure
Accordingly, the internal energy reads
Moreover, using several physical principles it was shown in [12, Chapter 1]:
-
Gibbs’ relation together with (2.9) yield
$$\begin{aligned} p_{\textrm{m}} (\varrho , \vartheta ) = \vartheta ^{\frac{5}{2}} P \left( \frac{\varrho }{\vartheta ^{\frac{3}{2}} } \right) \end{aligned}$$for a certain \(P \in C^1[0,\infty )\). Consequently,
$$\begin{aligned} p(\varrho , \vartheta ) = \vartheta ^{\frac{5}{2}} P \left( \frac{\varrho }{\vartheta ^{\frac{3}{2}}} \right) + \frac{a}{3} \vartheta ^4,\ e(\varrho , \vartheta ) = \frac{3}{2} \frac{\vartheta ^{\frac{5}{2}} }{\varrho } P \left( \frac{\varrho }{\vartheta ^{\frac{3}{2}}} \right) + \frac{a}{\varrho } \vartheta ^4, \ a > 0. \end{aligned}$$(2.10) -
Hypothesis of thermodynamic stability (1.10) expressed in terms of P gives rise to
$$\begin{aligned} P(0) = 0,\ P'(Z)> 0 \ \text{ for }\ Z \ge 0, \ 0 < \frac{ \frac{5}{3} P(Z) - P'(Z) Z }{Z} \le C \ \text{ for }\ Z > 0. \end{aligned}$$(2.11)In particular, the function \(Z \mapsto P(Z)/ Z^{\frac{5}{3}}\) is decreasing, and we suppose
$$\begin{aligned} \lim _{Z \rightarrow \infty } \frac{ P(Z) }{Z^{\frac{5}{3}}} = p_\infty > 0. \end{aligned}$$(2.12) -
Accordingly, the associated entropy takes the form
$$\begin{aligned} s(\varrho , \vartheta ) = s_{\textrm{m}}(\varrho , \vartheta ) + s_{\textrm{rad}}(\varrho , \vartheta ), \ s_{\textrm{m}} (\varrho , \vartheta ) = {\mathcal {S}} \left( \frac{\varrho }{\vartheta ^{\frac{3}{2}} } \right) , \ s_{\textrm{rad}}(\varrho , \vartheta ) = \frac{4a}{3} \frac{\vartheta ^3}{\varrho }, \end{aligned}$$(2.13)where
$$\begin{aligned} {\mathcal {S}}'(Z) = -\frac{3}{2} \frac{ \frac{5}{3} P(Z) - P'(Z) Z }{Z^2} < 0. \end{aligned}$$(2.14) -
In addition, we impose the Third law of thermodynamics, cf. Belgiorno [5, 6], requiring the entropy to vanish when the absolute temperature approaches zero,
$$\begin{aligned} \lim _{Z \rightarrow \infty } {\mathcal {S}}(Z) = 0. \end{aligned}$$(2.15)
Finally, we suppose the transport coefficients are continuously differentiable functions satisfying
As a consequence of the above hypotheses, we get the following estimates:
see [12, Chapter 3, Section 3.2]. Here and hereafter, the symbol \(a \lesssim b\) means there is a positive constant \(C> 0\) such that \(a \le C b\).
We report the existence result proved in [8, Theorem 4.2].
Proposition 2.2
(Primitive system, global existence). Let the thermodynamic functions p, e, s and the transport coefficients \(\mu \), \(\eta \), \(\kappa \) satisfy the hypotheses (2.8)–(2.16). Let \(\vartheta _B \in C^2(\partial \Omega )\). Suppose the initial data \(\varrho _0\), \(\vartheta _0\), \(\textbf{u}_0\) satisfy
Then for any \(T > 0\), the Navier–Stokes–Fourier system (1.1)–(1.7) admits a weak solution \((\varrho , \vartheta , \textbf{u})\) in \((0,T) \times \Omega \) in the sense specified in Definition 2.1.
Remark 2.3
The constitutive restrictions imposed through (2.8)–(2.16) are necessary for the global in time existence result stated in Proposition 2.2. They are of technical nature, and, in our opinion, without significant impact of the asymptotic limit stated below. In particular, the relations (2.8), (2.9) can be replaced by more general ones specified in the monograph [12, Chapter 1, Sections 1.4.2, 1.4.3]. The radiation pressure component is essential only for the existence theory eliminating hypothetical temperature oscillations in the vacuum zones. The fact that its presence has no influence on the form of the asymptotic problem can be demonstrated by considering an extra scaling \(a = a(\varepsilon ) \rightarrow 0\) as \(\varepsilon \rightarrow 0\).
3 Strong Solutions to the Target System
Our analysis requires the existence of regular solutions to the Oberbeck–Boussinesq system (1.25)–(1.27). The relevant result was proved in [1, Theorem 2.3, Theorem 3.1].
Proposition 3.1
(Strong solutions to target system) Suppose that
and
Then there exists \(T_{\textrm{max}} > 0\), \(T_{\textrm{max}} = \infty \) if \(d = 2\), such that the OB system (1.25)–(1.27) with the initial data
admits a strong solution \(\textbf{U}\), \(\Theta \) in the regularity class
for any \(1 \le p < \infty \) and any \(0< T < T_{\textrm{max}}\).
Remark 3.2
Strictly speaking, the existence result in [1] requires, in addition to (3.1),
On the one hand, in applications, G represents the gravitational potential therefore (3.4) is automatically satisfied. On the other hand, the proof presented in [1] can be easily modified to accommodate the general case.
Given the parabolic character of the OB system, the strong solutions are in fact classical if higher regularity of the data is required, cf. [1, Theorem 4.1].
4 Asymptotic Limit, Main Result
We are ready to state our main result concerning the singular limit \(\varepsilon \rightarrow 0\) in the primitive NSF system.
Note that hypotheses (4.3)–(4.5) correspond to well prepared data. The rest of the paper is devoted to the proof of Theorem 4.1.
5 Basic Energy Estimates
In order to perform the limit claimed in Theorem 4.1, we need bounds on the sequence \((\varrho _{\varepsilon }, \vartheta _{\varepsilon }, \textbf{u}_\varepsilon )_{\varepsilon > 0}\) independent of \(\varepsilon \). We start by introducing the notation borrowed from [12] distinguishing the “essential” and “residual” range of the thermostatic variables \((\varrho , \vartheta )\). Specifically, given a compact set
and \(\varepsilon > 0\), we introduce
for any measurable \(g = g(t,x)\). Note carefully that this decomposition depends on \(\varepsilon \). As a matter of fact, the characteristic function \(\mathbb {1}_{(\varrho _{\varepsilon }, \vartheta _{\varepsilon }) \in K}\) can be replaced by its smooth regularization by a suitable convolution kernel.
In the subsequent analysis, we consider
As shown in [12, Chapter 5, Lemma 5.1], the relative energy enjoys the following coercivity properties:
if \((\varrho , \vartheta ) \in K = \overline{{\mathcal {U}}(\overline{\varrho }, \overline{\vartheta })}\), \((\tilde{\varrho }, \tilde{\vartheta }) \in {\mathcal {U}}(\overline{\varrho }, \overline{\vartheta })\),
whenever \((\varrho , \vartheta ) \in R^2 {\setminus } \overline{{\mathcal {U}}(\overline{\varrho }, \overline{\vartheta })}\), \((\tilde{\varrho }, \tilde{\vartheta }) \in {\mathcal {U}}(\overline{\varrho }, \overline{\vartheta })\). The constant C depends on K and the distance
In other words,
5.1 Energy estimates
In agreement with hypothesis (4.2), we have
where \(\Theta _B = \Theta _B(x)\) is a suitable extension of the temperature boundary condition inside \(\Omega \). Plugging this ansatz in the relative energy inequality (2.6) we obtain
Our goal is to control the integrals on the right-hand side to apply Grönwall’s argument. To this end, we fix the compact set K determining the essential and residual component to contain the point \((\overline{\varrho }, \overline{\vartheta })\) in its interior. In particular, the same is true for the range of the function \((\overline{\varrho }, \overline{\vartheta } + \varepsilon \Theta _B)\) as soon as \(\varepsilon > 0\) is small enough. Accordingly, we will systematically use the coercivity of the relative energy \(E_\varepsilon \) stated in (5.1), (5.2) in the estimates below. In particular, we have the estimate
for any \(B = B(\varrho , \vartheta )\) locally Lipschitz in \((0, \infty )^2\).
5.1.1 Estimates
Step 1: First,
where
and
Furthermore,
In view of the bounds (2.17), (2.18),
Finally,
for any \(\delta > 0\). Thus if \(\delta > 0\) is chosen small enough, the first integral is controlled by the viscosity dissipation on the left-hand side of (5.4). Next, in accordance with hypothesis (2.16),
Consequently, as the measure of the residual set is controlled by the relative energy (cf. (5.2)), we get
for any \(\delta > 0\).
Step 2: In accordance with hypothesis (2.16),
where
for any \(\delta > 0\); hence the integral is controlled by dissipation.
Next,
where the first term is controlled by dissipation and the second one by Poincaré’s inequality
Step 3: We have
Seeing that
we can add this term to the relative energy on the left-hand side of (2.6).
Step 4:
Step 5: The last integral on the right-hand side of (5.4) can be handled exactly as in Step 3.
5.1.2 Conclusion, uniform bounds
In view of the estimates obtained in the previous section, we may apply Grönwall’s lemma to the relative energy inequality (5.4). As the initial data satisfy (5.3), we deduce the following bounds independent of the scaling parameter \(\varepsilon \rightarrow 0\):
Next, it follows from (5.15) that the measure of the residual set shrinks to zero, specifically
In addition, we get from (5.15):
Combining (5.17), (5.18), and (5.19), we conclude
Finally, we claim the bound on the entropy flux
Indeed we have
where the former term on the right-hand side is controlled via (5.20). As for the latter, we deduce from (5.17) that
hence it is enough to check
To see (5.22), first observe that
and, in view of (5.17) and Poincaré inequality,
Consequently, (5.22) follows by interpolation.
6 Convergence to the Target System
Our ultimate goal is to perform the limit \(\varepsilon \rightarrow 0\). We proceed in two steps.
6.1 Weak convergence
In view of the uniform bounds established in Sect. 5.1.2, we may infer
where (6.3) may require extraction of a suitable subsequence. As we shall eventually see, the limit velocity \(\textbf{u}= \textbf{U}\) is unique so that the convergence is, in fact, unconditional. In addition, we may let \(\varepsilon \rightarrow 0\) in the weak formulation of the equation of continuity (2.2) to deduce
Next, we use (5.19), (5.20) to obtain (a priori for suitable subsequences),
Moreover, in view of (4.1),
Finally, we perform the limit in the rescaled momentum equation (1.2) to deduce
in the sense of distributions. In particular, it follows from (6.8) that
6.2 Strong convergence
First, it is more convenient to rewrite the target OB system in terms of the variable
Accordingly, we get
together with the Boussinesq relation
the boundary conditions
and the initial conditions
In accordance with Proposition 3.1 and hypotheses (4.4), (4.5), the problem (6.10)–(6.13) admits a unique regular solution on a time interval \([0, T_{\textrm{max}})\), where \(T_{\textrm{max}} > 0\) and \(T_{\textrm{max}} = \infty \) if \(d=2\).
6.3 Relative energy
To complete the proof of Theorem 4.1, we use the relative energy inequality (2.6), with the ansatz
In accordance with our choice of the initial data,
Our goal is to show that \(\displaystyle \int _{\Omega } {E_\varepsilon \left( \varrho _{\varepsilon }, \vartheta _{\varepsilon }, \textbf{u}_\varepsilon \ \Big | \overline{\varrho } + \varepsilon r, \overline{\vartheta } + \varepsilon {\mathcal {T}}, \textbf{U}\right) (\tau ,\cdot )} \ \,\textrm{d} {x}\rightarrow 0\), which finally yields
and the trio \((\mathfrak {R},\mathfrak {T},\textbf{U})=(r, {\mathcal {T}}, \textbf{U})\) is the strong solution to the OB system (1.25)–(1.27).
Step 1: Plugging our ansatz in the relative energy inequality (2.6) and using \(\textrm{div}_{x}\textbf{U}= 0\) we get
Step 2: As r, \(\textbf{U}\) satisfy the momentum equation
we get
Thus we can use the convergence established in (6.1)–(6.3) to rewrite (6.15) in the form
where the symbol \({\mathcal {O}}(\varepsilon )\) denotes a generic error, \({\mathcal {O}}(\varepsilon ) \rightarrow 0\) as \(\varepsilon \rightarrow 0\). Note that the convective term
is controlled by the relative energy.
In addition, in view of the convergences (6.1)–(6.3), we conclude
hence
Step 3: At this stage, we use the Boussinesq relation (6.11) to obtain
where
since \(\int _{\Omega } { G } \ \,\textrm{d} {x}=0\). Consequently,
where
Moreover,
Seeing that
we may infer
Similarly,
Using (6.1), (6.3), we perform the limit in the first integral obtaining
as \(\textrm{div}_{x}\textbf{u}= 0\).
Finally,
Consequently, abbreviating \(s_\varepsilon =s(\varrho _{\varepsilon }, \vartheta _{\varepsilon })\), relation (6.16) can be rewritten as
Step 4: In view of solenoidality \(\textrm{div}_{x}\textbf{U}= 0\), we have
Consequently, we may use the bounds (5.20), (5.21) along with the convergences established in (6.1)–(6.6) to rewrite (6.19) in the form
Step 5: Now we use the fact that \({\mathcal {T}}\) solves the modified heat equation (6.10), specifically,
Thus we may perform the limit in several integrals in (6.21) obtaining
where we have used
Now, we use
to rewrite the third integral on the right-hand side of (6.23) as
In view of the Boussinesq relations (6.8), (6.11), the expression
is spatially homogeneous, meaning it depends on t only.
Similarly, we can rewrite the second integral on the right-hand side of (6.23) as
Similarly to the above, the quantity
is independent of x.
Now, integrating equation (6.22) in x we obtain the identity
Finally, plugging (6.26) into (6.25) we can compute the sum of (6.24) with the first integral in (6.25) obtaining
Now, in accordance with Gibbs’ relation and the definitions of \(\alpha \) and \(c_p\) in (1.15),
Thus, the coefficient multiplying \(\mathfrak {R} - r\) vanishes. By the same token, we deduce that the coefficient multiplying \(\mathfrak {T} - {\mathcal {T}}\) vanishes.
Next, we handle the second integral in (6.25). Using Gibbs’ relation and the constitutive relations obtained in Sect. 2.2, specifically,
Thus, we get
Finally, we regroup terms containing \(\nabla _{x}G\):
Using Boussinesq relation, we deduce
Thus, rearranging terms and using \(\mathfrak {T}|_{\partial \Omega }={\mathcal {T}}|_{\partial \Omega }\), (6.23) reduces to the desired inequality
Using Grönwall’s lemma and letting \(\varepsilon \rightarrow 0\) we obtain the conclusion claimed in Theorem 4.1.
References
Abbatiello, A., Feireisl, E.: The Oberbeck–Boussinesq system with non-local boundary conditions. Quart. Appl. Math. 81(2), 297–306 (2023)
Barletta, A.: The Boussinesq approximation for buoyant flows. Mech. Res. Commun. 124, 103939 (2022)
Barletta, A., Celli, M., Rees, D.A.S.: On the use and misuse of the Oberbeck–Boussinesq approximation. Physics 5(1), 298–309 (2023)
Basarić, D., Bella, P., Feireisl, E., Oschmann, F., Titi, E.S.: On the incompressible limit of a strongly stratified heat conducting fluid. J. Math. Fluid Mech. 25(3), 56 (2023)
Belgiorno, F.: Notes on the third law of thermodynamics. I. J. Phys. A 36, 8165–8193 (2003)
Belgiorno, F.: Notes on the third law of thermodynamics. II. J. Phys. A 36, 8195–8221 (2003)
Bormann, A.S.: The onset of convection in the Rayleigh–Bénard problem for compressible fluids. Contin. Mech. Thermodyn. 13, 9–23 (2001)
Chaudhuri, N., Feireisl, E.: Navier–Stokes-Fourier system with Dirichlet boundary conditions. Appl. Anal. (2021). https://doi.org/10.1080/00036811.2021.1992396
Chen, Y., Liu, L.: Global blow-up for a localized nonlinear parabolic equation with a nonlocal boundary condition. J. Math. Anal. Appl. 384(2), 421–430 (2011)
Day, W.A.: Extensions of a property of the heat equation to linear thermoelasticity and other theories. Quart. Appl. Math. 40(3), 319–330 (1982/83)
Feireisl, E., Novotný, A.: The Oberbeck–Boussinesq approximation as a singular limit of the full Navier–Stokes–Fourier system. J. Math. Fluid Mech. 11(2), 274–302 (2009)
Feireisl, E., Novotný, A.: Singular limits in thermodynamics of viscous fluids. In: Advances in Mathematical Fluid Mechanics, 2nd edn. Springer, Cham (2017)
Feireisl, E., Novotný, A.: Mathematics of Open Fluid Systems. Birkhäuser-Verlag, Basel (2022)
Friedman, A.: Monotonic decay of solutions of parabolic equations with nonlocal boundary conditions. Quart. Appl. Math. 44(3), 401–407 (1986)
Fröhlich, J., Laure, P., Peyret, R.: Large departures from Boussinesq approximation in the Rayleigh–Bénard problem. Phys. Fluids A 4, 1355 (1992)
Gladkov, A.L., Nikitin, A.I.: On the existence of global solutions of a system of semilinear parabolic equations with nonlinear nonlocal boundary conditions. Differ. Equ. 52(4), 467–482 (2016) [Translation of Differ. Uravn. 52(4), 490–505 (2016)]
Klein, R., Botta, N., Schneider, T., Munz, C.D., Roller, S., Meister, A., Hoffmann, L., Sonar, T.: Asymptotic adaptive methods for multi-scale problems in fluid mechanics. J. Eng. Math. 39, 261–343 (2001)
Maruyama, K.: Rational derivation of the Boussinesq approximation. Zenodo Open Access (2019). https://doi.org/10.5281/zenodo.3757249
Nadolin, K.A.: Boussinesq approximation in the Rayleigh–Benard problem. Izv. Ross. Akad. Nauk Mekh. Zhidk. Gaza 5, 3–10 (1995)
Pao, C.V.: Asymptotic behavior of solutions of reaction–diffusion equations with nonlocal boundary conditions. Positive Solut. Nonlinear Probl. 88, 225–238 (1998)
Zeytounian, R.K.: Joseph Boussinesq and his approximation: a contemporary view. C.R. Mecanique 331, 575–586 (2003)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. lonescu
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Peter Bella and Florian Oschmann were partially supported by the German Research Foundation DFG in context of the Emmy Noether Junior Research Group BE 5922/1-1.
The work of Eduard Feireisl was partially supported by the Czech Sciences Foundation (GAČR), Grant Agreement 21-02411S. The Institute of Mathematics of the Academy of Sciences of the Czech Republic is supported by RVO:67985840. .
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bella, P., Feireisl, E. & Oschmann, F. Rigorous Derivation of the Oberbeck–Boussinesq Approximation Revealing Unexpected Term. Commun. Math. Phys. 403, 1245–1273 (2023). https://doi.org/10.1007/s00220-023-04823-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04823-5