[論文レビュー] Well-posedness of the Prandtl equation without any structural assumption

Helge Dietert, David Gérard‐Varet|arXiv (Cornell University)|Sep 28, 2018

Advanced Mathematical Physics Problems参考文献 25被引用数 5

ひとこと要約

本稿は、接線方向変数 $x$ に対してGevrey-2正則性、法線方向変数 $y$ に対して $H^1$ 正則性を有する初期データに対して、2次元Prandtl方程式の局所的時間における適切性を確立する。単調性や臨界点に関する制限といった構造的仮定を一切必要としない。主な貢献は、既知のSobolev空間における不適切性と照らし合わせて最適な正則性閾値の特定である。

ABSTRACT

We show the local in time well-posedness of the Prandtl equation for data with Gevrey $2$ regularity in $x$ and $H^1$ regularity in $y$. The main novelty of our result is that we do not make any assumption on the structure of the initial data: no monotonicity or hypothesis on the critical points. Moreover, our general result is optimal in terms of regularity, in view of the ill-posedness result of [9].

研究の動機と目的

• 最小限の正則性仮定のもとでPrandtl方程式の適切性を証明するという長年の課題を解決すること。
• 従来の適切性結果を制限していた単調性や臨界点条件といった構造的制約を排除すること。
• 適切性のための鋭い正則性閾値を確立し、Sobolev空間における既知の不適切性と一致させること。
• 高レイノルズ数非圧縮流れにおける境界層流れを、制限的な物理的仮定なしに解析するための厳密な枠組みを提供すること。

提案手法

• 重み付きノルムと補助関数 $H_j$ および $\phi_j$ を用いた修正されたエネルギー法による事前推定の適応。
• 非線形項および交換子項を制御するため、$x$ 方向に微小な粘性 $\epsilon$ を導入した正則化手法の導入。
• フーリエ-Gevreyアプローチを採用し、フーリエ空間における指数的減衰推定によって高周波数モードを制御。
• 時間依存ノルム $|||u|||$ を用いた時間にわたるブートストラップ論法によるエネルギー推定の閉じ方。
• 2つの解の比較を用いて安定性と一意性を確立し、差にGevrey型の評価を導出。
• 非単調データを扱える一般化されたフレームワークにおける修正されたCrocco型変換の導入。

実験結果

リサーチクエスチョン

• RQ1 初期データに単調性や臨界点構造を仮定しない場合、Prandtl方程式は適切に定式化可能か？
• RQ2 Sobolev空間では不適切性が示されていることを踏まえると、局所的適切性に必要な最小正則性は何か？
• RQ3 Gevrey-2正則性が $x$ に対して十分かつ必要であるか？
• RQ4 エネルギー法を非単調・非せん断流に適応可能か？構造的仮定なしに。

主な発見

• 初期データが $x$ でGevrey-2正則性、$y$ で $H^1$ 正則性を有する限り、初期速度プロファイルに構造的仮定を課さずにPrandtl方程式は局所的に適切に定式化される。
• 正則性の観点から最適であることが示されており、[9]における不適切性結果から、Sobolev正則性では高周波数不安定性が生じることを裏付けている。
• 解が初期データの臨界点構造に依存しない正の時間間隔にわたり、Gevrey型ノルムで一様に制御されることを証明した。
• 一意性はGevreyクラスにおける安定性推定によって確立され、同じ正則性枠組み内での解の差が減衰することを示している。
• 本手法は非単調流および逆流を効果的に扱うことができ、従来の単調性仮定によって除外されていた状況をカバーしている。
• 存在時間は初期データのGevreyおよび $H^1$ ノルムにのみ依存し、臨界点の有無や流れの逆転の有無とは無関係である。