arXiv 2503.01800 (Deng-Hani-Ma, 2025). L’article traite de la « transition des particules newtoniennes aux équations de la mécanique des fluides », un chemin tracé par Hilbert en 1900, et le parcourt entièrement sur des surfaces en 2D et en 3D. Les deux collaborateurs sont Hani et Ma de l’Université du Michigan. Cet article est une interprétation approfondie du point de vue d’un ingénieur, et non une traduction d’un résumé.

1. Pourquoi c’est important, ce n’est pas un autre grand essai.

En 1900, lors du Congrès international des mathématiciens de Paris, Hilbert a posé 23 problèmes, dont le sixième mettait en vedette la « théorie des probabilités » et la « mécanique ». La partie relative aux probabilités a été résolue dans la première moitié du XXe siècle, mais celle concernant la mécanique — « passer de la perspective atomique aux équations de milieux continus » — a été bloquée pendant 125 ans.

Dans l’article, ce chemin est représenté par un célèbre diagramme en boîte (Figure 1 de l’article). À l’extrême gauche se trouve la mécanique newtonienne, au milieu l’équation de Boltzmann, et à l’extrême droite les équations de la mécanique des fluides (Euler / Navier-Stokes / Fourier). De gauche à droite, il y a deux étapes, que les mathématiciens appellent respectivement la limite de Boltzmann-Grad et la limite de la mécanique des fluides. Il faut franchir ces deux étapes et les maintenir simultanément pendant une longue période - c’est le principal défi du sixième problème de Hilbert.

Le 23 juillet 2026, Deng Yu, premier auteur de l’article, a reçu le prix Fields lors du Congrès international des mathématiciens (ICM) à Philadelphie, et l’une des raisons de cette récompense était cette ligne de recherche. Les deux collaborateurs de l’Université du Michigan, Zaher Hani et Xiao Ma, sont les deux autres auteurs. Ce n’est pas la première fois que l’équipe travaille sur cette ligne de recherche : leur précédent travail de 192 pages en 2024 [26] (arXiv 2408.07818) a déjà permis de résoudre la première partie de la démonstration dans un espace infini. Le document actuel de 49 pages (2503.01800) est la conclusion : il transpose la version de l’espace infini de l’article précédent sur une surface torique, puis ajoute la deuxième partie de la démonstration, complétant ainsi l’ensemble du travail.

Je définis le sujet de ma thèse en une phrase :À partir de la collision élastique d’une série de boules rigides, déduire rigoureusement les équations d’Euler compressibles et les équations de Navier-Stokes-Fourier incompressibles, en couvrant la fenêtre temporelle de la durée de vie complète de la solution de Boltzmann. « Rigoureusement » et « à long terme » sont deux mots clés qui reviendront tout au long du texte.

II. Quel est exactement le problème que cette démonstration cherche à résoudre ?

L’article divise l’objectif en trois théorèmes.

LeThéorème 1est le fondement de l’ensemble de l’article : sur un tore en 2 ou 3 dimensions Tsup, considérons N sphères rigides de diamètre ε, soumises à la loi d’échelle de Boltzmann-Grad α = Nεsup-1 fixée. Lorsque ε tend vers 0 (et N augmente en même temps), la fonction de corrélation uniparticulaire f₁(t, x, v) converge vers la solution de l’équation de Boltzmann. La contrainte clé de l’article est que la fenêtre temporelle t_fin est compressée par une échelle logarithmique double :

Explication intuitive : Plus les particules sont petites et plus le taux de collision est agressif, plus la fenêtre de dérivation de la solution de Boltzmann peut être allongée. Le travail précédent 2408.07818 a déjà poussé la fenêtre jusqu’à l’échelle de la racine carrée de double logarithme, qui est la longueur « juste suffisante » que cette méthode peut fournir actuellement.

Théorème 2: Appliquons le théorème 1 aux équations de Navier-Stokes-Fourier incompressibles. La méthode consiste à suivre la voie limite en hydrodynamique de Gallagher-Tristani 2020, en combinant le théorème 1 avec la fenêtre temporelle de la première étape. Conclusion : Lorsque ε tend vers 0, puis le taux de collision α = δ⁻¹ tend vers l’infini, la densité macroscopique ρ et la vitesse u convergent vers la solution de Navier-Stokes-Fourier, à un rythme de δ^(3/2).

Lethéorème 3est la version sœur du théorème 2, qui remplace la limite de la mécanique des fluides par la limite d’Euler compressible de Caflisch en 1980 (étendue par la suite par Guo-Jang-Jiang, Jiang-Luo-Tang). Le triplet macroscopique ρ (densité), u (vitesse) et T (température) converge vers la solution d’Euler sous une double limite imbriquée, à un rythme de δ.

