生成时间: 2026年05月06日 05:50:34

重点关注论文数量: 3

了解领域论文数量: 11

不相关论文数量: 4

重点关注论文(完整分析)

1. Burgers–Hilbert 行波解的线性不稳定性

Linear instability of a Burgers–Hilbert traveling wave

作者: Ángel Castro, Javier Gómez-Serrano, Miguel M. G. Pascual-Caballo

类别: math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03920v1

摘要翻译: 我们在圆周 $\mathbb{T}$ 上研究 Burgers–Hilbert 方程行波解的稳定性,考虑小频率 $ω$ 与大波速 $c$ 的渐近区域。当 $ω= 3$ 且 $c \approx 1.1$ 时,我们证明:围绕这些行波解的线性化算子具有一个实部为负的特征值,从而表明谱不稳定性。我们的方法是计算机辅助的:先将问题约化为有限维系统,再利用区间算术对其进行严格求解。Burgers–Hilbert 方程作为二维 Euler 方程涡旋块(vortex patch)问题的二次近似而出现;在此背景下,我们的结果指向三重对称 V-态(V-states)的不稳定性。

Comment: Code and data available at: https://github.com/MiguelMGPascualCaballo/bhtw and https://doi.org/10.5281/zenodo.19250315

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

1. 研究对象和背景

本研究聚焦于圆环 $\mathbb{T}$ 上 Burgers-Hilbert (BH) 方程行波解的稳定性问题,特别关注小频率 $\omega$ 与大波速 $c$ 的情形。BH 方程由 Marsden 和 Weinstein 在 [87] 中引入,作为二维欧拉方程涡旋片问题的二次近似:

$$ \begin{cases} \partial_t u + Hu + u\partial_x u = 0, \\ u : \mathbb{T} \times [0, \infty) \to \mathbb{R}, \\ u(x, 0) = u_0(x), \end{cases} $$

其中 $H$ 表示 Hilbert 变换:

$$ Hf(x) = \frac{1}{2\pi} \text{p.v.} \int_{-\pi}^{\pi} f(x-y) \cot\left(\frac{y}{2}\right) dy. $$

行波解 $v : \mathbb{T} \to \mathbb{R}$ 满足 $u(x,t) = v(x+ct)$,代入方程得:

$$ c\partial_x v + Hv + v\partial_x v = 0, \quad \int_{-\pi}^{\pi} v(x) dx = 0. $$

稳定性分析涉及线性化算子 $L_v f := c\partial_x f + Hf + \partial_x(vf)$ 的谱性质。本文特别关注 $\omega = 3$(即 $2\pi/3$ 周期)且 $c \approx 1.1$ 时是否存在实部为负的特征值,这将表明谱不稳定性。 BH 方程源于二维欧拉方程的涡旋片问题,其中涡度形如 $\omega(x,t) = \varpi \chi_{\Omega(t)}(x)$。V-state 是一类特殊解,其边界以恒定角速度刚性旋转。对于 $m$ 重对称 V-state,存在从圆盘分岔出的解分支,对应角速度 $\Omega_m = \varpi \frac{m-1}{2m}$($m \geq 2$)。当 $m=2$ 时,对应 Kirchhoff 椭圆,Guo 等人已证明其不稳定性;但对 $m \geq 3$,尚无严格证明表明解分支会在某点变得不稳定。

先前研究中,[73] 构造了从零分岔的 $2\pi/n$ 周期行波分支 $v_n$,速度 $c_n = 1/n$;[23] 证明这些解解析,并通过渐近展开:

$$ v(x) = \varepsilon \cos(x) + \sum_{k=2}^{\infty} u_k(x)\varepsilon^k, \quad c = 1 + \sum_{k=1}^{\infty} c_k\varepsilon^k, $$

将解扩展至 $\varepsilon > 0.22$,但级数在 $\varepsilon > 2/e$ 时不收敛。[33] 证明了存在速度 $c \in [1.1, 1.121]$ 的最大波,具有 $x\log(|x|)$ 奇点。在稳定性方面,[23] 证明小振幅行波($\varepsilon$ 小)的特征值为纯虚数,可用于延长扰动寿命。

本文试图填补的关键空白是:证明 $m=3$(三重对称)情形下,大振幅行波($c \approx 1.1$)存在谱不稳定性,即 $L_v$ 有实部为负的特征值。这为理解二维欧拉方程中三重对称 V-state 的不稳定性提供了严格数学依据,推进了对高对称性涡旋结构动力学的认识。

2. 主要定理或主要结果

论文核心结果由定理 2.1 和 3.2 组成,合起来证明:存在速度 $\tilde{c}$ 和实值、光滑、偶函数、零均值函数 $\tilde{v} \neq 0$,具有最小周期 $2\pi/3$,满足 $c\partial_x v + Hv + v\partial_x v = 0$,且线性算子 $\tilde{c}\partial_x + H + \partial_x(\tilde{v}\cdot)$ 具有实部为正和为负的特征值。

具体而言,在 $c := 1.109643839000099$ 下,证明了以下结论:

  1. 行波存在性(定理 2.1):存在光滑、偶函数、实值、零均值行波 $v \neq 0$,速度为 $c$,非 $2\pi/n$ 周期($n \geq 2$)。通过缩放 $\frac{1}{n}(v(nx), c)$ 可得最小周期 $2\pi/n$ 的行波($n \in \mathbb{N}^+$)。

    • 构造显式近似 $v^{ap}(x) = \sum_{j=1}^{1000} v^{ap}_j \cos(jx)$,系数 $v^{ap}_j$ 见补充材料。
    • 证明精确解 $v = v^{ap} + \omega$ 满足 $\|\omega\|_{H^1_{\text{even}}} < 2.50805 \times 10^{-9}$。
    • 算子 $L_{v^{ap}}: H^1_{\text{even}} \to H^0_{\text{odd}}$ 可逆,且 $\|L^{-1}_{v^{ap}}\|_{H^0_{\text{odd}} \to H^1_{\text{even}}} < 3.13328 \times 10^4$。
  2. 线性不稳定性(定理 3.2):线性化算子 $L_v$ 有实部为负的特征值。

    • 构造近似特征函数 $\eta^{ap}$ 和近似特征值 $\lambda^{ap}$。
    • 证明存在精确特征对 $(\eta, \lambda)$ 满足 $L_v \eta = \lambda \eta$,且 $\text{Re}(\lambda) < 0$。
    • 通过固定点论证,验证 $\|\eta - \eta^{ap}\|_{H^1_{\text{odd}}} < \delta_\eta$ 和 $|\lambda - \lambda^{ap}| < \delta_\lambda$,其中 $\delta_\eta, \delta_\lambda$ 为严格正小量。

函数空间方面,定义奇偶 Sobolev 空间:

$$ H^s_{\text{even}} = \{f \in H^s(\mathbb{T}) : f(x) = f(-x) \text{ a.e.}, \ \hat{f}_0 = 0\}, \quad H^s_{\text{odd}} = \{f \in H^s(\mathbb{T}) : f(x) = -f(-x) \text{ a.e.}\}, $$

范数为 $\|f\|^2_{H^s_{\text{odd/ even}}} = \sum_{k \geq 1} k^{2s}|\hat{f}_k|^2$。行波存在性证明中,$\xi_{v^{ap}} = c\partial_x v^{ap} + Hv^{ap} + v^{ap}\partial_x v^{ap}$ 满足 $\|\xi_{v^{ap}}\|_{H^0_{\text{odd}}} < 8.00338 \times 10^{-14}$,非线性项 $Q(\omega_1,\omega_2) = \frac{1}{2}\partial_x(\omega_1\omega_2)$ 满足 $\|Q\|_{H^1_{\text{even}} \times H^1_{\text{even}} \to H^0_{\text{odd}}} \leq 2^{1/2}\zeta(2)^{1/2}$。

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

