A sharp stability criterion for Euler equations via sparseness

Enunciato del Problema
Il lavoro affronta problemi aperti fondamentali riguardanti le soluzioni deboli delle equazioni di Eulero incomprimibili, specificamente in merito alla conservazione dell'energia cinetica e all'unicità delle soluzioni. Un problema centrale nell'analisi delle soluzioni approssimate $\{u_\varepsilon\}$ è il fenomeno di "concentrazione-cancellazione", in cui l'energia può concentrarsi su insiemi anche se le vorticità sono uniformemente limitate in certi spazi funzionali. Lavori precedenti di DiPerna–Majda, Lopes Filho–Nussenzveig Lopes e Tadmor hanno stabilito che la stabilità in $H^{-1}$ (precompattezza delle vorticità in $H^{-1}_{loc}$) è una condizione sufficiente per garantire la convergenza forte in $L^2$ e l'assenza di concentrazione.

Tuttavia, i criteri esistenti per la stabilità in $H^{-1}$, in particolare quelli che coinvolgono gli spazi di Morrey ($M_{p,\alpha}$) e gli spazi Riesz-Morrey-Tadmor (RMT) ($R_{p,2}\log^\alpha$), lasciano "lacune" nello spazio dei parametri. Ad esempio, in due dimensioni, è noto che $M_{1,1/2}$ non si immerge compatto in $H^{-1}$, ma lo stato di $M_{1,\alpha}$ per $\alpha \in (1/2, 1]$ rimane un "problema di lacuna" aperto. Analogamente, la raffinazione di Tadmor che utilizza gli spazi RMT richiede pesi logaritmici per ottenere la compattezza, e non è chiaro se queste condizioni logaritmiche siano ottimali o se possano essere migliorate. Gli autori osservano che gli spazi RMT standard $R_{2n/(n+2), 2}$ non si immergono in $H^{-1}$, rendendo necessaria l'introduzione di pesi logaritmici per recuperare la compattezza.

Metodologia
Gli autori introducono un nuovo quadro basato sulla sparsità per riformulare la stabilità in $H^{-1}$. Il cambiamento metodologico fondamentale consiste nel sostituire le famiglie standard di cubi disgiunti (impaccamenti) utilizzate nelle definizioni degli spazi funzionali classici con famiglie sparse di cubi.

1. Spazi Riesz-Morrey-Tadmor (RMT) Sparsi: Gli autori definiscono versioni sparse degli spazi RMT, denotati $SR_{p,q}\log^\alpha$, modificando il supremo nella definizione della norma in modo che corra su famiglie sparse di cubi anziché su impaccamenti disgiunti. Stabiliscono che questi spazi sparsi ammettono caratterizzazioni tramite operatori massimali, una proprietà non generalmente condivisa dai loro corrispettivi classici.
2. Identificazione con Spazi di Sobolev Negativi: Un risultato cardine (Teorema 3) dimostra che, per parametri specifici ($p = 2n/(n+2), q=2$), lo spazio sparso $SR_{2n/(n+2), 2}$ è equivalente allo spazio di Sobolev negativo $H^{-1}$. Ciò contrasta nettamente con lo spazio classico $R_{2n/(n+2), 2}$, che non si immerge in $H^{-1}$.
3. Indici Sparsi: Gli autori definiscono "indici sparsi" $s_N(X)$ per uno spazio funzionale $X$. Questi indici misurano il grado di compattezza dell'immersione di $X$ in $H^{-1}$. Nello specifico, si dimostra che $\lim_{N\to\infty} s_N(X) = 0$ è equivalente all'immersione compatta $X_c \hookrightarrow H^{-1}_{loc}$.
4. Stabilità Sparsa ed Estrapolazione: Utilizzando questi indici, gli autori definiscono la stabilità $\Psi$-sparsa, dove le vorticità delle soluzioni approssimate sono uniformemente limitate in uno spazio sparso $S_\Psi$ determinato da una funzione di decadimento $\Psi$. Impiegano tecniche di estrapolazione (in particolare il metodo $\Sigma$ di Jawerth–Milman) per costruire nuovi spazi funzionali, $V_\Psi$ e $T_\Psi$, i cui indici sparsi esibiscono tassi di decadimento prescritti. Questi spazi sono caratterizzati come spazi di estrapolazione rispetto a coppie classiche di Besov e Sobolev.

