Skip to main content

Zero Mach number limit of the compressible Euler–Korteweg equations


In this paper, we investigate the zero Mach number limit for the three-dimensional compressible Euler–Korteweg equations in the regime of smooth solutions. Based on the local existence theory of the compressible Euler–Korteweg equations, we establish a convergence-stability principle. Then we show that when the Mach number is sufficiently small, the initial-value problem of the compressible Euler–Korteweg equations has a unique smooth solution in the time interval where the corresponding incompressible Euler equations have a smooth solution. It is important to remark that when the incompressible Euler equations have a global smooth solution, the existence time of the solution for the compressible Euler–Korteweg equations tends to infinity as the Mach number goes to zero. Moreover, we obtain the convergence of smooth solutions for the compressible Euler–Korteweg equations towards those for the incompressible Euler equations with a convergence rate.

1 Introduction

In this paper, we are concerned with the three-dimensional compressible Euler–Korteweg system

$$\begin{aligned} \textstyle\begin{cases} \partial _{t}\rho +\operatorname{div}(\rho u)=0, \\ \partial _{t}(\rho u)+\operatorname{div}(\rho u\otimes u)+\nabla p(\rho ) = \kappa \rho \nabla \Delta \rho , \end{cases}\displaystyle \end{aligned}$$

for \((x,t)\in \varOmega \times [0,+\infty )\). Throughout this paper, Ω is assumed to be the three-dimensional torus. Here, the unknown functions are the density ρ and the velocity \(u\in \mathbb{R}^{3}\), \(p(\rho )\) is a given pressure function, and κ is the Weber number. This compressible Euler–Korteweg system results from a modification of the standard Euler equations governing the motion of compressible inviscid fluids through the adjunction of the Korteweg stress tensor, and arises as a mathematical model for a lot of phenomena in vortex dynamics, quantum hydrodynamics and hydrodynamics, e.g., flow of capillary fluids: liquid-vapor mixtures (for instance, highly pressurized and hot water in nuclear reactors cooling system), superfluids (for instance, helium near absolute zero), or even regular fluids at sufficiently small scales (for instance, ripples on shallow water or other thin films). We can see more details in [34] and [22] for the early developments of the theory of capillarity and, for instance, [21, 35] for the derivation of the equations of motion. Note that when \(\kappa =0\), (1.1) reduces to the compressible Euler equations.

Recently, some results regarding the well-posedness of the compressible Euler–Korteweg system have been obtained. Benzoni-Gavage, Danchin and Descombes [6] addressed the well-posedness of the Cauchy problem for the Euler–Korteweg model in the one-dimensional case by reformulating the equations in Lagrangian coordinates. Benzoni-Gavage, Danchin and Descombes [7] also considered the multidimensional case in Eulerian formulation and established a blow-up criterion. Audiard [2] constructed a Kreiss symmetrizer and obtained the well-posedness of the Euler–Korteweg system in a half-space. Audiard [3] obtained some dispersive smoothing effect of the Euler–Korteweg system both in one dimension and in higher dimensions. Audiard and Haspot [5] justified the global well-posedness of the multi-dimensional Euler–Korteweg equations for small irrotational initial data under a natural stability condition on the pressure. Giesselmann and Tzavaras [18] showed the weak-strong uniqueness, the large friction limit, and the vanishing capillarity limit of the Euler–Korteweg system under the relative energy framework. Audiard [4] obtained the existence of traveling waves for Euler–Korteweg equations with arbitrarily small energies in two dimensions and found that the standard for the linear instability of traveling waves implied nonlinear instability in one dimension.

Moreover, it is well known that the incompressible limit of compressible fluid dynamical equations is an important and challenging mathematical problem. Klainerman and Majda [23] first justified the convergence of the incompressible limit by using the partial differential equation method and singular limit approach of symmetric hyperbolic equations. Lin [26] proved the incompressible limit of the assumed weak solutions for the time-discretized compressible Navier–Stokes equations with big initial data by the uniform entropy-energy inequality. Hoff [19] proved that a compressible Navier–Stokes system with well-prepared initial data converged to an incompressible Navier–Stokes system as the Mach number goes to zero. Nevertheless, no smallness hypothesis is set on the external forces or on the initial data. Lions and Masmoudi [27] studied the incompressible limit of global weak solutions of compressible isentropic Navier–Stokes systems without size restrictions on the initial data. Desjardins and Grenier [13] researched the low Mach number limit for weak solutions of the compressible Navier–Stokes equations on the whole space by using a different method based on Strichartz’s estimates for the linear wave equation, and gained better convergence results and simpler proof than former similar papers. Desjardins, Grenier, Lions and Masmoudi [14] investigated the limit of global weak solutions of the compressible isentropic Navier–Stokes equations in a bounded domain. They stated that the velocity of the compressible equations converged weakly to the global weak solution of the incompressible Navier–Stokes equations as the Mach number approached to 0, and the convergence became strong under certain geometrical assumptions on the domain. These results have been extended or improved by many others, e.g., the authors of Refs. [1, 8, 12, 15, 16, 20, 25, 31, 33].

To the best of our knowledge, no results about the incompressible limit of this Euler–Korteweg model can be found, except for Giesselmann [17], who gave a low Mach asymptotic-preserving scheme for the Euler–Korteweg model. In this paper, we analyze the incompressible limit of smooth solutions for the compressible Euler–Korteweg equations (1.1) with well-prepared initial data on the basis of the convergence-stability criterion, which was first formulated in [37]. Since then, this method has commonly been used in dealing with the singular limit of the partial differential equations. Yong [38] considered the zero Mach number limit of the smooth solution to the isentropic compressible Euler equations based on the convergence-stability principle. Li [24] presented the incompressible limit from the compressible MHD equations to ideal incompressible MHD equations under the framework of the convergence-stability principle. In fact, this approach is derived from singular perturbation theory [36], which is extensively used in the research of partial differential equations. For instance, Marin and Bhatti [29] studied the head-on collision model between capillary–gravity solitary waves using the singular perturbation method. This model was appropriate for shallow water waves and deep water waves and was investigated to find that the surface tension and the free parameter tended to remarkably decrease the solitary-wave profile. For similar methods, see [11, 30].

The main difficulty in the analysis of this model, a third-order system of conservation laws, is the absence of dissipative regularization since the viscosity is neglected. To overcome this difficulty, we need more refined treatments, which is different from the compressible Navier–Stokes–Korteweg equation in [25]. See the treatments of the terms \(I_{4}\) and \(H_{3}\) in Sect. 5 for the difference. In addition, our approach in this paper is simpler than that adopted in previous work [23, 28], and the requirements on the initial data and limit solution are fewer.

From a physical standpoint, when the density becomes almost constant, the velocity is very small, and we observe that at large time scales, the compressible fluid should act like the incompressible fluid. Therefore we introduce the following scaling:

$$\begin{aligned} \rho (x,t)=\rho ^{\varepsilon }(x,\varepsilon t),\qquad u(x,t)=\varepsilon u^{\varepsilon }(x,\varepsilon t) \end{aligned}$$

and assume that the capillarity coefficient κ is small and scaled as

$$\begin{aligned} \kappa =\varepsilon \kappa ' \end{aligned}$$

with \(\varepsilon \in (0,1)\) a small parameter. With such scalings, the compressible Euler–Korteweg equations (1.1) take the form

$$\begin{aligned} \textstyle\begin{cases} \partial _{t}\rho ^{\varepsilon }+\operatorname{div}(\rho ^{\varepsilon }u^{\varepsilon })=0, \\ \partial _{t}(\rho ^{\varepsilon }u^{\varepsilon })+\operatorname{div}(\rho ^{\varepsilon }u^{\varepsilon }\otimes u^{\varepsilon })+ \frac{\nabla p(\rho ^{\varepsilon })}{\varepsilon ^{2}} =\kappa ' \frac{\rho ^{\varepsilon }\nabla \Delta \rho ^{\varepsilon }}{\varepsilon }, \end{cases}\displaystyle \end{aligned}$$

with the initial data

$$\begin{aligned} \rho ^{\varepsilon }(x, 0)=1, \qquad u^{\varepsilon }(x, 0)=u_{0}(x). \end{aligned}$$

