Home » 论文总结

2026年09月09日论文分析

共有 6 篇重点关注论文, 19 篇论文可以了解, 28 篇不相关论文

September 9, 2026 · 45 min · 9367 words · P0lyno3ial

Table of Contents

重点关注论文（完整分析）
了解领域论文（摘要翻译）
不相关论文（基本信息）

生成时间: 2026年09月09日 07:37:28

运行状态: 完成

计划处理论文数量: 53

已完成论文数量: 53

未完成论文数量: 0

重点关注论文数量: 6

了解领域论文数量: 19

不相关论文数量: 28

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

1. $\mathrm{L}^1$ -Stokes半群

The $\mathrm{L}^1$ -Stokes Semigroup

作者: Tim Binz, Anatole Gaudin

类别: math.AP, math.FA

发布日期: 2026-09-08

arXiv ID: 2609.08715v1

摘要翻译: 我们研究具有无滑移边界条件的Stokes算子在空间 $\mathrm{L}_{σ,n}(Ω)$ 和 ${\mathrm{L}^1(Ω,\mathbb{C}^d)}/{\nabla \mathrm{W}^{1,1}(Ω,\mathbb{C})}$ 上的性质，其中 $Ω\subset\mathbb{R}^d$ 是任意的有界 $\mathrm{C}^{1,α}$ -区域。我们证明，尽管预解问题唯一可解，但 $\mathrm{L}^1_{σ,n}(Ω)$ 上的Stokes算子并不生成一个 $\mathrm{C}_0$ -半群。与此形成鲜明对比的是，其在 ${\mathrm{L}^1(Ω,\mathbb{C}^d)}/{\nabla \mathrm{W}^{1,1}(Ω,\mathbb{C})}$ 上的实现生成了一个紧的、解析的 $\mathrm{C}_0$ -半群，且该半群保持 $\mathrm{L}^1_{σ,n}(Ω)$ 不变。

Comment: 无

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

1. 研究对象和背景

本文研究在任意有界 $\mathrm{C}^{1, \alpha}$ 区域 $\Omega \subset \mathbb{R}^d$ ( $d \geq 2$ ) 上，具有无滑移边界条件的 Stokes 算子在两个不同的函数空间上的性质：一个是经典的无散度向量场空间 $\mathrm{L}^1_{\sigma,n}(\Omega)$ ，另一个是商空间 $\mathrm{L}^1(\Omega, \mathbb{C}^d)/\nabla \mathrm{W}^{1,1}(\Omega, \mathbb{C})$ 。Stokes 方程是无粘不可压缩 Navier-Stokes 方程的线性化模型，其解的长时间行为、正则性以及适定性在很大程度上取决于 Stokes 半群的生成与性质。对于 $1 < p < \infty$ ，Giga 和 Solonnikov 独立证明了 Stokes 算子在 $\mathrm{L}^p_{\sigma,n}(\Omega)$ 上生成解析 $\mathrm{C}_0$ -半群，这一经典结果依赖于 Helmholtz 分解的存在性，即 $\mathrm{L}^p(\Omega, \mathbb{C}^d) = \mathrm{L}^p_{\sigma,n}(\Omega) \oplus \nabla \mathrm{W}^{1,p}(\Omega)$ 。然而，当 $$p=1$$ 时，Helmholtz 分解失效（Bourgain-Brezis 定理），导致 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 与商空间 $\mathrm{L}^1(\Omega, \mathbb{C}^d)/\nabla \mathrm{W}^{1,1}(\Omega, \mathbb{C})$ 不再同构，从而产生了两个本质上不同的 Stokes 算子实现。

长期以来，关于 Stokes 算子在 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 上是否生成 $\mathrm{C}_0$ -半群是一个悬而未决的问题，已有近五十年的历史。此前的工作主要集中于非有界区域（如半空间或无限长条）或替代空间（如 Hardy 空间 $\mathrm{H}^1$ ）。例如，Desch, Hieber 和 Prüss 在半空间 $\mathbb{R}^d_+$ 上证明了 Stokes 算子不生成解析 $\mathrm{C}_0$ -半群；而 von Below 和 Bolkart 在无限长条 $\mathbb{R} \times (0, \delta)$ 上给出了部分肯定结果（仅当 $$d=2$$ 时）。在有界区域的情形下，由于缺乏全局 Helmholtz 投影且局部化方法受到半空间反例的限制，该问题一直开放。本文旨在填补这一空白，明确区分这两种算子实现的函数分析性质，并解决这一长期悬而未决的问题。

2. 主要定理或主要结果

本文的主要结果包括两个核心定理，分别揭示了 Stokes 算子在两种不同空间实现下的截然不同的性质：

Theorem 1.1 (负结果): 设 $\Omega \subset \mathbb{R}^d$ 为有界 $\mathrm{C}^{1, \alpha}$ 区域 ( $\alpha > 0$ )。定义在 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 上的 Stokes 算子 $$A$$ ，其作用为 $Au = -\Delta u + \nabla \pi$ ，定义域为
$D_1(A) = \{u \in \mathrm{W}^{1,1}_0(\Omega) \cap \mathrm{L}^1_{\sigma,n}(\Omega) : \exists \pi \in \mathrm{L}^1(\Omega), \text{ s.t. } \Delta u - \nabla \pi \in \mathrm{L}^1_{\sigma,n}(\Omega)\},$
虽然该算子是稠密定义的、闭的、可逆的，且谱 $\sigma(A) \subset (0, \infty)$ ，但它不是 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 上任何 $\mathrm{C}_0$ -半群的（负）生成元。这意味着尽管预解式问题有唯一解，但相应的演化过程在该空间拓扑下不具有强连续性。
Theorem 1.2 (正结果): 在同一区域假设下，考虑定义在商空间 $X = \mathrm{L}^1(\Omega, \mathbb{C}^d)/\nabla \mathrm{W}^{1,1}(\Omega, \mathbb{C})$ 上的 Stokes 算子 $\tilde{A}$ ，其作用为 $\tilde{A}[u] = [-\Delta u + \nabla \pi]$ ，定义域为
$D_1(\tilde{A}) = \{[u], u \in \mathrm{W}^{1,1}_0(\Omega) \cap \mathrm{L}^1_{\sigma,n}(\Omega) : \exists \pi \in \mathrm{L}^1(\Omega) \text{ s.t. } [\Delta u - \nabla \pi] \in X\}.$
该算子 $\tilde{A}$ 是角度为 $\frac{\pi}{2}$ 的有界、紧且解析的 $\mathrm{C}_0$ -半群 $(\tilde{T}(t))_{t \geq 0}$ 的（负）生成元。此外，存在从 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 到 $$X$$ 的连续嵌入 $\iota$ ，其值域稠密，且半群 $(\tilde{T}(t))_{t \geq 0}$ 保持 $\iota(\mathrm{L}^1_{\sigma,n}(\Omega))$ 不变。

这两个结果表明，尽管在 $1 < p < \infty$ 时两种实现通过 Helmholtz 分解自然等同，但在端点 $$p=1$$ 处它们彻底分离。 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 上的算子因缺乏有界的 Leray 投影而无法生成半群，而商空间上的算子则表现出良好的半群性质，且该半群相对于商空间拓扑是强连续和解析的，但相对于 $\mathrm{L}^1$ 拓扑则不然。

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

证明的核心障碍在于 $\mathrm{L}^1$ 空间中 Helmholtz 分解的失效以及由此导致的有界 Leray 投影的缺失。传统的基于局部化和半空间问题的方法在此处行不通，因为 Desch-Hieber-Prüss 的结果表明半空间情形本身就不生成解析半群。此外，直接在商空间上处理算子也是困难的，因为热半群并不保持梯度子空间 $\nabla \mathrm{W}^{1,1}(\Omega)$ 不变，这与无滑移边界条件的不相容性有关。

作者的创新点在于引入并应用了**太阳对偶（sun-dual）**构造。具体步骤如下：

起点选择: 利用 Abe-Giga 的经典结果，从 Stokes 算子在 $X = \mathrm{C}_{\sigma,0}(\Omega)$ 上生成的紧解析 $\mathrm{C}_0$ -半群出发。由于算子具有紧预解式，根据 Phillips 定理，该空间是太阳对偶反射的，即 $X^{\odot\odot} \cong X$ 。这暗示太阳对偶空间 $X^{\odot}$ 可能具有简单的 $\mathrm{L}^1$ 型描述。
Radon 测度与 BV 空间的分析: 作者详细分析了 Radon 测度空间 $\mathrm{M}(\Omega, \mathbb{C}^d)$ 和有界变差函数空间 $\mathrm{BV}(\Omega)$ 。他们证明了 $X' \cong \mathrm{M}(\Omega, \mathbb{C}^d)/\nabla \mathrm{BV}(\Omega)$ 。结合 Stokes 算子在 $\mathrm{L}^p$ 空间中的正则性理论（特别是 Breit-Gaudin 最近发展的精细估计），作者识别出太阳对偶空间 $X^{\odot}$ 恰好同构于商空间 $\mathrm{L}^1(\Omega, \mathbb{C}^d)/\nabla \mathrm{W}^{1,1}(\Omega, \mathbb{C})$ 。
算子重合与半群生成: 一旦建立了空间同构，作者证明了商空间上的 Stokes 算子 $\tilde{A}$ 正好对应于太阳对偶算子 $A^{\odot}$ 。根据太阳对偶半群的抽象理论， $A^{\odot}$ 必然生成一个与原半群具有相同性质（有界、紧、解析）的 $\mathrm{C}_0$ -半群。这就直接导出了 Theorem 1.2。
非生成结果的推导: 对于 Theorem 1.1，作者利用了缩放技术和 Desch-Hieber-Prüss 在半空间上的反例。通过构造特定的测试函数序列并分析其在 $\mathrm{L}^1$ 范数下的行为，证明了如果 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 上的算子生成半群，将导致矛盾。关键在于指出 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 是商空间的一个真子集，且半群在该子集上的限制虽然作为算子族是有界的，但不具备 $\mathrm{L}^1$ 拓扑下的强连续性。

4. 与之前工作的比较

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

解决了长期悬而未决的问题: 此前，关于有界区域上 $\mathrm{L}^1_{\sigma,n}(\Omega)$ 中 Stokes 半群的存在性问题一直是开放的（参见 Kozono [34] 和 Desch et al. [14] 的备注）。本文给出了明确的否定答案（Theorem 1.1），并指出了正确的框架（商空间，Theorem 1.2），从而完成了光滑有界区域上整个尺度 $\mathrm{L}^p_{\sigma,n}(\Omega)$ ( $1 \leq p \leq \infty$ ) 的 Stokes 半群理论。
与 $p=\infty$ 情形的对比: 在 $p=\infty$ 端点，Abe 和 Giga 证明了 Stokes 算子在 $\mathrm{C}_{\sigma,0}(\Omega)$ 上生成解析半群，进而诱导 $\mathrm{L}^\infty_{\sigma,n}(\Omega)$ 上的解析非 $\mathrm{C}_0$ 半群。类似地，本文发现 $$p=1$$ 时， $\mathrm{L}^1_{\sigma,n}(\Omega)$ 上的算子也不生成 $\mathrm{C}_0$ 半群，但其“正确”的实现在商空间上是完全良态的。这种对称性强调了端点行为的特殊性。
与 Hardy 空间方法的差异: 以往许多研究使用 Hardy 空间 $\mathrm{H}^1$ 作为 $\mathrm{L}^1$ 的替代，以获得更好的衰减估计（如 Miyakawa, Kozono 等的工作）。本文坚持在纯 $\mathrm{L}^1$ 设置下工作，揭示了 $\mathrm{L}^1$ 特有的结构问题（Helmholtz 分解失效），并展示了如何通过商空间规避这些问题，而非依赖外部函数空间。
技术路径的创新: 不同于传统的局部化加半空间分析的方法（该方法在 $$p=1$$ 有界区域失败），本文采用了抽象的泛函分析工具——太阳对偶理论。这是首次将太阳对偶概念应用于具体的、非平凡的 Stokes 算子背景中。这种方法不仅提供了生成性的证明，还自然地解释了为什么商空间是正确的空间：它是 $\mathrm{C}_{\sigma,0}(\Omega)$ 的“自然”对偶对象。
局限性与未来方向: 作者指出，由于有界区域的紧性使得 Phillips 定理适用，从而保证了太阳对偶反射性。在非有界区域，由于紧性丧失，太阳对偶构造可能不会简化为简单的 $\mathrm{L}^1$ 商空间，而是更复杂的拓扑空间。因此，本文的方法目前局限于有界区域，向非有界区域的推广是一个开放的未来方向。

2. 具有 Fujita-Kato 型初始数据的 NS-NPP 方程 Cauchy 问题的全局大解

Global large solutions of the Cauchy problem for the NS-NPP equations with Fujita-Kato type initial data

作者: Jihong Zhao, Chao Deng

类别: math.AP

发布日期: 2026-09-08

arXiv ID: 2609.08533v1

摘要翻译: 本文证明了具有某些大的 Fujita-Kato 型初始数据的 NS-NPP 方程的 Cauchy 问题的全局适定性。具体而言，我们证明存在两个正常数 $c_{0}$ 和 $C_{0}$ ，使得若初始数据 $(u_{0}, N_{0}, P_{0})$ 满足以下条件：egin{equation*}

Comment: 18 pages

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

1. 研究对象和背景

本文研究的对象是源自电水动力学（electro-hydrodynamics）的不可压缩 Navier-Stokes-Nernst-Planck-Poisson (NS-NPP) 方程组。该方程组描述了带电粒子在流体中的输运行为，其数学形式如下：

