生成时间: 2026年07月09日 06:35:51

运行状态: 完成

计划处理论文数量: 35

已完成论文数量: 35

未完成论文数量: 0

重点关注论文数量: 3

了解领域论文数量: 17

不相关论文数量: 15

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

1. 平移对称偶极子斑块附近的周期性涡旋

Time-periodic vortices near translating symmetric dipole patches

作者: Luca Franzoi, Taoufik Hmidi, Riccardo Montalto

类别: math.AP, math-ph

发布日期: 2026-07-08

arXiv ID: 2607.07613v1

摘要翻译: 我们证明了二维不可压 Euler 方程存在从平移涡旋对分岔出来的周期解。参考构型由两个等强度、反号的对称涡旋斑块组成，以恒定速度运动。在涡旋间距充分大的情形下，该动力学可视为一个可积系统的微小扰动。我们在随体坐标系中工作，并利用边界动力学（contour dynamics）公式，将问题归约为关于涡旋边界的非线性输运方程。线性化算子表现出与对称性和输运效应相关的退化性。我们结合 Lyapunov-Schmidt 约化、Nash-Moser 方法以及谱分析，并借助特征值的 sharp 渐近展开来克服退化性，从而为一大类 Cantor 参数集构造出非刚性、时间周期性的涡旋斑块解族。分析揭示：平移偶极子在其邻域内具有出人意料地丰富的动力学行为，远超通常与涡旋斑块运动相联系的经典刚性范式。更一般地，本文所发展的方法具有灵活性和鲁棒性，有望推广至流体力学中具有退化行为的一类更广泛的非局部偏微分方程。

Comment: 105 pages, 1 figure

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

1. 研究对象和背景

本文研究二维不可压 Euler 方程

$$ \begin{cases} \partial_t \omega + (u \cdot \nabla) \omega = 0, & (t,x) \in (0,\infty) \times \mathbb{R}^2, \\ \Delta u = \nabla^\perp \omega, \quad \nabla^\perp = (-\partial_2, \partial_1), \\ \omega(x,0) = \omega_0(x), \end{cases} \tag{1.1} $$

中一类具有内部自由度的非刚性时间周期解的存在性。核心研究对象是两类对称涡旋斑块（vortex patches）构成的平移偶极子：设 $D_1, D_2 \subset \mathbb{C} \simeq \mathbb{R}^2$ 为两个有界单连通区域，满足 $D_1 \subset \{z \in \mathbb{C} : \operatorname{Re} z > 0\}$ 且 $D_2 = \{-z : z \in D_1\}$，初始涡量取为

$$ \omega_0(x) = \mathbf{1}_{D_1}(x) - \mathbf{1}_{D_2}(x) \in L^1(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2). $$

由 Yudovich 理论及对称性，解保持该形式：

$$ \omega(t,x) = \mathbf{1}_{D_1(t)}(x) - \mathbf{1}_{D_2(t)}(x), \quad D_2(t) = \{-z : z \in D_1(t)\}. $$

其中 $D_1(t)$ 的边界 $\partial D_1(t)$ 在大分离参数 $\alpha \ll 1$ 下被参数化为

$$ \gamma(t,\theta) = \sqrt{1 + 2 r(t,\theta)} \, e^{i\theta}, \quad \theta \in \mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}, $$

即以单位圆为参考、法向扰动 $r(t,\theta)$ 描述形状变形。平移偶极子作为经典相干结构，在航空尾涡、涡-壁相互作用等物理场景中起基础作用；其数学建模对应于一个非局部、非线性、无穷维动力系统——通过等周轮廓动力学（contour dynamics）可将原 PDE 约化为关于边界函数 $r(t,\theta)$ 的演化方程。在共移动坐标系（co-moving frame）中引入时间角变量 $\varphi = \omega t$，问题进一步转化为定义在环面 $\mathbb{T}^2 = \mathbb{T}_\varphi \times \mathbb{T}_\theta$ 上的准线性方程：

$$ G(U,r;\alpha) := \omega \partial_\varphi r + \partial_\theta \left( \frac{U(\varphi)}{\sqrt{1 + 2r}} \cos\theta + F[r;\alpha] \right) = 0, $$

其中非线性非局部项 $F[r;\alpha]$ 由 Biot–Savart 律导出：

$$ F[r;\alpha](\varphi,\theta) = \frac{1}{2\pi} \int_{\mathcal{O}(\varphi)} \log \left| \sqrt{1 + 2r(\varphi,\theta)} e^{i\theta} - \xi \right| dA(\xi) - \frac{1}{2\pi} \int_{\mathcal{O}(\varphi)} K_\alpha\big(\sqrt{1 + 2r(\varphi,\theta)} e^{i\theta}, \xi\big) dA(\xi), $$

这里 $\mathcal{O}(\varphi) = \{ \rho e^{i\eta} : \eta \in [0,2\pi], 0 \le \rho \le \sqrt{1 + 2r(\varphi,\eta)} \}$ 是当前时刻的涡斑区域，核 $K_\alpha$ 显式依赖于分离参数 $\alpha$（满足 $|z_1(t) - z_2(t)| = \frac{1}{2\alpha}$）。该模型的关键困难在于：(i) 线性化算子 $L_{0,\alpha} = \partial_r G(0;\alpha,0)$ 在傅里叶基 $e^{ij\theta}$ 上具有严重退化——当 $|j|=1$ 时特征值为零，源于垂直平移不变性；(ii) 算子含强非局部性与拟线性结构，导致标准能量估计失效；(iii) 长距离弱耦合机制使低阶非线性项（如二次相互作用）激发 $\cos(2\theta)$ 模式，而高阶展开又引入 $\cos(3\theta), \cos(4\theta)$ 等，破坏简单对称性；(iv) 时间周期解需克服小分母（small divisors）问题：线性频谱 $\lambda_j(\alpha) = i j \big( \frac{1}{2} - \alpha^4 + O(\alpha^5) \big) - \frac{1}{2}\operatorname{sgn}(j)$ 与外频率 $\omega$ 构成共振 $\omega \ell + \lambda_j(\alpha) = 0$，其倒数 $|(\omega \ell + \lambda_j(\alpha))^{-1}|$ 在整数格点 $(\ell,j) \in \mathbb{Z}^2$ 上无一致下界。已有工作如 Turkington 变分法、Hmidi–Mateu 隐函数定理方法仅构造刚性平移解；而 Kida 椭圆涡旋虽揭示非刚性周期变形，但依赖外部剪切场，不适用于自驱动双涡系统。本文旨在填补这一空白：在无外部力、纯自洽相互作用框架下，严格证明存在非刚性时间周期解，即边界 $r(t,\theta)$ 不恒为常数，且在共移动系中以频率 $\omega_{J,\varepsilon}$ 周期振荡。

2. 主要定理或主要结果

本文在大分离参数 $\alpha \in (0,\alpha_0]$ 下，对二维不可压 Euler 方程证明了两类严格结果：首先，Theorem 1.1 构造了刚性平移偶极子解：存在 $\alpha_0 > 0$ 及解析函数空间 $B_\rho^\delta = \{ f = \sum_{j\in\mathbb{Z}} f_j e^{ij\theta} : \|f\|_{X_\rho} = \sum_{j\in\mathbb{Z}} e^{\rho|j|} |f_j| \le \delta \}$，使得对任意 $\alpha \in [-\alpha_0,\alpha_0]$，存在 $C^k$ 曲线 $\alpha \mapsto r_\alpha \in B_\rho^\delta$ 与 $\alpha \mapsto U_\alpha \in \mathbb{R}$，满足 $\omega(t,x) = \mathbf{1}_{z_1(t)+O_\alpha}(x) - \mathbf{1}_{z_2(t)-O_\alpha}(x)$ 为方程 (1.1) 解，其中 $O_\alpha$ 边界为 $\gamma_\alpha(\theta) = \sqrt{1 + 2 r_\alpha(\theta)} e^{i\theta}$，且渐近展开成立：

$$ r_\alpha(\theta) = -\alpha^2 \cos(2\theta) + \frac{1}{2} \alpha^3 \cos(3\theta) + \frac{2}{3} \alpha^4 \cos(4\theta) + O(\alpha^5), \quad U_\alpha = O(\alpha^4). $$

其次，Theorem 1.2 构造了非刚性时间周期解：存在 $s \in \mathbb{N}$ 大足够、$\alpha_0 > 0$ 小足够，及一族光滑可逆线性算子 $M_\alpha : H^s_\circ(\mathbb{T}^2) \to H^s_\circ(\mathbb{T}^2)$（其中 $H^s_\circ = \{ h \in H^s(\mathbb{T}^2) : \int_\mathbb{T} h(\varphi,\theta) d\theta = \int_\mathbb{T} h(\varphi,\theta) \sin\theta \, d\theta = 0, \, \forall \varphi \in \mathbb{T} \}$），使得对任意 $0 < \alpha_1 < \alpha_2 < \alpha_0$ 与整数 $J \ge 2$，存在 $\varepsilon_0 \ll \alpha_1$，使得对任意 $\varepsilon \in (0,\varepsilon_0)$，存在康托集 $\mathcal{C}_\varepsilon \subset [\alpha_1,\alpha_2]$ 满足 $\lim_{\varepsilon \to 0} |\mathcal{C}_\varepsilon| = \alpha_2 - \alpha_1$，且对每个 $\alpha \in \mathcal{C}_\varepsilon$，存在 $\frac{2\pi}{\omega_{J,\varepsilon}}$-周期解：

$$ r(t,\theta) = r_\alpha(\theta) + \varepsilon M_\alpha[\cos(J\cdot - \omega_{J,\varepsilon} t)](\theta) + \varepsilon^2 P(\omega_{J,\varepsilon} t, \theta), \quad U(t) = U_\alpha + \varepsilon W(\omega_{J,\varepsilon} t), $$

其中 $P \in H^s_\circ(\mathbb{T}^2)$ 为偶函数，$W \in H^s(\mathbb{T})$，外频率满足

$$ \omega_{J,\varepsilon} = \omega_{J,0} + O(\varepsilon), \quad \omega_{J,0} = \left( \frac{1}{2} - \alpha^4 + O(\alpha^5) \right) J - \frac{1}{2} + O(\alpha^5). $$

特别地，$J=2$ 模式被允许（区别于 Kirchhoff 椭圆附近工作因 2-重对称导致 $j=2$ 退化而必须排除），且 $j=1$ 模式被正交条件 $\int_\mathbb{T} G(U,r;\alpha)(\varphi,\eta) \sin\eta \, d\eta = 0$ 自动消除。

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

