Lipschitz regularity of solutions to two-phase $p$-Laplacian free boundary problems with right hand side

这是一份关于论文《LIPSCHITZ REGULARITY OF SOLUTIONS TO TWO-PHASE p-LAPLACIAN FREE BOUNDARY PROBLEMS WITH RIGHT HAND SIDE》（带非零右端项的两相 $p$-Laplace 自由边界问题解的 Lipschitz 正则性）的详细技术总结。

1. 研究问题 (Problem)

本文主要研究由 $p$-Laplace 算子驱动的两相自由边界问题（Two-phase free boundary problem）解的正则性。具体模型如下：

$$\begin{cases} \Delta_p u = f, & \text{in } \Omega^+(u) \cup \Omega^-(u), \\ u^+_\nu = G(u^-_\nu, x), & \text{on } F(u) := \partial\Omega^+(u) \cap \Omega, \end{cases}$$

其中：

• $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ 是 $p$-Laplace 算子，$1 < p < \infty$。
• $\Omega^+(u) = \{x \in \Omega : u(x) > 0\}$，$\Omega^-(u) = \{x \in \Omega : u(x) \le 0\}^\circ$。
• $F(u)$ 是自由边界。
• $u^+_\nu$ 和 $u^-_\nu$ 分别表示在自由边界上指向 $\Omega^+$ 和 $\Omega^-$ 内部的法向导数。
• $f \in L^\infty(\Omega)$ 是非零右端项（非齐次项）。
• $G(t, x)$ 是描述自由边界条件的函数，满足特定的增长性和正则性假设。

核心挑战：

• 算子性质： $p$-Laplace 算子在 $1 < p < 2$ 时是奇异的（singular），在 $p > 2$ 时是退化的（degenerate）。
• 非齐次性： 右端项 $f \not\equiv 0$ 使得问题更加复杂，因为不能忽略 $|\nabla u|^{p-2}$ 因子带来的非线性行为。
• 一般性： 研究针对的是粘性解（viscosity solutions），而非光滑解，这扩大了适用范围。
• 最优正则性： 目标是证明解具有局部 Lipschitz 连续性，这是该问题的最优正则性。

2. 方法论 (Methodology)

作者采用了一种基于“平坦性蕴含正则性”（Flatness implies regularity）的策略，主要受到 De Silva (DS) 等人关于一致椭圆全非线性算子工作的启发，并针对 $p$-Laplace 算子的特殊性质进行了修正。

主要技术路线包括：

1. 粘性解框架： 严格定义了两相问题的粘性解概念，并证明了其与弱解在特定条件下的等价性。
2. Hölder 连续性证明 (Theorem 1.2)：
   • 首先证明在更一般的 $G$ 条件下（仅需满足线性增长上下界），解具有局部 Hölder 连续性 ($C^{0,\alpha}$)。
   • 利用弱 Harnack 不等式和迭代缩放（rescaling）论证，结合自由边界条件的控制，证明解的振幅随半径衰减。
3. 平坦自由边界的 $C^{1,\gamma}$ 正则性 (Section 3)：
   • 这是核心工具。作者回顾并改进了其之前的工作 [FL3]，证明了如果解在某个尺度下足够“平坦”（即接近于一维的两平面解 $U_\beta(t) = \alpha t^+ - \beta t^-$），则自由边界是 $C^{1,\gamma}$ 的，且解在两侧也是 $C^{1,\gamma}$ 的。
   • 针对三种特殊情况进行了改进：
     • $f \equiv 0$ (齐次情况)。
     • $p = 2$ (Laplace 算子情况)。
     • $G(t, x) \equiv G(t)$ (仅依赖梯度的情况)。
   • 引入了新的假设条件（如 $H3'$ 和 $H3''$）来覆盖更广泛的 $G$ 函数类。
4. Lipschitz 正则性的证明 (Theorem 1.1)：
   • 大梯度区域的连续性： 核心直觉是，在大梯度区域，自由边界条件 $u^+_\nu = G(u^-_\nu, x)$ 实际上转化为梯度的连续性条件（即无跳跃）。
   • 反证法与紧性论证： 假设解不是 Lipschitz 的，构造一个缩放序列 $u_k$。利用 Theorem 1.2 得到的 Hölder 连续性，证明缩放后的序列收敛到一个极限解 $u^*$。
   • 极限方程： 利用假设 (P2) 和 (P4)，证明缩放后的边界条件函数 $\tilde{G}_k$ 收敛到恒等函数 $G^*(t)=t$，且右端项趋于 0。因此极限解 $u^*$ 满足 $\Delta_p u^* = 0$。
   • 线性逼近与平坦性： 利用 $p$-Laplace 算子的内部 $C^{1,\alpha}$ 估计，极限解 $u^*$ 在局部被线性函数逼近。如果斜率足够大，则原问题中的解在局部足够“平坦”，从而可以应用 Section 3 中的 $C^{1,\gamma}$ 正则性定理。
   • 矛盾导出： $C^{1,\gamma}$ 正则性意味着解是 Lipschitz 的，这与反证法的假设（解无界或非 Lipschitz）矛盾，从而证明原解是 Lipschitz 连续的。

