生成时间: 2026年06月10日 06:53:18

运行状态: 完成

计划处理论文数量: 23

已完成论文数量: 23

未完成论文数量: 0

重点关注论文数量: 3

了解领域论文数量: 13

不相关论文数量: 7

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

1. 无压欧拉对齐系统的单向熵解

Unidirectional Entropic Solutions of the Pressureless Euler Alignment System

作者: Joshua O. Adeleke, Trevor M. Leslie

类别: math.AP

发布日期: 2026-06-09

arXiv ID: 2606.11159v1

摘要翻译: 我们研究速度为单向（即 $u,0,\dots,0$ ）的无压欧拉对齐系统。通过将该系统重写为一族耦合的标量平衡律（每条 $\mathbb{R}^d$ 的水平切片对应一个），我们在通信协议为有界Lipschitz函数的假设下，证明了单向解类中解的存在性、唯一性与稳定性。水平切片之间的非局部耦合赋予系统一种在1D情形中所不具备的丰富结构，同时也构成本文的主要技术难点。我们的解被构造为粘性粒子Cucker–Smale动力学的极限：首先在垂直于流的方向上离散化，再沿流方向离散化。横向离散化关键依赖于我们两个互补稳定性估计中更为精细的一个，该估计仅需通量差的 $$L^1$$ – $L^\infty$ 控制。这一低正则性估计至关重要，因为我们的离散通量通常无法期望在（例如）Lipschitz半范数意义下收敛。该估计本身受Bouchut与Perthame工作的启发，并在此处通过对非局部性的细致额外分析加以适配。为了比较不同水平切片上的动力学行为，两个稳定性估计均最自然地表述为涉及两个密度剖面投影至 $\mathbb{R}^{d-1}$ 上的最优耦合的量。

Comment: 32 pages, 1 figure

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

1. 研究对象和背景

本文研究的是压力无欧拉对齐系统（pressureless Euler Alignment system）在单向速度场约束下的弱解理论。该系统描述连续体代理（agents）的集体运动行为，其原始形式为

\begin{cases} \partial_t \rho + \nabla \cdot (\rho u) = 0 \\ \partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) = \int_{\mathbb{R}^d} \phi(x - \xi)(u(\xi) - u(x)) \rho(x) \rho(\xi) \, d\xi \end{cases} \quad x \in \mathbb{R}^d,\ t > 0,

其中 $\rho = \rho(x,t) \ge 0$ 是密度， $u = u(x,t) \in \mathbb{R}^d$ 是宏观速度， $\phi : \mathbb{R}^d \to [0,\infty)$ 是非负、偶的通信协议（communication protocol），刻画代理间相互作用的强度与范围。本文聚焦于单向动力学情形：所有速度严格沿第一坐标轴方向，即

u(x,t) = (u(x,t), 0, \dots, 0), \quad u : \mathbb{R} \times \mathbb{R}^{d-1} \times [0,T) \to \mathbb{R},

并记 $x = (x,y) \in \mathbb{R} \times \mathbb{R}^{d-1}$ ， $\partial_1 = \partial_x$ 。此时系统退化为

\begin{cases} \partial_t \rho + \partial_x(\rho u) = 0 \\ \partial_t (\rho u) + \partial_x(\rho u^2) = \iint_{\mathbb{R} \times \mathbb{R}^{d-1}} \phi(x - \xi, y - \eta)(u(\xi, \eta) - u(x, y)) \rho(x, y) \rho(\xi, \eta) \, d\xi d\eta. \end{cases} \tag{2}

该模型是经典Cucker–Smale ODE系统

\dot{x}_i = v_i, \quad \dot{v}_i = \sum_{j \ne i} m_j \phi(x_i - x_j)(v_j - v_i)

在粒子数 $N \to \infty$ 下的宏观极限（hydrodynamic limit），广泛用于建模鸟群、鱼群等自组织现象。核心物理机制在于右侧的非局部对齐力：它驱动速度差异衰减，从而可能诱导‘flocking’——即位置直径有界且速度渐近一致：

\sup_{t \ge 0} D(t) < \infty, \quad D(t) := \max_{i,j} |x_i(t) - x_j(t)|; \qquad \lim_{t \to \infty} A(t) = 0, \quad A(t) := \max_{i,j} |v_i(t) - v_j(t)|.

在PDE层面，flocking对应于解在Wasserstein-1度量下收敛至行波型稳态。

然而，该系统的全局适定性（wellposedness）在 $d \ge 2$ 时长期悬而未决。一维情形（ $$d=1$$ ）因存在守恒量（如Brenier–Grenier变量 $\psi = u + \Phi * \rho$ ）及实轴序结构，已建立完整的熵解理论：当 $\phi \in L^1_{\mathrm{loc}}(\mathbb{R})$ 且偶时，[46]通过将其约化为单个标量平衡律 $\partial_t M + \partial_x A(M) = B[\nu,M] \partial_x M$ （其中 $$M(x,t)$$ 是累积分布函数），构造了满足Kružkov熵条件的弱解，并证明唯一性与稳定性。但该约化严重依赖 $$d=1$$ 的拓扑刚性，无法直接推广至高维。

单向情形 $u = (u,0,\dots,0)$ 构成一个关键中间维度：它保留了一维的轨迹线性性（粒子沿平行于 $$x$$ -轴的直线运动，故仍具序保持性）与守恒量结构（定义 $\psi = u + \Phi * \rho$ 后， $(\rho, \rho \psi)$ 满足双守恒律），但引入了全新的技术挑战——水平片层（horizontal slices）间的非局部耦合。具体而言，通过将密度按 $$y$$ -方向切片分解：设 $\nu = (p_2)_\# \rho$ 为投影到 $\mathbb{R}^{d-1}$ 的横向测度（transverse measure），则 $\rho(dx,dy,t) = \rho_y(dx,t) \nu(dy)$ ，其中 $\rho_y(\cdot,t)$ 是 $\mathbb{R}$ 上的概率测度。定义 $M(x,y,t) = \rho_y((−∞,x],t)$ 及 $Q(x,y,t) = \int_{(-∞,x]} \psi \, d\rho_y$ ，可导出一族参数化于 $$y$$ 的耦合标量平衡律：

\partial_t M + \partial_x A(M,y) = B[\nu,M] \partial_x M, \tag{14}

其中通量 $A(m,y) = \int_0^m \alpha(s,y) ds$ ， $\alpha(m,y)$ 由初始数据确定；非局部项为

B[\nu,M](x,y,t) = (\Phi * (\nu \partial_x M))(x,y,t) = \iint_{\mathbb{R} \times \mathbb{R}^{d-1}} \Phi(x - \xi, y - \eta) \, \partial_x M(d\xi, \eta, t) \, \nu(d\eta),

且 $\Phi(x,y) = \int_0^x \phi(\xi,y) \, d\xi$ 。此结构的关键在于： $B[\nu,M]$ 将不同 $$y$$ -片层的演化通过 $\nu$ 和 $\partial_x M$ 非局部地耦合起来，使系统兼具一维可处理性与高维丰富性。但这也导致标准一维方法失效——例如， $$y$$ -方向的Lipschitz正则性缺失（仅假设 $\phi$ 关于 $$y$$ 是Lipschitz），使得 $\partial_y M$ 无定义，传统能量估计或特征线法无法应用。因此，现有理论（如[42]对亚临界初值的经典解存在性）无法覆盖奇点形成后的弱解延续问题。本文旨在填补这一空白：在有界Lipschitz通信协议（即 $\|\phi\|_{L^\infty} + [\phi]_{\mathrm{Lip}_y} < \infty$ ）下，为系统(2)建立单向弱解的存在性、唯一性与稳定性理论，并刻画其长时间行为。

2. 主要定理或主要结果

本文在假设通信协议 $\phi$ 满足偶性(3)与横向Lipschitz性(4)的前提下，建立了单向压力无欧拉对齐系统的完整熵解理论。主要结果如下：

定理2.1（唯一性与稳定性）：设 $(M^0,A,\nu)$ 与 $(\tilde{M}^0,\tilde{A},\tilde{\nu})$ 为两个容许初值三元组（Definition 1.1）， $M, \tilde{M}$ 为其对应的熵解（Definition 1.2）。令 $\pi$ 为 $\nu$ 与 $\tilde{\nu}$ 关于代价 $c(y,\tilde{y}) = |y - \tilde{y}|$ 的最优耦合（optimal coupling），并记

