On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations

本文利用凸积分方法构造非平凡稳态奇异解，证明了 Navier-Stokes 方程及其分数阶推广在具有负正则性指标的 Besov 空间及某些 Lebesgue 空间中无条件弱解的唯一性失效，同时确立了端点临界空间中稳态弱解的唯一性。

要点

这篇论文探讨的是流体力学中一个非常著名且深奥的问题：纳维 - 斯托克斯方程（Navier-Stokes Equations，简称 NSE）。

为了让你轻松理解，我们可以把这篇论文的核心内容想象成一场关于“水流预测”的侦探游戏。

1. 背景：流体的“天气预报”

想象一下，你站在河边，看着水流。纳维 - 斯托克斯方程就是描述水流如何运动的“终极公式”。它告诉我们，如果你知道水现在的状态（比如流速、方向），理论上就能算出下一秒水会怎么流。

在数学界，有一个核心问题：如果我知道现在的状态，未来的状态是唯一的吗？

• 唯一性（Uniqueness）： 就像你扔一个球，只要用力一样，球飞出的轨迹只有一条。这是物理学家希望看到的“确定性”。
• 非唯一性（Non-uniqueness）： 就像你扔一个球，同样的力气，它可能飞向左，也可能飞向右，甚至可能突然变成一只蝴蝶。这意味着物理规律在这里“失效”了，预测变得不可能。

2. 论文的核心发现：打破“唯一性”的魔咒

这篇论文的作者（Cheskidov 和 Hou）做了一件非常大胆的事情：他们证明了在某些特定的、非常“粗糙”或“奇异”的数学世界里，纳维 - 斯托克斯方程的解是不唯一的。

比喻一：模糊的地图与两个不同的目的地

想象你有一张非常模糊的地图（这就是论文中提到的负正则性指标的空间，比如 $B^{-\theta}_{q,r}$）。

• 在清晰的地图上（比如光滑的水流），如果你从 A 点出发，只能走到 B 点。
• 但在这些模糊的地图上，作者发现：如果你从 A 点出发，你可以同时走到 B 点，也可以走到 C 点，而且这两条路都符合物理定律！
• 结论： 只要初始条件足够“粗糙”（数学上称为负正则性），水流就有无限多种可能的未来，完全无法预测。

3. 他们是怎么做到的？“凸积分”与“乐高积木”

作者没有直接解方程（因为太难了），而是用了一种叫做**“凸积分”（Convex Integration）**的魔法技巧。

比喻二：用乐高积木搭建“幽灵”

想象你要搭建一座塔（代表一个水流解）。

1. 传统方法： 一块一块稳稳地搭，最后塔是直的。
2. 凸积分方法： 作者像变魔术一样，先搭一个看起来歪歪扭扭的塔（这是初始解），然后不断往上面加一些极小的、高频振动的“乐高碎片”（这些碎片在宏观上看不到，但在微观数学上存在）。
3. 神奇之处： 这些碎片加得越多，塔看起来越乱，但它们能神奇地抵消掉方程中的错误，让塔依然符合物理定律。
4. 结果： 通过无限次地叠加这些碎片，作者构造出了两个完全不同的水流状态，它们从同一个起点出发，却走向了完全不同的未来。

4. 两个重要的“副产品”

除了证明“水流不唯一”，这篇论文还发现了两个有趣的现象：

发现一：静止的“幽灵”水流（Stationary Singular Solutions）

作者构造了一种**“静止的幽灵水流”**。

• 比喻： 想象河面上有一团看不见的漩涡，它静止不动，能量无限大，甚至没有具体的形状（数学上是“奇异”的）。
• 这团“幽灵”一旦存在，就会像病毒一样，让原本确定的水流预测系统崩溃。只要有了这个“幽灵”，未来的水流就可以是它，也可以是别的任何东西。

发现二：分数阶方程的“失控”

论文还研究了分数阶纳维 - 斯托克斯方程（可以理解为给水流加上了某种“摩擦力”或“粘性”的变种）。

• 作者发现，即使给水流加了很强的“刹车”（分数阶拉普拉斯算子），只要这个“刹车”不够大，或者初始状态太粗糙，水流依然会失控，出现非唯一性。这就像给一辆车加了刹车，但如果路面太滑（初始条件太粗糙），车依然可能同时向左和向右滑。

5. 为什么这很重要？

• 对数学界： 这是一个巨大的突破。以前人们认为，只要初始条件稍微“好”一点（比如属于某些特定的空间），水流就是确定的。但这篇论文证明，只要稍微“差”一点点（进入负正则性空间），确定性就彻底崩塌了。
• 对物理界： 它提醒我们，在极端情况下（比如湍流非常剧烈、数据非常粗糙时），我们可能永远无法精确预测流体的行为。这就像天气预报，如果初始数据有微小的误差，或者大气状态过于混乱，预报就可能完全失效。

