Il problema di Navier-Stokes

Il problema di Navier–Stokes chiede se le equazioni del moto dei fluidi si comportino sempre bene in tre dimensioni: partendo da un flusso liscio con energia finita, la soluzione resta liscia per tutti i tempi, oppure la velocità può diventare infinita dopo un tempo finito? La versione del Premio del Millennio di Clay accetta sia una dimostrazione di regolarità globale senza forzante esterna sia un esempio di perdita di regolarità, in cui si può scegliere anche una forzante liscia a decadimento rapido.

Lo stato in breve: a settembre 2026 OpenAI ha annunciato una dimostrazione dell’alternativa di perdita di regolarità con una forzante di questo tipo, e Clay ha affermato che il problema «sembra essere stato risolto», con una valutazione deliberatamente senza fretta. Non si sa ancora se i flussi senza forzante restino sempre lisci. La spiegazione datata dello stato illustra che cosa è stato affermato e come viene valutato.

Questa pagina è la mappa: qual è la domanda, che cosa è stato dimostrato, perché resiste alla dimostrazione e dove proseguire la lettura.

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

Il problema di esistenza e regolarità di Navier-Stokes chiede se, per ogni dato iniziale sufficientemente liscio e a divergenza nulla $u_0 \in C^\infty(\mathbb{R}^3)$ con decadimento adeguato e $f \equiv 0$, il sistema di Navier-Stokes incomprimibile ammetta una soluzione $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$ con energia limitata (e l’analoga questione periodica su $\mathbb{T}^3$). La formulazione di Clay accetta anche un esempio di perdita di regolarità in cui è consentita una forzante liscia ammissibile.

Lo stato in breve: il manoscritto di settembre 2026 rivendica le alternative di perdita di regolarità forzata, C su $\mathbb{R}^3$ (Teorema 1.1) e D su $\mathbb{T}^3$ (Corollario 10.6); Clay ha affermato che il problema «sembra essere stato risolto», con una valutazione deliberatamente senza fretta. Il caso $f\equiv0$ non è deciso da questa affermazione. Dettagli: stato datato e fonti.

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

Irrisolto non significa inesplorato. Quasi un secolo di profondo lavoro matematico ha mappato il territorio e rivelato esattamente dove sta la difficoltà e perché non cede agli strumenti di cui disponiamo:

• Le soluzioni deboli esistono globalmente (Leray, 1934). Se si allenta la nozione di «soluzione» per ammettere un comportamento irregolare, mediato, le soluzioni esistono per tutti i tempi. Che restino lisce senza forzante, nessuno l’ha dimostrato. Di più sugli approcci →
• Il caso 2D è risolto. In due dimensioni esistono sempre soluzioni regolari globali, ma tre dimensioni sono un animale completamente diverso. Perché il 3D è più difficile →
• Le singolarità, se esistono, sono rare (CKN, 1982). Caffarelli, Kohn e Nirenberg hanno dimostrato che l'insieme delle possibili singolarità ha misura di Hausdorff parabolica unidimensionale nulla. Sottoproblemi e risultati parziali →
• Le soluzioni regolari esistono per breve tempo. Partendo da dati regolari si ottiene una soluzione regolare unica su un certo intervallo di tempo, ma se tale intervallo possa sempre essere esteso all'infinito è esattamente ciò che non si sa.
• La formulazione precisa fu stabilita da Charles Fefferman per il Clay Mathematics Institute. Leggi l'enunciato del Problema del Millennio →

I seguenti risultati costituiscono i principali progressi parziali:

• Leray (1934): per $u_0 \in L^2(\mathbb{R}^3)$ esistono soluzioni deboli globali (oggi dette soluzioni di Leray-Hopf) che soddisfano la disuguaglianza dell’energia. Per $f\equiv0$ unicità e regolarità di queste soluzioni restano aperte; con una forzante scelta opportunamente, la non unicità è stata dimostrata. Approcci →
• Regolarità globale in 2D: in due dimensioni l’esistenza globale e l’unicità di soluzioni lisce sono note da tempo; l’enunciato di Clay cita la monografia di Ladyzhenskaya del 1969. La chiave è che in 2D l’enstrofia è controllata. Perché il 3D è diverso →
• CKN (1982): Caffarelli, Kohn e Nirenberg hanno dimostrato che la misura di Hausdorff parabolica unidimensionale dell'insieme singolare di qualsiasi soluzione debole adatta è zero. Sottoproblemi →
• Esistenza locale: Per dati sufficientemente regolari, esistono soluzioni regolari locali uniche; in spazi critici come $\dot{H}^{1/2}$, si ha buona posizione locale nel quadro delle soluzioni mild. La questione aperta è se queste soluzioni possano sempre essere continuate per ogni tempo.
• Formulazione Clay (2000): L'enunciato del problema di Fefferman specifica gli spazi funzionali esatti, le condizioni di decadimento e che cosa costituisce una dimostrazione o confutazione valida. Il Problema del Millennio →