Formally, letting \(\varepsilon \rightarrow 0\), we obtain from the momentum Eq. (1.2)2 that \(\rho ^{\varepsilon }\) converges to a positive constant \(\rho ^{*}\) due to the periodic boundary conditions. Without loss of generality, let us assume that \(\rho ^{*}=1\). Then, passing to the limit in the mass conservation equation of (1.2), we obtain \(\operatorname{div}u^{\varepsilon }=0\). Therefore, by denoting the formal limits of \(\frac{\nabla p(\rho ^{\varepsilon })-\kappa '\varepsilon \rho ^{\varepsilon }\nabla \Delta \rho ^{\varepsilon }}{\varepsilon ^{2}}\) and \(u^{\varepsilon }\) by \(\nabla p^{0}\) and \(u^{0}\), respectively, we can formally obtain the incompressible Euler equations:

$$\begin{aligned} \textstyle\begin{cases} \partial _{t}u^{0} + u^{0}\cdot \nabla u^{0} + \nabla p^{0} = 0, \\ \operatorname{div}u^{0}=0, \end{cases}\displaystyle \end{aligned}$$

with the initial data

$$\begin{aligned} u^{0}(x, 0)=u_{0}(x). \end{aligned}$$

To justify the above formal procedure, we first follow [25, 38] and reformulate the compressible Euler–Korteweg equations (1.2) in terms of the pressure variable \(p^{\varepsilon }=p(\rho ^{\varepsilon })\) and the velocity \(u^{\varepsilon }\). Assume that \(p(\rho ^{\varepsilon })\) is a smooth function with \(p'(\rho ^{\varepsilon })>0\) for \(\rho ^{\varepsilon }>0\), then it has an inverse function \(\rho ^{\varepsilon }=\rho (p^{\varepsilon })\). Set \(q(p^{\varepsilon })=[\rho (p^{\varepsilon })p'(\rho (p^{\varepsilon }))]^{-1}\). Then the compressible Euler–Korteweg equations (1.2) for a smooth solution can be rewritten as

$$\begin{aligned} \textstyle\begin{cases} q(p^{\varepsilon })(p_{t}^{\varepsilon }+u^{\varepsilon }\cdot \nabla p^{\varepsilon })+\operatorname{div}u^{\varepsilon }=0, \\ \rho (p^{\varepsilon })(u_{t}^{\varepsilon }+u^{\varepsilon }\cdot \nabla u^{\varepsilon })+\varepsilon ^{-2}\nabla p^{\varepsilon }=\varepsilon ^{-1} \kappa '\rho (p^{\varepsilon })\nabla \Delta \rho (p^{\varepsilon }), \end{cases}\displaystyle \end{aligned}$$

with the initial data

$$\begin{aligned} p^{\varepsilon }(x, 0)=p_{0}, \qquad u^{\varepsilon }(x, 0)=u_{0}(x), \end{aligned}$$

with \(p_{0}=p(1)>0\). Further, we introduce

$$\begin{aligned} \tilde{p}^{\varepsilon }=\bigl(p^{\varepsilon }-p_{0}\bigr)/\varepsilon ,\qquad \tilde{u}^{\varepsilon }=u^{\varepsilon }. \end{aligned}$$

Then (1.6) can be rewritten as

$$\begin{aligned} \textstyle\begin{cases} q(p_{0}+\varepsilon \tilde{p}^{\varepsilon })(\tilde{p}_{t}^{\varepsilon }+\tilde{u}^{\varepsilon }\cdot \nabla \tilde{p}^{\varepsilon })+\varepsilon ^{-1}\operatorname{div}\tilde{u}^{\varepsilon }=0, \\ \rho (p_{0}+\varepsilon \tilde{p}^{\varepsilon })(\tilde{u}_{t}^{\varepsilon }+\tilde{u}^{\varepsilon }\cdot \nabla \tilde{u}^{\varepsilon })+\varepsilon ^{-1}\nabla \tilde{p}^{\varepsilon }= \varepsilon ^{-1}\kappa '\rho (p_{0}+\varepsilon \tilde{p}^{\varepsilon })\nabla \Delta \rho (p_{0}+\varepsilon \tilde{p}^{\varepsilon }), \end{cases}\displaystyle \end{aligned}$$

with the initial data

$$\begin{aligned} \tilde{p}^{\varepsilon }(x, 0)=0, \qquad \tilde{u}^{\varepsilon }(x, 0)=u_{0}(x). \end{aligned}$$

2 Main result

The main result can be stated as follows.

Theorem 2.1

Suppose that\(p(\rho ^{\varepsilon })\)is a smooth function with\(p'(\rho ^{\varepsilon })>0\)for\(\rho ^{\varepsilon }>0\), and\(u_{0}(x)\in H^{6}(\varOmega )\)is divergence-free. Denote by\(T_{0}>0\)the life-span of the unique classical solution\(u^{0}({x,t})\in C([0,T_{0}],H^{6}(\varOmega ))\)to the initial-value problem (1.4)(1.5). If\(T_{0}<\infty \), then, for a sufficiently small\(\varepsilon >0\), the initial-value problem (1.2)(1.3) has a unique solution\((\rho ^{\varepsilon },u^{\varepsilon })({x,t})\)satisfying

$$\begin{aligned} \rho ^{\varepsilon }-1 \in C\bigl([0,T_{0}],H^{5}(\varOmega )\bigr),\qquad u^{\varepsilon }\in C\bigl([0,T_{0}],H^{4}( \varOmega )\bigr). \end{aligned}$$

Moreover, there exists a constant\(K>0\), independent ofεbut dependent on\(T_{0}\), such that

$$\begin{aligned} \sup_{t\in [0,T_{0}]} \biggl( \biggl\Vert \frac{\rho ^{\varepsilon }(\cdot ,t) - 1}{\varepsilon } \biggr\Vert _{4} + \sum_{ \vert \alpha \vert =5} \bigl\Vert \varepsilon ^{\frac{1}{2}} \partial _{x}^{\alpha }\bigl(\rho ^{\varepsilon }-1\bigr) (\cdot ,t) \bigr\Vert + \bigl\Vert \bigl(u^{\varepsilon }-u^{0}\bigr) (\cdot ,t) \bigr\Vert _{4}\biggr)\leq K\varepsilon . \end{aligned}$$

In case\(T_{0}=\infty \), the maximal existence time\(T_{\varepsilon }\)of\((\rho ^{\varepsilon },u^{\varepsilon })({x,t})\)tends to infinity asεgoes to zero.

Remark 2.1

The initial data

$$\begin{aligned} \rho ^{\varepsilon }(x,0)=1, \qquad u^{\varepsilon }(x,0)=u_{0}(x) \end{aligned}$$

can be relaxed as

$$\begin{aligned} \rho ^{\varepsilon }(x,0)=1 + O\bigl(\varepsilon ^{2}\bigr), \qquad u^{\varepsilon }(x,0)=u_{0}(x)+ O(\varepsilon ) \end{aligned}$$

without changing our arguments. Here, we do not know whether the convergence rate in (2.1) is optimal, in particular, the velocity convergence rate. Using the arguments in [9], we will try to address this topic in the future. However, with the method here, we can obtain the sharp convergence rate (2.1), and no smallness condition on the initial data is required.

Remark 2.2

Here, we only consider the zero-Mach limit of the smooth solutions for the compressible Euler–Korteweg equations with well-prepared initial data. It is more interesting to consider the similar problem of the compressible Euler–Korteweg equations for general initial data (ill-prepared initial data). That is, we should take into account acoustic waves that propagate with the high speed \(\frac{1}{\varepsilon }\) in the space domain, as in [23, 28, 33]. Moreover, we hope that similar results can be obtained for the limit of the compressible Euler–Korteweg equations in critical space. These issues are what our efforts should aim at in the future.

Recalling a local-in-time existence theory due to Benzoni-Gavage, Danchin and Descombes [7] for (1.2), we have the local-in-time existence of the classical solution to the compressible Euler–Korteweg equations (1.2) as follows.

Lemma 2.1

(See [7])

Let\(p(\rho ^{\varepsilon })\)be a smooth function with\(p'(\rho ^{\varepsilon })>0\)for\(\rho ^{\varepsilon }>0\). Assume that\(\bar{u}(x)\in H^{4}\)and\(\bar{\rho }(x)-1\in H^{5}\)with\(\inf \bar{\rho }(x)>0\). Then there exists a positive constantTsuch that equation (1.2) with initial data\(( \bar{\rho }, \bar{u})(x)\)has a unique solution\((\rho ^{\varepsilon },u^{\varepsilon })=(\rho ^{\varepsilon },u^{\varepsilon })(x,t)\), satisfying\(\rho ^{\varepsilon }({x,t})>0\)for all\((x, t)\in \varOmega \times [0, T]\)and

$$\begin{aligned}& \rho ^{\varepsilon }- 1\in C\bigl([0,T],H^{5}\bigr)\cap L^{2}\bigl([0,T],H^{6}\bigr), \\& u^{\varepsilon }\in C\bigl([0,T],H^{4}\bigr)\cap L^{2} \bigl([0,T],H^{5}\bigr). \end{aligned}$$

For initial-value problem (1.8)–(1.9), we see immediately from Lemma 2.1 that

Corollary 2.1

Under the assumptions of Lemma 2.1, there exists a positive constant\(T_{\varepsilon }>0\)such that Eqs. (1.8) with initial data\((\frac{p(\bar{\rho })-p_{0}}{\varepsilon },\bar{u})\)have a unique classical solution\((\tilde{p}^{\varepsilon },\tilde{u}^{\varepsilon })=(\tilde{p}^{\varepsilon },\tilde{u}^{\varepsilon })(t,x)\), satisfying\(\varepsilon \tilde{p}^{\varepsilon }(x,t)+p_{0}>0\)for all\((x,t)\in \varOmega \times [0,T_{\varepsilon }]\)and

$$\begin{aligned}& \tilde{p}^{\varepsilon }(t,x)\in C\bigl([0,T_{\varepsilon }],H^{5} \bigr)\cap L^{2}\bigl([0,T_{\varepsilon }],H^{6}\bigr), \\& \tilde{u}^{\varepsilon }(t,x)\in C\bigl([0,T_{\varepsilon }],H^{4} \bigr)\cap L^{2}\bigl([0,T_{\varepsilon }],H^{5}\bigr). \end{aligned}$$

Thus, for initial-value problem (1.8)–(1.9), Theorem 2.1 can be stated as follows.

Theorem 2.2

Under the assumptions of Theorem 2.1, for a sufficiently small\(\varepsilon >0\), the initial-value problem (1.8)(1.9) has a unique solution\((\tilde{p}^{\varepsilon }, \tilde{u}^{\varepsilon })({x,t})\)satisfying

$$\begin{aligned} \tilde{p}^{\varepsilon }({x,t})\in C\bigl([0,T_{0}],H^{5} \bigr), \qquad \tilde{u}^{\varepsilon }({x,t})\in C\bigl([0,T_{0}],H^{4} \bigr). \end{aligned}$$

Moreover, there exists a constant\(K>0\), independent ofεbut dependent on\(T_{0}\), such that

$$\begin{aligned} \sup_{t\in [0,T_{0}]} \biggl( \bigl\Vert \tilde{p}^{\varepsilon }- \varepsilon p^{0} \bigr\Vert _{4}+ \sum _{ \vert \alpha \vert =5} \bigl\Vert \varepsilon ^{\frac{1}{2}}\partial _{x}^{\alpha }\bigl( \tilde{p}^{\varepsilon }-\varepsilon p^{0}\bigr) \bigr\Vert + \bigl\Vert \tilde{u}^{\varepsilon }-u^{0} \bigr\Vert _{4}\biggr)\leq K\varepsilon . \end{aligned}$$

In case\(T_{0}=\infty \), the maximal existence time\(T_{\varepsilon }\)of\((\tilde{p}^{\varepsilon },\tilde{u}^{\varepsilon })({x,t})\)tends to infinity asεgoes to zero. Here, \((p^{0},u^{0})({x,t})\)is given in Lemma 1.4and satisfies (4.3).

From Theorem 2.2, we immediately have Theorem 2.1. In the following, we focus on the proof of Theorem 2.2.

Let us outline the idea of the proof as follows. On the basis of a local-in-time existence theory due to Benzoni-Gavage, Danchin and Descombes [7] for (1.2), we first establish a convergence-stability principle, which is similar to those developed in [36, 37] for singular limit problems of symmetrizable hyperbolic systems. Thus, instead of deriving ε-uniform a priori estimates, we only need to make the error estimate (2.1) in the common time interval \([0, \min \{T_{0}, T_{\varepsilon }\})\), where both solutions \((\rho ^{\varepsilon }, u^{\varepsilon })\) and \((\rho ^{0}, u^{0})\) are regular. Due to the third-order term and the absence of dissipative regularization in (1.1) or (1.2), deriving the error estimate requires some elaborated treatments. This is the difference from the compressible Navier–Stokes–Korteweg equation in [25]. See the treatments of the terms \(I_{4}\) and \(H_{3}\) in Sect. 5 for the difference.

The rest of this paper is organized as follows. In the next section, we make some preliminaries. That is, we give some notations and Moser-type calculus inequalities. Then, we prove the convergence-stability principle in Sect. 4. Finally, all required (error) estimates are obtained in Sect. 5.

3 Preliminaries

In this section, we mainly make some preliminaries.


\(|U|\) denotes some norm of a vector or matrix U. For a nonnegative integer k, \(H^{k}=H^{k}(\varOmega )\) denotes the usual \(L^{2}\)-type Sobolev space of order k. We write \(\|\cdot \|_{k}\) for the standard norm of \(H^{k}\) and \(\|\cdot \|\) for \(\|\cdot \|_{0}\). When U is a function of another variable t as well as \(x\in \varOmega \), we write \(\|U(\cdot , t)\|\) to recall that the norm is taken with respect to x while t is viewed as a parameter. In addition, we denote by \(C([0, T], \mathbf{X)}\) (resp. \(L^{2}([0, T], \mathbf{X)}\)) the space of continuous (resp. square integrable) functions on \([0, T]\) with values in a Banach space X.

In the subsequent proof process, we need the following Moser-type calculus inequalities in Sobolev spaces (refer to Proposition 2.1 in [28]).

Lemma 3.1

  1. (i)

    For\(s\geq 2\), \(H^{s}=H^{s}(\varOmega )\)is an algebra. Namely, for all multi-indicesαwith\(|\alpha |\leq s\)and\(f(x), g(x)\in H^{s}(\varOmega )\), we have\(\partial _{x}^{\alpha }(fg)\in L^{2}(\varOmega )\)and

    $$\begin{aligned} \bigl\Vert \partial _{x}^{\alpha }(fg) \bigr\Vert \leq C_{s} \Vert f \Vert _{s} \Vert g \Vert _{s}. \end{aligned}$$
  2. (ii)

    For\(s\geq 3\), let\(f(x)\in H^{s}(\varOmega )\)and\(g(x)\in H^{s-1}(\varOmega )\). Then, for all multi-indicesαwith\(|\alpha |\leq s\), we have the commutator\([\partial _{x}^{\alpha }, f]g\in L^{2}(\varOmega )\)and

    $$\begin{aligned} \bigl\Vert \bigl[\partial _{x}^{\alpha }, f\bigr]g \bigr\Vert \leq C_{s} \Vert \nabla f \Vert _{s-1} \Vert g \Vert _{s-1}. \end{aligned}$$
  3. (iii)

    Assume that\(g(u)\)is a smooth function onG, \(u(x)\)is a continuous function with\(u(x)\in G_{1}\), \(\bar{G}_{1}\subset \subset G\), and\(u(x)\in L^{\infty }(\varOmega )\cap H^{s}(\varOmega )\). Then, for\(s\geq 1\),

    $$\begin{aligned} \bigl\Vert D^{s}g(u) \bigr\Vert \leq C_{s} \biggl\vert \frac{\partial g}{\partial u} \biggr\vert _{s-1,\bar{G}_{1}} \Vert u \Vert _{L^{\infty }}^{s-1} \bigl\Vert D^{s}u \bigr\Vert . \end{aligned}$$

Here, \(|\cdot |_{r,\bar{G}_{1}}\)is the\(C^{r}\)-norm on the set\(\bar{G}_{1}\)and\(C_{s}\)is a generic constant depending only ons.

4 Convergence-stability principle

In fact, our proof of Theorem 2.2 is guided by the spirit of the convergence-stability principle developed in [36, 37] for singular limit problems of symmetrizable hyperbolic systems. Fix \(\varepsilon >0\) in (1.8). According to Corollary 2.1, there is a time interval \([0,T]\) such that the equations (1.8) with initial data \((\bar{p},\bar{u})(x,\varepsilon )\) have a unique solution \((\tilde{p}^{\varepsilon }, \tilde{u}^{\varepsilon })\) satisfying \(\varepsilon \tilde{p}^{\varepsilon }+p_{0}>0\) for all \((x, t)\in \varOmega \times [0, T]\) and

$$\begin{aligned} \tilde{p}^{\varepsilon }({x,t})\in C\bigl([0,T], H^{5}\bigr), \qquad \tilde{u}^{\varepsilon }({x,t})\in C\bigl([0,T], H^{4}\bigr). \end{aligned}$$


$$\begin{aligned} T_{\varepsilon } =&\sup \biggl\{ T>0: \tilde{p}^{\varepsilon }({x,t})\in C \bigl([0,T], H^{5}\bigr), \tilde{u}^{\varepsilon }({x,t})\in C \bigl([0,T], H^{4}\bigr); \\ &{} -\frac{1}{2}p_{0} \leq \tilde{p}^{\varepsilon }(x, t) \leq 2p_{0}, \forall (x, t)\in \varOmega \times [0, T] \biggr\} . \end{aligned}$$

(Here, 2 can be replaced with any positive number larger than 1.) Namely, \([0,T_{\varepsilon })\) is the maximal time interval of \(H^{5}\times H^{4}\)-existence. Note that \(T_{\varepsilon }\) may tend to 0 as ε goes to 0.

To show that \(\lim_{\varepsilon \rightarrow 0}T_{\varepsilon }>0\), we follow the convergence-stability principle [37] and seek a formal approximation of \((\tilde{p}^{\varepsilon }, \tilde{u}^{\varepsilon })({x,t})\). To this end, we consider the initial-value problem of the incompressible Euler equations:

$$\begin{aligned} \textstyle\begin{cases} \partial _{t}u^{0} + u^{0}\cdot \nabla u^{0} + \nabla p^{0} = 0, \\ \operatorname{div}u^{0}=0,\qquad u^{0}(x,0)=u_{0}(x). \end{cases}\displaystyle \end{aligned}$$

Since \(u_{0}\in H^{6}\) and \(\operatorname{div}u_{0}=0\), we have the following from [22, 32].

Lemma 4.1

There exists\(T_{0}\in (0, + \infty )\)such that the IVP (4.2) of the incompressible Euler equation has a unique smooth solution

$$ \bigl(u^{0}, \nabla {p^{0}}\bigr)\in C\bigl([0,T_{0}],H^{6} \bigr)\times C\bigl([0,T_{0}],H^{5}\bigr) $$


$$\begin{aligned} M_{0}=:\sup_{0\leq t\leq T_{0}}\bigl( \bigl\Vert u^{0}(\cdot ,t) \bigr\Vert _{6}+ \bigl\Vert \nabla {p^{0}}( \cdot ,t) \bigr\Vert _{5}+ \bigl\Vert \partial _{t}u^{0}(\cdot ,t) \bigr\Vert _{5}+ \bigl\Vert \partial _{t} \nabla {p^{0}}(\cdot ,t) \bigr\Vert _{4}\bigr)< \infty . \end{aligned}$$

In the next section, we will prove the following theorem.

Theorem 4.1

Under the conditions of Theorem 2.1, there exist constants\(K=K(T_{0})\)and\(\varepsilon _{0}=\varepsilon _{0}(T_{0})\)such that, for all\(\varepsilon \leq \varepsilon _{0}\),

$$\begin{aligned} \bigl\Vert \bigl(\tilde{p}^{\varepsilon }- \varepsilon p^{0}\bigr) ( \cdot , t) \bigr\Vert _{4}+\sum_{ \vert \alpha \vert =5} \bigl\Vert \varepsilon ^{\frac{1}{2}}\partial _{x}^{\alpha } \bigl(\tilde{p}^{\varepsilon }- \varepsilon p^{0}\bigr) (\cdot , t) \bigr\Vert + \bigl\Vert \bigl(\tilde{u}^{\varepsilon }- u^{0}\bigr) (\cdot , t) \bigr\Vert _{4}\leq K\varepsilon \end{aligned}$$

for\(t\in [0,\min \{T_{0},T_{\varepsilon }\})\).

Having this theorem, we slightly modify the arguments in [25, 36] to prove a theorem.

Theorem 4.2

Under the conditions of Theorem 2.1, there exists a constant\(\varepsilon _{0}=\varepsilon _{0}(T_{0})\)such that, for all\(\varepsilon \leq \varepsilon _{0}\),

$$\begin{aligned} T_{\varepsilon }>T_{0} . \end{aligned}$$


Otherwise, there is a sequence \(\{\varepsilon _{k}\}_{k\geq 1}\) such that \(\lim_{k\rightarrow \infty }\varepsilon _{k}=0\) and \(T_{\varepsilon _{k}}\leq T_{0}\). Thanks to the error estimate in Theorem 4.1, (4.3) and Sobolev’s inequality, there exists a k such that \(4\tilde{p}^{\varepsilon _{k}}(x,t) \in (-3p_{0}, 5p_{0})\) for all x and t. Next, we deduce from

$$\begin{aligned} \bigl\Vert \tilde{p}^{\varepsilon _{k}}(\cdot , t) \bigr\Vert _{5}+ \bigl\Vert \tilde{u}^{ \varepsilon _{k}}(\cdot , t) \bigr\Vert _{4} \leq & \bigl\Vert \tilde{p}^{\varepsilon _{k}}( \cdot , t)-\varepsilon _{k} p^{0}(\cdot , t) \bigr\Vert _{5}+ \bigl\Vert \varepsilon _{k} p^{0}( \cdot , t) \bigr\Vert _{5} \\ &{}+ \bigl\Vert \tilde{u}^{\varepsilon _{k}}(\cdot , t)-u^{0}(\cdot , t) \bigr\Vert _{4} + \bigl\Vert u^{0}(\cdot , t) \bigr\Vert _{4}, \end{aligned}$$

(4.3) in Lemma 4.1 and (4.4) in Theorem 4.1 that \(\|\tilde{p}^{\varepsilon _{k}}(\cdot , t)\|_{5} + \|\tilde{u}^{ \varepsilon _{k}}(\cdot , t)\|_{4}\) is bounded uniformly with respect to \(t\in [0,T_{\varepsilon _{k}})\). Now, we could apply Corollary 2.1, beginning at a time t less than \(T_{\varepsilon _{k}}\) (k is fixed here), to continue this solution beyond \(T_{\varepsilon _{k}}\). This contradicts the definition of \(T_{\varepsilon _{k}}\) in (4.1).

Finally, Theorem 2.2 is proved by combining Theorem 4.1 and Theorem 4.2. □

We conclude this section with the following interesting remark, which is a by-product of our approach.

Remark 4.1

The proof of Theorem 4.1 requires that \(T_{0}<\infty \). However, when the initial-value problem (4.2) of the incompressible Euler equations has a global-in-time regular solution, \(T_{0}\) can be any positive number. Hence, we have an almost global-in-time existence result for (1.8):

$$\begin{aligned} \lim_{\varepsilon \rightarrow 0}T_{\varepsilon }= +\infty . \end{aligned}$$

5 Error estimate

In this section, we prove the error estimate in Theorem 4.1. We notice that, with \(u^{0}\) and \(p^{0}\) in Lemma 4.1,

$$ (p_{\varepsilon },u_{\varepsilon }):=\bigl(\varepsilon p^{0},u^{0} \bigr) $$


$$\begin{aligned} \textstyle\begin{cases} q(p_{0} + \varepsilon p_{\varepsilon })(p_{\varepsilon t} + u_{\varepsilon }\cdot \nabla p_{\varepsilon }) + \varepsilon ^{-1} \operatorname{div}u_{\varepsilon }= \varepsilon R_{1}, \\ \rho (p_{0} + \varepsilon p_{\varepsilon })(u_{\varepsilon t} + u_{\varepsilon }\cdot \nabla u_{\varepsilon }) + \varepsilon ^{-1}\nabla p_{\varepsilon }= R_{2}, \end{cases}\displaystyle \end{aligned}$$


$$\begin{aligned}& R_{1} = q\bigl(p_{0} + \varepsilon ^{2}p^{0} \bigr) \bigl(p_{t}^{0} + u^{0}\cdot \nabla p^{0}\bigr), \\& R_{2} = \bigl(\rho \bigl(p_{0} + \varepsilon ^{2}p^{0}\bigr) - \rho (p_{0})\bigr) \bigl(u_{t}^{0} + u^{0}\cdot \nabla u^{0} \bigr). \end{aligned}$$

Note that Lemma 4.1 and Sobolev’s inequality imply \(-\frac{1}{2}p_{0}\leq \varepsilon p_{\varepsilon }(=\varepsilon ^{2}p^{0}) \leq p_{0}\) for \(\varepsilon \ll 1\), which yields \(\frac{1}{2}p_{0}\leq p_{0} + \varepsilon p_{\varepsilon }\leq 2p_{0}\). Further, \(\rho (p_{0} + \varepsilon p_{\varepsilon })\) is strictly increasing, then we have

$$\begin{aligned} \rho \biggl(\frac{1}{2}p_{0}\biggr)\leq \rho (p_{0} + \varepsilon p_{\varepsilon }) \leq \rho (2p_{0}). \end{aligned}$$

From the definition of \(q(p_{0} + \varepsilon p_{\varepsilon })\), we also have

$$\begin{aligned} \frac{1}{2p'(2)}\leq q(p_{0} + \varepsilon p_{\varepsilon })\leq \frac{2}{p'(\frac{1}{2})}. \end{aligned}$$


$$ P = \tilde{p}^{\varepsilon }- p_{\varepsilon }, \qquad U = \tilde{u}^{\varepsilon }- u_{\varepsilon }. $$

Then we deduce from (1.8) and (5.1) that

$$\begin{aligned} P_{t} + \tilde{u}^{\varepsilon }\cdot \nabla P + U\cdot \nabla p_{\varepsilon }+ \varepsilon ^{-1}q^{-1}\bigl(p_{0} + \varepsilon \tilde{p}^{\varepsilon }\bigr)\operatorname{div}U = f_{1} \end{aligned}$$


$$\begin{aligned} U_{t} + \tilde{u}^{\varepsilon }\cdot \nabla U + U\cdot \nabla u_{\varepsilon }+ \varepsilon ^{-1}\rho ^{-1} \bigl(p_{0} + \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P= \varepsilon ^{-1}\kappa '\nabla \Delta \tilde{\rho }^{\varepsilon }+ f_{2}. \end{aligned}$$

Here, we have used \(\operatorname{div}u_{\varepsilon }=0\) and \(\tilde{\rho }^{\varepsilon }=\rho (p_{0}+\varepsilon \tilde{p}^{\varepsilon })\), and

$$\begin{aligned} f_{1} =&-q^{-1}(p_{0}+\varepsilon p_{\varepsilon }) \varepsilon R_{1}, \\ f_{2} =&-\rho ^{-1}(p_{0}+\varepsilon p_{\varepsilon })R_{2}- \bigl(\rho ^{-1}\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)-\rho ^{-1}(p_{0}+ \varepsilon p_{\varepsilon }) \bigr)\nabla p^{0} . \end{aligned}$$

From Lemma 4.1 and Lemma 3.1, it follows that, for \(t\in [0,T_{0}]\),

$$\begin{aligned} \Vert f_{1} \Vert _{4}\leq C(M_{0})\varepsilon ,\qquad \Vert f_{2} \Vert \leq C(M_{0}) \bigl( \varepsilon + \Vert P \Vert _{4}\bigr). \end{aligned}$$

Here, and in the following, \(C>0\) is the generic constant and \(C(\cdot )>0\) stands for the generic constant depending on .

Let α be a multi-index with \(|\alpha |\leq 4\). Differentiating the two sides of Eqs. (5.4) and (5.5) with \(\partial _{x}^{\alpha }\) and setting

$$\begin{aligned} P_{\alpha }=\partial _{x}^{\alpha }P,\qquad U_{\alpha }=\partial _{x}^{\alpha }U, \tilde{\rho }_{\alpha }^{\varepsilon }=\partial _{x}^{\alpha}\tilde{\rho }^{\varepsilon }, \end{aligned}$$

we obtain

$$\begin{aligned}& \partial _{t}P_{\alpha }+ \tilde{u}^{\varepsilon }\cdot \nabla P_{\alpha }+ \varepsilon ^{-1}q^{-1}\bigl(p_{0} +\varepsilon \tilde{p}^{\varepsilon }\bigr)\operatorname{div}U_{\alpha} \\& \quad =- \bigl[\partial _{x}^{\alpha }, \tilde{u}^{\varepsilon } \bigr]\nabla P - \partial _{x}^{\alpha }(U\cdot \nabla p_{\varepsilon }) - \varepsilon ^{-1}\bigl[ \partial _{x}^{\alpha }, q^{-1} \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr]\operatorname{div}U+\partial _{x}^{\alpha }f_{1} \end{aligned}$$


$$\begin{aligned}& \partial _{t}U_{\alpha }+ \tilde{u}^{\varepsilon }\cdot \nabla U_{\alpha }+ \varepsilon ^{-1}\rho ^{-1} \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P_{\alpha} \\& \quad = - \bigl[\partial _{x}^{\alpha }, \tilde{u}^{\varepsilon } \bigr]\nabla U - \partial _{x}^{\alpha }(U\cdot \nabla u_{\varepsilon }) -\varepsilon ^{-1}\bigl[ \partial _{x}^{\alpha }, \rho ^{-1} \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon } \bigr)\bigr]\nabla P \\& \qquad {}+\varepsilon ^{-1}\kappa '\nabla \Delta \tilde{ \rho }_{\alpha }^{\varepsilon }+\partial _{x}^{\alpha }f_{2}. \end{aligned}$$

Taking the inner product of (5.7) and (5.8) with \(q(p_{0}+\varepsilon \tilde{p}^{\varepsilon })P_{\alpha }\) and \(\rho (p_{0}+\varepsilon \tilde{p}^{\varepsilon })U_{\alpha }\), respectively, and summing up the two resultant equalities gives

$$\begin{aligned}& \frac{1}{2}\frac{d}{dt} \int _{\varOmega } \bigl(q^{\varepsilon }P_{\alpha }^{2} + \tilde{\rho }^{\varepsilon } \vert U_{\alpha } \vert ^{2} \bigr)\,dx \\& \quad = \int _{\varOmega } \biggl(\frac{1}{2}q^{\varepsilon }_{t}P_{\alpha }^{2} + \frac{1}{2} \rho ^{\varepsilon }_{t} \vert U_{\alpha } \vert ^{2} - q^{\varepsilon }P_{\alpha }\bigl(u^{\varepsilon }\cdot \nabla \bigr)P_{\alpha }-\tilde{\rho }^{\varepsilon }U_{\alpha } \bigl(u^{\varepsilon }\cdot \nabla \bigr)U_{\alpha } \biggr)\,dx \\& \qquad {}+ \int _{\varOmega } \bigl(- \bigl(\bigl[\partial _{x}^{\alpha }, \tilde{u}^{\varepsilon }\bigr]\nabla P + \partial _{x}^{\alpha }(U \cdot \nabla p_{\varepsilon })\bigr) q^{\varepsilon }P_{\alpha }- \bigl( \partial _{x}^{\alpha }(U \cdot \nabla u_{\varepsilon })+ \bigl[ \partial _{x}^{\alpha }, \tilde{u}^{\varepsilon }\bigr]\nabla U \bigr)\rho ^{\varepsilon }U_{\alpha } \bigr)\,dx \\& \qquad {}-\varepsilon ^{-1} \int _{\varOmega } \bigl(q^{\varepsilon }P_{\alpha }\bigl[ \partial _{x}^{\alpha }, q^{-1}\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\bigr]\operatorname{div}U + \rho ^{\varepsilon }U_{\alpha } \bigl[\partial _{x}^{\alpha }, \rho ^{-1} \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\bigr]\nabla P \bigr) \,dx \\& \qquad {}+\varepsilon ^{-1}\kappa ' \int _{\varOmega }\tilde{\rho }^{\varepsilon }U_{\alpha }\nabla \Delta \tilde{\rho }_{\alpha }^{\varepsilon }\,dx + \int _{\varOmega } \bigl(q^{\varepsilon }\partial _{x}^{\alpha }f_{1} P_{\alpha }+ \tilde{\rho }^{\varepsilon }\partial _{x}^{\alpha }f_{2}U_{\alpha } \bigr)\,dx \\& \quad =:I_{1}+I_{2}+I_{3}+I_{4}+I_{5}. \end{aligned}$$

Here and below, we often use

$$\begin{aligned} \tilde{\rho }^{\varepsilon }=\rho \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr),\qquad q^{\varepsilon }=q\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr). \end{aligned}$$

