A pathological set regarding the propagation of almost sure properties of Gaussian measures

Sintesi Tecnica: Un Insieme Patologico Riguardo alla Propagazione di Proprietà Quasi Sicure di Misure Gaussiane

Enunciato del Problema
Questo articolo affronta una tensione fondamentale tra le proprietà topologiche e quelle della teoria della misura nella dinamica dell'equazione d'onda non lineare cubica defocalizzante periodica tridimensionale su $\mathbb{T}^3$:
$$\partial_{tt}u - \Delta u + u^3 = 0, \quad u(x,0)=0, \quad \partial_t u(x,0)=g(x).$$
Mentre il lavoro precedente di Gunaratnam, Oh, Tzvetkov e Weber (2022) ha stabilito che le misure gaussiane supportate su spazi di Sobolev ad alta regolarità sono quasi-invarianti sotto il flusso della NLW — implicando che le proprietà di regolarità "quasi sicure" sono preservate per dati iniziali casuali — l'autore indaga se tale preservazione valga per tutti i dati iniziali nel supporto di queste misure. Nello specifico, l'articolo cerca di identificare un insieme denso di velocità iniziali per le quali la soluzione perde istantaneamente la regolarità $W^{\sigma,p}$, nonostante i dati iniziali appartengano a un sottoinsieme denso di $W^{\sigma-1,p}$.

Metodologia
L'approccio è deterministico e si basa su una costruzione multi-step che coinvolge analisi lineare, periodizzazione e controllo non lineare:

1. Controesempio Lineare su $\mathbb{R}^d$: L'autore costruisce una specifica famiglia di distribuzioni $F_\lambda$ sullo spazio euclideo $\mathbb{R}^d$ ($d \ge 2$) definita tramite coefficienti di Fourier $g_\lambda(\xi) = \langle \xi \rangle^{-\sigma+1} h(\xi) |\xi|^{-\lambda}$, dove $h$ è una funzione di cutoff liscia che svanisce vicino all'origine. L'analisi sfrutta i noti risultati di perdita di derivata in $L^p$ per l'equazione d'onda lineare (stime di Peral-Miyachi) per mostrare che, per specifici intervalli di $p$ e $\lambda$, l'evoluzione lineare $S(t)(0, F_\lambda)$ non rimane in $W^{\sigma,p}(\mathbb{R}^d)$. La dimostrazione prevede un'analisi asintotica dettagliata di funzioni di Bessel e della trasformata di Fourier inversa di distribuzioni omogenee per identificare singolarità in $|x|=t$ e $x=0$.

2. Periodizzazione su $\mathbb{T}^d$: Utilizzando la formula di sommatoria di Poisson, l'autore periodizza il controesempio euclideo $F_\lambda$ per definire $f_\lambda$ sul toro $\mathbb{T}^d$. L'autore dimostra che la non-propagazione della regolarità osservata in $\mathbb{R}^d$ persiste nell'ambito periodico per $t$ in un piccolo intorno di zero. Ciò si basa sulla dimostrazione che le singolarità della sommatoria periodizzata sono dominate dalla singolarità del termine originale vicino all'origine, mentre i contributi degli altri punti del reticolo rimangono regolari o limitati.

3. Estensione al Flusso Non Lineare: Per estendere il risultato dal flusso lineare alla NLW cubica, l'autore impiega un argomento di punto fisso in spazi Sobolev appropriati. Il compito centrale è stimare il termine di integrale di Duhamel:
   $$\int_0^t \frac{\sin((t-\tau)|D|)}{|D|} u^3(\tau) \, d\tau$$
   nello spazio $L^\infty_T W^{\sigma,p}(\mathbb{T}^3)$. Utilizzando stime di Strichartz adattate all'ambiente periodico tramite argomenti di velocità di propagazione finita, l'autore dimostra che questo termine non lineare rimane limitato in $W^{\sigma,p}$ a condizione che i dati iniziali risiedano in uno spazio sufficientemente regolare (specificamente $H^{\sigma+1/2}$). Poiché la parte lineare della soluzione perde la regolarità $W^{\sigma,p}$ mentre la parte non lineare la preserva, la soluzione totale deve perdere regolarità.

Risultati Chiave

• Teorema 1.2 (Caso Lineare): Per $d \ge 2$, $p \neq 2$, e specifici intervalli di $\lambda$ e $\sigma$, l'evoluzione lineare dei dati iniziali costruiti $f_\lambda$ non appartiene a $W^{\sigma,p}(\mathbb{T}^d)$ per alcun $t \neq 0$ (entro un piccolo intervallo temporale). Le condizioni per questa perdita di regolarità dipendono dalla relazione tra $p$ e la dimensione $d$ (ad esempio, $p \ge \frac{2d}{d-1}$ o $p < \frac{2d}{d+1}$).
• Teorema 1.1 (Caso Non Lineare): Per $d=3$, $p \ge 3$, e $\lambda \in (3 - 3/p, 3)$, l'insieme $S_\lambda$ (definito come funzioni regolari più copie scalate di $f_\lambda$) è un sottoinsieme denso di $W^{\sigma-1,p}(\mathbb{T}^3)$. Per ogni $g \in S_\lambda$, la soluzione globale $u$ alla NLW esiste in $C(\mathbb{R}, H^{\sigma+1/2})$ ma soddisfa $u(\cdot, t) \notin W^{\sigma,p}(\mathbb{T}^3)$ per ogni $t \in (-1, 1) \setminus \{0\}$.
• Proposizione 2.3 (Propagazione Quasi Sicura): Al contrario dell'insieme deterministico patologico, l'articolo conferma che per le misure gaussiane $\vec{\mu}_s$ con $s > \sigma + 3/2$, la soluzione rimane in $W^{\sigma,p}$ quasi sicuramente. Ciò si basa sulla quasi-invarianza della misura (Teorema 2.1) e sul teorema di Fernique.

Significatività e Rivendicazioni
L'articolo sostiene di fornire un "risultato complementare" alla quasi-invarianza delle misure gaussiane. La sua importanza primaria risiede nel dimostrare che la propagazione delle proprietà di regolarità quasi sicura non è una proprietà topologica del flusso. Nello specifico:

• L'insieme dei dati iniziali per i quali la regolarità non è preservata è denso nello spazio di Sobolev $W^{\sigma-1,p}$ pertinente.
• Ciò crea un netto contrasto: mentre una randomizzazione dei dati iniziali (misura gaussiana) garantisce la propagazione della regolarità con probabilità 1, esiste un insieme denso di dati iniziali deterministici dove tale regolarità viene persa istantaneamente.
• Il lavoro evidenzia la natura "patologica" di certe soluzioni deterministiche nel contesto della ben-posedness probabilistica, mostrando che il "buon" comportamento è di tipo measure-teoretico piuttosto che topologico.

L'autore dichiara esplicitamente che i vincoli temporali ($|t| < 1$ o $|t| < 1/2$) sono limitazioni tecniche derivanti dagli argomenti di velocità di propagazione finita utilizzati nel passaggio di periodizzazione, ma tali vincoli non diminuiscono il nucleo della scoperta, ovvero che la regolarità cessa di esistere istantaneamente. L'articolo non propone nuove applicazioni o proposte sperimentali future, concentrandosi strettamente sull'analisi deterministica di questi specifici controesempi.