生成时间: 2026年09月23日 08:00:55

运行状态: 完成

计划处理论文数量: 47

已完成论文数量: 47

未完成论文数量: 0

重点关注论文数量: 8

了解领域论文数量: 12

不相关论文数量: 27

重点关注论文(完整分析)

1. Navier-Stokes 方程爆破的级联机制

Cascade mechanisms for Navier-Stokes blow-up

作者: Alexey Cheskidov, Mimi Dai, Stan Palasek

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26790v1

摘要翻译: 在我们近期的一篇预印本(arXiv:2511.09556)中,我们展示了三维 Navier-Stokes 方程中的逆能级联现象,该现象导致“瞬时”Type I 爆破以及某些锐正则性类中唯一性的失效。本文旨在在 Obukhov 二进模型的框架下进一步阐明这一现象,并将其与更为人知的有限时间爆破现象进行比较。当间歇性较低($α\leq 2$)时,我们恢复了此前在 Navier-Stokes 设定下的结果;在能量超临界且间歇性较高($α>2$)的情形下,我们证明相同的现象可在有限能解类中出现。我们给出了两种不同的证明:一种利用 Lyapunov 函数的软方法,另一种为显式的多尺度构造。对于无粘系统,我们说明在更低正则性下也会出现类似现象。最后,我们陈述了一个混合 Desnyansky-Novikov-Obukhov 模型的有限时间爆破定理,在该模型中,由有限支撑初值和无外力产生的前向级联会生成一个仅以微弱幅度属于 Type II 的奇点,其特征与 OpenAI 近期关于强迫 Navier-Stokes 方程的爆破研究具有可比性。

Comment: 35pp, 6 figures

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

1. 研究对象和背景

本文研究三维不可压缩 Navier-Stokes (NS) 方程的奇性形成问题。在 $d \geq 2$ 维环面 $\mathbb{T}^d$ 上,考虑 NS 方程:

$$ \begin{cases} \partial_t u - \nu \Delta u + \text{div}(u \otimes u) + \nabla p = 0, \\ \text{div } u = 0. \end{cases} $$

当初始数据 $u_0 \in C^\infty$ 时,该方程局部适定。对于 $d \geq 3$,有限时间爆破(finite-time blow-up)是一个著名的未解决问题。近期,OpenAI 声称存在带有光滑外力的有限时间爆破解 [Ope26]。而作者团队在先前的预印本 [CDP25] 中构造了具有“瞬时”Type I 爆破的解,即解在 $t=T^*$ 处空间光滑且为弱解,但在 $T^*$ 右侧立即发生 $L^\infty$ 范数爆破。

为了深入理解这些奇性背后的能量级联机制,本文转向简化的 Obukhov 二进模型(dyadic model)。该模型由以下方程给出:

$$ X'_k = -\nu N_k^2 X_k + N_k^\alpha X_{k+1}^2 - N_{k-1}^\alpha X_{k-1}X_k, \quad k=1,2,\dots; \quad X_0=0, $$

其中 $N_k = \lambda^k$,参数 $\alpha$ 编码了流体的间歇性(intermittency)。$\alpha$ 与速度场频率 $N$ 处的支撑集维度 $D_{in}$ 相关,满足 $\alpha = \frac{d+2-D_{in}}{2}$。$\alpha=1$ 对应无间歇性,$\alpha=(d+2)/2$ 对应最大间歇性。关键的临界阈值是 $\alpha=2$,对应于 $D_{in}=d-2$。当 $\alpha < 2$ 时,模型在能量空间 $\ell^2$ 中超临界指数 $s_c = \alpha-2 < 0$,全局适定;当 $\alpha > 2$ 时,能量空间超临界,预期会发生有限时间爆破。

本文旨在通过二进模型阐明两种不同的奇性机制:导致瞬时爆破的反向能量级联(inverse energy cascade)和导致有限时间爆破的正向能量级联(forward energy cascade)。特别地,文章探讨了在低间歇性($\alpha \leq 2$)和高间歇性($\alpha > 2$)情形下,瞬时爆破如何发生,并比较了其与经典有限时间爆破的区别。此外,还引入了混合 Desnyansky-Novikov-Obukhov (DN-O) 模型来研究无外力、有限支撑初值下的有限时间爆破。

2. 主要定理或主要结果

本文的主要结果分为以下几类:

  1. 能量亚临界瞬时爆破 (Theorem 1.1): 设 $\alpha \in [1, 2)$ 且 $N_k = \lambda^k$ 其中 $\lambda > 2^{1/(2-\alpha)}$。则存在非平凡解 $X \in C([0, \infty); H^s)$ 对所有 $s < \alpha-2$,满足:

    $$ \lim_{t \to 0^+} X_k(t) = 0, \quad \forall k \geq 1, $$

    且在 $t=0$ 右侧发生 Type I 爆破:

    $$ \limsup_{t \to 0^+} \frac{t}{r^{\alpha-2}/2} \|X(t)\|_{H^r} > 0, \quad \forall r > \alpha-2. $$

    这表明零解与该解在相同初值下不唯一。

  2. 能量临界瞬时爆破 (Theorem 1.3): 设 $\alpha = 2$,$N_k = \lambda^k$ ($\lambda > 1$),且存在 $\sigma > 0$ 满足 $\lambda^\sigma \geq 2$。则存在非负非平凡解 $X$,使得:

    $$ X \in \bigcap_{s < -\sigma} C([0, \infty); H^s) \cap \bigcap_{r \in \mathbb{R}} C((0, \infty); H^r), \quad X(0)=0, $$

    并且能量范数在 $t=0$ 处爆破:

    $$ \lim_{t \to 0^+} \|X(t)\|_{\ell^2} = \infty. $$

    具体增长率满足:

    $$ \|X(t)\|_{\ell^2} \geq c \left(1 + \log \frac{t_0}{t}\right)^{1/3}, \quad 0 < t < t_0. $$
  3. 能量超临界瞬时爆破 (Theorem 1.4): 设 $\alpha > 2$,$N_k = \lambda^k$ ($\lambda > 1$)。则存在解 $X \in C((0, \infty); H^s)$ 对所有 $s \in \mathbb{R}$,满足:

    $$ \lim_{t \to 0^+} X_k(t) = 0, \quad \forall k \geq 1, \quad \text{且} \quad \lim_{t \to 0^+} \|X(t)\|_{\ell^2} = 1. $$

    所有正 Sobolev 范数均按标度律爆破:

    $$ t^{-s/\alpha} \lesssim_s \|X(t)\|_{H^s} \lesssim_{s,\epsilon} t^{-s/\alpha - \epsilon}, \quad 0 < t \leq t_s, \quad \forall 0 < s < \alpha. $$

    基于此,作者猜想 (Conjecture 1.5) 真实 NS 方程中存在类似的有限能量弱解,其在 $t=0$ 处瞬时爆破且违反能量不等式。

  4. 无粘性瞬时爆破 (Theorem 1.7 & Corollary 1.8): 对于无粘性 Obukhov 模型,存在非负解 $X$ 使得 $\|X(t)\|_{\ell^2}=1$ 对所有 $t>0$ 成立,但 $\|X(t)\|_{H^s} \to 0$ 当 $t \to 0^+$ 对所有 $s<0$ 成立。这展示了能量跳跃和非唯一性。利用时间可逆性,推论 1.8 给出了有限时间爆破解 $Y$,其能量在 $t<T$ 时守恒,但在 $t \to T^-$ 时正向级联至无穷高频,导致高阶 Sobolev 范数爆破。

  5. 混合 DN-O 模型的有限时间爆破 (Theorem 1.10): 考虑混合模型:

    $$ X'_k = -\nu N_k^2 X_k + \eta(N_{k-1}^\alpha X_{k-1}^2 - N_k^\alpha X_k X_{k+1}) - N_k^\alpha X_{k+1}^2 + N_{k-1}^\alpha X_{k-1}X_k. $$

    取 $\nu=1, \alpha \approx 5/2, \eta=10^{-5}, N_k=2^k$。存在有限支撑初值 $X(0) \in \ell^2$,使得解在有限时间 $T < \infty$ 内爆破:

    $$ \lim_{t \to T} \|X(t)\|_{H^s} = \infty, \quad \forall s > s_0, \quad s_0 \in (0, 1/2). $$

    由于临界指数 $s_c = \alpha-2 = 1/2$,且 $s_0 < 1/2$,该爆破略微属于 Type II。

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

本文采用了两种主要方法来证明瞬时爆破的存在性,并分析了有限时间爆破的机制:

  1. Lyapunov 函数方法 (Soft Approach): 这是处理瞬时爆破(Theorems 1.1, 1.3, 1.4)的核心工具。作者构造了一个快速衰减的 Lyapunov 函数:

    $$ H_{q,K}(t) = \sum_{k=1}^{K+1} N_k^{2q} (X_k^K(t))^2 - c \sum_{k=1}^{K} N_k^{2q} X_k^K(t) X_{k+1}^K(t), $$

    其中 $0 < q < \alpha$,$c > 0$ 足够小。通过 Galerkin 近似,将无限维系统截断为有限维系统。关键步骤是利用变分公式保持非负性,并证明 $H_{q,K}(t)$ 随时间单调递减或受控。这种方法依赖于二进模型的结构,特别是非线性项的望远镜求和性质(telescoping sum),从而得到能量恒等式。然而,作者明确指出,真正的 NS 方程不具备这种类型的 Lyapunov 函数,因此该方法不能直接推广到 PDE 设置。

  2. 显式多尺度构造 (Explicit Multiscale Construction): 为了克服 Lyapunov 方法的局限性,作者在 Section 3 概述了一种更鲁棒的多尺度构造方法。这种方法已在之前的 PDE 工作中成功应用 [CP26, CDP25]。其核心思想是将解分解为主部(principal part)和余项(residual)。主部捕捉了主导的级联行为,而余项被控制在较低阶。这种方法允许在超临界情形下精确控制不同频率壳层之间的能量转移速率,从而构建出符合标度律的爆破解。虽然文中仅给出了概述,但强调其适用于更广泛的 PDE 背景。

  3. 混合级联机制分析: 对于 Theorem 1.10 的有限时间爆破,作者分析了 DN 和 Obukhov 项的协同作用。DN 项提供小的前向源项 $\eta \mu y^2$,将能量从当前壳层“推动”到下一个壳层;而 Obukhov 项提供指数放大 $\mu y z$,一旦下一壳层获得微小扰动,就会迅速增长。这种机制类似于 Tao 的延迟机制 [Tao16],能够避免纯 DN 模型中的湍流正则化效应和纯 Obukhov 模型中的振幅饱和效应。作者通过数值模拟和渐近自相似分析,展示了能量如何在相邻壳层间高效传递,最终导致有限时间爆破。

4. 与之前工作的比较

本文与既有工作的比较主要体现在以下几个方面:

  1. 与 OpenAI [Ope26] 的比较: OpenAI 声称发现了带有力项的 NS 方程有限时间爆破。本文提出的混合 DN-O 模型爆破机制(Theorem 1.10)在特征上与 OpenAI 的结果相似,特别是在自相似级联和脉冲放大方面。然而,本文的模型是无外力的,且初值为有限支撑,这在概念上更为简洁。OpenAI 的工作依赖于外力来创建脉冲,而本文通过 DN 和 Obukhov 项的非线性相互作用自然产生级联。尽管二进模型简化了空间结构,但它捕捉了 OpenAI 结果中的关键动力学特征。

  2. 与 Kiselev-Zlatoš [KZ05] 的比较: Kiselev 和 Zlatoš 证明了无粘性 Obukhov 模型在 $H^s$ ($s > \alpha$) 中的全局正则性,并提出了端点 $s=\alpha$ 的问题。本文的 Corollary 1.8 展示了从无粘性模型中可以通过时间反演得到有限时间爆破,但其初值仅属于 $H^s$ ($s < \alpha$)。这与 [KZ05] 的正则性结果互补,表明在低于临界正则性的空间中,爆破是可能的。此外,[KZ05] 发现的振幅饱和机制在本文中通过引入 DN 项得以规避。

  3. 与 Palasek [Pal26] 的比较: Palasek 在 [Pal26] 中证明了粘性 Obukhov 模型在有外力且频率序列超指数增长时的有限时间爆破。本文的 Theorem 1.10 则在几何频率 $N_k = 2^k$ 和无外力条件下实现了爆破,这是一个显著的推进。代价是必须引入混合 DN-O 模型,而非纯 Obukhov 模型。这表明纯 Obukhov 模型在无外力情况下可能难以实现有限时间爆破,需要额外的非线性结构来打破正则化机制。

  4. 与 Katz-Pavlović [KP05] 及 Friedlander-Pavlović [FP04] 的比较: 这些工作主要关注 Desnyansky-Novikov (DN) 模型的有限时间爆破。本文指出,DN 模型的许多负面结果未能成功转移到 PDE 设置中。相比之下,Obukhov 模型在某些方面更接近 NS 方程的物理行为。本文通过结合 DN 和 Obukhov 项,试图弥合这一差距,展示了一种可能在 PDE 中重现的级联机制。

  5. 与 Jia-Shi [JŠ15], Giga-Schober [GŠ23] 等的比较: 这些工作研究了 Type I 前向自相似解。本文的 Conjecture 1.5 提出了一种 Type II 的瞬时爆破解,其临界范数在 $t \to 0^+$ 时无界。这与自相似解不同,后者位于临界空间 $L^\infty_t B^{-1}_{\infty,\infty}$ 中,并满足能量等式。因此,本文的猜想解必须在临界范数上表现出更强的奇异性。


2. 解析环面三维磁流体力学平衡态与具有不变面的定常欧拉流动

Analytic toroidal 3D MHD equilibria and steady Euler flows with invariant surfaces

作者: Matt Landreman

类别: physics.plasm-ph, math.AP, physics.flu-dyn

发布日期: 2026-09-22

arXiv ID: 2609.26742v1

摘要翻译: 本文给出了一族显式的解析解,这些解是磁流体力学平衡方程的解,等价于定常不可压缩欧拉流动。这些解是非轴对称的,并拥有精确嵌套的环面磁通面。我们未对逆长径比或偏离轴对称的程度进行展开。磁场和磁通面以笛卡尔坐标下的初等函数显式给出。场、电流密度和标量压力在环面域上是光滑的。压力梯度仅在磁轴上消失。一族解具有均匀的旋转变换 $ι=2$,而另一族解具有剪切 $ι$ 分布。作为 Grad 猜想的反例,这些解对于理解三维平衡态的存在性和正则性,以及测试数值代码具有重要价值。

Comment: 无

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

1. 研究对象和背景

在受控核聚变领域, 特别是仿星器(stellarator)和托卡马克(tokamak)装置中, 寻找稳定的磁场构型以约束高温等离子体是核心挑战之一. 磁流体力学(MHD)平衡方程描述了维持这种约束所需的磁场 $\mathbf{B}$ 和标量压强 $p$ 之间的关系. 该方程组为:

$$ (\nabla \times \mathbf{B}) \times \mathbf{B} = \nabla p, $$

$$ \nabla \cdot \mathbf{B} = 0. $$

从第一个方程可以看出, $\mathbf{B} \cdot \nabla p = 0$, 这意味着压强表面必须是磁力线的不变面(invariant surfaces). 对于有效的磁约束, 这些表面必须形成嵌套的环面(nested tori), 且压强从中心向边缘递减.

在非轴对称几何结构中满足上述条件的难度极大. 早在1967年, Grad就提出了著名的猜想: 除非存在额外的对称性(如轴对称性), 否则不存在具有光滑非恒定压强的通用环面平衡解. 这一猜想在数学物理界引发了长期的讨论和研究, 特别是在分析理论中, 关于此类偏微分方程组解的存在性和正则性问题备受关注.

此前,研究者通过放宽约束条件或引入近似方法来寻找解. 例如, Mercier (1964) 和 Solov’ev & Shafranov (1970) 利用高长径比(high aspect ratio)展开得到了近似解; Lortz (1970) 证明了有限长径比非对称环面平衡的存在性, 但仅限于具有镜像反射对称性且旋转转换度(rotational transform) $\iota=0$ 的情况, 这与实际磁约束不相容, 且未提供显式解. Weitzner & Sengupta (2020) 在拓扑环面而非真实环面几何中找到了精确的非对称闭合线真空场. Drivas et al. (2025) 在周期性圆柱几何中构造了具有闭合轨迹的非对称稳态欧拉流. Kaiser & Salat (1997) 获得了具有直磁轴的三维MHD平衡显式解. 其他方法涉及不连续压强和电流片, 或在轴对称基础上进行线性化小扰动处理.

本文旨在填补这一空白, 提出完全非轴对称、光滑、有限长径比的解析环面MHD平衡解, 这些解具有精确的嵌套通量面和零旋转转换度. 所有量都是光滑的, 且压强梯度仅在磁轴处消失. 这些解具有仿星器对称性(stellarator-symmetric), 即绕x轴旋转 $\pi$ 不变, 且具有两个场周期(绕z轴旋转 $\pi$ 不变). 文章给出了两组不同的解族: 第一组具有闭合磁力线, 处处 $\iota=2$; 第二组具有剪切(sheared)的旋转转换度剖面. 这两组解均通过长径比和非轴对称偏离程度参数化, 并连续连接至轴对称极限.

2. 主要定理或主要结果

本文主要贡献是构造了两类显式的、非轴对称的、具有嵌套环面通量面的三维MHD平衡解析解. 这些解同时等价于稳态不可压缩欧拉流.

结果一: 整数旋转转换度 $\iota=2$ 的解族 (第2节) 作者定义参数 $0 < \epsilon < 1$, $a = \sqrt{1+\epsilon}$, $b = \sqrt{1-\epsilon}$. 磁场 $\mathbf{B}$ 在笛卡尔坐标下由以下公式给出:

$$ \mathbf{B} = \left( \frac{2zx - (a/b)Fy}{s}, \frac{2zy + (b/a)Fx}{s}, 1 - s \right) $$

其中 $s = \frac{x^2}{a^2} + \frac{y^2}{b^2}$, $F = \sqrt{1 - (1-s)^2 - 4z^2} > 0$. 通量标签 $\psi$ 和压强 $p$ 定义为:

$$ \psi = \frac{H - 1 + \epsilon^2/2}{2} = \frac{x^2 + y^2 + 4z^2 + |\mathbf{B}|^2 - 2 + \epsilon^2}{4}, $$

$$ p = p_a - 2\psi, $$

其中 $H = Q + \frac{|\mathbf{B}|^2}{2}$, $Q = \frac{x^2+y^2+4z^2}{2}$, $p_a$ 为任意常数.

