[論文レビュー] On the global wellposedness of the 3-D Navier-Stokes equations with large initial data

Jean-Yves Chemin, Isabelle Gallagher|arXiv (Cornell University)|Aug 19, 2005

Navier-Stokes equation solutions参考文献 11被引用数 62

ひとこと要約

本稿は、$B^{-1}_{∞,∞}$ というスケール不変空間において、初期データが任意に大きい場合の3次元非圧縮性ナビエ＝ストークス方程式のグローバルな適切解の存在を、ノルムに基づく小ささ条件の代わりに非線形な小ささ条件を導入することによって確立する。主な結果は、初期速度が $B^{-1}_{∞,∞}$ で大きくても、特に水平成分と垂直成分に特徴的な非線形構造が臨界Besov空間で小ささ基準を満たしている限り、解がグローバルかつ滑らかに存在することを示している。

ABSTRACT

We give a condition for the periodic, three dimensional, incompressible Navier-Stokes equations to be globally wellposed. This condition is not a smallness condition on the initial data, as the data is allowed to be arbitrarily large in the scale invariant space $ B^{-1}\_{\infty,\infty}$, which contains all the known spaces in which there is a global solution for small data. The smallness condition is rather a nonlinear type condition on the initial data; an explicit example of such initial data is constructed, which is arbitrarily large and yet gives rise to a global, smooth solution.

研究の動機と目的

• スケール不変空間 $B^{-1}_{∞,∞}$ において、任意に大きな初期データをもつ3次元非圧縮性ナビエ＝ストークス方程式のグローバルな適切解を確立すること。これは、適切解が考えられる最大の空間である。
• 従来の小ささ条件（例：$\partial BMO$ や $B^{-1}_{∞,\u221e}$ におけるもの）の制限を乗り越えるために、初期データに非線形な小ささ条件を導入すること。
• 初期データが $B^{-1}_{∞,\u221e}$ で任意に大きくても、依然としてグローバルで滑らかな解をもたらす具体的な例を構成すること。
• 臨界正則性空間 $H^{1/2}$ が、非線形構造条件が満たされている限り、初期データが大きくてもグローバル解を許容することを示すこと。

提案手法

• 初期速度を水平成分と垂直成分に分解する：$u_0 = u_0^h + u_0^3$。ここで $u_0^h$ は低周波数の水平平面に台形をもち、$u_0^3$ は高周波数の振動成分である。
• 熱流とLittlewood-Paley分解を用いて、Besov空間ノルム $\|u\|_{B^{-1}_{p,q}} = \left\| t^{1/2} \|S(t)u\|_{L^p} \right\|_{L^q(\mathbb{R}^+; dt/t)}$ を定義し、スケール不変正則性を特徴づける。
• 圧力を除去するため、Leray射影 $\mathbf{P}$ を用い、等価系 $\partial_t u - \Delta u + \mathbf{P}(u \cdot \nabla u) = 0$ で議論する。
• 非線形小ささ条件を演算子 $Q(a,b) = \mathbf{P} \, \text{div}(a \otimes b + b \otimes a)$ を用いて導入し、臨界Besov空間 $B^{-1+3/p}_{p,2}$ におけるその寄与を制御する。
• 水平平均射影子 $\mathbf{M}$ と残差 $\mathbf{Id} - \mathbf{M}$ を用いて、低周波数および高周波数のダイナミクスを分離し、特に2次元的水平流れと3次元的垂直振動の間の相互作用に注目する。
• 熱核の境界と補間を用いた事前推定を確立し、初期水平データが $L^2$ で小さく、垂直成分が高周波数で振動している場合、非線形項 $Q(u_{2D}, u_F)$ および非線形項の残差が $L^1(\mathbb{R}^+; B^{-1+3/p}_{p,2})$ で小さくなることを示す。

実験結果

リサーチクエスチョン

• RQ1 スケール不変空間 $B^{-1}_{\infty,\infty}$ において、任意に大きな初期データをもつ3次元ナビエ＝ストークス方程式のグローバルな適切解を確立できるか？
• RQ2 標準的な $L^p$ またはBesovノルムが大きくても、初期データに非線形的条件が満たされていれば、グローバル存在性と滑らかさが保証されるか？
• RQ3 初期データが $B^{-1}_{\infty,\infty}$ で大きくても、垂直方向に高周波数の振動を示す特定の構造がある場合、グローバル解が存在するか？
• RQ4 $\partial BMO$ や $B^{-1}_{\infty,\infty}$ ノルムの小ささという制限を超えて、グローバルな適切解を保証するための初期データの最小構造的仮定は何か？
• RQ5 2次元的水平流れと3次元的垂直振動の間の相互作用は、ナビエ＝ストークス系の長期的挙動にどのように影響するか？

主な発見

• 本稿は、$B^{-1}_{\infty,\infty}$ で任意に大きくても、グローバルで滑らかな解をもたらす具体的な初期データ $u_0$ を構成する。ここで $\|u_0^h\|_{B^{-1}_{\infty,\infty}} \geq \frac{1}{4\pi\sqrt{e}} \|v_0^h\|_{L^2(\mathbb{T}^2)}$ が成り立つ。
• 初期データが $B^{-1+3/p}_{p,2}$ で非線形小ささ条件を満たしていれば、$\|u_0\|_{B^{-1}_{\infty,\infty}}$ が任意に大きくても、解は $C(\mathbb{R}^+; H^{1/2}(\mathbb{T}^3))$ でグローバルに適切であることが示された。
• 非線形項 $Q(u_{2D}, u_F)$ が $L^1(\mathbb{R}^+; B^{-1+3/p}_{p,2})$ で小さく、$C_{N_0} N^{3/p - 2} \|v_0^h\|_{L^2}^3 e^{C_{N_0} \|v_0^h\|_{L^2}^4}$ の境界をもつことが示され、高周波数の振動によって制御されている。
• $p \geq 6$ の場合、全非線形寄与は $N^{-1/4}$ で有界となり、$N$ が大きい場合に条件 (1.1) が満たされる。これは固定点法にとって不可欠である。
• 条件 (1.1) は $A = C_{N_0} (\log N)^{2/9}$ および $B = N^{-1/4}$ のとき成り立ち、指数因子 $\exp(C_0 A^2 (1 + A \log A)^2)$ は $N^{1/8}$ で有界であり、$N$ が大きい場合に $B = N^{-1/4}$ と整合的である。
• $B^{-1}_{\infty,\infty}$ ノルムの下界は $\|u_0^h\|_{B^{-1}_{\infty,\infty}} \geq \frac{1}{4\pi\sqrt{e}} \|v_0^h\|_{L^2(\mathbb{T}^2)}$ を用いて確立され、初期データがこのノルムで任意に大きくても、依然としてグローバル解が得られることを示している。