[論文レビュー] A quantitative formulation of the global regularity problem for the periodic Navier-Stokes equation

Terence Tao|ArXiv.org|Oct 8, 2007

Navier-Stokes equation solutions参考文献 8被引用数 3

ひとこと要約

本稿は、周期的ナビエ＝ストークス方程式の定性的なグローバル正則性予想と、2つの定量的事前評価（短時間 T ≤ 1 とグローバル時間解の両方）の同値性を確立する。ソボレフ空間におけるコンパクト性の議論を用いて、すべての滑らかで発散なしの初期データに対してグローバルな滑らかな解が存在するための必要十分条件は、解のH¹ノルムが時間にわたって一様に有界であること、かつその有界性が初期H¹ノルムにのみ依存することを示す。

ABSTRACT

The global regularity problem for the periodic Navier-Stokes system asks whether to every smooth divergence-free initial datum $u_0: (\R/\Z)^3 o \R^3$ there exists a global smooth solution u. In this note we observe (using a simple compactness argument) that this qualitative question is equivalent to the more quantitative assertion that there exists a non-decreasing function $F: \R^+ o \R^+$ for which one has a local-in-time \emph{a priori} bound $$ \| u(T) \|_{H^1_x((\R/\Z)^3)} \leq F(\|u_0\|_{H^1_x((\R/\Z)^3)})$$ for all $0 < T \leq 1$ and all smooth solutions $u: [0,T] imes (\R/\Z)^3 o \R^3$ to the Navier-Stokes system. We also show that this local-in-time bound is equivalent to the corresponding global-in-time bound.

研究の動機と目的

• グローバル正則性の長年の未解決問題を、定量的表現に再定式化することで解決すること。
• グローバル滑らかな解の定性的な予想が、時間にわたるH¹ノルムの一様事前評価と同値であることを示すこと。
• 局所時間（T ≤ 1 まで）の事前評価が十分に、グローバル正則性を示すことができることを示し、問題を有限時間の推定に還元すること。
• いかなるグローバル正則性の証明または反証も、H¹のような劣臨界ノルムの定量的制御を含まねばならず、純粋な定性的手法では不可能であることを強調すること。
• グローバル正則性の失敗は、H¹ノルムの爆発として現れることを明確にし、反例の具体的な基準を提示すること。

提案手法

• コンパクト時間区間におけるH¹での弱収束とC⁰ₜH¹での強収束に基づくコンパクト性の議論を用いて、局所的およびグローバルな振る舞いを結びつける。
• H¹におけるナビエ＝ストークス方程式の局所的適切性を用いて、初期データの大きさに依存する短時間区間での解の存在を保証する。
• 初期H¹ノルムが有界だが、後続時間におけるH¹ノルムが無限大に発散する解の列を仮定する背理法を用い、コンパクト部分区間における弱収束と強収束の矛盾を導く。
• H¹ノルムが劣臨界であることと、平均値が固定されたとき、解写像がH¹の有界集合上で連続的かつリプシッツ連続的であるという事実を活用する。
• 短時間とグローバルな事前評価の同値性を示し、T=1までの均一な有界性が、すべてのT>1に対しても有効であることを繰り返し適用することで示す。
• 初期H¹ノルム ≤ A であるすべての解について、C⁰ₜH¹ノルムの上界をF(A)と定義し、グローバル正則性がすべてのAに対してF(A) < ∞であることと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 周期的ナビエ＝ストークス方程式のグローバル正則性予想は、時間にわたるH¹ノルムの一様事前評価と同値であるか？
• RQ2 グローバルな滑らかな解の存在は、H¹における短時間（T ≤ 1）の事前評価に還元可能か？
• RQ3 グローバル正則性が失敗した場合、初期データがH¹で有界であっても、解のH¹ノルムが無限大に発散する必要があるか？
• RQ4 初期データu₀ ∈ H¹から解の流れへの写像u₀ ↦ uが、有界集合上でH¹上でグローバルにリプシッツ連続的であることを示せるか？
• RQ5 数値近似とコンパクト性を用いて、有限時間内にF(A)の有界性を検証することは可能か？

主な発見

• 周期的ナビエ＝ストークス方程式のグローバル正則性予想は、すべてのT ∈ (0,1]およびすべての滑らかな解に対して、‖u(T)‖_{H¹} ≤ F(‖u₀‖_{H¹})を満たす非減少数関数Fの存在と同値である。
• 短時間の事前評価（T ≤ 1 まで）はグローバル時間の事前評価と同値であり、片方を示せば他方も示される。
• グローバル正則性予想が失敗する場合、F(A_c) = ∞ だが、すべてのA < A_cに対してF(A) < ∞ となる臨界H¹ノルムレベルA_c < ∞ が存在する。
• 写像u₀ ↦ uはH¹₀(Ω)上で連続的であり、u₀の平均値が固定されたとき、有界集合上でリプシッツ連続的である。
• F(A)は小さいAに対しては有限であり、右連続であるため、正則性の破綻が発生する閾値的挙動を示唆する。
• 与えられたAに対してF(A)の有界性は、数値近似とコンパクト性を用いて有限時間内に検証可能であるが、F(A) = ∞ であることは有限時間内に検証できない。