Rectifiability of free boundaries in singular diffusion problems

技术摘要：奇异扩散问题中自由边界的可定向性

问题陈述
本研究探讨了具有奇异反应项的退化扩散泛函的极小值函数 $u$ 的自由边界 $\partial\{u > 0\}$ 的正则性。该泛函定义为：
$$J_\Omega(v) := \int_\Omega \left( \frac{|Dv|^p}{p} + v^\gamma \right) dx$$
其中 $\Omega \subset \mathbb{R}^n$ 是一个有界区域，$p \ge 2$，且 $\gamma \in (0, 1)$。极小值 $u$ 在包含固定边界数据的 $W^{1,p}(\Omega)$ 中的凸集 $K$ 中求解。

相关的 Euler-Lagrange 方程是带有奇异源项的 $p$-Laplacian 方程：
$$\Delta_p u = \gamma u^{\gamma-1} \quad \text{在 } \{u > 0\} \cap \Omega \text{ 中}.$$
由于指数 $\gamma < 1$，右侧项在 $u \to 0^+$ 时会趋于无穷大，这使得极小值在自由边界附近的行为具有高度的非平凡性。虽然线性情况（$p=2$）已被 Phillips 证实具有可定向自由边界，但对于非线性情况（$p > 2$），自由边界的可定向性仍是一个开放问题。

方法论与关键要素
证明主要结果依赖于两个源自前人工作并扩展到非线性设置中的主要分析组件：

1. 非线性变换的可积性：
   作者确立了极小值 $u^{\frac{p-\gamma}{p}}$ 的 $p$-Laplacian 的可积性。这一性质源于一个逐点梯度估计（来自文献 [3] 的定理 2.1），该估计将 $|Du|^p$ 限制在 $u^\gamma$ 之内。具体而言，引理 3.1 证明了 $\Delta_p(u^{\frac{p-\gamma}{p}}) \in L^1(\{u > 0\} \cap B_r)$。这将在 $p=2$ 时已知的结论扩展到了 $p \ge 2$ 的退化情形。

2. 零集的 Hausdorff 维数估计：
   本文研究了零集 $\{u=0\}$ 勒贝格测度为零的部分的大小。引理 4.1 表明，如果 $|\{u=0\} \cap B_{3r}| = 0$，则较小球内的零集的 Hausdorff 维数严格小于 $n-1$。具体而言，$\mathcal{H}^{n - 2 - \frac{\gamma}{p-\gamma}}(\{u=0\} \cap B_r) = 0$。该估计是通过分析 $u^{\gamma-2}$ 的可积性并利用极小值的非退化性获得的。

主要结果
核心定理（定理 5.1）断言，对于泛函 (1.1) 的任何极小值 $u$，其自由边界是 $(n-1)$-可定向的。更准确地说，本文证明了自由边界在 $\mathcal{H}^{n-1}$ 几乎处处都有测度意义上的外法线。

通过证明“不规则”部分的自由边界其 $(n-1)$ 维 Hausdorff 测度为零，该结果得到了形式化阐述：
$$\mathcal{H}^{n-1}(\partial\{u > 0\} \setminus \partial_{\text{red}}\{u > 0\}) = 0.$$
这里 $\partial_{\text{red}}\{u > 0\}$ 表示减少的自由边界（reduced free boundary），根据 De Giorgi 关于有限周长集合的结构定理，它已知是局部 $(n-1)$-可定向的。

证明过程采用反证法。假设存在集合 $A$ 位于自由边界内，且在该处零集的密度为零，作者进行了放大分析（blow-up analysis）。极限函数 $u_0$ 被证明是一维的（具有形式 $v(x) = (a \cdot x)_+$），这意味着其零集是一个超平面。然而，来自引理 4.1 的 Hausdorff 维数估计意味着，这样的超平面在高于 $n-1$ 的维度上必须具有无限测度，从而导致矛盾。

意义与范围
本笔记填补了关于奇异反应项非线性扩散问题中自由边界可定向性的文献空白。虽然之前的研究 [3, 4] 确立了 $p > 2$ 时的局部正则性和有限周长性质，但自由边界的具体可定向性仍未得到证明。

本文明确将其贡献定位为将 Phillips [13, 14] 的线性结果以及针对障碍问题 [9] 的可定向性结果，扩展到具有 $p \ge 2$ 的特定奇异反应项语境中。作者指出，极限情况 $\gamma=0$（空腔问题）和 $\gamma=1$（障碍问题）已在现有文献 [7, 10, 6, 5, 9] 中分别得到处理，而本工作专门针对中间的奇异区间 $\gamma \in (0, 1)$。

研究结果证实，尽管存在 $p$-Laplacian 的退化性和反应项的奇异性，活跃区域（$\{u>0\}$）与不活跃区（$\{u=0\}$）之间的界面在几乎处处仍保持着明确的几何结构，并在测度意义上拥有切平面。