生成时间: 2026年09月02日 07:21:44

运行状态: 完成

计划处理论文数量: 39

已完成论文数量: 39

未完成论文数量: 0

重点关注论文数量: 6

了解领域论文数量: 6

不相关论文数量: 27

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

1. Euler–Poisson–Boltzmann 膨胀简单波的均匀稳定性：一种奇异补偿方法

Uniform stability of expanding simple waves for Euler–Poisson–Boltzmann: a singular compensation approach

作者: Louis Shuo Wang, Jiguang Yu

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01589v1

摘要翻译: 我们在圆柱 $\R\times\T$ 上严格论证了具有 Maxwell–Boltzmann 电子的温离子 Euler–Poisson 系统的准中性极限。参考动力学由有效 Euler 系统的一个全局光滑的膨胀平面简单波控制，该简单波连接不同的中性远场状态。对任意有限阶 $M$，我们构造了一个偶 Debye 展开，其残差为 $O(\eps^{2M+2})$，并在任意固定时间区间 $[t_0,T]$ 上建立了均匀非线性稳定性，其中寿命与能量估计完全独立于 Debye 长度 $0<\eps\le\eps_0$。核心分析贡献是一种奇异补偿机制：通过对流体输运进行分部积分，并将温离子对称化子直接与时间微分后的非线性 Poisson 约束相耦合，我们提取了一个 $\eps$-均匀的相对能量拓扑。这将势函数限制在 $H^s$ 中，将其梯度限制在缩放范数 $\eps H^s$ 中，从而绕过了动量方程中致命的 $\eps^{-1}$ 惩罚。因此，该框架能够容纳真正二维横向扰动，包括特定涡度的输运。这为良好准备的数据提供了一个定量的、任意阶的准中性展开，严格地将光滑膨胀波的稳定性与中心 Riemann 扇形几何奇异性隔离开来。

Comment: 无

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

1. 研究对象和背景

本文研究的是等离子体物理中经典的准中性极限问题，具体针对包含温离子 (warm-ion) 的 Euler-Poisson 系统与 Maxwell-Boltzmann 电子模型。研究对象定义在圆柱域 $\Omega = \mathbb{R} \times \mathbb{T}$ 上，控制方程组为：

$$ \begin{aligned} &\partial_t n + \operatorname{div}(nu) = 0, \\ &\partial_t u + u \cdot \nabla u + \nabla h_i(n) = -\nabla \phi, \\ &\varepsilon^2 \Delta \phi = e^\phi - n, \end{aligned} $$

其中 $n > 0$ 是离子密度，$u = (u_1, u_2)$ 是速度场，$\phi$ 是静电势，而 $\varepsilon$ 代表 Debye 长度（即介电尺度）。该系统的远场状态满足中性条件 $(n, u, \phi) \to (n_\pm, (u_\pm, 0), \log n_\pm)$ 当 $x_1 \to \pm \infty$。

当形式地令 $\varepsilon = 0$ 时，Poisson 方程退化为 $\phi = \log n$，从而导出有效等熵 Euler 系统：

$$ \begin{aligned} &\partial_t N + \operatorname{div}(NU) = 0, \\ &\partial_t U + U \cdot \nabla U + \nabla q(N) = 0, \end{aligned} $$

其声速由 $c_q(N)^2 = p'_i(N) + 1$ 给出，这里的 “+1” 项源自 Boltzmann 电子压力。

以往关于准中性极限的研究主要集中在常值平衡态附近或一维情形。Cordier-Grenier [5] 在一维情况下建立了强解理论，Wang [30] 处理了周期性多维情况并导出了不可压极限，Peng-Wang-Yong [24] 发展了非等熵展开。然而，对于连接不同远场状态的非常值背景流，特别是涉及二维横向扰动且无耗散机制（如粘性或动能耗散）的情况，现有的能量估计方法往往失效。这是因为 Poisson 约束中的奇异标度 $\varepsilon^{-1}$ 会在动量方程的能量估计中引入致命的损失，导致无法获得与 $\varepsilon$ 无关的统一寿命。

本文旨在填补这一空白：在一个全局光滑的膨胀平面简单波 (expanding planar simple wave) 背景下，严格证明任意有限阶的准中性展开及其非线性稳定性。参考动力学由有效 Euler 系统的一个光滑简单波 $(N^r, V^r, 0)$ 描述，该波通过单调光滑 Burgers 数据生成，连接两个不同的中性远场状态。问题的核心难点在于如何处理内部奇异的电过渡区域，同时保持对完全二维旋转扰动的控制，而不依赖于几何奇点（如中心黎曼扇形顶点）的特殊结构分析。

2. 主要定理或主要结果

本文的主要结果概括如下：

定理 4.1 (光滑膨胀简单波的均匀稳定性)： 假设 Assumption 3.1 成立（包括温离子、紧态范围及真实非线性），固定时间区间 $[t_0, T]$ ($t_0 \ge 0$)。对于任意有限阶数 $M \ge 0$，存在 $\varepsilon_0, \eta_0 > 0$ 以及一个复合剖面 $(n_a, u_a, \phi_a)$ 形式为：

$$ (n_a, u_a, \phi_a) = (N^r, (V^r, 0), \log N^r) + \sum_{j=1}^{M} \varepsilon^{2j} (N_j, U_j, \Phi_j), $$

使得对于 $0 < \varepsilon \le \varepsilon_0$，若初始数据满足远场条件且相对能量 $E_{s,\varepsilon}[r_0, v_0, \psi_0](t_0) \le \eta_0^2$，则系统在 $[t_0, T]$ 上存在唯一经典解。关键估计为：

$$ \sup_{t_0 \le t \le T} E_{s,\varepsilon}(t) \le C_{t_0,T} \left( E_{s,\varepsilon}(t_0) + \varepsilon^{4M+4} \right), $$

其中常数 $C_{t_0,T}$ 及小性阈值均独立于 $\varepsilon$。这意味着扰动的大小可以独立于 Debye 长度，只要其相对于复合剖面的能量足够小。

推论 4.2 (任意阶准中性展开)： 在定理 4.1 的条件下，如果初始数据经过“制备” (prepared)，即 $E_{s,\varepsilon}(t_0) \le C_0 \varepsilon^{4M+4}$，则解与复合剖面之间的误差满足：

$$ \sup_{t_0 \le t \le T} \left( \|n - n_a\|_{H^s} + \|u - u_a\|_{H^s} + \|\phi - \phi_a\|_{H^s} + \varepsilon \|\nabla(\phi - \phi_a)\|_{H^s} \right) \le C \varepsilon^{2M+2}. $$

特别地，对于零阶近似，有 $\|n - N^r\|_{H^s} + \|u - (V^r, 0)\|_{H^s} + \|\phi - \log N^r\|_{H^s} \le C \varepsilon^2$。

命题 5.2 (与中心黎曼扇形的比较)： 作者量化了构造的光滑参考波与经典自相似中心黎曼稀薄波之间的关系。对于指数局域化的初始数据，证明了：

$$ \sup_{x_1 \in \mathbb{R}} |(N^r, V^r)(t, x_1) - (N^c, V^c)(x_1/t)| \le C \frac{\Delta w}{1 + t \Delta w \log(2 + t \Delta w)}, $$

表明随着 $t \to \infty$，光滑参考波一致收敛于中心 Euler 稀薄波。这明确了本文结果是关于光滑精确简单波的稳定性，而非直接处理带有几何奇点的中心扇形边缘。

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

本文的核心技术贡献在于开发了一种奇异补偿机制 (singular compensation mechanism)，以克服传统能量估计中因 Debye 长度奇异标度导致的 $\varepsilon^{-1}$ 惩罚。

  1. 奇异电结构的分析与障碍： 设相对变量 $r = n - n_a$, $v = u - u_a$, $\psi = \phi - \phi_a$。Poisson 方程之差给出：

    $$ -\varepsilon^2 \Delta \psi + A_a(\psi)\psi = r + R^a_\phi, $$

    其中 $A_a(\psi) = e^{\phi_a} \int_0^1 e^{\theta \psi} d\theta$。虽然该算子是均匀筛选的 (uniformly screened)，但直接利用图估计只能得到 $\|\psi\|_{H^s} + \varepsilon \|\nabla \psi\|_{H^s} \lesssim \|r\|_{H^s} + \|R^a_\phi\|_{H^s}$。单独看，这不足以在 $H^s$ 范数下均匀控制 $\nabla \psi$；事实上，直接使用会导致 $\|\nabla \psi\|_{H^s} \lesssim \varepsilon^{-1} (\dots)$，将其代入动量方程的 $H^s$ 估计会破坏统一寿命。因此，最高阶电项不能通过 Cauchy-Schwarz 不等式进行常规估计。

  2. 补偿机制的具体实现： 作者采用分部积分法处理流体输运项，并将温离子的对称化子 (symmetrizer) 直接与时间微分后的非线性 Poisson 约束耦合。具体步骤包括：

    • 对流体输运项进行分部积分，保留输运项而不是估计 $\nabla \partial^\alpha \psi$。
    • 将交换后的 Poisson 关系代入该输运项。
    • 对非线性 Poisson 约束进行时间微分。 这一过程提取出一个 $\varepsilon$-均匀的相对能量拓扑，其核心项为：
      $$ \frac{1}{2} \int_\Omega \left( A |\partial^\alpha \psi|^2 + \varepsilon^2 |\nabla \partial^\alpha \psi|^2 \right) dx, $$
      其中 $A = e^{\phi_a + \psi}$。这种结构允许在 $H^s$ 范数下控制 $\psi$，并在缩放范数 $\varepsilon H^s$ 下控制 $\nabla \psi$，从而绕过了动量方程中致命的 $\varepsilon^{-1}$ 损失。残余项通过 $R^a_\phi \in H^{s+1}$ 闭合，而非线性筛选交换子仅需 $\psi \in H^s$ 和 $\varepsilon \nabla \psi \in H^s$ 即可闭合，整个过程中没有除以 $\varepsilon$ 的步骤。

  3. Debye 展开的构造与余项估计： 作者构造了一个偶数阶 Debye 展开至 $\varepsilon^{2M}$ 阶。修正项层级具有三角结构：在第 $j$ 阶，Poisson 方程给出 $\Phi_j = (N_j + S_j)/N^r$，其中 $S_j$ 仅依赖低阶项。将此代入动量方程后，未知量 $N_j$ 被吸收到有效压力系数 $q'(N^r)$ 中，保证了每一阶流体方程都具有相同的严格双曲主部。通过精细的导数计数和 tame 乘积估计，证明了余项为 $O(\varepsilon^{2M+2})$，且所有修正项在空间无穷远处趋于零。

  4. 二维横向扰动的处理： 由于补偿机制不依赖于旋度为零的假设，框架能够容纳真正的二维横向扰动，包括比涡度 (specific vorticity) 的输运。这与许多仅处理不可压或无旋流的现有工作形成对比。

4. 与之前工作的比较

本文将奇异摄动理论与非恒定双曲波的稳定性相结合，相较于既有文献在以下几个方面取得了显著推进：

  1. 维度与动力学性质： Cordier-Grenier [5] 奠定了一维离子-Boltzmann 准中性极限的基础，但其理论局限于一维。Wang [30] 处理了周期性多维问题，但主要关注导出的不可压 Euler 或 Navier-Stokes 极限。本文首次将此类高阶展开应用于可压缩离子-Boltzmann 极限，并处理了连接异质远场的压缩流动。此外，本文允许完全的二维 $H^s$ 扰动，移除了任何无旋性或零涡度假设，这在之前的准中性极限研究中较为罕见，通常这些研究要么是一维的，要么依赖于特定的对称性或耗散机制。

  2. 背景流的复杂性： Peng-Wang-Yong [24] 为周期性非等熵流提供了有限阶展开的严格证明，但他们的背景通常是周期性的或接近平衡态的。本文处理的背景是一个连接两个不同中性端态的光滑膨胀简单波。这种非恒定的、发散的背景流引入了额外的分析刚性，因为参考波本身不在全局 Sobolev 空间中（由于其不同的端态），必须使用相对变量进行估计。Gérard-Varet-Han-Kwan-Rousset [11, 12] 解决了多维权半空间问题，其中边界数据产生 Debye 层；本文则补充了无边界圆柱上的柯西稳定性问题，其中的分析刚性完全来自内部的奇异电过渡，而非边界层。

  3. 稳定性机制与耗散： 在稀薄波稳定性方面，Alinhac [1] 构造了多维局部稀薄波，而 [20, 23, 31] 开创了粘性压缩流的 Burgers 平滑化和膨胀加权能量方法。值得注意的是，在带有 Poisson 耦合的全局稀薄波稳定性证明中（如 Navier-Stokes-Poisson 或 Vlasov-Poisson-Boltzmann 模型 [9, 10]），粘性或动能耗散是关键的稳定机制。本文针对的是无粘的 Euler 系统，因此不能依赖耗散来抵消奇异标度的影响。相反，作者通过上述的“奇异补偿”能量拓扑实现了无耗散情况下的均匀稳定性，这是一个根本性的方法论差异。

  4. 与几何奇点理论的区分： Luo-Yu [21, 22] 最近建立了齐次多维 Euler 系统中心黎曼稀薄波的结构稳定性，包括其奇异顶点和波前。He-He [16] 和 Jia-Luo [17] 进一步处理了加权估计和混合配置。然而，这些工作解决的是齐次双曲守恒律的几何奇点问题，并未考虑奇异摄动非线性 Poisson 约束带来的额外难度。本文明确指出，其结果严格隔离了光滑膨胀波的稳定性与中心黎曼扇形的几何奇异性。命题 5.2 量化了两者在大时间下的关系，表明本文的光滑参考波在 $t \to \infty$ 时收敛于中心扇形，但定理本身并不直接处理扇形边缘的非光滑性。这使得本文的结果成为通向完整的多维准中性稀薄波全局几何理论的重要分析基石，但在当前阶段，它避免了处理最困难的几何奇点部分。

2. 二维重力水波与两个后退点涡的全局正则性

Global regularity for 2D gravity water waves with two retreating point vortices

作者: Lei Su, Qingtang Su, Siwei Wang

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01250v1

摘要翻译: 我们证明了二维无穷深重力水波系统耦合一对强度相反的偶极子点涡时的全局适定性。该涡偶极子最初被放置在自由表面下方较深处，且其取向使得其前向运动方向远离界面。我们证明这两个点涡几乎线性地后退，从而由它们诱导的自由边界速度在时间上可积。结合 Wu 的三次形式、导数转移与局部化论证，我们获得了平坦表面的小尺度局部扰动的全局界。

Comment: 无

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

1. 研究对象和背景

本文研究的是二维无限深度不可压缩无粘流体在重力作用下，且内部包含一对强度相反的点涡旋的自由表面流动问题。该问题的核心方程为欧拉方程：

$$ v_t + v \cdot \nabla v = -\nabla P - (0,1), \quad \text{div } v = 0, $$

定义在随时间演化的流体区域 $\Omega(t)$ 中。边界条件施加在自由表面 $\Sigma(t)$ 上，即压力 $P=0$，且 $(1,v)$ 与 $(t, \Sigma(t))$ 相切。

