Recent progress in generalized Hamiltonian gradient flow: Singularities

Résumé technique : Progrès récents dans le flot de gradient hamiltonien généralisé : Singularités

Énoncé du problème
L'article traite de la propagation des singularités dans les équations de Hamilton-Jacobi (HJ), en se concentrant spécifiquement sur l'équation évolutive $\partial_t u + H(x, D_x u) = 0$ et l'équation stationnaire $H(x, D\phi) = c[H]$. Bien que les solutions de viscosité fournissent un cadre bien posé pour ces équations, elles ne sont généralement que semi-concaves, ce qui conduit à la formation de singularités (points de non-différentiabilité). Un défi central dans ce domaine est de comprendre la dynamique de ces singularités, en particulier l'existence, l'unicité et la propagation globale des « caractéristiques généralisées » et des « caractéristiques singulières strictes » émanant de points singuliers. De plus, l'article examine le lien entre ces dynamiques singulières et les mesures invariantes du flot associé, en les reliant spécifiquement aux mesures de Mather et à la valeur critique de Ma˜n´e.

Méthodologie
Les auteurs emploient une synthèse de l'analyse variationnelle, de la théorie KAM faible, du transport optimal et de la théorie des flots de gradient dans les espaces métriques. Les composants méthodologiques clés incluent :

1. Construction variationnelle par mouvements minimisants : L'article utilise un schéma de mouvements minimisants (analogue au schéma de Jordan-Kinderlehrer-Otto en transport optimal) pour construire des caractéristiques généralisées. En prenant la limite faible des solutions approchées générées par des problèmes de maximisation itératifs impliquant le semi-groupe de Lax-Oleinik, les auteurs utilisent la compacité des mesures de Young pour prouver que la courbe limite satisfait l'inclusion différentielle de caractéristique généralisée.
2. Formalisme de l'inégalité de dissipation d'énergie (EDI) : Les auteurs adoptent le cadre EDI de la théorie des flots de gradient pour définir des « courbes de pente maximale ». En sélectionnant l'élément d'énergie minimal $p^\#_{\phi,H}(x)$ du surdifférentiel $D^+\phi(x)$, ils définissent des « caractéristiques singulières strictes » qui satisfont une équation différentielle ordinaire (EDO) spécifique plutôt qu'une inclusion différentielle avec un enveloppe convexe.
3. Relèvement dans l'espace des trajectoires : Pour pallier le manque d'unicité dans la dynamique vers l'avant des caractéristiques singulières strictes (un problème connu pour les hamiltoniens de Tonelli généraux), les auteurs relèvent la dynamique vers l'espace des trajectoires $C_0^+ = C_0([0, +\infty), M)$. Ils définissent un semi-flot sur cet espace de trajectoires et étudient ses mesures de probabilité invariantes.
4. Point de vue eulérien : Le cadre est étendu à l'espace des mesures de probabilité $\mathcal{P}_c(\mathbb{R}^m)$ (espace de Wasserstein). Les auteurs définissent des opérateurs aléatoires de Lax-Oleinik et analysent la propagation des singularités pour les équations de Hamilton-Jacobi définies sur l'espace des mesures.

Contributions et résultats clés

1. Construction variationnelle des caractéristiques généralisées :
   L'article fournit une construction variationnelle rigoureuse des caractéristiques généralisées. En analysant la convergence faible des mouvements minimisants, les auteurs démontrent que les courbes limites satisfont l'inclusion différentielle $\dot{\gamma}(s) \in \text{co } H_p(\gamma(s), D^+\phi(\gamma(s)))$. Cela établit un lien direct entre la construction géométrique intrinsèque des singularités et la théorie abstraite des flots de gradient.

