[論文レビュー] Analyticity for the (generalized) Navier-Stokes equations with rough initial data

Chunyan Huang, Baoxiang Wang|arXiv (Cornell University)|Oct 8, 2013

Navier-Stokes equation solutions参考文献 36被引用数 12

ひとこと要約

本稿は、臨界Besov空間およびモジュレーション空間における粗い初期データをもつ一般化されたナビエ＝ストークス方程式の解の解析的および大域的適切性を確立する。重み付きBesovノルムと指数関数的重み $ e^{t^{1/2\alpha}\Lambda} $ を持つ関数空間における収縮写像を用いて、$ \dot{B}^{n/p-1}_{p,q} $、$ \dot{B}^{n/p}_{p,1} $、$ M^{-1}_{\infty,1} $ における小規模データに対して局所的解析的および大域的解の存在を証明し、$ \alpha \in (1/2,1) $ の分数階にまで結果を拡張する。主な貢献は、臨界Besov空間において $ \alpha = 1/2 $ および $ p < \infty $ の場合の解析的証明の初の提示である。

ABSTRACT

We study the Cauchy problem for the (generalized) incompressible Navier-Stokes equations \begin{align} u_t+(-Δ)^αu+u\cdot abla u + abla p=0, \ \ { m div} u=0, \ \ u(0,x)= u_0. onumber \end{align} We show the analyticity of the local solutions of the Navier-Stokes equation ($α=1$) with any initial data in critical Besov spaces $\dot{B}^{n/p-1}_{p,q}(\mathbb{R}^n)$ with $1&lt; p

研究の動機と目的

• 粗い初期データをもつ一般化ナビエ＝ストークス方程式の局所的および大域的解の解析的性質を、臨界関数空間において確立すること。
• 古典的ナビエ＝ストークス方程式（$ \alpha = 1 $）における既知の解析的結果を、分数階（$ \alpha = 1/2 $）および $ \alpha \in (1/2,1) $ にまで拡張すること。
• 一般の $ p \in [1,\infty] $ に対して、臨界Besov空間 $ \dot{B}^{n/p}_{p,1} $ における $ \alpha = 1/2 $ の適切性および解析的性質に関する未解決問題を解消すること。
• 古典的ナビエ＝ストークス方程式に対して、粗い初期データをもつモジュレーション空間 $ M^{-1}_{\infty,1} $ における解析的性質を証明すること。
• 異なる $ \alpha \in (1/2,1) $、$ p $、および関数空間設定において、解析的性質と大域的解の存在を統一的に取り扱うこと。

提案手法

• 時間に関するGevrey型解析的性質を捉えるために、指数関数的重み $ e^{t^{1/2\alpha}\Lambda} $ を用いた重み付き関数空間フレームワークを導入する。
• 積分表現 $ u(t) = U_{2\alpha}(t)u_0 + \mathscr{A}_{2\alpha}\mathbb{P}\textrm{div}(u\otimes u) $ を用いる。ここで $ U_{2\alpha}(t) = e^{-t(-\Delta)^\alpha} $ である。
• dyadic分解と $ \Delta_j $ を用いた周波数局在化により、重み付きBesov空間 $ \widetilde{L}^\gamma(I; e^{t^{1/2\alpha}\Lambda} \dot{B}^{s}_{p,q}) $ における解の推定を行う。
• 半群の減衰を制御するための重要な推定式 $ \|\Delta_j e^{t^{1/2\alpha}\Lambda} U_{2\alpha}(t) f\|_{L^p} \lesssim e^{-c t 2^{2\alpha j}} \|\Delta_j f\|_{L^p} $ を適用する。
• Youngの不等式および時間における補間を用いて、推定式 $ \|\mathscr{A}_{2\alpha} f\|_{\widetilde{L}^\gamma(I; e^{t^{1/2\alpha}\Lambda} \dot{B}^{s}_{p,q})} \lesssim \|f\|_{\widetilde{L}^{\gamma_1}(I; e^{t^{1/2\alpha}\Lambda} \dot{B}^{s-2\alpha(1+1/\gamma-1/\gamma_1)}_{p,q})} $ を導出する。
• 指数関数的重みをもつ関数の完備空間における収縮写像を用いて、局所的解の存在および解析的性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 一般化ナビエ＝ストークス方程式の解の解析的性質は、$ \alpha = 1/2 $ および初期データが $ \dot{B}^{n/p}_{p,1} $ に属する場合に、$ 1 \leq p < \infty $ に対して確立可能か？
• RQ2 古典的ナビエ＝ストークス方程式（$ \alpha = 1 $）は、$ \dot{B}^{-1}_{\infty,\infty} $ よりも大きな空間である $ M^{-1}_{\infty,1} $ における初期データに対しても解析的に適切か？
• RQ3 $ \alpha \in (1/2,1) $ の場合、初期データが $ \dot{B}^{n/p}_{p,1} $ に属する小規模データに対して、解は解析的かつ大域的に適切か？
• RQ4 古典的ナビエ＝ストークス方程式において、モジュレーション空間における $ p = \infty $ を含む解析的枠組みを拡張可能か？
• RQ5 一般化ナビエ＝ストークス設定において、解析的性質および大域的解の存在のための鋭い臨界空間は何か？

主な発見

• $ \alpha = 1 $ の場合、任意の初期データが $ \dot{B}^{n/p-1}_{p,q}(\mathbb{R}^n) $ に属するとき、ナビエ＝ストークス方程式の局所解は時間に関して解析的である。ただし $ 1 < p < \infty $、$ 1 \leq q \leq \infty $ である。
• $ \alpha = 1 $ の場合、$ \dot{B}^{n/p-1}_{p,q}(\mathbb{R}^n) $ における小規模初期データに対して大域的解の存在が成立し、従来の結果をすべて $ p < \infty $ にまで拡張する。
• $ \alpha = 1 $ の場合、$ M^{-1}_{\infty,1}(\mathbb{R}^n) $ における初期データに対して解析的性質が証明され、解析的性質が知られていた空間よりも大きな空間であることが示された。
• $ \alpha = 1/2 $ の場合、$ \dot{B}^{n/p}_{p,1}(\mathbb{R}^n) $ における小規模初期データに対して大域的適切性が確立され、未解決問題が解決された。
• $ \alpha \in (1/2,1) $ の場合、$ \dot{B}^{n/p}_{p,1}(\mathbb{R}^n) $ および $ \dot{B}^0_{\infty,1} \cap M^0_{\infty,1} $ における小規模初期データに対して、解析的性質および大域的解の存在が証明された。
• 本稿は、$ \alpha = 1/2 $ における分数階ナビエ＝ストークス方程式が臨界Besov空間 $ \dot{B}^{n/p}_{p,1} $ において解析的であることを初めて証明した。