生成时间: 2025年12月04日 03:50:31

重点关注论文数量: 3

了解领域论文数量: 2

不相关论文数量: 14

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

1. Spectral properties of the Frechet derivatives of stratified steady Stokes waves

分层稳态斯托克斯波的弗雷歇导数的谱性质

作者: Vladimir Kozlov

类别: math.AP, math-ph

发布日期: 2025-12-03

arXiv ID: 2512.03831v1

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

详细分析

中文标题: 分层稳态斯托克斯波的弗雷歇导数的谱性质

研究对象和背景

本文研究的是二维分层、定常、重力驱动的水波问题，具体为在渠道中传播的分层稳态斯托克斯波（stratified steady Stokes waves）。这类水波模型描述了密度随深度变化（即非均匀流体）且流动可能具有旋度的不可压缩流体在重力作用下的自由表面运动。与经典无旋、均质流体不同，该模型更贴近真实海洋环境中的内波或密度跃层现象。

系统的物理设定如下：流体占据一个二维无限长渠道 $ D = \{(x,y) : -d < y < \xi(x),\ x \in \mathbb{R}\} $，其中 $ y = -d $ 是平底边界 $ B $，$ y = \xi(x) $ 是自由表面 $ S_\xi $。流体密度 $ \rho = \rho(x,y) > 0 $ 不恒定，允许随位置变化，反映分层特性。忽略表面张力，考虑重力加速度 $ g > 0 $，并假设水流以恒定速度 $ c $ 向右传播。通过引入随波移动的坐标系，将问题转化为求解定常解。

基本方程基于欧拉方程组，结合质量守恒与动量守恒：

$$ u_x + v_y = 0 \quad \text{in } D \quad \text{(不可压缩性)} $$

$$ (u - c)\rho_x + v\rho_y = 0 \quad \text{in } D \quad \text{(质量守恒)} $$

$$ (u - c)u_x + vu_y + \frac{P_x}{\rho} = 0 \quad \text{in } D $$

$$ (u - c)v_x + vv_y + \frac{P_y}{\rho} = -g \quad \text{in } D \quad \text{(动量守恒)} $$

边界条件包括：

  • 在自由表面 $ S_\xi $ 上：法向速度连续 $ v = (u - c)\xi_x $，压力等于大气压 $ P = P_{\text{atm}} $；
  • 在底部 $ B $ 上：无穿透 $ v = 0 $。

为了简化分析，引入伪流函数（pseudostream function）$ \psi(x,y) $，定义为：

$$ \psi_x = -\sqrt{\rho}v, \quad \psi_y = \sqrt{\rho}(u - c) $$

此定义自动满足不可压缩性条件 $ u_x + v_y = 0 $。若进一步假设 $ \psi_y \leq 0 $，则密度 $ \rho $ 可表示为 $ \psi $ 的函数：$ \rho = \rho(-\psi) $，从而将问题从依赖空间变量转为依赖流函数。

关键守恒量是沿流线保持不变的能量函数：

$$ E := \frac{1}{2}(\psi_x^2 + \psi_y^2) + P + g\rho y $$

其对 $ \psi $ 的导数定义了伯努利函数 $ \beta(\psi) = dE/d\psi $。由此可得 $ \psi $ 满足的拟线性椭圆型偏微分方程：

$$ \Delta \psi + \omega(y, \psi) = 0 \quad \text{in } D $$

其中 $ \omega(y,\psi) = -gy\rho'(-\psi) - \beta(\psi) $。边界条件化为：

$$ \psi(x, \xi(x)) = 0, \quad \psi(x, -d) = -p_0 \quad (p_0 < 0) $$

以及重要的伯努利边界条件（Bernoulli condition）：

$$ \frac{1}{2}|\nabla \psi|^2 + g\rho(0)(\xi(x) + d) = R \quad \text{on } S_\xi $$

这里 $ R $ 是常数，称为伯努利常数。

本文关注的是周期性、偶对称的解，即存在周期 $ \Lambda > 0 $，使得 $ \xi(x+\Lambda) = \xi(x) $，且 $ \xi(-x) = \xi(x) $。相应的解 $ \psi \in C^{2,\alpha}_{0,e,\text{per}}(D) $，属于特定的Hölder空间，保证足够正则性。特别地，文中假设 $ \psi_y \neq 0 $ 在自由表面上成立，这排除了驻点情形，确保流函数局部单调。

研究的核心对象是上述非线性边值问题在某个已知Stokes波解 $ (\hat{\psi}, \hat{\xi}) $ 处的弗雷歇导数（Fréchet derivative），即线性化算子。通过对原系统进行小扰动 $ \psi = \hat{\psi} + t u $, $ \xi = \hat{\xi} + t \tilde{\xi} $ 并提取一阶项，得到形式上的线性化算子：

$$ A u = \Delta u + \omega_*(x,y) u, \quad \text{in } D $$

$$ B u = \nabla \hat{\psi} \cdot \nabla u - \sigma(x) u, \quad \text{on } S_{\hat{\xi}} $$

其中 $ \omega_* = gy\rho''(-\hat{\psi}) - \beta'(\hat{\psi}) $，$ \sigma(x) = \frac{\nabla \hat{\psi} \cdot \partial_y \nabla \hat{\psi} + g\rho(0)}{\hat{\psi}_y} $ 在 $ y = \hat{\xi}(x) $ 处取值。

由于问题涉及自由边界，直接处理困难。因此，作者采用两种坐标变换将其映射到固定域：

  1. 部分（partial hodograph transformation）：当 $ \psi_y < 0 $ 在整个区域内成立时（单向流），令 $ q = x $, $ p = -\psi $，将区域变为矩形 $ Q = \mathbb{R} \times (p_0, 0) $，从而将自由边界问题转化为固定边界上的非线性问题。
  2. 边界展平变换（flattening the boundary）：仅当 $ \psi_y \neq 0 $ 在自由表面上成立时适用，通过 $ \hat{y} = d(y+d)/(\xi(x)+d) $ 将区域映射为固定带状区域。

这两种变换后得到的线性化算子形式不同，但作者证明它们在谱性质上等价，尤其是负特征值的个数相同。这一等价性是后续分析的基础。

文中主要研究三个相关的谱问题，分别对应于不同变换下的线性化算子：

  1. 带拟动量参数 $ z \in \mathbb{C} $ 的问题（主研究对象）：
    $$ ((\partial_x + z)^2 + \partial_y^2)u + \omega_*(x,y)u = 0 \quad \text{in } D $$
    $$ \nabla \hat{\psi} \cdot (\partial_x + z, \partial_y)u - \sigma(x)u = 0 \quad \text{on } S_{\hat{\xi}}, \quad u|_{y=-d} = 0 $$
    此问题用于研究周期倍化扰动的存在性。
  2. 特征值问题（含内部谱参数 $ \mu $）：
    $$ \Delta u + \omega_* u + \mu u = 0 \quad \text{in } D, \quad B u = 0 \quad \text{on } S_{\hat{\xi}}, \quad u|_{y=-d} = 0 $$
  3. 特征值问题（含边界谱参数 $ \theta $）：
    $$ \Delta u + \omega_* u = 0 \quad \text{in } D, \quad B u = \theta u \quad \text{on } S_{\hat{\xi}}, \quad u|_{y=-d} = 0 $$

函数空间方面，使用 $ C^{k,\alpha}(D) $ 表示全局 Hölder 连续函数空间，其范数由局部范数 $ \|w\|_{C^{k,\alpha}(D_{a,a+1})} $ 在所有区间上的一致有界性定义。周期性和偶性要求被明确包含在子空间如 $ C^{k,\alpha}_{\text{per}}(D) $, $ C^{k,\alpha}_{e,\text{per}}(D) $ 中。弱解框架下还涉及 Sobolev 类空间 $ \hat{H}^1(\Omega) $，其中 $ \Omega $ 是一个周期单元内的区域。