Ecco la difficoltà centrale. Il moto stesso di un fluido può spingere l’attività verso scale sempre più piccole più rapidamente di quanto le stime attuali riescano a controllare. Per i flussi tridimensionali senza forzante esterna, le stime note non sono abbastanza forti da escluderlo, e nessuno ha mostrato che accada. (La costruzione del 2026 afferma che può accadere quando si applica una forzante liscia.)

Non è una questione di ingegno. Non è una questione di potenza di calcolo. Le stime note non bastano, e quella tensione fra concentrazione e dissipazione è il motivo per cui risolvere la domanda senza forzante richiede idee nuove.

Supercriticità, divario di scala, perché la turbolenza 3D è fondamentalmente diversa: per la storia completa, vedi Perché il problema di Navier-Stokes è così difficile.

Le equazioni di Navier-Stokes 3D sono supercritiche rispetto alla stima di energia naturale: la norma $L^2$ è controllata, ma la regolarità critica per scala si trova a $\dot{H}^{1/2}$, che non è propagata dalla sola disuguaglianza di energia. Il termine non lineare $(u \cdot \nabla)u$ può in linea di principio trasferire energia a scale arbitrariamente fini più rapidamente di quanto il Laplaciano la dissipi.

Questo è l’ostacolo analitico essenziale; per $f\equiv0$ nessuna tecnica esistente colma il divario. Per una trattazione dettagliata, si veda Perché è difficile.

Nel 2000 il Clay Mathematics Institute ha inserito questa questione di regolarità fra i sette Problemi del Premio del Millennio, offrendo 1.000.000 di dollari per una soluzione riconosciuta secondo le sue regole. L’enunciato ufficiale accetta una qualsiasi fra quattro alternative: regolarità globale senza forzante, oppure perdita di regolarità con una forzante liscia ammissibile consentita, ciascuna su tutto lo spazio o in una scatola periodica. Questa panoramica spiega perché quella domanda da premio conta nel suo contesto.

Per la formulazione esatta, si legga l’enunciato ufficiale del problema, spiegato. Per sapere a che punto sono le cose adesso, si veda lo stato attuale (fonti verificate il 2026-09-29).

Il Clay Mathematics Institute ha incluso questa questione di regolarità nella sua lista dei Problemi del Premio del Millennio del 2000. La formulazione, scritta da C. Fefferman, è posta su $\mathbb{R}^3$ e $\mathbb{T}^3$ e accetta o una dimostrazione di esistenza liscia globale con $f\equiv0$ (A, B) o una costruzione di perdita di regolarità in cui si può scegliere una forzante liscia ammissibile (C, D).

Si legga l’enunciato ufficiale del problema, spiegato, oppure si consulti lo stato attuale (fonti verificate il 2026-09-29).

Questa pagina è una mappa. Scegli la domanda da cui sei partito:

• È risolto? L’annuncio di settembre 2026, la risposta di Clay e che cosa resta aperto.
• Che cosa chiede esattamente Clay? L’enunciato ufficiale, le sue quattro alternative e le loro condizioni.
• Perché è difficile? Supercriticità, turbolenza e il divario di scaling.
• Perché il 2D è più facile? Lo stiramento dei vortici e che cosa compromette in tre dimensioni.
• Che cos’è una soluzione debole? Soluzioni deboli, forti e lisce, e che cosa significa l’unicità per ciascuna.
• Che cosa è stato dimostrato? Da Leray all’affermazione del 2026.

Per trattazioni dettagliate:

• È risolto? Il teorema annunciato, la sua corrispondenza con C/D, lo stato della valutazione e le questioni rimaste.
• Il Problema del Millennio La formulazione di Fefferman, gli spazi funzionali, le condizioni (4)–(11) e che cosa costituisce una soluzione valida.
• Perché è difficile Lo scaling supercritico, il ruolo della non linearità e il divario fra controllo al livello dell’energia e regolarità.
• Perché il 2D è più facile del 3D Trasporto della vorticità, controllo dell’enstrofia e stiramento dei vortici.
• Soluzioni deboli, forti e lisce Soluzioni distribuzionali contro soluzioni di Leray–Hopf, e unicità debole-forte.
• Progressi Le tappe fondamentali e il capitolo 2026 nel suo contesto.

I matematici non si sono limitati a fissare il problema. Nel tentativo di risolverlo hanno sviluppato strumenti potenti, risultati parziali e settori dell’analisi interamente nuovi. L’affermazione del 2026 aggiunge una nuova costruzione da studiare, mentre la domanda senza forzante, l’unicità delle soluzioni deboli e i meccanismi con cui i flussi si concentrano restano ricerca attiva.

Vedi anche: Vedi i progressi finora →

Nell’ultimo secolo il problema di Navier-Stokes ha stimolato importanti sviluppi in analisi armonica, analisi funzionale e teoria geometrica della misura. Risultati di regolarità parziale, criteri condizionali di blowup (Beale-Kato-Majda, Escauriaza-Seregin-Šverák) e analisi di problemi modello continuano ad affinare la nostra comprensione di dove si trovi il confine fra regolarità e possibile singolarità. La costruzione forzata annunciata (C/D) si affianca ora a questi risultati; il caso $f\equiv0$ resta aperto.

Vedi anche: Rassegna dei progressi →