生成时间: 2026年07月23日 05:47:20

运行状态: 完成

计划处理论文数量: 28

已完成论文数量: 28

未完成论文数量: 0

重点关注论文数量: 7

了解领域论文数量: 11

不相关论文数量: 10

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

1. 基于van der Waals状态方程的直二维喷管中的声速-超声速射流

Sonic-supersonic jet flows from a straight two-dimensional nozzle with van der Waals equation of state

作者: Anamika Pandey, T. Raja Sekhar

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20203v1

摘要翻译: 本文研究由稳态可压缩Euler方程组（采用van der Waals状态方程）描述的、从二维直喷管中流出的声速-超声速射流。喷管出口处给定流动状态，而周围介质被假定为真空或压强低于喷管出口压强的静止大气。当流动在喷管出口处达到声速状态时，控制方程退化为退化双曲型，由此产生的射流问题可表述为一个退化自由边界问题。此外，喷管出口端点附近的奇性行为进一步增加了分析难度。通过采用特征分解方法和适当的先验估计，我们建立了向真空扩张的局部Lipschitz连续声速-超声速射流的整体存在性。此外，在存在压强低于喷管出口压强的静止大气的情形下，我们证明了喷管出口附近声速-超声速射流的局部存在性。

Comment: 32 pages, 8 Figures

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

1. 研究对象和背景

本文研究二维直喷管出口处达到声速并随后向外部介质（真空或低压静止大气）膨胀的定常可压缩欧拉流，其物态由范德瓦尔斯状态方程描述。该问题建模为一个退化双曲型自由边界问题，核心难点在于：当流速 $u_0$ 恰等于当地声速 $c_0$ 时，欧拉系统在喷管出口 $BD = \{(0,y) : |y| \leq l\}$ 上发生类型退化——从严格双曲变为退化双曲；同时，在端点 $B = (0,-l)$ 和 $D = (0,l)$ 附近出现奇异性（singular behavior），导致经典特征理论与能量估计失效。

具体而言，控制方程为二维定常可压缩欧拉方程组（无粘、无热传导、无源项）：

$$ \begin{cases} \partial_x(\rho u) + \partial_y(\rho v) = 0, \\ \partial_x(\rho u^2 + p) + \partial_y(\rho uv) = 0, \\ \partial_x(\rho uv) + \partial_y(\rho v^2 + p) = 0, \end{cases} \quad (x,y) \in \mathbb{R}^2, $$

其中 $(u,v)$ 为速度分量，$\rho > 0$ 为密度，$\tau = 1/\rho$ 为比容，压力 $p = p(\tau)$ 由范德瓦尔斯方程给出：

$$ p(\tau) = \frac{K}{(\tau - b)^{\gamma+1}} - \frac{a}{\tau^2}, \quad \tau > b,\; K>0,\; a>0,\; b>0,\; \gamma \in (0,1). $$

对应声速平方为 $c^2 = -\tau^2 p'(\tau)$，即

$$ c^2 = \frac{K(\gamma+1)}{(\tau - b)^{\gamma+2}} - \frac{2a}{\tau^3}. $$

喷管壁面为 $W_\pm = \{(x,y): y = \pm l,\, x \in (-\infty,0]\}$，出口段 $BD$ 位于 $x=0$，长度为 $2l$。流场在 $BD$ 上给定均匀来流：

$$ (u,v,c)|_{BD} = (u_0, 0, c_0), \quad \text{with } u_0 = c_0 \; (\text{sonic case}). $$

外部介质分为两类情形：(i) 真空情形，即 $p_a = 0$，此时存在真空边界 $x = \varphi(y)$（$|y|>l$），满足 $c|_{x=\varphi(y)} = 0$，且 $\varphi(\pm l) = 0$；(ii) 低压静止大气情形，即 $0 < p_a < p_0$，此时存在接触间断型射流边界 $x = \psi(y)$（$|y|>l$），满足 $p|_{x=\psi(y)} = p_a$ 及斜率匹配条件 $u/v = \psi'(y)$。

该问题的重要性体现在三方面：第一，物理上，范德瓦尔斯气体能刻画真实气体在高压/低温下的非理想效应（分子间吸引力与分子体积），广泛应用于内燃机、有机朗肯循环（ORC）、气体储存等工程场景，而理想/多方气体模型在此类工况下失效；第二，数学上，范德瓦尔斯压力函数 $p(\tau)$ 的凸性结构远比多方律 $p = K \tau^{-\gamma}$ 复杂：其二阶导数 $p''(\tau)$ 可变号，导致欧拉系统可能丧失严格双曲性或 genuine nonlinearity；第三，分析上，声速线 $u^2+v^2 = c^2$ 与自由边界耦合，使问题兼具退化双曲性、自由边界未知性、端点奇异性三重困难。已有工作（如 Chen & Qu [2]、Lai [5]）均建立在理想气体假设下，其特征几何（如 $\kappa(\tau) \equiv \gamma$ 为常数）和退化结构（如 $c \sim \sqrt{x}$ 近似）无法移植至范德瓦尔斯情形。本文旨在填补这一空白：在严格凸压力假设 $p'(\tau) < 0$, $p''(\tau) > 0$, $\kappa'(\tau) > 0$（其中 $\kappa(\tau) = -2p'(\tau)/(2p'(\tau)+\tau p''(\tau))$）下，建立适用于非理想气体的声速–超声速射流存在性理论。

2. 主要定理或主要结果

本文在严格凸范德瓦尔斯状态方程下建立了两类声速–超声速射流解的存在性：

（1）真空情形（全局解）：设来流满足 $u_0 = c_0$，且压力函数 $p(\tau)$ 满足 $p'(\tau) < 0$, $p''(\tau) > 0$, $\kappa(\tau) > 0$, $m(\tau) > 0$, $\kappa'(\tau) > 0$（$\tau > \tau_1 > b$），则自由边界问题 (1.1)–(2.2) 存在全局解 $(u,v,c) \in C^{0,1}(\Sigma(M_0)) \cap C^0(\overline{\Sigma(M_0)})$，其中区域 $\Sigma(M_0) = \{(x,y): x > \varphi(y;M_0),\, y \in \mathbb{R}\}$，真空边界显式表示为

$$ \varphi(y; M_0) = \begin{cases} (|y| - l) \cot \alpha_v, & |y| \geq l, \\ 0, & |y| < l, \end{cases} \quad M_0 = \frac{u_0}{c_0} = 1, $$

且 Mach 角 $\alpha_v$ 由积分公式确定：

$$ \alpha_v = \int_{\tau_0}^{\infty} \frac{\sqrt{-p'(\tau)}}{\sqrt{u^2 + v^2 + \tau^2 p'(\tau)}} \cdot \frac{1}{\sqrt{u^2 + v^2}} \, d\tau. $$

声速 $c > 0$ 在 $\Sigma(M_0)$ 内部严格正，且在真空边界 $x = \varphi(y;1)$ 上连续趋于零。

（2）低压大气情形（局部解）：设 $u_0 = c_0$，且外压 $p_a \in [0,p_0)$，则存在充分小 $\delta > 0$，使得自由边界问题 (1.1)–(2.3) 在邻域 $\Gamma(\delta) = \{(x,y): \bar{\psi}(y) < x < \bar{\psi}(y) + \delta,\, |y| < l + \delta\}$ 内存在局部解 $(u,v,c) \in C^{0,1}(\Gamma(\delta)) \cap C^0(\overline{\Gamma(\delta)})$，其中 $\bar{\psi}(y) = \psi(y)$（$|y|>l$），$\bar{\psi}(y) = 0$（$|y|\leq l$）。该解由超声速情形 $u_0 > c_0$ 的局部解经 $u_0 \to c_0^+$ 极限获得，依赖于 Arzelà–Ascoli 定理与对角线法，其 Lipschitz 常数在 $\delta$ 尺度下一致有界，但未给出显式增长率估计。

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

证明的核心障碍在于三重退化结构：(i) 声速线上双曲性退化（特征值凝聚）；(ii) 真空边界上 $c=0$ 导致系数奇性；(iii) 喷管端点 $B,D$ 处的几何奇点（$\partial_y \varphi$ 不连续）。作者摒弃标准能量法（因退化导致能量泛函不正定），转而构建一套基于特征分解的精细估计框架，其创新点集中于以下四方面：

第一，引入广义特征角变量 $(\alpha,\beta,\omega,\theta)$ 与严格凸压力下的关键参数 $\kappa(\tau), m(\tau), \mu^2(\tau), Q(\tau)$。由 (2.19) 定义的 $\kappa(\tau)$ 控制特征场的非线性强度，其单调性假设 $\kappa'(\tau)>0$ 是保证后续加权估计闭合的关键；而 $m(\tau) = (\kappa-1)/(\kappa+1)$ 直接出现在特征角演化方程 (2.25) 中：

$$ \bar{\partial}_+ \alpha = m(\tau) \cos 2\omega \, \bar{\partial}_+ \beta, \quad \bar{\partial}_- \beta = m(\tau) \cos 2\omega \, \bar{\partial}_- \alpha. $$

这表明 $m(\tau)$ 的符号与大小决定了 $\alpha,\beta$ 沿特征线的耦合强度，是区别于理想气体 $m \equiv (\gamma-1)/(\gamma+1)$ 的本质参数。

第二，建立声速 $c$ 的二阶特征分解恒等式（引理 2.3 及推论 2.3.1）。核心公式为：

$$ c \, \bar{\partial}_- \bar{\partial}_+ c = \frac{(\bar{\partial}_+ c)^2}{2\mu^2(\tau) \cos^2 \omega} + \frac{\bar{\partial}_+ c \, \bar{\partial}_- c}{2 \cos^2 \omega} \left( \frac{1}{\mu^2(\tau)} - \kappa(\tau) \sin^2 2\omega \right) + \tau \kappa'(\tau) \, \bar{\partial}_+ c \, \bar{\partial}_- c. $$

该式揭示了退化项 $\tau \kappa'(\tau) \bar{\partial}_+ c \bar{\partial}_- c$ 的主导作用——它无法被理想气体情形下的常数 $\kappa'$ 项所控制，必须利用 $\kappa'(\tau)>0$ 及 $\mu^2(\tau) = 1/(1+\kappa(\tau))$ 的正性构造加权最大值原理。

第三，设计 $c^{-\nu} \bar{\partial}_+ c$ 型辅助函数以克服真空奇性。由 (2.31) 可知，选取 $\nu = \tau \kappa'(\tau)$ 可消去交叉项，得到

$$ c \, \bar{\partial}_- (c^{-\nu} \bar{\partial}_+ c) = c^{-\nu} \left[ \frac{(\bar{\partial}_+ c)^2}{2\mu^2 \cos^2 \omega} + \frac{\bar{\partial}_+ c \, \bar{\partial}_- c}{2 \cos^2 \omega} \left( \frac{1}{\mu^2} - \kappa \sin^2 2\omega \right) \right], $$

右侧非负（因 $\mu^2 < 1$ 且 $\kappa > 0$），从而 $c^{-\nu} \bar{\partial}_+ c$ 沿 $C_-$ 特征线单调不减，结合端点边界条件可得 $\| \nabla c \|_{L^\infty}$ 控制。

第四，处理端点奇异性采用“局部化–极限”策略。对超声速情形 $u_0 > c_0$，先在 $|y| \geq l+\varepsilon$ 区域建立 $C^{0,1}$ 一致估计（避开端点），再令 $\varepsilon \to 0^+$ 并利用 Arzelà–Ascoli 定理提取子列收敛到 $u_0 = c_0$ 的解。此过程依赖于引理 2.3 给出的交换子恒等式 (2.28)，它精确量化了 $\bar{\partial}_+, \bar{\partial}_-$ 的非对易性，并将端点奇性转化为 $\bar{\partial}_\pm \alpha, \bar{\partial}_\pm \beta$ 的可控增长。

4. 与之前工作的比较

本文与既有工作的比较需从四个维度展开：

（1）物态方程维度：此前所有严格数学结果（Chen & Qu [2]、Lai [5]、Zhang & Zheng [16]）均基于理想气体 $p = K \tau^{-\gamma}$ 或多方气体。此时 $\kappa(\tau) \equiv \gamma$ 为常数，特征角方程 (2.25) 简化为 $\bar{\partial}_+ \alpha = m \cos 2\omega \, \bar{\partial}_+ \beta$（$m$ 常数），且二阶分解中退化项 $\tau \kappa'(\tau) \bar{\partial}_+ c \bar{\partial}_- c$ 消失。本文首次将分析拓展至范德瓦尔斯气体，其 $\kappa(\tau)$ 非恒定且 $\kappa'(\tau)>0$ 的假设是技术必需，而非物理冗余——若 $\kappa'(\tau) \leq 0$，则 (2.31) 右侧可能变号，导致加权最大值原理失效。因此，本文结论不能通过简单替换 $\gamma \mapsto \kappa(\tau)$ 从理想气体结果导出。

（2）解的存在性维度：Chen & Qu [2] 对理想气体建立了超声速射流的全局 $C^1$ 解，但要求 $p_0 - p_a$ 充分小；Lai [5] 对理想气体声速–超声速流仅证明局部解存在。本文在真空情形下实现了全局 Lipschitz 解（Theorem 2.1），其区域 $\Sigma(1)$ 无尺寸限制；而在大气情形下虽仅得局部解（Theorem 2.2），但突破在于无需小压力差假设——只要 $p_a < p_0$ 即可，这得益于范德瓦尔斯状态方程下更精细的特征结构控制。

（3）奇点处理维度：Courant & Friedrichs [1] 与 Zhang & Zheng [16] 处理的退化问题具有 Tricomi 或 Keldysh 型边界（如 $y=0$ 上 $\partial_{xx} + y \partial_{yy}$），其退化是坐标诱导的。本文的退化源于物理量 $c$ 在声速线上自然归零，且与自由边界 $x=\varphi(y)$ 耦合，端点奇异性表现为 $\varphi'(\pm l) = \cot \alpha_v$ 的有限跳跃（见 Figure 3a），这比单纯边界退化更难处理。作者未采用 [16] 的幂级数展开，而是用特征分解直接控制 $\bar{\partial}_\pm c$ 在端点附近的爆破速率。

（4）技术代价与局限：本文的严格凸性假设 $p''(\tau) > 0$ 排除了范德瓦尔斯相变区（即 $p''(\tau)=0$ 的区间），故无法处理气液共存等复杂现象；此外，解的正则性止步于 $C^{0,1}$，未达到 $C^{1,\alpha}$（$\alpha>0$），这是因为二阶分解 (2.29) 中 $\sin 2\omega$ 在声速线上趋于零，导致 Hölder 估计失效。从提供内容中无法确认是否可推广至三维情形或含激波的混合流场。

2. 二维Kuramoto-Sivashinsky方程中的非线性不稳定性

Nonlinear Instability in the 2D Kuramoto-Sivashinsky equation

作者: David M. Ambrose, Anna L. Mazzucato, Riccardo Montalto

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19887v1

摘要翻译: 本文研究Kuramoto-Sivashinsky方程（KSE）——一个描述火焰锋面传播的模型——在任意尺寸 $2 L$ 的二维方形环面（$L > π$）上的行为。在此情形下，原点处线性化方程具有有限多个增长模，对应于线性算子 $- Δ^2 - Δ$ 的正特征值。二维空间中二维KSE解的长时间行为问题迄今仍基本未解；目前仅有针对足够小的环面或足够各向异性且细长区域的全局存在性结果，其障碍在于缺乏良好的先验估计。

Comment: 无

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

1. 研究对象和背景

本文研究二维周期域 $\mathbb{T}^2_L = (\mathbb{R}/(2L\mathbb{Z}))^2$ 上的 Kuramoto-Sivashinsky 方程（KSE），其标量形式为

$$ \partial_t v + \Delta^2 v + \Delta v + \Pi(|\nabla v|^2) = 0, \quad x = (x_1, x_2) \in \mathbb{T}^2_L, $$

其中 $\Pi v := v - \frac{1}{(2L)^2} \int_{\mathbb{T}^2_L} v(x)\,dx$ 是零平均投影算子，$v: \mathbb{R}^2 \to \mathbb{R}$ 是 $(2L)$-周期函数。通过尺度变换 $x \mapsto \omega x$ 与 $v(x) = \phi(\omega x)$，其中 $\omega = \pi / L$，方程化为标准环面 $\mathbb{T}^2 = [-\pi,\pi]^2$ 上的等价形式：

$$ \partial_t \phi + \omega^4 \Delta^2 \phi + \omega^2 \Delta \phi + \omega^2 \Pi(|\nabla \phi|^2) = 0, \quad x \in \mathbb{T}^2. $$

等价地写作 Cauchy 问题

$$ \begin{cases} \partial_t \phi = L_\omega \phi - \omega^2 \Pi(|\nabla \phi|^2), \\ \phi(0,x) = \phi_{\mathrm{in}}(x), \end{cases} $$

其中线性算子 $L_\omega = -\omega^4 \Delta^2 - \omega^2 \Delta$ 是 Fourier 乘子，满足 $L_\omega(e^{i x \cdot \xi}) = \lambda_\omega(\xi) e^{i x \cdot \xi}$，其特征值为

