生成时间: 2026年01月29日 04:20:50

重点关注论文数量: 4

了解领域论文数量: 4

不相关论文数量: 20

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

1. Navier-Stokes-Poisson 系统激波型解的谱稳定性

Spectral stability of shock profiles for the Navier-Stokes-Poisson system

作者: Wanyong Shim

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20684v1

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

详细分析

中文标题: Navier-Stokes-Poisson 系统激波型解的谱稳定性

研究对象和背景

本文研究的是一维等温 Navier–Stokes–Poisson (NSP) 系统，该系统用于描述碰撞主导（collision-dominated）等离子体中离子的动力学行为。其物理背景源于电离气体中离子与电子之间显著的时间尺度分离：电子响应极快，可近似处于局部热力学平衡；而离子运动较慢，受粘性力与自洽电场共同驱动。在拉格朗日质量坐标 $(t, y)$ 下，该系统写作：

$$ \begin{aligned} v_t - u_y &= 0, \\ u_t + \left( \frac{T}{v} \right)_y &= \left( \frac{\nu u_y}{v} \right)_y - \frac{\phi_y}{v} + \frac{\phi_y^2}{v^2}, \\ -\varepsilon^2 \left( \frac{\phi_y}{v} \right)_y &= 1 - v e^{\phi}. \end{aligned} $$

其中：

  • $v = 1/n > 0$ 是比容（specific volume），$n$ 为离子数密度；
  • $u$ 是离子速度；
  • $\phi$ 是归一化电势（electric potential）；
  • $T > 0$ 为绝对温度（等温假设）；
  • $\nu > 0$ 为动力粘性系数；
  • $\varepsilon > 0$ 为德拜长度（Debye length），表征电荷屏蔽尺度，是系统非局域性的关键参数。

值得注意的是，Poisson 方程中电子密度由Boltzmann 关系 $n_e = e^{\phi}$ 给出，这是基于电子弛豫远快于离子的物理事实，从而将电子视为瞬时响应电势变化的准静态背景。

为分析激波结构，作者转入移动坐标系 $x = y - s t$，其中 $s$ 为激波传播速度。在此坐标下，系统变为驻波形式，并存在连接两个不同常数状态 $(v_\pm, u_\pm, \phi_\pm)$ 的光滑行波解（shock profile） $(\bar{v}, \bar{u}, \bar{\phi})(x)$，满足如下常微分方程组（ODE）：

$$ \begin{aligned} -s \bar{v}_x - \bar{u}_x &= 0, \\ -s \bar{u}_x + \left( \frac{T}{\bar{v}} \right)_x &= \left( \frac{\nu \bar{u}_x}{\bar{v}} \right)_x - \frac{\bar{\phi}_x}{\bar{v}} + \frac{\bar{\phi}_x^2}{\bar{v}^2}, \\ -\varepsilon^2 \left( \frac{\bar{\phi}_x}{\bar{v}} \right)_x &= 1 - \bar{v} e^{\bar{\phi}}. \end{aligned} $$

远场条件为：

$$ \lim_{x \to \pm \infty} (\bar{v}, \bar{u}, \bar{\phi})(x) = (v_\pm, u_\pm, \phi_\pm), \quad \text{且} \quad \phi_\pm = -\ln v_\pm, $$

后者来自 $x \to \pm \infty$ 时 Poisson 方程的形式极限（即准中性极限，quasi-neutral limit）。

激波速度 $s$ 由Rankine–Hugoniot 条件确定：

$$ \begin{cases} -s(v_+ - v_-) - (u_+ - u_-) = 0, \\ -s(u_+ - u_-) + (T + 1)\left( \frac{1}{v_+} - \frac{1}{v_-} \right) = 0, \end{cases} $$

解得：

$$ s = \pm \sqrt{ \frac{T + 1}{v_+ v_-} }. $$

本文聚焦于满足 Lax 熵条件的 $2$-激波，即取 $s = s_+ = \sqrt{(T+1)/(v_+ v_-)}$ 且 $v_+ > v_-$（压缩激波）。在小振幅假设下，即激波强度 $\delta_S := |v_+ - v_-|$ 充分小，文献 [3] 已证：存在唯一（模平移）的光滑激波剖面 $(\bar{v}, \bar{u}, \bar{\phi})$，并具有指数衰减性：

$$ \left| \frac{d^k}{dx^k} (\bar{v} - v_\pm,\, \bar{u} - u_\pm,\, \bar{\phi} - \phi_\pm) \right| \le C_k \delta_S^{k+1} e^{-\theta \delta_S |x|}, \quad x \gtrless 0, $$

其中 $C_k, \theta > 0$ 为常数。这一衰减性质对后续谱分析至关重要。

函数空间设定为 $L^2(\mathbb{R}) \times L^2(\mathbb{R})$，即扰动 $(v,u)$ 属于该 Hilbert 空间；线性化算子 $L$ 定义于其上（见后文），且被证明是闭稠定算子（Appendix C）。特别地，由于 Poisson 项引入了非局部性（通过算子 $A^{-1} B$ 实现），$L$ 并非标准微分算子，而是含积分-微分耦合的伪微分型算子，这使得传统谱理论工具（如 Fourier 变换直接应用）失效，必须借助更精细的 ODE 系统重构与 Evans 函数框架。

此外，该模型区别于经典 Navier–Stokes 方程的关键在于：电场力 $\phi_y/v$ 是非局部的、长程相互作用项，它通过 Poisson 方程与密度 $v$ 耦合，导致低频模式中出现额外的快慢模分离（fast-slow modes），显著改变谱结构——尤其是零特征值与本质谱的相对位置，使标准 Evans 方法失效。

主要定理或主要结果

论文的核心结论由以下定理给出：

Theorem 1.2.
设 $(\bar{v}, \bar{u}, \bar{\phi})$ 是引理 1.1 所述的小振幅 $2$-激波剖面，$L$ 是定义于 $L^2(\mathbb{R}) \times L^2(\mathbb{R})$ 上的线性化算子（见 (1.9)–(1.11)）。则存在常数 $\delta_1 > 0$，使得当激波强度 $\delta_S < \delta_1$ 时，该激波剖面在 $L^2$ 中强谱稳定（strongly spectrally stable），即：

$$ \sigma(L) \cap \{ \lambda \in \mathbb{C} : \operatorname{Re} \lambda \ge 0 \} = \{ 0 \}. $$

进一步，$\lambda = 0$ 是 $L$ 的代数重数为一的特征值（algebraically simple eigenvalue）。

该定理包含两层深刻含义：

  1. 无不稳定谱：除平移对称性自然诱导的零特征值外，整个闭右半复平面 $\{ \operatorname{Re} \lambda \ge 0 \}$ 内无任何谱点——既无正实部特征值（线性失稳），也无连续谱侵入右半平面（本质谱稳定性）。

  2. 零特征值的简单性：$\lambda = 0$ 的几何与代数重数均为 1，对应唯一的（归一化）零空间函数 $U_0 = (\bar{v}_x, \bar{u}_x)^{\mathrm{tr}}$，且广义零空间平凡。此性质是轨道稳定性（orbital stability） 的谱判据核心，亦为后续应用 Zumbrun–Howard 点态 Green 函数理论的前提。

等价地，该结论可表述为 Evans 函数 $D(\lambda)$ 满足：

  • (D1) $D(\lambda) \neq 0$ 对所有 $\lambda \in \{ \operatorname{Re}\lambda \ge 0 \} \setminus \{0\}$ 成立；
  • (D2) $D'(0) \neq 0$。

而 (D2) 进一步被分解为：

$$ D'(0) = \Gamma \cdot \Delta, $$

其中 $\Gamma \neq 0$ 刻画激波剖面作为异宿轨在相空间中的横截性（transversality），$\Delta \neq 0$ 是对应准中性 Euler 系统的 Liu–Majda 判别式（即双曲激波的 Lax 条件体现），二者均在小振幅下严格非零。

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

a) 核心分析学工具

本文采用一套成熟但高度技术化的粘性激波谱稳定性理论框架，其基石包括：

  • 本质谱（essential spectrum）分析：依据标准算子理论（见 [9, 14]），$\sigma_{\mathrm{ess}}(L)$ 由两端极限算子 $L_\pm$ 的傅里叶符号 $M_\pm(\xi)$ 的谱决定。此处 $M_\pm(\xi)$ 是一个 $2 \times 2$ 矩阵（因 $\phi$ 被消去，仅保留 $(v,u)$），其特征值 $\lambda_j^\pm(\xi)$ 满足色散关系 $\det(M_\pm(\xi) - \lambda I) = 0$。关键引理 3.2 证明了：

    $$ \operatorname{Re} \lambda_j^\pm(\xi) \le -\frac{\theta_0 |\xi|^2}{1 + |\xi|^2}, \quad \forall \xi \in \mathbb{R}, $$

    特别地 $\lambda_j^\pm(0) = 0$。这表明 $\sigma_{\mathrm{ess}}(L)$ 严格位于左半平面，除原点外与虚轴无交集，且原点嵌入本质谱中（no spectral gap），这是 NSP 系统区别于纯流体模型的根本难点。

  • 点谱（point spectrum）排除：对 $\lambda \in \Omega = \{ \operatorname{Re}\lambda \ge 0 \} \setminus \{0\}$，引入反导数变量（anti-derivative variables）：

    $$ \Phi(x) = \int_{-\infty}^x v(z)\,dz, \quad \Psi(x) = \int_{-\infty}^x u(z)\,dz. $$

    此变换将原算子 $L$ 的本征问题转化为新算子 $\mathcal{L}$ 的问题，其优势在于：若 $\lambda \in \Omega$ 是 $L$ 的 $L^2$ 特征值，则必有 $\int_\mathbb{R} v = \int_\mathbb{R} u = 0$，从而 $\Phi, \Psi \in L^2$ 且仍满足指数衰减。随后进行复值能量估计（complex-valued energy estimate）（Lemma 4.2）：

    $$ \operatorname{Re}\lambda \|(\Phi,\Psi)\|_{H^2\times H^3}^2 + c \left( \| \hat{v}^{1/2} \Psi \|_{L^2}^2 + \|\Phi_x\|_{L^2}^2 + \|\Psi_x\|_{H^1}^2 \right) \le 0. $$

    因 $\operatorname{Re}\lambda \ge 0$，左端首项非负，其余项为正定范数，故唯一可能是 $(\Phi,\Psi) \equiv 0$，从而 $v = u \equiv 0$，矛盾。此即 “energy gap” argument。

  • 零特征值简单性证明：由于 $\lambda = 0$ 嵌入本质谱，标准 Evans 函数 $D(\lambda)$ 在 $\lambda = 0$ 处不解析，无法直接求导。作者采用 Zumbrun–Howard–Mascia 的扩展 Evans 框架：利用共轭引理（conjugation lemma）（Appendix A），将变系数系统

    $$ W_x = \mathbb{A}(x,\lambda) W, \quad \mathbb{A}(x,\lambda) = \mathbb{A}_\pm(\lambda) + \mathcal{O}(e^{-\theta|x|}) $$

    在 $\lambda = 0$ 邻域内，通过解析相似变换约化为常系数系统，从而定义解析延拓的 Evans 函数 $D(\lambda)$ 于包含原点的开圆盘 $B(0,r)$ 上。其导数计算归结为：

    $$ D'(0) = \Gamma \cdot \Delta. $$

