A sharp quantitative stability result near infinitely concentrated minimisers

1. Problématique et Contexte

Le problème variationnel :
Les auteurs étudient la stabilité quantitative des minimiseurs pour l'énergie de Dirichlet de degré 1, définie sur des applications $v : (\Sigma, g_\Sigma) \to S^2$, où $\Sigma$ est une surface fermée orientable de genre positif ($\gamma \ge 1$).
L'énergie est donnée par :
$$E(v) = \frac{1}{2} \int_\Sigma |\nabla_{g_\Sigma} v|^2_{g_\Sigma} \, dv_{g_\Sigma}$$

Le défi fondamental :
Contrairement au cas de la sphère ($\gamma=0$), le théorème de Riemann-Hurwitz interdit l'existence d'applications conformes (minimisants classiques) de degré 1 d'une surface de genre positif vers $S^2$. Par conséquent, l'infimum de l'énergie, qui est $4\pi$, n'est jamais atteint par une application lisse classique.
Les configurations minimisantes "généralisées" sont des objets singuliers composés d'une application constante sur $\Sigma$ sauf en un point $a$, où l'énergie se concentre infiniment (un "bubble" ou bulle harmonique) sous la forme d'une rotation $R \in SO(3)$ appliquée à une projection stéréographique inversée $\pi_\lambda$ avec $\lambda \to \infty$.

La question centrale :
Si une application $v$ de degré 1 a une énergie proche de l'infimum (défaut d'énergie $\delta_v = E(v) - 4\pi$ petit), peut-on contrôler quantitativement sa distance à l'ensemble de ces minimiseurs généralisés ? Plus précisément, peut-on borner :

1. L'échelle de concentration $\lambda$.
2. La distance $H^1$ à la rotation et à la projection stéréographique sur la région de concentration.
3. La distance $H^1$ (et $L^2$) à la constante sur le reste de la surface.

2. Méthodologie

