arXiv 2503.01800 (Deng-Hani-Ma, 2025). Il documento percorre completamente, su superfici toroidali a 2 e 3 dimensioni, il percorso tracciato a mano da Hilbert nel 1900 che va “dalle particelle newtoniane alle equazioni idrodinamiche”. I due collaboratori sono Hani e Ma, dell’Università del Michigan. Questo articolo è un’interpretazione approfondita dal punto di vista di un ingegnere, non una traduzione di un abstract.

1. Perché questa cosa è importante? Non si tratta di un altro grande saggio.

Nel 1900, a Parigi, durante il Congresso internazionale dei matematici, Hilbert ha proposto ventitré problemi. Il sesto problema ha messo in evidenza la “teoria della probabilità” e la “meccanica”, ponendole come protagoniste. La parte relativa alla probabilità è stata risolta nella prima metà del XX secolo, mentre quella riguardante la meccanica - “dall’ottica atomistica alle equazioni dei mezzi continui” - è rimasta irrisolta per 125 anni.

Nel documento, questo percorso è rappresentato da un famoso diagramma a forma di scatola (Figura 1 del documento). A sinistra c’è la meccanica newtoniana, al centro l’equazione di Boltzmann e a destra le equazioni idrodinamiche (Euler / Navier-Stokes / Fourier). Da sinistra a destra ci sono due fasi, che i matematici chiamano rispettivamente limite di Boltzmann-Grad e limite idrodinamico. È necessario superare entrambe le fasi e mantenerle contemporaneamente per un lungo periodo di tempo: questa è la difficoltà centrale del sesto problema di Hilbert.

Il 23 luglio 2026, l’autore principale dell’articolo, Deng Yu, ha ricevuto il Fields Medal all’ICM di Filadelfia, e una delle ragioni del premio è stata proprio questa ricerca. I due collaboratori dell’Università del Michigan, Zaher Hani e Xiao Ma, sono gli altri due autori. Questa non è la prima volta che il team lavora su questa ricerca: il loro lavoro precedente del 2024, di 192 pagine [26] (arXiv 2408.07818), aveva già dimostrato la prima parte della teoria nello spazio infinito. Il lavoro attuale di 49 pagine, 2503.01800, è la conclusione: trasferisce la versione dello spazio infinito del lavoro precedente su una superficie toroidale e aggiunge la seconda parte della teoria, completando l’intero progetto.

Definisco il tema della tesi con una frase:Partendo dalla collisione elastica di una serie di sfere rigide, deduco rigorosamente le equazioni di Euler compressibili e le equazioni di Navier-Stokes-Fourier incompressibili, coprendo l’intera durata della soluzione di Boltzmann nell’intervallo di tempo.“Rigoroso” e “a lungo termine” sono due parole chiave che verranno ripetute nel seguito del testo.

II. Che cosa sta realmente risolvendo questa serie di deduzioni?

Il saggio divide l’obiettivo in tre teoremi.

IlTeorema 1è il fondamento di tutto il lavoro: su una superficie toroidale di 2 o 3 dimensioni T超级, consideriamo N sfere rigide di diametro ε, che obbediscono alla legge di scala di Boltzmann-Grad α = Nε超级⁻¹ fissa. Quando ε tende a 0 (mentre N aumenta), la funzione di correlazione di un singolo particello f₁(t, x, v) converge verso la soluzione dell’equazione di Boltzmann. La restrizione fondamentale del lavoro è che la finestra temporale t_fin sia compressa su una scala logaritmica doppia:

Spiegazione intuitiva: quanto più piccole sono le particelle e quanto più aggressivo è il tasso di collisioni, tanto più lungo sarà il periodo di tempo necessario per dedurre la soluzione di Boltzmann. Il lavoro precedente 2408.07818 ha esteso il periodo di tempo fino alla scala della radice quadrata del logaritmo doppio, che è la lunghezza “appena sufficiente” che questo metodo attuale è in grado di fornire.

Teorema 2Applichiamo il Teorema 1 alle equazioni di Navier-Stokes-Fourier incomprimibili. La procedura specifica è la linea di limitazione idrodinamica di Gallagher-Tristani del 2020, in combinazione con la finestra temporale del Teorema 1 nel primo gradino. Conclusione: quando ε → 0, e poi la frequenza di collisione α = δ⁻¹ → ∞, la densità macroscopica ρ e la velocità u convergono verso la soluzione di Navier-Stokes-Fourier, con una velocità di convergenza δ^(3/2).

