生成时间: 2026年07月17日 05:31:51

运行状态: 完成

计划处理论文数量: 29

已完成论文数量: 29

未完成论文数量: 0

重点关注论文数量: 5

了解领域论文数量: 13

不相关论文数量: 11

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

1. 通过实对数典范阈值判定Morrey可容许性的几何准则

Geometric Criteria for Morrey Admissibility via the Real Log-Canonical Threshold

作者: Nivaldo Grulha, Andréa Prokopczyk

类别: math.AP, math.AG

发布日期: 2026-07-16

arXiv ID: 2607.14991v1

摘要翻译: 本文研究了在Morrey空间中、具有原点孤立解析奇点的相互作用核所对应的聚集方程的局部适定性。速度场由涉及核梯度的非局部卷积给出。我们假设：在奇点附近，核梯度在双向意义下解析地等价于某个具有孤立零点的实解析函数的负幂次。

Comment: 无

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

1. 研究对象和背景

本文研究带孤立解析奇点的相互作用核 $K$ 所诱导的粘性聚集方程

在Morrey空间中的局部适定性问题。该方程建模趋化、群集等集体行为，其非线性项依赖于速度场 $v = \nabla K * u$，而 $\nabla K$ 的局部可积性直接决定双线性映射 $(u,v) \mapsto u(\nabla K * v)$ 在Morrey空间中的有界性——这是构造mild解之不动点论证的核心分析障碍。关键未知量为：给定 $K$ 在原点处具有孤立实解析奇点（即 $K(x) \sim f(x)^{-1}$，其中 $f \in C^\omega(\mathbb{R}^n,0)$ 满足 $f(0)=0$ 且 $\mathrm{d}f \not\equiv 0$ 在 $0$ 附近），确定使 $\nabla K \in L^p_{\mathrm{loc}}(\mathbb{R}^n)$ 成立的最大 $p$ 值，从而刻画Morrey空间 $M_{p,\lambda}(\mathbb{R}^n)$ 中适定性成立的指数范围。已有理论背景包括：(i) Suleiman–Precioso–Prokopczyk [32,33] 建立了在临界Morrey空间中全局适定性的尖锐条件，要求 $\nabla K$ 满足局部 $L^p$ 可积性与卷积估计；(ii) 对各向同性Riesz核 $K(x) = |x|^{-\alpha}$，经典尺度论证给出 $\nabla K \in L^p_{\mathrm{loc}}$ 当且仅当 $p < n/\alpha$，对应Morrey适定性阈值 $p^* = n/\alpha$；(iii) 然而对各向异性或退化奇点（如 $K(x,y) = (x^2 + y^4)^{-1}$），传统尺度方法失效，因奇点几何结构（如零集 $\{f=0\}$ 的切锥、Hessian退化阶）无法被单一指数 $\alpha$ 描述。本文试图填补的空白在于：建立一个完全由奇点几何决定的、适用于一般解析奇点的精确可容性判据，而非依赖于人工选取的尺度参数。具体而言，作者将问题还原为对 $\nabla K = -\nabla f / f^2$ 的局部 $L^p$ 可积性分析，并指出该可积性不再由单一“阶数”控制，而是由log-resolution $\pi : \widetilde{X} \to \mathbb{R}^n$ 所产生的除子数据 $(N_i, M_i, a_i)$ 共同决定——其中 $N_i = \nu_{E_i}(f)$ 是 $f$ 沿例外除子 $E_i = \{y_i = 0\}$ 的消失阶，$M_i = \nu_{E_i}(\nabla f)$ 是梯度 $\nabla f$ 沿 $E_i$ 的消失阶（满足 $M_i \geq N_i - 1$），$a_i$ 是Jacobi行列式 $|\det J_\pi|$ 沿 $E_i$ 的差异指数（即 $\pi^*(dx) \asymp \prod_i |y_i|^{a_i} dy$）。这些数据编码了奇点附近的体积扭曲与函数衰减的耦合效应。因此，研究对象本质是解析函数 $f$ 的零集的birational几何，而核心PDE问题转化为：如何将 $\int_{B_R(0)} |\nabla K|^p dx$ 的收敛性，通过坐标变换 $x = \pi(y)$，归约为对形如 $\int_0^\varepsilon |y_i|^{-p(2N_i - M_i) + a_i} dy_i$ 的单变量幂次积分的收敛性判别。这一转化揭示了适定性阈值的深层几何起源：它并非源于欧氏空间的齐次性，而是由resolution-theoretic不变量 $\min_i (a_i + 1)/(2N_i - M_i)$ 所主导。

2. 主要定理或主要结果

本文在以下假设下建立了完整刻画：设 $f \in C^\omega(\mathbb{R}^n,0)$ 具有孤立零点，且 $K(x) = g(x)/f(x)$，其中 $g$ 在 $0$ 附近非零解析；进一步假设 $\nabla K$ 在 $0$ 附近双侧解析等价于 $|\nabla f|/|f|^2$。令 $\pi : \widetilde{X} \to \mathbb{R}^n$ 为 $f$ 的log-resolution，$E_i$ 为其例外除子的不可约分支，记 $N_i = \nu_{E_i}(f)$, $M_i = \nu_{E_i}(\nabla f)$, $a_i$ 为对应差异指数。则主结果为：

定理 2.3（Morrey可容性精确阈值）：$\nabla K \in L^p_{\mathrm{loc}}(\mathbb{R}^n)$ 当且仅当

定理 2.4（实对数典范阈值的充分性）：定义实对数典范阈值 $\mathrm{rlct}_0(f) := \min_i (a_i + 1)/N_i$，则 $\nabla K \in L^p_{\mathrm{loc}}$ 对所有 $p < \frac{1}{2} \mathrm{rlct}_0(f)$ 成立；且当 $f$ 为Newton非退化时，$p^* = \frac{1}{2} \mathrm{rlct}_0(f)$。

推论 4.1（Morrey空间适定性）：设 $n \geq 2$, $0 \leq \lambda < n-1$, $p = n - \lambda$, $q$ 满足 $1/p + 1/q < 1$，并令 $\eta = \frac{1}{2} - \frac{n-\lambda}{2q} > 0$。若 $p < p^*$，则对任意初值 $u_0 \in M_{p,\lambda}(\mathbb{R}^n)$，方程 (2) 在时间加权Morrey空间 $E_q = \{ u : (0,\infty) \to M_{p,\lambda} \mid \sup_{t>0} \|u(t)\|_{M_{p,\lambda}} + \sup_{t>0} t^\eta \|u(t)\|_{M_{q,\lambda}} < \infty \}$ 中存在唯一全局mild解。特别地，当 $f(x) = |x|^\alpha$（各向同性情形），计算得 $N_i = \alpha$, $M_i = \alpha - 1$, $a_i = n-1$，故 $p^* = n/\alpha$，恢复经典结果；当 $f(x,y) = x^2 + y^4$（各向异性），log-resolution给出两支 $E_1,E_2$，对应 $(N_1,M_1,a_1) = (2,1,1)$, $(N_2,M_2,a_2) = (4,3,1)$，故 $p^* = \min\{2/3, 2/5\} = 2/5$，严格小于各向同性猜测 $p = 2/2 = 1$。

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

证明的核心障碍在于：对一般解析奇点，$\nabla K = -\nabla f / f^2$ 的局部 $L^p$ 可积性无法通过标准奇异积分理论（如Calderón–Zygmund）或Hardy–Littlewood极大算子估计处理，因其奇异性既非齐次亦非各向同性，传统球坐标变换失效。作者的真正创新点是将PDE可积性问题彻底几何化，通过log-resolution实现奇点的“单值化”。具体技术框架分三步：

第一步：log-resolution的构造与数据提取。区别于普通消解（ordinary resolution），作者强制采用log-resolution $\pi : \widetilde{X} \to \mathbb{R}^n$，确保 $f \circ \pi$ 和体积形式 $dx$ 同时被单值化：在局部坐标 $(y_1,\dots,y_n)$ 下，$f(\pi(y)) = u(y) \prod_i y_i^{N_i}$ 且 $\pi^*(dx) = v(y) \prod_i |y_i|^{a_i} dy$，其中 $u,v$ 为非零解析单位。此步骤的关键在于，它将原本耦合的几何（零集拓扑）与分析（衰减速率）解耦为纯代数数据 $(N_i,a_i)$。

第二步：梯度消失阶 $M_i$ 的精细估计。难点在于 $\nabla f$ 的消失阶 $M_i$ 并非由 $N_i$ 唯一确定（仅知 $M_i \geq N_i - 1$）。作者利用解析函数的Weierstrass准备定理与隐函数定理，在每支 $E_i$ 的邻域内构造坐标系，显式计算 $\nabla f \circ \pi$ 的展开，证明 $M_i = \nu_{E_i}(\nabla f)$ 是良定义且可计算的整数，且满足 $2N_i - M_i > 0$（保证分母为正）。例如对 $f = x^2 + y^4$，在 blow-up 坐标 $x = sy^2$ 下，$f = y^4(s^2 + 1)$，$\nabla f = (2x, 4y^3)$，拉回后得 $M_i = 1$ 或 $3$，严格大于 $N_i - 1$。

第三步：单变量幂次积分的收敛性判别。经变量替换，$\int_{B_R} |\nabla K|^p dx$ 被控制为有限个形如 $\int_0^\varepsilon |y_i|^{-p(2N_i - M_i) + a_i} dy_i$ 的积分之和。其收敛当且仅当指数 $-p(2N_i - M_i) + a_i > -1$，即 $p < (a_i + 1)/(2N_i - M_i)$。取所有 $i$ 的最小值即得精确阈值 $p^*$。此步骤的威力在于，它将高维振荡积分问题降维为初等积分判别，且所有常数均来自birational几何，无任何非显式常数。

整个框架的基石是分辨率理论提供的可计算性：对任意给定 $f$，其log-resolution存在且可算法构造（Hironaka定理），故 $(N_i,M_i,a_i)$ 可显式列出，$p^*$ 成为可计算的几何不变量。这超越了以往依赖特定对称性或数值模拟的方法。

4. 与之前工作的比较

本文与既有工作存在本质性推进，主要体现在四个维度：

1. 假设放宽与适用范围拓展。此前工作 [32,33] 仅处理 $\nabla K \in L^p_{\mathrm{loc}}$ 的抽象条件，未给出 $p$ 的几何判据；[24,34] 的Morrey框架限于各向同性核；而本文将适定性理论推广至任意孤立实解析奇点，涵盖各向异性（如 $f = x^2 + y^4$）、退化（如 $f = x^3 - y^2$）及高余维奇点。代价是需 $f$ 解析（非仅 $C^\infty$），因log-resolution在 $C^\infty$ 类中不总存在。

2. 时间尺度与精度提升。经典尺度论证给出 $p < n/\alpha$ 仅为必要条件，而本文给出充要条件 $p < p^*$，且 $p^*$ 可严格小于 $n/\alpha$（如前述 $f=x^2+y^4$ 例中 $p^*=2/5 < 1=n/\alpha$）。这意味着：在相同 $L^p$ 框架下，本文允许更弱的初值正则性（更大 $p$），或反之，在更小 $p$ 下仍保证适定性，从而揭示了奇点几何对解行为的精细调控。

3. 方法论范式转移。以往PDE工作多用调和分析工具（如Fourier乘子、Littlewood–Paley分解），而本文引入birational几何作为PDE分析的新语言。RLCT $\mathrm{rlct}_0(f)$ 本是代数几何中用于量化奇点复杂度的不变量（控制 $\mathrm{Vol}\{|f| \leq \varepsilon\} \sim \varepsilon^{\mathrm{rlct}_0(f)}$），本文首次将其与Morrey空间的双线性估计直接关联，并证明其半值 $\frac{1}{2}\mathrm{rlct}_0(f)$ 是可容性的显式下界。这种跨领域联系（PDE–AG–topology）是根本性创新。

4. 局限与未解决问题。本文局限于孤立奇点；对非孤立奇点（如 $f=xy$ 在 $\mathbb{R}^3$ 中的奇点集为两条直线），log-resolution产生非紧致例外除子，$a_i$ 可能非恒定，$p^*$ 的定义需推广为上确界，作者明确指出此为未来方向。此外，RLCT的计算对高维 $f$ 仍具挑战性，虽Newton多面体法（第3节）提供了部分算法，但一般情形尚无多项式时间算法。从提供内容中无法确认本文结果能否推广至无粘性情形（$\Delta u$ 项缺失），因全文框架依赖热半群估计，而无粘性方程缺乏此正则化机制。