在无旋（irrotational）情形下，流场完全由自由表面的运动决定，系统可约化为自由表面上的拟线性色散方程。关于此类方程的局部存在性与正则性已有大量研究，但长时间动力学行为要求对非线性结构有更深刻的理解。Dyachenko 和 Zakharov 指出弱非线性二维无限深度重力波没有三波共振，且四波相互作用系数在非平凡共振流形上为零，这一物理直觉后来被 Wu 通过发现显式的三次结构所证实，从而建立了小初值数据下的几乎全局存在性。Ionescu 和 Pusateri、Alazard 和 Delort 等人随后利用修正散射或范式方法证明了全局存在性。

然而，对于有旋（rotational）情形，即涡量 $\omega = \text{curl } v \neq 0$，问题要困难得多。涡量由流动输运：

$$ \omega_t + v \cdot \nabla \omega = 0, $$

这可能导致复杂的丝状结构形成，其与移动自由边界的相互作用极难控制。即使在没有自由表面的情况下，二维欧拉流中的非平凡涡量也可能导致强小尺度结构的生成。自由表面的引入增加了额外的色散边界动力学，使得长时间标度下内部涡量与边界的相互作用更加复杂。

本文考虑最简单的非平凡涡量构型：有限个点的点涡旋。设涡量为：

$$ \omega(\cdot, t) = \sum_{j=1}^N \lambda_j \delta_{z_j(t)}(\cdot), $$

其中 $z_j(t)$ 是涡旋位置，$\lambda_j$ 是强度。特别地，本文关注 $N=2$ 且 $\lambda_1 = \lambda, \lambda_2 = -\lambda$ 的偶极子情况。这种点涡旋模型是经典的一致涡旋相互作用简化模型，也是水下物体运动及湍流研究的启发式模型。通过将速度场表示为自由表面参数化和涡旋位置的函数，该系统可约化为边界运动和涡旋轨迹的耦合系统。在 Lagrangian 坐标下，系统形式为：

$$ \begin{cases} z_{tt} - i a z_\alpha = -i, \\ \frac{d}{dt} z_j(t) = \left. \left(v - \frac{\lambda_j i}{2\pi(z-z_j)}\right) \right|_{z=z_j}, \\ (I-H)\left( \bar{z}_t + \sum_{j=1}^N \frac{\lambda_j i}{2\pi(z(\alpha,t)-z_j(t))} \right) = 0. \end{cases} $$

这里 $a$ 是重标度的法向压力导数，$H$ 是与流体域相关的 Hilbert 变换。关键条件是 Taylor 符号条件 $a|z_\alpha| \ge 0$，若此条件不满足，系统通常是不稳定的。Su 之前在有对称性假设下研究了类似问题，证明了寿命至少为 $O(\epsilon^{-2})$。本文旨在去除对称性假设，并在更一般的初值条件下证明全局适定性，填补了有旋重力水波全局理论中的一块空白。

2. 主要定理或主要结果

本文的主要结果陈述如下：

定理 1.1 (主定理): 设 $s \in \mathbb{N}, s \ge 10$。存在充分小的 $\epsilon_0 > 0$ 和 $\lambda_0 > 0$，使得对所有 $0 < \epsilon \le \epsilon_0$ 和 $0 < \lambda \le \lambda_0$，如果初始数据满足以下条件：

  1. $z_0(\alpha)$ 是非自交曲线，且 $z_1(0) = (x_R, -H_0), z_2(0) = (x_L, -H_0)$，其中 $x_L < 0 < x_R$，$|x_R - x_L|=1$，且 $\|\text{Im } z_0\|_{L^\infty} \le 1$。
  2. 存在常数 $c_T > 0$ 使得 $a(\alpha, 0) \ge c_T$，保证 Taylor 符号条件成立。
  3. 初值小性条件：
    $$ \|v_0\|_{H^{s+1/2}} + \|z_0-\alpha\|_{\dot{H}^{1/2}\cap \dot{H}^{s+1}} + \|\alpha \partial_\alpha v_0\|_{H^{s-1/2}} + \|\alpha \partial_\alpha \partial_\alpha \xi_0\|_{H^{s-1}} \le \epsilon, $$
    其中 $\xi_0 = z_0 - \alpha$。
  4. 参数尺度关系：
    $$ \frac{\lambda}{c_s H_0^{1/2}} \le \epsilon \le c_s \lambda H_0^{1/4}, \quad c_s H_0^{1/2} \ge 1, $$
    其中 $c_s$ 是依赖于 $s$ 的小常数。

在上述假设下，带有 $N=2$ 点涡旋的水波系统是全局适定的。此外，解满足以下一致界：

$$ \sup_{t \ge 0} \left( \|z_t\|_{H^{s+1/2}} + \|z-\alpha\|_{\dot{H}^{1/2}} + \|z_\alpha-1\|_{H^s} + \|z_{tt}\|_{H^s} \right) \le C \epsilon. $$

并且，对于所有 $t \ge 1$，有如下衰减估计：

$$ \|z_\alpha(\cdot, t)-1\|_{W^{s-2,\infty}} + \|z_{tt}(\cdot, t)\|_{W^{s-2,\infty}} + \|\partial_\alpha z_t\|_{W^{s-3,\infty}} \le C \epsilon \langle t \rangle^{-1/2}. $$

最后，点涡旋与自由表面之间的距离满足：

$$ \text{dist}(z_j(t), \Sigma(t)) \ge c(H_0 + \lambda t), \quad j=1,2, $$

其中 $c, C > 0$ 是独立于 $\epsilon, \lambda, H_0$ 和 $t$ 的常数。这表明涡旋以近似线性的速度远离自由表面。

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

本文的证明框架基于物理空间分析方法，并引入了处理点涡旋贡献的新估计技术。主要技术障碍和创新点如下：

  1. 低频速度势控制的缺失: 与无旋情形的全局理论不同，本文的初值假设直接施加在边界速度 $z_t(0) \in H^{s+1/2}$ 上，而没有对速度势的低频部分施加额外条件。在无旋理论中，通常需要控制速度势或其低阶齐次范数以获得必要的衰减。为了避免这一问题，作者使用并改进了 [42] 中的“导数转移”（transition-of-derivatives）方法。该方法允许将向量场的导数转移到更好的因子、普通导数或方程本身。与 [42] 相比，本文的版本更系统化，且使用了更少的空间截断，特别适用于处理来自移动 Hilbert 变换和点涡旋的非卷积奇异积分。

  2. 涡旋场的时间可积性: 一个自然的想法是将点涡旋视为小的时间可积外力。但在自然参数范围 $H_0 \sim 1$ 和 $\lambda \sim \epsilon$ 下，简单的估计给出 $\int_0^{\epsilon^{-1}} \|q(t)\|_{H^s} dt \sim 1$，这不足以维持小数据长时间存在性。作者的关键观察是，在将全纯性约束嵌入好未知量后，方程并非由 $q$ 本身驱动，而是取形式：

    $$ (D_t^2 - i A \partial_\alpha) \theta = G_c + G_d, $$

    其中 $G_c$ 是无旋三次非线性项，而 $G_d$ 中的主要涡旋贡献表现为 $-4 D_t q$。这表明物理上相关的量不是偶极子场本身，而是其物质变化率。通过精确利用点涡旋常微分方程、偶极子抵消结构和退却估计，作者建立了可积界：

    $$ \int_0^\infty \|D_t q(t)\|_{H^s} dt \lesssim \epsilon. $$

    正是这个估计使得涡旋贡献可以被微扰处理。

  3. 向量场涡旋项的全纯估计: 为了获得 $t^{-1/2}$ 衰减，需要 Klainerman-Sobolev 型界，因此需要诸如 $\|L_0 D_t \theta\|_{H^{s-1}}$ 这样的向量场能量。对应的涡旋项是 $L_0 D_t q$。直接的边界估计太弱，在自然范围内给出 $O(1)$ 的累积贡献。作者利用流体内部的解析结构克服了这一点。由于 $F = D_t \bar{\zeta} - q$ 在流体域内是全纯的，作者将 $L_0 F$ 延拓到 $\Omega(t)$ 内，并估计关联的全纯速度在涡旋位置的值。这给出了点涡旋常微分方程规则部分的更尖锐界，进而得到 $L_0 D_t q$ 的更好估计。在波包衰减估计中，还通过引入辅助系数 $\hat{b}$ 来分离 $b$ 的主部，并在高阶交换子中分解 $b$，从而在不人为增大 $H_0$ 的情况下闭合向量场和逐点衰减估计。

整体策略包括：首先隔离奇异涡旋速度与全纯余项；然后引入 Wu 的好未知量 $\tilde{\theta}$ 和 $\tilde{\sigma}$，导出具有三次结构的结构方程；接着进行高能 Sobolev 和向量场能量的分析，利用三次结构和导数转移方法闭合估计；最后通过改进的波包能量估计建立逐点衰减。这些界最终验证了关于弦弧几何、Taylor 系数、高能能量、衰减范数和涡旋退却率的 Bootstrap 假设，通过连续性论证得到全局存在性。

4. 与之前工作的比较

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

  1. 从无旋到有旋的推进: 经典的二维重力水波全局理论（如 Wu, Ionescu-Pusateri, Alazard-Delort 等的工作）均针对无旋情形。在这些工作中，速度势的低频控制是关键的假设之一。本文首次在有旋情形（具体为点涡旋）下证明了全局适定性，且不需要对速度势施加额外的低频小性假设。这是一个实质性的推广，因为涡量的存在破坏了无旋理论中的某些代数结构，使得标准的范数估计失效。

  2. 去除对称性假设: Su 之前的工作 [40] 研究了类似的点涡旋水波系统，但依赖于水波的垂直对称性假设。本文去除了这一对称性假设，处理了一般的小局部扰动。这使得结果更具普适性，能够捕捉更广泛的物理现象。同时，本文对参数 $H_0$（初始深度）和 $\lambda$（涡旋强度）的假设也更加一般，不再局限于特定的对称构型。

  3. 时间尺度与适用范围: 在 Su 的工作中，在特定参数选择下，解的寿命至少为 $O(\epsilon^{-2})$。本文则证明了全局存在性（即寿命为无穷大），并给出了明确的长期行为描述：涡旋以近似线性速度 $\lambda t$ 远离自由表面，且边界扰动以 $t^{-1/2}$ 速率衰减。这提供了比有限寿命更完整的动力学图像。

  4. 技术代价与局限: 为了处理涡旋带来的复杂性，本文采用了更精细的向量场分析和全纯延拓技巧。这些技术在无旋情形中是不需要的。此外，本文的结果依赖于特定的参数尺度关系 $\frac{\lambda}{c_s H_0^{1/2}} \le \epsilon \le c_s \lambda H_0^{1/4}$，这意味着涡旋强度 $\lambda$ 不能任意小或任意大，必须与初值大小 $\epsilon$ 和初始深度 $H_0$ 协调。这与无旋情形中对初值大小的单纯小性要求有所不同。另外，本文仅考虑了 $N=2$ 的偶极子情况，对于更多点涡旋或连续涡量分布的情形，目前尚未解决。

  5. 与无旋理论的对比: 在无旋理论中，全局存在性通常依赖于色散效应和非线性项的有利结构（如三次结构）。本文同样利用了 Wu 的三次结构，但额外需要处理涡旋引起的微扰项。关键的区别在于，无旋理论中的高频衰减可以通过标准色散估计获得，而有旋情形中涡旋的存在干扰了这一过程，必须通过上述的“物质变化率可积性”和“全纯估计”来补偿。这表明在有旋自由边界问题中，内部涡量与边界色散动力学的耦合是控制长时间行为的决定性因素。

3. 背景磁场的稳定作用：无热导率全压缩粘性非电阻磁流体力学系统的全局适定性

Stabilization by a background magnetic field: global well-posedness of the full compressible viscous non-resistive MHD system without heat-conductivity

作者: Liening Qiao, Juntao Sun, Jiahong Wu, Fuyi Xu

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01488v1

摘要翻译: 我们考虑三维周期环面 $\mathbb T^3$ 上的全压缩磁流体力学（MHD）系统，其中唯一作用于系统的耗散机制是流体的粘性：磁场是非电阻的，且流动是无热传导的。我们证明，只要平衡态 $(\mathbf 0,\bar P,\mathbf n)$ 的扰动 $(\mathbf u_0,\,P_0-\bar P,\,\mathbf H_0-\mathbf n)$ 在某个高阶 Sobolev 空间中足够小，并且背景磁场 $\mathbf n\in\mathbb R^3$ 满足 Diophantine 条件，该系统就存在唯一的整体光滑解，且具有显式的代数衰减率。对初始密度不施加任何小性假设：仅要求它远离真空和无穷大，并允许出现任意大的变化。该证明揭示了一种隐藏的耗散机制。尽管密度、压力和磁场本身都不具备任何扩散或阻尼，但这些量通过背景场 $\mathbf n$ 与速度的耦合，结合一个源于 Diophantine 条件的 Poincaré 型不等式，为压力扰动和磁场扰动产生了有效耗散。密度的大幅变化由一种双层能量论证来处理，其中中间阶能量的加权时间衰减估计恰好补偿了密度最高阶范数的线性于时间的增长。

Comment: 无

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

1. 研究对象和背景

本文研究的对象是三维周期域 $\mathbb{T}^3$ 上的全可压缩粘性磁流体力学 (MHD) 方程组. MHD 方程组描述了导电流体 (如等离子体、液态金属) 中流体动力学与电磁学的耦合, 在地球物理、天体物理及工程领域具有核心地位. 标准的 MHD 系统包含三个主要的耗散机制: 流体的粘性 ($\mu > 0$)、热传导 ($\kappa > 0$) 以及磁扩散或电阻率 ($\nu > 0$). 当这三个机制同时存在时, 系统的数学分析在很大程度上平行于全可压缩 Navier-Stokes 方程的理论. 然而, 一旦其中某些耗散系数被置零, 相应的平滑效应消失, 全局适定性和稳定性理论变得极其困难甚至未知.

本文考虑的是一个极端情形, 即系统中唯一存在的耗散机制是流体的粘性. 具体而言, 我们假设:

$$ \mu > 0, \quad \mu + \lambda > 0, \quad \kappa = 0, \quad \nu = 0. $$

在此设定下, 原始方程组 (1.1) 简化为:

$$ \begin{cases} \partial_t \rho + \text{div}(\rho u) = 0, \\ \partial_t(\rho u) + \text{div}(\rho u \otimes u) - \mu \Delta u - (\mu + \lambda) \nabla \text{div } u + \nabla \left(P + \frac{1}{2}|H|^2\right) = (H \cdot \nabla) H, \\ c_v (\partial_t(\rho \theta) + \text{div}(\rho \theta u)) + P \text{div } u = Q(u), \\ \partial_t H + (u \cdot \nabla) H = (H \cdot \nabla) u - H \text{div } u, \\ \text{div } H = 0. \end{cases} $$

这里 $\rho$ 为密度, $u$ 为速度场, $\theta$ 为绝对温度, $H$ 为磁场. 由于 $\kappa=0$, 能量方程中不再有热扩散项; 由于 $\nu=0$, 感应方程中不再有磁扩散项. 这意味着除了速度方程中的粘性项外, 其余三个演化方程 (连续性方程、能量方程、感应方程) 本质上都是纯输运型的. 这种缺乏耗散的结构使得证明全局解的存在性变得极具挑战性, 因为非线性项可能导致有限时间内的奇异性形成.

为了处理这一问题, 作者引入了压力 $P$ 代替温度 $\theta$ 作为基本变量. 利用状态方程 $P = R \rho \theta$, 能量方程可以改写为一个封闭的压力方程:

