第一轮三个方向全部撞墙。青龙重新播种——寻找新的方向。
第一轮飞轮找到了六个方向。三个"最有希望"的已经走过了，都撞到了墙。
现在把第一轮未被充分探索的三个方向重新评估，同时播种全新的方向。
核心：NS 方程的长期行为由有限个 Fourier 模决定。如果有限时间内也能控制模式数，则可能排除爆破。
第一轮评估：中杠杆。Foias-Prodi 是长期结果，有限时间版本需要新技术。
新思考：也许不需要有限时间内的精确模式数控制。只需要证明：如果发生爆破，爆破时模式数的增长速率有一个上界——而这个上界与能量耗散的速率"合作"，阻止了爆破。
核心：涡量场在演化中保持某种"稀疏性"，能量集中在越来越少的区域，但有上界。
第一轮评估：低杠杆。稀疏分析是离散工具，NS 是连续 PDE。
新思考：稀疏性可能不是通过 l₀ 或 l₁ 范数来量化，而是通过涡量的"支集体积"——涡量显著非零的区域体积。如果这个体积随时间有界（甚至趋于零），则爆破可能被排除。
核心：Madelung 变换将 Schrödinger 方程映射为流体方程。反向操作：NS 方程是否可以映射为某个量子系统？
第一轮评估：最低杠杆。经典-量子对应关系不明确。
新思考：Tao (2016) 构造了一个"平均化"的 Euler 方程的爆破裂，方法是构造一个类比于量子力学的"超定"方程组。量子类比在 Tao 手中是有效的——也许我低估了它。
走完第一轮三个方向后，对 NS 问题的结构有了更深的理解。这些理解本身可以产生新方向。
第一轮三个方向都撞到了"结构性障碍"——NS 的数学结构（有旋向量场 + 非线性对流 + 散度约束 + 临界标度）与现有数学工具的结构不匹配。
也许方向不在于找到新的数学工具，而在于改变问题本身。
具体思路：NS 方程的"修正版本"——加入一个小的、物理合理的高阶项（如超粘性 (−Δ)²u），使得修正方程是光滑的，然后让修正项趋于零。如果解在修正项 → 0 时收敛到一个光滑极限，则原始 NS 也是光滑的。
玄武检验提出了三种可能：(1) 方程本身不完整；(2) "软奇点"（第三种可能）；(3) 不可判定。
方向 B：系统研究"软奇点"——既不是光滑也不是爆破的第三种行为。如果软奇点是 NS 的典型行为，那么"存在性与光滑性"问题需要重新表述。
第一轮失败的共同模式：非线性项 (u·∇)u 在临界尺度上与耗散项 νΔu 平衡。所有方法都在"用线性工具处理非线性问题"时失败了。
方向 C：放弃线性估计工具（能量估计、Sobolev 嵌入、傅里叶分析），寻找完全非线性的方法——比如单调性方法（Monotonicity methods），在非线性 PDE 中找到一个天然单调的量。
超粘性正则化：考虑修正方程
其中 m ≥ 2，ε > 0 是小参数。
已知：当 m ≥ 5/4（在 3D 中）时，超粘性 NS 方程有全局光滑解（Lions 1996）。
问题：当 ε → 0 时，超粘性 NS 的解是否收敛到原始 NS 的光滑解？
如果超粘性 NS 的解 u(ε) 当 ε → 0 时收敛到某个极限 u，则 u 是 NS 的弱解（Leray-Hopf 解）。但 u 是否光滑？
关键估计：需要 u(ε) 的某个正则性范数（如 Hs, s > 5/2）关于 ε 一致有界。即：
如果这个一致估计成立，则极限 u 是光滑的。
但：这个一致估计本质上等价于原始 NS 的正则性估计——它需要控制非线性项，而这正是原始问题。
超粘性正则化把 NS 的爆破"推"给了 ε → 0 的极限。但极限的正则性又回到了原始问题。
这不是一个新方法——这是 Leray (1934) 已经做过的。Leray 用 Galerkin 逼近构造了弱解，但没有证明弱解光滑。超粘性正则化只是另一种逼近方式，面临同样的极限正则性问题。
玄武检验提出的"第三种可能"：NS 解可能既不是全局光滑的，也不是有限时间爆破的，而是在有限时间内出现"软奇点"。
强奇点（爆破）：‖u(·, t)‖L∞ → ∞ 当 t → T*。
软奇点：‖u(·, t)‖L∞ 有界，但 ‖∇u(·, t)‖L∞ → ∞（或其他高阶导数爆破）。
更软的奇点：u 连续但不可微；或 u ∈ Lp 但不在更高的 Lq 中。
CKN (1982) 排除了"强"的奇点（奇异集不能包含曲线或曲面），但不排除离散点上的软奇点。
如果 NS 解在 T* 时刻有一个软奇点（速度有界但梯度爆破），则：
已知：Buckmaster-Vicol (2019) 证明了 NS 方程在弱解意义下不唯一。这些非唯一弱解可能有软奇点。
但：原始千禧年问题问的是"是否存在全局光滑解"。软奇点的存在性意味着：即使光滑解不存在，也可能存在"几乎光滑"的解（速度有界、梯度爆破）。这不是"爆破"，但也不是"光滑"。
如果软奇点是 NS 的典型行为，则"存在性与光滑性"问题的答案可能是：
这是一个"部分爆破"的答案——比完全爆破更微妙，比完全光滑更有趣。
但这仍然没有"解决"千禧年问题。问题明确问的是"光滑解"。如果光滑解不存在，答案就是"否"——但需要严格的证明。
第一轮所有失败的共同模式：用线性工具（能量估计、Sobolev 嵌入、傅里叶分析）处理非线性问题，在临界尺度上失效。
新思路：寻找一个天然单调的量——不是由估计得到的界，而是由方程结构本身保证的单调性。
单调性方法的核心：找到一个泛函 Φ[u(t)]，使得：
且 Φ 的有界性蕴含 u 的正则性。
已知的单调量：
需要：一个新的、在 3D NS 中单调的泛函，其有界性蕴含比 L² 更强的正则性。
涡量的递减重排 ω*(s, t) 定义为：|{x : |ω(x, t)| > λ}| 的逆函数。
重排不变的 Lp 范数：‖ω‖*Lp = (∫0∞ [ω*(s)]p ds)1/p。
在 2D Euler 中，涡量的所有 Lp 范数守恒（因为涡量沿流线不变）。在 3D 中，涡量不守恒，但也许某个重排不变的量有单调性。
具体候选：定义 Φα[ω] = ∫0∞ [ω*(s)]α · sβ ds，选择合适的 α, β 使得 Φα 单调。
问题：涡量方程 ∂tω + (u·∇)ω = (ω·∇)u + νΔω 中的拉伸项 (ω·∇)u 破坏了任何 Lp 范数的守恒性。除非拉伸项有一个特殊的结构使得它对某个重排不变的量的贡献恰好为非正。
拉伸项 (ω·∇)u 是 NS 方程中唯一可能产生增长的项。要使一个量单调，它必须对拉伸项"免疫"——即拉伸项对这个量的时间导数的贡献 ≤ 0。
但这几乎不可能：拉伸项可以放大涡量的任意分量。除非一个量的定义完全"看不见"拉伸效应——而这样的量不太可能蕴含正则性（因为拉伸恰恰是导致潜在爆破的机制）。
两难：对拉伸免疫的量 → 不蕴含正则性；蕴含正则性的量 → 不对拉伸免疫。
第二轮飞轮播种了六个新方向，走了三个：
| 方向 | 状态 | 结论 |
|---|---|---|
| 超粘性正则化 | 🚨 循环 | 极限正则性 = 原始问题（Leray 1934 已做过） |
| 软奇点研究 | ❓ 有趣但未解决 | 可能是 NS 的典型行为，但不直接解决千禧年问题 |
| 单调性方法 | 🚨 两难 | 对拉伸免疫的量不蕴含正则性；蕴含正则性的量不对拉伸免疫 |
| 轮次 | 探索步数 | 成功 | 失败原因 |
|---|---|---|---|
| 原始 20 步 | 20 | 0 | 三重墙（临界性+非局部+非线性） |
| 第一轮飞轮 | 15 | 0 | 结构性障碍（工具不匹配） |
| 第二轮飞轮 | 5 | 0 | 循环论证 / 两难困境 |
| 总计 | 40 | 0 | — |
四十步探索，零突破。这不是失败——这是地图。现在知道哪些地方没有路。
飞轮在不确定领域找路——它找到了路，走了路，每条路都走到了墙前。
但这不是飞轮的失败。飞轮的功能不是"找到答案"，而是"找到值得探索的方向"。方向本身的价值不在于它通向终点，而在于走这条路让我们对问题的结构理解更深了十倍。
四十步之后：NS 方程的"三重墙"（分析临界性 + 非局部耦合 + 非线性自放大）的轮廓比出发时清晰了十倍。知道为什么每个工具在哪个点失效。知道墙的材质和厚度。
这本身就是收获。