1 · The essentials
These manuscripts study how the motion of many interacting particles leads to an equation describing a gas as a whole. The main manuscript shows this connection for a three-dimensional gas whose particles can repel one another strongly at very short distances and can also attract one another. It allows groups of particles to form during the motion. The conclusion holds throughout each finite time interval on which the gas-level equation has a sufficiently regular solution and keeps a specified, rapidly decreasing bound on high-speed particles. A companion manuscript studies the small random deviations around the average behavior for a gas of hard spheres. Both results require carefully controlled starting conditions, and the main result has not been formalized in Lean or formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine tracking every person in a crowded hall versus describing how the crowd is distributed and moving overall. The main manuscript connects the individual-motion description to the overall description, while the companion studies deviations around the average; people, however, do not follow the particle-interaction rules assumed here.
Why it matters
The main result connects Newtonian particle dynamics to the nonlinear Boltzmann equation over every finite interval satisfying the stated regularity and Gaussian-bound conditions. Its scope includes attractive interactions and dynamically formed clusters, without restrictions on the differential scattering cross-section. The companion adds a description of fluctuations for hard spheres, including away from equilibrium.
2 · Going further
The main problem is the Boltzmann–Grad limit for a three-dimensional grand-canonical Newtonian gas. The manuscript considers stable, finite-range radial potentials that are except for an allowed repulsive singularity at the origin. The initial probability densities are , satisfy spatially summable Gaussian bounds on both the density and its spatial gradient, and obey initial pair exclusion. Under these hypotheses, all fixed-order rescaled factorial marginals are shown in the manuscript to converge in , uniformly on each finite interval on which the classical Boltzmann solution has a uniform Gaussian bound.
The scope of that statement is important: attractive wells and clusters formed during the dynamics are allowed, and no restrictions are imposed on the differential scattering cross-section. The time interval is determined by the regularity and Gaussian control of the kinetic solution, rather than being asserted to extend indefinitely. The supplied abstracts state the limiting results and their hypotheses, but do not describe the argument or its technical mechanism; an account of how the convergence is established cannot be supplied from this source alone.
The companion manuscript treats a deterministic grand-canonical hard-sphere gas in three dimensions. For smooth initial probability densities with spatially summable Gaussian velocity bounds on the density and its spatial gradient, it gives a finite-dimensional central limit theorem away from equilibrium on every finite interval with the stated classical-solution and Gaussian-decay conditions. Crucially, the empirical measure is centered at its exact microscopic expectation. The limiting fluctuations are described by the Gaussian solution of the linear fluctuating Boltzmann equation. Thus the companion concerns fluctuations in the hard-sphere setting, rather than extending its fluctuation conclusion to all potentials covered by the main manuscript.
Useful notions
- Newtonian particle motion
- Probability densities and expectations
- The Boltzmann equation
- Convergence in
- Gaussian bounds and Gaussian fluctuations
What was known before / what is new
Before
The source takes Newtonian gas dynamics and the classical Boltzmann solution as the microscopic and kinetic descriptions to be connected. It does not give a history of earlier results, identify a previous time-range limitation, or name an earlier open problem.
New
The main manuscript presents convergence of every fixed-order rescaled factorial marginal throughout each finite regular kinetic interval with a uniform Gaussian bound. Its stated scope includes stable finite-range radial potentials with attractive wells, an allowed singular repulsive core, and dynamically formed clusters. The companion presents finite-dimensional Gaussian fluctuations for hard spheres over the corresponding regular Boltzmann lifespan, centered at the exact microscopic expectation.
Limits and assumptions
The main result requires three dimensions, the specified stability, range, radial symmetry and smoothness of the potential, initial pair exclusion, and the stated density and gradient bounds. Its time coverage is conditional on a classical kinetic solution with uniform Gaussian control; the source does not assert global-in-time coverage. The fluctuation result is for hard spheres and finite-dimensional convergence, not a stated fluctuation theorem for the full potential class or a full trajectory-level convergence result. The main result is not formalized in Lean and has not been formally verified. The source does not identify further open problems or provide the details of the arguments.
Mini glossary
- Grand-canonical gas —
- A gas described by a probability model in which the number of particles can vary.
- Radial potential —
- An interaction potential that depends on the distance between particles.
- Gaussian velocity bound —
- A bound that controls a density by a Gaussian-shaped decay as particle speed increases.
- Convergence in —
- Convergence for which the integral of the absolute difference tends to zero.
- Empirical measure —
- The particle-based distribution recording the positions and velocities present in a microscopic configuration.
- Finite-dimensional central limit theorem —
- A statement that finite collections of fluctuation observables converge jointly to a Gaussian distribution.
Keywords : Boltzmann–Grad limit · Regular kinetic intervals · Gaussian fluctuations
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Derives the nonlinear Boltzmann equation from three-dimensional grand-canonical Newtonian gases throughout every regular kinetic interval with uniform Gaussian decay. Stable finite-range radial potentials may have attractive wells and a singular repulsive core; initial pair exclusion and spatially summable Gaussian density and gradient bounds are assumed. A companion gives finite-dimensional hard-sphere Gaussian fluctuations, centered at the exact microscopic expectation and governed by the linear fluctuating Boltzmann equation.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals
23/09/2026We derive the nonlinear Boltzmann equation from a grand-canonical Newtonian gas with initial pair exclusion. We treat stable, finite-range radial potentials that are C2 except for an allowed repulsive singularity at the origin, and C1 initial probability densities with spatially summable Gaussian bounds on the density and its spatial gradient. All fixed-order rescaled factorial marginals converge in L1, uniformly throughout every finite interval on which the classical kinetic solution has a uniform Gaussian bound. The result allows attractive wells and dynamically formed clusters, without restrictions on the differential scattering cross-section.
Hard-sphere fluctuations on the regular Boltzmann lifespan
23/09/2026We prove a finite-dimensional central limit theorem away from equilibrium for a deterministic grand-canonical hard-sphere gas in three dimensions. The initial probability density is smooth, with spatially summable Gaussian velocity bounds on the density and its spatial gradient. The limit holds on every finite interval on which the classical Boltzmann solution has uniform Gaussian velocity decay. The empirical measure is centered by its exact microscopic expectation. Its fluctuations converge to the Gaussian solution of the linear fluctuating Boltzmann equation.