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.
Defined classical Jüttner kinetic preparation
One massive classical species with prescribed positive density and temperature and a chosen observer congruence; an exactly normalized model preparation, not an assertion of collisional equilibration, material validity, or quantum statistics.
Definition
Let be the smooth time-oriented Lorentzian geometry of Thermodynamics-GR fields, currents, reference normalization and units, with signature and physical length coordinates . On an open region , take a smooth observer congruence whose value at each event is a future unit timelike observer in the sense of Observers, rest spaces and the spatial projection at an event and Observer congruences, their observer curves and adapted charts. The congruence is a field of observer directions, not an adapted coordinate chart or a tetrad. Let be a smooth proper number density in and a smooth proper-temperature scalar in kelvins. These fields are prescribed model data.
Choose one species with rest mass in kilograms, put in joules, choose in , and choose a reference action in . At an event , the future massive shell and its tetrad-independent measure are those of Canonical future massive mass-shell measure. For each , define the positive observer-measured energy
In any future orthonormal tetrad whose time axis is , write the spatial energy-momentum coordinates as , so and . The spatial mechanical momentum is ; itself is the spatial part of the energy four-vector .
Define
and the observer-rest momentum probability law
Set
Finally define the model number current and stress-energy tensor by the convergent shell moments
The mathematical suppliers Jüttner partition, probability, and perfect-fluid moments and Probability measures and probability spaces give , show that has total mass one, and evaluate the current and stress moments:
Here and are the exact moments of this one-species kinetic model. They are not automatically identified with an independently adopted material state function or stress tensor. The suppliers use the stated countable-choice strength only; this definition adds no arbitrary-index choice principle. The scale is a declared phase-space unit convention, not Planck's constant or a measured parameter.
This is an exact classical model definition. It does not claim that an actual material realizes this distribution, that collisions drive it to equilibrium, that the full field solves a transport equation, or that any quantum-statistical or empirical law follows.
Depends on
Thermodynamics-GR fields, currents, reference normalization and units
Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model
Observers, rest spaces and the spatial projection at an event
Observer congruences, their observer curves and adapted charts
Canonical future massive mass-shell measure
Jüttner partition, probability, and perfect-fluid moments
Probability measures and probability spaces