\begin{cases} \partial_t u + u \cdot \nabla u - \Delta u + \nabla \pi = \Delta \phi \nabla \phi, \\ \nabla \cdot u = 0, \\ \partial_t N + u \cdot \nabla N = \nabla \cdot (\nabla N - N \nabla \phi), \\ \partial_t P + u \cdot \nabla P = \nabla \cdot (\nabla P + P \nabla \phi), \\ -\Delta \phi = P - N, \\ u(x, 0) = u_0(x), N(x, 0) = N_0(x), P(x, 0) = P_0(x). \end{cases}

其中 $$u$$ 为流体速度场， $\pi$ 为压强， $$N$$ 和 $$P$$ 分别为负电荷和正电荷的粒子密度， $\phi$ 为静电势。前两个方程对应于带有外力项 $\Delta \phi \nabla \phi$ 的不可压缩 Navier-Stokes 动量守恒方程；后三个方程则是通过泊松方程耦合的 Nernst-Planck 方程，修正了由对流项 $u \cdot \nabla N$ 和 $u \cdot \nabla P$ 引起的输运效应。

为了揭示系统的内在结构，作者引入了变量代换 $$v := N - P$$ （电荷密度差）和 $$w := N + P$$ （总电荷密度），将系统重写为以下对称形式：

\begin{cases} \partial_t u + u \cdot \nabla u - \Delta u + \nabla \pi = -v \nabla (-\Delta)^{-1} v, \\ \nabla \cdot u = 0, \\ \partial_t v + u \cdot \nabla v = \nabla \cdot (\nabla v + w \nabla (-\Delta)^{-1} v), \\ \partial_t w + u \cdot \nabla w = \nabla \cdot (\nabla w + v \nabla (-\Delta)^{-1} v). \end{cases}

这一变换揭示了系统在尺度不变性下的关键特征。对于 Navier-Stokes 部分，临界空间包括 $\dot{H}^{-1+\frac{d}{2}}$ 、 $$L^d$$ 等；而对于 Nernst-Planck-Poisson (NPP) 部分，相应的临界空间为 $\dot{H}^{-2+\frac{d}{2}}$ 、 $L^{\frac{d}{2}}$ 或 Besov 空间 $\dot{B}^{-2+\frac{d}{p}}_{p,r}$ 。

在数学分析中，通常要求初始数据满足“小性”条件以保证全局解的存在性。然而，观察上述变换后的方程可以发现，关于 $$w$$ 的第四个方程是一个线性方程（系数依赖于 $$u$$ 和 $$v$$ ）。这暗示了在控制 $$u$$ 和 $$v$$ 的小性时，或许不需要对 $$w$$ 施加任何小性限制即可保证全局存在性。此前的工作（如 Zhao-Liu-Cui [32] 和 Ma [19]）已在特定的临界 Besov 空间 $\dot{B}^{-2+\frac{d}{p}}_{p,1}$ 中证明了类似结论，即只要 $$u_0$$ 和 $$v_0$$ 足够小（相对于 $$w_0$$ ），系统便存在唯一全局解。但是，这些结果局限于 Besov 空间 $$r=1$$ 的情形，而常用的 Sobolev 空间 $\dot{H}^s$ 并不包含在这些空间中（因为 $\dot{B}^s_{p,1}$ 不能嵌入 $\dot{H}^s$ ）。因此，一个自然且重要的问题是：能否在更广泛的 Sobolev 空间框架下，特别是 $\dot{H}^{-1+\frac{d}{2}} \times (\dot{H}^{-2+\frac{d}{2}})^2$ 中，证明 NS-NPP 方程的全局适定性？

本文旨在填补这一空白，通过在关键的齐次 Besov 空间 $\dot{B}^{-1+\frac{d}{p}}_{p,2} \times (\dot{B}^{-2+\frac{d}{q}}_{q,2})^2$ 中建立全局适定性理论，从而作为特例推导出 Sobolev 空间中的结果。这不仅推广了以往在 $$r=1$$ 空间中的结论，还首次在不限制总电荷密度 $$w_0$$ 大小的情况下，实现了 Sobolev 空间框架下的全局大解存在性。

2. 主要定理或主要结果

本文的主要结果是定理 1.3，它建立了 NS-NPP 方程在全局时间上的唯一适定性。

定理 1.3 设 $d \ge 3$ ，且 $$p, q$$ 为满足 $1 \le p, q < d$ ， $q \le 2p$ 以及 $\frac{1}{p} - \frac{1}{q} < \frac{1}{d}$ 的正数。则存在正常数 $$c_0$$ 和 $$C_0$$ ，使得若初值 $u_0 \in \dot{B}^{-1+\frac{d}{p}}_{p,2}$ （满足 $\nabla \cdot u_0 = 0$ ）， $N_0, P_0 \in \dot{B}^{-2+\frac{d}{q}}_{q,2}$ 满足以下条件：

\left( \|u_0\|_{\dot{B}^{-1+\frac{d}{p}}_{p,2}} + \|N_0 - P_0\|_{\dot{B}^{-2+\frac{d}{q}}_{q,2}} \right) \exp \left\{ C_0 \left( \|N_0 + P_0\|^2_{\dot{B}^{-2+\frac{d}{q}}_{q,2}} + 1 \right) \right\} \le c_0,

则 NS-NPP 方程组存在唯一的全局解 $$(u, N, P)$$ ，且满足如下正则性估计：

u \in \tilde{L}^\infty(0, \infty; \dot{B}^{-1+\frac{d}{p}}_{p,2}) \cap \tilde{L}^2(0, \infty; \dot{B}^{\frac{d}{p}}_{p,2}),

N, P \in \tilde{L}^\infty(0, \infty; \dot{B}^{-2+\frac{d}{q}}_{q,2}) \cap \tilde{L}^2(0, \infty; \dot{B}^{-1+\frac{d}{q}}_{q,2}).

作为直接推论，取 $$p=q=2$$ 并利用 $\dot{B}^s_{2,2} = \dot{H}^s$ 的事实，得到 推论 1.4：存在常数 $$c_0, C_0 > 0$$ ，若 $u_0 \in \dot{H}^{-1+\frac{d}{2}}$ ， $N_0, P_0 \in \dot{H}^{-2+\frac{d}{2}}$ 满足

\left( \|u_0\|_{\dot{H}^{-1+\frac{d}{2}}} + \|N_0 - P_0\|_{\dot{H}^{-2+\frac{d}{2}}} \right) \exp \left\{ C_0 \left( \|N_0 + P_0\|^2_{\dot{H}^{-2+\frac{d}{2}}} + 1 \right) \right\} \le c_0,

则 NS-NPP 方程存在唯一全局解，且具有相应的 Sobolev 正则性：

u \in \tilde{L}^\infty(0, \infty; \dot{H}^{-1+\frac{d}{2}}) \cap \tilde{L}^2(0, \infty; \dot{H}^{\frac{d}{2}}),

N, P \in \tilde{L}^\infty(0, \infty; \dot{H}^{-2+\frac{d}{2}}) \cap \tilde{L}^2(0, \infty; \dot{H}^{-1+\frac{d}{2}}).

此外，忽略流体运动项，还可得到 推论 1.5，即纯 NPP 方程在 Sobolev 空间 $\dot{H}^{-2+\frac{d}{2}}$ 中的全局适定性，条件仅为电荷密度差 $$N_0 - P_0$$ 受控，而对总密度 $$N_0 + P_0$$ 无小性要求。

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

本文的核心创新在于引入了一种新的 $$L^2$$ 型时间加权范数，以克服涉及非线性项 $$w$$ 的分析困难。以往的相关研究（如 [29, 32, 33]）主要依赖经典的 $$L^1$$ 型时间加权范数，但在处理某些特定非线性耦合时效果有限。作者定义的新范数为：对于 $s \in \mathbb{R}, p \in [1, \infty]$ 及非负函数 $f(t) \in L^2_{loc}(0, +\infty)$ ，

\|u\|_{\tilde{L}^2_{t,f}(\dot{B}^s_{p,2})} := \left( \sum_{j \in \mathbb{Z}} 2^{2sj} \int_0^t f^2(\tau) \|\Delta_j u(\tau)\|_{L^p}^2 d\tau \right)^{1/2}.

这一修改允许作者在不限制 $$w_0$$ 大小的前提下推导所需的全局估计。

1. 加权函数的选取与抵消机制： 由于变换后的系统中关于 $$w$$ 的方程是线性的，作者设定加权函数 $f(t) := \|w(\cdot, t)\|_{\dot{B}^{-1+\frac{d}{q}}_{q,2}}$ 。通过引入指数权重 $e^{-\lambda \int_0^t f^2(\tau) d\tau}$ ，定义加权变量 $u_{\lambda, f} = u e^{-\lambda \int_0^t f^2(\tau) d\tau}$ 和 $v_{\lambda, f} = v e^{-\lambda \int_0^t f^2(\tau) d\tau}$ 。这种加权技巧有效地消除了非线性项 $\nabla \cdot (w \nabla (-\Delta)^{-1} v)$ 带来的增长困难，使得可以在局部化后利用 Fubini 定理推导全局估计。

2. 分步估计策略： 证明分为三步：

Step 1: $$w$$ 的估计。 利用热方程的可解性（Proposition 2.1）和双线性估计（Lemma 3.8, 3.10），结合小性假设，得到 $$w$$ 在 $\tilde{L}^\infty$ 和 $\tilde{L}^2$ 范数下的控制。具体地，证明表明 $\|w\|$ 的控制仅依赖于 $\|w_0\|$ 和小量 $\eta$ ，而不需要 $$w_0$$ 本身很小。
Step 2: $$v$$ 的估计。 这是技术难点所在。作者对加权变量 $v_{\lambda, f}$ 应用 Duhamel 原理，并在频率局部化 $\Delta_j$ 下进行精细估计。关键在于利用新定义的 $$L^2$$ 时间加权范数，结合 H"older 不等式和 Fubini 定理，处理卷积积分中的时间依赖性。通过选择足够大的参数 $\lambda$ ，作者成功地将 $v_{\lambda, f}$ 的非线性项吸收进左边，从而得到 $$v$$ 的全局界。
Step 3: $$u$$ 的估计。 类似地，对 $u_{\lambda, f}$ 进行估计。利用 Bony 分解和 Besov 空间的乘积估计（Lemma 3.6, 3.7），结合前两步的结果，最终得到 $$u$$ 的全局界。

3. 矛盾论证： 最后，作者采用标准的矛盾法。假设最大存在时间 $T_* < \infty$ ，定义 $T_\eta$ 为解保持在小球内的最大时间。通过上述三步估计，证明在 $t < T_\eta$ 时，解的范数严格小于某个阈值，这与 $T_\eta$ 的定义相矛盾，从而得出 $T_* = \infty$ 。整个证明框架依赖于 Chemin-Lerner 空间 $\tilde{L}^\rho_T(\dot{B}^s_{p,r})$ 的插值性质和 Bernstein 不等式。

4. 与之前工作的比较

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

1. 从 Besov 空间 $$r=1$$ 到 $$r=2$$ (Sobolev) 的扩展： 此前，Zhao-Liu-Cui [32] 和 Ma [19] 已经在临界 Besov 空间 $\dot{B}^{-2+\frac{d}{p}}_{p,1}$ 中证明了类似的全局存在性结果，条件是 $$u_0$$ 和 $$v_0$$ 的小性受到 $$w_0$$ 的指数控制。然而，Besov 空间 $\dot{B}^s_{p,1}$ 比对应的 Sobolev 空间 $\dot{H}^s$ ( $=\dot{B}^s_{2,2}$ ) 更小，且不包含后者。这意味着之前的结果无法直接应用于 Sobolev 空间。本文通过在 $\dot{B}^{-1+\frac{d}{p}}_{p,2} \times (\dot{B}^{-2+\frac{d}{q}}_{q,2})^2$ 中建立理论，并特别地取 $$p=q=2$$ ，首次证明了 Sobolev 空间框架下的全局适定性。这是一个实质性的进步，因为它涵盖了更宽的函数类，特别是那些不属于 $\dot{B}^s_{p,1}$ 但属于 $\dot{H}^s$ 的初值。

2. 时间加权范数的改进： 以往的研究（如 [29, 32, 33]）在处理此类问题时，通常使用 $$L^1$$ 型的时间加权范数。本文指出，在处理涉及 $$w$$ 的非线性项时， $$L^1$$ 范数不足以提供所需的控制。作者创新性地引入了 $$L^2$$ 型时间加权范数 $\|\cdot\|_{\tilde{L}^2_{t,f}}$ 。这一技术细节的改变是解决 Sobolev 空间（即 $$r=2$$ ）中问题的关键。在 $$r=2$$ 的情况下，能量估计的自然结构更适合 $$L^2$$ 型的时间积分，而 $$L^1$$ 型往往会导致过强的约束或无法闭合估计。因此，本文的方法不仅适用于 Sobolev 空间，也为其他 $$r=2$$ 类型的 Besov 空间提供了新的分析工具。

3. 对总电荷密度 $$w_0$$ 无小性要求： 虽然 Ma [19] 和 Zhao-Liu-Cui [32] 也强调了 $$w_0$$ 可以是大值，但他们的工作局限于 $$r=1$$ 的空间。本文明确地在摘要和引言中指出，其结果意味着在 Sobolev 空间框架下，无需对初始粒子密度的总和 $$N_0 + P_0$$ 施加任何小性条件，即可保证全局解的存在。这在物理上具有重要意义，因为它允许考虑高度带电但不均匀分布的初始状态，只要净电荷密度 $$N_0 - P_0$$ 和流速 $$u_0$$ 相对较小即可。

