[論文レビュー] A Beale-Kato-Majda Blow-up criterion for the 3-D compressible Navier-Stokes equations

Yongzhong Sun, Chao Wang+1 more|arXiv (Cornell University)|Jan 8, 2010

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

ひとこと要約

本稿は、初期真空を許容する3次元圧縮性ナビエ＝ストークス方程式に対して、Beale-Kato-Majda型の爆発基準を確立し、密度が有界のままであれば強解が正則のままであることを証明している。証明は、密度の上界を仮定した下で有効な粘性フラックスとグロワールの不等式を用いた事前推定に依拠しており、初期真空と一般領域を許容するように、既存の結果を拡張している。

ABSTRACT

We prove a blow-up criterion in terms of the upper bound of the density for the strong solution to the 3-D compressible Navier-Stokes equations. The initial vacuum is allowed. The main ingredient of the proof is extit{a priori} estimate for an important quantity under the assumption that the density is upper bounded, whose divergence can be viewed as the effective viscous flux.

研究の動機と目的

• 初期真空を伴う3次元圧縮性ナビエ＝ストークス方程式の強解に対する爆発基準を確立すること。
• 密度の上界と関連づけることで、既存のBeale-Kato-Majda型基準を圧縮性の場合に拡張すること。
• 強解の最大存在時間が、$ L^∞ $ における密度の一様有界性によって制御されることを証明すること。
• 密度が有界であるという仮定の下で、有効な粘性フラックスと速度勾配のための事前推定を開発すること。
• ラメ系を組み込み、ソボレフ埋め込みとグロワールの不等式を用いることで、既存の爆発基準に関する結果を一般化すること。

提案手法

• 速度勾配を対称部と反対称部に分解することで、有効な粘性フラックスに対する事前推定を導出する。
• 連続の方程式およびその微分を用いて、エネルギー型推定により $ \|\nabla \rho\|_{L^q} $ の時間発展を制御する。
• BMOノルムと対数的ソボレフ不等式を適用し、$ \rho $ の有界性を活用して $ \|\nabla v\|_{L^\infty} $ を $ \|\nabla \rho\|_{L^q} $ で上から抑える。
• ラメ系を用いて、$ \nabla^2 w $ と $ \nabla^2 v $ を速度および密度勾配と関連付ける。
• 有効な粘性フラックスの $ L^q $-ノルムに対するグロワールの不等式を適用し、$ \|\nabla w\|_{W^{1,q}} $ と $ \|\nabla^2 w\|_{L^q} $ の有界性に依存する。
• グロワールの不等式によって議論を閉じるための鍵となる推定 $ \|\nabla \rho\|_{L^q} \leq C(1 + \ln(e + \|\nabla \rho\|_{L^q})) $ を確立する。

実験結果

リサーチクエスチョン

• RQ1 3次元圧縮性ナビエ＝ストークス方程式の強解が、時間に関して大域的に存在しないのはどのような条件下か？
• RQ2 解の爆発が、速度勾配ノルムではなく密度の上界によって特徴づけられるか？
• RQ3 初期真空の存在が、強解の正則性および最大存在時間に与える影響は何か？
• RQ4 有効な粘性フラックスは、密度勾配の増大を制御するために果たす役割は何か？
• RQ5 密度の有界性のみを用いて、圧縮性の場合にBeale-Kato-Majda型基準を確立できるか？

主な発見

• 強解の最大存在時間 $ T^* $ が有限であることは、$ t \to T^* $ のとき $ \rho $ の $ L^\infty $-ノルムが無限大に発散することと同値である。
• 密度の $ L^\infty $-ノルムが有界である限り、$ \|\rho\|_{L^\infty} $ が有界で、$ \lambda < 7\mu $ の仮定のもとで、$ \|\nabla \rho\|_{L^q} $ は $ [0, T^*) $ 上で一様有界のままである。
• 速度勾配の増大を制御するために、推定 $ \|\nabla v\|_{L^\infty} \leq C(1 + \ln(e + \|\nabla \rho\|_{L^q})) $ が重要である。
• 有効な粘性フラックス $ \nabla w $ は、$ \|\nabla w\|_{L^2(0,T;L^\infty)} \leq C $ および $ \|\nabla^2 w\|_{L^2(0,T;L^q)} \leq C $ を満たし、$ C $ は $ T $、$ M $、および初期データに依存する。
• 証明は背理法に依拠している：もし $ \|\rho\|_{L^\infty} < \infty $ ならば、$ \|\nabla \rho\|_{L^q} $ は有界のままであり、これは有限時間での爆発の仮定に矛盾する。
• この結果は、$ \nabla u $ の $ L^1(0,T;L^\infty) $-ノルムを $ \rho $ の $ L^\infty $-有界性に置き換えることで、既存の基準を一般化し、正則性のための新しい基準を提供している。