Global regularity for the Navier-Stokes equations with application to global solvability for the Euler equations

本文通过构造一种新型超临界空间并利用重标度论证推导出与粘性无关的能量估计，从而确立了对于初始数据属于 $H^s$（其中 $s \geq -1 + d/2$）的 $d$ 维纳维-斯托克斯方程的 Leray-Hopf 弱解的全局正则性，进而暗示了欧拉方程的全局可解性。

要点

想象一下，你正试图预测一种巨大的、无形的流体（比如空气或水）将如何永远运动下去。在物理学世界中，这由两组著名的规则来描述：纳维-斯托克斯方程（Navier-Stokes equations）和欧拉方程（Euler equations）。

把纳维-斯托克斯方程想象成描述一种带有微量“粘性”或摩擦力（黏度）的流体，比如蜂蜜或厚油。而欧拉方程则描述一种“完美”的流体，它完全没有摩擦力，就像一个穿梭在空间中的幽灵。

几十年来，数学家们一直被一个巨大的谜题所困扰：我们能否保证这些流体会永远平滑地运动下去，还是它们会突然爆发成混沌状态（即“奇异性”）？

明焕里（Myong-Hwan Ri）的这篇论文声称解决了关于三维（及更高维度）流体的这个谜题，前提是流体在初始状态下满足某种“足够平滑”的条件。以下是作者通过简单的类比对研究过程进行的解释。

1. 问题所在：“摩擦力”陷阱

通常，当数学家试图证明流体不会爆炸时，他们依赖流体的摩擦力（黏度）来使其平滑化。这就像使用刹车踏板来防止汽车撞车。

• 问题在于： 如果你想利用这些结果来理解“完美”流体（欧拉方程），你必须想象摩擦力完全消失的情况（即把刹车踏板关掉）。
• 危险之处： 如果你的证明依赖于刹车踏板发挥作用，那么一旦你移除了刹车，整个证明就会崩溃。作者需要一种方法，即使在摩擦力极小或为零的情况下，也能证明流体保持平滑。

2. 解决方案：一个新的“安全网”

作者发明了一种新的数学“安全网”（称为超临界空间），用以在能量变得过于狂暴之前捕捉住流体的能量。

• 旧的网络： 以前的网络太紧了。它们只能捕捉到已经非常平静的流体。如果流体变得稍微有些躁动，网就会断裂。
• 新的网络： 作者建造了一个具有非常特定、奇特模式的网络。想象一个渔网，其中的孔洞大部分很小，但偶尔会出现巨大的、宽阔的洞口。
  • 这个网络旨在捕捉“高频”涟漪（流体中细微、快速的振动）。
  • 这些“宽阔的洞口”经过巧妙设计，既不会让危险的能量逃逸，又足够宽松，使得即使在摩擦力（黏度）几乎为零时，数学运算依然能够进行。

3. 技巧：“缩放与收缩”相机

为了证明这个新网络有效，作者使用了一个聪明的相机技巧，叫做重标度（re-scaling）。

• 想象你正在观察一场风暴中的海洋。它看起来混乱且巨大。
• 作者说：“让我们放大观察一滴微小的水滴，并将整个海洋缩小到一个浴缸的大小。”
• 当你在数学上进行这种操作时，水的“摩擦力”会发生变化。通过足够程度的缩放，作者展示了流体的行为变得如此可预测，以至于它可以被容纳在新的安全网内。
• 因为这个网络在“缩小的世界”里有效，且数学规则是相同的，这便证明了在“真实世界”中，无论摩擦力有多少，流体都是安全的。

4. 结果：不再有爆炸

通过使用这个新网络和缩放技巧，作者证明了：

1. 对于粘性流体（纳维-斯托克斯）： 如果流体初始状态足够平滑，它将永远保持平滑。它永远不会爆发成混沌。
2. 对于完美流体（欧拉）： 由于证明并不依赖于摩擦力的强度，因此即使在摩擦力为零时也同样适用。这意味着我们现在可以保证，只要初始条件正确，完美流体也会永远保持平滑。

总结

把流体想象成一匹野马。

• 旧的数学： “如果我们有一根强韧的绳子（摩擦力），我们可以让马保持冷静。但如果绳子断了，我们不知道会发生什么。”
• 这篇论文： “我们建造了一个神奇的围栏（超临界空间），即使绳子被切断，也能让马保持冷静。我们通过将马想象成缩小成老鼠大小，从而更容易观察到它不会失控。”

核心结论： 作者表明，对于广泛的初始条件，这些流体永远不会突然崩溃或爆炸。它们将永远平滑地流动，无论是有粘性的还是完全无摩擦的。

技术摘要

技术摘要：纳维-斯托克斯方程的全局正则性及其在欧拉方程全局可解性中的应用

