Geometric properties of free boundaries in degenerate quenching problems

1. Contexte et Problématique

Le problème étudié :
Les auteurs étudient les minimiseurs de fonctionnelles d'énergie non différentiables de la forme :
$$J(v) = \int_{\Omega} \left( \frac{|Dv|^p}{p} + [v_+]^\gamma \right) dx$$
où $\Omega \subset \mathbb{R}^n$ est un domaine borné, $p \ge 2$ (cas dégénéré), et $\gamma \in (0, 1)$. Le terme $[v_+]^\gamma$ représente un potentiel non différentiable à l'origine, modélisant un problème d'extinction (quenching problem).

Le défi mathématique :

• Non-linéarité et dégénérescence : Contrairement au cas classique $p=2$ (opérateur laplacien), l'opérateur $p$-laplacien ($\Delta_p u = \text{div}(|Du|^{p-2}Du)$) est non linéaire et dégénère lorsque le gradient s'annule.
• Singularité : L'équation d'Euler-Lagrange associée, $\Delta_p u = \gamma u^{\gamma-1}$ dans l'ensemble $\{u > 0\}$, présente une singularité forte à la frontière libre $\partial\{u > 0\}$ car le terme de source $u^{\gamma-1}$ explose lorsque $u \to 0$ (puisque $\gamma - 1 < 0$).
• Objectif principal : Établir la finitude de la mesure de Hausdorff de dimension $(n-1)$ de la frontière libre. Ce résultat est crucial pour caractériser la "taille" et la dimension géométrique de l'interface, et pour comprendre la régularité des minimiseurs.

2. Méthodologie et Stratégie de Preuve

L'approche des auteurs s'éloigne des méthodes linéaires utilisées pour $p=2$ (comme dans les travaux de Phillips) et développe une stratégie nouvelle adaptée au cadre non linéaire dégénéré.

A. Estimations de régularité et contrôle du gradient

• Régularité $C^{1,\beta}$ : Ils s'appuient sur des résultats récents ([8]) établissant que les minimiseurs sont localement de classe $C^{1,\beta}$ avec un exposant optimal $\beta = \min\{\alpha_p - \epsilon, \frac{\gamma}{p-\gamma}\}$.
• Inégalité de type Harnack intrinsèque : En utilisant une inégalité de Harnack adaptée, ils déduisent une estimation ponctuelle optimale du gradient (Théorème 3.1) :
  $$|Du(x)|^p \le C \|u\|_{L^\infty}^{p-\gamma} u(x)^\gamma$$
  Cette estimation montre comment le gradient décroît à l'approche de la frontière libre.

B. Non-dégénérescence et Porosité

• Estimation de non-dégénérescence (Théorème 4.1) : Ils prouvent que les minimiseurs ne s'annulent pas trop rapidement. Plus précisément, dans l'ensemble de positivité, le minimiseur est contrôlé inférieurement par sa distance à la frontière libre :
  $$u(x) \ge c_0 [\text{dist}(x, \partial\{u > 0\})]^{\frac{p}{p-\gamma}}$$
• Porosité : Cette estimation implique que la frontière libre est un ensemble poréux. Cela garantit que la frontière libre a une mesure de Lebesgue nulle (dimension $n$), mais ne suffit pas à prouver la finitude de la mesure de Hausdorff $(n-1)$.

C. Régime de "Flatness" (Platitude) Universelle

C'est le cœur de l'innovation méthodologique (Section 5) :

• Les auteurs identifient un régime où la fonction $u$ est "petite" (proche de la frontière libre). Dans ce régime, ils montrent que la fonction transformée $w = u^{\frac{p-\gamma}{p}}$ est $p$-sous-harmonique ($\Delta_p w \ge 0$).
• Cette propriété permet d'utiliser des outils d'analyse géométrique et de perturbation fine pour obtenir des estimations uniformes sur le comportement des minimiseurs près de la frontière.

D. Estimations de mesure de Hausdorff

• En combinant l'estimation du gradient (Théorème 3.1) et les propriétés dans le régime de platitude (Lemme 5.1), ils dérivent une estimation intégrale de la quantité $u^{-\gamma}|Du|^p$.
• Ils utilisent ensuite un argument de recouvrement (lemme de Besicovitch) et des estimations de mesure dans des bandes étroites autour de la frontière (Proposition 6.1) pour contrôler la mesure de Hausdorff.

3. Résultats Principaux

1. Finitude de la mesure de Hausdorff (Théorème 6.1) :
   Le résultat central de l'article est la preuve que la mesure de Hausdorff de dimension $(n-1)$ de la frontière libre est finie localement :
   $$\mathcal{H}^{n-1}(\partial\{u > 0\} \cap B_r(x_0)) \le C r^{n-1}$$
   Cela confirme que la frontière libre a une dimension géométrique bien définie de $n-1$, malgré la dégénérescence de l'opérateur et la singularité du potentiel.

2. Alternative aux résultats classiques :
   La preuve fournit une démonstration alternative des résultats classiques de Phillips (pour $p=2$), mais dans un cadre beaucoup plus général ($p > 2$). Elle démontre que les techniques de régularité fine peuvent être étendues au-delà du cadre linéaire.

3. Structure de la frontière :
   En conséquence de la finitude de la mesure $\mathcal{H}^{n-1}$, l'ensemble $\{u > 0\}$ a un périmètre fini localement. La frontière libre est donc, à un ensemble négligeable près, une union dénombrable de hypersurfaces $C^1$.

4. Contributions et Signification

• Avancée théorique majeure : Ce travail comble un vide important dans la théorie des problèmes de frontière libre pour les opérateurs $p$-laplaciens dégénérés ($p > 2$). Jusqu'alors, les résultats étaient limités au cas linéaire ou à des régularités partielles.
• Nouvelles techniques : L'article introduit une approche non variationnelle pour obtenir des estimations de régularité fine dans un régime non linéaire, en s'inspirant de travaux sur les opérateurs uniformément elliptiques ([6]) mais en les adaptant à la structure singulière du problème d'extinction.
• Interplay Paramétrique : Il clarifie l'interaction précise entre l'exposant de croissance du potentiel ($\gamma$) et l'exposant de l'opérateur ($p$) pour déterminer la régularité des minimiseurs et la géométrie de l'interface.
• Potentiel d'extension : Les auteurs notent que leurs idées pourraient servir de tremplin pour étendre les résultats aux cas où l'exposant $\gamma$ varie spatialement ($\gamma(x)$), un sujet d'actualité en analyse non linéaire.

En résumé, ce papier établit rigoureusement que, même dans des conditions de dégénérescence et de singularité fortes, la frontière libre d'un problème d'extinction $p$-laplacien conserve une structure géométrique "propre" (mesure de Hausdorff finie), validant ainsi l'existence d'une interface bien définie de dimension $n-1$.