A Classical Two-Part First-Threshold Proof of Global Smoothness for Navier--Stokes: Axisymmetric Swirl Closure and Full-System Reduction

Sintesi Tecnica: Una Dimostrazione Classica a Due Fasi del Primo Soglia per la Regolarità Globale delle Equazioni di Navier–Stokes: Chiusura della Vorticità Assialsimmetrica e Riduzione del Sistema Completo

Enunciato del Problema
Il lavoro affronta il problema della regolarità globale per le equazioni di Navier–Stokes tridimensionali incomprimibili:
$$\partial_t u + u \cdot \nabla u + \nabla p = \Delta u, \quad \nabla \cdot u = 0$$
su $\mathbb{R}^3$ con dati iniziali lisci, a energia finita e a divergenza nulla. La difficoltà centrale risiede nella potenziale formazione di singolarità (esplosione) in tempo finito. L'autore, Rishad Shahmurov, propone una dimostrazione secondo cui la continuazione globale liscia ($T^* = \infty$) vale per tutti tali dati iniziali.

Metodologia: L'Argomento a Due Fasi del Primo Soglia
La dimostrazione è strutturata come un argomento "a due fasi del primo soglia". Essa assume l'esistenza di un ipotetico tempo terminale singolare $T^*$ e tenta di derivare una contraddizione analizzando un "pacchetto terminale canonico del primo soglia"—una concentrazione normalizzata di vorticità ed energia che esisterebbe qualora si formasse una singolarità.

Parte I: Chiusura della Vorticità Assialsimmetrica in Variabili Sollevate a Cinque Dimensioni
La Parte I stabilisce la regolarità globale per la specifica classe di flussi assialsimmetrici con vorticità.

• Sollevamento a Cinque Dimensioni: L'autore utilizza una rappresentazione esatta dei campi scalari assialsimmetrici come funzioni radiali SO(4) in uno spazio a cinque dimensioni ($\mathbb{R}^4_y \times \mathbb{R}_z$). Ciò trasforma i pesi cilindrici singolari (ad es. $1/r$) in pesi radiali standard, permettendo l'uso di strumenti standard di analisi armonica in 5D.
• Variabili Chiave: L'analisi si concentra sul rapporto di vorticità sollevato $G = \omega_\theta/r$ e sul quadrato della derivata regolarizzata della vorticità $H = (u_\theta/r)^2$. La deformazione $U = u_r/r$ è recuperata da $G$ tramite un operatore di ordine $-1$ (potenziale di Riesz).
• Il Meccanismo di Coppia: La difficoltà fondamentale è la sorgente di derivata $-\partial_z H$ nell'equazione per $G$ e il feedback compressivo $U[G]H^2$ nell'equazione per $H$. La dimostrazione tratta questi come un meccanismo di "trasferimento di coppia" accoppiato $(G, H)$ piuttosto che separandoli in termini principali e termini di errore.
• Ponte Morbido vs. Ponte Rigido:
  • Ponte Morbido: Stime classiche (Hardy–Littlewood–Sobolev, Sobolev, interpolazione, disuguaglianza di Young) sono utilizzate per assorbire pacchetti "sottocritici" in cui la massa locale è piccola rispetto alla dissipazione.
  • Ponte Rigido: Per i rimanenti pacchetti "compatti-critici" (dove la scalatura è bilanciata), le disuguaglianze classiche delle norme sono insufficienti perché non possono distinguere allineamenti geometrici (segno, parità) che potrebbero permettere una saturazione con coefficiente uno. La dimostrazione introduce un argomento di rigidità terminale utilizzando la compattezza a stadi finiti e una identità localizzata di Pohozaev–Morawetz. Testando il profilo di forte estremo contro l'omogeneità di ampiezza e dilatazione, l'autore deriva identità incompatibili che impongono un coefficiente stretto $\theta < 1$, contraddicendo la saturazione assunta.
• Recupero: Una volta controllati $G$ e $H$, la variabile di vorticità non segnata $F = u_\theta/r$ è recuperata tramite un'equazione di ordine inferiore, stabilendo la limitatezza locale e quindi la regolarità globale per questa classe.

Parte II: Riduzione del Primo Soglia del Sistema Completo
La Parte II riduce il problema generale tridimensionale al caso assialsimmetrico e al caso classico bidimensionale.

