Mean field singular stochastic PDEs

1. Il Problema

Il paper si occupa dello studio di sistemi di campi interagenti la cui evoluzione è governata da Equazioni alle Derivate Parziali Stocastiche Singolari (SPDE) di tipo mean field (campo medio). L'equazione di riferimento per un sistema di $n$ campi è:
$$(\partial_t - \Delta)u^i_t = f(u^i_t, \mu^n_t) \xi^i_t + g(u^i_t, \mu^n_t), \quad 1 \le i \le n$$
dove:

• $\xi^i_t$ sono distribuzioni spaziotemporali casuali (rumore), tipicamente molto irregolari (es. rumore bianco spaziotemporale).
• $\mu^n_t = \frac{1}{n} \sum_{i=1}^n \delta_{u^i_t}$ è la misura empirica del sistema.
• $f$ e $g$ sono funzioni che dipendono dal campo e dalla misura empirica.

La sfida principale:
Il termine di diffusività $f(u, \mu)\xi$ è "singolare". A causa della bassa regolarità del rumore $\xi$ (regolarità Hölder $\alpha - 2$ con $\alpha < 1$) e della regolarità attesa della soluzione $u$ (regolarità parabolica $\alpha$), il prodotto $f(u, \mu)\xi$ non è ben definito in senso classico. La somma degli esponenti di regolarità è negativa ($\alpha + (\alpha - 2) < 0$), rendendo il prodotto ill-definito.
Inoltre, la natura mean field introduce una dipendenza dalla legge della soluzione stessa ($L(u_t)$), creando una struttura di accoppiamento complessa che i metodi standard per SPDE singolari (come le Regularity Structures o il calcolo paracontrollato applicato a sistemi vettoriali fissi) non gestiscono in modo ottimale per dimostrare risultati di propagazione del caos.

2. Metodologia

Gli autori adottano un approccio basato sul Calcolo Paracontrollato (Paracontrolled Calculus), sviluppato originariamente da Gubinelli, Imkeller e Perkowski, ma lo estendono e adattano specificamente per il contesto mean field.

A. Struttura Paracontrollata Mean Field

Per gestire l'interazione singolare e la dipendenza dalla legge, introducono una nuova nozione di campo paracontrollato che cattura sia la struttura rispetto al rumore locale sia la struttura rispetto all'interazione media.
Definiscono un campo $\phi$ come $\omega$-paracontrollato da un campo di riferimento $X$ (dove $X = -(\partial_t - \Delta)^{-1}\xi$) se:
$$\phi(\omega) \approx (\delta_z \phi)(\omega) \prec X(\omega) + \mathbb{E}[(\delta_\mu \phi)(\omega, \cdot) \prec X(\cdot)]$$
dove:

• $\prec$ è l'operatore di paraprodotto.
• $\delta_z \phi$ e $\delta_\mu \phi$ sono derivate di Gubinelli generalizzate rispetto al rumore e alla misura.
• L'operatore di aspettazione $\mathbb{E}$ è preso su un elemento di probabilità indipendente $\varpi$, riflettendo la natura della legge $L(u)$.

B. Enhancment del Rumore (Noise Enhancement)

Per dare senso ai prodotti singolari, è necessario "arricchire" il rumore.

• Caso Additivo: Se $f=1$, il problema è più semplice e si risolve con strumenti classici.
• Caso Singolare (Moltiplicativo): Richiede un enhancement del rumore. Oltre alla coppia classica $(\xi, \xi \prec X)$, nel caso mean field è necessario introdurre una variabile casuale doppia (definita su $\Omega \times \Omega$) che rappresenti il prodotto ill-definito tra il rumore di un campione $\xi(\omega)$ e il potenziale di un altro campione indipendente $\xi(\varpi)$.
  • Si definisce l'enhancement mean field come $\hat{\xi}^+ = (\xi(\omega), \xi \prec X(\omega), \xi(\varpi), \xi \prec X(\omega, \varpi))$.
  • Questo permette di definire rigorosamente il termine $f(u, L(u))\xi$ attraverso una decomposizione paracontrollata specifica.

C. Strategie di Soluzione

