The aim of exact science is to reduce the problems of nature to the
determination _{ }of quantities by operations with numbers. James
Clerk Maxwell (18311879) On Faraday's Lines of Force (1856)
The following modern presentation of electromagnetism incorporates three
clarifications which came only many years after
Maxwell came up with his original equations (1864):
Arguably, the original equations of Maxwell (1864) were essentially
the socalled macroscopic equations,
which describe electromagnetism in a dense medium.
The microscopic approach (which is now standard)
is due to
H.A. Lorentz (18531928).
Lorentz showed how the introduction of
densities of
polarization and magnetization
reduces the macroscopic equations ("in matter") to the more fundamental
microscopic ones ("in vacuum") presented
below._{ }
Giovanni Giorgi
Except in the first article,
we consider only one flavor
of electromagnetic quantities and use only
the MKSA units introduced by
Giovanni Giorgi
(18711950) in 1901, which are the basis of
all modern SI electrical units:
ampere (A), ohm (W), coulomb (C),
volt (V), tesla (T), farad (F), henry (H), weber (Wb)...
(20050722)
The Former Problem with Electromagnetic Units
A science which hesitates to forget its founders is lost.
Alfred North
Whitehead
(18611947)
This article is of historical interest only. You are advised to
skip it
if you were blessed with an education entirely grounded
on Giorgi's electrodynamic units (SI units based on the MKSA system).
The first consistent system of mechanical units was the
metergramsecond system advocated by Carl
Friedrich Gauss in 1832.
It was used by Gauss and Weber (c.1850)
in the first definitions of electromagnetic units in absolute terms.
However, the term Gaussian system now refers to a particular
mix of electrical C.G.S. units (discussed below) once dominant
in theoretical investigations.
James Clerk Maxwell himself was instrumental in bringing about the
cgs system in 1874 (centimetergramsecond).
Two sets of electrical units were made part of the system.
An enduring confusion results from the fact that the quantities measured by these
different units have different definitions
(in modern terms, for example,
the magnetic quantity now denoted B could be either B or cB).
Following Maxwells own vocabulary, it's customary to speak of either
electrostatic units (esu) or
electromagnetic units (emu).
However, one must appreciate the obscure fact that these two are not
only different system of units, they are different traditions
in which symbols may have different meanings...
At first, no C.G.S. electromagnetic units had a specific name.
On August 25th, 1900, the
International
Electrical Congress (IEC) adopted 2 names_{ }:
Gauss for the CGS unit of magnetic field
(B) :
1 G = 10^{ 4 } T.
Maxwell for the CGS unit of magnetic flux
(F) :
1 Mx = 10^{ 8 } Wb.
The maxwell, still known as a line of force,
is called abweber (abWb)
using the later naming of CGS electrical units after their
MKSA counterparts. Likewise, the gauss
(1 maxwell per square centimeter)
is also called abtesla (abT).
For electrostatic CGS units (esu)
the prefix stat is used instead...
In 1930, the Advisory Committee on Nomenclature of the IEC adopted the
gilbert
(Gb) as a CGSemu unit equal to the magnetomotive force
around the border of a surface through which flows a current of
(1/4p) abA.
The relevant values in SI units are:
1 abA = 10 A
1 Gb = (10/4p) At
= 0.795774715459... At
1 At = 1 A
The last expression is to say that no distinction is made in SI units beween
an ampereturn and an ampere.
Although the gilbert seems obsolete, the oersted (equal to one gilbert
per cntimeter) is still very much alive
in the trade as a unit of
magnetization (density of magnetic dipole moment
per unit volume) and/or magnetic field strength (the vectorial quantity
usually denoted H).
The
oersted
was introduced by the IEC in the plenary convention at Oslo, in 1930.
Electrodynamic units are now based on a proper independent electrical unit,
as advocated by the Italian engineer Giovanni Giorgi (18711950) in 1901:
The addition of the ampère to the MKS system has turned it
into a consistent 4dimensional system (MKSA)
which is the foundation for modern SI units.
Paradoxically, this mess comes from a great clarification of Maxwell's:
The ratio of the emu value to the esu value of a given field
is equal to the speed of light
(c = 299792458 m/s).
Scholars from bygone days should be credited
for accomplishing so much in spite of such confusing systems.
(20050715)
The Lorentz Force
The Lorentz force on a test particle defines
the electromagnetic field(s).
The expression of the Lorentz force introduced here defines dynamically the fields
which are governed by Maxwell's equations,
as presented further down.
Neither of these two statements is a logical consequence of the other.
Such a definition is anachronistic:
The concept of an electromagnetic field is due to
Michael Faraday (17911867) while
the modern expression of the force exerted by electromagnetic fields on a moving
electric charge was devised in 1892 by
H.A. Lorentz (18531928).
In electrostatics, the electric field E
present at the location of a particle of charge q
summarizes the influence of all other electric charges, by stating that
the particle is submitted to an electrostatic force equal to q E.
This defines E.
This concept may be extended to
magnetostatics for a moving test particle.
More generally, the electromagnetic fields need not be
constant in the following expression of the force acting on a particle of charge
q moving at velocity v.
The Lorentz Force (1892)
F =
q ( E + v´B )
The average force exerted per unit of volume may thus be expressed in terms of
the density of charge r
and the density of currentj.
Density of Force
dF / dV
=
r E +
j ´ B
Another way to define the
magnetic fieldB
(best called "magnetic induction")
would involve the concept of a pointlike
magnetic dipole.
This may look less elementary now, but it's essentially how
B was first quantified by Coulomb:
Torque on a Magnetic Dipolem
m ´ B
Potential Energy of a Dipolem
 m . B
The force exerted on a dipole
is grad (m.B).
It vanishes in a uniform field.
(20050718)
Electrostatics: _{ }
On the electric field from static charges.
Coulomb's inverse square law
translates into the local differential property of the field expressed by Gauss,
namely: div E = r/e_{o}
The SI unit of electric charge is named after the French military engineer
Charles
Augustin de Coulomb (17361806). Using a torsion balance,
Coulomb discovered, in 1785, that the electrostatic force between two charged particles is proportional
to each charge, and inversely proportional to the square of the distance
between them.
In modern terms, Coulomb's Law reads:
Electrostatic Force_{ }
between Two Charged Particles
 F  =
 q^{ }_{ }q' 
4pe_{o} r^{ 2}
The coefficient of proportionality denoted 1/4pe_{o}
(to match the modern conventions about the rest of electromagnetism)
is called Coulomb's constant and is roughly equal to 9 10^{9}
if SI units are used (forces in newtons,
electric charges in coulombs and distances in meters).
More precisely, the modern definitions of the units of electricity
(ampere) and distance (meter)
give Coulomb's constant an exact value in SI units whose digits are the
same as the square of the speed of light (itself exactly equal to 299792458 m/s
because of the way the meter is defined nowadays):
^{ }1_{ }
=
8.9875517873681764 ´ 10^{ 9} m / F
» 9 ´ 10^{ 9}
N . m^{ 2} / C^{ 2}
4pe_{o}
The direction of the electrostatic force
is on the line joining the two charges.
The force is repulsive
between charges of the same sign (both negative or both positive).
It's attractive between charges of unlike signs.
In the language of fields introduced above,
all of the above is summarized by the following
expression, which gives the electrostatic field E
produced at position r by a motionless particle of charge q
located at the origin:
Electrostatic Field of a_{ }Point Charge at the Origin
E =
q^{ }_{ }r
4pe_{o} r^{ 3}
Since r / r^{ 3}
is the opposite of the gradient of 1/r,
we may rewrite this as :
E =
 grad f
