Towards gradient Hölder regularity for singular fractional $p$-Laplace equations

技术摘要：趋向于奇异分数 $p$-Laplace 方程的梯度 Hölder 正则性

问题陈述
本文研究了有界弱解在奇异分数 $p$-Laplace 方程中的内部正则性问题：
$$(-\Delta_p)^s u = 0 \quad \text{in } \Omega \subset \mathbb{R}^n,$$
其中 $n \ge 2$, $0 < s < 1$, $1 < p < 2$。该算子通过涉及奇异通量 $J_p(t) = |t|^{p-2}t$ 的主值积分来定义。虽然该方程的正则性结果（如有界性、Hölder 连续性和 Harnack 不等式）已得到充分建立，但内部 $C^{1,\alpha}$ 正则性（即梯度 Hölder 连续性）在奇异情形（$1 < p < 2$）下仍是一个开放问题。由于在进行仿射归一化后缺乏一致椭圆性，且通量在原点附近具有奇异性，因此以往针对超二次情形（$p \ge 2$）或具有全局 Lipschitz 构造函数的算子的结果并不适用。

方法论与证明策略
作者采用了一种专门针对奇异非局部设置进行改进的紧致性与平坦度改进（improvement-of-flatness）方法。证明依赖于几个全新的技术组件：

1. 内禀仿射归一化（Intrinsic Affine Normalization）：
   不同于标准的过剩衰减（excess-decay）论证，本文引入了一个“斜率归一化”框架。余项 $w = u - \ell$（其中 $\ell$ 是斜率为 $q$ 的仿射映射）通过一个内禀振幅 $A$ 进行缩放。这产生了一个归一化斜率 $Q = q/A$ 和一个归一化余项 $v$。能量通过**移位 Bregman 能量（shifted Bregman energy）**进行度量：
   $$D\Phi(Q \cdot (x-y); \delta v(x,y)),$$
   其中 $\Phi(t) = |t|^p/p$。这种 Bregman 余项自然地捕捉了两种机制：当余项相对于斜率较小时（$|b| \ll |a|$）表现为二次行为，以及当余项占主导时（$|b| \gtrsim |a|$）表现为 $p$ 次增长。这使得在单一框架内处理有界和发散斜率成为可能。

2. 斜率一致紧致性（Slope-Uniform Compactness）：
   一个核心难点在于，当 $s \uparrow 1$ 时，方程的极限取决于归一化斜率 $Q$ 的行为。

   • 如果 $Q_j \to Q \in \mathbb{R}^n$，极限是一个移位的局部 $p$-调和方程。
   • 如果 $|Q_j| \to \infty$ 且 $Q_j/|Q_j| \to e$，极限是一个在大型斜率附近线性化的一致椭圆常系数二次方程。
     本文利用斜率空间的径向紧致化建立了斜率一致紧致性定理（命题 3.8）。这确保了解序列收敛到相应极限泛函的局部极小值，且不存在能量缺陷。

3. 外部通量与尾部控制（Exterior Flux and Tail Control）：
   在非局部方程中减去一个仿射映射会改变外部相互作用（即“尾部”）。本文区分了：

   • 平均尾部（Averaged tails）： 用于紧致性论证。
   • 单侧不利尾部（One-sided adverse tails）： 出现在 De Giorgi 截断（上界与下界）中。
     作者引入了一种联合传播机制（第 7 节），其中外部通量通过环形 $L^p$ 估计升级为 $L^r$ 估计来进行控制。至关重要的是，尾部界对局部最大值的依赖是严格次线性的（幂次 $a = 1 - p/r < 1$）。这种次线性特征使得即使在尾部较大时，只要满足结构条件 $sp > p-1$，迭代过程仍能闭合。

4. 内禀过剩与迭代（Intrinsic Excess and Iteration）：
   证明构建了一个与奇异几何相兼容且具有尺度不变性的内禀过剩泛函。一个“单步改进”引理（命题 6.3）将局部仿射衰减从紧致极限方程转移回分数方程，前提是外部尾部受到控制。通过 Campanato 方案进行迭代，以建立仿射逼近的几何衰减。

主要贡献与结果
主要结果是定理 1.1，其表述如下：
设 $n \ge 2$, $1 < p < 2$，且令 $\alpha_{loc}(n, p)$ 为局部 $p$-调和函数梯度的可容许内部 Hölder 指数。对于每一个 $0 < \alpha < \alpha_{loc}(n, p)$，存在一个阈值 $s^* = s^*(n, p, \alpha) < 1$，使得对于所有 $s \in (s^*, 1)$，所有在 $B_2$ 中的有界弱解 $u$ 均属于 $C^{1,\alpha}(B_{1/2})$。

该估计是定量的：
$$\|\nabla u\|_{L^\infty(B_{1/2})} + [\nabla u]_{C^\alpha(B_{1/2})} \le C \|u\|_{L^\infty(\mathbb{R}^n)}.$$

意义与范围

• 对开放问题的部分回答： 本文为奇异分数 $p$-Laplace 方程长期存在的 $C^{1,\alpha}$ 问题提供了部分解答。它特别是在“近局部”（near-local）情形下（即 $s$ 足够接近 1 时）建立了该结果。
• 结构范围： 尾部传播论证在整个结构范围 $sp > p-1$内均有效。对$s > s^*$的限制**仅**用于紧致性步骤，以确保极限方程是局部的（要么是$p$-调和的，要么是线性椭圆的）。如果$s$ 远离 1，极限将保持非局部性，这需要不同的振荡估计，而本文并未提供此类估计。
• 一致性： 估计中的常数在 $s \uparrow 1$ 时是统一的，这使得结果在定量上与局部 $p$-调和梯度理论保持一致。
• 新颖技术： 引入斜率归一化 Bregman 能量，以及通过区分平均尾部与单侧不利尾部来实现次线性自举闭合（sublinear bootstrap closure），被视为实现证明的主要技术创新。

论文总结道，尽管对于奇异情形而言，全范围 $0 < s < 1$ 的问题仍然开放，但“近局部极限”已被解决，从而弥补了奇异情形下分数方程与其局部对应物之间的差距。