To estimate the \(I_{i}\), we first have the bounds of \(\rho '(p_{0}+\varepsilon \tilde{p}^{\varepsilon })\) and \(q'(p_{0}+\varepsilon \tilde{p}^{\varepsilon })\) as follows.

Lemma 5.1

We have

$$\begin{aligned} c_{1}\leq \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\leq c_{2},\qquad c_{3} \leq q'\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \leq c_{4}, \end{aligned}$$

where\(c_{i}\) (\(i=1,2,3,4\)) are positive constants independent ofε.


Because \(p(\rho ^{\varepsilon })\) is a smooth function with \(p'(\rho ^{\varepsilon })>0\) and has an inverse function \(\rho ^{\varepsilon }=\rho (p^{\varepsilon })\), from the smoothness of ρ and \(\frac{1}{2}p_{0}\leq p_{0} + \varepsilon \tilde{p}^{\varepsilon }\leq 2p_{0}\), it is easy to see that there are positive constants \(c_{1}\) and \(c_{2}\) such that

$$\begin{aligned} c_{1}\leq \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\leq c_{2}. \end{aligned}$$

Moreover, from the definition of q, similarly, we have

$$\begin{aligned} c_{3}\leq q'\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\leq c_{4}. \end{aligned}$$

This completes the proof. □

Remark 5.1

Analogously, we can obtain the boundedness of higher derivatives of \(\rho (p_{0}+\varepsilon \tilde{p}^{\varepsilon })\) and \(q(p_{0}+\varepsilon \tilde{p}^{\varepsilon })\).

Next, we follow [25, 36, 37] and formulate the following lemma.

Lemma 5.2


$$\begin{aligned} {D=D(t)=\sqrt{ \bigl\Vert P(\cdot , t) \bigr\Vert _{4}^{2}+\sum_{ \vert \beta \vert =5} \bigl\Vert \varepsilon ^{\frac{1}{2}}\partial _{x}^{\beta }P(\cdot , t) \bigr\Vert ^{2}+ \bigl\Vert U( \cdot , t) \bigr\Vert _{4}^{2}}} \end{aligned}$$

for\(t\in [0, \min \{T_{0}, T_{\varepsilon }\})\). Then, for multi-indicesγsatisfying\(|\gamma |\leq 2\), we have

$$\begin{aligned} \bigl\Vert \partial _{x}^{\gamma }\tilde{p}^{\varepsilon } \bigr\Vert _{L^{\infty }}+ \bigl\Vert \partial _{x}^{\gamma } \tilde{u}^{\varepsilon } \bigr\Vert _{L^{\infty }}\leq C(M_{0}) (1+D). \end{aligned}$$


It is obvious from (4.3) in Lemma 4.1, (5.10) and Sobolev’s inequality that

$$\begin{aligned} \bigl\Vert \partial _{x}^{\gamma }\tilde{u}^{\varepsilon } \bigr\Vert _{L^{\infty }}\leq \bigl\Vert \partial _{x}^{\gamma } \bigl(\tilde{u}^{\varepsilon }-u_{\varepsilon }\bigr) \bigr\Vert _{L^{\infty }}+ \bigl\Vert \partial _{x}^{\gamma }u^{0} \bigr\Vert _{L^{\infty }}\leq C(M_{0}) (1+D). \end{aligned}$$

The other estimates can be shown similarly. This completes the proof. □

Now we turn to estimating the \(I_{i}\) in (5.9). Using integration by parts and Lemma 5.1 and Lemma 5.2, we deduce that

$$\begin{aligned} I_{1} =&\frac{1}{2} \int _{\varOmega } \bigl(q'\bigl(p_{0} + \varepsilon \tilde{p}^{\varepsilon }\bigr) \varepsilon \tilde{p}_{t}^{\varepsilon }+ q^{\varepsilon}\operatorname{div}\tilde{u}^{\varepsilon }+ \tilde{u}^{\varepsilon } \cdot \nabla q^{\varepsilon } \bigr)P_{\alpha }^{2} \,dx \\ &{}+\frac{1}{2} \int _{\varOmega } \bigl(\rho '\bigl(p_{0} + \varepsilon \tilde{p}^{\varepsilon }\bigr) \varepsilon \tilde{p}_{t}^{\varepsilon }+ \tilde{\rho }^{\varepsilon }\operatorname{div}\tilde{u}^{\varepsilon }+ \tilde{u}^{\varepsilon }\cdot \nabla \tilde{\rho }^{\varepsilon } \bigr) \vert U_{\alpha } \vert ^{2} \,dx \\ \leq &C\bigl( \bigl\Vert \operatorname{div}\tilde{u}^{\varepsilon } \bigr\Vert _{L^{\infty }}+ \bigl\Vert \tilde{u}^{\varepsilon } \bigr\Vert _{L^{\infty }} \bigl\Vert \nabla \tilde{p}^{\varepsilon } \bigr\Vert _{L^{\infty }}\bigr) \bigl( \Vert P_{\alpha } \Vert ^{2}+ \Vert U_{\alpha } \Vert ^{2}\bigr) \\ \leq & C(M_{0}) \bigl(1+D^{2}\bigr) \bigl( \Vert P_{\alpha } \Vert ^{2}+ \Vert U_{\alpha } \Vert ^{2}\bigr), \end{aligned}$$

with the help of (1.8)1.

Thanks to Lemma 3.1, \(I_{2}\) can be simply treated as

$$\begin{aligned} I_{2} \leq & C \Vert P_{\alpha } \Vert \bigl( \bigl\Vert \partial _{x}^{\alpha }(U\cdot \nabla p_{\varepsilon }) \bigr\Vert + \bigl\Vert \bigl[\partial _{x}^{\alpha }, \tilde{u}^{\varepsilon }\bigr] \nabla P \bigr\Vert \bigr)\\ &{}+ C \Vert U_{\alpha } \Vert \bigl( \bigl\Vert \partial _{x}^{\alpha }(U \cdot \nabla u_{\varepsilon }) \bigr\Vert + \bigl\Vert \bigl[\partial _{x}^{\alpha },\tilde{u}^{\varepsilon }\bigr] \nabla U \bigr\Vert \bigr) \\ \leq & C \Vert P_{\alpha } \Vert \bigl( \Vert \nabla p_{\varepsilon } \Vert _{4} \Vert U \Vert _{4} + \bigl\Vert \nabla \tilde{u}^{\varepsilon } \bigr\Vert _{3} \Vert \nabla P \Vert _{3}\bigr)\\ &{}+ C \Vert U_{\alpha } \Vert \bigl( \Vert \nabla u_{\varepsilon } \Vert _{4} \Vert U \Vert _{4} + \bigl\Vert \nabla \tilde{u}^{\varepsilon } \bigr\Vert _{3} \Vert \nabla U \Vert _{3}\bigr) \\ \leq &C(M_{0}) (1+D) \bigl( \Vert U \Vert _{4}^{2} + \Vert P \Vert _{4}^{2}\bigr). \end{aligned}$$

For \(I_{3}\), from Lemma 5.2, we first compute

$$\begin{aligned} \bigl\Vert \nabla \rho ^{-1}\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr\Vert _{3}, \qquad \bigl\Vert \nabla q^{-1}\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon } \bigr) \bigr\Vert _{3} \leq C(M_{0})\varepsilon \bigl(1 + D^{4}\bigr). \end{aligned}$$