• Canali di Difetto: Partendo da una soluzione 3D singolare ipotetica, la dimostrazione scompone i potenziali ostacoli in "canali di difetto": fuoriuscita, effetti di guscio/coda, frammentazione, deformazione passiva, disallineamento di fase angolare e burst di trasferimento temporale.
• Meccanismo Discendente: La dimostrazione impiega una strategia di "discendente a sovrapposizione finita". Se qualsiasi canale di difetto è non perturbativo (cioè troppo grande per essere assorbito), genera un pacchetto "discendente" (scala più piccola, tempo precedente o componenti minori) con un punteggio corretto positivo.
• Minimalità Canonica: Selezionando un pacchetto terminale "canonicamente minimale" (minimale nel tempo, nella scala e nella complessità), l'esistenza di un qualsiasi tale discendente crea una contraddizione.
• Rigidità a Difetto Zero: Se tutti i canali di difetto svaniscono (difetto finale zero), il limite terminale è rigido. La dimostrazione mostra che il limite deve essere o:
  1. Localmente bidimensionale: Escluso dalla teoria classica delle equazioni di Navier–Stokes 2D (Ladyzhenskaya, Temam, Galdi).
  2. Assialsimmetrico con vorticità: Escluso dal risultato della Parte I.
• Conclusione: Poiché entrambe le alternative a difetto zero sono regolari, e le alternative a difetto positivo sono escluse dall'argomento discendente, nessun pacchetto terminale singolare può esistere.

Contributi Chiave

1. Sollevamento Esatto 5D per la Vorticità Assialsimmetrica: Il lavoro fornisce un quadro rigoroso per trattare il problema assialsimmetrico con vorticità come un sistema parabolico scalare in 5D, isolando la sorgente di derivata e il feedback compressivo in un singolo meccanismo di trasferimento di coppia.
2. Ponte Terminale Rigido: L'autore dimostra che l'analisi armonica classica (stime delle norme) non può chiudere il caso critico a causa della "cecità alla forma". La dimostrazione introduce un passo di rigidità geometrica utilizzando identità di Pohozaev–Morawetz su profili di forte estremo per rompere il pareggio di scalatura, imponendo un coefficiente strettamente inferiore a uno.
3. Quadro di Discendente a Sovrapposizione Finita: La Parte II categorizza sistematicamente tutte le potenziali singolarità 3D in canali di difetto. Dimostra che qualsiasi difetto non perturbativo forza l'esistenza di un pacchetto "più piccolo", il che contraddice la minimalità della selezione del primo soglia.
4. Riduzione alle Classi Note: La dimostrazione del sistema completo non si basa su nuove stime 3D, ma piuttosto su un meccanismo di riduzione che convoglia qualsiasi potenziale singolarità o nella classe 2D o nella classe assialsimmetrica con vorticità, entrambe dimostrate regolari.

Risultati
Il lavoro afferma di dimostrare il Teorema Principale 1.1 (Continuazione globale assialsimmetrica con vorticità) e il Teorema Principale 1.2 (Continuazione globale tridimensionale). Nello specifico, afferma che per qualsiasi dato iniziale liscio, a energia finita e a divergenza nulla in $\mathbb{R}^3$, la corrispondente soluzione di Navier–Stokes esiste globalmente nel tempo ($T^* = \infty$) e rimane liscia.

Significato e Affermazioni
Il lavoro si posiziona all'interno del programma "soglia diretta", utilizzando identità energetiche localizzate e una contabilità di tipo Caccioppoli, piuttosto che fare affidamento sulla regolarità epsilon di Caffarelli–Kohn–Nirenberg come una scatola nera.

• Motivazione: L'autore nota che il problema assialsimmetrico con vorticità è un terreno di prova centrale per la regolarità 3D perché mantiene il meccanismo di stiramento e la geometria singolare ammettendo al contempo variabili scalari esatte.
• Limite delle Stime Classiche: Il lavoro sostiene esplicitamente che le stime classiche si fermano allo stadio del "ponte morbido". Afferma che senza il passo di "rigidità terminale" (testando la forma geometrica del pacchetto tramite identità di Pohozaev), la dimostrazione non può escludere la possibilità di un saturatore con coefficiente uno.
• Autocontenimento: La dimostrazione è presentata come autocontenuta per quanto riguarda le stime utilizzate; tutti i termini sono definiti all'interno del testo e il passaggio tra la Parte II (sistema completo) e la Parte I (assialsimmetrico) è reso esplicito.

Il lavoro non propone nuove applicazioni sperimentali o schemi numerici futuri; il suo contributo è puramente analitico, mirando a risolvere la congettura di regolarità globale attraverso una specifica decomposizione del problema in un nucleo assialsimmetrico sollevato a 5D e un front-end di riduzione 3D.