[論文レビュー] Magnetic helicity and subsolutions in ideal MHD

Daniel Faraco, Sauli Lindberg|arXiv (Cornell University)|Jan 15, 2018

Navier-Stokes equation solutions参考文献 32被引用数 3

ひとこと要約

この論文は、制約集合のΛ-凸包の構造のおかげで、理想2次元磁気流体力学（MHD）には、コンpactに時間依存する非自明な磁場を有する弱解や準解が存在しないことを確立している。さらに、エネルギー空間$L^∞_t L^2_x$における弱解や準解に対して、2次元では平均二乗磁気ポテンシャルが保存され、3次元では$L^3$-可積分な準解および弱極限に対して磁気ホエリシティが保存されることを示している。また、3次元ではΛ-凸包が十分に大きく、非自明な滑らかでコンパクトに台を持つ厳密な準解の存在を許容する。

ABSTRACT

We show that ideal 2D MHD does not possess weak solutions (or even subsolutions) with compact support in time and non-trivial magnetic field. We also show that the $Λ$-convex hull of ideal MHD has empty interior in both 2D and 3D; this is seen by finding suitable $Λ$-convex functions. As a consequence we show that mean-square magnetic potential is conserved in 2D by subsolutions and weak limits of solutions in the physically natural energy space $L^\infty_t L^2_x$, and in 3D we show the conservation of magnetic helicity by $L^3$-integrable subsolutions and weak limits of solutions. However, in 3D the $Λ$-convex hull is shown to be large enough that nontrivial smooth, compactly supported strict subsolutions exist.

研究の動機と目的

• 時間にわたってコンパクトに台を持つ弱解および準解の存在を、理想MHDにおいて調査すること。
• 理想MHDにおける制約集合のΛ-凸包の構造を分析し、保存則への影響を検討すること。
• 磁気ホエリシティや平均二乗磁気ポテンシャルといった積分不変量が、弱極限および準解の下で保存されるかどうかを特定すること。
• 2次元と3次元における準解の存在および保存則の観点から、その違いを明確にすること。

提案手法

• 理想MHDを線形偏微分方程式と状態変数に関する点ごとの制約に分離するため、Tartarの枠組みを採用する。
• 波面$\Lambda$および$\Lambda$-凸包$K^{\Lambda}$を定義し、可能な準解の集合を分析する。
• 明示的な$\Lambda$-凸関数を構成することで、2次元では$\Lambda$-凸包が内部を空にしているが、3次元では非自明な滑らかでコンパクトに台を持つ厳密な準解の存在を許容するほど十分に大きいことを示す。
• 弱収束下での物理的量の保存を分析するために、凸統合法を用いる。
• 補間コンパクトネス理論および弱極限の理論を適用し、2次元における平均二乗磁気ポテンシャルおよび3次元における磁気ホエリシティの保存を証明する。
• 対称性の簡略化およびEuler方程式における凸統合の既知の結果を活用し、時間にわたってコンパクトに台を持つ3次元MHD解を構成する。

実験結果

リサーチクエスチョン

• RQ1 理想2次元MHDは、時間にわたってコンパクトに台を持つ非自明な磁場を有する弱解や準解を許容できるか？
• RQ2 理想MHDの制約集合$K$の$\Lambda$-凸包は、2次元および3次元において内部が空であるか？
• RQ3 エネルギー空間$L^\infty_t L^2_x$における準解および解の弱極限に対して、平均二乗磁気ポテンシャルは2次元で保存されるか？
• RQ4 3次元において、$L^3$-可積分な準解および解の弱極限に対して磁気ホエリシティは保存されるか？
• RQ5 非自明な滑らかでコンパクトに台を持つ厳密な準解は、3次元理想MHDに存在するか？

主な発見

• 2次元では、制約集合のΛ-凸包が内部を空にしていることから、理想MHDは時間にわたってコンパクトに台を持つ非自明な磁場を有する弱解や準解を許容しない。
• 2次元における準解および解の弱極限に対して、エネルギー空間$L^\infty_t L^2_x$で平均二乗磁気ポテンシャルが保存されるのは、Λ-凸包の構造のおかげである。
• 3次元では、適切な$\Lambda$-凸関数の存在のおかげで、$L^3$-可積分な準解および解の弱極限に対して磁気ホエリシティが保存される。
• 3次元における$\Lambda$-凸包は、非自明な滑らかでコンパクトに台を持つ厳密な準解の存在を許容するほど十分に大きい。
• 3次元におけるコンパクトに台を持つ解の構成（例：$u = (u_1, u_2, 0)$, $b = (0, 0, b_3)$）は、速度および磁場の直交分解に依存しており、これによりこのような解ではクロスホエリシティの保存が妨げられる。
• 対称解（Broneziらの解）において、クロスホエリシティ$\int u \cdot b\,dx$は恒等的に0となるが、一般の3次元理想MHDの弱解においてそれが保存されるかどうかは未解決のままである。