Cancellations for dispersive PDEs with random initial data

Résumé technique : Annulations pour les EDP dispersives avec données initiales aléatoires

Énoncé du problème
Les récents progrès dans l'analyse des équations aux dérivées partielles (EDP) dispersives avec données initiales aléatoires, en particulier dans les contextes de la turbulence d'ondes et de l'invariance des mesures de Gibbs, ont reposé de manière cruciale sur des développements perturbatifs impliquant des intégrales itérées encodées par des diagrammes de Feynman. Bien que des cadres analytiques tels que les « tenseurs aléatoires » (Deng et Hani, 2023) aient établi avec succès la bien-poséité locale et des dérivations à long terme pour des équations comme l'équation de Schrödinger non linéaire (NLS) et l'équation des ondes, ces preuves dépendent souvent d'« annulations miraculeuses » entre des diagrammes de Feynman complexes.

Dans le contexte des EDP stochastiques singulières paraboliques (SPDE), de telles annulations sont comprises grâce à une théorie systématique des Structures de Régularité, utilisant des structures algébriques spécifiques (par exemple, des algèbres de Hopf sur des arbres décorés) et des identités liées au noyau de la chaleur. Cependant, pour les équations dispersives, un cadre combinatoire général comparable pour expliquer et calculer ces annulations a fait défaut. Le défi spécifique réside dans le fait que les noyaux dispersifs (oscillatoires) ne partagent pas les propriétés non anticipatives des noyaux de la chaleur, rendant les règles graphiques paraboliques standards inapplicables. L'article répond au besoin d'un formalisme unifié pour calculer et comprendre ces annulations, en particulier celles apparaissant dans la dérivation des équations cinétiques d'ondes et la preuve de l'invariance de la mesure de Gibbs pour l'équation des ondes cubique en 3D.

Méthodologie
Les auteurs proposent un formalisme combinatoire qui transforme les intégrales itérées, initialement encodées par des arbres décorés, en mots via une application d'arborification. Cette approche s'inspire des structures algébriques utilisées dans les SPDE paraboliques mais les adapte à la nature oscillatoire spécifique des équations dispersives.

