Home » 论文总结

2026年08月25日论文分析

共有 10 篇重点关注论文, 17 篇论文可以了解, 45 篇不相关论文

August 25, 2026 · 66 min · 13970 words · P0lyno3ial

Table of Contents

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

生成时间: 2026年08月25日 03:32:43

运行状态: 完成

计划处理论文数量: 72

已完成论文数量: 72

未完成论文数量: 0

重点关注论文数量: 10

了解领域论文数量: 17

不相关论文数量: 45

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

1. 稳态Navier-Stokes流体-结构相互作用问题中数据到解映射的解析性

Analyticity of the data-to-solution map for a stationary Navier-Stokes fluid-structure interaction problem

作者: Iva Mikuš, Boris Muha

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23314v1

摘要翻译: 我们考虑一个稳态流体-结构相互作用问题，其中稳态Navier-Stokes方程通过自由弹性界面与一个夹持的Euler-Bernoulli梁方程相耦合。利用固定域表述的复化以及全纯隐函数定理，我们证明了在平凡解的邻域内，从右端项到弱解的映射是实解析的。作为副产品，我们得到了该耦合系统的小数据存在性和局部唯一性结果。我们的动机来源于参数化偏微分方程的数据驱动降阶建模，其中逼近性质与解映射的正则性密切相关。数值上，一个制造解测试展示了所报告的相对 $$L^2$$ 误差具有约二阶收敛性，而对一个参数化力族的正交分解研究则表明经验重构误差快速衰减直至达到数值下限。

Comment: 23 pages, 3 figures, 2 tables

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

1. 研究对象和背景

在计算科学与工程领域，构建参数化偏微分方程的高效代理模型（surrogate models）是一个重要课题。给定一个参数 $\mu$ 属于某个允许集，目标是快速且准确地逼近解映射 $\mu \mapsto u(\mu)$ ，这在多查询模拟、不确定性量化、优化及反问题中有广泛应用。数据驱动的降阶模型（data-driven reduced-order models）从一组高保真解 $\{u(\mu_i)\}_{i=1}^N$ 构建低维近似。经典的线性方法包括正交分解（proper orthogonal decomposition, POD）和基缩减方法（reduced-basis methods），非线性替代方案则包括基于深度学习的降阶模型。这些方法的逼近性质不仅依赖于正则性，但解映射的正则性是定量逼近理论的基本要素。对于有限维参数集，受控的全纯延拓可以产生指数型的逼近率；而对于可数参数化问题，逼近率还依赖于稀疏性或可求和性假设。

本文的研究动机是将此方法论应用于流体-结构相互作用（FSI）问题。近期工作表明，基于深度学习的降阶模型对包含几何参数化的参数化 PDE 有效，数值实验暗示相关方法可能对 FSI 问题有用，其中流体域由未知的结构位移决定。然而，与固定域问题相比，FSI 降阶模型的理论基础发展较少。第一步是分析具有代表性的 FSI 问题的数据到解映射的正则性，这正是本文的目标。

这里研究的问题不仅仅是解对预设几何的依赖。对于参数化域族上的稳态 Stokes 和 Navier-Stokes 方程，关于形状参数的光滑和解析依赖已被广泛研究。但在我们的设定中，域本身是耦合系统的未知量，由流体-结构平衡自洽地确定。参数是作用在流体上的体积力， $(u, p, \eta)$ 分别表示流体速度、流体压力和梁的位移。我们研究这个耦合构型对力的依赖关系，这种依赖包含了移动边界的几何非线性和非线性流体-结构耦合。

作为基准问题，我们考虑平面通道中的稳态不可压缩 Navier-Stokes 方程，其顶部边界是一根线性弹性梁。梁在端点处被夹紧，流体-结构耦合通过变形界面上的流体牵引力实现。因此，流体域的几何形状是问题的未知量，由梁的位移决定。主要结果表明，在平凡解的邻域内，将每个体积力关联到对应的弱解 $(u, p, \eta)$ 的映射是实解析的。

证明基于全纯隐函数定理，应用于固定参考域上，经过拉回变换后分离了几何非线性和方程的泛函分析结构。作为副产品，我们获得了耦合 Navier-Stokes-梁系统的小数据存在性和局部唯一性结果。分析必须同时处理流体域的自由边界特征以及体流体和低维结构之间的维度不匹配。

2. 主要定理或主要结果

主要结果是定理 2.5：存在 $\rho > 0$ 和 $$X$$ 中 $$(0, 0, 0, 0)$$ 的一个开邻域 $$U$$ ，使得对于每个满足 $\|b f\|_{L^2(\hat{\Omega})} < \rho$ 的 $b f \in L^2(\hat{\Omega})^2$ ，弱问题 (13)-(16) 有唯一解

(bu(bf), bp(bf), \eta(bf), c(bf)) \in U.

此外，数据到解映射

b f \mapsto (bu(b f), bp(b f), \eta(b f), c(b f))

是从 $L^2(\hat{\Omega})^2$ 中 $$0$$ 的邻域到 $$X$$ 的实解析映射。对于每个这样的力，对应的梁位移满足额外的正则性 $\eta(b f) \in H^{7/2}(0, L)$ 。

该定理表明，当 $$b f = 0$$ 时存在的平凡解 $(bu, bp, \eta, c) = (0, 0, 0, 0)$ 在右端项的充分小扰动下以解析依赖的方式持续存在。特别地，该定理给出了耦合问题的小数据局部存在性和唯一性结果。

数值实验部分显示，制造解测试（manufactured-solution test）在报告的相对 $$L^2$$ 误差中表现出约二阶收敛，而对参数力族的正交分解（POD）研究表明经验重构误差迅速衰减直至达到数值下限。

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

证明的核心障碍在于同时处理流体域的移动边界特征和体流体与低维结构之间的维度不匹配。作者的真正创新点是通过复杂化（complexification）固定域表述并结合全纯隐函数定理来证明数据到解映射的解析性。

首先，通过将系统拉回到固定参考域 $\hat{\Omega}$ ，消除了自由边界，并将几何非线性限制在显式依赖于 $\eta$ 的系数中。然后，作者复杂化得到的弱表述，并将其编码为单个非线性映射 $$F$$ ，其零点是弱解。一旦证明 $$F$$ 是全纯的，数据到解映射的实解析性就随之得出。全纯性归结为系数映射 $\eta \mapsto J_\eta, A_\eta$ 和弱牵引力函数的全纯性，即使复位移没有几何意义，它们在复杂化下仍然保持全纯。

在平凡状态处，线性化算子 $$D_X F(0)$$ 分裂为一个 Stokes 鞍点问题和一个夹紧双调和问题，它们通过线性化界面牵引力耦合。其可逆性，加上全纯性，使问题处于全纯隐函数定理的假设之内，从而得到局部解的存在性及其对力的解析依赖。

关键技术工具包括：

弱应力迹的定义：由于弱解的 Cauchy 应力仅在 $$L^2$$ 中，其法向迹没有逐点意义。作者通过提升（lifting）定义了弱法向迹。具体地，对于 $\phi \in V = H^2_0(0, L)$ ，定义了功能 $T(\eta, b f, bu, bp)(\phi)$ ，它实现了 Cauchy 应力在移动界面上的弱法向迹。这个功能对每个 $\hat{u} \in H^1_0(\hat{\Omega})^2$ 和 $\hat{p} \in L^2_0(\hat{\Omega})$ 都有意义，而不仅仅是对解有意义，这使得它可以进入隐函数定理所应用的映射中。
正则性估计：命题 2.4 证明了法向应力功能实际上属于 $H^{-1/2}(0, L)$ ，即 $(H^{1/2}_{00}(0, L))'$ 。这导致了结构位移的额外正则性 $\eta \in H^{7/2}(0, L)$ ，比建立弱表述所需的正则性更高。
全纯隐函数定理的应用：使用 Banach 空间隐函数定理的全纯推论，证明了在平凡解附近存在唯一的解析解映射。

4. 与之前工作的比较

本文与既有工作的比较可以从以下几个方面展开：

与整体弹性结构的 FSI 问题相比：Grandmont [Gra02] 在其开创性论文中研究了具有整体弹性结构的稳态 FSI，通过 Lagrangian 表述中对耦合系统应用不动点论证，证明了小数据的正则解存在。Galdi 和 Kyed [GK09] 发展了外部域中绕过可变形弹性体的流动的小数据存在性和唯一性理论。本文的分析属于同一广义框架，即拉回到参考构型、小数据假设、变分估计和隐函数论证，但由于涉及低维结构和函数值参数，需要对弹性界面上的流体牵引力进行仔细的弱定义。
与低维弹性结构的稳态 FSI 问题相比：早期例子包括二维无粘流与非线性弹性环的耦合 [LdCA91]。Bayada, Chambat, Cid 和 Vázquez [BCCV04] 证明了不可压缩 Stokes 流体与一维弹性杆模型（代表润滑装置的顶壁）之间的稳态耦合的存在性。流体方程是 Stokes 而非 Navier-Stokes，且耦合仅涉及压力载荷，但问题的几何形状和弹性位移在确定流体域中的作用与我们类似。相关的管壁相互作用在三维弹性壁的情况下在 [Sur07] 中研究。更近期的桥面和梁配置在稳态 Navier-Stokes 流中被考虑于 [GP22, BBG+24, BBG25]。我们考虑的问题的非稳态类似物，即不可压缩 Navier-Stokes 与板或壳的耦合，在过去二十年中被广泛研究；例如 [CDEG05, Gra08, MC13]。
与方法学相近的工作相比：第二类工作在 ALE 型变换后的固定参考域上处理稳态 FSI 问题，通常在最优控制、敏感性或形状计算的背景下。Lasiecka, Szulc 和 Żochowski [LSŻ18] 证明了混合边界条件下不可压缩 Navier-Stokes 方程与线性弹性耦合的小稳态解的适定性。[WW19, HK23] 建立了稳态 FSI 解相对于问题数据的可微性性质，[SS18, CLS23] 分析了形状敏感性。这些论文关注的是整体或三维线性弹性，而不是低维梁模型，并且它们的结果针对的是可微性或形状可微性。本文建立的贡献是关于无穷维右端项的数据到解映射的解析性。
推进与局限：本文将适用范围推进到低维梁模型与 Navier-Stokes 流的耦合，并证明了数据到解映射的解析性，而不仅仅是可微性。代价是需要小数据假设，并且目前只证明了弱解的存在性，没有声称全局强正则性（由于角点奇异性）。

2. Navier–Stokes–Fourier 系统流入问题趋向一般复合波的长时间动力学

Long-time dynamics toward a generic composite wave for the inflow problem of the Navier–Stokes–Fourier system

作者: Xushan Huang, Moon-Jin Kang, Hobin Lee, HyeonSeop Oh

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23186v1

摘要翻译: 我们研究半直线上 Navier–Stokes–Fourier 一维系统流入问题的解的时间渐近稳定性。我们考虑最一般的波型：退化边界层、稀疏波、粘性接触波和粘性激波的叠加。更具体地，若边界数据属于亚声速区域，且初始扰动以及边界层、粘性接触波和粘性激波的强度充分小，则流入问题的解收敛到相应的叠加态，其中激波允许存在一个依赖于时间的平移。然而，稀疏波被允许具有任意大的强度。为了控制粘性激波，我们采用带平移的 $$a$$ -收缩方法。我们分析的一个显著特点是，即使稀疏波具有大幅值时，该方法仍然适用。特别地，这在一般性设定下解决了包含粘性激波的 Navier–Stokes–Fourier 系统流入波型稳定性的开放问题。

Comment: 无

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

1. 研究对象和背景

本文研究一维 Navier-Stokes-Fourier (NSF) 系统在半直线 $\mathbb{R}^+ := (0, \infty)$ 上的入流问题的时间渐近稳定性. NSF 系统描述理想可压缩多原子气体的运动, 包含质量、动量和能量守恒方程, 并考虑了黏性耗散和热传导效应. 在拉格朗日质量坐标下, 系统可以写为:

\begin{cases} v_t - u_x = 0, \\ u_t + p(v, \theta)_x = \left(\mu \frac{u_x}{v}\right)_x, \\ E_t + (p(v, \theta)u)_x = \left(\kappa \frac{\theta_x}{v}\right)_x + \left(\mu \frac{uu_x}{v}\right)_x, \end{cases}

其中 $$v$$ 是比容 ( $1/\rho$ ), $$u$$ 是速度, $\theta$ 是绝对温度, $$E$$ 是总能量. 边界条件设定在 $$x=0$$ , 远场状态趋于 $(v^+, u^+, \theta^+)$ .

对于双曲守恒律系统, 解的长时间行为通常由 Riemann 问题的波结构决定. 在全空间 Cauchy 问题中, 典型的波型包括稀疏波、接触间断和激波. 然而, 在半直线的入流问题中, 由于边界的存在, 会出现一种额外的渐近模式: 边界层解 (stationary solution). 当边界状态 $$U_-$$ 位于亚声速区域时, 渐近波结构由边界状态 $$U_-$$ 和远场状态 $$U_+$$ 之间的连接方式决定.

本文关注最一般的波型叠加: 一个退化边界层解 (degenerate boundary layer)、一个稀疏波 (rarefaction wave)、一个黏性接触波 (viscous contact wave) 和一个黏性激波 (viscous shock wave) 的叠加. 这种组合涵盖了从边界到无穷远的所有典型流体物理现象. 尽管已有大量工作研究了 NSF 系统中单一波型或简单叠加 (如边界层与稀疏波) 的稳定性, 但包含黏性激波的一般复合波型的稳定性一直是一个开放问题. 特别是, 当稀疏波具有任意大的强度时, 传统的分析方法往往失效. 本文旨在解决这一空白, 证明在这种最一般的设置下, 只要边界层、接触波和激波的强度足够小, 且初始扰动足够小, 解就会收敛到上述复合波.

2. 主要定理或主要结果

本文的主要结果陈述在定理 1.1 中. 假设绝热指数 $1 < \gamma \le 2$ . 设 $U^* \in \Gamma^+_{\text{trans}}$ 是跨声速曲线上的一个状态, 固定一个超声速状态 $U_m \in \Omega^+_{\text{super}}$ 使得 $U_m \in R_1(U^*)$ (即 $$U_m$$ 在 $$U^*$$ 的第一稀疏曲线上). 则存在正常数 $\delta_0, \epsilon_0$ 使得以下结论成立:

对于满足 $U_- \in BL(U^*)$ , $U_c^* \in CD(U_m)$ , $U^+_s \in S_3(U_c^*)$ 的三个状态, 若它们的强度之和 $|U_- - U^*| + |U_m - U_c^*| + |U_c^* - U^+_s| < \delta_0$ , 则存在依赖于激波强度的大常数 $\beta > 0$ 和依赖于稀疏波强度的小常数 $\epsilon_r < 1$ . 令 $$U_R$$ 为由参数 $\epsilon_r$ 定义的平滑近似稀疏波. 如果初始数据 $$U_0$$ 满足:

\|U_0 - U^* - (U_R(0, \cdot) - U_m)\|_{L^2(0, \beta)} + \|U_0 - U^+_s - (U_R(0, \cdot) - U_m)\|_{L^2(\beta, \infty)} + \|(U_0 - U_R(0, \cdot))_x\|_{L^2(\mathbb{R}^+)} < \epsilon_0,

则入流问题存在全局光滑解 $$U(t, x)$$ . 此外, 存在一个 Lipschitz 连续的位移函数 $$X(t)$$ , 使得解相对于复合波背景 $\bar{U}(t, x) = U^{BL}(x-\sigma_- t) + U_R(t, x) + U_C(t, x) + U_S(x-\sigma t - X(t) - \beta) - U^* - U_m - U_c^*$ 的扰动满足:

(v - \bar{v}, u - \bar{u}, \theta - \bar{\theta}) \in C(0, \infty; H^1(\sigma_- t, \infty)),

(u - \bar{u})_{xx}, (\theta - \bar{\theta})_{xx} \in L^2(0, \infty; L^2(\sigma_- t, \infty)).

并且, 解在 $L^\infty$ 范数下渐近收敛到该复合波:

\sup_{x \in (\sigma_- t, \infty)} |U(t, x) - \bar{U}(t, x)| \to 0 \quad \text{as } t \to \infty,

同时位移函数的导数趋于零:

|\dot{X}(t)| \to 0 \quad \text{as } t \to \infty.

值得注意的是, 稀疏波的强度可以是任意的, 不需要是小量. 边界层、接触波和激波的强度必须小于 $\delta_0$ . 激波位置通过常数 $\beta$ 远离边界, 以控制边界不匹配项.

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

证明的核心框架是基于相对熵 (relative entropy) 的 $$L^2$$ 估计方法, 并结合了带位移的 $$a$$ -收缩 (a-contraction with shifts) 技术来控制黏性激波附近的扰动.

带位移的 a-收缩方法: 这是处理黏性激波稳定性的关键工具. 作者定义了一个加权相对熵泛函, 权重函数根据激波剖面构造. 通过对时间引入一个依赖的位移 $$X(t)$$ , 使得激波位置能够动态调整以吸收非线性相互作用产生的漂移. 这种方法允许作者在激波附近建立收缩性质, 从而控制高阶项.
大振幅稀疏波的处理: 主要技术难点在于稀疏波可能具有大振幅, 导致扩散系数不再均匀接近激波处的值. 作者利用 $1 < \gamma \le 2$ 的假设, 证明了量 $v_S \theta_S$ 的一个微妙单调性性质 (公式 5.33). 这一性质源于稀疏波保持熵不变的事实以及熵的显式表达. 这使得作者能够通过雅可比行列式估计, 将扩散项转化为有利于 Poincaré 不等式的形式, 从而恢复所需的耗散结构.
波相互作用估计: 由于边界层是退化的 (右状态在跨声速曲线上), 其衰减是代数型的而非指数型的, 这导致与其他波成分的相互作用衰减较慢. 作者引入了平滑近似稀疏波 $$U_R$$ , 其过渡层厚度为 $O(\epsilon_r^{-1})$ . 通过仔细选择 $\epsilon_r$ , 平衡了近似误差和非线性相互作用项的大小, 确保所有涉及稀疏波的相互作用项都是可控的小量.
边界项的控制: 在积分分部过程中产生的边界项是初边值问题特有的困难. 作者分析了各波成分在边界处的不匹配. 稀疏波在边界处的值与其左状态一致, 因此不产生边界不匹配. 接触波的边界不匹配随时间指数衰减. 对于激波, 利用先验估计保证位移速度 $\dot{X}(t)$ 足够小, 结合激波剖面的指数衰减, 将边界不匹配控制在 $e^{-c \delta_S \beta}$ 的量级. 最后, 通过插值不等式, 将这些边界项吸收到能量估计中.

4. 与之前工作的比较

与既有文献相比, 本文的主要推进体现在以下几个方面:

波型的一般性: 之前的工作如 Huang, Li, Shi [15] 证明了 NSF 系统中边界层、稀疏波及其叠加的稳定性; Qin and Wang [38, 39] 研究了非退化和退化边界层与稀疏波、接触波叠加的稳定性. 然而, 这些工作均未包含黏性激波. 对于 Navier-Stokes 系统, Huang, Matsumura, Shi [17] 证明了边界层与黏性激波叠加的稳定性, 但使用的是前驱函数法 (antiderivative method). 本文首次在最一般的设置下 (退化边界层 + 稀疏波 + 接触波 + 黏性激波) 证明了 NSF 系统入流问题的稳定性, 解决了该领域的长期开放问题.
稀疏波强度的放宽: 大多数关于复合波稳定性的结果都要求稀疏波的强度也是小量. 例如, 在全空间设置中, 许多工作假设所有波成分的强度都足够小. 本文的一个显著特点是允许稀疏波具有任意大的强度. 这需要更精细的分析来处理大振幅稀疏波与激波之间的相互作用, 特别是扩散系数的不均匀性. 这一点在 barotropic Navier-Stokes 系统的类似工作中 (如 [11, 35]) 也未曾完全实现.
方法论的创新: 本文采用了带位移的 a-收缩方法, 这是一种比传统前驱函数法更鲁棒的框架, 特别适用于处理包含激波的初边值问题. 该方法在之前的工作中 (如 [11, 19, 23]) 已被应用于半直线上的黏性激波, 但本文将其推广到包含大振幅稀疏波和退化边界层的复杂复合波情形. 通过引入平滑近似稀疏波并仔细平衡参数, 作者克服了大振幅稀疏波带来的技术障碍.
退化边界层的处理: 本文考虑的边界层是退化的, 其右状态位于跨声速曲线上. 这类边界层仅具有代数衰减, 使得其与远处波成分的相互作用分析更加复杂. 相比之下, 非退化边界层具有指数衰减, 分析相对简单. 本文通过精细的相互作用估计和插值技巧, 成功处理了这种慢衰减带来的影响.

3. Sobolev空间中广义SQG方程弱解的存在性

Existence of weak solutions to the generalized SQG equations in Sobolev spaces

作者: Anuj Kumar

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23059v1

摘要翻译: 我们考虑如下二维耗散型广义准地转表面方程：

Comment: 15 pages

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

1. 研究对象和背景

本文研究的是二维耗散广义表面准地转（gSQG）方程的Cauchy问题。该方程组由以下形式给出：

\partial_t \theta + u \cdot \nabla \theta + \nu(-\Delta)^\alpha \theta = 0, \quad u = \nabla^{\perp}\Lambda^{\beta-2}\theta

其中 $\theta(x,t)$ 是演化标量场， $$u(x,t)$$ 是由 $\theta$ 决定的平流速度场， $\alpha \in (0,1]$ 是耗散参数，而 $\beta \in (0,2)$ 描述了本构关系的奇异性。这里 $\Lambda^s = (-\Delta)^{s/2}$ 是分数阶Laplace算子。

