生成时间: 2025年10月29日 03:47:27

重点关注论文数量: 2

了解领域论文数量: 11

不相关论文数量: 28

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

1. Global stability and asymptotic behavior for the incompressible MHD equations without viscosity or magnetic diffusion

无粘性及无磁扩散情形下不可压缩磁流体动力学方程的整体稳定性与渐近行为

作者: Qunyi Bie, Hui Fang, Yanping Zhou

类别: math.AP

发布日期: 2025-10-28

arXiv ID: 2510.24338v1

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

详细分析

中文标题: 无粘性及无磁扩散情形下不可压缩磁流体动力学方程的整体稳定性与渐近行为

1. 研究对象和背景

本文研究的是无粘性（$\mu = 0$）或无磁扩散（$\nu = 0$）情形下的 $n$-维周期域上不可压缩磁流体动力学（MHD）方程的全局稳定性和解的渐近行为。这类系统描述了电导流体在磁场作用下的运动规律，广泛应用于地球物理、天体物理以及工程领域中的等离子体、液态金属流动等问题。

考虑定义在 $n$-维环面 $\mathbb{T}^n = (\mathbb{R}/2\pi\mathbb{Z})^n$ 上的不可压缩 MHD 方程组：

$$ \begin{cases} \partial_t u - \mu \Delta u + u \cdot \nabla u + \nabla p = b \cdot \nabla b, \\ \partial_t b - \nu \Delta b + u \cdot \nabla b = b \cdot \nabla u, \\ \nabla \cdot u = \nabla \cdot b = 0, \\ u(x,0) = u_0(x), \quad b(x,0) = b_0(x), \end{cases} \tag{1.1} $$

其中：

  • $u(x,t)$ 表示速度场，
  • $b(x,t)$ 表示磁场，
  • $p(x,t)$ 是压力项，
  • $\mu \geq 0$ 为粘性系数，
  • $\nu \geq 0$ 为磁扩散系数。

由于耗散机制对解的长期行为起决定性作用，数学界长期以来关注不同耗散情形下该系统的适定性问题。特别地，当完全无耗散（$\mu = \nu = 0$）时，即使在二维情形下，是否会出现有限时间奇点仍是公开问题。然而，物理实验和数值模拟均表明：一个足够强的背景磁场能够显著抑制非线性相互作用，从而起到稳定效应，防止梯度增强和湍流发生。

受此启发，近年来的研究聚焦于在非零背景磁场附近的小扰动稳定性分析。尤其是当背景磁场满足所谓的 Diophantine 条件 时，其方向“非共振”，可避免某些退化现象，使得 Fourier 模式间耦合得到有效控制。

设背景磁场为常向量 $\tilde{b} \in \mathbb{R}^n$，若它满足如下 Diophantine 条件：

对任意非零整数向量 $k \in \mathbb{Z}^n \setminus \{0\}$ 和某个 $r > n - 1$，存在常数 $c > 0$ 使得

$$ |\tilde{b} \cdot k| \geq \frac{c}{|k|^r}. \tag{1.2} $$

则称 $\tilde{b}$ 满足 Diophantine 条件。这个条件在几乎所有的 $\tilde{b} \in \mathbb{R}^n$ 中成立，但若 $\tilde{b}$ 的分量全为有理数或某一分量为零，则不满足。

令实际磁场 $b = \tilde{b} + \bar{b}$，将原方程关于 $\tilde{b}$ 线性化并记扰动变量仍为 $b$，得到扰动系统：

$$ \begin{cases} \partial_t u - \mu \Delta u + u \cdot \nabla u + \nabla p = \tilde{b} \cdot \nabla b + b \cdot \nabla b, \\ \partial_t b - \nu \Delta b + u \cdot \nabla b = \tilde{b} \cdot \nabla u + b \cdot \nabla u, \\ \nabla \cdot u = \nabla \cdot b = 0, \\ u(x,0) = u_0(x), \quad b(x,0) = b_0(x). \end{cases} \tag{1.3} $$

本文重点研究两种部分耗散情形：

  • 仅磁扩散：$\mu = 0, \nu = 1$；
  • 仅粘性：$\mu = 1, \nu = 0$。

区域为周期域 $\mathbb{T}^n$，这带来了离散的 Fourier 谱结构，便于进行频域分析。同时，假设初始数据具有零平均值：

$$ \int_{\mathbb{T}^n} u_0\,dx = \int_{\mathbb{T}^n} b_0\,dx = 0, $$

这是为了排除平移不变模态的影响，并保证 Poincaré 不等式适用。

函数空间方面，所有结果均建立在 Sobolev 空间 $H^m(\mathbb{T}^n)$ 上，即具有 $m$ 阶弱导数且平方可积的空间。值得注意的是，以往工作如 Xie-Jiu-Liu [44] 要求初始数据属于 $H^m$ 且 $m > 3(r+1)$ 才能获得稳定性与衰减估计，而本文通过更精细的能量方法和频域分析，显著降低了正则性门槛。

此外，文中还要求初始速度与磁场散度为零（已由方程隐含），并强调小初值条件：

$$ \|u_0\|_{H^m} + \|b_0\|_{H^m} \leq \varepsilon, $$

其中 $\varepsilon > 0$ 充分小，这是典型的小扰动稳定性框架。

综上所述，本文的研究对象是一个在高维周期域上的、仅有单一耗散机制（粘性或磁扩散）的不可压缩 MHD 系统，在一个满足 Diophantine 条件的常数背景磁场附近的扰动演化问题。目标是证明全局存在性、稳定性，并给出从 $L^2$ 到 $H^m$ 所有中间 Sobolev 范数的显式代数衰减速率。

2. 主要定理或主要结果

本文建立了四个核心定理，分为线性和非线性两类，分别对应粘性主导和磁扩散主导的情形。

定理 1.1（线性稳定性 I —— 仅粘性情形）

设 $n \geq 2$, $r > n-1$, $\mu = 1$, $\nu = 0$，且 $\tilde{b}$ 满足 Diophantine 条件。假设初值 $(U_0, B_0) \in H^m(\mathbb{T}^n)$ 满足零平均条件：

$$ \int_{\mathbb{T}^n} U_0\,dx = \int_{\mathbb{T}^n} B_0\,dx = 0, $$

并令 $(U,B)$ 为如下线性系统的解：

$$ \begin{cases} \partial_t U - \Delta U = \tilde{b} \cdot \nabla B, \\ \partial_t B = \tilde{b} \cdot \nabla U, \\ \nabla \cdot U = \nabla \cdot B = 0. \end{cases} \tag{1.6} $$

则对于任意 $s \in [0,m]$，存在常数 $C > 0$，使得以下衰减估计成立：

$$ \|U(t)\|_{H^s} \leq C(1+t)^{-\left(\frac{1}{2} + \frac{m-s+1}{2(1+r)}\right)} \|(U_0,B_0)\|_{H^m}, $$
$$ \|B(t)\|_{H^s} \leq C(1+t)^{-\frac{m-s}{2(1+r)}} \|(U_0,B_0)\|_{H^m}. $$

定理 1.2（线性稳定性 II —— 仅磁扩散情形）

设 $n \geq 2$, $r > n-1$, $\mu = 0$, $\nu = 1$，$\tilde{b}$ 满足 Diophantine 条件，初值同上。$(U,B)$ 满足：

$$ \begin{cases} \partial_t U = \tilde{b} \cdot \nabla B, \\ \partial_t B - \Delta B = \tilde{b} \cdot \nabla U, \\ \nabla \cdot U = \nabla \cdot B = 0. \end{cases} \tag{1.7} $$

则对任意 $s \in [0,m]$，

$$ \|U(t)\|_{H^s} \leq C(1+t)^{-\frac{m-s}{2(1+r)}} \|(U_0,B_0)\|_{H^m}, $$
$$ \|B(t)\|_{H^s} \leq C(1+t)^{-\left(\frac{1}{2} + \frac{m-s+1}{2(1+r)}\right)} \|(U_0,B_0)\|_{H^m}. $$

注：相比前人结果，速度或磁场中受直接耗散的那个变量获得了更快的衰减速率。

定理 1.3（非线性稳定性 I —— 仅磁扩散）

设 $n \geq 2$, $r > n-1$, $\mu = 0$, $\nu = 1$，取整数 $m$ 满足：

$$ m > 4 + 2r + \frac{n}{2}. $$

假设 $\tilde{b}$ 满足 Diophantine 条件，初值 $(u_0,b_0) \in H^m(\mathbb{T}^n)$ 满足零散度、零平均，且小初值条件：

$$ \|u_0\|_{H^m} + \|b_0\|_{H^m} \leq \varepsilon, $$

$\varepsilon > 0$ 充分小。则扰动系统 (1.3) 存在唯一全局经典解 $(u,b)$，满足能量控制：

$$ \sup_{t \in [0,\infty)} \|(u,b)(t)\|_{H^m} + \int_0^\infty \|\nabla b(t)\|^2_{H^m}\,dt \leq C\|(u_0,b_0)\|_{H^m}, $$

以及对所有 $s \in [0,m]$ 成立的衰减估计：