2. 带输运噪声的三维Navier-Stokes方程中爆破现象的缺失

Absence of blow-up in the 3D Navier-Stokes equations with transport noise

作者: Antonio Agresti

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

发布日期: 2026-07-16

arXiv ID: 2607.15140v1

摘要翻译: 对具有大初值的三维Navier-Stokes方程（NSEs）解的整体光滑性进行刻画，仍是长期悬而未决的公开问题。本文证明：当三维NSEs受某一适当选取的输运噪声——一种具有物理动机的随机扰动——驱动时，以高概率存在整体光滑解。该正则化效应在任意大的次临界函数空间球（其光滑性指标为正）中的初值上一致成立。

Comment: 125 pages, 3 figures

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

1. 研究对象和背景

本文研究定义在三维环面 $ \mathbb{T}^3 = \mathbb{R}^3 / \mathbb{Z}^3 $ 上的随机偏微分方程系统：

其中 $ u : [0,\infty) \times \Omega \times \mathbb{T}^3 \to \mathbb{R}^3 $ 为未知速度场，$ P, \widetilde{P}_{k,\alpha} : [0,\infty) \times \Omega \times \mathbb{T}^3 \to \mathbb{R} $ 分别为确定性压力与随机压力；$ \{\sigma_{k,\alpha}\}_{k,\alpha} $ 是一族光滑散度自由向量场，$ \{W^{k,\alpha}_t\}_{k \in \mathbb{Z}^3_0,\, \alpha=1,2} $ 是滤波概率空间上的独立布朗运动，$ \circ $ 表示Stratonovich积分；$ \theta = (\theta_k)_{k \in \mathbb{Z}^3_0} \in \ell^2 $ 为噪声系数序列，$ \mu > 0 $ 为噪声强度。该模型源于湍流中尺度分离的物理建模：大尺度规则分量 $ u $ 与小尺度高频湍流分量 $ \sqrt{\frac{3\mu}{2}} \sum_{k,\alpha} \theta_k \sigma_{k,\alpha} \circ \dot{W}^{k,\alpha}_t $ 共同构成完整动力学。关键结构特征在于其能量守恒性：对任意光滑解 $ u $ 及其生命时长 $ \tau $，几乎必然满足路径能量等式

这表明输运噪声不改变经典能量平衡，因此标准能量方法（如 $ L^2 $-先验估计、Gronwall引理）完全失效——无法排除有限时间爆破。该问题本质上是Millennium Prize Problem在随机框架下的自然推广：确定性情形（$ \mu = 0 $）下，对任意大初值 $ u_0 \in H^\gamma(\mathbb{T}^3;\mathbb{R}^3), \gamma > 1/2 $ 的全局光滑解存在性仍未解决；而本文试图填补的关键空白在于：是否存在一类物理上合理、数学上严格构造的随机扰动，能在不破坏能量守恒的前提下，以高概率强制解避免爆破？已有工作或依赖非物理噪声（如加性白噪声），或仅适用于超粘性（hyperviscous）情形（即 Laplace 算子替换为 $ -(-\Delta)^\alpha, \alpha > 1 $），但后者破坏Navier-Stokes方程的天然标度不变性（critical scaling）。本文聚焦于真实物理模型（$ \alpha = 1 $），其核心障碍在于：输运噪声与Laplace算子具有相同微分阶数（均为二阶），无法作为低阶摄动处理；且噪声系数序列 $ \{\theta^N_k\}_N $ 满足 $ \operatorname{supp} \theta^N \subset \{k: N \le |k| \le 2N\} $，导致 $ \sup_N \| (\theta^N_k \sigma_{k,\alpha})_{k,\alpha} \|_{H^\gamma(\mathbb{T}^3;\ell^2)} = \infty $ 对任意 $ \gamma > 0 $ 成立，即系数高度振荡、缺乏一致正则性。因此，传统紧性论证、最大正则性理论及Caffarelli-Kohn-Nirenberg型局部正则性分析均面临根本性失效。

2. 主要定理或主要结果

定理4.1（全局光滑解存在性）：对任意 $ \gamma > 1/2 $、$ M \ge 1 $ 及 $ \varepsilon \in (0,1) $，存在 $ \mu > 0 $ 和 $ \theta \in \ell^2(\mathbb{Z}^3_0) $，使得对任意散度自由初值 $ u_0 $ 满足 $ \|u_0\|_{H^\gamma(\mathbb{T}^3;\mathbb{R}^3)} \le M $，随机3D NSEs (1.1) 存在唯一光滑解 $ u $，其生命时长 $ \tau = \infty $ 的概率至少为 $ 1 - \varepsilon $。更一般地，对亚临界Besov初值 $ \|u_0\|_{B^{1-2/p}_{q,p}(\mathbb{T}^3;\mathbb{R}^3)} \le M $，其中 $ p,q \in (2,\infty) $ 满足 $ 2/p + 3/q < 2 $，结论同样成立。

推论4.3（增强耗散）：在定理4.1所设条件下，存在常数 $ C = C(\mu,\theta,M,\varepsilon) > 0 $，使得对任意 $ t > 0 $，有

其中 $ u_{\text{det}} $ 是标度极限方程 $ \partial_t u_{\text{det}} + (u_{\text{det}} \cdot \nabla) u_{\text{det}} = -\nabla \Pi_{\text{det}} + (1 + 3\mu/5) \Delta u_{\text{det}} $ 的解。该不等式量化了输运噪声诱导的有效粘性增长。

定理9.3（振荡随机Stokes系统的 $ L^p(L^q) $-估计）：对 $ p,q \in (2,\infty) $ 满足 $ 2/p + 3/q < 2 $，存在常数 $ C = C(p,q,\mu,\theta) > 0 $，使得对截断系统 $ u^N_{\text{cut}} $ 对应的线性化Stokes系统 $ v^N $（见(2.11)），有

该估计的空间-时间Sobolev指标为 $ -2/p + (1-3/q) $，严格大于临界阈值 $ -1 $。

定理8.2（微观尺度能量控制）：对任意 $ R > 0 $，存在 $ \delta = \delta(R,\mu,\theta) > 0 $，使得对所有 $ N \ge 1 $ 及任意时空球 $ Q_r(z) = (t-r^2,t) \times B_r(x) $ 满足 $ r \le \delta $，有

其中 $ \alpha > 0 $ 为Hölder指数，$ C $ 与 $ N $ 无关。该估计是迭代爆破分析的基础。

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

本文的核心技术障碍在于：(i) 输运噪声与Laplace算子同阶，无法用摄动法处理；(ii) 噪声系数序列 $ \{\theta^N_k\} $ 高度振荡，导致标准能量估计仅给出Sobolev指标为 $ -3/2 $ 的先验界，远低于临界阈值 $ -1 $；(iii) 压力项 $ P, \widetilde{P}_{k,\alpha} $ 具有非局部性且缺乏时间正则性，阻碍局部能量不等式的直接应用。作者的真正创新点在于构建了一套全新的定量随机大尺度正则性理论，其支柱为四个相互耦合的原创工具：

1. 随机Caccioppoli不等式（定理5.2）：针对振荡随机Stokes系统(2.11)，作者建立了一个局部能量不等式，其形式为

   $$ \mathbb{E} \left[ \int_{Q_r} |\nabla v^N|^2 \right] \le \frac{C}{r^2} \mathbb{E} \left[ \int_{Q_{2r}} |v^N|^2 \right] + C \mathbb{E} \left[ \int_{Q_{2r}} |F|^2 \right] + \text{随机修正项}, $$

   其中随机修正项由Stratonovich-Itô校正及噪声梯度项控制。该不等式首次将经典Caccioppoli技术推广至高度振荡随机系数情形，并通过精细的局部化技巧规避了压力的非局部性。

2. 局部化随机最大 $ L^p $-正则性（定理6.1）：作者发展了一种“局部化”版本的最大正则性理论，证明对任意固定时空球 $ Q $，存在 $ p,q > 2 $ 满足 $ 2/p + 3/q < 2 $，使得

   $$ \mathbb{E} \left[ \|v^N\|_{L^p(Q; L^q)}^p \right] \le C \mathbb{E} \left[ \|F\|_{L^p(Q; L^q)}^p \right], $$

   其中常数 $ C $ 与 $ N $ 无关。关键技术是将Krylov-van Neerven-Veraar-Weis理论与Avellaneda-Lin的大尺度正则性思想结合，通过引入随机截断函数和加权范数克服系数振荡性。

3. 定量局部标度极限（定理7.2）：作者证明振荡系统(2.11)与其均匀化极限（homogenized Stokes系统）之间的误差满足

   $$ \mathbb{E} \left[ \|v^N - v_{\text{hom}}\|_{L^2(Q)}^2 \right] \le C N^{-\beta} \left( \mathbb{E} \left[ \|v^N\|_{L^2(Q)}^2 \right] + \mathbb{E} \left[ \|F\|_{L^2(Q)}^2 \right] \right), $$

   其中 $ \beta > 0 $ 由噪声谱 $ \theta^N $ 的衰减率决定。该估计将随机同质化理论与SPDE分析深度耦合，是连接微观振荡与宏观正则性的桥梁。

4. 超界矩估计（定理9.4）：基于前述三项，作者导出关键的超界估计

   $$ \sup_{N \ge 1} \mathbb{E} \left[ \sup_{t \in [0,T]} \|v^N(t)\|_{L^q}^p \right] < \infty, \quad \text{for } p,q \text{ as above}, $$

   该估计通过迭代微观尺度控制（定理8.2）与局部最大正则性联合实现，是突破临界指标瓶颈的最终环节。

4. 与之前工作的比较

本文与既有工作的本质区别体现在四个维度：

1. 物理模型与数学假设：相比Flandoli-Romito [52]对加性噪声的随机CKN理论（仅得固定时刻无奇点），本文处理的是物理上更真实的输运噪声，且要求全局时间存在性；相比Galeati [55]和Flandoli-Luo [49]的标度极限方法，本文不再依赖vorticity形式（缺乏物理动机），而是直接在速度场层面建立全局正则性。特别地，[49]中噪声被视作弱收敛到热方程的机制，而本文则需在强拓扑（如 $ L^p(L^q) $）下控制收敛，技术难度呈指数级上升。

2. 正则性阈值与适用范围：此前Agresti [2]对超粘性情形（$ -(-\Delta)^\alpha, \alpha > 1 $）的类似结果，其关键前提是 $ \alpha > 1 $ 使Laplace算子主导噪声，从而可将后者视为摄动。本文则攻克 $ \alpha = 1 $ 的临界情形，此时噪声与扩散项同阶，必须发展全新工具（如随机Caccioppoli不等式）而非摄动框架。相应地，初值空间从 $ H^\gamma, \gamma > 1/2 $ 推广至更广的亚临界Besov空间 $ B^{1-2/p}_{q,p} $，覆盖 $ W^{\varepsilon,3} $ 等经典空间。

3. 技术代价与局限：本文结论为“高概率存在”，而非几乎必然存在，这是由于标度极限过程中的随机收敛仅在概率意义下成立（见(2.9)中 $ \nabla u^N_{\text{cut}} $ 不强收敛于 $ \nabla u_{\text{det}} $）。此外，噪声系数 $ \theta $ 的构造依赖于频率截断序列 $ \{\theta^N\} $，其 $ \ell^2 $-范数归一化但 $ \ell^\infty $-范数趋于零（见(2.6)），这意味着噪声必须在高频段充分弥散，无法推广至低频主导或各向异性噪声。从提供内容中无法确认该结果能否推广至全空间 $ \mathbb{R}^3 $，因文中所有分析均基于环面 $ \mathbb{T}^3 $ 的紧性与Fourier方法。

4. 与确定性反例的兼容性：本文结论与Tao [102]的平均化NS方程爆破构造及De Lellis-Székelyhidi凸积分非唯一性结果[36]并不矛盾：前者针对修改后的PDE，后者针对弱解类；而本文保证的是强解（光滑解）以高概率全局存在，恰与确定性理论中“强解爆破尚未证实”这一现状形成互补。值得注意的是，Hofmanová-Lange-Pappalettera [62]已证明输运噪声无法恢复Euler方程弱解唯一性，本文则明确区分了‘唯一性’与‘存在性/正则性’两个不同问题，证实噪声可在不干预能量守恒的前提下单方面提升正则性。

