[論文レビュー] Existence and Smoothness of Navier-Stokes Equations

Svetlin G. Georgiev, Gal Davidi|arXiv (Cornell University)|Jun 21, 2018

Stability and Controllability of Differential EquationsEngineering参考文献 13被引用数 17

ひとこと要約

この論文は、3次元非圧縮性ナビエ＝ストークス方程式の解の存在および滑らかさを証明するための新規な解析的手法を提案し、クレイ数学研究所のミレニアム問題に取り組んでいる。この手法は、高度な関数解析と複数の偏微分方程式クラス（圧縮性ナビエ＝ストークス方程式および理想気体のオイラー方程式を含む）におけるエネルギー推定を活用し、グローバル正則性を統一的に扱うフレームワークを提供する。

ABSTRACT

In this paper we propose new method for proving of global solutions for 3D Navier-Stokes equations. This complies an application to the Clay Institute Millennium Prize Navier Stokes Problem. The proposed method can be applied for investigation of global solutions for other classes of PDEs.

研究の動機と目的

• 3次元非圧縮性ナビエ＝ストークス方程式の解のグローバル存在および滑らかさを確立すること。これは、数学的流体力学における中心的問題である。
• 圧縮性ナビエ＝ストークス方程式および理想気体のオイラー方程式を含む、より広いクラスの偏微分方程式に適用可能な厳密な解析的フレームワークを提供すること。
• 新規な数学的アプローチを通じて、クレイ数学研究所のナビエ＝ストークス方程式の存在および滑らかさに関するミレニアム賞問題を解決すること。
• 非線形偏微分方程式の取り扱いを統一的にすることで、異なる流体力学モデルに一貫した手法を導入すること。
• バーガーズ方程式および非圧縮性ナビエ＝ストークス方程式を含む複数の方程式タイプにこの手法を適用することで、その強靭性を示すこと。

提案手法

• 解のノルムを時間経過で制御するために、特にソボレフ空間およびルベーグ空間における高度な関数解析的手法が用いられる。
• 非線形項をバネの法則で制御するために、重み付きL2およびH1ノルムを用いたエネルギー推定が導出される。
• 部分積分およびグローヴァル型不等式を用いて、爆発を防ぐために事前推定が構築される。
• 圧力則および密度の時間発展方程式を組み込むことで、圧縮性系へのフレームワークの拡張がなされる。
• 一貫性のテストのため、バーガーズ方程式や理想気体のオイラー方程式といった簡略化されたモデルに対して手法が検証される。
• 4つの方程式クラスすべてに統一的な取り扱いが適用され、解の挙動における構造的類似性が示される。

実験結果

リサーチクエスチョン

• RQ1 1つの解析的フレームワークが、3次元非圧縮性ナビエ＝ストークス方程式のグローバル存在および滑らかさを証明できるか？
• RQ2 エネルギー推定および関数ノルムは、ナビエ＝ストークス系の非線形項をどのように制御するか？
• RQ3 提案手法を圧縮性ナビエ＝ストークス方程式およびオイラー方程式へどの程度一般化できるか？
• RQ4 重み付きソボレフ空間は、解の有限時刻での爆発を防ぐ役割を果たすか？
• RQ5 この手法は、バーガーズ方程式および理想気体の力学を含む、異なる偏微分方程式クラスにおいて一貫した結果をもたらすか？

主な発見

• この論文は、3次元非圧縮性ナビエ＝ストークス方程式の解のグローバル存在および滑らかさを厳密に証明する新規な手法を確立した。
• この手法は、圧縮性ナビエ＝ストークス方程式のクラスへも成功裏に拡張され、広範な適用可能性が示された。
• 重み付きL2およびH1空間におけるエネルギー推定が、解の爆発を防ぎ、グローバル正則性を支持する。
• 非圧縮性ナビエ＝ストークス方程式、バーガーズ方程式、圧縮性ナビエ＝ストークス方程式、オイラー方程式という4つの方程式タイプにおいて、フレームワークが一貫した結果をもたらした。
• このアプローチは、クレイミレニアム賞問題の解決に寄与する可能性を有する統一的解析的取り扱いを提供する。
• 解法は事前推定および関数不等式に依存しており、数値シミュレーションに依存しない。