[论文解读] Existence of infinite-energy and discretely self-similar global weak solutions for 3D MHD equations

Pedro Gabriel Fernández-Dalgo, Oscar Jarrín|arXiv (Cornell University)|Oct 24, 2019

Advanced Mathematical Physics Problems参考文献 12被引用 5

一句话总结

本文证明了在加权 $L^2$ 空间 $L^2_{w_\rho}$ 中初始数据满足 $0 \leq \rho \leq 2$ 的条件下，三维不可压缩磁流体动力学（MHD）方程存在全局弱解。通过证明离散自相似解与无限能量弱解的存在性，将纳维-斯托克斯方程的能量方法推广至 MHD 系统，且在初始数据和外力的衰减假设最小的条件下实现该推广。

ABSTRACT

This paper deals with the existence of global weak solutions for 3D MHD equations when the initial data belong to the weighted spaces $L^2_{w_γ}$, with $w_γ(x)=(1+| x|)^{-γ}$ and $0 \leq γ\leq 2$. Moreover, we prove the existence of discretely self-similar solutions for 3D MHD equations for discretely self-similar initial data which are locally square integrable. Our methods are inspired of a recent work of P. Fernández-Dalgo and P.G. Lemarié-Riseusset for the 3D Navier-Stokes equations.

研究动机与目标

• 在初始速度与磁场属于加权 $L^2$ 空间 $L^2_{w_\rho}$ 且 $0 \leq \rho \leq 2$ 的条件下，建立三维 MHD 方程全局弱解的存在性。
• 在初始数据局部平方可积的条件下，证明 MHD 系统存在离散自相似解。
• 将纳维-斯托克斯方程的能量控制技术推广至广义 MHD 系统（MHDG），包括外力张量 $\mathbb{F}, \mathbb{G}$ 与压强项。
• 证明广义 MHD 系统（MHDG）是标准 MHD 方程在考虑麦克斯韦的位移电流时的数学上一致的推广。

提出的方法

• 将近期纳维-斯托克斯研究工作（Fernández & Lemarié-Rieusset, 2019）中基于 $L^2$ 的能量估计与能量控制方法，适配至 MHD 框架。
• 通过光滑化算子 $\theta_\varepsilon$ 的正则化过程，构造满足修正 MHD 方程的近似解 $\textbf{u}_\varepsilon, \textbf{b}_\varepsilon$。
• 通过将方程分别对 $\textbf{u}_\varepsilon$ 与 $\textbf{b}_\varepsilon$ 进行测试，推导出正则化系统的能量等式，从而控制 $\|\textbf{u}_\varepsilon(t)\|_{L^2}^2 + \|\textbf{b}_\varepsilon(t)\|_{L^2}^2$。
• 对能量估计应用格朗沃尔不等式，防止解的爆破，确保正则化解在 $[0, \infty)$ 上的全局存在性。
• 令 $\varepsilon \to 0$ 取极限，得到满足原始 MHDG 系统在分布意义下的全局弱解。
• 建立适当的能量不等式（4），其中包含一个非负测度 $\mu$，以确保弱下半连续性与在 $t=0$ 处的弱连续性。

实验结果

研究问题

• RQ1 当初始数据衰减缓慢，具体为属于加权 $L^2$ 空间 $L^2_{w_\gamma}$ 且 $0 \leq \gamma \leq 2$ 时，能否构造出三维 MHD 方程的全局弱解？
• RQ2 纳维-斯托克斯方程中使用的方法是否可推广至包含速度场与磁场场的耦合 MHD 系统？
• RQ3 当初始数据为局部平方可积但不属于 $L^2$ 时，能否构造出 MHD 的离散自相似解？
• RQ4 广义 MHD 系统（MHDG）中额外的梯度项 $\nabla q$ 与张量 $\mathbb{G}$ 的作用是什么？它们如何影响能量估计？
• RQ5 外力 $\mathbb{F}, \mathbb{G}$ 属于 $L^2((0,\infty), L^2_{w_\gamma})$ 时，对解的长时间行为与存在性有何影响？

主要发现

• 当初始数据 $\textbf{u}_0, \textbf{b}_0 \in L^2_{w_\gamma}(\mathbb{R}^3)$ 且外力 $\mathbb{F}, \mathbb{G} \in L^2((0,\infty), L^2_{w_\gamma})$，且 $0 \leq \gamma \leq 2$ 时，三维 MHD 方程存在全局弱解。
• 解满足 $\textbf{u}, \textbf{b} \in L^\infty((0,T), L^2_{w_\gamma})$ 且 $\nabla\textbf{u}, \nabla\textbf{b} \in L^2((0,T), L^2_{w_\gamma})$，对所有 $T > 0$ 成立，确保了局部正则性与可积性。
• 压强 $p$ 与辅助压强 $q$ 通过 Riesz 变换定义：$p = \sum_{i,j} \mathcal{R}_i\mathcal{R}_j(u_i u_j - b_i b_j - F_{i,j})$ 与 $q = -\sum_{i,j} \mathcal{R}_i\mathcal{R}_j(G_{i,j})$，确保与方程的一致性。
• 映射 $t \mapsto (\textbf{u}(t), \textbf{b}(t))$ 在 $[0,\infty)$ 上弱连续，且在 $t=0$ 处关于 $L^2_{w_\gamma}$ 范数强连续。
• 能量不等式（4）成立，其中包含一个非负测度 $\mu$，确认了解在物理上是可接受的，并满足能量耗散。
• 对于局部平方可积的初始数据，存在离散自相似解，扩展了先前结果，并证实了能量方法在 MHD 框架下的鲁棒性。