Self-Similar Solutions of the Two-Dimensional Incompressible Euler Equation from Large Initial Data

Sintesi Tecnica: Soluzioni Autosimili dell'Equazione di Eulero Incomprimibile Bidimensionale da Dati Iniziali Grandi

Enunciato del Problema
Il saggio affronta la costruzione di soluzioni autosimili in avanti nel tempo per le equazioni di Eulero incomprimibili bidimensionali:
$$\partial_t u + u \cdot \nabla u + \nabla p = 0, \quad \text{div } u = 0$$
in $\mathbb{R}^2 \times (0, \infty)$. Lo studio si concentra su dati iniziali $u_0$ che sono $C^1$, privi di divergenza e $(-a)$-omogenei, dove il parametro di scala soddisfa $1/3 < a < 1$. Nello specifico, la velocità iniziale assume la forma $u_0(x) = |x|^{-a}u_0(x/|x|)$.

La sfida centrale è stabilire l'esistenza di una soluzione debole globale $u(t,x)$ che preservi questa struttura autosimilare:
$$u(t, x) = t^{-\frac{a}{1+a}} U\left( \frac{x}{t^{\frac{1}{1+a}}} \right)$$
senza imporre condizioni di piccolezza sui dati iniziali o restrizioni sul segno della vorticità. Questo problema si colloca all'intersezione tra la teoria dell'esistenza, la formazione di singolarità e il potenziale non-unicità delle soluzioni deboli. Sebbene le soluzioni autosimili per le equazioni di Navier-Stokes (sia 2D che 3D) siano state costruite per dati grandi, il caso di Eulero (viscosità nulla) presenta difficoltà distinte, particolarmente legate alla mancanza di dissipazione per controllare la vorticità e alla natura critica della scala.

Metodologia
La costruzione procede tramite un limite di dissipazione evanescente di profili ipodissipativi. Gli autori introducono un termine di dissipazione frazionaria $\epsilon \Lambda^{1+a}$ (dove $\Lambda = (-\Delta)^{1/2}$) e considerano l'equazione regolarizzata:
$$\epsilon \Lambda^{1+a} U_\epsilon - \frac{1}{1+a}(a U_\epsilon + y \cdot \nabla U_\epsilon) + U_\epsilon \cdot \nabla U_\epsilon + \nabla P_\epsilon = 0$$
La strategia prevede tre passaggi principali:

1. Esistenza di Profili Ipodissipativi: Per ogni $\epsilon > 0$ fissato, viene stabilita l'esistenza di un profilo liscio $U_\epsilon$. Gli autori forniscono una prova indipendente di esistenza (basata sul lavoro di Hou e Song) utilizzando un cutoff nel campo lontano privo di divergenza e uno schema di Galerkin. Fondamentalmente, derivano stime di decadimento puntuale per il profilo e le sue derivate direttamente dalle stime del kernel di Oseen, evitando spazi di energia pesati.
2. Stima della Vorticità Critica Uniforme: Il cuore del saggio è l'instaurazione di una stima per la vorticità $\Omega_\epsilon = \text{curl } U_\epsilon$ che sia uniforme al tendere di $\epsilon \to 0$. Gli autori definiscono l'esponente critico $p_c = 2/(1+a)$. Testando l'equazione della vorticità contro la derivata della funzione di troncamento $(|\Omega_\epsilon| - k)_+$, derivano una disuguaglianza differenziale per la funzione di distribuzione della vorticità. Ciò produce un limite uniforme nello spazio Lorentz critico $L^{p_c, \infty}(\mathbb{R}^2)$:
   $$\|\Omega_\epsilon\|_{L^{p_c, \infty}} \leq C(a) \|\omega_0\|_{L^{p_c}(S^1)}$$
   Questa stima si basa sulla specifica divergenza del campo di "pseudo-velocità" $\tilde{U}_\epsilon = U_\epsilon - \frac{y}{1+a}$, che è uguale a $-p_c$, permettendo un controllo invariante per scala del troncamento della vorticità.
3. Compattezza e Passaggio al Limite: Utilizzando i limiti uniformi negli spazi Lorentz per $U_\epsilon$ e $\nabla U_\epsilon$, gli autori estraggono una sottoserie convergente a un profilo limite $(U, P)$. La convergenza locale forte della velocità e la convergenza weak-* della vorticità permettono di passare al limite nei termini non lineari. Per l'intervallo $1/3 < a < 1/2$, il prodotto $U \Omega$ è mostrato essere localmente integrabile, garantendo che l'equazione della vorticità sia soddisfatta in senso distribuzionale.

Risultati Chiave
Il teorema principale (Teorema 1.2) stabilisce che per ogni dato iniziale $(-a)$-omogeneo $C^1$ privo di divergenza con $1/3 < a < 1$, esiste una soluzione debole autosimilare $u(t,x)$ con le seguenti proprietà:

• Regolarità: La velocità $u$ è continua nel tempo con valori in $L^2_{\text{loc}}(\mathbb{R}^2)$, e il gradiente $\nabla u$ appartiene a $L^\infty_t L^{p_c, \infty}_x$.
• Traccia Iniziale: La soluzione converge al dato iniziale $u_0$ fortemente in $L^2_{\text{loc}}$ per $t \to 0$. La vorticità $\omega(t)$ converge weak-* a $\omega_0$ in $L^{p_c, \infty}$.
• Generalità: La costruzione non richiede assunzioni di piccolezza sui dati iniziali né assunzioni sul segno della vorticità. Il profilo angolare $u_0$ non deve essere vicino a un vortice radiale né soddisfare una condizione di dominanza radiale, distinguendo questo risultato dalle precedenti costruzioni di spirali.
• Comportamento all'Endpoint: Il risultato è subcritico rispetto all'endpoint $a=1$. Per $a=1$, il fattore favorevole nell'identità di troncamento della vorticità svanisce, e l'argomento non esclude misure di concentrazione.

Significato e Rivendicazioni
Il saggio posiziona il proprio contributo all'interno del contesto più ampio della meccanica dei fluidi, specificamente riguardo alla non-unicità delle soluzioni deboli e alla formazione di singolarità.

• Supporto alla Non-Unicità: Gli autori affermano che l'esistenza di profili autosimili arbitrariamente grandi fornisce uno "stato base" necessario per future indagini su scenari di instabilità e biforcazione, che sono centrali per il programma di non-unicità (facendo riferimento ai lavori di Jia, Šverák e altri). Sebbene questo saggio non provi la non-unicità in sé, esso fornisce la classe di soluzioni grandi necessaria per tale analisi.
• Estensione delle Soluzioni a Spirale: A differenza delle precedenti costruzioni di soluzioni a spirale algebrica che si basavano su simmetrie ad alta frequenza o perturbazioni di vortici radiali, questo lavoro gestisce dati angolari $C^1$ generali senza assunzioni di simmetria.
• Controllo Critico: Il risultato evidenzia come sia possibile ottenere l'esistenza globale debole con il controllo nello spazio Lorentz critico $L^{p_c, \infty}$ piuttosto che richiedere una vorticità limitata ($L^\infty$) o una vorticità totale finita. Ciò estende la teoria dell'esistenza nota per classi di dati grossolani in flussi ideali bidimensionali.

Il saggio conclude notando che per $a \geq 1/2$, l'equazione della vorticità è valida in senso distributivo solo se $U\Omega \in L^1_{\text{loc}}$, il che non è garantito dalle stime in tale intervallo, sebbene la formulazione della velocità rimanga valida. La costruzione è esplicitamente descritta come un "limite di dissipazione evanescente", distinguendosi dai metodi di costruzione diretta.