$$ \partial_t P + (u \cdot \nabla) P + \gamma P \text{div } u = (\gamma - 1) Q(u), $$

其中 $\gamma = R/c_v + 1$. 这一变换不仅将密度从主要演化变量中解耦出来 (密度仅作为系数出现在动量方程中), 而且揭示了系统的声学结构. 通过取动量方程的散度并代入压力方程, 可以得到一个阻尼声波方程, 这对于理解线性化系统中的耗散机制至关重要.

尽管只有粘性提供耗散, 但物理文献和先前的数学工作表明, 均匀的背景磁场可以通过 Alfvén 波传输动量和能量, 从而起到稳定作用. 在周期域上, 这种稳定性的数学体现依赖于小除数问题. 如果背景磁场向量 $\mathbf{n}$ 满足 Diophantine 条件:

$$ |\mathbf{n} \cdot k| \ge \frac{c}{|k|^r}, \quad \forall k \in \mathbb{Z}^3 \setminus \{0\}, $$

则方向导数 $\mathbf{n} \cdot \nabla$ 可以在损失有限阶导数的情况下被逆转. 这一条件对于 Lebesgue 几乎处处成立的向量 $\mathbf{n}$ 都满足. 本文旨在利用这一 Diophantine 结构, 证明在仅有粘性耗散且允许初始密度具有任意大振荡的情况下, 系统仍然具有全局光滑解, 并给出显式的代数衰减率. 此前，当至少两个耗散机制存在时，已有许多结果，但当仅剩单一耗散机制（尤其是粘性）且无热传导和非耗散磁场时，该问题一直悬而未决.

2. 主要定理或主要结果

本文的主要结果是定理 1.1, 它建立了全可压缩粘性非耗散 MHD 系统在全局范围上的适定性和稳定性. 具体结论如下:

定理 1.1: 设 $\mathbf{n} \in \mathbb{R}^3 \setminus \{0\}$ 满足 Diophantine 条件 $|\mathbf{n} \cdot k| \ge c |k|^{-r}$ ($c>0, r>2$). 设 $M, N$ 为正整数, 满足:

$$ M \ge r + 1, \quad N > M + 2(r + 1). $$

定义常数 $M_\rho := \|\rho_0\|_{L^{2M-5}}^{4M-4} + \|\rho_0\|_{L^M}^{2(M-1)}$. 假设初始数据 $(\rho_0, u_0, p_0, h_0) \in H^N(\mathbb{T}^3)$ 满足:

  1. 密度远离真空和无穷大: $\underline{\rho} \le \rho_0 \le \bar{\rho}$;
  2. 零平均条件: $\int_{\mathbb{T}^3} \rho_0 u_0 dx = 0, \int_{\mathbb{T}^3} h_0 dx = 0$;
  3. 能量归一化: $\frac{\gamma-1}{2} \|(\sqrt{\rho_0} u_0, h_0)\|_{L^2}^2 + \int_{\mathbb{T}^3} p_0 dx = 0$.

若扰动 $(u_0, p_0, h_0)$ 在高阶 Sobolev 范数下足够小, 即 $\|(u_0, p_0, h_0)\|_{H^N} \le \varepsilon$, 其中 $\varepsilon > 0$ 依赖于几何参数、物理常数及密度的高阶范数, 则系统存在唯一的全局光滑解 $(\rho, u, p, h) \in C([0, \infty); H^N(\mathbb{T}^3))$, 并满足以下估计:

  1. 密度的有界性与增长控制:

    $$ \frac{2}{3}\underline{\rho} \le \rho(t,x) \le \frac{3}{2}\bar{\rho}, \quad \sup_{t \in [0, \infty)} \|\rho(t)\|_{H^M}^2 \le 2 \|\rho_0\|_{H^M}^2, $$

    且最高阶密度范数呈线性增长:

    $$ \sup_{\tau \in [0,t]} \|\rho(\tau)\|_{H^N}^2 \lesssim \|\rho_0\|_{H^N}^2 (1 + \varepsilon t). $$

  2. 中间阶能量的代数衰减: 对于中间阶 $M$ 的能量, 存在显式的代数衰减率:

    $$ \sup_{\tau \in [0,t]} \|(u, p, h)(\tau)\|_{H^M}^2 \lesssim \left( t + \left( M_\rho \|(u_0, p_0, h_0)\|_{H^M}^2 \right)^{-\frac{r+1}{N-M}} \right)^{-\frac{N-M}{r+1}}. $$

    这表明衰减率取决于初始扰动的低阶范数和密度的振荡幅度 $M_\rho$. 密度振荡越大, 衰减越慢.

  3. 最高阶能量的有界性: 最高阶 $N$ 的范数保持有界:

    $$ \sup_{t \in [0, \infty)} \|(u, p, h)(t)\|_{H^N}^2 + \int_0^\infty \|u_t\|_{H^{N-1}}^2 dt + \int_0^\infty \|u\|_{H^{N+1}}^2 dt \le \varepsilon. $$

此外, 通过 Gagliardo-Nirenberg 不等式插值, 可以获得介于 $M$ 和 $N$ 之间所有中间阶 $L \in [r+1, N]$ 的衰减率:

$$ \sup_{\tau \in [0,t]} \|(u, p, h)(\tau)\|_{H^L}^2 \lesssim \varepsilon^{\frac{L-r-1}{N-r-1}} \left( t + \left( (1+\|\rho_0\|_{L^{2r}}^{4r}) \|(u_0, p_0, h_0)\|_{H^{r+1}}^2 \right)^{-\frac{r+1}{N-r-1}} \right)^{-\frac{N-L}{r+1}}. $$

这些结果表明, 尽管密度没有耗散且可能剧烈振荡, 但速度和磁场扰动在背景磁场的稳定作用下会随时间衰减, 而密度本身仅表现出温和的线性增长, 从而保证了系统的全局正则性.

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

证明的核心在于克服两个主要障碍: (1) 密度、压力和磁场均无自身耗散; (2) 初始密度允许任意大的振荡. 作者采用了一套精细的两层能量估计策略, 并结合了 Diophantine 分析工具.

1. 隐藏耗散机制的发现与线性化分析

首先，作者在线性化水平上揭示了“隐藏耗散”. 通过对线性化系统消去压力和磁场，得到关于速度的退化阻尼波动方程:

$$ \tilde{\rho}_0 \partial_t^2 \tilde{u} - \Delta \partial_t \tilde{u} - \frac{1}{1+|\mathbf{n}|^2} (\mathbf{n} \cdot \nabla)^2 \tilde{u} + F^\top F \tilde{u} = 0, $$

其中 $F^\top F$ 是一个非负微分算子. 关键在于项 $-(\mathbf{n} \cdot \nabla)^2 \tilde{u}$, 它并非来自直接的耗散，而是源于速度与压力/磁场通过背景场 $\mathbf{n}$ 的耦合. 类似地，压力满足阻尼声波方程，磁场满足退化阻尼方程. 这种双向耦合结构使得能量能够分散，防止高频集中.

为了将这些结构性特征转化为定量估计，作者使用了基于 Diophantine 条件的 Poincaré 型不等式 (引理 2.2):

$$ \|f\|_{H^s(\mathbb{T}^3)} \le C \|(\mathbf{n} \cdot \nabla) f\|_{H^{s+r}(\mathbb{T}^3)}. $$

这个不等式允许用沿磁场方向的导数来控制全导数，代价是损失 $r$ 阶导数. 正是这一工具，使得由耦合产生的“隐藏耗散”能够转化为对压力 $p$ 和磁场 $h$ 的 Sobolev 范数的有效控制. 这也解释了为什么需要两个不同的正则性水平 $M$ 和 $N$, 且满足 $N > M + 2(r+1)$, 以容纳导数损失的余量.

2. 两层能量估计策略 (Two-Tier Energy Scheme)

由于密度 $\rho$ 满足纯输运方程，其高阶 Sobolev 范数 $\|\rho\|_{H^N}$ 可能随时间线性增长 ($\sim 1+t$). 如果直接估计最高阶能量，这种增长会污染所有包含 $\rho$ 作为系数的项，导致估计无法闭合. 为此，作者设计了分层策略:

  • 中间层 (M-th order): 重点证明中间阶 $M$ 的能量具有时间衰减. 自然能量估计为:

    $$ \frac{d}{dt} \| (\sqrt{\rho} \Lambda^M u, (\gamma \bar{P})^{-1/2} \Lambda^M p, \Lambda^M h) \|_{L^2}^2 + \mu \|\nabla \Lambda^M u\|_{L^2}^2 \lesssim \|\rho\|_{L^3}^2 \|\Lambda^{M-2} u_t\|_{L^2}^2 + \|\rho\|_{H^{M-1}}^2 \|u_t\|_{L^\infty}^2 + \cdots $$

    右端出现的含 $\rho$ 的项不能直接被吸收. 作者利用 $\rho$ 的正上下界和插值不等式:

    $$ \|\Lambda^{M-2} u_t\|_{L^2} \lesssim \|\sqrt{\rho} u_t\|_{L^2}^{\frac{1}{M-1}} \|\sqrt{\rho} \Lambda^{M-1} u_t\|_{L^2}^{\frac{M-2}{M-1}}, $$

    将问题归结为控制 $\|\sqrt{\rho} u_t\|_{L^2}$ 和 $\|\sqrt{\rho} \Lambda^{M-1} u_t\|_{L^2}$. 通过结合低阶能量估计和更高阶的耗散项，利用 Young 不等式和 Gagliardo-Nirenberg 不等式，最终证明了中间阶能量的代数衰减.

  • 最高层 (N-th order): 在最高阶 $N$ 的能量估计中，密度的线性增长项 $\|\rho\|_{H^N}^2 \sim (1+t)$ 会出现. 但是，由于中间阶能量已经证明了衰减，作者可以利用加权的时间衰减估计来抵消最高阶密度范数的线性增长. 具体来说，中间阶能量的衰减提供了足够的“缓冲”，使得最高阶能量虽然不衰减，但保持有界，并且不会因密度的增长而发散.

3. 压力变量的关键作用

使用压力 $P$ 而非温度 $\theta$ 作为变量是技术上的关键创新之一. 这使得密度从主要演化变量中解耦，仅在动量方程中作为系数出现. 更重要的是，压力方程揭示了对称的双曲-抛物结构，使得 Diophantine 机制可以直接作用于 $(\mathbf{n} \cdot \nabla) P$. 如果保留温度变量，压力的微小性需要从密度和温度的微小性中同时提取，这与密度的大振荡不相容. 压力变量将所有压力估计的负担转移到一个具有有利阻尼波动结构的变量上.

4. 与之前工作的比较

本文的结果填补了全可压缩 MHD 方程组在单一耗散机制下的一个重要空白. 以下是与既有工作的详细比较:

1. 耗散机制的数量

  • 双耗散及以上: 大多数现有文献研究的是至少保留两个耗散机制的情形. 例如:
    • 粘性 + 磁扩散 ($\mu>0, \nu>0, \kappa=0$): Gao, Tan, Wu [12] 在 $\mathbb{R}^3$ 上证明了全局存在性和收敛率; Liang [31] 最近允许了密度的大扰动.
    • 粘性 + 热传导 ($\mu>0, \kappa>0, \nu=0$): Li [28] 扩展了 Tan and Wang [39] 的非等熵结果; Zhao [56] 去掉了相容性条件.
    • 热传导 + 磁扩散 ($\kappa>0, \nu>0, \mu=0$): Wang and Xin [41] 和 Wu, Xu, Zhai [46] 在小数据下证明了全局适定性.
    • 全耗散 ($\mu>0, \kappa>0, \nu>0$): 理论已相当成熟, 类似于全可压缩 Navier-Stokes.
  • 单耗散: 本文首次处理了仅保留粘性 ($\mu>0, \kappa=0, \nu=0$) 的情形. 在此之前，Qiao et al. [36] 研究了理想 MHD ($\mu=\lambda=\nu=0$) 加速度阻尼的情形; Lin and Xu [32] 扩展到了非等熵且有热传导的情况. 但没有任何先前工作解决了“仅有粘性，无热传导，无磁扩散”的全可压缩系统. 这是本质上的不同，因为缺少磁扩散意味着磁场没有自身的平滑机制，必须完全依赖与速度的耦合来获得耗散.

2. 初始密度的大小

  • 小密度扰动: 许多经典结果要求初始密度接近常数背景，即 $\|\rho_0 - \bar{\rho}\|_{H^s}$ 足够小. 这通常是为了简化系数并避免变系数带来的复杂性.
  • 大密度振荡: 本文的一个显著特点是不对初始密度施加任何微小性条件. 密度只需满足 $\underline{\rho} \le \rho_0 \le \bar{\rho}$, 比值 $\bar{\rho}/\underline{\rho}$ 可以任意大. 这在之前的 MHD 文献中是罕见的. 实现这一点的关键在于使用压力变量，使密度仅作为系数出现，并通过两层能量策略处理其高阶范数的增长. 相比之下，在可压缩 Navier-Stokes 方程中，处理大密度振荡通常也需要类似的技巧，但在 MHD 中，由于额外的磁场耦合，难度更大.

3. 背景磁场的作用与 Diophantine 条件

  • 无背景场或简单背景: 许多早期工作考虑常系数背景或零背景. 在无背景场 ($\mathbf{n}=0$) 的情况下，非耗散 MHD 系统的全局适定性在 $\mathbb{R}^3$ 上仍是开放问题.
  • Diophantine 背景场: 本文利用了背景磁场 $\mathbf{n}$ 的 Diophantine 性质. 这与不可压 MHD 中的工作 (如 Wu and Zhu [49], Wu and Zhai [47]) 类似，后者也利用了 Diophantine 条件来处理非耗散情形. 然而，本文将其推广到了全可压缩且无热传导的极端情况. Diophantine 条件在这里不仅是技术工具，更是物理稳定性的数学体现: 它确保了沿磁场方向的传播不会陷入共振，从而允许通过耦合产生有效的耗散.

4. 衰减率的显式性

  • 定性 vs 定量: 一些早期工作只证明了全局存在性或定性收敛. 本文给出了显式的代数衰减率, 并且明确展示了衰减率如何依赖于密度的振荡幅度 $M_\rho$. 这种定量结果是评估系统长期行为的重要指标. 例如，衰减率中的项 $(M_\rho \|\cdot\|_{H^M}^2)^{-\frac{r+1}{N-M}}$ 清楚地表明，密度振荡越大，系统回归平衡的速度越慢.

5. 局限性与代价

  • 正则性要求: 为了保证估计闭合，本文要求较高的正则性 $N > M + 2(r+1)$. 这是由于 Diophantine 不等式中导数损失 $r$ 所必需的. 这与不可压情形中的正则性要求一致，但对于低正则性数据，目前的方法尚不适用.
  • 周期性域: 结果限于周期域 $\mathbb{T}^3$. 在 $\mathbb{R}^3$ 上，还需要处理低频部分的行为，这可能引入额外的困难，特别是考虑到密度无耗散的特性.
  • 小扰动限制: 尽管密度可以很大，但速度、压力和磁场扰动仍需在小范围内 ($\varepsilon$-small). 因此，这仍是一个局部稳定性结果，而非全局大振幅解的存在性定理.

综上所述，本文在耗散机制的极端缺失、密度振荡的自由度以及定量衰减率的推导方面，均对既有文献做出了实质性推进.