IlTeorema 3è la controparte del Teorema 2, che sostituisce il limite idrodinamico con il limite Euler compressibile di Caflisch del 1980 (esteso successivamente da Guo-Jang-Jiang e Jiang-Luo-Tang). Il trio composto da densità macroscopica ρ, velocità u e temperatura T converge verso la soluzione di Euler con un tasso δ, nel limite di un doppio nido di funzioni.

Insieme,il Teorema 1 spinge la sfera rigida verso Boltzmann, il Teorema 2/3 spinge Boltzmann verso il fluido. Entrambi i passaggi vengono superati in un lasso di tempo limitato e tutti i compiti del Sesto Problema di Hilbert sul percorso di Boltzmann si concludono su una superficie a 2/3 dimensioni.

III. Per comprendere l’equazione della palla rigida, sono necessari solo tre concetti.

Questa parte è destinata agli “ingegneri che leggono articoli scientifici”, e non si intende ripetere i dettagli della combinatoria. Iniziamo prima con l’impostare la struttura matematica del problema delle palline rigide.

Concetto 1: Ensemble grand-canonico

Per dimostrare il teorema di Boltzmann non basta fornire solo la dinamica, ma è necessario anche assegnare una legge di probabilità ai dati iniziali. Il lavoro si basa sull’ensemble canonico esteso introdotto da Cercignani nel 1972: il numero totale di particelle è una variabile casuale che segue una distribuzione di tipo Poisson. Il numero medio di particelle E(N) ≈ α·ε^(−(d−1)), che dipende dal diametro delle particelle ε e dal tasso di collisione α, è noto come legge di scala di Boltzmann-Grad. Per fare un paragone intuitivo: se si gettano palline all’interno di una stanza in modo casuale, il numero di getti, la dimensione delle palline e il tasso di collisione aumentano o diminuiscono proporzionalmente. Questa configurazione è invariante su scala nel limite di Boltzmann-Grad.

Concetto 2: regole per le collisioni di palline rigide

Ogni palla corre in linea retta a velocità costante e uniforme, con posizioni consecutive e velocità che consentono variazioni. Nel momento in cui le due palline si incontrano a una distanza pari al loro diametro, la componente di velocità lungo la linea che le unisce si riflette, mentre quella perpendicolare rimane invariata. Questa è la regola degli scontri elastici scritta dai fisici centinaia di anni fa, che qui viene semplicemente scritta in modo più rigoroso.

Concetto 3: l’equazione di Boltzmann in sé

Si tratta di un’equazione statistica che descrive come la densità di singole particelle n(t, x, v) varia nel tempo. Da un lato, le particelle vengono trascinate dal flusso, dall’altro, vengono disturbate dalle collisioni:

L’operatore di collisione Q è il nucleo: due particelle arrivano, dopo la collisione si trasformano in due nuovi insiemi di direzioni e si calcola la differenza di probabilità tra questi due insiemi di direzioni. Nel 1872, Boltzmann scrisse questa equazione in un lungo articolo, la cui versione su un toro è fornita dal teorema 1.4 del documento, con un nucleo di collisione di sfera rigida.

Mettere insieme questi tre concetti, si ottiene l’input e l’output “Sistema di palline rigide → Equazione di Boltzmann”. La domanda rimanente è: in un sistema multi-particella, nel limite di Boltzmann-Grad, la funzione di correlazione di un singolo particello si avvicina davvero alla soluzione di Boltzmann? Questa è la domanda a cui risponde il Teorema 1.

4. La vera difficoltà della dimostrazione del Teorema 1: i due nuovi problemi causati dalla topologia del toro

La dimostrazione del Teorema 1 segue per la maggior parte la versione precedente del lavoro 2408.07818 nello spazio infinito Rxd. Tuttavia, sulla superficie toroidale Txd ci sono due nuovi problemi, e queste due sezioni rappresentano le idee nuove e più difficili del documento.

Problema 1: la stessa coppia di particelle può scontrarsi due o più volte (legame doppio)

Nello spazio infinito, una volta che due particelle si incrociano, si allontanano e si incontrano al massimo una volta. Sulla superficie, le particelle possono incontrarsi di nuovo dopo essere tornate indietro. L’autore afferma nella Proposizione 3.2 (4): se due particelle hanno una velocità relativa v - v’ quasi parallela a un vettore intero non nullo m ≠ 0, possono incontrarsi due volte in domini fondamentali diversi. Questa condizione limita v - v’ a un piccolo insieme di misura ~εᵈ⁻¹, che fornisce un guadagno aggiuntivo di εᵈ⁻¹ nel calcolo del volume, sufficiente a chiudere la stima.

