Geometric properties of free boundaries in degenerate quenching problems

1. Problem Statement

The paper investigates the regularity and geometric properties of the free boundary associated with minimizers of non-differentiable $p$-energy functionals in the degenerate setting ($p > 2$).

• Functional: The authors study minimizers $u$ of the functional:
  $$J(v) = \int_{\Omega} \left( \frac{|Dv|^p}{p} + [v_+]^\gamma \right) dx$$
  where $\Omega \subset \mathbb{R}^n$ is a bounded domain, $p \ge 2$, and the potential $F(s) = s_+^\gamma$ with $\gamma \in (0, 1)$.
• Context: This is known as the quenching problem (or Alt-Phillips problem). The potential is non-differentiable at $s=0$, leading to a singular Euler-Lagrange equation in the positivity set $\{u > 0\}$:
  $$\Delta_p u = \text{div}(|Du|^{p-2}Du) = \gamma u^{\gamma-1}$$
  Since $\gamma - 1 < 0$, the right-hand side blows up as $u \to 0$, creating a singularity at the free boundary $\partial \{u > 0\}$.
• Gap in Literature: While the case $p=2$ (linear operator) was extensively studied by Phillips and others, the degenerate case ($p > 2$) remained largely unexplored regarding the geometric measure of the free boundary. The non-quadratic growth complicates standard regularity arguments.

2. Methodology

The authors develop a novel strategy that diverges from classical linear approaches, relying on a combination of intrinsic scaling, pointwise estimates, and non-variational techniques adapted for nonlinear operators.

A. Pointwise Gradient Decay and Intrinsic Harnack Inequality

• Scaling: They utilize the intrinsic scaling $u_s(x) = u(sx) / s^{p/(p-\gamma)}$ to analyze the behavior of minimizers near the free boundary.
• Gradient Estimate: A central tool is Theorem 3.1, which establishes an optimal pointwise gradient decay:
  $$|Du(x)|^p \le C \|u\|_{L^\infty}^{p-\gamma} u(x)^\gamma$$
  This estimate is derived from an intrinsic Harnack-type inequality (Corollary 3.1). Unlike the $p=2$ case, the proof here cannot rely on linearity; instead, it uses a blow-up argument and the strong minimum principle for $p$-superharmonic functions.

B. Non-Degeneracy and Porosity

• Non-Degeneracy: The authors prove that minimizers grow at a precise rate away from the free boundary. Proposition 4.1 shows that for $x_0 \in \{u > 0\}$, $\sup_{\partial B_r(x_0)} u \ge c r^{p/(p-\gamma)}$. This is the exact inverse of the upper growth bound known from previous regularity theory.
• Porosity: Combining the non-degeneracy (lower bound) with the upper growth bound, they prove Corollary 4.3: the free boundary is a porous set. This implies the free boundary has Lebesgue measure zero ($n$-dimensional measure is zero).

C. The Flatness Regime and Universal Estimates

• Flatness: The core of the geometric analysis occurs in a "flatness regime" where the minimizer is small (close to the free boundary).
• Subharmonicity: In Proposition 5.1, they show that the transformed function $u^{(p-\gamma)/p}$ is $p$-subharmonic in the region where $u$ is sufficiently small. This is a crucial structural property that allows the application of comparison principles.
• Integral Estimates: Using the subharmonicity and the gradient decay, Lemma 5.1 derives a refined integral estimate for the quantity $u^{-\gamma}|Du|^p$ in the flatness regime. This estimate is essential for controlling the "thickness" of the free boundary neighborhood.

D. Hausdorff Measure Estimation

• Covering Arguments: The final step combines the integral estimates with a measure-theoretic covering argument (Besicovitch covering lemma).
• Strip Control: They estimate the volume of the strip $N_\delta(\partial \{u > 0\})$ (points within distance $\delta$ of the free boundary). By relating the volume of this strip to the integral of $u^{-\gamma}|Du|^p$, they derive a bound of the form $|N_\delta| \le C \delta r^{n-1}$.
• Conclusion: This linear dependence on $\delta$ implies that the $(n-1)$-dimensional Hausdorff measure is finite.

3. Key Contributions and Results

1. Finiteness of Hausdorff Measure (Main Theorem 6.1):
   The primary result is the proof that the free boundary $\partial \{u > 0\}$ has finite $(n-1)$-dimensional Hausdorff measure:
   $$\mathcal{H}^{n-1}(\partial \{u > 0\} \cap \Omega') < \infty$$
   This characterizes the "size" of the interface, confirming it behaves like a hypersurface of codimension 1, despite the degeneracy and singularity.

2. Optimal Gradient Decay for $p > 2$:
   The paper establishes the sharp pointwise gradient bound $|Du| \sim u^{\gamma/p}$ for the degenerate case, extending previous results known only for $p=2$.

3. Porosity of the Free Boundary:
   It is proven that the free boundary is a porous set, which is a stronger geometric property than just having zero Lebesgue measure.

4. Alternative Proof for Classical Results:
   The methodology provides an alternative proof for Phillips' classical results (originally for $p=2$) that does not rely on the linearity of the operator, suggesting broader applicability.

5. Structural Insight:
   The discovery that $u^{(p-\gamma)/p}$ is $p$-subharmonic in the flatness regime provides a new structural insight into the behavior of solutions to degenerate quenching problems.

4. Significance

• Advancement in Nonlinear Free Boundary Theory: This work bridges a significant gap in the theory of free boundary problems for the $p$-Laplacian. Prior to this, the geometric properties of the free boundary for $p > 2$ with singular potentials were virtually unknown.
• Robustness of Techniques: The authors demonstrate that deep geometric properties (like finite Hausdorff measure) can be established for highly nonlinear and singular problems using intrinsic scaling and non-variational techniques, moving beyond the limitations of linear theory.
• Foundation for Future Work: The paper sets the stage for analyzing more complex scenarios, such as varying exponents $\gamma(x)$ or singular cases ($1 < p < 2$), by establishing the necessary regularity and geometric tools.
• Universality: The results hold for non-negative local minimizers, making them applicable to a wide range of physical models involving phase transitions or quenching phenomena governed by degenerate diffusion.

In summary, the paper successfully extends the geometric understanding of free boundaries from the linear ($p=2$) to the degenerate ($p>2$) regime, proving that the interface remains a "thin" set of finite codimension-1 measure through a sophisticated blend of analytic estimates and geometric measure theory.