The compressible Euler equations are an elementary model in mathematical fluid mechanics. In this article, we combine the Sideris and Makino-Ukai-Kawashima's classical functional techniques to study the new second inertia functional of reference:
Href(t)=12∫Ω(t)(ρ−ˉρ)|→x|2dV,
for the blowup phenomena of C1 solutions (ρ,→u) with the support of (ρ−ˉρ,→u), and with a positive constant ˉρ for the adiabatic index γ>1. We find that if the total reference mass
Mref(0)=∫RN(ρ0(→x)−ˉρ)dV≥0,
and the total reference energy
Eref(0)=∫RN(12ρ0(→x)|→u0(→x)|2+Kγ−1(ργ0(→x)−ˉργ))dV,
with a positive constant K is sufficiently large, then the corresponding solution blows up on or before any finite time T>0.
Citation: Manwai Yuen. Blowup for C1 solutions of Euler equations in RN with the second inertia functional of reference[J]. AIMS Mathematics, 2023, 8(4): 8162-8170. doi: 10.3934/math.2023412
[1] | Andrea Ratto . Higher order energy functionals and the Chen-Maeta conjecture. AIMS Mathematics, 2020, 5(2): 1089-1104. doi: 10.3934/math.2020076 |
[2] | Jingjie Wang, Xiaoyong Wen, Manwai Yuen . Blowup for regular solutions and $ C^{1} $ solutions of the two-phase model in $ \mathbb{R}^{N} $ with a free boundary. AIMS Mathematics, 2022, 7(8): 15313-15330. doi: 10.3934/math.2022839 |
[3] | Kunquan Li . Analytical solutions and asymptotic behaviors to the vacuum free boundary problem for 2D Navier-Stokes equations with degenerate viscosity. AIMS Mathematics, 2024, 9(5): 12412-12432. doi: 10.3934/math.2024607 |
[4] | Lingfei Li, Yingying Xie, Yongsheng Yan, Xiaoqiang Ma . Going beyond the threshold: Blowup criteria with arbitrary large energy in trapped quantum gases. AIMS Mathematics, 2022, 7(6): 9957-9975. doi: 10.3934/math.2022555 |
[5] | Bai-Ni Guo, Dongkyu Lim, Feng Qi . Series expansions of powers of arcsine, closed forms for special values of Bell polynomials, and series representations of generalized logsine functions. AIMS Mathematics, 2021, 6(7): 7494-7517. doi: 10.3934/math.2021438 |
[6] | Li Chen, Suyun Wang, Yongjun Li, Jinying Wei . New results for fractional ordinary differential equations in fuzzy metric space. AIMS Mathematics, 2024, 9(6): 13861-13873. doi: 10.3934/math.2024674 |
[7] | Jinguo Zhang, Dengyun Yang, Yadong Wu . Existence results for a Kirchhoff-type equation involving fractional $ p(x) $-Laplacian. AIMS Mathematics, 2021, 6(8): 8390-8403. doi: 10.3934/math.2021486 |
[8] | Xiuhong Long, Jixiu Wang . A fractional Laplacian problem with critical nonlinearity. AIMS Mathematics, 2021, 6(8): 8415-8425. doi: 10.3934/math.2021488 |
[9] | Li Lu . One new blow-up criterion for the two-dimensional full compressible magnetohydrodynamic equations. AIMS Mathematics, 2023, 8(7): 15876-15891. doi: 10.3934/math.2023810 |
[10] | Woocheol Choi . Energy minimizing solutions to slightly subcritical elliptic problems on nonconvex polygonal domains. AIMS Mathematics, 2023, 8(11): 26134-26152. doi: 10.3934/math.20231332 |
The compressible Euler equations are an elementary model in mathematical fluid mechanics. In this article, we combine the Sideris and Makino-Ukai-Kawashima's classical functional techniques to study the new second inertia functional of reference:
Href(t)=12∫Ω(t)(ρ−ˉρ)|→x|2dV,
for the blowup phenomena of C1 solutions (ρ,→u) with the support of (ρ−ˉρ,→u), and with a positive constant ˉρ for the adiabatic index γ>1. We find that if the total reference mass
Mref(0)=∫RN(ρ0(→x)−ˉρ)dV≥0,
and the total reference energy
Eref(0)=∫RN(12ρ0(→x)|→u0(→x)|2+Kγ−1(ργ0(→x)−ˉργ))dV,
with a positive constant K is sufficiently large, then the corresponding solution blows up on or before any finite time T>0.
The following system in mathematical fluid mechanics is the compressible Euler equations in →x=(x1,x2,⋯,xN)∈RN:
{ρt+∇⋅(ρ→u)=0,(ρ→u)t+∇⋅(ρ→u⊗→u)+∇P=→0. | (1.1) |
As usual, ρ=ρ(t,→x)≥0, →u=→u(t,→x)=(u1,u2,⋯,uN)∈RN and P=P(ρ) are the density, velocity and pressure function respectively. The γ-law for the pressure term is usually coupled, as
P=Kργ, | (1.2) |
with a constant K>0 and the adiabatic index γ>1.
The compressible Euler equations (1.1) and (1.2) are fundamental to studies in the physical sciences, such as of plasma, the atmosphere of the Earth and condensed matter [1,2,3,4]. Readers can find excellent reviews in [5,6,7,8]. Notably, the shallow water equations in fluid mechanics coincide with the Euler equations (1.1) and (1.2) when γ=2 in the mathematical structure [4,9].
The local well-posedness of the compressible Euler equations (1.1) and (1.2) is seen in [5,7,10,11]. If the smooth solutions of the compressible Euler equations (1.1) and (1.2) are not global in time, we regard these phenomena as the blowing up of solutions. The blowup phenomena of the compressible Euler equations (1.1) and (1.2) may represent the shock formation or turbulence in real physical applications. Research on the blowup phenomena of the compressible Euler equations is a very active field, as it is intimately related to the incompressible Navier-Stokes equations, which are related to one of the Millennium Prize Problems, posed by the Clay Mathematics Institute [12].
In 1985, Sideris [13] probed the functional
F(t)=∫R3→x⋅ρ→udV, | (1.3) |
where dV=dx1dx2dx3, to obtain the singularity formation for the three-dimensional compressible Euler equations (1.1) and (1.2). Sideris' important work proved that if the initial conditional F(0) is appropriately large, then the C1 solutions blow up in a finite time with the following lemma.
Lemma 1.1 (Proposition in [13], Lemma 2 in [14]). Let (ρ,→u) be a C1 solution of the Euler equations (1.1) and (1.2) in RN, with a lifespan T>0 and the following initial condition,
{(ρ(0,→x),→u(0,→x))=(ˉρ+ρ0(→x),→u0(→x)),Supp(ρ0(→x),→u0(→x))⊆{→x:|→x|≤R}, | (1.4) |
for some positive constants ˉρ and R. We have
(ρ,→u)=(ˉρ,→0), | (1.5) |
for t∈[0,T) and |→x|≥R+σt, where σ=√Kγˉργ−1>0.
In 1986, Makino, Ukai and Kawashima [11] extended the idea of Sideris' functional (1.3) to study the secondary inertia functional as follows
H(t)=12∫RNρ|→x|2dV, | (1.6) |
to show that there is no global non-trivial C1 solution for the regular solutions with initial compact support. For additional blowup analysis, readers are referred to [15,16,17,18,19,20,21,22,23].
In this article, we combine the Sideris and Makino-Ukai-Kawashima classical functional techniques in [11] and [13], to study the new second inertia functional of reference,
Href(t)=12∫RN(ρ−ˉρ)|→x|2dV, | (2.1) |
for the C1 solutions with the non-vacuum state in Lemma 1.1.
Consequently, we obtain blowup results for the following theorem with the total reference energy and the total reference mass:
Theorem 3.1. Suppose that (ρ,→u) is the solution in Lemma 1.1. If the total reference mass
Mref(0)=∫RN(ρ0(→x)−ˉρ)dV≥0, | (3.1) |
and the total reference energy
Eref(0)=∫RN(12ρ0(→x)|→u0(→x)|2+Kγ−1(ργ0(→x)−ˉργ))dV, | (3.2) |
is sufficiently large, the corresponding solution blows up on or before any finite time T>0.
Remark 3.1. To the best of the author's knowledge, this represents the first study of the second inertia functional of reference (2.1).
The following two lemmas for the conservation laws, the total reference mass and the total reference energy of the solutions in Lemma 1.1 with the non-vacuum state are well-known.
Lemma 3.1. For the solution in Lemma 1.1, we have
Mref(t)=∫RN(ρ−ˉρ)dV=Mref(0); | (3.3) |
that is, the total reference mass Mref(t) is conserved.
Lemma 3.2. For the solution in Lemma 1.1, we have
Eref(t)=∫RN(12ρ|→u|2+Kγ−1(ργ−ˉργ))dV=Eref(0); | (3.4) |
that is, the total reference energy Eref(t) is conserved.
Then, the second derivative of the second inertia functional of reference in Lemma 1.1, is obtained by the following lemma.
Lemma 3.3. For the solution in Lemma 1.1, we consider the second inertia functional of reference,
Href(t)=12∫RN(ρ−ˉρ)|→x|2dV. | (3.5) |
We have
¨Href(t)=∫RN(ρ|→u|2+NK(ργ−ˉργ))dV. | (3.6) |
Proof. We take a derivative with respect to t of the second inertia functional of reference (3.5) to obtain
˙Href(t)=12∫|→x|<R+σt(ρ−ˉρ)t|→x|2dV=12∫|→x|<R+σtρt|→x|2dV, | (3.7) |
with the support of ρ−ˉρ, to remove the surface integral.
From the mass equation (1.1)1, we have
˙Href(t)=−12∫|→x|<R+σt∇⋅(ρ→u)|→x|2dV=∫|→x|<R+σt→x⋅ρ→udV. | (3.8) |
We then consider the further derivative of functional (3.8), that is
¨Href(t)=∫|→x|<R+σt→x⋅(ρ→u)tdV | (3.9) |
and
¨Href(t)=∫|→x|<R+σt→x⋅[−∇⋅(ρ→u⊗→u)−∇K(ργ−ˉργ)]dV | (3.10) |
by the momentum equations (1.1)2.
We can calculate Eq (3.10) by splitting it into two parts as follows.
For the first term on the right side of Eq (3.10), by the integration by parts with the boundary condition for →u, we have
−∫|→x|<R+σt→x⋅[∇⋅(ρ→u⊗→u)]dV=−N∑h=1∫|→x|<R+σtxhN∑i=1∂i(ρuiuh)dV=∫|→x|<R+σtρ→u⋅→udV=∫|→x|<R+σtρ|→u|2dV. | (3.11) |
For the second term, we obtain
−∫|→x|<R+σt→x⋅∇K(ργ−ˉργ)dV=∫|→x|<R+σtNK(ργ−ˉργ)dV. | (3.12) |
Thus,
¨Href(t)=∫|→x|<R+σt(ρ|→u|2+NK(ργ−ˉργ))dV. | (3.13) |
The proof is complete.
We require an additional lemma to control the positivity of the final term in Equation (3.13).
Lemma 3.4. For the solution in Lemma 1.1, if Mref(0)≥0, then
∫|→x|<R+σt(ργ−ˉργ)dV≥0. | (3.14) |
Proof. For the solution in Lemma 1.1, by the reverse Holder's inequality and Mref(0)≥0, we have
∫|→x|<R+σtργdV≥(∫|→x|<R+σt1dV)−γ+1(∫|→x|<R+σt(ργ)1γdV)γ=(B(t))−γ+1(∫|→x|<R+σtρdV)γ, | (3.15) |
where the volume function,
B(t)=πN2(R+σt)NΓ(N2+1),for|→x|<R+σt,=(B(t))−γ+1(Mref(0)+∫|→x|<R+σtˉρdV)γ by Lemma 3.1,≥(B(t))−γ+1(0+B(t)ˉρ)γ=B(t)ˉργ=∫|→x|<R+σtˉργdV. | (3.16) |
Inequality (3.14) is thus proven.
At this stage, we can present the proof of Theorem 3.1.
Proof of Theorem 3.1. Our method for the novel second inertia functional of reference, that is
Href(t)=12∫RN(ρ−ˉρ)|→x|2dV, | (3.17) |
utilizes the functional techniques in the seminal papers of Makino, Ukai and Kawashima [11] and Sideris [13].
By Lemma 3.3, we have
¨Href(t)=∫|→x|<R+σt(22ρ|→u|2+N(γ−1)Kγ−1(ργ−ˉργ))dV≥∫|→x|<R+σt(min(2,N(γ−1))2ρ|→u|2+min(2,N(γ−1))Kγ−1(ργ−ˉργ))dV=min(2,N(γ−1))Eref(0), | (3.18) |
with the total reference mass Mref(0)≥0 by Lemma 3.4 and with the total reference energy Eref(0)=∫RN(12ρ0(→x)|→u0(→x)|2+Kγ−1(ργ0(→x)−ˉργ))dV by Lemma 3.2.
Therefore, we have
Href(t)≥Href(0)+˙Href(0)t+min(2,N(γ−1))Eref(0)2t2. | (3.19) |
Then, from
12(R+σt)2∫|→x|<R+σtρdV−ˉρ2∫|→x|<R+σt|→x|2dV≥12∫|→x|<R+σt(ρ−ˉρ)|→x|2dV=Href(t), | (3.20) |
we obtain
12(R+σt)2∫|→x|<R+σtρdV>Href(t), | (3.21) |
12(R+σt)2[Mref(0)+ˉρB(t)]>Href(0)+˙Href(0)t+min(2,N(γ−1))Eref(0)2t2, | (3.22) |
where the volume function B(t)=πN2(R+σt)NΓ(N2+1) for |→x|<R+σt, by Lemma 3.1 and Inequality (3.19).
If the total reference energy Eref(0) is sufficiently large, there is a contradiction to inequality (3.22) on or before T. Thus, the corresponding C1 solution blows up on or before any finite time T>0. The proof is complete.
Remark 3.2. We can choose the total reference energy such that
min(2,N(γ−1))Eref(0)2>>max(12|(R+σT)2(Mref(0)+ˉρB(T))|,|Href(0)|,|˙Href(0)|T), | (3.23) |
Eref(0)>>max(|(R+σT)2(Mref(0)+ˉρB(T))|,|Href(0)|,|˙Href(0)|T)N(γ−1)T2, | (3.24) |
for any finite time T>0, to fulfill the sufficiently large condition in Theorem 3.1.
Remark 3.3. In Theorem 3.1, the initial velocity →u0(→x) can be sufficiently large such that the kinetic energy ∫RN12ρ0(→x)|→u0(→x)|2dV is sufficiently large in the sense that the total reference energy Eref(0) is sufficiently large, such that
Eref(0)=∫RN(12ρ0(→x)|→u0(→x)|2+Kγ−1(ργ0(→x)−ˉργ))dV>>max((R+σT)2(∫RN(ρ0(→x)−ˉρ)dV+ˉρB(T)),−12∫RN(ρ0(→x)−ˉρ)|→x|2dV−T∫RN→x⋅ρ0(→x)→u0(→x)dV)N(γ−1)T2, | (3.25) |
to meet the requirement for showing blowup phenomenon on or before any finite time T>0.
Then, it is simple to obtain the following corollary.
Corollary 3.1. For the global solution in Lemma 1.1, we have the total reference mass
Mref(0)=∫RN(ρ0(→x)−ˉρ)dV<0, | (3.26) |
or the total reference energy
Eref(0)=∫RN(12ρ0(→x)|→u0(→x)|2+Kγ−1(ργ0(→x)−ˉργ))dV | (3.27) |
is sufficiently small.
Remark 3.4. Our method can also be applied to the non-isentropic Euler equations in RN,
{ρt+∇⋅(ρ→u)=0,(ρ→u)t+∇⋅(ρ→u⊗→u)+∇P=→0,St+→u⋅∇S=0, | (3.28) |
where S=S(t,→x)∈R is the entropy and P=KeSργ.
It is because by applying the same arguments in Makino-Ukai-Kawashima and Sideris's papers [11] and [13], the corresponding total energy is
Eref(0)=∫RN(12ρ0(→x)|→u0(→x)|2+Kγ−1(eS0(→x)ργ0(→x)−eˉSˉργ))dV, | (3.29) |
with the initial data
{(ρ(0,→x),→u(0,→x),S(0,→x))=(ˉρ+ρ0(→x),→u0(→x),ˉS+S0(→x)),Supp(ρ0(→x),→u0(→x),S0(→x))⊆{→x:|→x|≤R}; | (3.30) |
the corresponding second inertia functional of reference,
¨Href(t)=∫RN(ρ|→u|2+NK(eSργ−eˉSˉργ))dV; | (3.31) |
and
∫|→x|<R+σt(eSργ−eˉSˉργ)dV≥0 | (3.32) |
with Mref(0)≥0.
In this article, we combine the Sideris and Makino-Ukai-Kawashima's classical functional techniques to study the new second inertia functional of reference
Href(t)=12∫Ω(t)(ρ−ˉρ)|→x|2dV, |
for the blowup phenomena of C1 solutions (ρ,→u) with the support of (ρ−ˉρ,→u), and with a positive constant ˉρ for the adiabatic index γ>1. We find that if the total reference mass
Mref(0)=∫RN(ρ0(→x)−ˉρ)dV≥0, |
and the total reference energy
Eref(0)=∫RN(12ρ0(→x)|→u0(→x)|2+Kγ−1(ργ0(→x)−ˉργ))dV, |
with a positive constant K is sufficiently large, then the corresponding solution blows up on or before any finite time T>0.
The research in this paper was partially supported by the Top-up Fund for General Research Fund/ Early Career Scheme of the Dean's Research Fund 2018-2019 from the Education University of Hong Kong.
The author declare no conflict of interest.
[1] |
C. Cercignani, R. Illner, M. Pulvirenti, The mathematical theory of dilute gases, J. Fluid Mech., 309 (1996), 346–348. http://doi.org/10.1017/S0022112096231660 doi: 10.1017/S0022112096231660
![]() |
[2] | A. Constantin, Breaking water waves, In: Encyclopedia of Mathematical Physics, Academic Press, 2006,383–386. https://doi.org/10.1016/B0-12-512666-2/00112-7 |
[3] | D. Einzel, Superfluids, In: Encyclopedia of Mathematical Physics, Academic Press, 2006,115–121. https://doi.org/10.1016/B0-12-512666-2/00110-3 |
[4] | G. B. Whitham, Linear and Nonlinear Waves, John Wiley Sons, Inc., 1974. |
[5] | G. Q. Chen, D. H. Wang, The Cauchy problem for the Euler equations for compressible fluids, In: Handbook of Differential Equations: Evolutionary Equations, 1 (2002), 421–543. http://doi.org/10.1016/S1874-5792(02)80012-X |
[6] |
A. J. Chorin, J. E. Marsden, A mathematical introduction to fluid mechanics, Math. Gaz., 75 (1991), 392–393. http://doi.org/10.2307/3619548 doi: 10.2307/3619548
![]() |
[7] | P. L. Lions, Mathematical Topics in Fluid Mechanics, Oxford: Clarendon Press, 1998. |
[8] | R. Temam, A. Miranville, Mathematical Modeling in Continuum Mechanicsm, Cambridge: Cambridge University Press, 2005. https://doi.org/10.1017/CBO9780511755422 |
[9] | D. Bresch, Shallow-water equations and related topics, In: Handbook of Differential Equations: Evolutionary Equations, 5 (2009), 1–104. http://doi.org/10.1016/S1874-5717(08)00208-9 |
[10] | A. Majda, Compressible fluid flow and systems of conservation laws in several space variables, In: Applied Mathematical Sciences, New York: Springer-Verlag, 53 (1984). |
[11] |
T. Makino, S. Ukai, S. Kawashima, Sur la solution à support compact de l'equations d'Euler compressible, Japan J. Appl. Math., 3 (1986), 249. http://doi.org/10.1007/BF03167100 doi: 10.1007/BF03167100
![]() |
[12] | C. L. Fefferman, Existence and smoothness of the Navier-Stokes equation, Clay Math. Inst., 2006, 57–67. |
[13] |
T. C. Sideris, Formation of singularities in three-dimensional compressible fluids, Comm. Math. Phys., 101 (1985), 475–485. http://doi.org/10.1007/BF01210741 doi: 10.1007/BF01210741
![]() |
[14] |
S. Wong, M. W. Yuen, Blow-up phenomena for compressible Euler equations with non-vacuum initial data, Z. Angew. Math. Phys., 66 (2015), 2941–2955. http://doi.org/10.1007/s00033-015-0535-9 doi: 10.1007/s00033-015-0535-9
![]() |
[15] |
D. H. Chae, S. Y. Ha, On the formation of shocks to the compressible Euler equations, Commun. Math. Sci., 7 (2009), 627–634. http://doi.org/10.4310/CMS.2009.v7.n3.a6 doi: 10.4310/CMS.2009.v7.n3.a6
![]() |
[16] |
Y. Du, Z. Lei, Q. Zhang, Singularities of solutions to compressible Euler equations with vacuum, Math. Res. Lett., 20 (2013), 41–50. http://doi.org/10.4310/MRL.2013.v20.n1.a4 doi: 10.4310/MRL.2013.v20.n1.a4
![]() |
[17] |
M. A. Rammaha, Formation of singularities in compressible fluids in two-space dimensions, Proc. Amer. Math. Soc., 107 (1989), 705–714. http://doi.org/10.2307/2048169 doi: 10.2307/2048169
![]() |
[18] |
D. Serre, Expansion of a Compressible Gas in Vacuum, Bull. Inst. Math. Acad. Sin. (N.S.), 10 (2015), 695–716. http://doi.org/10.48550/arXiv.1504.01580 doi: 10.48550/arXiv.1504.01580
![]() |
[19] |
T. C. Sideris, Spreading of the free boundary of an ideal fluid in a vacuum, J. Differ. Equ., 257 (2014), 1–14. http://doi.org/10.1016/j.jde.2014.03.006 doi: 10.1016/j.jde.2014.03.006
![]() |
[20] |
T. Suzuki, Irrotational blowup of the solution to compressible euler equation, J. Math. Fluid Mech., 15 (2013), 617–633. http://doi.org/10.1007/s00021-012-0116-z doi: 10.1007/s00021-012-0116-z
![]() |
[21] |
M. W. Yuen, Blowup for irrotational C1 solutions of the compressible Euler equations in RN, Nonlinear Anal., 158 (2017), 132–141. http://doi.org/10.1016/j.na.2017.04.007 doi: 10.1016/j.na.2017.04.007
![]() |
[22] |
M. W. Yuen, Blowup for regular solutions and C1 solutions of Euler equations in RN with a free boundary, Eur. J. Mech. B Fluids, 67 (2018), 427–432. http://doi.org/10.1016/j.euromechflu.2017.09.017 doi: 10.1016/j.euromechflu.2017.09.017
![]() |
[23] |
M. W. Yuen, Blowup for projected 2-dimensional rotational C2 solutions of compressible Euler equations, J. Math. Fluid Mech., 21 (2019), 54. http://doi.org/10.1007/s00021-019-0458-x doi: 10.1007/s00021-019-0458-x
![]() |