View source for Electromagnetism

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 61 formulas, 61 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
The branch of physics whose object is the electromagnetic field (i.e. the combination of electric and magnetic fields, which originally were two separate fields of study in the framework of statics, that is, without rapid time variations), which arises from a set of physical laws known as the [[Maxwell equations|Maxwell equations]]. Electromagnetism treats in an integrated fashion four basic areas in electricity and magnetism:

i) electrostatics, studying the forces acting between electric charges (a field studied by C.A. Coulomb, S.D. Poisson, C.F. Gauss, and others);

ii) magnetostatics, studying the forces among magnetic multipoles and magnetic materials (a field studied by Coulomb, Poisson, Gauss, J. Joule, and others),

iii) electromagnetism per se, studying the magnetic effects of electric currents (i.e. flowing electric charges), an effect discovered by H.C. Oersted and whose theoretical formulation owes much to A.M. Ampère;, and

iv) electromagnetic induction, studying the electrical effects of changing magnetic fields or situations (effects discovered by M. Faraday). Consequently, what is now (1998) known as Maxwell's equations (after J.C. Maxwell) and here presented following O. Heaviside and H.A. Lorentz, is the following set of first-order partial differential equations at any regular point $\mathbf{x}$ (whether occupied by matter or in a vacuum; the electromagnetic field permeates all bodies to a greater or lesser extent) in Euclidean physical space $E ^ { 3 }$:

Absence of magnetic monopoles:

\begin{equation} \tag{a1} \nabla . \mathbf{B} = 0 ; \end{equation}

the Faraday equation:

\begin{equation} \tag{a2} \nabla \times \mathbf{E} + \frac { 1 } { c } \frac { \partial \mathbf{B} } { \partial t } = 0; \end{equation}

the Gauss–Poisson equation:

\begin{equation} \tag{a3} \nabla . \mathbf{D} = q_ f; \end{equation}

the Ampère equation:

\begin{equation} \tag{a4} \nabla \times \mathbf{H} - \frac { 1 } { c } \frac { \partial \mathbf{D} } { \partial t } = \frac { 1 } { c } \mathbf{J}. \end{equation}

Here, the standard nabla formalism from [[Vector analysis|vector analysis]] is used and all fields are functions of space ($\mathbf{x}$) and time ($t$). In these equations, which are expressed in a so-called laboratory frame and in Lorentz–Heaviside units (no $4 \pi$ and neither $\varepsilon_0$ nor $\mu_0$), $\mathbf{B}$ and $\mathbf D$ are the magnetic and electric induction (or displacement), while $\bf H$ and $\mathbf E$ are the magnetic and electric fields; $\mathbf{J}$ is the electric-current vector and $q_f$ is the volume density of free electric charges. The scalar $c$ is none other than the velocity of light in vacuum, a universal constant related to the ratio of electrostatic and magnetostatic units. The fields $\bf M$ and $\bf P$ defined by

\begin{equation} \tag{a5}  \bf P = D - E , M = B - H, \end{equation}

