1. 引言
本文研究如下二维等熵可压欧拉系统:
(1)
其中
分别代表流体的密度及速度。系统中的方程则分别表示质量守恒和动量守恒。常见的压强项为
。
众所周知,欧拉方程很难找到经典解,见 [1] [2] 等。因此重点考虑弱解。但弱解只有在给定一些熵条件时才唯一。当空间维数为一维时,有较完善的理论,如:Lax熵条件,Oleinik熵条件以及熵–熵流对等条件可以确保弱解的唯一性,见 [1] [2] 等。
本文主要考虑熵不等式:
(2)
其中熵(总能)为
,
为内能且由
给定。若在分布意义上满足此
熵不等式,则其解被称为是可容许的。
在空间维数为多维时,仅依靠这个熵条件并不能保证弱解的唯一性。近年来,一系列工作指出给定合适的初值,在满足类似(2)的可容许条件时可以构造系统(1)的弱解唯一性的反例。在 [3] 中,Elling. V构造了一个数值上的反例。在 [4] 中,基于 [5] 证明对一些具有紧支撑初值可以得到满足能量等式或能量不等式(类似(2))的无穷多弱解。在文献 [6] 中对于空间周期情况,类似不唯一性被证明。在最近的研究 [7] 中,对
初值也得到了类似的可容许弱解不唯一的结果。
本文考虑二维黎曼问题:
(3)
其中,
,
,且常数
。对于由经典压缩波产生的初值,在压强项
的情况下 [6] 构造了二维黎曼问题的无穷多可容许弱解。对于更一般的压强项
也得到了类似的不唯一性结果 [8],其中黎曼问题的标准解包含两个激波。文献 [9] 证明只要
标准解包含一个激波就有可容许弱解的不唯一性结果。 [10] 对类似初值问题也得到了不唯一性。 [11] 中将可容许弱解的不唯一性结论推广到黎曼初值包含接触间断的情况。
本文考虑与文献 [12] [13] [14] 中相同的带奇性压强项
(此压强项由 [15] 提出)来施加最大密度限制
(4)
其中,
是最大密度。当
时,上述带奇性的压强项
类似于常见压强
(5)
当
时,此带奇性的压强项趋于无穷。文献 [16] 研究了具有(4)形式的最大密度限制的欧拉方程二维黎曼问题可容许弱解不唯一,其中黎曼问题的标准解由一个可容许1-激波和一个3-激波组成,即
且
(6)
文献 [17] 对两种黎曼初值:一是标准解包含一个1-激波和3-稀疏波
且
(7)
二是标准解包含一个1-激波
且
(8)
得到了可容许弱解的不唯一性。
本文主要目的是在具有最大密度限制下将弱解不唯一的结果推广到黎曼初值包含接触间断的情况。在二维等熵欧拉系统中,其标准解包含接触间断当且仅当
。
具体来说,考虑初值:一是标准解包含一个1-激波,一个可能的2-接触间断和一个3-稀疏波
且
(9)
二是标准解包含一个1-激波和可能的2-接触间断
且
(10)
如文献 [9] 中所述,关于其他涉及到一个激波的情况可以类似地用旋转坐标的方法来处理。
类似 [11],将可容许弱解不唯一性结论推广到黎曼初值(3)包含接触间断(即
),主要结论是下面定理:
定理1.1. 若对
且
(11)
则黎曼问题(1) (3)存在无穷多可容许弱解。
本文其余部分结构如下:第二节说明了一些需要的符号和定义及所需的引理和命题;第三节主要证明定理结论。
2. 定义及引理
在本节,我们提供证明定理所需的符号定义与引理命题。
2.1. 符号和定义
定义2.1. (弱解,见 [4] 中定义3.1)对任意测试函数
,若下列等式成立:
则
是柯西问题(1)在
上的弱解。
定义2.2. (可容许弱解,见 [6] 中定义3.2)对任意非负测试函数
,若(1)的弱解满足
下列不等式
则弱解
是柯西问题 (1) 的可容许弱解。其中,内能
由压强
给定。
本文主要研究二维黎曼问题,类似文献 [6] [8] [9],考虑仅依赖于时间t和空间变量
的解
(12)
初值为
(13)
由于
的方程可被解耦,(12)可简化为一个含有未知数
的一维双曲守恒律方程组。该系统的解可以像经典双曲守恒律理论一样由自相似函数给出。通过将其推广到二维情况,我们可以得到二维黎曼问题的可容许弱解。这种可容许弱解被称为标准解(自相似解)。
定义2.3. (扇形分区,见 [6] 中定义3.3)空间
的扇形分区由满足下列形式的有限个开集
组成:
(14)
(15)
(16)
其中,
是任意实数且
。
记所有对称无迹
矩阵的集合为
。
定义2.4. (扇形下解,见 [6] 中定义3.4)若
满足下列条件:
1) 对
上的扇形分区
,有
(17)
其中
为常数,且
,
;
2) 对任意
存在一个正数
,使得
; (18)
3)
在分布意义上满足下列等式:
, (19)
; (20)
则
被称为可压欧拉方程黎曼问题(1) (3)的扇形下解。
定义2.5. (可容许扇形下解,见 [6] 中定义3.5)若扇形下解
在分布意义上满足下列不等式:
(21)
则其被称为可容许扇形下解。
2.2. 引理和命题
引理2.1. (见 [9] )假设
是常数,且
。
1) 若
(22)
则黎曼问题(1) (3)的标准解由1-稀疏波和3-稀疏波组成。中间状态
是真空,即
。
2) 若
(23)
则黎曼问题(1) (3)的标准解由1-稀疏波和3-稀疏波组成。中间状态
由下列方程组给定:
(24)
(25)
(26)
(27)
3) 若
(28)
则黎曼问题(1) (3)的标准解由一个稀疏波组成。更准确地说,当
时,这个稀疏波是1-稀疏波,当
时,其为3-稀疏波。
4) 若
且
(29)
则黎曼问题(1) (3)的标准解由1-稀疏波和3-激波组成。中间状态
由下列方程组给定:
(30)
(31)
(32)
(33)
5) 若
且
(34)
则黎曼问题(1) (3)的标准解由1-激波和3-稀疏波组成。中间状态
由下列方程组给定:
(35)
(36)
(37)
(38)
6) 若
(39)
则黎曼问题(1) (3)的标准解由一个激波组成。更准确地说,当
时,这个激波是1-激波,当
时,其为3-激波。
7) 若
(40)
则黎曼问题(1) (3)的标准解由1-激波和3-激波组成。中间状态
由下列方程组给定:
(41)
(42)
(43)
(44)
注2.1. 在二维等熵欧拉系统中,若
,则自相似解只能由激波和稀疏波组成。若自相似解中出现接触间断,当且仅当
。
引理2.2. (见 [9] 中定理2.3)若
使得柯西问题(1) (3)存在一个可容许扇形下解
,则存在满足下列性质(1) (3)的无穷多可容许弱解:
1)
;
2) 对几乎所有的
,有
;
3) 对几乎所有的
,有
。
此引理表示如果存在一个可容许扇形下解,则有无穷多可容许弱解存在。因此,无穷多可容许解的构造归结为一个下解的构造。
为了构造扇形下解,下面引理是不可缺少的。
引理2.3. ( [17] )若给定压强项p为(4),且
。对任意
,下列不等式成立:
(45)
定理的证明也需要下面的引理。
引理2.4. (见 [9] )对任意
,下列不等式成立:
(46)
3. 定理证明
此节给出两种证明办法。第一种是推广 [9] [17] 中定理证明方法,得到标准解包含一个接近最大密度的激波和一个2-接触间断时弱解的不唯一性。第二种证明是推广 [11] 中的方法到具有最大密度限制的更一般情况。
3.1. 证明方法一
在此,考虑划分四个扇形分区
,即
。我们可以如 [11] 中一样考虑
情况将扇形下解的定义化简为方程组和不等式组(具体证明见附录)。若满足附录命题2中的方程组和不等式组及
,则存在一个可容许扇形下解。
类似 [9] 中所述,选择
作为参数,则将
和
用
表示,继续简化附录命题2中的方程组和不等式组如下:
命题3.1. 若柯西问题(1) (3)存在可容许扇形下解,当且仅当常数
满足:
(47)
(48)
(49)
(50)
(51)
其中,我们定义函数
以及
函数
在
条件下及满足(9)的初值时可以定义。
注3.1. 此引理证明与压强项p无关。因此,在最大密度约束条件下,其结果依然能够成立,证明过程
与 [9] 中一样。值得注意的是引理2.3和(9)~(10)确保了
定义中平方根下的项是非负的。
上述命题说明不需要考虑中间界面的Rankine-Hugoniot条件和可容许条件,但在含接触间断的情况下,为了定义一个下解,我们还需要保证中间界面的速度满足
由附录命题2中Rankine-Hugoniot条件和可容许条件计算可得:
(52)
(53)
由上述两式:
则要使
,有
类似地,对于
,有
由于这两个条件很难同时满足,为此,类似于 [9],我们考虑引入一个辅助状态,来得到满足
的下解。
定义3.1. (见文献 [9] )考虑三维相空间
。记中心为
,半径为
的二
维球:
以下暂时不考虑给定的初始状态
。
引理3.1. 若
是任意给定的状态,且状态
与
由1-激波连接,则存在正常数
,使得当
时,对一个半径
有下列性质成立:如果状态
满足
1)
,
2)
,
3) 当
作为初始状态时,黎曼问题(1) (3)的标准解由1-激波、可能有的2-接触间断和3-稀疏波组成,
那么以
为初始状态的黎曼问题(1) (3)存在一个可容许扇形下解。
证明. 与 [9] 不同的是,在含接触间断时要定义一个下解还需证明上述附加条件
。主要考虑找到能满足此附加条件的
等。
在本定理条件下,此附加条件可等价于
(54)
以及
(55)
由于
与
由1-激波连接,则
又注意到
,则当
时,对有界的
, 能够满足。
(55)的一个充分条件是
方便起见,记
(56)
则考虑
的极限时,
,此时
其中,
表示
。
同样可得
其中
由
,有
。那么当
,即
时,
,且由 [17] 中定理1.2的证明可知
,则
从而(55)式成立。
因此,在
时,可以满足附加条件成立的充分条件,即能够定义一个扇形下解,从而由连续性得到结论。
类似 [9],构造黎曼问题∼和∧,其中对黎曼问题应用引理3.1,则可以得到定理1.1结论在标准自相似解包含一个接近最大密度的激波时成立。
对于初值(9),存在一个状态
,其与状态
可通过接近最大密度的1-激波连接。在状态
和
由1-激波连接的情况下,我们可以应用引理3.1来得到具有以下性质的状态
:
且
,其中
分别是
的密度。因此,问题(1) (3)的解可由两个黎曼问题的解结合得到,其中两个黎曼问题为:左状态
右状态
的问题∼及左状态
和右状态
的问题∧。问题 ∼存在一个扇形下解,则有无穷多解,而问题∧的标准解仅包含3-稀疏波。
对于初值(10),同样将引理3.1应用于由接近最大密度的1-激波连接的状态
和
,我们可以得到具有以下性质的状态
:
且
。因此,问题(1) (3)的解可由两个黎曼问题的解结合得到,其中两个黎曼问题为:左状态
右状态
的问题∼及左状态
和右状态
的问题∧。类似于前一种初值的情况,问题∼存在一个扇形下解,则有无穷多解存在。问题∧的标准解仅包含3-稀疏波。
3.2. 证明方法二
下面我们给出第二个证明以移除1-激波右状态密度接近最大密度的限制。
为了证明定理1.1,首先推广文献 [10] 中定理1。
引理3.2. 令
,
。若给定
,
,则存在
使得对所有
满足
黎曼问题(1) (3)存在无穷多可容许弱解。
其与 [10] 中的证明相同,但其证明过程对理解扇形下解的构造十分重要,在此进行简要引述。
选取参数
,并用参数
以及初值来表示函数
。方便起见,定义下列函数:
由此文考虑的初值(9) (10),得到
。对于E需要考虑两种情况
和
。此节主要考虑
的情况,其他情况类似可证。
结合(52) (53)的
值,并由附录中的(82)式求出
后将其代入Rankine-Hugoniot条件和可容许条件可计算得到:
(57)
类似文献 [10],有下列重要引理:
引理3.3. (见 [10] )存在唯一的
使得
此外,当
时,有
。
其中
是
在区间
上的唯一零点。
证明. 由于其证明与 [10] 中一致,在此简要说明。
分别将
代入
,由初值可得
,
。
记
为
中的下列式子的零点:
则显然有
。
易见,
在
上单调递减,则
在
上存在唯一零点
。
记
当
时,可以得到
以及
。并且,由于
,若
,有
。因此证得第二个结论。
又计算
的二阶导数可得其在区间
上是凹函数。因此,
在上没有零点,即
在
上没有零点。
如此证明引理的第一个结论。
由(57)我们得到
应用引理3.3就有
以及对所有
有
。
下面验证附录中命题的可容许条件(86) (87),其中依旧考虑
。将其代入前文(52) (53)中的
值,可以得到
并且当
时
和
的极限相同。
若记
,则下面由附录命题中Rankine-Hugoniot条件(82)可以得到
下面考虑
和
的符号。由于
,则上式可被重写为
因此,对于
,当
充分小时,有
在区间
上成立以及
在
上成立。那么基于附录命题中Rankine-Hugoniot条件(80) (82)可得至少在
的一个小邻域上要保证
。
考虑(86) (87)可得
为了满足下解条件中的
,需要满足下列引理。
引理3.4. [10] 若
,则对所有
有
此外,存在
使得
在
处取值为正。
证明. 取
,其中
已经给定。代入上面两不等式可以得到
将上述两式作差,容易发现
。
最后,因为
我们总能找到
使得
采用类似 [9] 中的方法构造初始状态,形成两个新的黎曼问题,将两个黎曼问题的解结合起来,以此证明在初值在包含接触间断的情况下也有无穷多可容许弱解。
对于此文考虑的初值(9) (10),构造一个辅助状态
产生两个新的黎曼问题∼,∧:
以及
其中问题∼中的状态
和
满足引理3.2中的假设。因此,黎曼问题∼存在无穷多可容许下解。对于原初值为(9)的情况,问题∧由一个激波构成。对于原初值为(10)的情况,问题∧由一个稀疏波构成。
将黎曼问题∼和∧的解结合起来,得到了可容许弱解的不唯一性。定理1.1得证。
因此,将无穷多可容许弱解不唯一的结论推广到了具有压强(4)的欧拉系统(1) (3)自相似解包含接触间断的情况。
并且由于状态
和
满足引理3.2中的假设,则有
。因此,只需要初值中压强项有界,解的各中间状态对应压强项也有界。
4. 总结
对比这两种证明方法:证明方法一较简便,但其只适用于标准解包含一个接近最大密度的激波的特殊情况;证明方法二可以移除证明方法一中关于接近最大密度的限制,因此其更适用于一般情况。
综合两种证明,我们可以得出结论:在最大密度限制下,对于黎曼初值(9) (10)包含接触间断的情况,欧拉系统存在无穷多可容许弱解。
附录
在此节中,考虑划分四个扇形分区
,将扇形下解的定义化简为如下方程组和不等式组:
命题1. (见 [11] ) 给定
(见初值(3))。常数
,
,
,
定义了柯西问题(1) (3)的一个可容许扇形下解,当且仅当下列代数方程组和不等式组成立:
1) 左界面Rankine-Hugoniot条件
(58)
(59)
(60)
2) 中间界面Rankine-Hugoniot条件
(61)
(62)
(63)
3) 右界面Rankine-Hugoniot条件
(64)
(65)
(66)
4) 下解条件
(67)
(68)
(69)
(70)
5) 左界面可容许条件
(71)
6) 中间界面可容许条件
(72)
7) 右界面可容许条件
(73)
类似 [8] 假设:
由(61) (63),我们可以得到
(74)
此外,结合(58) (59),有
。类似地结合(64) (65)可得
。将这两个式子代入(62)则有
。最后,可以看到中间界面的可容许条件自然成立。
因此,根据上述假设以及(74)我们可以将其下解条件简化为 [11]:
(75)
(76)
(77)
(78)
则下解条件(75)~ (78)成立当且仅当
若记
则下解条件(75)~ (78)等价于
以及
。
不妨设
,即
(79)
因此,代入新变量
及利用(74) (79),我们可以将引命题1中的方程组和不等式继续化简为:
命题2. ( [11] )
1) 左界面Rankine-Hugoniot条件:
(80)
(81)
2) 右界面Rankine-Hugoniot条件:
(82)
(83)
3) 下解条件:
(84)
(85)
4) 左界面可容许条件:
(86)
5) 右界面可容许条件:
(87)