[論文レビュー] Regularity Criterion to the axially symmetric Navier-Stokes Equations

Dongyi Wei|arXiv (Cornell University)|Aug 13, 2015

Navier-Stokes equation solutions参考文献 15被引用数 4

ひとこと要約

本稿では、初期のスワイル成分 $ r u_{\theta} $ が $ L^\infty $ で十分に小さい、または軸に近い領域で $ |r u_{\theta}| \leq |\ln r|^{-3/2} $ である場合に、軸対称ナビエ＝ストークス方程式に対してグローバルな存在と滑らかさを示す、新たな正則性基準を確立する。主な結果は、対称軸付近の挙動を捉えるために対数的で小さな条件を導入することで、従来の基準を改善したものである。

ABSTRACT

Smooth solutions to the axially symmetric Navier-Stokes equations obey the following maximum principle:$\|ru_θ(r,z,t)\|_{L^\infty}\leq\|ru_θ(r,z,0)\|_{L^\infty}.$ We first prove the global regularity of solutions if $\|ru_θ(r,z,0)\|_{L^\infty}$ or $ \|ru_θ(r,z,t)\|_{L^\infty(r\leq r_0)}$ is small compared with certain dimensionless quantity of the initial data. This result improves the one in Zhen Lei and Qi S. Zhang \cite{1}. As a corollary, we also prove the global regularity under the assumption that $|ru_θ(r,z,t)|\leq\ |\ln r|^{-3/2},\ \ \forall\ 0

研究の動機と目的

• 初期のスワイル成分 $ r u_\theta $ に対するより弱い小さな条件の下で、軸対称ナビエ＝ストークス方程式のグローバル正則性を確立すること。
• 対称軸付近での対数的減衰推定を組み込むことで、既存の正則性基準を改善すること。
• $ \|r u_\theta\|_{L^\infty(r \leq r_0)} $ または $ \|r u_\theta(\cdot,0)\|_{L^\infty} $ の小さな性質がグローバルな適切な存在を示すこと。
• 小径 $ r $ に対して $ |r u_\theta| \leq |\ln r|^{-3/2} $ であるという鋭い条件を導出し、グローバル正則性を保証すること。

提案手法

• $ \Gamma = r u_\theta $ に対する最大原理を導出し、$ \|\Gamma\|_{L^\infty} \leq \|\Gamma_0\|_{L^\infty} $ を示すことで、時間経過に伴うスワイル成分の制御を行う。
• 軸対称設定における渇きのダイナミクスを解析するため、補助変数 $ \Omega = \omega_\theta / r $ と $ J = \omega_r / r $ を導入する。
• エネルギーの減衰を追跡し、爆発を防ぐために、リャプノフ型汎関数 $ A(t) = \|J(t)\|_{L^2}^2 + \frac{1}{2}\varepsilon^{2/3}\|\Omega(t)\|_{L^2}^2 $ を構築する。
• 関数 $ K(\varepsilon) $ と $ K_0(\varepsilon) $ を用いた新しい対数的スケーリングにより、$ r=0 $ 付近での小さな性質を扱い、鋭い推定を可能にする。
• エネルギー恒等式と微分不等式の技法を用いて、$ \|\nabla u(t)\|_{L^2} $ を有界化し、グローバル存在を保証する。
• $ F(A(t)) $ を用いた比較議論により、$ A(t) $ の増大を制御し、$ \|\Omega(t)\|_{L^2} $ と $ \|J(t)\|_{L^2} $ に対する一様有界性を導く。

実験結果

リサーチクエスチョン

• RQ1 $ r u_\theta $ がどのような小さな性質を満たす場合に、軸対称ナビエ＝ストークス系はグローバル正則性を保つのか。
• RQ2 初期データが軸の近傍でのみ小さな場合、正則性基準を改善できるか。
• RQ3 小径 $ r $ に対して $ |r u_\theta| \leq |\ln r|^{-3/2} $ である条件が、グローバル存在と滑らかさを保証するか。
• RQ4 小さな性質の対数的スケーリングが、爆発時間とエネルギー推定にどのように影響するか。
• RQ5 初期データに依存する部分を、空間的局在性に依存しない $ \|\Gamma_0\|_{L^\infty} $ のみに削減できるか。

主な発見

• グローバル正則性は、$ \|\Gamma\|_{L^\infty(r \leq r_0)} \leq \left(1 + \ln\left(C_0 \max\{M_0^{1/4}, r_0^{-1/2} M_1\} + 1\right)\right)^{-3/2} $ を満たす場合に確立される。ここで $ M_0 $ と $ M_1 $ は初期データの次元なしのノルムである。
• この基準は [10] の結果を改善しており、$ \|\Gamma_0\|_{L^\infty} \leq (1 + \ln(C_0 M_0^{1/4} + 1))^{-3/2} $ の条件下で、初期の $ L^\infty $ ノルム $ \Gamma_0 $ のみに依存する。
• 系1.1は、すべての $ 0 < r \leq \delta_0 \in (0,1/2) $ に対して $ |r u_\theta(r,z,t)| \leq |\ln r|^{-3/2} $ が成り立つ場合にグローバル正則性を証明する。これは鋭い対数的減衰条件である。
• 証明は、新たな汎関数 $ F(A(t)) $ と $ K(\varepsilon) $ を用いた対数的スケーリングに依存しており、$ r=0 $ 付近の特異な挙動を扱えるようにする。
• この手法により、$ \|\Omega(t)\|_{L^2} $ と $ \|J(t)\|_{L^2} $ に対する一様有界性が保証され、爆発を防ぎ、グローバル存在を確認する。
• 結果は微小な摂動に対して頑健であり、$ \|\Gamma_0\|_{L^\infty} $ が有限で $ H^2 $ に属する初期データに適用可能である。