Latest

Partial differential equations

Nonuniqueness with local conservation for the hard-sphere Boltzmann equation

OpenAI research collection · 2 manuscripts · Source checked 2026-10-19

OpenAI's result summary

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 L^(1) and satisfy exact local conservation of mass, momentum and kinetic energy.

Read the manuscripts

Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.

MANUSCRIPT 01

Nonuniqueness with local conservation for the hard-sphere Boltzmann equation

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…

Full source 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 L^(1), and their collision gain and loss terms are integrable with every polynomial velocity weight on every bounded time interval.

This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.

MANUSCRIPT 02

Nonuniqueness for the periodic hard-sphere Boltzmann equation

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×\mathbb R^3. This density has bounded velocity support and finite mass, energy, and absolute entropy. Both solutions conserve local mass and…

Full source abstract

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×\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 L^(1), and their collision gains and losses are integrable.

This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.

One signal in the wider AGI picture

New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.

Explore the AGI Clock ↗