3. Stokes 方程组在非光滑区域上的 $L^p$ Neumann 问题

The $L^p$ Neumann problem for the Stokes system in nonsmooth domains

作者: Qianyun Miao, Fa Peng

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.15042v1

摘要翻译: 我们研究 $\mathbb R^n$（其中 $n\ge 2$）中带界 Lipschitz 区域上的 Stokes 方程组的 $L^p$ Neumann 问题。我们的主要贡献是引入一种非线性梯度量——即由对 $(\nabla u,φ)$ 取适当幂次加权后的线性梯度——以替代 Geng 与 Shen（2025）先前工作中所采用的标准线性梯度。这一新方法使我们得以建立全局二阶估计，进而导出改进的反向 Hölder 不等式，并拓展了凸区域上该问题的可解范围，尤其对 $n\ge 3$ 改进了上界。

Comment: 无

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

1. 研究对象和背景

本文研究 n ≥ 2 维欧氏空间中带边界的有界 Lipschitz 区域 Ω ⊂ ℝⁿ 上 Stokes 系统的 L^p Neumann 边值问题：

其中法向导数定义为 $\frac{\partial u}{\partial \nu} := \frac{\partial u}{\partial n} - \phi n$，$n$ 为外单位法向量；边界条件在非切向极限意义下成立：对几乎处处 $x \in \partial\Omega$，有 $\lim_{y \to x,\, y \in \Gamma(x)} \frac{\partial u}{\partial \nu}(y) = g(x)$，其中锥域 $\Gamma(x) = \{ y \in \Omega : |y - x| < C \, \operatorname{dist}(y, \partial\Omega) \}$；解的正则性由非切向极大函数 $(\nabla u)^\star$ 和 $\phi^\star$ 控制，要求其属于 $L^p(\partial\Omega)$。问题核心在于：对给定 $p \in (1,\infty)$，在何种几何条件下，对满足相容性条件 $\int_{\partial\Omega} g \, d\mathcal{H}^{n-1} = 0$ 的数据 $g \in L^p(\partial\Omega; \mathbb{R}^n)$，存在唯一（模常向量）弱解 $(u,\phi)$ 满足

该问题的重要性源于其在不可压缩流体力学中的基本地位——Stokes 系统是 Navier–Stokes 方程在低雷诺数下的线性化模型，Neumann 条件对应无滑移或自由边界物理设定；同时，它构成高阶椭圆系统边界正则性理论的典型测试床。然而，与 Laplace 方程不同，Stokes 系统缺乏最大值原理、De Giorgi–Nash–Moser 估计及标量结构，导致 $L^p$ 理论极度脆弱。已知结果表明：Fabes–Kenig–Verchota (1998) 建立了 $L^2$ 可解性；通过复插值可延拓至 $p \in [2-\varepsilon(\Omega), 2+\varepsilon(\Omega)]$；Mitrea–Wright (2008) 对 $n=2,3$ 得到 $p \in (1,2+\varepsilon)$，对 $n\ge4$ 得到 $p \in \big( \frac{2(n-1)}{n+1} - \varepsilon,\, 2+\varepsilon \big)$；Geng–Shen (2025) 在凸区域上利用全局 $W^{2,2}$ 估计，将范围推进至

其中 $\varepsilon = \varepsilon(\Omega) > 0$ 依赖于区域几何，且当 $n \ge 3$ 时上界是否最优仍属开放问题。本文试图填补的关键空白在于：(i) 对凸区域，显式改进 (1.3) 中 $n \ge 3$ 的上界，消除对任意小 $\varepsilon$ 依赖；(ii) 将可解性推广至半凸区域（含曲率控制）；(iii) 建立适用于更一般 Lipschitz 区域的几何判据——以第二基本形式 $B$ 在弱 Lorentz 空间 $W^{2}L^{n-1,\infty}$（$n\ge3$）或 $W^{2}L^{1,\infty}\log L$（$n=2$）中的小性为条件，覆盖所有 $W^{2,q}$ 区域（$q > n-1$），从而统一处理 $C^{1,1-\frac{n-1}{q}}$ 类区域。这一空白的核心数学障碍在于：传统线性梯度 $(\nabla u, \phi)$ 的 $W^{2,2}$ 估计在非凸情形下无法控制边界项 $\int_{\partial\Omega \cap B_r} B(V_T^s, V_T^s)|V|^\alpha \xi^2 \, d\mathcal{H}^{n-1}$，因其符号不定；而现有反向 Hölder 方法受限于 Sobolev–Poincaré 指数提升能力，无法突破 $q = \frac{2n}{n-2}$ 瓶颈。

2. 主要定理或主要结果

本文在三类几何假设下建立了 Stokes 系统 L^p Neumann 问题的唯一可解性：

（一）凸区域（Theorem 1.2）：设 $\Omega \subset \mathbb{R}^n$ 为有界凸区域，$n \ge 3$。若 $p$ 满足

其中 $\varepsilon = \varepsilon(\Omega) > 0$，则问题 (1.1) 唯一可解。特别地，$n=3$ 时上界从 Geng–Shen 的 $4+\varepsilon$ 显著提升至 $20/3 \approx 6.67$；$n \ge 4$ 时上界为 $\frac{2(n-1)(n-2) + 2(n+1)}{n(n-1)(n-2)}$，严格大于 $\frac{2(n-1)}{n-2}$。

（二）半凸区域（Theorem 1.4）：设 $\Omega \subset \mathbb{R}^n$ 为具半凸常数 $k_0 \ge 0$ 的有界半凸区域（即局部可表为 $x_n > \varphi(x')$ 且 $\varphi(x') + \frac{k_0}{2}|x'|^2$ 凸）。若 $n=2$ 且 $1<p<\infty$，或 $n \ge 3$ 且 $p$ 满足 (1.4)，则问题 (1.1) 唯一可解。

（三）弱正则 Lipschitz 区域（Theorem 1.5）：设 $\Omega \subset \mathbb{R}^n$ 为有界 Lipschitz 区域，其边界第二基本形式 $B$ 满足：当 $n \ge 3$ 时 $B \in W^{2}L^{n-1,\infty}(\partial\Omega)$，当 $n = 2$ 时 $B \in W^{2}L^{1,\infty}\log L(\partial\Omega)$，且存在充分小常数 $\delta = \delta(n, L_\Omega, d_\Omega) > 0$ 使得

则当 $n=2$ 且 $1<p<\infty$，或 $n \ge 3$ 且 $p$ 满足 (1.4) 时，问题 (1.1) 唯一可解。特别地，该结果覆盖所有 $W^{2,q}$ 区域（$q > n-1$），因 $W^{2,q} \hookrightarrow W^{2}L^{n-1,\infty}$（$n \ge 3$）且 $\lim_{r\to 0} \Psi_{\Omega,B}(r) = 0$。

所有结论均基于关键引理 Lemma 3.1 的非线性梯度估计：对 $\alpha \in \big[0, \frac{2(n+1)}{n(n-1)}\big)$，设 $(u,\phi)$ 为局部 Neumann 问题 (3.1) 的光滑解，则存在常数 $C = C(n,\alpha,d_\Omega,L_\Omega)$ 及 $\varepsilon = \varepsilon(n,\alpha,d_\Omega,L_\Omega) > 0$，使得对任意 $y \in \partial\Omega$、$r \in (0,1)$，

此估计直接导出反向 Hölder 不等式 (1.7)，进而保证 $L^p$ 可解性。

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

本文的核心创新在于构造并控制一个非线性梯度量 $|V|^\alpha V$（其中 $V = (V^1,\dots,V^n)$，$V_i^s = \partial_i u_s - \delta_{si} \phi$），取代传统线性梯度 $(\nabla u, \phi)$，从而突破 $W^{2,2}$ 估计的指数瓶颈。证明框架包含三个递进层次：

1. 向量微分恒等式与边界项提取：关键工具是 Lemma 2.2 的向量恒等式 $\operatorname{trace}((\nabla X)^2) = (\operatorname{div} X)^2 + \operatorname{div}(\nabla X X - \operatorname{div}(X) X)$，将其应用于 $X = V^s$ 并结合 Stokes 方程 $-\Delta u + \nabla \phi = 0$、$\operatorname{div} u = 0$，导出 Lemma 3.2 的主不等式：

   $$ \left( \frac{2(n+1)}{n(n-1)} - \alpha \right) \int_{\Omega \cap B_r(y)} \big( |\nabla^2 u|^2 + |\nabla \phi|^2 \big) |V|^\alpha \xi^2 \, dx \le C_1 \int_{\Omega \cap B_r(y)} |V|^{\alpha+2} |\nabla \xi|^2 \, dx + C_2 \sum_{s=1}^n \int_{\partial\Omega \cap B_r(y)} B(V_T^s, V_T^s) |V|^\alpha \xi^2 \, d\mathcal{H}^{n-1}. $$

   此处 $\alpha$ 的上界 $\frac{2(n+1)}{n(n-1)}$ 直接源于恒等式中系数 $\frac{2(n+1)}{n(n-1)}$ 的出现，这是突破传统 $W^{2,2}$ 方法的关键代数约束。

2. 几何分类下的边界项控制：

   • 凸区域：利用凸性 $B \le 0$，边界项非正，直接消去，得到干净的内部估计 (3.8)，进而通过截断函数 $\xi$ 得到 Lemma 3.1(i) 的全局估计 (3.2)。
   • 半凸区域：此时 $B(V_T^s, V_T^s) \le k_0 |V_T^s|^2$，需借助加权迹不等式（Proposition 3.4）：对 $\varrho \in L^1(\partial\Omega)$，有 $\int_{\partial\Omega \cap B_R} v^2 \varrho \, d\mathcal{H}^{n-1} \le c \Psi_{\Omega,\varrho}(R) \int_{\Omega \cap B_R} |\nabla v|^2 \, dx$。取 $\varrho = |V|^\alpha$，并利用 $\Psi_{\Omega,|V|^\alpha}(r) \lesssim r$（由 $|V|$ 的局部有界性及 $\alpha$ 范围保证），将边界项吸收进左端，获得 (3.2) 的修正版本。
   • 弱正则 Lipschitz 区域：同样应用 Proposition 3.4，但此时 $\varrho = |B|$，故 $\Psi_{\Omega,|B|}(r) < \delta$ 的小性条件确保边界项系数 $C_2 \delta$ 可被左端系数 $\frac{2(n+1)}{n(n-1)} - \alpha$ 主导，从而完成吸收。

3. Sobolev–Poincaré 自改进与指数提升：由 (3.2) 推出加权 Sobolev 不等式 $\| |V|^{1+\alpha/2} \|_{L^{2n/(n-2)}(\Omega \cap B_{r/2})} \lesssim \| |V|^{1+\alpha/2} \|_{L^2(\Omega \cap B_r)}$，再结合标准自改进论证（John–Nirenberg 型迭代），将可积指数从 2 提升至 $q = \frac{2n}{n-2} + \varepsilon$ 的邻域；由于 $|V| \sim \sqrt{|\nabla u|^2 + \phi^2}$，最终得到 (3.3) 中 $q < \frac{n(\alpha+2)}{n-2} + \varepsilon$ 的反向 Hölder 不等式。$\alpha$ 的增大直接拓宽 $q$ 的上界，从而通过 Geng–Shen 的标准框架（见 (1.7)）将 $L^p$ 可解范围扩展至 (1.4)。

4. 与之前工作的比较

本文相较既有工作实现了三重实质性推进，代价与局限亦清晰可辨：

（一）与 Geng–Shen (2025) 的比较：