are called electric and magnetic polarizations; the latter is simply called magnetization. Vacuum is defined by $\mathbf{P} = \mathbf{M} = \mathbf{J} = 0$ and $q_{ f } = 0$. These quantities can be given microscopic definitions in terms of elementary point charges (in the so-called electron theory of Lorentz). At the macroscopic level, $\mathbf D$ (or $\bf P$), $\bf H$ (or $\bf M$) and $\mathbf{J}$ are given constitutive equations in terms of $\mathbf E$, $\mathbf{B}$ and $\mathbf E$, respectively. They may also depend on other thermodynamical variables of state, such as temperature and strains (cf. [[#References|[a8]]]). Electromagnetic fields have both energy and momentum contents and they contribute to the balance of energy as also to the entropy growth (in the presence of thermodynamically irreversible electromagnetic effects, such as electricity conduction, electric relaxation, magnetic hysteresis, etc.). Maxwell's equations can be viewed as the result of contributions by W. Thomson (Lord Kelvin), H.L.F. Helmholtz, W.E. Weber. J. Henry, and Maxwell, but Maxwell alone is responsible for the introduction of the so-called displacement current (the term $c ^ { - 1 } \partial \mathbf{D} / \partial t$), which closed the formulation by giving it a somewhat symmetric form and allowing for the existence of dynamical solutions in terms of electromagnetic waves, experimentally observed by H.R. Hertz in the years 1886–1888. The somewhat blurred introduction of this term made Hertz say that  "Maxwell's theory is none other than Maxwell's equations" . As a consequence of (a1)–(a4) one obtains the equation of conservation of electric charges

\begin{equation} \tag{a6} \frac { \partial q f } { \partial t } + \nabla .  \mathbf{J} = 0. \end{equation}

Boundary conditions and  "jump relations"  across surfaces complement (a1)–(a6) in the appropriate mathematical framework, which is that of the theory of generalized functions, or distributions (cf. also [[Generalized function|Generalized function]]), as there often exist current sheets and localized point charges (described by means of delta-functions with surface or point-like supports).

It is important to note that the vectors $\bf H$, $\mathbf{B}$ and $\bf M$ are axial, while the vectors $\mathbf E$, $\mathbf D$ and $\bf P$ are polar (cf. also [[Axial vector|Axial vector]]; [[Vector analysis|Vector analysis]]). Furthermore, although this does not appear in the above  "Euclidean"  formulation, $\mathbf E$ and $\bf H$ are fundamentally co-vectors, while $\mathbf D$, $\mathbf{B}$ and $\mathbf{J}$ are contra-vectors (one forms). Euclidean physical space does not  "see"  this difference, but the direct formulation on deformable matter does it in a natural way [[#References|[a8]]]. The Maxwell equations given above can also be expressed in a frame co-moving with matter, whether the latter is rigid or deformable. But the passage to another such frame raises the question of  "form invariance"  of these equations. In a vacuum, Maxwell's equations are trivially Lorentz invariant, that is, they are form-invariant under the Lorentz–Poincaré continuous group of space-time transformations (cf. also [[Lorentz transformation|Lorentz transformation]]). In matter, the question is less trivial as all depends on the transformation laws assumed for the material quantities $\bf P$ and $\bf M$. It is the lack of symmetry for the transformation of these two fields which, together with the constancy of the velocity of light, led to the development of the theory of special relativity by Lorentz, A. Einstein and H. Minkowski (cf. also [[Relativity theory|Relativity theory]]). However, for engineering purposes, one may  "constrain"  the material Maxwell equations to be only Galilean invariant. This is obtained in an appropriate Galilean asymptotic limit of small material velocities (see [[#References|[a8]]]).

Like other continuum theories (e.g. elasticity), electromagnetism steered the development of numerous fields of pure and applied mathematics and developments in electromagnetism and establishing solutions of many of its problems have enriched mathematics in a typical dialectic movement. The most remarkable fields of mathematics that benefited from electromagnetic studies are:

[[Potential theory|Potential theory]]: In electro- and magneto-statics one has the following reductions:

\begin{equation} \tag{a7} \nabla \times \mathbf{E} = \mathbf{O} , \nabla .\mathbf{D} = q _ { f }; \end{equation}

and

\begin{equation} \tag{a8} \nabla \times \mathbf{H} = \frac { 1 } { c } \mathbf{J} , \nabla . \mathbf{B} = 0, \end{equation}

respectively. In a non-conductor (or isolator), $\mathbf{J} = 0$. In a di-electric, $q_{ f } = 0$ and $\mathbf{J} = 0$. By the first equation in (a7) there exists an electrostatic scalar potential $\phi$ such that $\mathbf{E} = - \nabla \phi$. By the second equation in (a8) there exists a vectorial magnetic potential $\mathbf{A}$ such that $\mathbf{B} = \nabla \times \mathbf{A}$. In an isolator, one can also use a magnetostatic scalar potential $\varphi$ such that $\mathbf{H} = - \nabla \varphi$. Both scalar and vector potential formulation find their application in finite-element magnetic-field computations.

[[Vector analysis|Vector analysis]]: The natural setting of Maxwell's equations is vector analysis, for which it was essentially developed through the effort of British scientists in the 19th century (in particular, O. Heaviside).

The theory of quaternions (cf. also [[Quaternion|Quaternion]]): This is closely related to vector analysis, but expressed in a more inclusive form. Maxwell himself presents his equations in  "quaternionic form"  in the first edition (1873) of his celebrated treatise [[#References|[a1]]]. The notions of  "divergence"  and  "curl"  operations are then united in a single differential operation. Quaternions constitute the generalization of complex numbers to higher dimension and provide an example of a non-commutative algebra.

Gauge theory (cf. also [[Gauge transformation|Gauge transformation]]): Maxwell's electromagnetism is the first successful example of a gauge theory. Equations (a1) and (a2) imply the existence of an electric potential $\phi$ and a magnetic vector potential $\mathbf{A}$ such that

\begin{equation} \tag{a9} {\bf E} = - \nabla \phi - \frac { 1 } { c } \frac { \partial \bf A } { \partial t } , {\bf B} = \nabla \times {\bf A}. \end{equation}

The Lorentz gauge is such that

\begin{equation} \tag{a10} \nabla . \mathbf{A} + \frac { 1 } { c } \frac { \partial \phi } { \partial t } = 0. \end{equation}

The theory of continuous groups (cf. also [[Lie group|Lie group]]): The Lorentz–Poincaré invariance of Maxwell's equations was essential in fostering many studies in the theory of continuous groups and in field theories that are solidly based on group-theoretical concepts, such as quantum electrodynamics.

The theory of hyperbolic systems of partial differential equations (cf. also [[Hyperbolic partial differential equation|Hyperbolic partial differential equation]]): The system (a1)–(a4) epitomizes hyperbolic systems of partial differential equations. It was indeed completed by Maxwell, culminating in the prediction of the propagation of waves at a velocity which proved to be none other than that of light, the latter being an upper bound for the propagation velocity of all physical phenomena in classical physics. This boundedness is characteristic of hyperbolicity. Electromagnetic waves of various frequencies and electromagnetic optics were the main two consequences of electromagnetism.

Exterior calculus (cf. also [[Exterior forms, method of|Exterior forms, method of]]): With the already noticed difference between co-vectors and one-forms, electromagnetism offers the ideal framework for a formulation in terms of the exterior calculus of E. Cartan. Such a formulation of electromagnetism is favoured not only in the fully relativistic background, but also in modern electromagnetic-field computational techniques where facets and edges of the volume discretization play complementary roles. This is similar to Regge calculus.

The combination of electromagnetism and the mechanical equations of motion of charged, electrically polarized and/or magnetized matter provide the object of study of [[Electrodynamics|electrodynamics]].

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  J.C. Maxwell,   "A treatise on electricity and magnetism" , Clarendon Press  (1873)  (Reprint of the Third (1891) ed.: Dover, 1954)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  O. Heaviside,   "Electromagnetic theory" , '''1–3''' , Electrician Co.  (1893-1912)  (Reprint: Chelsea, 1971)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  M.J. Crowe,   "A history of vector analysis" , Univ. Notre Dame  (1967)  (Reprint: Dover, 1985)</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  J.A. Stratton,   "Electromagnetic theory" , McGraw-Hill  (1941)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  J.D. Jackson,   "Classical electrodynamics" , Wiley  (1967)  (Edition: First)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  C. Müller,   "Grundproblem der mathematischen Theorie elektromagnetischer Schwingungen" , ''Grundl. Math. Wissenschaft.'' , '''88''' , Springer  (1957)  (Revised and enlarged English transl.: Foundations of the mathematical theory of electromagnetic waves, Springer, 1969)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  H.F. Tiersten,   "A development of the equations of electromagnetism in material continua" , ''Tracts in Natural Philosophy'' , '''36''' , Springer  (1990)</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  A.C. Eringen,   G.A Maugin,   "Electrodynamics of continua" , '''1–2''' , Springer  (1990)</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  "Analyse mathématique et calcul numérique pour les sciences et les techniques: Modéles physiques"  R. Dautray (ed.)  J.-L. Lions (ed.) , '''1''' , Masson  (1987)  (English transl.: Springer, 1995)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  M. Cessenat,   "Mathematical methods in electromagnetism" , World Sci.  (1996)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  A. Bossavit,   "Computational electromagnetism" , Acad. Press  (1998)</td></tr></table>