作者证明该解满足:

  1. 无散性: $\nabla \cdot \mathbf{B} = 0$.
  2. 力平衡: $(\nabla \times \mathbf{B}) \times \mathbf{B} = \nabla p$.
  3. 不变面: $\mathbf{B} \cdot \nabla \psi = 0$.
  4. 旋转转换度: 在整个域内 $\iota = 2$. 具体地, 沿一条磁力线绕行一周时, 方位角变化 $\Delta \phi = 2\pi$, 极角变化 $\Delta \theta = 4\pi$.
  5. 光滑性: 在定义域 $U_\epsilon$ 内, 磁场、电流密度和压强均为光滑函数. 压强梯度仅在磁轴($\psi=0$)处消失.
  6. 轴对称极限: 当 $\epsilon \to 0$ 时, 解连续过渡到轴对称解, 其形式符合Solov’ev (1968) 的多项式解.

结果二: 具有剪切旋转转换度的解族 (第3节) 作者引入了更复杂的复数变量构造. 定义 $\omega = x+iy$, $K = \bar{\omega}\sqrt{1+\epsilon/\bar{\omega}^2}$, $\Xi = \omega K + \pi/2 - S$. 磁场分量为:

$$ B_x = \text{Re}\left(\frac{i e^{-i\lambda z}}{2K} \sin \Xi\right), $$

$$ B_y = \text{Im}\left(\frac{i e^{-i\lambda z}}{2K} \sin \Xi\right), $$

$$ B_z = \frac{1}{\lambda} \text{Re}(e^{-i\lambda z} \cos \Xi). $$

通量标签和压强为:

$$ \psi = \frac{1}{2} \left[ \sin^2(\lambda z) + \left(\text{Re}(e^{-i\lambda z} \cos \Xi)\right)^2 \right], $$

$$ p = p_a - \frac{1}{\lambda^2} \psi. $$

作者证明该解同样满足MHD平衡方程, 且具有以下特性:

  1. 剪切旋转转换度: 旋转转换度 $\iota(\psi)$ 随通量面变化. 在磁轴上, $\iota(0) = h_0 H(\epsilon)$, 其中 $h_0 = \sqrt{4S^2+\epsilon^2}$, $H(\epsilon)$ 是一个依赖于 $\epsilon$ 的积分.
  2. 平面椭圆磁轴: 磁轴是一个位于 $z=0$ 平面的椭圆, 半轴长为 $a_c(S)$ 和 $b_c(S)$.
  3. 光滑性: 在避开奇点区域($x=0, |y| \le \sqrt{\epsilon}$)的环面域内, 所有量均为光滑.
  4. 参数依赖性: 参数 $\lambda$ 控制通量面的垂直尺寸和压强尺度, 但不影响旋转转换度剖面; 参数 $S$ 和 $\epsilon$ 影响磁轴形状和转换度大小.

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

本文的核心创新在于构造了一组特殊的"变形"映射, 将已知的轴对称解变换为非轴对称解, 同时保持MHD平衡方程的结构不变. 这种方法避免了直接求解非线性PDE组的困难.

1. 基于拉伸变换的构造 (针对 $\iota=2$ 解族) 作者的关键洞察是发现了一个轴对称参考场 $\mathbf{B}_0$, 其满足特殊性质:

$$ (\mathbf{B}_0 \cdot \nabla) \mathbf{B}_0 = -D \mathbf{x}, $$

其中 $D = \text{diag}(1, 1, 4)$ 是一个对角矩阵. 这个性质使得可以通过一个常对角矩阵 $A = \text{diag}(a, b, 1)$ 对空间坐标进行各向异性拉伸, 从而得到新的三维场:

$$ \mathbf{B}(\mathbf{x}) = A \mathbf{B}_0(A^{-1} \mathbf{x}). $$

由于 $A$ 是常数矩阵, 散度保持不变 ($\nabla \cdot \mathbf{B} = 0$). 更重要的是, 由于 $A$ 与 $D$ 可交换, 磁力线张力项也保持了简单的形式:

$$ \mathbf{B} \cdot \nabla \mathbf{B} = A [\mathbf{B}_0 \cdot \nabla \mathbf{B}_0](A^{-1} \mathbf{x}) = -ADA^{-1} \mathbf{x} = -D \mathbf{x} = -\nabla Q. $$

这使得压力梯度 $\nabla p = -\nabla H$ 能够精确抵消磁力线张力, 从而保证力平衡. 这种方法将复杂的三维问题简化为一维振荡子问题, 因为沿磁力线的运动方程变为:

$$ \ddot{x} = -x, \quad \ddot{y} = -y, \quad \ddot{z} = -4z. $$

这允许作者显式写出磁力线参数方程, 进而确定通量面形状和旋转转换度.

2. 复数分析与椭圆坐标 (针对剪切 $\iota$ 解族) 对于第二组解, 作者采用了更为精巧的复数分析方法. 通过引入复变量 $\omega = x+iy$ 和辅助函数 $K(\omega)$, 作者将水平方向的磁场分量表示为一个复函数的实部和虚部:

$$ B_x + i B_y = e^{-i\lambda z} W, $$

其中 $W = \frac{i \sin \Xi}{2K}$. 关键在于选择 $K$ 使得其满足特定的偏导数关系, 从而保证无散性 $\nabla \cdot \mathbf{B} = 0$. 具体来说, 作者利用了 $\partial_{\bar{\omega}} K = \bar{\omega}/K$ 的性质, 使得水平散度 $\partial_x B_x + \partial_y B_y$ 恰好被垂直分量 $B_z$ 的 $z$ 导数所抵消.

为了验证力平衡, 作者计算了磁力线张力 $\mathbf{B} \cdot \nabla \mathbf{B}$. 这里使用了复杂的链式法则和复数微积分技巧. 例如, 水平张力分量被证明等于 $\nabla(|W|^2/2)$ 的水平部分, 而垂直分量则涉及 $\sin(\lambda z)\cos(\lambda z)$ 项. 最终, 作者构造了一个Bernoulli函数 $H = Q + |\mathbf{B}|^2/2$, 使其梯度正好等于 $-\nabla Q$, 从而满足平衡方程.

3. 通量面与坐标系的显式构造 对于两组解, 作者都显式构造了通量面的参数化表示. 在第一组解中, 通量面由 $(u, v)$ 平面中的圆映射到物理空间得到, 其中 $u, v$ 是沿磁力线运动的守恒量(类似于作用量). 在第二组解中, 通量面由 $(X, Y)$ 平面中的圆映射得到, 其中 $X = \lambda B_z$, $Y = -\sin(\lambda z)$. 作者详细推导了从通量面坐标到笛卡尔坐标的映射, 并计算了Jacobian行列式, 证明其在整个定义域内非零, 从而保证了坐标的正则性和通量面的嵌套结构.

4. 旋转转换度的严格计算 作者没有依赖数值模拟, 而是通过解析方法严格计算了旋转转换度. 对于第一组解, 利用了磁力线在 $xy$ 平面上的投影为椭圆的性质, 结合极角定义的连续性, 证明了 $\iota$ 恒为整数2. 对于第二组解, 作者推导了极角 $\chi$ 和方位角 $\zeta$ 的变化率之比:

$$ \frac{d\chi}{d\zeta} = \frac{2G(\sigma, \zeta)}{\sqrt{1-k^2 \sin^2 \chi} \sqrt{\cosh^2 \nu(\zeta) - k^2}}, $$

并通过取长时间平均得到 $\iota(\psi)$ 的表达式. 特别地, 在磁轴上, 作者通过积分计算出了 $\iota(0)$ 的精确值, 揭示了其与参数 $\epsilon$ 和 $S$ 的依赖关系.

4. 与之前工作的比较

本文工作与既有文献相比, 在多个维度上实现了显著推进, 同时也存在一些局限.

1. 对Grad猜想的反驳与完善 Grad (1967, 1985) 曾猜想, 除了轴对称等特殊情况外, 不存在具有光滑非恒定压强的通用环面平衡解族. 本文通过构造两组显式的、非轴对称的、具有光滑压强的解族, 直接反驳了这一猜想的严格表述. 特别是, 这些解不仅存在, 而且可以参数化, 形成了连续的解族, 这与Grad所说的"依赖于参数的光滑解族不存在"相矛盾. 然而, 需要注意的是, 本文的解具有仿星器对称性(绕x轴旋转 $\pi$), 这可能被视为一种弱对称性. 如果Grad的猜想被解释为排除任何离散对称性, 那么本文的结果可能需要重新审视其适用范围. 但从一般意义上讲, 这些解是非轴对称的, 因此构成了Grad猜想的反例.

2. 与Lortz (1970) 工作的比较 Lortz证明了有限长径比非对称环面平衡的存在性, 但其工作有两个重要限制: 一是要求镜像反射对称性, 二是旋转转换度 $\iota=0$. $\iota=0$ 意味着磁力线是闭合的且不缠绕磁轴, 这在物理上无法实现有效的磁约束, 因为粒子会迅速离开等离子体. 此外, Lortz的工作仅提供了存在性证明(通过迭代收敛), 而未给出具体的显式解. 相比之下, 本文的解具有非零的旋转转换度($\iota=2$ 或剪切 $\iota$), 这对于磁约束至关重要. 同时, 本文提供了完全显式的解析公式, 可以直接用于数值代码的测试和理论分析. 尽管本文的解也具有某种对称性(仿星器对称), 但它不需要镜像反射对称性, 因此在物理上更具相关性.

3. 与Drivas et al. (2025) 工作的比较 Drivas et al. 在周期性圆柱几何中构造了非对称稳态欧拉流, 这些流具有闭合轨迹. 虽然欧拉流与MHD平衡在数学上是同构的(将速度视为磁场), 但周期性圆柱几何与真实的环面几何有本质区别. 在圆柱几何中, “环面"是通过周期性边界条件实现的, 而本文的解是在真正的环面拓扑空间中构造的, 具有明确的内外边界和磁轴. 因此, 本文的结果更直接地适用于聚变装置的物理背景.

4. 与Kaiser & Salat (1997) 工作的比较 Kaiser & Salat 获得了具有直磁轴的三维MHD平衡显式解. 直磁轴是一个较强的对称性假设, 限制了解的一般性. 本文的第一组解具有非平面磁轴(磁轴在z方向上有振荡), 第二组解具有平面椭圆磁轴. 这两种情况都比直磁轴更一般, 更接近实际的仿星器设计. 此外, 本文的解族通过参数连续连接到轴对称极限, 这为研究非轴对称效应的渐近行为提供了便利.

5. 与近似方法的比较 许多先前工作使用高长径比展开或线性化扰动来近似非轴对称效应. 例如, Garren & Boozer (1991) 和 Plunk (2020) 等方法依赖于小参数展开. 本文的解是完全非微扰的(exact), 不依赖于任何小参数展开. 这意味着它们可以在较大的非轴对称偏离下保持有效性, 只要定义域内的解析性条件得到满足. 这对于研究强非轴对称仿星器的平衡特性非常重要.

6. 局限性与代价 尽管本文的解在数学上是精确的, 但它们具有一些特定的结构特征, 可能限制了其物理适用性. 首先, 两组解都具有仿星器对称性, 这可能不是所有仿星器设计所追求的. 其次, 第一组解的旋转转换度恒为2, 这是一个整数, 可能导致共振不稳定性的增强. 第二组解虽然具有剪切转换度, 但其剖面形式是由构造方法决定的, 可能不能覆盖所有物理上感兴趣的剖面. 最后, 这些解的压强剖面是简单的二次函数($p \propto \psi$ 或 $p \propto \psi^{1/2}$), 而实际等离子体的压强剖面通常更加复杂. 因此, 这些解的主要价值在于作为基准解(benchmark solutions)用于测试数值代码, 以及作为理解三维平衡存在性的理论范例, 而不是直接描述具体的聚变装置.


3. 五维及以上横截界条件下定常 Navier-Stokes 解的刚性

Rigidity of Stationary Navier-Stokes Solutions with Transverse bound in Dimensions Five and Higher

作者: Changfeng Gui, Hao Liu, Yun Wang, Chunjing Xie

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26323v1

摘要翻译: 设 $n\geq5$,令 $(u,p)$ 为 $\\R^n\\setminus\\{x'=0\\}$ 中定常不可压缩 Navier-Stokes 方程的光滑解,其中 $\\{x'=0\\}$ 是 $x_n$-轴。我们证明了尺度不变的横截界条件 $|u(x)|\\leq C |x'|^{-1}$ 迫使 $u\\equiv0$。这一结果依赖于一个定量局部正则性定理,该定理表明横截界条件可在较小的球内对 $u$ 和 $\\nabla u$ 施加一致控制,从而消除沿轴的潜在奇异性。证明综合运用了跨轴的弱延拓、伴随漂移算子的近似 Green 函数、总头压的单侧界、局部化的 Frehse-Růžička 加权估计以及有限 Stokes-Morrey 自举方法。在任意大尺度上应用该局部定理可得到全空间的刚性和线奇异性的可去性。结合 [1] 中外部域上在条件 $|u(x)|\\leq C |x|^{-1}$ 下的渐近展开,我们得到了在条件 $|u(x)|\\leq C |x'|^{-1}$ 下外部域的相同展开式。

Comment: 无

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

1. 研究对象和背景

