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 transported charged-dust Einstein–Maxwell model

Physical scope

A selected smooth charged-dust continuum with one four-velocity field U on its stated domain in the equation-based Einstein–Maxwell model. It adopts the dust stress/current closure, undivided mass and force equations, and charge conservation; the ratio is transported only on positive-density domains. It makes no coupled PDE existence claim and asserts neither a global smooth continuation nor single-velocity validity beyond the stated domain; singular particles and empirical validity are outside scope.

Postulate

On an open region Ω of the smooth oriented, time-oriented Lorentzian spacetime and SI conventions of Smooth matter quantities, current and observer observables, adopt the equation-based Einstein and smooth curved Maxwell systems of Equation-based Einstein–Maxwell model and Smooth curved vacuum Maxwell constitutive adoption, with the smooth matter quantities and electromagnetic stress of Smooth matter quantities, current and observer observables. Thus the coupled branch includes the adopted Einstein equation Gab+Λgab=(8πGN/c4)(Tm,ab+TabEM) and Maxwell equations dF=0, ∇aFab=−μ0jb, using the fixed local SI signs, units and curvature convention of those suppliers. Their adopted equations remain physical assumptions; neither is deduced here from flat spacetime, variational stationarity, or mathematical structure.

Choose smooth ρ,σ,U on Ω, with ρ≥0, U future timelike, g(U,U)=−c2, and σ=0 wherever ρ=0. Select the pressureless dust closure

Tmab=ρUaUb,ja=σUa.

As the matter model, adopt the undivided smooth mass and Lorentz-force equations

∇a(ρUa)=0,ρUa∇aUb=σFbcUc,

and charge-current conservation ∇aja=0. On each open region Ω+:={p∈Ω:ρ(p)>0} define α:=σ/ρ. Under the adopted mass continuity and charged-dust forms, Charged dust balance equivalence and advected charge ratio gives the exact equivalence between charge-current conservation and transport Ua∇aα=0. The ratio is not defined and no division is made on ρ=0. This ratio statement is restricted to Ω+; no global coupled evolution theorem is asserted.

This is a selected classical pressureless continuum model with one four-velocity field U on the stated smooth domain. It excludes viscosity, conduction, multistream averaging, spin, point sources, self-field products and a general dust action. The finely fixed charge-to-mass ratio used in the specific ECD solutions of Meinel and Hütten is not a law of this general model. The postulate asserts neither a global smooth continuation nor validity of a single-velocity description beyond the stated domain; it makes no coupled-solution existence, uniqueness, stability, or empirical claim.

Depends on

Dependency tree · 2 levels

Sources