Abstract
We show well-posedness for the equations describing a new model of slightly compressible fluids. This model was recently rigorously derived in Grandi and Passerini (Geophys Astrophys Fluid Dyn, 2020) from the full set of balance laws and falls in the category of anelastic Navier–Stokes fluids. In particular, we prove existence and uniqueness of global regular solutions in the two-dimensional case for initial data of arbitrary “size”, and for “small” data in three dimensions. We also show global stability of the rest state in the class of weak solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Oberbeck-Boussinesq approximation [1, 20] is a very popular model, used to describe convection in a horizontal layer of fluid heated from below [14]. As is well known, the basic assumption is that the fluid is incompressible, namely, the velocity field \(\mathbf{v}\) satisfies \(\nabla \cdot \mathbf{v}=0\) at all points and times, whereas the density depends solely on the temperature T, and its contribution becomes relevant only in the buoyancy term.
However, as noticed for instance in [10, 11, 18, 21], thermodynamic variables such as energy and density cannot be a function of T only, but should also depend on the pressure p since, otherwise, Gibbs law would be unattended and stability in waves propagation not allowed. It turns out that, for these more general models, one has necessarily to relax the solenoidal condition on \(\mathbf{v}\) [6, 17] to enlarge the region of the non-dimensional parameter space in which formal limits lead to reliable approximations for compressible fluids.
Motivated by this important issues, the author jointly with D. Grandi rigorously derived, by perturbative methods from the full set of balance laws, new models where the density, \(\rho \), may depend on both T and p [12, 13], while for related ones, the authors addressed well-posedness and stability questions, in [2, 4, 5]. In particular, in [13], we proposed a new model for thermal convection in a horizontal layer of fluid heated from below with \(\rho =\rho (T,p)\). In such a case, the original full compressible system allows for an elementary solution \(\mathsf{s}_e:=(T_e,p_e)\) with corresponding \(\rho _e=\rho (T_e,p_e)\); see (2.2), (2.4), and (2.5). The relevant equation are then obtained from the full system by a perturbation expansions around \(\mathsf{s}_e\), by using as non-dimensional small parameter \(\alpha \delta T\), where \(\alpha \) is the thermal expansion coefficient and \(\delta T\) is the temperature difference between the two horizontal planes confining the fluid. The limiting equations thus derived (see \((\text {OB)}_\beta \)) fall, in the isothermal case, in the category of the so called anelastic approximations of the Navier–Stokes equations; see (2.9), where the velocity field is no longer solenoidal but, instead, satisfies \(\nabla \cdot (\rho \mathbf{v})=0\). It is just the latter that makes the new model interesting from the point of view of well-posedness of the corresponding initial-boundary value problem, which constitutes the focus of this article.
In this regard, in the recent paper [15] the authors investigate tha above questions for a general class of anelastic models. However, they assume, among other things, that the density can be extended to the whole space to a smooth periodic function in the coordinate orthogonal to the layer. Unfortunately, this assumption is not satisfied in our case, since \(\rho _e\) assumes different values on the planes confining the layer; see (2.5).
As a result, we use a different strategy that, in our opinion, is the natural extension of classical methods used for the Navier–Stokes equations, at least when, as in the case at hand, the density is strictly positive. More precisely, we study our problem in the functional framework where
The crucial points are the proof of a Helmholtz-like decomposition of the Lebesgue space \(L^2\) (Lemma 4.2) and maximal \(L^2\)-regularity for a Stokes-like operator (Lemma 4.3) where, in both cases, the classical solenoidality condition on \(\mathbf{v}\) is replaced by the request (1). With thse results in hand, we can then suitably modify the standard Galerkin method as employed in [19] and show different existence and uniqueness results. Precisely, under the assumption of stress–free boundary condition and periodicity in the horizontal coordinates, we first prove existence of weak solutions in both two- and three-dimensional cases (Theorem 3.1). Successively, if the initial data are more regular but arbitrary in “size”, we prove existence and uniqueness of strong solutions (in the sense of Prodi) in two dimensions (Theorem 3.2). However, in dimension three, as expected, the same conclusion holds only for “small” time intervals or for arbitrary times, but “small” initial data (Theorem 3.3).
The plan of the paper is as follows. After formulating the problem in Sect. 2, in the following Sect. 3 we give the definition of weak solution and state the existence and uniqueness theorems. In Sect. 4, we prove a Helmholtz-like decomposition involving vector fields satisfying (1) and introduce a Stokes-like operator for which we prove maximal \(L^2\) regularity. In the remaining two sections we give a proof of our theorems: for weak solutions, in Sect. 5, and strong solutions, in Sect. 6.
2 Formulation of the Problem
Assume the fluid occupies a horizontal layer comprised between the unmovable planes placed at \(z=0\) and \(z=h\), subject to the gravity force \(\rho \mathbf{g}\). The planes are kept at constant, not necessarily equal, temperatures namely, \(T=T_d\) at \(z=0\) and \(T=T_d-\delta T\), \(\delta T\in \mathbb R\), at \(z=h\). Under isothermal conditions \(\delta T=0\), the constitutive equation \(\rho =\rho _0=\text {constant}\) allows for the fluid to be at rest (\(\mathbf{v}\equiv { 0}\)) with corresponding hydrostatic pressure \(p=-\rho g z\). On the other hand, if \(\delta T\ne 0\), then the fluid is still at rest while the “classical” Boussinesq constitutive equation
implies the well-known linear profile for the temperature
The latter, in turn, furnishes the following expression for the pressure field [1]
In [18], the author jointly with T. Ruggeri have introduced a constitutive equation more general than (2.1) to include also pressure variations:
In such a case, while the stratified temperature field remains unchanged, the pressure distribution becomes [18]:
Notice that in the isothermal case \(\delta T=0\), combining (2.4) and (2.3), we find
which provides the compatible stratification of the fluid.
The main accomplishment of [13] was to derive, as formal limit from the full compressible model, an approximate set of equations for the perturbation \((\tau ,P,\mathbf{v})\) to the basic solution \((T_e,p_e,\mathbf{v}\equiv 0)\), that generalizes the classical O-B system by taking into account the compressibility of the fluid (anelastic O-B system). More precisely, setting
in [13] it is shown that \((\tau ,P,\mathbf{v})\) must satisfy the following nondimensional equationsFootnote 1
where \(\tau ,P,\mathbf{v}\) and \(\beta \) are meant now to be nondimensional quantities. Moreover,
with \(\mu \), \(\zeta \) and \(\kappa \) being, respectively, shear and bulk viscosities and thermal conductivity of the fluid. Finally, \(\xi =\pm 1\), according to whether \(\delta T \lessgtr 0\).
In what follows, we are interested in the isothermal case \(\delta T=0\) (i.e. \(\mathrm{Ra}=0\)), in which case, by (2.2) and (2.3), the basic state reduces to
while (OB)\(_\beta \) decouples into the following two sets of equations
and
Introducing the new variable
it is easy to see that (2.7) can be rewritten as follows
We shall study (2.9) in the space-time domain \(\Omega _0\times (0,\infty )\), where
and \(x'=(x,y)\) if \(n=3\) and \(x'=x\) if \(n=2\). Moreover, we shall adopt stress-free boundary condition, namely,
where \(v^{x'}=(v^x,v^y)\) if \(n=3\) and \(v^{x'}=v^x\), if \(n=2\). Finally, to exclude rigid motions, we assume that the mean value of \(v^{x'}\) is zero at all times:
Before stating our main results, we need to introduce some notation. By \(L^q(\Omega _0)\) and \(W^{m,q}(\Omega _0)\) \(q\in [1,\infty ], m\in \mathbb N\), we denote the usual Lebesgue and Sobolev spaces with associated norm \(\Vert \cdot \Vert _q\) and \(\Vert \cdot \Vert _{m,q}\), respectively. If \(q=2\), we indicate the associated scalar product in \(L^2\) by \((\cdot ,\cdot )\). \(\hat{\mathcal L}^2(\Omega _0)\) stands for the subspace of \(L^2(\Omega _0)\) of those vector fields \(\mathbf{v}\) satisfying (2.10)\(_1\) and (2.9)\(_1\) in a weak form, namely,
Furthermore, by \(\hat{W}^{2,q}( \Omega _{0})\) we denote the subspace of \(W^{2,q}(\Omega _0)\) of functions satisfying (2.10), and by \(\hat{W}^{1,2}(\Omega _0)\) the subspace of \(W^{1,2}(\Omega _0)\) of functions satisfying (2.10)\(_1\). We also set \(\hat{\mathcal W}^{1,2}(\Omega _0):=\hat{\mathcal L}^2(\Omega _0)\cap \hat{W}^{1,2}( \Omega _{0})\), and denote by \(\hat{\mathcal W}^{-1,2}(\Omega _0)\) its dual, with corresponding norm \(\Vert \cdot \Vert _{-1,2}\). Finally, for \(r\in [1,\infty ]\), let \(L^{r}(0,T;W^{m,q}( \Omega _{0}))\), \(T>0\), be the space of functions \(\mathbf{w}\) such that
The subscript m is omitted in case \(m=0\).
3 Statement of the Main Results
Our main goal is the investigation of the well posedeness of the initial-boundary value problem associated to (2.9). As in the case of the classical Navier–Stokes model, the result may depend on the Euclidean dimension. We begin to give the definition of weak solution.
Definition 3.1
A vector field \(\mathbf{v}\in L^{\infty }(0,T;\hat{\mathcal L}^2(\Omega _{0}))\cap L^2(0,T;W^{1,2}( \Omega _{0}))\) is a weak solution to the problem (2.9)–(2.10) corresponding to the initial data \(\mathbf{v}^0\in \hat{\mathcal L}^2(\Omega _{0})\) if, for all \(\varvec{\Psi }\in \hat{\mathcal {W}}^{1,2}(\Omega _{0})\) and all \(t\in (0,T)\) it satisfies the following integral equation
Formally, (3.1) is obtained by multiplying (2.9)\(_2\) with \(e^{-\beta z}\varvec{\Psi }\), integrating by parts over \(\Omega _0\times (0,t)\) and using (2.9)\(_1\).
We now collect the main results proved in this paper in the form of as many theorems. We begin with the following one.
Theorem 3.1
Let \(n=2,3\) and let \(\Pr \), \(\gamma \) and \(\beta \) be given. Then, for any initial data \(\mathbf{v}^0\in \hat{\mathcal L}^{2}(\Omega _{0})\), there exists at least one weak solution for all \(T>0\). Moreover, such a solution satisfies the following decay property
We also prove existence and uniqueness of more regular solutions, in the form stated in the following theorems.
Theorem 3.2
Let \(\Omega _0\subset \mathbb R^2\). Then, given arbitrary positive \(\Pr \), \(\gamma \) and \(\beta \), and arbitrary initial data in \(\hat{\mathcal W}^{1,2}(\Omega _0)\), there exists a unique corresponding weak solution \(\mathbf{v}\) to (2.7) which, in addition, is in the class \(C([0,\infty );W^{1,2}(\Omega _{0}))\cap L^2((0,\infty );W^{2,2}(\Omega _{0}))\) with \(\mathbf{v}_t\in L^2((0,\infty );L^2(\Omega _0))\). Moreover, there is \(\Pi \in L^2(0,\infty ;L^2(\Omega _0))\) with \(\nabla \Pi \in L^2(0,\infty ;L^2(\Omega _0))\), such that \((\mathbf{v},\Pi )\) satisfies (2.7) for a.a. \((x,t)\in \Omega _0\times (0,\infty )\).
Theorem 3.3
Let \(\Omega _0\subset \mathbb R^3\) and let \(\Pr \), \(\gamma \), \(\beta \) be arbitrary positive numbers. Then, for all \(\Vert v^0\Vert _{1,2}<\infty \) there exist a \(T>0\) and a unique corresponding weak solution \(\mathbf{v}\) to (2.7) which, in addition, is in the class \(C([0,T);W^{1,2}(\Omega _{0}))\cap L^2((0,T);W^{2,2}(\Omega _{0}))\) with \(\mathbf{v}_t\in L^2((0,T);L^2(\Omega _0))\). Moreover, there is \(\Pi \in L^2(0,T;L^2(\Omega _0))\) with \(\nabla \Pi \in L^2(0,T;L^2(\Omega _0))\), such that \((\mathbf{v},\Pi )\) satisfies (2.7) for a.a. \((x,t)\in \Omega _0\times (0,T)\). Finally, there exists a constant \(C_0\) depending only on the above physical parameters, such that if \(\Vert \mathbf{v}^0\Vert _2^2\Vert \nabla \mathbf{v}^0\Vert _2^2\le 2/C_0\) we can take \(T=\infty \).
Remark 3.1
The proofs of existence are based on the Galerkin method, in the way suggested by Prodi [19]. However, Prodi’s approach must be suitably modified, in that, in our case, the velocity field is no longer solenoidal. This requires the study of full regularity of solutions to a new Stokes problem derived in connection with problem (2.9); see (4.11). The latter, in turn, requires the study of an appropriate Helmholtz-like decomposition of the type \(L^2(\Omega _0)=\widehat{\mathcal L}^2(\Omega _0)\oplus G_\beta (\Omega _0)\), dictated by the the non-solenoidality of the velocity field (see (4.9)). All these results are contained in Sect. 3, which, in fact, constitutes the heart of the matter of the paper.
Remark 3.2
In the case of three-dimensional weak solutions (Theorem 3.1), following [3] and [16], one can proves a result of strong convergence of the Galerkin approximation (the first known for weak solutions) in \(L^q(0,T;W^{1,2}(\Omega _0))\) for all \(q\in [1,2)\). Actually, in [3] it is stated that such a convergence occurs along the Galerkin approximation with aspecial base. For the sake of the brevity we do not give the details. The interest of this convergence consists in the fact that one can show a sort of energy equality, or equivalently, an evaluation of the possible gap in the inequality see [3].
4 Preliminary Results
We start by proving some formal properties of solutions to (2.9)–(2.10). To this end, we observe that, in view of (2.9)\(_1\), the vector field \(\mathbf{u}:=e^{-\beta z}\mathbf{v}\) is solenoidal, in fact
As a consequence, since the factor \(e^{-\beta z}\) can be associated to the first term of the bilinear form as well, by integrating by parts and using (2.10) and (4.1), one shows that
Set
Since
the norms \(\Vert \mathbf{v}\Vert _{2,\beta }\) and \(\Vert \mathbf{v}\Vert _2\) are equivalent. Property (4.3) will be used throughout, even without explicitly mentioning it. Now, if we formally dot-multiply both sides of (2.9)\(_1\) by the solenoidal field \(\mathbf{u}\), integrate by parts over \(\Omega _0\) and use (4.2) and (2.10), we deduce the following important relation, for all \(\beta \ge 0\)
We also notice that, using (4.1) and assuming, without loss that the (constant) equal temperatures on the bounding planes are 0, (formally) multiplying both sides of (2.8) by \(\tau \) and integrating over \(\Omega _0\), we get
Employing on the right hand side of this equation the scalar version of (4.25) in conjunction with Gronwall’s lemma, we obtain, as expected, an exponential decay to the boundary temperature.
Now, we derive some results that will play an important role for the existence results developed in the next section.
We begin to prove the unique solvability of the following Neumann problem:
in a suitable function class. In order to reach this goal, we observe that (4.5) is (formally) equivalent to the following one
Let
In view of Wirtinger inequality, H becomes a Hilbert space with respect to the norm induced by the scalar product
We shall say that \(q\in H\) is a weak solution to (4.6) if
Let us denote by \(H^{-1}\) the dual space of H. We show the following lemma that in the case \(\alpha <2\pi \) was proved in [2, 4] by different arguments.
Lemma 4.1
Let \(\alpha \in \mathbb R\). For any \(G\in H^{-1}\), problem (4.6) admits one and only one corresponding weak solution q. Moreover, if \(G\in L^2(\Omega _0)\), then \(q\in W^{2,2}(\Omega _0)\) and satisfies (4.5). Finally, there exists \(C=C(\alpha )\) such that
Proof
Existence of a unique weak solution q is an immediate consequence of the assumption on G and of Riesz representation theorem. Moreover, setting \(\phi \equiv q\) in (4.7) we deduce the existence of a positive constant C such that
Next, assume \(G\in L^2(\Omega _0)\) and set \(\psi :=e^{-\alpha z}\varphi \). From (4.7) we thus get
Since \(F\in L^2(\Omega _0)\), by classical elliptic regularity we get that \(q\in W^{2,2}(\Omega _0)\), and that it satisfies (4.5) along with \(\Vert q\Vert _{2,2}\le C\,\Vert M\Vert _2\). The latter, combined with (4.8) completes the proof of the lemma. \(\square \)
An important consequence of the previous result is given in the following lemma.
Lemma 4.2
Let \(\beta \in \mathbb R\). Then, the space \(L^2(\Omega _0)\) admits the following orthogonal decomposition
where
Proof
By (2.11) \(\hat{\mathcal L}^2(\Omega _0)\) and \(G_\beta (\Omega _0)\) are orthogonal. For a given \(\mathbf{w}\in L^2(\Omega _0)\) consider the problem of finding \(Q\in H\) such that
Since the left hand side defines a bounded linear functional in H, the existence of a unique \(Q\in H\) is guaranteed by Lemma 4.1. Therefore, setting \(\mathbf{v}:=\mathbf{w}-e^{-\beta z}\nabla Q\), we at once show that \(\mathbf{v}\in \hat{\mathcal L}^2(\Omega _0)\). The lemma is thus proved. \(\square \)
Let
be the orthogonal projection operator defined by Lemma 4.2, and introduce the operator
The following result holds.
Lemma 4.3
For any \(\varvec{f}\in L^2(\Omega _0)\) there exist unique \(\mathbf{v}\in {W}^{2,2}(\Omega _0)\) and \(Q \in W^{1,2}(\Omega _0)\) with \((Q,1)=0\) such that
Moreover,
Thus, in particular,
Proof
We begin to look for a weak solution to (4.11). In view of Poincaré inequality, we can choose as norm in \(\hat{W}^{1,2}(\Omega _0)\) the one associated to the scalar product
Let us multiply both sides of (4.11)\(_1\) by \(\varvec{\varphi }\in \hat{\mathcal W}^{1,2}(\Omega _0)\) and integrate by parts over \(\Omega _0\). Taking into account (4.11)\(_{3,4}\) we show
Now, by assumption, the right hand side of (4.14) defines a bounded linear functional on \(\hat{\mathcal W}^{1,2}(\Omega _0)\), namely, an element of \(\hat{\mathcal W}^{-1,2}(\Omega _0)\), and so, by Riesz theorem, there is one and only one \(\mathbf{v}\in \hat{\mathcal W}^{1,2}(\Omega _0)\) satisfying (4.14). Moreover, by replacing \(\varvec{\varphi }\) with \(\mathbf{v}\) in (4.14), we obtain
Following a classical procedure, we can now associate to the weak solution \(\mathbf{v}\) a “pressure” field \(Q\in L^2(\Omega _0)\) such that
Actually, following [9, Theorem III.5.3], to show (4.16) it is enough to show that for any \(f\in L^2(\Omega _0)\) with \((f,1)=0\), the problem
has at least one solution. In order to solve (4.17), we take \(\varvec{\psi }=\nabla \psi \) where \(\psi \) solves the following Neumann problem
The existence of \(\psi \) with the required properties is then secured by Lemma 4.1. We next notice that, by choosing in (4.17) \(f=Q-(Q,1)\), from (4.16), (4.15) and (4.17) it follows that
Now, the difference quotient of \(\varvec{\varphi }\) in any of the horizontal directions \(\mathbf{e}\), \(\delta ^{-\ell }\varvec{\varphi }(x):=(\varvec{\varphi }(x)-\varvec{\varphi }(x-\ell \mathbf{e}))/\ell \), is also an element of \(\hat{\mathcal W}^{1,2}(\Omega _0)\) and, as such, can be replaced in (4.14). Thus, by a standard argument and by (4.15) we show
which, in turn, by the properties of the difference quotient, implies
where \(\nabla '\) is the restriction of \(\nabla \) to the \(x'\)-variables. Using a similar argument on (4.16) and employing (4.19), (4.20) we show
From (4.20) and (4.11)\(_2\) it also follows
which, once combined with (4.20) gives
We now choose in (4.16) \(\varvec{\psi }=\psi \,\mathbf{k}\), \(\psi \in C^{\infty }_0(\Omega _0\). Integrating by parts, and employing (4.22) it then follows
which combined with (4.21) gives, in particular,
Inserting this information back into equation (4.16) with \(\varvec{\psi }\in C_0^\infty (\Omega _0)\) and integrating by parts, we finally conclude \(\mathbf{v}\in W^{2,2}(\Omega _0)\), along with the validity of (4.12). \(\square \)
The next result is a corollary to Lemma 4.3.
Lemma 4.4
There exists an orthogonal basis \(\{\varvec{\Psi }_j\}\subset \hat{\mathcal L}^2(\Omega _0)\cap \hat{W}^{2,2}\) of \(\hat{\mathcal L}^2(\Omega _0)\) constituted by eigenfuctions of the operator A, namely:
Proof
The previous lemma shows that the operator A is surjective with a compact inverse. Since A is symmetric, this implies that A is selfadjoint with a purely discrete spectrum. The lemma is then a consequence of classical results. \(\square \)
We also have to generalize the Friedrichs inequality as follows.
Lemma 4.5
Let \(\{\varvec{\Psi }_i\}\) be a basis of \(\hat{\mathcal L}^2(\Omega _0)\), and let \(\mathbf{v}\in \hat{\mathcal L}^2(\Omega _0)\cap W^{1,2}(\Omega _0)\). Then, for any \(\varepsilon >0\) there is \(n=n(\varepsilon )\in \mathbb N\) such that
Proof
By [9, Lemma II.5.3], for any \(\varepsilon >0\) there is \(n=n(\varepsilon )\in \mathbb N\) such that
where \(\{\ell _i\}\) is a complete family of functionals on \(\hat{\mathcal L}^2(\Omega _0)\cap W^{1,2}(\Omega _0)\), namely, \(\ell _i(\mathbf{v})=0\) for all \(i\in \mathbb N\) implies \(\mathbf{v}\equiv 0\). If we choose
by Lemma 4.2 it follows that \(e^{-\beta z}\mathbf{v}=e^{-\beta z}\nabla Q\), for some \(Q\in W^{1,2}(\Omega _0)\). However, by (2.11), this implies \((e^{-\beta z}\nabla Q,\nabla Q)=0\), namely, \(\mathbf{v}=0\), which completes the proof of the lemma. \(\square \)
We end this section by recalling a number of classical inequalities that will be frequently employed and valid for a vector function \(\mathbf{v}:\Omega _0\rightarrow \mathbb R^n\), \(n=2,3\), satisfying (2.10). First of all, the Poincaré inequality
where \(\gamma _P\) is a (positive) numerical constant. In what follows, we denote by the same symbol C different constants depending, at most, on the domain \(\Omega _0\). Integrating by parts over \(\Omega _0\) one gets
and so, by Poincaré and Schwarz inequalities, we deduce
since the norm of the Laplacian and that of all second derivatives coincide (see, e.g., [7, Lemma A.1]):
Furthermore, in three dimensions, we have the Sobolev-Poincaré inequality
and also
whereas, by (4.25)–(4.27), in both two- and three-dimensional cases the Morrey inequality holds [7, Lemma A.3]:
We recall Ladyzhenskaya’s inequality (see [9]):
Combining the latter with Poincaré inequality, we infer, in particular,
Utilizing classical Sobolev’s embedding in conjunction with (4.27), (4.26) and Poincaré inequality we can also show
5 Proof of Theorem 3.1
We shall employ Galerkin method with the special basis \(\{\varvec{\Psi }_j\}\) introduced in Lemma 4.4. For each \(N\in \mathbb N\), we look for an “approximate solution” defined by
where the coefficients \(C_j^N(t)\) are searched as solutions to the the following system of ODE’s:
where
and \(C_j^N(t)=C_j(0)\), for all \(j,N\in \mathbb N\), where
Since the matrix \(B_{ij}\) is symmetric and, in view of (4.3), positive definite, the system of differential equations (5.1) can be put in normal form. Notice that (5.1) can be equivalently rewritten as
Because the involved nonlinear terms are quadratic, it follows that for all \(N\in \mathbb N\), (5.1) has one and only one solution \(\mathbf{C}^N:=(C_1^N,\ldots ,C_N^N)\) in some time interval \((0,T_N)\). Clearly, \(T_N=\infty \) if we can show that \(|\mathbf{C}^N(t)|\) is uniformly bounded. To this end, we multiply each side of the equation in (5.2) by \(C_j^N\), sum over j and argue as in (4.1) to get (since the basis function are regular)
Integrating both sides of (5.3) from 0 to \(T_N\) and observing that \(\Vert \mathbf{v}_N^0\Vert _{2,\beta }\le C\Vert \mathbf{v}^0\Vert _2\), it follows at once the desired property for \(\mathbf{C}^N\). Moreover, also with the help of (4.25), we also infer that the sequence \(\{\mathbf{v}_N\}\) satisfies the following estimate
In particular, the latter implies the existence of
and of a subsequence \(\{\mathbf{v}_{N_k}\}\) such that
It is easy to show that the latter, combined with (5.3), (4.25) and Gronwall’s lemma, leads to (3.2). Next, by following more or less classical arguments in conjunction with Lemma 4.5, we shall show that
Actually, from (5.2) and (4.30) we easily get with arbitrary \(t_1\) and \(t_2\), and \(\varvec{\Phi }_j:=e^{-\beta z}\varvec{\Psi }_j\)
From (5.8), by Cantor’s diagonalization process one can show by standard methods (e.g. [8]) that
If we now apply (4.24) to \(\mathbf{v}_{N_k}-\mathbf{v}\), integrate both sides of the resulting equation from 0 to T and use (5.3), we get
Thus, letting \(N_k\rightarrow \infty \) in this relation and employing (5.9), by the arbitrariness of \(\varepsilon \) we arrive at (5.7). From now on the procedure to prove that \(\mathbf{v}\) is in fact the weak solution is fully standard: we first observe that from (5.2) it follows that
If we let \(N_k\rightarrow \infty \) in (5.10) we can show, in view of (5.6), that the limit function \(\mathbf{v}\) satisfies (3.1) with \(\varvec{\Psi }\equiv \varvec{\Psi }_j\), provided we also prove
or, equivalently,
In view of (5.6), it follows that the second term on the left hand side goes to zero. Concerning the fisrst one, we notice that by Hölder and Sobolev inequalities, we deduce
Next, from (4.31)\(_1\) and (4.31)\(_2\) we infer that the right hand side in this inequality can be increased by
Thus, employing with Hölder inequality with exponents (4, 4, 2) for \(n=2\) and \((8,\frac{8}{3},2)\) for \(n=3\), with the help of (5.4) we obtain
The last bounds, combined with (5.7), imply (5.11). We may thus conclude that the field \(\mathbf{v}\) satisfies (3.1) with \(\varvec{\Psi }\equiv \varvec{\Psi }_j\), for all \(j\in \mathbb N\). Since \(\{\varvec{\Psi }_j\}\) is complete in \(\hat{\mathcal W}^{1,2}(\Omega _0)\) then, by a standard argument, one shows that (3.1) is, in fact, satisfied for all \(\varvec{\Psi }\in \hat{\mathcal W}^{1,2}(\Omega _0)\), which completes the proof. \(\square \)
6 Proofs of Theorems 3.2 and 3.3
In this section we shall show that, provided the initial data are more regular, the corresponding Galerkin approximation \(\mathbf{v}_N\) belongs, uniformly in N, to a better regularity class (the so-called “Prodi class”). This will be achieved through suitable “energy estimates” that will eventually lead to the proofs of Theorems 3.2 and 3.3. In this regard, we need some preliminary results. By multiplying both sides of (5.2) by \(\dot{C}^N_j\), sum over j from 1 to N and integrate by parts as necessary to infer
Likewise, multiplying both sides of (5.2) by \(-\lambda _{(j)}{C}^N_j\), summing over j from 1 to N the resulting equation is
Our next task is to give a suitable estimate of the terms on the right hand side of (6.1) and (6.2). To this end, we observe that, by Lemma 4.3, we have
with C independent of N.
Lemma 6.1
Let \(\mathbf{v}_N\) be a Galerkin solution (3.1), for arbitrary \(\epsilon _i>0\), \(i=1,2\), if \(n=2\), then
while if \(n=3\), then
Proof
By using Hölder inequality, (4.31)\(_1\), (4.33)\(_1\) and Young inequality, for \(n=2\) one deduces for arbitrary \(\epsilon _1,\epsilon _2>0\)
For \(n=3\), by (4.28), (4.33)\(_2\), , and Young inequalities, we show
\(\square \)
Lemma 6.2
Uniformly in N and in \(t>0\) we get
Proof
From formula (6.2), via Hölder’s and Young inequality we easily get
Multiplying (6.7) by a suitable constant and summing to (6.1), we arrive at (6.6). \(\square \)
Lemma 6.3
Let \(\mathbf{v}_N\) be a Galerkin solution (3.1), for arbitrary \(\epsilon _3>0\), if \(n=2\), then
while if \(n=3\), then
Proof
As is done above, and with the help of (6.3), for any \(\epsilon _3>0\) we show
For \(n=3\), by (4.28), (4.33)\(_2\), and Young inequalities, we show
\(\square \)
Proof of Theorem 3.2
For \(\lambda _1,\lambda _2>0\), let us set
and perform \(\lambda \)(5.3)+(6.1) – (6.2). Taking into account (6.3)– (6.4), and choosing \(\epsilon _2+2\epsilon _3=(1/2)C_0\), we show
If we take \(\lambda _1>C_{\epsilon _3}\) and \(\lambda _2>2\mathrm{Pr}(\epsilon _1+C_{\epsilon _3})\), from (6.10) by Gronwall’s lemma we infer, in particular,
We now observe that \(\Vert \nabla \mathbf{v}_N^0\Vert _2\le \Vert \nabla \mathbf{v}^0\Vert _2\) because \(\{\varvec{\Psi }_j\}\) is orthogonal in \(\hat{\mathcal L}^2(\Omega _0)\) and, by (4.23)
As a result, \(E(0)\le C\Vert \mathbf{v}^0\Vert _{1,2}^2\) and so, if the initial data are chosen in \(\hat{\mathcal W}^{1,2}(\Omega _0)\), thanks to (5.4), from the previous relation we deduce
where \(C_0\) depends only on the physical parameters and the norm of the initial data. If we replace this information back into (6.10) and integrate over \(t\in (0,\infty )\) we also infer
we thus conclude that the limiting field \(\mathbf{v}\) defined in (5.5) satisfies the further property
Now, for the existence part, we only have to prove the statement about the “pressure” \(\Pi \). Taking the time derivative of both sides of (3.1), we show for a.a. \(t\in (0,T)\), \(T>0\),
for all \(\varvec{\Psi }\in \hat{\mathcal W}^{1,2}(\Omega _0)\). From this relation and Lemma 4.2, it immediately follows the existence of a function \(\Pi \) with the stated properties.
Now, we show uniqueness: let \((\mathbf{v},\Pi )\) and \((\mathbf{v}+\mathbf{w},\Pi +Q)\) be two solutions in the stated function class corresponding to the same initial data. Then, the “difference solution” \((\mathbf{w},Q)\) satisfies the following equations
Thus, dot-multiplying both sides by \(\mathbf{w}\), integrating by parts over \(\Omega _0\) and using (6.14)\(_1\), and then integrating the resulting equation over (0, t), \(t<T\), we show
From (4.31)\(_1\) and the property \(\mathbf{v}\in C([0,T];W^{1,2}(\Omega _0)\), it follows that
Therefore, applying Cauchy-Schwarz inequality on the last term of the latter and replacing the outcome in (6.15) we get, in particular,
which, in turn, by Gronwall’s lemma, implies \(\mathbf{w}\equiv 0\).\(\square \)
Proof of Theorem 3.3
We proceed in a slightly different way with respect to the previous two-dimensional case. We consider (6.6) and increase the right hand side by means of (6.4) and (6.9), choosing suitably \(\epsilon _i\), \(i=1,2,3\), we deduce the following differential inequality in \(D_N(t):=\Vert \nabla v_N(t)\Vert _2^2\):
where the quantities \(\kappa _i\), \(i=1,2\), and \(C_1\) depend only on the physical parameters and \(\epsilon _i,\,i=1,2,3\). We integrate the differential inequality (6.16) two times. The former concerns simply a bound for D(t). This bound is on some (0, T) for arbitrary data. Instead the bound is global, that is \((0,\infty )\) for initial data small in the sense indicated in the statement. Without considering the “dissipative terms”, by integrating we obtain
where we set \(T:=1/2C_0\Vert \nabla v(0)\Vert _2^2\) . In the case of small data we modify the integration as follows:
where we have taken into account (5.4) of the energy inequality. As a result, we have two uniform bounds (one local and the other global in time) for the sequence \(\{\Vert \nabla v_N(t)\Vert \}\). Hence, integrating both sides of (6.16) we get, in particular,
where T is finite or infinite depending on the “size” data. Proceeding exactly as in the case \(n=2\), one can show that the approximating solutions \(\{\mathbf{v}_N\}\) satisfies (6.11) and (6.12), thus implying that the limit field \(\mathbf{v}\) is in the class (6.13).
The existence of a “pressure field” \(\Pi \) satisfying the stated properties is proved exactly as in the proof of Theorem 3.2. As for uniqueness, also in this case we derive (6.15). Concerning the estimate of the nonlinear term, this time we use (4.31)\(_2\) in conjunction with Young inequality to get
As a result, replacing the latter into (6.15) we may argue exactly as in Theorem 3.2 to show \(\mathbf{w}\equiv 0\).
Notes
We shall use the following notation:\({(\cdot )}_t\equiv \partial (\cdot )/\partial t\), and \(\partial _\xi (\cdot )\equiv \partial (\cdot )/\partial \xi \), where \(\xi \) denotes any spatial variable.
References
Chandrasekhar, S.: Hydrodynamic and Hydromagnetic Stability, On the Oberbeck–Boussinesq Approximation. Oxford University Press/Clarendon Press, Oxford (1961)
Corli, A., Passerini, A.: The Bénard problem for slightly compressible materials: existence and linear instability. Mediterr. J. Math. 16, 17–40 (2019)
Crispo, F., Grisanti, C.R., Maremonti, P.: Some properties of a suitable weak solution to the Navier–Stokes equations. Lecture Notes in Mathematical Fluid Mechanics, Waves in Flows, The 2018 Prague-Sum Workshop Lectures, pp. 159–179 (2021)
De Martino, A., Passerini, A.: Existence and non linear stability of convective solutions for almost compressible fluids in Bénard problem. J. Math. Phys. (2019). https://doi.org/10.1063/1.5102063
De Martino, A., Passerini, A.: A Lorenz model for almost compressible fluids. Mediterr. J. Math. 17(7), 1–12 (2020)
Feireisl, E., Malek, J., Novotny, A.: An elastic approximation as a singular limit of the compressible Navier–Stokes system. Commun. Part. Differ. Equ. 33(1), 157–176 (2008)
Galdi, G.P.: Nonlinear stability of the magnetic Bénard problem via a generalized energy method. Arch. Ration. Mech. Anal. 87, 167–186 (1985)
Galdi, G.P.: An introduction to the Navier–Stokes initial-boundary value problem. In: Fundamental Directions in Mathematical Fluid Mechanics, pp. 1–70. Adv. Math. Fluid Mech., Birkhäuser, Basel (2000)
Galdi, G.P.: An introduction to the mathematical Theory of the Navier-Stokes equation: Steady-State Problems. Springer, New York (2011)
Gouin, H., Muracchini, A., Ruggeri, T.: On the Müller paradox for thermal-incompressible media. Contin. Mech. Therm. 24, 505–513 (2012)
Gouin, H., Ruggeri, T.: A consistent thermodynamical model of incompressible media as limit case of quasi-thermal-incompressible materials. Int. J. Nonlinear Mech. 47, 688–693 (2012)
Grandi, G., Passerini, A.: On the Oberbeck–Boussinesq approximation for gases. Int. J. Nonlinear Mech. 134, (2021)
Grandi, G., Passerini, A.: Approximation à la Oberbeck–Boussinesq for fluids with pressure-induced stratified density. Geophys. Astrophys. Fluid Dyn. (2020)
Joseph, D.D.: Stability of Fluid Motions. Springer, Berlin (1976)
Liu, X., Titi, E.S.: Well-posedness of strong solutions to the anelastic equations of stratified viscous flows. J. Math. Fluid Mech. 22(3), Paper no. 39 (2020)
Maremonti, P., Crispo, F., Grisanti, C.R.: Navier–Stokes equations: an analysis of a possible gap to achieve the energy equality. Ricerche di Matematica 70, 235–249 (2021)
Masmoudi, N.: Rigorous derivation of the anelastic approximation. J. Math. Pures Appl. 88(3), 230–240 (2007)
Passerini, A., Ruggeri, T.: The Bénard problem for quasi-thermal-incompressible materials: a linear analysis. Int. J. Nonlinear Mech. 67, 178–185 (2014)
Prodi, G.: Teoremi di tipo locale per il sistema di Navier-Stokes e stabilità delle soluzioni stazionarie. Rend. del Sem. Matem della Univ. di Padova 3(2), 173–182 (1962)
Rajagopal, K.R., Ruzicka, M., Srinivasa, A.R.: On the Oberbeck–Boussinesq approximation. Math. Mod. Meth. Appl. S. 6, 1157–1167 (1996)
Rajagopal, K.R., Saccomandi, G., Vergori, L.: On the Oberbeck–Boussinesq approximation for fluids with pressure dependent viscosities. Nonlinear Anal. Real. 10, 1139–1150 (2009)
Funding
Open access funding provided by Universitá degli Studi di Ferrara within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that she has no conflict of interest.
Additional information
Communicated by G. P. Galdi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Passerini, A. Existence and Uniqueness of Isothermal, Slightly Compressible Stratified Flow. J. Math. Fluid Mech. 23, 94 (2021). https://doi.org/10.1007/s00021-021-00622-x
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-021-00622-x