[论文解读] 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

一句话总结

本文提出一个用于轴对称几何下三维不可压缩欧拉方程的1D模型，聚焦于固体边界附近的奇点形成。证明了局部适定性，并在速度场满足凸性条件时建立了有限时间爆破，为研究三维欧拉流中数值观测到的潜在奇点提供了一个简化的框架。

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).

研究动机与目标

• 通过简化后的1D模型分析三维不可压缩欧拉方程中有限时间奇点形成的潜在机制。
• 在零均值函数空间中建立1D模型的局部适定性。
• 研究速度场的凸性条件是否导致模型中有限时间爆破。
• 提供一个理论框架，或可为完整三维欧拉问题的分析提供参考。
• 通过将模型与轴对称流中奇点形成的数值观测相联系，验证1D模型的相关性。

提出的方法

• 通过将动力学限制在柱坐标系中 $ r=1 $ 的边界上，构建了三维不可压缩欧拉方程的1D模型。
• 通过如下系统定义模型：$ u_t + v u_z = 0 $，$ ho_t + v ho_z = u_z $，其中非局部速度满足 $ v_z = H ho $，$ H $ 为希尔伯特变换。
• 施加周期性边界条件和零均值初始数据，以确保物理一致性与数学可处理性。
• 采用光滑初始数据方法构造近似解，并在索伯列夫范数下证明收敛性。
• 应用格朗沃尔不等式与能量估计控制解的增长，建立一致有界性。
• 依赖索伯列夫嵌入与庞加莱不等式，将希尔伯特变换的 $ L^rown $ 范数与高阶索伯列夫范数关联。

实验结果

研究问题

• RQ1 1D模型能否捕捉到三维轴对称欧拉流在固体边界附近观测到的有限时间爆破行为？
• RQ2 在速度场的何种条件下，1D模型会表现出有限时间奇点形成？
• RQ3 1D模型在零均值函数的索伯列夫空间中是否具有局部适定性？
• RQ4 基于希尔伯特变换的涡量 $ L^rown $ 范数积分的爆破准则是否能确定解的最大存在时间？
• RQ5 该模型的爆破动力学是否可与数值模拟中观测到的自相似行为相联系？

主要发现

• 该1D模型在零均值函数的 $ W^m $ 空间中具有局部适定性，解的存在时间区间取决于初始数据的正则性。
• 若 $ extstyleigint_{0}^{T} igl Vert H ilde{ ho}(t) igr Vert_{L^rown} dt = rown $，则发生有限时间爆破，表明涡量的希尔伯特变换无界增长将导致正则性丧失。
• 若 $ extstyleigint_{0}^{T} igl floor H ilde{ ho}(t) igr Vert_{L^rown} dt < rown $，则解在 $ W^m $ 中保持一致有界，且可延拓至时间 $ T $ 之后。
• 解在时间上保持 $ C^1 $，在空间上保持 $ W^m $，直至最大存在时间，且光滑化解收敛于真实解。
• 爆破准则具有最优性：若 $ H ilde{ ho} $ 的 $ L^rown $ 范数积分发散，则解无法在 $ CV^m $ 中继续延拓至该时间之后。
• 该模型支持了在点 $ (1,0) $ 附近观测到自相似爆破的数值结果，表明1D系统捕捉到了三维奇点机制的关键特征。