$$ \|(u,b)(t)\|_{H^s(\mathbb{T}^n)} \leq C(1+t)^{-\frac{m-s}{2(1+r)}}, \quad \forall t \geq 0. $$

定理 1.4（非线性稳定性 II —— 仅粘性）

设 $n \geq 2$, $r > n-1$, $\mu = 1$, $\nu = 0$，整数 $m$ 满足：

$$ m > 3 + 2r + \frac{n}{2}. $$

其余假设同上。则系统 (1.3) 存在唯一全局解，满足：

$$ \sup_{t \in [0,\infty)} \|(u,b)(t)\|_{H^m} + \int_0^\infty \|\nabla u(t)\|^2_{H^m}\,dt \leq C\|(u_0,b_0)\|_{H^m}, $$

且对任意 $s \in [0,m]$ 有：

$$ \|(u,b)(t)\|_{H^s(\mathbb{T}^n)} \leq C(1+t)^{-\frac{m-s}{2(1+r)}}. $$

这些定理共同揭示了：即使只有一种耗散机制，只要背景磁场满足 Diophantine 条件且初值足够小、正则性达标，系统就具有全局稳定性，并呈现明确的代数衰减趋势。

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

a) 核心分析工具

本文采用了一套结合 Fourier 分析、频域估计、Poincaré 型不等式、Bootstrap 方法与能量估计 的综合技术路线。

首先是 线性化系统的积分表示与核估计。作者通过对线性系统 (1.6) 和 (1.7) 进行 Fourier 变换，将其转化为常微分方程组，进而构造出解的显式表达式。例如，在仅磁扩散情形下，对每个波数 $k \in \mathbb{Z}^n \setminus \{0\}$，定义 $\omega_k = \tilde{b} \cdot k$，利用 Diophantine 条件得 $|\omega_k| \gtrsim |k|^{-r}$。由此可写出解的 Fourier 系数形式，并借助振荡积分技巧估计传播子（propagator）的衰减性质。

接着引入 有效衰减核的概念，通过对 Green 函数的细致估计，得出解在不同 Sobolev 范数下的衰减速率。这一过程依赖于对相位函数的非共振控制，正是 Diophantine 条件发挥作用之处。

其次，使用了基于 Poincaré 型不等式 的低频控制技术。引理 2.2 表明，在 Diophantine 条件下，对于零平均函数 $f$，有：

$$ \|f\|_{L^2} \lesssim \|\tilde{b} \cdot \nabla f\|_{H^{-\delta}}, \quad \delta = r. $$

这意味着沿 $\tilde{b}$ 方向的导数可以控制整体范数，从而实现对低阶范数的衰减估计。这突破了传统 Sobolev 嵌入必须要求 $s > n/2$ 才能得到 $L^\infty$ 控制的限制。

第三大工具是 能量估计与 Bootstrap 论证。对于非线性系统，标准做法是先假设解在某个时间区间内保持有界，然后通过能量方法推导一致估计，最后用连续性延拓得到全局存在性。本文的关键在于设计合适的高阶能量泛函：

$$ E_m(t) = \sum_{|\alpha| \leq m} \left( \|\partial^\alpha u(t)\|^2 + \|\partial^\alpha b(t)\|^2 \right), $$

并在估计过程中精细处理非线性项如 $\int \partial^\alpha(u \cdot \nabla u) \cdot \partial^\alpha u\,dx$ 等，利用分部积分、Gagliardo-Nirenberg 不等式与频率截断技术来控制。

尤其重要的是，作者没有依赖传统的 Sobolev 嵌入 $H^s \hookrightarrow L^\infty$（需 $s > n/2$），而是直接在频域估计关键量：

$$ \int_0^T \left( \|\nabla u(t)\|_{L^\infty} + \|\nabla b(t)\|_{L^\infty} \right) dt \lesssim \sum_{k \neq 0} |k| \int_0^T \left( |\hat{u}(t,k)| + |\hat{b}(t,k)| \right) dt, $$

再结合线性估计与非线性扰动分析，证明该积分一致有界（见 Proposition 5.2）。这使得所需的正则性指数 $m$ 大幅降低。

b) 技术难点与解决技巧

主要挑战来自三个方面：

  1. 非线性项的高阶导数估计：由于系统缺乏完整耗散，不能使用强耗散带来的正则化效应。为此，作者采用 Kato-Ponce 不等式 或 Coifman-Meyer 型双线性估计 来处理形如 $\|D^s(fg)\|$ 的项，将其拆分为 $\|D^s f\|_{L^p} \|g\|_{L^q}$ 类型，再配合插值。

  2. 低正则性下的 $L^\infty$ 控制：传统方法需要 $H^s$ 中 $s > n/2$ 才能控制 $\|\nabla u\|_{L^\infty}$，但本文希望降低 $m$。解决方案是利用 Diophantine 条件诱导的定向耗散结构，通过对 $\tilde{b} \cdot \nabla u$ 和 $\tilde{b} \cdot \nabla b$ 的控制间接约束 $\nabla u, \nabla b$，从而绕过高阶嵌入。

  3. 跨尺度衰减估计的统一处理：以往工作只能对 $s \geq r+1$ 给出衰减，无法覆盖低阶范数。本文通过结合 低频 Poincaré 型估计 与 高频有界性结论，实现了对所有 $s \in [0,m]$ 的统一衰减分析。具体而言，对低 $s$ 使用线性主导的衰减机制，对高 $s$ 则依赖全局能量有界性和插值。

此外，作者还运用了 频域分解技术：将 Fourier 模式按 $|k|$ 大小分类，分别估计低频（$|k| \leq R$）和高频（$|k| > R$）贡献，利用 Diophantine 条件控制共振强度，并优化参数 $R$ 以平衡误差项。

4. 与之前工作的比较

a) 改进之处与突破

相比先前研究（特别是 Xie-Jiu-Liu [44]），本文实现了两大实质性改进：

第一，显著降低了初始数据所需的 Sobolev 正则性门槛。

  • 文献 [44] 要求 $m > 3(r+1)$；
  • 本文在仅磁扩散情形下只需 $m > 4 + 2r + n/2$；
  • 在仅粘性情形下进一步降至 $m > 3 + 2r + n/2$。

由于 $r > n-1$，当 $n$ 较大或 $r$ 较大时，新条件明显更宽松。例如当 $n=3, r=2.5$，[44] 要求 $m > 10.5 \Rightarrow m \geq 11$，而本文仅需 $m > 3 + 5 + 1.5 = 9.5 \Rightarrow m \geq 10$，节省一阶导数正则性。

第二，将衰减估计推广至所有中间 Sobolev 范数 $H^s$，$0 \leq s \leq m$。

  • [44] 的衰减仅适用于 $s \geq r+1$，在低阶空间（如 $L^2$）无衰减信息；
  • 本文通过 Poincaré 型不等式填补了这一空白，首次给出了从 $L^2$ 到 $H^m$ 的完整衰减图景。

第三，提高了特定变量的衰减速率。

在线性情况下，受直接耗散影响的变量（如 $\mu=1$ 时的 $u$）获得了额外 $\frac{1}{2}$ 阶更快的衰减：

$$ \|u(t)\|_{H^s} \lesssim (1+t)^{-\left(\frac{1}{2} + \frac{m-s+1}{2(1+r)}\right)}, $$

优于 [44] 的 $(1+t)^{-\frac{m-s}{2(1+r)}}$。

第四，方法具有维度无关性和可推广性。

本文框架不依赖于具体维度，所有估计常数可统一控制，适用于任意 $n \geq 2$。且所发展的频域分析与 Bootstrap 方法可灵活移植到其他具部分耗散的流体模型（如 Boussinesq、Hall-MHD 等）。

最后，本文揭示了一个反直觉现象（Remark 1.4）：更高阶初值反而导致更低阶范数衰减变慢，因为衰减速率取决于 $m-s$ 而非绝对光滑度。这与经典抛物方程行为相反，凸显了此类部分耗散系统的特殊动力学结构。

综上，本文不仅在技术上实现了正则性门槛和衰减范围的双重突破，更为理解背景磁场的稳定机制提供了严格的数学基础。

2. The Stokes Eigenvalue Problem on balls and annuli in three dimensions: Solutions with Poloidal and Toroidal Fields

三维球体与环形区域上的Stokes特征值问题：包含Poloidal和Toroidal场的解

作者: Bernd Rummler, Gudrun Thäter

类别: math.AP, 33C10, 33C55, 34A30, 34B24, 35Q30

发布日期: 2024-08-13

arXiv ID: 2408.06948v2

链接: http://arxiv.org/abs/2408.06948v2

详细分析

中文标题: 三维球体与环形区域上的Stokes特征值问题：包含Poloidal和Toroidal场的解

1. 研究对象和背景

本文研究的是定义在 $\mathbb{R}^3$ 中的开球体（open ball）和开环形区域（open spherical annulus）上的 Stokes 特征值问题，其核心是求解满足特定边界条件的不可压缩粘性流体运动中的特征函数与特征值。这类问题源于流体力学中对纳维-斯托克斯方程（Navier-Stokes equations）线性化后得到的Stokes算子谱分析，在理论和数值计算中具有重要意义。

具体而言，论文考虑如下Stokes特征值问题：

