On Feynman's handwritten notes on electromagnetism and the idea of introducing potentials before fields
OOn Feynman’s handwritten notes onelectromagnetism and the idea ofintroducing potentials before fields
Jos´e A. Heras and Ricardo Heras Instituto de Geof´ısica, Universidad Nacional Aut´onoma de M´exico, Ciudad de M´exico 04510,M´exico. E-mail: [email protected] Department of Physics and Astronomy, University College London, London WC1E 6BT, UK.E-mail: [email protected]
Abstract.
In his recently discovered handwritten notes on “An alternate way to handleelectrodynamics” dated on 1963, Richard P. Feynman speculated with the idea of gettingthe inhomogeneous Maxwell’s equations for the electric and magnetic fields from the waveequation for the vector potential. With the aim of implementing this pedagogically interestingidea, we develop in this paper the approach of introducing the scalar and vector potentials beforethe electric and magnetic fields. We consider the charge conservation expressed through thecontinuity equation as a basic axiom and make a heuristic handle of this equation to obtainthe retarded scalar and vector potentials, whose wave equations yield the homogeneous andinhomogeneous Maxwell’s equations. We also show how this axiomatic-heuristic procedure toobtain Maxwell’s equations can be formulated covariantly in the Minkowski spacetime.“
He (Feynman) said that he would start with the vector and scalar potentials, then everythingwould be much simpler and more transparent. ” M. A. Gottlieb-M. Sands Conversation †† M. A. Gottlieb comments that “In 2008 Matt Sands told me that in about the middle of the 2nd year of the FLPlectures [Feynman Lectures on Physics], Feynman started to complain that he was disappointed that he had beenunable to be more original. He explained that he thought he had now found the ‘right way to do it’ – unfortunatelytoo late. He said that he would start with the vector and scalar potentials, then everything would be much simplerand more transparent. These notes [the five handwritten pages dated on 1963] are the only known documentationof Feynman’s ‘right way to do it.”’ Extract taken from Feynman Lecture Notes of M. A. Gottlieb appearing in thewebpage: http: // / info / notes.html. To put these comments in context, we mustsay that Feynman was not satisfied with the standard presentation of electromagnetism appearing in the secondvolume of Feynman’s Lectures [1]. Regarding this presentation he wrote: “I couldn’t think of any really unique ordi ff erent way of doing it –or any way that would be particularly more exciting than the usual way of presenting it.So I don’t think I did very much in the lectures on electricity and magnetism.” a r X i v : . [ phy s i c s . h i s t - ph ] J un A Heras and R Heras 2
1. Introduction
Searching through the historical Caltech archives, Gottlieb [2] recently discovered fivehandwritten pages of notes dated on Dec. 13, 1963 in which Richard P. Feynman sketchedsome ideas on an alternate way to handle electrodynamics. More recently, De Luca et al.[3] have presented their version of how a part of Feynman’s ideas may be implemented sothat they may be used as a supplementary material to usual treatments on electrodynamics.Following Feynman’s ideas to a certain extent, they heuristically obtained the Lorentz forceand the homogeneous Maxwell’s equations. Their procedure can be briefly outlined as follows. • Following Feynman, De Luca et al. [3] assume that the force on an electric charge q moving with velocity v j is of the generic form F i = q ( E i + v j B i j ), where E i and B i j are functions of space and time to be determined (summation on repeated indices isunderstood). Next, this 3-force is assumed to be the spatial component of a 4-force.Considering the relativistic transformation of this 4-force, the form of the 3-force is foundto be: F = q ( E + v × B ) where B represents the independent components of B i j (they make c = E and B maybe identified with those of the electric and magnetic fields and this leads to the conclusionthat F = q ( E + v × B ) is the Lorentz force. We should emphasize that this procedureto obtain the Lorentz force was roughly sketched out by Feynman in his handwrittennotes. In our opinion, however, Feynman’s route to the Lorentz force is criticisable: Thehypothesis of a force linear in the velocity is not su ffi ciently well justified. But we mustalso recognize that the derivation of a Lorentz-like force from relativistic considerationsand the assumption of a force depending linearly on velocity are conceptually interesting. • De Luca et al. [3] assume the relativistic action S = (cid:82) t t [ − m ds − qA µ dx µ ], where A µ isthe 4-potential (they now use relativistic notation). They then vary this action to find theforce F = q [ −∇ Φ − ∂ A /∂ t + v × ( ∇ × A )]. Comparison of this force with the previouslyobtained Lorentz force yield the relations E = −∇ Φ − ∂ A /∂ t and B = ∇ × A whichimply the homogeneous Maxwell’s equations ∇ · B = ∇ × E = − ∂ B /∂ t . Thisprocedure based on the least action principle, which starts with potentials and ends withthe homogeneous Maxwell equations, was not drawn in Feynman’s handwritten notes. Ingetting the homogeneous Maxwell equations, De Luca et al. [3] considered the Feynman’sHughes Lectures [4]. They justify their procedure by arguing that “It is conceivable thatFeynman had something like this in mind in 1963, when he wrote his notes.” ‡ ‡ This opinion of De Luca et al. is questionable. In a 1966 interview with C. Weiner [see the website:https: // / history-programs / niels-bohr-library / oral-histories / ff erent from the Lagrangian explanation when he wrote his notes. A Heras and R Heras 3Although the attempt of De Luca et al. [3] to make useful Feynman’s alternate way to handleelectrodynamics is valuable, it turns out to be incomplete because the inhomogeneous Maxwellequations: ∇ · E = ρ/(cid:15) and ∇ × B = µ J + (cid:15) µ ∂ E /∂ t were not inferred. De Luca et al.recognize this incompleteness but they make no attempt to address this problem. Interestingly,Feynman himself wasn’t sure how to get the inhomogeneous Maxwell’s equations as may beseen in the third point of his first handwritten page, which is partially reproduced in figure 1.With signs of doubt (he wrote: How!?) he speculated with the idea that such inhomogeneousequations could be obtained from the wave equation for the vector potential or from “otherprinciple.” It is not surprising that Feynman was interested in following the unconventionalroute of starting with potentials before considering the inhomogeneous Maxwell’s equations.Feynman liked the idea that potentials and fields had the same level of reality. In the context ofthe Aharonov-Bohm e ff ect and referring to the vector potential A and the magnetic field B , hewrote [5]: “ A is as real as B -realer, whatever that means.”We think that the speculative idea raised by Feynman of introducing potentials beforefields is pedagogically interesting and deserves to be explored. In this sense it is pertinent to saythat in the traditional presentation of Maxwell’s equations appearing in textbooks, potentialsare introduced using the homogeneous Maxwell’s equations. The electric and magnetic fieldsexpressed in terms of the scalar and vector potentials are then used in the inhomogeneousMaxwell’s equations, obtaining explicit retarded forms of these potentials. The reversedidea of introducing first retarded potentials satisfying wave equations and then deriving thehomogeneous Maxwell’s equations does not seem to have been explored so far, at least inthe standard literature available to us. However, we believe that the idea exploring alternativepresentations of Maxwell’s equations is important for pedagogical and conceptual reasons.In this paper we suggest that the “other principle” to obtain the inhomogeneous Maxwell’sequations mentioned by Feynman may be the principle of local charge conservation representedby the continuity equation. We show how a heuristic procedure involving formal operations onthe continuity equation evaluated at the retarded time leads to a first-order equation in whichwe identify the retarded scalar and vector potentials. We then apply the D’Alembertian operatorto the retarded potentials, obtaining the wave equations they satisfy. In the final step, we usethese wave equations to get not only the inhomogeneous Maxwell’s equations but also thehomogeneous ones. Our approach is axiomatic in the sense that it starts with the continuityequation as the basic axiom but it is also heuristic in the sense that this equation is heuristicallyhandled. We also show that this axiomatic-heuristic procedure to obtain the full set of Maxwell’sequations can be covariantly developed in the Minkowski spacetime. To put in context ouraxiomatic-heuristic procedure, it is pertinent to mention that in a series of papers [6, 7, 8] whichoriginated some comments [9, 10] and their respective replies [11, 12], one of us has developedthe idea of getting Maxwell’s equations by starting with the continuity equation evaluated atthe retarded time but without appealing to potentials as we now do in the present paper. In thecited papers it has been argued that charge conservation and causality, respectively representedby the local continuity equation and the retarded time are the cornerstones on which Maxwell’s A Heras and R Heras 4 Figure 1:
Extract of Feynman’s first handwritten page entitled “Alternate Way to HandleElectrodynamics.” The point 3 states: “Third Get the other two field equations .... HOW!?By relativity thru (to) (cid:3) A = j? or other principle? .... Or By experimental discussion ofCoulomb law (surely include), Ampere Law etc.” Reproduced with the permission of the estateof Richard P. Feynman and The California Institute of Technology. equations are based and therefore they can be considered to be the two fundamental postulatesfor these equations. It is worth mentioning that although Maxwell’s equations are universallyaccepted, the question of what their fundamental physical postulates are remains a topic ofdiscussion and debate [13, 14, 15, 16, 17, 18, 19].The derivation of Maxwell’s equations presented here in its three-dimensional and four-dimensional versions, which considers potentials as primary quantities and fields as derivedquantities, may be useful to grasp the background of Maxwell’s theory and may be presented inundergraduate courses of electromagnetism. A Heras and R Heras 5
2. Introducing the potentials Φ and A before the fields E and B The electric charge conservation can locally be expressed by the continuity equation ∇ · J + ∂ρ∂ t = , (1)where ρ and J are the localised charge and current densities § which are functions of space andtime. Our approach to obtain Maxwell’s equations involves two ingredients: The basic axiomexpressed by the continuity equation and a heuristic handle of this equation which involves theconcept of causality.We then assume the existence of certain functions of space and time which are causally produced by these localised charge and current densities. Let us call these other unknownfunctions “the potentials.” We will justify this name later. We additionally assume that thesepotentials vanish su ffi ciently rapidly at spatial infinity so that the surface integrals containingthese potentials vanish at infinity. Our first task will consist in finding the explicit form of theseunknown potentials and the equations they satisfy. The causal connection between the expectedpotentials and their sources ρ and J means that the latter precede in time to the former, i.e., thepotentials calculated at the field point x at the time t are caused by the action of their sources ρ and J a distance R = | x − x (cid:48) | away at the source point x (cid:48) at the retarded time t (cid:48) = t − t . It isclear that t > R between the source point x (cid:48) and the point x . Consider now that the carrier ofthe interaction is the photon which moves in a straight line at the speed of light c in vacuum.This implies t = R / c and thus the retarded time takes the form: t (cid:48) = t − R / c . Put di ff erently,causality demands that the unknown potentials must be determined by their sources ρ and J evaluated at the retarded time. We then enclose the terms of the left of (1) in the retardationsymbol [ ] which indicates that the enclosed quantity is to be evaluated at the source point x (cid:48) atthe retarded time t (cid:48) = t − R / c , (cid:107) [ ∇ (cid:48) · J ] + (cid:20) ∂ρ∂ t (cid:48) (cid:21) = . (2)We now multiply the first term of (2) by the factor µ / (4 π R ) and the second term of (2) by theequivalent factor 1 / (4 π(cid:15) Rc ), ¶ where (cid:15) and µ are constants satisfying the relation (cid:15) µ = / c ,and integrate over all space, obtaining the equation µ π (cid:90) [ ∇ (cid:48) · J ] R d x (cid:48) + c π(cid:15) (cid:90) [ ∂ρ/∂ t (cid:48) ] R d x (cid:48) = . (3) § By localised we mean that the densities ρ and J are zero outside a finite region of space. We note that ρ and J could be also non-localised sources. But in this case they should vanish su ffi ciently rapidly at spatial infinity sothat the surface integrals involving these sources vanish at infinity. (cid:107) A nice interpretation of equation (2) has been given in Ref. [6]: “Consider an observer at a particular locationin space who has a watch that reads a particular time. The observer is surrounded by nested spheres, on each ofwhich there is a well-defined retarded time (with respect to the observer). Equation (2) states that the continuityequation holds (or rather, held) on each of those spheres, at the relevant retarded time.” ¶ The presence of the 1 / R pieces in these factors is consistent with our assumption that the envisioned potentialsvanish su ffi ciently rapidly at spatial infinity and guarantee that such potentials are uniquely determined. A Heras and R Heras 6With the idea of taking out the derivative operators from the integrals in (3), we perform anintegration by parts in the first term of (3), in which we use the result [20]: [ ∇ (cid:48) · J ] / R = ∇ · ([ J ] / R ) + ∇ (cid:48) · ([ J ] / R ) and the fact that the surface integral arising from the term ∇ (cid:48) · ([ J ] / R )vanishes at spatial infinity because J is localised. Next we use the result [6]: [ ∂ρ/∂ t (cid:48) ] = ∂ [ ρ ] /∂ t in the second term of (3). After performing the specified operations, the final result reads ∇ · (cid:40) µ π (cid:90) [ J ] R d x (cid:48) (cid:41) + c ∂∂ t (cid:40) π(cid:15) (cid:90) [ ρ ] R d x (cid:48) (cid:41) = . (4)The terms within the curly braces { ... } are determined by the retarded values of the sources J and ρ . We call these terms the retarded vector potential A and the retarded scalar potential Φ : A = µ π (cid:90) [ J ] R d x (cid:48) , Φ = π(cid:15) (cid:90) [ ρ ] R d x (cid:48) . (5)These are the potentials we were looking for. Thus, equation (4) takes the compact form ∇ · A + c ∂ Φ ∂ t = . (6)In the standard presentation of Maxwell’s equations, the relation (6) is interpreted as a gaugecondition, the so-called Lorenz condition. In our presentation, equation (6) should be ratherinterpreted as a field equation for potentials. At this stage we wonder what other field equationssatisfy the potentials A and Φ . We then apply the d’Alembert operator (cid:3) ≡ ∇ − (1 / c ) ∂ /∂ t tothe potentials in (5), use the result [6]: (cid:3) (cid:26) [ F ] R (cid:27) = − π [ F ] δ ( x − x (cid:48) ) , (7)where F is a function of space and time and δ is the Dirac delta function, + and finally integratethe resulting expressions over all space. After this calculation, we get two wave equations (cid:3) A = − µ J , (cid:3) Φ = − ρ(cid:15) . (8)These are the second-order equations we were looking for. They imply expressions for thecharge and current densities: J = − (cid:3) A /µ and ρ = − (cid:15) (cid:3) Φ that satisfy the continuity equation ∇ · J + ∂ρ∂ t = − µ (cid:3) (cid:32) ∇ · A + c ∂ Φ ∂ t (cid:33) = , (9)because of (6). The retarded potentials A and Φ given in (5) constitute the causal solution ofthe set formed by equations (6) and (8). This solution is shown to be unique [21]. ∗ Equations (8) form a set of second order equations connecting the potentials A and Φ with their sources J and ρ . A question arises: could there be a set of first order field equations + Equation (7) is proved in reference [6]. As pointed out in reference [18] this identity is true for functions F such that the quantities [ F ] / R have not the form [ F ] / R = f ( R )[ F ]. If for example f ( R ) = R then [ F ] / R = R [ F ]. Itfollows that (cid:3) ( R [ F ]) = − π R [ F ] δ ( x − x (cid:48) ) vanishes for x (cid:44) x (cid:48) because of the delta functionand also for x = x (cid:48) because this equality implies R = ∗ Using relativistic notation, Anderson in Ref. [21] has shown that the retarded potentials satisfy a set of su ffi cientinitial and boundary conditions to guarantee their uniqueness. It is clear that our approach to Maxwell’s equationsdoes not consider the gauge symmetry because we have constructed retarded potentials with the property to beunique. In other words: we have no gauge freedom in our approach to Maxwell’s equations. A Heras and R Heras 7equivalent to the set of equations in (8)? Let us investigate this possibility. Using the identity ∇ A ≡ ∇ ( ∇ · A ) − ∇ × ( ∇ × A ) and (6) and (8) we get the equivalent system of equations ∇ · (cid:26) − ∇ Φ − ∂ A ∂ t (cid:27) = ρ(cid:15) , (10) ∇ × {∇ × A } − c ∂∂ t (cid:26) − ∇ Φ − ∂ A ∂ t (cid:27) = µ J . (11)We realise that the quantity {−∇ Φ − ∂ A /∂ t } appears in both (10) and (11), and this does notseem to be a fortuitous coincidence. This quantity together with its partner {∇ × A } could bephysically significant. Let us introduce the fields E and B through the equations E = −∇ Φ − ∂ A ∂ t , B = ∇ × A . (12)This justifies the name of potentials to the functions A and Φ . According to (12) these potentialsdetermine the fields E and B . In terms of E and B , (10) and (11) take the compact form ∇ · E = ρ(cid:15) , (13) ∇ × B − c ∂ E ∂ t = µ J . (14)We note that the divergence of (14) together with (13) yield (1) back. Clearly, we have inferredother equivalent expressions for J and ρ , namely, J = ∇ × B /µ − (cid:15) ∂ E /∂ t and ρ = (cid:15) ∇ · E ,which satisfy the continuity equation (1). Of course, (13) and (14) must be completed withother two equations that specify the quantities ∇ · B and ∇ × E as dictated by the Helmholtztheorem [22]. These other equations are not di ffi cult to find. We quickly note that the fields E and B given in (12) imply the other two field equations ∇ · B = , (15) ∇ × E + ∂ B ∂ t = . (16)The set formed by the first order equations (13)-(16) is equivalent to the set formed by thesecond order equations (8) together with the equation (6). The set of equations (13)-(16) isuniquely determined whenever we adopt boundary conditions for the fields E and B that areconsistent with those of the potentials A and Φ .In order to find the significance of the fields E and B we use (5) and (12) and obtain theretarded solutions of (13)-(16), E = −∇ (cid:90) [ ρ ]4 π(cid:15) R d x (cid:48) − ∂∂ t (cid:90) [ J ]4 π(cid:15) c R d x (cid:48) , (17) B = ∇ × (cid:90) [ J ]4 π(cid:15) c R d x (cid:48) . (18)It becomes evident that E and B are retarded fields. The system formed by the coupled fourfirst-order equations (13)-(16) imply a system formed by two uncoupled second-order equations.To find the latter system we apply the d’Alembertian operator (cid:3) to (17) and (18), use (7), andintegrate the resulting expressions over all space to get the wave equations (cid:3) E = (cid:15) ∇ ρ + µ ∂ J ∂ t , (cid:3) B = − µ ∇ × J . (19) A Heras and R Heras 8Our task will be complete if we identify (cid:15) and µ with the vacuum permittivity and the vacuumpermeability. With this identification, the potentials Φ and A are the electromagnetic scalar andvector potentials and the fields E and B are the electric and magnetic fields.We have obtained two equivalent versions of electromagnetic field equations. The first oneis represented by equations (6) and (8) which are expressed in terms of the retarded scalar andvector potentials defined in (5) and the second one is represented by equations (13)-(16) whichare expressed in terms of the retarded fields defined by equations (17) and (18). This secondversion of the equations is identified with the familiar Maxwell’s equations.Let us emphasize that the fundamental elements of our axiomatic-heuristic approach to findthe Maxwell equations were the principle of charge conservation expressed by the continuityequation (the basic axiom) and an heuristic handle of this equation which involved the principleof causality represented by the retarded time.
3. Introducing the four-potential A µ before the electromagneticfield F µν The preceding axiomatic-heuristic approach can also be used to obtain the Maxwell equationsin the four-dimensional Minkowski spacetime. Let us introduce the corresponding notation.A point is denoted by x = x µ = { x , x i } = { ct , x } and the signature of the metric is ( + , − , − , − ) . Greek indices run from 0 to 3 and Latin indices run from 1 to 3. The summation convention onrepeated indices is adopted.The continuity equation in the four-space is elegantly simple ∂ ν J ν = , (20)where J ν is the four-current which is assumed to be a localised function of spacetime and ∂ µ isthe four gradient. Our basic axiom is now represented by the covariant form of the continuityequation. A heuristic manipulation of this equation will lead us to the manifestly covariantform of Maxwell’s equations.Our first task consists in finding a four-potential which is causally connected with the four-current via a covariant equation. The causal connection will be now implemented through theretarded Green function G = G ( x , x (cid:48) ) for the four-dimensional wave equation: ∂ µ ∂ µ G = δ (4) ( x − x (cid:48) ) , where ∂ µ ∂ µ = − (cid:3) is the wave operator and δ (4) ( x − x (cid:48) ) is the four-dimensional delta function.Integration of this wave equation yields the explicit form: G = δ { t (cid:48) − t + R / c } / (4 π R ). (cid:93) Thefunction G satisfies the property ∂ µ G = − ∂ (cid:48) µ G . We now evaluate (20) at the source point x (cid:48) andmultiply the resulting equation by µ G and integrate over all spacetime, obtaining (cid:90) µ G ∂ (cid:48) ν J ν d x (cid:48) = . (21) (cid:93) A heuristic way to get this Green function is discussed in Ref. [8]. Notice that this retarded form of the function G is not explicitly Lorentz-invariant. An equivalent form of the function G which is Lorentz-invariant is given by D r ( x , x (cid:48) ) = Θ ( x − x (cid:48) ) δ [( x − x (cid:48) ) ] / (2 π ) , where Θ is the theta function. See Ref. [23]. A Heras and R Heras 9After an integration by parts in (21), in which we use the relation G ∂ (cid:48) ν J ν = ∂ ν ( GJ ν ) + ∂ (cid:48) ν ( GJ ν )and the fact that the surface integral originated by the term ∂ (cid:48) ν ( GJ ν ) vanishes at spatial infinity,we take out the operator ∂ ν from the integral in (21) and obtain ∂ ν (cid:90) µ GJ ν d x (cid:48) = . (22)The integral in (22) must have some significant interpretation, we call it the four-potential A ν = µ (cid:90) GJ ν d x (cid:48) , (23)in terms of which (22) becomes elegantly simple compact ∂ ν A ν = . (24)In the next step we take the wave operator ∂ µ ∂ µ to (23), use the result ∂ µ ∂ µ G = δ (4) ( x − x (cid:48) ) andintegrate over all spacetime to obtain the wave equation ∂ µ ∂ µ A ν = µ J ν . (25)This is the covariant equation we were looking for. It clearly provides an expression for thefour-current J ν = ∂ µ ∂ µ A ν /µ that satisfies the continuity equation ∂ ν J ν = µ ∂ µ ∂ µ ∂ ν A ν = , (26)because of (24). Equation (25) is a second-order equation that causally connects the four-potential A ν with the four-current J ν . Are there two first-order equations equivalent to theequation (25)? The answer is in the a ffi rmative. We combine (24) and (25) to get the equation ∂ µ { ∂ µ A ν − ∂ ν A µ } = µ J ν . (27)We strongly suspect that the antisymmetric tensor ∂ µ A ν − ∂ ν A µ could be physically significant.We find convenient to label this antisymmetric tensor as F µν = ∂ µ A ν − ∂ ν A µ , (28)in terms of which (27) takes the elegant form ∂ µ F µν = µ J ν . (29)This provides us another expression for the four-current J ν = ∂ µ F µν /µ that satisfies thecontinuity equation ∂ ν J ν = µ ∂ µ ∂ ν F µν = , (30)because ∂ µ ∂ ν F µν ≡ ∂ µ ∂ ν is symmetric in the indices µ and ν and the tensor F µν is antisymmetric in these indices. On the other hand, any antisymmetric tensor field F µν inthe four-space has an associated a dual tensor defined by ∗ F µν = (1 / ε µναβ F αβ , where ε µναβ is thefour-dimensional Levi-Civita symbol with ε =
1. A generalised Helmholtz theorem [22, 24]states that an antisymmetric tensor field is completely determined by specifying its divergenceand the divergence of its dual. We can show that the dual of (28) is given by ∗ F µν = ε µναβ ∂ α A β and A Heras and R Heras 10its divergence reads ∂ µ ∗ F µν = ε µναβ ∂ µ ∂ α A β , whose right-hand side identically vanishes because ε µναβ is antisymmetric in the indices µ and α and the operator ∂ µ ∂ α is symmetric in these indices.Therefore the additional required field equation is given by ∂ µ ∗ F µν = . (31)The set formed by equations (24) and (25) is equivalent to the set formed by equations (29) and(31). Let us write (28) as F µν = ( δ νλ ∂ µ − δ µλ ∂ ν ) A λ , were δ νλ is the Kronecker delta. Using thisexpression for F µν together with (23) we obtain F µν = µ ( δ νλ ∂ µ − δ µλ ∂ ν ) (cid:90) GJ λ d x (cid:48) . (32)We now take the wave operator ∂ α ∂ α to (32), use ∂ µ ∂ µ G = δ (4) ( x − x (cid:48) ) and integrate over allspacetime, obtaining the wave equation ∂ α ∂ α F µν = µ ( ∂ µ J ν − ∂ ν J µ ) . (33)Our task will be complete if we appropriately specify the components of the four-current J µ , thefour-potential A µ , the electromagnetic field F µν and its dual ∗ F µν . The four-gradient is definedby ∂ µ = { (1 / c ) ∂/∂ t , ∇} . Therefore, if we write J ν = { c ρ, J } , A ν = { Φ / c , A } , (34)then (23)-(25) reproduce (5), (6) and (8) respectively. Similarly, if we write F i = ( E ) i / c , F i j = − ε i jk ( B ) k , ∗ F i = ( B ) i , ∗ F i j = ε i jk ( E ) k / c . (35)where ( E ) i and ( B ) k are the Cartesian components of the fields E and B , then (29), (31) and (32)reproduce (13)-(18).We have obtained two equivalent covariant versions of the electromagnetic field equationsin the Minkowski spacetime. The first one is represented by equations (24) and (25) which areexpressed in terms of the retarded four-potential defined in (23). The second one is representedby equations (29) and (31) which are expressed in terms of the retarded electromagnetic field(32) and its dual. This second version of the equations is identified with the covariant formof Maxwell’s equations. The basic physical ingredients of our axiomatic-heuristic procedureto find these equations were charge conservation mathematically represented by the covariantform of the continuity equation and a heuristic handling of this equation involving the retardedGreen function of the wave equation.
4. Discussion
How should we interpret the procedure proposed here to obtain
Maxwell’s equations? Have wereally made a derivation of these equations or just a construction of them?Following the traditional procedure starting with Maxwell’s equations, one introducespotentials and derives their wave equations (by adopting the Lorenz condition). By assumingappropriate boundary conditions the solutions of these wave equations yield the retardedpotentials which are then di ff erentiated to get the corresponding retarded electric and magnetic A Heras and R Heras 11fields. This conventional procedure is logically well-structured and then one can concludethat if Maxwell’s equations are postulated from the beginning then one can derive the retardedpotentials and hence their corresponding fields. End of the story.On the other hand, the reverse procedure starting with the retarded potentials and endingwith Maxwell’s equations does not seem to be simple at first sight. Suppose that by somemeans (which of course does not involve the Maxwell equations) we have found the retardedpotentials (5). Di ff erentiating these potentials one obtains their wave equations (8) and equation(6). Combining (6) and (8) one infers equations (10) and (11) which are then identified with theinhomogeneous Maxwell’s equations whenever the electric and magnetic fields are defined as(12). In the final step, one uses these definitions of fields to obtain the homogeneous Maxwell’sequations. This reversed procedure is conceptual and pedagogically significative as long as onecan convincingly justify the existence of the retarded potentials without explicitly appealing toMaxwell’s equations. This is the most di ffi cult problem to solve.But there is a conceptual disadvantage in the traditional procedure. If one postulates Maxwell’s equations from the beginning then the task of identifying the basic postulates ofthese equations loses its meaning. On the contrary, the reversed procedure starting with retardedpotentials can help to elucidate the nature of these postulates. In the task of finding thesepotentials, we have argued that charge conservation should be considered the fundamentalaxiom underlying Maxwell’s equations.Clearly, the interest sketched by Feynman in his handwritten notes was how to obtainMaxwell’s equations by starting with potentials and using physical principles like relativity andcharge conservation. In this aim we think the recourse of heuristic arguments is unavoidable.Put di ff erently, the procedure followed by De Luca et al. [3] to arrive at the Lorenz force and thehomogeneous Maxwell’s equation as well as our procedure to arrive at the inhomogeneous andhomogeneous Maxwell’s equations could be interpreted as constructive procedures. In this kindof procedures one makes use of heuristic arguments to show the existence of a mathematicalobject by providing a method for creating the object.
Of course, one generally has knowledgeof this object by other means. In this perspective, our procedure to obtain Maxwell’s equationscould be considered as a constructive method to demonstrate the existence of retarded potentialswhich leads to the electric and magnetic fields satisfying Maxwell’s equations. In other words,from a conceptual point of view our procedure could (and should!) be formulated as an existencetheorem. Let us enunciate this theorem.
Existence Theorem . Let J ( x , t ) and G ( x , t ) be vector and scalar functions which are spatiallylocalised and satisfy the continuity equation ∇ · J + ∂ G ∂ t = . (36)If this equation is evaluated at the source point x (cid:48) at the retarded time t (cid:48) = t − R / C with C being a constant with units of velocity, then there exist the retarded scalar and vector functions: A ( x , t ) and P ( x , t ) defined by A = π (cid:90) [ J ] R d x (cid:48) , P = π (cid:90) [ G ] R d x (cid:48) , (37) A Heras and R Heras 12that satisfy the equation ∇ · A + ∂ P ∂ t = , (38)where the retardation symbol [ ] indicate that the enclosed quantity is to be evaluated at thesource point at the retarded time. Corollary 1.
The functions P and A in (37) satisfy the wave equations (cid:3) P = − G , (cid:3) A = − J , (39)where (cid:3) ≡ ∇ − (1 / C ) ∂ /∂ t . Corollary 2.
There exist retarded fields: E ( x , t ) and B ( x , t ) defined by E = −∇ P − C ∂ A ∂ t , B = ∇ × A , (40)that satisfy the field equations ∇ · E = G , ∇ × E + C ∂ B ∂ t = , (41) ∇ · B = , ∇ × B − ∂ E ∂ t = J . (42)The proof of this general theorem and the proof of its corollaries are entirely similar to thosegiven in the section 2 for the particular case of electromagnetic expressions in SI units. †† Furthermore, if we make the particular specifications C = c , J = J , G = ρ, A = A /µ , P = (cid:15) Φ , B = B /µ , E = (cid:15) E , (43)in the general theorem and its corollaries then we obtain the corresponding electromagneticexpressions in SI units. In the Minkowski spacetime the existence theorem is indeed elegant: Existence Theorem . Let J ν a localised four-vector that satisfies the continuity equation ∂ ν J ν = A ν defined as A ν = (cid:90) GJ ν d x (cid:48) , (44)that satisfies the field equation ∂ ν A ν =
0, where the Green function is defined by G = δ { t (cid:48) − t + R / C } / (4 π R ) with C being a constant with units of velocity. Corollary 1.
The four-vector A ν satisfies the wave equation ∂ µ ∂ µ A ν = J ν , where ∂ µ ∂ µ = −∇ + (1 / C ) ∂ /∂ t . Corollary 2.
There exists the antisymmetric tensor F µν = ∂ µ A ν − ∂ ν A µ that satisfies the fieldequations ∂ µ F µν = J ν and ∂ µ ∗ F µν =
0, where ∗ F µν = ε µναβ ∂ α A β . †† The formulated theorem is of general character and can be applied to scalar and vector source functions oftheories di ff erent from that of Maxwell. However, if we make the specifications C = c , J = J , G = ρ, A = A /β, P = Φ /α, B = B /β, E = E /α where α = βχ c then the theorem describes the Maxwell equations in aform independent of specific units. More precisely, this specification describes Maxwell’s equations in the “ αβχ (cid:48)(cid:48) system which involves the Gaussian, SI, and Heaviside-Lorentz unit systems. See Refs. [6, 25]. A Heras and R Heras 13The proof of this covariant form of the theorem and the proof of its corollaries are entirelysimilar to those given in the section 3 for the case of electromagnetic expressions in SI units. If C = c then G = G . If in this case we make J ν = J ν and A ν = A ν /µ with A ν = ( Φ / c , A ) then(44) becomes (23) and A ν is the electromagnetic four-potential in SI units.It is possible consider a di ff erent heuristic handle of the continuity equation (the basicaxiom) to formulate a theorem that is equivalent to the previously considered existence theorem.For example, we can formulate the following existence theorem [6]: Given the localised sources ρ ( x , t ) and J ( x , t ) satisfying the continuity equation ∇ · J + ∂ρ/∂ t = F ( x , t ) and G ( x , t ) defined by F = α π (cid:90) (cid:18) ˆ R R [ ρ ] + ˆ R Rc (cid:34) ∂ρ∂ t (cid:35) − Rc (cid:34) ∂ J ∂ t (cid:35) (cid:19) d x (cid:48) , (45) G = β π (cid:90) (cid:18) [ J ] × ˆ R R + (cid:20) ∂ J ∂ t (cid:21) × ˆ R Rc (cid:19) d x (cid:48) . (46)that satisfy the following field equations: ∇ · F = αρ, ∇ · G = , ∇ × F + χ∂ G /∂ t = ∇ × G − ( β/α ) ∂ F /∂ t = β J . Here ˆ R = R / R = ( x − x (cid:48) ) / | x − x (cid:48) | and equations (45) and (46)are in the “ αβχ ” system defined by α = βχ c . In this case the axiomatic-heuristic approachshows the existence of the electric and magnetic fields in the generalized form of Coulomb andBiot-Savart laws given by Jefimenko [6] which satisfy Maxwell’s equations.Similarly, an alternate heuristic manipulation of the continuity equation in the Minkowskispacetime leads to the existence of an electromagnetic tensor satisfying the covariant formof Maxwell’s equations. This is a consequence the following existence theorem [7]: Giventhe localized four-vector J µ satisfying the continuity equation ∂ µ J µ = F µν = (cid:90) G ( ∂ (cid:48) µ J ν − ∂ (cid:48) ν J µ ) d x (cid:48) , (47)that satisfies the field equations: ∂ µ F µν = J ν and ∂ µ ∗ F µν = , where ∗ F µν = (1 / ε µναβ F αβ is the dual of F µν and G = δ { t (cid:48) − t + R / C } / (4 π R ) with C being a constant whose units are ofvelocity. If we make the identification C = c then G = G and if in addition we make J µ = µ J ν with J ν = ( c ρ, J ) then F µν = F µν is the electromagnetic field tensor in SI units.The point to remark is that in the proof of an existence theorem of an object, one isgenerally free to use all heuristic devices that allows one to exhibit the explicit form of such anobject. This is the more essential aspect in a constructive approach.
5. On the postulates of Maxwell’s equations
Most authors agree that the continuity equation is a consequence of Maxwell’s equations [26].Other authors state that it is an integrability condition of these equations [27, 28]. Some otherauthors are more cautious and claim that Maxwell’s equations are consistent with the continuityequation [23, 29]. Although Maxwell’s equations formally imply the continuity equation, theidea that the latter is a consequence of the former is in a sense questionable. The fact is that A Heras and R Heras 14the continuity equation has its own existence independent of Maxwell’s equations. This can beillustrated by the fact that there are field equations of di ff erent electromagnetic theories that arealso consistent with the continuity equation. For example, one of these theories arises whenthe Faraday induction term of Maxwell’s equations is eliminated, obtaining the field equationsof a Galilean-invariant instantaneous electrodynamics [30, 31]. Other examples are the Procaequations of the massive electrodynamics [32] and the field equations of an electrodynamics inan Euclidean four-space [33, 34]. Therefore, one should interpret the continuity equation as aformal representation of the principle of charge conservation, but having always in mind thatthis principle is not exclusive of Maxwell’s theory.Accordingly, we can equally use the continuity equation to formulate other existencetheorems for potentials or fields which can be applied to the aforementioned alternativeelectromagnetic theories. Here we have evaluated this equation at the retarded time to obtainMaxwell’s equations. But we can equally evaluate this equation at present time, for example, andfollowing a similar heuristic procedure we will obtain the field equations of a Galilean-invariantinstantaneous electrodynamics in Gaussian units [30, 31]: ∇ · E = πρ, ∇ · B = , ∇ × E = ∇ × B − (1 / c ) ∂ E /∂ t = (4 π/ c ) J . However, this does not prevent us to consider that thecontinuity equation is the cornerstone on which Maxwell’s equations can be constructed. It isin this sense that we claim that charge conservation must be unavoidable considered as one ofthe basic postulates of Maxwell’s equations. It has been argued that the other basic postulatemay be the principle of causality [6, 7, 8] represented by the retarded time or by the retardedGreen function of the wave equation. Of course, we can integrate these two postulates in asingle fundamental postulate which would state that the continuity equation is valid at all times .Therefore, evaluating this equation at a particular time is not a new postulate but only onespecial case of the fundamental postulate.The alert reader might argue that if charge conservation is really the fundamental physicalprinciple underlying Maxwell’s equations then one should be able to obtain these equationsusing only the continuity equation without making any further assumptions. In our opinionthis demand is very hard to satisfy, at least at the level in which we call basic postulatesin physics. Furthermore, as already pointed out, the continuity equation may imply otherfields equations depending on the “further assumptions.” Let us give an example to illustrateour point. Most physicists would agree that the basic postulates used to derive the Lorentztransformations are the principle of relativity (the first postulate), which states that physicallaws must exhibit the same form in inertial frames, and the constancy of the speed of light (thesecond postulate), which states that the speed of light is the same in inertial frames. What isnot well-known is that in 1887, Voigt [35] used these same two postulates and derived a setof spacetime transformations di ff erent from the Lorentz transformations [36]. In other words,the same postulates may lead to distinct space-time theories! The explanation is simple, thebasic postulates are the same but there are di ff erent additional assumptions (implicit or explicit)underlying in the derivation of Lorentz and Voigt transformations. We think such additionalassumptions are important but they do not qualify to be fundamental postulates. A Heras and R Heras 15Similarly, charge conservation can be seen as a basic postulate which requires of someadditional considerations to imply Maxwell’s equations. One of these additional assumptions is,for example, the retarded time or the retarded Green function of the wave equation. Nevertheless,we should point out that this assumption is su ffi cient but not necessary since we could equallyassume the advanced time ( t (cid:48) = t + R / c ) or the advanced Green function of the wave equation( G = δ { t (cid:48) − t − R / c } / (4 π R )) and obtain Maxwell’s equations as well. Put di ff erently, chargeconservation is a basic postulate (fully justified by experimental considerations) and causality(represented by the retarded time or the retarded Green function of the wave equation) isa su ffi cient but not a necessary assumption which –we think– does not qualify to be a basicpostulate but rather as a complementary assumption. Under this wisdom, the idea of consideringthat charge conservation is the basic postulate of Maxwell’s equations is similar to the idea ofconsidering that the principle of relativity and the constancy of the speed of light are the basicpostulates of special relativity.
6. Concluding remarks
We have evidence that Feynman attempted to find a di ff erent derivation of Maxwell’s equationsin at least two periods of his life. The first attempt was around 1948, year in which Feynmanshowed Dyson an unusual proof of the homogeneous Maxwell’s equations [37]. Dysonreconstructed Feynman’s proof as an existence theorem: If a non-relativistic particle satisfiesNewton’s law of motion and the commutation relations between its position and velocity then there exist two fields that satisfy the Lorentz force and the homogeneous Maxwell’s equations.The inhomogeneous Maxwell’s equations were merely assumed to be the definitions of chargeand current densities. The second attempt was at the end of 1963 as may be seen in theFeynman’s handwritten notes recently discovered by Gottlieb [2] and discussed by De Lucaet al [3]. In this second attempt, the Lorentz force was inferred by assuming that the forcethat acts on a charge is linear in its velocity and is the spatial component of a four-force ofspecial relativity. The homogeneous Maxwell’s equations were obtained via the well-knownprinciple of least action. There is a certain parallelism between these two attempts: bothwere unpublished and both fail to obtain the inhomogeneous Maxwell’s equations. In the firstattempt these equations were defined but not derived and in the second attempt they were notinferred. Charge conservation represented by the continuity equation was not considered inboth attempts. Perhaps we may never know what Feynman had in mind in 1966 when he saidthat he had “cooked up a much better way of presenting the electrodynamics, a much moreoriginal and much more powerful way than is in the book,” but it is intriguing that in his firsthandwritten page wrote in 1963 (see figure 1) he clearly wrote charge conservation and notcharge invariance. Was this an error or an unconscious desire?Here we have pointed out that charge conservation expressed by the continuity equationis the key to obtain the Maxwell equations. We have shown that if the continuity equationevaluated at the retarded time is heuristically handled then we can show that there exist defined A Heras and R Heras 16retarded potentials that imply not only the inhomogeneous Maxwell’s equations but also thehomogeneous ones. In the search for this alternative presentation of Maxwell’s equations inwhich potentials are introduced before fields, we have been motivated by Feynman’s words that[38]: “... there is a pleasure in recognising old things from a new point of view. Also, there areproblems for which the new point of view o ff ers a distinct advantage.” Acknowledgment
We dedicate this paper to the memory of Richard P. Feynman † on the occasion of its 101stanniversary. References [1] R. P. Feynman, R. B. Leighton and M. Sands. The Feynman Lectures on Physics. Addison-Wesley (1963).[2] Available from the online
Feynman’s Lectures on Physiscs // / info / other / Alternate Way to Handle Electrodynamics.html[3] De Luca R, Di Mauro M, Esposito S, and Naddeo A 2019 Feynman’s di ff erent approach to electromagnetism Eur. J. Phys. , 065205[4] Feynman R P Lectures on Electrostatics, Electrodynamics, Matter-Waves Interacting, Relativity. Lectures atthe Hughes Aircraft Company; notes taken and transcribed by John T. Neer (1967-8)http: // / wp-content / uploads / lectures / FeynmanHughesLecturesVol2.pdf[5] Goodstein D and Goodstein J 2000 Richard Feynman and the History of Superconductivity
Phys. Perspect. Am. J. Phys. Eur. J.Phys. , 845-54[8] Heras J A 2016 An axiomatic approach to Maxwell’s equations Eur. J. Phys. , 055204[9] Jefimenko O D 2008 Causal equations for electric and magnetic fields and Maxwell’s equations: Commenton a paper by Heras Am. J. Phys. , 101[10] Kapuscik E 2009 Comment on ‘Can Maxwell’s equations be obtained from the continuity equation?’ byHeras J A [Am. J. Phys. Am. J. Phys. , 754[11] Heras J A 2008 Author’s response Am. J. Phys. , 101-2[12] Heras J A 2009 Reply to “Comment on ‘Can Maxwell’s equations be obtained from the continuity equation?’”by E Kapuscik [Am. J. Phys. , 754 (2009)] Am. J. Phys. , 755-56[13] Hehl F W and Obukhov Y N 2003 Foundations of Classical Electrodynamics: Charge, Flux, and Metric (MA: Birkh¨auser)[14] Diener G, Weissbarth J, Grossmann F and Schmidt R Obtaining Maxwell’s equations heuristically
Am. J.Phys. − Eur. J. Phys. Eur. J. Phys. , 065036[17] Hanno E and Nordmark A B 2016 Relativistic version of the Feynman − Dyson − Hughes derivation of theLorentz force law and Maxwell’s homogeneous equations
Eur. J. Phys. , 05520[18] Heras R 2017 Alternative routes to the retarded potentials Eur. J. Phys. Introduction to the Classical Theory of Particles and Fields (Springer-Verlag BerlinHeidelberg)[20] Jefimenko O D 1989
Electricity and Magnetism
A Heras and R Heras 17 [21] Anderson J L 1967
Principles of Relativity Physics (New York: Academic Press)[22] Heras R 2016 The Helmholtz theorem and retarded fields,
Eur. J. Phys. Classical Electrodynamics
Am. J. Phys. , 154-55 .[25] Heras J A and B´aez G 2009 The covariant formulation of Maxwell’s equations expressed in a formindependent of specific units Eur. J. Phys. ffi ths D J 1999 Introduction to Electrodynamics
Applied Di ff erential Geometry (Cambridge: Cambridge University Press).[28] Betounes D 1998 Partial Di ff erential Equations for Computational Science (Springer-Verlag New York).[29] Zangwill A 2012 Modern Electrodynamics (Cambridge: Cambridge University Press).[30] Jammer M and Stachel J 1980 If Maxwell had worked between Amp´ere and Faraday: An historical fablewith a pedagogical moral
Am. J. Phys. Eur. Phys. Lett. Am. J.Phys. ff gauge Ann. Phys.
Princip Nachr. Ges. Wiss.
G¨ottingen Am. J. Phys. Rev. Mod. Phys.20