Partial regularity of the gradient for subsolutions

这是一份关于论文《Subsolutions 梯度的部分正则性》（Partial Regularity of the Gradient for Subsolutions）的详细技术总结，由 A. Hakobyan, M. Poghosyan 和 Henrik Shahgholian 撰写。

1. 研究背景与问题 (Problem Statement)

核心问题：
文章旨在探究在何种几何条件下，有界次调和函数（subharmonic function）$u$ 的梯度 $\nabla u$ 是上半连续（upper semi-continuous, USC）的。
具体而言，考虑单位球 $B_1 \subset \mathbb{R}^n$ 中的有界次调和函数 $u$（即 $\Delta u \ge 0$ 在弱意义下成立）。作者试图寻找关于 $u$ 水平集（level sets）的最小几何条件，使得 $\nabla u$ 在 $B_{1/2}$ 中满足上半连续性。

动机与难点：

• 上半连续 vs 下半连续： 作者指出，对于次调和函数，梯度的行为在超水平集（super-level sets）一侧更为关键。如果水平面是 $C^1$ 的，次调和性意味着从超水平集一侧看到的法向导数大于从亚水平集一侧看到的导数。因此，定义梯度的上半连续包络（upper semi-continuous envelope）比下半连续更有意义，特别是在处理非凸区域或具有“锯齿”边界的区域时，梯度可能在某些方向发散。
• 几何条件的必要性： 文献中已有反例（如 Alt-Caffarelli 在锥体中的例子）表明，若缺乏一侧的平滑性假设，梯度在边界处可能不连续甚至具有不同的极限值。因此，必须对水平集的一侧施加较强的几何假设。
• 现有局限： 以往关于边界梯度可微性的结果通常基于一侧平滑的假设，但本文试图在更一般的算子和几何条件下推广这一性质。

2. 主要假设与方法论 (Methodology & Assumptions)

几何假设（核心条件）：
对于定义域内的每一点 $y$，其超水平集 $D^+_y = \{x : u(x) > u(y)\}$ 必须在 $y$ 点处能被一个外部的连通区域 $K_y$ 接触。该区域 $K_y$ 的边界 $\partial K_y$ 在 $y$ 的邻域内必须是一致 $C^{1, \text{Dini}}$ 的。

• 这意味着边界不仅光滑，而且其法向量的连续性满足 Dini 条件（模数 $\omega$ 满足 $\int_0^1 \frac{\omega(r)}{r} dr < \infty$）。
• 这一条件保证了可以通过障碍函数（barrier argument）证明 $u$ 是一致 Lipschitz 连续的。

核心工具：ACF 单调性公式
文章利用并推广了 Alt-Caffarelli-Friedman (ACF) 单调性公式。

• 定义加权积分均值：
  $$I(r, y, u) := \frac{1}{r^2} \int_{B_r(y)} \frac{|\nabla (u(x) - u(y))_+|^2}{|x-y|^{n-2}} dx$$
• 利用 ACF 公式，证明在特定几何条件下，该积分在 $r \to 0$ 时具有单调性，从而存在极限。
• 通过引入一个辅助的调和函数 $G_y$（在接触区域 $K_y$ 内定义），构建比值极限来定义梯度的模长：
  $$|\nabla u(y)|^2 := \frac{1}{c_0} \lim_{r \to 0} I(r, y, u_y)$$
  其中 $u_y = \max(u - u(y), 0)$。

技术路线：

1. Lipschitz 正则性： 利用外部 $C^{1, \text{Dini}}$ 接触条件和障碍函数，证明 $u$ 是一致 Lipschitz 连续的。
2. 梯度定义： 对于非 $C^1$ 点，利用上述积分极限唯一地定义 $|\nabla u(y)|$。
3. 上半连续性证明：
   • 假设 $y \to y_0$，利用单调性公式 $I(r, y, u_y, G_y)$ 的单调递增性质。
   • 通过比较 $I(r_\epsilon, y, u_y)$ 与 $I(r_\epsilon, y_0, u_{y_0})$ 的差值（利用 Lipschitz 性质和积分区域的微小变化），证明当 $y \to y_0$ 时，$|\nabla u(y)|$ 的上极限不超过 $|\nabla u(y_0)|$。
   • 通过反证法和缩放（blow-up）论证，结合极限方程（常系数算子）的性质，排除梯度不连续的可能性。

