Two-phase free boundary problems for operators with nonstandard growth

1. Problématique et Contexte

L'article se concentre sur les problèmes de frontière libre régis par des équations aux dérivées partielles (EDP) à croissance non standard, spécifiquement celles impliquant des exposants variables $p(x)$.

• Contexte mathématique : Contrairement aux équations classiques à croissance de type loi de puissance (comme le Laplacien $\Delta u$ ou le $p$-Laplacien $\Delta_p u$ avec $p$ constant), ces équations modélisent des phénomènes complexes dans des matériaux hétérogènes, anisotropes ou soumis à des champs externes variables (ex: fluides électrorhéologiques, thermorhéologiques, reconstruction d'images).
• L'opérateur clé : L'étude porte sur l'opérateur $p(x)$-Laplacien défini par :
  $$\Delta_{p(x)}u := \text{div}(|\nabla u|^{p(x)-2}\nabla u) = f(x)$$
  où $1 < p_{\min} \le p(x) \le p_{\max} < \infty$.
• Difficultés spécifiques : L'opérateur n'est pas uniformément elliptique. Il devient singulier là où $1 < p(x) < 2$ (le terme $|\nabla u|^{p(x)-2}$ explose quand $|\nabla u| \to 0$) et dégénéré là où $p(x) > 2$ (le terme tend vers 0). De plus, la présence d'un second membre non nul ($f \not\equiv 0$) et la variation de l'exposant $p(x)$ compliquent l'application des techniques classiques (comme les inégalités de Harnack standards ou les formules de monotonie).

2. Méthodologie

Les auteurs adoptent une approche basée sur la théorie des solutions de viscosité, une notion de solution faible adaptée aux problèmes non linéaires et aux conditions aux limites sur des frontières inconnues.

• Cadre fonctionnel : Utilisation des espaces de Lebesgue et de Sobolev à exposant variable $L^{p(\cdot)}(\Omega)$ et $W^{1,p(\cdot)}(\Omega)$.
• Stratégie de preuve :
  • Linéarisation et compacité : Pour étudier la régularité de la frontière libre, les auteurs utilisent des arguments de compacité pour linéariser le problème vers une limite.
  • Amélioration de la platitude (Improvement of Flatness) : Inspirée des travaux de De Silva pour les problèmes linéaires, cette méthode consiste à montrer que si la frontière libre est "presque plate" (proche d'un plan), elle devient lisse ($C^{1,\alpha}$) à une échelle inférieure.
  • Inégalités de Harnack géométriques : Une difficulté majeure réside dans le fait que l'inégalité de Harnack pour le $p(x)$-Laplacien inhomogène dépend de la solution elle-même (contrairement au cas standard). Les auteurs établissent de nouvelles inégalités de Harnack adaptées aux perturbations petites pour contourner ce problème.
  • Fonctions barrières : Construction de fonctions barrières spécifiques pour obtenir des estimations de régularité optimale (Lipschitz).

3. Contributions Clés et Résultats Principaux

L'article présente une série de résultats récents (issus des références [41, 42, 43, 44, 45, 46]) couvrant les problèmes à une phase et à deux phases.

A. Problèmes à une phase (Section 5)

Pour le problème :
$$\begin{cases} \Delta_{p(x)}u = f & \text{dans } \Omega^+(u) \\ |\nabla u| = g & \text{sur } F(u) \end{cases}$$

• Régularité optimale : Il est démontré que les solutions de viscosité sont localement Lipschitziennes (Théorème 5.6). C'est la régularité optimale attendue.
• Régularité de la frontière libre :
  • Si la frontière libre est plate (proche d'un hyperplan), elle est de classe $C^{1,\alpha}$ (Théorème 5.7).
  • Si la frontière libre est Lipschitzienne, elle est également $C^{1,\alpha}$ (Théorème 5.8).
• Applications : Ces résultats s'appliquent aux minimiseurs de fonctionnelles d'énergie associées à des problèmes de conception optimale et de propagation de flamme.

B. Problèmes à deux phases (Section 6)

Pour le problème où $u$ change de signe, avec une condition de saut sur la dérivée normale :
$$\begin{cases} \Delta_{p(x)}u = f & \text{dans } \Omega^+(u) \cup \Omega^-(u) \\ u^+_\nu = G(u^-_\nu, x) & \text{sur } F(u) \end{cases}$$

• Nouveauté majeure : C'est la première étude de régularité pour des problèmes à deux phases avec l'opérateur $p(x)$-Laplacien et un second membre non nul.
• Résultat principal (Théorème 6.3 & 6.4) : Sous des hypothèses de platitude de la frontière libre, celle-ci est de classe $C^{1,\gamma}$.
• Difficulté technique : Contrairement aux cas elliptiques uniformes, les fonctions de translation $v = u \pm \alpha x_n$ ne satisfont pas la même équation. Les auteurs doivent traiter une équation inhomogène de type général singulier/dégénéré, ce qui nécessite des arguments non triviaux.

C. Continuité Lipschitzienne pour les problèmes à deux phases (Section 7)

Pour l'opérateur $p$-Laplacien constant ($p(x) \equiv p$) avec second membre non nul :

• Résultat (Théorème 7.1) : Preuve de la continuité Lipschitzienne locale des solutions de viscosité pour le problème à deux phases inhomogène.
• Méthodologie : L'approche utilise une généralisation de la méthode de [24] pour les opérateurs uniformément elliptiques, adaptée à la nature non linéaire singulière/dégénérée du $p$-Laplacien.
• Signification : Ce résultat est nouveau même pour le cas homogène ($f \equiv 0$) et pour le cas $p=2$ (Laplacien) avec des conditions de frontière libre générales non développées auparavant.

4. Importance et Signification

• Extension théorique : L'article comble un vide important en étendant la théorie des frontières libres (développée initialement pour le Laplacien et le $p$-Laplacien constant) aux opérateurs à croissance non standard ($p(x)$-Laplacien) et aux problèmes inhomogènes ($f \not\equiv 0$).
• Robustesse des solutions : En travaillant avec des solutions de viscosité, les auteurs évitent de supposer a priori l'existence de dérivées fortes, rendant les résultats applicables à une classe très large de solutions issues de problèmes variationnels ou de limites de perturbations singulières.
• Applications pratiques : Les résultats fournissent un cadre mathématique rigoureux pour l'analyse de phénomènes physiques réels modélisés par ces équations, notamment :
  • La reconstruction d'images (modèles à exposant variable pour préserver les contours).
  • La mécanique des fluides non newtoniens (fluides électrorhéologiques et thermorhéologiques).
  • La filtration dans les milieux poreux hétérogènes.
  • La modélisation des thermistances.

En résumé, ce travail constitue une avancée significative dans l'analyse non linéaire des EDP, démontrant que malgré la complexité introduite par la croissance non standard et l'inhomogénéité, une régularité optimale (Lipschitz pour la solution, $C^{1,\alpha}$ pour la frontière) peut être établie pour des problèmes de frontière libre à une et deux phases.