Navier-Stokes 問題

Navier–Stokes 問題問的是：流體運動方程式在三維中是否總是表現良好？從一個能量有限的光滑流動出發，解是否對所有時間保持光滑，還是速度可能在有限時間後變為無限大？Clay 千禧年大獎的版本既接受無外力時全域光滑性的證明，也接受破裂的例子，而在破裂的例子中還可以選擇一個光滑、快速衰減的外力。

現況簡述：2026年9月，OpenAI 宣布證明了帶有此類外力的破裂選項，Clay 表示問題「看來已獲解決」，評估將刻意從容進行。無外力的流動是否總保持光滑，仍然未知。註明日期的狀態說明介紹了主張的內容，以及它如何接受評估。

本頁是一張地圖：問題是什麼、已經證明了什麼、為何難以證明，以及接下來讀什麼。

一手資料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clay 官方問題陳述.

Navier-Stokes 存在性與光滑性問題問的是：對於每個具有適當衰減的充分光滑、無散度的初始資料 $u_0 \in C^\infty(\mathbb{R}^3)$，且 $f \equiv 0$，不可壓縮 Navier-Stokes 方程組是否存在能量有界的解 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$（以及 $\mathbb{T}^3$ 上類似的週期問題）。Clay 的表述也接受破裂的例子，其中允許符合條件的光滑外力。

現況簡述：2026年9月的手稿宣稱達成有外力的破裂選項，即 $\mathbb{R}^3$ 上的 C（定理 1.1）與 $\mathbb{T}^3$ 上的 D（推論 10.6）；Clay 表示問題「看來已獲解決」，評估將刻意從容進行。$f\equiv0$ 的情形並未由該主張判定。詳情：註明日期的狀態與來源。

一手資料: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Clay 官方問題陳述.

未解並不代表無人觸及。近一個世紀的深刻數學工作已經描繪出這片地形，並精確揭示困難所在，以及為何它不會屈服於我們現有的工具：

• 弱解全域存在（Leray，1934）。放寬「解」的概念，允許粗糙的、平均化的行為，解便對所有時間存在。在無外力時它們是否保持光滑，還沒有人證明。更多研究方法 →
• 二維已經解決。 在二維中，光滑解永遠大域存在，但三維是完全不同的猛獸。為何三維更困難 →
• 若奇異性存在，它們也很稀少（CKN，1982）。 Caffarelli、Kohn 與 Nirenberg 證明，可能奇異性的集合具有零一維拋物 Hausdorff 測度，這表示它們甚至不能填滿時空中的一條曲線。子問題與部分結果 →
• 光滑解短時間存在。 從光滑資料出發，可在某個時間區間內得到唯一的光滑解；但該區間是否總能延拓到無窮遠，正是未知之處。
• 精確表述由 Charles Fefferman 為 Clay Mathematics Institute 提出。閱讀千禧年問題陳述 →

以下結果構成主要的部分進展：

• Leray（1934）：對於 $u_0 \in L^2(\mathbb{R}^3)$，全域弱解（現稱Leray-Hopf 解）存在並滿足能量不等式。對於 $f\equiv0$，這些解的唯一性與正則性仍未解決；在適當選擇的外力下，非唯一性已獲證明。研究方法 →
• 二維全域正則性：在二維中，光滑解的全域存在性與唯一性早已為人所知；Clay 的問題陳述引用了 Ladyzhenskaya 1969年的專著。關鍵在於二維中擬渦能（enstrophy）受到控制。為何三維不同 →
• CKN（1982）： Caffarelli、Kohn 與 Nirenberg 證明，任何適當弱解之奇異集的一維拋物 Hausdorff 測度為零。子問題 →
• 局部存在性： 對於足夠正則的資料，唯一的局部光滑解存在；在臨界空間如$\dot{H}^{1/2}$中，在 mild 解框架下有局部適定性。開放問題是這些解是否總能對所有時間延拓。
• Clay 表述（2000）： Fefferman 的問題陳述指定了精確的函數空間、衰減條件，以及何者構成有效的證明或反證。千禧年問題 →