3. 关键贡献 (Key Contributions)

1. 非齐次情况下的最优正则性： 首次证明了带有非零右端项 ($f \not\equiv 0$) 的两相 $p$-Laplace 自由边界问题的粘性解具有局部 Lipschitz 连续性。这是该问题的最优正则性。
2. 推广到一般 $p$ 值： 结果适用于所有 $1 < p < \infty$，包括奇异 ($p<2$) 和退化 ($p>2$) 情形。
3. 处理非零右端项的困难： 克服了 $f \not\equiv 0$ 带来的技术障碍。在 $p \neq 2$ 且 $f \neq 0$ 时，算子的非线性结构与右端项相互作用，使得传统的单调性公式（如 $p=2$ 时的 Alt-Caffarelli-Friedman 公式）不再适用或未知。
4. 粘性解的广泛适用性： 结果仅依赖于粘性解的定义，不要求解具有先验的光滑性，这使得结果在物理应用和数值分析中具有更广泛的适用性。
5. 齐次情况的新结果： 即使当 $f \equiv 0$ 时，本文关于 Lipschitz 连续性的结果也是新的（除了针对 $p$-Bernoulli 泛函极小值的已知结果外）。
6. 对 $G$ 函数类的放宽： 提出了更宽松的假设条件（如 $G(t,x)$ 渐近于 $t$，且 $t^{-1}G(t)$ 单调递减等），覆盖了更多实际应用中的边界条件（例如 $G(t, x) = (g(x) + t^p)^{1/p}$）。

4. 主要结果 (Main Results)

• 定理 1.1 (最优正则性)： 设 $u$ 是问题 (1.1) 在 $B_1$ 中的粘性解。在满足假设 (1.2) (关于 $f$) 和 (P1)-(P3) (关于 $G$) 的条件下，若 $f \not\equiv 0$ 且 $p \neq 2$，还需假设 (P4)。则 $u$ 在 $B_{1/2}$ 中是 Lipschitz 连续的，且满足：
  $$\|\nabla u\|_{L^\infty(B_{1/2})} \le C(\|u\|_{L^\infty(B_{3/4})} + 1)$$
  其中常数 $C$ 依赖于 $n, p, \|f\|_\infty$ 和 $G$。

• 定理 1.2 (局部 Hölder 连续性)： 在更一般的 $G$ 假设下（仅需线性增长上下界），解 $u$ 属于 $C^{0,\alpha}(B_{1/2})$。这是证明 Lipschitz 正则性的关键中间步骤。

• 定理 3.1, 3.5, 3.7, 3.9 (平坦性蕴含 $C^{1,\gamma}$)： 证明了如果解在某个尺度下足够接近一维两平面解，则自由边界是 $C^{1,\gamma}$ 的，且解在两侧也是 $C^{1,\gamma}$ 的。这些定理是证明主定理的核心工具，并针对 $f=0, p=2, G(t,x)=G(t)$ 等特殊情况进行了优化。

5. 意义 (Significance)

• 理论突破： 填补了 $p$-Laplace 算子（特别是 $p \neq 2$）在非齐次两相自由边界问题正则性理论中的空白。此前，对于 $p \neq 2$ 的情况，缺乏类似于 $p=2$ 时的单调性公式，使得获得最优正则性非常困难。
• 方法论创新： 成功地将 De Silva 等人针对一致椭圆算子发展的“平坦性”方法，推广并适应到了具有奇异性/退化性的 $p$-Laplace 算子以及非齐次项存在的情形。这为处理其他非线性退化椭圆算子的自由边界问题提供了新的范式。
• 应用价值： 由于结果适用于粘性解且涵盖了非零右端项，该理论可以直接应用于流体力学（如多相流）、材料科学（如相变）以及图像处理等领域中涉及 $p$-Laplace 算子的模型。
• 统一性： 论文统一处理了 $p=2$ (线性) 和 $p \neq 2$ (非线性) 的情况，并给出了统一的证明框架，尽管在 $p \neq 2$ 时需要额外的假设 (P4)。

总之，这篇文章通过精细的缩放分析、紧性论证以及对 $p$-Laplace 算子特性的深刻理解，解决了长期存在的两相自由边界问题最优正则性难题，是偏微分方程自由边界领域的重要进展。