$$ \begin{cases} -\Delta \mathbf{u} + \nabla p = \lambda \mathbf{u}, \\ \mathrm{div}\, \mathbf{u} = 0, \end{cases} \quad \text{在 } \Omega_\sigma \text{ 内}, $$

并配备齐次Dirichlet边界条件：

$$ \mathbf{u} = 0 \quad \text{在 } \partial\Omega_\sigma \text{ 上}. $$

其中：

  • $\mathbf{u} : \Omega_\sigma \to \mathbb{R}^3$ 是速度场；
  • $p : \Omega_\sigma \to \mathbb{R}$ 是压力函数；
  • $\lambda > 0$ 是待求的特征值；
  • $\Omega_\sigma$ 表示以原点为中心、内半径为 $\sigma$、外半径为 1 的球形环域，即
    $$ \Omega_\sigma := \{ x \in \mathbb{R}^3 \mid \sigma < \|x\|_E < 1 \}, \quad 0 \leq \sigma < 1. $$
    当 $\sigma = 0$ 时，$\Omega_0 = \Omega_o$ 即为单位开球。

该问题的经典弱形式可表述为在适当的无散度向量场空间中寻找非零解 $(\mathbf{u}, \lambda)$，使得对于所有光滑无散度试函数 $\mathbf{v}$ 满足：

$$ (\nabla \mathbf{u}, \nabla \mathbf{v})_{L^2} = \lambda (\mathbf{u}, \mathbf{v})_{L^2}. $$

作者引入了Stokes算子 $A_\sigma$ 的抽象框架：设 $S(\Omega_\sigma)$ 为 $L^2(\Omega_\sigma)^3$ 中满足 $\mathrm{div}\,\mathbf{u} = 0$ 和广义意义下迹为零的闭子空间，则Stokes算子定义为：

$$ A_\sigma := -\Upsilon \Delta, $$

其中 $\Upsilon$ 是从 $L^2(\Omega_\sigma)^3$ 到 $S(\Omega_\sigma)$ 的Leray-Helmholtz投影，将任意向量场正交分解为无散部分和梯度部分。

由于区域 $\Omega_\sigma$ 具有高度的球对称性，这使得可以利用分离变量法来构造显式解。特别地，本文采用了一种经典的物理驱动方法——将无散向量场分解为Toroidal（环向）场与Poloidal（极向）场，这一方法最早由 Gustav Mie 在1908年提出，用于光学和地球物理学中的场分析。

这种分解本质上是对标准Helmholtz分解的进一步细化：任何三维无散向量场 $\mathbf{u}$ 可唯一写成

$$ \mathbf{u} = \mathbf{t} + \mathbf{p}, $$

其中：

  • $\mathbf{t}$ 是 Toroidal 场，满足 $\mathbf{t} \cdot \mathbf{x} = 0$，且 $\mathrm{div}\,\mathbf{t} = 0$；
  • $\mathbf{p}$ 是 Poloidal 场，满足 $\mathrm{curl}\,\mathbf{p} \cdot \mathbf{x} = 0$，且 $\mathrm{div}\,\mathbf{p} = 0$。

更精确地，通过引入两个标量势函数 $\psi$ 和 $\chi$，定义：

$$ \mathbf{t} = \mathrm{curl}(\psi \mathbf{x}), \quad \mathbf{p} = \mathrm{curl}(\mathrm{curl}(\chi \mathbf{x})). $$

这里 $\mathbf{x} = r \mathbf{e}_r$ 是位置向量，$r = \|x\|_E$。这种表示确保了 $\mathbf{t}$ 始终切于球面 $\omega_r$，而 $\mathbf{p}$ 包含径向分量。

关键的数学工具之一是作用在单位球面 $\omega$ 上的 Laplace-Beltrami 算子 $B$，其表达式为：

$$ B Y = -\frac{1}{\sin\vartheta} \frac{\partial}{\partial \vartheta} \left( \sin\vartheta \frac{\partial Y}{\partial \vartheta} \right) - \frac{1}{\sin^2\vartheta} \frac{\partial^2 Y}{\partial \varphi^2}, $$

其特征函数系正是实值球面调和函数 $\{Z_k^l(\vartheta, \varphi)\}_{k=-l}^{l}, l=0,1,2,\dots$，对应特征值 $\nu_{(l)} = l(l+1)$，构成 $L^2(\omega)$ 的完备正交基。

为了保证 Toroidal-Poloidal 分解的唯一性，作者施加了平均值为零的条件：对于任意径向函数 $f(r)$，

$$ \int_{\omega_r} \psi \, d\omega = 0, \quad \int_{\omega_r} \chi \, d\omega = 0, \quad \forall r \in [\sigma, 1]. $$

这是基于一个关键引理（Lemma 1）：在球对称区域内，若一个仅依赖于半径 $r$ 的向量场是无散的，则它必为常数场；因此排除掉常数项即可保证势函数的唯一性。

函数空间方面，作者使用 Sobolev 空间 $W^m_2(\Omega_\sigma)$ 及其子空间 $S^m(\Omega_\sigma)$，即满足无散性和边界条件的闭包。特别是 $S^1_0(\Omega_\sigma)$ 和 $S^2(\Omega_\sigma)$ 被用来定义 Stokes 算子的定义域。此外，还引入了带权空间 $W^m_{2,r}(\sigma,1; D(B^k)/\mathbb{R})$ 来处理径向与角向耦合的正则性问题。

综上所述，本文的研究对象是一个具有球对称几何结构、齐次Dirichlet边界条件下的Stokes特征值问题，其特殊之处在于：

  1. 区域为球或球壳，允许使用球坐标分离变量；
  2. 使用 Toroidal-Poloidal 分解 将向量值问题转化为标量问题；
  3. 引入 Laplace-Beltrami 算子的谱理论 作为角向分析的核心工具；
  4. 函数空间的选择强调了无散性与边界迹的适配性。

这些特性共同构成了一个适合进行显式谱构造与完备性证明的理想框架。

2. 主要定理或主要结果

Theorem 1 (分解定理)

设 $\mathbf{u} \in W^2_2(\Omega_\sigma)$ 是定义在 $\Omega_\sigma$ 上的一个无散向量场，并在每个球面 $\omega_r$ 上满足：

$$ \int_{\omega_r} \mathbf{x}^T \mathbf{u} \, d\omega = 0, \quad \forall r \in [\sigma, 1]. $$

则存在唯一的 Toroidal 场 $\mathbf{t}$ 和 Poloidal 场 $\mathbf{p}$，分别由势函数 $\psi$ 和 $\chi$ 通过

$$ \mathbf{t} = \mathrm{curl}(\psi \mathbf{x}), \quad \mathbf{p} = \mathrm{curl}(\mathrm{curl}(\chi \mathbf{x})) $$

给出，并满足：

  • $\mathrm{div}\,\mathbf{t} = 0$, $\mathbf{x}^T \mathbf{t} = 0$,
  • $\mathrm{div}\,\mathbf{p} = 0$, $\mathbf{x}^T \mathrm{curl}(\mathbf{p}) = 0$,
  • 势函数 $\psi, \chi$ 在每个 $\omega_r$ 上具有零平均值。

并且有分解：

$$ \mathbf{u} = \mathbf{t} + \mathbf{p}, \quad \text{在 } L^2(\Omega_\sigma) \text{ 意义下成立}. $$

此外，$\psi$ 和 $\chi$ 的正则性由 $\mathbf{x}^T \mathrm{curl}(\mathbf{u})$ 和 $\mathbf{x}^T \mathbf{u}$ 的正则性决定。

推论：Stokes特征函数的正交分解

结合上述分解，Stokes特征值问题可被正交分解为两个独立的标量特征值问题：

  1. 对于 Toroidal 模式，令 $\mathbf{u} = \mathbf{t} = \mathrm{curl}(\psi \mathbf{x})$，则 $\psi$ 满足：

    $$ -\Delta (\mathrm{curl}(\psi \mathbf{x})) + \nabla p = \lambda \mathrm{curl}(\psi \mathbf{x}), $$

    经推导可得 $\psi$ 满足：

    $$ B \psi = x^T \mathrm{curl}(\mathbf{u}) = x^T \mathrm{curl}(\mathrm{curl}(\psi \mathbf{x})), $$

    最终导出关于 $\psi$ 的径向-角向耦合方程。

  2. 对于 Poloidal 模式，令 $\mathbf{u} = \mathbf{p} = \mathrm{curl}(\mathrm{curl}(\chi \mathbf{x}))$，则 $\chi$ 满足：

    $$ B \chi = x^T \mathbf{u} = x^T \mathrm{curl}(\mathrm{curl}(\chi \mathbf{x})). $$

通过将 $\psi$ 和 $\chi$ 展开为球面调和函数的级数：

$$ \psi(x) = \sum_{l=1}^\infty \sum_{k=-l}^l \hat{\psi}_{l,k}(r) Z_k^l(\vartheta, \varphi), \quad \chi(x) = \sum_{l=1}^\infty \sum_{k=-l}^l \hat{\chi}_{l,k}(r) Z_k^l(\vartheta, \varphi), $$

（注意 $l=0$ 项因零平均条件被排除），可将原问题完全分离变量，得到关于径向函数 $\hat{\psi}_{l,k}(r)$ 或 $\hat{\chi}_{l,k}(r)$ 的常微分方程边值问题。