4. 适用范围与代价： 本文结果的适用范围是 $d \ge 3$ 维空间，且 $$p, q$$ 需满足 $\frac{1}{p} - \frac{1}{q} < \frac{1}{d}$ 。这一条件确保了 Besov 空间乘积估计的有效性。与 Karch [14] 等在 $\dot{B}^{-2+\frac{d}{p}}_{p,\infty}$ 中的小数据结果相比，本文的数据可以是“大”的（相对于 $$w_0$$ ），但代价是需要满足一个指数型的小性条件： $(\|u_0\| + \|v_0\|) \exp(C \|w_0\|^2) \le c_0$ 。这表明如果 $$w_0$$ 非常大，那么 $$u_0$$ 和 $$v_0$$ 必须极其小才能维持全局存在性。这种权衡关系是此类耦合系统分析的典型特征，但本文首次在 Sobolev 尺度下清晰地量化了这一关系。

3. 圆盘上度量形变下稳态涡旋片的延拓与约化

Continuation and reduction of steady vortex sheets under metric deformations on a disk

作者: Yuuki Shimizu

类别: math.DG, math.AP

发布日期: 2026-09-08

arXiv ID: 2609.08361v1

摘要翻译: 我们研究单位圆盘上共形度量在给定形变 $g_s= e^{2σ_s}g_{\mathrm{e}}$ 下的稳态涡旋片局部延拓问题。通过将运动涡旋片表示为法图（normal graph），我们将流线条件与伯努利条件表述为一个非线性残差，其两个分量具有不同的 Sobolev 阶数。若参考涡旋片的两侧切向速度不同时为零，则未归一化残差的导数为指标二的 Fredholm 算子。固定平均法向位移和总环量后得到一个指标零的问题；当限制在未归一化核上的归一化微分是到 $\mathbb{R}^2$ 的满射时，我们得到一个依赖于参数的 Lyapunov-Schmidt 约化。这在不退化情形下给出局部唯一的归一化分支，并在退化情形下给出显式的一阶和二阶必要条件。对于旋转对称的参考度量和同心圆涡旋片，线性化问题分离为 Fourier 块，且只有有限个模可以发生共振。在常曲率圆盘族中，每个模 $k\geq2$ 都是非共振的，而第一模产生一个二维的约化问题。这两个第一模的核剖面是环境 Killing 场的法迹，但它们本身并不生成固定边界对称性，也不单独产生一个非同心分支。

Comment: 无

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

1. 研究对象和背景

涡片 (vortex sheet) 是二维不可压缩流体中一种特殊的奇性结构, 其本质表现为涡量在一条曲线上的集中分布, 且该曲线两侧的速度切向分量存在跳跃. 在平坦欧几里得空间中, 涡片的运动通常由 Birkhoff-Rott 方程描述, 或者被视为 Euler 方程的奇异弱解. 然而, 当背景几何结构发生变化时, 特别是当流体所在的黎曼流形的度量发生形变时, 稳态涡片的存在性与稳定性问题变得复杂. 现有的理论框架, 如 Izosimov 和 Khesin 提出的基于不连续微分形式的几何描述, 主要处理固定背景几何下的情形. 本文关注的核心问题是: 给定单位圆盘 $D \subset \mathbb{R}^2$ 上的一个共形度量路径 $g_s = e^{2\sigma_s}g_e$ , 以及在该度量下的一个稳态涡片 $(c_0, \gamma_0)$ , 能否通过调整涡片的支撑曲线和强度, 使得涡片在新的度量 $$g_s$$ 下依然保持稳态?

具体而言, 设参考状态为 $$s=0$$ 时的度量 $g_0 = e^{2\sigma_0}g_e$ 及其对应的稳态涡片 $(c_0, \gamma_0)$ . 邻近的支撑曲线被表示为法图 $$c_f = c_0 + f n$$ , 其中 $$f$$ 是法向位移函数, $$n$$ 是单位法向量. 涡片强度的扰动记为 $$h$$ . 此外, 流线条件 (streamline condition) 和 Bernoulli 条件 (Bernoulli condition) 中出现的两个常数分别记为 $\mu$ 和 $\beta$ . 因此, 完整的未知量向量定义为 $u = (f, h, \mu, \beta)$ .

为了建立数学模型, 作者将静止条件拉回到参考曲线 $$c_0$$ 上, 构造了一个非线性残差算子 $F: (-s_0, s_0) \times \mathcal{O} \to H^{m+1}(c_0) \times H^m(c_0)$ , 其中 $m \geq 3$ . 这个残差算子的两个分量具有不同的 Sobolev 阶数, 这是由物理方程的结构决定的: 流线残差涉及单层势 (single-layer potential) 的迹, 其正则性比输入密度高一个导数; 而 Bernoulli 残差包含平均法向导数项, 其阶数与涡片强度相当. 这种混合阶数的目标空间导致了线性化算子的主部具有特定的伪微分结构.

问题的关键在于分析线性化算子 $$D_u F(0, u_0)$$ 的 Fredholm 性质. 如果参考涡片两侧的切向速度不同时为零, 即 $(v_{\tau,0}^+)^2 + (v_{\tau,0}^-)^2 \neq 0$ , 则该算子是指数为 2 的 Fredholm 算子. 为了获得局部唯一的解分支, 需要引入归一化条件以消除零模. 作者引入了两个物理归一化: 平均法向位移和总环量 (total circulation). 这两个归一化方程将算子的指数降为 0. 在此框架下, 若归一化微分在核空间上是满射, 则可以通过 Lyapunov-Schmidt 约化方法将无限维问题转化为有限维问题. 这一过程不仅揭示了非退化情形下解的唯一性, 还在退化情形下给出了关于解分支存在的必要的一阶和二阶条件.

2. 主要定理或主要结果

本文的主要结果集中在稳态涡片在共形度量形变下的局部延拓和有限维约化. 首先, 作者证明了线性化算子的 Fredholm 性质. 设 $u_0 = (0, 0, \mu_0, \beta_0)$ 是参考稳态涡片对应的数据. 在假设参考涡片两侧的切向速度 $v_{\tau,0}^+$ 和 $v_{\tau,0}^-$ 不同时为零的条件下, 映射 $D_u F(0, u_0): H^{m+1}(c_0) \times H^m(c_0) \times \mathbb{R}^2 \to H^{m+1}(c_0) \times H^m(c_0)$ 是一个指数为 2 的 Fredholm 算子. 这意味着其核空间和余核空间的维数之差为 2.

接着, 通过引入两个标量归一化方程——平均法向位移为零和总环量保持不变——作者构造了归一化算子 $\tilde{A}: X \to Y \times \mathbb{R}^2$ . 如果归一化微分限制在未归一化核空间上是满射到 $\mathbb{R}^2$ , 则归一化算子是指数为 0 的 Fredholm 算子. 此时, 核空间与余核空间具有相同的有限维数 $$d$$ .

基于此, 作者应用参数依赖的 Lyapunov-Schmidt 约化定理. 这将局部稳态涡片的存在性问题等价于一个有限维 $$C^2$$ 映射 $B: (s, \zeta) \in \mathbb{R} \times K \mapsto B(s, \zeta) \in C$ 的零点问题, 其中 $\dim K = \dim C = d$ .

主要结论分为两种情况:

非退化情形 ( $$d=0$$ ): 如果核空间平凡, 则根据隐函数定理, 对于任何预定的度量路径 $s \mapsto g_s$ , 存在唯一的一条局部 $$C^2$$ 归一化稳态涡片分支穿过参考点.
退化情形 ( $$d>0$$ ): 约化给出了一组有限维方程. 虽然共振或指数计算本身不能直接决定非平凡分支的存在性, 但作者推导出了 $$C^2$$ 分支存在的显式一阶和二阶必要条件.

针对旋转对称的参考度量, 作者进一步进行了具体的 Fourier 模式分析. 设 $$c_0$$ 是半径为 $\rho$ 的圆, 涡片强度 $\gamma_0 \equiv \gamma \neq 0$ . 定义辅助量 $x = \rho^2$ , $U = A(\rho)/A(1)$ , 其中 $A(r) = 2\pi \int_0^r e^{2\sigma(q)} q dq$ , 以及 $p_\sigma = 1 + \rho \sigma'(\rho)$ , $Z = 2\pi \rho^2 e^{2\sigma(\rho)}/A(1)$ . 对于每个 Fourier 模式 $k \geq 1$ , 其对应的 $2 \times 2$ 矩阵行列式（除以 $\gamma^2 e^{\sigma(\rho)}$ ）为:

\check{D}_{\sigma, k}(\rho) = -\left(1 + \frac{x^k}{2} - U\right)^2 - \frac{1 - x^{2k}}{4} + \frac{1 - x^k}{k} [Z + p_\sigma(1 - 2U)].

该公式表明只有有限多个模式可能发生共振, 并提供了检查共振的显式有限截断.

特别地, 在常曲率圆盘族 $e^{\sigma_K(r)} = \frac{2}{1 + Kr^2}$ ( $$K > -1$$ ) 中, 行列式简化为:

\check{D}_{\sigma_K, k}(\rho) = \frac{1}{(1 + Kx)^2} \left[ (1 - x)(x - x^k) - \frac{k+1}{2k} (1 - x^k) (1 + K(K+2)x^2) \right].

结果显示, 对于所有 $k \geq 2$ , 该行列式严格为负, 即无共振. 而对于 $$k=1$$ , 行列式为零, 导致出现一个二维的约化问题. 这两个一阶模式的核剖面是环境 Killing 场的法向迹, 但由于它们不保持边界对称性, 仅凭这些核剖面无法直接生成非同心分支. 未解决的局部问题在于确定这个二维约化方程是否存在非同心零点.

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

本文的证明框架结合了椭圆 PDE 理论、层势 (layer potentials) 分析和泛函分析中的分岔理论工具. 核心技术障碍在于处理非线性残差算子的混合 Sobolev 阶数结构, 以及如何在无穷维 Banach 空间中进行有效的局部延拓.

1. 混合阶数残差与 Fredholm 分析: 残差算子 $$F$$ 的目标空间是 $H^{m+1}(c_0) \times H^m(c_0)$ , 这是因为流线条件涉及单层势 $V[\rho]$ 的迹，其正则性增益一个导数 ( $S: H^m \to H^{m+1}$ ), 而 Bernoulli 条件涉及双层势的法向导数或相关项，其阶数较低 ( $T: H^{m+1} \to H^m$ ). 作者首先推导出完整的线性化传输问题 (linearized transmission problem). 利用层势的性质, 证明剩余项是紧算子. 通过构造双边拟逆 (two-sided parametrix) 并利用算子范数连续的 Fredholm 同伦, 证明了线性化算子 $$D_u F(0, u_0)$$ 是 Fredholm 算子. 关键的主部形式为:

\begin{pmatrix} M^{-w} \langle v_0 \rangle_\tau & S_0 M_w \\ M^{-\gamma_0 w^{-1}} T_0 M^{\gamma_0 w} & M \langle v_0 \rangle_\tau \end{pmatrix}

其中 $$S_0$$ 和 $$T_0$$ 分别是 $$-1$$ 阶和 $$1$$ 阶的模型算子. 有效标量因子为 $-\frac{w}{2} ((v_{\tau,0}^+)^2 + (v_{\tau,0}^-)^2)$ , 其非零性保证了主矩阵的可逆性，从而确定了 Fredholm 指数.

2. 归一化与 Lyapunov-Schmidt 约化: 由于初始 Fredholm 指数为 2, 直接应用隐函数定理是不可能的. 作者引入了两个物理约束: 平均法向位移 $\int_c f d\ell_g = 0$ 和总环量守恒 $\Gamma_{c,\gamma} = \text{const}$ . 这些约束作为额外的标量方程附加到系统中. 根据 Proposition 7, 如果归一化微分在核空间上是满射，则新算子的指数变为 $$2 - 2 = 0$$ . 这使得可以应用参数依赖的 Lyapunov-Schmidt 约化 (Proposition 8). 该方法将解集局部等同于一个有限维映射 $B(s, \zeta)$ 的零点集, 其中 $\zeta$ 是核坐标. 这种约化将无限维的 PDE 问题转化为有限维的代数/微分方程问题, 从而能够分析分支的存在性和数量.

3. Fourier 模式分解与共振分析: 对于旋转对称的情形, 作者利用 Fourier 展开将线性化问题分解为独立的块. 每个模式 $$k$$ 对应一个 $2 \times 2$ 的矩阵. 通过分析该矩阵的行列式 $\check{D}_{\sigma, k}(\rho)$ , 作者确定了哪些模式是“共振”的 (即行列式为零). 这种显式的解析表达式允许作者精确计算核空间的维数 $$d$$ . 在常曲率情况下, 这种分析特别清晰, 揭示了 $$k=1$$ 模式的特殊性, 并将其与环境的 Killing 场联系起来.

4. 椭圆正则性与边界积分估计: 证明中大量使用了椭圆正则性理论 (Theorem 12, 13) 和层势的映射性质 (Fact 16). 例如, Theorem 13 建立了传输问题的 $H^{r+2}$ 正则性估计, 这对于确保非线性项的光滑性和应用隐函数定理至关重要. Fact 16 明确了单层势 $$S$$ 和双层势相关算子 $$T$$ 在不同 Sobolev 空间之间的有界性, 这是控制非线性项高阶导数的基础.

4. 与之前工作的比较

本文与既有文献的主要区别在于研究视角的转变: 从固定几何下的涡片动力学转向了度量形变下的稳态涡片延拓问题.

1. 与平面域中相对平衡涡片构造的比较: 既有工作 (如参考文献 [1, 2]) 通常在平面域中研究稳态或相对平衡涡片, 往往依赖于围绕特定构型 (如圆形涡片) 的微扰论证. 这些工作通常假设背景度量是固定的欧几里得度量, 并通过改变涡片形状或强度来寻找平衡. 相比之下, 本文的参考涡片不一定是圆形的, 且扰动作用在背景度量 $g_s = e^{2\sigma_s}g_e$ 上, 而非涡片本身的初始配置或域边界. 外边界保持固定. 这种设定更贴近广义相对论或可变介质中的流体问题, 要求发展新的分析工具来处理度量依赖性.