Then we have

$$\begin{aligned} I_{3} \leq &\frac{1}{\varepsilon } \bigl( \bigl\Vert \bigl[\partial _{x}^{\alpha }, q^{-1}\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\bigr]\operatorname{div}U \bigr\Vert \bigl\Vert q^{\varepsilon }P_{\alpha } \bigr\Vert + \bigl\Vert \bigl[\partial _{x}^{\alpha }, \rho ^{-1}\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\bigr]\nabla P \bigr\Vert \bigl\Vert \tilde{\rho }^{\varepsilon }U_{\alpha } \bigr\Vert \bigr) \\ \leq & \frac{C}{\varepsilon }\bigl( \bigl\Vert \nabla q^{-1} \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr\Vert _{3} \Vert \operatorname{div}U \Vert _{3} \Vert P_{\alpha } \Vert + \bigl\Vert \nabla \rho ^{-1} \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr\Vert _{3} \Vert \nabla P \Vert _{3} \Vert U_{\alpha } \Vert \bigr) \\ \leq & C(M_{0}) \bigl(1 + D^{4}\bigr) \bigl( \Vert \operatorname{div}U \Vert _{3} \Vert P_{\alpha } \Vert + \Vert \nabla P \Vert _{3} \Vert U_{\alpha } \Vert \bigr) \\ \leq & C(M_{0}) \bigl(1 + D^{4}\bigr) \bigl( \Vert U \Vert _{4}^{2} + \Vert P \Vert _{4}^{2} \bigr). \end{aligned}$$