3. 主要结果 (Key Results)

定理 2.1 (主定理)：
设 $u$ 是 $B_1$ 中的有界函数，满足 $\Delta u \ge -1$。如果对于 $B_{3/4}$ 中的所有点，其超水平集均满足上述外部 $C^{1, \text{Dini}}$ 接触条件，则 $\nabla u$ 在 $B_{1/2}$ 中是上半连续的。

推广结果 (Corollary 2.2)：
结果被推广到更一般的散度型算子（divergence type operators）和抛物型算子（热算子）。

• 考虑算子 $F[u] = \inf_\alpha (\text{div}(A_\alpha \nabla u) + b_\alpha \cdot \nabla u + c_\alpha u - d_\alpha \partial_t u)$。
• 若 $F[u] \ge -1$ 且时间导数有下界，且空间水平集满足外部 $C^{1, \text{Dini}}$ 接触条件，则对于固定的时间 $s$，空间梯度 $\nabla u(x, s)$ 是上半连续的。

定理 3.1 (Dirichlet 问题应用)：
将上述结论应用于 Dirichlet 边值问题。

• 设 $\Omega$ 是 $\mathbb{R}^{n+1}$ 中的区域，$u$ 是算子 $L u = f$ 的解，具有 Dirichlet 边界数据 $g$。
• 若边界 $\partial \Omega$ 在每点处均满足外部 $C^{1, \text{Dini}}$ 接触条件，且解 $u$ 和边界数据 $g$ 满足一定的正则性假设，则对于固定的 $t$，解的梯度 $\nabla u(x, t)$ 在 $\Omega \cap Q_{1/2}$ 中关于 $x$ 变量是上半连续的。

4. 关键贡献 (Key Contributions)

1. 梯度的新定义与正则性： 在 $u$ 不是 $C^1$ 的点，通过 ACF 单调性公式的极限过程，给出了梯度模长的严格定义，并证明了该定义下的梯度具有上半连续性。
2. 几何条件的精确刻画： 明确了“外部 $C^{1, \text{Dini}}$ 接触”是保证梯度上半连续性的充分条件。这一条件比单纯的凸性更弱，但比一般的 Lipschitz 边界更强，能够处理具有“锯齿”但一侧平滑的复杂几何形状。
3. 广泛适用性： 该方法不仅适用于拉普拉斯算子，还成功推广到了：
   • 泊松方程 ($\Delta u \ge -1$)。
   • 热方程及抛物型算子。
   • 具有变系数的散度型椭圆/抛物算子。
   • Dirichlet 边值问题的边界行为。
4. 对“锯齿”边界的处理： 文章通过反例和理论分析指出，如果边界在某一侧不满足平滑条件（如存在向内凹的角），梯度可能不连续。本文的几何条件正是为了排除这种病理情况，确保梯度的良好行为。

5. 意义与影响 (Significance)

• 理论深度： 该工作深化了对次调和函数及非线性 PDE 解的梯度正则性的理解，特别是在非光滑几何背景下的行为。它连接了自由边界问题（Free Boundary Problems）中的经典技术与现代正则性理论。
• 方法论创新： 将 ACF 单调性公式从自由边界问题的存在性/正则性证明，创造性地应用于梯度本身的连续性分析，提供了一种定义和估计非光滑点梯度的新范式。
• 应用价值： 结果直接适用于涉及自由边界或复杂几何边界的物理模型（如电容势、流体流动、热传导等），为这些模型中梯度场的数值模拟和理论分析提供了坚实的正则性保证。
• 解决开放问题： 文章回应了关于梯度在边界处行为的长期疑问，特别是针对非凸区域和一般算子情形，提供了目前已知最广泛的上半连续性结果。

总结：
这篇论文通过引入严格的几何条件（外部 $C^{1, \text{Dini}}$ 接触）和巧妙的分析工具（ACF 单调性公式），证明了在相当广泛的算子和几何背景下，次调和函数（及 Dirichlet 问题解）的梯度具有上半连续性。这一结果不仅统一了多个领域的已知结论，还为处理非光滑边界上的梯度行为提供了新的理论框架。