Il problema di Navier-Stokes: panoramica della domanda 3D aperta

No, non è risolto.

Questa pagina è la panoramica generale del problema. Per lo stato attuale nel 2026 e il contesto delle presunte soluzioni fallite, vedi il problema di Navier-Stokes è stato risolto?. Per la formulazione ufficiale Clay, vedi esistenza e regolarità per Navier-Stokes.

Il problema di Navier-Stokes pone una domanda ingannevolmente semplice: se si mette in moto in modo regolare un fluido 3D, esso rimane regolare per sempre? Oppure il moto può diventare così irregolare che le equazioni cessano di valere, con perdita di regolarità in tempo finito?

Nessuno lo sa.

Questo è il problema di esistenza e regolarità per Navier-Stokes, una delle questioni aperte più profonde di tutta la matematica, e ha resistito a ogni tentativo di dimostrazione da quando le equazioni presero forma nel XIX secolo. Sono state proposte soluzioni. Nessuna ha retto. Per lo stato completo, vedi È risolto?

Il problema è aperto.

Il problema di esistenza e regolarità per Navier-Stokes chiede se, per ogni dato iniziale $u_0 \in C^\infty(\mathbb{R}^3)$ sufficientemente regolare, a divergenza nulla (con opportuno decadimento) e $f \equiv 0$, il sistema di Navier-Stokes incomprimibile ammetta una soluzione $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$; in alternativa, se esistano dati regolari $u_0$ (ed eventualmente una forzante regolare $f$) per cui si formino singolarità in tempo finito.

Entrambe le direzioni sono aperte. Nessuna dimostrazione stabilisce la regolarità globale; nessuna costruzione produce blow-up in tempo finito a partire da dati regolari. Il problema è aperto fin dai lavori fondativi di Navier (1822) e Stokes (1845), e rimane uno dei problemi aperti centrali dell'analisi e della fisica matematica.

Per lo stato attuale, comprese le affermazioni pubblicate e il loro esito, vedi È risolto?

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). Rilassando la nozione di "soluzione" per ammettere comportamenti irregolari, mediati, si ottengono soluzioni per ogni tempo. Regolari? Nessuno riesce a dimostrarlo. Altro 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 chiamate soluzioni di Leray-Hopf) che soddisfano la disuguaglianza di energia. Unicità e regolarità di queste soluzioni restano aperte. Approcci →
• Regolarità globale in 2D: Ladyzhenskaya (1959) stabilì l'esistenza e l'unicità globali di soluzioni regolari in $\mathbb{R}^2$. Il punto chiave è che l'enstrofia è controllata in 2D. 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. In tre dimensioni, la matematica non ci dà controllo sufficiente per escluderlo. Ma non ci permette nemmeno di dimostrare che accada.

Non è una questione di ingegno. Non è una questione di potenza di calcolo. Gli strumenti matematici noti sono fondamentalmente insufficienti, e quella tensione tra concentrazione e dissipazione è esattamente il motivo per cui risolvere il problema richiederebbe matematica genuinamente nuova.

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, e nessuna tecnica esistente colma il divario. Per una trattazione dettagliata, vedi Perché è difficile.

Nel 2000, il Clay Mathematics Institute nominò l'esistenza e regolarità per Navier-Stokes uno dei sette Problemi del Millennio, offrendo 1.000.000 di dollari per una dimostrazione o confutazione corretta. Ventisei anni dopo, il premio non è stato assegnato.

Leggi del Problema del Millennio →

Il Clay Mathematics Institute incluse l'esistenza e regolarità per Navier-Stokes nella sua lista del 2000 dei Problemi del Millennio, con un premio di US $1,000,000. The problem statement, written by C. Fefferman, specifies two sub-problems (on $\mathbb{R}^3$ and on $\mathbb{T}^3$) e accetta sia una dimostrazione di esistenza regolare globale sia una costruzione di blow-up in tempo finito. Al 2026, nessuna soluzione è stata accettata.

La formulazione precisa del Millennio →

Questa pagina è una mappa. Il territorio è profondo. Scegli un filo:

• È risolto? No. Ecco lo stato attuale, le principali affermazioni pubblicate e le ragioni tecniche per cui sono fallite sotto l'esame degli esperti.
• Il Problema del Millennio Richieste. Precise.
• Perché è difficile Supercriticità, turbolenza e il divario di scala che impedisce a ogni approccio noto di arrivare anche solo vicino a una dimostrazione.

Per trattazioni dettagliate degli argomenti introdotti sopra:

• È risolto? Stato del problema, affermazioni pubblicate e ritirate, standard di verifica.
• Il Problema del Millennio La formulazione di Fefferman, gli spazi funzionali e che cosa costituisce una dimostrazione o un controesempio valido.
• Perché è difficile La scala supercritica, il ruolo della non linearità e il divario tra controllo a livello di energia e regolarità.

I matematici non si sono limitati a fissare il problema. Hanno sviluppato strumenti potenti, risultati parziali e campi dell’analisi del tutto nuovi nel tentativo di risolverlo. Il lavoro continua.

Vedi i progressi finora →

Il problema di Navier-Stokes ha guidato importanti sviluppi nell’analisi armonica, nell’analisi funzionale e nella teoria geometrica della misura nel corso dell’ultimo secolo. Risultati di regolarità parziale, criteri condizionali di blow-up (Beale-Kato-Majda, Escauriaza-Seregin-Šverák) e analisi di problemi modello continuano ad affinare la nostra comprensione di dove si trovi il confine tra regolarità e potenziale singolarità.

Rassegna dei progressi →