1. 引言
磁流体动力学方程组在现代偏微分方程研究中起着桥梁的作用,它是流体动力学与电动力学的交叉学科,是由流体力学方程和电磁学方程共同组成的。美日等航空航天大国对磁流体动力学的研究开展较早且理论和实际应用较全面,而国内该研究主要集中于数值仿真,实验方面近几年才开始入手,总体来说与其他国家先进水平存在一定的差距。因此研究磁流体动力学有着很大的意义。从1930年法国数学家Jean-Leray给出了不可压缩流体方程组弱解的整体存在性以来,数学家和物理学家先后建立了各种各样的数学模型,关心的问题是相变的数学机理、解的奇性、动力学方程组解的整体存在性和正则性以及奇性的动力学。其中基本问题即解的适定性和渐近性态问题一直以来为非线性偏微分方程研究者所热衷的问题。本课题研究的成果对于证明此方程组的各种问题有很大的帮助。
欧拉坐标系下的平面可压缩磁流体动力学(MHD)方程组如下(见 [1] [2] ):
(1.2)
其中
,
是
中的一个区域,
为时间,x为欧拉坐标,未知函数
,
,
,
,p和
分别表示流体的密度、纵向速度、横向速度、横向磁场、压力和温度。
和
为黏性系数。参数
为磁场的磁扩散系数,热传导系数
,
为平面磁流体流动力学的总能量,即
其中(1.1)表示内能。
本文主要研究(1.1)的一个初边值问题。理想气体和内能的状态方程为
其中R是正常数,
是气体在恒容下的热容。
当
时,(1.1)简化为一维可压缩的Navier-Stokes方程。Kazhiklov和Shelukhin在 [3] 中,证明了初边值问题整体解的存在性和唯一性,其中密度上下界的思想一直沿用至今。李和梁在 [4] 中研究了初边值问题和解的大时间行为,证明了温度的上下界与时间和空间无关。最近,李和辛 [5] 中证明了一维无热传导可压缩Navier-Stokes方程的Cauchy问题,即当初始密度只在无穷远处含有真空,且在无穷远处衰减率适当慢时,理想气体可以保持熵的一致有界性。李和辛在 [6] 在具有热传导的Navier-Stokes方程中证明了类似的结果。
可压缩磁流体动力学已得到广泛的研究。用Hoff和Tsyganov在 [7] 中证明了弱解的唯一性和对初始值的连续依赖性,Ducomet和Feireisl在 [8] 中证明了磁流体动力学方程整体时间弱解的存在性。Ye和Li [9] 通过加权估计证明了具有磁扩散的等熵平面MHD方程组Cauchy问题的大强解的存在性,Jang和Zhang在 [10] 中证明了一维初边值问题大强解的存在性。在 [11] 中,Tan和Wang讨论了平稳问题解的正则性和唯一性,并研究了这类弱解的大时间行为。在γ充分接近1的条件下,Hu [12] 证明了大初值平面磁流体动力学方程组整体解的存在性和渐近性。对于某
和
,满足
且大初始值满足
Chen和Wang [13] 研究了MHD大解的唯一性、存在性和连续依赖性。Chen和Wang在 [14] 中证明了具有不连续初始值的自由边值问题的弱解。Fan和Hu在 [15] 中当
和
,以及对于任意
,热传导系数
满足以下条件时,证明了相似的结果。
且初始值
满足
对于任意正常数C满足
,具有相容条件如下:
其中任意
。
Kawashima和Okanda在 [16] 中解决了小初始值的整体光滑的存在性。李和李 [17] 将柯西问题转化为无热传导系数的平面非典阻性磁流体动力学方程组,并建立了具有大初始值的强解的整体适定性。后来被很多数学家所认可。Yu在 [18] 中建立的一维零磁电阻率可压缩磁流体力学方程组初边值问题经典解的整体时间存在唯一性,可以参见Fan和Yu [19] 以及其中的参考文献。
本文首先得到了包含粘性耗散效应的基本能量估计,这对于推导密度的下界具有重要意义,这个的主要灵感来自于Kazhiklov和Selukhin文章 [3]。其次得出密度的正上界估计。
2. 重新推导拉格朗日坐标下的方程及主要定理
在本节中,我们根据Li-xin [5] [6],Li-Li [17],Li [20] [21] 的思想来重新定义拉格朗日坐标下的方程组(1.1)。我们假设y为拉格朗日坐标,则定义拉格朗日坐标y和欧拉坐标x之间的坐标变换作为
其中
是由
决定的flow map,即,
(2.1)
我们令
和p分别为拉格朗日坐标下的密度,速度,横向速度,横向磁场,温度和压强,并定义
我们回顾
的定义,通过简单的计算,可以得到
和
我们根据Li-xin [5] [6],Li-Li [17],Li [20] [21] 的思想定义了一个新的函数
,则欧拉坐标和拉格朗日坐标之间的雅可比矩阵如下
进一步得到
(2.2)
我们将(1.1)1在拉格朗日坐标下可以写为
(2.3)
利用上面的等式,我们把(1.1)2可以写成以下形式
(2.4)
同理,方程组(1.1)3~(1.1)5在拉格朗日坐标下可写为
(2.5)
本文研究平面MHD方程组初边值问题强解的整体存在性和唯一性。这里既不考虑流体的磁电阻率,也不考虑流体的热传导,即我们假设
和
。由(2.2)和(2.3),我们得到
因此,注意到
和
,我们有
综上所述,本文所考虑的平面无电阻可压缩磁流体动力学方程组为如下:
(2.6)
我们在给定时间T > 0和长度L > 0的条件下考虑系统(2.6)初边值问题,也就是说,系统(2.6)定义在时间和空间
上。该系统的以边界条件和初始条件如下:
(2.7)
和
(2.8)
边界条件(2.7)表示边界具有防滑、不渗透和热绝缘。
本文将使用以下记号。对于
和正整数m,定义
和
表示Lebesgue和Sobolev空间,其中
。我们总是用
来表示u的
范数。
问题(2.6)~(2.8)的整体强解的定义如下。
定义2.1给定正时间
,
称为问题(2.6)~(2.8)在
上的强解。如果它具有这些性质
方程(2.6)在
中处处满足上述性质,且满足初值和边界条件(2.7)~(2.8)。
本文有如下存在唯一性定理。
定理2.1我们假设对任意正整数
有
,初始值
满足
然而,在(2.7)~(2.8)的基础上,方程组(2.6)有一个唯一整体强解。
注2.1 1) 根据定义2.1中速度的正则性,我们可以将拉格朗日坐标下建立的整体强解定理2.1转回到相应的欧拉坐标下的整体强解。
2) 注意到我们只需要初始密度是非负且一致有界,初始密度可以是非常普遍的,特别是,它允许有一个紧支集或者是单点真空或者是不连续点。
3) 因为J有正的上下界,
,可以看出,真空的系统(2.6)在以后的时间中既不能消失也不能重新生成,以及不连续点的密度沿特征线传播。
3. 先验估计
在本节的其余部分建立了对任意
在区间
上的
的一系列先验估计,这对下一节显示整体适定性至关重要。在本节的其余部分,始终假设
。
我们从下面这个命题的基本能量恒等式开始。
命题3.1对任意
有
和
其中
。
证明:我们将方程(2.6)1两边在
上积分并利用边界条件(2.7),直接得到第一个结论。将(2.6)2乘以u,所得结果在
上进行积分得到
(3.1)
将(2.6)3乘以
,对结果
上积分,得到
(3.2)
将(2.6)4乘以
,对结果
上积分,得到
(3.3)
我们已知
因此,我们得到
对
上积分,即
(3.4)
求和等式(3.1)~(3.4)并对
上积分,得到
(3.5)
接下来,我们受Kazhiklov和Selukhin [9]、Xin和Li引用 [5] [6] 和,Li [20] [21] 的启发,推导出了J的一个有用的概念。由于(2.6)1,从来自(2.6)2可得
上面的方程对
上积分得
由此,对
我们已知
进行积分,得到
我们发现方程
只依赖于y,因此我们用
来表示,即
进一步,我们得到
(3.6)
其中
(3.7)
(3.6)乘以
,得到
进一步计算得
将其与(3.6)相加,对任意
和
得到
(3.8)
下面的命题证明了J的一个先验正下界,以及根据
和
控制J的上界。
命题3.2对任意
我们有以下估计
其中
证明:由命题3.1和Hölder不等式得到
和
(3.9)
不等式(3.8)两边对
上积分,由(3.9)和命题3.1有
和
利用Gronwall不等式,我们进一步得到
(3.10)
由(3.9)和(3.10),以及(3.8)可以得出
和
则对任意
,和任意
有
证明完毕。
4. 总结
本课题得到的是可压缩磁流体动力学方程组密度的上界估计,这对求解大初值条件下可压磁流体动力学方程组MHD方程组的Cauchy问题和初边值问题有着很大的帮助,在存在真空的情况下,利用本课题得到的结果和非线性泛函分析中的一些方法,我们可以证明这个方程组强解的整体存在性。