Statistical regularity and linear response of Mather measures for Tonelli Lagrangian systems

Cet article établit la continuité Hölder des mesures de Mather perturbées par rapport au paramètre de perturbation lorsque la mesure non perturbée est supportée sur un tore quasi-périodique à fréquence diophantienne, en reliant l'exposant de régularité à l'indice diophantien, tout en discutant de la possibilité d'une régularité Lipschitz via la théorie KAM.

L'essentiel

Voici une explication de ce document scientifique, traduite en langage simple et imagé pour le grand public.

🌌 Le Voyage des Mesures de Mather : Quand le Chaos Rencontre l'Ordre

Imaginez que vous observez une foule immense de piétons marchant dans une ville complexe (un tore, en langage mathématique). Chaque piéton suit une règle précise pour minimiser son effort : il veut aller d'un point A à un point B en dépensant le moins d'énergie possible. L'ensemble de ces trajectoires optimales forme ce que les mathématiciens appellent une "mesure de Mather". C'est comme une carte thermique montrant où les piétons ont tendance à se concentrer pour être les plus efficaces.

Ce papier, écrit par Sorrentino, Zhang et Zhu, pose une question fascinante : Si on modifie légèrement les règles de la ville (par exemple, on ajoute un vent léger ou on change la pente des rues), comment cette carte thermique va-t-elle bouger ?

Est-ce que la foule va bouger d'un coup sec ? Va-t-elle glisser doucement ? Ou va-t-elle devenir complètement imprévisible ?

Voici les trois grandes découvertes de l'article, expliquées avec des métaphores :

---

1. La Danse des Piétons et le Vent (La Perturbation)

Les auteurs étudient deux façons de modifier le système :

• La perturbation de Mañé : C'est comme ajouter un petit vent constant qui pousse les piétons dans une direction.
• La perturbation Cohomologique : C'est comme changer légèrement la "gravité" ou la pente du terrain partout en même temps.

L'objectif est de mesurer la distance entre la position de la foule avant le changement et après. Pour cela, ils utilisent une règle de mesure appelée distance de Wasserstein. Imaginez que vous devez déplacer une pile de sable (la foule) d'un endroit à un autre. La distance de Wasserstein, c'est le coût énergétique total pour déplacer chaque grain de sable à sa nouvelle place. Plus le coût est faible, plus la foule a bougé doucement.

2. Le Secret des Rythmes Magiques (Les Fréquences Diophantiennes)

Pour que la foule reste stable, elle doit marcher sur un rythme très spécial. Les auteurs se concentrent sur des cas où les piétons marchent sur un tore quasi-périodique.

