Skip to main content

Rate of convergence from the rotating Euler and shallow water equations to the rotating lake equations

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 Ω:

$$\begin{aligned} &\partial _{t}h^{\epsilon}+\operatorname {div}\bigl(h^{\epsilon}u^{\epsilon}\bigr)=0, \end{aligned}$$
(1.1)
$$\begin{aligned} & \partial _{t}\bigl(h^{\epsilon}u^{\epsilon}\bigr) +\operatorname {div}\bigl(h^{\epsilon}u^{\epsilon}\otimes u^{\epsilon}\bigr)+h^{\epsilon}\bigl(u^{\epsilon}\bigr)^{\bot} +h^{\epsilon}\frac{\nabla((h^{\epsilon})^{\gamma-1}-h^{\gamma -1}_{0})}{\epsilon^{2}} =0, \end{aligned}$$
(1.2)

with initial and boundary conditions

$$\begin{aligned} & \bigl(h^{\epsilon},u^{\epsilon}\bigr)|_{t=0}= \bigl(h^{\epsilon}_{0}(x),u^{\epsilon}_{0}(x) \bigr),\qquad h^{\epsilon}u^{\epsilon}\cdot n|_{\partial\Omega}=0, \end{aligned}$$
(1.3)

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

$$\bigl(u^{\epsilon}\bigr)^{\bot}= \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} u^{\epsilon}_{1} \\ u^{\epsilon}_{2} \end{pmatrix} = \bigl(-u^{\epsilon}_{2}, u^{\epsilon}_{1} \bigr) $$

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:

$$ E^{\epsilon}(t)= \int_{\Omega}\biggl(\frac{1}{2}h^{\epsilon}\bigl|u^{\epsilon}\bigr|^{2} +\frac{1}{\epsilon^{2}}\Phi \bigl(h^{\epsilon}\bigr) \biggr)\,dx, $$
(1.4)

where the potential energy

$$ \Phi \bigl(h^{\epsilon}\bigr) =\frac{1}{\gamma} \bigl( \bigl(h^{\epsilon}\bigr)^{\gamma}-h^{\gamma}_{0} - \gamma(h_{0})^{\gamma-1} \bigl(h^{\epsilon}-h_{0} \bigr) \bigr) $$
(1.5)

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

$$ \frac {d}{dt}E^{\epsilon}(t)=0. $$
(1.6)

By the initial energy bound (2.1) below and the following elementary convexity inequality:

$$\begin{aligned}& \frac{1}{\gamma}\bigl\vert h^{\epsilon}-h_{0} \bigr\vert ^{\gamma}\leq\Phi \bigl(h^{\epsilon} \bigr) \quad\mbox{for } \gamma \geq2, \end{aligned}$$
(1.7)

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

$$\begin{aligned} &\operatorname {div}(h_{0}u)=0, \end{aligned}$$
(1.8)
$$\begin{aligned} & \partial _{t}(h_{0}u)+\operatorname {div}(h_{0}u\otimes u)+h_{0}u^{\bot}+h_{0} \nabla\pi =0, \end{aligned}$$
(1.9)
$$\begin{aligned} &u| _{t=0}=u_{0}(x),\qquad h_{0}u\cdot n| _{\partial\Omega}=0,\qquad \operatorname {div}(h_{0}u_{0})=0. \end{aligned}$$
(1.10)

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

$$\frac{(h^{\epsilon})^{\gamma-1}-h^{\gamma-1}_{0}}{\epsilon^{2}} $$

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 [25]. 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

$$\bigl(h^{\epsilon}, u^{\epsilon} \bigr)\in C^{1} \bigl([0, T_{\epsilon}];H^{s}(\Omega) \bigr) \cap C \bigl([0, T_{\epsilon}];H^{s+1}(\Omega) \bigr). $$

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

$$\begin{aligned} \frac{1}{\epsilon^{2}} \int_{\Omega}\Phi \bigl(h^{\epsilon}_{0} \bigr) \,dx+ \int_{\Omega}\Bigl\vert \sqrt{h^{\epsilon}_{0}}u^{\epsilon}_{0}- \sqrt{h_{0}}u_{0} \Bigr\vert ^{2} \,dx\leq C \epsilon^{\frac{2}{\gamma}} \end{aligned}$$
(1.11)

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:

$$\begin{aligned} &\frac{1}{\epsilon^{2}} \bigl\Vert h^{\epsilon}-h_{0} \bigr\Vert ^{\gamma}_{L^{\infty}([0,T];L^{\gamma}(\Omega))} \leq C\epsilon^{\frac{2}{\gamma}}, \end{aligned}$$
(1.12)
$$\begin{aligned} & \bigl\Vert \sqrt{h^{\epsilon}}u^{\epsilon}-\sqrt{h_{0}}u \bigr\Vert ^{2} _{L^{\infty}([0,T];L^{2}(\Omega))}\leq C\epsilon^{\frac{2}{\gamma}}, \end{aligned}$$
(1.13)
$$\begin{aligned} & \bigl\Vert h^{\epsilon}u^{\epsilon}-h_{0}u \bigr\Vert ^{2} _{L^{\infty}([0,T];L^{\frac{2\gamma}{\gamma+1}}(\Omega))} \leq C\epsilon^{\frac{2}{\gamma}} \end{aligned}$$
(1.14)

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

$$\begin{aligned} & \int_{\Omega} \biggl\{ \frac{1}{2}h^{\epsilon} \bigl\vert u^{\epsilon} \bigr\vert ^{2}+ \frac{1}{\epsilon^{2}} \Phi \bigl(h^{\epsilon} \bigr) \biggr\} \,dx \\ &\quad = \int_{\Omega} \biggl\{ \frac{1}{2}h_{0}^{\epsilon} \bigl\vert u_{0}^{\epsilon} \bigr\vert ^{2}+ \frac{1}{\epsilon^{2}} \Phi \bigl(h_{0}^{\epsilon} \bigr) \biggr\} \,dx \leq C. \end{aligned}$$
(2.1)

Therefore, from (1.7), we have the following properties:

$$\begin{aligned} &\sqrt{h^{\epsilon}}u^{\epsilon}\quad \mbox{is } \mbox{bounded } \mbox{in } L^{\infty} \bigl( \bigl[0,T^{\epsilon}\bigr];L^{2}( \Omega) \bigr), \end{aligned}$$
(2.2)
$$\begin{aligned} &\frac{1}{\epsilon^{2}} \bigl\vert h^{\epsilon}-h_{0} \bigr\vert ^{\gamma}\quad\mbox{is } \mbox{bounded } \mbox{in } L^{\infty} \bigl( \bigl[0,T^{\epsilon}\bigr];L^{1}(\Omega) \bigr). \end{aligned}$$
(2.3)

Thus from (2.3), we have

$$\begin{aligned} \bigl\Vert h^{\epsilon}-h_{0} \bigr\Vert _{L^{\infty}([0,T^{\epsilon}];L^{\gamma}(\Omega ))}\leq C\epsilon^{\frac{2}{\gamma}}. \end{aligned}$$
(2.4)

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:

$$\begin{aligned} \mathcal {H}^{\epsilon}(t)= \int_{\Omega} \biggl\{ \frac{1}{2}h^{\epsilon } \bigl\vert u^{\epsilon}-u \bigr\vert ^{2}+ \frac{1}{\epsilon^{2}}\Phi \bigl(h^{\epsilon}\bigr) \biggr\} \,dx, \end{aligned}$$
(2.5)

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:

$$\begin{aligned} - \int_{\Omega} h^{\epsilon}u^{\epsilon} \cdot u \,dx ={}&- \int_{\Omega} \bigl(h^{\epsilon}u^{\epsilon} \cdot u \bigr) (t=0) \,dx- \int_{0}^{t} \int_{\Omega} h^{\epsilon}u^{\epsilon} \cdot \partial_{s} u \,dx\,ds \\ &{} - \int_{0}^{t} \int_{\Omega}h^{\epsilon}u^{\epsilon}\otimes u^{\epsilon}:\nabla u\,dx\,ds + \int_{0}^{t} \int_{\Omega} h^{\epsilon} \bigl(u^{\epsilon} \bigr)^{\bot}\cdot u\,dx\,ds \\ &{} +\frac{1}{\epsilon^{2}} \int_{0}^{t} \int_{\Omega}h^{\epsilon}u\cdot\nabla \bigl( \bigl(h^{\epsilon}\bigr)^{\gamma-1}-h^{\gamma-1}_{0} \bigr) \,dx\,ds. \end{aligned}$$
(2.6)