核心技术障碍在于大振幅行波的线性不稳定性证明,传统解析方法难以处理非微扰情形。作者创新性地结合计算机辅助证明与函数空间分析,关键方法如下:

  1. 行波存在性的固定点论证:

    • 将精确解表示为 $v = v^{ap} + \omega$,其中 $v^{ap}$ 为 $N=1000$ 项的显式近似。
    • 定义算子 $T^{\text{exis}}\omega := -L^{-1}_{v^{ap}}(\xi_{v^{ap}} + Q(\omega, \omega))$,其中 $\xi_{v^{ap}} = c\partial_x v^{ap} + Hv^{ap} + v^{ap}\partial_x v^{ap}$,$Q(\omega_1,\omega_2) = \frac{1}{2}\partial_x(\omega_1\omega_2)$。
    • 通过估计 $\|\xi_{v^{ap}}\|_{H^0_{\text{odd}}} < 8.00338 \times 10^{-14}$、$\|Q\| \leq 2^{1/2}\zeta(2)^{1/2}$ 及 $\|L^{-1}_{v^{ap}}\| < 3.13328 \times 10^4$,证明 $T^{\text{exis}}$ 在 $X = \{g \in H^1_{\text{even}} : \|g\|_{H^1_{\text{even}}} \leq 2.50805 \times 10^{-9}\}$ 上为压缩映射。
    • 关键创新:利用奇偶性分离困难($\partial_x v \in \ker L_v$),在 $H^1_{\text{even}} \to H^0_{\text{odd}}$ 空间中证明 $L_{v^{ap}}$ 可逆,避免核空间问题。
  2. 稳定性分析的有限维约化:

    • 构造近似特征函数 $\eta^{ap}$,通过 $T^{\theta}_{\text{stab}}$ 的固定点论证证明精确特征函数存在。
    • 引入算子 $L^{\theta,\lambda}_{\text{ap}}$,证明其在 $H^1_{\text{odd}}$ 上可逆,并估计 $\|(L^{\theta,\lambda}_{\text{ap}})^{-1}\|$。
    • 关键引理 3.12-3.14 给出 $\eta^{ap}$ 的残差界、$L^{\theta,\lambda}_{\text{ap}}$ 的可逆性及特征值误差控制,确保 $\text{Re}(\lambda) < 0$。
  3. 计算机辅助证明技术:

    • 区间算术验证:将浮点数替换为严格区间,传播计算误差。具体应用包括:
      • 边界估计:$\|\xi_{v^{ap}}\|_{H^0_{\text{odd}}}$(引理 2.3)、$\|\beta\|_{L^\infty}$($\beta = (c + v^{ap})^{-1}$,引理 4.18-4.21)。
      • 非退化检查:验证 $v^{ap}$ 傅里叶系数非零(引理 4.3)、多项式 $z^N P(z)$ 根的包围(引理 C.3)。
      • 奇异值估计:对有限维矩阵 $M^{\text{tor}}_{\text{exis}}$、$M^{\text{tor}}_{\text{stab}}$ 计算最小奇异值(引理 4.16, 5.16),确保线性系统可解。
    • 分段多项式近似:对显式函数(如 $\beta$)使用分段多项式逼近,严格估计截断误差(引理 D.1, D.7-8, D.10)。
  4. 函数空间与调和分析工具:

    • Hardy 空间技术:利用 $\dot{H}^s$ 空间处理全纯延拓,定义 $f^\pm = \frac{1}{2}(f \pm iHf)$,其傅里叶级数为 $f^+(x) = \sum_{k \geq 1} \hat{f}_k e^{ikx}$,$f^-(x) = \sum_{k \geq 1} \hat{f}_{-k} e^{ikx}$。
    • Fuchsian 理论(4.1.1 节):分析具有正则奇点的微分方程,证明 $L^{\text{ap}, \text{hol}}_{\text{exis}}$ 的可逆性。
    • Palindromic 多项式(附录 C):利用对称性简化特征方程求解,避免高维矩阵计算。
  5. 关键估计技巧:

    • 显式残差控制:通过高精度数值计算,将 $\|\xi_{v^{ap}}\|_{H^0_{\text{odd}}}$ 控制在 $10^{-14}$ 量级,确保固定点论证可行。
    • 范数嵌套:利用 $\|Q\|_{H^1_{\text{even}} \times H^1_{\text{even}} \to H^0_{\text{odd}}} \leq 2^{1/2}\zeta(2)^{1/2}$ 的精确界,避免常数过大导致论证失败。
    • 参数选择:精心选取 $c = 1.109643839000099$,使近似解 $v^{ap}$ 的残差最小化,同时保证 $L_{v^{ap}}$ 的最小奇异值远离零。

4. 与之前工作的比较

与既有文献相比,本文在多个维度推进了研究,同时明确了方法局限:

  1. 与 BH 方程先前工作的比较:

    • [23] 证明小振幅行波($\varepsilon$ 小)的特征值为纯虚数,但仅适用于 $c < c^* \approx 1.0139$。本文将范围扩展至 $c = 1.1096$,证明大振幅行波存在实部为负的特征值,揭示了振幅增大导致的稳定性转变。
    • [33] 证明了 $c \in [1.1, 1.121]$ 的最大波存在,但未分析稳定性。本文首次严格证明该参数区域的谱不稳定性,填补了理论空白。
    • 与 [11, 73, 84] 的数值模拟不同,本文提供严格证明,确认不稳定性非数值误差所致。
  2. 与涡旋片问题的关联:

    • 对 $m=2$(Kirchhoff 椭圆),Guo 等人已证明不稳定性;但对 $m \geq 3$,此前无严格结果。本文通过 BH 方程(涡旋片问题的二次近似),为 $m=3$ 的三重对称 V-state 不稳定性提供证据,是首个针对高对称性的严格证明。
    • 与 [70, 22] 的 V-state 存在性证明相比,本文聚焦稳定性,推进了对解分支全局行为的理解。
    • 区别于 [24] 的非凸 V-state 存在性证明,本文首次将区间算术应用于稳定性分析,拓展了计算机辅助证明的应用场景。
  3. 方法论对比:

    • Maspero 和 Radakovic [88] 研究 $\mathbb{R}$ 上方程 $\partial_t u + u\partial_x u + M\partial_x u = 0$,分析小行波在极低频率扰动下的调制不稳定性(对应 $m \to \infty$)。本文则针对大振幅行波和小 $m$($m=3$),采用计算机辅助证明处理非微扰情形,适用范围互补。
    • [88] 通过 KAM 理论刻画谱邻域,而本文直接证明存在负实部特征值,结论更强但适用参数更窄。
    • 与 [12, 13] 的弱解理论不同,本文聚焦光滑解的谱稳定性,问题设定与目标迥异。
  4. 技术推进与代价:

    • 时间尺度:[76] 证明 BH 方程近似在三次非线性时间尺度有效,本文结果暗示三重对称 V-state 在该时间尺度内可能不稳定,为涡旋片问题提供新视角。
    • 参数范围:将行波存在性从 $c < 1.0139$ 推进至 $c \approx 1.11$,稳定性分析首次覆盖大振幅区域。
    • 代价:计算机辅助证明仅适用于特定参数点($\omega=3$, $c\approx1.1$),无法给出全局稳定性图景;且需大量计算资源,验证依赖补充代码。
  5. 与计算机辅助证明文献的比较:

    • 相比 Euler-Poisson 系统 [57] 或极端 Stokes 波 [85] 的存在性证明,本文首次将该方法用于稳定性分析,技术挑战更大(需处理特征值问题)。
    • 与 De Gregorio 模型 [27] 或 SQG 方程 [20] 的工作相比,本文更强调有限维约化的严格误差控制,例如通过引理 5.25 排除整数障碍,确保特征值计算无遗漏。
    • 创新点在于将 radii polynomials 方法 [7, 34, 45] 与 Fuchsian 理论结合,处理 BH 方程特有的奇点结构。
  6. 局限性与未来方向:

    • 本文未证明不稳定性对参数的鲁棒性,仅确认单点存在性。未来需结合解析方法探索不稳定区域的范围。
    • 未分析非线性稳定性,仅证明谱不稳定性。需进一步研究扰动的长时间行为。
    • 方法依赖高精度数值近似,对更复杂模型(如完全涡旋片方程)的扩展面临计算挑战。

