[論文レビュー] The Euler Equations and Non-Local Conservative Riccati Equations

Peter Constantin|ArXiv.org|Apr 11, 2000

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

ひとこと要約

この論文は、無限の運動エネルギーを有する、非圧縮性3次元Euler方程式の無限次元族の正確で滑らかな解を提示している。これらの解は有限時間で爆発する。垂直方向の渦度成分に関する非局所的保存的リッカチ方程式を用いて、特徴線を介して解の明示的公式が導出され、初期条件が平均ゼロの負の渦度を持つ一般の場合において、解の最大値と最小値が同時に発散することを証明した。これは片側的爆発（最大値のみまたは最小値のみが発散する）を除外する。

ABSTRACT

We present an infinite dimensional family of of exact solutions of the incompressible three-dimensional Euler equations. These solutions, proposed by Gibbon and Ohkitani, have infinite kinetic energy and blow up in finite time.

研究の動機と目的

• 有限時間で爆発する、無限エネルギーを有する非圧縮性3次元Euler方程式の明示的解を構成すること。
• 非自明な渦度構造を有する解における有限時間特異性形成のメカニズムを分析すること。
• 片側的爆発（最小値のみまたは最大値のみが発散する）が一般の初期条件のもとで可能でないことを確立し、数値シミュレーションで提起された疑問に答えること。
• 特徴線法と非局所的リッカチ方程式を用いて、解のダイナミクスを完全に解析的に記述すること。
• 初期渦度がゼロであっても同じ特異性挙動を示すため、速度場の回転（curl）が爆発メカニズムにおいて二次的役割を果たすことを示すこと。

提案手法

• 解はアンザッツにより構成される：u(x,y,z,t) = (u(x,y,t), zγ(x,y,t)) で、γ は周期的で u は発散なし。
• γ の時間発展は非局所的保存的リッカチ方程式に従う：∂γ/∂t + u·∇γ = -γ² + I(t)，ここで I(t) = (2/|Q|)∫γ²dx。
• 渦度 ω は ∂ω/∂t + u·∇ω = γω を満たし、ストリーム関数とポテンシャルを介したポアソン方程式によって u と関連づけられる。
• 特徴線法を用いて系を解き、初期データから導出される位置へのラベル写像 A(x,t) と時間再パrameter化 τ(t) を得る。
• 爆発時間 T* は初期データの二重積分により計算される：T* = (1/|Q|²)∫∫ [1/(γ₀(a)−γ₀(b))] log[(γ₀(a)−m₀)/(γ₀(b)−m₀)] dada。
• 特徴線上の解は γ(X(a,t),t) = α(τ) [γ₀(a)/(1+τγ₀(a)) − φ̄(τ)] と表され、α(τ) と φ̄(τ) は初期データの積分で定義される。

実験結果

リサーチクエスチョン

• RQ1 非圧縮性3次元Euler方程式の正確で滑らかな解で、無限の運動エネルギーを有するものについて、有限時間で爆発するか？
• RQ2 特に渦度と速度成分の観点から、このような解における特異性形成の正確なメカニズムは何か？
• RQ3 一般の初期条件のもとで、片側的爆発（γ の最大値のみまたは最小値のみが発散する）は可能か？
• RQ4 γ 方程式の非局所的リッカチ構造が、グローバルダイナミクスおよび爆発時間にどのように影響するか？
• RQ5 渦度 ω は爆発過程において本質的か、それとも分離可能か？

主な発見

• 滑らかで平均ゼロの初期データ γ₀(x) ∈ C∞(𝕋²) および min(γ₀) = m₀ < 0 を有する解は、有限時間 T* で爆発する。
• 爆発時間は明示的に T* = (1/|Q|²)∫∫ [1/(γ₀(a)−γ₀(b))] log[(γ₀(a)−m₀)/(γ₀(b)−m₀)] dada で与えられる。
• γ の最大値と最小値が同時に発散する：T* で max(γ) → +∞ および min(γ) → −∞ となるため、片側的爆発は不可能である。
• 時間的爆発速度は漸近的に T* − t ∼ (τ* − τ)(1 + log(1/(τ* − τ)))² と表され、τ* = −1/m₀ である。
• 特徴線上の解は γ(X(a,t),t) = α(τ) [γ₀(a)/(1+τγ₀(a)) − φ̄(τ)] で与えられ、τ → τ* のとき α(τ) ∼ (log(τ* − τ))⁻² および φ̄(τ) ∼ −C/(τ* − τ) log(1/(τ* − τ)) となる。
• 流れ写像のヤコビアンは J(a,t) = [1/(1+τγ₀(a))] / (1/|Q|∫ da/(1+τγ₀(a))) で与えられ、爆発以前には体積保存および可逆性を保証する。