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,《充满空间的粘性液体运动》(1934); Hopf,《流体动力学基本方程的初值问题》(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$-正则性定理是说:对于适当弱解,若抛物柱面$Q_r(z_0) = B_r(x_0) \times (t_0 - r^2, t_0)$上某些涉及$u$和$p$的尺度不变局部量足够小,那么点$z_0 = (x_0, t_0)$附近就是正则的(Hölder 连续)。

证明结合了局部能量不等式与 Campanato 型迭代:如果尺度不变能量很小,自举论证表明 $u$ 有界,进而 Hölder 连续,再由经典 Schauder 理论得到光滑性。

维数估计 $\mathcal{P}^1(\Sigma) = 0$ 由 Vitali 覆盖论证得到。奇异点会迫使尺度不变的局部耗散/能量量出现下界;覆盖论证再用局部能量测度去控制奇异集的一维抛物测度,而这个测度在小尺度极限下趋于零。

论文链接: Caffarelli-Kohn-Nirenberg,《Navier-Stokes 方程适当弱解的部分正则性》(1982); Albritton-Barker-Prange,《通过弱-强唯一性的 Navier-Stokes 方程 epsilon 正则性》。

这是对整个问题的一个尖锐归约。Beale、Kato和Majda 在1984年证明,对3D 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,《关于三维 Euler 方程光滑解破裂的评注》(1984); Kozono-Taniuchi,《BMO 中的双线性估计与 Navier-Stokes 方程》(2000); Chemin-Planchon,《Navier-Stokes 方程的自改进界》(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 regularity criterion。关于能量临界性为何在2D成功但在3D失败的详细比较,见为什么2D比3D容易。

临界空间正则性的主要研究方向:

• 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 regularity criterion。

现代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 regularity criterion。

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 分解与 Navier-Stokes 方程》(1995); Gallagher-Koch-Planchon,《用轮廓分解方法处理 $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,则解正则。爆破要求涡量方向与幅度同时产生奇异性。
• 不相容论证: 若爆破构型受几何约束(例如,通过能量和耗散预算内能容纳的独立集中区域数量的填充界),可以在不直接估计临界范数的情况下导出矛盾。
• 情形划分(推测性/纲领性): 一个提议的策略是将每个空间区域分类为有限多个场景之一(例如,局部正则、I型类、II型类、密集填充),并试图证明每个场景要么给出正则性,要么将问题转移到有界计数论证。这仍是研究纲领而非已建立的结果。

本网站的证明页面探索这种风格的论证;这里没有任何内容被呈现为千禧年问题的完整形式证明。

论文链接: 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年左右开始改编用于流体方程的技术。思想:通过迭代地堆积高频修正来构造"狂野"解,这些修正集体满足方程但行为不稳定。

对于3D Navier-Stokes,Buckmaster和Vicol (2019)证明了低于Leray-Hopf类的有限能量弱解并不唯一。Euler方程的非唯一性则来自 De Lellis-Székelyhidi、Isett 和 Buckmaster 的凸积分纲领。然后在2022年,Albritton、Brué和Colombo 证明,即使3D 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$ 上存在连续($\mathbb{T}^3$)耗散 Euler 流(低于 $1/5$ 的 Hölder 正则性在随后的 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,《耗散连续 Euler 流》(2013); Buckmaster-Vicol,《Navier-Stokes 方程弱解的非唯一性》(2019); Albritton-Brué-Colombo,《强迫 Navier-Stokes 方程 Leray 解的非唯一性》(2022)。

我们至少能排除某些证明策略吗?陶哲轩 在2016年证明,是的,我们可以。结果令人清醒。

陶构造了Navier-Stokes方程的修改版本,一个"平均化"系统,保留了真实方程的许多关键结构特征:能量恒等式、拟涡能(涡量强度的度量)增长方式、尺度对称性。但在这个修改系统中,解在有限时间内爆破。

这一结果排除了广泛的证明策略族。任何证明真实方程全局光滑性的证明必须使用真实非线性项的某些特定结构性质,而平均化系统不具有。你不能仅使用能量界、尺度和拟涡能增长来证明正则性。单凭这些工具与爆破一致。

这不是说真实方程会爆破。它说整个证明策略族是死胡同。最终的证明(如果正则性成立)必须比一般的能量论证更尖锐。尖锐得多。

论文链接: 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,《平均化三维 Navier-Stokes 方程的有限时间爆破》(2016)。

本文是进展的一部分。

从Leray 1934年的存在性证明,经过凸积分和陶的证明障碍,这些是人们对3D Navier-Stokes问题投掷的主要策略。没有一个解决了完整的3D正则性问题。关于粘性如何塑造数学(相比无粘Euler方程)的背景,见Euler与Navier-Stokes。关于当前状态,见Navier-Stokes问题解决了吗? 关于精确的形式陈述,返回千禧年问题。

本文是进展的一部分。

上述方法代表了截至2022年正则性和唯一性文献中的主要严格线索。没有任何组合解决了完整的3D问题。该领域持续推进。计算机辅助证明方法是本网站单独涵盖的活跃领域。

关于粘性与无粘系统的比较(以及粘性为何有帮助但不够),见Euler与Navier-Stokes。关于这些方法针对的子问题,见子问题。关于尺度障碍,见为什么它很难。