Contributi e Risultati Chiave

• Equivalenza dei Concetti di Stabilità: Il lavoro dimostra che la stabilità in $H^{-1}$ è equivalente alla stabilità sparsa (Teorema 2). Ciò fornisce una caratterizzazione unificata della mancanza di concentrazione in termini del decadimento degli indici sparsi.
• Affinamento dei Risultati Classici:
  • Regolarità di Morrey: Gli autori costruiscono spazi $V_\Psi$ che contengono strettamente gli spazi di Morrey limite $M_{n/2, \alpha}$ (per $\alpha > 1$) mantenendo la stabilità in $H^{-1}$. Questo migliora i risultati di DiPerna–Majda permettendo una classe più ampia di vorticità (Teorema 11).
  • Regolarità di Tadmor: Analogamente, vengono introdotti nuovi spazi $T_\Psi$ che contengono strettamente gli spazi RMT limite $R_{2n/(n+2), 2}\log^\alpha$ (per $\alpha > 1/2$), migliorando i risultati di Tadmor (Teorema 14).
  • Il lavoro costruisce esplicitamente esempi che mostrano come queste nuove immersioni siano strette, il che significa che i nuovi spazi contengono funzioni non presenti negli spazi limite classici.
• Conservazione dell'Energia: Gli autori applicano il quadro di stabilità sparsa al problema della conservazione dell'energia per soluzioni fisicamente realizzabili delle equazioni di Eulero 2D sul toro. Dimostrano che se le vorticità di una realizzazione fisica sono uniformemente limitate in uno spazio $X$ con indici sparsi che decadono a zero (soddisfacendo una condizione di ammissibilità), allora la soluzione limite conserva l'energia (Teorema 6 e Corollario 2). Ciò estende i precedenti risultati $L^p$ alle nuove scale sparse.
• Confronto delle Scale: Il lavoro analizza la relazione tra i nuovi spazi $V_\Psi$ introdotti (basati su norme $L^\infty$ di blocchi diadici) e $T_\Psi$ (basati su norme $L^2$). Dimostra che, in generale, nessuno dei due spazi contiene l'altro, evidenziando la natura distinta di questi raffinamenti.

Significato
Il lavoro afferma di fornire un "approccio semplificato" a risultati di esistenza precedentemente noti, migliorandoli simultaneamente. Introducendo strutture sparse, gli autori superano i limiti degli spazi RMT classici che richiedevano pesi logaritmici per ottenere la compattezza in $H^{-1}$. L'introduzione degli indici sparsi offre uno strumento quantitativo per misurare il "grado di compattezza" in $H^{-1}$, permettendo la costruzione di spazi funzionali con tassi di decadimento prescritti.

Gli autori sottolineano che i loro metodi collegano la teoria delle equazioni di Eulero con la teoria degli spazi di estrapolazione e la dominazione sparsa nell'analisi armonica. Sebbene il lavoro non affermi di risolvere definitivamente il "problema di lacuna" per gli spazi di Morrey $M_{1,\alpha}$ con $\alpha \in (1/2, 1]$, fornisce una scala raffinata ($V_\Psi$) che migliora i casi limite noti e offre una nuova prospettiva sulla regolarità richiesta per la non-concentrazione e la conservazione dell'energia. Il lavoro suggerisce che il "difetto" negli spazi classici riguardo alla stabilità in $H^{-1}$ è un artefatto della geometria dei cubi di test, che può essere rettificato adottando famiglie sparse.