D(\tau) := \iint_{\mathbb{R}^{d-1} \times \mathbb{R}^{d-1}} \|M(\cdot,y,\tau) - \tilde{M}(\cdot,\tilde{y},\tau)\|_{L^1(\mathbb{R})} \, \pi(dy,d\tilde{y}).

则对任意 $0 \le s \le t < T$ ，成立以下两个互补稳定性估计：

（i）线性时间增长估计：

D(t) \le \iint \left[ \|M(\cdot,y,s) - \tilde{M}(\cdot,\tilde{y},s)\|_{L^1} + (t-s)[A(\cdot,y) - \tilde{A}(\cdot,\tilde{y})]_{\mathrm{Lip}} \right] \pi(dy,d\tilde{y}) + (t-s) \, 8R(T) \, \|\nabla_2 \phi\|_{L^\infty} \, W_1(\nu,\tilde{\nu}),

其中 $$R(T)$$ 为解支撑的半径上界（Definition 1.2(a)）， $[\cdot]_{\mathrm{Lip}}$ 表示关于第一变量 $m \in [0,1]$ 的Lipschitz半范数， $\nabla_2 \phi$ 为 $\phi$ 关于 $$y$$ 的梯度。当 $\nu = \tilde{\nu}$ 时，该估计可在更弱的假设 $\sup_{y \in \mathbb{R}^{d-1}} \int_{[-R,R]} \phi(x,y) \, dx < \infty$ 下成立。

（ii）指数时间增长估计：令 $A_\infty := \iint \|A(\cdot,y) - \tilde{A}(\cdot,\tilde{y})\|_{L^\infty([0,1])} \, \pi(dy,d\tilde{y})$ ，则存在绝对常数 $$C > 0$$ ，使得

D(t) \le \left( D(s) + C \sqrt{2R(T)} \, A_\infty (t-s) + C(t-s) \left( A_\infty + R(T) \|\nabla_2 \phi\|_{L^\infty} W_1(\nu,\tilde{\nu}) \right) \right) \exp\left( C \|\phi\|_{L^\infty} (t-s) \right).

定理3.3（存在性）：对任意容许初值三元组 $(M^0,A,\nu)$ ，存在熵解 $$M$$ 满足 Definition 1.2。其构造为：先取原子横向测度序列 $\nu_k = \sum_{i=1}^{N_k} m_i^k \delta_{y_i^k}$ 逼近 $\nu$ ，并相应构造初值 $M^{0,k}, A^k$ ；再对每个 $$k$$ ，以粘性粒子Cucker–Smale（SPCS）动力学为离散化方案，生成熵解序列 $$M^k$$ ；最后利用上述稳定性估计（特别是(ii)）证明 $\{M^k\}$ 在 $L^1_{\mathrm{loc}}(\mathbb{R} \times \mathbb{R}^{d-1} \times [0,T); dx \otimes \nu \otimes dt)$ 中收敛，且极限 $$M$$ 满足熵条件(15)–(16)。

定理4.2（解的等价性）：若 $$M$$ 是系统(14)的熵解，则可唯一恢复原系统(2)的弱解 $(\rho,u)$ ：定义 $\rho_y(dx,t) = \partial_x M(dx,y,t)$ ， $\rho(dx,dy,t) = \rho_y(dx,t) \nu(dy)$ ；再由 $\psi = u + \Phi * \rho$ 及 $Q = \int_{(-\infty,x]} \psi \, d\rho_y$ 解出 $$u$$ 。反之，任意满足适当正则性的 $(\rho_0,u_0)$ 均可生成容许三元组。

定理5.1（单向flocking）：若 $\phi$ 满足重尾条件 $\phi \notin L^1(\mathbb{R}^d)$ 且 $\operatorname{supp}(\phi)$ 包含一个以 $$x$$ -轴为中心的圆柱形零区域（即 $\exists r > 0$ 使得 $\phi(x,y) = 0$ 当 $$|y| < r$$ ），则单向Cucker–Smale ODE系统仍发生flocking，且速度对齐率 $$A(t)$$ 的衰减速率与代理数 $$N$$ 无关。该结果表明：沿运动方向的直接通信并非flocking的必要条件。

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

本文的核心技术障碍在于：单向系统(2)约化为一族耦合标量平衡律(14)后，其非局部项 $B[\nu,M]$ 引入了 $$y$$ -方向的强耦合，而 $\phi$ 仅关于 $$y$$ 具有Lipschitz正则性（非更高阶），导致标准方法失效。作者的真正创新点在于构建了双重稳定性框架，并发展了基于最优耦合的跨片层比较技术。

1. 最优耦合嵌入框架：为比较不同横向测度 $\nu, \tilde{\nu}$ 下的解 $M, \tilde{M}$ ，作者摒弃了直接比较 $\|M(\cdot,y,t) - \tilde{M}(\cdot,y,t)\|_{L^1}$ （这要求 $$y$$ 相同），而是将 $\nu$ 与 $\tilde{\nu}$ 的Wasserstein-1最优耦合 $\pi(dy,d\tilde{y})$ 作为分析基石。所有稳定性估计均表述为

\iint \|M(\cdot,y,t) - \tilde{M}(\cdot,\tilde{y},t)\|_{L^1} \, \pi(dy,d\tilde{y}),

该量自然控制原密度 $\rho, \tilde{\rho}$ 的Wasserstein距离（见公式(19)）。此框架使解的比较脱离对 $$y$$ -坐标的逐点匹配，转而依赖于测度间的几何距离，是处理横向不规则性的根本性突破。

2. 双重Kružkov加倍变量法：作者对系统(14)实施两次加倍变量（doubling-of-variables）技巧，但目标迥异。第一次（Section 2.2）旨在获得线性时间估计(26)：通过分部积分与BV链式法则（Lemma 2.2），将通量差 $A(M,y) - \tilde{A}(\tilde{M},\tilde{y})$ 的Lipschitz控制转化为对 $\partial_x M$ 的积分估计。然而，此估计依赖于 $[A - \tilde{A}]_{\mathrm{Lip}}$ ，而离散化过程中通量 $$A^k$$ 仅能保证 $$L^1$$ - $L^\infty$ 收敛（见Section 3.2），无法控制其Lipschitz半范数，故不足以完成极限过程。

3. Bouchut–Perthame型低正则性估计：为克服上述缺陷，作者发展了第二个估计(29)，其核心是仅需 $L^\infty$ 通量差控制。此估计灵感源自Bouchut–Perthame关于输运方程的工作[6]，但进行了关键改造：在加倍变量后的不等式(32)中，作者刻意添加并减去一项 $\operatorname{sgn}(M-\tilde{M})(A(M,y)-\tilde{A}(M,\tilde{y}))\partial_{\tilde{x}} w$ ，从而将通量差分离为

(A(M,y)-\tilde{A}(M,\tilde{y})) - (A(\tilde{M},y)-\tilde{A}(\tilde{M},\tilde{y})),

再利用 $|\operatorname{sgn}(a-b)(f(a)-f(b))| \le \|f\|_{L^\infty}$ 的平凡界，彻底规避了对Lipschitz性的依赖。该估计虽具指数增长，但其低正则性要求使其成为连接离散解与连续解的唯一可行桥梁。

4. 粘性粒子离散化与横向-纵向分步逼近：存在性证明采用两步离散：首先，对原子横向测度 $\nu_k = \sum m_i^k \delta_{y_i^k}$ ，将系统(14)在每个 $$y_i^k$$ 片层上视为独立的一维问题，并用粘性粒子Cucker–Smale（SPCS）动力学逼近（Section 3.1）。SPCS通过赋予粒子质量、位置、速度及碰撞粘附规则，天然保持累积分布函数 $$M$$ 的单调性与守恒性。其次，对一般 $\nu$ ，作者先横向离散（即用 $\nu_k$ 逼近 $\nu$ ），再纵向离散（即在每个 $$y_i^k$$ 上用SPCS逼近）。横向离散的可行性正依赖于前述低正则性估计(29)，因其仅需 $\|A^k - A\|_{L^\infty}$ 收敛，而SPCS通量恰好满足此条件。此分步策略是处理高维耦合结构的精巧设计。