From (1.8)-(1.9), we find the energy identity of the rotating lake equations:

$$\begin{aligned} \frac{1}{2}\frac {d}{dt}\int_{\Omega}h_{0}\vert u\vert ^{2}\,dx=0, \end{aligned}$$

which implies that

$$\begin{aligned} \int_{\Omega}h_{0}\vert u\vert ^{2}\,dx= \int_{\Omega}h_{0}\vert u_{0}\vert ^{2}\,dx. \end{aligned}$$
(2.7)

Using (2.6)-(2.7) and the energy inequality (1.4), by integration by parts, we can calculate \(\mathcal {H}^{\epsilon}(t)\) as follows:

$$\begin{aligned} \mathcal{H}^{\epsilon}(t)={}&E^{\epsilon}(t)- \int_{\Omega}h^{\epsilon}u^{\epsilon}\cdot u \,dx+ \frac{1}{2} \int_{\Omega}h^{\epsilon} \vert u\vert ^{2}\,dx \\ ={}&\mathcal{H}^{\epsilon}(0)-\frac{1}{2} \int_{\Omega}h^{\epsilon}_{0}\vert u_{0}\vert ^{2}\,dx +\frac{1}{2} \int_{\Omega}h^{\epsilon} \vert u\vert ^{2}\,dx \\ &{} - \int_{0}^{t} \int_{\Omega}h^{\epsilon}u^{\epsilon}\otimes u^{\epsilon}:\nabla u\,dx\,ds + \int_{0}^{t} \int_{\Omega} h^{\epsilon} \bigl(u^{\epsilon} \bigr)^{\bot}\cdot u\,dx\,ds \\ &{} +\frac{1}{\epsilon^{2}} \int_{0}^{t} \int_{\Omega}h^{\epsilon}u\cdot\nabla \bigl( \bigl(h^{\epsilon}\bigr)^{\gamma-1}-h^{\gamma-1}_{0} \bigr) \,dx\,ds- \int _{0}^{t} \int_{\Omega} h^{\epsilon}u^{\epsilon} \cdot \partial_{s} u \,dx\,ds \\ ={}&\mathcal {H}^{\epsilon}(0)-\frac{1}{2} \int_{\Omega}h^{\epsilon}_{0}\vert u_{0}\vert ^{2}\,dx +\frac{1}{2} \int_{\Omega}h^{\epsilon} \vert u\vert ^{2}\,dx \\ &{} - \int_{0}^{t} \int _{\Omega} h^{\epsilon}u^{\epsilon} \cdot \partial_{s} u \,dx\,ds+\sum_{k=1}^{3} \mathcal {I}_{k}, \end{aligned}$$
(2.8)

where

$$\begin{aligned} &\mathcal {I}_{1}=- \int_{0}^{t} \int_{\Omega}h^{\epsilon}u^{\epsilon}\otimes u^{\epsilon}:\nabla u\,dx\,ds, \\ & \mathcal{I}_{2}= \int_{0}^{t} \int_{\Omega} h^{\epsilon} \bigl(u^{\epsilon} \bigr)^{\bot}\cdot u\,dx\,ds, \\ &\mathcal {I}_{3}=\frac{1}{\epsilon^{2}} \int_{0}^{t} \int_{\Omega}h^{\epsilon}u\cdot\nabla \bigl( \bigl(h^{\epsilon}\bigr)^{\gamma-1}-h^{\gamma-1}_{0} \bigr) \,dx\,ds. \end{aligned}$$

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

