Qualitative quasi-invariance of low regularity Gaussian measures for the 1d quintic nonlinear Schrödinger equation

Enunciato del Problema
Questo articolo affronta la quasi-invarianza qualitativa delle misure gaussiane sotto il flusso dell'equazione di Schrödinger non lineare (NLS) quintica unidimensionale sul toro $\mathbb{T} := \mathbb{R}/2\pi\mathbb{Z}$. Nello specifico, considera dati iniziali distribuiti secondo misure gaussiane $\mu_s$ con operatore di covarianza $(1-\Delta)^{-s}$. La questione centrale è se la legge della soluzione a un tempo $t$ qualsiasi, denotata con $\Phi(t)\#\mu_s$, sia assolutamente continua rispetto alla misura iniziale $\mu_s$.

Lo studio si concentra sul regime di bassa regolarità. Mentre la ben posto-globalità per la NLS quintica è attualmente nota per dati iniziali in $H^\sigma(\mathbb{T})$ con $\sigma > 2/5$ (stabilita da Li-Wu-Xu [26]), la misura gaussiana $\mu_s$ è supportata su $H^\sigma(\mathbb{T})$ solo se $\sigma < s - 1/2$. Di conseguenza, per applicare il flusso globale a $\mu_s$-quasi ogni dato iniziale, è necessario che $s - 1/2 > 2/5$, il che implica la soglia $s > 9/10$. Risultati precedenti sulla quasi-invarianza per questa equazione erano stati stabiliti per $s > 3/2$ (estendendo i lavori precedenti sugli interi pari $s=2k$). Questo lavoro mira ad estendere il risultato di quasi-invarianza fino alla soglia critica $s > 9/10$.

Metodologia
L'approccio combina strumenti probabilistici con stime di energia deterministiche, seguendo il quadro introdotto da Sun e Tzvetkov [36] ed esteso in [23]. La metodologia procede attraverso diverse fasi chiave:

1. Troncamento e Approssimazione: Gli autori lavorano con una versione troncata della NLS, $\Phi_N(t)$, dove le alte frequenze vengono eliminate. Utilizzano la fattorizzazione del flusso troncato e le proprietà di approssimazione di $\Phi_N(t)$ che converge al flusso completo $\Phi(t)$ per trasferire la quasi-invarianza dall'approssimazione a dimensione finita al sistema a dimensione infinita.
2. Riduzione alla Forma Normale di Poincaré-Dulac: Per gestire la non conservazione della norma $H^s$, gli autori impiegano una riduzione alla forma normale. Ciò comporta la definizione di un funzionale di energia modificato $E_{s,N}(u) = \frac{1}{2}\|\pi_N u\|_{H^s}^2 + R_{s,N}(u)$, dove $R_{s,N}$ è un termine di correzione dell'energia derivato dalle interazioni risonanti della non linearità. Questo trasforma il problema nell'analisi del trasporto di una misura gaussiana pesata $\rho_{s,N} = e^{-R_{s,N}} d\mu_s$.
3. Stime Probabilistiche tramite la Formula di Boué-Dupuis: Un'innovazione cruciale in questo lavoro è l'uso della formula variazionale di Boué-Dupuis (Lemma 2.11) per stabilire l'integrabilità esponenziale della correzione di energia $R_{s,N}$ e della sua derivata temporale $Q_{s,N}$. Questo sostituisce l'uso delle espansioni del Caos di Wiener, che gli autori notano essere insufficienti o eccessivamente complicati per raggiungere la soglia $s > 9/10$.
4. Stime Deterministiche e di Conteggio: La dimostrazione si basa pesantemente su stime deterministiche raffinate per la non linearità $|u|^4u$ localizzata in blocchi di frequenza diadici. Fondamentale è l'analisi della funzione risonante $\Omega(\vec{k})$ e della derivata simmetrizzata $\psi_{2s}(\vec{k})$. Gli autori stabiliscono limiti inferiori sulla funzione risonante lontano dalla diagonale e utilizzano limiti di conteggio (Lemmi 6.3 e 6.4) per controllare il numero di interazioni risonanti. Queste stime sono combinate con stime di Strichartz e limiti $L^2$ sulla non linearità (Lemma 7.1) per derivare i necessari limiti diadici.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1.1, il quale afferma che per ogni $s > 9/10$, la misura gaussiana $\mu_s$ è quasi-invariante lungo il flusso della NLS quintica 1D. In altre parole, per ogni tempo $t \in \mathbb{R}$, la misura push-forward $\Phi(t)\#\mu_s$ è assolutamente continua rispetto a $\mu_s$.

Il lavoro raggiunge questo obiettivo:

• Estendendo l'intervallo di quasi-invarianza da $s > 3/2$ (il risultato di [23]) a $s > 9/10$, che coincide con l'attuale soglia di ben posto-globalità dell'equazione negli spazi Sobolev rilevanti.
• Dimostrando stime $L^p$ quantitative per i funzionali di energia $R_{s,N}$ e $Q_{s,N}$ (Proposizioni 3.8 e 3.9) utilizzando la formula di Boué-Dupuis invece del Caos di Wiener.
• Stabilendo un legame rigoroso tra la quasi-invarianza delle misure pesate $\rho_{s,N}$ e le misure gaussiane originali $\mu_s$ tramite stime uniformi e argomenti di approssimazione (Sezione 5).

Significato e Limitazioni
Gli autori posizionano questo lavoro come un'estensione parziale di [23], spingendo la soglia di regolarità per la quasi-invarianza al limite della conoscenza attuale della ben posto-globalità. La significatività risiede nel dimostrare che la proprietà di quasi-invarianza sussiste anche in regimi di bassa regolarità dove l'Hamiltoniana non è conservata e i metodi di energia standard falliscono.

Tuttavia, l'articolo nota esplicitamente le proprie limitazioni riguardo alla forza del risultato:

• Qualitativo vs. Quantitativo: A differenza del risultato in [23] per $s > 3/2$, questo lavoro non fornisce limiti quantitativi sulle derivate di Radon-Nikodym (ovvero non stabilisce limiti $L^p$ per la densità stessa, ma solo l'assoluta continuità). Gli autori attribuiscono ciò all'impossibilità di utilizzare la conservazione della massa e dell'Hamiltoniana nel regime di bassa regolarità ($s \leq 3/2$).
• Nitidezza (Sharpness): Il documento non sostiene che $s > 9/10$ sia la soglia netta per la quasi-invarianza. Esso riconosce che determinare la soglia esatta in cui inizia il comportamento singolare (singolarità reciproca) rimane un problema aperto, similmente ai progressi fatti per l'equazione di Szegő cubica in [9].
• Vincolo Metodologico: L'uso della formula di Boué-Dupuis è evidenziato come il fattore abilitante per questa estensione, mentre il metodo precedentemente utilizzato del Caos di Wiener appare insufficiente per questo specifico intervallo di $s$.

In sintesi, il lavoro fornisce una prova rigorosa della quasi-invarianza delle misure gaussiane per la NLS quintica 1D fino alla regolarità $s > 9/10$, utilizzando una nuova combinazione di riduzioni alla forma normale e stime probabilistiche variazionali, pur riconoscendo che il controllo quantitativo delle densità risultanti rimane fuori portata con le tecniche attuali.