[论文解读] 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$ 上，有限能量强解的轴对称三维欧拉方程存在有限时间奇点形成，其方法基于在临界正则性水平上构造近似解，该解可约化为具有爆破解的1D系统。研究还表明，无涡旋解保持全局正则性，这是首次在临界设定下针对真实三维欧拉系统实现此类构造。

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.

研究动机与目标

• 解决三维欧拉方程中有限能量强解有限时间奇点形成的长期悬而未决问题。
• 在非尺度不变且具有各向异性的域上，构造在有限时间内爆破的显式解。
• 证明无涡旋的存在可确保全局正则性，凸显旋涡流与非旋涡流之间的关键差异。
• 通过将三维问题约化为具有已知爆破行为的1D系统，建立一种新的奇点形成方法。
• 阐明正则性与对称性在三维欧拉方程全局适定性中的作用。

提出的方法

• 在临界正则性水平上构造满足已知有限时间爆破行为的1D系统的近似解。
• 使用拉格朗日流映射追踪误差项的演化，并通过霍尔德范数控制其增长。
• 在允许的域 $\Omega_\epsilon$ 上应用椭圆估计，以控制毕奥-萨伐尔定律和速度重构。
• 通过分析轴对称设定下的输运与涡量拉伸动力学，推导误差项的先验估计。
• 利用轴对称欧拉方程的结构，将问题解耦为关于涡量和速度分量的1D系统。
• 通过证明 $\nabla u$ 和 $\omega$ 在 $C^{0,\alpha}$ 范数下有界，证明无涡旋情况下的全局适定性。

实验结果

研究问题

• RQ1 在非尺度不变、各向异性的域上，三维欧拉方程的有限能量强解是否可能在有限时间内形成奇点？
• RQ2 在轴对称三维欧拉方程中，无涡旋是否足以保证全局正则性？
• RQ3 轴对称三维欧拉系统的1D约化是否能捕捉导致有限时间爆破的关键动力学？
• RQ4 域几何——特别是各向异性和缺乏尺度不变性——在奇点形成中起什么作用？
• RQ5 临界正则性水平是否允许构造在 $W^{1,\infty}$ 中保持有界但有限时间内爆破的解？

主要发现

• 对每个 $\epsilon > 0$，在域 $\{(x,y,z) : (1 + \epsilon|z|)^2 \leq x^2 + y^2\}$ 上，存在轴对称三维欧拉方程的有限能量强解，其在有限时间内形成奇点。
• 无涡旋解保持全局正则性，因为 $\nabla u$ 在所有时间均在 $L^\infty$ 中有界。
• 爆破机制依赖于将问题约化为已知具有有限时间爆破的1D系统，随后通过近似解将其提升至三维设定。
• 所构造的解满足 $u \in C^\infty([0,1) \times \Omega_\epsilon)$，且 $\partial_t u$、$u \cdot \nabla u$ 和 $\nabla p$ 在时空上具有霍尔德连续性。
• 解表现出 $\limsup_{t \to 1} \|\nabla u(t, \cdot)\|_{L^\infty} = +\infty$，证实了有限时间梯度爆破。
• 该方法表明，临界正则性类 $W^{1,\infty}$ 对于奇点形成是精确的，凸显了三维欧拉系统与二维版本之间的关键区别。