生成时间: 2026年09月16日 07:57:12

运行状态: 完成

计划处理论文数量: 47

已完成论文数量: 47

未完成论文数量: 0

重点关注论文数量: 6

了解领域论文数量: 12

不相关论文数量: 29

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

1. 临界空间中可压缩 Navier-Stokes-Vlasov-Fokker-Planck 系统的全局存在性与零黏性极限

Global existence and vanishing viscosity limit of the compressible Navier-Stokes-Vlasov-Fokker-Planck system in critical spaces

作者: Hai-Liang Li, Ling-Yun Shou

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17362v1

摘要翻译: 我们在临界正则性下研究多维可压缩流体-粒子系统，其中载流介质与带有 Fokker-Planck 扩散的粒子相通过拖曳力耦合。我们证明了在各自的临界 Besov 空间中，Navier-Stokes-Vlasov-Fokker-Planck 系统和 Euler-Vlasov-Fokker-Planck 系统的 Cauchy 问题在平衡态附近的强解的存在性和唯一性。此外，我们建立了 Navier-Stokes-Vlasov-Fokker-Planck 系统关于公共黏性参数 $μ=λ=\varepsilon$ 一致的估计，并证明了全局时间的零黏性极限及其收敛速率 $\mathcal O(\varepsilon)$ 。最后，在对初始数据附加一个低阶 Besov 假设的条件下，我们得到了两个系统的最优时间衰减估计，并推导了相对速度以及分布函数微观部分的增强衰减率。

Comment: 52 pages

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

1. 研究对象和背景

流体-颗粒系统（Fluid-particle systems）描述了分散在载体流体中的颗粒的运动，广泛应用于喷雾燃烧、气溶胶传输和沉降等物理与工程领域。本文研究的对象是多维可压缩流体-颗粒耦合系统，具体为 Navier-Stokes-Vlasov-Fokker-Planck (NS-VFP) 系统。该系统由流体方程（Navier-Stokes 方程）和颗粒分布函数方程（Vlasov-Fokker-Planck 方程）通过拖曳力（drag force）耦合而成。

研究对象的核心方程组如下：

\begin{cases} \partial_t \rho + \text{div}_x(\rho u) = 0, \\ \partial_t(\rho u) + \text{div}_x(\rho u \otimes u) + \nabla_x P(\rho) = \mu \Delta_x u + (\mu + \lambda) \nabla_x \text{div}_x u - \int_{\mathbb{R}^d} (u-v) F dv, \\ \partial_t F + v \cdot \nabla_x F + \text{div}_v ((u-v)F - \nabla_v F) = 0, \end{cases}

其中 $\rho(x,t)$ 是流体密度， $$u(x,t)$$ 是流体速度， $$F(x,v,t)$$ 是颗粒分布函数。未知量包括流体的密度、速度以及颗粒的速度空间分布。压力函数 $P(\rho)$ 满足 $$P' > 0$$ ，剪切黏度 $\mu$ 和体积黏度 $\lambda$ 为正常数。

该系统的数学理论背景主要涉及流体动力学与动理学理论的交叉。对于不可压缩情形，已有大量关于全局经典解存在性和大时间行为的文献（如 Goudon et al., Chae-Kang-Lee 等）。对于可压缩情形，Mellet 和 Vasseur 构造了三维有界域上的弱解，而 Li 等人则在环面和全空间上建立了平衡点附近的全局经典解及其衰减性质。

然而，既往关于流体-颗粒系统全局强解的研究大多在高阶 Sobolev 空间中进行。Sobolev 空间通常不是该方程组的“临界”空间。临界空间是指其范数在方程的自然标度变换下保持不变的函数空间。对于可压缩 Navier-Stokes 方程，临界正则性理论（如 Guo-Wang, Xin-Xu 等）已经相当成熟。但在流体-颗粒耦合系统中，由于拖曳力的存在，直接应用标准的临界正则性理论面临巨大挑战。具体来说，拖曳力项 $$(u-v)F$$ 产生了没有空间导数的二次非线性项，这些项无法直接由标准的可压缩 Navier-Stokes 临界正则性范数控制。因此，本文旨在解决的关键空白是：能否在相应的临界 Besov 空间中建立 NS-VFP 系统和 Euler-VFP 系统（即零黏性极限下的无黏系统）的全局适定性，并进一步研究其零黏性极限和时间衰减率。

此外，Euler-VFP 系统虽然流体部分没有直接的耗散，但 Fokker-Planck 算子和拖曳力可以稳定无黏系统。理解这种稳定性机制以及其在临界正则性下的表现，对于揭示流体-颗粒相互作用的深层数学结构具有重要意义。

2. 主要定理或主要结果

本文的主要结果集中在以下五个方面，均针对多维 ( $d \ge 2$ ) 情况：

NS-VFP 系统在临界空间中的全局适定性：假设初始数据 $(\varrho_0, u_0, f_0)$ 满足 $\varrho_0 \in \dot{B}^{d/2-1}_{2,1} \cap \dot{B}^{d/2}_{2,1}$ , $u_0 \in \dot{B}^{d/2-1}_{2,1}$ , $f_0 \in \dot{B}^{d/2-1}_{2,1}$ ，且足够小。证明 Cauchy 问题存在唯一的全球强解 $(\varrho, u, f)$ ，并满足先验估计：
$\sup_{t \ge 0} \|(\varrho, u, f)(t)\|_{E_t} \le C_0 \|(\varrho_0, u_0, f_0)\|_{E_0},$
其中 $$E_t$$ 范数包含了频率依赖的耗散项，特别是相对速度 $u-b \in L^2_t(\dot{B}^{d/2-1}_{2,1})$ 和微观部分 $abla_v f \in L^2_t(\dot{B}^{d/2-1}_{2,1}, \nu)$ 。
均匀高阶估计与 Euler-VFP 系统的全局适定性：当 $\mu = \lambda = \varepsilon$ 时，如果初始数据具有更高的空间正则性 $\dot{B}^{d/2+1}_{2,1}$ ，则建立了独立于 $\varepsilon$ 的均匀先验估计：
$\sup_{t \ge 0} \left( \|(\varrho_\varepsilon, u_\varepsilon, f_\varepsilon)(t)\|_{Z_t} + \varepsilon \|u_\varepsilon\|_{L^1_t(\dot{B}^{d/2+1}_{2,1} \cap \dot{B}^{d/2+2}_{2,1})} \right) \le C_1 \|(\varrho^\varepsilon_0, u^\varepsilon_0, f^\varepsilon_0)\|_{Z_0}.$
这一结果直接蕴含了 Euler-VFP 系统（即 $\varepsilon=0$ ）在临界空间中的全局适定性。
全局零黏性极限：证明了当 $\varepsilon \to 0$ 时，NS-VFP 系统的解收敛到 Euler-VFP 系统的解。在临界 Besov 范数下，收敛率为 $\mathcal{O}(\varepsilon)$ ；在 $L^\infty$ 范数下，收敛率为 $\mathcal{O}(\sqrt{\varepsilon})$ 。具体地：
$\sup_{t \ge 0} \left( \|(\varrho_\varepsilon - \varrho, u_\varepsilon - u)(t)\|_{\dot{B}^{d/2-1}_{2,1}} + \|(f_\varepsilon - f)(t)\|_{\dot{B}^{d/2-1}_{2,1}} \right) \le C \varepsilon.$
最优时间衰减估计：在额外的低阶 Besov 假设 $(\varrho_0, u_0) \in \dot{B}^{\sigma_1}_{2,\infty}$ 和 $f_0 \in \dot{B}^{\sigma_1}_{2,\infty}$ ( $-d/2 \le \sigma_1 < d/2 - 1$ ) 下，得到了统一于 $\varepsilon \in [0,1]$ 的最优时间衰减率。对于 $\sigma_1 < \sigma \le d/2+1$ ：
$\|(\varrho_\varepsilon, u_\varepsilon)(t)\|_{\dot{B}^{\sigma}_{2,1}} + \|f_\varepsilon(t)\|_{\dot{B}^{\sigma}_{2,1}} \le C (1+t)^{-\frac{\sigma + \sigma_1}{2}}.$
增强衰减率：对于相对速度 $u_\varepsilon - b_\varepsilon$ 和微观分量 $abla_v f_\varepsilon$ ，在 $\sigma_1 < \sigma \le d/2$ 范围内，获得了比整体解快 $$1/2$$ 个幂次的增强衰减率：
$\|(u_\varepsilon - b_\varepsilon)(t)\|_{\dot{B}^{\sigma}_{2,1}} + \| abla_v f_\varepsilon(t)\|_{\dot{B}^{\sigma}_{2,1}} \le C (1+t)^{-\frac{\sigma + \sigma_1}{2} - \frac{1}{2}}.$
这一增强衰减源于拖曳力和 Fokker-Planck 耗散的协同作用。

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

证明的核心难点在于处理拖曳力引起的无导数二次非线性项，以及在临界正则性下缺乏足够的 $L^\infty$ 控制。作者采用了以下关键技术和创新框架：

变量重构与正规型变换：标准的宏观-微观分解中，拖曳耗散表现为 $$u-b$$ （速度减动量），这导致了不匹配的项 $$au$$ 。为了消除这一项，作者引入了宏观速度变量 $V := \frac{b}{1+a}$ 。通过用 $$V$$ 代替 $$b$$ 描述粒子动量方程，成功地将不含空间导数的项 $$au$$ 转化为含有空间导数的项。此外，为了处理微观方程中的二次项 $(v \otimes v - Id):(u \otimes b)M^{1/2}$ ，作者定义了有效微观变量 $G := abla_v f - \frac{1}{2}(v \otimes v - Id):(b \otimes b)M^{1/2}$ 。这种类似于正规型变换的技巧将原始的二次项转化为 $$LG$$ 和包含耗散量 $$u-b$$ 的项，从而使得非线性项可以由临界范数控制而不损失导数。
低频截断与高频分离分析：由于 $$a$$ 仅在 $\dot{B}^{d/2-1}_{2,1}$ 中被控制，无法直接保证 $$1+a$$ 的正性以定义 $$V=b/(1+a)$$ 。作者利用 Bernstein 不等式，对低频部分进行截断，定义 $\tilde{V} = \frac{b_\ell}{1+a_\ell}$ 和 $\tilde{G} = \nabla_v f_\ell - \dots$ 。在低频区使用重构变量，而在高频区直接使用原始变量。这种方法解决了定义域的问题，并允许分别构建低频和高频的 Lyapunov 泛函。
频率局部化的 Lyapunov 不等式：作者开发了频率局部化的能量估计。对于线性化系统，构建了低频和高频的 Lyapunov 不等式。在低频区，利用了热方程类型的耗散；在高频区，利用了谱间隙带来的阻尼效应。特别地，通过结合 Fokker-Planck 算子的强制性估计和拖曳力的松弛效应，获得了独立于黏度参数 $\varepsilon$ 的高阶导数估计。
时间加权能量法用于衰减估计：为了获得最优的时间衰减率，作者使用了负阶 Besov 范数 $\dot{B}^{\sigma_1}_{2,\infty}$ 的传播。由于低频和高频的分析使用了不同的变量体系，无法合并为单一的微分 Lyapunov 不等式。因此，作者首先传播低阶 Besov 范数，然后对频率局部化的亚强制不等式施加时间权重。在低频区，负范数与热耗散结合产生代数衰减；在高频区，均匀的阻尼提供了相应的加权界。最后，通过分析 $$u-b$$ 和 $$ abla_v f$$ 的方程，推导出了增强的衰减率。
误差分析中的抵消结构：在证明零黏性极限时，作者构造了流体和动能部分的误差泛函，并保留了流体-颗粒耦合中的抵消结构。主要的额外源项来自黏度，通过均匀的高阶估计，该项被控制在 $\mathcal{O}(\varepsilon)$ 级别，从而实现了全局 $\mathcal{O}(\varepsilon)$ 的收敛率。

4. 与之前工作的比较

与既有文献相比，本文在以下几个方面做出了显著推进：

正则性空间的推进：既往关于流体-颗粒系统全局强解的工作（如 Goudon et al., Mellet-Vasseur, Li et al.）主要在高阶 Sobolev 空间或特定的加权空间中完成。本文将正则性降低到了临界 Besov 空间 $\dot{B}^{d/2-1}_{2,1}$ 等。这是首次在该类耦合系统中建立临界正则性下的全局适定性。这一推进克服了拖曳力导致的导数损失问题，填补了从 Sobolev 理论到临界理论之间的空白。
零黏性极限的收敛率： Li, Wang 和 Wang [39] 此前在 Sobolev 空间中证明了有限时间区间上的零黏性极限，其收敛率为 $\mathcal{O}(\sqrt{\varepsilon})$ 。本文不仅将极限推广到全局时间，而且在临界 Besov 范数下将收敛率改进为 $\mathcal{O}(\varepsilon)$ 。这一改进得益于更精细的频率局部化分析和对流体-颗粒耦合结构的深入利用。
时间衰减率的优化与增强：虽然 Li et al. [38] 已经推导了点态估计和最优点态衰减率，但本文在 Besov 范数下给出了统一于 $\varepsilon$ 的最优代数衰减率。更重要的是，本文揭示了相对速度和微观分量的“增强衰减”现象，即它们比整体解多一个 $(1+t)^{-1/2}$ 的衰减因子。这一发现量化了拖曳力和 Fokker-Planck 耗散在弛豫过程中的协同作用，是对现有大时间行为理论的重要补充。
技术框架的创新：相比于标准的部分耗散双曲系统（如带阻尼的 Euler 方程）的 Shizuta-Kawashima 条件或 Villani 亚强制理论，本文的系统由于拖曳力的存在不能直接套用这些框架。作者发展了一套新的变量重构方法（引入 $$V$$ 和 $$G$$ ）以及低频/高频分离的能量估计技术。这种方法论上的创新可能为其他带有非局部或无导数耦合项的偏微分方程系统提供借鉴。
局限性与代价：尽管在正则性上取得了突破，但本文的结果仍然局限于平衡点附近的小扰动。对于大初值数据的全局存在性，目前仍依赖于弱解理论或其他特殊结构。此外，为了处理 $$V=b/(1+a)$$ 的定义问题，不得不引入低频截断变量，这使得证明的技术细节较为复杂，且在高频区仍需回到原始变量进行分析，增加了能量估计的难度。

