[論文レビュー] Global Well-posedness for the Generalized Navier-Stokes System

Zeng Zhang, Zhaoyang Yin|arXiv (Cornell University)|Jun 17, 2013

Navier-Stokes equation solutions被引用数 18

ひとこと要約

この論文は、初期データの $χ^{-1}$-ノルムが粘性 $ν$ より小さい場合、一般化されたナビエ＝ストークス系が時間全域で大域的になめらかに解をもつことを確立する。主な貢献は、$∣∣ u_0 ∣∣_{\chi^{-1}} < \nu$ の条件下で、解のノルムに制限なしにナビエ＝ストークス系の大域的かつ一意の解が存在することを示したことである。これは、$BMO^{-1}$ や $\dot{H}^{\frac{3}{2}-1}$ 空間における先行研究を改善するものである。

ABSTRACT

In this paper we investigate well-posedness of the Cauchy problem of the three dimensional generalized Navier-Stokes system. We first establish local well-posedness of the GNS system for any initial data in the Fourier-Herz space $χ^{-1}$. Then we show that if the $χ^{-1}$ norm of the initial data is smaller than C$ν$ in the GNS system where $ν$ is the viscosity coefficient, the corresponding solution exists globally in time. Moreover, we prove global well-posedness of the Navier-Stokes system without norm restrictions on the corresponding solutions provided the $χ^{-1}$ norm of the initial data is less than $ν.$ Our obtained results cover and improve recent results in \cite{Zhen Lei,wu}.

研究の動機と目的

• 一般化ナビエ＝ストークス系（GNS）の初期データがフーリエ＝ヘルツ空間 $\chi^{-1}$ に属する任意のものに対し、局所的適切性を確立すること。
• 初期データの $\chi^{-1}$-ノルムが $C\nu$ より小さい場合、GNS系の大域的適切性を証明すること。ここで $C$ は普遍定数である。
• ナビエ＝ストークス系が、解のノルムに追加制限なしに一意的大域解をもつこと、$\|u_0\|_{\chi^{-1}} < \nu$ の条件下で示され、大規模データと一意性に関する未解決問題が解決されること。
• $\chi^{-1}$ が包含関係において $\dot{H}^{\frac{3}{2}-1}$ より厳密に大きいことを示し、$H^1$ 空間に属さない初期データにも適用可能であることを示すこと。
• $BMO^{-1}$、$L^3$、$\dot{B}^{-1+\frac{3}{p}}_{p,\infty}$ 空間における先行結果を $\chi^{-1}$ フレームワークを用いて拡張・改善すること。

提案手法

• 任意の初期データが $\chi^{-1}$ に属する場合の局所的適切性を、$\chi^{-1}$ 空間における収縮写像法を用いて確立する。
• 解は、熱核の半群性質と二重線形作用素 $Q(u,u)$ を用いた、GNS系の弱い形式によって構成される。
• ナビエ＝ストークス系のフーリエ変換をとり、$|\xi|^{-1}d\xi$ に関する $L^1$-型推定を適用することで、フーリエ領域におけるエネルギー推定が得られる。
• 重要なステップとして、時間に関してエネルギー不等式を積分し、$\|u\|_{L^2([0,T];\chi^0)}^2$ を用いて非線形項 $Q(u,u)$ を $\chi^{-1}$-ノルムで制御する。
• 連続性の議論により、$\|u_0\|_{\chi^{-1}} < \nu$ ならば、すべての $t \in [0, T^*)$ に対して $\|u(t)\|_{\chi^{-1}} < \nu$ が成り立つことが示され、爆発が防がれる。
• 解の存続期間は、$\chi^{-1}$-ノルムの一様有界性と $\|u\|_{\chi^1}$ の時間積分可能性に基づくブートストラップ法により、無限大にまで延長される。

実験結果

リサーチクエスチョン

• RQ1 解のノルムが $L^\infty(\mathbb{R}^+; \chi^{-1})$ で小さいことを要請しない条件下で、ナビエ＝ストークス系が $\chi^{-1}$ 空間で大域的になめらかに解をもつことは可能か？
• RQ2 解のノルムに追加制限なしに、$\|u_0\|_{\chi^{-1}} < \nu$ の下でナビエ＝ストークス系の解が時間全域で一意的であることは保証されるか？
• RQ3 $\chi^{-1}$ 空間は、$\dot{H}^{\frac{3}{2}-1}$ に属さない初期データに対しても大域的解を許容するか。これにより、古典的ソボレフ空間を超える拡張が可能か？
• RQ4 一般化ナビエ＝ストークス系の大域的適切性が、解の $L^\infty$ ノルムに依存しない、鋭い閾値 $\|u_0\|_{\chi^{-1}} < \nu$ で証明可能か？
• RQ5 $\chi^{-1}$ 空間は $\dot{H}^{\frac{3}{2}-1}$ より厳密に大きいか。また、$\dot{H}^{\frac{3}{2}-1}$ に属さないが大域的解をもつ初期データを許容するか？

主な発見

• 弱い形式を用いた収縮写像法により、$\chi^{-1}$ に属する任意の初期データに対して、一般化ナビエ＝ストークス系の局所的適切性が確立された。
• 初期データの $\|u_0\|_{\chi^{-1}} < C\nu$ の下で、GNS系の大域的適切性が成立し、解がすべての時間にわたって存在することが保証された。ここで $C$ は普遍定数である。
• ナビエ＝ストークス系に対して、解のノルムに制限なしに大域的かつ一意的解が存在することを、$\|u_0\|_{\chi^{-1}} < \nu$ の下で証明した。これは未解決問題の解決である。
• 論文で提示された構成例により、$f \in \chi^{-1}$ であるが $f \notin \dot{H}^{\frac{3}{2}-1}$ である例が示され、$\chi^{-1}$ が $\dot{H}^{\frac{3}{2}-1}$ より厳密に大きいことが実証された。
• $\|u\|_{L^2([0,T];\chi^0)}^2$ を用いた $\chi^{-1}$-ノルムによる非線形項 $Q(u,u)$ の制御が可能であり、これにより爆発を防ぐ一様有界性が保証され、大域的解の存在が保証された。
• すべての $t \in [0, \infty)$ に対して $\|u(t)\|_{\chi^{-1}} \leq \|u_0\|_{\chi^{-1}} < \nu$ が成り立ち、また $\int_0^\infty \|u(s)\|_{\chi^1} ds < \infty$ が成り立つ。これにより $T^* = \infty$ が導かれる。