$$ \lambda_\omega(\xi) = -\omega^4 |\xi|^4 + \omega^2 |\xi|^2 = -\omega^2 |\xi|^2 (\omega^2 |\xi|^2 - 1), \quad \xi \in \mathbb{Z}^2 \setminus \{0\}. $$

假设 $L > \pi$，即 $0 < \omega < 1$，则存在有限个正特征值：

$$ \sigma_+(L_\omega) = \left\{ \lambda_\omega(\xi) : 0 < |\xi| \leq \frac{1}{\omega} \right\}, \quad \sigma_-(L_\omega) = \left\{ \lambda_\omega(\xi) : |\xi| > \frac{1}{\omega} \right\}. $$

最大正特征值记为 $\lambda_0 = \max \sigma_+(L_\omega) > 0$，对应于某个 $\xi_0 \in \mathbb{Z}^2 \setminus \{0\}$ 满足 $0 < |\xi_0| < 1/\omega$，其特征空间为 $E(\lambda_0) = \operatorname{span}\{ e^{i x \cdot \xi} : |\xi| = |\xi_0| \}$。问题的核心在于：当线性化算子存在正谱时，零解 $\phi \equiv 0$ 在非线性层面是否稳定？已知在 $d=1$ 时，尽管存在指数增长模态，但小初值解仍被控制在邻域内（[16,31]）；而在 $d=2$，全局适定性极度受限：仅对足够小或强各向异性的矩形域（如 $[0,L_1]\times[0,L_2]$ 中 $L_1,L_2 < 2\pi$ 或一维极薄）有全局存在性（[5,24,30,34]）；Ambrose–Mazzucato [2,3] 首次在各向同性 $\mathbb{T}^2$ 上建立小初值全局解，但要求无正特征值（$L_1,L_2 < 2\pi$）或仅允许单方向弱不稳定模态（$L_1,L_2$ 略大于 $2\pi$）。然而，当 $L > \pi$（即 $\omega < 1$）时，正特征值个数可任意大（如 $\omega \to 0^+$ 时 $|\sigma_+| \sim \omega^{-2}$），此时既无 $L^p$ 先验估计（因双调和项破坏最大值原理），亦无能量守恒结构，导致长期行为完全未知。本文旨在填补这一关键空白：在任意大的正谱存在下，严格证明零解的非线性不稳定性——即存在任意小初值，其解在有限时间内从 $O(\varepsilon)$ 增长至 $O(1)$，而非被阻尼主导。

2. 主要定理或主要结果

定理 2.1（非线性不稳定性）：设 $s \geq 4$，$\omega \in (0,1)$ 满足 $L > \pi$。存在常数 $\delta_0 = \delta_0(s,\omega) > 0$ 与 $\varepsilon_0 = \varepsilon_0(s,\omega) > 0$，使得对任意 $\varepsilon \in (0,\varepsilon_0)$，及任意归一化初值 $\phi_{\mathrm{in}} \in E(\lambda_0)$ 满足 $\|\phi_{\mathrm{in}}\|_{H^s} = 1$，Cauchy 问题

$$ \begin{cases} \partial_t \phi = L_\omega \phi - \omega^2 \Pi(|\nabla \phi|^2), \\ \phi(0,x) = \varepsilon \phi_{\mathrm{in}}(x) \end{cases} $$

存在唯一解 $\phi \in C^0([0,T_\varepsilon], H^s_0(\mathbb{T}^2)) \cap C^1([0,T_\varepsilon], H^{s-4}_0(\mathbb{T}^2))$，其中时间尺度满足

$$ \frac{1}{2\lambda_0} \log(\varepsilon^{-1}) < T_\varepsilon < \frac{1}{\lambda_0} \log(\varepsilon^{-1}), $$

且解在 $T_\varepsilon$ 处达到宏观尺度：

$$ \|\phi(T_\varepsilon)\|_{H^s} \geq \delta_0. $$

进一步，对任意固定 $N \geq 2$，存在 $\sigma = \sigma(s,\omega) \gg 1$（独立于 $\varepsilon$），令 $T_\sigma = \frac{1}{\lambda_0} \log(\varepsilon^{-1}) - \sigma$，则解满足定量逼近估计：

$$ \sup_{t \in [0,T_\sigma]} \|\phi(t) - \varepsilon e^{\lambda_0 t} \phi_{\mathrm{in}}\|_{H^s} \leq C(s,\omega) e^{-2\lambda_0 \sigma}, $$

从而 $\|\phi(T_\sigma)\|_{H^s} \geq \frac{1}{2} e^{-\lambda_0 \sigma}$。该结果在 Sobolev 指标 $s > 4$ 下成立，且依赖于 $\lambda_0$ 的精确谱性质——仅需 $\lambda_0$ 为最大正特征值，不要求其代数重数为 1 或其他谱条件。

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

证明的核心障碍在于：KSE 的非线性项 $\Pi(|\nabla \phi|^2)$ 含一阶导数，直接能量估计将导致导数损失；同时，线性不稳定模态 $e^{\lambda_0 t}$ 的指数增长与非线性反馈耦合，传统小参数展开易被高阶项淹没。作者提出三阶段精密框架：

  1. 尖锐渐近展开构造：定义 $N$ 阶近似解 $\phi_{\mathrm{app}}(t,x) = \sum_{n=1}^N \varepsilon^n \phi_n(t,x)$，其中 $\phi_1(t,x) = e^{\lambda_0 t} \phi_{\mathrm{in}}(x)$，而 $\phi_n$（$n \geq 2$）由递推线性问题

    $$ \partial_t \phi_n = L_\omega \phi_n + \sum_{k=1}^{n-1} Q(\phi_{n-k}, \phi_k), \quad \phi_n(0,x) = 0 $$

    确定，$Q(\phi_1,\phi_2) = -\omega^2 \Pi(\nabla \phi_1 \cdot \nabla \phi_2)$。关键创新在于引理 3.1–3.3 给出的指数增长率精控：利用 $\lambda_\omega(\xi) \leq \lambda_0$ 及 Fourier 支集传播性（若 $\phi_n$ 支于 $|\xi| \leq n|\xi_0|$，则 $Q(\phi_n,\phi_m)$ 支于 $|\xi| \leq (n+m)|\xi_0|$），通过变分常数法证明

    $$ \|\phi_n(t)\|_{H^s} \lesssim_{s,n,\omega} e^{n \lambda_0 t}, \quad \|r_N(t)\|_{H^s} \lesssim_{s,N,\omega} \varepsilon^{N+1} e^{(N+1)\lambda_0 t}, $$

    其中余项 $r_N$ 来自截断误差。此估计确保近似解在时间尺度 $T_\sigma$ 内保持 $O(\varepsilon)$ 精度。

  2. 加权不动点论证：令 $\phi = \phi_{\mathrm{app}} + u$，则误差 $u$ 满足

    $$ \partial_t u = L_\omega u + 2Q(\phi_{\mathrm{app}}, u) + Q(u,u) + r_N, \quad u(0,x) = 0. $$

    为控制 $u$ 的指数增长，作者引入加权范数 $\|u\|_{s,T} = \sup_{t \in [0,T]} e^{-N \lambda_0 t} \|u(t)\|_{H^s}$，并在 $T = O(1)$ 上构造不动点。核心工具是半群 $e^{t L_\omega}$ 的分数阶光滑估计（引理 4.3）：对 $t > 0$，有

    $$ \|e^{t L_\omega} f\|_{H^{s+1}} \lesssim t^{-1/4} \|f\|_{H^s}, $$

    此估计源于双调和算子 $-\Delta^2$ 的色散特性。结合引理 4.4–4.5 对非线性项与余项的加权控制，最终在球 $\{ \|u\|_{s,T} \leq \varepsilon^N \}$ 内完成压缩映射。

  3. 基于拟微分算子的延续论证：为将局部解延拓至 $T_\sigma \sim \log(\varepsilon^{-1})$，作者采用反证法：设 $T^*$ 为最大存在时间，假设 $T^* \leq T_\sigma$。关键突破是使用拟微分算子理论（附录 A）对误差方程进行拟线性化：

    $$ \partial_t u = L_\omega u + T_A \cdot \nabla u + f_N(t), $$

    其中拟微分算子 $T_A$ 的符号 $A(t,x)$ 满足 $\|A(t)\|_{H^{s-1}} \lesssim_s \varepsilon e^{\lambda_0 t}$，余项 $f_N$ 满足 $\|f_N(t)\|_{H^s} \lesssim_{s,N,\omega} \varepsilon^{N+1} e^{(N+1)\lambda_0 t}$。由此导出能量不等式

    $$ \frac{d}{dt} \|u(t)\|_{H^s}^2 \leq \lambda_0 \|u(t)\|_{H^s}^2 + C_0 \varepsilon^{2N+1} e^{(2N+1)\lambda_0 t}, $$

    积分得 $\|u(t)\|_{H^s} \leq C \varepsilon^{N+1/2} e^{(N+1/2)\lambda_0 t}$。取 $N=2$ 并选取 $\sigma$ 足够大，使 $C \varepsilon^{1/2} e^{\lambda_0 t/2} \leq 1/2$ 在 $[0,T^*]$ 成立，推出 $\|u(t)\|_{H^s} \leq \frac{1}{2} \varepsilon^2 e^{2\lambda_0 t}$，与 $T^*$ 定义矛盾，故 $T^* > T_\sigma$。

4. 与之前工作的比较

本文与既有工作存在本质差异，主要体现在四方面：

  1. 假设条件的根本放宽：此前各向同性全局存在性结果 [2,3] 要求 $L_1,L_2 < 2\pi$（即 $\omega > 1/2$），确保 $\sigma_+(L_\omega) = \emptyset$ 或仅含弱不稳定模态；而本文仅需 $L > \pi$（即 $\omega < 1$），允许 $|\sigma_+(L_\omega)|$ 任意大（例如 $\omega = 0.1$ 时 $|\sigma_+| \approx 100$），首次处理强多模不稳定情形。相较 [3] 中 $\omega \to 1^-$ 时 $\varepsilon_0 \to 0$、$\delta_0 \to 0$ 的退化行为，本文在 $\omega$ 远离 1 时仍给出非退化 $\delta_0$，表明不稳定性强度随 $\omega$ 减小而增强。

  2. 时间尺度的精确刻画：文献 [16,31] 在 $d=1$ 中证明小解保持 $O(\varepsilon)$ 尺度，隐含时间尺度为 $O(1)$；本文则严格确立 $T_\varepsilon \sim \frac{1}{\lambda_0} \log(\varepsilon^{-1})$，与线性不稳定时间 $T_0 = \frac{1}{\lambda_0} \log(\varepsilon^{-1})$ 同阶，且明确给出上下界 $\frac{1}{2\lambda_0} \log(\varepsilon^{-1}) < T_\varepsilon < \frac{1}{\lambda_0} \log(\varepsilon^{-1})$，揭示非线性导致的提前饱和效应（$T_\varepsilon < T_0$）。

  3. 技术工具的实质性升级：以往工作 [5,24,30] 依赖各向异性压缩（如 $L_1 \ll L_2$）以获得 $L^2$ 控制；本文在完全各向同性设定下，首创将拟微分算子理论（而非经典 Sobolev 估计）用于 KSE 不稳定性分析，通过 $T_A$ 算子避免导数损失，这是处理含导数非线性项的关键突破。对比 [17] 中 Euler/Prandtl 方程的类似框架，本文需克服双调和算子导致的更弱半群衰减（$t^{-1/4}$ vs Laplacian 的 $t^{-1/2}$）。

  4. 适用范围与代价：本文结论适用于所有 $s \geq 4$，但要求初值严格位于 $E(\lambda_0)$（即仅激发最大不稳定模态），未覆盖一般小初值；而 [3] 的全局存在性对初值无 Fourier 局部化要求。此外，证明中 $\sigma$ 的选取依赖于 $s$ 和 $\omega$，故 $\varepsilon_0$ 隐含依赖于这些参数，无法给出统一的小参数阈值。从提供内容中无法确认是否可推广至 $s < 4$ 或非均值零初值。

3. 在本构约束下对波动方程的初始源与声速的同时反演

Simultaneous Recovery of the Initial Source and Sound Speed for the Wave Equation under a Constitutive Constraint

作者: Amir Moradifam

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19799v1

摘要翻译: 我们研究从单次边界测量出发，对标量波动方程 $u_{tt} - c^2(x) \Delta u = f(x) \delta(t)$ 的初始源 $f$ 与声速 $c$ 进行同时反演的问题。尽管在适当的几何假设下，单独反演其中任一参数已有深入理解，但一般情形下的同时反演问题仍未解决，且线性化问题固有的不稳定性进一步阻碍了稳定反演。我们证明：当两个未知量通过源自同一底层材料的给定本构关系耦合时，可同时获得唯一性与稳定性。在受校准材料区域启发的定量非退化条件下，该耦合反问题约化为一个单一的反源问题。对该约化问题应用 Stefanov 与 Uhlmann 发展的微局部分析与 Carleman 方法框架，我们在涉及严格凸叶状结构与测地线可视性的几何条件下，建立了全局唯一性与 Lipschitz 稳定性。我们还得到了部分数据结果：在本构非退化条件成立的紧致可视区域中，证明了局部唯一性与 Lipschitz 稳定性。

Comment: 无

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

1. 研究对象和背景

本文研究如下标量波动方程的初边值问题：

$$ (\partial_t^2 - c^2(x) \Delta) u = 0, \quad (t,x) \in (0,T) \times \mathbb{R}^n, $$

$$ u(0,x) = f(x), \quad \partial_t u(0,x) = 0, \quad x \in \mathbb{R}^n, $$

其中 $c \in C^\infty(\mathbb{R}^n)$ 是未知正函数，表示空间依赖的声速；$f \in C^\infty_c(\Omega)$ 是紧支集初值源，二者均为待反演的未知量；$\Omega \Subset \mathbb{R}^n$（$n \geq 2$）是具有光滑边界的有界区域，且假设 $c(x) = 1$ 在 $\mathbb{R}^n \setminus \Omega$ 上已知。观测数据为单次边界测量：

$$ \Lambda_{f,c} := u|_{(0,T) \times \partial\Omega}. $$

该模型直接对应光声/热声断层成像（photoacoustic/thermoacoustic tomography）的核心数学问题：电磁能量在介质内瞬时沉积，通过热弹性膨胀激发初始压力扰动 $f(x)$，随后该扰动以声波形式在非均匀介质中传播，其动力学由上述齐次波动方程支配。实际应用中，$c(x)$ 的先验知识往往不可靠——即使微小的声速误差亦会导致重建源 $f$ 出现严重伪影；而独立使用超声透射断层成像等辅助模态预先估计 $c$ 则增加系统复杂性与成本。因此，从单一边界测量中同时恢复 $f$ 和 $c$ 是兼具理论挑战性与临床/工业实用价值的关键问题。

然而，该问题在一般情形下是严重不适定的。Stefanov 与 Uhlmann [27] 严格证明：线性化的同时反演问题在任意 Sobolev 空间尺度下均不稳定，即存在 $\delta f$ 与 $\delta c$ 的扰动组合，使得对应的前向解差 $\delta u$ 在边界上范数极小，但 $\|\delta f\|_{H^s} + \|\delta c\|_{H^s}$ 却可任意大。这一本质不稳定性源于两个未知量在观测算子中的耦合退化性：给定 $u|_{\partial\Omega}$，方程 $P_c u = 0$ 对 $f$ 和 $c$ 的联合依赖是非单射的，且其 Fréchet 导数算子 $D_{f,c} \Lambda$ 具有非平凡零空间。现有唯一性结果均需强结构性假设：Finch–Hickmann [5] 限于径向对称非捕获声速；Liu–Uhlmann [20] 要求 $c$ 为常数且 $f$ 与某空间变量无关；Knox–Moradifam [15] 导出积分恒等式 $\int_\Omega (c_1^{-2} - c_2^{-2}) \phi \, dx = 0$（对所有调和函数 $\phi$），但仅能在 $c_1^{-2} - c_2^{-2}$ 本身调和或两速度有序等特殊条件下推出唯一性；Kian–Uhlmann [14] 则依赖分段常数 $c$ 的单调性假设。这些工作共同揭示了该问题的理论空白：缺乏一个既具物理合理性、又能严格恢复唯一性与稳定性的通用结构框架。本文旨在填补此空白，其核心思想是引入一个由材料本构关系导出的耦合约束：$f(x) = F(x, c(x))$，其中 $F$ 是由可容许材料类预先确定的已知光滑函数。该约束将二维未知量 $(f,c)$ 约化为一维未知量 $c$，从而将原问题转化为一个受控的逆源问题。关键在于，该本构关系并非人为强加，而是源于真实物理场景——例如固化监测中，局部固化度 $\theta(x)$ 同时决定声速 $c = C(x,\theta)$ 与热弹性源幅值 $f = P(x,\theta)$；又如校准的激光超声实验中，若热应变剖面 $\varepsilon_T(x)$ 已知，则 $f(x) = \rho(x) \varepsilon_T(x) c^2(x)$，即 $F(x,r) = q(x) r^2$。本文试图补上的核心空白是：在不依赖 $c$ 的单调性、径向对称性或分段常数等传统假设的前提下，建立一个基于物理本构约束的、全局唯一且 Lipschitz 稳定的同时反演理论，并明确刻画其几何适用范围（凸叶状结构与测地线可见性）与定量稳定性条件（本构非退化性）。

