Abstract
Fluid dynamic equations are used to model various phenomena arising from physics, engineering, astrophysics, geophysics. One feature is that they take place at different time and length scales and it is important to understand which phenomena occur according to the use of single scales or to the interactions of them. From a mathematical point of view, these various physical behaviours give rise to different singular limits and, consequently to a different analysis of the asymptotic state of the governing equations. In this paper we will analyse a very simplified model given by a linearised continuity equation and by the classical momentum equation which include terms that take into account of rotation and we will show, according to the values of different scales, that the asymptotic behaviour of the model will be those of an incompressible fluid or of a geostrophic flow. Finally we point out, that the set of equations analysed in the paper may also fit in the artificial compressibility approximation methods.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we analyse a simplified fluid dynamical model given by a linearised continuity equation and by the classical momentum equation which includes a terms that takes into account of rotation and we show, according to the values of different scales, that the asymptotic behaviour of the model will be those of an incompressible fluid or of a geostrophic flow. The model under consideration is given by
where \(x\in \Omega \subset \mathbb {R}^{3}\), \(t\ge 0\), \({\textbf{u}^{\varepsilon }}\) is the fluid velocity and p is the pressure, \(\textbf{g}=(0,0,1)\) is the rotation axis parallel to the vertical variable \(x_{3}\) and \(\beta >1\) or \(\beta =1/2\). The aim of this paper is to perform a rigorous analysis of the singular limit as \(\varepsilon \rightarrow 0\).
1.1 Motivation
The interest in studying the system (1) lies in the fact that, according to the physical model we are considering, it can be regarded in various ways and it can be considered as a toy model to understand the asymptotic equations resulting from different time and space scales.
As is well known, a very simple model for a rotating fluid is given by the incompressible Navier Stokes equations where to the momentum equation a term that considers the Coriolis effects is added. To be more precise a rotating fluid is characterised by the Rossby number Ro that takes into account the Coriolis effect and, for example, it can be used to model the oceans or atmosphere dynamics and meteorological phenomena. If we denote by U, L, T the characteristic fluid velocity, length and time scale respectively and by \(g_{ref}\) the local vertical component of the earth’s rotation and we scale the equation in order to work in non dimensional setting, we have that the set of equations is given by:
where we set equal to one the Strouhal and Reynolds number, Ma stands for the Mach number and the Rossby number Ro is given by the formula
Keeping Ma fixed, performing the limit as \(Ro\rightarrow 0\) means that the scale motion of the fluid is much smaller than that of the earth. Despite the fact that there is a large literature concerning theoretical results for the above model (see [1, 15, 16]), the incompressibility constraint \(\mathop {\textrm{div}}\textbf{u}=0\) from a computational point of view is very expensive. In fact discretisation errors accumulate at each iteration and after a significant amount of error accumulation, the approximating algorithm breaks down ([23]). Moreover, the incompressibility assumption may be not very realistic in modelling many physical phenomena. A way to overcome these computational difficulties and, at the same time, to have a simple model, is to construct a family of perturbed equations. Indeed one takes the compressible Navier Stokes system with density \(\varrho \) and pressure \(p=p(\varrho )\) and linearises it around a constant density state that for simplicity we can take as \(\varrho =1\). Then, the linearised continuity equation assumes the form
where Ma is the Mach Number given by
The Eq. (2) is a “linearised” compressibility condition, namely we added to the incompressible constraint \(\mathop {\textrm{div}}\textbf{u}=0\) an “artificial compressibility” term \(Ma\partial _{t} p\) that vanishes as \(Ma\rightarrow 0\). This approximation method goes under the name of artificial compressibility method and was introduced by Chorin [2, 3], Temam [21, 22] and Oskolkov [18]. If in (1) we set the Rossby number equal to \(Ro=\varepsilon \) and the Mach number as \(Ma=\varepsilon ^{2\beta }\) then, the system (1) is nothing else than the artificial compressibility approximation for a rotating fluid. Notice that the first equation of the system (1) compared to the momentum equation in the incompressible Navier Stokes equations has the extra term \(-1/2(\mathop {\textrm{div}}u^{\varepsilon })u^{\varepsilon }\) which in the artificial compressible method is added as a correction to avoid the paradox of an increasing kinetic energy along the motion. Now, one of the main issue is to investigate in a rigorous way the limit as \(\varepsilon \rightarrow 0\).
In the case we do not consider rotating terms, hence the singular limit is due only to the Mach number, the convergence of the artificial compressibility system to the incompressible Navier Stokes equation has been proved in several papers. In [21,22,23] the convergence is studied on bounded domains, while in [10,11,12] in the case of the whole space \(\mathbb {R}^{3}\) and of the exterior domain. There are also some other results, where the artificial compressibility approximating system has been modified in a suitable way, for the Navier Stokes Fourier system in \(\mathbb {R}^{3}\) in [6], for the MHD system in [7] and Navier–Stokes–Maxwell–Stefan system in [8].
In this paper compared to the previous mentioned paper we have an additional difficulty in the limit analysis because of the rotating term and the vanishing Rossby number. We will clarify this issue in the next Sect. 1.2.
However, we can look at the system (1) from a different point of view. As is well known, fluid dynamic equations are used to model various phenomena arising from physics, engineering, astrophysics. One of the models for atmosphere flows is given by the classical compressible fluid equation which include terms that take into account gravitation and rotation (see [17]). One feature of the atmospheric flows is that they take place at different time and length scales and it is important to understand which phenomena occur according to the use of single scales or to the interactions of them (i.e. internal gravity waves, Rossby waves, cloud formation). From a mathematical point of view, these various physical behaviour give rise to different singular limits and to different asymptotic behaviours of the governing equations.
A simplified set of equations (in the sense that we don’t take into account temperature effects) that describes the atmosphere flow is given by
with
and \({{\textbf{T}}=t_{ref}/\epsilon ^{\alpha _{t}}}\)] the characteristic time, with \(\alpha _{t}>0\), \({{\textbf{L}}=l_{ref}/\epsilon ^{\alpha _{x}}}\)] the characteristic length \(\alpha _{x}>0\), where \(\epsilon \) is the ratio between the thermal wind velocity \(u_{ref}\) and the internal wave speed \(c_{int}\), \(l_{ref}=h_{sc}\), \(t_{ref}=h_{sc}/u_{ref}\) and \(h_{sc}\) is the density scale height. Moreover \(\mathbf {Q_{u}}\) and \(\mathbf {Q_{\pi }}\) are source terms and we assume that they have an appropriate high order in \(\epsilon \) to not affect the leading order asymptotic analysis, see [17].
From the previous equations it is clear that according to the different values of \(\alpha _{x}\), \(\alpha _{t}\), \(\alpha _{\pi }\) we obtain a hierarchy of models that corresponds to the undergoing physical process of multiple-scale regime. In particular, if we focus on the so called advection timescales, that is \(\alpha _{x}=\alpha _{t}\), we can observe that for \(0\le \alpha _{\pi }\le 3\), \(\alpha _{\pi }\ne 2\) we get as the leading order equations the classical incompressible Navier Stokes equations. On the other hand if, in the advection time scale regimes we take \(\alpha _{x}=\alpha _{t}=2\) and we balance the Coriolis and the pressure gradient terms by taking \(\alpha _{\pi }=2\) we find out that the leading order dynamics is given by the geostrophic balance which corresponds to the quasi-geostrophic model in meteorology. The rigorous proof of those asymptotic behaviours cannot be performed with standard compactness methods since there are many competing processes that take place at the same time. One way to investigate and to go mathematically inside those behaviours is to work with a simplified model which includes the main feature of those singular limits. As we will better see in the next Sect. 1.2, the systems (1) serves as simplified model for the previous cases, in particular the case \(\beta >1\) corresponds to the first regime while \(\beta =1/2\) is the geostrophic balance regime.
1.2 Formal Limit Analysis and Main Mathematical Difficulties
As already mentioned in the Sect. 1.1 in the system (1) we can consider \(\varepsilon ^{2\beta }\) as the Mach Number Ma and \(\varepsilon \) as the Rossby number Ro and our purpose is to investigate the limit as \(\varepsilon \rightarrow 0\). Clearly, in this scenario, we have the competition of two effects that act simultaneously. If we consider the low Mach number limit which corresponds to the physical state in which the fluid speed is much smaller than the sound speed, the fluid density becomes constant, the velocity is soleinoidal and the fluid is incompressible. Low Rossby number corresponds to fast rotation and, from experimental data, a high rotating fluid becomes planar. Therefore we have to distinguish two cases according to the different values of \(\beta \):
- \({[\varvec{\beta }>1]}\):
-
As \(\varepsilon \rightarrow 0\) first, the low Mach number regime dominates and the fluid becomes incompressible then, it stabilises to a planar flow and so we and up with an incompressible planar fluid which, if we denote by \(\textbf{u}\) the limiting velocity, is described formally by the set of equations
$$\begin{aligned} \partial _{t}\textbf{u}+\textbf{u}\cdot \nabla \textbf{u}-\Delta \textbf{u}=\nabla \pi , \quad \mathop {\textrm{div}}\textbf{u}=0. \end{aligned}$$(3) - \({[\varvec{\beta }=\frac{1}{2}]}\):
-
As \(\varepsilon \rightarrow 0\) the speed of rotation and the incompressibility act on the same scale, so the fluid becomes solenoidal and planar at the same time and we end up, at least formally, with a single linear equation given by
$$\begin{aligned} {} \textbf{g}\times \textbf{u}+\nabla \pi =0,\quad \mathop {\textrm{div}}\textbf{u}=0. \end{aligned}$$(4)The Eq. (4) describe the geostrophic balance, but from them it is not possible to determine the time evolution of the flow, so we have to find a more complete description of the limiting behaviour. Formally, this can be done by setting up an asymptotic expansion and, by looking at high order of \(\varepsilon \), one obtains the following flow evolution (for more details on this formal derivation see [17]),
$$\begin{aligned} \partial _{t}(\nabla _{h}\pi -\pi )+\nabla _{h}^{\bot }\pi \cdot \nabla _{h}(\Delta _{h}\pi )=\Delta _{h}^{2}\pi . \end{aligned}$$
When we try to make rigorous the previous analysis, one of the main problems is that, as \(\varepsilon \rightarrow 0\), the velocity field develops very fast oscillating waves in time (the so called acoustic waves). These waves are supported by the gradient part of the velocity field, they propagate along the motion and give rise to the loss of compactness for the nonlinear terms. It is quite obvious that if we take the initial data constructed in such a way that they are supported in the kernel of the acoustic wave operator, namely “well-prepared initial data” the limiting process is not affected by these waves.
In this paper we set the domain to be an infinite slab and we take very general initial data, we only require the boundedness of the initial energy and therefore we have to deal with the presence of the acoustic waves. Given the domain geometry, we expect that at a certain time these waves will loose and disperse their energy in the space domain. So, in order to control the oscillations we will develop a rigorous and detailed analysis of the local decay and dispersive behaviour of these waves.
This analysis will be different according to the different values of \(\beta \). In fact we have to consider the dispersive behaviour of the acoustic waves and at the same time the fact that the fluid is under the effects of the centrifugal force that becomes large as \(\varepsilon \rightarrow 0\). For these reasons we cannot use classical dispersive estimate of Strichartz type as in [10]. To be precise, as \(\beta >1\) the decay of the acoustic wave is strong enough to eliminate the centrifugal force and we will perform some rigorous decay estimate of the acoustic waves in the spirit of D’Ancona and Racke [5] and Sogge [20], see also [9]. If \(\beta =1/2\) then, the incompressible regime and the high rotation occur at the same scale, we cannot exploit the local decay of the oscillating waves but we have to analyse the spectral properties of the rotating operator. We have to show that the fast oscillating parts of the gradient live in the space orthogonal to the kernel of the rotating operator and so they don’t affect our limiting process. The basic tool in this case will be the RAGE theorem which relates the solutions long time behaviour and the spectral properties of the corresponding operator see for example [9].
1.3 Plan of the Paper
In Sect. 2 we set the problem, we define the notion of weak solutions we are going to use and we state the main results of this paper, Theorems 2.2 and 2.3. In Sect. 3 we perform the uniform a priori estimate (with respect to \(\varepsilon \)) satisfied by the solutions of the system (1) for any \(\beta > 1\) and \(\beta =1/2\). In Sect. 4 we perform the limit analysis for the case \(\beta > 1\) and we prove the Theorem 2.2. Finally, in Sect. 5, we deal with the case \(\beta =1/2\) and we prove the Theorem 2.3.
2 Setting of the Problem and Main Results
2.1 Notation
We fix here the main notations we are going to use through the paper.
-
\(C^{\infty }_{0}([0,T)\times \Omega )\) is the space of \(C^{\infty }\) functions with compact support.
-
\(W^{k,p}(\Omega )\) is the usual Sobolev space on \(\Omega \) and \(H^{k}(\Omega )=W^{k,2}(\Omega )\).
-
The notations \(L^{p}_{t}L^{q}_{x}\) and \(L^{p}_{t}W^{k,q}_{x}\) will abbreviate respectively the spaces \(L^{p}([0,T);L^{q}(\Omega ))\), and \(L^{p}([0,T);W^{k,q}(\Omega ))\).
-
Q and P are the Leray’s projectors on the space of gradients vector fields and on the space of divergence - free vector fields respectively, namely
$$\begin{aligned} P=I-Q.\end{aligned}$$ -
\(\nabla ^{\bot }_{h}f\) denotes the vector \((\partial _{x_{2}}f, -\partial _{x_{1}}f)\). The differential operators \(\nabla _{h}\), \({\mathop {\textrm{div}}}_{h}\), \(\Delta _{h}\) denote the usual \(\nabla \), \({\mathop {\textrm{div}}}\), \(\Delta \) applied on the horizontal variables \(x_{h}=(x_{1}, x_{2})\).
-
For a function f the vertical average on the one dimensional torus \({\mathbb {T}}^{1}\) is defined by
$$\begin{aligned}\langle f(x_{h})\rangle =\frac{1}{|{\mathbb {T}}^{1}|}\int _{{\mathbb {T}}^{1}}f(x_{h},x_{3})dx_{3}.\end{aligned}$$
2.2 Setting of the Problem
We consider the following system
where \(x\in \Omega \subset \mathbb {R}^{3}\), \(t\ge 0\), \(\mu \in \mathbb {R}\) and \(\textbf{g}=(0,0,1)\) is the rotation axis parallel to the the vertical variable \(x_{3}\). The geometry of the physical space \(\Omega \) is given by an infinite slab,
and we will denote the horizontal variable as \(x_{h}=(x_{1}, x_{2})\).
For the velocity field \({\textbf{u}^{\varepsilon }}\) we assume the complete slip boundary conditions
where \(\textbf{n}\) denotes the outer normal vector to the boundary and \(\mathbb {S}\) is the viscous stress tensor given by
From now on, without loss of generality, for simplicity we set \(\mu =1\).
In order do deal with the boundary conditions (6) it is more convenient to reformulate the state variable in a periodic setting for the variable \(x_{3}\). In fact we will take
where \(\mathbb {T}^{1}\) is the one dimensional torus and where the pressure is extended even in the third variable,
as well as the horizontal component of the velocity \({\textbf{u}}^{\varepsilon }_{h}=(u^{\varepsilon }_{1},u^{\varepsilon }_{2})\),
while the vertical component \(u^{\varepsilon }_{3}\) is taken odd,
Furthermore we assign to the system (5) the following initial conditions
The regularity and the limiting behaviour as \(\varepsilon \rightarrow 0\) of the initial data (7) deserve a little discussion. Indeed the system (5) requires the initial conditions (7) while the target Eqs. (3) and (4) require only the initial condition for the velocity \(\textbf{u}\). Hence, our approximation will be consistent if the initial datum on the pressure \(p^{\varepsilon }\) will be eliminated by an “initial layer” phenomenon. Since we deal with weak solutions in the sense of the Definition 2.1 it is reasonable to require the finite energy constraint to be satisfied by the approximating sequences \(({\textbf{u}^{\varepsilon }}, p^{\varepsilon })\). So we can deduce a natural behaviour to be imposed on the initial data \((\textbf{u}^{\varepsilon }_{0}, p^{\varepsilon }_{0})\), namely
For completeness we recall the notion of weak solutions for the system (5) we are going to use.
Definition 2.1
We say that a pair \({\textbf{u}^{\varepsilon }}, p^{\varepsilon }\) is a weak solution to the system (5) in \((0,T)\times \Omega \) if \(u^{\varepsilon }\in L^{\infty }([0,T];L^{2}(\mathbb {R}^{3}))\cap L^{2}([0,T];\dot{H}^{1}(\mathbb {R}^{3})) \). \(p^{\varepsilon }\in L^{\infty }([0,T];L^{2}(\mathbb {R}^{3}))\) and they satisfy (5) in the sense of distributions, namely
for any \(\varphi \in C^{\infty }_{0}([0,T)\times \Omega ;\mathbb {R}^{3})\) and
for any \(\varphi \in C^{\infty }_{0}([0,T)\times \Omega )\). Moreover the following energy inequality holds
The proof of the existence of global in time weak solutions for (5) is omitted since, in the spirit of Temam (see Chapter III, Theorem 8.1 in [23]), it follows by standard finite dimensional Galerkin type approximations with the necessary modification due to the domain \(\Omega \).
2.3 Main Results
Now we are ready to state the main results of this paper.
Theorem 2.2
[(Case \(\varvec{\beta }\ge 1\))]. Assume that \({\textbf{u}^{\varepsilon }}, p^{\varepsilon }\) are weak solutions of the system (5) with initial data (7) satisfying (8), then there exists \(\textbf{u}\in L^{2}(0,T;W^{1,2}(\Omega ))\), such that
where \(\textbf{u}=[\textbf{u}_{h}(t,x_{h}),0]\) is the unique weak solution of the 2D incompressible Navier Stokes equation
Theorem 2.3
[(Case \(\varvec{\beta }=1/2\))]. Assume that \({\textbf{u}^{\varepsilon }}, p^{\varepsilon }\) are weak solutions of the system (5) with initial data (7) satisfying (8), then there exists \(\textbf{u}\in L^{2}(0,T;W^{1,2}(\Omega ))\), \(\pi \in L^{\infty }(0,T;L^{2}(\Omega ))\)such that
where \(\textbf{u}\) and \(\pi \) satisfy
and \(\pi \) is a solution in the sense of distribution of the equation
Concerning the limiting Eqs. (13) and (19) it is important to remark that in the geostrophic balance regime the acoustic waves are asymptotically filtered out. This type of phenomenon corresponds to quasi-geostrophic regime with the advection timescale.
3 Energy Estimate and Uniform Bounds
We define the energy functional associated to the system (5) as
By standard computations it is straightforward to prove that the weak solutions of the system (5), satisfy the energy inequality
As a consequence of (20) we obtain the following uniform bounds
By combining (20) with standard Sobolev embeddings we deduce that
Using together (22) and (23) we have that
We point out that the previous estimates are uniform in \(\varepsilon \) and hold for any value of \(\beta >0\).
4 Case \(\beta >1\)
This section is devoted to the analysis of the limiting behaviour as \(\varepsilon \rightarrow 0\) in the case \(\beta > 1\). As a first step we recover the convergence results that follows from the bounds of the previous Sect. 3. Then, as already mentioned in the introduction we have to deal with the high oscillations of the acoustic waves. Since these waves are supported by the gradient part of the velocity, we decompose the velocity in its gradient and soleinoidal part and, since the domain \(\Omega \) is infinite, we will be able to get decay estimates for the acoustic potential (gradient part of the velocity). As a last step we deal with the convergence of the velocity divergence free part and, in order to get the strong convergence, we estimate the vertical average and the oscillations of the solenoidal component of \({\textbf{u}^{\varepsilon }}\).
4.1 First Convergence Results
From (22) and (23) we have that
Hence, by taking into account (21) and (25), and letting \(\varepsilon \rightarrow 0\) in (5\(_{2}\)) we obtain
Moreover, if we apply the Leray projector P on (5\(_{1}\)), as \(\varepsilon \rightarrow 0\) we have
from which it follows that \(\textbf{g}\times \textbf{u}= \nabla G\), for a certain potential G. As a consequence, the limiting velocity horizontal component \(\textbf{u}_{h}=(u_{1}, u_{2})\) does not depend on the vertical variable \(x_{3}\), then by using (26), we have that \(\partial _{x_{3}}u_{3}=0\). If we take into account the boundary condition (6) and the fact that \(\textbf{u}\in L^{2}_{t}L^{2}_{x}\) we can conclude that
Now, if we choose a test function of the form \(\varphi (x,t)=(\varphi _{h}(t, x_{h}),0)\), \(\mathop {\textrm{div}}\varphi =0\), it is possible to pass into the limit in the weak formulation of (5\(_{1}\)), provided we know how to handle the nonlinear terms \(({\textbf{u}^{\varepsilon }}\cdot \nabla ) {\textbf{u}^{\varepsilon }}\), \({\textbf{u}^{\varepsilon }}\mathop {\textrm{div}}{\textbf{u}^{\varepsilon }}\). In the next section, by studying separately the gradient and solenoidal part of \({\textbf{u}^{\varepsilon }}\), we will get stronger convergence results.
4.2 Acoustic Equation and Estimates
In this section we will analyse the behaviour of the acoustic waves in order to control their fast oscillation in time. To this end we rewrite the system (5) in the following form
We can observe that the underlying structure of the system (28) is that of a wave equation in fact it goes under the name of acoustic wave system. In order to simplify the notations we rewrite (28) as
where by taking into account (22)–(24) we have \(\mathbb {F}^{\varepsilon }_{1}\in L^{\infty }_{t}L^{2}_{x}\), \(\mathbb {F}^{\varepsilon }_{2}\in L^{2}_{t}L^{2}_{x}\), \(\mathbb {F}^{\varepsilon }_{3}\in L^{2}_{t}L^{1}_{x}\), uniformly in \(\varepsilon \). Since the equations in (29) are satisfied only in a weak sense it is more convenient to regularise them in order to deal with smooth solutions. To this purpose, given a function v, and \(j_{\delta }\) a standard Friedrich’s mollifier we denote by
the regularised function. Having in mind these notations we regularise the system (29) and we get
where, for the right hand side of (30\(_{2}\)) the following uniform bounds in \(\varepsilon \) hold
Since the acoustic waves are supported by the gradient part of the velocity fields, we decompose \({\textbf{u}^{\varepsilon ,\delta }}\) in the following way
where \({\textbf{Z}^{\varepsilon ,\delta }}=P{\textbf{u}^{\varepsilon ,\delta }}\), \(\nabla \Psi ^{\varepsilon ,\delta }=Q{\textbf{u}^{\varepsilon ,\delta }}\) and we rewrite (30) in terms of the acoustic potential \(\Psi ^{\varepsilon ,\delta }\),
Now it is evident that to estimate \(\Psi ^{\varepsilon ,\delta }\) we have to exploit the dispersive behaviour of the system (32), (33) from which we will deduce the local decay of the acoustic potential. So we recall here the following lemma for the proof of which see Feireisl et al. [14] or D’Ancona and Racke [5].
Lemma 4.1
Consider \(\varphi \in C^{\infty }_{0}(\mathbb {R}^{2})\). Then we have
Moreover, on any compact set \(K\subset \Omega \), \(m>0\), we have
and
By means of Duhamel’s formula the gradient of the solution \(\Psi ^{\varepsilon ,\delta }\) of (33) is given by
Now, by applying (35) and (36) with \(m=2\beta \) we have the following uniform in \(\varepsilon \) decay estimate for the acoustic potential,
for any compact set \(K\subset \Omega \) and \(\beta \ge 1\). Hence, we can conclude that the effects of the acoustic potential vanishes as soon as \(\varepsilon \rightarrow 0\), so the limiting behaviour of the system (5) depends only on the soleinoidal component of the velocity field. Finally, we point out that, at this stage, in order to have a negligible effect of the acoustic potential, it is enough to require \(\beta >1/2\).
4.3 Convergence of the Soleinoidal Part of the Velocity
From the previous section we understood that the asymptotic behaviour of the system (5) depends on the solenoidal part of \({\textbf{u}^{\varepsilon ,\delta }}\), hence in this section we will focus on \({\textbf{Z}^{\varepsilon ,\delta }}=P{\textbf{u}^{\varepsilon ,\delta }}\). Since in the Sect. 4.1 we have proved that \({\textbf{u}^{\varepsilon ,\delta }}\) converges to a function \(\textbf{u}\) which depends only on the horizontal variables, in order get the strong convergence of \(P{\textbf{u}^{\varepsilon ,\delta }}\) a first step is to establish the compactness of the vertical average of \({\textbf{u}^{\varepsilon ,\delta }}\). Therefore we rewrite the equation for \({\textbf{u}^{\varepsilon ,\delta }}\) as follows
where
and \(\textbf{S}^{\varepsilon ,\delta }\) is bounded in \(L^{2}_{t}H^{k}_{x}\), for any fixed k and \(\delta \). We take now the vertical average of (38),
Since \({\textbf{Z}^{\varepsilon ,\delta }}\) is soleinoidal one can easily check that \(P(\textbf{g}\times \langle {\textbf{Z}^{\varepsilon ,\delta }}\rangle )=0\). Hence, by taking a test function \(\varphi \in C^{\infty }_{0}(\Omega ;\mathbb {R}^{3})\), \(\mathop {\textrm{div}}\varphi =0\) in the weak formulation of (39) we obtain
If we use (37) and taking into account that \(\beta >1\), by applying Lions Aubin Lemma arguments (see [19]) we can conclude that
for any compact set \(K\subset \Omega \) and any fixed \(\delta \). It is worthful to remark that at this step it is crucial (37) and here to estimate the last term in the right hand side of (40) we need the restriction \(\beta >1\) for the constant \(\beta \) . Finally, in order to get the limiting behaviour of \({\textbf{Z}^{\varepsilon ,\delta }}\) it is fundamental to control some possible oscillations.
Since we proved that the horizontal component of \({\textbf{u}^{\varepsilon ,\delta }}\) is compact we can infer that the oscillations are due to the vector fields that depends on \(x_{3}\). In the remaining part of this section we will study and estimate these oscillations and we will show that they don’t interfere in the convergence of the nonlinear terms. For any function f we denote the oscillation as
Notice that \(\{f\}(x)\) has zero vertical mean and so it can be written for some function I as
Then we define for any \(i,j=1,2,3\)
From (39) we have that \(\omega ^{\varepsilon , \delta }_{i,j}\) satisfy the following equations
Now by using the decomposition (31) we rewrite the nonlinear terms of the system (5) as,
By taking into account the local decay (37) of the acoustic potential we see that the only term of (45) who requires a detailed analysis is
Since the first term in the right hand side of (46) is a gradient we focus on the second term,
The first term of the right hand side of (47) is compact because of (41), the second term has zero vertical mean, hence we have to study carefully only the last one. For any \(j=1,2,3 \) we have
From the relations (42)–(44) it is easy to obtain,
Now we compute the three functions in (48) in terms of the functions \(\omega ^{\varepsilon , \delta }_{i,j}\), we start with \(j=1\),
Now, if in the relation (51) we use (49) and (50) and we take into account (37) and that \(\textbf{S}^{\varepsilon ,\delta }\) is bounded in \(L^{2}_{t}H^{k}\) for any fixed k and \(\delta \), by performing the same type of computation for any \(j=1,2,3\) we have, as \(\varepsilon \rightarrow 0\) (for more details see [16] or [14]),
for any fixed \(\delta >0\) and for any \(\varphi =(\varphi _{h}(t,x_{h}),0)\), \(\varphi _{h}\in C^{\infty }_{0}([0,T]\times \mathbb {R}^{2};\mathbb {R}^{2})\), \({\mathop {\textrm{div}}}_{h}\varphi _{h}=0\).
4.4 Proof of the Theorem 2.2
In oder to conclude the proof of the Theorem 2.2 we just need to decompose the nonlinear term \({\textbf{u}^{\varepsilon }}\cdot \nabla {\textbf{u}^{\varepsilon }}=\mathop {\textrm{div}}({\textbf{u}^{\varepsilon }}\otimes {\textbf{u}^{\varepsilon }})-{\textbf{u}^{\varepsilon }}\mathop {\textrm{div}}{\textbf{u}^{\varepsilon }}\) as follows
and to combine the convergence analysis of the previous section with the estimate
The final step in the proof of the Theorem 2.2 is to use in the weak formulation (9) a solenoidal test function \(\varphi \in C^{\infty }_{0}([0,T]\times \mathbb {R}^{2};\mathbb {R}^{3})\), of the form \(\varphi =(\varphi _{h}(t,x_{h}),0)\) and send \(\varepsilon \rightarrow 0\). The only term that deserves some attention is the rotating one, that we handle in the following way,
By using together that \(P(\textbf{g}\times \langle \textbf{Z}^{\varepsilon }\rangle )=0\), \(\{ \textbf{Z}^{\varepsilon }\}=\partial _{x_{3}} I(x)\), with \(\displaystyle { \int _{\mathbb {T}^{1}}I(x)dx_{3}=0}\) while \(\varphi \) depends only on \(x_{h}\) and the decay (37) for \(\nabla \Psi ^{\varepsilon }\) we obtain the convergence to zero of the rotating term as \(\varepsilon \rightarrow 0\).
5 Case \(\beta =1/2\)
In this section we investigate the case \(\beta =1/2\), where the system reads as follows
As we will see in the next sections, in this case, the fast rotation of order \(1/\varepsilon \) due to the Coriolis force prevails on the low Mach number regime.
5.1 Preliminary Convergence Results
As before, from the uniform energy bounds (21)–(24), we have
Letting \(\varepsilon \rightarrow 0\) in (53\(_{2}\)) we obtain
Now, if we send \(\varepsilon \) to zero in (53\(_{1}\)) we have
and similarly as in Sect. 4.1 we may infer that \(\pi \) is independent from the third variable \(x_{3}\) and also \(\textbf{u}_{h}=(u_{1}, u_{2})\) doesn’t depend on the vertical variable \(x_{3}\), moreover \(\mathop {\textrm{div}}\textbf{u}_{h}=0\). This fact together with the boundary conditions (6) and the \(L^{2}\) bound for \(\textbf{u}\) yields the conclusion
Since, also for the case \(\beta =1/2\), we are in the framework of a low Mach number limit with ill prepared initial data, in order to establish the convergence of the nonlinear terms in (53\(_{1}\)) we have to investigate the acoustic waves behaviour. This will be done in the next section.
5.2 Analysis of the Acoustic Propagator
We start by writing the system (53) as follows,
Then, the acoustic system is given by
where by taking into account (22)–(24) we have \(\mathbb {G}^{\varepsilon }_{1}\in L^{2}_{t}L^{2}_{x}\), \(\mathbb {G}^{\varepsilon }_{2}\in L^{2}_{t}L^{1}_{x}\). Obviously the system (59) has to be read in its weak formulation, namely for any test function \(\varphi \in C^{\infty }_{c}([0,T)\times {\overline{\Omega }})\) it holds
and for any test function \(\varphi \in C^{\infty }_{c}([0,T)\times {\overline{\Omega }};\mathbb {R}^{3})\) we get
where
To study the behaviour of the acoustic system we formally define on \(L^{2}(\Omega )\times L^{2}(\Omega ;\mathbb {R}^{3})\) the operator \({\mathcal {W}}\) as
The operator \({{\mathcal {W}}}\) is the so called the acoustic propagator and the goal of this section is to prove that the component of the vector \((p^{\varepsilon }, {\textbf{u}^{\varepsilon }})\) orthogonal to the null space of \({{\mathcal {W}}}\) decays to zero as \(\varepsilon \rightarrow 0\). Indeed, if this is the case, the velocity field is not affected by the fast oscillations of the acoustic waves since they are killed by the fast decay to zero. In order to achieve this goal we perform a spectral analysis of \({{\mathcal {W}}}\).
It is a straightforward computation to deduce that the null space of \({{\mathcal {W}}}\) is given by the set
To study the point spectrum of the operator \({\mathcal {W}}\) it is more convenient to work in the frequency space. For a function w, the Fourier transform \({\hat{w}}\) with respect to the space variables is defined as,
where
The eigenvalues problem for \({{\mathcal {W}}}\) is set as follows,
which in Fourier variables has the form
After some standard computations we obtain
From (64) we deduce that the only real eigenvalue is \(\lambda =0\) that we obtain for \(k=0\) and, as a consequence, we have that the space of eigenvectors of \({{\mathcal {W}}}\) coincides with the \(Ker({{\mathcal {W}}})\) defined in (63). To prove that the components of \((p^{\varepsilon },{\textbf{u}^{\varepsilon }})\) orthogonal to \(Ker({{\mathcal {W}}})\) decay to zero we use the RAGE theorem that we state in the following form (see Cycon et al. [4, Theorem 5.8] or [13]):
Theorem 5.1
Let H be a Hilbert space, \({A}: {{{\mathcal {D}}}}({A}) \subset H \rightarrow H\) a self-adjoint operator, \(C: H \rightarrow H\) a compact operator, and \(P_c\) the orthogonal projection onto \(H_c\), where,
Then
Remark 5.2
If the operator C is non-negative and self-adjoint in H, then we have
where \(\omega ({\varepsilon })\rightarrow 0\), as \(\varepsilon \rightarrow 0\). If we take \(Y=P_{c}X\) we get
and for any \(X\in L^{2}(0,T;H)\) we have
For more details see [9] or [13].
We apply the RAGE Theorem 5.1 in the case where the Hilbert space H is
and the operators A, C, considered on the space \(H_{M}\) are given by
where
denotes the orthogonal projection into \(H_{M}\). If we denote by \(p^{\varepsilon }_{M}\), \({\textbf{u}}^{\varepsilon }_{M}\) the orthogonal projection of \(p^{\varepsilon }\) and \({\textbf{u}^{\varepsilon }}\) into \(H_{M}\) respectively and we apply the projector \(P_{M}\) to the acoustic system (59) we get
and \(\mathbb {G}_{\varepsilon ,M}\in H_{M}\). Moreover, taking into account (22) and (24), we have the following uniform bound in \(\varepsilon \)
By using Duhamel’s formula, the solutions of (68) are given by,
Now we denote by Q the orthogonal projection into \(Ker({\mathcal {W}})\),
and we recall that the point spectrum of \({\mathcal {W}}\), hence of the operator A is reduced to 0. By applying (66) and (67) we get
for any compact set \(K\subset {\overline{\Omega }}\) and fixed M.
From (69) we obtain
where \(\pi \) and \(\textbf{u}\) are the limits defined in (55) and (54).
5.3 Proof of the Theorem 2.3
Now we are ready to prove the Theorem 2.3. By combing together (70) and (71) we have
for any compact set \(K\subset \Omega \) and fixed M. Finally (72) with (54) and the compact embedding of \(W^{1,2}(K)\) in \(L^{2}(K)\) gives
Having established the convergences (73) and (55) we can pass into the limit in the weak formulation of (53). For the Eq. (53)\(_{1}\) we use a test function \(\varphi \in C^{\infty }_{c}([0,T)\times \Omega ;\mathbb {R}^{3})\) of the form \(\varphi =(\nabla ^{\bot }_{h}\psi ,0)=(\partial _{x_{2}}\psi , -\partial _{x_{1}}\psi ,0)\), \(\psi \in C^{\infty }_{c}([0,T)\times \Omega )\), hence we have
By combining together (74) with
and by performing the limit as \(\varepsilon \rightarrow 0\) we obtain,
Finally, since from (57) we have \(\textbf{u}=\nabla ^{\bot }_{h}\pi \) and, recalling that \(\textbf{u}\) and \(\pi \) are independent on the variable \(x_{3}\), from (76) we get
which is the Eq. (19) in the sense of distribution.
References
Chemin, J.-Y., Desjardins, B., Gallagher, I., Grenier, E.: Mathematical Geophysics—An Introduction to Rotating Fluids and the Navier–Stokes Equations. Clarendon Press, Oxford (2006)
Chorin, A.J.: Numerical solution of the Navier–Stokes equations. Math. Comp. 22, 745–762 (1968)
Chorin, A.J.: On the convergence of discrete approximations to the Navier–Stokes equations. Math. Comp. 23, 341–353 (1969)
Cycon, H.L., Froese, R.G., Kirsch, W., Simon, B.: Schrödinger Operators: with Applications to Quantum Mechanics and Global Geometry, Texts and Monographs in Physics. Springer, Berlin (1987)
D’Ancona, P., Racke, R.: Evolution equations in non-flat waveguides. Arch. Rational Mech. Anal. 206, 81–110 (2012)
Donatelli, D.: On the artificial compressibility method for the Navier Stokes Fourier system. Quart. Appl. Math. 68, 469–485 (2010)
Donatelli, D.: The artificial compressibility approximation for MHD equations in unbounded domain. J. Hyperb. Differ. Equ. 10, 181–198 (2013)
Donatelli, D., Dolce, M.: Artificial compressibility method for the Navier–Stokes–Maxwell–Stefan system. J. Dynam. Differ. Equ. 33, 35–62 (2021)
Donatelli, D., Feireisl, E., Novotný, A.: On the vanishing electron-mass limit in plasma hydrodynamics in unbounded media. J. Nonlinear Sci. 22, 985–1012 (2012)
Donatelli, D., Marcati, P.: A dispersive approach to the artificial compressibility approximations of the Navier Stokes equations in 3d. J. Hyperb. Differ. Equ. 3, 575–588 (2006)
Donatelli, D., Marcati, P.: Leray weak solutions of the incompressible Navier Stokes system on exterior domains via the artificial compressibility method. Indiana Univ. Math. J. 59, 1831–1852 (2010)
Donatelli, D., Spirito, S.: Weak solutions of Navier–Stokes equations constructed by artificial compressibility method are suitable. J. Hyperb. Differ. Equ. 8, 101–113 (2011)
Feireisl, E., Gallagher, I., Novotný, A.: A singular limit for compressible rotating fluids. SIAM J. Math. Anal. 44, 192–205 (2012)
Feireisl, E., Gallagher, I., Gerard-Varet, D., Novotný, A.: Multi-scale analysis of compressible viscous and rotating fluids. Commun. Math. Phys. 314, 641–670 (2012)
Lions, P.L.: Mathematical Topics in Fluid Dynamics, Incompressible Models. Clarendon Press, Oxford Science Publications, Oxford (1996)
Gallagher, I., Saint-Raymond, L.: Weak convergence results for inhomogeneous rotating fluid equations. J. Anal. Math. 99, 1–34 (2006)
Klein, R.: Scale-dependent models for atmospheric flows. Ann. Rev. Fluid Mech. 42, 249–274 (2010)
Oskolkov, A.P.: A certain quasilinear parabolic system with small parameter that approximates a system of Navier–Stokes equations. Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 21, 79–103 (1971)
Simon, J.: Compact sets in the space \(L^p(0, T;B)\). Ann. Mat. Pura Appl. 146, 65–96 (1987)
Smith, H.F., Sogge, C.D.: Global Strichartz estimates for nontrapping perturbations of the Laplacian. Commun. Partial Differ. Equ. 25, 2171–2183 (2000)
Témam, R.: Sur l’approximation de la solution des équations de Navier–Stokes par la méthode des pas fractionnaires. I. Arch. Rational Mech. Anal. 32, 135–153 (1969)
Témam, R.: Sur l’approximation de la solution des équations de Navier–Stokes par la méthode des pas fractionnaires. II. Arch. Rational Mech. Anal. 33, 377–385 (1969)
Temam, R.: Navier–Stokes equation. Theory and numerical analysis. AMS Chelsea Publishing, Providence (2001)
Funding
Open access funding provided by Università degli Studi dell’Aquila within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there is no conflict of interest concerning this work.
Additional information
Communicated by E. Feireisl
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “In memory of Antonin Novotny” edited by Eduard Feireisl, Paolo Galdi, and Milan Pokorny. The present manuscript reflects part of the talk I gave at the workshop held in Prague in February 2019 in honour of Antonín Novotný and his sixtieth birthday. Not only was he a distinguished scholar with a deep sense of mathematics, but Antonín Novotný was also a man with an innate sense of humanity and empathy. This paper is dedicated to him.
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
Donatelli, D. On Some Singular Limits Arising in Fluid Dynamic Modelling. J. Math. Fluid Mech. 25, 21 (2023). https://doi.org/10.1007/s00021-023-00765-z
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-023-00765-z
Keywords
- Rotating fluids
- Incompressible Navier Stokes equation
- Artificial compressibility approximation
- Acoustic waves