A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Kinetic limits and fluctuations over the Boltzmann lifespan
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:fluids, heat, waves Levels:2
Category:Partial differential equations Lean version:not yet
Rate this game! 4.9 out of 5 (1,371 votes)

>>> How to Play <<<
Kinetic limits and fluctuations over the Boltzmann lifespan. 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.

>>> Level Select <<<
released 2026-09-23  |  12 lemmas · 35 proofs · 34,267 words  |  PLAY LEVEL 1 »  (pdf)
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.
released 2026-09-23  |  4 theorems · 28 lemmas · 40 proofs · 29,433 words  |  PLAY LEVEL 2 »  (pdf)
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.

More Partial differential equations Games!
Sharp one-third stability of optimal transport mapsDe Giorgi's conjecture in dimension eight HOT!Universal computation in forced Navier–Stokes flows HOT!Interior $C^{1,\alpha}$ regularity for infinity-harmonic functions
Global smoothness for relativistic Vlasov–Maxwell HOT!Boltzmann nonuniqueness with exact local conservationJoint metric and connection recovery from one boundary patchThe planar Mumford–Shah regularity conjecture

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games