2. Équivalence des caractéristiques singulières strictes et brisées :
   Les auteurs prouvent que les caractéristiques singulières strictes (définies via la sélection d'énergie minimale $p^\#_{\phi,H}$) coïncident avec les « caractéristiques brisées » (solutions de l'EDO sans l'enveloppe convexe). Ce résultat, dérivé de la stabilité de la construction variationnelle, clarifie la relation entre différentes notions de trajectoires singulières trouvées dans la littérature.

3. Caractérisation des mesures de Mather via le FGHG :
   Une nouvelle contribution majeure est la caractérisation dynamique des mesures de Mather. Les auteurs prouvent que pour le semi-flot $(S^+_{\phi,H}, P_t)$ sur l'espace des caractéristiques singulières strictes, les seules mesures de probabilité invariantes qui atteignent la valeur critique de Ma˜n´e $c[H]$ sont les mesures de Mather projetées. Plus précisément, ils établissent l'identité :
   $$c[H] = \max_{\phi \in SCL(M)} \sup_{\mu \in \mathcal{I}_M(\phi,H)} \int_{S^+_{\phi,H}} H(\gamma(0), p^\#_{\phi,H}(\gamma(0))) \, d\mu.$$
   Cela fournit une caractérisation purement dynamique des mesures minimales de Mather dans le cadre des caractéristiques singulières strictes.

4. Transport de masse et équations de continuité :
   L'article dérive l'équation de continuité associée au semi-flot lagrangien irrégulier des caractéristiques singulières strictes :
   $$\frac{d}{dt}\mu_t + \text{div}(H_p(x, p^\#_{\phi,H}(x)) \cdot \mu_t) = 0.$$
   Il est démontré que la masse concentrée sur le lieu de coupure et le support singulier $C^{1,1}$ est non décroissante dans le temps, reflétant l'irréversibilité de la propagation des singularités.

5. Extension à l'espace de Wasserstein :
   Les auteurs étendent la théorie aux équations de Hamilton-Jacobi sur l'espace des mesures de probabilité $\mathcal{P}_c(\mathbb{R}^m)$. Ils définissent des fonctionnelles d'énergie potentielle et des opérateurs aléatoires de Lax-Oleinik, prouvant que la fonction de valeur est une solution de viscosité d'une équation de Hamilton-Jacobi sur l'espace de Wasserstein. Ils caractérisent en outre la propagation des singularités (points de coupure) dans ce cadre de dimension infinie.

Importance et problèmes ouverts
L'article affirme que le cadre du flot de gradient hamiltonien généralisé (FGHG) offre un langage variationnel et dynamique naturel pour unifier l'étude des dynamiques singulières, de la théorie ergodique, du transport optimal et de l'analyse géométrique. En relevant la dynamique vers les espaces de trajectoires et en utilisant le formalisme EDI, les auteurs fournissent de nouveaux outils pour traiter le manque d'unicité et l'irréversibilité inhérents aux flots HJ singuliers.

L'article conclut en exposant plusieurs problèmes ouverts, soulignant que le domaine reste très actif. Ceux-ci incluent :

• Unicité : Déterminer si la stricte convexité du hamiltonien suffit à assurer l'unicité des caractéristiques singulières strictes pour les systèmes de Tonelli généraux.
• Rectifiabilité : Investiguer la rectifiabilité $H^{n-1}$ du lieu de coupure et ses implications pour la structure métrique des ensembles d'Aubry.
• Stabilité : Analyser la stabilité du lieu de coupure sous des perturbations du potentiel ou du hamiltonien, en particulier dans le contexte de la convergence de Hausdorff.
• Extensions : Généraliser le FGHG aux systèmes hamiltoniens de contact, aux hamiltoniens non convexes et aux systèmes à faible régularité.
• Limites d'annulation : Étudier le comportement asymptotique des courbes de pente maximale stochastiques lorsque le bruit s'annule et la convergence des lieux de coupure dans les problèmes d'escompte s'annulant.

Les auteurs positionnent ces problèmes ouverts comme des directions critiques pour la recherche future, mettant en lumière les connexions profondes entre le cadre du FGHG et des questions plus larges en systèmes dynamiques et en analyse géométrique.