主要定理或主要结果

本文的主要定理和命题如下：

Proposition 1.2（谱等价性）
设不等式 (1.29) 成立，即双线性型 $ a(u,u) > 0 $ 对所有非零 $ u \in \hat{H}^1(\Omega) $。令 $ a > 0 $, $ b > 0 $ 为连续、偶、正、$ \Lambda $-周期函数。则以下两个谱问题具有相同数量的负特征值（计入重数）：

  • 内部特征值问题：
    $$ A u + \mu a u = 0 \quad \text{in } \Omega, \quad B u = 0 \quad \text{on } S, \quad u|_{y=-d} = 0 $$
  • 边界特征值问题：
    $$ A u = 0 \quad \text{in } \Omega, \quad B u = \theta b u \quad \text{on } S, \quad u|_{y=-d} = 0 $$
    此外，若考虑 $ M\Lambda $-周期函数类，结论依然成立。

Theorem 1.3（主谱定理）
设条件 (1.33) 成立，即第二个特征值 $ \mu_2 > 0 $，且 $ \hat{\psi}_x \neq 0 $ 在半周期区域 $ \Omega_+ = (0,\Lambda/2) \times (-d,\hat{\xi}(x)) $ 内成立。则在集合 $ z = i\tau $, $ \tau \in [0, \tau_*) $ 上，谱问题 (1.23) 仅有唯一的特征值 $ z = 0 $，它是简单特征值，对应的特征函数为奇函数 $ \hat{\psi}_x $。

Corollary 1.4（局部唯一性）
考虑在 $ m\Lambda $-周期函数空间中的谱问题，其中 $ m $ 为奇整数。在定理 1.3 的条件下，在 $ (\hat{\psi}, \hat{\xi}) $ 的某个小邻域内，不存在其他 $ m\Lambda $-周期、偶对称的水波解。

此外，引理表明第一个特征值 $ \mu_1 $ 恒为负，而主假设是 $ \mu_2 > 0 $。当此条件满足时，意味着线性化算子在周期扰动方向上是“稳定”的，从而排除了周期倍化解的出现。

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

a) 核心分析学工具

本文采用了多种现代偏微分方程与泛函分析中的核心工具，围绕谱理论、变分结构和坐标变换下的等价性展开。

首先，弗雷歇导数的构造与验证是基础步骤。作者没有停留在形式推导，而是通过严格的坐标变换（部分hodograph变换和边界展平变换），将原始自由边界问题转化为固定域上的非线性算子，并在其上定义标准的弗雷歇导数。这种处理方式确保了线性化过程的数学严谨性。例如，在部分hodograph变换下，新变量 $ (q,p) $ 中的算子 $ (F,G) $ 明确定义在固定矩形域上，其弗雷歇导数可通过标准极限过程计算。

其次，谱问题的等价性分析依赖于双线性型与自伴算子理论。命题1.2的关键在于证明两个不同形式的谱问题（一个谱参数在方程内部，另一个在边界条件中）具有相同的负特征值个数。这通过分析双线性型

$$ a(u,v) = \int_\Omega (\nabla u \cdot \nabla v - \omega_* u v)\, dx dy - \int_{-\Lambda/2}^{\Lambda/2} \sigma(x) u v \big|_{y=\xi(x)} \frac{dx}{\psi_y} $$

的正定性来实现。假设 $ a(u,u) > 0 $ 对所有非零 $ u \in \hat{H}^1(\Omega) $ 成立，意味着该双线性型诱导的算子具有有限个负特征值。通过构造适当的测试函数和利用Rayleigh商，作者比较了两个谱问题的临界点数量，从而得出负特征值个数一致的结论。这是典型的变分方法思想，将谱信息转化为能量泛函的极小极大原理问题。

第三，拟动量谱问题（quasimomentum problem）的分析借鉴了Floquet-Bloch理论的思想。谱参数 $ z $ 的引入是为了研究非周期扰动，特别是周期为原周期整数倍的“亚谐波”（subharmonic）扰动。当 $ z = i k \tau_* $, $ \tau_* = 2\pi/\Lambda $ 时，解 $ e^{-k\tau_* x} u(x,y) $ 具有周期 $ |k|\Lambda $。因此，研究 $ z \in i[0,\tau_*) $ 上是否存在非平凡解，等价于判断是否存在周期倍化的解分支。这种技术常见于周期系数微分算子的谱分析中。

第四，唯一性结论的获得依赖于隐函数定理（implicit function theorem）的局部版本。虽然文中未显式写出，但“在邻域内无其他解”的结论本质上是说，当线性化算子在相应函数空间中可逆时，解是局部唯一的。而 $ \mu_2 > 0 $ 的条件确保了在除常数模以外的所有低频模式中，线性化算子是正定的，从而支持局部唯一性。

b) 解决技术性难题的主要技巧

本文处理的技术难点主要集中在自由边界和非均匀介质带来的复杂性。

首要技巧是坐标变换的灵活运用。面对自由边界 $ y = \xi(x) $，直接分析困难。作者根据解的性质选择不同的变换策略：当 $ \psi_y < 0 $ 时用hodograph变换，这能完全消除自由边界；当仅 $ \psi_y \neq 0 $ 在表面上成立时，用边界展平变换。后者虽不能完全消除非线性，但将问题固定在一个规则区域，便于应用标准PDE理论。通过引理2.1和2.3，作者严格建立了变换前后线性化算子之间的联系，证明了它们解的对应关系，从而确认形式导数的正确性。

其次，谱参数位置的转换技巧是关键创新。在hodograph变换后，谱参数出现在方程中（如 $ F w = \mu w / h_p $），而在展平变换后，它出现在边界条件中（如 $ G(u,\zeta) = \mu b \zeta $）。这种差异看似阻碍统一分析，但作者通过命题1.2巧妙地绕过——只要负特征值个数相同，就足以控制解的分支行为。这一观察避免了对全谱的精确匹配，聚焦于决定稳定性的最低几个特征值。

第三，对称性与奇偶性的利用极大简化了分析。由于原问题具有偶对称性（$ \xi(-x) = \xi(x) $），作者只考虑偶函数空间中的解。在证明定理1.3时，利用 $ \hat{\psi}_x $ 是奇函数的事实，结合 $ z = i\tau $ 的纯虚性，能够排除其他可能的特征值。此外，假设 $ \hat{\psi}_x \neq 0 $ 在 $ (0,\Lambda/2) $ 内成立，保证了函数在半个周期内不变号，便于应用最大值原理或比较定理。

最后，弱解框架与正则性提升的结合也是重要技巧。尽管出发点是经典解（$ C^{2,\alpha} $），但谱分析常在Sobolev空间中进行。通过建立弱形式的双线性型 $ a(u,v) $，可以利用紧嵌入定理（如 $ H^1 \hookrightarrow L^2 $ 紧）证明特征值的存在性与离散性。随后，由椭圆正则性理论，弱特征函数实际具有更高正则性，回归到经典意义。

与之前工作的比较

a) 突破与改进

本文在水波唯一性理论方面做出了显著推进，特别是在放宽假设和强化结论两方面超越了先前工作。

首先，相比早期关于Benjamin-Lighthill猜想的研究（如[1],[2],[3]），这些工作大多局限于无旋、不可压缩均质流体，而本文处理的是分层、可能有旋的更一般情形。这大大扩展了模型的物理适用范围，可用于研究海洋内波、密度跃层流动等复杂现象。同时，早期工作多关注全局参数估计（如流量、伯努利常数的界限），而本文聚焦于局部唯一性，即在某个已知波附近是否存在其他相近的波，这是更精细的动力学问题。