综上,本文通过计算机辅助证明推进了 BH 方程行波稳定性理论,为二维欧拉方程高对称 V-state 的不稳定性提供了首个严格证据,方法论创新为 PDE 谱分析开辟了新路径。


2. 关于随机正则化Navier-Stokes方程在 $\mathbb{R}^3$ 上局部与整体强解的存在性

On existence of local and global strong solutions for the stochastic tamed Navier-Stokes equations on $\mathbb{R}^3$

作者: Bikram Podder, Surendra Kumar

类别: math.AP, math.PR

发布日期: 2026-05-05

arXiv ID: 2605.03734v1

摘要翻译: 我们研究全空间 $\mathbb{R}^3$ 上带乘性Wiener噪声与Lévy跳跃噪声的随机正则化Navier–Stokes方程的局部与整体强解理论。更具体地,我们首先证明:对任意 $\mathcal{F}_0$-可测初值 $u_0 \in L^p(\Omega; L^p(\mathbb{R}^3;\mathbb{R}^3))$(其中 $p > 3$),存在一个路径唯一极大局部强解。进一步,若初值满足 $u_0 \in L^p(\Omega; L^p(\mathbb{R}^3;\mathbb{R}^3)) \cap L^2(\Omega; H^1(\mathbb{R}^3;\mathbb{R}^3))$,则可克服非局部压力项的障碍,建立唯一整体强解的存在性。

Comment: 无

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

1. 研究对象和背景

本文研究全空间$/mathbb{R}^3$中随机tamed Navier-Stokes方程(STNSE)的局部与全局强解理论。研究对象为速度场$u = u(t,x) \in L^p(\Omega; L^p(\mathbb{R}^3; \mathbb{R}^3))$满足的随机偏微分方程:

$$ \begin{cases} du = \left[ \nu\Delta u - \mathcal{P}((u \cdot \nabla)u) - \mathcal{P}(g_N(|u|^2)u) \right] dt + \mathcal{P}(\sigma(u)) dW(t) + \int_Z \mathcal{P}G(u(t-), z) \tilde{N}(dt, dz), \\ \nabla \cdot u = 0, \quad (t, x) \in (0, \infty) \times \mathbb{R}^3, \\ u(0, x) = u_0(x), \end{cases} $$

其中$\mathcal{P}$为Helmholtz-Hodge投影算子,$g_N(|u|^2)u$是Röckner-Zhang框架中的非线性taming项,$W(t)$为柱Wiener过程,$\tilde{N}(dt,dz)$为补偿Poisson随机测度。关键未知量包括速度场$u$及其爆破时间$\tau_{\text{max}}$。

该问题的重要性在于:(1) taming项$g_N(|u|^2)u$通过大振幅阻尼$-\int_{\mathbb{R}^3} g_N(|u|^2)|u|^p dx$控制三维超临界对流,使全局$L^p$估计成为可能;(2) Wiener噪声与Lévy跳噪声的组合完整刻画了湍流中连续小尺度波动与间歇性大幅值事件;(3) 全空间$\mathbb{R}^3$上的分析缺乏Poincaré不等式和Laplacian离散谱,导致标准Galerkin方法失效。

已有理论局限:(i) Röckner-Zhang[23,24]在$V \subset H^1$中研究STNSE,Dong-Zhang[6]考虑$L^2(\Omega,H^1)$初始数据,均未涉及$L^p$框架;(ii) Kukavica等[14,15]在环面$T^3$上建立$L^p(p>3)$局部解,但全空间$\mathbb{R}^3$缺乏Poincaré不等式;(iii) Mohan-Sritharan[18]和Agresti-Veraar[1]研究SNSE的$L^m$解,但未处理tamed方程与Lévy噪声组合;(iv) Motyl[20]证明鞅解存在性,但未建立强解理论。

本文试图填补的空白:首次在$L^p(\Omega; L^p(\mathbb{R}^3; \mathbb{R}^3))$($p>3$)框架下,建立同时含Wiener噪声与Lévy跳噪声的STNSE强解理论,解决全空间分析中三大困难:(1)缺乏Poincaré不等式;(2)Laplacian连续谱;(3)Lévy噪声导致的càdlàg路径拓扑。特别地,通过两阶段$H^1$-$L^p$自举程序克服非局部压力障碍,建立全局解存在性。

2. 主要定理或主要结果

在以下关键假设下证明主要结论:

  1. 局部强解存在性:设$p>3$,初始数据$u_0 \in L^p(\Omega; L^p(\mathbb{R}^3; \mathbb{R}^3))$满足$\nabla \cdot u_0 = 0$ a.s.,噪声系数满足:
  • $\sigma: L^p(\mathbb{R}^3; \mathbb{R}^3) \to \gamma(U; L^p(\mathbb{R}^3; \mathbb{R}^3))$满足Lipschitz条件$\|\sigma(u)-\sigma(v)\|_{\gamma} \leq C\|u-v\|_p$,
  • $G: L^p(\mathbb{R}^3; \mathbb{R}^3) \times Z \to L^p(\mathbb{R}^3; \mathbb{R}^3)$满足$\int_Z \|G(u,z)-G(v,z)\|_p^p \mu(dz) \leq C\|u-v\|_p^p$。

则存在路径唯一最大局部强解$(u, \tau_{\text{max}})$,满足爆破替代准则:

$$ \limsup_{t \nearrow \tau_{\text{max}}} \|u(t)\|_{L^p} = \infty \quad \text{a.s. on } \{\tau_{\text{max}} < \infty\}. $$
  1. 全局强解存在性:若额外假设$u_0 \in L^p(\Omega; L^p(\mathbb{R}^3; \mathbb{R}^3)) \cap L^2(\Omega; H^1(\mathbb{R}^3; \mathbb{R}^3))$,且噪声系数满足梯度增长条件$\|\nabla \sigma(u)\|_{\gamma} \leq C(1+\|\nabla u\|_2)$,$\int_Z \|\nabla G(u,z)\|_2^2 \mu(dz) \leq C(1+\|\nabla u\|_2^2)$,则存在唯一全局强解。关键估计包含两阶段程序:
  • $H^1$能量估计:测试方程$-\Delta u$消去压力项,得到梯度界

    $$ \mathbb{E} \sup_{0 \leq t \leq T} \|\nabla u(t)\|_2^2 + \nu \mathbb{E} \int_0^T \|\Delta u(s)\|_2^2 ds \leq C \left( \mathbb{E} \|\nabla u_0\|_2^2 + 1 \right), $$

    结合Sobolev嵌入$\|u\|_6 \leq C \|\nabla u\|_2$,获得路径式全局$L^6$界$\sup_{t \geq 0} \|u(t)\|_6 < \infty$ a.s.

  • $L^p$能量闭合:利用$L^6$界控制压力项,对$\|u\|_p^p$应用Itô公式得

    $$ \frac{d}{dt} \mathbb{E} \|u(t)\|_p^p + c_p \nu \mathbb{E} \int_{\mathbb{R}^3} |\nabla(|u|^{p/2})|^2 dx \leq C_p \left( \mathbb{E} \|u\|_p^p + \mathbb{E} \|u\|_p^{p(p-3)/3} \right), $$

    由于$p>3$,次临界项$\mathbb{E} \|u\|_p^{p(p-3)/3}$可被线性项吸收,通过Grönwall不等式得全局估计

    $$ \mathbb{E} \|u(t)\|_p^p \leq \left( \mathbb{E} \|u_0\|_p^p + C \right) e^{-\lambda t}, \quad \forall t \geq 0. $$

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

