Lipschitz regularity for parabolic fractional $p$-Laplace equations

1. 研究问题 (Problem)

该论文旨在研究以下非局部、非线性抛物方程局部弱解的空间梯度正则性（即 Lipschitz 连续性）：
$$\partial_t u + L_K u = 0 \quad \text{in } \Omega \times I$$
其中算子 $L_K$ 定义为：
$$L_K u(x, t) := \text{P.V.} \int_{\mathbb{R}^N} |u(x, t) - u(y, t)|^{p-2}(u(x, t) - u(y, t)) K(x - y) \, dy$$

核心挑战与背景：

• 正则性缺口： 此前已知在 $sp > p-1$ 的条件下，解具有几乎 Lipschitz 的 Hölder 连续性（即指数接近 1），但是否能达到真正的 Lipschitz 连续性（指数为 1）在椭圆和抛物情形下长期未决。
• 核函数限制： 以往的高阶正则性结果通常要求核函数 $K$ 是连续的（如标准的分数阶 Laplacian $K(z) = |z|^{-(N+sp)}$）。本文旨在处理不连续的核函数。
• 尾部假设： 许多现有结果要求解的“尾部”（tail）在时间上连续。本文试图在更弱的假设下（仅要求尾部有界）证明结论。
• 非线性范围： 需要同时处理 $p \ge 2$（退化情形）和 $1 < p < 2$（奇异情形），后者在数学处理上更为困难，因为无法直接在光滑函数上评估算子而不遇到奇点。

---

2. 方法论 (Methodology)

作者采用了一种结合截断算子、伸缩归一化以及Ishii-Lions 方法（一种处理 Hamilton-Jacobi 方程正则性的经典变分法）的混合策略。

2.1 算子截断与尾部处理

• 将算子 $L_K$ 分解为局部部分 $L_{B_1}^K$ 和非局部尾部部分 $L_{B_1^c}^K$。
• 利用解的尾部有界性假设（$u \in L^\infty_{\text{loc}}(I; L^{p-1}_{sp}(\mathbb{R}^N))$），将尾部部分视为一个有界的源项 $f(x,t)$（即 $\|f\|_\infty \le C_0$）。
• 优势： 这种截断使得测试函数不需要满足全局尾部条件，从而允许处理不连续的核函数，并简化了连续性论证。

2.2 伸缩与归一化 (Scaling and Normalisation)

• 通过变量代换将一般方程归一化到固定圆柱体 $B_2 \times (-2, 0]$ 上。
• 分情形处理：
  • $p \ge 2$： 大振幅会放大时间尺度，归一化将 $M_R$ 吸收进时间平移。
  • $1 < p < 2$： 大振幅会缩小空间尺度，归一化将 $M_R$ 吸收进空间重缩放。
• 归一化后的解满足 $\|u\|_\infty + \text{Tail}_\infty \le 1$。

2.3 Ishii-Lions 框架与接触引理 (Touching Lemma)

• 接触引理 (Proposition 3.8)： 这是核心工具。如果弱解 $u$ 与一个光滑函数 $\phi$ 在某点 $(x_0, t_0)$ 接触（即 $u \le \phi$ 且 $u(x_0, t_0) = \phi(x_0, t_0)$），且 $\nabla_x \phi \neq 0$，则利用截断算子的性质，可以推导出 $\partial_t \phi + L_{B_1}^K \phi \le C_0$。
• 参数化泛函族： 为了避免使用粘性解理论中的 Jensen-Ishii 引理（这通常需要复杂的粘性解框架），作者构造了一族参数化的 Ishii-Lions 泛函：
  $$\Phi_\nu(x, y, t, \tau) = u(x, t) - u(y, \tau) - L\phi(|x-y|) - m_1\psi(x) - \frac{(t-\tau)^2}{2\nu}$$
  通过最大化该泛函，获得接触点序列，并利用接触引理导出矛盾。

2.4 惩罚函数 (Penalisation Profiles)

• Hölder 提升阶段： 使用 $\phi_\gamma(r) = r^\gamma$ 进行迭代提升正则性指数。
• Lipschitz 最终阶段： 使用准线性惩罚函数 $\tilde{\phi}(r) = r + \frac{r}{\log r}$。
  • 纯线性函数 $\phi(r)=r$ 会导致二阶导数为 0，无法提供足够的严格凹性来控制积分项。
  • $\tilde{\phi}$ 具有严格负的二阶导数（$\tilde{\phi}'' < 0$），这对于处理奇异核积分中的锥估计至关重要。

2.5 主不等式与积分估计

• 在接触点 $(x_\nu, t_\nu)$ 和 $(y_\nu, \tau_\nu)$ 处应用接触引理，相减得到主不等式：
  $$L_{B_1}^K w_1(x_\nu, t_\nu) - L_{B_1}^K w_2(y_\nu, \tau_\nu) \le 2C_0$$
