Elgindi 爆破机制 · C1,α 到 C∞ 的磨光 · 稳定性分析
这是目前离 NS 爆破最近的严格结果。让我仔细拆解。
考虑轴对称无 swirl 的三维不可压 Euler 方程（ν = 0），在特定边界条件下：
存在 C1,α 初值（0 < α < 1），使得对应的解在有限时间 T* 内，涡量趋于无穷：
关键条件：
Elgindi 的爆破是由swirl 项驱动的。回顾轴坐标下的 ωθ 方程：
右端项 -∂z((uθ)2/r2) 是爆破的驱动力。当 uθ 在对称轴附近足够大时，这个项可以驱动 ωθ 的增长。
爆破的几何图像：
Elgindi 的初值在 r = 0（对称轴）附近有特定的奇异性：
其中 0 < α < 1。这意味着 uθ 在 r = 0 处的一阶导数（∂ruθ ≈ α·rα-1·φ(z)）在 r → 0 时趋于无穷——因为 α - 1 < 0。
所以初值在对称轴上不是 C1 的（一阶导数不连续/无界），而是 C1,α 的（一阶导数是 α-Hölder 连续的）。
C1,α 和 C∞ 之间的差距：
Elgindi 的爆破机制依赖这个"种子"奇异性——在对称轴附近的 uθ ~ rα 行为提供了足够的初始"推力"来触发正反馈。
磨光后的初值：用光滑函数 φε 近似 rα，使得在 r = 0 附近 φε 是光滑的。磨光后的初值是 C∞ 的。
问题：磨光后，"种子"奇异性被去掉了。正反馈的初始推力还存在吗？
让我尝试分析：对 Elgindi 的 C1,α 初值 u0,E 做 C∞ 磨光，得到 u0,ε。u0,ε 的解是否也爆破？
用标准磨光算子（mollifier）：
其中 ρε(x) = ε-3·ρ(x/ε)，ρ 是标准磨光核（光滑、非负、支集在单位球内、积分 = 1）。
磨光后的性质：
问题归结为：Euler 方程的解是否对 C1,α 初值连续依赖？
已知结果：
如果 Euler 方程的解对 C1,α 初值连续依赖，则 u0,ε（足够接近 u0,E）的解也会在有限时间内爆破（因为 u0,E 的解爆破，且爆破时间 T* 在连续依赖下是下半连续的）。
如果解对 C1,α 初值不连续依赖，则 u0,ε 的解可能在 T* 时刻仍然光滑——爆破是"脆弱"的，只在精确的 C1,α 初值下发生。
现实：3D Euler 方程对 C1,α 初值的连续依赖性是开放问题。如果它是连续的，Elgindi 的结果可以被磨光为 C∞ 爆破解。如果它不连续，Elgindi 的爆破可能只是 C1,α 特有的"病理"行为。
连续依赖性问题太难。换一个角度：直接分析 Elgindi 的爆破机制对磨光的稳定性。
设 uE(x, t) 是 Elgindi 的爆破裂。考虑扰动 v(x, t) = uε(x, t) - uE(x, t)，其中 uε 是磨光初值的解。
v 满足线性化 Euler 方程（到一阶）：
其中 ∇ · v = 0。
这个方程的系数依赖 uE——而 uE 在 t → T* 时趋于无穷。所以这是一个系数爆破的线性方程。
如果线性化方程的解 v 在 T* 时刻有界（或增长可控），则 uε 也爆破（因为 uE 爆破 + v 有界 = uε 爆破）。
如果 v 在 T* 时刻也爆破，则需要比较 uE 和 v 的爆破速率——如果 v 爆破得比 uE 慢，则 uε 仍然爆破。
Elgindi 的爆破是自相似的（self-similar）或接近自相似的。即：
其中 γ > 0, β > 0 是标度指数，U 是自相似剖面。
在这个自相似变量下，线性化方程变为一个自治方程（系数不依赖时间），其解的行为由线性算子的谱决定。
关键量：线性算子的"不稳定模态"的数量和增长率。
Elgindi 的证明构造了一个具体的爆破方案，但没有分析其线性化稳定性。要完成稳定性分析，需要：
这三步中每一步都是独立的研究项目。Elgindi 的论文没有做这些分析。
直觉判断：Elgindi 的爆破可能是"不稳定"的——它依赖于 C1,α 初值在对称轴上的特定行为。磨光后，这个行为被"熨平"了，爆破的"引信"可能被去掉了。
Elgindi 的爆破依赖 C1,α 初值的特定奇异性：在 r = 0 处 ∂ruθ ~ rα-1 → ∞。这个无穷大的梯度提供了初始的"推力"来启动正反馈。
磨光后，∂ruεθ 在 r = 0 处是有限的（实际上是 0，因为对称性）。初始推力被去掉了。
问题：即使初始推力被去掉，演化过程中能否自发产生足够大的梯度来触发爆破？
如果"能"：磨光后的解也爆破。如果"不能"：C1,α 爆破和 C∞ 光滑之间的鸿沟是真实的。
这个"自发产生"问题本质上等同于原始的 NS/Euler 光滑性问题——如果光滑初值可以自发产生奇异的梯度，那么光滑解不存在。如果不能，光滑解存在。
所以我们绕了一圈，回到了原始问题。
Elgindi 的结果是 Euler 方程（ν = 0）。但原始问题是 NS 方程（ν > 0）。耗散项 νΔu 可能完全改变爆破行为。
Euler 方程（ν = 0）比 NS 方程（ν > 0）"更危险"——没有耗散项的"熨平"作用，非线性效应更强。
如果 Euler 不爆破，则 NS 也不爆破（因为 NS = Euler + 耗散，耗散只会使解"更光滑"）。
如果 Euler 爆破，NS 可能爆破也可能不爆破——取决于耗散是否足够强来阻止爆破。
Elgindi 证明了 Euler 在 C1,α 下爆破。但 NS 在 C1,α 下是否爆破？未知。
已知：NS 方程的 Leray-Hopf 弱解存在（Leray 1934），但弱解是否光滑是开放问题。CKN (1982) 证明了弱解的奇异集 P¹-测度为零。
Elgindi 的爆破机制中，驱动项 -∂z((uθ)2/r2) 的量级是 O(r2α-3)（来自 uθ ~ rα）。
耗散项 νΔuθ 的量级：对 uθ ~ rα，Δuθ ~ rα-2。
比较：
在 r → 0 时：2α - 3 与 α - 2 比较。因为 0 < α < 1：
当 α < 1 时，2α - 3 < α - 2。所以在 r → 0 时，驱动项比耗散项更大（更奇异）。
结论：在 Elgindi 的设置下，即使有耗散项，驱动项在 r → 0 时仍然占优。所以如果 Euler 在 C1,α 下爆破，NS 在 C1,α 下也可能爆破。
以上分析仍然基于 C1,α 初值的奇异性。对 C∞ 初值，在 r = 0 处：
所以光滑初值从"零驱动 + 有限耗散"开始。驱动项需要从零增长到足够大才能触发爆破。
关键问题：在演化过程中，驱动项的增长速率是否快于耗散项的阻尼速率？
如果驱动增长更快 → 可能爆破。如果耗散阻尼更强 → 保持光滑。
这又回到了非线性 vs 耗散的竞争——三重墙中的非线性墙。
五次尝试，五次都遇到了深层障碍。
| 尝试 | 思路 | 结果 |
|---|---|---|
| 31 | 理解 Elgindi 定理 | 爆破依赖 C1,α 的特定奇异性 |
| 32 | 磨光后的连续依赖性 | 3D Euler 对 C1,α 的连续性是开放问题 |
| 33 | 线性化稳定性分析 | 需要自相似剖面和谱分析——Elgindi 没有提供 |
| 34 | NS 耗散的影响 | 驱动项在 r→0 时占优，但 C∞ 下初始驱动为零 |
| 35 | 综合评估 | — |
磨光策略要成功，需要证明：C1,α 爆破裂值的光滑近似也爆破。
这等价于证明：爆破对 C1,α 拓扑下的初值扰动是稳定的。
但这本质上需要：3D Euler/NS 方程的解对 C1,α 初值的连续依赖性。
而这本身就是原始光滑性问题的一个变体——连续依赖性与正则性紧密相关。
所以磨光策略没有绕过原始问题，而是把它重新包装了。
飞轮在不确定领域找到了六个方向，选了三个最有希望的。三个都走过了：
| 方向 | 状态 | 结论 |
|---|---|---|
| 最优输运 | 🚨 不可行 | 结构性障碍：W2 为概率测度设计，NS 为有旋向量场 |
| Ricci 流类比 | 🚨 不可行 | 结构性障碍：NS 是物理方程，不是几何流 |
| Elgindi 磨光 | ❌ 循环 | 磨光稳定性等价于原始光滑性问题 |
飞轮指的路都走完了。都撞到了墙。这本身是一个收获：它排除了三个看似有希望的方向。