其次，相对于Walsh[18]等对旋转流体的研究，本文引入了弗雷歇导数的谱分析作为主要工具，而非传统的变分或积分方程方法。这种谱视角提供了更清晰的稳定性判据：仅需检查前两个特征值的符号即可判断局部唯一性。这一条件（$ \mu_1 < 0 $, $ \mu_2 > 0 $）比要求全局凸性或小振幅假设更为宽松和实用。

再者，文献[8],[9],[14]中关于近临界伯努利常数下的唯一性结果，通常依赖于摄动方法，仅适用于接近层流或临界状态的特殊情况。而本文的结果适用于任意满足 $ \mu_2 > 0 $ 的Stokes波，不要求解接近某特殊状态，因而更具普适性。

更重要的是，本文提出的谱条件 $ \mu_2 > 0 $ 是一种可验证的判据。虽然计算特征值本身不易，但一旦完成，就能得出强结论：在该波附近不存在周期倍化的亚谐波解。这比许多存在性结果（如通过Leray-Schauder度理论）更强，因为它给出了“无解”的肯定断言。

此外，通过建立两种不同坐标变换下谱问题的等价性（命题1.2），本文统一了以往可能被视为独立的方法，展示了其内在一致性。这种框架的统一性是理论上的重要贡献。

综上所述，本文的主要改进体现在：

  • 物理模型更一般：涵盖分层与旋度；
  • 数学工具更深刻：引入谱分析作为唯一性判据；
  • 假设更灵活：不依赖小振幅或近临界条件；
  • 结论更强：给出局部唯一性的正面断言；
  • 方法更统一：整合不同坐标变换下的分析。

这些特点使本文成为水波理论中关于唯一性与稳定性的里程碑式工作。

2. On Bridging Analyticity and Sparseness in Hyperdissipative Navier-Stokes Systems

论连接超耗散Navier-Stokes系统中的解析性与稀疏性

作者: Moses Patson Phiri

类别: math.AP, math-ph

发布日期: 2025-12-03

arXiv ID: 2512.03378v1

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

详细分析

中文标题: 论连接超耗散Navier-Stokes系统中的解析性与稀疏性

研究对象和背景

本文研究的是三维空间 $\mathbb{R}^3$ 上的超耗散Navier–Stokes（Hyperdissipative Navier–Stokes, HD-NS）系统，其形式如下：

$$ \begin{cases} \partial_t u + (-\Delta)^\beta u + (u \cdot \nabla)u + \nabla p = 0, \\ \nabla \cdot u = 0, \\ u(\cdot, 0) = u_0(\cdot), \end{cases} $$

其中 $ u: \mathbb{R}^3 \times (0,T) \to \mathbb{R}^3 $ 是流体速度场，$ p: \mathbb{R}^3 \times (0,T) \to \mathbb{R} $ 是压力函数，$ \beta > 1 $ 控制耗散项的阶数，算子 $ (-\Delta)^\beta $ 在傅里叶空间中定义为乘以 $ |\xi|^{2\beta} $。非线性对流项可等价写成散度形式：

$$ (u \cdot \nabla)u = \sum_{j=1}^3 \partial_j (u_j u) = \nabla \cdot (u \otimes u). $$

该系统的物理意义在于描述具有增强粘性的不可压缩流体动力学行为，其中标准Navier–Stokes对应 $ \beta = 1 $，而当 $ \beta > 1 $ 时称为“超耗散”情形，即粘性作用强于经典情况。

通过尺度变换分析可知，系统在三维下是临界的当且仅当 $ \beta = \frac{5}{4} $：此时能量范数 $ \|u\|_{L^2} $ 在伸缩不变；若 $ \beta > \frac{5}{4} $ 则为次临界，全局正则性已由 J.L. Lions [11] 建立；而 $ \beta < \frac{5}{4} $ 时为超临界，解是否会在有限时间内发生爆破（blow-up），即 $ \|D^k u(t)\|_{L^\infty} \to \infty $ 当 $ t \nearrow T^* $，仍是未解难题。

尽管如此，近年来围绕湍流间歇性（turbulence intermittency）结构的研究开辟了新路径。特别是 Grujić 和 Xu [5] 提出的基于解析性半径（analyticity radius）与稀疏性（sparseness）相结合的框架，揭示了即使在接近临界的区域（如 $ \beta \in (1, 5/4) $），只要高阶导数集中在低维稀疏集合上，仍可能避免爆破。

所谓稀疏性，指的是在某点周围存在一个方向，在该方向上线段上的“剧烈活动集”测度很小。具体地，设 $ S \subset \mathbb{R}^3 $ 为某个超水平集（例如 $ \{x : |D^k u(x,t)| > \lambda \|D^k u(t)\|_\infty\} $），称其在点 $ x_0 $ 处、尺度 $ r $ 下是 1维 $ \delta $-稀疏 的，如果存在单位向量 $ \nu \in S^2 $ 满足：

$$ \frac{|S \cap (x_0 - r\nu, x_0 + r\nu)|}{2r} \leq \delta < 1, $$

其中分子表示沿直线段的一维勒贝格测度。这种几何约束允许使用调和测度（harmonic measure）方法传播控制不等式至复域，从而估计解析延拓的范围。

此外，作者引入了“逃逸时间”（escape time）的概念：给定 $ t \in (0,T^*) $，若对所有 $ \tau \in (t, T^*) $ 有 $ \|u(\tau)\|_\infty > \|u(t)\|_\infty $，则称 $ t $ 为逃逸时间。这保证了在每个层次 $ \|D^k u(t)\| $ 上可以选取适当的参考时刻进行逐阶估计。

函数空间方面，本文主要工作在 $ L^\infty \cap L^2 $ 类初值下展开，并关注解在复化空间 $ \mathbb{C}^3 $ 中的延拓性质。特别地，考虑形如

$$ \Omega_t := \left\{ z = x + iy \in \mathbb{C}^3 : |y| \leq c t^{1/(2\beta)} \right\} $$

的管状邻域，用以刻画空间解析性半径随时间演化的下界。

整体而言，本研究聚焦于 $ \beta \in (1, 5/4) $ 的近临界超耗散Navier–Stokes系统，目标是在无需额外对称性或小初值假设的前提下，排除有限时间爆破解的存在性。为此，作者发展了一套结合时间加权桥接不等式、泰勒系数精细控制与调和测度收缩原理的新技术路线，旨在打通解析性与稀疏性之间的定量联系。

值得注意的是，近期 Li et al. [12] 和 Luo–Titi [17] 利用凸积分构造了在 $ \beta \geq 5/4 $ 或 $ \beta < 5/4 $ 下的非唯一弱解，表明即使存在爆破机制，也可能伴随解的多重性。因此，当前工作的正则性结论需与这些“wild solution”共存——即所证光滑解虽可延拓，但不排除其他非光滑分支的存在。这也说明本文结果并非否定所有爆破可能性，而是针对具备特定结构（如集中于定点、满足泰勒系数增长条件）的潜在爆破场景予以排除。

综上所述，本文的研究对象是一个兼具物理动机与数学挑战的偏微分方程系统：它处于经典理论失效的超临界边缘，但借助几何稀疏性与复分析工具，试图建立超越能量方法的新型正则性准则。

主要定理或主要结果

本文的核心结果是以下定理，即原文中的 Theorem 3.2：

定理 3.2（主要结果，非正式表述见原文摘要）
设 $ \beta > 1 $，初值 $ u_0 \in L^2 \cap L^\infty $，并假设：

(i) 存在常数 $ \varepsilon > 0, C > 1, \gamma > 0 $，使得对于所有 $ t \in (T^* - \varepsilon, T^*) $，速度分量 $ u_i(t, \cdot) $ 在候选爆破点 $ x^* $ 处的泰勒展开系数 $ c_{\alpha,k}^i(t) $ 满足：

$$ c_{\alpha,k}^i(t) = \delta_{\alpha,k}^i(t) \cdot \rho(t)^{-k}, \quad \text{其中 } k = |\alpha|, $$

