纳维-斯托克斯问题

无外力三维Navier–Stokes的全局正则性仍未解决：所宣布的有外力构造并不解决这一问题。以下技术讨论中的正则性和唯一性未解问题，除非明确另述背景，均指无外力系统。

资料状态核查日期：2026-09-12（JST）。9月8日，OpenAI宣布三维不可压Navier–Stokes在光滑外力下发生有限时间爆破，声称满足Clay的选项C和D，并公开了论文稿和Lean形式化。9月11日，Clay表示问题“看来已得到解决”，并说明评估和功劳归属将有意从容进行。这不是颁奖公告，也不是本站对证明的验证。

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

另见： Navier-Stokes问题解决了吗？ · Navier-Stokes存在性与光滑性 · 它被解决了吗?

无外力三维Navier–Stokes的全局正则性仍未解决：所宣布的有外力构造并不解决这一问题。以下技术讨论中的正则性和唯一性未解问题，除非明确另述背景，均指无外力系统。

资料状态核查日期：2026-09-12（JST）。9月8日，OpenAI宣布三维不可压Navier–Stokes在光滑外力下发生有限时间爆破，声称满足Clay的选项C和D，并公开了论文稿和Lean形式化。9月11日，Clay表示问题“看来已得到解决”，并说明评估和功劳归属将有意从容进行。这不是颁奖公告，也不是本站对证明的验证。

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

另见： 它被解决了吗?

Clay要求证明四个选项中的一个，而非全部：(A) R³上无外力的全局光滑存在性；(B) 周期环面T³上无外力的全局光滑存在性；(C) R³上的破裂，允许满足条件的光滑外力；(D) 周期情形的破裂，允许满足条件的光滑外力。A/B针对所有允许的初始数据；C/D要求一个允许的反例。有外力的破裂并不否定A/B。

纳维-斯托克斯存在性与光滑性问题询问:对于每一个足够光滑的、无散度的初始数据$u_0 \in C^\infty(\mathbb{R}^3)$(具有适当的衰减)和$f \equiv 0$,不可压缩纳维-斯托克斯系统是否存在解$u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$;或者,是否存在光滑数据$u_0$(可能还有光滑的强迫项$f$),使得有限时间奇点形成。

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

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

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

• 勒雷(1934): 对于$u_0 \in L^2(\mathbb{R}^3)$,整体弱解(现称为勒雷-霍普夫解)存在并满足能量不等式。这些解的唯一性和正则性仍未解决。方法 →
• 二维整体正则性: 拉迪任斯卡娅(1959)在$\mathbb{R}^2$中建立了光滑解的整体存在性和唯一性。关键是在二维中拟能量是受控的。为什么三维不同 →
• CKN(1982): 卡法雷利、科恩和尼伦伯格证明了任何适当弱解的奇异集的一维抛物豪斯多夫测度为零。子问题 →
• 局部存在性: 对于足够正则的数据,存在唯一的局部光滑解;在临界空间如$\dot{H}^{1/2}$中,在温和解框架下具有局部适定性。未解决的问题是这些解是否总能在所有时间延拓。
• 克雷表述(2000): 费弗曼的问题陈述明确了函数空间、衰减条件以及什么构成有效的证明或反证。千禧年问题 →

这是核心困难。流体自身的运动可以将活动推向越来越小的尺度,其速度快于当前估计所能控制的。在三维中,数学没有给我们足够的控制来排除这种情况。它也不能让我们证明这确实会发生。

这不是关于聪明才智。不是关于计算能力。已知的数学工具从根本上是不足的,而集中与耗散之间的这种张力正是为什么解决这个问题需要真正新的数学。

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

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

这是本质的分析障碍,现有技术无法弥合这一差距。详细讨论请参见为什么它如此困难。

2000年，克雷数学研究所将这个正则性问题列为七个千禧年大奖难题之一，为正确的证明或反证提供100万美元奖金。本概览解释这个大奖问题在整体背景中的意义。

关于精确表述，请阅读官方问题陈述详解。关于目前的进展状况，请见当前状态（2026-09-12 (JST)）。

克雷数学研究所在其2000年千禧年大奖难题清单中列入了这个正则性问题。该表述由C. Fefferman撰写，在$\mathbb{R}^3$和$\mathbb{T}^3$上给出，接受整体光滑存在性的证明，或在被接受的备选情形下构造有限时间破裂。

阅读官方问题陈述详解，或查看当前状态（2026-09-12 (JST)）。

本页是一张地图。领域延伸很深。选择一条线索:

• 它被解决了吗? 2026年9月：OpenAI宣布光滑外力下的三维爆破（Clay C/D）；Clay表示问题看来已解决。评估和颁奖是不同阶段。
• 千禧年问题 要求。精确的要求。
• 为什么它如此困难 超临界性、湍流,以及阻止所有已知方法接近证明的尺度差距。

关于上述主题的详细讨论:

• 它被解决了吗? 2026年9月：OpenAI宣布光滑外力下的三维爆破（Clay C/D）；Clay表示问题看来已解决。评估和颁奖是不同阶段。
• 千禧年问题 费弗曼的表述、函数空间,以及什么构成有效的证明或反例。
• 为什么它如此困难 超临界尺度、非线性的作用,以及能量层面控制与正则性之间的差距。

数学家们不只是盯着这个问题。他们开发了强大的工具、部分结果,以及为破解它而产生的全新分析领域。工作仍在继续。

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

在过去的一个世纪中,纳维-斯托克斯问题推动了调和分析、泛函分析和几何测度论的重大发展。部分正则性结果、条件爆破准则(贝尔-加藤-马伊达、埃斯考列亚扎-谢列金-什韦拉克)以及模型问题分析继续锐化我们对正则性与潜在奇异性之间边界的理解。

另见： 进展概览 →