On a Problem Posed by Brezis and Mironescu

Ce papier apporte une réponse affirmative à un problème ouvert posé par H. Brezis et P. Mironescu, démontrant que la masse minimale des courants rectifiables intégraux minimisant l'aire avec une frontière donnée coïncide avec l'infimum des aires parmi les sous-variétés lisses immergées partageant cette même frontière.

L'essentiel

Le Défi de Brezis et Mironescu : Quand les surfaces parfaites rencontrent les surfaces "réelles"

Imaginez que vous êtes un architecte ou un sculpteur. Votre tâche est de créer une surface (comme une membrane, une toile d'araignée ou une peau) qui relie deux contours donnés. Mais il y a une règle stricte : vous voulez utiliser le moins de matière possible. Vous cherchez la surface la plus légère, la plus économe en énergie.

C'est le cœur du problème posé par les mathématiciens Brezis et Mironescu dans leur livre. Ils se demandent : "Si je cherche la surface la plus petite possible qui relie deux bords, est-ce que je peux toujours trouver une surface 'lisse' et parfaite (comme une feuille de papier) qui atteint ce minimum ? Ou bien le vrai minimum n'existe-t-il que dans un monde théorique, un peu 'cassé' ou irrégulier ?"

Les auteurs de ce papier, Fanghua Lin, Malkiel Shoshan et Changyou Wang, répondent OUI à une question précise : même si la surface idéale est un peu "cassée" (mathématiquement appelée courant rectifiable intégral), on peut toujours s'en approcher aussi près que l'on veut avec une surface lisse et parfaite.

Voici comment ils procèdent, étape par étape, avec des images simples.

1. Les deux mondes : Le monde des "Courants" et le monde des "Surfaces Lisses"

Pour comprendre le problème, il faut distinguer deux façons de voir les surfaces :

• Le monde des "Courants" (La réalité brute) : Imaginez une surface qui peut avoir des plis très serrés, des points où elle se coupe, ou des singularités (des endroits "cassés"). C'est un objet mathématique très flexible qui permet de trouver le vrai minimum d'aire. C'est comme si la nature trouvait la solution la plus efficace, même si elle est un peu "moche" ou irrégulière à certains endroits.
• Le monde des "Surfaces Lisses" (L'idéal) : Ici, on ne veut que des surfaces parfaites, sans aucun point cassé, comme une feuille de soie tendue. C'est ce que les humains préfèrent construire.

Le problème : Est-ce que le minimum d'aire trouvé dans le monde "brut" (avec les cassures) est exactement le même que le minimum qu'on peut trouver dans le monde "lisse" ? Ou bien, le monde lisse est-il obligé d'utiliser un peu plus de matière ?

La réponse de Brezis et Mironescu était : "Oui, c'est pareil". Mais ils n'avaient pas prouvé le cas général. Ce papier le prouve.

2. La Stratégie : Le "Patchwork" Magique

Pour prouver que l'on peut s'approcher de la surface "brute" avec une surface "lisse", les auteurs utilisent une technique ingénieuse qu'on pourrait appeler le "Patchwork de réparation".

Imaginez que vous avez la surface idéale (celle qui a le moins de matière possible), mais elle a un petit défaut : un point cassé au milieu (appelé ensemble singulier).

• Étape 1 : Le perçage. Ils prennent un petit couteau et découpent un petit trou autour de ce point cassé. Ils enlèvent la partie abîmée.
  • Analogie : C'est comme si vous aviez un vieux pull avec un trou, et vous coupez le morceau abîmé autour du trou.
• Étape 2 : L'inversion (Le miroir magique). Ils prennent la partie restante du pull (qui est maintenant un peu plus petite) et la projettent dans un "miroir sphérique". Cette opération mathématique (l'inversion sphérique) rétrécit énormément cette partie.
  • Analogie : Imaginez que vous prenez une grande carte du monde et que vous la pliez pour qu'elle tienne dans une balle de ping-pong. Elle devient minuscule, mais elle garde sa forme générale.
• Étape 3 : Le pont (Le cône). Maintenant, ils ont deux morceaux séparés : le grand morceau original (avec un trou) et le tout petit morceau rétréci (avec un trou). Ils doivent les relier. Ils construisent un "pont" ou un entonnoir (un cône) qui relie les bords des deux trous.
  • Analogie : C'est comme souder deux pièces de tissu ensemble avec un petit tube conique.
• Le résultat : La nouvelle surface est lisse partout ! Elle n'a plus de point cassé. Et grâce à la magie des mathématiques, la surface de ce "pont" et du "morceau rétréci" est si petite qu'elle n'ajoute presque rien au poids total.

En résumé, ils ont pris une surface imparfaite, retiré la partie imparfaite, et l'ont remplacée par une structure lisse et légère qui imite presque parfaitement l'originale.

3. Pourquoi ce n'est pas toujours un "Minimum" parfait ?

À la fin du papier, les auteurs ajoutent une petite note importante. Ils disent : "Nous avons prouvé qu'on peut s'approcher aussi près que l'on veut de la surface idéale avec une surface lisse. Mais est-ce qu'il existe une surface lisse qui atteint exactement ce minimum ?"

La réponse est NON.

L'analogie du pont cassé :
Imaginez deux îles très éloignées l'une de l'autre.

• Si vous voulez construire un pont (une surface) entre elles, la solution mathématique la plus efficace pourrait être deux petits ponts séparés, un sur chaque île, qui ne se touchent jamais.
• Mais si vous exigez que votre pont soit une seule pièce lisse et continue (un seul objet), vous serez obligé de construire un pont géant qui traverse tout l'espace entre les îles. Ce pont géant utilisera beaucoup plus de matière que les deux petits ponts séparés.
• Dans ce cas, le "minimum absolu" (les deux petits ponts) n'est pas atteignable par une surface lisse et unique. On peut seulement s'en approcher de plus en plus près en faisant des ponts de plus en plus fins, mais on ne l'atteindra jamais exactement.

Conclusion

Ce papier est une victoire pour les mathématiciens. Il confirme que même si la solution mathématique la plus efficace est parfois "cassée" ou irrégulière, nous pouvons toujours la modéliser avec des surfaces lisses et parfaites, avec une précision arbitraire.

C'est comme dire : "Même si la nature préfère une solution un peu 'brute' pour économiser de l'énergie, nous, les humains, pouvons construire une version 'lisse' qui est presque aussi bonne, et nous pouvons la rendre aussi proche de la perfection que nous le souhaitons."

C'est une belle démonstration de la puissance des mathématiques pour relier le monde théorique (parfois imparfait) au monde pratique (lisse et constructible).

Résumé technique

Voici un résumé technique détaillé de l'article « On a problem posed by Brezis and Mironescu » de Fanghua Lin, Malkiel Shoshan et Changyou Wang, rédigé en français.

1. Problématique et Contexte

L'article répond à une question ouverte soulevée par Haim Brezis et Petru Mironescu dans leur ouvrage Sobolev Maps to the Circle (Proposition 4.3). Le problème central concerne l'équivalence entre deux définitions de la « masse minimale » (ou aire minimale) pour une variété de dimension $l$ donnée, notée $T$, qui est le bord d'une variété de dimension $(l+1)$.

Soit $\Omega \subset \mathbb{R}^N$ un ouvert convexe borné. On définit deux quantités pour une frontière $T$ (appartenant à une classe spécifique de courants) :

1. $A_l(T)$ : L'infimum des masses $M(\Gamma)$ parmi tous les courants rectifiables entiers $(l+1)$-dimensionnels $\Gamma \subset \Omega$ tels que $\partial \Gamma = T$. L'existence d'un courant minimisant est garantie par la théorie classique de Federer et Fleming.
2. $A_l^0(T)$ : L'infimum des aires $|M|$ parmi toutes les variétés $(l+1)$-dimensionnelles lisses, immergées et orientées $M \subset \Omega \times \mathbb{R}$ telles que $\partial M = T$.

La question posée par Brezis et Mironescu est de savoir si ces deux infimums sont égaux, c'est-à-dire si :
$$A_l^0(T) = A_l(T)$$
Autrement dit, peut-on approximer arbitrairement bien un courant minimisant (qui peut avoir des singularités) par une variété lisse immergée, tout en conservant la même masse asymptotique ?

2. Méthodologie et Stratégie de Preuve

Les auteurs démontrent l'égalité $A_l^0(T) = A_l(T)$ en construisant une variété lisse $M_\varepsilon$ qui approxime le courant minimisant $\Gamma$ avec une erreur d'aire contrôlée ($O(\varepsilon)$). La preuve repose sur une stratégie de « coupe et colle » (cut-and-paste) combinant plusieurs outils avancés de la géométrie mesurée :

A. Régularité Partielle et Ensembles Singuliers

On part d'un courant rectifiable entier $\Gamma$ minimisant la masse ($M(\Gamma) = A_l(T)$). Selon le théorème de régularité partielle d'Almgren, l'ensemble singulier $S = \text{sing}(\Gamma)$ a une dimension de Hausdorff au plus $l-1$.

• Lemme 3.3 : Les auteurs construisent un voisinage tubulaire $E_{\varepsilon'}$ de l'ensemble singulier $S$ tel que le volume de ce voisinage et l'aire de sa frontière soient très petits (de l'ordre de $\varepsilon^2$ et $\varepsilon$ respectivement). Cela permet de « retirer » la partie singulière du courant sans perdre beaucoup de masse.

B. Inversion Sphérique

Pour combler les « trous » laissés par le retrait du voisinage tubulaire, les auteurs utilisent une inversion sphérique.

• Lemme 4.3 : En appliquant une inversion sphérique $f(x) = \frac{\varepsilon^2}{|x|^2}x$ à la partie restante du courant (et à une variété lisse de référence $M_0$ dont le bord est $T$), l'image obtenue $\tilde{A}$ a une mesure de Hausdorff $(l+1)$-dimensionnelle extrêmement petite (de l'ordre de $\varepsilon^{2l+2}$). Cela permet de « ramener » la géométrie à une échelle microscopique avec une aire négligeable.