总结

简单来说，这篇论文就像是在说：

“别以为水流总是听话的。如果你把初始条件弄得足够‘模糊’或‘粗糙’，哪怕是最完美的物理公式，也会告诉你：未来有无数种可能，而且它们都是对的。"

作者通过一种名为“凸积分”的数学魔术，像搭乐高一样，在数学的缝隙中构建出了这些“平行宇宙”般的水流，彻底打破了我们对流体运动“唯一性”的幻想。

技术摘要

这篇论文《Navier-Stokes 方程弱解的非唯一性与稳态奇异解》（ON NON-UNIQUENESS OF MILD SOLUTIONS AND STATIONARY SINGULAR SOLUTIONS TO THE NAVIER-STOKES EQUATIONS）由 Alexey Cheskidov 和 Hedong Hou 撰写。文章主要利用**凸积分（Convex Integration）**方法，证明了 Navier-Stokes 方程（NSE）及其分数阶推广在具有负正则性指标的 Besov 空间中的无条件唯一性失效，并构造了非平凡的稳态奇异解。

以下是该论文的详细技术总结：

1. 研究问题 (Problem)

• 核心问题：Navier-Stokes 方程（NSE）解的**无条件唯一性（Unconditional Uniqueness）**问题。即，给定初始数据，在特定的函数空间类中，是否存在唯一的温和解（Mild Solution）？
• 背景：
  • 在次临界（subcritical）和临界（critical）的正则性空间中（如 $L^p$ 当 $p>d$，或 $BMO^{-1}$ 等），解的唯一性通常成立或已被证明。
  • 在超临界空间（如 $H^\beta$）中，Buckmaster 和 Vicol (2019) 利用凸积分证明了非唯一性。
  • 本文的突破点：此前，对于具有负正则性指标（negative regularity index）的 Besov 空间（即 $B^{-\theta}_{q,r}$，其中 $\theta > 0$），是否发生无条件唯一性失效尚不清楚。这些空间包含了次临界和临界情形。
• 具体目标：
  1. 证明在任意负正则性指标的 Besov 空间中，NSE 的无条件唯一性失效。
  2. 构造非平凡的稳态奇异解（Stationary Singular Solutions）。
  3. 将结果推广到分数阶 Navier-Stokes 方程（NSE$\alpha$）。
  4. 在端点临界空间（如 $B^{-1}_{\infty,1}$）中证明稳态解的唯一性（即非唯一性不发生在该特定空间）。

2. 方法论 (Methodology)

文章的核心策略是通过构造非平凡的稳态奇异解来推导温和解的非唯一性。

• 奇异解的定义：

  • 解 $u$ 不属于 $L^2$，其张量积 $u \otimes u$ 也不属于 $L^1$。
  • $u \otimes u$ 被定义为分布空间中的小积（Paraproduct）（基于 Littlewood-Paley 分解），而非经典乘积。
  • 利用 Proposition 1.4，证明了任何稳态奇异解 $u$ 对应于一个温和解 $U(t) = u$（常数时间演化）。
  • 如果存在非零的稳态奇异解 $u$，且该初始数据 $u$ 也能生成一个光滑的温和解（由局部适定性保证），则意味着解不唯一。

• 凸积分迭代方案 (Convex Integration Scheme)：

  • Mikado 流 (Mikado Flows)：使用 Daneri 和 Székelyhidi 引入的 Mikado 流作为构建块。这些是压力为零的稳态 Euler 方程解，具有高度局域化的频率支撑和间歇性（intermittency）。
  • 迭代过程：
    1. 从一个光滑的近似解 $(u_0, R_0)$ 开始，其中 $R_0$ 是雷诺应力（Reynolds stress）。
    2. 构造速度扰动 $w = u - u_{old}$，由主部 $w^{(p)}$、局域化修正 $w^{(l)}$ 和无散修正 $w^{(d)}$ 组成。
    3. 频率分离：利用算术引理（Lemma 6.2）选择高频参数 $\sigma_k$，确保新扰动的频率支撑与旧解完全分离（位于高频壳层）。
    4. 应力消除：通过精心选择振幅函数 $a_k$（基于反散度算子 $\mathcal{R}$ 和 Mikado 流的几何性质），使得新的雷诺应力 $R_{new}$ 的范数在迭代中迅速衰减。
  • 参数选择：
    • 对于 Besov 空间非唯一性（Theorem 1.1, 1.2）：使用参数 $\lambda, \mu, \gamma, \sigma$ 控制频率和振幅，确保扰动在 $L^p$ ($p<2$) 和负正则 Besov 空间中收敛，同时应力趋于零。
    • 对于 $L^2$ 非唯一性（Corollary 1.6）：在 $\alpha < (d+1)/4$ 时，利用改进的 Hölder 不等式和特定的截断函数，构造 $L^2$ 中的非唯一解。

