第一轮搁置的三个方向——全部拆开，每个都走到头。
Foias-Prodi (1967) 证明了：3D NS 方程的长期动力学行为由有限个 Fourier 模决定。即：
物理含义：NS 方程虽然有无穷多个自由度，但"活的"自由度只有 N 个。其余的自由度被耗散"杀死"了。
N 的估计：N ∼ Re9/4（Constantin-Foias-Temam 1988）。对典型雷诺数 Re ∼ 10⁶，N ∼ 10¹³——非常大，但仍然有限。
Foias-Prodi 是渐进结果（t → ∞）。要用于正则性问题，需要有限时间的版本。
想法：如果在时间 [0, T] 内，解的"有效模式数"N(t) 有上界 Nmax，则解在 [0, T] 内的行为等价于一个 Nmax 维的 ODE 系统。有限维 ODE 系统不会在有限时间内爆破（Picard 定理）。
关键估计：需要 N(t) 的上界。已知 N(t) 大致正比于 ‖∇u(t)‖L² 的某个幂。所以问题归结为：
但这正是我们要证明的。
有效模式数 N(t) 的控制等价于梯度 ‖∇u‖L² 的控制。而 ‖∇u‖L² 的控制正是原始正则性问题的一部分。
所以有效维度方法没有绕过原始问题——它只是用另一种语言重述了它。
不追踪模式数（频域），追踪活跃区域的体积（物理空间）。
定义涡量的 ε-支集：
即涡量显著非零的区域的体积。
直觉：如果 Vε(t) 随时间减小（涡量越来越集中在小区域中），但有一个正的下界，则涡量不会在单点爆破。
如果 Vε(t) → 0，则涡量可能在单点爆破。
从涡量方程 ∂tω + (u·∇)ω = (ω·∇)u + νΔω：
拉伸和耗散的竞争：
假设涡管有半径 r(t) 和长度 L(t)。体积 V ∼ πr²L。
拉伸使 L 增大、r 减小（体积守恒，因为 ∇·u = 0）。
耗散使 r 增大（扩散）。
拉伸速率 ∼ ‖S‖∞，耗散速率 ∼ ν/r²。
平衡条件：‖S‖∞ ∼ ν/r² → r ∼ (ν/‖S‖∞)1/2。
如果 ‖S‖∞ 有界：r 有正下界，涡管不会坍缩到零体积 → 不爆破。
如果 ‖S‖∞ 无界：r → 0，涡管可能坍缩 → 可能爆破。
但 ‖S‖∞ 的控制等价于 ‖∇u‖∞ 的控制——又回到了 Beale-Kato-Majda 判据。
Vε(t) 的控制最终需要 ‖∇u‖∞ 或 ‖S‖∞ 的控制。而这正是原始正则性问题。
支集体积方法提供了不同的视角（物理空间中的活跃区域 vs 频域中的模式数），但没有提供新的工具。
稀疏性在压缩感知中意味着"大部分系数为零"。对连续场 ω(x, t)，需要重新定义。
定义 1（水平集稀疏性）：涡量的高水平集 |{x : |ω(x, t)| > λ}| 的体积随 λ 增大而迅速衰减。
定义 2（小波稀疏性）：在某个小波基下，涡量的大部分小波系数为零（或接近零）。
定义 3（分形稀疏性）：涡量的非零部分的 Hausdorff 维数 d < 3。
考虑涡量的 Lp 范数：
如果高水平集衰减足够快（如 |{|ω| > λ}| ≤ Cλ-α 且 α > p），则 ‖ω‖Lp 有界。
但：NS 方程中 ‖ω‖Lp 的演化方程包含拉伸项 (ω·∇)u，它在 3D 中是正的（拉伸放大涡量），所以 Lp 范数不一定有界。
事实上，从第十步的推导：
用 Gronwall 不等式：
这又回到了 Beale-Kato-Majda 判据：只要 ∫ ‖∇u‖∞ ds 有限，Lp 范数就有界。
所有稀疏性定义最终都归结为 Lp 范数的控制，而 Lp 范数的控制又归结为 ∫ ‖∇u‖∞ 的控制——BKM 判据。
稀疏性提供了描述涡量分布的语言，但没有提供控制它生长的工具。
Madelung (1927) 发现：Schrödinger 方程 i∂tψ = −½Δψ + Vψ 可以通过变换 ψ = √ρ · eiS 映射为流体方程：
第一个方程是连续性方程（质量守恒）。第二个方程是 Euler 方程的变体，多了一个"量子势"项 Q = −½ · Δ√ρ/√ρ。
反向问题：给定 NS 方程 ∂tu + (u·∇)u = −∇p + νΔu，是否存在一个量子系统（如某个 Schrödinger 型方程），其 Madelung 变换恰好给出 NS 方程？
假设存在 ψ = √ρ · eiS 使得 u = ∇S（无旋情况）或更一般的对应。
NS 的耗散项 νΔu 在量子系统中对应什么？量子力学是酉演化（无耗散）。要引入耗散，需要：
但：即使构造了这样的量子系统，它的正则性性质如何传递到 NS 方程？量子 Schrödinger 方程的解总是光滑的（因为它是线性色散方程），但 NS 是非线性的。从量子到经典的映射（半经典极限）中，光滑性可能丢失。
Tao (2016) 构造了一个"平均化"的 Euler 方程的爆破裂。关键步骤：
Tao 的成功说明：量子类比在 NS/Euler 问题中是有用的——但 Tao 用它来构造反例（爆破），而不是证明正则性。
我们的问题：如果 Tao 的量子类比能构造爆破，也许反过来用可以阻止爆破？
Tao 的爆破构造依赖一个关键步骤：用平均化算子替换精确非线性项。这使得方程"更容易爆破"（平均化去掉了非线性中的某些"自救"结构）。
反转：也许精确的非线性项（而非平均化的）有某种"保护"结构——某种在平均化过程中丢失的对称性或守恒律——恰好阻止了爆破。
如果这个"保护结构"存在且能被识别：它就是 NS 正则性的关键。
问题：这个保护结构是什么？它在哪里？
Madelung 变换给出了 NS 和一个"非标准量子系统"之间的形式对应。但这个对应没有提供新的估计工具——量子系统的正则性（线性色散方程的解总是光滑的）不能传递到非线性 NS 方程，因为半经典极限中光滑性可能丢失。
Tao 的成功（用量子类比构造爆破）暗示量子类比在 NS 问题中有价值，但 Tao 的方向是找反例而非证明正则性。也许 NS 确实会爆破——量子类比只是帮我们找到了爆破的方式。
第一轮六个方向 + 第二轮三个方向 + 本轮三个方向 = 全部十二个方向。
| # | 方向 | 轮次 | 状态 |
|---|---|---|---|
| 1 | 隐藏对称性/Lax对 | 1 | 🚨 90年未找到，3D 无可积先例 |
| 2 | 最优输运结构 | 1→走 | 🚨 W₂ 为概率测度设计，NS 为有旋向量场 |
| 3 | 有效维度/Foias-Prodi | 1→走 | 🚨 模式数控制 = 梯度控制 = 原始问题 |
| 4 | 涡量稀疏性 | 1→走 | 🚨 稀疏性语言 ≠ 控制工具 |
| 5 | Ricci流类比 | 1→走 | 🚨 NS 是物理方程，不是几何流 |
| 6 | 量子类比/Madelung | 1→走 | 🚨 半经典极限中光滑性丢失 |
| 7 | Elgindi磨光 | 1→走 | 🚨 磨光稳定性 = 原始问题 |
| 8 | 超粘性正则化 | 2 | 🚨 极限正则性 = 原始问题 |
| 9 | 软奇点研究 | 2 | ❓ 有趣但不直接解决千禧年问题 |
| 10 | 单调性方法 | 2 | 🚨 两难困境 |
| 11 | 涡量支集体积 | 3 | 🚨 体积控制 = BKM 判据 |
| 12 | Tao爆破的反转 | 3 | ❓ "保护结构"在哪里？未知 |
45步探索。12个方向。0个突破。
但每一个"此路不通"都是一块路标。45块路标围起来的空白区域，就是真正需要新数学的地方。
NS 存在性与光滑性问题不是"缺一块拼图"的问题。它是"拼图的框架本身可能需要重做"的问题。
45步告诉我们：现有框架内（能量估计、Sobolev嵌入、最优输运、几何流、量子类比、稀疏分析）——没有路。
路在框架外。