[論文レビュー] A necessary condition of possible blowup for the Navier-Stokes system in half-space

Tobias Barker, G. Serëgin|arXiv (Cornell University)|Aug 21, 2015

Navier-Stokes equation solutions参考文献 10被引用数 6

ひとこと要約

本稿は、半空間 $Ω = \mathbb{R}^3_+$ におけるナビエ＝ストークス方程式の有限時刻 blowup のための必要条件を確立し、解が時刻 $T$ で blowup するならば、$\|u(\cdot,t)\|_{L^3(\Omega)} \to \infty$ が $t \to T^-$ のとき成り立つことを証明している。著者らは、Lemarié-Rieusset 解に依存しない新たなアプローチを展開し、半空間設定において局所エネルギー古代解を構成し、後向き一意性および正則性推移推定を適用することで、既知の全空間における結果を境界ケースに拡張している。

ABSTRACT

Assuming that ${T}$ is a potential blow up time for the Navier-Stokes system in half-space, we show that $L_{3}$-norm of the velocity field goes to $\infty$ as time t approaches $T$.

研究の動機と目的

• 半空間 $\mathbb{R}^3_+$ におけるナビエ＝ストークス系の解の有限時刻 blowup のための必要条件を確立すること。
• 全空間 $\mathbb{R}^3$ における既知の $L^3$ ノルム blowup 条件を、スリップなし境界条件を伴う半空間に拡張すること。
• Lemarié-Rieusset 解の半空間版が存在しないという欠如を克服するため、直接的に半空間フレームワーク内で局所エネルギー古代解を構成すること。
• 半空間における古代解に後向き一意性および局所正則性理論を適用し、blowup 準拠を導出すること。

提案手法

• 解を線形部と非線形部に分解する：$u = u^1 + u^2$、ここで $u^1$ は $L^3(\mathbb{R}^3_+)$ 内の初期データをもつストークス系を満たす。
• 半空間におけるグリーン関数のソロニコフ推定を用いて、$s \in [3,5]$ に対して $\|u^1\|_{s,Q^+_{-2,0}} \leq c(s)\|u_0\|_{L^3}$ を得る。
• 非線形部 $u^2$ に対してエネルギー推定を適用し、非線形項を4つの成分に分割し、補間および $L^p$-推定を用いてそれぞれを評価する。
• 放物型正則性理論を適用できるように、半空間における $\nabla u$ の一様局所 $L^2$-有界性、すなわち $\|\nabla u\|_{L_{2,unif}(Q^+_{-3/2,0})} < \infty$ を確立する。
• 渦度方程式 $\partial_t \omega - \Delta \omega = \text{div}(\omega \otimes u - u \otimes \omega)$ を用い、放物型正則性を適用して、$s > 1$ に対して $\nabla u$ の高階 $L^s$-有界性を導出する。
• 有界な $L^\infty$-ノルム（空間無限遠点で）および局所 $L^2$-可積分性を仮定した古代解に対して、後向き一意性および一意拡張の議論を適用し、blowup 準拠に至る。

実験結果

リサーチクエスチョン

• RQ1 スリップなし境界条件を伴う半空間 $\mathbb{R}^3_+$ における解に対して、$\|u(\cdot,t)\|_{L^3} \to \infty$ が $t \to T^-$ のとき成り立つかどうか。
• RQ2 全空間 $\mathbb{R}^3$ における blowup 準拠を、Lemarié-Rieusset 解に依存せずに半空間に拡張できるか。
• RQ3 境界条件を伴う半空間において、後向き一意性の議論に適した局所エネルギー古代解を構成することは可能か。
• RQ4 境界は、ナビエ＝ストークス方程式の解の正則性および blowup 挙動にどのような役割を果たすか。

主な発見

• 本稿は、半空間 $\mathbb{R}^3_+$ におけるナビエ＝ストークス系の解が有限時刻 $T < \infty$ で blowup するならば、$\lim_{t \to T^-} \|u(\cdot,t)\|_{L^3(\mathbb{R}^3_+)} = \infty$ が成り立つことを証明し、blowup のための必要条件を確立した。
• 著者らは、境界ケースでは存在が知られていない Lemarié-Rieusset 型解を必要とせず、半空間内に直接的に局所エネルギー古代解を構成した。
• 半空間における $\nabla u$ の一様局所 $L^2$-有界性を用いて、放物型正則性理論を適用し、$s > 1$ に対して $\nabla u$ の高階 $L^s$-有界性をブートストラップで得た。
• 証明は、半空間における放物型系の後向き一意性および一意拡張に依存しており、主な入力は空間無限遠点での $u$ の有界性および $\nabla u$ の局所 $L^2$-可積分性である。
• 全空間のアプローチによるスケーリングによる古代解への還元を避ける代わりに、半空間内に直接的に必要な古代解構造を構築した。
• この結果は、$\mathbb{R}^3$ で知られている $L^3$-ノルム blowup 條件が半空間でも成り立つことを確認しており、3次元ナビエ＝ストークス方程式における潜在的 blowup の普遍的特徴を示唆している。