Definitions

# Maxwell's equations

In classical electromagnetism, Maxwell's equations are a set of four partial differential equations that describe the properties of the electric and magnetic fields and relate them to their sources, charge density and current density. These equations are used to show that light is an electromagnetic wave. Individually, the equations are known as Gauss' law, Gauss' law for magnetism, Faraday's law of induction, and Ampère's law with Maxwell's correction.

These four equations, together with the Lorentz force law (derived by Maxwell), are the complete set of laws of classical electromagnetism.

## Conceptual descriptions of the equations

This section will conceptually describe each of the four Maxwell's equations, and also how they link together to explain the origin of electromagnetic radiation such as light. The exact equations can be found in the subsequent section.

• Gauss' law describes how electric charge can create and alter electric fields. In particular, electric fields tend to point away from positive charges, and towards negative charges. Gauss' law is the primary explanation of why opposite charges attract, and like repel: The charges create certain electric fields, which other charges then respond to via an electric force.
• Gauss' law for magnetism states that magnetism is unlike electricity in that there are not distinct "north pole" and "south pole" particles (such particles, which exist in theory only, would be called magnetic monopoles) that attract and repel the way positive and negative charges do. Instead, north poles and south poles necessarily come as pairs (magnetic dipoles). In particular, unlike the electric field which tends to point away from positive charges and towards negative charges, magnetic field lines always come in loops, for example pointing away from the north pole outside of a bar magnet but towards it inside the magnet.
• Faraday's law of induction describes how a changing magnetic field can create an electric field. This is, for example, the operating principle behind many electric generators: Mechanical force (such as the force of water falling through a hydroelectric dam) spins a huge magnet, and the changing magnetic field creates an electric field which drives electricity through the power grid.
• Ampère's law with Maxwell's correction states that magnetic fields can be generated in two ways: By electrical current (this was the original "Ampère's law") and by changing electric fields (this was Maxwell's correction, also called the displacement current term).

Maxwell's correction to Ampère's law was particularly important: With its inclusion, the laws state that a changing electric field could produce a magnetic field, and vice-versa. It follows that, even with no electric charges or currents present, it's possible to have stable, self-perpetuating waves of oscillating electric and magnetic fields, with each field driving the other. (These waves are called electromagnetic radiation.) The four Maxwell's equations describe these waves quantitatively, and moreover predict that the waves should have a particular, universal speed, which can be simply calculated in terms of two easily-measurable physical constants (called the electric constant and magnetic constant).

The speed calculated for electromagnetic radiation exactly matches the speed of light; indeed, light is one form of electromagnetic radiation (as are X-rays, radio waves, and others). In this way, Maxwell unified the hitherto separate fields of electromagnetism and optics.

## General formulations of Maxwell's equations

The equations in this section are given in SI units. Unlike the equations of mechanics (for example), Maxwell's equations are not unchanged in other unit systems. Though the general form remains the same, various definitions get changed and different constants appear at different places. Other than SI (used in engineering), the units commonly used are Gaussian units (based on the cgs system and considered to have some theoretical advantages over SI), Lorentz-Heaviside units (used mainly in particle physics) and Planck units (used in theoretical physics). See below for CGS-Gaussian units.

Two equivalent, general formulations of Maxwell's equations follow. The first separates bound charge and bound current (which arise in the context of dielectric and/or magnetized materials) from free charge and free current (the more conventional type of charge and current). This separation is useful for calculations involving dielectric or magnetized materials. The second formulation treats all charge equally, combining free and bound charge into total charge (and likewise with current). This is the more fundamental or microscopic point of view, and is particularly useful when no dielectric or magnetic material is present. More detail, and a proof that these two formulations are mathematically equivalent, are given in section 3.

Symbols in bold represent vector quantities, whereas symbols in italics represent scalar quantities. The definitions of terms used in the two tables of equations are given in another table immediately following.

##### Table 1: Formulation in terms of free charge and current

Name Differential form Integral form
Gauss' law: $nabla cdot mathbf\left\{D\right\} = rho_f$ $oint_S mathbf\left\{D\right\} cdot mathrm\left\{d\right\}mathbf\left\{A\right\} = Q_\left\{f,S\right\}$
Gauss' law for magnetism: $nabla cdot mathbf\left\{B\right\} = 0$ $oint_S mathbf\left\{B\right\} cdot mathrm\left\{d\right\}mathbf\left\{A\right\} = 0$
(Faraday's law of induction):
$nabla times mathbf\left\{E\right\} = -frac\left\{partial mathbf\left\{B\right\}\right\} \left\{partial t\right\}$ $oint_\left\{partial S\right\} mathbf\left\{E\right\} cdot mathrm\left\{d\right\}mathbf\left\{l\right\} = - frac \left\{partial Phi_\left\{B,S\right\}\right\}\left\{partial t\right\}$
Ampère's circuital law
(with Maxwell's correction):
$nabla times mathbf\left\{H\right\} = mathbf\left\{J\right\}_f + frac\left\{partial mathbf\left\{D\right\}\right\} \left\{partial t\right\}$ $oint_\left\{partial S\right\} mathbf\left\{H\right\} cdot mathrm\left\{d\right\}mathbf\left\{l\right\} = I_\left\{f,S\right\} + frac \left\{partial Phi_\left\{D,S\right\}\right\}\left\{partial t\right\}$

##### Table 2: Formulation in terms of total charge and current
Name Differential form Integral form
Gauss' law: $nabla cdot mathbf\left\{E\right\} = frac \left\{rho\right\} \left\{varepsilon_0\right\}$ $oint_S mathbf\left\{E\right\} cdot mathrm\left\{d\right\}mathbf\left\{A\right\} = frac \left\{Q_S\right\}\left\{varepsilon_0\right\}$
Gauss' law for magnetism: $nabla cdot mathbf\left\{B\right\} = 0$ $oint_S mathbf\left\{B\right\} cdot mathrm\left\{d\right\}mathbf\left\{A\right\} = 0$
(Faraday's law of induction):
$nabla times mathbf\left\{E\right\} = -frac\left\{partial mathbf\left\{B\right\}\right\} \left\{partial t\right\}$ $oint_\left\{partial S\right\} mathbf\left\{E\right\} cdot mathrm\left\{d\right\}mathbf\left\{l\right\} = - frac \left\{partial Phi_\left\{B,S\right\}\right\}\left\{partial t\right\}$
Ampère's circuital law
(with Maxwell's correction):
$nabla times mathbf\left\{B\right\} = mu_0mathbf\left\{J\right\} + mu_0 varepsilon_0 frac\left\{partial mathbf\left\{E\right\}\right\} \left\{partial t\right\}$  $oint_\left\{partial S\right\} mathbf\left\{B\right\} cdot mathrm\left\{d\right\}mathbf\left\{l\right\} = mu_0 I_S + mu_0 varepsilon_0 frac \left\{partial Phi_\left\{E,S\right\}\right\}\left\{partial t\right\}$

The following table provides the meaning of each symbol and the SI unit of measure:

##### Table 3: Definitions and units
Symbol Meaning (first term is the most common) SI Unit of Measure
$mathbf\left\{nabla cdot\right\}$ the divergence operator per meter (factor contributed by applying either operator)
$mathbf\left\{nabla times\right\}$ the curl operator
$frac \left\{partial\right\}\left\{partial t\right\}$ partial derivative with respect to time per second (factor contributed by applying the operator)
$mathbf\left\{E\right\}$ electric field volt per meter or, equivalently,
newton per coulomb
$mathbf\left\{B\right\}$ magnetic field
also called the magnetic induction
also called the magnetic field density
also called the magnetic flux density
tesla, or equivalently,
weber per square meter
voltsecond per square meter
$mathbf\left\{D\right\}$ electric displacement field
also called the electric flux density
coulombs per square meter or, equivalently,
newton per volt-meter
$mathbf\left\{H\right\}$ magnetizing field
also called auxiliary magnetic field
also called magnetic field intensity
also called magnetic field
ampere per meter
$epsilon_0$ permittivity of free space, officially the electric constant,
a universal constant
$mu_0$ permeability of free space, officially the magnetic constant,
a universal constant
henries per meter, or newtons per ampere squared
$rho_f$ free charge density (not including bound charge) coulomb per cubic meter
$rho$ total charge density (including both free and bound charge) coulomb per cubic meter
$oint_S mathbf\left\{E cdot mathrm\left\{d\right\} A\right\}$ the flux of the electric field through any closed gaussian surface S joule-meter per coulomb
$Q_\left\{f,S\right\}$ net unbalanced free electric charge enclosed by the
Gaussian surface S (not including bound charge)
coulombs
$Q_\left\{S\right\}$ net unbalanced electric charge enclosed by the Gaussian
surface S (including both free and bound charge)
coulombs
$oint_S mathbf\left\{B cdot mathrm\left\{d\right\} A\right\}$ the flux of the magnetic field through any closed surface S tesla meter-squared or weber
$oint_\left\{partial S\right\} mathbf\left\{E\right\} cdot mathrm\left\{d\right\}mathbf\left\{l\right\}$ line integral of the electric field along the boundary ∂S
(therefore necessarily a closed curve) of the surface S
joule per coulomb
$Phi_\left\{B,S\right\} = int_S mathbf\left\{B\right\} cdot mathrm\left\{d\right\} mathbf\left\{A\right\}$ magnetic flux through any surface S (not necessarily closed) weber or equivalently,
volt-second
$mathbf\left\{J\right\}_f$ free current density (not including bound current) ampere per square meter
$mathbf\left\{J\right\}$ total current density (including both free and bound current) ampere per square meter
$oint_\left\{partial S\right\} mathbf\left\{B\right\} cdot mathrm\left\{d\right\}mathbf\left\{l\right\}$ line integral of the magnetic field over
the closed boundary ∂S of the surface S
tesla-meter
$I_\left\{f,S\right\} = int_S mathbf\left\{J\right\}_f cdot mathrm\left\{d\right\} mathbf\left\{A\right\}$ net free electrical current passing through
the surface S (not including bound current)
amperes
$I_\left\{S\right\} = int_S mathbf\left\{J\right\} cdot mathrm\left\{d\right\} mathbf\left\{A\right\}$ net electrical current passing through the
surface S (including both free and bound current)
amperes
$Phi_\left\{E,S\right\} = int_S mathbf\left\{E\right\} cdot mathrm\left\{d\right\} mathbf\left\{A\right\}$ electric flux through any surface S, not necessarily closed joule-meter per coulomb
$Phi_\left\{D,S\right\} = int_S mathbf\left\{D\right\} cdot mathrm\left\{d\right\} mathbf\left\{A\right\}$ flux of electric displacement field through any surface S, not necessarily closed coulombs
$mathrm\left\{d\right\}mathbf\left\{A\right\}$ differential vector element of surface area A, with infinitesimally
small magnitude and direction normal to surface S
square meters
$mathrm\left\{d\right\} mathbf\left\{l\right\}$ differential vector element of path length tangential to the path/curve meters

Maxwell's equations are generally applied to macroscopic averages of the fields, which vary wildly on a microscopic scale in the vicinity of individual atoms (where they undergo quantum mechanical effects as well). It is only in this averaged sense that one can define quantities such as the permittivity and permeability of a material. At the microscopic level, Maxwell's equations, ignoring quantum effects, describe fields, charges and currents in free space — but at this level of detail one must include all charges, even those at an atomic level, generally an intractable problem.

## History

Although James Clerk Maxwell was not the originator of these equations, he nevertheless derived three of them again independently in conjunction with his molecular vortex model of Faraday's "lines of force", along with the full version of Faraday's law of induction. In doing so he made an important addition to Ampère's circuital law.

Maxwell also developed Faraday's law of induction into another equation, which used to be listed as a 'Maxwell's equation' but is nowadays known as the Lorentz force law.

### The term Maxwell's equations

Controversy has always surrounded the term Maxwell's equations concerning the extent to which Maxwell himself was involved in these equations. The term Maxwell's equations nowadays applies to a set of four equations that were grouped together as a distinct set in 1884 by Oliver Heaviside, in conjunction with Willard Gibbs.

The importance of Maxwell's role in these equations lies in the correction he made to Ampère's circuital law in his 1861 paper On Physical Lines of Force.pdf. He added the displacement current term to Ampère's circuital law and this enabled him to derive the electromagnetic wave equation in his later 1865 paper A Dynamical Theory of the Electromagnetic Field and demonstrate the fact that light is an electromagnetic wave. This fact was then later confirmed experimentally by Heinrich Hertz in 1887.

The reason that these equations are called Maxwell's equations is disputed. Some say that these equations were originally called the Hertz-Heaviside equations but that Einstein for whatever reason later referred to them as the Maxwell-Hertz equations. see pages 110-112 of Nahin's book

These equations are based on the works of James Clerk Maxwell, and Heaviside made no secret of the fact that he was working from Maxwell's papers. Heaviside aimed to produce a symmetrical set of equations that were crucial as regards deriving the telegrapher's equations. The net result was a set of four equations, three of which had appeared in substance throughout Maxwell's previous papers, in particular Maxwell's 1861 paper On Physical Lines of Force.pdf and 1865 paper A Dynamical Theory of the Electromagnetic Field. The fourth was a partial time derivative version of Faraday's law of induction that doesn't include motionally induced EMF.

Of Heaviside's equations, the most important in deriving the telegrapher's equations was the version of Ampère's circuital law that had been amended by Maxwell in this 1861 paper to include what is termed the displacement current.

### Maxwell's On Physical Lines of Force (1861)

(Alternate source)

Three of Heaviside's four equations appeared throughout Maxwell's 1861 paper On Physical Lines of Force:

(i) At equation (56) of Maxwell's 1861 paper we see $nabla cdot mathbf\left\{B\right\} = 0$.

(ii) At equation (112) we see Ampère's circuital law with Maxwell's correction. It is this correction called displacement current which is the most significant aspect of Maxwell's work in electromagnetism as it enabled him to later derive the electromagnetic wave equation in his 1865 paper A Dynamical Theory of the Electromagnetic Field, and hence show that light is an electromagnetic wave. It is therefore this aspect of Maxwell's work which gives Heaviside's equations their full significance. (Interestingly, Kirchhoff derived the telegrapher's equations in 1857 without using displacement current. But he did use Poisson's equation and the equation of continuity which are the mathematical ingredients of the displacement current. Nevertheless, Kirchhoff believed his equations to be applicable only inside an electric wire and so he is not credited with having discovered that light is an electromagnetic wave).

(iii) At equation (113) we see Gauss' law.

(iv) Heaviside's fourth equation introduced a restricted partial time derivative version of Faraday's law of induction. (A full version of Faraday's law of induction had appeared at equation (54) of Maxwell's 1861 paper). It is important however to note that Heaviside's partial time derivative notation, as opposed to the total time derivative notation used by Maxwell at equations (54), resulted in the loss of the v × B term that appeared in Maxwell's equation (77). Nowadays, the v × B term appears in the force law F = q (E + v × B ) which sits adjacent to Maxwell's equations and bears the name Lorentz force. The Lorentz Force corresponds in effect to Maxwell's equation (77), but it appeared in this paper when Lorentz was still a young boy.

### Maxwell's A Dynamical Theory of the Electromagnetic Field (1865)

Confusion over the term "Maxwell's equations" is further increased because it is also sometimes used for a set of eight equations that appeared in Part III of Maxwell's 1865 paper A Dynamical Theory of the Electromagnetic Field, entitled "General Equations of the Electromagnetic Field" (page 480 of the article and page 2 of the pdf link), a confusion compounded by the writing of six of those eight equations as three separate equations (one for each of the Cartesian axes), resulting in twenty equations in twenty unknowns. (As noted above, this terminology is not common: Modern references to the term "Maxwell's equations" usually refer to the Heaviside restatements.)

These original eight equations are nearly identical to the Heaviside versions in substance, but they have some superficial differences. In fact, only one of the Heaviside versions is completely unchanged from these original equations, and that is Gauss' law (Maxwell's equation G below). Another of Heaviside's four equations is an amalgamation of Maxwell's law of total currents (equation A below) with Ampère's circuital law (equation C below). This amalgamation, which Maxwell himself originally made at equation (112) in his 1861 paper "On Physical Lines of Force" (see above), is the one that modifies Ampère's circuital law to include Maxwell's displacement current.

The eight original Maxwell's equations can be written in modern vector notation as follows:(A) The law of total currents

$mathbf\left\{J\right\}_\left\{tot\right\} = mathbf\left\{J\right\} + frac\left\{partialmathbf\left\{D\right\}\right\}\left\{partial t\right\}$ (B) The equation of magnetic force

$mu mathbf\left\{H\right\} = nabla times mathbf\left\{A\right\}$(C) Ampère's circuital law

$nabla times mathbf\left\{H\right\} = mathbf\left\{J\right\}_\left\{tot\right\}$(D) Electromotive force created by convection, induction, and by static electricity. (This is in effect the Lorentz force)

$mathbf\left\{E\right\} = mu mathbf\left\{v\right\} times mathbf\left\{H\right\} - frac\left\{partialmathbf\left\{A\right\}\right\}\left\{partial t\right\}-nabla phi$(E) The electric elasticity equation

$mathbf\left\{E\right\} = frac\left\{1\right\}\left\{epsilon\right\} mathbf\left\{D\right\}$(F) Ohm's law

$mathbf\left\{E\right\} = frac\left\{1\right\}\left\{sigma\right\} mathbf\left\{J\right\}$(G) Gauss' law

$nabla cdot mathbf\left\{D\right\} = rho$(H) Equation of continuity

$nabla cdot mathbf\left\{J\right\} = -frac\left\{partialrho\right\}\left\{partial t\right\}$Notation
$mathbf\left\{H\right\}$ is the magnetizing field, which Maxwell called the "magnetic intensity".
$mathbf\left\{J\right\}$ is the electric current density (with $mathbf\left\{J\right\}_\left\{tot\right\}$ being the total current including displacement current).
$mathbf\left\{D\right\}$ is the displacement field (called the "electric displacement" by Maxwell).
$rho$ is the free charge density (called the "quantity of free electricity" by Maxwell).
$mathbf\left\{A\right\}$ is the magnetic vector potential (called the "angular impulse" by Maxwell).
$mathbf\left\{E\right\}$ is called the "electromotive force" by Maxwell. The term electromotive force is nowadays used for voltage, but it is clear from the context that Maxwell's meaning corresponded more to the modern term electric field.
$Phi$ is the electric potential (which Maxwell also called "electric potential").
$sigma$ is the electrical conductivity (Maxwell called the inverse of conductivity the "specific resistance", what is now called the resistivity).

It is interesting to note the $mu mathbf\left\{v\right\} times mathbf\left\{H\right\}$ term that appears in equation D. Equation D is therefore effectively the Lorentz force, similarly to equation (77) of his 1861 paper (see above).

When Maxwell derives the electromagnetic wave equation in his 1865 paper, he uses equation D to cater for electromagnetic induction rather than Faraday's law of induction which is used in modern textbooks. (Faraday's law itself does not appear among his equations.) However, Maxwell drops the $mu mathbf\left\{v\right\} times mathbf\left\{H\right\}$ term from equation D when he is deriving the electromagnetic wave equation, as he considers the situation only from the rest frame.

## Details and special cases of Maxwell's equations

### Bound charge and current

If an electric field is applied to a dielectric material, each of the molecules responds by forming a microscopic dipole -- its atomic nucleus will move a tiny distance in the direction of the field, while its electrons will move a tiny distance in the opposite direction. This is called polarization of the material. The distribution of charge that results from these tiny movements turn out to be identical to having a layer of positive charge on one side of the material, and a layer of negative charge on the other side -- a macroscopic separation of charge, even though all of the charges involved are "bound" to a single molecule. This is called bound charge. Likewise, in a magnetized material, there is effectively a "bound current" circulating around the material, despite the fact that no individual charge is travelling a distance larger than a single molecule.

#### Proof that the two general formulations are equivalent

In this section, a simple proof is outlined which shows that the two alternate general formulations of Maxwell's equations given in Section 1 are mathematically equivalent.

The relation between polarization, magnetization, bound charge, and bound current is as follows:

$rho_b = -nablacdotmathbf\left\{P\right\}$
$mathbf\left\{J\right\}_b = nablatimesmathbf\left\{M\right\} + frac\left\{partialmathbf\left\{P\right\}\right\}\left\{partial t\right\}$
$mathbf\left\{D\right\} = epsilon_0mathbf\left\{E\right\} + mathbf\left\{P\right\}$

$mathbf\left\{B\right\} = mu_0\left(mathbf\left\{H\right\} + mathbf\left\{M\right\}\right)$

$rho = rho_b + rho_f$

$mathbf\left\{J\right\} = mathbf\left\{J\right\}_b + mathbf\left\{J\right\}_f$
where P and M are polarization and magnetization, and ρb and Jb are bound charge and current, respectively. Plugging in these relations, it can be easily demonstrated that the two formulations of Maxwell's equations given in Section 1 are precisely equivalent.

### Constitutive relations

In order to apply Maxwell's equations (the formulation in terms of free charge and current, and D and H), it is necessary to specify the relations between D and E, and H and B. These are called constitutive relations, and correspond physically to specifying the response of bound charge and current to the field, or equivalently, how much polarization and magnetization a material acquires in the presence of electromagnetic fields.

#### Case without magnetic or dielectric materials

In the absence of magnetic or dielectric materials, the relations are simple:

$mathbf\left\{D\right\} = epsilon_0mathbf\left\{E\right\}, ;;; mathbf\left\{H\right\} = mathbf\left\{B\right\}/mu_0$
where ε0 and μ0 are two universal constants, called the permittivity of free space and permeability of free space, respectively.

#### Case of linear materials

In a "linear", isotropic, nondispersive, uniform material, the relations are also straightforward:

$mathbf\left\{D\right\} = epsilonmathbf\left\{E\right\}, ;;; mathbf\left\{H\right\} = mathbf\left\{B\right\}/mu$
where ε and μ are constants (which depend on the material), called the permittivity and permeability, respectively, of the material.

#### General case

For real-world materials, the constitutive relations are not simple proportionalities, except approximately. The relations can usually still be written:

$mathbf\left\{D\right\} = epsilonmathbf\left\{E\right\}, ;;; mathbf\left\{H\right\} = mathbf\left\{B\right\}/mu$
but ε and μ are not, in general, simple constants, but rather functions. For example, ε and μ can depend upon:

If further there are dependencies on:

• The position inside the material (the case of a nonuniform material, which occurs when the response of the material varies from point to point within the material, an effect called spatial dispersion; for example in a domained structure, heterostructure or a liquid crystal, or principally in any bounded medium),
• The history of the fields (the case of hysteresis, which occurs when the repsonse of the material is a function of both present and past values of the fields),

then the constitutive relations take a more complicated form:

$mathbf\left\{D\right\}\left(mathbf\left\{r\right\}, t\right) = epsilon_0 mathbf\left\{E\right\}\left(mathbf\left\{r\right\}, t\right) + mathbf\left\{P\right\}\left(mathbf\left\{r\right\}, t\right)$
$mathbf\left\{H\right\}\left(mathbf\left\{r\right\}, t\right) = frac\left\{1\right\}\left\{mu_0\right\} mathbf\left\{B\right\}\left(mathbf\left\{r\right\}, t\right) - mathbf\left\{M\right\}\left(mathbf\left\{r\right\}, t\right)$
$mathbf\left\{P\right\}\left(mathbf\left\{r\right\}, t\right) = epsilon_0 int d^3 mathbf\left\{r\right\}\text{'} d t\text{'};$
hat{chi}_{mathrm{elec}} (mathbf{r}, mathbf{r}', t, t'; mathbf{E}), mathbf{E}(mathbf{r}', t')
$mathbf\left\{M\right\}\left(mathbf\left\{r\right\}, t\right) = frac\left\{1\right\}\left\{mu_0\right\} int d^3 mathbf\left\{r\right\}\text{'} d t\text{'} ;$
hat{chi}_{mathrm{magn}} (mathbf{r}, mathbf{r}', t, t'; mathbf{B}), mathbf{B}(mathbf{r}', t'), in which the permittivity and permeability functions are replaced by integrals over the more general electric and magnetic susceptibilities.

#### Maxwell's equations in terms of E and B for linear materials

Substituting in the constitutive relations above, Maxwell's equations in a linear material (differential form only) are:

$nabla cdot mathbf\left\{E\right\} = frac \left\{rho_f\right\} \left\{epsilon\right\}$
$nabla cdot mathbf\left\{B\right\} = 0$
$nabla times mathbf\left\{E\right\} = -frac\left\{partial mathbf\left\{B\right\}\right\} \left\{partial t\right\}$
$nabla times mathbf\left\{B\right\} = mu mathbf\left\{J\right\}_f + mu epsilon frac\left\{partial mathbf\left\{E\right\}\right\} \left\{partial t\right\}.$

These are formally identical to the general formulation in terms of E and B (given above), except that the permittivity of free space was replaced with the permittivity of the material (see also displacement field, electric susceptibility and polarization density), the permeability of free space was replaced with the permeability of the material (see also magnetization, magnetic susceptibility and magnetic field), and only free charges and currents are included (instead of all charges and currents).

### Maxwell's equations in vacuum

Starting with the equations appropriate in the case without dielectric or magnetic materials, and assuming that there is no current or electric charge present in the vacuum, we obtain the Maxwell equations in free space:

$nabla cdot mathbf\left\{E\right\} = 0$

$nabla cdot mathbf\left\{B\right\} = 0$

$nabla times mathbf\left\{E\right\} = - frac\left\{partialmathbf\left\{B\right\}\right\} \left\{partial t\right\}$

$nabla times mathbf\left\{B\right\} = mu_0varepsilon_0 frac\left\{partial mathbf\left\{E\right\}\right\} \left\{partial t\right\}$

These equations have a solution in terms of traveling sinusoidal plane waves, with the electric and magnetic field directions orthogonal to one another and the direction of travel, and with the two fields in phase, traveling at the speed

$c_0 = frac\left\{1\right\}\left\{sqrt\left\{mu_0 varepsilon_0\right\}\right\} .$

In fact, Maxwell's equations explains specifically how these waves can physically propagate through space. The changing magnetic field creates a changing electric field through Faraday's law. That electric field, in turn, creates a changing magnetic field through Maxwell's correction to Ampère's law. This perpetual cycle allows these waves, known as electromagnetic radiation, to move through space, always at velocity c0.

Maxwell discovered that this quantity c0 equals the speed of light in vacuum (known from early experiments), and concluded (correctly) that light is a form of electromagnetic radiation.

### With magnetic monopoles

Maxwell's equations of electromagnetism relate the electric and magnetic fields to the motions of electric charges. The standard form of the equations provide for an electric charge, but posit no magnetic charge (in accordance with the fact that magnetic charge has never been seen and may not exist). Except for this, the equations are symmetric under interchange of electric and magnetic field. In fact, symmetric equations can be written when all charges are zero, and this is how the wave equation is derived (see immediately above).

Fully symmetric equations can also be written if one allows for the possibility of "magnetic charges" analogous to electric charges. With the inclusion of a variable for these magnetic charges, say $rho_m ,$, there will also be "magnetic current" variable in the equations, $vec\left\{J\right\}_m ,$. The extended Maxwell's equations, simplified by nondimensionalization, are as follows:

Name Without magnetic monopoles With magnetic monopoles (hypothetical)
Gauss' law: $vec\left\{nabla\right\} cdot vec\left\{E\right\} = 4 pi rho_e$ $vec\left\{nabla\right\} cdot vec\left\{E\right\} = 4 pi rho_e$
Gauss' law for magnetism: $vec\left\{nabla\right\} cdot vec\left\{B\right\} = 0$ $vec\left\{nabla\right\} cdot vec\left\{B\right\} = 4 pi rho_m$
(Faraday's law of induction):
$-vec\left\{nabla\right\} times vec\left\{E\right\} = frac\left\{partial vec\left\{B\right\}\right\} \left\{partial t\right\}$ $-vec\left\{nabla\right\} times vec\left\{E\right\} = frac\left\{partial vec\left\{B\right\}\right\}\left\{partial t\right\} + 4 pivec\left\{j\right\}_m$
Ampère's law
(with Maxwell's extension):
$vec\left\{nabla\right\} times vec\left\{B\right\} = frac\left\{partial vec\left\{E\right\}\right\} \left\{partial t\right\} + 4 pi vec\left\{j\right\}_e$      $vec\left\{nabla\right\} times vec\left\{B\right\} = frac\left\{partial vec\left\{E\right\}\right\} \left\{partial t\right\} + 4 pi vec\left\{j\right\}_e$
Note: the Bivector notation embodies the sign swap, and these four equations can be written as only one equation.

If magnetic charges do not exist, or if they exist but where they are not present in a region, then the new variables are zero, and the symmetric equations reduce to the conventional equations of electromagnetism such as $vec\left\{nabla\right\}cdotvec\left\{B\right\} = 0$. Classically, the question is "Why does the magnetic charge always seem to be zero?"

## Materials and dynamics

The fields in Maxwell's equations are generated by charges and currents. Conversely, the charges and currents are affected by the fields through the Lorentz force equation:

$mathbf\left\{F\right\} = q \left(mathbf\left\{E\right\} + mathbf\left\{v\right\} times mathbf\left\{B\right\}\right),$

where q is the charge on the particle and v is the particle velocity. (It also should be remembered that the Lorentz force is not the only force exerted upon charged bodies, which also may be subject to gravitational, nuclear, etc. forces.) Therefore, in both classical and quantum physics, the precise dynamics of a system form a set of coupled differential equations, which are almost always too complicated to be solved exactly, even at the level of statistical mechanics. This remark applies to not only the dynamics of free charges and currents (which enter Maxwell's equations directly), but also the dynamics of bound charges and currents, which enter Maxwell's equations through the constitutive equations, as described next.

Commonly, real materials are approximated as "continuum" media with bulk properties such as the refractive index, permittivity, permeability, conductivity, and/or various susceptibilities. These lead to the macroscopic Maxwell's equations, which are written (as given above) in terms of free charge/current densities and D, H, E, and B (rather than E and B alone ) along with the constitutive equations relating these fields. For example, although a real material consists of atoms whose electronic charge densities can be individually polarized by an applied field, for most purposes behavior at the atomic scale is not relevant and the material is approximated by an overall polarization density related to the applied field by an electric susceptibility.

Continuum approximations of atomic-scale inhomogeneities cannot be determined from Maxwell's equations alone. but require some type of quantum mechanical analysis such as quantum field theory as applied to condensed matter physics. See, for example, density functional theory, Green–Kubo relations and Green's function (many-body theory). Various approximate transport equations have evolved, for example, the Boltzmann equation or the Fokker–Planck equation or the Navier-Stokes equations. Some examples where these equations are applied are magnetohydrodynamics, fluid dynamics, electrohydrodynamics, superconductivity, plasma modeling. An entire physical apparatus for dealing with these matters has developed. A different set of homogenization methods (evolving from a tradition in treating materials such as conglomerates and laminates) are based upon approximation of an inhomogeneous material by a homogeneous effective medium (valid for excitations with wavelengths much larger than the scale of the inhomogeneity).

Theoretical results have their place, but often require fitting to experiment. Continuum-approximation properties of many real materials rely upon measurement, for example, ellipsometry measurements.

In practice, some materials properties have a negligible impact in particular circumstances, permitting neglect of small effects. For example: optical nonlinearities can be neglected for low field strengths; material dispersion is unimportant where frequency is limited to a narrow bandwidth; material absorption can be neglected for wavelengths where a material is transparent; and metals with finite conductivity often are approximated at microwave or longer wavelengths as perfect metals with infinite conductivity (forming hard barriers with zero skin depth of field penetration).

And, of course, some situations demand that Maxwell's equations and the Lorentz force be combined with other forces that are not electromagnetic. An obvious example is gravity. A more subtle example, which applies where electrical forces are weakened due to charge balance in a solid or a molecule, is the Casimir force from quantum electrodynamics.

The connection of Maxwell's equations to the rest of the physical world is via the fundamental sources of charges and currents and the forces on them, and also by the properties of physical materials.

### Boundary conditions

Although Maxwell's equations apply throughout space and time, practical problems are finite and solutions to Maxwell's equations inside the solution region are joined to the remainder of the universe through boundary conditions and started in time using initial conditions. In some cases, like waveguides or cavity resonators, the solution region is largely isolated from the universe, for example, by metallic walls, and boundary conditions at the walls define the fields with influence of the outside world confined to the input/output ends of the structure. In other cases, the universe at large sometimes is approximated by an artificial absorbing boundary, or, for example for radiating antennas or communication satellites, these boundary conditions can take the form of asymptotic limits imposed upon the solution. In addition, for example in an optical fiber or thin-film optics, the solution region often is broken up into subregions with their own simplified properties, and the solutions in each subregion must be joined to each other across the subregion interfaces using boundary conditions. Following are some links of a general nature concerning boundary value problems: Examples of boundary value problems, Sturm-Liouville theory, Dirichlet boundary condition, Neumann boundary condition, mixed boundary condition, Cauchy boundary condition, Sommerfeld radiation condition. Needless to say, one must choose the boundary conditions appropriate to the problem being solved. See also Kempel and the extraordinary book by Friedman.

## Maxwell's equations in CGS units

The above equations are given in the International System of Units, or SI for short. In a related unit system, called cgs (short for centimeter-gram-second), the equations take the following form:

$nabla cdot mathbf\left\{D\right\} = 4pirho_f$

$nabla cdot mathbf\left\{B\right\} = 0$

$nabla times mathbf\left\{E\right\} = -frac\left\{1\right\}\left\{c\right\} frac\left\{partial mathbf\left\{B\right\}\right\} \left\{partial t\right\}$

$nabla times mathbf\left\{H\right\} = frac\left\{1\right\}\left\{c\right\} frac\left\{partial mathbf\left\{D\right\}\right\} \left\{partial t\right\} + frac\left\{4pi\right\}\left\{c\right\} mathbf\left\{J\right\}_f$

Where c is the speed of light in a vacuum. For the electromagnetic field in a vacuum, the equations become:

$nabla cdot mathbf\left\{E\right\} = 0$

$nabla cdot mathbf\left\{B\right\} = 0$

$nabla times mathbf\left\{E\right\} = -frac\left\{1\right\}\left\{c\right\} frac\left\{partial mathbf\left\{B\right\}\right\} \left\{partial t\right\}$

$nabla times mathbf\left\{B\right\} = frac\left\{1\right\}\left\{c\right\} frac\left\{partial mathbf\left\{E\right\}\right\}\left\{partial t\right\}$

In this system of units the relation between displacement field, electric field and polarization density is:

$mathbf\left\{D\right\} = mathbf\left\{E\right\} + 4pimathbf\left\{P\right\}$
And likewise the relation between magnetic induction, magnetic field and total magnetization is:
$mathbf\left\{B\right\} = mathbf\left\{H\right\} + 4pimathbf\left\{M\right\}$

In the linear approximation, the electric susceptibility and magnetic susceptibility can be defined so that:

$mathbf\left\{P\right\} = chi_e mathbf\left\{E\right\}$,     $mathbf\left\{M\right\} = chi_m mathbf\left\{H\right\}$
(Note that although the susceptibilities are dimensionless numbers in both cgs and SI, they have different values in the two unit systems, by a factor of 4π.) The permittivity and permeability are:
$epsilon = 1+4pichi_e$,     $mu = 1+4pichi_m$
so that
$mathbf\left\{D\right\} = epsilon mathbf\left\{E\right\}$,     $mathbf\left\{B\right\} = mu mathbf\left\{H\right\}$
In vacuum, one has the simple relations ε=μ=1, D=E, and B=H.

The force exerted upon a charged particle by the electric field and magnetic field is given by the Lorentz force equation:

$mathbf\left\{F\right\} = q left\left(mathbf\left\{E\right\} + frac\left\{mathbf\left\{v\right\}\right\}\left\{c\right\} times mathbf\left\{B\right\}right\right),$

where $q$ is the charge on the particle and $mathbf\left\{v\right\}$ is the particle velocity. This is slightly different from the SI-unit expression above. For example, here the magnetic field $mathbf\left\{B\right\}$ has the same units as the electric field $mathbf\left\{E\right\}$.

## Maxwell's equations and special relativity

Maxwell's equations have a close relation to special relativity: Not only were Maxwell's equations a crucial part of the historical development of special relativity, but also, special relativity has motivated a compact mathematical formulation Maxwell's equations, in terms of covariant tensors.

### Historical developments

Maxwell's electromagnetic wave equation only applied in what he believed to be the rest frame of the luminiferous medium because he didn't use the vXB term of his equation (D) when he derived it. Maxwell's idea of the luminiferous medium was that it comprised of aethereal vortices aligned solenoidally along their rotation axes.

The American scientist A.A. Michelson set out to determine the velocity of the earth through the luminiferous medium aether using a light wave interferometer that he had invented. When the Michelson-Morley experiment was conducted by Edward Morley and Albert Abraham Michelson in 1887, it produced a null result for the change of the velocity of light due to the Earth's motion through the hypothesized aether. This null result was in line with the theory that was proposed in 1845 by George Stokes which suggested that the aether was entrained with the Earth's orbital motion.

Hendrik Lorentz objected to Stokes' aether drag model and in along with George FitzGerald and Joseph Larmor, he suggested another approach. Both Larmor (1897) and Lorentz (1899, 1904) derived the Lorentz transformation (so named by Henri Poincaré) as one under which Maxwell's equations were invariant. Poincaré (1900) analyzed the coordination of moving clocks by exchanging light signals. He also established mathematically the group property of the Lorentz transformation (Poincaré 1905).

This culminated in Albert Einstein's revolutionary theory of special relativity, which postulated the absence of any absolute rest frame, dismissed the aether as unnecessary (a bold idea, which did not come to Lorentz nor to Poincaré), and established the invariance of Maxwell's equations in all inertial frames of reference, in contrast to the famous Newtonian equations for classical mechanics. But the transformations between two different inertial frames had to correspond to Lorentz' equations and not - as former believed - to those of Galileo (called Galilean transformations). Indeed, Maxwell's equations played a key role in Einstein's famous paper on special relativity; for example, in the opening paragraph of the paper, he motivated his theory by nothing that a description of a conductor moving with respect to a magnet must generate a consistent set of fields irrespective of whether the force is calculated in the rest frame of the magnet or that of the conductor.

General relativity has also had a close relationship with Maxwell's equations. For example, Kaluza and Klein showed in the 1920s that Maxwell's equations can be derived by extending general relativity into five dimensions. This strategy of using higher dimensions to unify different forces continues to be an active area of research in particle physics.

### Covariant formulation of Maxwell's equations

In special relativity, in order to more clearly express the fact that Maxwell's equations in vacuum take the same form in any inertial coordinate system, Maxwell's equations are written in terms of four-vectors and tensors in the "manifestly covariant" form. The purely spatial components of the following are in SI units.

One ingredient in this formulation is the electromagnetic tensor, a rank-2 covariant antisymmetric tensor combining the electric and magnetic fields:

$F_\left\{alpha beta\right\} = left\left(begin\left\{matrix\right\}$
0 & frac{-E_x}{c} & frac{-E_y}{c} & frac{-E_z}{c} frac{E_x}{c} & 0 & B_z & -B_y frac{E_y}{c} & -B_z & 0 & B_x frac{E_z}{c} & B_y & -B_x & 0 end{matrix} right)

and the result of raising its indices

$F^\left\{mu nu\right\} , stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} , eta^\left\{mu alpha\right\} , F_\left\{alpha beta\right\} , eta^\left\{beta nu\right\} = left\left(begin\left\{matrix\right\}$
0 & frac{E_x}{c} & frac{E_y}{c} & frac{E_z}{c} frac{-E_x}{c} & 0 & B_z & -B_y frac{-E_y}{c} & -B_z & 0 & B_x frac{-E_z}{c} & B_y & -B_x & 0 end{matrix} right).

The other ingredient is the four-current: $J^\left\{alpha\right\} = \left(crho,vec\left\{J\right\}\right)$ where $rho$ is the charge density and J is the current density.

With these ingredients, Maxwell's equations can be written:

$mu_\left\{0\right\} , J^\left\{beta\right\} , = , \left\{partial F^\left\{betaalpha\right\} over \left\{partial x^\left\{alpha\right\}\right\} \right\} , stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} , partial_\left\{alpha\right\} F^\left\{betaalpha\right\} , stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} , \left\{F^\left\{betaalpha\right\}\right\}_\left\{,alpha\right\} ,$

and

$0 = partial_\left\{gamma\right\} F_\left\{alphabeta\right\} + partial_\left\{beta\right\} F_\left\{gammaalpha\right\} + partial_\left\{alpha\right\} F_\left\{betagamma\right\} stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} \left\{F_\left\{alphabeta\right\}\right\}_\left\{,gamma\right\} + \left\{F_\left\{gammaalpha\right\}\right\}_\left\{,beta\right\} +\left\{F_\left\{betagamma\right\}\right\}_\left\{,alpha\right\}$

which is equivalent to

$0 = epsilon^\left\{deltaalphabetagamma\right\} \left\{F_\left\{betagamma\right\}\right\}_\left\{,alpha\right\}$

where $, epsilon^\left\{alphabetagammadelta\right\}$ is the contravariant version of the Levi-Civita symbol, and

$\left\{ partial over \left\{ partial x^\left\{alpha\right\} \right\} \right\} stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} partial_\left\{alpha\right\} stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} \left\{\right\}_\left\{,alpha\right\} stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} left\left(frac\left\{1\right\}\left\{c\right\}frac\left\{partial\right\}\left\{partial t\right\}, nablaright\right)$