Problema 2: Il numero di collisioni tra più particelle fisse non ha un limite superiore (il toroide non ha un limite BFK)

Questa è una nuova difficoltà reale. Nello spazio infinito, Burago-Ferleger-Kononenko (BFK, 1998) fornisce un limite superiore costante assoluto, che dipende solo dal numero di particelle q. Sulla superficie toroidale, questo limite superiore non esiste: q particelle possono scontrarsi quante volte si vuole. Questo strumento, che inizialmente funzionava, non funziona più sulla superficie toroidale e l’intera stima di fserr nella sezione 13 del [26], che si basa sul limite di BFK, deve essere riscritta da zero sulla superficie toroidale.

La risposta fornita dall’autore è l’introduzione di due nuove armi:il bond a lunga scadenza (long bond)eil ciclo canonico (canonical cycle).

La definizione di chiave lunga è molto semplice: la differenza di tempo tra due collisioni alle estremità di una chiave, purché superiore a una certa potenza di ε*, viene definita chiave lunga. L’intuizione è la seguente: se due particelle collidono ripetutamente in un breve lasso di tempo (chiave corta), rimangono all’interno di un dominio fondamentale, che non è diverso da uno spazio infinito, e l’alto limite di BFK può ancora essere utilizzato. Una volta che le collisioni si allontanano abbastanza (chiave lunga), escono dal quadro di BFK e sono necessarie nuove stime per ottenere un guadagno di ordine ε.

5. Il vero fulcro della dimostrazione: la proposizione 3.8.

I legami lunghi e i cicli tipici non sono il punto finale, bensì l’ingresso. Il vero fulcro dell’intera dimostrazione è laProposizione 3.8, che On Civilization definisce come “il fulcro della dimostrazione”. Questa proposizione riguarda la possibilità di trovare, per una “molecola completa” (una struttura ad albero con un numero di legami compreso tra G e 2G), una sequenza di tagli che la dividano in componenti elementari, in modo che l’eccesso totale sia ridotto a un valore inferiore a ε^(d-1+θ).

La sua conclusione è una scelta tra tre opzioni: dopo il taglio, o c’è almeno un componente “buono” a doppio legame e nessun componente a singolo legame; oppure tutti i componenti a singolo/doppio legame sono buoni e il numero totale di “buoni” è molto maggiore di “numero di componenti × costante”; oppure c’è un solo componente a singolo legame e il prodotto degli eccessi degli altri componenti non supera una certa potenza di un numero positivo di ε. Le tre situazioni corrispondono a tre percorsi di deduzione, ognuno dei quali è in grado di completare la soppressione dell’eccesso totale.

La dimostrazione di 3.8 è molto complessa (14 pagine intere nella sezione 4 del documento), ma la sua struttura è ordinata: si inizia con l’algoritmo di “peeling” di [26] per ridurre la molecola ai suoi componenti fondamentali, quindi si passa all’algoritmo di “cutting two layers”, che divide la molecola in un livello superiore e uno inferiore, con i legami tra i due livelli che diventano automaticamente legami lunghi, eliminando così il problema del collision blow-up tipico delle superfici toroidali.

Due scenari principali:

1.Triangolo con legame lungo ( Lemma 4.13): Se la molecola contiene un triangolo con un legame lungo, la variante di taglio può dividere il triangolo in tre componenti atomici o due componenti atomici, stimando l’eccesso utilizzando la Proposizione 3.4. Lo strumento chiave in questo caso è il risultato di Cohen-Murphy del 1993: tre particelle possono scontrarsi al massimo quattro volte in uno spazio infinito. Gli scontri superiori a quattro su una superficie anulare devono necessariamente essere distribuiti su più domini fondamentali, quindi devono esserci legami che si allungano nel tempo, in linea con la definizione di legame lungo.

2.Ciclo tipico + struttura a due livelli (Proposizione 4.14): la situazione più difficile che rimane dopo aver eliminato il caso triangolare, l’autore la riassume in una struttura a due livelli. La dimostrazione utilizza l’induzione in base al numero di particelle, la proprietà geometrica che i legami interstratici devono necessariamente allungarsi, l’effetto di amplificazione della topologia della superficie toroidale incapsulato due volte come “must have legami lunghi a livello superiore e inferiore”, e poi lo reinserisce negli strumenti di stima precedenti.

Insieme, questo meccanismo riporta le difficoltà peculiari del toroide all’ambito “locale e di breve durata” del lavoro precedente, aggirando la nuova difficoltà fondamentale del fallimento del limite superiore di BFK.

6. Unire il secondo tratto di scale: la parte relativa ai limiti di fluidità.

