1. 引言
在本文中,主要研究定义在
上的带有奇性压强项的可压Navier-Stokes方程:
(1)
这里,Ω是
的有界开子集(
或3),并且满足李普希茨边界条件。
和
分别是流体的密度和速度。另外,速度
还满足齐次狄利克雷边界条件:
(2)
我们将粘性张量表示为:
我们要求密度具有最大值
,这通过引入一个有奇性的压强项实现 [1] [2] [3] [4]
(3)
由压力具有奇性导致密度不能超过
:
(4)
假设初始值
满足
(5)
(6)
在本文中,我们要求解满足分布意义下的能量不等式:
(7)
这里,
为压强势
(8)
Diperna首先在 [5] 中介绍了满足守恒律的偏微分方程的测度值解。在无粘性流体动力学领域, [6] [7] [8] 给出各种模型测度值解的存在性。Neustupa在 [8] 中研究了(1)的测度值解,但是并没有涉及能量。为了弥补这一点,Feireisl在 [9] 引入一个耗散测度值(DMV, dissipative measure-valued)解的概念,给出了一个研究Naiver-Stokes方程的框架。不同于常见的弱解,DMV解可对较广泛的
值存在 [9] 。而且一系列逼近模型和数值格式可被说明收敛于DMV解,并且耗散测度值解满足弱强唯一性原理 [9] 。弱强唯一性原理是指只要存在经典解,DMV解与具有相同初值的经典解保持一致。这一原理对于不可压的纳维–斯托克斯方程在 [10] 和 [11] 中给出了证明。
目前,研究关于有最大密度限制(1.3)的纳维–斯托克斯方程的论文较少。在文献 [1] 中对交通流模型进行了这样限制,其中压强项为
,p满足(3),
为模型参数,文中主要研究奇性极限
。文献 [3] 分析了具有最大密度约束
的自驱动个体的宏观模型。在这两篇文献中都将两相(自由/拥塞)模型视作为模型随
得到的极限。根据 [12] 中提到的术语,称该极限模型为硬拥塞模型(hard congestion model),相反地,称
的模型为软拥塞模型(soft congestion model)。 [3] 研究了一个自组织宏观流体模型
的一维黎曼问题。 [2] [4] 分别对欧拉系统和自组织流体动力学模型进行了软拥塞模型的数值实验。 [13] 中获得了关于多维纳维–斯托克斯方程的硬拥塞模型和软拥塞模型的严格结果,并严格证明了
极限。在 [14] 中,分析了纳维–斯托克斯方程的软拥塞模型的数值格式。 [15] 研究了在exterior domain中类似的具有软拥塞的纳维–斯托克斯方程,并证明了弱解的存在性。 [12] 研究了一维欧拉方程的软拥塞模型,详细介绍了奇性压力对光滑解爆破的影响,还证明了光滑解的奇性极限趋于硬拥塞的欧拉方程。在 [16] 中,证明了软拥塞欧拉系统二维黎曼问题的容许弱解的非唯一性,其中初始值与 [18] 一致。
本文的目的是利用Brenner模型构造近似解收敛到纳维–斯托克斯方程(1) (2)的耗散测度值解。相比于 [13] [14] 中的弱解,利用耗散测度值解可给出一个更简易的证明。
由于压强具有奇性,我们需要引入一个截断参数
和人为的压力项
,其中J是足够大的正数,具体值在后续给出。给定近似压强
满足
(9)
其中
。需要注意的是在
时,
。这种截断的灵感
来自 [13] [14] 中具有拥塞的纳维–斯托克斯方程中的压强截断。将(8)中p替换成
,可以给出与近似压强对应的压强势
的定义。其准确的表达式将在后面给出。
为了研究系统(1)的测度值解,我们考虑Brenner在文献 [17] 中提出的粘性可压流体模型。对固定的
,Brenner模型具有下列形式
(10)
且满足相关边界条件
此外,方程(10)的光滑解满足完全的能量平衡
(11)
我们首先要证明对固定的
,当
,该方案存在一组弱解
。再让
,由弱解
可得带有奇性压强
的纳维–斯托克斯方程系统的耗散测度值解。
定理1.1. 假设
是
或
上的规则的有界区域,若对初始值
有
有界,则方程存在耗散测度值解
详细定义见定义2.2,且满足初始值
。
2. 定义及引理
在此节中介绍基础的符号与定义以及其后证明所需的引理。
2.1. 符号和定义
定义2.1. (弱形式,见 [18] 中定义2.1) 对于(1) (2),有下列弱形式:
对任意
有
(12)
对任意
有
(13)
注2.1. 对于近似压强
有类似的定义。
关于能量不等式,对任意
有
(14)
定义2.2. (耗散测度值解,见 [9] 中定义2.1) 我们称
为方程(1)的耗散测度值解,如果概率测度
初始条件为
。存在耗散缺陷( dissipative defect )
,其中
表示概率测度集,使得该测度满足
· 连续方程 存在测度
使得对几乎所有的
和每个
有
和
(15)
· 动量方程 速度
满足
,存在测度
和
使得对几乎所有的
和每个
有
和
(16)
· 能量不等式 对于所有
有
(17)
· Poincaré’s inequality成立:对几乎所有的
有
注2.2.对于近似压强
有相似的定义。
定义2.3. (见 [19] ) 对于
函数列
,若给定
,存在
(仅依赖
)满足
使得对所有的j有
那么称函数列
是等可积的。
定义2.4. (见 [13] ) 假设
是
上的有界李普希茨区域,则存在线性算子
满足下列性质:
若
,这里
,则
,其中
,并且称
为Bogovskii算子。
2.2. 引理
引理2.1. 对于形如(9)的
有
(18)
其中
且
关于
是一阶连续的,
(19)
注2.3. 比较(9),(18)可知,在
较接近
的区域,由
的一致界不能得到
的一致界,这是最大密度限制带来的难点。
引理2.2. (见 [9] )对于方程(10),通过对能量平衡(11)关于时间t 积分得到下列先验估计:
(20)
(21)
注2.4. 这些有界性在
是一致成立的。
另一方面,由于
(22)
所以
在
上对
一致有界,但对
不是一致的。
我们还需要关于Young测度的两条引理。
引理2.3. (见 [19] )给定
是可测集,
是可测函数并且满足
其中
是连续非减函数并且
,那么存在一个子列(不重新标记)以及一族概率测
度
(相关的参数测度)使得对任意Carathéodory函数
,若函数列
在空间
中弱收敛,则弱极限为函数
注2.5. 若函数
关于
是可测函数,关于
是连续函数,则称
为Carathéodory函数(见 [19] )。
注2.6. 引理2.3中取
,则
中的所有有界函数列都存在能够产生参数测度的子列。但对于
中的一致有界函数列不一定能得到这种弱收敛性。比如
和
。为此需要下列引理。
引理2.4. (见 [9] ) 设给定等可积的函数列
,
产生Young测度
,其中
为有界区域。令
为连续函数且使
并且令
是连续的且使
,对所有的
记
其中
分别是
在
中的弱
极限,则
3. 定理证明
为证明(10)的解在
时收敛到Navies-Stokes方程的测度值解,我们需要证明逼近解关于参数
的一致估计。由引理2.2已经得到部分估计。但不同于 [9] ,在最大密度限制下,不能从
的
估计中得到
的
估计。因此类似 [13] 我们定义测试函数
其中
,
是Bogovskii算子。
对动量方程乘以上述测试函数得到
(23)
接下来证明,从(20)中得到的先验估计可以控制表达式的右边。事实上,对于第一项可以写作
取
,由(22)和Bogovskii算子性质,并结合质量方程可以得到
这里C为常数,为了记号方便起见,我们将不对C进行区分,但它们指代的是不同常数。
相似地,对于第二项有
因此
对于压力张量
有
整合这些估计可以证明(23)的左边对
是一致有界的。现在,将(23)式左边项分成下述两个部分
(24)
在第一个积分中,
不在奇点
附近,所以该积分是有限的。对于第二项积分有
(25)
结合(6)和
定义得
并且由第一项积分的控制得到
从而得到
的
有界。注意到上述证明中用到引理2.3中的各一致有界,故
的
模对
一致有界,但不对
一致有界。
另一方面,由引理2.3得
经过简单计算得
这里
是通常的勒贝格测度。所以,当
,随着
,该集合的测度收敛到0。
as
.
因此,当
时,仍有
a.e in
。故
在
上关于
是一致有界的。
下面证明当
时,方程(10)的逼近解收敛到方程(1)的耗散测度值解。方程(10)满足以下弱形式:
对任意的
有
对任意的
有
(26)
我们将与
相关的项可以写成下列形式
(27)
当
较大时,上述积分可以被(20)控制;对较小的
,利用renormalized solution可以得到关于
的估计,具体方法可见 [9] 。因此当(21)成立,(26)中与K相关的项会随着
消失。
由先验估计和引理2.3,近似解
可以得到一个Young测度
,对几乎所有的
并且记
其中
为相应的dummy variable。
因为
分别在
和
上有界,所以存在子列满足
.
这里我们定义一个新测度
让能量平衡(11)中的
得,对几乎所有的
,
(28)
由
在
上一致有界得
在
上是紧的。因此,当
,对任意
,(26)中的连续方程可以写为
(29)
这里
。
对(26)中的动量方程取极限,但是其中的
和
仅在
上有界,因此我们需要用到引理2.4,使用与 [9] 中相似的处理方法。结合p在
上有界,可以得到
,对任意
,
有
(30)
其中对几乎所有的
,
,
,
,即
。
最后,Poincaré’s inequality成立可见 [9] 。
因此,当
时,近似解
可以得到一组测度值解。定理证明到此结束。