粗糙轴对称欧拉流在正则性破缺前后如何演化？

动理学极限可以比欧拉参考流活得更久

从动理学理论推导不可压缩欧拉极限的经典做法，都假定存在一个正则的宏观参考流：空间 Lipschitz 控制是弱—强稳定性论证的核心，而希尔伯特展开方法要求更高的正则性。论文追问的是：当极限三维欧拉流在有限时间内丧失正则性时，这条动理学到欧拉的通道是否还能延续。

这个问题并非人为设定。在同一轴对称无旋对称类中，足够正则的流是全局正则的，但有限时间丧失正则性已有已知结果：Elgindi 在 C1,α 类中建立了奇点形成，Elgindi–Ghoul–Masmoudi 随后得到有限能量奇异解，Córdoba–Martínez-Zoroa–Zheng 构造了另一种有限能量、非自相似的爆破机制。因此，经典论证所需的正则欧拉参考流确实可能在有限时间内真正破缺。

在粗糙正则性下还会出现第二个障碍。对粗糙欧拉解而言，动能守恒本身就不是平凡的，而这里相关的失效并非小尺度反常耗散，而是大尺度能量损失：即便在强局部紧致性下，仍有量级为一的能量可能逃逸到空间无穷远。跨越奇点的动理学极限必须同时控制正则参考流的丧失和能量在无穷远处的可能逃逸。

局部紧致性无法控制能量尾部

对无旋轴对称速度，记 u = ur er + uz ez，ω = ωϑ eϑ，ϖ = ωϑ/r。相对涡度 ϖ 满足输运方程 ∂tϖ + u·∇ϖ = 0，其中 u = Bϖ = ∇×(−∆)^(−1)(rϖ eϑ)。轴对称性恢复了子午面变量 (r, z) 上的二维输运结构，却没有恢复二维能量理论：Biot–Savart 重构和 L2 能量 ½∫|u(t,x)|²dx 仍保留三维几何。

这种错配在局部紧致性下几乎不可见，但对全局 L2 紧致性却是决定性的。当相对涡度属于 L1∩Lp 且 p>1 时，自然逼近已经给出速度的强局部 L2 紧致性，同一范围内也存在全局弱欧拉解。但量级为一的能量可能逃逸到任意大的柱半径处，同时在每个固定区域上都不可见，因此 un → u 在 L2loc 中强收敛本身并不能推出 ‖un(t)‖² → ‖u(t)‖²。缺失的问题是空间无穷远处的紧致性。

一种经典补救办法是同时使用符号条件和有限冲量：带符号冲量 (1/2π)∫r²ϖ(t,x)dx 在轴对称欧拉演化中守恒，当 ϖ 只有一种符号时，这个不变量成为强制性的径向矩，阻止固定量的涡度移动到任意大的柱半径处。论文转而追问：仅凭被输运的 L1∩Lp 结构本身，能否在不需要符号条件、也不需要先验径向矩的情况下强制全局 L2 紧致性。

高于 4/3 时能量无法逃逸到无穷远

对每个 p≥4/3，答案是不需要矩的。定理 A 固定 T<∞ 和 1<p<∞，取正则轴对称无旋近似欧拉流 (un, ϖn, fn, πn)，满足 supn‖un‖L∞(0,T;L2)<∞ 且 fn→0 在 L1(0,T;L2) 中，并假设 ϖn→ϖ 在 C([0,T];L1∩Lp) 中、un(0)→u0 在 L2 中。则 un→u 在 C([0,T];L2(R3)) 中，且对 0≤t≤T 有 ‖u(t)‖²=‖u0‖²，只要满足 p≥4/3 或 supn sup0≤t≤T M2(ϖn(t))<∞，其中 M2(ϖ) := (1/2π)∫r²|ϖ(x)|dx 是绝对冲量。

这两种情形对应不同的机制。当 p≥4/3 时，能量逃逸被直接排除，无需先约束涡度。对能量恒等式作径向局部化可以看到，到达大柱半径的能量必须穿过一个壳层 r∼R；当 4/3≤s≤3/2 时，非线性通量满足尖锐壳层估计 (1/R)∫CR|u|³dx ≲ R^(−δs)‖u‖2^(αs) ‖r^(−1)∇u‖Ls(CR′)^(γs) + R^(−5/2)‖u‖2³，其中 δs=(3s−4)/(4(s−1))，CR⊂CR′ 是量级相当的柱壳层 r∼R，αs、γs>0 是插值指数。径向增益恰好在 s>4/3 时为正。

在端点 s=4/3 处幂增益消失，但强 CtLx^(4/3) 收敛提供了 r^(−1)∇u 的一致远场紧致性；结合相应的压力局部化，这排除了能量逃逸到 r=∞，并把内部紧致性提升为全局 CtLx² 紧致性。论文强调，4/3 是空间无穷远处的大尺度不逃逸阈值，而不是小尺度的 Onsager 正则性阈值。当 p 低于 4/3 时，命题 3 对每个 1<p<4/3 构造了光滑不可压缩被动输运，其 L1∩Lp 标量范数消失、初始 Biot–Savart 能量消失，但终端 Biot–Savart 能量为量级一——这是一个相匹配的障碍，尽管不是自洽的欧拉反例。

