Equi-integrable approximation of Sobolev mappings between manifolds

Cet article démontre que les limites de suites d'applications lisses entre variétés riemanniennes compactes, dont l'énergie de Sobolev $W^{1, p}$ est équitablement intégrable, peuvent toujours être fortement approchées par des applications lisses, étendant ainsi un résultat de densité de Hang aux espaces $W^{1, p}$ pour $p \ge 2$ et aux espaces de Sobolev d'ordre supérieur.

L'essentiel

Voici une explication de ce travail mathématique, traduite dans un langage simple et imagé pour le grand public.

Le Titre : "Comment lisser les plis d'une carte déformée"

Imaginez que vous êtes un cartographe. Vous avez une carte du monde (un manifold, ou variété) et vous devez dessiner des routes ou des frontières sur une autre carte (une autre variété, disons une sphère ou un tore).

En mathématiques, on s'intéresse aux "cartes" qui sont un peu abîmées, qui ont des plis, des déchirures ou des zones où le dessin devient flou. On appelle cela des applications de Sobolev. Ce sont des fonctions qui, bien que globalement correctes, peuvent avoir des points où elles ne sont pas lisses (comme une feuille de papier froissée).

Le problème principal de ce papier est le suivant : Peut-on toujours remplacer une carte abîmée par une carte parfaitement lisse (un dessin parfait) sans changer grand-chose ?

Le Conflit : La "Lissage" vs. La "Densité"

Dans le monde idéal des mathématiques, on aimerait dire : "Oui, peu importe à quel point votre carte est froissée, je peux toujours la lisser progressivement jusqu'à obtenir un dessin parfait."

C'est ce qu'on appelle l'approximation forte. C'est comme prendre un papier froissé et le lisser avec un fer à repasser jusqu'à ce qu'il soit plat.

Cependant, il y a un obstacle. Parfois, la carte est froissée à cause d'un nœud topologique.

• Imaginez que vous devez dessiner un chemin sur une sphère qui part du pôle Nord, fait le tour de l'équateur et revient au Nord. Si vous essayez de lisser ce chemin, vous pouvez le faire.
• Mais imaginez que votre destination est un tore (un beignet) et que votre chemin fait un nœud impossible à défaire sans couper le papier. Si vous essayez de lisser ce chemin, vous allez soit créer une déchirure, soit le nœud va rester.