证明的核心障碍是线性化算子 $L_{0,\alpha} = \omega \partial_\varphi + \partial_\theta \circ V_{0,\alpha} - \frac{1}{2} \mathcal{H} + R_\alpha$ 的三重退化：(i) 一阶传输项 $\partial_\theta \circ V_{0,\alpha}$ 的变系数导致傅里叶基上非对角耦合；(ii) $R_\alpha$ 虽为 $-8$ 阶光滑算子，但其系数含 $\alpha$ 的精细渐近 $R_\alpha = \sum_{k=2}^4 \alpha^k R_k + O(\alpha^5)$，必须精确至 $\alpha^5$ 阶以验证非共振条件；(iii) 零特征值模 $j=\pm 1$ 对应平移不变性，需通过速度调制 $U(t)$ 作为拉格朗日乘子消除。作者的真正创新点在于将三类技术深度耦合：第一，发展了一种无需小分母的两步可约化框架：Step 1（Section 6.3）用辛同胚 $\theta \mapsto \theta + \beta(\theta)$（$\beta \in B_\rho^\delta$）将变系数传输项共轭为常系数 $\omega \partial_\varphi + D_{0,\alpha}$，其中 $D_{0,\alpha} = \operatorname{diag}\{ \lambda_j(\alpha) \}_{j \in \mathbb{Z} \setminus \{0,-1\}}$，且 $\lambda_j(\alpha) = i j \big( \frac{1}{2} - \alpha^4 + O(\alpha^5) \big) - \frac{1}{2} \operatorname{sgn}(j)$；Step 2（Section 6.4）通过求解一个非线性同调方程（homological equation）一次性完成剩余项 $E_{0,\alpha}$ 的对角化，避免传统 KAM 迭代的无限步骤。第二，Lyapunov–Schmidt 分解被精细化为：将解空间分解为 $H^s_\circ = \operatorname{span}\{ \cos\theta \} \oplus H^s_{\ge 2}$，其中 $\cos\theta$ 模由 $U(t)$ 控制，而 $H^s_{\ge 2}$ 上的范围方程 $\mathcal{G}(\rho;\alpha,\varepsilon) = 0$ 成为纯无限维问题。第三，Nash–Moser 迭代被定制化：在每次迭代中，线性化算子 $\mathcal{L}_n = \partial_\rho \mathcal{G}(\rho_n;\alpha,\varepsilon)$ 已被前述可约化预处理为 $\omega \partial_\varphi + \operatorname{diag}\{ \mu_{\ell,j}^{(n)} \} + \mathcal{R}_n$，其中 $\mathcal{R}_n$ 为 $-8$ 阶余项；逆算子估计依赖于康托参数集 $\mathcal{C}_\varepsilon$ 上的梅尔尼科夫条件 $|\omega \ell + \lambda_j(\alpha)| \ge \gamma \langle \ell,j \rangle^{-\tau}$（$\gamma > 0$, $\tau > 2$），其测度补集被证明为 $O(\gamma)$。关键引理包括：Proposition 5.3 给出 $dr \partial_\theta F[0;0]$ 在傅里叶基上的精确谱 $\frac{i j}{2|j|(|j|-1)} e^{ij\theta}$；Lemma 5.6 与 5.7 提供 $V_{0,\alpha}$ 和 $R_\alpha$ 至 $\alpha^5$ 阶的显式三角多项式展开；Proposition 6.3 与 6.4 构造可逆算子 $S_{\phi h}$ 实现完全对角化；最后，Theorem 10.1 通过细致的区间剔除论证，证明满足非共振条件的 $\alpha$ 构成渐近满测度康托集。

4. 与之前工作的比较

本文与既有工作存在本质差异：(i) 相比 Turkington [59]、Keady [53] 的变分法，本文不依赖能量泛函极值刻画，而是直接在解析函数空间 $B_\rho^\delta$ 中应用隐函数定理，首次为大分离偶极子给出边界解析性（而非仅 Hölder 正则性）的自包含证明；(ii) 相比 Hmidi–Mateu [49] 的点涡正则化方法（涡斑直径 $\sim \varepsilon$，间距固定），本文采用互补的大间距 regime（直径 $\sim 1$，间距 $\sim \alpha^{-1} \gg 1$），导致主导相互作用从短程变为长程弱耦合，从而激发不同傅里叶模式（如 $\cos(2\theta)$ 项在 [49] 中不存在）；(iii) 相比 Berti–Hassainia–Masmoudi [10] 在 Kirchhoff 椭圆附近构造准周期解，本文处理的是平移而非旋转平衡态，其对称群为 $\mathbb{R}$（平移）而非 $\mathbb{S}^1$（旋转），故 $j=2$ 模不退化，且线性频谱 $\lambda_j(\alpha)$ 含 $\alpha^4$ 修正项，而 [10] 中对应项为零；(iv) 相比 Hassainia–Hmidi–Masmoudi [42] 的跃蛙周期解，本文解无拓扑缠绕（leapfrogging），而是单个涡斑边界的内禀振荡，且稳定性未被讨论（[42] 利用变分结构证明轨道稳定性）；(v) 相比水波方程的 Nash–Moser 构造 [11,3]，本文的非局部算子 $F[r;\alpha]$ 更奇异（含对数核与区域积分），且传输效应更强，迫使作者发展新的可约化技巧——无需小分母的两步对角化，而水波工作中通常需全序 KAM 迭代。代价在于：解仅存在于康托参数集 $\mathcal{C}_\varepsilon$ 上，且周期频率 $\omega_{J,\varepsilon}$ 依赖于 $\alpha$ 和 $J$，无法覆盖所有频率；此外，$J=1$ 模被排除，意味着不能构造纯平移调制的周期解。局限性方面，作者未讨论解的非线性稳定性（Remark 1.2(iv) 明确列为未来方向），亦未推广至三维或带粘性情形；从提供内容中无法确认是否可将方法用于多涡偶极链或非对称配置。

2. 关于定常准地转浅水流动

On stationary Quasi-Geostrophic Shallow-Water flows

作者: Vittorio Baroncini, Claudia García, Emeric Roulley

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07541v1

摘要翻译: 本文证明了准地转浅水方程存在 $\mathbf{m}$-重双连通定常涡旋斑块解。这些解通过基于 Crandall-Rabinowitz 定理的分歧分析获得，分歧参数取为环形区域的内半径或罗斯比形变长度之一。本工作的核心特征在于对线性化算子谱分析中出现的修正贝塞尔函数所作的高度非平凡分析。该证明要求对这些特殊函数进行精细而广泛的运算，包括精确的渐近展开、求导公式、递推恒等式、单调性性质，以及控制分歧机制的奇异量之分析。上述各项是刻画分歧点并建立横截性条件所不可或缺的要素。最后，我们研究了定常且均匀旋转的单连通涡旋斑块解的径向对称性，从而为前述分歧结果提供动机。

Comment: 42 pages, 5 figures, 2 tables

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

1. 研究对象和背景

本文研究准地转浅水方程（Quasi-Geostrophic Shallow-Water equations, QGSW）的定态涡旋块（vortex patch）解，其数学模型为如下活性标量方程：

$$ \begin{cases} \partial_t q + u \cdot \nabla q = 0, & (t,x) \in \mathbb{R}_+ \times \mathbb{R}^2, \\ u = \nabla^\perp (\Delta - \lambda^2)^{-1} q, & \\ q(0,\cdot) = q_0, \end{cases} \quad \text{其中} \quad \nabla^\perp \coloneqq \begin{pmatrix} -\partial_{x_2} \\ \partial_{x_1} \end{pmatrix}, $$

其中 $ q : \mathbb{R}_+ \times \mathbb{R}^2 \to \mathbb{R} $ 为位涡（potential vorticity），$ u $ 为无散度速度场，参数 $ \lambda > 0 $ 为逆罗斯贝变形半径（inverse Rossby radius），满足 $ \lambda = \omega_c / \sqrt{g H} $，$ \omega_c $ 为科里奥利频率，$ g $ 为重力加速度，$ H $ 为平均活跃层深度。当 $ \lambda = 0 $ 时，该系统退化为经典二维欧拉方程；而 $ \lambda > 0 $ 则引入旋转效应与有限变形尺度，使格林核非齐次且具有指数衰减结构。

涡旋块解指初值形如特征函数 $ q_0 = \mathbf{1}_{D_0} $ 的弱解，其中 $ D_0 \subset \mathbb{R}^2 $ 是有界区域。由输运性质知 $ q(t,\cdot) = \mathbf{1}_{D_t} $，其中 $ D_t = X_t(D_0) $，$ X_t $ 为速度场 $ u $ 生成的流映射。若 $ \partial D_t $ 光滑，则动力学完全由边界演化决定：设 $ z(t,\cdot): [0,2\pi) \to \partial D_t $ 为边界参数化，则满足运动学条件

$$ \left[ \partial_t z(t,\vartheta) - u\big(t,z(t,\vartheta)\big) \right] \cdot \vec{n}\big(t,z(t,\vartheta)\big) = 0, \quad \forall (t,\vartheta) \in \mathbb{R}_+ \times [0,2\pi), $$

其中 $ \vec{n} $ 为向外单位法向量。特别地，定态解对应 $ \Omega = 0 $ 的 V-state（即 $ D_t \equiv D_0 $）；而 $ m $-折对称性指 $ D_0 $ 在旋转群 $ \{ e^{2\pi i k/m} : k=0,\dots,m-1 \} $ 下不变。

本文聚焦于双连通定态涡旋块，即 $ D_0 = D_1 \setminus D_2 $，其中 $ D_1,D_2 $ 为单连通有界区域且 $ D_2 \subsetneq D_1 $。典型平凡解为归一化环形域 $ A_b \coloneqq \{ z \in \mathbb{C} : b < |z| < 1 \} $，$ b \in (0,1) $。问题核心在于：是否存在非平凡（即非环形）双连通 $ m $-折定态解？该问题在经典欧拉情形（$ \lambda = 0 $）已被证明为否定——Hmidi–de la Hoz–Mateu–Verdera（2016）证明：对任意 $ m \geq 2 $，若 $ b $ 满足 $ 1 + b^{m-1} - b^2/2 < 0 $，则存在从 $ A_b $ 分岔出的 $ m $-折旋转解，但其角速度 $ \Omega_m^\pm(b) > 0 $ 对所有 $ b \in (0,1) $ 成立；而 $ \Omega = 0 $ 时，Gómez-Serrano–Park–Shi（2021）指出允许极小负涡量即可构造非径向定态解，但严格非负涡量下，单连通定态解必为圆盘（Fraenkel, 1979），双连通定态解则不存在非平凡分支。因此，欧拉框架下双连通定态解的刚性极强，分岔机制失效。

QGSW 模型的关键差异在于其格林核 $ K_\lambda(x) = -\frac{1}{2\pi} K_0(\lambda |x|) $，其中 $ K_0 $ 为第二类修正贝塞尔函数。该核非齐次、非幂律、具指数衰减，导致线性化算子谱结构发生质变：Roulley（2023）已证，从 $ A_b $ 出发的分岔角速度为