2. 与 Riemannian 流形上涡片理论的比较: Izosimov 和 Khesin [4] 建立了 Riemannian 流形上涡片的几何描述, 包括哈密顿结构和层势表示. 然而, 他们的理论主要关注固定几何下的演化或静态性质. 本文在此基础上推进了一步, 考虑了预设的度量路径. 这不仅是一个简单的参数扰动, 因为度量的变化会直接影响 Laplace-Beltrami 算子、Green 函数以及层势核的形式. 作者必须重新推导在这些变动度量下的正则性估计和 Fredholm 性质, 这比固定度量情形更为复杂.

3. 方法论上的推进: 传统的分岔理论在处理此类问题时，往往直接假设线性化算子是双射或具有简单核. 本文的创新点在于系统地处理了混合阶数的非线性残差. 流线条件和 Bernoulli 条件天然具有不同的正则性增益, 这导致线性化算子不是标准的椭圆算子，而是具有特定伪微分结构的 Fredholm 算子. 作者通过引入物理归一化 (平均位移和环量) 将指数从 2 降至 0, 这一技巧在类似的自由界面问题中虽常见，但在度量形变背景下结合 Fourier 共振分析的显式计算是新的.

4. 局限性与未解决问题: 与某些完全解决分岔计数的问题不同, 本文在退化情形 ( $$d>0$$ ) 下并未断言非平凡分支的存在性或数量. 作者明确区分了“Fredholm 分析结束的地方”和“特定约化方程开始的地方”. 在常曲率圆盘族中, 虽然识别出 $$k=1$$ 模式导致二维约化问题, 且核剖面与 Killing 场相关, 但这些对称性并不足以保证非同心分支的存在. 这是一个开放的局部问题. 相比之下, 在某些刚性对称性更强的设置中，前人可能能够直接利用群作用来排除或确认分支, 但本文的设定更加一般，代价是需要进行更细致的有限维分析.

5. 适用范围: 本文的结果局限于单位圆盘上的共形度量形变. 对于更一般的曲面或更高维度的涡膜 (vortex membranes), 该方法的适用性尚待探索. 此外, 结果的局部性意味着它只描述了参考涡片附近的解结构, 全局行为或大振幅变形不在讨论范围内.

4. 关于 Camassa-Holm 方程的奇异极限

On the singular limit of the Camassa-Holm equation

作者: Billel Guelmame

类别: math.AP

发布日期: 2026-09-08

arXiv ID: 2609.08227v1

摘要翻译: 我们研究了当长度尺度 $\ell$ 趋于零时 Camassa–Holm 方程的奇异极限。尽管形式极限是通量为 $$3u^2/2$$ 的 Burgers 方程，但我们证明，对于一类光滑初始数据，在激波形成之后，即使是在局部时空 $$L^1$$ 意义下的子列上，向熵解的收敛性也会失效。

Comment: 无

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

1. 研究对象和背景

Camassa-Holm (CH) 方程是一个浅水波模型，由 R. Camassa 和 D. Holm 于 1993 年提出。该方程具有非线性平流项和非局部结构，允许全局光滑解的存在以及有限时间内的波形破裂（wave breaking）现象。在波形破裂发生时，解本身保持有界，但其斜率从下方趋于无界。本文关注的是当长度尺度参数 $\ell$ 趋近于零时 CH 方程的奇异极限行为。

具体地，考虑定义在实数轴 $\mathbb{R}$ 上的 CH 方程：

u_{\ell,t} + 3u_{\ell}u_{\ell,x} = \ell^2 (u_{\ell,xxt} + 2u_{\ell,x}u_{\ell,xx} + u_{\ell}u_{\ell,xxx}),

初始条件为 $u_{\ell}(0, x) = u_0(x)$ ，其中 $\ell > 0$ 。形式上令 $\ell = 0$ ，我们得到 Burgers 方程：

u_t + \left(\frac{3}{2}u^2\right)_x = 0.

对于光滑初值，在经典解存在的共同时间区间内， $\ell \to 0$ 的极限是合理的。Li, Yu, and Zhu [16] 证明了对于 $u_0 \in H^s(\mathbb{R})$ ( $$s > 3/2$$ )，存在一个独立于 $\ell \in (0, 1)$ 的时间 $$T > 0$$ ，使得 $u_{\ell} \to u$ 在 $L^{\infty}([0, T]; H^s(\mathbb{R}))$ 中成立。然而，这些结果仅适用于光滑流动阶段，即在 Burgers 方程的爆破时间之前。

Burgers 方程的光滑解会在有限时间内发生爆破，其爆破时间为：

T_B^* = -\frac{1}{3} \inf_{x \in \mathbb{R}} u'_0(x),

假设 $\inf_{x \in \mathbb{R}} u'_0(x) < 0$ 。在 $$T_B^*$$ 之后，Burgers 方程的解不再是光滑的，而是形成激波，此时需要引入熵解的概念来保证唯一性。熵解满足熵不等式，并且在激波处会发生能量耗散。

与此相对，CH 方程在某些条件下可以拥有全局光滑解。例如，如果初始动量 $m_{\ell,0} := u_0 - \ell^2 u''_0$ 不变号，则 CH 方程存在唯一的全局光滑解 [7, 17]。这意味着即使在 Burgers 方程已经形成激波并发生能量耗散之后，CH 方程的解仍然保持光滑，并且守恒其 $$H^1$$ -型能量：

\int_{\mathbb{R}} ((u_{\ell})^2 + \ell^2 (u_{\ell,x})^2) dx.

这种保守性与 Burgers 方程熵解的耗散性形成了鲜明对比。因此，一个自然的问题是：在 $$T_B^*$$ 之后，CH 方程的解是否收敛到 Burgers 方程的熵解？

已有的一些相关工作研究了带有粘性的 CH 类型方程的奇异极限。Coclite 和 Karlsen [5] 以及 Coclite 和 di Ruvo [6] 证明了在粘性参数与正则化参数 $\ell$ 之间满足特定关系时，解会收敛到 Burgers 方程的熵解。然而，这些结果依赖于粘性的存在，而本文研究的 CH 方程没有粘性项，因此不能直接应用这些结果。

此外，Hamiltonian 正则化的 Burgers (rB) 方程也引起了研究者的兴趣。rB 方程的形式为：

v_{\ell,t} + v_{\ell}v_{\ell,x} = \ell^2 (v_{\ell,xxt} + 2v_{\ell,x}v_{\ell,xx} + v_{\ell}v_{\ell,xxx}).

尽管 rB 方程与 CH 方程的非线性项相同，但它们的平流项系数不同。rB 方程是伽利略不变的，而 CH 方程不是。更重要的是，rB 方程的耗散弱解可以在激波形成后收敛到 Burgers 方程的熵解 [10]，而 CH 方程的全局光滑解则表现出不同的行为。本文旨在揭示这一差异，并证明在一般情况下，CH 方程的解在激波形成后不会收敛到 Burgers 方程的熵解，甚至在局部时空 $$L^1$$ 范数下也不收敛。

2. 主要定理或主要结果

本文的主要结果是定理 1.1，它表明对于一类光滑初值，CH 方程的解在 Burgers 方程的激波形成时间之后，不会收敛到 Burgers 方程的熵解，即使在局部时空 $$L^1$$ 范数下沿着子序列也不收敛。

定理 1.1. 设 $u_0 \in H^3(\mathbb{R}) \cap L^1(\mathbb{R})$ 是非平凡初值。假设存在 $\ell_0 \in (0, 1)$ ，使得对于所有 $\ell \in (0, \ell_0)$ ，初始动量

m_{\ell,0} := u_0 - \ell^2 u''_0 \geq 0

（或 $m_{\ell,0} \leq 0$ ）。令 $u_{\ell}$ 是对应的 CH 方程 (1.4) 的全局解， $$u$$ 是以 $$u_0$$ 为初值的 Burgers 方程 (1.2) 的唯一熵解。设

T_B^* := -\frac{1}{3} \inf_{x \in \mathbb{R}} u'_0(x) \in (0, \infty).

那么，对于任意 $t_2 > t_1 \geq T_B^*$ ，不存在序列 $\ell_n \downarrow 0$ 使得

u_{\ell_n} \to u

在 $L^1_{\text{loc}}([t_1, t_2] \times \mathbb{R})$ 中强收敛。

特别地，Camassa-Holm 方程的解在一般情况下不会在激波形成后收敛到 Burgers 方程的熵解。

示例初值： 一个满足定理 1.1 假设的显式初值是

u_0(x) = \text{sech}(x) = \frac{2}{e^x + e^{-x}},

其导数为

u'_0(x) = -\frac{2(e^x - e^{-x})}{(e^x + e^{-x})^2},

二阶导数为

u''_0(x) = \frac{-2}{e^x + e^{-x}} + \frac{4(e^x - e^{-x})^2}{(e^x + e^{-x})^3}.

利用 $(e^x - e^{-x})^2 = (e^x + e^{-x})^2 - 4$ ，可以得到

m_{\ell,0} = u_0(x) - \ell^2 u''_0(x) = (1 - \ell^2)\text{sech}(x) + 2\ell^2 \text{sech}^3(x) \geq 0

对于所有 $\ell \in (0, 1)$ 。

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

证明的核心在于利用 CH 方程的守恒律和符号条件导出一致估计，然后通过反证法展示能量不匹配导致的矛盾。

1. 一致估计的建立： 首先，利用动量 $m_{\ell} = H_{\ell} u_{\ell}$ 的符号不变性，其中 $H_{\ell} = 1 - \ell^2 \partial_x^2$ ，得到点态估计：

\ell |u_{\ell,x}| = \ell |G'_{\ell} * m_{\ell}| \leq \ell |G'_{\ell}| * |m_{\ell}| = |G_{\ell} * m_{\ell}| = |u_{\ell}|.

结合质量守恒

\|m_{\ell}(t)\|_{L^1(\mathbb{R})} = \|u_{\ell}(t)\|_{L^1(\mathbb{R})} = \|u_0\|_{L^1(\mathbb{R})},

以及三次 Hamiltonian 的守恒

H_{\ell}(t) := \int_{\mathbb{R}} ((u_{\ell})^3 + \ell^2 u_{\ell}(u_{\ell,x})^2) dx,

由于 $u_{\ell}$ 不变号，可以得到

\|u_{\ell}(t)\|^3_{L^3(\mathbb{R})} \leq |H_{\ell}(t)| = |H_{\ell}(0)| \leq 2 \int_{\mathbb{R}} |u_0|^3 dx.

从而推导出对于 $p \in [1, 3]$ ，

\|u_{\ell}\|_{L^{\infty}([0, \infty); L^p(\mathbb{R}))} + \|\ell u_{\ell,x}\|_{L^{\infty}([0, \infty); L^p(\mathbb{R}))} \lesssim_{p, u_0} 1.

这些一致 $$L^p$$ 界控制了局部能量通量在 $L^1(\mathbb{R})$ 中的大小。

2. 能量紧致性： 通过测试局部能量方程

((u_{\ell})^2 + \ell^2 (u_{\ell,x})^2)_t + (2\ell^2 u_{\ell} P_{\ell} + 2u_{\ell} Q_{\ell} + \ell^2 u_{\ell}(u_{\ell,x})^2)_x = 0,

其中 $P_{\ell} = G_{\ell} * \frac{1}{2}(u_{\ell,x})^2$ ， $Q_{\ell} = G_{\ell} * (u_{\ell})^2$ ，使用空间截断函数，可以证明能量在 $$[-R, R]$$ 之外趋于零，且这一收敛在 $\ell$ 和有界时间区间上一致成立。

3. 反证法与缺陷密度： 假设存在子序列 $\ell_n \to 0$ 使得 $u_{\ell_n} \to u$ 在 $L^1_{\text{loc}}([t_1, t_2] \times \mathbb{R})$ 中强收敛。利用一致 $$L^3$$ 界，可以将此收敛提升为局部 $$L^2$$ 强收敛，进而结合能量紧致性得到全局 $L^2([t_1, t_2] \times \mathbb{R})$ 强收敛。

由于 Burgers 方程的熵解在 $$T_B^*$$ 之后失去了二次能量，即 $$ |u(t)|^2_{L^2(\mathbb{R})} < |u_0|^2_{L^2(\mathbb{R})} \对于任意 $$t > T_B^*$$ ，而 CH 方程的解守恒其总能量，因此在 $\ell^2 (u_{\ell,x})^2$ 中必须保留严格正量的能量。具体地，经过子序列提取， $w_{\ell} := \ell^2 (u_{\ell,x})^2$ 弱收敛到一个非负函数 $$w$$ ，且具有正质量。

4. 极限方程的矛盾： 在分布意义下， $Q_{\ell} \rightharpoonup u^2$ 且 $\ell^2 P_{\ell} \rightharpoonup \frac{1}{2} w$ 。将 CH 方程的非局部形式

u_{\ell,t} + u_{\ell}u_{\ell,x} + \ell^2 P_{\ell,x} + Q_{\ell,x} = 0

取极限，得到

u_t + \left(\frac{3}{2}u^2\right)_x = -\frac{1}{2} w_x.

由于 $$u$$ 是 Burgers 方程的熵解，必有 $$w_x = 0$$ 。因此 $$w$$ 只是时间的函数。但由于 $$w$$ 在几乎处处时刻具有有限质量，故 $$w = 0$$ 。这与 $$w$$ 具有正质量相矛盾，从而完成证明。

4. 与之前工作的比较

本文的结果与之前的工作相比，揭示了 CH 方程与 rB 方程在奇异极限行为上的本质差异。

