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.
Constrained entropy criticality yields scoped TOV and Tolman–Klein relations
First-variation equivalence on the supplied fixed-radius, positive-b, compatible C2 state chart with fixed mass-energy and particle number and the stated boundary clock; no entropy maximum, global equilibrium existence, vacuum matching, arbitrary EOS, empirical observation, or dynamical stability.
Statement
Assume the model preparation Supplied thermodynamic chart and gravitational entropy variation model, including a positive even profile pair with compact state-chart range, fixed , , fixed constraints , and boundary normalization . Use the exact convention of Constrained entropy criticality, Tolman–Klein equivalence and TOV consequence. An admissible profile curve is in the sup-norm space on an open interval about zero, takes values in the even positive-b profile domain with range in a compact subset of the open state chart, and has a smooth derivative at zero compactly supported in and extended evenly at the center. Define constrained stationarity to mean that has zero derivative at the base profile along every such curve preserving both and . Then constrained stationarity is equivalent to the existence of constants such that on and the pressure obeys Here and . This is a conditional first-variation result in the adopted model, not a claim that nature selects such a profile or that it is an entropy maximum.
Facts & Assumptions
Given: The compatible thermodynamic chart and its profiles, , the positive lower bound on , the fixed constraints, the stated boundary lapse, and the exact mathematical convention .
Supplied thermodynamic chart and gravitational entropy variation model adopts the local state chart, the proper , the spherical mass-energy , positive- profiles, fixed-radius constrained variations, the static model, and boundary normalization .
Constrained entropy criticality, Tolman–Klein equivalence and TOV consequence: under a compatible chart and the same profile, positive-, fixed-radius, and boundary hypotheses, constrained stationarity is equivalent to constant , , and , and implies the displayed TOV pressure equation; the result is first variation only and assumes .
The state chart, Einstein mass constraint, and thermodynamic preparation in [F1] are adopted assumptions; the physical theorem does not derive them from observations.
Proof
The state functions, proper functionals, fixed constraints, positive- profile domain, and boundary clock in [F1] match the hypotheses of [F2]; the mathematical supplier's profile curves are exactly the admissible variations in this Statement. Its inherited foundation is the declared convention.
Applying the two directions of [F2] gives the stated equivalence and the pressure equation with from the supplied functional definition. The boundary values follow by substituting into the Tolman and Klein products.
The result establishes a first-variation criticality condition within the adopted model only; neither a second-variation sign nor a maximizing-profile existence conclusion occurs in [F2], so neither is inferred here.