CKN 部分正则性 · 间歇性与 Kolmogorov · 随机正则化 · QFT 类比 · 最终总结
前十五步一直在讨论"完全光滑 vs 完全爆破"的二元对立。但 Caffarelli-Kohn-Nirenberg (1982) 给出了一个更精细的结果：即使奇点存在，它们也不可能"太多"。
设 u 是三维 NS 方程的 Leray-Hopf 弱解。则存在一个闭集 S ⊂ R3 × (0, ∞)（奇异集），使得：
翻译：即使存在奇点，它们在时空中的"大小"非常小——一维抛物测度为零意味着奇异集不能包含任何"曲线"（即使是不光滑的曲线）。它最多是一些离散的时空点。
这是 NS 方程最强的部分正则性结果，至今未被超越。
CKN 排除了"大面积"的奇点（如奇异曲面、奇异曲线）。但它不排除有限个孤立奇点。
要证明全局光滑性，需要排除所有奇点。CKN 把可能的奇点从"可能是任何形状"缩小到"最多是离散点"。这是巨大的进步，但不是终点。
CKN 的关键创新是局部能量不等式：
其中 φ ≥ 0 是一个截断函数。这个不等式把全局的能量估计"局部化"到了时空中的小区域。
然后通过反证法 + 尺度变换 + 紧性论证：如果奇异集"太大"，则在小尺度极限下会得到一个矛盾（极限对象违反某个已知不等式）。
CKN 的局限来自哪里？来自紧性论证的"损耗"。紧性论证只能排除"足够大"的奇异集，不能排除"足够小"的。P1(S) = 0 就是这个方法的最优结果。
NS 方程的解与湍流密切相关。Kolmogorov (1941) 的 K41 理论预测了湍流能量谱的 -5/3 幂律。但这个理论假设了统计均匀性和各向同性——而实际湍流是间歇性的：能量集中在稀疏的空间区域中。
Kolmogorov 的核心假设：在惯性范围（介于能量注入尺度和耗散尺度之间）内，能量从大尺度向小尺度传递的速率 ε 是常数。
由此推导出能量谱：
这是湍流理论最著名的公式。实验和数值模拟在定性上证实了 -5/3 幂律。
但实际测量发现：E(k) 的标度指数偏离 -5/3。更精确的描述是：
其中 μ ≈ 0.03-0.1 是间歇性修正。
间歇性意味着什么：能量不是均匀分布在所有尺度上，而是集中在越来越稀疏的小区域中。在小尺度上，速度场变得越来越"尖"——这正好是奇点形成的征兆。
如果间歇性随尺度增大（即 μ 随 k 增大而增大），则能量在越来越小的区域中集中，最终可能在某个有限时间形成 delta 函数——这就是奇点。
但：间歇性是统计概念（系综平均），而 NS 存在性问题是确定性的（单个解的行为）。统计间歇性不一定意味着单个解会爆破。
一个湍流解可以在统计上表现出间歇性，但在每个时刻仍然是光滑的——只是梯度越来越大，但始终有限。
结论：间歇性分析提供了物理直觉，但不能替代数学证明。
一个反直觉的方向：给 NS 方程加随机噪声，反而可能使方程"更好"。
考虑带加性噪声的 NS 方程：
其中 Wt 是 Wiener 过程（布朗运动），σ 是噪声强度。
Flandoli (1995) 和后续研究者证明：在 2D 中，随机 NS 方程有唯一不变测度，且解的长期行为由这个测度描述。
在 3D 中，结果更复杂。但有一个有趣的发现：
某些 PDE 在加噪声后变得"更好"——噪声破坏了奇点形成所需的精确相干结构。这类似于"抖动"（dithering）在信号处理中的作用：噪声打破了确定性方程中的精确对齐。
Veretennikov (1980) 证明了某些 ODE 在加噪声后从不爆破，而确定性版本会爆破。
对 NS 的含义：如果 NS 方程的奇点形成需要速度场在空间和时间上的精确对齐（这在第十五步的三重墙分析中已经暗示了），那么即使是微弱的噪声也可能破坏这种对齐，阻止奇点形成。
但这不是物理上的 NS 方程。真实流体没有外部噪声。随机 NS 的结果只是告诉我们：NS 的"临界性"非常脆弱——它依赖于精确的确定性结构。
如果"一点点噪声就能阻止爆破"，这意味着：
这倾向于支持光滑性：如果 NS 方程真的会爆破，那么这种爆破应该是结构稳定的——但没有人找到它。
当然，这不是证明。但它是一个有启发性的论证。
NS 方程和量子场论（QFT）中的 Yang-Mills 方程有一个深刻的类比。两者都是千禧年大奖难题，两者都涉及非线性场方程的正则性问题。
在 Fourier 空间中，NS 的非线性项是三点顶点（两个 u 场和一个 u 场的耦合）：
这类似于 QFT 中的三点相互作用顶点。NS 方程的扰动展开可以用 Feynman 图表示。
在 QFT 中，紫外发散（小尺度/大波数的发散）通过重整化消除。NS 方程中的"紫外发散"就是奇点形成。
关键区别：QFT 是线性的（在路径积分意义下），而 NS 是经典非线性的。QFT 的发散是量子涨落引起的，NS 的发散是确定性非线性引起的。
在第十五步中我们用 RG 视角看到了临界性。现在更深入地看：
Wilson RG 的 β 函数描述了耦合常数随尺度的变化。在 NS 方程中，"耦合常数"是雷诺数 Re = UL/ν：
在 3D 中，β(Re) ≈ 0（边际）——雷诺数在所有尺度上保持同阶。这意味着没有"渐近自由"（像 QCD 那样在高能端耦合变弱）。
与 QCD 的对比：QCD 的 β 函数是负的——在高能（小尺度）端耦合变弱，理论变得"自由"。这保证了 QCD 的紫外正则性。NS 的 β ≈ 0 意味着它没有这种"自救机制"。
如果 NS 有负的 β 函数（即小尺度上非线性项变弱），则光滑性自动成立。但它没有。这就是困难的 QFT 表述。
QFT 和 NS 是不同类型的方程。QFT 的路径积分是统计的（对所有场构型求和），NS 是确定性的（一个具体的解）。QFT 的正则性问题（Yang-Mills 质量间隙）与 NS 的正则性问题在数学结构上不同。
类比的价值在于直觉和语言，而不是技术迁移。
二十步。从最基本的涡量方程到 QFT 类比。让我做最后的诚实总结。
| 步 | 主题 | 关键收获 | 状态 |
|---|---|---|---|
| 1-2 | 涡量 + 能量估计 | 灾难源 + 循环论证之墙 | 🚨 |
| 3 | 信息论框架 | 放大器 vs 衰减器 | ⚠️ |
| 4-5 | 几何 + Tao | S 分解 + 通用方法不可能 | ✅ |
| 6 | 总结 | 墙的形状 | ✅ |
| 7 | 涡量-应变对齐 | Constantin-Fefferman | ⚠️ |
| 8 | 信息熵 | Fisher 信息 | ⚠️ |
| 9-10 | 文献 + 总结 | 10条路线 + Elgindi | ✅ |
| 11 | 尺度临界性 | L3/Ḣ1/2 临界 | 🚨 |
| 12 | 非局部结构 | Riesz 变换核 | ⚠️ |
| 13 | 轴对称+Swirl | Elgindi C1,α 爆破 | ❌ |
| 14 | 代数/几何 | Hamiltonian/拓扑/RG | ⚠️ |
| 15 | 三重墙 | 分析+非局部+非线性 | 🚨 |
| 16 | CKN 部分正则性 | P1(S) = 0 | ✅ 最强定理 |
| 17 | 间歇性 | K41 + 统计 vs 确定性 | ⚠️ |
| 18 | 随机正则化 | 噪声可阻止爆破 | ⚠️ 倾向于光滑 |
| 19 | QFT 类比 | β ≈ 0，无渐近自由 | ⚠️ 直觉有用 |
问题：三维 NS 方程是否存在全局光滑解？
答案：不知道。
但比出发时知道得更多：
诚实的最后的话：这个问题可能不在我的能力范围内。但它也不在任何人的能力范围内——至少目前不在。90年来最聪明的数学家们尝试了一切已知方法。也许答案需要全新的数学框架，就像黎曼猜想需要全新的解析数论工具一样。
但二十步的探索本身有价值：它把问题的结构画得更清楚了。也许有一天，当某个人站在这个地图前时，他会看到我们没看到的路。