1. 与 Li, Yu, and Zhu [16] 的比较： Li, Yu, and Zhu [16] 证明了在经典解存在的共同时间区间内，CH 方程的解收敛到 Burgers 方程的经典解。然而，这一结果仅限于 $$T_B^*$$ 之前。本文进一步探讨了 $$T_B^*$$ 之后的行为，并证明在这种情况下，即使是在局部 $$L^1$$ 范数下，CH 方程的解也不会收敛到 Burgers 方程的熵解。这表明光滑流动的收敛性无法延拓到激波形成之后。

2. 与 Coclite 和 Karlsen [5] 及 Coclite 和 di Ruvo [6] 的比较： Coclite 和 Karlsen [5] 以及 Coclite 和 di Ruvo [6] 研究了带有粘性的 CH 类型方程的奇异极限，并证明了在粘性参数与正则化参数 $\ell$ 之间满足特定关系时，解会收敛到 Burgers 方程的熵解。然而，这些结果依赖于粘性的存在，而本文研究的 CH 方程没有粘性项。因此，本文的结果表明，在没有粘性的情况下，CH 方程的保守动力学导致其在激波形成后不收敛到 Burgers 方程的熵解。

3. 与 Hamiltonian 正则化 Burgers (rB) 方程的比较： rB 方程与 CH 方程的非线性项相同，但平流项系数不同。rB 方程是伽利略不变的，而 CH 方程不是。更重要的是，rB 方程的耗散弱解可以在激波形成后收敛到 Burgers 方程的熵解 [10]，而 CH 方程的全局光滑解则表现出不同的行为。本文的结果表明，尽管两者都具有相同的 $$H^1$$ -型能量守恒律，但 CH 方程的保守性（即没有耗散机制）导致其在激波形成后不收敛到 Burgers 方程的熵解。相比之下，rB 方程的耗散弱解可以通过 vanishing viscosity 方法获得，并满足统一的 Oleinik 估计

v_{\ell,x}(t, x) \leq \frac{2}{t}

对于几乎所有的 $(t, x) \in (0, \infty) \times \mathbb{R}$ ，这使得其解能够收敛到 Burgers 方程的熵解。

4. 与 Bressan 和 Constantin [3] 的比较： Bressan 和 Constantin [3] 研究了 CH 方程的全局耗散弱解。这些解在 $$H^1$$ 初值下存在，但其单侧斜率估计依赖于 $\ell$ ，并在 $\ell \to 0$ 时可能发散。因此，这些耗散弱解的行为与本文研究的全局光滑解不同。本文的结果表明，即使是对于光滑初值，CH 方程的全局光滑解在激波形成后也不收敛到 Burgers 方程的熵解，这进一步强调了 CH 方程的保守性与其奇异极限行为之间的关系。

5. 旋转涡斑：刚性、分岔与统一结构

Rotating vortex patches: rigidity, bifurcation, and unified structures

作者: Taoufik Hmidi

类别: math.AP

发布日期: 2026-09-07

arXiv ID: 2609.07895v1

摘要翻译: 本专著系统介绍了二维 Euler 方程及相关活动标量模型中旋转涡斑（即 V-态）理论的一些经典与最新进展。其目的兼具阐述性与结构性：我们重新审视该领域的一些奠基性结果，提供详细证明及替代性表述，并在统一的分析框架内呈现较新的成果。我们从 Euler 涡斑及其刚性旋转解的轮廓动力学表述开始。随后，我们发展了基于 Cauchy 积分和保角映射的两种互补方法来处理 V-态方程，并讨论了它们与位势理论和 Faber 多项式的联系。利用这些工具，我们重新考察了包括 Rankine 涡旋和 Kirchhoff 椭圆在内的经典例子，以及刚性和分类结果。本书的一大重点在于通过分岔理论研究 Burbea 对非圆形 V-态的构造。最后一部分针对一类广泛的不可压缩活动标量方程，发展了旋转涡斑的统一处理方法。相互作用核的结构性质，特别是完全单调性及其导出的谱分解，构建了一个涵盖 Euler 方程、广义表面准地转方程、准地转浅水方程及相关模型的共同分岔框架。

Comment: 98 pages

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

1. 研究对象和背景

本专著系统性地梳理了二维欧拉方程及相关主动标量模型中旋转涡旋斑（V-states）的理论发展。研究对象是理想不可压缩流体中的刚性旋转解，其数学表述为：若涡度场 $\omega(t, z)$ 满足二维欧拉方程

\begin{cases} \partial_t \omega + v \cdot \nabla \omega = 0, \\ v = \nabla^\perp \psi, \quad \Delta \psi = \omega, \end{cases}

其中 $z \in \mathbb{C}$ 且 $t \geq 0$ ，则存在一类特殊的精确解，其涡度支持集在时间演化下保持形状不变并整体刚性旋转。具体地，设 $D(t) = R_{\Omega t}(D_0)$ ，其中 $R_{\Omega t}$ 表示绕原点以角速度 $\Omega$ 的旋转，若 $\omega(t, z) = \chi_{D(t)}(z)$ （即涡度为常数），则该解称为旋转涡旋斑。

这类解的重要性在于它们是非线性偏微分方程中的非线性平衡态，既提供了物理上长期存在的相干结构的数学描述，又是研究稳定性、分岔和长时间动力学的出发点。历史上，Rankine 涡（圆形）和 Kirchhoff 椭圆是最早被发现的显式例子。1970年代末，Deem 和 Zabusky 通过数值计算发现了具有多边形对称性的非圆形旋转涡旋斑，随后 Burbea 利用保形映射和局部分岔理论严格证明了这些解的存在性。然而，Burbea 的工作在 PDE 社区中长期未被充分重视，直到近年来才重新受到关注。

本文旨在填补以下空白：首先，提供 Burbea 原始证明的详细现代重述，特别是在 Hölder 空间框架下的完备证明；其次，探讨旋转涡旋斑的刚性现象，即角速度是否唯一决定几何形状；最后，建立适用于广义表面准地转方程（gSQG）、准地转浅水方程（QGSW）等更广泛主动标量模型的统一分岔理论框架。

2. 主要定理或主要结果

本专著的主要结果包括以下几个方面：

经典例子的重新推导：通过 Cauchy 积分和保形映射两种方法，重新推导了 Rankine 涡和 Kirchhoff 椭圆的构造，并给出了椭圆的一个逆特征化定理。
刚性定理：证明了若一个单连通旋转涡旋斑的角速度 $\Omega \notin (0, 1/2)$ ，则该涡旋斑必为 Rankine 涡（即圆盘）。对于临界值 $\Omega = 1/2$ ，作者给出了基于最大值原理和保形/Faber 多项式的两种不同证明。
Burbea 分岔定理的完备证明：在 Hölder 空间框架下，详细证明了对于每个整数 $m \geq 2$ ，从 Rankine 涡可以分岔出一族具有 $$m$$ 重对称性的非圆形 V-states。关键步骤包括非线性泛函的正则性分析、线性化算子的谱结构研究以及 Crandall–Rabinowitz 定理的横截条件验证。
统一分岔理论：提出了一套适用于广义主动标量方程的统一分岔框架。核心结论是，若相互作用核 $$K$$ 满足完全单调性条件（即 $$-K'_0$$ 是完全单调函数），则可以通过谱分解公式
$\lambda_n = 2 \int_0^\infty \frac{\phi_n(x)}{x} d\mu(x), \quad \phi_n(x) = \int_0^\pi e^{-2x \sin \eta} e^{2in\eta} d\eta,$
将模型依赖性隔离到正测度 $\mu$ 中，而通用部分由函数族 $\{\phi_n\}_{n \geq 1}$ 控制。该框架涵盖了 Euler、gSQG、QGSW 等模型，并证明了在这些模型中均存在类似的局部分岔现象。

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

本专著的核心技术障碍与创新点体现在以下几个方面：

Hölder 空间框架下的功能分析：Burbea 原始证明使用 Hardy 空间，但某些功能分析细节需要额外论证。作者选择在 Hölder 空间 $C^{\alpha}$ 中工作，这要求对非线性泛函的正则性进行精细估计。关键工具包括 Cauchy 变换的边界行为分析、Plemelj 公式的应用以及 Sobolev 嵌入定理。例如，在证明非线性泛函 $$F$$ 的 $$C^1$$ 正则性时，作者利用了 Cauchy 积分算子在 Hölder 空间中的有界性和紧性性质。
谱分解与完全单调性：统一理论的核心创新在于发现相互作用核的完全单调性与线性化算子谱之间的深刻联系。具体来说，若 $$-K'_0$$ 是完全单调函数，则根据 Bernstein 表示定理，它可以写成
$-K'_0(r) = \int_0^\infty e^{-rx} d\mu(x)$
的形式，其中 $\mu$ 是一个正测度。这一表示使得线性化算子的特征值可以表示为上述积分形式，从而将模型依赖性问题转化为对通用函数族 $\{\phi_n\}$ 的研究。作者通过常微分方程和比较论证证明了 $\phi_n$ 的正性和单调性，这是验证 Crandall–Rabinowitz 定理所需谱条件的关键。
保形映射与 Faber 多项式：在刚性定理的证明中，作者利用了外部 Riemann 保形映射及其对应的 Faber 多项式展开。特别是，对于临界情况 $\Omega = 1/2$ ，作者展示了保形映射的 Laurent 展开系数必须满足特定的代数关系，从而迫使域为圆盘。这一方法结合了复分析和几何测度论的工具，如 Talenti 等周不等式。
分岔理论的现代处理：在 Burbea 定理的证明中，作者系统地应用了 Crandall–Rabinowitz 局部分岔定理。关键步骤包括：(i) 将 V-state 方程重写为一个非线性泛函方程；(ii) 计算该泛函在圆盘处的 Fréchet 导数；(iii) 分析导数算子的核和值域；(iv) 验证横截条件，即某个特定方向上的二阶导数不为零。这些步骤依赖于 Fourier 模态分解和显式的谱计算。

4. 与之前工作的比较

本专著与既有工作的主要区别和推进体现在以下几个方面：

从模型特异性到统一框架：此前的工作（如 Hmidi, Xue 和 Xue [42] 之前的文献）分别针对 Euler、gSQG、QGSW 等具体模型建立分岔理论，每种模型的证明都依赖于其特有的特殊函数（如 Gamma 函数、Bessel 函数或超几何函数）计算。本文的贡献在于揭示这些看似不同的证明背后存在共同的抽象机制——即相互作用核的完全单调性。这一视角不仅简化了现有结果的证明，还为未来新模型的分岔分析提供了通用模板。
功能分析框架的改进：Burbea 原始证明使用 Hardy 空间，但缺乏某些关键正则性估计的完整论证。本文在 Hölder 空间中重新建立了整个理论，提供了更稳健的功能分析基础。这使得结果更容易推广到其他函数空间，并为后续的高阶正则性研究（如 $C^\infty$ 甚至实解析性）奠定了基础。
刚性问题的深化：虽然刚性现象早已被注意到，但本文提供了更完整的分类图景。特别是对于临界值 $\Omega = 1/2$ ，作者给出了两种独立的证明，分别基于最大值原理和保形映射方法。此外，文章还讨论了 Gómez-Serrano, Park, Shi 和 Yao [27] 的变分方法，其中 Talenti 等周不等式扮演了核心角色，这为理解刚性现象提供了新的几何视角。
局限性与开放问题：尽管本文建立了强大的局部分岔理论，但全局分岔分支的结构、奇异极限几何（如角点或自接触）以及从相对平衡到周期动力学的过渡等问题仍未完全解决。作者明确指出，当前理论主要局限于单连通域和局部分岔，双连通或多连通域的情况、以及超越完全单调性假设的核（如某些非单调核）的行为仍是重要的研究方向。

6. 小数据 $$3D$$ 可压缩 Euler 方程解的两个全局稳定性定理：具有梯度爆破的唯一极大全局双曲发展以及在整个时空中的光滑全局存在性

Two global stability theorems for small-data $$3D$$ compressible Euler solutions: Unique maximal globally hyperbolic developments with gradient-blowup & smooth global existence in the entire spacetime

作者: Leonardo Abbrescia, Dongxiao Yu, Jared Speck

类别: math.AP

发布日期: 2026-09-08

arXiv ID: 2609.08158v1

摘要翻译: 我们证明了一对互补的小数据稳定性定理，描述了等熵、球对称 $$3D$$ 可压缩 Euler 方程经典解的全局未来与过去结构。我们允许任意具有正声速的状态方程，但我们的激波形成结果不适用于 Chaplygin 气体。

Comment: 无

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

1. 研究对象和背景

本文研究对象为三维球对称等熵可压缩欧拉方程的经典解的全局结构。具体而言，研究的是如下方程组:

\partial_t v_r + v_r \partial_r v_r = -c^2_\varrho \partial_r \varrho,

\partial_t \varrho + \partial_r (\varrho v_r) = -2 \frac{\varrho v_r}{r},

其中 $\varrho : \mathbb{R} \times [0, \infty) \to [0, \infty)$ 是密度， $v_r : \mathbb{R} \times [0, \infty) \to \mathbb{R}$ 是径向速度分量， $c = c(\varrho) > 0$ 是声速， $(t, r) \in \mathbb{R} \times [0, \infty)$ 是标准球坐标函数。声速由状态方程决定。所谓“小数据”，是指我们研究的是对“平凡”解（具有常数正密度和零速度）的小振幅非零尾部扰动。

对于开集的平滑数据（在时间 $$t=0$$ ），我们的工作肯定地回答了以下关于解的、具有基本数学和物理意义的问题：

是否存在一个最大的可能子集 $M_{Max}$ ，使得经典（即 $$C^1$$ 或更光滑）解在其中存在并由初始数据唯一确定？
如果是，区域 $M_{Max}$ 本身是否由初始数据唯一确定？
$M_{Max}$ 是否为整个时空？如果不是，沿着 $\partial M_{Max}$ 会发生什么，即为什么解不能在其后作为经典解被唯一延拓？