is the 4-gradient. Repeated indices are summed over according to Einstein summation convention. We have displayed the results in several common notations. Upper and lower components of a vector, $v^alpha$ and $v_alpha$ respectively, are interchanged with the fundamental tensor g, e.g., g=η=diag(-1,+1,+1,+1).

The first tensor equation is an expression of the two inhomogeneous Maxwell's equations, Gauss' law and Ampere's law with Maxwell's correction. The second equation is an expression of the two homogeneous equations, Faraday's law of induction and Gauss's law for magnetism.

Alternative covariant presentations of Maxwell's equations also exist, for example in terms of the four-potential; see Covariant formulation of classical electromagnetism for details.

## Maxwell's equations in terms of potentials

Maxwell's equations can be written in an alternative form, involving the electric potential (also called scalar potential) and magnetic potential (also called vector potential), as follows. (The following equations are valid in the absence of dielectric and magnetic materials; or if such materials are present, they are valid as long as bound charge and bound current are included in the total charge and current densities.)

First, Gauss' law for magnetism states:

$nablacdotmathbf\left\{B\right\} = 0.$
By Helmholtz's theorem, B can be written in terms of a vector field A, called the magnetic potential:
$mathbf\left\{B\right\} = nabla times mathbf\left\{A\right\}.$

Second, plugging this into Faraday's law, we get:

$nablatimes left\left(mathbf\left\{E\right\} + frac\left\{partial mathbf\left\{A\right\}\right\}\left\{partial t\right\} right\right) = 0.$
By Helmholtz's theorem, the quantity in parentheses can be written in terms of a scalar function $Phi$, called the electric potential:
$mathbf\left\{E\right\} + frac\left\{partial mathbf\left\{A\right\}\right\}\left\{partial t\right\} = -nabla Phi.$

Combining these with the remaining two Maxwell's equations yields the four relations:

$mathbf E = - mathbf nabla Phi - frac\left\{partial mathbf A\right\}\left\{partial t\right\}$
$mathbf B = mathbf nabla times mathbf A$
$nabla^2 Phi + frac\left\{partial\right\}\left\{partial t\right\} left \left(mathbf nabla cdot mathbf A right \right) = - frac\left\{rho\right\}\left\{varepsilon_0\right\}$
$left \left(nabla^2 mathbf A - frac\left\{1\right\}\left\{c^2\right\} frac\left\{partial^2 mathbf A\right\}\left\{partial t^2\right\} right \right) - mathbf nabla left \left(mathbf nabla cdot mathbf A + frac\left\{1\right\}\left\{c^2\right\} frac\left\{partial Phi\right\}\left\{partial t\right\} right \right) = - mu_0 mathbf J.$

