Euler Singularities I: Boundary Blow-Up for Smooth Exact-Odd Axisymmetric Euler with Swirl

技术摘要：欧拉奇点 I：带旋光滑精确奇对称轴对称欧拉流的边界爆破

问题陈述
本文探讨了数学流体力学中的核心未解问题：光滑三维不可压缩欧拉流在有限时间内奇点形成的机制。具体而言，研究聚焦于具有固体边界的周期圆柱内的带旋轴对称流类。尽管 Beale–Kato–Majda (BKM) 准则确立了奇点形成等价于涡量（或速度梯度）$L^\infty$ 范数的爆破，但光滑数据下此类爆破的机制尚未得到证明。Luo 和 Hou 先前的数值工作暗示了潜在的边界奇点，而 Chen 和 Hou 近期的严格结果利用了计算机辅助方法。本文旨在提供一种结构性的解析证明，证实有限时间边界奇点的形成，且不依赖数值验证，重点关注侧壁附近的特定“双曲”放大机制。

方法论与框架
该构造依赖于一个动力学不变初始数据类，其特征是关于赤道平面 $z=0$ 的精确奇对称性：
$$\Gamma(r, -z, t) = -\Gamma(r, z, t), \quad G(r, -z, t) = -G(r, z, t)$$
其中 $\Gamma = r u_\theta$ 为角动量，$G = \omega_\theta / r$ 为涡量比。该对称性将驻点固定在侧壁 $(r, z) = (1, 0)$ 处，并简化了边界条件。

核心方法论涉及五维提升流函数重构。子午向速度通过方程 $-\Delta_5 \phi = G$ 从 $G$ 重构，其中 $\Delta_5$ 是四个横向维度加轴向方向的径向拉普拉斯算子。在侧壁附近（$r=1$），不可穿透条件（$u_r=0$）意味着 $\phi$ 满足狄利克雷条件。

证明围绕使用“波包”语言的簇不变论证构建：

1. 核分析：作者推导了侧壁狄利克雷参数解，表明压缩率 $\sigma(t) = -\partial_z u_z(1,0,t)$ 的主导有效核为：
   $$K_0(x, y) = C_0 \frac{xy}{(x^2 + y^2)^2}, \quad C_0 > 0$$
   其中 $x = 1-r$，$y=z$。该核在 $x, y > 0$ 时为正，且在 $y$ 上为奇函数，从而为 $G$ 的“奇”波包创造了正反馈回路。
2. 二进簇构造：通过动力学选择的二进角簇分析解。该簇吸收同尺度碎片、增长的二进窗口以及远场尾部。构造使用迪尼导数来处理簇上上确界的非光滑性。
3. 放大机制：本文证明，奇对称性与特定的核结构导致相干分量归一化振幅的常微分不等式系统：
   • $A^*(t)$：旋度梯度（$\partial_z G$）的归一化振幅。
   • $B^*(t)$：角动量梯度（$\partial_z \Gamma$）的归一化振幅。
     该系统满足：
     $$D_+ A^*(t) \geq c B^*(t)^2, \quad D_+ B^*(t) \geq c A^*(t) B^*(t)$$
     该系统被证明在有限时间内发生爆破。

主要贡献与结果

• 定理 1.1（主要结果）：本文构造了满足不可穿透边界条件和精确奇对称性的周期圆柱内带旋光滑轴对称初始数据。证明了相关的经典欧拉解在 $(r, z) = (1, 0)$ 处发展出有限时间边界奇点。具体而言：
  $$\limsup_{t \uparrow T^*} \|\nabla u(t)\|_{L^\infty} = \infty$$
• 直接核 - 波包构造：与依赖简化模型或计算机辅助证明的先前工作不同，本文在原变量中分离出直接的核 - 波包机制。它证明了侧壁狄利克雷核创造了一个正双曲反馈回路，该回路未被粘性效应（此处不存在）或边界强制性（在无粘流中比在无滑移纳维 - 斯托克斯流中更弱）所抑制。
• 簇不变性与误差控制：一项重要的技术贡献是通过“窄对角”锥类对误差项（尾部贡献、光滑核修正、剪切和应变变化）进行严格控制。本文证明了这些误差在积分意义下是微小的（Campanato 型控制），且不会破坏相干分量的爆破。
• 精确奇对称性：本文严格利用精确奇对称类来固定双曲结构的中心，消除了对移动中心记账的需求，并确保符号相干波包结构的保持。

意义与主张
本文声称提供了带旋光滑三维欧拉方程有限时间奇点形成的直接结构性证明。它分离出一种特定的几何机制——由奇号相干波包驱动的双曲边界压缩，该机制导致了爆破。

作者将此项工作定位为两篇系列论文中的第一部分。其意义阐述如下：

• 它解决了光滑数据是否能在无粘极限下导致边界爆破的问题，这与粘性纳维 - 斯托克斯情况不同，在后者的类似机制被粘性所抑制。
• 它提供了一种“自包含的簇不变证明”来阐述双曲放大，这与 Chen 和 Hou 的“近乎自相似”计算机辅助框架形成对比。
• 本文明确指出，其结论独立于配套的纳维 - 斯托克斯手稿（欧拉系列的第一和第二部分处理无粘情况；纳维 - 斯托克斯论文通过类似但相反的机制处理全局存在性）。

本文并未声称解决任意数据的通用三维欧拉爆破问题，而是确立了导致边界奇点的特定光滑数据类的存在性。它未提出实验应用或未来的数值方案，而是严格专注于爆破场景的解析构造。