$$\begin{aligned} \mathcal{I}_{1} ={}& - \int_{0}^{t} \int_{\Omega} h^{\epsilon}\bigl(u^{\epsilon}-u \bigr) \otimes \bigl(u^{\epsilon}-u \bigr):\nabla u \,dx\,ds \\ &{}- \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u\otimes u^{\epsilon}\bigr):\nabla u \,dx\,ds \\ & {}+ \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u\otimes u \bigr):\nabla u \,dx\,ds - \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u^{\epsilon}\otimes u \bigr):\nabla u \,dx\,ds \\ \leq{}& C \int_{0}^{t}\mathcal {H}^{\epsilon}(s)\,ds+ \mathcal{I}_{11}+\mathcal{I}_{12}, \end{aligned}$$

where

$$\begin{aligned} &\mathcal {I}_{11}=- \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u\otimes u^{\epsilon}\bigr):\nabla u \,dx\,ds, \\ & \mathcal{I}_{12}= \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u\otimes u \bigr):\nabla u \,dx\,ds - \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u^{\epsilon}\otimes u \bigr):\nabla u \,dx\,ds . \end{aligned}$$

Using integration by parts and the boundary conditions of \(h^{\epsilon}u^{\epsilon}\) and u, we have

$$\begin{aligned} \mathcal {I}_{11}&=\frac{1}{2} \int_{0}^{t} \int_{\Omega} \vert u\vert ^{2}\operatorname {div}\bigl(h^{\epsilon}u^{\epsilon}\bigr)\,dx\,ds \\ &=-\frac{1}{2} \int_{0}^{t} \int_{\Omega} \vert u\vert ^{2}\partial_{s} h^{\epsilon}\, dx\,ds \\ &=-\frac{1}{2} \int_{0}^{t} \biggl(\frac{d}{ds} \int_{\Omega} \vert u\vert ^{2} h^{\epsilon}\,dx \biggr)\,ds+ \int_{0}^{t} \int_{\Omega}h^{\epsilon}u\cdot\partial_{s}u\,dx \,ds \,dx\,ds \\ &=\frac{1}{2} \int_{\Omega}h^{\epsilon}_{0}\vert u_{0}\vert ^{2}\,dx -\frac{1}{2} \int_{\Omega}h^{\epsilon} \vert u\vert ^{2}\,dx + \int_{0}^{t} \int_{\Omega}h^{\epsilon}u\cdot\partial_{s}u\,dx \,ds. \end{aligned}$$

Furthermore, we have

$$\begin{aligned} \mathcal {I}_{12}&= \int_{0}^{t} \int_{\Omega}h^{\epsilon}u_{i}u_{j} \partial_{j}u_{i}\,dx\,ds - \int_{0}^{t} \int_{\Omega}h^{\epsilon}u^{\epsilon}_{i}u_{j} \partial_{j}u_{i}\,dx\,ds \\ &= \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u-h^{\epsilon}u^{\epsilon}\bigr)\cdot \bigl((u\cdot\nabla) u \bigr) \,dx\,ds. \end{aligned}$$

Therefore, we obtain

$$\begin{aligned} \mathcal{I}_{1} \leq{}& C \int_{0}^{t}\mathcal {H}^{\epsilon}(s)\,ds+ \frac{1}{2} \int_{\Omega}h^{\epsilon}_{0}\vert u_{0}\vert ^{2}\,dx -\frac{1}{2} \int_{\Omega}h^{\epsilon} \vert u\vert ^{2}\,dx \\ &{} + \int_{0}^{t} \int_{\Omega}h^{\epsilon}u\cdot\partial_{s}u\,dx \,ds \\ &{} + \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u-h^{\epsilon}u^{\epsilon}\bigr)\cdot \bigl((u\cdot\nabla) u \bigr) \,dx\,ds. \end{aligned}$$
(2.9)

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

$$\begin{aligned} \mathcal{I}_{2}&= \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u-h^{\epsilon}u^{\epsilon}\bigr)\cdot u^{\bot}\,dx\,ds. \end{aligned}$$
(2.10)

Finally, we deal with the potential part \(\mathcal {I}_{3}\). In view of (1.8) and the boundary condition of u, we have

