How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Regular single-species elastic collision data
A three-dimensional single-species classical kinetic collision model with elastic binary events; no hard-sphere limit or microscopic derivation is included.
Definition
Fix a particle mass in kilograms and velocity space with components in . The elastic collision set is Thus each allowed event conserves momentum and kinetic energy . Equip with the Borel sets generated by its relative topology.
Collision-rate data consist of a nonnegative, countably additive, -finite Borel measure on these Borel sets. It is invariant under exchanging with , exchanging with , and exchanging the incoming pair with the outgoing pair : for each of these maps and Borel set , . This is the three-dimensional physical restriction of the collision set and exchange conventions in Elastic collision model and weak collision identity, with -finiteness stated explicitly for the product integrals used by the entropy theorem. For physical applications of that weak identity, at a fixed position and time let be the one-particle number density per spatial volume and velocity volume: is number per spatial volume in the velocity element. Particle number is dimensionless, has units , and has units . A collision term , when a representative satisfying the absolutely convergent weak identity exists, has units , namely per second. Test functions are measurable and have one common unit for their values (dimensionless for the tests and , where has the units of ). Assign the measure itself units : its numerical values are taken in these SI units, not as a density relative to an unstated measure on . Thus and the collision integral of times the test bracket both have units . The magnitude and distribution of remain model inputs; dimensional consistency fixes neither a numerical collision rate nor existence of . The measure is a declared model input; no differential cross section or microscopic limit is inferred from this Definition.