$$ \Omega_m^\pm(\lambda,b) = \frac{1-b^2}{2b} \Lambda_1(\lambda,b) + \frac{1}{2}\big( \Omega_m(\lambda) - \Omega_m(\lambda b) \big) \pm \frac{1}{2b} \sqrt{ \Big( b\big( \Omega_m(\lambda) + \Omega_m(\lambda b) \big) - (1+b^2)\Lambda_1(\lambda,b) \Big)^2 - 4b^2 \Lambda_{2m}(\lambda,b) }, $$

其中 $ \Omega_n(\lambda) = I_1(\lambda)K_1(\lambda) - I_n(\lambda)K_n(\lambda) $，$ \Lambda_n(\lambda,b) = I_n(\lambda b) K_n(\lambda) $，$ I_n,K_n $ 分别为第一、二类修正贝塞尔函数。数值计算（见原文图1）显示：对某些 $ (\lambda,b) $，$ \Omega_m^\pm(\lambda,b) $ 可精确为零——这暗示存在非平凡定态分岔点，而此现象在 $ \lambda = 0 $ 时绝不可能发生。本文旨在严格证明这一零角速度分岔的存在性，并刻画其渐近结构，从而填补QGSW理论中双连通定态解存在性的根本空白。

2. 主要定理或主要结果

本文主结果为定理1.1，其严格陈述如下：

(i) 固定 $ \lambda \in (0,\infty) $，存在正整数 $ N(\lambda) $ 及严格递增序列 $ \{ b_{m,\lambda} \}_{m \geq N(\lambda)} \subset (0,1) $ 满足 $ \lim_{m\to\infty} b_{m,\lambda} = 1 $，使得对每个整数 $ m \geq N(\lambda) $，QGSW方程存在 $ m $-折双连通定态涡旋块解，该解从环形域 $ A_{b_{m,\lambda}} $ 分岔而出。且 $ b_{m,\lambda} $ 满足渐近律

$$ 1 - b_{m,\lambda} \sim_{m\to\infty} \frac{\beta(\lambda)}{m}, \quad \text{其中} \quad \beta(\lambda) = \frac{2}{\lambda^2 I_1'(\lambda) K_1'(\lambda)} > 0. $$

(ii) 固定 $ b \in (0,1) $ 及 $ \lambda_{\max} > 0 $，存在正整数 $ N(b,\lambda_{\max}) $ 及严格递减序列 $ \{ \lambda_{m,b} \}_{m \geq N(b)} \subset (0,\lambda_{\max}) $ 满足 $ \lim_{m\to\infty} \lambda_{m,b} = 0 $，使得对每个整数 $ m \geq N(b) $，QGSW方程存在 $ m $-折双连通定态涡旋块解，该解从环形域 $ A_b $ 分岔而出。且 $ \lambda_{m,b} $ 满足渐近律

$$ \lambda_{m,b} \sim_{m\to\infty} \frac{2}{\sqrt{(1-b^2) m \log m}} \left( 1 - \frac{\log(\log m)}{2 \log m} + O\left( \frac{1}{\log m} \right) \right). $$

上述分岔解均属于Hölder空间 $ X^{1+\alpha}_m $（定义见原文2.1.1节），且由[52, Lem. 4.1]可进一步推出其边界解析。分岔机制基于Crandall–Rabinowitz定理：对(i)，以内半径 $ b $ 为分岔参数，$ \lambda $ 固定；对(ii)，以逆罗斯贝半径 $ \lambda $ 为分岔参数，$ b $ 固定。关键谱条件为线性化算子 $ DG(\lambda,b,0,0) $ 的核维数为1，其由行列式零点决定：

$$ D_m(\lambda,b) \coloneqq \det M_m(\lambda,b) = \big( \Lambda_1(\lambda,b) - b \Omega_m(\lambda b) \big) \big( \Omega_m(\lambda) - b \Lambda_1(\lambda,b) \big) + b \Lambda_m^2(\lambda,b) = 0, $$

其中 $ M_m $ 为Fourier模 $ m $ 对应的 $ 2\times 2 $ 矩阵（见原文(2.25)）。定理1.1的证明核心即严格验证：对充分大的 $ m $，$ D_m(\lambda,b) = 0 $ 在 $ (0,1) $ 内恰有一单重根 $ b_{m,\lambda} $（或在 $ (0,\lambda_{\max}) $ 内恰有一单重根 $ \lambda_{m,b} $），且横截条件 $ \partial_b D_m(\lambda,b_{m,\lambda}) > 0 $（或 $ \partial_\lambda D_m(\lambda_{m,b},b) < 0 $）成立。此外，定理1.2给出单连通V-state的刚性结果：若 $ D_0 $ 为有界单连通区域且生成角速度为 $ \Omega $ 的V-state，则(i)当 $ \Omega < 0 $ 时 $ D_0 $ 径向对称；(ii)当 $ \Omega = 0 $ 时 $ D_0 $ 径向对称至多差一平移；(iii)当 $ \Omega \geq I_1(\lambda R) K_1(\lambda R) $（$ R = \max_{x\in D_0}|x| $）时 $ D_0 $ 必为半径 $ R $ 的圆盘。

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

证明的核心障碍源于线性化算子谱分析中修正贝塞尔函数 $ I_n,K_n $ 的双重渐近性：当模数 $ n $ 大时，$ I_n(\lambda b), K_n(\lambda) $ 同时依赖大参数 $ n $（阶数）与小参数 $ 1-b $ 或 $ \lambda $（自变量），导致标准Taylor展开失效。具体而言，在 $ b $-分岔中，需解 $ D_n(\lambda,b) = 0 $，其中含项 $ \Lambda_n(\lambda,b) = I_n(\lambda b) K_n(\lambda) $。当 $ b \to 1^- $，$ \Lambda_n(\lambda,b) $ 的 $ k $ 阶导数 $ \partial_b^k \Lambda_n(\lambda,b) $ 以 $ n^k $ 速率增长，恰好抵消因子 $ (1-b)^k $，致使所有Taylor项同阶，必须求和无穷级数而非截断。作者的真正创新点在于发展了一套针对此类“高阶共振”的精细渐近分析框架：

  1. 修正贝塞尔函数的统一渐近展开：利用Debye展开（见附录A）得到对 $ n \gg 1 $ 一致有效的表达式

    $$ I_n(z) \sim \frac{e^n}{\sqrt{2\pi n}} \left( \frac{z}{2n} \right)^n \left( 1 + O\left( \frac{1}{n} \right) \right), \quad K_n(z) \sim \sqrt{\frac{\pi}{2n}} \left( \frac{2n}{z} \right)^n e^{-n} \left( 1 + O\left( \frac{1}{n} \right) \right), $$

    并结合Wronskian恒等式 $ I_n(z) K_{n+1}(z) + I_{n+1}(z) K_n(z) = 1/z $ 及单调性 $ \partial_z (I_n(z)/z) > 0 $ 进行控制。

  2. $ b $-分岔的临界渐近重构：为处理 $ b \to 1 $ 时的退化，引入尺度变换 $ \delta_n = 1 - b_n $，将 $ D_n(\lambda,1-\delta_n) = 0 $ 展开为

    $$ D_n(\lambda,1-\delta_n) = \delta_n \cdot \big[ \mathcal{A}_n(\lambda) + \mathcal{B}_n(\lambda) \delta_n + \cdots \big], $$

    其中首项系数 $ \mathcal{A}_n(\lambda) $ 由 $ \Lambda_n $ 的一阶变分主导，经贝塞尔函数递推关系 $ \partial_z I_n(z) = I_{n-1}(z) - \frac{n}{z} I_n(z) $ 精确计算得 $ \mathcal{A}_n(\lambda) \sim -\frac{\lambda^2}{2} I_1'(\lambda) K_1'(\lambda) \cdot n $。由此导出 $ \delta_n \sim \beta(\lambda)/n $，其中 $ \beta(\lambda) = 2/(\lambda^2 I_1'(\lambda) K_1'(\lambda)) $。更高阶项（如 $ O(1/n^2) $）对横截条件至关重要——因核生成元 $ (h_1,h_2) $ 在 $ m \to \infty $ 时趋于 $ (0,0) $，仅靠首阶渐近会导致横截表达式主部为零，必须代入 $ \delta_m = \beta(\lambda)/m + O(1/m^2) $ 才能获得非零首项。

  3. $ \lambda $-分岔的对数渐近匹配：当 $ \lambda \to 0^+ $，利用 $ K_0(\lambda|x|) \sim -\log(\lambda|x|/2) - \gamma_E $（$ \gamma_E $ 为Euler常数）及 $ I_n(\lambda b) \sim (\lambda b/2)^n / n! $，发现 $ \Lambda_1(\lambda,b) $ 主导 $ D_n $ 的平衡，导出隐式方程 $ \lambda_n^2 \log(\lambda_n^2) \sim -4/((1-b^2)n) $，进而解得双对数渐近 $ \lambda_{n,b} \sim 2/\sqrt{(1-b^2)n \log n} $。

  4. 横截条件的对偶性转化：借鉴[53,18,31]的矩阵情形对偶方法，将横截性 $ \partial_b DG(\lambda,b_{m,\lambda},0,0)[h_1,h_2] \notin \operatorname{Range} DG(\lambda,b_{m,\lambda},0,0) $ 转化为标量积非零性：存在 $ \psi \in Y^\alpha_m $ 使得 $ \langle \partial_b DG[\mathbf{h}], \psi \rangle \neq 0 $。该 $ \psi $ 由伴随算子的核给出，其显式依赖 $ b_{m,\lambda} $ 的精细渐近，最终验证该积等于 $ \partial_b D_m(\lambda,b_{m,\lambda}) \cdot \|\mathbf{h}\|^2 + o(1) $，故符号由 $ \partial_b D_m $ 决定。

