Enunciato Clay di Navier-Stokes: criteri ufficiali spiegati

Il problema di Navier–Stokes del Clay Mathematics Institute, scritto da Charles Fefferman per i Problemi del Premio del Millennio annunciati nel 2000, chiede se le equazioni di Navier–Stokes incomprimibili in 3D abbiano soluzioni lisce per tutti i tempi, oppure se le soluzioni lisce possano perdere regolarità. Questa pagina spiega esattamente che cosa richiede l’enunciato ufficiale: le equazioni, quali flussi iniziali e quali forzanti sono consentiti, che cosa conta come soluzione «fisicamente ragionevole» e le quattro alternative, ciascuna delle quali basta a risolverlo.

A settembre 2026 OpenAI ha annunciato una dimostrazione delle alternative di perdita di regolarità C e D, e Clay ha affermato che il problema «sembra essere stato risolto»; la sua valutazione procede deliberatamente senza fretta e nessun premio è stato assegnato. Le alternative di esistenza senza forzante A e B non sono decise da quel risultato.

Che cosa è stato annunciato e come viene valutato: Navier-Stokes è risolto? (fonti verificate il 2026-09-29)

Fonti primarie: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciato ufficiale di Clay.

L’enunciato ufficiale di Fefferman riguarda il sistema di Navier–Stokes incomprimibile in 3D con viscosità $\nu>0$ su $\mathbb{R}^3$ o su $\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$. Definisce dati iniziali e forzanti ammissibili, una classe di soluzioni fisicamente ragionevoli (lisce per ogni $t\ge0$, con energia limitata su $\mathbb{R}^3$), e chiede la dimostrazione di uno fra quattro enunciati A–D.

A settembre 2026 OpenAI ha annunciato una dimostrazione delle alternative di perdita di regolarità C e D, e Clay ha affermato che il problema «sembra essere stato risolto»; la sua valutazione procede deliberatamente senza fretta e nessun premio è stato assegnato. Le alternative di esistenza senza forzante A e B non sono decise da quel risultato.

Stato e fonti: Navier-Stokes è risolto? (fonti verificate il 2026-09-29)

Fonti primarie: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · Enunciato ufficiale di Clay.

Il problema Clay non chiede se le simulazioni dei fluidi funzionino, se gli ingegneri sappiano risolvere esempi di flusso in un tubo o se esistano soluzioni deboli. Sono questioni separate. La domanda del premio riguarda la regolarità globale o la rottura in tempo finito per le equazioni incomprimibili tridimensionali.

Una soluzione deve rientrare in una di due categorie:

1. Regolarità globale: mostrare che, senza forzante esterna, ogni flusso iniziale liscio ammissibile resta liscio per tutti i tempi futuri.
2. Perdita di regolarità: fornire una configurazione liscia ammissibile, un flusso iniziale e, se si vuole, una forzante liscia a decadimento rapido, per cui non possa esistere una soluzione liscia globale.

Clay richiede la dimostrazione di una delle quattro alternative, non di tutte: (A) esistenza globale liscia senza forzante in R³; (B) esistenza globale liscia senza forzante sul toro periodico T³; (C) perdita di regolarità in R³ con forzanti lisce ammissibili consentite; (D) perdita di regolarità periodica con forzanti lisce ammissibili consentite. A/B riguardano tutti i dati iniziali ammissibili; C/D richiedono un controesempio ammissibile. Il blowup forzato non confuta A/B.

Il sistema centrale è l’equazione di Navier-Stokes incomprimibile 3D

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f, \qquad \nabla \cdot u = 0.$$

La formulazione di Clay separa il caso su tutto lo spazio e il caso periodico. Nella direzione dell’esistenza su tutto lo spazio, la velocità iniziale è liscia, a divergenza nulla e a decadimento rapido; l’obiettivo è una soluzione globalmente liscia con energia finita per tutti i tempi. Nella direzione della rottura, il compito è costruire dati ammissibili, sotto una delle alternative ufficiali, per cui la soluzione globalmente liscia richiesta non esiste.

