[論文レビュー] Quantitative lower bound for lifespan for solution of Navier-Stokes equations

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Jun 26, 2013

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

ひとこと要約

本稿は、$ d \geq 3 $ における $ \mathbb{R}^d $ 上の多次元ナビエ＝ストークス方程式の弱解の生存期間 $ T $ に対して、初期データ $ a(x) $ が Lebesgue-Riesz 空間 $ L_d(\mathbb{R}^d) $ に属する場合の定量的下界を確立する。半群理論および再配置不変空間およびローレンツ型空間における推定を用いて、$ T $ が初期データノルムに依存する正の定数で下から抑えられる明示的条件を導出する。初期データノルムが十分に小さい場合には、解の全体的存在が保証される。

ABSTRACT

We find a simple quantitative lower bound for lifespan of solution of the multidimensional initial value problem for the Navier-Stokes equations in whole space when the initial function belongs to the correspondent Lebesgue-Riesz space, and give some a priory estimations for solution in some rearrangement invariant spaces.

研究の動機と目的

• 多次元ナビエ＝ストークス方程式の弱解の生存期間 $ T $ に対して、$ \mathbb{R}^d $、$ d \geq 3 $ において初期データが $ L_d(\mathbb{R}^d) $ に属する場合の定量的かつ明示的な下界を導出すること。
• 再配置不変空間およびローレンツ型関数空間における弱解の既存の事前推定を拡張・精緻化すること。
• 初期データノルムが $ L_d $ で十分に小さい場合に解が時間全域にわたって存在する条件を提示すること。
• 半群理論およびリプシッツ条件を用いて、2階楕円型作用素および非線形項を有する一般化された放物型方程式の枠組みを拡張すること。

提案手法

• 熱半群 $ e^{t\Delta} $ を含む変数定数の公式を用いて、ナビエ＝ストークス系を弱解として定式化する。
• 圧力を除去するためにヘルムホルツ＝ヴァイル射影 $ Q $ を用い、系をリーマン変換および非発散ベクトル場の観点から表現する。
• 熱核の評価およびヤングの不等式を用いて、ローレンツ型およびルベーグ＝ライズ空間における時空畳み込み推定を適用する。
• 時間重み付き減衰 $ t^{(1-d/q)/2} $ を持つ $ L_q $-ノルム推定を $ u $ および $ \nabla u $ について確立し、事前制御を導く。
• 完備な距離空間上の連続関数値をとる空間において、収縮写像原理を適用し、半群の減衰 $ \|e^{At}\|_{Y \to X} \leq C t^{-\gamma} $（$ \gamma \in (0,1) $）を用いる。
• 解写像が $ [0,T] $ 上で収縮のままであることを保証することで、$ T $ の下界を導出する。ここで $ T $ は初期データノルムおよび作用素定数に依存する。

実験結果

リサーチクエスチョン

• RQ1 初期データ $ a \in L_d(\mathbb{R}^d) $ の場合に、$ \mathbb{R}^d $、$ d \geq 3 $ におけるナビエ＝ストークス方程式の弱解の生存期間 $ T $ に対する定量的下界は何か？
• RQ2 再配置不変関数空間における初期データノルムおよび作用素ノルムの観点から、生存期間はどのように推定可能か？
• RQ3 初期データにどのような条件下で解が時間全域にわたって存在するか？
• RQ4 半群理論および収縮写像の枠組みは、2階楕円型作用素および非線形項を有する一般の非線形放物型方程式へ拡張可能か？

主な発見

• 生存期間 $ T $ に対する定量的下界が確立された：$ T \geq C \cdot \|a\|_{L_d}^{-2} $、ここで $ C $ は次元 $ d $ および熱核とリーマン変換の推定から得られる絶対定数に依存する正の定数である。
• もし $ \|a\|_{L_d(\mathbb{R}^d)} $ が十分に小さいならば、$ T = \infty $ であり、解の全体的存在が保証される。
• 解は事前推定 $ \|t^{(1-d/q)/2} u\|_{L^\infty_t L^q_x} \leq C \|a\|_{L_d} $ および $ \|t^{1-d/2q} \nabla u\|_{L^\infty_t L^q_x} \leq C \|a\|_{L_d} $（$ q \geq d $）を満たし、$ t \in (0,T) $ において一様に成り立つ。
• 生存期間の推定は、完備な関数空間上での収縮写像の議論により導出され、時間区間 $ T $ は半群の減衰率および非線形項のリプシッツ定数によって制御される。
• 半群の減衰および局所リプシッツ条件の下で、一般化された放物型方程式 $ \partial_t u = A u + F(u, \nabla u) $（$ A $ は厳密に楕円型の2階作用素）へも同様の枠組みを拡張可能である。
• $ T $ の下界は $ q \geq d $ の選択に依存せず、さまざまなルベーグおよびローレンツ型空間において推定の堅牢性を示している。