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

Hao Jia, Vladimír Šverák|arXiv (Cornell University)|Jan 8, 2012

Cosmology and Gravitation Theories被引用数 5

ひとこと要約

この論文は、初等的なエネルギー法と新規の分割技術を用いて、$L^3$-ノルムが最小である初期データの存在を確立し、$t=0$における$L^2_{\text{loc}}$での強い連続性評価によって、$L^3$におけるコンパクト性の欠如を克服する。主な結果は、平行移動とスケーリングに関して、そのような最小初期データの集合がコンパクトであることである。

ABSTRACT

We give a simple proof of the existence of initial data with minimal $L^3$ norm for potential Navier-Stokes singularities, recently established in (arXiv:1012.0145v2) with techniques based on profile decomposition. Our method is based on suitable splittings and energy methods.

研究の動機と目的

• ナビエ＝ストークス方程式において有限時刻 blowup を引き起こす最小$ L^3 $-ノルムの初期データの存在を確立すること。
• 標準的なコンパクト性の議論を妨げる、$L^3_{\text{loc}} \hookrightarrow L^2_{\text{loc}}$ の埋め込みにおけるコンパクト性の欠如を克服すること。
• プロファイル分解技術を避けることで、従来の研究よりもより初等的な証明を提供すること。代わりにエネルギー法と解の分割を用いる。
• 初期データの集合が $\|u_0\|_{L^3} = \rho_{\max}$ でかつ有限時刻 blowup を示す場合、その集合が平行移動とスケーリングに関してコンパクトであることを回復すること。これは、以前の研究では確立されていなかった結果である。
• $\dot{H}^{1/2}$ に基づく理論から、臨界的 $L^3$ 空間にその枠組みを拡張することにより、潜在的特異解の理論を強化すること。

提案手法

• 任意の Leray 解が $L^3$ 初期データを持つ場合、差 $\|u(\cdot,t) - e^{t\Delta}u_0\|_{L^2(B_1(x_0))}$ が、$\lim_{t\to 0^+} h(t) = 0$ を満たす関数 $h(t)$ によって有界であることを示す、鍵となる補題を導入。この有界性は $x_0$ に関して一様である。
• 解を線形部 $e^{t\Delta}u_0$ と剰余部 $w$ に分割し、$w$ が局所的な球上で $L^2$-ノルムが制御された摂動方程式を満たすようにする。
• 剰余部 $w$ に対してエネルギー推定を適用し、$t=0$ の近傍における空間的・時間的局所化された球上で、$w$ の $L^2$-ノルムを空間的に一様に制御する。
• $L^3$ および $L^2_{\text{loc}}$ における弱コンパクト性と弱収束性を用いて、特異解の列から極限解 $u$ を抽出する。
• 強い連続性評価（補題 1.1）と弱収束性を用いて、極限解 $u$ が $L^2_{\text{loc}}$ で初期データ $u_0$ を継承し、Leray 解の条件を満たすことを示す。
• Leray 解の一意性結果（補題 2.2）を適用し、極限解が特異である必要があることから、$\|u_0\|_{L^3} = \rho_{\max}$ であり、$L^3$ での強い収束が、一様強凸性によって従う。

実験結果

リサーチクエスチョン

• RQ1 プロファイル分解に依存せずに、潜在的ナビエ＝ストークス特異解のための最小$ L^3 $-ノルム初期データの存在を確立できるか？
• RQ2 プロファイル分解ではなくエネルギーに基づく手法を用いて、$L^3_{\text{loc}} \hookrightarrow L^2_{\text{loc}}$ のコンパクト性の欠如を克服できるか？
• RQ3 初期データの集合 $\|u_0\|_{L^3} = \rho_{\max}$ かつ有限時刻 blowup を示す場合、その集合は平行移動とスケーリングに関してコンパクトか？
• RQ4 解の $L^2_{\text{loc}}$ における $t=0$ での強い連続性を、$\|u_0\|_{L^3}$ のみに依存する一様な形で定量的に評価できるか？
• RQ5 $L^3$ 環境における Leray 解の一意性が、特異解の列から最小 blowup 解を構成可能かどうか？

主な発見

• この論文は、プロファイル分解を避ける初等的なエネルギー法を用いて、潜在的ナビエ＝ストークス特異解のための最小$ L^3 $-ノルム初期データの存在を証明する。
• 新規の強い連続性評価（補題 1.1）により、$\|u(\cdot,t) - e^{t\Delta}u_0\|_{L^2(B_1(x_0))} \leq h(t)$ が成り立ち、$h(t) \to 0$ が $t \to 0^+$ のとき成り立ち、$x_0$ に関して一様で、$\|u_0\|_{L^3}$ のみに依存する。
• 有限時刻 blowup を示す初期データで $\|u_0\|_{L^3} = \rho_{\max}$ を満たす集合 $\mathcal{M}$ は、平行移動とスケーリングに関して $L^3$ でコンパクトである。
• 集合 $\mathcal{M}$ 内の任意の列の極限は、適切なスケーリングと平行移動を施した後、一様強凸性とノルムの収束により $L^3$ で強い収束を示す。
• 極限解 $u$ は初期データ $u_0$ を持つ Leray 解であり、$t=1$ で特異性を示すため、$u_0$ を初期条件とする弱解も必ず blowup を示す。
• この結果から、すべての $L^3$ 初期データがグローバル解を生成するならば、解の微分係数の点での有界性が $\|u_0\|_{L^3}$ によって制御されることを示す（系 4.1）。