[論文レビュー] Localisation and compactness properties of the Navier-Stokes global regularity problem

Terence Tao|arXiv (Cornell University)|Aug 4, 2011

Navier-Stokes equation solutions参考文献 46被引用数 11

ひとこと要約

この論文は、周期的、シュワルツ、有限エネルギー、$H^1$ といった異なる関数空間におけるナビエ＝ストークス方程式のグローバル正則性問題のさまざまな定式化の間の含意関係の階層を確立する。$H^1$ における外力付きグローバル適切性が、クラインミレニアム賞に関連するすべての他の標準的定式化、すなわちグローバル正則性を示す。主な貢献は、大規模データおよび長時間挙動を制御する、局所化されたエネルギーおよびエンストロフィー推定の新クラスであり、これが正則性のカテゴリ間の伝達を可能にする。

ABSTRACT

In this paper we establish a number of implications between various qualitative and quantitative versions of the global regularity problem for the Navier-Stokes equations, in the periodic, smooth finite energy, smooth $H^1$, Schwartz, or mild $H^1$ categories, and with or without a forcing term. In particular, we show that if one has global well-posedness in $H^1$ for the periodic Navier-Stokes problem with a forcing term, then one can obtain global regularity both for periodic and for Schwartz initial data (thus yielding a positive answer to both official formulations of the problem for the Clay Millennium Prize), and can also obtain global smooth solutions from smooth $H^1$ data, and global almost smooth solutions from smooth finite energy data. Our main new tools are localised energy and enstrophy estimates to the Navier-Stokes equation that are applicable for large data or long times, and which may be of independent interest.

研究の動機と目的

• 異なる関数空間におけるナビエ＝ストークス方程式のグローバル正則性問題のさまざまな定式化の論理的関係を明確化すること。
• クラインミレニアム賞に関連するすべての標準的定式化を含む、唯一の最小条件である「外力付き$H^1$におけるグローバル適切性」が、他のすべての定式化を含意することを同定すること。
• 大規模データおよび長時間にわたる挙動を制御可能な、新規の局所化エネルギーおよびエンストロフィー推定を開発すること。
• 平滑な$H^1$または有限エネルギーの初期データからでも、完全に滑らかな解が常に得られるわけではないが、グローバルにほぼ滑らかな解が存在することを示すこと。
• 周期的およびシュワルツクラスの解が、外力付き$H^1$適切性から導出可能であることを示すこと。

提案手法

• 論文は、周期的、有限エネルギー、$H^1$、シュワルツの4つの解のクラスを定義し、外力の有無に関わらずそれらの間の含意関係の階層を確立する。
• ダイアディックな空間的および時間的領域におけるナビエ＝ストークス方程式の制御を可能にする、局所化されたエネルギーおよびエンストロフィー推定を導入する。
• 非線形項を分解し、局所化されたノルムを介してそれらを有界化するために、リトルウッド＝パイルの分解およびパラプロダクト推定に依存する。
• 主要な技術的道具は、滑らかで compact な台を持つ切断関数 $\chi$ を用いて解を局所化し、$\Delta u_{1}^{(n)}$ および $\nabla\Delta^{-1}\psi$ の推定を導出することである。
• 発散なしのベクトル場 $u_1^{(n)}$ の列を、球の外部に台を持つように構成し、$\|u_1^{(n)}\|_{H^1} \to 0$ だが $\|u_1^{(n)}\|_{H^2} \to \infty$ となるようにする。これにより、一様な有界性の失敗をテストする。
• 双線形形式 $\int (\partial_i\partial_j \nabla\Delta^{-1}\psi) \Delta u_{1,i} \Delta u_{1,j}$ を分析することで、この項が $n$ のオーダーで増大することを示し、圧力推定の非一様性を証明する。

実験結果

リサーチクエスチョン

• RQ1 外力付き$H^1$クラスにおけるグローバル適切性は、ナビエ＝ストークス問題のすべての他の標準的定式化におけるグローバル正則性を含意するか？
• RQ2 大規模データおよび長時間挙動を制御可能な、局所化されたエネルギーおよびエンストロフィー推定を構築できるか？
• RQ3 平滑な$H^1$または有限エネルギーの初期データからでも、完全に滑らかな解が得られない場合があるのか？
• RQ4 周期的およびシュワルツクラスの解は、外力付き$H^1$適切性から導出可能か？
• RQ5 圧力勾配の役割は、$H^1$設定における一様有界性の失敗にどのように関与しているか？

主な発見

• 外力付き$H^1$クラスにおけるグローバル適切性は、周期的およびシュワルツ初期データにおけるグローバル正則性を含意し、クラインミレニアム賞の2つの定式化を解決する。
• この論文は、平滑な$H^1$または有限エネルギーの初期データからでも、完全に滑らかな解が常に得られるわけではないが、グローバルにほぼ滑らかな解が存在することを証明する。
• 大規模データおよび長時間にわたる挙動に有効な、新規の局所化されたエネルギーおよびエンストロフィー推定のクラスが開発され、独立した関心の対象である。
• $\|u_1^{(n)}\|_{H^1} \to 0$ だが $\|u_1^{(n)}\|_{H^2} \to \infty$ となる列 $u_1^{(n)}$ の構成により、$H^1$ノルムが$H^2$ノルムを一様に制御できないことが示される。
• 双線形形式 $\int (\partial_i\partial_j \nabla\Delta^{-1}\psi) \Delta u_{1,i} \Delta u_{1,j}$ が $n$ のオーダーで増大することから、$H^1$設定では圧力勾配項が一様に有界にできないことが示される。
• この結果は、外力付き$H^1$定式化が、すべての標準的ナビエ＝ストークス正則性問題における普遍的な含意点であることを示唆する。