Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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

Physical scope

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 q∈R be a constant charge parameter (Charge parameter, frame charge and current densities, volume charge and flux, and the four-current), m>0 an externally supplied rest mass, x:J→A a future timelike C2 massive worldline with four-velocity U, and let F be a prescribed field of The electromagnetic two-form, its observer decomposition and the four-current that is C1 on a neighbourhood of the graph of x and is generated externally to the particle. Adopt the equation of motion

m dUdτ=q Φ(U),

where, at each original parameter s∈J, Φ=Φx(s) is the raised-index operator of the field at x(s), defined by η(Φx(s)(u),w)=F(x(s))(w,u) (Antisymmetric contractions vanish and mU′=qΦ(U) preserves η(U,U)); equivalently m dUμ/dτ=q FμνUν. Here dU/dτ is the derivative of U with respect to its proper-time function τ(s): explicitly dU/dτ=U′(s)/τ′(s), with τ′(s)=c−1−η(x′(s),x′(s))>0. 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 F: this is the external-field coupling, and it defines no self-force.

(ii) [Continuum matter coupling] For a smooth source (ρ,J) 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 ρE+J×B (unit N m−3) and the power density J⋅E (unit W m−3) as the electromagnetic source terms of that matter model, with the spatial cross product of The cross product in R3; 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; m is not derived within electromagnetism. The coupling is adopted for constant q and m>0; no magnetic-monopole coupling, no radiation reaction and no self-force are included. In particular the nonrelativistic coordinate statement mr′′=q(E+r′×B) 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

Dependency tree · 2 levels

Sources