Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-10-15
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.

Flat Lorentz–Abraham–Dirac effective equation

Physical scope

Adopted flat-space point-particle effective equation in a prescribed external field. It is a model postulate, not a derivation from a coupled Maxwell point source, finite-body limit, or observation; it asserts no solution existence or global accuracy.

Postulate

Restrict Charged and spinning test-body quantities to its flat affine Minkowski branch, with signature (−,+,+,+), proper time τ in seconds, future four-velocity U=dx/dτ satisfying η(U,U)=−c2, constant primitive m>0 in kilograms and nonzero charge q∈R in coulombs. Let the prescribed external electromagnetic two-form F be C2 on an open neighborhood of the worldline; use the component convention F0i=−Ei/c, Fij=ϵijkBk of The electromagnetic two-form, its observer decomposition and the four-current. Let a:=dU/dτ and

α:=q/m,τe:=q26πϵ0mc3>0,f0a:=αFabUb,

where ϵ0=(μ0c2)−1 follows Framework-local SI units, the vacuum constants and the exact/measured status of their values. Adopt the flat LAD effective equation

aa=f0a+τe(daadτ−ηbcabacc2Ua).

The derivative is the ordinary derivative in an inertial affine chart. Its dimensions are consistent: a and f0 are accelerations, the parenthesized term has acceleration per second, and τe is a time. This is an adopted effective model equation for sufficiently regular curves (at least C3); it is not asserted to be an exact law of nature, a point-source Maxwell construction, or a globally well-posed dynamics. In particular, no existence, uniqueness, stability, or empirical claim is part of this postulate.

At each proper-time value τ, define the particle's instantaneous rest frame to be the tuple (x(τ);e0,e1,e2,e3), where e0=U(τ)/c and (e1,e2,e3) is a positively oriented η-orthonormal basis of U(τ)⊥. This is a pointwise basis at the event x(τ), not one inertial chart along an accelerated curve; the rest-space norm is ∥v∥rest:=η(v,v) for v∈U(τ)⊥. Use of the equation as a reduced physical approximation carries the source's qualitative validity qualification that radiation reaction be small relative to the applied Lorentz force in this instantaneous rest frame. This postulate neither asserts that condition for arbitrary F nor supplies a numerical threshold; the qualification is not used to deduce the local ODE results or the force-free counterexample.

Facts & Assumptions

Given: The flat charged-body quantities and proper-time convention of Charged and spinning test-body quantities, the flat electromagnetic tensor sign convention of The electromagnetic two-form, its observer decomposition and the four-current, the SI definition of ϵ0 in Framework-local SI units, the vacuum constants and the exact/measured status of their values, and the additional smoothness and nonzero-charge restrictions explicitly stated above.

[A1]

Adopt the displayed third-order equation as a separate flat effective model postulate. Its validity as a physical approximation is not concluded here.

[F1]

Charged and spinning test-body quantities: the flat branch uses a prescribed two-form, constant primitive m,q, proper-time parameter, and η(U,U)=−c2.

[F2]

The electromagnetic two-form, its observer decomposition and the four-current: in the stated SI inertial chart F0i=−Ei/c and Fij=ϵijkBk.

[F3]

Framework-local SI units, the vacuum constants and the exact/measured status of their values: ϵ0=(μ0c2)−1; no numerical value or precision is assumed.

Adopted status

The equation is taken as a modeling premise. The source discussion motivates radiation-reaction modeling and order reduction but does not turn this postulate into an experimentally proved universal law. No self-field is evaluated at the worldline here.

Depends on

Dependency tree · 2 levels

Sources