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

Specified constant-density star and vacuum boundary model

Physical scope

Constant-energy-density specialization of the adopted static isotropic model, with prescribed areal radius, compactness 0<u<8/9, zero surface pressure, and a vacuum exterior; no finite-sound-speed constitutive dynamics, general compactness theorem, observed matter, or stability claim.

Postulate

Within the adopted model Static spherical Einstein-fluid model with a supplied equation of state, choose a constant rest mass density ρ0>0 in kg m−3, so the constant rest energy density is ε0=ρ0c2 in J m−3. Fix an areal boundary radius R>0 in metres, define MR=4πρ0R3/3 in kilograms and u=2GMR/(c2R), and restrict the model parameters to 0<u<8/9. For this specialization take IP=(0,∞) and the supplied equation of state E(P)=ε0. Use its explicit C∞ extension E^:R→(0,∞) given by E^(P)=ε0; it agrees with E on IP and defines the fluid EOS on an open pressure interval containing zero and every nonnegative pressure in the branch. On the open interior fluid interval 0<r<R, the pressure profile P:(0,R)→IP is smooth and has the continuous interior boundary value P(R)=0, interpreted using E^. Prescribe vacuum stress separately for r≥R, with exterior mass MR; the vacuum region is not governed by the fluid EOS.

This is a constitutive and boundary preparation within the stated static Einstein-fluid model. The uniform-density relation is a model input; it is not a finite-sound-speed causal transport law. The range 0<u<8/9 defines this selected branch and does not assert a general Buchdahl bound, a realistic stellar equation of state, an observed star, or stability.

Depends on

Dependency tree · 2 levels

Sources