Navier-Stokes spiegato: equazioni, Premio Clay e stato

Le equazioni di Navier-Stokes sono un sistema di equazioni alle derivate parziali che descrive il moto dei fluidi viscosi come l’acqua e l’aria. Bilanciano l’inerzia di un fluido con la pressione, la viscosità e le forze esterne, e si usano per ogni cosa, dalla progettazione degli aerei e dal flusso nelle condotte fino alle previsioni meteorologiche e al flusso sanguigno.

La celebre domanda aperta è che cosa prevedano queste equazioni in tre dimensioni. Partendo da un flusso liscio a energia finita, la soluzione resta liscia per sempre, oppure la velocità può diventare infinita dopo un tempo finito? L’enunciato ufficiale di Clay accetta una qualsiasi fra quattro risposte: una dimostrazione che ogni stato iniziale liscio resta liscio in assenza di forzante esterna, su tutto lo spazio (A) o in una scatola periodica (B), oppure un esempio di perdita di regolarità in uno dei due contesti, in cui si può scegliere anche una forzante esterna liscia a decadimento rapido (C e D). In due dimensioni è noto che le soluzioni lisce durano per sempre; senza forzante, la domanda in 3D è ancora aperta.

Le condizioni esatte sono spiegate nell’enunciato ufficiale del problema di Clay, spiegato, e il secolo di risultati che vi sta dietro in Progressi sul problema di Navier-Stokes.

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.

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

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

Questo sito è incentrato sul problema della regolarità globale per Navier-Stokes incomprimibile in 3D su $\mathbb{R}^3$ o $\mathbb{T}^3$: per dati iniziali lisci a divergenza nulla che soddisfano le condizioni ufficiali di decadimento (o di periodicità) e $f\equiv0$, esiste una soluzione liscia per ogni $t\ge0$, con energia limitata su $\mathbb{R}^3$? La formulazione di Clay accetta una dimostrazione di esistenza globale (A su $\mathbb{R}^3$, B su $\mathbb{T}^3$, entrambe con $f\equiv0$) oppure un esempio di perdita di regolarità in cui si può scegliere anche una forzante liscia che soddisfi le condizioni ufficiali di decadimento (C, D). L’analogo 2D è risolto da tempo; per $f\equiv0$ la domanda in 3D resta aperta.

Condizioni formali: l’enunciato ufficiale di Clay, spiegato. Risultati e metodi: Progressi.

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.

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