[論文レビュー] Global wellposedness for the 3D Muskat problem with medium size slope

Stephen Cameron|arXiv (Cornell University)|Feb 2, 2020

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

ひとこと要約

本稿は、初期データの増大が線形未満であり、勾配が $1/\sqrt{5}$ 未満である安定的状態下で、3次元ムスカット問題のグローバルな適切性を確立する。モジュラス連続性法と比較原理を用いて、粗い初期データが $t>0$ で即座に $C^{1,1}$ に滑らかになり、曲率が $O(t^{-1})$ で減少することを証明し、これらの条件下で古典的解が常に存在することを保証する。

ABSTRACT

We prove the existence and uniqueness of global, classical solutions to the 3D Muskat problem in the stable regime whenever the initial interface has sublinear growth and slope $|| abla_x f_0||_{L^\infty}< 5^{-1/2}$. We show under these assumptions that the equation is fundamentally parabolic, satisfying a comparison principle. Applying the modulus of continuity technique, we show that rough initial data instantly becomes $C^{1,1}$ with the curvature decaying like $O(t^{-1})$.

研究の動機と目的

• 3次元ムスカット問題に対して、大きなが有限な勾配条件のもとで、古典的解のグローバルな存在と一意性を確立すること。
• ムスカット方程式が安定的状態下で本質的に放物型的であることを示し、比較原理を満たすことを証明すること。
• 増大が線形未満であり、$||\nabla_x f_0||_{L^\infty} < 1/\sqrt{5}$ である初期データが、即座に正則性を向上させることを示すこと。
• 中程度のデータ解の理論を3次元に拡張し、以前の臨界空間の結果を改善すること。
• 曲率が $O(t^{-1})$ のように減少し、$t>0$ で即座に解が $C^{1,1}$ に達することを証明すること。

提案手法

• ムスカット方程式における非線形積分作用素を制御するために、モジュラス連続性技法を適用する。
• 勾配の爆発を防ぎ、放物型的挙動を確立するために、比較原理を用いる。
• 滑らかでない初期データを近似するために、滑らか化と切り捨て関数による正則化手順を実装する。
• 元のデータに収束するが、$C^{1,\infty}$ ノルムが一様に有界な滑らかな初期データの列 $f_0^{(M)}$ を構成する。
• 局所的 $C^{1,\alpha}_{\text{loc}}$ および $L^\infty_{\text{loc}}((0,\infty); C^{1,1})$ における事前推定を用いて、解の収束を保証する。
• 部分列に沿って極限をとることで、元の初期条件を満たすグローバル古典的解を構成する。

実験結果

リサーチクエスチョン

• RQ1 初期勾配が $1/\sqrt{5}$ 未満であるとき、3次元ムスカット問題に対してグローバル古典的解を確立できるか？
• RQ2 この勾配条件のもとで、ムスカット方程式は本質的に放物型的挙動を示し、正則性の向上を可能にするか？
• RQ3 増大が線形未満の粗い初期データから出発する解の曲率の正確な減少率は何か？
• RQ4 滑らかでない近似の列を用いて解を構成できるか、かつ勾配の上限と正則性を保ったまま収束するか？
• RQ5 解は $t>0$ に対して即座に $C^{1,1}$ 正則性を獲得し、すべての時間で比較原理を満たすか？

主な発見

• 初期データの増大が線形未満であり、$||\nabla_x f_0||_{L^\infty} < 1/\sqrt{5}$ である限り、3次元ムスカット問題に対してグローバル古典的解が存在する。
• 方程式は比較原理を満たし、与えられた勾配の上限のもとで、本質的に放物型的であることが確認される。
• 粗い初期データは $t>0$ で即座に $C^{1,1}$ 正則性を獲得し、曲率が $O(t^{-1})$ で減少する。
• 解は一意的であり、$C^{1,\infty}$ 位相において初期データに対して連続的に依存する。
• 滑らかな近似の極限は、$C^1_{\text{loc}}((0,\infty) \times \mathbb{R}^2)$ で収束し、$t \to 0^+$ で $L^\infty$ において初期データと一致する古典的解を形成する。
• 以前の境界を改善し、$||\nabla_x f_0||_{L^\infty} < 1/\sqrt{5}$ までグローバル適切性の範囲を拡張した。これは以前に知られていた $1/3$ よりもきつい境界である。