Hausdorff measure of the free boundary for the $p$-obstacle problem with subcritical exponents

这是一份关于论文《具有次临界指数的 p-障碍问题自由边界的 Hausdorff 测度》（Hausdorff measure of the free boundary for the p-obstacle problem with subcritical exponents）的详细技术总结。

1. 研究问题 (Problem Statement)

本文研究了一类具有变系数和次临界指数的 $p$-Laplace 型障碍问题。具体方程形式如下：
$$\begin{cases} \text{div}\left(a(x)|\nabla u|^{p-2}\nabla u\right) = m_1\chi_{\{u>0\}} - m_2 u^{\lambda-1}\chi_{\{u>0\}} & \text{in } \Omega, \\ u \ge 0 & \text{in } \Omega, \\ u \in W^{1,p}_0(\Omega), \end{cases}$$
其中：

• $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) 是光滑有界区域。
• $a(x) \in C^2(\Omega)$ 是变系数，满足 $0 < a_0 \le a(x) \le a_1$。
• $m_1, m_2$ 是正常数。
• 指数 $\lambda$ 满足次临界条件：$2 \le p < \lambda < p^*$（当 $N \ge 3, p < N$ 时，$p^* = \frac{Np}{N-p}$；当 $N=2$ 或 $p \ge N$ 时，$\lambda < +\infty$）。
• $\chi_{\{u>0\}}$ 是特征函数。

核心挑战：
该问题结合了 $p$-Laplace 算子、变系数 $a(x)$ 以及右侧的非线性项（包含特征函数和次临界幂次项 $u^{\lambda-1}$）。这种耦合破坏了能量泛函的强制性（coercivity），使得标准的变分极小化方法失效。此外，变系数和一般次临界项的存在增加了正则性分析和自由边界几何性质研究的难度。

2. 方法论 (Methodology)

作者采用了一套综合的数学分析工具来处理该问题：

1. 惩罚法与山路引理 (Penalty Method & Mountain Pass Lemma)：

   • 由于能量泛函缺乏强制性，作者引入光滑惩罚函数 $\chi_\varepsilon$ 近似特征函数，构造惩罚问题。
   • 利用山路引理（Mountain Pass Lemma）证明惩罚问题存在非平凡临界点（即弱解），并验证 Palais-Smale 紧性条件。
   • 通过取极限 $\varepsilon \to 0$，获得原障碍问题的弱解存在性。

2. 正则性理论 (Regularity Theory)：

   • $L^\infty$ 估计：利用 De Giorgi-Nash 迭代技术（De Giorgi-Nash iteration）和 Moser 迭代思想，结合 Sobolev 嵌入定理，证明解的一致有界性。
   • Hölder 连续性：通过比较原理和 $p$-调和函数的性质，证明解属于 $C^{0,\alpha}_{loc}$。
   • $C^{1,\alpha}$ 正则性：利用 Campanato 空间和 $p$-调和函数的梯度估计，结合变系数算子的扰动分析，证明解的梯度具有局部 Hölder 连续性。

3. 自由边界性质分析 (Free Boundary Analysis)：

   • 最优增长与非退化性 (Optimal Growth & Non-degeneracy)：通过爆破技术（blow-up technique）和比较原理，证明解在自由边界附近具有最优增长阶 $|x-y|^{\frac{p}{p-1}}$ 和非退化性（即解在自由边界附近不会“太慢”地衰减到零）。
   • 孔隙性 (Porosity)：基于非退化性和最优增长，证明自由边界是局部孔隙的（porous）。
   • Hausdorff 测度估计：利用惩罚解 $u_\varepsilon$ 的 Hessian 矩阵估计和梯度水平集（gradient level sets）的 Lebesgue 测度估计，结合 Besicovitch 覆盖定理，推导自由边界的 $(N-1)$ 维 Hausdorff 测度的有限性。

3. 主要贡献 (Key Contributions)

1. 扩展了解的存在性与正则性范围：

   • 将文献 [18] 中针对拉普拉斯算子（$p=2$）和常系数的结果，推广到了更广泛的 $p$-Laplace 型算子（$p \ge 2$）和变系数情形。
   • 处理了更复杂的非线性结构（次临界指数项与特征函数的耦合）。

2. 攻克了变系数与非线性耦合的技术难点：

   • 克服了变系数 $a(x)$ 带来的额外项干扰，建立了梯度水平集的精细估计。
   • 证明了在一般 $p$ 和次临界项存在的情况下，自由边界依然具有局部孔隙性。

3. 确立了自由边界的几何测度性质：

   • 证明了至少存在一个解，其自由边界 $\Upsilon_+ = \partial\{u>0\} \cap \Omega$ 具有局部有限的 $(N-1)$ 维 Hausdorff 测度。这是对文献 [2, 10, 11, 14, 18-20] 中相关工作的进一步推广和深化。

4. 主要结果 (Key Results)

• 解的存在性 (Proposition 1)：方程 (1) 至少存在一个非负弱解。
• 一致有界性 (Proposition 2)：所有弱解在 $L^\infty(\Omega)$ 范数下是一致有界的，界仅依赖于 $N, p, \lambda, m_1, m_2, a_0, \Omega$。
• 正则性 (Proposition 3, Theorem 1)：
  • 解 $u \in C^{0,\alpha}_{loc}(\Omega)$。
  • 解的梯度 $\nabla u \in C^{0,\alpha}_{loc}(\Omega)$，即 $u \in C^{1,\alpha}_{loc}(\Omega)$。
• 自由边界的孔隙性 (Theorem 2)：对于任意紧集 $K \subset \Omega$，自由边界 $K \cap \partial\{u>0\}$ 是局部孔隙的（porous），孔隙常数仅依赖于模型参数。
• Hausdorff 测度有限性 (Theorem 3)：对于至少一个解，其自由边界在局部具有有限的 $(N-1)$ 维 Hausdorff 测度，即 $H^{N-1}(B_r(x_0) \cap \Upsilon_+) \le C r^{N-1}$。

5. 意义与价值 (Significance)

• 理论完整性：该研究填补了变系数 $p$-Laplace 障碍问题在次临界非线性项下的正则性和自由边界几何性质研究的空白。
• 方法创新：成功将惩罚法、山路引理与精细的测度论估计（如水平集测度估计）相结合，为处理具有非凸能量泛函和复杂非线性项的变分问题提供了新的范式。
• 应用背景：此类方程出现在物理模型（如流体动力学、化学反反应）和变分问题中。理解自由边界的几何结构（如维数、测度）对于数值模拟和物理现象的解释至关重要。
• 推广性：结果不仅涵盖了经典的 $p$-障碍问题，还涵盖了 Ginzburg-Landau 方程相关的障碍问题，为后续研究更复杂的非线性椭圆方程自由边界问题奠定了坚实基础。

综上所述，这篇论文在非线性偏微分方程领域，特别是在障碍问题和自由边界理论方面，做出了重要的理论推进，解决了变系数和次临界项耦合下的存在性、正则性及自由边界测度估计等核心难题。