[論文レビュー] Minimal initial data for potential Navier-Stokes singularities

Walter Rusin, Vladimír Šverák|ArXiv.org|Nov 3, 2009

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

ひとこと要約

この論文は、臨界 $Đ{H}^{1/2}$-ノルム閾値 $ρ_{\text{max}}$ が有限であるという仮定の下で、3次元ナビエ＝ストークス方程式において有限時刻に特異解を生成する $Đ{H}^{1/2}$-最小初期データの存在を確立している。弱収束および弱解と特異解の安定性の性質を用いて、このような最小データがスケーリングおよび平行移動に関してコンパクトな集合をなすことを証明し、特異解発生の鋭い閾値を提供する。

ABSTRACT

Assuming some \dot H^{1/2} - initial data lead to a singularity for the 3d Navier-Stokes equations, we show that there are also initial data with the minimal \dot H^{1/2} - norm which will produce a singularity.

研究の動機と目的

• 3次元ナビエ＝ストークス方程式において、有限時刻に特異解を生成する最小の $Đ{H}^{1/2}$-ノルムを持つ初期データが存在するかどうかを特定すること。
• 臨界 $Đ{H}^{1/2}$-ノルム閾値 $ρ_{\text{max}}$ で特異解を生成する初期データの集合の構造を調査すること。
• スケーリングおよび平行移動に関して、このような最小特異解生成初期データの集合のコンパクト性を確立すること。
• 臨界 $Đ{H}^{1/2}$ 空間における一様な事前推定と特異解の不在を結びつけること。

提案手法

• 局所的および大域的適切性のための Fujita-Kato 理論に依拠した、$Đ{H}^{1/2}$ 空間における弱解の概念を用いる。
• 有限最大存在時刻を持つ初期データの列の極限を分析するために、弱収束技術を適用する。
• エネルギーノルムにおける解の弱収束に対する特異解の安定性結果を、局所エネルギー不等式に依拠して用いる。
• スケーリングおよび平行移動不変性を用いて、初期データの列を正規化し、特異解が固定時刻および固定位置で発生するようにする。
• 弱収束列の正規化された列の弱極限が、$Đ{H}^{1/2}$ で強収束することを示すために、$Đ{H}^{1/2}$ におけるコンパクト性の議論を用いる。その極限は最小特異解生成初期データを導く。
• エネルギー不等式および適切な弱解の性質を用いて、極限でも局所エネルギー不等式が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 3次元ナビエ＝ストークス方程式において、ノルムがちょうど $ρ_{\text{max}}$ である初期データの集合が存在し、有限時刻に特異解を生成するか？
• RQ2 ノルムが $ρ_{\text{max}}$ で特異解を生成する初期データの集合の位相的構造は何か？
• RQ3 初期データの弱収束において、特異解は安定か？
• RQ4 すべての $Đ{H}^{1/2}$-初期データにおいて特異解が存在しないことは、一様な事前推定によって特徴付けられるか？

主な発見

• 特異解を生成する $Đ{H}^{1/2}$-最小初期データの集合 $Μ$ は空でない。つまり、ノルムがちょうど $ρ_{\text{max}}$ である初期データが存在し、それらは有限時刻に特異解を生成する。
• 集合 $Μ$ はスケーリングおよび平行移動に関してコンパクトである。これは、このような初期データの任意の列がスケーリングおよび平行移動によって正規化され、$Đ{H}^{1/2}$ で強収束することを意味する。
• 特異解が存在する場合、閾値 $ρ_{\text{max}}$ は鋭い。ノルムが $ρ_{\text{max}}$ より小さい初期データから出発する解は大域的適切であり、ノルムが $ρ_{\text{max}}$ に等しい初期データから出発する解の中には有限時刻に爆発するものがある。
• 初期データの弱収束における特異解の安定性により、ノルムが $ρ_{\text{max}}$ に収束するような特異解の列の極限は、特異解のままである。
• 結果から、すべての $Đ{H}^{1/2}$-初期データに対して大域的正則性が成り立つことは、弱極限を用いた背理法により、微分の均一な事前推定の存在と同値であることが示唆される。
• 証明はエネルギー不等式および適切な弱解の構造に強く依存しており、類似の非線形性を持つ他の方程式とは異なり、ナビエ＝ストークス系の特徴を明確にしている。