Abstract
In this article, our goal is to study the singular limits for a scaled barotropic Euler system modeling a rotating, compressible and inviscid fluid, where Mach number \(=\epsilon ^m \), Rossby number \(=\epsilon \) and Froude number \(=\epsilon ^n \) are proportional to a small parameter \(\epsilon \rightarrow 0\). The fluid is confined to an infinite slab, the limit behavior is identified as the incompressible Euler system or a damped incompressible Euler system depending on the relation between m and n. For well-prepared initial data, the convergence is shown on the lifespan time interval of the strong solutions of the target system, whereas a class of generalized dissipative solutions is considered for the primitive system. The technique can be adapted to the compressible Navier–Stokes system in the subcritical range of the adiabatic exponent \(\gamma \) with \(1<\gamma \le \frac{3}{2}\), where weak solutions are not known to exist.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We study the model of a rotating fluid as described in Chemin et al. [13]. Let \(T>0\) and \(\Omega = \mathbb {R}^2 \times (0,1)\subset \mathbb {R}^3\) be an infinite slab. We consider the scaled compressible Euler equation in the time-space cylinder \(Q_T=(0,T)\times \Omega \) describing the time evolution of the mass density \(\varrho =\varrho (t,x)\) and the momentum field \(\mathbf {m}=\mathbf {m}(t,x)\) of a rotating inviscid fluid with axis of rotation \(\mathbf {b}=(0,0,1)\):
-
Conservation of mass
$$\begin{aligned} \partial _t \varrho + \text {div}_x\mathbf{m}&=0. \end{aligned}$$(1.1) -
Conservation of momentum
$$\begin{aligned} \partial _t \mathbf{m} + \text {div}_x\left( \frac{\mathbf{m } \otimes \mathbf{m} }{\varrho } \right) +\frac{1}{\text {Ma}^2}\nabla _x p(\varrho )+\frac{1}{\text {Ro}} \mathbf {b} \times \mathbf{m} = {\frac{1}{\text {Fr}^2}\varrho \nabla _{x}G,} \end{aligned}$$(1.2)where p stands for pressure and G is the gravitational potential that we consider independent of time.
-
Pressure law The pressure p and the density \(\varrho \) of the fluid are interrelated by the standard isentropic law
$$\begin{aligned} \begin{aligned} p(\varrho )=a \varrho ^\gamma ,\; a>0,\; \gamma > 1. \end{aligned} \end{aligned}$$(1.3) -
Boundary condition Here we consider an impermeability condition on the horizontal boundary, i.e.,
$$\begin{aligned} \mathbf {m}\cdot \mathbf {n}=0,\; \mathbf {n}=(0,0,\pm 1). \end{aligned}$$(1.4) -
The scaled system contains characteristic numbers:
-
Ma– Mach number,
-
Ro– Rossby number,
-
Fr– Froude number.
Here we consider the following scaling:
$$\begin{aligned} \text {Ma} \approx \epsilon ^m,\; \text {Ro} \approx \epsilon ,\; \text {Fr} \approx \epsilon ^n \text { for } \epsilon>0,\; m,n > 0. \end{aligned}$$(1.5) -
-
Far field condition The condition is needed as we consider the unbounded domain \( \Omega \). Let us introduce the notation \(x=(x_h,x_3)\) and \(P_h(x)=x_h\). For each \(\epsilon > 0\), we identify a static solution that satisfies (1.1)–(1.2) with (1.5). More precisely, a static solution is a pair \((\tilde{\varrho }_{\epsilon },\mathbf {0})\), where the density profile \(\tilde{\varrho }_{\epsilon }\) satisfies
$$\begin{aligned} \nabla _{x} p(\tilde{\varrho }_\epsilon )= \epsilon ^{2(m-n)}\tilde{\varrho }_\epsilon \nabla _{x}G. \end{aligned}$$In general, there are infinitely many static solutions for a given potential G. We introduce a far field condition as
$$\begin{aligned} |\varrho _\epsilon - \tilde{\varrho }_\epsilon | \rightarrow 0, \; \mathbf {m}_\epsilon \rightarrow \mathbf {0} \text { as } \vert x_h \vert \rightarrow \infty , \end{aligned}$$(1.6)where \(\left( \varrho _{{\epsilon }}, \mathbf {m}_\epsilon \right) \) indicates that state variables depend on the parameter \( \epsilon \).
-
Initial data For each \(\epsilon >0\), we supplement the initial data as
$$\begin{aligned} {\varrho _\epsilon (0,\cdot )=\varrho _{\epsilon , 0},\; \mathbf {m}_\epsilon (0,\cdot )= \mathbf {m}_{\epsilon , 0}.} \end{aligned}$$ -
Choice of G As a matter of fact, the gravitational potential G can be seen as a sum of the centrifugal force proportional to the norm of the horizontal component of the spatial variable, i.e., \((x_1^2 + x_2^2)\) and the gravitational force acting in the vertical direction \(x_3\). We omit the effect of the centrifugal force in the present paper motivated by certain meteorological models. Instead we consider
$$\begin{aligned} G(x)=-x_3\text { in } \Omega \end{aligned}$$(1.7)corresponding to the gravitational force acting in the vertical direction.
Multiple scaling We consider singular limit problems for \(\epsilon \rightarrow 0\) in two multi-scale regimes:
-
Case I Here m, n are interrelated by
$$\begin{aligned} \frac{m}{2}>n\ge 1. \end{aligned}$$(1.8)It implies that we are interested in low Mach and Rossby number limit in the presence of low stratification.
-
Case II In this case, we consider \( m=n=1 \), that implies the low Mach and Rossby number limit in the presence of strong stratification.
Thus, we study the effect of the low Mach number limit (also called incompressible limit), the low Rossby number limit and the low Froude number limit acting simultaneously on the system (1.1)–(1.2).
Formally, we observe that the low Mach number limit regime indicates that the fluid becomes incompressible and the low Rossby number limit indicates the fast rotation of the fluid and as a consequence of that the fluid becomes planner (two-dimensional).
Since solutions of the (primitive) compressible Euler systems are expected to develop singularities (shock waves) in a finite time, there are two approaches to deal with the singular limit problem.
-
I.
The first approach is to consider classical (strong) solutions of the primitive system and expect them to converge to the classical solutions of the target system. Here the most important and highly non-trivial problem is to ensure that the lifespan of the strong solutions with respect to the singular parameter\( (\epsilon ) \) are uniformly bounded below and away from zero.
-
II.
The second approach is based on the concept of weak, measure–valued or dissipative solutions of the primitive system. Given a suitable choice of initial data, one can show convergence provided that the target system admits a smooth solution.
For the first approach in the low Mach number limits, we have results of Ebin [14], Kleinermann and Majda [28], Schochet [34], and many others. For rotating fluids, there are results by Babin et al. [3, 4] and Chemin et al. [13].
In the case of the second approach, most results dealing with weak solutions have been studied for the compressible Navier–Stokes system with additional consideration of the high Reynolds number limit. For rotating fluids, there are several results, see Feireisl, Gallagher and Novotný [18], Feireisl et al. [17], Feireisl and Novotný [24, 25] and Li [29].
The existence of a global-in-time weak solution of the compressible Euler equation satisfying the energy inequality is still open for general initial data. Therefore, it is important to consider a measure-valued solution or a newly developed dissipative solution for this system. The concept of measure-valued solutions has been studied in various contexts, such as in the analysis of numerical schemes, etc. In the following articles by Alibert and Bouchitté [2], Gwiazda et al. [26], Březina and Feireisl [8], Březina [10], Basarić [5] et al. [21], we observe the development of the theory of measure-valued solution for various models describing compressible fluids, mainly using Young measures.
Recently Feireisl et al. [22] and Breit et al. [6] have given a new definition of generalized solutions for the compressible Euler system, which they call a dissipative solution. This new definition does not include Young measures.
The advantages of the second approach to singular limit problems are as follows:
-
Weak or measure-valued solutions to the primitive system exist globally in time. Thus, the result depends only on the lifespan of the target problem, which may be finite.
-
Since convergence holds for a large class of generalized solutions, this suggests some stability of the limit solution of the target system.
In particular, the results with generalized solutions are better in the sense that the convergence holds for a larger class of solutions and for the lifespan of the limit system.
There are a number of articles dealing with the low Mach number limit in the context of measure-valued solutions. In Feireisl et al. [20], Bruell and Feireisl [9], Březina and Mácha [11], it is shown that measure-valued solution of the primitive system, describing a compressible inviscid fluid, converges to a strong solution of the incompressible target system given suitable initial data. The ‘single-scale’ limit of our system, i.e., \(m=1\) and \(G=0\), was studied by Nečasová and Tong [31], again using the measure-valued solutions.
The framework of measure-valued solutions can also be applied in the context of the Navier–Stokes system. Although global in time weak solutions exist here, their existence is constrained by the technical condition for the adiabatic exponent \(\gamma >\frac{3}{2}\). To deal with this technical constraint, Feireisl et al. [19] introduced the concept of dissipative measure-valued solution in terms of the Young measure. Here we use a slightly different approach, introducing a dissipative solution for Navier–Stokes system without explicit presence of the Young measure. In this way, we extend the convergence result to the Navier–Stokes system with high Reynolds number limit in the regime where the existence of weak solutions is unknown.
In our approach, it is very important to consider correct initial data, which are mainly called well-prepared and ill-prepared initial data. Feireisl and Novotný explain in [23] that for ill-prepared data the presence of Rossby acoustic waves plays an important role in the analysis of singular limits. For well-prepared data, on the other hand, this effect is absent. Here we are concerned with the well-prepared initial data.
Our main goal is to prove that under suitable choice of initial data a dissipative solution of a compressible rotating Euler system in low Mach and low Rossby regime converges to a strong solution of the incompressible Euler system in 2D. Hence, our plan for the article is following:
-
1.
Derivation of limit systems.
-
2.
Solutions of the target and primitive systems and relative energy inequality.
-
3.
Singular limit for ‘well-prepared’ data.
-
4.
Extension to the Navier–Stokes system.
1.1 Notation and preliminaries
-
Here we consider the pressure potential (P) as
$$\begin{aligned} P(\varrho ) = \frac{a}{\gamma -1} \varrho ^\gamma \end{aligned}$$(1.9)for the pressure law (1.3). Without loss of generality, we assume the ‘normalized’ setting for p as
$$\begin{aligned} p^{\prime }(1)=1. \end{aligned}$$Consideration of (1.9) leads to the following relations:
$$\begin{aligned} \varrho P^{\prime }(\varrho ) -P(\varrho )= p(\varrho ) \text { and } \varrho P^{\prime \prime } (\varrho )=p^{\prime }(\varrho ) \text { for } \varrho >0. \end{aligned}$$ -
Let r be a positive real-valued function and its range lie in a compact subset of \( (0,\infty ) \). Then for any \( \varrho \ge 0 \), there exists \( r_1,r_2>0\), that depend on r such that
$$\begin{aligned} P(\varrho )-(\varrho -r)P^{\prime }(r) -P(r) \ge c(r){\left\{ \begin{array}{ll} (\varrho - r)^2 \text { for } r_1 \le \varrho <r_2 \\ 1 + \varrho ^\gamma , \text { otherwise} \end{array}\right. }, \end{aligned}$$(1.10)where c(r) is a constant dependent on r. We note that if \( \gamma >2 \), one can consider \( 1+\varrho ^2\) instead of \( 1+ \varrho ^\gamma \) in (1.10). Taking the last observation into account, we can replace \( \gamma \) by \( \gamma ^\prime =\min \{2,\gamma \} \) in (1.10).
-
Essential and residual part of a function: We introduce a function \(\chi = \chi (\varrho )\) such that
$$\begin{aligned} \begin{aligned} \chi (\cdot ) \in C_c^{\infty } (0, \infty ),\; 0 \le \chi \le 1,\; \chi (\varrho ) = 1 \ \text{ if }\ \varrho _1 \le \varrho \le \varrho _2, \end{aligned} \end{aligned}$$where \( \varrho _1,\varrho _2>0 \). For a function \(H = H(\varrho , \mathbf {u})\), we set
$$\begin{aligned} \begin{aligned} {[}H]_{\text {ess}}= \chi (\varrho ) H(\varrho , \mathbf {u}),\; [H]_{\text {res}}= (1-\chi (\varrho )) H(\varrho , \mathbf {u}),\; \varrho \ge 0 \text { and }\mathbf{u}\in \mathbb {R}^3. \end{aligned} \end{aligned}$$
2 Derivation of the target system
In this section, we provide an informal justification how we obtain the target system. First we note that \((\tilde{\varrho }_{\epsilon },\mathbf{0})\) is a static state solution for (1.1)–(1.2) and it satisfies
Let us consider the following asymptotic expansion:
As a consequence of the above and Taylor’s expansion, we obtain
2.1 Case I: \(\;\frac{m}{2}>n>1\); target system: Euler system
Clearly conditions on \(m\text { and }n\) in (1.8) indicate \(\lim _{\epsilon \rightarrow 0}\nabla _{x} P^\prime (\tilde{\varrho }_\epsilon )=0\). Without loss of generality, we assume
Thus, we rewrite the continuity equation and the momentum equation as
and
respectively. Let \(\mathbb {H}\) be the Helmholtz projection, then we have
Suppose \( \mathbf {m}_{\epsilon } \rightarrow \bar{\varrho } \mathbf {v}\) in a strong sense, multiplying the above equation by \(\epsilon \) and using our standard expansion technique, we obtain
From the above equations, we get the following relations:
Thus, we have
The boundary condition (1.4) leads us the conclusion \(v_3(x_h,x_3)=0\) and \( \mathbf {v}=(\mathbf {v}_h(x_h),0)\). Finally, the above discussion yields the target system
i.e., the incompressible Euler equation in 2D.
2.2 Case II: \(\;m=n=1\); target system: damped Euler system describing a stratified fluid
In this case, we first recall that, a static solution satisfies
It follows that \(\tilde{\varrho }_{\epsilon }\) is independent of \(\epsilon \) and we denote it by \(\hat{\varrho }\). Therefore, we rewrite the continuity equation and the momentum equation as
and
respectively, where \( \mathbf {m}_{\epsilon }^{(1)}= \mathbf {v}_\epsilon ^{(1)}\hat{\varrho }+ \mathbf {v}\varrho _{\epsilon }^{(1)}\).
We assume \( \big ( \frac{\varrho _\epsilon - \hat{\varrho }}{\epsilon } \big ) \rightarrow q\) and \( \mathbf {u}_\epsilon \rightarrow \mathbf {v}\) in a strong sense. Then as a consequence we have
Here we get \( (P^{\prime \prime }(\hat{\varrho })q)_{x_3}=0 \) and this implies \( (P^{\prime \prime }(\hat{\varrho })q)(x_h,x_3)=(P^{\prime \prime }(\hat{\varrho })q)(x_h,0) \) for \( x_3\in (0,1) \). Consequently, from the choice of G, we obtain
where f is a bounded continuous function in (0, 1). Without loss of generality, we assume \(\hat{\varrho } >0 \). Finally, we summarize the above discussion and derive the expected target system as
in \( \mathbb {R}^2 \), for each \( x_3 \in (0,1) \) and q in the form given in (2.3). The system (2.4) represents a stratified fluid in \( \mathbb {R}^2\times (0,1) \) where the time evolution is given in \( \mathbb {R}^2 \) only and q can be viewed as a stream function of the flow.
3 Solvability of target systems, primitive system and relative energy
3.1 Target system: existence of the strong solution
In the last section, we informally obtained the expected target systems in both cases. Here we state some well-known results that prove the existence of a strong solution for these systems.
3.1.1 Case I
First, we recall the expected target system, the 2D Euler equation, i.e.,
The following result of Kato and Lai [27] ensures existence and uniqueness for the incompressible Euler system in \( \mathbb {R}^2 \) for sufficiently smooth initial data.
Proposition 3.1
Let
be given. Then the system (2.2) supplemented with the initial data \(\mathbf {v}_h(0)= \mathbf {v}_{0}\) admits a regular solution \((\mathbf {v}_h,\Pi )\), unique in the class
with \(\text {div}_{x_h}\mathbf {v}_h=0\).
Alternatively, we write the system (2.2) as
i.e., vorticity formulation of the system (2.2) where the vorticity is \( \text {curl}_{x_h}\mathbf {v}_h \).
3.1.2 Case II
Now we consider the case \( m=n=1 \). Here a static solution \( \tilde{\varrho }_\epsilon \) is independent of \( \epsilon \) and in particular, we choose a static solution \( (\hat{\varrho }=\hat{\varrho }(x_3)) \) such that
In this case, that expected target system is a damped variant of incompressible Euler system. It states that for each \( x_3 \in [0,1] \), \( \left( q(x_h,x_3), \mathbf{v}(x_h,x_3) (= \mathbf{v}_h(x_h),0)\right) \) solves
supplemented with initial data \( q(0,\cdot )=q_0 \) in \( \Omega \).
If assume \( q_0 \in W^{k,2}(\mathbb {R}^2) \) with \( k>4 \), then for each \( x_3 \in [0,1] \), Eq. (3.3) admits strong solution. Furthermore, following Oliver [33, Theorem 3], we have for each \( x_3 \in [0,1] \), \( q(\cdot ,x_3) \in C([0,T];W^{k,2}(\mathbb {R}^2)) \cap C^{1}([0,T];W^{k-1,2}(\mathbb {R}^2))\).
Finally, from (2.3) we state the regularity of the target system as follows:
Proposition 3.2
Suppose that
Then, the problem (2.4) admits a solution q, unique in the class
3.2 Definition of a dissipative solution for the primitive system
Now we provide the definition of a dissipative solution for the primitive system of our consideration.
Definition 3.3
Let \(\epsilon >0\) and \(\tilde{\varrho }_\epsilon >0\). We say \((\varrho _{\epsilon },\mathbf {u}_{\epsilon })\) with
is a dissipative solution to the compressible Euler equation (1.1)–(1.7) with initial data \((\varrho _{0,\epsilon }, (\varrho \mathbf {u})_{0,\epsilon })\) satisfying
if there exist the turbulent defect measures
satisfying the compatibility condition
such that the following holds:
-
Equation of continuity For any \(\tau \in (0,T) \) and any \(\varphi \in C_{c}^{1}([0,T)\times \bar{\Omega })\) it holds
$$\begin{aligned} \begin{aligned}&\bigg [ \int _{ \Omega }{ \varrho _{\epsilon }} \varphi \text { d}x\bigg ]_{t=0}^{t=\tau }= \int _0^{\tau } \int _{\Omega } [ \varrho _{\epsilon } \partial _t \varphi + \mathbf {m}_{\epsilon } \cdot \nabla _x \varphi ] \text { d}x\text { d}t\;; \end{aligned} \end{aligned}$$ -
Momentum equation For any \(\tau \in (0,T)\) and any \(\pmb {\varphi } \in C^{1}_c([0,T)\times \Omega ;\mathbb {R}^d)\) with \(\pmb {\varphi } \cdot \mathbf {n}|_{\partial \Omega }=0,\) it holds
$$\begin{aligned} \begin{aligned}&\bigg [\int _{\Omega } \mathbf {m}_{\epsilon }(\tau ,\cdot )\cdot \pmb {\varphi }(\tau ,\cdot ) \text { d}x\bigg ]_{t=0}^{t=\tau } \\&\quad = \int _0^{\tau }\int _{\Omega } \bigg [ \mathbf {m}_{\epsilon }\cdot \partial _{t} \pmb {\varphi }+ \bigg (\frac{ \mathbf {m}_{\epsilon } \otimes \mathbf {m}_{\epsilon }}{\varrho _{\epsilon }}\bigg ) : \nabla _x \pmb {\varphi }+ \frac{1}{\epsilon ^{2m}}p(\varrho _{\epsilon }) \text {div}_x\pmb {\varphi }+ \frac{1}{\epsilon }\mathbf {b} \times \mathbf {m}_{\epsilon } \cdot \pmb {\varphi }\bigg ] \text { d}x\text { d}t\;\\&\qquad +\int _0^{\tau }\int _{\Omega } \frac{1}{\epsilon ^{2n}} \varrho _{\epsilon } \nabla _{x}G\cdot \pmb {\varphi }\text { d}x\text { d}t\;+\int _0^{\tau }\int _{\overline{\Omega }} \nabla _x \pmb {\varphi }: \text {d}\mathfrak {R}_{m_{\epsilon }} \text { d}t\;; \end{aligned} \end{aligned}$$ -
Energy inequality The total energy \(E_\epsilon \) is defined in [0, T) as
$$\begin{aligned} E_{\epsilon }(\tau )= \int _{\Omega }&\bigg ( \frac{1}{2} \frac{ {\vert \mathbf {m}_{\epsilon } \vert ^2}}{\varrho _\epsilon } +\frac{1}{\epsilon ^{2m}}(P(\varrho _{\epsilon })-(\varrho _{\epsilon }-\tilde{\varrho }_\epsilon )P^{\prime }(\tilde{\varrho }_{\epsilon })) -P(\tilde{\varrho }_{\epsilon })\bigg )(\tau ,\cdot )\text { d}x. \end{aligned}$$It satisfies
$$\begin{aligned} E_\epsilon (\tau ) + \int _{\overline{\Omega }} \mathrm{d \; } \mathfrak {R}_{e_\epsilon } (\tau , \cdot ) \le E_{0,\epsilon } \end{aligned}$$(3.6)for a.a. \(\tau > 0\).
Remark 3.4
It is important to define the function
on the vacuum set as
It follows from the energy inequality (3.6) that for each \(\epsilon >0\),
where \(\mathcal {L}^4\) is the Lebesgue measure in \(\mathbb {R}^4\).
In order to study the existence, we first note that the impermeability boundary condition in \( \mathbb {R}^2 \times (0,1) \) can be transformed into periodic ones by considering the space of symmetric functions, see Ebin [15]. Here \( \varrho , \mathbf{m}_h(=m_1,m_2) \) were extended as even functions in the \( x_3 \)-variable defined on \( \mathbb {R}^2\times {\mathbb {T}}^1 \), while \( m_3 \) is extended as an odd function in \( x_3 \) on the same set, i.e.,
for all \(t\in (0,T),\; x_h \in \mathbb {R}^2 \text { and } x_3 \in \mathbb {T}^{1}\). A similar convention is adopted for the initial data. Hence, the consideration of the domain \(\mathbb {R}^2\times (0,1)\) with slip boundary condition is equivalent to \( \mathbb {R}^2 \times \mathbb {T}^1\). We have to consider solutions in the class (3.7). The existence of a dissipative solution follows from Breit, Feireisl and Hofmanová as in [6, 7].
3.3 Relative energy inequality
In our approach, relative energy functional plays an important role. We consider
where \( ( {\tilde{\varrho }}, \tilde{\mathbf{u}} )\) satisfy
and \( (\varrho _\epsilon ,\mathbf{m}_\epsilon ) \) is a dissipative solution of the primitive system.
Remark 3.5
The relative energy is a coercive functional (see. Bruell et al. [9] and Březina and Feireisl [12]) satisfying the estimate
where \( \text {ess} \) and \( \text {res} \) are considered with respect to \( \varrho _1= \frac{1}{2} \min _{(0,T)\times \Omega } \tilde{\varrho } \) and \( \varrho _2= 2 \max _{(0,T)\times \Omega } \tilde{\varrho } \).
Using Definition 3.3, from (3.8) we deduce the following relative energy inequality:
3.3.1 A possible adaptation for Sobolev test functions
From Remark 3.5, it is clear that the relative energy functional is nonnegative and if \( \mathcal {E}_{\epsilon } \rightarrow 0\) as \( \epsilon \rightarrow 0 \) we obtain some strong local convergence of the state variables. So we want to substitute \( (\tilde{\varrho }, \tilde{u}) \) suitably by the solutions of target system. We notice that the existence of strong solutions is known in the space of Sobolev functions, see Propositions 3.1 and 3.2. Therefore, following [5] we can extend the inequality (3.10) for the test functions \((\tilde{\varrho },\tilde{\mathbf {u}})\) having Sobolev regularities, i.e., \((\tilde{\varrho }-\tilde{\varrho }_\epsilon , \tilde{\mathbf {u}})\in C^1([0,T]; W^{k,2}(\Omega ))\times C^1([0,T]; W^{k,2}(\Omega ;\mathbb {R}^3))\) with \(k\ge 3\) and \( \tilde{\mathbf {u}} \cdot \mathbf{n} =0 \) on \( \partial \Omega \).
4 Main results and their proofs
First we state our main results for both cases:
4.1 Main theorem: Case I
4.1.1 Properties of a static solution
First, we notice that a static solution \((\tilde{\varrho }_\epsilon ,\mathbf {0})\) satisfies
In terms of the pressure potential, we rewrite the above equation as
So, we obtain
where C is a constant. As a consequence of \(G=(0,0,-x_3)\), we have \( \tilde{\varrho }_\epsilon (x)= \tilde{\varrho }_\epsilon (x_3).\) Without loss of generality, we consider \( C=1 \). We know that \( P^{\prime }(s)\approx s^{\gamma -1} \) for \( s\ge 0 \). To reduce complication, here we assume \( P^{\prime }(s)=s^{\gamma -1} \), for \( s\ge 0 \). We also have
For \( 0<\epsilon <\frac{1}{2}\), we observe that a static solution \(\tilde{\varrho }_\epsilon \) satisfies the following property:
Remark 4.1
Since, we are interested for the case \( \epsilon \rightarrow 0 \), the consideration of \( 0<\epsilon <\frac{1}{2}\) is justified. Furthermore, if \( \gamma >2 \) and \( \epsilon <1 \) we have
As \(m > n\), asymptotically, the static solution approaches the constant state \(\tilde{\varrho } = 1\) as \(\epsilon \rightarrow 0\).
4.1.2 Well-prepared data
We say that the set of initial data \(\{(\varrho _{0,\epsilon },\mathbf {m}_{0,\epsilon })\}_{\epsilon >0} \) is well-prepared if
We provide the main result for this case.
Theorem 4.2
Let \( (\varrho _{\epsilon },\mathbf{m}_\epsilon ) \) be a dissipative solution of the system (1.1)–(1.7) with \( \frac{m}{2}>n\ge 1 \). Moreover, we assume that the initial data are well-prepared, i.e., it satisfies (4.3) and \(\mathbf{v}_0\in W^{k,2}(\mathbb {R}^2)\) with \(k\ge 3\). Then,
where \( c>0, \gamma ^\prime =\min \{2,\gamma \} \) and \(\mathbf {v}=(\mathbf {v}_h,0)\) is the unique solution of the incompressible Euler system with initial data \(\mathbf {v}_{0}\) in \( \mathbb {R}^2 \).
4.2 Main theorem: Case II
4.2.1 Well-prepared data
Let \( \hat{\varrho } \) be a static solution satisfying (3.1). We say that the set of initial data \((\varrho _{0,\epsilon }, \mathbf {m}_{0,\epsilon })_{(\epsilon >0)} \) is well-prepared if
Theorem 4.3
Let \( (\varrho _{\epsilon },\mathbf{m}_\epsilon ) \) be a dissipative solution of the system (1.1)–(1.7) with \( m=n=1 \). Moreover, we assume that the initial data are well-prepared, i.e., it satisfies (4.3) and \(q_0\in W^{k,2}\) with \(k\ge 4\). Let \( (q,\mathbf{v}) \) solves (2.4) for initial data \( q_0 \). Then after taking a subsequence, the following holds
where \( \gamma ^\prime =\min \{2,\gamma \} \). Furthermore, we have
Remark 4.4
In both cases, we note that the choice of well-prepared initial data implies (3.4), hence the consideration of the dissipative solution of the primitive system is justified.
In the following subsections, we give the proofs.
4.3 Proof of Theorem 4.2
4.3.1 Uniform bound and weak convergence
First, we note that \(\tilde{\mathbf {u}}= 0\) and \(\tilde{\varrho }=\tilde{\varrho }_\epsilon \) satisfy (3.9). Hence, we use them as test functions in the relative energy inequality (3.10). One the other hand, the choice of (4.2) ensures that the initial energy \( E_{0,\epsilon } \) is uniformly bounded. Thus, we have the following bounds
where C is independent of \( \epsilon \). We consider \( \gamma ^\prime = \min \{2,\gamma \} \). Estimate (4.4) and the fact \(\gamma ^\prime \le 2\) imply
Equation (4.5), together with (4.1), yields
Also, from the uniform bound (4.4) and (4.6) imply that
and
passing to suitable subsequence, where \(\grave{\mathbf {\gamma }}=\min \left\{ \frac{4}{3},\frac{2\gamma }{\gamma +1}\right\} \). The strong convergence of the density (4.6) helps to obtain \( \mathbf{m}=\mathbf{u} \) in the weak sense.
Finally, we may let \(\epsilon \rightarrow 0\) in the continuity equation to deduce that,
4.3.2 Strong convergence
Here we choose proper test functions and prove that \(\lim \limits _{\epsilon \rightarrow 0} \mathcal {E}_{\epsilon }(t)=0\).
Taking motivation from (2.1), we consider another equation that describes a non-oscillatory part described by a variable \( q_\epsilon \), that satisfies
in \( \mathbb {R}^2 \) supplemented with initial data \( q_\epsilon (0,\cdot )= q_{0,\epsilon } \) such that
Let us introduce another variable \(\mathbf{v}_\epsilon \) such that \( \mathbf{v}_\epsilon \) and \( q_\epsilon \) are interrelated by
Thus, initial data for \( \mathbf{v}_{\epsilon } \) satisfy
From the hypothesis on initial data in Theorem 4.2, we have
We observe that \( \Vert q_{0,\epsilon } \Vert _{L^2(\mathbb {R}^2)} \le C \) and \( \Vert \nabla _{x} q_{0,\epsilon } \Vert _{L^2(\mathbb {R}^2)} \le \epsilon ^{m-1} C \). Therefore, we can consider \( \{q_{0,\epsilon } \}_{\epsilon >0} \) such that \( q_{0,\epsilon } \rightarrow 0 \) in \( L^2(\mathbb {R}^2) \) as \( \epsilon \rightarrow 0 \). Furthermore, we also note that \( \mathbf{v}_{0,\epsilon } \rightarrow P_h(\mathbf{v}_0 )\) as \( \epsilon \rightarrow 0 \).
In order to have a simplified notation, we consider \( \omega =\epsilon ^{m-1} \) and \( \tilde{q}_\epsilon = \frac{q_\epsilon }{\omega } \). We rewrite (4.7) as
We notice that Eq. (4.9) has a similar structure to that of the geophysical flows. Thus, we apply Oliver [33, Theorem 3] to ensure the existence and uniqueness of solution \( \tilde{q}_\epsilon \).
In order to obtain a uniform estimate independent of \( \epsilon \), we multiply the (4.9) by \( q_\epsilon \) and performing integration by parts, we get
for a.e. \( t\in (0,T) \). As the initial data for \(\tilde{q}_\epsilon \) depends only on \( \mathbf{v}_0 \), we deduce that
Now, from (4.8), we also obtain
It is easy to verify that \( \partial _{t} \tilde{q}_\epsilon \) satisfies the equation
Consequently, it yields
and
This bounds are independent of \( \epsilon \).
Therefore, we obtain the following weak convergence:
and
Since \( k\ge 4 \), applying Sobolev embedding theorem, we obtain
We rewrite (4.9) as
From (4.11), we infer that
This is similar to (2.2). We also have
Clearly we have the following estimates
for \( q\ge 2 \). Also \( \mathbf{v}_\epsilon \in C([0,T]; W^{k-1,2}(\mathbb {R}^2))\) with \( k\ge 4 \) implies
Now, we consider a suitable test function for the relative energy inequality(3.10) as
where \((q_\epsilon , \mathbf {v}_3)\) satisfies (4.7) ans (4.8) and \(\tilde{\varrho }_\epsilon \) is a static solution that satisfies (4.1). We use the relation between \(q_\epsilon \) and \(\mathbf {v}_\epsilon \) and obtain
Here we compute each term \(\mathcal {L}_i\), \( i=1,\cdots ,8 \) of (4.14). For term \(\mathcal {L}_1\), we have
Consideration of well-prepared data yields
From now on, we use this generic function \(\xi (\cdot )\), such that \(\lim \limits _{\epsilon \rightarrow 0}\xi (\epsilon )=0\).
We rewrite \( \mathcal {L}_2 \) as
Using (4.12) and (4.1), we obtain
We claim
as \( {{\epsilon \rightarrow 0}} \). Let, K be a compact subset of \( \mathbb {R}^2\). We use (4.11) to deduce
where \( \mathbf{v}=(\mathbf{v}_h,0) \). Using the fact that \( \Pi \in C([0,T]; W^{k,2}(\mathbb {R}^2)) \) with \( k\ge 3 \), we have
We want to estimate the term \(\mathcal {L}_4\). First, we rewrite it as
We note that, for each \( x\in \Omega \) we get
Using the above inequality and (4.12), we deduce that
where \( \frac{1}{\gamma ^\prime }+ \frac{1}{{\gamma ^\prime }^*}=1 \).
Similarly, using (4.1) we have
for \(1< \gamma \le 2 \), and
for \( \gamma >2 \).
Analogously, we deduce
where \( \frac{1}{\gamma ^\prime }+ \frac{1}{{\gamma ^\prime }^*}=1 \). We use estimate (4.12) to conclude
The equation (4.10) implies
Therefore, combining all estimates we get
It is easy to verify that
For the term \( \mathcal {L}_5 \), the first observation is that for \( x\in \Omega \) we have
where \( \eta (x) \in (\min \{1, \tilde{\varrho }\}, \max \{1,\tilde{\varrho }\})\). From the choice of \( \tilde{\varrho } = \tilde{\varrho _\epsilon }+ \epsilon ^{m} q_\epsilon \) and estimate (4.13), we have
where C is dependent only on \( \mathbf{v}_0 \).
We rewrite \(\mathcal {L}_5\) as
By using (4.1), we observe
for \( \gamma >2 \), and
for \( 1<\gamma \le 2 \), where \( \left( \frac{2\gamma }{\gamma +1}\right) ^\prime = \frac{2\gamma }{\gamma -1}\).
In particular, \( \frac{m}{2}>n\ge 1 \), (4.4) and (4.12) imply
and
where C is a constant depending on \( \mathbf{v}_0 \) in both cases. Finally we obtain
Similarly, we rewrite the term \(\mathcal {L}_6\) as
where for each x, \( \zeta (x) \in (\min \{\tilde{\varrho _\epsilon }, \tilde{\varrho }\}, \max \{\tilde{\varrho _\epsilon },\tilde{\varrho }\})\). Using arguments similar to \( \mathcal {L}_5 \), we have
Now, the choice of G implies
The compatibility of the defect measures (3.5) yields
Therefore, combining all estimates (4.15)–(4.21), we get
We use Grönwall’s lemma to infer
where \(\xi (\epsilon )\rightarrow 0\) as \(\epsilon \rightarrow 0\) and for a.e. \( \tau \) with \( 0\le \tau \le T \). The coercivity of the relative energy functional helps to deduce
where \(K\subset \Omega \) is a compact set. Thus, we conclude that \(\mathbf {u}=\mathbf {v}_h\). Also, we obtain
It ends proof of Theorem 4.2.
4.4 Proof of Theorem 4.3
4.4.1 Uniform bounds and weak convergence
To obtain a uniform bound, we proceed similarly to Section 4.2.3. First, using \(\tilde{\mathbf {u}}= 0,\; \tilde{\varrho }=\hat{\varrho }\) as test functions and well-prepared data(4.3), we obtain the following uniform bounds:
This implies that
passing to a suitable subsequence as the case may be, here \( \gamma ^\prime =\min \{2,\gamma \} \).
We also deduce that
Furthermore, we have
where \( \grave{\gamma }= \left\{ \frac{4}{3}, \frac{2\gamma }{\gamma +1}\right\} \). Eventually, for a suitable subsequence, we get
Letting \(\epsilon \rightarrow 0\) in the continuity equation, we infer the incompressibility condition in the weak sense, i.e.,
Define \( \mathbf{u}= \frac{\mathbf{m}}{\hat{\varrho }} \). Multiplying momentum equation by \( \epsilon \) and letting \(\epsilon \rightarrow 0\), we obtain the diagnostic equation
in the sense of distributions.
4.4.2 Strong convergence using relative energy inequality
Let \((q,\mathbf {v})\) be a strong solution of the above system with initial data \((q_0,\mathbf {v}_0)\) satisfying (4.3) with \( k\ge 4 \). Our goal is to show that \((\varrho ^{(1)},\mathbf {u}) \equiv (q,\mathbf {v})\). Here we choose appropriate test functions and will show that \(\lim \limits _{\epsilon \rightarrow 0} \mathcal {E}_{\epsilon }(t)=0\).
We consider the test functions for the relative energy inequality (3.10) as
Thus, we rewrite the relative energy inequality in the following form:
Using the fact \(\text {div}_{x_h}\mathbf {v}=0\) and (3.2), we obtain
Now we want to estimate each term \( \mathcal {L}_i \) for \( i=1,\ldots ,7 \). First we notice that, consideration of the well-prepared data (4.3) yields
This implies
Here \(c(\epsilon )\) is a generic function such that \(c(\epsilon )\rightarrow 0\) as \(\epsilon \rightarrow 0\).
First, we rewrite two terms of \( \mathcal {L}_2 \) and \( \mathcal {L}_3 \) as
and
Using the weak convergence of the variables, we obtain
We claim that
To prove the above claim, first we observe that
Since \( (q,\mathbf{v}) \) solves (2.4), multiplying (3.3) by q we get
Now we use (4.22) and (3.2) to deduce
and
Hence, we achieve (4.24) and it implies
From the definition of relative energy, we obtain
Since \( 0< \hat{\varrho } \in C^3([0,1])\), we verify that
and
The above relation implies
and
We obtain
Combining (4.23)–(4.29), we have that
for a.e. \( \tau \in (0,T) \). Finally, using the compatibility of turbulent defect measures and Grönwall’s lemma, we infer
where \(c(\epsilon )\rightarrow 0\) as \(\epsilon \rightarrow 0\). Therefore, we obtain our desired result
Now using coercivity of the relative energy functional as stated in Remark 3.5, we say
Moreover, we use coercivity together with (4.30) to conclude
This completes the proof of Theorem 4.3.
5 Extension to the Navier–Stokes system
Here our goal is to give a proper definition of a dissipative solution for Navier–Stokes equation. We consider another characteristic number, i.e., Reynolds number. Additional assumption with high Reynolds number limit along with other characteristic number limits helps us to obtain the same target system.
5.1 Definition of dissipative solution for Navier–Stokes system
Let \(\varrho \) be the density and \(\mathbf {u}\) be the velocity. In time-space cylinder \(Q_T=(0,T)\times \Omega \), we consider:
-
Conservation of mass
$$\begin{aligned} \partial _t \varrho + \text {div}_x(\varrho \mathbf {u})&=0. \end{aligned}$$(5.1) -
Conservation of momentum
$$\begin{aligned} \begin{aligned}&\partial _t(\varrho \mathbf {u}) + \text {div}_x(\varrho \mathbf {u} \otimes \mathbf {u})+\frac{1}{\text {Ma}^2}\nabla _x p(\varrho )+\frac{1}{\text {Ro}} \mathbf {b} \times \varrho \mathbf {u}\\&\quad =\frac{1}{\text {Re}}\text {div}_x\mathbb {S}(\nabla _x \mathbf {u})+ \frac{1}{\text {Fr}^2}\varrho \nabla _{x}G. \end{aligned} \end{aligned}$$(5.2) -
Constitutive relation Here \(\mathbb {S}(\nabla _x \mathbf {u})\) is the Newtonian stress tensor defined by
$$\begin{aligned} \mathbb {S}(\nabla _x \mathbf {u})=\mu \bigg (\frac{\nabla _x \mathbf {u}+ \nabla _x^{T} \mathbf {u}}{2}-\frac{1}{d} (\text {div}_x\mathbf {u})\mathbb {I} \bigg ) + \lambda (\text {div}_x\mathbf {u}) \mathbb {I}, \end{aligned}$$(5.3)where \(\mu >0\) and \(\lambda >0\) are the shear and bulk viscosity coefficients, respectively.
-
The scaled system contains all specified characteristic numbers as in (1.5) along with,
-
Re– Reynolds number.
Here we consider,
$$\begin{aligned} \text {Ma} \approx \epsilon ^m,\; \text {Ro} \approx \epsilon ,\; \text {Re}\approx \epsilon ^{-\alpha },\; \text {Fr} \approx \epsilon ^n \text { for } \epsilon>0,\; m,n,\alpha>0 \text { and } \frac{m}{2}>n\ge 1. \end{aligned}$$(5.4) -
-
Pressure law In an isentropic setting, the pressure p and the density \(\varrho \) of the fluid are interrelated by
$$\begin{aligned} \begin{aligned} p(\varrho )=a \varrho ^\gamma ,\; a>0,\; \gamma > 1. \end{aligned} \end{aligned}$$(5.5) -
Boundary condition Here we consider a complete slip condition for the velocity on the horizontal boundary, i.e.,
$$\begin{aligned} \mathbf {u}\cdot \mathbf {n}|_{\partial \Omega }=[\mathbb {S}(\nabla _{x}\mathbf {u})\cdot \mathbf {n}]_{\text {tan}}|_{\partial \Omega }=0,\; \mathbf {n}=(0,0,\pm 1). \end{aligned}$$(5.6) -
Far field condition Let \((\tilde{\varrho }_{\epsilon },\mathbf {0})\) be a static solution, we assume the condition as
$$\begin{aligned} |\varrho - \tilde{\varrho }_\epsilon | \rightarrow 0, \; \mathbf {u}\rightarrow \mathbf {0} \text { as } \vert x_h \vert \rightarrow \infty . \end{aligned}$$(5.7) -
Initial data For each \(\epsilon >0\), we supplement the initial data as
$$\begin{aligned} {\varrho (0,\cdot )=\varrho _{\epsilon , 0},\; (\varrho \mathbf {u})(0,\cdot )= (\varrho \mathbf {u})_{\epsilon , 0}.} \end{aligned}$$
Here we provide the definition of dissipative solution for the Navier–Stokes system.
Definition 5.1
Let \(\epsilon >0\) and \(\tilde{\varrho }_\epsilon >0\). We say a pair of functions \((\varrho _{\epsilon },\mathbf {u}_{\epsilon })\) with
is a dissipative solution to (5.1)–(5.7) with initial data \(\left( \varrho _{0,\epsilon }, (\varrho \mathbf {u})_{0,\epsilon }\right) \) satisfying
if there exist the turbulent defect measures
satisfying compatibility condition
such that the following holds:
-
Equation of continuity For any \(\tau \in (0,T) \) and any \(\varphi \in C_{c}^{1}([0,T]\times \bar{\Omega })\) it holds
$$\begin{aligned} \begin{aligned}&\left[ \int _{ \Omega }{ \varrho _{\epsilon }} \varphi \text { d}x\right] _{t=0}^{t=\tau }= \int _0^{\tau } \int _{\Omega } [ \varrho _{\epsilon } \partial _t \varphi + \varrho _{\epsilon }\mathbf {u}_{\epsilon } \cdot \nabla _x \varphi ] \text { d}x\text { d}t\;; \end{aligned} \end{aligned}$$ -
Momentum equation For any \(\tau \in (0,T)\) and any \(\pmb {\varphi } \in C^{1}_c([0,T]\times \Omega ;\mathbb {R}^d)\) with \( \pmb {\varphi }\cdot \mathbf {n} |_{\partial {\Omega }}=0\), it holds
$$\begin{aligned} \begin{aligned}&\bigg [\int _{\Omega } \varrho _{\epsilon }\mathbf {u}_{\epsilon }(\tau ,\cdot )\cdot \pmb {\varphi }(\tau ,\cdot ) \text { d}x\bigg ]_{t=0}^{t=\tau } \\&\quad =\int _0^{\tau }\int _{\Omega } \left[ \varrho _{\epsilon }\mathbf {u}_{\epsilon }\cdot \partial _{t} \pmb {\varphi }+ \varrho _{\epsilon }\mathbf {u}_{\epsilon }\otimes \mathbf {u}_{\epsilon } : \nabla _x \pmb {\varphi }+ \frac{1}{\epsilon ^{2m}}p(\varrho _{\epsilon }) \text {div}_x\pmb {\varphi }+ \frac{1}{\epsilon }\mathbf {b} \times \varrho _{\epsilon }\mathbf {u}_{\epsilon } \cdot \pmb {\varphi }\right] \text { d}x \text { d}t\;\\&\qquad -\int _0^{\tau }\int _{\Omega }[\epsilon ^\alpha \mathbb {S}(\nabla _x \mathbf {u}):\nabla _x \pmb {\varphi }- \frac{1}{\epsilon ^{2n}} \varrho _{\epsilon } \nabla _{x}G\cdot \pmb {\varphi }] \text { d}x\text { d}t\;+\int _0^{\tau }\int _{\overline{\Omega }} \nabla _x \pmb {\varphi }: \text {d}\mathfrak {R}_{m_{\epsilon }} \text { d}t\;; \end{aligned} \end{aligned}$$ -
Energy inequality The total energy E is defined in [0, T) as
$$\begin{aligned} E_{\epsilon }(\tau )= \int _{\Omega }&\bigg ( \frac{1}{2} {\varrho _\epsilon }{ {\vert \mathbf {u}_{\epsilon } \vert ^2}} +\frac{1}{\epsilon ^{2m}}(P(\varrho _{\epsilon })-(\varrho _{\epsilon }-\tilde{\varrho }_\epsilon )P^{\prime }(\tilde{\varrho }_{\epsilon })) -P(\tilde{\varrho }_{\epsilon })\bigg )(\tau ,\cdot )\text { d}x; \end{aligned}$$It satisfies
$$\begin{aligned} E_\epsilon (\tau ) +\epsilon ^\alpha \int _{0}^{\tau } \int _{ \Omega } \mathbb {S}(\nabla _x \mathbf {u}) :\nabla _x \mathbf {u}\text { d}x\text { d}t\;+ \int _{\overline{\Omega }} \mathrm{d \; } \mathfrak {R}_{e_\epsilon } (\tau , \cdot ) \le E_{0,\epsilon } \end{aligned}$$for a.a. \(\tau > 0\).
Remark 5.2
The class of test functions in the momentum equation corresponds to the complete slip (or Navier slip) boundary conditions. These are necessary to avoid problems with boundary layer.
Theorem 5.3
Suppose \(\Omega \) be the domain specified above and the pressure follows (5.5). If \((\varrho _{0,\epsilon },(\varrho \mathbf {u})_{0,\epsilon })\) satisfies (5.8), then there exists a dissipative solution as defined above.
We prove the existence theorem for \(\epsilon =1\).
Proof
Here we give an extended outline of the proof. We know that the existence theory in the class of finite energy weak solutions was developed by Lions [30] and later extended by Feireisl [16] to the so far subcritical exponent \(\gamma >\frac{3}{2}\). For an unbounded domain, similar result has been proposed by Novotný and Pokorný in [32].
Here our goal is to add \(\delta \nabla _{x} \varrho ^\Gamma \) in the momentum equation with \(\Gamma \ge \frac{3}{2}\) so that we use the existing results to obtain a finite energy weak solution for the system and we denote it by \((\varrho _\delta ,\mathbf {u}_\delta )\). Then we will show that this approximate solution converges to a dissipative solution of above described system.
This motivates the following approximate problem:
with \(\Gamma >\frac{3}{2}\). We assume that for each \(\delta >0\) a static solution of the approximate problem \(\tilde{\varrho }_\delta \) has the following property
where \(\tilde{\varrho }>0\) is a static solution for the Navier–Stokes problem with \(\nabla _{x} P^{\prime } (\tilde{\varrho })=\nabla _{x}G\). Further we assume that for the above-mentioned problem, initial condition \(\{ \varrho _{\delta ,0}, (\varrho \mathbf {u})_{\delta ,0} \}\) belongs to a certain regularity class for which weak solution exists. As an additional assumption, we have
where \(H(s)=\frac{1}{\gamma -1}p(s)+\delta \frac{1}{\Gamma -1} s^{\Gamma }\).
Clearly from existence of weak solution, we have several apriori bounds, i.e.,
As a consequence of that, we obtain
From the above bounds, we get
We use Abbatiello et al. [1, Lemma 8.1 (Appendix)] to conclude
Let us introduce the conservative variable \(\mathbf {m}_\delta =\varrho _{{\delta }}\mathbf {u}_{\delta }\). In terms of momentum, we rewrite kinetic energy as
As an observation, we have the above map as convex l.s.c. From energy inequality, it is worth to notice that it is \(\infty \) only on a measure zero set in \((0,T)\times \Omega \). Using convexity of \(p(\cdot )\) and \([\varrho ,\mathbf {m}]\mapsto \frac{\mathbf {m}\times \mathbf {m}}{\varrho }\), and also using fact that \(L^1(\Omega )\) continuously embedded in \(\mathcal {M}(\bar{\Omega })\), we conclude
We choose
and
The compatibility of two turbulent defect measures is clear from above equations. Arguing similarly as in Breit et al. [7], we obtain
Now we are in a position to conclude that \(\varrho , \mathbf {u}, \mathfrak {R}_m \text { and } \mathfrak {R}_e\) is a dissipative solution for the Navier–Stokes equation. \(\square \)
Finally, we state the theorem:
Theorem 5.4
Let pressure p follows (5.5). We assume that the initial data are well-prepared. We also consider \(\mathbf {v}_0\in W^{k,2}(\mathbb {R}^2)\) with \(k\ge 3\). Let \((\varrho _{\epsilon }, \mathbf {u}_{\epsilon }) \) be a dissipative solution as in Definition 5.1 in \((0,T)\times \Omega \). Then,
where \(\mathbf {v}=(\mathbf {v}_h,0)\) and \(\mathbf {v}_h\) is the unique solution of Euler system (2.2) with initial data \(\mathbf {v}_{0}\).
Proof
The proof is similar as before only we have to consider few extra terms, see [24]. \(\square \)
References
A. Abbatiello, E. Feireisl, and A. Novotny, Generalized solutions to models of compressible viscous fluids (2019).
J. J. Alibert and G. Bouchitté, Non-uniform integrability and generalized Young measures, J. Convex Anal. 4 (1997), no. 1, 129–147.
A. Babin, A. Mahalov, and B. Nicolaenko, Global regularity of 3D rotating Navier–Stokes equations for resonant domains, Indiana Univ. Math. J. 48 (1999), no. 3, 1133–1176.
A. Babin, A. Mahalov, and B. Nicolaenko, 3D Navier–Stokes and Euler equations with initial data characterized by uniformly large vorticity, Indiana Univ. Math. J. 50 (2001), no. Special Issue, 1–35. Dedicated to Professors Ciprian Foias and Roger Temam (Bloomington, IN, 2000).
D. Basarić, Vanishing viscosity limit for the compressible Navier–Stokes system via measure-valued solutions, arXiv e-prints (2019Mar), arXiv:1903.05886.
D. Breit, E. Feireisl, and M. Hofmanová, Dissipative solutions and semiflow selection for the complete euler system, arXiv e-prints (2019 Apr), arXiv:1904.00622.
D. Breit, E. Feireisl, and M. Hofmanová, Generalized solutions to models of inviscid fluids, arXiv e-prints (2019 Jul), arXiv:1907.00757.
J. Březina and E. Feireisl, Measure-valued solutions to the complete Euler system, J. Math. Soc. Japan 70 (2018), no. 4, 1227–1245.
G. Bruell and E. Feireisl, On a singular limit for stratified compressible fluids, arXiv e-prints (2018 Feb), arXiv:1802.10340.
J. Březina, Existence of measure-valued solutions to a complete Euler system for a perfect gas, arXiv e-prints (2018 May), arXiv:1805.05570.
J. Březina and V. Mácha, Low stratifucation of the complete Euler system, arXiv e-prints (2018 Dec), arXiv:1812.08465.
J. Březina and E. Feireisl, Measure-valued solutions to the complete Euler system revisited, Z. Angew. Math. Phys. 69 (2018), no. 3, Paper No. 57, 17.
J. Y. Chemin, B. Desjardins, I. Gallagher, and E. Grenier, Mathematical geophysics, Oxford Lecture Series in Mathematics and its Applications, vol. 32, The Clarendon Press, Oxford University Press, Oxford, 2006. An introduction to rotating fluids and the Navier–Stokes equations.
D. G. Ebin, The motion of slightly compressible fluids viewed as a motion with strong constraining force, Ann. Math. (2) 105 (1977), no. 1, 141–200.
D. G. Ebin, Viscous fluids in a domain with frictionless boundary, Global analysis-analysis on manifolds, 1983, pp. 93–110.
E. Feireisl, Dynamics of viscous compressible fluids, Oxford Lecture Series in Mathematics and its Applications, vol. 26, Oxford University Press, Oxford, 2004.
E. Feireisl, I. Gallagher, D. Gerard-Varet, and A. Novotný, Multi-scale analysis of compressible viscous and rotating fluids, Comm. Math. Phys. 314 (2012), no. 3, 641–670.
E. Feireisl, I. Gallagher, and A. Novotný, A singular limit for compressible rotating fluids, SIAM J. Math. Anal. 44 (2012), no. 1, 192–205.
E. Feireisl, P. Gwiazda, A. Świerczewska-Gwiazda, and E. Wiedemann, Dissipative measure-valued solutions to the compressible Navier–Stokes system, Calc. Var. Partial Differential Equations 55 (2016), no. 6, Art. 141, 20.
E. Feireisl, C. Klingenberg, and S. Markfelder, On the low mach number limit for the compressible Euler system, SIAM J. Math. Anal. 51 (2019), no. 2, 1496–1513.
E. Feireisl and M. Lukáčová-Medvidová, Convergence of a mixed finite element-finite volume scheme for the isentropic Navier–Stokes system via dissipative measure-valued solutions, Found. Comput. Math. 18 (2018), no. 3, 703–730.
E Feireisl, M Lukacova-Medvidova, and H Mizerova, \(\cal{K}\)-convergence as a new tool in numerical analysis, arXiv e-prints (2019 Mar), arXiv:1904.00297.
E. Feireisl and A. Novotný, Singular limits in thermodynamics of viscous fluids, Advances in Mathematical Fluid Mechanics, Birkhäuser Verlag, Basel (2009).
E. Feireisl and A. Novotný, Multiple scales and singular limits for compressible rotating fluids with general initial data, Comm. Partial Differential Equations 39 (2014), no. 6, 1104–1127.
E. Feireisl and A. Novotný, Scale interactions in compressible rotating fluids, Ann. Mat. Pura Appl. (4) 193 (2014), no. 6, 1703–1725.
P. Gwiazda, A. Świerczewska-Gwiazda, and E. Wiedemann, Weak-strong uniqueness for measure-valued solutions of some compressible fluid models, Nonlinearity 28 (2015), no. 11, 3873–3890.
T. Kato and C. Y. Lai, Nonlinear evolution equations and the Euler flow, J. Funct. Anal. 56 (1984), no. 1, 15–28.
S. Klainerman and A. Majda, Singular limits of quasilinear hyperbolic systems with large parameters and the incompressible limit of compressible fluids, Comm. Pure Appl. Math. 34 (1981), no. 4, 481–524.
Y. Li, Singular limit for rotating compressible fluids with centrifugal force in a finite cylinder (2019).
P. L. Lions, Mathematical topics in fluid mechanics. Vol. 2, Oxford Lecture Series in Mathematics and its Applications, vol. 10, The Clarendon Press, Oxford University Press, New York, 1998. Compressible models, Oxford Science Publications.
Š. Nečasová and T. Tang, On a singular limit for the compressible rotating Euler system, J. Math. Fluid Mech. 22 (2020), no. 3, Paper No. 43, 14.
A. Novotný and M. Pokorný, Stabilization to equilibria of compressible Navier–Stokes equations with infinite mass, Comput. Math. Appl. 53 (2007), no. 3–4, 437–451.
M. Oliver, Classical solutions for a generalized Euler equation in two dimensions, J. Math. Anal. Appl. 215 (1997), no. 2, 471–484.
S. Schochet, The compressible Euler equations in a bounded domain: existence of solutions and the incompressible limit, Comm. Math. Phys. 104 (1986), no. 1, 49–75.
Acknowledgements
The work of N. Chaudhuri was partly supported by EPSRC Early Career Fellowship no. EP /V000586/1. The author would like to thank Prof. E. Feireisl for his valuable comments. The author also thanks the unknown reviewer(s) for necessary suggestions to improve the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
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
Chaudhuri, N. Multiple scales and singular limits of perfect fluids. J. Evol. Equ. 22, 5 (2022). https://doi.org/10.1007/s00028-022-00762-1
Accepted:
Published:
DOI: https://doi.org/10.1007/s00028-022-00762-1
Keywords
- Compressible Euler system
- Rotating fluids
- Dissipative solution
- Low Mach and Rossby number limit
- Multiple scales
- Compressible Navier–Stokes system