Navier-Stokes 研究進路：Leray、CKN 與臨界空間

最早的進路始於 能量。運動中的流體帶有動能，而粘性會像摩擦把事物磨到停下一樣消耗它。在沒有外部注入能量的假設下，總能量只能隨時間下降。

Leray 在 1934 年看到了這一點，並採取了一個關鍵步驟：利用能量界來證明具有有限動能的大域弱解必然存在。先構造人工光滑化的近似解。證明它們全都滿足能量界。再取極限。某些東西必須在這個極限中留下來，而事實上也確實如此。

但問題就在這裡。能量界是粗鈍的工具。它們確實保證流體具有有限總能量，但無法告訴你速度在時空中的每一個點都保持有限。這個介於「有限能量」與「處處光滑」之間的缺口，正是正則性問題，而它已經懸而未決九十年了。

論文連結： Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace (1934)； Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen (1951)。

Leray-Hopf 構造主要有兩種變體：Galerkin 近似（投影到有限維子空間）或 Friedrichs 光滑化（透過卷積使非線性項光滑）。兩者共享相同的四步骨架。標準策略有四個步驟：

1. 近似： 解光滑化後的系統 $\partial_t u_\varepsilon + (J_\varepsilon u_\varepsilon \cdot \nabla) u_\varepsilon = \nu \Delta u_\varepsilon - \nabla p_\varepsilon$ 於有限維子空間上。
2. 能量界： 先驗估計 $\|u_\varepsilon(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u_\varepsilon\|_{L^2}^2 \leq \|u_0\|_{L^2}^2$ 對 $\varepsilon$ 一致成立。
3. 緊性： 抽取弱收斂子序列 $u_\varepsilon \rightharpoonup u$ 於 $L^2_t \dot{H}^1_x$ 中，使用 Aubin-Lions 引理。
4. 取極限： 非線性項藉由 $L^2_{\text{loc}}$ 的強 $u_\varepsilon$ 收斂而收斂。

所得的弱解滿足能量不等式，而不是等式。能量可能在不規則的時刻流失。而這就是整個問題：能量類 $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ 與真正光滑性之間的缺口，正是我們無法彌合之處。

論文連結： Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace (1934)； Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen (1951)。

Caffarelli-Kohn-Nirenberg 進路（1982）並不試圖證明完全光滑性。它問的是完全不同的問題：奇異性實際上能有多糟？

幾乎一點也不糟。他們的 $\varepsilon$-正則性定理說，如果某些尺度不變的局部量在一個小的時空區域中足夠小，則解在那裡會自動光滑。而由於總能量有限，根本沒有足夠的「預算」讓許多奇異點共存。

可以這樣想。一面牆可能有裂縫。但所有裂縫合起來的總長度為零，意思是奇異集在拋物型測度論意義下極其小（一維拋物型 Hausdorff 測度為零）。

論文連結： Caffarelli-Kohn-Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations (1982)； Albritton-Barker-Prange, Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness。

CKN $\varepsilon$-正則性定理：對於適合弱解，某些尺度不變局部量（同時涉及 $u$ 與 $p$，定義於拋物型柱體 $Q_r(z_0) = B_r(x_0) \times (t_0 - r^2, t_0)$ 上）的足夠小性，蘊含點 $z_0 = (x_0, t_0)$ 附近的正則性（Hölder 連續性）。

證明結合局部能量不等式與 Campanato 型迭代：如果尺度不變能量足夠小，一個 bootstrap 論證會顯示 $u$ 有界，接著 Hölder 連續，最後由經典 Schauder 理論推出光滑。

維度估計 $\mathcal{P}^1(\Sigma) = 0$ 由 Vitali 覆蓋論證得到。奇異點會迫使尺度不變的局部耗散／能量量具有下界；覆蓋接著用局部能量測度來控制奇異集的一維拋物測度，而該測度在小尺度下會消失。

論文連結： Caffarelli-Kohn-Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations (1982)； Albritton-Barker-Prange, Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness。

這裡有一個對整個問題的精準化約。 Beale, Kato, and Majda 在 1984 年證明，對於三維 Euler 方程式，只有在失去對渦度的控制時才可能發生爆發。後來也為 Navier-Stokes 方程式建立了類似的判準。就是這樣。一個條件。

渦度衡量局部旋轉。BKM 判準說：只要在正確的範數中保持最大旋轉有界，解就會保持光滑。其他一切都會自動跟上。

只需控制一族量。不幸的是，實際控制它們結果證明正好和原問題一樣困難。化約很乾淨。執行仍然遙不可及。

論文連結： Beale-Kato-Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations (1984); Kozono-Taniuchi, Bilinear estimates in BMO and the Navier-Stokes equations (2000).

原始的 Beale-Kato-Majda 定理（1984）是針對三維 Euler 方程式。對於 Navier-Stokes 方程式，類似的延拓判準意味著一個光滑解 $u$ 在 $[0, T^*)$ 上可延拓超過 $T^*$ 只要

$$\int_0^{T^*} \|\omega(\cdot, t)\|_{L^\infty} \, dt < \infty,$$

其中 $\omega = \nabla \times u$ 是渦度。改進版本包括：

• Kozono-Taniuchi（2000）： $\|\omega\|_{L^\infty}$ 可由 $\|\omega\|_{\mathrm{BMO}}$
• Besov 空間變體： 臨界或邊界的 Besov 控制也可作為延拓判準
• 方向受限判準： 對 $\nabla u$ 的分量所施加的 Serrin 型條件也可作為延拓判準（見例如 Beirão da Veiga, 1995）

這些判準與渦旋拉伸圖像相連：任何有限時間奇異性都必須迫使渦度累積得太快，以致上述時間積分無法保持有限。

論文連結： Beale-Kato-Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations (1984); Kozono-Taniuchi, Bilinear estimates in BMO and the Navier-Stokes equations (2000); Chemin-Planchon, Self-improving bounds for the Navier-Stokes equations (2012).

一種較現代的角度是使用函數空間（如 $L^3$ 或 $\dot{H}^{1/2}$），它們正好位於尺度對稱性所允許的邊界上。這些是臨界空間，也是最尖銳的正則性結果所在之處。

邏輯很清楚：如果能證明解保持在某些臨界空間界限內，光滑性就會自動推出。多個團隊已證明這點，建立了一整套正則性判準（若能驗證便可保證光滑性的條件）。

問題在於缺口。能量方法給出的只是能量超臨界、低於臨界尺度的控制。我們需要的是臨界界。這個缺口很窄，有時只差一個導數階的正則性，卻抵擋了所有試圖彌合它的努力。

論文連結： Koch-Tataru, Well-posedness for the Navier-Stokes equations (2001); Kenig-Koch, An alternative approach to regularity for the Navier-Stokes equations in critical spaces; Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes 正則性判準。若要詳細比較為何能量臨界性在二維成功而在三維失敗，請見 為何二維比三維更容易.

臨界空間正則性的主要研究計畫：

• Koch-Tataru（2001）： 在 $\text{BMO}^{-1}$ 中對小資料的大域適定性。關鍵估計不是 $\text{BMO}^{-1}$ 中一條裸的靜態乘積估計，而是建立在 $\text{BMO}^{-1}$ 資料上的 Koch-Tataru 熱流解空間裡，對 Duhamel 雙線性映射所做的不動點估計。這是微擾方法中已知最尖銳的結果之一。
• Gallagher-Koch-Planchon（2013）： 對 $L^\infty_t L^3_x$ Navier-Stokes 正則性判準的剖面分解方法。任何具有有界臨界範數的解序列，都有一個子序列可分解為漸近解耦的剖面。

核心障礙是：目前沒有已知的強制性泛函既受演化控制又相對於 Navier-Stokes 尺度變換是臨界的。

論文連結： Koch-Tataru, Well-posedness for the Navier-Stokes equations (2001); Kenig-Koch, An alternative approach to regularity for the Navier-Stokes equations in critical spaces; Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes 正則性判準.

現代 PDE 理論大量借用自 調和分析。核心想法是：把一個函數分解成不同頻率的波，就像把一個音樂和弦拆成一個個音符。只是在這裡，「音符」是流體速度在極為不同尺度上的空間振盪。

Littlewood-Paley 分解 正是做這件事。把速度場逐尺度切分成各個分量。追蹤能量如何在它們之間流動。於是，「能量級聯」這種非正式的物理直覺，突然變成了可以真正證明定理的對象，而且定理是精確的。這些方法產生了許多關於正則性判準與爆發速率的最尖銳結果。

論文連結： Cannone-Meyer，Littlewood-Paley decomposition and Navier-Stokes equations (1995)；Gallagher-Koch-Planchon，A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes 正則性判準。

Littlewood-Paley 理論分解 $u = \sum_j \Delta_j u$ 其中 $\Delta_j$ 定位到頻率 $|\xi| \sim 2^j$。應用於輸運非線性項 $(u \cdot \nabla)u$：

非線性項的副乘積分解 $(u \cdot \nabla)u$ 分成低-高、高-低與高-高頻率交互作用：

$$(u \cdot \nabla)u = T_u \nabla u + T_{\nabla u} u + R(u, \nabla u)$$

其中 $T$ 是副乘積，而 $R$ 是餘項。每一部分在 Besov 空間 $\dot{B}^s_{p,q}$ 中都有不同的正則性性質。

使用這套工具的關鍵結果：

• Chemin-Lerner 空間： $\widetilde{L}^\rho_T \dot{B}^s_{p,q}$ 提供了臨界適定性的自然框架：Navier-Stokes 雙線性形式映到 $\widetilde{L}^\infty_T \dot{B}^{-1+3/p}_{p,q} \times \widetilde{L}^1_T \dot{B}^{1+3/p}_{p,q} \to \widetilde{L}^1_T \dot{B}^{-1+3/p}_{p,q}$。
• Cannone-Meyer： Littlewood-Paley 方法給出了小資料理論的清晰小波／Besov 表述。

論文連結： Cannone-Meyer，Littlewood-Paley decomposition and Navier-Stokes equations (1995)；Gallagher-Koch-Planchon，A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes 正則性判準。

這是完全不同的直覺。這些方法不追蹤數值（範數、能量），而是研究解的形狀：渦管如何彎曲，強烈旋轉的區域如何在空間中排列。

關鍵洞見是，爆發不只是某個量變大而已。它關乎流體把自己組織成一種非常特定的幾何構型。如果你能證明那種構型不可能（因為它違反能量耗散結構、非壓縮性，或兩者皆是），那麼即使從未計算某個範數，也已排除了爆發。

這種幾何觀點已發展成一種視角，並在純分析方法之外啟發了若干嚴格的正則性判準。而且它感覺很不一樣。它問的是災難呈現什麼形狀？ 而不是 這個數字能變得多大？

論文連結： Constantin-Fefferman，Geometric constraints on potentially singular solutions for the 3-D Euler equations (1993)；Albritton-Barker-Prange，Localized smoothing and concentration for the Navier-Stokes equations in the half space。

幾何－拓撲方法利用了純分析方法看不見的結構性限制：

• 渦線幾何： Constantin 和 Fefferman（1993）證明，如果渦度方向場 $\hat{\omega} = \omega/|\omega|$ 在高渦度區域中是 Lipschitz 的，則解是正則的。爆發要求渦度方向在大小變奇異的同時也產生奇異性。
• 不相容性論證： 如果某個爆發構型受到幾何限制（例如透過在能量與耗散預算內可容納的獨立集中區域數量的填充界），便可在不直接估計臨界範數的情況下推出矛盾。
• 情況劃分（推測性／綱領性）： 一種擬議策略會把每個空間區域分類為有限多種情境之一（例如局部正則、類 Type-I、類 Type-II、密集填充），並嘗試證明每種情境要麼給出正則性，要麼把問題轉化為有界的計數論證。這仍是一個研究綱領，而非已確立的結果。

本站的證明頁探討了這類論證；這裡沒有任何內容被呈現為 Clay 千禧年問題的完整形式證明。

論文連結： Constantin-Fefferman，Geometric constraints on potentially singular solutions for the 3-D Euler equations (1993)；Albritton-Barker-Prange，Localized smoothing and concentration for the Navier-Stokes equations in the half space。

這點讓人措手不及。由 Leray 方法（第 1 節）得到的弱解原來是非唯一的，至少在有外力存在時如此。

武器是凸積分，這是一種原本為幾何問題建立、後來由 De Lellis 和 Székelyhidi 從約 2009 年起改造用於流體方程式的技術。其想法是：透過迭代地疊加高頻修正，構造出「狂野」解；這些修正合在一起滿足方程式，卻表現得不規則。

對於三維 Navier-Stokes，Buckmaster 和 Vicol（2019）證明了低於 Leray-Hopf 類的有限能量弱解並不唯一。Euler 的非唯一性則來自 De Lellis-Székelyhidi、Isett 與 Buckmaster 的凸積分計畫。接著在 2022 年，Albritton、Brué 和 Colombo證明了即使是三維 Navier-Stokes 的 Leray-Hopf 解，在存在外力時也不唯一。非唯一性是否在無外力 Navier-Stokes 方程式中仍然存在，目前仍是開放問題。

這為何重要？因為「弱解存在」自 1934 年以來一直是標誌性結果。如今我們知道它並不能確定唯一答案。問題變得更尖銳：哪一個解（若有的話）才是物理上正確的？

論文連結： De Lellis-Székelyhidi，《Dissipative continuous Euler flows》（2013）；Buckmaster-Vicol，《Nonuniqueness of weak solutions to the Navier-Stokes equation》（2019）；Albritton-Brué-Colombo，《Non-uniqueness of Leray solutions of the forced Navier-Stokes equations》（2022）。

流體方程式中的凸積分源自 De Lellis-Székelyhidi 計畫（2009–2013），它改造 Nash-Kuiper $C^1$ 等距嵌入技術，用來構造會耗散能量的 Euler 方程式弱解。關鍵階段：

• De Lellis-Székelyhidi（2013）： 連續（$C^0$）耗散 Euler 流在 $\mathbb{T}^3$ 上的存在性（Hölder 正則性低於 $1/5$ 是在後續 Buckmaster-De Lellis-Isett-Székelyhidi 2015 年的工作中達成；其後 Isett 於 2018 年將門檻改進到 $< 1/3$，完成 Onsager 猜想中柔性的一側）。
• Buckmaster-Vicol（2019）： 三維 Navier-Stokes 的有限能量弱解不唯一，且構造出的解屬於某個 $\beta > 0$ 的 $C^0_t H^\beta_x$。該構造使用間歇性 Beltrami 流作為構件，在每個迭代步加入振盪修正，同時保持對 Reynolds 應力的控制。這低於 Leray-Hopf 能量類，因此並不直接牴觸 Leray 唯一性。
• Albritton-Brué-Colombo（2022）： 對於受迫三維 Navier-Stokes 方程式，Leray-Hopf 解不唯一。證明構造了一個背景的不穩定自相似解，並使用不穩定機制，從同一初始資料分岔出不同的 Leray-Hopf 解。這表明在有外力時，僅靠能量不等式並不能選出唯一解。

核心開放問題是非唯一性是否在 Leray-Hopf 類中的無外力 Navier-Stokes 方程式裡仍然存在。受迫情形的結果表明，能量不等式並不是充分的選擇原理，但它並未解決無外力方程式是否具有可恢復唯一性的額外結構。

論文連結： De Lellis-Székelyhidi，《Dissipative continuous Euler flows》（2013）；Buckmaster-Vicol，《Nonuniqueness of weak solutions to the Navier-Stokes equation》（2019）；Albritton-Brué-Colombo，《Non-uniqueness of Leray solutions of the forced Navier-Stokes equations》（2022）。

我們至少能排除某些證明策略嗎？Terence Tao 在 2016 年表明：可以。而且結果發人深省。

Tao 構造了 Navier-Stokes 方程式的一個修改版本，即一個「平均化」系統，它保留了真實方程式許多關鍵結構特徵：能量恆等式、渦量強度量測（enstrophy）的增長方式、尺度變換對稱性。但在這個修改系統中，解會在有限時間爆發。

其含意排除了大類的證明策略。任何要證明真實方程式具有大域光滑性的證明，必須利用真實非線性項某些特定結構性質，而這些性質是平均化系統所沒有的。你不能只用能量界、尺度變換和渦量強度增長來證明正則性。單靠這些工具與爆發是相容的。

這並不是說真實方程式會爆發。它說的是整類證明策略都是死路。最終的證明（如果正則性成立）必須比一般性的能量論證更精細，而且要精細得多。

論文連結： Tao，《Finite time blowup for an averaged three-dimensional Navier-Stokes equation》（2016）。

Tao（2016）考慮如下形式的一個系統

$$\partial_t u + \tilde{B}(u, u) = \nu \Delta u - \nabla p, \quad \nabla \cdot u = 0,$$

其中 $\tilde{B}$ 是一個雙線性算子，在以下意義上與真正的 Navier-Stokes 非線性項 $(u \cdot \nabla)u$ 一致：

• 它是 1 階 Fourier 乘子，保持尺度變換 $u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t)$
• 它滿足相同的能量恆等式：$\langle \tilde{B}(u,u), u \rangle = 0$
• 它再現了渦量強度增長結構