L’esistenza (A, B) è posta con $f\equiv0$ e quantifica su tutti i dati ammissibili; la perdita di regolarità (C, D) richiede una sola coppia ammissibile $(u_0,f)$, con forzante consentita sotto le condizioni di decadimento riportate sotto.

1. (A) Regolarità su tutto lo spazio. Senza forzante esterna, ogni flusso iniziale liscio, a divergenza nulla e con derivate a decadimento rapido all’infinito, ha una soluzione liscia per tutti i tempi con energia totale limitata.
2. (B) Regolarità in una scatola periodica. Lo stesso, senza forzante esterna, per flussi lisci a divergenza nulla che si ripetono periodicamente in ogni direzione.
3. (C) Perdita di regolarità su tutto lo spazio. Qualche flusso iniziale liscio ammissibile e qualche forzante esterna liscia, la cui ampiezza e ogni derivata decadono rapidamente nello spazio e nel tempo, non ammettono alcuna soluzione liscia a energia limitata per tutti i tempi.
4. (D) Perdita di regolarità in una scatola periodica. Qualche flusso iniziale periodico liscio e qualche forzante periodica liscia, a decadimento rapido nel tempo, non ammettono alcuna soluzione periodica liscia per tutti i tempi.

Dimostrare una qualsiasi delle quattro risolve il problema così come è posto. Non sono disposte come enunciato e negazione: C è più debole di «A è falsa», perché C permette anche a chi risolve di scegliere una forzante. Il testo ufficiale descrive le quattro opzioni come un modo per concedere «un ragionevole margine a chi risolve, mantenendo il cuore del problema».

Seguendo la formulazione di Fefferman su $\mathbb{R}^3$ con $f \equiv 0$:

Ipotesi: Sia $u_0 \in C^\infty(\mathbb{R}^3)$ a divergenza nulla. Supponiamo che per ogni $\alpha$ e $K$ esistano costanti $C_{\alpha,K}$ tali che

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K} \quad \text{su } \mathbb{R}^3.$$

Conclusione (da dimostrare): Esistono $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ e $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ che soddisfano le equazioni di Navier-Stokes, $u(x,0) = u_0(x)$, e il vincolo di energia

$$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C \quad \text{per ogni } t \geq 0.$$

Perdita di regolarità (C): esistono un $u_0$ liscio, a divergenza nulla, che soddisfa la condizione di decadimento sopra, e una $f$ liscia su $\mathbb{R}^3\times[0,\infty)$ che soddisfa la condizione (5),

$$|\partial_x^\alpha \partial_t^m f(x,t)| \leq \frac{C_{\alpha m K}}{(1+|x|+t)^{K}},$$

per tutti gli $\alpha, m, K$, per cui nessuna $(p,u)$ con $p,u\in C^\infty(\mathbb{R}^3\times[0,\infty))$ soddisfa le equazioni, la condizione iniziale e il limite sull’energia.

Versioni periodiche (B, D): $u_0$ e $f$ sono periodiche di periodo unitario in ogni coordinata; la condizione sulla forzante diventa $|\partial_x^\alpha\partial_t^m f(x,t)|\le C_{\alpha mK}(1+|t|)^{-K}$, la condizione (9); le soluzioni devono essere lisce e periodiche in $x$, e l’errata corrige allegata richiede che anche la pressione sia periodica. B prende $f\equiv0$ e chiede una soluzione periodica liscia globale per ogni $u_0$ periodico liscio a divergenza nulla; D chiede una coppia periodica ammissibile $(u_0,f)$ senza soluzione periodica liscia globale. Le alternative periodiche non prevedono un limite separato sull’energia.