• 推进：Geng–Shen 使用线性梯度 $(\nabla u, \phi)$ 的 $W^{2,2}$ 估计 (1.9)，仅能获得 $q = \frac{2n}{n-2} + \varepsilon$，导致上界为 $\frac{2(n-1)}{n-2} + \varepsilon$（$n \ge 4$）及 $4+\varepsilon$（$n=3$）。本文通过引入非线性权重 $|V|^\alpha$，将 $W^{2,2}$ 估计升级为加权估计 (3.2)，使 Sobolev 指数提升至 $q < \frac{n(\alpha+2)}{n-2} + \varepsilon$，从而显式改进上界（如 $n=3$ 时 $20/3 > 4$）。$\alpha$ 的最优取值 $\alpha^* = \frac{2(n+1)}{n(n-1)} - \eta$（$\eta>0$ 小）决定了新上界的精确值。
• 假设差异：Geng–Shen 要求凸性以保证 $B \le 0$，本文在相同凸性假设下获得更强结论，未增加额外条件。
• 代价与局限：非线性估计 (3.2) 的证明高度依赖向量恒等式 Lemma 2.2 的精细代数结构，其系数 $\frac{2(n+1)}{n(n-1)}$ 是硬性上限；当 $\alpha \ge \frac{2(n+1)}{n(n-1)}$ 时 Lemma 3.2 左端非正（Remark 3.3），方法失效。因此，上界改进存在理论天花板，尚未达到 $p=\infty$（$n \ge 3$）。

（二）与 Mitrea–Wright (2008) 及 Fabes–Kenig–Verchota (1998) 的比较：

• 适用范围：Mitrea–Wright 仅覆盖 $p < 2+\varepsilon$（$n=2,3$）或窄区间（$n \ge 4$）；Fabes–Kenig–Verchota 限于 $L^2$。本文将 $p$ 范围大幅扩展至 $\frac{2(n-1)}{n+1} - \varepsilon < p < \text{improved upper bound}$，首次在非 $C^1$ 区域上实现大 $p$ 可解性。
• 几何要求：Mitrea–Wright 仅需 Lipschitz 连续性，但 $p$ 范围窄；本文要求凸性或弱正则性，换取 $p$ 范围的扩大，体现“几何换分析”的典型权衡。

（三）与 Cianchi–Maz’ya (2020) 及 Antonini–Cianchi–Ciraolo–Farina–Maz’ya (2022) 的比较：

• 推进：Cianchi–Maz’ya 针对 Laplace 方程建立 $W^{2}L^{n-1,\infty}$ 判据；本文首次将此类弱 Lorentz 空间几何条件成功移植至耦合的 Stokes 系统，并给出明确的小性阈值 $\delta$（Theorem 1.5）。Proposition 3.4 的加权迹不等式直接承袭自 [1]，但本文赋予其新的物理含义——控制 Stokes 系统中由压力 $\phi$ 与速度梯度耦合产生的边界扰动。
• 代价与局限：Theorem 1.5 要求 $\lim_{r\to 0} \Psi_{\Omega,B}(r) < \delta$，这是一个比 $W^{2,q}$（$q>n-1$）更强的条件（因 $W^{2,q} \hookrightarrow W^{2}L^{n-1,\infty}$ 但反之不成立）；且 $\delta$ 依赖于 $n, L_\Omega, d_\Omega$，未给出普适数值。此外，对 $n=2$，$W^{2}L^{1,\infty}\log L$ 蕴含 $C^1$ 正则性（Remark 1.6(i)），而 $n \ge 3$ 时 $W^{2}L^{n-1,\infty}$ 不蕴含 $C^1$，表明该条件在高维更具威力，但也更难验证。

综上，本文在凸/半凸/弱正则三类几何框架下，以非线性梯度估计为核心工具，系统性地拓展了 Stokes 系统 $L^p$ Neumann 问题的可解范围，其技术路径与几何判据为后续研究（如 Navier–Stokes 的非线性问题）提供了新范式。

4. 奇异加权估计中解析有限秩修正：三维欧拉方程奇点的计算机辅助证明

Analytic finite-rank corrections for singularly weighted estimates in a computer-assisted proof of 3D Euler singularity

作者: Jiajie Chen, Thomas Y. Hou

类别: math.AP, math.NA

发布日期: 2026-07-16

arXiv ID: 2607.15256v1

摘要翻译: 流体方程自相似奇点形成的计算机辅助证明通常依赖于数值构造的近似剖面。在数值构造剖面附近建立扰动稳定性的一种有效方法，是采用在奇点附近具有奇异权重的加权能量估计。然而，此类加权范数要求满足精确的局部消失条件，而这些条件既不被方程本身自动保持，也不被数值构造过程自动满足。本文回顾了在 [ChenHou2023a,ChenHou2023b] 中首次发展的解析低秩修正方法，以克服这一困难。数值步骤确定系数、严格界以及显式全局基表示下的低阶缺陷模；而所需的消失条件则通过在光滑基下对相关量进行泰勒展开所导出的低秩修正来解析地施加。为完整性起见，我们简要回顾了二维Boussinesq/三维Euler稳定性论证中的奇异加权估计与定量有限秩扰动方法，其中奇异权重及所需消失阶由此自然产生。在此背景下，我们在简化设定中提出局部修正原理，解释对近似时空解与流函数之数值构造中残差误差的修正，并讨论该方法在非局部偏微分方程的计算机辅助稳定性分析中的更广泛适用性。

Comment: 24 pages

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

1. 研究对象和背景

本文研究对象是三维轴对称无旋欧拉方程（3D axisymmetric Euler equations without swirl）在柱坐标 $ (r,z) \in [0,1] \times \mathbb{T} $ 中、具有光滑初值与边界条件下的有限时间奇点形成问题。其控制方程为

其中速度场 $ \mathbf{u} = u^r(r,z,t) \mathbf{e}_r + u^z(r,z,t) \mathbf{e}_z $，对应涡量 $ \omega^\theta = \partial_z u^r - \partial_r u^z $ 满足标量输运方程

该系统在边界 $ r=0 $（对称轴）和 $ r=1 $ 处满足无穿透条件，在 $ z \in \mathbb{T} $ 上周期。作者关注的是Hou–Luo型初始构型——即奇点在边界 $ r=1 $ 附近、远离对称轴处形成的情形。为刻画该奇点的渐近结构，采用动态重标度（dynamic rescaling）：定义重标度时间 $ \tau $ 及尺度函数 $ C_\omega(\tau), C_l(\tau) $，令

其中 $ x = (x,y) \in \mathbb{R}^2_+ $ 为上半平面坐标，对应二维Boussinesq近似模型

其中 $ u = \nabla^\perp (-\Delta)^{-1} \omega $，且 $ c_l(t), c_\omega(t) $ 由归一化条件

确定，从而强制保持 $ \theta_{xx}(t,0) = \theta_{0,xx}(0), \, \omega_x(t,0) = \omega_{0,x}(0) $ 对所有时间成立。该归一化封闭了系统，并使线性化算子在原点附近具有可控的局部结构。稳定性分析的核心在于扰动 $ \tilde{G} = (\omega - \bar{\omega}, \theta - \bar{\theta}, c_\omega - \bar{c}_\omega, c_l - \bar{c}_l) $ 的能量控制，其中 $ (\bar{\omega}, \bar{\theta}, \bar{c}_\omega, \bar{c}_l) $ 是数值构造的近似自相似剖面。关键障碍在于：为建立线性稳定性（即获得 $ \lambda > 0 $ 的衰减率），必须在奇异加权空间中进行估计，典型权重为 $ \phi(x) = |x|^{-\gamma} $ 或 $ \phi(x) = |x|^{-\alpha} y^{-\beta} $；而此类范数要求被控函数在原点 $ x = 0 $ 处精确满足三阶消失条件

然而，由原始方程的奇点位置（边界 $ r=1 $）、对称性（$ \omega $ 关于 $ x $ 奇、$ \theta $ 关于 $ x $ 偶）及数值构造过程所自然继承的消失阶仅为二次：

这一阶数缺口导致未修正的扰动在 $ \| f \phi \|_{L^\infty} $ 范数下无界，使得整个加权能量估计框架崩溃。已有工作（如Chen–Hou 2023a,b）虽引入了有限秩修正以提升消失阶，但其数值实现依赖离散网格与截断，无法严格保证修正后函数在连续域上满足 $ O(|x|^3) $；而计算机辅助证明要求所有常数与消失性质均为解析可验证。因此，本文试图填补的空白是：在不破坏数值构造可验证性的前提下，设计一种解析的、全局定义的、基于泰勒展开的低秩修正机制，使得修正后的扰动、残差、以及由其诱导的速度场，均严格满足 $ O(|x|^3) $ 消失条件，并仍保留在显式基函数表示（如Chebyshev多项式展开）中，从而确保其属于奇异加权空间 $ L^\infty(\phi) $ 与 $ C^{1/2}_{g_i} $。

2. 主要定理或主要结果

本文未宣称新定理，而是系统阐述并严格验证了一种已在[Chen–Hou 2023a,b]中成功应用的解析有限秩修正方法。其核心结论可形式化为以下三个构造性命题：（1）设 $ a(x) \in C^\infty(\mathbb{R}^2_+) $ 为数值构造的初始数据或核函数，其在原点处仅满足 $ a(x) = a_0 + a_1 x + a_2 y + O(|x|^2) $，即二次消失缺失。则存在一个显式构造的解析函数 $ a^{\text{cor}}(x) = a(x) + \sum_{k=1}^3 \alpha_k \psi_k(x) $，其中 $ \{\psi_k\}_{k=1}^3 $ 是由 $ \{1, x, y\} $ 的线性组合构成的全局光滑基函数（如 $ \psi_1 = x^2, \psi_2 = xy, \psi_3 = y^2 $），系数 $ \alpha_k $ 由解线性方程组 $ \sum_{k=1}^3 \alpha_k \partial^\beta \psi_k(0) = -\partial^\beta a(0) $ 确定（$ |\beta| = 2 $），使得 $ a^{\text{cor}}(x) = O(|x|^3) $ 在原点严格成立，且 $ a^{\text{cor}} $ 仍由同一组全局基函数精确表示。（2）设 $ \tilde{g}(t,x) $ 是线性演化方程 $ \partial_t g = L g $ 的数值近似解，其初始误差 $ \tilde{g}(0,x) - a(x) = O(|x|^2) $，且演化残差 $ (\partial_t - L)\tilde{g}(t,x) = O(|x|^2) $。则通过两次解析低秩修正——一次作用于初始值，一次作用于源项——可构造出修正解 $ g^{\text{cor}}(t,x) = \tilde{g}(t,x) + \sum_{j=1}^3 \beta_j(t) \psi_j(x) $，使得 $ g^{\text{cor}}(0,x) - a(x) = O(|x|^3) $ 且 $ (\partial_t - L)g^{\text{cor}}(t,x) = O(|x|^3) $ 对所有 $ t \geq 0 $ 一致成立；进而其Duhamel表示中的残差算子 $ R(f_{W_1},t) = P(f_{W_1}(t)) \cdot (g^{\text{cor}}(0,x) - a(x)) + \int_0^t P(f_{W_1}(s)) \cdot (\partial_s - L)g^{\text{cor}}(t-s,x) \, ds $ 满足 $ \|R(f_{W_1},t)\|_{L^\infty(\phi)} \leq \hat{\varepsilon} \sup_{s\leq t} \|f_{W_1}(s)\|_{L^\infty(\phi)} $，其中 $ \hat{\varepsilon} \ll 1 $ 为可计算小常数。（3）设 $ \Psi $ 是由数值求解泊松方程 $ -\Delta \Psi = \omega $ 得到的流函数近似解，其残差 $ F_\Psi = -\Delta \Psi - \omega $ 仅满足 $ F_\Psi(x) = O(|x|^2) $。则存在一个有限秩修正 $ \delta \Psi(x) = \sum_{k=1}^3 \gamma_k \chi_k(x) $，其中 $ \{\chi_k\} $ 是满足 $ \Delta \chi_k \in \text{span}\{1,x,y\} $ 的显式调和基（如 $ \chi_1 = x^2 - y^2, \chi_2 = xy, \chi_3 = x^2 + y^2 $），使得修正后的流函数 $ \Psi^{\text{cor}} = \Psi + \delta \Psi $ 满足 $ F_\Psi^{\text{cor}} = -\Delta \Psi^{\text{cor}} - \omega = O(|x|^3) $，且其诱导的速度场 $ u^{\text{cor}} = \nabla^\perp \Psi^{\text{cor}} $ 的误差 $ u^{\text{cor}} - u $ 亦属于 $ L^\infty(\phi) $。这三个构造共同确保了线性化系统 $ \partial_t \tilde{W} = L \tilde{W} $ 的解分解 $ \tilde{W} = \tilde{W}_1 + \tilde{W}_2 $ 中，$ \tilde{W}_1 $ 严格属于加权空间，从而可应用奇异加权 $ L^\infty $ 和 $ C^{1/2}_{g_i} $ 估计，最终获得指数衰减 $ \|\tilde{W}_1(t)\|_{E_M} \leq C e^{-\lambda t} \|\tilde{W}_1(0)\|_{E_M} $，其中能量泛函 $ E_M(f) = \max_{i\leq 3} \left( \|f_i \phi_i\|_{L^\infty} + \|f_i \psi_i\|_{C^{1/2}_{g_i}} \right) $，权重 $ \phi_i(x) \sim |x|^{-\gamma_i}, \, \psi_i(x) \sim |x|^{-\sigma_i} $，且 $ \gamma_i > a_3^{(i)}/a_1^{(i)} $ 由局部模型 $ \omega_t + (a_1 x \partial_x + a_2 y \partial_y) \omega = -\omega + \eta, \, \eta_t + (a_1 x \partial_x + a_2 y \partial_y) \eta = a_3 \eta $ 的系数决定（例如 $ a_1 \approx 0.5, a_2 \approx 5.5, a_3 \approx 0.5 $）。该结果是[Chen–Hou 2023a,b]中非线性稳定性定理 $ \frac{d}{dt} E(t) \leq -\lambda E(t) + C E(t)^2 + \varepsilon $ 成立的前提，其中 $ \varepsilon $ 的定量上界 $ 4C\varepsilon < \lambda^2 $ 依赖于修正后残差的精确阶数。

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

