🔢 数学

Existence of a weak solution to the Navier-Stokes equations enjoying the energy equality

本文通过取平滑化系统的解的极限，证明了满足能量等式的纳维-斯托克斯方程弱解的存在性，尽管由于缺乏唯一性结果，该文并未确立所有 Leray-Hopf 弱解都具有这一性质。

原作者： Paolo Maremonti, Alfonsina Tartaglione

发布于 2026-10-27

📖 1 分钟阅读🧠 深度阅读

原作者： Paolo Maremonti, Alfonsina Tartaglione

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

流体无处不在，从我们呼吸的空气到在我们血管中流动的血液。当科学家试图预测这些流体的运动方式时，他们依赖于一套被称为纳维-斯托克斯方程（Navier-Stokes equations）的规则。这些方程描述了流体的速度和压力如何随时间和空间变化。几十年来，数学家们已经能够证明这些方程的解是存在的，这意味着可以找到流体运动的数学描述。然而，一个顽固的差距一直存在于我们的理解之中。虽然我们知道这些解通常遵循能量守恒定律——即流体的总能量应该保持不变，或因摩擦而略微减少——但之前的数学证明只能保证能量不会增加，却无法证明能量会保持完美平衡，正如物理学所暗示的那样。这种不确定性留下了一种可能性，即在某些条件下，数学模型可能会允许能量神秘地消失，这种情况意味着我们对流体行为的理解出现了崩溃。

Paolo Maremonti 和 Alfonsina Tartlelione 最近的一项研究解决了这个长期存在的差距。研究人员成功构建了一种特定类型的纳维-斯托克斯方程解，它严格遵守能量守恒定律。在他们的工作中，他们证明了可以找到一种流体流动描述，使得在几乎每一个时刻，流体的总能量加上随时间损失的摩擦能，恰好等于流体初始的能量。这一结果具有重要意义，因为它证明了“能量缺失”问题并非方程本身不可避免的特征，而是此前寻找解的方法所存在的局限性。作者通过改进一种经典的技巧来实现这一点，该技巧通过平滑方程的“粗糙边缘”使其更容易求解，然后仔细证明随着这些平滑版本变得更加精确，它们会收敛到一个完美保持能量的解。

该团队并未声称已经解决了流体力学的所有谜团，也没有证明每一种可能的流体流动描述都必须守恒能量。相反，他们展示了至少存在一种符合能量守恒的有效解。这是一个至关重要的区别，因为众所周知这些方程非常复杂，且目前尚不清楚对于给定的初始条件是否存在唯一的解。如果存在多个解，其中一些可能仍会损失能量，但这种新型能量守恒解的存在，证明了这些方程有能力描述一种物理上完美的流动。研究人员还确定了一个特定的时间窗口，在此窗口内，这种完美的行为是得到保证的，这取决于流体初始能量的大小。对于初始能量较小的流体，这个窗口相当大；而对于能量极高的流体，窗口虽然较小，但依然存在。

为了得出这一结论，作者采用了一种涉及创建一系列更简单的、近似化流体问题的过程。想象一下，通过先观察一系列逐渐变得更像原始形状的、更光滑圆润的石头，来尝试理解一块锯齿状岩石的形状。研究人员使用了类似的方法，从更容易处理的平滑版流体方程开始。他们证明了这些近似版本表现良好，并且随着平滑过程的移除，解会趋向于一个最终的、稳定的形式。通过仔细追踪能量在这一转变过程中的行为，他们能够证明最终的解不会因为数学伪影而损失任何能量。这一过程需要一种新的专门工具来处理其中的数值，从而允许他们过滤掉可能暗示能量损失的计算部分，并专注于那些保持能量的部分。

这项工作的意义不仅在于在数学证明中勾选一个选项。在现实世界中，流体中的能量在没有物理原因的情况下消失的想法是令人不安的。如果这种现象属实，则意味着湍流——即在风暴或快速流动的水中看到的混沌、旋涡运动——可能会成为一个隐藏的能量汇。这项新结果表明，尽管湍流非常复杂，但它并不一定需要通过违反能量守恒来存在。作者指出，他们发现的任何以往模型中出现的能量损失，很可能都是由于所使用的数学工具导致的，而非流体本身的根本属性。这为理解流体运动提供了更坚实的理论基础，确保我们的数学模型至少在某些情况下，能够反映出不折不扣的物理能量守恒事实。

虽然这项研究侧重于这些解在数学上的存在性，但它也触及了数学家用来描述复杂流动的“弱解”（weak solutions）的本质。这些解可能在每一个点上都不完全平滑，但仍满足系统的整体规则。研究人员表明，即使在这一更广泛、限制更少的解类别中，也可能找到一个尊重严格能量定律的解。这一发现并未排除其他更具混沌性的解可能表现不同的可能性，但它确立了这些方程足以支持一种物理一致的流体运动描述。这项工作提醒我们，即使在最困难的数学问题面前，如果能从正确的角度切入，并使用正确的工具来架起近似与真相之间的桥梁，往往也能找到通往清晰的路径。

