Clay Navier-Stokes 問題陳述：官方標準詳解

Clay 數學研究所的 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。

有三件事讓 Navier-Stokes 進入這份候選名單：

• 實際重要性。 這些方程式支撐了流體動力學的大部分領域：飛機設計、氣候模型、血流、洋流。即使沒有完整證明，工程師仍在許多範圍內成功使用這些方程式；未解問題在於三維方程式是否總能在數學上得到嚴格論證。
• 數學深度。 它同時涉及分析、幾何、拓撲與物理。
• 持久的重要性。 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，並有 Navier-Stokes 類比）爆發只有在渦量變為無限大時才可能發生。
• 2000： Clay 將其列為千禧年問題。
• 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；參見上文的對應關係。

本文是 問題 的一部分。

如果你來到這裡是想知道是否已有人解決它，請先看 Navier-Stokes 問題已經解決了嗎？。

接著可探索 為什麼它如此困難，或看看數學家如何將它 拆解為子問題。若想了解 2D 問題可處理而 3D 仍未解決的結構性原因，請見 為什麼 2D 比 3D 容易。

本文是 問題 的一部分。

想知道它是否已被解決的簡短答案？請見 Navier-Stokes 問題已經解決了嗎？ 該頁也闡明了弱解存在性與大域光滑正則性之間的差距。

數學上的障礙整理於為什麼它很難。若要了解如何將問題分解為可處理的部分（弱解、部分正則性、爆發分類），請見子問題。至於為什麼 2D 情形已解決而 3D 尚未解決，請見為什麼 2D 比 3D 容易。