• L'analogie : Imaginez deux aiguilles d'horloge. Si l'une fait un tour en 1 seconde et l'autre en 2 secondes, elles se retrouvent toujours au même endroit (c'est périodique). Mais si l'une fait un tour en 1 seconde et l'autre en $\sqrt{2}$ secondes (un nombre irrationnel), elles ne se retrouvent jamais exactement au même point, mais elles dessinent un motif régulier et dense sur le cadran. C'est ce qu'on appelle un mouvement quasi-périodique.

Le papier dit que si ce rythme est "Diophantien" (c'est-à-dire qu'il ne se rapproche jamais trop d'un rythme simple, comme un nombre entier), alors la foule est robuste.

La découverte clé :
Si le rythme est "Diophantien", la carte thermique (la mesure de Mather) ne bouge pas n'importe comment. Elle bouge avec une régularité de Hölder.

• En langage simple : Si vous changez le vent de 1%, la foule ne bouge pas de 1% (ce qui serait trop simple), ni de façon chaotique. Elle bouge d'une quantité proportionnelle à la racine carrée (ou une autre puissance) du changement. C'est une sorte de "coton" mathématique : le système absorbe le choc de manière douce, mais pas linéairement.

3. Le Mur de la Dimension et la Théorie KAM

L'article explore aussi ce qui se passe si on pousse le système plus loin.

• Le problème de la dimension : Plus la ville est grande (plus il y a de dimensions), plus il est difficile de prédire exactement comment la foule bouge. Les auteurs montrent qu'en 2D (une ville plate), on peut trouver des limites précises. Mais dès qu'on monte en 3D ou plus, il y a un "trou" entre ce qu'on peut prouver comme limite haute et limite basse. C'est comme si la complexité de la ville rendait la prédiction du mouvement de la foule plus floue.

• La Théorie KAM (Le Super-Pouvoir) :
  C'est ici que ça devient magique. Si le système est très lisse (comme une route parfaitement goudronnée) et que le rythme est Diophantien, la Théorie KAM (Kolmogorov-Arnold-Moser) entre en jeu.

  • L'analogie : Imaginez que vous essayez de faire tourner une toupie. Si vous la poussez un tout petit peu, elle oscille mais reste droite. La théorie KAM dit que tant que la poussée est faible et le rythme "sain", la toupie ne tombe pas. Elle continue de tourner sur le même axe, juste un tout petit peu décalée.
  • Résultat : Dans ce cas idéal, la régularité devient Lipschitzienne. C'est-à-dire que si vous doublez le vent, la foule double exactement sa distance de déplacement. C'est une relation linéaire parfaite.

4. La Réponse Linéaire (Le "Coup de Pouce")

Le dernier chapitre parle de la "réponse linéaire".
C'est la capacité du système à dire : "Si vous me donnez un petit coup de pouce, je vais réagir exactement proportionnellement."
Les auteurs montrent que, sous les bonnes conditions (théorie KAM), on peut calculer exactement comment la carte thermique va se déformer. Ils donnent même une formule mathématique précise pour prédire ce nouveau mouvement, un peu comme un météorologue qui prédit la trajectoire d'un ouragan en fonction de la température de l'océan.

---

🎯 En Résumé

Ce papier est une étude de la résilience des systèmes dynamiques.

1. Sans conditions spéciales : Si on modifie un système, la réorganisation de la "foule" (la mesure de Mather) est stable, mais un peu floue (régularité de Hölder). La précision dépend de la "musique" (le rythme Diophantien) que suit la foule.
2. Avec des conditions idéales (KAM) : Si le système est parfait et le rythme spécial, la réorganisation devient prévisible et linéaire. On peut prédire exactement le résultat d'un petit changement.

Pourquoi c'est important ?
Cela aide les physiciens et les ingénieurs à comprendre comment les systèmes complexes (comme les satellites en orbite, les plasmas dans les réacteurs nucléaires ou même les mouvements des planètes) réagissent aux petites perturbations. Cela nous dit que l'univers, bien que chaotique, possède des zones de stabilité très rigides où l'on peut faire des prédictions précises.

Résumé technique

Voici un résumé technique détaillé de l'article « Statistical Regularity and Linear Response of Mather Measures for Tonelli Lagrangian Systems » par Alfonso Sorrentino, Jianlu Zhang et Siyao Zhu.

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie d'Aubry-Mather pour les systèmes lagrangiens de type Tonelli. Le problème central est l'étude de la stabilité statistique des mesures de Mather (les mesures invariantes minimisant l'action) lorsqu'on perturbe le lagrangien du système.

Les auteurs examinent comment les mesures de Mather, vues comme éléments de l'espace des mesures de probabilité sur le fibré tangent $TT^n$, évoluent sous l'effet de deux types de perturbations courantes :

1. Perturbation de Mañé : $L_\varepsilon(x, v) = L(x, v) + \varepsilon f(x)$.
2. Perturbation cohomologique : $L_c(x, v) = L(x, v) - \langle c, v \rangle$.

L'objectif est de quantifier la régularité de la dépendance de la mesure de Mather par rapport au paramètre de perturbation ($\varepsilon$ ou $c$), en utilisant la distance de Wasserstein ($W_1$). Alors que la régularité lipschitzienne ou différentielle (réponse linéaire) est bien établie pour les systèmes uniformément hyperboliques, les systèmes Tonelli généraux ne le sont pas, et la régularité de leurs mesures de Mather reste un problème ouvert, surtout lorsque le support de la mesure non perturbée est un tore quasi-périodique (non hyperbolique).

2. Méthodologie

La stratégie de l'article repose sur une combinaison d'outils de la théorie de KAM, de la théorie faible KAM (solutions de viscosité) et d'estimations quantitatives de la théorie ergodique.

• Réduction au cas Mañé : Pour les perturbations générales, les auteurs utilisent la théorie faible KAM pour transformer le système perturbé en un système de type Mañé (lagrangien quadratique en vitesse) partageant les mêmes mesures de Mather. Cela permet de ramener le problème à l'étude de champs de vecteurs lipschitziens.
• Estimations de convergence ergodique : La clé technique réside dans l'utilisation de lemmes quantitatifs sur la convergence des moyennes de Birkhoff pour les systèmes quasi-périodiques. Ces estimations dépendent crucialement des propriétés arithmétiques de la fréquence $\omega$ (condition diophantienne).
• Inégalités de Denjoy-Koksma : Elles sont utilisées pour borner l'erreur d'approximation des moyennes temporelles par les moyennes spatiales, reliant directement l'exposant de Hölder à l'indice diophantien $\tau$.
• Théorie KAM classique : Pour l'étude de la réponse linéaire, les auteurs s'appuient sur l'existence de tores KAM persistants sous petites perturbations, garantissant que la mesure de Mather reste supportée sur un tore invariant lisse.

3. Résultats Principaux

Les résultats sont divisés en trois parties principales correspondant aux sections de l'article :

A. Régularité Hölderienne pour les Lagrangiens de Mañé (Section 3)

Pour une famille de lagrangiens $L_\delta(x, v) = \frac{1}{2}|v - V_\delta(x)|^2$ où $V_\delta$ est un champ de vecteurs lipschitzien proche d'un vecteur constant $\omega$ :

• Hypothèse : $\omega$ est non-résonant et satisfait une condition diophantienne ($\omega \in \mathcal{D}_{\sigma, \tau}$) ou ses composantes sont algébriques.
• Résultat (Majoration) : La distance de Wasserstein entre la mesure non perturbée et la mesure perturbée est Hölderienne :
  $$W_1(\mathcal{M}_0, \mathcal{M}_\delta) \leq C \delta^l$$
  L'exposant $l$ dépend explicitement de la dimension $n$ et de l'indice diophantien $\tau$. Par exemple, pour des observables lipschitziennes ($\alpha=1$), $l = \frac{1}{1 + \tau + n}$.
• Résultat (Minoration) : En dimension $n=2$, les auteurs construisent des exemples spécifiques montrant que cet exposant est optimal à un facteur près. Il existe une suite de perturbations pour laquelle $W_1 \geq c \delta^{1/(r+1)}$, confirmant que la régularité se dégrade avec l'indice diophantien.

B. Généralisation aux Perturbations Tonelli (Section 4)

En utilisant la transformation vers un lagrangien de type Mañé :

• Perturbation Cohomologique : Si la mesure non perturbée est supportée sur un tore KAM de fréquence diophantienne, la régularité Hölderienne est établie pour la perturbation cohomologique $c$ :
  $$W_1(\mathcal{M}(c), \mathcal{M}(0)) \leq C |c|^{\frac{1}{n+\tau+1}}$$
  Ce résultat répond partiellement à une question ouverte de Walter Craig reliant la régularité des mesures aux propriétés arithmétiques de la dérivée de la fonction $\alpha$ de Mather.
• Perturbation de Mañé (Potentiel) : Pour une perturbation $L_\varepsilon = L - \varepsilon f(x)$, les auteurs prouvent l'existence d'un module de continuité $\Theta(\varepsilon)$ (tendant vers 0) assurant la continuité, bien que l'exposant Hölder explicite soit plus difficile à obtenir sans hypothèses supplémentaires sur la régularité de $f$.

C. Réponse Linéaire et Régularité Lipschitzienne (Section 5)

Sous des hypothèses plus fortes (système intégrable perturbé, fréquence diophantienne, perturbation $C^\infty$) :

• Existence de la Réponse Linéaire : En utilisant le théorème KAM, les auteurs montrent que si l'on ajuste correctement la classe de cohomologie $c_\varepsilon$ pour maintenir le tore invariant, la mesure de Mather admet une réponse linéaire.
• Formule explicite : La dérivée première de la mesure (au sens des distributions) est donnée par une formule explicite impliquant les coefficients de Fourier de la perturbation $f$ et l'inverse de l'opérateur de cohomologie (termes de petits diviseurs $\langle k, \omega \rangle^{-1}$).
• Conséquence : Cela implique que la distance de Wasserstein est Lipschitzienne par rapport au paramètre de perturbation dans ce régime KAM spécifique : $W_1(\mathcal{M}(\varepsilon), \mathcal{M}(0)) = O(\varepsilon)$.

4. Contributions Clés

1. Lien Arithmétique-Régularité : Établissement explicite de la dépendance de l'exposant de Hölder de la stabilité statistique vis-à-vis de l'indice diophantien de la fréquence du tore. Plus la fréquence est "mal" approchée par des rationnels (indice $\tau$ élevé), plus la régularité de la mesure est faible.
2. Extension aux Systèmes Non-Hyperboliques : Fourniture des premières estimations quantitatives de stabilité pour des systèmes Tonelli dont les mesures de Mather sont supportées sur des tores quasi-périodiques (non hyperboliques), comblant un vide entre la théorie hyperbolique (Lipschitz) et les systèmes généraux.
3. Résolution Partielle d'un Problème Ouvert : Réponse partielle à la question de Walter Craig concernant la relation entre la régularité des mesures de Mather et les propriétés arithmétiques de la fonction $\alpha$ de Mather.
4. Formule de Réponse Linéaire : Dérivation d'une formule analytique pour la réponse linéaire des mesures de Mather dans le régime KAM, reliant la réponse statistique aux coefficients de Fourier de la perturbation.

5. Signification et Impact

Ce travail est fondamental pour la compréhension de la dynamique perturbative des systèmes hamiltoniens conservatifs. Il démontre que la régularité statistique (stabilité des mesures invariantes) n'est pas une propriété universelle mais dépend fortement de la géométrie arithmétique des fréquences du système.

• Pour les systèmes génériques (où les tores KAM sont prévalents), cela suggère que la stabilité statistique est garantie mais avec une régularité qui peut être faible (Hölder) si les fréquences sont proches de résonances.
• L'article établit un pont rigoureux entre la théorie ergodique quantitative (convergence des moyennes), la théorie des systèmes dynamiques (théorie KAM) et l'analyse variationnelle (théorie de Mather).
• Les résultats ouvrent la voie à l'étude de la réponse linéaire dans des contextes plus larges que les systèmes hyperboliques, avec des applications potentielles en physique statistique hors équilibre et en mécanique céleste.