[論文レビュー] Global Strong Solution for Large Data to the Hyperbolic Navier-Stokes Equation

Alexander Schöwe|arXiv (Cornell University)|Sep 27, 2014

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

ひとこと要約

本稿は、[2]および特殊な[3]次元において、減衰波動方程式理論から導かれる$[$-依存しない減衰推定を用いて、大規模な初期データに対する双曲型ナビエ＝ストークス方程式のグローバルな強い解の存在を確立する。主な貢献は、時間に一様な$[\to 0$のグローバルな緩和極限であり、大規模なデータ条件下で双曲型モデルが古典的ナビエ＝ストークス方程式に収束することを示している。

ABSTRACT

We consider a hyperbolic quasilinear fluid model, that arises from a delayed version for the constitutive law for the deformation tensor in the incompressible Navier-Stokes equation. We prove the existence of global strong solutions for large data including decay rates in $\mathbb{R}^2$ and in the three dimensional special cases known from the classical Navier-Stokes equation. As a corollary we can derive from [Sch12] a global relaxation limit $τ o 0$ uniform in time. Furthermore we give an improved version of the regularity criterion of [FO12].

研究の動機と目的

• 双曲型ナビエ＝ストークスモデルにおける大規模な初期データに対するグローバルな適切性の未解決問題を解消すること。
• 時間に一様な$[\to 0$のグローバルな緩和極限を確立し、双曲型モデルが古典的ナビエ＝ストークス方程式に収束することを示すこと。
• [FO12]の結果を上回る双曲型ナビエ＝ストークス系の正則性基準を改善すること。
• $[\tau$-依存しない小刻み条件を導出し、小規模データから大規模データへの拡張を可能にすること。

提案手法

• 減衰波動方程式の解に対する$[\tau$-依存しない減衰推定を導出し、[RS12b]の小規模データグローバル存在枠組みを適応する。
• 高階導関数を制御するため、$\tau^2\|\nabla^\alpha u_t\|_2^2$、$\tau\mu\|\nabla^\alpha \nabla u\|_2^2$、および$\|\nabla^\alpha u\|_2^2$を含む修正されたエネルギー関数$E_m(t)$を用いたエネルギー推定を実施する。
• KlainermanとPonceの手法を適用し、$\tau$に依存しない小刻み条件を満たすことで、局所解をグローバル解に繰り返し拡張する。
• $\tau$-依存しない減衰率を有する$damped$波動方程式の$L^p$-$L^q$推定を用いて、$\|\nabla^\alpha \partial_t^j v(t,\cdot)\|_q$を評価する。
• 表現式(31)を分析することで、$u_t$の精密な正則性基準を導出し、[FO12]の条件$u, \nabla u, u_t \in L^1((0,T), \dot{B}^{0}_{\infty,\infty})$を、$\operatorname{rot}u \in L^1((0,T), \dot{B}^{0}_{\infty,\infty})$を含むより弱い条件に改善する。
• すべての$t \in [0,\infty)$に対して$\|u^\tau(t) - v(t)\|_{m+2,2} \leq c\tau$および$\|u^\tau_t(t) - v_t(t)\|_{m+1,2} \leq c\sqrt{\tau}$が成り立つことから、双曲型解$u^\tau$が古典的ナビエ＝ストークス解$v$に一様に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 双曲型ナビエ＝ストークス方程式において、$\mathbb{R}^2$および特殊な3次元の場合に、大規模な初期データに対してグローバルな強い解が存在するか？
• RQ2 双曲型ナビエ＝ストークスモデルは、大規模なデータに対しても時間に一様な$\tau \to 0$のグローバルな緩和極限を有するか？
• RQ3 双曲型ナビエ＝ストークス系の正則性基準は、[FO12]の結果を上回って改善可能か？
• RQ4 $[\tau$-依存しない小刻み条件を導出し、小規模データから大規模データへの拡張を可能にすることができるか？
• RQ5 小規模な$\tau$に対して、双曲型モデルの解の減衰率が$\tau$に依存せず一様に保たれ、古典的ナビエ＝ストークス解への一様収束が可能か？

主な発見

• 双曲型ナビエ＝ストークス方程式の$\mathbb{R}^2$および特殊な3次元の場合に、$\tau$に依存しない明示的な減衰率を伴う大規模な初期データに対するグローバルな強い解が存在する。
• 正則性基準は、$\operatorname{rot}u \in L^1((0,T), \dot{B}^{0}_{\infty,\infty})$を要求するよう改善され、[FO12]の条件よりも弱い条件となった。
• 時間に一様な$\tau \to 0$のグローバルな緩和極限が確立され、すべての$t \in [0,\infty)$に対して$\|u^\tau(t) - v(t)\|_{m+2,2} \leq c\tau$および$\|u^\tau_t(t) - v_t(t)\|_{m+1,2} \leq c\sqrt{\tau}$が成り立つ。
• 解の枠組みは、[Mat76]から導かれる減衰波動方程式の$\tau$-依存しない減衰推定に依存しており、これらはグローバル存在のための小刻み条件の検証に用いられている。
• 小規模な$\tau$に対して、解が初期段階で古典的ナビエ＝ストークス解と同様に減衰することを示し、これにより小規模データの古典的グローバル存在結果が大規模データへ拡張可能であることを示した。
• すべての時間$t \in [0,\infty)$に対して有効な境界を提供する点で、先行研究[PR07, Hac12, BNP03]を上回る一様収束結果を達成した。