2. 粘性无电阻不可压缩磁流体力学中 $$oldsymbol{eta}$$ Besov 端点处的磁场范数膨胀

Magnetic norm inflation at the $\ell^1$ Besov endpoint for viscous non-resistive incompressible MHD

作者: Yingzhe Ban, Boling Guo, Maotuo Guo

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17192v1

摘要翻译: 我们证明了在 $\R^d$ , $d \geq 2$ 上，对于粘性、无电阻的不可压缩磁流体力学方程，原点处存在磁场范数膨胀。具体而言，在端点空间

Comment: 无

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

1. 研究对象和背景

本文研究的是 $d \geq 2$ 维欧氏空间 $\mathbb{R}^d$ 上的粘性、非电阻（即无磁耗散）不可压缩磁流体力学 (MHD) 方程组。该方程组描述了导电流体中速度场 $$u$$ 和磁场 $$b$$ 的耦合演化，其数学形式为：

\begin{cases} \partial_t u - \nu \Delta u + (u \cdot \nabla) u + \nabla p = (b \cdot \nabla) b, \\ \partial_t b + (u \cdot \nabla) b = (b \cdot \nabla) u, \\ \text{div } u = \text{div } b = 0, \\ (u, b)|_{t=0} = (u_0, b_0). \end{cases}

其中 $\nu > 0$ 是运动粘度系数， $$p$$ 是压力。与标准的 Navier-Stokes 方程或全耗散 MHD 方程不同，此处仅速度场受到粘性扩散作用，而磁场 $$b$$ 仅通过流体流动进行输运和被拉伸（stretching）。这种“非电阻”特性使得磁场项缺乏耗散机制，导致解的正则性理论面临极大挑战。通常，为了保证局部存在性和唯一性，经典理论要求初始数据 $$(u_0, b_0)$$ 满足一定的正则性匹配条件，例如在 Sobolev 空间中，磁场数据的正则性往往需要比速度数据高一个导数。

在函数空间的选择上，本文关注齐次 Besov 空间中的端点情形。具体而言，考虑初始数据属于以下乘积空间：

\dot{B}^{-1}_{\infty, 1}(\mathbb{R}^d) \times \dot{B}^{0}_{\infty, 1}(\mathbb{R}^d).

这里，速度场 $$u_0$$ 位于 $\dot{B}^{-1}_{\infty, 1}$ ，磁场 $$b_0$$ 位于 $\dot{B}^{0}_{\infty, 1}$ 。这一选择基于 Littlewood-Paley 分解下的尺度分析：由于磁场方程不含拉普拉斯算子，其在频率尺度上的行为与速度场存在一阶导数的差距（one-derivative gap）。当双线性估计中的对数和指数 $$r=1$$ 时，即所谓的 $\ell^1$ 端点，序列空间的求和性质发生了本质变化。在此端点下，传统的低-高频交互作用（low-high paraproduct）所提供的增益消失，这使得在该拓扑下定义连续解映射变得极其困难甚至不可能。

问题的核心在于探究是否存在一个解映射 $S: (u_0, b_0) \mapsto (u(t), b(t))$ ，使得对于光滑的经典解，该映射在原点附近关于磁场分量 $$b$$ 在 $C([0, T]; \dot{B}^{0}_{\infty, 1})$ 拓扑下是连续的。如果不存在这样的连续映射，则意味着该方程组在该端点空间上是 ill-posed（不适定）的，具体表现为“范数膨胀”（norm inflation）现象：即存在任意小的初始数据，其对应的解在极短时间内磁场范数会变得任意大。此前的工作主要集中在 $$r > 1$$ 的 Besov 空间或 Sobolev 空间中的范数膨胀，或者针对有耗散（resistive）MHD 方程的研究。然而，对于非电阻 MHD 方程在 $\ell^1$ 端点处的行为，特别是如何克服序列空间增益缺失的问题，尚属空白。本文旨在填补这一空白，证明在该特定端点空间中，磁场分量的解映射在原点处不连续。

2. 主要定理或主要结果

本文的主要结果陈述于定理 1.1 中，证明了粘性非电阻不可压缩 MHD 方程在 $\ell^1$ Besov 端点处的磁场范数膨胀。

定理 1.1 (端点磁场范数膨胀): 存在一个依赖于维度 $$d$$ 、粘度 $\nu$ 以及固定的 Littlewood-Paley 截断函数的常数 $\varepsilon_0 > 0$ ，使得对于任意 $0 < \varepsilon < \varepsilon_0$ ，都可以找到无散度初始数据：

u_0 \in \mathcal{S}(\mathbb{R}^d; \mathbb{R}^d), \quad b_0 \in C_c^\infty(\mathbb{R}^d; \mathbb{R}^d),

以及一个时间 $0 < t_\varepsilon < \varepsilon$ ，满足以下两个条件：

初始数据的小性： $\|u_0\|_{\dot{B}^{-1}_{\infty, 1}} + \|b_0\|_{\dot{B}^{0}_{\infty, 1}} < \varepsilon.$ 特别地，磁场初始数据 $$b_0$$ 具有紧支集，并在 $\dot{B}^{0}_{\infty, 1}$ 范数下趋于零。
磁场范数的膨胀：对应的经典解在区间 $[0, t_\varepsilon]$ 上存在，且满足： $\|b(t_\varepsilon)\|_{\dot{B}^{0}_{\infty, 1}} > \varepsilon^{-1}.$

这一结论直接蕴含了如下推论：任何与光滑经典解一致的解映射，在磁场端点拓扑 $\dot{B}^{0}_{\infty, 1}$ 下，都不能在原点处连续。

技术细节方面，作者构造的初始数据具有以下特征：

速度场 $$u_0$$ ：由一系列频率集中在载波环带（carrier annulus）附近的无散度包络组成。这些包络经过精心排列，使得其二阶非线性相互作用能够产生特定频率的目标响应。
磁场 $$b_0$$ ：虽然初始范数很小，但通过与速度场的耦合，特别是在磁场拉伸（magnetic stretching）机制的作用下，能量迅速向高频转移并累积。
时间尺度：膨胀发生的时间 $t_\varepsilon$ 远小于 $\varepsilon$ ，表明这是一个短时间的不稳定现象，而非长期演化的结果。
空间局部化：通过物理空间中的平移分离各个构建块（building blocks），保证了输入范数独立于壳层数量，从而实现了严格的端点控制。

此外，文中明确指出，这种膨胀并非继承自 Navier-Stokes 方程的不稳定性（因为若设 $b \equiv 0$ ，方程退化为 NS 方程，而在该端点 NS 方程的适定性已有不同结论或需单独讨论），而是源于 MHD 特有的非耗散输运-拉伸动力学。

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

本文的证明框架巧妙地结合了共振四波相互作用、磁场拉伸机制以及精细的频率局部化测试泛函，以克服 $\ell^1$ 端点处传统低-高频抛物积（paraproduct）机制失效的困难。

1. 共振四波相互作用与目标壳层响应 在 $\ell^1$ 端点，传统的低-高频交互作用无法提供足够的序列空间增益。作者转而利用一种“共振四波速度相互作用”。具体地，选取一个大载波频率 $$K = 2^k$$ ，并让目标频率 $\lambda = 2^j$ 在范围 $K^{1/4} \leq \lambda \leq K^{1/2}$ 内变化。在每个目标壳层，作者安排了四个实值无散度包络位于同一载波环带内。这些包络的二阶速度相互作用（quadratic velocity interaction）会产生一个位于频率 $\lambda e$ 附近的包络。关键的尺度关系满足：

\frac{K^2}{\text{两个输入振幅}} \cdot \frac{\lambda^2}{\text{两个输出导数}} \cdot \frac{K^{-2}\lambda^{-2}}{\text{两个时间尺度}} \simeq 1.

这意味着每个选定的目标壳层接收到的贡献大小与 $$K$$ 和 $\lambda$ 无关，从而可以在 $\simeq k$ 个不同的壳层上重复此过程，实现所需的 $\ell^1$ 累积。

2. 磁场拉伸机制 单纯的线性磁响应停留在载波尺度，会被目标壳层的测试泛函消除。因此，作者利用了磁场拉伸效应。低频的速度响应通过拉伸作用，在目标磁壳层中产生大小为 $\eta \delta^2$ 的项。这一机制是非电阻 MHD 方程特有的，它允许能量从低频向高频有效传输而不被耗散掉。

3. 频率局部化测试泛函 为了提取端点下界，作者避免了对完整绝对 Littlewood-Paley 余项块求和的强估计（这在 $\ell^1$ 下很难处理）。相反，他们在每个目标壳层中引入一个均匀有界的线性测试泛函 $\Lambda_{\lambda, v, r}$ 。该泛函由 Schwartz 核表示，其 Fourier 支撑集中在目标频率附近。引理 2.1 证明了该泛函的有界性：

|\Lambda_{\lambda, v, r}(f)| \leq C \|\dot{\Delta}_j f\|_{L^\infty}.

同时，其核的导数满足统一的 Taylor 展开界，这对于后续处理 Lagrangian 位移至关重要。

4. 加权 Fourier $$L^1$$ 空间中的统一 Lagrangian 估计 在 Lagrangian 变量下，冻结线（frozen-in）恒等式揭示了拉伸机制的核心。作者建立了加权 Fourier $$L^1$$ 空间 $X^\sigma$ 中的统一估计。关键量是 $\lambda Y$ ，其中 $$Y$$ 是 Lagrangian 位移。值得注意的是，证明中从未使用过载波尺度的界 $$KY$$ ，这避免了因 $$K$$ 很大而导致的发散。引理 3.3 给出了双尺度时间核的统一界，确保在 $K^{1/4} \leq \lambda \leq K^{1/2}$ 范围内，非线性余项在目标尺度上是可控的。

5. 空间局部化与辅助常磁场移除 最后，作者将各个构建块在物理空间中平移到远处，以保持基于 $L^\infty$ 的输入范数独立于壳层数量。随后，通过后验稳定性估计校正叠加误差，并用一个紧支集的无散度平台（plateau）替换计算中使用的辅助常磁场，从而确保结论真正基于零磁场状态。

4. 与之前工作的比较

本文将非电阻 MHD 方程的范数膨胀研究推进到了 $\ell^1$ Besov 端点，这与以往的工作存在显著差异。

1. 与 $$r > 1$$ Besov 空间结果的比较 Chen, Nie 和 Ye [11] 在阈值 Sobolev 空间和双线和指数 $$r > 1$$ 的 Besov 空间中证明了尖锐的磁场范数膨胀。他们的机制依赖于直接的 low-high paraproduct，其增益来自于 $\ell^r$ 序列空间与绝对可和性之间的差距。然而，当 $$r=1$$ 时，这种序列空间增益完全消失。本文指出，端点结果不能简单地通过 $$r > 1$$ 的形式极限得到。相反，本文采用了一种全新的机制：将速度输入集中在单个载波环带附近，并将可比大小的磁场输出分布在一个增长的目标壳层族中。这表明端点处的不稳定性与 $$r > 1$$ 的情形在本质上不同，反映了不可压缩流对精确边界拓扑的高度敏感性。

2. 与有耗散（Resistive）MHD 工作的比较 在有耗散 MHD 方程中，磁场范数膨胀已在 [14, 12] 中被证明。那些论证通常通过将固定的低频模式通过直接二次相互作用馈送来实现。然而，有耗散方程中磁场的耗散项提供了额外的正则化效果，使得某些估计更容易处理。相比之下，非电阻 MHD 方程缺乏磁耗散，磁场仅被输运和拉伸，这使得控制高频行为更加困难。本文的结果专门针对这种非耗散情形，突出了拉伸机制在无耗散背景下的主导作用。

3. 与 Navier-Stokes 方程及 BMO $^{-1}$ 理论的比较 Navier-Stokes 方程在 $\dot{B}^{-1}_{\infty, 1}$ 端点的适定性问题也有相关研究，例如围绕 BMO $^{-1}$ 的理论 [23, 39]。然而，NS 方程只有速度场，不涉及磁场拉伸。本文强调，MHD 方程的不稳定性不能简单地从 NS 方程继承，因为即使 $b \equiv 0$ ，NS 方程在该端点的行为可能不同（或需单独分析）。本文的构造明确展示了两个初始分量都趋于零，而磁场分量在极短时间内变得任意大，这直接检测了非耗散输运-拉伸动力学的独特不稳定性。

4. 与非零平衡态稳定性的比较 Dolce, Knobel 和 Zillinger [17] 研究了非零剪切状态附近磁场导数的电流膨胀。这与本文关注的零点附近磁场本身 $$b$$ 的短时膨胀是不同的问题。非零背景磁场会显著改变稳定性问题，涉及更复杂的线性化分析。本文专注于原点 $$(0,0)$$ 附近的拓扑连续性，排除了背景磁场的影响，从而更纯粹地考察方程结构本身在端点空间中的病理行为。

综上所述，本文的主要贡献在于克服了 $\ell^1$ 端点处序列空间增益缺失的技术障碍，通过创新的共振四波相互作用和磁场拉伸机制，首次严格证明了非电阻 MHD 方程在该端点空间的 ill-posedness。

3. Euler–Monge–Ampère 方程自由边界问题的局部适定性

Local Well-posedness of Free Boundary Problems for the Euler–Monge–Ampère Equations

作者: Sicheng Liu, Tao Luo

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16717v1

摘要翻译: 我们将自由边界的 Euler–Monge–Ampère 系统作为理想不可压缩流体运动的保守松弛来研究。力由实际流体域上的 Monge–Ampère 方程决定，并与非线性边界条件耦合。对每个固定的松弛参数，我们建立了对于 $C^{2,α}$ 类均匀凸初始区域、 $C^{1,α}$ 密度以及任意 $C^{2,α}$ 初速的局部适定性。解保持这些空间正则性，且力的势在移动边界处属于 $C^{3,α}$ 。在一致有界的数据族内，解在每个较低的 Hölder 指数上连续依赖于初始数据。

Comment: 无

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

1. 研究对象和背景