$$\begin{aligned} &u\cdot\nabla h_{0}=-h_{0}\operatorname {div}u, \\ & \int_{0}^{t} \int_{\Omega}h_{0}^{\gamma} \operatorname {div}u\,dx\,ds=- \frac{\gamma}{\gamma-1} \int_{0}^{t} \int_{\Omega}h_{0} u\cdot \nabla h_{0}^{\gamma-1} \,dx\,ds=0. \end{aligned}$$

Thus, we obtain

$$\begin{aligned} \mathcal {I}_{3}&=\frac{1}{\epsilon^{2}} \int_{0}^{t} \int_{\Omega}h^{\epsilon}u\cdot\nabla \bigl(h^{\epsilon}\bigr)^{\gamma-1}\,dx\,ds -\frac{1}{\epsilon^{2}} \int_{0}^{t} \int_{\Omega}h^{\epsilon}u\cdot \nabla h^{\gamma-1}_{0} \,dx\,ds \\ &=\frac{\gamma-1}{\gamma\epsilon^{2}} \int_{0}^{t} \int_{\Omega} u\cdot\nabla \bigl(h^{\epsilon}\bigr)^{\gamma}\,dx\,ds-\frac{\gamma-1}{\epsilon^{2}} \int _{0}^{t} \int_{\Omega}h^{\epsilon}h_{0}^{\gamma-2} u \cdot\nabla h_{0}\,dx\,ds \\ &=-\frac{\gamma-1}{\gamma\epsilon^{2}} \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}\bigr)^{\gamma} \operatorname {div}u\,dx \,ds+ \frac{\gamma-1}{\epsilon^{2}} \int_{0}^{t} \int_{\Omega }h^{\epsilon}h_{0}^{\gamma-1} \operatorname {div}u \,dx\,ds \\ &=-\frac{\gamma-1}{\gamma\epsilon^{2}} \int_{0}^{t} \int_{\Omega} \bigl[ \bigl(h^{\epsilon}\bigr)^{\gamma}- \gamma h^{\epsilon}h_{0}^{\gamma-1}+(\gamma-1)h_{0}^{\gamma} \bigr] \operatorname {div}u\,dx\,ds \\ &\leq C \int_{0}^{t}\mathcal{H}^{\epsilon}(s)\,ds. \end{aligned}$$
(2.11)

Inserting the estimates (2.9)-(2.11) into (2.8), we have, from (1.9),

$$\begin{aligned} \mathcal{H}^{\epsilon}(t)={}&\mathcal {H}^{\epsilon}(0)+C \int^{t}_{0}\mathcal {H}^{\epsilon}(s)\,ds \\ &{}+ \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u-h^{\epsilon}u^{\epsilon}\bigr) \bigl[\partial_{s}u+(u\cdot\nabla u)u+u^{\bot} \bigr]\,dx\,ds \\ ={}&\mathcal{H}^{\epsilon}(0)+C \int^{t}_{0}\mathcal {H}^{\epsilon}(s)\,ds+ \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}u^{\epsilon}-h^{\epsilon}u \bigr)\cdot\nabla\pi \,dx\,ds. \end{aligned}$$
(2.12)

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,

$$\begin{aligned} \int_{0}^{t} \int_{\Omega}h^{\epsilon}u^{\epsilon}\cdot\nabla\pi\, dx \,ds={}& \int_{\Omega} \bigl(h^{\epsilon}-h_{0} \bigr)\pi \,dx- \int_{\Omega} \bigl(h^{\epsilon}_{0} -h_{0} \bigr)\pi_{0} \,dx \\ &{} - \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}-h_{0} \bigr) \partial_{s}\pi \,dx\,ds \\ \leq{}& \bigl\Vert h^{\epsilon}-h_{0} \bigr\Vert _{L^{\gamma}(\Omega)} \Vert \pi \Vert _{L^{\frac{\gamma}{\gamma -1}}(\Omega)} + \bigl\Vert h^{\epsilon}_{0} -h_{0} \bigr\Vert _{L^{\gamma}(\Omega)} \Vert \pi_{0}\Vert _{L^{\frac{\gamma}{\gamma -1}}(\Omega)} \\ &{} + \bigl\Vert h^{\epsilon}-h_{0} \bigr\Vert _{L^{\infty}([0,T^{\epsilon}];L^{\gamma}(\Omega))} \Vert \partial_{t}\pi \Vert _{L^{\infty}([0,T^{\epsilon}];L^{\frac{\gamma }{\gamma-1}}(\Omega))} \\ \leq{}& C\epsilon^{\frac{2}{\gamma}} \end{aligned}$$
(2.13)

