∑math20

Partial differential equations · Result 364

Kinetic limits and fluctuations over the Boltzmann lifespan

2 papers

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.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 2

First page of The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals

The Boltzmann–Grad limit for stable radial potentials on regular kinetic intervals

OpenAI · September 23, 2026

We 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.

Read PDF Download Source

Cite
@misc{OAI:The-Boltzmann-Grad-limit-for-stable-radial-potentials-on-regular-kinetic-intervals-September-23-2026,
  author = {{OpenAI}},
  title = {{The Boltzmann--Grad limit for stable radial potentials on regular kinetic intervals}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-Boltzmann-Grad-limit-for-stable-radial-potentials-on-regular-kinetic-intervals-September-23-2026/paper.pdf}{OAI:The-Boltzmann-Grad-limit-for-stable-radial-potentials-on-regular-kinetic-intervals-September-23-2026}},
  year = {2026}
}
First page of Hard-sphere fluctuations on the regular Boltzmann lifespan

Hard-sphere fluctuations on the regular Boltzmann lifespan

OpenAI · September 23, 2026

We 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.

Read PDF Download Source

Cite
@misc{OAI:Hard-sphere-fluctuations-on-the-regular-Boltzmann-lifespan-September-23-2026,
  author = {{OpenAI}},
  title = {{Hard-sphere fluctuations on the regular Boltzmann lifespan}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Hard-sphere-fluctuations-on-the-regular-Boltzmann-lifespan-September-23-2026/paper.pdf}{OAI:Hard-sphere-fluctuations-on-the-regular-Boltzmann-lifespan-September-23-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.