Abstract. Recent results on the fluid dynamic limits of the Boltzmann equation based on the DiPerna-Lions theory of renormalized solutions are reviewed in this paper, with an emphasis on regimes where the velocity field behaves to leading order like that of an incompressible fluid with constant density.Keywords: Hydrodynamic limits, Kinetic models, Boltzmann equation, Entropy production, Euler equations, Navier-Stokes equations PACS: 47.45-n, 51.10.+y, 51.20.+d, 47.10.ad In memory of Carlo Cercignani (1939Cercignani ( -2010 Relating the kinetic theory of gases to their description by the equations of continuum mechanics is a question that finds its origins in the work of Maxwell [30]. It was subsequently formulated by Hilbert as a mathematical problem -specifically, as an example of his 6th problem on the axiomatization of physics [21]. In Hilbert's own words "Boltzmann's work on the principles of mechanics suggests the problem of developing mathematically the limiting processes which lead from the atomistic view to the laws of motion of continua". Hilbert himself studied this problem in [22] as an application of his theory of integral equations. The present paper reviews recent progress on this problem in the past 10 years as a consequence of the DiPerna-Lions global existence and stability theory [12] for solutions of the Boltzmann equation. This Harold Grad lecture is dedicated to the memory of Carlo Cercignani, who gave the first Harold Grad lecture in the 17th Rarefied Gas Dynamics Symposium, in Aachen (1990), in recognition of his outstanding influence on the mathematical analysis of the Boltzmann equation in the past 40 years.
THE BOLTZMANN EQUATION: FORMAL STRUCTUREIn kinetic theory, the state of a monatomic gas at time t and position x is described by its velocity distribution function F ≡ F(t, x, v) ≥ 0. It satisfies the Boltzmann equationassuming that gas molecules behave as perfectly elastic hard spheres of diameter d. In this formula, we have denotedMolecular interactions more general than hard sphere collisions can be considered by replacing d 2 2 |(v − v * ) · ω| with appropriate collision kernels of the form b(|v − v * |, | v−v * |v−v * | · ω|). In this paper, we restrict our attention to the case of hard sphere collisions to avoid dealing with more technical conditions on the collision kernel.
Properties of the collision integralWhile the collision integral is a fairly intricate mathematical expression, the formulas (1) entail remarkable symmetry properties. As a result, the collision integral satisfies, for each continuous, rapidly decaying f ≡ f (v), the identities