[論文レビュー] Quantitative bounds for critically bounded solutions to the Navier-Stokes equations

Terence Tao|arXiv (Cornell University)|Aug 14, 2019

Navier-Stokes equation solutions参考文献 17被引用数 16

ひとこと要約

本稿は、3次元ナビエ＝ストークス方程式の古典的解について、臨界的 $ L^3_x $ 範数の有界性のもとで、初めて定量的な上限を与える。コンpaktnessに基づく定性的な議論を、定量的なCarleman不等式と二重周波数分解に置き換える。解の $ L^3 $ 範数が有限時間 blowup 近傍で、少なくとも $ (/\log\log\log \frac{1}{T_*-t})^c $ の速度で発散することを示し、正則性推定における三重指数的依存関係を確認する。

ABSTRACT

We revisit the regularity theory of Escauriaza, Seregin, and Šverák for solutions to the three-dimensional Navier-Stokes equations which are uniformly bounded in the critical $L^3_x(\mathbf{R}^3)$ norm. By replacing all invocations of compactness methods in these arguments with quantitative substitutes, and similarly replacing unique continuation and backwards uniqueness estimates by their corresponding Carleman inequalities, we obtain quantitative bounds for higher regularity norms of these solutions in terms of the critical $L^3_x$ bound (with a dependence that is triple exponential in nature). In particular, we show that as one approaches a finite blowup time $T_*$, the critical $L^3_x$ norm must blow up at a rate $(\log\log\log \frac{1}{T_*-t})^c$ or faster for an infinite sequence of times approaching $T_*$ and some absolute constant $c>0$.

研究の動機と目的

• 古典的解の3次元ナビエ＝ストークス方程式に対する、一様な $ L^3_x $ 範数の有界性のもとでの定量的正則性推定を提供すること。
• Escauriaza-Seregin-Šverák の正則性理論における定性的なコンパクトネス的議論を、完全に定量的な代替手段に置き換えること。
• 臨界的 $ L^3 $ 範数の観点から、高階微分係数の明示的で三重指数的上限を導出すること。
• 有限時間特異点近傍での $ L^3 $ 範数の爆発速度に対する鋭い定量的下界を確立すること。

提案手法

• 一意的拡張性および後向き一意性のための定量的Carleman不等式を、コンパクトネスに基づくプロファイル分解に代えて用いる。
• vorticity方程式における非線形項を制御するため、dyadic Littlewood-Paley分解を用いる。
• vorticity進化方程式から導かれるエネルギー型推定式にGronwallの不等式を適用する。
• 高周波成分を周波数局在型 $ L^\rho $ 推定と補間によって制御する。
• 爆発近傍の漸近的解析を簡素化するため、問題を $ T_* = 1 $ にスケーリングする。
• 爆発速度が許容範囲より遅いと仮定し、$ L^2_t L^\rho_x $ 有界性を用いて矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 Escauriaza, Seregin, Šverák の定性的正則性基準を、$ L^3_x $ 範数の有界性に関して定量的にできるか？
• RQ2 $ L^\rho_t L^3_x $ で有界な解について、高階微分係数の成長に対する最良の定量的上界は何か？
• RQ3 $ L^3 $ 範数の爆発速度を定量的に特定できるか？ 有限時間爆発と整合する最も遅い速度は何か？
• RQ4 Carleman不等式を用いて、ナビエ＝ストークス方程式の正則性理論におけるコンパクトネスをどのように置き換えられるか？
• RQ5 正則性ノルムが臨界的 $ L^3 $ 範数にどのように依存するか？ そして、それを明示的にできるか？

主な発見

• 古典的解で $ \|u\|_{L^\infty_t L^3_x} \leq A $ を満たすものについて、$ u $, $ \nabla u $, $ \omega $, および $ \nabla \omega $ の $ L^\infty_x $ ノルムは、$ j=0,1 $ に対して $ \exp(\exp(\exp(A^{O(1)}))) t^{-(j+1)/2} $ で有界である。
• エネルギー $ E(t) = \|\omega^{\text{nlin}}\|_{L^2_x}^2 $ は、$ [3/4,1] $ において $ E(t) \lesssim N_*^{O(1)} $ を満たす。ここで $ N_* $ は $ L^3 $ 範数に関連する周波数閾値である。
• $ L^3_x $ 範数は、$ t \to T_*^- $ のとき、ある絶対定数 $ c>0 $ に対して、少なくとも $ (\log\log\log \frac{1}{T_*-t})^c $ の速度で爆発する必要がある。
• 爆発速度は鋭い。なぜなら、より遅い速度は $ L^2_t L^\infty_x $ 有界性を介して矛盾を引き起こし、既知の爆発基準に反するからである。
• 本手法はプロファイル分解を回避し、周波数局在型推定とGronwallの不等式を用いることで、三重指数的定量的上限を達成する。
• 結果は正則性理論を介してより弱い解（例：適切な弱解）へと拡張可能であり、$ L^3 $ 範数への同一の定量的依存関係が成り立つ。