Navier-Stokes问题解决了吗？2026年现状
简短答案、详细答案,以及为什么这个问题比听起来更复杂
2026年现状：仍未解决
没有。截至2026年,纳维-斯托克斯存在性与光滑性问题仍然未解决。没有人证明三维中光滑解总是存在,也没有人证明解可能会崩溃。克雷千禧年大奖(100万美元)至今无人认领,等待着有人破解这个与19世纪提出的方程相关、至今仍未解决的问题。
本页是“Navier-Stokes解决了吗？”或“Clay的Navier-Stokes问题解决了吗？”这类问题的当前状态页。关于精确的Clay问题陈述，请见Navier-Stokes存在性与光滑性。
方程本身没有问题。工程师和科学家每天都在使用纳维-斯托克斯方程设计飞机、预测天气和模拟血流。数值模拟是有效的。但未解决的是:一个纯粹的数学问题——这些方程是否总能产生良好的解,还是它们最终可能预测一些不可能的情况,比如无限速度集中在空间中的单个点。
截至2026年,关于纳维-斯托克斯存在性与光滑性的克雷千禧年大奖仍然未解决。对于三维不可压缩纳维-斯托克斯方程,既未建立全局正则性,也未建立有限时间爆破。
准确地说:给定光滑、无散初值$u_0 \in C^\infty(\mathbb{R}^3)$且具有适当衰减(或在$\mathbb{T}^3$上),目前未知是否存在唯一光滑解$(u, p)$对所有$t \geq 0$使得$u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$。也未构造出反例。
已知的结果
并非完全黑暗。数学家们对此钻研了一个多世纪,建立了一幅关于已知和未知内容的出人意料地详细的图景:
- 弱解存在(Leray,1934年)。如果弱化解的概念,全局解是存在的。但它们是否保持光滑和唯一仍然是开放的。
- 二维已解决(Ladyzhenskaya,1969年)。二维?已完成。光滑解对所有时间存在,而困难完全且顽固地特定于三维。
- 奇点是罕见的(Caffarelli-Kohn-Nirenberg,1982年)。即使三维中存在奇点,它们也被限制在零一维抛物 Hausdorff 测度的集合中,这是在该方程自然几何下极其微小的集合。
- 短时间解存在。光滑?是的,至少在短时间内。问题是:它们能否总是永远延拓下去?
因此差距虽窄但深。我们知道解开始时是光滑的,我们知道弱解在全局持续存在,但没有人能证明光滑性在三维中对所有时间都存续。
关键已建立结果:
- Leray(1934年):满足能量不等式$\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$的弱(分布)解的全局存在性。唯一性?开放的。
- Ladyzhenskaya(1969年):对于二维不可压缩问题,光滑无散初值产生唯一全局光滑解。
- Caffarelli-Kohn-Nirenberg(1982年):适当弱解的部分正则性:奇异集的一维抛物Hausdorff测度为零,$\mathcal{P}^1(S) = 0$。
- 局部适定性:对于$u_0 \in H^s(\mathbb{R}^3)$满足$s > 3/2$,在$[0, T^*)$上存在唯一光滑解;这在尺度临界空间$\dot{H}^{1/2}(\mathbb{R}^3)$(Fujita-Kato,1964年)中也成立,并延伸到严格更大的临界空间包括$BMO^{-1}$(Koch-Tataru,2001年)。是否有$T^* = \infty$?
这就是差距:我们知道弱解在全局存在,我们知道强解在局部存在且具有完全唯一性。强解是否总能延拓到所有时间,这是仍然完全开放的问题。
为什么人们认为它可能已解决
每隔一两年,就会有预印本声称解决了纳维-斯托克斯问题。这个循环是可预测的:兴奋,专家审查,然后有人发现漏洞。没有一个被专家社区接受为正确的解决方案。
部分困惑来自混淆了"解决"的真正含义:
- "我们可以在计算机上模拟流体。"当然。但数值模拟不是数学证明;模拟将空间和时间切成有限块,而问题是关于在你进行任何切割之前连续方程中发生的事情。
- "工程师成功地使用这些方程。"确实如此。但实际成功并不能告诉我们这些方程在数学家能够想象的每一个可能场景中是否内在一致。
- "二维问题已解决。"正确。但三维问题从根本上不同,因为使二维有效的机制(没有涡旋拉伸,这使涡量保持有界)在三维中根本不适用。
声称的证明定期出现。它们因可预测的原因而失败:
- 不正确的先验估计:假设控制了实际上尚未建立的临界或超临界范数。
- 混淆弱解和强解:证明Leray-Hopf解的性质,而这需要正在声称的正则性本身。
- 量纲分析错误:在二维中成立的论证(其中拟能给出$H^1$控制且次临界Sobolev嵌入足够)但在三维中完全失败,因为相同的嵌入不再控制非线性项。
- 循环自举:假设隐含地假定了正在证明的内容。
为什么一切都失败?三维问题相对于自然能量范数是超临界的,因此能量估计和Gronwall型论证等标准技术根本无法提供足够的控制。这就是每个声称的证明所遇到的壁垒。
解决方案会是什么样子?
要获得克雷奖,你需要做以下两件事之一:
- 证明全局正则性:证明对于任何光滑初始条件,解永远保持光滑。没有无限速度。没有崩溃。方程总是良好表现。
- 构造爆破:找到光滑初始条件,使得经典数学解在有限时间内崩溃,或以其他方式满足克雷官方爆破表述之一。
任何一个结果都将是巨大的。全局正则性将解决克雷问题并确立不可压缩模型对所有光滑数据在数学上是适定的。爆破?这将迫使我们重新思考在极端尺度下发生的事情,并可能指向我们尚未想象的全新物理学。
根据Fefferman的克雷表述,有效的解决方案需要以下之一:
- (A) 存在性与光滑性:对于每个$u_0 \in C^\infty(\mathbb{R}^3)$满足$\nabla \cdot u_0 = 0$且对所有$\alpha, K$有$|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$,证明存在$(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$满足方程,且对所有$t \geq 0$有$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$。
- (B) 崩溃:展示$u_0 \in C^\infty(\mathbb{R}^3)$(无散,具有适当衰减)和$f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$使得没有$(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$满足方程。
在$\mathbb{T}^3$上的类似表述也被接受。Fefferman的完整陈述包括有和没有外力($f = 0$和$f \neq 0$)的单独情况;上述提炼了基本选择。
迄今为止的时间线
- 1822年:Navier从分子考虑推导出方程。
- 1845年:Stokes给出它们的现代形式。
- 1934年:Leray证明弱解全局存在。巨大的成就。
- 1969年:Ladyzhenskaya解决二维问题。
- 1982年:Caffarelli、Kohn和Nirenberg证明部分正则性,确立任何奇点必定极其罕见,被限制在一维测度为零的集合中。
- 1984年:Beale、Kato和Majda对三维Euler方程证明光滑解的崩溃迫使涡量时间积分发散。相关的延拓准则也适用于纳维-斯托克斯方程。
- 2000年:克雷将其命名为千禧年问题。一百万美元。
- 2014年:Tao构造了方程平均版本的爆破(预印本;2016年发表),表明奇点形成不存在纯粹的结构性障碍。
- 2026年:开放的。
- 1822年:Navier。分子应力。
- 1845年:Stokes。连续介质。
- 1934年:Leray。基础性结果:在$L^2$中的全局弱解、Leray投影算子,以及塑造整个世纪数学流体分析并定义随后所有方法的能量不等式。
- 1951年:Hopf推广到有界区域。
- 1962年:Serrin建立条件正则性:如果$u \in L^p_t L^q_x$满足$2/p + 3/q \leq 1$且$q > 3$,则解光滑;端点$L^\infty_t L^3_x$由Escauriaza-Seregin-Šverák在2003年解决。
- 1969年:Ladyzhenskaya。二维完成。
- 1982年:CKN。$\mathcal{P}^1(S) = 0$。
- 1984年:Beale-Kato-Majda(对于三维Euler)。如果$T^* < \infty$,则$\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$。类似的延拓准则对纳维-斯托克斯成立。
- 2000年:克雷。
- 2014年:Tao。平均纳维-斯托克斯爆破(JAMS 2016),表明对真实方程的任何正则性证明必须利用平均模型所保留的纳维-斯托克斯非线性项的更精细特征。
- 2026年:开放的。
继续探索
问题的一部分。
深入了解:为什么这个问题如此困难?,数学家们正在研究哪些子问题,以及他们尝试了哪些方法?
克雷的正式陈述位于千禧年问题页面,如果你想了解这个问题实际针对的是哪个版本的方程,请参见不可压缩与可压缩纳维-斯托克斯方程。