Large-Data Global Regularity for Three-Dimensional Navier--Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class

Sintesi Tecnica: Regolarità Globale per Grandi Dati delle Equazioni di Navier–Stokes Tridimensionali I

Enunciato del Problema
Il lavoro affronta il problema della regolarità globale per le equazioni di Navier–Stokes tridimensionali incomprimibili, specificamente all'interno della classe di soluzioni assialsimmetriche con vorticità. Mentre la regolarità globale è nota per flussi assialsimmetrici senza vorticità (dove la componente di vorticità si annulla), la presenza di vorticità introduce un termine sorgente derivativo nell'equazione per il rapporto di vorticità sollevato $G = \omega_\theta/r$. Tale termine sorgente, generato dalla vorticità $\Gamma = r u_\theta$, rende il problema genuinamente critico, poiché impedisce l'applicazione diretta dei principi del massimo classici che valgono per il caso privo di vorticità. Il lavoro mira a dimostrare che, per dati iniziali lisci, a divergenza nulla, assialsimmetrici con vorticità in $H^1(\mathbb{R}^3)$, la corrispondente soluzione lisse esiste globalmente nel tempo ($T_{\max} = \infty$).

Metodologia e Quadro Teorico
La dimostrazione impiega un argomento di continuazione diretto basato sulla prima soglia, organizzato come la prima parte di una serie di due articoli. La metodologia si discosta dai criteri di regolarità condizionale tentando di dimostrare che non può verificarsi una "prima soglia" di concentrazione.

1. Variabili Sollevate e Geometria:
   L'analisi è condotta in una geometria sollevata a cinque dimensioni $(y, z) \in \mathbb{R}^4 \times \mathbb{R}$, dove $r = |y|$. Le variabili principali sono:

   • $\Gamma = r u_\theta$ (vorticità).
   • $G = \omega_\theta / r$ (rapporto di vorticità sollevato).
     La misura naturale è $d\mu_5 = r^3 dr dz$, e il Laplaciano è $\Delta_5$. L'equazione per $G$ è trattata come un'equazione di trasporto-diffusione con un termine di recupero non locale e una sorgente derivativa $-\partial_z(\Gamma_e^2)$.

2. Quantità Chiave:

   • Punteggio Assiale ($Q_\rho$): Una misura invariante di scala della concentrazione di $G$ in un centro e una scala specifici.
   • Visibilità Dirichlet Completa ($V_\chi$): Una quantità coercitiva che misura la dissipazione Dirichlet del nucleo e la massa visibile nel collare di transizione di un pacchetto localizzato.
   • Errore a Soglia Finita ($E_{fin}$): Un termine di errore composito comprendente perdite (massa/energia del collare), code (gusci diadici esterni), residui a bassa frequenza e concentrazione della sorgente.

3. Il Meccanismo della Prima Soglia:
   L'argomento assume, per assurdo, che la busta del punteggio assiale critico $Max(t)$ diventi illimitata. Definisce un tempo di prima soglia $t^*$ in cui $Max(t)$ raggiunge per la prima volta un valore grande $M^*$. A questo tempo, viene selezionato un pacchetto minimo di prima soglia (un cilindro assiale all'indietro normalizzato) basato su un ordinamento specifico (tempo precedente, scala minore, minor numero di componenti, ecc.).

Contributi Chiave e Risultati Tecnici

La dimostrazione si basa su tre ingredienti quantitativi per mostrare che un pacchetto minimo di prima soglia non può esistere:

1. Ponte Dirichlet Completo Stretto:
   Il lavoro stabilisce una disuguaglianza stretta che relaziona il termine di trasferimento non locale $T_{G,\chi}[G]$ alla visibilità $V_\chi[G]$:
   $$|T_{G,\chi}[G]| \le \theta V_\chi[G] + C E_{dir}[G], \quad 0 < \theta < 1$$
   Il coefficiente $\theta < 1$ è derivato mediante un argomento vincolato di Ekeland–Pohozaev su una classe ammissibile "a errore zero". Analizzando l'omogeneità del termine di trasferimento (grado $3/2$) rispetto al termine di visibilità (grado $2$) sotto dilatazione, gli autori dimostrano che nessuna sequenza può saturare il quoziente di trasferimento a livello 1 o superiore senza violare i vincoli variazionali.