Ensemble,le théorème 1 pousse les billes rigides vers Boltzmann, et les théorèmes 2 et 3 poussent Boltzmann vers les fluides. Les deux étapes ont été franchies en un temps limité, et toute la tâche du sixième problème de Hilbert sur la voie de Boltzmann se termine sur une surface de 2 ou 3 dimensions.

III. Pour comprendre l’équation du billard, il suffit de maîtriser trois concepts.

Cette partie est destinée aux « ingénieurs qui lisent des articles scientifiques », et il n’est pas prévu de réitérer les détails de la combinatoire. Commençons par mettre en place la structure mathématique de la balle rigide.

Concept 1 : l’ensemble grand canonique (grand canonical ensemble)

Il ne suffit pas de donner uniquement la dynamique pour prouver le théorème de Boltzmann, il faut aussi donner une loi de probabilité pour les données initiales. L’article utilise l’ensemble canonique grand : le nombre total de particules est lui-même une variable aléatoire, soumise à une distribution de type Poisson. Le nombre moyen de particules E(N) ≈ α·ε^(−(d−1)), lié au diamètre des particules ε et au taux de collision α, c’est la loi d’échelle de Boltzmann-Grad. Pour une métaphore intuitive : si vous lancez des billes au hasard dans une pièce, le nombre de lancers, la taille des billes et le taux de collision augmentent et diminuent proportionnellement. Cette configuration est invariante à l’échelle dans la limite de Boltzmann-Grad.

Concept 2 : Règles de collision de boules dures

Chaque balle se déplace en ligne droite à vitesse constante et uniforme, avec des positions successives et des vitesses pouvant changer. Lorsque la distance entre les centres des deux balles est égale au diamètre de l’une d’entre elles, la composante de vitesse le long de la ligne reliant les centres des deux balles est réfléchie, tandis que la composante verticale reste inchangée. C’est la règle de la collision élastique décrite par les physiciens il y a des centaines d’années, mais ici, nous l’exprimons de manière plus rigoureuse.

Concept 3 : L’équation de Boltzmann elle-même

Il s’agit d’une équation statistique de « corrélation », qui décrit la façon dont la densité d’une seule particule, n(t, x, v), varie en fonction du temps. D’un côté, elle est tirée par le flux et se déplace, et de l’autre, elle est perturbée par les collisions :

L’opérateur de collision Q est au cœur du problème : deux particules arrivent, et après la collision, elles deviennent deux nouveaux ensembles de directions. Il s’agit de calculer la différence de probabilité entre ces deux ensembles de directions. En 1872, Boltzmann a écrit cette équation dans un long article, et la version sur un tore est donnée dans la définition 1.4 de l’article, avec un noyau de collision de sphères rigides.

En combinant ces trois concepts, vous obtenez l’entrée et la sortie « système de billes rigides → équation de Boltzmann ». La question qui reste est la suivante : pour un système à plusieurs particules, dans la limite de Boltzmann-Grad, les corrélations uniparticules se rapprochent-elles vraiment de la solution de Boltzmann ? C’est la question à laquelle répond le théorème 1.

IV. La véritable difficulté de la démonstration du premier théorème : les deux nouveaux problèmes posés par la topologie du tore.

La preuve du théorème 1 suit principalement la version de l’article précédent 2408.07818 dans l’espace infini Rxd. Cependant, il y a deux nouveaux problèmes sur le tore Txd, et ces deux sections constituent les nouvelles idées non triviales les plus difficiles de l’article.

Problème 1 : Le même paire de particules peut se rencontrer deux fois ou même plus (liaison double)

Dans un espace infini, deux particules, une fois qu’elles se sont croisées, s’éloignent et ne se rencontrent plus qu’une seule fois au maximum. Sur une surface fermée, les particules peuvent se rencontrer à nouveau après avoir fait le tour. L’auteur indique dans la Proposition 3.2 (4) que si les deux particules ont une vitesse relative v - v’ presque parallèle à un vecteur entier non nul m ≠ 0,elles peuvent se rencontrer deux fois dans des domaines fondamentaux différents. Cette condition limite v - v’ à un petit ensemble de mesure ~εᵈ⁻¹, ce qui fournit un gain supplémentaire de εᵈ⁻¹ dans le calcul du volume, suffisant pour arrêter l’estimation.

Problème 2 : Le nombre de collisions entre plusieurs particules n’est pas limité (il n’y a pas de limite BFK pour un tore)

