Enunciato Clay di Navier-Stokes: criteri ufficiali spiegati

La regolarità globale di Navier–Stokes 3D senza forzante resta aperta: la costruzione forzata annunciata non la risolve. Nella discussione tecnica seguente, le questioni aperte di regolarità e unicità riguardano il sistema senza forzante, salvo esplicita indicazione di un altro contesto.

Stato delle fonti riesaminato il 2026-09-12 (JST). L’8 settembre OpenAI ha annunciato un blowup in tempo finito per Navier–Stokes incomprimibile 3D con forzante liscia, dichiarando di risolvere le alternative C e D di Clay, con un manoscritto e una formalizzazione Lean. L’11 settembre Clay ha affermato che il problema «sembra essere stato risolto»; la valutazione e l’attribuzione dei meriti procederanno deliberatamente senza fretta. Non si tratta dell’assegnazione del premio né di una nostra verifica della dimostrazione.

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

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.

Vedi anche: il problema di Navier-Stokes è stato risolto?

La regolarità globale di Navier–Stokes 3D senza forzante resta aperta: la costruzione forzata annunciata non la risolve. Nella discussione tecnica seguente, le questioni aperte di regolarità e unicità riguardano il sistema senza forzante, salvo esplicita indicazione di un altro contesto.

Stato delle fonti riesaminato il 2026-09-12 (JST). L’8 settembre OpenAI ha annunciato un blowup in tempo finito per Navier–Stokes incomprimibile 3D con forzante liscia, dichiarando di risolvere le alternative C e D di Clay, con un manoscritto e una formalizzazione Lean. L’11 settembre Clay ha affermato che il problema «sembra essere stato risolto»; la valutazione e l’attribuzione dei meriti procederanno deliberatamente senza fretta. Non si tratta dell’assegnazione del premio né di una nostra verifica della dimostrazione.

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

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 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.

Per vincere il premio, una dimostrazione deve rientrare in uno di due casi:

1. Regolarità globale: mostrare che ogni flusso iniziale liscio ammissibile resta liscio per tutti i tempi futuri.
2. Rottura: esibire una configurazione iniziale liscia ammissibile per cui una soluzione globalmente liscia non può esistere.

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.

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.

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.

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.$$

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.
• Settembre 2026: OpenAI annuncia blowup 3D con forzante liscia (Clay C/D); Clay riconosce un’apparente soluzione. Valutazione e premio restano distinti.

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 posizione locale per dati piccoli in $\mathrm{BMO}^{-1}$. Questo è il più grande spazio critico in cui sia nota la buona posizione.
• 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.

Settembre 2026: OpenAI annuncia blowup 3D con forzante liscia (Clay C/D); Clay riconosce un’apparente soluzione. Valutazione e premio restano distinti.

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.