🔢 mathematics

Weak KAM theorems for subriemannian Lagrangians depending on the unknown function

Cet article étend la théorie de KAM faible aux lagrangiens sous-riemanniens qui sont définis sur la distribution horizontale et dépendent explicitement de la fonction inconnue.

Auteurs originaux : Renato Iturriaga, Héctor Sánchez Morgado

Publié 2026-07-10

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Renato Iturriaga, Héctor Sánchez Morgado

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous naviguiez dans un labyrinthe géant et invisible. Vous ne pouvez pas simplement marcher en ligne droite ; vous êtes contraint de vous déplacer uniquement le long d'« autoroutes » spécifiques (appelées la distribution horizontale) qui serpentent et tournent à travers la ville. C'est le monde de la géométrie sous-riemannienne. Maintenant, imaginez que vous essayiez de trouver le meilleur chemin absolu du point A au point B, mais avec un piège : le « coût » de la marche ne dépend pas seulement de votre vitesse, mais aussi d'une variable secrète qui change à mesure que vous avancez — comme un niveau d'énergie caché qui varie selon l'endroit où vous vous trouvez et ce que vous avez fait jusqu'à présent.

C'est l'énigme abordée par Renato Iturriaga et Héctor Sánchez Morgado dans leur article. Ils étendent un outil mathématique célèbre appelé théorie de la Weak KAM (qui aide habituellement à prédire le comportement à long terme des systèmes) à ce monde complexe et labyrinthique où les règles de la route dépendent de l'état actuel du voyageur.

La découverte principale : Trouver le chemin « parfait »

Les auteurs prouvent que même dans ce labyrinthe compliqué, avec ces règles changeantes, il existe une manière unique et parfaite de décrire le comportement du système au fil du temps.

Pensez à cela comme à un jeu vidéo où vous voulez connaître le meilleur score possible après avoir joué pendant très longtemps. Les auteurs montrent que si vous commencez avec n'importe quelle carte initiale (une fonction $\phi$ ), et que vous laissez le jeu tourner, le score du « meilleur chemin » se stabilise pour adopter un motif spécifique et stable. Ils appellent cela la solution de viscosité. C'est comme trouver la « vérité fondamentale » du labyrinthe : une règle unique et inébranlable qui vous indique le coût de présence en n'importe quel point, peu importe depuis combien de temps vous marchez.

Ils prouvent que si vous continuez à faire tourner ce « jeu » (mathématiquement, en appliquant un opérateur appelé $T_t$ ), les résultats finissent par cesser de fluctuer pour se fixer sur une forme spécifique. Cette forme est la solution d'une équation complexe (l'équation de Hamilton-Jacobi) qui décrit l'énergie du système.

Ce qu'ils excluent (les « zones d'exclusion »)

L'article est très prudent sur ce qui ne fonctionne pas ou ce qui n'est pas garanti sans aide supplémentaire.

On ne peut pas simplement deviner la réponse : Les auteurs montrent que vous ne pouvez pas simplement choisir n'importe quel chemin et espérer que cela fonctionne. Les chemins doivent être « horizontaux » (rester sur les autoroutes) et « absolument continus » (assez fluides pour avoir une vitesse définie presque partout). Si vous essayez de sauter ou de vous téléporter, les mathématiques se brisent.
La « variable secète » ne peut pas être sauvage : La fonction de coût dépend d'une valeur inconnue (appelons-la $u$ ). Les auteurs prount que cette valeur doit se comporter de manière correcte. Plus précisément, ils excluent l'idée que le coût puisse changer de manière trop erratique ou imprévisible à mesure que $u$ change. Ils exigent que la fonction de coût soit « strictement convexe » (comme un bol lisse, et non une montagne escarpée) et « monotone » (si vous changez $u$ dans une direction, le coût change dans une direction prévisible). Si la fonction de coût était accidentée ou changeait de sens de façon erratique, leur preuve de l'existence d'une solution unique s'effondrerait.
Ce n'est pas toujours une ligne droite : Dans la géométrie normale, le chemin le plus court est une ligne droite. Ici, les auteurs montrent que le « meilleur » chemin est souvent une courbe sinueuse qui longe les autoroutes invisibles. Vous ne pouvez pas supposer qu'une ligne droite existe ou qu'elle est optimale.

