[論文レビュー] Regularity of Leray-Hopf solutions to Navier-Stokes equations (I)-Critical interior regularity in weak spaces

Jian Zhai|ArXiv.org|Nov 30, 2006

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

ひとこと要約

本稿は、弱L^2(0,T;L^∞(R^3))ノルムにおける小さな条件のもとで、3次元非圧縮性ナビエ＝ストークス方程式のレーリー＝ホプフ解の臨界正則性を確立する。Lorentz空間における新しい埋め込み不等式を導入し、ダイアディック分解と最大関数推定を用いて渦度方程式を解析することで、この臨界弱空間における初期データの小さな条件が、解のグローバル正則性を保証することを証明し、[8]における未解決問題を解決する。

ABSTRACT

We consider the interior regularity of Leray-Hopf solutions to Navier-Stokes equations on critical case L^2_w(0,T;L^\infty(R^3)). Particularly, an open problem proposed in [KK] was solved.

研究の動機と目的

• 3次元非圧縮性ナビエ＝ストークス方程式のレーリー＝ホプフ解の弱空間における臨界正則性に関する未解決問題を解消すること。
• 弱-L^2(0,T;L^∞(R^3))ノルムにおける小さな条件が解のグローバル正則性を保証することを確立すること。
• 渦度方程式における非線形項を制御するためのLorentz空間における新しい埋め込み不等式を構築すること。
• 弱-L^∞(R^3)および弱-L^2(0,T)を含む臨界ケースにおける、Lorentz空間における正則性に関する先行研究を拡張すること。

提案手法

• 非線形相互作用を制御するために、特に $ L^{2,∞}(0,1) \times V(Q) $ におけるLorentz空間における新しい埋め込み不等式を導入する。
• 速度および渦度場の周波数成分を局所化するために、Littlewood-Paleyのダイアディック分解を用いる。
• 最大関数推定とHardy-Young不等式を適用して、ダイアディック周波数相互作用の和を制御する。
• 非線形項を速度の弱-L^∞ノルムを用いて推定することで、渦度方程式をパラプロダクト分解を用いて解析する。
• 周波数局所化された $ L^2 $-ノルムと $ L^2(0,T;H^1) $-制御に基づいて定義される $ \|v\|_{Q} $-ノルムを用いて正則性を定量化する。
• 非一様推定を導出するため、$ \|v\|_{Q}^2 $ を $ \|u\|_{L^{2,\infty}(0,1;L^\infty)}\|v\|_{Q}^2 + \|v_0\|_{L^2}^2 $ の項で上界で抑え、小さな条件に帰着させる。

実験結果

リサーチクエスチョン

• RQ1 弱-L^2(0,T;L^∞(R^3))ノルムにおける小さな条件のもとで、レーリー＝ホプフ解の臨界正則性を確立できるか？
• RQ2 渦度方程式における非線形項を制御するためのLorentz空間における新しい埋め込み不等式が存在するか？
• RQ3 [8]で提示された、臨界定弱空間における局所正則性に関する未解決問題を解消できるか？
• RQ4 $ \|u\|_{L^{2,\infty}(0,T;L^\infty)} $ の小さな値が、レーリー＝ホプフ解のグローバル正則性を示唆するか？
• RQ5 [T] で用いられた手法を臨界定常ケースに拡張できるか？もし不可能であれば、新たな道具は何か？

主な発見

• $ \|u\|_{L^{2,\infty}(0,T;L^\infty(\mathbb{R}^3))} \leq \epsilon $ であるような十分小さな $ \epsilon > 0 $ に対して、レーリー＝ホプフ解 $ u $ が $ \mathbb{R}^3 \times (0,T] $ で正則であることが証明され、[8]における未解決問題が解決される。
• Lorentz空間における新しい埋め込み不等式が確立される： $ f \in L^{2,\infty}(0,1) $ および $ v \in V(Q) $ に対して、$ \sum_{q \geq -1} \sum_{j \sim q} \int_0^1 |f(t)| \|\Delta_j v(t)\|_{L^2} \|\nabla \Delta_q v(t)\|_{L^2} dt \leq C \|f\|_{L^{2,\infty}} \|v\|_Q^2 $ が成り立つ。
• 正則性結果は、スケーリング臨界クラスへ拡張される： $ r \in [3,\infty] $ に対して、$ \|u\|_{L^{s}_{w}(0,T;L^{r}_{w}(\mathbb{R}^3))} \leq \epsilon $ かつ $ \frac{2}{s} + \frac{3}{r} = 1 $ ならば、$ u $ は正則である。
• 証明により、$ \|v\|_Q^2 \leq C \|u\|_{L^{2,\infty}(0,1;L^\infty)} \|v\|_Q^2 + \|v_0\|_{L^2}^2 $ という前向き推定が得られ、$ \|u\|_{L^{2,\infty}(0,1;L^\infty)} < 1/(2C) $ のとき正則性が保証される。
• この結果は、右閉区間で $ |u(x,t)| \leq C / (T-t)^{1/2} $ が成り立つならば、$ u $ は $ \mathbb{R}^3 \times (T-R,T] $ で有界かつ正則であることを示唆する。
• 従来の手法の限界を克服するため、Lorentz空間の技法と周波数局所化を用いることで、過去の手法が失敗した臨界定常ケースの取り扱いが可能になった。