本文的核心技术障碍并非传统PDE中的非线性或非局部性，而是数值构造与解析分析框架之间的根本性不兼容：计算机生成的近似解本质上是离散网格上的数值向量，而奇异加权能量估计要求被控函数在连续域上具备精确的、高阶的局部消失性质（$ O(|x|^3) $）。若直接将数值解插值为连续函数，其消失阶无法严格保证；若强行在离散点施加消失条件，则无法导出全局解析表达式，致使后续的Riesz变换、Biot-Savart律等非局部算子作用后的误差无法进入加权空间。作者的真正创新点在于提出并严格实现了一种“数值确定系数，解析执行修正”（numerically determine coefficients, analytically perform correction）的二分法框架。该框架包含三个相互支撑的关键工具：（1）全局光滑基表示与局部泰勒匹配：所有数值构造（剖面 $ \bar{\omega}, \bar{\theta} $、近似解 $ \tilde{g} $、流函数 $ \Psi $）均被表示为同一组全局光滑基函数（如截断的Chebyshev多项式 $ \{T_i(x) T_j(y)\} $）的线性组合。这使得每个数值解对应一个在整个 $ \mathbb{R}^2_+ $ 上明确定义的解析函数。修正操作不修改基函数本身，而仅调整其系数。具体而言，对任意函数 $ f(x) = \sum_{i,j} c_{ij} T_i(x) T_j(y) $，其在原点的二阶泰勒多项式 $ f_{\leq 2}(x) $ 是 $ c_{ij} $ 的线性函数。作者构造一个低秩算子 $ K: \mathbb{R}^{N \times N} \to \mathbb{R}^{3} $，将系数矩阵 $ \{c_{ij}\} $ 映射到其二阶泰勒系数向量 $ (\partial_{xx}f(0), \partial_{xy}f(0), \partial_{yy}f(0)) $。然后，求解一个显式的 $ 3 \times 3 $ 线性方程组 $ K(\{\alpha_{ij}\}) = -K(\{c_{ij}\}) $，得到修正系数 $ \{\alpha_{ij}\} $，其对应的基函数组合 $ \delta f(x) = \sum_{i,j} \alpha_{ij} T_i(x) T_j(y) $ 即满足 $ f + \delta f = O(|x|^3) $。此过程完全解析，且修正后函数仍属同一基表示族，保证了所有后续计算（如 $ \nabla^\perp (-\Delta)^{-1} $ 作用）的可验证性。（2）双重修正的Duhamel误差控制：在定量有限秩扰动方法中，近似解 $ \tilde{g} $ 的误差需同时控制其初始值和演化源项。作者发现，单次修正只能处理其一。因此，他们发展了双重解析修正：首先，对 $ \tilde{g}(0,x) $ 施加一次低秩修正，使其精确匹配 $ a(x) $ 的三阶泰勒展开；其次，将修正后的初始值代入数值求解器，得到一个新的近似解 $ \tilde{g}_1 $，再对其残差 $ (\partial_t - L)\tilde{g}_1 $ 进行第二次低秩修正，构造出 $ g^{\text{cor}} $。这种迭代式修正确保了Duhamel公式中出现的两个关键误差项 $ g^{\text{cor}}(0,x) - a(x) $ 和 $ (\partial_t - L)g^{\text{cor}} $ 同时达到 $ O(|x|^3) $ 阶，从而使残差算子 $ R $ 的范数可被 $ \hat{\varepsilon} \|f_{W_1}\| $ 控制。（3）调和基驱动的流函数修正：泊松方程的数值求解残差 $ F_\Psi $ 的消失阶不足，会通过 $ u = \nabla^\perp \Psi $ 传导至速度场，破坏 $ \|u \phi\|_{L^\infty} $ 的有界性。作者的创新在于不直接修正 $ \Psi $，而是选择一组特殊的、其拉普拉斯算子像落在低阶多项式空间内的调和基 $ \{\chi_k\} $（例如 $ \chi_1 = x^2 - y^2 $，因 $ \Delta \chi_1 = 0 $；$ \chi_2 = x^2 + y^2 $，因 $ \Delta \chi_2 = 4 $）。这样，修正 $ \delta \Psi = \sum \gamma_k \chi_k $ 不会引入新的高阶奇异性，且 $ -\Delta \delta \Psi $ 是已知的低阶多项式，可精确抵消 $ F_\Psi $ 的二阶部分。此方法将一个困难的椭圆PDE修正问题，转化为一个简单的代数匹配问题，是保证非局部速度场误差可控的关键。

4. 与之前工作的比较

本文方法与既有工作的本质区别在于其解析性、可验证性与功能定位。与经典紧致扰动理论（如[2,6,9,25,28]）相比，后者通常依赖半群理论或抽象谱分析，所得常数 $ C $ 非计算性（non-computable），无法用于计算机辅助证明所需的定量验证；而本文的定量有限秩扰动结合解析低秩修正，所有常数（包括 $ \hat{\varepsilon}, \lambda, C $）均可通过区间算术和符号计算严格界定。与纯数值方法（如标准谱方法或有限元）相比，后者虽能产生高精度近似，但其误差在奇异权重下无界，且无法提供消失阶的解析保证；本文则将数值的灵活性与解析的刚性相结合，数值步骤仅负责高效生成系数，解析步骤则负责赋予这些系数以严格的数学意义。与Chen–Hou早期工作（[11,13]）相比，本文并非简单复述，而是首次将“解析低秩修正”从一个隐含的技术细节中剥离出来，作为一项独立的、可迁移的、具有普适原理的方法论进行系统阐述。此前的工作未明确区分“数值构造”与“解析修正”的哲学分工，也未给出修正基函数 $ \{\psi_k\}, \{\chi_k\} $ 的通用构造法则及其与消失阶的精确对应关系。与Elgindi等人的工作（[20,21,22]）相比，后者依赖于 $ C^{1,\alpha} $ 初值中的小参数 $ \alpha $ 来构造奇点，其稳定性分析多在Hölder空间中进行，无需处理 $ O(|x|^3) $ 这类高阶消失条件；而本文针对的是光滑初值（$ C^\infty $），其奇点更“尖锐”，迫使分析框架必须容纳更强的奇异性，因而对消失条件的要求也更高。与Cordoba–Martinez-Zoroa–Zheng [19] 或Shao–Wei–Zhang–Zhang [29] 的Schauder不动点方法相比，后者构造的是精确自相似解，其稳定性分析是后续问题；而本文服务于计算机辅助证明，其目标是验证一个数值近似解的邻域稳定性，因此必须处理由数值误差引入的、不可回避的残差项，这是不动点方法所不涉及的。本文方法的代价在于其高度的定制化：修正基的选择、权重的指数 $ \gamma $、以及整个估计框架，都紧密依赖于特定奇点场景（Hou-Luo型，边界奇点）下的局部动力学（如 $ a_1 \approx 0.5, a_2 \approx 5.5 $）。它并非一个黑箱通用算法，而是一个需要深刻理解局部线性化算子结构的、面向特定问题的精密工具。其局限性在于，目前尚未推广到三维全空间或具有复杂几何边界的设置；此外，对于更高阶的消失要求（如 $ O(|x|^4) $），修正的秩会线性增长，可能带来计算复杂度的显著上升。作者未显式展开与[14,15,16,23]等其他使用奇异加权估计的工作的比较，但从上下文可知，那些工作或针对1D模型，或处理的是解析剖面，其消失条件可通过复分析或幂级数直接保证，无需本文所发展的数值-解析协同修正机制。

5. 一维Nakao问题的精确生命期估计与类Huygens效应

Sharp lifespan estimates and a Huygens-type effect for one-dimensional Nakao’s problem

作者: Wenhui Chen

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14736v1

摘要翻译: 我们研究一维Nakao问题的小初值解的生命期，该问题弱耦合了一个半线性阻尼波动方程与一个半线性波动方程。对属于自然能量与可积性类的紧支集初值，我们建立了生命期的下界估计。在标准积分正性假设下，这些下界在 $(p,q)$-平面上的一个大区域中与已知的上界估计相匹配，包括当 $q\geqslant3$ 时所有 $p>1$ 的情形。我们进一步利用了一种类Huygens型抵消效应：条件 $\int_{\mathbb{R}}v_1(x)\,\mathrm{d}x=0$ 消除了齐次自由波的常数内部剖面，从而在非空参数区域内给出严格改进的生命期下界。证明结合了阻尼分量的扩散型 $L^m-L^r$ 估计与一维d’Alembert公式，并在一个依赖于时间的延拓框架内完成。

Comment: 无

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

1. 研究对象和背景

本文研究一维Nakao问题，即如下弱耦合Cauchy问题：

其中 $p, q > 1$，$\varepsilon > 0$ 表征初值尺度。该系统的核心特征在于其两个分量具有本质不同的线性动力学：$u$ 满足摩擦阻尼波动方程（亦称带耗散项的波动方程），其线性演化呈现扩散型行为；而 $v$ 满足自由波动方程，其线性解由 d’Alembert 公式精确给出：

在一维情形下，自由波解在 $L^\infty$ 中一般不衰减——事实上，当 $\int_{\mathbb{R}} v_1(x)\,dx \neq 0$ 且初值紧支时，对任意 $t>R$，有 $v_{\text{lin}}(t,x) = \frac{1}{2}\int_{\mathbb{R}} v_1(y)\,dy$ 在区域 $|x|<t-R$ 内恒为常数，形成一个“内部平台”（interior plateau）。这一非衰减性使得非线性源项 $|u|^q$ 的驱动无法被常规能量方法压制，从而导致有限时间爆破成为必然。因此，核心科学问题是：在小初值 $\varepsilon \ll 1$ 下，解的最大存在时间 $T_\varepsilon$ 如何依赖于 $\varepsilon$、$p$ 和 $q$？

