Liftings of Sobolev maps into closed Riemannian manifolds via double coverings and minimal connections relative to planar sets, with an application to ferronematics

Titre

Relèvements de applications de Sobolev vers des variétés riemanniennes fermées via des revêtements doubles et connexions minimales relatives à des ensembles plans, avec une application aux ferronématiques.

1. Problème Étudié

L'article s'intéresse au problème de relèvement (lifting) d'applications $u : \Omega \to N$, où $\Omega \subseteq \mathbb{R}^2$ est un domaine planaire et $N$ est une variété riemannienne fermée (compacte sans bord). Le but est de déterminer si $u$ peut être factorisé sous la forme $u = \Pi \circ v$, où $\Pi : E \to N$ est un revêtement double (un revêtement à deux feuillets) et $v : \Omega \to E$ est une application de régularité comparable (dans les espaces de Sobolev $W^{1,p}$ ou de variation bornée $BV$).

Le contexte spécifique de l'article est l'étude des singularités topologiques non orientables. Contrairement aux cas classiques où le relèvement est possible sur des domaines simplement connexes pour des applications continues, la régularité faible (Sobolev) et la présence de singularités rendent le problème délicat. Les auteurs se concentrent sur le cas où les singularités de $u$ empêchent un relèvement continu global, forçant le relèvement $v$ à présenter des sauts (discontinuités).

Une application majeure traitée est le modèle des ferronématiques, des matériaux composites constitués de nanoparticules magnétiques suspendues dans un cristal liquide nématique. Le système est décrit par deux paramètres d'ordre : le tenseur $Q$ (orientation des molécules de cristal liquide) et le vecteur d'aimantation $M$. L'interaction entre ces deux champs crée des défauts linéaires (dislocations) reliant des défauts ponctuels.

2. Méthodologie

La méthodologie repose sur une combinaison d'analyse géométrique, de théorie des courants (mod 2) et d'analyse variationnelle asymptotique.

• Géométrie des Connexions Minimales :
  Les auteurs définissent une notion de connexion minimale relative pour un ensemble de points $\{a_1, \dots, a_p\}$ dans $\Omega$. Une connexion est un ensemble fini de segments de droite fermés $\{L_1, \dots, L_q\}$ tels que :

  1. Chaque segment est contenu dans $\Omega$.
  2. Chaque segment relie deux points singuliers ou un point singulier au bord $\partial\Omega$.
  3. Chaque point singulier $a_i$ est une extrémité d'un nombre impair de segments.
     La longueur minimale de telle connexion est notée $L_\Omega(a_1, \dots, a_p)$. Cette notion diffère de celle de Brezis-Coron-Lieb par le fait qu'elle n'est pas orientée (mod 2).

• Théorie des Ensembles de Périmètre Fini :
  Pour analyser le relèvement $v \in SBV$ (Sous-Ensemble de Variation Bornée), les auteurs utilisent la structure des ensembles de périmètre fini dans le plan. Ils exploitent un résultat d'Ambrosio, Caselles, Masnou et Morel sur la décomposition de la frontière essentielle d'un ensemble de périmètre fini en une union dénombrable de courbes de Jordan rectifiables.
  Ils établissent un lien entre l'ensemble de saut $J_v$ du relèvement et la différence symétrique entre un ensemble de périmètre fini $A$ et la connexion minimale, montrant que la longueur de $J_v$ est minorée par la longueur de la connexion minimale.