这类方程在地球物理中具有重要意义，特别是当 $\beta=1$ 时即为经典的准地转（SQG）方程，它描述了强分层流体在快速旋转条件下的温度或浮力演化。对于一般的 $\beta$ ，当 $\beta \in [0,1]$ 时，方程在涡度形式的二维Euler方程 ( $\beta=0$ ) 和经典SQG方程之间进行插值；而当 $\beta \in (1,2)$ 时，则代表了一类具有越来越奇异的本构关系的活性标量方程。

根据耗散项与非线性项之间的平衡关系，SQG方程可以分为亚临界 ( $\alpha > 1/2$ )、临界 ( $\alpha = 1/2$ ) 和超临界 ( $\alpha < 1/2$ ) 三种情形。在亚临界和临界情形下，光滑解的全局存在性和唯一性已经得到解决。然而，在超临界情形下，光滑解的全局正则性仍然是一个著名的开放问题。尽管对于超临界情形，大初值数据的局部适定性、小初值数据的全局适定性以及解的Gevrey类平滑性已有诸多结果，但全局弱解的存在性及其性质仍是分析的核心关注点之一。

在弱解理论方面，Resnick最早证明了SQG方程的全局 $$L^2$$ 弱解的存在性。随后，Marchand将这一结果推广到更广泛的函数空间，证明了 $L^p(\mathbb{R}^2)$ ( $$p > 4/3$$ ) 和 $\dot{H}^{-1/2}(\mathbb{R}^2)$ 中弱解的全局存在性。对于gSQG方程，虽然已有工作在 $$L^2$$ 范数下建立了弱解的存在性，但这些结果通常局限于特定的 $\beta$ 范围或者未能覆盖整个参数区间 $$(0,2)$$ 。

本文旨在填补这一空白，即在更大的函数空间 $\dot{H}^{\frac{\beta}{2}-1}(\mathbb{R}^2)$ 中建立gSQG方程全局弱解的存在性，并覆盖整个参数范围 $\beta \in (0,2)$ 。这不仅推广了Marchand针对SQG方程的结果，也为理解此类奇异活性标量方程在低正则性初值下的行为提供了新的视角。

2. 主要定理或主要结果

本文的主要结果陈述于定理1.1中，具体如下：

定理 1.1 设 $T \in (0, \infty]$ ， $\alpha \in (0, 1]$ ，且 $\beta \in (0, 2)$ 。若初值 $\theta_0 \in \dot{H}^{\frac{\beta}{2}-1}(\mathbb{R}^2)$ ，则存在一个定义在 $(0,T) \times \mathbb{R}^2$ 上的弱解 $\theta(x,t)$ 满足方程 (1.1)，且该解具有以下正则性：

\theta \in L^\infty((0, T); \dot{H}^{\frac{\beta}{2}-1}(\mathbb{R}^2)) \cap L^2((0, T); \dot{H}^{\alpha+\frac{\beta}{2}-1}(\mathbb{R}^2)).

此外，该弱解满足如下能量不等式：

\|\theta(t)\|^2_{\dot{H}^{\frac{\beta}{2}-1}(\mathbb{R}^2)} + 2\nu \int_0^t \int_{\mathbb{R}^2} |\Lambda^{\alpha+\frac{\beta}{2}-1}\theta(s)|^2 dx ds \leq \|\theta_0\|^2_{\dot{H}^{\frac{\beta}{2}-1}(\mathbb{R}^2)}, \quad \forall t \in (0, T).

这一定理的关键在于初值所在的Sobolev空间指数 $s = \frac{\beta}{2}-1$ 依赖于参数 $\beta$ 。当 $\beta=1$ 时，这对应于 Marchand 得到的 $\dot{H}^{-1/2}$ 空间中的结果。对于 $\beta \in (0,2)$ 的整个区间，作者证明了在该特定低正则性空间中弱解的全局存在性。

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

证明全局弱解存在性的核心难点在于非线性项 $u \cdot \nabla \theta$ 在低正则性空间中的收敛性问题。由于初值仅属于 $\dot{H}^{\frac{\beta}{2}-1}$ ，直接的能量估计不足以处理非线性项的乘积结构，尤其是当 $\beta$ 接近 2 时，本构关系中的奇异算子 $\Lambda^{\beta-2}$ 使得分析变得极其微妙。

作者的真正创新点在于对非线性项结构的深刻观察和重新表述。借鉴 Marchand 的思想，作者发现可以将非线性项改写为交换子（commutator）的形式。具体而言，通过引理 3.1，作者证明了如下恒等式：

\int_{\mathbb{R}^2} \theta(\Lambda^{\beta-2}\nabla^{\perp}\theta) \cdot \nabla \phi dx = - \int_{\mathbb{R}^2} \theta[\Lambda^{\frac{\beta}{2}-1}\nabla^{\perp} \cdot, \nabla \phi](\Lambda^{\frac{\beta}{2}-1}\theta) dx.

这一变换将原本难以处理的三线性项转化为涉及交换子的形式，从而使得非线性项可以被定义为良定义的缓增分布（tempered distribution）。这是证明弱解存在性的关键一步，因为它确保了在取极限过程中非线性项的弱收敛性。

为了控制这些交换子项，作者发展了一套基于 Littlewood-Paley 分解的频率局部化估计技术。由于缺乏现成的非零阶奇异算子交换子估计，作者自行推导了一系列关键引理（如引理 2.3, 2.4, 2.5），这些引理利用 Fourier 表示和 Bernstein 不等式，对频率局部化的三线性项进行了精细估计。例如，引理 2.5 给出了形如 $\|[\Lambda^{-\sigma}\nabla^{\perp} \cdot, \nabla g]f\|_{\dot{H}^{\sigma+\nu}}$ 的估计，这对于控制高频部分至关重要。

在证明框架上，作者采用了人工粘性正则化方法。首先考虑带有额外粘性项 $-\epsilon \Delta \theta$ 的近似方程 (4.1)，该方程具有良好的光滑解。然后，利用均匀先验界（uniform a priori bounds）从近似解序列中提取弱收敛子列。最后，通过上述交换子估计和 Aubin-Lions-Simon 紧性引理，证明非线性项在分布意义下的收敛性，从而确立极限函数确实是原方程的弱解。

4. 与之前工作的比较

与既有文献相比，本文的主要推进体现在以下几个方面：

参数范围的扩展：此前的工作（如 [5, 24, 20, 13]）主要关注 $$L^2$$ 弱解的存在性，且往往局限于 $\beta \in (0,1]$ 或特定的 $\beta$ 范围。本文将结果推广到了整个 $\beta \in (0,2)$ 区间，涵盖了具有更强奇异性的本构关系。这使得理论能够统一处理从二维 Euler 方程到更奇异活性标量方程的广泛家族。
函数空间的改进：Marchand 在 [22] 中证明了 SQG 方程 ( $\beta=1$ ) 在 $\dot{H}^{-1/2}$ 中的弱解存在性。本文将该框架推广到更一般的 gSQG 方程，并在依赖于 $\beta$ 的空间 $\dot{H}^{\frac{\beta}{2}-1}$ 中建立了存在性。这种依赖参数的函数空间选择更加自然地反映了方程的结构，比固定的 $$L^p$$ 或 $$L^2$$ 空间更具适应性。
技术方法的深化：不同于早期主要依赖 $$L^2$$ 能量方法的工作，本文引入了复杂的交换子估计和 Littlewood-Paley 分解技术来处理低正则性下的非线性项。这种方法不仅解决了收敛性问题，还为未来研究更高阶奇异算子或不同维度的类似方程提供了可借鉴的分析工具。
与唯一性问题的关联：值得注意的是，虽然本文证明了弱解的存在性，但弱解的唯一性仍然是未解决的问题。Buckmaster, Shkoller 和 Vicol [3] 已经展示了在某些负 Sobolev 正则性下弱解的非唯一性。最近，Mengual 和 Solera [23] 也在 $\dot{H}^{\frac{\beta}{2}-1}$ 空间中发现了某些 gSQG 方程弱解的非唯一性。因此，本文的存在性结果与这些非唯一性结果共同构成了对该方程弱解理论的完整图景，即解可能存在但不唯一。

总体而言，本文通过将 Marchand 的框架扩展到更广泛的参数族和更自然的函数空间，显著推进了对广义 SQG 方程弱解理论的理解。

4. 稳态 Navier–Stokes Liouville 问题中的全局弱 Lorentz 涡量端点

The Global Weak-Lorentz Vorticity Endpoint in the Stationary Navier–Stokes Liouville Problem

作者: Wangzhe Wu

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22471v1

摘要翻译: 设 $$(v,p)$$ 为 $igl\mathbb R^3$ 中在无穷远处消失的光滑稳态 Navier–Stokes 流，并令 $ω:=igl\operatorname{curl}v$ 。我们证明如下端点蕴含关系

Comment: 无

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

1. 研究对象和背景

本文研究三维稳态 Navier-Stokes 方程的 Liouville 定理，即证明在特定条件下，无穷远处趋于零的光滑解必须恒为零。考虑如下方程组：

-\Delta v + (v \cdot \nabla)v + \nabla p = 0, \quad \text{div } v = 0 \quad \text{in } \mathbb{R}^3,

其中 $$v$$ 为速度场， $$p$$ 为压力场，且满足边界条件 $v(x) \to 0$ 当 $|x| \to \infty$ 。设涡度场 $\omega := \text{curl } v$ 。

Liouville 定理旨在刻画这类无穷域稳态流动的刚性。经典的 Liouville 定理通常要求有限的 Dirichlet 能量 $D(v) = \int_{\mathbb{R}^3} |\nabla v|^2 dx < \infty$ ，但即使加上这一条件，是否足以迫使 $v \equiv 0$ 仍然是一个开放问题（参见 [8, 11]）。因此，研究者转而寻找更精细的先验估计或衰减条件来排除非平凡解的存在性。

在已有的文献中，Chae 和 Wolf [3] 证明了若 $\omega \in L^{9/5}(\mathbb{R}^3)$ ，则 $v \equiv 0$ 。Kozono、Terasawa 和 Wakasugi [10] 研究了临界点态尺度 $|\omega(x)| \sim |x|^{-5/3}$ ，并证明了若该尺度下的某种范数有限，且满足额外的相对小性条件，则 $v \equiv 0$ 。然而，这些结果要么假设了强 $L^{9/5}$ 可积性，要么需要额外的小性假设。

本文的核心贡献在于将 Chae-Wolf 的结果推广到弱 Lorentz 空间端点 $L^{9/5, \infty}(\mathbb{R}^3)$ ，并去除了 Kozono-Terasawa-Wakasugi 结果中的相对小性条件。具体来说，作者证明了：若 $\omega \in L^{9/5, \infty}(\mathbb{R}^3)$ ，则 $v \equiv 0$ 。这一结果是“临界”的，因为指数 $$9/5$$ 与远场重标度 $V_R(y) = R^{2/3}v(Ry)$ 和 $\Omega_R(y) = R^{5/3}\omega(Ry)$ 相关联，且 $L^{9/5, \infty}$ 在此重标度下是不变的。此外，模型尾项 $|x|^{-5/3}\mathbf{1}_{\{|x|>1\}}$ 属于 $L^{9/5, \infty}$ 但不属于 $L^{9/5}$ ，表明该条件是严格扩展的。

值得注意的是，本文不预先假设 Dirichlet 能量有限，而是通过涡度的弱 Lorentz 界推导出有限能量。这一推导依赖于端点 Biot-Savart 映射和 Seregin-Wang 的环状 Lorentz 估计。随后，通过对累积 $L^{9/5}$ 质量的日志控制，选择特定的吹缩尺度，使得稳态 Euler 极限满足 Bernoulli 伴随律，最终迫使能量通量消失，从而证明原解的能量为零，进而得到 $v \equiv 0$ 。

2. 主要定理或主要结果

本文的主要结果如下：

定理 1.1 (全局弱 Lorentz 涡度端点)：设 $$(v, p)$$ 是 $\mathbb{R}^3$ 中方程 (1.1) 的光滑解，且 $v(x) \to 0$ 当 $|x| \to \infty$ 。令 $\omega = \text{curl } v$ 。若

\omega \in L^{9/5, \infty}(\mathbb{R}^3),

则 $v \equiv 0$ 。

此定理不要求对弱 Lorentz 范数施加任何小性条件，也不预先假设 Dirichlet 能量有限。有限 Dirichlet 能量是从假设 (1.4) 中推导出来的（见定理 2.1）。

推论 1.2 (无小性的临界点态判据)：设 $$(v, p)$$ 是 $\mathbb{R}^3$ 中方程 (1.1) 的光滑解，且 $v(x) \to 0$ 当 $|x| \to \infty$ 。若

E_\omega := \limsup_{|x| \to \infty} |x|^{5/3}|\text{curl } v(x)| < \infty,

则 $v \equiv 0$ 。

推论 1.2 是定理 1.1 的直接推论，因为它意味着 $|\omega(x)| \le C|x|^{-5/3}$ 在足够大的球外成立，结合光滑性，这等价于 $\omega \in L^{9/5, \infty}(\mathbb{R}^3)$ 。与 Kozono-Terasawa-Wakasugi 的结果相比，此处去除了额外的相对小性条件 $E_\omega^3 \le \delta D(v)$ 。

定理 2.1 (端点 Biot-Savart 表示与有限能量)：设 $$(v, p)$$ 是方程 (1.1) 的光滑解，且 $v(x) \to 0$ 当 $|x| \to \infty$ 。若 $\omega \in L^{9/5, \infty}(\mathbb{R}^3)$ ，则 $$v$$ 可以表示为

v(x) = \frac{1}{4\pi} \int_{\mathbb{R}^3} \frac{\omega(y) \times (x-y)}{|x-y|^3} dy,

且积分绝对收敛。此外，有如下估计：

\|v\|_{L^{9/2, \infty}(\mathbb{R}^3)} \le C \|\omega\|_{L^{9/5, \infty}(\mathbb{R}^3)},

以及

D(v) := \int_{\mathbb{R}^3} |\nabla v|^2 dx \le C \|\omega\|_{L^{9/5, \infty}(\mathbb{R}^3)}^3.

这些结果为后续证明提供了有限能量的基础，并且揭示了弱 Lorentz 涡度界如何转化为速度的弱 Lorentz 界和有限 Dirichlet 能量。

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

本文的证明分为四个主要步骤，结合了函数分析、调和分析和 PDE 理论的工具。

端点映射与有限能量恢复：
- 首先，利用弱 Hardy-Littlewood-Sobolev 不等式，从 $\omega \in L^{9/5, \infty}$ 得到 $v \in L^{9/2, \infty}$ 。
- 接着，应用 Seregin 和 Wang [15] 的环状 Lorentz 估计，特别是其定理 1.1(i) 的端点情形，得到 $\nabla v \in L^2(\mathbb{R}^3)$ ，即有限 Dirichlet 能量。这一步的关键在于验证 Seregin-Wang 估计的速度假设，并通过 Biot-Savart 表示固定全空间的归一化。
日志控制与尺度选择：
- 弱 $L^{9/5}$ 并不蕴含强 $L^{9/5}$ ，但其全局分布界与恢复的 $$L^2$$ 涡度控制相结合，给出了累积 $L^{9/5}$ 质量的日志增长： $\int_{1<|x|<R} |\omega|^{9/5} dx \le C(1 + \log R).$
- 利用这一日志增长，作者构造了一个单向选择论证，选取半径序列 $R_j \to \infty$ ，使得在每个固定的外部环面上，重标度场的涡度具有均匀的强 $L^{9/5}$ 界。具体地，引理 3.1 证明了存在整数序列 $n_j \to \infty$ 和常数 $$B_m$$ ，使得 $a_{n_j+m} \le B_m$ ，其中 $$a_k$$ 是二进环面上的 $L^{9/5}$ 质量。
Euler 吹缩与端点伴随律：
- 通过固定的全空间压力归一化和局部 Hodge/Riesz 变换紧性，沿选定的半径序列得到一个良定义的稳态 Euler 极限 $$(V, P)$$ 。
- 定义 $$Q = P + |V|^2/2$$ ，重标度的局部能量恒等式给出 $\text{div}(QV) = 0$ 在整个穿孔空间中成立。
- 在外部区域，尺度选择产生了两对对偶端点界： $(V, \nabla Q) \in L^{9/2}_{loc} \times L^{9/7}_{loc}, \quad (\nabla V, Q) \in L^{9/5}_{loc} \times L^{9/4}_{loc}.$ 这些界保证了 Sobolev 乘法和链式法则的有效性，从而得到 $\text{div}(\beta(Q)V) = 0$ 对所有 $\beta \in C^1$ 且导数有界的函数成立。
零通量与返回物理尺度：
- 利用截断函数（在 $$Q=0$$ 附近为三次，在大 $$Q$$ 时为线性）和继承的弱 Lorentz 界，迫使常切 Bernoulli 通量消失。
- 尺度不变的壳层估计还给出了重标度能量流的均匀 Abel 型加权尾界，这使得可以通过非紧调和截断恒等式传递到原始尺度，最终证明原流的全 Dirichlet 积分为零。

4. 与之前工作的比较

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

与 Kozono-Terasawa-Wakasugi [10] 的比较：
- Kozono-Terasawa-Wakasugi 的定理 1.1 给出了先验能量估计，而其推论 1.3 仅在附加条件 $E_\omega^3 \le \delta D(v)$ 下得到 $v \equiv 0$ 。
- 本文完全去除了这一相对小性条件，证明了只要 $E_\omega < \infty$ ，就有 $v \equiv 0$ 。这意味着所有有限的 $E_\omega$ 都是允许的，不需要 $O(|x|^{-5/3})$ 尾部的相对小性。
与 Chae-Wolf [3] 的比较：
- Chae-Wolf 的 Remark 1.2 证明了若 $\omega \in L^{9/5}(\mathbb{R}^3)$ ，则 $v \equiv 0$ 。
- 本文将假设空间扩展到弱 Lorentz 空间 $L^{9/5, \infty}(\mathbb{R}^3)$ ，由于 $L^{9/5} \subsetneq L^{9/5, \infty}$ ，这是一个严格的扩展。例如，模型尾项 $|x|^{-5/3}\mathbf{1}_{\{|x|>1\}}$ 属于 $L^{9/5, \infty}$ 但不属于 $L^{9/5}$ 。
与 Seregin-Wang [15] 的比较：
- Seregin-Wang 的定理 1.1(i) 提供了端点速度估计，但其 Liouville 结论需要附加条件 $\liminf_{R \to \infty} \|v\|_{L^{9/2, \infty}(B_R \setminus B_{R/2})}^3 \le \delta D(v)$ 。
- 本文在全局弱涡度假设下去除了这一条件，但并不包含 Seregin-Wang 的一般环状速度判据。
与其他相关工作的比较：
- 其他临界速度空间、Lorentz-Morrey、环状、势和低频率判据包括 [14, 4, 9, 18, 5, 7, 12]。
- Coiculescu 和 Yang [7] 的势判据针对 $$D$$ -解，并对速度的反导数施加增长假设，与本文的全局弱涡度条件不直接可比。
- Tan [17] 推导了 Dirichlet 积分的频率局部化公式，而 Cho 和 Yang [6] 建立了精化的环状 $$L^p$$ 速度增长判据。本文的结果在这些方向上提供了新的视角，特别是在弱 Lorentz 端点的处理上。

总体而言，本文通过引入弱 Lorentz 空间端点和日志控制方法，显著推进了稳态 Navier-Stokes Liouville 问题的已知结果，去除了先前工作中的关键小性假设，并扩展了可接受的涡度空间。

5. 三维稳态 Navier-Stokes 方程局部 $$(-1)$$ -齐次轴对称解的分类：具有对数奇异射线行为的解

Classification of local $$(-1)$$ -homogeneous axisymmetric solutions of the $$3$$ D stationary Navier-Stokes equations with logarithmic singular-ray behavior

作者: Xukai Yan

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22558v1

