Remarks on the outer length billiards

Cet article étudie les billards de longueur extérieure en démontrant les versions 3 et 4 de la conjecture d'Ivrii, en établissant l'existence d'espaces fonctionnels de tables admettant des courbes invariantes de points périodiques pour tout $n \ge 3$, et en paramétrant explicitement les tables symétriques pour le cas $n=4$ via une construction géométrique analogue à celle des courbes de Radon.

L'essentiel

🎱 Les Billards Magiques : Quand les Formes "Respirent"

Imaginez un billard, mais pas comme celui que vous connaissez dans les bars. Ici, la table n'est pas un rectangle plat, mais une forme ovale lisse et fermée (comme un œuf parfait). Et au lieu de jouer avec une bille qui rebondit à l'intérieur, nous jouons avec une bille qui tourne à l'extérieur de l'ovale. C'est ce qu'on appelle le "billard de longueur extérieure".

Dans ce jeu, la bille ne suit pas n'importe quelle trajectoire. Elle suit des règles très précises : elle doit toucher l'ovale, faire un tour, toucher à nouveau, et ainsi de suite, en formant un polygone (un triangle, un carré, etc.) qui entoure l'ovale. Ce qui est fascinant, c'est que ces polygones sont "parfaits" : ils ont la périmètre le plus court possible pour entourer l'ovale de cette manière.

Les auteurs, Misha Bialy et Serge Tabachnikov, se posent deux grandes questions sur ce jeu :

