1. 引言
黎曼不变量的存在在双曲守恒律系统解的构造中起着基础性的作用,例如波动方程中D’Alembert公式的构造,以及奇点的发展证明 [1]。对于二维定常等熵无旋欧拉方程组,由于黎曼不变量的存在,任何与定常状态相邻的解都是一个简单波 [2]。黎曼不变量帮助我们得出任何与常状态相邻的双曲状态的解都是简单波的结论,然而,由于黎曼不变量对于n > 2可能一般不存在,这种方法有局限性。
Dai和Zhang [3] 首次为压力梯度系统揭示了特征分解是作为构建全局平滑解斑块的强大工具。Li、Zhang和Zheng [4] 使用特征分解技术研究了准线性双曲系统,证明了一个非常重要的结果,绝热欧拉系统在自相似平面上相邻的一个恒定状态是一个简单波,其中物理变量
沿着波的直线特征族是恒定的。Hu和Sheng [5] 建立了广义2阶拟线性严格双曲方程组特征分解存在的一个充分条件。通过使用特征分解技术,我们不仅发现了黎曼变量,而且还发现了在一些双曲系统中所谓的Riemann变量。因此特征分解方法是处理拟线性双曲系统问题的一种有效方法 [4] [6] [7] [8] [9]。
本文考虑二维非线性波动系统
(1.1)
其中
为密度,
为速度,状态方程
是
的赋值函数,系统(1.1)是通过忽略气体动力学中二维可压缩Euler方程速度
的二次项而得到的,Čanić、Keyfitz、Kim [10] 分别推导了非线性波动系统和可压缩气体动力学绝热方程的混合系统,并证明了所产生的混合系统具有复杂的非线性相关性。Hu和Wang [11] 提出了压力的特征分解,并利用分解建立先验估计,构造了带有Chaplygin气体的系统(1.1)的半双曲片的全局解。本文我们推导了压力变量和角变量的一些有趣的特征分解。
在本文中,我们感兴趣的是修正的Chaplygin气体
(1.2)
其中参数
,它是用来描述当前宇宙的加速膨胀 [12]。注意到当
时,(1.2)由Chaplygin [13] 和Tsien [14] 引入,作为空气动力学中计算飞机机翼升力的合适数学近似。另一方面,对于
,该模型给出了从初始尘埃类物质到渐进宇宙常数的宇宙学演化。这一广义模型以前已经被研究 [15]。
为了进一步研究系统(1.1)的内在特征,我们的主要系统是(1.1)在自相似变量
下的系统
(1.3)
我们写(1.3)为矩阵形式
(1.4)
其中
通过简单计算,我们得到(1.4)的特征方程
(1.5)
并且特征值为
(1.6)
系统(1.4)在
处改变了类型,且当
时为双曲型。我们注意到系统(1.1)的特征值与
无关,这意味着(1.1)可以转化为一个仅关于p的偏微分方程。
2. 预备知识
我们首先将p从
和
中解耦得到一个二阶拟线性方程
(2.1)
其中
,(2.1)的特征值是
(2.2)
2.1. 四个角变量
在这里,我们使用了倾角变量
[8] ,它首次提出是在Courant和Friedrichs的专著中 [2] ,同时流角可以被定义为
,并且马赫角
,我们可以用这些变量表示
为
(2.3)
注意到这与 [4] 的结果一致,现在我们再次推导细节。因为
。
(2.4)
对上述公式进行相减和相乘,我们有
(2.5)
为了消除
,我们注意到
,并且得到
然后我们有
(2.6)
虽然每种情况都是有意义的,但是为了方便,我们选择
(2.7)
最后将
和
的表达式代入(2.7),我们得到(2.3)的第一个方程,应用
,我们获得(2.3)的第二个方程。
2.2. 一阶特征形式
首先,我们引入一些基本符号
(2.8)
因此,我们有
(2.9)
性质2.1 对于非线性波动系统(1.1),有下式成立
(2.10)
证明:证明的方法以前已经介绍 [7] ,因此对我们来说很容易证明这些公式,我们首先证明
和
,微分公式(2.3),我们有
(2.11)
(2.12)
结合(2.11)和(2.12),我们得到
通过计算发现
(2.13)
同理,我们有
(2.14)
由于
,所以
的结果也可以获得,根据(2.9),我们可以直接得到余下公式的证明。
3. 特征分解
这一节,我们将给出变量
的二阶特征分解,其中p的分解是最重要的。
定理3.1 压力p在非线性波动系统中满足
(3.1)
证明:回顾(2.8)中
的定义,我们获得
(3.2)
和
(3.3)
将(3.2)代入(3.3),我们有
(3.4)
和
(3.5)
然后我们将(3.4)和(3.5)代入(3.3)得到
(3.6)
类似可得。
我们现在返回来考虑系统(1.3)的第二个和第三个方程,它们可以写成
(3.7)
通过一系列推导,我们可以计算出
。
进一步,我们使用定理3.1可以获得
的二阶特征分解。
定理3.2 对于变量
和
,我们有以下二阶特征分解
(3.8)
证明:由性质2.1,我们有
(3.9)
由定理3.1,性质2.1和(3.9),我们可以计算
(3.10)
类似地我们有
(3.11)
以相同的方式可以计算
同理可得
定理3.2证明完成。
同时,特征分解使我们得出以下结论。
定理3.3 在二维非线性波动系统的自相似平面上,任何与常状态相邻的双曲状态都是一个简单波区域。