• 将积分区域分解为四个部分（$C, D_1, D_2, D_3$），分别针对 $p \ge 2$ 和 $1 < p < 2$ 进行精细的积分估计。
• 关键在于证明当惩罚系数 $L \to \infty$ 时，左侧积分项发散（趋向无穷大），而右侧保持有界，从而导出矛盾，证明 Lipschitz 连续性。

---

3. 主要结果 (Key Results)

定理 1.1 (空间 Lipschitz 正则性)：
设 $u$ 是方程 (1) 的局部弱解，且满足 $sp > p - 1$。则$u(\cdot, t)$ 在空间上是局部 Lipschitz 连续的，且关于时间一致。具体估计如下：

• 当 $p \ge 2$ 时：
  $$\sup_{t} [u(\cdot, t)]_{C^{0,1}(B_{R/2}(x_0))} \le C M_R R^{-1}$$
• 当 $1 < p < 2$ 时：
  $$\sup_{t} [u(\cdot, t)]_{C^{0,1}(B_{R/2}(x_0))} \le C M_R^{1 + \frac{2-p}{sp}} R^{-1}$$

其中 $M_R$ 包含解的 $L^\infty$ 范数和尾部范数，$C$ 仅依赖于 $N, s, p, \lambda, \Lambda$。

条件 $sp > p-1$ 的尖锐性：
该条件对于 Lipschitz 正则性是必要的（在 $p \ge 2$ 时由 [BLS18] 的示例表明）。

---

4. 创新点与贡献 (Novelty & Contributions)

1. 处理 $1 < p < 2$ 的奇异情形：

   • 此前关于抛物型分数阶 $p$-Laplace 方程的 Lipschitz 正则性结果（如 [JSU26]）仅针对 $p \ge 2$。
   • 本文通过引入特殊的测试函数类和截断策略，成功克服了 $1 < p < 2$ 时算子在光滑函数上定义困难的问题，无需引入复杂的粘性解框架即可直接处理弱解。

2. 允许不连续核函数：

   • 结果适用于满足标准椭圆性界（(2) 式）的任意对称平移不变核，包括不连续的核。
   • 这推广了以往仅针对 $K(z) = |z|^{-(N+sp)}$ 的结果，使其与椭圆情形下的已知结果（如 [ROS16, FRRO17]）一致。

3. 更弱的尾部假设：

   • 仅要求 $u \in L^\infty_{\text{loc}}(I; L^{p-1}_{sp}(\mathbb{R}^N))$（尾部在时间上一致有界）。
   • 相比 [JSU26] 要求的 $u \in C_{\text{loc}}(I; L^{p-1}_{sp})$（尾部在时间上连续），这是一个显著减弱，且避免了线性情形下常用的热核估计和 Liouville 定理。

4. 证明路线的革新：

   • 在 $p \ge 2$ 的线性情形下，通常使用热核估计、Liouville 定理和爆破论证（Blow-up arguments）。
   • 本文提供了一条完全不同的路径：完全基于 Ishii-Lions 方法和接触引理，避免了上述传统工具，展示了该方法在非局部非线性问题中的强大适用性。

5. 参数化 Ishii-Lions 泛函：

   • 避开了传统的 Jensen-Ishii 引理（用于生成极限喷流），而是直接使用参数化的泛函族，简化了技术细节。

---

5. 扩展与意义 (Extensions & Significance)

• 扩展性： 该方法可推广至：
  • 带有 $L^\infty$ 源项的方程。
  • 包含低阶项（梯度依赖项）的方程。
  • 分数阶 $(p, q)$-Laplace 方程和非局部双相算子（Double-phase operators）。
• 理论意义：
  • 填补了抛物型分数阶 $p$-Laplace 方程在 $sp > p-1$ 条件下 Lipschitz 正则性的理论空白。
  • 证明了 Ishii-Lions 方法在处理非局部、非线性、不连续核的抛物方程中的普适性。
  • 为后续研究更高阶正则性（如 $C^{1,\alpha}$）奠定了基础（文中提到该方法可进一步推广到 $C^{1,\alpha}$）。
• 实际应用： 此类方程出现在非局部扩散、金融数学（跳跃过程）及材料科学中。Lipschitz 正则性是研究解的唯一性、稳定性及数值收敛性的关键前提。

总结：
Harsh Prasad 的这篇论文通过巧妙的截断技术和参数化变分法，在极弱的假设下（不连续核、弱尾部条件、全 $p$ 范围）证明了抛物型分数阶 $p$-Laplace 方程解的空间 Lipschitz 正则性。这不仅解决了长期存在的开放问题，还展示了 Ishii-Lions 方法在非局部 PDE 领域的巨大潜力。