且系数因子满足：

$$ \frac{1}{Ck(T^* - t)^{-\gamma \log_k k}} \leq \delta_{\alpha,k}^i(t) \leq Ck(T^* - t)^{-\gamma \log_k k}, $$

其中 $ \log_k k := \log(\log(\cdots \log k)) $ 表示迭代对数（实际应理解为缓慢增长的函数，文中可能指 $ \log k $），并且 $ \rho(t) \to 0 $ 作为 $ t \to T^* $，代表局部解析性尺度。

此外，假设这些系数函数 $ c_{\alpha,k}^i(t) $ 关于时间单调递增。

(ii) 爆破是聚焦的（focused blow-up）：存在固定点 $ x^* \in \mathbb{R}^3 $，使得对所有 $ t \in (T^* - \varepsilon, T^*) $ 和所有 $ k \in \mathbb{N} $，都有

$$ \|D^{(k)} u(t)\|_{L^\infty} = |D^{(k)} u(x^*, t)|. $$

则 $ T^* $ 不是奇点时间，解 $ u(x,t) $ 可以实解析地延拓超过 $ T^* $。

换句话说，在上述两个结构性假设下——即泰勒系数受控于缓慢发散的时间权重，且所有高阶导数的最大值均出现在同一空间点——原方程不存在有限时间爆破。这提供了一个强有力的排除机制：任何满足此类“集中+规则增长”特征的爆破尝试都将失败。

该定理的关键在于将传统的解析性半径估计与稀疏性尺度比较结合起来，并通过精心设计的时间加权桥接不等式实现跨阶导数控制。

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

a) 核心分析学工具

本文综合运用了多个现代PDE分析工具，主要包括：

  1. Gevrey类与空间解析性理论
    解的空间解析性通常通过估计复化解 $ u(z,t) $ 在虚部小的区域内的有界性来体现。若存在 $ \rho(t) > 0 $ 使得

    $$ \sup_{|y| \leq \rho(t)} |D^j u(x+iy, t)| \lesssim \frac{(j!)^{1/\sigma}}{\rho(t)^j} \|u(t)\| $$

    成立，则称解属于 Gevrey-$ \sigma $ 类。本文隐含使用 $ \sigma = 1 $，即实解析情形。通过控制泰勒系数的增长速率，推导出解析半径 $ \rho_k $ 的下界。

  2. 调和测度最大值原理（Harmonic Measure Maximum Principle）
    这是连接稀疏性与解析延拓的核心工具。根据 Proposition 2.4，若 $ u $ 是区域 $ \Omega \subset \mathbb{C} $ 上的次调和函数，边界子集 $ K \subset \partial\Omega $ 上 $ \limsup_{z \to \xi} u(z) \leq m $，其余部分 $ \leq M $，则

    $$ u(z) \leq m \omega(z, \Omega, K) + M(1 - \omega(z, \Omega, K)), $$

    其中 $ \omega $ 为调和测度。结合稀疏性条件（即 $ K $ 很小），可得 $ \omega(z, \Omega, K) $ 很小，从而在内部点获得更强的控制。

  3. Gagliardo–Nirenberg 插值不等式
    引理 2.8 给出：

    $$ \|D^j f\|_{L^p} \leq C \|D^m f\|_{L^r}^\theta \|f\|_{L^q}^{1-\theta}, $$

    用于连接不同阶导数之间的范数关系，尤其在估计非线性项时至关重要。

  4. 时间加权桥接不等式（Time-weighted Bridge Inequality）
    作者构造了一个新的加权系数：

    $$ M_{j,k} := (T^* - t)^{-\frac{\mu + j}{j+1} + \frac{\mu + k}{k+1}} \cdot \frac{(j!)^{1/(j+1)}}{(k!)^{1/(k+1)}}, \quad \mu > 1, $$

    使得高阶导数主导低阶的趋势被时间权重放大。这一设计使得即使在 $ t \to T^* $ 时，高阶导数的增长也被有效抑制，形成“桥接”。

  5. 逃逸时间选取机制
    利用 $ L^\infty $ 范数的局部适定性，可在每次达到局部极大值时选取逃逸时间 $ t $，确保后续演化中 $ \|D^k u(\tau)\| $ 单调增加。这对建立一致先验估计至关重要。

  6. Stirling 公式与阶乘渐近分析
    文中频繁使用 $ k! \sim \sqrt{2\pi k}(k/e)^k $ 来处理组合因子，例如证明

    $$ \frac{j!}{(k!)^{(j+1)/(k+1)}} \lesssim (j!)^{(k-j)/(k+1)}, $$

    这类估计贯穿 Corollary 3.1 的验证过程。

b) 技术性技巧与难点突破

  1. 量化解析性–稀疏性间隙（Analyticity–Sparseness Gap）
    关键思想是比较两个尺度：

    • 解析性半径 $ \rho_k \sim \|D^k u\|^{-(2\beta - 1)^{-1}} $
    • 稀疏性尺度 $ r_k \sim \|D^k u\|^{-1/(k + 3/2)} $

    若 $ \rho_k \gg r_k $，则可在复域内应用调和测度控制。作者通过时间加权桥接不等式提升 $ \rho_k $ 的衰减速率，使其压倒 $ r_k $，从而关闭爆破窗口。

  2. 聚焦极值点假设的有效利用
    假设所有 $ D^k u $ 的 $ L^\infty $ 极值都在同一点 $ x^* $ 达到，极大简化了泰勒展开分析。由此可直接比较不同阶导数在同一点的大小，避免空间位置漂移带来的困难。

  3. 缓慢变化时间权重的设计
    引入参数 $ \mu > 1 $，使得时间因子 $ (T^* - t)^{-\mu \cdot (\cdots)} $ 随 $ j/k $ 自适应调整，既不过度惩罚低阶项，又能充分压制高阶项。这种“尺度细化”（scale-refined）权重比传统恒定指数更灵活。

  4. 复合归纳与链式估计策略
    使用 Theorem 2.9 所提供的通用机制，要求验证两个关键不等式（(4) 和 (5)）。作者通过对双重求和进行细致估计，结合 Stirling 公式与对数增长控制，最终得出：

    $$ \phi(j,k) + \psi(j,k) \lesssim (j!)^{(k-j)/(k+1)} (T^* - t)^{-\frac{\mu - 1}{2\beta} \cdot \frac{2k}{k+1}}, $$

    并据此确定允许的存在时间 $ T $，使得解得以延拓。

  5. 调和测度收缩论证防止爆破
    最终一步是证明：若 $ \rho_k(s) > r_k(s) $，则可通过调和测度将 $ L^\infty $ 控制从稀疏集外传播到整个空间，进而得到 $ \|u(s)\|_{L^\infty} $ 有界，矛盾于 $ T^* $ 为爆破时间。

综上，本文的技术核心在于构建一个动态自洽的高阶导数控制体系，融合了解析性、稀疏性与时间渐近行为，实现了对潜在爆破结构的精细排除。

与之前工作的比较

a) 突破与改进之处

