[論文レビュー] Stability and instability of Navier boundary layers

Matthew Paddick|arXiv (Cornell University)|Mar 25, 2011

Navier-Stokes equation solutions被引用数 11

ひとこと要約

本稿は、半平面上のナヴィエ＝ストークス方程式の非粘性極限問題を、ナヴィエ境界条件を用いて検討する。Leray解のEuler解への$L^2$収束を確立すると同時に、特定のWKB型境界層展開に関して、より強いノルム（$L^\infty$および$H^s$、$s>1$）における非線形不安定性を示している。周期的設定では、両現象が共存しており、結果が矛盾しないことが示されている。

ABSTRACT

We study the inviscid limit problem for the incompressible Navier-Stokes equation on a half-plane with a Navier boundary condition depending on the viscosity. On one hand, we prove the $L^2$ convergence of Leray solutions to the solution of the Euler equation. On the other hand, we show the nonlinear instability of WKB expansions in the stronger $L^{\infty}$ and $\dot{H}^s$ (s>1) norms.

研究の動機と目的

• 半平面上の非圧縮性ナヴィエ＝ストークス方程式のナヴィエ境界条件における非粘性極限を分析すること。
• $L^2$収束とより強いノルムにおける非線形不安定性の間にある表面上の矛盾を解消すること。
• 周期的設定において、$L^2$収束と不安定性が同時に成立するような明示的な例を構成すること。
• さまざまな関数空間におけるWKB型境界層展開の有効性と限界を確立すること。

提案手法

• 粘性$\varepsilon$に依存するナヴィエ境界条件を有するナヴィエ＝ストークス方程式を分析し、係数$a^\varepsilon$を有する接線方向のスリップ項を含む。
• 境界層展開にWKB型アンザッツを用いる：$u^N = u^i + \sqrt{\varepsilon} u^b(t,x,\varepsilon^{-1/2}y)$、ここで$u^i$はEuler方程式を満たす。
• 負の固有値の検出に寄与する二次形式分析を用いる：$Q_\delta^\nu(u) = \int_0^\infty |u'|^2 - K_\delta^\nu |u|^2\,dy$。
• $C^\infty$かつ非増加関数$\xi^\nu$の族を構成し、$u_\delta^\nu(y) = (\tanh(y-\delta) + \zeta)\xi(\nu y)$が2つの拐点を持ち、正の$K_\delta^\nu$を生成することを保証する。
• 漸近的解析とテイラー展開を用いて、$K_\delta^\nu$の分母が0になる可能性のある臨界点近辺での$\xi^\nu$の振る舞いを制御する。
• 定理4.2を適用し、演算子$-\partial_y^2 - K_\delta^\nu$に負の固有値が存在することを結論づけ、$H^s$および$L^\infty$ノルムにおける不安定性を証明する。

実験結果

リサーチクエスチョン

• RQ1 粘性に依存するスリップを有するナヴィエ境界条件のもとで、ナヴィエ＝ストークス解のEuler解への$L^2$収束が保証されるか。
• RQ2 同じ設定において、$L^\infty$および$\dot{H}^s$（$s>1$）における非線形不安定性と$L^2$収束が共存する理由は何か。
• RQ3 周期的設定において、$L^2$収束と不安定性が同時に成立するような初期データの1つの族を構成することは可能か。
• RQ4 境界層プロファイルの構造、特にその拐点と減衰の性質が安定性に与える影響は何か。
• RQ5 係数$a^\varepsilon$の選択が、WKB型展開の有効性および境界層の安定性に与える影響は何か。

主な発見

• ナヴィエ境界条件を伴うナヴィエ＝ストークス方程式のLeray解は、$\varepsilon \to 0$のときEuler解に$L^2$ノルムで収束する。これは、この枠組みにおける非粘性極限の成立を確認する。
• 特定のWKB型境界層展開に関して、$L^\infty$および$\dot{H}^s$ノルム（$s>1$）における非線形不安定性が証明されており、これらの展開が一様に安定でないことを示している。
• 不安定性は、構築された境界層プロファイル$u_\delta^\nu$に2つの拐点が存在することに起因し、これにより関連する二次形式に負の固有値が生じる。
• $C^\infty$かつ非増加関数$\xi^\nu$の族が明示的に構成され、$u_\delta^\nu(y) = (\tanh(y-\delta) + \zeta)\xi(\nu y)$が不安定性を引き起こすために必要な性質を満たすことが保証されている。
• 周期的設定$\Omega' = \mathbb{T} \times \mathbb{R}^+$では、同一の初期データ族に対して$L^2$収束と不安定性が共存し、表面的な矛盾が解消される。
• $K_\delta^\nu$の正値性と連続性のおかげで、演算子$-\partial_y^2 - K_\delta^\nu$は負の固有値を持つ。これは、$\xi^\nu$の適切な構成とその導関数の制御によって保証される。