Global minimizers of the two-phase Bernoulli problem with the $p$-Laplace operator

技术摘要：具有 p-Laplace 算子的两相 Bernoulli 问题全局极小值问题

问题陈述
本文研究了涉及 $p$-Laplace 算子（$1 < p < \infty$）的两相 Bernoulli 泛函的自由边界正则性问题。该泛函定义为：
$$J_{TP}(v, D) := \int_D |\nabla v|^p + (p-1)\lambda_+^p \chi_{\{v>0\}} + (p-1)\lambda_-^p \chi_{\{v<0\}} \, dx$$
其中 $\lambda_+, \lambda_- > 0$。作者专注于对 Lipschitz 全局极小值（在 $D = \mathbb{R}^n$ 中的解）进行分类，并建立自由边界 $F(u) = (\partial \Omega_u^+ \cup \partial \Omega_u^-) \cap D$ 的正则性。

一个核心难点在于解决当 $p \neq 2$ 时 $p$-Laplace 算子 $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ 的非一致椭圆性。与 $p=2$ 的情况不同（在 $p=2$ 时，单调性公式（如 Alt-Caffarelli-Friedman 公式）有助于正则性证明），一般的 $p$ 情况缺乏这些工具。本文专门针对内部两相点集 $\Gamma_{TP}^{int}$（即零集密度为零的点）非空的场景。

方法论
作者结合了吹胀分析（blow-up analysis）、紧致性论证以及一种改进的“平坦度提升”（improvement of flatness）方案。该方法通过以下关键步骤进行：

1. 全局解的分类： 作者首先建立了一个 Liouville 型定理。他们证明，任何具有非空内部两相点的 Lipschitz 全局粘性解必须是一个“两平面解”，形式为 $u(x) = \alpha(x \cdot \nu)_+ - \beta(x \cdot \nu)_-$。这种分类依赖于分析缩放解（吹胀解）的行为，并利用梯度在自由边界附近的非退化性。

2. 二次平坦度提升： 一个核心技术贡献是建立了二次平坦度提升（命题 2.1）。虽然之前的研究（例如 [8]）利用的是线性平坦度提升，但本文证明了如果一个解足够接近一个两平面解，它实际上会接近一个二次多项式逼近。

   • 这是通过构造关于二次多项式的 $\epsilon$-扰动的严格次解和超解来实现的。
   • 该证明涉及 Harnack 型不等式（引理 2.4）以及对自由边界附近线性算子 $L_p(u) = \Delta u + (p-2)\partial_{nn}u$ 的仔细分析。
   • 作者通过控制误差项来克服二次多项式对于 $p \neq 2$ 时非 $p$-调和的问题，而控制是通过平坦度参数 $\epsilon$ 的微小性实现的。

3. 非线性二分性： 本文引入了对于接近平坦配置的解的非线性二分性（命题 3.1）。它断言，要么原点处的梯度显著低于最大斜率，要么解表现出二次平坦度提升。该二分性是通过矛盾法证明的，利用了线性传输问题的全局解的分类。

4. 界限传播： 为了证明分类定理，作者传播了法向导数 $\partial_n u$ 的下界。通过结合平坦度提升与解的非退化性，他们表明如果解在小尺度下是平坦的，那么它在所有更大尺度下也保持平截，从而迫使解成为全局两平面解。

主要结果

• 定理 1.1（分类）： 令 $u$ 为 $\mathbb{R}^n$ 中两相问题的 Lipschitz 全局粘性解。若内部两相点集 $\Gamma_{TP}^{int}(u)$ 非空，则 $u$ 是一个两平面解：
  $$u(x) = \alpha (x \cdot \nu)_+ - \beta (x \cdot \nu)_-$$
  其中 $\nu \in S^{n-1}$，$\alpha \ge \lambda_+$, $\beta \ge \lambda_-$, 且 $\alpha^p - \beta^p = \lambda_+^p - \lambda_-^p$。

• 定理 1.2（正则点正则性）： 令 $u$ 为区域 $D$ 内 $J_{TP}$ 的极小值。对于每一个“正则”两相点 $x_0$（由条件 $\liminf_{r\to 0} \frac{|B_r(x_0) \cap \{u=0\}|}{|B_r(x_0)|} = 0$ 定义），存在一个邻域，在该邻域内自由边界分量 $\partial \Omega_u^\pm$ 是 $C^{1,\eta}$ 图形，其中 $\eta \in (0, 1/3)$。

意义与主张
本文声称将两相 Bernoulli 问题的正则性理论从线性情况（$p=2$）扩展到一般的非线性情况（$1 < p < \infty$）。

• 克服缺乏单调性的问题： 作者指出，由于 $p$-Laplacian 的退化性质以及单调性公式的缺失，这种推广是非常非平凡的。他们的工作提供了一种无需这些经典工具即可运作的机制（二次平坦度提升）。
• 内部点与分支点： 结果确认了在内部两相点附近，自由边界是 $C^{1,\eta}$ 正则的。作者明确指出，在分支点（零集具有正密度的点）处的情况对于 $p \neq 2$ 仍是一个开放问题。他们指出，虽然当 $p=2$ 时所有的两相点都是正则的，但目前尚不清楚在非线性设定下是否每个分支点都满足正则性条件 (4)。
• 方法论的进步： 本文强调了使用比先前研究 [8] 中使用的线性平坦度提升“更强的二次平坦度提升”的必要性。这种二次方案被呈现为处理缺乏经典单调性公式的自由边界问题的关键工具，这与近期障碍问题中的分层定理相呼应。

总之，本文确立了存在内部两相点会迫使全局解成为简单的两平面配置，进而意味着在这些点附近的自由边界具有 $C^{1,\eta}$ 正则性，从而完成了广义 $p$-Laplace 设定下“正则”部分自由边界的正则性理论。