问题陈述
本文探讨了关于 $d$ 维不可压缩纳维-斯托克斯方程（其中 $d \ge 3$）的长期存在的全局正则性问题。具体而言，研究了当初始数据 $u_0$ 属于 Sobolev 空间 $H^s(\mathbb{R}^d)$（其中 $s \ge -1 + d/2$）时，Leray-Hopf 弱解是否在所有时间内保持光滑（正则）。虽然弱解的全局存在性已得到确立，但在 $d \ge 3$ 的维度下，其唯一性和正则性仍是开放问题。此外，本文试图通过利用这些正则性结果进行零粘性极限研究，从而在类似的初始数据条件下建立不可压缩欧拉方程的全局存在性。

方法论
作者采用了一种以构造特定的“超临界”函数空间 $X_1$ 为核心的新颖方法，并利用了高频分量能量范数的叠加法。

1. 构造超临界空间 ($X_1$)：
   其核心创新在于定义了一个比临界齐次 Sobolev 空间 $\dot{H}^{-1+d/2}(\mathbb{R}^d)$ 稍弱的 $X_1$ 空间。$X_1$ 中的范数在频率域内引入了一个“非常稀疏的反对数权重”。具体而言，该空间是通过 Littlewood-Paley 分解 $\Delta_j$ 来定义的，其范数涉及一个仅在稀疏索引集（具体为 $j = i + 2^{2k}$）上呈对数增长的序列 $a(j)$。这种稀疏性对于满足估计所需的特定平均条件至关重要。

2. 高频能量估计：
   作者并非仅仅将对流项 $(u \cdot \nabla)u$ 视为二次非线性项，而是通过对高频部分 $u_k$（其中 $u_k$ 代表频率 $|\xi| \ge k$）进行测试，利用抵消性质 $((u \cdot \nabla)u_k, u_k) = 0$。这产生了一个关于 $u_k$ 的 $L^2$ 范数的微分不等式。作者推导出一个估计式，其中高频能量的增长受控于该解在超临界空间 $X_1$ 中的范数以及依赖于 $X_1$ 拓扑结构的因子 $c(k)$。

3. 叠加与重标度：
   作者对所有 $k \in \mathbb{N}$ 进行高频估计的求和。一个关键的技术引理（引理 3.1 和 3.2）表明，由求和产生的系数序列 $b(j)$ 满足平均条件（$\sum_{k=1}^n c(k) \lesssim n$）。这使得通过能量范数的叠加可以恢复对临界和亚临界范数的估计。
   至关重要的是，证明采用了重标度论证。通过对解进行重标度 $u_\lambda(t, x) = \lambda u(\lambda^2 t, \lambda x)$，作者表明对于足够大的标度参数 $\lambda$，范数 $\|u_\lambda\|_{X_1}$ 会变得一致地小。这种微小性使得非线性项能够被吸收进耗散项中，且该过程独立于粘性系数 $\nu$。

主要结果
本文确立了以下主要定理：

• 定理 1.1 (纳维-斯托克斯方程的全局正则性)： 对于初始数据 $u_0 \in H^s(\mathbb{R}^d)$（其中 $d \ge 3$ 且 $s \ge -1 + d/2$），任何 Leray-Hopf 弱解都属于 $L^\infty(0, \infty; H^s(\mathbb{R}^d)) \cap L^2(0, \infty; H^{s+1}(\mathbb{R}^d))$。该解是全局正则且唯一的。

  • 估计值的意义： 所导出的能量估计 (1.3) 关于粘性系数 $\nu$ 是一致的。这种独立性是证明的关键特征。

• 定理 4.2 (欧拉方程的全局可解性)： 作为纳维-斯托克斯方程一致正则性估计的直接推论，本文证明了对于初始数据 $u_0 \in H^s(\mathbb{R}^d)$（其中 $s \ge -1 + d/2$）的不可压缩欧拉方程，其弱解是全局存在的。

  • 唯一性： 当 $s > 1 + d/2$ 时，解是唯一的。
  • 方法： 该结果是通过零粘性极限获得的，依赖于纳维-斯托克斯解序列的紧致性以及定理 1.1 中建立的一致界限。

意义与主张
本文声称，其主要贡献在于规避了传统的正则性判据限制，这些判据通常要求临界范数满足微小性条件，或要求解本身满足额外的标度不变约束。通过构造具有稀疏对数权重的特定超临界空间 $X_1$，作者证明了高频能量耗散的“平均化”足以在全球范围内控制非线性。

作者强调，正则性常数对粘性系数 $\nu$ 的独立性是实现向欧拉方程过渡的关键因素。这为在 $H^s$（其中 $s \ge -1 + d/2$）初始数据条件下实现欧拉方程的全局存在性提供了路径，而本文指出，在以往的文献中，此类正则性假设下的结果尚未得到普遍建立。这项工作通过证明解会保持在亚临界空间 $H^s$ 中，而非必须始终保持在临界空间中，从而扩展了以往关于临界空间（如 $\dot{B}^{-1}_{\infty, \infty}$）的研究结果。