Les mathématiciens savaient déjà que pour certains types de "froissements" (quand l'énergie de la déformation est très faible, comme dans le cas $p=1$), on pouvait toujours lisser. Mais pour des cas plus complexes (quand $p \ge 2$), c'était un mystère. On pensait que certains nœuds mathématiques empêchaient le lissage complet.

La Révolution du Papier : L'Énergie "Équi-intégrable"

L'auteur, Jean Van Schaftingen, apporte une réponse surprenante et élégante. Il dit :

"Peu importe le type de nœud ou de froissement, si la façon dont vous lissez la carte respecte une règle précise (l'équi-intégrabilité), alors vous pouvez toujours obtenir un dessin parfait."

L'analogie du "Fer à Repasser Intelligent"

Pour comprendre ce résultat, imaginez deux façons de lisser une carte froissée :

1. Le lissage classique (Faible) : Vous passez le fer à repasser, mais vous laissez parfois des zones très chaudes et très concentrées qui brûlent le papier localement. Le résultat global semble lisse, mais il y a des micro-déchirures invisibles. C'est ce qu'on appelle la convergence faible.
2. Le lissage équi-intégrable (Le secret du papier) : Vous utilisez un fer à repasser "intelligent". Il chauffe partout de manière uniforme. Il ne laisse jamais une zone devenir trop chaude par rapport aux autres. Il répartit l'énergie de manière équitable.

Le résultat de Van Schaftingen est que si vous utilisez ce fer intelligent (l'équi-intégrabilité), alors le résultat final est toujours un dessin parfait.

En d'autres termes : Le fait de lisser une carte de manière "douce et uniforme" (équi-intégrable) est exactement la même chose que de réussir à la lisser complètement (approximation forte).

Pourquoi c'est important ?

Avant ce papier, on pensait que pour certains cas complexes (quand $p$ est un entier supérieur ou égal à 2), il existait des obstacles invisibles qui empêchaient le lissage, même avec les meilleures techniques.

Ce papier prouve que ces obstacles n'existent pas si on contrôle bien l'énergie du lissage.

• C'est comme si on découvrait que tous les nœuds de ficelle peuvent être défaits, à condition de ne jamais tirer trop fort sur un seul point de la ficelle.

Les autres découvertes du papier

L'auteur ne s'arrête pas là. Il montre que cette règle fonctionne aussi :

1. Pour des cartes plus complexes (Ordre supérieur) : Même si votre carte a des courbures multiples (pas juste des plis, mais des vagues), la règle tient toujours.
2. Pour des cartes "fractionnaires" : Même si votre carte est définie de manière un peu étrange (entre deux dimensions), la règle tient.
3. La preuve par la "Cohomologie" : Il utilise des outils de topologie (l'étude des trous et des nœuds) pour montrer que si votre lissage respecte les lois de la physique (comme la conservation du flux ou de la charge), alors le résultat est parfait.

En résumé

Ce papier est une victoire de la logique sur l'intuition. Il nous dit que dans le monde des formes géométriques complexes, la régularité n'est pas un luxe, mais une conséquence de l'équité.

Si vous traitez votre "carte" avec équité (en répartissant uniformément l'effort de lissage), vous ne rencontrerez jamais d'obstacle insurmontable. Vous pourrez toujours transformer une forme imparfaite en une forme parfaite, lisse et continue.

C'est une belle démonstration que, parfois, la clé pour résoudre un problème complexe (défaire un nœud mathématique) n'est pas de forcer davantage, mais de répartir la force de manière plus intelligente.

Résumé technique

Voici un résumé technique détaillé de l'article « Equi-integrable Approximation of Sobolev Mappings Between Manifolds » de Jean Van Schaftingen, rédigé en français.

1. Problématique et Contexte

L'article s'intéresse à la théorie de l'approximation des applications de Sobolev entre deux variétés riemanniennes compactes $M$ et $N$. Soit $W^{1,p}(M, N)$ l'espace des applications $u \in W^{1,p}(M, \mathbb{R}^\nu)$ telles que $u(x) \in N$ presque partout.

Le problème central est de déterminer si une application $u \in W^{1,p}(M, N)$ peut être approchée fortement par des applications lisses $C^\infty(M, N)$. On note :

• $H^{1,p}_{St}(M, N)$ : l'adhérence forte des applications lisses (approximation forte).
• $H^{1,p}_{Bd}(M, N)$ : l'adhérence séquentielle bornée (convergence forte en $L^p$ et énergie bornée).
• $H^{1,p}_{Wk}(M, N)$ : l'adhérence séquentielle faible (convergence faible dans $W^{1,p}$).
• $H^{1,p}_{Ei}(M, N)$ : l'adhérence séquentielle équi-intégrable (convergence forte en $L^p$ et équivalence des dérivées au sens de l'équi-intégrabilité).

Le conflit connu :

• Pour $p \ge \dim M$ ou $p \notin \mathbb{N}$, l'approximation forte est souvent possible (sous certaines conditions topologiques).
• Pour $1 \le p < \dim M$et$p \in \mathbb{N}$, l'approximation forte échoue souvent à cause d'obstructions topologiques (groupes d'homotopie non triviaux).
• Un résultat célèbre de Hang (2005) a montré que pour $p=1$, l'adhérence faible coïncide avec l'adhérence forte ($H^{1,1}_{Wk} = H^{1,1}_{St}$), ce qui semblait être une exception liée à la dimension 1 et à la continuité des applications.
• Pour $p \ge 2$, l'adhérence faible est strictement plus grande que l'adhérence forte en général ($H^{1,p}_{Wk} \neq H^{1,p}_{St}$).

La question de l'auteur : Existe-t-il un cadre unificateur expliquant pourquoi l'approximation forte échoue pour $p \ge 2$ mais réussit pour $p=1$ dans le cadre faible, et quel est le rôle de l'équi-intégrabilité ?

2. Méthodologie

L'auteur développe une approche combinant l'analyse fonctionnelle, la topologie algébrique et les estimations de régularité.

A. Définition de l'approximation équivalente

L'article introduit et étudie l'espace $H^{1,p}_{Ei}(M, N)$, défini comme l'ensemble des limites de suites d'applications lisses $(u_n)$ telles que :

1. $u_n \to u$ fortement dans $L^p$.
2. La suite des gradients $(|Du_n|)$ est équi-intégrable (c'est-à-dire que la masse de l'énergie ne se concentre pas sur des ensembles de mesure nulle).

La condition d'équi-intégrabilité est définie par :
$$\lim_{t \to \infty} \sup_{n \in \mathbb{N}} \int_M (|Du_n| - t)_+^p = 0$$

B. Outils d'Homotopie et VMO

L'auteur utilise des techniques de homotopie dans l'espace VMO (Vanishing Mean Oscillation), inspirées des travaux de Brezis, Nirenberg, Schoen et Uhlenbeck.

• Propriété clé : Si deux applications sont proches en norme VMO (ou si leur énergie est concentrée sur des ensembles de petite mesure), elles sont homotopes.
• L'auteur prouve que la convergence équivalente préserve l'homotopie sur les squelettes de dimension $p$ de la variété $M$.

C. Techniques de Troncature et d'Interpolation

• Pour $p=1$ : Utilisation de l'inégalité de Sobolev tronquée en dimension 1 et de la formule de représentation de Sobolev pour contrôler la distance uniforme sur des complexes simpliciaux.
• Pour $p > 1$ : Utilisation d'inégalités d'interpolation de type Gagliardo-Nirenberg et de la fonction maximale de Hardy-Littlewood pour relier l'équi-intégrabilité de $D^k u$ à celle de $Du$.
• Technique de "Screening" (Dépistage) : Une méthode développée par Bousquet, Ponce et l'auteur, permettant de montrer que pour presque tout choix de coordonnées (ou de triangulation générique), les restrictions de la suite convergente aux sous-variétés de dimension $p$ deviennent homotopes à des applications lisses.

D. Cohomologie et Jacobiens

Pour les cas où des critères cohomologiques (Bethuel, Coron, Demengel, Hélein) caractérisent l'obstruction à l'approximation forte, l'auteur utilise la continuité faible des Jacobiens (ou des pull-backs de formes différentielles) sous convergence équivalente.

3. Résultats Principaux

Théorème Principal (Théorème 1.1)

Soient $M$ et $N$ des variétés riemanniennes compactes et $p \in [1, \infty)$. Alors :
$$H^{1,p}_{St}(M, N) = H^{1,p}_{Ei}(M, N)$$
Interprétation : Une application de Sobolev peut être approchée fortement par des applications lisses si et seulement si elle peut être approchée par une suite d'applications lisses dont les gradients sont équivalentes.

Conséquences immédiates :

1. Cas $p=1$ : Ce résultat généralise le théorème de Hang. Il montre que le résultat de Hang n'est pas une exception, mais une manifestation du fait que l'approximation faible avec équivalence d'intégrabilité est équivalente à l'approximation forte.
2. Cas $p \ge 2$ : Si une application $u$ est dans l'adhérence faible $H^{1,p}_{Wk}$ mais pas dans l'adhérence forte $H^{1,p}_{St}$, alors la suite approchante ne peut pas être équivalente. Il y a nécessairement une concentration d'énergie (formation de singularités) qui empêche l'approximation forte.
3. Cas $p \notin \mathbb{N}$ : L'équivalence est triviale car la convergence ponctuelle équivalente implique la convergence forte.

Extension aux Espaces d'Ordre Supérieur (Théorème 3.1)

Le résultat s'étend aux espaces de Sobolev d'ordre supérieur $W^{k,p}(M, N)$ :
$$H^{k,p}_{St}(M, N) = H^{k,p}_{Ei}(M, N)$$
La preuve pour $p=1$ utilise l'embedding $W^{k,1} \subset C^0$ pour éviter les subtilités du VMO, tandis que pour $p>1$, elle repose sur l'interpolation entre les dérivées d'ordre $k$ et $1$.

Extension aux Espaces Fractionnaires (Section 4)

Pour les espaces $W^{s,p}$ avec $s \notin \mathbb{N}$, l'équi-intégrabilité et la convergence forte coïncident naturellement, rendant le résultat trivial mais cohérent avec le cadre général.

Lien avec la Cohomologie (Section 5)

L'auteur montre que si les obstructions à l'approximation forte sont décrites par des conditions de cohomologie (pull-back de formes fermées), alors ces conditions sont préservées par la convergence équivalente. Cela permet de déduire le Théorème 1.1 des critères connus de Bethuel et al. pour certaines variétés cibles.

4. Signification et Impact

1. Unification des résultats : L'article résout l'apparente contradiction entre le résultat de Hang ($p=1$) et le comportement pour $p \ge 2$. Il établit que la propriété fondamentale n'est pas la dimension, mais la nature de la convergence (forte vs faible bornée vs équivalente).
2. Caractérisation des singularités : Il fournit un critère précis pour l'échec de l'approximation forte : l'existence d'une suite approchante bornée mais non équivalente (concentration d'énergie).
3. Outils pour l'analyse non-linéaire : Les techniques développées, notamment l'utilisation de l'homotopie sur les squelettes via des intégrales tronquées et la stabilité des Jacobiens sous équivalence, sont des outils puissants pour l'étude des équations aux dérivées partielles non-linéaires et des modèles physiques (comme les modèles de Ginzburg-Landau ou les cartes harmoniques).
4. Généralité : Le résultat s'applique à des variétés arbitraires (domaine et cible) et à tous les ordres de dérivées, offrant un cadre robuste pour l'analyse variationnelle sur les variétés.

En résumé, Jean Van Schaftingen démontre que l'approximation forte par des applications lisses est équivalente à l'approximation par des applications lisses dont l'énergie est équivalente, un résultat qui clarifie la structure topologique et analytique des espaces de Sobolev non-linéaires.