• Analyse Asymptotique ($\Gamma$-convergence) :
  Pour le modèle de ferronématiques, ils étudient la limite $\varepsilon \to 0$ d'un fonctionnel d'énergie libre $F_\varepsilon(Q, M)$ de type Ginzburg-Landau/Allen-Cahn.

  • Le terme $Q$ suit une dynamique de type Ginzburg-Landau (concentration d'énergie en points).
  • Le terme $M$ suit une dynamique de type Allen-Cahn (transition de phase entre deux minima du potentiel).
  • Une transformation de variable astucieuse permet de découpler partiellement les énergies et de révéler une structure de profil optimal de transition pour le champ magnétique $M$ le long des lignes de défauts.

3. Contributions Clés et Résultats Principaux

A. Théorème 1 : Minoration de la longueur du saut

Soit $\Pi: E \to N$ un revêtement double lisse. Pour une application $u \in W^{1,1}(\Omega, N)$ possédant des singularités non orientables en $a_1, \dots, a_p$ et des singularités orientables en $b_1, \dots, b_r$, tout relèvement $v \in SBV(\Omega, E)$ satisfait :
$$\mathcal{H}^1(J_v) \ge L_\Omega(a_1, \dots, a_p)$$
où $\mathcal{H}^1$ est la mesure de Hausdorff 1-dimensionnelle (longueur).

• Égalité : L'égalité est atteinte si et seulement si l'ensemble de saut $J_v$ coïncide (à une négligeable près) avec une connexion minimale $\{L_1, \dots, L_q\}$ pour les points singuliers non orientables.
• Signification : Ce résultat généralise des travaux antérieurs (notamment [23]) en supprimant l'hypothèse de convexité du domaine et en autorisant des conditions aux limites mixtes. Il établit que la "dette topologique" imposée par les singularités non orientables se traduit inévitablement par une longueur de discontinuité minimale dans le relèvement.

B. Théorème 2 : Application aux Ferronématiques

Les auteurs analysent les minimiseurs $(Q_\varepsilon, M_\varepsilon)$ du fonctionnel d'énergie sous des conditions aux limites mixtes :

• Condition de Dirichlet pour le tenseur $Q$ (fixé sur le bord).
• Condition de Neumann homogène pour le vecteur d'aimantation $M$ (pas de flux à travers le bord).

Ils démontrent que, lorsque $\varepsilon \to 0$ :

1. Convergence : $Q_\varepsilon$ converge fortement vers une application harmonique canonique $Q_*$ avec des singularités non orientables en un ensemble de points $\{a_1^*, \dots, a_{2|d|}^*\}$, où $d$ est le degré topologique du bord.
2. Structure de $M_*$ : Le vecteur d'aimantation limite $M_*$ appartient à $SBV$, a une norme constante, et son champ de vecteurs unitaires (après normalisation) est un relèvement de $Q_*$.
3. Localisation des défauts : L'ensemble de saut $J_{M_*}$ est exactement une connexion minimale reliant les points singuliers de $Q_*$.
4. Énergie Minimale : Les positions des points singuliers $\{a_i^*\}$ minimisent une énergie renormalisée modifiée :
   $$W_\beta^\Omega(a_1, \dots, a_{2|d|}) = W(a_1, \dots, a_{2|d|}) + c_\beta L_\Omega(a_1, \dots, a_{2|d|})$$
   où $W$ est l'énergie de Ginzburg-Landau classique et $c_\beta L_\Omega$ représente le coût énergétique des lignes de défauts magnétiques reliant les points.

4. Signification et Impact

• Théorique : Ce travail fournit une caractérisation géométrique précise des défauts linéaires dans les systèmes couplés. Il établit un lien rigoureux entre la topologie des singularités ponctuelles (non orientables) et la formation de structures linéaires (connexions minimales) dans le cadre des espaces $SBV$. La généralisation aux domaines non convexes et aux conditions aux limites mixtes est une avancée significative par rapport à la littérature existante.
• Physique (Ferronématiques) : L'article explique mathématiquement pourquoi, dans les ferronématiques, les défauts magnétiques ne se forment pas de manière aléatoire mais s'organisent en réseaux de lignes minimales reliant les défauts ponctuels du cristal liquide. Cela valide et précise les modèles physiques suggérant que le couplage entre l'ordre nématique et l'aimantation force la formation de ces "ponts" énergétiques.
• Méthodologique : L'utilisation de la théorie des ensembles de périmètre fini et des courants mod 2 pour traiter les problèmes de relèvement sans recourir explicitement à la théorie complexe des courants (tout en en utilisant la structure homologique) offre une approche robuste et adaptable à d'autres problèmes variationnels impliquant des contraintes topologiques.

En résumé, l'article résout un problème fondamental de relèvement en régularité faible et l'applique avec succès pour prédire la structure des défauts dans un système de matière molle complexe, unifiant ainsi l'analyse géométrique des singularités et la modélisation physique des matériaux composites.