These equations, taken together, are as powerful and complete as Maxwell's equations. Moreover, the problem has been reduced somewhat, as the electric and magnetic fields each have three components which need to be solved for (six components altogether), while the electric and magnetic potentials have only four components altogether. On the other hand, these equations appear more complicated than Maxwell's equations using just the electric and magnetic fields.

In fact, these equations can be simplified a good deal by taking advantage of gauge freedom—i.e., the fact that there are many different choices of A and $Phi$ consistent with a given E and B. For more information, see the article gauge freedom.

## Maxwell's equations in terms of differential forms

In free space, where ε = ε0 and μ = μ0 are constant everywhere, Maxwell's equations simplify considerably once the language of differential geometry and differential forms is used. In what follows, cgs units, not SI units are used, however. The electric and magnetic fields are now jointly described by a 2-form F in a 4-dimensional spacetime manifold. Maxwell's equations then reduce to the Bianchi identity

$mathrm\left\{d\right\}bold\left\{F\right\}=0$
where d denotes the exterior derivative — a natural coordinate and metric independent differential operator acting on forms — and the source equation
$mathrm \left\{d\right\} * \left\{bold\left\{F\right\}\right\}=bold\left\{J\right\}$
where the (dual) Hodge star operator * is a linear transformation from the space of 2-forms to the space of (4-2)-forms defined by the metric in Minkowski space (in four dimensions even by any metric conformal to this metric), and the fields are in natural units where $1/4piepsilon_0=1$. Here, the 3-form J is called the "electric current form" or "current 3-form" satisfying the continuity equation
$mathrm\left\{d\right\}\left\{bold\left\{J\right\}\right\}=0.$
The current 3-form can be integrated over a 3-dimensional space-time region. The physical interpretation of this integral is the charge in that region if it is spacelike, or the amount of charge that flows through a surface in a certain amount of time if that region is a spacelike surface cross a timelike interval. As the exterior derivative is defined on any manifold, the differential form version of the Bianchi identity makes sense for any 4-dimensional manifold, whereas the source equation is defined if the manifold is oriented and has a Lorentz metric. In particular the differential form version of the Maxwell equations are a convenient and intuitive formulation of the Maxwell equations in general relativity.

