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.
The Lorentz coupling: external force on a test charge and the continuum force and power densities
The adopted coupling of the classical framework between the electromagnetic field and matter: the covariant equation of motion of a test charge in a prescribed external field with constant charge and positive rest mass, and the continuum force and power densities for a matter model to which the coupling applies. The postulate excludes self-fields, radiation reaction, magnetic monopoles and any exact nonrelativistic law; it is a model assumption and not an experimental result.
Postulate
Adopt as physical postulates of this framework, on the spacetime and particle model of Adopted Minkowski physical model of the electromagnetic framework and Worldlines, four-velocity, chart readings and the frame/observer distinction and on the special-relativity particle model Adopted massive-particle momentum, observer measurement and isolated-collision conservation:
(i) [Test charge in a prescribed external field] Let be a constant charge parameter (Charge parameter, frame charge and current densities, volume charge and flux, and the four-current), an externally supplied rest mass, a future timelike massive worldline with four-velocity , and let be a prescribed field of The electromagnetic two-form, its observer decomposition and the four-current that is on a neighbourhood of the graph of and is generated externally to the particle. Adopt the equation of motion
where, at each original parameter , is the raised-index operator of the field at , defined by (Antisymmetric contractions vanish and preserves ); equivalently . Here is the derivative of with respect to its proper-time function : explicitly , with . It is the four-acceleration of the worldline (Worldlines, four-velocity, chart readings and the frame/observer distinction, Norms of four-velocity and four-acceleration, and the observer rest-space decomposition). The particle's own field is excluded from : this is the external-field coupling, and it defines no self-force.
(ii) [Continuum matter coupling] For a smooth source of Charge parameter, frame charge and current densities, volume charge and flux, and the four-current interacting with the field through an explicitly stated matter model to which this coupling applies, adopt the force density (unit N m) and the power density (unit W m) as the electromagnetic source terms of that matter model, with the spatial cross product of The cross product in ; they describe the local interaction of the field with matter and are not a property of a prescribed current alone.
(iii) [Scope] The rest mass and the charge are inputs; is not derived within electromagnetism. The coupling is adopted for constant and ; no magnetic-monopole coupling, no radiation reaction and no self-force are included. In particular the nonrelativistic coordinate statement is not adopted as exact: the adopted statement is the covariant one of clause (i), and any low-speed statement requires its own approximation hypotheses and error bounds.
Depends on
The cross product in
The electromagnetic two-form, its observer decomposition and the four-current
The electric and magnetic fields as fixed-time spatial vector fields
Worldlines, four-velocity, chart readings and the frame/observer distinction
Charge parameter, frame charge and current densities, volume charge and flux, and the four-current
Antisymmetric contractions vanish and preserves
Adopted Minkowski physical model of the electromagnetic framework
Adopted massive-particle momentum, observer measurement and isolated-collision conservation
Energy, momentum, invariant mass and four-force of relativistic particles, and necessary collision thresholds
Norms of four-velocity and four-acceleration, and the observer rest-space decomposition
Dependency tree · 2 levels
Sources
- David Tong, Electromagnetism, University of Cambridge Mathematical Tripos lecture notes (Lent Term, 2015; 236 PDF pages)
- David J. Griffiths, Introduction to Electrodynamics, 3rd edition (Prentice Hall 1999, 596 pp.; full scanned text)
- L. D. Landau, E. M. Lifshitz, The Classical Theory of Fields, Third Revised English Edition (Course of Theoretical Physics vol. 2, Pergamon Press 1971, 387 pp.)