该问题介于两类经典基准模型之间：纯波动-波动耦合系统（如 $u_{tt}-u_{xx}=|v|^p$, $v_{tt}-v_{xx}=|u|^q$）与纯阻尼-阻尼耦合系统（如 $u_{tt}-u_{xx}+u_t=|v|^p$, $v_{tt}-v_{xx}+v_t=|u|^q$）。前者临界行为由 Strauss 型机制主导，其生命期下界为 $T_\varepsilon \gtrsim \varepsilon^{-\frac{pq-1}{q+1}}$；后者则受 Fujita 型机制支配，因扩散效应更强，生命期通常更长，例如 $T_\varepsilon \gtrsim \varepsilon^{-\frac{pq-1}{q+2}}$。然而，Nakao 系统的混合特性使其无法直接套用任一框架：$u$ 的阻尼结构抑制其增长，但 $v$ 的非衰减性又使 $|u|^q$ 源项持续激发 $v$，进而通过 $|v|^p$ 反馈放大 $u$。尤其在一维，$v_{\text{lin}}$ 的零阶渐近行为完全由 $\int v_1$ 决定，这引入了一个新的自由度——是否满足 $\int_{\mathbb{R}} v_1(x)\,dx = 0$。该条件虽不改变方程本身，却彻底改变 $v_{\text{lin}}$ 的空间分布：由均匀平台退化为仅支撑在光锥边界邻域 $|x| \in [(t-R)_+, t+R]$ 的“类惠更斯”结构（见 Lemma 3.2）。这种几何上的局域化显著削弱了 $|u|^q$ 对 $v$ 的积分驱动强度，从而可能提升生命期。此前，[25] 已证所有 $p,q>1$ 下必爆破；[6,13] 给出了上界 $T_\varepsilon \lesssim \varepsilon^{-\frac{pq-1}{q+2}}$（要求 $\int (u_0+u_1)>0$ 且 $\int v_1>0$）；[8,4] 在高维建立了全局解；但一维下匹配的下界始终缺失。本文旨在填补这一空白，并系统揭示零均值条件 $\int v_1=0$ 所引发的精细尺度效应。

2. 主要定理或主要结果

设 $T_\varepsilon$ 为系统 (1.1) 的最大存在时间。定义区域

定理 2.1（通用生命期下界）：设 $p,q>1$，初值满足 $(u_0,u_1) \in (H^1 \cap L^1) \times (L^2 \cap L^1 \cap L^q)$，$(v_0,v_1) \in H^1 \times (L^2 \cap L^1)$，且紧支于 $[-R,R]$。则存在 $\varepsilon_0>0$, $c>0$（仅依赖 $p,q,R$ 及初值轮廓，与 $\varepsilon$ 无关），使得对所有 $\varepsilon \in (0,\varepsilon_0]$，有

推论 2.2（精确生命期估计）：若额外满足积分正性条件 $\int_{\mathbb{R}} (u_0+u_1) > 0$ 与 $\int_{\mathbb{R}} v_1 > 0$，则当 $(p,q) \in \Omega_{\text{Nakao},1}$ 时，

即 (2.1) 中的第一种情形是 sharp 的。

定理 2.3（类惠更斯改进）：若在定理 2.1 假设下再添加零均值条件 $\int_{\mathbb{R}} v_1(x)\,dx = 0$，并定义 $P_H(q)$ 为方程 $q(3-q)p^2 - (2q^2-q-1)p - 2 = 0$ 在 $(1,\infty)$ 内的唯一根（显式为 $P_H(q) = \frac{2q^2-q-1 + \sqrt{(2q^2-q-1)^2 + 8q(3-q)}}{2q(3-q)}$），则存在 $\varepsilon_0>0$, $c>0$，使得对所有 $\varepsilon \in (0,\varepsilon_0]$，有

备注 2.4（改进幅度）：对所有 $p,q>1$，有 $\frac{pq(pq-1)}{pq(q+1)+1} > \frac{pq-1}{q+2}$；当 $1<q<3$ 时，$\frac{2q(pq-1)}{pq(3-q)+3q+1} - \frac{pq-1}{q+2} = \frac{(pq-1)q(3-q)[P^*(q)-p]}{(q+2)[pq(3-q)+3q+1]}$，故当 $p < P^*(q)$ 时，(2.5) 的第一种情形严格优于 (2.1) 的第一种情形；当 $p = P^*(q)$ 时二者幂次相等；当 $p > P^*(q)$ 时两者一致。

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

证明的核心障碍在于克服一维自由波的非衰减性与阻尼波的缓慢衰减之间的张力。传统能量法在 $L^2$ 框架下失效，因为 $v_{\text{lin}}$ 的 $L^\infty$ 不衰减导致 $\| |u|^q \|_{L^2}$ 无法被控制；而直接使用 $L^\infty$ 估计又因 $u$ 的阻尼结构缺乏足够衰减率而受阻。作者的真正创新点在于构建一个双尺度、分区域的比较函数框架，并利用d’Alembert 公式的精确结构与阻尼波的 $L^m-L^r$ 扩散型估计进行协同控制。

首先，在线性估计层面，作者调用 [10] 的尖锐结果：对阻尼波算子 $D(t)$，有 $\|D(t)f\|_{L^r} \lesssim \langle t \rangle^{-\frac{1}{2}(\frac{1}{m}-\frac{1}{r})} \|f\|_{L^m} + e^{-ct}\|f\|_{L^r}$（引理 3.1）。关键在于，该估计允许选择 $m=r=q$，从而获得最优时间增长指数 $\|u_{\text{nlin}}(t,\cdot)\|_{L^q} \lesssim \int_0^t \langle \tau \rangle^{\frac{1}{q}} \|v(\tau,\cdot)\|_{L^\infty}^p \, d\tau$（命题 4.1）。其次，对自由波分量，作者并未使用粗糙的 $L^\infty$ 能量估计，而是深入挖掘 d’Alembert 公式：当 $\int v_1 = 0$ 时，引理 3.2 给出 $\operatorname{supp} v_{\text{lin}}(t,\cdot) \subset \{ x : (t-R)_+ \leqslant |x| \leqslant t+R \}$，这意味着 $v_{\text{lin}}$ 的 $L^s$ 范数对所有 $s$ 是一致有界的，而非像一般情形下随 $t^{1/s}$ 增长。这一几何局域化是后续改进的根源。

在此基础上，作者设计了两种 Bootstrap 函数：对通用情形，定义 $\Phi_\varepsilon(t) = \varepsilon + \varepsilon^q H_q(t)$，其中 $H_q(t) = \int_0^t \langle \tau \rangle^{-\frac{q+1}{2}} d\tau$（其渐近为 $t^{\frac{3-q}{2}}$、$\ln t$ 或常数）；对类惠更斯情形，则构造更精细的比较函数 $\Phi_{H,\varepsilon}(t)$，其主导项由 $v_{\text{lin}}$ 的局域化所诱导的 $L^1$ 型估计决定。整个证明框架是一个时间依赖的连续性论证：假设在 $[0,T)$ 上 $\|v(t,\cdot)\|_{L^\infty} \leqslant \Phi_\varepsilon(t)$（或 $\Phi_{H,\varepsilon}(t)$），则利用前述线性估计导出 $\|u_{\text{nlin}}(t,\cdot)\|_{L^q}$ 的增长律，再代入 d’Alembert 公式得到 $v$ 的新估计，最终验证该假设在更长区间上仍成立。这一闭环的关键在于，$v_{\text{lin}}$ 的局域化将 $\int_0^t \|u_{\text{nlin}}(\tau,\cdot)\|_{L^q}^q d\tau$ 中的积分核从 $\langle \tau \rangle^{\frac{q}{q}} = \langle \tau \rangle$ 改为 $\langle \tau \rangle^{\frac{q-1}{q}}$，从而产生更优的幂次。此外，作者还巧妙处理了 $q=3$ 的临界情形：此时 $H_3(t) \approx \ln \langle t \rangle$，但 $\varepsilon^3 \ln(e + \varepsilon^{-\sigma}) \to 0$ 对任意 $\sigma>0$ 成立，故对生命期幂次无影响（备注 2.5）。整个技术体系将 PDE 分析、调和分析（$L^m-L^r$ 估计）与精确 ODE/积分不等式技巧融为一体，而非泛泛而谈“能量法”或“迭代法”。

4. 与之前工作的比较

本文与既有工作的根本区别体现在三个维度：尺度精度、假设依赖性、以及对一维特殊结构的利用深度。

1. 尺度精度的突破：此前工作 [6,13] 仅给出上界 $T_\varepsilon \lesssim \varepsilon^{-\frac{pq-1}{q+2}}$，但下界长期缺失。本文定理 2.1 首次在 $\Omega_{\text{Nakao},1}$ 内实现了 matching 下界，从而确立了 sharp lifespan $\varepsilon^{-\frac{pq-1}{q+2}}$。该幂次比纯波动系统（Strauss 型 $\varepsilon^{-\frac{pq-1}{q+1}}$）更长，比纯阻尼系统（Fujita 型 $\varepsilon^{-\frac{pq-1}{q+2}}$）相同，证实 Nakao 系统在一维下其临界行为由阻尼分量主导，但需 $q\geqslant 3$ 或 $p$ 足够小以保证 $v$ 的非线性反馈不压倒 $u$ 的阻尼效应。在补集区域，本文下界 $\varepsilon^{-\frac{2q(pq-1)}{pq(3-q)+3q+1}}$ 仍优于以往任何已知结果，尽管尚未匹配上界。

2. 假设依赖性的革新：现有上界 [6,13] 强制要求 $\int v_1 > 0$，这恰恰是 $v_{\text{lin}}$ 产生内部平台的充要条件。本文定理 2.3 则首次系统研究了其补集 $\int v_1 = 0$，并证明此“反常”条件反而带来严格改进。这与 [18,12] 中关于一维波动方程的研究一脉相承，但本文将其嵌入强非线性耦合框架，揭示了零均值条件如何通过改变 $v_{\text{lin}}$ 的空间支撑，进而重塑整个耦合系统的主导平衡。值得注意的是，由于当前上界依赖 $\int v_1 > 0$，本文的类惠更斯下界 $\varepsilon^{-\frac{pq(pq-1)}{pq(q+1)+1}}$ 并非 sharp 两面估计，而是一个真正的改进下界（remark 2.3 明确指出）。

3. 技术工具的深化：相比 [25] 的爆破证明或 [8,4] 的高维全局解，本文的工具链更具一维特异性。它没有采用高维中常用的 Strichartz 估计或 Morawetz 不等式，而是回归到一维最锋利的工具：d’Alembert 公式的显式解与阻尼波的 $L^m-L^r$ 扩散估计。特别是，引理 3.2 对 $\int v_1 = 0$ 时 $v_{\text{lin}}$ 支撑集的精确刻画，是此前所有工作（包括 [19,20] 的初边值问题）所未加利用的。此外，本文的 Bootstrap 函数 $\Phi_\varepsilon(t)$ 和 $\Phi_{H,\varepsilon}(t)$ 并非简单幂函数，而是内嵌了 $H_q(t)$ 的分段渐近结构，这使得对 $q=3$ 的对数修正得以自动吸收（备注 2.5），避免了 ad hoc 处理。综上，本文不是对已有方法的简单应用，而是针对一维 Nakao 问题的内在几何与动力学特性，发展了一套全新的、精准匹配问题尺度的分析范式。

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

1. 一类Hörmander型 hypoelliptic 算子的 ultradifferentiable 正则性性质

Ultradifferentiable regularity properties of a class of hypoelliptic operators

作者: Stefan Fürdös

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.15152v1

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

摘要翻译

中文标题: 一类Hörmander型 hypoelliptic 算子的 ultradifferentiable 正则性性质

摘要翻译: 我们研究一类由 Hörmander 首次引入的 hypoelliptic 微分算子的解与向量的 ultradifferentiable 正则性。我们的结果推广了 Hashimoto–Morimoto–Matsuzawa 与 Bolley–Camus–Metivier 的相关结果。

2. 阈值能量附近的半经典估计与施瓦西黑洞上的共振计数

Semiclassical estimates near threshold energies and resonance counting on Schwarzschild black holes

作者: Thomas Stucker

类别: math.AP, gr-qc, math.SP

发布日期: 2026-07-16

arXiv ID: 2607.15145v1

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

摘要翻译

中文标题: 阈值能量附近的半经典估计与施瓦西黑洞上的共振计数

摘要翻译: 我们证明了施瓦西黑洞的拟正规模（QNM）在实轴下方某一扇形区域内个数的Weyl律。为此，我们引入了一种新的拟微分算子演算，专为研究阈值能量附近的半经典谱问题而设计。该演算中的椭圆理论可与复标度方法相结合，从而对在无穷远处行为类似于带排斥性反平方势的半经典薛定谔算子的算子，在零能量附近给出一致的预解式估计。将此方法应用于Regge-Wheeler势，我们得出：高角动量QNM不落入某个圆盘内，该圆盘半径随角动量线性增长。结合Hitrik与Zworski最近获得的施瓦西QNM的渐近描述，这表明：模长被 $λ$ 控制、且位于实轴下方某小扇形区域内的QNM个数按 $Cλ^3$ 增长。我们还研究了将施瓦西预解式在事件视界外截断的影响，并证明此类截断不会导致任何极点相消。

