Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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

Physical scope

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 (M,g,N0) be the smooth time-oriented Lorentzian geometry of Thermodynamics-GR fields, currents, reference normalization and units, with signature (−,+,+,+) and physical length coordinates x0=ct. On an open region O⊆M, take a smooth observer congruence u 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 n:O→(0,∞) be a smooth proper number density in m−3 and T:O→(0,∞) a smooth proper-temperature scalar in kelvins. These fields are prescribed model data.

Choose one species with rest mass m>0 in kilograms, put M∗:=mc2>0 in joules, choose kB>0 in J K−1, and choose a reference action href>0 in J s. At an event x∈O, the future massive shell HM∗,x+ and its tetrad-independent measure dμM∗ are those of Canonical future massive mass-shell measure. For each P∈HM∗,x+, define the positive observer-measured energy

Eu(P):=−gx(P,ux)>0,α(x):=1kBT(x).

In any future orthonormal tetrad whose time axis is ux, write the spatial energy-momentum coordinates as p∈R3, so Eu(P)=M∗2+∣p∣2 and d3p=Eu(P) dμM∗(P). The spatial mechanical momentum is p/c; p itself is the spatial part of the energy four-vector P.

Define

ZM∗(α):=4πM∗2αK2(αM∗),Kj(z):=∫0∞e−zcosh⁡tcosh⁡(jt) dt(j=1,2).

and the observer-rest momentum probability law

dνu,x(p):=ZM∗(α(x))−1e−α(x)Eu(P) d3p.

Set

β:=ukBT,ζ:=log⁡ ⁣(nhref3c3ZM∗(α)),f(x,P):=eζ(x)+gx(β(x),P).

Finally define the model number current and stress-energy tensor by the convergent shell moments

Ja(x):=(href3c3)−1∫HM∗,x+Paf(x,P) dμM∗(P),Tab(x):=(href3c3)−1∫HM∗,x+PaPbf(x,P) dμM∗(P).

The mathematical suppliers Jüttner partition, probability, and perfect-fluid moments and Probability measures and probability spaces give 0<ZM∗<∞, show that νu,x has total mass one, and evaluate the current and stress moments:

Ja=nua,Tab=(ε+p)uaub+pgab,ε=n(M∗K1(αM∗)K2(αM∗)+3α),p=nα=nkBT.

Here ε and p 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 ACω only; this definition adds no arbitrary-index choice principle. The scale href 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 f solves a transport equation, or that any quantum-statistical or empirical law follows.

Depends on

Dependency tree · 2 levels

Sources