and

$$\begin{aligned} - \int_{0}^{t} \int_{\Omega} h^{\epsilon}u\cdot\nabla\pi \,dx\,ds ={}&- \int_{0}^{t} \int_{\Omega} \bigl(h^{\epsilon}-h_{0} \bigr)u\cdot \nabla\pi \,dx\,ds \\ \leq{}& \bigl\Vert h^{\epsilon}-h_{0} \bigr\Vert _{L^{\infty}([0,T^{\epsilon}];L^{\gamma}(\Omega))} \Vert u\Vert _{L^{\infty}([0,T^{\epsilon}]; L^{\frac{2\gamma}{\gamma-1}}(\Omega ))} \\ &{} \times \Vert \nabla\pi \Vert _{L^{\infty}([0,T^{\epsilon}];L^{\frac{2\gamma }{\gamma-1}}(\Omega))} \\ \leq{}& C\epsilon^{\frac{2}{\gamma}}. \end{aligned}$$
(2.14)

Combining (2.12) with (2.13)-(2.14), one gets

$$ \mathcal{H}^{\epsilon}(t) \leq\mathcal{H}^{\epsilon}(0) + C \int_{0}^{t}\mathcal {H}^{\epsilon}(s)\,ds+C \epsilon^{\frac{2}{\gamma}},\quad \forall t\in (0,T^{\epsilon}]. $$

Using the initial conditions (1.11), we have \(\mathcal {H}^{\epsilon}(0)\leq C\epsilon^{\frac{2}{\gamma}}\) since

$$\begin{aligned} \int_{\Omega}h^{\epsilon}_{0} \bigl\vert u^{\epsilon}_{0}-u_{0} \bigr\vert ^{2}\,dx & \leq2 \int_{\Omega} \Bigl\vert \sqrt{h^{\epsilon}_{0}}u^{\epsilon}_{0}- \sqrt{h_{0}}u_{0} \Bigr\vert ^{2}\,dx +2 \int_{\Omega} \Bigl\vert \Bigl(\sqrt{h_{0}}-\sqrt {h^{\epsilon}_{0}} \Bigr)u_{0} \Bigr\vert ^{2}\,dx \\ &\leq2 \Bigl\Vert \sqrt{h^{\epsilon}_{0}}u^{\epsilon}_{0}- \sqrt{h_{0}}u_{0} \Bigr\Vert ^{2}_{L^{2}(\Omega)} +2\Vert u_{0}\Vert ^{2}_{L^{\infty}(\Omega)} \Bigl\Vert \sqrt {h^{\epsilon}_{0}}-\sqrt{h_{0}} \Bigr\Vert ^{2}_{L^{2}(\Omega)} \\ &\leq2 \Bigl\Vert \sqrt{h^{\epsilon}_{0}}u^{\epsilon}_{0}- \sqrt{h_{0}}u_{0} \Bigr\Vert ^{2}_{L^{2}(\Omega)} +C \bigl\Vert h^{\epsilon}_{0}-h_{0} \bigr\Vert ^{2}_{L^{\gamma}(\Omega)} \\ &\leq C\epsilon^{\frac{2}{\gamma}}. \end{aligned}$$

Here, we also have used assumption (\(A_{1}\)) and the following elementary inequality:

$$ \vert \sqrt{x_{1}}-\sqrt{x_{2}}\vert ^{2}\leq \frac{1}{c}\vert x_{1}-x_{2}\vert ^{2}, \quad \forall x_{1}, x_{2}\geq c>0, $$
(2.15)

the Hölder inequality and the finite measure of Ω. Then, with the help of the Gronwall inequality, we get