對於這個平均化系統，Tao 構造了光滑初始資料，其解會在有限時間爆發。爆發機制安排了一連串在越來越小尺度上越來越尖銳的渦量強度集中，每個階段都在受控的級聯中使渦量強度加倍。

由此產生的障礙是：任何超臨界量，只要它（a）在能量類中受演化控制，且（b）在 Navier-Stokes 尺度變換下不變，就不能單靠自身排除爆發，因為它在平均化系統中也會受到控制，而該系統確實會爆發。正則性證明必須利用真實輸運項 $(u \cdot \nabla)u$ 的特定代數抵消結構，而平均化算子 $\tilde{B}$ 並不具備這種結構。

論文連結： Tao，《Finite time blowup for an averaged three-dimensional Navier-Stokes equation》（2016）.

本文屬於進展.

從 Leray 1934 年的存在性證明，到凸積分與 Tao 的證明障礙，這些是人們用來攻克三維 Navier-Stokes 問題的主要策略。尚無任何方法解決完整的三維正則性問題。若要了解相較於無粘性的 Euler 方程式，粘性如何塑造其數學結構，請參見Euler 與 Navier-Stokes。關於目前狀態，請參見Navier-Stokes 問題已解決了嗎？ 關於精確的形式陳述，請回到千禧年問題.

本文屬於進展.

上述方法代表截至 2022 年正則性與唯一性文獻中的主要嚴格路線。尚無任何組合解決完整的三維問題。此領域仍在持續發展。電腦輔助證明方法是一個活躍方向，本網站另有專文介紹。

關於粘性與無粘性系統的比較（以及為何粘性有所幫助但仍不足夠），請參見Euler 與 Navier-Stokes。關於這些方法所針對的子問題，請參見子問題。關於尺度變換障礙，請參見為何困難.