Random models for singular SPDEs

Résumé technique : Modèles aléatoires pour les SPDE singulières

Énoncé du problème
Le papier traite de la convergence du modèle renormalisé BHZ (Bruned-Hairer-Zambotti) associé à l'équation généralisée (KPZ) sur le tore unidimensionnel. L'équation est donnée par :
$$(\partial_t - \partial_x^2)u = f(u)\zeta + g(u)(\partial_x u)^2$$
où $\zeta$ est un bruit blanc espace-temps de régularité de Hölder parabolique $-3/2 - \kappa$. L'équation est dite « singulière » car la non-linéarité implique des produits de distributions (par exemple, $f(u)\zeta$ et $(\partial_x u)^2$) qui sont mal définis au sens classique.

La difficulté centrale réside dans la preuve que la séquence de modèles construits à partir du bruit régularisé $\zeta_\epsilon$ converge vers un modèle limite quand $\epsilon \to 0$. Les approches standards, telles que la machinerie complète de renormalisation BPHZ développée par Chandra et Hairer [13], reposent sur des arguments inductifs complexes impliquant les cumulants du bruit. Les auteurs visent à fournir une preuve de convergence qui évite l'utilisation de la « pleine puissance » de ces techniques BPHZ générales, spécifiquement pour l'équation KPZ généralisée.

Méthodologie
Les auteurs emploient une stratégie basée sur la décomposition en chaos (formule de Stroock) et une analyse raffinée des diagrammes de Feynman (spécifiquement les « graphes miroirs »).

1. Décomposition en chaos : Au lieu de s'appuyer sur toute la machinerie algébrique du BPHZ, les auteurs décomposent la norme $L^2(\Omega)$ de la différence entre les modèles renormalisés en utilisant la formule de Stroock. Pour un symbole $\tau$ possédant $|\tau|_\zeta$ symboles de bruit, la norme est bornée par une somme d'espérances de dérivées de Malliavin :
   $$\|\langle \Pi^\epsilon_z \tau - \Pi^{\epsilon'}_z \tau, \phi^\lambda_z \rangle\|_{L^2(\Omega)} \lesssim \sum_{n=0}^{|\tau|_\zeta-1} \| \mathbb{E}[\langle d^n(\Pi^\epsilon_z \tau - \Pi^{\epsilon'}_z \tau), \phi^\lambda_z \rangle] \| + \| \langle d^{|\tau|_\zeta}(\Pi^\epsilon_z \tau - \Pi^{\epsilon'}_z \tau), \phi^\lambda_z \rangle \|$$
   Une observation cruciale est que pour l'équation KPZ généralisée, la structure de régularité contient des arbres avec au plus quatre symboles de bruit. Cela limite l'ordre des dérivations requises et simplifie l'analyse par rapport aux SPDE singulières générales.

2. Graphes miroirs et restes de Taylor : Les espérances des dérivées de Malliavin sont représentées comme des intégrales sur des « graphes miroirs ». Ces graphes encodent la structure des intégrales itérées impliquant le bruit et ses dérivées.

   • Les auteurs utilisent une généralisation du théorème de convergence pour les diagrammes de Feynman de Hairer et Quastel [21], raffinée par Bruned et Nadeem [11].
   • Contrairement au critère original de Hairer-Quastel, qui exige que les développements de Taylor soient effectués autour d'un point unique pour tous les bords, le raffinement de Bruned-Nadeem permet des développements autour de points dépendants de l'arête.
   • Cette flexibilité est essentielle car certains graphes issus de l'analyse KPZ (spécifiquement ceux possédant deux bords entrants sur un diagramme sous-divergent) sortent du champ d'application du critère original.

3. Changements élémentaires et stabilité : La preuve repose sur le concept de « changements élémentaires ». Les auteurs démontrent qu'en décalant le point de base d'un développement de Taylor ou en changeant l'ordre de l'expansion, on peut transformer un graphe satisfaisant les conditions de convergence en le graphe cible par une séquence finie d'étapes. Ils prouvent que ces changements locaux préservent les deux ensembles de conditions requises pour la convergence :

   • Intégrabilité/Comptage de puissance (Condition 3.2) : Assure que l'intégrale est bien définie.
   • Recentrage (Condition 3.3) : Assure le comportement d'échelle correct par rapport au paramètre de la fonction de test $\lambda$.

Contributions clés

• Preuve de convergence directe : Le papier fournit une preuve de la convergence du modèle renormalisé BHZ pour l'équation KPZ généralisée qui ne nécessite pas le cadre complet de la renormalisation inductive BPHZ.
• Utilisation du faible nombre de bruits : Les auteurs exploitent la propriété combinatoire spécifique de l'équation KPZ généralisée où les arbres de la structure de régularité possèdent au plus quatre symboles de bruit. Cela réduit considérablement la complexité de la décomposition en chaos.
• Application de critères diagrammatiques raffinés : Le travail applique avec succès le raffinement de Bruned-Nadeem du théorème de Hairer-Quastel pour traiter des topologies de graphes spécifiques (impliquant des sous-divergences avec deux bords entrants) qui étaient auparavant problématiques pour les critères standards.
• Renormalisation par sommes télescopiques : Les auteurs démontrent explicitement comment la procédure de renormalisation (extraction-contraction de sous-arbres) correspond à des sommes télescopiques de restes de Taylor dans les graphes miroirs, établissant un lien direct entre la carte de renormalisation algébrique et les estimations analytiques.

Résultats
Le résultat principal est le Corollaire 8, qui établit l'estimation uniforme pour le modèle BHZ $\Pi^\epsilon$ :
$$\|\langle \Pi^\epsilon_z \tau, \phi^\lambda_z \rangle\|_{L^2(\Omega)} \lesssim \lambda^{|\tau|}$$
pour tous les symboles $\tau$ de degré négatif, uniformément en $\epsilon$. De plus, le papier établit la convergence de la séquence de modèles :
$$\|\langle \Pi^\epsilon_z \tau - \Pi^{\epsilon'}_z \tau, \phi^\lambda_z \rangle\|_{L^2(\Omega)} \lesssim o_{\epsilon \vee \epsilon'}(1) \lambda^{|\tau|}$$
Ceci confirme l'existence d'un modèle limite pour l'équation KPZ généralisée.

Signification et affirmations
Les auteurs affirment que leur approche offre une alternative « pratique » et potentiellement plus simple à la machinerie BPHZ générale pour des équations spécifiques où le nombre de bruits est faible.

• Portée : La méthode est explicitement déclarée applicable aux équations dont les diagrammes ne contiennent qu'une seule sous-divergence, telles que l'équation KPZ généralisée et potentiellement la dynamique de Yang-Mills stochastique en 2D/3D.
• Limites : Les auteurs notent modestement que si l'on doit faire face à des « sous-divergences méchantes ou chevauchantes », l'approche devrait être étendue, ce qu'ils décrivent comme étant « réalisable mais loin d'être trivial ».
• Contribution à la théorie : Ce travail sert de pont entre la renormalisation algébrique abstraite (BPHZ) et les estimations analytiques concrètes, démontrant que pour certaines classes d'équations, la pleine machinerie du BPHZ n'est pas strictement nécessaire si l'on exploite les contraintes combinatoires spécifiques de la structure du bruit.

Le papier ne prétend pas résoudre le problème général des SPDE singulières pour des structures de bruit arbitraires ou des divergences chevauchantes, mais propose plutôt une preuve rationalisée pour le cas spécifique de l'équation KPZ généralisée en utilisant la décomposition en chaos et des bornes diagrammatiques raffinées.