[論文レビュー] Stability by rescaled weak convergence for the Navier-Stokes equations

Hajer Bahouri, Jean-Yves Chemin+1 more|arXiv (Cornell University)|Oct 1, 2013

Advanced Mathematical Physics Problems参考文献 25被引用数 5

ひとこと要約

本稿は、スケーリング不変性を有するBesov空間における新しいスケーリングされた弱収束枠組みのもとで、3次元非圧縮性ナビエ＝ストークス方程式に対する弱安定性結果を確立する。非一様なプロファイル分解とBesov空間におけるスケーリング不変性を導入することで、初期データの列がスケーリング不変空間で弱収束し、かつその結果として大域的正則解が得られるならば、スケーリングされた弱収束のもとでも同様に大域的正則解が得られることを証明する。これは、大域的正則性への新たな道筋を提供する。

ABSTRACT

We prove a weak stability result for the three-dimensional homogeneous incompressible Navier-Stokes system. More precisely, we investigate the following problem : if a sequence $(u_{0, n})_{n\\in \\N}$ of initial data, bounded in some scaling invariant space, converges weakly to an initial data $u_0$ which generates a global regular solution, does $u_{0, n}$ generate a global regular solution ? A positive answer in general to this question would imply global regularity for any data, through the following examples $u_{0,n} = n \\vf_0(n\\cdot)$ or $u_{0,n} = \\vf_0(\\cdot-x_n)$ with $|x_n|\ o \\infty$. We therefore introduce a new concept of weak convergence (rescaled weak convergence) under which we are able to give a positive answer. The proof relies on profile decompositions in anisotropic spaces and their propagation by the Navier-Stokes equations.

研究の動機と目的

• スケーリング不変空間における初期データの弱収束が、3次元ナビエ＝ストークス方程式の解の大域的正則性を保存するかどうかという未解決問題に取り組むこと。
• 特に、集中や無限遠での消滅といったスケーリング極限において、正則性を保存できない標準的弱収束の失敗を克服すること。
• ナビエ＝ストークス方程式のスケーリング構造を捉えることができる、新しい収束枠組み「スケーリングされた弱収束」を導入すること。
• 非一様Besov空間におけるプロファイル分解を確立し、ナビエ＝ストークス流れにおけるその伝播を証明すること。
• スケーリングされた弱収束に基づく条件付きの大域的正則性基準を提供することにより、安定性が成立するならば、任意の初期データに対しても大域的解の存在が示唆される。

提案手法

• ナビエ＝ストークス方程式のスケーリング不変性を尊重する新しい収束概念「スケーリングされた弱収束」を導入すること。
• 非一様Besov空間（例：$\mathcal{B}^{s,\frac{3}{2}}$）を用いて、解を周波数局所化成分（高周波／低周波、水平／垂直）に分解すること。
• スケーリング不変空間における有界列から漸近的プロファイルを抽出するためのプロファイル分解技術を適用すること。
• 非一様関数空間におけるパラプロダクトおよび剰余項の推定を用いて、ナビエ＝ストークス流れにおけるこれらのプロファイルの伝播を分析すること。
• $L^2$-に基づく非一様ノルムにおける熱流の正則化と補間を用いて、エネルギーおよび滑らかさの推定を確立すること。
• 時間区間が小さい場合に固定点法を用いて正則性を伝播させることにより、$\|u\|_{L^2([T_m,T_{m+1}];\mathcal{B}^1)}$ の小さい性質に依存すること。

実験結果

リサーチクエスチョン

• RQ1 スケーリング不変空間における初期データの弱収束が、3次元ナビエ＝ストークス方程式の解の大域的正則性を保存するか？
• RQ2 ナビエ＝ストークス系のスケーリング不変性を尊重する収束枠組みを構築でき、正則解の安定性を保証できるか？
• RQ3 非一様Besov空間におけるプロファイル分解は、ナビエ＝ストークス時間発展においてどのように振る舞うか？
• RQ4 垂直および水平周波数局所化の役割は、正則性の伝播においてどのように果たすか？
• RQ5 スケーリングされた弱収束枠組みを用いて、条件付きの大域的正則性基準を導出できるか？

主な発見

• 著者らは、初期データの列 $u_{0,n}$ がスケーリング不変空間においてスケーリングされた弱収束で $u_0$ に収束し、$u_0$ が大域的正則解を生成するならば、$u_{0,n}$ に対しても同様に大域的正則解が生成されることを証明している。
• 主な結果は、ナビエ＝ストークス方程式のスケーリングおよび方向的構造を捉える非一様Besov空間 $\mathcal{B}^{s,\frac{3}{2}}$ におけるプロファイル分解によって得られている。
• 正則性の伝播は、$L^\rho_t(\mathcal{B}^{s})$ 型ノルムにおける推定を通じて示されており、$\|u\|_{L^2_t(\mathcal{B}^1)}$ に依存する境界が得られている。
• 解は推定 $\|u\|_{\mathcal{A}^s} \lesssim \|u_0\|_{\mathcal{B}^s} \exp\bigl(C\|u\|_{L^2(\mathbb{R}^+;\mathcal{B}^1)}^2\bigr)$ を満たしており、速度の $L^2$-ノルムに指数的依存が生じることを示している。
• 垂直変数におけるパラプロダクトおよび剰余項の推定（Bonyの分解）を用い、$\mathcal{B}^{s,\frac{3}{2}}$ および $\mathcal{B}^{s+1}$ 空間における境界を得ている。
• 線形作用素 $L_a\mathcal{T}_u$ は、小さな時間区間においてノルムが1未満であることが示され、固定点法が可能となり、反復的伝播により大域的解が得られる。