4. 与之前工作的比较

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

  1. 分岔参数选择的范式革新：此前所有V-state分岔工作（Burbea 1982, Hmidi–Mateu–Verdera 2013, de la Hoz–Hassainia–Hmidi 2016, Gómez-Serrano 2021）均将物理角速度 $ \Omega $ 作为分岔参数，而本文首次将模型参数（内半径 $ b $ 或罗斯贝半径 $ \lambda $）作为分岔变量，使角速度 $ \Omega $ 退化为零（定态）。这一策略直接规避了欧拉方程中 $ \Omega = 0 $ 时谱无零点的根本障碍，是构造双连通定态解的唯一可行路径。Gómez-Serrano（2021）虽在gSQG中用 $ b $ 分岔得定态解，但其格林核 $ |x|^{-\alpha} $ 齐次，分析仅需幂律估计；而QGSW的 $ K_0(\lambda|x|) $ 非齐次且含指数振荡，导致所有技术（如渐近展开、单调性证明）必须重构。

  2. 渐近尺度的突破性精度：对 $ b $-分岔，Hmidi–de la Hoz–Mateu–Verdera（2016）仅证明存在性，未给出 $ 1-b_{m} $ 的速率；本文不仅确立 $ 1-b_{m,\lambda} \sim \beta(\lambda)/m $，更显式计算 $ \beta(\lambda) $ 并证明其正性，这依赖于 $ I_1',K_1' $ 的精细符号分析。对 $ \lambda $-分岔，此前工作（如[34]）仅考虑 $ \lambda \to \infty $ 极限，而本文处理 $ \lambda \to 0 $，揭示QGSW向欧拉方程的奇异收敛：当 $ m \to \infty $，$ \lambda_{m,b} \to 0 $，解趋近欧拉极限，但此时非平凡定态解才出现——这与欧拉本身无此类解形成尖锐对比，凸显旋转效应的必要性。

  3. 刚性-灵活性边界的重新划定：表2显示，本文定理1.2将QGSW单连通刚性范围扩展至 $ \Omega \leq 0 $，并给出 $ \Omega > 0 $ 时的临界阈值 $ I_1(\lambda R)K_1(\lambda R) $。该阈值优于Hmidi（2015）对欧拉方程的 $ \Omega \geq 1/2 $ 结果，因 $ I_1(\lambda R)K_1(\lambda R) < 1/2 $ 对所有 $ \lambda,R > 0 $ 成立（由 $ I_1(x)K_1(x) \sim 1/(2x^2) $ 当 $ x \to \infty $，及 $ I_1(x)K_1(x) \sim 1/2 - x^2/8 $ 当 $ x \to 0 $）。代价是：刚性证明依赖Beltrami加法公式与Wronskian关系，无法推广至一般活动标量方程；且 $ \Omega = 0 $ 时仅得平移对称性（非严格径向），反映QGSW核的各向异性。综上，本文不是欧拉或gSQG结果的简单推广，而是通过驾驭修正贝塞尔函数的复杂渐近，开辟了旋转浅水模型中定态模式的新天地。

3. 三维可压MHD方程组在各向异性耗散下的背景磁场非线性稳定性

Nonlinear stability of a background magnetic field for the 3D compressible MHD equations with anisotropic dissipation

作者: Jincheng Gao, Xianpeng Hu, Lianyun Peng, Jiahong Wu

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.06910v1

摘要翻译: 我们在全空间 $\mathbb{R}^3$ 中研究三维可压磁流体动力学（MHD）方程组在具有背景磁场的平衡态附近的非线性稳定性，其中处于强各向异性耗散机制下：速度仅在水平方向耗散，而磁场仅在单一方向扩散。我们证明：若初始数据在 Sobolev 空间中充分接近该平衡态，则系统存在唯一的全局时间解，该解始终保持在平衡态附近，并满足定量的耗散估计。证明通过两种机制克服了垂直方向严重缺乏耗散的困难：一方面，背景磁场被证明可为磁场和密度产生增强耗散；另一方面，我们设计了一种非线性相消机制，以解决可压耦合所导致的垂直导数损失。

Comment: 无

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

1. 研究对象和背景

本文研究三维全空间 $\mathbb{R}^3$ 上具有强各向异性耗散结构的可压磁流体动力学（MHD）方程组的非线性稳定性问题。所考虑的模型为：

$$ \begin{cases} \partial_t \rho + \mathrm{div}(\rho u) = 0, \\ \rho \partial_t u + \rho u \cdot \nabla u - \partial_1^2 u - \partial_2^2 u - \nabla \mathrm{div}\, u + \nabla P(\rho) = B \cdot \nabla B - \frac{1}{2} \nabla |B|^2, \\ \partial_t B + u \cdot \nabla B - \partial_1^2 B = B \cdot \nabla u - B \, \mathrm{div}\, u, \\ \mathrm{div}\, B = 0, \end{cases} \tag{1.1} $$

其中 $\rho(x,t) > 0$、$u(x,t) = (u_1,u_2,u_3)(x,t)$、$B(x,t) = (b_1,b_2,b_3)(x,t)$ 分别表示密度、速度场与磁场，$x = (x_1,x_2,x_3) \in \mathbb{R}^3$；压力取 $P(\rho) = \rho^3/3$（亦适用于一般 $\gamma$-律 $P(\rho) = \rho^\gamma / \gamma$, $\gamma > 1$）。该系统的关键特征在于其耗散结构严重退化：速度仅在水平方向 $x_1,x_2$ 上被耗散（即存在 $-\partial_1^2 u - \partial_2^2 u - \nabla \mathrm{div}\, u$），而无 $x_3$ 方向粘性项；磁场仅在 $x_1$ 方向扩散（$-\partial_1^2 B$），在 $x_2,x_3$ 方向完全无扩散；密度方程本身不含任何耗散项。这种退化结构源于强磁化等离子体中粒子沿磁场线螺旋运动导致的输运各向异性，也常见于旋转/分层地球物理与天体物理流动中。

系统 (1.1) 具有物理上重要的平衡态：

$$ \rho^* \equiv 1, \quad u^* \equiv 0, \quad B^* \equiv e_2 := (0,1,0). $$

令扰动变量 $\varrho := \rho - 1$, $b := B - e_2$，代入后得到扰动系统：

$$ \begin{cases} \partial_t \varrho + \mathrm{div}\, u = F_1, \\ \partial_t u - \partial_1^2 u - \partial_2^2 u - \nabla \mathrm{div}\, u + \nabla \varrho + \nabla b_2 - \partial_2 b = F_2, \\ \partial_t b - \partial_1^2 b + e_2 \, \mathrm{div}\, u - \partial_2 u = F_3, \\ \mathrm{div}\, b = 0, \end{cases} \tag{1.2} $$

其中非线性项 $F_i$ 显式给出（见原文 (1.4)）。研究目标是证明该平衡态的非线性稳定性：对 Sobolev 初值 $(\varrho_0,u_0,b_0) \in H^m(\mathbb{R}^3)$（$m \geq 3$）满足 $\| (\varrho_0,u_0,b_0) \|_{H^m} \leq \delta_0$ 且 $\mathrm{div}\, b_0 = 0$，系统 (1.2) 存在唯一全局解 $(\varrho,u,b)$，且保持小性并具定量耗散估计。核心困难在于：(i) 密度无任何耗散，其演化完全依赖耦合机制；(ii) 速度在 $x_3$ 方向无耗散，导致垂直导数无法直接控制；(iii) 磁场在 $x_2,x_3$ 方向无耗散，尤其 $x_3$ 方向缺失使 $\partial_3 b$ 的控制失效；(iv) 可压耦合引入如 $\int \mathrm{div}\, u |\partial_3^m \varrho|^2 dx$ 等临界项，标准各向异性 Sobolev 不等式无法处理。已有理论中，Matsumura–Nishida 与 Shizuta–Kawashima 框架要求全方向耗散；近期关于部分耗散 MHD 的工作主要集中于不可压情形（如 [21,36,37] 证得单向耗散下全局适定性），或二维可压情形（Hu–Lin [23], Wu–Wu [51], Wu–Zhu [54], Wu–Zhai [55]），而三维可压、强各向异性、含背景磁场的稳定性问题此前未被解决。本文旨在填补这一空白：在仅保留水平速度耗散与单向磁场扩散的极端退化结构下，借助背景磁场 $e_2$ 的稳定化效应，建立非线性稳定性。

2. 主要定理或主要结果

定理 1.1（非线性稳定性）：设整数 $m \geq 3$，初值 $(\varrho_0, u_0, b_0)$ 满足 $\mathrm{div}\, b_0 = 0$ 且存在小常数 $\delta_0 > 0$ 使得

$$ \| (\varrho_0, u_0, b_0) \|_{H^m}^2 \leq \delta_0. $$

则扰动系统 (1.2)–(1.3) 存在唯一全局经典解 $(\varrho, u, b)$，满足对任意 $t \geq 0$：

$$ \| (\varrho, u, b)(t) \|_{H^m}^2 + \int_0^t \Big( \| (\partial_1 u, \partial_2 u, \mathrm{div}\, u, \partial_1 b)(\tau) \|_{H^m}^2 + \| (\partial_1 \varrho, \partial_2 \varrho, \partial_2 b)(\tau) \|_{H^{m-1}}^2 \Big) d\tau \leq C \delta_0, $$

其中 $C > 0$ 为与时间无关的绝对常数。关键技术细节包括：(i) 耗散范数中 $\| \partial_2 b \|_{H^{m-1}}$ 与 $\| \partial_1 \varrho \|_{H^{m-1}}$ 项体现增强耗散机制，非原始系统显式提供；(ii) $\| \partial_2 b \|_{L^2_t H^{m-1}}$ 的出现源于背景磁场 $e_2$ 与线性耦合项 $e_2 \, \mathrm{div}\, u - \partial_2 u$ 的相互作用；(iii) $\| \partial_1 \varrho \|_{L^2_t H^{m-1}}$ 由动量方程中压力项 $\nabla \varrho$ 与 $\nabla b_2$ 的配对生成；(iv) 垂直导数估计中，通过四次迭代与非线性抵消机制，将 $\int \mathrm{div}\, u |\partial_3^m \varrho|^2 dx$ 控制为时间导数项加耗散项，具体形式如引理 3.3 所示： $$ -\int_{\mathbb{R}^3} \mathrm{div}, u |\partial_3^m \varrho|^2 dx \leq \frac{d}{dt} \int_{\mathbb{R}^3} \mathrm{div}, u (\partial_3^m \varrho - \partial_3^m b_2) \partial_3^{m-1} u_3 dx + \frac{d}{dt} \int_{\mathbb{R}^3} \varrho |\partial_3^m b_2|^2 dx \

  • \frac{d}{dt} \int_{\mathbb{R}^3} (1+\varrho)\varrho |\partial_3^m u_2|^2 dx - 2 \frac{d}{dt} \int_{\mathbb{R}^3} (1+\varrho) \varrho \partial_3^{m-1} \partial_2 u_3 \partial_3^m u_2 dx \
  • \frac{1}{2} \frac{d}{dt} \int_{\mathbb{R}^3} \varrho^2 |\partial_3^m \varrho|^2 dx + C \sqrt{E(t) D(t)},
    $$ 其中 $E(t) := \| (\varrho,u,b)(t) \|_{H^m}^2$, $D(t) := \| (\nabla_h u, \mathrm{div}\, u, \partial_1 b)(t) \|_{H^m}^2 + \| (\partial_2 b, \nabla_h \varrho)(t) \|_{H^{m-1}}^2$；(v) 非线性抵消机制的核心公式为：对 $i=2,3$，有 $$
    \int_{\mathbb{R}^3} b \cdot \nabla \partial_i^m u , \partial_i^m b , dx + \int_{\mathbb{R}^3} b \cdot \nabla \partial_i^m b , \partial_i^m u , dx = - \int_{\mathbb{R}^3} \mathrm{div}, b , \partial_i^m u , \partial_i^m b , dx = 0, $$ 此恒等式依赖于 $\mathrm{div}\, b = 0$，并要求速度在能量泛函中加权 $1+\varrho$（见引理 3.6）。

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

