Il problema di Navier-Stokes è stato risolto? Stato 2026

No. Al 2026, il problema di esistenza e regolarità per Navier-Stokes rimane irrisolto. Nessuno ha dimostrato che soluzioni lisce esistano sempre in tre dimensioni, e nessuno ha mostrato che possano collassare. Il Millennium Prize del Clay ($1 milione) resta lì non assegnato, in attesa che qualcuno risolva un problema legato a equazioni formulate nel XIX secolo e ancora aperto oggi.

Questa è la pagina di stato per domande come “Navier-Stokes è risolto?” o “il problema Clay di Navier-Stokes è stato risolto?”. Per l’enunciato esatto di Clay, vedi esistenza e regolarità per Navier-Stokes.

Le equazioni in sé non sono in discussione. Ingegneri e scienziati usano le Navier-Stokes ogni giorno per progettare aerei, prevedere il tempo e modellare il flusso sanguigno. Le simulazioni funzionano. Ma ecco che cosa resta irrisolto: una questione puramente matematica sul fatto che le equazioni producano sempre soluzioni ben comportate, oppure se possano a un certo punto prevedere qualcosa di impossibile, come una velocità infinita concentrata in un singolo punto dello spazio.

Al 2026, il Millennium Prize del Clay per esistenza e regolarità di Navier-Stokes rimane aperto. Né la regolarità globale né il blow-up in tempo finito sono stati stabiliti per le equazioni di Navier-Stokes incomprimibili in 3D.

Precisamente: dati iniziali lisci e a divergenza nulla $u_0 \in C^\infty(\mathbb{R}^3)$ con decadimento opportuno (oppure su $\mathbb{T}^3$), non si sa se esista una soluzione liscia unica $(u, p)$ per ogni $t \geq 0$ con $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$. Non è stato costruito alcun controesempio.

Non è buio totale. I matematici hanno lavorato su questo problema per oltre un secolo, e hanno costruito un quadro sorprendentemente dettagliato di ciò che si sa e di ciò che non si sa:

• Esistono soluzioni deboli (Leray, 1934). Se si indebolisce la nozione di soluzione, esistono soluzioni globali. Ma resta aperto se rimangano lisce e uniche.
• Il caso 2D è risolto (Ladyzhenskaya, 1969). Due dimensioni? Fatto. Soluzioni lisce esistono per ogni tempo, e la difficoltà è interamente, ostinatamente specifica del 3D.
• Le singolarità sono rare (Caffarelli-Kohn-Nirenberg, 1982). Anche se in 3D esistono singolarità, sono confinate in un insieme di misura di Hausdorff parabolica unidimensionale nulla, estremamente piccolo nella geometria naturale dell'equazione.
• Esistono soluzioni in tempo breve. Lisce? Sì, almeno per poco. La domanda: possono sempre essere continuate per sempre?

Dunque il divario è stretto ma profondo. Sappiamo che le soluzioni partono lisce e sappiamo che le soluzioni deboli persistono globalmente, eppure nessuno riesce a dimostrare che la regolarità sopravviva per ogni tempo in tre dimensioni.

Risultati fondamentali stabiliti:

• Leray (1934): Esistenza globale di soluzioni deboli (distribuzionali) che soddisfano la disuguaglianza dell'energia $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$. Unicità? Aperta.
• Ladyzhenskaya (1969): Per il problema incomprimibile in 2D, dati lisci a divergenza nulla danno una soluzione liscia globale unica.
• Caffarelli-Kohn-Nirenberg (1982): Regolarità parziale per soluzioni deboli adatte: l'insieme singolare ha misura di Hausdorff parabolica unidimensionale nulla, $\mathcal{P}^1(S) = 0$.
• Buona posizione locale: Per $u_0 \in H^s(\mathbb{R}^3)$ con $s > 3/2$, esiste una soluzione liscia unica su $[0, T^*)$; ciò vale anche nello spazio critico rispetto allo scaling $\dot{H}^{1/2}(\mathbb{R}^3)$ (Fujita-Kato, 1964), con estensione a spazi critici strettamente più grandi, incluso $BMO^{-1}$ (Koch-Tataru, 2001). Vale $T^* = \infty$?

Ecco il divario: sappiamo che soluzioni deboli esistono globalmente, e sappiamo che soluzioni forti esistono localmente con piena unicità. Se la soluzione forte possa sempre essere estesa a ogni tempo è la domanda che resta del tutto aperta.

Ogni anno o due compare un preprint che sostiene di risolvere il problema di Navier-Stokes. Il ciclo è prevedibile: entusiasmo, scrutinio degli esperti, poi qualcuno trova la falla. Nessuno è stato accettato dalla comunità degli esperti come una risoluzione corretta.

Parte della confusione nasce dal mescolare ciò che "risolto" significa davvero:

• "Possiamo simulare i fluidi al computer." Certo. Ma la simulazione numerica non è una dimostrazione matematica; le simulazioni tagliano spazio e tempo in pezzi finiti, mentre la domanda riguarda ciò che accade nelle equazioni continue prima di effettuare qualunque discretizzazione.
• "Gli ingegneri usano queste equazioni con successo." È vero. Ma il successo pratico non ci dice se le equazioni siano internamente coerenti in ogni possibile scenario che un matematico possa immaginare.
• "Il problema 2D è risolto." Corretto. Ma il problema 3D è fondamentalmente diverso perché il meccanismo che fa funzionare il 2D (assenza di stiramento dei vortici, che mantiene limitata la vorticità) semplicemente non vale in tre dimensioni.

Presunte dimostrazioni compaiono regolarmente. Falliscono per ragioni prevedibili:

