1. 引言
在本文中我们研究如下具有粘度相关系数的一维可压缩等熵微极流体方程的大时间行为
(1.1)
给定初值
(1.2)
且满足条件
(1.3)
此处t和x分别代表时间和空间变量。这里v表示比容,u表示速度,
表示微旋转速度,
表示压力,
表示阻尼系数。
在这篇文章中
并且
是关于v的光滑的正函数
,表示微粘度系数。
如果忽略流体的微观结构,即
,系统(1.1)可视为拉格朗日坐标下带阻尼的等熵欧拉方程,动量方程中带有阻尼项
,可用于模拟多孔介质中的可压缩流。
此时,系统(1.1)等同系统
(1.4)
初值满足
(1.5)
当
,此时方程有波的现象。刘太平 [1] [2] 证明了在初始扰动和波的强度
较小的情况下,当
时,
方程(1.4)的解趋向于非线性扩散波
。其中
满足方程
(1.6)
而对于带阻尼的非线性发展方程的柯西问题,已经有许多关于基本波的渐近稳定性的研究,参考文献 [3] [4] [5] [6]。如在一维情况下,刘太平 [5] [6] 先证明了在初始扰动和波的强度满足小性条件的情况下,非线性扩散波关于带阻尼的双曲守恒律方程的渐近稳定性。对于方程(1.4),Nishihara在 [7] [8] 进一步利用能量方法得到了和刘太平相同的结果,并获得在
和
范数下的收敛速度。对于小性条件下收敛速度其他相关结论,我们参考 [9] [10],与此同时,也有很多作者针对初始扰动较大的情况进行了研究,如Zhao [11] 证明了对于给定的大初始值情况下,带摩擦阻尼的p系统存在唯一的整体光滑解,且当时间
时,该方程的解渐近趋向于对应的非线性扩散波
,并且他还得到了
范数下的衰减速率。对于具有非线性阻尼的p系统的柯西问题的其他结果,我们参考 [12] - [23]。
我们的方程与(1.4)相比,增加一个方程,考虑了微旋转速度
,即思考了微观结构该模型的渐近行为,增加了耦合性和研究该模型的难度,这也是本文的创新之处。
本文研究了一维可压缩微极流体模型(1.1)问题解的大时间行为,该模型具有一般的微粘度相关系数。我们将证明,在粘度系数
是关于v的光滑的正函数,并且初始扰动和波的强度足够小的情况下,那么方程(1.1)~(1.3)的解整体存在,并且当
时,该解收敛到非线性扩散波
。文章主要结果的精确陈述在下面的定理1.1。
定理1.1设
是关于v的光滑正函数,设
,则存在适当小的
,当
时,方程(1.1)~(1.3)的解
全局存在,并且满足
当t趋于无穷时,进一步有以下结论:
(1.9)
(1.10)
其中
满足
(1.11)
并且
(1.12)
本文的安排如下:在第二部分,我们给出一些在证明过程中所需相关引理;在第三部分,我们对问题(1.1)~(1.3)的扰动方程进行基本能量估计和时间加权估计,从而证明定理1.1。
标记在文章中,我们用
表示正常数。对于函数空间来说,
表示一般的Lebesgue空间,其范数为
(1.13)
(1.14)
并且积分区域R将会被省略,而不产生混淆概念的后果,用
用来表示m阶Sobolev空间,其范数为
(1.15)
2. 准备工作
非线性扩散方程,其中一自相似解
满足
(2.1)
命题2.1 (参考 [24] )对于上述该自相似解,当
时,有
,让
,则有以下性质:
(2.2)
(2.3)
(2.4)
其中C是大于0的常数,
是正整数,该引理在下面第三部分的证明中起了一定的作用。
3. 定理1.1的证明
为了证明定理1.1,我们首先构造扰动方程
令
其中
我们得到以下扰动方程
(3.1)
初值满足
(3.2)
我们令
注意到
那么根据(3.1)1,可以得到
(3.3)
(3.4)
则扰动方程(3.1)转换为以下形式
(3.5)
初值为
(3.6)
由于定理1.1的条件以及(3.2)知
(3.7)
通过以上分析,我们知道,只要证明问题(3.5)~(3.6)的解的整体存在性,即可证明问题(1.1)~(1.2)的解的整体存在性,因此问题转化为如何证明(3.5)~(3.6)解的整体存在性并得到相应的衰减估计。
定义初值问题(3.5)~(3.6)的解空间如下:
定理3.1 (整体存在性)设初值满足(3.7),则存在与
无关的
,使得当
(3.8)
时,初值问题(3.5)~(3.6)的解
在
中全局存在且唯一。
根据偏微分方程的经典理论,初值问题(3.5)~(3.6)的解局部存在且唯一。
定理3.2 (局部存在性)假设
,且
,则存在正常数
,其中
(3.9)
使得问题(3.5)~(3.6)在
上有唯一解
,且满足
(3.10)
为了研究解的全局存在性和解的大时间渐近行为,我们只需要证明解的一致先验估计。为此,我们做如下先验假设:
先验假设3.1对于时间
,设
是问题(3.5)~(3.6)问题的解,并且满足
(3.11)
其中C是大于0的常数,
是依赖于初值和波的强度的某个充分小的正常数。
根据先验假设3.1以及Sobolev引理,有
(3.12)
同样地,
在先验假设3.1下,可证明如下先验估计:
定理3.3 (先验估计)设
是初值问题(3.5)~(3.6)的解,则存在与
无关的
,使得
时,下面估计对
成立
(3.13)
其中
。
下面我们将通过对
进行低阶、高阶以及时间衰减估计来证明(3.13)式。
证明过程由下面几个引理构成。
引理3.1设
是初值问题(3.5)~(3.6)的解,那么有以下估计
(3.14)
证明:
在(3.5)1两端同时乘以y,并在
上进行积分,得到
(3.15)
由于
,当
足够小时,利用Cauchy-Schwarz不等式,由上式可得
(3.16)
在(3.5)1两端同时乘以
,并在
进行积分,得到
(3.17)
令
由于
,则存在
,使得
从而
(3.18)
根据(3.13),(3.17)满足
(3.19)
则结合等式(3.16)得到基本估计
(3.20)
引理3.2设
是初值问题(3.5)~(3.6)的解,那么有以下估计
(3.21)
证明:
将方程(3.5)2乘上
,得到
(3.22)
将(3.22)关于
在
上积分,我们得到
(3.23)
根据先验假设(3.10)以及引理2.1,存在一个大于0的常数
,使得
那么在方程(3.23)中,我们有
(3.24)
(3.25)
根据(3.24)、(3.25),并结合(3.23),整理得到
(3.26)
则有
(3.27)
现在我们来证明
的高阶估计。
引理3.3设
是初值问题(3.5)~(3.6)的解,那么有以下估计
(3.28)
证明:
将方程(3.5)2对x求导,再乘上
(3.29)
将(3.29)关于
在
上积分得到,有
(3.30)
其中
(3.31)
并且
(3.32)
把(3.31)、(3.32),代入(3.30),取
适当小,可得
(3.33)
应用柯西不等式,并利用(3.21)有
(3.34)
由初值条件以及引理3.2则有
(3.35)
引理3.4设
是初值问题(3.5)~(3.6)的解,那么有以下估计
(3.36)
证明:
对(3.5)1有关x求导,同时乘以
得到
并在
上进行积分,得到
(3.37)
其中
(3.38)
(3.39)
同样地对(3.5)1有关x求导并乘以
,在
上进行积分,得到
(3.40)
其中
(3.41)
(3.42)
将(3.38)~(3.39)代入(3.37),同样地将(3.41)~(3.42)代入(3.40),结合得到
(3.43)
则得到以下了基本衰减估计:
(3.44)
接下来,我们进行有关时间衰减估计的证明。
引理3.5设
是初值问题(3.5)~(3.6)的解,那么有以下估计
(3.45)
证明:
在(3.5)1两端同时乘以
,并在
上进行积分,得到
(3.46)
这里
将(3.46)整合得到
(3.47)
其中
(3.48)
在上式中
(3.49)
(3.50)
同样地将(3.48)~(3.50)代入(3.47),则得到以下了基本衰减估计:
(3.51)
引理3.6设
是初值问题(3.5)~(3.6)的解,那么有以下估计
(3.52)
证明:
对方程(3.5)2两边同时乘以
,并在
上积分,得到
(3.53)
由于
有正下界,且
为大于0的光滑函数,所以有
(3.54)
(3.55)
把(3.54)、(3.55),代入至(3.53),整理得到
(3.56)
由初值条件及引理3.2得到
(3.57)
引理3.7设
是初值问题(3.5)~(3.6)的解,那么有以下估计
(3.58)
证明:
将方程(3.5)2对x求导,两边同时再乘以
,得到
(3.59)
将(3.59)关于
在
上分部积分,得到
(3.60)
其中
(3.61)
并且
(3.62)
把(3.61)、(3.62),代入至(3.60),整理得到
(3.63)
结合公式(3.28)和(3.41),我们有
(3.64)
引理3.8 设
是初值问题(3.5)~(3.6)的解,那么有以下估计
(3.65)
证明:
将方程(3.5)2对x求二次导,再乘上
,则有
(3.66)
将(3.66)对
在
上积分得到,有
(3.67)
其中
(3.68)
并且
(3.69)
则将上式整理,得到
(3.70)
其中
(3.71)
根据先验估计以及上述引理,有
(3.72)
下面我们开始定理3.1的证明。
令
,
则在定理1.1条件下,
。
由局部存在性定理3.2,在
上,令
,问题(3.5)~(3.6)的解存在,且满足
(3.73)
从而满足先验假设3.1,由先验估计定理2.2知,在
上,
(3.74)
特别地,上式对
也成立。以
为初始,局部存在性定理,可延拓到
,依次进行下去,可以将解延拓到
。
根据引理3.1至引理3.8我们已经证明先验估计(3.13)成立,由解的局部存在性定理和先验估计(3.13),我们通过以上可以证明(3.5)~(3.6)的解整体存在,进一步证明了(3.1)~(3.2)的解整体存在,并满足如下估计:
(3.75)
对于衰减估计(3.49),我们也可以推广到更高阶导数,如此我们有
(3.76)
基于上式,从Sobolev引理得到逐点估计
(3.77)
从而定理1.1得到证明。