A note on the diameter of small sub-Riemannian balls

Cet article démontre que le diamètre de petites boules dans les variétés sous-riemanniennes $C^{1,1}$ est égal au double de leur rayon, et que cette propriété reste approximativement vraie même lorsque la régularité est réduite à $C^0$, indépendamment de la condition de génération par les crochets.

L'essentiel

🌍 Le Diamètre des Petites Bulles dans un Monde "Carré"

Imaginez que vous êtes un explorateur dans un monde très spécial. Ce n'est pas notre monde habituel où vous pouvez marcher dans toutes les directions (comme sur une plage de sable). Ici, vous êtes contraint de vous déplacer uniquement sur des rails invisibles ou des couloirs stricts. C'est ce que les mathématiciens appellent une géométrie sous-riemannienne.

Dans ce monde, si vous voulez aller d'un point A à un point B, vous ne pouvez pas couper à travers les champs ; vous devez suivre les chemins autorisés. La distance que vous mesurez est donc la longueur du plus court chemin possible le long de ces rails.

Les auteurs de ce papier (Marco Di Marco, Gianluca Somma et Davide Vittone) se sont posé une question simple mais profonde sur la forme de ces "bulles" (des zones autour d'un point où l'on peut aller sans dépasser une certaine distance).

🎈 L'Analogie de la Bulle de Savon