最终，该文的主要成果之一是证明了1999年文献[14]中显式构造的Stokes特征函数系统的完备性，即这些由 Toroidal 和 Poloidal 场构成的显式解构成了 $S(\Omega_\sigma)$ 空间的一组完备正交基。

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

a) 核心分析学工具

  1. Toroidal-Poloidal 分解框架
    这是本文最核心的工具。它将向量值的Stokes问题转化为两个标量势函数 $\psi$ 和 $\chi$ 的问题。这种分解不仅保留了几何直观（环向与极向运动），而且天然适配球坐标下的 Laplace 算子作用。

  2. Laplace-Beltrami 算子的谱理论
    作者充分利用了 $B$ 算子的自伴性、离散谱和完备正交基性质。球面调和函数 $\{Z_k^l\}$ 不仅作为角向变量的基底，其特征值 $\nu_{(l)} = l(l+1)$ 直接进入径向方程，实现变量分离。

  3. Frobenius 方法与常微分方程边值问题
    在展开 $\psi$ 和 $\chi$ 后，每个模态 $(l,k)$ 对应一个关于径向函数 $\hat{\psi}_{l,k}(r)$ 的二阶常微分方程。由于系数在 $r=0$ 处可能奇异（当 $\sigma=0$），需使用 Frobenius 方法寻找幂级数解，并结合边界条件确定特征值。

  4. 正交性与能量内积分析
    文中大量使用 $L^2(\omega)$ 和 Dirichlet 内积 $(\cdot,\cdot)_D$ 的正交性。例如，利用球面梯度与旋度的正交性：

    $$ \int_\omega (\mathrm{grad}_\omega Z_k^l)^T \mathrm{curl}_\omega Z_{\tilde{k}}^{\tilde{l}} \, d\omega = 0, $$

    证明了 Toroidal 与 Poloidal 场之间的正交性。

  5. 密度论证与函数空间逼近
    许多恒等式（如 $\mathrm{curl}(\mathrm{curl}(\cdot))$ 的作用）先在光滑函数类 $C^\infty$ 中验证，再通过密度在 Sobolev 空间中推广。

b) 技术性难题的处理技巧

  1. 唯一性问题：零平均值条件
    若不加限制，势函数 $\psi$ 和 $\chi$ 在加一个仅依赖 $r$ 的函数时不变。为此，作者引入条件：

    $$ \langle \psi \rangle(r) = \frac{1}{|\omega|} \int_\omega \psi(r y) d\omega = 0, $$

    排除常数模态（对应 $l=0$）。这基于 Lemma 1：非平凡径向无散场不存在。

  2. 边界条件的处理
    齐次Dirichlet条件 $\mathbf{u}=0$ 在球面上意味着：

    • 对 Toroidal 场：$\partial_\varphi \psi = 0$, $\partial_\vartheta \psi = 0$；
    • 对 Poloidal 场：需同时控制 $\chi$ 和其径向导数。 这导致径向ODE的边界条件为高阶组合。

  3. 向量算子的坐标变换
    所有计算均在球坐标下进行。作者使用变换矩阵 $T_{c,s}$ 将 Cartesian 与 spherical 表示转换，并小心处理 Jacobian 和协变导数。

  4. 积分恒等式的应用
    如 Gauss 定理在球面上的应用：

    $$ \int_\omega \mathrm{div}_\omega \mathbf{b} \, d\omega = 0, $$

    用于证明各种边界项消失，从而建立正交性。

  5. 级数收敛性的隐含假设
    文中未深入讨论 Fourier-Laplace 级数的收敛性，而是假设 $\psi, \chi \in L^2(\Omega_\sigma)$ 时级数几乎处处收敛，借助 Fubini 定理交换积分与求和顺序。

4. 与之前工作的比较

a) 突破与改进

本文的主要贡献并非发现新类型的解，而是为已知解系统提供严格的数学完备性证明，填补了1999年工作[14]的理论空白。

  1. 从构造到证明的跃迁
    此前的工作（如[9,15,16,14]）重点在于显式构造Stokes特征函数，但缺乏对其完备性的严格证明。本文首次通过 Toroidal-Poloidal 分解 构架，系统性地证明了这些构造出的函数确实张成整个无散空间 $S(\Omega_\sigma)$。

  2. 统一框架的建立
    以往可能分别处理球和环形区域，本文将两者纳入统一框架 $\Omega_\sigma$（$\sigma \in [0,1)$），揭示了它们共享相同的谱结构本质。当 $\sigma \to 0$ 时，环形退化为球，解的奇性行为可通过极限分析获得。

  3. 物理直觉的数学化
    虽然 Toroidal-Poloidal 分解在地球物理和流体力学中早已使用，但本文将其置于严格的Sobolev空间和算子谱理论之下，明确了其适用范围（球对称区域）、唯一性条件（零平均）和正交性基础。

  4. 推广性强的方法论
    该方法可推广至其他具有对称性的区域（如圆柱、椭球），只要能定义合适的“径向-角向”分解。相比纯数值或变分方法，此法能获得显式解析表达式，极大利于后续应用（如Galerkin逼近、稳定性分析）。

  5. 强化结果：正交基的存在性
    不仅证明了解的存在性和离散谱，更证明了特征函数系构成Hilbert空间的完备正交基，这是数值方法收敛性的关键保障。

综上，本文通过对经典分解方法的严谨数学重构，完成了从“经验构造”到“理论奠基”的跨越，为球域上的流体谱问题建立了坚实的基础。

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

1. On a robust inf-sup condition for the Stokes problem in slender domains - with application to preconditioning

关于细长区域Stokes问题的一个鲁棒inf-sup条件——及其在预处理中的应用

作者: Espen Sande, Timo Koch, Miroslav Kuchta, Kent-Andre Mardal

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

发布日期: 2025-10-28

arXiv ID: 2510.24590v1

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

摘要翻译

中文标题: 关于细长区域Stokes问题的一个鲁棒inf-sup条件——及其在预处理中的应用

摘要翻译: 我们为Stokes方程中的压力变量引入了一个适当的范数，使得能够证明一个连续的inf-sup条件，且对应的常数与区域的长宽比无关。这与标准的inf-sup常数形成对比，后者在长宽比增大时会退化。我们进一步利用该结果，为细长区域上的Stokes问题构造了鲁棒的算子型预处理器。多个数值算例验证了理论结果。

2. Stochastic perturbation and zero noise limit for scalar conservation laws

标量守恒律的随机扰动与零噪声极限

作者: Ulrik S. Fjordholm, Magnus C. Ørke

类别: math.AP, 60H50, 35L65, 60H15

发布日期: 2025-10-28

arXiv ID: 2510.24475v1

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

摘要翻译

中文标题: 标量守恒律的随机扰动与零噪声极限

摘要翻译: 标量守恒律处于既足够简单从而可进行解析研究，又足够复杂以呈现多种非线性现象的交汇点。本文受平均场博弈的启发，引入了一种新的标量守恒律的随机扰动形式。我们证明了该随机扰动方程的适定性；证明了当噪声参数趋于零时解的收敛性；并进一步证明其极限恰为守恒律的唯一熵解。因此，此类噪声可作为（确定性）守恒律解的选取准则。这是针对非线性双曲型守恒律所获得的首个此类结果。

3. A note on relations between convexity and concavity of thermodynamic functions

关于热力学函数凸性与凹性关系的一点注记

作者: Mária Lukáčová-Medvid’ová, Ferdinand Thein, Gerald Warnecke, Yuhuan Yuan

类别: math.AP, math-ph, math.MP, 26B25, 80A17, 76A02, 76N15, 35L65

发布日期: 2025-10-28

arXiv ID: 2510.24440v1

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

摘要翻译

中文标题: 关于热力学函数凸性与凹性关系的一点注记

摘要翻译: 本文旨在证明热力学函数（如能量和熵）在不同变量组下的凸性或凹性性质之间的等价性。这些变量包括基本的热力学状态变量、比状态变量，或连续介质力学中所使用状态变量的密度形式。我们针对变量与函数的变换，结合凸性性质进行了相关结论的证明。所涉及的性质包括凸性、严格凸性、正定Hessian矩阵，以及相应的凹性、严格凹性和负定Hessian矩阵。主要结果是这些性质在不同函数之间的等价关系。由于这些等价性仅依赖于状态方程的普遍性质，而不依赖于具体的状态方程形式，因此具有普遍适用性。例如，该结果可用于简便地证明：在三维空间中，以守恒变量表示的欧拉方程的熵密度函数是严格凹的，甚至具有负定的Hessian矩阵。此外，我们还探讨了不同类型的状态方程如何导致这些凸性或凹性性质，并阐明了这些性质在数学分析中的重要意义。

4. Nonlinear Schrödinger equation on a unit ball in one and two dimensions

一维和二维单位球上的非线性薛定谔方程

作者: Christian Klein, Svetlana Roudenko, Nikola Stoilov

类别: math.AP

发布日期: 2025-10-28

arXiv ID: 2510.24407v1

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

摘要翻译

中文标题: 一维和二维单位球上的非线性薛定谔方程

