纳维-斯托克斯问题

Navier–Stokes问题问的是：流体运动方程在三维中是否总是表现良好？从一个能量有限的光滑流动出发，解是否对所有时间保持光滑，还是速度可能在有限时间后变为无穷大？Clay千禧年大奖的版本既接受无外力时全局光滑性的证明，也接受破裂的例子，而在破裂的例子中还可以选择一个光滑、快速衰减的外力。

现状简述：2026年9月，OpenAI宣布证明了带有此类外力的破裂选项，Clay表示问题“看来已得到解决”，评估将有意从容进行。无外力的流动是否总保持光滑，仍然未知。注明日期的状态说明介绍了主张的内容以及它如何接受评估。

本页是一张地图：问题是什么，已经证明了什么，为什么难以证明，以及接下来读什么。

一手资料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clay官方问题陈述.

Navier-Stokes存在性与光滑性问题问的是：对于每个具有适当衰减的充分光滑、无散度的初始数据$u_0 \in C^\infty(\mathbb{R}^3)$，且$f \equiv 0$，不可压Navier-Stokes方程组是否存在能量有界的解$u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$（以及$\mathbb{T}^3$上类似的周期问题）。Clay的表述也接受破裂的例子，其中允许满足条件的光滑外力。

现状简述：2026年9月的手稿声称实现了有外力的破裂选项，即$\mathbb{R}^3$上的C（定理1.1）和$\mathbb{T}^3$上的D（推论10.6）；Clay表示问题“看来已得到解决”，评估将有意从容进行。$f\equiv0$的情形并未由该主张判定。详情：注明日期的状态与来源。

一手资料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clay官方问题陈述.

未解决并不意味着未触及。近一个世纪的深入数学研究已经绘制出了地形,并准确揭示了困难所在以及为什么它不会屈服于我们现有的工具:

• 弱解全局存在（Leray，1934年）。放宽“解”的概念，允许粗糙的、平均化的行为，解便对所有时间存在。在无外力时它们是否保持光滑，还没有人证明。更多研究方法 →
• 二维已解决。 在二维中,光滑解总是整体存在,但三维是完全不同的野兽。为什么三维更难 →
• 奇点,如果存在,是稀有的(CKN,1982)。 卡法雷利、科恩和尼伦伯格证明了可能奇点的集合具有零一维抛物 Hausdorff 测度,意味着它们甚至不能填满时空中的单条曲线。子问题和部分结果 →
• 光滑解短时间存在。 从光滑数据开始,你会得到某个时间区间上的唯一光滑解,但该区间是否总能延拓到无穷正是未知的。
• 精确的表述由查尔斯·费弗曼为克雷数学研究所制定。阅读千禧年问题陈述 →

以下结果构成了主要的部分进展:

• Leray（1934年）：对于$u_0 \in L^2(\mathbb{R}^3)$，全局弱解（现称Leray-Hopf解）存在并满足能量不等式。对于$f\equiv0$，这些解的唯一性和正则性仍未解决；在适当选择的外力下，非唯一性已被证明。研究方法 →
• 二维全局正则性：在二维中，光滑解的全局存在性和唯一性早已为人所知；Clay的问题陈述引用了Ladyzhenskaya 1969年的专著。关键在于二维中拟涡能（enstrophy）受到控制。为什么三维不同 →
• CKN(1982): 卡法雷利、科恩和尼伦伯格证明了任何适当弱解的奇异集的一维抛物豪斯多夫测度为零。子问题 →
• 局部存在性: 对于足够正则的数据,存在唯一的局部光滑解;在临界空间如$\dot{H}^{1/2}$中,在温和解框架下具有局部适定性。未解决的问题是这些解是否总能在所有时间延拓。
• 克雷表述(2000): 费弗曼的问题陈述明确了函数空间、衰减条件以及什么构成有效的证明或反证。千禧年问题 →

