Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userVirial estimates for hard spheres
75
0
0.0
(
0
)
Authors
Ryan Denlinger
Ask ChatGPT about the research
No Arabic abstract
We review a virial-type estimate which bounds the strength of interaction for a gas of $N$ hard spheres (billiard balls) dispersing into Euclidean space $mathbb{R}^d$. This type of estimate has been known for decades in the context of (semi-)dispersing billiards, and is essentially trivial in that context. Our goal, however, is to write virial estimates in a way which may lend insight into the problem of rigorously deriving Boltzmanns equation (cf. Lanfords theorem). Using virial estimates, we provide a short proof of lower bounds (sharp up to powers of logarithms) on the convergence rate of the first marginal in Lanfords theorem. Such lower bounds will often, but not always, follow trivially from energy conservation, the proof we present holds assuming only that the limiting dynamics is regular enough and does not reduce to free transport.
rate research
Read More
We consider the motion of a finite though large number $N$ of hard spheres in the whole space $mathbb{R}^n$. Particles move freely until they experience elastic collisions. We use our recent theory of Compensated Integrability in order to estimate how much the particles are deviated by collisions. Our result, which is expressed in terms of hodographs, tells us that only $O(N^2)$ collisions are significant.
We consider a gas of $N$ identical hard spheres in the whole space, and we enforce the Boltzmann-Grad scaling. We may suppose that the particles are essentially independent of each other at some initial time; even so, correlations will be created by the dynamics. We will prove a structure theorem for the correlations which develop at positive time. Our result generalizes a previous result which states that there are phase points where the three-particle marginal density factorizes into two-particle and one-particle parts, while further factorization is impossible. The result depends on uniform bounds which are known to hold on a small time interval, or globally in time when the mean free path is large.
We study the virial coefficients B_k of hard spheres in D dimensions by means of Monte-Carlo integration. We find that B_5 is positive in all dimensions but that B_6 is negative for all D >= 6. For 7<=k<=17 we compute sets of Ree-Hoover diagrams and find that either for large D or large k the dominant diagrams are loose packed. We use these results to study the radius of convergence and the validity of the many approximations used for the equations of state for hard spheres.
We discuss old and new results on the mathematical justification of Boltzmanns equation. The classical result along these lines is a theorem which was proven by Lanford in the 1970s. This paper is naturally divided into three parts. I. Classical. We give new proofs of both the uniform bounds required for Lanfords theorem, as well as the related bounds due to Illner & Pulvirenti for a perturbation of vacuum. The proofs use a duality argument and differential inequalities, instead of a fixed point iteration. II. Strong chaos. We introduce a new notion of propagation of chaos. Our notion of chaos provides for uniform error estimates on a very precise set of points; this set is closely related to the notion of strong (one-sided) chaos and the emergence of irreversibility. III. Supplemental. We announce and provide a proof (in Appendix A) of propagation of partial factorization at some phase-points where complete factorization is impossible.
This paper provides the first rigorous derivation of a binary-ternary Boltzmann equation describing the kinetic properties of a dense hard-spheres gas, where particles undergo either binary or ternary instantaneous interactions, while preserving momentum and energy. An important challenge we overcome in deriving this equation is related to providing a mathematical framework that allows us to detect both binary and ternary interactions. Furthermore, this paper introduces new algebraic and geometric techniques in order to eventually decouple binary and ternary interactions and understand the way they could succeed one another in time.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