在我们的第一个定理中，我们展示了对于导致形成激波的解的开集平滑数据，经典极大全局双曲发展（MGHD）的存在性和唯一性。特别地， $M_{Max}$ 存在且由数据唯一确定，但它不是整个时空。MGHD 的概念依赖于可压缩欧拉方程的因果结构由解依赖的洛伦兹度量支配这一事实，这对于一般双曲偏微分方程并非如此；参见附录 B。粗略地说，MGHD 是由初始数据确定的最大可能的经典解+区域，并且在其边界上可能发生迷人的现象。具体而言，对于我们研究的解，MGHD 的未来边界由延伸到空间无穷大的奇异部分组成，沿该部分发生梯度爆破（即激波形成），以及一个预紧柯西视界，即从首次爆破点发出并终止于对称轴 $\{r = 0\}$ 的零超曲面。这两个未来边界部分在一个角点（前述首次爆破点）处连续但不可微地连接，我们称之为折痕。解在负时间的行为类似（参见备注 1.5），因此类似的结论也适用于 MGHD 的过去边界；见图 1。

在我们的第二个定理中，对于相关开集的小平滑数据，我们证明了向未来和过去的经典全局存在性，即 $M_{Max}$ 是整个时空。两个定理都适用于任何声速在密度为正时为正的状态方程，除了我们的激波形成 MGHD 定理不适用于 Chaplygin 气体状态方程。

这篇论文的新颖性可以总结如下：我们的两个定理都为任何不满足 Klainerman 零条件 [27] 以及 Lindblad–Rodnianski 弱零条件 [29] 的三维拟线性波动类偏微分方程系统提供了第一类真正全局的小数据结果。辐射场的全局符号是驱动方程主要项行为的关键机制，而（声）波色散和非线性几何光学使我们能够控制非线性误差项。

虽然至少一个 MGHD 的存在性可以通过 Zorn 引理论证得出（参见定理 B.13），但应该认识到，MGHD 的唯一性是一个高度非平凡的、全局的几何现象，并不总是成立。事实上，原则上可能存在甚至没有单一的唯一致命全局双曲发展，更不用说极大的了；参见第 B.4.5 节。虽然 Choquet-Bruhat [14] 和 Choquet-Bruhat–Geroch [13] 的著名工作表明爱因斯坦方程总是存在唯一的 MGHD，但在 Eperon–Reall–Sbierski 的非凡论文 [19] 中，他们给出了一个一维拟线性波动方程的例子，其中 $C^\infty$ 数据演化为两个不同的全局双曲发展，相应的经典解在两个域交集的一部分上不一致，这是经典决定论的一种可怕破坏。对于我们第一个主定理中的激波形成解，我们之所以能够证明唯一性，是因为我们推导了整个 MGHD 过去和未来边界的全球结构，并证明在 $$(t, r)$$ 坐标中，每个边界都是连续函数的图形，不同于 [19] 中的例子；详见附录 B。

在两个定理中，初始数据都是零速度和常数正密度的数据的小平滑扰动。更准确地说，扰动速度数据至少以 $$1/r^2$$ 的速度衰减到 0，导致有限的动能，并且密度数据以“渐近平坦”速率 $$1/r$$ 收敛到正常数。重要的是，就密度数据按 $$1/r$$ 的幂展开而言（对于大的 $$r$$ ）， $$1/r$$ 项是非零的，具有任意小但非消失的振幅。这使我们能够利用由密度扰动尾部的 $$1/r$$ 部分产生的辐射场的各种单调性性质。事实上，在两个定理中，辐射场都具有全局符号，尽管它在远离波区时以多项式速率衰减；参见备注 7.2。

有趣的是，在两个定理中，数据都不接近“简单波”，即在时间 0 附近，解特征既有向内传播又有向外传播的声波，比例几乎相等。更准确地说，在球面 Riemann 不变量 $R^\pm$ 系统中（参见定义 2.1），我们为每个 $R^{(+)}$ 和 $R^{(-)}$ 选择的数据大致相等；例如参见 (63a)–(63b)。这对应于上述强调的“非常小”的速度数据。虽然 $R^{(+)}$ 的动态最终在将来占主导地位（ $R^{(-)}$ 在过去占主导地位），但这种主导地位直到色散效应接管后才变得明显，最终导致 $R^{(+)}$ 和 $R^{(-)}$ 的渐近不同行为。事实上，PDE 分析的核心是关于色散效应与共振非线性之间的竞争。

2. 主要定理或主要结果

我们的主要结果包括两个互补的小数据稳定性定理，描述了等熵、球对称三维可压缩欧拉方程经典解的全局未来和过去结构。我们允许任何具有正声速的状态方程，除了我们的激波形成结果不适用于 Chaplygin 气体。

定理 1.1 (主 MGHD 定理的粗略版本) 对于三维球对称等熵可压缩欧拉方程，在任何 $$C^4$$ 状态方程下，声速为正，除了 Chaplygin 气体，存在一个开集的 $$C^3$$ 、“压缩性”数据，具有小速度、有限动能，且密度是正常数 $\bar{\varrho}$ 的小扰动，并以渐近平坦速率 $\dot{\alpha}/r$ 收敛到 $\bar{\varrho}$ ，当 $r \to \infty$ 时，其中 $\dot{\alpha} > 0$ 是任意足够小的振幅。给定这样的数据，以下结果成立（见图 1）：

(经典解) 相对于标准笛卡尔坐标在 $\mathbb{R}^{1+3}$ 上的微分结构，存在一个球对称的极大全局双曲发展 $M_{Max} \subsetneq \mathbb{R}^{1+3}$ ，在其上解是经典的。由全局双曲性是指相对于声学度量 $$g$$ ，即决定解内在因果结构的解依赖的洛伦兹度量；参见 (448)–(450)。
(MGHD 边界) 视为 $(t, r)$ 坐标空间的子集，$M_{Max}$ 的边界由以下集合组成，如图 1 所示：
- 未来折痕 $\partial^- B_{Future}$ ，是唯一时空点（在 $\mathbb{R}^{1+3}$ 中对应一个二维球体），其时间分量是物理流体变量（即速度和密度）的梯度首次爆破的正时间，而未微分的流体变量保持有界。也有一个过去折痕 $\partial^+ B_{Past}$ ，它是唯一时空点，其时间分量是流体变量的梯度首次爆破的负时间，而流体变量保持有界。未来外向特征线的密度在 $\partial^- B_{Future}$ 处为无穷大，过去外向特征线的密度在 $\partial^+ B_{Past}$ 处为无穷大。两个折痕不属于 $M_{Max}$ ，但它们是其拓扑闭包的一部分： $\partial^- B_{Future}, \partial^+ B_{Past} \subset \overline{M_{Max}}$ 。
- 未来奇异边界 $B_{Future}$ ，是从未来折痕发出并流向未来时间和空间无穷大的 $$C^1$$ 曲线部分（在 $\mathbb{R}^{1+3}$ 中对应超曲面部分），沿该部分物理流体变量的梯度继续爆破，而未微分的流体变量保持有界。也有一个过去奇异边界 $B_{Past}$ ，它是从过去折痕发出并流向过去时间和空间无穷大的 $$C^1$$ 曲线部分（即超曲面部分），沿该部分物理流体变量的梯度继续爆破，而未微分的流体变量保持有界。未来外向特征线的密度在 $B_{Future}$ 上为无穷大，过去外向特征线的密度在 $B_{Past}$ 上为无穷大。两个奇异边界不属于 $M_{Max}$ ，但它们是其拓扑闭包的一部分： $B_{Future}, B_{Past} \subset \overline{M_{Max}}$ 。
- 未来柯西视界 $C^{Max}_{Future}$ ，是从 $\partial^- B_{Future}$ 发出并在未来终止于其与对称轴 $\{r = 0\}$ 相交时的 $$C^1$$ 曲线部分。也有一个过去柯西视界 $C^{Max}_{Past}$ ，它从 $\partial^+ B_{Past}$ 向过去发出并在过去终止于其与对称轴 $\{r = 0\}$ 相交时。解在两个未来和过去柯西视界上都保持光滑（根据定义不包含其折痕边界点，在那里发生梯度爆破）。两个柯西视界不属于 $M_{Max}$ ，但它们是其拓扑闭包的一部分： $C^{Max}_{Future}, C^{Max}_{Past} \subset \overline{M_{Max}}$ 。
(极大性和唯一性) $M_{Max}$ 是极大的（即没有办法将经典解唯一地延拓到其之外），并且区域 $M_{Max}$ 本身及其上的解由数据唯一确定。此外，数据的任何其他全局双曲发展仅在 $M_{Max}$ 的子集上定义，并且相应的解与第 1 点中的解一致。
(外向特征线的行为) 在 $M_{Max}$ 的一个远离原点的大子集中定义了一个 eikonal 函数 $$u$$ ，延伸到空间无穷大，使得对于正时间，水平集 $\{u = \text{constant}\}$ 是外向特征线，它们是平坦特征线 $\{t - r = \text{constant}\}$ 的扭曲，误差项随时间对数增长。相对于 $$(t, u)$$ 坐标，非线性解像线性波一样衰减到零速度和常数密度 $\bar{\varrho}$ 的平凡解。类似地，对于负时间，eikonal 函数的水平集是平坦特征线 $\{t + r = \text{constant}\}$ 的对数扭曲。
(全局压缩) 随着 $$|t|$$ 增加，未来和过去外向特征线的密度增长，直到在两个奇异边界上变为无穷大。也就是说，解是全局压缩的。压缩是由辐射场具有全局符号引起的；参见备注 7.2。

定理 1.3 (主全局存在性定理的粗略版本) 对于三维球对称等熵可压缩欧拉方程，在任何 $$C^3$$ 状态方程下，声速为正，存在一个开集的 $$C^2$$ 、“稀疏性”数据，具有小速度、有限动能，且密度是正常数 $\bar{\varrho}$ 的小扰动，并以渐近平坦速率 $$1/r$$ 收敛到 $\bar{\varrho}$ ，当 $r \to \infty$ 时。对于数据，以下结果成立：

(全局存在性) 相应的经典解在空间和时间内向未来和过去全局存在。
(外向特征线的行为) 在 $\{r \geq 1\}$ 上定义了一个 eikonal 函数 $$u$$ ，使得对于 $t \geq 0$ ，水平集 $\{u = \text{constant}\}$ 是外向特征线，它们是平坦特征线 $\{t - r = \text{constant}\}$ 的扭曲，误差项随时间对数增长。对于 $t \leq 0$ ，水平集 $\{u = \text{constant}\}$ 是外向特征线，它们是平坦特征线 $\{t + r = \text{constant}\}$ 的扭曲，误差项随时间对数增长。相对于 $$(t, u)$$ 坐标，非线性解向未来和过去像线性波一样衰减到零速度和常数密度 $\bar{\varrho}$ 的平凡解。
(全局稀疏) 外向特征线随 $|t| \to \infty$ 在时间中对数分离，即解是全局稀疏的。稀疏是由辐射场具有全局符号引起的；参见备注 7.2。

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

在两个定理中，我们使用非线性几何光学来展示非线性辐射场具有全局符号，并展示相对于与 eikonal 函数相关的几何坐标系，非线性项表现出良好的零结构，从而导致衰减。

技术障碍与创新点：

MGHD 的唯一性问题： MGHD 的唯一性是一个高度非平凡的、全局的几何现象，并不总是成立。原则上可能存在甚至没有单一的唯一致命全局双曲发展，更不用说极大的了。Choquet-Bruhat 和 Choquet-Bruhat–Geroch 的工作表明爱因斯坦方程总是存在唯一的 MGHD，但 Eperon–Reall–Sbierski 给出了一维拟线性波动方程的例子，其中 $C^\infty$ 数据演化为两个不同的全局双曲发展，相应的经典解在两个域交集的一部分上不一致。我们的创新在于通过推导整个 MGHD 过去和未来边界的全球结构，并证明在 $$(t, r)$$ 坐标中，每个边界都是连续函数的图形，从而证明了唯一性。
非线性几何光学： 我们使用非线性几何光学来展示非线性辐射场具有全局符号。这是驱动方程主要项行为的关键机制。相对于与 eikonal 函数相关的几何坐标系，非线性项表现出良好的零结构，从而导致衰减。这种技术使我们能够控制非线性误差项，即使在方程不满足零条件和弱零条件的情况下。
色散效应与共振非线性的竞争： PDE 分析的核心是关于色散效应与共振非线性之间的竞争。初始数据中密度扰动的 $$1/r$$ 尾部导致了辐射场的全局符号，这在两个定理中都至关重要。对于激波形成解，这种全局符号导致了全局压缩，最终导致梯度爆破。对于全局存在性解，这种全局符号导致了全局稀疏，确保了全局存在性。
Eikonal 函数与几何坐标： 我们引入了 eikonal 函数 $$u$$ ，其水平集是外向特征线。这些特征线是平坦特征线的对数扭曲。相对于 $$(t, u)$$ 坐标，非线性解像线性波一样衰减到平凡解。这种几何坐标的选择使我们能够更清楚地理解解的渐近行为，并利用色散效应来控制非线性项。
Bootstrap 假设与先验估计： 我们在一个全局双曲外部区域上使用 bootstrap 假设，并基于这些假设进行几何先验估计。这种方法使我们能够在整个 MGHD 上控制解的行为，并确保其光滑性和唯一性。

具体技术细节：