C. Connexion par Cônes

Il reste à connecter la partie régulière du courant original (avec les trous) à l'image inversée (qui est petite et située loin).

• Lemme 5.1 : Les auteurs construisent un cône tronqué reliant la frontière du trou dans le courant original à la frontière de l'image inversée. Grâce aux estimations géométriques, l'aire de ce cône est contrôlée et reste de l'ordre de $\varepsilon$.

D. Régularisation Globale

La surface résultante est une union de variétés lisses (la partie régulière de $\Gamma$, le cône, et l'image inversée).

• Section 6 : Les auteurs montrent qu'il est possible de lisser localement les jonctions entre ces différentes pièces pour obtenir une variété globalement lisse et immergée $M_\varepsilon$, tout en contrôlant l'augmentation de la masse totale. Ils démontrent ainsi que $A_l^0(T) \le M(\Gamma) + C\varepsilon$.

3. Résultats Principaux

• Théorème 1.1 : Pour tout $T \in \mathcal{F}_l^0$ (c'est-à-dire $T$ est le bord d'une variété lisse immergée), on a l'égalité stricte :
  $$A_l^0(T) = A_l(T)$$
  Cela signifie que l'infimum des aires parmi les variétés lisses est exactement égal à la masse minimale des courants rectifiables entiers.

• Non-atteignabilité du minimum (Section 7) : Les auteurs fournissent un contre-exemple montrant que, même si les infimums sont égaux, le minimum n'est pas toujours atteint par une variété lisse.

  • Ils construisent une frontière $T$ (composée de deux copies décalées d'une variété $T_1$ non cobordante) telle que le courant minimisant $\Gamma$ possède nécessairement des singularités.
  • Toute variété lisse minimisant l'aire pour cette frontière devrait soit être discontinue (impossible pour une variété lisse connectée), soit avoir une aire arbitrairement grande si elle tente de relier les deux composantes sans singularité.
  • Conclusion : L'infimum $A_l^0(T)$ n'est pas un minimum ; il n'existe pas de variété lisse $M$ telle que $|M| = A_l(T)$.

4. Contributions Clés

1. Résolution d'une conjecture ouverte : Confirmation positive de la Proposition 4.3 de Brezis et Mironescu, établissant l'équivalence entre les minimisations dans l'espace des courants rectifiables et celui des variétés lisses immergées.
2. Technique de régularisation : Développement d'une méthode constructive explicite (inversion sphérique + cônes) pour approximer des courants singuliers par des variétés lisses, en contrôlant précisément les erreurs de masse.
3. Nuance sur l'existence : La distinction claire faite entre l'égalité des infimums et la non-existence d'un minimum dans la classe des variétés lisses, enrichissant la compréhension des limites de l'approximation lisse.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Théorie géométrique de la mesure : Il renforce le lien entre la théorie des courants (où les solutions existent grâce à la compacité) et la géométrie différentielle classique (où les solutions lisses sont souvent recherchées mais peuvent ne pas exister).
• Applications potentielles : La méthode d'approximation développée pourrait être utile dans d'autres problèmes variationnels où l'on cherche à approximer des solutions singulières par des objets réguliers.
• Clarification théorique : L'article clarifie la portée de la Proposition 4.3, en précisant que l'égalité des infimums est vraie, mais que l'existence d'un minimiseur lisse est fausse en général, ce qui est une distinction cruciale pour les analystes travaillant sur les applications harmoniques et les courants minimisants.

En résumé, Lin, Shoshan et Wang démontrent que l'on peut toujours approcher une solution singulière d'un problème de minimisation d'aire par des solutions lisses avec une perte d'aire arbitrairement faible, même si une solution lisse parfaite n'existe pas toujours.