[論文レビュー] Well-posedness in Gevrey function space for 3D Prandtl equations without Structural Assumption

Wei‐Xi Li, Nader Masmoudi+1 more|arXiv (Cornell University)|Jan 28, 2020

Advanced Mathematical Physics Problems参考文献 32被引用数 9

ひとこと要約

本稿は、単調性や対称性などの構造的仮定なしに、3次元プラントル方程式がクラス2のゲーリン空間で初めて適切に定式化されることを確立した。微分の損失を克服するために、新規のキャンセレーション機構を用いた。主な貢献は、最適な正則性クラス2を証明し、3次元の不安定性が2次元と同程度であることを確認し、2次元の場合のより単純な証明を副次的に得ることにある。

ABSTRACT

We establish the well-posedness in Gevrey function space with optimal class of regularity 2 for the three dimensional Prandtl system without any structural assumption. The proof combines in a novel way a new cancellation in the system with some of the old ideas to overcome the difficulty of the loss of derivatives in the system.This shows that the three dimensional instabilities in the system leading to ill-posedness are not worse than the two dimensional ones.

研究の動機と目的

• 単調性や対称性などの構造的仮定なしに、3次元プラントル方程式がゲーリン関数空間で適切に定式化されることを確立すること。
• 長年の未解決問題である、3次元における適切な定式化の最適正則性クラスを解明し、クラス2が最適であることを確認すること。
• 接線方向の両方における微分の損失を克服できる、強固で直接的な手法を構築すること。この手法は2次元および3次元の両設定に適用可能である。
• 3次元の不安定性が2次元と比較して悪化しないこと、すなわち、ゲーリンクラス2が臨界的役割を果たすことを確認すること。
• 座標変換や複雑なキャンセレーションに依存する既存の結果よりも、2次元の場合のより単純で統一的な証明を提供すること。

提案手法

• 3次元プラントル系の非線形対流項における新規キャンセレーション機構を導入し、微分の損失を相殺する。
• 時間に依存する半径 $\rho(t)$ とパラメータ $\tau$ を用いた重み付きゲーリンノルムを用い、接線方向における微分の成長を制御する。
• 時間に依存する半径 $\tilde{\rho}(s)$ を巧みに選択することで、重み付きゲーリンノルム $||\cdot||_{(\tau)}$ におけるブートストラップ論法を用いてエネルギー推定を閉じる。
• ゲーリン正則性を組み込み、指数的重みによって微分の損失を反映させる、修正されたエネルギー関数 $|\vec{a}_\varepsilon(t)|_{\rho,\sigma}^2$ を構築する。
• 時間に依存する重み $\frac{\rho_0 - \rho}{\rho_0 - \rho - \tau s}$ を用いたグロワール型推定を用い、エネルギーの時間的成長を制御する。
• 正則化の極限 $\varepsilon \to 0$ においてコンパクトネスの議論を適用し、元のプラントル系の解への移行を保証し、存在性と一意性を示す。

実験結果

リサーチクエスチョン

• RQ1 3次元プラントル系は、構造的仮定なしにクラス2のゲーリン関数空間で適切に定式化可能か？
• RQ2 非線形項における新規キャンセレーション機構が、3次元における両接線方向における微分の損失を克服できるか？
• RQ3 ゲーリンクラス2は、3次元における適切な定式化の最適正則性クラスであり、不安定性結果と整合的か？
• RQ4 この手法を拡張して、クロッコ変換や既存のキャンセレーションに依存しない2次元ケースのより単純な証明が可能か？
• RQ5 3次元の不安定性は2次元と比較して、より悪い不適切定式化の閾値を引き起こすか、それとも臨界ゲーリン指数は同一か？

主な発見

• 3次元プラントル系は、構造的仮定なしにクラス2のゲーリン関数空間で適切に定式化され、この正則性クラスの最適性が確認された。
• 対流項における新規キャンセレーション機構が、両接線方向における微分の損失を効果的に緩和し、証明を可能にした。
• 本手法により、座標変換や複雑なキャンセレーションに依存する既存の手法よりも、2次元ケースの直接的で強固な証明が得られた。
• 正則化後の極限 $\varepsilon \to 0$ におけるコンパクトネスの議論により解の存在が確立され、解は元の系を満たすことが示された。
• 時間に依存するゲーリン半径 $\tilde{\rho}(s)$ と巧みに選ばれたパrameter $\tau$ を用いることで、エネルギー推定が閉じられ、一様な制御が保証された。
• 結果として、3次元の不安定性が2次元と比較して不適切定式化の閾値を悪化させないことが確認され、[23, 24]における不安定性結果の予測と整合的である。