[论文解读] Liouville-type theorems for the planer stationary MHD equations with growth at infinity

Wendong Wang|arXiv (Cornell University)|Mar 14, 2019

Navier-Stokes equation solutions参考文献 18被引用 4

一句话总结

本文在速度具有增长性条件、磁场满足小量假设的前提下，建立了二维定常不可压缩MHD方程的Liouville型定理。通过引入磁场的衰减条件，并利用环形区域上的局部能量估计，作者证明了在这些条件下，速度与压强为常数，磁场恒为零，从而将经典的Liouville结果推广至具有非平凡增长行为的MHD情形。

ABSTRACT

For the two dimensional stationary MHD equations, we proved that Liouville type theorems hold if the velocity is growing at infinity, where the magnetic field is assumed to be bounded under a smallness condition. The key point is to overcome the nonlinear terms, since no maximum principle holds for the MHD case with respect to the Navier-Stokes equations.

研究动机与目标

• 将Navier-Stokes方程的Liouville型定理推广至二维定常MHD方程，在速度增长条件下成立。
• 解决MHD中非线性耦合带来的挑战，因为在Navier-Stokes情形下最大值原理不适用。
• 建立在速度在无穷远处增长时，MHD系统解必为平凡解（即速度为常数、磁场为零）的条件。
• 将先前关于可积性与衰减条件的结果推广至MHD框架，特别是针对 $ \nabla u \in L^q(\mathbb{R}^2) $ 且 $ 1 < q < \infty $ 的情形。

提出的方法

• 引入磁场的衰减条件：$ |b(x)| \leq c_0(1+|x|)^\beta $，其中 $ \beta < 0 $，以控制能量估计中的非线性项。
• 在环形区域上使用局部能量估计，以处理速度的增长以及来自 $ b \cdot \nabla w $ 和 $ H $ 的非零非线性项。
• 应用加权Sobolev不等式与插值不等式，控制涡度与磁场强度的 $ L^p $ 范数。
• 在能量估计框架中引入截断函数 $ \phi $，以实现分析的局部化并推导衰减估计。
• 依赖Gagliardo-Nirenberg不等式与引理1.4，从 $ \nabla u \in L^{q_0}(\mathbb{R}^2) $ 推导出速度的点态衰减。
• 施加小量条件 $ \|b\|_{L^1} + \||h|^{1/3}\|_{L^1} \leq \varepsilon_0 $，以控制非线性项并确保极限下收敛于零。

实验结果

研究问题

• RQ1 当速度在无穷远处增长时，二维定常MHD系统在何种条件下仅存在平凡解（即速度为常数、磁场为零）？
• RQ2 当速度亚线性增长且磁场较小时，Navier-Stokes方程的Liouville型定理能否推广至MHD情形？
• RQ3 在分析具有增长速度与有界磁场的解时，如何克服MHD中缺乏最大值原理的问题？
• RQ4 对磁场而言，何种小量与衰减条件足以保证涡度与磁场强度在无穷远处趋于零？
• RQ5 在MHD设定下，$ \nabla u \in L^q(\mathbb{R}^2) $ 对于 $ 1 < q < \infty $ 是否是Liouville型结果的最优条件？

主要发现

• 若速度满足 $ |u(x)| \leq c_0(1+|x|)^\alpha $，其中 $ \alpha < \frac{1}{3} $，且磁场满足 $ |b(x)| \leq c_0(1+|x|)^\beta $，其中 $ \beta < -\alpha $，则在 $ \|b\|_{L^1} + \||h|^{1/3}\|_{L^1} \leq \varepsilon_0 $ 且 $ \varepsilon_0 $ 足够小时，有 $ u $、$ \pi $ 为常数，且 $ b \equiv 0 $。
• 该结果将二维Navier-Stokes方程的经典Liouville定理推广至MHD情形，表明 $ \nabla u \in L^q(\mathbb{R}^2) $ 对于 $ 1 < q < \infty $ 蕴含 $ u $ 与 $ \pi $ 为常数，且该结果在 $ \nabla u \in L^\infty(\mathbb{R}^2) $ 时失效，因此是最优的。
• 对 $ \|b\|_{L^1} + \||h|^{1/3}\|_{L^1} $ 的小量条件是控制非线性项 $ b \cdot \nabla w $ 与 $ H $ 所必需的，否则将无法推导出涡度与磁场强度的衰减。
• 证明表明，在 $ R \to \infty $ 的极限下，有 $ \nabla(|w|^{q-1}) \equiv 0 $ 与 $ \nabla(|h|^{q-1}) \equiv 0 $，这意味着 $ w \equiv C $，$ h \equiv C $，且由命题2.1可知 $ C = 0 $，故解为平凡解。
• 对于 $ \nabla u \in L^{q_0}(\mathbb{R}^2) $ 且 $ 2 < q_0 < \infty $ 的情形，在相同小量条件下，可证得磁场与速度梯度属于 $ L^p(\mathbb{R}^2) $ 对所有 $ p \geq q_0 $ 成立。
• 该结果在如下意义上是最优的：当 $ \nabla u \in L^\infty(\mathbb{R}^2) $ 时存在反例（如Couette流），其违反Liouville结论。