[論文レビュー] Finite-time Singularity formation for Strong Solutions to the axi-symmetric $3D$ Euler Equations

Tarek M. Elgindi, In‐Jee Jeong|arXiv (Cornell University)|Feb 26, 2018

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

ひとこと要約

本稿は、非スケーリング不変で異方的な領域 $(1 + \epsilon|z|)^2 \leq x^2 + y^2$ 上における軸対称3次元Euler方程式の有限エネルギー強解に対して、有限時間内に特異点が形成されることを証明している。特異点形成の根拠は、既知の有限時間 blow-up を示す1次元系に還元される、臨界正則性レベルにおける近似解の新規構成である。また、渦度がゼロの解は常に大域的正則性を保つことが示され、これは実際の3次元Euler系において臨界設定下で初めてのこのような構成である。

ABSTRACT

For all $ε>0$, we prove the existence of finite-energy strong solutions to the axi-symmetric $3D$ Euler equations on the domains $ \{(x,y,z)\in\mathbb{R}^3: (1+ε|z|)^2\leq x^2+y^2\}$ which become singular in finite time. We further show that solutions with 0 swirl are necessarily globally regular. The proof of singularity formation relies on the use of approximate solutions at exactly the critical regularity level which satisfy a $1D$ system which has solutions which blow-up in finite time. The construction bears similarity to our previous result on the Boussinesq system \cite{EJB} though a number of modifications must be made due to anisotropy and since our domains are not scale-invariant. This seems to be the first construction of singularity formation for finite-energy strong solutions to the actual $3D$ Euler system.

研究の動機と目的

• 3次元Euler方程式の有限エネルギー強解における有限時間特異点形成という長年の未解決問題を解消すること。
• スケーリング不変でなく、異方的である領域上での有限時間 blow-up を示す明示的解の構成。
• 渦度の不在が、軸対称3次元Euler方程式において大域的正則性を保証することの証明。これにより、渦を伴う流れと伴わない流れの間の重要な相違が浮き彫りになる。
• 3次元問題を、既知の blow-up 動作を示す1次元系に還元する新しい特異点形成手法の確立。
• 正則性と対称性が3次元Euler方程式の大域的適切性に果たす役割の明確化。

提案手法

• 臨界正則性レベルにおける近似解を構成し、有限時間 blow-up を示す既知の1次元系を満たす。
• 誤差項の時間発展を追跡し、 Hölder 範囲を用いてその成長を制御するラグランジュ的流れ写像を用いる。
• 領域 $\Omega_\epsilon$ 上で楕円的推定を適用し、Biot-Savart則と速度再構成の制御を行う。
• 軸対称設定下での輸送および渦度伸長ダイナミクスを分析することで、誤差項に対する事前推定を導出する。
• 軸対称Euler方程式の構造を活用し、渦度および速度成分の1次元系への問題の分離を行う。
• 渦度 $\nabla u$ と $\omega$ が $C^{0,\alpha}$ 範囲で有界であることを示すことにより、無渦状態の下での大域的適切性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非スケーリング不変で異方的な領域上における、3次元Euler方程式の有限エネルギー強解が有限時間内に特異点を形成できるか？
• RQ2 軸対称3次元Euler方程式において、渦度がゼロであることの有無が、大域的正則性を保証するのに十分か？
• RQ3 軸対称3次元Euler方程式の1次元還元が、有限時間 blow-up に至る本質的ダイナミクスを捉えられるか？
• RQ4 特に異方性およびスケーリング不変性の欠如を特徴とする領域幾何が、特異点形成に果たす役割は何か？
• RQ5 臨界正則性レベルでは、$W^{1,\infty}$ に留まるが有限時間内に blow-up を示す解の構成が可能か？

主な発見

• 任意の $\epsilon > 0$ に対して、領域 $\{(x,y,z) : (1 + \epsilon|z|)^2 \leq x^2 + y^2\}$ 上における軸対称3次元Euler方程式の有限エネルギー強解が存在し、有限時間内に特異点に達することを示した。
• 渦度がゼロの解は、すべての時間で $\nabla u$ が $L^\infty$ で有界であるため、大域的正則性を保つ。
• 特異点形成のメカニズムは、既知の有限時間 blow-up を示す1次元系への還元に依拠しており、近似解を介して3次元設定に持ち上げられる。
• 構成された解は $u \in C^\infty([0,1) \times \Omega_\epsilon)$ を満たし、$\partial_t u$、$u \cdot \nabla u$、および $\nabla p$ が空間時間で Hölder 連続である。
• $\limsup_{t \to 1} \|\nabla u(t, \cdot)\|_{L^\infty} = +\infty$ を示し、有限時間内に勾配が blow-up することを確認した。
• 本手法により、特異点形成において臨界正則性クラス $W^{1,\infty}$ が厳密であることが示され、3次元Euler方程式が2次元系とは明確に異なることを示した。