To estimate \(I_{4}\), we first use integration by parts to obtain

$$\begin{aligned} I_{4} =&-\varepsilon ^{-1}\kappa ' \int _{\varOmega }\Delta \tilde{\rho }_{\alpha }^{\varepsilon } \bigl(\varepsilon \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)U_{\alpha }\nabla \tilde{p}^{\varepsilon }+ \tilde{\rho }^{\varepsilon }\operatorname{div} U_{\alpha } \bigr) \,dx \\ \leq &C(M_{0}) (1+D) \bigl\Vert \Delta \tilde{\rho }^{\varepsilon }_{\alpha } \bigr\Vert \Vert U_{\alpha } \Vert - \varepsilon ^{-1}\kappa ' \int _{\varOmega }\tilde{\rho }^{\varepsilon }\Delta \tilde{\rho }_{\alpha }^{\varepsilon }\operatorname{div}U_{\alpha }\,dx. \end{aligned}$$


$$ \tilde{\rho }^{\varepsilon }\operatorname{div}U_{\alpha }= \tilde{\rho }^{\varepsilon }\operatorname{div}\partial _{x}^{\alpha } \tilde{u}^{\varepsilon }=-\bigl( \partial _{t}\tilde{\rho }_{\alpha }^{\varepsilon }+ \partial _{x}^{\alpha }\bigl( \tilde{u}^{\varepsilon }\cdot \nabla \tilde{\rho }^{\varepsilon }\bigr) + \bigl[ \partial _{x}^{\alpha }, \tilde{\rho }^{\varepsilon }\bigr] \operatorname{div} \tilde{u}^{\varepsilon }\bigr) , $$

the second term on the right-hand side of (5.12) can be estimated as

$$\begin{aligned}& -\varepsilon ^{-1}\kappa ' \int _{\varOmega }\tilde{\rho }^{\varepsilon}\Delta \tilde{\rho }_{\alpha }^{\varepsilon }\operatorname{div} U_{\alpha }\,dx \\& \quad =\varepsilon ^{-1}\kappa ' \int _{\varOmega }\Delta \tilde{\rho }_{\alpha }^{\varepsilon } \partial _{t}\tilde{\rho }_{\alpha }^{\varepsilon }\,dx + \varepsilon ^{-1}\kappa ' \int _{\varOmega }\Delta \tilde{\rho }_{\alpha }^{\varepsilon } \bigl(\partial _{x}^{\alpha }\bigl(\tilde{u}^{\varepsilon }\cdot \nabla \tilde{\rho }^{\varepsilon }\bigr)+\bigl[\partial _{x}^{\alpha }, \tilde{\rho }^{\varepsilon }\bigr]\operatorname{div}\tilde{u}^{\varepsilon } \bigr)\,dx \\& \quad \leq -\frac{\kappa '}{2\varepsilon }\frac{d}{dt} \int _{\varOmega } \bigl\vert \nabla \tilde{\rho }_{\alpha }^{\varepsilon } \bigr\vert ^{2}\,dx + C\varepsilon ^{-1} \bigl\Vert \Delta \tilde{\rho }_{\alpha }^{\varepsilon } \bigr\Vert \bigl\Vert \tilde{u}^{\varepsilon} \bigr\Vert _{4} \bigl\Vert \nabla \tilde{ \rho }^{\varepsilon } \bigr\Vert _{4}. \end{aligned}$$


$$\begin{aligned} \nabla \tilde{\rho }^{\varepsilon }=\varepsilon \rho ' \bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla \tilde{p}^{\varepsilon }= \varepsilon \rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr) (\nabla P+ \nabla p_{\varepsilon }) \end{aligned}$$


$$\begin{aligned} \Delta \tilde{\rho }_{\alpha }^{\varepsilon } =&\varepsilon \rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr) \Delta P_{\alpha }+\varepsilon \bigl[ \partial _{x}^{\alpha }, \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr] \Delta P+\varepsilon \partial _{x}^{\alpha }\bigl(\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \Delta p_{\varepsilon }\bigr) \\ &{}+\varepsilon ^{2}\partial _{x}^{\alpha }\bigl(\rho ''\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigl(\nabla \tilde{p}^{\varepsilon } \bigr)^{2}\bigr), \end{aligned}$$

we have

$$\begin{aligned} \bigl\Vert \nabla \tilde{\rho }^{\varepsilon } \bigr\Vert _{4}\leq C(M_{0}) \biggl( \varepsilon \sum_{ \vert \alpha \vert =4} \Vert \nabla P_{\alpha } \Vert + \varepsilon \bigl(1+D^{4} \bigr) \Vert \nabla P \Vert _{3} + \varepsilon ^{2} \biggr) \end{aligned}$$


$$\begin{aligned} \bigl\Vert \Delta \tilde{\rho }_{\alpha }^{\varepsilon } \bigr\Vert \leq C(M_{0}) \bigl( \varepsilon \Vert \Delta P_{\alpha } \Vert + \varepsilon \bigl(1+D^{4}\bigr) \Vert \Delta P \Vert _{3}+ \varepsilon \bigl(1+D^{5}\bigr) \Vert P \Vert _{4}+ \varepsilon ^{2} \bigr). \end{aligned}$$

Moreover, due to

$$\begin{aligned} \nabla \tilde{\rho }_{\alpha }^{\varepsilon } =&\varepsilon \partial _{x}^{\alpha }\bigl(\rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla \tilde{p}^{\varepsilon }\bigr) \\ =&\varepsilon \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \nabla P_{\alpha }+\varepsilon \bigl[\partial _{x}^{\alpha },\rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\bigr]\nabla P+\varepsilon \partial _{x}^{\alpha }\bigl(\rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla p_{ \varepsilon }\bigr), \end{aligned}$$