Il teorema annunciato sullo spazio intero parte da velocità nulla, che soddisfa le condizioni sui dati iniziali, e usa una forzante liscia a supporto in una regione limitata dello spazio e del tempo, che soddisfa la condizione di decadimento della forzante. Conclude che per quei dati non esiste alcuna soluzione liscia globale con energia limitata, ed è ciò che C richiede; un corollario trasferisce la costruzione alla scatola periodica per D. Controllare queste condizioni sui dati è elementare; non verifica la dimostrazione in sé.

La corrispondenza riguarda solo C e D. A e B, la regolarità globale senza forzante, non sono né dimostrate né confutate, e l’enunciato di Clay non le richiede una volta stabilita C o D. Se la dimostrazione sia corretta è materia del controllo degli esperti e della procedura di Clay; si veda la spiegazione dello stato.

• Dato iniziale. $u_0=0$ è liscio, a divergenza nulla, e soddisfa banalmente la condizione di decadimento (4) e la condizione di periodicità (8).
• Forzante per C. $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$ ha supporto compatto nello spazio-tempo, quindi ogni derivata è limitata e si annulla fuori da un compatto; (5) è soddisfatta.
• Conclusione per C. Il Teorema 1.1 fornisce $(u,p)$ lisce su $[0,1)$ con $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$ e $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$, e afferma che nessuna soluzione liscia su $\mathbb{R}^3\times[0,\infty)$ con lo stesso dato e la stessa forzante ha energia cinetica uniformemente limitata, che è la classe richiesta da (6)–(7).
• D. Corollario 10.6: per ogni $\nu>0$, una forzante liscia su $\mathbb{T}^3\times[0,\infty)$, a supporto compatto nel tempo (e quindi conforme a (9)), velocità iniziale nulla, blowup della velocità in $t=1$ e nessuna soluzione periodica liscia globale per lo stesso dato e la stessa forzante; velocità e pressione sono periodiche, come richiede l’errata corrige.
• Limiti. Questi sono gli enunciati del manoscritto, e i controlli sulla classe dei dati riportati sopra sono elementari; non verificano la costruzione, la formalizzazione in Lean né la sua corrispondenza con il testo ufficiale.

Manoscritto: OpenAI — Navier–Stokes (PDF), Teorema 1.1 e Corollario 10.6.

Tre cose hanno portato Navier-Stokes in quella rosa ristretta:

• Importanza pratica. Queste equazioni governano gran parte della fluidodinamica: progettazione aeronautica, modelli climatici, flusso sanguigno, correnti oceaniche. Anche senza una dimostrazione completa, gli ingegneri usano con successo queste equazioni in molti regimi; il problema aperto riguarda se le equazioni 3D possano sempre essere giustificate matematicamente.
• Profondità matematica. Chiama in causa simultaneamente analisi, geometria, topologia e fisica.
• Importanza duratura. Clay ha scelto Navier–Stokes fra i sette Problemi del Millennio nel 2000 per la difficoltà matematica fondamentale e per il ruolo centrale delle equazioni nella dinamica dei fluidi. L’annuncio di settembre 2026 ne cambia lo stato, non le ragioni dell’importanza. Vedi anche: scopri perché

La difficoltà del problema è radicata nella natura supercritica delle equazioni 3D. La stima naturale dell’energia

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \frac{1}{2}\|u_0\|_{L^2}^2$$

colloca $u$ in $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$, che è al di sotto della scala critica. Le equazioni di Navier-Stokes sono invarianti sotto

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \quad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t)$$

e lo spazio critico è $L^3(\mathbb{R}^3)$ (o $\dot{H}^{1/2}$). La classe energetica $L^2$ è supercritica. Si trova al di sotto della soglia di scala critica e da sola non controlla la cascata non lineare alle piccole scale, lasciando un divario che tutte le tecniche esistenti faticano a colmare.

La stima energetica qui mostrata vale senza forzante. In presenza di forzante, il secondo membro include anche il termine di lavoro $\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

Le tappe essenziali:

• 1822: Navier deriva le equazioni da considerazioni molecolari.
• 1845: Stokes dà la derivazione moderna dalla meccanica dei continui.
• 1934: Leray dimostra che soluzioni “deboli” esistono sempre. Un risultato enorme, ma queste soluzioni potrebbero non essere lisce.
• 1982: Caffarelli, Kohn e Nirenberg dimostrano che le singolarità (altro sulla regolarità parziale), se esistono, sono estremamente piccole: nella geometria parabolica naturale per queste equazioni, l’insieme singolare ha misura di Hausdorff parabolica unidimensionale nulla.
• 1984: Beale, Kato e Majda dimostrano (originariamente per Euler, con analoghi per Navier-Stokes) che il blow-up può avvenire solo se la vorticità diventa infinita.
• 2000: Clay lo nomina Problema del Millennio.
• 2026: OpenAI annuncia una dimostrazione di perdita di regolarità con forzante liscia che rivendica le alternative C e D; Clay afferma che il problema «sembra essere stato risolto», con una valutazione deliberatamente senza fretta.

Vedi anche: approcci tramite spazi critici

Risultati fondamentali, in modo selettivo:

• Leray (1934): soluzioni deboli globali $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ esistono, dimostrate tramite compattezza. Introdusse il proiettore di Leray e il concetto di soluzioni turbolente. Il colpo di partenza per tutto ciò che seguì.
• Hopf (1951): Estese la costruzione di Leray a domini limitati.
• Ladyzhenskaya, Prodi, Serrin (anni 1960): Criteri di regolarità. Se $u \in L^p_t L^q_x$ con $2/p + 3/q \leq 1$, $q > 3$, allora la soluzione è liscia. Escauriaza, Seregin e Šverák risolsero nel 2003 il caso di endpoint $L^\infty_t L^3_x$.
• Caffarelli, Kohn, Nirenberg (1982): $\mathcal{P}^1(\Sigma) = 0$. L’insieme singolare ha misura di Hausdorff parabolica unidimensionale nulla.
• Beale, Kato, Majda (1984): Originariamente dimostrato per le equazioni di Euler incomprimibili: il blow-up avviene se e solo se $\int_0^{T^*} \|\omega(\cdot,t)\|_{L^\infty} \, dt = \infty$. Criteri analoghi valgono per Navier-Stokes.
• Koch, Tataru (2001): buona positura globale per dati piccoli in $\mathrm{BMO}^{-1}$, il più grande fra gli spazi critici standard in cui un risultato del genere è noto.
• Seregin (2012): In un tempo di blow-up $T^*$, la norma $L^3$ deve divergere: $\|u(t)\|_{L^3} \to \infty$ per $t \to T^*$. Stretta­mente più forte di ESS (2003), che mostrava solo il fallimento della limitatezza uniforme.
• 2026: annunciata perdita di regolarità forzata (Teorema 1.1 e Corollario 10.6 del manoscritto) che rivendica C e D; si veda la corrispondenza sopra.

Questo articolo fa parte di Il problema.

Se sei arrivato qui chiedendoti se qualcuno lo abbia già risolto, inizia da Il problema di Navier-Stokes è stato risolto?.

Poi esplora perché è così difficile, oppure guarda come i matematici lo hanno scomposto in sottoproblemi. Per le ragioni strutturali per cui il problema 2D è trattabile mentre il 3D rimane aperto, vedi Perché il 2D è più facile del 3D.

Questo articolo fa parte di Il problema.

Vuoi la risposta breve sul fatto che sia stato risolto? Vedi Il problema di Navier-Stokes è stato risolto? Quella pagina chiarisce anche il divario tra esistenza debole e regolarità liscia globale.

Gli ostacoli matematici sono esposti in Perché è difficile. Per una decomposizione in parti trattabili (soluzioni deboli, regolarità parziale, classificazione del blow-up), vedi Sottoproblemi. E per capire perché il caso 2D è risolto mentre il 3D no, vedi Perché il 2D è più facile del 3D.