# Long time derivation of Boltzmann equation from hard sphere dynamics

**Authors:** Yu Deng, Zaher Hani, Xiao Ma  
**arXiv:** [2408.07818](https://arxiv.org/abs/2408.07818)  
**Date:** 2024-08-14  
**Summary page:** https://www.summarizepaper.com/fr/arxiv-id/2408.07818v1/

## Key points

- Mise en place et résultat principal
- Contexte et historique
- Aperçu global de la preuve

## Summary

Nous présentons une dérivation rigoureuse de l'équation cinétique de Boltzmann à partir du système de sphères dures pour un gaz raréfié. Cette dérivation est valide pour un temps arbitrairement long tant qu'une solution à l'équation de Boltzmann existe. Elle constitue une étape cruciale dans la résolution du sixième problème de Hilbert et étend également le théorème phare de Lanford (1975). La stratégie générale suit le paradigme introduit par les deux premiers auteurs pour la dérivation à long terme de l'équation cinétique des ondes dans la théorie de la turbulence des ondes. Cela repose sur la preuve d'un ansatz cumulant à long terme qui garde en mémoire toute l'histoire des collisions du système de particules. Au cœur du sujet se trouve une réduction aux estimations combinatoires des diagrammes de Feynman (appelés molécules d'historique des collisions), qui sont ensuite prouvées en élaborant un algorithme de découpe élaboré, une nouveauté majeure de ce travail. 1. Mise en place et résultat principal
2. Contexte et historique
3. Aperçu global de la preuve
4.