核心障碍与创新方法:

  1. 全空间分析的技术障碍:全空间$\mathbb{R}^3$上缺乏Poincaré不等式与Laplacian离散谱,使标准Galerkin方法失效。作者创新性引入光滑傅里叶乘子$P_{\leq k}$:

    $$ P_{\leq k} f := \mathcal{F}^{-1} (\psi(k^{-1}\xi) \hat{f}(\xi)), \quad \psi(\xi) = e^{-|\xi|^2}, $$

    其卷积核$K_k(y) = k^3 K(ky)$满足$\|K_k\|_{L^1} = \|K\|_{L^1}$,产生Poincaré型不等式$\|P_{\leq k} f\|_q \leq C k^{3(1/r-1/q)} \|f\|_r$。结合截断函数$\phi(\|u\|_p)$构造全局良好定义的近似方程

    $$ du_k = \phi(\|P_{\leq k} u_k\|_p) \left[ \cdots \right] dt + \cdots, $$

    通过选择$k(n) \to \infty$的足够快增长率,将$n$无关$L^2$界转换为$L^p$-Cauchy速率,克服近似初始数据的发散$L^2$能量。

  2. 非分量式Itô分析框架:传统坐标式Itô展开使向量场非线性项重组复杂化。作者在UMD Banach空间$L^p(\mathbb{R}^3; \mathbb{R}^3)$中直接应用Itô公式,利用γ-radonifying算子处理鞅项:

    $$ \|T\|_{\gamma(U;L^p)} \asymp_p \left\| \left( \sum_{k \geq 1} |T e_k(\cdot)|^2 \right)^{1/2} \right\|_{L^p}, $$

    使Wiener噪声二次变分严格可控。对$\|u\|_p^p$应用Itô公式时,粘性项生成关键耗散量

    $$ \int_{\mathbb{R}^3} |\nabla(|u|^{p/2})|^2 dx = \frac{4(p-1)}{p^2} \int_{\mathbb{R}^3} |u|^{p-2} |\nabla u|^2 dx, $$

    用于吸收对流项$\mathcal{P}((u \cdot \nabla)u)$与taming项$\mathcal{P}(g_N(|u|^2)u)$的高阶贡献。

  3. Lévy噪声的càdlàg拓扑处理:Lévy噪声使解轨道进入Skorokhod空间$D([0,T]; L^p)$,引发两大困难:

  • 局部化失效:càdlàg轨道可能通过跳跃瞬时超过阈值。作者定义同时包含当前状态与左极限的停止时间
    $$ \tau_R = \inf \left\{ t > 0 : \|u(t)\|_p > R \text{ 或 } \|u(t-)\|_p > R \right\}, $$
    捕获跳跃前振幅,确保截断近似的一致界不被破坏。
  • 解拼接问题:在停止时间$\tau$粘合两个适应过程需验证$F_t$-适应性与右连续性。作者施加匹配条件$u(\tau-) = \tilde{u}(0)$保持左极限,并利用Itô积分的可加性验证弱解全局满足
    $$ \int_0^{\tau + \tilde{\tau}} = \int_0^\tau + \int_\tau^{\tau + \tilde{\tau}} \quad \text{a.s.} $$
  1. 非局部压力障碍的突破:对$p>3$,压力项在$L^p$ Itô展开中产生超线性增长$O(\|u\|_p^{p(p-1)/(p-3)})$。作者提出两阶段自举程序:
  • $H^1$阶段:测试方程$-\Delta u$消去压力,得梯度界$\|\nabla u\|_2 \leq C$,结合Sobolev嵌入得$\|u\|_6 \leq C \|\nabla u\|_2 \leq C$。
  • $L^p$阶段:利用$\|u\|_6$界控制压力项$\|\nabla p\|_3 \leq C \|u \cdot \nabla u\|_3 \leq C \|u\|_6 \|\nabla u\|_2$,通过插值得
    $$ \left| \int_{\mathbb{R}^3} |u|^{p-2} u \cdot \nabla p dx \right| \leq C \|u\|_p^{p/3} \|\nabla p\|_3 \leq C \|u\|_p^{p/3} \|u\|_6 \|\nabla u\|_2, $$
    由于$p>3$,$p/3 < p$使该项可被$L^p$能量线性控制,完成Grönwall闭合。

4. 与之前工作的比较

与前人工作的多维度比较:

  1. 初始数据空间的扩展:
  • Röckner-Zhang[23,24]要求初始数据$u_0 \in V \subset H^1$,仅适用于Hilbert空间框架;Dong-Zhang[6]考虑$L^2(\Omega,H^1)$,仍局限在$L^2$基空间。
  • 本文将初始数据空间推进至$L^p(\Omega; L^p(\mathbb{R}^3; \mathbb{R}^3))$($p>3$),这是首次在非Hilbert空间中处理STNSE。关键突破在于利用taming项$g_N(|u|^2)u$的耗散性质$-\int g_N(|u|^2)|u|^p dx$,使超临界对流在$L^p$估计中可被控制,而标准SNSE在$p>3$时无法闭合能量估计。
  • 代价:全局解需要更强条件$u_0 \in L^p \cap H^1$,而Röckner-Zhang的全局解仅需$V$空间,但后者仅适用于$tamed$方程的特殊结构。
  1. 噪声类型的组合处理:
  • Motyl[20]研究Wiener与Lévy噪声组合的SNSE,但仅证明鞅解存在性,使用Skorokhod表示定理处理紧致性。
  • 本文聚焦强解而非鞅解,通过非分量式UMD框架直接构造适应解。关键差异在于处理Lévy噪声的càdlàg拓扑:Motyl依赖非度量空间的Skorokhod定理,而本文通过左极限停止时间$\tau_R$和解拼接条件解决跳跃问题,避免弱收敛论证。
  • 适用范围:Motyl的结果适用于任意维数,但解正则性较低;本文在$\mathbb{R}^3$中获得$L^p(p>3)$强解,但技术路线依赖三维Sobolev嵌入$H^1 \hookrightarrow L^6$。
  1. 全空间分析的技术革新:
  • Kukavica等[14,15]在环面$T^3$上建立$L^p(p>3)$局部解,使用谱Galerkin方案$P_{\leq k}$基于Fourier级数部分和。但全空间$\mathbb{R}^3$缺乏离散谱,标准Galerkin失效。
  • 本文创新采用光滑卷积投影$P_{\leq k}f = K_k \ast f$($K_k(y)=k^3 \pi^{3/2} e^{-\pi^2 k^2 |y|^2}$),产生Poincaré型不等式$\|P_{\leq k} f\|_q \leq C k^{3(1/r-1/q)} \|f\|_r$。与Kukavica的矩形截断不同,光滑核保证$P_{\leq k}$在Sobolev空间中的有界性$\|P_{\leq k} f\|_{W^{s,p}} \leq C \|f\|_{W^{s,p}}$。
  • 时间尺度差异:Kukavica的局部解存在时间$T \sim \|u_0\|_p^{-\alpha}$,本文通过截断参数$k(n)$的快速增长率,获得相同尺度的爆破替代准则,但全空间分析导致常数$C$依赖于空间维度。
  1. 非局部压力障碍的解决路径:
  • Agresti-Veraar[1]在Besov空间$B^{3/q-1}_{q,3}$中研究SNSE,利用随机Serrin准则避免压力项。但该方法不适用于全空间$L^p$框架。
  • 本文提出两阶段$H^1$-$L^p$自举程序:首先在$H^1$中消去压力得$\|\nabla u\|_2 \leq C$,再利用Sobolev嵌入$\|u\|_6 \leq C \|\nabla u\|_2$控制$L^p$中的压力项。关键估计为插值不等式
    $$ \|\nabla p\|_3 \leq C \|u \cdot \nabla u\|_3 \leq C \|u\|_6 \|\nabla u\|_2 \leq C \|\nabla u\|_2^2, $$
    使压力项增长阶从$O(\|u\|_p^{p(p-1)/(p-3)})$降至$O(\|u\|_p^{p/3})$。当$p>3$时,$p/3 < p$允许Grönwall闭合,而标准SNSE在$p>3$时无法实现此降阶。
  • 局限:此方法要求初始数据$u_0 \in H^1$,而Röckner-Zhang的全局解仅需$V$空间,但后者依赖taming项的特殊结构。
  1. 与SNSE理论的对比:
  • Cai等[4]研究带阻尼项$u^{\beta-1} \cdot u$的SNSE,证明$\beta > 7/2$时存在解,$7/2 < \beta < 5$时唯一性。Zhang等[25]将结果改进至$\beta > 3$。
  • 本文的taming项$g_N(|u|^2)u$相当于$\beta \to \infty$的极限情况,通过大振幅阻尼$g_N(r) = (r-N)^+$完全控制超临界对流。相比SNSE,STNSE在$L^p(p>3)$中可闭合能量估计,但物理意义局限于特定湍流模型。
  • 适用范围:SNSE的$\beta$-模型适用于$\beta > 3$,但唯一性仅对$\beta < 5$成立;STNSE对任意$N>0$均存在唯一解,代价是引入人为taming参数$N$。

