Il problema di Navier-Stokes

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.

Vedi anche: il problema di Navier-Stokes è stato risolto? · esistenza e regolarità per Navier-Stokes · È 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.

Vedi anche: È risolto?

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 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 ammissibili (ed eventualmente una forzante regolare ammessa) per cui si formino singolarità in tempo finito.

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ò questa questione di regolarità uno dei sette Problemi del Millennio, offrendo 1.000.000 di dollari per una dimostrazione o confutazione corretta. Questa panoramica spiega perché quella domanda da premio conta nel suo contesto.

Per la formulazione esatta, leggi l'enunciato ufficiale del problema, spiegato. Per la situazione attuale, vedi lo stato corrente (2026-09-12 (JST)).

Il Clay Mathematics Institute incluse questa questione di regolarità nella sua lista del 2000 dei Problemi del Millennio. L'enunciato, scritto da C. Fefferman, è posto su $\mathbb{R}^3$ e $\mathbb{T}^3$ e accetta sia una dimostrazione di esistenza regolare globale sia una costruzione di rottura in tempo finito sotto le alternative accettate.

Leggi l'enunciato ufficiale del problema, spiegato, oppure controlla lo stato corrente (2026-09-12 (JST)).

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

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

Vedi anche: Rassegna dei progressi →