Il Teorema 1 risolve la prima serie di passaggi (da palline rigide a Boltzmann), mentre il Teorema 2/3 affronta la seconda serie di passaggi (da Boltzmann a fluidi). Questa parte è relativamente costituita da “pezzi assemblati” piuttosto che da “pezzi inventati”, poiché il limite fluidodinamico della seconda serie di passaggi è già stato perfezionato negli anni 2020.

Teorema 2 (Navier-Stokes-Fourier incompressibile)utilizza i risultati sulla velocità di convergenza di Gallagher-Tristani del 2020 [29]: lasciando che il tasso di collisione α = δ⁻¹, la soluzione di Boltzmann si avvicini alla densità-velocità (ρ, u) dell’equazione Navier-Stokes-Fourier incompressibile, con la varianza compressa da δ^(3/2). Quindi, aggiungendo l’ε^θ fornito dal Teorema 1, quando ε → 0 e δ → 0, le statistiche macroscopiche (formula 1.27–1.28) convergono probabilisticamente verso la soluzione di Navier-Stokes-Fourier.

IlTeorema 3 (Euler compressibile)è la versione gemella del Teorema 2, che sostituisce il limite idrodinamico con la linea di Caflisch del 1980 + Guo-Jang-Jiang + Jiang-Luo-Tang. La dimostrazione riutilizza quasi parola per parola il Teorema 2, con l’unica precisazione che la sostituzione del Maxwelliano locale M con la Gaussiana globale rende il peso β dipendente da inf T, ma questo limite inferiore non dipende da (ε, δ), e la dimostrazione procede come prima.

I due passaggi messi insieme rappresentano la conclusione completa del sesto problema di Hilbert sul percorso di Boltzmann dopo 125 anni.

VII. Fusione e confini: quale componente dovremmo rimuovere per far crollare tutto?

Il saggio non ha fatto molto clamore, ma alcuni punti sono molto chiari. Dopo averlo letto, li ho riassunti come segue:

Confine 1: la dimensione è bloccata a 2/3 dimensioni

Nel teorema 1, d ∈ {2, 3} non è pigro. La nota 1.9 afferma che per 4 dimensioni e oltre sono necessarie condizioni non degenere più precise per garantire l’eccesso ε^(d-1), e gli algoritmi e i segmenti di integrazione diventano molto più complessi. Gli autori lasciano le dimensioni superiori ai futuri ricercatori: questo è il limite onesto del lavoro.

Confine 2: la finestra temporale è una scala di radice quadrata logaritmica doppia

t_fin ≪ √(log|log ε|) Questa scala determina che il range di δ nel Teorema 2/3 non può essere più ampio. Per andare oltre, sono necessarie nuove idee (come ammesso direttamente dal documento Remark 1.5 (2)). Perché questa linea si ferma qui? Perché i metodi attuali, quando scompongono i numeri in componenti elementari, la radice quadrata del logaritmo doppio è la migliore lunghezza che la tecnologia attuale può fornire. Il lavoro precedente [26] ha già spinto questa finestra allo stesso livello, e in questo articolo si mantiene la stessa scala sulle superfici toriche, senza continuare a spingere oltre.

Confine 3: la limitazione di velocità |v| ≤ ε^(−κ) è di natura tecnica

Nel limite del teorema 2/3 (1.27 / 1.48) è stato aggiunto un taglio di velocità. La nota 1.7 afferma che questo è di natura tecnica, poiché la probabilità di particelle ad alta velocità è trascurabile nel limite di Boltzmann-Grad. È naturale dal punto di vista fisico, ma necessario dal punto di vista matematico.

Confine 4: la parte ancora mancante

• n ≥ 4: Non è stato fatto, come già detto sopra.
• Dominio illimitato: Il documento è stato elaborato sul toro Tsup, mentre la versione per lo spazio infinito è stata fornita dal lavoro precedente [26]. Insieme, coprono un dominio ciclico limitato + spazio infinito, manessuno ha ancora affrontato un dominio misto che non sia né ciclico né illimitato(come una cavità fisica con confini, ad esempio).
• Finestra temporale più lunga: La radice quadrata del logaritmo doppio è l’attuale collo di bottiglia.

Queste non sono “tesi non ben fatte”, ma la distinzione tra “quello che è stato fatto” e “quello che non è stato ancora fatto”, che è la chiave per evitare un approccio troppo artificiale.

8. Alcuni punti che meritano di essere ricordati dopo aver letto

(Di seguito sono le mie conclusioni basate sul contenuto del documento, che non corrispondono necessariamente a quanto affermato dal documento stesso.)