3. 三维无限长圆柱中轴对称亚音速流的接触间断

Contact discontinuities for axisymmetric subsonic flows in three-dimensional infinitely long cylinders

作者: Hyangdong Park

类别: math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03714v1

摘要翻译: 我们证明了在三维无限长圆柱中,具有非零涡量与非零角动量密度的轴对称亚音速Euler流存在接触间断。该问题被表述为无限长圆柱内的两相自由边界问题。我们首先求解截断区域上的问题,再取极限。截断区域问题通过Helmholtz分解法重新表述,并利用迭代法求解。我们设计了一种精巧的迭代格式以求解该两相自由边界问题。

Comment: 无

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

1. 研究对象和背景

本文研究三维无限长圆柱体中具有非零涡度($\nabla \times u \neq 0$)和非零角动量密度($u \cdot e_\theta \neq 0$)的轴对称亚音速欧拉流的接触间断存在性问题。研究对象是稳态可压缩理想多原子气体流动,由稳态欧拉系统控制:

$$ \begin{cases} \text{div}(\rho u) = 0, \\ \text{div}(\rho u \otimes u) + \nabla p = 0, \\ \text{div}(\rho u B) = 0, \end{cases} $$

其中 $B(\rho, u, p) := \frac{|u|^2}{2} + \frac{\gamma p}{(\gamma-1)\rho}$ 为 Bernoulli 不变量,$\gamma > 1$ 为绝热指数。当 $|u| < \sqrt{\gamma p / \rho}$ 时,系统为亚音速混合型(双曲-椭圆型)。

设 $\Omega \subset \mathbb{R}^n$ 为开连通集,$\Gamma$ 为余维数 1 的非自交 $C^1$ 曲面,将 $\Omega$ 分为两个不相交开子集 $\Omega^\pm$ 使得 $\Omega = \Omega^- \cup \Gamma \cup \Omega^+$。若 $U = (\rho, u, p) \in [L^\infty_{\text{loc}}(\Omega) \cap C^1_{\text{loc}}(\Omega^\pm) \cap C^0_{\text{loc}}(\Omega^\pm \cup \Gamma)]^{n+2}$ 满足 Rankine-Hugoniot 条件:

$$ \begin{aligned} [\rho u \cdot n]_\Gamma &= 0, \quad [\rho (u \cdot n)^2 + p]_\Gamma = 0, \quad [\rho u \cdot n B]_\Gamma = 0, \\ \rho (u \cdot n)[u \cdot \tau_k]_\Gamma &= 0 \quad (k = 1, \ldots, n-1), \end{aligned} $$

且 $u \cdot n|_{\Omega^- \cap \Gamma} = u \cdot n|_{\Omega^+ \cap \Gamma} = 0$,$[p]_\Gamma = 0$,则 $\Gamma$ 称为接触间断。本文关注的正是这类间断。

研究区域为三维无限长圆柱体:

$$ \Omega := \left\{ (x_1, x_2, x_3) \in \mathbb{R}^3 : x_1 > 0, 0 \leq \sqrt{x_2^2 + x_3^2} < 1 \right\}. $$

使用柱坐标系 $(x, r, \theta)$,其中 $x_1 = x$,$x_2 = r \cos \theta$,$x_3 = r \sin \theta$,$r \in \mathbb{R}^+$,$\theta \in \mathbb{T}$(周期为 $2\pi$ 的一维环面)。定义正交基 $\{e_x, e_r, e_\theta\}$:

$$ e_x := (1, 0, 0), \quad e_r := (0, \cos \theta, \sin \theta), \quad e_\theta := (0, -\sin \theta, \cos \theta). $$

轴对称函数满足 $f(x) = \tilde{f}(x, r)$,轴对称向量场可表示为 $F = F_x e_x + F_r e_r + F_\theta e_\theta$。

问题表述为两相自由边界问题:接触间断位置 $C_f := \Omega \cap \{r = f(x)\}$ 及其两侧状态均为未知。先前工作 [4] 研究了分离静止流与非零涡度流的接触间断(单相自由边界问题),而本文研究分离两个非静止流且均含非零涡度的接触间断(真正的两相自由边界问题),这是更一般且更具挑战的情形。本文填补了三维轴对称亚音速流中两相接触间断存在性的理论空白,推进了自由边界问题的分析方法。

2. 主要定理或主要结果

在 $\epsilon \in (0, \frac{1}{10})$ 和 $\alpha \in (0, 1)$ 固定,入口数据 $w_{\text{en}}^\pm : \Gamma_0^\pm \to \mathbb{R}$、$S_{\text{en}}^\pm : \Gamma_0^\pm \to \mathbb{R}$、$v_{\text{en}}^\pm : \Gamma_0^\pm \to \mathbb{R}$ 为径向函数且满足支撑条件:

$$ v_{\text{en}}^+(r) = 0 \quad \text{on} \quad \Gamma_0^+ \setminus \left\{ \tfrac{1}{2} + \epsilon \leq r \leq 1 - \epsilon \right\}, \quad v_{\text{en}}^-(r) = 0 \quad \text{on} \quad \Gamma_0^- \setminus \left\{ r \leq \tfrac{1}{2} - \epsilon \right\} $$

的假设下,定义小参数:

$$ \sigma^\pm := \|S_{\text{en}}^\pm - S_0^\pm\|_{2,\alpha,\Gamma_0^\pm} + \|w_{\text{en}}^\pm e_\theta\|_{2,\alpha,\Gamma_0^\pm} + \|v_{\text{en}}^\pm\|_{1,\alpha,\Gamma_0^\pm}, \quad \sigma := \sigma^+ + \sigma^-. $$

存在仅依赖于 $\rho_0^\pm$、$u_0^\pm$、$p_0$、$\gamma$ 和 $\alpha$ 的小常数 $\varepsilon_0 > 0$ 和 $\sigma_0 > 0$,使得当 $u_0^+ \leq \varepsilon_0$ 且 $\sigma \leq \sigma_0$ 时,问题 2.1 存在解 $(f, \rho^\pm, u^\pm, p^\pm)$ 满足:

$$ \left\|f - \tfrac{1}{2}\right\|_{2,\alpha,(0,\infty)} + \|\rho^\pm - \rho_0^\pm\|_{1,\alpha,\Omega_f^\pm} + \|u^\pm - u_0^\pm\|_{1,\alpha,\Omega_f^\pm} + \|p^\pm - p_0\|_{1,\alpha,\Omega_f^\pm} \leq C\sigma, $$

其中 $C > 0$ 仅依赖于 $\rho_0^\pm$、$u_0^\pm$、$p_0$、$\gamma$ 和 $\alpha$。等价地,通过 Helmholtz 分解重述的定理 3.1 保证了存在解 $(f, S^\pm, \Lambda^\pm, \phi^\pm, \psi^\pm)$ 满足:

$$ \left\|f - \tfrac{1}{2}\right\|_{2,\alpha,(0,+\infty)} + \|S^\pm - S_0^\pm\|_{1,\alpha,\Omega_f^\pm} + \left\|\tfrac{\Lambda^\pm}{r} e_\theta\right\|_{1,\alpha,\Omega_f^\pm} + \|\phi^\pm - \phi_0^\pm\|_{2,\alpha,\Omega_f^\pm} + \|\psi^\pm e_\theta\|_{2,\alpha,\Omega_f^\pm} \leq C\sigma. $$

关键尺度关系为:自由边界函数 $f$ 的 $C^{2,\alpha}$ 误差阶为 $O(\sigma)$,状态变量的 $C^{1,\alpha}$ 误差阶也为 $O(\sigma)$,且所有估计与截断域长度无关。

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

核心障碍在于:(1) 无限长圆柱体中接触间断的存在性需获得与截断域长度无关的一致估计;(2) 两相自由边界问题中两侧状态均未知,Rankine-Hugoniot 条件无法自动满足;(3) 圆柱体角点导致的奇异性问题。