4. 经典适定性阈值以下的理想磁流体力学

Ideal MHD below the classical well-posedness threshold

作者: Matteo Giardi

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01093v1

摘要翻译: 我们在 $[0,T]\times\mathbb{R}^n$，$n\ge2$ 上建立了理想不可压磁流体力学系统的局部存在性和唯一性，其中初始磁场为非零常向量场 $\mathbf{B}_0$，速度数据为任意的无散度场 $v_0\in H^s$，范围在 $(n+1)/2<s\le n/2+1$。证明采用了拉格朗日波动-霍奇重构，并利用压力强迫中隐藏的阿尔文空结构。具体而言，所构造的欧拉解由一个双利普希茨保测流映射诱导。Zhang 首先在 \cite{Zhang2024} 中识别了该空结构；本文提供了一个自包含的桥梁，将该拉格朗日理论与欧拉柯西问题联系起来。

Comment: Comments are welcome!

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

1. 研究对象和背景

本文研究定义在时空区域 $[0, T] \times \mathbb{R}^n$ ($n \ge 2$) 上的不可压缩理想磁流体力学 (MHD) 方程组. 该方程组描述了导电流体在磁场作用下的运动规律, 其 Eulerian 变量形式为:

$$ \begin{cases} \partial_t v + \nabla v v - \nabla B B + \nabla p = 0, \\ \partial_t B + \nabla v B - \nabla B v = 0, \\ \text{div}_x v = \text{div}_x B = 0, \end{cases} $$

其中 $v$ 是流体速度场, $B$ 是磁场强度, $p$ 是压力. 初始条件设定为非零常向量磁场 $B_0 \equiv B_\infty \in \mathbb{R}^n \setminus \{0\}$ 和任意无散度速度数据 $v_0 \in H^s(\mathbb{R}^n)$.

对于此类双曲型偏微分方程系统, 经典的局部适定性理论通常依赖于 Kato-Ponce 交换子能量估计. 当正则性指数 $s > n/2 + 1$ 时, Sobolev 嵌入 $H^s \hookrightarrow W^{1, \infty}$ 成立, 使得非线性项的控制得以闭合, 从而建立局部的存在性与唯一性. 然而, 当正则性降低至 $s \le n/2 + 1$ 时, $H^s$ 范数不再能控制速度的 Lipschitz 范数, 导致经典的输运论证失效. 这一区间 $(n+1)/2 < s \le n/2 + 1$ 被称为低正则性区域, 在此区域内建立解的存在性是该领域的一个核心难题.

本文试图填补的空白在于: 在非零常数背景磁场 $B_\infty$ 的特定结构下, 证明 MHD 系统在上述低正则性范围 $(n+1)/2 < s \le n/2 + 1$ 内的局部存在性与唯一性. 此前的工作主要由 Zhang [17] 开启, 他在 Lagrangian 坐标下识别出了与 Alfvén 波相关的退化一维波动系统及其 null-structure (空类结构), 并在维度 $2 \le n \le 4$ 内证明了辅助 Lagrangian 系统的适定性. 然而, 从 Lagrangian 理论到 Eulerian Cauchy 问题的完整桥梁此前尚未被独立且系统地构建. 此外, 既有文献如 Ifrim, Pineau, Tataru, and Taylor [9] 在处理自由边界 MHD 问题时, 由于包含了纯流体动力学情形 ($B \equiv 0$), 其阈值仍停留在 $s > n/2 + 1$. 本文旨在展示, 一旦背景磁场有界远离零, 即 $B_0 \neq 0$, 则阈值可显著降低至 $s > (n+1)/2$. 这一结果不仅在理论上推进了适定性边界, 也在物理上揭示了强磁场背景下 MHD 系统与欧拉方程本质分离的特性.

2. 主要定理或主要结果

本文的主要结果由定理 1.1 (Theorem 1.1) 给出, 确立了低于经典阈值的局部存在性与唯一性. 具体结论如下:

定理 1.1 (低于经典阈值的局部存在性与唯一性): 固定参数 $b \in (1/2, 1)$. 设 $n \ge 2$, 正则性指数满足 $(n+1)/2 < s \le n/2 + 1$, 初始磁场 $B_0 \equiv B_\infty \in \mathbb{R}^n \setminus \{0\}$, 且初始速度 $v_0 \in H^s(\mathbb{R}^n)$ 是无散度的. 则存在常数 $C \ge 1$ 和 $\delta \in (0, 1)$, 仅依赖于 $n, s, b$ 和 Alfvén 速度 $v_A = |B_\infty|$, 以及存在时间 $T^* > 0$, 使得 MHD 系统在 $[0, T^*] \times \mathbb{R}^n$ 上具有一个分布解 $(v, B, p)$, 初始数据为 $(v_0, B_\infty)$, 并具备以下性质:

  1. 正则性与压力归一化: 令 $b := B - B_\infty$, 则场 $v, b$ 和 $p$ 均属于 $C([0, T^*], H^s(\mathbb{R}^n))$. 压力 $p$ 通过 Riesz 变换归一化为:

    $$ p = R_i R_j (v_i v_j - B_{\infty i} b_j - b_i B_{\infty j} - b_i b_j). $$

  2. Lagrangian 流的结构: 解由 Lagrangian 流 $X : [0, T^*] \times \mathbb{R}^n \to \mathbb{R}^n$ 携带, 满足 $X(0, \cdot) = id$. 该流映射是均匀 bi-Lipschitz 且保体积的, 即 $\det dX \equiv 1$. Eulerian 变量与 Lagrangian 变量的关系为 $v = (\partial_t X) \circ X^{-1}$ 和 $B = (B X) \circ X^{-1}$. 此外, 存在一个空间精确的时空场 $U \in H^{s-1, 1}_b(\mathbb{R}^{1+n})$, 使得在 $[0, T^*] \times \mathbb{R}^n$ 上 $U = dw$ (其中 $w = X - id$ 是位移场), 并满足估计:

    $$ \|U\|_{H^{s-1, 1}_b} \le C \|v_0\|_{H^s}, \quad \sup_{t \in [0, T^*]} \|dw(t)\|_{Y^{s-1, 1}} \le \delta, $$

    其中 $\delta$ 足够小以保证 $\|dw\|_{L^\infty_{t,y}} \le 1/2$.

  3. 守恒律: 重归一化的能量 $E = \frac{1}{2}\int (|v|^2 + |b|^2) dx$ 和交叉螺旋度 $H_c = \int v \cdot b dx$ 在 $[0, T^*]$ 上是守恒的.

  4. 唯一性: 在所有具有相同初始数据且 $v$ 和 $B - B_\infty$ 属于 $C([0, T^*], H^s)$ 的分布解中, 该解是唯一的.

存在时间的依赖关系: 存在时间 $T^*$ 受初始数据的纵向正则性控制, 分为两种情形:

  • (R1) 一般情形: $T^*$ 依赖于 $n, s, b, v_A$, $\|v_0\|_{H^s}$ 以及函数 $T \mapsto \omega_{v_0}(T)$, 其中 $\omega_{v_0}(T) := \| \min(1, T\langle D_\parallel \rangle) \Lambda^{s-1} \nabla v_0 \|_{L^2}$. 虽然对固定的 $H^s$ 数据 $\omega_{v_0}(T) \to 0$ 当 $T \downarrow 0$, 但其收敛速率在有界 $H^s$ 集合上不是均匀的.
  • (R2) 增强纵向正则性: 若 $\|\nabla v_0\|_{Y^{s-1, r}} < \infty$ 对某个 $r \in (0, 1]$ 成立, 则 $T^*$ 仅依赖于 $n, s, b, r, v_A$ 以及 $\|v_0\|_{H^s} + \|\nabla v_0\|_{Y^{s-1, r}}$. 此时, 时空场 $U$ 满足更强的估计 $\|U\|_{H^{s-1, 1+r}_b} \le C \|\nabla v_0\|_{Y^{s-1, r}}$.

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

证明的核心框架建立在 Lagrangian 坐标下的 Wave-Hodge 重构之上, 并结合了针对 Alfvén 波结构的各向异性函数空间分析. 主要技术障碍在于处理低正则性下非线性项的奇异性, 特别是压力强迫项中的共传播相互作用. 作者的创新点在于利用隐藏的空类结构 (null-structure) 来抵消最坏的非线性相互作用, 并通过精确的微分定点迭代来恢复几何约束.

1. Wave-Hodge 重构与 Alfvén 算子: 首先, 将 MHD 系统重写为 Lagrangian 坐标下的波动-Hodge 系统. 引入位移场 $w = X - id$, 以及 Alfvén 算子 $A_\pm := \partial_t \pm B$ 和波动算子 $\Box := A_+ A_- = \partial_t^2 - B^2$. 系统被转化为:

$$ \Box w = -F, \quad \text{curl}_g F = 0, \quad \text{div}_g F = Q[dw], $$

其中 $g = (dX)^\top dX$ 是度量张量, $F = (\nabla p) \circ X$ 是拉回的压力梯度, $Q[dw]$ 是包含 Alfvén 空类结构的源项. 关键观察是, $\Box$ 的自由演化是非色散的, 两个半波沿 $B_\infty$ 方向相反平移. 在特征集之外, $\Box$ 的符号是椭圆型的, Duhamel 算子在调制权重下可获得分数阶导数的增益; 而在特征集附近, 必须依靠 $Q[dw]$ 中的空类结构来消除共传播相互作用.

2. 各向异性 Wave-Adapted 函数空间: 为了量化这种各向异性的正则性, 作者引入了基于 Bourgain $X^{s,b}$ 空间的变体 $H^{s,p}_b$ 和 $Y^{s,p}_b$. 这些空间测量了各向同性正则性 $\Lambda^s$、沿磁场方向 $B_\infty$ 的各向异性正则性 $\langle D_\parallel \rangle^p$ 以及相对于特征集的调制权重 $m^b$. 具体地, 模调权重定义为 $h = \max(\langle \tau_+ \rangle, \langle \tau_- \rangle)$ 和 $m = \min(\langle \tau_+ \rangle, \langle \tau_- \rangle)$, 其中 $\tau_\pm = \tau \pm B_\infty \cdot \xi$. 范数 $\|f\|_{H^{s,p}_b}$ 等价于 $\| \langle D_\parallel \rangle^{p-1} h m^b \Lambda^s f \|_{L^2}$.

3. 空类估计与双线性分析: 核心的非线性估计涉及空类形式 $Q_0(f, g) = \partial_t f \partial_t g - B f B g$. 在 Fourier 空间中, 这对应于 $A_+$ 作用于一个输入而 $A_-$ 作用于另一个输入. 利用调制权重 $m^b$, 可以证明双线性估计:

$$ \|Q_0(U, U)\|_{L^2_t H^{s-1}} \lesssim \|U\|_{H^{s-1, 1}_b}^2. $$

这一估计成立的关键在于 $b > 1/2$, 它确保了在积分核中对偶变量的衰减是可积的. 横向频率的求和需要 $s - 1 > (n-1)/2$, 即 $s > (n+1)/2$, 这正是定理中正则性下界的来源.

4. 微分定点迭代与几何约束恢复: 存在性证明是通过在微分形式 $U = dw$ 的水平上运行 Banach 定点迭代完成的, 而不是直接在 $w$ 上. 定义映射 $M$ 使得 $\Box M U = -dF[U]$. 作者巧妙地不预先施加体积约束 $\det(Id + U) = 1$, 而是将其作为后续的动力学结果. 通过 Neumann 级数展开处理度量 Hodge 系统的小扰动部分, 证明了 $M$ 是一个收缩映射. 一旦获得不动点 $U$, 通过显式 Duhamel 公式重构 $w$, 并利用弱 Jacobi 恒等式 $\Box \log(\det dX) = 0$ 及零初值, 动态地证明了 $\det dX \equiv 1$. 最后, 通过 Liouville 论证将候选压力梯度识别为标准的 Riesz 压力梯度, 完成从 Lagrangian 到 Eulerian 的回归.

5. 唯一性论证: 唯一性通过比较构造出的解与任意其他分布解来证明. 在 Lagrangian 坐标下考察差值方程, 利用交互通量 (interaction-flux) 替代传统的能量估计. 这种方法再次利用了空类结构, 避免了直接控制高阶导数所需的 $L^\infty$ 范数, 从而在低正则性下闭合论证.

4. 与之前工作的比较

本文将理想 MHD 系统的局部适定性阈值从经典的 $s > n/2 + 1$ 推进到了 $s > (n+1)/2$, 这是一个显著的进步, 特别是在非零常数背景磁场的设定下. 以下是与既有工作的详细比较:

1. 与 Zhang [17] 的比较: Zhang [17] 是这一方向的先驱, 他首次在 Lagrangian 坐标下识别出 Alfvén 空类结构, 并证明了辅助 Lagrangian 系统在 $2 \le n \le 4$ 范围内的适定性. 本文的主要贡献在于提供了一个自包含的、从 Lagrangian 理论到 Eulerian Cauchy 问题的完整桥梁. 具体而言:

  • 维度推广: Zhang 的结果局限于 $n=2,3,4$, 而本文的证明适用于所有 $n \ge 2$. 这是因为作者在 Wave-Hodge 重构中使用了更一般的各向异性空间技术, 使得横向频率的计数不再受限于低维的特殊性质.
  • 方法论独立性: 本文重新表述了 Zhang 的机制为不变的 Wave-Hodge 形式 (1.4), 并独立构建了连接 Eulerian 和 Lagrangian 变量的分析框架. 特别是, 作者通过在微分形式 $U$ 上进行定点迭代, 并随后动态恢复体积约束, 解决了一个在 [17] 中可能未完全明确处理的技术细节, 即如何在低正则性下保证变形矩阵的可逆性和保体积性.
  • 唯一性论证: 本文提出了新的唯一性证明方法, 直接在物理差值方程中进行, 无需为比较解构造流. 这与 [17] 中可能依赖的更强结构假设有所不同, 增强了结果的鲁棒性.

2. 与 Ifrim, Pineau, Tataru, and Taylor [9] 的比较: Ifrim 等人 [9] 研究了自由边界 MHD 问题, 其正则性阈值为 $s > n/2 + 1$. 他们明确指出, 由于系统包含了纯欧拉方程的情形 ($B \equiv 0$), “我们在 MHD 情况下所能期望的最好结果也是 $s > n/2 + 1$”. 本文的结果表明, 这一阈值并非 MHD 系统固有的, 而是源于对零磁场情形的兼容性要求. 一旦假设背景磁场 $B_\infty \neq 0$ 且有界远离零, 磁张力提供的结构效应足以将阈值降低至 $s > (n+1)/2$. 这意味着在强磁场背景下, MHD 系统的行为与欧拉方程有本质区别, 后者在 $n=2,3$ 时已被 Bourgain-Li [5, 6] 证明是强不适定的.

3. 与 Bardos-Sulem-Sulem [3] 及长期动力学研究的比较: Bardos-Sulem-Sulem [3] 证明了小扰动下的全局存在性和散射. He-Xu-Yu [8] 和 Cai-Lei [7] 进一步研究了近常数背景的全局动力学. 本文关注的是局部适定性, 但为理解长期动力学提供了更低的正则性基础. 值得注意的是, 本文的结果是在 Cauchy 问题设定下, 不涉及边界条件, 因此比自由边界问题更具普适性.