b) 技术性难题处理技巧

  • 非局部性的处理：Poisson 项导致算子 $L$ 含 $A^{-1}B$，无法直接写成标准 ODE 系统。作者通过显式求解线性化 Poisson 方程（Appendix B）获得 $\phi = A^{-1}B v$，再代入动量方程，最终将整个系统闭合为关于 $(v,u)$ 的二阶非局部微分方程，进而重构为一阶 $6$ 维 ODE 系统（5.1）–（5.3），为 Evans 函数定义铺平道路。

  • 零特征值嵌入本质谱的突破：传统 Evans 方法要求 $\lambda = 0$ 与 $\sigma_{\mathrm{ess}}(L)$ 分离。本文通过扩展至本质谱内部的解析延拓技术，结合中心流形构造（Lemma 1.1 的证明中使用），在小振幅下验证横截性 $\Gamma \neq 0$，巧妙绕过谱间隙缺失的障碍。

  • 高频与低频统一控制：在本质谱分析中，通过精细代数运算（引理 3.2）将色散关系根的实部控制分解为 $|\xi| \le \xi_0$（低频，直接估计）与 $|\xi| > \xi_0$（高频，利用 $f(\xi)$ 的渐近展开）两部分，并统一为带权二次衰减形式，确保 $\sigma_{\mathrm{ess}}(L)$ 的严格左半平面定位。

与之前工作的比较

a) 突破与改进

本文相较既有工作实现了三重实质性推进：

第一，摆脱“零质量”限制，建立普适谱稳定性。
先前结果（如 [3, 16, 29]）依赖零质量假设 $\int_\mathbb{R} (v - \bar{v}) = \int_\mathbb{R} (u - \bar{u}) = 0$，这要求扰动总质量为零，本质上是通过引入反导数变量 $\Phi,\Psi$ 强制 $L^2$ 解的存在性。该假设排除了影响激波位置调制（shock location modulation）的非零质量扰动。本文虽仍用反导数变量，但通过先证本质谱与点谱分离于 $\Omega$，再单独处理 $\lambda = 0$，使结论不预设零质量，为后续证明非线性轨道稳定性（含激波位置漂移）奠定基础。

第二，首次完成 NSP 激波的完整谱稳定性刻画。
[12] 使用相对熵法得到渐近轨道稳定性，但仅证明位移 $a(t)$ 满足 $|a'(t)| \to 0$，未确认 $a(t) \to a_\infty$（即极限激波位置存在）。而谱稳定性（Theorem 1.2）是应用 Zumbrun–Howard 点态 Green 函数理论 的前提，该理论可导出Sharp 的线性衰减率（如 $t^{-1/2}$）及极限位置 $a_\infty$ 的显式表达式（由投影初值决定），这是能量方法无法提供的定量信息。

第三，揭示 Poisson 耦合对低频谱的新机制。
相比经典 Navier–Stokes，NSP 系统在低频 $\lambda \sim i\xi$ 下因电场力引入两个额外快模，它们参与横截性系数 $\Gamma$ 的构成（Remark 1.3）。本文通过分析变分方程沿剖面的解结构（Appendix E），严格证明小振幅下 $\Gamma \neq 0$，首次量化了非局部电场对激波结构稳定性的影响路径，弥补了此前工作中对此机制的黑箱处理。

综上，本文不仅将 NSP 激波稳定性理论提升至与经典粘性激波同等 rigor 的谱分析层面，更以其对非局部性与谱嵌入问题的创新处理，为多尺度、多物理场耦合系统的稳定性研究提供了范式。

2. 随机阻尼各向异性Navier–Stokes方程不变测度的唯一性

Uniqueness of invariant measures for stochastic damped anisotropic Navier–Stokes equations

作者: Siyu Liang

类别: math.PR, math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20616v1

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

详细分析

中文标题: 随机阻尼各向异性Navier–Stokes方程不变测度的唯一性

1. 研究对象和背景

本文研究的是定义在全平面 $\mathbb{R}^2$ 上的二维随机阻尼各向异性Navier–Stokes方程（stochastic damped anisotropic Navier–Stokes equations），其数学形式为：

$$ \begin{cases} \partial_t u + u \cdot \nabla u - \partial_1^2 u + \lambda u = -\nabla p + \sigma \, dW, \\ \mathrm{div}\, u = 0, \\ u\big|_{t=0} = u_0, \end{cases} \tag{1.1} $$

其中 $u = (u_1, u_2): \mathbb{R}^2 \times [0,\infty) \to \mathbb{R}^2$ 是速度场，$p: \mathbb{R}^2 \times [0,\infty) \to \mathbb{R}$ 是压力项，$\lambda > 0$ 是线性阻尼系数，$W$ 是一个 $\ell^2$-柱形Wiener过程，$\sigma \in L_2(\ell^2, \widetilde{H}^1)$ 是加性噪声算子（即不依赖于解本身），$\partial_1^2 u$ 表示仅对水平方向（即 $x_1$ 方向）施加的二阶耗散——这正是各向异性粘性（anisotropic viscosity）的核心体现。

该模型源于地球物理流体动力学（geophysical fluid dynamics），例如大气与海洋环流中，由于科里奥利力与层结效应，水平粘性（由湍流混合主导）远大于垂直粘性，导致运动在水平与垂直方向上呈现显著不同的耗散行为。因此，标准各向同性 Laplacian $\Delta u = \partial_1^2 u + \partial_2^2 u$ 被替换为仅含 $\partial_1^2 u$ 的退化扩散项，从而构成强各向异性结构。

值得注意的是，该方程定义在无界区域 $\mathbb{R}^2$ 上，且无边界条件（即非紧支、非周期、非Dirichlet/Neumann）。这一设定彻底排除了经典Poincaré 不等式的适用性：对任意 $u \in H^1(\mathbb{R}^2)$，一般有 $\|u\|_{L^2} \nleq C \|\nabla u\|_{L^2}$；事实上，常数函数属于 $H^1_{\mathrm{loc}}$ 但不属于 $L^2$，故低频模态无法被梯度控制。因此，在无界域上，仅靠各向异性扩散 $\partial_1^2 u$ 不足以提供全局能量衰减，更无法保证解的长时间稳定性或统计平衡态的存在。

为此，作者引入线性阻尼项 $\lambda u$ ——它在傅里叶空间中表现为乘子 $\lambda \widehat{u}(\xi)$，对所有波数 $\xi \in \mathbb{R}^2$（包括零频附近）提供一致的耗散。该机制是存在不变测度的先决条件：若 $\lambda = 0$，即使在确定性情形下，系统亦可能因缺乏低频控制而发生能量级联发散；文献中已知，对于 $\mathbb{R}^2$ 上无阻尼的各向异性 NS，即便初值 $u_0 \in \widetilde{H}^1$，其解的能量也可能随时间增长（参见作者前期工作 [15]）。

函数空间方面，论文采用如下关键空间：

  • $H := \{ u \in L^2(\mathbb{R}^2; \mathbb{R}^2) : \mathrm{div}\, u = 0 \}$，
  • $\widetilde{H}^s := \{ u \in H^s(\mathbb{R}^2; \mathbb{R}^2) : \mathrm{div}\, u = 0 \}$，即带不可压约束的 Sobolev 空间；
  • 特别地，解的适定性建立在 $\widetilde{H}^1$ 上，即要求初值 $u_0 \in \widetilde{H}^1$，噪声满足 $\sigma \in L_2(\ell^2, \widetilde{H}^1)$（Hilbert–Schmidt 类）。

此外，为刻画各向异性结构，论文大量使用各向异性混合范数：

$$ \|f\|_{L^p_h(L^q_v)} := \left( \int_{\mathbb{R}} \|f(x_h, \cdot)\|_{L^q(\mathbb{R})}^p \, dx_h \right)^{1/p}, $$

其中 $x_h = x_1$（水平变量），$x_v = x_2$（垂直变量）。此类范数能精细区分水平平滑性与垂直正则性，在处理非线性项 $u \cdot \nabla u$ 时至关重要。

综上，该模型是一个兼具几何奇异性（各向异性扩散）、动力学病态性（无 Poincaré 控制）、随机扰动（加性噪声）与物理真实性（地球物理建模）的高挑战性偏微分方程系统。其长期统计行为——特别是不变测度（invariant measure）的存在性与唯一性——成为理解该类系统“湍流稳态”的核心问题。

2. 主要定理或主要结果

论文的核心结论由 Theorem 5.1 给出（虽 PDF 中未完整展示第 5 节内容，但摘要与引言明确陈述，且第 4 节已铺垫存在性，第 5 节必为唯一性）：

Theorem 5.1（不变测度唯一性）
设 $\lambda > 0$，$\sigma \in L_2(\ell^2, \widetilde{H}^1)$，且满足

$$ \lambda > C \|\sigma\|_{L_2(\ell^2, \widetilde{H}^1)}, $$


其中 $C > 0$ 为仅依赖于空间维数与嵌入常数的绝对常数。则由方程 (1.1) 生成的 Markov 半群 $(P_t)_{t \geq 0}$ 在 $\widetilde{H}^1$ 上存在唯一的不变概率测度 $\mu$，即满足