作者的真正创新点是设计了针对两相自由边界问题的迭代方案。首先通过 Helmholtz 分解将速度场分解为梯度场与旋度场:

$$ u = \nabla \phi + \nabla \times (\psi e_\theta) + \tfrac{\Lambda}{r} e_\theta, $$

其中 $\Lambda(x, r) := r u \cdot e_\theta$ 为角动量密度。将欧拉系统转化为关于 $(S, \Lambda, \phi, \psi)$ 的耦合系统:

$$ \begin{cases} \text{div}(\varrho^\pm(S^\pm, q^\pm) q^\pm) = 0, \\ -\Delta(\psi^\pm e_\theta) = G^\pm(S^\pm, \Lambda^\pm, \partial_r S^\pm, \partial_r \Lambda^\pm, \nabla \phi^\pm, t^\pm) e_\theta, \\ \varrho^\pm(S^\pm, q^\pm) q^\pm \cdot \nabla S^\pm = 0, \\ \varrho^\pm(S^\pm, q^\pm) q^\pm \cdot \nabla \Lambda^\pm = 0, \end{cases} $$

其中 $q^\pm := q(\nabla \phi^\pm, \nabla \times (\psi^\pm e_\theta), \tfrac{\Lambda^\pm}{r} e_\theta)$,$t^\pm := q^\pm - \nabla \phi^\pm$,$\varrho^\pm$ 和 $G^\pm$ 由 (3.7) 定义。此分解将问题转化为椭圆-双曲混合系统,便于分析。

关键估计包括:(1) 通过构造比较函数并应用比较原理,获得与截断域长度 $L$ 无关的 $C^{1,\alpha}$ 估计;(2) 利用圆柱宽度有限性和总质量通量守恒确定自由边界条件;(3) 对角点奇异性应用反射方法,配合相容性条件保证解的正则性。具体而言,在截断域 $\Omega_L$ 上,作者证明了命题 4.1:存在仅依赖于数据但与 $L$ 无关的常数 $\varepsilon_1^\star > 0$、$\sigma_1^\star > 0$ 和 $C > 0$,使得当 $u_0^+ \leq \varepsilon_1^\star$ 且 $\sigma \leq \sigma_1^\star$ 时,问题 4.1 有唯一解满足:

$$ \left\|f - \tfrac{1}{2}\right\|_{2,\alpha,(0,L)} + \sum_{\pm} \left( \|S^\pm - S_0^\pm\|_{1,\alpha,\Omega_{f,L}^\pm} + \left\|\tfrac{\Lambda^\pm}{r} e_\theta\right\|_{1,\alpha,\Omega_{f,L}^\pm} + \|\phi^\pm - \phi_0^\pm\|_{2,\alpha,\Omega_{f,L}^\pm} + \|\psi^\pm e_\theta\|_{2,\alpha,\Omega_{f,L}^\pm} \right) \leq C\sigma. $$

证明框架分三步:(1) 固定自由边界 $f$,求解 $(S^\pm, \Lambda^\pm, \phi^\pm, \psi^\pm)$;(2) 通过 Rankine-Hugoniot 条件更新 $f$;(3) 使用 Schauder 不动点定理证明迭代收敛。关键引理 4.4 通过线性化分析和 Schauder 估计建立了迭代映射的压缩性,确保了唯一性。最终通过极限论证 $L \to \infty$ 获得无限长圆柱体上的解,其中一致估计保证了极限过程的可行性。

4. 与之前工作的比较

与文献 [4] 的比较:[4] 研究了分离静止流与非零涡度流的接触间断(即一侧为常状态 $U_0^+ = (\rho_0^+, u_0^+, p_0)$,$u_0^+ = 0$),此时 Rankine-Hugoniot 条件 $[\rho u \cdot n]_\Gamma = 0$ 自动满足,问题简化为单相自由边界问题。而本文中两侧均为非静止流($u_0^\pm \neq 0$)且均含非零涡度,所有 Rankine-Hugoniot 条件均需显式满足,构成真正的两相自由边界问题。本文的迭代方案需同时更新两侧解和自由边界位置,技术难度显著提高。具体而言,[4] 的迭代仅需更新一侧解和自由边界,而本文需通过耦合系统同步更新两侧解,关键在于设计了边界条件 $\nabla \phi^\pm \cdot n_f^\pm + (\nabla \times \psi^\pm e_\theta) \cdot n_f^\pm = 0$ 和 $S^+(\varrho^+)^\gamma(S^+, q^+) = S^-(\varrho^-)^\gamma(S^-, q^-)$ 以保证迭代收敛。

与二维工作的比较:文献 [1, 3, 9] 研究了二维无限长喷管中的接触间断。[1] 针对等熵流使用流函数公式化,[3] 针对非零涡度流使用 Helmholtz 分解,[9] 使用流函数和补偿紧性论证处理涡片/熵波。本文推进到三维轴对称情形,主要差异在于:(1) 三维流引入角动量密度项 $\Lambda = r u \cdot e_\theta$,导致方程中出现 $\tfrac{\Lambda}{r} e_\theta$ 项,需处理 $r = 0$ 处的奇异性;(2) 轴对称假设下,Laplace 算子变为 $-\Delta(\psi e_\theta) = -\left( \partial_x^2 + \partial_r^2 + \tfrac{1}{r} \partial_r - \tfrac{1}{r^2} \right)\psi e_\theta$,增加了 $r^{-1} \partial_r$ 和 $r^{-2}$ 项,正则性分析更为复杂;(3) 三维自由边界 $C_f$ 为曲面而非曲线,几何复杂度提高。本文通过引入 $\tfrac{\Lambda}{r} e_\theta$ 项并证明其 $C^{1,\alpha}$ 正则性,克服了 $r = 0$ 处的奇异性。

适用范围与代价:本文结果适用于小扰动情形($u_0^+$ 和 $\sigma$ 充分小),而 [9] 的补偿紧性方法可处理大扰动但仅限于二维。与 [4] 相比,本文放宽了接触间断一侧为静止流的限制,但代价是需要更严格的入口数据条件(支撑集限制和小性假设)。时间尺度上,本文解的误差阶为 $O(\sigma)$,与 [4] 一致,但常数 $C$ 依赖于三维结构。局限性在于:(1) 仅适用于轴对称情形,无法推广到完全三维非对称流;(2) 需要入口数据在特定区域为零(条件 (2.3)-(2.4)),以避免角点奇异性影响;(3) 亚音速条件 $|u| < \sqrt{\gamma p / \rho}$ 限制了速度范围。本文方法为三维流自由边界问题提供了新框架,但超音速或跨音速接触间断(如 [10, 11] 所研究)仍需不同技术。


了解领域论文(摘要翻译)

1. Sobolev 空间中广义光滑性的矩阵抛物型问题

Matrix parabolic problems in Sobolev spaces of generalized smoothness

作者: Valerii Los, Vladimir Mikhailets, Aleksandr Murach

类别: math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03967v1

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

摘要翻译

中文标题: Sobolev 空间中广义光滑性的矩阵抛物型问题

摘要翻译: 我们研究 Petrovskii 抛物型微分系统在具有广义光滑性的 Sobolev 各向异性分布空间中的一般线性抛物型问题。此处的附加广义光滑性不能仅由数值指标刻画,而需借助缓变函数(slowly varying functions)进行表征。我们证明:该问题在适当配对的此类空间上诱导出拓扑同构。作为应用,我们给出了该问题解具有由这些空间所表达的预设广义正则性(generalized regularity)的充分必要条件。利用这些空间,可得到解的指定广义偏导数连续性的精确条件。


2. 填补空白:Maz’ya-Shaposhnikova 公式与分数阶周长的渐近行为

Closing the gap: Maz’ya-Shaposhnikova and asymptotics of fractional perimeters

作者: Elisa Davoli, Alberto Fanizza, Marco Picerni

类别: math.AP, math.MG

发布日期: 2026-05-05

arXiv ID: 2605.03955v1

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

摘要翻译

中文标题: 填补空白:Maz’ya-Shaposhnikova 公式与分数阶周长的渐近行为

