Stable Finite-Time Singularity Formation for 3D Navier--Stokes via 5D-Lifted Axisymmetric Reductions

1. Il Problema

Il lavoro affronta uno dei problemi aperti più famosi della fisica matematica: la formazione di singolarità a tempo finito nelle equazioni di Navier-Stokes tridimensionali (3D) per fluidi incomprimibili.
In particolare, l'articolo si pone l'obiettivo di dimostrare l'esistenza di una soluzione iniziale liscia $u_0 \in C^\infty(\mathbb{T}^3)$ (su un toro periodico) che evolve in una soluzione che sviluppa una singolarità in un tempo finito $T^* < \infty$.
La singolarità è definita nel senso del criterio di Beale-Kato-Majda (BKM), ovvero la divergenza dell'integrale della norma $L^\infty$ del gradiente della velocità (o della vorticità) nel tempo:
$$\int_0^{T^*} \|\nabla u(\cdot, t)\|_{L^\infty} dt = \infty$$
Il problema è reso ancora più complesso dalla necessità di garantire che tale comportamento non sia un artefatto numerico, ma una proprietà matematica rigorosa e stabile dell'equazione.

2. Metodologia

L'autore utilizza un approccio ibrido che combina analisi matematica avanzata e dimostrazioni assistite da computer (Computer-Assisted Proofs - CAP). La metodologia si articola in diversi passaggi fondamentali:

• Riduzione Assialsimmetrica e "Lift" 5D:
  Il problema 3D viene ridotto a un sistema assialsimmetrico. Per gestire la singolarità sull'asse di rotazione ($r=0$), viene introdotta una trasformazione geometrica che "solleva" (lift) il problema in uno spazio a 5 dimensioni. Le variabili fisiche $(r, z)$ vengono mappate in un mezzo piano meridiano con una misura pesata $d\mu_5 = r^3 dr dz$. Questo permette di trattare l'operatore di Bessel-Caloric in modo rigoroso, eliminando le singolarità coordinate sull'asse.

• Variabili Autosimili e Profilo Stazionario:
  Si assume un comportamento di blow-up quasi autosimile. Introducendo variabili scalate $\rho = r/\sqrt{T^*-t}$ e $\zeta = z/\sqrt{T^*-t}$, l'evoluzione temporale viene trasformata nella ricerca di un profilo stazionario $\bar{\Omega}$ che soddisfi un'equazione ellittica non lineare fissa:
  $$G(\bar{\Omega}, \nu) = 0$$
  dove $G$ include termini di diffusione, drift di scalatura, advezione e stiramento (stretching).

• Spazi Funzionali Analitici:
  Il profilo viene cercato in uno spazio di Hilbert pesato $X$, basato su funzioni analitiche (tipo Gevrey) definite su una sfera compattificata $S^4$. La norma include pesi esponenziali $e^{2\tau j}$ per garantire la regolarità analitica e il decadimento rapido delle alte frequenze. Viene definita una norma di sorgente più forte $Y$ per gestire le non linearità.

• Validazione Numerica Rigorosa (Interval Arithmetic):
  Il cuore della dimostrazione è l'uso dell'aritmetica intervallare (tramite la libreria Arb).

  1. Si costruisce un profilo approssimato $\bar{\Omega}_{app}$ troncato spettralmente a $N=450$ modi.
  2. Si calcola il residuo $R = G(\bar{\Omega}_{app}, \nu)$ con errori rigorosamente limitati.
  3. Si dimostra che l'operatore linearizzato $DG$ è invertibile, fornendo una stima rigorosa della costante di stabilità $M$ (norma dell'inverso).
  4. Si verifica la condizione di Newton-Kantorovich: $2\delta M K < 1$, dove $\delta$ è il residuo, $M$ la stabilità e $K$ la costante di Lipschitz. Questo garantisce l'esistenza di una soluzione esatta $\bar{\Omega}$ in un intorno del profilo approssimato.

• Trasferimento al Torus Periodico:
  Il profilo locale viene trasferito sul toro periodico $\mathbb{T}^3$ tramite estensione periodica e proiezione di Leray esatta. Gli errori di sovrapposizione delle immagini periodiche sono stimati rigorosamente e risultano trascurabili ($\sim 10^{-20}$), permettendo di mantenere la validità della dimostrazione.

3. Contributi Chiave

• Dimostrazione Assistita da Computer: Fornisce una prova rigorosa (non solo numerica) dell'esistenza di una singolarità a tempo finito per le equazioni di Navier-Stokes 3D su un toro, con costanti esplicitamente certificate.
• Geometria 5D-Lifted: Introduce un framework geometrico innovativo che risolve le difficoltà analitiche legate all'asse di simmetria nelle equazioni assialsimmetriche, permettendo l'uso di spazi di funzioni analitiche.
• Stabilità del Blow-up: Dimostra che la singolarità non è un caso isolato ma è stabile rispetto alle perturbazioni nello spazio analitico pesato, confermando la robustezza del meccanismo di formazione.
• Certificazione dei Costanti: Fornisce valori numerici certificati per tutti i parametri critici (residuo, stabilità, Lipschitz, errori di trasferimento), rendendo il risultato verificabile e riproducibile.

4. Risultati Principali

Il teorema principale (Teorema 2.1) afferma che:

• Esiste un campo di velocità iniziale $u_0$ liscio e a divergenza nulla su $\mathbb{T}^3$.
• Per un coefficiente di viscosità $\nu$ sufficientemente piccolo (specificato come $\nu < \nu_c \approx 0.00582$), la soluzione unica delle equazioni di Navier-Stokes sviluppa una singolarità a tempo finito $T^*$.
• Il comportamento è asintoticamente quasi autosimile.
• La singolarità è caratterizzata dalla divergenza dell'integrale della norma $L^\infty$ della vorticità, soddisfacendo il criterio di Beale-Kato-Majda.

I dati numerici chiave che supportano la prova sono:

• Residuo certificato: $\delta \approx 8.42 \times 10^{-12}$.
• Stabilità dell'inverso: $M \approx 482.6$.
• Costante di Lipschitz: $K \approx 1.1 \times 10^4$.
• Verifica di Newton-Kantorovich: $2\delta MK \approx 8.9 \times 10^{-5} < 1$.

5. Significato e Impatto

Questo lavoro rappresenta un passo significativo verso la risoluzione del problema del milionario (Millennium Prize Problem) relativo alla regolarità delle equazioni di Navier-Stokes.

• Cambio di Paradigma: Sposta la discussione dalla ricerca di controesempi numerici alla costruzione di prove matematiche rigorose assistite da computer, un approccio che sta diventando lo standard per problemi non lineari complessi.
• Meccanismo di Blow-up: Identifica un meccanismo specifico di "stretching" (allungamento) della vorticità in un contesto assialsimmetrico che, sebbene non sia la soluzione generale per ogni condizione iniziale, dimostra che la singolarità è possibile all'interno della struttura delle equazioni originali (non in modelli semplificati o mediati).
• Riproducibilità: L'articolo include protocolli dettagliati, log di audit e dati spettrali, invitando la comunità scientifica a verificare e replicare i risultati, stabilendo un nuovo standard di trasparenza per le dimostrazioni computazionali in fluidodinamica.

In sintesi, Shahmurov dimostra che, sotto condizioni specifiche di viscosità e con un profilo iniziale opportunamente costruito, le equazioni di Navier-Stokes 3D possono effettivamente "rompersi" in tempo finito, fornendo una prova matematica solida di questo fenomeno attraverso una rigorosa validazione numerica.