2. 主要定理或主要结果

本文在以下假设下建立了全局唯一性与 Lipschitz 稳定性：设 $\Omega \Subset \mathbb{R}^n$ 光滑有界，$c_j \in C^\infty(\mathbb{R}^n)$ 满足 $0 < c_- \leq c_j \leq c_+$ 且 $c_j = 1$ 在 $\mathbb{R}^n \setminus \Omega$ 上，$f_j(x) = F(x, c_j(x))$，其中 $F \in C^\infty(\Omega \times [c_-, c_+])$，并设 $K \Subset \Omega$ 为待反演区域，满足支撑条件 $\operatorname{supp}(c_1 - c_2) \subset K$。本构非退化性条件为：存在 $m_0 > 0$ 使得

$$ |\partial_r F(x,r)| \geq m_0, \quad \forall x \in K, \, r \in [c_-, c_+]. $$

定义 $b_0 := m_0 / (2c_+) > 0$。令 $g_j = c_j^{-2} dx^2$ 为对应黎曼度量，$\Lambda_{f_j,c_j} = u_j|_{(0,T) \times \partial\Omega}$ 为边界测量。

定理 2.4（边界邻域唯一性）：若 $\partial\Omega$ 关于 $g_1$ 严格凸，且距离函数 $x_n = \operatorname{dist}_{g_1}(x, \partial\Omega)$ 在 $0 \leq x_n \leq T$ 上光滑、微分非零，且水平集 $\{x_n = s\}$ 关于 $g_1$ 严格凸（$0 \leq s < T$），则

$$ \Lambda_{f_1,c_1} = \Lambda_{f_2,c_2} \text{ on } (0,T) \times \partial\Omega \quad \Longrightarrow \quad c_1 = c_2, \, f_1 = f_2 \text{ on } K \cap \{x \in \Omega : \operatorname{dist}_{g_1}(x, \partial\Omega) < T\}. $$

定理 2.5（全局唯一性）：若 $K$ 关于 $g_1$ 和时间 $T$ 满足全边界凸叶状条件，即存在连续光滑紧致定向超曲面族 $\{\Sigma_s : s_1 \leq s \leq s_2\}$ 使得 (i) 每个 $\Sigma_s \cap \Omega$ 关于 $g_1$ 严格凸；(ii) 该族扫过 $K$，且 $K \subset \Sigma_{s_1}^{\text{int}}$；(iii) 对每个 $s$ 及 $x \in \Sigma_s \cap \Omega$，存在 $y \in \partial\Omega$ 满足 $T > \operatorname{dist}_{g_1}(x,y)$，则

$$ \Lambda_{f_1,c_1} = \Lambda_{f_2,c_2} \text{ on } (0,T) \times \partial\Omega \quad \Longrightarrow \quad c_1 = c_2, \, f_1 = f_2 \text{ in } \Omega. $$

定理 2.6（Lipschitz 稳定性）：若 $K$ 关于 $g_1$ 和 $T$ 满足测地线可见性条件（即 Stefanov–Uhlmann [26, Theorem 3.4] 中的条件 (51)），则存在常数 $C > 0$ 仅依赖于 $\Omega, K, T, c_\pm, \|F\|_{C^\infty}, m_0$ 及几何参数，使得

$$ \|c_1 - c_2\|_{L^2(K)} + \|f_1 - f_2\|_{L^2(K)} \leq C \|\Lambda_{f_1,c_1} - \Lambda_{f_2,c_2}\|_{L^2((0,T) \times \partial\Omega)}. $$

此外，对部分边界数据 $\Gamma \subset \partial\Omega$，定义 $D_\Gamma$ 为从 $\Gamma$ 可见的严格凸超曲面所扫过的区域。若本构非退化性仅在 $D_\Gamma$ 的邻域内成立，则存在紧致子集 $K' \Subset D_\Gamma$，使得

$$ \|c_1 - c_2\|_{L^2(K')} + \|f_1 - f_2\|_{L^2(K')} \leq C' \|\Lambda_{f_1,c_1} - \Lambda_{f_2,c_2}\|_{L^2((0,T) \times \Gamma)}. $$

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

本文的核心技术障碍在于：原始的同时反演问题 $\Lambda_{f,c}$ 关于 $(f,c)$ 的联合映射是高度非线性的且其线性化算子固有不稳定。作者的真正创新点并非发明新工具，而是通过精巧的“构型约化”（constitutive reduction）将该病态问题转化为一个已具有良好理论基础的逆源问题，从而激活 Stefanov–Uhlmann 的微局部分析框架。该约化的三个关键步骤构成方法论主干：

第一步：差分方程的重构与源项分离。给定两个参数对 $(f_1,c_1), (f_2,c_2)$，定义差 $w = u_1 - u_2$。直接相减原方程得到

$$ P_{c_1} w = (c_2^2 - c_1^2) \Delta u_2 =: \alpha(x) \Delta u_2, $$

其中 $\alpha = c_2^2 - c_1^2$。初始条件为 $w(0,x) = f_1(x) - f_2(x) = F(x,c_1(x)) - F(x,c_2(x))$。此处的障碍是 $w(0,x)$ 并非零，而 Stefanov–Uhlmann 的源反演理论要求源项在 $t=0$ 时刻作用。为此，作者引入二重时间积分算子 $V(t,x) = \int_0^t (t-s) w(s,x) \, ds$。计算得 $V_{tt} = w$，且通过分部积分可证

$$ P_{c_1} V = w(0,x) + \int_0^t (t-s) P_{c_1} w(s,x) \, ds = \alpha(x) B(x) + \alpha(x) \int_0^t (t-s) \Delta u_2(s,x) \, ds, $$

其中 $B(x)$ 是 $F$ 关于 $r^2$ 的差商：当 $c_1 \neq c_2$ 时，$B(x) = \frac{F(x,c_1) - F(x,c_2)}{c_1^2 - c_2^2}$；当 $c_1 = c_2$ 时，$B(x) = \frac{\partial_r F(x,c_1)}{2c_1}$。本构非退化性 $|\partial_r F| \geq m_0$ 直接保证了 $|B(x)| \geq b_0 > 0$，这是后续稳定性估计的基石。

第二步：构造满足兼容性条件的源系数。将上式写为

$$ P_{c_1} V = \alpha(x) A(t,x), $$

其中 $A(t,x) = B(x) + \int_0^t (t-s) \Delta u_2(s,x) \, ds$。关键观察是：$A(0,x) = B(x)$ 且 $A_t(0,x) = 0$。后者是标准 Carleman 估计所要求的“时间偶延拓”兼容性条件，它允许将 $V$ 偶延拓至负时间，从而将问题完全纳入 Stefanov–Uhlmann [26] 中处理形如 $P_{c_1} V = \alpha(x) A(t,x)$ 的逆源问题的框架。此时，$\alpha(x)$ 成为唯一的空间未知源因子，而 $A(t,x)$ 是一个由已知背景 $c_1$ 和 $u_2$ 构造出的、满足 $|A(0,x)| \geq b_0$ 的已知时-空系数。

第三步：边界数据到内部源的传递。由 $V$ 的定义及 $w = u_1 - u_2$，立即得到边界迹关系：$\partial_t^2 V|_{\partial\Omega} = \Lambda_{f_1,c_1} - \Lambda_{f_2,c_2}$，且当测量相等时，$V = \partial_\nu V = 0$ 在 $(0,T) \times \partial\Omega$ 上成立。这恰好提供了 Stefanov–Uhlmann 定理所需的零 Cauchy 数据。至此，整个证明被归结为对约化后的问题应用 [26] 中的定理：利用 $g_1$-凸叶状结构与测地线可见性，结合 Carleman 权重估计，从 $V = \partial_\nu V = 0$ 推出 $\alpha = 0$，即 $c_1^2 = c_2^2$，进而由 $c_j > 0$ 得 $c_1 = c_2$，再由 $f_j = F(\cdot, c_j)$ 得 $f_1 = f_2$。稳定性估计则直接继承自 [26] 中的 Lipschitz 型源反演估计，其常数 $C$ 显式依赖于 $b_0$，清晰揭示了本构非退化性是获得定量稳定性的必要代价。

4. 与之前工作的比较

本文与既有工作的根本区别在于问题建模范式的转变：此前所有工作均将 $f$ 与 $c$ 视为独立未知量，而本文将其视为由同一物理参数（如固化度 $\theta$ 或材料模量）驱动的耦合变量。这一转变带来了三重实质性推进：

第一，假设的放宽与物理合理性的增强。先前工作 [5,14,20] 依赖的径向对称性、单调性或分段常数假设，在复杂异质介质（如生物组织、复合材料）中往往不成立。本文的本构约束 $f = F(x,c)$ 不仅更贴近物理实际（如 $F(x,r) = q(x)r^2$ 源于热弹性理论），而且完全摒弃了对 $c$ 本身的任何单调性或对称性要求。其唯一额外假设是本构非退化性 $|\partial_r F| \geq m_0$，这是一个局部可验证的定量条件，对应于材料响应曲线的局部可识别性，比全局单调性弱得多。

第二，时间尺度与适用范围的拓展。Stefanov–Uhlmann [26] 对单一未知量（$f$ 或 $c$）的反演，其时间 $T$ 需满足测地线覆盖整个区域，即 $T > \max_{x \in K} \operatorname{dist}_{g}(x, \partial\Omega)$。本文的全局唯一性定理 2.5 所需的凸叶状条件 (iii) 本质上是同一要求，故时间尺度未被削弱。但本文的突破在于“局部化”能力：部分数据定理表明，只要本构非退化性在可见区域 $D_\Gamma$ 内成立，即可在该区域内实现局部唯一性与稳定性，而无需对 $\Omega \setminus D_\Gamma$ 的材料性质做任何假设。这极大提升了方法在实际受限观测（如仅能访问部分边界）下的实用性，是 [26] 等全局假设工作所不具备的灵活性。

第三，稳定性阶与代价的明晰化。Stefanov–Uhlmann [26] 对单一未知量的稳定性是 Lipschitz 的，而线性化的同时反演问题被证明是指数级不稳定的 [27]。本文成功将稳定性恢复至 Lipschitz 阶，其关键代价正是本构非退化性常数 $m_0$：稳定性常数 $C$ 反比于 $b_0 = m_0/(2c_+)$。这意味着，若材料的 $F$ 对 $c$ 的依赖越微弱（$m_0 \to 0$），则稳定性越差，这与物理直觉完全一致——当源幅值几乎不随声速变化时，从波场中区分二者自然愈发困难。相比之下，Kian–Uhlmann [14] 等工作的稳定性分析未显式给出此类与物理参数直接关联的定量依赖。此外，本文方法完全避免了 Knox–Moradifam [15] 所需的调和函数测试或 Liu–Uhlmann [20] 所需的源函数正定性等额外分析负担。综上，本文并非在旧框架内改进，而是通过引入物理驱动的构型约束，开辟了一条绕过固有不稳定性、直达 Lipschitz 稳定性的新路径，其推进是概念性、结构性与定量性的三重统一。

4. 三维可压欧拉方程弱解的寿命上界与超经典传播

Lifespan Bounds and Super-Classical Propagation for Weak Solutions of the Three-Dimensional Compressible Euler Equations

作者: Thomas C. Sideris

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20290v1

摘要翻译: 我们在 $[0,T)\times\mathbb R^3$ 上对三维等熵可压欧拉方程的有界弱解建立了寿命上界，其前提为初始数据满足局部正性条件，且扰动的本质支集向未扰动背景态传播的速度不超过经典局部适定性理论所预言的速度。我们进一步证明：任何在该上界之后仍持续存在的、熵容许的、有界弱解，若其逆密度亦有界，则必以严格超经典的速率向未扰动区域传播；且这种加速传播必然伴随着解的一个关联单侧 $L^\infty$-剖面中出现跳跃间断。

Comment: 42 pages, 3 figures

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

1. 研究对象和背景

本文研究三维等熵可压欧拉方程的有界弱解的定性行为，核心对象是如下初值问题：

$$ \begin{cases} \partial_t \rho + \nabla \cdot (\rho u) = 0, \\ \partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) + \nabla p(\rho) = 0, \end{cases} \quad (t,x) \in [0,T) \times \mathbb{R}^3, $$

其中状态方程为 $p(\rho) = \frac{1}{\gamma-1} \rho^\gamma$，$\gamma > 1$；初始数据 $(\rho_0, u_0) \in L^\infty(\mathbb{R}^3; \mathbb{R}_{>0} \times \mathbb{R}^3)$ 满足局部正性条件（如在薄环 $k_0 \le |x| < 1$ 上 $\rho_0(x) > 1$ 且 $x \cdot u_0(x) > 0$）。背景平衡态取为 $(\bar{\rho}, 0) = (1, 0)$，对应声速 $\bar{c} = \sqrt{p'(1)} = 1$。研究对象并非整体解的存在唯一性，而是聚焦于扰动的时空传播结构：其本质支撑集 $\operatorname{ess\,supp}(\rho - 1, u)$ 如何随时间演化进入未扰动区域 $\{\rho = 1, u = 0\}$。

该问题具有深刻物理与数学动机。从物理角度看，可压流体中扰动以声速为理论上限向外传播（Huygens 原理在双曲系统中的体现），而实际解（尤其含激波者）可能突破此限——这直接关联激波前沿的非线性加速机制与能量集中现象。从数学角度看，尽管经典解（如 $H^s$, $s > 5/2$）满足有限传播速度：若 $\operatorname{supp}(\rho_0 - 1, u_0) \subset \{|x| \le 1\}$，则必有 $\operatorname{supp}(\rho - 1, u) \subset \{|x| \le 1 + t\}$（见 Kato [11]），但该理论对弱解完全失效：多维守恒律无 BV 或 $L^\infty$ 局部适定性理论（Rauch [15]），凸积分构造更表明熵解甚至不唯一（Chiodaroli–De Lellis–Kreml [3]）。因此，一个根本性空白在于：当经典适定性框架崩塌后，能否在弱解层面建立普适的传播约束？能否刻画弱解“被迫”违反经典传播律时的必然结构性后果？

已有工作提供了关键参照系。Sideris [18] 在经典解框架下证明：只要初始扰动满足压缩性正性条件（即 $\rho_0 > 1$ 且径向速度向外），则寿命 $T$ 必有限，且 $T \lesssim \exp(C / \varepsilon)$ 对小振幅 $O(\varepsilon)$ 数据成立，与三维无旋初值问题的经典存在时间一致（Sideris [19]）。Christodoulou [5] 的几何激波理论则精细刻画了小振幅无旋解中激波奇点的形成机制与边界几何，但其依赖高正则性与无旋假设。Luk–Speck [12] 及 Buckmaster–Shkoller–Vicol [2] 将激波构造推广至含涡情形，但仍限于经典解范畴。本文试图填补的空白正是：将 Sideris [18] 的寿命上界从 $H^s$ 经典解推广至 $L^\infty$ 弱解，并进一步回答——若弱解存活时间超过该上界，则其扰动传播必须超越声速 $c=1$，且这种超经典传播绝非平滑过渡，而必然伴随某种 $L^\infty$-剖面的跳跃间断。这一结论将经典传播律的失效与解的内在奇异性（激波雏形）严格关联，为弱解动力学提供首个定量的、非对称性的传播判据。

2. 主要定理或主要结果

本文共三项主定理，均针对三维等熵可压欧拉方程 $\partial_t \rho + \nabla \cdot (\rho u) = 0$, $\partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) + \nabla (\rho^\gamma/(\gamma-1)) = 0$ 的有界弱解 $(\rho, u) \in L^\infty([0,T) \times \mathbb{R}^3; \mathbb{R}_{>0} \times \mathbb{R}^3)$。

定理1（经典速度传播下的有限寿命）：设单位向量 $\omega \in \mathbb{R}^3$ 与参数 $0 \le k_0 < 1$，定义初始加权矩 $w_0(k) = \frac{1}{2} \int_{\Omega_{k,1}(0)} (\omega \cdot \rho_0 u_0(x) + \rho_0(x) - 1)(\omega \cdot x - k)^2 \, dx$，其中 $\Omega_{k,1}(0) = \{x \in \mathbb{R}^3 : k \le \omega \cdot x, |x| \le 1\}$。若解满足经典传播假设 $\operatorname{ess\,supp}(\rho - 1, u) \cap \Omega_{k_0,\infty}^T \subset \Omega_{k_0,1}^T$（即扰动不超前于 $\omega \cdot x = 1 + t$），且 $w_0(k)$ 在 $[k_0, 1)$ 上正且递减，则寿命 $T$ 满足显式上界 $T \le T_0(k_0)$，其中

$$ T_0(k_0) = \inf_{k_0 < k < 1} \left[ T(k, k_0) - \frac{1 + k_0}{2} \right], $$