1. Fissare la misura: Si fissa una misura di probabilità $\mu$ e si risolve l'equazione SPDE singolare con $\mu$ come parametro fisso, utilizzando il calcolo paracontrollato.
2. Punto fisso: Si definisce una mappa che associa a una misura $\mu$ la legge della soluzione $L(u^\mu)$ e si dimostra l'esistenza di un punto fisso (soluzione dell'equazione mean field).
3. Rinormalizzazione: Le equazioni sono interpretate come limiti di equazioni regolarizzate con termini di rinormalizzazione (es. $-C_\epsilon f'f$) che compensano le divergenze.

3. Contributi Chiave

1. Quadro Unificato: Costruiscono un setting robusto che tratta simultaneamente il sistema di $n$ particelle interagenti e l'equazione limite mean field in un unico framework matematico.
2. Nuova Struttura Paracontrollata: Introducono la definizione di campo $\omega$-paracontrollato che integra esplicitamente l'aspettativa sulla legge, permettendo di gestire la non-linearità nella misura in modo analitico.
3. Enhancement Mean Field: Sviluppano la teoria dell'enhancement del rumore per sistemi mean field, dimostrando come gestire le interazioni tra campi indipendenti all'interno del calcolo stocastico singolare.
4. Gestione di Interazioni Puntuali: Trattano due casi distinti per il kernel di interazione $k(x,y)$:
   • Interazione Regolare: Kernel $C^2$ (interazione a lungo raggio).
   • Interazione Puntuale: Kernel di Dirac $\delta_x(y)$ (interazione locale), che è il caso più difficile e richiede l'enhancement specifico descritto sopra.

4. Risultati Principali

Il lavoro dimostra i seguenti teoremi fondamentali (Teorema 1 nel paper):

• Ben-posedness (Esistenza e Unicità):
  Sotto appropriate ipotesi di Lipschitz su $f$ e $g$, esiste un tempo deterministico $T > 0$ tale che:

  1. Il sistema di $n$ SPDE interagenti (1.1) ammette una soluzione unica.
  2. L'equazione mean field limite (1.3) ammette una soluzione unica nello spazio delle funzioni paracontrollate appropriate.
  3. La soluzione è una funzione localmente Lipschitziana rispetto all'enhancement del rumore.

• Propagazione del Caos:
  Man mano che $n \to \infty$, la legge di qualsiasi tupla finita di campi $(u^{1,n}, \dots, u^{k,n})$ del sistema interagenti converge debolmente al prodotto tensoriale di $k$ copie indipendenti della soluzione dell'equazione mean field limite.
  $$\text{Law}(u^{1,n}, \dots, u^{k,n}) \xrightarrow{n \to \infty} \text{Law}(u) \otimes k$$
  Questo risultato è ottenuto combinando la continuità della mappa soluzione rispetto all'enhancement del rumore con la Legge dei Grandi Numeri e il criterio di Sznitman per il caos.

• Caso Additivo:
  Nel caso in cui la diffusività sia costante ($f=1$), dimostrano risultati più forti, inclusa la ben-posedness globale nel tempo, senza bisogno degli strumenti più complessi del calcolo paracontrollato.

5. Significato e Impatto

Questo lavoro rappresenta un passo avanti significativo nella teoria delle SPDE singolari:

• Superamento dei limiti del calcolo stocastico classico: Estende la validità dei modelli mean field oltre la classe dei semimartingali e del rumore spazio-temporale bianco, includendo rumore più generale (es. rumore con regolarità Hölder negativa).
• Ponte tra SPDE e Meccanica Statistica: Fornisce un rigoroso fondamento matematico per modelli di campi interagenti in fisica statistica (es. modelli di neuroni, fluidi stocastici, modelli di campo quantistico come il modello sigma lineare) dove le interazioni sono singolari.
• Nuovi Strumenti Analitici: La definizione di struttura paracontrollata mean field e l'enhancement del rumore doppio sono strumenti tecnici che potrebbero essere applicati ad altre classi di equazioni stocastiche con dipendenze non locali dalla legge.

In sintesi, Bailleul e Moench risolvono il problema di dare senso matematico a sistemi di particelle interagenti soggette a rumore estremamente irregolare, dimostrando che il comportamento macroscopico è descritto da un'equazione mean field ben definita e che il caos si propaga nel limite termodinamico.