In a linear, macroscopic theory, the influence of matter on the electromagnetic field is described through more general linear transformation in the space of 2-forms. We call

$C:Lambda^2nibold\left\{F\right\}mapsto bold\left\{G\right\}inLambda^\left\{\left(4-2\right)\right\}$
the constitutive transformation. The role of this transformation is comparable to the Hodge duality transformation. The Maxwell equations in the presence of matter then become:
$mathrm\left\{d\right\}bold\left\{F\right\} = 0$
$mathrm\left\{d\right\}bold\left\{G\right\} = bold\left\{J\right\}$
where the current 3-form J still satisfies the continuity equation dJ= 0.

When the fields are expressed as linear combinations (of exterior products) of basis forms $bold\left\{theta\right\}^p$,

$bold\left\{F\right\} = frac\left\{1\right\}\left\{2\right\}F_\left\{pq\right\}bold\left\{theta\right\}^pwedgebold\left\{theta\right\}^q$.
the constitutive relation takes the form
$G_\left\{pq\right\} = C_\left\{pq\right\}^\left\{mn\right\}F_\left\{mn\right\}$
where the field coefficient functions are antisymmetric in the indices and the constitutive coefficients are antisymmetric in the corresponding pairs. In particular, the Hodge duality transformation leading to the vacuum equations discussed above are obtained by taking
$C_\left\{pq\right\}^\left\{mn\right\} = g^\left\{ma\right\}g^\left\{nb\right\} epsilon_\left\{abpq\right\} sqrt\left\{-g\right\}$
which up to scaling is the only invariant tensor of this type that can be defined with the metric.