摘要翻译: 我们研究三维不可压缩稳态 Navier-Stokes 方程在奇异射线附近的局部 $$(-1)$$ -齐次轴对称解 $$(u, p)$$ 的存在性与分类。我们关注此类解中的 Type II 行为，即满足 $0<\limsup_{x\in\bS^2, x\to P}|u|/|\ln \text{dist}(x, P)|<\infty$ ，其中 $$P$$ 是南极或北极。除 Landau 解外，这些是具有最弱奇性的非平凡 $$(-1)$$ -齐次轴对称解。我们构造了一个四参数的局部 $$(-1)$$ -齐次轴对称解族，它们在奇异射线附近至多有对数增长，并将它们表示为收敛级数，其系数通过递推确定。反之，我们证明每个满足 $|u|=o(\text{dist} (x, P)^{-1})$ （当 $x\to P$ 时，在 $\bS^2$ 上）的局部 $$(-1)$$ -齐次轴对称解都属于此族。特别地，该族包含具有非零旋流的 Type II 解，这与 $\R^3\setminus\{x'=0\}$ 中的全局 $$(-1)$$ -齐次轴对称 Type II 解形成对比，后者没有旋流。我们还建立了所构造解的导数估计，并在分布意义下识别了这些解在奇异射线两侧产生的奇异力。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压缩稳态Navier-Stokes方程的局部 $$(-1)$$ -齐次轴对称解, 特别是那些在奇异射线附近表现出对数增长行为(即Type II行为)的解. 考虑如下方程组:

\begin{cases} -\Delta u + (u \cdot \nabla)u + \nabla p = 0, \\ \text{div} u = 0, \end{cases}

其中 $u: \mathbb{R}^3 \to \mathbb{R}^3$ 是速度场, $p: \mathbb{R}^3 \to \mathbb{R}$ 是压力. 该方程组在标度变换 $u(x) \to \lambda u(\lambda x)$ 和 $p(x) \to \lambda^2 p(\lambda x)$ ( $\lambda > 0$ ) 下不变. 因此, 研究在该标度下不变的解是自然的, 这类解中 $$u$$ 是 $$(-1)$$ -齐次的, 而 $$p$$ 是 $$(-2)$$ -齐次的.

在柱坐标 $(r, \phi, x_3)$ 下, 其中 $$r = |x'|$$ , $$x' = (x_1, x_2)$$ , 向量场可写为 $u = u_r e_r + u_\phi e_\phi + u_3 e_3$ . 若 $u_r, u_\phi, u_3$ 和 $$p$$ 均不依赖于方位角 $\phi$ , 则称解为轴对称的; 若 $u_\phi \equiv 0$ , 则称为无旋(swirl-free). Landau在1944年发现了显式的三参数族 $$(-1)$$ -齐次解, 这些解在 $\mathbb{R}^3 \setminus \{0\}$ 上光滑, 仅在原点有孤立奇点, 且均为轴对称无旋解. Tian和Xin证明了所有非平凡 $$(-1)$$ -齐次轴对称解都是Landau解, 而Šverák后来去掉了轴对称假设, 证明所有非零 $$(-1)$$ -齐次解都是Landau解.

由于 $$(-1)$$ -齐次解由其在球面 $\mathbb{S}^2$ 上的迹决定, 问题可归结为研究球面上的解. 一个自然的问题是研究迹在 $\mathbb{S}^2$ 上有有限个孤立奇点的 $$(-1)$$ -齐次解. 由齐次性, 球面上的奇点对应于 $\mathbb{R}^3$ 中从原点出发的奇异射线. 作者及其合作者在一系列工作中研究了 $C^2(\mathbb{S}^2 \setminus \{S, N\})$ 中的 $$(-1)$$ -齐次解, 其中 $$S$$ 和 $$N$$ 分别是南极和北极. 这些工作建立了轴对称无旋解的分类、存在与非存在结果、最优可去奇点定理等.

根据渐近展开, 一般 $$(-1)$$ -齐次解在非可去奇异射线附近的弱奇异行为是对数阶的, 即 $|u| = O(|\ln |x'|| + 1)$ 当 $|x'| \to 0$ . 可去奇点定理表明, 对数增长是可去性的临界阈值. 轴对称解根据其在奇异轴附近的行为分为三类:

Type I: $\sup_{|x|=1} |u(x)| < \infty$ ;
Type II: $0 < \limsup_{|x|=1, x' \to 0} |u(x)|/|\ln |x'|| < \infty$ ;
Type III: $\limsup_{|x|=1, x' \to 0} |x'||u(x)| > 0$ .

Type I解可光滑延拓至奇点, 故为非零时即为Landau解. Type II解在对数增长处处于可去奇点判据的阈值, 而Type III解具有更强的代数奇异性. 已知全局Type II轴对称解必须无旋且在南北两极均有奇点. 然而, 这并不排除单个射线附近存在带有非零旋的局部Type II解. 本文旨在研究并分类这类局部解.

2. 主要定理或主要结果

本文的主要结果是Theorem 1.1, 它给出了具有至多Type II奇异行为的局部 $$(-1)$$ -齐次轴对称解的完整构造与分类.

Theorem 1.1: 设 $K \subset \mathbb{R}^4$ 为紧集. 则存在 $\delta > 0$ , 仅依赖于 $$K$$ , 使得对每个 $\lambda = (c_0, d_0, b_\rho^0, b_\phi^0) \in K$ , 存在唯一的 $$(-1)$$ -齐次轴对称解 $(u_\lambda, p_\lambda) \in C^\infty(\Omega_\delta \setminus \{x'=0\})$ 满足:

当 $x' \to 0$ 且固定 $$x_3 > 0$$ 时, $|u_\lambda| = o(|x'|^{-1})$ ;
极限公式 (7) 成立, 即: $c_0 = \lim_{\rho \to 0^+} \rho \partial_\rho p, \quad d_0 = \lim_{\rho \to 0^+} (p - c_0 \ln \rho),$ $b_\rho^0 = \lim_{\rho \to 0^+} \frac{1}{\rho}(u_\rho - \frac{1}{2}c_0 \rho \ln \rho), \quad b_\phi^0 = \lim_{\rho \to 0^+} \frac{1}{\rho} u_\phi.$
解可表示为收敛级数: $u_\lambda = \sum_{n=0}^\infty u_n, \quad p_\lambda = \sum_{n=0}^\infty p_n,$ 其中 $\{(u_n, p_n)\}_{n=0}^\infty$ 由参数 $\lambda$ 通过结构性质 (A1)-(A3) 唯一确定.

反之, 设 $\tilde{\delta} > 0$ , $$(u, p)$$ 是 $\Omega_{\tilde{\delta}} \setminus \{x'=0\}$ 中的 $$C^2$$ $$(-1)$$ -齐次轴对称解, 且当 $x' \to 0$ 且固定 $$x_3 > 0$$ 时 $|u| = o(|x'|^{-1})$ . 则极限 (7) 存在并确定唯一的 $\lambda \in \mathbb{R}^4$ , 且存在 $0 < \delta_1 \leq \tilde{\delta}$ 使得 $(u, p) = (u_\lambda, p_\lambda)$ 在 $\Omega_{\delta_1} \setminus \{x'=0\}$ 中成立.

解 $(u_\lambda, p_\lambda)$ 为Type II当且仅当 $c_0 \neq 0$ , 具有非零旋当且仅当 $b_\phi^0 \neq 0$ . 特别地, 该四参数族包含具有非零旋的Type II解, 这与全局Type II轴对称解(必须无旋)形成对比.

此外, Proposition 1.1建立了导数估计: 对任意整数 $L \geq 0$ , 存在常数 $$C > 0$$ 依赖于 $$K$$ 和 $$L$$ , 使得对满足 $|\beta| + k + l \leq L$ 的多指标 $\beta \in \mathbb{N}^4$ 及 $k, l \in \mathbb{N}$ , 有:

|\nabla_x'^k \partial_3^l \partial_\lambda^\beta u'_\lambda| \leq \begin{cases} C x_3^{-k-l-1} \rho^{-k+1} (|\ln \rho| + 1), & k = 0 \text{ or } k = 1, \\ C x_3^{-k-l-1} \rho^{-k+1}, & k \geq 2, \end{cases}

|\nabla_x'^k \partial_3^l \partial_\lambda^\beta u_3^\lambda| \leq \begin{cases} C x_3^{-k-l-1} (|\ln \rho| + 1), & k = 0, \\ C x_3^{-k-l-1} \rho^{-k}, & k \geq 1, \end{cases}

|\nabla_x'^k \partial_3^l \partial_\lambda^\beta p_\lambda| \leq \begin{cases} C x_3^{-k-l-2} (|\ln \rho| + 1), & k = 0, \\ C x_3^{-k-l-2} \rho^{-k}, & k \geq 1. \end{cases}

Proposition 1.2识别了这些解在分布意义下产生的奇异力:

\begin{cases} -\Delta u_\lambda + u_\lambda \cdot \nabla u_\lambda + \nabla p_\lambda = -2\pi c_0 \partial_{x_3}(\ln |x_3| \delta_{x'=0}) e_3, \\ \text{div} u_\lambda = 0, \end{cases}

其中 $\delta_{x'=0}$ 是支撑在正 $$x_3$$ 轴上的Dirac测度. 参数 $$c_0$$ 决定了奇异线力的强度.

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

证明的核心在于将非线性系统转化为关于尺度不变变量 $\rho = r/x_3$ 的形式, 并构造Frobenius型展开. 主要技术步骤如下:

系统重写: 利用齐次性, 将问题限制在截面 $\{x_3 = 1, x' \neq 0\}$ 上. 引入尺度不变变量 $\rho = r/x_3$ 和 $t = \ln \rho$ . 对于 $(-\alpha)$ -齐次函数 $$f$$ , 有 $f(x) = x_3^{-\alpha} f(\rho, \phi)$ . 由此推导出偏导数的变换公式, 例如:
$\partial_r f(x) = x_3^{-\alpha-1} \partial_\rho f(\rho, \phi),$
$\partial_3 f(x) = -x_3^{-\alpha-1} \rho^{\alpha-1} \partial_\rho (\rho^\alpha f).$
在 $\{x_3 = 1\}$ 上, Navier-Stokes方程被改写为关于 $\rho$ 的非线性ODE系统 (19).
形式级数构造: 假设解具有展开形式 $u = \sum_{n=0}^\infty u_n$ , $p = \sum_{n=0}^\infty p_n$ . 每个项 $$u_n$$ 和 $$p_n$$ 具有特定的齐次性和多项式结构 (A1):
$u_{\rho, n} = x_3^{-1} \rho^{2n+1} a_{\rho, n}(t), \quad u_{\phi, n} = x_3^{-1} \rho^{2n+1} a_{\phi, n}(t),$
$u_{3, n} = x_3^{-1} \rho^{2n} a_{3, n}(t), \quad p_n = x_3^{-2} \rho^{2n} c_n(t),$
其中 $a_{j, n}(t)$ 和 $$c_n(t)$$ 是关于 $t = \ln \rho$ 的多项式, 次数不超过 $$n+1$$ . 领头项 (A2) 由四个常数 $c_0, d_0, b_\rho^0, b_\phi^0$ 确定. 递归关系 (A3) 通过求解线性椭圆方程 $\Delta' p_{n+1} = f_p^n$ , $\Delta' u'_{n+1} = f'_n$ , $\Delta' u_{3, n+1} = f_{3, n}$ 来确定高阶项, 其中右端项由低阶项构成.
收敛性证明: 关键难点是证明形式级数的收敛性. 作者通过精心选择主元(majorants)建立了对级数各项的定量导数估计. 这依赖于辅助引理 Lemma 2.2 和 Lemma 2.3, 它们提供了径向对称和轴对称向量场在求解 $\Delta' u = f$ 时的正则性估计. 特别地, 当源项 $$f$$ 具有幂律界 $|f| \leq C_0 \rho^\alpha$ 时, 解 $$u$$ 满足 $|\partial_\rho^k u| \leq C \rho^{\alpha+2-k}$ . 这些估计允许控制级数余项的增长, 从而证明级数在 $$C^2$$ 范数下一致收敛.
唯一性与分类: 对于任意满足 $|u| = o(|x'|^{-1})$ 的局部解, 作者通过逐步识别其展开项并推导余项的精确估计, 证明该解必与某个构造出的解重合. 这利用了可去奇点定理的对偶思想: 如果解比 $|x'|^{-1}$ 增长得慢, 则其奇异部分必须完全由对数项和低阶幂律项组成, 而这些正是级数展开所涵盖的.
奇异力计算: 通过在分布意义下测试方程, 作者计算出解在奇异射线处产生的线力. 这涉及对积分边界项的分析, 揭示了参数 $$c_0$$ 与线力强度的直接关系.

4. 与之前工作的比较

本文与既有工作的主要区别体现在以下几个方面:

局部 vs. 全局解: 之前的工作 [11, 14] 主要关注定义在整个球面 $\mathbb{S}^2 \setminus \{S, N\}$ 上的全局 $$(-1)$$ -齐次轴对称解. 这些工作证明全局Type II解必须无旋且在南北两极均有奇点. 本文则研究单个奇异射线(如正 $$x_3$$ 轴)附近的局部解. 这一视角放宽了全局约束, 允许解在另一极不存在或具有不同行为. 结果是, 本文构造的四参数族中包含具有非零旋( $b_\phi^0 \neq 0$ )的Type II解, 这在之前关于全局解的研究中被证明是不存在的. 这表明局部行为可以比全局行为更丰富.
带旋解的存在性: 在 [14] 中, 作者证明了任何 $C^\infty(\mathbb{S}^2 \setminus \{S, N\})$ 中的Type II轴对称解必须无旋. 这是一个强非存在结果. 本文的结果表明, 如果只考虑局部锥域 $\Omega_\delta$ 中的解, 并且不要求解在另一个极点处的特定行为, 那么带旋的Type II解是可以存在的. 这是首次在一个允许非零旋的类中完成Type II解的分类.
显式构造与级数表示: 虽然 [11] 分类了全局无旋Type II解, 但这些解没有显式表达式. 本文不仅证明了存在性, 还通过递归关系给出了解的显式级数表示. 级数的系数由四个初始参数唯一确定, 并且证明了级数的收敛性. 这为数值模拟和进一步分析提供了具体工具.
奇异力的物理诠释: Landau解对应于原点处的点力(Dirac质量). 全局Type II解 [15] 产生原点处的点力和沿 $$x_3$$ 轴的线力. 本文的局部解仅产生沿奇异射线的线力, 没有点力(因为测试函数支集远离原点). 这提供了对局部奇异流动的物理图像: 它们是沿射线驱动的定常流. 这种线力结构在之前的局部研究中未被明确识别和量化.
技术推进: 之前的工作主要依赖能量方法和紧性论证来建立存在性和分类. 本文引入了更精细的逐阶估计技术, 通过主元法控制Frobenius级数的收敛性. 这种方法在处理非线性项和对数增长之间的相互作用时更为有效, 特别是当需要处理带旋情况时, 因为旋分量会引入额外的耦合项.

6. 浸入三维粘性流体中的小刚体及零黏度极限

A small rigid body immersed in a three-dimensional viscous fluid and the vanishing viscosity limit

作者: Xiaoguang You

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22380v1

摘要翻译: 在本文中，我们研究了一个由浸入三维粘性不可压缩流体中的刚体组成的耦合流体-刚体系统，当刚体尺寸和流体黏度趋于零时的渐近行为。我们证明了极限速度场由全空间不可压缩 Euler 方程支配。此外，在此极限下，流体对刚体运动的影响被证明消失。

Comment: 无

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

1. 研究对象和背景

本文研究了一个由三维不可压缩粘性流体和完全浸没于其中的小体积刚体组成的耦合系统，旨在探讨当刚体尺寸参数 $\varepsilon$ 与流体粘度系数 $\nu$ 同时趋于零时，该系统的渐近行为。具体而言，流体的运动遵循三维 Navier-Stokes 方程：

\partial_t u_{\nu, \varepsilon} - \nu \Delta u_{\nu, \varepsilon} + (u_{\nu, \varepsilon} \cdot \nabla) u_{\nu, \varepsilon} + \nabla p_{\nu, \varepsilon} = 0, \quad \text{div } u_{\nu, \varepsilon} = 0,

其中流体占据随时间变化的外域 $F_{\nu, \varepsilon}(t) = \mathbb{R}^3 \setminus \Omega_{\nu, \varepsilon}(t)$ 。刚体的运动则由其质心位置 $h_{\nu, \varepsilon}(t)$ 和角速度 $\omega_{\nu, \varepsilon}(t)$ 描述，并受牛顿力学定律支配：

m_{\nu, \varepsilon} \ddot{h}_{\nu, \varepsilon}(t) = - \int_{\partial \Omega_{\nu, \varepsilon}(t)} \sigma(u_{\nu, \varepsilon}, p_{\nu, \varepsilon}) n_{\nu, \varepsilon} dx,

\frac{d}{dt} \left( J_{\nu, \varepsilon}(t) \omega_{\nu, \varepsilon}(t) \right) = - \int_{\partial \Omega_{\nu, \varepsilon}(t)} (x - h_{\nu, \varepsilon}(t)) \times \left( \sigma(u_{\nu, \varepsilon}, p_{\nu, \varepsilon}) n_{\nu, \varepsilon} \right) dx.

在边界 $\partial \Omega_{\nu, \varepsilon}(t)$ 上施加无滑移条件 $u_{\nu, \varepsilon} = \dot{h}_{\nu, \varepsilon} + \omega_{\nu, \varepsilon} \times (x - h_{\nu, \varepsilon})$ 。

在此类问题中，一个核心的数学挑战在于流体区域是随时间演化的自由边界值问题，且由于 Euler 方程的解（即目标极限）通常不满足刚体边界的无滑移条件，导致边界处出现剧烈的失配。此外，刚体密度的选取对极限行为的性质至关重要。已有文献主要关注单一参数趋于零的情形：例如，Iftimie 等人研究了固定刚体下尺寸趋于零的情况；He 和 Su 研究了密度保持不变（即质量趋于零）的情形。然而，关于粘度和尺寸同时消失，特别是当刚体密度随着尺寸缩小而增加（即刚性增强或质量保持有限/发散）时的收敛性，此前缺乏严格结果。本文试图填补这一空白，特别是在“小尺寸”与“低粘度”双重极限下，证明流体速度场向全空间 Euler 方程解的强收敛性，并量化了刚体运动能量在此过程中的耗散或消失机制。

2. 主要定理或主要结果

本文的主要结论集中在定理 1.2 和定理 1.3 中，确立了在特定密度标度关系下，Navier-Stokes-刚体耦合系统的解向全空间 Euler 方程解的强收敛性。

定理 1.2: 设 $$0 < T < T^*$$ 为 Euler 方程光滑解的存在时间。假设刚体密度 $\rho_s^{\nu, \varepsilon}$ 满足标度关系：

\rho_s \varepsilon^{-\alpha} \le \rho_s^{\nu, \varepsilon} \le \rho_s \varepsilon^{-\beta}, \quad \text{其中 } 1 < \alpha \le \beta < 3.

若扩展后的初始速度场 $u_{\nu, \varepsilon}^0$ 在 $L^2(\mathbb{R}^3)$ 范数下收敛于 Euler 方程的初始数据 $\bar{u}_0$ ，即 $\|u_{\nu, \varepsilon}^0 - \bar{u}_0\|_{L^2} \to 0$ 。则存在常数 $k = k(\Omega, \bar{u}_0, T) > 0$ ，使得当 $0 < \varepsilon \le k \nu$ 时，对于所有 $t \in [0, T]$ ，有如下误差估计：

\|u_{\nu, \varepsilon}(\cdot, t) - \bar{u}(\cdot, t)\|_{L^2} + \sqrt{E_{\nu, \varepsilon}^{body}(t)} \le K \left( \|u_{\nu, \varepsilon}^0 - \bar{u}_0\|_{L^2} + \sqrt{\nu} + \varepsilon^{\min(3-\beta, \alpha-1)/2} \right),

其中 $$K$$ 是与 $\nu, \varepsilon$ 无关的正常数， $E_{\nu, \varepsilon}^{body}(t)$ 为刚体的动能。该结果表明，当 $\nu, \varepsilon \to 0$ 时，流体速度场在 $$L^2$$ 意义下强收敛于 Euler 解，且刚体动能也趋于零（除非初始动能发散，但此处标度限制了发散速率）。

定理 1.3: 考虑临界有限质量标度情形，即 $\rho_s^{\nu, \varepsilon} = \rho_s \varepsilon^{-3}$ （此时刚体质量 $m_{\nu, \varepsilon}$ 保持为常数量级）。若初始线速度 $\ell_0 = 0$ ，则存在常数 $$k, K$$ 使得当 $0 < \varepsilon < k \nu$ 时：

\|u_{\nu, \varepsilon}(\cdot, t) - \bar{u}(\cdot, t)\|_{L^2} + \sqrt{E_{\nu, \varepsilon}^{body}(t)} \le K \left( \|u_{\nu, \varepsilon}^0 - \bar{u}_0\|_{L^2} + \sqrt{\nu} \right).

值得注意的是，在此临界情形下，误差项中不再显含 $\varepsilon$ 的高阶修正项（除了通过初始误差隐含），这表明在零初始平动条件下，有限质量刚体的影响在零粘极限下完全消失。

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

为了克服时间依赖域带来的积分分部困难以及边界层效应，作者采用了一套精细的分析框架，核心创新点包括近似流的构造、边界校正子的引入以及能量恒等式的巧妙应用。

1. 边界邻域的局部化与近似流构造: 由于 Euler 解 $\bar{u}$ 在移动边界 $\partial \Omega_{\nu, \varepsilon}(t)$ 上不满足无滑移条件，直接比较 $u_{\nu, \varepsilon}$ 和 $\bar{u}$ 会产生巨大的边界误差。为此，作者构造了一个依赖于 $\nu, \varepsilon$ 的近似流 $\bar{u}_{\nu, \varepsilon}$ ，使其在边界附近为零，而在远离边界处逼近 $\bar{u}$ 。具体地，利用流函数 $\bar{\Psi}$ 定义平移后的流函数 $\bar{\Psi}_{\nu, \varepsilon}(x,t) = \bar{\Psi}(x,t) - \bar{\Psi}(h_{\nu, \varepsilon}(t),t)$ ，并引入截断函数 $\varphi_{\nu, \varepsilon}(x,t) = \varphi((x-h_{\nu, \varepsilon}(t))/\varepsilon)$ ，其中 $\varphi$ 在半径为 $O(\varepsilon)$ 的球内为 0，外部为 1。定义：

\bar{u}_{\nu, \varepsilon} = \text{curl}(\varphi_{\nu, \varepsilon} \bar{\Psi}_{\nu, \varepsilon}).

引理 2.3 详细估算了 $\bar{u}_{\nu, \varepsilon}$ 与 $\bar{u}$ 之间的差异，证明其 $$L^2$$ 误差为 $O(\varepsilon^{3/2})$ ，从而将全局误差分解为 $u_{\nu, \varepsilon} - \bar{u}_{\nu, \varepsilon}$ 和 $\bar{u}_{\nu, \varepsilon} - \bar{u}$ 两部分。

2. 边界校正子 (Boundary Corrector): 尽管 $\bar{u}_{\nu, \varepsilon}$ 在边界附近衰减，但在边界上仍可能存在微小的非零值或不匹配。为了处理这种失配，作者引入了源自文献 [2] 的变换方法，构造了一个边界校正子 $\Lambda_{\nu, \varepsilon}$ 。该校正子在边界的一个小邻域内与刚体运动场一致，而在远离边界处平滑过渡到单位映射。这一技术有效地消除了因边界条件不一致导致的奇异项，使得能量估计中的交叉项可以被控制。

3. 能量估计与收敛性证明: 证明的核心是利用系统的总能量不等式：

\frac{1}{2}\|u_{\nu, \varepsilon}\|_{L^2}^2 + E_{\nu, \varepsilon}^{body}(t) + 2\nu \int_0^t \|D(u_{\nu, \varepsilon})\|_{L^2}^2 ds \le \frac{1}{2}\|u_{\nu, \varepsilon}^0\|_{L^2}^2 + E_{\nu, \varepsilon}^{body}(0).

通过将误差 $e_{\nu, \varepsilon} = u_{\nu, \varepsilon} - \bar{u}_{\nu, \varepsilon}$ 代入弱形式，并利用 $\bar{u}$ 满足 Euler 方程的性质，作者推导出了误差的能量演化方程。关键在于处理非线性对流项 $(u_{\nu, \varepsilon} \cdot \nabla)u_{\nu, \varepsilon}$ 与 $(\bar{u} \cdot \nabla)\bar{u}$ 之间的差值，以及粘性项 $\nu \Delta u_{\nu, \varepsilon}$ 的贡献。结合引理 2.1 中对刚体质量 $m_{\nu, \varepsilon}$ 和转动惯量 $J_{\nu, \varepsilon}$ 的标度估计（ $m_{\nu, \varepsilon} \sim \varepsilon^{3-\alpha}$ 至 $\varepsilon^{3-\beta}$ ， $J_{\nu, \varepsilon} \sim \varepsilon^{5-\alpha}$ 至 $\varepsilon^{5-\beta}$ ），作者证明了刚体动能项 $\sqrt{E_{\nu, \varepsilon}^{body}}$ 在极限过程中可控且趋于零（或在特定标度下有界）。特别地，条件 $\varepsilon \le k \nu$ 确保了边界层的厚度与粘性扩散尺度相匹配，防止了边界效应的发散。

4. 与之前工作的比较

本文的工作在多个维度上推进了流体-刚体相互作用在双参数极限下的理论认知，并与既有文献形成了清晰的对比。

1. 与单参数极限结果的对比: 以往的研究如 Iftimie et al. [10, 9] 和 Lacave [13, 14] 主要关注尺寸 $\varepsilon \to 0$ 而粘度 $\nu$ 固定的情况，或者 Lacave & Takahashi [15] 在小初值下的情况。这些工作通常得出极限解满足 Navier-Stokes 方程的结论。相比之下，本文同时让 $\nu \to 0$ 和 $\varepsilon \to 0$ ，这导致了根本性的物理图像变化：极限不再是粘性流体的 Navier-Stokes 解，而是无粘的 Euler 解。这要求分析工具必须能够捕捉惯性主导的行为，而非粘性耗散。

2. 与 He & Su [8] 工作的对比: He 和 Su 研究了 $\nu > 0$ 固定且刚体密度不变（即 $\alpha=\beta=0$ ，质量趋于零）的情形，他们证明了弱收敛性。然而，本文处理的密度标度 $1 < \alpha \le \beta < 3$ 意味着刚体密度随尺寸减小而急剧增加，甚至可能趋向无穷大（如 $\beta > 3$ 被排除是因为会导致初始能量发散，但 $\beta < 3$ 允许质量有限或缓慢发散）。更重要的是，He & Su 的方法依赖于流体-结构半群的 $$L^p-L^q$$ 估计，这些估计强烈依赖于粘度 $\nu$ ，因此在 $\nu \to 0$ 时失效。本文提出的基于能量方法和边界校正子的新框架克服了这一障碍，实现了强收敛的证明，这是质的飞跃。

3. 与 Iftimie et al. [11] 的关联与推广: Iftimie et al. [11] 曾证明在固定刚体且 $\varepsilon \le k \nu$ 的条件下，解强收敛于 Euler 解。本文将这一结果推广到了运动刚体且刚体尺寸缩小的情形。主要区别在于，运动刚体引入了时间依赖的边界和刚体动力学方程（牛顿定律），这使得问题从线性化的椭圆型扰动变成了复杂的非线性双曲-抛物混合系统。本文通过引入刚体动能 $E_{\nu, \varepsilon}^{body}$ 进入误差估计，成功地将刚体运动的影响纳入收敛性分析，证明了在适当的密度标度下，流体对刚体的反作用力在极限中消失（表现为刚体动能趋于零或可控），从而验证了“流体忽略不计”的物理直觉。

4. 标度关系的局限性与开放性: 本文明确要求 $\alpha > 1$ 。注释 1.4 指出，如果 $0 \le \alpha \le 1$ （即刚体密度增长较慢或保持不变），边界校正子可能不再是小扰动，导致证明失败。这与 He & Su 的结果形成互补：后者覆盖了 $\alpha=0$ 但仅得到弱收敛且 $\nu$ 固定。因此， $\alpha \in (0, 1]$ 区间内的强收敛性仍是一个开放问题，指出了未来研究的方向。此外，定理 1.3 中要求初始线速度 $\ell_0 = 0$ 才能处理临界标度 $\varepsilon^{-3}$ ，这一限制暗示了若存在初始平动，有限质量刚体可能会保留某种记忆效应或惯性贡献，这也是值得进一步探讨的点。

7. 二维 $$β$$ -平面湍流：双重级联与纬向射流

Two-Dimensional $$β$$ -plane Turbulence: Dual Cascade and Zonal Jets

作者: Yuri Cacchiò, Amirali Hannani, Gigliola Staffilani

类别: physics.flu-dyn, math-ph, math.AP

发布日期: 2026-08-22

arXiv ID: 2608.22021v1

摘要翻译: 我们推导了一个精确且新颖的表达式，针对在 $\beta$ -平面近似下受科里奥利力作用的统计定常、强迫耗散二维 Navier-Stokes 方程中的平均两点关联函数。该恒等式与所谓的准地转平衡相关：它通过一个两点关联函数将科里奥利力的效应与压力梯度联系起来。

Comment: 无

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

1. 研究对象和背景

本文研究的是在旋转参考系中, 受随机强迫和耗散的二维不可压缩 Navier-Stokes 方程. 该模型是描述地球物理流体 (如洋流和大气急流) 的简化数学模型, 其中行星自转的影响通过科里奥利力项体现. 具体地, 速度场 $$u(t, x) = (u_1(t, x), u_2(t, x))$$ 和压力 $$p(t, x)$$ 满足如下系统:

\begin{cases} \partial_t u + (u \cdot \nabla)u + f(x)u^\perp = \nu \Delta u - \alpha u - \nabla p + \phi, \\ \nabla \cdot u = 0, \end{cases}

其中 $u^\perp = (-u_2, u_1)$ , $\nu > 0$ 为运动粘度, $\alpha > 0$ 为大尺度 Ekman 阻尼系数, $\phi$ 代表随机强迫. 科里奥利参数 $$f(x)$$ 在所谓的 $\beta$ -平面近似下随经度坐标 $$x_2$$ 线性变化, 即 $f(x) = f_0 + \beta x_2$ . 由于科里奥利参数破坏了系统的对称性, 无法使用标准的双周期域, 因此方程被设定在周期性通道 $D = \mathbb{T} \times I$ 上, 其中 $\mathbb{T} = [0, L)$ 是周期性的纬向域, $$I = [a, b]$$ 是有界的经度区间.

二维湍流的一个核心特征是同时守恒两个量: 动能 $$E$$ 和涡度平流函数 (enstrophy) $$Z$$ , 分别定义为:

E(u) = \frac{1}{2} \fint_D |u|^2 dx, \quad Z(u) = \frac{1}{2} \fint_D |\omega|^2 dx,

其中 $\omega = \nabla^\perp \cdot u$ 是标量涡度. 这种双重守恒导致了著名的“双级联”现象: 能量从大尺度向小尺度逆级联 (inverse cascade), 而涡度平流函数从小尺度向大尺度正级联 (direct cascade). 在无旋转的经典二维湍流中, 这一现象已通过 Fjørtoft 定理以及 Batchelor 和 Kraichnan 的工作得到广泛研究. 然而, 当引入 $\beta$ -平面科里奥利力时, 系统的动力学行为发生显著变化. 物理学文献中猜测, 科里奥利力会在大尺度上改变能谱分布, 将其分为三个不同的范围, 并促进纬向结构 (zonal jets) 的形成.

尽管物理图像和数值模拟已较为清晰, 但关于旋转二维湍流的严格数学证明仍非常有限. 特别是, 对于高阶结构函数 (structure functions) 在科里奥利力存在下的渐近行为, 目前缺乏严格的理论预测. 本文旨在填补这一空白, 通过推导精确的统计恒等式, 阐明科里奥利力对双级联和大尺度组织的具体影响.

2. 主要定理或主要结果

本文的主要结果包括三个方面:

地转平衡的两点关联恒等式: 作者推导了一个精确且新颖的统计平衡关系, 将科里奥利力与压力梯度通过两点关联函数联系起来. 具体地, 定义空间平均和球面平均算子 $\langle \cdot \rangle$ , 即对于任意函数 $$g(x, n)$$ , $\langle g(x, n) \rangle = \fint_D \fint_S g(x, n) dn dx$ . 主要贡献是证明了如下精确恒等式 (Theorem 3.4):
$\mathbb{E}\left[ \left\langle \beta l (n_2)^2 (u(x) \cdot u(x+ln)) \right\rangle \right] = \mathbb{E}\left[ \left\langle n_2 \left( \nabla p(x) \cdot u^\perp(x+ln) - u^\perp(x) \cdot \nabla p(x+ln) \right) \right\rangle \right].$
这个恒等式是从方程 (1.1) 直接推导出来的, 不需要额外的统计闭合假设. 它揭示了在地转平衡主导的大尺度流动中, 科里奥利力效应与压力梯度之间的精确联系.
大尺度下的逆能量级联: 在弱异常耗散 (Weak Anomalous Dissipation, WAD) 假设下, 作者证明了大尺度 ( $l_I \ll l \ll l_\alpha$ ) 的平均三阶结构函数 $S_3^{(3)}$ 的渐近行为不受科里奥利力的影响. 具体地, Theorem 3.3 指出:
$\frac{1}{|D_\alpha|} \mathbb{E} \fint_{\hat{T}_L(\alpha) \times \mathbb{R}} |\delta_{ln} u(x)|^2 (\delta_{ln} u(x) \cdot n) dx dn \sim 2\varepsilon l,$
其中 $\varepsilon$ 是平均注入能量率. 这一结果表明, 即使在 zonostrophic 区域 ( $$l > l_R$$ ), 球面平均的能量通量也不受行星自转的影响.
小尺度下的正涡度级联: 作者在 WAD 假设下重新证明了小尺度 ( $l_\nu \ll l \ll l_I$ ) 的平均三阶结构函数的渐近行为, 这与无旋转情况相同. 具体地, Theorem 3.2 证明了:
$S_3^{(1)} \sim -2\eta l, \quad S_3^{(2)} \sim \frac{1}{4}\eta l^3,$
其中 $\eta$ 是平均注入涡度平流函数率. 这进一步确认了科里奥利力在小尺度上的局部动力学行为不改变经典的二维湍流级联规律.

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

本文的证明依赖于对 Kármán-Howarth-Monin (KHM) 关系的新公式化. 传统的 KHM 关系是通过计算两点速度张量积的时间导数, 然后取期望得到的. 作者的创新在于引入了一个新的反对称投影 (antisymmetric projection) 技术.

反对称 KHM 关系: 为了推导地转平衡的两点关联恒等式, 作者构造了一个新的反对称投影, 使得在该投影下, 只有压力项和科里奥利力项存活, 而其他项 (如粘性项、非线性对流项) 相互抵消或消失. 这一技巧允许直接从原始方程中提取出科里奥利力与压力梯度之间的精确平衡关系, 而不需要任何宏观近似.
经典 KHM 关系的修正: 对于级联律的证明, 作者展示了科里奥利力对经典 KHM 关系的贡献在任何尺度下都恒等于零. 这一结论是通过利用不可压条件以及对域和单位球的积分性质得出的. 具体来说, 在之前的工作中 [10], 作者只能证明科里奥利力的贡献是渐近小的, 而在本文中, 他们证明了其严格为零. 这使得大尺度和小尺度的级联律可以直接从无旋转的情况推广到旋转情况, 而无需考虑科里奥利力的额外修正.
弱异常耗散 (WAD) 假设: 为了处理极限过程 ( $\nu, \alpha \to 0$ ), 作者采用了 Bedrossian 等人提出的 WAD 假设. 这一假设物理上意味着所有注入的能量都被大尺度摩擦项耗散, 所有注入的涡度平流函数都被粘性耗散, 且在 $\nu, \alpha$ 下一致成立. WAD 假设提供了必要的紧性和一致性估计, 使得作者能够提取正确的渐近行为.

4. 与之前工作的比较

与已有工作相比, 本文在以下几个方面做出了重要推进:

精确性与严格性: 在之前关于旋转湍流的研究中, 许多结果基于启发式论证或数值模拟. 例如, 地转平衡通常被视为一种近似, 而非精确的统计恒等式. 本文通过引入反对称 KHM 投影, 首次从第一性原理出发, 推导出了连接科里奥利力和压力梯度的精确两点关联恒等式. 这一结果不仅具有理论意义, 还为理解纬向急流的形成提供了严格的数学基础.
级联律的适用范围: 在 [10] 中, 作者已经证明了小尺度下的涡度级律不受科里奥利力影响, 但当时需要一个比 WAD 更强的假设 (即 $\mathbb{E}\|\omega\|_{L^2}$ 一致有界). 本文将这一结果推广到 WAD 假设下, 并首次证明了大尺度下的逆能量级律也不受科里奥利力影响. 这意味着, 至少在球面平均的意义下, 二维湍流的双级联结构在 $\beta$ -平面旋转下保持不变.
对现有理论的补充: 物理学文献中猜测, 科里奥利力会改变大尺度的能谱分布, 导致 $k^{-5}$ 谱. 本文的结果表明, 虽然科里奥利力确实改变了能量的空间分布 (促进纬向结构), 但它并不改变球面平均的能量通量. 这一发现解决了理论与观测之间的一个潜在矛盾: 即为什么在大尺度上能谱发生变化, 而平均能量通量却保持不变. 作者指出, 要观察到各向异性, 应该考察纵向三阶结构函数 $S_3^\parallel$ , 但目前的方法尚无法对此进行严格证明.

8. 变分与奇异随机偏微分方程的对数导数

Logarithmic derivatives of variational and singular stochastic partial differential equations

作者: Ehsan Mirafzali, Frank Proske, Razvan Marinescu

类别: math.PR, math.AP

发布日期: 2026-08-22

arXiv ID: 2608.21805v1

摘要翻译: 对于定义在 Gelfand 三元组上且满足 Röckner、Shang 和 Zhang 所提出的完全局部单调条件的随机偏微分方程，我们计算了固定时刻解的律沿状态空间指定方向的对数导数。该公式是内在的，仅通过 Hilbert-Schmidt Malliavin 导数 $Φ_r = \mathcal{D}_r X(t)$ 和协方差 $γ_t = \int_0^t Φ_r Φ_r^{*} \,\mathrm{d}r$ 表达，因此既不需要有限维中使用的第一变分的逆，也不需要 Tikhonov 族上的均匀 Malliavin-Sobolev 界。它源自抽象 Hilbert 空间上的分部积分恒等式、Wiener 空间上覆盖场的 Moore-Penrose 构造以及 Tikhonov 极限的迹公式，并通过 Malliavin 导数的第一变分表示 $Φ_r = Y(t,r)\mathcal{B}(r,X(r))$ 专门化到该方程；文中详细处理了随机 $$p$$ -Laplacian 和二维 Navier-Stokes 方程。超越变分类别，标量约化给出了配对 $\langle u(t),\varphi\rangle$ 的律的分部积分恒等式，该恒等式可传递至 Bruned、Chandra、Chevyrev 和 Hairer 的奇异方程的重规范化极限，并在二阶 Malliavin 光滑性和负矩假设下由对数导数表示。

Comment: 无

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

1. 研究对象和背景

在概率论与随机分析中, 研究随机过程分布的几何性质是一个核心课题. 设 $$X$$ 为取值于可分 Hilbert 空间 $$H$$ 中的随机变量, $oldsymbol{eta}_h \in L^2(oldsymbol{eta})$ 称为其对数导数 (或 Fomin 导数), 若对任意测试函数 $oldsymbol{eta} oldsymbol{eta} C_b^1(H)$ , 满足如下分部积分恒等式:

\int_H \partial_h \boldsymbol{eta}(y) d\boldsymbol{eta}(y) = -\int_H \boldsymbol{eta}(y) \boldsymbol{eta}_h(y) d\boldsymbol{eta}(y).

在对数导数的研究中, 有限维扩散过程、高斯测度以及线性随机演化方程的情形已有较为成熟的理论. 例如, 对于有限维非退化扩散, 近期工作 [38, 39] 利用 Malliavin 演算给出了闭合形式的公式 $\boldsymbol{eta}_h(X_t) = -E[oldsymbol{eta}(v_h) | X_t]$ , 其中 $$v_h$$ 是 Wiener 空间上的覆盖向量场, $\boldsymbol{eta}$ 是 Skorokhod 积分. 然而, 对于非线性、状态依赖的随机偏微分方程 (SPDEs), 这一构造面临两个根本性的技术障碍: 一是流分解失效, 即无法像有限维那样通过第一变分的逆来构造覆盖场; 二是伪逆无界性, 即 Malliavin 协方差矩阵的特征值趋于零, 导致 Tikhonov 正则化无法提供一致的正则性估计.

本文研究的对象是定义在 Gelfand 三元组 $V \hookrightarrow H \hookrightarrow V^*$ 上的变分 SPDE:

dX(t) + A(t, X(t)) dt = B(t, X(t)) dW(t), \quad X(0) = x \in H,

其中 $$A$$ 可能是拟线性算子, $$B$$ 是状态依赖的扩散项, $$W$$ 是由 $$U$$ -柱面 Wiener 过程驱动的噪声. 该方程在 Röckner, Shang 和 Zhang [46] 的全局局部单调条件下具有适定性. 尽管适定性已解决, 但解在固定时刻 $$t$$ 的分布关于状态空间中给定方向 $$h$$ 的可微性尚未被系统研究. 本文旨在填补这一空白, 计算变分 SPDE 解在固定时刻的对数导数, 并将其推广至 Bruned, Chandra, Chevyrev 和 Hairer [7] 定义的奇异 SPDE 范畴. 这一结果不仅深化了对 SPDE 解分布的理解, 也为随机分析中的时间反转、相对熵梯度流以及生成模型中的分数函数提供了理论基础.

2. 主要定理或主要结果

本文的主要结果是建立了变分 SPDE 解的对数导数公式. 具体而言, 在假设 2.1-2.12, 2.15, 2.17 成立的前提下, 对于方程 (2.2) 的变分解 $$X(t)$$ , 其沿方向 $h \in H$ 的对数导数 $\boldsymbol{eta}_h$ 由以下内在公式给出:

\boldsymbol{eta}_h(X(t)) = -E[\boldsymbol{eta}_U(v_h) | X(t)],

其中 $v_h(r) = \Phi_r^* \gamma_t^\dagger h$ 是覆盖向量场, $\Phi_r := D_r X(t) \in L_2(U, H)$ 是 Malliavin 导数, $\gamma_t = \int_0^t \Phi_r \Phi_r^* dr$ 是 Malliavin 协方差, $\gamma_t^\dagger$ 是其 Moore-Penrose 伪逆. 该公式不依赖于第一变分的逆, 也不要求 Tikhonov 正则化族的一致 Malliavin-Sobolev 界.

主要定理包括:

定理 2.24: 抽象 Hilbert 空间上的分部积分恒等式, 将问题归结为构造覆盖场.
定理 2.25: 基于 Moore-Penrose 构造的覆盖场存在性, 需经过正则化处理.
定理 2.28: Tikhonov 极限下的迹公式, 解决了正则化在极限行为上的收敛性问题.
定理 2.30: 将抽象结果具体化为变分 SPDE, 通过表示 $\Phi_r = Y(t,r) B(r, X(r))$ 实现.

对于具体的方程, 文章详细处理了随机 $$p$$ -Laplacian 和二维 Navier-Stokes 方程. 对于 $$p$$ -Laplacian, 当 $$p > 3$$ 时漂移可微性假设成立, 且控制估计在 $p \geq 4$ 时直接验证; 对于 $$2 < p < 4$$ , 采用正则化形式, 结论依赖于正则化算子的稳定性假设. 对于二维 Navier-Stokes 方程, 在 Hörmander 括号加性噪声下, 有限维投影的对数导数无条件成立, 而全 $$H$$ -方向公式在允许方向子空间上成立, 其稠密性仍为开放问题.

此外, 对于奇异 SPDE, 标量约化 (定理 6.23) 给出了配对 $\langle u(t), \varphi \rangle$ 分布的无条件分布导数, 但在二阶 Malliavin 光滑性和负矩假设下才能表示为真正的对数导数.

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

本文的核心创新在于避开了有限维方法中常用的第一变分逆, 转而直接使用 Malliavin 导数和协方差作为基本对象. 主要技术障碍及解决方案如下:

流分解失效: 在有限维中, 覆盖场由 $Y_r^{-1}$ 构造, 但对于 SPDE, $$Y(t,r)$$ 不一定属于 $$L(H)$$ , 因此无法使用路径邻接. 作者通过引入 $\Phi_r = D_r X(t)$ 和 $\gamma_t = \int_0^t \Phi_r \Phi_r^* dr$ 作为基本对象, 避免了流的显式分解.
伪逆无界性: Malliavin 协方差 $\gamma_t$ 是迹类算子, 其特征值趋于零, 导致 Tikhonov 正则化无法提供一致的 $D_{1,2}$ 界. 作者利用覆盖场 $v_h(r) = \Phi_r^* \gamma_t^\dagger h$ 的线性结构, 消除了 $Y(r,0)^{-1}$ 的出现, 并通过基无关的标量 Tikhonov 迹极限证明了 Skorokhod 积分 $\delta_U(v_h^{(\epsilon)})$ 在 $L_2(oldsymbol{eta})$ 中的收敛性.
抽象到具体的过渡: 证明分为四个步骤, 前三个步骤在抽象 Hilbert 空间上进行, 不涉及具体方程; 第四步通过将 $\Phi_r$ 表示为 $$Y(t,r) B(r, X(r))$$ , 从变分结构中读取抽象假设. 这种分层结构使得 Malliavin 分析与具体 PDE 的耦合最小化.
奇异方程的标量约化: 对于奇异 SPDE, 由于解可能不具有 Markov 性质, 作者采用标量约化方法, 仅研究配对 $\langle u(t), \varphi \rangle$ 的分布, 从而绕过了状态空间的复杂性. 这一方法依赖于二阶 Malliavin 光滑性和负矩假设, 目前这些假设在一般情形下仍未完全解决.

4. 与之前工作的比较

与既有文献相比, 本文在以下几个方面做出了推进:

适用范围: 先前工作如 [38, 39] 主要针对有限维扩散, [40] 针对线性 SPDE 加性噪声. 本文将结果推广至非线性、状态依赖的变分 SPDE, 包括随机 $$p$$ -Laplacian 和二维 Navier-Stokes 方程. 这显著扩大了理论的适用范围.
技术框架: 传统方法依赖于第一变分的逆和 Tikhonov 正则化的一致界, 这在 SPDE 中往往难以满足. 本文提出的内在公式仅依赖于 Malliavin 导数和协方差, 避免了对流分解和一致正则性的需求. 这一改进使得理论能够处理更广泛的方程类.
奇异方程的处理: 对于 Bruned, Chandra, Chevyrev 和 Hairer [7] 定义的奇异 SPDE, 先前工作主要关注解的存在性和唯一性. 本文首次给出了这类方程解的对数导数公式, 尽管是在标量约化的意义下. 这一结果填补了奇异 SPDE 在随机分析中的空白.
局限性与开放问题: 尽管取得了重要进展, 本文仍存在一些局限性. 例如, 对于 $$p$$ -Laplacian, 当 $$2 < p < 4$$ 时, 结论依赖于正则化算子的稳定性假设; 对于 Navier-Stokes 方程, 全 $$H$$ -方向公式的稠密性仍是开放问题. 此外, 奇异方程中对数导数的表示需要二阶 Malliavin 光滑性和负矩假设, 这些假设在一般情形下尚未得到验证. 这些问题为未来的研究指明了方向.

9. 完整可压缩 Navier-Stokes 方程流出问题中大振幅边界层解的存在性

Existence of Large Boundary Layer Solutions for the Outflow Problem of Full Compressible Navier-Stokes Equations

作者: Tianle Wang, Yi Wang, Qiuyang Yu

类别: math.AP, math-ph

发布日期: 2026-08-22

arXiv ID: 2608.21738v1

摘要翻译: 我们研究半直线 $\mathbb{R}_+$ 上一维完整可压缩 Navier-Stokes 方程流出问题中大振幅边界层解的存在性与非存在性。通过精细的整体相平面分析，我们将中心流形方法所得的小振幅边界层解大幅拓展至大振幅区域。基于 $$M_+-1$$ 的符号（其中 $$M_+$$ 表示右端态的马赫数）以及与 Prandtl 数相关的参数 $$ζ$$ ，我们对这一半空间流出问题中大振幅边界层解的存在性与非存在性给出了完整的刻画。与相应的流入问题形成鲜明对比的是，流出问题的边界层解允许是非单调的，且其在相平面中的存在区域可以是一个开集。

Comment: 27 pages, 11 figures

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

1. 研究对象和背景

本文研究一维全可压（非等熵）Navier-Stokes-Fourier 方程在半直线 $\mathbb{R}_+ = (0, +\infty)$ 上的流出问题的稳态边界层解。该方程组描述了粘性可压缩流体的运动，包含质量、动量和能量守恒律：

\begin{cases} \rho_t + (\rho u)_x = 0, \\ (\rho u)_t + (\rho u^2 + p)_x = \mu u_{xx}, \\ \left[ \rho \left(e + \frac{u^2}{2} \right) \right]_t + \left[ \rho u \left(e + \frac{u^2}{2} \right) + pu \right]_x = \kappa \theta_{xx} + \mu (u u_x)_x. \end{cases}

其中 $\rho$ 为密度， $$u$$ 为速度， $\theta$ 为绝对温度， $$p$$ 和 $$e$$ 分别为压强和比内能， $\mu$ 和 $\kappa$ 为常数的粘滞系数和热导率。对于理想多方气体，状态方程为 $p = R \rho \theta$ ，且满足绝热指数 $\gamma > 1$ 。

在物理背景中，考虑半空间问题，初始数据 $(\rho_0, u_0, \theta_0)(x)$ 在 $x \to +\infty$ 时趋于远场状态 $(\rho_+, u_+, \theta_+)$ 。在边界 $$x=0$$ 处施加流出边界条件： $$u(t, 0) = u_- < 0$$ 和 $\theta(t, 0) = \theta_-> 0$ 。由于双曲质量方程的适定性，流出问题不能在边界指定密度。当远场状态与边界数据不匹配时，会产生一个稳态的边界层解，以光滑地连接边界状态和远场状态。

稳态边界层解 $(\rho_B, u_B, \theta_B)(x)$ 满足以下常微分方程系统：

\begin{cases} (\rho_B u_B)' = 0, \\ (\rho_B u_B^2 + p_B)' = \mu (u_B)'', \\ \left[ \rho_B u_B \left( \frac{R \theta_B}{\gamma - 1} + \frac{u_B^2}{2} \right) + p_B u_B \right]' = \left[ \kappa (\theta_B)' + \mu u_B (u_B)' \right]', \end{cases}

并满足边界条件 $(u_B, \theta_B)(0) = (u_-, \theta_-)$ 和 $(\rho_B, u_B, \theta_B)(+\infty) = (\rho_+, u_+, \theta_+)$ 。

此前，小振幅边界层解通常通过中心流形理论构造，该方法仅保证在远场平衡点附近存在局部解。对于大振幅情形，特别是全可压方程中动量方程和能量方程强耦合的特性，使得直接积分后得到一个平面自治常微分系统，其全局几何结构复杂。已有工作主要关注流入问题或小振幅流出问题，而对于流出问题的大振幅边界层解，缺乏完整的存在性和非存在性刻画。本文旨在通过全局相平面分析，补全这一空白，提供基于马赫数 $$M_+$$ 和普朗特数相关参数 $\zeta$ 的完整分类。

2. 主要定理或主要结果

本文的主要结果由定理 2.1 给出，它完整刻画了全可压 Navier-Stokes 方程流出问题中大振幅边界层解的存在性与非存在性。设远场马赫数为 $M_+ := \frac{|u_+|}{\sqrt{R \gamma \theta_+}}$ ，定义参数 $\zeta := \frac{2}{\mu} - \frac{R}{\kappa(\gamma-1)} + 2\sqrt{\frac{R}{\kappa \mu}}$ 。主要结论如下：

无解情形：若 $u_+ \geq 0$ ，则不存在边界层解。这是因为质量通量守恒要求 $\rho_B u_B = \rho_+ u_+$ ，而物理上要求 $$u_B(x) < 0$$ ，若 $u_+ \geq 0$ 则矛盾。
亚音速情形 ( $$0 < M_+ < 1$$ )：
- 存在两条不同的曲线 $\Gamma_1$ 和 $\Gamma_2$ 位于 $(u_B, \theta_B)$ 相平面中。
- 边界层解存在当且仅当边界数据 $(u_-, \theta_-) \in \Gamma_1 \cup \Gamma_2$ 。
- $\Gamma_1$ 是单调的； $\Gamma_2$ 在 $\zeta \leq 0$ 时单调，在 $\zeta > 0$ 时非单调。
- 两条曲线在远场点 $(u_+, \theta_+)$ 处与特定直线相切。
- 解具有指数衰减性质： $\left| \frac{d^n}{dx^n} (\rho_B - \rho_+, u_B - u_+, \theta_B - \theta_+) \right| \leq C_n e^{-cx}$ 。
跨音速情形 ( $$M_+ = 1$$ )：
- 存在两条曲线 $\Gamma_3, \Gamma_4$ 和一个开区域 $\Sigma_1$ ，该区域下界为 $\theta_B = 0$ ，上界由 $\Gamma_3$ 和 $\Gamma_4$ 界定。
- 边界层解存在当且仅当 $(u_-, \theta_-) \in \Sigma_1 \cup \Gamma_3 \cup \Gamma_4$ 。
- 解是分片单调的。
- 解具有代数衰减性质： $\left| \frac{d^n}{dx^n} (\rho_B - \rho_+, u_B - u_+, \theta_B - \theta_+) \right| \leq \frac{C_n}{(1+x)^{n+1}}$ 。
超音速情形 ( $$M_+ > 1$$ )：
- 存在两条曲线 $\Gamma_5, \Gamma_6$ 和一个开区域 $\Sigma_2$ ，该区域下界为 $\theta_B = 0$ ，上界由 $\Gamma_5$ 和 $\Gamma_6$ 界定。
- 边界层解存在当且仅当 $(u_-, \theta_-) \in \Sigma_2 \setminus \{(u_+, \theta_+)\}$ 。
- 解是分片单调的。
- 解具有指数衰减性质： $\left| \frac{d^n}{dx^n} (\rho_B - \rho_+, u_B - u_+, \theta_B - \theta_+) \right| \leq C_n e^{-cx}$ 。

此外，文章指出对于常见的六种气体（如空气、氮气、氧气等），在标准条件下 $\zeta > 0$ ，因此 $\zeta > 0$ 的情形具有更重要的物理意义。

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

证明的核心方法是将稳态边界层问题转化为一个平面自治常微分系统的全局相平面分析。具体步骤和技术创新点如下：

约化为平面自治系统：通过对稳态方程进行积分，利用远场条件得到第一积分。首先，质量方程积分得到 $\rho_B u_B = \rho_+ u_+$ ，从而可以将密度表示为速度的函数 $\rho_B(x) = \frac{\rho_+ u_+}{u_B(x)}$ 。将动量和能量方程代入并整理，得到关于扰动变量 $\bar{u}_B = u_B - u_+$ 和 $\bar{\theta}_B = \theta_B - \theta_+$ 的平面自治系统：
$\begin{cases} (\bar{u}_B)' = H_1(\bar{u}_B, \bar{\theta}_B), \\ (\bar{\theta}_B)' = H_2(\bar{u}_B, \bar{\theta}_B), \end{cases}$
其中 $$H_1$$ 和 $$H_2$$ 是显式的非线性函数。系统的奇异性出现在 $\bar{u}_B = -u_+$ 处，这对应于密度无穷大，因此物理区域被限制在 $\bar{u}_B < -u_+$ 和 $\bar{\theta}_B > -\theta_+$ 内。
平衡点分类与线性稳定性分析：求解 $$H_1 = H_2 = 0$$ 得到两个有限平衡点：原点 $$O(0,0)$$ （对应远场状态）和另一个平衡点 $P(\alpha_1 u_+, \alpha_2 \theta_+)$ 。通过分析雅可比矩阵的特征值，确定原点的类型：
- 当 $$0 < M_+ < 1$$ 时，原点是鞍点。
- 当 $$M_+ = 1$$ 时，原点是退化平衡点。
- 当 $$M_+ > 1$$ 时，原点是稳定节点。同时，分析第二个平衡点 $$S^*$$ 的性质，特别是在超音速情形下，它是一个鞍点，其稳定分界线构成了吸引盆地的边界。
零线分析与向量场方向：定义零线 $L_1: \bar{\theta}_B = h_1(\bar{u}_B)$ 和 $L_2: \bar{\theta}_B = h_2(\bar{u}_B)$ ，分别对应 $(\bar{u}_B)' = 0$ 和 $(\bar{\theta}_B)' = 0$ 。通过分析向量场在这些零线上的方向，确定相平面轨迹的走向。例如，在亚音速情形中，通过分析区域 I 内的向量场方向，证明从原点出发的稳定流形分支 $\Gamma'_1$ 必然终止于热力学边界 $\theta_B = 0$ 。
全局延拓与非单调性处理：这是本文的关键创新。不同于流入问题中轨迹通常保持单调，流出问题的轨迹可能非单调。作者引入参数 $\zeta$ 来追踪曲线在远离平衡点时的行为。通过比较估计，证明当 $\zeta > 0$ 时，某些曲线会出现转折点，导致非单调性。结合不变区域理论和分界线的全局延拓，作者精确刻画了允许边界数据的集合。例如，在跨音速和超音速情形中，允许的数据集不仅包括曲线，还包括由曲线围成的开区域。
衰减估计：根据平衡点的类型，推导了解的渐近衰减行为。对于鞍点和稳定节点（亚音速和超音速），解具有指数衰减；对于退化平衡点（跨音速），解具有代数衰减。这些估计是通过线性化分析和非线性项的控制得到的。

4. 与之前工作的比较

本文将全可压 Navier-Stokes 方程流出问题的大振幅边界层解的存在性问题与既有文献进行了详细比较，主要推进体现在以下几个方面：

从流入到流出问题的拓展：已有大量工作研究了流入问题的大振幅边界层解，例如 Wang, Yang, and Yu [36] 通过全局几何相平面分析建立了流入问题大振幅边界层解存在的充要条件。然而，流出问题的相平面几何结构与流入问题有本质区别。在流入问题中，轨迹通常保持单调，而流出问题的轨迹可能非单调，且在超音速情形下存在额外的有限平衡点，其稳定分界线决定了吸引盆地的边界。本文克服了这些困难，提供了流出问题的完整分类。
从小振幅到大振幅的推广：此前，Kawashima, Nishibata, and Zhu [19] 以及 Kawashima et al. [18] 等工作主要关注小振幅边界层解，通常使用中心流形理论构造。中心流形理论仅保证在远场平衡点附近的局部存在性。本文通过全局相平面分析，将结果推广到大振幅情形，不再受限于小扰动假设。这对于理解物理上更普遍的大振幅现象至关重要。
对全可压方程的处理：对于正压可压 Navier-Stokes 方程，稳态问题可以完全解耦为一个标量常微分方程，从而容易获得任意振幅的解。但对于全可压 Navier-Stokes-Fourier 方程，动量和能量方程强耦合，直接积分后得到一个平面自治系统。本文针对这一耦合特性，发展了专门的全局相平面分析方法，解决了耦合带来的技术障碍。
对参数 $\zeta$ 的物理意义揭示：本文引入了与普朗特数相关的参数 $\zeta$ ，并揭示了其在决定边界层解单调性中的关键作用。通过计算常见气体的参数值，作者指出在实际物理条件下 $\zeta > 0$ ，这意味着非单调解是物理上重要的情形。这一发现丰富了人们对粘性可压缩流体边界层行为的理解。
完整性的提升：既有工作往往只关注存在性或特定情形下的稳定性，而本文提供了存在性与非存在性的完整刻画。通过区分亚音速、跨音速和超音速三种情形，并明确给出每种情形下允许边界数据的几何形状（曲线或开区域），本文为后续研究提供了清晰的基础。此外，本文还讨论了时间渐近稳定性问题，虽然未给出完整证明，但指出了未来研究方向。

综上所述，本文在研究对象（流出问题）、振幅范围（大振幅）、方程类型（全可压）以及结果的完整性方面均显著推进了既有工作，填补了该领域的空白。

10. 关于非等温 Nernst-Planck-Navier-Stokes 系统

On the Non-isothermal Nernst-Planck-Navier-Stokes System

作者: Elie Abdo, Quyuan Lin

类别: math.AP

发布日期: 2026-08-21

arXiv ID: 2608.21640v1

摘要翻译: 电扩散在等温设定下已被广泛研究，而热耦合电扩散的数学理论相对欠发达。我们研究了一个描述二维不可压缩粘性流体中多种具有不同扩散率和价态的离子物种演化的非等温电扩散模型。与空间和时间变化的温度相耦合导致了一个具有对数非线性项的非线性、非局部系统。我们为严格正的初始浓度建立了局部适定性，并通过开发一种针对热扩散效应的新型熵结构，证明了当初始温度接近均匀状态时的全局适定性。我们对初始离子浓度或流体速度未施加任何小性假设。为了克服对数项的奇异性，我们发展了一种新颖的截断-磨光正则化方法，推导了均匀的对数估计，并证明了离子浓度的严格正性的持续性。这种正性消除了对数非线性项的奇异行为，并且是证明唯一性所必需的。这些结果为分析非等温电化学动力学系统提供了一个严格的数学框架。

Comment: 45 pages

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

1. 研究对象和背景

电扩散（Electrodiffusion）描述了带电粒子在浓度梯度与电场共同作用下的输运过程，广泛应用于神经科学、半导体理论、水净化及电池技术等领域。经典的电扩散模型通常在等温条件下研究，忽略了温度耦合与热扩散效应。然而，在许多实际应用中，如高能密度电池充放电过程中，温度分布的演化对离子输运、电化学效率及流体动力学稳定性具有重要影响。为了更精确地描述非均匀热环境中的输运现象，发展并分析包含温度依赖效应的非等温模型至关重要。

本文研究的数学对象是二维不可压缩粘性流体中多个具有不同扩散系数和价态的离子物种的非等温电扩散模型。该模型由非等温 Poisson-Nernst-Planck (PNP) 系统与 Navier-Stokes 方程耦合而成，统称为非等温 Nernst-Planck-Navier-Stokes (NPNS) 系统。具体而言，对于 $$N$$ 个离子物种，其浓度 $$c_i(x,t)$$ 满足守恒律：

\partial_t c_i + u \cdot \nabla c_i = D_i \nabla \cdot \left( \nabla c_i + \frac{z_i e}{k_B T} c_i \nabla \phi + c_i \log c_i \nabla \log T \right), \quad i=1,\dots,N

其中 $$u$$ 为流体速度场， $$D_i > 0$$ 为第 $$i$$ 个物种的扩散系数， $$z_i$$ 为价态， $$e$$ 为单位电荷， $$k_B$$ 为玻尔兹曼常数， $$T(x,t) > 0$$ 为绝对温度， $\phi$ 为静电势。通量项包含扩散、静电漂移（电泳迁移）以及由温度梯度诱导的热扩散贡献 $c_i \log c_i \nabla \log T$ 。静电势 $\phi$ 由 Gauss 定律自洽确定：

-\varepsilon \Delta \phi = \rho = \sum_{i=1}^N z_i e c_i

流体运动遵循 Navier-Stokes 方程，并包含由非均匀温度引起的浮力项：

\partial_t u + u \cdot \nabla u + \nabla p - \nu \Delta u = -\rho \nabla \phi + g \alpha_T (T - T_r) \vec{k}, \quad \nabla \cdot u = 0

其中 $\nu$ 为运动粘度， $$g$$ 为重力加速度， $\alpha_T$ 为热膨胀系数， $$T_r$$ 为参考温度。温度 $$T$$ 的演化由热传导方程描述：

\partial_t T + u \cdot \nabla T - \kappa \Delta T = 0

当温度 $T \equiv T_r$ 为常数时，热扩散项与浮力项消失，系统退化为经典的等温 NPNS 系统。

在等温设定下，NPNS 系统的数学理论已相当成熟，包括弱解的全局存在性、强解的存在唯一性以及向 Boltzmann 稳态的收敛性等结果。然而，在非等温设定下，由于引入了对数形式的非线性热扩散项 $c_i \log c_i \nabla \log T$ ，系统的分析面临巨大挑战。这一项将离子浓度与温度梯度通过非线性因子 $c_i \log c_i$ 和导数 $\nabla \log T$ 耦合在一起，导致标准的能量方法难以直接应用。此外，当离子物种具有不同的扩散系数时，传统的熵结构失效，使得全局适定性的证明变得极其困难。因此，建立非等温电水动力学系统的严格数学框架，特别是处理对数非线性带来的奇异性问题，是当前领域亟待解决的空白。

2. 主要定理或主要结果

本文的主要结果集中在非等温 NPNS 系统在二维环面 $\mathbb{T}^2$ 上的局部与全局适定性上。设初始条件 $(c_i(0), u(0), T(0)) = (c_{i0}, u_0, T_0)$ ，且满足相容性条件 $\int_{\mathbb{T}^2} \sum_{i=1}^N z_i c_{i0} = 0$ 。

定理 1.1 (局部适定性): 假设初始浓度 $c_{i0} \in H^1$ 且满足严格正下界 $c_{i0} \ge a_0 > 0$ ，初始速度 $u_0 \in V$ （零均值），初始温度 $T_0 \in H^{5/2}$ 且 $T_0 \ge T^* > 0$ 。则存在时间 $$T_0 > 0$$ ，使得非等温 NPNS 系统在 $$[0, T_0]$$ 上存在唯一的局部解，满足如下正则性：

c_i \in L^\infty(0, T_0; H^1) \cap L^2(0, T_0; H^2)

u \in L^\infty(0, T_0; V) \cap L^2(0, T_0; D(A))

T \in L^\infty(0, T_0; H^{5/2}) \cap L^2(0, T_0; H^{7/2})

此外，解保持零均值速度、温度下界 $T \ge T^*$ 以及离子浓度的严格正下界 $c_i \ge a > 0$ 。

定理 1.2 (全局适定性): 设 $$(u, c_i, T)$$ 是非等温 NPNS 系统在某个时间区间 $$[0, T]$$ 上的光滑局部解。若初始温度在 $L^\infty$ 范数下足够接近其空间平均值（即同态状态），即 $\|T_0 - T_r\|_{L^\infty}$ 足够小，并满足文中特定的条件 (6.29) 和 (6.41)，则对于任意 $t \in [0, T]$ ，有如下先验估计：

\sum_{i=1}^N \|c_i(t)\|_{H^1} + \|u(t)\|_{H^1} + \|T(t) - T_r\|_{H^{5/2}} \le \Gamma_0

其中 $\Gamma_0$ 仅依赖于初始条件和系统参数。这一估计允许将局部解延拓至全局解。

值得注意的是，全局适定性的小性假设仅施加于初始温度的扰动幅度 $\|T_0 - T_r\|_{L^\infty}$ ，而对初始离子浓度或流体速度没有小性要求。这表明只要初始温度分布接近平衡态，即使离子浓度或流速较大，系统仍具有良好的数学行为。

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

证明的核心难点在于处理 Nernst-Planck 方程中对数漂移项 $c_i \log c_i$ 带来的低阶奇异性，以及可变温度对传统熵结构的破坏。作者采用了以下关键技术和创新点：

新的温度依赖熵结构: 在等温情况下，经典的熵耗散不等式提供了全局控制。然而，引入变量温度后，这些抵消机制失效，特别是当离子具有不同扩散系数时。为此，作者构造了一个显式依赖于温度的修正熵泛函，以捕捉模型的热力学结构。通过分析该修正熵的时间演化，推导出针对系统各变量的先验估计。这是本文的关键贡献之一，它解决了多物种不同扩散系数下熵平衡的精细性问题。
对数乘积估计与截断-磨光正则化: 对数项在浓度趋近于零时表现奇异，标准能量方法无法提供足够的控制。作者开发了一套新的对数乘积估计（Section 2），利用截断函数 $\chi(f)$ 处理 $f \log f$ 型项在 $$f$$ 较小时的奇异性。例如，引理 2.2 证明了对于 $f \in H^m$ ，有 $\|(\chi \circ f) \log f\|_{H^m} \le C(1 + \|f\|_{H^m} + \|f\|_{H^{m-1}}^{m-1}\|f\|_{H^m})$ 。基于此，作者设计了一种结合经典磨光技术与截断函数的专门正则化方案，以构建近似系统并获得关于正则化参数的一致估计，从而通过紧性论证取极限得到原系统的解。
严格正性的持久性: 唯一性论证要求离子浓度远离零。作者建立了一般漂移扩散方程中正下界保持的判据（Proposition 3.2）。通过研究负部分 $$q^-$$ 的能量演化，并结合 Grönwall 不等式，证明了在适当的正则性条件下，若初始浓度 $q_0 \ge a_0 > 0$ ，则解在整个演化过程中保持严格正下界。这一性质消除了对数非线性项的奇异性，是闭合高阶估计和证明唯一性的基础。
耦合能量估计层级: 全局延拓需要获得在任意时间区间上一致的界。由于修正熵显式依赖于温度，其演化产生了涉及离子浓度和温度的多个非线性耦合项。作者建立了一个精心设计的能量不等式链条，其中熵的控制依赖于离子浓度和速度的 $$H^1$$ 估计以及温度的 $H^{3/2}$ 估计。特别地，作者发现 $\|\log c_i\|_{L^2}$ 的演化中存在一种此前未被注意到的耗散结构，这为控制对数项提供了额外的工具，成为连接正性论证与 Sobolev 正则性估计的桥梁。
局部存在性与唯一性: 局部解的构造依赖于上述正则化方案和一致估计。唯一性则在浓度保持严格正的假设下成立。作者通过迭代逼近法建立了正则化系统的全局光滑解，并利用相关范数的下半连续性完成极限过渡。

4. 与之前工作的比较

与非等温电扩散相关的既有工作主要集中在 Nernst-Planck-Boussinesq (NPB) 系统上。例如，文献 [2] 研究了三维 NPB 系统弱解的全局存在性及其长时间动力学。NPB 系统与本文研究的非等温 NPNS 系统密切相关，但主要区别在于 NPB 系统中省略了离子通量中的对数热扩散项 $c_i \log c_i \nabla \log T$ 。这种省略可能在温度梯度较小、Soret 效应影响可忽略的区域内得到辩护。然而，当热梯度不可忽略时，必须保留该项。从分析角度看，这一项引入了显著困难，因为它通过非线性因子 $c_i \log c_i$ 和导数 $\nabla \log T$ 将离子浓度与温度梯度耦合起来。

与等温 NPNS 系统的文献相比，本文的工作填补了非等温设定下的空白。在等温情况下，已有大量关于弱解全局存在性、强解存在唯一性以及稳定性的结果（如文献 [9, 10, 11, 12]）。然而，这些结果依赖于经典的熵结构和对数项的特定处理技巧，而在非等温情况下，由于温度依赖性，这些技巧不再直接适用。本文通过引入新的温度依赖熵结构和改进的对数估计，成功处理了这些额外复杂性。

本文的一个显著优势是不对初始离子浓度或流体速度施加小性假设，仅要求初始温度接近平衡态。这与许多需要小初值才能保证全局存在性的 PDE 研究形成对比。物理上，这意味着在实际电化学和流体系统中，只要温度波动相对于平均操作温度较小，即使存在较强的离子输运或流体运动，系统仍具有良态的数学行为。这一结论对于理解电池等实际应用中的非等温效应具有重要意义。

局限方面，全局适定性依赖于初始温度在 $L^\infty$ 范数下的小性。如果初始温度分布偏离均质状态较大，热扩散效应可能主导动力学，此时全局适定性尚不清楚。此外，虽然本文考虑了任意数量的离子物种且具有不同扩散系数，但边界条件仅限于周期性边界（二维环面）。其他边界条件（如 Robin 或 Blocking 边界）下的非等温行为尚未在此文中探讨。

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

1. 对称矩阵上 Burkholder 函数的拟凸性

Quasiconvexity of the Burkholder function on symmetric matrices

作者: André Guerra

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

中文标题: 正交系统的临界 Strichartz 估计

摘要翻译: 自由 Schrödinger 传播子的正交 Strichartz 估计具有如下形式：

中文标题: 粗糙奇异积分弱型 $$(1,1)$$ 界的一个判据

摘要翻译: 在本文中，我们建立了如下粗糙奇异积分的弱型 $$(1, 1)$$ 界的一个判据：

中文标题: 广义 BBM 方程在负临界端点处孤子波的轨道不稳定性

摘要翻译: 我们研究广义 Benjamin–Bona–Mahony 方程

u_t+u_x+κ\frac{p+1}{2}(u^p)_x-u_{txx}=0, \qquad (t,x)\in\mathbb R^+\times\mathbb R,

的孤子波轨道稳定性，其中 $κ\in\mathbb R\setminus\{0\}$ 且 $p\geq2$ 为整数。该方程存在形如

$$ u(t,x)=φ_c(x-ct). $$

的孤子波。在负临界端点速度

c=c_p^- = \frac{p-1}{2(p+1)} \left(1-\sqrt{\frac{p+3}{2}}\right)<0,

处，我们证明：当 $$κ<0$$ ，或 $$κ>0$$ 且 $$p$$ 为偶数时，相应的孤子波均为轨道不稳定。证明结合了余维二强制估计、双参数调参以及一种针对端点处动量斜率退化性而修正的局部化 virial 泛函。

17. 具有解析非线性项的半线性抛物型系统解的空间与时间解析性

Spatial and temporal analyticity of solutions to semi-linear parabolic systems with analytic nonlinearities

作者: Nubogh B. Qumsiyeh Al-Atrash, Edriss S. Titi

类别: math.AP

发布日期: 2026-08-21

arXiv ID: 2608.21630v1

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

摘要翻译

中文标题: 具有解析非线性项的半线性抛物型系统解的空间与时间解析性

摘要翻译: 本文证明了，对于一大类具有解析（全纯）非线性项且满足空间周期边界条件的半线性抛物型方程，其解在时间上是解析的，且作为关于空间变量的 Gevrey 类解析函数的值。

不相关论文（基本信息）

1. 极端黑洞形成中的标量荷界

Scalar charge bounds for extremal black hole formation

作者: Berend Schneider

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

发布日期: 2026-08-24

arXiv ID: 2608.23355v1

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

摘要: I prove that a collapsing charged scalar field with scalar charge $\mathfrak{e}$ that forms an exactly extremal Reissner–Nordström black hole à la Kehle–Unger with radius $$r_+$$ must satisfy $|\mathfrak{e}|r_+ > \frac{1}{3}$ . In contrast, I also show that no such bound exists for subextremal collapse: a scalar field with an arbitrary $\mathfrak{e} \ne 0$ can form a subextremal black hole with an arbitrary (subextremal) charge-to-mass ratio. Complementing the extremal bound, I prove that a Schwarzschild black hole can become extremal if $|\mathfrak{e}|r_+ > \sqrt{\frac{3 + \sqrt{33}}{3}}$ . The fact that $|\mathfrak{e}|r_+$ can be taken to be of order unity could be considered evidence that the third law of black hole mechanics in vacuum is false.

2. 带乘性噪声的随机 Allen-Cahn 方程的一个随机流

A Stochastic Flow for the Stochastic Allen-Cahn Equation with Multiplicative Noise

作者: Salvador Esquivel, Hendrik Weber

类别: math.PR, math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23540v1

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

摘要: We establish the existence of a stochastic flow on $L^{\infty} (\mathbb{T})$ for the stochastic Allen-Cahn equation with multiplicative noise

(\partial_t - \partial_x^2) u = u - u^3 + σ(u) ξ\quad \text{on} \quad \mathbb{R}_+ \times \mathbb{T},

where $$ξ$$ is space-time white noise and $σ: \mathbb{R} \rightarrow \mathbb{R}$ is sufficiently smooth, bounded, and has bounded derivatives. Our strategy is to obtain pathwise a priori estimates via regularity structures. In fact, we consider a general singular multiplicative equation with superlinear damping, driven by noises of parabolic regularity $$α- 2$$ , for ${α\in (0, 1)}$ , which can be lifted to a weakly admissible model. We show that the required estimates hold whenever

m > \frac{2 - α}α \varepsilon_α, \quad \text{where} \quad \varepsilon_α = 1 - α\left( 1 - \frac{2}{3 - α} \right) \in (0, 1) .

Thus the strength of the damping needs to be chosen only as a function of the regularity of the driving noise. Under an additional smoothness assumption on $$σ$$ , we show that the stochastic flow is differentiable with respect to its initial condition.

3. 尖角到光滑行波过渡的几何去奇化

Geometric desingularisation of the sharp-to-smooth travelling wave transition

作者: Zak Sattar

类别: math.AP, math.DS

发布日期: 2026-08-24

arXiv ID: 2608.23489v1

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

摘要: We study travelling front solutions of a family of degenerate Fisher-KPP equations $$u_t=(u^n u_x)_x+u(1-u^n)$$ , where $$n$$ is a positive integer. At the minimal wave speed $c_{\rm min}=\tfrac{1}{\sqrt{1+n}}$ , these equations admit sharp front solutions, corresponding to an explicit heteroclinic orbit in the travelling wave phase-space. We show how this sharp front is perturbed when the wave speed is increased to $c=\tfrac{1}{\sqrt{1+n}}+\varepsilon$ , with $\varepsilon$ sufficiently small. We use a well-motivated geometric desingularisation (also known as blow-up) near the degenerate equilibrium at the leading edge. By analysing the resulting directional and rescaling charts, we construct a singular heteroclinic orbit connecting the relevant asymptotic states, providing a simple geometric proof of the transition from sharp to smooth travelling fronts.

4. Volterra 型 Pantograph 延迟积分微分方程的数值解：基于移位 Jacobi 多项式的配点法

Numerical Solution of Pantograph Delay Integrodifferential Equation of Volterra Type: Collocation Method Based on Shifted Jacobi Polynomials

作者: Richard Olu Awonusika, Olasupo John Felemu, Olawale Olaonipekun Ajijola, Yoyinade Joose Aborisade

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23494v1

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

摘要: Pantograph arises in electric trains, material modelling, and the modelling of quantum dot lasers. Pantograph integrodifferential equations are integrodifferential equations involving proportional delays; and they appear in fields such as electrodynamics, epidemiology, control theory, astrophysics, economics, and engineering. This research presents an efficient collocation method based on shifted Jacobi polynomials for obtaining numerical solutions of a class of first order pantograph delay integrodifferential equation of Volterra type with an initial condition. The proposed method expresses the solution of the governing equation as a shifted Jacobi polynomial series with expansion coefficients which are to be determined. Collocating at the roots of the shifted Jacobi polynomials, the underlying problem is reduced to a system of algebraic equations in the unknown expansion coefficients of the shifted Jacobi polynomial series solution. Newton’s method is subsequently used to solve the resulting system of algebraic equations and numerical values of the expansion coefficients are obtained. The obtained coefficients are substituted into the assumed series solution to obtain the required numerical solutions. The applicability, reliability, efficiency, and accuracy of the shifted Jacobi collocation method are demonstrated through illustrative examples. Results obtained using the proposed method are compared with exact solutions and other published results. Comparisons of errors which are presented in tables reveal that our method approximates the solution better than the methods under comparison.

5. 欧氏空间中 Schrödinger 算子在对数区域中的全纯函数零点分布与共振

Distribution of zeros of holomorphic functions and resonances in logarithmic regions for Schroedinger operators on Euclidean space

作者: Travis Cunningham

类别: math.SP, math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23306v1

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

摘要: Motivated by scattering theory, this paper proves general results about the distribution of zeros in logarithmic neighborhoods of the real axis for a certain class of functions holomorphic in the closed lower half-plane. We define a new \emph{indicator function} that measures the growth of the holomorphic function along logarithmic curves, and connect this to the distribution of zeros of the function. This is related to classical results on the distribution of zeros in sectors for entire functions of completely regular growth. These results can be applied to the determinant of the scattering matrix of a Schrodinger operator on odd-dimensional Euclidean space, yielding bounds on resonance counting functions for logarithmic neighborhoods of the real axis. As a further application, we study a certain family of potentials in one dimension having jump-like singularities. Using our complex-analytic results we show that the singularities can lead to many – and even infinitely many – strings of resonances along logarithmic curves. We connect the properties of these strings of resonances, including their location and linear density, both to the parameters describing the singularities of the potential and to the asymptotic behavior of the scattering determinant.

6. 双势阱中的瞬子是泊松分布的

Instantons in a Double-Well are Poisson Distributed

作者: Jacob Shapiro

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

发布日期: 2026-08-24

arXiv ID: 2608.23342v1

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

摘要: We give a rigorous realization of the dilute instanton picture for a semiclassical Schrödinger operator with a symmetric double-well potential on $\mathbb{R}^n$ . Using a localized Feynman–Kac representation, we decompose the heat-kernel trace according to the number of passages made by a Brownian bridge between shrinking neighborhoods of the two wells. We identify the weight of one passage with a hopping coefficient $$ρ_λ$$ , $\displaystyle ρ_λ= \int_{\partialΩ} \left( \nabla\overline{\varphi_{λ,0}^Ω}\, \varphi_{λ,0}^{-Ω} - \overline{\varphi_{λ,0}^Ω}\, \nabla\varphi_{λ,0}^{-Ω} \right)\cdotν.$ On the exponentially long time scale $β=N/\lvertρ_λ\rvert$ , the number of passages converges, for every fixed $$N>0$$ , to a Poisson random variable of mean $$N$$ . We identify $-\frac{1}λ\log\lvertρ_λ\rvert\to S(d,-d)$ and obtain $\displaystyle E_1(λ)-E_0(λ) = 2\lvertρ_λ\rvert\left(1+o(1)\right).$ Thus the familiar instanton expansion of the double-well eigenvalue splitting emerges directly from a factorization of the heat-kernel trace.

7. 抛物型 Dini- $$β$$ 条件与表面测度及热测度的绝对连续性

The parabolic Dini- $$β$$ condition and absolute continuity of surface and caloric measure

作者: Simon Bortz, Moritz Egert, Sandra Ferris, Olli Saari

类别: math.AP, math.CA

发布日期: 2026-08-24

arXiv ID: 2608.23240v1

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

摘要: We show if $\partial Ω$ is the graph of a parabolic Lipschitz function, then parabolic surface measure $$σ$$ of $\partial Ω$ is absolutely continuous with respect to its caloric measure if and only if a (square) Dini- $$β$$ condition is satisfied. More specifically, the (square) Dini- $$β$$ condition is that

\int_0^1 \hatβ(X,t,r)^2 \frac{dr}{r} < \infty, \quad \text{$σ$-a.e. } (X,t) \in \partial Ω.

Here $\hatβ$ is a parabolic version of the Jones ( $$L^2$$ ) $$β$$ -numbers. We show that these conditions are satisfied if and only if the graph is covered by a countable collection of {\it regular} Lipschitz graphs, that is, graphs with additional in-time regularity in the form of a half order time derivative in the parabolic BMO space. This supports the view that covering by {\it regular} Lipschitz graphs is the right notion for qualitative parabolic rectifiability in the context of parabolic PDEs. We also show that if

\int_0^1 \hatβ(X,t,r)^2 \frac{dr}{r} < \infty

up to a set of caloric measure zero then the caloric measure is absolutely continuous with respect to surface measure.

8. 二次 Hessian 方程的内部 Hessian 估计

Interior Hessian estimates for the quadratic Hessian equation

作者: Zhisu Li, Ke Wu

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23233v1

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

摘要: We establish interior Hessian estimates and smoothness for viscosity solutions of the quadratic Hessian equation on the positive branch in arbitrary dimension.

9. 半线性过定问题、散度公式与几何不等式

Semilinear overdetermined problems, a divergence formula, and geometric inequalities

作者: Benedito Leandro, Ilton Menezes, Rafael Novais

类别: math.DG, math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23184v1

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

摘要: Considering an $$n$$ -dimensional compact Riemannian manifold with a boundary that satisfies a Serrin-type problem, we prove sharp upper and lower bounds for the area of such a boundary. Then, we present the main result of this paper: a divergence formula for a special vector field on a given Riemannian manifold. This divergence formula is closely related to sub-static manifolds and related metrics, e.g., $$V$$ -static, static, and electrostatic manifolds. We show Minkowski-type inequalities for $$V$$ -sub-static manifolds under different Neumann boundary conditions. Moreover, we prove an area-charge inequality for compact (and noncompact) electrostatic manifolds. The main application of the divergence formula presented in this work generalizes the classical result of Boucher–Gibbons–Horowitz: we prove that an asymptotically hyperbolic space of a static spacetime satisfying the null convergence condition must be the hyperbolic space.

10. 具有拓扑缺陷的薄弹性片的能量标度律

Energy scaling laws for thin elastic sheets with topological defects

作者: Raz Kupferman, Cy Maor, David Padilla-Garza

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23134v1

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

摘要: We derive energy scaling laws for thin elastic sheets with topological defects — disclinations and dislocations — for a fully nonlinear 3D model. For disclinations, the scaling laws are tight in the thickness parameter, and improve upon previous results by applying simultaneously to positive and negative disclinations (e-cones) and by giving an explicit dependence on the defect parameter; this latter dependence is, however, still not tight. For thin bodies with dislocations, these are, to the best of our knowledge, the first rigorous bounds for models of finite thickness, are tight when the Burgers vector is not large with respect to the thickness, and relate to a well-known conjecture from the physics literature about the scaling. A main tool is modeling these bodies in the framework of non-Euclidean elasticity, as bodies with a curl-free pre-strain; the curl-freeness allows us to obtain geometric rigidity estimates for the lower bounds.

11. 单位球上具有常 $$Q$$ -曲率、常 $$T$$ -曲率和极小边界的共形度量

Conformal Metrics on the unit Ball with Constant $$Q$$ -Curvature, Constant $$T$$ -Curvature, and Minimal Boundary

作者: Liming Sun, Heming Wang, Shihong Zhang

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23106v1

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

摘要: We completely classify conformal metrics on the unit ball $(\mathbb{B}^{n+1},|\mathrm{d} x|^2)$ , $n\geq4$ , with positive constant $$Q$$ -curvature, positive constant $$T$$ -curvature, and minimal boundary. After normalizing the $$Q$$ -curvature, there is a unique conformal metric for each $$T$$ -curvature value in $[0,+\infty)$ , up to conformal diffeomorphism. For positive $$T$$ -curvature, these metrics are not Einstein and yield a new family of bubble profiles, distinct from the Aubin–Talenti bubble family except when $$T=0$$ . This new phenomenon has no analogue in either the second-order boundary Yamabe problem or the constant $$Q$$ -curvature problem on closed manifolds. To our knowledge, this is the first classification result for a fourth-order boundary value problem with nonlinear terms both in the interior and on the boundary.

12. $$n$$ -Laplace 系统在对称势下于临界 Lebesgue 空间中的非正则化性质

Non-Regularizing properties of $$n$$ -Laplace systems with antisymmetric potentials in critical Lebesgue spaces

作者: Dorian Martino, Armin Schikorra

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23105v1

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

摘要: For every $n\geq 3$ we construct a bounded discontinuous map $u\in W^{1,n}(\mathbb{B}^n,\mathbb{R}^{n+2})$ solving an $$n$$ -Laplace system with an antisymmetric potential $Ω\in L^n$ . This shows that a recent regularity result on $$n$$ -Laplace systems with antisymmetric potentials in Lorentz spaces by the authors is sharp in the sense that we cannot move from Lorentz spaces to classical Lebesgue spaces. This gives in particular a negative answer to a question by Rivière.

13. 非线性椭圆反问题中层析成像的单调性原理与“p-Laplace 签名”

Monotonicity Principle and “p-Laplace Signature” for Tomography in Nonlinear Elliptic Inverse Problems

作者: Gianpaolo Piscitelli, Vincenzo Mottola, Antonello Tamburrino

类别: eess.SP, math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23085v1

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

摘要: This paper proposes a framework for treating the inverse obstacle problem for nonlinear elliptic equations with nonlinear materials. The problem is challenging because nonlinear materials exhibit a rich diversity of scenarios to consider, since nonlinearity can take different forms. In this article, after categorizing the nonlinearities into a few fundamental classes, a dedicated imaging method is proposed for each class, derived by combining two powerful concepts: the Monotonicity Principle (MP) and the $$p-$$ Laplace Signature (pLS). The Monotonicity Principle (MP), recently extended to nonlinear materials, provides a monotonic relationship between the material property and the measured quantity (the Average Dirichlet-to-Neumann map) that can be \lq\lq inverted\rq\rq \ to find the shape of anomalies. The $$p-$$ Laplace Signature (pLS) allows for modelling the solution of an elliptic PDE with nonlinear materials, for large or small boundary data, in terms of a proper $$p-$$ Laplace equation that captures the essence (the signature) of the problem. For example, pLS with $$p=2$$ allows the reduction of a nonlinear elliptic PDE to a linear one, providing a powerful bridge for applying imaging methods and algorithms developed for linear materials. In this contribution, the two pillars of MP and pLS are combined in new imaging methods to enlarge the class of nonlinearity that can be treated within the inverse obstacle problem. Moreover, the theoretical limits of the methods are provided in the ideal case of noise-free measurements: outer-support reconstruction when $$p=2$$ , and convex-hull reconstruction when $p\neq2$ .

14. 具有第三类传输条件的 Cahn–Hilliard 系统中渗透率参数的渐近行为

Permeability parameter asymptotics in a Cahn–Hilliard system with third type transmission conditions

作者: Pierluigi Colli, Takeshi Fukao, Kei Fong Lam

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23097v1

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

摘要: In this paper, we study a system in which the Cahn–Hilliard system is imposed in the bulk domain and an Allen–Cahn type equation is prescribed on the boundary, connected through a third type transmission condition characterized by a permeability parameter. This setting is closely related to the theory of transmission problems, and the third type transmission condition can be viewed as a remnant of a thin-boundary description, with the permeability parameter controlling the degree of coupling between the bulk and the boundary. The main objective is to perform a rigorous asymptotic analysis with respect to the permeability parameter. We investigate two limits: the parameter tending to zero, corresponding to a completely impermeable boundary, and the parameter tending to infinity, corresponding to a perfectly permeable boundary where the bulk and boundary phases are fully coupled. For each limiting regime, we establish the convergence of solutions to the respective limit problems and characterize the resulting equations.

15. Cosserat 非线性弹性与非线性偶应力理论的多凸性

Polyconvexity for Cosserat nonlinear elasticity and nonlinear couple-stress theory

作者: Diana Ciotir, Ionel-Dumitrel Ghiba, Patrizio Neff

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23072v1

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

摘要: We study a class of nonlinear elastic energies whose constitutive structure is naturally expressed in terms of a stretch variable but is not directly covered by the standard polyconvex theory formulated in the deformation gradient. The problem is lifted by introducing an independent microrotation $\overline R \in {\rm SO}(3)$ and the relative stretch $\overline U = \overline R ^T{\rm D}\varphi$ . The curvature variable $\overline R ^T\operatorname{Curl} \overline R$ controls the full first-order variation of the rotation field and yields strong compactness of minimizing sequences. The identities $\operatorname{Cof}( \overline R^T{\rm D}\varphi) = \overline R^T\operatorname{Cof}{\rm D}\varphi$ and $\det( \overline R^T{\rm D}\varphi)=\det{\rm D}\varphi$ then allow the minors of the lifted stretches to be identified through the weak continuity of the corresponding minors of the deformation gradients. We prove existence in two regimes. The first allows convex dependence on $( \overline U ,\operatorname{Cof} \overline U ,\det \overline U )$ and assumes separate cofactor coercivity. The second depends only on $( \overline U ,\det \overline U )$ and requires no independent cofactor bound. For the constrained model, the weakly closed condition $\overline R ^T{\rm D}\varphi\in\operatorname{Sym}^{+}(3)$ , together with $\det{\rm D}\varphi>0$ , implies $\overline R =R:=\operatorname{polar}({\rm D}\varphi)$ for every admissible pair. The lifted problem is therefore equivalent to a deformation problem containing the curvature of the polar factor. The resulting model is a selectively rotationally regularized nonlinear elastic model of couple-stress type, rather than a purely first-gradient Biot model.

16. 渐近锥形流形上 p-形式拉普拉斯算子的散射矩阵

The scattering matrix for the p-form Laplacian on asymptotically conic manifolds

作者: Nelia Charalambous, Alden Waters

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.22984v1

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

摘要: We give an explicit description of the scattering matrix for the Hodge-Laplacian on co-closed p-forms on asymptotically conic manifolds of dimension $n\geq 3$ . We develop generalized eigenfunctions and a functional calculus to describe the result, a departure from the Fourier Integral Operators used in the scalar case. Starting from the Hodge decomposition at infinity, we construct generalized eigenforms which are co-closed and establish a spectral representation for the p-form Hodge Laplacian. The special case of dimension 3 for $$p=1$$ characterises the electric field for Maxwell’s equations.

17. 全次临界区域中广义抛物Anderson模型的先验界

A priori bounds for the generalized parabolic Anderson model in the full subcritical regime

作者: Felix Schwarzfischer

类别: math.AP, math.PR

发布日期: 2026-08-24

arXiv ID: 2608.22911v1

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

摘要: We show a priori bounds for the generalized Parabolic Anderson Model $(\partial_t - Δ)u = σ(u) \diamond ξ$ in finite volume in the full subcritical regime, using the framework of regularity structures. The approach is based on the observation that for constant initial data the guaranteed existence time is independent of its size, followed by a specific nonlinear transformation to formulate a PDE for an auxiliary field $$v$$ which follows a pure transport type equation and which stays uniformly close to $$u$$ . In particular, there are no further algebraic arguments involved which are not already present in the formulation of the local theory.

18. 具有种群压力和退化迁移率的一组分非局部粘附模型中的分岔结构与台地图案形成

Bifurcation structure and mesa pattern formation in a one-component nonlocal adhesion model with population pressure and degenerate mobility

作者: Shimpei Makida, Hideki Murakawa

类别: nlin.PS, math.AP

发布日期: 2026-08-24

arXiv ID: 2608.22844v1

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

摘要: We analyze pattern formation from a homogeneous steady state in a one-component nonlocal adhesion model with population pressure and degenerate mobility. First, using linear stability analysis, we derive the instability threshold and a selection rule for the fastest-growing mode, and elucidate the mechanism by which the selected wavenumber shifts toward lower wavenumbers as the mean density increases. We then perform a weakly nonlinear analysis near the critical adhesion strength and derive an explicit expression for the Landau coefficient in the Stuart–Landau equation. This expression shows that the critical bifurcation is classified as supercritical or subcritical according to the mean density, the nonlinear exponent, and the second-harmonic response ratio of the kernel. Furthermore, we show that a large nonlinear exponent promotes a transition to subcriticality and confirm, through numerical bifurcation analysis and time-dependent simulations, a bifurcation structure with a fold point and the formation of mesa patterns. Finally, through the energy limit as $m\to\infty$ , we relate the observed mesa profiles to a capacity-constrained limiting structure.

19. 四维标量曲率方程的内部估计与正则性

Interior estimates and regularity for the scalar curvature equation in dimension 4

作者: Zhenyu Fan, Ravi Shankar

类别: math.AP, math.DG

发布日期: 2026-08-24

arXiv ID: 2608.22748v1

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

摘要: We establish a priori interior curvature estimates for the scalar curvature equation in dimension 4. Our approach relies on the doubling method introduced by Shankar and Yuan [SY25]. Key to the proof are an a priori doubling inequality under a small gradient assumption and the Alexandrov regularity for viscosity solutions; the latter is obtained via a new iterative rotation argument. Furthermore, we establish interior regularity for $$C^1$$ viscosity solutions.

20. 无穷远处 $\bar\partial u = Vu$ 的唯一延拓性

Unique continuation for $\bar\partial u = Vu$ at infinity

作者: Yifei Pan, Yuan Zhang

类别: math.CV, math.AP

发布日期: 2026-08-24

arXiv ID: 2608.22698v1

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

摘要: Motivated by Landis’s conjecture on unique continuation at infinity for the Laplacian, we study the corresponding property for the Cauchy-Riemann operator. We prove that every weak solution of $\bar\partial u=Vu$ on a neighborhood of infinity, with $V\in L^\infty$ , vanishes identically if it decays exponentially at a rate greater than $2\|V\|_{L^\infty}$ . This conclusion is sharp both in the constant $2\|V\|_{L^\infty}$ and in the order of exponential decay required. More generally, we establish unique continuation at infinity for a broad class of radially decaying bounded potentials, with optimal decay rates determined by the decay of the potential. We also obtain related unique continuation results for $$L^2$$ potentials and for compactly supported potentials under weaker assumptions at infinity.

21. 图上的 Monge–Ampère 方程

The Monge–Ampère equation on graphs

作者: Ahmed Alkhozaae, Julio D. Rossi, Aelson Sobral, José Miguel Urbano

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22580v1

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

摘要: We introduce a version of the Monge–Ampère equation on finite graphs, motivated by nonlinear graph-based interpolation and semi-supervised learning. The operator is defined as the product of discrete analogs of the Hessian eigenvalues, obtained via local order statistics of function values at neighboring vertices. We derive an equivalent Bellman-type formulation of the inhomogeneous Dirichlet problem, establish a comparison principle and uniqueness in the strictly graph-convex class, and investigate existence via Perron’s method, identifying certain graph-theoretic obstructions. We also study the homogeneous equation, for which the problem reduces to a nonlinear interpolation rule involving the smallest discrete eigenvalue. Finally, we propose numerical schemes for both the homogeneous and inhomogeneous problems.

22. 抛物型Bernoulli问题的奇点形成与自收缩器

Singularity formation and self-shrinkers for the parabolic Bernoulli problem

作者: Hunter Liu, Sebastian Munoz, Zihui Zhao

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22574v1

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

摘要: We study singularity formation for classical solutions of the parabolic Bernoulli free boundary problem and the associated self-similar profiles. Inspired by Ricci and mean curvature flows, we introduce a Type I assumption on the blow-up rate at a singular free boundary point, under which the parabolic rescalings are compact and every tangent flow is a non-trivial self-shrinking solution of the elliptic profile equation. The proof establishes convergence of the positivity sets and recovers the Bernoulli condition in the limit, despite the absence of a minimizing structure. In the subcritical regime, every tangent flow is a double plane. We next classify all radial self-shrinkers. Besides the known ball and exterior profiles, there is a unique annular profile. We obtain dimension-uniform bounds and sharp asymptotics for its inner and outer radii, including a quantitative outward bias of its midpoint. These delicate estimates yield a complete classification of the signs of the linear spectrum for the annular solution in every dimension. As a consequence, the ball is dynamically stable modulo ambient symmetries, whereas the annulus is dynamically unstable, with genuine unstable modes of angular degrees $$0,1,2,3$$ . We finally prove, from the spectral nondegeneracy of the compact radial profiles, that whenever one tangent flow is a ball or an annular solution, the tangent flow is unique. One borderline spectral sign in dimensions $2\leq n \leq 4000$ is verified by a rigorous computer-assisted argument using interval arithmetic.

23. 临界 Sobolev 空间中空间齐次 Boltzmann 方程的唯一性

Uniqueness for the spatially homogeneous Boltzmann equation in critical Sobolev spaces

作者: Tianhao Dong, Shuchen Guo, Jie Ji

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22579v1

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

摘要: We study the spatially homogeneous Boltzmann equation without angular cutoff for very soft potentials satisfying the inverse power law relation $$γ+4s=1$$ . Our main results establish the existence, uniqueness, stability and regularization estimates of solutions in the critical Sobolev space $H^{-(γ+ 2s + \frac{3}{2})}$ with a logarithmic correction. Combined with the recently established monotonicity of the Fisher information, the solutions extend globally in time. Our primary tools are energy estimates based on a simultaneous dyadic localization in the phase and frequency variables, together with sharp commutator estimates between the collision operator and the localization operators.

24. 粗糙数据下薛定谔密度的分形性

Fractality of the Schrödinger Density for Rough Data

作者: Masoud Ataei

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

发布日期: 2026-08-23

arXiv ID: 2608.22547v1

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

摘要: The observable of the Talbot effect is the intensity behind the grating: the density of the evolving field, not the field itself. Its fractality was previously known only for step data with rational jumps. We prove the general case. For arbitrary real data of bounded variation with at least one jump, the density of the free Schrödinger evolution on the torus is fractal at almost every time, with graph of upper box dimension exactly three halves. Its critical Sobolev mass diverges logarithmically, at a rate given in closed form by Wiener’s jump statistic of the datum and independent of the positions and phases of the jumps. The same rate is halved along time traces and doubled for the Airy flow, so the critical mass probes the dispersion relation. Transported by the rank calculus of derangetropy operators, the theory equips every probability law with a quantum carpet: Gauss-sum revivals on quantile cells at rational times, a universal fractal at almost every other. The spectral growth rate of a single measured intensity profile returns the jump content of the grating, a prediction open to test in optical and matter-wave interferometry.

25. 任意有界凸域上退化 Monge-Ampère 方程的唯一性

Uniqueness for the Degenerate Monge-Ampère Equation on Arbitrary Bounded Convex Domains

作者: Yang Zhou

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22519v1

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

摘要: Let $n\ge2$ and let $Ω\subset\mathbb R^n$ be an arbitrary bounded open convex set. The author prove that, for $$p>n$$ , the Dirichlet problem

\det D^2u=(-u)^p\quad\text{in }Ω, \qquad u=0\quad\text{on }\partialΩ, \qquad u>0\quad\text{in }Ω

has at most one convex Alexandrov solution. The proof is based on the affine behavior of the Monge–Ampère energy and on a power-concavity property of the $L^{p+1}$ mass along the Legendre path connecting two solutions. At the homogeneous exponent $$p=n$$ , the same argument shows that any two nonzero solutions with the same coefficient are positive multiples of one another.

26. 毛细高斯孤子的唯一性

Uniqueness of capillary Gauss solitons

作者: Xinqun Mei, Guofang Wang, Liangjun Weng

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

发布日期: 2026-08-23

arXiv ID: 2608.22494v1

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

摘要: We prove the rigidity conjecture of [14, Conjecture 1.2] for smooth strictly convex capillary Gauss solitons in a Euclidean half-space with an acute contact angle: every such soliton is a spherical cap. Combined with our previous convergence result for the capillary Gauss curvature flow [14, Theorem 1.1], it follows that the flow starting from a strictly convex capillary hypersurface with an acute contact angle converges to a capillary spherical cap, after a suitable rescaling.

27. $$1$$ -等变调和映射热流与低维径向能量临界非线性热方程中不存在气泡树

No bubble trees for the $$1$$ -equivariant harmonic map heat flow and the radial energy-critical nonlinear heat equation in low dimensions

作者: Taegyu Kim

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22447v1

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

摘要: We consider the $$1$$ -equivariant harmonic map heat flow (HMHF) from $\mathbb R^2$ to $\mathbb S^2$ and the radial energy-critical nonlinear heat equation (NLH) in dimensions $$d=3,4,5$$ . We prove that every finite-energy solution of (HMHF) and every $\dot H^1$ -bounded solution of (NLH) has at most one bubble: every finite-time blow-up has exactly one bubble, whereas every global solution has either no bubble or one bubble at infinite time. Starting from the soliton resolution, we exclude bubble trees by modulation analysis, deriving a contradiction from the relative dynamics of the two innermost scales. This energy method does not rely on maximum principle and, in particular, applies without restriction on the bubble signs.

28. 变指数混合的拟线性系统自由边界问题

A Free Boundary Problem for quasilinear Systems with mixed variable exponent

作者: Somayeh Khademloo

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22305v1

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

摘要: In the unit ball, we study a semilinear system that gives rise to a free boundary of Alt-Phillips type, where the equation is governed by a mixed variable-exponent operator of $$(p,q)$$ -Laplacian type. Under certain structural conditions, we establish the existence of nonnegative radial solutions that are $$C^1$$ , with their norms depending on the structural data.

29. 库仑型多电子波函数的 sharp Barron 正则性结果

Sharp Barron Regularity Results for Coulombic Many-Electron Wave Functions

作者: Pingbing Ming, Hao Yu

类别: math.AP, cs.LG, math.NA

发布日期: 2026-08-23

arXiv ID: 2608.22252v1

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

摘要: We establish sharp Barron regularity for Coulombic many-electron wave functions after extraction of the universal cut-off Jastrow factors. Following the factorization of Fournais et al.~~\cite[Definition~~1.4]{FournaisEtAl2005}, for a Coulombic eigenfunction $$ψ$$ we define the successive quotients by

φ=e^{-F_{2,\mathrm{cut}}}ψ\quad\text{and}\quad φ_3=e^{-F_{3,\mathrm{cut}}}φ=e^{-(F_{2,\mathrm{cut}}+F_{3,\mathrm{cut}})}ψ.

Then

φ,φ_3\in\mathcal{B}^s(\mathbb{R}^{3N}) \qquad\text{for every }s<2.

This range is optimal among universal factorizations. No factor depending only on the particle number and the nuclear data, but not on the eigenfunction or its eigenvalue, can make every corresponding quotient belong to $\mathcal{B}^2$ . We also determine the exact endpoint growth. Writing $\varepsilon=2-s$ , we prove that, for either $$u=φ$$ or $$u=φ_3$$ , there is a computable constant $$M$$ independent of $\varepsilon$ such that

\left\|u\right\|_{\mathcal{B}^{2-\varepsilon}}\leq\frac{M}{\varepsilon^2}\left\|u\right\|_{\mathcal{B}^1}.

For the unperturbed two-electron atom we prove, with a constant independent of $\varepsilon$ ,

\left|\left\|φ_3\right\|_{\mathcal{B}^{2-\varepsilon}}-\frac{32πZ\lvertφ_3(0,0)\rvert}{\varepsilon^2}\right|\leq\frac{C}{\varepsilon}.

Hence the quadratic rate in the upper bound is sharp whenever $\lvertφ_3(0,0)\rvert\neq0$ , as is the case for the ground state.

30. 任意正扭曲、扭转与弯曲常数的 Oseen-Frank 极小子的边界正则性

Boundary regularity for Oseen-Frank minimizers with arbitrary positive splay, twist, and bend constants

作者: Zhiyuan Dai, Haotong Fu, Huaijie Wang, Wei Wang

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22287v1

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

摘要: Let $Ω\subset\mathbb R^3$ be a smooth bounded domain and let $g:\partialΩ\to\mathbb S^2$ be smooth. We prove that any global minimizer of the Oseen–Frank energy subject to the strong anchoring condition $$n=g$$ is smooth in a full neighborhood of $\partialΩ$ . The result holds for arbitrary positive splay, twist, and bend constants, without any small-anisotropy assumption. It resolves the boundary-regularity part of Lin and Liu’s Problem~(c) for the pure Oseen–Frank problem and for its prescribed smooth magnetic-field perturbation.

31. 广义 Lamé 方程的分量几何与单值性

Componentwise Geometry and Monodromy of Generalized Lamé Equations

作者: Ting-Jung Kuo, Xuanpu Liang

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

发布日期: 2026-08-23

arXiv ID: 2608.22243v1

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

摘要: We develop a componentwise geometric and monodromy theory for the generalized Lamé equation on an elliptic curve with singularities at $$0$$ and $\pm p$ . Its log-free locus decomposes canonically into two irreducible components, corresponding to the even and non-even symmetries of the potential. Building on the spectral theory of the even component, we construct the hyperelliptic spectral curve, Baker–Akhiezer functions, and addition map of the non-even component, and prove that

\degσ_{n,p}^{(1)}=n(n+1).

After quotienting by the involution $T\mapsto -T$ , we show that the non-even spectral curve is naturally isomorphic to the classical Lamé spectral curve, compatibly with the addition map and the rational function $$κ$$ . Consequently, every non-even generalized Lamé equation is monodromy equivalent to a unique classical Lamé equation on the same elliptic curve, via the explicit correspondence

\widetilde B=T^2-n(n+1)\wp(p).

Fixing $\widetilde B$ yields an isomonodromic family as $$p$$ varies. The correspondence transfers the spectral geometry, finite-gap structure, and finite-monodromy theories, together with the curvature equations on flat tori, to the non-even component. Combining with the Painlevé VI deformation of the even component, we give a componentwise interpretation of the generalized Lamé degeneration.

32. 闭可定向黎曼流形上椭圆算子主特征值的渐近性：小扩散

Asymptotics of the principal eigenvalue of an elliptic operator on closed and orientable Riemannian manifolds: small diffusion

作者: Xin Xu, Kexin Zhang

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22181v1

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

摘要: This paper is concerned with the asymptotic behavior of the principal eigenvalue $$λ(D)$$ of the elliptic eigenvalue problem

-DΔ_{M}u - a\langle \nabla_M f, \nabla_M u\rangle_g + c u = λ(D)u,

posed on a closed orientable Riemannian manifold $$(M,g)$$ , in the small-diffusion limit $D \to 0^+$ . Under the assumption that $$f$$ is a Morse function on $$M$$ , we establish that the limiting value $\lim_{D\to 0}λ(D)$ is completely characterized by the critical points of $$f$$ and the associated Riemannian Hessian, specifically through the values of $$c$$ and the Riemannian Hessian eigenvalues at those points.

33. 二维线性化 Monge–Ampère 方程的内部 $C^{1,α}$ 估计

Interior $C^{1,α}$ estimates for the linearized Monge–Ampère equation in two dimensions

作者: Ling Wang, Bin Zhou

类别: math.AP

发布日期: 2026-08-23

arXiv ID: 2608.22180v1

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

摘要: We prove an interior $C^{1,α}$ estimate for solutions of the homogeneous linearized Monge–Ampère equation in dimension two under the assumption

0<λ\leq \det D^2\varphi\leqΛ<+\infty.

No continuity assumption on the Monge–Ampère density is required. Our result is an affine-invariant analogue of the classical Morrey–Nirenberg $C^{1,α}$ estimate in two dimensions. The core of the proof is the partial Legendre transform. After the transform, the first derivatives of the solution are quotients of adjoint solutions for a uniformly elliptic non-divergence form equation. Bauman’s Harnack inequality gives the Hölder control of the quotient, while the Jacobian identity of the partial Legendre transform and a Caccioppoli estimate give its local boundedness. As an application, we prove a Liouville theorem for entire solutions with at most linear growth.

34. 拉格朗日平均曲率方程解的非唯一性

Nonuniqueness of solutions to the Lagrangian mean curvature equation

作者: Arunima Bhattacharya, W. Jacob Ogden

类别: math.AP, math.DG

发布日期: 2026-08-22

arXiv ID: 2608.22114v1

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

摘要: We resolve a question posed by Harvey and Lawson concerning the uniqueness of continuous viscosity solutions to the Dirichlet problem for the Lagrangian mean curvature equation on the unit ball with continuous boundary data. For every dimension $n\geq 2$ , we construct a continuous phase $ψ\colon \overline{B_1}\to(-n\fracπ{2},n\fracπ{2})$ and continuous boundary data $g \colon \partial B_1\to \mathbb{R}$ for which the Dirichlet problem

\sum_{i=1}^n \arctanλ_i(D^2u)=ψ(x)\quad\text{in }B_1, \qquad u=g\quad\text{on }\partial B_1,

admits a continuum of distinct continuous viscosity solutions.

35. 边界加权质心空间

Boundary-weighted barycenter spaces

作者: Mohameden Ahmedoui, Sadok Kallel

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

发布日期: 2026-08-22

arXiv ID: 2608.22040v1

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

摘要: We study boundary-weighted barycenter spaces, in which an interior support point has cost (or weight) two and a boundary support point has cost one. These spaces are finite-dimensional topological models for the concentration patterns produced by noncompact boundary Euler–Lagrange functionals: an interior bubble carries twice the quantized mass of a boundary bubble, and very negative sublevels are therefore modeled by boundary-weighted rather than ordinary barycenters. The paper gives a systematic algebraic-topological treatment of these spaces. We construct the mixed strata, the closed-stratum poset, and the triangular boundary-weighted colimit filtration; compute the Euler characteristic; and prove a homology decomposition in terms of ordinary barycenter spaces of $\partial M$ and $M/\partial M$ . We then specialize the formulas to compact connected orientable surfaces with boundary and to hemispheres, obtaining explicit rational Betti polynomials and, for surfaces, the mod-two polynomials required by the mean-field application. Finally, we explain how these polynomials measure the topology at infinity in the resonant Neumann mean-field equation on a compact surface with boundary.

36. 可积多边形上 $$L^2$$ 均匀非局域性：特征函数、准模与谱簇

Uniform $$L^2$$ Non-Localization on Integrable Polygons: Eigenfunctions, Quasimodes, and Spectral Clusters

作者: Binh T. Nguyen

类别: math.AP

发布日期: 2026-08-22

arXiv ID: 2608.22037v1

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

摘要: We study the $$L^2$$ localization problem for Dirichlet Laplacian eigenfunctions on integrable polygonal domains. We prove uniform $$L^2$$ non-localization for the complete class of integrable polygons in the trigonometric spectral classification: rectangles, isosceles right triangles, equilateral triangles, and hemi-equilateral triangles. More precisely, for every such domain $$Ω$$ and every measurable set $V\subsetΩ$ with $$|V|>0$$ , we show that

\inf_{λ\inσ(-Δ_Ω)} \inf_{\substack{u\in \ker(-Δ_Ω-λI)\setminus\{0\}}} \frac{\|u\|_{L^2(V)}} {\|u\|_{L^2(Ω)}}>0.

This gives a complete $$L^2$$ non-localization answer for the integrable subclass of the polygonal localization problem. The proof uses known Schrödinger observability estimates on rectangular tori and equilateral triangles, together with reflection and symmetry reductions. Since the Schrödinger evolution acts by a scalar phase on each Laplacian eigenspace, the resulting stationary estimate is uniform over the entire eigenspace and therefore remains valid in the presence of spectral multiplicity. We also obtain the following two extensions. For rectangles and isosceles right triangles, stationary estimates on rectangular flat tori yield eigenvalue- and eigenspace-uniform non-localization for Dirichlet Schrödinger operators with real-valued bounded potentials on every nonempty open observation set. In addition, starting from a full-space Schrödinger observability inequality, we derive an explicit defect estimate for approximate eigenfunctions. As a consequence, sufficiently accurate quasimodes and arbitrary vectors in sufficiently narrow spectral clusters satisfy uniform lower mass bounds.

37. 用于常微分方程非线性四阶边值问题求解的移位霍拉达姆配点法

Shifted Horadam Collocation Method for Solution of Nonlinear Fourth-Order Boundary Value Problem in Ordinary Differential Equation

作者: Richard Olu Awonusika

类别: math.AP

发布日期: 2026-08-22

arXiv ID: 2608.22019v1

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

摘要: In this paper, numerical solutions of a class of nonlinear ordinary differential equations are obtained using a collocation method based on the shifted Horadam polynomials. The proposed problem, which is of the fourth-order, satisfies a class of two-point boundary conditions. We first discuss definitions and basic properties of the Horadam polynomials before presenting new and useful differentiation formulae for them. Novel interesting identities are deduced from the differentiation properties. The collocation method under consideration assumes that the solution of the proposed problem can be expressed as a shifted Horadam polynomial series. To determine the expansion coefficients of the series solution, one collocates at the zeros of the shifted Horadam polynomials, and the proposed boundary value problem is subsequently reduced to a set of nonlinear algebraic equations. These algebraic equations are then solved using Newton’s iterative method to obtain the numerical values of the expansion coefficients of the shifted Horadam polynomial series solution. Several examples of the proposed nonlinear boundary value problem are considered to demonstrate the accuracy, efficiency, and reliability of the proposed method. Numerical solutions and errors obtained are compared with existing solutions. Comparisons of results, which are shown in tables and graphs, clearly reveal that the shifted Horadam collocation method outperforms the existing methods.

38. 具有单调反应的正则化主观表面流：全局经典适定性与稳定性

Regularized Subjective-Surface Flow with Monotone Reaction: Global Classical Well-Posedness and Stability

作者: Markjoe O. Uba

类别: math.AP

发布日期: 2026-08-22

arXiv ID: 2608.22015v1

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

摘要: Touching and dividing cell nuclei may appear as connected structures in microscopy images, making it difficult to distinguish neighboring nuclei during segmentation. We introduce and analyze a regularized subjective-surface model designed for this setting. On a smooth bounded domain $Ω\subset\mathbb{R}^n$ with homogeneous Dirichlet boundary conditions, the model is

u_t = νΔu + \left(\varepsilon^2+|\nabla u|^2\right)^{1/2} \operatorname{div}\!\left( G(x)\frac{\nabla u} {\left(\varepsilon^2+|\nabla u|^2\right)^{1/2}} \right) - μΛ(x)H_η(u-q).

Here, $\varepsilon>0$ and $$ν>0$$ are fixed regularization parameters, $$G$$ is a strictly positive smooth edge coefficient, and the nonnegative interaction weight $$Λ$$ incorporates fixed information about neighboring nucleus candidates. The principal objective of this work is to establish an existence theory for the proposed model. For compatible $C^{2+α}$ initial data taking values in $$[0,1]$$ , we prove the existence and uniqueness of a global classical solution whose restriction to every finite time interval is Schauder-classical, together with preservation of the physical range, finite-time Schauder estimates, and $L^\infty$ -nonexpansive dependence on the initial data. The main analytical step is a global spatial-gradient bound, obtained by combining gradient estimates near $\partialΩ$ with interior gradient estimates. These results provide a mathematical foundation for applying the model to the analysis of touching and dividing nuclei in 3D and 3D+time microscopy image data.

39. 具有饱和发生率函数和 Neumann 边界条件的时间周期非局部扩散 SIS 流行病模型的阈值动力学

Threshold dynamics of a time-periodic nonlocal dispersal SIS epidemic model with saturated incidence function and Neumann boundary conditions

作者: Ziwei Liang, Xiandong Lin, Qiru Wang

类别: math.AP

发布日期: 2026-08-22

arXiv ID: 2608.21907v1

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

摘要: In this paper, we consider a time-periodic nonlocal dispersal susceptible-infected-susceptible (SIS) epidemic model with saturated incidence and Neumann boundary conditions in a spatiotemporally heterogeneous environment. First, we define the basic reproduction number for the model, which depends on dispersal rates, total population size and saturation parameters, and is quite different from those of models incorporating standard or bilinear incidence. Then, we establish its variational characterization and investigate the impacts of those parameters on it. Next, we explore the existence, uniqueness and global attractivity of the equilibria. We also analyze the asymptotic behaviors of endemic steady states for small saturation parameters, and for both small and large diffusion rates. Our results show that the saturation effect enables the total population size to have a significant impact on the disease dynamics. Furthermore, as the saturation parameter tends to zero, the basic reproduction number and the endemic equilibrium reduce to those of the standard-incidence model, respectively. Finally, we support our findings by numerical simulations.

40. 对 Brezis 开放问题 2.1 的部分回答

A partial answer to Brezis’ Open Problem 2.1

作者: Chao Ji, Kai Sheng

类别: math.AP

发布日期: 2026-08-22

arXiv ID: 2608.21896v1

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

摘要: In this paper, we give a partial answer to Brezis’ Open Problem~2.1, which concerns the uniqueness of solutions to the Ginzburg–Landau equation in the unit disc with the degree-one boundary condition. Let $$λ_1$$ be the first Dirichlet eigenvalue of $$-Δ$$ in the unit disc and set $\varepsilon_*:=λ_1^{-1/2}$ . We prove that there exists $$δ>0$$ such that the radial solution is the unique weak solution for every $\varepsilon\in(\varepsilon_*-δ,\infty)$ . More generally, we establish the analogous uniqueness result for the Ginzburg–Landau system on bounded connected $C^{1,1}$ domains in $\mathbb R^N$ , $2\leq N\leq4$ , with nontrivial boundary data. In particular, uniqueness persists slightly below the convexity threshold $\varepsilon_*$ , where the strict convexity argument is no longer available. The proof combines strict convexity for $\varepsilon\geq\varepsilon_*$ with a compactness argument, nondegeneracy of the solution at $\varepsilon=\varepsilon_*$ and the implicit function theorem.

41. 加权拉普拉斯流：一种具有可证明收敛性的确定性粒子流

Weighted Laplacian Flow: A Deterministic Particle Flow with Provable Convergence

作者: Weiye Gan, Tangjun Wang, Zuoqiang Shi

类别: math.NA, math.AP

发布日期: 2026-08-22

arXiv ID: 2608.21831v1

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

摘要: Sampling from a target probability density is a fundamental task in statistics, machine learning, and scientific computing. We introduce weighted Laplacian flow, a deterministic particle-flow method that transports samples from a tractable initial density to a target density known up to normalization. The method evolves the logarithmic density ratio between the target and the transported distribution and constructs the particle velocity by solving a weighted Poisson equation associated with the target density. This design avoids the need to choose a kernel and enables direct control of particle weights along the flow. We establish the global well-posedness of the proposed PDE system and prove that the transported density converges to the target density in both $L^\infty$ distance and Kullback-Leibler divergence. Under a sublinear forcing condition, the method achieves exact convergence in finite time. Numerical experiments on multimodal, heavy-tailed, and ten-dimensional targets demonstrate that weighted Laplacian flow can perform long-range mass transport, overcome energy barriers.

42. 表面扩散导致的 Pinchoff

Pinchoff by surface diffusion

作者: Glen Wheeler

类别: math.DG, math.AP

发布日期: 2026-08-22

arXiv ID: 2608.21882v1

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

摘要: We construct surface diffusion flows $f:\mathbb{T}^2\times[0,T)\to\mathbb{R}^3$ that drive smooth closed embedded tori to pinchoff in finite time. The flow remains embedded for $t\in[0,T)$ and develops a curvature singularity only at a distinguished point $$p$$ as $t\nearrow T$ . Away from $$(p,T)$$ the flow converges smoothly as $t\nearrow T$ . We characterise the singularity profile: If $$A(t)$$ denotes the radius of the waist, and the surface is given locally near the waist by the rotation of a radial graph $(z,t)\mapsto r(z,t)$ , then there exists a constant $$μ>0$$ and smooth function $U:\mathbb R\to\mathbb R$ such that

A(t)=\{4μ(T-t)\}^{1/4}(1+o(1)), \qquad A(t)^{-1}r(A(t)ζ,t)\stackrel{C^\infty_{loc}}{\longrightarrow} U(ζ).

Here $$U$$ is a rigorous realisation of the classical fundamental positive even conical similarity profile first computed numerically by Wong, Miksis, Voorhees and Davis and subsequently analysed by Bernoff, Bertozzi and Witelski.

43. 加权 Bossel-Daners 传递原理与纯幂次 Robin Faber-Krahn 不等式

A Weighted Bossel-Daners Transfer Principle and a Pure-Power Robin Faber-Krahn Inequality

作者: Tan Duc Do, Nguyen Ngoc Trong, Nguyen Ngoc Huy Truong

类别: math.AP

发布日期: 2026-08-22

arXiv ID: 2608.21745v1

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

摘要: We prove a weighted Bossel-Daners transfer principle for the first Robin eigenvalue of the $$p$$ -Laplacian under $w=m^{1/p'}$ , where $$p'=p/(p-1)$$ . The argument combines double-density isoperimetry with spectral admissibility for singular weights and normalized-flux monotonicity. It uses an exact $$BV$$ zero-extension formula, an $L^{p'}(m\,dx)$ selection lemma, and a nonatomic rank map that remains well defined on positive-measure level sets. For the singular pair

m_b(x)=|x|^b, \qquad w_b(x)=|x|^{b/p'},

known power-weight isoperimetry provides the geometric input. We establish spectral admissibility up to the critical exponent $$p=N$$ and, for the positive radial first eigenfunction $$z=z(r)$$ on the centered ball $$B_R$$ , derive the integrated singular radial equation and center asymptotics and prove directly that

θ_R'(r)>0 \quad(0<r<R), \qquad θ_R(r)=\frac{|z'(r)|^{p-1}}{r^{b/p'}z(r)^{p-1}},

with $$θ_R(0)=0$$ and $$θ_R(R)=β$$ . Let $Ω\subset\mathbb{R}^N$ be a finite union of bounded connected Lipschitz domains whose closures are pairwise disjoint, let $Ω_b^\sharp$ be the centered ball of equal $$|x|^b$$ -weighted volume, and let $λ_{1,β}^b$ denote the first eigenvalue for the displayed pair. Consequently,

λ_{1,β}^{b}(Ω_b^\sharp) \le λ_{1,β}^{b}(Ω)

whenever $N\ge 2$ , $1<p\le N$ , $$-p<b<0$$ , and $$β>0$$ . The range $$1<p<N$$ is complementary to the previously known $p\ge N$ weighted Talenti theory; at the shared endpoint $$p=N$$ , the present proof also permits the singular contact $0\in\partialΩ$ .

44. 部分受限非线性薛定谔方程正解的 Liouville 定理与对称性

Liouville theorems and symmetry of positive solutions for partially confined nonlinear Schrödinger equations

作者: Zhijie Chen, Youjun Wang, Jianjun Zhang, Xuexiu Zhong

类别: math.AP

发布日期: 2026-08-22

arXiv ID: 2608.21724v1

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

摘要: This paper studies positive solutions to the stationary nonlinear Schrödinger equation with a partial harmonic confinement:

-Δu + \big( x_1^2 + \cdots + x_d^2 \big) u + λu = g(u), \qquad u \in H^1(\mathbb{R}^N),

where $1 \leq d \leq N-1$ , and the nonlinearity $g(u)\geq 0$ satisfies standard regularity and subcritical growth conditions. While previous works only studied the case $λ\geq 0$ , here by applying a spectral analysis of the Schrödinger operator $H=-Δ+|y|^2, y=(x_1,\cdots,x_d)$ , together with the variational method and moving planes method, we prove that \begin{itemize} \item A necessary condition for the existence of positive solutions is $λ\geq -d$ , and there are no positive solutions for the zero-mass case $$λ=-d$$ as long as $N-d\leq 4$ . \item For $$λ>-d$$ , this equation admits at least one positive solution. Moreover, any positive solution must be radially symmetric and decreasing with respect to the first $$d$$ (confined) variables $y=(x_1,\cdots,x_d)$ , and is also radially symmetric and decreasing, up to a translation, with respect to the remaining $$N-d$$ (unconfined) variables. \end{itemize} \vskip 0.2in Dedicated to our supervisor Prof. Wenming Zou on the occasion of his 60th birthday.

45. 异常扩散记忆因子分解：特征时间尺度及其在逆问题中的应用

Anomalous diffusion memory factorization: Characteristic timescales and application to inverse problem

作者: William Cvetko, Elena Cherkaev

类别: math.AP

发布日期: 2026-08-21

arXiv ID: 2608.21674v1

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

摘要: Memory effects and anomalous diffusion arising in models of transport in complex media, fractals, and viscoelastic materials can be described by fractional-differential equations, such as the time-fractional diffusion equation $$D^α_t u - Δ_x u = 0$$ . The paper develops a decomposition of solutions of these equations into a product of spatial and temporal components, corresponding to a freeze-out at long times. For fractional diffusion with the Caputo derivative the spatial factor is the inverse-Laplacian $(-Δ)^{-1}$ of the initial data, while for the Riemann-Liouville derivative it is the inverse bi-Laplacian $(-Δ)^{-2}$ . In both cases, the temporal factor of the solution is a scaled negative power of time. This memory artifact explicitly encodes the initial data, which gives a simple and robust way to reconstruct the initial conditions in the backward-in-time inverse problem with solution values measured at long times. We derive characteristic timescales for Mittag-Leffler functions, which correspond to such factorization in anomalous diffusion. This also enables an accurate approximation of the number of real zeros of the Mittag-Leffler function. We apply these results to heat transfer on a comb, a model which manifests subdiffusion arising from the comb’s fractal structure.

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

1. 稳态Navier-Stokes流体-结构相互作用问题中数据到解映射的解析性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. Navier–Stokes–Fourier 系统流入问题趋向一般复合波的长时间动力学#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. Sobolev空间中广义SQG方程弱解的存在性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 稳态 Navier–Stokes Liouville 问题中的全局弱 Lorentz 涡量端点#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 三维稳态 Navier-Stokes 方程局部 $(-1)$-齐次轴对称解的分类：具有对数奇异射线行为的解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 浸入三维粘性流体中的小刚体及零黏度极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 二维 $β$-平面湍流：双重级联与纬向射流#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

8. 变分与奇异随机偏微分方程的对数导数#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

9. 完整可压缩 Navier-Stokes 方程流出问题中大振幅边界层解的存在性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

10. 关于非等温 Nernst-Planck-Navier-Stokes 系统#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 对称矩阵上 Burkholder 函数的拟凸性#

摘要翻译#

2. 正则抛物 (双-)Lipschitz 像的大块等价于抛物一致可整流性#

摘要翻译#

3. 多圆盘上的全纯环面伪微分算子#

摘要翻译#

4. 二阶正修正Burgers方程中的非局域能量耗散与拓扑障碍#

摘要翻译#

5. 从加权 Carlson-Levin 不等式到加权 Gagliardo-Nirenberg 不等式#

摘要翻译#

6. 二元气体混合物截断 Boltzmann 方程的激波剖面#

摘要翻译#

7. 正交系统的临界 Strichartz 估计#

摘要翻译#

8. 拟线性 MMT 方程的波动力学理论#

摘要翻译#

9. 在约束力场中相位-空间扩展的动力学 Cucker-Smale 方程的弱聚集#

摘要翻译#

10. 细菌菌落扩张的动力学：连续介质建模与分析#

摘要翻译#

11. 含谐振势的 Anderson-Hartree 方程的一种简单推导#

摘要翻译#

12. 粗糙奇异积分弱型 $(1,1)$ 界的一个判据#

摘要翻译#

13. Yukawa 相互作用中关于屏蔽参数一致性的交换子估计与平均场极限#

摘要翻译#

14. 端点正交 Strichartz 估计#

摘要翻译#

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

1. 稳态Navier-Stokes流体-结构相互作用问题中数据到解映射的解析性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. Navier–Stokes–Fourier 系统流入问题趋向一般复合波的长时间动力学

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. Sobolev空间中广义SQG方程弱解的存在性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 稳态 Navier–Stokes Liouville 问题中的全局弱 Lorentz 涡量端点

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 三维稳态 Navier-Stokes 方程局部 $$(-1)$$ -齐次轴对称解的分类：具有对数奇异射线行为的解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 浸入三维粘性流体中的小刚体及零黏度极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 二维 $$β$$ -平面湍流：双重级联与纬向射流

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

8. 变分与奇异随机偏微分方程的对数导数

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

9. 完整可压缩 Navier-Stokes 方程流出问题中大振幅边界层解的存在性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

10. 关于非等温 Nernst-Planck-Navier-Stokes 系统

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 对称矩阵上 Burkholder 函数的拟凸性

摘要翻译

2. 正则抛物 (双-)Lipschitz 像的大块等价于抛物一致可整流性

摘要翻译

3. 多圆盘上的全纯环面伪微分算子

摘要翻译

4. 二阶正修正Burgers方程中的非局域能量耗散与拓扑障碍

摘要翻译

5. 从加权 Carlson-Levin 不等式到加权 Gagliardo-Nirenberg 不等式

摘要翻译

6. 二元气体混合物截断 Boltzmann 方程的激波剖面

摘要翻译

7. 正交系统的临界 Strichartz 估计

摘要翻译

8. 拟线性 MMT 方程的波动力学理论

摘要翻译

9. 在约束力场中相位-空间扩展的动力学 Cucker-Smale 方程的弱聚集

摘要翻译

10. 细菌菌落扩张的动力学：连续介质建模与分析

摘要翻译

11. 含谐振势的 Anderson-Hartree 方程的一种简单推导

摘要翻译

12. 粗糙奇异积分弱型 $$(1,1)$$ 界的一个判据

摘要翻译

13. Yukawa 相互作用中关于屏蔽参数一致性的交换子估计与平均场极限

摘要翻译

14. 端点正交 Strichartz 估计

摘要翻译