证明的核心障碍有二：其一，耗散缺失方向（$x_3$ 之于 $u$、$x_2,x_3$ 之于 $B$、全方向之于 $\varrho$）导致标准能量估计无法闭合；其二，可压耦合产生本质性的垂直导数损失项，如 $\int \mathrm{div}\, u |\partial_3^m \varrho|^2 dx$ 与 $\int b \cdot \nabla \partial_3^m b \, \partial_3^m u \, dx$，这些项无法被各向异性 Sobolev 不等式控制。作者提出两大原创机制克服：

  1. 背景磁场诱导的增强耗散（Enhanced Dissipation from Background Field）：该机制不依赖非线性，纯由线性耦合驱动。关键观察是方程 (1.2) 中动量方程的线性部分包含 $\nabla \varrho + \nabla b_2 - \partial_2 b$，而磁场方程含 $e_2 \, \mathrm{div}\, u - \partial_2 u$。作者通过精巧的内积配对提取隐藏耗散：(i) 对动量方程两边与 $\partial_2 b$ 作 $L^2$ 内积，利用 $\mathrm{div}\, b = 0$ 得

    $$ \int_{\mathbb{R}^3} |\partial_2 b|^2 dx = \int_{\mathbb{R}^3} (\nabla \varrho + \nabla b_2) \cdot \partial_2 b \, dx + \text{易控项}, $$

    从而获得 $\| \partial_2 b \|_{L^2_t L^2}$ 控制；(ii) 再对动量方程水平部分（即 $\nabla_h := (\partial_1,\partial_2,0)$ 作用）与 $\nabla_h \varrho$ 作内积，结合前述结果，导出 $\| \nabla_h \varrho \|_{L^2_t L^2}$。此过程将 $e_2$ 的存在转化为对 $\partial_2 b$ 和 $\partial_1 \varrho, \partial_2 \varrho$ 的耗散，是纯粹的线性共振效应，不涉及非线性。

  2. 非线性抵消机制（Nonlinear Cancellation Mechanism）：针对垂直导数损失，作者设计了四重迭代与精确抵消。以临界项 $-\int \mathrm{div}\, u |\partial_3^m \varrho|^2 dx$ 为例：(i) 第一次迭代用 $\partial_3 \varrho$ 的方程（来自连续性方程与动量方程）将其转化为含 $\partial_3^m b_2$ 的项；(ii) 第二次迭代将 $\int \mathrm{div}\, u \partial_3^m \varrho \partial_3^m b_2 dx$ 进一步转为 $-\int \mathrm{div}\, u |\partial_3^m b_2|^2 dx$；(iii) 第三次迭代用 $b_2$ 方程展开此负项，产生形如 $-2 \int \varrho \partial_3^m b_2 \, b \cdot \partial_3^m \nabla u_2 dx$ 的坏项；(iv) 第四次迭代中，作者对 $u_2$ 方程施加 $\partial_3^m$ 并乘以 $2(1+\varrho)\varrho \partial_3^m u_2$，得到

    $$ 2 \int \partial_t \partial_3^m u_2 \, (1+\varrho)\varrho \partial_3^m u_2 dx = 2 \int \varrho \partial_3^m u_2 \, b \cdot \partial_3^m \nabla b_2 dx + \cdots, $$

    其中右侧首项恰与前述坏项中的 $2 \int \varrho \partial_3^m u_2 \, b \cdot \partial_3^m \nabla b_2 dx$ 符号相反，二者相减完全抵消。此抵消严格依赖于 Lorentz 力项 $\frac{1}{1+\varrho} b \cdot \nabla b$ 在 $F_2$ 中的结构，并要求能量泛函中 $u$ 以 $1+\varrho$ 加权（见引理 3.6），否则抵消失败。另一类抵消如 $\int b \cdot \nabla \partial_i^m u \, \partial_i^m b dx + \int b \cdot \nabla \partial_i^m b \, \partial_i^m u dx = 0$，同样由 $\mathrm{div}\, b = 0$ 保证。整个框架将高阶垂直导数估计分解为可控制的时间导数项与增强耗散项，最终通过 Bootstrap 论证完成全局估计。

4. 与之前工作的比较

本文与既有工作在多个维度形成鲜明对比：

  1. 与全耗散可压 MHD 的比较：Matsumura–Nishida [42,43] 与 Shizuta–Kawashima [30,47,49] 理论要求速度与磁场均为各向同性 Laplace 耗散（即 $-\Delta u$ 与 $-\Delta B$），其解的衰减率 $\| (\varrho,u,b)(t) \|_{L^2} \lesssim (1+t)^{-3/4}$ 依赖于完整谱结构。本文耗散仅为 $-\partial_1^2 u - \partial_2^2 u - \nabla \mathrm{div}\, u$ 与 $-\partial_1^2 B$，缺失 $x_3$ 方向所有耗散，故无法获得类似衰减；但证明了相同的小初值全局存在性，代价是耗散范数中仅含水平导数与增强项，且无显式衰减速率。

  2. 与不可压部分耗散 MHD 的比较：近期工作 [21,36,37] 证明三维不可压 MHD 在仅 $-\partial_1^2 u$ 耗散下仍全局适定，其核心是 $\mathrm{div}\, u = 0$ 与 $\mathrm{div}\, B = 0$ 联立产生的线性阻尼 $\partial_t^2 B + \partial_1^4 B$。本文的可压性破坏此机制：$\mathrm{div}\, u \neq 0$，密度方程无耗散，故不能直接移植。作者必须发展新工具——增强耗散同时稳定 $\varrho$ 与 $b$，而非仅 $b$；非线性抵消亦需处理 $\varrho$ 与 $u$ 的耦合项，远比不可压情形复杂。

  3. 与二维可压 MHD 的比较：Hu–Lin [23] 处理二维无电阻情形（即 $B$ 无扩散），依赖特殊初值对称性；Wu–Wu [51] 用波方程重写与 Fourier 分析，但局限于二维；Wu–Zhai [55] 在二维环面上需 Diophantine 条件于背景场。本文工作于三维全空间，无周期性或对称性假设，且背景场 $e_2$ 为固定方向，无需 Diophantine 条件，适用范围更广，但技术难度剧增。

  4. 与各向异性 Navier–Stokes 的比较：文献 [20] 证得三维可压 Navier–Stokes 在仅水平耗散下的全局稳定性，其关键为压力项 $\nabla \varrho$ 单独提供 $\nabla_h \varrho$ 耗散。本文需额外处理磁场耦合，$\nabla b_2$ 项既带来新挑战（如 $\partial_2 b$ 的控制），又成为增强耗散的来源，体现了 MHD 独特的双向耦合本质。本文结果可视为 [20] 的磁流体推广，但证明中非线性抵消机制为本文首创，未见于纯流体力学文献。

综上，本文推进在于：将三维可压 MHD 的全局稳定性从‘全耗散’或‘二维’拓展至‘三维+强各向异性’；放宽了对背景磁场的方向与大小要求（仅需非零分量）；代价是解的正则性仅维持在 $H^m$ 水平，且耗散估计中缺失垂直导数，这反映了物理上垂直方向缺乏有效阻尼的本质限制。

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

1. 关于概率意义下的不适定性

On probabilistic ill-posedness

作者: Tadahiro Oh, Nikolay Tzvetkov

类别: math.AP, math.PR

发布日期: 2026-07-08

arXiv ID: 2607.07628v1

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

摘要翻译

中文标题: 关于概率意义下的不适定性

摘要翻译: 在本注记中，我们通过在随机化幅度趋于 $0$ 时要求解映射在原点处的稳定性，引入了色散型偏微分方程在随机初值下的一种增强的概率适定性概念。随后，我们利用该概念重新诠释了作者及其合作者近期关于色散型偏微分方程“超越方差爆破”的工作（2025, 2026），将其解读为概率意义下的不适定性结果。通过类比确定性情形下解映射缺乏 $C^k$-光滑性的现象，我们将方差爆破结果解释为一种温和的概率不适定性。

2. Schrödinger 方程解在无穷远处的最优衰减率

Optimal rates of decay at infinity for solutions to Schrödinger equations

作者: Blair Davey, Cole Jeznach

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07639v1

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

摘要翻译

中文标题: Schrödinger 方程解在无穷远处的最优衰减率

摘要翻译: 我们证明了柱状区域 $\mathbb{T}^d \times \mathbb{R}^m$ 上变系数 Schrödinger 方程 $-\text{div}(A \nabla u) + W \cdot \nabla u + V u = λu$ 的解在无穷远处的衰减率。我们假设 $W$ 与 $V$ 有界，且 $λ\in \mathbb{C}$。我们的衰减率依赖于 $|\nabla A|$ 在无穷远处的衰减性。特别地，当 $|\nabla A(θ, x)| \le C (1 + |x|)^{-τ}$ 对某 $τ\in [0,1]$ 成立时，我们证明了一类定量的、无穷远处唯一延拓型结果。通过适配文献 [KLP25] 中的方法，我们构造了显式解，以说明对每个这样的 $τ$，我们的估计是sharp的。

3. 实轴上随机Korteweg-de Vries方程的无条件适定性

Unconditional well-posedness of the stochastic Korteweg-de Vries equation on the real line

作者: Damiano Greco, Tadahiro Oh, Kotaro Tsugawa

类别: math.AP, math.PR

发布日期: 2026-07-08

arXiv ID: 2607.07624v1

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

摘要翻译

中文标题: 实轴上随机Korteweg-de Vries方程的无条件适定性

摘要翻译: 我们研究定义在实轴上的带加性噪声的随机Korteweg-de Vries方程（SKdV）的适定性问题。通过将Fourier限制范数方法适配到时间方向的Fourier-Lebesgue空间，我们首先证明了SKdV在 $L^2(\mathbb R)$ 中的全局适定性，且无需假设齐次Sobolev正则性——该假设曾出现在de Bouard、Debussche与Tsutsumi（1999）的工作中。接着，我们将Zhou（1997）的论证适配到随机情形，从而证明了SKdV在 $L^2(\mathbb R)$ 中的最优路径依赖无条件唯一性。附录中，我们给出一个简短论证，用于证明尖锐截断函数乘法算子在Fourier-Lebesgue空间与Sobolev空间中的有界性；该结果本身亦具独立兴趣。

4. 适配于受控路径的傅里叶限制范数方法：随机波动方程

Fourier restriction norm method adapted to controlled paths: stochastic wave equations

作者: Andreia Chapouto, Jiawei Li, Tadahiro Oh

类别: math.AP, math.PR

发布日期: 2026-07-08

arXiv ID: 2607.07618v1

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

摘要翻译

中文标题: 适配于受控路径的傅里叶限制范数方法：随机波动方程