4. 代价与局限:

  • 背景磁场假设: 结果强烈依赖于 $B_0$ 为非零常数. 如果 $B_0$ 衰减或为零, 阈值可能会回升至 $n/2 + 1$. 相关常数在 $v_A \downarrow 0$ 时会退化, 表明这两个 regime 是分离的, 不能通过取极限得到欧拉解.
  • 存在时间: 在一般情形 (R1) 下, 存在时间 $T^*$ 依赖于初始数据的纵向正则性模量 $\omega_{v_0}(T)$, 而非仅依赖于 $H^s$ 范数. 这意味着对于某些病态的 $H^s$ 数据, 存在时间可能非常短. 只有在加强纵向正则性 (R2) 时, 存在时间才仅依赖于范数.
  • 适用范围: 虽然阈值降低了, 但解的正则性仍然有限, $v, b \in C_t H^s$ 并不蕴含更高阶的经典正则性. 此外, 压力 $p$ 的正则性与 $v, b$ 相同, 没有额外的平滑效应.

综上所述, 本文不仅在技术上完善了从 Lagrangian 到 Eulerian 的分析链条, 更在概念上澄清了磁场结构对适定性阈值的决定性影响, 展示了结构假设如何突破无结构类别的尖锐阈值.

5. 有界域中近径向集中涡的全局持久性

Global persistence of nearly radial concentrated vortices in a bounded domain

作者: Daomin Cao, Guodong Wang

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00645v1

摘要翻译: 在本文中，我们研究有界平面区域内不可压 Euler 方程的近径向集中涡的演化。我们证明，若单个涡初始时集中在该区域 Robin 函数的一个严格局部极小点附近，并且在平移意义下接近其对称递减重排，则其形状和位置在所有时间均受到一致控制。我们还建立了关于对应 Kirchhoff–Routh 函数的严格局部极小点附近的异号涡对的一个类似结果。我们对区域或初始数据不施加任何对称性要求，且初始数据无需接近任何稳态。为了证明这些结果，我们从这样的初始数据出发，为受 Euler 方程支配的涡度演化发展了一种新的 Lyapunov 机制，从而提供对涡的形状和位置的定量控制。具体而言，我们将动能守恒和涡度的等可测性与若干固定时间估计相结合，以得到一个条件估计，然后利用一个集合值的首次逃逸论证将其在全局时间内传播。

Comment: 40 pages

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

1. 研究对象和背景

本文研究二维不可压欧拉方程在有界平面区域 $D \subset \mathbb{R}^2$ 中的演化，特别关注具有高度集中涡度的解的长期行为。在涡度形式下，该方程由以下初值问题给出：

$$ \begin{cases} \partial_t \omega + u \cdot \nabla \omega = 0, & x \in D, t \in \mathbb{R}, \\ u = \nabla^\perp (-\Delta)^{-1}\omega, \\ \omega|_{t=0} = \omega_0, \end{cases} $$

其中 $u$ 是速度场，$\omega$ 是标量涡度，$\nabla^\perp = (\partial_{x_2}, -\partial_{x_1})$，且 $(-\Delta)^{-1}$ 表示零 Dirichlet 边界条件下 $-\Delta$ 的逆算子。对于 $\omega_0 \in L^\infty(D)$，Yudovich 理论保证了全局弱解的存在唯一性。

点涡模型是集中欧拉涡度的奇异极限。设 $G(x,y) = \frac{1}{2\pi}\ln\frac{1}{|x-y|} - h(x,y)$ 为区域 $D$ 中 $-\Delta$ 的 Green 函数，$h$ 为其正则部分。定义 Robin 函数 $H(x) := \frac{1}{2}h(x,x)$。对于非零环流 $\kappa = (\kappa_1, \dots, \kappa_N)$，相应的 Kirchhoff-Routh 函数定义为：

$$ W^{(N)}_\kappa(a_1, \dots, a_N) := \sum_{i=1}^N \kappa_i^2 H(a_i) - \sum_{1 \le i < j \le N} \kappa_i \kappa_j G(a_i, a_j). $$

点涡动力学是一个 Hamilton 系统，其运动方程为 $\kappa_i \frac{da_i}{dt} = -\nabla^\perp_{a_i} W^{(N)}_\kappa$。因此，$W^{(N)}_\kappa$ 的严格局部极小值点是 Lyapunov 稳定的平衡态。

在一般无界或有界域中，任意初始数据的集中涡度是否会永久保持集中是一个重要问题。已有文献主要集中于有限时间内的点涡近似或长时间（但有限）的约束估计，或者依赖于特殊的对称性、稳态流附近的非线性稳定性。然而，对于一般无对称性的有界域，若初始数据不接近任何稳态，如何证明集中涡度的全局时间持续性仍是一个开放问题。本文旨在填补这一空白：通过引入一种新的 Lyapunov 机制，结合动能守恒和涡度等测性，证明在特定“点涡捕获”条件下，近径向集中涡的形状和位置在全时间范围内受到一致控制。

2. 主要定理或主要结果

本文的主要结果分为单涡和双涡两种情形，均证明了集中涡度的全局持续性。

定理 1.1 (单集中涡的全局持续性)：设 $a^* \in D$ 是 Robin 函数 $H$ 的一个严格局部极小值点。固定 $\kappa, M, R > 0$。对每个 $\varepsilon > 0$，设 $a_\varepsilon \in D$，$\omega_{\varepsilon,0} \in L^\infty(D)$ 为非负且满足：

$$ \int_D \omega_{\varepsilon,0} dx = \kappa, \quad \|\omega_{\varepsilon,0}\|_\infty \le M\varepsilon^{-2}, \quad \text{supp } \omega_{\varepsilon,0} \subset B_{R\varepsilon}(a_\varepsilon). $$

假设当 $\varepsilon \to 0$ 时，$a_\varepsilon \to a^*$ 且 $A(\omega_{\varepsilon,0}) \to 0$，其中 $A(f)$ 是轨道不对称性泛函，定义为 $f$ 与其对称递减重排 $f^*$ 之间的 $L^1$ 距离模平移。则对应的 Yudovich 解 $\omega_{\varepsilon,t}$ 满足：

$$ \sup_{t \in \mathbb{R}} A(\omega_{\varepsilon,t}) \to 0 \quad \text{and} \quad \sup_{t \in \mathbb{R}} \sup_{b \in C(\omega_{\varepsilon,t})} |b - a^*| \to 0 \quad \text{as } \varepsilon \to 0. $$

这意味着涡度的形状始终接近其径向重排，且所有最优平移中心始终位于 $a^*$ 附近。

定理 1.5 (两个异号涡的全局持续性)：设 $\kappa = (\kappa_1, \kappa_2)$ 满足 $\kappa_1 > 0 > \kappa_2$，$(a^*_1, a^*_2) \in \Lambda_2(D)$ 是对应 Kirchhoff-Routh 函数 $W^{(2)}_\kappa$ 的严格局部极小值点。类似地，假设初始涡度 $\zeta_{i,\varepsilon,0}$ 分别集中在 $(a^*_1, a^*_2)$ 附近且近径向。则解满足：

$$ \sup_{t \in \mathbb{R}} A(\zeta_{i,\varepsilon,t}) \to 0 \quad (i=1,2) $$

以及

$$ \sup_{t \in \mathbb{R}} \sup_{(b_1,b_2) \in C(\zeta_{1,\varepsilon,t}) \times C(\zeta_{2,\varepsilon,t})} |(b_1, b_2) - (a^*_1, a^*_2)| \to 0. $$

此外，定量估计表明，若初始能量差 $\eta_{\varepsilon,0}$ 足够小，则对所有 $t \in \mathbb{R}$，形状亏损 $D(\omega_{\varepsilon,t})$ 和 Robin 函数间隙 $H(b) - H(a^*)$ 均受 $C\eta_{\varepsilon,0}$ 控制。

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

证明的核心在于构建一个适用于集中涡度演化的新 Lyapunov 机制，具体分为四个步骤：

  1. 尺度一致的 $D$-$A$ 估计：作者首先建立了日志自相互作用能量亏损 $D(f) := P(f^*) - P(f)$ 与轨道不对称性 $A(f)$ 之间的关系。利用 Riesz 重排不等式，证明了 $D(f) \gtrsim A(f)^2$。反向地，初始定位条件给出了 $D(\omega_{\varepsilon,0}) \lesssim A(\omega_{\varepsilon,0})$，从而将定性的初始假设转化为定量定理的条件。

  2. 对数尾部估计：针对任意最优平移中心 $b \in C(\omega_{\varepsilon,t})$，作者证明了远场涡度的衰减：

    $$ \int_{D \setminus B_{L\varepsilon}(b)} \omega_{\varepsilon,t} dx \lesssim \frac{D(\omega_{\varepsilon,t})}{\ln L}. $$

    这表明尽管涡度支持可能形成细长丝状结构，但其携带的环流量级很小，这对后续的能量估计至关重要。

  3. 正则能量估计：基于对数尾部估计，作者推导出正则能量 $R(f) := \frac{1}{2}\iint h(x,y)f(x)f(y)dxdy$ 的下界：

    $$ R(\omega_{\varepsilon,t}) \ge \kappa^2 H(b) - \theta D(\omega_{\varepsilon,t}) - C\varepsilon, $$

    其中 $\theta > 0$ 可任意小。结合动能守恒 $E(\omega_t) = P(\omega_t) - R(\omega_t)$ 和涡度等测性，得到了形状亏损和 Robin 函数间隙的条件估计。

  4. 集值首次退出论证：由于最优平移中心集合 $C(\omega_{\varepsilon,t})$ 可能不唯一且缺乏连续性，作者采用了集值分析技术。通过跟踪整个紧集 $C(\omega_{\varepsilon,t})$ 并利用其上半连续性，构造了一个“首次退出时间”。若在某一时刻，形状亏损达到阈值或某个最优中心离开捕获阱，则条件估计将导致矛盾。因此，估计在全时间范围内成立。

对于双涡情形，额外考虑了两个分量之间的相互作用项。由于 Green 函数的正性和光滑性，相互作用项在 Lyapunov 量中具有有利符号，从而可以纳入统一的框架中。

4. 与之前工作的比较

本文与既有工作相比，主要在以下三个方面取得了推进：

  1. 时间尺度：现有的点涡近似和约束结果（如 [25, 24, 22, 26, 30] 及后续改进 [5, 16, 15, 28]）通常仅适用于有限时间区间，或者依赖于 $\varepsilon$ 的长时间尺度（但仍为有限）。本文的结果是全局时间的：对于每个充分小的固定 $\varepsilon$，控制对所有 $t \in \mathbb{R}$ 一致成立。

  2. 初始数据要求：变分方法（如 [7, 8, 31]）通过构造稳态欧拉流并证明其非线性稳定性来处理集中涡度。这些结果要求初始数据接近特定的稳态流。相比之下，本文不要求初始数据接近任何稳态，仅需满足集中性和近径向性（即轨道不对称性小），适用范围更广。

  3. 几何与对称性假设：Choi, Jeong, and Yao [12] 证明了全平面中奇-奇对称四极涡的全局稳定性，但该结果依赖于强烈的对称性假设。Zbarsky [34] 和 Hassainia 等人 [18, 19] 研究了特殊扩展或周期配置。本文允许一般的有界光滑单连通域，且不施加任何对称性假设于域或初始数据。此外，本文允许点涡平衡态退化（即 Hessian 不一定正定），而许多先前工作需要非退化条件。

代价与局限：本文的控制是基于环流量的集中（即大部分环量位于小球内），而非完整支撑集的直径控制。细长的涡丝可能形成，但它们只携带 $o(1)$ 的环量。此外，简单连通性的假设虽然在文中未显式证明为必要，但目前结果限于此设定。

6. 磁化哈密顿动力学的超临界平均场极限

Supercritical mean–field limit for magnetized Hamiltonian dynamic

作者: Immanuel Ben Porat, Gui-Qiang G. Chen, Difan Yuan

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00598v1

摘要翻译: 磁化 Vlasov–Poisson 方程是无碰撞等离子体的一个基本动力学模型。我们在二维情况下建立了该方程在空间非均匀且随时间变化的外加磁场存在下的准中性极限。在同一设定下，我们还建立了相应的排斥型库仑粒子系统的平均场与准中性联合极限，从而推广了 \cite{han2021newton} 中的结果。这两个极限均导出带有 Lorentz 强迫项的不可压缩 Euler 方程。一个关键的结构特征是 Lorentz 算子的逐点反对称性，它在调制能量估计中产生精确抵消，对控制极限动力学至关重要。我们进一步导出了一个闭合的涡度形式，其中流体涡度与磁场之和由流场输运，并与空间平均速度的演化方程相耦合。最后，我们证明了所得极限系统在 Lipschitz 类中的全局适定性。

Comment: 41 pages

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

1. 研究对象和背景

等离子体物理中的无碰撞等离子体动力学通常由 Vlasov-Poisson 方程描述。在二维周期设置下，当存在外部磁场 $B$ 时，该方程被称为磁化 Vlasov-Poisson 方程 (VPB)。其形式为：

$$ \begin{cases} \partial_t f + \xi \cdot \nabla_x f - (\nabla_x \Phi + B \xi^\perp) \cdot \nabla_\xi f = 0, \\ f(0, \cdot) = f_{in}, \\ \Delta_x \Phi = 1 - \rho, \end{cases} $$

其中 $f(t, x, \xi)$ 是粒子分布函数，$\rho(t, x) = \int_{\mathbb{R}^2} f(t, x, \xi) d\xi$ 是电子密度，$\Phi$ 是自洽电场势，$B: [0, T] \times \mathbb{T}^2 \to \mathbb{R}$ 是一个依赖于空间和时间的外部标量磁场，$\xi^\perp = (-\xi_2, \xi_1)$。

本文研究的是该方程的准中性极限（quasi-neutral limit）。在此极限下，引入小参数 $\varepsilon$ 代表介电常数，方程变为：

$$ \begin{cases} \partial_t f_\varepsilon + \xi \cdot \nabla_x f_\varepsilon - (\nabla_x \Phi_\varepsilon + B \xi^\perp) \cdot \nabla_\xi f_\varepsilon = 0, \\ f_\varepsilon(0, \cdot) = f_{in}^\varepsilon, \\ \varepsilon \Delta_x \Phi_\varepsilon = 1 - \rho_\varepsilon. \end{cases} $$

物理上，$\varepsilon \to 0$ 意味着电子密度趋于离子密度（即系统趋向于电中性），此时流体行为显现。此外，本文还研究了与上述动力学对应的微观牛顿第二定律系统的超临界平均场极限（supercritical mean-field limit）。

对于 $N$ 个带电粒子，其位置 $x_i(t)$ 和速度 $\xi_i(t)$ 满足以下常微分方程组 (NB$_\varepsilon$)：

$$ \begin{cases} \frac{d}{dt} x_i^N(t) = \xi_i^N(t), \\ \frac{d}{dt} \xi_i^N(t) = -B(t, x_i^N(t))(\xi_i^N(t))^\perp - \frac{1}{N\varepsilon} \sum_{j \neq i} \nabla_x V(x_i^N(t) - x_j^N(t)), \end{cases} $$

其中 $V$ 是环面上的格林函数，满足 $\Delta_x V = 1 - \delta_0$。经验测度 $\mu_N^\varepsilon(t) = \frac{1}{N}\sum_{i=1}^N \delta_{(x_i(t), \xi_i(t))}$ 精确地满足 (VPB$_\varepsilon$)。