C’est une véritable difficulté nouvelle. Dans l’espace infini, Burago-Ferleger-Kononenko (BFK, 1998) ont donné une limite supérieure absolue constante, qui dépend uniquement du nombre de particules q. Sur la surface torique, il n’y a pas de telle limite supérieure - q particules peuvent se heurter autant de fois qu’elles le veulent. Cet outil, qui fonctionnait auparavant, ne fonctionne plus sur la surface torique et l’estimation fserr, qui était contenue dans la section 13 de [26] et qui était contrôlée par la limite de BFK, doit être réécrite à partir de zéro sur la surface torique.

La solution proposée par l’auteur consiste à introduire deux nouvelles armes :la longue liaison (long bond)etle cycle canonique (canonical cycle).

La définition d’une clé longue est très simple : la différence de temps entre deux collisions à chaque extrémité d’une clé, tant qu’elle est supérieure à une puissance de ε*, est appelée clé longue. L’intuition est la suivante : si deux particules entrent en collision à plusieurs reprises en peu de temps (clé courte), elles restent dans un domaine fondamental et ne diffèrent pas de l’espace infini. La borne supérieure de BFK peut toujours être utilisée. Une fois que les collisions sont suffisamment espacées (clé longue), elles sortent du cadre de BFK et nécessitent de nouvelles estimations pour un gain de ε.

Cinquième partie : le véritable pivot de la démonstration : Proposition 3.8

Les liaisons longues et les boucles typiques ne sont pas la fin, mais le début. Le véritable pivot de l’ensemble de la démonstration est laProposition 3.8, que Liu et al. décrivent comme le « centre de la preuve ». Cette proposition traite de la question suivante : étant donnée une « molécule complète » (une structure arborescente dont le nombre de liaisons est compris entre G et 2G), est-il possible de trouver une séquence de coupures pour la diviser en sous-composants, de telle sorte que l’excès total soit réduit à moins de ε^(d-1+θ) ?

Sa conclusion est un choix parmi trois options : après la découpe, il doit y avoir au moins un composant à double liaison « bon » et aucun composant à simple liaison ; ou tous les composants à simple / double liaison doivent être bons et le nombre total de « bons » doit être bien supérieur au « nombre de composants × constante » ; ou il ne doit y avoir qu’un seul composant à simple liaison et le produit des excès des autres composants ne doit pas dépasser une certaine puissance d’un nombre positif ε. Ces trois situations correspondent à trois voies de déduction, chacune pouvant permettre de contrôler l’excès total.

La preuve de 3.8 est très longue (14 pages entières dans la section 4 de l’article), mais sa structure est bien organisée : on utilise d’abord l’algorithme de « pelage » de [26] pour réduire la molécule à ses composants élémentaires, puis on applique l’algorithme de « coupe en deux couches » pour la décomposer en une couche supérieure et une couche inférieure. Tous les liens entre les couches supérieure et inférieure sont automatiquement des liens longs, ce qui élimine le problème de collision explosive propre aux surfaces toriques.

Deux sous-scénarios principaux :

1.Triangle avec liaison longue (Lemme 4.13): Si un triangle avec une liaison longue est présent dans la molécule, la variante de coupe peut diviser le triangle en trois composants atomiques ou en deux composants atomiques, et utiliser la Proposition 3.4 pour estimer l’excès. L’outil clé ici est le résultat de Cohen-Murphy en 1993 : trois particules peuvent se heurter au maximum quatre fois dans un espace infini. Les collisions sur une surface torique dépassant quatre fois doivent être réparties sur plusieurs domaines fondamentaux, il doit donc y avoir des liaisons qui s’étirent dans le temps, ce qui correspond à la définition d’une liaison longue.

2.Schéma typique + structure à deux couches (Proposition 4.14): Le cas le plus difficile qui reste après avoir éliminé le cas triangulaire, l’auteur le résume en une structure à deux couches. La preuve utilise l’induction en fonction du nombre de particules, la propriété géométrique selon laquelle les liaisons intercouches doivent être séparées, et l’effet d’amplification de la topologie torique est encapsulé deux fois en « il doit y avoir des liaisons longues entre les couches supérieure et inférieure », puis réintroduit dans les outils d’estimation précédents.

Ensemble, ce mécanisme réduit les difficultés inhérentes au tore au cadre « local et de courte durée » des jeux précédents, contournant ainsi la nouvelle difficulté fondamentale que constitue la défaillance de la borne supérieure de BFK.

6. Raccorder la deuxième série d’escaliers : la partie des limites de fluidité.

