Regularity of Lipschitz free boundaries for weak solutions of Alt-Caffarelli type problems

技术摘要：Alt-Caffarelli 型问题弱解的 Lipschitz 自由边界正则性

问题陈述
本文研究了广义单相 Alt-Caffarelli 问题（也称为单相 Bernoulli 问题）中自由边界的正则性。该问题被表述为在有界区域 $\Omega \subset \mathbb{R}^n$ 中寻找一个非负函数 $u$，使得：
$$\begin{cases} -\Delta u = f & \text{在 } \Omega \cap B_1 \text{ 内} \\ u = 0 & \text{在 } \partial\Omega \cap B_1 \text{ 上} \\ \partial_\nu u = Q & \text{在 } \partial\Omega \cap B_1 \text{ 上} \end{cases}$$
其中 $f \geq 0$ 和 $Q > 0$ 是光滑函数，$\nu$ 为内法向量。核心问题在于：假设区域 $\Omega$（以及由此产生的自由边界 $\partial\Omega$）是 Lipschitz 的，是否足以保证在 $f$ 和 $Q$ 光滑的情况下，自由边界实际上是光滑的（$C^\infty$）。

虽然这一正则性结果此前已在粘性解（viscosity solutions）和能量极小值（energy minimizers）的情形下得到建立（见 [AC81] 及其后续工作），但在分布意义下的更广泛的“弱解”（weak solutions）类别的中仍是一个开放问题。其难点在于，标准的吹胀程序（blow-up procedure）——一种自由边界正则性的常用工具——在没有额外的密度假设时，通常无法保持弱解的性质。

方法论
作者采用多步策略来弥合弱解与已知正则性理论之间的差距：

1. 定义与基本性质： 作者定义了满足涉及还原边界 $\partial_{red}\{u>0\}$ 分布方程的 $u \in H^1_{loc}$ 弱解。他们证明了此类解是局部 Lipschitz 连续的，并满足非退化条件。
2. 与“平坦性改进”的联系： 关键的一步是验证作者定义的弱解是否满足应用 [LW17]（Lewis 和 Vogel）中“平坦性改进”定理所需的更严格的假设。这需要证明针对其特定类别的解，在靠近自由边界处存在渐近展开和梯度估计。
3. 吹胀分析与密度： 作者分析了吹胀序列 $u_r(x) = r^{-1}u(x_0 + rx)$。他们证明，如果自由边界是 Lipschitz 的，则集合 $\{u=0\}$ 在边界处具有正密度。这一密度条件对于确保吹胀极限 $u_0$ 仍然是弱解（具体而言，是关于常数 $Q$ 的齐次问题解）至关重要。
4. 平稳性与齐次性： 利用弱解是平稳解（stationary solutions，即消失的一阶内变分）这一事实，作者应用了 Weiss 型单调性公式。这证明了吹胀极限是 1-齐次的。
5. 吹胀极限的分类： 正则性证明的核心在于对具有 Lipschitz 自由边界的 1-齐次弱解（称为“Lipschitz 锥”）进行分类。作者通过对维度的归纳证明，所有此类 Lipschitz 锥都是平凡的（即自由边界是一个超平面）。
6. 通过粘性解的替代路径： 作为第二种方法，作者展示了在 Lipschitz 假设下（这意味着正密度），弱解也是粘性解。这使得他们可以调用现有的粘性解正则性理论（例如 [DS11]）来得出光滑性结论。

主要贡献与结果

• 定理 1.2（主要结果）： 若 $\Omega$ 是一个有界 Lipschitz 区域，且 $u$ 是广义 Alt-Caffarelli 问题的弱解，其中 $f \geq 0$ 且 $Q > 0$ 为光滑函数，则自由边界 $\partial\Omega \cap B_1$ 在局部是一个 $C^\infty$ 曲面。
  • 最优性： 作者指出 Lipschitz 假设是最佳的。引用 [LV91; LV01]，他们指出，如果区域仅为 $C^{1-\epsilon}$，即使对于弱解，自由边界也可能不是光滑的。
• 定理 1.3（Serrin 问题）： 本文为 Lipschitz 区域下的 Serrin 超定问题提供了另一种证明。它确立了：若有界 Lipschitz 区域 $\Omega$ 存在一个弱解满足 $-\Delta u = 1$（在 $\Omega$ 内）、$u=0$（在 $\partial\Omega$ 上）且 $\partial_\nu u = c$（在 $\partial\Omega$ 上），则 $\Omega$ 必为球体。
• 定理 1.4（Poisson 核特征化）： 作者通过 Poisson 核刻画了 Lipschitz 区域的正则性。如果有界 Lipschitz 区域 $\Omega$ 的 Poisson 核 $P_x$ 对于单个点 $x \in \Omega$ 是光滑的（$C^\infty$），则边界 $\partial\Omega$ 是 $C^\infty$ 的。这一结果通过直接应用于弱解而非要求粘性解假设，澄清了 [Caf87] 的工作。

意义与主张
本文声称解决了关于 Alt-Caffarelli 型问题弱解自由边界正则性的一个存在了 27 年的问题。在此之前，正则性理论主要局限于粘性解或能量极小值。作者强调，弱解可能会表现出更微妙的行为（例如，如果没有密度条件，吹胀极限可能无法成为弱解），这使得证明过程并非平凡。

通过证明 Lipschitz 自由边界的弱解是光滑的，本文：

1. 将弱解的正则性理论与粘性解及极小值在 Lipschitz 区域背景下的理论进行了统一。
2. 提供了一条解决 Lipschitz 区域下 Serrin 问题的直接路径，而不完全依赖于 [FZ26] 中使用的几何测度论技术，而是利用了 PDE 正则性理论。
3. 阐明了在弱解语境下，Poisson 核的光滑度与区域几何形状之间的关系。

作者强调，其结果依赖于弱解定义的特定结构以及接触集的正密度，而后者由 Lipschitz 性质的区域所保证。他们并不声称这些结果可以推广到具有更低正则性（如 $C^{1-\epsilon}$）的区域，因为后者存在反例。