1. 引言
本文考虑周期边界条件
上的偏微分方程组经典解的全局时间存在性和正则性:
(1.1)
初始值为:
。
其中
,
、
、
、
分别表示磁场、速度、压强、密度分布函数。假设粒子的存在不影响流体的密度,粒子之间的碰撞忽略。两相之间的耦合只是由于阻力,相对速度为
。在这里,我们限制在最简单的情况下,相对于相对速度阻力是线性的。
事实上,根据流体的物理性质,可以使用大量的模型来模拟喷雾:可压缩或不可压缩流体,粘性或无粘性流体方程,有或没有作用于颗粒的热扩散……无论如何,数学分析仍然很困难,因为系统总是耦合非线性旋转方程的未知数,而这些未知数不依赖于同一组变量。关于系统(1.1),Hamdache [1] 研究了没有Fokker-Planck项的弱解的全局存在性。Boudin,Desvillettes,Grandmont和Moussa [2] 重新讨论了在没有对流的情况下弱解的全局存在性。可压缩情况Mellet和Vasseur [3] 进行了研究。Mellet和Vasseur [4] 研究了标度和稳定性问题。Baranger和Desvillettes [5] 研究局部的时间适定性。
本文采取了不同的策略。我们首先讨论
是(1.1)的平衡解。然后我们感兴趣的是平衡态的扰动状态下的解。更具体地说,我们考虑了标准化的麦克斯韦变换:
令
,则原系统转换为
(1.2)
则相应的初始条件变为
。
且满足
(1.3)
这个假设对分析至关重要。由动量守恒知,这意味着每个扰动有一个消失的动量,因此有
同样的,如果我们假设
(1.4)
那么扰动就不会影响整体质量守恒。
本文的新颖之处在于证明解的存在性时通过构造近似问题的解和证明对近似参数一致的估计得到。并且我们假设存在一个正时间T,使得系统(1.2)在
上有一个唯一的足够光滑的解,我们将给出这种解的先验估计获得关于T的一致估计再构造全局解。对于正则性分析,我们利用了Fokker-Planck算子的良好结构,它避免了对分布时刻的任何估计。
2. 预备知识
2.1. 符号说明
设
是一个多指标,多指标的长度定义为
。
表示相应的空间导数
。类似的,速度变量可表示为
。指数
满足
,且
符号
表示在
或者
上的标准的
内积:
或者
表示相应的范数,同样,给定
,
表示在
或者
上基于所有变量直到s阶的所有导数的
空间上的Sobolev范数。对于函数
,关于偏导的Sobolev范数
。最后,我们使用这样一个约定,即同一个字母C表示的常量的值对于数据是一致的。
定义平均流体速度
。满足
进而,由动量守恒定律和兼容性条件可知
因此
的发展方程改写为
(2.1)
2.2. 主要结论
定理2.1:设
、
且为整数,
满足系统(1.2),则存在一个充分小的常数
使得,当
(2.2)
时,系统(1.2)有唯一的全局经典解
满足
(2.3)
此外,当
时,对于任意的
,有
(2.4)
其中
在
趋于0时发生爆破。
3. 全局存在性和正则性定理
3.1. 全局存在性
众所周知,非线性偏微分方程的解的存在性可以通过构造近似问题的解和证明与近似参数一致的估计来得到。对于系统(1.2),我们可以通过Galerkin近似来构造这样的近似解,就像 [6] 一样。本文中我们假设存在一个正时间T,使得(1.2)在
上有一个唯一的足够光滑的解,我们将给出这种解的先验估计,进而得到关于T的一致估计,再构造全局解。
性质3.1:设
,
为系统(1.2)的一个解,则有
(3.1)
证明:设
为正整数,
,
。将
作用于(1.2),然后将得到的方程乘以
,在
上积分。我们得到
(3.2)
(3.3)
(3.4)
注意
,因此可以通过分部积分得
。由于
,则有
由Hölder不等式可得:
此外,由于M是标准化的并且满足
,我们通过分部积分得到
则可得
将以上等式相加可得;
(3.5)
由于
,我们得到(参见 [7] 引理3.1的类似估计)
现在,利用平均速度
,通过Poincaré-Wirtinger不等式,存在一个常数
,使得
因为
,因此可以得到
,
将(3.5)对a求和可得
(3.6)
它仍然需要推导出平均流体速度的估计值。为此,我们回到(2.1)。我们推导出以下估计
(3.7)
最后一步应用了Poincaré-Wirtinger不等式。结合(3.6)和(3.7),我们得到(3.1),这就完成了对性质3.1的证明。
定理2.1的证明(存在性(2.3)):设初始数据具有充分小的条件,(2.2)与Sobolev嵌入
的相结合可得,当
时
(3.8)
然后利用时间的连续性,我们定义
(3.9)
则
我们把
设为
。因此,对于
,我们得到
且当
时有
这样,定理2.1解的存在部分的证明就完成了。
3.2. Sobolev准则的估计
到目前为止,我们只得到了粒子分布函数的一个部分正则性,因为范数
只包含空间导数。我们希望加强正则性分析,表明对于正时间,f相对于空间变量的正则性可以转化为速度变量。我们利用了Fokker-Planck算子的良好结构,它避免了对分布时刻的任何估计,就像在 [8] 中对哑铃模型所做的那样。
定义3.1:考虑非负连续函数
,则对任意
令
引理3.1:设
满足
(3.10)
则对于
,存在与
有关的常数
使得
成立。
证明:我们首先证明
上的一致估计。设n是满足
的最小整数。由于
,因此我们有
由中值定理知,存在
使得
。
则对于
有
通过(3.10)和
是非负的可得,对于
,由于
,则有
。
因此存在
使得
。对(3.10)在
上积分有
其中我们使用了
的定义,还有
。
结合所得到的估计,我们得到
最后,让我们在
上对(3.10)积分,则对任意
有
引理3.1的证明到此结束。
引理3.2:设
,
为系统(1.2)的解,满足当
时有
(3.11)
则当
时,有
(3.12)
根据引理3.2,我们现在可以通过一个归纳论证给出f的混合导数的估计。
引理3.3:在引理3.2的假设下,对于任意
,我们有
(3.13)
证明:我们希望得到
时的混合偏导估计
,由引理3.2知,当
、
时,我们有
(3.14)
对于
,我们定义
为下列性质:
对于所有
,都存在一个常数
,这样:
1) 对于所有多指标a和b,使
,
,
2) 对于
的所有多指标a和b,
证明利用了归纳法,当
时,这个过程停止,得到(3.13),这就完成了引理3.3的证明。
定理2.1的最后证明((2.4)的证明):根据引理3.3,我们只剩下证明(3.11)成立。实际上,由(2.3)知,只需证明对任意
存在正常数A满足
(3.15)
根据
。可由(3.3)推导出
利用基本不等式
我们得出结论:
在
上对这个不等式进行积分可以得到
由此证明了(3.15),并总结了定理2.1的证明。
4. 总结
本文得到了磁场作用下不可压缩磁流体动力学方程组的解的全局存在性和正则性,并得到了系统具有瞬时的平滑效果。后续可继续进行解的衰减估计,这对研究具有初值的不可压缩磁流体动力学方程问题有重要意义。