变号涡度把阈值移到 5/3

当 p 低于 4/3 时，全局能量紧致性由绝对冲量 M2(ϖ) 的控制恢复。定理 B 固定 T<∞ 和 1<p<∞，取 [0,T] 上正则有限能量轴对称无旋欧拉流，满足 ϖ∈L∞(0,T;L1∩Lp) 且 M2(ϖ(0))<∞。若 p≥5/3，则对 0≤t≤T 有 (1+M2(ϖ(t)))^(1/4) ≤ (1+M2(ϖ(0)))^(1/4) + Ct，无需符号条件。若 1<p<5/3，同样的估计在 min{‖ϖ+(0)‖Lp♯, ‖ϖ−(0)‖Lp♯}<∞ 时成立，其中 p♯ = 4p/(3p−1)。

其机制来自另一种几何。记 X(ϖ,η) := ∫(Bη)r rϖ dx，子午面核是反对称的，X(ϖ,η) = −X(η,ϖ)，因此同号相互作用精确抵消，对光滑欧拉流有 d/dt M2(ϖ(t)) = (2/π)X(ϖ−,ϖ+)。关键的混合估计是 |X(ϖ,η)| ≲p ‖ϖ‖1‖η‖1 + ‖ϖ‖p^(1/4) M2(ϖ)^(3/4) ‖η‖p♯。远距离相互作用在 L1 层面得到控制；在对角线附近，重新分配径向权重把奇异相互作用约化为子午半平面上的二维 Hardy–Littlewood–Sobolev 配对，平衡关系迫使出现 p♯。

在仅有环境 L1∩Lp 控制时，估计恰好在 p♯≤p 时闭合，其不动点是 p=5/3。低于 5/3 时，单侧 Lp♯ 控制提供了缺失的可积性。论文报告这两个阈值都是尖锐的：指数 p♯ 对混合判据是最优的，因为当 p≤q<p♯ 时，一致的 L1∩Lp、绝对冲量和单侧 Lq 界并不能给出 M2 瞬时增长的类一致界；无符号阈值 5/3 也是动态尖锐的，因为低于它时，一致受控的光滑变号族可以在某个固定正时刻产生任意大的绝对冲量。第一径向矩的无符号传播在 p≥3/2 时成立，而 3/2 对类一致瞬时控制是尖锐的。

论文强调的一个推论是：对单符号有限冲量涡度，附加条件自动满足，因此所得的全局能量紧致性在整个 p>1 范围内成立。这把 Nobili–Seis 的能量守恒范围从 p>3/2 扩展到单符号涡度的每个 p>1。

动理学解可实现指定的粗糙欧拉数据

论文考虑 ε∂tFε + ξ·∇xFε = (1/κε)Q(Fε,Fε)，其中 κ=κ(ε)→0，Q 是库仑朗道算子或所考虑参数范围内的非截断软势玻尔兹曼算子。记 Fε = Mε + Gε，其中 Mε 是精确局部麦克斯韦分布，并把相对涡度分解为 ϖε = ϖεA + ϖεB，则被输运的分量满足 ∂tϖεA + vε·∇xϖεA = 0，因此其 Lq 范数和符号结构被精确输运。声学、斜压和微观应力效应由 ϖεB 承载，其速度 uεB 在每个固定时间区间上趋于零。

定理 C 取 1<p<∞ 和轴对称的 ϖ0∈L1(R3)∩Lp(R3)、s0∈L2(R3)，且 u0 := Bϖ0 ∈ L2(R3)；若 1<p<4/3，还额外假设 M2(ϖ0)<∞ 和 min{‖(ϖ0)+‖Lp♯, ‖(ϖ0)−‖Lp♯}<∞。对这两种碰撞算子，都存在一族光滑非负轴对称无旋动理学初值 Fε0，其强解 Fε 在 [0,Tε] 上唯一存在，且 Tε→∞，其宏观初值满足 ϖε0→ϖ0 在 L1∩Lp 中、vε0→u0 在 L2 中、sε0→s0 在 L2 中。这一实现不需要消失的声学准备。

在整个动理学生命周期内，微观弛豫 Gε→0 成立。对每个有限 T>0 和每个序列 εj↓0，可以抽取子序列，以及 [0,T] 上以 (u0,ϖ0) 为初值的重整化有限能量轴对称无旋欧拉对 (u,ϖ)，使得 (ϖεjA, vεj, sεj) → (ϖ,u,s) 在 C([0,T]; (L1∩Lp)×L2×L2) 中强收敛。极限热力学模态满足 ∂ts + u·∇xs = 0 且 s(0)=s0，极限欧拉能量守恒：对 0≤t≤T 有 ‖u(t)‖²=‖u0‖²。