Riemann 不变量和特征向量场： 我们使用了球面 Riemann 不变量 $R^\pm$ 和特征向量场来分析解的结构。这些工具帮助我们理解内向和外向声波的行为，以及它们如何相互作用。
声学几何与非线性几何光学： 我们研究了声学几何，并使用非线性几何光学来追踪特征线和波前。这种方法使我们能够精确描述解的奇异性结构和全局行为。
几何演化方程： 在外部区域中，我们建立了几何演化方程，并基于 bootstrap 假设进行了先验估计。这些估计确保了解在整个 MGHD 上的光滑性和唯一性。
映射的同胚性质： 我们研究了变量变换映射的微分同胚和同胚性质，以确保坐标变换的有效性和解的连续性。
褶皱、奇异边界和柯西视界的行为： 我们详细分析了解在褶皱、奇异边界和部分柯西视界上的行为，确保这些边界的光滑性和解在这些边界上的正则性。
MGHD 的存在性和唯一性定理： 我们结合了以上所有技术，证明了 MGHD 的存在性和唯一性，包括内部区域的分析。
全局存在性： 对于稀疏性数据，我们证明了全局存在性，并分析了解在全局范围内的行为，特别是其向 null infinity 的渐近行为。

4. 与之前工作的比较

我们的 MGHD 结果对于激波形成解特别受到 Christodoulou 开创性专著 [16] 的启发，他在其中推导了激波形成解的开集的大部分未来 MGHD——没有对称性假设——针对三维无旋和等熵相对论欧拉方程的小数据制度，即常数正密度和零速度数据的小扰动。[16] 中的数据扰动没有 $$1/r$$ 尾部，而是紧支的，因此由于依赖域考虑，解在平坦外向声锥的外部是平凡的。在 [16] 中，Christodoulou 开发了许多研究 MGHD 的重要技术，与非线性几何光学相关，并为该领域的未来提供了愿景。[16, 定理 15.1, 命题 15.3] 中推导的 MGHD 部分并未明确构造，而是被描述为与不可数无限族的时空部分由声锥和平坦类空超曲面组成的叶层化的相关的全局双曲发展的并集，这些超曲面终止于 MGHD 边界的“梯度爆破”部分。由于我们的 $$1/r$$ 数据尾部诱导的解的性质，我们对 MGHD 的描述是完全构造性和完整的，这使我们能够得出结论，即它是唯一的。Christodoulou 专著中的另一个关键结果是 [16, 定理 13.1]，它表明在小数据制度中，对于紧支的、等熵和无旋的数据扰动，在内部区域之外，原则上可能形成的唯一类型的奇异性是由于外向特征的无限密度导致的梯度爆破引起的激波。换句话说，Christodoulou 证明了在外部区域的有条件全局存在性，即由于色散效应，只要外向特征永远不会变得无限密集，全局存在性就成立。迄今为止，他的分析框架是唯一能够证明有条件全局存在性的框架；所有后续的多维激波形成工作要么使用了他的框架，要么仅限于具有额外属性保证流中迅速形成激波的有限数据制度。虽然我们在这篇论文中没有明确陈述类似的结果，但我们主定理的证明表明，对于具有小 $$1/r$$ 尾部的数据扰动，类似于 [16, 定理 13.1] 的有条件全局存在性结果在整个时空中成立，尽管尾部诱导的渐近行为更复杂。

我们的全局存在性结果受到第三作者论文 [43] 中推导的后向散射结果的启发，该论文构造了一类有趣的候选“渐近轮廓”，并使用它们构造了三维无旋和等熵可压缩欧拉方程以及相关非线性波动方程的非平凡未来全局解。我们澄清 [43] 仅产生了一个未来方向的存在性结果，并且从柯西问题的角度来看，所构造解的稳定性在该论文中未得到研究。

虽然我们已经详细处理了可压缩欧拉方程，但我们的方法是稳健的，适用于其他不满足零条件的拟线性波动方程；这篇论文的新颖性在于我们发现“ $$1/r$$ 尾部”初始数据制度可以是导致可处理的全局非线性动力学的原因，这与辐射场具有符号相关，而不是方程的具体细节。因此，我们预计我们的结果可以推广到波动方程以外的其他双曲偏微分方程类别。此外，尽管我们的结果是在球对称性下，但它们与 Christodoulou [16]、Speck–Luk [32, 41] 和 Abbrescia–Speck [1, 4, 5] 开发的一套稳健的多维技术兼容，我们预计可以使用这些技术将我们的结果推广到非对称情况。我们特别强调，Abbrescia–Speck 开发的技术特别适用于对称解（包括本文研究的解）的扰动，这是一类在其他研究激波形成的方法中使用的一些凸性假设不成立的解。为了使论文长度可控，并帮助读者导航主要思想，我们详细处理了一个精心选择的初始数据开集，基于扰动特定的单参数轮廓族。在附录 A 中，我们概述了如何将我们的结果推广到更大的数据类。

与先前工作的比较：

Christodoulou [16]： Christodoulou 的工作推导了激波形成解的大部分未来 MGHD，但没有对称性假设。他的数据扰动是紧支的，没有 $$1/r$$ 尾部。我们的工作通过引入 $$1/r$$ 尾部，实现了对 MGHD 的完全构造性和完整的描述，从而证明了唯一性。Christodoulou 的框架是唯一能够证明有条件全局存在性的框架，我们的工作在此基础上进一步扩展，考虑了 $$1/r$$ 尾部诱导的更复杂的渐近行为。
Alinhac [7, 8]： Alinhac 的工作关注具有凸性属性的“非退化”激波形成解的拟线性波动方程。他的方法依赖于 Nash–Moser 迭代方案来闭合能量估计，能够跟随解直到首次爆破的平坦常时间超曲面 $\Sigma_{T_{Shock}}$ ，但不能到更大的时空区域。由于凸性假设，在 $\Sigma_{T_{Shock}}$ 内，奇异点是孤立的，即 Alinhac 推导了 MGHD 边界上的有限数量的孤立点。相比之下，我们的工作不使用凸性假设，而是通过非线性几何光学和色散效应来控制解的行为，从而能够描述整个 MGHD 的边界结构。
Luk–Speck [32, 41] 和 Abbrescia–Speck [1, 4, 5]： 这些工作开发了新的流体方程公式，表现出惊人的结构，并用于证明二维等熵可压缩流体具有涡量的第一个稳定激波形成结果 [31]。对于具有绝热状态方程的二维等熵可压缩流体，具有大小 $1/\epsilon$ 的大梯度和 Alinhac 类型凸性假设的数据，[38] 提供了两个平行常时间切片之间距离为 $O(\epsilon)$ 的 MGHD 部分的描述。这包括大小为 $O(\epsilon)$ 的奇异边界部分，其中发生梯度爆破，以及大小为 $O(\epsilon)$ 的柯西视界部分，其中没有奇异性发展。[33] 证明了三维可压缩欧拉方程具有涡量和熵的近平面对称解的稳定激波形成，这比二维等熵情况更困难，因为方程中存在涡量拉伸项和熵梯度项，两者都导致具有挑战性的正则性理论。[33] 的主要结果不需要任何凸性假设，但解仅研究到首次梯度爆破的时间，即 MGHD 的大部分边界未在那里研究。在相同的三维设置下，[1, 5] 仅使用“横向凸性”假设推导了奇异边界和柯西视界的 $$O(1)$$ 大小的部分，以及折痕的完整结构，即使在一维中，这也是确保连续的特征线不会坍缩到低维集合所必需的；如果发生这种情况，研究 MGHD 的存在性和唯一性将极具挑战性。重要的是，[1, 5] 中开发的技术适用于本文研究的解的扰动——偏离对称性。[1, 5] 中的顶级正则性理论依赖于 [4] 中推导的惊人能量恒等式，这些恒等式允许在任意全局双曲域上传播涡量和熵的额外一阶正则性，从而可以将流视为无旋和等熵流的扰动。
Eperon–Reall–Sbierski [19]： Eperon–Reall–Sbierski 的工作表明，对于某些拟线性波动方程，MGHD 的唯一性可能失败。他们给出了一维拟线性波动方程的例子，其中 $C^\infty$ 数据演化为两个不同的全局双曲发展，相应的经典解在两个域交集的一部分上不一致。我们的工作通过证明 MGHD 边界在 $$(t, r)$$ 坐标中是连续函数的图形，从而排除了这种可能性，确保了唯一性。
Grassin [20]： Grassin 假设初始密度很小，初始速度梯度 $\nabla v$ 作为矩阵的谱严格低于 0 的下界。然后他证明了由于与大速度梯度相关的扩散效应，解的未来全局存在性和色散估计。然而，他的结果不能扩展到过去方向，因为初始 $\nabla v$ 的谱对于过去全局存在性具有错误的符号。相比之下，我们的初始速度可以任意小（甚至为零），具有无符号梯度张量，我们的全局存在性结果向未来和过去成立。简而言之，对于我们的全局存在性定理，初始数据

摘要翻译: 对于任意亚音速 $c\in(0,\sqrt2)$ ，我们证明了二维平面 Gross–Pitaevskii 方程存在有限能量行波。这解决了二维中指定速度行波解的存在性这一长期悬而未决的问题，该问题曾被 Mariş (Ann. of Math., 2013) 和 Bellazzini 与 Ruiz (Amer. J. Math., 2023) 明确列为开放问题。证明本质上依赖于如下能量估计：

中文标题: Dunkl–Riesz 变换向量的维度无关弱型端点估计