In this formulation, electromagnetism generalises immediately to any 4-dimensional oriented manifold or with small adaptations any manifold, requiring not even a metric. Thus the expression of Maxwell's equations in terms of differential forms leads to a further notational and conceptual simplification. Whereas Maxwell's Equations could be written as two tensor equations instead of eight scalar equations, from which the propagation of electromagnetic disturbances and the continuity equation could be derived with a little effort, using differential forms leads to an even simpler derivation of these results.

#### Conceptual insight from this formulation

On the conceptual side, from the point of view of physics, this shows that the second and third Maxwell equations should be grouped together, be called the homogeneous ones, and be seen as geometric identities expressing nothing else than: the field F derives from a more "fundamental" potential A. While the first and last one should be seen as the dynamical equations of motion, obtained via the Lagrangian principle of least action, from the "interaction term" A J (introduced through gauge covariant derivatives), coupling the field to matter.

Often, the time derivative in the third law motivates calling this equation "dynamical", which is somewhat misleading; in the sense of the preceding analysis, this is rather an artifact of breaking relativistic covariance by choosing a preferred time direction. To have physical degrees of freedom propagated by these field equations, one must include a kinetic term F *F for A; and take into account the non-physical degrees of freedom which can be removed by gauge transformation AA' = A-dα: see also gauge fixing and Fadeev-Popov ghosts.

