[論文レビュー] Boundary Layer Expansions for the Stationary Navier-Stokes Equations

Sameer Iyer, Nader Masmoudi|arXiv (Cornell University)|Mar 11, 2021

Navier-Stokes equation solutions参考文献 57被引用数 6

ひとこと要約

本稿は、2次元定常ナビエ＝ストークス方程式に対して、Euler-Prandtl境界層アンザッツを用いて高次の漸近展開を構築し、鋭い減衰推定を確立するとともに、古典的なvon-Mise変換に依存しないPrandtl系のグローバル正則性を証明する。主な貢献は、誤差項の制御が可能な近似解の厳密な構成であり、併論文においてPrandtl境界層のx方向全域における安定性を証明する基盤を提供する。

ABSTRACT

This is the first part of a two paper sequence in which we prove the global-in-x stability of the classical Prandtl boundary layer for the 2D, stationary Navier-Stokes equations. In this part, we provide a construction of an approximate Navier-Stokes solution, obtained by a classical Euler- Prandtl asymptotic expansion. We develop here sharp decay estimates on these quantities. Of independent interest, we establish extit{without} using the classical von-Mise change of coordinates, proofs of global in x regularity of the Prandtl system. The results of this paper are used in the second part of this sequence, [IM20] (arXiv:2008.12347), to prove the asymptotic stability of the boundary layer as $\eps ightarrow 0$ and $x ightarrow \infty$.

研究の動機と目的

• 境界層近傍における2次元定常ナビエ＝ストークス方程式に対する高次の漸近展開を厳密に構築すること。
• Prandtl境界層プロファイルおよびその補正項の鋭い減衰推定を確立すること。
• 古典的なvon-Mise変換に依存せずにPrandtl系のx方向全域における正則性を証明すること。
• 併論文における$\varepsilon \to 0$および$x \to \infty$における境界層の漸近的安定性を証明するための基礎的解析を提供すること。
• 高次の階層において、正則性を保証するための放物型相性条件を定義・適用すること。

提案手法

• 外流と境界層のダイナミクスを分離するために、スケーリング$y = Y / \sqrt{\varepsilon}$を用いた古典的なEuler-Prandtl漸近展開を用いる。
• $\varepsilon^{i/2}$の各次数に対して線形化されたPrandtl方程式の階層を導出し、速度および圧力補正項を再帰的に解く。
• 滑らかさと一貫性を保証するため、角部$(x=0, y=0)$における零次および一次の放物型相性条件を課す。
• 解がEuler背景流と一致するように、$y \to \infty$におけるPrandtlプロファイルの鋭い減衰推定を確立する。
• $x$方向における微分の成長を制御するため、修正されたエネルギー法を適用し、$x$方向におけるグローバル正則性を証明する。
• 漸近展開の一貫性を保つために、スケーリングされたラプラシアン$\Delta_\varepsilon = \partial_y^2 + \varepsilon \partial_x^2$を用いる。

実験結果

リサーチクエスチョン

• RQ1 2次元定常ナビエ＝ストークス方程式に対して、Prandtl境界層を伴う高次の漸近展開を厳密に構築することは可能か？
• RQ2 $y \to \infty$におけるPrandtlプロファイルおよびその補正項の減衰特性はいかなるものか？
• RQ3 von-Mise変換を用いずにPrandtl系の$x$方向全域における正則性は達成可能か？
• RQ4 高次の展開の滑らかさを保証するため、角部$(x=0, y=0)$で必要な相性条件は何か？
• RQ5 展開における剰余項をどのように制御すれば、$\varepsilon \to 0$における安定性解析が可能になるか？

主な発見

• 与えられた境界条件のもとで、Prandtl系はvon-Mise変換を用いずに$x$方向全域にわたる解を有することが証明された。
• $y \to \infty$におけるPrandtlプロファイル$u^i_p$および$v^i_p$の鋭い減衰推定が確立され、Euler背景流と一致することが保証された。
• 角部における一貫性を保つために、零次放物型相性条件$U^i_p(0) = -u^i_E(0,0)$が必須であることが示された。
• 一次の放物型相性条件が導出され、$y=0$における$U^i_p(y)$の最高2階微分までを含むものであり、原点における解の$x$微分の正則性を保証する。
• 剰余項は$\varepsilon^{N_2/2}$の次数で制御され、$N_2$は併論文における安定性解析が可能になるように十分大きくとられた。
• 本構成により、適切なノルムにおいて$O(\varepsilon^{N_2/2})$の誤差でナビエ＝ストークス方程式の有効な近似解が得られた。