[論文レビュー] Inhomogeneous Navier-Stokes equations in the half-space, with only bounded density

Raphaël Danchin, Ping Zhang|arXiv (Cornell University)|Apr 11, 2013

Navier-Stokes equation solutions参考文献 9被引用数 5

ひとこと要約

本稿は、初期密度が有界で、初期速度が臨界Besov空間で小さい条件下で、半空間における非一様ナビエ＝ストークス方程式の解のグローバル存在および一意性を確立する。主な結果は、非一様性の$L^∞$ノルムと水平速度の臨界ノルムが垂直速度のノルムに対して十分に小さい場合に解が存在し、一意的であることを示しており、不連続な界面を含む、より滑らかでない密度データへと先行研究を拡張する。

ABSTRACT

In this paper, we establish the global existence of small solutions to the inhomogeneous Navier-Stokes system in the half-space. The initial density only has to be bounded and close enough to a positive constant, and the initial velocity belongs to some critical Besov space. With a little bit more regularity for the initial velocity, those solutions are proved to be unique. In the last section of the paper, our results are partially extended to the bounded domain case.

研究の動機と目的

• 初期密度に最小限の正則性仮定を置いた半空間における非一様ナビエ＝ストークス方程式の解のグローバル存在および一意性を確立すること。
• 滑らかでない密度、特に不連続な界面を含む状況を扱う挑戦に応えること。これは、Besov型正則性を仮定した先行研究では捉えきれなかった。
• 半空間設定において、密度が$L^∞$で有界で、速度ノルムに小さな条件を課すという臨界フレームワークを、適切性理論に拡張すること。
• 小さな条件が初期速度の垂直成分に依存する枠組みを提供し、水平成分をより大きく許容することを可能にすること。

提案手法

• ナビエ＝ストークス系とスケーリング不変性を有する同次Besov空間に基づく臨界関数的枠組みを用いる。
• 非一様項を取り扱い、変数係数を持つ線形化系に帰着するためにラグランジュ座標を適用する。
• 時間と空間における混合可積分性を持つBanach空間における解の固定点法を用い、$ L^r_t(L^p_x) $ノルム（$ p \in (1,2d) $）を用いる。
• 勾配の重み付き$ L^{2r}_t $ノルムを含む$ X^{p,r}_t $および$ X^{\widetilde{p},r}_t $ノルムの組み合わせ空間において、速度・圧力対に対して収縮写像法を適用する。
• 垂直速度成分の成長を制御し、収縮を保証するために、修正された指数的重み関数$ h_\lambda(s,t) $を導入する。
• 半空間におけるストークス系の最大正則性推定を用い、Sobolev埋め込みおよびホルダー不等式を用いて推定を閉じる。

実験結果

リサーチクエスチョン

• RQ1 初期密度がBesov空間に属さないが有界である場合、半空間における非一様ナビエ＝ストークス方程式のグローバル適切性は確立可能か？
• RQ2 初期速度（特に水平成分と垂直成分）にどのような小さな条件を課すと、密度が有界で不連続な場合でも解の存在および一意性が保証されるか？
• RQ3 ノスリップ境界条件を伴う半空間設定において、適切性の臨界フレームワークを、有界密度に対してどのように適応できるか？
• RQ4 Besovノルムにおける密度の小さな仮定を除去しても、グローバル存在および一意性を保証することは可能か？
• RQ5 この手法を有界領域に拡張可能か？その場合に必要な修正は何か？

主な発見

• 初期密度が有界で正の定数に近い半空間$ \mathbb{R}^d_+ $における非一様ナビエ＝ストークス系に対して、解のグローバル存在および一意性が確立された。
• 初期速度は臨界Besov空間$ \dot{B}^{-1+\frac{d}{p}}_{p,1}(\mathbb{R}^d_+) $に属し、$ p \in (1,2d) $を満たす必要がある。小さな条件は垂直速度ノルムの指数関数に依存する。
• 解が存在するのは、$ \|\rho_0 - 1\|_{\mathcal{M}(\dot{B}^{-1+\frac{d}{p}}_{p,1}(\mathbb{R}^d_+))} + \mu^{-1}\|u_0^h\|_{\dot{B}^{-1+\frac{d}{p}}_{p,1}(\mathbb{R}^d_+)} \leq c \cdot \exp\left(-c^{-1}\mu^{-2}\|u_0^d\|_{\dot{B}^{-1+\frac{d}{p}}_{p,1}(\mathbb{R}^d_+)}\right) $ を満たすときであり、これは垂直成分に相対的な小さな条件を保証する。
• 初期速度にやや高い正則性を仮定すると、解の一意性が示され、以前の結果よりも強いBesov正則性を密度に要しない。
• 結果は有界領域の場合にも部分的に拡張されており、半空間を超えたフレームワークの頑健性を示している。
• Besov空間上の乗数ノルムを用いることで、不連続な密度界面を効果的に扱い、急激な密度対比を示す流体混合物の取り扱いが可能になった。