A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Boltzmann nonuniqueness with exact local conservation
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Zeta Defense <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:fluids, heat, waves Levels:2
Category:Partial differential equations Lean version:YES! ✔
Rate this game! 4.8 out of 5 (875 votes)

>>> How to Play <<<
Nonuniqueness with local conservation for the hard-sphere Boltzmann equation. Constructs two distinct global entropy solutions of the three-dimensional periodic hard-sphere Boltzmann equation from the same nonnegative initial density, with bounded velocity support and finite mass, energy and absolute entropy. Both are strongly continuous in L1 and satisfy exact local conservation of mass, momentum and kinetic energy.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 40 lemmas · 48 proofs · 31,864 words  |  PLAY LEVEL 1 »  (pdf)
We prove nonuniqueness for the three-dimensional periodic hard-sphere Boltzmann equation among global entropy solutions satisfying exact local conservation of mass, momentum, and kinetic energy. We construct one nonnegative initial density with bounded velocity support and finite mass, energy, and absolute entropy that gives rise to two distinct such solutions. Both are strongly continuous in L1, and their collision gain and loss terms are integrable with every polynomial velocity weight on every bounded time interval.
released 2026-09-23  |  1 theorem · 26 lemmas · 32 proofs · 24,831 words  |  PLAY LEVEL 2 »  (pdf)
We prove nonuniqueness for the periodic hard-sphere Boltzmann equation by constructing two distinct global renormalized solutions with the same nonnegative initial density on $\mathbb T^3\times\mathbb R^3$. This density has bounded velocity support and finite mass, energy, and absolute entropy. Both solutions conserve local mass and total momentum and satisfy the global energy and entropy-dissipation inequalities. On a common initial interval, they are strongly continuous in L1, and their collision gains and losses are integrable.

More Partial differential equations Games!
The critical dimension for the one-phase Bernoulli problemThe three-dimensional Ball–Evans approximation problemThe hot spots conjecture for simply connected planar domains PLAYABLE!The subcritical Lane–Emden and Hénon–Lane–Emden conjectures
Stable blowup for a defocusing Schrödinger equationGlobal uniqueness in smooth isotropic elasticityNonattainment in three-marginal Coulomb transportSharp one-third stability of optimal transport maps

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