摘要翻译: 我们研究带乘性噪声的随机非线性波动方程（SNLW）的路径依赖适定性问题。虽然伊藤解理论（= 随机场解理论）早在上世纪80年代即已建立，但其路径依赖适定性问题四十余年来始终是一个极具挑战性的公开问题。通过构建一个统一框架，将Koch与Tataru（2007）提出的适配于 $U^p$- 和 $V^p$-空间的傅里叶限制范数方法，与Gubinelli（2004）基于缝合引理（sewing lemma）和受控路径（controlled paths）发展的Young/粗糙积分理论，以及关于（分数）布朗运动的多重随机积分的随机张量估计相结合，我们在最优正则性范围内建立了SNLW的路径依赖局部适定性。特别地，在一维情形且噪声关于时间为白噪声的情况下，我们的结果覆盖了几乎时空白噪声的情形，该结果在单参数粗糙路径框架内是最优的。

5. Stein 空间上 Monge-Ampère 方程解的正则性

Regularity of Solutions to Monge-Ampère Equations on Stein Spaces

作者: Hongyu Chen

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

发布日期: 2026-07-08

arXiv ID: 2607.07599v1

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

摘要翻译

中文标题: Stein 空间上 Monge-Ampère 方程解的正则性

摘要翻译: 在本注记中，我们研究定义在奇异 Stein 空间上的退化复 Monge-Ampère 方程，其右端项依赖于未知函数。首先，我们证明了解在边界上的连续性；其次，在全纯峰集条件（holomorphic peak-set condition）下，我们在正则点集上证明了局部 Hölder 估计，允许边界数据在奇异边界处不满足 Hölder 连续性。该结果包含有限奇异边界集的情形。

6. 非交换型相互作用扩散过程的普适中心极限定理

Universal Central Limit Theorem for non-exchangeable interacting diffusions

作者: Mykhaylo Shkolnikov, Lane Chun Yeung

类别: math.PR, math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07598v1

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

摘要翻译

中文标题: 非交换型相互作用扩散过程的普适中心极限定理

摘要翻译: 我们研究具有成对相互作用强度的非交换型相互作用扩散过程，其相互作用强度由一系列矩阵编码。在这些矩阵满足适当的结构性与稠密性条件下，我们证明了全局涨落场的普适中心极限定理。当粒子数 $n$ 趋于无穷大时，该涨落场依分布收敛于一个随机偏微分方程（SPDE）的唯一解，其高斯极限与交换型平均场情形下的极限相同。该结果适用于例如 $m_n$-正则图的缩放邻接矩阵，只要 $m_n/\sqrt{n}\to\infty$。一个空间相互作用模型表明，$n^{-1/2}$ 稠密性阈值是sharp的。证明采用负Sobolev空间中的分析，建立在sharp定量混沌传播结果与函数不等式之上。

7. 关于具有非局部耦合的平均场博弈中粘性消失逼近的收敛速率

On the rate of the vanishing viscosity approximation for Mean Field Games with nonlocal coupling

作者: Gennaro Ciampa, Alessandro Goffi

类别: math.AP, math.OC

发布日期: 2026-07-08

arXiv ID: 2607.07526v1

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

摘要翻译

中文标题: 关于具有非局部耦合的平均场博弈中粘性消失逼近的收敛速率

摘要翻译: 我们研究带正则化耦合项（作用于Hamilton-Jacobi方程）的一阶时变平均场博弈（Mean Field Games）中粘性消失逼近（vanishing viscosity approximation）的定量收敛速率。在保证粘性消失逼近收敛的标准Hamiltonian结构假设下，已有结果仅给出系统两个未知量的定性收敛性，或仅对Hamilton-Jacobi方程的解给出定量估计。本文在相同假设下改进了这些收敛速率，并进一步建立了与之关联的前向Fokker-Planck方程解的收敛定量估计。作为推论，我们得到了完整平均场博弈系统的定量收敛速率，从而拓展并加强了现有的一阶极限理论。

8. 从双曲空间共形无穷远的逆散射：针对全测地缺陷

Inverse Scattering from Conformal Infinity for Totally Geodesic Defects in Hyperbolic Space

作者: Lu Chen, Hongyu Liu, Longyue Tao

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07393v1

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

摘要翻译

中文标题: 从双曲空间共形无穷远的逆散射：针对全测地缺陷

摘要翻译: 我们研究双曲空间 $\mathbb H^n$（$n \geq 2$）中不可穿透拓扑缺陷从共形无穷远 $\partial_\infty \mathbb H^n$ 的逆散射问题，其中缺陷的相互作用曲面在 $\mathbb H^n$ 中为全测地子流形。对固定谱参数 $λ_0 > 0$，给定输入为边界标签 $ξ\in \partial_\infty \mathbb H^n$；每个标签选取双曲内部的一个入射 Helgason 模式。给定缺陷 $\mathcal P \Subset \mathbb H^n$，该模式通常不满足相互作用曲面上的齐次迹条件，因而产生一个出射修正项。该修正项在共形无穷远处的主系数定义了所测得的远场模式。核心问题是：能否仅由一个或有限多个预设边界标签所对应的远场模式唯一恢复 $\mathcal P$？这在单一固定谱参数下构成一个形式上适定的逆问题。 我们的第一个主要结果确立了全测地缺陷的唯一可确定性；这一容许类既包含体缺陷（bulk components），也包含超曲面支撑型缺陷（hypersurface-supported ones）。对于 Dirichlet 型缺陷，单个边界标签即足够；而对于 Neumann 型缺陷，则需且一般必须 $n+1$ 个边界标签，且这些标签须在共形无穷远处满足自然的仿射无关性条件。 我们的第二个主要结果在同一框架下给出了定量稳定性估计：两个缺陷之间的双曲 Hausdorff 距离受控于它们在共形无穷远处远场模式的差异。证明结合了从共形无穷远的延拓与沿全测地超曲面的定量测地反射。综上，这些结果共同建立了一套基于形式上适定数据的、兼具定性与定量性质的共形无穷远处远场逆散射理论。

9. 具有纯虚势的半经典薛定谔算子

Semiclassical Schrödinger operators with purely imaginary potential

作者: Victor Arnaiz, Jean-Francois Bony, Laurent Michel

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

发布日期: 2026-07-08

arXiv ID: 2607.07301v1

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

摘要翻译

中文标题: 具有纯虚势的半经典薛定谔算子

摘要翻译: 我们考虑定义在有界区域上的具有纯虚势的薛定谔算子 $P = - h^{2} Δ+ i V ( x )$。假设势 $V$ 在其临界点附近可被一齐次多项式逼近，我们证明：当 $h \to 0$ 时，$P$ 的最左端特征值渐近地由 $V$ 的最退化临界点所对应的局部模型给出。我们将该结果应用于相关的演化问题，包括流体力学中的剪切流。

10. 具有厚补集的集合上特征值型方程的正则性

Regularity for eigenvalue-type equations in sets with thick complement

作者: Lorenzo Braglia, Lorenzo Brasco

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07238v1

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

摘要翻译

中文标题: 具有厚补集的集合上特征值型方程的正则性

摘要翻译: 我们证明了具有齐次Dirichlet边界条件的非线性偏微分方程解的梯度的全局高可积性。我们在一般开集（即未必有界）上工作，并仅假设其补集满足最小厚度条件。主要目标是在保持“零迹”Sobolev类的前提下，提升梯度的全局可和性。我们特别注重给出精确的先验估计。作为应用，我们在有限内半径的单连通开集上，得到了超齐次Lane-Emden方程 $-\Delta_N u = |u|^{q-2}u$（其中 $q>N$）解的普适全局Hölder估计。

11. $L^p$-渐近剖面：带 Hardy 势的热方程

$L^p$-Asymptotic Profiles for the Heat Equation with a Hardy Potential

作者: Radu Ordean

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07171v1

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

摘要翻译

中文标题: $L^p$-渐近剖面：带 Hardy 势的热方程

摘要翻译: 对于径向初值数据，我们在 $L^p(\mathbb{R}^N)$ 中构造了带反平方势的热方程的显式高阶渐近剖面。这些剖面由径向热核中出现的修正 Bessel 函数在小自变量处的展开（至任意阶 $n$）导出。我们证明：在减去 $n$ 阶剖面后，余项关于 $t$ 的衰减速度额外快一个幂次。我们还通过球谐函数刻画非径向情形：每个角模均按一个径向 Hardy 热方程演化，从而在适当的可求和性假设下，得到渐近剖面的有限角展开与无限角展开两种形式。

12. 能量临界与能量超临界的二次非线性薛定谔方程的无条件唯一性

Unconditional Uniqueness for the Energy-critical and Energy-supercritical Quadratic NLS

作者: Shunlin Shen

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07155v1

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

摘要翻译

中文标题: 能量临界与能量超临界的二次非线性薛定谔方程的无条件唯一性

摘要翻译: 我们研究能量临界与能量超临界情形下的二次非线性薛定谔方程（quadratic nonlinear Schrödinger equation），并在 $\mathbb{T}^{d}$ 与 $\mathbb{R}^{d}$ 上均建立了临界正则性下的无条件唯一性。我们引入了一类新的无穷阶二次层次结构（infinite quadratic hierarchy），其以张量积形式的线性结构为特征，而非通常的边缘密度（marginal densities）。因此，该新构造的层次结构不同于量子 Gross–Pitaevskii 层次结构，其结构实际上更接近经典 Boltzmann 层次结构。我们证明该二次层次结构具备组合结构，且该组合结构与我们为二次非线性所证得的双线性 $U$-$V$ 估计相容。这些工具使我们得以通过二次层次结构方法在临界正则性下建立无条件唯一性，从而对 Bourgain 关于弱形式双线性情形下二次非线性的唯一性问题 [3, p.152] 给出了肯定回答。

13. 关于带运动杂质的 Gross-Pitaevskii 模型：柯西问题与超流性判据

On the Gross-Pitaevskii model with a moving impurity: Cauchy problem and superfluidity criterion

作者: Paolo Antonelli, Martino Caliaro

类别: math.AP, math-ph

发布日期: 2026-07-08

arXiv ID: 2607.07115v1

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

摘要翻译

中文标题: 关于带运动杂质的 Gross-Pitaevskii 模型：柯西问题与超流性判据

摘要翻译: 我们研究一维 Gross-Pitaevskii 方程，其中含一个运动的 delta 势并具有非零无穷远条件。该模型描述运动杂质对量子流体的影响。首先，我们证明相应的柯西问题是能量空间中整体适定的。这要求定义一个守恒能量，其涉及重整化动量的概念。其次，我们在共动参考系中研究定态解的存在性与稳定性。已知存在一个依赖于杂质的临界速度；当杂质速度超过该临界速度时，不存在定态解；而当速度低于临界值时，则出现两个不同的定态解。我们证明了具有更高最小密度的那个定态解是轨道稳定的。

14. 具有通量限制和间接信号生成的拟线性Keller-Segel系统的有界性与爆破

Boundedness and blow-up for a quasilinear Keller-Segel system with flux limitation and indirect signal production

作者: Yue Zhou, Changchun Liu

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07130v1

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

摘要翻译

中文标题: 具有通量限制和间接信号生成的拟线性Keller-Segel系统的有界性与爆破

