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, 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

$\begin \nabla \times \mathbf &= -\frac,\\ \nabla \times \mathbf &= \mu\varepsilon \frac. \end$

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

$\begin \mathbf(\mathbf,t) &= E(r, t)\mathbf,\\ \mathbf(\mathbf,t) &= B(r, t)\mathbf. \end$

We find that the curls must be zero, since,

$\begin \nabla \times \mathbf &= \nabla \times E(r,t) \mathbf = 0,\\ \nabla \times \mathbf &= \nabla \times B(r,t) \mathbf = 0. \end$

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

$\begin \mu\varepsilon \frac &= 0,\\ -\frac &= 0. \end$

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

$\begin \frac &= 0,\\ \frac &= 0. \end$

Derivation using Lie derivatives

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

$\begin E &= E_i dr_i\\ B &= \epsilon_ B_i dr_j \wedge dr_k \end$

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

$\begin dB &= 0\\ d &= 0\\ \star d &= \dot\\ dE &= -\dot \end$.

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

$\begin V_i&=\epsilon_r_j\frac\\ \mathcal_V(E) &= 0\\ \mathcal_V(B) &= 0. \end$

By the definition of the Lie derivative as the directional derivative along $V$

$\begin V_j (r_i) &= \epsilon_ r_k\\ 0 &= \mathcal_V E_i dr_i + E_i \mathcal_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_ dr_k\\ &= V_j (E_i) dr_i + \epsilon_ E_k dr_i\\ V_j (E_i) &= - \epsilon_ E_k\\ \end$.

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

$E = g(r^2, t) r_i dr_i$.

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

$r_i r_i = r^2$.

And substituting back into our equation and rewriting for a function $f$

$E = df(r^2,t)$.

Taking the exterior derivative of $E$, we find by definition that,

$dE=0$.

And using our Maxwell equation that $dE = -\dot$,

$\dot=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

Electrodynamics
Physics theorems

{{electromagnetism-stub