Partial regularity for minimizing constraint maps for the Alt-Phillips energy

Résumé Technique : Régularité Partielle pour les Applications Minimales sous Contrainte avec Énergie Alt-Phillips

1. Contexte et Problématique

L'article s'inscrit dans le cadre de l'analyse variationnelle des applications à valeurs dans une variété, plus précisément l'étude de la régularité des applications minimisantes soumises à des contraintes géométriques.

• Fonctionnelle étudiée : L'auteur considère une fonctionnelle de type Alt-Phillips avec terme source, définie sur un domaine borné $\Omega \subset \mathbb{R}^n$ à valeurs dans une variété lisse $M \subset \mathbb{R}^m$ (avec un complémentaire compact et connexe) :
  $$E_{\lambda,\gamma}[u] = \int_{\Omega} \left( \frac{1}{2}|Du|^2 + \lambda(\rho \circ u)^\gamma \right) dx$$
  où $\lambda > 0$, $\gamma \in (0, 2)$, et $\rho$ est la fonction distance signée à la frontière $\partial M$ (positive dans $M$).
• Contrainte : L'application $u$ appartient à l'espace de Sobolev $W^{1,2}(\Omega; M)$, ce qui impose que $u(x) \in M$ presque partout.
• Enjeu : Ce travail généralise les résultats antérieurs sur l'énergie de Dirichlet (contrainte pure) et l'énergie Alt-Caffarelli (cas $\gamma=0$) au cas de l'énergie Alt-Phillips ($\gamma \in (0, 2)$) en présence de contraintes.
• Difficultés principales :
  1. La présence du terme $\lambda(\rho \circ u)^\gamma$ introduit un terme dans l'équation d'Euler-Lagrange difficile à contrôler pour $\gamma \in (0, 1)$, mais crucial pour les estimations de régularité.
  2. Les techniques existantes pour les applications sans contraintes (comme celles de Luckhaus) ou pour les contraintes pures ne suffisent pas à traiter simultanément la contrainte géométrique et le terme source non-linéaire.

2. Méthodologie

La preuve repose sur une approche itérative combinant des outils de la théorie de la régularité partielle classique et des estimations spécifiques aux contraintes.

• Formule de monotonie presque exacte : L'auteur établit une formule de monotonie pour l'énergie (Lemme 2.2). Contrairement au cas de Dirichlet, la présence du terme source empêche une monotonie stricte, mais permet une "presque monotonie" qui suffit pour appliquer la théorie de régularité partielle de Luckhaus [9].
• Comparaison avec des applications minimisantes pour $E_0$ : Au lieu d'utiliser des fonctions harmoniques comme fonctions de comparaison (ce qui violerait la contrainte $u \in M$), l'auteur utilise des applications minimisantes pour l'énergie de Dirichlet contrainte ($E_0$). Cela garantit que les compétiteurs respectent la contrainte géométrique.
• Principe du maximum pour les applications minimisantes $E_0$ (Lemme 3.1) : Un résultat clé est l'établissement d'un principe du maximum pour les applications minimisantes de $E_0$ sous de petites oscillations de données au bord. Cela permet de contrôler l'oscillation de la solution par rapport à une approximation affine.
• Estimations $C^{1,\alpha}$ et Bootstrap :
  • Le cœur de la démonstration (Lemme 3.2) consiste à prouver une régularité $C^{1,\alpha}$ sous une hypothèse de petite énergie.
  • L'auteur utilise une méthode de "bootstrap" (itération) pour améliorer l'exposant de Hölder $\alpha$. En combinant les estimations de l'énergie de Dirichlet contrainte et les termes sources, on obtient une suite d'exposants croissants jusqu'à atteindre l'exposant optimal.
• Cas $\gamma \ge 1$ : Pour $\gamma \in [1, 2)$, l'auteur exploite la régularité supplémentaire du terme source pour obtenir une régularité $C^{1,1}$ (Lemme 3.3), en utilisant les équations d'Euler-Lagrange pour les projections sur $\partial M$ et la fonction distance.