$$ \int_{\widetilde{H}^1} P_t \varphi \, d\mu = \int_{\widetilde{H}^1} \varphi \, d\mu, \quad \forall \varphi \in C_b(\widetilde{H}^1), \; \forall t \geq 0. $$

该定理的关键特征在于：

  • 无需噪声非退化假设：$\sigma$ 可为秩一算子、甚至有限维投影，不要求其像空间稠密或控制全部方向；
  • 涵盖确定性情形：当 $\sigma \equiv 0$ 时，条件自动满足，结论退化为：强阻尼确定性系统在 $\widetilde{H}^1$ 上存在唯一吸引子（对应唯一遍历不变测度）；
  • 定量阈值：唯一性成立的临界条件是阻尼强度 $\lambda$ 主导噪声强度 $\|\sigma\|$，体现为线性与 Hilbert–Schmidt 范数的可比性。

作为支撑，论文还建立了：

  • Theorem 4.1（不变测度存在性）：只要 $\lambda > 0$（任意小），即存在至少一个不变测度；
  • Theorem 3.2（适定性）：对任意 $u_0 \in \widetilde{H}^1$，方程 (1.1) 存在唯一整体概率强解 $u \in C([0,\infty); \widetilde{H}^1_w) \cap L^2_{\mathrm{loc}}([0,\infty); \widetilde{H}^1)$，并满足 $H^1$-能量估计：
    $$ \mathbb{E}\left[ \sup_{t \in [0,T]} \|u(t)\|_{H^1}^2 \right] \leq C_T \left( 1 + \|u_0\|_{H^1}^2 + \|\sigma\|_{L_2(\ell^2, H^1)}^2 \right). $$

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

a) 核心分析学工具

论文证明唯一性的主干是 渐近耦合方法（asymptotic coupling method），这是研究马尔可夫过程遍历性的现代概率分析利器，其思想是：构造两个从不同初值出发的解过程 $(u^{(1)}(t), u^{(2)}(t))$，通过设计特定的耦合噪声（如使两者驱动 Wiener 过程部分相同），使得差值 $v(t) = u^{(1)}(t) - u^{(2)}(t)$ 满足某种指数衰减律 $\|v(t)\| \to 0$，从而迫使两不变测度重合。

为实现此目标，需建立对 $v(t)$ 的一致能量控制。由于 $v$ 满足线性化方程（忽略高阶非线性耦合项）：

$$ \partial_t v + \mathcal{L} v + \lambda v = \text{nonlinear residual} + \text{noise difference}, $$

其中 $\mathcal{L} v = -\partial_1^2 v + u^{(1)} \cdot \nabla v + v \cdot \nabla u^{(2)}$，其分析高度依赖三类估计：

  1. 各向异性能量估计（Anisotropic energy estimates）：
    利用各向异性 Gagliardo–Nirenberg 插值不等式，例如：

    $$ \|f\|_{L^4} \lesssim \|f\|_{L^2}^{1/2} \|\partial_1 f\|_{L^2}^{1/2}, \quad \|f\|_{L^\infty} \lesssim \|\partial_1 f\|_{L^2}^{1/2} \|\partial_1 \partial_2 f\|_{L^2}^{1/2}, $$

    将非线性项 $\|v \cdot \nabla u^{(2)}\|_{H^{-1}}$ 控制为 $\|v\|_{H^1} \cdot \|\partial_1 u^{(2)}\|_{L^2}^{1/2} \|\partial_1 \partial_2 u^{(2)}\|_{L^2}^{1/2}$，再结合已知的 $H^1$-先验界，实现闭合。

  2. 指数型 $H^1$-能量估计（Exponential-type $H^1$-estimates）：
    对 $v$ 应用 Itô 公式得：

    $$ d\|v\|_{H^1}^2 + 2\lambda \|v\|_{H^1}^2 \, dt \leq C \|v\|_{H^1}^2 \left( \|\nabla u^{(1)}\|_{L^2} + \|\nabla u^{(2)}\|_{L^2} \right) dt + \text{martingale}. $$

    关键是利用 Burkholder–Davis–Gundy 不等式与指数鞅不等式，证明存在正概率集 $\Omega_\delta$，使得在 $\Omega_\delta$ 上：

    $$ \|v(t)\|_{H^1}^2 \leq e^{-\alpha t} \|v(0)\|_{H^1}^2, \quad \forall t \geq 0, $$

    其中 $\alpha > 0$ 依赖于 $\lambda$ 与 $\|\sigma\|$。

  3. 弱 Feller 性与紧性论证（Sequentially weakly Feller property & tightness）：
    为应用 Maslowski–Seidler 准则（Proposition 4.2），需验证半群 $P_t$ 将弱连续有界函数映为序列弱连续函数。这通过 Skorokhod 表示定理与紧嵌入 $U \Subset \widetilde{H}^1$（如 $U = \widetilde{H}^2 \cap \widetilde{H}^1$）实现：先证解族在 $C([0,T]; U') \cap L^2_{\mathrm{loc}}([0,T]; L^2) \cap C_w([0,T]; \widetilde{H}^1)$ 中紧（Lemma 4.3），再提取几乎必然收敛子列（Proposition 4.4），最终导出 $P_t$ 的弱连续性。

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

  • 各向异性非线性项的控制：标准 Sobolev 乘积估计 $\|uv\|_{H^s} \lesssim \|u\|_{H^s}\|v\|_{H^s}$ 在 $s=1$ 时失效（因 $\mathbb{R}^2$ 上 $H^1 \not\subset L^\infty$）。作者转而使用水平-垂直分裂：将 $u \cdot \nabla u = u_h \partial_h u + u_v \partial_v u$，再分别用 $\|\partial_h u\|_{L^2}$ 控制 $u_h \partial_h u$，用 $\|\partial_v u\|_{L^2}$ 控制 $u_v \partial_v u$，配合各向异性插值。

  • 零频失控问题：为克服 $\mathbb{R}^2$ 缺乏 Poincaré 不等式，作者将能量分解为低频截断 $P_{\leq R} v$ 与高频部分 $P_{>R} v$。对低频，直接用阻尼项 $\lambda \|P_{\leq R} v\|_{L^2}^2$ 控制；对高频，用 $\|\partial_1 v\|_{L^2}^2$ 控制。二者通过参数 $R$ 平衡，最终导出整体耗散。

  • 噪声退化情形的鲁棒性：传统耦合法常需噪声“足够大”以驱动系统遍历。本文反其道而行，利用大阻尼主导小噪声的结构，使差值方程的线性部分 $\partial_t v - \partial_1^2 v + \lambda v$ 本身具备指数稳定性，噪声仅作为扰动项被吸收，故无需任何非退化性。

4. 与之前工作的比较

a) 突破与改进

本文相较既有文献实现了三重实质性突破：

  1. 首次在无界域上建立各向异性 NS 的遍历性：
    此前工作如 Sun–Qiu–Tang [18] 仅处理有界区域（如矩形域），依赖 Poincaré 不等式获得本征耗散，因而无需阻尼项；而本文在 $\mathbb{R}^2$ 上，强制引入阻尼以补偿缺失的谱间隙，并将该机制与各向异性结构协同运用，属首创。

  2. 彻底摆脱噪声非退化假设：
    经典遍历性结果（如 Flandoli–Romito, Debussche–Odasso）通常要求噪声作用于无穷多 Fourier 模式，或至少满足 Hormander 条件。本文仅需 $\sigma \in L_2(\ell^2, \widetilde{H}^1)$，允许 $\sigma$ 为单模噪声（如 $\sigma e_1$），甚至 $\sigma \equiv 0$，极大拓宽了适用范围。

  3. 统一处理随机与确定性极限：
    多数文献将随机与确定性情形割裂研究。本文证明：当 $\|\sigma\| \to 0$ 时，不变测度连续依赖于噪声强度，并收敛至确定性系统的唯一吸引子，体现了随机正则化与确定性结构的内在一致性。

综上，该工作不仅解决了各向异性流体在无界空间中的基本遍历性问题，更提供了一套可推广至其他退化耗散 PDE（如各向异性 Boussinesq、MHD）的通用框架。

3. 能量变分框架下解的存在性与选择性研究及其在流体动力学中的应用

Existence and selection of solutions in the energy-variational framework with applications in fluid dynamics

作者: Thomas Eiter, Robert Lasarzik, Marcel Śliwiński

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20455v1

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

详细分析

中文标题: 能量变分框架下解的存在性与选择性研究及其在流体动力学中的应用

1. 研究对象和背景

本文研究的核心是一类**抽象演化偏微分方程（evolutionary PDEs）**的广义解理论，其原型为如下形式的初值问题：

$$ \partial_t U(t) + A(t,U(t)) = 0 \quad \text{in } Y^*, \quad t \in (0,T), $$

$$ U(0,\cdot) = U_0 \quad \text{in } V^*, $$

其中 $U : [0,T] \to V^*$ 是未知状态变量，$A : [0,T] \times (\operatorname{dom}E \cap \operatorname{dom}\Psi) \to Y^*$ 是一个（可能非线性、时变）算子；$Y$ 和 $V$ 是满足稠密紧嵌入 $Y \hookrightarrow\!\!\!\!\! \rightarrow V$ 的可分 Banach 空间；$V^*$ 是状态空间，$Y^*$ 是测试函数空间的对偶。该抽象框架覆盖了大量物理模型，尤其是流体动力学与几何分析中的关键系统。

论文重点考察两个具体实例：Euler–Korteweg 系统与二项曲率流（binormal curvature flow）方程。前者描述具有毛细效应的无粘可压缩流体，其经典形式为：

$$ \begin{cases} \partial_t \rho + \nabla \cdot (\rho \mathbf{u}) = 0, \\ \partial_t (\rho \mathbf{u}) + \nabla \cdot (\rho \mathbf{u} \otimes \mathbf{u}) + \nabla p(\rho) = \kappa \rho \nabla \Delta \rho, \end{cases} $$

其中 $\rho \geq 0$ 是密度，$\mathbf{u} \in \mathbb{R}^d$ 是速度场，$p(\rho)$ 是压力函数（如 $p(\rho) = \rho^\gamma$, $\gamma > 1$），$\kappa > 0$ 是毛细系数。该系统的能量泛函包含二阶导数项：

$$ E_{\mathrm{EK}}(\rho,\mathbf{u}) = \int_\Omega \left[ \frac{1}{2}\rho|\mathbf{u}|^2 + H(\rho) + \frac{\kappa}{2} |\nabla \rho|^2 \right] \, dx, $$