摘要翻译: 设 $R\subset\mathbb{R}^d$ 为一个约化根系统， $$G$$ 为相应的有限反射群，且 $k\ge0$ 为 $$G$$ -不变重数函数。我们发展了 Ouyang, Spector 和 Stockdale (https://arxiv.org/abs/2608.18068) 针对欧氏分数阶拉普拉斯算子的障碍法/部分 balayage 方法的 Dunkl 类比。对于 $$0<s<2$$ 、非负的 $f\in L^1(ν_k)\cap L^2(ν_k)$ 以及 $$λ>0$$ ，我们得到了分解

f=μ+(-Δ_k)^{s/2}u, \qquad 0\leμ\leλ,

其中在 $Ω=\{u>0\}$ 上有 $$μ=λ$$ ，并且满足

λν_k(Ω)\le\|f\|_{L^1(ν_k)}.

作为一个应用，我们证明了向量 Dunkl–Riesz 变换 $\mathcal R_k=\nabla_k(-Δ_k)^{-1/2}$ 具有弱型 $$(1,1)$$ ，其常数至多为 $$(M_k+2)$$ ，其中

arXiv ID: 2609.08260v1

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

摘要: We generalize the necessary and sufficient condition of existence for the quadrature surfaces free boundary problem to the case of the $$p$$ -Laplacian operator in Riemannian geometry. Following the shape optimization approach of Barkatou for the Euclidean case and the Riemannian framework recently developed by Djité and Seck, we formulate the $$p$$ -Laplacian quadrature surface problem as a shape optimization problem on a compact Riemannian manifold. Using the Riemannian $$RC$$ -GNP condition, the stability results, and the $$p$$ -Laplacian shape derivative formula from \cite{DjiteSeck2026b}, we prove that the $$p$$ -Laplacian quadrature surface problem $$QS_p(f,k)$$ admits a solution strictly containing the totally convex hull $$C$$ of the support of $$f$$ if and only if

\int_C f(x)\,dv(g) > k^{p-1} |\partial C|_g,

for $1 < p < \infty$ , under suitable regularity and stability assumptions. This extends the Euclidean result of Barkatou for $$p=2$$ and the Riemannian result of Djité and Seck to the nonlinear $$p$$ -Laplacian setting. Explicit examples on the round sphere are provided, including the computation of the radial $$p$$ -harmonic solution and the boundary flux.

22. 受挫铁磁体四阶模型中Skyrmion的存在性与强场渐近行为

Existence and strong-field asymptotics of skyrmions in a fourth-order model of frustrated ferromagnets

作者: Xinye Li

类别: math.AP

发布日期: 2026-09-08

arXiv ID: 2609.08255v1

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

摘要: We study a fourth-order variational model for two-dimensional frustrated ferromagnets with competing exchange interactions and an applied magnetic field of strength $$H>0$$ . For every $$H>1/4$$ , we prove that the energy admits minimizers in the topological classes $Q=\pm1$ and that every minimizing sequence is precompact in $$H^2$$ modulo translations. The main difficulty is that spectral coercivity degenerates as $H\downarrow1/4$ . Using a Helmholtz circle-mean identity, we prove that the residual energy of every nonzero-degree configuration has a uniform positive lower bound, even at the degenerate endpoint. Together with a sphere-valued $$H^2$$ -splitting construction, this provides a threshold-stable binding inequality and yields compactness throughout the coercive regime. We also identify $$H=1/4$$ as the sharp spectral threshold. Below it the energy is unbounded from below, whereas at the threshold nonzero-degree configurations retain a positive energy barrier and degree-zero Weyl sequences lose compactness. Finally, in the strong-field regime, rescaled minimizers approach those minimizers of the limiting functional that maximize the Dirichlet energy, while topological-charge and normalized-energy measures concentrate on the $H^{-1/4}$ -scale.

23. 黎曼几何中求积曲面自由边界问题存在性的充要条件

Necessary and Sufficient Condition of Existence for the Quadrature Surfaces Free Boundary Problem in Riemannian Geometry

作者: Mohammed Barkatou

类别: math.AP

发布日期: 2026-09-08

arXiv ID: 2609.08245v1

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

摘要: We generalize to the setting of compact Riemannian manifolds a recent result of Barkatou on quadrature surfaces. Following the geometric and variational framework recently developed by Djité and Seck, we formulate the quadrature surface free boundary problem as a shape optimization problem on a compact Riemannian manifold. Using the Riemannian $$RC$$ -GNP condition introduced in \cite{DjiteSeck2026} and the stability results established therein, we prove that the quadrature surface problem $$QS(f,k)$$ admits a solution strictly containing the totally convex hull $$C$$ of the support of $$f$$ if and only if the following integral condition holds:

\int_C f(x)\,dv(g) > k |\partial C|_g,

where $$dv(g)$$ is the Riemannian volume element and $|\partial C|_g$ is the perimeter of $$C$$ with respect to the metric $$g$$ . This work extends the results of Barkatou et al. (2005) by replacing the Euclidean space with a Riemannian manifold. We also provide explicit examples on the round sphere where the condition can be verified explicitly. This paper complements the recent works \cite{DjiteSeck2026} and \cite{DjiteSeck2026b} by establishing a sharp necessary and sufficient condition in the spirit of the Euclidean result of Barkatou.

24. 非退化颈缩的形成与结构稳定性

Formation and structural stability of nondegenerate neckpinches

作者: Kyeongsu Choi, Panagiota Daskalopoulos, Natasa Sesum

类别: math.DG, math.AP

发布日期: 2026-09-08

arXiv ID: 2609.08112v1

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

摘要: In this paper, we study the formation, precise asymptotics, and structural stability of neckpinch singularities in mean curvature flow. Motivated by the static rigidity of cylindrical self-shrinkers established by Colding, Ilmanen and Minicozzi, we first prove a dynamical rigidity result: mean curvature flow of hypersurfaces that are initially graphically close to a generalized cylinder on a sufficiently large scale, subject to a localized quadratic upward bending, inevitably develop a neckpinch singularity in finite time. We also establish sharp asymptotic expansions for the profile functions of these locally evolving graphs. We show that the rescaled graphical radius converges to a specific polynomial profile with quadratic bending, proving that the resulting singularities are nondegenerate. Finally, we establish an openness theorem showing that nondegenerate neckpinches are structurally stable under C^2 perturbations of the initial data. Combined with recent density theorems for the 3-dimensional mean curvature flow by Szekelyhidi, our results confirm that nondegenerate neckpinches constitute a generic and stable phenomenon in 3-dimensional mean curvature flow.

25. 关于 Kenig 猜想的一个反例：拉普拉斯双层算子

A counterexample to Kenig’s conjecture for the Laplace double-layer operator

作者: Matthew J. Colbrook, Siavash Sadeghi

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

发布日期: 2026-09-07

arXiv ID: 2609.07947v1

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

摘要: Layer potentials provide a classical approach to boundary value problems for Laplace’s equation on Lipschitz domains. Kenig’s 1994 spectral-radius conjecture for the double-layer operator would ensure operator-norm convergence of the associated Neumann series on mean-zero $$L^2$$ densities when the boundary is connected. We disprove this conjecture by constructing a bounded simply connected planar Lipschitz domain whose double-layer operator on arclength $$L^2$$ has essential spectral radius strictly greater than $$1/2$$ . More precisely, for every $$t>1/2$$ sufficiently close to $$1/2$$ , we obtain such a domain with $\pm i t$ in its Fredholm essential spectrum. The construction starts from smooth graphs whose shapes repeat under translation. In the limit of separated scales, refinement makes solutions of adjoint resolvent equations grow with fixed forcing. The graph slopes remain uniformly bounded. A computer-assisted certificate proves this growth through an inequality for Hermitian $2\times2$ matrices. Its strict margin at $$- i/2$$ persists at nearby spectral parameters. Normalisation and a Floquet transform then give compactly supported densities with small residuals on the full graphs. We insert rescaled segments of successive graphs into one bounded boundary, where these densities form a weakly null sequence of approximate eigenvectors. The same spectral conclusion holds on a single periodic Lipschitz graph. The certificate combines continuous estimates, exact rational arithmetic and rigorous interval enclosures.

26. 无穷图上半线性椭圆方程的可解性

Solvability of Semilinear Elliptic Equations on Infinite Graphs

作者: Bobo Hua, Yong Lin, Haohang Zhang

类别: math.AP, math.CO

发布日期: 2026-09-07

arXiv ID: 2609.07994v1

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

摘要: We develop a constructive method for solving semilinear elliptic equations $$Δu(x)=f(x,u(x))$$ on locally finite, connected infinite graphs with layered structure. Using Eidelheit’s theorem, we establish coupling criteria ensuring that arbitrary initial-layer data extend to global solutions for every $$f$$ . We apply combinatorial criteria to prove solvability on leafless infinite trees, integer lattices, the triangular and hexagonal lattices, and a Cayley graph of the discrete Heisenberg group. We further establish solvability for a broad class of Cayley graphs of semidirect products $G\cong\mathbb Z\ltimes_θH$ . In particular, $$Δu=e^u$$ has infinitely many solutions on $\mathbb Z^2$ , but none of finite energy. We also extend the method to the bi-Laplacian under two-step coupling conditions, to the $$p$$ -Laplacian under a unique-neighbor condition, and to magnetic Laplacians.

27. DNA 复制的完成受到起始点激活时空组织的约束

Completion of DNA replication is constrained by the spatiotemporal organisation of origin firing

作者: Ahmad Alkhaled, Francisco Berkemeier, Michael A. Boemo, Katerina Nik

类别: math.AP, q-bio.QM

发布日期: 2026-09-07

arXiv ID: 2609.07924v1

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

摘要: DNA replication requires the coordination of origin firing and fork progression to ensure the entire genome is timely duplicated before cell division. Yet origin firing is stochastic, giving rise to the classical random completion problem of how probabilistic local events can nevertheless ensure reliable genome duplication. Although several biological mechanisms have been proposed to resolve this problem, a quantitative account of how heterogeneous initiation and fork speed govern the persistence of the final unreplicated regions is still lacking. To address this gap, we introduce a population-level kinetic framework that extends KJMA nucleation-and-growth models by tracking unreplicated intervals over size, genomic position and time. We establish well-posedness of the resulting mean-field system and global existence for compatible data. Notably, by introducing a local initiation mass function, we quantify how the density and spatial organisation of origin firing constrain replication completion, yielding novel and sharp upper bounds on both the worst-locus unreplicated fraction and locuswise near-completion time. These results provide a rigorous and computable foundation for mapping vulnerabilities in replication completion and relating persistent unreplicated regions to replication stress and genome instability.

28. 奇异 $$p$$ -Laplace 方程的改进强比较原理及其应用

An improved strong comparison principle for singular $$p$$ -Laplace equations, with applications

作者: Phuong Le

类别: math.AP

发布日期: 2026-09-07

arXiv ID: 2609.07877v1

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

摘要: We consider positive weak solutions of $$-Δ_p u=f(u)$$ , with $$f$$ positive and locally Lipschitz continuous. In the singular case $$1<p<2$$ , the Harnack-type inequalities, the strong maximum principle for the linearized operator, the description of the critical set and the strong comparison principle established by Damascelli and Sciunzi [Calc.\ Var.\ Partial Differential Equations \textbf{25} (2006), 139–159] have been available, for more than twenty years, only under the restriction $\frac{2N+2}{N+2}<p<2$ , a range that shrinks to the empty set as $N\to\infty$ . We remove the dependence on the dimension and prove all of these results for $\frac32<p<2$ . Since the strong comparison principle is used as a black box throughout the qualitative theory of $$p$$ -Laplace equations, the improvement propagates. We show in particular that the assumption $\frac{2N+2}{N+2}<p<2$ may be replaced by $\frac32<p<2$ in the resolution of Gibbons’ conjecture for $$-Δ_pu=f(u)$$ by Esposito, Farina, Montoro and Sciunzi [Math.\ Ann.\ \textbf{382} (2022), 943–974] and in their monotonicity theorem in half-spaces for changing-sign nonlinearities [Calc.\ Var.\ Partial Differential Equations \textbf{61} (2022), art.\ 154]; further applications are given in the body of the paper.

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

1. $\mathrm{L}^1$-Stokes半群#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

2. 具有 Fujita-Kato 型初始数据的 NS-NPP 方程 Cauchy 问题的全局大解#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

3. 圆盘上度量形变下稳态涡旋片的延拓与约化#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

4. 关于 Camassa-Holm 方程的奇异极限#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

5. 旋转涡斑：刚性、分岔与统一结构#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

6. 小数据 $3D$ 可压缩 Euler 方程解的两个全局稳定性定理：具有梯度爆破的唯一极大全局双曲发展以及在整个时空中的光滑全局存在性#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

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

1. 异质细胞群体压力模型中分离波的传播速度与稳定性#

摘要翻译#

2. $M^{1,s}$ 空间上的 Trudinger 不等式成立#

摘要翻译#

3. 二维水波的可控性：底部地形与恒定涡度的影响#

摘要翻译#

4. 复 Ginzburg-Landau 方程的非唯一性#

摘要翻译#

5. 全空间上弱阻尼随机非线性 Schrödinger 方程的多项式混合#

摘要翻译#

6. 平面 Gross–Pitaevskii 方程在每一亚音速下的行波#

摘要翻译#

7. 关于二维临界非线性薛定谔流的散射#

摘要翻译#

8. 超线性双曲型随机偏微分方程中驯化指数欧拉格式的强收敛速率#

摘要翻译#

9. 退化噪声下三维阻尼三次非线性薛定谔方程的多项式混合#

摘要翻译#

10. 三维 Vlasov–Poisson–Fokker–Planck 方程的调制 Gibbs 测度与平均场极限#

摘要翻译#

11. 解析空间中 Vlasov-Poisson 系统势-密度映射的可逆性#

摘要翻译#

12. Dunkl–Riesz 变换向量的维度无关弱型端点估计#

摘要翻译#

13. 具有朗缪尔吸附的多组分输运问题的紧致隐式高分辨率数值格式#

摘要翻译#

14. 两团簇区域中类氦原子与玻色原子的基态渐近行为#

摘要翻译#

15. Schrödinger 算子的面积函数与极大函数的 Fefferman–Stein 型不等式及其应用#

摘要翻译#

16. 有限水深下的非对称周期水波#

摘要翻译#

17. Fermi–Dirac BGK 模型的全局温和解与半经典极限#

摘要翻译#

18. 质量临界广义 KdV 方程中三孤子解的构造及其对数间距#

摘要翻译#

19. 半轴上短波方程的统一变换方法#

摘要翻译#

不相关论文（基本信息）#

1. 标准球中任意亏数的高维极小曲面族#

2. 广义 KPZ 方程在全次临界区域中的逐路径全局时间存在性#

3. 映射到度量空间的 Lipschitz 映射的可微性：面积公式与共面积公式#

4. 非线性源项含时滞的抽象演化方程适定性与指数稳定性：摩擦与粘弹性情形#

5. 极小约束映射的 Sharp $C^{1,1}$ 目标阈值#

6. 各向异性极小图的增长间隙#

7. 半线性波动方程中阻尼与势系数的稳定反演#

8. 非圆形多层结构中的精确高阶 GPT 消去#

9. 关于边界控制一维热方程达到可达状态的成本#

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

1. $\mathrm{L}^1$ -Stokes半群

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 具有 Fujita-Kato 型初始数据的 NS-NPP 方程 Cauchy 问题的全局大解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 圆盘上度量形变下稳态涡旋片的延拓与约化

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 关于 Camassa-Holm 方程的奇异极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 旋转涡斑：刚性、分岔与统一结构

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 小数据 $$3D$$ 可压缩 Euler 方程解的两个全局稳定性定理：具有梯度爆破的唯一极大全局双曲发展以及在整个时空中的光滑全局存在性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 异质细胞群体压力模型中分离波的传播速度与稳定性

摘要翻译

2. $M^{1,s}$ 空间上的 Trudinger 不等式成立

摘要翻译

3. 二维水波的可控性：底部地形与恒定涡度的影响

摘要翻译

4. 复 Ginzburg-Landau 方程的非唯一性

摘要翻译

5. 全空间上弱阻尼随机非线性 Schrödinger 方程的多项式混合

摘要翻译

6. 平面 Gross–Pitaevskii 方程在每一亚音速下的行波

摘要翻译

7. 关于二维临界非线性薛定谔流的散射

摘要翻译

8. 超线性双曲型随机偏微分方程中驯化指数欧拉格式的强收敛速率

摘要翻译

9. 退化噪声下三维阻尼三次非线性薛定谔方程的多项式混合

摘要翻译

10. 三维 Vlasov–Poisson–Fokker–Planck 方程的调制 Gibbs 测度与平均场极限

摘要翻译

11. 解析空间中 Vlasov-Poisson 系统势-密度映射的可逆性

摘要翻译

12. Dunkl–Riesz 变换向量的维度无关弱型端点估计

摘要翻译

13. 具有朗缪尔吸附的多组分输运问题的紧致隐式高分辨率数值格式

摘要翻译

14. 两团簇区域中类氦原子与玻色原子的基态渐近行为

摘要翻译

15. Schrödinger 算子的面积函数与极大函数的 Fefferman–Stein 型不等式及其应用

摘要翻译

16. 有限水深下的非对称周期水波

摘要翻译

17. Fermi–Dirac BGK 模型的全局温和解与半经典极限

摘要翻译

18. 质量临界广义 KdV 方程中三孤子解的构造及其对数间距

摘要翻译

19. 半轴上短波方程的统一变换方法

摘要翻译

不相关论文（基本信息）

1. 标准球中任意亏数的高维极小曲面族

2. 广义 KPZ 方程在全次临界区域中的逐路径全局时间存在性

3. 映射到度量空间的 Lipschitz 映射的可微性：面积公式与共面积公式

4. 非线性源项含时滞的抽象演化方程适定性与指数稳定性：摩擦与粘弹性情形

5. 极小约束映射的 Sharp $C^{1,1}$ 目标阈值

6. 各向异性极小图的增长间隙

7. 半线性波动方程中阻尼与势系数的稳定反演

8. 非圆形多层结构中的精确高阶 GPT 消去

9. 关于边界控制一维热方程达到可达状态的成本