摘要翻译: 本文研究了一维和二维单位球上具有狄利克雷边界条件的非线性薛定谔方程，该边界条件对解的行为具有稳定作用。特别地，我们证实了在次临界和临界情形下，基态解是稳定的；而在超临界情形下，基态解分裂为一个稳定分支和一个不稳定分支。对于稳定分支上的基态扰动，解将保持在相应基态附近，并在其周围作非常小的振荡；而对于不稳定分支上的基态扰动，若扰动幅度大于基态的高度，则解会在有限时间内发生爆破；若扰动幅度小于原始基态的高度，则解将在两个状态之间振荡。我们还观察到，该方程不存在任何散射或辐射现象，因此对所有初值数据均成立孤子分解猜想，即将解分解为诸如基态解之类的相干结构，即使初始数据非常小也是如此。

5. Dynamic boundary conditions with noise for energy balance models coupled to geophysical flows

带有噪声的动态边界条件下与地球物理流耦合的能量平衡模型

作者: Gianmarco Del Sarto, Matthias Hieber, Tarek Zöchling

类别: math.AP, 35Q86, 35Q35, 60H15, 76D03, 35K55

发布日期: 2025-05-22

arXiv ID: 2505.16449v2

链接: http://arxiv.org/abs/2505.16449v2

摘要翻译

中文标题: 带有噪声的动态边界条件下与地球物理流耦合的能量平衡模型

摘要翻译: 本文研究了一类通过动态边界条件与原始方程（primitive equations）耦合的能量平衡模型，考虑了边界上带有噪声和不带噪声的情形。结果表明，该系统在确定性情形下对于 $W^{2(1-\frac{1}{p}),p}$（其中 $p \in [2,\infty)$）中的任意初值具有全局强适定性；同时，在随机情形下对于 $H^1$ 中的任意初值也具有全局强适定性。

6. Donsker-Varadhan large deviation principle for locally damped and randomly forced NLS equations

局部阻尼且受随机强迫的非线性薛定谔方程的Donsker-Varadhan型大偏差原理

作者: Yuxuan Chen, Shengquan Xiang

类别: math.AP, math.PR, 35Q55, 37L50, 60B12, 60F10

发布日期: 2025-10-28

arXiv ID: 2510.24119v1

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

摘要翻译

中文标题: 局部阻尼且受随机强迫的非线性薛定谔方程的Donsker-Varadhan型大偏差原理

摘要翻译: 本文研究带有色噪声作用于决定性模态上的非线性薛定谔方程相对于其不变测度的大偏差行为。证明基于一个新颖的抽象判据，该判据受到[V. Jakšić 等, Comm. Pure Appl. Math., 68 (2015), 2108–2143]工作的启发。为克服固定压缩速率带来的困难，我们引入一种Bootstrap论证方法，以推导Feynman-Kac半群的Lipschitz估计。该判据同样适用于波动方程和Navier-Stokes系统。

7. Orthonormal Strichartz estimates on torus and waveguide manifold and applications

环面上及波导流形上的正交归一化Strichartz估计及其应用

作者: Divyang G. Bhimani, Subhash. R. Choudhary

类别: math.AP, 35Q55, 35B45

发布日期: 2025-07-22

arXiv ID: 2507.16712v2

链接: http://arxiv.org/abs/2507.16712v2

摘要翻译

中文标题: 环面上及波导流形上的正交归一化Strichartz估计及其应用

摘要翻译: 本文建立了分数阶薛定谔方程在环面 $\mathbb{T}$ 及波导流形 $\mathbb{R}^n \times \mathbb{T}^m$ 上的新的正交归一化Strichartz估计。我们推广了Nakamura [42] 在环面上的结果；而这是关于波导流形的首个结果。本文的主要创新在于推导出与分数阶薛定谔方程相关的一系列核估计。我们的核估计推广了Kenig-Ponce-Vega [35] 所建立的环面上经典的色散估计。另一方面，为了处理波导流形的情形，我们获得了针对退化型曲面的新 $\ell^2$ 解耦不等式；该不等式可能具有独立的研究价值，并补充了若干已知结果。作为应用，我们证明了具有非迹类初值的无限多粒子Hartree方程的局部适定性以及小初值全局适定性。

8. Pseudodifferential damping estimates and stability of relaxation shocks

伪微分阻尼估计与松弛激波的稳定性

作者: Kevin Zumbrun

类别: math.AP

发布日期: 2024-07-19

arXiv ID: 2407.14484v2

链接: http://arxiv.org/abs/2407.14484v2

摘要翻译

中文标题: 伪微分阻尼估计与松弛激波的稳定性

摘要翻译: 在大振幅及多维粘性与松弛激波稳定性的理论中，一个瓶颈问题在于建立控制高阶导数关于低阶导数的非线性阻尼估计。传统上，这类估计依赖于基于Friedrichs对称系统以及Kawashima或Goodman型能量估计的时间演化界。本文提出一种基于频率依赖的时-空伪微分阻尼估计的新方案，其思想源自Kreiss的工作。在线性情形下，这类估计被证明等价于高频谱稳定性，且正如Kreiss在常系数情况下的分析一样，在逐点、固定频率的意义下具有锐利性。这一观点借助已有的分析工具，带来了一系列简化和推广。我们指出“转向点”这一新问题——类似于常系数情形中的切向点——是未来研究的一个重要方向。

9. Improved convergence rates for the Hele-Shaw limit in the presence of confining potentials

在存在约束势的情况下Hele-Shaw极限收敛速率的改进

作者: Noemi David, Alpár R. Mészáros, Filippo Santambrogio

类别: math.AP

发布日期: 2024-05-12

arXiv ID: 2405.07227v2

链接: http://arxiv.org/abs/2405.07227v2

摘要翻译

中文标题: 在存在约束势的情况下Hele-Shaw极限收敛速率的改进

摘要翻译: 目前，关于非线性退化扩散方程的Hele-Shaw极限（或不可压缩极限）已有大量文献研究。由于该问题在组织生长和人群运动建模中的应用，近年来受到广泛关注，因为它提供了一种将软拥堵（或可压缩）模型与硬拥堵（或不可压缩）描述相联系的途径。本文研究了在存在外部漂移项的情形下，该渐近过程收敛速率的估计问题。特别地，得益于严格凸势所具有的收缩性性质，我们给出了在2-Wasserstein距离下的改进结果，且这些结果在时间上是全局成立的。

10. Exponential and algebraic decay in Euler–alignment system with nonlocal interaction forces

具有非局部相互作用力的欧拉—对齐系统中的指数衰减与代数衰减

作者: José A. Carrillo, Young-Pil Choi, Dowan Koo, Oliver Tse

类别: math.AP

发布日期: 2025-10-15

arXiv ID: 2510.14123v2

链接: http://arxiv.org/abs/2510.14123v2

摘要翻译

中文标题: 具有非局部相互作用力的欧拉—对齐系统中的指数衰减与代数衰减

摘要翻译: 本文研究无压强欧拉系统在非局部速度对齐及相互作用力下的长时间行为，旨在刻画经典解在一般相互作用势 $W$ 和通讯权函数下的渐近收敛性。我们在三种情形下建立了定量收敛结果。在一维情形中，若势函数为 $(\lambda,\Lambda)$-凸的（即满足一致上下二次界），则当通讯权函数有界时，解以指数速率衰减；而当其为弱奇异时，则得到精确的代数衰减速率。对于库仑—二次型势函数 $W(x) = -|x| + \frac{1}{2}|x|^2$，我们证明了在有界通讯权函数下具有指数收敛性，而在奇异通讯权函数下具有代数上界估计。在多维情形中，若势函数为一致 $(\lambda,\Lambda)$-凸的，我们证明了有界权函数导致指数衰减，而奇异权函数可改进为代数衰减。在所有情形中，密度（至多相差一个平移）收敛到相互作用能量的极小值态，而速度趋于一个统一的常数。一个统一的特征是：收敛速率仅依赖于通讯权函数的局部性质——有界核导致指数收敛，而弱奇异核则产生代数收敛速率。因此，我们的结果为具有一般相互作用势的欧拉—对齐动力学提供了完整的渐近行为刻画。

11. A Coupled Generalized Korteweg-de Vries System Driven by White Noise

受白噪声驱动的耦合广义Korteweg-de Vries系统

作者: Aissa Boukarou

类别: math.AP

发布日期: 2025-10-27

arXiv ID: 2510.23843v1

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

摘要翻译

中文标题: 受白噪声驱动的耦合广义Korteweg-de Vries系统

摘要翻译: 本文研究了一类具有非线性耦合和加性时空白噪声的耦合随机广义Korteweg-de Vries方程组。该系统描述了具有不同色散关系的波场在随机环境扰动下的相互作用，出现在流体动力学、等离子体物理以及非线性光学等多种物理背景中。针对该系统，我们确定了保证其在初值 $(\phi_0,\varphi_0)\in H^{s} \times H^{s}$（其中 $s>\frac{1}{2}$）下局部适定性的充分条件。

不相关论文（基本信息）

1. Time-Periodic Solutions for Hyperbolic-Parabolic Systems

双曲-抛物型方程组的周期解研究