以往的研究主要关注均匀磁场或无磁场情况下的准中性极限，或者是在不同缩放关系下的陀螺动力学极限。然而，对于空间非均匀且随时间变化的外部磁场，其在准中性极限下的严格推导以及相应的微观-宏观一致性（特别是结合平均场极限）尚未得到解决。本文旨在填补这一空白，证明在上述两种极限下，系统均收敛到带有洛伦兹力的不可压缩欧拉方程。

2. 主要定理或主要结果

本文的主要结果分为两部分：一是从磁化 Vlasov-Poisson 方程推导准中性极限；二是从微观粒子系统推导超临界平均场极限。

定理 1.1 (准中性极限): 假设： (i) $B \in W^{1, \infty}(\mathbb{R}^+; W^{2, \infty}(\mathbb{T}^2))$; (ii) $f_\varepsilon \in W^{1, \infty}([0, T] \times \mathbb{T}^2 \times \mathbb{R}^2)$ 是 (VPB$_\varepsilon$) 的解，且具有有限的二阶速度矩和足够快的速度衰减; (iii) 初始涡度 $\omega_{in} \in W^{1, \infty}(\mathbb{T}^2)$ 且 $\int_{\mathbb{T}^2} \omega_{in} dx = 0$，$(\omega, v)$ 是相应欧拉方程在 $[0, T]$ 上的解。 定义调制能量 (modulated energy):

$$ E_\varepsilon(t) := \frac{1}{2} \int_{\mathbb{T}^2 \times \mathbb{R}^2} |\xi - v(t, x)|^2 f_\varepsilon(t, x, \xi) dx d\xi + \frac{\varepsilon}{2} \int_{\mathbb{T}^2} |\nabla_x \Phi_\varepsilon|^2 (t, x) dx. $$

若 $E_\varepsilon(0) \to 0$ 当 $\varepsilon \to 0$，则 $\sup_{t \in [0, T]} E_\varepsilon(t) \to 0$。这蕴含了弱收敛：

$$ \rho_\varepsilon(t, \cdot) \rightharpoonup 1, \quad J_\varepsilon(t, \cdot) \rightharpoonup v, $$

其中 $J_\varepsilon(t, x) = \int_{\mathbb{R}^2} \xi f_\varepsilon(t, x, \xi) d\xi$，而 $(v, p)$ 满足带洛伦兹力的不可压缩欧拉方程：

$$ \begin{cases} \partial_t v + \text{div}_x(v \otimes v) + B v^\perp + \nabla_x p = 0, \\ \text{div}_x v = 0, \\ \int_{\mathbb{T}^2} p(t, x) dx = 0. \end{cases} $$

定理 1.2 (超临界平均场极限): 考虑微观系统 (NB$_\varepsilon$)。设 $\varepsilon = \varepsilon(N) \to 0$ 且满足条件 $\frac{\log N}{N \varepsilon} \to 0$。定义重整化调制能量 (renormalized modulated energy) $E_{\varepsilon, N}(t)$:

$$ E_{\varepsilon, N}(t) := \frac{1}{2N} \sum_{i=1}^N |\xi_i(t) - v(t, x_i(t))|^2 + \frac{1}{2\varepsilon} \iint_{\Delta^c} V(x-y) (\rho_{\varepsilon, N} - 1 - \varepsilon U)^{\otimes 2}(t, dx dy) + \frac{C}{2\varepsilon} \left(1 + \|1 + \varepsilon U\|_{L^\infty} \right) \frac{1 + \log N}{N}, $$

其中 $U = -\Delta_x p$，$\Delta^c$ 表示对角线的补集，$C$ 为正常数。 若 $E_{\varepsilon, N}(0) \to 0$ 当 $\varepsilon + \frac{1}{N} \to 0$，则 $\sup_{t \in [0, T]} E_{\varepsilon, N}(t) \to 0$。这同样蕴含了经验测度的弱收敛到欧拉流。

此外，文章证明了极限系统 (EB) 在 Lipschitz 类中的全局适定性，并导出了一个闭合的涡度形式，其中修正涡度 $\Omega = \omega + B$ 满足输运方程 $\partial_t \Omega + v \cdot \nabla_x \Omega = \partial_t B$，并与空间平均速度的演化方程耦合。

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

证明的核心障碍在于处理空间非均匀且随时间变化的磁场带来的额外项，以及在微观层面处理奇异库仑相互作用和原子型经验测度。

  1. 洛伦兹算子的反对称性: 一个关键的结构特征是洛伦兹力算子 $u \mapsto B(t, x) u^\perp$ 的点态反对称性。在调制能量估计中，微观动力学产生的洛伦兹项与极限欧拉方程产生的对应项之间发生了精确抵消。即使 $B$ 依赖于空间和时间，这种抵消依然成立。这是控制极限动力学的关键，使得作者能够沿用 Brenier 的调制能量方法框架。

  2. 重整化调制能量: 在粒子层面，经验密度是原子的，而库仑核 $V$ 在原点奇异，因此经典调制能量无法直接求值。作者引入了相对于修正背景 $1 + \varepsilon U$ 的重整化调制能量，并在对角线之外进行积分。利用 Serfaty 发展的库仑泛函不等式以及有限 $N$ 的正性修正项，作者在条件 $\frac{\log N}{N \varepsilon} \to 0$ 下关闭了估计。这一技术源自 Han-Kwan-Iacobelli 的工作，并被本文扩展到含变磁场的情况。

  3. 闭合涡度形式与适定性: 由于 $B$ 的空间依赖性，涡度方程被修改，且空间平均速度不再守恒，导致单靠涡度无法确定全速度场。作者引入了修正涡度 $\Omega = \omega + B$，它满足输运方程 $\partial_t \Omega + v \cdot \nabla_x \Omega = \partial_t B$。同时，空间平均速度 $\bar{v}(t)$ 满足演化方程 $\dot{\bar{v}}(t) = -\int_{\mathbb{T}^2} B(t, x) v^\perp(t, x) dx$。通过建立这个闭合系统，作者证明了该极限系统在 Lipschitz 类中的全局适定性，从而为极限过程提供了严格的流体背景解。

4. 与之前工作的比较

本文的工作显著扩展了已有的准中性极限理论：

  1. 磁场依赖性的推广: 之前的工作如 Brenier-Grenier [8] 和 Brenier [7] 主要处理无磁场或特定简化情况下的准中性极限。Golse-Saint-Raymond [17] 研究了常数磁场下的陀螺动力学准中性极限，但其缩放关系与本文不同。Burby et al. [11] 对静态、空间变化的磁场进行了形式化的慢流形约化。本文首次严格建立了空间非均匀且随时间变化的外部磁场下的准中性极限，并将洛伦兹力保留在极限欧拉方程中，这与之前许多将磁场效应吸收进其他项或仅考虑均匀场的工作不同。

  2. 超临界平均场极限的扩展: Han-Kwan-Iacobelli [23] 证明了无磁场情况下联合平均场和准中性极限的存在性，并引入了“超临界”这一术语来描述需要定量渐近关系 $\varepsilon = N^{-\theta}$ 的极限。本文将这一结果扩展到含变磁场的情况，证明了在相同的尺度关系下，微观粒子系统也收敛到带洛伦兹力的欧拉方程。这比单纯的动力学极限更复杂，因为需要同时处理电磁相互作用的奇异性、磁场的时空变化以及大 $N$ 极限之间的竞争。

  3. 数学工具的深化: 相比于早期仅使用基本能量估计的方法，本文深度结合了 Serfaty 的库仑泛函不等式和重整化调制能量技术。这些工具允许处理微观层面的强相互作用和奇异性，而不仅仅是宏观层面的正则性问题。此外，作者通过引入修正涡度解决了变磁场下涡度方程不闭合的问题，这是一个新的分析贡献，确保了极限流体的全局适定性。

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

1. $α$-极限问题：一个线性退化界面透射问题的收敛性

The $α$-Limit Problem: Convergence of a Linear Degenerate Interface Transmission Problem

作者: Toai Luong, Tadele Mengesha, Kerrek Stinson, Steven M. Wise, Ming Hei Wong

类别: math.AP, math.NA

发布日期: 2026-09-01

arXiv ID: 2609.01237v1

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

摘要翻译

中文标题: $α$-极限问题：一个线性退化界面透射问题的收敛性

摘要翻译: 我们研究由新提出的双参数扩散域方法（DDM2p）中一种正则化程序所引出的一族线性退化界面透射问题的奇异极限。对于 $α>0$，正则化问题在 $H^{1}(Ω)$ 上具有严格凸的变分表述。在极限 $α\to0$ 下，该问题退化为一个弱耦合的界面系统，且具有非标准的能量结构。为了刻画该极限，我们通过在一个环形子域 $Ω_2\subset Ω$ 上的辅助 Helmholtz 问题定义了一个闭 Hilbert 子空间 $\mathcal{H}\subset H^{1}(Ω)$，并确定了 $\mathcal{H}$ 上的极限能量泛函 $\mathcal{E}_{0}$。利用标准框架，我们证明了正则化能量 $\mathcal{E}_α$ 在强 $L^{2}(Ω)$ 拓扑下 $Γ$-收敛到 $\mathcal{E}_{0}$。因此，$\mathcal{E}_α$ 的极小点收敛到 $\mathcal{E}_{0}$ 的唯一极小点，且该唯一极小点等价于极限界面问题的解。此外，我们还证明了 $u_α$ 在 $H^{1}(Ω)$ 中的强收敛 $u_α\to u_{0}$，并建立了 $O(α)$ 的收敛速率。一维空间中的数值实验证实了预测的一阶收敛速率，并表明该速率是最佳的。

2. 黎曼流形上输运流作用下高斯测度准不变性的障碍

Obstruction to quasi-invariance of Gaussian measures under transport flows on Riemannian Manifolds

作者: Anne-Sophie de Suzzoni, Mickaël Latocca

类别: math.AP, math.PR

发布日期: 2026-09-01

arXiv ID: 2609.01105v1

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

摘要翻译

中文标题: 黎曼流形上输运流作用下高斯测度准不变性的障碍

摘要翻译: 我们证明了黎曼流形上无散度输运流作用下高斯场的准不变性存在一个障碍。对于协方差为 $(1-Δ_g)^{-α}$、$α>\frac{d}{2}$ 的零均值高斯场，在输运流作用下的准不变性等价于不变性。这恰好发生在该流由等距变换实现时，或者等价地，当底层向量场是 Killing 向量场时。证明利用了 Feldman–Hájek 定理，并采用了局部化的伪微分算子计算。在 $\mathbb R^d$ 上，这只留下刚体运动；而在平坦环面上，这只留下平移。

3. Vlasov-Maxwell 点电荷系统：球对称情形的研究

The Vlasov-Maxwell point charge system : study of the spherically symmetric case

作者: Emile Breton

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00973v1

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

摘要翻译

中文标题: Vlasov-Maxwell 点电荷系统：球对称情形的研究

摘要翻译: 我们考虑带有排斥性点电荷的 Vlasov-Maxwell 系统。在球对称条件下，该系统简化为带有点电荷的相对论 Vlasov-Poisson 系统。对于此系统，线性特征线求解的是相对论 Kepler 问题的运动方程。我们为线性化方程定义了作用-角变量，并在这些坐标下研究非线性系统。在此框架内，我们证明了小初值经典解的全局存在性，并建立了其修正散射行为。该证明利用了非相对论情形中发展起来的想法。

4. 库仑多电子波函数的精确混合谱 Barron 正则性

Sharp Mixed Spectral Barron Regularity of Coulombic Many-Electron Wave Functions

作者: Pingbing Ming, Hao Yu

类别: math.AP, cs.LG, math.NA

发布日期: 2026-09-01

arXiv ID: 2609.00872v1

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

摘要翻译

中文标题: 库仑多电子波函数的精确混合谱 Barron 正则性

摘要翻译: 我们建立了分子库仑哈密顿量本征函数的精确混合谱 Barron 正则性。该混合范数是一个傅里叶 $L^1$ 范数，具有一个各向同性权重和坐标乘积权重，因此能够检测到各向同性 Barron 尺度无法看到的正则性。对于波函数反称的非空电子指标集 $I$，我们推导了各向同性阶 $s$ 和坐标阶 $α,β$ 的显式可容许区域。作为关于固定核库仑哈密顿量类的统一陈述，该区域是最佳的。对于具有两个占据自旋块的固定自旋分量，它简化为 $s+α+β<1$；在全自旋极化类中，它简化为 $s+α<1$。特别是，如果 $oldsymbol{ar{\mathcal I}_σ}$ 表示由 $σ$ 确定的占据同自旋块族，那么每个固定自旋空间分量 $ψ_σ$ 满足，对于每个 $0oldsymbol{ar{\leq}α<1}$，

$$ (\sum_{I\in\mathcal I_σ}\prod_{i\in I}\langleξ_i angle^α)\widehat{ψ_σ}\in L^1(\mathbb{R}^{3N}). $$

对于全自旋极化态，$\mathcal I_σ=\{\{1,\ldots,N\}\}$。

5. 全正温度下库仑调制能量的配分函数一致估计

Uniform Partition-Function Estimates for Coulomb Modulated Energy at All Positive Temperatures

作者: Zhenfu Wang, Xianliang Zhao

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

发布日期: 2026-09-01

arXiv ID: 2609.00867v1

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

摘要翻译

中文标题: 全正温度下库仑调制能量的配分函数一致估计

摘要翻译: 我们证明了在局部平方可积范围 $0\le s<d/2$ 内，$oldsymbol{R}^d$ 上对数、Riesz 和 Bessel–Riesz 核的居中调制能量在全正温度下具有关于 $N$ 一致的配分函数估计。这些估计导出了有限粒子指数可积性、小参数下的二次行为、大参数下依赖于核的显式增长以及相应 Gibbs 测度的一致熵控制。作为应用，我们得到了相互作用 Gibbs 平衡态的一致 Rényi 散度和相对熵界，热平衡附近的熵平均场收敛；三维库仑流的最优 $N^{-1}$ 归一化相对熵速率；以及固定时间有限维涨落的 $N^{-1/2}$ 高斯逼近。最后，调制能量收敛于第二 Wiener 混沌中的一个随机变量，并且对于每个正参数，配分函数收敛到其 Laplace 变换，该变换由 Carleman–Fredholm 行列式表示。此公式确定了小参数的精确行为和当参考密度在一个球上有下界时大参数的精确增长。

6. 二维可压缩液晶流动大初值与真空下径向对称强解的全局适定性

Global well-posedness of radially symmetric strong solutions to two-dimensional compressible liquid crystal flows with large data and vacuum

作者: Yu Mei, Sen Yang

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00627v1

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

摘要翻译

中文标题: 二维可压缩液晶流动大初值与真空下径向对称强解的全局适定性

摘要翻译: 我们研究二维可压缩向列型液晶流动的初边值问题，其中剪切黏度 $μ$ 为正常数，体黏度 $λ$ 是密度的幂函数，幂指数为 $β$。在条件 $β>1$ 下，我们建立了该 Vaigant–Kazhikhov 型模型（简化可压缩 Ericksen-Leslie 系统）的径向对称强解的全局存在性和长时间行为，该模型具有速度的 Dirichlet 边界条件和指向矢的 Neumann 边界条件，适用于任意大的初值和真空情形。本工作改进了 Zhong 和 Zhou ( extit{Math. Ann.} extbf{390}, 2024; extit{J. Math. Pures Appl.}, extbf{212}, 2026) 关于一般二维区域的结果，通过移除对指向矢的几何角度条件并将 $β$ 的约束从 $β>4/3$ 放宽至 $β>1$。关键要素在于由指向矢的径向对称性产生的刚性机制防止了输运调和热流中的集中现象。

