[論文レビュー] Global Existence of Weak Solution to Navier-Stokes Equations with Large External Potential Force and General Pressure

Anthony Suen|arXiv (Cornell University)|Oct 1, 2011

Navier-Stokes equation solutions被引用数 5

ひとこと要約

本稿では、一般の圧力および大きな外部ポテンシャル力のもとで、非定数の正の定常状態のまわりの初期データと解が $L^2$ で小さいという仮定の下、3次元圧縮可能な断熱的ナビエ＝ストークス方程式の弱解の時間全域における存在を確立する。主な貢献は、$ \gamma = 1$ の場合に外部力に小刻みの要請を課さずに、すべての時間にわたる解の存在を示したことであり、部分的正則性および長時間挙動の詳細な解析も行われている。

ABSTRACT

We prove the global-in-time existence of weak solutions to the Navier-Stokes equations of compressible isentropic flow in three space dimensions with adiabatic exponent $\gamma\ge1$. Initial data and solutions are small in $L^2$ around a non-constant steady state with densities being positive and essentially bounded. No smallness assumption is imposed on the external forces when $\gamma=1$. A great deal of information about partial regularity and large-time behavior is obtained.

研究の動機と目的

• 3次元圧縮可能な断熱的ナビエ＝ストークス方程式に対して、一般の圧力のもとで弱解の時間全域における存在を確立すること。
• 特にアディアバティック指数 $\gamma = 1$ の場合に、大きな外部ポテンシャル力のもとでの解の挙動を分析すること。
• 外部力に小刻みの要請を課さずに、$ \gamma = 1$ 時に部分的正則性および長時間ダイナミクスを調査すること。
• 非定数の正の定常状態のまわりで $L^2$ で小さい初期データと解に対して、存在理論を拡張すること。

提案手法

• ナビエ＝ストークス系に関連するエネルギー汎関数を最小化する変分的枠組みを用いる。
• 低正則性を扱うために、適切なソボレフ空間内のテスト関数を用いた弱形式化を採用する。
• 近似解の極限に移行する際に、コンパクト性および弱収束の技法を適用する。
• 非定数の定常状態のまわりで、密度が正で本質的に有界である条件下で、初期データおよび解の $L^2$-ノルムに小刻みの要請を課す。
• 非線形項および圧力効果を制御するため、エネルギー推定およびエントロピー型不等式を用いる。
• 外部力の積分性および積分性条件を精緻に分析することで、長時間挙動を衰減推定および部分的正則性を通じて分析する。

実験結果

リサーチクエスチョン

• RQ1 一般の圧力および大きな外部ポテンシャル力のもとで、3次元圧縮可能な断熱的ナビエ＝ストークス方程式の弱解が時間全域にわたり存在可能か？
• RQ2 $\gamma = 1$ 時に、外部力に小刻みの要請を課さずに、初期データおよび外部力にどのような条件が保証するか？
• RQ3 系は時間とともにどのように漸近的に振る舞い、解はどのような部分的正則性を有するか？
• RQ4 非定数の定常状態は、特に初期データがそのまわりで $L^2$ で小さい場合に、存在枠組みにおいてどのような役割を果たすか？

主な発見

• 一般の圧力および $ \gamma \geq 1$ の条件下で、3次元圧縮可能な断熱的ナビエ＝ストークス方程式に対して、時間全域の弱解が存在する。
• $\gamma = 1$ 時に、外部ポテンシャル力に小刻みの要請を課さないでよいという、従来の結果の拡張が達成された。
• 近似と弱コンパクト性を用いて解が構成され、初期データおよび解が非定数の正の定常状態のまわりで $L^2$ で小さい。
• 密度は時間発展中に正であり、本質的に有界のままである。
• 解の部分的正則性が確立されており、特定の領域でより高い可積分性またはホルダー連続性を示している。
• 長時間挙動が解析され、定常状態と整合する衰減および安定性の性質が示された。