因此，动理学估计产生的是定理 A 所需的近似欧拉序列，而不是把它当作外部输入。当 p≥4/3 时，不逃逸结果直接适用；当 p 低于 4/3 时，同样的分解允许在控制 uεB 误差的同时传播绝对冲量界，而有限冲量 Biot–Savart 稳定性提供了全局 L2 的提升。

在奇异时刻之前收敛是刚性的

定理 D 假设定理 C 的设定，并假定指定的欧拉初值在 [0,T*) 上生成正则有限能量轴对称无旋解，且在某个 0<T*<∞ 处丧失正则性。则对每个固定的容许动理学实现，投影速度和被输运的相对涡度无需抽取子序列就收敛到 [0,T*) 上的正则欧拉解，并在 T* 处达到相同的强迹。从每个序列 εj↓0 都可以抽取子序列，在每个有限时间区间上收敛到全局能量守恒的欧拉解，该解在 t<T* 时与正则解一致，并在 T* 处达到相同的迹。论文不声称 T* 之后的唯一性。

论文还报告了这一通道的若干定量特征。在破缺附近的收缩时间窗口中，动理学族从 T* 两侧逼近同一条欧拉迹，这一控制来自显式的固定尺度估计，包括对无散速度的空间 Lipschitz 界，其爆破速率受到定量控制。在 p=2 分支中，命题 39 表明极限速度满足局部空间上的几乎 Lipschitz 时间模量。推论 40 把这些结果应用于三个有限时间奇点构造。

在 T* 之前，弱—强唯一性把每条聚簇路径等同于正则欧拉解；随后紧致性在 T* 处固定了共同的迹，而无需在奇异时刻之后援引任何唯一性理论。论文对其架构的总结是：动理学逼近在奇异时刻之前是刚性的，而紧致性跨越并超越该时刻仍然存活。

这些阈值覆盖什么、不覆盖什么

结果针对无旋的三维轴对称欧拉流，相对涡度属于 L1∩Lp 且 1<p<∞。定理 A 中无需矩的 p≥4/3 陈述不需要符号条件，也不需要空间矩假设；低于 4/3 的陈述要求对逼近族一致控制绝对冲量 M2(ϖn(t))。定理 B 的尖锐绝对冲量动力学要求 ϖ∈L∞(0,T;L1∩Lp) 且 M2(ϖ(0))<∞，当 1<p<5/3 时还额外要求初值正部或负部满足单侧 Lp♯ 界。

动理学一侧仅限于库仑朗道方程和所考虑参数范围内的一类非截断软势玻尔兹曼方程。动理学解构造在生命周期 Tε→∞ 上，欧拉极限在每个固定时间区间上沿子序列得到；跨越 T* 的能量守恒延拓是对子序列断言的，且不声称 T* 之后的唯一性。命题 3 中低于 4/3 的障碍是被动输运构造，不是自洽的欧拉反例，因此它界定的是直接壳层机制，而不是欧拉方程本身。

论文还区分了这些阈值的性质：4/3 是空间无穷远处的大尺度不逃逸阈值，而不是小尺度的 Onsager 正则性阈值；而 5/3 和 p♯ 是变号涡度下绝对冲量传播的尖锐阈值。这些是不同的问题，论文并未把它们当作可以互换的。

最重要的阈值是符号条件

论文最具影响的区分不在动理学语言与流体语言之间，而在变号涡度与单符号涡度之间。当 p≥4/3 时，全局能量紧致性既不需要矩也不需要符号条件。当 1<p<4/3 时，它依赖绝对冲量，而尖锐的绝对冲量动力学随后分叉：无符号传播在 p≥5/3 时成立，而 1<p<5/3 需要单侧 Lp♯ 可积性，p♯=4p/(3p−1)。对单符号有限冲量涡度，额外条件自动满足，全局能量紧致性在整个 p>1 范围内成立。

这就是读者应当带走的比较：同一被输运的 L1∩Lp 结构在 4/3 以上免费给出全局 L2 紧致性，但在 4/3 以下，决定性变量是涡度是否变号，以及若变号，其中一个符号分量是否具有尖锐的 Lp♯ 可积性。动理学构造恰好继承了这一分叉，因为在 4/3 以下，定理 C 对 ϖ0 施加绝对冲量和单侧 Lp♯ 假设，而 p≥4/3 分支两者都不需要。

因此，4/3、3/2 和 5/3 这些阈值并非可以互换的截断。4/3 支配空间无穷远处能量的直接不逃逸；3/2 支配第一径向矩的无符号传播；5/3 支配绝对冲量的无符号传播。论文报告每一个都在各自意义上尖锐，实际的读法是：一个粗糙轴对称欧拉问题或动理学到欧拉问题，应首先按它实际控制的是这些量中的哪一个来分类。

本文引用的文献