不相关论文（基本信息）

1. 次临界特殊拉格朗日方程内部 Hölder 与梯度估计的失效

Failure of Interior Hölder and Gradient Estimates for the Subcritical Special Lagrangian Equation

作者: Zhenyu Fan, Caiyan Li, Zhehui Wang

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01531v1

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

摘要: For every $n\ge3$, we show, by a family of explicit entire real-analytic solutions, that, for every subcritical phase and every $0<α\le1$, oscillation-based interior $C^α$ estimates fail for the special Lagrangian equation in $\mathbb{R}^n$. In fact, this family has no common interior modulus of continuity.

2. 双曲空间中具有无穷远处给定渐近边界的常高阶平均曲率超曲面

Hypersurfaces of constant higher order mean curvature in hyperbolic space with prescribed asymptotic boundary at infinity

作者: Bin Wang

类别: math.DG, math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01565v1

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

摘要: In this note, we prove the existence of smooth complete admissible hypersurfaces in hyperbolic space with constant higher order mean curvature and a prescribed asymptotic boundary at infinity. Unexpectedly, our result holds for a large part of indices in the subcritical range where the concavity inequality loses its effectiveness. We supply with new arguments to reduce the proof to a semi-convex situation in which case the concavity inequality can play a role.

3. $L^∞$ Aubry 集的变分逼近

$L^\infty$ Variational Approximation of the Aubry Set

作者: Hung V. Tran, Yifeng Yu

类别: math.AP, math.DS

发布日期: 2026-09-01

arXiv ID: 2609.01557v1

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

摘要: Let $H\in C^\infty(\mathbb R^n\times\mathbb T^n)$ be a periodic Tonelli Hamiltonian with critical value $c$. For each $k\in\mathbb N$, let $u_k$ be the normalized minimizer of the variational functional introduced by Evans[7], $ I_k[w]=\int_{\mathbb T^n} e^{kH(Dw,x)}\,dx, \qquad \int_{\mathbb T^n}w\,dx=0. $ If $u_\infty$ is a uniform limit of a subsequence of $\{u_k\}$ and the Mather quotient $({A}_M,δ_M)$ satisfies $H^1( A_M,δ_M)=0$, then $u_\infty$ is a critical subsolution that is strict outside ${A}$ and [ {A}

{x\in\mathbb T^n,:,Du_\infty(x)\ \text{exists and }H(Du_\infty(x),x)=c}={x\in\mathbb T^n,:,u_\infty(x)=u_{-}(x)}, ] where ${A}$ is the projected Aubry set and $u_{-}$ is the backward weak KAM solution associated with $u_\infty$. In particular, by the theorem of Fathi–Figalli–Rifford[10], this conclusion holds for all smooth Tonelli Hamiltonians on $\mathbb T^n$ when $n\leq3$. This characterization also suggests a natural numerical localization principle for approximating the entire Aubry set through near-contact sets between $u_k$ and its large-time backward Lax–Oleinik evolution.

4. 不依赖初始低能集中假设的玻色-爱因斯坦凝聚

Bose–Einstein Condensation without an Initial Low-Energy Concentration Assumption

作者: Siwei Luo, Jian-Guo Liu

类别: math.AP, math-ph

发布日期: 2026-09-01

arXiv ID: 2609.01436v1

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

摘要: We prove that semi-strong convergence to a Bose–Einstein equilibrium below the critical temperature implies finite-time Bose–Einstein condensation (BEC) for conservative isotropic measure solutions of the spatially homogeneous quantum Boltzmann equation with low-momentum scattering degeneracy exponent $0\leqη<1$. For every admissible initial measure with $\overline T/\overline T_c<1$, there exists a conservative solution that has a positive zero-energy atom after a finite time without any assumption of initial concentration near zero energy. We also show that it persists and converges to the equilibrium condensate mass, while the full solution converges strongly. The proof introduces a method to obtain condensation from relaxation estimate to Bose–Einstein equilibrium. The relaxation estimate first gives a fixed amount of mass below a small energy level. We then use collision estimates at smaller and smaller energy scales and add their effects in a weighted sum functional with a fixed upper bound. If no atom forms at zero energy, enough mass remains in the positive-energy shells to force this sum to exceed its upper bound in finite time, which leads to condensation in finite time.

5. 混合局部-非局部算子基本解的渐近展开

Asymptotic Expansions of the Fundamental Solution for a Mixed Local-Nonlocal Operator

作者: Congming Li, Ling Wang, Jiongduo Xie

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01403v1

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

摘要: In this paper, we study the fundamental solution of the mixed local-nonlocal operator $ -Δ+(-Δ)^s,$ $ 0<s<1. $ We derive precise asymptotic expansions of the fundamental solution and its gradient, up to the first nontrivial correction term, both near the origin and at infinity. The expansions describe the transition between the local and nonlocal diffusion scales and include the critical regimes in which logarithmic terms occur. As applications of these asymptotics, we establish a distributional Bôcher-type theorem for nonnegative supersolutions with an isolated singularity. We further obtain quantitative positive and antisymmetric maximum principles on punctured balls.

6. 通过 Heisenberg-Pauli-Weyl 不确定性原理研究流形的 Gromov-Hausdorff 稳定性与刚性

Gromov-Hausdorff Stability and Rigidity of manifolds via Heisenberg-Pauli-Weyl Uncertainty Principle

作者: Mousomi Bhakta, Debdip Ganguly, Debabrata Karmakar

类别: math.DG, math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01463v1

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

摘要: The classical Heisenberg Pauli Weyl (HPW) inequality exhibits a strong rigidity phenomenon on Riemannian manifolds i.e. on Cartan Hadamard manifolds and those with non-negative Ricci curvature, the validity of the Euclidean HPW inequality or the existence of extremizers strictly forces the manifold to be isometric to Euclidean space, $\mathbb{R}^n$. This geometric discrepancy motivates the study of curvature dependent corrections and their associated stability properties. In this article, we investigate the geometric stability of the HPW inequality. Specifically, given a sequence of pointed Riemannian manifolds and appropriately normalized functions with a vanishing HPW deficit, we address whether the sequence converges to the corresponding model space in the pointed Gromov Hausdorff topology. We prove that for pinched Cartan Hadamard manifolds with sectional curvature bounded above by $c < 0$, the manifolds converge to the model hyperbolic space $\mathbb{H}^n_c$. In the non-negative Ricci curvature setting, we establish convergence to $\mathbb{R}^n$, up to a metric rescaling factor governed by the sequence’s moment term. Consequently, we deduce that the known HPW inequality formulated via the asymptotic volume ratio (AVR) is suboptimal for non negatively Ricci curved manifolds not isometric to Euclidean space. To resolve this, we introduce a curvature corrected HPW inequality for this setting, analogous to the Cartan Hadamard case. Finally, we establish quantitative rigidity estimates in both curvature regimes, demonstrating that the HPW deficit when evaluated at Gaussian profiles which explicitly controls an appropriately defined distance to the respective model space.

7. 嵌段共聚物熔体屏蔽模型中的 Delaunay 型界面

Delaunay-type interface in a screened model of diblock copolymer melts

作者: Guy Foghem, Mouhamed Moustapha Fall

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01333v1

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

摘要: A diblock copolymer is a soft-matter composed of two chemically distinct block of repeating monomers covalently bonded together at an end-to-end junction to form a single polymer chain. In this paper, we establish the existence of infinitely many smooth periodic unbounded domain patterns of Delaunay-type in $\mathbb{R}^3$ that optimize the energy distribution in diblock copolymer melts. We emphasize that pattern domains at the equilibrium correspond to stationary sets of the screened Ohta–Kawasaki free energy functional \begin{align*} \mathcal{P}_γ(Ω) := |\partialΩ| + γ\int_Ω\int_Ω G_κ(|x-y|) ,\mathrm{d}x\mathrm{d}y, \end{align*} where $γ>0$, $κ>0$ and $G_κ(r)=\frac{1}{r} e^{-κr}$ is the repulisive Yukawa potential. Equivalently, these equilibria satisfy the corresponding Euler–Lagrange equation \begin{align*} \mathcal{H}Ω(x):= H{\partialΩ}(x) + γ\int_Ω G_κ(|x-y|) \mathrm{d}y = \textrm{Const} \quad \text{on } \partialΩ, \end{align*} where $H_{\partialΩ}$ denotes the mean curvature of the surface $\partialΩ$. By analyzing the linearization of $Ω\mapsto \mathcal{H}_Ω$ around flat cylinders and applying the Crandall–Rabinowitz bifurcation theorem, for any $κ> 0$ and sufficiently small $γ> 0$, we prove the existence of non-trivial, $2π$-periodic Delaunay-type equilibrium cylinder interfaces with shapes close to a Delaunay unduloid surface of constant mean curvature.

8. 受限面积极小化极小曲面的质量界

Mass Bounds for Confined Area-Minimizing Minimal Surfaces

作者: Xumin Jiang, Jiongduo Xie

类别: math.DG, math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01324v1

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

摘要: We establish codimension-independent mass bounds for geometrically confined area-minimizing rectifiable currents. In Euclidean space, we combine the confined-volume doubling theorem of Colding–Minicozzi with a current-theoretic squashing argument. This gives an affirmative answer to Lin’s interior mass-bound problem for every algebraic projection multiplicity $Q$: the interior mass is bounded by $C(n)Q$, without an a priori mass bound at a larger scale. For the hyperbolic application, we make the curvature modification of the fixed-scale argument needed in a thin tubular neighborhood of a totally geodesic copy of $\mathbb{H}^n$. Combining this auxiliary estimate with a localized squashing estimate removes the doubly exponential local mass-growth condition from the boundary regularity results in [13].

9. IgA 中基于投影的低秩组装

Projection-based low-rank assembly in IgA

作者: Tom-Christian Riemer, Martin Stoll

类别: math.NA, math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01218v1

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

摘要: Isogeometric Analysis (IgA) uses the same spline functions to represent the computational domain and to approximate the solution. This allows exact geometry descriptions, but the resulting mass and stiffness matrices are expensive to assemble and to store, especially in three dimensions. We present a projection-based low-rank approach for assembling the mass and stiffness tensors of orientation-preserving tensor-product B-spline geometries. For the mass tensor, we exploit the polynomial structure of the determinant of the Jacobian of the geometry map and represent it in reduced spline product spaces by univariate coefficient transfer operators; with exact quadrature and without truncation, the resulting low-rank tensor is an exact reformulation of the standard Galerkin mass tensor. For the stiffness tensor, we split the rational weight function into a polynomial numerator, again represented in reduced spline product spaces, and the reciprocal determinant, which is in general not a spline function and is therefore approximated by an $L^2$-projection onto a tensor-product spline space. Both constructions are carried out entirely in the tensor-train (TT) format, with the projection system solved by the alternating minimal energy (AMEn) method, so that full high-order coefficient tensors are never formed and the multidimensional integrals reduce to univariate integrals and contracted products. The method is implemented in MATLAB using GeoPDEs and the TT-Toolbox. Numerical experiments show that it is competitive with full assembly and with the interpolation-based low-rank method, and that it applies in two situations in which interpolation is problematic: a singular interpolation system and nearly singular geometries. The construction is restricted to orientation-preserving tensor-product B-spline geometries and does not cover NURBS.

10. 双曲空间中常 $H_{k}$ 曲率超曲面的渐近 Plateau 问题

The asymptotic Plateau problem for Hypersurfaces of constant $H_{k}$ curvature in hyperbolic space

作者: Xinqun Mei, Jin Yan

类别: math.DG, math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01104v1

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

摘要: In this paper, we study the asymptotic Plateau problem in hyperbolic space for hypersurfaces of constant $H_k$-curvature. We prove the existence of a smooth complete $k$-convex hypersurface in $\mathbb{H}^{n+1}$ satisfying

$$ H_k(κ)=σ, \qquad σ\in(0,1), $$

with prescribed asymptotic boundary at infinity. In particular, our result extends the range of the constant $σ$ in the existence theorem of Guan and Spruck [J. Eur. Math. Soc. 12 (2010), no. 3, 797–817] for $H_{k}$ curvature to the full interval $(0,1)$.

11. 图上的平均热半群的高斯上界

Gaussian upper bounds for averaged heat semigroups on graphs

作者: Christian Rose

类别: math.AP, math.PR

发布日期: 2026-09-01

arXiv ID: 2609.01098v1

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

摘要: Characterizations of pointwise Gaussian upper bounds on graphs with possibly unbounded geometry in terms of localized functional inequalities contain errors depending on the vertex degree. We introduce a new space-time averaged form of the heat semigroup in terms of time-averaged $\ell^{q/(q-1)}-\ell^q$-estimates and obtain Gaussian upper bounds from large-scale Faber-Krahn inequalities which avoid such errors. A main analytic ingredient is an integrated version of Davies’ method which yields off-diagonal estimates for this averaged quantity, and which tends to pointwise Gaussian bounds as time tends to infinity. Conversely, on large scales volume doubling and Gaussian bounds on this averaged heat semigroup norms imply relative Faber-Krahn inequalities for subsets of prescribed relative measure. Our proof is based on a lower bound for Dirichlet eigenvalues in terms of these averages. The Faber-Krahn dimension is scale-dependent, but converges to the doubling dimension for increasing radii. This gives a characterization of asymptotic Gaussian heat kernel behavior in terms of Faber-Krahn inequalities.

12. 自由边界流的定量回避及其应用

Quantitative avoidance for free boundary flows and applications

作者: Yueheng Bao, Robert Haslhofer

类别: math.DG, math.AP

发布日期: 2026-09-01

arXiv ID: 2609.01026v1

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

摘要: In this article, we introduce a new distance function between hypersurfaces with free boundary. We show that our new quantity, which we call twisted Fermi distance, is monotone under mean curvature flow with free boundary. This overcomes the stumbling block that monotonicity of the usual distance function can fail for non-convex domains, and has several applications. Most importantly, we generalize the avoidance principle for free boundary Brakke flows, recently established by the first author for convex domains, to arbitrary domains. Using this, we then show that all results from our recent joint work, including the mean-convex neighborhood theorem and the uniqueness theorem for free boundary flows through cylindrical singularities, can be generalized to arbitrary domains without any convexity assumptions as well.

13. 广义Monge-Ampère方程特征值的 $L^p$ Brunn-Minkowski不等式

Lp Brunn-Minkowski inequality for the eigenvalue of generalized Monge-Ampère equation

作者: Yuxiao Yan, Feida Jiang

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00743v1

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

摘要: We investigate the eigenvalue of a generalized Monge-Ampère equation. We proved that the eigenvalue of the equation on the Lp Minkowksi addition of two convex bodies satisfies the Lp Brunn-Minkowski inequality.

14. 任意维数中带有反对称势的椭圆系统的正则性与Rivière的${GL}(m)$-规范构造

Regularity and Rivière’s ${GL}(m)$-Gauge Construction for Elliptic Systems with Antisymmetric Potentials in Arbitrary Dimensions

作者: Carolin Bayer

类别: math.AP, math.DG

发布日期: 2026-09-01

arXiv ID: 2609.00826v1

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

