1. 引言
近年来,由于航空工业和喷气推进技术的迅速发展,对于空气动力学的研究的重要性不言而喻。空气动力学研究分为理论和实验两个方面,其中理论研究作为实验研究的基础有着不可替代的作用,同时它也是数值计算的理论基础,因此对于动力学系统的理论研究就显得尤为重要。本文的研究内容属于空气动力学中理论研究的一个部分,对于研究复杂流动等起着重要作用。
黎曼不变量的存在性在双曲守恒律方程组解的构造中起着重要作用。例如,构造波动方程的达朗贝尔公式,以及证明奇点的发展 [1]。可以回顾双曲守恒律系统
其中
,
。
时,上式可以写成
其中
是黎曼不变量且
是特征值。通过Riemann不变量的存在,我们可以知道任何靠近常态的解都是简单波 [2]。然而,由于
时的黎曼不变量通常不存在,这种方法具有局限性 [3]。
另一个可以用来研究简单波的重要技术是特征分解。Dai和Zhang [4] 首先为压力梯度系统揭示了特征分解作为构建全局光滑解补丁的强大工具,然后广泛用于研究其他系统,例如Euler方程。随后,Hu和Sheng建立了一般2 × 2拟线性严格双曲型方程组特征分解存在的一个很好的充分条件 [5]。之后,Xiao和Li考虑一类压力定律的二维可压缩Euler系统,并使用特征分解来确定与恒定状态相邻的任何波都必须是简单波 [6]。利用特征分解技术,不仅可以在某些双曲型方程组中找到黎曼不变量,还可以找到所谓的黎曼变量 [7]。特征分解方法对于处理拟线性双曲型方程组的一些问题非常有效 [7] - [16]。
使用特征分解的思想可以追溯到经典的一维波动方程
其中c是常数,且上面的方程可以分解为下面的形式
记
那么有
暗示了R和S分别沿正负特征族是常数。
简单波定义为一个区域内的流,其解仅取决于单个参数。简单波在气体动力学中起着重要作用,在描述和建立流动问题的解方面起着基础性作用。本文的主要目的是将著名的Courant和Friedrichs定理 [1] (即任何与常态相邻的双曲状态都必须是简单波)推广到压力梯度方程的结果。从而类似地定义简单波,即一个非线性特征族是直的,压力沿其恒定。我们注意到,我们不要求速度为常数。这样,就会使问题变得复杂,研究也更为困难。然而通过特征分解,我们可以发现与恒定状态相邻的波是简单波。
本文首先引入一个二维的广义压力梯度系统,对其作自相似变换后将其化为二阶拟线性双曲型方程。然后通过计算得到关于压强p与特征值
的特征分解形式(即性质1和性质2),由此得到定理1的结论。最后,进一步假设流动无旋,得到关于
的特征分解形式,可推得定理2。
2. 广义压力梯度系统
我们考虑二维广义压力梯度系统:
(1)
其中
是速度,p是压力且
。
对方程(1)作自相似变换,即令
,
,得
(2)
将(2)写成下面的矩阵形式
(3)
为了方便,记
,(3)式可以转化为下面的矩阵形式
(4)
其中
由(4)式可得其特征值为
(5)
和正负特征值
所对应的左特征向量分别为
(6)
(4)式左乘
,可得其特征形式为
(7)
注:(i) (2)式也可以写成下面的二阶拟线性双曲型微分方程
(8)
(ii) 为了方便,我们记
(9)
3. 关于p和
的特征分解
性质1在
坐标下,对压力变量p有以下特征分解
(10)
其中
证明:假设对压力变量p的特征分解形式为
(11)
首先,由(5)式可知
(12)
由(8)式可知,其特征方程为
(13)
(14)
让(13)式和(14)式分别对ξ沿负、正方向求导得
(15)
(16)
则由(15)式可得
(17)
同理,由(16)式有
(18)
成立。
接下来,由(9)式和(12)式可以得到
(19)
又由(8)式得
(20)
简单计算可得
(21)
将(18)和(21)式代入(20)式中,能够得到
同理可得
那么就有
同理,通过计算可得
的值。
性质2. 在
坐标下,对特征值
有以下特征分解
(22)
其中
证明:首先,(13)式和(14)式对ξ分别沿正、负方向求导得
(23)
(24)
由上面(23)式和(12)式可知
(25)
同理有
(26)
因此有
(27)
接下来,(25)式对ξ沿负方向求导得
(28)
同理,(26)式对ξ沿正方向求导得
(29)
将(10)式中第一式代入(29)式,可得
(30)
同理,有
(31)
将(27)式代入(30)式,可得
同理,将(27)式代入(31)式可得
的值。
注:对于上面的所有式子都有
成立。
4. 结论
对于气体动力学中的二维广义压力梯度方程,通过上面性质1和性质2中分别对p和
的特征分解形式,可以得到下面的结论:
定理1. 压力梯度系统中与恒定状态相邻的状态必须是简单波,其中p沿正(或负)特征族是恒定的。
进一步假设流动无旋,(2)式可以被写成
(32)
由上式可得
(33)
性质3. 在
坐标下,对
有以下特征分解形式
(34)
其中
是一个好的因子。
证明:由(7)式可得
(35)
又由(33)式,可得
(36)
以(36)式中第二式为例,对ξ沿负方向求偏导,可得
(37)
代入(10)式中第二式,可得
(38)
又由(36)式中的第二式,可得
(39)
同理可得(34)式中其余三式。因此就有下面的定理成立:
定理2. 与方程(1)中的恒定状态相邻的是一个简单波(如图1),其中物理变量
沿一系列特征线是恒定的,这些特征线是直线。
Figure 1. The flow is simple wave in constant state
图1. 常状态下的流动是简单波