本文相对于已有工作做出了若干重要推进，体现在以下几个方面：

  1. 推广并精细化 Grujić–Xu 框架
    Grujić 与 Xu [5] 首次提出将稀疏性与解析性结合用于 HD-NS 正则性研究。本文在此基础上引入时间依赖权重和尺度细化的桥接不等式，显著提升了控制精度。尤其是通过 $ \mu > 1 $ 参数调节，使解析性半径的衰减慢于传统估计，从而在 $ \beta < 5/4 $ 区域也能维持 $ \rho_k > r_k $。

  2. 排除一类 Type-II 爆破情景
    Farhat 与 Grujić [2] 曾证明某些符合解析结构的爆破模式不可行。本文进一步限定了聚焦型爆破（extremizers concentrate at fixed point）的情形，并给出明确的泰勒系数增长率判据，从而排除了更多潜在爆破路径。

  3. 兼容非唯一性结果
    近期 Li [12]、Luo–Titi [17] 及 Buckmaster–Colombo–Vicol [16] 构造了非唯一的弱解，甚至具有 Hausdorff 维数小于 1 的奇异集。本文并未否定这些结果，而是强调：在附加结构性假设下，光滑解不会爆破。这体现了“正则性”与“非唯一性”可共存的新图景。

  4. 改进临界阈值条件
    原始 Lions 定理要求 $ \beta \geq 5/4 $ 才能保证全局正则性。Tao [10] 将其降至略低于临界的情形（对数修正）。本文虽未完全突破 $ \beta = 5/4 $，但在 $ \beta \in (1, 5/4) $ 内，只要满足聚焦+缓增假设，即可排除爆破。这意味着即使系统整体超临界，特定结构的解仍可保持正则。

  5. 降低对初始数据的要求
    相较于需要小初值或对称性的传统方法，本文仅要求 $ u_0 \in L^2 \cap L^\infty $，并无额外正则性或衰减假设。爆破排除机制完全由解自身动态结构驱动，更具普适潜力。

  6. 首次引入“桥接不等式”作为主动控制工具
    以往工作多依赖被动估计（如能量法、最大值原理），而本文主动设计 $ M_{j,k} $ 来“拉平”不同阶导数间的增长差异，形成稳定链条。这种构造性策略为未来研究提供了新范式。

综上，本文不仅深化了对 HD-NS 系统的理解，也为探索一般超临界PDE中的结构依赖正则性开辟了道路。

3. A Lagrangian Approach to the Inhomogeneous Incompressible Euler Equation

非齐次不可压缩欧拉方程的拉格朗日方法

作者: Anping Pan

类别: math.AP

发布日期: 2025-12-02

arXiv ID: 2512.03246v1

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

详细分析

中文标题: 非齐次不可压缩欧拉方程的拉格朗日方法

研究对象和背景

本文研究的对象是非齐次不可压缩欧拉方程（Inhomogeneous Incompressible Euler Equation, 简称 IIE），其控制方程组如下：

$$ \begin{cases} \partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) + \nabla p = 0 \\ \nabla \cdot u = 0 \\ \partial_t \rho + u \cdot \nabla \rho = 0 \end{cases} \tag{1} $$

该系统描述的是在区域 $D$ 上流动的密度可变、不可压缩的理想流体。其中，$\rho(t,x)$ 表示流体在时间 $t$ 和空间位置 $x$ 处的密度，$u(t,x)$ 是速度场，$p(t,x)$ 是压力项。第一式为动量守恒，第二式为体积不可压缩条件（即速度场无散），第三式表示密度沿流线被物质输运。

物理上，这类模型适用于盐水与淡水混合、大气层中温度分层导致密度变化等场景。数学上，它推广了经典的齐次不可压缩欧拉方程（当 $\rho \equiv \text{const}$ 时退化为此情形）。然而，由于密度不恒定，系统的动能不再仅仅是速度的 $L^2$ 范数，而是加权形式：

$$ E(t) = \frac{1}{2} \int_D \rho(t,x) |u(t,x)|^2 dx, $$

这使得传统的几何框架无法直接应用。

论文的研究区域 $D$ 取为 $\mathbb{R}^d$ 或 $\mathbb{T}^d$（全空间或环面），并配备自然的衰减/周期性边界条件。函数空间方面，作者主要考虑光滑范畴（smooth setting）以简化技术细节，但指出所有构造均可推广至 Sobolev 空间 $H^{s+1}$，其中 $s > d/2$，从而保证嵌入到 $C^1$ 类函数中，确保微分同胚群的良好正则性。

记 $\mathrm{Diff}(D)$ 为 $D$ 上的光滑微分同胚群，$\mathrm{SDiff}(D)$ 为其子群——保持体积元不变的微分同胚群，即满足 $\det(\nabla X) = 1$ 的映射 $X: D \to D$。从拉格朗日视角来看，流体运动由一个路径 $X(t,\cdot): [0,T] \to \mathrm{SDiff}(D)$ 描述，其中 $X(t,a)$ 表示初始位于 $a \in D$ 的流体质点在时刻 $t$ 的位置。相应地，欧拉速度场通过 $u(t,X(t,a)) = \dot{X}(t,a)$ 定义。

Arnold 在上世纪六十年代开创性地指出：齐次不可压缩欧拉方程对应于 $\mathrm{SDiff}(D)$ 上关于右不变 $L^2$ 度量的测地线方程。这一思想将流体力学纳入无限维黎曼几何的框架之中。具体而言，若赋予 $\mathrm{SDiff}(D)$ 以下度量：

$$ G_X(\xi,\eta) = \int_D (\xi(x),\eta(x)) dx, $$

则其上的测地线方程恰好还原出经典欧拉方程。

本文的核心创新在于将这一几何结构推广至非齐次情形。作者引入了一个新的加权度量（weighted metric）：

$$ G_X(\xi,\eta) = \int_D (\xi(x),\eta(x)) \rho_0(x) dx = \int_D (u,v)(x)\rho(x)dx, \tag{4} $$

其中 $\rho_0$ 是固定的参考密度，$\rho = X_\sharp \rho_0 := \rho_0 \circ X^{-1}$ 是当前密度（质量守恒下的重排）。此度量依赖于当前构型 $X$，且权重 $\rho_0$ 固定于拉格朗日坐标中，体现了“随体质量”的思想。

为了使 $\mathrm{SDiff}(D)$ 成为某个更大空间中的约束子流形，作者将其视为全微分同胚群 $\mathrm{Diff}(D)$ 中一族无穷多个约束函数 $f_a(X) = \langle \det(\nabla X) - 1, \delta_a \rangle$ 的零水平集。由此，利用无限维约束几何理论，推导出在此加权度量下，$\mathrm{SDiff}(D)$ 上的测地线方程正是上述非齐次欧拉方程 (1)。

此外，文中假设密度有界远离零与无穷，即存在常数 $C>1$ 使得对所有 $a \in D$，

$$ C^{-1} \leq \rho_0(a) \leq C < \infty. \tag{A} $$

这一非真空、非集中假设至关重要，保证了后续涉及逆算子（如 $\Delta_\rho^{-1}$）的良定性。

综上所述，本文的研究对象是一个具有显著几何结构的偏微分方程系统，其动力学不仅受局部力平衡支配，更深层地源于某个无限维李群上带有密度权重的黎曼测地流。这种观点超越了传统的欧拉坐标分析方法，转向更具本质性的拉格朗日几何刻画。

主要定理或主要结果

本文的主要成果包括以下几个关键定理和命题：

定理 2.4（第二基本形式公式）
设 $\Pi_X$ 为 $\mathrm{SDiff}(D)$ 在点 $X$ 处关于加权度量 $G$ 的第二基本形式，则对任意 $u,v \in X_\sigma(D)$（光滑无散向量场），有：

$$ \Pi_X(u \circ X, v \circ X) = Q_\rho(u \cdot \nabla v), \quad \text{其中 } Q_\rho(w) = \rho^{-1} \nabla \Delta_\rho^{-1} \nabla \cdot w. $$

此公式揭示了惯性加速度的法向投影与压力项生成机制之间的精确联系。

定理 2.7（Gibbs-Appell 变分原理）
定义 Appell 函数：

$$ A(\ddot{X}) = \frac{1}{2} \int_D |\ddot{X}(t,a)|^2 \rho_0(da). $$

则在约束 $X(t,\cdot) \in \mathrm{SDiff}(D)$ 下，使 $A$ 在每一时刻极小化的路径 $X(t,a)$ 满足牛顿型方程：

