Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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.

Entropic temperature, pressure, and molar chemical potentials

Physical scope

Smooth single-phase charts with positive finite entropy derivative in the adopted nonrelativistic macroscopic thermodynamic framework; the quantities are state functions, not empirical thermometer readings.

Definition

Fix a material constitution c, with r named species and dimensionless equilibrium state domain Dc⊆Rr+2 from Equilibrium state domains. For x=(U^,V^,n^1,…,n^r)∈Dc, define the diagonal SI coordinate map

Φc(x):=(Uc(x),Vc(x),nc,1(x),…,nc,r(x))=(U^ J,V^ m3,n^1 mol,…,n^r mol).

In SI numerical coordinates this is a diagonal linear bijection with a diagonal linear inverse, so it maps ambient open sets to open sets and its inverse is defined on its image.

Choose an open subset O⊆Dc in the ambient dimensionless Euclidean coordinates that is designated as a single-phase chart, and set Ω:=Φc(O), an open chart of physical SI coordinate values. Here U is the internal-energy coordinate evaluated in the center-of-mass rest frame of Galilean inertial charts and the center-of-mass rest frame. If Sc:Dc→R is the entropy adopted by Concave macroscopic fundamental entropy, define its physical-coordinate representative on Ω by

ScSI:=Sc∘Φc−1:Ω→R.

When its arguments are the physical coordinates (U,V,n1,…,nr), write this representative as Sc(U,V,n) for brevity. On Ω, assume the finite representative is C2 and has Sc,U>0, as adopted by Concave macroscopic fundamental entropy. Here C2 means that all coordinate partial derivatives through order two exist and are continuous (Ck Euclidean maps and diffeomorphisms). A coordinate partial such as Sc,U is the ordinary derivative in the physical U coordinate while every other physical coordinate is held fixed, as in Directional derivatives and partial derivatives of a map U⊆Rm→Rn; in particular the conversion factor from U^ is included.

Explicitly, with the partial derivatives on the right taken in the dimensionless coordinates on O while holding every other hatted coordinate fixed, the physical partials are

Sc,USI=(1 J)−1∂U^Sc,Sc,VSI=(1 m3)−1∂V^Sc,Sc,njSI=(1 mol)−1∂n^jSc,

using the coordinate-conversion convention of Concave macroscopic fundamental entropy.

Define the physical-coordinate representatives of the absolute thermodynamic temperature, entropic pressure, and molar chemical potential of species j by

TcSI:=1Sc,USI,pcSI:=TcSISc,VSI,μc,jSI:=−TcSISc,njSI.

For a state-domain point x∈O, define the corresponding state functions by pullback, Tc(x):=TcSI(Φc(x)), pc(x):=pcSI(Φc(x)), and μc,j(x):=μc,jSI(Φc(x)). When the argument is a physical tuple (U,V,n), write Tc(U,V,n), pc(U,V,n), and μc,j(U,V,n) for the physical-coordinate representatives. Thus both notations refer to the same state functions through Φc.

The entropy unit is J K−1, the energy U is in joules, V is in cubic metres, and nj is in moles (SI quantities and unit conventions). Thus Sc,USI has units K−1, Tc is finite and positive in kelvins, Sc,VSI has units J K−1 m−3 and pc has units pascals, and Sc,njSI has units J K−1 mol−1 and μc,j has units J mol−1. If a microscopic model instead uses a dimensionless particle count Nj=N ⁣Anj, the corresponding per-particle chemical potential is μc,j/N ⁣A joules, with the exact SI Avogadro constant from SI quantities and unit conventions.

These are scalar state functions of the stated rest-frame equilibrium chart. The pressure in this definition is a derivative-defined conjugate; identifying it with force per area requires a separate adopted mechanical coupling. Neither an empirical thermometer calibration nor any equation of state is supplied by this definition.

Depends on

Dependency tree · 2 levels

Sources