[論文レビュー] On the Finite-Time Blowup of a 1D Model for the 3D Incompressible Euler Equations

Thomas Y. Hou, Guo Qing Luo|arXiv (Cornell University)|Nov 11, 2013

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

ひとこと要約

本稿は、軸対称幾何における3次元非圧縮性Euler方程式の1次元モデルを提案し、固体境界付近における特異性形成に注目する。凸性条件のもとで局所的well-posednessを証明し、有限時間 blowup を確立し、3次元Euler流れにおける数値的に観測された可能性のある特異性を研究する簡略化されたフレームワークを提供する。

ABSTRACT

We study a 1D model for the 3D incompressible Euler equations in axisymmetric geometries, which can be viewed as a local approximation to the Euler equations near the solid boundary of a cylindrical domain. We prove the local well-posedness of the model in spaces of zero-mean functions, and study the potential formation of a finite-time singularity under certain convexity conditions for the velocity field. It is hoped that the results obtained on the 1D model will be useful in the analysis of the full 3D problem, whose loss of regularity in finite time has been observed in a recent numerical study (Luo and Hou, 2013).

研究の動機と目的

• 3次元非圧縮性Euler方程式における有限時間特異性形成の可能性を、簡略化された1次元モデルを用いて分析すること。
• ゼロ平均関数の空間における1次元モデルの局所的well-posednessを確立すること。
• 速度場の凸性条件が、モデルにおける有限時間 blowup を引き起こす条件を調査すること。
• 3次元Euler問題の解析に役立つ理論的枠組みを提供すること。
• 1次元モデルが軸対称流れにおける数値的観測と結びつくことで、その妥当性を検証すること。

提案手法

• 円筒領域における境界 $ r=1 $ に制限することで、3次元非圧縮性Euler方程式の1次元モデルを定式化する。
• 次の系によりモデルを定義する：$ u_t + v u_z = 0 $, $ ho_t + v ho_z = u_z $、非局所的速度 $ v_z = H ho $、ここで $ H $ はHilbert変換を表す。
• 周期的境界条件とゼロ平均初期データを課すことにより、物理的整合性と数学的取り扱いやすさを確保する。
• 滑らか化された初期データを用いたアプローチにより近似解を構成し、Sobolevノルムにおける収束を証明する。
• Gronwallの不等式とエネルギー推定を用いて解の成長を制御し、一様な境界を確立する。
• Sobolev埋め込みとPoincaré不等式を用いて、Hilbert変換の $ L^rown $ ノルムと高階Sobolevノルムとの関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 1次元モデルは、固体境界付近における3次元軸対称Euler流れで観測された有限時間 blowup 挙動を捉えられるか？
• RQ2 速度場にどのような条件下で1次元モデルは有限時間特異性形成を示すか？
• RQ3 1次元モデルはゼロ平均関数のSobolev空間で局所的well-posedか？
• RQ4 Hilbert変換の渦度の $ L^rown $ ノルムの積分に基づくblowup基準は、最大存在時間を決定するか？
• RQ5 モデルのblowupダイナミクスは、数値シミュレーションで観測された自己相似性と結びつけられるか？

主な発見

• ゼロ平均関数の $ W^m $ 空間において、1次元モデルは局所的well-posedであり、解は初期データの正則性に依存する時間区間で存在する。
• 有限時間 blowup が発生するのは、$ extstyleigint_{0}^{T} igl Vert H ilde{ ho}(t) igr Vert_{L^rown} dt = rown $ である場合であり、これは渦度のHilbert変換の無限大への成長が正則性の喪失を引き起こすことを示している。
• もし $ extstyleigint_{0}^{T} igl floor H ilde{ ho}(t) igr Vert_{L^rown} dt < rown $ であれば、解は $ W^m $ で一様に有界であり、時間 $ T $ を超えて拡張可能である。
• 解は最大存在時間まで時間に関して $ C^1 $ かつ空間に関して $ W^m $ にとどまり、滑らか化された解が真の解に収束する。
• blowup基準は鋭い：$ H ilde{ ho} $ の $ L^rown $ ノルムの積分が発散する場合、解はその時刻以降に $ CV^m $ で継続できず、解の延長は不可能である。
• モデルは、点 $ (1,0) $ のコーナー付近で自己相似的blowupが観測されたという数値的観測を支持しており、1次元系が3次元特異性メカニズムの主要な特徴を捉えている可能性を示唆している。