- Research
- Open access
- Published:
Rate of convergence from the rotating Euler and shallow water equations to the rotating lake equations
Boundary Value Problems volume 2017, Article number: 10 (2017)
Abstract
The rate of convergence from the rotating shallow water and Euler equations to the rotating lake equations is obtained when the Froude number limit is considered.
1 Introduction and main results
The inviscid rotating Euler and shallow water equations read, in a bounded two- dimensional domain Ω:
with initial and boundary conditions
where \(\gamma\geq2\). In (1.1)-(1.3), the unknowns \(h^{\epsilon}= h^{\epsilon}(x,t)\) and \(u^{\epsilon}= u^{\epsilon}(x,t) = (u^{\epsilon}_{1}(x,t), u^{\epsilon}_{2}(x,t))\) denote the height of the water and the horizontal component of the fluid velocity, respectively. The orthogonal velocity is denoted by
and the strictly positive function \(h_{0} = h_{0}(x)\) describes the bottom topography. The parameter \(\epsilon> 0\) is the Froude number measuring the inverse pressure forcing. Moreover, the energy for the system (1.1)-(1.3) can be defined as follows:
where the potential energy
is a convex function with minimum occurring at \(h^{\epsilon}= h_{0}\) which satisfies \(\Phi(h^{\epsilon})\geq0\). It is easy to see that the energy inequality associated with system (1.1)-(1.3) reads
By the initial energy bound (2.1) below and the following elementary convexity inequality:
we can assume that the initial height \(h^{\epsilon}_{0}\) converges to a nonconstant function \(h_{0}(x)\) depending on the space variable, so it is reasonable to expect that, as \(\epsilon\rightarrow0\), \(h^{\epsilon}\rightarrow h_{0}\), and (1.1) yields the limit \(\operatorname {div}(h_{0}u)=0\). The corresponding rotating lake equations are
Thus, roughly speaking, it is also reasonable to expect from the mathematical point of view that the smooth solution to (1.1)-(1.3) converges in suitable functional spaces to the smooth solution of (1.8)-(1.10) as \(\epsilon\rightarrow0\), and the hydrostatic pressure π in (1.9) is the ‘limit’ of
in (1.2). This paper is devoted to the rigorous justification of the convergence of the above low Froude number limit for smooth solution of the inviscid rotating Euler and shallow water equations in a bounded two-dimensional domain Ω. We remark that the existence and uniqueness of the classical solution of the lake equations (1.8)-(1.10) have been proved in [1].
Specifically, when \(\gamma= 2\), equations (1.1)-(1.3) comprise the rotating and inviscid shallow water system which models large scale geophysical motions in a thin layer of fluid under the influence of the Coriolis rotational forcing and is commonly used in oceanography and atmospheric physics [2–5]. For the singular limit problems of the shallow water model, we refer to [6, 7].
In [8], Cheng proved the singular limits and convergence rates of compressible Euler and rotating shallow water equations (1.1)-(1.3) with \(h_{0}=1\) toward their incompressible counterparts. Recently, using the modulated energy method and by introducing a correction term which can serve as the acoustic part (density fluctuation) of the modulated energy, Wu [9] justified rigorously the convergence of the classical solution of the rotating shallow water model (1.1)-(1.3) to the classical solution of the rotating lake equations (or anelastic system) (1.8)-(1.10) when the Froude number tends to zero. However, no convergence rate was given in [9]. In this paper, our purpose is to refine the discussions in [9] and obtain the rate of convergence without introducing the correction term. Furthermore, we also prove the convergence of \(\sqrt{h^{\epsilon}}u^{\epsilon}\) to \(\sqrt{h_{0}}u\) with \(\Vert \sqrt{h^{\epsilon}}u^{\epsilon }-\sqrt{h_{0}}u\Vert ^{2} _{L^{\infty}([0,T];L^{2}(\Omega))}\leq C\epsilon^{\frac{2}{\gamma}}\), which is not contained in [9].
In the following, we describe our main result. In order to simplify the presentation, we suppose that
- \(A_{1}\)::
-
\(h^{\epsilon}_{0}\geq c>0\), \((h^{\epsilon}_{0},h^{\epsilon}_{0}u^{\epsilon}_{0}) \in H^{3}(\Omega)\times(H^{3}(\Omega))^{2}\) (ensuring the local-in-time existence of smooth solutions of system (1.1)-(1.2) and that \((h^{\epsilon}_{0},hu^{\epsilon}_{0})\) satisfy some appropriate compatibility conditions on ∂Ω);
- \(A_{2}\)::
-
\(h_{0}\geq c>0\), \(u_{0} \in(H^{3}(\Omega))^{2}, \operatorname {div}(h_{0}u_{0})=0\) (ensuring the local-in-time existence of smooth solutions of the rotating lake equations (1.8)-(1.9) and \((h_{0},u_{0})\) satisfy some appropriate compatibility conditions on ∂Ω).
For a fixed \(\epsilon>0\), the local existence and uniqueness of the classical solution of system (1.1)-(1.3) can be obtained under the assumptions \(A_{1}\) and \(A_{2}\).
Proposition 1.1
Local existence of smooth solutions. (See [10])
Let \(s \geq3\) be an integer. Under the assumptions \(A_{1}\) and \(A_{2}\), there exist \(T_{\epsilon}> 0\) and a unique smooth solution \((h^{\epsilon}, u^{\epsilon})\) to the system (1.1)-(1.3) defined in the time interval \([0,T_{\epsilon}]\), with
Now the main result of this paper reads as follows.
Theorem 1.2
Let \((h^{\epsilon},u^{\epsilon})\in H^{3}(\Omega)\times (H^{3}(\Omega))^{2}\) be the smooth solution of system (1.1)-(1.3) established in Proposition 1.1 and let u be a classical solution of the rotating lake equations (1.8)-(1.9) with the initial data \(u_{0}\) which satisfies assumptions \(A_{2}\) in \(L^{\infty}([0,T_{\ast}];H^{s}(\Omega))\) and \(T_{\ast}\) is the existence time of (1.8)-(1.9). Furthermore, we assume that the initial condition
holds for some positive constant \(C>0\). Then there exists a constant \(C>0\), independent of ϵ, such that as \(\epsilon\rightarrow0\), we have \(T_{\epsilon}\geq T_{\ast}\) and the following estimate:
for all \(T\in(0,T_{\ast}]\).
The proof of Theorem 1.2 is based on the modulated energy function. We will follow the same line as in [9]. However, to obtain the convergence rate, more delicate analyses on the energy functions are required. The next section is devoted to the rigorous proof of the main theorem.
2 Proof of the theorem
We define \(T^{\epsilon}= \min(T_{\ast}, T_{\epsilon}) > 0\) so that the exact solution and the approximate solution are both defined in the time interval \([0,T^{\epsilon}]\).
From the energy (1.4) and the energy equality (1.6), we have
Therefore, from (1.7), we have the following properties:
Thus from (2.3), we have
In fact, we will find that \(\Vert h^{\epsilon}-h_{0}\Vert _{L^{\infty}([0,T^{\epsilon}];L^{\gamma}(\Omega ))}\rightarrow0\) has a faster rate of convergence.
Now we define the modulated energy functional \(\mathcal {H}^{\epsilon}(t)\) as follows:
where u is the classical solution of the rotating lake equations (1.8)-(1.10). To derive the integration inequality for \(\mathcal{H}^{\epsilon}(t)\), we use u as a test function in equation (1.2) to yield the following equality:
From (1.8)-(1.9), we find the energy identity of the rotating lake equations:
which implies that
Using (2.6)-(2.7) and the energy inequality (1.4), by integration by parts, we can calculate \(\mathcal {H}^{\epsilon}(t)\) as follows:
where
It is noted that the first two terms on the right hand side of the above inequality is canceled in terms of (2.9).
Now, we begin to treat the integrals \(\mathcal{I}_{k} (k=1,2,3,4)\) term by term. To deal with the kinetic part \(\mathcal {I}_{1}\), we rewrite it as
where
Using integration by parts and the boundary conditions of \(h^{\epsilon}u^{\epsilon}\) and u, we have
Furthermore, we have
Therefore, we obtain
Using the anti-symmetric property \((u^{\epsilon})^{\bot}\cdot u=-u^{\epsilon}\cdot u^{\bot}\) and the orthogonal property \(u\cdot u^{\bot}=0\), we obtain
Finally, we deal with the potential part \(\mathcal {I}_{3}\). In view of (1.8) and the boundary condition of u, we have
Thus, we obtain
Inserting the estimates (2.9)-(2.11) into (2.8), we have, from (1.9),
From the continuity equation (1.1), the initial conditions (1.11), the estimate (2.13), and the Hölder inequality, we get, by integration by parts,
and
Combining (2.12) with (2.13)-(2.14), one gets
Using the initial conditions (1.11), we have \(\mathcal {H}^{\epsilon}(0)\leq C\epsilon^{\frac{2}{\gamma}}\) since
Here, we also have used assumption (\(A_{1}\)) and the following elementary inequality:
the Hölder inequality and the finite measure of Ω. Then, with the help of the Gronwall inequality, we get
Using the Hölder inequality, we have
for any \(t\in(0,T^{\epsilon}]\). In view of (1.12) and using the Hölder inequality, we have
for any \(t\in(0,T^{\epsilon}]\). By a standard argument on the time extension of smooth solutions, we obtain \(T^{\epsilon}\geq T_{\ast}\), i.e. \(T^{\epsilon}=T_{\ast}\). With the aid of (1.7) and (2.16)-(2.18), we conclude that the proof of Theorem 1.2 is finished.
References
Levermore, CD, Oliver, M, Titi, ES: Global well-posedness for models of shallow water in a basin with a varying bottom. Indiana Univ. Math. J. 45, 479-510 (1996)
Ghil, M, Childress, S: Topics in Geophysical Fluid Dynamics: Atmospheric Dynamics, Dynamo Theory, and Climate Dynamics. Applied Mathematical Sciences, vol. 60. Springer, New York (1987)
Majda, A: Introduction to PDEs and Waves for the Atmosphere and Ocean, vol. 9. Am. Math. Soc., Providence (2003)
Oliver, M: Variational asymptotics for rotating shallow water near geostrophy: a transformational approach. J. Fluid Mech. 551, 197-234 (2006)
Pedlosky, J: Geophysical Fluid Dynamics. Springer, Berlin (1992)
Bernardi, C, Pironneau, O: On the shallow water equations at low Reynolds number. Commun. Partial Differ. Equ. 16, 59-104 (1991)
Bresch, D, Desjardins, B: Existence of global weak solutions for a 2D viscous shallow water equations and convergence to the quasi-geostrophic model. Commun. Math. Phys. 238, 211-223 (2003)
Cheng, B: Singular limits and convergence rates of compressible Euler and rotating shallow water equations. SIAM J. Math. Anal. 44, 1050-1076 (2012)
Wu, KC: Low Froude number limit of the rotating shallow water and Euler equations. Proc. Am. Math. Soc. 142, 939-947 (2014)
Beirão da Veiga, H: Data dependence in the mathematical theory of compressible inviscid fluids. Arch. Ration. Mech. Anal. 119, 109-127 (1992)
Acknowledgements
J. Yang’s research was partially supported by the Joint Funds of the National Natural Science Foundation of China (Grant No. U1204103).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors carried out the proof. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cheng, P., Yang, J. & Bai, D. Rate of convergence from the rotating Euler and shallow water equations to the rotating lake equations. Bound Value Probl 2017, 10 (2017). https://doi.org/10.1186/s13661-016-0740-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0740-2