Navier-Stokes子问题：弱解、奇点与三维正则性
将大问题分解为可处理的部分
弱解:存在性已证,但唯一性呢?
1934年,让·勒雷有了一个想法。如果放宽解必须完全光滑的要求会怎样?放弃这一要求后,令人惊讶的是,你确实可以证明解总是存在。数学家称这些放宽的解为弱解。
类比:你找不到连接两个城市的完美道路,所以你接受一条有几个颠簸的土路。勒雷证明了土路总是存在的。千禧年问题问的是完美道路是否也存在,而经过九十年的努力,还没有人能够回答这个问题。
问题在哪?唯一性。我们不知道弱解是否是唯一的。从相同的初始条件出发,可能存在多个有效的弱解,每个都满足方程,方程可能从相同的初始数据允许不止一个可接受的弱解。
勒雷(1934)证明了全局弱解$u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$的存在性,满足能量不等式
$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_s^t \|\nabla u(\tau)\|_{L^2}^2 \, d\tau \leq \frac{1}{2}\|u(s)\|_{L^2}^2$
对几乎所有$s \geq 0$和所有$t \geq s$成立。这些现在被称为勒雷-霍普夫弱解。关键的未解问题:
- 唯一性在能量类中未知。作为对比,Buckmaster-Vicol(2019)证明了低于勒雷-霍普夫能量类的弱解的非唯一性(具体在$C_t L^2_x$中,没有$L^2_t \dot{H}^1_x$控制)。
- 能量等式与不等式:弱解满足不等式,但等式(如光滑解所满足的)不能保证。能量可能在奇异时刻损失。
- 光滑性:如果勒雷-霍普夫解是光滑的,它就是唯一的经典解。因此正则性蕴含唯一性。
部分正则性:奇点是罕见的
我们无法完全排除奇点。但我们知道它们不会太糟糕。Caffarelli、Kohn和Nirenberg(1982)的里程碑式结果(CKN定理)证明了解可能爆破的点集极其微小。
有多小?在时空中,可能奇点的集合具有"一维抛物豪斯多夫测度为零"。通俗地说:奇异集在抛物测度论意义下极其微小(一维抛物豪斯多夫测度为零)。奇点如果存在,不能在时空中形成曲线或曲面,当然更不能填满任何区域。
即使没有证明完全光滑性,我们也知道奇点极其罕见。
Caffarelli-Kohn-Nirenberg定理(1982):对于纳维-斯托克斯方程的任何适当弱解$(u,p)$,奇异集$\Sigma$满足
$\mathcal{P}^1(\Sigma) = 0$
其中$\mathcal{P}^1$是一维抛物豪斯多夫测度。等价地,奇点不能在时空的曲线上集中。
证明引入了适当弱解,满足局部能量不等式
$\int |u|^2 \varphi(t) + 2\nu \int\!\!\int |\nabla u|^2 \varphi \leq \int\!\!\int |u|^2(\partial_t \varphi + \nu \Delta \varphi) + \int\!\!\int (|u|^2 + 2p)(u \cdot \nabla \varphi)$
并使用$\varepsilon$-正则性准则:如果尺度不变量$\frac{1}{r}\int_{Q_r} |\nabla u|^2$在抛物柱体$Q_r$上足够小,则$u$在中心点是正则的。CKN界然后从覆盖论证得出。
I型与II型爆破
如果存在奇点,它看起来像什么?数学家常按爆破速率来区分潜在情形:
- I型:爆破没有超过自然的自相似速率。它可能看起来像自相似图样,但 I 型并不等于“恰好自相似”。在额外假设下,若干重要的 I 型类或有界临界范数情形已经被排除。
- II型:爆破超过自然速率,或表现得更不规则。它神秘得多,也更难用现有技术钉住。
证明正则性意味着排除两种类型。这就是为什么大多数现代方法明确区分I型和II型情景,尽管有些工具对两者都适用。
假设$T^* < \infty$是一个假设的首次爆破时刻。分类:
- I型:$\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$当$t \to T^*$时。这是自然标度速率;而精确自相似只是更特殊的形式$u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$,但 I 型本身并不要求精确自相似。
- II型:$\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$。爆破超过自相似速率。
在临界范数这一侧,Escauriaza-Seregin-Šverák(2003)和Seregin(2012)意味着:如果在爆破时刻之前$L^3$控制保持有界,就不会发生奇点;Seregin 的结果进一步说明,一旦发生爆破,$L^3$范数必须发散。Gallagher-Koch-Planchon 给出了有界临界范数情形的轮廓分解,建立在Nečas-Růžička-Šverák(1996)和Tsai(1998)的工作之上,后两者在相应假设下排除了非平凡的后向自相似解以及某些局部自相似情形。
II型仍然开放。这是现代正则性研究的重点。
临界范数的作用
流体解有一些特定的测量恰好位于受控和不受控行为之间的边界。数学家称它们为临界范数。它们是分界线。
把它想象成走钢丝。几个重要的临界范数有条件正则性准则:如果它们保持有界,就会得到光滑性。我们能够控制的能量位于这条钢丝之下,令人沮丧地遥不可及,整个挑战就是从能量尺度架起通往临界阈值的桥梁。
哪些范数重要?关键的范数测量$L^3$(速度的立方,在空间上积分)或相关空间中的速度。近期的工作确认了一些令人鼓舞的事情:如果这些临界量中的任何一个保持有界,解就永远保持光滑。
如果范数$\|\cdot\|_X$在纳维-斯托克斯缩放下不变:$\|u_\lambda\|_X = \|u\|_X$,则称其为临界的。主要的临界正则性准则:
- Escauriaza–Seregin–Šverák(2003):$u \in L^\infty_t L^3_x$在爆破附近$\Rightarrow$正则性
- Ladyzhenskaya–Prodi–Serrin:$u \in L^p_t L^q_x$,$\frac{2}{p} + \frac{3}{q} = 1$,$q > 3$$\Rightarrow$正则性
- Beale–Kato–Majda:$\int_0^{T^*} \|\omega(t)\|_{L^\infty} dt < \infty$$\Rightarrow$正则性
差距:能量估计给出$u \in L^{10/3}_{t,x}$(通过Sobolev嵌入),但临界Serrin条件要求$u \in L^5_{t,x}$。这个从$10/3$到$5$的差距是超临界问题的核心。
集中性与紧性
如果发生爆破,能量去哪儿了?它集中了。解的某个尺度临界部分必须以阻止一致控制的方式集中,准确理解这个过程如何运作是排除爆破或证明它可能发生的关键。
集中性-紧性给数学家提供了一种方法来研究当你放大到一个潜在爆破点时会发生什么。轮廓分解论证对坏序列如何无法保持紧性进行分类:它可能扩散、在一个尺度附近集中,或逃逸到更大的距离。目标是排除每种可能性。
策略?证明每一种情景都导致矛盾,从而强制正则性。
集中性-紧性/轮廓分解方法(Kenig-Merle,2006;由Gallagher-Koch-Planchon、Kenig-Koch等人适配到纳维-斯托克斯)的步骤如下:
- 临界元素:如果全局正则性失败,则存在一个"极小爆破解",具有仍然爆破的最小可能临界范数。
- 紧性:这个极小解具有紧性性质:在对称性模意义下,其轨道$\{u(\cdot, t)\}_{t \in [0,T^*)}$在临界空间中是预紧的。
- 刚性:证明任何紧轨道解必须为零(或全局正则),与爆破假设矛盾。
这个程序已经对能量临界色散方程(NLS、NLW)完成,但对纳维-斯托克斯面临严重障碍,因为缺乏守恒的临界量和压力的非局部性。
继续探索
本文是进展的一部分。
每个子问题都有自己的工具库。探索主要的纳维-斯托克斯正则性方法以获得全貌,涵盖从调和分析和能量方法到凸积分和集中性-紧性技术等研究人员今天正在积极推进的一切。