技术摘要：满足能量等式的纳维-斯托克斯方程弱解的存在性

问题陈述
本文研究了经典纳维-斯托克斯初始边界值问题，其定义域为 $\Omega \subseteq \mathbb{R}^3$ （有界域、外部域、半空间或全空间）。该系统由下式给出：
$v_t + v \cdot \nabla v + \nabla \pi = \Delta v, \quad \nabla \cdot v = 0$
且满足零边界条件及初始数据 $v_0 \in J_2(\Omega)$ 。

方法论
作者采用了一种基于 Leray 最初的平滑化技术（mollification technique）的构造性方法，避免了对唯一性结果（目前对于弱解而言尚不明确）的需求。其方法论流程如下：

平滑化系统： 作者考虑了一系列正则化的纳维-斯托克斯问题 (3.1)，其中非线性项通过 Friedrichs 平滑算子 $J_m$ 进行平滑处理。对于光滑初始数据，该系统存在满足能量等式的唯一正则解 $\{v_m\}$ 。
收敛性分析： 证明的核心在于建立梯度序列 $\{\nabla v_m\}$ ${\nabla v_{m}}$ 在特定函数空间中向 $\nabla v$ $\nabla v$ 的强收敛性。
- 引理 2.3： 引入了一个专门的收敛定理，作为勒贝格控制收敛定理（Lebesgue Dominated Convergence Theorem）的一个变体。它利用截断函数 $p(\alpha, r)$ 来处理标准控制条件失效的序列，从而允许在非线性项中进行极限传递。
- 引理 3.3： 作者证明了序列 $\{v_m\}$ 在 $L^q(0, T; J^{1,2}(\Omega))$ 中（其中 $q \in [1, 2)$ ）强收敛于弱解 $v$ 。这是关键的一步，因为仅有弱收敛不足以在能量平衡中进行极限传递。
辅助函数构造： 为了恢复能量等式，作者构造了一个特定的辅助函数 $p(\alpha, r)$ （定义于第 4.2 节），该函数涉及反正切和对数项。该函数在近似序列的能量方程中充当权重。通过仔细分析当参数 $\alpha \to 1^-$ 时的极限，作者证明了“缺陷”项（即极限的能量与能量的极限之间的差值）趋于零。

主要贡献与结果
主要结果为定理 1.1，其确立了：

特定弱解的存在性： 对于任何初始数据 $v_0 \in J_2(\Omega)$ ，存在一个满足能量等式的弱解 $v$ （在 Leray-Hopf 意义下）：
$\|v(t)\|_2^2 + 2\int_0^t \|\nabla v(\tau)\|_2^2 d\tau = \|v_0\|_2^2$
对于所有 $t \in (0, \infty) \setminus I$ ，其中 $I$ 是包含在区间 $(0, \theta)$ 内的测度为零的勒贝格集，且 $\theta \leq c\|v_0\|_2^4$ 。
正则性与连续性： 在能量不等式 (1.3) 成立的所有时刻 $s$ ，解 $v$ 在 $L^2$ 范数下是右连续的。可能的奇异时刻集合 $I$ 包含在特定区间 $(0, \theta)$ 内。
梯度的强收敛性： 作为能量等式成立的一个推论，作者证明了梯度序列 $\{\nabla v_m\}$ 在 $L^2(0, T; L^2(\Omega))$ 中强收敛于 $\nabla v$ （推论 4.1）。
全局能量平衡： 该解满足全局能量耗散恒等式：
$2\int_0^\infty \|\nabla v(t)\|_2^2 dt = \|v_0\|_2^2$

意义与主张
本文谦虚地声称，虽然由于缺乏唯一性定理，它并未证明每一个 Leray-Hopf 弱解都满足能量等式，但它证明了通过标准 Leray 近似法可以构造出至少一个满足能量等式的解。

作者强调了以下意义：

解析约束： 该结果对可能的弱解集施加了进一步的约束，表明能量不等式中的“间隙”（通常被解释为异常耗散或湍流）可能不是所有弱解的固有特征，而是特定非唯一解的属性。
与 Onsager 猜想的关系： 作者指出，其结果允许对关于“异常耗散”的猜想（类似于欧拉方程中的 Onsager 猜想）进行重新表述。如果能量等式几乎处处成立，那么任何能量平衡的差异必须归因于 $L^2$ 范数在奇异时刻的间断，而非连续的额外耗散机制。
适定性背景： 该结果被认为与近期关于极弱解（very weak solutions）纳维-斯托克斯方程非适定性的讨论相关。作者暗示，要求能量等式（或不等式）可以作为一种选择准则，从而可能排除某些非唯一的、病态的解。

由于其在收敛论证和特定辅助函数方面的应用较为基础，该证明被认为具有一定的简易性，并扩展了以往关于 $L^2$ 初始数据与能量等式相容性的工作。该结果对有界域和无界域均成立，并可推广到带有外部力 $f \in L^2(0, T; L^2(\Omega))$ 的情况。

类似论文