Equazioni di Navier-Stokes: che cosa significano e perché sono difficili
Le equazioni di Navier-Stokes descrivono il moto dei fluidi mettendo in relazione velocità, pressione, densità, viscosità e forze esterne. Sono, in sostanza, l’applicazione della seconda legge di Newton a un fluido considerato come un mezzo continuo: la massa per l’accelerazione deve essere uguale alla somma delle forze che agiscono sul fluido.
Queste equazioni sono utilizzate per studiare fenomeni molto diversi, dal flusso dell’acqua in un tubo al movimento dell’aria intorno a un veicolo.
Non esiste però una sola formulazione valida senza condizioni: la forma dell’equazione dipende, per esempio, dal fatto che il fluido sia comprimibile o incomprimibile e dal modo in cui la viscosità viene modellata.
La versione più direttamente collegata al problema del Clay Mathematics Institute riguarda un fluido newtoniano, incomprimibile, con densità e viscosità costanti. È anche la forma più utile per una prima introduzione alle equazioni di Navier-Stokes.
La forma dell’equazione del moto
Per un fluido incomprimibile e newtoniano, l’equazione della quantità di moto può essere scritta così: ρ[∂u/∂t + (u · ∇)u] = −∇p + μ∇²u + fᵥ.
A questa relazione si aggiunge il vincolo di incomprimibilità: ∇ · u = 0.
I simboli principali sono:
- u(x,t): campo vettoriale della velocità, espresso in m/s
- p(x,t): pressione, espressa in pascal
- ρ: densità del fluido, espressa in kg/m³
- μ: viscosità dinamica, espressa in Pa·s
- fᵥ: forza esterna per unità di volume, espressa in N/m³
- x: posizione nello spazio
- t: tempo
Un campo vettoriale associa a ogni punto dello spazio una velocità dotata di intensità e direzione. In tre dimensioni, quindi, u possiede tre componenti. Anche gli operatori matematici hanno un significato preciso:
- ∇p è il gradiente della pressione e indica in quale direzione questa varia più rapidamente
- ∇ · u è la divergenza della velocità e misura l’espansione o la contrazione locale del flusso
- ∇²u è il laplaciano della velocità e coinvolge le sue derivate spaziali seconde
Che cosa significa ogni termine
| Termine | Significato matematico e fisico |
|---|---|
| ρ ∂u/∂t | Descrive la variazione della velocità nel tempo osservata in un punto fisso dello spazio. È l’accelerazione locale moltiplicata per la densità. |
| ρ(u · ∇)u | Rappresenta la variazione di velocità dovuta allo spostamento del fluido da una zona all’altra. È chiamata accelerazione convettiva. |
| −∇p | È la forza di pressione per unità di volume. Un gradiente di pressione può mettere in moto o rallentare il fluido. |
| μ∇²u | Modella la diffusione viscosa della quantità di moto e tende a smorzare differenze di velocità molto marcate. |
| fᵥ | Raccoglie le forze distribuite nel volume, come la gravità. In quel caso si può scrivere fᵥ = ρg. |
La somma ∂u/∂t + (u · ∇)u è la derivata materiale della velocità: misura l’accelerazione sperimentata da una particella fluida mentre si muove.
Il termine convettivo rende le equazioni non lineari, perché la velocità u moltiplica le proprie derivate spaziali. Questa caratteristica è una delle principali origini della difficoltà matematica.
Nella forma appena scritta, tutti i termini hanno le dimensioni di una forza per unità di volume, cioè N/m³. Dividendo l’intera equazione per la densità si ottiene invece: ∂u/∂t + (u · ∇)u = −(1/ρ)∇p + ν∇²u + b.
Qui ν = μ/ρ è la viscosità cinematica, espressa in m²/s, mentre b rappresenta una forza per unità di massa e ha le dimensioni di un’accelerazione. In questa seconda forma tutti i termini sono espressi in m/s².
È importante non confondere μ e ν e non mescolare una forza per unità di volume con una forza per unità di massa. Nella letteratura matematica, inoltre, il fattore 1/ρ viene spesso incorporato nella definizione della pressione.
Perché la pressione è importante
Non è il valore assoluto della pressione a produrre un’accelerazione, ma la sua variazione nello spazio. Una pressione uniforme esercita forze che si compensano localmente, mentre un gradiente di pressione genera una forza netta.
In assenza di altri effetti, il fluido tende ad accelerare dalle zone a pressione maggiore verso quelle a pressione minore. La viscosità, le forze esterne e le condizioni imposte alle pareti possono però modificare il risultato.
Nel modello incomprimibile la pressione svolge anche un ruolo matematico essenziale: si adatta in modo da far rispettare il vincolo ∇ · u = 0.
Non è quindi soltanto un dato assegnato dall’esterno. In molti problemi viene determinata insieme alla velocità ed è definita a meno di una costante, salvo che siano imposte condizioni di pressione specifiche.
Un esempio semplice è quello di un fluido fermo.
Ponendo u = 0, l’equazione diventa: ∇p = fᵥ
Se l’unica forza esterna è la gravità, la pressione può variare con la quota senza mettere in moto il fluido. Con un asse verticale orientato verso l’alto si ottiene la relazione idrostatica dp/dz = −ρg.
Perché conta la viscosità
La viscosità misura la resistenza interna del fluido alla deformazione e allo scorrimento relativo tra strati vicini. Nel modello newtoniano lo sforzo viscoso è proporzionale al gradiente di velocità.
Per densità e viscosità costanti, questo effetto conduce al termine μ∇²u.
Il laplaciano tende a diffondere la quantità di moto dalle regioni con velocità maggiore verso quelle con velocità minore, rendendo il campo di moto più regolare.
Se la viscosità viene posta uguale a zero, si passa alle equazioni di Eulero per un fluido ideale. Questa semplificazione può essere utile, ma elimina fenomeni importanti come la dissipazione viscosa e il comportamento degli strati di fluido vicini alle pareti.
Nei fluidi viscosi si utilizza spesso la condizione di non slittamento: la velocità del fluido a contatto con una parete solida coincide con quella della parete. Questa condizione è decisiva per descrivere tubazioni, profili aerodinamici e strati limite.
Incomprimibilità ed equazione di continuità
La conservazione generale della massa è espressa dall’equazione di continuità:
∂ρ/∂t + ∇ · (ρu) = 0
Se la densità è costante, questa relazione si riduce a ∇ · u = 0.
Il vincolo afferma che il volume di una porzione di fluido non si espande e non si contrae localmente.
Molti liquidi possono essere approssimati come incomprimibili. Anche l’aria può essere trattata in questo modo quando le variazioni di densità sono piccole, per esempio in numerosi flussi a velocità molto inferiore a quella del suono. L’approssimazione non è invece adatta a tutti i gas o ai fenomeni con forti compressioni.
Le equazioni, da sole, non determinano una soluzione unica. Occorre specificare anche:
- la velocità iniziale del fluido
- la geometria del dominio
- le condizioni imposte alle pareti
- eventuali valori di pressione, velocità o sforzo agli ingressi e alle uscite
- le forze esterne applicate
Prima di risolvere un esercizio bisogna quindi distinguere sempre equazione, dati iniziali e condizioni al contorno.
Un esempio: pressione e viscosità in un tubo
La legge di Poiseuille mostra in modo concreto come pressione e viscosità intervengano nel moto.
Per un fluido newtoniano che scorre in regime laminare e stazionario all’interno di un tubo cilindrico sufficientemente lungo, la portata è:
Q = πR⁴Δp/(8μL)
La differenza di pressione Δp spinge il fluido, mentre la viscosità μ si oppone al moto. La portata cresce con la quarta potenza del raggio R: raddoppiare il raggio moltiplica idealmente la portata per 16.
Questa relazione non è una formula universale.
Richiede un tubo cilindrico, un fluido newtoniano, condizioni di non slittamento, un moto laminare e un flusso completamente sviluppato.
La legge di Poiseuille è quindi una soluzione particolare delle equazioni di Navier-Stokes, ottenuta imponendo ipotesi precise.
Dove nasce la difficoltà matematica
Il punto più delicato è il termine non lineare (u · ∇)u.
Il fluido trasporta la propria velocità e può trasferire energia tra strutture di dimensioni differenti. La viscosità tende invece a smorzare le variazioni attraverso la diffusione della quantità di moto.
In tre dimensioni anche l’allungamento dei vortici rende difficile ottenere stime valide per ogni istante.
Per dati iniziali sufficientemente regolari è possibile dimostrare l’esistenza di soluzioni regolari almeno per un intervallo di tempo limitato. Non è però noto se tali soluzioni rimangano sempre regolari per ogni dato iniziale ammesso.
Una singolarità non deve essere interpretata soltanto come una velocità che diventa letteralmente infinita. Può consistere nella perdita della regolarità richiesta, per esempio attraverso la crescita incontrollata di determinate derivate o norme matematiche.
La situazione è diversa in due dimensioni, dove la regolarità globale del problema incomprimibile è nota. La questione aperta riguarda il caso tridimensionale.
Nel 1934 Jean Leray dimostrò l’esistenza globale di soluzioni deboli per il problema tridimensionale.
Le soluzioni deboli soddisfano le equazioni in un senso meno restrittivo, ma questo risultato non risolve in generale i problemi della regolarità e dell’unicità delle soluzioni di Leray-Hopf.
Il legame con il problema del Clay Mathematics Institute
Nel 2000 il Clay Mathematics Institute incluse l’esistenza e la regolarità delle equazioni di Navier-Stokes tra i sette Millennium Prize Problems, associando al problema un premio di un milione di dollari.
La formulazione riguarda le equazioni incomprimibili in tre dimensioni, con viscosità positiva e dati iniziali lisci a divergenza nulla. I domini considerati sono lo spazio intero ℝ³ e lo spazio periodico tridimensionale, spesso indicato con T³ o ℝ³/ℤ³.
In termini intuitivi, bisogna percorrere una delle due strade previste dalla formulazione ufficiale:
- dimostrare che, per tutti i dati iniziali ammessi, esiste una soluzione liscia per ogni tempo
- costruire un esempio rigoroso in cui una soluzione globale liscia non possa esistere
Il documento ufficiale presenta quattro formulazioni, indicate con A, B, C e D, distinguendo il dominio spaziale e il tipo di risultato richiesto.
Le alternative di breakdown includono condizioni precise anche sull’eventuale forza esterna. Per valutare una proposta non basta quindi affermare che è stata trovata una singolarità: occorre verificare che equazione, dominio, dati e forza rispettino esattamente le ipotesi del problema.
Il problema non chiede di calcolare numericamente un particolare flusso e non coincide con la spiegazione generale della turbolenza.
Una simulazione può fornire risultati molto accurati per dati specifici, ma lavora su griglie finite e intervalli temporali limitati. Non può sostituire una dimostrazione valida per tutti i dati ammessi.
Lo stato della ricerca nel 2026
Alla data di aggiornamento del 30 settembre 2026, la scheda ufficiale del Clay Mathematics Institute continua a presentare il problema di Navier-Stokes come irrisolto. Non esiste quindi una soluzione formalmente riconosciuta e premiata dal CMI.
Le affermazioni relative a una presunta prova annunciata da OpenAI nel settembre 2026 e a una successiva dichiarazione del CMI secondo cui il problema sarebbe stato apparentemente risolto non sono accompagnate da fonti istituzionali verificabili e non devono essere presentate come fatti acquisiti.
In ogni caso, l’annuncio di una prova, la pubblicazione di un preprint o la disponibilità di una formalizzazione informatica non modificano automaticamente lo stato del problema.
Secondo il regolamento dei Millennium Prize Problems, una proposta deve essere pubblicata in una sede qualificata, devono trascorrere almeno due anni dalla pubblicazione e il risultato deve ottenere un’accettazione generale nella comunità matematica.
Il CMI non accetta direttamente manoscritti inviati come candidature al premio e conserva la decisione finale.
Anche una verifica eseguita con software come Lean deve essere interpretata correttamente.
Un verificatore formale può controllare la coerenza dei passaggi codificati rispetto ad assiomi e definizioni, ma occorre ancora accertare che la formalizzazione corrisponda esattamente al problema ufficiale e che non utilizzi ipotesi aggiuntive. Una formalizzazione non equivale, da sola, al riconoscimento del premio.
Per gli aggiornamenti sullo stato della ricerca è quindi opportuno utilizzare come fonte primaria il Clay Mathematics Institute, distinguendo sempre tra proposta, verifica indipendente, accettazione scientifica e riconoscimento formale.
Un metodo pratico per studiare le equazioni di Navier-Stokes
Per affrontare le equazioni di Navier-Stokes conviene procedere in un ordine preciso:
- Identifica il modello.
Verifica se il fluido è comprimibile o incomprimibile, newtoniano o non newtoniano, stazionario o variabile nel tempo. - Elenca le incognite.
In genere sono la velocità u e la pressione p, ma nei problemi comprimibili possono comparire anche densità e temperatura. - Interpreta ogni termine.
Distingui accelerazione locale, convezione, pressione, viscosità e forze esterne. - Controlla le unità di misura.
Tutti i termini devono essere espressi come forze per unità di volume oppure come accelerazioni, a seconda della forma utilizzata. - Scrivi dati iniziali e condizioni al contorno.
Senza queste informazioni il problema matematico non è completo. - Prova un caso semplice.
Un fluido fermo, un flusso unidirezionale o un moto stazionario possono aiutare a verificare segni e ipotesi.
Questa sequenza è utile soprattutto negli esercizi. Una guida sulla meccanica dei fluidi può aiutare a ripassare pressione, portata, continuità e bilanci energetici prima di affrontare il sistema completo.
Bernoulli, Poiseuille e numero di Reynolds
Le equazioni di Navier-Stokes comprendono numerosi modelli semplificati, ma ciascuno richiede ipotesi specifiche.
Il teorema di Bernoulli esprime, nella sua forma elementare, un bilancio meccanico lungo una linea di corrente per un moto stazionario e privo di dissipazione viscosa. Non deve essere applicato automaticamente a qualsiasi flusso reale.
La legge di Poiseuille descrive invece un flusso viscoso laminare in un tubo e mette direttamente in relazione portata, differenza di pressione, viscosità e geometria.
Il numero di Reynolds è definito, in una forma tipica, da: Re = ρUL/μ = UL/ν
Questo parametro confronta gli effetti inerziali con quelli viscosi.
Valori bassi indicano in genere una maggiore importanza relativa della viscosità, mentre valori elevati rendono più rilevanti gli effetti dell’inerzia. Le soglie di transizione non sono però universali: dipendono dalla geometria, dalle perturbazioni e dalle condizioni del problema.
Bernoulli, Poiseuille e il numero di Reynolds aiutano a interpretare specifici regimi di moto, ma non risolvono il problema matematico generale delle equazioni tridimensionali.
La lezione oltre la formula
Le equazioni di Navier-Stokes mostrano come una formula compatta possa descrivere fenomeni fisici molto diversi e, allo stesso tempo, nascondere un problema matematico ancora aperto.
La pressione produce forze attraverso il proprio gradiente, la viscosità diffonde la quantità di moto e smorza le variazioni della velocità, mentre il termine convettivo rende il sistema non lineare.
Il vincolo ∇ · u = 0 garantisce la conservazione locale del volume nel modello incomprimibile.
Per comprendere davvero l’equazione non basta memorizzarla. Bisogna riconoscere il significato fisico di ogni termine, controllare le unità di misura, verificare le ipotesi del modello e distinguere una soluzione numerica o particolare da una dimostrazione matematica generale.