1. Est-ce que ces trajectoires parfaites sont rares ? (La conjecture d'Ivrii)
2. Peut-on construire des tables de billard spéciales où ces trajectoires sont infinies ?

Voici ce qu'ils ont découvert, expliqué simplement.

---

1. Le Mystère des Trajectoires "Rares" (La Conjecture d'Ivrii)

Imaginez que vous lancez une bille sur une table de billard. Si la table est un simple rectangle, la bille peut rebondir partout. Mais si la table est un ovale spécial, la bille pourrait être coincée dans une boucle parfaite : elle fait 3 rebonds, puis recommence exactement le même chemin. C'est une orbite périodique.

La question est : Est-ce que ces boucles parfaites sont partout sur la table, ou sont-elles des exceptions très rares ?

Les auteurs disent : "C'est comme chercher une aiguille dans une botte de foin."
Ils prouvent que pour les triangles (3 rebonds) et les carrés (4 rebonds), si vous avez une zone entière où toutes les trajectoires forment des triangles ou des carrés parfaits, c'est impossible. Ces zones parfaites n'existent pas. Elles sont "vides" à l'intérieur.

L'analogie du "Torsion" :
Imaginez que la table de billard est un tapis élastique. Si vous tirez dessus d'un côté, il se tord. Les mathématiciens ont prouvé que ce "tapis" (la transformation du billard) se tord toujours d'une manière très spécifique. Si vous essayez de créer une zone plate où tout le monde fait des triangles, la torsion du tapis vous force à briser cette régularité. C'est comme essayer de faire tenir un carré parfait sur une surface de ballon de baudruche qui gonfle : ça ne colle pas.

---

2. La Construction de Tables Magiques (Les Courbes Invariantes)

Si les trajectoires parfaites sont rares en général, peut-on construire une table spéciale où elles sont nombreuses ?

La réponse est OUI, mais c'est comme sculpter dans du sable mouvant.

Pour chaque nombre de rebonds $n$ (3, 4, 5, etc.), il existe une "famille" infinie de tables de billard qui permettent à la bille de faire des boucles parfaites de $n$ rebonds.

L'analogie du "Fil de fer" :
Imaginez que vous voulez construire un cadre de fenêtre (l'ovale) autour d'une série de triangles en fil de fer qui tournent autour de lui.

• Si vous prenez un cercle parfait, les triangles tournent parfaitement.
• Les auteurs montrent que vous pouvez déformer ce cercle (le rendre un peu ovale, un peu bizarre) tant que vous gardez les triangles en place.
• C'est comme si vous aviez un fil de fer flexible (l'ovale) que vous pouvez tordre et plier, mais il doit toujours rester "collé" à l'intérieur de votre structure de triangles en mouvement.

Il y a une infinité de façons de faire cela. C'est comme dire : "Il existe une infinité de formes de gâteaux différents qui peuvent tous être entourés par le même moule triangulaire magique."

---

3. Le Cas Spécial du Carré (Symétrie Centrale)

Pour le cas particulier des carrés (4 rebonds), les auteurs ont trouvé une recette de cuisine mathématique très précise.

Ils disent : "Si votre table est symétrique (comme un ballon de rugby ou un œuf allongé), alors les carrés parfaits qui tournent autour sont en fait des parallélogrammes."

Ils ont même donné une formule magique pour créer ces tables.

• Imaginez une fonction mathématique simple (une courbe qui monte et descend).
• Si vous prenez cette fonction et que vous l'appliquez à une règle précise, vous obtenez la forme exacte de votre table de billard.
• C'est un peu comme si vous dessiniez une mélodie (la fonction), et que cette mélodie se transformait automatiquement en une forme physique (la table) qui garantit que les billes font des carrés parfaits.

Ils comparent cela à la construction des courbes de Radon, qui sont des formes géométriques anciennes utilisées pour résoudre des problèmes similaires. C'est comme redécouvrir un vieux secret de l'architecture pour construire des ponts invisibles entre les mathématiques pures et la géométrie physique.

---

En Résumé

Ce papier est une exploration de l'équilibre entre le chaos et l'ordre dans les jeux de billard mathématiques.

1. La mauvaise nouvelle : Vous ne pouvez pas avoir une table de billard où tout le monde fait des triangles ou des carrés parfaits. C'est trop rigide. La nature préfère le chaos (ou du moins, des zones vides de perfection).
2. La bonne nouvelle : Si vous êtes un architecte très talentueux, vous pouvez construire des tables spéciales où ces trajectoires parfaites existent en masse. Et pour le cas des carrés, vous avez même un plan de construction précis.

C'est comme si les auteurs nous disaient : "La perfection est rare, mais si vous savez comment sculpter la matière, vous pouvez créer des îles de perfection au milieu de l'océan."

Résumé technique

Voici un résumé technique détaillé du papier « Remarks on the Outer Length Billiards » de Misha Bialy et Serge Tabachnikov, rédigé en français.

1. Problématique et Contexte

Le papier étudie les billards de longueur extérieure (outer length billiards), un système dynamique discret agissant sur l'extérieur d'une ovale plane (une courbe fermée, strictement convexe et lisse). Ce système est souvent appelé le « quatrième billard », se distinguant des modèles plus connus que sont le billard de Birkhoff (longueur intérieure), le billard extérieur (aire extérieure) et le billard symplectique.

Dans ce modèle, une orbite périodique de période $n$ correspond à un $n$-gone circonscrit à l'ovale qui possède un périmètre extrémal. Les auteurs s'intéressent à deux problèmes fondamentaux liés à ces systèmes :

1. La conjecture d'Ivrii : L'ensemble des points périodiques d'un billard générique est-il de mesure nulle (ou a-t-il un intérieur vide) ?
2. L'existence de courbes invariantes : Peut-on construire des tables de billard possédant des courbes invariantes constituées entièrement de points périodiques d'une période donnée $n$ ?

2. Méthodologie

Les auteurs emploient une combinaison d'outils géométriques, de théorie des systèmes dynamiques et de géométrie sous-riemannienne :

• Forme symplectique et condition de torsion (Twist) : Ils analysent la transformation du billard $T$ comme une application préservant l'aire. En utilisant des coordonnées d'enveloppe (fonction de support $p$ et angle $\alpha$), ils démontrent que $T$ et son itéré $T^2$ sont des applications de torsion positives (positive twist maps) par rapport à une forme symplectique invariante spécifique ($dR \wedge d\alpha$).
• Géométrie sous-riemannienne : Pour l'existence de courbes invariantes, ils utilisent l'approche développée dans [7, 15] pour les billards de Birkhoff. Ils considèrent l'espace des $n$-polygones convexes $P_n$ et définissent une distribution $D_n$ (un champ de vecteurs) associée aux rotations infinitésimales des côtés du polygone autour de points de tangence spécifiques. L'existence d'une courbe invariante de points périodiques est équivalente à l'existence de courbes horizontales (par rapport à $D_n$) dans l'espace des polygones de périmètre fixe.
• Analyse géométrique et calculs de dérivées : Pour les cas spécifiques ($n=3$ et $n=4$), ils effectuent des calculs explicites des dérivées partielles de la fonction génératrice et des crochets de Lie des champs de vecteurs pour étudier l'intégrabilité.

3. Résultats Clés et Contributions

A. Preuve de la conjecture d'Ivrii pour les périodes 3 et 4

Le résultat principal (Théorème 1) établit que pour le billard de longueur extérieure, les ensembles d'orbites périodiques de période 3 et 4 ont un intérieur vide.

• Preuve pour $n=4$ : En exploitant le fait que $T$ et $T^2$ sont des applications de torsion positives, ils montrent par l'absurde qu'un disque de points 4-périodiques entraînerait une contradiction dans le signe des dérivées directionnelles des vecteurs tangents sous l'action itérée de la différentielle de $T$.
• Preuves alternatives pour $n=3$ : La section 5 fournit deux autres preuves pour le cas $n=3$ :
  1. Une preuve purement géométrique basée sur l'analyse des déformations infinitésimales d'une orbite triangulaire et des propriétés de convexité.
  2. Une preuve analytique utilisant la non-intégrabilité de la distribution $D_3$ dans l'espace des triangles de périmètre fixe.

B. Existence d'un espace fonctionnel de tables intégrables pour $n \ge 3$

Le Théorème 2 affirme que pour toute période $n \ge 3$, il existe un espace fonctionnel de tables de billard (proches d'un cercle) possédant des courbes invariantes constituées de points $n$-périodiques.

• La preuve repose sur la perturbation d'une orbite circulaire (qui est trivialement intégrable) dans l'espace des courbes horizontales de la distribution $D_n$.
• Ils démontrent que la distribution $D_n$ est complètement non-intégrable de type de croissance $(n, 2n-1)$ au voisinage de la solution circulaire, permettant l'application de théorèmes de perturbation (théorie de Hsu) pour garantir l'existence de telles courbes.

C. Paramétrisation explicite pour le cas $n=4$ symétrique

Pour le cas des tables centralement symétriques avec des orbites 4-périodiques (Théorème 3) :

• Les auteurs montrent que les quadrilatères périodiques sont nécessairement des parallélogrammes.
• Ils paramétrisent explicitement la famille de ces courbes ovales à l'aide d'une fonction d'une variable $f(x)$ satisfaisant des conditions de symétrie ($f(x+\pi/2) = -f(x)$) et de régularité ($|f'(x)| < 2$).
• Cette construction est analogue à celle des courbes de Radon connues pour les billards extérieurs et symplectiques.
• Ils illustrent ce résultat avec l'exemple de l'ellipse, où les trajectoires 4-périodiques correspondent aux trajectoires d'un billard dans une ellipse confocale.

4. Signification et Impact

Ce travail apporte des contributions significatives à la théorie des systèmes dynamiques et à la géométrie des billards :

1. Extension de la conjecture d'Ivrii : C'est l'une des premières preuves rigoureuses de la conjecture d'Ivrii pour un billard non classique (billard de longueur extérieure), confirmant que l'intégrabilité complète (existence d'un feuilletage par des orbites périodiques) est une propriété très rigide, ne se produisant que pour des tables spécifiques (comme l'ellipse).
2. Construction de systèmes partiellement intégrables : Contrairement à l'idée que l'intégrabilité est un phénomène rare, les auteurs montrent qu'il existe une infinité fonctionnelle de tables possédant des courbes invariantes pour une période fixée $n$. Cela enrichit la compréhension de la transition entre le chaos et l'intégrabilité.
3. Unification des approches : Le papier relie efficacement la théorie des applications de torsion (dynamique hamiltonienne) et la géométrie sous-riemannienne (contrôle optimal), offrant un cadre unifié pour étudier les problèmes de périmètre extrémal.
4. Généralisation des courbes de Radon : La paramétrisation explicite pour $n=4$ symétrique étend la classe des courbes de Radon, fournissant de nouveaux exemples géométriques de courbes convexes avec des propriétés de billard remarquables.

En résumé, ce papier établit des résultats fondamentaux sur la structure des orbites périodiques dans les billards de longueur extérieure, prouvant la rareté des orbites périodiques génériques tout en démontrant l'abondance de structures intégrables partielles pour des périodes spécifiques.