$$ T(k, k_0) = \begin{cases} \exp\left[ \dfrac{\Gamma(\gamma)}{(1 - k_0)^6 (k - k_0) w_0(k)} \right], & \gamma \ge 2, \\ \exp\left[ \dfrac{\Gamma(\gamma)}{(1 - k_0)^6 (k - k_0) w_0(k)} \left( 1 + \dfrac{3 w_0(k)}{(1 - k)^4} \right)^{2 - \gamma} \right], & 1 < \gamma < 2. \end{cases} $$

常数 $\Gamma(\gamma) > 0$ 仅依赖 $\gamma$；对小振幅 $O(\varepsilon)$ 数据，$T_0 \sim \exp(C / \varepsilon)$，与经典理论一致。

定理2（背景态附近的局部弱–强唯一性）：若 $(\rho, u)$ 是熵容许弱解且 $\|\rho^{-1}\|_{L^\infty} < \infty$，令 $m = \|\rho^{-1}(\rho - 1)\|_{L^\infty} + \|u\|_{L^\infty}$，则对任意非空闭有界集 $V \subset \mathbb{R}^3$（具 Lipschitz 边界），定义 $F(\alpha; V) = \|\rho^{-1}(\rho - 1)\|_{L^\infty(V_\alpha)} + \|u\|_{L^\infty(V_\alpha)}$，其中 $V_\alpha = \{(t,x) \in [0,T) \times \mathbb{R}^3 : (\operatorname{dist}(x, \mathbb{R}^3 \setminus V) - t/\alpha)_+ > 0\}$。若 $F(0; V) = 0$（即初始扰动在 $V$ 外消失），则 $\alpha(V) = \sup\{0 \le \alpha \le 1 : F(\alpha; V) = 0\} \ge (1 + C(\gamma) m)^{-1}$，其中 $C(\gamma) > 0$ 仅依赖 $\gamma$。推论1由此导出全局传播速度上界：若 $\operatorname{ess\,supp}(\rho_0 - 1, u_0) \subset \{|x| \le R\}$，则 $\operatorname{ess\,supp}(\rho - 1, u) \subset \{|x| \le R + c_0 t\}$，其中 $c_0 = 1 + C(\gamma) m$。

