[論文レビュー] Sums of large global solutions to the incompressible Navier-Stokes equations

Jean-Yves Chemin, Isabelle Gallagher+1 more|arXiv (Cornell University)|Feb 25, 2010

Navier-Stokes equation solutions参考文献 10被引用数 5

ひとこと要約

本論文は、3次元非圧縮性ナビエ＝ストークス方程式の臨界空間 $\dot{H}^{1/2}(\mathbb{R}^3)$ における任意の大規模なグローバル解が、任意に大きな、滑らかでゆっくり変化する発散なしベクトル場によって摂動されても、依然としてグローバルで滑らかな解を生成できることを確立している。主な結果は、このような初期データの各点を通って、非可算に多くの任意に長いグローバル解の区間が通過することを示しており、グローバル解集合に豊かな構造が存在することを示している。

ABSTRACT

Let G be the (open) set of~$\dot H^{\frac 1 2}$ divergence free vector fields generating a global smooth solution to the three dimensional incompressible Navier-Stokes equations. We prove that any element of G can be perturbed by an arbitrarily large, smooth divergence free vector field which varies slowly in one direction, and the resulting vector field (which remains arbitrarily large) is an element of G if the variation is slow enough. This result implies that through any point in G passes an uncountable number of arbitrarily long segments included in G.

研究の動機と目的

• 3次元非圧縮性ナビエ＝ストークス方程式に対してグローバルで滑らかな解を生成する $\dot{H}^{1/2}(\mathbb{R}^3)$ 発散なし初期データの集合 $\mathcal{G}$ の構造を調査すること。
• $\mathcal{G}$ に属する大規模な初期データが、任意に大きな滑らかでゆっくり変化する発散なしベクトル場によって摂動されても、グローバル存在性が保たれるかどうかを特定すること。
• 特に、$\mathcal{G}$ が非可算な長期間にわたる解の直線的区間の族を含むかどうかを含めた、$\mathcal{G}$ の幾何学的および位相的性質を調査すること。
• 小規模データの範囲を超えて、構造的摂動のもとでの大規模解の安定性を分析することで、グローバル正則性の閾値の理解を拡張すること。

提案手法

• ナビエ＝ストークス方程式の弱い表現をドゥハメルの原理を用いて用い、$ u = e^{t\Delta}u_0 + \mathbb{B}(u,u) $ と表す。ここで $ \mathbb{B} $ は線形化系に関連する二重線形作用素である。
• 証明はコッホ＝タタールの枠組みに依拠し、放物的球と時間・空間における $ L^\infty $-型制御を含む、適応空間 $ X_{KT} $ を用いる。
• 重要な技術的手段として、速度場の二重分解 $ \Delta_\ell $ と、周波数局在成分の $ \ell^2 $-和の制御に用いる非等方的ベルンシュタイン不等式が用いられる。
• 解の $ \widetilde{L}^\infty(\mathbb{R}^+; \dot{H}^{1/2}) \cap \widetilde{L}^2(\mathbb{R}^+; \dot{H}^{3/2}) $ ノルムは、熱核の減衰と時間における $ L^2 $-型推定を用いて推定される。
• 摂動は、一つの空間方向にゆっくり変化する滑らかで発散なしのベクトル場として構成され、その $ \dot{H}^{1/2} $-ノルムが大きく保たれる一方で、解との相互作用は制御可能であるように保証される。
• 二重線形作用素 $ \mathbb{B} $ が適応空間 $ X $ において一様な有界性 $ \|\mathbb{B}(v,w)\|_X \leq C\|v\|_X\|w\|_X $ を満たすという事実を利用し、グローバル存在性のための固定点法が適用される。

実験結果

リサーチクエスチョン

• RQ1 3次元非圧縮性ナビエ＝ストークス方程式のグローバル解は、$ \dot{H}^{1/2} $-臨界空間において、任意に大きな摂動のもとでも存続するか。
• RQ2 グローバル滑らかな解を生成する初期データの集合 $ \mathcal{G} $ は、関数空間内で非可算な長期間にわたる直線的区間の族を含むか。
• RQ3 初期データが大規模な場合に、ある空間方向におけるゆっくり変化が、ナビエ＝ストークス系内の非線形相互作用にどのように影響するか。
• RQ4 構造的で大振幅の摂動のもとで、解のグローバル正則性はどの程度保たれるか。

主な発見

• 任意の初期データ $ u_0 \in \mathcal{G} $ は、ある方向にゆっくり変化する任意に大きな滑らかで発散なしのベクトル場によって摂動されても、依然としてグローバルで滑らかな解を生成できる。
• 摂動の変化が十分にゆっくりであれば、摂動後の初期データは $ \mathcal{G} $ に留まる。摂動の大きさに関わらず成立する。
• $\mathcal{G}$ の各点を通って、非可算に多くの任意に長いグローバル解の区間が通過しており、グローバル解集合に極めて非自明な幾何的構造が存在することを示唆している。
• この結果は、摂動のゆっくり変化が、その寄与が関連ノルムにおいて小さくなるように保証されるため、コッホ＝タタールの適応空間 $ X_{KT} $ における二重線形項 $ \mathbb{B}(u,u) $ の制御に起因する。
• 証明により、摂動の $ \dot{H}^{1/2} $-ノルムを任意に大きくしても、グローバル存在条件 $ \|e^{t\Delta}u_0\|_X \leq (4C)^{-1} $ を保つことが示された。