摘要翻译: 我们证明了 $p=2$ 情形下 Maz’ya-Shaposhnikova 公式的推广,适用于未必属于 ${L^2}(\bR^d)$ 的函数,因而未必在无穷远处趋于零。通过引入‘无穷远处质量’的概念,我们显式刻画了 Gagliardo 半范数在有界 Lipschitz 区域 $Ω$ 上的局部化版本当 $s\to0^+$ 时的极限。此处所谓‘局部化’是指我们仅计入至少有一个点落在 $Ω$ 内的相互作用。所识别出的极限泛函为经典 Maz’ya-Shaposhnikova 公式与非局部周长的渐近行为提供了统一框架。一方面,对在 $\bR^d$ 上全局可积的函数,该泛函退化为经典的 $L^2$ 范数;另一方面,当将其作用于集合的特征函数时,它恰好复原 $s$-分数阶周长的逐点极限。我们进一步证明,该泛函亦以弱-$L^2$ 拓扑下的 Gamma-收敛意义编码了 Gagliardo 半范数的渐近行为。最后,我们将该结果推广至度量测度空间的设定。


3. 仿射分数阶Sobolev不等式的精确稳定性

Sharp Stability for the Affine Fractional Sobolev Inequality

作者: Song Fan, Gui-Dong Li, Jianjun Zhang

类别: math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03732v1

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

摘要翻译

中文标题: 仿射分数阶Sobolev不等式的精确稳定性

摘要翻译: 本文证明了Haddad–Ludwig(\emph{Math. Ann.} \textbf{388} (2024), 1091–1115)引入的仿射分数阶 $L^2$-Sobolev不等式在齐次空间 $\dot H^s(\mathbb R^n)$(其中 $0<s<1$)上的精确定量稳定性结果。特别地,我们确定了仿射Hessian的核空间,计算出精确的局部谱隙,并证明最优全局稳定性常数严格小于相应的局部谱值。


4. Trudinger-Moser 不等式的定量稳定性

Quantitative stability for the Trudinger-Moser inequality

作者: João Henrique Andrade, José Francisco de Oliveira, João Marcos do Ò, Abiel Costa Macedo, Jesse Ratzkin

类别: math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03668v1

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

摘要翻译

中文标题: Trudinger-Moser 不等式的定量稳定性

摘要翻译: 我们在欧几里得平面中光滑有界区域上建立了 Trudinger-Moser 不等式的定量稳定性估计。更具体地,我们证明:若(i)指数增长速率足够小,或(ii)区域为圆形盘,则 Trudinger-Moser 不等式的亏量(deficit)以二次方式控制函数到极值函数集合的距离。后一估计即使在临界情形下依然成立。两个证明均依赖于我们新证明的一个谱隙(spectral gap),该谱隙本身可能具有独立兴趣。此外,我们还证明了相同的稳定性估计在非退化情形下亦成立,且该非退化性是泛型的(generic)。


5. 由混合局部-非局部算子驱动且具有指数非线性的热方程

Heat equations driven by mixed local-nonlocal operators with exponential nonlinearity

作者: Dharmendra Kumar Chaurasia, Ahmad Z. Fino, Vishvesh Kumar

类别: math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03657v1

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

摘要翻译

中文标题: 由混合局部-非局部算子驱动且具有指数非线性的热方程

摘要翻译: 我们研究如下热方程的柯西问题,其演化由混合局部-非局部算子 $\mathcal{L}:=-\Delta+(-\Delta)^s$,$s\in(0,1)$ 驱动,并带有指数型非线性项:

$$ \partial_tu(x,t)+\mathcal{L}u(x,t)=f(u(x,t)), \qquad (x,t)\in \mathbb{R}^{d}\times(0,\infty), $$

其中 $f:\mathbb{R}\to\mathbb{R}$ 在无穷远处呈指数增长,且满足 $f(0)=0$。当 $f(u)\sim e^{|u|^p}$($|u|\to\infty$)且 $p>1$ 时,我们在适当的 Orlicz 空间中建立了该问题的局部适定性。进一步,在 $f$ 满足原点邻域内的增长条件 $|f(u)|\sim |u|^m$ 的假设下,我们证明了小初值对应的全局解的存在性。此外,我们在 Lebesgue 空间中导出了大时间衰减估计,表明非线性项在原点附近的行为决定了解的衰减速率,并凸显出一种独特的渐近过渡现象,该现象衔接了局部与非局部扩散理论。


6. Stein 变分梯度下降动力学在高度集中核下的行为

Stein Variational Gradient Descent dynamics for highly concentrated kernels

作者: José A. Carrillo, Jakub Skrzeczkowski, Jethro Warnett

类别: math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03627v1

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

摘要翻译

中文标题: Stein 变分梯度下降动力学在高度集中核下的行为

摘要翻译: Stein 变分梯度下降(SVGD)是一种在实践中被广泛使用的可扩展采样算法,其粒子更新为确定性过程。我们研究其在核带宽趋于零的奇异极限下的行为。在此极限下,我们证明非局部 SVGD 动力学收敛于一个局部演化方程,该方程可形式地解释为具有二次迁移率(quadratic mobility)的 Wasserstein 梯度流。我们在两类设定下分析该奇异极限:可积核(integrable kernels)与加权核(weighted kernels)。在加权核情形中,证明依赖于近期建立的 Stein-log-Sobolev 不等式,该不等式提供了所需的函数型控制。总体而言,我们的结果阐明了 SVGD 如何随着核的集中,从一个非局部相互作用粒子系统坍缩为一个局部梯度流动力学。


7. 通过离散图逼近具可控几何的度量测度空间上的调和函数

Approximation of harmonic functions on metric measure spaces of controlled geometry via discrete graphs

作者: Almaz Butaev, Liangbing Luo, Nageswari Shanmugalingam

类别: math.AP, math.MG

发布日期: 2026-05-05

arXiv ID: 2605.03332v1

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

摘要翻译

中文标题: 通过离散图逼近具可控几何的度量测度空间上的调和函数

摘要翻译: 给定一个完备的加倍度量测度空间 $X$,且 $X$ 支持 $2$-Poincaré 不等式,我们对具有给定 Newton-Sobolev 边界数据的有界区域 $Ω$ 上的调和函数进行逼近。我们的方法基于用一族图来逼近底层空间 $X$。该逼近调和函数被实现为由图极小元所生成的一列函数的弱极限。我们证明:该函数是定义在 $N^{1,2}_0(Ω)$ 上某个非线性能量泛函的极小元;而该能量泛函又被 $N^{1,2}(X)$ 上的上梯度能量所控制。定义在 $N^{1,2}_0(Ω)$ 上的这一能量泛函,是通过将逼近图上的离散能量泛函投影后所得一列诱导能量泛函的 $Γ$-极限而获得。


8. 当 $p \to 1$ 时 $p$-调和函数边界导数的爆破与衰减:非局部性

Explosion versus decay for boundary derivatives of $p$-harmonic functions as $p$ tends to 1: nonlocality

作者: Yuval Peres, Han Wang

类别: math.AP, math.PR

发布日期: 2026-05-05

arXiv ID: 2605.03322v1

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

摘要翻译

中文标题: 当 $p \to 1$ 时 $p$-调和函数边界导数的爆破与衰减:非局部性

摘要翻译: 我们考虑有界 Lipschitz 区域 $Ω\subset \mathbb{R}^d$ 上 $p$-Laplace 方程的 Dirichlet 问题,其边界条件为取值于 $\{0,1\}$ 的函数,并研究解在边界上的法向导数关于参数 $p$ 的依赖性,其中 $p\downarrow1$。我们给出了该导数以速率 $\frac{C_Ω}{p-1}$ 爆破以及以速率 $\exp(-\frac{c_Ω}{p-1})$ 衰减的充分条件。出人意料的是,爆破或衰减的发生并非由局部性质决定。我们还构造了一个柱体的临界例子,在该例子中该导数以速率 $\frac{C_d}{\sqrt{p-1}}$ 爆破。


9. 随机 Itô 方程与具有奇异漂移项的抛物型二阶方程

Stochastic Itô Equations and Parabolic Second-Order Equations with singular Drift

