Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generated
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.

Specified equilibrium particle exchange

Physical scope

A selected fixed-composition local material branch with either a finite independent-cell exchange model or a massive classical charged Liouville ansatz; charged conclusions require the stated global potential symmetry and reference.

Postulate

For a selected fixed-composition material branch, adopt the local state function and energy convention of Restricted local equilibrium parcel with adopted material state function and Rest fluid state, frame and geometric current definitions. In that state map, T>0 is the derivative of the supplied energy per marker with respect to entropy per marker, and the chemical potential is μ=H−Tσp in joules per marker. Rest energy stays in the energy convention used for μ and for any particle generator; a rest-energy subtraction made in a different convention must be tracked explicitly.

For particle exchange, select and declare one of these physical model protocols:

  • Finite-cell exchange. Supply r≥1 finitely many independent cells with open convex state domains Ui⊆R2, coordinates (Ei,ni), and concave entropy functions Si∈C1(Ui,R). Here Ei is in joules, ni is a continuous dimensionless particle-number coordinate, and Si is in joules per kelvin. Fix dimensionless lapse values Ni>0, a common charge q in coulombs, and potential values Φi in volts in a stated common reference. Put U=∏iUi and Stot=∑iSi. The adopted exchange conserves E=∑i(NiEi+qΦini) and N=∑ini. At a supplied feasible interior point x∗∈U, with these totals fixed and ∂EiSi(xi∗)>0 for every i, adopt the following equilibrium criterion: DStot(x∗)[h]=0 for every h=(δE1,δn1,…,δEr,δnr) satisfying ∑i(NiδEi+qΦiδni)=0 and ∑iδni=0. All such independent infinitesimal variations are admitted. Define 1/Ti=∂EiSi(xi∗) and μi/Ti=−∂niSi(xi∗), so Ti>0 is in kelvins and μi is in joules per particle. This criterion is an adopted condition on any selected equilibrium point, not a consequence of conservation, an existence assertion, or a relaxation law. Independent finite entropy-exchange equilibrium supplies its conditional consequences. Identification of these variables with another material state map is an additional model identification, not inferred here.

  • Charged kinetic exchange. On the selected stationary domain, supply a species of rest mass m>0, charge q, smooth local fields T>0 and μ, a global smooth real potential A with F=dA, and a smooth compensator Λξ satisfying LξA=dΛξ. Use the future massive shell, charged transport, and dimensionless exponential ansatz exactly as defined in Charged particle and Liouville data on a stationary Lorentzian domain. Adopt whole-shell stationarity LF,qf=0 as the exchange criterion. This is a model assumption on every future mass-shell momentum, not an assertion that collisions drive a gas to this ansatz.

The two protocols are separate model choices. This postulate does not derive either protocol from gravity, assert a global electrostatic potential when no single-valued symmetry compensator exists, establish a Gibbs state or material realization, or identify finite entropy variables with kinetic fields without an explicit model assumption.

Depends on

Dependency tree · 2 levels

Sources