Abstract
In this paper, we prove that the maximum norm of velocity divergence controls the breakdown of smooth (strong) solutions to the two-dimensional (2D) Cauchy problem of the full compressible Navier–Stokes equations with zero heat conduction. The results indicate that the nature of the blowup for the full compressible Navier–Stokes equations with zero heat conduction of viscous flow is similar to the barotropic compressible Navier–Stokes equations and does not depend on the temperature field. The main ingredient of the proof is a priori estimate to the pressure field instead of the temperature field and weighted energy estimates under the assumption that velocity divergence remains bounded. Furthermore, the initial vacuum states are allowed, and the viscosity coefficients are only restricted by the physical conditions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
The motion of a compressible viscous, heat-conducting fluid is governed by the following compressible Navier–Stokes system ([35]):
where \(u=(u^1,u^2)\), \(\rho \), \(\theta \) and \(P=R\rho \theta \) (\(R>0\)) denote the velocity, density, absolute temperature and pressure, respectively. The constant viscosity coefficient \(\mu >0\). The positive constants \(c_{\upsilon }\) and \(\kappa \) as the heat capacity and the coefficient of heat conduction, respectively.
The deformation tensor \(\mathfrak {D}(u)\) denotes as
The constant viscosity coefficient \(\mu \) and \(\lambda \) satisfy the physical restrictions
The compressible Navier–Stokes system (1.1) consists of the conservation of mass, momentum and energy. There is a large amount of literature on the wellposedness and illposedness to compressible viscous flows in multi-dimensional, see [3, 4, 9,10,11, 13, 14, 18, 19, 23, 28, 29, 32, 33, 35, 39, 40]) and the references cited therein. The local existence and uniqueness of classical solutions were established in [40, 43] in the absence of vacuum. When initial data close to a non-vacuum equilibrium in some Sobolev space, Matsumura-Nishida first obtained [39] the global classical solutions. Later, Hoff [14] studied the global weak solutions with strictly positive initial density and temperature for discontinuous initial data. The major breakthrough is due to Lions [35], he obtained a global weak solution to 3D compressible barotropic Navier–Stokes equations, when solutions have finite energy and the pressure \(P(\rho )=\rho ^{\gamma }\) with \(\gamma \ge \frac{9}{5}\), and Feireisl [13] extended the results with \(\gamma >\frac{3}{2}\). Based on the frameworks, Jiang–Zhang [28] constructed the global existence of weak solution for \(\gamma > 1\) with the symmetric initial data. Hu-Wang [15, 16] extended the Lion’s weak solution to the full compressible Navier–Stokes equations and magnetohydrodynamic equations with general large initial data. Moreover, Cho-Kim [3] obtained the local existence and uniqueness of strong solutions with nonnegative initial density in three-dimensional space. Recently, Huang–Li–Xin [18, 23, 33] and Li–Xu–Zhang [31] established the global existence of the classical solution to multi-dimensional compressible Navier–Stokes equations and magnetohydrodynamic equations when the initial total energy is small but possibly large oscillations, respectively.
In particular, Xin [50] and Xin-Yan [51] showed that the smooth solutions to the compressible viscous flows without heat-conductive will blow up in finite time when the initial density has compact support or contains an isolated mass group. Therefore, it should be noted that one would not expect too much regularity of Lions’s weak solutions in general. It is thus important to study the mechanism of blowup and structure of possible singularities of strong (or smooth) solutions to the compressible Navier–Stokes system. In the recent years, there has been some progress along this lines to the multi-dimensional compressible Navier–Stokes equation. The pioneering work can be traced to the incompressible Euler equations, Beale-Kato-Majda (BKM-type) in [1] established a well-known blowup criterion, roughly speaking, that if \(T^*<\infty \) is the life span of a strong (or classical) solution, then
Later, Ponce [42] rephrased the BKM-type criterion in terms of deformation tensor \(\mathfrak {D}(u)\) for 3D incompressible Euler equations, namely,
Recently, Huang and Xin [24] established the following blow-up criterion in a 3-D smooth bounded domain for compressible Navier-Stokes equations, similar to the Beale-Kato-Majda criterion for ideal incompressible flows, namely,
provided
Very recently, Huang–Li–Xin [22] extended the BKM-type blowup criterion (1.4) to the viscous baratropic Navier–Stokes equations in \(\mathbb {R}^{3}\) or a bounded domain of \(\mathbb {R}^{3}\).
For the non-isentropic compressible Navier–Stokes equations, Jiang–Ou [27] obtained a BKM-type blowup criterion for full Navier-Stokes equations (1.1) over a periodic domain or unit square domain of \(\mathbb {R}^{2}\).
Furthermore, Fan–Jiang–Ou [12] proved that if the strong solution blows up at \(T^*\) to (1.1) in a bounded domain of \(\mathbb {R}^{3}\), then
under the assumption (1.51.6). More recently, in the absence of a vacuum and \(7\mu >\lambda \), Sun–Wang–Zhang [46] showed that
On the other side, Wang [48] established a blowup criterion only in term of the divergence of the velocity field in two dimension bounded domain, namely,
Indeed, due to the significant works of Xin [50] and Xin–Yan [51] to compressible viscous flows without heat-conductive, the aim of this paper is to investigate the further blowup mechanism to the 2D full compressible Navier–Stokes equations without heat-conductivity. We will assume that \(\kappa =0\), and without loss of generality, take \(c_{\upsilon }=R=1\), the system (1.1) is reduced to
We consider the Cauchy problem to (1.7) with initial conditions
and the far-field conditions
Before stating the main result, we will use the following notations and conventions. For \(1\le r\le \infty \) and integer \(k\ge 1\), we denote the standard Lebesgue and Sobolev spaces as follows,
and
We denote the material derivative of f by
We begin with the local existence of strong (or classical) solutions. The existence and uniqueness of local strong (or classical) solutions for the system (1.7)–(1.9) are proved recently in [34, 36], which the initial vacuum states are allowed. The strong solutions to the Cauchy problem (1.7)–(1.9) are defined as follows.
Definition 1.1
(Strong solutions). \((\rho , u, P)\) is called a strong solution to (1.7) in \(\mathbb {R}^2\times (0,T)\), if for some \(r_0>2\) and \(a>1\),
where \((\rho ,u,P)\) satisfies (1.7) almost everywhere in \(\mathbb {R}^2\times (0,T)\). Here
where \(\eta _0\) is a positive constant.
Without loss of generality, we assume that the initial density \(\rho _0\) satisfies
Our main result of this paper can be stated as follows.
Theorem 1.1
For given positive constants \(\eta _0\), \(\tilde{q}>2\) and \(a>1\), the initial data satisfies (1.12) and
and the compatibility conditions
for some \(g\in L^2\). Suppose \((\rho , u, P)\) be a strong solution to the Cauchy problem (1.7)–(1.9). If \(T^{*}<\infty \) is the maximal existence time of the strong solution, then
for all \(s\ge 1\).
Remark 1.1
Under the conditions of Theorem 1.1, the local existence of a strong solution was established in [34, 36]. Hence, the maximal time \(T^*\) is well-defined.
Remark 1.2
In view of the standard Hölder inequality and \(\Vert \text {div}u\Vert _{L^{q_1}(0, T; L^\infty )}\le C\) for \(q_1>1\), we obtain the bound of \(\Vert \text {div}u\Vert _{L^{q_2}(0, T; L^{\infty })}\le C\) for any \(q_2\in [1, q_1)\). Hence, it suffices to prove the main Theorem 1.1 holds for \(s=1\).
Remark 1.3
Very recently, the authors [26] establish a blowup criterion in terms of the integrability of the density for strong solutions to the compressible viscous baratropic Navier–Stokes equations in \(\mathbb {R}^2\) with vacuum. It would be interesting to study whether the integrability of the density can guarantee the global regularity of the system (1.7)–(1.9).
Remark 1.4
Recently, Zhong [54, 55] obtained a blowup criterion to system (1.7)–(1.9), if \(T^*<\infty \) is the maximal time for the existence of a strong (or classical) solution, then
For the 3D Cauchy problem of non-isentropic Navier–Stokes equations with zero heat conduction, Huang–Xin [25] proved that
under the assumption \(\mu >4\lambda \). In particular, Duan [8], Zhong [53] and Wang [47] established a some blowup criteria for the 3D compressible non-isentropic magnetohydrodynamic (MHD) equations with zero heat-conductivity. It would be interesting to study whether the maximum norm of velocity divergence can guarantee the global regularity of the 3D system (1.7)–(1.9).
Remark 1.5
We would like to mention the recent works on the well-known Serrin-type blowup criteria for compressible flows in [17, 20, 21, 52] for more details. The pioneering work can be traced to Serrin’s criterion was first established by J. Serrin in [44] for three-dimensional incompressible Navier–Stokes flows. Some similar blowup criteria for the compressible flows and liquid–gas two-phase flow model have been established in the recent papers, see [5,6,7, 45, 49] and references therein.
We now comment on the analysis of this paper.
Compared with [27, 48] for 2D the full compressible Navier–Stokes equations in bounded domain, some new difficulties arise for the Cauchy problem of the compressible non-isentropic Navier–Stokes equations with zero heat conduction. First, it seems difficult to bound the norm \(\Vert u\Vert _{L^q(\mathbb {R}^2)}\) for any \(q>1\) just in terms of \(\Vert \sqrt{\rho }u\Vert _{L^2(\mathbb {R}^2)}\) and \(\Vert \nabla u\Vert _{L^2(\mathbb {R}^2)}\), since the Brezis-Waigner’s inequality [2] fails for unbounded domain \({\mathbb {R}}^2\). Inspired by [37, 38], one way to overcome this difficulty is to estimate the momentum \(\rho u\) instead of the velocity u provided that \(\rho \) decays for large x. Moreover, in order to estimate \(L_t^\infty L_x^\infty \)-norm of P, we first show a priori estimate \(L_t^\infty L_x^q\)-norm of P for any \(1<q<\infty \). Next, we use logarithmic type Gronwall’s inequality and a finer estimate for \(\rho \), u and P, and obtain the estimates \(L_t^\infty L_x^2\), \(L_t^\infty L_x^{\tilde{q}}\)-norm of \((\nabla \rho ,\nabla P)\) (\(\tilde{q}>2\)). Finally, we can obtain the spatial weighted estimate of density. Furthermore, the initial density vacuum is allowed in this paper. bound the norm \(\Vert u\Vert _{L^q(\mathbb {R}^2)}\) for any \(q>1\) just in terms of \(\Vert \sqrt{\rho }u\Vert _{L^2(\mathbb {R}^2)}\) and \(\Vert \nabla u\Vert _{L^2(\mathbb {R}^2)}\), since the Brezis-Waigner’s inequality [2] fails for unbounded domain \({\mathbb {R}}^2\). Inspired by [37, 38], one way to overcome this difficulty is to estimate the momentum \(\rho u\) instead of the velocity u provided that \(\rho \) decays for large x.
The remain of this paper is organized as follows. First, some important inequalities and auxiliary lemmas will be given in Sect. 2. Moreover, we prove the main result Theorem 1.1 in Sect. 3.
2 Preliminaries
In this section, we will recall some elementary lemmas and inequalities that will be used later.
First, we will give the result on the local existence of the strong solution to the full Navier–Stokes system (1.7)–(1.9), and the proof can be found in [34].
Proposition 2.1
(Local existence of strong solution). Assume that the initial data \((\rho _{0},u_{0},P_{0})\) satisfy (1.13) and (1.14). Then there exists a positive constant \(T_{0}\) and unique strong solution \((\rho , u, P)\) to the Cauchy problem (1.7)–(1.9) on \(\mathbb {R}^2\times (0, T_{0})\).
Next, the following well-known Gagliardo-Nirenberg inequalities, which will be used later frequently (see [41] for the detailed proof).
Lemma 2.2
For \(p\in [2, \infty )\), \(m\in (1,\infty )\), and \(n\in (2,\infty )\), there exists a generic positive constant C which may depend on m, n such that for any \(f\in H^{1}\), \(g\in L^{m}\cap D^{1,n}\), there holds
and
The effective viscous flux G, and vorticity \(\omega \) are defined as follows.
It follows from the momentum equations (1.7)\(_2\) that we can obtain two key elliptic system of G and \(\omega \),
In view of the standard \(L^p\)-estimate of elliptic system (2.4), we obtain the following estimate.
Lemma 2.3
Let \((\rho , u, P)\) be a smooth solution of (2.4) and \(p\ge 2\). Then there exists a generic positive constant C depending only on \(\mu \), \(\lambda \) and p, such that
and
Proof
The standard \(L^p\)-estimate for elliptic system (2.4) yields (2.5).
In view of (2.1), (2.3) and (2.5), one has (2.6).
Using the similar arguments as Lemma 2.5 in [33], we obtain the desired estimate (2.7).
\(\square \)
The following Hardy-type inequality plays a crucial role in the estimate, the detailed proofs can be found in [32].
Lemma 2.4
Let \(\bar{x}\) and \(\eta _0\) be as in (1.11) and \(B_{N_1}=\left\{ x\mid |x|<N_1\right\} \subset \mathbb {R}^2\) with \(N_1\ge 1\). Assume that \(\rho \in L^1(\mathbb {R}^2)\cap L^\infty (\mathbb {R}^2)\) is a non-negative function such that
for positive constants \(M_1\) and \(M_2\). Then there exists a positive constant C depending on \(M_1\), \(M_2\), \(\gamma \), \(N_1\) and \(\eta _0\) such that
for any \(v\in \tilde{D}^{1,2}\triangleq \{v\in H_{loc}^1(\mathbb {R}^2)\mid \nabla v\in L^2(\mathbb {R}^2)\}\). Furthermore, for \(\varepsilon >0\) and \(\eta >0\), there exists a positive constant C depending on \(\varepsilon \), \(\eta \), \(M_1\), \(M_2\), \(\gamma \), \(N_1\) and \(\eta _0\) such that every function \(v\in \tilde{D}^{1,2}\) satisfies
with \(\tilde{\eta }=\min \{1, \eta \}\).
In addition, in order to estimate \(\Vert \nabla u\Vert _{L^p}\), we introduce the following inequality, which is crucial to the velocity field for 2D Cauchy problem (see [30] for the detailed proof).
Lemma 2.5
Suppose that \(u\in C_0^\infty (\mathbb {R}^2)\) for any \(p\in (1, \infty )\). There exists a constant C depending only on p, such that
In order to improve the regularity of the velocity field, we introduce some regularity estimates to the following so-called Lamé system,
where \(U=(U_{1}, U_{2})\), \(F=(F_{1}, F_{2})\) and \(\mu , \lambda \) satisfy the condition (1.2). The following Lemma can be found in [17, 45].
Lemma 2.6
Let \(r\in (1, \infty )\), \(q\in (2,\infty )\). Suppose \(U\in D^{1,r}\cap D^{2,q}\) is a weak solution to the system (2.11). Then there exists some constant C depending only on \(\lambda \), \(\mu \), q and r such that the following estimates hold:
(1) If \(F\in L^r\), then
(2) If \(F=\textrm{div} f\) with \(f=(f_{ij})_{2\times 2}\in L^{r}\cap D^{1,q}\), then
and
3 Proof of The Main Results
Let \((\rho , u, P)\) be a strong solution of (1.7)–(1.9) on \(\mathbb {R}^2\times [0, T^{*})\). Suppose that (1.15) was false, for \({s} =1\), namely, there exists a constant \(M>0\) such that
First, we have the following upper uniform estimates of the density.
Lemma 3.1
Under the assumption (3.1), it holds that for \(0\le T<T^{*}\),
and
Here and after, c, C and \(C_{i}\) (\(i=0,1\)) denote generic positive constants depending only on M, \(\mu \), \(\lambda \), \(T^{*}\) and the initial data.
Proof
The particle path can be defined before blowup time as follows:
It follows from the continuity equation and along the particle path that the density can be expressed by
implies
which together with \(\rho _0\ge 0\), (3.1) and Lemma 2.1 in [22] implies \(\rho \ge 0\) and (3.3).
Indeed, in view of the continuity equation, we obtain \(\Vert \rho \Vert _{L^1}=\Vert \rho _0\Vert _{L^1}\).
Furthermore, one has
where \(F=2\mu |\mathfrak {D}(u)|^{2}+\lambda (\text {div}u)^{2}\).
Thus, along particle path (3.4) and (3.5), we obtain
which implies
Hence, we finish the proof of Lemma 3.1.
\(\square \)
Next, we will give the standard energy estimates as follows.
Lemma 3.2
Under the assumption (3.1), there exists a positive constant \(N_1\) such that
and
for any \(0\le T< T^{*}\).
Proof
Indeed, multiplying (1.7)\(_2\) by u, we obtain after integrating over \(\mathbb {R}^2\) and integrating by parts that
Integrating the pressure equation in (1.7)\(_3\) over \(\mathbb {R}^2\) yields to
Set \(C_{1}= \frac{C_{0}+1}{\mu }\), adding (3.9) multiplied by \(C_{1}\) to (3.10), one has
which together with (3.1) and Gronwall’s inequality gives
Next, for \(N_1>1\), a cutoff function \(\eta _{N_1}(x)\in C_{0}^\infty (\mathbb {R}^2)\) is defined by
Multiplying \((1.7)_1\) by \(\eta _{N_1}\) and integrating by parts give that
due to Hölder’s inequality and (3.11). This gives
which together with (1.12) imply that
for \(N_1\) suitably large.
Therefore, in view of (3.11) and (3.12), we complete the proof of the Lemma 3.2. \(\square \)
We can prove the following key estimate on \(\nabla u\), which is crucial for deriving the higher order estimates to the solution.
Lemma 3.3
Under condition (3.1), it holds that for \(0\le T<T^{*}\),
Proof
Multiplying the momentum equation \((1.7)_2\) by \(\dot{u}\), integrating the resulting equation over \(\mathbb {R}^2\) and integrating by parts yield to
Indeed, for \(\nabla ^\perp \triangleq (-\partial _2,\partial _1)\), and \(-\Delta u=-\nabla \text {div}u-\nabla ^\perp \omega \), integrating by parts, we have the following estimates to \(I_1\).
where we have used the following facts.
and
On the other hand, using Young’s inequality and integrating by parts, one has
Furthermore, using Young’s inequality, Lemmas 2.2, 2.3 and 2.5 lead to
which together with (3.16) and choosing \(\varepsilon \) suitable small yields to
Substituting (3.15) and (3.18) into (3.14), we obtain
Next, we will estimate the term \(\Vert P\Vert _{L^2}^2\). Multiplying (1.7)\(_3\) by P, and integrating it over \(\mathbb {R}^2\), after integration by parts together with (3.17) show that
due to Hölder’s inequality.
Noting that
Then, adding (3.20) multiplied by \(2(C_1+1)\) to (3.19) and choosing \(\varepsilon \) suitable small, we obtain that
with together with (3.1), (3.21) and Gronwall’s inequality yields
Finally, multiplying \((1.7)_1\) by \(\bar{x}^a\) and integrating the resulting equation over \(\mathbb {R}^2\) and integrating by parts yield that
due to (2.9). This together with Gronwall’s inequality and (3.7) gives
This completes the proof of Lemma 3.3. \(\square \)
Next, we have the following estimates on the material derivatives of the velocity.
Lemma 3.4
Under the condition (3.1), it holds that for \(0\le T<T^{*}\),
Proof
Applying \(\dot{u}^{j}(\partial _{t}+\text {div}(u\cdot ))\) to the j-th equation in the momentum equations (\(j= 1,2\)), integrating the resulting equation over \(\mathbb {R}^2\) and integration by parts, we get
For the first term on the right-hand side of (3.24), using (1.7)\(_3\), Young’s inequality, and integration by parts yields to
Next, after integrating by parts, it follows from Young’s inequality that
Similarly,
Putting (3.25)–(3.27) into (3.24), we obtain
Furthermore, we multiply (1.7)\(_3\) by \(4P^3\), and integrating it over \(\mathbb {R}^2\), after integration by parts, Hölder’s inequality, (3.13), Lemmas 2.2, 2.3 and 2.5 yield to
This together with (3.28) gives that
To deal with the right-hand side of (3.29), using (2.7) and (3.13), one has
This together with (3.29), we obtain
which together with (3.1) and (3.13), we immediately obtain (3.23) by applying Gronwall’s inequality. The proof of Lemma 3.4 is finished.
\(\square \)
Next, in view of Lemmas 3.1–3.4, we will prove the higher order integrability of P.
Lemma 3.5
Under the condition (3.1), for any \(0\le T<T^{*}\) and \(q\in [2,\infty )\), it holds that
and
Proof
For any \(q\in [2,\infty )\), multiplying (1.7)\(_3\) by \(q P^{q-1}\) and integrating by parts over \(\mathbb {R}^2\) lead to
where have used (2.1), (2.5), (2.10), (3.13), (3.23), Hölder’s inequality and the following facts.
due to (2.7) and (3.23). This together with (3.33) yield that
with constant C only depending on \(\mu \), \(\lambda \) and q.
Combining (3.34) with (3.1) and using Gronwall’s inequality, one has
Moreover, for some \({\tilde{q}}>2\), in view of (2.1), (2.5), (2.9), (3.3), (3.13), (3.23) and Hölder’s inequality, we have
due to \(\frac{\tilde{q}(\tilde{q}-2)}{{\tilde{q}}^2--2}\le 1\). This together with \(G=\left( 2\mu +\lambda \right) \text {div}u-P\) and (3.23) yield to
Hence, the proof of Lemma 3.5 is completed. \(\square \)
The following lemma is to prove the higher-order derivatives of strong solution \((\rho ,u,P)\). In particular, we obtain the second spatial derivatives of u and the \(L^2\cap L^{\tilde{q}}\)-norm (\({\tilde{q}}>2\)) of the first spatial derivative of \(\rho \) and P.
Lemma 3.6
Suppose that the conditions (3.1) holds, and let \({\tilde{q}}>2\) be defined in Theorem 1.1, we have that
and
for any \(0\le T<T^{*}\).
Proof
Indeed, \(|\nabla \rho |^{r}\) (\(2\le r\le {{\tilde{q}}}\)) satisfies
which together with integrating the resulting equation over \(\mathbb {R}^2\) and Hölder’s inequality gives that
Furthermore, in view of (1.7)\(_3\), \(|\nabla P|^r\) satisfies
which together with effective viscous flux \(G=\left( 2\mu +\lambda \right) \text {div}u-P\) yields
In view of (2.5) and (3.31), one has
where have used the fact
It follows from (3.39) that
Combined with (3.38) and (3.40) gives directly that
In order to estimate \(\Vert \nabla u\Vert _{L^{\infty }}\), we decompose the velocity field into two parts, namely \(u=v+w\), which satisfy the following equations with null boundary Dirichlet conditions, respectively,
and
In view of Lemmas 2.6, 3.3–Lemma 3.5 and (3.35), we obtain
and
It follows from (2.2), (3.35), (3.41), (3.44)–(3.46) that
Set \(r={\tilde{q}}\), the standard \(L^{\tilde{q}}\)-estimate of elliptic system (1.7)\(_2\), (2.9), (3.23) and (3.42) give to
Inserting (3.48) into (3.47), one has
Set \(f(t)=e+\Vert \nabla \rho \Vert _{L^{{\tilde{q}}}}+\Vert \nabla P\Vert _{L^{{\tilde{q}}}}\) and \(g(t)=1+\Vert P\Vert _{L^{\infty }}+\Vert \nabla \dot{u}\Vert _{L^2}^2\), together with (3.49), we obtain
which implies
This together with (3.23), (3.32) and Gronwall’s inequality yields to
It follows from (2.2), (3.13), (3.48) and (3.50) that
which together with (3.23) yields to
Taking \(r=2\), we obtain
where we have used the following facts.
Using (3.23), (3.51) and Gronwall’s inequality yield to
which together with (3.53) yields to
In view of (3.48), (3.23) and (3.50), we obtain
Finally, due to (2.2), one has
which together with (3.50) gives to
Thus the desired (3.36) and (3.37) follows from (3.50), (3.54), (3.55), (3.56) and (3.57). We complete the proof of Lemma 3.6.
\(\square \)
We have the following spatial weighted estimate on the density.
Lemma 3.7
With the assumption (3.1), and let \(\tilde{q}>2\) be defined in Theorem 1.1, it holds
Proof
Indeed, in view of \((1.7)_1\), \(\rho \bar{x}^a\) satisfies
Thus, \(\left| \nabla \left( \rho \bar{x}^a\right) \right| ^p\) (\(p\in [2, r]\)) satisfies
Integrating this equality over \({\mathbb {R}}^2\), using (2.1), (2.9), (3.13) and (3.36), we obtain
where we have used the following facts. In fact, it follows from (2.1), (2.9) and (3.36) that
and
choosing \(\varepsilon \) suitably small yields to
Letting \(p=\tilde{q}\) in (3.59), together with Gronwall’s inequality and (3.36) gives
Furthermore, taking \(p=2\) in (3.57), we deduce from (3.36) and (3.60) that
This combined with (3.60) gives (3.58). This finishes the proof of Lemma 3.7. \(\square \)
Proof of Theorem 1.1 Suppose that (1.15) was false, namely, (3.1) holds.
With the aid of the a priori estimates Lemma 3.1–Lemma 3.7, the functions \((\rho , u,P)(x,T^{*})=\lim _{t\rightarrow T^{*}}(\rho , u,P)(x,t)\) satisfy the conditions imposed on the initial data at the time \(t=T^{*}\). Hence, we obtain \(\rho \dot{u}\in C([0,T^*]; L^{2})\), which implies
It follows from (3.36) that
where
satisfying \(g\in L^{2}\). This implies that \((\rho ,u,P)(x,T^{*})\) satisfy compatibility conditions (1.14). Therefore, one can take \((\rho ,u,P)(x,T^{*})\) as the initial data and apply Proposition 2.1 to extend the local strong solution beyond \(T^*\), which contradicts the assumption on \(T^{*}\). We thus finish the proof of Theorem 1.1.
Data Availibility Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Beale, J.T., Kato, T., Majda, A.: Remarks on the breakdown of smooth solutions for the 3-D Euler equations. Commun. Math. Phys. 94, 61–66 (1984)
Brézis, H., Wainger, S.: A note on limiting cases of Sobolev embeddings and convolution inequalities. Commun. Partial Differ. Equ. 5, 773–789 (1980)
Cho, Y., Kim, H.: Existence results for viscous polytropic fluids with vacuum. J. Differ. Equ. 228, 377–411 (2006)
Cho, Y., Kim, H.: On classical solutions of the compressible Navier–Stokes equations with nonnegative initial densities. Manuscripta Math. 120, 91–129 (2006)
Du, L.L., Wang, Y.F.: Blowup criterion for 3-dimensional compressible Navier–Stokes equations involving velocity divergence. Commun. Math. Sci. 12, 1427–1435 (2014)
Du, L.L., Wang, Y.F.: Mass concentration phenomenon in compressible magnetohydrodynamic flows. Nonlinearity 28, 2959–2976 (2015)
Du, L.L., Wang, Y.F.: A blowup criterion for viscous, compressible, and heat-conductive magnetohydrodynamic flows. J. Math. Phys. 56, 091503 (2015)
Duan, Q.: Blowup of smooth solution for non-isentropic magnetohydrodynamic equations without heat conductivity. Math. Meth. Appl. Sci. 40, 1865–1879 (2017)
Duan, Q., Huang, X.D.: Local weak solution of the isentropic compressible Navier-Stokes equations for half-space. Sci. China Math. 65(5), 993–1002 (2022)
Duan, Q., Li, H.L.: Global existence of weak solution for the compressible Navier–StokesPoisson system for gaseous stars. J. Differ. Equ. 259, 5302–5330 (2015)
Duan, Q., Xin, Z.P., Zhu, S.G.: On regular solutions for multi-dimensional full compressible Navier-Stokes equations with degenerate viscosities and far field vacuum. Arch. Rational Mech. Anal. 247, 1 (2023)
Fan, J.S., Jiang, S., Ou, Y.B.: A blow-up criterion for compressible viscous heatconductive flows. Ann. Inst. H. Poincaré Anal. Non Linéaire 27, 337–350 (2010)
Feireisl, E., Novotny, A., Petzeltová, H.: On the existence of globally defined weak solutions to the Navier-Stokes equations. J. Math. Fluid Mech. 3, 358–392 (2001)
Hoff, D.: Global solutions of the Navier-Stokes equations for multidimensional compressible flow with discontinuous initial data. J. Differ. Equ. 120, 215–254 (1995)
Hu, X.P., Wang, D.H.: Global solutions to the three-dimensional full compressible magnetohydrodynamic flows. Commun. Math. Phys. 283, 255–284 (2008)
Hu, X.P., Wang, D.H.: Global existence and large-time behavior of solutions to the three-dimensional equations of compressible magnetohydrodynamic flows. Arch. Rational Mech. Anal. 197, 203–238 (2010)
Huang, X.D., Li, J.: Serrin-type blowup criterion for viscous, compressible, and heat conducting Navier-Stokes and Magnetohydrodynamic flows. Commun. Math. Phys. 324(1), 147–171 (2013)
Huang, X.D., Li, J.: Global classical and weak solutions to the three-dimensional full compressible Navier-Stokes system with vacuum and large oscillations. Arch. Ration. Mech. Anal. 227, 995–1059 (2018)
Huang, X.D., Li, J.: Existence and blowup behavior of global strong solutions to the two-dimensional baratropic compressible Navier-Stokes system with vacuum and large initial data. J. Math. Pures Appl. 106(9), 123–154 (2016)
Huang, X.D., Li, J., Wang, Y.: Serrin-type blowup criterion for full compressible Navier–Stokes system. Arch. Ration. Mech. Anal. 207, 303–316 (2013)
Huang, X.D., Li, J., Xin, Z.P.: Serrin type criterion for the three-dimensional viscous compressible flows. SIAM J. Math. Anal. 43, 1872–1886 (2011)
Huang, X.D., Li, J., Xin, Z.P.: Blowup criterion for viscous barotropic flows with vacuum states. Commun. Math. Phys. 301, 23–35 (2011)
Huang, X.D., Li, J., Xin, Z.P.: Global well-posedness of classical solutions with large oscillations and vacuum to the three-dimensional isentropic compressible Navier- Stokes equations. Comm. Pure Appl. Math. 65, 549–585 (2012)
Huang, X.D., Li, J.: A blow-up criterion for classical solutions to the compressible Navier-Stokes equations. Sci. China Math. 53, 671–686 (2010)
Huang, X.D., Xin, Z.P.: On formation of singularity for non-isentropic Navier-Stokes equations without heat-conductivity. Discrete Contin. Dyn. Syst. 36, 4477–4493 (2016)
Ji, R.H., Wang, Y.F.: Mass concentration phenomenon to the 2D Cauchy problem of the compressible Navier-Stokes equations. Discrete Contin. Dyn. Syst. 39, 1117–1133 (2019)
Jiang, S., Ou, Y.B.: A blow-up criterion for compressible viscous heat-conductive flows, Acta Math. Sci. Ser. B Engl. Ed. 30(6), 1851–1864 (2010)
Jiang, S., Zhang, P.: On spherically symmetric solutions of the compressible isentropic Navier-Stokes equations. Commun. Math. Phys. 215, 559–581 (2001)
Jiang, S., Zhang, P.: Axisymmetric solutions of the 3-D Navier-Stokes equations for compressible isentropic fluids. J. Math. Pure Appl. 82, 949–973 (2003)
Jiu, Q.S., Wang, Y., Xin, Z.P.: Global well-posedness of Cauchy problem of two-dimensional compressible Navier-stokes equations in weighted spaces. J. Differ. Equ. 255, 351–404 (2013)
Li, H.L., Xu, X.Y., Zhang, J.W.: Global classical solutions to 3D compressible Magnetohydrodynamic equations with large oscillations and vacuum. SIAM J. Math. Anal. 45, 1356–1387 (2013)
Li, J., Liang, Z.L.: On local classical solutions to the Cauchy problem of the two-dimensional barotropic compressible Navier-Stokes equations with vacuum. J. Math. Pures Appl. 4, 640–671 (2014)
Li, J., Xin, Z.P.: Global well-posedness and large time asymptotic behavior of classical solutions to the compressible Navier-Stokes equations with vacuum. Ann. PDE 5(1), 7 (2019)
Liang, Z.L., Shi, X.D.: Classical solutions to the Cauchy problem for 2D viscous polytropic fluids with vacuum and zero heat-conduction. Commun. Math. Sci. 13, 327–345 (2015)
Lions, P.L.: Mathematical Topics in Fluid Mechanics. Compressible Models, vol. 2. Oxford University Press, New York (1998)
Lu, L., Huang, B.: On local strong solutions to the Cauchy problem of the two-dimensional full compressible magnetohydrodynamic equations with vacuum and zero heat conduction. Nonlinear Anal. Real World Appl. 31, 409–430 (2016)
Lü, B.Q., Shi, X.D., Xu, X.Y.: Global well-posedness and large time asymptotic behavior of strong solutions to the compressible magnetohydrodynamic equations with vacuum. Indiana Univ. Math. J. 65, 925–975 (2016)
Lü, B.Q., Xu, Z.H., Zhong, X.: Global existence and large time asymptotic behavior of strong solutions to the Cauchy problem of 2D density-dependent magnetohydrodynamic equations with vacuum. J. Math. Kyoto Univ. 108, 41–62 (2017)
Matsumura, A., Nishida, T.: The initial value problem for the equations of motion of viscous and heat-conductive gases. J. Math. Kyoto Univ. 20, 67–104 (1980)
Nash, J.: Le probleme de Cauchy pour les’equations différentielles d’un fluide général. Bull. Soc. Math. France 90, 487–497 (1962)
Nirenberg, L.: On elliptic partial differential equations. Ann. Scuola Norm. Sup. Pisa 13(3), 115–162 (1959)
Ponce, G.: Remarks on a paper: Remarks on the breakdown of smooth solutions for the 3-D Euler equations. Commun. Math. Phys. 98, 349–353 (1985)
Seerin, J.: On the uniqueness of compressible fluid motion. Arch. Ration. Math. Anal. 3, 271–288 (1959)
Serrin, J.: On the interior regularity of weak solutions of Navier-Stokes equation. Arch. Ration. Mech. Anal. 9, 187–195 (1962)
Sun, Y.Z., Wang, C., Zhang, Z.F.: A Beale-Kato-Majda blow-up criterion for the 3-D compressible Navier-Stokes equations. J. Math. Pures Appl. 95, 36–47 (2011)
Sun, Y.Z., Wang, C., Zhang, Z.F.: A Beale-Kato-Majda criterion for three dimensional compressible viscous heat-conductive flows. Arch Ration. Mech. Anal. 201, 727–742 (2011)
Wang, Y.F.: A Beale-Kato-Majda criterion for three dimensional compressible viscous non-isentropic magnetohydrodynamic flows without heat-conductivity. J. Differ. Equ. 280, 66–98 (2021)
Wang, Y.: One new blowup criterion for the 2D full compressible Navier-Stokes system. Nonlinear Anal. Real World Appl. 16, 214–226 (2014)
Wen, Y.H., Zhu, C.J.: Blow-up criterions of strong solutions to 3D compressible Navier-Stokes equations with vacuum. Adv. Math. 248, 534–572 (2013)
Xin, Z.P.: Blowup of smooth solutions to the compressible Navier-Stokes equation with compact density. Commun. Pure Appl. Math. 51(2), 229–240 (1998)
Xin, Z.P., Yan, W.: On blowup of classical solutions to the compressible Navier-Stokes Equations. Commun. Math. Phys. 231, 29–541 (2013)
Xu, X.Y., Zhang, J.W.: A blow-up criterion for 3D compressible magnetohydrodynamic equations with vacuum. Math. Models and Meth. Appl. Sci. 22(2), 1150010 (2012)
Zhong, X.: On formation of singularity of the full compressible magnetohydrodynamic equations with zero heat conduction. Indiana Univ. Math. J. 68, 1379–1407 (2019)
Zhong, X.: Singularity formation to the 2D Cauchy problem of the full compressible Navier-Stokes equations with zero heat conduction. Adv. Math. (China) 52, 290–304 (2023)
Zhong, X.: Singularity formation to the two-dimensional full compressible Navier-Stokes equations with zero heat conduction in a bounded domain. arXiv:1810.01265
Acknowledgements
The author would like to thank the anonymous referees for their useful comments and suggestions, which led to the final version of this paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author states that there is no conflict of interest.
Additional information
Communicated by Gui-Qiang G. Chen.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research is partially supported by NSFC Grant No. 12171394, the Sichuan Science and Technology program Grant No. 2022ZYD0002, and Guanghua Talent Project of Southwestern University of Finance and Economics.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Wang, Y. Blowup Criterion for Viscous Non-baratropic Flows with Zero Heat Conduction Involving Velocity Divergence. J. Math. Fluid Mech. 26, 51 (2024). https://doi.org/10.1007/s00021-024-00887-y
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-024-00887-y