Le théorème 1 résout la première étape (billes rigides → Boltzmann), et les théorèmes 2 et 3 relèvent de la deuxième étape (Boltzmann → fluides). Cette partie est relativement « assemblage de pièces » plutôt que « invention de pièces », car la limite aérodynamique de la deuxième étape était déjà bien établie dans les années 2020.

Théorème 2 (Navier-Stokes-Fourier incompressible)utilise les résultats de Gallagher-Tristani 2020 sur le taux de convergence [29] : avec un taux de collision α = δ⁻¹, la solution de Boltzmann décrit approximativement le couple densité-vitesse (ρ, u) de l’équation Navier-Stokes-Fourier incompressible, et la différence est réprimée par δ^(3/2). En ajoutant l’expression ε^θ fournie par le Théorème 1, lorsque ε → 0 et δ → 0, les statistiques macroscopiques (équations 1.27–1.28) convergent en probabilité vers la solution de Navier-Stokes-Fourier.

LeThéorème 3 (Euler compressible)est la version sœur du Théorème 2, qui remplace la limite de la mécanique des fluides par la ligne de Caflisch 1980 + Guo-Jang-Jiang + Jiang-Luo-Tang. La preuve reprend presque mot pour mot celle du Théorème 2, la seule différence étant que la Maxwellienne locale M remplace la Gaussienne globale, ce qui rend le poids β dépendant de inf T, mais cette borne inférieure ne dépend pas de (ε, δ), et la preuve suit son cours.

Les deux étapes réunies constituent la conclusion complète du sixième problème de Hilbert après 125 ans sur la voie de Boltzmann.

VII. Fusion et frontières : quel composant faut-il retirer pour que le système s’effondre ?

Le document ne fait pas grand bruit autour de la fusion, mais il a quelques limites très claires. Après l’avoir lu, j’ai résumé ce qui suit :

Limite 1 : La carte est bloquée en 2D/3D

Dans le théorème 1, d ∈ {2, 3} n’est pas paresseux. La remarque 1.9 indique clairement que pour 4 dimensions et plus, des conditions non dégénérées plus précises sont nécessaires pour garantir un excès ε^(d-1), et les algorithmes et les segments d’intégration deviennent beaucoup plus complexes. L’auteur laisse les dimensions supérieures aux générations futures, ce qui constitue la limite de l’honnêteté de l’article.

Frontière 2 : l’échelle des fenêtres temporelles est une échelle de racine carrée de double logarithme

t_fin ≪ √(log|log ε|) Cette échelle détermine que la plage de δ dans le théorème 2/3 ne peut plus être élargie. Pour aller plus loin, de nouvelles idées seront nécessaires (ce que le remarque 1.5 (2) de l’article reconnaît directement). Pourquoi cette limite est-elle atteinte ici ? Parce que les méthodes actuelles réduisent les molécules à leurs composants élémentaires, et la racine carrée de double logarithme est la meilleure longueur que la technologie actuelle peut fournir. Le travail précédent [26] a déjà poussé cette fenêtre à la même échelle, et cet article maintient la même échelle sur la surface torique, sans chercher à la dépasser.

Frontière 3 : La limitation de vitesse |v| ≤ ε^(−κ) est technique.

Dans la limite du théorème 2/3 (1.27 / 1.48), une coupure de vitesse a été ajoutée. La remarque 1.7 indique clairement qu’il s’agit d’une mesure technique, car la probabilité de particules à haute vitesse est négligeable dans la limite de Boltzmann-Grad. C’est naturel du point de vue physique, mais nécessaire du point de vue mathématique.

Frontière 4 : La partie qui manque toujours

• n ≥ 4: Rien n’a été fait, comme mentionné ci-dessus.
• Domaine non borné: L’article est réalisé sur la surface torique Tsup, et la version pour un espace infini est donnée dans un travail antérieur [26]. Ensemble, ils couvrent un domaine périodique borné + un espace infini, maisaucun travail n’a été effectué sur un domaine mixte ni périodique ni non borné(comme un cavity physique avec des bords, par exemple).
• Une fenêtre temporelle plus longue: La racine carrée de double logarithme est le goulot d’étranglement actuel.

Il ne s’agit pas de « ne pas avoir fait un bon travail », mais de faire la distinction entre « ce qui a été fait » et « ce qui reste à faire », et c’est précisément la clé pour éviter de tomber dans les pièges de l’IA.

VIII. Quelques points qui, après avoir été lus, méritent d’être rappelés.

(Ce qui suit est mon jugement basé sur le contenu de l’article, qui ne reprend pas entièrement ce que l’article dit lui-même.)

1. L’importance de cet article en termes d’ingénierie ne réside pas dans sa “conclusion complète”