a straightforward calculation yields

$$\begin{aligned}& -\frac{d}{dt} \int _{\varOmega } \bigl\vert \nabla \tilde{\rho }_{\alpha }^{\varepsilon } \bigr\vert ^{2}\,dx \\& \quad =-\varepsilon ^{2}\frac{d}{dt} \int _{\varOmega } \bigl\vert \rho ' \bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P_{\alpha } \bigr\vert ^{2}\,dx \\& \qquad {}-2 \varepsilon ^{2} \int _{\varOmega } \bigl(\partial _{x}^{\alpha }\bigl( \rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon } \bigr)\nabla p_{\varepsilon }\bigr)+\bigl[\partial _{x}^{\alpha }, \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr]\nabla P \\& \qquad {}+\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P_{\alpha } \bigr) \cdot \partial _{x}^{\alpha } \bigl(\rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla p_{\varepsilon t}+\varepsilon \rho ''\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\tilde{p}_{t}^{\varepsilon }\nabla p_{\varepsilon } \bigr)\,dx \\& \qquad {}-2\varepsilon ^{2} \int _{\varOmega } \bigl(\bigl[\partial _{x}^{\alpha }, \rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon } \bigr)\bigr]\nabla P+\rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P_{\alpha }+\partial _{x}^{\alpha } \bigl(\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon } \bigr)\nabla p_{ \varepsilon }\bigr) \bigr) \\& \qquad {}\cdot \bigl(\bigl[\partial _{x}^{\alpha },\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr]\nabla P_{t}+\bigl[\partial _{x}^{\alpha }, \varepsilon \rho ''\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \tilde{p}_{t}^{\varepsilon }\bigr]\nabla P \bigr)\,dx \\& \qquad {}-2\varepsilon ^{2} \int _{\varOmega } \bigl(\rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P_{ \alpha t} \\& \qquad {}+\varepsilon \rho ''\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr) \tilde{p}_{t}^{\varepsilon } \nabla P_{\alpha } \bigr)\cdot \bigl(\bigl[ \partial _{x}^{\alpha }, \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr] \nabla P+\partial _{x}^{\alpha }\bigl(\rho ' \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla p_{\varepsilon }\bigr) \bigr)\,dx \\& \quad =:-\varepsilon ^{2}\frac{d}{dt} \int _{\varOmega } \bigl\vert \rho ' \bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P_{\alpha } \bigr\vert ^{2}\,dx+I_{41}+I_{42}+I_{43}. \end{aligned}$$

Using (1.8)2 and Lemma 4.1, Lemma 3.1, Lemma 5.15.2, and integration by parts, it is easy to obtain

$$\begin{aligned} I_{41} =&-2\varepsilon ^{2} \int _{\varOmega }F\cdot \partial _{x}^{\alpha }\bigl( \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \nabla p_{ \varepsilon t}\bigr)\,dx \\ &{}+2\varepsilon ^{2} \int _{\varOmega }F \cdot \partial _{x}^{\alpha } \bigl( \rho ''\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigl(q\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)^{-1}\operatorname{div}u_{\varepsilon }\\ &{}+ \varepsilon (U+u_{\varepsilon })\nabla (P+p_{\varepsilon })\bigr) \nabla p_{\varepsilon } \bigr)\,dx \\ &{}-2\varepsilon ^{2} \int _{\varOmega }\nabla \bigl(q\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)^{-1}F\bigr) \cdot \partial _{x}^{\alpha }U\,dx+2 \varepsilon ^{2} \int _{\varOmega }F \cdot \bigl[\partial _{x}^{\alpha },q \bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)^{-1} \bigr]\operatorname{div}U\,dx \\ \leq & C(M_{0}) \bigl(1+D^{8}\bigr) \bigl( \Vert P \Vert _{4}^{2}+ \bigl\Vert \varepsilon ^{\frac{1}{2}} \nabla P_{\alpha } \bigr\Vert ^{2}+ \Vert U \Vert _{4}^{2}\bigr)+\frac{\delta }{3} \bigl\Vert \varepsilon ^{ \frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2}+C(M_{0}) \varepsilon ^{2} \end{aligned}$$

with \(F=\partial _{x}^{\alpha }(\rho '(p_{0}+\varepsilon \tilde{p}^{\varepsilon })\nabla p_{\varepsilon })+[\partial _{x}^{\alpha },\rho '(p_{0}+ \varepsilon \tilde{p}^{\varepsilon })]\nabla P+\rho '(p_{0}+ \varepsilon \tilde{p}^{\varepsilon })\nabla P_{\alpha }\), here and in the following, δ is a proper positive constant, which is determined. Moreover, with the help of (5.1)1 and using Lemma 4.1, Lemma 3.1, and Lemma 5.15.2, we can obtain

$$\begin{aligned} I_{42}\leq C(M_{0}) \bigl(1+D^{10}\bigr) \bigl( \Vert P \Vert _{4}^{2}+ \bigl\Vert \varepsilon ^{\frac{1}{2}} \nabla P_{\alpha } \bigr\Vert ^{2}+ \Vert U \Vert _{4}^{2}\bigr)+\frac{\delta }{3} \bigl\Vert \varepsilon ^{ \frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2}+C(M_{0})\varepsilon ^{2}. \end{aligned}$$

Similarly, using (5.4), Lemma 4.1, Lemma 3.1, and Lemma 5.15.2, we can obtain

$$\begin{aligned} I_{43}\leq C(M_{0}) \bigl(1+D^{10}\bigr) \bigl( \Vert P \Vert _{4}^{2}+ \bigl\Vert \varepsilon ^{\frac{1}{2}} \nabla P_{\alpha } \bigr\Vert ^{2}+ \Vert U \Vert _{4}^{2}\bigr)+\frac{\delta }{3} \bigl\Vert \varepsilon ^{ \frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2}+C(M_{0})\varepsilon ^{2}. \end{aligned}$$

Therefore, substitution of the above inequalities and (5.15) into (5.12) yields

$$\begin{aligned} I_{4} \leq &-\frac{\kappa '\varepsilon }{2}\frac{d}{dt} \int _{\varOmega } \bigl\vert \rho ' \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P_{\alpha } \bigr\vert ^{2}\,dx+2 \delta \bigl\Vert \varepsilon ^{\frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2} \\ &{}+C(M_{0}) \bigl(1+D^{10}\bigr) \bigl( \Vert P \Vert _{4}^{2}+ \bigl\Vert \varepsilon ^{\frac{1}{2}}\nabla P_{\alpha } \bigr\Vert ^{2}+ \Vert U \Vert _{4}^{2}\bigr)+\delta \bigl\Vert \varepsilon ^{\frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2}+C(M_{0}) \varepsilon ^{2}. \end{aligned}$$

Finally, from (5.6), we deduce that

$$\begin{aligned} I_{5}\leq C(M_{0})\varepsilon ^{2} + C(M_{0}) (1+D) \bigl( \Vert P \Vert ^{2}_{4} + \Vert U_{\alpha } \Vert ^{2}\bigr). \end{aligned}$$

Hence, putting the estimates of \(I_{i}\) (\(i=1,2,\ldots ,5\)) into (5.9), we have

$$\begin{aligned}& \frac{1}{2}\frac{d}{dt} \int _{\varOmega } \bigl(q^{\varepsilon }P_{\alpha }^{2}+ \tilde{\rho }^{\varepsilon } \vert U_{\alpha } \vert ^{2}+ \kappa '\varepsilon \bigl\vert \rho ' \bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla P_{\alpha } \bigr\vert ^{2} \bigr)\,dx \\& \quad \leq C(M_{0}) \bigl(\varepsilon ^{2} + \bigl(1+D^{10}\bigr) \bigl( \bigl\Vert \varepsilon ^{ \frac{1}{2}} \nabla P_{\alpha } \bigr\Vert ^{2}+ \Vert P \Vert _{4}^{2}+ \Vert U \Vert _{4}^{2} \bigr) \bigr)+ \delta \bigl\Vert \varepsilon ^{\frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2}. \end{aligned}$$

To control the term with δ, we multiply (5.8) by \(\varepsilon \rho (p_{0}+\varepsilon \tilde{p}^{\varepsilon })\nabla P_{\alpha }\) and integrate the resultant equality by parts over Ω to obtain

$$\begin{aligned}& \frac{d}{dt} \int _{\varOmega }\varepsilon \tilde{\rho }^{\varepsilon }U_{\alpha } \nabla P_{\alpha }\,dx + \int _{\varOmega } \vert \nabla P_{\alpha } \vert ^{2}\,dx \\& \quad = \biggl(\varepsilon \int _{\varOmega }\tilde{\rho }^{\varepsilon }U_{\alpha}\nabla P_{\alpha t}\,dx+\varepsilon \int _{\varOmega }\tilde{\rho }^{\varepsilon }_{t}U_{\alpha } \nabla P_{\alpha }\,dx \biggr) \\& \qquad {}-\varepsilon \int _{\varOmega }\tilde{\rho }^{\varepsilon }\nabla P_{\alpha } \bigl(\tilde{u}^{\varepsilon }\cdot \nabla U_{\alpha }+\partial _{x}^{\alpha }(U\cdot \nabla u_{\varepsilon }) \\& \qquad {}+ \bigl[\partial _{x}^{\alpha }, \tilde{u}^{\varepsilon }\bigr]\nabla U + \varepsilon ^{-1}\bigl[\partial _{x}^{\alpha }, \rho ^{-1}\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr]\nabla P \bigr) \,dx \\& \qquad {}+ \kappa ' \int _{\varOmega }\tilde{\rho }^{\varepsilon }\nabla \Delta \tilde{\rho }_{\alpha }^{\varepsilon }\nabla P_{\alpha }\,dx+\varepsilon \int _{\varOmega }\tilde{\rho }^{\varepsilon }\partial _{x}^{\alpha }f_{2} \nabla P_{\alpha }\,dx \\& \quad =:H_{1}+H_{2}+H_{3}+H_{4}. \end{aligned}$$

We estimate the \(H_{i}\) as follows. By using integration by parts, it follows from (5.7), (1.8)1, Lemma 3.1, and Lemma 5.15.2 that

$$\begin{aligned} H_{1} =&\varepsilon \int _{\varOmega }\bigl(\rho \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\operatorname{div}U_{\alpha }+\varepsilon \rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr) \nabla \tilde{p}^{\varepsilon }U_{\alpha }\bigr) \bigl(\tilde{u}^{\varepsilon } \cdot \nabla P_{\alpha }+\bigl[\partial _{x}^{\alpha }, \tilde{u}^{\varepsilon }\bigr]\nabla P \\ &{}+\partial _{x}^{\alpha }(U\cdot \nabla p_{\varepsilon })+ \varepsilon ^{-1}\bigl[ \partial _{x}^{\alpha }, q^{-1} \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr]\operatorname{div}U-\partial _{x}^{\alpha }f_{1} \bigr)\,dx \\ &{}-\varepsilon \int _{\varOmega }\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigl(\varepsilon \tilde{u}^{\varepsilon }\nabla \tilde{p}^{\varepsilon }+q^{-1}\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \operatorname{div}\tilde{u}^{\varepsilon }\bigr) U_{\alpha }\nabla P_{\alpha }\,dx \\ \leq &C\varepsilon \bigl( \Vert \operatorname{div}U_{\alpha } \Vert + \varepsilon \bigl\Vert \nabla \tilde{p}^{\varepsilon }U_{\alpha } \bigr\Vert \bigr) \bigl( \bigl\Vert \tilde{u}^{\varepsilon }\nabla P_{\alpha } \bigr\Vert + \bigl\Vert \bigl[\partial _{x}^{\alpha }, \tilde{u}^{\varepsilon }\bigr]\nabla P \bigr\Vert + \bigl\Vert \partial _{x}^{\alpha }(U\cdot \nabla p_{\varepsilon }) \bigr\Vert \\ &{}+\varepsilon ^{-1} \bigl\Vert \bigl[\partial _{x}^{\alpha },q^{-1} \bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\bigr] \operatorname{div}U \bigr\Vert + \bigl\Vert \partial _{x}^{\alpha }f_{1} \bigr\Vert \bigr) \\ \leq &C\varepsilon \bigl( \Vert \operatorname{div}U_{\alpha } \Vert + \varepsilon \bigl\Vert \nabla \tilde{p}^{\varepsilon } \bigr\Vert _{L^{\infty }} \Vert U_{\alpha } \Vert \bigr) \\ &{}\times\bigl( \bigl\Vert \tilde{u}^{\varepsilon } \bigr\Vert _{L^{\infty }} \Vert \nabla P_{\alpha } \Vert + \bigl\Vert \nabla \tilde{u}^{\varepsilon } \bigr\Vert _{3} \Vert \nabla P \Vert _{3}+ \Vert U \Vert _{4} \Vert \nabla p_{\varepsilon } \Vert _{4} \\ &{}+\varepsilon ^{-1} \bigl\Vert \nabla q^{-1} \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr\Vert _{3} \Vert \operatorname{div}U \Vert _{3}+ \bigl\Vert \partial _{x}^{\alpha }f_{1} \bigr\Vert \bigr) \\ \leq & \frac{\delta }{3} \bigl\Vert \varepsilon ^{\frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2} +C(M_{0}) \varepsilon ^{2}+ C(M_{0}) \bigl(1+ D^{4}\bigr) \bigl( \Vert P \Vert _{4}^{2}+ \bigl\Vert \varepsilon ^{ \frac{1}{2}} \nabla P_{\alpha } \bigr\Vert ^{2}+ \Vert U \Vert _{4}^{2}\bigr). \end{aligned}$$

Next, as for \(I_{2}\), \(I_{3}\) and \(I_{5}\), it is easy to compute

$$\begin{aligned} H_{2}\leq \frac{\delta }{3} \bigl\Vert \varepsilon ^{\frac{1}{2}} \Delta P_{\alpha } \bigr\Vert ^{2}+ C(M_{0}) \bigl(1+ D^{8}\bigr) \bigl( \Vert P \Vert _{4}^{2}+ \bigl\Vert \varepsilon ^{\frac{1}{2}}\nabla P_{\alpha } \bigr\Vert ^{2}+ \Vert U \Vert _{4}^{2}\bigr) \end{aligned}$$


$$\begin{aligned} H_{4}\leq C(M_{0})\varepsilon ^{2} + C(M_{0}) \bigl\Vert \varepsilon ^{\frac{1}{2}} \nabla P_{\alpha } \bigr\Vert ^{2}. \end{aligned}$$

Finally, noting (5.13) and (5.14), we have

$$\begin{aligned} H_{3} =&-\kappa ' \int _{\varOmega } \bigl(\rho \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\Delta \tilde{\rho }_{\alpha }^{\varepsilon } \Delta P_{\alpha }+\varepsilon \rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr) \Delta \tilde{\rho }_{\alpha }^{\varepsilon } \nabla \tilde{p}^{\varepsilon }\nabla P_{\alpha } \bigr) \,dx \\ =&-\kappa '\varepsilon \int _{\varOmega }\rho \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) (\Delta P_{\alpha })^{2}\,dx\\ &{}-\kappa '\varepsilon \int _{\varOmega }\rho \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\Delta P_{\alpha } \bigl(\bigl[\partial _{x}^{\alpha },\rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\bigr]\Delta P \\ &{}+\partial _{x}^{\alpha }\bigl(\rho ' \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\Delta p_{\varepsilon }\bigr)+\varepsilon \partial _{x}^{\alpha }\bigl( \rho ''\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigl(\nabla \tilde{p}^{\varepsilon } \bigr)^{2}\bigr) \bigr)\,dx \\ &{}-\kappa '\varepsilon \int _{\varOmega }\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\nabla \tilde{p}^{\varepsilon }\nabla P_{\alpha} \bigl(\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon } \bigr)\Delta P_{\alpha }+\bigl[ \partial _{x}^{\alpha },\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigr] \Delta P \\ &{}+\varepsilon \partial _{x}^{\alpha }\bigl(\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \Delta p_{\varepsilon }\bigr)+\varepsilon \partial _{x}^{\alpha } \bigl(\rho ''\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \bigl(\nabla \tilde{p}^{\varepsilon } \bigr)^{2}\bigr) \bigr)\,dx \\ \leq &-\kappa '\varepsilon \int _{\varOmega }\rho \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr)\rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) (\Delta P_{\alpha })^{2}\,dx+ \frac{\delta }{3} \bigl\Vert \varepsilon ^{ \frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2} \\ &{}+ C(M_{0}) \bigl(1 + D^{10}\bigr) \bigl( \Vert P \Vert _{4}^{2}+ \bigl\Vert \varepsilon ^{\frac{1}{2}} \nabla P \bigr\Vert _{4}^{2}\bigr)+C(M_{0}) \varepsilon ^{2}. \end{aligned}$$

