[論文レビュー] Steady Prandtl Boundary Layer Expansion of Navier-Stokes Flows over a Rotating Disk

Sameer Iyer|arXiv (Cornell University)|Aug 27, 2015

Fluid Dynamics and Turbulent Flows参考文献 4被引用数 11

ひとこと要約

本稿は、回転する円盤上における定常非圧縮性ナビエ＝ストークス流れに対するプラントル境界層理論の厳密な妥当性を、幾何的曲率を考慮した専用の関数空間および埋め込み定理の開発により確立する。非粘性極限においてナビエ＝ストークス解がオイラー流とプラントル流に分解されることを証明し、GuoとNguyenの手法を曲がった領域へと拡張し、重み付きソボレフ空間における非線形収縮論法を用いる。

ABSTRACT

This paper concerns the validity of the Prandtl boundary layer theory for steady, incompressible Navier-Stokes flows over a rotating disk. We prove that the Navier Stokes flows can be decomposed into Euler and Prandtl flows in the inviscid limit. In so doing, we develop a new set of function spaces and prove several embedding theorems which capture the interaction between the Prandtl scaling and the geometry of our domain.

研究の動機と目的

• 平板から曲がった幾何構造、特に回転円盤へとプラントル境界層理論の数学的正当化を拡張すること。
• 定常流れにおけるナビエ＝ストークス方程式における幾何的曲率効果の挑戦に取り組むこと。
• プラントルスケーリングと領域幾何構造に特化した新しい関数空間および埋め込み定理の枠組みを構築すること。
• エネルギーおよび正値性推定を用いて境界層展開の非線形安定性を証明すること。
• 重み付きソボレフ空間におけるナビエ＝ストークス剰余系の解の存在および一意性を確立すること。

提案手法

• 回転円盤に近接する粘性効果を捉えるために、境界層スケーリングを $ \sqrt{\epsilon} $ 厚さで導入する。
• 境界層変数におけるスケーリングされたナビエ＝ストークス方程式を導出し、曲率項および回転項を保持する。
• オーバーオール流とプラントル境界層補正を組み合わせた形式的漸近展開を構築する。
• 解の成長および減衰を制御するため、$ r^{\delta} $ 重みを含む新しい重み付きソボレフ空間 $ Z $ を構築する。
• エネルギー推定、圧力推定、および渦度乗数を用いた新規な正値性推定を適用し、不安定性を制御する。
• 空間 $ Z $ における収縮写像論法を用いて、非線形剰余項の存在および一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 幾何的曲率効果を伴う回転円盤上における定常ナビエ＝ストークス流れに対して、プラントル境界層理論を厳密に正当化できるか？
• RQ2 幾何的曲率および回転項は、境界層の構造および安定性にどのように影響を与えるか？
• RQ3 プラントルスケーリングと領域幾何構造の相互作用を制御するためには、どのような関数空間枠組みが必要か？
• RQ4 境界層展開における非線形剰余項が非粘性極限においてゼロに収束することを示せるか？
• RQ5 剰余項の非線形系が要求される関数空間内で一意解を有するための条件は何か？

主な発見

• 非粘性極限 $ \epsilon \to 0 $ において、ナビエ＝ストークス解はオイラー流とプラントル境界層流に分解され、境界層厚さは $ \sim \sqrt{\epsilon} $ である。
• 回転円盤の境界近くでの解の制御を可能にする、重み付き $ L^2 $ ノルムを有する新規関数空間 $ Z $ が構築された。
• プラントルスケーリングと領域の径方向幾何構造の相互作用を捉える埋め込み定理が証明された。
• 非線形エネルギー推定により、展開における剰余項が $ \epsilon^{\gamma} \|u,v\|_Z^2 $ で有界であることが示され、$ \gamma > 0 $ であるため収束が保証された。
• 非線形剰余系の解作用素が $ Z $ において収縮写像であることが示され、解の存在および一意性が証明された。
• 主要推定 $ \|f,\sqrt{\epsilon}g\|_{L^{2}_{*,2+\delta}} \lesssim \epsilon^{\gamma/2} \|u,v\|_Z^2 + \epsilon^{1/2 - \gamma/2 - \kappa} \|u,v\|_Z $ により、非線形補正の小ささが確認された。