3. 格点上高阶Hardy常数的精确渐近行为

Sharp asymptotics for higher-order Hardy constants on lattices

作者: Shubham Gupta

类别: math.FA, math.AP

发布日期: 2026-07-16

arXiv ID: 2607.15181v1

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

摘要翻译

中文标题: 格点上高阶Hardy常数的精确渐近行为

摘要翻译: 我们研究格点 $\mathbb{Z}^d$ 上高阶Hardy不等式的最优常数。对每个固定的 $\ell \in \mathbb{N}$，我们证明不等式

中的最优常数 $\mathcal{C}_\text{opt}^\ell(d)$ 满足

证明基于Fourier约化，将问题转化为平坦环面 $\mathbb{T}^d$ 上一族带奇异权 $ ω(x)^{-2\ell} $ 的Hardy不等式，其中

并要求容许函数满足零均值条件。我们通过将基态表示公式与加权积分Bochner恒等式相结合，在一个迭代方案中建立这些环面上的不等式。该方法给出显式常数，其定义在阶数 $\ell$ 上递归，并且仅需环面上的经典无权Poincaré不等式。极限常数 $2^\ell$ 的出现尤为显著，因为它暗示：在高维情形下，最优函数在格点 $\mathbb{Z}^d$ 中局部集中在单位球面 $\{n\in\mathbb{Z}^d:|n|=1\}$ 附近。

4. Lipschitz 区域上的分数阶拉普拉斯算子：Dahlberg 定理与 $L^{2}$-可解性

The fractional Laplacian in Lipschitz domains: Dahlberg’s Theorem and $L^{2}$-solvability

作者: Roberto Colombo, Xavier Fernández-Real, Xavier Ros-Oton

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14909v1

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

摘要翻译

中文标题: Lipschitz 区域上的分数阶拉普拉斯算子：Dahlberg 定理与 $L^{2}$-可解性

摘要翻译: 给定 $s\in (0,1)$ 及有界 Lipschitz 区域 $Ω\subset \mathbb{R}^{n}$，我们为 $Ω$ 的 $s$-调和测度 $ω_s^x$ 建立了一个定量的 Dahlberg 理论。在非局部情形下，自然的参考测度是 $Ω^{c}$ 上的一个积分权 $σ_{s}$，其在边界附近表现如 $(1-s)\text{dist}(\cdot, \partial Ω)^{-s}$。我们的主要结果是在以边界为中心的球上对密度 $dω_{s}^{x}/dσ_{s}$ 所得的尺度不变的反向 Hölder 估计。作为推论，我们得到外 Dirichlet 问题的 $L^2(Ω^c,σ_s)$-可解性，并给出非局部非切向极大函数的估计以及在自然分布类中的唯一性。一个加权 Gehring 论证将反向 Hölder 指数提升至超过 $2$，从而导出对严格低于 $2$ 的某个指数范围的 $L^{q}$-可解性。我们的结果适用于所有与分数阶拉普拉斯算子可比的一般对称稳定算子。此外，证明兼容极限 $s\to 1^-$，因而可在非局部到局部极限下推出关于拉普拉斯算子的相应结果。主要的新步骤是将 Green 函数的分数阶 Pohozaev 恒等式转化为 Lipschitz 边界距离水平集上的统一平方估计。作为应用，我们推导出齐次加权 Dirichlet 问题及具有零外部数据的非齐次 Poisson 问题的最优 Sobolev 正则性估计。

5. 柱面上退化椭圆算子的全局二次估计

Global quadratic estimates for degenerate elliptic operators on cylinders

作者: Gianmarco Brocchi, Andreas Rosén

类别: math.AP, math.CA

发布日期: 2026-07-16

arXiv ID: 2607.14902v1

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

摘要翻译

中文标题: 柱面上退化椭圆算子的全局二次估计

摘要翻译: 在 $d$ 维柱面 $\mathcal{C}= \mathbb{R}^k\times N$ 上，其中 $N$ 是闭流形作为底空间，大尺度维数 $k\in[1,d)$，我们证明了被有界、可测且增生系数所扰动的 Dirac 算子在加权 $L^2$ 空间中的二次估计。特别地，这给出了 $\mathcal{C}$ 上与二阶散度型椭圆算子相关的 Riesz 变换的齐次 Kato 平方根估计，该椭圆算子具有可测系数，其退化性由 Muckenhoupt $A_2$ 权控制。通过局部化和缩放，该结果还导出了一般流形上扰动 Dirac 算子的局部二次估计，这些流形具有局部细长柱状几何结构，且可能具有零注入半径。

6. 带幂律色散的波动能方程在加权 $L^\infty$ 中的尖锐衰减阈值

Sharp decay thresholds in weighted $L^\infty$ for wave kinetic equations with power-law dispersion

作者: Xilu Zhu

类别: math.AP, math-ph

发布日期: 2026-07-16

arXiv ID: 2607.14892v1

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

摘要翻译

中文标题: 带幂律色散的波动能方程在加权 $L^\infty$ 中的尖锐衰减阈值

摘要翻译: 我们研究三维空间中具有幂律色散 $ω(p)=|p|^a$ 的四波动能方程，其碰撞核在高频区域的增长率由参数 $β$ 刻画。在加权 $L^\infty$ 空间中，我们确定了尖锐衰减阈值

当 $s>s_c$ 时，我们通过为完整的增益-损失碰撞算子建立三线性估计来证明局部适定性；当 $s<s_c$ 时，我们通过构造集中于高-低-低-高共振构型附近的初值数据来证明不适定性。该阈值刻画了碰撞核高频强度与共振流形几何结构之间的平衡。证明还表明，在最精细的区域中，增益-损失相消是本质性的。

7. Heisenberg群 $\mathbb{H}^N$ 上的拟线性 Schrödinger 临界问题

Quasilinear Schrödinger Critical Problem on the Heisenberg group $\mathbb{H}^N$

作者: Ankit Mishra, Divya Goel

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14810v1

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

摘要翻译

中文标题: Heisenberg群 $\mathbb{H}^N$ 上的拟线性 Schrödinger 临界问题

摘要翻译: 我们研究如下定义在 Heisenberg 群上的具有临界增长的拟线性 Schrödinger 方程的驻波解的存在性：

其中 $\mathbb{H}^N$ 是 Heisenberg 群，$Δ_{\mathbb{H}}$ 是 Kohn Laplacian 算子，$4α<q<p \leq 2αQ^{*}$，$Q^{*}= \frac{2Q}{Q-2}$ 是临界 Folland–Stein 指数，$λ$ 与 $α$ 是正常数参数且 $α> \frac{1}{2}$。通过一个适当的非线性变量替换，该拟线性方程被转化为半线性方程，从而可在 Folland–Stein Sobolev 空间 $S^{1,2}(\mathbb{H}^N)$ 中应用变分方法。结合适用于次黎曼框架的集中紧性论证，我们运用山路定理建立了非平凡解的存在性。

8. 非线性椭圆障碍问题的 Riesz 位势估计

Riesz potential estimates for non-linear elliptic obstacle problems

作者: Qi Xiong, Zhenqiu Zhang, Lingwei Ma

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14763v1

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

摘要翻译

中文标题: 非线性椭圆障碍问题的 Riesz 位势估计

摘要翻译: 本文研究一类涉及测度数据的非线性椭圆障碍问题，其中非线性项依赖于可能无界解自身的变量。我们建立了以 Riesz 位势表示的解的逐点梯度估计。

9. 锚定的Nash不等式及一类具有长程跳跃的随机电导模型的热核估计

Anchored Nash inequalities and heat kernel bounds for a class of random conductance models with long-range jumps

作者: Sebastian Andres, Xin Chen, Martin Slowik, Kun Yin

类别: math.PR, math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14718v1

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

摘要翻译

中文标题: 锚定的Nash不等式及一类具有长程跳跃的随机电导模型的热核估计

摘要翻译: 我们证明了离散非局部散度型算子在退化权重下的锚定形式Nash不等式。这些不等式允许我们用非一致椭圆的Dirichlet型来控制函数的 $L^{2}$-范数。随后，我们利用这些不等式给出了一类具有退化跳跃速率且允许长程跳跃的随机电导模型的对角线热核上界估计。所得结果建立在一类图上，包括整数格点 $\mathbb{Z}^d$ 及可能具有相关性的超临界渗流簇。

10. 具有柱对称性的三维相对论Vlasov-Maxwell系统的大初值整体解 II：逐点估计

Large data global solution of the 3D RVM system with cylindrical symmetry II: Pointwise estimates

作者: Xuecheng Wang

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14685v1

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

摘要翻译

中文标题: 具有柱对称性的三维相对论Vlasov-Maxwell系统的大初值整体解 II：逐点估计

摘要翻译: 本文是两篇论文序列的第二部分，旨在建立具有柱对称性的三维相对论Vlasov-Maxwell系统（RVM）对任意大的光滑紧支集初值的整体存在性。 在第二部分中，我们独立于第一部分的结果，建立了局部化电磁场的两组逐点估计。该结果通过利用柱对称性、守恒律、光滑化效应以及对电磁场的结构观察（包括其零结构、双重零结构以及磁场二分性）而获得。第一组估计给出了局部化电磁场的一致上界；第二组估计则给出一个依赖于到 $z$-轴距离的上界，从而在电磁场远离 $z$-轴时提供更优的控制。 这两组估计是迭代光滑化方案（ISS）的基础，该方案源自并受Klainerman-Staffilani（2002）工作的启发。在第一部分中，这两组估计被作为黑箱使用。这些估计的一个关键特征在于：它们以特征时间尺度上振荡相位的大小为基准进行评估，从而有效地量化了光滑化效应。由这些估计可得：不具任何光滑化效应的情形属于误差项。处理此类情形构成了Bootstrap论证中的初始挑战。

11. 对称性扰动下的半凸低阶分波非线性Dirac方程

Perturbation from symmetry for semiconvex lower-order partial-wave nonlinear Dirac equations

作者: Francesco Paolo Maiale

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14679v1

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

摘要翻译

中文标题: 对称性扰动下的半凸低阶分波非线性Dirac方程

摘要翻译: 我们在 $\mathbb R^3$ 中研究最低分波通道内具有径向系数的强不定非线性Dirac泛函。对称模型具有精确幂次非线性 $F_0(x,ψ)=b(|x|)|ψ|^p/p$，其中 $2<p<3$，且径向剖面 $b$ 有界、连续且一致正定。该有限角动量模自旋器通道中的紧性及径向逼近数估计，给出对称极小极大水平的二次增长。 对于阶为 $1<τ<p/2$ 的非偶局部扰动，我们施加一个半凸性条件，其负曲率严格小于谱隙。结合负二次部分与凸的精确幂次核心，这使得每个负谱纤维一致强凹。沿该纤维取最大值将问题约化为正谱空间上的 $C^1$ 路径。多项式Chambers–Ghoussoub–Bolle形变定理从而给出受限分波泛函的无穷多个高能量临界点；在通道不变性假设下，这些临界点是全Dirac方程的弱解。凸扰动原函数在无需对其振幅施加小性限制的情况下亦被涵盖。 若一个偶Hermite二次项被吸收到重正化Dirac算子中，则同一约化仍适用，前提是该重正化算子在零点处具有谱隙，且剩余扰动满足相应的半凸性界。

12. 双曲正交环图案对sinh-Gordon方程 $Δu -\sinh(2u)=0$ 解的逼近

Approximation of solutions of the sinh-Gordon equation $Δu -\sinh(2u)=0$ by hyperbolic orthogonal ring patterns

作者: Ulrike Bücking

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

发布日期: 2026-07-15

arXiv ID: 2607.14348v1

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

摘要翻译

中文标题: 双曲正交环图案对sinh-Gordon方程 $Δu -\sinh(2u)=0$ 解的逼近

摘要翻译: 我们考虑arXiv:2409.06573中引入的双曲正交环图案，并聚焦于其在环中心处由匀化变量所刻画的性质。给定sinh-Gordon方程 $Δu -\sinh(2u)=0$ 的一个光滑解，我们将其限制在定义域的一个紧子集上，并以边长为 $\varepsilon$ 的正方形网格格点对其进行离散化。将 $u$ 在该紧子集边界上的取值作为Dirichlet边界条件，我们证明：当环对适当地收敛于圆时，对应双曲环图案的匀化变量 $u^\varepsilon$ 在 $C^\infty$ 拓扑下收敛于 $u$，且误差阶为 $\varepsilon^2$。作为推论，我们得出：双曲正交环图案收敛于一个到双曲平面的调和映射。