1. Il significato ingegneristico di questo articolo non sta nel “completare il progetto”

Il “chiudimento in linea di principio” del Sesto Problema di Hilbert sul percorso di Boltzmann era stato in realtà scritto da Hilbert stesso nel 1912 [36], e successivamente Grad nel 1958 + Cercignani nel 1972 + Lanford nel 1975 hanno fissato la forma matematica del limite B-G. Lo standard per un “chiudimento completo” varia da persona a persona: se si richiede solo “qualsiasi lunghezza di tempo + valori iniziali generali”, questo articolo lo raggiunge; se si desidera “qualsiasi valore iniziale + qualsiasi momento + dimensioni generali”, c’è ancora molta strada da fare. Leggendo questo articolo, non lasciatevi ingannare dalla parola “chiudimento”; la vera novità è (1) la catena di strumenti completa della versione toroidale; (2) il Teorema 2/3 fornisce un’interfaccia unificata utilizzabile in ambito industriale.

2. La “radice quadrata del logaritmo doppio” della finestra temporale è un limite a livello ingegneristico, non un limite fisico.

L’autore ha lasciato una frase nel commento 1.5 (2): “Sembra essere difficile con i nostri metodi spingersi oltre questa scala”. Il significato ingegneristico di questa frase è il seguente: se si desidera utilizzare questo set di derivazioni per simulazioni fisiche reali, ad esempio “calcolare il flusso macroscopico dopo 1 secondo a partire dal movimento degli atomi”, la finestra necessaria è molto più ampia rispetto alla scala doppiamente logaritmica. La linea attuale è adatta per la “verifica dei principi” o per “stime di precisione a breve termine”, ma non è adatta per l’integrazione diretta nel software CFD.

3. Il CFD industriale non dovrebbe aspettare questa deduzione “

Leggendo l’ultima sezione del saggio, ho avuto un’intuizione: questo articolo rappresenta una conclusione per la matematica pura e un nuovo strumento per la matematica applicata, ma è una questione diversa per la CFD industriale. La CFD industriale non ha bisogno di “dedurre le equazioni di Navier-Stokes dai particelli di Newton”, in quanto dispone già di numerosi formati numerici sperimentati per le equazioni compressibili/non compressibili. Questo saggio offre “interpretabilità + rigore matematico” a livello teorico e non entrerà direttamente nella pipeline di simulazione a breve termine, ma potrebbe entrare nei libri di testo di matematica e fisica della prossima generazione.

4. Il costo del Teorema 1 non è basso

Per la Teoria 1, il lavoro sacrifica: (a) la limitazione della dimensione a 2/3 dimensioni; (b) la scala doppiamente logaritmica della finestra temporale; (c) la necessità di una legge di probabilità specifica del grand canonical ensemble. Se sei un fisico e il tuo gas nello spazio reale non si trova su una superficie toroidale, avrai bisogno della versione Rxd del lavoro precedente [26]. Insieme a questi due lavori, si può affermare che “questo percorso funziona in tutti i principali scenari utilizzabili dagli ingegneri”.

5. La connessione con il Premio Fields del 2026.

Deng Yu ha ricevuto il Fields Medal a Filadelfia nel luglio del 2026 e questo articolo è una delle fonti citate. Le citazioni del Fields Medal di solito si concentrano su “un singolo grande risultato”, e questo articolo è sicuramente uno dei lavori più rappresentativi di Deng Yu degli ultimi cinque anni. Tuttavia, va notato che i lavori rappresentativi di Deng Yu vanno ben oltre questo percorso di Boltzmann, includendo anche la persistenza a lungo termine delle equazioni della dinamica delle onde (con Hani nel 2021) e molte altre direzioni, che insieme costituiscono il lavoro totale che gli è valso il premio.

9. Riassumere in una frase

Deng-Hani-Ma ha completato la versione di Hilbert del sesto problema su un percorso Boltzmann in 49 pagine con il teorema 1, che passa da sfera rigida a Boltzmann su una superficie a 2/3 dimensioni, e il teorema 2/3, che passa da Boltzmann a Navier-Stokes-Fourier incompressibile e Euler compressibile, con una finestra temporale che copre la scala di radice quadrata di un doppio logaritmo. Questo non è una soluzione completa di tutti i problemi lasciati in sospeso 125 anni fa, ma chiude effettivamente una parte del grafico a scacchiera disegnato a mano da Hilbert nel 1900.

Full text on arXiv: https://arxiv.org/abs/2503.01800

Opera precedente [26]: arXiv:2408.07818 (192 pagine, 2024).