Mean curvature flows with prescribed singular sets

Les auteurs construisent, pour tout ensemble fermé $K \subset \mathbb{R}^n$ et tout $m \geq 2$, une solution ancienne moyennement convexe de l'écoulement par courbure moyenne dans $\mathbb{R}^{m+n}$ dont l'ensemble singulier au premier temps est exactement $K \times \{0\}$.

L'essentiel

Le Titre : Sculpter l'Univers avec de la "Pâte à Modeler"

Imaginez que vous avez un bloc de pâte à modeler (l'espace) et que vous essayez de le faire fondre ou de le déformer selon une règle précise : la courbure moyenne. En mathématiques, c'est ce qu'on appelle le Flot de Courbure Moyenne. C'est comme si votre pâte à modeler cherchait naturellement à devenir aussi ronde et lisse que possible, comme une bulle de savon qui se contracte.

Le problème, c'est que souvent, en se contractant, la pâte finit par se déchirer ou former des points de rupture appelés singularités. Habituellement, ces déchirures sont très prévisibles : elles ressemblent à des points isolés ou à de fines lignes.

La grande question : Peut-on forcer cette pâte à se déchirer exactement là où on le veut ? Par exemple, peut-on créer une déchirure qui a la forme d'une fractale complexe, d'un nuage, ou d'une forme totalement chaotique ?

La Réponse de l'Auteur : "Oui, mais il faut changer la règle du jeu"

Raphael Tsiams, l'auteur de ce papier, répond par un grand OUI, mais avec une astuce géniale.

1. L'Analogie du Terrain de Jeu (La Métrique)

Imaginez que vous jouez au billard sur une table.

• Le cas normal (Espace Euclidien) : La table est parfaitement plate. Les billes roulent droit. Si vous essayez de faire une figure impossible, la physique de la table vous l'interdit. De même, dans un espace "normal" (plat), les déchirures de la pâte à modeler sont limitées à des formes simples.
• L'astuce de l'auteur : Tsiams dit : "Et si on courbait très légèrement la table de billard ?" Il ne s'agit pas de plier la table en deux, mais de la rendre infinitésimalement bosselée, de manière si subtile que l'œil humain ne verrait aucune différence avec une table plate.

En mathématiques, cela s'appelle changer la métrique (la règle qui définit la distance et la forme de l'espace). L'auteur montre que si on déforme l'espace de manière imperceptible (mais mathématiquement précise), on peut prescrire (ordonner) exactement où la pâte va se déchirer.

2. La Recette de la "Pâte à Modeler" (La Solution)

Pour réaliser cela, l'auteur utilise une recette en trois étapes :

• Étape 1 : Le Modèle de Base (Le Cylindre)
  Il commence par un objet simple qui se contracte de manière prévisible : un cylindre qui rétrécit jusqu'à disparaître. C'est comme un tube de dentifrice qu'on écrase. C'est stable, mais pas très intéressant.

