[論文レビュー] On global solutions to the Navier-Stokes system with large $L^{3,\infty}$ initial data

Tobias Barker, G. Serëgin|arXiv (Cornell University)|Mar 10, 2016

Navier-Stokes equation solutions参考文献 18被引用数 4

ひとこと要約

この論文は、エネルギークラスの外にある臨界Lorentz空間 $L^{3,\infty}(\mathbb{R}^3)$ における初期データに対して、3次元Navier-Stokes方程式のグローバル弱解の存在を確立する。Katoの固定点法を拡張し、補間および減衰推定を活用することで、初期データの正の部分に小さな条件が課された場合に、解が時間全域で存在することを証明し、初期データの弱-*収束下でも安定性と収束性を保証する。

ABSTRACT

This paper addresses a question concerning the behaviour of a sequence of global solutions to the Navier-Stokes equations, with the corresponding sequence of smooth initial data being bounded in the (non-energy class) weak Lebesgue space $L^{3,\infty}$. It is closely related to the question of what would be a reasonable definition of global weak solutions with a non-energy class of initial data, including the aforementioned Lorentz space. This paper can be regarded as an extension of a similar problem regarding the Lebesgue space $L_3$ to the weak Lebesgue space $L^{3,\infty}$, whose norms are both scale invariant with the respect to the Navier-Stokes scaling.

研究の動機と目的

• エネルギークラスでない $L^{3,\nu}(\mathbb{R}^3)$ における初期データに対して、Navier-Stokes方程式の強固なグローバル弱解の定義を提示すること。
• 吹き飛び解析に不可欠な、$L^{3,\nu}$ 内での初期データの弱-*収束下における解の安定性を保証すること。
• グローバル弱 $L^3$-解の枠組みを、エネルギーが無限大になり得る関数を含む、より大きなスケール不変Lorentz空間 $L^{3,\nu}$ に拡張すること。
• 初期データノルムに依存する時間区間における解の存在および正則性を確立し、その区間内で一意性を保証すること。

提案手法

• 線形部として熱半群 $S(t)u_0$ を用い、Lorentz空間 $L^{3,\nu}$ におけるKatoの固定点議論を適応する。
• 非線形項を制御するため、初期データを正の部分と負の部分に分解する：$u_0 = (u_0)_+^N + (u_0)_-^N$。
• 補間不等式 $t^{1/8}\|g(\cdot,t)\|_{L^4} \leq C\|g(\cdot,t)\|_{L^{3,\infty}}^{3/8}(t^{1/5}\|g(\cdot,t)\|_{L^5})^{5/8}$ を用いて、$L^4$ ノルムを制御する。
• エネルギーおよび圧力推定に、方程式 $\|u^{(k)} - u^{(m)}\|_{2,\infty,Q_T}^2 + \|\nabla(u^{(k)} - u^{(m)})\|_{2,Q_T}^2 + \|q^{(k)} - q^{(m)}\|_{2,Q_T}^2 \leq c\int_0^T\!\!\!\int_{\mathbb{R}^3} |v^{(k)}\otimes v^{(k)} - v^{(m)}\otimes v^{(m)}|^2 dxdt$ を用い、収束性を証明する。
• 収束性を $L^4(Q_T)$、$W^{1,0}_2(Q_T)$、および $C([0,T];L_2)$ で確立し、極限が分布的意味でNavier-Stokes方程式を満たすことを保証する。
• 滑らか化および減衰推定を用いて、局所エネルギー等式の検証を行い、解がエネルギー不等式を満たすことを確認する。

実験結果

リサーチクエスチョン

• RQ1 エネルギークラスの外にある $L^{3,\infty}(\mathbb{R}^3)$ における初期データに対して、3次元Navier-Stokes方程式のグローバル弱解を構成可能か？
• RQ2 $L^{3,\infty}$ 内での初期データの弱-*収束下でも、解の枠組みは安定か？これは吹き飛び解析に不可欠な条件である。
• RQ3 $L^3$ からより大きなLorentz空間 $L^{3,\infty}$ へのグローバル解の存在が拡張可能か？ここには $L^2$ ノルムが無限大になる関数が含まれる。
• RQ4 このような解の存在時間は何か？初期データノルムおよび分解にどのように依存するか？
• RQ5 構築された解は局所エネルギー等式を満たすか？物理的整合性を保証する。

主な発見

• 初期データが $L^{3,\infty}(\mathbb{R}^3)$ に属し、正の部分 $\|(u_0)_+^N\|_{L^{3,\infty}}$ が十分に小さい場合、グローバル弱解が存在する。
• 解は局所エネルギー等式を満たし、物理的に意味のある弱解であることが確認される。
• 反復スキームの収束性は $L^4(Q_T)$、$W^{1,0}_2(Q_T)$、および $C([0,T];L_2)$ で成立し、極限がこれらの位相で強い収束を示すことを保証する。
• 解 $v$ は、十分に小さい $\varepsilon_0$ に対して $\|v - S(t)u_0\|_{L^{\infty}(0,T;L^{3,\infty})} \leq \varepsilon_0$ を満たし、安定性が保証される。
• 存在時間の下界が確立される：$T \geq \min(\varepsilon^5, \varepsilon_0^5)/(C N^2 \|u_0\|_{L^{3,\infty}}^3)$ であり、$\varepsilon, \varepsilon_0$ は以前の定理からのものである。
• 正則性および収束結果により、解は時間区間 $[0,T]$ で一意であることが示され、構築されたクラス内での一意性が保証される。