Alphabeta Math
PostulateStatement: AI-adaptedProof: 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.

Adopted strict charged barotropic fluid model

Physical scope

An adopted smooth classical charged perfect-fluid material closure for the strict interior barotropic Einstein-Maxwell model, with an EOS-defined number-density variable and advected charge per particle. It adds no matter action and makes no claim that a real material universally obeys this closure.

Postulate

Use the smooth oriented, time-oriented Lorentzian four-manifold, metric-selected connection, signature (−,+,+,+), two-form field, and SI conventions stated in Einstein–Maxwell primitive quantities and SI conventions and Strict charged barotropic tensor system. On an open set U of that spacetime, let ϵ:U→J be a smooth rest-energy-density scalar, let u be a smooth future-directed vector field with g(u,u)=−1, and let Z:U→R be a smooth charge-per-particle scalar. Here J⊆R is an open interval, ϵ and p(ϵ) have units J m−3 = Pa, u is dimensionless, and Z has units C. In this adopted model, the word barotropic means that pressure is a function of rest-energy density alone.

Adopt a smooth equation of state p:J→R satisfying ϵ+p(ϵ)>0,0<p′(ϵ)<1 for every ϵ∈J. The dimensionless derivative gives the model's barotropic characteristic speed cs:=cp′(ϵ), so this selection requires 0<cs<c. Fix ϵ∗∈J and a positive normalization N∗>0 with units m−3, and define N(ϵ):=N∗exp⁡ ⁣(∫ϵ∗ϵdzz+p(z)). For each ϵ∈J, the closed segment between ϵ∗ and ϵ is compact and contained in J; the smooth integrand is finite there. Its integral is dimensionless, so N(ϵ)>0 has units m−3. Within this model, N is the EOS-defined number-density variable and N∗ is its chosen normalization. This definition makes no claim that a microscopic particle theory derives N for every EOS.

Adopt the charged-fluid current and matter stress tensor ja:=cN(ϵ)Zua,Tm,ab:=(ϵ+p(ϵ))uaub+p(ϵ)gab, and the material balance and advection equations ∇aTm,ab=Fbcjc,ua∇aZ=0. Thus j is a smooth four-current with components in A m−2, and Tm has components in Pa in length coordinates x0=ct. The balance law adopts the Lorentz-force density with the same field and current conventions as the chosen Einstein-Maxwell formulation. Charge-per-particle is carried along the fluid flow. Current conservation is not an additional adopted material law.

This is a physical postulate for smooth classical matter in the strict interior regime only. It excludes shocks, vacuum interfaces, free boundaries, degenerate or superluminal sound speed, finite-conductivity and dissipative currents, point-charge sources, and arbitrary currents chosen independently of the fluid. The cited treatments motivate the perfect-fluid and charged-current structures in their own conventions; they do not establish this exact EOS normalization, the Z transport choice, or the physical applicability of this model. No matter action, experiment, or universal material law is asserted.

Depends on

Dependency tree · 2 levels

Sources