[論文レビュー] On global weak solutions to the Cauchy problem for the Navier-Stokes equations with large $L_3$-initial data

G. Serëgin, Vladimír Šverák|arXiv (Cornell University)|Jan 12, 2016

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

ひとこと要約

この論文は、$L^3(\mathbb{R}^3)$ に属する初期データに対して、3次元ナビエ＝ストークス方程式のグローバル弱解の存在を確立する。これは古典的手法が失敗する臨界空間である。解を $v = v^1 + v^2$ と分解し、$v^1$ を線形熱方程式の解とし、$v^2$ を非線形補正方程式の解とする。$L^5$ における固定点議論を用いて存在を証明し、解がエネルギー不等式を満たすことを示した。これにより、弱 $L^3$-解としての資格を獲得する。

ABSTRACT

The aim of the note is to discuss different definitions of solutions to the Cauchy problem for the Navier-Stokes equations with the initial data belonging to the Lebesgue space $L_3(\mathbb R^3)$

研究の動機と目的

• 初期データが $L^3(\mathbb{R}^3)$ に属する場合の 3次元ナビエ＝ストークス方程式に対するグローバル弱解の構成という未解決問題に取り組む。これは古典的な $L^2$-ベースのエネルギー法の範囲外にある。
• 線形および非線形寄与を分離する新しい分解法を導入することで、弱解理論を $L^2$ 初期データを超えて拡張する。
• 時間短い区間において $L^5(Q_T)$ 内の弱解が存在することを示し、線形部の小ささと臨界関数空間における収縮写像を活用する。
• 構成された弱解が局所エネルギー不等式を満たし、したがってグローバルに弱 $L^3$-解としての資格を有することを証明する。

提案手法

• 解を $v = v^1 + v^2$ と分解する。ここで $v^1$ は初期データ $v_0$ を持つ線形熱方程式の解であり、$v^2$ は非線形摂動方程式を満たす補正項である。
• 熱核 $\Gamma$ と導出された核 $K$ を用い、非線形項 $v \otimes v$ を含む積分表現によって弱解を表現する。
• 線形部 $v^1$ の小ささに依存して、時間短い $T$ に対して $L^5(Q_T) \cap L^{\infty}(0,T; L^3(\mathbb{R}^3))$ の空間における固定点議論を適用し、弱解を構成する。
• 反復スキーム $v^{(k+1)} = \mathcal{G}(v^{(k)} \otimes v^{(k)})$ の収束を、$L^5(Q_T)$ および $C([0,T]; L^3(\mathbb{R}^3))$ で収縮推定を用いて示す。
• すべての $w = v - v^1$ を含む項、すなわち圧力項および勾配項を、切断関数および $L^p$-有界性を用いて推定し、極限解が局所エネルギー不等式を満たすことを証明する。
• 初期データ $v_0$ のモリフィケーションを用いて $\kappa(T)$ の小ささを制御し、$T$ が十分小さければ $\kappa(T) \leq 1/(16c)$ を満たすようにする。

実験結果

リサーチクエスチョン

• RQ1 初期データが $L^3(\mathbb{R}^3)$ に属する 3次元ナビエ＝ストークス方程式に対して、グローバル弱解を構成することは可能か。これは古典的 $L^2$-ベースのエネルギー法ではカバーされない臨界空間である。
• RQ2 線形熱方程式を満たす $v^1$ と非線形性を補正する $v^2$ からなる分解 $v = v^1 + v^2$ は、臨界空間における解の構成に有効な手法であるか。
• RQ3 固定点反復によって $L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$ 内の弱解を構成できるか。また、エネルギー不等式を満たすか。
• RQ4 構成された弱解はグローバルに弱 $L^3$-解として成立するか。このクラスにおいて一意性は確立できるか。

主な発見

• 任意の発散なし初期データ $v_0 \in L^3(\mathbb{R}^3)$ に対してグローバル弱解が存在し、古典理論を $L^2$ を超えて拡張する。
• 解は $v = v^1 + v^2$ として構成され、$v^1$ は線形解、$v^2$ はすべての有界時間区間でエネルギー空間に属する補正項である。
• 時間短い区間 $T$ に対して、$\kappa(T) \leq 1/(16c)$ を満たす限り、$L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$ 内の弱解が固定点反復により存在する。
• 構成された弱解は局所エネルギー不等式を満たし、$Q_T$ 内で弱 $L^3$-解としての資格を確認する。
• 弱解のクラス $L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$ 内で解は一意であり、任意の弱 $L^3$-解は局所的にこの弱解と一致する。
• この手法は頑健で、境界を持つ非有界領域へも拡張可能であり、Lemarie-Rieusset (2016) のようなより複雑な手法とは異なり、適用が容易である。