🔢 mathematics

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

This paper establishes the existence of non-negative weak solutions to a $p$ -obstacle problem with subcritical exponents, proves their local $C^{1,\alpha}$ regularity, and demonstrates that the associated free boundary possesses locally finite $(N-1)$ -dimensional Hausdorff measure.

Original authors: Jing Yu, Jun Zheng

Published 2026-03-25

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jing Yu, Jun Zheng

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are standing in a vast, empty field (this is our mathematical "domain," $\Omega$ ). Suddenly, a mysterious force appears that tries to push a rubber sheet (our solution, $u$ ) upward, but there's a catch: the sheet is also being pulled down by a heavy weight that gets heavier the higher the sheet goes.

This tug-of-war creates a fascinating boundary. Inside the field, there is a region where the sheet is lifted off the ground ( $u > 0$ ) and a region where it stays flat on the ground ( $u = 0$ ). The line separating these two zones is called the Free Boundary. It's "free" because we don't know exactly where it is beforehand; the math determines its shape based on the forces involved.

This paper, written by Jing Yu and Jun Zheng, tackles a very complex version of this problem. Here is a simple breakdown of what they did, using everyday analogies.

1. The Problem: A Bumpy, Stretchy Sheet

In the classic version of this problem, the rubber sheet is uniform and the forces are simple. But in this paper, the authors make it much harder:

The Sheet is Variable: Imagine the rubber sheet isn't the same everywhere. Some parts are stiff, some are stretchy. This is represented by the function $a(x)$ .
The Forces are Weird: The upward push is constant, but the downward pull gets complicated. It's not just a simple weight; it's a force that changes based on how high the sheet is, but in a way that isn't too extreme (they call this "subcritical").
The Shape is Complex: They are looking at a $p$ -Laplace equation. Think of this as the sheet having a "personality." If $p=2$ , it's a standard rubber sheet. If $p$ is different, the sheet behaves like a non-Newtonian fluid (like oobleck)—it gets harder to stretch the more you pull it.

The Goal: The authors wanted to prove that a solution (a valid shape for the sheet) actually exists, and more importantly, they wanted to understand the Free Boundary (the edge of the lifted part).

2. The Strategy: The "Penalty" Trick

Proving a solution exists for this specific setup is like trying to find a path through a maze where the walls move. Standard math tools failed because the forces cancel each other out in a way that makes the "energy" of the system unstable.

To fix this, the authors used a clever trick called the Penalty Method:

The Analogy: Imagine you are trying to walk on a tightrope, but you are afraid of falling. So, you attach a very stiff spring to your waist. If you step off the rope, the spring pulls you back.
In Math: They added a "penalty" term to the equation. This term acts like a giant spring that forces the solution to stay positive where it needs to be. They solved this easier, "spring-loaded" version first. Then, they slowly weakened the spring (letting the penalty go to zero) to see what the original, unsprung solution looked like.

3. The Results: Smoothness and the Edge

Once they proved a solution exists, they had to ask: What does this solution look like?

Smoothness (Regularity): They proved the sheet doesn't have jagged, sharp corners. It is smooth enough that you could draw a tangent line to it almost everywhere. In math terms, the solution is $C^{1,\alpha}$ , meaning it's smooth and its slope changes gradually.
The Edge (The Free Boundary): This is the main discovery. They wanted to know the "size" of the boundary line.
- Porosity: They proved the boundary is "porous." Imagine a sponge. Even though it looks solid from a distance, if you zoom in, you see holes. The boundary of the lifted sheet has "holes" or gaps at every scale. It's not a solid, impenetrable wall; it's a bit porous.
- The Size (Hausdorff Measure): This is the big headline. In high-dimensional space (like a 3D room or higher), a line or surface has a specific "dimension."
  - A point is 0-dimensional.
  - A line is 1-dimensional.
  - A surface is 2-dimensional.
  - The "Free Boundary" in an $N$ -dimensional world usually looks like a wall of dimension $N-1$ .
- The Finding: The authors proved that for at least one solution, this boundary is "thin" enough. Specifically, its $(N-1)$ -dimensional Hausdorff measure is finite.
- Simple Translation: If you were to paint the boundary line in a 3D room, you would need a finite amount of paint. It's not a "fuzzy" cloud that takes up infinite space; it's a well-defined, manageable surface.

4. Why Does This Matter?

You might ask, "Who cares about a rubber sheet with weird forces?"

This math models real-world phenomena:

Fluid Flow: How oil moves through porous rock (like in an oil well).
Economics: How prices adjust when there are limits on supply.
Physics: How superconductors behave or how heat spreads through materials with changing properties.

By proving that the "edge" of these phenomena is well-behaved (smooth and finite in size), the authors give engineers and scientists confidence that their models are stable and predictable. They showed that even with complex, variable materials and strange forces, nature doesn't create chaotic, infinite messes at the boundaries; it creates clean, structured edges.

Summary

Jing Yu and Jun Zheng took a very difficult math puzzle involving a stretchy, variable sheet with complex forces. They used a "spring trick" to prove a solution exists, showed the sheet is smooth, and proved that the edge where the sheet lifts off the ground is a well-defined, finite surface, not a chaotic mess. It's a victory for understanding the hidden order in complex physical systems.

1. Problem Statement

