[論文レビュー] Local-in-Time Existence and Uniqueness of Solutions to the Prandtl Equations by Energy Methods

Nader Masmoudi, Tak Kwong Wong|arXiv (Cornell University)|Jun 16, 2012

Advanced Mathematical Physics Problems参考文献 19被引用数 7

ひとこと要約

本稿では、Ole'inikの単調性仮定の下で、重み付きソボレフ空間における2次元プラントル方程式の局所時間的解の存在と一意性を確立する。非線形エネルギー推定の新手法が、キャンセル性の性質に基づいて構築され、クロッコ変換を避けることで、ナビエ＝ストークス方程式からオイラー方程式への非粘性極限を解析する新しい枠組みを提供する。この手法は方程式の物理的空間構造を保ったままである。

ABSTRACT

We prove local existence and uniqueness for the two-dimensional Prandtl system in weighted Sobolev spaces under the Oleinik's monotonicity assumption. In particular we do not use the Crocco transform. Our proof is based on a new nonlinear energy estimate for the Prandtl system. This new energy estimate is based on a cancellation property which is valid under the monotonicity assumption. To construct the solution, we use a regularization of the system that preserves this nonlinear structure. This new nonlinear structure may give some insight on the convergence properties from Navier-Stokes system to Euler system when the viscosity goes to zero.

研究の動機と目的

• 2次元プラントル系の重み付きソボレフ空間における局所時間的解の存在と一意性を確立すること。
• 従来の研究で一般的に用いられるクロッコ変換に依存しない、適切な問題の定式化を提供すること。
• Ole'inikの単調性条件の下で、キャンセル性に起因する新しい非線形エネルギー推定を構築すること。
• 物理的空間における手法を提供し、ナビエ＝ストークス方程式からオイラー方程式への非粘性極限の理解を深めること。
• 消去粘性極限におけるナビエ＝ストークスからオイラーへの収束に関する今後の解析の基盤を築くこと。

提案手法

• 単調性仮定の下で有効なキャンセル性に基づいて、プラントル系の新しい非線形エネルギー推定を導出する。
• 非線形構造を保ちつつ、一様推定が可能となるようにプラントル系の正則化を導入する。
• 境界層変数yにおける指数的重みを用いた重み付きソボレフノルムを用い、境界付近での成長を制御する。
• 渇きの関数とストリーム関数成分の重み付きL²およびH^s推定を用いた、修正されたエネルギー法を採用する。
• 最大値原理の技法を用いて、低次の項のL∞推定を導出し、境界挙動を制御する。
• 近似スキームを構築し、重み付きノルムにおける一様事前推定を用いて収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元プラントル系の局所的解の存在と一意性は、クロッコ変換を用いずに確立可能か？
• RQ2 Ole'inikの単調性条件が、新しい非線形エネルギー推定を可能にする役割は何か？
• RQ3 境界層のy=0付近での解の制御が可能となる重み付きエネルギー推定はどのように構築できるか？
• RQ4 新規のエネルギー構造は、粘性係数が0に近づく極限におけるナビエ＝ストークスからオイラーへの収束を理解する手がかりとなるか？
• RQ5 非線形項におけるキャンセル性の性質が、プラントル系の適切な定式化に果たす役割は何か？

主な発見

• Ole'inikの単調性仮定の下で、2次元プラントル方程式の重み付きソボレフ空間における局所時間的解の存在と一意性が確立された。
• 証明は、単調性の下でのみ有効な非線形項におけるキャンセル性に基づく、新規の非線形エネルギー推定に依存している。
• クロッコ変換を避けることで、より直接的かつ物理的に直感的な手法が提供された。
• 正則化されたプラントル系について一様推定が得られ、元の系の解への収束が保証された。
• エネルギー推定は、重み付きL²およびH^sノルムを用いて得られ、最大値原理の技法により境界項をきめ細かく制御した。
• この結果は、特に境界層のダイナミクスに関連して、ナビエ＝ストークス方程式からオイラー方程式への非粘性極限を研究するための新しい枠組みを提供する。