[論文レビュー] Local well-posedness results for density-dependent incompressible fluids

Boris Haspot|arXiv (Cornell University)|Feb 11, 2009

Navier-Stokes equation solutions参考文献 17被引用数 7

ひとこと要約

本稿は、$\mathbb{R}^N$ ($N \geq 2$) における密度依存性不可 compressible 黏性流体に対して、臨界 Besov 空間に属する初期データをもつ場合の局所的 well-posedness を確立する。これは、Cannone, Meyer, および Planchon が不可 compressible ナビエ＝ストークス方程式に対して達成した正則性閾値と同一である。非リプシッツ型速度場における輸送方程式に対する新たな事前推定式を活用することで、初期速度 $u_0 \in B^{\frac{N}{p}-1}_{p,\infty}$（$1 \leq p < \infty$）の場合に強い解の存在と一意性を証明し、従来の $B^{\frac{N}{p}-1}_{p,1}$ 正則性を要件としていた結果を改善する。

ABSTRACT

This paper is dedicated to the study of the initial value problem for density dependent incompressible viscous fluids in $\R^{N}$ with $N\geq2$. We address the question of well-posedness for {\it large} data having critical Besov regularity and we aim at stating well-posedness in functional spaces as close as possible to the ones imposed in the incompressible Navier Stokes system by Cannone, Meyer and Planchon where $u_{0}\in B^{\NN-1}_{p,\infty}$ with $1\leq p

研究の動機と目的

• 密度依存性不可 compressible 黏性流体の $\mathbb{R}^N$（$N \geq 2$）における大規模な初期データが臨界正則性をもつ場合の局所的 well-posedness を確立すること。
• Cannone, Meyer, および Planchon が不可 compressible ナビエ＝ストークス系に用いた臨界 Besov 空間 $B^{\frac{N}{p}-1}_{p,\infty}$ と同一の初期速度データに対する well-posedness フレームワークを拡張すること。
• Danchin や Abidi-Paicu らの先行研究が要求していた $u_0 \in B^{\frac{N}{p}-1}_{p,1}$（$1 \leq p < 2N$）の正則性を、Besov 範囲の和分指数を $L^1$ 型から $L^\infty$ 型へ緩和することで、それらを改善すること。
• 速度場がリプシッツ連続でない場合に輸送方程式を制御するための新たな事前推定式を導入・適用することによって、この目的を達成すること。

提案手法

• Bahouri, Chemin, および Danchin が開発した、速度場がリプシッツでない場合でも有効な輸送方程式に対する新たな事前推定式を用いる。
• 非線形項（特に運動量方程式における項）の取り扱いに、パラプロダクトおよび剰余項分解（Bony の分解）を適用する。
• スケーリング変換 $(\rho_0, u_0) \mapsto (\rho_0(lx), l u_0(lx))$ に対して不変である臨界 Besov 空間ノルムを用いることで、関数的枠組みのスケーリング不変性を保証する。
• $B^{\frac{N}{p}-1}_{p,\infty}$ 空間における速度、$B^{\frac{N}{p}}_{p,\infty}$ 空間における密度に対する推定式を、補間および埋め込み不等式を用いて確立する。
• 密度の $L^p$ ノルムが速度 $u$ による輸送の下で形式的に保存されることに着目し、エネルギー枠組みにおけるコンパクトネスおよび存在性の議論を支援する。
• 適切な関数空間における連続性の方法と不動点議論を用いて、短時間区間における強い解の存在および一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 初期速度が $B^{\frac{N}{p}-1}_{p,\infty}$ に属する密度依存性不可 compressible 流体に対して、Cannone, Meyer, および Planchon がナビエ＝ストークス方程式に用いた正則性閾値と一致する局所的 well-posedness が確立可能か。
• RQ2 Danchin や Abidi-Paicu らの先行研究が要求していた $B^{\frac{N}{p}-1}_{p,1}$ 正則性を超えて、well-posedness フレームワークを拡張する方法は何か。
• RQ3 速度場がリプシッツでない場合に輸送方程式を制御するための新たな事前推定式は何か。また、それらを流体系の解析に統合する方法は。
• RQ4 方程式の臨界スケーリング不変性が、初期データおよび解の関数空間の選択においてどの程度維持可能か。
• RQ5 初期速度の正則性閾値を $B^{\frac{N}{p}-1}_{p,1}$ から $B^{\frac{N}{p}-1}_{p,\infty}$ に向上させても、一意性や存在性を失うことなく可能か。

主な発見

• 本稿は、$\mathbb{R}^N$（$N \geq 2$）における密度依存性不可 compressible ナビエ＝ストークス系に対して、初期速度 $u_0$ が臨界 Besov 空間 $B^{\frac{N}{p}-1}_{p,\infty}$（$1 \leq p < \infty$）に属する場合に局所的 well-posedness を確立する。これは、Cannone, Meyer, および Planchon が標準ナビエ＝ストークス方程式に用いた正則性条件と一致する。
• 主な革新は、速度場がリプシッツでない場合にまで適用可能な輸送方程式に対する新たな事前推定式であり、臨界枠組み内での密度の時間発展を制御可能にする。
• Danchin (2010) や Abidi-Paicu (2012) の先行研究が要求していた $u_0 \in B^{\frac{N}{p}-1}_{p,1}$（$1 \leq p < 2N$）の正則性を、Besov 範囲の和分指数を $L^1$ 型から $L^\infty$ 型へ緩和することで、それらを改善する。
• 解析は、Besov 空間における精緻なパラプロダクトおよび剰余項分解に依拠し、周波数局所化項に Bernstein の不等式および Hölder の不等式を適用して推定式を導出する。
• 証明により、解が短時間区間においても同じ臨界空間にとどまることが示され、最小限の正則性仮定の下での強い解枠組みの有効性が確認される。
• この結果は、関数空間 $B^{\frac{N}{p}-1}_{p,\infty}$ が系の自然なスケーリングに対して不変であることから、鋭いものである。また、$\rho_0^{-1}-1$ に対するさらなる小規模性条件は不要であり、これまでは必要とされていたものとは異なる。