1. Arbres décorés : Les auteurs utilisent le formalisme des arbres décorés (introduit par Bruned et al., 2019) pour encoder les itérations de Duhamel des équations dispersives. Ces arbres possèdent des nœuds et des arêtes décorés par des fréquences et des variables de temps.
2. Identités analytiques clés : Le cœur de la méthodologie consiste à remplacer les noyaux oscillatoires fondamentaux par des espérances impliquant des données initiales aléatoires.
   • Pour l'équation de Schrödinger non linéaire (NLS), l'identité $e^{i(s-t)k^2} = \mathbb{E}(e^{-itk^2}\eta_k e^{-isk^2}\eta_k)$ est utilisée, où $\eta_k$ sont des variables gaussiennes i.i.d.
   • Pour l'équation des ondes, l'identité $\frac{\sin((t-t')\langle n \rangle)}{\langle n \rangle} = -\partial_t \mathbb{E}(v_n(t)v_{-n}(t'))$ est employée, introduisant une dérivée temporelle.
   • Graphiquement, ces identités correspondent à la division d'une seule arête associée au noyau en deux arêtes reliées par une espérance (ou une dérivée), représentée par le coloriage de feuilles ou d'arêtes spécifiques en « vert ».
3. Arborification et algèbre de shuffle : Les auteurs définissent un morphisme, l'application d'arborification ($a$), qui applique les arbres décorés sur des mots sur un alphabet spécifique. Cet alphabet est composé de « lettres » représentant les arêtes divisées (certaines avec un coloriage vert pour désigner l'appariement spécial ou la dérivée).
   • L'application $a$ est définie par récurrence, implémentant efficacement la division des arêtes de manière récursive.
   • Elle peut également être définie via un coproduit de type Butcher-Connes-Kreimer ($\Delta_{NLS}$ ou $\Delta_{Wave}$).
   • L'image de l'arbre par $a$ est une combinaison linéaire de mots équipés d'un produit de shuffle ($\shuffle$).
4. Diagramme commutatif : Le cadre établit un diagramme commutatif où l'évaluation analytique d'un arbre décoré ($\Pi T$) est équivalente à l'évaluation de son mot arborifié ($\Pi_A a(T)$). Cela permet aux auteurs de déplacer le calcul des annulations du domaine analytique (intégrales oscillatoires) vers le domaine algébrique (manipulation de mots).

Contributions et résultats clés
L'article fournit une méthode systématique pour calculer les annulations qui étaient auparavant traitées via des arguments combinatoires ad hoc ou des « molécules » (Deng et Hani, 2023).

• Cadre unifié : Les auteurs introduisent un formalisme général reliant les arbres décorés aux mots via l'arborification, spécifiquement adapté aux équations dispersives. Cela sert d'alternative à la formulation par « molécules ».
• Résultats théoriques :
  • Théorème 2.3 (NLS) : Établit l'égalité entre l'intégrale itérée d'un arbre décoré et l'intégrale de son mot arborifié pour l'équation NLS cubique.
  • Théorème 3.2 (Ondes) : Fournit le résultat analogue pour l'équation des ondes cubique en 3D, intégrant la dérivée temporelle découlant du propagateur d'ondes.
• Calculs explicites d'annulations :
  • Turbulence d'ondes (NLS) : Les auteurs démontrent comment le formalisme retrouve les « annulations miraculeuses » observées dans Deng et Hani (2019, 2023). En changeant les « couleurs » (appariements) des feuilles dans la représentation par mots, ils montrent que certains termes s'annulent ou deviennent négligeables (termes inoffensifs), en s'appuyant sur des arguments de proximité fréquentielle.
  • Invariance de la mesure de Gibbs (Ondes) : L'article calcule l'annulation principale requise pour la preuve de l'invariance de la mesure de Gibbs sous la dynamique de l'équation des ondes cubique en 3D (Bringmann et al., 2023). En utilisant l'intégration par parties sur la représentation par mots (dérivée de l'identité de dérivée temporelle), ils suivent explicitement l'annulation des termes sextiques, réduisant le problème à des termes soit petits, soit traités par renormalisation.
• Métathéorème : Les auteurs proposent un « Métathéorème » stipulant que les annulations pour les EDP dispersives avec données initiales aléatoires peuvent être comprises via des mots et une application d'arborification bien choisie.

Signification et affirmations
L'article prétend fournir un cadre unifié général pour calculer et comprendre les annulations dans les EDP dispersives avec données aléatoires, comblant une lacune laissée par l'absence d'une théorie « boîte noire » comparable aux Structures de Régularité pour les équations paraboliques.

• Efficacité : Le formalisme remplace les calculs analytiques ingérables sur de grandes intégrales oscillatoires par des manipulations algébriques sur des mots, qui constituent un ensemble combinatoire plus simple.
• Clarté conceptuelle : Il offre une explication conceptuelle des « annulations miraculeuses » précédemment observées dans les preuves de turbulence d'ondes et de mesure de Gibbs, les reliant aux propriétés algébriques du produit de shuffle et à la structure spécifique de l'application d'arborification.
• Portée : Les auteurs déclarent explicitement que, bien que le formalisme soit efficace pour les équations NLS et des ondes dans les contextes de la turbulence d'ondes et de l'invariance de la mesure de Gibbs, une compréhension plus conceptuelle (identifiant des symétries analogues au cas parabolique) reste hors de portée sans arguments supplémentaires. L'article ne prétend pas résoudre tous les problèmes dispersifs mais fournit plutôt un outil robuste pour les annulations spécifiques rencontrées dans des résultats récents de haut niveau.

L'œuvre est présentée comme une avancée technique qui systématise les aspects combinatoires des récentes percées dans les EDP dispersives, offrant un outil potentiel pour les analyses futures en turbulence d'ondes et en théorie des tenseurs aléatoires.