[論文レビュー] Asymptotic stability of Landau solutions to Navier-Stokes system

Grzegorz Karch, Dominika Pilarczyk|arXiv (Cornell University)|Apr 18, 2011

Navier-Stokes equation solutionsMathematics被引用数 19

ひとこと要約

本稿は、3次元非圧縮性ナビエ＝ストークス系の明示的で軸対称かつ一様な定常解（Landau解）—次数−1の解—の漸近的安定性を、$ L^2 $-摂動のもとで確立する。特異な外部力（ディラックデルタ関数でモデル化）を伴う摂動枠組みを用いて、パrameter $ c $ が $ |c| > 1 $ かつ十分に大きい場合、初期に近い弱解が $ t \to \infty $ のとき $ L^2 $ でそれらの解に収束することを証明する。

ABSTRACT

It is known that the three dimensional Navier-Stokes system for an incompressible fluid in the whole space has a one parameter family of explicit stationary solutions, which are axisymmetric and homogeneous of degree -1. We show that these solutions are asymptotically stable under any $L^2$-perturbation.

研究の動機と目的

• 3次元非圧縮性ナビエ＝ストークス系に対する明示的定常解（Landau解）のグローバル漸近的安定性を確立すること。
• これらの解からの摂動を受けた弱解の長時間的挙動を $ L^2 $-位相で分析すること。
• 特異な外部力が存在する中で、初期に近い解が $ t \to \infty $ のとき、それらの定常解に収束することを示すこと。

提案手法

• 外部力項 $ F = (b(c)\delta_0, 0, 0) $ を含む一般化された解としてLandau解を形式化し、$ b(c) $ を明示的に計算する。
• 初期データ $ u_0 = v_c + w_0 $、$ w_0 \in L^2 $、$ |c| $ が大きい条件下で摂動ナビエ＝ストークス系の弱解枠組みを構築する。
• ストークス作用素 $ \mathcal{L} $ を用いた半群的アプローチを適用し、摂動 $ w $ の時間発展を $ L^2 $-双対性および熱核の評価を用いて推定する。
• 強化エネルギー不等式を用いて摂動の $ L^2 $-ノルムを制御し、時間平均化と畳み込み評価を用いてその減衰を証明する。
• 非線形項 $ w \cdot \nabla w $ を制御するために、SobolevおよびYoung型不等式を用い、$ \|w\|_{4} \leq C \|\nabla w\|_{2}^{3/4} \|w\|_{2}^{1/4} $ を活用する。
• $ L^p $-空間（$ p \in (6/5, 2) $）における繰り返し適用によるブートストラップ的アプローチを用い、畳み込みおよび $ L^p $-減衰評価を繰り返し適用することで、減衰評価を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 3次元ナビエ＝ストークス系のLandau解は、$ L^2 $-摂動のもとで漸近的安定とみなせるか？
• RQ2 特異な力場項が存在する中で、初期に近い弱解の長時間的挙動はいかなるものか？
• RQ3 初期摂動 $ w_0 \in L^2 $ が、$ L^2 $ でゼロに収束する解をもたらすか、すなわち定常Landau解に収束するか？
• RQ4 初期の $ L^p $-ノルム（$ p \in (6/5, 2) $）が摂動の減衰率にどのように依存するか？
• RQ5 漸近的安定性は異なる $ L^p $-初期データに対して頑健か？また、減衰評価は体系的に改善可能か？

主な発見

• 初期データの $ L^2 $-摂動のもとで、Landau解 $ (v_c, p_c) $ は $ L^2({\mathbb{R}}^3) $ で漸近的安定である。ただし、$ |c| $ が十分に大きいことが条件である。
• 初期摂動 $ w_0 \in L^p({\mathbb{R}}^3) $（$ p \in (6/5, 2) $）に対して、解 $ w(t) $ は $ \|w(t)\|_{2} \to 0 $（$ t \to \infty $）を満たし、$ p \in [3/2, 2) $ の範囲では減衰率 $ \|w(t)\|_{2} \leq C t^{-3/2(1/p - 1/2)} $ が成り立つ。
• $ p \in [4/3, 3/2) $ の範囲では、減衰率が $ \|w(t)\|_{2} \leq C t^{-3/8} $ に改善され、繰り返し評価を用いた反復的精緻化により、この範囲での減衰がさらに向上する。
• 強化エネルギー不等式により、$ \|w(t)\|_{2} $ は almost everywhere で非増加的であることが保証され、これは時間平均の $ L^2 $-減衰、ひいては点ごとの減衰を証明するために不可欠である。
• 特異力場 $ F = (b(c)\delta_0, 0, 0) $ は明示的に特徴づけられ、$ b(c) = \frac{8\pi c}{3(c^2 - 1)} \left(2 + 6c^2 - 3c(c^2 - 1)\log\left(\frac{c+1}{c-1}\right)\right) $ であり、$ |c| \to \infty $ のとき $ b(c) \to 0 $ となる。
• 証明は、$ L^2 $-双対性および熱半群評価、特に $ \|e^{-t\mathcal{L}}\psi\|_{4/3} \leq C t^{-1/2} \|\psi\|_2 $ を用いた、非線形項の制御に新規な応用を施している。