核心困難在於：流體自身的運動可能把活動推向愈來愈小的尺度，其速度快過現有估計所能控制的程度。對於無外力的三維流動，已知估計還不足以排除這種情況，也沒有人證明它確實會發生。（2026年的構造宣稱，在施加光滑外力時這種情況可以發生。）

這與聰明才智無關，也與計算能力無關。已知估計力有未逮；集中與耗散之間的這種張力，正是解決無外力問題需要新想法的原因。

超臨界性、尺度缺口、為何三維湍流在根本上不同：完整說明請見為何 Navier-Stokes 問題如此困難。

三維 Navier-Stokes 方程式相對於自然能量估計而言是超臨界的：$L^2$範數受到控制，但尺度臨界正則性位於$\dot{H}^{1/2}$，而單靠能量不等式無法傳播這種正則性。非線性項$(u \cdot \nabla)u$原則上可以把能量轉移到任意精細的尺度，其速度快過 Laplacian 對它的耗散。

這是本質上的分析障礙；對於 $f\equiv0$，現有技術都無法彌合這道鴻溝。詳細討論請參見為何它很難。

2000年，Clay 數學研究所將這個正則性問題列為七個千禧年大獎難題之一，為依其規則獲得認可的解答提供 100 萬美元獎金。官方問題陳述接受四個選項中的任一個：無外力的全域光滑性，或允許符合條件的光滑外力的破裂，每種情況又分為整個空間與週期盒子兩種。本概述在脈絡中說明這個大獎問題為何重要。

精確表述請閱讀官方問題陳述詳解。目前的進展請參閱目前狀態（資料核查於 2026-09-29）。

Clay 數學研究所在2000年的千禧年大獎難題名單中納入了這個正則性問題。由 C. Fefferman 撰寫的表述在 $\mathbb{R}^3$ 與 $\mathbb{T}^3$ 上提出，接受在 $f\equiv0$ 下全域光滑存在性的證明（A、B），或可以選擇符合條件的光滑外力的破裂構造（C、D）。

閱讀官方問題陳述詳解，或查看目前狀態（資料核查於 2026-09-29）。

本頁是一張地圖。請選擇你想了解的問題：

• 它解決了嗎？ 2026年9月的聲明、Clay 的回應，以及仍未解決的問題。
• Clay 究竟要求什麼？ 官方問題陳述、四個選項及其條件。
• 為何它很難？ 超臨界性、紊流與尺度鴻溝。
• 為何二維比較容易？ 渦旋拉伸，以及它在三維中破壞了什麼。
• 什麼是弱解？ 弱解、強解與光滑解，以及唯一性對每一種的意義。
• 已經證明了什麼？ 從 Leray 到2026年的主張。

詳細討論：

• 它解決了嗎？ 所宣布的定理、它與 C/D 的對應、評估狀態與遺留問題。
• 千禧年問題 Fefferman 的表述、函數空間、條件 (4)–(11)，以及什麼構成有效的解答。
• 為何它很難 超臨界尺度、非線性項的角色，以及能量層級的控制與正則性之間的鴻溝。
• 為何二維比三維容易 渦度傳輸、擬渦能控制與渦旋拉伸。
• 弱解、強解與光滑解 分佈解與 Leray–Hopf 解的區別，以及弱–強唯一性。
• 進展 各個里程碑，以及置於脈絡中的2026年篇章。

數學家們並非只是盯著這個問題發愣。為了攻克它，他們發展出強大的工具、部分結果，乃至全新的分析領域。2026年的主張提供了一個新的研究對象，而無外力問題、弱解的唯一性，以及流動集中的機制，仍是活躍的研究方向。

另見： 查看迄今進展 →

在過去一個世紀裡，Navier-Stokes 問題推動了調和分析、泛函分析與幾何測度論的重大發展。部分正則性結果、條件爆破準則（Beale-Kato-Majda、Escauriaza-Seregin-Šverák）以及模型問題分析，不斷加深我們對正則性與潛在奇異點之間界線所在的理解。所宣布的有外力構造（C/D）如今與這些結果並列；$f\equiv0$ 的情形仍未解決。

另見： 進展綜述 →