Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedprecheck pendingverified 2026-10-23 (gpt-6.1-sol)
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

Physical scope

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 x in metres, v in metres per second, and a nonnegative measurable one-particle number density f(x,v,t) as defined by the kinetic-density model. Adopt Countable Choice ACω as in that definition, and put v∗=1 m s−1 and ω3(v)=∑j=03(∣v∣/v∗)j. Assume ∫R3ω3(v)f(x,v,t) d3v<∞ at the state under consideration. Use the primitive fixed particle mass m>0 in kilograms and Boltzmann constant kB>0 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 n(x,t)>0, define the number density, mass density, mean velocity, peculiar velocity, and translational temperature by

n(x,t)=∫R3f d3v,ρ(x,t)=mn(x,t),u(x,t)=1n(x,t)∫R3vf d3v,c(x,v,t)=v−u(x,t),

T(x,t)=m3kBn(x,t)∫R3∣v−u(x,t)∣2f(x,v,t) d3v.

Use u only where n>0, and use T 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

P(x,t)=m∫R3c⊗c f d3v,q(x,t)=m2∫R3∣c∣2c f d3v,E(x,t)=m2∫R3∣v∣2f d3v.

Here n is in m−3, ρ in kg m−3, u in m s−1, T in kelvins, P in pascals, q in W m−2, and E in J m−3. The definitions impose no isotropy on P; p will denote a separate scalar pressure only in a specified local-equilibrium conclusion.

Let fref>0 be a constant reference density with the same units as f. At f=0, define both flog⁡(f/fref) and f∣log⁡(f/fref)∣ to be zero, their continuous extensions from f>0; their products with v or ∣v∣ are also zero there. Where both ∫f∣log⁡(f/fref)∣ d3v and ∫∣v∣f∣log⁡(f/fref)∣ d3v are finite, define the dimensionless-log kinetic entropy integral, its flux, the physical kinetic entropy density, and its flux by

h=∫R3flog⁡(f/fref) d3v,JH=∫R3vflog⁡(f/fref) d3v,skin=−kBh,jkin=−kBJH.

Thus h and JH have units m−3 and m−2 s−1, respectively; skin has units J m−3 K−1 and jkin has units J m−2 s−1 K−1. These are kinetic-model observables; skin 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)

Depends on

Dependency tree · 2 levels

Sources