生成时间: 2026年04月10日 05:16:07

重点关注论文数量: 2

了解领域论文数量: 20

不相关论文数量: 4

重点关注论文（完整分析）

1. 紧致余维一轨道流形上的不可压缩欧拉流体

Incompressible Euler fluids on compact cohomogeneity one manifolds

作者: Timothy Buttsworth, Max Orchard

类别: math.DG, math.AP

发布日期: 2026-04-09

arXiv ID: 2604.07943v1

摘要翻译: 设 $(M,

Comment: 16 pages

链接: http://arxiv.org/abs/2604.07943v1

1. 研究对象和背景

本文研究的是定义在紧致黎曼流形 $(M, \mathsf{g})$ 上的不可压缩欧拉方程初值问题，其中流形 $$M$$ 承载一个紧致李群 $$G$$ 的等距作用，且该作用具有余维一主轨道（cohomogeneity one）。具体而言，欧拉方程写作：

\begin{cases} \displaystyle \frac{du}{dt} + \nabla_u u + \nabla p = 0, \\ \nabla \cdot u = 0, \end{cases} \quad (1.1)

其中 $u(t) \in \mathfrak{X}(M)$ 是速度场， $p(t) \in C^\infty(M)$ 是压强函数， $\nabla$ 是由度量 $\mathsf{g}$ 决定的 Levi-Civita 联络，而 $\nabla \cdot u$ 表示相对于 $\mathsf{g}$ 的散度。若 $$M$$ 有边界，则还需满足无穿透边界条件：

u(t,x) \in T_x(\partial M), \quad \forall x \in \partial M,\ t \in [0,T). \quad (1.2)

从微分几何角度看，欧拉方程描述了体积保持微分同胚群 $\mathrm{Diff}_\mu(M)$ 上关于 $$L^2$$ 度量的测地线运动（Arnold 几何观点），因此其解的存在性与正则性直接关联到该无穷维李群的几何结构。

核心问题是：对任意光滑、无散、满足边界条件的初值 $$u_0$$ ，是否存在全局光滑解 $$(u,p)$$ 定义于整个时间轴 $\mathbb{R}$ ？此问题在欧氏空间 $\mathbb{R}^3$ 中仍是开放难题。尽管已有工作（如 Elgindi 构造的 $C^{1,\alpha}$ 奇性解、Chen–Hou 在周期柱面上的数值辅助证明）表明奇性可能形成，但这些结果要么缺乏光滑性，要么依赖边界，无法解决 Tao 提出的如下猜想：

Conjecture 1.1（Tao）：存在一个闭（紧致无边）黎曼流形 $(M, \mathsf{g})$ 及其上一个光滑解 $$(u,p)$$ ，使得该解不能无限延拓至未来时间。

本文聚焦于具有高度对称性的设定：假设初值 $$u_0$$ 以及流形度量 $\mathsf{g}$ 均关于紧致李群 $$G$$ 不变，且 $$G$$ -作用具有余维一轨道（即轨道空间 $$M/G$$ 维数为 1）。在此对称性下，作者试图回答：是否仍可能存在有限时间爆破？

余维一作用意味着轨道空间 $$M/G$$ 微分同胚于区间 $$[0,1]$$ 或圆周 $$S^1$$ 。前者包含非主轨道（奇异或例外轨道）位于端点；后者所有轨道均为主轨道。这种几何结构允许将 $$G$$ -不变向量场和度量显式参数化，从而将偏微分方程降维为常微分方程或纤维上的动力系统。

关键空白在于：尽管对称性常被用于简化流体力学问题（如轴对称无旋流），但在余维一情形下，无散条件对水平分量施加极强约束——事实上，当 $$M/G = [0,1]$$ 时，任何 $$G$$ -不变无散向量场必为纯垂直（即无水平分量）。这一结构性限制此前未被系统利用于全局正则性证明。

因此，本文旨在填补如下理论空白：在余维一对称性假设下，不可压缩欧拉方程是否必然具有全局光滑解？这不仅检验 Tao 猜想在对称子类中的有效性，也为理解对称性如何抑制奇性形成提供新视角。

2. 主要定理或主要结果

作者证明了如下主定理：

Theorem 1.2：设紧致李群 $$G$$ 在闭连通黎曼流形 $(M, \mathsf{g})$ 上等距作用且具有余维一轨道。对任意光滑、无散、 $$G$$ -不变的初值向量场 $u_0 \in \mathfrak{X}(M)$ ，存在唯一光滑解 $u: \mathbb{R} \to \mathfrak{X}(M)$ 和 $p: \mathbb{R} \to C^\infty(M)$ 满足欧拉方程 (1.1) 及初始条件 $$u(0) = u_0$$ 。

该结论分三种情形证明，每种情形对应不同的轨道空间结构和分析策略：

齐性空间情形（ $$G$$ 传递作用，即 $$M = G/H$$ ）：此时所有 $$G$$ -不变向量场自动无散（Lemma 3.2），且压强梯度为零（因 $$G$$ -不变函数为常数）。欧拉方程退化为常微分方程：
$\frac{du}{dt} = -\nabla_u u.$
由于 $\mathfrak{X}^G(G/H)$ 是有限维向量空间（维数等于 $\dim \mathfrak{m}_0$ ，其中 $\mathfrak{m}_0 \subset \mathfrak{m} = \mathfrak{h}^\perp$ 是 $\mathrm{Ad}(H)$ -平凡子空间），能量守恒 $\|u(t)\|_{L^2} = \|u_0\|_{L^2}$ 直接推出 $$C^1$$ 范数一致有界，从而由标准爆破准则（Theorem 2.2）得全局存在性（Proposition 4.1）。
轨道空间为 $$[0,1]$$ 的情形（含非主轨道）：利用 Lemma 3.13，任意 $$G$$ -不变向量场可写为 $u = h(r)\partial_r + v$ ，其中 $$v$$ 为垂直分量。无散条件 (4.3) 给出 ODE：
$$$ h'(r) - H(r) h(r) = 0, $$$
其中 $$H(r)$$ 为轨道 $G\cdot\gamma(r)$ 的平均曲率。由 Lemma 3.10， $H(r) = -\frac{1}{2}\frac{d}{dr}\ln \mathrm{vol}_{g_r}(G/H)$ 。若存在非主轨道（如 $$r=0$$ 处奇异），则 $\mathrm{vol}_{g_r}(G/H) \to 0$ 当 $r \to 0$ （Lemma 3.11），故通解 $h(r) = c \sqrt{\mathrm{vol}_{g_{1/2}} / \mathrm{vol}_{g_r}}$ 在 $$r=0$$ 或 $$r=1$$ 处发散，除非 $$c=0$$ 。因此，唯一光滑无散 $$G$$ -不变向量场必满足 $h \equiv 0$ （Lemma 4.2）。于是欧拉方程 (4.2) 中第一式变为 $$0 = -p'$$ ，即 $$p$$ 仅为时间函数；第二式退化为纤维上的方程：
$\frac{dv}{dt} = -\nabla^r_v v,$
其中 $\nabla^r$ 是纤维度量 $$g_r$$ 的 Levi-Civita 联络。由于 $v(r,t) = \sum_{i=1}^{n_0} v_i(r,t) Y_i(r)$ （Lemma 3.12），且系数 $$v_i$$ 满足局部 ODE 系统，结合非主轨道附近的光滑性条件（Lemma 3.14–3.17），可证 $$v_i$$ 及其导数在 $$[0,1]$$ 上一致有界，从而 $\|u(t)\|_{C^1}$ 有界，得全局解。
轨道空间为 $$S^1$$ 的情形（全为主轨道）：此时无散条件 (4.3) 的通解为周期函数 $$h(r) = c h_0(r)$$ ，其中 $h_0(r) = \sqrt{\mathrm{vol}_{g_{r_0}} / \mathrm{vol}_{g_r}}$ 满足 $$h_0(0)=h_0(1)$$ 及所有导数匹配（因度量光滑）。故水平分量空间为一维（Lemma 4.2）。欧拉方程 (4.2) 耦合水平与垂直分量。作者利用能量守恒：
$\frac{d}{dt} \int_M |u|^2 \, d\mu = 0,$
结合最大值原理控制 $$h(r,t)$$ ，并通过对垂直分量 $$v$$ 的 $$C^1$$ 估计（利用纤维联络 $\nabla^r$ 和形状算子 $$S_r$$ 的有界性），最终证明 $\|u(t)\|_{C^1(M)}$ 在 $\mathbb{R}$ 上一致有界，从而避免爆破。

综上，在余维一对称性下，无论轨道空间是区间还是圆周，欧拉方程对任意光滑无散 $$G$$ -不变初值均存在全局光滑解。

3. 研究方法、关键技术和核心工具

本文的核心障碍在于：即使在对称性假设下，欧拉方程仍是非线性双曲型 PDE，标准能量法通常仅给出局部存在性，而全局性需排除有限时间爆破。作者通过深度利用余维一对称性的几何结构，将问题转化为可控制的常微分或纤维动力系统，并建立一致先验估计。

1. 余维一几何的精细分解：作者首先建立 $$G$$ -不变几何对象的显式参数化框架。在主轨道部分 $$M_p$$ ，选取横截测地线 $\gamma: (0,1) \to M$ ，诱导全局分解 $T_x M = \mathrm{span}\{\partial_r\} \oplus T_x(G\cdot x)$ 。任意 $$G$$ -不变向量场写为 $u = h(r)\partial_r + \sum v_i(r) Y_i$ （Lemma 3.12），其中 $\{Y_i\}$ 是垂直方向的不变基。度量取形式 $\mathsf{g} = dr^2 + g_r$ （Lemma 3.6），联络分解涉及形状算子 $$S_r$$ （Lemma 3.13）。这一分解将 PDE 投影到一维底空间和齐性纤维上，是后续分析的基础。

2. 无散条件的刚性效应：关键创新在于揭示无散条件 $\nabla \cdot u = h' - H h = 0$ （公式 3.5）在余维一设定下的强约束力。当存在非主轨道时（ $$M/G=[0,1]$$ ），平均曲率 $$H(r)$$ 在端点发散（因轨道体积趋于零，Lemma 3.11），迫使水平分量 $$h(r)$$ 若非零则必在边界奇异。结合光滑性要求（Lemma 3.14–3.17），唯一可能是 $h \equiv 0$ 。这一“垂直性”结论（Lemma 4.2）彻底解耦方程：压强仅为时间函数，速度场演化完全由纤维上的联络决定，从而将问题降维至有限维 ODE 系统。

3. 非主轨道附近的光滑性分析：处理 $$M/G=[0,1]$$ 时，需确保解在非主轨道处光滑。作者应用切片定理（slice theorem），将局部模型化为 $G \times_K V$ ，其中 $$K$$ 为非主轨道迷向群。 $$G$$ -不变向量场由 $$K$$ -等变映射 $W: V \to V \oplus \mathfrak{n}$ 决定。Lemma 3.14 证明此类映射可表为有限个齐次多项式 $$W_i$$ 的线性组合，系数仅为 $$|v|^2$$ 的光滑函数。这一代数结构保证了解析延拓的可能性，并通过 Lemma 3.16–3.17 控制联络作用下的低阶项消失，确保垂直分量系数 $$v_i(r)$$ 在 $r \to 0,1$ 时行为良好。

4. 能量与最大值原理的协同估计：在 $$M/G=S^1$$ 情形，水平分量非零，方程耦合。作者结合两种工具：(a) 能量守恒 $\|u(t)\|_{L^2}$ 有界；(b) 对水平分量 $$h(r,t)$$ 应用标量最大值原理。由于 $$h$$ 满足输运型方程（由 (4.2) 第一式及 $p'=\cdots$ ），其极值受垂直分量控制。再利用纤维度量 $$g_r$$ 及其导数的周期性和光滑性，可证 $\|u(t)\|_{C^1}$ 一致有界。

5. 爆破准则的规避：全文最终归结为验证 Theorem 2.2 的爆破准则：若最大存在时间 $T^* < \infty$ ，则 $\limsup_{t \to T^*} \|u(t)\|_{C^1} = \infty$ 。通过上述各情形的一致 $$C^1$$ 估计，作者证明该极限不可能发生，从而推出全局存在性。

4. 与之前工作的比较

本文与既有工作的比较可从多个维度展开：

1. 对 Tao 猜想的限定反驳： Tao 猜想（Conjecture 1.1）断言存在闭流形上的光滑爆破解。本文证明：在余维一 $$G$$ -不变解类中，该猜想不成立。这并非否定猜想本身，而是划定其可能成立的范围——若猜想为真，则反例必不属于余维一对称类。这与 Chen–Hou 和 Elgindi 的工作形成对比：前者在带边流形（周期柱面）上构造爆破，后者在 $\mathbb{R}^3$ 中放弃光滑性。本文则在闭流形+光滑性+高对称性三重条件下确立全局正则性，凸显对称性对奇性的抑制作用。

2. 对称性假设的强度差异：流体力学中常见对称性为轴对称（ $$SO(2)$$ 作用，轨道余维二）。在该设定下，Chen–Hou 等考虑“无旋流”（swirl-free，即速度场处处垂直于轨道），仍能构造爆破。本文的余维一假设更强：轨道余维一意味着对称群作用“更充分”，导致无散条件对水平分量施加刚性约束（强制 $h \equiv 0$ 当有非主轨道）。相比之下，余维二时无散条件不足以消除水平自由度，故爆破仍可能发生。因此，本文结果不矛盾于轴对称爆破结果，反而说明对称性维度是决定全局行为的关键参数。

3. 与齐性空间结果的联系与推广：在齐性空间（ $$G$$ 传递作用）上， $$G$$ -不变欧拉方程早已知全局可解（因退化为有限维 ODE）。本文将此结论推广至余维一情形，后者包含非齐性例子（如 $$S^n$$ 上的 $$SO(n)$$ 作用，轨道为球面 $S^{n-1}$ ，轨道空间为 $[0,\pi]$ ）。推广的核心在于处理轨道变化（度量 $$g_r$$ 依赖 $$r$$ ）及非主轨道奇性。作者通过纤维分解和光滑延拓技术，将齐性空间的有限维思想扩展到无穷维但结构受限的情形。

4. 方法论上的推进：以往对称性分析多依赖显式坐标计算或特殊流形结构（如球对称）。本文采用内蕴微分几何语言（切片定理、迷向表示、形状算子）系统处理一般余维一流形，适用于任意紧致李群作用。特别是 Lemma 3.14 关于不变向量场的多项式展开，为处理非主轨道光滑性提供了通用工具，优于特例计算。

5. 局限与代价：本文结果依赖强对称性假设。一旦放松至余维 $\geq 2$ ，无散条件不再强制水平分量消失，耦合项 $\nabla_{\partial_r} v$ 和 $$S_r v$$ 可能引发复杂相互作用，导致爆破（如轴对称情形）。此外，结果仅适用于 $$G$$ -不变初值；一般初值即使在余维一流形上仍可能爆破。因此，本文的全局性是以牺牲解类的普遍性为代价换取的，符合“对称性简化动力学”的一般原理。

总之，本文在 Tao 猜想的背景下，通过精细的几何分析，确立了余维一对称性作为全局正则性的充分条件，深化了对对称性、几何结构与流体奇性之间关系的理解。

2. 关于轴对称Navier-Stokes方程的部分I型解

On partial type I solutions to the Axially symmetric Navier-Stokes equations

作者: Qi S Zhang

类别: math.AP

发布日期: 2026-04-09

arXiv ID: 2604.07785v1

摘要翻译: 设 $v= v_{r}e_{r} + v_\theta e_\theta + v_{3}e_{3}$ 为轴对称Navier-Stokes方程（ASNS）的一个Leray-Hopf解。若存在常数 $$C>0$$ 使得对任意 $(x, t) \in \mathbf{R}^3 \times [0, T)$ 有 $v_r(x, t) \ge -C/\sqrt{T-t}$ ，则称该解为部分I型解。本文证明：在附加的温和假设 $|v_\theta(x, 0)| |x'|$ 有界下，此类解在时刻 $$T$$ 不会发生爆破。这一结果推广了此前两组学者在完整I型条件 $|v(x, t)| \le C/\sqrt{T-t}$ 下所证明的无爆破结论。该结果也验证了物理上的直观认识，即轴对称Navier-Stokes方程可能的爆破源于超临界的向内径向速度。

Comment: 无

链接: http://arxiv.org/abs/2604.07785v1

1. 研究对象和背景

本文研究三维轴对称Navier-Stokes方程（ASNS）的正则性问题。设速度场在柱坐标系下表示为 $v = v_r e_r + v_\theta e_\theta + v_3 e_3$ ，其中 $r = |x'| = \sqrt{x_1^2 + x_2^2}$ ，基向量为

e_r = (x_1/r, x_2/r, 0),\quad e_\theta = (-x_2/r, x_1/r, 0),\quad e_3 = (0,0,1).

ASNS 的控制方程为：

\begin{cases} \left(\Delta - \frac{1}{r^2}\right) v_r - (v_r \partial_r + v_3 \partial_{x_3}) v_r + \frac{v_\theta^2}{r} - \partial_r P - \partial_t v_r = 0, \\ \left(\Delta - \frac{1}{r^2}\right) v_\theta - (v_r \partial_r + v_3 \partial_{x_3}) v_\theta - \frac{v_\theta v_r}{r} - \partial_t v_\theta = 0, \\ \Delta v_3 - (v_r \partial_r + v_3 \partial_{x_3}) v_3 - \partial_{x_3} P - \partial_t v_3 = 0, \\ \frac{1}{r} \partial_r (r v_r) + \partial_{x_3} v_3 = 0. \end{cases}

该系统是三维Navier-Stokes方程在轴对称条件下的简化，但仍保留了涡旋拉伸等非线性结构，因此其整体正则性仍是未解决问题，常被称为“ $2\frac{1}{2}$ 维问题”。

关键物理量之一是 $\Gamma = r v_\theta$ ，它满足无压强项的漂移-扩散方程：

\partial_t \Gamma + (v_r, v_3) \cdot \nabla_{r,x_3} \Gamma = \Delta \Gamma - \frac{1}{r} \partial_r \Gamma,

且在轴上 $\Gamma(0,t)=0$ 。由最大值原理可知 $|\Gamma(x,t)| \leq \|\Gamma(\cdot,0)\|_{L^\infty}$ ，即 $|v_\theta(x,t)| \lesssim 1/|x'|$ ，这是一个临界奇性。

已有工作表明，在全I型条件（full type I） $|v(x,t)| \leq C / \sqrt{T-t}$ 下，解不会在时间 $$T$$ 发生爆破。这一结论由 Chen–Strain–Tsai–Yau 与 Koch–Nadirashvili–Seregin–Šverák 两组作者在2008–2009年独立证明。其核心在于该条件下可证 $\Gamma$ 在轴附近具有 Hölder 连续性，从而通过修正涡度系统（如 $\Omega = \omega_\theta / r$ , $J = \omega_r / r$ ）推出整体正则性。

然而，全I型条件是对整个速度场的双向控制。物理直觉认为，可能的爆破机制源于径向速度 $$v_r$$ 的超临界向内流动（即 $v_r \ll -1/\sqrt{T-t}$ ），而其他分量未必需要如此强的控制。因此，一个自然的问题是：能否仅对 $$v_r$$ 施加单边下界（即阻止过快向内流动），就足以排除爆破？

本文正是针对这一空白，引入“部分I型解”（partial type I solution）的概念：若存在常数 $$C>0$$ ，使得对所有 $(x,t) \in \mathbb{R}^3 \times [0,T)$ 有

v_r(x,t) \geq -\frac{C}{\sqrt{T-t}},

则称该 Leray-Hopf 解为部分I型解。在此基础上，辅以初始 swirl 满足 $|v_\theta(x,0)| \, |x'| \in L^\infty$ （即 $\Gamma_0 \in L^\infty$ ），作者试图证明此类解在时间 $$T$$ 仍保持光滑，从而将正则性判据从全速度场的双向控制弱化为仅对径向速度的单边控制。

2. 主要定理或主要结果

本文的主要结果是定理1.1，其完整陈述如下：

定理1.1. 设 $$v = v(x,t)$$ 是定义在 $\mathbb{R}^3 \times [0,\infty)$ 上的轴对称Navier-Stokes方程的 Leray-Hopf 解，并满足以下条件： (a) 初始值 $v_0 \in L^2(\mathbb{R}^3) \cap L^\infty(\mathbb{R}^3) \cap C^3(\mathbb{R}^3)$ ； (b) $r v_\theta(\cdot, 0) \in L^\infty(\mathbb{R}^3)$ ，即存在常数 $\alpha_0 > 0$ 使得 $|\Gamma_0(r)| \leq \alpha_0 r$ ； (c) $$v$$ 是部分I型解，即对任意给定常数 $$c>0$$ 和 $$T>0$$ ，在 $\mathbb{R}^3 \times [0,T)$ 上有

v_r(x,t) \geq -\frac{c}{\sqrt{T-t}}.

则 $$v$$ 在 $\mathbb{R}^3 \times [0,T]$ 上有界且光滑。

该定理的核心在于，仅需对径向速度施加单边临界下界（而非全速度场的双向I型上界），即可排除爆破。技术上，作者通过构造一个仅依赖于 $$r$$ 和 $$t$$ 的模函数 $\Lambda(r,t)$ 来控制 $\Gamma = r v_\theta$ 。该模函数满足一维半直线上的漂移-扩散方程：

\begin{cases} \partial_r^2 \Lambda - \frac{1}{r} \partial_r \Lambda + g(t) \partial_r \Lambda - \partial_t \Lambda = 0, & (r,t) \in (0,\infty) \times [0,T), \\ \Lambda(0,t) = 0, \\ \Lambda(r,0) = \Lambda_0(r) \geq |\Gamma_0(r)|, \end{cases}

其中 $g(t) \geq \|v_r^-(\cdot,t)\|_{L^\infty} \geq c / \sqrt{T-t}$ 。

关键中间结果是引理2.1和2.2，它们证明：当 $g(t) = K / \sqrt{T-t}$ 时，上述方程的解 $u(\rho,t)$ 满足全局估计：

存在常数 $C_0 \geq 1$ 和 $\alpha \in (0,1)$ （仅依赖于 $$K$$ 和 $$T$$ ），使得 $0 \leq u(\rho,t) \leq C_0 (\rho^\alpha + \rho), \quad \forall \rho \geq 0,\ t \in [0,T);$
对任意 $\epsilon > 0$ ，存在 $\rho_0 = \rho_0(\epsilon,K,T) > 1$ ，使得当 $\rho \geq \rho_0$ 时， $u(\rho,t) \geq (1-\epsilon) \rho;$
在远离原点的区域， $\partial_\rho u$ 一致有界。

由此可得 $|\Gamma(x,t)| \leq C |x'|^\alpha$ ，即 $\Gamma$ 在轴附近具有 Hölder 连续性。根据 Chen–Fang–Zhang [2] 的结果，此 Hölder 连续性已足以推出 ASNS 解的整体正则性。

此外，作者指出该条件在某种意义上是锐利的：若将 $$g(t)$$ 的增长阶从 $1/\sqrt{T-t}$ 放宽为 $1/(\sqrt{T-t} \, |\log(T-t)|)$ ，则无法保证模函数的 Hölder 连续性（见第3页末尾说明）。这表明所用方法在当前框架下已达极限。

3. 研究方法、关键技术和核心工具

本文的核心创新在于将高维、带奇异系数的 $\Gamma$ 方程的正则性问题，转化为一个仅含时间依赖漂移项的一维半直线热方程的边界正则性问题，并利用该特殊结构绕过传统 De Giorgi-Nash-Moser 理论对漂移项空间可积性的要求。

主要技术障碍：原始的 $\Gamma$ 方程为

\partial_t \Gamma + b \cdot \nabla \Gamma = \Delta \Gamma - \frac{1}{r} \partial_r \Gamma, \quad b = (v_r, v_3),

其中漂移速度 $$b$$ 仅属于能量空间（如 $L_t^\infty L_x^2 \cap L_t^2 \dot{H}_x^1$ ），这对应用经典抛物正则性理论而言是超临界的（supercritical），因为 De Giorgi-Nash-Moser 理论通常要求漂移项至少属于 $L^{2+\epsilon}_{loc}$ 。即使在轴对称情形下，这一障碍长期阻碍了对非I型解的处理。

作者的真正创新点是构造一个仅依赖于径向变量 $$r$$ 和时间 $$t$$ 的比较函数（modulus of continuity） $\Lambda(r,t)$ ，其满足一个简化的模型方程。该构造的关键在于：

利用单边假设消去空间依赖：由于只假设 $v_r \geq -C/\sqrt{T-t}$ ，故可取 $g(t) = \|v_r^-(\cdot,t)\|_{L^\infty} \leq C/\sqrt{T-t}$ ，从而将原方程中空间变化的漂移项 $$v_r(r,x_3,t)$$ 替换为仅依赖时间的上界 $$g(t)$$ 。这使得控制方程退化为一维问题。
变量替换转化为标准热方程：对模型方程 $\partial_\rho^2 u + g(t) \partial_\rho u - \partial_t u = 0, \quad u(0,t)=0,$ 引入新变量 $z = \rho + A(t)$ ，其中 $A(t) = \int_0^t g(s) ds = 2K(\sqrt{T} - \sqrt{T-t})$ 。在此变换下，方程变为标准热方程 $\partial_z^2 \nu - \partial_t \nu = 0$ 在时变区域 $P = \{(z,t) \mid z > A(t),\ t \in [0,T)\}$ 上，且带有齐次 Dirichlet 边界条件 $\nu(A(t),t)=0$ 。
时变区域的边界正则性分析：这是证明中最精细的部分。作者指出，边界曲线 $$z=A(t)$$ 满足所谓的“外部测度条件”（exterior measure condition），即对任意边界点 $$(A(t),t)$$ 和足够小的抛物立方体 $$Q_2(A(t),t,r)$$ ，其与区域外部 $$P^c$$ 的交集占据固定比例： $|Q_2(A(t),t,r) \cap P^c| \geq c_0 |Q_2(A(t),t,r)|.$ 这一性质源于 $$A(t)$$ 的具体形式（其导数 $g(t) \sim 1/\sqrt{T-t}$ 具有正确的抛物尺度不变性）。利用 Lieberman 或类似文献中的边界 Hölder 估计定理（如引用的 [12] 中 Theorem 6.32），即可推出 $\nu$ （从而 $$u$$ ）在包含边界的区域上具有 Hölder 连续性，且 Hölder 指数 $\alpha$ 和常数 $$C^*$$ 仅依赖于 $$c_0$$ （即依赖于 $$K$$ ），而与 $$T$$ 无关。
比较原理的应用：一旦得到 $\Lambda(r,t) \leq C r^\alpha$ ，即可通过最大值原理将此估计传递给真实的 $\Gamma$ ，即 $|\Gamma(x,t)| \leq \Lambda(r,t) \leq C r^\alpha$ 。这一步依赖于 $\Lambda$ 被构造为 $\Gamma$ 的上解。

综上，作者通过巧妙的降维、变量替换和对时变区域边界的精细几何分析，成功地将一个超临界漂移问题转化为可处理的标准热方程边界正则性问题，从而突破了传统方法的限制。

4. 与之前工作的比较

本文与已有工作的比较可从多个维度展开：

1. 与全I型条件工作的比较： Chen–Strain–Tsai–Yau [3,4] 和 Koch–Nadirashvili–Seregin–Šverák [7] 的开创性工作证明了在全I型条件 $|v(x,t)| \leq C/\sqrt{T-t}$ 下，ASNS 解不会爆破。该条件对速度场的所有分量施加了双向的临界上界。本文则将此条件大幅弱化为仅对径向速度的单边下界 $v_r \geq -C/\sqrt{T-t}$ ，同时保留对初始 swirl 的温和假设 $rv_\theta(\cdot,0) \in L^\infty$ 。这是一个本质性的推进，因为它确认了物理直觉——爆破的潜在驱动力是过快的向内径向流，而非其他分量的快速增长。本文的假设允许 $v_\theta$ 或 $$v_3$$ 在局部出现比 $1/\sqrt{T-t}$ 更快的增长（只要不破坏 Leray-Hopf 解的整体能量结构），这在全I型框架下是被禁止的。

2. 与其它单边条件工作的比较：作者在第4页提及，此前 [15] 和 [20] 已有工作考虑了形如 $v_r(x,t) \geq -M/r$ 的单边条件。然而，这些结果对常数 $$M$$ 有严格限制（分别为 $$M=1$$ 和 $M \in (1,2)$ ），属于次临界或临界但带小常数的情形。相比之下，本文的条件 $v_r \geq -C/\sqrt{T-t}$ 是真正临界的（与 Navier-Stokes 方程的自然尺度 $[v] = L/T^{1/2}$ 一致），且对常数 $$C$$ 无任何小性要求。这是一个巨大的推广，因为爆破场景通常涉及大常数的临界行为。

3. 与基于 $\Gamma$ 正则性的工作比较：自 Ladyzhenskaya 和 Yudovich 以来， $\Gamma = rv_\theta$ 的正则性被视为 ASNS 正则性的关键。Lei–Zhang [13] 和 Wei [19] 证明了若 $\Gamma$ 具有 $1/|\ln r|^2$ 或 $1/|\ln r|^{3/2}$ 的模连续性，则解正则。然而，这些结果本身并未提供如何从基本假设推导出如此精细的 $\Gamma$ 正则性的途径。本文则通过一个明确的、可验证的物理假设（部分I型条件），直接推出了更强的 Hölder 连续性 $|\Gamma| \lesssim r^\alpha$ ，从而为这些抽象的正则性判据提供了具体的、物理上有意义的实现路径。

中文标题: 具有非可积核的连续Kuramoto模型的弛豫动力学

摘要翻译: 我们研究了具有分数拉普拉斯型核的连续Kuramoto模型的渐近行为。为此，我们通过一种双参数正则化过程构造全局弱解，该过程结合了核截断与分数耗散。利用在分数阶Sobolev空间中导出的先验一致估计，我们借助紧性论证构造了奇异连续Kuramoto模型的全局弱解。此外，在对初值和系统参数施加适当假设下，我们还建立了 $$L^2$$ 范数意义下解向初始相位平均值的指数弛豫。这些结果为解的存在性以及Kuramoto系综在物理上重要的强奇异相互作用（包括幂律奇异核与Coulomb型核）下的涌现动力学提供了严格的刻画。

16. 含积分-微分算子与消失势的超临界薛定谔方程

Supercritical Schrödinger equations involving integro-differential operators and vanishing potentials

作者: Ronaldo C. Duarte, Diego Ferraz

类别: math.AP

发布日期: 2026-04-09

arXiv ID: 2604.07661v1

链接: http://arxiv.org/abs/2604.07661v1

摘要翻译

中文标题: 含积分-微分算子与消失势的超临界薛定谔方程

摘要翻译: 本文致力于研究定义在整个欧氏空间上的一类薛定谔型方程正有界解的存在性，其中涉及一般的积分-微分算子。我们考虑势函数非负且在无穷远处趋于零的情形，同时非线性项在Sobolev意义下具有临界或超临界增长。为克服缺乏紧性以及由非线性项一般结构所带来的困难，我们结合变分方法与惩罚技巧进行处理。与经典分数阶Laplace框架不同——后者可利用特定的正则性结果、衰减估计及 $$s$$ -调和延拓——我们的方法依赖于弱极大值原理，并通过基于分数阶Laplace截断基本解构造一个上解，以控制解的渐近行为。我们证明：当扰动参数足够小且势函数满足适当的衰减条件时，该方程存在非平凡解。

17. 线性增长型 $\mathscr{A}$ -拟凸变分问题的部分正则性

Partial regularity for $\mathscr{A}$ -quasiconvex variational problems of linear growth

作者: Christopher Irving, Zhuolin Li, Bogdan Raiţă

类别: math.AP

发布日期: 2026-04-08

arXiv ID: 2604.07538v1

链接: http://arxiv.org/abs/2604.07538v1

摘要翻译

中文标题: 线性增长型 $\mathscr{A}$ -拟凸变分问题的部分正则性

摘要翻译: 我们证明了如下变分积分的极小元

\mathcal E(v)=\int_Ωf(v)\quad\text{对于 }v\in\mathcal M(Ω)\text{ 且满足 } \mathscr{A} v=0,

在被积函数 $$f$$ 于适当意义下为强 $\mathscr{A}$ -拟凸的条件下具有部分连续性。我们考虑线性增长问题、常秩线性偏微分算子 $\mathscr{A}$ ，以及形如 $v+\varphi$ 的变分，其中 $\mathscr{A}$ -自由的 $\varphi\in \mathrm{C}_{\mathrm{c}}^\infty(Ω)$ 。我们的分析亦涵盖“势情形”

\mathcal F(u)=\int_Ωf( \mathscr{B} u)\quad\text{对于 } u\in\mathscr D'(Ω)\text{ 且满足 }\mathscr B u\in \mathcal M(Ω),

其中 $\mathscr{B}$ 是另一个常秩线性偏微分算子。我们的两个主要结果均可推广至依赖于 $$x$$ 的被积函数情形。

18. 高对比度抛物方程的粗粒化与定量随机均匀化

Coarse-graining and quantitative stochastic homogenization of parabolic equations in high contrast

作者: Aidan Lau

类别: math.AP

发布日期: 2026-04-08

arXiv ID: 2604.07528v1

链接: http://arxiv.org/abs/2604.07528v1

摘要翻译

中文标题: 高对比度抛物方程的粗粒化与定量随机均匀化

摘要翻译: 我们证明了关于系数依赖于空间和时间的随机高对比度抛物方程的定量均匀化结果。特别地，我们证明了在充分去相关假设下，均匀化长度尺度被控制在 $\exp(C\log^2(1+\Lambda/\lambda)) + C\sqrt{\lambda}$ 之内。该证明基于一个抛物型粗粒化框架，该框架推广了Armstrong与Kuusi在椭圆情形下的结果。

19. 三维随机电子磁流体力学系统：局部适定性与极大轨道解

The Three-Dimensional Stochastic EMHD System: Local Well-Posedness and Maximal Pathwise Solutions

作者: Ruimeng Hu, Qirui Peng, Xu Yang

类别: math.PR, math.AP

发布日期: 2026-04-08

arXiv ID: 2604.07497v1

链接: http://arxiv.org/abs/2604.07497v1

摘要翻译

中文标题: 三维随机电子磁流体力学系统：局部适定性与极大轨道解

摘要翻译: 我们研究环面上具有分数耗散的三维随机电子磁流体力学（EMHD）系统，其由作用于无散一度算子上的Stratonovich输运噪声驱动。该噪声在保持Hall非线性项输运结构的同时产生Itô修正项。由于Hall项包含一个额外的导数，在随机情形下必须将其与输运算子所产生的交换子一同加以控制。

我们发展了一种基于Littlewood–Paley分析和精细交换子估计的高阶Sobolev能量方法，由此得到Galerkin逼近在 $$H^s$$ （其中 $s > \tfrac{5}{2}$ ）中的统一先验界以及适当的时间正则性。结合随机紧性和极限识别，我们对初值属于 $L^2(\Omega; H^s)$ 的情形构造了鞅解。

通过Hall项中的抵消效应并结合随机Grönwall论证，我们证明了解的轨道唯一性。再应用Yamada–Watanabe型结果，即得局部轨道适定性及极大轨道解的存在性。

20. 具有强制梯度的分数阶 $$p$$ -Laplace 方程的 Lipschitz 正则性

Lipschitz regularity for fractional $$p$$ -Laplacian with coercive gradients

作者: Anup Biswas, Aniket Sen, Erwin Topp

类别: math.AP

发布日期: 2026-04-08

arXiv ID: 2604.07489v1

链接: http://arxiv.org/abs/2604.07489v1

摘要翻译

中文标题: 具有强制梯度的分数阶 $$p$$ -Laplace 方程的 Lipschitz 正则性

摘要翻译: 本文研究一类具有强制梯度非线性的非线性非局部方程：

(-\Delta_p)^s u(x) + H(x, \nabla u) = f,

其中 $$f$$ 是 Lipschitz 连续的。我们证明了，只要

p \in \left(1, \frac{2}{1-s}\right) \cup (1, m+1),

则任意粘性解 $$u$$ 均为局部 Lipschitz 连续。我们还建立了次解的 Hölder 连续性。此外，在 $$f=0$$ 且 $$H$$ 与 $$x$$ 无关的情形下，我们证明对于所有 $m, p \in (1,\infty)$ ，该方程在有界解类中仅有平凡解。

不相关论文（基本信息）

1. 多项式阈值函数的布尔表面积

The Boolean surface area of polynomial threshold functions

作者: Joseph Slote, Alexander Volberg, Haonan Zhang

类别: cs.CC, math.AP, math.CA, math.PR

发布日期: 2026-04-09

arXiv ID: 2604.08095v1

链接: http://arxiv.org/abs/2604.08095v1

摘要: Polynomial threshold functions (PTFs) are an important low-complexity class of Boolean functions, with strong connections to learning theory and approximation theory. Recent work on learning and testing PTFs has exploited structural and isoperimetric properties of the class, especially bounds on average sensitivity, one of the central themes in the study of PTFs since the Gotsman–Linial conjecture. In this work we exhibit a new geometric sense in which PTFs are tightly constrained, by studying them through the lens of the \textit{Boolean surface area} (or Talagrand boundary):

\text{BSA}[f]={\mathbb E}|\nabla f| = {\mathbb E}|\sqrt{{Sens}_f(x)},

which is a natural measure of vertex-boundary complexity on the discrete cube. Our main result is that every degree- $$d$$ PTF $$f$$ has subpolynomial Boolean surface area:

\text{BSA}[f]\le \exp(C(d)\sqrt{\log n}).

This is a superpolynomial improvement over the previous bound of $n^{1/4}(\log n)^{C(d)}$ that follows from Kane’s landmark bounds on average sensitivity of PTFs \cite{DK}.

2. $$φ$$ -DeepONet：一种捕捉间断的神经算子

$$φ-$$ DeepONet: A Discontinuity Capturing Neural Operator

作者: Sumanta Roy, Stephen T. Castonguay, Pratanu Roy, Michael D. Shields

类别: cs.CE, math.AP

发布日期: 2026-04-09

arXiv ID: 2604.08076v1

链接: http://arxiv.org/abs/2604.08076v1

摘要: We present $$φ-$$ DeepONet, a physics-informed neural operator designed to learn mappings between function spaces that may contain discontinuities or exhibit non-smooth behavior. Classical neural operators are based on the universal approximation theorem which assumes that both the operator and the functions it acts on are continuous. However, many scientific and engineering problems involve naturally discontinuous input fields as well as strong and weak discontinuities in the output fields caused by material interfaces. In $$φ$$ -DeepONet, discontinuities in the input are handled using multiple branch networks, while discontinuities in the output are learned through a nonlinear latent embedding of the interface. This embedding is constructed from a {\it one-hot} representation of the domain decomposition that is combined with the spatial coordinates in a modified trunk network. The outputs of the branch and trunk networks are then combined through a dot product to produce the final solution, which is trained using a physics- and interface-informed loss function. We evaluate $$φ$$ -DeepONet on several one- and two-dimensional benchmark problems and demonstrate that it delivers accurate and stable predictions even in the presence of strong interface-driven discontinuities.

3. Lorentz-Minkowski 空间中具有给定类光锥的极大超曲面

Maximal hypersurfaces with prescribed light-like cones in Lorentz-Minkowski space

作者: Huyuan Chen, Ying Wang, Feng Zhou

类别: math.AP

发布日期: 2026-04-09

arXiv ID: 2604.07866v1

链接: http://arxiv.org/abs/2604.07866v1

摘要: The purpose in this paper is to study the maximal hypersurfaces with multiple light-cones in Lorentz-Minkowski space by considering the weak solutions to the mean curvature equation with multiple Dirac masses. Such solutions are constructed via an approximation procedure, using regular solutions with smooth sources that converge weakly to the Dirac measures.

4. 带状态约束的控制型遍历平均场博弈

Ergodic Mean Field Games of Controls with State Constraints

作者: Jameson Graber, Kyle Rosengartner

类别: math.AP, math.OC

发布日期: 2026-04-08

arXiv ID: 2604.07550v1

链接: http://arxiv.org/abs/2604.07550v1

摘要: In a mean field game of controls, players seek to minimize a cost that depends on the joint distribution of players’ states and controls. We consider an ergodic problem for second-order mean field games of controls with state constraints, in which equilibria are characterized by solutions to a second-order MFGC system where the value function blows up at the boundary, the density of players vanishes at a commensurate rate, and the joint distribution of states and controls satisfies the appropriate fixed-point relation. We prove that such systems are well-posed in the case of monotone coupling and Hamiltonians with at most quadratic growth.

重点关注论文（完整分析）#

1. 紧致余维一轨道流形上的不可压缩欧拉流体#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

2. 关于轴对称Navier-Stokes方程的部分I型解#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

了解领域论文（摘要翻译）#

1. 双权分数阶Poincaré-Sobolev夹逼不等式#

摘要翻译#

2. 恒定涡度纯重力水波的能量转移#

摘要翻译#

3. 熵正则化JKO格式的收敛速率#

摘要翻译#

4. 气泡与可压缩粘性流体相互作用问题解的存在性#

摘要翻译#

5. 基于非线性演化理论的无界漂移项非线性抛物方程的适定性#

摘要翻译#

6. GENERIC 框架下非均匀动力学模型的统一表述及其渐近极限#

摘要翻译#

7. 时间分数阶广义Kuramoto-Sivashinsky方程的Cauchy问题#

摘要翻译#

8. 关于与 de Rham 复形相关的广义定常 Stokes 算子的同伦公式#

摘要翻译#

9. 具有阈值密度的退化趋化系统的全局适定性与平坦-驼峰型稳态解#

摘要翻译#

10. 次临界性在次阶薛定谔算子中的性质及其在波动方程中的应用#

摘要翻译#

11. 具有非标准增长的各向异性完全非线性方程的Harnack不等式#

摘要翻译#

12. Chern–Simons–Higgs 系统的定量流体力学极限#

摘要翻译#

13. 一类广义非局部算子的Fredholm择一定理#

摘要翻译#

14. 不可压Schrödinger流弱解与正则解的存在性#

摘要翻译#

15. 具有非可积核的连续Kuramoto模型的弛豫动力学#

摘要翻译#

16. 含积分-微分算子与消失势的超临界薛定谔方程#

摘要翻译#

17. 线性增长型 $\mathscr{A}$-拟凸变分问题的部分正则性#

摘要翻译#

18. 高对比度抛物方程的粗粒化与定量随机均匀化#

摘要翻译#

19. 三维随机电子磁流体力学系统：局部适定性与极大轨道解#

摘要翻译#

20. 具有强制梯度的分数阶 $p$-Laplace 方程的 Lipschitz 正则性#

摘要翻译#

不相关论文（基本信息）#

1. 多项式阈值函数的布尔表面积#

2. $φ$-DeepONet：一种捕捉间断的神经算子#

3. Lorentz-Minkowski 空间中具有给定类光锥的极大超曲面#

4. 带状态约束的控制型遍历平均场博弈#

重点关注论文（完整分析）

1. 紧致余维一轨道流形上的不可压缩欧拉流体

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

2. 关于轴对称Navier-Stokes方程的部分I型解

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

了解领域论文（摘要翻译）

1. 双权分数阶Poincaré-Sobolev夹逼不等式

摘要翻译

2. 恒定涡度纯重力水波的能量转移

摘要翻译

3. 熵正则化JKO格式的收敛速率

摘要翻译

4. 气泡与可压缩粘性流体相互作用问题解的存在性

摘要翻译

5. 基于非线性演化理论的无界漂移项非线性抛物方程的适定性

摘要翻译

6. GENERIC 框架下非均匀动力学模型的统一表述及其渐近极限

摘要翻译

7. 时间分数阶广义Kuramoto-Sivashinsky方程的Cauchy问题

摘要翻译

8. 关于与 de Rham 复形相关的广义定常 Stokes 算子的同伦公式

摘要翻译

9. 具有阈值密度的退化趋化系统的全局适定性与平坦-驼峰型稳态解

摘要翻译

10. 次临界性在次阶薛定谔算子中的性质及其在波动方程中的应用

摘要翻译

11. 具有非标准增长的各向异性完全非线性方程的Harnack不等式

摘要翻译

12. Chern–Simons–Higgs 系统的定量流体力学极限

摘要翻译

13. 一类广义非局部算子的Fredholm择一定理

摘要翻译

14. 不可压Schrödinger流弱解与正则解的存在性

摘要翻译

15. 具有非可积核的连续Kuramoto模型的弛豫动力学

摘要翻译

16. 含积分-微分算子与消失势的超临界薛定谔方程

摘要翻译

17. 线性增长型 $\mathscr{A}$ -拟凸变分问题的部分正则性

摘要翻译

18. 高对比度抛物方程的粗粒化与定量随机均匀化

摘要翻译

19. 三维随机电子磁流体力学系统：局部适定性与极大轨道解

摘要翻译

20. 具有强制梯度的分数阶 $$p$$ -Laplace 方程的 Lipschitz 正则性

摘要翻译

不相关论文（基本信息）

1. 多项式阈值函数的布尔表面积

2. $$φ$$ -DeepONet：一种捕捉间断的神经算子

3. Lorentz-Minkowski 空间中具有给定类光锥的极大超曲面

4. 带状态约束的控制型遍历平均场博弈