[論文レビュー] Blow Ups of Complex Solutions of the 3D-Navier-Stokes System

Dong Li, Yakov G. Sinai|ArXiv.org|Oct 13, 2006

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

ひとこと要約

本稿は、外部力のない3次元非圧縮性ナビエ＝ストークス系の複素数値解に対して、10パラメータの初期条件族にルーティンの群変換法を適用することで、有限時間 blow-up が発生することを示している。特定の初期データに対して、解は有限時間内に特異性を示し、エネルギーとエーンストロフィーが無限大に発散するが、blow-up 時に近づくにつれ、拡張する空間領域の外側では指数関数的に減衰する。

ABSTRACT

We consider complex-valued solutions of the three-dimensional Navier-Stokes system without external forcing on $R^3$. We show that there exists an open set in the space of 10-parameter families of initial conditions such that for each family from this set there are values of parameters for which the solution develops blow up in finite time.

研究の動機と目的

• エネルギー不等式によって除外されない限り、3次元ナビエ＝ストークス系の複素数値解において有限時間 blow-up が発生するかどうかを調査すること。
• 解が実数値であるという制約を撤廃することで、古典的ナビエ＝ストークス枠組みを拡張し、新たな解析的手法を可能とすること。
• 局所的解の存在と減衰推定が成り立つにもかかわらず、10パラメータ族の初期条件のうち、解が有限時間内に blow-up を示すものが存在することを確立すること。
• blow-up 時に近づく解の漸近的挙動、特にエネルギーとエーンストロフィーの増大を分析すること。
• ルーティンの群変換法を用いて、特異性形成を引き起こす臨界パラメータ値を同定すること。

提案手法

• 解を振幅パラメータ A のべき級数として展開し、フーリエ空間におけるナビエ＝ストークス方程式から係数 h_p(k,s) を再帰的に決定する。
• ルーティンの群変換法を用いて、スケーリング変換下でのべき級数係数 h_p(k,s) の挙動を分析する。
• blow-up 発生のタイミングを制御するスケーリング関数 Λ(t) の逆数として、臨界振幅 A_cr(t) を特定する。
• 解を k → k√s にスケーリングすることで、特異性近傍での自己相似性を調べ、エネルギーが κ^(0)p/√t を中心とする O(√p) のサイズの領域に集中することを明らかにする。
• ヘルミート多項式を用いてべき級数項の構造を表現し、その直交性および畳み込み性質を活用して非線形相互作用を正確に計算する。
• 反復的なパラメータ族の精密化 (S^(n)) に依存し、級数の収束と blow-up 条件の制御を実現する。

実験結果

リサーチクエスチョン

• RQ1 エネルギー不等式によって除外されない限り、3次元ナビエ＝ストークス系の複素数値解において、有限時間 blow-up が発生しうるか？
• RQ2 ルーティンの群変換法は、特異性形成を引き起こす臨界初期条件を同定する上で果たす役割は何か？
• RQ3 解が blow-up 時刻 t に近づくにつれて、エネルギーとエーンストロフィーはどのように振る舞うか？
• RQ4 特に集中領域としての空間的・時間的構造は何か、blow-up 時に近づく解の近傍でどうなっているか？
• RQ5 10パラメータ族の初期条件において、blow-up が厳密に確立可能であるか。また、臨界振幅のスケーリング挙動はいかなるものか？

主な発見

• 10パラメータ初期条件族の空間において、有限時間 blow-up が発生する開集合が存在する。
• blow-up 時刻 t において、エネルギー E(t) とエーンストロフィー Ω(t) の両方が無限大に発散するが、t' < t に対しては有限のままである。
• blow-up 時刻 t に近づくと、エネルギーは E(t') ∼ (ln(Δt)^{-1}/Δt)^6、エーンストロフィーは Ω(t') ∼ (ln(Δt)^{-1}/Δt)^8 と増大する。ここで Δt = t - t' > 0 である。
• blow-up 時に近づくにつれ、解は拡張する空間領域の外側で指数関数的に減衰し、顕著な振幅を示す領域は O(ln(Δt)^{-1}/Δt) のスケールで拡大する。
• 臨界振幅 A_cr(t) は A_cr(t) = Λ^{-1}(t) で与えられ、解への主要寄与は p ≤ O(ln(Δt)^{-1}/Δt) の項から生じる。
• blow-up 近傍では解は自己相似的構造を示し、べき級数の p 番目の項は κ^(0)p/√t を中心とする O(√p) のサイズの領域に集中しており、その値のオーダーは O(p) である。