Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-10-22
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 nonrelativistic Abraham–Lorentz equation as a restricted effective model

Physical scope

An additional restricted nonrelativistic effective model for a point particle represented by one trajectory in a named laboratory chart, driven by a prescribed external force. The equation is adopted rather than derived from the Maxwell self-field or the external Lorentz-coupling postulate. Its physical interpretation is limited to intervals and force profiles explicitly declared to be low-speed and slowly varying; this item sets no universal empirical cutoff and reports no experiment.

Postulate

Work in one named laboratory chart with spatial coordinate space R3 and time coordinate t∈R. Let q∈R∖{0} be the framework charge parameter, let m>0 be an externally supplied mass parameter, and take the SI constants c>0 and ε0>0 of the electromagnetic framework. Define the positive time constant

τ:=q26πε0mc3>0.

The units are [q]=C, [m]=kg, [c]=m s−1, and [ε0]=F m−1, so [τ]=s. A prescribed external force is a continuous map f:R→R3 with units N. A particle trajectory in this model is a map x:R→R3 with three continuous time derivatives; its velocity and acceleration are v(t):=x˙(t) and a(t):=x¨(t), with units m s−1 and m s−2. The term point particle means that the model assigns one position x(t) and no spatial extent.

Adopt, as an additional effective model postulate, the equation

m(a(t)−τa˙(t))=f(t)(t∈R).

Both ma and mτa˙ have units of force. The dot on a means differentiation with respect to the laboratory time. This equation is not obtained by evaluating the particle's singular Maxwell self-field in the adopted Lorentz force law. The previously developed prescribed-source radiation model does not define that self-interaction; this postulate introduces a separate effective equation.

For physical use on a compact interval I⊂R, assume f is continuously differentiable there, choose dimensionless tolerances η,δ∈(0,1) and a positive force scale F∗ with units N, and state the chosen values. In this item, low-speed at tolerance η means sup⁡t∈I∣v(t)∣≤ηc, and slowly varying relative to τ at tolerance δ means τsup⁡t∈I∣f˙(t)∣≤δF∗. These are explicit regime conventions for an application, not universal empirical thresholds. The ODE is an exact adopted equation on its mathematical domain; its physical interpretation is restricted to applications that state their regime and tolerances.

Depends on

Dependency tree · 2 levels

Sources