The paper investigates a class of quasilinear obstacle problems involving the $p$ -Laplacian operator with variable coefficients and a specific nonlinear source term. The problem is formulated as finding a non-negative function $u \in W^{1,p}_0(\Omega)$ satisfying:

$\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 \geq 0 & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases}$

Key Parameters and Conditions:

Domain: $\Omega \subset \mathbb{R}^N$ ( $N \geq 2$ ) is a smooth bounded domain.
Operator: The $p$ -Laplacian with a variable coefficient $a(x) \in C^2(\Omega)$ , satisfying $0 < a_0 \leq a(x) \leq a_1$ .
Exponents: $2 \leq p < \lambda < p^*$ , where $p^* = \frac{Np}{N-p}$ (if $p < N$ ) or $+\infty$ (if $p=2, N=2$ ). This places the nonlinearity in the subcritical range.
Constants: $m_1, m_2 > 0$ .
Free Boundary: The set $\Upsilon_+ := \partial\{u > 0\} \cap \Omega$ .

The primary challenge lies in the coupling of the superlinear term $u^{\lambda-1}$ and the characteristic function $\chi_{\{u>0\}}$ , which destroys the coercivity of the associated energy functional, rendering standard minimization techniques inapplicable.

2. Methodology

The authors employ a multi-stage analytical approach combining variational methods, regularity theory, and geometric measure theory:

Existence via Penalty and Mountain Pass:
- Since the energy functional $J(u)$ lacks coercivity, the authors introduce a penalty method. They approximate the discontinuous characteristic function $\chi_{\{u>0\}}$ with a smooth monotone function $\chi_\varepsilon(u)$ .
- They define a penalized functional $J_\varepsilon(u)$ and apply the Mountain Pass Lemma to establish the existence of a critical point $u_\varepsilon$ .
- They verify the Palais-Smale condition to ensure the existence of a non-trivial solution for the penalized problem.
Regularity and Uniform Bounds:
- $L^\infty$ Estimates: Using a De Giorgi-Nash type iteration (specifically Lemma 3 regarding recursive sequences), they prove that solutions are uniformly bounded in $L^\infty(\Omega)$ , independent of the penalty parameter $\varepsilon$ .
- Hölder Continuity: By comparing the solution $u$ with a $p$ -harmonic function $v$ and utilizing Caccioppoli-type inequalities, they establish local $C^{0,\alpha}$ continuity for $u$ .
- Gradient Regularity: Through delicate iteration arguments involving Lemmas 4, 5, and 6 (involving $p$ -harmonic approximations and Campanato spaces), they upgrade the regularity to local $C^{1,\alpha}$ continuity.
Free Boundary Analysis:
- Optimal Growth & Non-degeneracy: They prove that near the free boundary, solutions exhibit optimal growth of order $|x-y|^{\frac{p}{p-1}}$ and satisfy a non-degeneracy condition (the solution does not vanish too quickly).
- Porosity: Using the optimal growth and non-degeneracy, they demonstrate that the free boundary is locally porous.
- Measure Estimates: To estimate the Hausdorff measure, they analyze the gradient level sets of the penalized solutions. They derive a quantitative lower bound for the gradient and Hessian (Proposition 7) and use a measure-theoretic argument (Proposition 8) to bound the Lebesgue measure of sets where the gradient is small.

3. Key Contributions

The paper makes two significant theoretical contributions:

Extension of Existence and Regularity: It extends the existence and regularity results from the standard Laplacian ( $p=2$ ) and constant coefficients to the quasilinear $p$ -Laplacian with variable coefficients and general subcritical nonlinearities. This overcomes technical difficulties related to the non-homogeneity of the operator and the lack of coercivity.
Hausdorff Measure of the Free Boundary: It establishes that for at least one solution, the free boundary $\Upsilon_+$ has locally finite $(N-1)$ -dimensional Hausdorff measure. This is achieved by proving the local porosity of the free boundary and utilizing Lebesgue measure estimates for gradient level sets, extending previous work limited to $p=2$ or specific obstacle types.

4. Main Results

Proposition 1: Existence of at least one non-negative weak solution to the obstacle problem (1).
Proposition 2: Uniform $L^\infty$ boundedness of all weak solutions.
Theorem 1: Local $C^{1,\alpha}$ regularity for all weak solutions.
Theorem 2: The free boundary $\Upsilon_+$ is locally porous with a porosity constant depending on the problem parameters.
Theorem 3: The free boundary possesses locally finite $(N-1)$ -dimensional Hausdorff measure. Specifically, for any compact set $K \subset \Omega$ , $\mathcal{H}^{N-1}(K \cap \Upsilon_+) < \infty$ .

5. Significance

This work bridges a gap in the regularity theory of free boundary problems for quasilinear equations.

Generalization: It moves beyond the classical $p=2$ case and constant coefficients, addressing the complexities introduced by variable coefficients and the $p$ -Laplacian structure.
Geometric Insight: By proving the finite $(N-1)$ -dimensional Hausdorff measure, the authors confirm that the free boundary is "thin" in a measure-theoretic sense, behaving like a hypersurface locally. This is crucial for understanding the physical interface in models described by such equations (e.g., fluid filtration, plasma physics).
Methodological Robustness: The combination of the Mountain Pass Lemma with penalty methods and the subsequent use of De Giorgi-Nash iterations and porosity arguments provides a robust framework for analyzing similar non-coercive free boundary problems with subcritical growth.