Recentering with Malliavin derivative

Titolo: Recentering con derivata di Malliavin

Autori: Yvain Bruned e Aurélien Minguella (Università di Lorraine, CNRS, IECL)
Data: 4 marzo 2026

1. Il Problema

Il lavoro si inserisce nel contesto della teoria delle strutture di regolarità (Regularity Structures), introdotta da Martin Hairer, utilizzata per dimostrare la ben-postezza locale di una vasta classe di Equazioni alle Derivate Parziali Stocastiche Singolari (SPDE).

Il problema centrale affrontato è l'unificazione algebrica delle dimostrazioni di convergenza del modello rinormalizzato. In particolare, le prove esistenti basate sull'ineguaglianza del gap spettrale (spectral gap) richiedono due procedure analitiche simultanee:

1. Rinormalizzazione: Rimozione delle divergenze tramite lo schema BPHZ.
2. Ri-centramento (Recentering): Aggiustamento delle espansioni locali attorno a un punto base $x$ per gestire la regolarità del modello.

Nella letteratura precedente, la mappa di ri-centramento $d\Gamma$ (usata per adattare il modello) è stata definita in modi apparentemente diversi a seconda dell'approccio combinatorio adottato:

• Multi-indici (Lotto, Hairer, [17, 18]): Un approccio basato sulla parametrizzazione tramite non-linearità.
• Alberi decorati (Bailleul, Bruned, Hairer, [15, 9]): Un approccio basato su Hopf algebras di alberi.

Non era chiaro se le definizioni di $d\Gamma$ utilizzate in questi diversi framework fossero equivalenti o come si relazionassero tra loro. Questo paper mira a colmare tale lacuna, fornendo un'unificazione algebrica rigorosa.

2. Metodologia

Gli autori utilizzano un approccio puramente algebrico e combinatorio basato sugli alberi decorati (decorated trees).

• Struttura degli Alberi: Definizione di un insieme di alberi decorati $\mathcal{T}$ con simboli per il nucleo di convoluzione ($I$), il rumore ($\Xi$) e una perturbazione infinitesima del rumore ($\dot{\Xi}$), quest'ultima associata alla derivata di Malliavin.
• Derivata di Malliavin Algebrica: Introdotta come mappa lineare $D_\Xi: \mathcal{T}_0 \to \mathcal{T}_1$ che trasforma il simbolo del rumore $\Xi$ in $\dot{\Xi}$.
• Assunzioni Chiave:
  • Assunzione 1: Garantisce che gli alberi contenenti una derivata di Malliavin abbiano grado positivo dopo l'applicazione dell'operatore di derivazione, permettendo l'uso di argomenti di ricostruzione.
  • Assunzione 2: Impone che la mappa di preparazione (preparation map) $R$ commuti con la proiezione $Q_0$ (che annulla gli alberi con $\dot{\Xi}$), riflettendo il fatto che la derivata di Malliavin rende il rumore meno singolare e non necessita di rinormalizzazione aggiuntiva.
• Mappatura $d\Gamma$: Gli autori definiscono formalmente le mappe di ri-centramento $d\Gamma^1_{yx}$ e $d\Gamma^2_{yx}$ utilizzando coprodotti ($\Delta_i$), antipodi ($A^+_i$) e caratteri ($f_x$) all'interno dell'ambito degli alberi decorati.

3. Contributi Chiave

Il contributo principale del paper è l'identificazione e la dimostrazione che le diverse definizioni di $d\Gamma$ presenti in letteratura sono, in realtà, caratterizzazioni equivalenti della stessa mappa algebrica.

1. Unificazione delle Definizioni: Si dimostra che la mappa $d\Gamma$ definita in [9] (basata su alberi decorati) coincide con quella usata in [18] (basata su multi-indici) e con la definizione ricorsiva usata in [15].
2. Nuova Caratterizzazione: Si fornisce una caratterizzazione della mappa $d\Gamma$ sia tramite derivate (approccio analitico) sia tramite una definizione ricorsiva algebrica.
3. Generalizzazione: Il risultato si applica a una classe ampia di SPDE singolari, inclusi modelli come $\Phi^4_4$ e l'equazione KPZ generalizzata.

4. Risultati Principali

Il teorema centrale (Teorema 1.1) afferma che le parti algebriche delle prove di convergenza tramite il gap spettrale in [17, 15, 3] si basano tutte sulla stessa mappa di ri-centramento $d\Gamma$.

Questo è dimostrato attraverso due teoremi fondamentali:

• Teorema 3.2 (Approccio tramite Derivate):
  Si dimostra l'identità fondamentale per ogni $\tau \in \mathcal{T}_0$ e per ogni ordine $n$ sufficientemente piccolo:
  $$\partial^n (\Pi_y d\Gamma_{yx} \tau - \delta \Pi_x \tau)(y) = 0$$
  Dove:

  • $\Pi_y$ è il modello rinormalizzato.
  • $\delta \Pi_x$ è la derivata di Malliavin del modello.
  • $d\Gamma_{yx}$ è la mappa di ri-centramento.
    Questa identità conferma che la ricostruzione della distribuzione modellata $d\Gamma \tau$ restituisce esattamente la derivata di Malliavin del modello, generalizzando il risultato del Teorema 4.5 di [9] a ordini superiori.

• Teorema 3.4 (Definizione Ricorsiva):
  Si dimostra che una variante della mappa, $d\Gamma^2_{yx}$, soddisfa una definizione ricorsiva che coincide con quella della distribuzione modellata $\tilde{f}^\tau_x$ utilizzata in [15]. La definizione ricorsiva è:

  • $d\Gamma_{yx} \Xi = \dot{\Xi} + \delta\xi(y)$
  • $d\Gamma_{yx} (\sigma\tau) = d\Gamma_{yx}\tau \times \Gamma_{yx}\sigma + \Gamma_{yx}\tau \times d\Gamma_{yx}\sigma$
  • Una formula specifica per gli alberi piantati $I_a(\tau)$ che coinvolge la proiezione sui termini di grado inferiore.

5. Significato e Impatto

• Chiarezza Teorica: Il lavoro risolve l'ambiguità sulla natura della mappa di ri-centramento, dimostrando che le diverse scuole di pensiero (multi-indici vs. alberi decorati) stanno effettivamente lavorando con lo stesso oggetto algebrico, sebbene espresso in linguaggi diversi.
• Robustezza delle Prove: Fornisce un fondamento unificato per le prove di convergenza basate sul gap spettrale, rendendo più trasparente il passaggio tra la struttura combinatoria e le stime analitiche.
• Flessibilità Applicativa: La definizione algebrica unificata facilita l'estensione delle tecniche di regolarità a nuove equazioni stocastiche complesse, poiché gli sviluppatori possono scegliere il framework combinatorio più adatto (alberi o multi-indici) senza preoccuparsi di inconsistenza nella definizione del ri-centramento.
• Connessione con la Fisica Teorica: L'uso della derivata di Malliavin e la sua interpretazione algebrica collegano più direttamente la teoria delle strutture di regolarità con le tecniche di calcolo delle variazioni stocastiche e la teoria quantistica dei campi (QFT).

In sintesi, questo paper funge da "ponte" algebrico che unifica la letteratura sulle SPDE singolari, confermando che la complessità apparente delle diverse dimostrazioni di convergenza deriva da notazioni diverse, non da strutture matematiche incompatibili.