摘要: Let $1 \leq q \le 2$ and denote by $2 \leq q'$ its corresponding conjugate exponent. We prove the continuity of solutions $u \in W^{1,(\frac{n}{n-1},q')}(B^n, \mathbb{R}^m)$ to the critical elliptic system $-Δu = Ω\cdot \nabla u$ in dimension $n \ge 3$, where the potential $Ω\in L^{(n,q)}(B^n, \mathfrak{so}(m) \otimes \wedge^1)$ is antisymmetric. First, we construct $P \in W^{1,(n,q)}(B^n, \mathrm{SO}(m))$ such that the PDE can be rewritten as $-\operatorname{div}(P^{-1}du) = \ast dξ\cdot P^{-1}du$, which is nearly a Jacobian structure up to the rotation $P$. Second, we provide a Rivière’s $\mathrm{GL}(m)$-Gauge in order to establish a “full” $(A,B)$-conservation law, i.e. $-\operatorname{div}(Adu)=d^\ast B \cdot du.$

15. 二维向量 Allen-Cahn 系统的边界渐近行为

Boundary asymptotics for two-dimensional vectorial Allen-Cahn systems

作者: Zhiyuan Dai, Haotong Fu, Huaijie Wang, Wei Wang

类别: math.AP, math.DG

发布日期: 2026-09-01

arXiv ID: 2609.00739v1

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

摘要: We study asymptotic properties of critical points of the two-dimensional vectorial Allen-Cahn energy with finitely many non-degenerate wells, subject to a homogeneous Neumann boundary condition. For any sequence with uniformly bounded energy, we prove that the limiting full and potential measures are supported on a closed countably 1-rectifiable set up to the boundary and satisfy the discrepancy relations. The potential measure defines a free-boundary stationary rectifiable varifold. Boundary mass may occur: weights are constant on regular boundary arcs, finite-type junctions obey projected balance, and the sole non-boundary branch meets the boundary orthogonally. This provides a Neumann-boundary extension of Bethuel’s planar interior theory. The key idea is to read the boundary geometry from the limiting stress-energy tensor, which identifies the potential-energy measure as the stationary interfacial measure even in the presence of boundary concentration.

16. 关于加权 $1$-Laplacian 的 Aleksandrov–Bakelman–Pucci 估计

On the Aleksandrov–Bakelman–Pucci estimates for the weighted $1$-Laplacian

作者: Shuhei Kitano

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00719v1

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

摘要: We establish Aleksandrov–Bakelman–Pucci-type estimates for viscosity subsolutions of Poisson equations associated with the weighted $1$-Laplacian and, more generally, with fully nonlinear operators acting on the Hessian in directions orthogonal to the gradient. A key feature of the proof is that the quasiconcave envelope plays the role of the concave envelope in the classical ABP estimate.

17. 生理结构种群非局部输运-更新系统的严格分析

Rigorous Analysis of a Nonlocal Transport–Renewal System for Physiologically Structured Populations

作者: Jiguang Yu, Louis Shuo Wang, Ye Liang

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00735v1

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

摘要: We develop a rigorous analytical framework for a class of physiologically structured population models with two internal state variables, nonlocal ecological feedbacks, dynamic resources, inter-zone transfer, and selective harvesting. The full model is a coupled nonlinear PDE–ODE transport–renewal system with endogenous inflow at the recruitment boundary, a setting in which transport, nonlocal dependence, and boundary renewal interact at the same level. For this full nonautonomous multi-zone system, we prove finite-horizon well-posedness in a positive $L^{1}$-based state space, including global existence on arbitrary bounded time intervals, uniqueness, nonnegativity, and continuous dependence on initial data, environmental forcing, and harvesting effort. We then isolate an autonomous single-zone reduction at extinction and construct a positive compact next-generation operator on the recruit space. In a further nonlinear stationary reduction, we prove that supercriticality of the basic reproduction number $\mathcal R_{0}>1$ yields existence of a nontrivial stationary state under a parametrized compact-operator hypothesis encoding density-dependent renewal feedback. Finally, for a finite-horizon harvest objective over a compact Lipschitz-regular admissible class, we establish existence of an optimal control. The results separate what can be proved for the full climate-explicit system from what can be justified only after autonomous reduction, thereby clarifying the mathematical scope of threshold and control theory for structured populations.

18. 二次强迫项分数障碍问题的椭球正性集

Ellipsoidal Positivity Sets for Fractional Obstacle Problems with Quadratic Forcing

作者: Shuhei Kitano

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00703v1

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

摘要: Let $n\ge1$, $0<s<1$, $c>0$, and let $A$ be a positive definite symmetric matrix. We prove that the unique decaying viscosity solution of

$$ \min\{u,\,(-Δ)^s u-(c-\langle Ax,x\rangle)\}=0 \qquad\text{in }\mathbb R^n $$

has the form

$$ u(x)=K\max\{1-\langle Bx,x\rangle,0\}^{1+s} $$

for some $K>0$ and some positive definite symmetric matrix $B$. In particular, its positivity set is an ellipsoid. For $s=1/2$ and $n\ge2$, this result, combined with the classification of Fernández-Real and Yu, implies that cubic global thin obstacle solutions with nonempty bounded positivity set have ellipsoidal positivity sets. This proves the conjecture of Fernández-Real and Yu in the nonempty bounded-positivity case.

19. 多边形区域中中子输运的动力学楔形层与扩散极限

Kinetic Wedge Layers and Diffusive Limit of Neutron Transport in Polygonal Domains

作者: Zhimeng Ouyang, Lei Wu

类别: math.AP

发布日期: 2026-09-01

arXiv ID: 2609.00698v1

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

摘要: We establish the diffusive limit of the stationary neutron transport equation with velocity-dependent inflow data in polygonal domains. On a bounded convex polygon we assemble a composite approximation from an interior harmonic field, flat side layers, and kinetic wedge layers, and we prove that the solution converges to this composite in $L^{\infty}$ at an explicit algebraic rate, and, uniformly on compact subsets of the interior, to the harmonic field itself. We also give a complete formulation and well-posedness theory for the kinetic wedge layer, including its algebraic decay. The proof combines a characteristic stability estimate, a weighted Mellin mapping theorem, a two-depth construction and matching scheme, and a shifted superharmonic barrier for the wedge corrector. As a secondary result, we prove convergence at the square-root rate in $L^{2}$ on any bounded simple polygon, including those with reentrant vertices. That argument needs only an endpoint-truncated side layer and a two-test cancellation, and no kinetic wedge layer at all.

20. Möbius 不变 Willmore 流的有限时间 Varifold 极限的唯一性

Uniqueness of Finite-Time Varifold Limits for the Möbius-Invariant Willmore Flow

作者: Mohameden Ahmedou, Ruben Jakob

类别: math.AP, math.DG

发布日期: 2026-09-01

arXiv ID: 2609.00501v1

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

摘要: We prove uniqueness of finite-time geometric endpoints for the Möbius-invariant Willmore flow in $\mathbb{S}^3$ under uniform quantitative nonumbilicity. The multiplicity-counting varifolds converge, without reparametrization or Möbius renormalization, to a unique integral two-varifold. An intrinsic transport estimate gives quantitative total-variation convergence of the induced area measures on the fixed domain and bounded-Lipschitz Cauchy control of their pushforwards. Together with Allard compactness and rectifiability, this upgrades subsequential compactness to full-trajectory varifold convergence. The limit has generalized Euclidean mean curvature in $L^2$ with the natural endpoint lower-semicontinuity bound. For finite maximal trajectories with initial energy at most $8π$, Jakob’s subsequential alternative becomes sequence independent: the limit is zero, or it has unit density and embedded Lipschitz support of genus zero or one. For Hopf-torus trajectories under the same energy bound, nonumbilicity is automatic and the anchored constant-speed profiles converge weakly in $W^{2,2}$ and strongly in $W^{1,2}$ and $C^{1,α}$ for every $α<\frac{1}{2}$. At infinite time, the same method yields a unique limit under an additional finite-dissipation-length condition.

21. Schrödinger 算子的分离性：Simon 猜想的反例

Separation for Schrödinger operators. A counterexample to Simon’s conjecture

作者: M. A. Perelmuter

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2609.00415v1

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

摘要: We construct, for every $d\ge 5$, a nonnegative radial potential $V\in L^\infty_{\mathrm{loc}}(\mathbb{R}^d\setminus\{0\})\cap L^1(\mathbb{R}^d)$ for which $V(-Δ\dotplus V)^{-1}$ is not bounded on $L^2(\mathbb{R}^d)$.

22. Maxwell电场积分算子的形状全纯性与稀疏逼近

Shape Holomorphy and Sparse Approximation of the Maxwell Electric Field Integral Operator

作者: Paul Escapil-Inchauspé, Carlos Jerez-Hanckes

类别: math.NA, math.AP

发布日期: 2026-08-31

arXiv ID: 2609.00466v1

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

摘要: Uncertainty quantification for time-harmonic Maxwell scattering by obstacles of uncertain shape needs more than holomorphic dependence of the scattered field: for a boundary element method it is the boundary integral operator family itself that must depend holomorphically on the shape parameters. Two obstructions stand in the way. The natural energy space of the electric field integral equation, $\boldsymbol H^{-1/2}_{\mathrm{div}_Γ}(Γ)$, depends on the geometry, and the available operator-valued shape-holomorphy theory for weakly singular kernels is set in $L^2$, which does not reach it. We remove both. A surface contravariant Piola transformation identifies the geometry-dependent Maxwell trace spaces with a fixed reference space, and in the pulled-back variational formulation the surface Jacobians cancel exactly. The principal analytical ingredient is then a uniform fractional mapping theorem $H^{-1/2}\to H^{1/2}$ for the complex-deformed scalar single-layer family on uniformly $C^{1,1}$ surfaces, obtained by realizing the Laplace principal part as the trace of a complex-coefficient Newton problem on a fixed ambient space. The pulled-back operators are consequently $(\bm b,p,\eps)$-holomorphic for $\bm b\in\ell^p(\N)$, $0<p<1$, and pointwise exclusion of interior electric resonances over the compact real parameter set yields uniform invertibility. Legendre coefficients are therefore $\ell^p$ summable, so the operator family, the surface current and the far field all admit sparse polynomial approximations at dimension-independent best $N$-term rates. These statements are for the operator family itself in its energy-space operator norm, not only for individual solutions.

23. 分数阶Yamabe极小子的定量稳定性

Quantitative Stability for Fractional Yamabe minimizers

作者: A. Sophie Aiken, Benjamín Borquez

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2609.00324v1

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

摘要: We study quantitative stability for the fractional Yamabe functional introduced by González and Qing. Its minimizers correspond to conformal metrics with constant fractional curvature. We prove that the deficit of the fractional Yamabe functional controls, with a suitable power, the distance to the set of minimizers. Our approach is based on a Lyapunov–Schmidt reduction for the nonlocal functional, together with the extension characterization of the fractional conformal Laplacian, which provides the regularity theory needed for the local analysis. As a consequence, we also obtain an analogous quantitative stability estimate for the associated extension functional.

24. 无界域上带点相互作用的 Robin Laplacian：离散谱与耦合渐近

Robin Laplacians with point interactions on unbounded domains: discrete spectrum and coupling asymptotics

作者: Diego Noja, Francesco Raso Stoia

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

发布日期: 2026-08-31

arXiv ID: 2609.00315v1

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

摘要: We investigate the discrete spectrum of finitely many point interactions for Neumann and Robin Laplacians on special unbounded and exterior $C^{1,1}$ domains in dimensions two and three. The operators are realized as self-adjoint extensions through an ordinary boundary triple whose gamma field and Weyl matrix are constructed from the Robin Green kernel. Eigenvalues below the background spectrum are characterized by the Weyl matrix, yielding an exact finite-dimensional counting formula. If the background operator is non-negative, this also gives the number of negative eigenvalues without assuming a finite zero-energy limit of the Weyl matrix. In the one-centre case we identify the critical coupling and prove that the unique eigenvalue branch is real analytic, strictly increasing, and strictly concave. For scalar multicentre couplings $Θ=αI_N$, sufficiently strong attraction produces exactly $N$ eigenvalues below the background spectrum, and all of them have universal leading asymptotics coinciding with the whole-space laws. If the bottom of the background spectrum is an isolated eigenvalue, the branch exists for every finite coupling and we determine its leading decoupling asymptotics as the coupling tends to $+\infty$. Explicit exterior-sphere and exterior-disk models illustrate the critical couplings and their threshold behaviour.

25. 最大亚椭圆边界值问题的高阶高斯界

Higher-order Gaussian bounds for maximally subelliptic boundary value problems

作者: Brian Street

类别: math.AP, math.CA

发布日期: 2026-08-31

arXiv ID: 2609.00245v1

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

摘要: We establish higher-order Gaussian upper bounds for the heat semigroups associated with a broad class of sectorial maximally subelliptic quadratic forms on manifolds with boundary. Near non-characteristic boundary points and in the interior, we obtain pointwise bounds for all mixed derivatives of the heat kernel in time and along the Hörmander vector fields, expressed in the associated Carnot–Carathéodory geometry. The results apply to operators of arbitrary even order, systems, nonsymmetric forms, and boundary conditions beyond the Dirichlet case.

26. 布朗运动的离域时间与位置检测

Exit Times for Brownian Motion and Location Detection

作者: Cole A. Kratz, Jeffrey J. Langford

类别: math.AP, math.PR

发布日期: 2026-08-31

arXiv ID: 2609.00209v1

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

摘要: In 2023, Wyman and Xi asked Can you hear your location on a manifold?'' We pose a related question, asking if probabilistic data can be used to recover location within a manifold. More precisely, we ask if location can be recovered from the distribution of exit times of Brownian sample paths. We show that exit time moments determine location up to symmetry for a variety of two-dimensional domains. Beginning with (convex) domains whose boundaries are conic curves, we show that in elliptic, parabolic, and hyperbolic domains, the first two exit time moments are sufficient to detect location up to symmetry. We establish similar results in unbounded wedge domains and equilateral triangular domains. We show that the full sequence of exit time moments determines location in rectangular domains. We end with two location detection results on general planar domains. The key tool driving our work is a Poisson hierarchy,’’ which establishes a connection between exit time moments of Brownian motion and solutions to a family of PDE problems.

27. 初值-终值逆问题的稳定性估计

Stability estimates for the initial-to-final-state inverse problem

作者: Manuel Cañizares, Thanasis Zacharopoulos

类别: math.AP

发布日期: 2026-08-31

arXiv ID: 2609.00257v1

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

摘要: The initial-to-final-state inverse problem for the Schrödinger equation consists in determining uniquely the Hamiltonian that generates the evolution, assuming the knowledge of the initial-to-final-state map. This functional maps each initial state $f\in L^2(\mathbb{R}^n)$ to the corresponding final state at a fixed time $T$. The problem was formulated by Caro and Ruiz in the case of Hamiltonians arising from time-dependent bounded electric potentials that exhibit super-exponential decay at infinity. Caro, Parissis and the authors of this article established that uniqueness also holds for time-independent bounded potentials with super-linear decay at infinity. In this paper, we quantify the above uniqueness results establishing that the potentials are stable under small changes of the initial-to-final-state maps. In the case of time-dependent potentials we get a stability of logarithmic type. A notable improvement is achieved when the potentials are time-independent, where under this assumption we prove Hölder stability estimates.