其中 $H'(\rho) = p(\rho)/\rho$ 是比内能。由于梯度项的存在，自然先验估计给出 $H^1$-型紧性，但非线性结构导致传统弱解理论难以建立全局存在性。

第二个例子是二项曲率流，即描述三维空间中涡旋丝（vortex filament）演化的几何 PDE：

$$ \partial_t \boldsymbol{\gamma}(t,s) = \boldsymbol{\gamma}_s(t,s) \times \boldsymbol{\gamma}_{ss}(t,s), $$

其中 $\boldsymbol{\gamma} : [0,T] \times \mathbb{R} \to \mathbb{R}^3$ 是单位速度参数化的空间曲线，右端即其Frenet 曲率向量的二项分量（binormal component）。该方程等价于 Schrödinger 映射 $\partial_t \mathbf{T} = \mathbf{T} \times \mathbf{T}_{ss}$，其中 $\mathbf{T} = \boldsymbol{\gamma}_s$ 是单位切向量。其能量泛函为一阶齐次的弧长泛函：

$$ E_{\mathrm{BCF}}(\boldsymbol{\gamma}) = \int_{\mathbb{R}} |\boldsymbol{\gamma}_s| \, ds, $$

在 Sobolev 框架下不满足超线性增长条件（即不满足 $\lim_{\|U\| \to \infty} E(U)/\|U\| = \infty$），因此无法直接套用已有能量变分理论（如 [ALR24, EL24]）。

论文所构建的能量变分解（energy-variational solution） 并非传统意义上的弱解，而是一对 $(U,E)$，其中 $U \in L^\infty_w(0,T;V^*) \cap \mathrm{BV}([0,T];Y^*)$，$E \in \mathrm{BV}([0,T])$，满足对所有 $\Phi \in C^1([0,T];Y \cap \operatorname{dom}\partial E^*)$ 及几乎处处 $0 \le s < t \le T$ 的变分不等式：

$$ [E - \langle U,\Phi\rangle]\Big|_s^t + \int_s^t \Big[ \langle U,\partial_t \Phi\rangle - \langle A(\tau,U),\Phi\rangle + \Psi(\tau,U) + K(\Phi)[E(U) - E] \Big] \, d\tau \le 0. $$

该不等式融合了三重结构：（i）能量耗散部分（含辅助能量 $E$）；（ii）方程的弱形式；（iii）由正则权 $K(\Phi)$ 控制的“能量缺陷”项 $E(U) - E$。当 $E(t) = E(U(t))$ 且等号成立时，即退化为经典能量平衡律。

研究区域与函数空间设定具有一般性：未限定有界域或周期域，仅要求嵌入 $Y \hookrightarrow\!\!\!\!\! \rightarrow V$ 紧致；空间 $V^*$ 不必可分，故采用弱可测性与弱连续性（$C_{w^*}([0,T];V^*)$）而非 Bochner 连续性；解属于有界变差空间 $\mathrm{BV}([0,T];Y^*)$，以容纳可能的激波或集中现象。初始条件以弱*意义给出：$U(0) = U_0 \in V^*$，而 $E(0+)$ 可自由选取（见 Remark 2.5），体现框架的灵活性。

综上，本文的研究对象并非单一 PDE，而是一类具有物理能量结构的演化系统的统一求解范式，其数学本质是将“能量守恒/耗散”与“方程弱形式”耦合在一个带缺陷控制的变分不等式中，从而兼顾存在性鲁棒性与物理可解释性。

2. 主要定理或主要结果

本文的核心成果集中于 Theorem 2.13（存在性定理） 与 Theorem 2.17（选择性定理），二者均建立在假设 (A1)–(A5) 之上。

Theorem 2.13（存在性）
设 (A1)–(A5) 成立，且 $E(U_0) < \infty$。则对任意 $T > 0$，存在一对 $(U,E)$，使得：

  • $U \in L^\infty_w(0,T;V^*) \cap \mathrm{BV}([0,T];Y^*)$，
  • $E \in \mathrm{BV}([0,T])$，
  • $E(U(t)) \le E(t)$ 对几乎处处 $t \in (0,T)$ 成立，
  • $(U,E)$ 满足定义 2.1 中的能量变分不等式 (2.4)，且可取 $E(0+) = E(U_0)$（即初始能量缺陷为零）。

该定理的关键在于放松了对能量 $E$ 与正则权 $K$ 的经典限制：以往工作（如 [ALR24]）要求 $E$ 超线性增长（即满足 (2.5)），而本文仅需线性增长（即 (2.1) 中 $\alpha > 0$）；以往要求 $K$ 为凸函数以保证下半连续性，而本文仅需 $K$ 弱*下半连续（assumption (A4)）。这一放松使得 Euler–Korteweg 系统与二项曲率流均可纳入框架。

Theorem 2.17（选择性）
设 (A1)–(A5) 成立。则以下选择准则均可实现：
(i) 逐点零缺陷选择：对任意可数有序时间集 $\{t_k\}_{k=1}^\infty \subset [0,T]$，存在能量变分解 $(U,E)$ 满足 $E(U(t_k)) = E(t_k)$ 对所有 $k$；
(ii) 任意小缺陷选择：对任意 $\varepsilon > 0$，存在 $(U,E)$ 使得

$$ 0 \le E(t) - E(U(t)) \le \varepsilon \quad \text{对所有 } t \in [0,T]; $$


(iii) 泛函极小化选择：若 $J : \mathrm{BV}([0,T]) \to \mathbb{R}$ 是严格凸且弱*下半连续的，则存在唯一 $(U,E)$ 在所有能量变分解中最小化 $J(E)$。典型例子为 $J(E) = \|E\|_{L^1(0,T)}$，其极小化解最大化能量耗散。

这些结果共同表明：尽管能量变分框架天然导致解的多重性（因 $E$ 为辅助变量），但可通过物理或数学准则唯一地筛选出具有特定性质的解，从而弥合“存在性”与“适定性”之间的鸿沟。

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

a) 核心分析学工具

本文的证明骨架沿袭了极小化运动方案（minimizing movements scheme），即经典的 Jordan–Kinderlehrer–Otto (JKO) 格式在非梯度流场景下的推广。对时间步长 $\tau > 0$，迭代构造近似解 $\{U^n\}_{n=0}^N$，其中 $U^0 = U_0$，而 $U^n$ 由下述带约束的极小化问题确定：

$$ U^n \in \operatorname{argmin}_{U \in V^*} \left\{ E(U) + \tau \Psi_n(U) - \langle U, \Phi \rangle - \tau \langle A_n(U), \Phi \rangle \right\}, $$

该式需对所有 $\Phi \in Y$ 取上确界（supremum over test functions），并引入辅助正则权 $\widetilde{K}$ 以确保被极小化泛函的凸性（见 (A5)）。此步骤依赖于三个关键工具：

  • Banach–Alaoglu 定理的序列版本：由 (A1)(A2) 的可分性与强制性，$E$ 的水平集在 $V^*$ 中弱*列紧，为极限过程提供紧性基础；
  • Schauder 型紧嵌入定理：$Y \hookrightarrow\!\!\!\!\! \rightarrow V$ 的紧性推出 $V^* \hookrightarrow\!\!\!\!\! \rightarrow Y^*$ 紧性，结合 $\mathrm{BV}$ 嵌入 $\mathrm{BV}([0,T];Y^*) \hookrightarrow L^\infty_w(0,T;Y^*)$，保障 $U^n$ 的弱*收敛子列存在；
  • Gronwall 不等式与 $\mathrm{BV}$ 函数的跳跃结构分析：用于控制 $E$ 的总变差（Proposition 2.7），其关键在于将 (2.4) 中 $\Phi = 0$ 代入，导出 $E$ 的微分不等式，并利用 (A5) 的下界 (2.3) 封闭估计。

此外，相对能量方法（relative energy method） 贯穿全文：通过构造参考解 $\tilde{U}$ 并分析 $E(U|\tilde{U}) = E(U) - E(\tilde{U}) - \langle \partial E(\tilde{U}), U - \tilde{U}\rangle$，导出弱强唯一性（见 Section 4.3）及长时间行为（[ES25]）。

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

首要难题是非线性算子 $A$ 与非光滑能量 $E$ 的耦合。本文采用双权重策略（two-weight strategy） 破局：

  • 主正则权 $K$ 仅需弱*下半连续，用于定义解（出现在 (2.4) 中），其“小”程度反映解逼近弱解的程度；
  • 辅助正则权 $\widetilde{K}$ 要求凸性，仅用于离散构造（见 (1.4)），其“大”程度确保极小化问题的良定性。二者分离使框架兼具理论优雅性（$K$ 最小化）与构造可行性（$\widetilde{K}$ 保障凸性）。

其次，针对线性增长能量（如二项曲率流的弧长泛函），传统 Fenchel 对偶失效。作者转而利用 (A3) 的广义一致性条件：$\exists \zeta \in \partial E^*(\Phi) \cap \operatorname{dom}\Psi$ 使得 $\langle A(t,\zeta),\Phi\rangle = \Psi(t,\zeta)$，该条件在 $E$ 非光滑时仍可验证（例如对 $E(U) = \|U\|_{L^1}$，$\partial E^*$ 包含 $L^\infty$ 中的有界函数）。

最后，为处理弱*不连续性（$\mathrm{BV}$ 解在跳跃点不连续），作者引入单侧极限技术（Propositions 2.8–2.9）：利用 $\mathrm{BV}$ 函数的左右极限存在性，将积分不等式 (2.4) 提升为逐点不等式 (2.9)，并证明若能量缺陷在某点为零，则 $E$ 在该点右连续——这为选择性定理 (i) 提供了立足点。

4. 与之前工作的比较

a) 突破与改进

