Séminaire Analyse et Modélisation
# Long time derivation of Boltzmann equation from hard sphere dynamics

→
Europe/Paris

Salle des thèses (UMPA, ENS de Lyon)
### Salle des thèses

#### UMPA, ENS de Lyon

ENS de Lyon Site Monod, 46 Allée d'Italie

Description

We provide the rigorous derivation of the Boltzmann equation from hard sphere dynamics, for arbitrarily long times that cover the full lifespan of the Boltzmann equation. This extends Lanford's landmark theorem (1975), and is a major step towards solving Hilbert's sixth problem.

The main ingredients of the proof include (1) a time layering argument, (2) a cumulant ansatz that memorizes the full collision history on time [0,t], (3) analysis of an integral constructed from such collision history, and (4) a carefully designed algorithm that allows to control such integrals.