where f
=
^{ }q_{ }
4pe_{o} r
The additivity of forces means that the contributions to the local field E
of many remote charges are additive too.
The electrostatic potential
f we just introduced may thus be computed additively as
well. This leads to the following formula, which reduces the computation of
a threedimensional electrostatic field to the integration
of a scalar
over any static distribution of charges:
The Electrostatic Field Eand Scalar Potential f
E =
 grad f
where f(r)
=
òòò
^{ }r_{ }(s)
d^{3}s_{ }
4pe_{o}
 r  s 
The above static expression of E would have to be
completed with a dynamic quantity (namely
¶A/¶t,
as discussed below)
in the nonstatic case governed by the full set of
Maxwell's equations.
Also, the dynamical scalar potential
f involves a
more delicate integration than the above one.
In 1813, Gauss bypassed
both dynamical caveats with a local differential expression,
also valid in electrodynamics :
div E =
r_{ }
e_{o}
A similar differential relation had been obtained by Lagrange
in 1764 for Newtonian gravity
(which also obeys an inverse square law).
This can be established with elementary methods...
One way to do so is to approximate any distribution of charges
by a sum of pointlike sources: For each point charge q,
we can check that the above
electric field has a zero divergence away from the source.
Then, we observe that our relation does hold on the average
in any tiny sphere centered on the source, because
the integral of the divergence is the flux of E
through the surface of such a sphere, which is readily seen to be
equal to q /e_{o}
Gauss's Theorem of Electrostatics (1813)
In electrostatics, we call Gauss's Theorem
the integral equivalent
of the above differential relation, namely:
Q / e_{o} =
òòò_{V}
( r / e_{o }) dV
=
òò_{S}E . dS
This states that the outward flux
of the electric field E
through a surface bounding any given volume is equal to the electric charge Q
contained in that volume, divided by the permittivity
e_{o}.
The next section features a typical
example of the use of Gauss's Theorem.
Another nice consequence is that the field outside
any distribution of charge with spherical symmetry has the
same expression as the field which would be produced if
the entire charge was concentrated at the center.
This property of inverse square laws was first discovered by
Newton (using elementary methods)
in the context of gravitation, by working out the Newtonian
field outside an homogeneous spherical shell (incidentally,
the field inside such a shell is zero).
This means that a celestial body with perfect spherical symmetry would
behave exactly like a point of the same mass located at its center.
(20050720)
Electric Capacity
[ electrostatics, or low frequency ]
The static charges on conductors are proportional to their potentials.
Consider an horizontal foil carrying a supercifial charge
of s C/m^{2}.
Let's limit ourselves to points
that are close enough to [the center of] the plate to make it look practically infinite.
Symmetries imply that the field is vertical
(the electrical flux through any vertical surface vanishes)
and that its value depends only
on the altitude z above the plate
(also, if it's E at altitude z, then it's E at altitude z).
Let's apply Gauss's theorem to a vertical cylinder
whose horizontal bases are above and
below the foil, each having area S.
This pillbox contains a charge sS
and the flux out of it is 2 E S.
Therefore, we obtain for E a constant value,
which does not depend on
the distance z to the plate:
E = ½ s/e_{o}.
Of course, this constant static field produced by an infinite plate
under an inverse square law (electrostatics
or Newtonian gravitation) may also be worked out using
elementary methods.
It's just more tedious.
Capacitor consisting of two parallel plates :
For two parallel foils with opposite charges, the situation is
the superposition of two distributions of the type we just discussed:
This means an electric field which vanishes outside of the plates,
but has twice the above value between them.
Assuming a small enough distance d
between two plates of a large surface area S,
the above analysis is supposed to be good enough for most points between the plates
(what happens close to the edges is thus negligible).
The whole thing is called a
capacitor
and the following quantity is its electric capacity.
Capacity of Two Parallel Plates
C =
e_{o }S
_{ }d_{ }
Because
E = s / e_{o} =
q / Se_{o} =
¶f/¶z ,
the difference U between the potentials f
of the two plates is
qd / Se_{o} = q/C.
In other words:
Charge on a Capacitor's Plate
q = C U
This is a general relation.
In a static (or nearly static)
situation, the potential is the same throughout the conductive material of each plate.
The proportionality between the field and its sources imply
that the charge q on one plate is proportional to
the difference of potential between the two plates.
We define the capacity as the relevant coefficient of proportionality.
Permittivity of Dielectric Materials :
The above holds only if the space between the capacitor's plates is empty
(air being a fairly good approximation for emptiness).
In practice, a dielectric material may be used instead, which behaves
nearly as the vacuum would if it had a different
permittivity. This turns the above formula into the following one.
In electrodynamics, the
permittivity e
may depend a lot on frequency.
C =
e S
d
A capacity is
e times a geometrical factor, homogeneous to a
length.
The SI unit of capacity is called the farad
(1 F = 1 C/V) in honor of
Michael Faraday.
It's such a large unit that only its submultiples
(mF, nF, pF) are used.
Consider the electric field created by static charges
located near the origin. The electric potential
f(r) seen by an observer located at
position r is:
q is the angle between s
and r. The Legendre polynomials
(A008316)
are:
P_{0 }(x)
=
1
P_{n}(x) = (21/n) x P_{n1}(x)

(11/n) P_{n2}(x)
P_{1 }(x)
=
x
2
P_{2}^{ }(x)
=
1
+
3_{ }x^{2}
2
P_{3}^{ }(x)
=
3 x
+
5_{ }x^{3}
8
P_{4}^{ }(x)
=
3

30_{ }x^{2}
+
35_{ }x^{4}
8
P_{5}^{ }(x)
=
15 x

70_{ }x^{3}
+
63_{ }x^{5}
16
P_{6}^{ }(x)
=
5
+
105_{ }x^{2}

315_{ }x^{4}
+
231_{ }x^{6}
16
P_{7}^{ }(x)
=
35 x
+
315_{ }x^{3}

