Birkhoff's theorem (electromagnetism)

In physics, in the context of electromagnetism, Birkhoff's theorem concerns spherically symmetric static solutions of Maxwell's field equations of electromagnetism.

The theorem is due to George D. Birkhoff. It states that any spherically symmetric solution of the source-free Maxwell equations is necessarily static. Pappas (1984) gives two proofs of this theorem, ^[1] using Maxwell's equations and Lie derivatives. It is a limiting case of Birkhoff's theorem (relativity) by taking the flat metric without backreaction.

Derivation from Maxwell's equations

The source-free Maxwell's equations state that

${\displaystyle {\begin{aligned}\nabla \times \mathbf {E} &=-{\frac {\partial \mathbf {B} }{\partial t}},\\\nabla \times \mathbf {B} &=\mu \varepsilon {\frac {\partial \mathbf {E} }{\partial t}}.\end{aligned}}}$

Since the fields are spherically symmetric, they depend only on the radial distance in spherical coordinates. The field is purely radial as non-radial components cannot be invariant under rotation, which would be necessary for symmetry. Therefore, we can rewrite the fields as

${\displaystyle {\begin{aligned}\mathbf {E} (\mathbf {r} ,t)&=E(r,t)\mathbf {\hat {r}} ,\\\mathbf {B} (\mathbf {r} ,t)&=B(r,t)\mathbf {\hat {r}} .\end{aligned}}}$

We find that the curls must be zero, since,

${\displaystyle {\begin{aligned}\nabla \times \mathbf {E} &=\nabla \times E(r,t)\mathbf {\hat {r}} =0,\\\nabla \times \mathbf {B} &=\nabla \times B(r,t)\mathbf {\hat {r}} =0.\end{aligned}}}$

Moreover, we can substitute into the source-free Maxwell equations, to find that

${\displaystyle {\begin{aligned}\mu \varepsilon {\frac {\partial \mathbf {E} }{\partial t}}&=0,\\-{\frac {\partial \mathbf {B} }{\partial t}}&=0.\end{aligned}}}$

Simply dividing by the constant coefficients, we find that both the magnetic and electric field are static

${\displaystyle {\begin{aligned}{\frac {\partial \mathbf {E} }{\partial t}}&=0,\\{\frac {\partial \mathbf {B} }{\partial t}}&=0.\end{aligned}}}$

Derivation using Lie derivatives

Defining the 1-form ${\displaystyle E}$ and 2-form ${\displaystyle B}$ in ${\displaystyle \mathbb {R} ^{3}}$ as:

${\displaystyle {\begin{aligned}E&=E_{i}dr_{i}\\B&=\epsilon _{ijk}B_{i}dr_{j}\wedge dr_{k}\end{aligned}}}$

Using the Hodge star operator, we can rewrite Maxwell's Equations with these forms ^[2] as

${\displaystyle {\begin{aligned}dB&=0\\d{\star E}&=0\\\star d{\star E}&={\dot {E}}\\dE&=-{\dot {B}}\end{aligned}}}$.

The spherical symmetry condition requires that the Lie derivatives of ${\displaystyle E}$ and ${\displaystyle B}$ with respect to the vector field ${\displaystyle V}$ that represents their rotations are zero

${\displaystyle {\begin{aligned}V_{i}&=\epsilon _{ijk}r_{j}{\frac {\partial }{\partial {r_{k}}}}\\{\mathcal {L}}_{V}(E)&=0\\{\mathcal {L}}_{V}(B)&=0.\end{aligned}}}$

By the definition of the Lie derivative as the directional derivative along ${\displaystyle V}$

${\displaystyle {\begin{aligned}V_{j}(r_{i})&=\epsilon _{jki}r_{k}\\0&={\mathcal {L}}_{V}E_{i}dr_{i}+E_{i}{\mathcal {L}}_{V}dr_{i}\\&=V_{j}(E_{i})dr_{i}+E_{i}V_{j}(dr_{i})\\&=V_{j}(E_{i})dr_{i}+E_{i}d(V_{j}(r_{i}))\\&=V_{j}(E_{i})dr_{i}+E_{i}\epsilon _{jki}dr_{k}\\&=V_{j}(E_{i})dr_{i}+\epsilon _{jki}E_{k}dr_{i}\\V_{j}(E_{i})&=-\epsilon _{jki}E_{k}\\\end{aligned}}}$.

Therefore, ${\displaystyle E}$ is equivalent to ${\displaystyle r}$ under rotation and we can write for some function ${\displaystyle g}$

${\displaystyle E=g(r^{2},t)r_{i}dr_{i}}$.

Because the product of the components of the vector are just its length

${\displaystyle r_{i}r_{i}=r^{2}}$.

And substituting back into our equation and rewriting for a function ${\displaystyle f}$

${\displaystyle E=df(r^{2},t)}$.

Taking the exterior derivative of ${\displaystyle E}$, we find by definition that,

${\displaystyle dE=0}$.

And using our Maxwell equation that ${\displaystyle dE=-{\dot {B}}}$,

${\displaystyle {\dot {B}}=0}$.

Thus, we find that the magnetic field is static. Similarly, using the second rotational invariance equation, we can find that the electric field is static. Therefore, the solution must be static.

References

1. Pappas, Richard C. (March 1984). "Proof of Birkhoff's theorem in electrodynamics" . American Journal of Physics. 52 (3): 255–256. Bibcode:1984AmJPh..52..255P. doi:10.1119/1.13934. ISSN   0002-9505.
2. Flanders, Harley (1963). Differential Forms with Applications to the Physical Sciences. New York: Academic Press. pp. 46–47. ISBN   0-12-259650-1. OCLC   10441583.

See also: Birkhoff's theorem (relativity) and George David Birkhoff