Generic small-scale creation in the two-dimensional Euler equation

1. Il Problema e il Contesto

Il lavoro si concentra sul problema di Cauchy per le equazioni di Eulero bidimensionali incomprimibili. È noto da tempo che, per dati iniziali lisci (regolari), il problema è ben posto globalmente nel tempo: le norme $L^p$ della vorticità $\omega$ sono conservate grazie alla natura di trasporto dell'equazione. Tuttavia, la conservazione delle norme $L^p$ non garantisce la conservazione delle derivate superiori (regolarità).

Il paper affronta una congettura storica di Yudovich (1974), la quale ipotizza l'esistenza di un "insieme sostanziale" di flussi inviscidi in cui i gradienti di vorticità crescono illimitatamente nel tempo, portando a una perdita di regolarità (turbolenza) anche per perturbazioni arbitrarie di flussi stazionari.
Mentre esistono esempi di crescita esponenziale o doppia esponenziale in domini con confini o con simmetrie specifiche, la questione della crescita generica (in senso di categoria di Baire) in domini senza confini (come il toro $\mathbb{T}^2$) e senza vincoli di simmetria è rimasta aperta.

2. Obiettivi Principali

Gli autori mirano a dimostrare che:

1. Per un insieme denso di tipo $G_\delta$ (generico nel senso di Baire) di dati iniziali nella classe di Sobolev $H^s_0(\mathbb{T}^2)$ con $s > 4$, la soluzione dell'equazione di Eulero perde regolarità in tempo infinito, ovvero:
   $$\limsup_{t \to +\infty} \|\omega(t, \cdot)\|_{H^s(\mathbb{T}^2)} = +\infty$$
2. Questo risultato si estende anche allo spazio delle funzioni lisce $C^\infty_0(\mathbb{T}^2)$, confermando che la perdita di regolarità è un fenomeno generico anche per dati iniziali infinitamente regolari.
3. Un risultato analogo viene stabilito per il caso dello spazio tutto $\mathbb{R}^2$, dove la crescita è legata alla creazione di scale piccole indotta dal comportamento all'infinito spaziale.

3. Metodologia e Strumenti Tecnici

La strategia di prova combina calcolo paradifferenziale, analisi lagrangiana e argomenti topologici. Il lavoro si articola in cinque fasi principali:

A. Paralinearizzazione del Flusso Lagrangiano

Gli autori introducono un campo vettoriale $X(t) := T(D\Phi_t)^{-1}\Phi_t$, dove $\Phi_t$ è la mappa di flusso e $T$ indica l'operatore di paracomposizione di Alinhac.

• Innovazione: A differenza di lavori precedenti che studiavano solo il rotore di $X$, qui si analizza l'intero campo vettoriale.
• Risultato chiave: Si dimostra che $X$ soddisfa un'equazione evolutiva chiusa che "paralinearizza" la dinamica lagrangiana. L'equazione rivela che la crescita di $X$ è guidata da un operatore lineare forato dal profilo iniziale della vorticità, a meno di termini di resto regolarizzanti.

B. Analisi Microlocale dei "Cusp" di Hölder

Per estrarre una stima quantitativa della crescita, gli autori identificano una classe di dati iniziali "instabili" caratterizzati da:

1. Un minimo globale non degenere in un punto $x_0$.
2. Una coda spettrale (decadimento di Fourier) lenta, tipica di funzioni con regolarità esatta $H^s$.

• Tecnica: Si utilizzano profili singolari di tipo "cuspide" (es. $|x|^{2\alpha}$) vicino al minimo. Queste cuspidi agiscono come sonde per l'interazione tra il flusso e la vorticità.
• Stima: Si dimostra che l'azione dell'operatore paradifferenziale (parametrico) sulla cuspide genera un guadagno di regolarità controllato, permettendo di stimare il prodotto scalare tra il termine di guida e la cuspide.

C. La Dicotomia (Proposizione 8.1)

Viene stabilita una dicotomia fondamentale per i dati iniziali nella classe scelta:

• O la vorticità $\omega(t)$ esplode nella norma $H^s$;
• O la mappa di flusso inversa $\Phi_t^{-1}$ esplode nella norma Lipschitz ($L^\infty$ del gradiente).
  Questa distinzione è cruciale perché collega l'instabilità lagrangiana (stiramento delle particelle) all'instabilità euleriana (crescita della vorticità).

D. Costruzione di Perturbazioni e Teorema del Punto Fisso

Per dimostrare che l'instabilità è generica, si utilizza un argomento topologico basato sul Teorema del Punto Fisso di Schauder:

1. Si assume per assurdo che la soluzione rimanga stabile in un intorno di un dato iniziale.
2. Si costruisce una perturbazione specifica (un pacchetto d'onda ad alta frequenza) che risuona con lo stiramento del flusso lagrangiano.
3. Si definisce una mappa che aggiunge questa perturbazione ai dati iniziali. Se esistesse un punto fisso, si arriverebbe a una contraddizione tra la stabilità assunta e l'inevitabile crescita indotta dalla perturbazione geometrica (basata su un'idea di Koch).

E. Argomento di Categoria di Baire

Infine, si applica un argomento di categoria di Baire (ispirato a Hani) per mostrare che l'insieme dei dati iniziali che portano a una crescita illimitata è un insieme $G_\delta$ denso. Questo trasforma l'esistenza di soluzioni instabili in un risultato di "genericità".

4. Risultati Principali

• Teorema 1.1: L'insieme dei dati iniziali $\omega_0 \in H^s_0(\mathbb{T}^2)$ ($s>4$) per cui $\limsup_{t\to\infty} \|\omega(t)\|_{H^s} = +\infty$ è un insieme denso $G_\delta$ in $H^s_0(\mathbb{T}^2)$.
• Corollario 1.2: Il risultato vale anche per dati iniziali lisci ($C^\infty$), dimostrando che la perdita di regolarità è un fenomeno generico anche nello spazio delle funzioni lisce.
• Teorema 1.3 (Caso $\mathbb{R}^2$): Per dati iniziali su $\mathbb{R}^2$ con media nulla, l'insieme dei dati che portano a una crescita illimitata è denso $G_\delta$. In questo caso, la crescita è dimostrata per $s > 1$ e la velocità di crescita è almeno del tipo $t^s$.
• Meccanismo: La crescita è guidata dallo "stiramento lagrangiano" (Lagrangian stretching) che trasferisce energia verso frequenze più alte, un meccanismo intrinseco alla dinamica non lineare, indipendente da effetti di bordo o simmetrie artificiali.

5. Significato e Contributi

Questo lavoro rappresenta un avanzamento significativo nella teoria delle equazioni di Eulero:

1. Conferma della Congettura di Yudovich: Fornisce la prima conferma rigorosa della congettura di Yudovich nel contesto di dati lisci su un dominio periodico senza confini, dimostrando che la turbolenza (crescita illimitata delle derivate) è un comportamento generico.
2. Indipendenza dai Bordi: A differenza di risultati precedenti che dipendevano dall'interazione con i confini del dominio o da punti di stagnazione specifici, questo lavoro mostra che la creazione di scale piccole è un fenomeno puramente interno alla dinamica non lineare del fluido.
3. Nuovi Strumenti Analitici: L'uso combinato di operatori di paracomposizione di Alinhac, analisi microlocale di singolarità (cuspidi) e argomenti topologici offre un nuovo paradigma per studiare l'instabilità in equazioni iperboliche e di trasporto.
4. Generalizzabilità: Gli autori suggeriscono che le tecniche sviluppate (in particolare la teoria microlocale applicata alla dinamica dei fluidi) possono essere estese a varietà compatte di dimensione superiore e ad altre equazioni scalari attive, come l'equazione SQG (Surface Quasi-Geostrophic).

In sintesi, il paper dimostra che, per le equazioni di Eulero 2D, la perdita di regolarità non è un'anomalia rara, ma la regola per la maggior parte dei dati iniziali, confermando la natura intrinsecamente turbolenta della dinamica fluida ideale.