$$ \mathcal{H}^{\epsilon}(t)\leq C\epsilon^{\frac{2}{\gamma}}, \quad\forall t \in(0,T^{\epsilon}]. $$
(2.16)

Using the Hölder inequality, we have

$$\begin{aligned} \bigl\Vert \sqrt{h^{\epsilon}}u^{\epsilon}- \sqrt{h_{0}}u \bigr\Vert ^{2}_{L^{2}(\Omega)} &\leq2 \bigl\Vert \sqrt{h^{\epsilon}} \bigl(u^{\epsilon}-u \bigr) \bigr\Vert ^{2}_{L^{2}(\Omega)} +2 \bigl\Vert \bigl(\sqrt{h^{\epsilon}}- \sqrt{h_{0}} \bigr)u \bigr\Vert ^{2}_{L^{2}(\Omega)} \\ &\leq C\epsilon^{\frac{2}{\gamma}} + C \bigl\Vert \sqrt{h^{\epsilon}}- \sqrt{h_{0}} \bigr\Vert ^{2}_{L^{2}(\Omega)}\Vert u\Vert ^{2}_{L^{\infty}(\Omega)} \\ &\leq C\epsilon^{\frac{2}{\gamma}} \end{aligned}$$
(2.17)

for any \(t\in(0,T^{\epsilon}]\). In view of (1.12) and using the Hölder inequality, we have

$$\begin{aligned} \bigl\Vert h^{\epsilon}u^{\epsilon}-h_{0}u \bigr\Vert ^{2}_{L^{\frac{2\gamma}{\gamma+1}}(\Omega)} \leq{}&2 \bigl\Vert h^{\epsilon} \bigl(u^{\epsilon}-u \bigr) \bigr\Vert ^{2}_{L^{\frac{2\gamma}{\gamma +1}}(\Omega)} +2 \bigl\Vert \bigl(h^{\epsilon}-h_{0} \bigr)u \bigr\Vert ^{2}_{L^{\frac{2\gamma}{\gamma+1}}(\Omega)} \\ \leq{}&2 \bigl\Vert \sqrt{h^{\epsilon}} \bigr\Vert ^{2}_{L^{2\gamma}(\Omega)} \bigl\Vert \sqrt{h^{\epsilon}} \bigl(u^{\epsilon}-u \bigr) \bigr\Vert ^{2}_{L^{2}(\Omega)} \\ &{} +2 \bigl\Vert \sqrt{h^{\epsilon}}-\sqrt{h_{0}} \bigr\Vert ^{2}_{L^{\gamma}(\Omega)} \Vert u\Vert ^{2}_{L^{\frac{\gamma}{\gamma-1}}(\Omega)} \\ \leq{}& C\epsilon^{\frac{2}{\gamma}} \end{aligned}$$
(2.18)

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

  1. 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)

    Article  MathSciNet  MATH  Google Scholar 

  2. 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)

    Book  MATH  Google Scholar 

  3. Majda, A: Introduction to PDEs and Waves for the Atmosphere and Ocean, vol. 9. Am. Math. Soc., Providence (2003)

    MATH  Google Scholar 

  4. Oliver, M: Variational asymptotics for rotating shallow water near geostrophy: a transformational approach. J. Fluid Mech. 551, 197-234 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  5. Pedlosky, J: Geophysical Fluid Dynamics. Springer, Berlin (1992)

    MATH  Google Scholar 

  6. Bernardi, C, Pironneau, O: On the shallow water equations at low Reynolds number. Commun. Partial Differ. Equ. 16, 59-104 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  7. 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)

    Article  MathSciNet  MATH  Google Scholar 

  8. Cheng, B: Singular limits and convergence rates of compressible Euler and rotating shallow water equations. SIAM J. Math. Anal. 44, 1050-1076 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  9. Wu, KC: Low Froude number limit of the rotating shallow water and Euler equations. Proc. Am. Math. Soc. 142, 939-947 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  10. Beirão da Veiga, H: Data dependence in the mathematical theory of compressible inviscid fluids. Arch. Ration. Mech. Anal. 119, 109-127 (1992)

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Jianwei Yang.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-016-0740-2

MSC

Keywords