Clay Navier-Stokes问题陈述：官方标准详解

克雷数学研究所的Navier–Stokes问题由Charles Fefferman为2000年公布的千禧年大奖难题撰写，问的是三维不可压Navier–Stokes方程是否对所有时间都有光滑解，还是光滑解可能破裂。本页准确解释官方陈述的要求：方程、允许哪些初始流动和外力、什么算作“物理上合理的”解，以及四个选项——其中任意一个即可解决该问题。

2026年9月，OpenAI宣布证明了破裂选项C和D，Clay表示问题“看来已得到解决”；其评估将有意从容进行，且尚未颁发任何奖项。无外力的存在性选项A和B并未由该结果判定。

宣布了什么，以及如何接受评估：Navier-Stokes解决了吗？（资料核查于2026-09-29）

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

Fefferman的官方陈述涉及$\mathbb{R}^3$或$\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$上黏性系数$\nu>0$的三维不可压Navier–Stokes方程组。它定义了允许的初始数据和外力、物理上合理的解类（对所有$t\ge0$光滑，在$\mathbb{R}^3$上能量有界），并要求证明A–D四个陈述之一。

2026年9月，OpenAI宣布证明了破裂选项C和D，Clay表示问题“看来已得到解决”；其评估将有意从容进行，且尚未颁发任何奖项。无外力的存在性选项A和B并未由该结果判定。

状态与来源：Navier-Stokes解决了吗？（资料核查于2026-09-29）

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

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

存在性（A、B）在$f\equiv0$下提出，并对所有允许的数据作全称量化；破裂（C、D）要求一个允许的数据对$(u_0,f)$，在下述衰减条件下允许外力。

1. (A) 整个空间上的光滑性。在没有外力时，每个光滑、无散度且各阶导数在无穷远处快速衰减的初始流动，都有对所有时间存在、总能量有界的光滑解。
2. (B) 周期盒子中的光滑性。同样在没有外力时，对在各方向上周期重复的光滑无散度流动作相同断言。
3. (C) 整个空间上的破裂。存在某个允许的光滑初始流动和某个光滑外力（其大小及各阶导数在空间和时间上都快速衰减），使得不存在对所有时间光滑且能量有界的解。
4. (D) 周期盒子中的破裂。存在某个光滑的周期初始流动和光滑的周期外力（在时间上快速衰减），使得不存在对所有时间光滑的周期解。

证明四者中的任意一个，即按所提出的形式解决了该问题。它们并不是按“陈述与其否定”来排列的：C弱于“A不成立”，因为C还允许解题者选择外力。官方文本将这四个选项描述为“在保留问题核心的同时，给解题者合理的回旋余地”。

按照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.$$

破裂（C）：存在满足上述衰减条件的光滑无散度$u_0$，以及$\mathbb{R}^3\times[0,\infty)$上满足条件(5)的光滑$f$：

$$|\partial_x^\alpha \partial_t^m f(x,t)| \leq \frac{C_{\alpha m K}}{(1+|x|+t)^{K}},$$

（对所有$\alpha, m, K$成立），使得不存在满足方程、初始条件和能量界的$(p,u)$，其中$p,u\in C^\infty(\mathbb{R}^3\times[0,\infty))$。

周期版本（B、D）：$u_0$和$f$在每个坐标方向上以1为周期；外力条件变为$|\partial_x^\alpha\partial_t^m f(x,t)|\le C_{\alpha mK}(1+|t|)^{-K}$，即条件(9)；解必须在$x$上光滑且周期，所附勘误还要求压力也是周期的。B取$f\equiv0$，要求对每个光滑、周期、无散度的$u_0$都存在全局光滑周期解；D要求一个允许的周期数据对$(u_0,f)$，使其没有全局光滑周期解。周期选项不附带单独的能量界。

所宣布的全空间定理从零速度出发，这满足初始数据条件；并使用一个支集在有界空间区域和有界时间区间内的光滑外力，这满足外力衰减条件。其结论是：对这组数据不存在能量有界的全局光滑解，这正是C所要求的；一个推论将该构造转移到周期盒子中，对应D。检查这些数据条件是初等的；这并不验证证明本身。

这种对应只涉及C和D。A和B（无外力时的全局光滑性）既没有被它证明，也没有被它否定；而一旦C或D成立，Clay的陈述也不要求A和B。证明是否正确，有待专家核查和Clay的程序来判断；参见状态说明。

• 初始数据。$u_0=0$是光滑且无散度的，平凡地满足衰减条件(4)和周期性条件(8)。
• C的外力。$f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$在时空中具有紧支集，因此每个导数都有界，且在某个紧集之外为零；(5)成立。
• C的结论。定理1.1给出$[0,1)$上的光滑$(u,p)$，满足$\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$和$\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$，并指出在$\mathbb{R}^3\times[0,\infty)$上不存在具有相同初始数据和外力、且动能一致有界的光滑解，而这正是(6)–(7)所要求的解类。
• D。推论10.6：对每个$\nu>0$，存在$\mathbb{T}^3\times[0,\infty)$上在时间上具有紧支集（因而满足(9)）的光滑外力，初始速度为零，速度在$t=1$爆破，并且对相同的初始数据和外力不存在全局光滑周期解；速度和压力均为周期的，符合勘误的要求。
• 局限。这些是手稿中的陈述，上述数据类检查是初等的；它们并不验证该构造、Lean形式化，或其与官方文本的对应。

手稿：OpenAI — Navier–Stokes（PDF），定理1.1与推论10.6。

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

• 实际重要性。 这些方程支配着大部分流体动力学:飞行器设计、气候模型、血液流动、洋流。即使没有完整证明,工程师在许多领域成功使用这些方程;开放问题在于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年：OpenAI宣布了光滑外力下破裂的证明，声称实现了选项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年：宣布的有外力破裂（手稿的定理1.1与推论10.6），声称实现C和D；参见上文的对应关系。

本文是问题的一部分。

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

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

本文是问题的一部分。

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

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