作者: Stanislav Mosny, Boris Muha, Sebastian Schwarzacher, Justin T. Webster

类别: math.AP, 35B10, 35Q93, 74F10, 35M10

发布日期: 2024-12-25

arXiv ID: 2412.18801v2

链接: http://arxiv.org/abs/2412.18801v2

摘要: Time-periodic weak solutions for a coupled hyperbolic-parabolic system are obtained. A linear heat and wave equation are considered on two respective $d$-dimensional spatial domains that share a common $(d-1)$-dimensional interface $\Gamma$. The system is only partially damped, leading to an indeterminate case for existing theory (Galdi et al., 2014). We construct periodic solutions by obtaining novel a priori estimates for the coupled system, reconstructing the total energy via the interface $\Gamma$. As a byproduct, geometric constraints manifest on the wave domain which are reminiscent of classical boundary control conditions for wave stabilizability. We note a ``loss" of regularity between the forcing and solution which is greater than that associated with the heat-wave Cauchy problem. However, we consider a broader class of spatial domains and mitigate this regularity loss by trading time and space differentiations, a feature unique to the periodic setting. This seems to be the first constructive result addressing existence and uniqueness of periodic solutions in the heat-wave context, where no dissipation is present in the wave interior. Our results speak to the open problem of the (non-)emergence of resonance in complex systems, and are readily generalizable to related systems and certain nonlinear cases.

2. Fast algorithms enabling optimization and deep learning for photoacoustic tomography in a circular detection geometry

圆形检测几何下光声断层成像优化与深度学习的快速算法研究

作者: Andreas Hauptmann, Leonid Kunyansky, Jenni Poimala

类别: eess.IV, cs.AI, cs.NA, math.AP, math.NA, math.OC

发布日期: 2025-10-28

arXiv ID: 2510.24687v1

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

摘要: The inverse source problem arising in photoacoustic tomography and in several other coupled-physics modalities is frequently solved by iterative algorithms. Such algorithms are based on the minimization of a certain cost functional. In addition, novel deep learning techniques are currently being investigated to further improve such optimization approaches. All such methods require multiple applications of the operator defining the forward problem, and of its adjoint. In this paper, we present new asymptotically fast algorithms for numerical evaluation of the forward and adjoint operators, applicable in the circular acquisition geometry. For an $(n \times n)$ image, our algorithms compute these operators in $\mathcal{O}(n^2 \log n)$ floating point operations. We demonstrate the performance of our algorithms in numerical simulations, where they are used as an integral part of several iterative image reconstruction techniques: classic variational methods, such as non-negative least squares and total variation regularized least squares, as well as deep learning methods, such as learned primal dual. A Python implementation of our algorithms and computational examples is available to the general public.

3. Non-polyconvex $Q$-integrands with lower semicontinuous energies

具有下半连续能量的非多项凸 $Q$-被积函数

作者: Daniele De Gennaro, Antonio De Rosa

类别: math.AP, 49Q05, 49Q15, 49Q20, 53A10, 53C23, 35D30

发布日期: 2025-10-28

arXiv ID: 2510.24610v1

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

摘要: We construct a positive measure on the space of positively oriented $2$-vectors in $\mathbb{R}^4$, whose barycenter is a simple $2$-vector, yet which cannot be approximated by weighted Gaussian images of Lipschitz $Q$-graphs for any fixed $Q \in \mathbb{N}$. The construction extends to positively oriented $m$-vectors in $\mathbb{R}^n$ whenever $n-2 \ge m\geq 2$. This geometric obstruction implies that the approximation result established in [Arch. Ration. Mech. Anal., 2025] is sharp: all $Q \in \mathbb{N}$ are indeed necessary to ensure the density of weighted Gaussian images of Lipschitz multigraphs in the space of positive measures with simple barycenter. As an application, we prove that for every $Q\geq 1$ and $p\ge 2$ there exists a non-polyconvex $Q$-integrand whose associated energy is weakly lower semicontinuous in $W^{1,p}$. This also provides new insight into the question posed in [Arch. Ration. Mech. Anal., 2025, Remark 1.14].

4. A continuous model of transportation in the Heisenberg group

海森堡群中运输问题的连续模型

作者: Michele Circelli, Albert Clop

类别: math.AP, math.OC

发布日期: 2024-06-13

arXiv ID: 2406.09380v3

链接: http://arxiv.org/abs/2406.09380v3

摘要: We present a minimization problem with a horizontal divergence-type constraint in the Heisenberg group. Our study explores its dual formulation and examines its relationship with the congested optimal transport problem, for $1 < p < +\infty$, as well as the Monge-Kantorovich problem, in the limite case $p=1$.

5. Resolvent bounds imply observability from measurable time sets for Schrödinger equations

预解估计蕴含薛定谔方程从可测时间集的可观测性

作者: Nicolas Burq, Hui Zhu

类别: math.AP, math.OC

发布日期: 2025-10-28

arXiv ID: 2510.24517v1

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

摘要: We prove that on a compact Riemannian manifold, resolvent bounds for the Laplace–Beltrami operator imply observability, and thus controllability, for the Schr"odinger propagator from time sets of positive Lebesgue measure. Applications include almost all cases where observability and controllability hold from time intervals, particularly when the geometric control condition is satisfied or when the manifold is a compact surface of negative curvature.

6. Reduced dynamics for models of pattern formation

模式形成模型的约化动力学

作者: Erika Hausenblas, Tsiry Avisoa Randrianasolo

类别: math.AP, cs.NA, math.NA, 35Q92, 35B40, 35K57, 65N30

发布日期: 2024-03-06

arXiv ID: 2403.03632v3

链接: http://arxiv.org/abs/2403.03632v3

摘要: The goal of this work is to analyze the long-term behavior of reaction-diffusion systems arising in two-species chemical models and to identify the minimal set of modes that determine their dynamics. The models considered include, as particular cases, the Brusselator, the Gray–Scott, and the Glycolysis models. These systems are described by coupled reaction-diffusion equations and admit a finite-dimensional representation based on a limited number of spatial Fourier modes that capture their essential reduced dynamics. The concept of determining modes, introduced in this context, is closely related to other approaches that seek finite-dimensional representations of infinite-dimensional dynamics, such as the Proper Orthogonal Decomposition and the construction of Approximate Inertial Manifolds. We prove that the dynamics of the system can be completely characterized by a finite number of low modes, since all higher modes are asymptotically determined by them, thus providing an analytical foundation for reduced dynamics in models of pattern formation.

7. A hyperboloidal method for numerical simulations of multidimensional nonlinear wave equations: nonlinear tails

一种用于多维非线性波动方程数值模拟的双曲面方法：非线性尾部

作者: Oliver Rinne

类别: math.NA, cs.NA, math-ph, math.AP, math.MP

发布日期: 2025-07-01

arXiv ID: 2507.00674v2

链接: http://arxiv.org/abs/2507.00674v2

摘要: We consider the scalar wave equation with power nonlinearity in n+1 dimensions. Unlike most previous numerical studies, we go beyond the radial case and do not assume any symmetries for n=3, and we only impose an SO(n-1) symmetry in higher dimensions. Our method is based on a hyperboloidal foliation of Minkowski spacetime and conformal compactification. We focus on the late-time power-law decay (tails) of the solutions and compute decay exponents for different spherical harmonic modes, for subcritical, critical and supercritical, focusing and defocusing nonlinear wave equations.

8. Payne’s nodal line conjecture fails on doubly-connected planar domains

Payne的节点线猜想在双连通平面区域上不成立

作者: Pedro Freitas, Roméo Leylekian

类别: math.AP, 35J25, 35P05, 35B05

发布日期: 2025-10-28

arXiv ID: 2510.24436v1

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

摘要: We present examples of bounded planar domains with one single hole for which the nodal line of a second Dirichlet eigenfunction is closed and does not touch the boundary. This shows that Payne’s nodal line conjecture can at most hold for simply-connected domains in the plane.

9. Sharp commutator estimates of all order for Coulomb and Riesz modulated energies

库仑与里斯调制能量的任意阶精确交换子估计

作者: Matthew Rosenzweig, Sylvia Serfaty

类别: math.AP, math-ph, math.CA, math.MP, 35Q70, 35Q35, 82C22, 82C70, 35J70, 26D10

发布日期: 2024-07-22

arXiv ID: 2407.15650v2

链接: http://arxiv.org/abs/2407.15650v2

摘要: We prove functional inequalities in any dimension controlling the iterated derivatives along a transport of the Coulomb or super-Coulomb Riesz modulated energy in terms of the modulated energy itself. This modulated energy was introduced by the second author and collaborators in the study of mean-field limits and statistical mechanics of Coulomb/Riesz gases, where control of such derivatives by the energy itself is an essential ingredient. In this paper, we extend and improve such functional inequalities, proving estimates which are now sharp in their additive error term, in their density dependence, valid at arbitrary order of differentiation, and localizable to the support of the transport. Our method relies on the observation that these iterated derivatives are the quadratic form of a commutator. Taking advantage of the Riesz nature of the interaction, we identify these commutators as solutions to a degenerate elliptic equation with a right-hand side exhibiting a recursive structure in terms of lower-order commutators and develop a local regularity theory for the commutators, which may be of independent interest. These estimates have applications to obtaining sharp rates of convergence for mean-field limits, quasi-neutral limits, and in proving central limit theorems for the fluctuations of Coulomb/Riesz gases. In particular, we show here the expected $N^{\frac{\mathsf{s}}{\mathsf{d}}-1}$-rate in the modulated energy distance for the mean-field convergence of first-order Hamiltonian and gradient flows.

