Recentering with Malliavin derivative

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie des structures de régularité (Regularity Structures), introduite par Martin Hairer pour résoudre les équations aux dérivées partielles stochastiques (EDPS) singulières. Un défi majeur dans cette théorie est de prouver la convergence du modèle renormalisé, c'est-à-dire la convergence des intégrales stochastiques itérées après application d'un schéma de renormalisation (généralement BPHZ).

La difficulté réside dans la gestion simultanée de deux procédures analytiques :

1. La renormalisation : Pour traiter les singularités des bruits.
2. Le recadrage (recentering) : Pour ajuster le modèle autour d'un point de base $x$ et garantir la cohérence locale.

Des preuves de convergence basées sur une inégalité de trou spectral (spectral gap) ont été développées dans des travaux antérieurs ([18], [15], [3]). Ces preuves utilisent une application clé, notée $d\Gamma$, qui permet de relier la dérivée de Malliavin du modèle $\delta\Pi_x$ à une opération algébrique sur les arbres décorés. Cependant, la littérature présente différentes formulations de cette application (via des multi-indices dans [18] ou des arbres décorés dans [15] et [9]), et il n'était pas clair si ces définitions étaient équivalentes ou comment elles s'articulaient algébriquement.

2. Méthodologie

Les auteurs proposent une unification algébrique de ces preuves en travaillant exclusivement sur le formalisme des arbres décorés (decorated trees). Leur méthodologie repose sur les étapes suivantes :

• Extension des degrés et des bruits : Ils introduisent deux types de bruit distincts dans le formalisme des arbres : le bruit original $\Xi$ et une perturbation infinitésimale $\dot{\Xi}$ (associée à la dérivée de Malliavin). Ils définissent trois applications de degré ($deg_0, deg_1, deg_2$) pour distinguer les cas où la dérivée de Malliavin est prise en compte ou non dans le recadrage.
• Hypothèses structurelles : Ils formulent une hypothèse cruciale (Assumption 1) garantissant que les arbres contenant une dérivée de Malliavin ont un degré positif après application de l'opérateur de dérivation $D_\Xi$. Cela permet d'utiliser des arguments de reconstruction.
• Définition de l'application de recadrage : Ils définissent rigoureusement l'application $d\Gamma$ (notée $d\Gamma^1$ et $d\Gamma^2$ selon le contexte de degré) via des coproduits et des caractères algébriques, en s'appuyant sur les travaux de [9].
• Double caractérisation : Ils prouvent que cette application $d\Gamma$ satisfait deux caractérisations équivalentes :
  1. Une caractérisation analytique via les dérivées (comportement local).
  2. Une caractérisation récursive via des relations algébriques sur les arbres.

3. Contributions Clés et Résultats Principaux

Le résultat central de l'article est le Théorème 1.1, qui établit que les preuves de convergence par inégalité de trou spectral dans les références [17], [15] et [3] reposent toutes sur la même application de recadrage $d\Gamma$, dont l'expression sur les arbres décorés est donnée par l'équation (1.3) du papier.

Les contributions spécifiques sont détaillées dans deux théorèmes majeurs :

A. Caractérisation par dérivée (Théorème 3.2)

Les auteurs montrent que l'application $d\Gamma$ définie dans [9] satisfait une identité fondamentale reliant la dérivée de Malliavin du modèle $\delta\Pi_x$ et le modèle recadré. Pour tout arbre $\tau$ et pour tout multi-indice $n$ tel que $|n|_s \le N$ :
$$\partial^n (\Pi_y d\Gamma_{yx} \tau - \delta\Pi_x \tau)(y) = 0$$
Cela signifie que $d\Gamma_{yx}\tau$ est l'unique objet qui, une fois reconstruit par le modèle $\Pi_y$, reproduit localement la dérivée de Malliavin du modèle original. Ce résultat confirme que la définition algébrique de [9] correspond exactement à la caractérisation analytique utilisée dans [18] (via les multi-indices).

B. Caractérisation récursive (Théorème 3.4)

Les auteurs démontrent que la variante $d\Gamma^2$ satisfait une définition récursive qui correspond exactement à l'application algébrique $\tilde{f}^\tau_x$ utilisée dans [15]. L'identité de récurrence est donnée par :

• $d\Gamma_{yx}(\sigma\tau) = d\Gamma_{yx}\tau \times \Gamma_{yx}\sigma + \Gamma_{yx}\tau \times d\Gamma_{yx}\sigma$
• $d\Gamma_{yx}I_a(\tau) = (I_a + J_a^2(y))(d\Gamma_{yx}\tau) - \Gamma_{xy} P_{\dots} (J_a^2(x)(d\Gamma_{xx}\tau))$

Cette équivalence repose sur une identité de commutation clé (équation 2.20) entre l'opérateur de changement de point de base $\Gamma_{yx}$ et l'intégration $I_a$.

4. Signification et Impact

• Unification des cadres : L'article résout l'ambiguïté existante entre les approches basées sur les multi-indices ([18]) et celles basées sur les arbres décorés ([15], [9]). Il montre qu'il ne s'agit pas de constructions différentes, mais de variations d'une même structure algébrique sous-jacente.
• Clarification des preuves de convergence : En établissant l'équivalence des définitions de $d\Gamma$, le papier valide la cohérence de toutes les preuves de convergence par inégalité de trou spectral existantes. Il fournit un pont rigoureux entre la partie analytique (dérivées de Malliavin) et la partie algébrique (Hopf algèbres d'arbres).
• Robustesse des modèles : La démonstration que l'application $d\Gamma$ peut être définie et caractérisée de manière cohérente renforce la solidité théorique des modèles renormalisés pour une large classe d'EDPS singulières, y compris les équations quasi-linéaires et les modèles de type $\Phi^4$.

En résumé, Bruned et Minguella fournissent la "clé de voûte" algébrique qui unifie les différentes approches de la convergence des modèles de structures de régularité, en démontrant que le mécanisme de recadrage via la dérivée de Malliavin est intrinsèquement le même, quelle que soit la formulation combinatoire utilisée.