本文研究的是 Euler-Monge-Ampère (EMA) 方程的自由边界问题，该方程系统被视为理想不可压缩流体运动的一种保守松弛模型。具体而言，研究对象是定义在有界移动流形 $\Omega_t \subset \mathbb{R}^d$ 上的流体密度 $\rho$ 、速度 $$v$$ 以及力势函数 $$q$$ 。对于固定的松弛参数 $\delta > 0$ ，控制方程为：

\begin{cases} \partial_t \rho + \nabla \cdot (\rho v) = 0, \\ \partial_t v + (v \cdot \nabla)v = \nabla q, \\ \det(I + \delta^2 \nabla^2 q) = \rho, \end{cases}

其中 Monge-Ampère 方程在椭圆分支 $I + \delta^2 \nabla^2 q > 0$ 上成立。边界条件由两部分组成：一是自由表面被流体输运，即法向速度 $V_{\partial \Omega_t} = v \cdot n$ ；二是非线性边界条件 $q + \frac{\delta^2}{2}|\nabla q|^2 = 0$ 。

这一系统的几何动机源于 Arnold 对不可压缩欧拉流的解释（作为保体积构型空间上的测地线运动）以及最优传输理论中对不可压缩约束的松弛。在固定域情况下，Brenier 和 Loeper 利用极分解通过 Monge-Ampère 方程实现了平方距离惩罚。然而，对于具有自由表面的流体，Shatah 和 Zeng 指出松弛必须保留自由边界的法向结构，这不仅决定了内部力，还导出了 $$q$$ 的非线性边界条件。与传统的局部状态方程不同，这里的力势 $$q$$ 依赖于整个密度分布和流体域的形状，而非仅仅是局部变量。

尽管 EMA 方程在周期域或全空间中的强解理论已由 Loeper 等人建立，但在自由边界情形下，移动边界与非线性椭圆力的耦合使得分析极具挑战性。既有工作主要关注无边界效应的情形，或者处理弱解。本文旨在填补这一空白，为固定松弛参数 $\delta$ 下的自由边界 EMA 系统建立严格的局部适定性理论，特别是针对均匀凸初始域的情况。

2. 主要定理或主要结果

本文的主要结果包含三个核心定理，涵盖了静态 Monge-Ampère 问题、动态局部存在性以及唯一性与稳定性。

定理 1.1 (静态 Monge-Ampère): 假设 $\Omega \subset \mathbb{R}^d$ 是一个均匀凸有界域，边界 $\partial \Omega \in C^{2,\alpha}$ ，且 $f \in C^{1,\alpha}(\Omega)$ 满足 $f - 1 \ge \sigma_0 > 0$ 。则边值问题

\begin{cases} \det(I + \nabla^2 u) = f & \text{in } \Omega, \\ u + \frac{1}{2}|\nabla u|^2 = 0 & \text{on } \partial \Omega \end{cases}

存在唯一的经典解 $$u$$ 。此外，解满足估计 $\|u\|_{C^{3,\alpha}(\Omega)} \le C_*$ ，Hessian 矩阵满足 $C_*^{-1} I \le I + \nabla^2 u \le C_* I$ ，且在边界上有严格的外法向导数 $\nabla_n u \ge C_*^{-1}$ 。常数 $$C_*$$ 仅依赖于维度、 $\alpha$ 、 $\sigma_0$ 、 $$f$$ 的范数以及 $\Omega$ 的几何性质。

定理 1.2 (局部存在性): 假设初始域 $\Omega_0$ 是均匀凸有界域， $\partial \Omega_0 \in C^{2,\alpha}$ ，初始密度 $\rho_0 \in C^{1,\alpha}(\Omega_0)$ 满足 $\rho_0 - 1 \ge \sigma_0 > 0$ ，初始速度 $v_0 \in C^{2,\alpha}(\Omega_0; \mathbb{R}^d)$ 。则存在 $$T^* > 0$$ ，使得系统在 $$[0, T^*]$$ 上存在经典解 $(\rho, v, q, \Omega_t)$ 。解保持相应的正则性： $\Omega_t$ 均匀凸且 $\partial \Omega_t \in C^{2,\alpha}$ ， $\rho_t \in C^{1,\alpha}(\Omega_t)$ ， $v_t \in C^{2,\alpha}(\Omega_t)$ ， $q_t \in C^{3,\alpha}(\Omega_t)$ 。在适当缩短时间后，解满足 $\rho_t - 1 \ge \sigma_0/2$ ， $I + \delta^2 \nabla^2 q_t > 0$ ， $\nabla_n q_t > 0$ ，且各量在相应 Hölder 空间中的范数受控于常数 $$C_*$$ 。

定理 1.3 (唯一性、稳定性与连续依赖性): 假设初始域位于某个均匀凸参考域的足够小的 $C^{2,\alpha}$ 邻域内，且两个解满足定理 1.2 中的统一界。定义差值能量

\mathcal{E}(t) = \|Y_t^1 - Y_t^2\|_{L^2(\Omega^*)}^2 + \|v_t^1 \circ Y_t^1 - v_t^2 \circ Y_t^2\|_{L^2(\Omega^*)}^2,

其中 $$Y_t^i$$ 是通过调和坐标映射到固定参考域 $\Omega^*$ 后的拉格朗日位置。则差值能量满足 Grönwall 型不等式：

