1. 引言
等熵的可压缩欧拉方程组是一个拟线性对称双曲型方程组,众多学者对它进行了研究,一方面是研究经典解的局部存在性,另一方面是即使给一个充分小且光滑的柯西初值,解在有限时间内也会发生爆破。对于经典解爆破的研究,根据维数和初值的不同,所采用的方法也不同。
对于等熵可压缩欧拉方程组奇性的研究,较早的T. Sideris对多方理想气体,用泛函分析的方法证明了三维可压缩欧拉方程组初值具有紧支集时,解将在有限的时间内发生爆破 [1]。在拉格朗日坐标系下,Lax证明了无论初始数据多么小,多么光滑,奇点都会在有限的时间内发生 [2]。对于n × n系统 [3] [4] [5] [6] 论证了当初值在一个常数附近有小的光滑扰动且在任何真正非线性特征区域内初始可压缩,严格双曲型系统的解将在有限时间内发生爆破。
Geng Chen等人证明了在初值没有小假设条件下,等熵和完全可压缩欧拉方程组的解将在有限时间内爆破,他们引入了一种全新而简便的方法建立了依赖时间的密度下界。这足以实现导致有限时间内奇点形成的特征分析,即使当初值很大时也是如此 [7]。对于满足γ律的等熵流,他们的结果表明P-系统的柯西问题的解在有限时间内爆破的充要条件是初始可压缩 [8] [9] [10] [11]。多方气体和一般压力律下可压缩欧拉方程奇点的形成问题已得到深入研究 [12] [13] [14] [15] [16]。同时对于不同条件下,例如带有时间阻尼的可压缩欧拉方程 [17] [18],相对论欧拉方程 [19] 奇点的形成也做了进一步研究;对于Chaplygin气体可压缩欧拉方程的研究在 [20] 中有介绍。
近年来,为了统一暗物质和暗能量,同时也为了更好地描述宇宙的加速膨胀现象,人们引入了大量的外来气体,2002年,Benaoum在 [21] 中引入了修正的Chaplygin气体,并且定义了广义Chaplygin气体,当
,
,
. (1.1)
本文考虑广义Chaplygin气体下一维等熵可压缩欧拉方程奇点的形成。
(1.2)
其中x是空间变量,t是时间变量。
为密度,u为速度,P为压力。
在拉格朗日坐标系下,一维方程组(1.2)可化为
(1.3)
其中x,t,u,ρ,P的意义同上,
表示比容。
本文分成四个小节:第一节首先介绍了一些基本知识和相关方程;第二节建立一些变量的特征分解;第三节通过建立的特征分解得到梯度变量和黎卡提方程;第四节对密度的下界进行估计,该估计是研究可压缩欧拉方程奇点形成最关键的步骤;随后得到奇点形成的主要结论。
2. 预备知识
从现在起,我们建立如下假设运用到全部文章中。
假设2.1 假设
是
函数,并且有一致正常数
和
使得
,
.
(1.3)可以写成矩阵形式
,
其中
,
.
通过直接计算我们可以得到Q的两个特征值
,
.
这里c为拉格朗日声速
, (2.1)
且其相对应的左特征向量为
,
.
在(1.3)的两边分别乘
,可以得到特征方程
. (2.2)
向前和向后的特征分别被定义为
,
,
分别表示沿着他们的方向导数为
,
.
而且,引入一个有用的量
, (2.3)
方程(1.3)对应的黎曼不变量为
,
. (2.4)
它们满足
,
. (2.5)
3. 特征分解
这一节,我们将给出算子关系和变量的二阶特征分解,目的为下一节中得到黎卡提方程做准备。
定理3.1 我们有交换子关系
. (3.1)
证明 由
,可以得到
和
. (3.2)
运用
和(3.2),我们有
(3.3)
进一步,利用定理3.1,可以获得
的二阶特征分解。
定理3.2 对于变量
,我们有以下二阶特征分解
(3.4)
证明 由特征方程(2.2)可知
, (3.5)
. (3.6)
其中
, (3.7)
. (3.8)
因为
, (3.9)
所以
. (3.10)
(3.5)和(3.6)相加,并将(3.7),(3.8),(3.10)带入,可以得到
. (3.11)
化简(3.11),我们有
. (3.12)
类似可得。
4. 建立黎卡提方程
运用我们得到的特征分解关系式,可以得到相关的黎卡提方程。
根据(3.4),我们有
, (4.1)
将(4.1)的两边同时乘
,有
, (4.2)
令
, (4.3)
则
. (4.4)
所以(4.2)可化为
. (4.5)
同理可得
. (4.6)
这里我们把
和
变成了新的变量y和q,即把(3.4)变为“解耦的常微分方程”,
,
.
进而可以得到以下定理。
定理4.1 方程(1.3)的光滑解满足
, (4.7)
. (4.8)
这里
. (4.9)
5. 奇点的形成
为了证明奇点的形成,以下定义起到了关键的作用。
定义
,
. (5.1)
通过定义我们可以得到以下引理。
引理5.1 如果
满足假设2.1,对于系统的
解
有
和
.
成立。
该引理可以根据方程(4.7),(4.8)和常微分方程的比较原理,结合Y和Q的定义得到。
通过引理5.1的帮助,可以证明关于密度下界(等价于
的上界)的关键估计。
引理5.2 设
时定义在时间间隔
上的系统(1.3)的
解,初值
满足假设2.1,如果
,对于
和
,使得
.
证明 从y和q的定义,显然有
,
.
从而
,
因此,从质量守恒得出
.
通过引理5.1可以得到
. (5.2)
当
,
,对于
,
,对(5.2)的两边分别关于t积分
.
因此我们有
. (5.3)
下边定理是本文中最主要的结论。
定理5.3 假设
满足假设2.1,当
时,如果存在一点
使得
或
.
则系统(1.3)的古典解发生爆破。
证明 我们证明对某一x,如果
或
,奇性在有限时间内发生。不失一般性,我们假设
,则对于某一
,
,穿过的
的向前特征表示为
,通过(4.7)有
,
为了证明y在有限的时间内发生爆破,主要是证明
,
这里的积分是沿着前特征
。从
的定义来看,我们有
.
所以
有正下界,因此
.
所以y在有限时间内发生爆破。