本文相较 [ALR24, EL24, Eit25] 的根本性突破在于双重假设松弛：

  • 能量增长条件的降维：以往工作强制要求 $E$ 超线性增长（即 (2.5)），以确保 $\operatorname{dom}\partial E^* = V^{**}$（Proposition 2.6），从而允许任意 $\Phi \in C^1([0,T];Y)$ 测试。本文仅需线性增长（(2.1)），使 $E$ 可为 $L^1$-型泛函（如二项曲率流），并证明 $\operatorname{dom}\partial E^*$ 至少含一邻域（Proposition 2.6），已足够支撑变分框架。这是首次将能量变分法拓展至几何 PDE 的齐次能量场景。

  • 正则权凸性的解除：[ALR24] 要求 $K$ 凸以保留下半连续性；本文仅需 $K$ 弱*下半连续（(A4)），从而容许 $K(\Phi) = \|\Phi\|_{L^p}$（$p < \infty$）等非凸权，这对处理 Euler–Korteweg 中的低阶项（如压力梯度）至关重要——此类项可通过紧性收敛，无需凸性补偿。

结果强度上，本文获得首个全局存在性框架：对 Euler–Korteweg 系统，此前仅知局部强解（[BDD07]）或小初值全局解（[AH17]）；本文给出任意初值的全局能量变分解。对二项曲率流，以往广义解（如 [JS15] 的 $L^2$-解）与变分解（如 [HL25] 的 mean-curvature flow）分属不同范式；本文首次以统一能量变分语言涵盖两者，为流体与几何 PDE 的交叉研究奠定基础。

更深远的是，选择性理论的系统化：[Las24] 仅处理单点零缺陷，[FJL25] 限于耗散解；本文将选择准则提升至可数点集、任意精度、泛函极小化三层，且证明其在一般框架下普适成立，为“从多重解中挑选物理相关解”提供了严格数学路径。

4. 具有径向对称性的阻尼欧拉–蒙日–安培方程：临界阈值与大时间行为

On the Damped Euler–Monge–Ampère equations with Radial Symmetry: Critical Thresholds and Large-Time Behavior

作者: Kunhui Luan

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20266v1

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

详细分析

中文标题: 具有径向对称性的阻尼欧拉–蒙日–安培方程：临界阈值与大时间行为

研究对象和背景

本文研究的是压力为零的阻尼欧拉–蒙日–安培（Euler–Monge–Ampère, EMA）系统，该系统在多维空间中具有径向对称性，并包含线性速度阻尼项。其物理动机源于流体力学的几何变分结构——V. Arnold 将不可压欧拉方程解释为体积保持微分同胚群 $\mathcal{D}_\mu(\Omega)$ 上右不变度量的测地线；G. Loeper 在此框架下形式化引入了 EMA 系统，作为对不可压欧拉方程的一种非线性几何近似。

系统由如下三组耦合偏微分方程构成：

$$ \begin{aligned} &\partial_t \rho + \nabla \cdot (\rho u) = 0, \tag{1.1a} \\ &\partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) = -\kappa \rho \nabla \phi - \beta \rho u, \tag{1.1b} \\ &\det(I - D^2 \phi) = \rho. \tag{1.1c} \end{aligned} $$

其中 $\rho(x,t): \mathbb{R}^n \to \mathbb{R}_+$ 为密度函数，$u(x,t): \mathbb{R}^n \to \mathbb{R}^n$ 为速度场，$\phi(x,t): \mathbb{R}^n \to \mathbb{R}$ 为势函数；常数 $\kappa > 0$ 表征排斥力强度（因 $\det(I - D^2\phi) = \rho > 0$ 要求 $D^2\phi$ 正定较弱，对应“反向”引力），$\beta > 0$ 为线性阻尼系数。初始数据满足：

$$ \rho(x,0) = \rho_0(x), \quad u(x,0) = u_0(x), \quad \phi(x,0) = \phi_0(x). $$

论文聚焦于无旋、无涡（no-swirl）、径向对称解，即设：

$$ \rho(x,t) = \rho(r,t), \quad u(x,t) = u(r,t)\frac{x}{r}, \quad \phi(x,t) = \phi(r,t), \quad r = |x|. $$

为保证解在原点 $r=0$ 处光滑，施加自然边界条件：

$$ \partial_r \rho(0,t) = 0, \quad u(0,t) = 0, \quad \partial_r \phi(0,t) = 0. $$

此外，为避免 Monge–Ampère 方程退化，假设初始势满足 $\phi_0''(r) \leq 1$，从而保证 $\rho_0 = \det(I - D^2 \phi_0) \geq 0$，允许真空（vacuum）情形，即 $\rho_0$ 可在某些区域恒为零。

该系统是经典 Euler–Poisson（EP）系统 的非线性推广。当 $\rho \approx 1$ 且扰动小，Monge–Ampère 方程线性化为 Poisson 方程：

$$ \rho = \det(I - \varepsilon D^2 \phi) = 1 - \varepsilon \Delta \phi + \mathcal{O}(\varepsilon^2), $$

故 (1.1c) 近似给出 $\Delta \phi \approx 1 - \rho$，与 EP 系统中 $\Delta \phi = \rho - 1$ 形式一致（仅符号差）。事实上，在一维情形下，$\det(I - \partial_{xx}\phi) = 1 - \partial_{xx}\phi$，故 EMA 与 EP 完全等价。

研究的核心现象是临界阈值（critical threshold）现象：存在一个明确可刻画的初值判据，将初始数据严格划分为两类——次临界（subcritical）数据导致全局光滑解；超临界（supercritical）数据则必然在有限时间内发生奇异性（如 $\partial_r u \to -\infty$, $\rho \to \infty$ 或 $0$）。这一现象最早在一维 Euler–Poisson 系统中被精确刻画（见 [14]），后由 Tadmor & Tan 在无阻尼径向 EMA 系统中推广（[31]），但其结果要求初始密度有正下界：$\rho_0(r) > 2 - n$，这排除了真空情形。本文关键突破在于：引入线性阻尼 $\beta > 0$ 后，该下界被彻底移除，使得即使 $\rho_0 \equiv 0$（纯真空），只要初速度与势梯度满足特定相容性，仍可获得全局正则解。

函数空间设定为 Sobolev 类 $H^s(\mathbb{R}^n)$，其中 $s > n/2$，以保证解的连续可微性；同时，所有分析均建立在径向对称子空间上，将高维 PDE 约化为含奇异系数的拟一维系统，例如连续性方程化为：

$$ \partial_t \rho + \partial_r (\rho u) + (n-1)\frac{\rho u}{r} = 0. $$

这种约化虽简化维度，却引入了 $1/r$ 奇异性，需借助加权估计与边界正则性（如 $u(0,t)=0$）精细处理。

主要定理或主要结果

本文核心成果集中于三大定理，分别刻画局部适定性、临界阈值结构、大时间渐近行为：

定理 2.1（局部适定性）：设 $s > n/2$，初始数据 $(\rho_0,u_0,\phi_0)$ 为径向对称光滑函数，定义向量

$$ \Omega_0(r) := \Big(u_0'(r),\, \frac{u_0(r)}{r},\, \phi_0''(r),\, \frac{\phi_0'(r)}{r}\Big)^\top \in H^s(\mathbb{R}^n)^4. $$

则存在 $T > 0$，使得系统 (1.1) 存在唯一解 $(\rho,u,\phi)$ 满足 $\Omega(\cdot,t) \in C([0,T]; H^s(\mathbb{R}^n)^4)$；且生命跨度 $T$ 可延拓至无穷当且仅当

$$ \int_0^T \|\Omega(\cdot,t)\|_{L^\infty} \, dt < \infty. $$

定理 2.2（临界阈值）：存在子集 $\Sigma_\flat \subset \mathbb{R}^2$（次临界区）与 $\Sigma_\sharp = \mathbb{R}^2 \setminus \Sigma_\flat$（超临界区），使得：

  • 若对所有 $r > 0$，有 $\big(u_0'(r),\, \phi_0''(r)\big) \in \Sigma_\flat$，则系统存在全局经典解；
  • 若存在 $r_* > 0$ 使得 $\big(u_0'(r_*),\, \phi_0''(r_*)\big) \in \Sigma_\sharp$，则解在有限时间 $T_* < \infty$ 内爆破，且
$$ \lim_{t \to T_*^-} \partial_r u(r_*,t) = -\infty, \quad \lim_{t \to T_*^-} \rho(r_*,t) = \infty \text{ 或 } 0. $$

具体阈值由两个等价构造给出：
（i）相平面分析法（Theorem 4.1–4.2）：将谱变量 $(p,q) = (\partial_r u, u/r)$ 和 $(\mu,\nu) = (\partial_r^2 \phi, \partial_r \phi / r)$ 代入 Riccati 型动力学

$$ \begin{cases} p' = p^2 - \kappa \mu - \beta p, \\ q' = q^2 - \kappa \nu - \beta q, \end{cases} $$

其中 $' = \partial_t + u \partial_r$ 为特征导数；通过显式求解该二维系统，得到 $\Sigma_\flat$ 为某条代数曲线围成的有界区域。
（ii）Lyapunov 函数法（Theorem 5.4）：构造正定泛函 $L(p,q,\mu,\nu)$，证明其沿解单调递减，从而导出不变区域。

定理 2.3（大时间行为）：若初值次临界，则全局解以最优指数速率收敛至平衡态 $(\rho,u,\phi) = (1,0,0)$：

$$ \|\nabla u(\cdot,t),\, u(\cdot,t),\, \rho(\cdot,t)-1,\, \partial_r^2 \phi(\cdot,t),\, \partial_r \phi(\cdot,t)\|_{L^\infty} \lesssim e^{-\gamma t}, $$

其中衰减率 $\gamma = \gamma(\beta,\kappa,n) > 0$ 显式依赖于阻尼强度 $\beta$，且在临界阻尼（$\beta = 2\sqrt{\kappa}$）附近达到最优。

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

a) 核心分析工具

本文融合了谱动力学（spectral dynamics）、相平面分析（phase plane analysis） 与Lyapunov 函数方法三大支柱工具。

  • 谱动力学框架：受 Liu & Tadmor [24] 启发，将速度梯度 $\nabla u$ 的特征值 $\{\lambda_i\}$ 视为高维 $\partial_x u$ 的自然推广。在径向对称下，$\nabla u$ 与 $D^2 \phi$ 共享特征向量（Lemma 3.1），其特征值简化为仅两个标量：径向拉伸率 $p = \partial_r u$ 与横向剪切率 $q = u/r$；类似地，$D^2 \phi$ 的特征值为 $\mu = \phi''$ 与 $\nu = \phi'/r$。由此，高维矩阵 Riccati 方程 (2.6) 约化为两个标量 ODE：
$$ p' = p^2 - \kappa \mu - \beta p, \quad q' = q^2 - \kappa \nu - \beta q. $$

该约化是全文技术基石，使高维奇点分析转化为二维 ODE 系统的稳定性问题。

  • 相平面分析：将 $(p,\mu)$ 视为平面上的轨迹，其相图由向量场 $(p',\mu')$ 决定。注意到 Monge–Ampère 方程提供代数约束 $\rho = (1-\mu)(1-\nu)^{n-1}$（Lemma 3.4），结合连续性方程可导出 $\mu$ 的演化律。最终，$(p,\mu)$ 平面被一条分界曲线（separatrix）划分为有界轨道区（对应全局正则）与逃逸轨道区（对应有限时间爆破）。该曲线由 Riccati 方程首次积分显式给出：
$$ \frac{p + \frac{\beta}{2}}{\sqrt{\kappa}} = \tanh\left( \sqrt{\kappa}\, t + C \right) \quad \text{（阻尼主导时）}. $$
  • Lyapunov 函数构造：借鉴 Bhatnagar & Engel [3] 思想，定义
$$ \mathcal{L}(p,q,\mu,\nu) = \frac{1}{2}(p^2 + q^2) + \frac{\kappa}{2}(\mu^2 + \nu^2) + \beta(pq + \mu\nu). $$

计算其沿解的导数，利用 Young 不等式与 $\beta > 0$，可证 $\mathcal{L}' \leq -\alpha \mathcal{L}$，从而 $\mathcal{L}$ 指数衰减，其水平集即为不变的次临界区域 $\Sigma_\flat$。

b) 技术性难题处理技巧

  • 真空与奇点耦合：传统方法要求 $\rho_0 \geq \rho_{\min} > 0$ 以控制 $\nabla \phi$，但本文通过阻尼主导机制克服：当 $\beta$ 足够大时，Riccati 项 $p^2$ 被 $-\beta p$ 抑制，使 $p$ 无法快速负向发散，从而避免 $\rho \to 0$ 引发的 $D^2 \phi$ 奇异性。关键技术是证明：即使 $\rho_0(r_0) = 0$，只要 $p_0(r_0), \mu_0(r_0)$ 位于 $\Sigma_\flat$ 内，则 $\rho(r_0,t)$ 将在短时内被“泵入”正数区间。

  • $1/r$ 奇异性处理：在径向坐标下，Laplacian 与散度含 $1/r$ 项。作者采用加权 Sobolev 空间 $H^s_{\text{rad}}$，并利用边界条件 $u(0,t)=0$ 得到关键不等式（Lemma 3.2）：