$$ \rho_0 \ddot{X} = -\nabla p(t,X), \quad u = \dot{X} \circ X^{-1}, \quad p = -\Delta_{\rho}^{-1} \nabla \cdot (u \cdot \nabla u). $$

这是对传统最小作用量原理的替代，在瞬时加速度层面实现最优。

命题 3.1（Hamilton-Pontryagin 原理）
非齐次欧拉方程可以从以下变分原理导出：寻找曲线 $(X,P)$ 极小化作用泛函

$$ S[X,P] = \int_0^T \left[ \frac{1}{2} G_X(\dot{X},\dot{X}) + G_X(P, \dot{X} - A_X(X)) ) \right] dt, $$

其中 $A_X$ 是约束分布的锚映射。所得欧拉-拉格朗日方程给出 Lagrangian-Eulerian 形式的解表达式。

定理 4.1（拉格朗日解析性）
在适当正则性假设下，非齐次欧拉方程的拉格朗日轨迹 $X(t,a)$ 关于时间变量 $t$ 是实解析函数。即对于每个固定的质点标签 $a \in D$，映射 $t \mapsto X(t,a)$ 在时间区间内是解析的。这是通过建立泰勒系数的显式递推关系并估计其增长得出的。

这些结果共同构建了一个完整的拉格朗日几何框架，不仅重新推导了已知方程，还提供了新的变分视角与正则性结论。

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

a) 核心分析学工具

本文采用了多种深刻的几何与分析工具，融合了无限维微分几何、变分法与偏微分方程理论。

首先是无限维黎曼几何的基本框架。作者将 $\mathrm{SDiff}(D)$ 视为 $\mathrm{Diff}(D)$ 的闭子流形，并在其上定义右不变的加权 $L^2$ 内积 $G_X(\cdot,\cdot)$。这种结构允许使用标准的测地线变分计算。特别地，利用 D’Alembert 原理，即加速度必须位于约束子流形的法空间中，得到：

$$ \ddot{X} \in N_X \mathrm{SDiff}(D), $$

从而引出拉格朗日乘子 $\lambda$，最终转化为压力项 $p$。这是连接几何与 PDE 的桥梁。

其次，作者系统运用了约束子流形的几何理论。通过将 $\mathrm{SDiff}(D)$ 表达为无限多个约束函数 $f_a(X)=0$ 的公共零点集，可以形式化地计算梯度 $\mathrm{grad} f_a$、黑塞矩阵 $\mathrm{Hess} f_a$ 以及格拉姆算子 $J_f$。例如，命题 2.2 给出了：

$$ \mathrm{grad} f_a(X) = -\rho_0^{-1} (\nabla^* X)^{-1} \nabla \delta_a = N_X(\delta_a), $$

这是一个分布在切空间中的法向量。通过对偶配对和音乐同构（musical isomorphism）$\alpha \mapsto \rho_0^{-1} \alpha$，实现了协向量到向量的转换，这对处理分布值乘子至关重要。

另一个关键技术是加权投影算子 $Q_\rho$ 的引入。定义：

$$ Q_\rho(w) = \rho^{-1} \nabla \Delta_\rho^{-1} \nabla \cdot w, \quad \Delta_\rho = \nabla \cdot (\rho^{-1} \nabla), $$

这是一个在加权 $L^2$ 空间中关于度量 $\langle v,w \rangle_{\rho} = \int \rho v \cdot w dx$ 的正交投影，将任意向量场分解为“垂直”（potential）与“水平”（divergence-free w.r.t. $\rho$）部分。命题 2.3 证明了：

$$ w = \rho v + \nabla p, \quad v = P_\rho(\rho^{-1} w), \quad p = \Delta_\rho^{-1} \nabla \cdot (\rho^{-1} w), $$

其中 $P_\rho = \mathrm{Id} - Q_\rho$。这个分解是非齐次情形下广义 Helmholtz-Hodge 分解，是构造第二基本形式的关键。

此外，作者使用了Green 函数技术来反转 Gram 算子 $J_f$，得到：

$$ (J_f)^{-1}_{a,a'}(X) = G_\rho(X(a), X(a')), $$

其中 $G_\rho$ 是椭圆算子 $\Delta_\rho$ 的 Green 函数。这使得曲率张量的显式表达成为可能。

最后，在第四节中，作者采用幂级数展开与递推估计法来证明拉格朗日解析性。通过将位移 $\ddot{X}$ 展开为时间的泰勒级数，并利用方程建立高阶导数间的递推关系，结合对 $Q_\rho$ 算子的连续性估计，控制系数的增长速度，从而证明收敛半径大于零。

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

处理非齐次欧拉方程的最大挑战之一是非线性耦合与压力消除。传统方法需借助 Leray 投影消去压力，但在拉格朗日框架中缺乏直接类比。本文的巧妙之处在于：通过几何构造自然导出压力项作为法向加速度，而无需预先定义投影。

具体来说，难点在于如何解释拉格朗日乘子 $\lambda$ 的演化。作者通过对守恒律 $G_X(\mathrm{grad} f_a(X), \dot{X}) = 0$ 求导，结合链式法则与积分变换，成功将 $\lambda$ 与欧拉变量中的 $\nabla \cdot (u \cdot \nabla u)$ 联系起来，最终获得：

$$ \lambda = p \circ X, \quad p = -\Delta_\rho^{-1} \nabla \cdot (u \cdot \nabla u). $$

这一过程精细地处理了分布值函数与坐标变换下的微分运算，避免了奇异性问题。

另一个技术难点是无限维约束的处理。由于 $\mathrm{SDiff}(D)$ 是余维无穷的子流形，常规有限维几何工具失效。作者借鉴 [13] 和 [14] 的思想，将整个约束体系视为一个分布族，并通过双线性形式统一处理。例如，第二基本形式被写成双重积分形式：

$$ \Pi_X(\xi,\eta) = \iint (J_f)^{-1}_{y,z} \mathrm{Hess} f_z(\xi,\eta) \mathrm{grad} f_y dy dz, $$

再代入具体表达式完成化简。这种方法绕开了局部坐标卡的复杂性，直接在全局操作。

此外，在 Gibbs-Appell 公式中，作者放弃了传统的端点固定变分，转而在每个时刻独立最小化加速度能量。这更适合非保守或非完整约束系统，有效规避了路径空间变分中边界项难以控制的问题。

总之，本文通过几何重构而非纯分析估计，将复杂的非线性 PDE 问题转化为结构清晰的无限维动力系统问题，从根本上改变了研究范式。

与之前工作的比较

a) 突破与改进

相较于以往关于非齐次欧拉方程的研究，本文做出了若干根本性突破，主要体现在视角转变、工具创新与结果强化三个方面。

首先，绝大多数前期工作（如 [10][11][12][3][16]）均采用欧拉坐标下的调和分析方法，关注解的局部适定性、爆破准则（Beale-Kato-Majda 型）、Yudovich 类解的存在唯一性等问题。这些研究依赖于 Besov/Sobolev 空间中的精细估计、交换子不等式与最大正则性理论。然而，它们普遍未能揭示系统的内在几何结构。相比之下，本文首次系统建立了 IIE 的拉格朗日几何框架，填补了该领域在几何理解方面的空白。正如作者所言：“the geometric structure and Lagrangian perspective of the inhomogeneous Euler equation is much less studied”，而本文正是对此缺口的直接回应。

其次，虽然 Ebin–Marsden [15] 和 Arnold [1] 为齐次情形建立了完善的几何理论，但其直接推广至非齐次情况面临根本障碍：动能不再是单纯的 $L^2$ 范数，标准右不变度量不再适用。先前尝试（如 [25]）虽提及测地线解释，但未给出完整的加权几何构造。本文的关键改进在于提出了加权右不变度量 $G_X(\xi,\eta) = \int (\xi,\eta) \rho_0 dx$，并严格验证其诱导的动力学正是 IIE。这一构造尊重了质量守恒律 $\rho = X_\sharp \rho_0$，使得几何与物理一致。