## Classical electrodynamics as the curvature of a line bundle

An elegant and intuitive way to formulate Maxwell's equations is to use complex line bundles or principal bundles with fibre U(1). The connection $nabla$ on the line bundle has a curvature $bold\left\{F\right\} = nabla^2$ which is a two-form that automatically satisfies $mathrm\left\{d\right\}bold\left\{F\right\} = 0$ and can be interpreted as a field-strength. If the line bundle is trivial with flat reference connection d we can write $nabla = mathrm\left\{d\right\}+bold\left\{A\right\}$ and F = dA with A the 1-form composed of the electric potential and the magnetic vector potential.

In quantum mechanics, the connection itself is used to define the dynamics of the system. This formulation allows a natural description of the Aharonov-Bohm effect. In this experiment, a static magnetic field runs through a long magnetic wire (e.g. an Fe wire magnetized longitudinally). Outside of this wire the magnetic induction is zero, in contrast to the vector potential, which essentially depends on the magnetic flux through the cross-section of the wire and does not vanish outside. Since there is no electric field either, the Maxwell tensor F = 0 throughout the space-time region outside the tube, during the experiment. This means by definition that the connection $nabla$ is flat there.

However, as mentioned, the connection depends on the magnetic field through the tube since the holonomy along a non-contractible curve encircling the tube is the magnetic flux through the tube in the proper units. This can be detected quantum-mechanically with a double-slit electron diffraction experiment on an electron wave traveling around the tube. The holonomy corresponds to an extra phase shift, which leads to a shift in the diffraction pattern. (See Michael Murray2002 (PDF web link) for a simple mathematical review of this formulation. See also R. Bott, On some recent interactions between mathematics and physics, Canadian Mathematical Bulletin, 28 (1985) no. 2 pp 129-164.)''

## Maxwell's equations in curved spacetime

Matter and energy generate curvature of spacetime. This is the subject of general relativity. Curvature of spacetime affects electrodynamics. An electromagnetic field having energy and momentum will also generate curvature in spacetime. Maxwell's equations in curved spacetime can be obtained by replacing the derivatives in the equations in flat spacetime with covariant derivatives. (Whether this is the appropriate generalization requires separate investigation.) The sourced and source-free equations become (cgs units):