\mathcal{E}(t) \le \exp(Ct) \left( \sqrt{\mathcal{E}(0)} + Ct \|\xi_0^1 - \xi_0^2\|_{(H^1)'(\Omega^*)} \right)^2.

这表明解在相同初始数据下唯一。此外，在统一有界的数据族中，若初始数据在较低的 Hölder 指数 $\beta < \alpha$ 下收敛，则解在共同时间区间上以 $C^{2,\beta}$ (对于 $$Y, v$$ ) 和 $C^{1,\beta}$ (对于 $\rho$ ) 范数连续依赖。

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

证明的核心障碍在于处理自由边界与非线性 Monge-Ampère 方程之间的耦合，以及由此产生的非局部力势 $$q$$ 的正则性。作者采用了以下关键技术和创新点：

静态问题的最优传输构造: 对于静态 Monge-Ampère 问题，作者并未直接求解 PDE，而是将其转化为二次成本下的 Wasserstein 投影问题。具体地，考虑从密度 $f \mathbf{1}_\Omega dx$ 到单位球指示函数类 $\mathcal{K}_1$ 中某个测度 $\chi dy$ 的最优传输。通过第一变分分析，证明了存在一个饱和阈值 $\ell$ ，使得最优测度 $\chi$ 在势函数 $\phi < \ell$ 的区域取值为 1，在 $\phi > \ell$ 的区域取值为 0。这允许将问题分解为“主动区域”上的完全传输和非主动区域上的部分传输。利用 Caffarelli 的部分传输正则性理论，作者在未假设未知传输像凸性的情况下，建立了源域上的严格分离估计，从而将自由侧的正则性传递回源域。
非线性边界条件的严格斜交性: 边界条件 $u + \frac{1}{2}|\nabla u|^2 = 0$ 是非局部的。作者利用 Legendre 对偶关系，证明了该边界条件等价于比较域上法向势为零的条件。通过精确计算 Legendre 变换下的拉回恒等式，作者推导出了 $$q$$ 在边界上的严格外法向导数正性 ( $\nabla_n q > 0$ )。这一“严格斜交性”是关键，它允许在不要求边界本身具有三阶导数的情况下，获得势函数 $$q$$ 的额外一阶导数正则性（即 $C^{3,\alpha}$ 正则性）。
多边形构造与低阶力响应估计: 在动态演化中，为了克服时间离散化带来的正则性损失，作者使用了多边形构造方法来建立解的存在性。更关键的是，作者独立地对静态求解器进行了微分，得到了一个低阶的力响应估计。这个估计利用了共法向边界结构，抵消了位移通量项，从而能够同时控制构型变化和传输质量的变化。这一技术使得作者能够在不直接对高阶项进行复杂估计的情况下，完成能量差的闭合估计。
调和坐标映射: 为了比较不同初始域产生的解，作者引入了调和坐标映射 $\psi_{\Omega_0}$ 将所有解映射到一个固定的参考域 $\Omega^*$ 。这使得可以在统一的函数空间中定义差值能量，并应用标准的 Grönwall 不等式来证明唯一性和连续依赖性。

4. 与之前工作的比较

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

自由边界 vs. 固定域/周期域: 既有的 EMA 方程理论（如 Loeper [22]）主要关注周期域或全空间中的 Cauchy 问题，不涉及边界效应。本文首次系统地处理了自由边界情形，其中边界形状是未知的，且由流体运动决定。这与不可压缩欧拉方程的自由边界理论类似，但增加了 Monge-Ampère 方程带来的非线性复杂性。
保守松弛 vs. 粘性正则化: 本文强调模型是保守松弛，而非粘性正则化。这意味着系统保留了 Hamiltonian 结构，能量守恒在光滑分支上成立。相比之下，许多数值或弱解方法可能引入人工粘性。本文的理论框架严格保持了这种保守性，这对于理解物理极限行为至关重要。
正则性要求与结果: 与某些弱解存在性结果不同，本文建立了经典解的局部适定性。特别地，作者证明了力势 $$q$$ 在移动边界处具有 $C^{3,\alpha}$ 正则性，这是一个相当强的结论。这在之前的自由边界流体问题中并不常见，通常只能得到较低的正则性或仅在特定对称性下成立。
假设的差异: 本文假设初始域是均匀凸的，并且初始密度远离 1 ( $\rho_0 - 1 \ge \sigma_0 > 0$ )。这些假设确保了 Monge-Ampère 方程处于椭圆分支，并避免了奇异性。相比之下，一些全局弱解结果可能允许更一般的初始数据，但代价是失去经典正则性。本文的局限在于只提供了局部解，且依赖于初始数据的凸性和密度间隙，但这对于建立基本的适定性理论是必要的。
与半地转方程的联系: 文中提到半地转方程也涉及 Monge-Ampère 演化，但那些工作通常处理旋转流的大尺度近似，且边界条件不同。本文的边界条件源自不可压缩约束的松弛，具有不同的几何起源。因此，本文的结果不能直接由半地转方程的理论推导出来，需要独立的分析工具。

4. 平面欧拉涡度非负情形下支撑直径改进界

An improved bound on the support diameter of nonnegative planar Euler vorticity

作者: Daomin Cao, Junhong Fan, Guodong Wang

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16869v1

摘要翻译: 我们证明了具有紧支集 $$L^1$$ 初值的非负平面欧拉涡度的支撑半径满足 $O(t^{1/4})$ 上界，从而去除了经典约束估计中的对数因子。该结果在对称化涡度表述中成立。相互作用核的因式分解给出了高阶矩的二次卷积不等式。保留该卷积使得有限和的矩之间可以进行基本比较，从而控制整个支撑。我们还证明了支撑半径的平方关于时间具有 Hölder 连续性，指数为 $$1/2$$ 。

Comment: 无

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

1. 研究对象和背景

本文研究二维不可压缩欧拉方程中涡度的输运问题. 具体而言, 我们考虑如下形式的二维欧拉方程:

\begin{cases} \partial_t \omega + u \cdot \nabla \omega = 0, & t > 0, x \in \mathbb{R}^2, \\ u(t, x) = \frac{1}{2\pi} \int_{\mathbb{R}^2} \frac{(x-y)^\perp}{|x-y|^2} \omega(t, y) dy, \\ \omega(0, x) = \omega_0(x), \end{cases}

其中 $(x_1, x_2)^\perp = (-x_2, x_1)$ . 假设初始涡度 $\omega_0$ 满足:

0 \le \omega_0 \in L^1(\mathbb{R}^2), \quad \text{supp } \omega_0 \text{ 紧}, \quad \omega_0 \not \equiv 0.

在经典解中, 涡度沿流体粒子轨迹保持不变, 但其支撑集的几何形状可能发生变形. 虽然涡旋斑块 (vortex patch) 的面积守恒, 但这本身并不能控制其直径的增长. 定量约束估计 (confinement estimates) 描述了涡度从初始支撑集向外传播的距离. 对于单符号 (one sign) 的涡度, 涡度中心 (center of vorticity) 和转动惯量 (moment of inertia) 的守恒律提供了关于这种运动的额外信息. 本文旨在改进由此得到的支撑集增长的上界.

为了处理低正则性情况, 本文采用文献 [5] 中的对称化涡度公式 (symmetrized vorticity formulation). 设 $\phi \in C_c^\infty(\mathbb{R}^2)$ , 定义核函数:

H_\phi(x, y) = \frac{[\nabla \phi(x) - \nabla \phi(y)] \cdot (x-y)^\perp}{4\pi |x-y|^2}, \quad x \neq y,

并在对角线上赋值为零. 要求 $\omega$ 满足:

\int_{\mathbb{R}^2} \phi(x) \omega(t, x) dx - \int_{\mathbb{R}^2} \phi(x) \omega_0(x) dx = \int_0^t \iint_{\mathbb{R}^2 \times \mathbb{R}^2} H_\phi(x, y) \omega(s, x) \omega(s, y) dx dy ds.

该核函数的范数由 $(4\pi)^{-1} \|D^2 \phi\|_{L^\infty}$ 控制, 因此右端对 $$L^1$$ 涡度是良定义的. 在此框架下, 对于满足上述条件的初值, 存在全局非负弱解 $\omega \in C_w([0, \infty); L^1(\mathbb{R}^2))$ , 其中 $$C_w$$ 表示 $$L^1$$ 弱拓扑下的连续性.

定义初始环流、中心和转动惯量为:

\Gamma = \int_{\mathbb{R}^2} \omega_0(x) dx, \quad c = \frac{1}{\Gamma} \int_{\mathbb{R}^2} x \omega_0(x) dx, \quad J = \int_{\mathbb{R}^2} |x-c|^2 \omega_0(x) dx.

由于 $\omega_0$ 非负且积分有限, $\Gamma, J > 0$ . 令 $$B_r(a)$$ 表示以 $$a$$ 为中心、半径为 $$r$$ 的开圆盘. 定义支撑半径:

R(t) = \sup \{|x-c| : x \in \text{supp } \omega(t, \cdot)\}.

记 $$R_0 = R(0) > 0$$ . 已有的理论背景表明, 对于有界涡度, 均匀速度界给出初步估计 $$R(t) = O(t)$$ . 利用非负性和 $$J$$ 的守恒, 可以控制大距离处的涡度质量:

\int_{\mathbb{R}^2 \setminus B_r(c)} \omega(t, x) dx \le \frac{J}{r^2}, \quad r > 0.

然而, 要控制支撑集本身, 还需要控制携带任意小质量的涡度部分的运动. 经典的论证方法结合了上述质量估计与径向速度分量中第一矩的抵消效应. Marchioro 证明了有界单符号涡度的 $R(t) = O(t^{1/3})$ ; Lopes Filho 和 Nussenzveig Lopes 将其推广到 $$L^p$$ ( $$p > 2$$ ) 情形; Iftimie, Sideris 和 Gamblin 随后得到了 $R(t) = O((t \log t)^{1/4})$ . Serfati 独立地得到了包含任意固定次数的迭代对数因子的界. 这些结果均依赖于对数因子, 而本文试图消除这些对数因子, 从而在 $$L^1$$ 正则性水平上建立更优的约束估计.

2. 主要定理或主要结果

本文的主要结果是消除了全平面上已有估计中的对数因子, 建立了 $O(t^{1/4})$ 的支撑半径增长上界.

定理 1.1: 设 $\omega \in C_w([0, \infty); L^1(\mathbb{R}^2))$ 是非负的, 并满足对称化涡度公式 (1.4). 假设 $\omega_0 \not \equiv 0$ 且具有紧支撑. 令 $$J$$ 由 (1.5) 定义, $$R_0 = R(0)$$ , 其中 $$R(t)$$ 由 (1.6) 定义. 则对所有 $t \ge 0$ , 有:

R(t)^2 \le R_0^2 + \frac{16}{\sqrt{27\pi}} \sqrt{Jt}.

作为推论, 我们有:

R(t) = O(t^{1/4}), \quad \text{diam}(\text{supp } \omega(t, \cdot)) = O(t^{1/4}).

该结果适用于非零、非负且具有紧支撑的 $L^p(\mathbb{R}^2)$ ( $1 < p \le \infty$ ) 初值, 因为此类数据属于 $L^1(\mathbb{R}^2)$ .

此外, 我们还证明了平方支撑半径的时间 Hölder 连续性.

推论 1.3: 在定理 1.1 的假设下, 对任意 $s, t \ge 0$ , 有:

|R(t)^2 - R(s)^2| \le \frac{16}{\sqrt{27\pi}} \sqrt{J|t-s|}.

这意味着 $$R(t)^2$$ 是关于时间 $$t$$ 的 $$1/2$$ -Hölder 连续函数.

这一结果显著优于之前的工作: Marchioro 对有界涡度得到 $O(t^{1/3})$ ; Iftimie, Sideris 和 Gamblin 对 $$L^p$$ ( $2 < p \le \infty$ ) 涡度得到 $O((t \log t)^{1/4})$ ; Serfati 的结果包含迭代对数因子. 本文的估计在 $$L^1$$ 正则性下成立, 且不含任何对数项, 达到了 $t^{1/4}$ 的最优幂次增长率.

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

证明的核心在于高阶矩方法 (high-order moment approach) 的改进, 特别是通过核函数的因式分解保留了卷积结构, 从而避免了传统方法中引入的对数因子.

首先, 平移坐标系使涡度中心位于原点. 考虑高阶矩:

H_n(t) = \int_{\mathbb{R}^2} |x|^{4n+2} \omega(t, x) dx, \quad n \ge 0.

这里指数增加 4 的选择是为了使得核函数估计产生形式为 $H_j(t) H_{n-1-j}(t)$ 的乘积. 注意 $$H_0(t) = J$$ 是由转动惯量守恒直接给出的.

关键步骤是对相互作用核进行代数估计. 定义:

P_n(x, y) = \sum_{j=0}^{n-1} |x|^{4j} |y|^{4n-4-4j},

以及:

K_n(x, y) = \left[ \frac{|x|^{4n} - |y|^{4n}}{|x-y|^2} - (|x|^{4n-2} - |y|^{4n-2}) \right] [x, y],

其中 $$[x, y] = x_1 y_2 - x_2 y_1$$ . 通过直接的代数计算, 作者证明了以下因式分解关系:

K_n(x, y) = P_n(x, y) K_1(x, y) - \frac{|x|^2 |y|^2}{|x|^2 + |y|^2} (|x|^{4n-4} - |y|^{4n-4}) [x, y].

进而得到关键估计:

|K_n(x, y)| \le 2 |x|^2 |y|^2 P_n(x, y).

这个估计的系数不依赖于 $$n$$ , 即使当 $$|x|$$ 和 $$|y|$$ 接近时也成立.

利用第一矩守恒 $\int x \omega dx = 0$ , 可以将 $$H_n'(t)$$ 表示为:

H_n'(t) = \frac{4n+2}{4\pi} \iint_{\mathbb{R}^2 \times \mathbb{R}^2} K_n(x, y) \omega(t, x) \omega(t, y) dx dy.

结合上述核估计, 得到微分不等式:

|H_n'(t)| \le \frac{2n+1}{\pi} \sum_{j=0}^{n-1} H_j(t) H_{n-1-j}(t).

传统的处理方式是利用 Hölder 不等式将中间项 $H_j(t) H_{n-1-j}(t)$ 替换为上界 $J H_{n-1}(t)$ , 这会引入额外的因子 $$n$$ , 最终导致对数项的出现. 本文的创新点在于保留卷积结构. 定义有限多项式:

F_N(t, z) = \frac{1}{J} \sum_{n=0}^{N} H_n(t) z^n, \quad t \ge 0, z \ge 0.

$$F_N^2$$ 的系数包含了 (1.15) 中的卷积和. 通过选择适当的曲线 $$z = z(t) > 0$$ 和比较函数 $$A(t) > 0$$ , 使得在 $$F_N = A$$ 时, $\partial_z F_N$ 项相互抵消, 而 $$A'$$ 匹配剩余的二次项. 通过简单的微分比较, 得到 $F_N(t, z(t)) \le A(t)$ , 且该估计独立于 $$N$$ . 这控制了 $$H_n(t)$$ 当 $n \to \infty$ 时的增长. 在每个固定时刻, 由此得到的尾部估计为:

R(t)^4 \le (R_0^4 + \delta) \left( 1 + \frac{Jt}{\pi \delta} \right)^4, \quad \delta > 0.

通过在 $$R_0, J$$ 和 $$t$$ 的范围内优化 $\delta$ , 即得到定理 1.1 的结论.

整个证明过程仅使用紧支撑测试函数来证明矩恒等式, 不需要预先对支撑或速度进行界定. 守恒律和第一矩抵消与之前的约束论证相同, 但核函数的因式分解和保留卷积是获得改进估计的关键.

4. 与之前工作的比较

本文与既有工作的主要区别在于正则性假设的放宽和对数因子的消除.

正则性假设: 之前的主要结果通常要求涡度具有更高的正则性. Marchioro 的结果针对 $L^\infty$ 有界涡度; Lopes Filho 和 Nussenzveig Lopes 推广到 $$L^p$$ ( $$p > 2$$ ); Iftimie, Sideris 和 Gamblin 以及 Serfati 的结果也主要针对 $$L^p$$ ( $$p > 2$$ ) 或有界涡度. 本文的结果直接在 $$L^1$$ 空间下成立, 这是最低的正则性要求, 涵盖了更广泛的初值类, 包括那些不属于任何 $$L^p$$ ( $$p > 1$$ ) 空间的奇异初值.
增长率的改进: 在增长率方面, 早期工作如 Marchioro 得到 $O(t^{1/3})$ 的估计. Iftimie, Sideris 和 Gamblin 通过更精细的分析将幂次改进到 $$1/4$$ , 但引入了对数因子, 得到 $O((t \log t)^{1/4})$ . Serfati 的结果进一步细化了对数因子的结构, 但依然包含迭代对数. 本文完全消除了所有对数因子, 建立了纯粹的 $O(t^{1/4})$ 估计. 这在渐近意义上是一个实质性的改进, 因为它给出了最精确的幂次增长率.
技术方法的差异: 之前的约束估计通常依赖于在大圆盘外估计涡度质量, 然后控制适当扩张边界上的径向速度. Iftimie, Sideris 和 Gamblin 的附录中提出了基于高阶矩的替代证明, 但该方法在处理高阶矩时引入了与矩阶数成正比的对数因子. 本文的创新在于通过核函数的因式分解和保留卷积结构, 避免了这一对数损失. 这种方法不仅更简洁, 而且自然地推广到了 $$L^1$$ 框架, 因为对称化涡度公式在 $$L^1$$ 水平上是良定义的, 而经典的速度公式可能需要更高的正则性来保证动能有限.
适用范围的扩展: 由于结果在 $$L^1$$ 下成立, 它自动适用于所有 $$L^p$$ ( $1 < p \le \infty$ ) 的非负紧支撑初值. 此外, 对于有界初值, 本文的解类包含了唯一的 Yudovich 解. 与涉及障碍物、半平面或柱状域的工作相比, 本文专注于全平面情形, 但通过 $$L^1$$ 正则性和无对数估计, 为理解二维欧拉方程的长期行为提供了更基础的工具.
代价与局限: 尽管去除了对数因子, 本文的估计仍然依赖于涡度的非负性. 对于变号涡度, 支持直径可能呈现线性增长, 如 Choi 和 Jeong 等人的工作所示. 因此, 本文的结果不能直接推广到一般符号的涡度. 此外, 估计中的常数依赖于初始转动惯量 $$J$$ 和初始支撑半径 $$R_0$$ , 这与物理直觉一致: 更大的初始惯性或支撑范围会导致更快的扩散.

5. 边界层 $$α$$ -模型的微分代数框架

A Differential Algebraic Framework for Boundary Layer $$α$$ -Models

作者: C. Valencia-Negrete, J. Flores, M. Perez, M. Romero de Terreros, M. Favela

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

发布日期: 2026-09-14

arXiv ID: 2609.16442v1

摘要翻译: 通过处理描述 Prandtl 与 Leray- $$α$$ 边界层的饱和幺半群之间差异的问题，并在代数上区分 Helmholtz 算子的作用，我们可以证明：当对向量场的修正在由微分滤波器确定的最小尺度处停止时，可以避免在有限时间内达到无穷速度这一构造解的悖论。此外，这使我们能够获得已应用 Helmholtz 算子的边界层在壁面附近的 Taylor 展开系数。

Comment: 12 pages, 3 figures

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

1. 研究对象和背景

本文研究的是湍流理论中的边界层方程，特别是经典的 Prandtl 边界层模型与引入 Helmholtz 算子后的 Leray- $\alpha$ 边界层模型之间的代数结构差异。在流体力学中，当流体流过固体表面时，由于粘性效应，会在壁面附近形成一层极薄的区域，即边界层。Prandtl 方程描述了这一区域内速度从壁面的零值（无滑移条件）过渡到外部自由流速度的过程。然而，经典的 Prandtl 方程在某些条件下会出现奇异性，例如 Goldstein 奇点，这导致解在有限时间内发散或出现非物理行为。

为了克服这些困难，研究者引入了 Leray- $\alpha$ 模型，该模型通过 Helmholtz 算子 $u_\alpha - \alpha^2 \Delta u_\alpha = u$ 对速度场进行滤波。这里的 $\alpha$ 是一个正参数，代表滤波的宽度或最小尺度。这种滤波方法可以看作是对高频振荡的抑制，从而避免解的发散。Leray- $\alpha$ 模型不仅在理论上具有更好的正则性，而且在数值模拟中表现出更稳定的行为。

本文的核心问题是：从微分代数的角度来看，Prandtl 边界层模型和 Leray- $\alpha$ 边界层模型之间的饱和单群（saturation monoid）有何不同？这种差异如何影响解的存在性和唯一性？具体来说，作者试图证明，当应用 Helmholtz 算子后，系统的分离量（separant）变为一个严格为正的结构常数，从而避免了奇异分支的出现，保证了全局正则性。

2. 主要定理或主要结果

本文的主要结果包括两个定理：

定理 1：假设速度分量 $U, V \in C^\infty(D)$ 满足 Leray- $\alpha$ 模型中的动量守恒方程：

U \partial_x W + V \partial_y W = \nu \partial_{yy} W - p_x

其中 $W = U - \alpha^2 \partial_{yy} U$ 。则对于 $k \geq 4$ ，水动力系数满足递推关系：

a_k = \frac{1}{\alpha^2 k(k-1)} \left[ a_{k-2} - C_{k-4}(x) + \frac{p_x \delta_{k-4,0}}{\nu(k-2)(k-3)} \right]

这里 $$C_m(x)$$ 是非线性对流项的 Cauchy 乘积， $$p_x$$ 是压力梯度， $\delta_{k-4,0}$ 是 Kronecker delta 函数。

定理 2：对于广义 $\alpha$ -正则化边界层，微分理想形成一个全局正则的一致自约简集（Coherent Autoreduced Set），其饱和单群为 $M_\alpha = \langle \alpha^2 \nu \rangle^\infty$ 。这种代数结构严格限制了所有空间导数不超过 $1/\alpha^2$ ，从而在拓扑上阻止了无限速度波的产生，完全绕过了 Goldstein 奇点。

此外，文章还展示了 Helmholtz 滤波器在精确爆破解上的作用，表明滤波后的峰值速度达到有限最大值，而未滤波的速度则随时间趋于无穷大。

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

本文的核心方法是利用微分代数理论来分析边界层方程的代数结构。具体步骤如下：

定义微分多项式和理想：首先定义了微分环、微分多项式、微分理想等基本概念。特别地，介绍了初始项（initial）、分离量（separant）和饱和单群（saturation monoid）的概念。
构建三角系统：通过将边界层方程表示为微分多项式系统，并利用 Rosenfeld-Groebner 算法将其转化为三角形式。这一过程依赖于伪除法（pseudo-division），要求饱和单群不为零。
分析分离量：在经典 Prandtl 模型中，分离量是一个动态变量，可能为零，导致奇异分支的出现。而在 Leray- $\alpha$ 模型中，由于 Helmholtz 算子的引入，分离量变为一个严格为正的结构常数 $S_\alpha = \alpha^2 \nu \frac{(m+4)!}{m!}$ 。这意味着奇异分支为空集，从而保证了全局正则性。
推导递推关系：基于上述代数结构，作者推导出了速度系数的递推关系，并证明了这些系数是有界的，不会随时间发散。
数值验证：最后，作者通过数值实验验证了理论结果，展示了 Helmholtz 滤波器在精确爆破解上的作用，进一步支持了理论分析的结论。

4. 与之前工作的比较

与之前的工作相比，本文的主要贡献在于：

代数结构的明确区分：之前的研究主要集中在 Leray- $\alpha$ 模型的正则性和存在性上，但很少从微分代数的角度详细分析其与经典 Prandtl 模型的差异。本文首次系统地比较了两种模型的饱和单群，并明确了 Helmholtz 算子在代数结构中的作用。
避免奇异性的机制：虽然已知 Leray- $\alpha$ 模型可以避免某些奇异性，但本文通过严格的代数论证，解释了为什么这种模型能够避免 Goldstein 奇点和其他有限时间爆破现象。特别是，作者证明了分离量变为严格为正的结构常数，从而排除了奇异分支的可能性。
递推关系的推导：本文提供了详细的递推关系，使得可以逐步计算边界层近壁处的 Taylor 展开系数。这不仅有助于理解解的局部行为，也为数值模拟提供了理论基础。
数值验证：通过数值实验，本文验证了理论预测，展示了 Helmholtz 滤波器在实际问题中的效果。这增强了理论结果的可信度，并为未来的研究提供了参考。

总体而言，本文为理解 Leray- $\alpha$ 模型的数学结构提供了新的视角，并为其在湍流模拟中的应用奠定了坚实的理论基础。

6. 将 Córdoba-Martínez-Zoroa IPM 爆破推广至时空一致光滑外力

Extending the Córdoba-Martínez-Zoroa IPM Blow-Up to Uniformly Space-Time Smooth Forcing

作者: Levent Alpöge, Tristan Buckmaster, Matei P. Coiculescu

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16470v1

摘要翻译: 通过适配 Córdoba-Martínez-Zoroa 在空间光滑外力下所采用的 IPM 爆破结果中的技术，我们证明了 $oldsymbol{\mathbb T^2}$ 上具有时空一致光滑外力的 IPM 方程的有限时间爆破。具体而言，我们证明存在一个光滑奇初值密度、一个光滑奇外力 $F \in C^\infty([0,1] \times \mathbb T^2)$ ，以及定义在 $$[0,1)$$ 上的经典解 $\rho$ ，其密度梯度与空间速度梯度在 $L^\infty$ 中当 $t \uparrow 1$ 时发散。然而，对于任意 $0 \leq \eta < 1$ ， $\rho(t)$ 均在 $C^\eta$ 中收敛。

Comment: 57 pages. LLM-assisted and Lean formalized proof

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

1. 研究对象和背景

不可压缩流体方程的全局适定性问题一直是流体力学数学中的核心难题. 对于二维不可压缩多孔介质方程 (IPM, Incompressible Porous Media equation), 其基本形式为:

\partial_t \rho + u_T(\rho) \cdot \nabla \rho = F,

其中 $\rho$ 是密度场, $$F$$ 是外力项, $u_T(\rho)$ 是由 Darcy 定律确定的周期性无散速度场. 具体地, $$u_T$$ 是一个零阶傅里叶乘子, 其符号函数为:

\widehat{u_T(\rho)}(k) = 2\pi \left( \frac{k_1 k_2}{|k|^2}, -\frac{k_2^2}{|k|^2} \right) \hat{\rho}(k), \quad k \neq 0.

该速度场满足 $\text{div } u_T(\rho) = 0$ , 且与波数 $$k$$ 正交.

IPM 方程在稳定性理论、弱解唯一性以及奇异性形成等方面均有丰富的研究历史. 例如, Córdoba, Gancedo, and Orive 建立了经典解的局部存在唯一性准则; Kiselev and Yao 构造了全局光滑解中导数无界增长的例子; Bianchini, Córdoba, and Martínez-Zoroa 证明了在临界 Sobolev 空间 $$H^2$$ 中的强不适定性. 然而, 关于从光滑初值出发在有限时间内形成奇性的严格构造，尤其是在具有光滑外力的情况下，此前仍缺乏完整的结果.

Córdoba and Martínez-Zoroa 在其开创性工作中 [1] 首次证明了强制 IPM 方程在 $\mathbb{R}^2$ 上的有限时间爆破. 他们的结果要求初始密度属于 $C_c^\infty(\mathbb{R}^2)$ , 而外力 $$F$$ 仅假设在时间上一致有界且在空间上光滑, 即 $F \in L_t^\infty C_x^\infty$ . 尽管他们在文中备注中提到可以期待联合时空光滑性, 但并未给出严格的证明.

本文旨在填补这一空白. 作者将研究对象转移到二维环面 $\mathbb{T}^2$ 上, 并证明存在一个光滑的奇初值密度 $\rho_{in} \in C^\infty(\mathbb{T}^2)$ 和一个时空一致光滑的外力 $F \in C^\infty([0, 1] \times \mathbb{T}^2)$ , 使得对应的经典解 $\rho(t)$ 在 $t \uparrow 1$ 时, 密度梯度 $\nabla \rho(t)$ 和速度梯度 $D_x u_T(\rho(t))$ 在 $L^\infty$ 范数下发散至无穷大. 值得注意的是, 尽管高阶导数爆破, 密度本身 $\rho(t)$ 在 $C^\eta$ 拓扑下对任意 $0 \le \eta < 1$ 仍然收敛. 这一结果表明, 即使在非常规的光滑外力作用下, IPM 方程的非线性机制依然足以驱动有限时间的奇异性形成.

2. 主要定理或主要结果

本文的主要结果由定理 2.1 概括:

定理 2.1 (有限时间爆破): 存在函数

\rho_{in} \in C^\infty(\mathbb{T}^2), \quad F \in C^\infty([0, 1] \times \mathbb{T}^2),

以及方程 (2) 的一个解 $\rho$ , 满足以下性质:

初始数据 $\rho_{in}$ 和外力 $F(t, \cdot)$ 均为奇函数, 且具有零空间均值.
对于任意 $$T < 1$$ , 解 $\rho$ 在 $[0, T] \times \mathbb{T}^2$ 上是光滑的 ( $C^\infty$ ).
存在一个函数 $\rho_* \in \bigcap_{0 \le \eta < 1} C^\eta(\mathbb{T}^2)$ , 使得当 $t \uparrow 1$ 时, $\rho(t)$ 在 $C^\eta(\mathbb{T}^2)$ 中收敛到 $\rho_*$ .
然而, 密度梯度和速度梯度在 $t \uparrow 1$ 时发散: $\lim_{t \uparrow 1} \|\nabla \rho(t)\|_{L^\infty} = \infty, \quad \lim_{t \uparrow 1} \|D_x u_T(\rho(t))\|_{L^\infty} = \infty.$

技术细节与尺度关系:

多尺度归纳结构: 构造依赖于一个频率递增的序列 $\lambda_q$ 和尺度指数 $\beta_q$ . 每一级引入一个新的振荡波包 (child packet), 其频率 $\lambda_{q+1}$ 相对于前一级 $\lambda_q$ 呈指数增长: $\lambda_{q+1} \sim \exp(C \lambda_q^{\beta_q/8})$ .
尺度指数演化: 尺度指数 $\beta_q$ 遵循“保留或减半”规则. 当验证的导数范围足够覆盖下一级需求时, $\beta_{q+1} = \beta_q / 2$ ; 否则保留 $\beta_{q+1} = \beta_q$ . 由于频率分离, $\beta_q$ 最终趋于 0, 但始终为正.
外力光滑性估计: 在每一级 $$q+1$$ , 新增的外力增量 $G_{q+1}$ 满足如下混合导数估计: $\|\partial_t^m G_{q+1}(t)\|_{C_x^k} \le \lambda_{q+1}^{-1/4},$ 只要 $m + k \le \lfloor \frac{1}{4\beta_{q+1}} \rfloor - 10$ . 随着 $\beta_q \to 0$ , 受控的混合导数阶数趋向无穷, 从而保证外力 $$F$$ 在时空上的一致光滑性.
爆破机制: 密度梯度的主要尺度为 $\lambda_q^{\beta_q}$ , 速度梯度的主要尺度为 $\lambda_q^{7\beta_q/8}$ . 由于 $\beta_q \log \lambda_q \to \infty$ , 这些量在 $q \to \infty$ 时发散, 导致有限时间内的 $L^\infty$ 爆破.
收敛性: 尽管高阶导数爆破, 低阶 Hölder 范数 $C^\eta$ ( $\eta < 1$ ) 的增量是可求和的, 因此密度场本身保持连续并收敛.

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

本文的证明框架基于多尺度归纳法, 结合了精细的振荡分析、傅里叶截断技术和混合时空归纳. 以下是核心技术工具及其作用:

多尺度父子结构与振荡波包:
- 构造的核心思想是将解分解为一系列频率递增的振荡波包. 第 $$q$$ 级的密度 $\rho^{(q)}$ 作为第 $$q+1$$ 级的“父代”背景流, 通过剪切作用放大第 $$q+1$$ 级的“子代”高频扰动 $\theta_{q+1}$ .
- 子代扰动具有形式 $\theta_{q+1} = w_{q+1}(t) b_{q+1}(x,t) \sin(\lambda_{q+1} X_{q+1}(x,t))$ , 其中相位 $X_{q+1}$ 沿父代流传输. 这种传输机制确保了振荡结构的保持, 同时利用父代流的几何特性（如相位梯度方向的垂直性）实现振幅的几何级数增长.
- 非线性参数化子 (Nonlinear Parametrix): 为了控制残余项, 作者构造了一个有限项的非线性近似解 $\Theta_M = \sum_{j=1}^M \zeta_j$ . 每一项 $\zeta_j$ 用于修正前一项留下的谐波缺陷. 修正深度 $M = \lceil \beta_{q+1}^{-2} \rceil$ 随尺度指数的减小而增加, 以确保在有限的混合导数范围内消除足够的误差.
嵌套傅里叶截断与交换子控制:
- 为了避免在迭代过程中损失导数, 作者引入了嵌套的傅里叶截断算子 $S_\mu$ . 每一级的父代定义为 $P_{q+1} = S_{\mu_{q+1}} \rho^{(q)}$ .
- 截断操作引入了交换子误差 $C_{\mu_{q+1}}(\rho^{(q)}) = u_T(S_{\mu_{q+1}}\rho^{(q)}) \cdot \nabla S_{\mu_{q+1}}\rho^{(q)} - S_{\mu_{q+1}}(u_T(\rho^{(q)}) \cdot \nabla \rho^{(q)})$ . 关键创新在于，这个精确的交换子没有被忽略，而是被明确地纳入外力 $$F$$ 的递归定义中. 这保证了每一步都是精确解，而非近似解，从而避免了非线性极限过程中的复杂性.
- Bernstein 型估计用于控制截断后的高阶空间导数，防止导数损失的累积.
混合时空归纳 (Mixed Space-Time Induction):
- 为了确保外力 $$F$$ 在时空上的一致光滑性，必须同时控制时间和空间的混合导数. 在固定阶段，估计仅覆盖有限阶混合导数.
- 作者使用物质导数 $D = \partial_t + u_T(P_{q+1}) \cdot \nabla$ 来推进归纳. 通过加权 Duhamel 公式，证明了 $$p$$ 阶修正只需要 $$p-1$$ 阶的时间源项，代价是额外的空间导数. 这种“一阶增益”机制使得时间积分能够闭合归纳.
- 激活函数 $w_{q+1}$ 在激活时刻 $s_{q+1}$ 处无限阶消失，这保证了子代扰动及其残余项在早期时间的平滑延拓为零，从而维持了整个解的光滑性.
尺度分离与频率律:
- 频率 $\lambda_{q+1}$ 的选择远大于截断尺度 $\mu_{q+1}$ 和父代频率，确保不同尺度之间的干扰最小化.
- 尺度指数 $\beta_q$ 的递减策略平衡了两个目标：一方面使外力增量在更多阶导数下衰减（需要更小的 $\beta_q$ ），另一方面保持密度和速度梯度的发散（需要 $\beta_q \log \lambda_q \to \infty$ ）.
Lean 形式化验证:
- 作者还使用了 Lean 编程语言对证明进行了形式化验证，确保了归纳步骤中常数追踪和逻辑严密性的正确性. 这在处理复杂的多尺度归纳时提供了额外的可靠性保障.

4. 与之前工作的比较

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

与 Córdoba-Martínez-Zoroa [1] 的比较:
- 外力正则性: 前人工作 [1] 仅要求外力 $F \in L_t^\infty C_x^\infty$ , 即时间在 $L^\infty$ 意义下有界，空间光滑. 本文则证明存在外力 $F \in C^\infty([0, 1] \times \mathbb{T}^2)$ , 即在时空上均一致光滑. 这是一个显著的正则性提升, 表明即使在外力非常光滑的情况下，IPM 方程仍能形成奇性.
- 定义域: 前人工作在 $\mathbb{R}^2$ 上，要求初值和外力紧支集. 本文在周期域 $\mathbb{T}^2$ 上进行构造，避免了紧支集的限制，并利用了周期性带来的傅里叶分析优势.
- 构造方法: 前人使用 jet 截断 (jet truncation) 来传输下一尺度，而本文使用傅里叶截断 (Fourier cutoff). 傅里叶截断允许作者更精确地控制交换子误差，并将其显式纳入外力，从而实现了精确的级数表示，无需通过非线性极限过程.
- 结论细节: 本文不仅证明了梯度爆破，还明确了密度场在 $C^\eta$ ( $\eta < 1$ ) 下的收敛性，提供了更完整的奇异性描述.
与 Euler 方程爆破结果的比较:
- 三维不可压缩 Euler 方程的有限时间爆破已由 Elgindi [5] 在 $C^{1,\alpha}$ 类中证明，但光滑爆破仍未解决. 本文针对的是二维 IPM 方程，虽然维度较低，但其非局部性和非线性结构使其成为理解更高维流体奇性的重要模型.
- 与 Euler 方程相比，IPM 方程的爆破构造依赖于特定的多尺度振荡机制，而非自相似解或边界层效应. 这使得 IPM 的爆破机制更具普适性，可能为其他主动标量方程提供启示.
与 Boussinesq 方程的联系:
- 作者在引言中提到，他们将在后续工作中证明二维不可压缩 Boussinesq 方程和三维轴对称 Euler 方程在时空一致光滑外力下的有限时间爆破. 这表明本文的 IPM 结果是一个更广泛计划的一部分，旨在展示一类流体方程在光滑外力下的奇异性形成机制.
- IPM 方程与 Boussinesq 方程在数学结构上有相似之处，都涉及密度输运和非局部速度耦合. 因此，本文的技术工具（如多尺度归纳、傅里叶截断）可能直接适用于这些相关方程.
与弱解理论的区分:
- 现有的 IPM 弱解非唯一性和混合现象 [13-21] 是在低正则性类（如 Hölder 连续）中建立的. 本文的结果是针对经典解 (classical solution) 的，即在奇点之前解是光滑的. 这强调了奇异性不是由于低正则性导致的模糊性，而是光滑解在有限时间内内在的发散行为.
局限性:
- 本文的爆破构造依赖于精心设计的外力 $$F$$ . 对于无外力 (unforced) 的 IPM 方程，是否也存在从光滑初值出发的有限时间爆破，目前仍是一个开放问题. 本文的结果不能直接推广到无外力情形.
- 构造的复杂度较高，涉及大量的技术细节和常数追踪. 虽然 Lean 形式化验证增加了可靠性，但人工阅读和理解整个证明仍需较高的专业背景.

摘要翻译: 我们研究正径向整体解 $$u_p$$ 的奇异极限 $p \downarrow 1$ ，其中 $$u_p$$ 满足

-Δ_p u_p=F_p\left(|x|, u_p,\left|\nabla u_p\right|\right) u_p^{-β_p} \quad \text { in } \mathbb{R}^n,

且 $n \geq 2,1<p<\min \{2, \sqrt{n}\}$ ， $0 \leq β_p \leq p-1$ 。假设

F_p \rightarrow F_1 \quad \text { locally uniformly }, \quad \frac{β_p}{p-1} \rightarrow \mathbf{c} \in[0,1] \quad \text { as } p \downarrow 1,

我们证明，通过取子列， $u_{p_j} \rightarrow u$ 于 $C_{\text {loc }}\left(\mathbb{R}^n\right)$ ，且 $\nabla u_{p_j} \stackrel{*}{\rightharpoonup} \nabla u$ 于 $L_{\text {loc }}^{\infty}\left(\mathbb{R}^n ; \mathbb{R}^n\right)$ ，其中 $u \in W^{1, \infty}\left(\mathbb{R}^n\right)$ 是径向的，并求解

-Δ_1 u=\mathtt{K}(|x|) \quad \text { in } \mathbb{R}^n .

在 $\left\{x \in \mathbb{R}^n \mid \mathtt{G}(|x|)<1\right\}$ 上，我们证明 $\mathtt{K}(|x|)=w^{-\mathbf{c}} F_1(|x|, u(x), 0)$ 且 $\nabla u=0$ 几乎处处成立，其中 $u_{p_i}^{p_i-1} \rightarrow w$ 。另一方面，我们表明若 $ρ\mapsto F_1(r, t, ρ)$ 对每个 $$r$$ 和 $$t$$ 都是仿射函数，则 $\mathtt{K}(|x|)=$ $w^{-\mathbf{c}} F_1(|x|, u(x),|\nabla u(x)|)$ 在 $\mathbb{R}^n$ 中几乎处处成立。对于 $$n=1$$ 且 $$1<p<2$$ ，我们研究

arXiv ID: 2609.17318v1

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

摘要: We consider the Cauchy problem

u_t-Δu=|u|^p,\qquad (t,x)\in(0,T)\times\R^n, \quad u(0,x)=\eps u_0(x),\qquad x\in\R^n,

with small sign-changing initial data having zero total mass. We assume

u_0\in L^1(\R^n)\cap L^\infty(\R^n),\quad |x|u_0\in L^1(\R^n),\quad \int_{\R^n}u_0(x)\,dx=0,

and, for the sharp subcritical upper bounds, that $\int_{\R^n}x\,u_0(x)\,dx\neq0.$ Let $T_\eps$ denote the maximal lifespan. We identify a new transition exponent $p_m=1+\frac1{n+1}$ inside the Fujita range $1<p\le p_F:=1+2/n$ , and establish the sharp lifespan estimates

T_\eps\asymp \begin{cases} \eps^{-\frac{2(p-1)}{2-(n+1)(p-1)}}, &1<p<p_m,\\[2mm] \eps^{-\frac2{n+1}} \bigl(\log\frac1\eps\bigr)^{-\frac2{n+2}}, &p=p_m,\\[2mm] \eps^{-p\left(\frac{1}{p-1}-\frac{n}{2}\right)^{-1}}, &p_m<p<p_F,\\[2mm] \exp\!\left(\eps^{-p(p-1)}\right), & p=p_F. \end{cases}

These estimates reveal a lifespan phenomenon that is different from the classical Lee–Ni law for initial data with positive mass. In the zero-mass setting, the leading linear contribution is dipole-like, while the nonlinear source subsequently generates a positive mass of size $O(\eps^p)$ . Their competition produces the additional threshold $$p_m$$ , the logarithmic correction at $$p=p_m$$ , and, at $$p=p_F$$ , a substantially longer critical lifespan with exponent $$p_F(p_F-1)$$ instead of the classical Lee–Ni exponent $$p_F-1$$ . The upper estimates are obtained by backward-Gaussian and critical scale-ODE test-function arguments, whereas the lower estimates follow from a unified $$L^1$$ – $L^\infty$ bootstrap preserving the zero-mass cancellation of the linear flow and controlling the mass generated by the nonlinear source. Thus, although $$p_F$$ remains the Fujita critical exponent, zero initial mass creates a new quantitative lifespan regime below and at the critical exponent.

5. 各向异性Calderón问题：近欧氏度量下的刚性

The anisotropic Calderón problem: rigidity near the Euclidean metric

作者: Yi-Hsuan Lin

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17261v1

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

摘要: We prove rigidity near the Euclidean metric for the anisotropic Calderón problem on smooth bounded connected domains in dimensions three and higher. Any smooth Riemannian metric sufficiently close to the Euclidean metric in a suitable Hölder norm and having the same Dirichlet-to-Neumann map agrees with it up to a diffeomorphism fixing the boundary pointwise. The result applies to general smooth anisotropic perturbations, without analytic or quasianalytic regularity assumptions, a prescribed conformal class, or a transversal product structure, and requires no convexity of the boundary. The proof combines harmonic coordinates with a Carleman estimate for compactly supported correctors to obtain a quadratic Fourier estimate on a frequency range determined by the perturbation. A frequency decomposition then yields rigidity.

6. 从稀疏集观测恢复分数阶热方程初始数据的对数稳定性

Logarithmic stability for recovering initial data of fractional heat equations from thin-set observations

作者: Kai Yu, Zhiyuan Li

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17253v1

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

摘要: We study the inverse problem of recovering initial data for fractional heat equations on bounded domains from observations taken on two types of possibly Lebesgue-null sets: the first consists of general thin sets whose Hausdorff dimension exceeds $$n-1$$ ; the second consists of specially constructed sets of zero Hausdorff dimension, built from algebraic irrational points and rapidly accumulating sequences.By extending thin-set observability inequalities from the classical heat equation to the fractional setting and employing a unified spectral inequality with exponent $β\in(0,s)$ , we establish a quantitative observability estimate for every fractional exponent $$s>1/2$$ . For general thin sets one has $$β=1/2$$ ; for the special zero-dimensional sets any $β\in(1/2,s)$ is admissible, yet the short-time observability cost always remains of exponential type, with the rate governed by $$β$$ relative to $$s$$ . Under an a priori smoothness assumption, we also prove a logarithmic stability estimate.We further design a regularised least-squares reconstruction algorithm and provide a conditional convergence analysis, showing that the reconstruction error is bounded by the sum of a spectral truncation term and a logarithmic term dictated by the continuous stability, and that the error decays logarithmically as the noise level tends to zero. Numerical simulations using very few observation points confirm the feasibility of the proposed approach.

7. 涉及函数与其梯度乘积的半线性椭圆方程的 Liouville 型定理与一致估计

Liouville-type theorems and universal estimates for semilinear elliptic equations involving the product of the function and its gradient

作者: Wenguo Liang, Zhengce Zhang

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17149v1

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

摘要: In this paper, we study local and global properties of positive solutions to the equation $-Δu=u^p|\nabla u|^q$ in a domain $$Ω$$ of $\mathbb R^N$ , where $$p$$ and $$q$$ are parameters. We introduce a linear operator to construct the differential inequality to obtain gradient estimates, and further establish Liouville-type theorems. As an application, we derive universal estimates for local solutions. Some of our results are new, as we extend the condition $$p+q<(N+3)/(N-1)$$ considered by He, Hu and Wang [Math. Z. 313 (2026), No. 6] to a wider range of parameters.

8. 关于球体为鞍形的一些泛函

On some functionals for which the ball is a saddle shape

作者: Alba Lia Masiello, Gloria Paoli, Francesco Salerno

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17083v1

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

摘要: In the present paper, we study the maximization problem of the $$k$$ -Torsional rigidity under quermassintegral constraint, with particular emphasis on the role of the ball. Our main result shows a phenomenon which, as far as we know, has not previously been observed: the ball, rather than being an extremal shape, is a saddle point. More precisely, for suitable quermassintegral constraints, we show that the $$k$$ -torsional rigidity admits both increasing and decreasing perturbations around the ball. The proof is based on a second-order analysis of the corresponding variational problem. To the best of our knowledge, this is the first use of a second-order shape derivative approach in the study of variational problems for $$k$$ -Hessian operators. We also establish an analogous saddle-point behavior for a related curvature functional under a volume constraint, highlighting a structural distinction between the intermediate Hessian regime and the classical Laplace and Monge-Ampère cases.

9. 随机 Stefan 问题的潜热消失极限：误差估计

The vanishing latent heat limit of a stochastic Stefan problem : An error estimate

作者: Ioana Ciotir, Perla El Kettani, Dan Goreac, Danielle Hilhorst

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17079v1

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

摘要: The purpose of this paper is to extend an article by Hilhorst, Mimura and Sch{ä}tzle [18] about the limit as the latent heat coefficient tends to zero of a two-phase Stefan problem arising in biology. We introduce a rather general additive noise white in time and colored in space, and search for the limit of the solution of the corresponding stochastic Stefan problem as the latent heat coefficient vanishes. We first prove the existence and uniqueness of the weak solution of this problem, and then study the limit of the solution as the latent heat coefficient tends to zero. Unlike in [18], our method of proof is based upon an error estimate between the solution of the Stefan problem with positive latent heat and that of the Stefan problem with zero latent heat, which seems to be novel even in the deterministic case when no noise is added.

10. Heisenberg群中混合局部-非局部特征值问题：谱理论与奇异重数

Mixed local-nonlocal eigenvalue problems in the Heisenberg group: spectral theory and singular multiplicity

作者: Prashanta Garain, Vicentiu Radulescu

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17125v1

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

摘要: This paper investigates nonlinear eigenvalue problems governed by a family of operators that combine two distinct diffusion mechanisms: a classical local diffusion, which accounts for short-range interactions, and a fractional nonlocal diffusion, which captures long-range effects. The analysis is carried out in the Heisenberg group, a non-Euclidean geometric setting in which motion is constrained to a distinguished set of horizontal directions. As an application of the obtained spectral theory, we establish multiplicity results for perturbed singular problems in both the purely nonlocal and mixed local–nonlocal settings. For the mixed case, a gradient convergence theorem plays a crucial role in deriving these multiplicity results. A key feature of our analysis is the treatment of variable singular exponents, allowing the singularity to vary throughout the domain. To the best of our knowledge, this is the first systematic study of nonlinear eigenvalue problems and singular problems with variable singularity exponents for mixed local-nonlocal operators in the Heisenberg group. The results therefore open a new direction in the spectral theory of subelliptic operators and provide a rigorous mathematical foundation for applications ranging from anomalous diffusion and nonlocal phase transitions to image analysis and control theory on nonholonomic systems.

11. 十五维八元数海森堡群上有限能量正解的Yamabe型方程分类

Classification of finite energy positive solutions to Yamabe-type equation on the fifteen dimensional octonionic Heisenberg group

作者: Daowen Lin

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17072v1

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

摘要: We classify finite-energy positive solutions to the Yamabe-type equation on the 15-dimensional octonionic Heisenberg group, whose algebra is non-associative. Extremals for the Folland-Stein-Sobolev inequality on this group are explicitly described. This confirms the conjecture of Garofalo and Vassilev [Duke Math. J. 2001] on the $$15$$ dimensional octonionic Heisenberg group.

12. 带有缺陷的Bernoulli单相位问题的解

Solutions of the Bernoulli one-phase problem with a defect

作者: William M Feldman, Inwon C Kim

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.17066v1

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

摘要: We study the far-field behavior of solutions of the one-phase Bernoulli free boundary problem in the exterior of a ball, and of entire solutions with a single compactly supported inhomogeneity of the free boundary condition, which we call a defect. For solutions which blow down to a half-plane solution (proper solutions) we establish an asymptotic expansion at infinity: in dimension $d \geq 3$ the free boundary height converges to a limit at rate $|x|^{2-d}$ with a capacity-type coefficient, while in dimension $$d=2$$ the expansion carries a logarithmic term. A significant novelty is that the expansions are quantitative and uniform over all the proper solutions.

13. 关于拟线性各向异性椭圆方程稳定解的 Poincaré 型公式及刚性结果

Rigidity results via a Poincaré type formula for stable solutions of quasilinear anisotropic elliptic equations

作者: Berardino Sciunzi, Domenico Vuono

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16959v1

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

摘要: In this paper we prove some one-dimensional symmetry results for stable solutions to quasilinear anisotropic elliptic equations in $\mathbb R^2$ and $\mathbb R^3$ . In this regard, we give an extension of a formula obtained in \cite{SZ1,SZ2, FSV}. The techniques used are inspired by the works of \cite{Fhdr,FSV}.

14. 具有超线性哈密顿函数的非局部 Hamilton–Jacobi 方程的改进正则性

Improved Regularity for Nonlocal Hamilton–Jacobi Equations with Superlinear Hamiltonians

作者: Adina Ciomaga, Tri Minh Lê, Olivier Ley, Erwin Topp

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16918v1

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

摘要: We investigate the regularity of viscosity solutions to a class of nonlocal Hamilton-Jacobi equations driven by x-dependent integro-differential operators and coercive superlinear Hamiltonians. We first establish H{ö}lder regularity for bounded viscosity solutions under general structural and continuity assumptions on the underlying L{é}vy measures, without imposing any ellipticity condition on the nonlocal operator. The H{ö}lder exponent is given explicitly in terms of the order $$σ$$ $\in$ (0, 2) of the operator and the growth exponent m > 1 of the Hamiltonian. In particular, our approach applies to arbitrary superlinear Hamiltonians, including the delicate regime 1 < m < $$σ$$ < 2, and yields an improved regularity exponent when $$σ$$ $\in$ (1, 2). Assuming in addition a weak ellipticity condition on the nonlocal operator, we prove that viscosity solutions are globally Lipschitz continuous. The proof combines the H{ö}lder regularity supplied by the coercive Hamiltonian with the regularizing effect of the nonlocal diffusion through an Ishii-Lions argument, allowing us to treat Hamiltonians with arbitrary superlinear growth. Finally, we provide a counterexample showing that, in the absence of ellipticity, Lipschitz regularity may fail if the spatial dependence of the L{é}vy measures is merely H{ö}lder continuous, thereby illustrating the sharpness of our continuity assumptions.

15. 无单调性条件且具有无穷 Lévy 测度的互连障碍积分-偏微分方程组的黏性解

Viscosity solution of systems of integral-partial differential equations with interconnected obstacles without Monotonicity Conditions and infinite L{é}vy measure

作者: Said Hamadène, Mohamed Mnif, Sarra Neffati

类别: math.AP, math.PR

发布日期: 2026-09-15

arXiv ID: 2609.16812v1

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

摘要: In this paper, we study a system of second-order integral-partial differential equations with interconnected obstacles. A particular case, is the Hamilton-Jacobi-Bellman (HJB for short) system associated with the optimal switching problem in the jump-diffusion model. Getting rid of the monotonicity condition on the generators with respect to the jump component, we construct a continuous viscosity solution of the system, which is unique in the class of continuous bounded functions. The L{é}vy measure $$λ$$ (.) is of infinite activity. The main tool we use is the associated system of reflected backward stochastic differential equations with jumps and interconnected obstacles for which we also study existence and uniqueness of the solution.

16. CTA 流形上抛物型反问题的双对数稳定性

Double-logarithmic stability for a parabolic inverse problem on CTA manifolds

作者: Yujian Zheng, Zhiwen Duan, Shiqi Jing

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16759v1

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

摘要: We establish a double-logarithmic stability estimate for the recovery of a time-dependent potential in the parabolic equation $(c^{-1}\partial_t-Δ_g+q)u=0$ on a conformally transversally anisotropic manifold. The partial input–output map associates an initial state and lateral Dirichlet data supported in a prescribed open set with the terminal state and the Neumann trace on another open set. These sets contain the positive and negative boundary parts determined by a limiting Carleman weight, respectively. The measurement discrepancy is the operator norm of the difference of two such maps, whose range has improved Sobolev regularity. We prove stability under a uniform stability assumption for the attenuated geodesic ray transform on a family of non-tangential geodesics. This assumption is verified when the transversal manifold is simple and for regular families on certain non-simple manifolds. The proof uses Gaussian beam quasimodes with a uniform $O(h^{1/2})$ concentration estimate, geometric optics solutions obtained from boundary Carleman estimates, and stability of the geodesic ray transform for small attenuation. Quantitative analytic continuation for Hilbert-space-valued Fourier transforms and Sobolev interpolation yield the double-logarithmic modulus.

17. Lean 中 Vlasov–Poisson 方程 Landau 阻尼的形式化

Formalization of Landau damping in the Vlasov–Poisson equations in Lean

作者: Jacob Bedrossian

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16801v1

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

摘要: We present a formalization in Lean 4 of Mouhot and Villani’s theorem on nonlinear Landau damping in $\mathbb T^d$ in all Gevrey regularity indices $$s > 1/3$$ for small backgrounds.

18. Lipschitz 域上 Dirichlet Laplacian 的加权热迹

Weighted heat traces of the Dirichlet Laplacian on Lipschitz domains

作者: Lucas Kersten

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

发布日期: 2026-09-15

arXiv ID: 2609.16746v1

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

摘要: We prove an asymptotic expansion of a weighted heat trace of the Dirichlet Laplacian on a bounded Lipschitz domain. The weight is given by a power of the distance to the boundary times a bounded function that is continuous near the boundary. Depending on the exponent of the weight, we obtain one-term or two-term asymptotics. We present two applications, namely a version of one-term asymptotics of weighted Riesz means for arbitrary orders, as well as convergence results for a family of measures that describes localization of Laplace eigenfunctions.

19. 几何奇异摄动方法下两类 Lotka-Volterra 竞争扩散系统行波的存在性与渐近稳定性

Existence and Asymptotic Stability of Traveling Waves of Two-species Lotka-Volterra Competition-Diffusion Systems via Geometric Singular Perturbations

作者: Chueh-Hsin Chang, Tzi-Sheng Yang

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16624v1

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

摘要: We consider the two-species Lotka-Volterra competition-diffusion system where one species has a small diffusion rate relative to the other species and has a small competition coefficient. By the geometric singular perturbation theory, we prove the existence of the wavefront connecting the coexistence state to the trivial state, with traveling speed greater than the minimal speed. For such wavefronts, we show that the profiles of both species are monotone. Finally, we use the geometric singular perturbation theory to estimate the associated Evans function, and give the related stability results.

20. 关于三维三次–五次方程基态的内部模

On the internal modes of the ground state for 3D cubic–quintic equations

作者: Gong Chen, Zhaojie Yang

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16613v1

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

摘要: Motivated by the problem of asymptotic stability for ground states of the Klein–Gordon and Schrödinger equations in three spatial dimensions in the presence of internal modes, we study the corresponding models with cubic–quintic nonlinearities. These equations arise in several physical contexts; in particular, the cubic–quintic Klein–Gordon equation appears naturally in the study of spin- $$0$$ particles in quantum field theory. More precisely, let $$Q_ω$$ be the positive radial ground state of the three-dimensional cubic–quintic elliptic equation

$$ -ΔQ_ω+ωQ_ω-Q_ω^3+Q_ω^5=0. $$

We study two related, but logically distinct, spectral problems as $$ω$$ approaches the endpoint $$3/16$$ of the ground-state branch. First, we determine the complete discrete spectrum of the scalar Hessian

$$ L_+=-Δ+ω-3Q_ω^2+5Q_ω^4. $$

This operator is also the exact linearized spatial operator around the static state $$Q_ω$$ for the real scalar cubic–quintic Klein–Gordon equation with mass parameter $$ω$$ . We prove that the number of its discrete angular-momentum sectors tends to infinity, and obtain sharp asymptotics for their locations and multiplicities. Second, for the cubic–quintic nonlinear Schrödinger equation, we analyze the full Hamiltonian matrix linearization and prove the existence of internal modes in precisely an interval of angular-momentum sectors of length comparable to $(3/16-ω)^{-1}$ . %The rotating complex Klein–Gordon problem leads %to a different gyroscopically coupled pencil; since that pencil is not %analyzed here, no identification of its internal spectrum is asserted. These results provide a rigorous linear foundation for future nonlinear stability and radiation-damping analysis in three-dimensional cubic–quintic models.

21. 半线性椭圆方程奇异解的对称性、单调性与渐近行为

Symmetry, monotonicity, and asymptotics of singular solutions to semilinear elliptic equations

作者: Xusheng Du, Hui Yang

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16516v1

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

摘要: In this paper, we study singular positive solutions to the semilinear elliptic equation

- Δu = f(u) ~~~~~~ \textmd{in} ~ Ω\setminus Γ,

where $Ω\subset \R^n$ is a bounded or unbounded domain, and $Γ\subset Ω$ is a singular closed set with zero Newtonian capacity. When $Ω= \R^n$ and $Γ\subset \{ x_1 = 0 \}$ , we establish the symmetry of singular solutions with respect to the hyperplane $\{ x_1 = 0 \}$ and their monotonicity in the $$x_1$$ -direction. For the case where $Ω\subset \R^n$ and $$Γ$$ is a smooth closed manifold of dimension $\leq n - 2$ , we show the asymptotic symmetry of singular solutions with respect to the normal direction of $$Γ$$ . These results significantly improve those of Chen-Lin (Duke Math. J. 1995; Ann. Scuola Norm. Sup. Pisa Cl. Sci. 2001), Li (Invent. Math. 1996) and Sciunzi (J. Math. Pures Appl. 2017). Unlike their proofs, we employ an improved version of the moving sphere method, which also simplifies the analysis and extends its applicability.

22. 奇异加权 Sturm–Liouville 方程的有限逆节点问题：变分选取与谱匹配

Finite inverse nodal problems for singular weighted Sturm–Liouville equations: variational selection and spectral matching

作者: Zhibo Cheng, Yuchao He, Sunan Wang, Yonghui Xia

类别: math.AP, math.CA

发布日期: 2026-09-15

arXiv ID: 2609.16481v1

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

摘要: The recent work \cite{HeWuXiaZhang2025} introduced a finite-data inverse nodal framework for regular one-dimensional Sturm-Liouville operators. Nevertheless, formulating a multidimensional inverse nodal theory for Schrödinger operators remains a challenging open problem. This paper addresses this gap by establishing a finite radial inverse nodal theory for the radial spectral branch of Schrödinger operators in balls. In contrast with the interval case, the nodal data are the radii of spherical nodal hypersurfaces of radial eigenfunctions. The exact radial reduction preserves this PDE nodal geometry and leads naturally to a singular weighted Sturm–Liouville problem with weight $w(r)=r^{n-1}$ , rather than to a regular interval model. We minimize the PDE distance $\|Q-Q_0\|_{L^p(B_R)}$ , equivalently the weighted distance $\|q-q_0\|_{L^p_w(0,R)}$ , among all radial potentials matching finitely many prescribed spherical nodal radii. For the associated nodal constraint sets, we prove spectral regularity, nodal differentiability, weak closedness, exact realization, and a finite-codimensional $$C^1$$ manifold structure. Crucially, without the variational selection imposed by $$q_0$$ , the prescribed finite nodal radii fail to determine the potential uniquely: the admissible potentials are invariant under constant shifts, and the finite nodal constraints yield locally infinite-dimensional level sets at regular points.

23. 高维 Keller-Segel 系统中 II 型爆破的稳定性

On the Stability of Type II Blowup for the Keller-Segel System in High Dimensions

作者: Thomas Y. Hou, Xiang Qin, Peicong Song, Zirui Wang

类别: math.AP

发布日期: 2026-09-15

arXiv ID: 2609.16467v1

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

摘要: We study finite-time blowup for the parabolic–elliptic Keller–Segel system on $\mathbb{R}^d$ in dimensions $d\geq11$ , where the problem is mass supercritical. For every integer $l\geq2$ , we construct smooth radially symmetric solutions whose radial mass variable concentrates the normalized stationary state $$Q$$ at a quantized scale. Each blowup regime can be realized by solutions with nonnegative population density throughout their classical lifespan. More precisely, near the blowup time $$T$$ ,

u(t,r)=\frac{1}{λ^2(t)}\left[Q\left(\frac{r}{λ(t)}\right) +ε\left(t,\frac{r}{λ(t)}\right)\right], \qquad λ(t)=c(T-t)^{\frac{l}{γ(d)}}(1+o(1)),

where $$c>0$$ and $γ(d)=\frac12\bigl(d-2-\sqrt{(d-2)(d-10)}\bigr)$ . The remainder $$ε$$ converges to zero in local $L^\infty$ norms and in a range of high-order homogeneous Sobolev norms. Since $$2l>γ(d)$$ , the concentration scale is strictly smaller than the parabolic scale $\sqrt{T-t}$ , and the resulting blowup is of type II. The $$l$$ -th regime has exactly $$l-1$$ unstable radial modulation directions and is stable within a codimension- $$(l-1)$$ class of suitably regular radial initial data. The proof combines a generalized-kernel expansion driven by the algebraic tail of $$Q$$ , modulation analysis, coercive weighted high-order energy estimates, and a finite-dimensional topological argument. This yields a quantized hierarchy of stationary-state concentration rates for the high-dimensional Keller–Segel flow.

24. 变阶 Scarpi 记忆半线性热方程的适定性与爆破

Well-posedness and Blow-up in a semilinear heat equation with variable-order Scarpi memory

作者: Pu Yuan, P. A. Zegeling

类别: math.AP

发布日期: 2026-09-14

arXiv ID: 2609.16411v1

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

摘要: We study the semilinear heat equation ${}^{S}D_0^{α(t)}u=Δu+u^p$ on $\RR^n$ , where $$p>1$$ and the Scarpi order changes exponentially from $$α_1$$ to $$α_2$$ , with $$0<α_1,α_2<1$$ . We establish local and maximal mild well-posedness for abstract Scarpi–Volterra equations. For the whole-space heat problem, positive resolvent families yield nonnegative solutions, comparison, a mass identity, and an $L^\infty$ blow-up alternative. To study finite-time growth, we use a Gaussian version of Kaplan’s weighted-moment method. It reduces the PDE to a scalar nonlinear Volterra inequality and requires no pointwise lower estimate for the non-self-similar Scarpi heat kernel. Consequently, every nontrivial solution blows up in finite time when $$1<p<1+2/n$$ , and sufficiently large data blow up for every $$p>1$$ . For $u_0=A\varphi$ with fixed nonzero $0\le\varphi\in L^1\cap L^\infty$ , the maximal lifespan satisfies

T_A\asymp A^{-(p-1)/α_1} \qquad(A\to\infty),

while a subcritical small-amplitude upper bound is governed by the long-time order $$α_2$$ . The lifespan bounds are expressed through the inverse of the integrated memory. In the numerical section, we complement these estimates by comparing the Scarpi dynamics with both Caputo endpoint models. Continuous Laplace inversion shows that the logarithmic slope of the integrated memory varies nonmonotonically across the transition. At large amplitudes, the growth thresholds approach those of the Caputo $$α_1$$ model. A nonlinear space–time rescaling probes the long-time regime and reveals nonmonotone threshold-time ratios relative to Caputo $$α_2$$ . For fixed-width initial profiles, increasing the transition rate delays the prescribed growth threshold at larger tested amplitudes but advances it at smaller ones.

25. 从定性光滑性到全非线性椭圆方程的一致估计

From qualitative smoothness to uniform estimates for fully nonlinear elliptic equations

作者: Aelson Sobral, Eduardo V. Teixeira

类别: math.AP

发布日期: 2026-09-14

arXiv ID: 2609.16334v1

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

摘要: We establish a general mechanism that turns qualitative smoothness into uniform, quantitative regularity estimates for fully nonlinear elliptic equations. The central conclusion is that, for compact classes preserved by the natural rescalings of the equation, qualitative and quantitative regularity have the same critical threshold. At second order, mere twice differentiability throughout the corresponding centered hull already forces a uniform $C^{2,α}$ -theory for some $$α>0$$ . A one-sided tangent version gives a new partial regularity criterion for a single operator: every point at which a solution is twice differentiable is regular, whereas the singular set has universal positive codimension. The proof combines compactness of the full renormalized class with a scale-adaptive improvement of flatness, converting information available separately at each profile into estimates uniform across the entire class. The argument requires no quantitative control of the assumed smoothness and opens a path in problems where smoothness is visible, but estimates remain out of reach.

26. 有限层级量子系统中由波致记忆引起的有效耗散与渐近稳定性

Effective Dissipation and Asymptotic Stability in a Finite-Level Quantum System with Wave-Induced Memory

作者: Thierry Goudon

类别: math.AP

发布日期: 2026-09-14

arXiv ID: 2609.16327v1

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

摘要: We study quantum systems modeled by Liouville-Von Neumann equations, with a finite number of energy levels. The system is coupled to a wave equation, intended to reproduce environmental effects on the quantum system. The whole dynamic is energy conservative, but damping effects are expected to be embodied into the energy exchanges with the environment. We analyse how these effects can effectively damp quantum coherences. We exhibit key mechanisms and structural properties for such a damping to arise, with a neat distinction between pure and mixed cases

27. Mokobodzki 条件的定量刻画

A Quantitative Characterization of the Mokobodzki Condition

作者: Tomasz Klimsiak, Maurycy Rzymowski

类别: math.PR, math.AP

发布日期: 2026-09-14

arXiv ID: 2609.16259v1

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

摘要: We establish a quantitative characterization of the Mokobodzki condition for two adapted càdlàg barriers on an arbitrary filtered probability space. For every $p\geq1$ , we introduce a mean co-variation functional $$Var_p(L,U)$$ , which for $$p=1$$ and $$L=U$$ reduces to Rao’s mean variation, and show that it is quantitatively equivalent to the minimal $\underline H^p$ -norm among all semimartingales lying between the barriers. The result covers both the case $$p>1$$ and the endpoint $$p=1$$ , where the natural scale is based on Doob’s class $$(D)$$ .

28. 全非线性椭圆方程的端点可微模

Endpoint Differentiability Moduli for Fully Nonlinear Elliptic Equations

作者: Aelson Sobral, Eduardo V. Teixeira

类别: math.AP

发布日期: 2026-09-14

arXiv ID: 2609.16326v1

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

摘要: A classical consequence of Caffarelli’s fully nonlinear regularity theory [L. A. Caffarelli, Ann. of Math. (2) 130 (1989), no. 1, 189-213] is that viscosity solutions of uniformly elliptic equations $$F(D^2u)=f$$ , with $f\in L^p$ , $$p > n$$ , are locally $C^{1,γ}$ for every $γ< \min\{α_H,σ_p\}$ . Here $α_H=α_H(n,λ,Λ)\in(0,1)$ denotes the universal Hölder exponent for gradient regularity of $$F(D^2h)=0$$ , while $$σ_p=1-n/p$$ is the scaling exponent of the source term. In the source-limited regime $$σ_p < α_H$$ , the singularity of $$f$$ is the decisive obstruction and the endpoint $$γ=σ_p$$ is attainable. In the homogeneous-limited regime $α_H\leσ_p$ , however, classical theory only yields $$γ< α_H$$ , leaving the limiting differentiability estimate unquantified. This is the endpoint gap addressed here. When $$α_H < σ_p$$ , we prove that solutions admit pointwise Taylor expansions satisfying $|u(x)-u(x_0)-Du(x_0)\cdot(x-x_0)|\lesssim |x-x_0|^{1+α_H}\left(1+\log\frac{1}{|x-x_0|}\right)^m$ . Thus the homogeneous differentiability scale is reached up to an explicit logarithmic defect. At the critical threshold $$α_H=σ_p$$ , finite logarithmic powers no longer close the iteration; nevertheless, a slower selection of scales yields $|u(x)-u(x_0)-Du(x_0)\cdot(x-x_0)|=O\left(|x-x_0|^{1+α_H}\exp\left(A\sqrt{1+\log\frac{1}{|x-x_0|}}\right)\right)$ . Both estimates improve the full family of classical sub-endpoint $C^{1,γ}$ bounds, $$γ< α_H$$ , by quantifying differentiability at the limiting homogeneous exponent. The proof introduces a new scale-selection mechanism for endpoint Campanato-type recurrences, suggesting a flexible tool whenever the limiting smoothness is dictated by the homogeneous theory itself. We also discuss the role and possible optimality of the resulting logarithmic defects.

29. 耗散随机哈密顿系统中收敛到不变测度的 Rényi 相对熵 Lyapunov 泛函

Renyi’s Relative Entropy Lyapunov Functional for Convergence to Invariant Measure in Dissipative Stochastic Hamiltonian Systems

作者: Igor G. Vladimirov

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

发布日期: 2026-09-14

arXiv ID: 2609.16297v1

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

摘要: This paper is concerned with multivariable stochastic Hamiltonian systems governed by an ordinary differential equation for the position and an Ito stochastic differential equation for the momentum. The momentum dynamics involve both conservative and nonconservative forcing including Langevin viscous damping and the Wiener process as a random force. The setting allows for rotational degrees of freedom, a non-quadratic potential energy function and position-dependent mass, diffusion and damping matrices. In addition to modelling nonlinear physical dynamics subject to random forcing, the system is motivated by a stochastic optimisation viewpoint, where the search for global minima of the potential energy (for example, using the gradient descent) is carried out through convergence to a Boltzmann equilibrium measure which favours smaller values of this function. Under certain regularity conditions, we show that the $$χ^2$$ -divergence or, equivalently, Renyi’s second-order relative entropy with respect to the invariant measure has a nonpositive time derivative and thus provides a Lyapunov functional candidate for this convergence. However, this derivative vanishes at some moments of time, which is related to the behaviour of the probability distribution of the momentum conditioned on the position and has a link to a family of auxiliary quantum harmonic oscillator Hamiltonians parameterised by the position space of the underlying classical system. This position-momentum conditioning is used in order to prove that such pre-equilibrium break times in the entropy dissipation are isolated, thus making the $$χ^2$$ -divergence a strictly decreasing Lyapunov functional for the Fokker-Planck-Kolmogorov equation which governs the joint position-momentum distribution in such systems.

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

1. 临界空间中可压缩 Navier-Stokes-Vlasov-Fokker-Planck 系统的全局存在性与零黏性极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 粘性无电阻不可压缩磁流体力学中 $oldsymbol{eta}$ Besov 端点处的磁场范数膨胀#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. Euler–Monge–Ampère 方程自由边界问题的局部适定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 平面欧拉涡度非负情形下支撑直径改进界#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 边界层 $α$-模型的微分代数框架#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 将 Córdoba-Martínez-Zoroa IPM 爆破推广至时空一致光滑外力#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 尖角与光滑边界之间间隙中 Laplace 方程与 Stokes 方程解的渐近行为#

摘要翻译#

2. 非局部内在 Harnack 估计#

摘要翻译#

3. 强吸引相互作用下均匀多粒子谱隙不等式与热核估计#

摘要翻译#

4. 奇异 $p$-拉普拉斯方程径向解在 $p\to1$ 时的渐近行为#

摘要翻译#

5. Dini 系数椭圆方程的几何集合#

摘要翻译#

6. 亚共形非线性波动方程在爆破时的孤子解析#

摘要翻译#

7. Vlasov-HMF 模型非均匀稳态附近的大时间非线性动力学#

摘要翻译#

8. 扩散型非局部相互作用模型中的维度依赖对称性破缺#

摘要翻译#

9. 准周期通道中的点涡动力学：输运轨迹与平衡态的遍历分布#

摘要翻译#

10. 从磁 Hartree–Fock 方程到磁 Vlasov–Poisson 方程的规范协变半经典极限#

摘要翻译#

11. 无粘流场中的可伸展膜：空气动力学与奇异极限#

摘要翻译#

12. 基于 $\bar{\partial}$-方法耦合非线性薛定谔方程多孤子的渐近稳定性#

摘要翻译#

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

1. 自由边界极小环面的唯一性#

2. 关于 Sarnak–Strömbergsson 猜想#

3. 一维抛物方程的奇异解#

4. 零质量变号初值半线性热方程的新精确生存时间估计#

5. 各向异性Calderón问题：近欧氏度量下的刚性#

6. 从稀疏集观测恢复分数阶热方程初始数据的对数稳定性#

7. 涉及函数与其梯度乘积的半线性椭圆方程的 Liouville 型定理与一致估计#

8. 关于球体为鞍形的一些泛函#

9. 随机 Stefan 问题的潜热消失极限：误差估计#

10. Heisenberg群中混合局部-非局部特征值问题：谱理论与奇异重数#

11. 十五维八元数海森堡群上有限能量正解的Yamabe型方程分类#

12. 带有缺陷的Bernoulli单相位问题的解#

13. 关于拟线性各向异性椭圆方程稳定解的 Poincaré 型公式及刚性结果#

14. 具有超线性哈密顿函数的非局部 Hamilton–Jacobi 方程的改进正则性#

15. 无单调性条件且具有无穷 Lévy 测度的互连障碍积分-偏微分方程组的黏性解#

16. CTA 流形上抛物型反问题的双对数稳定性#

17. Lean 中 Vlasov–Poisson 方程 Landau 阻尼的形式化#

18. Lipschitz 域上 Dirichlet Laplacian 的加权热迹#

19. 几何奇异摄动方法下两类 Lotka-Volterra 竞争扩散系统行波的存在性与渐近稳定性#

20. 关于三维三次–五次方程基态的内部模#

21. 半线性椭圆方程奇异解的对称性、单调性与渐近行为#

22. 奇异加权 Sturm–Liouville 方程的有限逆节点问题：变分选取与谱匹配#

23. 高维 Keller-Segel 系统中 II 型爆破的稳定性#

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

1. 临界空间中可压缩 Navier-Stokes-Vlasov-Fokker-Planck 系统的全局存在性与零黏性极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 粘性无电阻不可压缩磁流体力学中 $$oldsymbol{eta}$$ Besov 端点处的磁场范数膨胀

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. Euler–Monge–Ampère 方程自由边界问题的局部适定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 平面欧拉涡度非负情形下支撑直径改进界

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 边界层 $$α$$ -模型的微分代数框架

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 将 Córdoba-Martínez-Zoroa IPM 爆破推广至时空一致光滑外力

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 尖角与光滑边界之间间隙中 Laplace 方程与 Stokes 方程解的渐近行为

摘要翻译

2. 非局部内在 Harnack 估计

摘要翻译

3. 强吸引相互作用下均匀多粒子谱隙不等式与热核估计

摘要翻译

4. 奇异 $$p$$ -拉普拉斯方程径向解在 $p\to1$ 时的渐近行为

摘要翻译

5. Dini 系数椭圆方程的几何集合

摘要翻译

6. 亚共形非线性波动方程在爆破时的孤子解析

摘要翻译

7. Vlasov-HMF 模型非均匀稳态附近的大时间非线性动力学

摘要翻译

8. 扩散型非局部相互作用模型中的维度依赖对称性破缺

摘要翻译

9. 准周期通道中的点涡动力学：输运轨迹与平衡态的遍历分布

摘要翻译

10. 从磁 Hartree–Fock 方程到磁 Vlasov–Poisson 方程的规范协变半经典极限

摘要翻译

11. 无粘流场中的可伸展膜：空气动力学与奇异极限

摘要翻译

12. 基于 $\bar{\partial}$ -方法耦合非线性薛定谔方程多孤子的渐近稳定性

摘要翻译

不相关论文（基本信息）

1. 自由边界极小环面的唯一性

2. 关于 Sarnak–Strömbergsson 猜想

3. 一维抛物方程的奇异解

4. 零质量变号初值半线性热方程的新精确生存时间估计

5. 各向异性Calderón问题：近欧氏度量下的刚性

6. 从稀疏集观测恢复分数阶热方程初始数据的对数稳定性

7. 涉及函数与其梯度乘积的半线性椭圆方程的 Liouville 型定理与一致估计

8. 关于球体为鞍形的一些泛函

9. 随机 Stefan 问题的潜热消失极限：误差估计

10. Heisenberg群中混合局部-非局部特征值问题：谱理论与奇异重数

11. 十五维八元数海森堡群上有限能量正解的Yamabe型方程分类

12. 带有缺陷的Bernoulli单相位问题的解

13. 关于拟线性各向异性椭圆方程稳定解的 Poincaré 型公式及刚性结果

14. 具有超线性哈密顿函数的非局部 Hamilton–Jacobi 方程的改进正则性

15. 无单调性条件且具有无穷 Lévy 测度的互连障碍积分-偏微分方程组的黏性解

16. CTA 流形上抛物型反问题的双对数稳定性

17. Lean 中 Vlasov–Poisson 方程 Landau 阻尼的形式化

18. Lipschitz 域上 Dirichlet Laplacian 的加权热迹

19. 几何奇异摄动方法下两类 Lotka-Volterra 竞争扩散系统行波的存在性与渐近稳定性

20. 关于三维三次–五次方程基态的内部模

21. 半线性椭圆方程奇异解的对称性、单调性与渐近行为

22. 奇异加权 Sturm–Liouville 方程的有限逆节点问题：变分选取与谱匹配

23. 高维 Keller-Segel 系统中 II 型爆破的稳定性