Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedPipeline-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.

Dust continuity, transport and Lorentz acceleration

Physical scope

A conditional local stress/current balance reduction for the selected smooth charged-dust continuum on an open positive-density region. It identifies the exact mass-continuity, charge-transport and Lorentz-force equations and asserts no coupled PDE existence or behavior at zero density.

Statement

Let Ω+⊆Ω be an open positive-density region of the charged-dust model in Selected transported charged-dust Einstein–Maxwell model. Let ρ,σ∈C1(Ω+,R) with ρ>0, let U∈C2(Ω+,TΩ+) be future timelike with g(U,U)=−c2, and let the smooth electromagnetic two-form and metric be those of that model. Set ab:=Ua∇aUb, Tmab:=ρUaUb, and ja:=σUa.

On Ω+ the adopted charged-dust matter-exchange equation ∇aTmab=Fbcjc is equivalent to

∇a(ρUa)=0,ρab=σFbcUc.

Under the mass-continuity equation, ∇aja=0 is equivalent to transport of the charge-to-mass ratio α:=σ/ρ along the flow, Ua∇aα=0. These are model deductions on Ω+; the ratio and the divided force law are not defined at zero density. The result is local to its stated smooth positive-density domain and asserts neither a global smooth continuation nor validity of the single-velocity model beyond that domain. It supplies no Maxwell or Einstein solution or coupled-field existence theorem.

Facts & Assumptions

Given: The smooth fields, regularity, normalization, dust closure and positive-density domain in the Statement, together with the selected physical branch and the exact mathematical supplier below.

[A1]

Selected transported charged-dust Einstein–Maxwell model: the selected model uses Tmab=ρUaUb, ja=σUa, the undivided mass and Lorentz-force equations, and charge-current conservation; on ρ>0 it uses α=σ/ρ.

[F1]

Charged dust balance equivalence and advected charge ratio: for ρ>0, C1 real ρ,σ, and C2 future timelike U with g(U,U)=−c2, its stated stress-exchange implication and its charge-conservation/transport equivalence under continuity apply. The stress-exchange implication assumes the exchange equation, so step 1.1 proves the converse directly. This current supplier is a draft result and is used only at these stated interfaces.

Proof

1.1A1F1givenalgebra

The physical fields in [A1] have the regularity, positive-density domain, normalization, dust stress and current required by [F1]. If the stress-exchange equation holds, the stated implication in [F1] gives mass continuity and the Lorentz-force equation. Conversely, the product rule gives ∇aTmab=Ub∇a(ρUa)+ρab; if mass continuity and the Lorentz-force equation hold, this equals σFbcUc=Fbcjc, recovering stress exchange. Hence the two directions of the equivalence hold on Ω+, with division used only there.

2.1A1F1step 1.1algebra∎

Under the mass-continuity equation from step 1.1, the current-conservation clause of [F1] applies to ja=σUa and α=σ/ρ, giving ∇aja=0 exactly when Ua∇aα=0. The equivalence is only along U and imposes no transverse constancy; neither statement is extended to ρ=0.

Depends on

Dependency tree · 2 levels

Sources