[論文レビュー] $L^2$-asymptotic stability of mild solutions to Navier-Stokes system in $R^3$

Grzegorz Karch, Dominika Pilarczyk+1 more|arXiv (Cornell University)|Aug 30, 2013

Navier-Stokes equation solutions参考文献 29被引用数 9

ひとこと要約

本稿は、初期データに対する任意の大規模な $L^2$-摂動下でも、3次元非圧縮性ナビエ＝ストークス方程式の時間大域的弱解の $L^2$-漸近安定性を確立する。新たなフーリエ分割法と周波数空間におけるエネルギー推定を用いて、摂動された解から生じる弱解が $t \to \infty$ の際に元の弱解へ $L^2$-エネルギーノルムで収束することを証明し、従来の研究で制限されていた定常解や特定の解にとどまらない、時間に依存する非定常解に対しても安定性結果を拡張する。

ABSTRACT

We consider global-in-time small mild solutions of the initial value problem to the incompressible Navier-Stokes equations in $R^3$. For such solutions, an asymptotic stability is established under arbitrarily large initial $L^2$-perturbations.

研究の動機と目的

• 3次元非圧縮性ナビエ＝ストークス方程式の弱解の漸近安定性を、$L^2$-エネルギーノルムにおいて確立すること。
• 従来の安定性結果（主に定常解や特定の解に限られていた）を、時間に依存する広範な弱解クラスへ拡張すること。
• 初期データが任意に大きな発散なし $L^2$ ベクトル場で摂動されても、弱解が大域的に存在し、与えられた小さな弱解へ $t \to \infty$ の際に収束することを示すこと。
• 一般の時間に依存する解を扱うために、周波数空間におけるエネルギー推定とフーリエ分割法に基づく新たな解析的枠組みを構築すること。
• ゼロ解や非自明な定常解の $L^2$-安定性に関する従来の結果を統一的かつ一般化し、自己相似解や周期的解を含む広範な解クラスへ拡張すること。

提案手法

• 滑らかなカットオフ関数 $\varphi$ を用いて、フーリエ分割法により解を低周波数部と高周波数部に分解する。
• 解の差 $w$ について、周波数空間におけるエネルギー推定を導出する。具体的には、$\|(1 - \hat{\varphi})\widehat{w}(t)\|_{L^2}^2$ の時間発展を分析する。
• エネルギーの時間的増大を制御し、減衰推定を容易にするために、重み関数 $E(t) = (1+t)^\alpha$（$\alpha > 0$）を用いる。
• 非線形項の評価にはホルダー、ヤング、ソボレフの不等式を用い、特に $\|w\|_{L^6} \leq \|\nabla w\|_{L^2}$ を活用する。
• 周波数成分間の相互作用を制御するため、非線形項 $\mathfrak{b}(w,w,\eta \ast w)$（ここで $\eta = \varphi \ast \varphi - 2\varphi$）の分解を実行する。
• ロピタルの定理を用いた極限的議論により、$t \to \infty$ の際に低周波数部の寄与が消えることを示し、漸近的 $L^2$-安定性を証明する。

実験結果

リサーチクエスチョン

• RQ1 3次元ナビエ＝ストークス方程式の弱解は、初期データに任意の大規模な $L^2$-摂動が加えられても、漸近的に $L^2$-安定性を示すことができるか？
• RQ2 漸近的安定性の結果は、定常解にとどまらず、時間に依存する解、自己相似解、周期的解に対しても拡張可能か？
• RQ3 周波数空間におけるエネルギー推定に基づき、広範な弱解クラスの $L^2$-漸近安定性を証明するための統一的解析的枠組みを構築可能か？
• RQ4 従来の手法が失敗する非定常解に対しても、フーリエ分割法は有効に機能するか？
• RQ5 摂動のエネルギーは周波数空間でどのように減衰するか？また、重み関数 $E(t) = (1+t)^\alpha$ は安定性証明においてどのような役割を果たすか？

主な発見

• 本稿では、スケール不変空間で小さな任意の大域的弱解 $V(x,t)$ に対して、$V(x,0)$ の任意の発散なし $L^2$-摂動に対しても、弱解が大域的に存在し、$t \to \infty$ の際に $V(x,t)$ へ $L^2$-エネルギーノルムで収束することを証明する。
• 任意の大規模な $L^2$-初期摂動下でも安定性が成立し、従来の小さな摂動に限られていた結果を一般化する。
• 証明により、$\limsup_{t \to \infty} \|(1 - \hat{\varphi})\widehat{w}(t)\|_{L^2}^2 = 0$ が成り立つことが示され、摂動の高周波数成分がゼロに収束することを示す。
• 本手法は、自己相似解やほぼ周期的解を含む時間に依存する解に対しても効果的に機能し、Remark 2.10 および 2.11 で指摘されている。
• エネルギー項の減衰は、推定 $\limsup_{t \to \infty} \frac{1}{(1+t)^\alpha} \int_s^t (1+\tau)^{\alpha-3} d\tau = 0$ を用いて定量的に評価され、低周波数寄与の消滅を保証する。
• 本結果は、大きな解の漸近的安定性に関する小泉の研究を一般化し、$L^2$-安定性理論をゼロ解や定常解のケースにとどまらず、はるかに広範な解クラスへ拡張する。