Abstract
We provide a rigorous derivation of the Brownian motion as the limit of a deterministic system of hard-spheres as the number of particles \(N\) goes to infinity and their diameter \(\varepsilon \) simultaneously goes to \(0\), in the fast relaxation limit \(\alpha = N\varepsilon ^{d-1}\rightarrow \infty \) (with a suitable diffusive scaling of the observation time). As suggested by Hilbert in his sixth problem, we rely on a kinetic formulation as an intermediate level of description between the microscopic and the fluid descriptions: we use indeed the linear Boltzmann equation to describe one tagged particle in a gas close to global equilibrium. Our proof is based on the fundamental ideas of Lanford. The main novelty here is the detailed study of the branching process, leading to explicit estimates on pathological collision trees.
Similar content being viewed by others
References
Alexander, R.: The infinite hard sphere system, Ph.D. dissertation, Department of Mathematics, University of California, Berkeley (1975)
Alexander, R.: Time evolution for infinitely many hard spheres. Comm. Math. Phys. 49(3), 217–232 (1976)
Bardos, C.: Problèmes aux limites pour les quations aux dérivées partielles du premier ordre à coefficients réels; théorèmes d’approximation; application à l’équation de transport. Ann. Sci. École Norm. Sup. 4(3), 185–233 (1970)
Bardos, C., Golse, F., Levermore, C.D.: Fluid dynamic limits of the Boltzmann equation I. J. Stat. Phys. 63, 323–344 (1991)
Bardos, C., Golse, F., Levermore, C.D.: Fluid dynamic limits of kinetic equations II: convergence proofs for the Boltzmann equation. Comm. Pure Appl. Math. 46, 667–753 (1993)
Bardos, C., Santos, R., Sentis, R.: Diffusion approximation and computation of the critical size. Trans. Am. Math. Soc 284(2), 617–649 (1984)
van Beijeren, H., Lanford III, O.E., Lebowitz, J.L., Spohn, H.: Equilibrium time correlation functions in the low density limit. J. Stat. Phys. 22, 237–257 (1980)
Billingsley, P.: Probability and measure. Wiley series in probability and mathematical statistics. Wiley (1995)
Boldrighini, C., Bunimovich, L.A., Sinai, Y.: On the Boltzmann equation for the Lorentz gas. J. Stat. Phys. 32(3), 477–501 (1983)
Bunimovich, L.A., Sinai, Y.G.: Statistical properties of Lorentz gas with periodic configuration of scatterers. Comm. Math. Phys. 78, 479–497 (1980/81)
Caglioti, E., Golse, F.: On the distribution of free path lengths for the periodic Lorentz gas III. Commun. Math. Phys. 236, 199–221 (2003)
Caglioti, E., Golse, F.: On the Boltzmann-Grad limit for the two dimensional periodic Lorentz gas. J. Stat. Phys. 141, 264–317 (2010)
Cercignani, C., Illner, R., Pulvirenti, M.: The mathematical theory of dilute gases. Springer, New York (1994)
De Roeck, W., Fröhlich, J.: Diffusion of a massive quantum particle coupled to a quasi-free thermal medium. Comm. Math. Phys. 303(3), 613–707 (2011)
Desvillettes, L., Golse, F.: A remark concerning the Chapman-Enskog asymptotics. In: Perthame, B. (ed.) Advances in kinetic theory and computing. Ser. Adv. Math. Appl. Sci., vol. 22, pp. 191–203. World Science Publishing, River Edge (1994)
Desvillettes, L., Pulvirenti, M.: The linear Boltzmann equation for long-range forces: a derivation from particles. Math. Meth. Mod. Appl. Sci. 9(8), 11231145 (1999)
Desvillettes, L., Ricci, V.: A rigorous derivation of a linear kinetic equation of Fokker–Planck type in the limit of grazing collisions. J. Stat. Phys. 104(5–6), 1173–1189 (2001)
Erdős, L.: Lecture notes on quantum Brownian motion, quantum theory from small to large scales: lecture notes of the Les Houches summer school, 95, Oxford University Press (2010)
Erdős, L., Salmhofer, M., Yau, H.T.: Quantum diffusion of the random Schrodinger evolution in the scaling limit. Acta Math. 200(2), 211–278 (2008)
Esposito, R., Marra, R., Yau, H.T.: Navier–Stokes equations for stochastic particle systems on the lattice. Comm. Math. Phys. 182, 395–456 (1996)
Gallagher, I., Saint-Raymond, L., Texier, B.: From Newton to Boltzmann: the case of hard-spheres and short-range potentials, Zürich lectures in advanced mathematics 18. Erratum to Chapter 5 (2014)
Gallavotti, G.: Statistical mechanics. A short treatise. Texts and monographs in physics. Springer, Berlin (1999)
Golse, F.: On the periodic Lorentz gas and the Lorentz kinetic equation. Ann. Fac. Sci. Toulouse Math. 17, 735–749 (2008)
Hilbert, D.: Begründung der kinetischen Gastheorie. (German). Math. Ann. 72(4), 562–577 (1912)
Kac, M.: Probability and related topics in physical sciences, Am. Math. Soc., p. 1 (1959)
King, F.: BBGKY hierarchy for positive potentials, Ph.D. dissertation, Dept. Mathematics, Univ. California, Berkeley (1975)
Komorowski, T., Landim, C., Olla, S.: Fluctuations in Markov processes. Time symmetry and martingale approximation. Grundlehren der Mathematischen Wissenschaften, vol. 345. Springer, Heidelberg (2012)
Lanford, O.E.: Time evolution of large classical systems. In: Moser, J. (ed.) Lecture notes in physics, vol. 38, pp. 1–111, Springer (1975)
Lebowitz, J., Spohn, H.: Microscopic basis for Fick’s law for self-diffusion. J. Stat. Phys. 28, 539–556 (1982)
Lebowitz, J., Spohn, H.: Steady state self-diffusion at low density. J. Stat. Phys. 29, 39–55 (1982)
Lorentz, H.: Le mouvement des électrons dans les métaux. Arch. Neerl. 10, 336–371 (1905)
Marklof, J.: Kinetic transport in crystals. In: Proceedings of the XVI International Congress on Mathematical Physics, Prague 2009, World Scientific, pp. 162–179 (2010)
Marklof, J., Strömbergsson, A.: The Boltzmann–Grad limit of the periodic Lorentz gas. Ann. Math. 174, 225–298 (2011)
Marklof, J., Toth, B.: Superdiffusion in the periodic Lorentz gas, arXiv:1403.6024, preprint (2014)
Pettersson, R.: On weak and strong convergence to equilibrium for solutions to the linear Boltzmann equation. J. Stat. Phys. 72, 355–380 (1993)
Olla, S., Varadhan, S., Yau, H.-T.: Hydrodynamical limit for a Hamiltonian system with weak noise. Commun. Math. Phys. 155, 523–560 (1993)
Pulvirenti, M., Saffirio, C., Simonella, S.: On the validity of the Boltzmann equation for short range potentials. Rev. Math. Phys. 26(2), 1450001 (2014)
Quastel, J., Yau, H.-T.: Lattice gases, large deviations, and the incompressible Navier–Stokes equations. Ann. Math. 148, 51–108 (1998)
Saint-Raymond, L.: Hydrodynamic limits of the Boltzmann equation. Lecture notes in mathematics, vol. 1971, Springer (2009)
Simonella, S.: Evolution of correlation functions in the hard sphere dynamics. J. Stat. Phys. 155(6), 1191–1221 (2014)
Spohn, H.: The Lorentz process converges to a random flight process. Commun. Math. Phys. 60, 277–290 (1978)
Spohn, H.: Large scale dynamics of interacting particles, vol. 174, Springer (1991)
Szasz, D., Toth, B.: Towards a unified dynamical theory of the Brownian particle in an ideal gas. Comm. Math. Phys. 111, 41–62 (1987)
Uchiyama, K.: Derivation of the Boltzmann equation from particle dynamics. Hiroshima Math. J. 18(2), 245–297 (1988)
Acknowledgments
The authors are grateful to Laurent Desvillettes, François Golse, Herbert Spohn and Balint Toth for fruitful discussions and for suggesting interesting bibliographical references. Finally we extend our thanks to the anonymous referees for suggesting many improvements in the manuscript. The work of I. Gallagher has been supported by the grant ANR-12-BS01-0013-01.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Asymptotic control of the exclusion
For the sake of completeness, we recall here the proof of Proposition 3.2. We omit all subscripts \(\beta \) to simplify the presentation.
-
First step: asymptotic behaviour of the partition function.
We first prove that in the scaling \(N {\varepsilon }^{d-1}\ \equiv \alpha \), with \(\alpha \ll 1/\varepsilon \),
where \({\kappa }_d\) denotes the volume of the unit ball in \({\mathbf {R}}^d\). The first inequality is due to the immediate upper bound
Let us prove the second inequality. We have by definition
By Fubini’s equality, we deduce
Since
we deduce the lower bound
where we used \(s \le N\) and the scaling \(N {\varepsilon }^{d-1} \equiv \alpha \). This implies by induction
That proves (7.1).
-
Second step: convergence of the marginals.
Let us introduce the short-hand notation
We compute for \(s \le N\)
We deduce, by symmetry,
with the notation
From there, the difference \( \mathbf{1}_{Z_s \in {\mathcal {D}}_{\varepsilon }^s}M^{\otimes s} - M_{N}^{(s)}\) decomposes as a sum
By (7.1), there holds \(1- {\mathcal {Z}}_{N}^{-1} {\mathcal {Z}}_{N-s} \rightarrow 0\) as \(N \rightarrow \infty \), for fixed \(s\). Since \(M^{\otimes s}\) is uniformly bounded, this implies that the first term in the right-hand side of (7.3) tends to 0 as \(N \) goes to \( \infty \). Besides, by
we bound
Given \(1 \le i\le s\), there holds by symmetry and Fubini’s equality,
so that
By (7.1), we obtain
and the upper bound tends to 0 as \(N \rightarrow \infty \), for fixed \(s\). This implies convergence to 0 of the second term in the right-hand side of (7.3).
This completes the proof of Proposition 3.2.
Appendix B: Recollisions in the torus
We show here how to adapt the arguments of [21] to prove Lemma 5.2.
-
To build the set of “bad velocities”, we use the correspondence between the torus and the whole space with periodic structure. Asking that there exists \(u \in [0,t]\) such that
$$\begin{aligned} d\big ((x_1-v_1 u ),( x _2-v_2 u )\big ) \le {\varepsilon }, \end{aligned}$$boils down to having
$$\begin{aligned} (x_1-v_1 u )-( x _2-v_2 u ) \in \bigcup _{k\in {\mathbf {Z}}^d} B_{{\varepsilon }}(k). \end{aligned}$$
Then, by the triangular inequality and provided that \({\varepsilon }<\bar{a}\),
Now, since \(|v_1-v_2|\le 2E\) and \(u \in [0,t]\), this implies that
In other words, \(v_1-v_2\) has to belong to a finite union of cones of vertex 0
-
At most one of which is of solid angle \( ( \bar{a} /{\varepsilon }_0)^{d-1}\);
-
The other ones (at most \((4E t)^d\)) are of solid angle \( c \, \bar{a}^{d-1}\).
The intersection \(K(\bar{x}_1-\bar{x}_2, {\varepsilon }_0, \bar{a}) \) of these cones and of the sphere of radius \(2E\) is of size
-
In order to prove the second estimate, we need to refine a little bit the previous argument. Asking that there exists \(u \in [\delta ,t]\) such that
$$\begin{aligned} d((x_1-v_1 u ),( x _2-v_2 u) )\le {\varepsilon }_0, \end{aligned}$$boils down to having
$$\begin{aligned} u (v_1-v_2) \in B_{3{\varepsilon }_0}( x^0_1- x^0_2+ k), \end{aligned}$$(8.1)for some \(k \in {\mathbf {Z}}^d \cap B_{2Et }( x^0_2 - x^0_1)\).
-
If \(| x^0_1- x^0_2 + k| \ge 1/4\), condition (8.1) implies that \(v_1-v_2\) belongs to the intersection of \(B_{2E}(0)\) and some cone of vertex 0 and solid angle \({\varepsilon }_0^{d-1}\).
-
If \(| x^0_1- x^0_2 + k| \le 1/4\) (which can happen only for one value of \(k\)), denoting by \(n\) any unit vector normal to \(\bar{x}_1-\bar{x}_2 + k\), we deduce from (8.1) that
$$\begin{aligned} u |(v_1-v_2) \cdot n | \le 3{\varepsilon }_0 \end{aligned}$$from which we deduce that \(v_1-v_2\) belongs to the intersection of \(B_{2E}(0)\) and some cylinder of radius \({\varepsilon }_0/\delta \).
The union \(K_\delta ( x^0_1- x^0_2, {\varepsilon }_0, \bar{a})\) of these “bad” sets is therefore of size
$$\begin{aligned} |K_\delta ( x^0_1- x^0_2, {\varepsilon }_0, \bar{a}) | \le CE \left( \left( \frac{{\varepsilon }_0}{\delta } \right) ^{d-1} + E^{d-1} \big (E t \big )^d {{\varepsilon }_0}^{d-1}\right) . \end{aligned}$$ -
The lemma is proved. \(\square \)
Rights and permissions
About this article
Cite this article
Bodineau, T., Gallagher, I. & Saint-Raymond, L. The Brownian motion as the limit of a deterministic system of hard-spheres. Invent. math. 203, 493–553 (2016). https://doi.org/10.1007/s00222-015-0593-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-015-0593-9