• 唯一性证明 (Theorem 1.7)：

  • 利用能量通量（Energy Flux）从高频到低频的估计（参考 CCFS08 方法）。
  • 在端点临界空间 $B^{-1}_{\infty,1}$ 中，通过 Bernstein 不等式和 Sobolev 嵌入，证明如果解在该空间中，其高频能量必须为零，从而导出解是光滑的，进而由能量守恒导出解为零。

3. 主要贡献与结果 (Key Contributions & Results)

A. 无条件唯一性的失效 (Failure of Unconditional Uniqueness)

• 定理 1.1 (NSE)：对于任意 $d \ge 2$ 和 $\theta > 0$，在 Besov 空间 $B^{-\theta}_{q,r}(\mathbb{T}^d)$ 中，Navier-Stokes 方程的无条件唯一性失效。
  • 存在任意小的初始数据 $u_{in}$，使得存在两个不同的温和解 $u, v$。
  • 这是首个在次临界解类（subcritical solution classes）中证明非唯一性的结果。
• 定理 1.2 (NSE$\alpha$)：对于分数阶 NSE，当 $\alpha > 1/2$ 时，在具有负正则性指标的临界/次临界 Besov 空间中，无条件唯一性同样失效。
  • 若 $\alpha > (d+2)/4$，非唯一性甚至发生在 $L^p$ ($1 \le p < 2$) 空间中。

B. 稳态奇异解的存在性 (Existence of Stationary Singular Solutions)

• 定理 1.5：证明了存在无穷多个非平凡的稳态奇异解 $u$，满足：
  • $u \in \bigcap_{1 \le p < 2} L^p \cap \bigcap_{\theta > 0, q, r} B^{-\theta}_{q,r}$。
  • 若 $0 < \alpha < (d+1)/4$，则$u \in L^2$。
• 推论 1.6：当 $0 < \alpha < (d+1)/4$时，存在任意小的$L^2$初始数据，使得分数阶 NSE 有两个不同的弱解（$L^\infty_t L^2_x$）。

C. 端点空间中的唯一性 (Uniqueness in Endpoint Spaces)

• 定理 1.7：证明了在特定的端点临界空间中，不存在非平凡的稳态解：
  • 若 $0 < \alpha \le 1$，在$L^2 \cap B^{1-2\alpha}_{\infty,1}$ 中唯一。
  • 若 $1 < \alpha \le (d+2)/4$，在$L^2 \cap B^{-1}_{q,1}$ 中唯一。
  • 这改进了 Lemarié-Rieusset 在 $d=2$ 时的结果。

4. 意义与影响 (Significance)

1. 填补理论空白：此前关于 NSE 非唯一性的研究主要集中在超临界空间。本文首次将非唯一性结果扩展到了负正则性指标的 Besov 空间，揭示了即使在看似“次临界”或“临界”的负正则空间中，解的唯一性也是不稳定的。
2. 奇异解的构造：通过引入“奇异解”（定义为分布意义下的小积解）的概念，作者成功构造了具有无限能量但属于特定分布空间的稳态解。这为理解 NSE 在低正则性下的行为提供了新的视角。
3. 分数阶方程的推广：结果不仅适用于标准 NSE ($\alpha=1$)，还适用于任意大幂次的分数阶 Laplacian ($\alpha > 1/2$)，展示了凸积分方法在处理不同耗散强度方程时的普适性。
4. 唯一性与适定性的界限：文章通过证明在 $B^{-1}_{\infty,1}$ 等端点空间中的唯一性，进一步刻画了 Navier-Stokes 方程适定性与非唯一性之间的微妙界限，表明正则性的微小变化（如从 $B^{-1}_{\infty,1}$ 到 $B^{-\theta}_{q,r}$）可能导致解的行为发生质变。
5. 方法论的推进：文章展示了如何结合 Mikado 流、频率局域化修正和精细的参数选择，在负正则空间中控制非线性项（张量积），为未来研究其他流体方程在低正则性下的性质提供了强有力的技术工具。

总结：该论文通过构造非平凡的稳态奇异解，彻底打破了 Navier-Stokes 方程在负正则性 Besov 空间中解的唯一性假设，极大地深化了我们对流体方程在低正则性条件下适定性问题的理解。