摘要翻译: 考虑光滑有界区域 Ω\subset\mathbb{R}^N 上、具齐次Neumann边界条件的带通量限制与间接信号生成的拟线性Keller-Segel系统：\begin{cases}u_t=\nabla\cdot\left(D(u)\nabla u\right) -\nabla\cdot\left(u(1+\left|\nabla v\right|^2)^σ\nabla v\right), &x\inΩ, t>0, \ 0=Δv-v+w,x\inΩ, t>0, \ w_t=-w+u,x\inΩ, t>0,\end{cases}其中 D(u)\simeq u^{m-1} 当 u\simeq\infty。我们得出如下结论：对于 N=1 及任意 σ\in\mathbb{R}，若 m\geq0，则经典解全局存在；且若 m>0，则该解一致有界。然而，若 m<0 且 Ω 为球域，则存在径向对称初值，使得经典解在有限时间内爆破。 对于任意 N\geq2 且 m>1-\frac{1}{N}，若 σ\leq \frac{mN+2-2N}{2N-2}，则经典解全局存在；进一步地，若 σ<\frac{mN+2-2N}{2N-2}，则相应解一致有界。 对于任意 N\geq2 且 m<2-\frac{2}{N}，若 σ>\max\left{\frac{N}{2-2N},\frac{mN+2-2N}{2N-2}\right} 且 Ω 为球域，则存在径向对称初值，使得经典解在有限时间内爆破。

15. 三维静止液滴的线性稳定性与Jacobi核

Linear Stability and Jacobi Kernels of Three-Dimensional Sessile Drops

作者: Xiaoding Yang

类别: math.AP, math.DG

发布日期: 2026-07-08

arXiv ID: 2607.07024v1

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

摘要翻译

中文标题: 三维静止液滴的线性稳定性与Jacobi核

摘要翻译: 我们研究具有自由接触线的三维静止液滴的线性稳定性。平衡曲面是带有重力项的Young–Laplace方程的轴对称解，满足体积固定与给定接触角条件。我们推导出重力–毛细能量的约束二阶变分，并建立相应的Jacobi问题。尽管变分稳定性给出非负性，但二阶变分必然退化，因为水平平移保持能量不变。我们的主要结果完全刻画了该退化性：在压强–体积非退化条件 $(dV/dλ\neq 0)$ 下，我们证明约束Jacobi算子的核恰好是由水平平移生成的二维空间。证明结合了Jacobi算子的几何结构与Fourier模态分析：轴对称模态被压强–体积条件排除，一阶模态对应平移，而所有更高阶模态则通过比较法被排除。这给出了液滴动力学在平移意义下稳定性的精确线性非退化基础。

16. 粗糙势下二维紧致双曲面上薛定谔方程的鲁棒可观测性

Robust Observability for Schrödinger Equations with Rough Potentials on 2D Compact Hyperbolic Surfaces

作者: Jiayan Wu, Ting Zhang, Ruze Zhou

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07017v1

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

摘要翻译

中文标题: 粗糙势下二维紧致双曲面上薛定谔方程的鲁棒可观测性

摘要翻译: 本文研究紧致双曲面上量子可观测性在 $L^2$ 势扰动下的鲁棒性。由于 $L^2$ 正则性在二维情形中严格次临界，对任意非空开集 $Ω\subset M$ 及 $T>0$，方程 $(i\partial_t+Δ-V)u=0$ 的解满足时空可观测性估计

$$ \|u_0\|_{L^2(M)}^2 \leq C\int_0^T \|e^{-it(-Δ+V)}u_0\|_{L^2(Ω)}^2\,dt. $$

我们的结果定量地证实：负曲率流形上高能量子态的离域化对 $L^2$ 类微观散射具有鲁棒性。证明结合了测地流的双曲动力学与半经典分析。关键工具是利用 Jacobi 场分析与 Bourgain–Demeter $l^2$-decoupling 所获得的带任意小损失的 $L^4$ 谱簇估计。该估计使我们得以建立适配于粗糙势的精细谱局部化半经典 Strichartz 估计，并证明势项对半经典测度传播的贡献消失。再利用双曲面上不变半经典测度的全支集性质，通过反证法得到所求可观测性。最后，由 Hilbert 唯一性方法可推出相应的内控制性结果。

17. 关于施瓦西黑洞外部线性标量波动方程的视界正则解的散射映射像

On the image of the scattering map for horizon-regular solutions of the linear scalar wave equation on the Schwarzschild black hole exterior

作者: Hamed Masaood

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

发布日期: 2026-07-07

arXiv ID: 2607.06668v1

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

摘要翻译

中文标题: 关于施瓦西黑洞外部线性标量波动方程的视界正则解的散射映射像

摘要翻译: 我们构造了希尔伯特空间同构，将施瓦西外部区域上线性标量波动方程的固定球谐模解（其柯西初值数据在 $t=0$ 时刻于事件视界处正则，即事件视界处局部能量有限）经前向散射映射所诱导的事件视界与零无穷远处的辐射场空间相互等同。我们证明：若某固定球谐模解在事件视界上无辐射，则其必随时间指数衰减，衰减速率由表面引力决定。另一方面，我们构造出若干固定球谐模解的例子，它们在零无穷远处无辐射，但在事件视界上具有多项式衰减。最后，我们构造出若干线性标量波动方程的多项式衰减解的例子：这些解在事件视界处正则，球谐模支撑无界，且在事件视界上不诱导任何辐射。

不相关论文（基本信息）

1. Emden-Fowler-Hénon 型方程的分析

Analysis of an Emden-Fowler-Hénon type equation

作者: Pablo dos Santos Corrêa Junior, Ederson Moreira dos Santos, Delia Schiera

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07631v1

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

摘要: This work investigates a Hénon-type equation with the cap-shaped weight $V_α(|x|)=(4|x|(1-|x|))^α$, which concentrates on the sphere of radius $1/2$ as $α\to\infty$. Particular attention is devoted to ground state solutions and the phenomenon of symmetry breaking in the large-$α$ regime. A complete description of the asymptotic behavior of ground state radial solutions is obtained as $α\to\infty$. The analytical results are further supported by numerical simulations of the radial ground states.

2. 在Langevin动力学训练中避免不安全集

Avoiding unsafe sets when training with Langevin Dynamics

作者: Adam M. Oberman

类别: cs.LG, math.AP, stat.ML

发布日期: 2026-07-08

arXiv ID: 2607.07538v1

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

摘要: Training a model with noisy gradient descent can be idealized as overdamped Langevin dynamics on the loss landscape, and a natural safety question is to bound the probability $ν_t(\mathcal{A}_H) = \mathbb{P}(Q_t \in \mathcal{A}_H)$ that the trajectory lies in a designated failure region $\mathcal{A}_H$. We study this for a smooth, strongly convex loss in $d$ dimensions and a failure region separated from the minimizer by an energy gap. Three bounds emerge. At the end of training, the equilibrium mass $π(\mathcal{A}_H)$ is exponentially small in $d$, with a complementary energy-barrier rate when the noise is small. Along the trajectory, a shape-free bound $ν_t(\mathcal{A}_H) \le π(\mathcal{A}_H)(1 + \sqrt{χ_0^2/π(\mathcal{A}_H)}\,e^{-mt})$ shows that the in-set probability relaxes to (twice) the static value after a burn-in time of order $d$, using only the global spectral gap $m$ of the loss. A worked Ornstein-Uhlenbeck example shows this burn-in is necessary: an angular slice of the equilibrium shell can transiently swell by a factor exponential in $d$, even though its equilibrium mass is tiny. To rule such swelling out we introduce a local relaxation rate attached to the failure region, defined through the spectral measure of its centered indicator rather than a Dirichlet-form Rayleigh quotient. For geometrically isolated regions this rate exceeds the global one, shrinking the burn-in proportionally, and combined with a maximum-principle ceiling it caps the trajectory probability uniformly in time. The picture is that strong convexity sets how fast training relaxes, but the shape of the unsafe set decides whether the trajectory bulges through it on the way home.

3. 二进制位势理论与 de Rham 函数

Dyadic potential theory and de Rham functions

作者: Nicola Arcozzi

类别: math.AP, math.DS

发布日期: 2026-07-08

arXiv ID: 2607.07344v1

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

摘要: We study de Rham functional equations driven by two increasing fractional linear transformations. Our main purpose is to relate the singularity theory of the associated solutions to dyadic potential theory on the binary tree. We first prove an existence and uniqueness theorem for increasing, left-continuous solutions in the full range of linear fractional data, and identify the trapping region in parameter space where the solution is continuous. For a large class of parameters we show that the de Rham solution is the normalized cumulative capacitary function of a multiplicative dyadic capacity. This gives a potential-theoretic model for Möbius de Rham systems. We then sharpen Okamura’s Hausdorff-dimensional estimates for the singular measure associated with the solution by replacing Hausdorff dimension with dyadic Riesz capacities. In particular, we prove capacitary upper and lower bounds for the size of Borel sets carrying full or zero mass, and obtain a capacitary sharpening of Okamura’s singularity criterion.

4. 基于Carleman估计的衰减介质中光声成像反向问题的稳定性

The Stability of the Backward Problem for Photoacoustic Imaging in Attenuating Media via Carleman Estimates

作者: Qihang Chen, Zhiyuan Li, Song Xu

类别: math.AP, math.NA

发布日期: 2026-07-08

arXiv ID: 2607.07244v1

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

摘要: This paper investigates the backward problem in time for photoacoustic tomography (PAT) in attenuating media. It is well-established that photoacoustic imaging in attenuating media can be accurately modeled by spatial fractional-order damping. This inverse problem is ill-posed in the sense of Hadamard. In this work, we construct a novel class of Carleman estimates independent of spatial variables, and by virtue of these estimates, we establish conditional stability estimates for this problem for the first time. Building upon this, we propose a Tikhonov-type regularization functional and derive its associated adjoint system. Furthermore, leveraging the established conditional stability results, we derive the convergence rate of the proposed regularization approach. Finally, we validate the effectiveness of our theoretical findings through extensive numerical experiments.

5. 两相特征值问题在最优绝缘中的对称破缺与局部稳定性

Symmetry-breaking and local stability of a two-phase eigenvalue problem in optimal insulation

作者: Emanuele Cristoforoni, Federico Villone

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07218v1

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

摘要: We consider the first eigenvalue, $λ_β(Ω,A)$, of a two-phase eigenvalue problem for the Laplacian with Robin boundary conditions, where the two phases are characterised by different ellipticity constants. We characterise the conditions under which a ball $B_R$ is a local minimum under a volume constraint for the minimisation problem $A\mapstoλ_β(B_r,A)$, in terms of the principal Neumann eigenvalue of the fixed inner ball $B_r$.

6. 一类具混合边界条件的分数阶问题的存在性结果

An existence result for fractional problems with mixed boundary conditions

作者: El-Haj Laamri Giovanni Molica Bisci

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07166v1

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

