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.
Kinetic number, mass and thermal observables
SI definitions for the single-species, three-dimensional, translational kinetic model on states with positive number density and, when temperature is used, positive centered second moment. No isotropy or empirical equation of state is assumed by the definitions.
Definition
Work in three spatial and velocity dimensions, with in metres, in metres per second, and a nonnegative measurable one-particle number density as defined by the kinetic-density model. Adopt Countable Choice as in that definition, and put and . Assume at the state under consideration. Use the primitive fixed particle mass in kilograms and Boltzmann constant in joules per kelvin from the adopted Boltzmann model. The number density, mass density, mean velocity, peculiar velocity, translational temperature, stress, heat flux, and energy below are derived moment quantities. Where , define the number density, mass density, mean velocity, peculiar velocity, and translational temperature by
Use only where , and use in the positive-temperature branch only where the centered second moment is strictly positive. Define the kinetic stress tensor, heat-flux vector, and total kinetic-energy density by
Here is in , in , in , in kelvins, in pascals, in , and in . The definitions impose no isotropy on ; will denote a separate scalar pressure only in a specified local-equilibrium conclusion.
Let be a constant reference density with the same units as . At , define both and to be zero, their continuous extensions from ; their products with or are also zero there. Where both and are finite, define the dimensionless-log kinetic entropy integral, its flux, the physical kinetic entropy density, and its flux by
Thus and have units and , respectively; has units and has units . These are kinetic-model observables; is not the fine-grained Gibbs entropy of a reversible many-particle state.
Definition references
Current draft K01 definition of a nonnegative measurable kinetic density with finite absolute velocity moments through order 3: kinetic density and moment domain.
Current draft single-species Boltzmann postulate supplying the fixed mass and Boltzmann-constant parameters: single-species elastic Boltzmann model.
MIT OpenCourseWare 8.333, Lecture 10, §III.G (collision moments, pressure tensor, and heat flux)
David Tong, Lectures on Kinetic Theory, §§2.4.1–2.4.2 (kinetic moments and ideal-fluid variables)