[論文レビュー] A Blow-Up Criterion for the Compressible Navier-Stokes equations

Xiangdi Huang, Zhouping Xin|arXiv (Cornell University)|Feb 16, 2009

Navier-Stokes equation solutions参考文献 19被引用数 14

ひとこと要約

本稿は、3次元圧縮性ナビエ＝ストークス方程式の強解について、爆発基準を確立し、速度勾配の$L^\infty$ノルムの時間積分が発散するときに特異点が生じることを証明している。解析は運動量推定におけるモーザー反復と密度勾配の空間時間$L^2$バインディングに依存しており、初期真空を許容し、非圧縮性流れにおけるベーレ・カトー・マジャダ基準を圧縮性流れへ拡張する。

ABSTRACT

In this paper, we obtain a blow up criterion for strong solutions to the 3-D compressible Naveri-Stokes equations just in terms of the gradient of the velocity, similar to the Beal-Kato-Majda criterion for the ideal incompressible flow. The key ingredients in our analysis are the a priori super-norm estimate of the momentum by a Moser-iteration and an estimate of the space-time square mean of the gradient of the density. In addition, initial vacuum is allowed in our case.

研究の動機と目的

• 3次元圧縮性ナビエ＝ストークス方程式の強解の爆発基準を、速度勾配にのみ依存するものとして確立すること。
• 非圧縮性流れにおけるベーレ・カトー・マジャダ基準を、初期真空が存在する場合を含めて圧縮性流れへ拡張すること。
• 密度および速度の正則性推定を用いて、爆発を防ぐ条件の下で強解のグローバル存在を証明すること。
• 最大存在時間$T^*$が、$\|\nabla u\|_{L^\infty}$の時間積分の可積分性によって決定されることを示すこと。
• 速度勾配$\|\nabla u\|_{L^\infty}$が有界であれば、$T^*$を超えて局所解を拡張できることを示す枠組みを提供すること。

提案手法

• 運動量$\rho u$の事前推定における超ノルム推定を導くために、モーザー反復を適用し、$L^q$バインディングを介してその$L^\infty$ノルムを制御する。
• 圧力および外力項を制御するために、密度勾配$\nabla \rho$の空間時間$L^2$バインディングを確立する。
• 連続の方程式を用いて$\partial_i \rho$の輸送方程式を導出し、これに$|\partial_i \rho|^{q_0-2} \partial_i \rho$をテストすることで、$L^{q_0}$推定を得る。
• $\|\nabla \rho\|_{L^{q_0}}$に関する微分不等式を導出し、$\|\nabla u\|_{L^\infty}$および外力項$F$を含む。これにより一様バインディングが得られる。
• 補間および埋め込み定理を用いて推定を閉じ、$u \in L^2(0,T; W^{2,q_0})$を保証し、$T^*$を超えて解を継続可能にする。
• 適合条件および極限論法を用いて、$\int_0^T \|\nabla u\|_{L^\infty} dt < \infty$であれば、解が$T^*$を超えて拡張可能であることを示す。発散する場合、これは最大性に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 3次元圧縮性ナビエ＝ストークス方程式の強解がグローバルに存在しない条件は、速度勾配にどのように依存するか？
• RQ2 ベーレ・カトー・マジャダ基準が非圧縮性流れと同様に、$\|\nabla u\|_{L^\infty}$のみに依存する形で定式化可能か？
• RQ3 密度勾配$\nabla \rho$および$\rho u$の正則性推定は、$\|\nabla u\|_{L^\infty}$の増大をどのように制御できるか？
• RQ4 初期真空の存在がグローバル存在可能性に影響を及ぼすか？また、爆発基準は依然として確立可能か？
• RQ5 時間積分$\|\nabla u\|_{L^\infty}$が有限のままであれば、局所強解を最大存在時間$T^*$を超えて拡張可能か？

主な発見

• 3次元圧縮性ナビエ＝ストークス方程式の強解の最大存在時間$T^*$は、$T \to T^*$のとき$\int_0^T \|\nabla u\|_{L^\infty} dt$が発散することによって特徴づけられる。
• 初期真空が存在する場合でも爆発基準は成り立つ。これは、初期密度が正でなければならないという従来の結果に対する顕著な拡張である。
• モーザー反復による事前推定により、$\|\rho u\|_{L^\infty}$の一様バインディングが得られ、運動量方程式の制御に不可欠である。
• 空間時間$L^2$ノルム$\|\nabla \rho\|_{L^2}$は$T^*$まで一様に有界であり、これにより圧力および外力項の制御が可能になる。
• $\int_0^T \|\nabla u\|_{L^\infty} dt < \infty$であれば、解は$T^*$を超えて拡張可能であり、爆発はまさにこの積分が発散する場合に生じる。
• 結果は有界領域および$\mathbb{R}^3$の両方で成り立ち、$T^2$の周期的ケースに対しても、デスジャルダンの推定をわずかに修正することで拡張可能である。