10. Resonant vector bundles, conjugate points, and the stability of pulse solutions to the {S}wift-{H}ohenberg equation using validated numerics: Part I

利用验证数值方法研究Swift-Hohenberg方程脉冲解的共振向量丛、共轭点及稳定性：第一部分

作者: Margaret Beck, Jonathan Jaquette, Hannah Pieper

类别: math.DS, math.AP, 37 (Primary) 35 (Secondary)

发布日期: 2025-10-28

arXiv ID: 2510.24417v1

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

摘要: In this paper, we develop new theory connected with resonant vector bundles that will allow for the use of validated numerics to rigorously determine the stability of pulse solutions in the context of the Swift-Hohenberg equation. For many PDEs, the stability of stationary solutions is determined by the absence of point spectra in the open right half of the complex plane. Recently, theoretical developments have allowed one to use objects called conjugate points to detect such unstable eigenvalues for certain linearized operators. Moreover, in certain cases these conjugate points can themselves be detected using validated numerics. The aim of this work is to extend this framework to contexts where the vector bundles, which control the existence of conjugate points, have certain resonances. Such resonances can prevent the use of standard (though involved) techniques in computer assisted proofs, and in this paper we provide a method to overcome this obstacle. Due to its length, the analysis has been divided into two parts: Part I in the present work, and Part II in [BJPS25].

11. Telegrapher’s Generative Model via Kac Flows

基于Kac流的电报员生成模型

作者: Richard Duong, Jannis Chemseddine, Peter K. Friz, Gabriele Steidl

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

发布日期: 2025-06-25

arXiv ID: 2506.20641v4

链接: http://arxiv.org/abs/2506.20641v4

摘要: We break the mold in flow-based generative modeling by proposing a new model based on the damped wave equation, also known as telegrapher’s equation. Similar to the diffusion equation and Brownian motion, there is a Feynman-Kac type relation between the telegrapher’s equation and the stochastic Kac process in 1D. The Kac flow evolves stepwise linearly in time, so that the probability flow is Lipschitz continuous in the Wasserstein distance and, in contrast to diffusion flows, the norm of the velocity is globally bounded. Furthermore, the Kac model has the diffusion model as its asymptotic limit. We extend these considerations to a multi-dimensional stochastic process which consists of independent 1D Kac processes in each spatial component. We show that this process gives rise to an absolutely continuous curve in the Wasserstein space and compute the conditional velocity field starting in a Dirac point analytically. Using the framework of flow matching, we train a neural network that approximates the velocity field and use it for sample generation. Our numerical experiments demonstrate the scalability of our approach, and show its advantages over diffusion models.

12. Large solutions for subordinate spectral Laplacian

从属谱拉普拉斯算子的大型解研究

作者: Ivan Biočić, Vanja Wagner

类别: math.AP, math.PR, 35A01, 35J61, 45K05 (Primary), 35S15, 60J35, 35B40, 35R11, 31C05 (Secondary)

发布日期: 2025-06-20

arXiv ID: 2506.16780v2

链接: http://arxiv.org/abs/2506.16780v2

摘要: We find a large solution to a semilinear Dirichlet problem in a bounded $C^{1,1}$ domain for a non-local operator $\phi(-\Delta\vert_{D})$, an extension of the infinitesimal generator of a subordinate killed Brownian motion. The setting covers and extends the case of the spectral fractional Laplacian. The upper bound for the explosion rate of the large solution is obtained, and is given in terms of the renewal function, distance to the boundary, and the Keller-Osserman-type transformation of the nonlinearity. Additionally, we prove interior higher regularity results for this operator.

13. Relaxation of quasi-convex functionals with variable exponent growth

具有变指数增长的拟凸泛函的松弛

作者: Giacomo Bertazzoni, Petteri Harjulehto, Peter Hästö, Elvira Zappale

类别: math.AP, math.FA, 26A45, 26B30, 46E35, 46E99, 49J45

发布日期: 2025-10-06

arXiv ID: 2510.04672v2

链接: http://arxiv.org/abs/2510.04672v2

摘要: We prove a relaxation result for a quasi-convex bulk integral functional with variable exponent growth in a suitable space of bounded variation type. A key tool is a decomposition under mild assumptions of the energy into absolutely continuous and singular parts weighted via a recession function.

14. A Rough Divergence Theorem

一个粗略的散度定理

作者: Thomas Ruf

类别: math.AP

发布日期: 2025-06-11

arXiv ID: 2506.09978v2

链接: http://arxiv.org/abs/2506.09978v2

摘要: A generalized divergence theorem is established allowing for domains with inner boundaries. The normal trace of a rough integrand is not a Radon measure; rather, the boundary integral is expressed via a surface functional continuous with respect to the uniform convergence of integrands. We provide necessary and sufficient analytic and geometric conditions on the domain for the validity of the theorem. Central to this characterization is the introduction of the space of functions having bounded fluctuation, whose norm is precisely defined so that the divergence theorem holds if and only if the characteristic function $\chi_U$ of the integration domain $U \subset \R^m$ has finite norm.

15. On the effect of randomization on supercritical heat equations

关于随机化对超临界热方程影响的研究

作者: Eliseo Luongo

类别: math.PR, math.AP

发布日期: 2025-10-28

arXiv ID: 2510.24268v1

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

摘要: Recently, in \cite{glogic2025non}, it has been shown that the focusing power nonlinearity heat equation \begin{equation}\label{Eq:Heat_abstract}\tag{NLH} \partial_t u -\Delta u = |u|^{p-1}u, \quad p>1, \end{equation} in dimensions $d \geq 3$ has non-unique local solutions in $L^q(\mathbb{R}^d)$ for $q < d(p-1)/2$ provided that $p < p_{JL}$, where $p_{JL}$ denotes the Joseph-Lundgren exponent. In this paper we investigate the effect of different randomizations on the well-posedness of the equation. First we show that adding a forcing term white in time and colored in space in \eqref{Eq:Heat_abstract} is not sufficient to improve the solution theory: namely, we prove non-uniqueness for local-in-time mild solutions of \eqref{Eq:Heat_abstract} with additive noise. Second, we discuss how randomizing the initial conditions of \eqref{Eq:Heat_abstract} affects its well-posedness.

16. On the second eigenvalue of the infinity Laplacian with Robin boundary conditions

关于带Robin边界条件的无穷Laplacian的第二特征值

作者: Vincenzo Amato, Alba Lia Masiello, Carlo Nitsch, Cristina Trombetti

类别: math.AP, 35J92, 35J94, 35P15

发布日期: 2024-10-17

arXiv ID: 2410.13356v2

链接: http://arxiv.org/abs/2410.13356v2

摘要: We study the behaviour, as $p \to +\infty$, of the second eigenvalues of the $p$-Laplacian with Robin boundary conditions and the limit of the associated eigenfunctions. We prove that, up to some regularity of the set, the limit of the second eigenvalues is actually the second eigenvalue of the so-called $\infty$-Laplacian.

17. The Dirichlet eigenvalue problems for some concave elliptic Hessian operators

一类凹椭圆Hessian算子的Dirichlet特征值问题

作者: Jiaogen Zhang

类别: math.AP, math.DG

发布日期: 2025-10-19

arXiv ID: 2510.16748v3

链接: http://arxiv.org/abs/2510.16748v3

摘要: In this manuscript, we investigate a priori estimates for the solution to the Dirichlet eigenvalue problem for a broad class of concave elliptic Hessian operators of the form

$$ F(D^2u)=-\Lambda u \quad \textrm{in} \, \Omega, \qquad u=0 \quad \textrm{on} \, \partial \Omega. $$

These operators encompass the Monge-Amp`ere operator, the $k$-Hessian operators, and the $p$-Monge-Amp`ere operators. We impose a fairly mild constraint on the operator $F$, allowing us to demonstrate the existence of the first nonzero eigenvalue and its corresponding $\Gamma$-admissible eigenfunction on the smooth, strictly $\Gamma$-convex domain $\Omega\subset \mathbb{R}^{n}$. Furthermore, we prove that the eigenfunction $u_{1}$ belongs to $C^{\infty}(\Omega) \cap C^{1,1}(\overline{\Omega})$. As an application, we prove that every invariant G\r{a}rding-Dirichlet operator admits a unique first nonzero eigenvalue. Finally, a bifurcation-type theory for these operators is also established.

18. Deep Learning-Enhanced Calibration of the Heston Model: A Unified Framework

基于深度学习的Heston模型校准增强方法：一个统一框架

作者: Arman Zadgar, Somayeh Fallah, Farshid Mehrdoust

类别: math.AP, cs.LG

发布日期: 2025-10-28

arXiv ID: 2510.24074v1

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