本文研究的是高维空间($n \geq 5$)中稳态不可压缩 Navier-Stokes 方程在包含奇异线(即 $x_n$ 轴)的区域中的刚性问题。具体而言,考虑定义在 $\mathbb{R}^n \setminus \{x'=0\}$ 上的光滑解 $(u, p)$,其中 $x = (x', x_n) \in \mathbb{R}^n$,且 $\{x'=0\}$ 表示 $x_n$ 轴。Navier-Stokes 方程组为:

$$ \begin{cases} -\Delta u + (u \cdot \nabla)u + \nabla p = 0, \\ \text{div } u = 0. \end{cases} $$

该方程系统具有尺度不变性:若 $(u, p)$ 是解,则 $(\lambda u(\lambda x), \lambda^2 p(\lambda x))$ 也是解,对于任意 $\lambda > 0$。这一性质使得研究满足尺度不变界的解变得尤为重要。

在低维情况($n=2,3$)中,存在非平凡的自相似解。例如,在 $n=2$ 中有 Jeffery-Hamel 解,而在 $n=3$ 中 Landau 发现了与点力相关的 $(-1)$-齐次轴对称解。然而,在高维情况($n \geq 4$)中,任何光滑的 $(-1)$-齐次解都是平凡的。Bang, Gui, Liu, Wang, 和 Xie [1] 最近解决了各向同性类 $|u(x)| \leq C/|x|$ 的刚性问题,证明了对于 $n \geq 4$,如果解满足该界,则 $u \equiv 0$。

本文关注的是一种更弱的条件,即横向界定:

$$ |u(x)| \leq \frac{C}{|x'|}, \quad x \in \mathbb{R}^n \setminus \{x'=0\}. $$

这种界定允许解在轴的每个点附近以 $|x'|^{-1}$ 增长,但在轴向方向上没有限制。这与孤立奇点的设定有本质不同,因为这里的潜在奇异集是一维的直线而非孤立点。仅凭横向界定,我们只能得到 $u \in L^q_{loc}$ 对于所有 $q < n-1$ 成立,且在轴附近的积分性质较弱。

本文试图填补的空白是证明在这种较弱的横向界定条件下,稳态 Navier-Stokes 方程的解是否仍然具有刚性,即是否必然为零。这一问题的重要性在于它扩展了已知刚性结果的范围,并提供了关于线性奇异性的可去性定理。

2. 主要定理或主要结果

本文的主要结果可以概括如下:

定理 1.2: 设 $n \geq 5$,$(u, p)$ 是 $\mathbb{R}^n \setminus \{x'=0\}$ 中 Navier-Stokes 方程的光滑解,且满足横向界定 $|u(x)| \leq C/|x'|$。则 $u \equiv 0$。

这一结果的维度限制是锐利的。在三维和四维中,Landau 解提供了反例,说明横向刚性陈述在这些维度下不成立。

为了证明上述全局刚性,作者首先建立了一个定量的局部正则性定理:

定理 1.3 (定量局部正则性): 设 $n \geq 5$,$(u, p)$ 是 $B_1 \setminus \{x'=0\}$ 中 Navier-Stokes 方程的光滑解,且满足 $|u(x)| \leq M/|x'|$。则 $(u, p)$ 可以光滑地延拓到 $B_{1/128}$ 中,并且满足以下估计:

$$ \|u\|_{L^\infty(B_{1/128})} + \|\nabla u\|_{L^\infty(B_{1/128})} \leq C(n, M). $$

此外,作为推论,作者还得到了沿部分直线的可去奇性定理以及在外部域中的渐近展开。具体而言,如果 $\Sigma$ 包含在 $x_n$ 轴上,$(u, p)$ 在 $\Sigma$ 外光滑,且局部满足 $|u(x)| \leq C/\text{dist}(x, \Sigma)$,则对于 $n \geq 5$,$(u, p)$ 可以光滑地延拓穿过 $\Sigma$。在外部域中,如果解在足够大的 $|x|$ 处满足横向界定,则可以升级至各向同性界定 $|u(x)| \leq C/|x|$,从而应用 Bang-Gui-Liu-Wang-Xie [1] 的结果得到渐近展开:

$$ u_i(x) = b_j G_{ij}(x) + O(|x|^{1-n}), \quad |x| \to \infty, $$

其中 $G_{ij}$ 是 Stokes Green 张量,$b$ 是 Navier-Stokes 应力张量通过大球面的守恒通量。

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

证明的核心困难在于形式不等式 $-\Delta H + u \cdot \nabla H \leq 0$ 最初不能直接应用于可能奇异的轴。作者通过以下步骤组织证明:

步骤 1: 尺度不变的局部控制。横向界定给出了 $u$ 的导数和适当归一化压力的逐点估计。通过截断论证,作者得到了有限的局部能量、Navier-Stokes 方程在轴上的弱延拓以及局部能量恒等式。具体来说,利用极坐标下的 Hardy 不等式和 Sobolev 嵌入,证明了 $u \in W^{1,2}(B_4)$ 和 $u \in L^4(B_4)$,这对于 $n \geq 5$ 至关重要。特别是,在临界维度 $n=5$ 中,需要特别小心处理横向 Hardy 估计。

步骤 2: 总压头估计。遵循 Frehse 和 Růžička [7] 的方法,作者构造了伴随漂移算子 $-\Delta - u_k \cdot \nabla$ 的近似 Green 函数。通过将总压头方程与局部化的 Green 函数进行检验,得到了总压头的正部 $H^+$ 在 $L^\infty(B_1)$ 中的界,其范数仅由 $n$ 和横向界定中的常数控制。

步骤 3: 局部正则性。一个局部化的 Frehse-Růžička 估计将 $H^+ \in L^\infty(B_1)$ 转化为 $\nabla u$ 的 Morrey 界。随后,通过有限步的 Stokes-Morrey 引导过程,得到了工作尺度上的估计。固定重标度后,证明了定理 1.3 中的局部正则性结果。

步骤 4: 全局和几何后果。对于全空间解,局部定理可以在任意大的尺度上应用。利用 $B_8$ 尺度形式,对于固定的 $x$,当 $R > 16|x|$ 时,可以得到 $|u(x)| \leq C/R$;令 $R \to \infty$ 即得 $u(x) = 0$。通过平移和重标度局部定理,得到了轴上的可去奇性,而相同估计在大球两极附近的应用则得到了外部衰减所需的渐近展开。

关键技术包括:

  • 弱延拓技术:通过引入横向截断函数 $\chi_\epsilon(r)$,逐步移除轴附近的奇异性,并利用单调收敛定理证明 $u \in W^{1,2}$。
  • Hardy 不等式:在临界维度 $n=5$ 中,利用 $n-1$ 个横向变量上的 Hardy 不等式来证明 $u \in L^4$。
  • Green 函数构造:构造伴随漂移算子的近似 Green 函数,并通过精细的估计获得总压头的 $L^\infty$ 界。
  • Morrey 引导:利用 Stokes 系统的正则性理论,从 $H^+ \in L^\infty$ 出发,逐步提升 $u$ 的正则性。

4. 与之前工作的比较

与已有工作的比较可以从以下几个方面展开:

  1. 与孤立奇点问题的比较:Kim 和 Kozono [12] 证明了对于 $n \geq 3$,如果孤立奇点处的速度场满足 $u \in L^n$ 或 $|u(x)| = o(|x|^{-1})$,则该奇点是可去的。Bang, Gui, Liu, Wang, 和 Xie [1] 进一步证明了在 $n \geq 4$ 中,临界逐点界 $|u(x)| = O(|x|^{-1})$ 已经足以保证孤立奇点的可去性。相比之下,本文处理的是线性奇性而非孤立奇点,并且使用的条件是更弱的横向界定 $|u(x)| \leq C/|x'|$。这意味着本文的结果涵盖了更广泛的奇异结构,但同时也带来了更大的技术挑战,因为奇异集不再是孤立的。

  2. 与各向同性刚性结果的比较:Bang, Gui, Liu, Wang, 和 Xie [1] 证明了在 $n \geq 4$ 中,满足各向同性界 $|u(x)| \leq C/|x|$ 的稳态 Navier-Stokes 方程解必然是零。本文的结果可以看作是该定理在更弱条件下的推广,即只要求横向界定 $|u(x)| \leq C/|x'|$。然而,这一推广仅在 $n \geq 5$ 中成立,因为在 $n=4$ 中存在反例(如 Landau 解的平凡延拓)。这表明维度限制在此类问题中起着关键作用。

  3. 与 Chen, Wang, Wang, Yang, 和 Yu [2] 工作的比较:Chen 等人 [2] 在五维空间中证明了在临界 Morrey 条件 $\sup_{R>0} R^{-2} \int_{B_R} |u|^3 dx < \infty$ 下稳态 Navier-Stokes 方程解的刚性。这一结果推广了 [1] 在五维中的结论,并且还得到了在尺度不变能量或有界三次 Morrey 控制下的孤立奇点可去性判据。相比之下,本文使用的是点态的横向界定,而不是积分型的 Morrey 条件。这两种方法各有优劣:点态条件更容易验证,但适用范围可能较窄;而积分型条件虽然更抽象,但可能在某些情况下更具灵活性。

  4. 与 Li, Li, 和 Yan [14] 工作的比较:Li, Li, 和 Yan [14] 研究了射线上局部 $(-1)$-齐次解的可去奇性问题,并建立了尖锐的判据。本文的结果可以视为对这一工作的补充,因为它不仅处理了局部齐次解,而且适用于更一般的满足横向界定的解。此外,本文还得到了外部域中的渐近展开,这是 Li 等人工作中未涉及的内容。

总体而言,本文的主要贡献在于将刚性结果从各向同性界推广到更弱的横向界定,并在高维空间中证明了线性奇性的可去性。这一进展不仅丰富了稳态 Navier-Stokes 方程的理论,也为理解高维流体力学中的奇异现象提供了新的工具。


4. 白噪声时不变流中被动标量的 Lyapunov 指数

Lyapunov Exponents for Passive Scalars in White-in-Time Flows

作者: Declan Stacy

类别: math.PR, math.AP, math.DS

发布日期: 2026-09-22

arXiv ID: 2609.26588v1

摘要翻译: 我们研究二维环面上由任意有限组无散度傅里叶模驱动的被动标量。我们证明,只要存在两个非平行的强迫模,当扩散率趋于零时,平流-扩散方程的指数 $L^2$ 耗散速率一致有界。否则,耗散速率可随初始数据任意快,但最大 Lyapunov 指数仍一致有下界。证明依赖于对一组依赖于强迫集合的有限模进行投影。我们的论证部分沿袭了 Chemnitz 和 Chemnitz 所研究的四模情形的结构,但使用了比他们 Frobenius 范数与算子范数之间的矩阵不等式严格更弱的条件。结合可达性论证,这使我们能够考虑任意强迫模集合和初始数据。

Comment: 无

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

1. 研究对象和背景

本文研究二维环面 $\mathbb{T}^2 = [-\pi, \pi]^2$ 上由白噪声时间(white-in-time)无散度傅里叶模驱动的被动标量方程. 具体地, 考虑如下随机偏微分方程 (SPDE):

$$ \partial_t \theta_t = \kappa \Delta \theta_t - u_t \cdot \nabla \theta_t, $$

其中 $\theta_t \in L_0^2(\mathbb{T}^2)$ 是均值为零的实值平方可积函数, $\kappa > 0$ 为扩散系数, $u_t: \mathbb{T}^2 \to \mathbb{R}^2$ 为无散度向量场 ($\partial_1 u_1 + \partial_2 u_2 = 0$). 物理上, $\theta_t(x)$ 可以视为流体中温度偏差等标量量, $u_t$ 则是推动流体的速度场.

在数学建模中, 作者假设 $u_t$ 在时间上是白噪声, 在空间上是光滑的. 具体形式为:

$$ d\theta_t(x) = \kappa \Delta \theta_t(x) dt + \sum_{k \in I} \sigma_k e^{ik \cdot x} k^\perp \cdot \nabla \theta_t(x) \circ dW_t^k, $$

其中 $I \subset \mathbb{Z}^2 \setminus \{0\}$ 是一个非空有限对称集 ($k \in I \iff -k \in I$), $W_t^k$ 是复布朗运动且满足 $[W^k, W^\ell]_t = t \mathbf{1}_{k=-\ell}$, 常数 $\sigma_k \in \mathbb{R} \setminus \{0\}$ 满足 $\sigma_k = -\sigma_{-k}$ 以保证解的实值性, $k^\perp = (k_2, -k_1)$, $\circ$ 表示 Stratonovich 积分.

该问题与 Batchelor 尺度猜想密切相关. 猜想指出, 在稳态下, 傅里叶质量分布 $|\hat{\theta}_t(k)|^2$ 大致满足 $|\hat{\theta}_t(k)|^2 \sim |k|^{-2}$ 对于 $|k| \leq \kappa^{-1/2}$. 这一猜想的另一等价表述涉及 $L^2$ 范数的指数衰减率, 即李雅普诺夫指数:

$$ \lambda_\kappa := \lambda_\kappa(\theta_0) := \lim_{t \to \infty} \frac{1}{t} \ln \|\theta_t\|_{L^2}, $$

其存在性与初值 $\theta_0$ 有关. 通过链式法则可得:

$$ \ln \|\theta_t\|_{L^2} = \ln \|\theta_0\|_{L^2} - \kappa \int_0^t \frac{\|\nabla \theta_s\|_{L^2}^2}{\|\theta_s\|_{L^2}^2} ds, $$

其中 $\frac{\|\nabla \theta_s\|_{L^2}^2}{\|\theta_s\|_{L^2}^2} = \frac{\sum_{k \in \mathbb{Z}^2} |k|^2 |\hat{\theta}_s(k)|^2}{\sum_{k \in \mathbb{Z}^2} |\hat{\theta}_s(k)|^2}$. 如果大部分傅里叶质量集中在 $|k| \sim \kappa^{-1/2}$ 的模式上, 则预期 $-\lambda_\kappa \asymp 1$, 即耗散率不随 $\kappa \to 0$ 而趋于无穷.

已有文献中, 关于 $\lambda_\kappa$ 的一致上界 (即 $\lambda_\kappa \leq -C$) 已在多种驱动场下得到证明 [BBPS21, GY25]. 然而, 一致下界 ($\lambda_\kappa \geq -C$) 的研究较少. 特别地, [HPSRY24] 证明了 $\lambda_\kappa > -\infty$, 但其下界随 $\kappa \to 0$ 趋于 $-\infty$. 最近, Chemnitz 和 Chemnitz ([CC26]) 在极其特定的驱动模式选择下 ($I = \{\pm(1,0), \pm(0,1)\}$) 证明了 $\lambda_\kappa$ 的一致下界. 他们的证明依赖于一个关于 Frobenius 范数与算子范数之间矩阵不等式的代数条件, 且指出寻找其他满足该条件的模式集非常困难.

本文旨在推广 [CC26] 的结果, 将一致下界的结论扩展到任意有限对称驱动模式集 $I$ 和任意非零初值 $\theta_0$. 关键挑战在于, 当 $I$ 不同时, [CC26] 中的代数条件可能不再成立. 作者通过引入依赖于驱动集和初值的投影算子, 并推导出一个严格弱化的代数条件, 结合可达性论证, 成功解决了这一问题.

2. 主要定理或主要结果

本文的主要结果概括在定理 1.1 中. 设 $I \subset \mathbb{Z}^2 \setminus \{0\}$ 为任意非空有限对称集. 则存在常数 $C > 0$ (仅依赖于 $I$ 和 $\sigma_k$), 使得对所有 $\kappa \in (0, 1]$ 和非零初值 $\theta_0 \in L_0^2(\mathbb{T}^2)$, 方程 (1.5) 的解满足:

  1. 情形一: $I$ 包含两个非平行向量

    $$ \lambda_\kappa(\theta_0) \geq -C \quad \text{a.s.} $$

    这意味着耗散率 $-\lambda_\kappa$ 被一致有界, 不随 $\kappa \to 0$ 而发散.

  2. 情形二: $I$ 不包含两个非平行向量 此时 $\text{Span}_{\mathbb{Z}}(I) = q\mathbb{Z}$ 对某个 $q \in \mathbb{Z}^2 \setminus \{0\}$. 记 $\text{supp}\, \hat{\theta}_0 = \{ n \in \mathbb{Z}^2 \setminus \{0\} \mid \hat{\theta}_0(n) \neq 0 \}$. 则:

    $$ \lambda_\kappa(\theta_0) \geq -\inf \left( \left\{ C(q^\perp \cdot n)^2 \;\middle|\; n \in \text{supp}\, \hat{\theta}_0 \text{ and } q^\perp \cdot n \neq 0 \right\} \cup \left\{ \kappa |n|^2 \;\middle|\; n \in \text{supp}\, \hat{\theta}_0 \text{ and } q^\perp \cdot n = 0 \right\} \right) \quad \text{a.s.} $$

解释与备注:

  • 在情形二中, 若初值的傅里叶支撑集 $\text{supp}\, \hat{\theta}_0$ 位于直线 $\pm n + q\mathbb{Z}$ 上且 $q^\perp \cdot n \neq 0$, 则耗散率由 $(q^\perp \cdot n)^2$ 控制. 这反映了傅里叶质量最终会沿这些直线分布, 并在最小模长 $m$ 处积累足够的质量, 使得耗散率与 $|m|^2 \sim (q^\perp \cdot m)^2$ 可比.
  • 若 $\text{supp}\, \hat{\theta}_0 = \{\pm n\}$ 且 $q^\perp \cdot n = 0$ (即 $n + q\mathbb{Z} \subset q\mathbb{R}$), 则傅里叶质量不会分布, 耗散率为 $\kappa |n|^2$. 此时 $\lambda_\kappa$ 可以任意负 (随 $\kappa \to 0$), 因此无法将定理 1.1 加强为对所有 $I$ 都有 $\lambda_\kappa \geq -C$.
  • 定理 1.1 还蕴含顶李雅普诺夫指数 (top Lyapunov exponent) 的一致下界. 具体地, 顶李雅普诺夫指数定义为 $\lim_{t \to \infty} \frac{1}{t} \ln \|\Phi(t, \omega)\|$ (其中 $\Phi(t, \omega)$ 见附录 A.2), 其下界为 $-C$ (在情形二中更精确地为 $-C|q|^2$).
  • 若施加额外条件 $\text{Span}_{\mathbb{Z}}(I) = \mathbb{Z}^2$, 则存在更简单的证明方法 (见备注 2.5), 但该方法不适用于一般 $I$ (例如 $I = \{\pm(2,0), \pm(0,2)\}$), 因为它要求初值在 $\text{Span}_{\mathbb{Z}}(I)$ 中有非零分量, 而定理 1.1 针对任意初值.

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

证明的核心在于构造一个依赖于驱动集 $I$ 和初值 $\theta_0$ 的投影算子, 并推导出一个弱于 [CC26] 中条件的代数不等式. 主要技术步骤如下:

1. 投影算子的构造与关键估计 (Lemma 2.1 & 2.3) 作者定义了一类集合 $S$:

$$ S := \left\{ \pm m + \sum_{k \in I} a_k k \;\middle|\; a_k \in \{0, 1\} \right\} \setminus \{0\}, $$

其中 $m \in \mathbb{Z}^2$. 目标是证明如下定量下界:

$$ \lambda_\kappa(\theta_0) \geq -\sup_{n \in S} \left( \kappa |n|^2 + \frac{1}{2} \sum_{k \in I} \sigma_k^2 (k^\perp \cdot n)^2 \right) \quad \text{a.s.} $$

前提是 $S \cap \text{supp}\, \hat{\theta}_0$ 非空.

证明的关键是 Lemma 2.3, 它断言对于所有 $v \in H$ 且 $P_S v \neq 0$, Itô 公式中的第二项非负:

$$ \|P_S v\|^2 \|\tilde{A}(v)\|_{Fr}^2 \geq 2 \|\tilde{A}(v)^* P_S v\|^2. $$

这里 $P_S$ 是从 $H$ 到 $H_S$ 的投影, $\tilde{A}(v) = P_S A(v)$, $\|\cdot\|_{Fr}$ 是 Frobenius 范数.

创新点: [CC26] 使用的是更强的 Frobenius/算子范数条件 $\|\tilde{A}(v)\|_{Fr}^2 \geq 2 \|\tilde{A}(v)\|_{op}^2$, 这对所有 $w \in H_S$ 控制 $\|\tilde{A}(v)^* w\|$. 作者证明了一个严格弱化的条件, 仅针对特定向量 $w = P_S v$ 成立. 通过分解 $\tilde{A}(v) = A_1(v) + A_2(v)$, 其中 $A_1(v)$ 仅在 $n-k \notin S$ 时非零, $A_2(v)$ 仅在 $n-k \in S$ 时非零, 作者利用 $A_2(v)^* P_S v = 0$ 的性质 (通过替换变量 $n \to -n$ 和 $n \to n-k$ 并利用对称性证明), 以及 Lemma 2.2 提供的组合性质 ($n-k \notin S$ 且 $k^\perp \cdot n \neq 0 \implies n+k \in S$), 证明了弱化不等式成立.

2. 可达性论证 (Lemma 3.1 & 3.2) 为了应用 Lemma 2.1, 需要选择 $m$ 使得 $S \cap \text{supp}\, \hat{\theta}_0$ 非空. 直接选择 $m \in \text{supp}\, \hat{\theta}_0$ 会导致下界依赖 $\kappa |m|^2$, 从而失去一致性. 作者引入了图论概念: 定义无向图, 顶点为 $\mathbb{Z}^2 \setminus \{0\}$, 边集为 $E = \{(n, n+k) \mid n \in \mathbb{Z}^2 \setminus \{0\}, k \in I, k^\perp \cdot n \neq 0\}$. 令 $R(n)$ 为包含 $n$ 的连通分量.

Lemma 3.1 证明了对所有 $n \in \text{supp}\, \hat{\theta}_0$ 和 $m \in R(n)$, 几乎必然有 $\tau_m = 0$, 其中 $\tau_m = \inf \{ t \geq 0 \mid m \in \text{supp}\, \theta_t \}$. 这意味着傅里叶质量可以从初值支撑集中的任何模式 $n$ 传播到其连通分量 $R(n)$ 中的所有模式 $m$. 证明利用了连续局部鞅的性质: 若 $v_m(0) = 0$ 但 $v_n(0) \neq 0$ 且 $(n, m) \in E$, 则 $N_t = e^{c_{\kappa, m} t} v_m(t)$ 是一个二次变差几乎处处正的连续局部鞅, 因此不能恒为零.

Lemma 3.2 刻画了 $R(n)$: 若 $\text{Span}_{\mathbb{Z}}(I) = q\mathbb{Z}$ 且 $q^\perp \cdot n = 0$, 则 $R(n) = \{n\}$; 否则 $R(n) = (n + \text{Span}_{\mathbb{Z}}(I)) \setminus \{0\}$. 这解释了为何在情形二中, 当 $q^\perp \cdot n = 0$ 时质量无法分布, 而当 $q^\perp \cdot n \neq 0$ 时质量可以在整个陪集上分布.

3. 综合证明

  • 情形一: 由于 $I$ 包含两个非平行向量, $\text{Span}_{\mathbb{Z}}(I)$ 是 $\mathbb{Z}^2$ 的有限指数子群, 因此陪集有限. 可以选择有限个代表元 $m_1, \dots, m_N$ 使得每个 $R(n)$ 都与某个 $m_j$ 相交. 由 Lemma 3.1, 几乎必然在有限时间内到达某个 $m_j$, 然后应用 Lemma 2.1 得到一致下界.
  • 情形二: 若 $q^\perp \cdot n = 0$, 则 $R(n) = \{n\}$, 质量不分布, 耗散率为 $\kappa |n|^2$. 若 $q^\perp \cdot n \neq 0$, 则 $R(n) = n + q\mathbb{Z}$. 选择 $m \in R(n)$ 最小化 $|m|^2$, 则 $|m|^2 \lesssim (q^\perp \cdot n)^2$. 应用 Lemma 2.1 得到 $\lambda_\kappa \geq -C(q^\perp \cdot n)^2$.

4. 极限定理 (Appendix A) 证明中使用了两个标准极限定理: Lemma A.1 关于连续局部鞅的 limsup 性质, 以及 Lemma A.2 关于乘性遍历定理的版本, 用于从 $\limsup$ 推导出 $\lim$ 的存在性.

4. 与之前工作的比较

本文与既有文献的主要区别和推进体现在以下几个方面:

1. 驱动模式集的通用性

  • [CC26] (Chemnitz & Chemnitz): 仅在极其特定的驱动模式集 $I = \{\pm(1,0), \pm(0,1)\}$ (以及 $\mathbb{T}^3$ 上的另一个例子) 下证明了一致下界. 他们的证明依赖于一个强代数条件 (Frobenius 范数与算子范数的不等式), 且明确指出寻找其他满足该条件的 $I$ 非常困难.
  • 本文: 将结果推广到任意非空有限对称集 $I$. 通过引入依赖于 $I$ 和初值的投影集 $S$, 并推导出一个严格弱化的代数条件, 作者克服了 [CC26] 中代数条件的限制. 这使得理论适用于更广泛的物理模型和数值模拟场景.

2. 初值的通用性

  • [CC26]: 要求初值 $\theta_0$ 不垂直于由 $I$ 张成的子空间. 这是一个较强的限制, 排除了许多可能的初值.
  • 本文: 定理 1.1 适用于任意非零初值 $\theta_0 \in L_0^2(\mathbb{T}^2)$. 这是通过可达性论证 (Lemma 3.1) 实现的, 它保证了傅里叶质量可以从初值支撑集传播到投影集 $S$ 中, 即使初值在某些模式下为零.

3. 下界的强度与适用范围

  • [HPSRY24]: 证明了 $\lambda_\kappa > -\infty$, 但下界随 $\kappa \to 0$ 趋于 $-\infty$. 这表明耗散率可能随扩散系数减小而加速, 但未给出一致界.
  • [BBPS21, GY25]: 证明了一致上界 $\lambda_\kappa \leq -C$, 即耗散率至少以指数速率发生. 但未提供一致下界.
  • 本文: 在 $I$ 包含两个非平行向量的情况下, 证明了一致下界 $\lambda_\kappa \geq -C$, 即耗散率被一致有界. 这与 Batchelor 尺度猜想的预测一致 (预期 $-\lambda_\kappa \asymp 1$). 在 $I$ 不包含两个非平行向量的情况下, 给出了依赖于初值和驱动方向的精细下界, 揭示了耗散率可能随 $\kappa \to 0$ 发散的机制 (当质量无法分布时).

4. 技术方法的创新

  • [CC26]: 使用固定的投影 (到 $I$ 张成的子空间) 和强代数条件.
  • 本文: 使用动态投影 (到依赖于 $I$ 和初值的集合 $S$) 和弱化代数条件. 弱化条件的关键在于只关注特定向量 $P_S v$ 而非所有向量, 这使得证明能够适应更复杂的模式结构. 此外, 可达性论证 (基于图论和鞅理论) 是处理任意初值的关键工具, 这在 [CC26] 中未出现.

5. 局限性与代价

  • 本文的下界在情形二中依赖于初值的傅里叶支撑集. 特别是, 当 $\text{Span}_{\mathbb{Z}}(I) = q\mathbb{Z}$ 且初值支撑在 $q^\perp \cdot n = 0$ 的模式上时, 耗散率为 $\kappa |n|^2$, 随 $\kappa \to 0$ 趋于零. 这意味着在这些特殊情况下, 无法获得一致下界. 这是物理上合理的, 因为缺乏足够的驱动方向来混合不同尺度的模式.
  • 证明较为复杂, 涉及多个引理的精细构造和组合分析. 特别是 Lemma 2.3 的证明需要仔细处理符号和对称性, 以确保弱化不等式成立.

总结: 本文显著推进了被动标量在白色时间流中李雅普诺夫指数的理论研究, 将一致下界的结论从极特殊的驱动模式推广到任意有限驱动模式, 并处理了任意初值. 这为理解 Batchelor 尺度猜想在更广泛模型中的有效性提供了重要基础.


5. 受粗糙输运噪声扰动的二维活性标量的异常性质

Anomalous properties of 2D active scalars perturbed by rough transport noise

作者: Lucio Galeati, Eliseo Luongo, Umberto Pappalettera

类别: math.AP, math.PR

发布日期: 2026-09-22

arXiv ID: 2609.25897v1

摘要翻译: 我们研究由 Kraichnan 型不可压输运噪声驱动的 $2$D 活性标量相关的随机偏微分方程 (SPDE),其正则性指数为 $α\in (0,1)$;我们的例子包括 Euler、SQG 和 IPM 系统。我们探讨在非线性设定中,一些在线性 Kraichnan 模型中已被充分理解的“湍流”现象学是否仍然成立,并且在趋于零的粘性近似中是否一致地成立。首先,对于 $α$ 的某些适当取值以及 $L^p_x$ 中的初值,我们在具有正则性 $β=β(α,p)>0$ 的合适端点 Besov 型空间中建立了异常正则化估计。值得注意的是,这些结果允许参数 $α,p$ 在某些缩放超临界情形下成立;另一方面,对于(亚)临界参数,我们恢复了与线性情形相同的正则性指数 $β=1-α$。其次,在(亚)临界情形下,我们进一步证明了异常可积性,即解在正时间处瞬时成为 $L^\infty_x$ 值的,且在粘性上一致成立;此外,在这种情况下,我们建立了无粘 SPDE 解的强存在性和逐路径唯一性,并且这些解作为唯一的趋于零的粘性极限被恢复。最后,在 $2$D Euler 情形下,对于 $α\in (0,1/2)$,我们建立了涡度的异常耗散和异常正则化的尖锐性。

Comment: 50 pages, 2 figures. All comments are welcome!

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

1. 研究对象和背景

本文研究由Kraichnan型不可压缩输运噪声驱动的二维非线性随机活性标量方程(SPDEs),其一般形式为:

$$ \begin{cases} d\theta + u \cdot \nabla \theta \, dt + \circ dW \cdot \nabla \theta = f \, dt, \\ u := R\theta, \\ \theta|_{t=0} = \theta_0 \in L^r_x \cap L^p_x, \\ f \in L^1_T(L^r_x \cap L^p_x), \end{cases} $$

其中 $R$ 是奇异积分算子,例如Biot-Savart算子 $R_{BS}$(对应Euler方程)、Calderón-Zygmund算子 $R_{CZ}$(对应SQG或IPM方程)。噪声 $dW$ 具有空间正则性指数 $\alpha \in (0,1)$。该模型旨在通过随机扰动模拟未解析的小尺度湍流对大尺度变量的影响。

在确定性PDE中,这类方程通常表现出不良适定性(ill-posedness)或在低正则性空间中缺乏唯一性。然而,在粗糙噪声(rough noise)驱动下,线性Kraichnan模型已被证明具有“异常耗散”和“异常正则化”等流现象。近期工作(如 [CM26])指出这些现象在非线性的二维Euler方程中依然存在。本文旨在探究这些“湍流”现象是否能在更广泛的非线性活性标量系统(包括Euler、SQG、IPM)中持续存在,特别是在零粘度极限(vanishing viscosity limit)下均匀成立。具体而言,作者关注以下三个核心问题:

  1. 异常正则化:解是否在适当的Besov型空间中瞬间获得正的正则性增益?
  2. 异常可积性:解是否在正时刻瞬间获得 $L^\infty_x$ 可积性?
  3. 异常耗散:解的平均能量(或enstrophy)是否随时间严格耗散?

这些问题的重要性在于,它们揭示了随机噪声如何改变非线性PDE的基本结构,从而恢复适定性并产生类似真实湍流的统计行为。

2. 主要定理或主要结果

主要结果分为四个部分:

  1. 异常正则化(Theorem 1.2):在适当假设下,对于任意初始数据 $\theta_0 \in L^r_x \cap L^p_x$ 和外力 $f \in L^1_T(L^r_x \cap L^p_x)$,粘性近似解 $\{\theta_\nu\}_{\nu \in (0,1)}$ 在 $L^\infty_{\omega,T}(L^r_x \cap L^p_x) \cap \tilde{L}^2_{\omega,T}\tilde{B}^{\beta}_{2,\infty}$ 中一致有界,其中正则性指数 $\beta = \beta(\alpha, p)$ 取决于参数 $\alpha$ 和 $p$。具体地:

    • 对于 $R = R_{BS}$,若 $p \in [2,3)$ 且 $\alpha \leq 1 - 1/p$,则 $\beta = 1 - \alpha$;若 $p \in (2,3)$ 且 $1 - 1/p < \alpha < 1$,则 $\beta = (1 - \alpha)(p - 2)$。
    • 对于 $R = R_{CZ}$,类似地根据 $(\alpha, p)$ 的不同区域确定 $\beta$。特别地,在亚临界或临界情况下,$\beta = 1 - \alpha$,与线性情形一致;在某些超临界情况下,仍能获得部分正则性增益 $\beta > 0$。
  2. 异常可积性(Theorem 1.6):在亚临界或临界条件下,粘性近似解在正时刻 $t > 0$ 瞬间获得 $L^{p^*}_x$ 可积性,且满足估计:

    $$ \sup_{\nu \in (0,1)} E\left[ \sup_{s \in [t,T]} \|\theta_\nu(s)\|_{L^{p^*}_x}^p \right]^{1/p} \lesssim M_f + t^{-\frac{1}{1-\alpha}\left(\frac{1}{p} - \frac{1}{p^*}\right)} M_\theta, $$

    其中 $M_f$ 和 $M_\theta$ 分别控制外力和初始数据的范数。当 $p^* = \infty$ 时,这意味着解瞬间进入 $L^\infty_x$。

  3. 无粘度SPDE的存在性与唯一性(Theorem 1.11):在亚临界或临界条件下,无粘度SPDE (1.1) 存在强解且具有路径唯一性。该解是粘性近似解的唯一零粘度极限,并且是一个马尔可夫过程。

  4. 异常耗散与正则性锐利性(Theorem 1.14):对于二维Euler方程($R = R_{BS}$),当 $\alpha \in (0, 1/2)$ 时,非零初始数据的解表现出enstrophy的连续平均耗散:

    $$ E[\|\theta_t\|_{L^2_x}^2] < E[\|\theta_s\|_{L^2_x}^2], \quad \forall 0 \leq s < t \leq T. $$

    这一结果同时证明了Theorem 1.2中给出的正则性指数 $\beta = 1 - \alpha$ 是锐利的(即不能改进)。

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

本文的核心技术障碍在于处理非线性项 $u \cdot \nabla \theta$ 与粗糙噪声 $dW \cdot \nabla \theta$ 之间的相互作用,尤其是在零粘度极限下保持估计的一致性。作者的真正创新点在于发展了一套基于能量平衡分析和迭代可积性提升的新框架。

  1. 能量平衡与三线性项控制:为了证明异常正则化,作者引入了一个精心选择的径向磨光核族 $\{\chi_\varepsilon\}_{\varepsilon > 0}$,并研究能量型平衡方程 $E[\langle \theta_t, \chi_\varepsilon * \theta_t \rangle]$ 在 $\varepsilon \to 0+$ 时的行为。关键在于控制由非线性项产生的三线性项:

    $$ T_{u_\nu, \theta_\nu}(t, \varepsilon) = \int_{\mathbb{R}^2} \int_{\{|z| \leq 1\}} z \cdot \delta_z^\varepsilon u_\nu(t,y) |\delta_z^\varepsilon \theta_\nu(t,y)|^2 dy dz. $$

    通过利用速度场 $u_\nu$ 的无散度结构,作者将该三线性项与Besov型正则性联系起来,并证明噪声贡献的强制性项(coercive term)能够主导该非线性项,从而闭合正则性估计。这一方法借鉴了Duchon-Robert耗散测度的思想,但扩展到了非线性情形。

  2. 迭代可积性提升:对于异常可积性,作者采用了一种迭代策略。首先,通过Sobolev嵌入从异常正则化获得初步的可积性提升(例如从 $L^p_x$ 到 $L^q_x$,其中 $q > p$)。然后,将 $|\theta_\nu|^ {q/p}$ 视为新的标量,重复此过程以进一步提升可积性。这一策略的关键在于精确跟踪时间依赖性和概率矩,并利用不可压缩输运结构简化插值常数的控制。与线性情形不同,这里的迭代不需要复杂的Mellin变换或傅里叶谱分析,而是直接利用PDE结构。

  3. 紧性与收敛性:为了从无粘度极限中提取弱解,作者使用了Prokhorov定理和Portmanteau定理来证明解的紧致性。此外,在证明唯一性时,作者结合了先验估计和概率论中的收敛定理,确保了粘性近似解在适当拓扑下收敛于唯一的无粘度解。

4. 与之前工作的比较

本文与既有工作的主要区别体现在以下几个方面:

  1. 适用范围更广:之前的工作(如 [CM26], [JL25b], [BGM25])主要集中在二维Euler方程或特定类型的非线性SPDE上,而本文将其推广到更一般的Calderón-Zygmund算子 $R_{CZ}$,涵盖了SQG和IPM方程。这是首次在这些系统中建立完整的异常正则化和可积性理论。

  2. 超临界情形的处理:与线性Kraichnan模型仅在亚临界或临界条件下表现良好不同,本文证明了即使在某些超临界参数 $(\alpha, p)$ 下,仍能获得部分异常正则化(尽管正则性指数 $\beta < 1 - \alpha$)。这表明非线性效应并未完全破坏噪声的正则化作用,只是减弱了其强度。

  3. 唯一性与正则化的分离:本文明确指出,异常正则化(存在性)与路径唯一性之间没有直接联系。即使在超临界区域(预期无唯一性),仍可通过零粘度极限构造具有异常正则性的弱解。这与确定性Euler方程的情况形成对比,后者在高正则性范数中可能有限时间爆破,而在低正则性空间中缺乏唯一性。

  4. 技术方法的创新:相较于 [DGP25] 中依赖于噪声各向同性假设的方法,本文采用了更局部的各向同性条件,并允许一定程度的各向异性扰动。此外,本文的迭代可积性方法比线性情形中的无限次插值更简洁,且能提供更精确的时间衰减率。

  5. 锐利性结果:在二维Euler方程中,本文首次证明了enstrophy的异常耗散及其与正则性锐利性的联系。这填补了非线性情形下关于最优正则性指数的空白,并与Kolmogorov湍流理论中的“第零定律”相呼应。


6. 具有超临界耗散的单方向欧拉对齐系统的全局正则性

Global regularity for the unidirectional Euler-alignment system with supercritical dissipation

作者: Changhui Tan, Liutang Xue

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25748v1

摘要翻译: 我们证明了周期单方向欧拉对齐系统在任意维度、耗散阶数为 $0<α<1$(超临界)且初始数据为局部理论中 Sobolev 类中的任意非真空数据时的全局适定性。关键思想是同时传播密度 $ρ$ 和势梯度 $Γ=\nablaΛ^{-α}u$ 在临界尺度上的两个连续性模,二者的振幅均为缩放不变的。我们还建立了速度的指数对齐以及密度向行进波形的指数收敛。

Comment: 22 pages

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

1. 研究对象和背景

欧拉-对齐系统(Euler-alignment system)是描述集体运动宏观行为的模型,其中个体调整其速度以趋向于邻近个体的速度。该模型源于 Cucker-Smale 粒子动力学,其形式为:

$$ \begin{cases} \partial_t \rho + \nabla \cdot (\rho u) = 0, \\ \partial_t u + u \cdot \nabla u = \int_{\mathbb{R}^d} \psi(x-y)(u(y)-u(x))\rho(y) dy, \end{cases} $$

其中 $\rho$ 是密度,$u$ 是速度,$\psi$ 是非负的通信核。当通信核具有强奇异性时,即 $\psi(x) = c_{d,\alpha}|x|^{-d-\alpha}$,其中 $0 < \alpha < 2$,对齐力表现为密度加权的非局部扩散,只要密度严格为正,这种耗散效应就是非退化的。

本文研究的是周期域 $\mathbb{T}^d$ 上的一维欧拉-对齐系统(unidirectional Euler-alignment system),其形式为:

$$ \begin{cases} \partial_t \rho + \partial_1(\rho u) = 0, \\ \partial_t u + u \partial_1 u = -\Lambda^\alpha(\rho u) + u \Lambda^\alpha \rho, \end{cases} $$

其中 $\Lambda^\alpha = (-\Delta)^{\alpha/2}$。一维欧拉-对齐系统在多个维度中表现出特殊的结构性质,使得其在某些情况下能够保持全局正则性。然而,在超临界范围 $0 < \alpha < 1$ 中,分数阶耗散本身不足以控制 Burgers 类型的陡峭化,因此需要利用从一维欧拉-对齐系统继承的特殊结构。

本文的主要目标是解决在超临界范围内任意大初值数据的全局正则性问题,而不需要额外的连续性准则或先验的 H"older 控制。此外,本文还证明了速度的指数对齐和密度向行波轮廓的收敛。

2. 主要定理或主要结果

主要结果陈述如下:

定理 1.1(全局经典解和渐近对齐) 设 $d \geq 1$,$0 < \alpha < 1$,且 $m \in \mathbb{N}$ 满足 $m > d/2 + 1$。假设

$$ (\rho_0, u_0) \in H^{m+\alpha}(\mathbb{T}^d) \times H^{m+1}(\mathbb{T}^d), \inf_{x \in \mathbb{T}^d} \rho_0(x) > 0. $$

则一维欧拉-对齐系统存在唯一的全局经典解,满足

$$ \rho \in C_w([0, \infty); H^{m+\alpha}(\mathbb{T}^d)), u \in C_w([0, \infty); H^{m+1}(\mathbb{T}^d)) \cap L^2_{loc}([0, \infty); \dot{H}^{m+1+\alpha/2}(\mathbb{T}^d)). $$

此外,存在正轮廓 $\rho_\infty \in W^{1,\infty}(\mathbb{T}^d)$ 与 $\rho_0$ 具有相同的总质量,以及常数 $C < \infty$ 和 $\kappa > 0$,依赖于初始数据和固定参数,使得

$$ \|\rho(\cdot, t) - \rho_\infty(\cdot - \bar{u}t e_1)\|_{L^\infty(\mathbb{T}^d)} \leq Ce^{-\kappa t}, \|u(\cdot, t) - \bar{u}\|_{W^{1,\infty}(\mathbb{T}^d)} \leq Ce^{-\kappa t}, t \geq 0, $$

其中密度加权平均速度为

$$ \bar{u} := \frac{\int_{\mathbb{T}^d} \rho_0(x)u_0(x) dx}{\int_{\mathbb{T}^d} \rho_0(x) dx}. $$

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

证明的核心思想是引入势梯度 $\Gamma := \nabla \Lambda^{-\alpha}u$,并同时对密度 $\rho$ 和势梯度 $\Gamma$ 传播两个在临界尺度上的连续性模。这两个量都具有缩放不变的振幅,使得它们成为同时连续性模论证的自然对象。

首先,建立 $\Gamma$ 的 $L^\infty$ 界,这是启动连续性模论证所必需的。由于交换子阻碍了最大值原理的直接应用,作者首先建立了端点交换子估计

$$ \|f\|_{L^p} \leq C_{d,\alpha,p} \|G\|_{L^\infty} \|\Gamma\|_{L^p}, 1 < p < \infty. $$

结合 $G$ 的一致界和 Córdoba-Córdoba 不等式,可以在不需要控制密度梯度的情况下闭合有限 $p$ 估计。由于交换子估计不能直接扩展到 $p = \infty$,作者通过分数阶 Moser 迭代推导了对应的齐次方程的 $L^p \to L^\infty$ 平滑估计。Duhamel 公式随后给出了 $\Gamma$ 的 $L^\infty$ 界。结合速度对齐和非线性耗散估计,进一步得到了 $\|\Gamma(t)\|_{L^\infty}$ 的指数衰减。

然后,对 $\rho$ 传播固定的连续性模,对 $\Gamma$ 传播指数衰减的连续性模:

$$ \omega_1(\xi) = \omega_\delta^\lambda(\xi), \omega_2(\xi, t) = e^{-\kappa t}\omega_\delta^\lambda(\xi), $$

其中 $\omega_\delta^\lambda$ 是在 (4.3) 中定义的族。$\rho$ 和 $\Gamma$ 的共同临界标度在此处至关重要:它允许首先选择振幅 $\delta$ 足够小,使得输运和变系数贡献可以被耗散吸收,然后选择空间尺度 $\lambda$ 足够小以适应任意初始数据。在 $\Gamma$ 突破情景中的主要工作是估计可能的接触对的差值

$$ f(x, t) - f(y, t) $$

通过利用交换子结构和 $\rho$ 与 $\Gamma$ 的同时连续性模,作者表明这个差值具有与耗散项相容的连续性模。这使得耗散能够排除密度和 $\Gamma$ 的突破情景。

传播的连续性模给出

$$ \sup_{t \geq 0} \|\nabla \rho(t)\|_{L^\infty} < \infty, [\Gamma(t)]_{Lip} \lesssim e^{-\kappa t}, $$

并通过从 $\Gamma$ 重构 $u$,也得到

$$ \|\nabla u(t)\|_{L^\infty} \lesssim e^{-\kappa t}. $$

这比条件 (1.5) 中所需的条件 H"older 控制要强得多:而不是假设 $u$ 保持在某个 $\sigma > 1 - \alpha$ 的 $C^\sigma$ 中,论证动态地产生了速度的全局 Lipschitz 界。这些估计闭合了连续性准则并得出了全局正则性。

4. 与之前工作的比较

本文与已有工作的比较主要体现在以下几个方面:

  1. 与一维理论的比较:一维奇异欧拉-对齐系统的理论已在 [11, 20, 21] 中建立。一个关键特征是辅助量 $G = \partial_x u - \Lambda^\alpha \rho$ 满足连续性方程 $\partial_t G + \partial_x(uG) = 0$。这一守恒律提供了对速度和密度耦合的基本结构控制。然而,在多維一般向量场 $u$ 的情况下,自然类似物 $G = \nabla \cdot u - \Lambda^\alpha \rho$ 满足的方程包含一个没有确定符号的源项(谱隙),这使得一维机制不能直接推广到一般多维流。

  2. 与亚临界情形的比较:Lear 和 Shvydkoy [16] 在亚临界范围 $1 < \alpha < 2$ 中建立了一维系统的全局正则性。在这个范围内,速度振幅在自然标度下是亚临界的,因此可以将速度方程直接视为耗散输运方程处理。一旦控制了 $u$,就可以通过关系 $\rho = \partial_1 \Lambda^{-\alpha}u - \Lambda^{-\alpha}G$ 恢复密度的正则性。对于 $\alpha > 1$,算子 $\partial_1 \Lambda^{-\alpha}$ 具有负阶 $1 - \alpha < 0$,因此是平滑的。这与超临界情形形成了鲜明对比,后者需要更精细的结构分析。

  3. 与临界情形的比较:临界情形 $\alpha = 1$ 更加微妙。Lear [15] 在特殊零熵条件 $G_0 = 0$ 下获得了全局正则性,并对一般初始熵得到了一个小数据结果。第一个关于一般一维流在临界指数下的大数据全局适定性结果由 Li 等人 [18] 获得。在临界范围内,两个未知量都具有缩放不变的振幅,密度的重构变得边界:$\rho = \partial_1 \Lambda^{-1}u - \Lambda^{-1}G$。主算子 $\partial_1 \Lambda^{-1}$ 是一个 Riesz 变换,不是从 $L^\infty$ 到 $L^\infty$ 有界的。因此,仅控制速度不再提供足够的密度控制。[18] 的主要思想是同时对 $\rho$ 和 $u$ 传播连续性模。由于在 $\alpha = 1$ 时两个量都具有临界、缩放不变的振幅,可以选择相容的两个连续性模,使得它们的突破情景被耦合并一起排除。这是对临界标量方程(如临界 Burgers 和准地转方程)发展的连续性模方法的真正系统级扩展。

  4. 与超临界情形的比较:超临界范围 $0 < \alpha < 1$ 提出了根本不同的困难。这里分数阶耗散本身太弱,无法控制 Burgers 类型的陡峭化。因此,任何大数据全局正则性机制都必须利用从一维欧拉-对齐系统继承的特殊结构。然而,在多維一维设置中,关系 (1.3) 只控制区别方向 $x_1$ 中的导数,而不对横向导数提供直接控制,而在超临界范围内这些横向导数不能仅由耗散来处理。在 [18] 中,这种困难导致了连续性准则 $u \in L^\infty_t C^\sigma_x$,其中 $\sigma \in (1 - \alpha, 1)$。鉴于标度 (1.4),指数 $1 - \alpha$ 对速度是临界的。因此,一旦可用严格高于此临界水平的 H"older 界,剩余的非线性效应就变得微扰,解可以继续。然而,本质上的未解决问题是从任意大初始数据动态地证明这样的界;这在 [18] 中没有得到解决。本文的目标正是解决这一问题,证明了在整个超临界范围内的全局适定性,而不施加任何额外的连续性准则或对速度的先验 H"older 控制。特别是,尽管耗散的弱性以及结构关系仅在区别方向上起作用的事实,横向正则性是动态获得的。


7. 非局部 LANS-$α$-型系统的全局动力学与渐近稳定性

Global dynamics and asymptotic stability for a nonlocal LANS-$α$-type system

作者: Chunxia Guan, Kai Yan, Qianyuan Zhang

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25661v1

摘要翻译: 本文致力于研究一维、二维和三维空间中非局部拉格朗日平均纳维-斯托克斯-$α$ (LANS-$α$)-型系统(亦称为粘性欧拉-泊松系统)的全局动力学。在无外力周期边界且零均值的情形下,我们建立了初值问题的全局适定性,并证明相应的解半群是耗散的且具有由单点集 $\{0\}$ 构成的紧致全局吸引子。此外,我们得到如下关于时间的代数渐近稳定性估计:

$$ \|u(t,\cdot)\|_{H^3}\lesssim t^{-1/2},\qquad \forall\, t>0, $$

该估计是通过高阶能量不等式结合一致 Gronwall 型论证推导出来的。我们的结果为这一非局部 LANS-$α$-型系统的无外力周期动力学的长时间行为提供了完整的描述。

Comment: 14 pages

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

1. 研究对象和背景

本文研究的是非局部拉格朗日平均 Navier-Stokes-α (LANS-α) 型系统, 也称为粘性 Euler-Poincaré 方程. 该方程组在 $d$ 维空间 ($d=1,2,3$) 中定义为:

$$ \begin{cases} \partial_t m + u \cdot \nabla m - \epsilon \Delta m + (\nabla u)^T \cdot m + (\text{div} u)m = 0, \\ m = (I - \alpha^2 \Delta)u, \end{cases} $$

其中 $u(t,x)$ 为速度场, $m(t,x)$ 为动量场, $\epsilon > 0$ 为粘度系数, $\alpha$ 为色散参数(文中简化取 $\alpha=1$). 该方程组源于流体动力学中的正则化模型, 旨在通过引入 Helmholtz 关系式 $m=(I-\alpha^2 \Delta)u$ 来克服经典 Navier-Stokes 方程在三维情形下可能出现的奇异性问题. 当 $\epsilon=0$ 时, 该系统退化为无粘的 Euler-Poincaré 方程, 其特例在 $d=1$ 时即为著名的 Camassa-Holm (CH) 方程, 后者具有双哈密顿结构且完全可积.

尽管 LANS-α 方程在全局正则性和吸引子维度估计方面已有大量研究 (如 Foias, Holm 和 Titi 的工作), 但关于无外力驱动、零均值周期边界条件下该系统的长期行为, 特别是全局吸引子的具体结构以及解收敛到平衡态的定量速率, 此前并未得到完整描述. 既有文献多关注有外力驱动下的耗散半群或全空间上的代数衰减 (依赖于色散机制和数据的空间局部性), 而周期性域上的 Poincaré 不等式提供了谱间隙, 使得分析框架有所不同. 本文旨在填补这一空白: 在无外力、零均值的周期设置下, 不仅证明了解的整体适定性和耗散半群的存在性, 更关键地, 确定了全局吸引子仅由单点 $\{0\}$ 组成, 并给出了 $H^3$ 范数下解随时间趋于零的代数衰减率. 这一结果提供了对该非线性非局部系统长时间动力学的完整刻画.

2. 主要定理或主要结果

论文的主要结果概括于定理 1.1 中, 针对 $d=1,2,3$ 维空间及 $A_d = \mathbb{R}^d$ 或环面 $\mathbb{T}^d$ 设定:

  1. 整体适定性: 若初值 $u_0 \in H^s(A_d)$ 且 $s > 1 + d/2$, 则 Cauchy 问题存在唯一的全局强解 $u \in C([0, \infty); H^s(A_d)) \cap C^1([0, \infty); L^2(A_d))$. 此外, 解满足如下精确的能量守恒律:

    $$ \|u(t, \cdot)\|^2_{H^1(A_d)} + 2\epsilon \int_0^t \int_{A_d} (|\nabla u|^2 + |\Delta u|^2)(s, x) dx ds = \|u_0\|^2_{H^1(A_d)}. $$
  2. 耗散半群与全局吸引子: 定义函数空间 $X_3(\mathbb{T}^d) = \{ u \in H^3(\mathbb{T}^d) \mid \int_{\mathbb{T}^d} u(x)dx = 0 \}$. 解算子 $S(t)u_0 \equiv u(t)$ 在 $X_3(\mathbb{T}^d)$ 上定义了一个连续的耗散半群. 该半群拥有一个紧的全局吸引子, 且该吸引子恰好是单点集 $\{0\}$.

  3. 代数渐近稳定性: 存在常数 $C = C(d, \epsilon, \alpha, \|u_0\|_{H^3(\mathbb{T}^d)}) > 0$, 使得对于所有 $t > 0$, 解满足如下全局时间的代数衰减估计:

    $$ \|u(t)\|_{H^3(\mathbb{T}^d)} \le C t^{-1/2}. $$

    这表明平衡态 $u=0$ 在 $X_3(\mathbb{T}^d)$ 中是全局渐近稳定的, 且收敛速率为 $O(t^{-1/2})$.

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

证明过程分为几个关键技术阶段:

1. 局部适定性的建立 (Kato 半群理论) 作者首先将原系统重写为非局部输运方程形式:

$$ \partial_t u + u \cdot \nabla u = F(u) + \epsilon \Delta u, $$

其中非线性项 $F(u)$ 包含高阶导数和非局部算子 $(I-\Delta)^{-1}$. 为了处理这种准线性结构, 作者应用了 Kato 的半群理论 (Lemma 2.1). 核心在于验证主部算子 $A(u) = u \cdot \nabla - \epsilon \Delta$ 满足准 m-耗散性条件, 且扰动项 $B(y)$ (由交换子 $[\Lambda^s, y \cdot \nabla]$ 产生) 是有界的. 这里利用了 Sobolev 空间的乘积估计 (Lemma 2.2) 和交换子估计 (Lemma 2.3), 要求正则性指数 $s > 1 + d/2$ 以保证 $H^s$ 构成 Banach 代数.

2. 整体延拓与爆破准则 要证明解的全局存在性, 需排除有限时间爆破. 作者建立了标准的爆破准则 (Lemma 3.3): 解在有限时间 $T$ 爆破当且仅当 $\limsup_{t \to T} (\|u(t)\|_{L^\infty} + \|\nabla u(t)\|_{L^\infty}) = \infty$. 随后, 通过一系列能量估计 (Lemma 3.4), 证明了在 $d \le 3$ 时, $\|u(t)\|_{H^3}$ 的增长至多为指数级 ($e^{Ce^{Ct}}$). 结合 $H^1$ 能量守恒 (Lemma 3.1) 提供的先验界, 利用 Gagliardo-Nirenberg 插值不等式和 Young 不等式吸收高阶项, 成功控制了 $L^\infty$ 范数的增长,从而排除了爆破可能性.

3. 全局吸引子的识别与代数衰减 这是本文最具创新性的部分. 在周期域 $\mathbb{T}^d$ 上,由于零均值条件,Poincaré 不等式提供了谱间隙,即低阶范数可由高阶范数控制. 作者推导了高阶能量不等式,特别是针对 $H^3$ 范数的微分不等式. 虽然直接积分可能只给出指数衰减或有限时间界限,但作者巧妙地结合了 Uniform Gronwall Lemma (Lemma 4.2).

具体而言,设 $y(t) = \|u(t)\|_{H^3}^2$. 通过精细的非线性项估计,作者得到了形如 $y'(t) \le g(t)y(t) + h(t)$ 的不等式,其中 $g(t)$ 和 $h(t)$ 的积分在任意长度为 $T$ 的区间上有界 (依赖于 $H^1$ 能量的耗散性). 应用 Uniform Gronwall 引理,可以直接得出 $y(t)$ 的代数衰减,进而得到 $\|u(t)\|_{H^3} \lesssim t^{-1/2}$. 这一方法避免了寻找 Lyapunov 函数的困难,直接利用耗散结构的累积效应获得了定量速率. 最后,基于耗散性和压缩性,证明全局吸引子收缩至原点.

4. 与之前工作的比较

本文工作与既有 LANS-α 及相关流体模型文献相比,主要推进体现在以下几个方面:

1. 从定性存在到定量结构识别 Foias, Holm 和 Titi [19, 20] 在三维 LANS-α 系统中建立了全局正则性并估计了全局吸引子的 Hausdorff 维数和盒维数. 然而,这些工作通常假设存在外部驱动力,或者关注的是吸引子的几何尺寸而非其具体拓扑结构. 本文在无外力、零均值的自治系统中,不仅证明了吸引子的存在,更进一步完全识别了吸引子为单点集 $\{0\}$. 这是一个质的飞跃,因为它意味着系统不存在任何非平凡的极限环或混沌行为,所有轨迹都必然趋向静止状态.

2. 定量衰减率的获取 既有文献中,关于粘性 Camassa-Holm 方程在大尺度上的代数衰减通常是在全空间 $\mathbb{R}^d$ 上研究的 [1, 2]. 那些工作中的衰减机制紧密依赖于色散效应和初始数据的空间局部性 (例如快速衰减). 相比之下,本文处理的是周期域 $\mathbb{T}^d$,没有色散主导的长波振荡,而是依靠粘性耗散和 Poincaré 不等式提供的谱间隙. 作者给出的 $t^{-1/2}$ 衰减率是全局时间的,且不依赖于初始数据的特殊结构 (如紧致支撑),仅依赖于 $H^3$ 范数的有限性. 这为周期边界条件下的非线性非局部系统提供了一个普适的收敛速率基准.

3. 方法论的差异:Uniform Gronwall 的应用 在处理代数衰减时,许多流体模型的研究依赖于构造特定的 Lyapunov 泛函或利用线性化分析的谱隙. 本文的创新之处在于,对于高维 ($d=3$) 的非局部耦合系统,直接利用高阶能量不等式结合 Uniform Gronwall 引理 来获得代数衰减. 这种方法不需要对非线性项进行过于严格的线性化近似,也不要求解具有特殊的对称性,具有较强的鲁棒性. 它表明,只要系统具备足够的耗散性 (由 $\epsilon > 0$ 保证) 和紧嵌入性质 (由周期域保证),就可以通过纯能量方法提取出长期的代数稳定行为.

4. 适用范围的明确界定 本文严格限制了适用范围为 $d=1,2,3$ 和无外力情况. 对于 $d \ge 4$,由于 Sobolev 嵌入的限制,现有的能量估计技巧可能不足以控制高阶非线性项,因此结论是否成立尚不清楚. 此外,如果引入外力,吸引子将不再是单点,而是具有复杂结构的紧致集,此时 $t^{-1/2}$ 的衰减估计不再适用. 因此,本文的结果是对“自由演化”这一特定物理场景的完整解析,与有驱动物理场景形成了互补.


8. 带抽吸的定常 Prandtl 方程的渐近稳定性

Asymptotic Stability of Steady Prandtl Equations with Suction

作者: Yonghao Li, Yong Wang

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25702v1

摘要翻译: 尽管 Prandtl 边界层在物理上具有重要意义,但在严格的偏微分方程分析中,其在壁面抽吸作用下的稳定性仍相对缺乏研究。本文建立了一个抽吸剖面的关于 $x$ 的全局渐近稳定性。对于任意给定的 $x$ 方向代数衰减率,我们证明了具有足够快空间衰减的足够小的入流扰动会导致下游以该速率的衰减。von Mises 变换将 Prandtl 系统化简为一个带有有利方向对流项的退化抛物型方程。我们首先在相关的均匀抛物型问题中识别出下游衰减机制,然后利用一个精确的 Hardy 型估计来控制边界的退化性。这些论证共同给出了原 Prandtl 系统的稳定性和衰减性。

Comment: 29 pages

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

1. 研究对象和背景

在粘性壁面边界流动中, 边界层分离与流体动力学不稳定性是主要的物理关注点. 这些现象会增加阻力, 降低空气动力效率, 甚至可能导致航空航天和机械系统中的灾难性流动崩溃. 壁面抽吸 (wall suction) 是一种有效的抑制边界层分离的手段, 它通过壁面上的窄缝从边界层中移除低动量流体. 足够强的抽吸可以完全消除分离. 本文聚焦于定义在 $\Omega = \mathbb{R}^+ \times \mathbb{R}^+$ 上的二维不可压缩流体的 Prandtl 边界层方程组:

$$ \begin{cases} u u_x + v u_y - u_{yy} + p'(x) = 0, \\ u_x + v_y = 0, \\ u(0, y) = u_0(y), \\ u|_{y=0} = 0, \\ v|_{y=0} = -a, \\ \lim_{y \to \infty} u = U(x). \end{cases} $$

其中常数 $a > 0$ 表征了壁面抽吸的强度, $(u, v)$ 表示二维速度场, $p(x)$ 代表流向压力分布, $U(x)$ 为外层无粘自由流速度. 为了简化分析而不失去边界层的本质结构特征, 作者设定远场速度恒等于 1, 即 $U \equiv 1$, 这迫使 $p'(x) \equiv 0$. 在此归一化下, 原系统简化为无压力的齐次 Prandtl 方程:

$$ \begin{cases} u u_x + v u_y - u_{yy} = 0, \\ u_x + v_y = 0, \\ u(0, y) = u_0(y), \\ u|_{y=0} = 0, \\ v|_{y=0} = -a, \\ \lim_{y \to \infty} u = 1. \end{cases} $$

尽管具有物理重要性, 但带有壁面抽吸的 Prandtl 边界层在严格偏微分方程分析中的稳定性研究仍相对较少. 已有理论主要集中于无抽吸情形下的 Blasius 解或 Falkner-Skan 解的稳定性. 例如, Serrin 证明了 Blasius 剖面的自相似吸引性, Iyer 得到了定量衰减估计, Jia-Lei-Yuan 进一步确定了最优收敛率. 然而, 对于存在抽吸 ($a > 0$) 的情形, 尤其是关于下游 $x$ 方向的全局渐近稳定性和代数衰减率的严格证明,此前缺乏系统的 PDE 分析结果. 本文旨在填补这一空白, 建立经典抽吸剖面在全局 $x$ 范围内的渐近稳定性, 并给出任意预定的代数衰减率.

2. 主要定理或主要结果

本文的主要结果包括三个定理, 分别建立了能量估计、von Mises 坐标下的点态收敛率和物理坐标下的点态收敛率.

定理 1.2 (全局存在性与能量估计): 假设初始数据满足 Oleinik 条件 (1.7). 存在一个充分小的常数 $\epsilon > 0$, 使得对于任意 $a > 0$, 如果初始数据 $u_0(y)$ 满足

$$ \|u_0 - \bar{u}\|_{L^1_y} + \|u_0 - \bar{u}\|_{H^1_y} + \|\partial_y(u_0 - \bar{u})\|_{L^\infty_y} \le \frac{a}{(1+a)^2} \epsilon, $$

则扰动 $\phi$ 满足如下估计:

$$ \|\phi\|_{Y_0} \lesssim \|\phi_0\|_{Y_{0,0}}, \\ \|\phi\|_{Y_1} \lesssim a \|\phi_0\|_{Y_{0,0}} + \|\phi_0\|_{Y_{1,0}}. $$

其中范数定义为:

$$ \|\phi\|^2_{Y_0} = \left\|\frac{\phi_\xi}{u^{\lambda-1/2}}\right\|^2_{L^2_{X,\xi}} + \sup_{X \ge 0} \left\|\frac{\phi}{u^\lambda}\right\|^2_{L^2_\xi}, \\ \|\phi\|^2_{Y_1} = \left\|\frac{\phi_X}{\sqrt{u}}\right\|^2_{L^2_{X,\xi}} + \sup_{X \ge 0} \|\phi_\xi\|^2_{L^2_\xi}, $$

且 $\lambda \in [1, 3/2)$.

定理 1.5 (von Mises 坐标下的衰减率): 在上述假设下, 若初始扰动满足加权有界性条件

$$ \|(1+\xi)^{m/2} \phi_0\|_{Y_{0,0}} < \infty, $$

则对于所有 $X > 0$, 有如下点态估计:

$$ \sup_{\xi \ge 0} \left| u(X, y(X, \xi; u)) - \bar{u}(y(\xi; \bar{u})) \right| \le \epsilon C_{m,a} \left( \|(1+\xi)^{m/2} \phi_0\|_{Y_{0,0}} + \|\phi_0\|_{Y_{1,0}} \right) (1+X)^{-m/2}, $$

其中 $C_{m,a}$ 仅依赖于 $m$ 和 $a$. 这意味着在 von Mises 坐标下, 扰动以 $(1+X)^{-m/2}$ 的速率衰减.

定理 1.7 (物理坐标下的衰减率): 固定 $a > 0$ 和正整数 $m$. 假设初始数据满足上述小性条件和加权条件, 且总扰动足够小:

$$ \|(1+\xi)^{m/2} \phi_0\|_{Y_{0,0}} + \|\phi_0\|_{Y_{in}} \le \delta_{a,m}, $$

则在原始物理坐标下, 对于所有 $x > 0$, 有:

$$ \sup_{y \ge 0} |u(x, y) - \bar{u}(y)| \le \epsilon C_{m,a} \left( \|(1+\xi)^{m/2} \phi_0\|_{Y_{0,0}} + \|\phi_0\|_{Y_{in}} \right) (1+x)^{-m/2}. $$

这表明, 只要初始扰动满足相应的加权小性条件, 就可以获得任意高阶的代数衰减率 $(1+x)^{-m/2}$. 相比之下, 在无抽吸情形下 (如文献 [7]), 最优收敛率为 $(1+x)^{-1}$. 这一对比突显了壁面抽吸带来的增强下游衰减效应.

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

本文的核心技术障碍在于处理 von Mises 变换后得到的退化抛物型方程中的边界退化性和对流项的影响. 具体而言, 在线性化方程

$$ \phi_X - a \phi_\xi - \bar{u} \phi_{\xi\xi} - \frac{\bar{u}_{yy}}{\bar{u}^2} \phi = 0 $$

中, 由于抽吸项 $-a \phi_\xi$ 的存在, 直接的能量估计难以控制 $\sup_{X \ge 0} \|\phi_\xi\|_{L^2_\xi}^2$. 此外, 系数 $\bar{u}$ 在边界 $\xi=0$ 处为零, 导致扩散项退化.

作者的创新点主要体现在以下两个方面:

  1. 尖锐的 Hardy 型不等式: 为了克服标准商估计 (quotient estimate) 的局限性, 作者引入了一个更尖锐的加权商估计. 通过将线性化方程乘以 $\frac{1}{\bar{u}^{2\lambda}} \phi$ (其中 $\lambda \in [1, 3/2)$), 作者推导出了一个包含 $\|\frac{\phi_\xi}{\bar{u}^{\lambda-1/2}}\|_{L^2}$ 的估计. 关键步骤是利用了一个尖锐的 Hardy 型不等式 (Lemma 2.5) 来控制最难处理的项 $\|\frac{\phi \bar{u}_y \chi_{\delta/a}}{\bar{u}^{\lambda+3/2}}\|_{L^2_\xi}$. 该不等式允许作者将右侧的危险项吸收进左侧的正项中, 从而得到关键的商估计:

    $$ \left\|\frac{\phi_\xi}{u^{\lambda-1/2}}\right\|^2_{L^2_{X,\xi}} + \sup_{X \ge 0} \left\|\frac{\phi}{u^\lambda}\right\|^2_{L^2_\xi} \lesssim \|\phi_0\|^2_{Y_{0,0}}. $$

    这个估计比 Iyer 之前使用的估计更强, 因为它提供了对 $\phi_\xi$ 更好的加权控制, 从而能够处理抽吸项带来的困难.

  2. 时空权重交换的加权抛物论证: 在获得了基本的能量和商估计后, 作者利用抽吸效应 ($a > 0$) 来推导显式的衰减率. 通过应用加权抛物论证, 将空间权重转化为时间衰减, 作者得到了如下关键估计:

    $$ \sup_{X \ge 0} \int_0^\infty X^m \frac{\phi^2}{u^2} d\xi + \int_0^\infty \int_0^\infty X^m \frac{\phi_\xi^2}{u} d\xi dX \lesssim C_{m,a} \|(1+\xi)^{m/2} \phi_0\|^2_{Y_{0,0}}. $$

    结合 Sobolev 嵌入, 这直接导出了 von Mises 坐标下的点态衰减率 $(1+X)^{-m/2}$.

  3. 从 von Mises 坐标到物理坐标的转换: 最后, 为了得到物理坐标下的衰减率, 作者需要处理坐标变换带来的额外复杂性. 受文献 [7] 启发, 作者首先推导了 $\|\frac{\phi_X}{\sqrt{u}}\|_{L^2_\xi}$ 的衰减估计, 进而得到 $\|\phi_\xi\|_{L^4_\xi}$ 的衰减. 利用这些高阶导数的衰减信息, 作者最终证明了物理坐标下 $u(x,y) - \bar{u}(y)$ 的点态衰减率为 $(1+x)^{-m/2}$.

4. 与之前工作的比较

本文与既有工作的主要区别在于考虑了壁面抽吸 ($a > 0$) 的情形, 而之前的工作主要集中在无抽吸 ($a=0$) 的 Blasius 解或有利压力梯度下的 Falkner-Skan 解.

  1. 与无抽吸情形的比较: 在无抽吸情形下, Serrin 证明了 Blasius 剖面的自相似吸引性, 但没有给出显式速率. Iyer 首次得到了定量稳定性结果, 证明扰动以 $(1+x)^{-1/2+\delta}$ 的速率衰减. Wang-Zhang 去掉了小性假设, 但在无穷远处需要更强的局部化条件. 最近, Jia-Lei-Yuan 确定了最优收敛率为 $(1+x)^{-1}$, 并构造了精确解表明该速率不可改进. 相比之下, 本文在有抽吸的情况下, 证明了可以获得任意高阶的代数衰减率 $(1+x)^{-m/2}$ (对于任意正整数 $m$). 这表明壁面抽吸显著增强了下游的稳定性, 使得衰减率可以任意快, 而无抽吸情形下存在固有的 $(1+x)^{-1}$ 极限.

  2. 与有利压力梯度情形的比较: Iyer 研究了有利 Falkner-Skan 剖面的定量稳定性和散射估计. 虽然有利压力梯度也有助于稳定, 但其机制与抽吸不同. 抽吸直接移除了边界层内的低动量流体, 从而改变了边界层的结构和稳定性特性. 本文的结果表明, 即使在没有外部压力梯度的情况下, 单纯的壁面抽吸就足以产生极强的稳定效果.

  3. 技术推进: 在技术上, 本文的关键创新在于使用了尖锐的 Hardy 型不等式来处理退化抛物方程中的边界退化性和抽吸对流项. 之前的工作 (如 Iyer, Jia-Lei-Yuan) 主要使用标准的商估计和加权能量方法, 但这些方法在处理非零抽吸参数 $a$ 时遇到了困难, 因为抽吸项会引入难以控制的低阶项. 作者通过精心选择的权重指数 $\lambda$ 和尖锐的 Hardy 不等式, 成功地将这些危险项吸收掉, 从而得到了更强的先验估计. 这一技术突破使得能够处理任意大小的抽吸参数 $a$ (在小扰动范围内), 并推导出统一的常数依赖关系.


了解领域论文(摘要翻译)

1. 气体管网流动的最优节点控制与指数转向性质

Optimal nodal control and the exponential turnpike property for the flow in gas networks

作者: Martin Gugat, Michael Herty, Michael Schuster, Yizhou Zhou

类别: math.OC, math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26572v1

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

摘要翻译

中文标题: 气体管网流动的最优节点控制与指数转向性质

摘要翻译: 我们研究一个描述管道中等温气体流动的拟线性双曲系统的边界最优控制问题。该控制在网络节点处施加,用于模拟压缩机站的作用。该系统允许非恒定稳态解的存在,且这些稳态在空间上严格单调。我们在 $H^2$-解的框架下工作,并考虑一个使系统趋向于给定稳态的最优控制问题。我们建立了最优控制的存在性,随后证明了指数转向性质,表明最优轨迹在大部分时间区间内保持与相应稳态的指数接近。分析依赖于通过 Lyapunov 方法获得的廉价控制性质以及所构造的控制。数值模拟展示了理论结果。


2. 一个统一的零质量方程

A unifying zero-mass equation

作者: Kanishka Perera

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26585v1

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

摘要翻译

中文标题: 一个统一的零质量方程

摘要翻译: 我们引入了非局部零质量方程

$$ - Δu + Φ_u(|x|)\, |u|^{p-2}\, u = f(u) \quad \text{in } {\mathbb R}^N, \qquad Φ_u(r) = a \int_r^\infty ρ^{-b}\, h_u^{q-1}(ρ)\, dρ, $$

其中 $h_u(ρ)$ 是 $|u|^p$ 在半径为 $ρ$ 的球内的质量。对于径向函数,该方程包含了去聚焦逆幂薛定谔方程、Chern-Simons-薛定谔方程和薛定谔-Poisson-Slater 方程作为特例。我们发展了相关的球质量 Lebesgue 空间和 Sobolev 空间,这些空间具有均匀凸性,并在一个新的临界指数之上证明了尖锐的紧致径向嵌入、Brezis-Lieb 型分解以及 Pohožaev 恒等式。利用算子的缩放不变性,我们使用 Fadell-Rabinowitz 同调指标构造了一个缩放特征值问题的无界特征值序列,并获得了亚缩放、超缩放及临界情形下的存在性与多重性结果。我们的主要结果是一个 Brezis-Nirenberg 型定理,通过一个新的缩放 linking 定理加以证明,该定理给出了每个非特征值的 $λ> 0$ 的非平凡径向解。将其专门化到三个模型以统一的方式恢复了几项已知结果,并得出了新的结果,包括四维及以上($N \ge 4$)中薛定谔-Poisson-Slater 方程的一个 Brezis-Nirenberg 型结果。


3. 网络上的意见传播:Daley-Kendall模型中的收敛性、传播速度与图案

Propagation of opinions on a network. Convergence, spreading speed and patterns in the Daley-Kendall model

作者: Romain Ducasse

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26543v1

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

摘要翻译

中文标题: 网络上的意见传播:Daley-Kendall模型中的收敛性、传播速度与图案

摘要翻译: 我们研究一个描述意见在网络上传播的社会传染模型。我们的模型是Daley和Kendall所引入的一个模型的推广,它由设定在无限图节点上的一组耦合微分方程组成。该建模受到流行病学中SIR类型模型的启发。其核心思想是个体可以将自己的意见传播给他们的邻居(如流行病学模型中那样),直到他们感知到该意见在其邻域中已被知晓为止。在引入模型之后,我们分析其解的长时间行为。我们证明了解收敛,并研究了它们的渐近平衡。我们还建立了解通过网络传播速度的估计。这些结果给出了意见采纳速率及其在社会网络中传播速度的估计。我们还提供了模拟,表明该模型可能产生图案:当个体在判断意见是否已知时考虑到“足够远”的个体时,我们观察到局部化的“气泡”的出现,在这些区域中意见被采纳。


4. 无穷余维子空间的插值

Interpolation of subspaces of infinite codimension

作者: Corentin Audiard

类别: math.AP, math.FA

发布日期: 2026-09-22

arXiv ID: 2609.26519v1

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

摘要翻译

中文标题: 无穷余维子空间的插值

摘要翻译: 给定三个赋范空间 $X_0, X_1, \tilde{X_1}$,其中 $\tilde{X_1}$ 是 $X_1$ 的一个闭子空间且范数相同,那么 $[X_0, X_1]_θ$ 与 $[X_0, X_1]_θ$ 相比如何?这一插值理论中的经典问题大多仅在有限余维子空间的情形下被研究。本文表明,商 J 范数是一个有用的工具,可用于处理若干相关情形。


5. 小初值下相对论量子流体力学系统经典解的全局存在性

Global Existence of Classical Solutions to the Relativistic Quantum Hydrodynamic System with Small Initial Data

作者: Ben Duan, Rongrong Yan

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26418v1

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

摘要翻译

中文标题: 小初值下相对论量子流体力学系统经典解的全局存在性

摘要翻译: 我们证明了三维空间中一个相对论量子流体力学系统的常数非真空平衡态的充分小的、光滑的且局部化的扰动的全局存在性、衰减与散射性质。在对数振幅和相位变量下,该方程组构成耦合波动方程的半线性系统。时间导数之间的反对称耦合在能量恒等式中相消,从而得到一个自然的导数能量。线性化系统具有两个色散分支。在低频下,慢支呈现薛定谔型色散,而快支具有谱隙;在高频下,两支均呈波动型。主要的非线性困难来自于带有非平凡时间与时空共振的二次相互作用。我们证明每个有效二次相互作用的符号包含相应的相互作用相位作为精确因子。这种结构性抵消消除了共振分母,使得我们可以通过非奇异正规形变换消除二次项。结合该变换与色散估计及能量估计,我们得到了导数能量的时间一致界以及 $L^\(infty$ 中一阶导数的 $\langle t \rangle^{-3/2}$ 衰减。我们进一步证明非线性解在高阶导数能量范数意义下散射到线性化系统的解。


6. 大扰动下退化 Oleinik 激波与稀疏波复合波的均匀稳定性

Uniform Stability of degenerate Oleinik shock and rarefaction waves under large perturbations

作者: Moon-Jin Kang, Bongsuk Kwon, Wanyong Shim

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26351v1

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

摘要翻译

中文标题: 大扰动下退化 Oleinik 激波与稀疏波复合波的均匀稳定性

摘要翻译: 我们研究标量粘性守恒律中由退化 Oleinik 激波和稀疏波组成的复合波的均匀稳定性。我们考虑三次型通量和在 $H^1$ 强解类内对复合波施加的任意大的 $L^2$ 初始扰动。我们获得了针对此类大扰动的均匀 $L^2$ 估计。特别地,该估计蕴含了退化 Oleinik 激波的收缩性质(至多一个动态平移)。作为进一步的推论,关于粘性的均匀性意味着由该退化激波和稀疏波构成的自相似解在无粘极限类中是稳定的。主要的分析难点在于:支撑 $a$-收缩方法的标准加权 Poincaré 不等式在线性水平上无法提供所需的强制性。我们通过建立一个新的、适应于激波剖面退化结构的退化 Hardy–Poincaré 不等式来克服这一障碍。结合精确的非线性分解,该线性不等式给出了严格的强制性估计,从而控制二次能量以及高阶非线性项,且无需对扰动施加任何小性假设。


7. 病例特异性颈动脉非线性力学的流体-结构相互作用建模及出口边界条件的作用

FSI modeling of case-specific nonlinear carotid artery mechanics and the role of outlet boundary conditions

作者: Tristan Probst, Anna Hundertmark, Ashkan Shiravand, Giorgio Cattaneo

类别: math.AP, math.NA

发布日期: 2026-09-22

arXiv ID: 2609.26038v1

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

摘要翻译

中文标题: 病例特异性颈动脉非线性力学的流体-结构相互作用建模及出口边界条件的作用

摘要翻译: 顺应性动脉壁力学对颈动脉(CA)中的 Windkessel 效应具有贡献,并对心血管疾病(如动脉粥样硬化)的血流动力学模式和表面剪切指标产生显著影响。在本研究中,我们将线性弹性流体-结构相互作用(FSI)框架扩展至考虑非线性的应变依赖性壁行为。该模型纳入了基于硅胶仿体拉伸试验推广得到的杨氏模量,以捕捉动脉组织的非线性应力-应变关系。最终的计算模型采用阻力型边界条件和体外测量的应力-应变关系,并针对体外评估的硅胶 CA 仿体以及已发表的关于 CA 分叉处血流向子分支分配的临床表现数据进行了验证。为了更好地反映生理条件,我们的模型随后被扩展至纳入患者特异性几何形状的预应力和临床测量的应力-应变关系,并针对临床 CA 数据进行了验证。本研究展示了应变依赖的杨氏(弹性)模量作为一种手段的可行性,用以增强线性弹性框架准确表征动脉壁生理非线性力学的能力,在实现工作量与生理保真度之间取得平衡。该方法产生了真实的应变、体积膨胀行为和压力-体积非线性关系。此外,本研究揭示了适当的出口边界条件的重要性,以及阻力型边界条件在患者特异性建模中的不足,后者会导致非生理的压力分布和非生理的时间血流分配。


8. 负 Sobolev 范数的渐近公式及其应用

Asymptotic Formulas for Negative Sobolev Norms and Applications

作者: Huaiqian Li

类别: math.PR, math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26002v1

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

摘要翻译

中文标题: 负 Sobolev 范数的渐近公式及其应用

摘要翻译: 本文建立了当分数阶趋于零时,负 Sobolev 范数的渐近公式。在欧氏空间中,在一个温和的有界性条件下,阶数与范数的 $p$ 次幂之积收敛于一个与维数无关的常数乘以相应的 $L^p$ 范数。证明依赖于热核正则化、弱紧性以及 Abel–Tauberian 论证。该结果进一步推广到配备了一族有界且连续算子的一般测度空间,从而涵盖了非线性与非半群情形。我们还给出了若干分析与概率中的应用,包括测度的绝对连续性判据、随机分布的正则性结果、分数布朗运动平方可积局部时间的构造,以及截断极大算子和鞅的极限公式。


9. 强剪切流中的双稳态行波前:速度与剖面渐近行为

Bistable traveling fronts in strong shear flows: speed and profile asymptotics

作者: Weiwei Ding, Mingmin Zhang, Zhaoyun Zhang

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25855v1

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

摘要翻译

中文标题: 强剪切流中的双稳态行波前:速度与剖面渐近行为

摘要翻译: 我们研究带有周期性横向边界条件的无穷圆柱中双稳态行波前在强剪切极限下的性质。我们证明,对于每一个足够正则的周期性剪切剖面,当流动振幅趋于无穷时,归一化后的行波速度收敛。经过适当的纵向重标度和平移后,相应的剖面沿子序列收敛到极限退化方程的完整行波前。此外,在对剪切施加 Hörmander 型非退化条件的前提下,极限行波前被证明是正则的,且在平移意义下唯一,整个归一化族一致收敛。主要难点在于,变号的双稳态反应允许极限过渡通过中间横向平衡态分裂。我们通过利用此类平衡态的不稳定性,并结合适当的正则化和比较论证,排除了这种可能性。最后,与燃烧情形不同——在燃烧情形中,任何非常值且均值为零的剪切都会产生正的极限速度——我们构造了一个例子表明,对于固定的双稳态反应,光滑的均值为零的剪切可以产生负的、零或正的极限速度。特别地,该例子表明,一种在小振幅下加速传播的剪切,当其振幅变大时可能会反转传播方向。


10. 带受控漂移的非线性 Fokker-Planck 方程的存在性与爆破

Existence and Blow-Up for Non-linear Fokker-Planck with Controlled Drift

作者: Giacomo Maria Leccese

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25764v1

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

摘要翻译

中文标题: 带受控漂移的非线性 Fokker-Planck 方程的存在性与爆破

摘要翻译: 我们将 [Bianchini and Leccese, J. Math. Anal. Appl. (2024)] 中关于临界参数的全局存在性结果推广到如下多维问题 egin{equation*} \partial_t u + ext{div } (b(t,x) u^{1+k}) = Δu egin{equation*},其中 $b:(0, ∞) imesbR^d obR^d$ 为非自治场,且满足 egin{equation*} bin L^ fty_{ mathrm{loc}} igr((0, ∞),L^{p, ∞}(bR^d)igr), sqquad p>digge 2. egin{equation*} 对于临界情形,我们研究了两个有序解之间的差异,这两个解的守恒小质量吸收了漂移。有限次增量即可达到任意一个解。


11. 带势的三次-五次非线性薛定谔方程的孤子动力学

Soliton Dynamics for the Cubic-Quintic Nonlinear Schrödinger Equation with a Potential

作者: Alex H. Ardila, Rémi Carles

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25648v1

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

摘要翻译

中文标题: 带势的三次-五次非线性薛定谔方程的孤子动力学

摘要翻译: 我们研究了带有外势的三维三次–五次非线性薛定谔方程中孤立子的半经典动力学。对于由调制自由基态 $P_ω$ 给出的初始数据,我们证明了波包中心遵循相应的经典哈密顿流。对于 $ω\in\mathcal I$,我们得到了在孤子轨道附近定性持续的结果。在附加的正斜率条件 $ω\in\mathcal I_+$ 下,我们在每个固定时间区间上建立了缩放后的 $H^1$ 范数中的 $O(\eps)$ 近似。我们还推导了质量、动量和质心的 $O(\eps^2)$ 集中估计。


12. 随机库埃特流对二维 Keller–Segel 系统爆破的抑制

Suppression of Blow-up in Two-dimensional Keller–Segel Systems by Stochastic Couette Flows

作者: Fanze Kong, Krutika Tawri

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25551v1

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

摘要翻译

中文标题: 随机库埃特流对二维 Keller–Segel 系统爆破的抑制

摘要翻译: 我们研究在 $oldsymbol{eta}$ 上由随机库埃特流平流的 Keller–Segel 系统。我们证明,足够强的混合效应几乎必然地抑制趋化性爆破,从而对于任意质量的初始数据,得到唯一的整体温和解。为了证明该结果,我们利用被动标量输运方程随机解算子的先验估计和不动点论证构造极大局部温和解。全局存在性则通过时间的分块、bootstrap 论证以及第一 Borel–Cantelli 引理得以确立。


不相关论文(基本信息)

1. Mumford-Shah猜想的解决

Solution of the Mumford-Shah conjecture

作者: Francesco Deangelis

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26732v1

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

摘要: We present a compact-translation argument for the classification of planar Mumford–Shah generalized global minimizers. Two perpendicular translations of a compact isolated portion of the crack, independently relaxed in the displacement, saturate a full-plane Hodge identity. The resulting normal conditions imply a holomorphic rigidity statement which excludes that portion. Established classification theorems then leave only the constant, pure-jump, triple-junction, and crack-tip models. The planar interior regularity conjecture follows from the known equivalence between this classification and local regularity. No homogeneity assumption is imposed on the generalized global minimizer.


2. 全变分去噪的Orlicz空间松弛

Orlicz space relaxation of total variation denoising

作者: Christian Clason, Tobias Unterberger

类别: math.AP, math.FA, math.OC

发布日期: 2026-09-22

arXiv ID: 2609.26645v1

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

摘要: We consider variational image denoising with spatially dependent Orlicz regularization and introduce an Orlicz–Sobolev approximation of the ROF model based on a scaled $L\log L$-type density. For a general class of uniformly superlinear integrands satisfying a $Δ_2$-condition, we establish existence and uniqueness of minimizers and derive a Fenchel dual problem with dual attainment and pointwise optimality conditions. We then specialize the framework to a logarithmic density whose correction is activated above a prescribed local gradient scale. For this model, we obtain explicit expressions of the Fenchel dual and optimality conditions as well as a pointwise radial formula for the dual proximal map involving the Lambert $W$-function. As the logarithmic parameter tends to zero, we prove equicoercivity and $Γ$-convergence to the ROF functional, together with convergence of the corresponding minimizers. Numerical illustrations indicate that the logarithmic correction can reduce staircasing for diffuse transitions, while retaining behavior comparable to ROF for sharp interfaces and a natural image.


3. 黎曼向量丛的内在 Sobolev 迹理论及其在半线性椭圆方程中的应用

An Intrinsic Sobolev Trace Theory for Riemannian Vector Bundles with Applications to Quasilinear Elliptic Equations

作者: Carlos Daniel Velázquez-Mendoza, María de los Ángeles Sandoval-Romero, Romulo Diaz Carlos

类别: math.AP, math.DG

发布日期: 2026-09-22

arXiv ID: 2609.26744v1

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

摘要: Let $\mathbf{E}\to M$ be a finite-rank Riemannian vector bundle over a compact Riemannian manifold with nonempty smooth boundary, equipped with a compatible connection. We develop an intrinsic trace theory for Sobolev sections defined through weak covariant derivatives. For every integer $m\ge1$ and every $1\le p<\infty$, we construct continuous trace operators for the covariant derivatives up to order $m-1$ and characterize the Sobolev space with homogeneous Dirichlet boundary conditions as the kernel of the corresponding trace operator. As an application, we establish the existence of ground state solutions for a class of quasilinear elliptic equations on Riemannian vector bundles with generalized $(p,q)$-growth. The proposed framework unifies several important geometric operators, including the Bochner $p$-Laplacian, the $(p,q)$-Bochner Laplacian, and prescribed mean curvature-type operators.


4. 无界曲面上扩散方程的稳定性与极大正则性

Stability and maximal regularity of the diffusion equation on unbounded surfaces

作者: Hajime Koba

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26622v1

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

摘要: This paper studies both stability and maximal regularity of the diffusion equation on an unbounded surface without any assumptions on the curvature. We show that the surface diffusion system admits a unique global-in-time strong solution satisfying $L^2$-asymptotic stability when the slope of the surface is gentle. We also derive maximal $L^2$-regularity of the solution when the exterior force satisfies both surface divergence form and tangential condition. Moreover, we investigate the Hölder continuity with respect to time of the solution. The key idea of showing our stability and maximal regularity results is to apply nice properties of both Laplace and weighted Laplace-Beltrami operators in order to derive the properties of the Laplace-Beltrami operator on the unbounded surface.


5. 曲率上界下第二正 Neumann 特征值的精确双圆盘界

A sharp two-disk bound for the second positive Neumann eigenvalue under a curvature upper bound

作者: Meiqi Liu, Zhouyu Long, Wenming Zou

类别: math.AP, math.DG, math.SP

发布日期: 2026-09-22

arXiv ID: 2609.26609v1

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

摘要: Langford and Laugesen conjectured a sharp two-disk bound for the third Neumann eigenvalue under an upper Gaussian-curvature bound (Math. Ann. 386 (2023), 2255–2281, Conjecture 1.4). We prove the conjectured bound for bounded Lipschitz membranes with the weight regularity used by Langford and Laugesen, and strengthen it to a sharp reciprocal inequality. Let $Ω\subset\mathbb{C}$ be a bounded simply connected Lipschitz domain, let $ω\in C^2(Ω)\cap C(\overlineΩ)$ be positive on $\overlineΩ$, and equip $Ω$ with $g=ω|dz|^2$. Suppose $K_g\le K$, $A=\int_Ωω\,dx>0$, and $KA<4π$ when $K>0$. Enumerate the Neumann eigenvalues, counting multiplicity, by $0=λ_0<λ_1\leλ_2\le\cdots$. If $D_K(A/2)$ is the constant-curvature geodesic disk of area $A/2$, then $\frac{1}{λ_2(Ω,g)}+\frac{1}{λ_3(Ω,g)}>\frac{2}{λ_1(D_K(A/2))}$ and $λ_2(Ω,g)<λ_1(D_K(A/2))$. No simplicity of $λ_1$ or boundary differentiability of $ω$ is required. The same conclusions hold for relatively compact disk-type Lipschitz domains in smooth Riemannian surfaces. Both bounds are sharp at fixed area and curvature upper bound: for each admissible $K,A$, a sequence of smooth connected domains of area $A$ in the constant-curvature model has fixed-index Neumann spectra converging to those of $D_K(A/2)\sqcup D_K(A/2)$. Neither extremal value is attained in either connected class. The proof uses two-pole Green coordinates, a positive-kernel comparison, simultaneous centering of two complex moments, and a shifted reciprocal variational estimate.


6. $L^2$ 曲率界:模(2)面积极小流

$L^2$ Curvature Bounds for Area-Minimizing Currents Mod(2)

作者: Zachary Lihn

类别: math.DG, math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26592v1

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

摘要: We prove \emph{a priori} interior $L^2$ bounds for the second fundamental form of area-minimizing currents modulo $2$ in every dimension $n\geq 2$ and arbitrary codimension. The bounds depend only on the dimension, codimension, and an upper bound for the mass. As a corollary, we show that area-minimizing surfaces modulo $2$ with bounded area lie in finitely many diffeomorphism classes. This answers a question of \cite{Liu2020WeakCounterexamples}.


7. 玻色气体 $Φ^4_d$ 极限的上符号方法

An upper-symbol approach to $Φ^4_d$ limits of Bose gases

作者: Hao Liang

类别: math-ph, math.AP, math.PR

发布日期: 2026-09-22

arXiv ID: 2609.26518v1

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

摘要: We study the high-temperature derivation of $Φ^4_d$ measures from grand-canonical Bose gases on two- and three-dimensional tori. Building on the upper-symbol variational approach of the author’s earlier work, we use relative entropy to give a simple, unified proof of relative free-energy convergence and Hilbert–Schmidt convergence of all fixed-order rescaled reduced density matrices to their Hartree counterparts. For interaction ranges $\varepsilon=λ^η$, where $λ$ is the inverse temperature, these results hold for every fixed $0<η<1/2$ in two dimensions and $0<η<1/26$ in three. In two dimensions, we improve the result of Jougla and Rougerie (2026) and the local $Φ^4_2$ derivation of Fröhlich, Knowles, Schlein and Sohinger (2025). Combined with classical approximation, the two-dimensional result gives the first local $Φ^4_2$ derivation valid for every fixed exponent $0<η<1/2$, allowing polynomial exponents arbitrarily close to the diluteness threshold from below. In three dimensions, we strengthen the weak convergence at finitely many orders established by Nam, R.~Zhu and X.~Zhu Theorem~2.8 to Hilbert–Schmidt convergence at every fixed order.


8. 非线性晶格波动方程中的同宿轨道、孤子波与呼吸子

Homoclinics, rogue waves and breathers in nonlinear lattice wave equations

作者: Julia Henninger, Wolfgang Reichel

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26456v1

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

摘要: We prove the existence of rogue waves and breathers in nonlinear lattice wave equations including the nonlinear Klein–Gordon and the FPUT lattice (with added local forces). The main feature of our lattice wave equation is that the kinetic part $\frac{\mathrm{d}^2}{\mathrm{d}t^2}$ is multiplied by a non-constant function $\frac{1}{d(t)}$ such that gaps in the spectrum of $\frac{1}{d(t)}\frac{\mathrm{d}^2}{\mathrm{d}t^2}$ open wide enough to include the spectrum of the spatial linear operator. We find solutions as critical points of an indefinite functional using a saddle-point method combined with concentration-compactness arguments. In case of temporally $T$-periodic coefficients and under identical assumptions as for rogue waves, the same variational method also provides existence of breather solutions whose temporal period is an arbitrary prescribed integer multiple of $T$.


9. 主 Floquet 丛的定性性质及其应用

Qualitative Properties of the Principal Floquet Bundle and Their Applications

作者: Yun Li, Yuan Lou, Zhi-Cheng Wang

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26385v1

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

摘要: Floquet bundle theory serves as a natural extension of the eigenvalue theory for elliptic and periodic parabolic operators to the spectral theory of non-autonomous, non-periodic parabolic operators, which provides a useful spectral tool for studying threshold dynamics in more general non-autonomous systems. However, current understanding and applications of the normalized principal Floquet bundle remain rather limited compared with the eigenvalue theory for elliptic or periodic parabolic problems. In this work, we first extend several fundamental properties of the principal eigenvalue to the normalized principal Floquet bundle of non-autonomous, non-periodic parabolic operators, and obtain a series of parallel results. Furthermore, we focus on the asymptotic behavior of the principal Floquet exponent with respect to the generalized frequency and diffusion rate under various typical parameter limits (including both independent and coupled parameter regimes) for the operator under homogeneous Neumann boundary conditions. The main tools are a parabolic comparison principle developed in this work for long-time limit processes, which is used to derive bounds for the principal Floquet exponent via suitably constructed sub- and super-solutions, supplemented by Harnack’s inequality and long-time averaging techniques. Finally, we employ the normalized principal Floquet bundle to define two critical numbers (as extensions of the basic reproduction number) for a non-autonomous spatially diffusive SIS epidemic model, examine the extinction and weak persistence of the disease, and investigate the limiting behavior of the basic critical numbers with respect to the generalized frequency and diffusion rate.


10. 临界 CR GJMS 算子的下界

Lower bounds for the critical CR GJMS operator

作者: Yuya Takeuchi

类别: math.DG, math.AP, math.CV, math.SP

发布日期: 2026-09-22

arXiv ID: 2609.26371v1

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

摘要: We establish lower bounds for the critical CR GJMS operator on closed pseudo-Hermitian manifolds. In dimension $2n+1$, assuming embeddability, we obtain a lower bound involving the Heisenberg Sobolev norm of order $n+1$, modulo an $L^{2}$ term, on the orthogonal complement of the kernel. In dimension three, we prove that the CR Paneitz operator is bounded below without assuming embeddability. The proofs combine the Heisenberg calculus with a square-root construction based on the joint functional calculus of the sub-Laplacian and the Reeb vector field on the Heisenberg group. As an application, we show that the infinitely many negative eigenvalues of the CR Paneitz operator on the Rossi sphere have zero as their only accumulation point. Consequently, this operator does not have closed range.


11. $J$-零集与半稳定 $J$-方程弱解的局部正则性

The $J$-Null Locus and Local Regularity of Weak Solutions of the Semistable $J$-Equation

作者: Hao Fang, Biao Ma

类别: math.DG, math.AP, math.CV

发布日期: 2026-09-22

arXiv ID: 2609.26340v1

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

摘要: For the semistable $J$-equation, we prove that the numerical $J$-null locus coincides with the ambient $C^2$-singular locus of Murakami’s weak solution. Consequently, this singular locus is a proper analytic subset with finitely many irreducible components, and the weak solution is locally smooth outside the $J$-null locus. The proof relies on two analytic ingredients. First, we establish a regularization theorem for singular $J$-subsolutions, showing that Demailly’s global regularization preserves quantitative strict cone conditions. Thus, singular strict subsolutions with prescribed analytic poles can be replaced by smooth strict subsolutions away from their pole sets. Second, we derive relative a priori estimates adapted to these subsolutions: a relative $L^\infty$-estimate from determinant control and a weighted second order estimate yielding uniform $C^2$-bounds on compact subsets of the regular locus.


12. Liouville 方程稳态弱解的小能量正则性

Small-energy regularity for stationary weak solutions of the Liouville equation

作者: Haotong Fu, Kelei Wang, Wei Wang, Ke Wu

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.26026v1

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

摘要: We establish small-energy regularity for stationary weak solutions of the Liouville equation $ -Δu=e^u $ in every dimension. It solves a problem left open in Da Lio [Commun. Partial Differ. Equations, 2008] and posed explicitly again by Da Lio and Hyder in [Commun. Contemp. Math. 2025]. The proof relies on the analysis of concentration phenomena for almost stationary fields with structure constraints.


13. 半调和映射热流的阈值化方案

Thresholding Scheme for the Half-Harmonic Map Heat Flow

作者: Kilian Koch, Christof Melcher, Endre Süli

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25912v1

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

摘要: We propose a thresholding scheme for the half-harmonic map heat flow from the flat torus $\mathbb{T}^d$ into the unit sphere $\mathbb{S}^m$ in $\mathbb{R}^{m+1}$, whose iterates are given by convolution with the Poisson kernel, replacing the Gaussian kernel of the classical Merriman-Bence-Osher algorithm, and pointwise normalization. We prove that the piecewise constant interpolants subconverge to a weak solution of the half-harmonic maps heat flow that attains the initial map strongly in the energy space and satisfies the energy-dissipation inequality. For a spectrally truncated variant, convergence holds under a condition on the step size. A key ingredient is the derivation of the precise energy-dissipation identity directly from a refined within-step estimate, without resorting to De Giorgi interpolation typically used in the minimizing movement framework. This provides a direct way to recover the appropriate energy-dissipation property in the limit and, in turn, enables weak-strong uniqueness: every energy-dissipating weak solution coincides with the strong solution whenever the latter exists.


14. 加权 Hardy 不等式的定量稳定性:局部与非局部情形

Quantitative stability for weighted Hardy inequalities: Local and nonlocal cases

作者: Vivek Sahu

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25952v1

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

摘要: We establish quantitative stability estimates for weighted Hardy inequalities in the local and fractional settings, showing that the Hardy deficit controls the distance of a normalized admissible function to the family of virtual extremizers. In the local case, for $p>1$, $α\in[0,1)$, $0<p-αp<N$, and $u\in C_c^1(\mathbb{R}^N)$ normalized by $\int_{\mathbb{R}^N}|u|^p|x|^{αp-p}\,dx=1$, we prove \begin{equation*} \int_{\mathbb{R}^N}|\nabla u|^p|x|^{αp},dx-\Big(\frac{N-p+αp}{p}\Big)^p\int_{\mathbb{R}^N}\frac{|u|^p}{|x|^{p-αp}},dx \ge C,\operatorname{dist}α(u,\mathcal{M}α)^{\max{4,2p}}, \end{equation*} where $\mathcal{M}_α$ is generated by the virtual extremizer with scale-invariant distance. We extend this to the weighted fractional Hardy inequality: for $s\in(0,1)$, $α=α_1+α_2\ge0$, $α_1p,α_2p\in(-N,sp)$, and $0<sp-αp<N$, the fractional Hardy deficit satisfies \begin{equation*} \int{\mathbb{R}^{N}}\int{\mathbb{R}^{N}}\frac{|u(x)-u(y)|^p}{|x-y|^{N+sp}}|x|^{α_1p}|y|^{α_2p},dx,dy-\mathcal{C}\int_{\mathbb{R}^N}\frac{|u|^p}{|x|^{sp-αp}},dx \ge C,\operatorname{dist}{s,α}(u,\mathcal{M}{s,α})^{\max{4,2p}}. \end{equation*} For $p\ge2$ the distance is measured on $u$, while for $1<p<2$ it is measured on a power-type transformation of $u$. Both recover the unweighted results when the weights vanish. We also prove weighted Sobolev and fractional Sobolev extension and embedding inequalities on bounded smooth domains avoiding the origin. The proof is rearrangement-free, combining these inequalities with scale-invariant Poincaré–Sobolev estimates on annuli, telescoping oscillation decompositions, and weighted Lorentz-space embeddings. The distinction between $p\ge2$ and $1<p<2$ stems from the convexity estimate used to obtain a remainder term from the deficit.


15. $\mathscr{A}$-自由测度与 Carnot 群中的秩一定理

$\mathscr{A}$-free measures and the Rank-one Theorem in Carnot Groups

作者: Guido De Philippis, Alberto Gervani, Annalisa Massaccesi, Davide Vittone

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25895v1

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

摘要: We establish a structure theorem for measures satisfying left-invariant PDE constraints in Carnot groups. Our generalization, that takes inspiration from the paper arxiv:1601.06543 by the first named author and F. Rindler, requires the introduction of the hypoelliptic wave cone, a sub-Riemannian version of the wave cone from the theory of Compensated Compactness, and it employs classical results in Harmonic Analysis on homogeneous spaces. Then, we utilize this result to extend the Rank-one Theorem for functions of bounded horizontal variation ($BV_H$) to all Carnot groups. This is achieved by considering a suitable curl-type left-invariant operator, that provides necessary differential constraints for horizontal gradients, and by studying the hypoellipticity of said constraints.


16. logistic源在奇异趋化城市犯罪模型中的作用

Roles of logistic source in a singular chemotaxis urban crime model

作者: Bin Li, Tian Xiang

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25896v1

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

摘要: In this paper, we systematically exhibit the roles of logistic source on global boundedness and convergence of classical solutions, and global existence and eventual smoothness as well as convergence of generalized solutions for a singular chemotaxis urban crime model. Roughly speaking, this work shows that suitably (can be precise) strong logistic damping ensures boundedness and convergence of classical solutions, and weak logistic damping ensures global existence of generalized solution and its eventual smoothness as well as convergence in two and three dimensions. The former in particular implies that strong logistic damping can prevent the formation of crime hotspots (spatial patterns). Previous known results in this respect are thus significantly improved and extended.


17. 带阻抗边界空腔中的逆弹性散射问题

The inverse elastic scattering problem in the cavity with impedance boundary

作者: Shiyu Xu, Huiling Zheng, Fang Zeng

类别: math.NA, math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25858v1

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

摘要: In this paper, we investigate the elastic inverse scattering problem in a two-dimensional cavity with an impedance boundary condition. We prove that the scattered fields inside the cavity satisfy a reciprocity relation, and prove that both the shape of cavity and the impedance parameter on the boundary can be uniquely determined from the scattered fields measured on an interior curve. Numerically, we first employ the linear sampling method to reconstruct the shape, and then recover the impedance parameter by combining potential theory with the least squares method. Several numerical experiments are presented to demonstrate the feasibility and effectiveness of our methods.


18. 与Green势耦合的调和映射热流

Harmonic Map Heat Flow Coupled to a Green-Potential

作者: Zhe Zhang

类别: math.AP, math.DG

发布日期: 2026-09-22

arXiv ID: 2609.25893v1

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

摘要: We introduce a Green–potential heat flow for maps from a closed Riemannian surface. Inspired by Parker–Wolfson renormalization~\cite{ParkerWolfson1993,Parker1996}, the conformal factor is reconstructed at each time from an energy-based source determined by the current map. The resulting parabolic–elliptic system incorporates renormalization into the evolution while leaving the Dirichlet energy functional and its harmonic critical points unchanged. We establish local well-posedness for $H^3$ initial data and a continuation criterion in terms of energy concentration. For sufficiently large coupling, we exclude finite-time bubbling and obtain global solutions. At infinite time, the energy identity provides only weighted $L^2$ control of the tension field. Localizing to regular regions of concentration charts yields harmonic profiles along subsequences of prescribed times. We represent these profiles in the flow’s packet charts, organize them into a finite bubble tree, and decompose the limiting energy into harmonic component energies and neck energies. A critically normalized radial example illustrates how the modified flow can prevent finite-time blow-up and produce harmonic bubbles with no-neck property.


19. 加权空间中具有耗散势的 Schrödinger 算子

Schrödinger operators with accretive potentials in weighted spaces

作者: Borbala Gerhat, Petr Siegl

类别: math.SP, math-ph, math.AP, math.FA

发布日期: 2026-09-22

arXiv ID: 2609.25826v1

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

摘要: We analyse Schrödinger operators with accretive potentials in weighted spaces. We find conditions on potentials and weights for which the Dirichlet realisation, introduced by generalised form methods, has non-empty resolvent set. We establish a domain and graph norm separation property, as well as sufficient conditions for the compactness and Schatten class of the resolvent. Moreover, we investigate the relation between discrete spectra and eigenfunctions of operators in standard and weighted spaces. As applications we extend results on the completeness of eigensystems of operators with accretive potentials from standard to weighted spaces and analyse operator matrices exhibiting a Schur dominance property, in particular, related to a wave equation with strong accretive damping.


20. Grushin平面上的调和映射, 第二部分

Harmonic mappings on Grushin planes, part II

作者: Tomasz Adamowicz, Krzysztof Chełmiński, Marcin Walicki

类别: math.AP, math.CV

发布日期: 2026-09-22

arXiv ID: 2609.25801v1

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

摘要: We study harmonic mappings between the source domain in the $α$-Grushin plane and the target domain in the $β$-Grushin plane for $α$ not necessarily equal to $β$ and $α\in [0,1)$. Our harmonic mappings arise as a Euler–Lagrange system of equations related to the Dirichlet energy and are studied in weak and strong forms. The key results enclose the second order regularity of harmonic mappings, the Bochner identity, the weak Harnack estimates for coordinate functions of a harmonic mapping, as well as the Caccioppoli estimates and the Liouville type theorem. Furthermore, we discuss several examples of (Grushin) harmonic mappings and, in particular, relate them to holomorphic mappings in the plane.


21. 关于带有共振次齐次项的 $p$-拉普拉斯算子的广义 Fredholm 替代定理

On the generalized Fredholm alternative for the $p$-Laplacian with resonant subhomogeneous terms

作者: Vladimir Bobkov

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25768v1

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

摘要: Let $1 \leq q < p$ and let $λ_1$ be the first eigenvalue of the $p$-Laplacian in a bounded domain $Ω$. We study the energy functional

$$ E_λ(u)=\frac{1}{p}\left(\int_Ω|\nabla u|^p\,dx -λ\int_Ω|u|^p\,dx\right)-\mathcal{F}(u), \quad u\in W_0^{1,p}(Ω), $$

where $\mathcal{F}$ is positively $q$-homogeneous and vanishes along the first eigenspace. Assuming a suitable relation between $\mathcal{F}$ and the $κ$-th power of the principal part of $E_{λ_1}$ near this eigenspace, we describe the behavior of $E_{λ_1}$ according to the relations $pκ<q$, $pκ=q$, or $pκ>q$. In particular, the functional is unbounded from below in the first case, and has a negative infimum in the last case. We then study how sufficiently small $q$-homogeneous perturbations of $\mathcal{F}$ influence the geometry of $E_λ$. In this way, we describe assumptions guaranteeing the existence of three critical points in a left neighborhood of $λ_1$ and two critical points in a right neighborhood of $λ_1$, which indicates an $S$-shaped structure of the solution set. The results are applied to double-phase functionals and the nonlinear Fredholm alternative.


22. 关于单空间维可测系数抛物型方程:Sobolev 估计与 Alexandrov 极大值原理

On one-space dimensional parabolic equations with measurable coefficients: Sobolev estimates and the Alexandrov maximum principle

作者: Hongjie Dong, Zongyuan Li

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25568v1

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

摘要: Let $0<κ<1$ and set $p_+=2/(1-κ)$ and $p_-=2/(1+κ)$. We construct a coefficient $κ\leq a\leqκ^{-1}$, smooth outside a compact set of Lebesgue measure zero, for which the $W^{1,2}_{p_+}$ estimate fails for the one-space dimensional nondivergence form parabolic equation. The corresponding solution has second spatial derivative in the weak $L_{p_+}$ space, but not in $L_{p_+}$. By duality, the $W^{1,2}_{p_-}$ a priori estimate also fails. Conversely, we demonstrate that the $W^{1,2}_p$ estimate holds and the equation is uniquely solvable for $|p-2|<cκ$, showing that the size of the solvability interval around $2$ has optimal order $κ$ as $κ\downarrow0$, which addresses a question raised in [17]. These results imply that the Alexandrov maximum principle holds for $p>2-cκ$ and this order is sharp as $κ\to 0$. The corresponding results for divergence form equations are also obtained.


23. 带有退化Bernoulli权重的协同系统的一个极小化问题

A minimization problem for a cooperative system with a degenerate Bernoulli weight

作者: Lili Du, Chunlei Yang, Jing Yang

类别: math.AP

发布日期: 2026-09-22

arXiv ID: 2609.25544v1

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

摘要: In this paper, we study local minimizers of the energy functional$J(\mathbf{u}) = \int_D (|\nabla \mathbf{u}|^2 + Q^2(x)χ_{Ω_{\mathbf{u}}})\,dx$ which give rise to a singular cooperative system. Here $\mathbf{u}=(u_1,\dots,u_m): D\to\R_+^m$ is a vector-valued unknown function, $Ω_{\mathbf{u}}:=\{|\mathbf{u}|>0\}$ is the positive set, $χ_{Ω_{\mathbf{u}}}$ is the characteristic function of the positive set $Ω_{\mathbf{u}}$, and $Q(x)$ is the Bernoulli weight function. This problem was first introduced by Caffarelli, Shahgholian, and Yeressian in the poineer work ({\it Duke Math. J.} \textbf{167}(10), 2018), where the regularity theory for minimizers and for the free boundary $\partialΩ_{\mathbf{u}}$ was established for nondegenerate Bernoulli weights, i.e., $Q(x)\ge Q_{\rm min}>0$. The present paper studies the same free boundary problem but for a degenerate Bernoulli weight. The main difficulty lies in the coupling between the nondegeneracy of $Q(x)$ and the vector-valued nature of the problem. We show that the the free boundary set $\partialΩ_{\mathbf{u}}\cap\{Q(x)=0\}$ decomposes into a nondegenerate part and a degenerate part. Nondegenerate points admit nontrivial blow-up limits; degenerate points have zero weighted density. We classify nondegenerate points into single-phase, multi-phase non-branching, and multi-phase branching points, analyzing their geometric structure. The branching-point singular structure for multi-phase points is purely vectorial and new in this setting. Finally, following Naber–Valtorta (Ann. Math. 185, 2017) and Edelen–Engelstein (Trans. Amer. Math. Soc. 371, 2019), we prove the nondegenerate set has locally finite $\mathcal{H}^{n-2}$-measure and is countably $(n-2)$-rectifiable.


24. Lorentzian 图的测地线与 Born-Infeld 模型

Light rays of Lorentzian graphs and the Born-Infeld model

作者: Cristiana De Filippis, Giuseppe Mingione

类别: math.AP, math.DG, math.MG

发布日期: 2026-09-21

arXiv ID: 2609.25449v1

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

摘要: Following a program outlined by Bartnik, and also employing nonlinear potential techniques we developed in the last years, we study lightlike singularities of variational solutions to the prescribed Lorentzian mean curvature equation with possibly unbounded (rough) curvature. This corresponds to allowing for unbounded charges in the Born-Infeld model.


25. Nirenberg 定理与来自无迹对称矩阵的奇异解

Nirenberg’s Theorem and Singular Solutions from Traceless Symmetric Matrices

作者: BaoZhi Chu

类别: math.AP

发布日期: 2026-09-21

arXiv ID: 2609.25416v1

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

摘要: Nirenberg’s theorem gives interior $C^{2,α}$ regularity for continuous viscosity solutions of fully nonlinear uniformly elliptic equations $F(D^2u)=0$ in dimension two. In dimensions five and higher, the work of Nadirashvili–Tkachev–Vlăduţ shows that such solutions need not be $C^2$. We construct a family of $C^{1,1}\setminus C^2$ functions $\{w_m\}_{m\geq3}$ and uniformly elliptic operators $F_m$ such that $F_m(D^2 w_m)=0$ in $\mathbb{R}^{d_m}$, where $d_m=m(m+1)/2-1$. These solutions are given by $\operatorname{tr}(X^3)/\sqrt{\operatorname{tr}(X^2)}$ on the space of traceless real symmetric $m\times m$ matrices. When $m=3,4$, this family recovers the known singular solutions associated with the five-dimensional Cartan isoparametric cubic and the nine-dimensional Hsiang minimal cubic, respectively. Our construction treats all $m\geq3$ in a unified way by direct analysis on traceless symmetric matrices. We also prove a geometric criterion for pointwise $C^{2,β}$ regularity of continuous viscosity solutions $u$ of uniformly elliptic equations $F(D^2u)=0$ in every dimension $n\geq 3$. Suppose that $n-2$ smooth hypersurfaces pass through a point $p$, each carrying a smooth vector field along which the directional derivative of $u$ is constant on that hypersurface. If these vector fields are linearly independent at $p$, then $u$ is twice differentiable at $p$ and admits a pointwise $C^{2,β}$ expansion for some $β\in(0,1)$. Our criterion is quantitative and yields interior $C^{2,β}$ regularity under uniform geometric hypotheses. As an application, we extend Nirenberg’s theorem to a general class of solutions in dimensions three and higher. As a consequence, we establish interior $C^{2,β}$ regularity for solutions of Dirichlet problems with certain group symmetries. This extends a result of Nadirashvili–Vlăduţ for axially symmetric problems.


26. 多拉普拉斯算子 Agmon 猜想的解

The Solution to Agmon’s Conjecture for the polylaplacian

作者: Artur Andrade, Dorina Mitrea, Irina Mitrea, Marius Mitrea

类别: math.AP

发布日期: 2026-09-21

arXiv ID: 2609.25401v1

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

摘要: In his 1957 paper on the Dirichlet problem for higher-order elliptic equations in the plane, Agmon conjectured that there should exist higher-order equations in dimensions greater than two for which a potential-theoretic approach based on multi-layer integral operators can be successfully implemented. We show that this is indeed the case for the polyharmonic operator $Δ^m$ of arbitrary order $m\in\mathbb{N}$ in $\mathbb{R}^n$, $n\geq 2$, even in geometrically rough domains permitting singularities beyond the scope of the existing theory of higher-order elliptic boundary value problems. Central to our approach is a new genre of multi-layer singular integral operators, which play for $Δ^m$ the role assumed by the classical harmonic double layer potential in the treatment of the Dirichlet problem for harmonic functions.


27. Calabi-Yau 锥的 crepant 解消上的 dHYM 方程

The dHYM equation on crepant resolutions of Calabi-Yau cones

作者: Eder M. Correa

类别: math.DG, math-ph, math.AG, math.AP, math.CA

发布日期: 2026-09-21

arXiv ID: 2609.25309v1

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

摘要: In this paper, we study the deformed Hermitian-Yang-Mills (dHYM) equation on the non-compact Calabi-Yau manifold $Z = {\rm{Tot}}({\bf{K}}_{X})$, where $X$ is a rational homogeneous variety. Since $X$ is a Fano variety, $Z$ is a resolution of the singularity at the vertex of the affine cone ${\rm{Aff}}(X)$, provided the cone is built using the anticanonical polarization ${\bf{L}} = {\bf{K}}_{X}^{-1}$. Using the cohomogeneity-one symmetry of the Ricci-flat Kähler metric obtained via the Calabi ansatz on $Z$, we reduce the fully nonlinear PDE underlying the dHYM equation to a scalar, asymptotically autonomous ordinary differential equation (ODE). From this, we determine the exact condition on the topological phase that guarantees global existence of solutions. As an application, we show that every holomorphic line bundle over $Z$ admits a smooth, globally defined Hermitian connection solving the dHYM equation, provided the total phase lies in an explicit open interval determined by the Lie-theoretic data. Also, we prove a rigidity result classifying the exact geometric conditions under which the dHYM solution collapses into a classical Hermitian-Yang-Mills (HYM) connection. The results established generalize previous constructions and provide a substantial new class of examples. Furthermore, the approach presented allows one to study the behavior of the dHYM solutions through ODE methods. Using this approach, we construct the first explicit non-trivial example of a Hermitian-Einstein connection on a line bundle over a non-toric Calabi-Yau manifold which is not dHYM.