693_{ }x^{5}
+
429_{ }x^{7}
Let's define the electric multipole moment (of order
n) as the following function of the
unit vectoru (where cos q = u.s/ s ).
Q_{n}^{ }(u) =
òòò
r_{ }(s)
s^{ n} P_{n}(cos q)
d^{3}s_{ }
This yields the socalled multipole expansion
of the electrostatic potential:
f(r) =
f(r u) =
^{ }1^{ }
¥
å
n = 0
Q_{n}^{ }(u)
4pe_{o}
r^{ n+1}
Note that the convergence of this series is not guaranteed unless the above
basic Legendre expansion converges for all values of
q.
So, it may not be valid inside a sphere whose radius
equals the distance from the origin to the most distant source
(i.e., r > s is "safe").
The first term (n=0) corresponds to the field created by a point
charge (equal to the sum of all the charges in the distribution)
according to Coulomb's law.
The second term (n=1) corresponds to the field
created by an electric dipole momentP,
as discussed elsewhere on this site
in full details (including nonstatic cases).
Q_{1 }(u) = u . P
The names of multipoles follow the Greek scheme used for
polygons
and other scientific things...
The sequence starts with the "monopole moment" for n=0
(which is really the total electric charge) and the number of
"poles" doubles at each step:
Monopole, dipole, quadrupole (not "tetrapole"),
octupole or octapole,
hexadecapole,
dotriacontapole,
tetrahexacontapole ("hexacontatetrapole" is
not recommended) and
octacosahectapole (128 poles, for n=7).
(20080403) The Birth of Electromagnetism
(Ørsted, 1820)
A steady current produces a steady magnetic field.
Electricity and magnetism were known as
separate phenomena for centuries.
In 1752, Benjamin Franklin (17061790)
performed his famous (and dangerous)
electric kite experiment
which established firmly that lightning is an electrical
discharge.
Franklin himself never wrote about the story but he proofread the account which
Joseph Priestley
(17331804) gave 15 years after the event.
Priestley concludes that report with the comment:
"This happened in June 1752,
a month after the electricians in France had verified
the same theory, but before he heard of anything they had done."
It's unclear who those "electricians in France" are, but the following text
by LouisGuillaume
Le Monnier appears
(in
French) in the
Encyclopédie
of Diderot and d'Alembert (71818 articles in 35 volumes, the first 28
of which were edited by Diderot himself and published between 1751 and 1766).
" A violent electric spark can modify a compass or magnetize small needles,
according to the direction given to that spark.
It has long been observed that a bolt of lightning (which is only a large electric spark)
is able to magnetize all sorts of iron and steel tools stored in boxes and to give the
nails in a ship enough magnetic properties to influence a compass at a fair distance.
This formidable fluid has simply changed into true magnets
some iron crosses of ancient belltowers
that have been exposed several times to its powerful effects. "
Indeed, many people must have wondered
why the needle of a compass goes haywire near a bolt of lightning.
However, the havoc brought about by lightning
may have precluded the proper investigation of this comparatively delicate aspect.
Domenico Romagnosi
In 1802, the Italian jurist Domenico
Romagnosi (17611835) experimented with a voltaic pile to charge capacitors.
He observed that their sudden discharges would deflect a nearby magnetic needle.
This raw observation was reported in newspapers. Although Romagnosi didn't
explictly mentioned the connection between magnetism and electric current, at least two others
did it for him when they described his experiments:
Essai théorique et expérimental sur le Galvanisme (1804)
p. 340
by Giovanni Aldini (17621834).
Manuel du Galvanisme (1805)
by Joseph Izarn (17661847).
The crucial fact that a steady electric current does produce magnetism was finally established,
by a Danish scholar, who became famous for that:
Hans Christian Ørsted
On April 21, 1820, the Danish physicist
Hans Christian Oersted
(17771851) was preparing demonstrations for one of his lectures
at the University of Copenhagen.
He noticed that a compass needle was deflected when a large electrical current was
flowing in a nearby wire.
This precise instant marks the birth of
electromagnetism, the study of the interrelated
phenomena of electricity and magnetism.
Contrary to popular belief,
the discovery of Ørsted was not entirely a chance
accident (R.C. Stauffer, 1953). As early as 1812,
Ørsted had published speculations that electricity and magnetism were
connected. So, when the experimental evidence came to him,
he was prepared to make the best of it.
François Arago
(17861853; X1803) was the first person to
build an electromagnet, in September 1820, by placing iron in a wire coil.
(20080104) BiotSavart Law of Magnetostatics (1820)
The magnetic field produced by a static distribution of electric currents.
Experimentally, Ørsted
had found that a given current in a straight wire creates in its
immediate vicinity a magnetic field which seems inversely proportional
to the distance from the wire. The French physicists JeanBaptiste Biot
and Félix Savart proposed that the
contribution of each piece of the wire actually
varies inversely as the
square of the distance to the observer. Over the entire length of the
wire, such contributions do add up to a total field which varies inversely as the
distance from the wire.
The BiotSavart law can be precisely stated as follows:
Contribution to the Magnetostatic Field at the Origin of
a Current Element dI_{ }
at Positionr.
dB =
m_{o}^{ }r ´ dI
4p r^{ 3}
JeanBaptiste
Biot
In this, dI is the quantity (current multiplied by the
small length it travels) which results from
integrating the current density j (current per unit of surface) over a small
element of volume.
In particular, for a thin wire circuit whose length element
ds
is traversed by a total current I (counted positively in the direction of
ds ) we have
dI = I ds.
The BiotSavart law is for steady currents only.
For changing currents, a term that falls off as 1/r must be added,
as specified below.
Note that we're using the vector r
which goes from the location of interest to the sources.
This is a convenient viewpoint for practical computations which seek to obtain a magnetic field
at a specific point from remote distributions of current.
However, many authors
take the opposite viewpoint (opposite sign of r) to describe the
field produced at a remote location by currents located at the origin.
On October 30, 1820, the BiotSavart law was presented to the
Académie des Sciences jointly by the physicist
JeanBaptiste
Biot (17741862; X1794) and his protégé
Félix
Savart (17911841) who is also remembered for the logarithmic unit of musical interval
named after him (1000 savarts per decade, or about 301.03 savarts per octave).
A rounded version of the savart unit (exactly 1/301 of an octave)
was called eptaméride in an earlier scheme devised by the acoustician
Joseph Sauveur (16531716).
In many practical applications, the magnetic field is known to have a simple
symmetry and Ampère's Law (below) may yield the value
of the magnetic field throughout space without tedious integrations
(just like the theorem of Gauss
easily yields the electrostatic field in cases
with spherical, planar or cylindrical symmetries).
One example where no such shortcut is available is that of the
magnetic induction on the axis of a circular current loop:
In that case, all radial contributions cancel out, so the
resulting magnetic induction B is oriented along the axis
(B = B_{z }).
Because of the similarity of the relevant triangles, the contribution
dB_{z} is R/d times what's given by the
above law:
In particular, the field at the center of the loop
(d = R) is:
B_{z} = m_{o }I / 2R.
Helmholtz Coil
Consider two coils (or two loops) like the above,
sharing the same vertical axis.
Let their respective altitudes be +a
and a.
By the previous result, the magnetic induction B
(on the axis) at altitude z is:
The value a = ½ R
is thus the largest for which the magnetic induction has a
single maximum along the
vertical axis, in the center of the apparatus
(for larger values of a, B''
is positive at the center z = 0,
which indicates a minimum there).
This configuration where the separation between the two
loops is equal to their radius (2a = R)
is known as a Helmholtz coil.
It yields a magnetic induction which is
almost uniform near the center of the coil. Namely:
B =
(4/5)^{ 3/2} m_{o }I / R
=
0.71554... m_{o }I / R
(20080512) Magnetic Scalar Potential
(in a currentfree region)
A multivalued function
whose gradient is the magnetostatic induction.
In a currentfree
region of space, a scalar potential can be defined
(called the magnetic scalar potential )
whose negative gradient is the magnetostatic induction
given by the BiotSavart law.
For a simplyconnected region, such a potential is welldefined
(up to a uniform additive constant).
Otherwise, an essential ambiguity arises whenever the region contains
loops which are interlocked with loops of outside current.
In that case a continuous potential can only be defined modulo a certain
number of discrete quantities
(each of which corresponds to one interlocking outside current).
The magnetic scalar potential V for the induction
B created by a loop of thin wire is simply proportional to the
current I in that loop and to the
solid angle
W
subtended by the south side of that loop
at the location of the observer :
B
=
 grad V
V
=