4. 与之前工作的比较

本文与既有工作存在多维度实质性推进，主要体现在问题设定、技术工具与结论深度上。

与一维理论[46]的比较：[46]建立了 $$d=1$$ 时的熵解理论，其核心是将系统约化为单个标量平衡律 $\partial_t M + \partial_x A(M) = 0$ （无非局部项 $$B$$ ）。本文的系统(14)可视为 $\mathbb{R}^{d-1}$ 个一维问题的非局部耦合族，其复杂性远超简单直积。[46]的稳定性估计仅涉及 $[A-\tilde{A}]_{\mathrm{Lip}}$ ，而本文必须处理 $$y$$ -依赖的通量 $$A(m,y)$$ 及其与 $\nu$ 的耦合，故发展了基于最优耦合 $\pi$ 的新范式。此外，[46]的离散化仅需纵向SPCS，而本文的横向离散步骤是全新挑战，其可行性依赖于本文原创的低正则性估计(29)。

与高维经典解理论[42]的比较：[42]在 $\phi$ 径向且有界Lipschitz假设下，证明了单向系统亚临界初值的经典解存在性。但该工作完全回避了奇点形成后的弱解延续问题。本文则首次建立了全局弱解理论，覆盖超临界初值及有限时间奇点后的演化，填补了该领域关键空白。代价是解的正则性降低（仅为熵解），但获得了普适性。

与高维弱解理论[12]的比较：[12]研究了含雷诺应力 $\tau$ 的修正系统(20)，其适定性依赖于 $\tau$ 的消失性。本文系统(2)对应 $\tau \equiv 0$ ，但仅限单向情形。二者理论适用范围互斥：[12]处理一般初值但要求 $\tau$ 渐近消失；本文处理单向初值但允许 $\tau$ 显著（因轨迹相交），故结论不可互相替代。文中明确指出“our results are essentially disjoint from theirs”。

与flocking文献[17,56]的比较：Dietert–Shvydkoy[17]在任意初值下证明了当 $\phi$ 在原点邻域退化时的flocking，但要求退化区域有界。本文的flocking定理（Section 5）则允许 $\phi$ 在无限长圆柱 $\{|y| < r\}$ 上恒为零，这是前所未有的宽松条件，其本质源于单向几何：即使 $$x$$ -方向无通信， $$y$$ -方向的非局部耦合仍能通过横向信息交换实现全局速度对齐。此发现修正了“沿运动方向通信必不可少”的直观认知。作者坦承此结果是“rather simple adaptation” of [56]，但强调其仅在单向高维情形下有意义，凸显了几何约束带来的新自由度。

与弱奇异协议理论的比较：文中讨论（1.6.4）指出，若放宽假设(4)至弱条件(21)（即 $\phi$ 关于 $$y$$ 仅局部可积），则[46]的许多技术（如唯一性）仍适用，但本文的Bouchut–Perthame型估计(29)“has little hope of being adapted successfully”，因为其证明中关键步骤（如对 $\nabla_2 \phi$ 的 $L^\infty$ 控制）将失效。这表明本文理论对正则性的要求是精细且必要的，进一步放松需根本性新工具。

2. 单位球面上 Rossby-Haurwitz 流的指数混合与增强耗散

Exponential mixing and enhanced dissipation on the unit sphere with Rossby-Haurwitz flows

作者: Augusto Del Zotto, Marc Nualart

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

发布日期: 2026-06-09

arXiv ID: 2606.11055v1

摘要翻译: 我们构造了一族定义在二维单位球面上的光滑不可压速度场，使得任一均值为零的初值数据在其中任一速度场被动输运下的时间演化均以指数速率混合。在存在分子扩散系数的情形下，我们证明了相应对流-扩散方程的解具有增强耗散性，并达到最优衰减率。该族中每个成员均为两个 Rossby-Haurwitz 流的交替叠加，其振幅随机选取；该构造是 Pierrehumbert 提出的正弦剪切交替例子在球面上的类比。

Comment: 84 pages, 6 figures

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

1. 研究对象和背景

本文研究单位球面 $M = S^2 \subset \mathbb{R}^3$ 上被动标量 $\rho : [0,\infty) \times S^2 \to \mathbb{R}$ 的长时间演化，其受控于一个光滑无散度速度场 $u(t,x,\omega;a,b)$ 并经历分子扩散。核心方程为球面上的对流-扩散方程：

\begin{cases} \partial_t \rho + u \cdot \nabla_{S^2} \rho = \kappa \Delta_{S^2} \rho, & (t,x) \in (0,\infty) \times S^2, \\ \rho(0,x) = \rho_0(x), & x \in S^2, \end{cases} \tag{1.1}

其中 $\nabla_{S^2}$ 和 $\Delta_{S^2}$ 分别为球面上的梯度与拉普拉斯-贝尔特拉米算子； $\kappa \geq 0$ 为扩散系数；初始数据 $\rho_0 \in L^2(S^2)$ 满足零均值条件 $\int_{S^2} \rho_0 \, d\sigma = 0$ 。该模型广泛出现在地球物理流体动力学中，如平流层罗斯比波调制下的示踪物输运、大气化学物质弥散等。

混合性（mixing）在此被严格定义为负阶齐次索博列夫范数的指数衰减：对任意 $$ s > 0 $$ ，定义

\|\rho(t,\cdot)\|_{\dot{H}^{-s}(S^2)}^2 := \sum_{k \geq 1} \lambda_k^{-2s} |\langle \rho(t,\cdot), Y_{\ell m} \rangle|^2, \tag{1.2}

其中 $\{Y_{\ell m}\}_{\ell \geq 0, |m| \leq \ell}$ 是 $-\Delta_{S^2}$ 的标准正交特征函数系，对应特征值 $\lambda_{\ell} = \ell(\ell+1)$ ；求和从 $k \geq 1$ 开始以排除零模（即均值）。该范数衰减反映能量向高频迁移，是函数意义下混合（functional mixing）的定量刻画。当 $\kappa = 0$ 时，方程退化为纯输运： $\partial_t \rho + u \cdot \nabla_{S^2} \rho = 0$ ，此时所有 $$ L^p $$ 范数守恒，但混合性完全依赖于 $$ u $$ 的拉格朗日动力学结构——特别是其诱导的映射是否具有强混沌性（如正李雅普诺夫指数、遍历性、双曲性）。

增强耗散（enhanced dissipation）则关注 $\kappa > 0$ 时解向均值收敛的速率提升。经典能量估计结合庞加莱不等式仅给出 $\|\rho(t,\cdot)\|_{L^2} \leq e^{-\lambda_1 \kappa t} \|\rho_0\|_{L^2}$ ，其中 $\lambda_1 = 2$ 是 $-\Delta_{S^2}$ 的第一非零特征值。然而，若 $$ u $$ 具有强混合能力，则其拉伸折叠作用将 $\rho$ 的能量注入高波数模态，使扩散项 $\kappa \Delta_{S^2}$ 在高频区更高效地耗散能量，从而显著加速收敛。形式上，称 $$ u $$ 增强耗散，若存在函数 $d(\kappa)$ 满足 $\lim_{\kappa \to 0} \kappa / d(\kappa) = 0$ ，使得

\|\rho(t,\cdot)\|_{L^2} \leq C e^{-d(\kappa) t} \|\rho_0\|_{L^2}, \quad \forall t > 0.

最优速率由 $$ u $$ 的正则性决定：对一致 Lipschitz 连续的 $$ u $$ ，已知最优可能速率为 $d(\kappa) \gtrsim |\log \kappa|^{-1}$ ；而若 $$ u $$ 仅为 $$ C^1 $$ 或更弱，则通常只能得到 $|\log \kappa|^{-2}$ 甚至更差的速率。关键挑战在于：如何构造一个显式、光滑、全局定义且不依赖于初值的速度场 $$ u $$ ，使其在 $$ S^2 $$ 上同时实现几乎必然指数混合（即对几乎所有随机幅值序列 $\omega$ ，相关函数 $\left| \int_{S^2} \phi(x) \psi(\phi_t^\kappa(x)) \, d\sigma(x) \right|$ 以确定性指数率 $e^{-\lambda_s t}$ 衰减）与一致于 $\kappa$ 的增强耗散（即 $d(\kappa) \gtrsim |\log \kappa|^{-1}$ ，且衰减常数在 $\kappa \to 0$ 时保持可控）？

