Maximal regularity for evolution equations with critical singular perturbations

1. Il Problema e il Contesto

Il lavoro si concentra sull'analisi della regolarità massima $L^p$ per equazioni di evoluzione deterministiche della forma:
$$u' + (A + B)u = f$$
dove $A$ è un operatore lineare (spesso non autonomo) che possiede già la proprietà di regolarità massima $L^p$, e $B$ è una perturbazione singolare e critica dipendente dal tempo.

Motivazione principale:
L'impulso fondamentale deriva dalla teoria delle deviazioni grandi (large deviations) per equazioni differenziali stocastiche (SPDE). In questo contesto, l'analisi richiede lo studio di equazioni "scheletriche" (skeleton equations) linearizzate. Queste equazioni presentano perturbazioni $B$ che sono:

1. Singole nel tempo: La norma dell'operatore $B(t)$ può essere illimitata.
2. Critiche: Gli indici di Sobolev spazio-temporale del termine principale $Au$ e della perturbazione $Bu$ coincidono. Questo rende la perturbazione "al limite" (borderline), dove le tecniche standard di teoria delle perturbazioni falliscono o non sono direttamente applicabili.

2. Metodologia e Strumenti Matematici

Gli autori sviluppano una teoria perturbativa in un setting astratto di spazi di Banach, utilizzando diverse tecniche avanzate:

• Spazi di Regolarità Massima: Si lavora con spazi del tipo $MR_p = L^p(0, T; X_1) \cap W^{1,p}(0, T; X_0)$, dove $X_1 \hookrightarrow X_0$ è un'immersione densa e continua.
• Pesatura Temporale: Per gestire dati iniziali meno regolari e singolarità, vengono introdotti pesi temporali $w_\kappa(t) = t^\kappa$, permettendo di considerare soluzioni in spazi $L^p$ pesati.
• Interpolazione Reale e Complessa: Vengono utilizzati spazi di interpolazione (es. $X_{\theta, q}$) per definire gli spazi di dominio degli operatori e le regolarità spaziali delle perturbazioni.
• Metodo di "Gluing" (Incollaggio): Poiché la perturbazione $B$ è singolare, non si può applicare direttamente il metodo di continuità globale. Gli autori costruiscono soluzioni locali su intervalli di tempo piccoli (dove la norma di $B$ è sufficientemente piccola) e le "incollano" iterativamente per coprire l'intervallo $[0, T]$.
• Spazi di Regolarità Mista (Mixed-Scale): Per il caso più generale (Sezione 3), viene introdotto uno spazio soluzione che è la somma di due spazi di regolarità massima con scale diverse:
  $$MR_+ = (L^p \cap W^{1,p}) + \sum (L^{r_i} \cap W^{1,r_i})$$
  Questo permette di gestire inhomogeneità e perturbazioni che appartengono a spazi con regolarità temporale inferiore ($r < p$).
• Teorema di Trasferimento: Nel caso limite $r=1$ (Sezione 4), si utilizza un approccio basato su semigruppi analitici e stime dirette, evitando la regolarità massima $L^1$ che spesso non è disponibile in spazi di Banach riflessivi.

3. Risultati Principali

Il paper stabilisce due teoremi fondamentali di perturbazione:

A. Perturbazione con Regolarità Massima Completa (Teoremi 1.2, 2.5, 2.6)

Se $A$ ha regolarità massima $L^p$ e $B$ soddisfa una condizione di integrabilità critica:
$$\|B(t)\|_{\mathcal{L}(X_{1-1/q, 1}, X_0)} \leq b(t), \quad b \in L^q(0, T)$$
con $q > p$ (o $q=p$ nel caso limite), allora l'operatore perturbato $A+B$ mantiene la regolarità massima $L^p$.

• Punto di forza: Questo risultato generalizza lavori precedenti (es. Prüss e Schnaubelt) trattando il caso critico endpoint ($q=p$) e permettendo a $A$ di essere non continuo nel tempo e illimitato.
• Dipendenza della costante: La costante di regolarità dipende esponenzialmente dalla norma $\|b\|_{L^q}$, il che è mostrato essere ottimale.

B. Teoria della Regolarità Massima in Scale Miste (Teorema 3.11)

Questo è il risultato più innovativo, motivato dalle equazioni scheletriche. Si considera un caso in cui la perturbazione $B$ e l'inhomogeneità $g$ appartengono a spazi con regolarità temporale inferiore ($L^r$ con $r < p$).

• Condizione Critica: Si assume $1/r = 1/p + 1/2$ (o più in generale $1/r = 1/p + 1/q$). Gli indici di Sobolev spazio-temporale coincidono, rendendo la perturbazione critica.
• Spazio Soluzione: La soluzione $u$ non appartiene al classico spazio $W^{1,p}$, ma a uno spazio misto:
  $$u \in \left( L^p \cap W^{1,p} \right) + \left( L^r \cap W^{1,r} \right)$$
  Tuttavia, si dimostra che questa soluzione possiede comunque la regolarità spaziale $L^p(0, T; X_1)$ e la continuità temporale necessaria per le applicazioni stocastiche.
• Caso Limite $r=1$: La Sezione 4 tratta il caso $p=2, r=1$ (cruciale per le applicazioni stocastiche), dimostrando l'esistenza e l'unicità in spazi di soluzione adattati ($E_p$) senza richiedere regolarità massima $L^1$ per l'operatore non perturbato.

4. Contributi Chiave e Innovazioni

1. Generalizzazione del Caso Critico: Risoluzione del problema della regolarità massima per perturbazioni critiche nel caso endpoint ($q=p$), un caso precedentemente aperto o trattato solo in setting variazionali specifici.
2. Teoria per Scale Miste: Sviluppo di una teoria di regolarità massima che accetta inhomogeneità e perturbazioni in spazi $L^r$ con $r < p$, mantenendo la regolarità spaziale $L^p$ nella soluzione. Questo è essenziale per modellare il rumore stocastico linearizzato.
3. Applicabilità ai Dati Iniziali: L'uso di pesi temporali permette di trattare dati iniziali $u_0$ in spazi di interpolazione reali (es. $X_{1-1/p, p}$), che sono gli spazi naturali per le equazioni stocastiche.
4. Rimozione dell'Ipotesi di Coercività: Mentre lavori precedenti richiedevano spesso che $A$ fosse coercivo (setting variazionale), questo lavoro tratta il caso non coercivo, ampliando notevolmente il campo di applicazione.

5. Significato e Impatto

Questo lavoro è di fondamentale importanza per la teoria delle deviazioni grandi per SPDE.

• Per dimostrare il principio di grandi deviazioni, è necessario analizzare le equazioni deterministiche "scheletriche" associate. Queste equazioni contengono termini di perturbazione che sono singolari e critici.
• Prima di questo lavoro, la regolarità di tali equazioni linearizzate era nota solo in casi speciali (es. setting variazionale con $p=2$).
• I risultati di Theewis e Veraar forniscono gli strumenti analitici rigorosi per trattare queste equazioni in spazi $L^p$ generici ($p \in (2, \infty)$), permettendo lo sviluppo di una teoria completa delle deviazioni grandi per una vasta classe di equazioni stocastiche non lineari.

In sintesi, il paper colma un vuoto critico tra la teoria delle perturbazioni singolari e le applicazioni alle SPDE, fornendo un quadro teorico robusto per l'analisi di equazioni di evoluzione con coefficienti irregolari nel tempo.