再者，本文提出的 Hamilton-Pontryagin 变分原理 与 Gibbs-Appell 最小加速度原理 是对经典最小作用量原理的重要拓展。传统 Lagrange 力学要求拉格朗日量为 $L = T - V$ 形式，但 IIE 并无势能项。本文通过引入动量变量 $P$ 或直接最小化加速度平方，绕开了这一限制，为更广泛的流体模型（如粘性流）提供了新思路。这种形式主义在 [5][7][8] 中已有萌芽，但本文首次将其应用于非齐次欧拉系统。

最后，在结果强度上，本文证明了拉格朗日解析性，这是一个比通常的光滑解更强的正则性结论。已知对于二维齐次欧拉方程，若初速在 $L^\infty$ 中（Yudovich 解），则拉格朗日轨迹仍是 Lipschitz 连续但未必光滑；而本文在适当正则初值下得出了解析性，说明即使在非齐次情形，只要初始数据足够好，质点轨迹仍极其规则。这不仅是技术上的进步，也加深了对流体粒子运动本质的理解。

综上，本文并未在降低初始数据正则性或放宽维度假设方面做文章，而是通过提升理论层次，实现了从“分析驱动”到“几何驱动”的跃迁，为未来研究开辟了全新路径。

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

1. A Decay estimate for cubic defocusing non-linear Schrödinger equation in three dimensions

三维空间中三次散焦非线性薛定谔方程的衰减估计

作者: Yi Sun

类别: math.AP

发布日期: 2025-12-03

arXiv ID: 2512.03631v1

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

摘要翻译

中文标题: 三维空间中三次散焦非线性薛定谔方程的衰减估计

摘要翻译: 在这篇简短的笔记中，我们证明了三维空间中三次散焦非线性薛定谔方程非线性解的一个衰减估计。

2. Nonlinear diffusion limit of non-local interactions on a sphere

球面上非局部相互作用的非线性扩散极限

作者: Mark A. Peletier, Anna Shalova

类别: math.AP, math-ph

发布日期: 2025-12-02

arXiv ID: 2512.03185v1

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

摘要翻译

中文标题: 球面上非局部相互作用的非线性扩散极限

摘要翻译: 本文研究了一类在任意维球面上具有竞争性吸引与排斥力的聚集型偏微分方程。特别地，我们考虑排斥力高度局域化而吸引力为常数项的极限情形。我们证明了该系统解向带有 porous-medium 型扩散项的聚集-扩散方程解的收敛性。证明过程结合了变分方法与球面上调和分析的若干元素。特别是，我们通过球谐函数刻画了卷积算子的平方根，从而克服了由于球面上卷积运算不满足交换性所带来的困难。本研究受到Geshkovski等人（2025）提出的Transformer简化模型的启发，文中亦讨论了所得结果在该模型中的适用性。

不相关论文（基本信息）

1. A Strict Comparison Principle for Integro-Differential Hamilton-Jacobi-Bellman Equations on Domains with Boundary

域上带边界的积分微分哈密顿-雅可比-贝尔曼方程的严格比较原理

作者: Serena Della Corte, Fabian Fuchs, Richard C. Kraaij, Max Nendel

类别: math.AP, math.PR

发布日期: 2025-12-03

arXiv ID: 2512.04005v1

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

摘要: This work provides a comparison principle for viscosity solutions to boundary value problems on (partially) bounded, cylindrical spaces. The comparison principle is based on a test function framework, that allows for the simultaneous treatment of diffusive as well as jump terms. Estimates in the proof of the comparison principle incorporate the use of Lyapunov functions that act as growth bounds for the solutions, effectively yielding a theory for unbounded viscosity solutions. We apply the results to a wide class of parabolic equations and elliptic problems on a space with corners.

2. On well-posedness for second-order degenerate parabolic equations with unbounded lower-order terms

关于带有无界低阶项的二阶退化抛物型方程解的适定性研究

作者: Khalid Baadi

类别: math.AP, math.FA

发布日期: 2025-12-03

arXiv ID: 2512.03978v1

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

摘要: In this paper, we establish the well-posedness of Cauchy problems for weak solutions to second-order degenerate parabolic equations with a non-smooth, time-dependent degenerate elliptic part that includes both bounded and unbounded lower-order terms. The unbounded lower-order terms are allowed to lie in mixed time-space Lebesgue or even Lorentz spaces. Our notion of weak solutions is formulated under minimal assumptions. We prove the existence and uniqueness of a fundamental solution, which coincides with the associated evolution family for the homogeneous problem (i.e., with zero source term) and provides a representation formula for all weak solutions. We also establish $L^2$ off-diagonal estimates for the fundamental solution and derive Gaussian upper bounds under the weak assumption of Moser’s $L^2$-$L^\infty$ estimates for weak solutions. Our approach is purely variational and avoids any a priori regularity assumptions on weak solutions or regularization via smooth approximations. Two key ingredients are norm inequalities for fractional powers of the degenerate Laplacian, and a set of embeddings that ensure time continuity of weak solutions, extending the classical Lions regularity theorem and accommodating a wide class of source terms.

3. A remark on the log-Sobolev inequality for the Gibbs measure of the focusing Schrödinger equation

关于聚焦型薛定谔方程Gibbs测度对数Sobolev不等式的一个注记

作者: Guopeng Li, Jiawei Li, Leonardo Tolomeo

类别: math.AP, math.PR

发布日期: 2025-12-03

arXiv ID: 2512.03897v1

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

摘要: We consider the question of showing a log-Sobolev inequality for the Gibbs measure of the focusing Schrödinger equation built by Lebowitz-Rose-Speer (1988), formally given by

$$ dρ\propto \exp\big(\frac 1 p\int_{\mathbb T} |u|^p d x - \frac 12\int_{\mathbb T} |\nabla u|^2 d x - \frac 12\int_{\mathbb T} |u|^2 d x\big) \mathbf 1_{\| u \|_{L^2(\mathbb T)}^2 \le K}dud\overline{u}. $$

When $2 \le p \le 4$, we show that these measures indeed satisfy a log-Sobolev inequality. When $p> 4$, we show a lower bound for the Hessian of the potential, which implies that the known techniques to show these inequalities cannot apply to the measure $ρ$.

4. Counter-examples to the fractal Weyl law for semiclassical resonances

半经典共振中分形维数韦尔定律的反例

作者: Jean-Francois Bony, Setsuro Fujiie, Thierry Ramond, Maher Zerzeri

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

发布日期: 2025-12-03

arXiv ID: 2512.03773v1

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

摘要: Under general assumptions, the numbers of semiclassical resonances is known to be bounded from above by a negative power of $h$ which is given by the fractal dimension of the trapped set. In this paper we provide examples of operators with much less resonances, showing that these upper bounds are not always sharp.

5. Spectra and pseudospectra of non-Hermitian Toeplitz operators: Eigenvector decay transitions in banded and dense matrices

非厄米 Toeplitz 算子的谱与拟谱：带状与稠密矩阵中特征向量衰减的相变

作者: Yannick de Bruijn, Bryn Davies, Sacha Dupuy, Erik Orvehed Hiltunen

类别: math.AP

发布日期: 2025-12-03

arXiv ID: 2512.03757v1

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

摘要: Using a generalised Floquet-Bloch theory, we present a mathematical method to construct eigenvectors for non-Hermitian Toeplitz operators. We extend the method to both banded Toeplitz operators and those with algebraically decaying, fully dense off-diagonal structure. We present sharp decay estimates for the amplitude of bulk eigenmodes as well as eigenmodes associated with defect eigenfrequencies inside the spectral band gap. The validity of those results is illustrated numerically and we show that banded approximations give poor reconstructions of the dense operators, due to the slow algebraic decay. We apply the insights gained to model the non-Hermitian skin effect in a three-dimensional system of subwavelength resonators, where the corresponding operator exhibits only algebraic decay of off-diagonal entries. We use our approach to demonstrate the fundamental mechanism responsible for the transition between the non-Hermitian skin effect and defect-induced localisation in the bulk.