Quel est leur degré de certitude ? (Le niveau de la « preuve »)

Les auteurs sont extrêmement sûrs. Ils ne se contentent pas de simuler cela sur un ordinateur ou de suggérer que cela pourrait être vrai ; ils fournissent une preuve mathématique rigoureuse.

Existence et unicité : Ils prouvent qu'une solution existe et qu'elle est l'unique. Il n'y a pas de « peut-être ».
Convergence : Ils prouvent que si vous partez d'une carte grossière et que vous l'affinez continuellement, elle convergera mathématiquement vers cette solution stable et parfaite.
La réserve de l'« Hypothèse 1 » : Il y a une petite condition qu'ils mentionnent. Pour garantir que la solution finale est unique à long terme, ils doivent supposer une condition technique spécifique (appelée Hypothèse 1) concernant la façon dont le « coût » change selon la position. Ils ne prouvent pas que cette hypothèse est toujours vraie pour tous les labyrinthes possibles, mais ils prouvent que si cette condition est respectée, alors la solution est unique. Sans cette condition, ils ne peuvent pas garantir l'unicité, mais ils peuvent toujours prouver l'existence de la solution.

La « magie » de la preuve

Pour y parvenir, ils utilisent une astuce ingénieuse impliquant un « semi-groupe de Lax ». Imaginez une machine qui prend votre carte actuelle, la fait passer dans le labyrinthe pendant un petit instant, et recrache une nouvelle carte, légèrement meilleure. Les auteurs montrent que si vous réinjectez la sortie de cette machine dans elle-même de façon répétée, les cartes finissent par cesser de changer. Ils prouvent cela en montrant que l'« énergie » des chemins (l'action) se comporte comme un élastique qui revient toujours vers une longueur spécifique, empêant les chemins de devenir incontrôlables.

Ils utilisent également un concept appelé « Théorème de Tonelli », qui est comme une garantie que si vous avez un ensemble de chemins qui se rapprochent de plus en plus du meilleur, il existe réellement un chemin physique qui est la limite de toutes ces tentatives. Cela garantit que le « meilleur chemin » n'est pas seulement un fantôme mathématique ; il existe réellement dans le labyrinthe.

En résumé

Iturriaga et Sánchez Morgado ont pris un ensemble complexe de règles pour naviguer dans un monde contraint et changeant et ont prouvé que, malgré le chaos, il existe une manière unique, stable et prévisible dont le système se comporte à long terme. Ils n'ont pas seulement trouvé un chemin ; ils ont prouvé que le chemin est unique et que toute tentative pour le trouver finira par y parvenir, à condition que les règles du labyrinthe ne deviennent pas trop folles. C'est un « oui » mathématique solide à la question : « Pouvons-nous prédire le comportement à long terme de ce système complexe ? » La réponse est un « oui » définitif et prouvé.

Résumé Technique : Théorèmes de Weak KAM pour les Lagrangiens sous-riemanniens dépendant de la fonction inconnue

Énoncé du Problème

Le document traite de l'extension de la théorie Weak KAM (Kolmogorov-Arnold-Moser) à une classe spécifique de problèmes variationnels définis sur des variétés sous-riemanniennes. Le défi central réside dans deux généralisations simultanées du cadre classique :