• Étape 2 : Le "Brouillard" de Contrôle (La Fonction $h$)
  Il invente une fonction mathématique spéciale (appelée $h$) qui agit comme un thermostat invisible.

  • Là où il veut que la déchirure apparaisse (l'ensemble $K$), ce thermostat est "éteint" (valeur zéro).
  • Là où il veut que tout reste lisse, le thermostat est "allumé".
    Cette fonction guide la pâte à modeler pour qu'elle se comporte différemment selon l'endroit où elle se trouve, sans jamais casser les règles de la physique locale.

• Étape 3 : La Soudure Parfaite
  C'est la partie la plus difficile. Il faut prendre la solution simple (le cylindre) et la solution complexe (celle qui suit le thermostat) et les coller ensemble sans qu'on voie la couture.
  L'auteur utilise une technique mathématique avancée (inspirée de travaux récents sur les surfaces minimales) pour "coudre" ces deux mondes. Il crée une transition si douce que la pâte à modeler continue son chemin sans se rendre compte qu'elle a changé de règle du jeu.

Le Résultat Final : Un Chaos Contrôlé

Le résultat est stupéfiant :

1. Vous choisissez n'importe quelle forme fermée et compliquée (un point, une ligne, un ensemble fractal, un nuage de points). Disons que vous voulez que la déchirure ressemble à la forme de la France.
2. L'auteur construit un espace (très légèrement déformé) et une pâte à modeler qui, en se contractant, vont exactement former une déchirure en forme de France au moment où elles disparaissent.
3. Si vous regardez cet espace de loin, il semble parfaitement plat et normal. La déformation est si fine qu'elle est invisible à l'œil nu, mais elle suffit à changer le destin de la pâte.

Pourquoi est-ce important ?

Pendant longtemps, les mathématiciens pensaient que la nature des déchirures dans l'espace plat était très rigide et limitée (comme le suggéraient des travaux antérieurs).
Ce papier dit : "Non, la rigidité n'est pas une loi fondamentale de la nature, c'est juste une conséquence de l'espace étant parfaitement plat."

Dès qu'on accepte de changer l'espace de manière infinitésimale, tout devient possible. C'est comme si on découvrait que l'univers a une "mémoire" ou une "flexibilité" cachée qui permet de sculpter le chaos avec une précision chirurgicale.

En résumé :
C'est comme si un architecte disait : "Si vous voulez que votre château s'effondre uniquement sur les tours, mais pas sur les murs, vous devez construire le sol avec une pente invisible et précise. Une fois le sol posé, la gravité fera le reste, et l'effondrement suivra exactement votre plan, même si ce plan est une forme de fractale impossible."

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans l'étude de l'écoulement par courbure moyenne (MCF) des hypersurfaces. Un thème central de ce domaine est la formation et la structure des singularités, en particulier pour les écoulements moyennement convexes (où la courbure moyenne est non négative).

Des résultats structurels profonds (White, Huisken-Sinestrari, Colding-Minicozzi) ont établi que, dans l'espace euclidien $\mathbb{R}^{n+1}$, l'ensemble des singularités d'un écoulement moyennement convexe est fortement contraint : il a une dimension de Hausdorff parabolique au plus $n-1$ et est contenu dans une union finie de sous-variétés lipschitziennes de codimension 2.

La question ouverte : Jusqu'à quel point l'ensemble des singularités à la première temps singulier peut-il être flexible ? Bien que des exemples classiques existent (cylindres rétrécissants, anneaux de mariage), très peu d'exemples d'ensembles singuliers prescrits sont connus. Une question attribuée à Colding, Minicozzi, Ilmanen et White demande si toute courbe $C^1$ peut apparaître comme ensemble singulier.

L'objectif de l'article : Montrer que, sous une perturbation arbitrairement petite et lisse de la métrique euclidienne ambiante, l'ensemble des singularités à la première temps singulier peut être prescrit avec une liberté presque totale, se limitant uniquement à la condition d'être un ensemble fermé. Plus précisément, pour tout ensemble fermé $K \subset \mathbb{R}^n$, l'auteur construit une solution ancienne (définie pour $t \in (-\infty, 0)$) dont l'ensemble singulier à $t=0$ est exactement $K \times \{0\} \subset \mathbb{R}^n \times \mathbb{R}^m$.

2. Méthodologie et Construction

La preuve repose sur une construction géométrique et analytique sophistiquée en plusieurs étapes :

A. Ansatz et Réduction à un Écoulement Graphique

L'auteur utilise un ansatz pour des écoulements graphiques invariants sous l'action du groupe $O(m)$ dans un espace produit warpié $\mathbb{R}^n \times \mathbb{R}^m$. Les hypersurfaces sont décrites comme des tubes de rayon $u(x,t)$ autour de l'axe $\mathbb{R}^n$.
L'équation de l'écoulement par courbure moyenne (MCF) se réduit à une équation aux dérivées partielles (EDP) quasi-linéaire parabolique pour la fonction $w = u^2$ (appelée CMCF - Cylindrical Mean Curvature Flow) :
$$\partial_t w - \Delta w + 2(m-1) + \zeta(x,t) Q(w) + \frac{2|\nabla w|^2}{4w + |\nabla w|^2} = 0$$
où $\zeta$ est une fonction de coupure liée à la métrique ambiante.

B. Construction de Solutions Approximatives et Barrières

Le cœur de l'analyse réside dans la construction d'une solution $w_\tau$ dans un domaine non cylindrique $W$ défini par une fonction de coupure $h(x)$ (liée à la distance à l'ensemble fermé $K$).

1. Fonction de coupure $h$ : Une fonction lisse $h$ est construite telle que $h \equiv 0$ sur $K$ et $h > 0$ sur $U = \mathbb{R}^n \setminus K$, avec des dérivées contrôlées par un petit paramètre $\tau$.
2. Barrières : L'auteur construit des solutions de barrières supérieure et inférieure ($w_+$ et $w_-$) qui restent proches d'un cylindre rétrécissant $\phi(t) = -2(m-1)t$ avec une décroissance exponentielle contrôlée par $h(x)$.
3. Approximation par « escalier » : Le domaine non cylindrique est approché par une suite infinie de domaines cylindriques (un « escalier »). Une solution est construite inductivement sur chaque marche de l'escalier en utilisant le théorème de perturbation parabolique de Savin (adapté par Wang). Cela garantit l'existence d'une solution lisse $w_\tau$ qui converge exponentiellement vers le cylindre.

C. Glueage et Définition de la Métrique

Une fois la solution $w_\tau$ obtenue, l'auteur définit une fonction de temps d'arrivée $T(x, r)$ (où $r = |\xi|^2$) qui coïncide avec la solution cylindrique $T_0$ loin de $K$ et avec la solution construite près de $K$.
Pour que cette fonction $T$ soit une solution exacte de l'équation de MCF, il faut ajuster la métrique ambiante. L'auteur cherche une métrique de la forme :
$$g_f = \sum dx_i^2 + f(x, |\xi|^2) \sum d\xi_j^2$$
où $f(x, r) = 1 - r z(x, r)$.
La condition pour que $T$ soit un temps d'arrivée pour cette métrique se traduit par une équation de transport pour la fonction inconnue $z(x, r)$ :
$$z_r + z^2 = -\langle a(x,r,z), \nabla_x z \rangle + b(x,r,z)z + c(x,r,z)$$
Les coefficients de cette équation dépendent de la différence entre la solution construite et le cylindre. Grâce aux estimations exponentielles obtenues précédemment, ces coefficients sont très petits (de l'ordre de $\tau e^{-1/h(x)}$).

D. Résolution de l'Équation de Transport

En utilisant la méthode des caractéristiques et des estimations a priori, l'auteur prouve l'existence d'une solution unique et lisse $z$ à cette équation de transport, avec la condition initiale $z=0$ sur une hypersurface de départ. Cela permet de définir la fonction $f$ qui rend la métrique $g_f$ lisse, proche de la métrique euclidienne, et pour laquelle l'écoulement construit est une solution exacte.

3. Résultats Principaux

Théorème 1.1 (Résultat Principal) :
Soit $K \subset \mathbb{R}^n$ un sous-ensemble fermé non vide et $m \ge 2$. Pour tout $\tau$ suffisamment petit, il existe :

1. Une fonction $f(x, r) \in C^\infty$ telle que $f$ est arbitrairement proche de 1 (la métrique euclidienne) en norme $C^\infty$.
2. Une famille d'hypersurfaces $\{G_t\}_{t<0}$ qui est une solution ancienne moyennement convexe de l'écoulement par courbure moyenne dans $\mathbb{R}^{n+m}$ muni de la métrique $g_f$.
3. L'ensemble des singularités à la première temps singulier $t=0$ est exactement $K \times \{0\}$.

Conséquences immédiates :

• L'ensemble singulier peut être aussi complexe que l'on veut (fractal, courbe, ensemble de Cantor, etc.), tant qu'il est fermé.
• Dans $\mathbb{R}^3$, on obtient des solutions avec des ensembles singuliers fractals.
• La structure des singularités pour les écoulements moyennement convexes dans l'espace euclidien (théorèmes de White et Colding-Minicozzi) n'est pas stable sous de petites perturbations lisses de la métrique ambiante.

4. Contributions Clés et Signification

1. Flexibilité maximale des singularités : L'article répond de manière affirmative et forte à la question de la flexibilité des ensembles singuliers. Il montre que la rigidité observée dans l'espace euclidien est un artefact de la métrique plate et non une propriété intrinsèque de la géométrie des écoulements moyennement convexes.
2. Méthode de construction : L'approche combine des techniques d'analyse non linéaire (théorème de perturbation de Savin, estimées de Schauder paraboliques) avec une construction géométrique astucieuse (domaines en escalier, équations de transport). La méthode est présentée comme flexible et applicable à d'autres problèmes d'écoulements géométriques.
3. Parallèle avec les travaux de Leon Simon : Ce résultat fait écho à une percée récente de Leon Simon sur la construction d'hypersurfaces minimales stables avec des ensembles singuliers prescrits dans des métriques proches de l'euclidienne. Cependant, la méthode utilisée ici pour les écoulements par courbure moyenne est distincte et adaptée à la nature parabolique du problème.
4. Stabilité des théorèmes structurels : Le travail démontre que les classifications de singularités établies pour l'espace euclidien sont fragiles : une perturbation infinitésimale de la métrique permet de réaliser n'importe quelle topologie de singularité fermée.

En résumé, cet article établit que la contrainte sur la géométrie des singularités des écoulements moyennement convexes est entièrement due à la symétrie de la métrique euclidienne, et qu'en modifiant légèrement l'environnement géométrique, on peut forcer l'écoulement à développer n'importe quel ensemble fermé comme lieu de singularité.