Clay 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。

另见： Navier-Stokes问题解决了吗？（2026-09-12 (JST)现状）

无外力三维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。

Clay问题问的不是流体模拟是否有效、工程师能否解决管道流算例，也不是弱解是否存在。这些是另外的问题。奖金问题针对的是三维不可压缩方程的全局光滑性或有限时间破裂。

要赢得奖金，证明必须落入以下两类之一：

1. 全局光滑性：证明每个允许的光滑初始流动在所有未来时间都保持光滑。
2. 破裂：给出一个允许的光滑初始设置，使得全局光滑解不可能存在。

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

核心方程组是三维不可压缩Navier-Stokes方程

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f, \qquad \nabla \cdot u = 0.$$

Clay的表述区分全空间情形与周期情形。在全空间的存在性方向上，初始速度是光滑、无散度且快速衰减的；目标是得到对所有时间都保持有限能量的全局光滑解。在破裂方向上，任务是在官方备选表述之一下构造允许的数据，使得所要求的全局光滑解不存在。

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

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

按照Fefferman在$\mathbb{R}^3$上满足$f \equiv 0$的表述:

假设:设$u_0 \in C^\infty(\mathbb{R}^3)$无散。假设对每个$\alpha$和$K$存在常数$C_{\alpha,K}$使得

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K} \quad \text{在 } \mathbb{R}^3.$$

结论(待证):存在$p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$和$u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$满足Navier-Stokes方程,$u(x,0) = u_0(x)$,以及能量界

$$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C \quad \text{对所有 } t \geq 0.$$

纳维-斯托克斯被列入那份简短名单有三个原因:

• 实际重要性。 这些方程支配着大部分流体动力学:飞行器设计、气候模型、血液流动、洋流。即使没有完整证明,工程师在许多领域成功使用这些方程;开放问题在于3D方程是否总能在数学上得到证明。
• 数学深度。 它同时涉及分析、几何、拓扑和物理。
• 持久的重要性。 Clay在2000年把Navier–Stokes选为七个千禧年问题之一，因为它兼具根本性的数学困难和流体动力学中方程的核心地位。2026年9月的声明改变了问题状态，而非这些重要性理由。 另见： 探索原因

该问题的难度根源于三维方程的超临界性质。自然的能量估计

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \frac{1}{2}\|u_0\|_{L^2}^2$$

将$u$置于$L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$中,这低于临界尺度。Navier-Stokes方程在变换

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \quad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t)$$

下不变,临界空间是$L^3(\mathbb{R}^3)$(或$\dot{H}^{1/2}$)。能量类$L^2$是超临界的。它位于临界尺度阈值之下,本身无法控制小尺度非线性级联,留下了一个所有现有技术都难以弥合的缺口。

此处展示的能量估计适用于零外力。存在外力时，右侧还需包含功项： $\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

关键里程碑:

• 1822年: Navier从分子考虑推导出方程。
• 1845年: Stokes从连续介质力学给出现代推导。
• 1934年: Leray证明"弱"解总是存在。这是巨大的成果,但这些解可能不光滑。
• 1982年: Caffarelli、Kohn和Nirenberg证明奇点(更多关于部分正则性)如果存在,是极其小的:在这些方程自然的抛物几何中,奇异集具有零的一维抛物 Hausdorff 测度。
• 1984年: Beale、Kato和Majda证明(最初针对Euler,纳维-斯托克斯有类似结果)爆破只能在涡度变为无穷时发生。
• 2000年: 克雷将其命名为千禧年问题。
• 2026年9月：OpenAI宣布光滑外力下的三维爆破（Clay C/D）；Clay表示问题看来已解决。评估和颁奖是不同阶段。

另见： 临界空间方法

基础性结果,精选:

• Leray (1934):全局弱解 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$存在,通过紧性证明。他引入了Leray投影算子和湍流解的概念。随后一切工作的起点。
• Hopf (1951):将Leray的构造推广到有界区域。
• Ladyzhenskaya, Prodi, Serrin (1960年代):正则性准则。若$u \in L^p_t L^q_x$满足$2/p + 3/q \leq 1$且$q > 3$,则解是光滑的。Escauriaza, Seregin和Šverák在2003年解决了端点情形$L^\infty_t L^3_x$。
• Caffarelli, Kohn, Nirenberg (1982):$\mathcal{P}^1(\Sigma) = 0$。奇异集的一维抛物Hausdorff测度为零。
• Beale, Kato, Majda (1984):最初为不可压Euler方程证明:当且仅当$\int_0^{T^*} \|\omega(\cdot,t)\|_{L^\infty} \, dt = \infty$时发生爆破。类似准则对Navier-Stokes方程成立。
• Koch, Tataru (2001):在$\mathrm{BMO}^{-1}$中小数据的局部适定性。这是已知适定性成立的最大临界空间。
• Seregin (2012):在爆破时刻$T^*$,$L^3$范数必发散:当$\|u(t)\|_{L^3} \to \infty$时$t \to T^*$。这严格强于ESS(2003),后者只证明了一致有界性不可能维持。

2026年9月：OpenAI宣布光滑外力下的三维爆破（Clay C/D）；Clay表示问题看来已解决。评估和颁奖是不同阶段。

本文是问题的一部分。

如果你来这里想知道是否有人已经解决了它,从纳维-斯托克斯问题解决了吗?开始。

然后探索为什么它如此困难,或者看看数学家如何将其分解为子问题。关于2D问题可处理而3D问题仍然开放的结构性原因,参见为什么2D比3D容易。

本文是问题的一部分。

想要关于它是否已被解决的简短答案?参见纳维-斯托克斯问题解决了吗? 该页面还澄清了弱存在性与全局光滑正则性之间的差距。

数学障碍在为什么困难中阐述。关于可处理部分的分解(弱解、部分正则性、爆破分类),参见子问题。关于为什么2D情况已解决而3D未解决,参见为什么2D比3D容易。