已有工作多集中于环面 $\mathbb{T}^2$ 或 $\mathbb{T}^3$ ：Pierrehumbert 的正弦剪切交替流、ABC 流的随机相位化、随机时间间隔模型等，均通过随机动力系统框架（如 Harris 定理、Furstenberg 准则）证明了指数混合。但将这些构造移植到 $$ S^2 $$ 面临根本性几何障碍：(i) $$ S^2 $$ 不可平行化，切丛非平凡，导致标准坐标系下的局部分析失效；(ii) 罗斯比-豪里茨流 $u^a_\omega(x) = \omega (a \cdot x)(a \times x)$ （对应球谐函数 $Y_2^0(a \cdot x)$ 的流函数）在极点与赤道存在固有不动点集 $F = \{x \in S^2 : a \cdot x = 0\} \cup \{\pm a\}$ ，使得单点过程 $x \mapsto f_\omega(x)$ 的相空间 $X = S^2 \setminus F$ 非紧致，破坏了标准 Harris 定理的应用前提；(iii) 由于球面对称性，两点过程 $(x,y) \mapsto (f_\omega(x), f_\omega(y))$ 的不变集不仅包含对角线 $\Delta$ ，还包括由反演、旋转等对称操作生成的额外集合 $S \supsetneq \Delta$ ，需精确识别并排除；(iv) 当轴 $$ a,b $$ 非正交时，验证“小集条件”（open small set condition）的传统方法（显式构造特定噪声参数使合成映射为浸没）失效，因 $f_\omega$ 的微分结构高度非线性且依赖于 $a \cdot b$ 。因此，本文试图填补的关键空白是：在**非平坦、非平行化、具固有对称性与奇点的紧致流形 $$ S^2 $$ 上，构造首个显式、光滑、随机幅值化的速度场，严格证明其几乎必然指数混合性与一致于 $\kappa$ 的最优增强耗散性，并建立一套适配球面几何的新技术框架以克服上述障碍。

2. 主要定理或主要结果

本文的核心结论由定理 1.1 及其两个推论完整给出，全部建立在对随机幅值交替罗斯比-豪里茨流的严格分析之上。设 $a, b \in S^2$ 为两个非平行单位轴， $$ N > 1 $$ 充分大， $\omega_i^{(1)}, \omega_i^{(2)} \overset{i.i.d.}{\sim} \mathrm{Unif}([-N,N])$ ，定义时间-2 周期性交替速度场：

u(t,x,\omega;a,b) = \sum_{i \geq 0} u^b_{\omega_{i,1}}(x) \mathbf{1}_{[2i,2i+1)}(t) + \sum_{i \geq 0} u^a_{\omega_{i,2}}(x) \mathbf{1}_{[2i+1,2i+2)}(t), \quad u^a_\omega(x) = \omega (a \cdot x)(a \times x). \tag{1.4}

令 $\phi_t^\kappa$ 为对应 Itô SDE $d\phi_t^\kappa = v^\kappa(t,\phi_t^\kappa) dt + \sqrt{2\kappa} \Pi_{\phi_t^\kappa} dB_t$ 的流（其中 $v^\kappa = u - 2\kappa x$ ， $\Pi_x$ 为到切空间的正交投影），则：

定理 1.1（一致于 $\kappa$ 的指数关联衰减）：对任意 $$ q,s > 0 $$ ，存在 $\kappa_0 > 0$ 、与布朗运动 $$ B $$ 独立的随机常数 $C_{\omega,\kappa} \geq 1$ （满足 $\mathbb{E}_\omega |C_{\omega,\kappa}|^q \leq C_q < \infty$ ，且 $$ C_q $$ 与 $\kappa$ 无关），以及与 $\kappa$ 无关的确定性指数 $\lambda_s > 0$ ，使得对所有零均值函数 $\phi, \psi \in H^s(S^2)$ ，几乎必然有

\left| \int_{S^2} \phi(x) \psi(\phi_t^\kappa(x)) \, d\sigma(x) \right| \leq C_{\omega,\kappa} e^{-\lambda_s t} \|\phi\|_{H^s} \|\psi\|_{H^s}, \quad \forall t > 0, \; \forall \kappa \in [0, \kappa_0).

推论 1.2（指数混合）：对任意零均值初值 $\rho_0 \in H^s(S^2)$ ，其解 $\rho(t,x)$ 满足

\|\rho(t,\cdot)\|_{\dot{H}^{-s}(S^2)} \leq C_{\omega,\kappa} e^{-\lambda_s t} \|\rho_0\|_{\dot{H}^s}, \quad \text{a.s.}, \; \forall t \geq 0, \; \forall \kappa \in [0, \kappa_0).

推论 1.3（最优增强耗散）：对任意零均值 $\rho_0 \in H^1(S^2)$ ，存在 $\lambda > 0$ 、 $\kappa_0 > 0$ ，以及与 $$ B $$ 独立的随机常数 $C'_{\omega,\kappa} \geq 1$ （满足 $\mathbb{E}_\omega |C'_{\omega,\kappa}|^2 \leq C'_2 < \infty$ ，且 $$ C'_2 $$ 与 $\kappa$ 无关）和几乎必然有限的随机函数 $\mu(\kappa) > 0$ ，使得