Hence, inserting the above estimates of the \(H_{i}\) into (5.17) yields

$$\begin{aligned}& \frac{d}{dt} \int _{\mathbb{R}^{3}}\varepsilon \rho \bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr) U_{\alpha }\nabla P_{\alpha }\,dx + \int _{\mathbb{R}^{3}} \bigl( \vert \nabla P_{\alpha } \vert ^{2} +\kappa ' \varepsilon \rho \bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr)\rho '\bigl(p_{0}+ \varepsilon \tilde{p}^{\varepsilon }\bigr) (\Delta P_{\alpha })^{2} \bigr)\,dx \\& \quad \leq \delta \bigl\Vert \varepsilon ^{\frac{1}{2}}\Delta P_{\alpha } \bigr\Vert ^{2} + C(M_{0}) \bigl(1 + D^{10}\bigr) \bigl( \Vert P \Vert _{4}^{2}+ \bigl\Vert \varepsilon ^{\frac{1}{2}}\nabla P \bigr\Vert _{4}^{2}+ \Vert U \Vert _{4}^{2}\bigr)+C(M_{0}) \varepsilon ^{2}. \end{aligned}$$

Finally, choose the proper constant \(\lambda >0\), which satisfies

$$\begin{aligned} \frac{1}{2}\bigl(\tilde{\rho }^{\varepsilon } \vert U_{\alpha } \vert ^{2}+\kappa ' \varepsilon \bigl\vert \rho '\bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) \nabla P_{\alpha } \bigr\vert ^{2}\bigr)+\lambda \varepsilon \rho \bigl(p_{0}+\varepsilon \tilde{p}^{\varepsilon }\bigr) U_{\alpha } \nabla P_{\alpha }\geq \frac{1}{4}\bigl( \vert U_{\alpha } \vert ^{2}+ \kappa '\varepsilon \vert \nabla P_{\alpha } \vert ^{2}\bigr). \end{aligned}$$

Further, let us take \(\delta >0\) with \(\delta <\frac{\lambda }{2(\lambda +1)}\kappa '\rho (\frac{1}{2}p_{0})c_{1}\). Therefore, combining (5.16) and (5.18), we obtain

$$\begin{aligned}& \frac{d}{dt}\biggl( \Vert P \Vert _{4}^{2}+ \Vert U \Vert _{4}^{2}+\sum_{{ \vert \beta \vert =5}} \bigl\Vert \varepsilon ^{\frac{1}{2}}\partial _{x}^{\beta }P \bigr\Vert ^{2}\biggr)+ \biggl( \Vert \nabla U \Vert _{4}^{2}+ \Vert \nabla P \Vert _{4}^{2}+ \sum_{{ \vert \gamma \vert =4}} \bigl\Vert \varepsilon ^{ \frac{1}{2}} \Delta \partial _{x}^{\gamma }P \bigr\Vert ^{2}\biggr) \\& \quad \leq C(M_{0}) \bigl(1 +D^{10}\bigr) \biggl( \Vert P \Vert _{4}^{2}+ \Vert U \Vert _{4}^{2}+ \sum_{{ \vert \beta \vert =5}} \bigl\Vert \varepsilon ^{\frac{1}{2}} \partial _{x}^{\beta }P \bigr\Vert ^{2} \biggr)+C(M_{0})\varepsilon ^{2}. \end{aligned}$$

Then we integrate (5.19) from 0 to T with \([0,T]\subset [0,\min \{T_{\varepsilon },T_{0}\})\) to obtain

$$\begin{aligned}& \Vert P \Vert _{4}^{2}+ \Vert U \Vert _{4}^{2}+\sum_{{ \vert \beta \vert =5}} \bigl\Vert \varepsilon ^{\frac{1}{2}}\partial _{x}^{\beta }P \bigr\Vert ^{2}+ \int _{0}^{T}\biggl( \Vert \nabla U \Vert _{4}^{2}+ \Vert \nabla P \Vert _{4}^{2}+ \sum_{{ \vert \gamma \vert =4}} \bigl\Vert \varepsilon ^{\frac{1}{2}} \Delta \partial _{x}^{\gamma }P \bigr\Vert ^{2} \biggr)\,dt \\& \quad \leq C(M_{0})T\varepsilon ^{2} + C(M_{0}) \int _{0}^{T}\bigl(1 +D^{10}\bigr) \biggl( \Vert P \Vert _{4}^{2}+ \Vert U \Vert _{4}^{2}+\sum_{{ \vert \beta \vert =5}} \bigl\Vert \varepsilon ^{\frac{1}{2}}\partial _{x}^{\beta }P \bigr\Vert ^{2}\biggr)\,dt. \end{aligned}$$

Here, we have used the fact that the initial data are in equilibrium. Furthermore, we apply Gronwall’s inequality (refer to Theorem 6.2 in [10]) to (5.20) to obtain

$$\begin{aligned} \Vert P \Vert _{4}^{2}+ \Vert U \Vert _{4}^{2}+\sum_{{ \vert \beta \vert =5}} \bigl\Vert \varepsilon ^{\frac{1}{2}}\partial _{x}^{\beta }P \bigr\Vert ^{2}\leq C(M_{0})T_{0} \varepsilon ^{2} \exp \biggl[C(M_{0}) \int _{0}^{T}\bigl(1 +D^{10}\bigr)\,dt \biggr]. \end{aligned}$$

Denote by \(\varepsilon Q(T)\) the right-hand side of (5.21), that is,

$$\begin{aligned} Q(T)= C(M_{0})T_{0}\varepsilon \exp \biggl[C(M_{0}) \int _{0}^{T}\bigl(1 +D^{10}\bigr)\,dt \biggr]. \end{aligned}$$

Recall that \(\|P\|_{4}^{2}+\|U\|_{4}^{2}+\sum_{|\beta |=5}\|\varepsilon ^{ \frac{1}{2}}\partial _{x}^{\beta }P\|^{2}=D^{2}\); then, due to (5.21) and \(\varepsilon \in (0,1)\), it follows that

$$\begin{aligned} D(T)^{2} \leq \varepsilon Q(T)\leq Q(T). \end{aligned}$$


$$\begin{aligned} Q'(t)=C(M_{0}) \bigl(1 + D^{10}\bigr)Q(t)\leq C(M_{0})Q(t)+C(M_{0})Q^{6}(t),\quad t \in [0,T]. \end{aligned}$$

Applying the nonlinear Gronwall-type inequality (refer to Lemma 6.3 in [36]) to the last inequality yields

$$\begin{aligned} Q(t)\leq e^{CT_{0}} \end{aligned}$$

for \(t\in [0,T]\subset [0,\min \{T_{0},T_{\varepsilon }\})\) if we choose ε so small that

$$\begin{aligned} Q(0)=C(M_{0})T_{0}{\varepsilon }\leq e^{-C(M_{0})T_{0}}. \end{aligned}$$

That is, \(Q(T)\) is uniformly bound. Because of (5.22), there exists a constant c, independent of ε, such that

$$\begin{aligned} D(T)\leq c, \end{aligned}$$

for \(T\in [0,\min \{T_{0},T_{\varepsilon }\})\). Finally, estimate (4.4) holds from (5.21) and (5.23). This completes the proof of Theorem 4.1.


  1. Alazard, T.: Low Mach number limit of the full Navier–Stokes equations. Arch. Ration. Mech. Anal. 180, 1–73 (2006)

    Article  MathSciNet  Google Scholar 

  2. Audiard, C.: Kreiss symmetrizer and boundary conditions for the Euler–Korteweg system in a half space. J. Differ. Equ. 249, 599–620 (2010)

    Article  MathSciNet  Google Scholar 

  3. Audiard, C.: Dispersive smoothing for the Euler–Korteweg model. SIAM J. Math. Anal. 44, 3018–3040 (2012)

    Article  MathSciNet  Google Scholar 

  4. Audiard, C.: Small energy traveling waves for the Euler–Korteweg system. Nonlinearity 30, 3362–3399 (2017)

    Article  MathSciNet  Google Scholar 

  5. Audiard, C., Haspot, B.: Global well-posedness of the Euler–Korteweg system for small irrotational data. Commun. Math. Phys. 351, 201–247 (2017)

    Article  MathSciNet  Google Scholar 

  6. Benzoni-Gavage, S., Danchin, R., Descombes, S.: Well-posedness of one-dimensional Korteweg models. Electron. J. Differ. Equ. 2006, 59, 1–35 (2006)

    MathSciNet  MATH  Google Scholar 

  7. Benzoni-Gavage, S., Danchin, R., Descombes, S.: On the well-posedness for the Euler–Korteweg model in several space dimensions. Indiana Univ. Math. J. 56, 1499–1579 (2007)

    Article  MathSciNet  Google Scholar 

  8. Bresch, D., Desjardins, B., Grenier, E., Lin, C.K.: Low Mach number limit of viscous polytropic flows: formal asymptotics in the periodic case. Stud. Appl. Math. 109, 125–149 (2002)

    Article  MathSciNet  Google Scholar 

  9. Cheng, B.: Improved accuracy of incompressible approximation of compressible Euler equations. SIAM J. Math. Anal. 46, 3838–3864 (2014)

    Article  MathSciNet  Google Scholar 

  10. Cloud, M.J., Drachman, B.C., Lebedev, L.P.: Inequalities with Applications to Engineering, 2nd edn. Springer, New York (1984)

    MATH  Google Scholar 

  11. Craciun, E.M., Baesu, E., Soos, E.: General solution in terms of complex potentials for incremental antiplane states in prestressed and prepolarized piezoelectric crystals: application to mode III fracture propagation. IMA J. Appl. Math. 70, 39–52 (2005)

    Article  MathSciNet  Google Scholar 

  12. Danchin, R.: Zero Mach number limit for compressible flows with periodic boundary conditions. Am. J. Math. 124, 1153–1219 (2002)

    Article  MathSciNet  Google Scholar 

  13. Desjardins, B., Grenier, E.: Low Mach number limit of viscous compressible flows in the whole space. R. Soc. Lond. Proc., Ser. A, Math. Phys. Eng. Sci. 455, 2271–2279 (1999)

    Article  MathSciNet  Google Scholar 

  14. Desjardins, B., Grenier, E., Lions, P.L., Masmoudi, N.: Incompressible limit for solutions of the isentropic Navier–Stokes equations with Dirichlet boundary conditions. J. Math. Pures Appl. 78, 461–471 (1999)

    Article  MathSciNet  Google Scholar 

  15. Dontelli, D., Trivisa, K.: From the dynamics of gaseous stars to the incompressible Euler equations. J. Differ. Equ. 245, 1356–1385 (2008)

    Article  MathSciNet  Google Scholar 

  16. Feireseisl, E., Novotný, A.: The low Mach number limit for the full Navier–Stokes–Fourier system. Arch. Ration. Mech. Anal. 186, 77–107 (2007)

    Article  MathSciNet  Google Scholar 

  17. Giesselmann, J.: Low Mach asymptotic-preserving scheme for the Euler–Korteweg model. IMA J. Numer. Anal. 35, 802–833 (2015)

    Article  MathSciNet  Google Scholar 

  18. Giesselmann, J., Tzavaras, A.E.: Stability properties of the Euler–Korteweg system with nonmonotone pressures. Appl. Anal. 96, 1528–1546 (2017)

    Article  MathSciNet  Google Scholar 

  19. Hoff, D.: The zero-Mach limit of compressible flows. Commun. Math. Phys. 192, 543–554 (1998)

    Article  MathSciNet  Google Scholar 

  20. Hu, X.P., Wang, D.H.: Low Mach number limit of viscous compressible magnetohydrodynamic flows. SIAM J. Math. Anal. 41, 1272–1294 (2009)

    Article  MathSciNet  Google Scholar 

  21. Jamet, D., Lebaigue, O., Coutris, N., Delhaye, J.M.: The second gradient method theory: a tool of the direct numerical simulation of liquid-vapor flows with phase-change. Nucl. Eng. Des. 204, 155–166 (2001)

    Article  Google Scholar 

  22. Kato, T.: Nonstationary flow of viscous and ideal fluids in \(\mathbb{R}^{3}\). J. Funct. Anal. 9, 296–305 (1972)

    Article  Google Scholar 

  23. Klainerman, S., Majda, A.: Singular limits of quasilinear hyperbolic systems with large parameters and the incompressible limit of compressible fluids. Commun. Pure Appl. Math. 34, 481–524 (1981)

    Article  MathSciNet  Google Scholar 

  24. Li, Y.P.: Convergence of the compressible magnetohydrodynamic equations to incompressible magnetohydrodynamic equations. J. Differ. Equ. 252, 2725–2738 (2012)

    Article  MathSciNet  Google Scholar 

  25. Li, Y.P., Yong, W.A.: Zero Mach number limit of the compressible Navier–Stokes–Korteweg equations. Commun. Math. Sci. 14, 233–247 (2016)

    Article  MathSciNet  Google Scholar 

  26. Lin, C.K.: On the incompressible limit of the compressible Navier–Stokes equations. Commun. Partial Differ. Equ. 20, 677–707 (1995)

    Article  MathSciNet  Google Scholar 

  27. Lions, P.L., Masmoudi, N.: Incompressible limit for a viscous compressible fluid. J. Math. Pures Appl. (9) 77, 585–627 (1998)

    Article  MathSciNet  Google Scholar 

  28. Majda, A.: Compressible Fluid Flow and Systems of Conservation Laws in Several Space Variables. Springer, New York (1984)

    Book  Google Scholar 

  29. Marin, M., Bhatti, M.M.: Head-on collision between capillary–gravity solitary waves. Bound. Value Probl. 2020, 12, 1–18 (2020)

    Article  MathSciNet  Google Scholar 

  30. Marin, M., Nicaise, S.: Existence and stability results for thermoelastic dipolar bodies with double porosity. Contin. Mech. Thermodyn. 28, 1645–1657 (2016)

    Article  MathSciNet  Google Scholar 

  31. Masmoudi, N.: Incompressible, inviscid limit of the compressible Navier–Stokes system. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 18, 199–224 (2001)

    Article  MathSciNet  Google Scholar 

  32. McGrath, F.J.: Nonstationary plane flow of viscous and ideal fluids. Arch. Ration. Mech. Anal. 27, 329–348 (1967)

    Article  MathSciNet  Google Scholar 

  33. Métivier, G., Schochet, S.: The incompressible limit of the non-isentropic Euler equations. Arch. Ration. Mech. Anal. 158, 61–90 (2001)

    Article  MathSciNet  Google Scholar 

  34. Rowlinson, J.S.: Translation of J.D. van der Waals’ “The thermodynamic theory of capillarity under the hypothesis of a continuous variation of density”. J. Stat. Phys. 20, 197–244 (1979)

    Article  MathSciNet  Google Scholar 

  35. Truesdell, C., Noll, W.: The Nonlinear Field Theories of Mechanics, 2nd edn. Springer, Berlin (1992)

    Book  Google Scholar 

  36. Yong, W.A.: Singular perturbations of first-order hyperbolic systems with stiff source terms. J. Differ. Equ. 155, 89–132 (1999)

    Article  MathSciNet  Google Scholar 

  37. Yong, W.A.: Basic aspects of hyperbolic relaxation systems. In: Freistuhler, H., Szepessy, A. (eds.) Advances in the Theory of Shock Waves. Progr. in Nonlinear Differential Equations and Their Applications, vol. 47, pp. 259–305. Birkhäuser Boston, Boston (2001)

    Chapter  Google Scholar 

  38. Yong, W.A.: A note on the zero Mach number limit of the compressible Euler equations. Proc. Am. Math. Soc. 133, 3079–3085 (2005)

    Article  MathSciNet  Google Scholar 

Download references


Both authors would like to express their thanks to BVP for considering this paper to be published. Both authors also thank the anonymous reviewers for their valuable comments, which have greatly improved the manuscript.

Availability of data and materials

Not applicable.


The research is supported in part by the National Science Foundation of China (Grant No. 11671134) and Applied Mathematics Project of Shanghai Dianji University (Grant No. 16JCXK02).

Author information

Authors and Affiliations



Both authors declare that they have made equal contributions in this article. Both authors have read and approved the final manuscript.

Corresponding author

Correspondence to Gang Zhou.

Ethics declarations

Competing interests

Both authors declare that there are no conflicts of interest regarding the publication of this paper.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, Y., Zhou, G. Zero Mach number limit of the compressible Euler–Korteweg equations. Bound Value Probl 2020, 99 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: