Boltzmann-Grad derivation for a hard-sphere gas in a bounded domain with thermal boundary conditions: general domains, Maxwell re-emission, and stationary states with prescribed wall temperature

Lanford's theorem (1975) rigorously derives the Boltzmann equation from a system of $N$ hard spheres in the Boltzmann-Grad scaling, but only for a short time and, in its classical forms, in boundaryless domains. Le Bihan (2022) proved the first Lanford-type convergence result in a bounded domain with a stochastic wall: on the flat model domain $\Lambda=[0,1]\times\mathbb{T}^2$ with a diffuse-in-angle (isotropic, energy-preserving) re-emission law, and for short times only. The paper explicitly identifies three linked open problems toward a complete derivation of the Boltzmann equation for a gas confined by thermal walls: (i) extension to a general smooth bounded domain in $\mathbb{R}^3$; (ii) well-posedness of the hard-sphere dynamics with Gaussian (Maxwell-type) re-emission at prescribed wall temperature, in which the wall exchanges energy with the gas, and convergence of the Boltzmann-Grad limit for such boundary conditions; and (iii) existence and characterization of stationary solutions of the Boltzmann equation with prescribed, possibly nonconstant, boundary temperature in full generality. Problems (i), (ii) and (iii) remain open.

Background

The Boltzmann equation $\partial_t f+v\cdot\nabla_x f=Q(f,f)$ governs the one-particle distribution $f(t,x,v)$ of a dilute gas, with the quadratic collision operator $Q$ accounting for elastic binary collisions. A foundational question, going back to Hilbert's sixth problem, is whether this equation can be derived from Newtonian mechanics: consider $N$ hard spheres of diameter $\epsilon$ in a domain $\Lambda\subset\mathbb{R}^3$, colliding elastically, under the Boltzmann-Grad scaling $N\epsilon^2=1$ (fixed mean free path as $\epsilon\to0$). Lanford's theorem states that for such a system, initially distributed independently modulo particle exclusion, the first marginal of the $N$-particle distribution converges, for times $t<T^*$ depending on the initial data, to the solution of the Boltzmann equation; complete proofs and extensions to short-range potentials are due to Gallagher, Saint-Raymond and Texier and others. The proof compares the BBGKY hierarchy (the equations for the $k$-particle marginals) with the Boltzmann hierarchy, and the crux is controlling recollisions — events in which the same pair of spheres collides more than once, breaking the molecular-chaos assumption (the statistical independence of the particles before a collision). All classical results assume either the whole space or periodic boundary conditions. In a bounded domain the particles also meet the wall, and the microscopic wall law must be specified. Three standard laws are: specular reflection ($v'=v-2(n\cdot v)n$, energy conserving but generating possible focusing); the Gaussian, or Maxwell-type, re-emission law, where the outgoing velocity at a wall point $x$ with prescribed temperature $T(x)$ is redrawn from the wall Maxwellian $M_w(x,v')\,dv'$ with density proportional to $(v'\cdot n(x))^+e^{-|v'|^2/(2T(x))}$ — the physically canonical thermal wall, which does not conserve kinetic energy at the microscopic level; and the diffuse-in-angle (isotropic) law, where a particle keeps its speed but is re-emitted in a random direction with density proportional to $(v'\cdot n(x))^+/|v'|^3$, which conserves energy. Le Bihan proved that for $N$ hard spheres in the flat box $\Lambda=[0,1]\times\mathbb{T}^2$ with the diffuse-in-angle law, the first marginal converges in the Boltzmann-Grad scaling to the solution of the Boltzmann equation with the corresponding boundary condition, with the same short-time restriction as Lanford's theorem. The proof exploits the flat geometry decisively: in this domain, a particle's velocity is constant between wall hits, so hard-sphere and point-particle trajectories differ only by shifts of size $\epsilon$ at each collision. The paper states that the theorem is expected to remain true on a general smooth domain, but that the proof would be 'more delicate'. For the Gaussian wall law the situation is worse: the author notes that even the well-posedness of the hard-sphere dynamics with Gaussian reflection is not settled (well-posedness is known only for suitable smooth stochastic wall interactions, by Goldstein, Lebowitz and Presutti), and Lanford's strategy meets a further obstruction since its a priori estimates require a tower of reference distributions with increasing temperature. Two neighboring threads provide context for the remaining questions. On long times, the only classical global-validity results are those of Illner and Pulvirenti for a rare gas in vacuum in $\mathbb{R}^2$ and $\mathbb{R}^3$; in 2024-2025 Deng, Hani and Ma proved long-time validity of the Boltzmann equation for hard spheres in $\mathbb{R}^3$ and on two- and three-dimensional tori, conditional on the existence of the Boltzmann solution, thereby resolving the boundaryless case. On stationary states, the main application motivating bounded domains: existence of stationary Boltzmann solutions with prescribed nonconstant boundary temperature is known only in restricted regimes, notably for small temperature variations in the hydrodynamic limit — the regime where the mean free path is small compared with the observation scale and the gas is close to its fluid-dynamical description — (Esposito, Guo, Kim and Marra) and for special geometries or soft interactions; a classification of local Maxwellians solving the boundary-value problem was given by Dolmaire, and regularity in convex domains by Chen and Kim, but the general existence question remains open. The single scientific objective unifying these threads is the rigorous derivation of the Boltzmann equation — and ultimately of nonequilibrium steady states — for a gas confined by thermal walls, from Newtonian particle dynamics.

Problem Statement

Extend the rigorous Boltzmann-Grad derivation of the Boltzmann equation from Newtonian hard-sphere dynamics to gases confined by thermal walls, in the three linked directions left open by Le Bihan's flat-domain, short-time, diffusive-in-angle theorem. Precisely, for a system of $N$ hard spheres of diameter $\epsilon$ in the Boltzmann-Grad scaling $N\epsilon^2=1$ in a bounded domain $\Lambda\subset\mathbb{R}^3$ with smooth boundary, with particles re-emitted at the wall by a stochastic kernel, prove: (i) a Lanford-type convergence theorem for the first marginal on a general smooth bounded domain $\Lambda$ (removing the restriction to the flat domain $[0,1]\times\mathbb{T}^2$), for the diffuse-in-angle re-emission law and short times as in Lanford's theorem; (ii) well-posedness of the $N$-particle stochastic dynamics with Gaussian (Maxwell-type) re-emission, in which the outgoing velocity at a wall point of prescribed temperature $T(x)$ is drawn from the wall Maxwellian $M_w(x,v')$ and kinetic energy is not conserved at the microscopic level, together with the corresponding Boltzmann-Grad convergence to the Boltzmann equation with that boundary condition; and (iii) existence of stationary solutions of the Boltzmann equation in a bounded domain with prescribed, possibly nonconstant, boundary temperature, in full generality beyond the small-variation hydrodynamic regime, and, if they exist, a characterization of such solutions. These three goals are the successive milestones of one objective — the complete derivation of the Boltzmann equation for a confined gas interacting with thermal walls from Newton's laws — with (iii) the principal target application motivating it; the three goals are independent of one another and jointly posed, so that settling one does not presuppose the others.

References

1. Corentin Le Bihan, Boltzmann-Grad limit of a hard sphere system in a box with isotropic boundary conditions, Discrete Contin. Dyn. Syst. 42 (2022), no. 4, 1903-1932. DOI: 10.3934/dcds.2021177, https://doi.org/10.3934/dcds.2021177 (preprint: arXiv:2104.04354, under the title 'Boltzmann-Grad limit of a hard sphere system in a box with diffusive boundary conditions', https://arxiv.org/abs/2104.04354)
2. Yu Deng, Zaher Hani, Xiao Ma, Long time derivation of the Boltzmann equation from hard sphere dynamics, 2024. arXiv:2408.07818, https://arxiv.org/abs/2408.07818
3. Yu Deng, Zaher Hani, Xiao Ma, Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory, 2025. arXiv:2503.01800, https://arxiv.org/abs/2503.01800
4. Thierry Bodineau, Isabelle Gallagher, Laure Saint-Raymond, Sergio Simonella, Derivation of the Boltzmann equation from hard-sphere dynamics (after Y. Deng, Z. Hani, and X. Ma), 2026. arXiv:2602.04407, https://arxiv.org/abs/2602.04407
5. Thierry Bodineau, Isabelle Gallagher, Laure Saint-Raymond, Sergio Simonella, On the dynamics of dilute gases, EMS Magazine 128 (2023), 13-22. DOI: 10.4171/mag/124, https://doi.org/10.4171/mag/124
6. Corentin Le Bihan, Long time validity of the linearized Boltzmann equation for hard spheres: a proof without billiard theory, Archive for Rational Mechanics and Analysis 249 (2025), no. 4, article 40. DOI: 10.1007/s00205-025-02105-z, https://doi.org/10.1007/s00205-025-02105-z (preprint: arXiv:2212.04392, https://arxiv.org/abs/2212.04392)
7. Corentin Le Bihan, Long-time validity of the linearized Boltzmann uncut off and the linearized Landau equations from the Newton law, Communications on Pure and Applied Mathematics 79 (2026), no. 7, 1673-1745. DOI: 10.1002/cpa.70035, https://doi.org/10.1002/cpa.70035 (preprint: arXiv:2408.03597, https://arxiv.org/abs/2408.03597)
8. Théophile Dolmaire, About Lanford's theorem in the half-space with specular reflection, Kinetic and Related Models 16 (2023), no. 2, 207-268. DOI: 10.3934/krm.2022028, https://doi.org/10.3934/krm.2022028 (preprint: arXiv:2102.05513, https://arxiv.org/abs/2102.05513)
9. Théophile Dolmaire, On the local Maxwellians solving the Boltzmann equation with boundary condition, 2025. arXiv:2501.02431, https://arxiv.org/abs/2501.02431 (journal version: Rendiconti Lincei, Matematica e Applicazioni 36 (2025), no. 4, 725-761. DOI: 10.4171/rlm/1073, https://doi.org/10.4171/rlm/1073)
10. Raffaele Esposito, Yan Guo, Chanwoo Kim, Rossana Marra, Stationary solutions to the Boltzmann equation in the hydrodynamic limit, Annals of PDE 4 (2018), Article 1. DOI: 10.1007/s40818-017-0037-5, https://doi.org/10.1007/s40818-017-0037-5
11. R. Esposito, Y. Guo, C. Kim, R. Marra, Non-isothermal boundary in the Boltzmann theory and Fourier law, Communications in Mathematical Physics 323 (2013), 177-239. DOI: 10.1007/s00220-013-1766-2, https://doi.org/10.1007/s00220-013-1766-2
12. R. Esposito, R. Marra, Stationary non equilibrium states in kinetic theory, Journal of Statistical Physics 180 (2020), 773-809. DOI: 10.1007/s10955-020-02528-w, https://doi.org/10.1007/s10955-020-02528-w
13. Renjun Duan, Feimin Huang, Yong Wang, Zhu Zhang, Effects of soft interaction and non-isothermal boundary upon long-time dynamics of rarefied gas, Archive for Rational Mechanics and Analysis 234 (2019), 925-1006. DOI: 10.1007/s00205-019-01405-5, https://doi.org/10.1007/s00205-019-01405-5
14. Hongxu Chen, Chanwoo Kim, Regularity of stationary Boltzmann equation in convex domains, Archive for Rational Mechanics and Analysis 244 (2022), 1099-1222. DOI: 10.1007/s00205-022-01781-5, https://doi.org/10.1007/s00205-022-01781-5
15. Renjun Duan, Shuangqian Liu, Tong Yang, The Boltzmann equation for plane Couette flow, Journal of the European Mathematical Society 27 (2025), no. 3, 1107-1183. DOI: 10.4171/JEMS/1390, https://doi.org/10.4171/JEMS/1390
16. S. Goldstein, J. L. Lebowitz, E. Presutti, Mechanical system with stochastic boundaries, in: Random Fields - Rigorous Results in Statistical Mechanics and Quantum Field Theory (Esztergom, 1979), Colloquia Mathematica Societatis János Bolyai 27, North-Holland, 1981, pp. 403-419. zbMATH: Zbl 0493.60100, https://zbmath.org/0493.60100
17. R. Illner, M. Pulvirenti, Global validity of the Boltzmann equation for two- and three-dimensional rare gas in vacuum (erratum and improved result), Communications in Mathematical Physics 121 (1989), 143-146. DOI: 10.1007/BF01218628, https://doi.org/10.1007/BF01218628
18. Isabelle Gallagher, Laure Saint-Raymond, Benjamin Texier, From Newton to Boltzmann: hard spheres and short-range potentials, Zurich Lectures in Advanced Mathematics, European Mathematical Society, 2013. DOI: 10.4171/129, https://doi.org/10.4171/129 (zbMATH: Zbl 1315.82001, https://zbmath.org/1315.82001)