[論文レビュー] Existence and Weak* Stability for the Navier-Stokes System with Initial Values in Critical Besov Spaces

Tobias Barker|arXiv (Cornell University)|Mar 20, 2017

Navier-Stokes equation solutions参考文献 26被引用数 3

ひとこと要約

本稿は、臨界Besov空間 $\dot{B}^{-1/4}_{4,\infty}$ に属する初期データを持つ3次元Navier-Stokes方程式に対して、初期データの収束下での弱*安定性を伴うグローバル解の存在を確立する。$L_3$ 解の概念をより広い臨界空間へ拡張し、補間理論からの導出が不可能な、同次Besov空間の新規分解を導入することで、その制限を克服する。$p>4$ に対して $\cdot{B}^{-1+3/p}_{p,\infty}$ に属する初期データについての局所解の存在を示し、正則性基準への応用も得る。

ABSTRACT

In 2016, Seregin and uSverák, conceived a notion of global in time solution (as well as proving existence of them) to the three dimensional Navier-Stokes equation with $L_3$ solenoidal initial data called 'global $L_3$ solutions'. A key feature of global $L_3$ solutions is continuity with respect to weak convergence of a sequence of solenoidal $L_3$ initial data. The first aim of this paper is to show that a similar notion of ' global $\dot{B}^{-\frac{1}{4}}_{4,\infty}$ solutions' exists for solenoidal initial data in the wider critical space $\dot{B}^{-\frac{1}{4}}_{4,\infty}$ and satisfies certain continuity properties with respect to weak* convergence of a sequence of solenoidal $\dot{B}^{-\frac{1}{4}}_{4,\infty}$ initial data. This is the widest such critical space if one requires the solution to the Navier-Stokes equations minus the caloric extension of the initial data to be in the global energy class. For the case of initial values in the wider class of $\dot{B}^{-1+\frac{3}{p}}_{p,\infty}$ initial data ($p>4)$, we prove that for any $0

研究の動機と目的

• グローバル $L_3$ 解の概念を、弱*収束下での初期データの連続性を保ちつつ、より広い臨界空間 $\cdot{B}^{-1/4}_{4,\infty}$ へ拡張すること。
• $p>4$ の場合に $\cdot{B}^{-1+3/p}_{p,\infty}$ に属する初期データについての局所解の存在を確立すること。これは $L_3$ よりも広いクラスである。
• 標準的実補間理論から導出できない、同次Besov空間 $\cdot{B}^{-1+3/p}_{p,\infty}$ の新規分解技術の構築。
• 速度場のノルム $\cdot{B}^{-1+3/p}_{p,\infty}$ に基づく、3次元弱Leray-Hopf解の新たな正則性基準の導出。
• 弱*安定性を活用して、スケーリングと古代解の構成を用いて、 Blow-up 潜在的シナリオを分析するフレームワークの提供。

提案手法

• 初期データの弱*収束下での連続性を保証する、グローバル $\cdot{B}^{-1/4}_{4,\infty}$ 解の概念を導入し、グローバル $L_3$ 解の一般化を実現する。
• 初期データ $u_0 = \bar{u}_0^N + \tilde{u}_0^N$ を、$\dot{B}^{s_{p_2}+\delta_2}_{p_2,p_2}$ に属する低周波数成分と $L_2$ に属する高周波数成分に二分し、それぞれのノルムを制御する。
• 命題6.1を用いて、低周波数成分 $\bar{u}_0^N$ に対して、時間重み付き $L_{p_2}$ 評価を満たす、弱解 $W$ を構成する。
• 命題6.2を用いて、全初期データに対する解 $v = W + u$ を構成する。ここで $u$ は $L_2$ に属する初期データ $\tilde{u}_0^N$ を持つ摂動Navier-Stokes系を満たし、エネルギー不等式を満たす。
• 初期データ $u_0^{(n)} \rightharpoonup^* u_0$ が $\dot{B}^{-1/4}_{4,\infty}$ で成り立つならば、対応する解 $u^{(n)}$ が分布の意味で部分列として収束することを示し、弱*安定性を確立する。
• 古典的実補間理論から導出できない、同次Besov空間 $\dot{B}^{-1+3/p}_{p,\infty}$ の新規分解に依存し、より広い臨界空間への拡張を可能にする。

実験結果

リサーチクエスチョン

• RQ1 弱*安定性を保つグローバル $L_3$ 解の概念を、臨界Besov空間 $\dot{B}^{-1/4}_{4,\infty}$ へ拡張することは可能か？
• RQ2 $p>4$ の場合に $\dot{B}^{-1+3/p}_{p,\infty}$ に属する初期データに対してグローバル解が存在し、弱*安定性を満たすか？
• RQ3 速度場の $\dot{B}^{-1+3/p}_{p,\infty}$ ノルムに基づく、3次元弱Leray-Hopf解の新たな正則性基準を導出できるか？
• RQ4 標準的実補間を避ける、$\dot{B}^{-1+3/p}_{p,\infty}$ の分解が存在するか？ そして、より広い臨界空間への解の構成を可能にするか？
• RQ5 弱*安定性を活用して、スケーリングと古代解理論を用いて、Blow-up 潜在的シナリオを分析する方法は存在するか？

主な発見

• 本稿は、可済み初期データに対して $\dot{B}^{-1/4}_{4,\infty}$ におけるグローバル解の存在を証明し、初期データの弱*収束下での連続性を保証する。
• 任意の $0<T<\infty$ に対して、$p>4$ の場合に $\dot{B}^{-1+3/p}_{p,\infty}$ に属する初期データに対して、$\dot{B}^{s_{p_2}+\delta_2}_{p_2,p_2}$ と $L_2$ 成分への分解を用いて、$\mathbb{R}^3 \times ]0,T[$ 上に解が存在することを示す。
• 実補間理論から導出できない、同次Besov空間 $\dot{B}^{-1+3/p}_{p,\infty}$ の新規分解が構築され、より広い臨界空間への拡張を可能にする。
• 解 $v = W + u$ は時間重み付き $L_{p_2}$ 評価を満たす：$\sup_{0<t<T} t^{\frac{s_{p_2}}{2} - \frac{\delta_2}{2}} \|w(\cdot,t)\|_{L_{p_2}} \leq 2M^{(0)}$、ここで $M^{(0)} = \sup_{0<t<T} t^{\frac{s_{p_2}}{2} - \frac{\delta_2}{2}} \|S(t)u_0\|_{L_{p_2}}$。
• 解 $u$ はエネルギー不等式を満たす：$\|u(\cdot,t)\|_{L_2}^2 + 2\int_0^t \|\nabla u(\cdot,t')\|_{L_2}^2 dt' \leq 2\int_0^t \int (W \otimes u) : \nabla u \, dx dt' + \|V_0\|_{L_2}^2$、これにより安定性が保証される。
• $v$ および $q$ に対して局所エネルギー不等式が成り立つことから、解が分布の意味で弱Leray-Hopf解であることが確認される。