Browse › Partial differential equations › 363 Nonuniqueness with local conservation for the hard-sphere Boltzmann equation
Nonuniqueness with local conservation for the hard-sphere Boltzmann equation
Open PDFCite Report a problem Add a reference or comment Interested in working on this Start a discussion
Edit NOTES.md · Existing issues · Source on GitHub
Abstract
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.
If the PDF does not display here, open it directly: Open PDF.
Notes
No notes yet. Add a reference, a comment or your name with the buttons above, or edit NOTES.md on GitHub.
Automatically collected notes (unreviewed)
work in progress
Collected automatically by AI tools (Claude Opus 5.5 and GPT-6 Astra, 2026-10-21) and not checked by a person. May be wrong or incomplete. Report an error.
Comments and discussion
- John Evans, Comment on Boltzmann nonuniqueness with exact local conservation (LinkedIn, October 2026). In notes described as ChatGPT-assisted genealogy rather than an independent proof check, Evans compares the jet-and-seed construction and its later conservation refinement with instability methods and concentration/gluing strategies. [family-level]
Formalization
- OpenAI math release, Lean scope note for family 363 (lean/docs/363.md, release of 2026-10-06). The scope note covers only the September 23 companion paper and says that "later local-conservation refinements are outside" the formalized result, so this paper's Theorem 1.1 (exact local momentum and energy conservation) is not covered. [family-level]
- OpenAI math release, OAI/MathematicalPhysics/Boltzmann/Main.lean (openai/math, commit adc7f12). States the theorem
BoltzmannNonuniqueness.nonuniqueness: twoAdmissibleGlobalevolutions from one datum with bounded velocity support which differ at some time in an early interval, corresponding to the companion's weaker solution class. [family-level] - OpenAI math release, ComparatorChallenges/BoltzmannNonuniqueness.lean (openai/math). The comparator statement linked from the scope note: a self-contained Mathlib statement of the companion's admissibility class and nonuniqueness theorem, with the proof left as
sorryin this file. [family-level]
Possibly relevant literature (found by the agent, not checked)
- Lu, Wennberg, Solutions with increasing energy for the spatially homogeneous Boltzmann equation (Nonlinear Analysis: Real World Applications 3(2), 243–258, 2002). The paper contrasts its result with Wennberg's homogeneous nonuniqueness examples, which allow increasing energy; this later Lu–Wennberg work on energy-increasing homogeneous solutions is not in the bibliography.
- Bodineau, Gallagher, Saint-Raymond, Simonella, Derivation of the Boltzmann equation from hard-sphere dynamics (after Y. Deng, Z. Hani, and X. Ma) (arXiv:2602.04407, Séminaire Bourbaki Exposé 1247; v2 2026-10-14). This survey states that uniqueness of DiPerna–Lions renormalized solutions "is not known to date" and that it is unknown whether they satisfy the equation distributionally, which bears on the paper's framing and its strong collision integrability claim.
- Modena, Székelyhidi, Non-uniqueness for the transport equation with Sobolev vector fields (arXiv:1712.03867, 2017/2018). An analogous nonuniqueness result for linear transport with Sobolev fields, the other main DiPerna–Lions renormalized framework.
Digests and expositions
- Latent Seminar, Boltzmann nonuniqueness and exact local conservation (6 October 2026). This exposition explains the shared concentrating-jet, nonconcentration and branching mechanisms and the later bath-and-retirement continuation argument, while stating that it does not independently verify the complete proofs. [family-level]
Elsewhere
- VibeMathed: Problem record
- Emergent Mind: family 363
Independent sites; their content is not reviewed here.
Cite
@misc{OAI:Nonuniqueness-with-local-conservation-for-the-hard-sphere-Boltzmann-equation-October-5-2026,
author = {{OpenAI}},
title = {{Nonuniqueness with local conservation for the hard-sphere Boltzmann equation}},
howpublished = {OpenAI Math Release preprint
\href{https://github.com/openai/math/blob/main/preprints/Nonuniqueness-with-local-conservation-for-the-hard-sphere-Boltzmann-equation-October-5-2026/paper.pdf}{OAI:Nonuniqueness-with-local-conservation-for-the-hard-sphere-Boltzmann-equation-October-5-2026}},
year = {2026}
}Lean formalization
OpenAI provides Lean files for this family: lean/docs/363.md. The Lean statements have not been checked by people against the paper's claims.
Family 363: 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.
Other papers in this family:
- Nonuniqueness for the periodic hard-sphere Boltzmann equation · September 23, 2026