$$ \|\nabla u\|_{L^\infty} \leq \|\partial_r u\|_{L^\infty}, $$

将高维范数完全控制于一维径向导数，规避了 $1/r$ 的直接估计。

  • Monge–Ampère 非线性耦合：方程 (1.1c) 是完全非线性二阶椭圆型。作者不直接求解，而是利用其谱分解（Lemma 3.4）将其转化为关于 $\mu,\nu$ 的代数关系，并结合连续性方程导出闭合 ODE 系统，实现“去非线性化”。

与之前工作的比较

a) 突破与改进

本文最根本的突破在于消除了初始密度正下界假设，这是对 Tadmor–Tan [31] 工作的决定性改进。后者在 $n$ 维径向 EMA 中要求 $\rho_0(r) > 2-n$，当 $n \geq 3$ 时该下界为负，看似宽松，但实际隐含 $\rho_0$ 不能过快衰减；更严重的是，当 $n=2$，要求 $\rho_0 > 0$，彻底排除真空。而本文证明：只要阻尼 $\beta$ 满足 $\beta > \beta_c(n,\kappa)$（临界值），则对任意 $\rho_0 \in L^1_{\text{loc}}$（含 $\rho_0 \equiv 0$），只要 $(u_0',\phi_0'')$ 次临界，解即全局存在（Remark 4.2）。这一改进源于阻尼项 $-\beta \rho u$ 对动量方程的耗散主导效应，它压制了无阻尼情形下由 $\rho$ 衰减引发的“加速塌缩”机制。

其次，本文统一并推广了多类模型：

  • 当 $n=1$，EMA ≡ EP，本文阈值退化为 [3] 中的阻尼 Euler–Poisson 结果；
  • 当 $\beta = 0$，恢复 [31] 的无阻尼阈值（但需补回密度下界）；
  • 当 $\kappa = 0$，系统退化为阻尼 Burgers 方程，其经典 Riccati 解 $p(t) = \frac{p_0 e^{-\beta t}}{1 + \frac{p_0}{\beta}(1-e^{-\beta t})}$ 显示阻尼如何延缓爆破。

最后，大时间衰减速率的最优性亦属新贡献：此前工作（如 [8]）仅给出代数衰减或非显式指数率，而本文通过精确相平面分析，确定 $\gamma = \frac{\beta}{2} - \sqrt{\frac{\beta^2}{4} - \kappa}$，并在 $\beta = 2\sqrt{\kappa}$ 时达最大值 $\gamma_{\max} = \sqrt{\kappa}$，这与线性化系统的谱半径完全吻合，证实了非线性稳定性分析的尖锐性。

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

1. 环面上薛定谔方程的精细化Strichartz估计及其正交归一化版本

Refined Strichartz estimates and their orthornomal counterparts for Schrödinger equations on torus

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

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20515v1

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

摘要翻译

中文标题: 环面上薛定谔方程的精细化Strichartz估计及其正交归一化版本

摘要翻译: 本文的研究目标具有双重性。首先，我们在偏正则性（partial regularity）框架下，建立了环面上薛定谔方程的精细化Strichartz估计。由此揭示：自由薛定谔方程的解在混合Lebesgue空间中具有优于经典理论所预言的正则性；这一结果补充并拓展了过去数十年来已广为确立的经典理论——后者要求初始数据属于关于所有空间变量的Sobolev空间。作为应用，我们证明了具非规范不变非线性项的薛定谔方程在偏正则初始数据下的局部适定性。另一方面，我们将精细化Strichartz估计推广至无穷多个正交归一函数构成的系统，从而将Nakamura [41] 所建立的经典环面正交归一化Strichartz估计予以实质性推广。作为该推广的应用，我们在若干Schatten类空间中确立了描述无穷多费米子体系的Hartree方程的适定性。在上述过程中，我们发展了一系列适用于混合Lebesgue空间的调和分析工具，包括：傅里叶乘子转移原理（Fourier multiplier transference principle）、向量值Bernstein不等式（vector-valued Bernstein inequality），以及面向算子密度的向量值Littlewood–Paley理论（vector-valued Littlewood–Paley theory for densities of operators）。这些工具本身具有独立的研究价值，并可与文献[45, 55]中的相关结果相互补充与印证。

2. 三维波导流形上的长时间Strichartz估计及其应用

Long-time Strichartz estimates on 3D waveguide with applications

作者: Yangkendi Deng, Boning Di, Jiao Ma, Dunyan Yan, Kailong Yang

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20392v1

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

摘要翻译

中文标题: 三维波导流形上的长时间Strichartz估计及其应用

摘要翻译: 我们研究波导流形上薛定谔方程的长时间Strichartz估计，并利用这些估计建立三维波导上非线性薛定谔方程解的Sobolev范数增长的上界。

3. 二次导数型分数阶非线性薛定谔方程的范数激增现象

Norm inflation for quadratic derivative fractional nonlinear Schrödinger equations

作者: Toshiki Kondo, Mamoru Okamoto

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20294v1

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

摘要翻译

中文标题: 二次导数型分数阶非线性薛定谔方程的范数激增现象

摘要翻译:
我们研究定义在 $\mathbb{R}$ 或 $\mathbb{T}$ 上的二次导数型分数阶非线性薛定谔方程的柯西问题。我们确定了使该柯西问题在索博列夫空间中适定（well-posed）的分数阶导数的临界指数，并证明该指数是sharp的。得益于Nakanishi与Wang（2025）所建立的整体适定性结果，解可被展开为一系列迭代项之和。通过对每一阶迭代项建立精细的估计，我们证明了具有无限正则性损失的范数激增（norm inflation）现象；该现象尤其蕴含了问题的不适定性（ill-posedness）。

4. 具有相变的Verigin问题作为Wasserstein流

The Verigin problem with phase transition as a Wasserstein flow

作者: Anna Kubin, Tim Laux, Alice Marveggio

类别: math.AP

发布日期: 2026-01-27

arXiv ID: 2601.20001v1

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

摘要翻译

中文标题: 具有相变的Verigin问题作为Wasserstein流

摘要翻译: 本文研究多孔介质中可压缩两相流的建模问题。其控制方程构成一个自由边界问题，即具有相变的Verigin问题。我们引入一种新颖的变分框架以构造弱解。该方法通过采用基于Wasserstein距离的极小化运动格式（minimizing movement scheme），揭示了系统所具有的梯度流结构。我们证明了该格式的收敛性，从而在极限下获得一类“松弛型”分布意义下的解；此类解满足最优的能量耗散率。进一步，在附加条件——空间维数 $d \geq 3$，且离散质量密度一致为Muckenhoupt权（uniformly Muckenhoupt weights）——下，我们证明：在无真空区域中，极限解恰为某个有限周长集（set of finite perimeter）的特征函数。

不相关论文（基本信息）

1. 临界广义Korteweg–de Vries方程有限点爆破速率的连续谱

Continuum of finite point blowup rates for the critical generalized Korteweg-de Vries equation

作者: Yvan Martel, Didier Pilod

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20801v1

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

摘要: For any $ν\in(\frac 37,\frac12)$, we prove the existence of an $H^1$ solution $u$ of the mass critical generalized Korteweg-de Vries equation on the time interval $(0,T_0]$, for some $T_0>0$, which blows up at the time $t=0$ and at the point $x=0$ with the rate $\|\partial_x u (t,x)\|_{L^2} \approx t^{-ν}$. Such a blowup rate is associated to a blowup residue of the form $r_α(x)= x^{α-\frac 12}$ for $x>0$ close to the blowup point, where $α=\frac{3ν-1}{2-4ν}$. The condition $ν\in(\frac37,\frac12)$ is equivalent to $α>1$, which corresponds to the full range for which the residue $r_α$ belongs to $H^1$. Such blowup at a finite point is in contrast with all the blowup solutions constructed for this equation, except the one constructed previously by the authors corresponding to the special value $ν=\frac 25$. Finally, we present some open problems regarding the blowup phenomenon for the mass critical gKdV equation.

2. 双相型算子与穆肯豪普特权函数

Double phase meets Muckenhoupt

作者: Daviti Adamadze, Lars Diening, Tengiz Kopaliani, Jihoon Ok

类别: math.AP, math.FA

发布日期: 2026-01-28

arXiv ID: 2601.20736v1

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

摘要: In this paper we generalize the famous result of [FKS] to the double phase model. In particular, we work with minimal assumptions on the modulating coefficient by introducing a Muckenhoupt-type condition on generalized Orlicz spaces. We develop a complete theory equivalent to that of classical Muckenhoupt weights, including the boundedness of the maximal operator and Sobolev-Poincare estimates. We combine this with the De~Giorgi technique to show Hölder continuity of the solutions.

3. 具五次非线性的薛定谔系统：多号变周期波的谱稳定性

Schrödinger system with quintic nonlinearity: spectral stability of multiple sign-changing periodic waves

作者: Guilherme de Loreno, Gabriel E. Bittencourt Moraes

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20733v1

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

摘要: This manuscript investigates the existence and spectral stability of multiple periodic standing wave solutions for a nonlinear Schrödinger system. By considering both cnoidal and snoidal profiles, we provide a comprehensive spectral analysis of the associated linearized operators, employing the Floquet theory and comparison theorems. Stability results are derived under periodic perturbations with the same period as the underlying standing waves. Furthermore, we apply the spectral stability theory via Krein signature to determine the spectral stability and instability results.

4. 一类具有一般边界条件的一维扩散Logistic问题的大正解

Large positive solutions for a class of 1-D diffusive logistic problems with general boundary conditions

作者: Julián López-Gómez, Alejandro Sahuquillo, Andrea Tellini

类别: math.AP, math.CA

发布日期: 2026-01-28

arXiv ID: 2601.20651v1

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

摘要: The first goal of this paper is to establish the existence of a positive solution for the singular boundary value problem (1.1), where $\mathcal{B}$ is a general boundary operator of Dirichlet, Neumann or Robin type, either classical or non-classical; in the sense that, as soon as $\mathcal{B}u(0)=-u'(0)+βu(0)$, the coefficient $β$ can take any real value, not necessarily $β\geq 0$ as in the classical Sturm–Liouville theory. Since the function $f(u):=au^p -λu$, $u\geq 0$, is not increasing if $λ>0$, the uniqueness of the positive solution of (1.1) is far from obvious, in general, even for the simplest case when $a(x)$ is a positive constant. The second goal of this paper is to establish the uniqueness of the positive solution of (1.1) in that case. At a later stage, denoting by $L_λ$ the unique positive solution of (1.1) when $a(x)$ is a positive constant, we will characterize the point-wise behavior of $L_λ$ as $λ\to \pm \infty$. It turns out that any positive solution of (1.1) mimics the behavior of $L_λ$ as $λ\to \pm\infty$. Finally, we will establish the uniqueness of the positive solution of (1.1) when $a(x)$ is non-increasing in $[0,R]$, $λ\geq 0$, and $β<0$ if $-u'(0)+βu(0)=0$.

5. 黎曼流形上莱本森方程解的存在性结果

Existence results for Leibenson’s equation on Riemannian manifolds

作者: Philipp Sürig

类别: math.AP, math.DG

发布日期: 2026-01-28

arXiv ID: 2601.20640v1

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

摘要: We consider on an arbitrary Riemannian manifold $M$ the \textit{Leibenson equation} $\partial _{t}u=Δ_{p}u^{q}$, that is also known as a \textit{doubly nonlinear evolution equation}. We prove that if $p>1, q>0$ and $pq\geq 1$ then the Cauchy-problem \begin{equation*} \left{\begin{array}{ll}\partial {t}u=Δ{p}u^{q} &\text{in}~M\times (0, \infty), \u(x, 0)=u_{0}(x)& \text{in}~M, \end{array}% \right. \end{equation*} has a weak solution for any $u_{0}\in L^{1}(M)\cap L^{\infty}(M)$.

6. 圆值映射自由间断问题在线性区间的Γ-收敛

$Γ$-convergence of free discontinuity problems for circle-valued maps in the linear regime

作者: Giovanni Bellettini, Roberta Marziani, Riccardo Scala

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20612v1

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

摘要: We investigate the $Γ$-convergence of Ambrosio-Tortorelli type-functionals for circle valued functions, in the case of volume terms with linear growth. We show the emergence of a non-local $Γ$-limit, which is due to the topological structure of the target space, and discuss compactness of minimal liftings. Our results extend the analysis of a previous work on the quadratic case.

7. 调和映射热流进入 $CAT(0)$ 空间的 Lipschitz 正则性

Lipschitz regularity of harmonic map heat flows into $CAT(0)$ spaces

作者: Hui-Chun Zhang, Xi-Ping Zhu

类别: math.DG, math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20579v1

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

摘要: In 1964, Eells and Sampson proved the famous long-time existence and convergence for the harmonic map heat flow into non-positively curved Riemannian manifolds. Subsequently, Hamilton investigated the corresponding initial-boundary problem. In 1992, Gromov and Schoen developed a variational theory of harmonic maps into $CAT(0)$ metric spaces. This progress naturally motivated the study of the harmonic map heat flow into singular metric spaces. In the 1990s, Mayer and Jost independently studied convex functionals on $CAT(0)$ spaces and extended Crandall-Liggett’s theory of gradient flows from Banach spaces to $CAT(0)$ spaces to obtain the weak solutions, called semi-group weak solutions, for the harmonic map heat flow into $CAT(0)$ spaces. Very recently, Lin, Segatti, Sire, and Wang used an elliptic approximation method to obtain another class of weak solutions, called suitable weak solutions in the sense of the Evolution Variational Inequality (EVI), to the harmonic map heat flow into $CAT(0)$ spaces. They proved that these solutions are Lipschitz in space and $\frac{1}{2}$-Hölder continuous in time. Since the semi-group weak solutions of the harmonic map heat flow enjoy the favorable long-time existence, uniqueness and well established long-time behaviors, it is natural to ask if the semi-group solutions possess the Lipschitz regularity. In the present paper, we answer this question. We show that the semi-group weak solutions of the harmonic map heat flow into CAT(0) spaces are Lipschitz continuous in both space and time. We also establish an Eells-Sampson-type Bochner inequality.

8. 具有Caffarelli–Kohn–Nirenberg临界指数的加权拉普拉斯问题的归一化解

Normalized Solutions for a Weighted Laplacian Problem with the Caffarelli-Kohn-Nirenberg Critical Exponent

作者: Divya Goel, Asmita Rai

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20513v1

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

摘要: This article establishes the existence and multiplicity of normalized solutions to the weighted nonlinear Schrödinger-type equation governed by the Caffarelli-Kohn-Nirenberg operator,

$$ -\text{div}(|x|^{-2a}\nabla u)=λ\frac{u}{|x|^{2a}}+β\frac{|u|^{q-2}u}{|x|^{bq}} +\frac{|u|^{2^{\sharp}-2}u}{|x|^{b{2^{\sharp}}}}\quad \text{in}~\mathbb{R}^N, $$

$$ \int_{\mathbb{R}^N}\frac{|u|^2}{|x|^{2a}}dx=ρ^2, $$

where $λ\in \mathbb{R}$, $β,~ρ>0$, $0< a<\frac{N-2}{2}$, $a<b<a+1$, $2^{\sharp}:=\frac{2N}{N-2(1+a-b)}$ and $2<q<{2^{\sharp}}$. Through constrained variational techniques, refined estimates on the best constants in the Caffarelli-Kohn-Nirenberg inequalities, and a bespoke concentration-compactness lemma, the study secures mass-subcritical ground states alongside multiple constrained critical points, together with high-energy ground state solutions in the mass-critical and supercritical regimes – notwithstanding the noncompactness arising from the critical Caffarelli-Kohn-Nirenberg nonlinearity over the unbounded domain.

9. Alt-Caffarelli型问题弱解的Lipschitz自由边界之正则性

Regularity of Lipschitz free boundaries for weak solutions of Alt-Caffarelli type problems

作者: Joan Domingo-Pasarin, Xavier Ros-Oton

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20493v1

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

摘要: Motivated by the Serrin problem, we study weak solutions of the generalised Alt-Caffarelli problem $-Δu = f$ in $Ω$, $u = 0$ on $\partialΩ$, $\partial_νu = Q$ on $\partialΩ$. Our main result establishes that if $Ω$ is Lipschitz, then it is actually $C^{\infty}$ (provided that $f$ and $Q$ are smooth). This was known before only for viscosity solutions. As a corollary, we obtain an alternative solution of Serrin’s problem in the case of Lipschitz domains. We also discuss the characterisation of the regularity of Lipschitz domains in terms of their Poisson kernel.

10. 非局部极小图迹的正则性

Regularity of the trace of nonlocal minimal graphs

作者: Serena Dipierro, Ovidiu Savin, Enrico Valdinoci

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20484v1

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

摘要: We prove that the trace of nonlocal minimal graphs at points of stickiness is of class~$C^{1,γ}$. As a result, we show that boundary continuity implies boundary differentiability for nonlocal minimal graphs.

11. 可逆化学反应建模中非线性体相-表面反应-扩散系统的快速反应极限及其收敛速率

Fast reaction limits and convergence rate for nonlinear bulk-surface reaction-diffusion systems modeling reversible chemical reactions

作者: The Tuan Hoang, Nhu Phong Tham, Bao Quoc Tang

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20453v1

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

摘要: The fast reaction limit for a nonlinear bulk-surface reaction-diffusion system is investigated. The system model describes a reversible reaction with arbitrary stoichiometric coefficients, where one chemical is present in a bounded vessel $Ω$ and the other chemical lies only on the boundary $\partialΩ$ where the reaction takes place. In the limit as the reaction rate constant tends to infinity, we prove that the solution converges strongly to that of a heat equation with nonlinear dynamical boundary condition. This is obtained by showing a-priori estimates of solutions which are uniform in the reaction rate constants. In order to overcome the difficulty caused by the bulk-surface coupling, we consider the limit in suitable product spaces where the Aubin-Lions lemma is applicable. Moreover, in the case of equal stoichiometric coefficients, we obtain the convergence rate of the fast reaction limit by exploiting suitable estimates of the limiting system.

12. 双曲空间中对数势算子的特征值研究

On Eigenvalues of Logarithmic Potential Operator in the Hyperbolic Space

作者: Jiya Rose Johnson, Sheela Verma

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20431v1

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

摘要: Let $Ω$ be a bounded open set in the Poincaré hyperbolic disk, $\mathbb{D}$. In this article, we consider the hyperbolic logarithmic potential operator $\mathcal{L}_h : L^2(Ω) \to L^2(Ω)$, defined by \begin{equation*} \mathcal{L}_h u(z)=\frac{1}{2}\int_Ω\log\frac{1}{[z,w]},u(w), {,\rm d}(w), \end{equation*} and the associated eigenvalue problem on $Ω$ \begin{equation} \mathcal{L}_h u=τu. \end{equation} We first extend the notion of polarization with respect to hyperplanes in the Poincaré disk and prove the associated properties. Then we establish a reverse Faber-Krahn inequality for the largest eigenvalue, $τ_{h}$ of $\mathcal{L}_h$, under polarization. Further, we provide a representation formula for the eigenfunctions of $\mathcal{L}_h$. In addition, we show that the operator $\mathcal{L}_h$ is a positive operator on $L^2(Ω)$.

13. 关于具脉冲干预的两季节粪-口传播模型

On a two-season faecal-oral model with impulsive intervention

作者: Qi Zhou, Zhigui Lin, Carlos Alberto Santos

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20372v1

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

摘要: Rainfall is associated with the outbreak of certain waterborne faecal-oral diseases, driving the implementation of various human interventions for their control and prevention. Taking into account human intervention and temporal variation in rainfall, this paper develops a two-season switching faecal-oral model with impulsive intervention and free boundaries. In this model, the infection fronts are represented by fixed boundaries during the dry season and by moving boundaries during the wet season, with impulsive intervention occurring at the end of each wet season. The simultaneous introduction of impulsive intervention and seasonal switching creates new difficulties for mathematical analysis. We overcome these challenges through novel analytical techniques, resulting in a spreading-vanishing dichotomy and a sharp criteria governing this dichotomy. Finally, numerical simulations are presented to validate the theoretical results and to visually illustrate the influence of seasonal switching and impulsive intervention. Our results mathematically explain that two factors, the duration of the dry season and the intensity of impulsive intervention are both positively correlated with effective disease control.

14. 曲面空间上薛定谔算子的散射映射

The scattering map for the Schrodinger operator on curved spaces

作者: Andrew Hassell, Qiuye Jia

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20225v1

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

摘要: Let $P$ be a Schrödinger operator $D_t+Δ_g$ with metric and potential perturbation that are compactly supported in spacetime $\mathbb{R}^{n+1}$. Here $D_t = -i \partial_t$ and $Δ_g$ is the positive Laplacian. We consider the scattering map $S$ defined previously by the first author with Gell-Redman and Gomes arXiv:2201.03140, which relates the asymptotic data, as $t \to \pm \infty$, of global solutions $u$ to $Pu = 0$. We show that $S$ is a 1-cusp' Fourier integral operator, where 1-cusp’ refers to a pseudodifferential calculus introduced by Vasy and Zachos arXiv:2204.11706 in the completely different setting of inverse problems on asymptotically conic manifolds. Our viewpoint is that 1-cusp geometry is the natural setting for studying the asymptotic data of solutions to Schrödinger’s equation.

15. 基于模态的谱判据：混合偏微分方程–常微分方程肿瘤微环境中耦合质量输运的稳定性分析

Mode-Wise Spectral Criteria for Coupled Mass Transport in Hybrid PDE–ODE Tumor Microenvironments

作者: Jiguang Yu, Louis Shuo Wang, Zonghao Liu, Jingfeng Liu

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20204v1

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

摘要: We study coupled mass transport in a tumor–microenvironment setting with two motile densities $(S,R)$ and non-motile state switching $(P,A)$. The populations diffuse and undergo chemotactic drift; $(P,A)$ follow pointwise ODE switching. A decoupled inhibitory field $D$ satisfies a damped Neumann heat equation, giving maximum-principle bounds and exponential decay. Together with the pointwise invariant $P+A$, these identities yield global existence, positivity, and long-time reduction to limiting $(S,R)$ kinetics with a unique globally attracting coexistence state. Neumann eigenmode reduction gives closed dispersion relations. The base $(S,R)$ reaction–diffusion block remains stable for all nonconstant modes for any $d_S,d_R>0$, excluding classical Turing destabilization. Chemotaxis is posed via a diffusive cue $c$, since $\nabla A$ is undefined for non-diffusive $A$. In one-way damped coupling, the linearized mode matrix is block triangular and leaves the $(S,R)$ spectrum unchanged. Two-way coupling adds a feedback rank-one mobility correction, induces effective cross-diffusion, and admits mode growth. We give explicit trace/determinant criteria for unstable Laplacian modes and the resulting instability thresholds.

16. 具有 $L^2$-超临界非线性的奇异椭圆方程的正归一化解

Positive normalized solutions to a singular elliptic equation with a $L^2$-supercritical nonlinearity

作者: Siyu Chen, Xiaojun Chang, Jiazheng Zhou

类别: math.AP

发布日期: 2026-01-28

arXiv ID: 2601.20200v1

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

摘要: This paper studies the existence of positive normalized solutions to the singular elliptic equation

$$ -Δu + λu = u^{-r} + u^{p-1} \quad \text{in } Ω, $$

with the Dirichlet boundary condition $u=0$ on $\partialΩ$ and the normalization constraint $\int_Ωu^2\,dx = ρ$. Here $Ω\subset\mathbb{R}^N$ ($N\ge3$) is a smooth bounded domain, $0<r<1$, $2+\frac{4}{N}<p<2^*$, where $2^*$ is the critical Sobolev exponent, and $λ\in\mathbb{R}$ is a Lagrange multiplier. We obtain that for sufficiently small $ρ>0$, the problem admits a positive solution $(λ,u)\in\mathbb{R}\times H_0^1(Ω)$. The proof is based on a variational approach using a regularized functional and a careful analysis of the limiting process.

17. 具有奇异非线性的Lane–Emden系统与完全非线性椭圆型算子

Lane–Emden Systems with Singular Nonlinearities for the Fully Nonlinear Elliptic Operator

作者: Karan Rathore, Mohan Mallick, Ram Baran Verma

类别: math.AP

发布日期: 2026-01-27

arXiv ID: 2601.19874v1

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

摘要: Consider

$$ \begin{cases} F(D^2 u,Du,u,x) = u^{-p}v^{-q},~\text{in}~Ω\\ F(D^2 v,Dv,v,x)=u^{-r}v^{-s},~~\text{in}~~Ω\\ u,v>0~~\text{in}~~Ω\\ u=v=0~\quad~\text{on}~~\partialΩ, \end{cases} $$

where $Ω$ is an open connected subset of $\mathbb{R}^{N}$ and $p,s$ are two non-negative and $q,r$ are positive real numbers. This article discuses the conditions in terms of the relations among $p,q,r$ and $s$ which lead to existence, uniqueness and non-existence of positive solutions to the system. Furthermore, we also have studied some regularity properties of solution of the system. These results are inspired by the study of Lane-Emden system of equations as in \cite{busca2002liouville,ghergu2010lane}.

18. 由对称非局部算子支配的非局部边值问题

Nonlocal Boundary Value Problems Governed by Symmetric Nonlocal Operators

作者: Leonhard Frerick, Julia Huschens, Michael Vu

类别: math.AP

发布日期: 2026-01-27

arXiv ID: 2601.19872v1

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

摘要: Nonlocal boundary value problems with Dirichlet or Neumann boundary are well-studied for nonlocal operators of the type $\mathcal{L}_γu = \operatorname{PV} \int_{\mathbb{R}^d} \big(u(\cdot)-u(y)\big) γ(\cdot,y) \, \mathrm{d}y$ where the underlying kernel function $γ: \mathbb{R}^d \times \mathbb{R}^d \rightarrow [0,\infty)$ is assumed to be measurable and symmetric. In this paper, a theory is introduced for problems whose governing operator is of the more general type

$$ \mathcal{L}u:= \operatorname{PV} \int_{\mathbb{R}^d}\big(u(\cdot)-u(y)\big) \, K(\cdot, \mathrm{d}y) $$

where ${K: \mathbb{R}^d \times \mathcal{B}(\mathbb{R}^d) \rightarrow [0,\infty]}$ is a symmetric transition kernel. Our main focus is on nonlocal Dirichlet and Neumann problems and a classical Hilbert space approach is developed for solving designated weak formulations. As an example, the discrete Poisson problem on $Ω=(0,1)^d$ is discussed.

19. Martinet 空间中的粘性解

Viscosity Solutions in Martinet Spaces

作者: Thomas Bieske, Frederic Bowen

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

发布日期: 2026-01-27

arXiv ID: 2601.19864v1

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

摘要: In this paper, we establish the properties of viscosity solutions in Martinet spaces, which lack both the algebraic group law of Carnot groups and the triangular vector fields of Grushin-type spaces. We then prove the uniqueness of viscosity solutions to strictly monotone elliptic PDEs and to the infinite Laplace equation.

20. 非厄米法布里-珀罗共振

Non-Hermitian Fabry-Pérot Resonances

作者: Habib Ammari, Erik Orvehed Hiltunen, Bowen Li, Ping Liu, Jiayu Qiu, Yingjie Shao, Alexander Uhlmann

类别: math-ph, math.AP, physics.optics

发布日期: 2026-01-27

arXiv ID: 2601.19855v1

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

摘要: We characterise non-Hermitian Fabry-Pérot resonances in high-contrast resonator systems and study the properties of their associated resonant modes from continuous differential models. We consider two non-Hermitian effects: the exceptional point degeneracy and the skin effect induced by imaginary gauge potentials. Using the propagation matrix formalism, we characterise these two non-Hermitian effects beyond the subwavelength regime. This analysis allows us to (i) establish the existence of exceptional points purely from radiation conditions and to (ii) prove that the non-Hermitian skin effect applies uniformly across resonant modes, yielding broadband edge localisation.