作者: N. V. Krylov

类别: math.PR, math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03236v1

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

摘要翻译

中文标题: 随机 Itô 方程与具有奇异漂移项的抛物型二阶方程

摘要翻译: 本书旨在介绍随机 Itô 方程理论中若干最新成果,其中漂移项(即确定性部分)具有奇异性,并阐述其在具奇异一阶系数的二阶椭圆型与抛物型方程中的应用。该奇异性通过 Morrey 空间刻画,从而允许比 Lebesgue 空间中所容许的更为奇异的系数;例如,允许一阶系数在原点附近具有 $1/|x|$ 量级的行为。

本书第一部分处理仅具可测系数的方程,并研究对应于抛物型算子的 Markov 扩散时非齐次过程 $X$。特别地,我们探讨了混合范数抛物型 Aleksandrov 估计、Harnack 不等式以及 $X$-调和函数(即 $X$-caloric 函数)的 Hölder 连续性。由此导出偏微分方程领域中相应的结果,包括推广的 Aleksandrov 极大值原理、Harnack 不等式以及 PDE-调和函数(即 PDE-caloric 函数)的 Hölder 连续性。

余下两章聚焦于 Itô 方程的弱解与强解,这要求对扩散矩阵(或在 PDE 语言中对应的二阶系数)施加一定的正则性限制。我们给出了迄今最优的、以 Morrey 空间为框架的条件,用以保证具奇异漂移项的 Itô 方程之弱解与强解的存在性与唯一性。我们的多数主要结果即使在漂移项恒为零的情形下亦属全新。


10. 二维径向对称稳态时空上线性波的晚期尾项

Late-time tails for linear waves on radially symmetric stationary spacetimes of two space dimensions

作者: Onyx Gautam

类别: math.AP, gr-qc

发布日期: 2026-05-04

arXiv ID: 2605.03220v1

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

摘要翻译

中文标题: 二维径向对称稳态时空上线性波的晚期尾项

摘要翻译: 我们证明,在 $(2 + 1)$ 维闵可夫斯基时空的径向对称稳态扰动上,线性波动方程解的晚期渐近展开的主导项正比于 $u^{-1/2}v^{-1/2}$(该函数在闵可夫斯基时空中满足波动方程),其中 $u$ 与 $v$ 为双零坐标。我们的证明借鉴了 Gajic(arXiv:2203.15838)关于施瓦西时空中带反平方势的波动方程所发展的物理空间技术。特别地,我们将 Dafermos–Rodnianski(arXiv:0910.4957)提出的 $r^p$-加权能量估计推广至二维空间情形。


11. 在有限可微性假设下带空间-特征型初值的二阶拟线性双曲系统在加权Sobolev型空间中的解

Solution of second-order hyperbolic quasilinear systems with spatio-characteristic initial data in weighted Sobolev-type spaces under finite differentiability assumptions on the data

作者: Louokdom Tamto Paul Giscard, Duplex Elvis Houpa Danga, Kouakep Tchaptchie Yannick

类别: math.AP, math-ph

发布日期: 2026-05-04

arXiv ID: 2605.03122v1

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

摘要翻译

中文标题: 在有限可微性假设下带空间-特征型初值的二阶拟线性双曲系统在加权Sobolev型空间中的解

摘要翻译: 本工作的目标是在加权Sobolev型空间中建立空间-特征型二阶拟线性双曲问题的解的存在性与唯一性,以澄清并完善H. Müller zum Hagen与H. J. Seifert在《Gen. Rel. and Gravit.》1977年发表的先前工作。我们在P. G. Louokdom tamto正在进行的博士论文(2026年)中利用该结果,建立了二阶拟线性Goursat问题的半整体存在性与唯一性结果,其中二阶导数的系数关于未知函数呈线性依赖,且在加权Sobolev型空间中成立;该结果将应用于谐波规范下的真空Einstein方程。


不相关论文(基本信息)

1. 非散度型奇异半线性椭圆方程

Singular semilinear elliptic equations in nondivergence form

作者: Agnieszka Kałamajska, Dalimil Peša, Artur Rutkowski

类别: math.AP, math.FA

发布日期: 2026-05-05

arXiv ID: 2605.03704v1

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

摘要: We study the singular semilinear equation $-Pu = \frac{f}{u^γ}$ on a bounded domain $Ω$ with Dirichlet condition $u \equiv 0$ on $\partial Ω$ , where $P$ is a second-order elliptic differential operator in nondivergence form. We obtain the existence of a solution under the assumptions that $Ω\in C^{1,1}$ and $P$ has $C^1$ coefficients, as well as the uniqueness of solutions in $L^1(Ω)$, under the assumptions that $Ω\in C^2$ and $P$ has $C^2$ coefficients. Our proofs are based on a novel combination of tools, such as recently obtained nonlinear variants of Gagliardo–Nirenberg inequalities, estimates of Green functions, and new variants of Kato-type inequalities.


2. 关于描述细胞极化的自由边界问题中正性区域形状的研究

On the shape of the positivity region for a free boundary problem describing cell polarization

作者: Sebastián Flores Sepúlveda, Barbara Niethammer, Juan J. L. Velázquez

类别: math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03553v1

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

摘要: In this paper we study a mass-constrained free boundary problem modeling cell polarization, in the regime where the mass is small. In the generic case of a signal with nondegenerate maxima, we prove that the solution converges locally to a global, integrable solution to an obstacle problem in the plane. We further show that the interface of the solution to the limit problem is an ellipse, the equation of which is explicit. We also study some cases where the signal has degenerate maxima, highlighting a variety of possible behaviors.


3. de Sitter 空间的稳定性与共形边界处的膨胀

Stability of de Sitter Space and Expansion at the Conformal Boundary

作者: Maurus Leimbacher

类别: math.AP, gr-qc

发布日期: 2026-05-05

arXiv ID: 2605.03481v1

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

摘要: Using an approach similar to arXiv:2409.15460, we give a new proof of the nonlinear stability of de Sitter space as a solution to the Einstein vacuum equations with positive cosmological constant in $n+1$ dimensions, with $n\geq3$. Using the gauge freedom of the equations, we are able to prove a precise expansion of the perturbed spacetime at the conformal boundary. In $n=$ odd spatial dimensions, the conformally rescaled metric is smooth up to the future conformal boundary and in $n=$ even spatial dimensions it is smooth if and only if the obstruction tensor of the boundary metric vanishes; if not, then the conformally rescaled metric is log smooth at the boundary. These results also hold for asymptotically de Sitter spaces. Using the results of Fefferman and Graham (1985, Conformal invariants), arXiv:0710.0919, arXiv:1705.09674 and arXiv:2311.02739, the structure of our expansion allows us to establish a 1-1 correspondence between solutions to the Einstein vacuum equations close to de Sitter space and scattering data prescribed on the conformal boundary in general dimension.


4. Carleman 线性化下的无界生成元非线性半群

Nonlinear semigroups with unbounded generators under Carleman linearization

作者: Sitanshu Gakkhar, Ala Shayeghi, David C. Del Rey Fernández

类别: quant-ph, math.AP

发布日期: 2026-05-05

arXiv ID: 2605.03381v1

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

摘要: We treat the convergence of Carleman linearization of nonlinear evolutionary equations through the approximation theory of strongly continuous semigroups, by Carleman embedding the underlying nonlinear semigroups as linear semigroups. Linear semigroup theory then lets one replace the norm constraint on the convergence of Carleman linearization in the form used by quantum algorithms for a class of semi-discretized evolution equations by a dissipativity constraint, simplifying arguments for convergence. Applying Trotter-Kato approximation theorem to the linearized semigroup realizes the semigroup as a limit finite dimensional operator exponentials, reducing the question of convergence rate of Carleman linearization to that of the Trotter-Kato approximation. We then examine convergence of the Carleman linearization as the operators become unbounded, treating the hyperviscuous Burger’s equation as an example. Next we consider the perturbation theory of the Carleman semigroup and obtain conditions when polynomial nonlinearities correspond to the Carleman linearized semigroup being a $1$-integrated semigroup, so convergence is implied by variants of Trotter-Kato approximation for integrated semigroups.