m_{o} I
W
4p
The solid angle
W is defined modulo
4p,
which is consistent with the aforementioned "ambiguity".
The sign convention
is such that the south side of a small loop is seen at a solid angle
which exceeds a multiple of
4p by a small positive quantity.
This is just a nice way to express the BiotSavart law while
making it clear that, in static distributions,
all currents must circulate in closed loops
(div j = 0).
Neither this approach
nor the BiotSavart law itself can deal with dynamic distributions
where local electric charges may vary according to the inbound flux of current.
(20080310)
There are no magnetic monopoles !
(Peregrinus, 1269)
The magnetic field (magnetic inductionB)
has vanishing divergence.
It's a simple matter to establish with elementary methods
that the above BiotSavart law
describes a field with zero divergence:
First, we can verify directly (using Cartesian expressions)
that the divergence of the BiotSavart field vanishes at any nonzero
distance from its source dI.
We could also remark that the BiotSavart expression
is proportional to the rotational of the vector field
dI / r.
As such, it has zero divergence.
Then, we may check that dB
has zero flux through any tiny sphere centered on
dI (this is true because of a trivial
symmetry argument).
Thus, the divergence of the BiotSavart field is identically zero,
even at the very location of a source!
By contrast, that second part of the argument does not hold
with spheres centered on an elementary electric charge for the
Coulomb field. This is why the divergence
of the electric field turns out to be proportional to the local
density of electric charge (Gauss's Law).
The magnetic field may well have sources other than electrical currents
(including the dipole moments related to the intrinsinc
spins of
point particles which are part of the modern quantum picture).
Nevertheless, all sources ever observed yield magnetic fields with no divergence.
Like all scientific facts, this can be stated as a law
which holds until disproved by experiment:
In the vocabulary of multipoles,
only monopole fields have nonzero divergence
(in particular,
any dipolar field is divergence free).
Thus, the vanishing divergence of B
is often expressed by stating that
there are no magnetic monopoles.
This was first stated in 1269 by the French scholar
Peter Peregrinus
(Pierre Pèlerin de Maricourt) who
first described magnetic poles and observed that a magnetic
pole could not be isolated (they always come in opposite pairs).
This law has survived all modern experimental tests so far and
it is postulated to remain valid in the general nonstatic case.
It is arguably the oldest of the
four equations of Maxwell.
Unfortunately, unlike the other three
(Gauss's Law,
Faraday's Law,
AmpèreMaxwell Law)
it has no universally accepted name...
It's sometimes referred to as the "magnetic Gauss law",
which is rather awkward.
Calling it the "GaussWeber Law" is perfectly acceptable
because the name of Gauss is universally associated
with the electric counterpart of the law while the
magnetic flux so governed (see next paragraph)
is closely associated with the name of
Wilhelm Eduard Weber
(18041891) a younger colleague of Gauss after whom the SI unit of magnetic
flux (Wb) is named.
However, I argue that the law ought to be called Pèlerin's law
(or the Law of Peregrinus ).
Because of that law, the magnetic flux
(F) enclosed by a given oriented loop
is welldefined as the flux of the magnetic induction B
through any surface which is bordered
(and oriented) by that loop.
On the other hand,
two open surfaces with the same border need not have the same "electric flux"
through them, because div E isn't zero.
Searching for magnetic monopoles
A famous argument of Paul Dirac
shows that the existence of even a single true
magnetic monopole in the
Universe would imply a quantizarion of electric charge everywhere
(as observed).
Many physicists do not yet rule out the existence of magnetic monopoles
(like any proper physical law, Pèlerin's law
only holds until proven wrong experimentally).
A true magnetic monopole would be completely surrounded by a closed surface
traversed by a nonzero total magnetic flux.
The two ends of a thin
flux tube do
not qualify as monopoles, because the return flux
through the crosssection of the tube balances exactly the
nonzero flux traversing the rest of any closed surface
enclosing one pole (but not the other).
For example, the magnetic flux which flows
from north to southoutside a long bar magnet
is exactly balanced by the flux of the strong field which flows
from south to north inside the magnet itself.
Mathematically, we may envision an ideal flux tube
(often dubbed a Dirac string )
as the infinitely thin version of the above, namely
a line carrying, within itself, a finite
magnetic flux from one of its extremities
(the south pole) to the other (the north pole).
The total magnetic flux (F)
through a crosssection is
constant along such a Dirac string.
In the Summer of 2009, two independent teams found that actual flux tubes in
some socalled spin ices
could have crosssections small enough to fit in the spaces between the
atoms of the crystal.
Such tubes behave like the
ideal Dirac strings presented above.
The whole thing looks as though some of the cells in the
crystal contain a magnetic monopole
while an opposite monopole is found nearby, possibly several cells away...
Those exciting discoveries do not violate
Pèlerin's law
(magnetic poles still come only in pairs, connected by
thin flux tubes).
Unfortunately, they were heralded in press releases,
review articles and popular magazines
as a "discovery of magnetic monopoles".
So, a new urban legend was born
which makes is
slightly more difficult to teach basic science...
(20080425) Ampère's law:
The static version (1825)
The magnetic circulation is
m_{o }
times the enclosed current.
AndréMarie Ampère
What Gauss did in 1813 for the
Coulomb law of 1785,
AndréMarie Ampère (17751836)
did in 1825 for the BiotSavart law of 1820.
Unlike the law of Gauss, Ampére's law
only holds in the static case.
It had to be amended by Maxwell in 1861 for the dynamic case.
Here's Ampère's static law (1825) in differential form:
rot B = m_{o }j
By the KelvinStokes formula,
the circulation of a vector around an oriented loop is equal to the flux of
its rotational (curl) through any smooth oriented surface
bordered by that loop.
This yields Ampère's law in integral form :
m_{o } I
º
m_{o}
òò_{S}j . dS
=
ò_{¶S}B . dr
The simplest (and most fundamental) direct application of Ampère's law is
to retrieve the experimental fact which prompted the
formulation of the Biotsavart law
to begin with, namely
that the magnetic induction B due to a long straight wire
is inversely proportional to the distance from that wire:
Indeed, consider a circular loop of radius r whose axis is a
straight wire carrying a current I.
For reasons of symmetry, the magnetic induction B
on that loop is tangent to it.
Its projection on the oriented tangent is a constant B
(see sign conventions). The magnetic circulation
is 2pr B and
Ampère's law gives:
2pr B =
m_{o }I
or, equivalently:
B =
m_{o }I
/ 2pr
Another popular (and important) application of Ampère's law yields
the magnetic field due to an infinitely long solenoid
(of arbitrary crosssection) :
For a long solenoid consisting of n loops of wire
per unit of height (each carrying the same current I)
the magnetic induction vanishes outside and
has the following value inside the solenoid:
B = m_{o } n I
This can be established by noticing first
that the direction
of the magnetic induction B must be everywhere vertical
(i.e., parallel to the
axis of a solenoid with horizontal crosssection).
That is so because the horizontal contribution of each element of current is
exactly cancelled by the horizontal contribution from its mirror image with respect
to the horizontal plane of the observer.
We may then apply
Ampère's law to any rectangular loop with two vertical sides
and two horizontal ones (on which the circulation of B is zero,
because it's perpendicular to the line element).
This establishes that the magnetic field is constant inside the solenoid and constant outside
of it, with the difference between the two equal to the value advertised above.
(The fact that the constant value of the induction outside of the solenoid must be zero is
just common sense, or else the magnetic energy of the solenoid
per unit of height would be infinite.)
Sneak Preview :
In 1861, Maxwell was able to amend the static law of Ampère
into the following generalization, which holds in all cases
(including changing charge distributions).
AmpèreMaxwell Law (1861)
rot B_{ }
1
¶^{ }E
= m_{o }j
c^{2}
¶_{ }t
We shall postpone the
discussion of this crowning achievement
(which made the entire structure of electromagnetism consistent)
so we can present first a key breakthrough
made by Faraday on August 29, 1831
(when James Clerk Maxwell was 2 months old):
The law of magnetic induction.
(20050719) Faraday's Law of Electromagnetic Induction
(1831)
On the electric circulation induced around
a varying magnetic flux.
Michael Faraday
Michael
Faraday (17911867) was the son of a blacksmith,
and a bookbinder by trade.
Effectively, he would remain mathematically illiterate,
but he became an exceptionally brilliant experimental scientist who would lay
the conceptual foundations that occupied
several generations of mathematical minds.
In 1810, Faraday started attending the lectures that
Humphry Davy (17781829) had been giving at
the Royal Institution of London since 1801.
Humphry Davy
John Fuller
In December 1811, Faraday became an assistant of Davy,
whom he would eventually surpass in knowledge and influence.
Faraday was elected to the Royal Society in 1824,
in spite of the jealous opposition of Sir Humphry
Davy (who was its president from 1820 to 1827).
In February 1833,
Faraday became the first Fullerian Professor of Chemistry
at the Royal Institution The chair was endowed by his mentor and supporter
John "Mad Jack" Fuller
(17571834).
Arguably, the greatest of Faraday's many scientific contributions was
the Law of Induction which he formulated in 1831.
After explaining the 1820 observation of
Ørsted in terms of what
we now call the magnetic field,
Faraday did much more than invent
the electric motor.
Eventually, he opened entirely new vistas for physics.
He proposed that light itself was an electromagnetic
phenomenon and lived to be proven right mathematically by his young friend,
James Clerk Maxwell.
Faraday's Law (1831)
rot E +
¶^{ }B
= 0
¶ t
Heinrich Lenz
Heinrich Friedrich "Emil Khristianovich"
Lenz (18041865). Lenz's Law (1833).
The magnetic flux...
F = B . S
dF =
dB . S +
B . dS
First term = Magnetic Induction. Second Term = Lorentz Force.
(20080402) SelfInductance
On the electric induction produced in a circuit by its own magnetic field.
Joseph Henry, 1875
Joseph Henry (17971878)
discovered the law of induction independently of
Faraday and he went on to remark that the magnetic field created by a changing
current in any circuit would induce in the circuit itself an
electromotive force which tends to oppose the change in current.
(20080430) Ampère's law
generalized by Maxwell (1861)
The AmpèreMaxwell law holds even with changing charge distributions.
A simple way to show that the above static version of
Ampère's law
fails in the presence of changing electric fields is to consider how a
capacitor
breaks the flux of current it receives from a conducting wire:
An open flat surface between the capacitor's two plates
has no current flowing through it, unlike a surface
with the same border which the wire happens to penetrate.
In 1861, Maxwell realized that, since electric charge is conserved,
a difference in the flux of current
through two surfaces sharing the same border must imply a change
in the total electric charge q
contained in the volume between those two surfaces.
By Gauss's theorem, this translates into
a changing flux of the electric field through
the closed surface formed by the two aforementioned open surfaces.
More precisely, and remarkably, the "missing" flux of the current density
j is exactly balanced by the flux of the vector
e_{o }¶E/¶t.
Maxwell identified this as the density of a quantity
he called displacement current.
He saw that the sum of the actual current and the displacement
current was divergencefree.
This made that sum a prime candidate
for taking on the role played by the ordinary density of current in
the static version of Ampère's law.
Therefore,
Maxwell proposed that Ampère's law
should be amended accordingly:
rot B = m_{o }
( j + e_{o }¶E/¶t )
Putting the fields on one side and the sources on the the other, we obtain:
AmpèreMaxwell Law (1861)
rot B_{ }
1
¶^{ }E
= m_{o }j
c^{2}
¶_{ }t
At this point, we merely
define c as a convenient constant satisfying:
e_{o}
m_{o} c^{ 2}
= 1
The paramount fact that c turns out to be the
speed of light will be seen to be a
consequence of putting all of Maxwell's equations together...
(20050718) On the History of Maxwell's Equations
The 4 basic laws of electricity and magnetism, discovered one by one.
Gauss' Electric Law = Coulomb's Law
Gauss's Magnetic Law.
Faraday's Law of Induction.
Ampère's Law.
(20050709) Maxwell's Equations Unify
Electricity and Magnetism
They predicted electromagnetic waves before Hertz demonstrated them.
I have also a paper afloat, with an electromagnetic theory of light, which,
till I am convinced to the contrary, I hold to be great guns.
James Clerk Maxwell ^{ } (18311879)
[ letter to
Charles H.
Cay (18411869) dated January 5, 1865 ]
Maxwell's equations govern the electromagnetic
quantities defined above:
The electric fieldE
(in V/m or N/C).
The magnetic inductionB
(in teslas; T or Wb/m^{ 2}).
The density of electric charge r
(in C/m^{3 })
The density of electric currentj
(in A/m^{2 })
Maxwell's Equations (1864)
in modern vectorial form :
rot E +
¶^{ }B
= 0
div E =
r_{ }
¶ t
e_{o}
rot B_{ }
1
¶^{ }E
= m_{o }j
div B = _{ } 0
c^{2}
¶_{ }t
The three electromagnetic constants involved are tied by one equation:
e_{o }m_{o }c^{ 2}
= 1
e_{o}
is the electric permittivity of the vacuum
(in F/m)
(20050709)
Continuity Equation & FranklinWatson Law (1746)
The continuity equation
expresses the conservation of electric charge.
A direct consequence of Maxwell's equations is the following relation,
which expresses the conservation of electric charge
(HINT: div rot Bvanishes).
This conclusion holds if and only if the 3 aforementioned
electromagnetic constants are related as advertised:
e_{o }m_{o }c^{ 2}
= 1
Continuity Equation
div j +
¶^{ }r
= 0
¶_{ }t
Benjamin Franklin
Historically, the relation is reversed:
The conservation of electric charge
had been formulated before 1746, independently by
Benjamin Franklin (17061790) and
William
Watson (17151787).
This was more than a century before Maxwell used it to
generalize Ampère's law
into the proper equation which made the whole theoretical structure perfect.
(20050709)
Electromagnetic Radiation :
From light to radio waves.
Electromagnetic fields propagate at the speed of light (c).
Using the identityrot rot V = grad div V  DV
when r = 0 and
j = 0,
Maxwell's equations imply that
any electromagnetic component y
verifies:
1
¶^{ 2 }y
= Dy
c^{ 2}
¶ t^{ 2}
This wave equation shows that
electromagnetism propagates at celerity c in a vacuum.
Thus, Maxwell's equations support the electromagnetic theory of light
which
Michael Faraday
had proposed before all the evidence was in.
George Francis FitzGerald
In 1883, the Irish physicist
George
FitzGerald (18511901)
remarked that an oscillating current ought to generate
electromagnetic radiation (radio waves).
FitzGerald is also
remembered for his 1889 hypothesis that all moving objects are
foreshortened in the direction of motion
(the relativisticFitzGeraldLorentz contraction).
The propagation of radio waves was first
demonstrated experimentally in 1888, by Heinrich Rudolf
Hertz (18571894).
(20050715)
Electromagnetic Energy & Poynting Vector
The Lorentz force transfers energy between the
field and the charges.
The power F.v of the Lorentz force is
q E.v. Thus, the power received by the electric charges per unit of
volume is E.j.
The charge carriers may then convert the power so received from the local electromagnetic
field into other forms of energy (including the kinetic energy of particles).
Conversely, E.j can be negative, in which case there is
a transfer of energy from the charge carriers to the field.
One process can be seen as a timereversal of the other.
In this, it is essential to retain both the
retarded and advanced solutions of Maxwell's equations;
the motion of the sources and the changes in the field
may cause each other !
The quantity E.j may be expressed in terms of the electromagnetic
fields by dotting into
 E/m_{o}
both sides of the AmpèreMaxwell equation:
Plugging that into the previous equation, we obtain an important relation:
Electromagnetic Balance of Energy Density :
Poynting Theorem (1884)
div (
E ´ B
) +
¶
(
e_{o}E^{ 2}
+ B^{ 2}/ m_{o}
) =
 E . j
m_{o}
¶_{ }t
2
John Henry Poynting
This is due to a pupil of Maxwell,
John
Henry Poynting (18521914).
S = E´B / m_{o} is the Poynting vector.
In the above, the righthand side is the opposite
of the power delivered by the field to the sources, per unit of volume.
So, it's the density of the power released by the sources to the field.
The lefthand side is thus consistent with the following
energy for the electromagnetic field:
Electromagnetic Energy Density
^{1}/_{2} e_{o}
( E^{ 2} +
c^{2 }B^{ 2} )
The above Poynting theorem states that, the variation of this
energy in a given volume comes from power that is either delivered directly by inside sources
or radiated through the surface, as the flux of the Poynting vector.
In the context of
Classical Field Theory,
the above is the Hamiltonian density, whereas
the Lagrangian density of the electromagnetic
field is a Lorentz scalar
(a mere pseudoscalar like
E.B won't do) namely:
Lagrangian Density
^{1}/_{2} e_{o}
( E^{ 2} 
c^{2 }B^{ 2} )
Identifying the above with the usual formulas for the Hamiltonian
(H=T+U) and the Lagrangian (L=TU)
we may think of the square of E
as a kinetic term (T) and the square of B
as a potential term (U).
The analogy is more compelling when a special
gauge is used which makes the electrostatic
potential (f) vanish everywhere,
as is the case for the standard
Lorenz gauge in the particular case of
a crystal of magnetic dipoles.
For in such cases, the electric field consists entirely of
timederivatives of A...
The above is for the electromagnetic field by itself.
In the presence of charges which interact with the field in the
form of a density of Lorentz forces, the corresponding Lagrangian density
of interaction should be added:
Lagrangian Density
^{1}/_{2} e_{o}
( E^{ 2} 
c^{2 }B^{ 2} )

( r f  j.A )
Still missing are all the nonelectromagnetic terms
which are needed to determine correct expressions
of the conjugate momenta and Hamiltonian density...
(20050715)
Electromagnetic Planar Waves (Progressive Waves)
The simplest solutions to Maxwell's equations,
away from all sources.
In the absence of electromagnetic sources
( r = 0, j = 0 ) we may look for
electromagnetic fields whose values do not depend
on the y and z cartesian coordinates.
A solution of this type is called a
progressive planar wave and it may be established
directly from the aboveequations of Maxwell,
without invoking the electromagnetic
potentials introduced below.
Indeed, when all derivatives with respect to y or z vanish,
the 8 scalar relations which express Maxwell's equations
in cartesian coordinates become:
¶ B_{x}
=
0
¶ E_{x}
=
0
¶ x_{ }
¶ x_{ }
0
=
1
¶ E_{x}
0
=

¶ B_{x}
c^{ 2}
¶ t_{ }
¶ t_{ }

¶ B_{z}
=
1
¶ E_{y}

¶ E_{z}
=

¶ B_{y}
¶ x_{ }
c^{ 2}
¶ t_{ }
¶ x_{ }
¶ t_{ }
¶ B_{y}
=
1
¶ E_{z}
¶ E_{y}
=

¶ B_{z}
¶ x_{ }
c^{ 2}
¶ t_{ }
¶ x_{ }
¶ t_{ }
To solve this, we introduce the new variables
u = t  x/c
and v = t + x/c
For any quantity y,
the two expressions of the
differential form dy
yield the expressions of the partial derivatives with respect to the new variables :
dy =
¶ y
dt +
¶ y
dx =
¶ y
du +
¶ y
dv
¶ t
¶ x
¶ u
¶ v
dt = ^{1}/_{2} ( dv + du )
and
dx = ^{c}/_{2} ( dv  du )
Therefore,
ì^{ } ï í ï î
¶ y
=
1
(
¶ y
 c
¶ y
)
¶ u
2
¶ t
¶ x
¶ y
=
1
(
¶ y
+ c
¶ y
)
¶ v
2
¶ t
¶ x
We may apply this back and forth when y is one of
the cartesian components of E
or B, using the above relations between those.
For example:
¶ E_{y}
=
1
¶ E_{y}

c
¶ E_{y}
= 
c^{2}
¶ B_{z}
+
c
¶ B_{z}
= c
¶ B_{z}
¶ u_{ }
2
¶ t_{ }
2
¶ x_{ }
2
¶ x_{ }
2
¶ t_{ }
¶ u_{ }
Thus,
E_{y}  c B_{z}
doesn't depend on u.
Likewise, neither does
E_{z} + c B_{y}
Similarly, both
E_{y} + c B_{z}
and
E_{z}  c B_{y}
do not depend on v.
In 1871, Maxwell himself predicted this as a consequence of
his own equations.
In 1876,
Adolfo Bartoli (18511896)
remarked that the existence of radiation pressure is also an unavoidable consequence
of thermodynamics.
(Radiation pressure is thus sometimes called MaxwellBartoli pressure.)
MaxwellBartoli pressure was first demonstrated experimentally by
Pyotr Lebedev in 1899.
In 1873,
Sir William Crookes (18321919)
believed that he had demonstrated radiation pressure when he came up with
the socalled
radiometer (or
lightmill) displayed
on his coatofarms.
This ain't so, despite what many sources still state. Radiation pressure is too weak to
turn the vanes of such a radiometer and its theoretical torque
opposes the observed rotation!
(The dark sides of the vanes are actually
receeding.)
Crookes' radiometer is actually a subtle heat engine in which the
rarefied gas in the glass enclosure plays an essential rôle
(it wouldn't work in a hard vacuum).
The moving torque is due to what's called the "thermal creep" of the gas molecules
near the edges of the vanes, where a substantial temperature gradient is maintained...
This was first correctly explained by
Osborne Reynolds (18421912)
in a paper which
Maxwell refereed the year he died (1879).
Maxwell published immediately his own paper on the subject, giving credit to Reynolds for the
key idea but criticizing his mathematics
(the Reynolds paper itself was only published in 1881).
Pyotr Lebedev
The first proper measurement of radiation pressure
was made in 1899 by
Pyotr Lebedev (18661912).
In 1901, the pressure of light was measured
at Dartmouth by
Nichols and
Hull
to an accuracy of about 0.6% (the original
Nichols radiometer
is at the Smithsonian).
To avoid the aforementioned effect (dominant in
Crookes radiometers)
a Nichols radiometer must operate in a high vacuum.
(20050713)
Electromagnetic Potentials & Lorenz Gauge
Devised by Ludwig Lorenz in 1867
[when H.A. Lorentz was only 14].
Since Maxwell's equations assert that
the divergence of B vanishes,
there is necessarily a vector potientalA
of which B is the rotational (or curl).
B = rot A
Faraday's law now reads rot [ E +
¶A/¶t ] = 0 .
The square bracket is the gradient of a scalar potential, called
f for compatibility with
electrostatics:
E =
 grad
f  ¶A/¶t
These two equations do not uniquely determine the potentials,
as the same fields are obtained with the following substitutions of the
potentials, valid for any
smooth scalar field y.
A ¬ A
+ grad y
f
¬ f

¶y/¶t
This leeway can be used to make sure the following equation is satisfied,
as proposed by Ludwig Lorenz in 1867.
(Watch the spelling... There's no "t".)
The Lorenz Gauge (1867)
div A +
1
¶^{ }f
= 0
c^{2}
¶^{ }t
The Lorenz Gauge does not eliminate the above type of leeway.
It restricts it to a free field y
propagating at celerity c, according to the
wave equation :
Dy 
1
¶^{ 2 }y
= 0
c^{ 2}
¶ t^{ 2}
The two Maxwell equations which don't involve electromagnetic sources are equivalent to the
above definitions of E and B in terms of
electromagnetic potentials.
Using the Lorenz Gauge, the other two equations boil down to the following relations
between the electromagnetic sources and the potentials:
D'Alembert's Equations
Df

1
¶^{ }f
=
r
c^{2}
¶^{ }t
e_{o}
DA

1
¶^{ }A
= ^{ }m_{o }j
c^{2}
¶^{ }t
Without the Lorenz Gauge, more complicated relations would hold:
Df

1
¶^{ }f
=
r
¶
( div A +
1
¶^{ }f
)
c^{2}
¶^{ }t
e_{o}
¶^{ }t
c^{2}
¶^{ }t
DA

1
¶^{ }A
=
^{ }m_{o }j + grad
( div A +
1
¶^{ }f
)
c^{2}
¶^{ }t
c^{2}
¶^{ }t
Formerly viewed as a mere mathematical convenience
(which Maxwell himself didn't like at all)
the Lorenz gauge is now considered fundamental,
because quantum theory assigns a physical
significance to the potentials.
In the
AharonovBohm effect,
interference patterns produced by charged particles travelling outside of
a solenoid are seen to depend on the value of a steady current through the solenoid,
although the electromagnetic fields outside of the solenoid do not depend on it...
The Lorenz gauge is relativistically covariant
(if it's true in one frame of reference it's true in all of them).
This isn't the case for other popular gauges, including the
Coulomb gauge (div A = 0)
once favored by Maxwell.
Such putative gauges are thus incompatible with the
objectivity of potentials.
The expressions of the Lagrangian, Hamiltonian and canonical momentum
of a charged particle in an electromagnetic field do depend explicitely on the potentials,
although the classicalLorentz force derived from them does not
depend on the choice of a gauge
(see elsewhere on this site for a proof).
Canonical momentum of a particle of mass m, charge
q_{ }and velocityv
(20050715)
Retarded and advanced potentials (& free photons)
General solutions of Maxwell's equations
using the Lorenz gauge.
As shown above, the miraculous effect of
the Lorenz gauge is that
it effectively decouples electricity and magnetism
to turn Maxwell equations into parallel
diffential equations that can formally be solved using standard techniques
(the d'Alembert equations are named after
JeanleRond d'Alembert,
who solved the related homogeneous wave equation).
One relation equates second derivatives of the electric potential
f
to the electric density
r.
The other [vectorial] relation
equates the same derivatives of each component of
the vector potential A to the corresponding component of
the density of current j.
The mathematical solution for each component (and, therefore,
for the whole thing)
can be expressed as the sum of three terms said to be, respectively,
retarded, advanced and free :
f = (1 a)
f^{}
+ a f^{+}
+ f^{o} A = (1 a)
A^{}
+ a A^{+}
+ A^{o}
Usually, only a = 0
is considered, for the causality reasons
discussed below.
a = 1 is
an alternate choice which reverses the arrow of time. In 1945,
Wheleer
& Feynman fantasized about the possibility of
a = ½.
The free terms (superscripted^{ o }) are exactly what we have
already encountered
as the remaining degrees of freedom after imposing
the Lorenz gauge. They correspond mathematically to
solutions of the homogeneous differential equations
(zero charges and currents characterize free space).
Happily, the fact that they appear again here means that the choice of that
gauge really involved no loss of generality.
(This is not coincidental but we may pretend it is.)
The retarded terms are given by the following
expressions, first proposed by
AlfredMarie
Liénard (18691958; X1887) in 1898
and by
Emil Wiechert (18611928)
in 1900. They're known as the
LiénardWiechert potentials.
Electrodynamic Retarded PotentialsA^{}and f^{}
f^{}(t,r)
=
òòò
^{ }r_{ }( t  rs / c , s )
d^{3}s_{ }
4pe_{o}
 r  s 
A^{}(t,r)
=
òòò
^{ }m_{o }j ( t  rs / c , s )
d^{3}s_{ }
4p
 r  s 
This is similar to the expressions obtained in the static cases
(electrostatics, magnetostatics) except
that the fields we observe here and now
depend on a prior state of the sources.
The influence of the sources is delayed by the time it takes
for the "news" of their motions to be broadcasted at speed c.
The socalled advanced potentials
( A^{+} and f^{+ })
are formally obtained by making c negative
in the above retarded expressions
(or equivalently by reversing the
arrow of time).
This is just like what we've already encountered
in the case of planar waves,
with two possible directions of travel.
However, the physical interpretation is not nearly as easy now that we're
dealing with some causality relationship between the field and its
"sources".
Advanced potentials make the situation here and now
(potentials and/or fields) depend on the future
state of remote "sources".
Such a thing may be summarily dismissed as "unphysical" but this fails
to make the issue go away.
Indeed, quantum treatments of electromagnetic fields (photons in
Quantum Field Theory )
imply that a field can create some of its sources in the form of charged
particleantiparticle pairs.
What seems to be lacking is the coherence
of such creations because of statistical and/or thermodynamical
considerations (which feature a pronounced arrow of time).
I don't understand this. Nobody does...
What's clear, however, is that the distinction between past and future vanishes
in stationary cases.
This makes advanced potentials relevant and/or necessary,
without the need for mindboggling philosophical considerations.
We've only shown
(admittedly skipping the mathematical details)
that potentials that obey the
Lorenz gauge would necessarily be given by the
above formulas (possibly adding advanced
and free components).
Conversely, we ought to determine now what restrictions, if any,
(pertaining to the sources r and j)
would make the above solutions verify the assumed Lorenz gauge.
However, we shall postpone this discussion
to present first a clarification of the physics...
(20050821)
Electrodynamic Fields Caused by Moving Sources
An expression derived from the
LiénardWiechert retarded potentials.
Let
r and j denote
r ( t  R / c
, s ) and
j ( t  R / c , s ).
As always, R =
 r  s 
is the distance from a source (located at s)
to the observer (at r).
The following expressions of the fields then hold:
Electrodynamic fields obtained from retarded potentials :
E(t,r)
=
^{ }1^{ }
òòò
[
r
( r  s )
+
( ¶ r / ¶t )
( r  s )
 _{ }
¶ j /
¶t
] _{ } d^{3}s
4pe_{o}
R^{ 3}
c^{ }R^{ 2}
c^{ 2 }R
B(t,r)
=
m_{o}
òòò
[
j ´
( r  s )
+
( ¶ j /
¶t ) ´
( r  s )
] _{ } d^{3}s
4p
R^{ 3}
c^{ }R^{ 2}
In the static case, only the first term of either expression subsists
and we retrieve either the Coulomb law
of electrostatics or the BiotSavart law
of magnetostatics.
A changing distribution of charges and currents generates the additional
terms whose amplitudes dominate at large distances
because they only decrease as 1/R.
This is what makes radio transmission practical!
On 20090906,
Henryk Zajdel
wrote: [edited summary]
I just stumbled on your website. It is brilliant !
However, [the above formulas] do not look right to me.
Could you direct me to a publication where they are derived?
Those expressions for the electromagnetic fields
caused by dynamic sources are enlightening but
I never saw them in print; I inherited those formulas from my
younger self !
Here's an outline of how the above formulas can be derived from the wellknown
integrals giving the retarded potentials.
In either of those integrals, t
is a constant and so are the coordinates x,y,z of r.
Differentiation with respect to x,y,z or t is thus performed by
differentiating the integrand,
which involves only numerical expressions of the
following type (using the notations introduced at the outset):
k(R) f ( tR/c , s )
In this, k(R) is simply proportional to 1/R
(but we may treat it like some unspecified function of R ).
Both factors depend on x,y,z only because R does.
The function f depends on time; k doesn't.
The chain rule yields:
¶ f
=
¶ f
¶
( t 
R
)
= 
1
¶ R
¶ f
¶ x
¶ t
¶ x
c
c
¶ x
¶ t
¶ R / ¶ x
is obtained by differentiating R^{2} =
(rs)^{2} . Namely:
R dR =
( xs_{x }) dx +
( ys_{y }) dy +
( zs_{z }) dz
¶ f
= 
x  s_{x}
¶ f
¶ x
c R
¶ t
From this basic relation, and its counterparts along y and z, we obtain:
 gradf
=
¶ f
r  s
¶ t
c R
The same relations applied to the components
f_{x }f_{y }f_{z }
of a vector F yield:
rotF
=
¶ F
´
r  s
¶ t
c R
Another relation
(needed only in the next section)
involves a dot product :
div F
= 
¶ F
·
r  s
¶ t
c R
Handling the scaling part introduced above as k(R) is similar
but less tricky conceptually, because k is simply a
scalar function of a single argument (the distance R
between source and observer) with a straight derivative
k'. (As k is proportional to 1/R,
we have k'(R) = k/R.)
The conclusion follows from two general identities of
vector calculus and one
trivial equation (expressing that k is timeindependent) namely:
rot (k F) =
grad k ´ F
+
k rot F
 grad (k f )
=

fgrad k

k gradf
 ¶/¶t (k F)
=
 k
¶F/¶t
The first line yields the expression of B,
the sum of the last two gives E.
(20101206)
Electrodynamic Fields Causing Sources to Move
An expression derived from the
LiénardWiechert advanced potentials.
Let's now forget the aura of mystery traditonally associated with
advanced solutions.
Reversing the direction of time simply reverses causality.
Bluntly, when the photons kick the electrons,
the values of the fields are related to the values of the
socalled "sources" at a later time (the sources
are not the causes in this case; their name is misleading).
Now,
r and j denote
r ( t + R / c
, s ) and
j ( t + R / c , s ).
Electrodynamic fields obtained from advanced potentials :
E(t,r)
=
^{ }1^{ }
òòò
[
r
( r  s )

( ¶ r / ¶t )
( r  s )
 _{ }
¶ j /
¶t
] _{ } d^{3}s
4pe_{o}
R^{ 3}
c^{ }R^{ 2}
c^{ 2 }R
B(t,r)
=
m_{o}
òòò
[
j ´
( r  s )

( ¶ j /
¶t ) ´
( r  s )
] _{ } d^{3}s
4p
R^{ 3}
c^{ }R^{ 2}
Compare this formally to the
similar expressions
for retarded potential and notice the changes
of sign that occur in the second column but not the third!
Thoses changes can be traced down to the beginning of the proof outlined above
for retarded potentials, since for a function
f ( t+R/c , s ) :
¶ f
=
¶ f
¶
( t +
R
)
= +
1
¶ R
¶ f
¶ x
¶ t
¶ x
c
c
¶ x
¶ t
The corresponding change of sign (compared to retarded potentials)
applies to the dynamical parts of
grad f or
rot A but does not formally affect
the ¶A/¶t
component of E.
One important consequence of such changes of signs is that it affects the
distant fields in a way which reverses
the sign of Larmor's formula.
In other words, contrary to popular belief, an accelerated or decelerated
charge need not radiate electromagnetic energy away.
It does so only when the change of its motion is the cause of changing
fields, not when it's the result of such changing fields.
Electromagnetic energy always flows from cause to effect.
We may use the notation introduced in the [second part of] the
previous section to investigate what gauge is
obeyed by the expression of the retarded potentials.
We use the methods and the preliminary specific equations established in that section
with yet another
general identity of vector calculus:
div (k F) =
F . grad k + k div F
(20050811)
Radiated Energy (Larmor Formula, 1897)
Accelerated [bound] charges radiate energy away, or do they?
Consider the dipolar solutions to Maxwell's
equation (retarded spherical waves) presented
elsewhere on this site.
At a large distance, the dominant field components are proportional
to the second derivatives p'' or m''.
For an electric dipole, the dominant
farfield component of the Poynting vector
( E´B / m_{o })
is thus in the radial direction of the normed vector u:
m_{o}
( u ´
d^{2 }p
)
^{2}
u
(4p r)^{2 }c
dt^{ 2}
This is a radial vector whose length is proportional to
sin^{2 }q =
1  cos^{2 }q
(where q is the angle between
p'' and the direction of u).
Its flux through the surface of the sphere of radius r is the
total power radiated away:
m_{o}
(
d^{2 }p
)
^{2}
ò
^{ p}
(_{ }1  cos^{2 }q )
(_{ }2p r^{ 2}
sin q )
dq =
_{ }m_{o}
 p''_{ }^{ 2}
(4p r)^{2 }c
dt^{ 2}
_{0}
6p c
Likewise, the total power radiated by a magnetic dipole is :
( m_{o }/ 6p c^{3 })
 m''^{ }^{ 2}
Let's use a subterfuge
to compute the power radiated away by a single charge q
near the origin: Place a charge q (a "witness") at the origin itself.
At large distances, the resulting variable dipole
p = q r(t)
would produce essentially the same dynamic field
(at time t+r/c)
as the lone moving charge q (as long as its acceleration does not vanish
and its distance to the origin remains small).
This translates into the following expression, known as
Larmor's formula :
Power radiated by a charge q
m_{o} q^{ 2}
(
d^{2 }r
)
_{ 2}
6p c
dt^{ 2}
Note that the above was obtained from field expressions based on
retarded potentials which are appropriate when
changing sources cause changing fields.
If that causality relationship is reversed, the
fields based on advanced potentials
should be used instead. They yield a formula whose sign is the
opposite of the above (which would indicate that an accelerated or
decelerated charge receives energy).
In other words, energy always flows from the cause to the effect.
The above argument skirts nearfield difficulties, but it seems inadequate whenever
the moving charge is not confined to the immediate vicinity of
the artificial "witness" charge.
In particular, we don't obtain a clear picture of what happens,
in the long run, when a charge is subjected to
a constant acceleration...
It has been argued that no power would be lost away in this case,
which (according to General Relativity) is equivalent to a motionless charge
in a constant gravitational field.
Even so, a varying gravity ought to make charges radiate
(classically, at least).
A promising way out of that dilemma (20061016)
is to consider the thermal nature of the above exchange of energy,
allowing the formula to hold, in some statistical way, as the classical counterpart
of a quantum effect...
Indeed, in 1976, W.G. Unruh found
that an acceleration g (or, equivalently, a gravitational field)
entails a heat bath whose temperature T
is proportional to it :
Unruh's Temperature T (1976)
k T = (
h
)
g
4p^{ 2} c
(20050809)
The LorentzDirac Equation
Classical Theory of the Electron. Strange inertia of charged particles.
The motion of an electron (point particle of charge q) submitted to a force
F has been described in terms of the following 4dimensional equation,
where (primed) derivatives of the position R are with
respect to the particle's proper time
t [ defined via:
(c dt)^{2} = (c dt)^{2}(dx)^{2}(dy)^{2}(dz)^{2 }].
LorentzDirac Equation (1938)
m R'' = F +
m_{o} q^{ 2}
[ R''' +
 R' >_{ }<R' 
R''' ]
6p^{ }c
c_{ }^{2}
The AbrahamLorentz equation is the nonrelativistic
version of this (using "absolute" time and
retaining only the first term of the bracket).
 R' ><R'  is a square tensor
(the product of the 4D velocity and its dual).
The bracketed sum is only relevant for a point particle of nonzero charge.
Its nature has been highly controversial since 1892, when
H.A. Lorentz
first proposed a
Theory of the Electron derived microscopically from
Maxwell's equations and from
the expression of the electromagnetic force now named after him.
Lorentz would only consider the electromagnetic part of the
rest mass m (i.e., 3m/4).
In 1938, Paul Dirac derived the above covariantly,
for the total mass m.
Physically, the initial value of the acceleration (R'' )
in this thirdorder equation cannot be freely chosen
(so the overall constraints are comparable to those of an ordinary newtonian equation).
Almost all mathematical solutions are unphysical ones,
which are dubbed
selfaccelerating or runaway because they would make
the particle's energy grow indefinitely, even if no force was applied.
However, there could be
more than one initial value of the acceleration which makes physical
sense. The wholly classical LorentzDirac equation
thus allows a nondeterministic behavior more often associated with
quantum mechanics.
The LorentzDirac equation has other weird features, including
the need for a socalled preacceleration which contradicts causality:
The LorentzDirac equation would require an electron to anticipate
any impending pulse of force...