Transportation cost inequalities for singular SPDEs

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo delle Equazioni Differenziali Stocastiche Singolari (SPDE), in particolare quelle trattate attraverso la teoria delle Strutture di Regolarità (Regularity Structures) sviluppata da M. Hairer. Queste equazioni, come il modello $\Phi^4$ in dimensioni superiori, presentano singolarità che richiedono procedure di rinormalizzazione non banali per definire soluzioni ben poste.

Il problema centrale affrontato dagli autori è la comprensione delle proprietà probabilistiche delle leggi delle soluzioni di tali SPDE. Nello specifico, gli autori mirano a dimostrare che le leggi dei modelli casuali BPHZ (Bogoliubov–Parasiuk–Hepp–Zimmermann), che sono fondamentali per la costruzione delle soluzioni, soddisfano delle disuguaglianze di costo di trasporto (Transportation Cost Inequalities - TCI).

Le TCI sono relazioni che legano la distanza di Wasserstein (costo di trasporto) tra due misure di probabilità alla loro entropia relativa. La loro dimostrazione implica proprietà di concentrazione della misura, integrabilità esponenziale e principi di grandi deviazioni. Fino ad ora, risultati simili erano stati ottenuti principalmente per equazioni di tipo Itô classico o per equazioni "mildly singular" (poco singolari), ma estenderli al regime pienamente subcritico delle SPDE singolari è stato una sfida aperta a causa della complessità della rinormalizzazione.

2. Metodologia e Strumenti Teorici

Gli autori combinano diverse tecniche avanzate:

• Strutture di Regolarità-Integrabilità: A differenza dei lavori precedenti (come [26] e [1] di Hairer, Steele e Bailleul-Hoshino) che utilizzavano strutture di regolarità standard, gli autori introducono una struttura di regolarità-integrabilità specifica. Questa struttura è arricchita per includere alberi che corrispondono a derivate di Malliavin di ordine superiore. Questo è cruciale perché la dimostrazione richiede stime polinomiali che non possono essere ottenute con il calcolo di Malliavin del primo ordine.
• Ipotesi di Spettro (Spectral Gap) e Trasporto: L'ipotesi di base (Assunzione A) richiede che la legge del rumore $\xi$ sia invariante per traslazioni spaziotemporali e soddisfi una disuguaglianza di costo di trasporto rispetto a una metrica definita su uno spazio di Hilbert $H$ (spesso lo spazio di Cameron-Martin nel caso gaussiano).
• Principio di Contrazione Esteso: Viene utilizzato un principio di contrazione generalizzato (Proposizione 1) che permette di propagare le disuguaglianze di costo di trasporto dal rumore alla soluzione, a patto che la mappa che lega il rumore al modello soddisfi una certa disuguaglianza di Hölder pathwise.
• Calcolo di Malliavin di Ordine Superiore: Il cuore della prova tecnica risiede nella costruzione di una mappa di sollevamento (lifting map) che lega una perturbazione del rumore $h \in H$ alla variazione del modello BPHZ. Gli autori dimostrano che questa variazione è controllata da una combinazione di norme di $h$ e delle sue derivate di ordine superiore.

3. Risultati Principali

A. Disuguaglianze di Costo di Trasporto per i Modelli BPHZ (Teorema 2 e Corollario 3)

Il risultato centrale è la dimostrazione che la legge del modello BPHZ casuale $\hat{M}_{\infty;\varepsilon}$ soddisfa una famiglia di disuguaglianze di costo di trasporto.
In particolare, sotto l'Assunzione A, esiste una costante $a > 0$ tale che:
$$\mathbb{E}\left[\exp(a \|\hat{M}_{\infty;\varepsilon}\|_M^2)\right] < \infty$$
Questo implica che la norma del modello ha una coda gaussiana. La prova si basa sulla dimostrazione di una disuguaglianza di Hölder pathwise per la mappa di sollevamento:
$$\|\hat{M}_{\infty;\varepsilon}(\omega + h) : \hat{M}_{\infty;\varepsilon}(\omega)\|_M \leq L(\omega) \max(\|h\|_H, \|h\|_H^{1/r})$$
dove $L(\omega)$ è una variabile casuale con momenti di ogni ordine.

B. Proprietà di Integrabilità delle Misure Invarianti (Teorema 4 e Teorema 11)

Un'applicazione diretta riguarda le misure invarianti di dinamiche Markoviane generate da SPDE singolari.

• Gli autori dimostrano che le misure invarianti per equazioni come il modello $\Phi^4_{4-\nu}$ sul toro 4-dimensionale (per $0 < \nu < 4$) soddisfano disuguaglianze di costo di trasporto.
• Di conseguenza, queste misure godono di proprietà di integrabilità esponenziale. Ad esempio, per la misura $\Phi^4_3$, si ottiene l'integrabilità di $\exp(a \|\phi\|^{1-})$. Questo risultato è ottenuto senza assumere direttamente una disuguaglianza di Log-Sobolev, ma derivandola dalle stime pathwise e dalla TCI del modello.

C. Principio di Grandi Deviazioni (Teorema 5 e Teorema 19)

Sotto ipotesi più forti (inclusa la compattezza dell'iniezione di $H$ in $\Omega$), gli autori dimostrano un Principio di Grandi Deviazioni (LDP) per la famiglia di modelli BPHZ associati a un rumore scalato $\kappa \xi$ quando $\kappa \to 0$.
La funzione di tasso è data da:
$$J(M) = \inf \{ I(h) ; h \in H, L(h) = M \}$$
dove $I(h) = \frac{1}{2}\|h\|_H^2$ e $L(h)$ è il modello "naive" definito da $h$. Questo estende i risultati seminali di Hairer & Weber (2017) dal caso specifico dell'equazione di Allen-Cahn a un'ampia classe di SPDE singolari, senza fare uso della decomposizione di Wiener (Wiener chaos), rendendo il risultato più robusto rispetto a perturbazioni non gaussiane.

4. Significato e Contributi Chiave

1. Generalità del Risultato: Il lavoro fornisce un risultato "automatico": se il rumore soddisfa una TCI e non si verifica un "esplosione della varianza" (variance blowup), allora anche la soluzione (o meglio, il modello che la genera) soddisfa una TCI. Questo unifica e generalizza risultati precedenti su equazioni di tipo Itô e SPDE meno singolari.
2. Superamento delle Limitazioni del Calcolo di Malliavin: Introducendo strutture di regolarità che incorporano derivate di Malliavin di ordine superiore, gli autori riescono a gestire la complessità della rinormalizzazione nelle equazioni più singolari, dove i metodi del primo ordine fallivano.
3. Implicazioni per la Teoria Quantistica dei Campi: La dimostrazione di proprietà di integrabilità esponenziale per le misure $\Phi^4$ in regime subcritico è rilevante per gli assiomi di Osterwalder-Schrader nella teoria quantistica dei campi euclidea.
4. Robustezza: I risultati sono robusti rispetto a perturbazioni della misura del rumore (ad esempio, densità limitate rispetto alla misura gaussiana), a differenza di alcuni approcci basati esclusivamente sulla struttura gaussiana.

Conclusione

Il paper rappresenta un avanzamento significativo nella teoria analitica delle SPDE singolari, collegando in modo rigoroso le proprietà geometriche del rumore (TCI) alle proprietà probabilistiche delle soluzioni (concentrazione, grandi deviazioni). Fornisce un quadro unificato per studiare la regolarità e la stabilità statistica di modelli fisici complessi, come quelli di campo medio e teoria quantistica dei campi, in dimensioni superiori.