Le « achèvement en principe » de la sixième question de Hilbert sur la voie de Boltzmann a en fait été écrit par Hilbert lui-même dans [36] dès 1912 sous forme de schéma, et plus tard, Grad en 1958 + Cercignani en 1972 + Lanford en 1975 ont fixé la forme mathématique de la limite B-G. La norme pour un « achèvement complet » varie d’une personne à l’autre : si l’on exige seulement « une durée arbitrairement longue + une valeur initiale générale », cet article l’a effectivement atteint ; si l’on veut « une valeur initiale arbitraire + un moment arbitraire + une dimension générale », il y a encore un long chemin à parcourir. Lors de la lecture de cet article, il ne faut pas se laisser tromper par le mot « achèvement » ; la véritable nouveauté est (1) la chaîne d’outils complète pour la version torique et (2) le théorème 2/3 fournit une interface unifiée utilisable dans le domaine industriel.

2. La « racine carrée de double logarithme » de la fenêtre temporelle est une limitation à l’échelle de l’ingénierie, et non une limitation physique.

L’auteur a laissé une phrase dans la Remarque 1.5 (2) : « Il semble difficile d’aller au-delà de cette échelle avec nos méthodes ». Le sens technique de cette phrase est le suivant : si vous voulez utiliser cette dérivation pour des simulations physiques réelles, par exemple « calculer le flux macroscopique après 1 seconde à partir du mouvement des atomes », vous aurez besoin d’une fenêtre bien plus large que l’échelle binaire logarithmique. La ligne actuelle est adaptée pour la « validation de principe » ou pour des « estimations de précision à court terme », mais elle n’est pas appropriée pour être directement intégrée dans un logiciel de CFD.

3. La CFD industrielle ne devrait pas attendre cette dérivation"

En lisant la dernière section de l’article, j’ai eu un pressentiment : c’est une conclusion pour les mathématiques pures, un nouvel outil pour les mathématiques appliquées, mais pas pour la CFD industrielle. La CFD industrielle n’a pas besoin de « dériver Navier-Stokes à partir de particules newtoniennes », elle dispose déjà d’un grand nombre de formules numériques éprouvées pour les équations compressibles/non compressibles. Cet article offre une « explicabilité + rigueur mathématique » au niveau théorique, qui ne sera pas directement intégrée dans les chaînes de simulation à court terme, mais pourrait figurer dans les manuels de mathématiques et de physique de la prochaine génération.

4. Le coût du théorème 1 n’est pas négligeable.

Pour la Théorie 1, l’article fait des concessions sur : (a) la limitation de la dimension à 2/3 dimensions ; (b) l’échelle double logarithmique de la fenêtre temporelle ; (c) la nécessité d’une loi de probabilité spécifique telle que l’ensemble grand canonique. Si vous êtes physicien et que votre gaz en espace réel n’est pas sur une surface torique, vous aurez besoin de la version Rxd de l’article précédent [26]. Ensemble, ces deux articles permettent d’affirmer que « cette voie est viable dans tous les principaux scénarios utilisables par les ingénieurs ».

5. Le lien avec le prix Fields 2026.

Deng Yu a reçu la médaille Fields en juillet 2026 à Philadelphie, et cet article est l’une des références citées. Les références pour la médaille Fields se concentrent généralement sur « un seul grand résultat », et cet article est effectivement l’un des travaux les plus représentatifs de Deng Yu au cours des cinq dernières années. Cependant, il est important de noter que les travaux les plus représentatifs de Deng Yu ne se limitent pas à cette voie de Boltzmann, mais comprennent également la longévité de l’équation de la dynamique des ondes (avec Hani en 2021) et de nombreuses autres directions, qui constituent ensemble l’ensemble des travaux qui lui ont valu cette récompense.

9. Résumé en une phrase

Deng-Hani-Ma a complètement résolu le sixième problème de Hilbert dans sa version sur la voie de Boltzmann en 49 pages : le théorème 1 passe du modèle de sphères rigides à Boltzmann sur une surface de dimension 2/3, et le théorème 2/3 passe de Boltzmann à Navier-Stokes-Fourier incompressible et Euler compressible, avec une fenêtre temporelle couvrant l’échelle de racine carrée de double logarithme. Ce n’est pas la solution complète de tous les problèmes restants de 125 ans, mais cela ferme effectivement une partie du diagramme carré dessiné à la main par Hilbert en 1900.

Le texte intégral d’arXiv : https://arxiv.org/abs/2503.01800

Le précédent article [26] : arXiv:2408.07818 (192 pages, 2024).