Contrainte Géométrique : Le lagrangien est défini uniquement sur la distribution horizontale $D$ d'une variété sous-riemannienne $(M, D, \langle \cdot, \cdot \rangle)$ , plutôt que sur l'ensemble du fibré tangent $TM$. Cela restreint les courbes admissibles à être « horizontales » (tangentes à $D$ presque partout).
Dépendance Fonctionnelle : Le lagrangien $L(v, u)$ dépend explicitement de la fonction inconnue $u$ (la solution de l'équation de Hamilton-Jacobi associée), en plus de la vitesse $v$ . Cela introduit une non-linéarité qui empêche l'application directe des techniques lagrangiennes autonomes classiques.

Les auteurs visent à établir l'existence et l'unicité des solutions de viscosité du problème de Cauchy associé et à prouver la convergence du semi-groupe de Lax-Oleinik vers une solution stationnaire (le théorème Weak KAM) sous ces contraintes.

Méthodologie

1. Cadre Variationnel et Définitions

Les auteurs définissent l'espace des courbes absolument continues horizontales, noté $W^{1,1}_D([a, b])$ , ainsi que la longueur sous-riemannienne. Ils introduisent l'Hamiltonien de contact sous-riemannien $H: T^*M \times \mathbb{R} \to \mathbb{R}$ via la transformée de Legendre-Fenchel du lagrangien :
$H(p, u) = \max \{ p(v) - L(v, u) : v \in D, \pi(v) = \pi^*(p) \}$
Le lagrangien $L \in C^2(D \times \mathbb{R})$ est supposé satisfaire trois conditions critiques :

Superlinéarité Uniforme : $L(v, 0) \geq k\|v\| + C(k)$ pour tout $k \geq 0$ .
Monotonie Bornée : $-\lambda \leq \partial_u L(v, u) < 0$ , garantissant que la dépendance en $u$ est strictement décroissante mais bornée.
Convexité Stricte : $\partial^2_{vv} L(v, u)(w, w) \geq \kappa \|w\|^2$ .

2. Théorème de Tonelli pour les Lagrangiens Non-Autonomes

Une partie importante de la méthodologie est consacrée à la preuve d'un théorème de type Tonelli pour la fonctionnelle d'action $A_L(\gamma) = \int L(t, \dot{\gamma}(t)) dt$ dans le cadre sous-riemannien.

Intégrabilité Uniforme : Les auteurs prouvent que les familles de courbes ayant une action bornée ont des vitesses uniformément intégrables (Lemme 1). Ceci est crucial pour l'application des arguments de compacité dans $W^{1,1}$ .
Semi-continuité Inférieure : Ils établissent que la fonctionnelle d'action est semi-continue inférieurement par rapport à la convergence uniforme (Théorème 4). La preuve consiste à réduire le problème à des cartes locales où la distribution horizontale est triviale et à utiliser la convexité stricte de $L$ .
Existence de Minimiseurs : En utilisant le théorème d'Arzelà-Ascoli et la semi-continuité inférieure de l'action, ils prouvent l'existence de minimiseurs pour l'action entre deux points quelconques (Corollaire 3).

3. Le Semi-groupe de Lax et l'Argument de Point Fixe

Les auteurs définissent un semi-groupe de Lax-Oleinik $T_t$ agissant sur les fonctions continues $\phi \in C(M)$ :
$T_t[\phi](x) = \inf \left\{ \phi(\gamma(0)) + \int_0^t L(\dot{\gamma}(s), u(s, \gamma(s))) ds : \gamma \in W^{1,1}_D([0, t]), \gamma(t) = x \right\}$
où $u$ est la solution recherchée.

Construction du Point Fixe : Ils définissent un opérateur $A_\phi$ sur l'espace $C([0, T] \times M)$ et prouvent qu'il est une contraction au sens généralisé (Lemme 3). En itérant cet opérateur, ils établissent l'existence d'un point fixe unique $u$ , qui correspond à la solution de viscosité du problème de Cauchy.
Propriétés du Semi-groupe : Ils prouvent la propriété de semi-groupe $T_{s+t} = T_s \circ T_t$ (Corollaire 4) et établissent les propriétés de monotonie et de non-expansion (Propositions 3 et 4).

4. Convergence vers des Solutions Stationnaires

Pour prouver le théorème Weak KAM, les auteurs analysent le comportement asymptotique de $T_t[\phi]$ .

Bornitude Uniforme et Équi-Lipschitzianité : Ils montrent que pour les données initiales lipschitziennes $\phi$ , la famille $T_t[\phi] + c_0 t$ est uniformément bornée et equi-lipschitzienne (Lemme 4 et Lemme 5), où $c_0$ est une constante critique liée à la valeur critique de Mañé.
Existence de la Limite : Sous une hypothèse supplémentaire sur la croissance de la dérivée spatiale de l'Hamiltonien (Hypothèse 1), ils prouvent que la séquence $T_t[\phi] + c_0 t$ converge uniformément vers une fonction $\psi$ quand $t \to \infty$ . Cette limite $\psi$ est une solution de viscosité de l'équation de Hamilton-Jacobi stationnaire $H(x, D_x \psi, \psi) = c_0$ .

Résultats Clés

Existence et Unicité (Théorème 1) : Pour toute condition initiale continue $\phi$ , il existe une unique solution de viscosité $u \in C([0, \infty) \times M)$ du problème de Cauchy :
$\begin{cases} u_t + H(x, D_x u, u) = 0 \\ u(0, x) = \phi(x) \end{cases}$
Cette solution est représentée variationnellement par la formule de Lax-Oleinik.
Théorème Weak KAM (Théorème 2) :
- Il existe une constante critique $c_0 \in \mathbb{R}$ telle que la famille $T_t[\phi] + c_0 t$ est uniformément bornée et equi-lipschitzienne pour $\phi$ lipschitzienne.
- Il existe une solution stationnaire $\psi \in \text{Lip}(M, d)$ satisfaisant $H(x, D_x \psi, \psi) = c_0$ .
- Sous l'Hypothèse 1, la limite $\lim_{t \to \infty} (T_t[\phi] + c_0 t)$ existe uniformément et donne une solution stationnaire.
Minimiseurs de Tonelli : L'article établit que des courbes minimisant l'action existent entre deux points quelconques pour le lagrangien sous-riemannien dépendant de $u$ , étendant ainsi les résultats classiques de Tonelli à ce cadre contraint et non-autonome.

Signification et Revendications

L'article affirme avoir réussi à étendre les résultats fondamentaux de la théorie Weak KAM au contexte de la géométrie sous-riemannienne où le lagrangien dépend de la fonction inconnue.

Extension Géométrique : Les auteurs démontrent que la condition de génération de groupe (bracket-generating) sur la distribution $D$ est suffisante pour garantir que la distance de Carnot-Carathéodory induite génère la topologie de la variété, permettant ainsi la définition de solutions de viscosité et l'application des arguments de compacité (Arzelà-Ascoli) dans le contexte sous-riemannien.
Dépendance Fonctionnelle : En traitant la dépendance en $u$ (spécifiquement la condition de monotonie $-\lambda \leq \partial_u L < 0$ ), les auteurs surmontent la difficulté du fait que le lagrangien n'est pas autonome. Cela permet le traitement d'équations de Hamilton-Jacobi où l'Hamiltonien dépend de la solution elle-même, un scénario courant en théorie du contrôle et dans les jeux de champ moyen, mais précédemment moins exploré dans les contextes sous-riemanniens.
Robustesse des Méthodes Variationnelles : Ce travail renforce l'idée que l'approche variationnelle (semi-groupes de Lax-Oleinik) reste un outil puissant pour prouver l'existence, l'unicité et la convergence des solutions, même lorsque la géométrie sous-jacente est non-intégrable (sous-riemannienne) et que la dynamique est non-autonome.

Les auteurs ne prétendent pas résoudre des problèmes ouverts concernant la régularité des solutions au-delà de la continuité lipschitzienne, ni proposer de nouvelles applications expérimentales. La contribution est strictement théorique, fournissant le cadre analytique nécessaire pour traiter cette classe spécifique d'équations de Hamilton-Jacobi.