Les auteurs développent une approche dynamique novatrice qui permet de déformer simultanément la carte et le domaine pour gérer le changement de topologie nécessaire (passer d'une surface de genre positif à une sphère poinçonnée).

A. Construction d'une famille de métriques déformées

Au lieu de travailler avec la métrique fixe $g_\Sigma$, ils construisent une famille à un paramètre de métriques $g_{\mu,b}$ (dépendant d'un point $b \in \Sigma$ et d'un paramètre d'échelle $\mu$).

• Objectif : Déformer la surface $(\Sigma, g_\Sigma)$ en une sphère poinçonnée de manière contrôlée.
• Construction : Ils définissent d'abord des métriques pondérées $\bar{g}_{\mu,b}$ qui étirent une petite boule autour de $b$ pour qu'elle devienne une hémisphère, tout en rétrécissant le reste de la surface.
• Difféomorphismes clés : Pour éviter les déformations conformes inefficaces, ils introduisent une famille de difféomorphismes $T_{\mu,b}$ qui "replient" la géométrie. Les métriques finales sont $g_{\mu,b} = T_{\mu,b}^* \bar{g}_{\mu,b}$.
• Propriété cruciale : Cette construction permet de déformer la métrique vers une métrique singulière (sphère poinçonnée) avec une vitesse de variation très faible en norme $L^2$ ($\|\partial_\mu g_{\mu,b}\|_{L^2} \sim \mu^{-2}$), ce qui est essentiel pour les estimations.

B. Un nouveau flot gradient

Ils introduisent un flot gradient $L^2$ couplé qui fait évoluer à la fois l'application $u$ et la métrique $g$ dans la famille $G_b$ :
$$\begin{cases} \partial_t u = \tau_g(u) & \text{(Champ de tension)} \\ \partial_t g = \frac{1}{2} P_{T_g G_b} (k(u,g)) & \text{(Projection du tenseur d'énergie)} \end{cases}$$
où $k(u,g)$ est le tenseur de contrainte d'énergie et $P$ est la projection orthogonale sur l'espace tangent à la famille de métriques.

• Ce flot permet de faire "glisser" la carte initiale $v$ vers une application harmonique sur la sphère poinçonnée tout en ajustant la métrique pour suivre la concentration de l'énergie.

C. Estimations de Łojasiewicz

Le cœur de l'analyse repose sur des inégalités de type Łojasiewicz pour l'énergie restreinte $E_b$ sur l'espace produit $H^1 \times G_b$.

• Ils établissent une estimation de la forme :
  $$|E(u,g) - 4\pi| \le C \|\nabla E_b(u,g)\|_{L^2}^2$$
• Cette estimation est prouvée pour des applications proches d'un arbre de bulles simple. Elle garantit que si le défaut d'énergie est petit, la carte est proche d'un minimiseur généralisé et empêche la formation de "cols" (necks) non triviaux lors de la dégénérescence de la géométrie.

3. Résultats Principaux

Le théorème principal (Théorème 1.1) établit des bornes optimales (sharp) reliant le défaut d'énergie $\delta_v$ à la distance aux minimiseurs généralisés.

Pour toute application $v \in H^1(\Sigma, S^2)$ de degré 1 avec $\delta_v$ suffisamment petit, il existe une rotation $R \in SO(3)$, un point de concentration $a \in \Sigma$, une constante $p \in S^2$ et une échelle $\lambda > 1$ tels que :

1. Concentration de l'énergie (Échelle) :
   $$\lambda^{-1} \le C \delta_v^{1/2}$$
   L'échelle de concentration est contrôlée par la racine carrée du défaut d'énergie.

2. Comportement loin du point de concentration :
   La carte est proche d'une constante $p$ sur $\Sigma \setminus B_R(a)$ :
   $$\|\nabla v\|_{L^2(\Sigma \setminus B_R(a))} \le C R^{-1} \delta_v^{1/2}$$
   $$\|v - p\|_{L^2(\Sigma)} \le C \delta_v^{1/2} (1 + |\log \delta_v|)^{1/2}$$
   Le terme logarithmique dans la norme $L^2$ est optimal.

3. Comportement dans la région de concentration :
   Dans les coordonnées conformes locales autour de $a$, la carte est proche de la bulle $R \pi_\lambda$ :
   $$\|v_a - R \pi_\lambda\|_{H^1(D_\iota, g_{\pi,\lambda})} \le C \delta_v^{1/2}$$

Optimalité : Les auteurs démontrent que les exposants $1/2$ et le terme logarithmique sont optimaux, en construisant des exemples où ces bornes sont atteintes.

4. Contributions Clés et Innovations

• Gestion du changement de topologie : Contrairement aux travaux précédents (comme ceux sur la sphère ou les applications de degré supérieur) qui exploitent les symétries du domaine, ce papier traite le cas où le domaine et la limite ont des topologies différentes (genre $>0$ vs sphère). La méthode de déformation dynamique de la métrique est une innovation majeure.
• Estimations quantitatives optimales : Ils fournissent les premières estimations quantitatives précises pour ce problème où l'ensemble des minimiseurs est non compact et non atteint.
• Nouveau flot couplé : L'utilisation d'un flot qui évolue simultanément la carte et la métrique (via une famille de métriques spécifique) permet de contourner les difficultés liées à la dégénérescence de la géométrie et à la formation de bulles.
• Estimations de Łojasiewicz adaptées : Ils prouvent des estimations de Łojasiewicz spécifiques au contexte des métriques dégénérantes, excluant la formation de cols d'énergie résiduelle.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Complétude théorique : Il résout un problème ouvert concernant la stabilité quantitative pour les applications de degré 1 sur des surfaces de genre positif, un cas où la stabilité classique échoue.
2. Outils analytiques : Les techniques développées (déformation de métrique contrôlée, flot couplé, analyse sur des familles de métriques dégénérantes) ouvrent la voie à l'étude d'autres problèmes variationnels où les minimiseurs sont singuliers ou où la topologie change.
3. Applications potentielles : Comme mentionné dans l'introduction, l'énergie de Dirichlet (ou énergie d'échange) est cruciale en science des matériaux (modèles de ferromagnétisme, cristaux liquides). Comprendre la stabilité quantitative des configurations à faible énergie est essentiel pour modéliser le comportement de ces matériaux, en particulier près des singularités ou des défauts topologiques.
4. Précision des bornes : La démonstration de l'optimalité des exposants et du terme logarithmique établit une référence rigoureuse pour les futurs travaux sur la stabilité des applications harmoniques.

En résumé, ce papier apporte une réponse définitive et quantitative à la question de la stabilité des minimiseurs d'énergie de Dirichlet sur des surfaces de genre positif, en introduisant des méthodes géométriques et analytiques sophistiquées pour gérer la concentration d'énergie et le changement de topologie.