Large-Data Global Regularity for Three-Dimensional Navier--Stokes II: A Direct First-Threshold Continuation Proof for the Full System

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

Enunciato del Problema
Questo articolo affronta il problema della regolarità globale per le equazioni di Navier–Stokes tridimensionali incomprimibili con dati iniziali di grandi dimensioni. Nello specifico, funge da seconda parte di una serie in due volumi volta a dimostrare che esistono soluzioni lisce per ogni tempo ($T^* = \infty$) senza che la soluzione sviluppi una singolarità in tempo finito. Mentre il lavoro complementare Parte I ha stabilito la regolarità globale per la classe assialsimmetrica con vorticità (swirl) utilizzando un metodo di continuazione diretto basato sulla prima soglia, la Parte II affronta l'aspetto "genuinamente tridimensionale" del sistema completo. La sfida centrale è dimostrare che nessun pacchetto di "prima soglia" — una regione localizzata in cui il punteggio di vorticità invariante di scala raggiunge un valore critico elevato — possa persistere o crescere senza contrarsi o ridursi a un caso regolare noto.

Metodologia
La dimostrazione impiega un argomento di "continuazione diretta basata sulla prima soglia" incentrato su un involucro critico combinato, denotato $M_{crit}(t)$. Questo involucro traccia il supremo di un punteggio locale di vorticità invariante di scala ($Q_{3D}$) su tutte le posizioni e le scale spaziali, integrato da una componente assialsimmetrica ($M_{ax}$) derivata dalla Parte I.

La metodologia procede tramite un argomento per assurdo:

1. Ipotesi di Blow-up: Si assume che $M_{crit}(t)$ raggiunga una soglia elevata $M^*$ in un tempo finito $t^*$.
2. Selezione del Pacchetto: Viene selezionato un pacchetto minimo di "prima soglia" $Q^*$ basato su un ordinamento specifico (tempo più precoce, scala più piccola, minor numero di componenti, ecc.).
3. Discesa a Sovrapposizione Finita: La dimostrazione analizza gli errori associati a $Q^*$ (perdita, difetti del guscio, esportazione della coda, deformazione passiva, difetti di fase/stallo/parità). Utilizza un meccanismo di "sovrapposizione finita" per mostrare che qualsiasi errore non perturbativo in queste categorie forza l'esistenza di un pacchetto "discendente" $Q'$ con un punteggio comparabile ma un ordine di selezione strettamente inferiore.
4. Rigidità e Dicotomia: Se non viene prodotto alcun discendente (implicando che tutti gli errori siano perturbativi), il pacchetto deve soddisfare una condizione di "difetto finale nullo". L'articolo introduce triadi di Littlewood–Paley angolari e rigidità del quadro attivo per classificare questi pacchetti a difetto nullo.
5. Riduzione: L'analisi dimostra che qualsiasi pacchetto a difetto finale nullo deve essere o localmente bidimensionale o assialsimmetrico con vorticità. Il primo caso è gestito dalla regolarità classica 2D, il secondo dal teorema della Parte I.

Contributi e Meccanismi Chiave

• Involucro Critico Combinato: L'introduzione di $M_{crit}(t)$ unifica l'analisi 3D completa con i risultati assialsimmetrici, permettendo alla dimostrazione di trattare il sistema completo riducendo le strutture 3D complesse a limiti 2D o assialsimmetrici.
• Rigidità del Quadro Attivo: Un contributo centrale è la definizione di uno spazio di etichette "a quadro attivo" a dimensione finita derivato da triadi angolari risonanti. L'articolo definisce funzionali di difetto ($D_{phase}, D_{stall}, D_{netpar}$) che misurano la deviazione da configurazioni geometriche rigide.
  • Teorema 4.4/4.5: Stabilisce un divario quantitativo: se la somma di questi difetti è piccola, la misura del quadro attivo del pacchetto deve essere vicina a uno dei due insiemi rigidi: $Z_{2D}$ (quadro di allungamento costante, localmente 2D) o $Z_{ax}$ (orbita azimutale fisica $m=1$, assialsimmetrico con vorticità).
• Visibilità della Deformazione Passiva: L'articolo introduce una disuguaglianza "no-dark-matter" (Proposizione 2.7, Lemma 4.6) che dimostra che i contributi della deformazione passiva non possono rimanere invisibili al difetto finale. Se la deformazione passiva è non perturbativa, deve manifestarsi come un difetto misurabile (perdita, guscio, fase, ecc.) o essere assorbita nella dissipazione locale.
• Estrazione del Discendente a Sovrapposizione Finita: Il Teorema 6.6 formalizza il meccanismo in cui grandi errori nei canali di perdita, guscio, coda, fase o frammentazione vengono convertiti in un nuovo pacchetto (discendente) con un limite inferiore garantito sul suo punteggio. Ciò impedisce che il pacchetto di "prima soglia" sia un controesempio minimo se tali errori esistono.

Risultati Principali

• Teorema 2.1 (Continuazione Diretta Tridimensionale Completa): Per qualsiasi dato iniziale liscio e a divergenza nulla $u_0 \in C_c^\infty(\mathbb{R}^3)$, la corrispondente soluzione liscia esiste globalmente ($T^* = \infty$).
• Limitatezza dell'Involucro: Per qualsiasi tempo finito $T$, l'involucro critico combinato rimane limitato: $\sup_{0<t<T} M_{crit}(t) \leq C(E_0, T)$, dove $E_0$ è l'energia iniziale $L^2$.
• Teorema 4.8 (Nessun Candidato a Difetto Finale Nullo Genuinamente Tridimensionale): L'articolo dimostra che non può esistere alcun pacchetto singolare "genuinamente tridimensionale" con difetti finali nulli. Qualsiasi tale pacchetto è costretto nelle classi localmente 2D o assialsimmetriche con vorticità, entrambe note per essere regolari.

Significato e Affermazioni
L'articolo afferma di fornire una dimostrazione completa e diretta della regolarità globale per le equazioni di Navier–Stokes 3D chiudendo l'aspetto "frontale" del problema. Il suo significato risiede in:

1. Completamento della Serie: Colma il divario tra il caso assialsimmetrico (Parte I) e il sistema 3D completo, dimostrando che il sistema completo non ammette nuovi tipi di singolarità non catturati dalle riduzioni assialsimmetriche o 2D.
2. Meccanismo Diretto di Soglia: A differenza dei risultati di regolarità condizionale che assumono un limite su una norma specifica, questa dimostrazione costruisce una contraddizione diretta: se si formasse una singolarità, esisterebbe un pacchetto minimo, ma l'analisi strutturale (rigidità, visibilità, discesa) dimostra che un tale pacchetto non può esistere.
3. Rigidità Strutturale: Il lavoro stabilisce che le uniche possibili geometrie "stabili" per un pacchetto ad alto punteggio nel limite a difetto nullo sono le configurazioni classiche 2D e assialsimmetriche con vorticità. Tutte le altre geometrie 3D complesse (fasi elicoidali, miscele multi-assiali, avvolgimenti superiori) mostrano di possedere difetti non nulli che o dissipano energia in modo rigoroso o generano discendenti, impedendo così la formazione di singolarità.

L'articolo si affida al teorema della Parte I complementare come input finale per il ramo assialsimmetrico, ma non lo utilizza per dimostrare le stime microlocali per il fronte generale 3D. La dimostrazione è autonoma per quanto riguarda i meccanismi che escludono le singolarità genuinamente 3D.