定理3（超经典穿透与跳跃剖面）：设初始支撑 $\operatorname{ess\,supp}(\rho_0 - 1, u_0) \subset \{|x| \le 1\}$，$w_0$ 满足定理1条件，且 $T > T_0(k_0)$。定义 $\tau = \inf\{ t > 0 : \operatorname{ess\,supp}(\rho - 1, u) \cap \{|x| > 1 + t\} \neq \emptyset\}$，则 $0 \le \tau \le T_0(k_0)$，且对任意 $\tau < \tau' < T$，存在单位向量 $\nu \in \mathbb{R}^3$ 与速度 $c_1 \in (1, c_0]$，使得函数 $g(c) = \|\rho - 1\|_{L^\infty(H_{\nu,c}^{\tau,\tau'})} + \|u\|_{L^\infty(H_{\nu,c}^{\tau,\tau'})}$（其中 $H_{\nu,c}^{\tau,\tau'} = \{(t,x) \in (\tau,\tau') \times \mathbb{R}^3 : \nu \cdot x \ge 1 + \tau + c(t - \tau)\}$）在 $c = c_1$ 处发生跳跃间断：$g(c_1^-) > g(c_1^+) = 0$。

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

本文方法的核心创新在于将高维非线性双曲系统的传播分析降维为一维波动型不等式，同时规避经典能量估计与特征追踪的失效。主要技术障碍有三：(1) 弱解缺乏可微性，无法直接对原方程求导或沿特征线积分；(2) 三维空间中扰动支撑的几何复杂性远超一维，传统 $L^1$ 或 $BV$ 工具不适用；(3) 熵容许性仅提供单向能量不等式，不足以控制 $L^\infty$ 剖面的精细结构。

关键技术一：平面平均与移动半空间的加权矩。作者摒弃对解本身的操作，转而定义方向 $\omega$ 上的加权矩 $v(t,s) = \int_{\{\omega \cdot x > s\}} (\rho(t,x) - 1)(\omega \cdot x - s)^2 \, dx$（$s \ge k_0 + t$）。此构造巧妙之处在于：形式上 $v$ 满足一维波动方程 $\partial_{tt} v - \partial_{ss} v \ge 0$（因状态方程 $p(\rho) = \rho^\gamma/(\gamma-1)$ 的凸性及传播假设 $\operatorname{ess\,supp}(\rho-1,u) \subset \{|x| \le 1+t\}$），但作者不验证此方程，而是通过选取特殊 Lipschitz 测试函数 $\phi(t,x) = (\omega \cdot x - s)_+^2 \eta(t)$（$\eta$ 光滑截断），直接从弱公式 (1.1c)-(1.1d) 推出 $v$ 的 d’Alembert 表示的积分形式。此步骤将三维动力学编码于时变积分域 $\{x \in \mathbb{R}^3 : s \le \omega \cdot x, |x| \le 1 + t\}$ 的加权体积中，彻底绕过特征几何的不可控性。

关键技术二：John 型迭代与非线性积分不等式。由 d’Alembert 表示，作者导出关键不等式 $v(t,s) \ge \int_0^t \int_{s-(t-\sigma)}^{s+(t-\sigma)} K(\sigma, \xi) v(\sigma, \xi) \, d\xi d\sigma + \text{初始项}$，其中核 $K$ 由 $\gamma$ 和 $w_0$ 决定且非负。此即 John [10] 方法的高维适配：通过迭代此不等式（而非直接解波动方程），将 $v$ 的爆炸时间转化为寿命 $T$ 的上界。迭代中，$\gamma$ 的分段表达式（$\gamma \ge 2$ 与 $1 < \gamma < 2$）源于 $p''(\rho) = \gamma \rho^{\gamma-2}$ 在 $\rho \approx 1$ 附近的渐近行为差异，直接影响核 $K$ 的衰减率。

关键技术三：基于距离函数的局部弱–强唯一性。定理2不采用 Dafermos [8] 的标准 Gronwall 方法（需解的 $W^{1,1}$ 正则性），而是构造时空锥 $V_\alpha$ 依赖于距离函数 $d_\alpha(t,x) = (\operatorname{dist}(x, \mathbb{R}^3 \setminus V) - t/\alpha)_+$。通过测试函数 $\phi(t,x) = d_\alpha(t,x) \psi(x)$ 并利用熵不等式 (1.2)，作者证明 $F(\alpha; V)$ 的增长受 $m$ 控制，从而获得 $\alpha(V)$ 的显式下界。此框架将传播速度 $c_0 = 1 + C(\gamma)m$ 直接与解的 $L^\infty$ 振幅挂钩，是连接定理1与定理3的枢纽。

关键技术四：跳跃剖面的 $L^\infty$-单调性分析。定理3的证明本质是分析函数 $g(c)$ 的单调性。由定理2，$g(c)$ 非增且右连续；由定理1的寿命上界，$g(1) > 0$ 而 $g(c_0) = 0$（因 $c_0$ 是全局传播上界）。作者证明：若 $g$ 在 $(1,c_0)$ 内无跳跃，则存在 $c_1$ 使 $g(c_1) > 0$ 但 $g(c) = 0$ 对所有 $c > c_1$ 成立，这与扰动必须“突然”穿透经典波前的物理图景矛盾。故 $g$ 必在某 $c_1$ 处跳跃，且跳跃高度 $g(c_1^-) - g(c_1^+)$ 量化了激波前沿的 $L^\infty$ 不连续强度。

4. 与之前工作的比较

本文与既有工作的比较需从四个维度展开：适定性框架、传播律的普适性、寿命估计的锐度、以及奇异性刻画的深度。

适定性框架的跃迁：Sideris [18] 的有限寿命定理要求解属于 $H^s$（$s > 5/2$），依赖经典对称双曲系统的局部适定性（Kato [11]）；本文将其拓展至 $L^\infty$ 弱解，且不假设任何正则性或熵容许性（定理1）。这一拓展代价是放弃唯一性（如 Chiodaroli–De Lellis–Kreml [3] 所示），但换来了对激波解的直接适用性。相比之下，Christodoulou [5] 的激波形成理论虽也处理弱解延续，但严格限定于小振幅、无旋、$C^4$ 初始数据，且其“最大经典发展”概念在弱解中无定义；本文则完全脱离该几何框架，仅用 $L^\infty$ 范数和支撑集描述传播。

传播律的普适性与假设放宽：经典传播律 $\operatorname{supp}(\rho-1,u) \subset \{|x| \le R + \bar{c}t\}$ 仅对 $C^1$ 解成立（Kato [11]），而本文推论1首次给出熵容许弱解的同类结果：$\operatorname{ess\,supp}(\rho-1,u) \subset \{|x| \le R + c_0 t\}$，其中 $c_0 = 1 + C(\gamma) m$。此处关键进步在于 $c_0$ 显式依赖于解的 $L^\infty$ 振幅 $m$，而非初始数据的 Sobolev 范数。例如，若 $\|u\|_{L^\infty} = O(1)$ 而 $\|\rho^{-1}(\rho-1)\|_{L^\infty} = O(\varepsilon)$，则 $c_0 = 1 + O(\varepsilon)$，逼近经典声速；但若 $m$ 较大（如激波附近），$c_0$ 可显著超声。此前，Ginsberg–Rodnianski [9] 构造的全局弱激波解虽具超经典传播（对数分离于光锥），但属特定 N-wave 类型且依赖无旋假设；本文则证明：任何熵容许弱解若存活超 $T_0$，必出现超经典传播，且 $c_1 > 1$ 为严格下界。

寿命估计的锐度：定理1的 $T_0 \sim \exp(C/\varepsilon)$ 与 Sideris [19] 的经典存在时间下界匹配，表明该上界在小振幅极限下是锐的。然而，对大振幅数据，$T_0$ 的显式形式（含 $w_0(k)$ 的倒数）比 [18] 中的隐式估计更精细，因其直接关联初始扰动的局部几何（薄环上的加权矩）。代价是：$T_0$ 依赖于方向 $\omega$ 和参数 $k_0$，需取 inf 优化，而 [18] 的 $T$ 是标量上界。

奇异性刻画的深度：以往工作（如 Shkoller–Vicol [16]）聚焦激波奇点的几何分类，或（如 Buckmaster–Drivas–Shkoller–Vicol [1]）构造特定后激波解。本文定理3则首次建立超经典传播与 $L^\infty$ 剖面跳跃的必然联系：$g(c)$ 的跳跃是解在波前处 $L^\infty$ 不连续的定量表征，且 $g(c_1^-) > 0$ 意味着扰动在超声速区域 $H_{\nu,c_1}^{\tau,\tau'}$ 内保持非零振幅，而 $g(c_1^+) = 0$ 表明其外严格为零——这正是激波间断的典型 $L^\infty$ 特征。文中明确指出‘该跳跃与激波形成一致，但定理本身不识别激波曲面’，体现了结论的普适性：它不要求解光滑或具特定对称性，仅需熵容许与 $\rho^{-1} \in L^\infty$，故适用于各类激波、接触间断甚至更奇异的弱解。

5. 来自大初值的二维不可压 Euler 方程的自相似解

Self-Similar Solutions of the Two-Dimensional Incompressible Euler Equation from Large Initial Data

作者: Hyungjun Choi

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19700v1

摘要翻译: 设 $\frac{1}{3}<a<1$，且 $u_0$ 为 $\mathbb{R}^2\setminus\{0\}$ 上一个 $C^1$ 类、无散度、$(-a)$-齐次向量场。我们构造了二维不可压 Euler 方程的一个正向时间自相似解，

Comment: 31 pages, comments welcome

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

1. 研究对象和背景

本文研究二维不可压欧拉方程的前向自相似弱解存在性问题，其核心对象是如下初值问题：

$$ \begin{cases} \partial_t u + u \cdot \nabla u + \nabla p = 0, \\ \mathrm{div}\, u = 0, \end{cases} \quad (x,t) \in \mathbb{R}^2 \times (0,\infty), $$

其中速度场 $u$ 和压力 $p$ 为未知量。引入标量涡度 $\omega = \mathrm{curl}\, u = \partial_1 u_2 - \partial_2 u_1$，则方程等价于输运方程

$$ \partial_t \omega + u \cdot \nabla \omega = 0, \quad u = K * \omega, \quad K(x) = \frac{1}{2\pi} \frac{x^\perp}{|x|^2}, $$

该结构消除了三维中关键的涡量拉伸项，是二维全局正则性的物理基础。经典理论（Wolibner–Hölder, Beale–Kato–Majda）保证：若初值 $\omega_0 \in L^1 \cap L^\infty(\mathbb{R}^2)$，则存在唯一全局经典解；Yudovich 进一步将唯一性推广至 $\omega_0 \in L^1 \cap \mathrm{BMO}$ 或某些临界 Besov 空间（Vishik），但对无界涡度（如 $L^{p}$ 型、$p<\infty$）的唯一性仍是未解难题。

本文聚焦于尺度不变结构：欧拉方程在族参数 $a \in (0,1)$ 下具有缩放不变性

$$ u(t,x) \mapsto \lambda^a u(\lambda x, \lambda^{1+a} t), \quad p(t,x) \mapsto \lambda^{2a} p(\lambda x, \lambda^{1+a} t), $$

由此定义前向自相似解：$u(t,x) = t^{-a/(1+a)} U(x/t^{1/(1+a)})$。代入原方程得相似变量下的稳态方程

$$ -\frac{1}{1+a} \left( a U + y \cdot \nabla U \right) + U \cdot \nabla U + \nabla P = 0, \quad \mathrm{div}\, U = 0, \quad y \in \mathbb{R}^2. $$

初始条件 $u(0,x) = u_0(x)$ 要求 $u_0$ 是 $(-a)$-齐次的，即 $u_0(x) = |x|^{-a} u_0(x/|x|)$ 且 $\mathrm{div}\, u_0 = 0$；相应地，涡度满足 $\omega_0(x) = |x|^{-1-a} \omega_0(x/|x|)$。因此，自相似问题本质是：给定一个光滑角分布 $u_0 \in C^1(S^1;\mathbb{R}^2)$，是否存在全局定义的剖面 $U$ 满足上述稳态方程，并在无穷远边界上匹配 $u_0$？

已有工作多受限于结构假设：Elling、Shao–Wei–Zhang 的螺旋解要求角依赖具高/低频旋转对称性；Choi–Coiculescu 的齐次稳态仅覆盖特殊对称情形；而 Radial power-law vortices 类构造则需角部分接近径向涡或满足径向主导条件。更重要的是，此前所有存在性结果均无法脱离小初值、符号控制（如非负涡度）、或有限总涡量（$\omega_0 \in L^1$）等强假设。例如，Delort 解要求涡度为同号 Radon 测度，DiPerna–Majda 需 $\omega_0 \in L^1 \cap L^p$（$p>1$），而 Yudovich 类要求 $\|\omega_0\|_{L^\infty} < \infty$。本文旨在填补这一空白：在 $\frac{1}{3} < a < 1$ 范围内，对任意 $C^1$、$(-a)$-齐次、无散度初值 $u_0$（不设小性、不设符号、不控 $L^1$ 总涡量），构造全局弱自相似解。该问题的重要性在于三重维度：(i) 它提供首个无需结构对称性假设的大初值自相似解，突破螺旋解的对称范式；(ii) 其自然适配的函数空间是临界 Lorentz 空间 $L^{p_c,\infty}$（$p_c = 2/(1+a)$），恰为涡度输运的尺度不变空间，构成对 Yudovich 类的真正临界推广；(iii) 此类大剖面是研究欧拉方程非唯一性的理想基态——Bressan–Shen 数值实验已暗示不同截断可生成不同自相似剖面，而本文构造为后续不稳定分析与分岔机制提供了严格数学基础。

2. 主要定理或主要结果

定理 1.2（主定理）：设 $\frac{1}{3} < a < 1$，$u_0 \in C^1(S^1; \mathbb{R}^2)$ 满足 $u_0(x) = |x|^{-a} u_0(x/|x|)$ 且 $\mathrm{div}\, u_0 = 0$。记 $p_c \triangleq \frac{2}{1+a}$，$q_c \triangleq \frac{2}{a}$，则存在散度自由剖面 $U$ 与压力 $P$，使得：

(a) $(U,P)$ 在分布意义下满足相似剖面方程

$$ -\frac{1}{1+a} \left( a U + y \cdot \nabla U \right) + U \cdot \nabla U + \nabla P = 0, \quad \mathrm{div}\, U = 0, $$

且满足关键函数空间嵌入：

$$ U \in L^{q_c,\infty}(\mathbb{R}^2), \quad \nabla U \in L^{p_c,\infty}(\mathbb{R}^2), \quad P \in L^{1/a,\infty}(\mathbb{R}^2). $$

(b) 定义自相似场：

$$ u(t,x) = t^{-a/(1+a)} U\left( \frac{x}{t^{1/(1+a)}} \right), \quad p(t,x) = t^{-2a/(1+a)} P\left( \frac{x}{t^{1/(1+a)}} \right), \quad \omega(t,x) = t^{-1} \Omega\left( \frac{x}{t^{1/(1+a)}} \right), $$

其中 $\Omega = \mathrm{curl}\, U$。则 $u$ 是二维欧拉方程的弱解（定义 1.1），满足：

$$ u \in C\big([0,\infty); L^2_{\mathrm{loc}}(\mathbb{R}^2)\big), \quad u(0) = u_0, $$
$$ \omega \in L^\infty\big((0,\infty); L^{p_c,\infty}(\mathbb{R}^2)\big), \quad \omega(t) \overset{*}{\rightharpoonup} \omega_0 \text{ in } L^{p_c,\infty}(\mathbb{R}^2) \text{ as } t \downarrow 0. $$

特别地，对任意 $1 < r < p_c$，有 $\omega(t) \rightharpoonup \omega_0$ 弱收敛于 $L^r_{\mathrm{loc}}(\mathbb{R}^2)$。推论 1.5 进一步指出：当 $\frac{1}{3} < a < \frac{1}{2}$ 时，$U\Omega \in L^1_{\mathrm{loc}}(\mathbb{R}^2)$，且剖面涡度满足分布意义下方程

$$ \left( U - \frac{y}{1+a} \right) \cdot \nabla \Omega = \Omega, $$

等价于物理涡度满足 $\partial_t \omega + u \cdot \nabla \omega = 0$。注记 1.3 明确指出端点 $a=1$ 不可行：此时 $p_c = 1$，导致弱-$L^1$ 估计失效，无法排除浓度测度，故本证明本质上是 $p_c > 1$ 的亚临界构造。

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

本文的核心技术障碍在于：直接处理欧拉自相似剖面方程缺乏耗散项，无法获得先验紧性；而标准粘性逼近（如 Navier–Stokes）会破坏尺度不变性，且其解在 $\epsilon \to 0$ 时缺乏一致估计。作者采用创新的“超耗散（hypodissipative）vanishing-dissipation limit”策略，即考虑分数阶耗散模型

$$ \epsilon \Lambda^{1+a} U_\epsilon - \frac{1}{1+a} \left( a U_\epsilon + y \cdot \nabla U_\epsilon \right) + U_\epsilon \cdot \nabla U_\epsilon + \nabla P_\epsilon = 0, \quad \mathrm{div}\, U_\epsilon = 0, $$

其中 $\Lambda = (-\Delta)^{1/2}$。关键突破在于发现：尽管速度剖面 $U_\epsilon$ 的 $L^{q_c,\infty}$ 估计随 $\epsilon \to 0$ 爆炸（因初值放大因子 $\epsilon^{-1}$），但其涡度 $\Omega_\epsilon = \mathrm{curl}\, U_\epsilon$ 却满足关于 $\epsilon$ 一致的临界 Lorentz 估计：

$$ \|\Omega_\epsilon\|_{L^{p_c,\infty}(\mathbb{R}^2)} \leq C, \quad p_c = \frac{2}{1+a}. $$

此估计源于涡度方程

$$ \epsilon \Lambda^{1+a} \Omega_\epsilon + \left( U_\epsilon - \frac{y}{1+a} \right) \cdot \nabla \Omega_\epsilon - \Omega_\epsilon = 0 $$

的精细能量测试。令伪速度 $\tilde{U}_\epsilon = U_\epsilon - y/(1+a)$，则 $\mathrm{div}\, \tilde{U}_\epsilon = -2/(1+a) = -p_c$。对截断函数 $(|\Omega_\epsilon| - k)_+$ 求导并测试，利用 $p_c$ 恰好匹配尺度不变性，导出分布函数的微分不等式，从而获得一致 $L^{p_c,\infty}$ 控制。这是全文真正的创新点：首次在非线性传输-耗散系统中，通过精确匹配齐次性与散度系数，实现临界 Lorentz 范数的一致先验界。

第二层关键技术是超耗散剖面的存在性与正则性（定理 2.1）。作者未沿用 Hou–Song 的扩张区域-消失粘性法，而是构造了全新的 Galerkin 方案：首先取齐次初值 $v_0$ 的分数阶热半群解 $V_0 = e^{-\Lambda^{1+a}} v_0$，利用 Oseen 核估计（引理 2.3）证明其满足 $|V_0(z)| \leq C \langle z \rangle^{-a}$ 及 $|\nabla V_0(z)| \leq C \langle z \rangle^{-a-1}$；其次用径向截断构造近似散度自由场 $V_1 = \nabla^\perp(\chi_R \psi_0)$，使其在无穷远处误差可控（$\|\nabla V_1\|_{L^\infty} \leq C R^{-1-a}$）；最后将剖面写为 $W = V_1 + Z$，将方程转化为关于扰动 $Z$ 的变分问题 $LZ + \mathcal{N}(Z) = F$，其中主算子 $L = \Lambda^{1+a} - \frac{a}{1+a} - \frac{1}{1+a} z \cdot \nabla$ 满足强制性 $\langle LZ, Z \rangle \gtrsim \|\Lambda^{(1+a)/2} Z\|_{L^2}^2$。通过选择足够大的截断半径 $R$，使非线性项被吸收，Brouwer 不动点定理给出一致有界的 Galerkin 解序列 $Z_N$，再由 Rellich 紧性（$a>0$）提取极限 $Z$。当 $a > 1/3$ 时，进一步利用 Duhamel 公式与分数阶热核平滑估计 $\|e^{-t \Lambda^{1+a}} f\|_{H^{r+\theta}} \leq C_\theta t^{-\theta/(1+a)} \|f\|_{H^r}$，结合 Sobolev 乘积律 $H^s \cdot H^s \subset H^{2s-1-\varepsilon}$（二维），证明 $U = W - V_0$ 光滑且具有最优衰减 $|U(z)| + \langle z \rangle |\nabla U(z)| \leq C \langle z \rangle^{-a}$ 及无对数修正的一阶导估计 $|\nabla U(z)| \leq C \langle z \rangle^{-1-2a}$（区别于 Hou–Song 的对数项）。最终，一致 $L^{p_c,\infty}$ 涡度界与紧性论证确保 $\Omega_\epsilon \overset{*}{\rightharpoonup} \Omega$ 在 $L^{p_c,\infty}$ 中，从而定义极限剖面 $U = K * \Omega$ 并验证其满足欧拉剖面方程。

4. 与之前工作的比较

本文与既有工作的比较可从四个维度展开：

1. 与螺旋解（spiral solutions）的比较：Elling [19,20]、Shao–Wei–Zhang [38] 及 Choi [9] 的构造均依赖于旋转对称性假设（高/低频旋转或无对称但隐含角频率控制），其角依赖必须接近某类特定模式（如 $e^{i m \theta}$）或满足径向主导条件（radial dominance），本质上是 perturbative 构造。本文完全摆脱此限制：对任意 $C^1$ 角分布 $u_0(\theta)$（如含多个不相容频率的叠加），只要满足 $(-a)$-齐次与无散度，即可构造解。这标志着从“对称驱动”到“纯齐次驱动”的范式转变。

2. 与耗散方程自相似解的比较：Albritton–Guillod–Korobkov–Ren [1] 与 Gui–Liu–Xie [25] 对二维 Navier–Stokes 构造了任意大 $(-1)$-齐次解，但其依赖于 Laplacian 耗散项提供的强紧性；Hou–Song [27] 对分数阶耗散 $\Lambda^{1+a}$ 方程的处理虽接近本文模型，但其估计依赖于初值放大，无法获得 $\epsilon$-一致性。本文首次将 hypodissipative 框架用于欧拉极限，并通过临界 Lorentz 空间 $L^{p_c,\infty}$ 实现了关键的一致控制，这是对 [27] 的根本性超越。

3. 与 Yudovich 类及弱解理论的比较：Yudovich 解要求 $\omega_0 \in L^\infty$，Delort 解要求 $\omega_0$ 为同号测度，而本文初值涡度 $\omega_0(x) = |x|^{-1-a} \omega_0(\theta)$ 属于 $L^{p_c,\infty}$（$p_c < 2$），远低于 $L^\infty$ 甚至 $L^2$，且无符号限制。函数空间 $L^{p_c,\infty}$ 恰为涡度输运方程 $\partial_t \omega + u \cdot \nabla \omega = 0$ 的尺度不变空间（因 $u \sim |x|^{-a}$，$\nabla u \in L^{p_c,\infty}$，故 $u \cdot \nabla \omega$ 在 $L^{p_c,\infty}$ 中可定义），本文因此推进了存在性理论至真正的临界正则性阈值，而非亚临界补丁。

4. 与非唯一性工作的比较：Jia–Šverák [31]、Guillod–Šverák [26] 及 Hou–Wang–Yang [28] 均基于 Navier–Stokes 自相似解的分岔提出非唯一性猜想，但其基态仍属耗散框架；Coiculescu–Palasek [11] 的多尺度构造虽针对欧拉，但需精细设计初值以触发不稳定性。本文贡献在于：它提供了首个严格数学构造的、任意大的、无结构假设的欧拉自相似基态，其存在本身即为非唯一性程序（如 Bressan–Shen 数值观察）提供了坚实的分析基础。代价在于：本文未证明非唯一性，亦未处理 $a \leq 1/3$ 或 $a=1$ 等端点情形（注记 1.3 明确说明 $a=1$ 时 $p_c=1$ 导致方法失效），且解的唯一性（即使在 $L^{p_c,\infty}$ 类中）仍未解决——这恰恰呼应了二维欧拉非唯一性的核心开放问题。

6. 外区域中 Navier 滑移流体-结构相互作用的正则性与衰减

Regularity and Decay for Navier-Slip Fluid-Structure Interaction in Exterior Domains

作者: Buma Jin Jin

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19736v1

摘要翻译: 我们在 Navier 滑移边界条件（含摩擦）下，研究一个球形刚体浸没于占据全空间的不可压粘性流体中的线性化运动。尽管在无滑移情形下，半群正则性与衰减估计已得到充分理解，但在滑移情形下，此类结果迄今仅限于有界区域。我们通过利用球体的几何正则性，建立了相应流体-结构算子的强 $L^q$-正则性、有界解析性以及尖锐的 $ L^q-L^r$ 估计。这些结果将为构造相应非线性系统的强 $W^{2,1}_q$ 解与 Kato 型解奠定基础。

Comment: 无

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

1. 研究对象和背景

本文研究三维全空间 $\mathbb{R}^3$ 中一个球形刚体 $B \subset \mathbb{R}^3$ 浸没于不可压缩粘性流体内的线性化运动，流体占据外区域 $\Omega := \mathbb{R}^3 \setminus B$。设流体速度场为 $v(x,t) : \Omega \times (0,\infty) \to \mathbb{R}^3$，压力为 $\pi(x,t)$，刚体质心位置为 $h(t) \in \mathbb{R}^3$，平动速度为 $\ell(t) = \dot{h}(t)$，角速度为 $\omega(t)$。在固定参考构型下（即令 $h(t) \equiv 0$），系统满足线性化方程组（1.8）：

$$ \begin{cases} \partial_t v - \mu \Delta v + \nabla \pi = f_0 & \text{in } \Omega \times (0,\infty), \\ \operatorname{div} v = 0 & \text{in } \Omega \times (0,\infty), \\ m \dot{\ell}(t) = -\int_{\partial \Omega} S(v,\pi) n \, dS_x + m f_1, \\ J_0 \dot{\omega}(t) = -\int_{\partial \Omega} x \times S(v,\pi) n \, dS_x + J_0 f_2, \end{cases} $$

其中 $S(v,\pi) = 2\mu D(v) - \pi I_3$ 为柯西应力张量，$D(v) = \frac{1}{2}(\nabla v + (\nabla v)^\top)$ 为应变率张量，$m > 0$ 为刚体总质量，$J_0$ 为其常数惯性张量（对球体有 $J_0 = |J| I_3$，故无陀螺力矩项）。边界条件为 Navier 滑移条件（C2）：

$$ \begin{cases} (v - \ell - \omega \times x) \cdot n = 0, \\ 2\mu [D(v)n]_\tau + \alpha [v - \ell - \omega \times x]_\tau = 0 \quad \text{on } \partial \Omega \times (0,\infty), \end{cases} $$

其中 $n$ 为 $\partial \Omega$ 外法向单位向量，$[\cdot]_\tau$ 表示切向分量，$\alpha > 0$ 为摩擦系数；远场条件为 $v(x,t) \to 0$ 当 $|x| \to \infty$（C3）。该模型本质上是将刚体速度 $\ell + \omega \times x$ 视为流体在边界上的“滑移速度”，其切向应力与相对切向滑移速度成正比。

该问题的核心数学对象是流体-刚体耦合算子 $A_{\alpha,q}$，定义于 Banach 空间 $X_q := \{(v,\ell,\omega) \in L^q_\sigma(\Omega) \times \mathbb{R}^3 \times \mathbb{R}^3 : v \cdot n = (\ell + \omega \times x) \cdot n \text{ on } \partial \Omega\}$ 上，其范数为 $\|(v,\ell,\omega)\|_{X_q} = \|v\|_{L^q(\Omega)} + m^{1/q} |\ell| + |J_0|^{1/q} |\omega|$。算子 $A_{\alpha,q}$ 是由 Helmholtz 投影 $P_q$ 作用于扩展算子 $A$ 得到：对 $\phi \in C^2_0(\mathbb{R}^3)$，

$$ A\phi(x) = \begin{cases} -\mu \Delta \phi(x), & x \in \Omega, \\ 2\mu m^{-1} \int_{\partial \Omega} D(\phi) n \, dS_y + 2\mu \left(J_0^{-1} \int_{\partial \Omega} y \times D(\phi) n \, dS_y\right) \times x, & x \in B. \end{cases} $$

其定义域为 $D(A_{\alpha,q}) = \{ u \in \tilde{X}_q : v_u \in W^{2,q}(\Omega),\; 2\mu [D(v_u)n]_\tau + \alpha [v_u - \ell_u - \omega_u \times x]_\tau = 0 \text{ on } \partial \Omega \}$，其中 $\tilde{X}_q = \{ u \in L^q_\sigma(\mathbb{R}^3) : D(u) = 0 \text{ in } B \}$，且 $u \simeq (v_u, \ell_u, \omega_u)$。该算子生成的半群称为 Navier 滑移流体-刚体半群。

在无滑移（Dirichlet）情形下，该算子在有界及外区域上均已建立完备的解析半群理论、最大 $L^q$ 正则性及 $L^q$-$L^r$ 衰减估计（见 [17,32,42,46,26]）。然而，在 Navier 滑移条件下，现有结果几乎全部局限于有界流体区域 $O \setminus B$（如文献 [3]），其关键依赖于有界域上紧嵌入与谱理论的稳定性。而在外区域 $\mathbb{R}^3 \setminus B$ 中，由于缺乏紧性、低频行为主导、以及非局部耦合（刚体运动通过边界积分影响全场），Navier 滑移算子的谱结构、解析性与衰减性均未被系统刻画。尤其困难在于：(i) 滑移边界破坏了经典的 Korn 不等式，需构造带摩擦项的新型 Korn 型不等式（Lemma 4.3）；(ii) 外区域导致 $L^2$ 自伴性无法直接推广至 $L^q$，且标准 Calderón–Zygmund 理论因非光滑边界（虽 $\partial \Omega$ 光滑但非凸）与耦合边界条件而失效；(iii) 刚体自由度引入非局部算子，使得传统势论方法难以适用。因此，本文旨在填补这一空白：首次在外区域中，对球形刚体这一具有高度对称性的几何设定，建立 Navier 滑移流体-刚体算子的强 $L^q$ 正则性、有界解析性及尖锐 $L^q$-$L^r$ 衰减估计，为后续非线性系统的强解（$W^{2,1}_q$ 解）与 Kato 型解的存在性奠定基础。

2. 主要定理或主要结果

本文在 $\Omega = \mathbb{R}^3 \setminus B$（$B$ 为单位球）上，对 Navier 滑移流体-刚体线性系统（1.8）建立了以下严格结论：

（1）最大 $L^q$ 正则性（Theorem 2.3）：对任意 $1 < q < \infty$ 及 $0 < T < \infty$，若初始数据 $(v_0, \ell_0, \omega_0) \in W^{2-2/q,q}(\Omega) \times \mathbb{R}^3 \times \mathbb{R}^3$ 满足相容性条件（Definition 2.1），且外力 $(f_0,f_1,f_2) \in L^q(\Omega \times (0,T)) \times L^q(0,T) \times L^q(0,T)$，则存在唯一强解 $(v,\pi,\ell,\omega)$ 满足

$$ |\nabla^2 v|{L^q(\Omega \times (0,T))} + |\partial_t v|{L^q(\Omega \times (0,T))} + |v|_{L^\infty(0,T; W^{2-2/q,q}(\Omega))} \

  • |\nabla \pi|{L^q(\Omega \times (0,T))} + |\ell|{W^{1,q}(0,T)} + |\omega|{W^{1,q}(0,T)} \ \le c(T) \left( |v_0|{W^{2-2/q,q}(\Omega)} + |\ell_0| + |\omega_0| + |f_0|{L^q} + |f_1|{L^q} + |f_2|_{L^q} \right). $$

特别地，当 $1 < q < 3/2$ 时，常数 $c(T)$ 可取为与 $T$ 无关的绝对常数。

（2）有界解析半群（Theorem 2.4）：流体-刚体算子 $A_{\alpha,q}$ 在子空间 $X_q$ 上生成有界解析半群 $e^{-t A_{\alpha,q}}$，即存在 $\theta \in (\pi/2, \pi)$ 和 $M > 0$，使得谱集 $\sigma(A_{\alpha,q}) \subset \Sigma_\theta := \{ z \in \mathbb{C} \setminus \{0\} : |\arg z| < \theta \}$，且对所有 $z \in \Sigma_\theta$，

$$ \|z (z I - A_{\alpha,q})^{-1}\|_{\mathcal{L}(X_q)} \le M. $$

（3）一致有界性与时间衰减（Theorem 2.4 推论）：当 $(f_0,f_1,f_2) = 0$ 且 $(v_0,\ell_0,\omega_0) \in X_q$ 满足相容性条件时，

$$ \|v(t)\|_{L^q(\Omega)} + |\ell(t)| + |\omega(t)| \le c \left( \|v_0\|_{L^q(\Omega)} + |\ell_0| + |\omega_0| \right), $$
$$ \|\partial_t v(t)\|_{L^q(\Omega)} + |\dot{\ell}(t)| + |\dot{\omega}(t)| \le c t^{-1} \left( \|v_0\|_{L^q(\Omega)} + |\ell_0| + |\omega_0| \right), \quad \forall t > 0. $$

（4）尖锐 $L^q$-$L^r$ 衰减估计（Theorem 2.5）：对 $1 < r \le q < \infty$，设 $\|(v_0,\ell_0,\omega_0)\|_{X_r} := \|v_0\|_{L^r(\Omega)} + m^{1/r} |\ell_0| + |J_0|^{1/r} |\omega_0|$，则当 $(f_0,f_1,f_2) = 0$ 时，

$$ \|v(t)\|_{L^q(\Omega)} + t \|\partial_t v(t)\|_{L^q(\Omega)} \le c t^{-\frac{3}{2}(\frac{1}{r} - \frac{1}{q})} \|(v_0,\ell_0,\omega_0)\|_{X_r}, $$
$$ |\ell(t)| + |\omega(t)| + t |\dot{\ell}(t)| + t |\dot{\omega}(t)| \le c(m) (1+t)^{-\frac{1}{2} - \frac{3}{2}(\frac{1}{r} - \frac{1}{m})} \|(v_0,\ell_0,\omega_0)\|_{X_r}, $$

其中 $m$ 可任意大。短时估计（$t \le 1$）：

$$ t \|D_x^2 v(t)\|_{L^q(\Omega)} + t \|\nabla \pi\|_{L^q} + t^{1/2} \|\nabla v(t)\|_{L^q(\Omega)} \le c t^{-\frac{3}{2}(\frac{1}{r} - \frac{1}{q})} \|(v_0,\ell_0,\omega_0)\|_{X_r}. $$

长时估计（$t \ge 1$）：

$$ \|\nabla v(t)\|_{L^q(\Omega)} \le c(m) \left( t^{-\frac{1}{2} - \frac{3}{2}(\frac{1}{r} - \frac{1}{q})} + t^{-\frac{3}{2r} + \frac{2}{2m}} \right) \|(v_0,\ell_0,\omega_0)\|_{X_r}, $$
$$ \|D_x^2 v(t)\|_{L^q(\Omega)} + \|\nabla \pi\|_{L^q} \le c(m) \left( t^{-1 - \frac{3}{2}(\frac{1}{r} - \frac{1}{q})} + t^{-\frac{3}{2r} + \frac{2}{2m}} \right) \|(v_0,\ell_0,\omega_0)\|_{X_r}. $$

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

本文证明的核心障碍在于：外区域中 Navier 滑移边界条件破坏了经典 Korn 不等式，且刚体自由度与流体场通过非局部边界积分强耦合，导致标准半群理论与 Calderón–Zygmund 方法失效。作者的真正创新点在于构建了一个基于几何对称性（球形）与函数空间重构的三层次分析框架：

第一层次：$L^2$ 自伴性与 Hilbert 空间结构（Section 5）。作者首先在 $X_2$ 上证明流体-刚体算子 $A_{\alpha,2}$ 是自伴的（Lemma 5.1）。关键在于将整个系统嵌入 $L^2(\mathbb{R}^3)$ 并利用 Helmholtz–Weyl 分解 $L^2(\mathbb{R}^3) = \tilde{X}_2 \oplus G^2_1 \oplus G^2_2$（Proposition 3.1），其中 $\tilde{X}_2$ 是刚体不可压缩流的全局表示空间。在此框架下，算子 $A$ 的对称性通过分部积分与边界条件（1.4）精确抵消非对称项得以验证：对 $u, \phi \in D(A_{\alpha,2})$，

$$ \langle A_{\alpha,2} u, \phi \rangle_{X_2} = \mu \int_\Omega |\nabla v_u|^2 dx + \mu \alpha \int_{\partial \Omega} |[v_u - \ell_u - \omega_u \times x]_\tau|^2 dS + \text{刚体动能项}, $$

该恒等式不仅确立了 $A_{\alpha,2}$ 的正定性与自伴性，更导出关键的 $L^2$ 能量恒等式（5.2），为后续 $L^q$ 估计提供基石。

第二层次：$L^q$ 最大正则性的局部化构造（Section 6）。对 $1 < q < \infty$，作者摒弃直接估计，采用“局部-全局拼接”策略（Lemma 6.1）：将 $\mathbb{R}^3$ 分解为内区 $B_{2R_0}$（含刚体）与外区 $\mathbb{R}^3 \setminus B_{R_0}$，在内区使用文献 [3] 对有界域 $B_{2R_0} \setminus B$ 的已知 $L^q$ 估计，在外区使用全空间 Stokes 算子的 Calderón–Zygmund 理论。难点在于构造光滑截断函数 $\eta$ 并控制交叉项 $[\eta, A_{\alpha,q}]$，其 $L^q$ 范数被证明可被主部吸收。由此导出先验估计 $\|v\|_{W^{2,q}} + \|\partial_t v\|_{L^q} \le c \|f_0\|_{L^q} + \text{低阶项}$，再结合密度论证与抽象半群理论得到最大 $L^q$ 正则性（Theorem 2.3）。

第三层次：解析性与衰减性的统一推导（Sections 7–8）。为证有界解析性（Theorem 2.4），作者不依赖复插值，而是通过“锚点插值”：由 $L^2$ 自伴性得 $q=2$ 时算子是 sectorial 的；由 $q < 3/2$ 时 $c(T)$ 与 $T$ 无关的最大正则性，结合标准泛函分析（见 [15, Theorem 1.15]），推出该范围内 sectorial 性；再通过实插值覆盖 $3/2 \le q < 2$，最后用对偶性延拓至 $q > 2$。衰减估计（Theorem 2.5）的关键工具是新构造的 Korn 型不等式（Lemma 4.3）：

$$ \|\nabla v\|_{L^2(\Omega)}^2 \le c \left( \int_\Omega |D(v)|^2 dx + \alpha \int_{\partial \Omega} |[v - \ell - \omega \times x]_\tau|^2 dS \right), $$

它将滑移摩擦项 $\alpha$ 作为控制低频模态的正则化参数。结合 Gagliardo–Nirenberg 不等式与 Gronwall 引理（8.12），作者闭合了能量估计（8.11），从而将 $L^2$ 衰减 $t^{-3/2(1/r-1/2)}$ 推广至全范围 $1 < r < 2$，再由半群性质延拓至 $1 < r \le q < \infty$。

4. 与之前工作的比较

本文与既有工作存在本质差异，主要体现在几何设定、技术路径与结果强度三个维度：

几何设定维度：此前所有关于 Navier 滑移流体-刚体的严格分析（如 [3,9,21,45]）均限定于有界流体容器 $O \setminus B$（$O$ 为有界区域）。此类设定天然具备紧嵌入 $W^{1,q}(O \setminus B) \hookrightarrow L^q(O \setminus B)$ 与谱离散性，使得 resolvent 估计、解析半群生成及指数稳定性（[3, Theorem 4.7]）可直接应用标准算子理论。而本文首次处理无界外区域 $\mathbb{R}^3 \setminus B$，其连续谱占据主导，迫使作者放弃谱分解，转而依赖精细的积分估计与几何对称性（球形）来补偿缺失的紧性。

技术路径维度：在有界域工作中（如 [3]），最大 $L^q$ 正则性依赖于 $L^q$-resolvent 估计的直接验证，其核心是构造 Green 函数并控制其奇异性。本文则完全规避 Green 函数，代之以局部化拼接法（Section 6）：将外区域问题分解为有界子问题（借用 [3] 结果）与全空间问题（借用 Stokes 理论），再通过截断与交换子估计缝合。这一策略的代价是要求刚体为球形——仅当 $\partial \Omega$ 为球面时，内外区交界处的几何误差才可控；对一般凸刚体，该方法失效。此外，本文的 Korn 型不等式（Lemma 4.3）是专为 Navier 滑移摩擦设计的，而 [3] 中对应的不等式依赖于有界域的 Poincaré 型估计，无法移植。

结果强度维度：本文结果在多个方面超越前人：(i) 时间尺度：[3] 中的 $L^q$-maximal regularity 常数 $c(T)$ 依赖于 $T$（因指数稳定性），而本文在 $q < 3/2$ 时获得一致有界常数（Theorem 2.3），这是外区域低频控制的关键突破；(ii) 衰减阶：[3] 仅给出指数衰减（因有界域谱隙），而本文给出代数衰减 $t^{-\frac{3}{2}(1/r-1/q)}$，与 Stokes 半群的最优衰减一致，且明确区分短时与长时行为（Theorem 2.5）；(iii) 适用范围：本文结果覆盖全范围 $1 < q < \infty$，而 [3] 的 $L^q$ 理论要求 $q$ 接近 2（因 resolvent 估计依赖于 $L^2$-based perturbation）。代价在于：本文目前仅适用于球形刚体，且 $q = \infty$ 情形被明确排除（Section 1 尾注）；而 [3] 的有界域框架原则上可推广至任意 $C^\infty$ 刚体。综上，本文并非 [3] 的简单外区域推广，而是针对外区域本质困难（低频、非紧、非局部）所发展的全新分析范式。

7. 上半空间中三维可压MHD方程在垂直磁扩散系数趋于零时的整体一致正则性与大时间行为

Global uniform regularity and large time behavior of solutions to three dimensional compressible MHD equations with vanishing vertical magnetic resistivity in half space

作者: Song Gao, Jiahong Wu, Feng Xie

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19710v1

摘要翻译: 本文旨在建立上半空间中三维可压磁流体动力学（MHD）方程在垂直磁扩散系数趋于零时、速度满足无滑移边界条件且磁场满足理想导体边界条件下的整体正则性与大时间行为。通过运用各向异性Sobolev不等式及精细估计，我们获得了关于解的整体一致正则性估计，该估计对小的垂直磁扩散系数 $\varepsilon$ 是一致的。这些一致的整体正则性估计使得我们能够取极限 $\varepsilon \to 0$，并得到解在整体时间区间上收敛于对应不含垂直磁扩散项的MHD系统。此外，基于对相关线性化算子在上半空间中生成的半群的细致分析以及所获得的一致能量估计，我们还导出了原系统解的 $H^{1}\left(\mathbb{R}_{+}^{3}\right)$ 衰减率。与Gao和Xie \cite{JDE} 对极限系统所得衰减估计相比，本文的衰减率更慢，其根源在于缺乏高阶法向导数估计——这是由于边界层现象所致。最后，我们将上述正则性与衰减结果相结合，严格证明了垂直磁扩散系数趋于零过程的显式时间一致 $L^2$ 收敛速率，其阶为 $\varepsilon^{\frac{1}{4}}$。

Comment: 无

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

1. 研究对象和背景

本文研究上半空间 $\mathbb{R}^3_+ = \{(x_1,x_2,x_3) \in \mathbb{R}^2 \times \mathbb{R}_+\}$ 中带 vanishing 垂直磁扩散系数 $\varepsilon > 0$ 的三维可压缩磁流体（MHD）方程组的初边值问题。该模型描述电导流体（如等离子体、液态金属）在磁场作用下的运动，其核心物理机制包含可压缩性、粘性耗散与各向异性磁扩散。所研究的方程组（1.1）为：

$$ \begin{cases} \partial_t \rho^\varepsilon + \mathrm{div}(\rho^\varepsilon v^\varepsilon) = 0, \\ \rho^\varepsilon (\partial_t v^\varepsilon + v^\varepsilon \cdot \nabla v^\varepsilon) - \mu \Delta v^\varepsilon - (\mu + \lambda) \nabla \mathrm{div}\, v^\varepsilon + \nabla P(\rho^\varepsilon) = (\nabla \times B^\varepsilon) \times B^\varepsilon, \\ \partial_t B^\varepsilon - (\Delta_h + \varepsilon \partial_3^2) B^\varepsilon + v^\varepsilon \cdot \nabla B^\varepsilon + B^\varepsilon \, \mathrm{div}\, v^\varepsilon = B^\varepsilon \cdot \nabla v^\varepsilon, \\ \mathrm{div}\, B^\varepsilon = 0, \end{cases} $$

其中 $\rho^\varepsilon > 0$, $v^\varepsilon \in \mathbb{R}^3$, $B^\varepsilon \in \mathbb{R}^3$ 分别为密度、速度与磁场；$P = P(\rho^\varepsilon)$ 为满足 $P'(\tilde{\rho}) = 1$, $P'(\rho^\varepsilon) > 0$ 的光滑压强函数；$\mu > 0$, $2\mu + 3\lambda \geq 0$ 为黏性系数；$\Delta_h = \partial_1^2 + \partial_2^2$ 为水平拉普拉斯算子。边界条件为无滑移速度条件与理想导体磁场条件：

$$ (v^\varepsilon, \partial_3 B^\varepsilon_h)|_{x_3 = 0} = 0, \quad B^\varepsilon_3|_{x_3 = 0} = 0. $$

初始数据满足相容性条件，并被设为围绕平衡态 $(\tilde{\rho}, 0, 0)$ 的小扰动：令 $a^\varepsilon = \rho^\varepsilon - 1$，则扰动系统（1.6）为：

$$ \begin{cases} \partial_t a^\varepsilon + \mathrm{div}\, v^\varepsilon = f^\varepsilon_1, \\ \partial_t v^\varepsilon - \mu \Delta v^\varepsilon - (\mu + \lambda) \nabla \mathrm{div}\, v^\varepsilon + \nabla a^\varepsilon = f^\varepsilon_2, \\ \partial_t B^\varepsilon - (\Delta_h + \varepsilon \partial_3^2) B^\varepsilon = f^\varepsilon_3, \\ \mathrm{div}\, B^\varepsilon = 0, \end{cases} $$

其中非线性项 $f^\varepsilon_i$ 显式依赖于 $a^\varepsilon$, $v^\varepsilon$, $B^\varepsilon$ 及其导数（见原文（1.6）后定义）。当 $\varepsilon \to 0^+$ 时，形式极限为退化系统（1.4）——仅具水平磁扩散 $-\Delta_h B^0$ 的 MHD 方程。该极限系统缺乏垂直方向的磁耗散，导致标准能量方法失效：经典 Sobolev 范数无法控制 $\partial_3 B^0$，且边界层结构破坏正则性传递。已有工作（如 Gao–Xie [12]）在 $\varepsilon = 0$ 下建立了极限系统的全局适定性与 $H^s$ 衰减率，但未处理 $\varepsilon > 0$ 小参数情形下的 uniform 控制；而 vanishing viscosity/resistivity 极限的全局时间一致性仍是流体力学核心开放问题之一。本文旨在填补三重空白：（i）在半空间含边界的框架下，对 $\varepsilon$-依赖系统建立不依赖 $\varepsilon$ 的全局一致正则性估计；（ii）在存在弱边界层的前提下，获得原始系统解的大时间 $H^1$ 衰减率；（iii）基于前两者，严格量化 $\varepsilon \to 0$ 极限过程的显式 $L^2$ 收敛速率，从而为各向异性扩散消失提供严格的渐近分析基础。

2. 主要定理或主要结果

本文共证明三个主定理，全部建立在小初值与相容性条件基础上。

Theorem 1.1（全局一致正则性）：对任意整数 $m \geq 4$，若初值 $(a_0, v_0, B_0) \in H^m_{\mathrm{co}}(\mathbb{R}^3_+)$，$\partial_3(a_0, v_0, B_0) \in H^{m-1}_{\mathrm{co}}(\mathbb{R}^3_+)$，$\partial_3^2(v_0, \varepsilon B_0) \in H^{m-2}_{\mathrm{co}}(\mathbb{R}^3_+)$ 满足相容性条件，且存在 $\delta_0 > 0$ 使得

$$ \|(a_0, v_0, B_0)\|_m + \|\partial_3(a_0, v_0, B_0)\|_{m-1} + \|\partial_3^2(v_0, \varepsilon B_0)\|_{m-2} \leq \delta_0, $$

则系统（1.6）存在唯一全局解 $(a^\varepsilon, v^\varepsilon, B^\varepsilon)$，并满足 uniform 能量估计：

$$ E^\varepsilon_m(t) + D^\varepsilon_m(t) \lesssim \delta_0, \quad \forall t > 0, $$

其中能量泛函 $E^\varepsilon_m(t)$ 包含 $\sup_{0 \leq \tau \leq t} \|(a^\varepsilon, v^\varepsilon, B^\varepsilon)(\tau)\|_m$、$\sup_{0 \leq \tau \leq t} \|\partial_3(a^\varepsilon, v^\varepsilon, B^\varepsilon)(\tau)\|_{m-1}$、$\sup_{0 \leq \tau \leq t} \|\partial_3^2(v^\varepsilon, \varepsilon B^\varepsilon)(\tau)\|_{m-2}$ 及时间导数项；耗散泛函 $D^\varepsilon_m(t)$ 包含 $\int_0^t \big( \|\partial a^\varepsilon\|^2_{m-1} + \|(\partial v^\varepsilon, \partial_h B^\varepsilon)\|^2_m + \|\partial_3(\partial v^\varepsilon, \partial_h B^\varepsilon)\|^2_{m-1} + \varepsilon \|\partial_3 B^\varepsilon\|^2_m + \varepsilon \|\partial_3^2 B^\varepsilon\|^2_{m-1} \big) d\tau$ 的平方根。进一步，该估计允许取极限 $\varepsilon \to 0$，得到 $(a^\varepsilon, v^\varepsilon, B^\varepsilon) \to (a^0, v^0, B^0)$ 在 $L^\infty(0,t; H^{m-1}_{\mathrm{co,loc}}(\mathbb{R}^3_+))$ 中强收敛。

Theorem 1.5（原始系统衰减率）：对任意整数 $m \geq 6$，若初值还满足 $(a_0, m_0) \in L^1(\mathbb{R}^3_+)$，$(B_0, \partial_3 B_0) \in L^1_{x_1 x_2} L^2_{x_3}(\mathbb{R}^3_+)$ 及更小的 $\delta_1$-约束（1.12），则解 $u^\varepsilon = (a^\varepsilon, m^\varepsilon)$ 与 $B^\varepsilon$ 满足：

$$ \|u^\varepsilon(t)\|_{H^1} = O(t^{-3/4}), \quad \|B^\varepsilon(t)\|_{L^2} = O(t^{-1/2}), \quad \|\partial_h B^\varepsilon(t)\|_{L^2} = O(t^{-1}), \quad \|\partial_3 B^\varepsilon(t)\|_{L^2} = O(t^{-1/2 + \delta_2}), $$

其中 $\delta_2 \in (0, 1/32)$ 为任意小常数；若 $\int_{\mathbb{R}^3_+} a_0 \, dx \neq 0$，则下界成立：$\|u^\varepsilon(t)\|_{L^2} \gtrsim t^{-3/4}$。

Theorem 1.11（收敛速率）：对 $m \geq 6$, $s \geq 3$，若初值属于 $H^m_{\mathrm{co}} \cap H^s$ 并满足联合小性条件（1.14），则存在与 $\varepsilon$, $t$ 无关的常数 $C > 0$，使得

$$ \sup_{0 \leq \tau \leq t} \| (\rho^\varepsilon - \rho^0, v^\varepsilon - v^0, B^\varepsilon - B^0)(\tau) \|_{L^2(\mathbb{R}^3_+)} \leq C \varepsilon^{1/4}, \quad \forall t > 0. $$

该速率是 time-uniform 的，且由 Remark 1.12 可进一步提升至 $L^\infty$：$\sup_{0 \leq \tau \leq t} \|\cdots\|_{L^\infty} \leq C \varepsilon^{1/32}$。

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

证明的核心障碍源于三重耦合效应：（1）$\varepsilon \partial_3^2$ 项在 $\varepsilon \to 0$ 时退化，导致垂直方向正则性缺失；（2）半空间边界诱导弱边界层，破坏高阶法向导数的一致控制；（3）Lorentz 力 $(\nabla \times B^\varepsilon) \times B^\varepsilon$ 在 $\partial_3 B^\varepsilon$ 缺失时无法用标准 Sobolev 乘子估计控制。

创新点一：构造 conormal Sobolev 空间框架以规避边界层破坏。作者摒弃经典 $H^m$ 空间，转而采用由切向向量场 $Z_k = \partial_k$ ($k=1,2$) 与法向加权向量场 $Z_3 = \phi(x_3) \partial_3$（取 $\phi(x_3) = x_3/(x_3+1)$）生成的 conormal 空间 $H^m_{\mathrm{co}}$。该空间天然适配边界条件：$Z_3$ 在 $x_3 = 0$ 处 vanish，故 $Z^\alpha f$ 自动继承边界零值；同时 $\phi(x_3)$ 的线性零点保证 $\|Z_3 f\|_{L^2} \sim \|x_3 \partial_3 f\|_{L^2}$，通过 Hardy 不等式 $\|x_3^{-1} g\|_{L^2} \lesssim \|\partial_3 g\|_{L^2}$ 将法向导数转化为可控权重积分。此框架使作者能将 $\partial_3^2(v^\varepsilon, \varepsilon B^\varepsilon)$ 的估计纳入能量泛函，而无需估计 $\partial_3^2 B^\varepsilon$（后者在 $\varepsilon \to 0$ 时发散）。

创新点二：对磁扩散项实施各向异性分解与精细插值。针对 $\partial_t B^\varepsilon - (\Delta_h + \varepsilon \partial_3^2) B^\varepsilon$，作者将 $B^\varepsilon$ 拆分为水平分量 $B^\varepsilon_h$ 与法向分量 $B^\varepsilon_3$，分别对应 Neumann 与 Dirichlet 边界条件。利用半空间热方程基本解的显式表达式，结合 Young 卷积不等式与各向异性范数 $\|\cdot\|_{L^{p_1}_{x_1} L^{p_2}_{x_2} L^2_{x_3}}$，导出关键衰减估计（1.17）：

$$ \|\partial_h^k B(t) B_0\|_{L^2} \lesssim t^{-\left( k/2 + \frac{1}{2} \sum_{i=1}^2 (1/p_i - 1/2) \right)} \|B_0\|_{L^{p_1}_{x_1} L^{p_2}_{x_2} L^2_{x_3}}, $$

该形式避免了（1.16）中出现的 $\varepsilon t$ 因子，确保衰减率独立于 $\varepsilon$。此技巧是获得 $\partial_3 B^\varepsilon$ 的 $O(t^{-1/2+\delta_2})$ 衰减的关键。

创新点三：非线性项的最优导数分配策略。对 Lorentz 力相关非线性项 $f^\varepsilon_2$ 中的 $B^\varepsilon \cdot \nabla B^\varepsilon$，作者不直接估计 $\|B^\varepsilon \cdot \nabla B^\varepsilon\|_{H^{m-1}}$，而是利用 anisotropic Sobolev 不等式（引理 A.5）：

$$ \|fg\|_{L^2} \lesssim \|f\|_{L^2_{x_3} L^\infty_{x_1 x_2}} \|g\|_{L^\infty_{x_3} L^2_{x_1 x_2}} \lesssim \|f\|_{H^1_{\mathrm{co}}} \|g\|_{H^1_{\mathrm{co}}}, $$

将水平高阶导数与法向低阶导数组合，实现 $\partial_h B^\varepsilon$ 与 $\partial_3 B^\varepsilon$ 的最优分配，从而闭合能量估计。同样，对 $\partial_3$ 导数受限的项（如 $\partial_3 a^\varepsilon \partial_3 v^\varepsilon$），作者借助边界条件 $v^\varepsilon|_{x_3=0}=0$ 及 commutator 估计 $[Z^\alpha, \partial_3]$ 控制其增长。

创新点四：统一处理能量与衰减的 bootstrap 闭环。全文采用两层 bootstrap：第一层用 $E^\varepsilon_m(t)$ 控制非线性源项，建立 $E^\varepsilon_m(t) \leq C \delta_0 + C E^\varepsilon_m(t)^2$，由小初值得到 $E^\varepsilon_m(t) \lesssim \delta_0$；第二层将 uniform 估计代入线性化算子半群分析，结合 Duhamel 原理与非线性项的 $L^1$-$L^2$ 估计，完成衰减率证明。最终，Theorem 1.11 的 $\varepsilon^{1/4}$ 速率由能量差 $\|(a^\varepsilon - a^0, v^\varepsilon - v^0, B^\varepsilon - B^0)\|_{L^2}$ 的微分不等式与 $\varepsilon$-尺度耗散项 $\varepsilon \|\partial_3 B^\varepsilon\|_{L^2}^2$ 的积分贡献共同决定。

4. 与之前工作的比较

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

1. 与 Gao–Xie [12] 的极限系统比较：[12] 针对 $\varepsilon = 0$ 的退化系统（1.4）建立了 $H^s$ 全局适定性（Theorem 1.8）与衰减率（Theorem 1.9）：$\|u^0(t)\|_{L^2} = O(t^{-3/4})$，$\|B^0(t)\|_{L^2} = O(t^{-1/2})$，$\|\partial_3 B^0(t)\|_{L^2} = O(t^{-1/2})$。本文的原始系统（$\varepsilon > 0$）衰减率（Theorem 1.5）显示：$\|\partial_3 B^\varepsilon(t)\|_{L^2} = O(t^{-1/2 + \delta_2})$ 严格慢于 $\|\partial_3 B^0(t)\|_{L^2}$，且 $\|\partial u^\varepsilon(t)\|_{L^2} = O(t^{-3/4})$ 比 [12] 中 $\|\partial u^0(t)\|_{L^2} = O(t^{-1})$ 更慢。这一退化直接归因于边界层：uniform 估计（1.11）中仅含 $\|\partial_3^2(v^\varepsilon, \varepsilon B^\varepsilon)\|_{m-2}$，缺失 $\|\partial_3^2 B^\varepsilon\|_{L^2}$ 控制，导致 $\partial_3 B^\varepsilon$ 的正则性损失，进而拖慢整体衰减。文中明确指出：“the present decay estimate exhibits a slower rate, attributable to the absence of higher-order normal derivative estimates, which results from the occurrence of boundary layers”。

2. 与 vanishing viscosity limit 工作（如 Wang–Xin–Yong [34], Cui–Li–Xie [5,6]）比较：这些工作处理的是 Navier–Stokes 或 MHD 的黏性消失极限，其 uniform 估计均局限于局部时间。本文首次在全局时间尺度上建立 $\varepsilon$-uniform 正则性，关键突破在于 conormal 空间框架与各向异性估计的结合，克服了边界层导致的长时间累积效应。文中强调：“all of these results hold locally in time… the global-in-time vanishing viscosity limit […] remains one of the central open problems”，而本文为该开放问题提供了首个半空间 MHD 场景下的全局解。

3. 与 Wu–Zhai [40] 等非电阻 MHD 工作比较：Wu–Zhai [40] 研究 $\mathbb{R}^3$ 上仅具水平磁扩散的 Cauchy 问题，利用 Fourier 方法获得 $\|B^0(t)\|_{L^2} = O(t^{-1/2})$。本文在半空间有界域中处理相同极限方程，但必须放弃 Fourier 变换，转而发展半空间线性算子半群的各向异性 $L^p$-估计（Section 3.1），其技术难度远高于全空间情形。此外，[40] 未涉及 $\varepsilon > 0$ 的逼近序列及其收敛速率，而本文 Theorem 1.11 首次给出 $\varepsilon^{1/4}$ 的显式收敛阶，揭示了边界层对极限过程的定量影响。

4. 与 Kagei–Kobayashi [17,18] 的 Navier–Stokes 衰减比较：[17,18] 对半空间 NS 方程建立 $\|u^0(t)\|_{H^1} = O(t^{-3/4})$，$\|\partial u^0(t)\|_{H^1} = O(t^{-5/4})$。本文将此框架推广至 MHD，但发现 Lorentz 力 $ (\nabla \times B^0) \times B^0 $ 引入额外非线性耦合，使 $\|\partial u^0(t)\|_{L^2}$ 衰减从 $O(t^{-5/4})$ 降至 $O(t^{-1})$；而本文原始系统进一步降至 $O(t^{-3/4})$，体现 $\varepsilon$-边界层的双重减速效应。文中 Remark 1.10 明确对比了这一层级退化。

代价与局限：本文结果依赖小初值与高正则性假设（$m \geq 6$），且 $\varepsilon^{1/4}$ 速率是否最优尚无下界证明；conormal 空间框架虽规避边界层，但牺牲了法向高阶导数信息，导致衰减率弱于全空间结果。作者未讨论 $\varepsilon \to 0$ 后极限解的正则性是否可提升，亦未涉及激波或大初值情形——这些均为未来工作方向。

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

1. 一般维数下 Hele-Shaw 问题的适定性

Well-posedness of a Hele-Shaw problem in general dimensions

作者: Olga Turanova, Yuming Paul Zhang

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20395v1

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

摘要翻译

中文标题: 一般维数下 Hele-Shaw 问题的适定性

摘要翻译: 我们在一般空间维数下研究一类 Hele-Shaw 型自由边界问题。我们借助粘性流（viscosity flows）的概念建立了该问题的比较原理与适定性。本工作的关键特征在于：我们的假设允许自由边界速度取负值。

2. 具有粗糙截断的聚焦 $Φ^6_1$ 测度的微扰微观推导

A perturbative microscopic derivation of the focusing $Φ^6_1$ measure with rough cut-off

作者: Shahnaz Farhat, Andrew Rout

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

发布日期: 2026-07-22

arXiv ID: 2607.20400v1

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

摘要翻译

中文标题: 具有粗糙截断的聚焦 $Φ^6_1$ 测度的微扰微观推导

摘要翻译: 我们给出了圆周上带粗糙截断的聚焦非线性薛定谔方程（NLS）Gibbs 测度的一种推导。该结果推广了 Sohinger 与第二作者早先关于光滑截断情形的类似工作。我们的证明基于 Fröhlich、Knowles、Schlein 与 Sohinger（2017）发展的微扰展开方法，并为 Lü、Nam 与 Zhu（2026）最近给出的推导提供了另一种证明。为证明显式项的收敛性，我们采用 Wigner 测度方法并结合归纳论证，以克服截断函数缺乏光滑性的困难。特别地，我们给出了 Oh、Sosoe 与 Tolomeo（2022）所提出的最优截断下聚焦五次 NLS 的 Gibbs 测度的一种推导。

3. 具有Maxwell边界条件的动力学Fokker-Planck方程

Kinetic Fokker-Planck equations with Maxwell boundary conditions

作者: Kyeongbae Kim, Marvin Weidner

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20076v1

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

摘要翻译

中文标题: 具有Maxwell边界条件的动力学Fokker-Planck方程

摘要翻译: 我们发展了具有Maxwell边界条件的线性动力学Fokker-Planck方程解的边界正则性理论。这些边界条件通过适应系数 $α\in [0,1]$ 在漫反射与镜面反射之间插值。现有文献仅限于极端情形 $α= 0$ 和 $α= 1$，而我们完整解决了整个中间区间 $α\in (0,1)$。具体而言，我们证明：若系数仅为一致椭圆，则解是Hölder连续的。此外，当系数足够光滑时，我们在掠射集（grazing set）上建立了阶为 $\frac{3}π \arccos(\fracα{2}) - 1$ 的边界正则性；该指数是最优的。除Maxwell边界条件外，我们还发展了一种统一方法，可推广至一大类反射型边界条件，包括超弹性碰撞（super-elastic collisions）。

4. Boltzmann 方程在径向非谐约束势下的平衡态与线性稳定性

Equilibria and linear stability for the Boltzmann equation with radial anharmonic confining potentials

作者: Ling-bing He, Jie Ji, Wu-wei Li

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20025v1

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

摘要翻译

中文标题: Boltzmann 方程在径向非谐约束势下的平衡态与线性稳定性

摘要翻译: 我们在全空间中研究 Boltzmann 方程，其中约束势为径向非谐势：当 $p>2$ 时取 $Φ(x)=|x|^p/p$，当 $1<p<2$ 时取 $Φ(x)=\langle x\rangle^p/p$。我们首先对所有正的、有限质量与能量的、熵不变（即零熵产生）解进行分类。当 $p>2$ 时，非线性平衡流形由质量、温度及角动量的三个分量参数化；当 $1<p<2$ 时，可积性排除了旋转平衡态，仅质量与能量保留为平衡参数。随后，我们识别出该方程关于任意平衡态线性化后的五维稳态空间，并构造了一个由守恒矩所确定的显式投影。归一化后，碰撞项具有形式 $C_Me^{-\widetildeΦ(x)}\mathsf L$，因此其微观强制性在空间无穷远处退化。远场权转移估计补偿了这一退化。在减去稳态投影后，相应半群解在指数加权 $L^2$ 空间中代数收敛。收敛速率由增长指数 $p$ 及两个权重之间的间隙所控制，至多允许任意小的损失。当 $1<p<2$ 时，二维非线性平衡流形与五维线性稳态空间之间的不匹配，导致对携带非零角动量的扰动而言，非线性渐近吸引存在一个条件性障碍。

5. 区间到圆周的半调和映射的非恒常性与多重性

Non-constancy and multiplicity of half-harmonic maps from intervals into the circle

作者: Ali Hyder, Luca Martinazzi

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20016v1

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

摘要翻译

中文标题: 区间到圆周的半调和映射的非恒常性与多重性

摘要翻译: 我们研究实直线到圆周的一维半调和映射，其外部数据给定。我们证明：对任意正整数 $k$，若两个互不相交的区间足够接近，则存在至少 $k$ 个互不相同的非恒常半调和映射，且其外部数据为常数。更一般地，我们通过引入局部相对度并证明相应的度跳跃估计，在能量低于临界阈值 $2\pi$ 的边界数据情形下建立了一个多重性结果。 在单个区间上，并对作为有限 Blaschke 乘积迹出现的边界数据，我们研究了给定度类中能量极小元的存在性与不存在性。

6. 关于均值场极限在非交换、非守恒系统中应用的一则注记

A note on application of mean-field limit to non-exchangeable non-conservative systems

作者: Piotr Gwiazda, Katarzyna Ryszewska

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20014v1

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

摘要翻译

中文标题: 关于均值场极限在非交换、非守恒系统中应用的一则注记

摘要翻译: 本文将新发展的扩展图元（extended graphons）理论应用于一类非交换、非守恒问题。我们通过证明相应广义加权经验测度的收敛性，建立了该类系统的均值场极限。

7. 一种基于Wilson基的高效Galerkin方法用于高频散射问题

An efficient Galerkin method for high-frequency scattering problems using Wilson bases

作者: T. Chaumont-Frelet, M. Ingremeau, F. Proust

类别: math.NA, math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19950v1

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

摘要翻译

中文标题: 一种基于Wilson基的高效Galerkin方法用于高频散射问题

摘要翻译: 我们提出了一种新的Galerkin离散化方案，用于波散射问题，该方案基于微局域化基函数。我们证明：所提出的方案可在大波数 $k$ 下保持一致精度，其自由度数量仅按 $k^{d-1/2}$ 缩放，同时产生一个本质上稀疏的线性系统。相比之下，有限元方法已知需至少按 $k^d$ 缩放自由度数量才能达到相同性质。此前，本文两位作者曾基于Gabor框架引入一种类似方法，但其严重受制于病态性问题。在本工作中，通过以Wilson基替代Gabor框架，我们彻底消除了这一问题。我们严格建立了所提方法的误差估计与条件数上界，并提供了一维数值算例以说明我们的理论结果。

8. 黎曼曲面上的刘维尔方程：体积增长在分类与刚性结果中的作用

The Liouville equation on Riemannian surfaces: the role of volume growth in classification and rigidity results

作者: Giulio Ciraolo, Alberto Farina, Michele Gatti

类别: math.AP, math.DG

发布日期: 2026-07-22

arXiv ID: 2607.19838v1

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

摘要翻译

中文标题: 黎曼曲面上的刘维尔方程：体积增长在分类与刚性结果中的作用

摘要翻译: 我们在具有非负Ricci曲率的完备、连通、无界、无边界的黎曼曲面 $(M, g)$ 上研究刘维尔方程 $-Δu = e^u$。仅假设解满足某渐近下界条件，我们建立了关于解及环境流形的分类结果，并讨论了这些结果的最优性。我们的结果揭示了流形的体积增长与解及底层流形的分类之间存在紧密联系。

9. 关于带加权Sobolev初值数据的非局部Fokas-Lenells方程在实轴上的整体适定性

On the global well-posedness for the nonlocal Fokas-Lenells equation with the weighted Sobolev initial data on the line

作者: Zhenya Yan, Guoqiang Zhang, Guancheng Zhu

类别: nlin.SI, math-ph, math.AP, physics.optics, quant-ph

发布日期: 2026-07-22

arXiv ID: 2607.19649v1

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

摘要翻译

中文标题: 关于带加权Sobolev初值数据的非局部Fokas-Lenells方程在实轴上的整体适定性

摘要翻译: 我们建立了反向时空非局部Fokas-Lenells方程在实轴上、初值 $q_0(x)\in H^{3}(\mathbb{R}) \cap H^{2,1}(\mathbb{R})$ 下的Cauchy问题的整体适定性。为此，我们发展了基于相应Riemann-Hilbert问题表述的逆散射变换方法。引入谱一致化变换以处理KN型负流谱问题中固有的奇异性。由于反向时空约化，反射系数不再满足通常的厄米共轭对称性，因而跳跃矩阵的强制性（coercivity）无法先验获得。初值数据的定量小性条件导出反射系数的一致有界性，并保证相应跳跃矩阵的厄米部分具有一致正定性。由此导出的强制性使我们可通过Fredholm理论与消没引理（vanishing lemma）论证，建立相应奇异积分算子的有界可逆性。在此条件下，我们证明了势函数与散射数据之间存在 $L^{2}$-Sobolev 双射对应，排除了连续谱上的谱奇点，并获得了整体解的存在性与唯一性。此外，相应的解映射在容许初值类上是Lipschitz连续的。

10. 从带排斥性 delta 势的三次 NLS 的修正散射映射中恢复非线性

Recovery of nonlinearity from the modified scattering map for cubic NLS with a repulsive delta potential

作者: Mengyi Xie

类别: math.AP

发布日期: 2026-07-21

arXiv ID: 2607.19613v1

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

摘要翻译

中文标题: 从带排斥性 delta 势的三次 NLS 的修正散射映射中恢复非线性

摘要翻译: 我们研究一维带排斥性 delta 势与局部非齐次系数的三次非线性 Schrödinger 方程。我们证明了小初值情形下的修正散射，并构造了相应的向量值修正散射映射，其两个分量编码了点相互作用所诱导的频率 $ξ$ 与 $-ξ$ 之间的耦合。我们证明该映射唯一确定 delta 势的强度及非齐次系数。定量地，delta 势强度以 Lipschitz 稳定性被恢复，而非齐次系数满足 Hölder 稳定性估计。据我们所知，这是在外部势存在下关于修正散射映射的首个恢复性与稳定性结果。

11. 略低于临界指数的分数阶问题的一致先验估计

Uniform a priori estimates for slightly subcritical fractional problems

作者: Juan-Carlos Felipe-Navarro, Rosa Pardo

类别: math.AP

发布日期: 2026-07-21

arXiv ID: 2607.19480v1

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

摘要翻译

中文标题: 略低于临界指数的分数阶问题的一致先验估计

摘要翻译: 我们研究分数阶半线性 Dirichlet 问题 $(-Δ)^s u = f(u)$ 在有界、凸、$C^{1,1}$ 区域 $Ω\subset \mathbb{R}^N$ 上正弱解的一致 $L^\infty(Ω)$ 先验有界性，其中齐次外部条件为 $u\equiv 0$ in $\mathbb{R}^N\setminusΩ$。我们考虑形如 $f(t) = t^q L(t)$ 的略超线性非线性项，其中 $1 \le q \le \frac{N+2s}{N-2s}$ 且 $L$ 是一个慢变函数。尽管在严格次临界情形 $q < \frac{N+2s}{N-2s}$ 下一致估计已被充分建立，但略次临界情形 $q = \frac{N+2s}{N-2s}$ 却极具挑战性，因其可能导致气泡型剖面（bubbling profiles）的形成。 本文中，我们提出关于慢变扰动 $L$ 的一个结构条件，即

$$ \lim_{t \to \infty} \frac{t \, |L'(t)|}{L^{\frac{N}{2s}}(t)} = \infty, $$

该条件作为一渐近障碍，可阻止质量集中。在此假设下，我们建立了正解的一致全局 $L^\infty(Ω)$ 估计，显著拓展了已知具有此类估计的非线性项的类别。

不相关论文（基本信息）

1. Fuchsian 流形上的修正平均曲率流

Modified Mean Curvature Flow in Fuchsian Manifolds

作者: Yuk Shing Lam, Longzhi Lin

类别: math.DG, math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20350v1

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

摘要: In this paper, we show that the modified mean curvature flow starting from an arbitrary graph in a Fuchsian manifold exists for all time and converges smoothly to an equidistant surface of constant mean curvature as $t\to \infty$. This result generalizes earlier work to the modified mean curvature flow setting and removes the restrictive global gradient bound initially required for the standard mean curvature flow by Huang, Zhou, and the second author \cite{HLZ2020}.

2. 向量Allen-Cahn方程在$\mathbb{R}^n$中的局部极小元与$(n+1)$-联结

Local minimizers in $\mathbb{R}^n$ of vector Allen-Cahn with an $(n+1)$-junction

作者: Abhishek Adimurthi

类别: math.AP, math.OC

发布日期: 2026-07-22

arXiv ID: 2607.20369v1

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

摘要: For a domain $Ω$ that is a deformation of a unit ball in $\mathbb{R}^n$, we establish the existence of a sequence of local minimizers for the vector Allen-Cahn energy having $n+1$ wells. This sequence converges in the $L^1$ topology to a partition of $Ω$ whose skeleton is given by a simplex cone that contains an $(n+1)$-junction point. This is accomplished by proving that the partition is an isolated local minimizer of a weighted perimeter problem arising as the associated $Γ$-limit of the sequence of Allen-Cahn functionals. The results established in this article generalize those in the author’s earlier article with Peter Sternberg (MR5033050), which dealt with the case $n=3$. We also weaken the one crucial assumption from the author’s earlier article with Peter Sternberg (MR5033050).

3. 非局部耦合合作系统的主谱理论与变分刻画及其应用

Principal spectral theory and variational characterizations for nonlocal coupled cooperative systems and applications

作者: Xiandong Lin, Jiazhuo Cheng, Qiru Wang

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20288v1

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

摘要: This paper investigates the principal spectral theory of a nonlocal dispersal operator with coupled diffusion and aims to establish a variational characterization of the spectral bound for the case where the system is not strongly coupled. In this setting, a key difficulty arises since the principal eigenfunction may have components that are identically zero, rendering existing generalized eigenvalue methods inapplicable. To overcome this, we reorder the components of the operator using a permutation matrix, thereby decomposing it into suitable suboperators, and characterize the spectral bound of the original operator in terms of the spectral bounds of these suboperators. Building on this principal spectral theory, we provide a variational characterization of the basic reproduction ratio for nonlocal dispersal systems and analyze the dynamical behavior of a class of multi-genotype stem cell regeneration models with epigenetic transitions, both in the presence and absence of gene mutations, without assuming the existence of a principal eigenvalue. Furthermore, we investigate the threshold dynamics when the system is not strongly coupled.

4. 中心仿射Poincaré不等式：无条件凸体

Centro-affine Poincaré inequality: Unconditional convex bodies

作者: Yingxiang Hu, Mohammad N. Ivaki

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.20223v1

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

摘要: We prove that the centro-affine Poincaré inequality holds with constant $n$ for every $C^{\infty}_+$ unconditional convex body and every smooth function with natural orthogonality conditions.

5. 通过Painlevé IV 层级的对称性约化得到Flaschka-Newell Painlevé II 层级的显式Hamilton结构

Explicit Hamiltonian structure of the Flaschka-Newell Painlevé II hierarchy via symmetry reduction of the Painlevé IV hierarchy

作者: Olivier Marchal, Mohamad Alameddine, Sergej Laub

类别: math-ph, math.AP, math.SG, nlin.SI

发布日期: 2026-07-22

arXiv ID: 2607.20106v1

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

摘要: We study the Hamiltonian structure of the Flaschka-Newell Painlevé II hierarchy via symmetry reduction of the associated space of meromorphic connections. Building on the realization of this hierarchy as a reduction of the Painlevé IV hierarchy via a $\mathbb{Z}_2$-symmetry, we construct a set of Darboux coordinates adapted to the involution. After a suitable change of trivialization, the symmetry acts diagonally in these coordinates, allowing the fixed-point locus to be explicitly described as a symplectic submanifold. This enables us to derive the reduced Hamiltonians after symmetry, thereby obtaining explicit expressions for the Hamiltonians and the Lax matrices of the Flaschka-Newell Painlevé II hierarchy. This strategy also illustrates how symmetry-adapted canonical Darboux coordinates enable explicit reductions of isomonodromic systems at the level of their underlying symplectic geometry.

6. 测度空间上的分析

Analysis on spaces of measures

作者: Charles Bertucci

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

发布日期: 2026-07-22

arXiv ID: 2607.19939v1

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

摘要: This work presents analytical tools for studying functions defined on spaces of measures, together with two applications: mean field game master equations and first order Hamilton-Jacobi-Bellman equations on the set of probability measures. The first part introduces several notions of differentiability for such functions - vertical (or flat) and horizontal derivatives - as well as associated notions of convexity, monotonicity and sub-differentiability. The second part is concerned with master equations, for which uniqueness and stability of monotone solutions are established, and existence is discussed. The third part studies mean field optimal control problems and characterizes their value functions as the unique viscosity solutions of the associated Hamilton-Jacobi-Bellman equations. This work is intended to be accessible to readers unfamiliar with spaces of measures.

7. 高导电型非完美界面粘结下中性夹杂的椭球刻画

Ellipsoidal characterization of neutral inclusions for imperfect bonding of high-conductivity type

作者: Junyong Eom, Shota Fukushima, Yong-Gwan Ji, Hyeonbae Kang, Xiaofei Li, Shigeru Sakaguchi

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19791v1

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

摘要: This paper concerns neutral inclusions for imperfect bonding of high-conductivity type. An inclusion, which is a bounded domain, is said to be of imperfect bonding of high-conductivity type if the flux is discontinuous along its boundary while the potential is continuous. The inclusion is neutral to a uniform field if the presence of the inclusion does not perturb the field outside the inclusion. It is known that ellipses and ellipsoids can be neutral to all uniform fields by introducing a proper imperfect bonding coefficient on boundaries. The purpose of this paper is to prove the converse. We prove that if an inclusion of imperfect bonding of high-conductivity type is neutral to all uniform fields, then it is an ellipse or an ellipsoid. The neutrality condition is given by existence of the solution to a certain differential equation on the boundary surface and the main result is proved by converting the neutrality condition into an algebraic boundary identity characterizing ellipses and ellipsoids.

8. 非厄米动力学的量子绝热定理

The Quantum Adiabatic Theorem for Non-Hermitian Dynamics

作者: G. M. V. S. Aponso, B. P. W. Fernando, K. K. W. A. S. Kumara, R. P. K. De Silva

类别: quant-ph, math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19737v1

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

摘要: We establish a quantitative adiabatic estimate for a class of finite-dimensional non-Hermitian Schrödinger dynamics. The original non-Hermitian Hamiltonian is assumed to be diagonalizable with real spectrum and non-crossing eigenvalues. We then construct a dynamically compatible time-dependent metric operator, and its positive square root defines a Dyson map. The associated Dyson-transformed Hamiltonian is Hermitian. When this Dyson-transformed Hamiltonian satisfies the Hermitian adiabatic assumption, the standard resolvent-projection method gives an explicit adiabatic estimate in the Hermitian representation. Pulling this estimate back through the Dyson map gives an approximation in the original non-Hermitian representation. The resulting Dyson-pulled-back projections are then compared with the spectral projections of the original non-Hermitian Hamiltonian by using a contour-resolvent estimate. The final bound contains two contributions: the pulled-back Hermitian adiabatic error and the projection-comparison error. A two-level non-Hermitian model is presented to illustrate the hypotheses of the theorem and the two contributions appearing in the final estimate.

9. 关于通过迭代平均刻画多重调和函数

On the characterization of polyharmonic functions through iterated means

作者: Fernando Charro, Catherine Lebiedzik, Md Nurul Raihen

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19684v1

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

摘要: We introduce an infinite family of mean-value formulas (exact and asymptotic) given in terms of linear combinations of iterated means. We prove that the mean-value formulas in this family characterize real-valued polyharmonic functions of finite order, and that a simple algebraic condition partitions the family into equivalence classes according to the order of polyharmonicity. Our key results include strong converses to the mean-value properties – locally integrable functions satisfying a mean-value property in the family are polyharmonic – and a regularity result – locally integrable functions satisfying a mean-value property in the family, whether exact or asymptotic, are smooth.

10. 二维Allen-Cahn系统的极小化解的分类

Classification of minimizing solutions to a two-dimensional Allen-Cahn system

作者: Zhiyuan Geng

类别: math.AP

发布日期: 2026-07-22

arXiv ID: 2607.19671v1

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

摘要: We study bounded entire solutions $u:\mathbb{R}^2\to \mathbb{R}^2$ that minimize the Allen-Cahn functional \begin{equation*} J(u,Ω)=\int_Ω\left(\frac12 |\nabla u|^2+W(u)\right),d\mathbf{x}, \end{equation*} with the $D_3$-invariant triple-well potential \begin{equation*} W(u_1,u_2)=|u|^4+2u_1u_2^2-\frac23 u_1^3-|u|^2+\frac23. \end{equation*} We obtain a complete classification of entire minimizing solutions. In particular, when $u$ has a triple-junction structure at infinity, up to translation and orthogonal change of coordinates, $u$ has the explicit profile \begin{equation*} u_(\mathbf{x})=\sum_{i=1}^3 \frac{e^{\sqrt2 a_i\cdot \mathbf{x}}}{\sum_{j=1}^3 e^{\sqrt2 a_j\cdot \mathbf{x}}}a_i. \end{equation} We also demonstrate that the solutions obtained by minimizing within the $D_3$-equivariant class coincide with $u_*$. The key ingredient is a calibration identity arising from the special algebraic structure of $W$.