- Research
- Open access
- Published:
Global existence of classical solutions for two-dimensional isentropic compressible Navier–Stokes equations with small initial mass
Advances in Difference Equations volume 2020, Article number: 214 (2020)
Abstract
In this paper, we consider the initial-boundary value problem of two-dimensional isentropic compressible Navier–Stokes equations with vacuum on the square domain. Based on the time-weighted uniform estimates, we prove that the classical solution exists globally in time if the initial mass \(\|\rho_{0}\|_{L^{1}}\) of the fluid is small. Here, we do not require the initial energy or the upper bound of the initial density to be small.
1 Introduction
In this paper, we consider the following two-dimensional isentropic compressible Navier–Stokes equations in the Eulerian coordinates:
where \(t\geqslant0\) is the time, \(x\in\varOmega=[0,1]\times[0,1]\) is a spatial coordinate. \(\rho=\rho(x,t)\), \({{u}}=(u_{1},u_{2})(x,t)\) and
are unknown functions denoting fluid density, velocity and pressure, respectively. Without loss of generality, it is assumed that \(R=1\). The constant coefficients μ and λ satisfy the physical restrictions:
There is much literature concerning the well-posedness theory of classical and weak solutions for isentropic compressible Navier–Stokes equations. For the three-dimensional case, Nash [1] and Itaya [2] established the local existence and uniqueness of classical solutions in the absence of vacuum in 1962 and 1977, respectively. In 1995, Hoff [3, 4] proved the global existence of weak solutions when the initial density would be close to a constant in \(L^{2}\) and \(L^{\infty}\) norm, and the initial velocity be small in \(L^{2}\) norm and bounded in \(L^{2^{n}}\) norm (n is the space dimension). In 1998, Lions [5] obtained the global existence of weak solutions when the adiabatic exponent γ is suitably large, the main restriction on initial data is that the initial total energy is finite, similar results can be found in [6] given by Feireisl. A few years later, Hoff [7–9] obtained a new type of global weak solutions with small energy, which have more regularity information than the works in [5, 6]. On the other hand, when vacuum is allowed, Cho and Kim [10, 11] proved the existence of unique local strong solutions in bounded and unbounded domains in 2003. In 2012, Huang, Li and Xin [12] established the global classical solutions with small energy but possibly large oscillations. In the same year, Duan [13] generalized the result in [7] and proved the global classical solutions to the half-space problem with the boundary condition proposed by Navier provided the initial energy is small. In 2016, Yu and Zhang [14] studied the nonhomogeneous equations with density-dependent viscosity in a smooth bounded domain and the vacuum is allowed. The global well-posedness of strong solutions is established for the case when the bound of the density is suitably small, or when the total mass is small with large oscillations. Later, in 2017, under the same condition in [12], Yu and Zhao [15] studied the global existence in a cuboid domain, some new ideas being applied to establishing a time-uniform upper bound for the density. Recently, Si, Zhang and Zhao [16] established the global existence of classical solutions with a small initial density but possibly a large energy in the case of \(\rho_{0}\in L^{\gamma}\), \(\gamma\in(1,6)\) and \(\rho_{0}\in L^{1}\), \(\gamma>1\), respectively, which extends the results in [12].
Compared with the three-dimensional case, there are few results in the two-dimensional space. The pioneering work can be traced back to [17] in 1995, as Vaigant and Kazhikhov first proposed the initial-boundary value problem with the special viscosity coefficients, that is, shear viscosity μ being a positive constant and bulk viscosity
They proved the existence of global strong solution with no restrictions on the size of initial data. In 2012, Luo [18] studied the Cauchy problem and proved local existence and uniqueness of classical solutions with initial density containing vacuum when viscosity coefficients μ and λ are constant. For the case of a viscosity depending on the density, we refer to a later work by Li and Liang [19]. In 2013, under the condition (2), Jiu, Wang and Xin [20, 21] proved the global classical solutions on the torus and in the whole space, respectively, where the initial data may contain vacuum in an open set. In the same year, Ducomet and Necasova [22] studied the initial-boundary value problem with a vorticity-type boundary condition and prove that the results of [17] hold in any smooth bounded domain. In 2014, Zhang, Deng and Zhao [23] established the global classical solutions to the Cauchy problem with smooth initial data under the assumption that the viscosity coefficient μ is large enough. In 2016, Huang and Li [24] relaxed the power index β in (2) to be \(\beta>\frac{4}{3}\) and studied the large-time behavior of the solutions, also see a recent work [25] for Cauchy problem. In the same year, Fang and Guo [26] established the global existence and large-time asymptotic behavior of the strong solution to the Cauchy problem in the case of \(\beta\in[0,1]\) provided that the initial data are of small total energy. In 2018, Ding, Huang and Liu [27] obtained the global classical solutions to the Cauchy problem with \(\beta\in[0,1]\) under the condition of small initial density, which extends the earlier work [26] with small initial energy.
From the well-known results mentioned in the above paragraph, we can see that in the two-dimensional space, the existing work mainly discussed the global existence of system (1) under the condition of density-dependent viscosity, \(\beta>\frac{4}{3}\) with general initial data, \(\beta\in[0,1]\) with small initial energy or small initial density. However, whether the unique local classical solution can exist globally for constant viscosity with small initial mass on a bounded domain is still unknown at present. Inspired by the analysis of [12] and [15], in this paper, we consider Dirichlet problem of (1) with the following initial-boundary conditions:
We hope to establish the global existence of strong solutions for (1), (3)–(4) with constant viscosity on the square domain.
Before stating the main results, we explain the notations and conventions used throughout this paper.
Notations:
The standard Lebesgue and Sobolev spaces are defined as follows:
$$ \textstyle\begin{cases} L^{r}=L^{r}(\varOmega), \qquad W^{s,r}=W^{s,r}(\varOmega),\qquad H^{s}=W^{s,2},\\ W_{0}^{s,r}=\{f\in W^{s,r}|f=0 \text{ on } \partial\varOmega\},\qquad H_{0}^{s}=W_{0}^{s,2}. \end{cases} $$\({ \dot{f}={f}_{t}+{u}\cdot\nabla{f}}\) denotes the material derivative of f.
\({\int f \,dx =\int_{\varOmega}f \,dx}\) and \({\int_{0}^{T}\int f \, dx\,dt =\int_{0}^{T}\int_{\varOmega}f \,dx\,dt}\).
The symbol \(\nabla^{l} \) with an integer \(l \geqslant0\) stands for the usual spatial derivatives of any order l. We define
$$\nabla^{k} f= \bigl\{ \left .\partial_{x}^{\alpha}f_{i}| \vert \alpha \vert =k, i=1,2\right \} ,\quad f=(f_{1}, f_{2}). $$Positive generic constants are denoted by C, which may change in different places.
Now, our main results in this paper can be stated as follows.
Theorem 1.1
For given numbers\(\bar{\rho}>0\), \(M>0\)and\(q>2\), suppose that the initial data\((\rho_{0}, u_{0})\)satisfy
and the following compatibility conditions:
for some\(g\in L^{2}\). Then, there exists a positive constant\(\varepsilon_{0}\)depending onρ̄, M, μ, λ, and some other known constants but independent ofT, such that, if
the initial-boundary value problem (1), (3)–(4) admits a unique global classical solution\((\rho,u)\)in\(\varOmega\times(0, +\infty)\)satisfying, for any\(0< T<+\infty\),
and
Remark 1.1
Cho and Kim [10, 11] proved the existence and uniqueness of local strong solution to (1), (3)–(4) with initial vacuum in the three-dimensional space, where Ω can be bounded domain or the whole space. If Ω is a bounded domain in \(\mathbb{R}^{2}\) and the initial data \((\rho_{0}, u_{0})\) are smooth enough, and u satisfies the boundary condition (4), it is not difficult to verify that the proofs in [10, 11] are still valid for local existence of classical solutions in two-dimensional space.
Remark 1.2
In Theorem 1.1, we give the global existence of classical solution to the initial-boundary value problem (1), (3)–(4) provided the initial mass \(\|\rho_{0}\|_{L^{1}}\) is small. In fact, if we take the same vorticity-type boundary condition (Navier-slip boundary condition) in [15] instead of Dirichlet boundary condition, by applying the same method in three-dimensional space, similar results in Theorem 1.1 can also be proved. Thus, our results extended the one due to Yu and Zhao [15], where the global well-posedness of classical solutions with small initial energy was proved. Moreover, under the condition (7), we can prove the global existence of classical solution to the Cauchy problem in three-dimensional space by using effective viscous flux method, which extend the results of [12] for small initial energy and [16] for small initial density.
We now make some comments on the global existence of classical solution to the isentropic compressible Navier–Stokes equations. Compared with the three-dimensional case, it causes some essential difficulties. Similar to the procedure of [12, 15, 16], a key ingredient in our proof is to obtain a uniform priori upper bound for the density function. However, due to the invalidity of the Sobelov embedding inequality \(\|u\|_{L^{6}}\leqslant C\|\nabla{u}\|_{L^{2}}\), and there is no boundary information of effective viscous flux \(F\triangleq (2\mu+\lambda)\operatorname{div}u-P\) in the two-dimensional bounded domain, time-weighted estimates are needed the ensure the better integrability of the velocity, which is quite differs from three-dimensional Cauchy problem. In this paper, we use the Poincaré inequality and the following decomposition of the velocity \(u=v+w\) to overcome this difficulty, where v solves the elliptic system:
Then, from the momentum, Eqs. (1) and (9), we can see that w satisfies
Hence, \(\|\nabla{u}\|_{L^{p}}\), \(p\geq2\), is controlled by the standard \(L^{p}\)-estimate of elliptic system (9) and (10).
On the one hand, under the condition of (7), we have the following key observation:
which is derived from (1)1 and (1)2. Then, by applying the method in [15], we get the uniform bound for \(\|\nabla{u}\|_{L^{2}}\) and time-dependent bound for \(\|\dot{\nabla}{u}\| _{L^{2}(t_{1},t_{2};L^{2})}\), by which, together with Zlotnik inequality, we have the uniform upper bound of density. It is worth mentioning that, these boundness can be obtained by the smallness of the initial mass \(\|{\rho_{0}}\|_{L^{1}}\) instead of the smallness of the upper bound of the density in [16] and the initial energy in [12, 15], respectively. At last, higher-order regularity estimates for \((\rho,u)\) can be proved by standard methods after some modifications, see [12] for example. Finally, after all the required a priori estimates obtained, by using the continuity argument, we can extend the local classical solution to a global one.
The rest of the paper is organized as follows: In Sect. 2, we list some elementary inequalities which will be used in later analysis. Section 3 is devoted to deriving the necessary a priori estimates on classical solution which extend the local solution to a global one.
2 Preliminaries
In this section, we recall some well-known inequalities, which will be used frequently throughout this paper. First, we give the Sobolev–Poincaré lemma [28].
Lemma 2.1
There exists a positive constantCdepending only onΩsuch that every function\({f}\in H^{1}(\varOmega)\)satisfies for\(2< p<\infty\),
where
Next, we give some regularity results for the following Lamé system with the Dirichlet boundary condition (see [29]):
Suppose \(U\in H_{0}^{1}\) is a weak solution to the Lamé system, we could denote \(U=\mathcal{L}^{-1}F\) due to the uniqueness of solution.
Lemma 2.2
Let\(r\in(1,+\infty)\), then there exists some generic constant\(C>0\)depending only onμ, λ, randΩsuch that
- (1)
If\(F\in L^{r}\), then
$$ \Vert U \Vert _{W^{2,r}(\varOmega)}\leqslant C \Vert F \Vert _{L^{r}(\varOmega)}. $$(14) - (2)
If\(F\in W^{-1,r}\) (i.e., \(F=\operatorname{div} f\)with\(f=(f_{i,j})_{2\times2}\), \(f_{i,j}\in L^{r}\)), then
$$ \Vert U \Vert _{W^{1,r}(\varOmega)}\leqslant C \Vert f \Vert _{L^{r}(\varOmega)}. $$(15) - (3)
Moreover, for the endpoint case, if\(f_{i,j}\in L^{2}\cap L^{\infty}\), then\(\nabla U\in \operatorname{BMO}(\varOmega)\)and
$$ \Vert U \Vert _{\operatorname{BMO}(\varOmega)}\leqslant C \bigl( \Vert f \Vert _{L^{2}(\varOmega)}+ \Vert f \Vert _{L^{\infty}(\varOmega)} \bigr), $$(16)where\(\operatorname{BMO}(\varOmega)\)stands for the John–Nirenberg space of mean oscillation whose norm is defined by
$$\Vert f \Vert _{\mathrm{BMO}}\triangleq \Vert f \Vert _{L^{2}}+[f]_{\operatorname{BMO}(\varOmega)}, $$with
$$[f]_{\operatorname{BMO}(\varOmega)}\triangleq\sup_{x\in\varOmega,r\in(0,d)} \frac {1}{\varOmega_{r}(x)} \int_{\varOmega_{r}(x)} \bigl\vert f(y)-f_{\varOmega_{r}(x)} \bigr\vert dy, $$and
$$f_{\varOmega_{r}(x)}=\frac{1}{\varOmega_{r}(x)} \int_{\varOmega_{r}(x)}f(y)dy. $$
In the following, we give two critical Sobolev inequalities of logarithmic type, which are originally due to Brezis–Gallouet [30] and Brezis–Wainger [31].
Lemma 2.3
Let\(\varOmega\in\mathbb{R}^{2}\)be a bounded Lipschitz domain and\(f\in W^{1,q}\)with\(q>2\), then we have
with a constantCdepending only onq.
Lemma 2.4
Let\(\varOmega\in\mathbb{R}^{2}\)be a smooth domain and\(f\in L^{2}(s,t;H_{0}^{1})\cap L^{2}(s,t;W^{1,q})\), with some\(q>2\)and\(0\leqslant s< t\leqslant\infty\). Then we have
with a constantCdepending only onq.
Finally, we give the following lemma arises from Zlotnik [32], which will be used to prove the uniform upper bound for the density.
Lemma 2.5
Let\(y\in W^{1,1}(0,T)\)satisfy the ODE system:
where\(b\in W^{1,1}(0,T)\), \(g\in C(\mathbb{R})\)and\(g(+\infty)=-\infty \). Assume that there are two constants\(N_{0}\geqslant0\)and\(N_{1}\geqslant0\)such that, for all\(0\leqslant t_{1}\leqslant t_{2}\leqslant T\),
Then
where\(\xi^{\star}\in\mathbb{R}\)is a constant such that\(g(\xi)\leqslant -N_{1}\)for\(\xi\geqslant\xi^{\star}\).
3 Global classical solution
In this section, we establish some necessary a priori estimates for the classical solutions of initial-boundary value problem (1), (3)–(4). We assume that, for any \(T>0\), let \((\rho,u)\) be a classical solution of (1), (3)–(4) in the solution space (8) with the initial data satisfying (5) and (6). In Sects. 3.1 and 3.2, we will show the lower-order and the higher-order estimates of the solutions, which guarantee the local classical solution can be extended to a global one.
3.1 Lower-order estimates of the solutions
First, we give the following proposition to prove the uniform upper bounds of \(\|\nabla{u}\|_{L^{2}}\) and ρ.
Proposition 3.1
Assume that the initial data satisfy (5)–(6), and the local classical solution satisfies
where\((x,t)\in\varOmega\times[0,T]\), \(\sigma(t)\triangleq\min\{1,t\} \). Then there exists
depending onρ̄, M, μ, λ, and some other known constants but independent ofTsuch that
provided that\(m_{0}\leqslant\varepsilon_{2}\)is suitable small.
In order to prove Proposition 3.1, we give the following mass conservation identity and the uniform bound of \(\|\nabla{u}\| _{L^{2}(0,T;L^{2})}\), which are the foundation of our proof in this paper.
Lemma 3.2
Let\((\rho,u)\)be a classical solution of (1), (3)–(4) on\(\varOmega\times(0,T]\), then we have
provided there exists a positive constant\(\varepsilon_{1}\)such that\(m_{0}\leqslant\varepsilon_{1}\).
Proof
Integrating (1)1 over Ω, (22) can be easily obtained. In order to prove (23), multiplying (1)1 by \(\rho^{\gamma-1}\), it yields
On the other hand, multiplying (1)2 by u, integrating the result over Ω, and using (1)1, we have
Adding (25) and (24) together, and integrating the resulting equality over time interval \((0,t)\), we get
provided there exists a positive constant \(\varepsilon_{1}\) such that \(m_{0}\leqslant\varepsilon_{1}\). This completes the proof of Lemma 3.2. □
Next, in Lemma 3.3, we give the uniform upper bound of \(\| \nabla{u}\|_{L^{2}}\).
Lemma 3.3
Let\((\rho,u)\)be a classical solution of (1), (3)–(4) on\(\varOmega\times(0,T]\), if the assumption of Proposition3.1holds, then
provided there exist constant\(\varepsilon_{1}^{*}\)and\(\varepsilon_{2}^{*}\)such that\(m_{0}\leqslant\min\{\varepsilon_{1}, \varepsilon_{1}^{*}, \varepsilon_{2}^{*}\}\), where\(\sigma_{i}(t)\triangleq\sigma(t+1-i)\), \(1\leqslant i \leqslant[T]-1\), \(t\in(i-1,i+1]\).
Proof
From (1)2, we get
Multiplying (28) by ηu̇, \(\eta=\eta(t)\geqslant0\) is a piecewise smooth function, integrating the resulting equation over Ω, it yields
Now, we estimate \(I_{i}\), \(i=1,2,3,\ldots,9\), one by one:
where we have used the identity \(P_{t}+\operatorname{div}(Pu)=(1-\gamma)\rho^{\gamma}\operatorname{div}u\).
The terms \(I_{4}\), \(I_{5}\), \(I_{9}\) can be estimated as
It remains to estimate \(I_{6}\) and \(I_{7}\), we get
Then, inserting (30)–(33) into (29), we have
In order to prove (26), taking \(\eta=1\) and integrating (34) over \((0,t)\), for \(0< t\leqslant\sigma(T)\), we get
where we have used (23) and (20). Then we have
provided there exists a constant \(\varepsilon_{1}^{*}\), \(m_{0}\leqslant \varepsilon_{1}^{*}\) such that
In order to prove (27), taking \(\eta=\sigma_{i}\) in (34), integrating (34) over \((i-1,t)\), we get
Then, we have
provided there exists a constant \(\varepsilon_{2}^{*}\), \(m_{0}\leqslant \varepsilon_{2}^{*}\) such that
Hence, if we take \(m_{0}\leqslant\min\{\varepsilon_{1}, \varepsilon_{1}^{*}, \varepsilon_{2}^{*}\}\), this completes the proof of Lemma 3.3. □
In Lemma 3.4, we will give the bound for \(\int _{t_{1}}^{t_{2}}\sigma^{2}\|\nabla\dot{u}\|_{L^{2}}^{2}\,ds\) which will be used to prove the uniform upper bound of ρ. It should be noted that the constant C on the right-hand side of (39) and (40) is independent of time.
Lemma 3.4
Let\((\rho,u)\)be a classical solution of (1), (3)–(4) on\(\varOmega\times(0,T]\), if the assumption of Proposition3.1holds, then
for any\(t_{1},t_{2}\in(0,T]\), provided\(m_{0}\leqslant\min\{\varepsilon_{1}, \varepsilon_{1}^{*}, \varepsilon_{2}^{*}\}\).
Proof
Operating \(\eta\dot{u}^{j}(\partial_{t}+\operatorname{div}(u\cdot))\) to \(\text{(1)}_{2}^{j}\), summing with respect to j, and integrating the resulting equation over Ω, we obtain
It follows from integration by parts and using Eq. (1)1 that
Similarly, we get
where \(\|\nabla{u}\|_{L^{4}}^{4}\) can be estimated as
Substituting the estimates \(J_{1}\), \(J_{2}\), \(J_{3}\) and (45) into (41), we arrive at
In order to prove (39), taking \(\eta=\sigma_{i}^{2}\) in (46), integrating (46) over \((i-1,t)\) and taking (27) into consideration, we get
which proves (39).
Furthermore, from (47), we can see that, if we take \(\eta =\sigma^{2}\), then integrating (46) over \((t_{1},t_{2})\in[0,T]\), we have
where we have used (23), (20) and (39).
In order to estimate the second term on the right-hand side of the above inequality, taking \(\eta=\sigma\) in (29), integrating (29) over \((t_{1},t_{2})\in[0,T]\), we get
from which one deduces
Then, inserting (50) into (48), (40) can be obtained. This completes the proof of Lemma 3.4. □
Inspired by the methods in Refs. [12, 15], in the following lemma, we use the Zlotnik inequality to prove the uniform upper bound of the density ρ.
Lemma 3.5
Under the condition of Proposition3.1, we have
provided there exist constants\(\varepsilon_{3}^{*}\), \(\varepsilon_{4}^{*}\)and\(\varepsilon_{5}^{*}\)such that\(m_{0}\leqslant\min\{\varepsilon_{1}, \varepsilon_{1}^{*}, \varepsilon_{2}^{*}, \varepsilon_{3}^{*},\varepsilon_{4}^{*}, \varepsilon_{5}^{*}\}\).
Proof
For any given \((x, t)\in\varOmega\times[0,T]\), denoting \(X(s;x,t)\) the solution to the initial value problem
It is easy to verify that
due to (1)1. This gives
where
and \(C(t)=(2\mu+\lambda){\operatorname{div}}{v}-P\).
Next, we use Lemma 2.5 to prove the uniform upper bound of the density. We have
In the following, we estimate the terms on the right-hand side of Eq. (53) one by one. In order to estimate \(C(t)\), from Eq. (9), we have
We have \((\nabla\times (\nabla\times v ))= (\partial _{2}(\partial_{1}v^{2}-\partial_{2}v^{1}), -\partial_{1}(\partial_{1}v^{2}-\partial _{2}v^{1}) )\) and the boundary condition (4) implies
Then, we have \((\nabla\times (\nabla\times v ))\cdot n=0\) a.e. on ∂Ω and \(\operatorname{div}(\nabla\times (\nabla\times v ))=0\).
Multiplying (54) by \(\nabla ((2\mu+\lambda)\operatorname {div}v-P )\) and integrating the resulting equation over Ω, we arrive at
which implies that there exists \(C(t)\) such that
Using (9), we have \(\|\nabla v\|_{L^{2}}\leq C\|P\|_{L^{2}}\). Integrating (56), we get
Then, we have
provided there exists a constant \(\varepsilon_{3}^{*}\), \(m_{0}\leqslant \varepsilon_{3}^{*}\) such that
In order to estimate \(K_{2}\), we consider the following three cases:
- (1)
\(0\leqslant t_{1}\leqslant t_{2}\leqslant\sigma(T)\).
$$\begin{aligned} K_{2}&= \int_{t_{1}}^{t_{2}} \Vert \rho\operatorname{div} w \Vert _{L^{\infty}} \,ds \leqslant C \int_{0}^{\sigma(T)} \Vert \nabla w \Vert _{L^{2}}^{\frac{1}{3}} \Vert \nabla w \Vert _{W^{1,4}}^{\frac{2}{3}} \,ds \\ &\leqslant C \int_{0}^{\sigma(T)} \bigl( \Vert \nabla u \Vert _{L^{2}}+ \Vert P \Vert _{L^{2}} \bigr)^{\frac{1}{3}} \Vert \nabla\dot{u} \Vert _{L^{2}}^{\frac{2}{3}}\,ds \\ &\leqslant C \int_{0}^{\sigma(T)}\sigma^{-\frac{1}{2}} \bigl( \sigma^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}+ \sigma^{\frac{1}{2}} \Vert P \Vert _{L^{2}} \bigr)^{\frac{1}{3}} \bigl(\sigma \Vert \nabla\dot{u} \Vert _{L^{2}}^{2} \bigr)^{\frac{1}{3}}\,ds \\ &\leqslant C \int_{0}^{\sigma(T)}\sigma^{-\frac{1}{2}} \bigl(m_{0}^{\frac {1}{16}}+\sigma^{\frac{1}{2}} \bar{\rho}^{\frac{2\gamma-1}{2}}m_{0}^{\frac{1}{2}} \bigr)^{\frac{1}{3}} \bigl(\sigma \Vert \nabla\dot{u} \Vert _{L^{2}}^{2} \bigr)^{\frac{1}{3}}\,ds \\ &\leqslant C \bigl(m_{0}^{\frac{1}{16}}+\bar{ \rho}^{\frac{2\gamma -1}{2}}m_{0}^{\frac{1}{2}} \bigr)^{\frac{1}{3}} \biggl( \int_{0}^{\sigma(T)}\sigma ^{-\frac{3}{4}}\,ds \biggr)^{\frac{2}{3}} \biggl( \int_{0}^{\sigma(T)}\sigma \Vert \nabla\dot{u} \Vert _{L^{2}}^{2}\,ds \biggr)^{\frac{1}{3}} \\ &\leqslant C \bigl(m_{0}^{\frac{1}{16}}+\bar{ \rho}^{\frac{2\gamma -1}{2}}m_{0}^{\frac{1}{2}} \bigr)^{\frac{1}{3}} \biggl( \int_{0}^{\sigma(T)}\sigma \Vert \nabla\dot{u} \Vert _{L^{2}}^{2}\,ds \biggr)^{\frac{1}{3}}, \end{aligned}$$(59)where we have used Lemma 3.3. It remains to estimate the term on the right-hand side of inequality (59). To do this, we taking \(\eta=\sigma\) in (46) and integrating the resulting inequality over \((0, \sigma(T))\), we have
$$\begin{aligned} & \int\eta\rho \vert \dot{u} \vert ^{2}\,dx+ \int_{0}^{\sigma(T)}\mu\sigma \Vert \nabla\dot {u} \Vert _{L^{2}}^{2}\,ds \\ &\quad\leqslant C+ \int_{0}^{\sigma(T)} \bigl\vert \sigma^{\prime}\bigr\vert \int\rho \vert \dot{u} \vert ^{2}\,dx\, ds+C \int_{0}^{\sigma(T)}\sigma \Vert \nabla u \Vert _{L^{2}}^{2}\,ds \\ &\quad\quad+C \int_{0}^{\sigma(T)}\sigma \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}\,ds+\bar {\rho}^{2\gamma-1}m_{0} \bigr) \Vert \sqrt{\rho}\dot{u} \Vert _{L^{2}}^{2}\,ds+{ C\sigma\bar{\rho}^{4\gamma-1}m_{0}} \\ &\quad\leqslant C \bigl(1+K+m_{0}^{\frac{1}{4}} \bigr)+C \bigl(m_{0}^{\frac{1}{8}}+\bar {\rho}^{2\gamma-1}m_{0} \bigr)K+{C\sigma\bar{\rho}^{4\gamma -1}m_{0}} \\ &\quad\leqslant C. \end{aligned}$$(60)From (59) and (60), we can see that
$$\begin{aligned} K_{2}\leqslant C \bigl(m_{0}^{\frac{1}{16}}+\bar{\rho}^{\frac{2\gamma -1}{2}}m_{0}^{\frac{1}{2}} \bigr)^{\frac{1}{3}}\leqslant\frac{1}{8}\bar{\rho}, \end{aligned}$$(61)provided there exists a constant \(\varepsilon_{4}^{*}\) such that \(m_{0}\leqslant\varepsilon_{4}^{*}\).
- (2)
\(\sigma(T)\leqslant t_{1}\leqslant t_{2}\leqslant T\).
$$\begin{aligned} K_{2}&\leqslant\frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1})+4(2 \mu+\lambda) \int _{t_{1}}^{t_{2}} \Vert \rho\operatorname{div} w \Vert _{L^{\infty}}^{2} \,ds \\ &\leqslant \frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1})+4\bar{\rho}^{2} (2\mu+\lambda ) \int_{t_{1}}^{t_{2}} \Vert \operatorname{div} w \Vert _{L^{\infty}}^{2} \,ds \\ &\leqslant \frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1})+C\bar{\rho}^{2} \int _{t_{1}}^{t_{2}} \Vert \nabla w \Vert _{L^{2}}^{\frac{2}{3}} \Vert \nabla w \Vert _{W^{1,4}}^{\frac{4}{3}} \,ds \\ &\leqslant \frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1})+ C\bar{\rho}^{2} \int _{t_{1}}^{t_{2}} \bigl( \Vert \nabla u \Vert _{L^{2}}+ \Vert P \Vert _{L^{2}} \bigr)^{\frac{2}{3}} \Vert \nabla\dot{u} \Vert _{L^{2}}^{\frac{4}{3}}\,ds \\ &\leqslant \frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1}) \\ &\quad+ C\bar{\rho}^{2} \biggl( \int_{t_{1}}^{t_{2}} \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+ \Vert P \Vert _{L^{2}}^{2} \bigr)\,ds \biggr)^{\frac{1}{3}} \biggl( \int _{t_{1}}^{t_{2}} \Vert \nabla\dot{u} \Vert _{L^{2}}^{2}\,ds \biggr)^{\frac{2}{3}} \\ &\leqslant \frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1}) \\ &\quad+C\bar{\rho}^{2} \bigl(m_{0}^{\frac{1}{4}}+\bar{\rho}^{2\gamma -1}m_{0}(t_{2}-t_{1}) \bigr)^{\frac{1}{3}} \biggl( \int_{t_{1}}^{t_{2}} \Vert \nabla\dot{u} \Vert _{L^{2}}^{2}\,ds \biggr)^{\frac{2}{3}} \\ &\leqslant \frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1})+C\bar{\rho}^{2}m_{0}^{\frac {1}{12}} \biggl( \int_{t_{1}}^{t_{2}} \Vert \nabla\dot{u} \Vert _{L^{2}}^{2}\,ds \biggr)^{\frac {2}{3}} \\ &\quad+C\bar{\rho}^{\frac{2\gamma+5}{3}}m_{0}^{\frac {1}{3}}(t_{2}-t_{1})^{\frac{1}{3}} \biggl( \int_{t_{1}}^{t_{2}} \Vert \nabla\dot{u} \Vert _{L^{2}}^{2}\,ds \biggr)^{\frac{2}{3}} \\ &\leqslant \frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1})+C \int_{t_{1}}^{t_{2}} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds+Cm_{0}^{\frac{1}{4}}+Cm_{0}^{\frac{1}{3}}(t_{2}-t_{1}) \\ &\leqslant \frac{1}{4(2\mu+\lambda)}(t_{2}-t_{1})+C \bigl(m_{0}+m_{0}^{\frac{1}{3}} \bigr) (t_{2}-t_{1})+C \bigl(m_{0}^{\frac{1}{8}}+m_{0}^{\frac{1}{4}} \bigr), \end{aligned}$$(62)where in the last inequality we have used (40). Then, we get
$$\begin{aligned} K_{2}\leqslant\frac{1}{2(2\mu+\lambda)}(t_{2}-t_{1})+ \frac{1}{8}\bar{\rho}, \end{aligned}$$(63)provided there exists a constant \(\varepsilon_{5}^{*}\), \(m_{0}\leqslant \varepsilon_{5}^{*}\), such that
$${C \bigl(m_{0}+m_{0}^{\frac{1}{3}} \bigr)\leqslant\frac{1}{4(2\mu +\lambda)}},\qquad C \bigl(m_{0}^{\frac{1}{8}}+m_{0}^{\frac{1}{4}} \bigr)\leqslant \frac{1}{8}\bar{\rho}. $$ - (3)
\(0\leqslant t_{1}\leqslant\sigma(T)\leqslant t_{2}\leqslant T\).
Combining case (1) and case (2), we can easily obtain
$$\begin{aligned} K_{2}&= \int_{t_{1}}^{\sigma(T)} \Vert \rho\operatorname{div} w \Vert _{L^{\infty}} \, ds+ \int_{\sigma(T)}^{t_{2}} \Vert \rho\operatorname{div} w \Vert _{L^{\infty}} \, ds \\ &\leqslant\frac{1}{2(2\mu+\lambda)}(t_{2}-t_{1})+ \frac{1}{4}\bar{\rho}. \end{aligned}$$(64)
Taking (53), (58), (61), (63) and (64) into consideration, we have
provided there exist constants \(\varepsilon_{3}^{*}\), \(\varepsilon_{4}^{*}\) and \(\varepsilon_{5}^{*}\) as mentioned above such that
Then we can choose \(N_{0}\), \(N_{1}\) as follows:
Choosing \(\xi^{*}=\bar{\rho}+1\), we can see that
Using Lemma 2.5, we obtain
This completes the proof of Lemma 3.5. □
Combining Lemmas 3.2–3.5, if we take \(m_{0}\leqslant\min\{ \varepsilon_{1}, \varepsilon_{1}^{*}, \varepsilon_{2}^{*}, \varepsilon _{3}^{*},\varepsilon_{4}^{*}, \varepsilon_{5}^{*}\}\), then Proposition 3.1 is proved. At the end of this subsection, we give the following second-order a priori estimates, where the constants C on the right-hand side of (66) and (67) may depend on time T.
Lemma 3.6
Let\((\rho,u)\)be a strong solution of (1), (3)–(4) on\(\varOmega\times(0,T]\), under the condition of Theorem1.1, we have
Proof
Taking \(\eta=1\) in (46), integrating (46) over \((0,\sigma(T)]\), we get
which combines (39) and (40), and we obtain
Next, applying the operator ∇ to (1)1, and multiplying the resulting equation by \(p|\nabla\rho|^{p-2}\nabla\rho\), \(p>2\), we obtain
then we have
where the terms on the right-hand side of the above inequality can be estimated as
and
Inserting (72) and (73) into (71), we have
Both sides of (74) divided by \(\|\nabla\rho\|_{p}+e\) lead to
Then, by using the Gronwall inequality and (69), we have
Moreover, from (69), we have
This completes the proof of Lemma 3.6. □
3.2 Higher-order estimates of the solutions
For completeness of our proof, we list the higher-order estimates of the solution \((\rho, u)\) below, which can be derived in a similar manner to those obtained in [12] after some modifications.
Lemma 3.7
Let\((\rho,u)\)be a classical solution of (1), (3)–(4) on\(\varOmega\times(0,T]\), under the condition of Theorem1.1, the following estimates hold:
Proof
Estimate (78) follows directly from the following simple facts that
and
where in the last inequality we have used the Sobolev embedding inequalities and Lemma 3.6.
Next, we prove (79). P satisfies
which together with (1)1 yields
where in the last inequality we have used (72) and the following standard \(L^{2}\)-estimate for elliptic system (9) and (10)
Then, combining (83), Lemma 3.6 and the Gronwall inequality, we have (79). □
Lemma 3.8
Let\((\rho,u)\)be a classical solution of (1), (3)–(4) on\(\varOmega\times(0,T]\), under the condition of Theorem1.1, the following estimates hold:
Proof
First, from (82) and Lemma 3.6, we obtain
Furthermore, differentiating (82) yields
which together with Lemma 3.6 and Lemma 3.7, one gets
The combination of (86) and (88) implies
Note that \(P_{tt}\) satisfies
from which, together with (89) and Lemma 3.7, we have
Next, we differentiate (1)2 with respect to t, then multiplying the resulting equation by \(u_{tt}\), one gets after integration by parts
The terms on the right-hand side of Eq. (92) can be estimated as follows:
where we have used Lemma 3.6, (84) and the Poincaré inequality. We have
At last, integrating (92) over time \((0,T)\), and inserting estimates (93)–(97), we have
from which, together with the Gronwall inequality, one obtains (85) immediately. This completes the proof of Lemma 3.8. □
Lemma 3.9
Let\((\rho,u)\)be a classical solution of (1), (3)–(4) on\(\varOmega\times(0,T]\), under the condition of Theorem1.1, the following estimates hold:
Proof
It follows from Lemma 3.8 that
which together with Lemma 3.6 gives
The standard \(H^{1}\) estimate for elliptic system (28) yields
Then, as a consequence of (67) and (103), we have
Moreover, the standard \(L^{2}\)-estimate for elliptic system (28) and Lemma 3.8 yield
which together with (85) implies
On the other hand, applying the standard \(H^{2}\)-estimate for the elliptic system (28) again leads to
where
and
In order to estimate the third term on the right-hand side of (107), applying \(\nabla^{3}\) to (82) and integrating the resulting equation over Ω, we obtain
which, together with the Gronwall inequality (106), implies that
Taking (106)–(111) into consideration, we have
It is easy to check that similar arguments work for ρ by using (112). Hence the proof of Lemma 3.9 is completed. □
Lemma 3.10
Let\((\rho,u)\)be a classical solution of (1), (3)–(4) on\(\varOmega\times(0,T]\), under the condition of Theorem1.1, the following estimates hold:
Proof
Differentiating (1)2 with respect to t twice, one can get
Multiplying (114) by \(u_{tt}\) and then integrating the resulting equation over Ω, after integration by parts, we obtain
Next, we estimate each term \(M_{i}\), i=1,2,3,4,5, as follows:
It follows from Lemma 3.7, Lemma 3.8, and Lemma 3.9 that
Substituting (116)–(119) into (114) and choosing δ suitably small, we get
then, integrating the inequality (120) over \((0,T)\), together with (84) and the Gronwall inequality, yields
then (113) follows from (85) and (105). We have finished the proof of Lemma 3.10. □
Finally, by using the continuity argument, we can extend the local classical solution to a global one, and thus Theorem 1.1 is proved.
References
Nash, J.: Le problème de Cauchy pour les équations différentielles d’un fluide général. Bull. Soc. Math. Fr. 90, 487–497 (1962)
Itaya, N.: On the Cauchy problem for the system of fundamental equations describing the movement of compressible viscous fluid. Kodai Math. Semin. Rep. 23, 60–120 (1971)
Hoff, D.: Global solutions of the Navier–Stokes equations for multidimensional compressible flow with discontinuous initial data. J. Differ. Equ. 120(1), 215–254 (1995). https://doi.org/10.1006/jdeq.1995.1111
Hoff, D.: Strong convergence to global solutions for multidimensional flows of compressible, viscous fluids with polytropic equations of state and discontinuous initial data. Arch. Ration. Mech. Anal. 132(1), 1–14 (1995). https://doi.org/10.1007/BF00390346
Lions, P.-L.: Mathematical Topics in Fluid Mechanics, Vol. 2: Compressible Models. Oxford Lecture Series in Mathematics and Its Applications, vol. 10. Oxford University Press, New York (1998). ISBN 0-19-851488-3.
Feireisl, E.: Dynamics of Viscous Compressible Fluids. Oxford Lecture Series in Mathematics and Its Applications, vol. 26. Oxford University Press, Oxford (2004). ISBN 0-19-852838-8
Hoff, D.: Compressible flow in a half-space with Navier boundary conditions. J. Math. Fluid Mech. 7(3), 315–338 (2005). https://doi.org/10.1007/s00021-004-0123-9
Hoff, D., Santos, M.M.: Lagrangean structure and propagation of singularities in multidimensional compressible flow. Arch. Ration. Mech. Anal. 188(3), 509–543 (2008). https://doi.org/10.1007/s00205-007-0099-8
Hoff, D., Tsyganov, E.: Time analyticity and backward uniqueness of weak solutions of the Navier–Stokes equations of multidimensional compressible flow. J. Differ. Equ. 245(10), 3068–3094 (2008). https://doi.org/10.1016/j.jde.2008.08.006
Cho, Y., Choe, H.J., Kim, H.: Unique solvability of the initial boundary value problems for compressible viscous fluids. J. Math. Pures Appl. (9) 83(2), 243–275 (2004). https://doi.org/10.1016/j.matpur.2003.11.004
Choe, H.J., Kim, H.: Strong solutions of the Navier–Stokes equations for isentropic compressible fluids. J. Differ. Equ. 190(2), 504–523 (2003). https://doi.org/10.1016/S0022-0396(03)00015-9
Huang, X., Li, J., Xin, Z.: Global well-posedness of classical solutions with large oscillations and vacuum to the three-dimensional isentropic compressible Navier–Stokes equations. Commun. Pure Appl. Math. 65(4), 549–585 (2012). https://doi.org/10.1002/cpa.21382
Duan, Q.: Global well-posedness of classical solutions to the compressible Navier–Stokes equations in a half-space. J. Differ. Equ. 253(1), 167–202 (2012). https://doi.org/10.1016/j.jde.2012.02.024
Yu, H., Zhang, P.: Global strong solutions to the incompressible Navier–Stokes equations with density-dependent viscosity. J. Math. Anal. Appl. 444(1), 690–699 (2016). https://doi.org/10.1016/j.jmaa.2016.06.066
Yu, H., Zhao, J.: Global classical solutions to the 3D isentropic compressible Navier–Stokes equations in a bounded domain. Nonlinearity 30(1), 361–381 (2017). https://doi.org/10.1088/1361-6544/aa4f4c
Si, X., Zhang, J., Zhao, J.: Global classical solutions of compressible isentropic Navier–Stokes equations with small density. Nonlinear Anal., Real World Appl. 42, 53–70 (2018). https://doi.org/10.1016/j.nonrwa.2017.12.005
Vaĭgant, V.A., Kazhikhov, A.V.: On the existence of global solutions of two-dimensional Navier–Stokes equations of a compressible viscous fluid. Sib. Mat. Zh. 36(6), 1283–1316, ii (1995). https://doi.org/10.1007/BF02106835
Luo, Z.: Local existence of classical solutions to the two-dimensional viscous compressible flows with vacuum. Commun. Math. Sci. 10(2), 527–554 (2012). https://doi.org/10.4310/CMS.2012.v10.n2.a6
Li, J., Liang, Z.: On local classical solutions to the Cauchy problem of the two-dimensional barotropic compressible Navier–Stokes equations with vacuum. J. Math. Pures Appl. (9) 102(4), 640–671 (2014). https://doi.org/10.1016/j.matpur.2014.02.001
Jiu, Q., Wang, Y., Xin, Z.: Global well-posedness of the Cauchy problem of two-dimensional compressible Navier–Stokes equations in weighted spaces. J. Differ. Equ. 255(3), 351–404 (2013). https://doi.org/10.1016/j.jde.2013.04.014
Jiu, Q., Wang, Y., Xin, Z.: Global well-posedness of 2D compressible Navier–Stokes equations with large data and vacuum. J. Math. Fluid Mech. 16(3), 483–521 (2014). https://doi.org/10.1007/s00021-014-0171-8
Ducomet, B., Nečasová, Š.: On the 2D compressible Navier–Stokes system with density-dependent viscosities. Nonlinearity 26(6), 1783–1797 (2013). https://doi.org/10.1088/0951-7715/26/6/1783
Zhang, P., Deng, X., Zhao, J.: Global well-posedness of classical solutions with large initial data to the two-dimensional isentropic compressible Navier–Stokes equations. J. Partial Differ. Equ. 27(2), 143–157 (2014)
Huang, X., Li, J.: Existence and blowup behavior of global strong solutions to the two-dimensional barotrpic compressible Navier–Stokes system with vacuum and large initial data. J. Math. Pures Appl. (9) 106(1), 123–154 (2016). https://doi.org/10.1016/j.matpur.2016.02.003
Jiu, Q., Wang, Y., Xin, Z.: Global classical solution to two-dimensional compressible Navier–Stokes equations with large data in \(\Bbb {R}^{2}\). Physica D 376/377, 180–194 (2018). https://doi.org/10.1016/j.physd.2017.12.006
Fang, L., Guo, Z.: Global well-posedness of strong solutions to the two-dimensional barotropic compressible Navier–Stokes equations with vacuum. Z. Angew. Math. Phys. 67(2), Article ID 22 (2016). https://doi.org/10.1007/s00033-016-0619-1
Ding, S., Huang, B., Liu, X.: Global classical solutions to the 2D compressible Navier–Stokes equations with vacuum. J. Math. Phys. 59(8), Article ID 081507 (2018). https://doi.org/10.1063/1.5000296
Brézis, H., Wainger, S.: A note on limiting cases of Sobolev embeddings and convolution inequalities. Commun. Partial Differ. Equ. 5(7), 773–789 (1980). https://doi.org/10.1080/03605308008820154
Sun, Y., Wang, C., Zhang, Z.: A Beale–Kato–Majda blow-up criterion for the 3-D compressible Navier–Stokes equations. J. Math. Pures Appl. (9) 95(1), 36–47 (2011). https://doi.org/10.1016/j.matpur.2010.08.001
Brézis, H., Gallouet, T.: Nonlinear Schrödinger evolution equations. Nonlinear Anal. 4(4), 677–681 (1980). https://doi.org/10.1016/0362-546X(80)90068-1
Engler, H.: An alternative proof of the Brezis–Wainger inequality. Commun. Partial Differ. Equ. 14(4), 541–544 (1989)
Zlotnik, A.A.: Uniform estimates and the stabilization of symmetric solutions of a system of quasilinear equations. Differ. Uravn. 36(5), 634–646, 718 (2000). https://doi.org/10.1007/BF02754229
Acknowledgements
The authors would like to express their sincere thanks to the anonymous referee for careful reading and corrections of the paper.
Availability of data and materials
Not applicable.
Funding
The second author’s research was supported in part by Chinese National Natural Science Foundation under grant 11571232 and 11831011.
Author information
Authors and Affiliations
Contributions
The authors have equally made contributions. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Li, W., Shang, Z. & Tang, F. Global existence of classical solutions for two-dimensional isentropic compressible Navier–Stokes equations with small initial mass. Adv Differ Equ 2020, 214 (2020). https://doi.org/10.1186/s13662-020-02675-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02675-0