1. 引言
本文考虑在
的有界开集
中,对
,
是下述非齐次可压缩等熵Navier-Stokes系统在
的一个弱解,研究
趋于0时在适当条件下方程组(1.1)弱解的极限:
(1.1)
其中,
,
,
,
。在(1.1)中,马赫数和Froude数都等于小数
。
关于小马赫数极限中主要的物理因素是考虑流体方程有齐次与非齐次之分,是等熵还是非等熵之别。先来看齐次流体方程情形。当流体为等熵时,极限速度
满足
。在这种情形下,奇性极限为不可压极限,此在过去几十年有很多研究(可见 [1] - [11] )。当流体为非等熵时,动量方程中带有
的压力的梯度项与流体的密度和问题的行为密切相关。因此,小马赫数极限问题会变的更复杂,对于非等熵欧拉方程
的不可压极限的文献可见( [12] [13] [14] )。而对于非等熵Navier-Stokes,由于系统结构的复杂性问题会更加困难。Bresch等在 [2] 中利用特征展开的办法对声波进行了分析,并在忽略粘性热量和温度扩散的假设下给出了当
时周期区域下解的形式逼近。当考虑完全可压Navier-Stokes方程,Alazard [15] 利用拟微分算子研究了全空间中在坏始值条件下局部
解的奇性极限,江松等在 [16] 中只利用先验能量估计可得奇异极限。不幸的是, [15] [16] 没有考虑有界区域。基于 [2] ,Feireisl和Novotny [17] 得到了坏始值条件下某些辐射气体的完全Navier-Stokes-Fourier方程周期变分解的小马赫数极限。江松等 [18] [19] [20] [21] 研究了有界区域上好始值条件下非等熵Navier-Stokes方程的小马赫数极限。
而对于非齐次情形,不论是等熵还是非等熵,可压缩流体方程的奇性极限研究的比较少。对方程组(1.1)形式分析可知当
时其方程收敛到滞弹性系统。对气体流体来说有很多模型,滞弹性系统是其中一种。此系统最早由Ogura,Phillips [22] 给出,也可参见Lipps,Hemler [23] 。后来此模型被Durran [24] [25] 发展。Masmoudi [26] 给出了当马赫数和Froude数以同样的速度趋于0时,带有势能项的可压等熵Navier-Stokes方程
(包含势能项
)趋于滞弹性系统的严格推导,其中
是重力势能(
为竖直分量)。文中滞弹性系
统的密度函数只依赖于空间变量中的竖直分量。而对一般的外力项时,其空间变量不在仅是竖直方向的变量,系统的估计会变得更加复杂,需要对系统进行精细的能量估计。
本文中我们证明了在有界区域内对带有形如
的一般外力项的可压等熵Navier-Stokes方程当马赫数
趋于0时收敛到滞弹性系统。而且在逼近过程中,在
中
,其中
是依赖于空间变量
。此结果放宽了已有结果Masmoudi [26] 中对
只依赖于空间中竖直分量的假设要求。
2. 主要结果
对于系统(1.1)给定初始条件和Dirichlet边界条件如下:
(2.1)
(2.2)
并且假设初始值
满足:
(2.3)
(2.4)
定义
是总质量,其不依赖于
。
既然
有正下界,定义一个从空间
到空间
上新的算子
使得以下式子成立:
此算子的定义可见 [25] 。
利用 [27] 中相同的方法可证明可压缩等熵Navier-Stokes方程的初边值问题(1.1),(2.1)~(2.2)存在整体弱解。本文的主要结果是:
定理2.1:在上述条件下,当
时对任意的时间
可得
(2.5)
并且
(2.6)
而且
满足下述滞弹性系统:
(2.7)
在定理2.1中,
理解为:在弱解意义下,对每个
和试验函数
满足
有
(2.8)
3. 先验估计
此节严格推导出
和
关于
的一致先验估计。在不致引起混淆的情况下,我们省略
和
中的
。
引理3.1:假设(2.3)~(2.4)成立,则有
(3.1)
其中
。
证明:利用Lions [27] (或见Feireisl [28] )的方法,基本能量估计可以得到。将动量方程(1.1)2乘
,然后在
上积分,得
利用质量方程(1.1)1得
将上式关于时间在
上积分,得
(3.2)
在(3.2)式两边同时加上
得
(3.3)
定义
,则
(3.4)
将(3.3)变为
(3.5)
证毕。
利用凸不等式
,
。根据上述引理得
在
中有界,
在
中有界。并且
在
中有界,
在
中有界,
在
中有界。
引理3.2:对密度有下述估计:
(3.6)
(3.7)
(3.8)
(3.9)
(3.10)
证明:由 [27] ,易得(3.6)。引入算子
定义如下:对
,
,其中
是下面Stokes方程的解
(3.11)
对(1.1)2作用
得
(3.12)
其中,
将(3.12)乘
,然后对时间空间积分,因
,利用 [27] 中方法得
(3.13)
注意到
,由(3.12)得
(3.14)
故,可推得(3.7)。
由(1.1)1可推得
(3.15)
定义
,则
(3.16)
用(3.12)乘
,并利用上式得
(3.17)
对(3.17)式在
上积分,然后乘
,得
(3.18)
即
(3.19)
由于
在
中有界,
在
中有界,
在
中有界,
在
中有界,
在
中有界,知
(3.20)
其中
,i.e.
。又因
,则
,且有
(3.21)
类似地,
,(
)。
利用
,并且
与
有相同符号,得
,即推得(3.8)。
利用
,并且
与
有相同符号,得
,即推得(3.9)。
因
,并利用(3.8)~(3.9)得,当
时有
在
中有界。即可得对
时有
在
中有界。(3.10)得证。证毕。
4. 定理证明
定理2.1的证明:我们利用算子
作用到
上有如下分解
。利用 [25] 中方法易证当
趋于0时
(4.1)
在
中强收敛,并且
(4.2)
在
中弱收敛,其中
。
在证明极限过程时的主要困难是包含
和
的非线性极限。
由于
(4.3)
(1.1)2可重写为:
.(4.4)
取试验函数
使得
,则
(4.5)
线性项易取极限,下证非线性项的极限,即证当
时
(4.6)
引理4.1:在定理2.1的假设下,有
(4.7)
在分布意义下弱收敛,其中
是分布函数。
此章余下部分证明此引理。
证明:在(3.10)中,因
,知可用
代替
。因在
中
,则可用
代替
取极限。
(4.8)
由(4.1)~(4.2)知弱收敛
(4.9)
用
作用(4.4),并结合质量守恒方程可得方程组
(4.10)
其中,
对所有的
在
中有界。
证明极限收敛需下面引理。
引理4.2:在假设
和
在
中有界,
对所有的
在
中有界,并且(3.6)~(3.10)成立,则
(4.11)
在分布函数空间中弱收敛。
证明:
(4.12)
简单的计算知
(4.13)
则
(4.14)
取极限之后我们可完成引理的证明。
现在,定义
,其中
是试验函数,紧支在
的球上,并且
,定义
。假设
对于
的空间紧性我们有如下引理。
引理4.3:在定理2.1的假设下,对每个
,当
时有
在
空间中对
是一致紧的,即
(4.15)
对
是一致的。
证明:只证明
时结论成立,对其他情形可同样证明。取
。在
中引进算子
,对
,定义
,其中
是Stokes方程的解
(4.16)
令
。用
作用(4.4)后得到的式子再用
作用得
(4.17)
其中
。
令
,可得
(4.18)
由(4.7)~(4.8)得
(4.19)
考虑试验函数
在
上有支集,并且在
有
,我们断定,当
时,
(4.20)
对
是一致的。
事实上,用
乘(4.19),然后对
,
在
上积分得
(4.21)
利用
在
中的空间紧性,
和引理3.2得上式右端项当
时对
一致趋向于
。此证明了
关于
的局部紧性,即对每一个紧支集函数
,
在
空间中是紧的,即
(4.22)
利用
在
中有界可将局部紧性扩展到整体紧性。利用
在
中有界得到(4.15)成立。证毕。
定义
表明对
对空间变量
的磨光,其中函数
在
上延拓为0
利用
在
中有界和
推得
在
中是紧的,即
(4.23)
然后利用
在
中收敛到
和
,可推得
在空间
中是紧的,即
(4.24)
取
是
中的试验函数,并且满足
,i.e.
。由动量方程(4.4)可知:对
,有
(4.25)
这意味着
在
(
足够大),空间中关于时间是等度连续的。因此,根据 [27] 中的引理5.1可知,
在
中强收敛。
由(4.8)~(4.9)知,仍需
的极限。因当
时,在
中
(4.26)
对
是一致的。因此,我们要证明
的极限,并刻画
的精确表述。
而由上面的正则性讨论可知,在
中当
分别趋向于0时有
(4.27)
现在若取(4.14)中
的极限,只需证明在
中当
趋向于0时有
(4.28)
其中当
时,
弱收敛到0。
用
作用(4.10)得
(4.29)
其中,对每个
,
对所有的
在
中对
一致有界。下述引理4.4保证了当
时,(4.29)中右端项交换子在
关于
一致趋向于0。事实上
(4.30)
对于右端两项分别利用引理4.4中的(2)和(1)。
引理4.4:(1) 对
和
,有
(4.31)
这里
只依赖于
。而且,在
中当
时
(4.32)
并且在
中当
时
(4.33)
(2) 对
和
,有
(4.34)
并且在
中当
时
(4.35)
此引理的证明可参见 [26] 。
定义
,
类似于(4.14)的计算可有
(4.36)
在(4.36)中先令
,再令
可得所需结论。
定理证毕。
基金项目
此研究成果受国家自然科学基金(项目号:NSFC 11401395/11471334/11671273)和北京市自然科学基金(项目号:BJSF 1154007)部分资助。