• Stime a priori errate: assumere il controllo di una norma critica o supercritica che in realtà non è stato stabilito.
• Confusione tra soluzioni deboli e forti: dimostrare proprietà delle soluzioni di Leray-Hopf che richiederebbero proprio la regolarità che si pretende di provare.
• Errori di analisi dimensionale: argomenti che si chiudono in 2D (dove l'enstrofia dà controllo $H^1$ e bastano immersioni di Sobolev subcritiche) ma falliscono completamente in 3D, dove quelle stesse immersioni non controllano più la nonlinearità.
• Bootstrap circolari: l'ipotesi assume implicitamente ciò che si sta dimostrando.

Perché fallisce tutto? Il problema 3D è supercritico rispetto alla norma naturale dell'energia, quindi tecniche standard come le stime di energia e gli argomenti di tipo Gronwall semplicemente non forniscono controllo sufficiente. È questo il muro contro cui si scontra ogni presunta dimostrazione.

Per rivendicare il premio Clay, bisognerebbe fare una di queste due cose:

1. Dimostrare la regolarità globale: mostrare che, per qualunque condizione iniziale liscia, la soluzione rimane liscia per sempre. Nessuna velocità infinita. Nessun collasso. Le equazioni si comportano sempre bene.
2. Costruire un blow-up: trovare condizioni iniziali lisce per cui la soluzione matematica classica collassa in tempo finito, oppure soddisfare in altro modo una delle formulazioni ufficiali Clay del breakdown.

Entrambi i risultati sarebbero enormi. La regolarità globale risolverebbe il problema Clay e stabilirebbe che il modello incomprimibile è matematicamente ben posto per tutti i dati lisci. Un blow-up? Ci costringerebbe a ripensare ciò che accade a scale estreme e potrebbe indicare una fisica del tutto nuova che non abbiamo ancora immaginato.

Secondo la formulazione Clay di Fefferman, una risoluzione valida richiede una delle seguenti alternative:

1. (A) Esistenza e regolarità: Per ogni $u_0 \in C^\infty(\mathbb{R}^3)$ con $\nabla \cdot u_0 = 0$ e $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ per ogni $\alpha, K$, dimostrare l'esistenza di $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ che soddisfa le equazioni, con $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$ for all $t \geq 0$.
2. (B) Breakdown: Esibire $u_0 \in C^\infty(\mathbb{R}^3)$ (a divergenza nulla, con decadimento opportuno) e $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ tali che nessuna $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ soddisfi le equazioni.

Sono accettate anche formulazioni analoghe su $\mathbb{T}^3$. L'enunciato completo di Fefferman include casi separati con e senza forzante esterna ($f = 0$ e $f \neq 0$); quanto sopra distilla le alternative essenziali.

• 1822: Navier deriva le equazioni da considerazioni molecolari.
• 1845: Stokes dà loro la forma moderna.
• 1934: Leray dimostra che soluzioni deboli esistono globalmente. Enorme.
• 1969: Ladyzhenskaya risolve il 2D.
• 1982: Caffarelli, Kohn e Nirenberg dimostrano la regolarità parziale, stabilendo che eventuali singolarità devono essere straordinariamente rare, con misura di Hausdorff parabolica unidimensionale nulla.
• 1984: Beale, Kato e Majda dimostrano per le equazioni di Euler 3D che il breakdown di una soluzione liscia forza la divergenza dell'integrale temporale della vorticità. Criteri di continuazione collegati si applicano anche a Navier-Stokes.
• 2000: Clay lo nomina Problema del Millennio. Un milione di dollari.
• 2014: Tao costruisce il blowup per una versione mediata delle equazioni (preprint; pubblicato nel 2016), mostrando che non esiste un ostacolo puramente strutturale alla formazione di singolarità.
• 2026: Aperto.

• 1822: Navier. Sforzo molecolare.
• 1845: Stokes. Continuo.
• 1934: Leray. Il risultato fondazionale: soluzioni deboli globali in $L^2$, il proiettore di Leray e la disuguaglianza di energia che avrebbero plasmato un intero secolo di analisi matematica dei fluidi e definito ogni approccio successivo.
• 1951: Hopf estende il risultato a domini limitati.
• 1962: Serrin stabilisce la regolarità condizionata: liscia se $u \in L^p_t L^q_x$ con $2/p + 3/q \leq 1$ e $q > 3$; il caso di endpoint $L^\infty_t L^3_x$ fu risolto da Escauriaza-Seregin-Šverák nel 2003.
• 1969: Ladyzhenskaya. 2D risolto.
• 1982: CKN. $\mathcal{P}^1(S) = 0$.
• 1984: Beale-Kato-Majda (per Euler 3D). Se $T^* < \infty$, allora $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$. Criteri di continuazione analoghi valgono per Navier-Stokes.
• 2000: Clay.
• 2014: Tao. Blowup per Navier-Stokes mediato (JAMS 2016), mostrando che qualunque dimostrazione di regolarità per le equazioni vere deve sfruttare caratteristiche più fini della non linearità di Navier-Stokes rispetto a quelle preservate dal modello mediato.
• 2026: Aperto.

Parte di Il problema.

Approfondisci: perché il problema è così difficile?, su quali sottoproblemi stanno lavorando i matematici, e quali approcci hanno tentato?

L'enunciato formale di Clay si trova nella pagina del Problema del Millennio, e se vuoi capire a quale versione delle equazioni questo problema si riferisca davvero, vedi Navier-Stokes incomprimibile vs. comprimibile.

Parte di Il problema.

Dettagli: formulazione di Clay. Ostacoli: Perché è difficile.

Per il quadro completo dei risultati parziali, delle sottoquestioni aperte e di ogni strategia tentata nell'ultimo secolo di lavoro su questo problema, vedi Sottoproblemi e Approcci. Quale formulazione studia il problema di Clay: Incomprimibile vs. comprimibile.