A Short Proof of Optimal Regularity for minimizers of the Alt-Phillips Problem

技术摘要：Alt-Phillips 问题极小值最优正则性的简短证明

问题陈述
本文研究了 Alt-Phillips 自由边界问题的极小值的正则性。该问题由如下泛函定义：
$$J^\gamma(u, B_1) := \int_{B_1} \left( |\nabla u|^2 + u_+^\gamma \right) dx$$
其中 $\gamma \in (0, 1)$，$B_1 \subset \mathbb{R}^d$ 为单位球，$u \in H^1(B_1)$ 具有给定的非负边界数据。虽然在现有文献（如 [AP86]）中已经确立了最优正则性 $u \in C^{1, \beta-1}_{loc}(B_1)$（其中 $\beta = \frac{2}{2-\gamma} \in (1, 2)$），但本研究旨在为 $\gamma \in (0, 1)$ 的特定范围提供一个自洽、具有教学意义且简洁的证明。

方法论
证明依赖于一种改编自 [DSS20]（最初为几乎极小值开发）的二分法（dichotomy argument）。核心策略是通过分析极小值在不同尺度下的 $L^2$ 平均值，来建立两种截然不同的行为：

1. 衰减（Decay）： 如果平均值足够大，则 $\beta$-重标度后的平均值会按 $1/2$ 的因子衰减。
2. 常数逼近（Approximation by Constants）： 或者，极小值在较小的球内接近一个正常数。

该方法通过三个主要阶段进行：

• 初步 Hölder 正则性： 作者首先通过 Campanato 方法建立了具有二次增长势能的扰动狄利克雷能量极小值的 $C^{0, \alpha}$ 正则性。这是通过利用一个界定极小值相对于调和替换函数振荡的引理来实现的。
• 二分法（命题 3.2）： 对于具有较大 $L^2$ 平均值 $a$ 的极小值，证明了要么其平均值在重标度后显著衰减，要么该函数一致地接近一个正常数 $m$（其中 $m \sim a$）。
• 迭代缩放与 Harnack 不等式： 通过迭代二分法，作者推导出了来自自由边界点（即 $u=0$ 处）的 $\beta$-增长率，以及在正值集（即 $u>0$ 处）内的 Harnack 型不等式。具体而言，如果 $u(0) > 0$，则该函数在半径正比于 $u(0)^{1/\beta}$ 的球内保持与 $u(0)$ 相当。

关键结果
论文确立了以下主要定理：

• 定理 3.1： 对于 $\gamma \in (0, 1)$，Alt-Phillips 泛函的极小值 $u$ 属于 $C^{1, \beta-1}_{loc}(B_1)$。此外，其范数受边界数据的 $L^2$ 范数控制：
  $$\|u\|_{C^{1, \beta-1}(B_{1/2})} \leq C \left(1 + \|u\|_{L^2(B_1)}\right)$$

证明综合了两个组成部分：

1. $\beta$-增长： 在自由边界附近，极小值的增长率为 $r^\beta$。
2. 内部正则性： 在正值集 $\{u > 0\}$ 内部，极小值满足椭圆方程 $\Delta u = \gamma u^{\gamma-1}$。利用从二分法中导出的 Harnack 不等式，作者应用标准的内部椭圆估计，证明其梯度具有 $\beta-1$ 次的 Hölder 连续性。

意义与主张
作者明确将本研究的贡献定位为对已知结果的一个自洽且具有教学意义的证明。本文并不声称发现了新的正则性结果，也不声称将理论扩展到了新的 $\gamma$ 范畴（除了专门针对的 $\gamma \in (0, 1)$ 情况）。相反，其意义在于：

• 简化： 与现有文献相比，为最优正则性提供了一个更短、更易理解的推导过程。
• 技术改编： 成功地将用于几乎极小值的 [DSS20] 中的二分法技术适配到特定的 Alt-Phillips 泛函语境中。
• 清晰性： 提供了一种统一的方法，将来自自由边界的增长率与正值集内的 Harnack 型估计相结合，从而得出最终的 $C^{1, \beta-1}$ 正则性。

该工作承认了相关的进展，包括障碍问题（$\gamma=1$）[Caf98, PS05]、单相 Bernoulli 问题（$\gamma=0$）[CS05, Vel23] 以及一般的 Alt-Phillips 泛函（$\gamma \in (0, 2)$）[AP86]，并将本文定位为针对次二次情形 $\gamma \in (0, 1)$ 的一次聚焦性澄清。