[論文レビュー] Local well-posedness and break-down criterion of the incompressible Euler equations with free boundary

Chao Wang, Zhifei Zhang+2 more|arXiv (Cornell University)|Jul 9, 2015

Navier-Stokes equation solutions参考文献 30被引用数 7

ひとこと要約

本稿は、初期速度が $H^{s+1/2}$ に属し、自由表面が $C^{3/2 + \varepsilon}$ に属する低正則性ソボレフ空間において、非圧縮性エーラー方程式の自由境界問題に対して局所的well-posednessを確立する。さらに、平均曲率、速度勾配、およびテイラー符号条件を含むベーレ・カトー・マジャダ型の崩壊基準を提示し、有限時間での特異性形成の幾何学的・物理的解釈を提供する。

ABSTRACT

In this paper, we prove the local well-posedness of the free boundary problem for the incompressible Euler equations in low regularity Sobolev spaces, in which the velocity is a Lipschtiz function and the free surface belongs to $C^{\f32+\varepsilon}$. Moreover, we also present a Beale-Kato-Majda type break-down criterion of smooth solution in terms of the mean curvature of the free surface, the gradient of the velocity and Taylor sign condition.

研究の動機と目的

• 自由境界を伴う非圧縮性エーラー方程式の局所的well-posednessを、速度が $H^{s+1/2}$ に属し、自由表面が $C^{3/2 + \varepsilon}$ に属する低正則性ソボレフ空間で確立すること。
• 回転流を伴う自由表面問題に対して、速度および境界幾何の両方の低正則性という挑戦に直面しながらも、古典的な局所的well-posedness枠組みを拡張すること。
• 平均曲率、速度勾配、テイラー符号条件といった幾何的・物理的量を用いて、滑らかな解の崩壊基準を提供すること。
• クレイグとウェインの質問に応え、解の崩壊のメカニズムを曲率の爆発または幾何的退化と関連付けること。
• 小データおよび非回転流に関する先行結果を、最小限の正則性仮定のもとで回転流に一般化すること。

提案手法

• 重力 $g=1$ を仮定し、平らな底面および表面張力なしのラグランジュ座標系で自由境界エーラー方程式を定式化する。
• 構造的安定性を保証するため、テイラー符号条件 $-\partial_y P|_{y=\eta} \geq c_0 > 0$ および一様正の深さ条件 $1 + \eta_0 \geq h_0 > 0$ を課す。
• 自由境界と速度の結合に起因する非線形項を制御するため、重み付きソボレフ空間における擬微分作用素計算およびエネルギー推定を適用する。
• 低正則性設定における解の存在を示すために、ナッシュ＝モーザー型反復スキームとコンパクトネスの議論を組み合わせる。
• 平均曲率などの幾何的量の時間発展方程式を導出し、それらを用いて崩壊基準を構成する。
• 解の成長およびその微分の制御のため、$H^s$ 型ノルムにおける一様推定を用いたブートストラップ法を採用する。

実験結果

リサーチクエスチョン

• RQ1 渦度を伴う非圧縮性エーラー方程式の自由境界問題に対して、局所的well-posednessが成立するための最小正則性は何か？
• RQ2 平均曲率や速度勾配といった幾何的量と関連づけられるベーレ・カトー・マジャダ型の崩壊基準を確立できるか？
• RQ3 低正則性初期データのもとでもテイラー符号条件は成立するのか？ また、それは解の存在および安定性にどのように影響するか？
• RQ4 解の挙動は自由表面の曲率にどのように依存するか？ また、曲率の爆発は崩壊の十分条件となるか？
• RQ5 解の崩壊メカニズムは、純粋に解析的ノルムではなく、物理的および幾何的量によって特徴付けられるか？

主な発見

• 速度が $H^{s+1/2}$ に属し、自由表面が $C^{3/2 + \varepsilon}$ に属する条件下で、$s > d/2 + 1$ に対して、空間 $C([0,T]; H^{s+1/2}(\mathbb{R}^d)) \times C([0,T]; H^{s+1/2}(\Omega_t))$ において一意な局所解が存在する。
• 初期データがテイラー符号条件 $-\partial_y P|_{y=\eta} \geq c_0 > 0$ を満たし、深さが一様に正である限り、解は時間局所的に存在する。
• 崩壊基準が確立された：解が滑らかに保たれる限り、速度勾配および自由表面の平均曲率の $L^\infty$ ノルムは有界のままである。
• 滑らかな解の崩壊は、自由表面の平均曲率の発散、またはテイラー符号条件の不成立によって特徴づけられる。
• 証明は、低正則性ソボレフ空間における事前推定および、滑らかでない近似スキームにおける極限への移行のためのコンパクトネスの議論に依拠する。
• 解のノルムに一様な有界性が保たれる限り、2つの解の差に対するエネルギー推定とグロワールド型の議論により、解の一意性が確立される。