摘要: The Heston stochastic volatility model is a widely used tool in financial mathematics for pricing European options. However, its calibration remains computationally intensive and sensitive to local minima due to the model’s nonlinear structure and high-dimensional parameter space. This paper introduces a hybrid deep learning-based framework that enhances both the computational efficiency and the accuracy of the calibration procedure. The proposed approach integrates two supervised feedforward neural networks: the Price Approximator Network (PAN), which approximates the option price surface based on strike and moneyness inputs, and the Calibration Correction Network (CCN), which refines the Heston model’s output by correcting systematic pricing errors. Experimental results on real S&P 500 option data demonstrate that the deep learning approach outperforms traditional calibration techniques across multiple error metrics, achieving faster convergence and superior generalization in both in-sample and out-of-sample settings. This framework offers a practical and robust solution for real-time financial model calibration.

19. Formalizing Schwartz functions and tempered distributions

拓扑函数与缓增分布的形式化

作者: Moritz Doll

类别: cs.LO, math.AP

发布日期: 2025-10-28

arXiv ID: 2510.24060v1

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

摘要: Distribution theory is a cornerstone of the theory of partial differential equations. We report on the progress of formalizing the theory of tempered distributions in the interactive proof assistant Lean, which is the first formalization in any proof assistant. We give an overview of the mathematical theory and highlight key aspects of the formalization that differ from the classical presentation. As an application, we prove that the Fourier transform extends to a linear isometry on $L^2$ and we define Sobolev spaces via the Fourier transform on tempered distributions.

20. Remainder terms of $L^p$-Hardy inequalities with magnetic fields: the case $1<p<2$

带有磁场的 $L^p$-Hardy 不等式余项：当 $1<p<2$ 的情形

作者: Xiao-Ping Chen, Chun-Lei Tang

类别: math.AP

发布日期: 2024-08-30

arXiv ID: 2408.17249v2

链接: http://arxiv.org/abs/2408.17249v2

摘要: This paper focuses on remainder estimates of the magnetic $L^p$-Hardy inequalities for $1<p<2$. \emph{Firstly}, we establish a family of remainder terms involving magnetic gradients of the magnetic $L^p$-Hardy inequalities, which are also new even for the classical $L^p$-Hardy inequalities. \emph{Secondly}, we study another family of remainder terms involving logarithmic terms of the magnetic $L^p$-Hardy inequalities. \emph{Lastly}, as a byproduct, we further obtain remainder terms of some other $L^p$-Hardy-type inequalities by using similar proof of our main results. Furthermore, this paper answers the open question proposed by Cazacu \emph{et al.} in [\emph{Nonlinearity} \textbf{37} (2024), Paper No. 035004] and can be viewed as a supplementary work of it.

21. Stability estimates for $L^p$-Caffarelli-Kohn-Nirenberg inequalities

$L^p$-Caffarelli-Kohn-Nirenberg不等式的稳定性估计

作者: Xiao-Ping Chen, Chun-Lei Tang

类别: math.AP

发布日期: 2025-10-28

arXiv ID: 2510.24022v1

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

摘要: Based on some new vector inequalities established by Figalli and Zhang [\emph{Duke Math. J.} \textbf{171} (2022), 2407–2459], we study the stability of the scale invariant and the scale non-invariant $L^p$-Caffarelli-Kohn-Nirenberg inequalities, which fills the recent work of Do \emph{et al.} [$L^p$-Caffarelli-Kohn-Nirenberg inequalities and their stabilities, arXiv: 2310.07083] for $1<p<2$, and also extends some results of Cazacu \emph{et al.} [\emph{J. Math. Pures Appl. (9)} \textbf{182} (2024), 253–284] to a general case for $L^p$-Caffarelli-Kohn-Nirenberg inequalities with $1<p<N$.

22. On finding gravitational waves from anisotropies of the Cosmic Microwave Background

关于通过宇宙微波背景各向异性探测引力波的研究

作者: Yiran Wang

类别: gr-qc, math.AP

发布日期: 2025-10-28

arXiv ID: 2510.24005v1

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

摘要: The integrated Sachs-Wolfe (ISW) effect describes how photons are gravitationally redshifted, producing anisotropies in the Cosmic Microwave Background. We study the inverse problem and show that primordial gravitational perturbations, in particular their polarizations in the transversally traceless (TT) gauge can be identified from the local observation of the ISW effect.

23. A class of forward-backward regularizations of the Perona-Malik equation with variable exponent

一类具有变指数的Perona-Malik方程的前向-后向正则化

作者: Yihui Tong, Wenjie Liu, Zhichang Guo, Wenjuan Yao

类别: math.AP

发布日期: 2025-10-28

arXiv ID: 2510.23982v1

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

摘要: This paper investigates a novel class of regularizations of the Perona-Malik equation with variable exponents, of forward-backward parabolic type, which possess a variational structure and have potential applications in image processing. The existence of Young measure solutions to the Neumann initial-boundary value problem for the proposed equation is established via Sobolev approximation and the vanishing viscosity limit. The proofs rely on Rothe’s method, variational principles, and Young measure theory. The theoretical results confirm numerical observations concerning the generic behavior of solutions with suitably chosen variable exponents.

24. Long time asymptotics for the KPII equation

KPII方程的长时间渐近性分析

作者: Derchyi Wu

类别: math.AP, nlin.SI, 35Q53, 35P25, 37K15

发布日期: 2025-09-03

arXiv ID: 2509.02907v2

链接: http://arxiv.org/abs/2509.02907v2

摘要: The long-time asymptotics of small Kadomtsev-Petviashvili II (KPII) solutions is derived using the inverse scattering theory and the stationary phase method.

25. Mountain Pass Critical Points of the Volume Constrained Area Functional

体积约束面积泛函的山路型临界点

作者: Gregory R. Chambers, Jared Marx-Kuo

类别: math.AP, math-ph, math.DG, math.MP

发布日期: 2025-09-11

arXiv ID: 2509.09098v2

链接: http://arxiv.org/abs/2509.09098v2

摘要: We construct mountain pass critical points of the perimeter functional on sets of fixed volume. For a generic metric, this gives rise to a smooth almost embedded hypersurface with non-zero constant mean curvature. Our work utilizes recent techniques of Mazurwoski–Zhou \cite{mazurowski2024infinitely}, and a new result on the connectedness of Cacciopoli sets: any two smooth Cacciopoli sets can be connected by an $\mathbf{F}$-continuous map.

26. Intrinsic Scalings with Non-standard Growth

具有非标准增长的内蕴尺度分析

作者: M. D. Amaral, J. G. Araújo

类别: math.AP

发布日期: 2025-10-27

arXiv ID: 2510.23939v1

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

摘要: In this work, we investigate quantitative regularity estimates for degenerate parabolic partial differential equations, with a focus on Orlicz-type diffusive structures. Using a geometric tangential analysis tailored to these structures and a general notion of intrinsic scalings, we derive precise interior H"older regularity estimates for bounded weak solutions. These results offer new insights, even in the time-stationary case.

27. Keller-Osserman and Harnack type results for nonlinear elliptic PDE with unbounded ingredients

具有无界系数的非线性椭圆型偏微分方程的Keller-Osserman型与Harnack型结果

作者: Boyan Sirakov, Aelson Sobral

类别: math.AP, 35B50, 35J15

发布日期: 2025-10-27

arXiv ID: 2510.23834v1

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

摘要: We show that the classical Keller-Osserman theorem on the solvability of the equation $\mathcal{L}[u] = f(u)$ is valid when $\mathcal{L}$ is a general operator in divergence form with unbounded coefficients in the natural regime of local integrability. This has been open up to now, earlier results concerned operators with locally bounded ingredients. We also settle an open question from \cite{SS21} about the validity of the strong maximum principle for supersolutions of $\mathcal{L}[u] = f(u)$ under the optimal integral condition of V'azquez. More generally, we obtain a Harnack inequality for positive solutions of this equation, which extends a result by V. Julin.

28. A Physics-informed Multi-resolution Neural Operator

一种物理信息驱动的多分辨率神经算子

作者: Sumanta Roy, Bahador Bahmani, Ioannis G. Kevrekidis, Michael D. Shields

类别: cs.LG, math.AP, physics.comp-ph, stat.ML

发布日期: 2025-10-27

arXiv ID: 2510.23810v1

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

摘要: The predictive accuracy of operator learning frameworks depends on the quality and quantity of available training data (input-output function pairs), often requiring substantial amounts of high-fidelity data, which can be challenging to obtain in some real-world engineering applications. These datasets may be unevenly discretized from one realization to another, with the grid resolution varying across samples. In this study, we introduce a physics-informed operator learning approach by extending the Resolution Independent Neural Operator (RINO) framework to a fully data-free setup, addressing both challenges simultaneously. Here, the arbitrarily (but sufficiently finely) discretized input functions are projected onto a latent embedding space (i.e., a vector space of finite dimensions), using pre-trained basis functions. The operator associated with the underlying partial differential equations (PDEs) is then approximated by a simple multi-layer perceptron (MLP), which takes as input a latent code along with spatiotemporal coordinates to produce the solution in the physical space. The PDEs are enforced via a finite difference solver in the physical space. The validation and performance of the proposed method are benchmarked on several numerical examples with multi-resolution data, where input functions are sampled at varying resolutions, including both coarse and fine discretizations.