\|\rho(t,\cdot)\|_{L^2} \leq \min\left\{ \frac{C'_{\omega,\kappa}}{\sqrt{\kappa}} e^{-\lambda t}, \; e^{-\mu(\kappa) t} \right\} \|\rho_0\|_{L^2}, \quad \text{a.s.}, \; \forall t \geq 0, \; \forall \kappa \in (0, \kappa_0).

且 $\mu(\kappa)$ 满足对数尺度最优性：

\lim_{\kappa \to 0} \mu(\kappa) \log\left( \frac{1}{\kappa} \right) \in \left( \frac{2\lambda}{1 + M}, \; 2\lambda \right), \quad \text{with probability at least } 1 - e^{2\kappa_0 M} C'_2, \; \forall M \geq 0.

该结果表明，耗散率 $d(\kappa) = \mu(\kappa)$ 达到理论最优阶 $\Theta(|\log \kappa|^{-1})$ ，且衰减前因子在 $\kappa \to 0$ 时仅以 $\kappa^{-1/2}$ 增长（由对数瞬态主导），这与 [41] 中 Lipschitz 场的预测完全吻合。

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

证明的核心障碍源于 $$ S^2 $$ 的几何刚性与罗斯比-豪里茨流的动力学奇异性，迫使作者发展一套全新的、深度耦合微分几何与随机动力系统的技术框架。主要创新点与关键技术如下：

1. 针对非紧相空间的 Lyapunov-Foster 漂移函数构造：由于 $u^a_\omega$ 和 $u^b_\omega$ 在极点 $\pm a, \pm b$ 及大圆 $a \cdot x = 0$ 、 $b \cdot x = 0$ 上存在不动点集 $$ F $$ ，单点过程 $$ P $$ 定义在非紧空间 $X = S^2 \setminus F$ 上。标准 Harris 定理要求漂移函数 $$ V $$ 满足 $PV \leq \gamma V + \beta \mathbf{1}_K$ （ $$ K $$ 紧致）。作者设计了一个精巧的球面距离型 Lyapunov 函数：对 $x \in X$ ，令 $d_F(x) = \min_{p \in F} d_{S^2}(x,p)$ 为到不动点集的距离，则取 $V(x) = d_F(x)^{-\xi}$ （ $\xi > 0$ 小）。关键在于证明：在 $$ d_F(x) $$ 很小时（即靠近不动点），随机幅值 $\omega$ 的扰动足以使 $f_\omega(x)$ 以正概率逃离邻域；而在 $$ d_F(x) $$ 较大时，流的双曲性保证收缩。这一分析贯穿第 5、10 节，是处理球面奇点的首创性技术。

2. Lie 代数秩条件（LARC）替代显式浸没验证：在环面工作中，验证“小集条件”的标准方法是显式找到一组噪声参数 $\omega^*$ 使得合成映射 $\Psi_x(\omega_n) = f_{\omega_n} \circ \cdots \circ f_{\omega_1}(x)$ 在 $\omega^*$ 处为浸没（submersion）。但在 $$ S^2 $$ 上，尤其当 $a \cdot b \neq 0$ 时， $D_x f_\omega$ 的表达式极度复杂，显式计算不可行。作者提出根本性革新：引入 Lie 代数秩条件（Section 4）。定义向量场集合 $\mathcal{G} = \{u^a, u^b\}$ 及其所有嵌套李括号 $[u^a,u^b], [u^a,[u^a,u^b]], \dots$ 。作者在 Appendix A,B 中严格计算了这些括号，并证明：对任意 $x \in X$ ，由 $\mathcal{G}$ 生成的李代数在 $$ T_x S^2 $$ 上张成全空间（即秩为 2）。依据控制论中的 Chow-Rashevskii 定理，此条件蕴含：对任意 $$ x $$ ，存在有限步合成 $f_{\omega_n} \circ \cdots \circ f_{\omega_1}$ 的微分在 $$ x $$ 处满秩，从而 $\Psi_x$ 是局部浸没。此抽象框架完全规避了显式计算，是处理非正交轴情形的决定性工具。

3. 随机两点过程的分区域漂移分析：两点过程 $P^{(2)}$ 定义在 $X^{(2)} = (S^2 \setminus F)^2 \setminus S$ （ $$ S $$ 包含对角线及对称集）。其漂移函数 $V^{(2)}(x,y)$ 的构造（Proposition 2.6, Section 11）是全文最艰深部分。作者采用分区域策略：(i) 当 $d_{S^2}(x,y)$ 很大时，利用单点过程的漂移；(ii) 当 $d_{S^2}(x,y)$ 很小（近对角线）时，引入球面法坐标 $\hat{w}(x,y) = \exp_x^{-1}(y) / |\exp_x^{-1}(y)|$ ，并定义 $V^{(2)}(x,y) = d_{S^2}(x,y)^{-\xi} \psi_\xi(x, \hat{w}(x,y))$ ，其中 $\psi_\xi$ 是单位切向量上的辅助函数；(iii) 关键创新在于对 $\kappa > 0$ 的统一处理：作者区分了“确定性主导区”（ $\kappa$ 极小，Brownian 噪声弱，动力学由 $$ u $$ 主导）与“噪声主导区”（ $\kappa$ 相对较大，Brownian 项使两点快速分离）。在每一区域，分别构造满足 $\kappa$ -独立常数的漂移不等式，最终拼接得到适用于所有 $\kappa \in [0,\kappa_0)$ 的统一漂移函数。此技术确保了定理 1.1 中“uniform-in- $\kappa$ ”的指数率。

4. 与之前工作的比较

本文与既有工作的比较需从多个维度展开，核心在于凸显其在流形几何、构造显式性、技术普适性上的实质性推进：

1. 与环面工作（[5,10,17,21]）的几何本质差异：此前所有指数混合构造均在 $\mathbb{T}^2$ 或 $\mathbb{T}^3$ 上完成，其成功依赖于环面的平行化性质（存在全局非零向量场）、无曲率、无不动点。例如，Pierrehumbert 的正弦剪切流 $u = (\sin y, 0)$ 在 $\mathbb{T}^2$ 上处处非零，单点过程相空间紧致，Harris 定理可直接应用。而本文首次将此类构造严格移植到 $$ S^2 $$ ，必须直面：(i) 切丛不可平行化导致标准坐标系失效，所有估计必须用协变导数与球面几何工具（如指数映射、测地距离）重写；(ii) 罗斯比-豪里茨流固有的不动点集 $$ F $$ 破坏了相空间紧致性，迫使发展针对非紧空间的漂移函数理论；(iii) 球面对称性引入额外不变集 $$ S $$ ，要求对两点过程的相空间进行精细分解。作者明确指出（Introduction, p.7）：“the passage from $\mathbb{T}^2$ to $$ S^2 $$ is not merely geometric”，此差异是根本性的，而非技术细节的调整。

2. 与先前球面工作的对比（从提供内容中无法确认）：摘要及正文未提及任何其他在 $$ S^2 $$ 上构造指数混合场的工作。作者强调“This is the first explicit construction of such a velocity field on the two-dimensional unit sphere”，暗示此前文献或仅处理线性化模型（如 $\beta$ -平面近似 [38,39]），或未达到指数速率，或非显式构造。因此，本文的“first”声明是基于现有文献的空白，而非与具体前人工作的直接比较。

3. 与增强耗散文献的速率比较：在 $\kappa > 0$ 下，本文获得的速率 $d(\kappa) \gtrsim |\log \kappa|^{-1}$ 是目前已知最优。这优于 [15,25] 中仅得到的 $|\log \kappa|^{-2}$ ，也优于一般 $$ C^1 $$ 场的预期。其代价是：速度场必须是随机幅值化的（即依赖于独立同分布的 $\omega_i$ ），而非确定性时变场。这与 [3,11] 等工作的设定一致，但本文将其推广至非平坦流形。值得注意的是，推论 1.3 中的双重衰减界 $\min\{ C'/\sqrt{\kappa} \, e^{-\lambda t}, e^{-\mu(\kappa)t} \}$ 精确刻画了物理图像：初始阶段由混合主导（ $\kappa$ -独立指数率），经过对数瞬态时间 $t \sim |\log \kappa|$ 后，进入由增强耗散主导的 $\kappa$ -依赖指数衰减阶段，这与 [37,41] 的预测完全吻合。

4. 与随机 Navier-Stokes 或 Kraichnan 模型的适用范围对比：文献 [4,12] 证明强制随机 NS 方程的解几乎必然指数混合，但其构造是隐式的（依赖于 PDE 解的存在性），且速度场本身是随机过程，非预先给定的确定性场族。Kraichnan 模型 [16,26,34] 是时空白噪声，缺乏物理可实现性。而本文构造的 $u(t,x,\omega;a,b)$ 是显式、光滑、物理可解释的（直接对应大气罗斯比波），且对每个固定的 $\omega$ -序列，它是一个确定性的、分段光滑的时变场，其混合性对几乎所有 $\omega$ 成立。这使其在地球物理建模中具有直接应用价值，这是抽象随机 PDE 方法所不具备的。

3. 动能型 Fokker-Planck 方程的最优阶边界 Harnack 估计

Boundary Harnack estimates of optimal order for kinetic Fokker-Planck equations

作者: Kyeongbae Kim, Marvin Weidner

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.10185v1

摘要翻译: 我们建立了带有吸收性入流边界的动能型 Fokker-Planck 方程解的高阶边界 Harnack 估计。与具有 Dirichlet 边界数据的经典椭圆型和抛物型方程不同，我们证明：对于动能型方程，两个解的商在边界上并非 $C^{\infty}$ 光滑。相反，我们发展了一套一般性理论，表明：在切触集（grazing set）附近，若区域与数据足够光滑，则两个解的商属于 $C^{3/2}$ ；若无源项，则属于 $C^{1,1}$ 。这些指数是最优的。

Comment: 59 pages

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

1. 研究对象和背景

本文研究的是带吸收性入流边界的动能Fokker-Planck方程的边界正则性问题，其核心对象是如下退化抛物-输运耦合方程：

\partial_t f + v \cdot \nabla_x f - \operatorname{div}_v (A \nabla_v f) = B \cdot \nabla_v f + F, \quad (t,x,v) \in (-1,0] \times \Omega \times \mathbb{R}^n,

其中 $\Omega \subset \mathbb{R}^n$ 是光滑有界区域，系数矩阵 $$A = A(t,x,v)$$ 满足椭圆性条件 $\Lambda^{-1} I \le A \le \Lambda I$ ， $$B = B(t,x,v)$$ 为有界向量场， $$F$$ 为源项。边界条件为吸收性入流条件：

f = 0 \quad \text{on } \gamma_- := (-1,0] \times \{(x,v) \in \partial\Omega \times \mathbb{R}^n : v \cdot n_x < 0\},

其中 $$n_x$$ 为 $\partial\Omega$ 在 $$x$$ 处的外法向量。该模型在等离子体物理（Landau方程线性化）、Langevin动力学及金融数学（亚式期权定价）中具有根本重要性。从PDE理论角度看，其主算子 $\mathcal{L} f := \partial_t f + v \cdot \nabla_x f - \Delta_v f$ 是Kolmogorov型的 hypoelliptic 算子，其正则性由Hörmander条件保证：向量场 $\{\partial_{v_i}, v_j \partial_{x_k}\}$ 及其Lie括号生成满秩空间，从而在内部产生 $C^\infty$ 正则性。然而，当接近空间边界 $\partial\Omega$ 时，该结构被严重破坏。

关键困难集中于临界集（grazing set） $\gamma_0 := (-1,0] \times \{(x,v) \in \partial\Omega \times \mathbb{R}^n : v \cdot n_x = 0\}$ ，即速度与边界相切的区域。在此处，输运项 $v \cdot \nabla_x$ 的法向分量消失，导致算子退化为纯 $$v$$ -扩散，无法驱动法向（ $$x$$ -方向）正则性。已知结果（如[HJV14, Zhu25, KW26]）表明，解在 $\gamma_0$ 附近仅具 $C^{1/2}$ 正则性，且存在显式反例 $\phi_0$ 证明 $C^{1/2+\epsilon}$ 不成立：

\phi_0(x,v) = \begin{cases} x^{1/6} U\left(-\frac{1}{6}, \frac{2}{3}, -\frac{v^3}{9x}\right), & v < 0, \\ \frac{\Gamma(7/6)}{\Gamma(1/6)} x^{1/6} e^{-v^3/(9x)} U\left(\frac{5}{6}, \frac{2}{3}, \frac{v^3}{9x}\right), & v \ge 0, \end{cases}

满足 $v \partial_x \phi_0 - \partial_{vv} \phi_0 = 0$ 且 $\phi_0 = 0$ on $\{x=0, v>0\}$ ，并具有齐次性 $\phi_0(\lambda^3 x, \lambda v) = \lambda^{1/2} \phi_0(x,v)$ ，故其在 $\gamma_0$ 处精确达到 $C^{1/2}$ 。这一现象引出一个根本性问题：所有解是否共享同一主导奇异性？若成立，则两解之商 $$f_1/f_2$$ 应能抵消该奇异性，获得更高正则性。这正是经典椭圆/抛物方程中高阶边界Harnack估计的核心思想——但动能方程因临界集的强各向异性而面临全新挑战：其尺度变换非各向同性（ $x \sim v^3$ ），且边界条件仅施加于入流侧，导致解在 $\gamma_-$ 附近无限阶衰减，在 $\gamma_+$ 附近光滑但在边界不为零，在 $\gamma_0$ 附近则呈现复杂的分区域行为。本文旨在系统刻画这种相对正则性，填补动能理论中关于解间边界行为比较的空白，此前仅有针对非特征边界（如[1.4]中 $v_n > \psi(t,x',v')$ ）的 $C^\alpha$ 估计[NP16, LN21a]，而对物理上更自然的空间域 $\Omega \times \mathbb{R}^n$ ，连基本的 $C^\alpha$ 商正则性都未被建立。

2. 主要定理或主要结果

本文的核心成果是定理1.1，它在最优尺度下建立了动能Fokker-Planck方程解商的高阶边界Harnack估计。设 $\Omega$ 为含原点的光滑区域， $$f_1, f_2$$ 是定义在 $H_2 := Q_2 \cap ((-4,0] \times \Omega \times \mathbb{R}^n)$ 上的解，满足：

\begin{cases} \partial_t f_i + v \cdot \nabla_x f_i - \operatorname{div}_v(A \nabla_v f_i) = B \cdot \nabla_v f_i + F_i & \text{in } H_2, \\ f_i = 0 & \text{on } \gamma_- \cap Q_2. \end{cases}

并设 $f_2, F_2 \ge 0$ ， $A \ge \Lambda^{-1} I$ 。令 $d_\Omega(x) := \operatorname{dist}(x, \partial\Omega)$ ， $$n_x$$ 为 $$x$$ 到 $\partial\Omega$ 投影点处的外法向，定义三区域：

R_+ := \{ d_\Omega(x) \le (n_x \cdot v)^3 \}, \quad R_- := \{ d_\Omega(x) \le -(n_x \cdot v)^3 \}, \quad R_0 := \{ d_\Omega(x) \ge |n_x \cdot v|^3 \}.

存在 $\rho_1 = \rho_1(\Lambda, \Omega) > 0$ ，使得若 $f_2(-1, -\rho_1^3 n_0, 0) = c_0 > 0$ ，则：

(i) 若 $A \in C^{1/2+\epsilon}(H_2), B \in L^\infty(H_2), F_1, F_2 \in C^\epsilon(H_2)$ 且 $\|F_2\|_{L^\infty(H_2)} \le c_0 / M$ （ $M = M(n,\Lambda,\Omega)$ ），则

\left[ \frac{f_1}{f_2} \right]_{C^{3/2}(H_{\rho_1/8} \setminus R_-)} \le c \sum_{i=1}^2 \left( \|f_i\|_{L^\infty(H_2)} + \|F_i\|_{C^\epsilon(H_2)} \right),

其中常数 $c = c(n, \Lambda, \epsilon, c_0, \|A\|_{C^{1/2+\epsilon}(H_2)}, \|B\|_{L^\infty(H_2)}, \Omega)$ 。

(ii) 若 $F_1 \equiv F_2 \equiv 0$ 且 $A \in C^{1+\epsilon}(H_2), B \in C^\epsilon(H_2)$ ，则

\left[ \frac{f_1}{f_2} \right]_{C^{1,1}(H_{\rho_1/8} \setminus R_-)} \le c \sum_{i=1}^2 \|f_i\|_{L^\infty(H_2)},

其中 $c = c(n, \Lambda, \epsilon, c_0, \|A\|_{C^{1+\epsilon}(H_2)}, \|B\|_{C^\epsilon(H_2)}, \Omega)$ 。

此外，定理5.10推广了此结果：对任意 $\alpha \in (0, 3/2]$ ，在较弱系数正则性假设下可得 $C^\alpha$ 商估计；对 $\alpha \in (3/2, 2]$ ，若 $F_i \equiv 0$ ，亦可得到。反例5.12证明了指数 $$3/2$$ 和 $$1,1$$ 的最优性：即使在半空间上的Kolmogorov方程 $v \partial_x f - \partial_{vv} f = 0$ 中，也存在解对使商的 $C^{3/2+\epsilon}$ 或 $C^{2}$ 范数发散。同时，定理明确指出该估计在 $$R_-$$ （入流边界层）内失效，反例5.14构造了在 $\gamma_-$ 上光滑的非负解，但其商无界，这源于解在 $\gamma_-$ 附近的无限阶衰减。

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

证明的核心障碍在于临界集 $\gamma_0$ 上解的强各向异性奇异性，其尺度关系 $x \sim v^3$ 使得标准椭圆/抛物技术完全失效。作者发展了一套全新的分析框架，包含两大支柱性工具：

1. 动能Hopf引理（Theorem 1.5）：这是全文基石，也是首次为动能方程在空间边界上建立的Hopf型下界。其证明分三步：(i) 动能Harnack链传播：由于动能Harnack不等式（[CNP10]）的等待时间不能任意小，作者精心设计Harnack链，将点 $(-1, -\rho_1^3 n_0, 0)$ 处的正值信息沿特征线 $$x + tv$$ 传播至 $H_{\rho_1/8} \cap \{d_\Omega \ge (\rho_1/32)^3\}$ ，克服了输运几何的扭曲效应。(ii) 常系数半空间的屏障函数法：针对模型方程 $v \partial_x f - \partial_{vv} f = 0$ ，利用显式解 $\phi_0$ 构造下屏障函数，结合传播结果证明 $f \gtrsim \phi_0(d_\Omega(x), v \cdot n_x)$ 。(iii) 精细扰动论证：将常系数结论推广至Hölder连续系数 $$A, B$$ 。此步高度技术性，依赖于解在 $\gamma_0$ 处关于 $\phi_0$ 的逐点展开（见下文），其误差控制需利用 $\phi_0$ 的齐次性与动能Hölder范数的定义。

2. 解在 $\gamma_0$ 处的精细商展开（Lemma 5.8）：这是获得高阶正则性的关键创新。先前工作[KW26]给出了单个解的展开： $|f_1(z) - p_0(z) \phi_0 - p_1(z) \varphi_1 - b_2 \varphi_2 - b_3 \varphi_3| \lesssim r^{3-\epsilon}$ ，其中 $\varphi_1, \varphi_2, \varphi_3$ 是方程 $v \partial_x \varphi_i - \partial_{vv} \varphi_i = g_i$ 的显式解，具有不同齐次度（ $\varphi_1: \lambda^{1/2}, \varphi_2: \lambda^2, \varphi_3: \lambda^{5/2}$ ）。本文的突破在于将其转化为以另一解 $$f_2$$ 为基准的展开：

|f_1(z) - q_0(z) f_2(z) - q_1(z) \varphi_1 - b_2' \varphi_2 - b_3' \varphi_3| \lesssim r^{3-\epsilon},

其中 $q_0, q_1 \in \mathcal{P}_2$ （动能二次多项式），且关键地要求 $q_1(0) = \nabla_v q_1(0) = 0$ 。该展开通过受[ARO20]启发的动能吹胀论证（kinetic blow-up argument） 实现，但因动能误差项的复杂性，需引入新引理（如Lemma 5.4）来控制高阶项。最终，将此式除以 $$f_2$$ ，并利用Hopf引理 $f_2 \gtrsim \phi_0$ 及各基函数的齐次度，得到： $$q_0$$ 是光滑的， $q_1 \varphi_1 / f_2 \sim |z|^2$ ， $\varphi_2 / f_2 \sim |z|^{3/2}$ ， $\varphi_3 / f_2 \sim |z|^2$ ，从而导出 $C^{3/2}$ 正则性；当 $F_i \equiv 0$ 时，可证 $$b_2' = 0$$ ，消除 $|z|^{3/2}$ 项，提升至 $C^{1,1}$ 。

4. 与之前工作的比较

本文与既有工作存在本质区别，主要体现在以下维度：

1. 与经典椭圆/抛物方程的对比：[DSS15, BG16, TTV24]等对拉普拉斯或热方程建立的高阶边界Harnack估计，其结论是商 $$f_1/f_2$$ 属于 $C^\infty$ ，这源于其算子的各向同性及边界条件的全局施加。而本文揭示，动能方程的退化hypoellipticity在 $\gamma_0$ 处坍塌，导致商的正则性被严格限制在 $C^{3/2}$ （有源）或 $C^{1,1}$ （无源），这是由底层动力学尺度 $x \sim v^3$ 决定的根本性上限，而非技术性缺陷。

2. 与前期动能工作的对比：(i) [KW26]建立了单个解的边界行为 $f/\Phi \in C^{0,1}$ ，其中 $\Phi$ 是构造的 $C^{1/2}$ 剖面。但 $\Phi$ 本身不是解，故 $f/\Phi$ 的正则性止步于 $C^{0,1}$ （Example 6.1）。本文的商估计 $$f_1/f_2$$ 则利用两个真实解的内在对称性，实现了阶数跃升，证明了 $C^{3/2}$ 是可实现的最优阶。(ii) [NP16, LN21a]的工作局限于形如 $v_n > \psi(t,x',v')$ 的非特征边界，其边界处处被 $$v$$ -扩散‘看见’，行为类似椭圆方程。而本文处理的空间边界 $\partial\Omega \times \mathbb{R}^n$ 对 $$v$$ -扩散‘不可见’，全部边界相互作用由输运项主导，需要完全不同的工具（如Harnack链、 $\phi_0$ -基展开）。

3. 与Carleson型估计的对比：[CNP12, CNP13]建立了Lipschitz边界的Carleson估计，但仅给出 $$f_1/f_2$$ 的Hölder连续性（ $C^\alpha$ ），且未指定最优指数。本文不仅给出了最优指数 $$3/2$$ 和 $$1,1$$ ，还提供了完整的Schauder型理论（Theorem 5.10），覆盖 $\alpha \in (0,2]$ 全范围。

中文标题: 分数阶Hartree方程的孤立奇点

摘要翻译: 我们研究具有Riesz相互作用的分数阶Hartree方程正解的孤立奇点：

中文标题: 具有改进间隙界（gap bound）的抛物型双相方程的高阶可积性

摘要翻译: 我们证明了抛物型双相方程

中文标题: 细胞-细胞黏附与多相Hele-Shaw问题作为Keller-Segel系统的奇异极限

摘要翻译: 我们研究一类Patlak-Keller-Segel (PKS) 方程组的奇异极限，该方程组建模多个相互作用物种的演化。我们的主要动机是Malcolm Steinberg于1962年提出的差异黏附假说（Differential Adhesion Hypothesis, DAH），该假说认为细胞群体通过最小化黏附能实现自组织，其机制类似于流体通过最小化表面张力实现自组织。我们的出发点是一个连续介质模型，描述 $$N$$ 个不同物种（代表不同细胞类型）的密度分布的演化。这些物种通过吸引性非局部力相互作用，其相互作用核具有相似形式但强度不同（ $N\times N$ 相互作用系数矩阵编码了系统的关键性质）。这些吸引力由一个依赖于总密度的非线性压力所平衡，且该压力足够强以防止浓度形成。

在短程相互作用极限下，我们建立了相互作用矩阵上保证细胞分选（即不同物种的自发分离）发生的充分条件。接着，我们证明了相应能量泛函的一个一般性 $\Gamma$ -收敛结果，表明其收敛至一个界面能量，其中表面张力系数由一个测地线问题所决定。对该测地线问题的详细分析使我们得以识别出发生吞噬（engulfment）的参数区域（即黏附性更强的物种聚集在一起并被黏附性更弱的物种所包围），而这是DAH的一个关键特征。

在本文第二部分，我们分析PKS系统解在长时与短程相互作用联合极限下的渐近行为。在标准的能量收敛假设下，我们证明了解收敛至一个带表面张力（及三重点处接触角条件）的多相Hele–Shaw问题。

不相关论文（基本信息）

1. 通过 $$BV$$ 函数的边界可 rectifiability 性与整电流的紧性

Boundary rectifiability and compactness of integral currents via $$BV$$ functions

作者: Giacomo Del Nin

类别: math.AP, math.DG

发布日期: 2026-06-09

arXiv ID: 2606.11185v1

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

摘要: We present a new proof that an integer rectifiable current with finite mass, and whose boundary has also finite mass, is integral. We deduce the result from De Giorgi’s structure theorem for integer-valued $$BV$$ functions and a cylindrical projection argument. As a consequence, we also give a new proof of the compactness of integral currents that is ultimately based on the $$BV$$ theory.

2. 关于 $\infty$ -调和映射的 $$1$$ -流刻画

A characterisation of $\infty$ -harmonic maps in terms of $$1$$ -currents

作者: Roger Moser

类别: math.AP, math.DG

发布日期: 2026-06-09

arXiv ID: 2606.10897v1

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

摘要: We consider maps between two Riemannian manifolds and study a functional given in terms of the $L^\infty$ -norm of the derivative. This functional is not differentiable, but we can define critical points with the help of a subdifferential. The resulting notion includes, for example, minimisers in a given homotopy class. We derive a geometric condition equivalent to criticality in this sense. The condition is formulated in terms of a vector-valued $$1$$ -current on the domain manifold, which encapsulates some of the key properties of the critical point. Moreover, this $$1$$ -current is itself a critical point of a generalised mass functional.

3. 球面 $\mathbb{S}^{2}$ 上沿测地线扰动的拉普拉斯算子的量子极限

Quantum Limits of the Laplacian perturbed along a geodesic on $\mathbb{S}^{2}$

作者: Santiago Verdasco

类别: math.SP, math.AP

发布日期: 2026-06-09

arXiv ID: 2606.10847v1

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

摘要: This article studies the high-frequency behavior of eigenstates of perturbations of the Laplace-Beltrami operator on the two-sphere $\mathbb{S}^{2}$ by a measure supported on an equator. We are interested in understanding to what extent this behavior can be described in terms of the geodesic flow of the sphere. This is done by analyzing quantum limits and semiclassical measures of sequences of high-frequency eigenfunctions, which describe how their $$L^2$$ -masses concentrate in phase space. When the Laplacian on $\mathbb{S}^{2}$ is perturbed by a bounded potential, it is known that the family of all possible semiclassical measures is contained in the set of positive measures on the unit cosphere bundle $S^*\mathbb{S}^{2}$ that are invariant under geodesic flow (with equality in the unperturbed case). In this article, we show that the presence of a singular delta potential on a closed geodesic results in the existence of sequences of eigenfunctions whose semiclassical measure is not invariant under geodesic flow. In particular, one can find a sequence of eigenfunctions whose energy asymptotically concentrates on the hemisphere bounded by the equator on which the potential is concentrated.

4. 牵引驱动指形发生的单侧退化 Cahn-Hilliard 模型的整体弱解

Global weak solutions of a one-sided degenerate Cahn-Hilliard model for traction-driven digit morphogenesis

作者: Marvin Fritz

类别: math.AP

发布日期: 2026-06-09

arXiv ID: 2606.10793v1

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

摘要: We study a one-sided degenerate Cahn-Hilliard equation with anisotropic traction flux, arising as a reduced continuum description of mechanically biased cell interactions in digit-forming organoids. The equation combines a one-sided degenerate mobility with a density-weighted anisotropic higher-order transport term. This traction term is not generated by the variational derivative of the Cahn-Hilliard energy and therefore produces sign-indefinite contributions in the energy balance. For nonnegative initial data, we prove the global-in-time existence of nonnegative weak solutions. The proof combines an energy estimate for the diffusive flux with a mobility-matched entropy method adapted to the vacuum degeneracy. A key point is that the entropy variable cancels the mobility, turning the anisotropic traction contribution into a coercive first-order term in the entropy inequality, while the energy estimate supplies a weighted control of the diffusive flux.

5. 共形不变多项凸能量的临界点

Stationary points of conformally invariant polyconvex energies

作者: André Guerra, Riccardo Tione

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

发布日期: 2026-06-09

arXiv ID: 2606.10586v1

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

摘要: We consider polyconvex integrands that are conformally invariant and frame indifferent. In two dimensions, we prove that the corresponding stationary points are smooth outside a discrete set; this result is new even for minimizers. We further show that every orientation-preserving stationary point is $$C^1$$ . Since such solutions are closely related to Teichmüller-type variational problems, our result also confirms, in the case of integrands with linear growth in the distortion, a conjecture of Astala, Iwaniec, Martin, and Onninen from 2005.

6. 具有广义界面项的能量的结构化形变

Structured deformations for energies with general surface terms

作者: Davide Donati, Manuel Friedrich

类别: math.AP, math.FA

发布日期: 2026-06-09

arXiv ID: 2606.10556v1

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

摘要: We develop a variational theory of structured deformations for energies whose surface densities satisfy general growth conditions. This requires a formulation in the generalised space ${\rm GBV}_\star$ , introduced by Dal Maso and Toader, which is the natural setting for surface energies that are linear near the origin and bounded at infinity. In this framework, we prove three main results: an approximation theorem for structured deformations, an integral representation theorem for abstract lower semicontinuous functionals, and an explicit representation formula for relaxed energies. The proofs rely on new density results for functions of bounded variation and on Poincaré-type inequalities tailored to ${\rm GBV}_\star$ . Our results extend the applicability of structured deformations to cohesive models in fracture mechanics.

7. 主特征值、最大值原理及非散度型Lane-Emden相关系统的估计

Principal eigenvalues, maximum principles and estimates for Lane-Endem related systems in nondivergence form

作者: Leandro G. Fernandes, Edir Júnior Ferreira Leite

类别: math.AP

发布日期: 2026-06-08

arXiv ID: 2606.10131v1

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

摘要: Our aim in this paper is to study principal eigenvalues, maximum principles and estimates for Lane-Endem related systems in nondivergence form.

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

1. 无压欧拉对齐系统的单向熵解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 单位球面上 Rossby-Haurwitz 流的指数混合与增强耗散#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 动能型 Fokker-Planck 方程的最优阶边界 Harnack 估计#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 热电磁系统的适定性与稳定性#

摘要翻译#

2. 具有时变阻尼的波动型方程的色散估计#

摘要翻译#

3. 分数阶Hartree方程的孤立奇点#

摘要翻译#

4. Camassa-Holm 全孤子气体的长时间渐近行为#

摘要翻译#

5. 非零边界条件下NLS层级的长波KdV层级逼近#

摘要翻译#

6. 动力学Amrein-Berthier不确定性原理的相空间判据#

摘要翻译#

7. 具有 $p$-拉普拉斯算子的临界拟线性薛定谔系统#

摘要翻译#

8. 分数阶薛定谔流的动力学Amrein-Berthier不确定性原理#

摘要翻译#

9. 具有改进间隙界（gap bound）的抛物型双相方程的高阶可积性#

摘要翻译#

10. 具有共线速度的多维耦合一阶双曲型偏微分方程组的反步控制#

摘要翻译#

11. 带非可积且退化系数的二阶演化方程在加权 $L^p$-空间中的适定性#

摘要翻译#

12. 三维空间中的部分数据Calderón问题#

摘要翻译#

13. 细胞-细胞黏附与多相Hele-Shaw问题作为Keller-Segel系统的奇异极限#

摘要翻译#

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

1. 通过 $BV$ 函数的边界可 rectifiability 性与整电流的紧性#

2. 关于 $\infty$-调和映射的 $1$-流刻画#

3. 球面 $\mathbb{S}^{2}$ 上沿测地线扰动的拉普拉斯算子的量子极限#

4. 牵引驱动指形发生的单侧退化 Cahn-Hilliard 模型的整体弱解#

5. 共形不变多项凸能量的临界点#

6. 具有广义界面项的能量的结构化形变#

7. 主特征值、最大值原理及非散度型Lane-Emden相关系统的估计#

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

1. 无压欧拉对齐系统的单向熵解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 单位球面上 Rossby-Haurwitz 流的指数混合与增强耗散

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 动能型 Fokker-Planck 方程的最优阶边界 Harnack 估计

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 热电磁系统的适定性与稳定性

摘要翻译

2. 具有时变阻尼的波动型方程的色散估计

摘要翻译

3. 分数阶Hartree方程的孤立奇点

摘要翻译

4. Camassa-Holm 全孤子气体的长时间渐近行为

摘要翻译

5. 非零边界条件下NLS层级的长波KdV层级逼近

摘要翻译

6. 动力学Amrein-Berthier不确定性原理的相空间判据

摘要翻译

7. 具有 $$p$$ -拉普拉斯算子的临界拟线性薛定谔系统

摘要翻译

8. 分数阶薛定谔流的动力学Amrein-Berthier不确定性原理

摘要翻译

9. 具有改进间隙界（gap bound）的抛物型双相方程的高阶可积性

摘要翻译

10. 具有共线速度的多维耦合一阶双曲型偏微分方程组的反步控制

摘要翻译

11. 带非可积且退化系数的二阶演化方程在加权 $$L^p$$ -空间中的适定性

摘要翻译

12. 三维空间中的部分数据Calderón问题

摘要翻译

13. 细胞-细胞黏附与多相Hele-Shaw问题作为Keller-Segel系统的奇异极限

摘要翻译

不相关论文（基本信息）

1. 通过 $$BV$$ 函数的边界可 rectifiability 性与整电流的紧性

2. 关于 $\infty$ -调和映射的 $$1$$ -流刻画

3. 球面 $\mathbb{S}^{2}$ 上沿测地线扰动的拉普拉斯算子的量子极限

4. 牵引驱动指形发生的单侧退化 Cahn-Hilliard 模型的整体弱解

5. 共形不变多项凸能量的临界点

6. 具有广义界面项的能量的结构化形变

7. 主特征值、最大值原理及非散度型Lane-Emden相关系统的估计