Navier-Stokes研究进展：已知结果与开放方向

自20世纪30年代以来,数学家们从多个角度攻克这一问题,包括能量估计、几何方法、概率论以及计算机辅助分析。完整的三维存在性与光滑性问题仍然完全开放,顽固未解。

但人们忽略了一点:从九十年的失败攻坚中,我们学到了大量知识,这幅集体图景远比简单的"未解决"标签丰富得多。整套策略被排除。子情形被封闭。我们已取得实质进展:某些子情形已得到解决,若干条件准则已被理解,主要障碍也变得更加清晰。下文是这些进展的地图。

纳维-斯托克斯正则性问题要求对三维不可压缩系统,在光滑且快速衰减的初值条件下,解的全局存在性与光滑性。自其现代形式提出以来,该问题一直未得解决。主要的攻坚路线包括:Leray–Hopf弱解理论、通过几何测度论的部分正则性、通过延拓准则的条件正则性、概率与随机方法,以及用于非唯一性的凸积分。

没有任何方法能够完全解决该问题。但它们共同阐明了关键障碍:超临界尺度、能量类解与光滑解之间的鸿沟,以及弱解类中唯一性本身可能失效的令人不安的可能性。

重塑该领域的五个结果:

• 1934年,Leray: 证明了对任何合理的初值数据,存在全局时间弱解。某种东西永远持续存在。但它能保持光滑吗?这是Leray无法回答的问题,九十年后,仍然无人能解。
• 1982年,Caffarelli, Kohn, Nirenberg: 可能的奇点集极其微小:在这些方程自然的抛物几何中,它具有零一维测度。微小到极致。如果发生爆破,其稀疏程度超乎想象。
• 1984年,Beale, Kato, Majda: 重大结果。光滑解只有在涡量爆破时才会崩溃,这为整个领域提供了一个精确目标:充分强地控制相关涡量范数,光滑解在该时刻就不会崩溃。
• 2016年,Tao: 构造了一个平均纳维-斯托克斯方程的爆破解,该方程与真实方程具有相同的能量和尺度性质,这意味着真实方程的证明必须使用比能量估计和尺度分析更精细的结构。这是一个障碍,而非解决方案。
• 2022年,Albritton, Brué, Colombo: 当允许外力时,Leray-Hopf弱解不唯一。坏消息:最弱的解类并不像我们希望的那样温顺,这迫使我们重新思考在这一层次上"解"的真正含义。

• 1934年,Leray:对无散初值 \(u_0 \in L^2(\mathbb{R}^3)\),\(L^2\) 中弱解的全局存在性,满足能量不等式(J Math Pures Appl)。
• 1982年,Caffarelli–Kohn–Nirenberg (CKN):部分正则性;\(\mathcal{P}^1(\mathrm{sing}\, u)=0\),即奇异集的一维抛物Hausdorff测度为零。这仍是我们拥有的最强一般性结果(Comm Pure Appl Math)。
• 1984年,Beale–Kato–Majda (BKM):重塑该领域的延拓准则:在 \([0,T)\) 上的光滑解能延拓过 \(T\) 当且仅当 \(\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty\),将正则性归结为涡量控制。最初用于Euler方程;后适用于纳维-斯托克斯(Comm Math Phys)。
• 2016年,Tao:对一个平均纳维-斯托克斯方程构造了有限时间爆破,该方程遵循与真实系统相同的能量和尺度性质,意味着任何正则性证明都必须利用更精细的结构(J Amer Math Soc)。
• 2022年,Albritton–Brué–Colombo:带外力的三维纳维-斯托克斯Leray-Hopf解的非唯一性,通过不稳定自相似解构造(Ann of Math)。

本页是地图,而非领土本身。详细内容见:

关于特定研究方向的详细论述:

• 子问题:已解决和部分解决的情形,包括二维全局正则性(Ladyzhenskaya 1959)、无旋转的轴对称、临界空间结果(\(L^3\), \(\dot{H}^{1/2}\), \(BMO^{-1}\)),以及超越BKM的条件正则性准则。
• 研究途径:正在积极研究的主要证明策略,包括能量与拟能方法、剖面分解、温和解理论、随机纳维-斯托克斯、凸积分方案,以及计算辅助界。

最后审阅:2026年3月。 本页是一个动态目录。随着新结果出现和更深入文章的发布,它将不断更新。

最后审阅:2026年3月。 本页作为导航中心。如有更正或建议,请参阅网站代码仓库。