[论文解读] Finite time blowup for Lagrangian modifications of the three-dimensional Euler equation

Terence Tao|arXiv (Cornell University)|Jun 27, 2016

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

一句话总结

本文通过构造阶数为 -2 的广义向量势算子 A，证明了在保留原始欧拉方程关键几何与守恒性质的前提下，拉格朗日修正的三维欧拉方程平滑解中存在有限时间爆破。尽管如此，三种不同的构造方法——包括在 ℝ³ 上的自伴正定算子——均导致解在有限时间内形成奇点，表明仅凭这些结构性质无法证明全局正则性。

ABSTRACT

In the language of differential geometry, the incompressible inviscid Euler equations can be written in vorticity-vector potential form as \begin{align*} \partial_t ω+ {\mathcal L}_u ω&= 0\\ u &= δ ilde η^{-1} Δ^{-1} ω\end{align*} where $ω$ is the vorticity $2$-form, ${\mathcal L}_u$ denotes the Lie derivative with respect to the velocity field $u$, $Δ$ is the Hodge Laplacian, $δ$ is the codifferential (the negative of the divergence operator), and $ ilde η^{-1}$ is the canonical map from $2$-forms to $2$-vector fields induced by the Euclidean metric $η$. In this paper we consider a generalisation of these Euler equations in three spatial dimensions, in which the vector potential operator $ ilde η^{-1} Δ^{-1}$ is replaced by a more general operator $A$ of order $-2$; this retains the Lagrangian structure of the Euler equations, as well as most of its conservation laws and local existence theory. Despite this, we give three different constructions of such an operator $A$ which admits smooth solutions that blow up in finite time, including an example on ${\bf R}^3$ which is self-adjoint and positive definite. This indicates a barrier to establishing global regularity for the three-dimensional Euler equations, in that any such method must use some property of those equations that is not shared by the generalised Euler equations considered here.

研究动机与目标

• 研究三维欧拉方程的拉格朗日结构与守恒律是否足以保证全局正则性。
• 构造一类广义欧拉型方程，其向量势算子 A 阶数为 -2，且保留原系统的几何与守恒性质。
• 在满足强结构约束（如自伴性与正定性）的情况下，证明此类广义系统中仍存在有限时间爆破。
• 识别出证明经典三维欧拉方程全局正则性的根本障碍，表明任何此类证明必须依赖于这些广义模型所不具备的性质。

提出的方法

• 使用微分几何形式化广义欧拉方程，以旋度-向量势形式表达系统，其中算子 A 为阶数 -2 的一般形式。
• 利用李导数 L_u 保持原始欧拉方程的拉格朗日结构。
• 通过修改毕奥-萨伐尔定律，构造三种不同的算子 A，其中一种在 ℝ³ 上自伴且正定。
• 应用能量估计与旋度 ω 及辅助函数的输运方程，追踪奇点的演化。
• 采用柱坐标系与局部坐标系（如 (w¹,w²,w³)_{rsc}）分析解的紧支集与传播特性。
• 运用紧致性与连续性论证，表明解无法保持在扩张区域内的紧支集内，从而导致矛盾并引发爆破。

实验结果

研究问题

• RQ1 在保留原始欧拉方程拉格朗日结构与守恒律的广义三维欧拉方程中，是否可能发生有限时间爆破？
• RQ2 能否构造一个阶数为 -2 的自伴正定算子 A，仍导致光滑解在有限时间内爆破？
• RQ3 仅靠欧拉方程的守恒律与几何结构是否足以防止爆破，还是需要额外的、更具体的性质？
• RQ4 鉴于经典三维欧拉方程的广义模型中缺失这些性质，其全局正则性所依赖的关键结构特征是什么？

主要发现

• 在保留拉格朗日结构的广义三维欧拉方程中，即使算子 A 自伴且正定，其光滑解仍可在有限时间内爆破。
• 提供了三种不同的 A 算子构造，每种均导致有限时间爆破，其中一种在 ℝ³ 上构造，不依赖边界或周期性结构。
• 爆破机制依赖于解支集无法保持在扩张空间区域内的失败，通过输运与支集传播论证导致矛盾。
• 旋度 ω 保持紧支集并依输运方程演化，但因修正的向量势 A 的影响，速度场 u 在有限时间内变得无界。
• 该构造表明，经典三维欧拉方程的全局正则性无法仅通过守恒律与几何结构来证明，因为这些性质在爆破模型中同样存在。
• 结果意味着，任何对三维欧拉方程全局正则性的证明，都必须依赖于这些广义模型所不具备的性质，例如毕奥-萨伐尔定律的具体形式。