Navier-Stokes问题：开放三维问题概览

不,它没有被解决。

本页是这个问题的整体概览。关于2026年当前状态以及失败的解答声称，请见Navier-Stokes问题解决了吗？。关于Clay的正式定式，请见Navier-Stokes存在性与光滑性。

纳维-斯托克斯问题提出了一个看似简单的问题:如果让一个三维流体开始光滑地流动,它会永远保持光滑吗?还是说运动会变得如此剧烈,以至于方程失效,光滑性在有限时间内崩溃?

没有人知道。

这就是纳维-斯托克斯存在性与光滑性问题,是整个数学中最深刻的未解问题之一,自从这些方程在19世纪成形以来,它已经抵御了所有证明尝试。有人声称找到了解答。没有一个经得起检验。关于完整的现状,请参见它被解决了吗?

该问题尚未解决。

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

两个方向都未解决。没有证明建立了整体正则性;也没有构造从光滑数据产生有限时间爆破。自纳维(1822)和斯托克斯(1845)的奠基性工作以来,该问题一直悬而未决,它仍然是分析学和数学物理学中最核心的未解问题之一。

关于当前状态,包括已发表的声称及其结局,请参见它被解决了吗?

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

• 弱解整体存在(勒雷,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万美元奖金。二十六年后,奖金无人认领。

阅读关于千禧年问题 →

克雷数学研究所将纳维-斯托克斯存在性与光滑性列入其2000年千禧年大奖难题清单,奖金为100万美元。问题陈述涵盖$1,000,000. The problem statement, written by C. Fefferman, specifies two sub-problems (on $\mathbb{R}^3$ and on $\mathbb{T}^3$),并接受整体光滑存在性的证明或有限时间爆破的构造。截至2026年,尚未有解答被接受。

精确的千禧年表述 →

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

• 它被解决了吗? 没有。这里是当前状态、主要已发表的声称以及它们在专家审查下失败的技术原因。
• 千禧年问题 要求。精确的要求。
• 为什么它如此困难 超临界性、湍流,以及阻止所有已知方法接近证明的尺度差距。

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

• 它被解决了吗? 问题的状态、已发表和撤回的声称、验证标准。
• 千禧年问题 费弗曼的表述、函数空间,以及什么构成有效的证明或反例。
• 为什么它如此困难 超临界尺度、非线性的作用,以及能量层面控制与正则性之间的差距。

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

查看迄今为止的进展 →

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

进展概览 →