3. Résultats Principaux

Théorème 1.1 (Régularité $\varepsilon$) :
C'est le résultat central de l'article. Il énonce que si l'énergie normalisée et le terme source sont suffisamment petits dans une boule $B_{2R}(x_0)$, alors l'application minimisante $u$ est régulière dans une boule plus petite $B_R(x_0)$.

• Hypothèses :
  $$(2R)^{2-n} \int_{B_{2R}} |Du|^2 dx \le \varepsilon \quad \text{et} \quad R^2 \lambda d^\gamma \le \varepsilon$$
  où $d$ est une borne supérieure pour $\rho \circ u$.
• Conclusion :
  • Si $\gamma \in (0, 2)$, alors $u \in C^{1,\alpha}(B_R; M)$ avec $\alpha = \min\left\{ \frac{\gamma}{2-\gamma}, \sigma \right\}$ pour tout $\sigma \in (0, 1)$.
  • Si $\gamma \in [1, 2)$ et que la distance est suffisamment petite pour que $\rho$ soit lisse, alors $u \in C^{1,1}(B_R; M)$ avec une estimation de la norme $L^\infty$ de la Hessienne.

Corollaire 1.2 (Régularité Partielle Optimale) :
En combinant le Théorème 1.1 avec la théorie de régularité partielle existante (Théorème 2.3), l'auteur établit l'existence d'un ensemble singulier fermé $\Sigma \subset \Omega$ tel que :

• $\dim_H(\Sigma) \le n - 3$ (la dimension de Hausdorff de l'ensemble singulier est au plus $n-3$).
• $u$ est de classe $C^{1,\alpha}_{loc}$ sur $\Omega \setminus \Sigma$.
• Si $\gamma \ge 1$, $u$ est de classe $C^{1,1}_{loc}$ sur $\Omega \cap B_\delta(\partial u^{-1}(M)) \setminus \Sigma$ (régularité optimale près de la frontière libre).

4. Contributions Clés

1. Extension aux contraintes vectorielles avec terme source : C'est la première étude de la régularité pour des applications minimisantes sous contrainte pour une fonctionnelle de type Alt-Phillips. Les travaux précédents ([6, 7]) traitaient de l'énergie Alt-Phillips sans contraintes.
2. Optimalité de la régularité : L'article démontre non seulement la régularité partielle, mais identifie l'exposant de régularité optimal ($C^{1,\alpha}$ ou $C^{1,1}$) en fonction du paramètre $\gamma$.
3. Nouvelle technique de comparaison : L'utilisation systématique d'applications minimisantes pour $E_0$ (Dirichlet contraint) comme fonctions de comparaison permet de contourner les difficultés liées à la contrainte géométrique tout en gérant le terme source.
4. Amélioration des résultats antérieurs : Le résultat améliore significativement le résultat de Luckhaus [9] en passant d'une régularité $C^{0,\alpha}$ à une régularité $C^{1,\alpha}$ (et $C^{1,1}$ dans certains cas) pour ce type de fonctionnelle.

5. Signification et Impact

Ce travail comble un vide important dans la théorie des équations aux dérivées partielles elliptiques non-linéaires avec contraintes. Il fournit un cadre rigoureux pour l'analyse de la régularité des solutions de problèmes de frontière libre vectoriels avec termes de potentiel (source).

Les résultats sont particulièrement pertinents pour la modélisation physique où des contraintes géométriques (comme des obstacles ou des surfaces de phase) interagissent avec des énergies de type Alt-Phillips (souvent utilisées en combustion ou en transition de phase). La démonstration de la régularité $C^{1,1}$ pour $\gamma \ge 1$ est une avancée majeure, car elle garantit une dérivée seconde bornée, ce qui est essentiel pour l'analyse fine de la structure de la frontière libre.