Force on a point charge source of the classical electromagnetic field Michael K.-H. Kiessling1, ∗ 1Department of Mathematics, Rutgers University, 110 Frelinghuysen Rd., Piscataway, NJ 08854, USA It is shown that a well-defined expression for the total electromagnetic force f em on a point charge source of the classical electromagnetic field can be extracted from the postulate of total momen- tum conservation whenever the classical electromagnetic field theory satisfies a handful of regularity conditions. Among these is the generic local integrability of the field momentum density over a neighborhood of the point charge. This disqualifies the textbook Maxwell–Lorentz field equations, while the Maxwell–Bopp–Land´e–Thomas–Podolsky field equations qualify, and presumably so do the Maxwell–Born–Infeld field equations. Most importantly, when the usual relativistic relation between the velocity and the momentum of a point charge with “bare rest mass” mb 6= 0 is postulated, New- d em ton’s law dt p = f with f = f becomes an integral equation for the point particle’s acceleration; the infamous third-order time derivative of the position which plagues the Abraham–Lorentz–Dirac equation of motion does not show up. No infinite bare mass renormalization is invoked, and no ad hoc averaging of fields over a neighborhood of the point charge. The approach lays the rigorous microscopic foundations of classical electrodynamics with point charges. Preprint with erratum implemented (colored correction markings): April 21, 2020 I. INTRODUCTION with the space & time splitting well-suited for the formu- lation of a dynamical initial value problem we seek, even The practical success of the Lorentz formula [1] though the Lorentz co-variance is then obscured. Note that the above formulas are valid in any flat foliation of f em (t)= e (t, q(t)) + 1 v(t)× (t, q(t)) (1) Minkowski spacetime into Euclidean space points s R3 Lor E c B − E B at time t R. ∈ for the electromagnetic force exerted by a given, smooth ∈ s s electric field (t, ) and magnetic induction field (t, ) A. The current state of affairs on a moving Etest point electron with charge e, positionB − q(t), and velocity v(t) is well established; here, c is the The field singularity associated with a motion t q(t) speed of light in vacuum. However, this formula is noto- having bounded piecewise continuous acceleration7→ a(t) riously ill-defined when the point electron is not idealized has been known explicitly for a long time. Since the sys- as a “test particle” but treated properly as a source of tem of Maxwell–Lorentz field equations is linear, their the electromagnetic fields with which it interacts. The general distributional solution can be written as the Maxwell–Lorentz equations for these fields, consisting of sum of the general Lipschitz continuous source-free elec- the two evolution equations tromagnetic field solution, for which (1) makes perfect ∂ sense, plus the retarded Li´enard–Wiechert field [2], [3], (t, s)= c∇× (t, s) , (2) ret ret ret ret ∂tB − E lw := lw & lw := lw, with (cf. [4]) ∂ ∇× B H E D ∂t (t, s)=+c (t, s)+4πev(t)δq(t)(s) , (3) E B 2 2 ret c v cn(q, s) v together with the two constraint equations lw(t, s)= e − | | − 3 (6) D − s q 2 c n(q, s) v | − | − · ret ∇ (t, s)=0 , (4) ·BB n(q, s)× cn(q, s) v× a ∇ s s (t, )= 4πeδq(t)( ) , (5) e − 3 ·EE − − s q c n(q, s) v | − | − · ret make it plain that Maxwell–Lorentz (ML) fields with a ret × ret lw(t, s)= n(q, s) ret lw(t, s) , (7) arXiv:1907.11239v4 [physics.class-ph] 1 May 2020 single point charge source, at q(t), must have some singu- H | D larity at s = q(t). In the remainder of this introduction where n(q, s) = s−q is a normalized vector from q to we first summarize the current state of affairs in dealing |s−q| ret with this problem, and then we recall the major defi- s, and where “ ret” means that (q, v, a) = (q, v, a)(t ) ret | ret ciencies of this approach that were pointed out by others with t (t, s) being defined implicitly by c(t t ) = ret − already. The rest of this paper is devoted to setting up a s q(t ) ; here, a is the acceleration vector of the point | − | ret well-defined classical theory of point charge motion. charge. The electromagnetic Li´enard–Wiechert fields lw ret 2 B and lw exhibit both a 1/r and a 1/r singularity, We will occasionally invoke a manifestly co-variant ge- E ∝ ∝ ometrical four-vector notation, but mostly we will work where r denotes s q(t) ; they each have a directional singularity at the| location− | of the point charge source, too. In an attempt to give some mathematical mean- ing to the manifestly ill-defined symbolic expressions ∗ [email protected] “ (t, q(t))” and “ (t, q(t))” when (t, s) and (t, s) are E B E B 2 a sum of a regular source-free field and the Li´enard– to quantum electrodynamics and, more generally, quan- Wiechert fields (6) and (7), Lorentz and his contempo- tum field theory. However, if electrons are true points raries averaged the fields (t, s) and (t, s) over a neigh- without structure, then Dirac’s construction is logically borhood of the point chargeE at q(t), butB this does not lead incomprehensible: if a point electron has a bare mass, to unambiguous finite vector values for “ (t, q(t))” and then it cannot depend on the radius r of a sphere over “ (t, q(t)),” and when the neighborhood isE shrunk to the which one averages the Maxwell–Lorentz fields. pointB q(t) the infinities are back. The conclusion at the Postponing such logical concerns until later in his life, time (and also more recently in [5]) was that the physical Dirac obtained the Abraham–Lorentz–Dirac equation, electron cannot be assumed to be a point, but must have which in the four-vector notation explained in [9] reads an extended charge distribution and perhaps some other 2 structure, all of which to determine became a goal of d e ext d mobs 2 q = F (q) q (9) what Wiechert and Lorentz called “electron theory” [6], dτ − c · dτ 2 nowadays referred to as “classical electron theory.” It’s 2e 1 d d d3 + g + q q 3 q an interesting dynamical theory in its own right; for more 3c3 c2 dτ ⊗ dτ · dτ recent investigations, see the books [7] and [8], and the papers [5] and [9]. Since we are interested in the theory where the term in the first line at r.h.s.(9) is an “exter- of point charge motion, we here do not spend much time nally generated” test-particle-type Lorentz Minkowski- with classical electron theory, except that we note that force, and the term in the second line at r.h.s.(9) is von some insights gained in its pursuit made their way into Laue’s radiation-reaction Minkowski-force. the prevailing classical theory of point electron motion While (9) is free of infinities if Fext(q) is smooth, the which was put together by Dirac and Landau & Lifshitz. third proper time derivative in the von Laue Minkowski- In 1938 Dirac [10] invented negative infinite bare mass force means that (9) is a third-order ODE for the position renormalization to avoid the infinities which occur when of the particle as a function of (proper) time. The perti- the averaging surface about q(t) is shrunk to q(t). Fol- nent initial value problem therefore requires vector initial lowing Fermi’s contribution to classical electron theory data for position, velocity, and acceleration. Yet a clas- [11], Dirac averaged the fields over a sphere of radius r sical initial value problem of point particle motion may only involve initial data for position and velocity. centered at the electron in its instantaneous rest-frame. ... Also, he worked with linear combinations of the retarded Landau & Lifshitz [12] handled this q problem in the following perturbative manner. They argued that von and advanced representations of the fields. With mobs ... denoting the electron’s “observable rest mass,” Dirac as- Laue’s q Minkowski-force term must be a small pertur- bation of f ext whenever test-particle theory works well. signed an averaging radius-dependent bare mass mb(r) ... to the point electron, defined by In such situations one may compute q perturbatively by taking the proper time derivative of the test-particle e2 1 equation of motion, i.e. mobs = limr↓0 mb(r)+ 2c2 r ; (8) d3 e d ext d 3 q F (q) q . (10) dτ ≈− mobsc dτ · dτ evidently, mb(r) as r 0. As is well-known, Dirac’s mass-renormalization↓ −∞ computations↓ became the R.h.s.(10) depends only on q, q˙ , q¨. If we substitute it for template for the modern renormalization group approach d3 dτ 3 q at r.h.s.(9), equation (9) becomes 2 3 d e ext d 2e 1 d d d ext d mobs 2 q = F (q) q 4 g + 2 q q F (q) q , (11) dτ − c · dτ − 3mobsc c dτ ⊗ dτ · dτ · dτ an implicit second-order ODE for the position of the elec- owe their longevity to their reputation as practically ef- tron, compatible with the available initial data. Equa- fective equations of motion for the computation of (first- tion (11) is called the Eliezer–Ford–O’Connell equation order) radiation-reaction-corrected test-particle dynam- in [14].