2. Estrazione di Discendenti a Sovrapposizione Finita:
   Il lavoro dimostra che se qualsiasi componente dell'errore a soglia finita (perdita, coda, sorgente, bassa frequenza o frammentazione) è grande, ciò produce necessariamente un pacchetto discendente con un ordine di selezione strettamente inferiore e un punteggio corretto positivo.

   • Perdita/Coda/Bassa Frequenza: Valori elevati in questi canali permettono l'estrazione di un sottopacchetto (ricentrato o spostato) che trasporta una frazione del punteggio.
   • Conversione Sorgente-Punteggio: Un lemma critico dimostra che una grande sorgente derivativa $-\partial_z(\Gamma_e^2)$ può essere convertita in un discendente a punteggio $G$ positivo utilizzando un pacchetto di calore aggiunto adattato al segno. Questo passo isola il contributo della forzante di vorticità alla concentrazione di vorticità.

3. Contrazione del Pacchetto e Dicotomia:
   Per un pacchetto minimo di prima soglia (uno che non ha discendenti di punteggio comparabile), l'estrazione a sovrapposizione finita implica che tutti i termini di errore devono essere perturbativi (piccoli). Di conseguenza, il ponte stretto e il bilancio energetico locale contraggono il punteggio del pacchetto, portando a una contraddizione: il punteggio del pacchetto non può essere abbastanza grande da costituire una soglia se tutti gli errori sono piccoli.

Risultato Principale
Teorema 2.1: Sia $u_0 \in H^1(\mathbb{R}^3)$ liscio, a divergenza nulla e assialsimmetrico con vorticità. La corrispondente soluzione lisse $u$ esiste globalmente ($T_{\max} = \infty$) e rimane liscia per ogni tempo.

La dimostrazione procede mostrando che, se una singolarità si formasse a un tempo finito $T$, la busta critica $Max(t)$ diverrebbe necessariamente. Tuttavia, l'argomento della prima soglia dimostra che $Max(t)$ non può superare un limite finito determinato dall'energia iniziale, precludendo così la formazione di una singolarità.

Significato e Affermazioni
Il lavoro afferma di fornire una dimostrazione diretta della regolarità globale per questa classe, evitando la necessità di criteri di regolarità condizionale che assumono la limitatezza di certe norme.

• Direttezza: L'argomento è organizzato attorno alla non-esistenza di una "prima soglia" piuttosto che sulla propagazione di limiti da uno stato regolare noto.
• Isolamento del Meccanismo: Il lavoro isola i specifici meccanismi locali richiesti per la chiusura assialsimmetrica: il ponte stretto (tramite Ekeland–Pohozaev), la conversione sorgente-punteggio e l'estrazione a sovrapposizione finita.
• Ruolo nella Serie: Questo articolo (Parte I) stabilisce il teorema di chiusura per la classe assialsimmetrica con vorticità. Gli autori affermano che l'articolo compagno Parte II utilizza questo risultato solo dopo che un meccanismo di front-end tridimensionale ha ridotto un pacchetto generico di prima soglia alla classe di compatibilità assialsimmetrica con vorticità.

Il lavoro si basa su input analitici standard (teoria di Calderón–Zygmund, stime di Hardy–Littlewood–Sobolev, principio variazionale di Ekeland e iterazione di De Giorgi–Moser), ma li sintetizza in un nuovo quadro "a soglia diretta" adattato alla geometria sollevata a cinque dimensioni del problema della vorticità assialsimmetrica.