摘要: In this paper we investigate the existence and qualitative properties of weak solutions for a class of nonlinear fractional equations driven by the spectral fractional Laplacian under mixed Dirichlet–Neumann boundary conditions. More precisely, we consider subcritical problems of the form \begin{equation*} \left{ \begin{array}{ll} (-Δ)^s u=λu + μf(x,u) & \text{ in } Ω\smallskip, \ \displaystyle uχ_{\SD} +\frac{\partial u}{\partialν}χ_{\SN}=0 & \text{ on } \partialΩ, \end{array} \right. \end{equation*} where $s\in(1/2,1)$, $Ω\subset\mathbb R^N$ is a bounded smooth domain, and the boundary $\partialΩ$ is endowed with a mixed Dirichlet–Neumann configuration satisfying suitable geometric and analytic assumptions. Working in the natural spectral fractional framework associated with the mixed boundary operator, we establish the existence of nontrivial weak solutions by means of suitable variational methods. The analysis is based on a topological and variational principle combined with a localization argument involving certain compactly supported cutoff functions. More precisely, the proof relies on a delicate local comparison argument involving localized plateau-type test functions and explicit asymptotic estimates near the origin. Such an approach is sufficiently flexible and may potentially be adapted to several different settings. As applications, we establish simplified existence criteria in the autonomous case through the use of the Chebyshev radius of the domain and present concrete examples illustrating the applicability of the abstract theory.

7. 非局部极小曲面在一般情形下是唯一的，且在额外一维中光滑

Nonlocal minimal surfaces are generically unique, and smooth in one extra dimension

作者: Serena Dipierro, Xavier Fernández-Real, Enrico Valdinoci

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07154v1

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

摘要: We study the fractional Plateau problem for $s$-minimal sets with prescribed exterior datum. For fixed exterior data, minimizers need not be unique, and singularities may occur beyond the critical dimension. We first prove a generic uniqueness theorem: along any strictly increasing family of exterior data, nonuniqueness occurs for at most countably many parameters. We then show that one can make arbitrarily small perturbations for which the interior regularity theory improves by one dimension.

8. 超越球对称的裸奇点：Einstein-Scalar Field 系统的奇异内 Cauchy 视界

Naked Singularities beyond Spherical Symmetry: Singular Inner Cauchy Horizons for the Einstein-Scalar Field System

作者: Xinliang An, Shengrong Wu

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

发布日期: 2026-07-08

arXiv ID: 2607.07134v1

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

摘要: In this work, we investigate the formation of naked singularities for the $3+1$-dimensional Einstein-scalar field system without symmetry assumptions. We generalize the spherically symmetric and self-similar naked-singularity solution constructed by Christodoulou in [4] by prescribing non-spherically symmetric initial data along both incoming and outgoing initial null hypersurfaces. We then establish global existence for the resulting solutions and analyze the singular structure of the inner Cauchy horizon. Our construction is based on employing a notion of four-type differences and designing a system of scale-invariant weighted norms to control the corresponding geometry. We show that the constructed spacetimes retain a global naked-singularity structure, characterized by an incomplete future null infinity and a singular inner Cauchy horizon. Moreover, we derive detailed asymptotics near the inner Cauchy horizon and prove the desired $C^{1, \fracκ{1-κ}+}$ inextendibility of these solutions, where $κ\in (0,1/3)$ is the self-similar parameter. This indicates a connection between weak and strong cosmic censorship: for the class of non-spherically symmetric solutions constructed here, the failure of weak cosmic censorship in its strict formulation is accompanied by a quantitative inextendibility mechanism at the inner Cauchy horizon.

9. 关于涉及次临界与超临界增长的零质量 $(p,q)$-拉普拉斯方程

On a zero-mass $(p,q)$-Laplacian equation involving subcritical and supercritical growth in $\mathbb R^N$

作者: Everaldo Souto De Medeiros, Antonio Araújo Do Nascimento, Gaetano Siciliano

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07104v1

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

摘要: This paper is concerned with the zero-mass $(p,q)$-Laplacian equation

$$ -Δ_p u-Δ_q u = |u|^{r-2}u+λ|u|^{s-2}u \quad \text{in } \mathbb{R}^N, $$

where $1<q<p<N$. The exponents $r$ and $s$ may belong to either the subcritical or the supercritical range with respect to the critical Sobolev exponents $p^*$ and $q^*$. We establish existence and nonexistence results and show that the sign of the parameter $λ$ determines the solvability regimes of the equation. The existence proofs rely on variational methods, truncation arguments, and regularity theory, while the nonexistence results are derived from a suitable Pohozaev-type identity for the $(p,q)$-Laplacian operator.

10. 在平均振荡条件下 $p$-Laplacian 障碍问题的梯度连续性

Gradient continuity for $p$-Laplacian obstacle problems under mean oscillation conditions

作者: Sungjin Lee, Jihoon Ok

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.07018v1

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

摘要: We establish the $C^1$-regularity of solutions to the obstacle problems associated with $p$-Laplacian type equations, where $1<p<\infty$. Specifically, we prove that the gradient of the solution is continuous under a Dini mean oscillation ($\mathsf{DMO}$) type condition on the data, which includes the coefficient matrix, the source term, and the obstacle function. This result relaxes the classical Dini continuity assumption on the data to a more general mean oscillation condition.

11. 一个尖锐的等周不等式与最高阶 $Q$-曲率

A sharp isoperimetric inequality and the top order $Q$-curvature

作者: Mingxiang Li, Xingwang Xu

类别: math.DG, math.AP

发布日期: 2026-07-08

arXiv ID: 2607.06951v1

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

摘要: For a smooth, complete and normal metric $g = e^{2u}|dx|^2$ with finite total $n$-th order $Q$-curvature on $\mathbb{R}^n$ with dimension $n \geq 2$, we first show that everywhere non-negativity (resp. non-positivity) $n$-th order $Q$-curvature $Q_g^{(n)}$ implies everywhere non-negativity (resp. non-positivity) of the sectional curvature. Based on this fact, we secondly show that, once $Q_g^{(n)}$ is non-negative, then for any compact domain $Ω\subset \mathbb{R}^n$ with smooth boundary $\partialΩ$, the following sharp isoperimetric inequality holds:

$$ |\partialΩ|_g^{\frac{n}{n-1}} \geq n^{\frac{n}{n-1}} |\mathbb{B}^n|^{\frac{1}{n-1}} \left(1 - \frac{2}{(n-1)!\,|\mathbb{S}^n|} \int_{\mathbb{R}^n} Q_g^{(n)} \, dμ_g\right) |Ω|_g. $$

The third claim in this article is that, if the $n$-th order $Q$-curvature, $Q_g^{(n)}$, is non-positive and under the main assumption that Cartan-Hadamard conjecture holds true, then we have the sharp inequality

$$ |\partialΩ|_g^{\frac{n}{n-1}} \geq n^{\frac{n}{n-1}} |\mathbb{B}^n|^{\frac{1}{n-1}}|Ω|_g. $$

12. 复二维中复Monge-Ampère方程 $\det(u_{i\overline{j}})=1$ 解的幂凸性

Power Convexity of Solutions to the Complex Monge-Ampère Equation $\det(u_{i\overline{j}})=1$ in Complex Dimension Two

作者: Hongyu Chen, Jingchen Hu, Li Sheng

类别: math.AP

发布日期: 2026-07-08

arXiv ID: 2607.06895v1

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

摘要: In this paper, we establish the power convexity of solutions to the complex Monge-Ampère equation $\det(u_{i\overline{j}})=1$ in a convex set in the complex 2 dimensional Euclidean space. Even the convexity result is only for 2 dimension, our approach is applicable to all dimensions.

13. 无穷维 Ornstein-Uhlenbeck 演化算子的正则化与渐近行为

Regularization and Asymptotic Behaviour of Ornstein-Uhlenbeck Evolution Operators in Infinite Dimension

作者: Francesco Bartaloni

类别: math.PR, math.AP

发布日期: 2026-07-07

arXiv ID: 2607.06745v1

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

摘要: We are concerned with the properties of Ornstein-Uhlenbeck evolution operators acting on functions defined in a Hilbert space and p-integrable with respect to a suitable Gaussian measure. These operators provide solutions to the infinite dimensional, non-autonomous backward Kolmogorov equation. The first part of the paper focuses on some general regularization properties, while the second part carries on a deep analysis of the asymptotic behaviour in the periodic case. In particular, we identify the optimal convergence rate of the Ornstein-Uhlenbeck operator with respect to time and we give an optimality criterion depending only on the drift term of the Kolmogorov equation.

14. 无穷调和函数与逆平均曲率流簇

Infinity-harmonic functions and inverse mean curvature flow clusters

作者: Kai Xu

类别: math.AP, math.DG

发布日期: 2026-07-07

arXiv ID: 2607.06698v1

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

摘要: An $\infty$-harmonic function is a viscosity solution of $\nabla^2 u(\nabla u,\nabla u)=0$, or equivalently, an absolute minimizer of $\|\nabla u\|_{L^\infty}$. We prove a variety of new structural and regularity results in two dimensions, including:

  1. $\infty$-harmonic functions in domains of $\mathbb{R}^2$ are $C^{1,1/3}$.
  2. Critical points are isolated, and at each critical point, the solution has a unique quasiradial blow-up.
  3. Entire solutions with polynomial growth have unique quasiradial blow-downs, and are determined by their Fourier modes at infinity. These results are consequences of a new theory relating $\infty$-harmonic functions to inverse mean curvature flow (IMCF) clusters – which are piecewise weak solutions of IMCF with common obstacle-type boundary conditions on the interfaces (a simple example is an embedded family of cuspidal curves evolving by inverse curvature). This connection arises as the $p\to\infty$ limit of the classical duality between $p$-harmonic and $q$-harmonic functions in $\mathbb{R}^2$, where $\frac1p+\frac1q=1$.

15. $H$-收敛与$Γ$-收敛在Riesz分数阶框架下的非线性情形

$H$-convergence and $Γ$-convergence in the Riesz fractional setting: the nonlinear case

作者: Giuseppe C. Brusca, Maicol Caponi, Alessandro Carbotti, Alberto Maione, Fabio Paronetto

类别: math.AP

发布日期: 2026-07-07

arXiv ID: 2607.06725v1

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

摘要: This paper concerns the $H$-convergence of nonlinear nonlocal monotone operators defined through the Riesz fractional gradient and divergence. We show that the $H$-convergence in this nonlocal framework is equivalent to the $H$-convergence of the corresponding local one. As a consequence, we obtain a $H$-compactness result for a suitable class of nonlocal monotone operators. We then study the $Γ$-convergence of nonlocal energy functionals associated with the subclass of \emph{conservative} monotone operators, proving that it is equivalent to the $Γ$-convergence of the corresponding local energies. A key ingredient is a new uniqueness result for the integral representation of both local and nonlocal functionals. As a by-product, we obtain the $Γ$-compactness of the class of nonlocal energies under consideration. Finally, we show the equivalence between the $H$-convergence of nonlocal conservative monotone operators and the $Γ$-convergence of the associated energy functionals.