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.

Selected charged perfect-fluid exchange/Ohmic branch

Physical scope

A selected smooth positive-rest-energy perfect-fluid domain coupled through the adopted Einstein–Maxwell equations and matter exchange. The current is either convective or uses a separately selected smooth Ohmic conduction branch. It asserts no global fluid or conducting-fluid evolution, entropy law, or empirical validity.

Postulate

On a smooth open state domain Ω in the spacetime and SI conventions of Smooth matter quantities, current and observer observables, choose C1 rest-energy density ϵ>0, pressure p, rest-charge density σ, and a C2 future-timelike field U with g(U,U)=−c2. The equation-based coupled branch uses Equation-based Einstein–Maxwell model and Smooth curved vacuum Maxwell constitutive adoption with a smooth symmetric matter tensor and current supplied by this selected fluid model. Adopt the perfect-fluid tensor

Tmab=ϵ+pc2UaUb+pgab

and either the convective current ja=σUa or a separately specified conduction current ja=σUa+qa with qaUa=0. Adopt charge continuity ∇aja=0 and the local matter-exchange balance ∇aTmab=Fbcjc. The fields and derivatives are smooth enough for these equations to hold pointwise.

For an optional Ohmic branch, choose a smooth scalar conductivity χ≥0 in S m−1 and impose qa=χEUa, where EUa=FabUb is the rest-frame electric field in V m−1. This is a separate constitutive adoption, not a consequence of covariance or of the Maxwell equations. A smooth equation of state may be supplied on the chosen local state domain; no particular function, relativistic entropy law, causality assertion, or thermodynamic interpretation of ϵ,p is included here. The stress-projection and comoving work identities follow conditionally from Perfect-fluid exchange projections and conduction heating, but no global fluid or conducting-fluid solution theory is asserted.

This postulate adopts a local classical matter branch. It does not presume an unspecified matter action or infer empirical validity from the source literature.

Depends on

Dependency tree · 2 levels

Sources