本文主要研究广义Chaplygin气体在等熵可压缩欧拉方程下奇点的形成问题。首先通过相关方程和准备知识,做一些变量的特征分解,以此来建立梯度变量和黎卡提方程;最后通过给出密度的下界估计来分析奇点的形成。 In this paper, we consider singularity formation for isentropic compressible Euler equations with generalized Chaplygin gas. Firstly, through the relative equations and preliminaries, we do the characteristic decompositions of some variables, in order to establish the gradient variables and Riccati equations. Finally, we analyze the formation of singularity by giving the lower bound estimation of density.
本文主要研究广义Chaplygin气体在等熵可压缩欧拉方程下奇点的形成问题。首先通过相关方程和准备知识,做一些变量的特征分解,以此来建立梯度变量和黎卡提方程;最后通过给出密度的下界估计来分析奇点的形成。
可压缩欧拉方程,广义Chaplygin气体,特征分解,奇点的形成
Shijin Li
School of Science, Chang’an University, Xi’an Shaanxi
Received: May 16th, 2022; accepted: Jun. 22nd, 2022; published: Jun. 29th, 2022
In this paper, we consider singularity formation for isentropic compressible Euler equations with generalized Chaplygin gas. Firstly, through the relative equations and preliminaries, we do the characteristic decompositions of some variables, in order to establish the gradient variables and Riccati equations. Finally, we analyze the formation of singularity by giving the lower bound estimation of density.
Keywords:Compressible Euler Equations, Generalized Chaplygin Gas, Characteristic Decompositions, Singularity Formation
Copyright © 2022 by author(s) and beplay安卓登录
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
等熵的可压缩欧拉方程组是一个拟线性对称双曲型方程组,众多学者对它进行了研究,一方面是研究经典解的局部存在性,另一方面是即使给一个充分小且光滑的柯西初值,解在有限时间内也会发生爆破。对于经典解爆破的研究,根据维数和初值的不同,所采用的方法也不同。
对于等熵可压缩欧拉方程组奇性的研究,较早的T. Sideris对多方理想气体,用泛函分析的方法证明了三维可压缩欧拉方程组初值具有紧支集时,解将在有限的时间内发生爆破 [
Geng Chen等人证明了在初值没有小假设条件下,等熵和完全可压缩欧拉方程组的解将在有限时间内爆破,他们引入了一种全新而简便的方法建立了依赖时间的密度下界。这足以实现导致有限时间内奇点形成的特征分析,即使当初值很大时也是如此 [
近年来,为了统一暗物质和暗能量,同时也为了更好地描述宇宙的加速膨胀现象,人们引入了大量的外来气体,2002年,Benaoum在 [
P = − a τ γ , a > 0 , 0 < γ < 1 . (1.1)
本文考虑广义Chaplygin气体下一维等熵可压缩欧拉方程奇点的形成。
{ ρ t + ( ρ u ) x = 0 , ( ρ u ) t + ( ρ u 2 + P ) x = 0. (1.2)
其中x是空间变量,t是时间变量。 ρ 为密度,u为速度,P为压力。
在拉格朗日坐标系下,一维方程组(1.2)可化为
{ τ t − u x = 0 , u t + P x = 0. (1.3)
其中x,t,u,ρ,P的意义同上, τ = ρ − 1 表示比容。
本文分成四个小节:第一节首先介绍了一些基本知识和相关方程;第二节建立一些变量的特征分解;第三节通过建立的特征分解得到梯度变量和黎卡提方程;第四节对密度的下界进行估计,该估计是研究可压缩欧拉方程奇点形成最关键的步骤;随后得到奇点形成的主要结论。
从现在起,我们建立如下假设运用到全部文章中。
假设2.1 假设 ( τ 0 ( x ) , u 0 ( x ) ) 是 C 1 函数,并且有一致正常数 M 1 和 M 2 使得
‖ ( τ 0 , u 0 ) ( x ) ‖ C 1 ≤ M 1 , τ 0 ≥ M 2 .
(1.3)可以写成矩阵形式
L t + Q L x = 0 ,
其中
L = ( τ u ) , Q = ( 0 − 1 − a γ τ γ − 1 0 ) .
通过直接计算我们可以得到Q的两个特征值
λ + = c , λ − = − c .
这里c为拉格朗日声速
c = − P τ = a γ τ γ − 1 , (2.1)
且其相对应的左特征向量为
l + = ( c , − 1 ) , l − = ( c , 1 ) .
在(1.3)的两边分别乘 l ± ,可以得到特征方程
c ∂ ± τ ∓ ∂ ± u = 0 . (2.2)
向前和向后的特征分别被定义为
d x + d t = c , d x − d t = − c ,
分别表示沿着他们的方向导数为
∂ + = ∂ ∂ t + c ∂ ∂ x , ∂ − = ∂ ∂ t − c ∂ ∂ x .
而且,引入一个有用的量
η = ∫ 0 τ c d τ = 2 c τ γ + 1 > 0 , (2.3)
方程(1.3)对应的黎曼不变量为
s = u − η , r = u + η . (2.4)
它们满足
∂ + s = 0 , ∂ − r = 0 . (2.5)
这一节,我们将给出算子关系和变量的二阶特征分解,目的为下一节中得到黎卡提方程做准备。
定理3.1 我们有交换子关系
∂ + ∂ − − ∂ − ∂ + = 1 − γ 4 τ ( ∂ + τ + ∂ − τ ) ( ∂ + − ∂ − ) . (3.1)
证明 由 c 2 = a γ τ γ − 1 ,可以得到
∂ + c = c ( γ − 1 ) 2 τ ∂ + τ 和 ∂ − c = c ( γ − 1 ) 2 τ ∂ − τ . (3.2)
运用 ∂ x = ∂ + − ∂ − 2 c 和(3.2),我们有
∂ + ∂ − − ∂ − ∂ + = ( ∂ t + λ + ∂ x ) ( ∂ t + λ − ∂ x ) − ( ∂ t + λ − ∂ x ) ( ∂ t + λ + ∂ x ) = ( ∂ + λ − − ∂ − λ + ) ∂ x = − ( ∂ + c + ∂ − c ) ∂ + − ∂ − 2 c = 1 − γ 4 τ ( ∂ + τ + ∂ − τ ) ( ∂ + − ∂ − ) (3.3)
进一步,利用定理3.1,可以获得 τ 的二阶特征分解。
定理3.2 对于变量 τ ,我们有以下二阶特征分解
{ ∂ + ∂ − τ = γ − 1 4 τ ∂ − 2 τ + 1 − γ 4 τ ∂ + τ ∂ − τ , ∂ − ∂ + τ = γ − 1 4 τ ∂ + 2 τ + 1 − γ 4 τ ∂ + τ ∂ − τ . (3.4)
证明 由特征方程(2.2)可知
∂ + c ∂ − τ + c ∂ + ∂ − τ + ∂ + ∂ − u = 0 , (3.5)
∂ − c ∂ + τ + c ∂ − ∂ + τ − ∂ + ∂ − u = 0 . (3.6)
其中
∂ + c ∂ − τ + ∂ − c ∂ + τ = c ( γ − 1 ) τ ∂ + τ ∂ − τ , (3.7)
∂ + ∂ − u − ∂ − ∂ + u = c ( 1 − γ ) 4 τ ( ∂ + τ + ∂ − τ ) 2 . (3.8)
因为
∂ + ∂ − τ − ∂ − ∂ + τ = 1 − γ 4 τ ( ∂ + τ + ∂ − τ ) ( ∂ + τ − ∂ − τ ) , (3.9)
所以
c ∂ + ∂ − τ = c ∂ − ∂ + τ + c ( 1 − γ ) 4 τ ( ∂ + τ + ∂ − τ ) ( ∂ + τ − ∂ − τ ) . (3.10)
(3.5)和(3.6)相加,并将(3.7),(3.8),(3.10)带入,可以得到
c ( γ − 1 ) τ ∂ + τ ∂ − τ + 2 c ∂ + ∂ − τ − c ( 1 − γ ) 4 τ ( ∂ + τ + ∂ − τ ) ( ∂ + τ − ∂ − τ ) + c ( 1 − γ ) 4 τ ( ∂ + τ + ∂ − τ ) 2 = 0 . (3.11)
化简(3.11),我们有
∂ + ∂ − τ = γ − 1 4 τ ∂ − 2 τ + 1 − γ 4 τ ∂ + τ ∂ − τ . (3.12)
∂ − ∂ + τ 类似可得。
运用我们得到的特征分解关系式,可以得到相关的黎卡提方程。
根据(3.4),我们有
∂ + ∂ − τ − 1 − γ 4 τ ∂ + τ ∂ − τ = γ − 1 4 τ ∂ − 2 τ , (4.1)
将(4.1)的两边同时乘 τ γ − 1 4 ,有
∂ + ( τ γ − 1 4 ∂ − τ ) = γ − 1 4 τ τ γ − 1 4 ∂ − 2 τ , (4.2)
令
y = τ γ − 1 4 ∂ − τ , (4.3)
则
∂ − τ = y τ 1 − γ 4 . (4.4)
所以(4.2)可化为
∂ + y = − 1 − γ 4 τ − 3 − γ 4 y 2 . (4.5)
同理可得
∂ − q = − 1 − γ 4 τ − 3 − γ 4 q 2 . (4.6)
这里我们把 ∂ + τ 和 ∂ − τ 变成了新的变量y和q,即把(3.4)变为“解耦的常微分方程”,
y = τ γ − 1 4 ∂ − τ ,
q = τ γ − 1 4 ∂ + τ .
进而可以得到以下定理。
定理4.1 方程(1.3)的光滑解满足
∂ + y = − a 0 y 2 , (4.7)
∂ − q = − a 0 q 2 . (4.8)
这里
a 0 = 1 − γ 4 τ − 3 − γ 4 . (4.9)
为了证明奇点的形成,以下定义起到了关键的作用。
定义
Y = max { 0 , sup x { y ( x , 0 ) } } , Q = max { 0 , sup x { q ( x , 0 ) } } . (5.1)
通过定义我们可以得到以下引理。
引理5.1 如果 ( τ 0 ( x ) , u 0 ( x ) ) 满足假设2.1,对于系统的 C 1 解 ( τ , u ) ( x , t ) 有
y ( x , t ) ≤ Y 和 q ( x , t ) ≤ Q .
成立。
该引理可以根据方程(4.7),(4.8)和常微分方程的比较原理,结合Y和Q的定义得到。
通过引理5.1的帮助,可以证明关于密度下界(等价于 τ 的上界)的关键估计。
引理5.2 设 ( τ , u ) ( x , t ) 时定义在时间间隔 ( 0 , T ] ( T > 0 ) 上的系统(1.3)的 C 1 解,初值 ( τ 0 ( x ) , u 0 ( x ) ) 满足假设2.1,如果 0 < γ < 1 ,对于 ∀ x ∈ R 和 t ∈ [ 0 , T ) ,使得
τ ( x , t ) ≤ [ τ 0 γ + 3 4 + γ + 3 8 ( Y + Q ) t ] 4 γ + 3 .
证明 从y和q的定义,显然有
y = τ γ − 1 4 s x , q = τ γ − 1 4 r x .
从而
y + q = τ γ − 1 4 ( s x + r x ) = 2 u x τ γ − 1 4 ,
因此,从质量守恒得出
τ γ − 1 4 τ t = 1 2 ( y + q ) .
通过引理5.1可以得到
τ γ − 1 4 τ t ≤ 1 2 ( Y + Q ) . (5.2)
当 0 < γ < 1 , 1 − γ 4 < 1 ,对于 ∀ x ∈ R , t ∈ [ 0 , T ) ,对(5.2)的两边分别关于t积分
4 γ + 3 τ γ + 3 4 | t 0 t ≤ 1 2 ( Y + Q ) t .
因此我们有
τ ( x , t ) ≤ [ τ 0 γ + 3 4 + γ + 3 8 ( Y + Q ) t ] 4 γ + 3 . (5.3)
下边定理是本文中最主要的结论。
定理5.3 假设 ( τ 0 ( x ) , u 0 ( x ) ) 满足假设2.1,当 0 < γ < 1 时,如果存在一点 x ∗ ∈ R 使得
s x ( x ∗ , 0 ) < 0 或 r x ( x ∗ , 0 ) < 0 .
则系统(1.3)的古典解发生爆破。
证明 我们证明对某一x,如果 s x ( x , 0 ) < 0 或 r x ( x , 0 ) < 0 ,奇性在有限时间内发生。不失一般性,我们假设 s x ( x ∗ , 0 ) < 0 ,则对于某一 x ∗ , y ( x ∗ , 0 ) < 0 ,穿过的 ( x ∗ , 0 ) 的向前特征表示为 x + ( t ) ,通过(4.7)有
1 y ( x + ( t ) , t ) = 1 y ( x 0 , 0 ) + ∫ 0 t a 0 ( x + ( σ ) , σ ) d σ ,
为了证明y在有限的时间内发生爆破,主要是证明
∫ 0 t a 0 ( x + ( σ ) , σ ) d σ = ∞ ,
这里的积分是沿着前特征 x + ( t ) 。从 a 0 的定义来看,我们有
a 0 ( x + ( t ) , t ) = 1 − γ 4 τ − 3 − γ 4 ≥ 1 − γ 4 [ M 1 γ + 3 4 + γ + 3 8 ( Y + Q ) t ] − 1 .
所以 a 0 ( x + ( t ) , t ) 有正下界,因此
∫ 0 t a 0 ( x + ( σ ) , σ ) d σ = ∞ .
所以y在有限时间内发生爆破。
李世锦. 广义Chaplygin气体下等熵可压缩欧拉方程奇点的形成Singularity Formation for Isentropic Compressible Euler Equations with Generalized Chaplygin Gas[J]. 理论数学, 2022, 12(06): 1074-1081. https://doi.org/10.12677/PM.2022.126118
https://doi.org/10.1007/BF01210741
https://doi.org/10.1063/1.1704154
https://doi.org/10.1002/cpa.3160270307
https://doi.org/10.1016/0022-0396(79)90082-2
https://doi.org/10.1080/03605309408821055
https://doi.org/10.1016/0362-546X(95)00228-N
https://doi.org/10.1137/16M1062818
https://doi.org/10.1142/S0219891611002536
https://doi.org/10.1142/S0219891613500069
https://doi.org/10.1016/j.jde.2011.09.004
https://doi.org/10.1016/j.jmaa.2016.02.001
https://doi.org/10.4310/MAA.2009.v16.n3.a5
https://doi.org/10.1090/S0002-9939-1989-0984811-5
https://doi.org/10.1137/20M1316603
https://doi.org/10.1137/17M1130101
https://doi.org/10.1016/j.jde.2019.11.002
https://doi.org/10.1016/j.nonrwa.2021.103472
https://doi.org/10.1016/j.jde.2021.03.010
https://doi.org/10.1016/j.aml.2022.107978