Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pass
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.

Supplied thermodynamic chart and gravitational entropy variation model

Physical scope

Fixed-radius static spherical Lambda=0 Einstein-fluid model with a supplied compatible local-material entropy chart, positive-b profiles, proper entropy and particle number, Einstein mass-energy constraint, constrained first variations and a specified boundary clock; no arbitrary barotropic EOS, entropy maximum, maximizing-profile existence, vacuum match, empirical claim, or dynamical stability.

Postulate

Assume ZF+ACω exactly as in Proper spherical entropy and particle constrained functionals. Adopt a separate static, spherically symmetric, isotropic Λ=0 Einstein-fluid preparation using the geometry and (−,+,+,+), x0=ct conventions of Smooth static spherical geometry and state domain, without a separate barotropic relation ε=E(P). The adopted field equation is Gab=(8πG/c4)Tab with Tab=diag⁡(−ε(r),P(r),P(r),P(r)) and the signed curvature convention in Smooth static spherical geometry and state domain. Fix a radius R>0, and supply a C2 open state chart U⊂(0,∞)2 with coordinates energy density ε in J m−3 and fixed-composition marker number density n in m−3. Supply s∈C2(U,R) in J K−1 m−3 with sε>0, and define Θ:=1/sε,μ:=−Θsn,P:=Θs+μn−ε. Assume this chart is compatible with the adopted material energy-per-marker function e(v,σp) of Restricted local equilibrium parcel with adopted material state function: v=1/n, σp=s/n, ε=ne(1/n,s/n), and Θ=eσp>0 on the supplied chart. The symbols Θ,μ,P respectively have units kelvins, joules, and J m−3. The local identities dε=Θ ds+μ dn and dP=s dΘ+n dμ are those of the exact mathematical chart definition Proper spherical entropy and particle constrained functionals.

For positive even C2 profiles (ε(r),n(r)) with compact range in U, define M,b,S,Nb,E exactly by Proper spherical entropy and particle constrained functionals and require b(r)≥b∗>0 on [0,R]. The adopted proper entropy and particle number are S=4π∫0Rsr2b−1/2dr and Nb=4π∫0Rnr2b−1/2dr, while the constrained mass-energy is E=c2M(R)=4π∫0Rεr2dr. Restrict variations to the supplied positive-b chart at fixed R and fixed E,Nb, and choose the boundary time normalization eϕ(R)=b(R).

This model supplies local material thermodynamics and a gravitational mass constraint as assumptions. Its variation problem is not an independent derivation of all Einstein equations. A stationary profile is only a first-variation critical point; no entropy maximum, existence of a maximizing profile, boundary vacuum matching, or physical observation is assumed.

Depends on

Dependency tree · 2 levels

Sources