$\left\{ 4 pi over c \right\}j^\left\{beta\right\} = partial_\left\{alpha\right\} F^\left\{alphabeta\right\} + \left\{Gamma^\left\{alpha\right\}\right\}_\left\{mualpha\right\} F^\left\{mubeta\right\} + \left\{Gamma^\left\{beta\right\}\right\}_\left\{mualpha\right\} F^\left\{alpha mu\right\} stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} D_\left\{alpha\right\} F^\left\{alphabeta\right\} stackrel\left\{mathrm\left\{def\right\}\right\}\left\{=\right\} \left\{F^\left\{alphabeta\right\}\right\}_\left\{;alpha\right\} ,!$,

and

$0 = partial_\left\{gamma\right\} F_\left\{alphabeta\right\} + partial_\left\{beta\right\} F_\left\{gammaalpha\right\} + partial_\left\{alpha\right\} F_\left\{betagamma\right\} = D_\left\{gamma\right\} F_\left\{alphabeta\right\} + D_\left\{beta\right\} F_\left\{gammaalpha\right\} + D_\left\{alpha\right\} F_\left\{betagamma\right\}$.

Here,

$\left\{Gamma^\left\{alpha\right\}\right\}_\left\{mubeta\right\} !$

is a Christoffel symbol that characterizes the curvature of spacetime and $D_\left\{gamma\right\}$

` is the covariant derivative.`

### Formulation in terms of differential forms

The formulation of the Maxwell equations in terms of differential forms can be used without change in general relativity. The equivalence of the more traditional general relativistic formulation using the covariant derivative with the differential form formulation can be seen as follows. Choose local coordinates $x^\left\{alpha\right\}$ which gives a basis of 1-forms $dx^\left\{alpha\right\}$ in every point of the open set where the coordinates are defined. Using this basis and cgs units we define

• The antisymmetric infinitesimal field tensor $F_\left\{alphabeta\right\}$, corresponding to the field 2-form F

$bold\left\{F\right\} := frac\left\{1\right\}\left\{2\right\}F_\left\{alphabeta\right\} ,mathrm\left\{d\right\},x^\left\{alpha\right\} wedge mathrm\left\{d\right\},x^\left\{beta\right\}.$

• The current-vector infinitesimal 3-form J

$bold\left\{J\right\} := \left\{4 pi over c \right\} j^\left\{alpha\right\} sqrt\left\{-g\right\} , epsilon_\left\{alphabetagammadelta\right\} mathrm\left\{d\right\},x^\left\{beta\right\} wedge mathrm\left\{d\right\},x^\left\{gamma\right\} wedge mathrm\left\{d\right\},x^\left\{delta\right\}.$

Here g is as usual the determinant of the metric tensor $g_\left\{alphabeta\right\}$. A small computation that uses the symmetry of the Christoffel symbols (i.e. the torsion-freeness of the Levi Civita connection) and the covariant constantness of the Hodge star operator then shows that in this coordinate neighborhood we have:

• the Bianchi identity

$mathrm\left\{d\right\}bold\left\{F\right\} = 2\left(partial_\left\{gamma\right\} F_\left\{alphabeta\right\} + partial_\left\{beta\right\} F_\left\{gammaalpha\right\} + partial_\left\{alpha\right\} F_\left\{betagamma\right\}\right)mathrm\left\{d\right\},x^\left\{alpha\right\}wedge mathrm\left\{d\right\},x^\left\{beta\right\} wedge mathrm\left\{d\right\},x^\left\{gamma\right\} = 0$

• the source equation

$mathrm\left\{d\right\} * bold\left\{F\right\} = \left\{F^\left\{alphabeta\right\}\right\}_\left\{;alpha\right\}sqrt\left\{-g\right\} , epsilon_\left\{betagammadeltaeta\right\}mathrm\left\{d\right\},x^\left\{gamma\right\} wedge mathrm\left\{d\right\},x^\left\{delta\right\} wedge mathrm\left\{d\right\},x^\left\{eta\right\} = bold\left\{J\right\}$

• the continuity equation

$mathrm\left\{d\right\}bold\left\{J\right\} = \left\{ 4 pi over c \right\} \left\{j^\left\{alpha\right\}\right\}_\left\{;alpha\right\} sqrt\left\{-g\right\} , epsilon_\left\{alphabetagammadelta\right\}mathrm\left\{d\right\},x^\left\{alpha\right\}wedge mathrm\left\{d\right\},x^\left\{beta\right\} wedge mathrm\left\{d\right\},x^\left\{gamma\right\} wedge mathrm\left\{d\right\},x^\left\{delta\right\} = 0$

## Footnotes and references

### Journal articles

The developments before relativity

• Joseph Larmor (1897) "On a dynamical theory of the electric and luminiferous medium", Phil. Trans. Roy. Soc. 190, 205-300 (third and last in a series of papers with the same name).
• Hendrik Lorentz (1899) "Simplified theory of electrical and optical phenomena in moving systems", Proc. Acad. Science Amsterdam, I, 427-43.
• Hendrik Lorentz (1904) "Electromagnetic phenomena in a system moving with any velocity less than that of light", Proc. Acad. Science Amsterdam, IV, 669-78.
• Henri Poincaré (1900) "La theorie de Lorentz et la Principe de Reaction", Archives Néerlandaises, V, 253-78.
• Henri Poincaré (1901) Science and Hypothesis
• Henri Poincaré (1905) "Sur la dynamique de l'électron", Comptes rendus de l'Académie des Sciences, 140, 1504-8.

see

### University level textbooks

• Griffiths, David J. (1998). Introduction to Electrodynamics (3rd ed.). Prentice Hall. ISBN 0-13-805326-X.
• Edward Mills Purcell (1985). Electricity and Magnetism. McGraw-Hill. ISBN 0-07-004908-4.
• Schwarz, Melvin (1987). Principles of Electrodynamics. Dover Publications. ISBN 0-486-65493-1.
• Stevens, Charles F., 1995. The Six Core Theories of Modern Physics. MIT Press. ISBN 0-262-69188-4.
• Krey, U., Owen, A. (2007), Basic Theoretical Physics - A Concise Overview, esp. part II, Springer, ISBN 978-3-540-36804-5
• Ulaby, Fawwaz T. (2007). Fundamentals of Applied Electromagnetics (5th ed.). Pearson Education, Inc.. ISBN 0-13-241326-4.
• Sadiku, Matthew N. O. (2006). Elements of Electromagnetics (4th ed.). Oxford University Press. ISBN 0-19-5300483.
• Hoffman, Banesh, 1983. Relativity and Its Roots. W. H. Freeman.

• J. D. Jackson, 1999. Classical Electrodynamics (3rd ed.). Wiley. ISBN 0-471-30932-X.
• Lounesto, Pertti, 1997. Clifford Algebras and Spinors. Cambridge Univ. Press. Chpt. 8 sets out several variants of the equations, using exterior algebra and differential forms.

#### Computational techniques

• R. F. Harrington (1993). Field Computation by Moment Methods. Wiley-IEEE Press. ISBN 0-78031-014-4.
• W. C. Chew, J.-M. Jin, E. Michielssen, and J. Song (2001). Fast and Efficient Algorithms in Computational Electromagnetics. Artech House Publishers. ISBN 1-58053-152-0.
• J. Jin (2002). The Finite Element Method in Electromagnetics, 2nd. ed.. Wiley-IEEE Press. ISBN 0-47143-818-9.
• Allen Taflove and Susan C. Hagness (2005). Computational Electrodynamics: The Finite-Difference Time-Domain Method, 3rd ed.. Artech House Publishers. ISBN 1-58053-832-0.