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

1. Présentation du Problème

L'article étudie une classe de problèmes d'obstacle non linéaires régis par des opérateurs de type $p$-Laplacien avec des coefficients variables et des termes non linéaires à exposants sous-critiques. Le problème est formulé dans un domaine borné régulier $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) sous la forme :

$$\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{dans } \Omega, \\ u \ge 0 & \text{dans } \Omega, \\ u \in W^{1,p}_0(\Omega), \end{cases}$$

où :

• $a(x) \in C^2(\Omega)$ est une fonction coefficient bornée inférieurement par une constante positive ($0 < a_0 \le a(x) \le a_1$).
• $m_1, m_2 > 0$ sont des constantes.
• L'exposant $\lambda$ satisfait la condition de sous-criticité : $2 \le p < \lambda < p^*$ (avec $p^* = \frac{Np}{N-p}$ si $p<N$, et $\lambda < +\infty$ si $N=2$).
• $\chi_{\{u>0\}}$ est la fonction caractéristique de l'ensemble où $u$ est strictement positif.

L'objectif principal est d'analyser la régularité des solutions faibles et, plus spécifiquement, les propriétés géométriques de la frontière libre $\Upsilon_+ := \partial\{u > 0\} \cap \Omega$, en particulier sa porosité locale et la finitude de sa mesure de Hausdorff de dimension $(N-1)$.

2. Méthodologie

Les auteurs emploient une combinaison sophistiquée d'outils variationnels, d'analyse non linéaire et de théorie de la régularité :

• Méthode de pénalisation et Lemme du Mont-Passe :
  Pour contourner la difficulté liée à la perte de coercivité de la fonctionnelle d'énergie (due au couplage du terme superlinéaire $u^{\lambda-1}$ et de la fonction caractéristique), les auteurs introduisent un problème pénalisé régularisé. Ils utilisent le Lemme du Mont-Passe (Mountain Pass Lemma) pour établir l'existence de solutions non triviales pour le problème pénalisé, puis passent à la limite pour obtenir une solution du problème original.

• Estimations a priori et Régularité :

  • Bornes $L^\infty$ : Une estimation uniforme est obtenue via une itération de type De Giorgi-Nash, en utilisant des fonctions de troncature et des inégalités de Sobolev.
  • Régularité Hölderienne : La continuité locale $C^{0,\alpha}$ des solutions et $C^{1,\alpha}$ de leurs gradients est démontrée en comparant la solution à des fonctions $p$-harmoniques et en utilisant des lemmes de comparaison et d'itération (Lemmes 4, 5, 6).

• Croissance optimale et Non-dégénérescence :
  Près de la frontière libre, les auteurs établissent une croissance optimale de la solution ($|u(x)| \le C|x-y|^{\frac{p}{p-1}}$) et une propriété de non-dégénérescence (la solution ne s'annule pas trop vite). Ces propriétés sont cruciales pour l'analyse de la frontière libre.

• Analyse de la Frontière Libre :

  • Porosité : En combinant la croissance optimale et la non-dégénérescence, ils prouvent que la frontière libre est localement porouse.
  • Mesure de Hausdorff : Pour établir la finitude de la mesure de Hausdorff de dimension $(N-1)$, ils utilisent une approche basée sur les estimations de mesure des ensembles de niveau du gradient. Ils analysent le problème pénalisé pour obtenir des estimations quantitatives sur les dérivées secondes et le gradient, puis font tendre le paramètre de pénalisation vers zéro.

3. Contributions Clés et Résultats Principaux

Les contributions principales de cet article sont les suivantes :

1. Existence et Régularité des Solutions :

   • Existence de solutions faibles non négatives pour une classe plus large de problèmes d'obstacle $p$-Laplaciens avec coefficients variables et termes sous-critiques, généralisant les résultats antérieurs pour le Laplacien standard.
   • Preuve de la régularité locale $C^{1,\alpha}$ des solutions, malgré la présence de coefficients variables et de la non-linéarité complexe.

2. Porosité de la Frontière Libre :

   • Démonstration que la frontière libre $\Upsilon_+$ est localement porouse. Cela implique que la dimension de Hausdorff de la frontière est strictement inférieure à $N$ (plus précisément, $\le N - c\delta^N$).

3. Finitude de la Mesure de Hausdorff :

   • Résultat Majeur : Il est prouvé qu'au moins une solution du problème correspond à une frontière libre ayant une mesure de Hausdorff de dimension $(N-1)$ localement finie.
   • Cela est obtenu en démontrant une estimation de mesure pour les ensembles où le gradient est petit, en utilisant les propriétés du problème pénalisé et en passant à la limite.

4. Signification et Impact

Ce travail comble une lacune importante dans la théorie des problèmes d'obstacle non linéaires :

• Généralisation des opérateurs : Contrairement aux travaux antérieurs souvent limités au Laplacien ($p=2$) ou à des coefficients constants, cet article traite des opérateurs $p$-Laplaciens avec des coefficients variables $a(x)$, ce qui modélise des milieux hétérogènes.
• Complexité des termes non linéaires : La gestion du terme sous-critique $u^{\lambda-1}$ couplé à la fonction caractéristique pose des défis techniques majeurs (manque de coercivité) qui sont surmontés par une méthode variationnelle robuste.
• Propriétés géométriques : L'établissement de la finitude de la mesure de Hausdorff $(N-1)$ est un résultat fondamental en analyse géométrique, confirmant que la frontière libre, bien que potentiellement irrégulière, a une structure "fine" de dimension $N-1$, analogue à une surface lisse dans un sens mesuré.

En résumé, cet article étend considérablement la théorie de la régularité et de la géométrie des frontières libres aux problèmes d'obstacle $p$-Laplaciens avec coefficients variables et non-linéarités sous-critiques, fournissant des outils analytiques puissants pour l'étude de tels systèmes physiques et variationnels.