核心困难在于：流体自身的运动可能把活动推向越来越小的尺度，其速度快于现有估计所能控制的程度。对于无外力的三维流动，已知估计还不足以排除这种情况，也没有人证明它确实会发生。（2026年的构造声称，在施加光滑外力时这种情况可以发生。）

这无关聪明才智，也无关计算能力。已知估计力有不逮；集中与耗散之间的这种张力，正是解决无外力问题需要新思想的原因。

超临界性、尺度差距、为什么三维湍流从根本上不同:完整的故事,请参见为什么纳维-斯托克斯问题如此困难。

三维纳维-斯托克斯方程相对于自然能量估计是超临界的:$L^2$范数是受控的,但尺度临界正则性位于$\dot{H}^{1/2}$,这不能仅由能量不等式传播。非线性项$(u \cdot \nabla)u$原则上可以以快于拉普拉斯算子耗散的速度将能量转移到任意精细的尺度。

这是本质的分析障碍；对于$f\equiv0$，现有技术都无法弥合这一鸿沟。详细讨论参见为什么它很难。

2000年，克雷数学研究所将这一正则性问题列为七个千禧年大奖难题之一，为按其规则获得认可的解答提供100万美元奖金。官方问题陈述接受四个选项中的任意一个：无外力的全局光滑性，或允许满足条件的光滑外力的破裂，每种情况又分为整个空间和周期盒子两种。本概述在背景中解释这个大奖问题为何重要。

精确表述请阅读官方问题陈述详解。目前的进展请参阅当前状态（资料核查于2026-09-29）。

克雷数学研究所在2000年的千禧年大奖难题名单中纳入了这一正则性问题。由C. Fefferman撰写的表述在$\mathbb{R}^3$和$\mathbb{T}^3$上提出，接受在$f\equiv0$下全局光滑存在性的证明（A、B），或可以选择满足条件的光滑外力的破裂构造（C、D）。

阅读官方问题陈述详解，或查看当前状态（资料核查于2026-09-29）。

本页是一张地图。请选择你想了解的问题：

• 它解决了吗？ 2026年9月的声明、Clay的回应，以及仍未解决的问题。
• Clay究竟要求什么？ 官方问题陈述、四个选项及其条件。
• 为什么它很难？ 超临界性、湍流与尺度鸿沟。
• 为什么二维更容易？ 涡拉伸，以及它在三维中破坏了什么。
• 什么是弱解？ 弱解、强解与光滑解，以及唯一性对每一种意味着什么。
• 已经证明了什么？ 从Leray到2026年的主张。

详细讨论：

• 它解决了吗？ 所宣布的定理、它与C/D的对应、评估状态和遗留问题。
• 千禧年问题 Fefferman的表述、函数空间、条件(4)–(11)，以及什么构成有效的解答。
• 为什么它很难 超临界尺度、非线性项的作用，以及能量层级的控制与正则性之间的鸿沟。
• 为什么二维比三维容易 涡量输运、拟涡能控制和涡拉伸。
• 弱解、强解与光滑解 分布解与Leray–Hopf解的区别，以及弱–强唯一性。
• 进展 各个里程碑，以及置于背景中的2026年篇章。

数学家们并非只是盯着这个问题发呆。为了攻克它，他们发展出了强大的工具、部分结果，乃至全新的分析领域。2026年的主张提供了一个新的研究对象，而无外力问题、弱解的唯一性以及流动集中的机制仍是活跃的研究方向。

另见： 查看迄今为止的进展 →

在过去一个世纪里，Navier-Stokes问题推动了调和分析、泛函分析和几何测度论的重大发展。部分正则性结果、条件爆破准则（Beale-Kato-Majda、Escauriaza-Seregin-Šverák）以及模型问题分析，不断加深我们对正则性与潜在奇点之间界限所在的理解。所宣布的有外力构造（C/D）如今与这些结果并列；$f\equiv0$的情形仍未解决。

另见： 进展概览 →