13. 球面上浅水方程的奇异极限

Singular Limits of the Shallow Water Equations on the Sphere

作者: Bin Cheng, Steve Schochet

类别: math.AP

发布日期: 2026-07-15

arXiv ID: 2607.14257v1

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

摘要翻译

中文标题: 球面上浅水方程的奇异极限

摘要翻译: 在快速旋转球面上，当 Froude 数与 Rossby 数之比有界时，略可压缩浅水方程 $\partial_t u + \nabla_u u + f \times u + \nabla h = 0$, $\partial_t h + \mathrm{div}(hu) = 0$ 的解具有一致有界性。此外，在该比值保持固定而二者均趋于零的奇异极限下，初值适配良好的解收敛于相应极限方程的解。本文还得到了三尺度奇异极限下的收敛结果，其中 Froude 数趋于零的速度快于 Rossby 数。

不相关论文（基本信息）

1. SciPhy 强化学习在投资组合优化中的应用

SciPhy Reinforcement Learning for Portfolio Optimization

作者: Igor Halperin, Andrey Itkin

类别: q-fin.PM, math.AP, math.NA, q-fin.CP, q-fin.MF

发布日期: 2026-07-16

arXiv ID: 2607.15195v1

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

摘要: This paper introduces a dynamic portfolio optimization framework for large institutional investors using Scientific Physics-Informed Reinforcement Learning (SciPhyRL). Formulated in continuous time over an extended state space that includes explicit cumulative costs, the approach leverages offline historical data to learn optimal, distribution-aware strategies. A core innovation reduces the optimization challenge to solving an HJB equation by projecting it onto observed trajectories as a pathwise Hamilton-Jacobi equation. This is solved directly from data using PINN in a single offline sweep, eliminating the need for traditional value or policy iteration. To make the method effective at practical short horizons, the control variable is recast from a continuous trading rate to a discrete target holding. This ensures signal-implied positions are reached immediately, while execution costs are evaluated against a microstructure-grounded quadratic price impact model. Evaluated on a $14$-asset ETF universe using an engineered oracle signal, the learned Gibbs policy yields substantial out-of-sample Sharpe ratio improvements over static and myopic baselines. The results demonstrate that the proposed framework successfully translates known signal quality into a robust, multi-period, and cost-aware allocation mechanism with strictly controlled volatility and turnover.

2. 具有空间依赖势阱的固-固相变

Solid-solid phase transitions with space-dependent wells

作者: Elisa Davoli, Jakob Deutsch, Manuel Friedrich, Kerrek Stinson

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.15133v1

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

摘要: We investigate a second-order Modica-Mortola functional of the form

which models solid–solid phase transitions in heterogeneous media. We neglect the assumption of frame indifference in the elastic energy density $W$ while allowing for space-dependent, pointwise-compatible wells. Under suitable assumptions on $W$ and regularity conditions on the associated rank-one connection, we prove that $E_\varepsilon$ $Γ$-converges to a local interfacial energy defined for suitable laminate-type configurations.

3. 扭曲塞尔伯格zeta函数的除子

The divisor of the twisted Selberg zeta function

作者: Moritz Doll, Anke Pohl

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

发布日期: 2026-07-16

arXiv ID: 2607.14981v1

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

摘要: For the Selberg zeta function of geometrically finite infinite-area hyperbolic orbisurfaces with twists by finite-dimensional unitary representations, we establish a factorization formula in terms of a Weierstrass product of the Laplace resonances of the considered hyperbolic orbisurface, Barnes G-functions, gamma functions, and the singularity degrees of the representation. We thereby provide an interpretation of the zeros and poles of the Selberg zeta function by spectral and geometric entities of the orbisurface and the representation. This formula generalizes the factorization result by Borthwick, Judge and Perry to hyperbolic orbisurfaces with orbifold singularities as well as to unitary twists. Also in the untwisted case, the presence of orbifold singularities yields a separate, previously unobserved contribution to the factorization formula.

4. 经典对称性与Painleve分析：针对(1+3)维Kudryashov-Sinelshchikov方程

Classical Symmetries and Painleve Analysis for the (1+3) Kudryashov-Sinelshchikov Equation

作者: Amlan K Halder, Rajeswari Seshadri, A Paliathanasis, PGL Leach

类别: nlin.SI, math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14916v1

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

摘要: The integrability of the Kudryashov-Sinelshchikov equation in (1+3) dimension is detected using its point symmetries and the Singularity analysis method. The symmetries mostly points to the existence of infinite-dimensional Lie algebra with the presence of mostly arbitrary functions. The reduction process is initiated by considering these arbitrary functions in the general symmetry vectors. For certain functions, trivial solutions for the general parent equation is obtained whereas for some of the functions, the reductions does not yield an unmitigated result. Finally, a positive result is listed for one of the arbitrary function, for which the singularity analysis method is employed to study the Painleve property. The resultant PDE happens to be a fourth-order equation and its approval of the Painleve property hints at the integrability of the Kudryashov- Sinelshchikov equation in the general case.

5. 非自治随机抛物型方程的有限维反馈稳定化

Finite-Dimensional Feedback Stabilization of Nonautonomous Stochastic Parabolic Equations

作者: Behzad Azmi, Jonas von der Heydt, Sergio Rodrigues

类别: math.OC, math.AP, math.NA, math.PR

发布日期: 2026-07-16

arXiv ID: 2607.14911v1

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

摘要: We investigate finite-dimensional feedback stabilization for nonlinear nonautonomous stochastic parabolic equations driven by $Q$-Wiener, covering both additive and multiplicative perturbations. The control is given by a finite linear combination of localized indicator-type actuators whose supports are selected as part of the construction and may have arbitrarily small total measure. The feedback law is constructed by means of oblique projections onto suitable finite-dimensional subspaces. Within the variational Gelfand triple framework, we prove well-posedness of the closed-loop system under standard coercivity, growth, and global Lipschitz assumptions. By appropriately choosing the actuator configuration and feedback strength, we establish exponential mean-square stabilization of the stochastic dynamics and, for pure multiplicative noise, almost-sure stabilization. A fully discrete three-layer implementation complements the theoretical results. Numerical experiments illustrate the influence of number of actuators, noise intensity, and nonlinear effects on the closed-loop stabilization behavior.

6. 构造调和映射的一个框架

A framework for producing harmonic maps

作者: Volker Branding, Anna Siffert

类别: math.DG, math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14857v1

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

摘要: We present a general framework for producing families of harmonic maps from the unit ball into the Euclidean sphere starting from a fixed harmonic map. In particular, our analysis provides a theoretical background for a generalized radial projection which was recently introduced by Nakauchi. Our approach is based on work of Toth who established a machinery that generates eigenmaps between spheres from a given eigenmap. Finally, we point out how these families of harmonic maps can be used to construct solutions to associated variational problems such as intrinsic biharmonic and triharmonic maps, $p$-harmonic maps as well as extrinsic polyharmonic maps.

7. Heisenberg 群上带参数与指数非线性的修正 $Q$-Laplacian 问题

Modified $Q$-Laplacian Problem with Parameter and Exponential Nonlinearity on the Heisenberg Group

作者: Ankit Mishra, Sarika Goyal, Divya Goel

类别: math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14804v1

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

摘要: In this article, we investigate the following modified quasilinear equation driven by the $Q$-Laplacian:

where $Δ_Q(\cdot) := \mathrm{div}_{\mathbb{H}}\bigl(|\nabla_{\mathbb{H}}(\cdot)|^{Q-2}\nabla_{\mathbb{H}}(\cdot)\bigr)$ denotes the $Q$-Laplacian on the Heisenberg group $\mathbb{H}^N$, $Ω\subset \mathbb{H}^N$ is a smooth bounded domain with boundary $\partialΩ$, $f$ behaves like exponential growth in the sense of Moser-Trudinger, and $α> \frac{1}{2}$. The objectives of the paper are twofold: first, to establish the existence of a nontrivial positive weak solution, and subsequently to obtain least energy nodal (sign-changing) solutions under both subcritical and critical exponential growth assumptions on the nonlinearity $f$. The analysis relies on a suitable change of variables that reduces the original quasilinear structure to a semilinear variational framework, together with critical point theory on appropriately defined Nehari-type manifolds. The results derived here appear to be genuinely new even in the classical Euclidean setting, thereby extending the existing theory for quasilinear Schrödinger-type equations to the sub-Riemannian context of the Heisenberg group.

8. 一类Hessian曲率方程的$k$-凸超曲面的存在性

The existence of $k$-convex hypersurface for a class of Hessian curvature equations

作者: Kang Xiao, Jiabao Gong

类别: math.DG, math.AP

发布日期: 2026-07-16

arXiv ID: 2607.14717v1

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

摘要: This article investigates the existence of closed, star-shaped hypersurfaces for a class of Hessian curvature equations. By combining a priori estimates with the continuity method, we establish the existence and uniqueness of $k$-convex hypersurfaces for both nonhomogeneous and homogeneous Hessian curvature equations, and by establishing a constant rank theorem, we prove that the resulting $k$-convex hypersurfaces are strictly convex.

9. Riesz核Stein变分梯度下降：重归一化熵与长时间粒子极限

Riesz-Kernel Stein Variational Gradient Descent: Renormalized Entropy and Long-Time Particle Limits

作者: Trevor Teolis, Maarten V. de Hoop

类别: math.AP, cs.LG

发布日期: 2026-07-16

arXiv ID: 2607.14527v1

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

摘要: Stein variational gradient descent (SVGD) transports interacting particles toward a target distribution through deterministic kernelized dynamics. Singular Riesz kernels are attractive because they can provide quantitative population-level convergence, but at the finite-particle level the corresponding Stein energy has infinite self-interaction. We study periodic Riesz SVGD with self-interaction removed and prove a many-particle, long-time sampling theorem. Throughout the range in which the singular Stein energy is locally integrable, under a uniform bound on the initial relative entropy per particle, the time-averaged empirical-measure law converges weakly to the point mass $δ_π$ at the target as the particle number and any diverging averaging horizon tend to infinity. We also show that the empirical-measure laws induced by invariant particle laws of finite relative entropy converge weakly to $δ_π$, without a uniform entropy bound. Below the logarithmic singularity threshold, we obtain an explicit algebraic finite-particle error bound. These results extend the joint-entropy approach for smooth-kernel SVGD to singular interactions.

10. 通过库仑碰撞的半经典测度

Semiclassical measures through Coulomb collisions

作者: Nicholas Lohr

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

发布日期: 2026-07-15

arXiv ID: 2607.14313v1

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

摘要: We prove that $μ$ is a semiclassical measure associated to a sequence of eigenfunctions of energy $E<0$ of the attractive Coulomb operator if and only if $μ$ is a probability measure on the energy (hyper)surface $Σ_E$ invariant under the regularized Kepler flow due to Moser. The converse was shown in recent work by the author, and the present article proves the other direction (as well as an independent proof of the converse). We prove the main theorem for a general symbol class allowing certain non-decay at infinity, which implies that semiclassical measure mass entirely reflects off of the origin. In the special case of semiclassical measures of sequences of eigenfunctions of the exact Coulomb operator, this article solves an open problem posed by Keraani. The main tools include the celebrated Moser-Fock map along with a technical operator extension lemma in $Ψ_{\hbar}^0(\mathbb{S}^d)$, which utilizes standard eigenfunction concentration bounds.

11. Laplace-Beltrami 算子 Kuznetsov 公式的改进

Refinements to the Kuznetsov Formula for Laplace-Beltrami Operators

作者: Merrick Chang

类别: math.AP

发布日期: 2026-07-15

arXiv ID: 2607.14261v1

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

摘要: Wyman and Xi (2023) proved a Kuznetsov-type theorem for the submanifold counting function associated with Laplace–Beltrami eigenvalues. We refine the results of Wyman and Xi, improving their asymptotic: we remove a constant in the codimension-one case, and we prove a new asymptotic in the case that the set of looping times has measure zero.