[論文レビュー] The van Dommelen and Shen singularity in the Prandtl equations

Igor Kukavica, Vlad Vicol+1 more|arXiv (Cornell University)|Dec 23, 2015

Fluid Dynamics and Turbulent Flows参考文献 29被引用数 6

ひとこと要約

本稿は、非自明なEuler背景流れを伴う2次元Prandtl境界層方程式の解の有限時刻 blowup を厳密に証明し、van DommelenとShen（1980）の数値的特異点予想を裏付ける。Lyapunov汎関数と巧みに構築された重み関数を用いて、境界層厚さが有限時刻で収縮することを示し、境界層剥離を示唆するとともに、その時点以降におけるPrandtl境界層展開の無効性を示している。

ABSTRACT

In 1980, van Dommelen and Shen provided a numerical simulation that predicts the spontaneous generation of a singularity in the Prandtl boundary layer equations from a smooth initial datum, for a nontrivial Euler background. In this paper we provide a proof of this numerical conjecture by rigorously establishing the finite time blowup of the boundary layer thickness.

研究の動機と目的

• 非自明なEuler背景流れの下で、van DommelenとShen（1980）の数値的予測に従い、Prandtl境界層方程式における有限時刻特異点形成を厳密に確立すること。
• 粘性係数の極限におけるNavier-Stokes方程式の慣性流体極限が、任意に長い時間にわたりPrandtl境界層展開で記述可能かどうかという長年の未解決問題を解消すること。
• 境界層の移動厚さが有限時刻で特異的になることを示し、境界層剥離を示唆すること。
• 解の正則性の喪失を示すために、有限時刻で発散するLyapunov汎関数を構築すること。

提案手法

• 著者らは、解のエネルギーと微分の進化を追跡するLyapunov汎関数 $\mathcal{G}(t)$ を構築する。
• エネルギー推定において、$W^{2,\infty}$-滑らかで、$[0,\infty)$ 上で微分不等式を満たすように巧みに設計された重み関数 $w(y)$ を導入する。
• 線形、二次、べき乗則的成分を貼り合わせることで、正値性とPrandtl方程式における非線形項の制御を確保するように重み関数を構築する。
• 証明は、重み付きSobolev空間におけるエネルギー推定に依拠し、境界付近での微分の成長を捉えるように重み関数を設計する。
• 重要なステップとして、構築された重み関数が微分不等式 (2.28)–(2.40) を満たしていることを確認する。特に、2階微分に関する重要な条件 (2.31) を満たす。
• パラメータ $r$, $B$, $M$, および $\varepsilon$ の調整により、すべての条件を満たすように構築を完了する。$r=2$, $B=50$, $M=9/10$, および $\varepsilon$ は十分に小さい。

実験結果

リサーチクエスチョン

• RQ1 非自明なEuler流れを伴うPrandtl境界層方程式は、van DommelenとShenの数値的シミュレーションが示唆するように、有限時刻に特異点が形成されるか？
• RQ2 Prandtl解が発散する可能性がある場合に、Navier-Stokes方程式の慣性流体極限が、任意に長い時間にわたりPrandtl境界層展開で記述可能か？
• RQ3 移動厚さ $\delta^*(t,x)$ は境界層剥離の信頼できる指標であり、有限時刻で特異的になるか？
• RQ4 その発散がPrandtl解の正則性の喪失を示すように、有限時刻で発散するLyapunov汎関数を構築可能か？

主な発見

• 本稿は、実解析的初期データの広いクラスに対して、非自明なEuler流れ $U^E = \kappa \sin x$ を伴うPrandtl方程式の解が有限時刻に発散することを証明している。
• 発散は、解の微分の成長を制御するLyapunov汎関数 $\mathcal{G}(t)$ の発散によって確認される。
• 移動厚さ $\delta^*(t,x)$ が有限時刻で特異的になることから、境界層が壁から剥離していることを示唆している。
• パラメータ $r=2$, $B=50$, $M=9/10$, および小さな $\varepsilon$ を用いた重み関数 $w(y)$ の構築により、すべての必要な微分不等式が満たされていることが保証される。
• 証明により、解の正則性が失われるため、Prandtl境界層展開は任意に長い時間にわたり有効ではないことが示された。
• 本結果により、van DommelenとShen（1980）の数値的予想が、厳密な解析的証明により解決された。