Dans notre monde normal (la géométrie euclidienne), si vous gonflez une bulle de savon de rayon $r$, son diamètre (la plus grande distance entre deux points à l'intérieur) est exactement $2r$. C'est logique : le diamètre est le double du rayon.

Mais dans notre monde "sur rails" (sous-riemannien), les choses sont bizarres. Les rails peuvent être tordus, et la forme de la bulle peut ressembler à une saucisse allongée ou à un ballon de rugby déformé.

• La question : Est-ce que le diamètre de cette bulle reste toujours égal à $2r$ ? Ou est-ce qu'il est plus petit, parce que les rails vous empêchent d'atteindre certains points opposés ?

🔍 La Découverte : "C'est toujours le double !"

Les auteurs ont prouvé quelque chose de très élégant : Si vous regardez des bulles très petites, leur diamètre est exactement le double de leur rayon ($2r$).

Même si les rails sont tordus, si vous zoomez assez fort (en regardant des distances très courtes), la bulle retrouve sa "symétrie parfaite".

L'analogie du couloir :
Imaginez que vous êtes dans un couloir très étroit et sinueux. Si vous regardez un tout petit morceau de ce couloir, il vous semble droit. Si vous marchez 1 mètre dans un sens, vous pouvez faire 1 mètre dans l'autre sens. Le diamètre de votre zone de marche est donc 2 mètres.
Les mathématiciens ont prouvé que même si le couloir est complexe, cette règle du "double" tient toujours pour les très petits espaces, à condition que les rails ne soient pas trop "cassés" (une condition de régularité appelée $C^{1,1}$).

🛠️ Comment ont-ils fait ? (La "Calibration")

Pour prouver cela, ils ont utilisé un outil mathématique appelé une "calibration".
Imaginez que vous avez un vent constant qui souffle dans une direction précise le long de vos rails.

• Si vous marchez dans le sens du vent, vous avancez vite.
• Si vous essayez de marcher dans le sens opposé, le vent vous freine.
• Si vous essayez de faire un détour, le vent ne vous aide pas.

Les auteurs ont construit un "vent mathématique" (un champ de vecteurs) qui souffle parfaitement le long d'une ligne droite locale. Ils ont montré que pour aller d'un point à l'autre de la bulle, le chemin le plus court est simplement de suivre ce vent. Comme le vent est constant, la distance aller-retour est exactement le double de la distance aller.

📉 Et si les rails sont encore plus tordus ? ($C^0$)

Les auteurs sont allés plus loin. Ils ont demandé : "Et si les rails sont si tordus qu'ils ne sont même pas lisses, juste continus (comme un chemin de terre irrégulier) ?"
Dans ce cas, la règle du "exactement $2r$" ne tient plus parfaitement. Mais ils ont prouvé que le diamètre est **presque** le double. Il est égal à$2r \times (1 - \epsilon)$.
C'est-à-dire : plus vous regardez de petites bulles, plus le diamètre se rapproche de $2r$. C'est comme si la nature essayait toujours d'être symétrique, même dans le chaos.

💡 Pourquoi est-ce important ?

1. Simplicité cachée : Cela montre que même dans des géométries complexes et contraignantes, il existe une simplicité fondamentale à petite échelle.
2. Indépendance des règles : Leurs résultats fonctionnent même si les rails ne se croisent pas partout (une condition technique appelée "bracket-generating" qu'ils n'ont pas besoin d'imposer). C'est une preuve très robuste.
3. Applications : Cela aide à mieux comprendre comment mesurer les surfaces et les volumes dans des espaces où le mouvement est restreint (comme en robotique, en contrôle de systèmes ou en physique des plasmas).

En résumé

Ce papier nous dit que dans un monde où l'on ne peut se déplacer que sur des rails, si l'on regarde de très près, l'espace disponible autour de nous est toujours parfaitement symétrique : le diamètre est toujours le double du rayon. C'est une belle preuve que la symétrie et l'ordre régnent même dans les contraintes les plus strictes.

Résumé technique

Voici un résumé technique détaillé de l'article « A NOTE ON THE DIAMETER OF SMALL SUB-RIEMANNIAN BALLS » de Marco Di Marco, Gianluca Somma et Davide Vittone, rédigé en français.

1. Problématique et Contexte

L'article s'intéresse à la géométrie métrique des variétés sous-riemanniennes, plus précisément au comportement du diamètre des petites boules métriques (boules de Carnot-Carathéodory) dans le voisinage d'un point.

• Le problème central : Dans un espace métrique général, l'inégalité $\text{diam}(B(q, r)) \le 2r$ est triviale. L'égalité $\text{diam}(B(q, r)) = 2r$ est bien connue dans les espaces euclidiens, les espaces de Banach et les variétés riemanniennes (pour des rayons suffisamment petits). Cependant, en géométrie sous-riemannienne, cette égalité n'est pas automatique et la question restait largement ouverte pour des structures générales.
• État de l'art : Avant ce travail, le résultat était connu uniquement pour les groupes de Carnot (cas homogène). Pour les variétés sous-riemanniennes générales, seuls des résultats partiels existaient, souvent sous des hypothèses restrictives (comme la condition de génération par les crochets ou la régularité equiregulière).
• Hypothèses de travail : Les auteurs visent à établir des résultats indépendants de la condition de génération par les crochets (bracket-generating condition), ce qui est crucial car cela permet d'étudier des distributions horizontales qui ne sont pas nécessairement de rang constant ou qui ne satisfont pas le théorème de Chow.

2. Méthodologie

La preuve repose sur une approche variationnelle classique utilisant la théorie des calibrations (ou formes de calibration), adaptée aux contextes de régularité faible.

• Argument de calibration : L'idée fondamentale est qu'une calibration (une forme différentielle 1) peut non seulement prouver la minimalité d'une courbe unique, mais aussi garantir la minimalité d'une famille entière de courbes parcourant un voisinage d'un point.
• Cas $C^{1,1}$ (Théorème 1.1) :
  • Les auteurs utilisent l'existence de champs de vecteurs horizontaux et de formes exactes dérivées de l'hamiltonien sous-riemannien.
  • Ils construisent une calibration locale $\Lambda$ et un champ de vecteurs horizontal $Y$ tels que $\langle \Lambda, Y \rangle = |Y| = 1$.
  • En intégrant cette forme le long de courbes admissibles, ils montrent que toute courbe reliant deux points opposés sur une géodésique locale doit avoir une longueur au moins égale à la distance le long de cette géodésique.
• Cas $C^0$ (Théorème 1.3) :
  • Pour les structures de régularité continue ($C^0$), où l'existence de solutions uniques aux équations d'Hamilton n'est pas garantie de la même manière, les auteurs utilisent une approche de « quasi-calibration ».
  • Ils construisent une forme différentielle $\omega$ qui approxime la propriété de calibration avec une erreur contrôlée par un paramètre $\varepsilon$.
  • Cela permet d'obtenir des estimations asymptotiques lorsque le rayon $r$ tend vers 0.

3. Résultats Principaux

L'article établit deux théorèmes majeurs :

Théorème 1.1 : Égalité exacte en régularité $C^{1,1}$

Soit $M$ une variété lisse munie d'une structure sous-riemannienne de classe $C^{1,1}$. Pour tout point $p \in M$, il existe un voisinage $V$ et un rayon $\bar{r} > 0$ tels que pour tout $q \in V$ et tout $0 < r < \bar{r}$ :
$$\text{diam}(B(q, r)) = 2r$$
Points clés :

• Le résultat est local et uniforme en $q$ (le rayon $\bar{r}$ ne dépend pas du point spécifique dans le voisinage).
• Aucune hypothèse de génération par les crochets n'est requise.
• La preuve repose sur l'existence de courbes minimisantes passant par chaque point, générées par un champ de vecteurs horizontal calibré.

Corollaire 1.2 : Existence de géodésiques minimisantes

Sous les mêmes hypothèses ($C^{1,1}$), pour tout point $p$, il existe une courbe minimisante de longueur strictement positive passant par $p$. Ce résultat découle directement de la construction de la calibration.

Théorème 1.3 : Estimation asymptotique en régularité $C^0$

Soit $M$ une variété munie d'une structure de type Carnot-Carathéodory de classe $C^0$. Pour tout $p \in M$ et tout $\varepsilon > 0$, il existe un voisinage $V$ et un rayon $\bar{r}_\varepsilon > 0$ tels que pour tout $q \in V$ et $0 < r < \bar{r}_\varepsilon$ :
$$2r(1 - \varepsilon) \le \text{diam}(B(q, r)) \le 2r$$
Points clés :

• Ce résultat généralise le théorème précédent à des structures moins régulières (continues).
• Il confirme que le diamètre est arbitrairement proche de $2r$ pour des boules suffisamment petites.
• La preuve évite les techniques lourdes de « blow-up » (grossissement) et d'approximation par des groupes de Carnot tangents utilisées dans des travaux précédents (comme [2]), optant pour un argument plus souple basé sur des courbes « quasi-optimales ».

4. Contributions et Signification

• Généralisation des résultats connus : L'article comble un vide dans la littérature en étendant la propriété $\text{diam} = 2r$ des groupes de Carnot aux variétés sous-riemanniennes générales, sans hypothèse de régularité equiregulière ni de condition de bracket-generating.
• Simplicité de la preuve : Contrairement aux approches antérieures qui nécessitaient une analyse fine de la convergence vers le groupe tangent (blow-up), les auteurs utilisent des arguments de calibration directs et élégants. Cela rend le résultat plus accessible et applicable à des contextes plus larges.
• Robustesse face à la régularité : La capacité à traiter le cas $C^0$ (où les champs de vecteurs ne sont pas différentiables) est une avancée significative pour l'analyse géométrique des systèmes de contrôle non lisses.
• Uniformité locale : L'insistance sur le fait que le rayon de validité $\bar{r}$ peut être choisi uniformément dans un voisinage est crucial pour les applications en théorie de la mesure et en géométrie fractale, où l'on étudie souvent le comportement asymptotique de volumes et de diamètres.

En résumé, cet article démontre que la propriété fondamentale selon laquelle le diamètre d'une petite boule est le double de son rayon est une caractéristique intrinsèque et robuste de la géométrie sous-riemannienne, valable même en l'absence de régularité forte ou de conditions de contrôleabilité globale.