6. The time fractional stochastic partial differential equations with non-local operator on $\mathbb{R}^{d}$

$\mathbb{R}^{d}$ 上具有非局部算子的时间分数阶随机偏微分方程

作者: Yong Zhen Yang, Yong Zhou

类别: math.AP, math.PR

发布日期: 2025-12-03

arXiv ID: 2512.03754v1

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

摘要: This paper investigates a class of time-fractional stochastic partial differential equations (SPDEs) on $\mathbb{R}^d$, driven by both Gaussian and Lévy space-time white noises. The equation involves Caputo time-derivatives of orders $α, σ_1, σ_2$ and a non-local operator $φ(Δ)$ generated by a Bernstein function $φ$. We first establish the local existence and uniqueness of mild solutions in the $L_p$-framework for $1 \leq p \leq 2$. For the case $p > 2$, where the $L_p$-theory fails, we develop a Sobolev space framework based on the scales of Besov and Triebel–Lizorkin spaces associated with $φ(Δ)$. Within this setting, we prove the solvability and regularity of weak solutions. Our analysis relies on detailed estimates of the fundamental solutions, stochastic convolutions, Littlewood–Paley theory, and a fixed point argument. The results presented here extend and unify several previous works on fractional SPDEs by incorporating a general class of non-local operators and Lévy noises.

7. Note on Regularity theory for Nonlinear elliptic equations

关于非线性椭圆方程正则性理论的注记

作者: Zhenye Qian

类别: math.AP, math.DG

发布日期: 2025-12-02

arXiv ID: 2512.03012v2

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

摘要: In this note, we present several seminal developments in the regularity theory of nonlinear (uniformly) elliptic equations, including the De Giorgi-Nash-Moser theory concerning the Hilbert 19th problem and variational equations, as well as the Krylov-Safonov and Evans-Safonov theories for fully nonlinear equations.

8. On the doubling of variables technique in first order Hamilton-Jacobi equations

一阶哈密顿-雅可比方程中变量加倍技术的研究

作者: Charles Bertucci, Giacomo Ceccherini Silberstein

类别: math.AP

发布日期: 2025-12-03

arXiv ID: 2512.03652v1

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

摘要: In this paper, we revisit the technique of doubling variables in first order Hamilton-Jacobi equations, especially when the equations arise in optimal control. We show that by tuning the penalization between the two points, we can change drastically the proof, somehow shifting the regularity hypotheses into geometrical properties of the penalization. We present this idea in a finite dimensional setting and then exploit it on equations posed on Wasserstein spaces.

9. Elastic scattering problems by penetrable obstacles with embedded objects

含内嵌物体的可穿透障碍物的弹性散射问题

作者: Chun Liu, Jiaqing Yang, Bo Zhang

类别: math.AP, math-ph

发布日期: 2025-12-03

arXiv ID: 2512.03624v1

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

摘要: This paper considers 3-D elastic scattering problems by penetrable obstacles with embedded objects. The well-posedness of transmission problem is proved by employing integral equation method. Then the Inverse Problems , which is to recover the obstacle by the far-field pattern measurement, is considered. It is shown that the inhomogeneous penetrable obstacle can be uniquely determined from the far-field pattern at a fixed frequency.

10. Dynamics of the reversible Gray-Scott model and convergence to its irreversible limit

可逆Gray-Scott模型的动力学行为及其向不可逆极限的收敛性

作者: Philippe Laurençot, Christoph Walker

类别: math.AP

发布日期: 2025-12-03

arXiv ID: 2512.03595v1

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

摘要: Well-posedness of a reversible variant of the Gray-Scott model is shown, along with the convergence of each trajectory to one of the two spatially homogeneous steady states. The principle of linearized stability provides the local attractivity at an exponential rate of the stable steady state, while the long-term limit is identified with the help of center manifold theory. Finally, convergence to the classical Gray-Scott model is proved for an appropriate choice of parameters.

11. The Dirichlet-to-Neumann map on asymptotically anti-de Sitter spaces and holography

渐近反德西特空间上的狄利克雷-诺伊曼映射与全息对偶

作者: Alberto Enciso, Gunther Uhlmann, Michał Wrochna

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

发布日期: 2025-12-03

arXiv ID: 2512.03587v1

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

摘要: We consider the Klein-Gordon equation on asymptotically anti-de Sitter spacetimes, and show that the forward Dirichlet-to-Neumann map (or scattering matrix) is a fractional power of the boundary wave operator modulo lower order terms in the sense of paired Lagrangian distributions. We use it to show that, outside of a countable set of mass parameters, the Dirichlet-to-Neumann map determines the Taylor series of the bulk metric at the boundary, and hence allows the recovery of a real analytic metric or Einstein metric modulo isometries. Furthermore, we prove a Lorentzian version of the Graham-Zworski theorem relating poles of the Dirichlet-to-Neumann map to conformally invariant powers of the boundary wave operator.

12. Kakeya-Nikodym norms of Maass forms on $\rm{U}(2,1)$

$\rm{U}(2,1)$ 上 Maass 形式的 Kakeya-Nikodym 范数

作者: Jiaqi Hou

类别: math.NT, math.AP

发布日期: 2025-12-03

arXiv ID: 2512.03482v1

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

摘要: Let $ψ$ be a Hecke-Maass form with a large spectral parameter on a compact arithmetic complex hyperbolic surface. We apply the amplification method to obtain a power saving over the trivial bound for the Kakeya-Nikodym norm of $ψ$. As a consequence, we obtain power savings over the local bound of Sogge for $\|ψ\|_p$ when $2<p<10/3$.

13. Weighted geodesic restrictions of arithmetic eigenfunctions

算术特征函数的加权测地线限制

作者: Jiaqi Hou, Xiaoqi Huang

类别: math.NT, math.AP

发布日期: 2025-12-02

arXiv ID: 2512.03291v1

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

摘要: Let $X$ be an arithmetic hyperbolic surface, $ψ$ a Hecke-Maass form, $\ell$ a geodesic segment on $X$, and $μ$ a Borel measure supported on $\ell$ with dimension greater than 1/2. We obtain a power saving over the local bound of Eswarathasan and Pramanik for the $L^2$ norm of $ψ$ with respect to $μ$, which is a weighted generalization of Marshall’s geodesic restriction bound and is proved by applying the method of arithmetic amplification. On a general 2-dimensional Riemannian manifold, we also obtain a Kakeya-Nikodym bound for the $L^2$ norm of any Laplace-Beltrami eigenfunction with respect to a Borel measure supported on a geodesic segment with dimension greater than 1/2.

14. Large-time behavior in a nonlocal heat equation with absorption. The absorption dominated case with fast decaying initial data

非局部热方程中带吸收项的大时间行为：初值快速衰减情形下的吸收主导情况

作者: Carmen Cortázar, Fernando Quirós, Noemi Wolanski

类别: math.AP

发布日期: 2025-12-02

arXiv ID: 2512.03265v1

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

摘要: We study the large-time behavior of nonnegative solutions to a nonlocal dispersal equation in $\mathbb R^N$ with an absorption term modeled by $-u^p$, with $1<p<1+\frac2N$. The initial datum $u_0$ is assumed to be bounded, and to satisfy $|x|^{\frac2{p-1}}u_0(x)\to A\ge0$ as $|x|\to\infty$. Under these assumptions, we prove that the decay rate is that of the purely absorbing problem, while the limit profile is a very singular solution to a local diffusion problem with absorption if $A=0$, and a solution to this same local problem with initial datum $A|x|^{-\frac2{p-1}}$ if $A>0$.