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
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 with , let be future timelike with , and let the smooth electromagnetic two-form and metric be those of that model. Set , , and .
On the adopted charged-dust matter-exchange equation is equivalent to
Under the mass-continuity equation, is equivalent to transport of the charge-to-mass ratio along the flow, . 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.
Selected transported charged-dust Einstein–Maxwell model: the selected model uses , , the undivided mass and Lorentz-force equations, and charge-current conservation; on it uses .
Charged dust balance equivalence and advected charge ratio: for , real , and future timelike with , 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
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 ; if mass continuity and the Lorentz-force equation hold, this equals , recovering stress exchange. Hence the two directions of the equivalence hold on , with division used only there.
Under the mass-continuity equation from step 1.1, the current-conservation clause of [F1] applies to and , giving exactly when . The equivalence is only along and imposes no transverse constancy; neither statement is extended to .
Depends on
Dependency tree · 2 levels
Sources
- Sean M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1, complete 238-page lecture notes
- David Tong, General Relativity, complete author-hosted 290-page lecture notes
- Reinhard Meinel and Moritz Hütten, On the black hole limit of electrically counterpoised dust configurations, arXiv:1105.3807v3 (2011)