electric field

Potentials in geometric algebra.

December 2, 2023 math and physics play , , , , , , , , , , , , , , , , , , , ,

[Click here for a PDF version of this post]

Conventional formulation.

The idea behind introducing the scalar potential \( \phi \) and vector potential \( \BA \) is that we can impose a constraint on the form of our observable fields \( \BE, \BB \), (or \( \BD, \BH \)), that reduces the complexity and coupling of Maxwell’s equations. These potentials are not unique, but the types of allowed variations in those potentials (gauge transformations) do not change the observable fields.

The basic idea is that we are looking for representations of the fields that automatically satisfy the pair of source free Maxwell’s equations
\begin{equation}\label{eqn:gapotentials:40}
\begin{aligned}
\spacegrad \cdot \BB &= 0 \\
c \partial_0 \BB + \spacegrad \cross \BE &= 0,
\end{aligned}
\end{equation}
so that the problem is reduced to solving just the remaining source dependent Maxwell’s equations.

The conventional way of constructing these potentials makes use of the identities
\begin{equation}\label{eqn:gapotentials:60}
\begin{aligned}
\spacegrad \cdot \lr{ \spacegrad \cross \Bf } &= 0 \\
\spacegrad \cross \lr{ \spacegrad \chi } &= 0,
\end{aligned}
\end{equation}
where \( \Bf \) is a vector, and \( \chi \) is a scalar. This approach is straightforward. Instead of replicating it, here are a few well known references where such a treatment can be found

  1. section 18-6 potentials and the wave equation in [2] (available online),
  2. section 10.1 The potential formulation in [3], and
  3. section 6.4 Vector and Scalar Potentials, in [4],

Multivector potentials in geometric algebra.

The multivector form of Maxwell’s equation is
\begin{equation}\label{eqn:gapotentials:820}
\lr{ \spacegrad + \partial_0 } F = J,
\end{equation}
where \( \partial_0 = (1/c)\partial/\partial t \), the electromagnetic field \( F = \BE + I c \BB = \BE + I \eta H \) has grades(1,2), and a multivector charge and current density \( J \). Grades(0,1) of the current are the charge and current densities respectively, and if desired, the grade(2,3) portion of the current has the fictitious magnetic charge and current densities (used in microwave and antenna engineering.)

It’s best to consider the case of electric sources, separately from the case of (fictitious) magnetic sources, and then use superposition to construct a potential representation that includes both.

We require a tool, that generalizes the \(\mathbb{R}^3\) cross product curl identities above.

Lemma 1.1: Curl of curl.

Let \( A \in \bigwedge^k \) be a blade of grade \( k \). Then
\begin{equation*}
\nabla \wedge \nabla \wedge A = 0.
\end{equation*}

Observe that for scalar \( A \), this reduces to
\begin{equation}\label{eqn:gapotentials:1740}
\nabla \wedge \nabla A = 0.
\end{equation}
We’ve recently proved this, so we won’t do it again now.

Now we are ready to figure out the structure of the potentials.

Case I. No (fictitious) magnetic sources.

Without magnetic sources, Maxwell’s equation is
\begin{equation}\label{eqn:gapotentials:840}
\lr{ \spacegrad + \partial_0 } F = \gpgrade{J}{0,1},
\end{equation}
This can be split into two equations, one that has just the sources, and one that is source free
\begin{equation}\label{eqn:gapotentials:860}
\gpgrade{ \lr{ \spacegrad + \partial_0 } F }{0,1} = \gpgrade{J}{0,1},
\end{equation}
\begin{equation}\label{eqn:gapotentials:880}
\gpgrade{ \lr{ \spacegrad + \partial_0 } F }{2,3} = 0.
\end{equation}
If you are clever, or have the benefit of having worked out the answer already, you can look directly at \ref{eqn:gapotentials:880} and guess the multivector form for the potential. Hint: you want something closely related to \( F = \lr{ \spacegrad – \partial_0 } A \), where \( A \) has grades(0,1).

If you aren’t that clever, or don’t have a time machine that let’s you look that clever, you’ll have to work it out systematically like the rest of us. We can start by breaking down \( F \) into it’s constituent observer dependent fields. That means that we want to find values for \( \BE, \BH \) that satisfy
\begin{equation}\label{eqn:gapotentials:900}
\gpgrade{ \lr{ \spacegrad + \partial_0 } \lr{ \BE + I \eta \BH } }{2,3} = 0.
\end{equation}
Expanding the multivector factors gives us
\begin{equation}\label{eqn:gapotentials:920}
\begin{aligned}
\gpgrade{ \lr{ \spacegrad + \partial_0 } \lr{ \BE + I \eta \BH } }{2,3}
&=\gpgradetwo{\spacegrad \BE} + \gpgradethree{I \eta \spacegrad \BH} + I \eta \partial 0 \BH \\
&=
\spacegrad \wedge \BE
+ \spacegrad \wedge \lr{ I \eta \BH }
+ I \eta \partial_0 \BH.
\end{aligned}
\end{equation}
Splitting this into one equation for each grade, leaves us with
\begin{equation}\label{eqn:gapotentials:940}
0 = \spacegrad \wedge \BE + I \eta \partial_0 \BH
\end{equation}
\begin{equation}\label{eqn:gapotentials:960}
0 = \spacegrad \wedge \lr{ I \eta \BH }.
\end{equation}
Observe that we could have also written \ref{eqn:gapotentials:960} as \( 0 = I \eta \lr{ \spacegrad \cdot \BH } \), which is the starting point of the conventional non-GA approach.
It’s clear that we want to write \( I \eta \BH = I c \BB \) as a (bivector) curl, and let
\begin{equation}\label{eqn:gapotentials:980}
I \eta \BH = c \spacegrad \wedge \BA.
\end{equation}
It’s a bit sneaky to toss that factor of \( c \) in here, but that’s done to make the units of \( \BA \) turn out in a way that matches the conventional vector potential. If it makes you feel better, you can think of this as an undetermined constant multiplicative undetermined factor that will be used to adjust the dimensions of \( \BA \) down the line.

Having made that choice, \ref{eqn:gapotentials:960} is automatically satisfied, and \ref{eqn:gapotentials:940} is reduced to
\begin{equation}\label{eqn:gapotentials:1000}
\begin{aligned}
0
&= \spacegrad \wedge \BE + I \eta \partial_0 \BH \\
&= \spacegrad \wedge \BE + \partial_0 \spacegrad \wedge \lr{ c \BA } \\
&= \spacegrad \wedge \lr{ \BE + c \partial_0 \BA }.
\end{aligned}
\end{equation}
We can now let
\begin{equation}\label{eqn:gapotentials:1020}
\BE + \partial_0 c \BA = -\spacegrad \phi.
\end{equation}
Again, we had the option of including an arbitrary multiplicative constant, but this time, we managed to find the right switch for our time machine, and look ahead to see that we want that constant to be \( -1 \) in order to have agreement with the conventional result.

We are left with a potential construction for our individual field components
\begin{equation}\label{eqn:gapotentials:1040}
\begin{aligned}
\BE &= -\spacegrad \phi – c \partial_0 \BA \\
I \eta \BH &= c \spacegrad \wedge \BA,
\end{aligned}
\end{equation}
or
\begin{equation}\label{eqn:gapotentials:1060}
F = -\spacegrad \phi – c \partial_0 \BA + c \spacegrad \wedge \BA.
\end{equation}
This automatically satisfies the grades of Maxwell’s equation that are source free, leaving us to solve just
\begin{equation}\label{eqn:gapotentials:1080}
\gpgrade{ \lr{ \spacegrad + \partial_0 } F }{0,1} = \gpgrade{J}{0,1}.
\end{equation}

Multivector potential.

It’s natural to wonder if there is a more structured form for \( F \) than \ref{eqn:gapotentials:1060}, just as we found a GA structure for Maxwell’s equation that eliminated the crazy mix of divs and curls that we had in the original Gibbs representation. Let’s find that structure. To do so, we can enclose \( F \) in a no-op grade selection operation
\begin{equation}\label{eqn:gapotentials:1100}
\begin{aligned}
F
&= \gpgrade{ -\spacegrad \phi – c \partial_0 \BA + c \spacegrad \wedge \BA }{1,2} \\
&= \gpgrade{ -\spacegrad \phi – c \partial_0 \BA + c \spacegrad \BA }{1,2} \\
&= \gpgrade{ \spacegrad \lr{ -\phi + c \BA } – c \partial_0 \BA + \lr{ \partial_0 \phi – \partial_0 \phi } }{1,2} \\
&= \gpgrade{ \lr{ \spacegrad – \partial_0 } \lr{ -\phi + c \BA } }{1,2}.
\end{aligned}
\end{equation}

We can now introduce a multivector potential, and express the remaining non-zero grades of Maxwell’s equation in terms of this potential
\begin{equation}\label{eqn:gapotentials:1120}
\begin{aligned}
A &= -\phi + c \BA \\
F &= \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{1,2} \\
\gpgrade{J}{0,1} &= \gpgrade{ \lr{ \spacegrad + \partial_0 } F }{0,1}.
\end{aligned}
\end{equation}

Lorentz gauge.

The grade selection in our representation of \( F \) is a bit annoying, and can be eliminated if we impose additional constraints on the potential. We can write
\begin{equation}\label{eqn:gapotentials:1140}
F =
\lr{ \spacegrad – \partial_0 } A

\gpgrade{ \lr{ \spacegrad – \partial_0 } A }{0,3},
\end{equation}
and then ask what conditions are required for this grade(0,3) selection to be zero. In terms of our constituent potentials, that is
\begin{equation}\label{eqn:gapotentials:1160}
\begin{aligned}
0 &=
\gpgrade{ \lr{ \spacegrad – \partial_0 } A }{0,3} \\
&=
\gpgrade{ \lr{ \spacegrad – \partial_0 } \lr{ -\phi + c \BA } }{0,3} \\
&=
c \spacegrad \cdot \BA + \partial_0 \phi,
\end{aligned}
\end{equation}
This is the Lorentz gauge condition, recognized a bit more easily if written out in terms of the time partials explicitly
\begin{equation}\label{eqn:gapotentials:1180}
\inv{c^2} \PD{t}{\phi} + \spacegrad \cdot \BA = 0.
\end{equation}

We can now write Maxwell’s equations, in the potential formulation, as
\begin{equation}\label{eqn:gapotentials:1200}
\begin{aligned}
A &= -\phi + c \BA \\
F &= \lr{ \spacegrad – \partial_0 } A \\
0 &= \inv{c} \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{0,3} = \inv{c^2} \PD{t}{\phi} + \spacegrad \cdot \BA \\
\gpgrade{J}{0,1} &= \gpgrade{ \lr{ \spacegrad + \partial_0 } F }{0,1} = \lr{ \spacegrad^2 – \partial_{00} } A.
\end{aligned}
\end{equation}
This is quite nice. We have a one to one decoupled relationship between the potential and the current, and are free to use the well known techniques for solving the wave equation (using convolution and a superposition of advanced and retarded Green’s functions for the wave equation operator.)

Gauge transformation.

There’s one more thing that we should look at before moving on to the magnetic sources case, and that’s the question of gauge freedom. We’ve said that the potentials are not unique, but this non-uniqueness has a very specific form.

Since we’ve constructed \( F \) with a grade selection as
\begin{equation}\label{eqn:gapotentials:1220}
F = \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{1,2},
\end{equation}
so it’s clear that any transformation
\begin{equation}\label{eqn:gapotentials:1240}
A \rightarrow A + \lr{ \spacegrad + \partial_0 } \psi_{0,3},
\end{equation}
where \( \psi_{0,3} \) is any multivector with grades(0,3) components, will leave \( F \) invariant. That is
\begin{equation}\label{eqn:gapotentials:1260}
\begin{aligned}
A &= -\phi + c \BA \\
&\rightarrow
-\phi + c \BA + \lr{ \spacegrad + \partial_0 } \psi_{0,3} \\
&=
-\phi + c \BA + \lr{ \spacegrad + \partial_0 } \lr{ c \psi + I \bar{\psi} } \\
&=
\lr{ -\phi + c \partial_0 \psi }
+ c \lr{ \BA + \spacegrad \psi }
+ I \spacegrad \bar{\psi}
+ I \partial_0 \bar{\psi}.
\end{aligned}
\end{equation}
We see that the contributions of \( \bar{\psi} \) result in grade(2,3) terms, which are not of interest, and we find that a paired transformation of the potentials
\begin{equation}\label{eqn:gapotentials:1280}
\begin{aligned}
\phi &\rightarrow \phi – \PD{t}{\psi} \\
\BA &\rightarrow \BA + \spacegrad \psi,
\end{aligned}
\end{equation}
called a gauge transformation, leaves the field \( F \) unchanged. This can be expressed slightly more compactly as
\begin{equation}\label{eqn:gapotentials:1300}
A \rightarrow A + \lr{ \spacegrad + \partial_0 } c \psi,
\end{equation}
where, once again, the multiplicative constant \( c \) is included so for consistency with the conventional expression for potential gauge transformation.

Case II. With (fictitious) magnetic sources.

With magnetic sources, Maxwell’s equation is
\begin{equation}\label{eqn:gapotentials:1500}
\lr{ \spacegrad + \partial_0 } F = \gpgrade{J}{2,3}.
\end{equation}
We put this in dual form
\begin{equation}\label{eqn:gapotentials:1520}
\lr{ \spacegrad + \partial_0 } I F = I \gpgrade{J}{2,3},
\end{equation}
which now has the sources all with grades (0,1) as we just analyzed. The dual vector \( I F \), like \( F \), has only grade(1,2) components.

Expanding the source free Maxwell’s equations in terms of \( \BE, \BH \), we have
\begin{equation}\label{eqn:gapotentials:1340}
\begin{aligned}
0
&= \gpgrade{ \lr{ \spacegrad + \partial_0 } I F}{2,3} \\
&= \gpgrade{ \lr{ \spacegrad + \partial_0 } \lr{I \BE – \eta \BH } }{2,3} \\
&= \gpgrade{ I \spacegrad \BE – \eta \spacegrad \BH + I \partial_0 \BE – \eta \partial_0 \BH }{2,3} \\
&= \spacegrad \wedge \lr{ I \BE } – \eta \spacegrad \wedge \BH + I \partial_0 \BE,
\end{aligned}
\end{equation}
or, by grade
\begin{equation}\label{eqn:gapotentials:1360}
0 = \spacegrad \wedge \lr{ I \BE },
\end{equation}
\begin{equation}\label{eqn:gapotentials:1361}
0 = – \eta \spacegrad \wedge \BH + I \partial_0 \BE.
\end{equation}
We see that the dual electric field needs to be a curl to satisfy \ref{eqn:gapotentials:1360}
\begin{equation}\label{eqn:gapotentials:1400}
I \BE = -\eta \spacegrad \wedge c \BF,
\end{equation}
and after substitution into \ref{eqn:gapotentials:1361} we are left with
\begin{equation}\label{eqn:gapotentials:1540}
\begin{aligned}
0
&= – \eta \spacegrad \wedge \BH + \partial_0 \lr{ – \eta \spacegrad \wedge c \BF } \\
&= \eta \spacegrad \wedge \lr{ -\BH – \partial_0 c \BF } \\
\end{aligned}
\end{equation}
We set
\begin{equation}\label{eqn:gapotentials:1420}
-\BH – \partial_0 c \BF = \spacegrad \phi_m,
\end{equation}
Our fields are
\begin{equation}\label{eqn:gapotentials:1440}
\begin{aligned}
\BE &= – \inv{\epsilon} \spacegrad \cross \BF \\
\BH &= -\spacegrad \phi_m – \PD{t}{\BF}.
\end{aligned}
\end{equation}
This has the structure that matches the potential conventions from antenna theory, for example as stated in [1].

Multivector potential.

As with the electrical sources, we expect that we can write this as something like
\begin{equation}\label{eqn:gapotentials:1460}
F = \gpgrade{ \lr{ \spacegrad – \partial_0 } I A }{1,2}.
\end{equation}
Let’s verify that this is the case.
\begin{equation}\label{eqn:gapotentials:1480}
\begin{aligned}
F
&= I \eta \spacegrad \wedge (c \BF) -I \eta \spacegrad \phi_m – I \eta \partial_0 c \BF \\
&= \gpgrade{ I \eta \spacegrad \wedge (c \BF) -I \eta \spacegrad \phi_m – I \eta \partial_0 c \BF }{1,2} \\
&= \gpgrade{ I \eta \spacegrad c \BF -I \eta \spacegrad \phi_m – I \eta \partial_0 c \BF }{1,2} \\
&= \gpgrade{ I \eta \lr{ \spacegrad \lr{ – \phi_m + c \BF } – \partial_0 c \BF + \partial_0 \phi_m – \partial_0 \phi_m} }{1,2} \\
&= \gpgrade{ \lr{ \spacegrad – \partial_0 } I \eta \lr{ – \phi_m + c \BF } }{1,2}.
\end{aligned}
\end{equation}

Lorentz gauge.

Let’s see what constraints we need to write our field in terms of a potential without a grade selection, that is
\begin{equation}\label{eqn:gapotentials:1560}
F = \lr{ \spacegrad – \partial_0 } I \eta \lr{ – \phi_m + c \BF }.
\end{equation}
We need the grade(0,3) components of this multivector to be zero. Those components are
\begin{equation}\label{eqn:gapotentials:1580}
\begin{aligned}
0 &=
\gpgrade{ \lr{ \spacegrad – \partial_0 } I \eta \lr{ – \phi_m + c \BF }}{0,3} \\
&=
\gpgrade{-\spacegrad I \eta \phi_m+\spacegrad I \eta c \BF+ \partial_0 I \eta \phi_m – \partial_0 I \eta c \BF }{0,3} \\
&=
\gpgradethree{ \spacegrad I \eta c \BF }
+ \partial_0 I \eta \phi_m \\
&=
I \eta \lr{ c \lr{ \spacegrad \cdot \BF} + \partial_0 \phi_m },
\end{aligned}
\end{equation}
or
\begin{equation}\label{eqn:gapotentials:1600}
0 = \inv{c^2} \PD{t}{\phi_m} + \spacegrad \cdot \BF.
\end{equation}
This is the Lorentz gauge condition. With this condition we can we can express Maxwell’s equation with magnetic sources, as a forced wave equation
\begin{equation}\label{eqn:gapotentials:1620}
\begin{aligned}
A &= I \eta \lr{ -\phi_m + c \BF } \\
F &= \lr{ \spacegrad – \partial_0 } A \\
0 &= \inv{c} \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{0,3} = \inv{c^2} \PD{t}{\phi_m} + \spacegrad \cdot \BF \\
\gpgrade{J}{2,3} &= \gpgrade{ \lr{ \spacegrad + \partial_0 } F }{2,3} = \lr{ \spacegrad^2 – \partial_{00} } A.
\end{aligned}
\end{equation}

Gauge transformation.

Without the Lorentz gauge assumption, our potential representation for the field is
\begin{equation}\label{eqn:gapotentials:1640}
\begin{aligned}
A &= I \eta \lr{ -\phi_m + c \BF } \\
F &= \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{1,2}.
\end{aligned}
\end{equation}
It’s clear that any transformation of the form
\begin{equation}\label{eqn:gapotentials:1660}
A \rightarrow A + \lr{ \spacegrad + \partial_0 } \psi_{0,3},
\end{equation}
leaves the field unchanged.
\begin{equation}\label{eqn:gapotentials:1680}
\begin{aligned}
A &= I \eta \lr{ -\phi_m + c \BF } \\
&\rightarrow
I \eta \lr{ -\phi + c \BF } + \lr{ \spacegrad + \partial_0 } \psi_{0,3} \\
&=
I \eta \lr{ -\phi_m + c \BF } + \lr{ \spacegrad + \partial_0 } \lr{ \psi + I \eta c \bar{\psi} } \\
&=
I \eta \lr{
-\phi_m
+ c \partial_0 \bar{\psi}
+ c \BF
+ c \spacegrad \bar{\psi}
}
+ \lr{ \spacegrad + \partial_0 } \psi.
\end{aligned}
\end{equation}
We can drop the \( \psi \) contributions, since this time we want only grades(2,3) in our potential, and find that the
desired form of the gauge transformation, for scalar \( \bar{\psi} \), is
\begin{equation}\label{eqn:gapotentials:1700}
\begin{aligned}
\phi_m &\rightarrow \phi_m – \PD{t}{\bar{\psi}} \\
\BF &\rightarrow \BF + \spacegrad \bar{\psi}.
\end{aligned}
\end{equation}
The multivector form of this is
\begin{equation}\label{eqn:gapotentials:1720}
A \rightarrow A + \lr{ \spacegrad + \partial_0 } I \eta c \bar{\psi}.
\end{equation}

Superposition.

We can now use superposition to construct a potential representation that works for both conventional electric and fictitious magnetic charges and currents.

Without a Lorentz gauge assumption, that is
\begin{equation}\label{eqn:gapotentials:1760}
\begin{aligned}
A &= -\phi + c \BA + I \eta \lr{ -\phi_m + c \BF } \\
F &= \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{1,2} \\
J &= \lr{ \spacegrad + \partial_0 } F,
\end{aligned}
\end{equation}
where, given scalar functions \( \psi, \bar{\psi} \), we are free to make gauge transformations of the multivector potential that satisfy
\begin{equation}\label{eqn:gapotentials:1800}
A \rightarrow A + \lr{ \spacegrad + \partial_0 } \lr{ c \psi + I \eta c \bar{\psi} },
\end{equation}

With a Lorentz gauge constraint, we have a wave equation operator acting on \( A \), with the multivector current as a forcing term.
\begin{equation}\label{eqn:gapotentials:1780}
\begin{aligned}
A &= -\phi + c \BA + I \eta \lr{ -\phi_m + c \BF } \\
0 &= \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{0,3} \\
F &= \lr{ \spacegrad – \partial_0 } A \\
J &= \lr{ \spacegrad^2 – \partial_{00} } A.
\end{aligned}
\end{equation}

Check.

It’s worth expansion to verify that we got all the dimensional constants write, and compare the results to Maxwell’s equations in their Gibbs form.

Let’s start with an expansion of \( F \) in terms of the potentials
\begin{equation}\label{eqn:gapotentials:1820}
\begin{aligned}
F &=
\gpgrade{\lr{ \spacegrad – \partial_0 } A }{1,2} \\
&= \gpgrade{ \lr{ \spacegrad – \partial_0 } \lr{ -\phi + c \BA + I \eta \lr{ -\phi_m + c \BF } } }{1,2} \\
&=
\gpgrade{ \spacegrad \lr{ -\phi + c \BA + I \eta \lr{ -\phi_m + c \BF } } -\partial_0 \lr{ -\phi + c \BA + I \eta \lr{ -\phi_m + c \BF } } }{1,2} \\
&=
\gpgrade{ \spacegrad \lr{ -\phi + c \BA + I \eta \lr{ -\phi_m + c \BF } } -\partial_0 \lr{ c \BA + I \eta c \BF } }{1,2} \\
&=
-\spacegrad \phi + c \spacegrad \wedge \BA – I \eta \spacegrad \phi_m + I \eta c \spacegrad \wedge \BF
-\partial_0 \lr{ c \BA + I \eta c \BF }.
\end{aligned}
\end{equation}
That is
\begin{equation}\label{eqn:gapotentials:1840}
\begin{aligned}
\BE &= -\spacegrad \phi + I \eta c \spacegrad \wedge \BF -c \partial_0 \BA \\
I \eta \BH &= c \spacegrad \wedge \BA – I \eta \spacegrad \phi_m – I \eta c \partial_0 \BF,
\end{aligned}
\end{equation}
or
\begin{equation}\label{eqn:gapotentials:1860}
\begin{aligned}
\BE &= – \spacegrad \phi -\partial_t \BA – \inv{\epsilon} \spacegrad \cross \BF \\
\BH &= – \spacegrad \phi_m – \partial_t \BF + \inv{\mu} \spacegrad \cross \BA.
\end{aligned}
\end{equation}
All is good. This is exactly the form that we expect.

Let’s expand out Maxwell’s equation in terms of this potential representation and see what we get.

Let’s write the total field without the grade(1,2) selection, by subtracting off any grade(0,3) contributions
\begin{equation}\label{eqn:gapotentials:1880}
F = \lr{ \spacegrad – \partial_0 } A – \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{0,3}.
\end{equation}
That difference term is
\begin{equation}\label{eqn:gapotentials:1900}
\begin{aligned}
– \gpgrade{ \lr{ \spacegrad – \partial_0 } A }{0,3}
&=
– \gpgrade{ \lr{ \spacegrad – \partial_0 } \lr{ -\phi + c \BA – I \eta \phi_m + I \eta c \BF } }{0,3} \\
&=
– c \spacegrad \cdot \BA – I \eta c \spacegrad \cdot \BF – \partial_0 \phi – I \eta \partial_0 \phi_m.
\end{aligned}
\end{equation}
The field is nicely split into a multivector term that depends directly on the full multivector potential \( A \), and a difference term that wipes out any scalar and pseudoscalar terms
\begin{equation}\label{eqn:gapotentials:1920}
F
=
\lr{ \spacegrad – \partial_0 } A
– \lr{ \partial_0 \phi + c \spacegrad \cdot \BA } – I \eta \lr{ \partial_0 \phi_m + c \spacegrad \cdot \BF }.
\end{equation}

Maxwell’s equations are now reduced to
\begin{equation}\label{eqn:gapotentials:1940}
\lr{ \spacegrad^2 – \partial_{00} } A

\lr{ \spacegrad + \partial_0 }
\lr{ \partial_0 \phi + c \spacegrad \cdot \BA }

\lr{ \spacegrad + \partial_0 }
I \eta \lr{ \partial_0 \phi_m + c \spacegrad \cdot \BF }
= J.
\end{equation}
This splits nicely into a single equation for each grade of \( A, J \) respectively. We write
\begin{equation}\label{eqn:gapotentials:1960}
J = \eta\lr{ c \rho – \BJ } + I \lr{ c \phi_m – \BM },
\end{equation}
so
\begin{equation}\label{eqn:gapotentials:1980}
\begin{aligned}
\lr{ \spacegrad^2 – \partial_{00} } (-\phi) – \partial_0 \lr{ \partial_0 \phi + c \spacegrad \cdot \BA } &= \eta c \rho \\
\lr{ \spacegrad^2 – \partial_{00} } (c \BA) – \spacegrad \lr{ \partial_0 \phi + c \spacegrad \cdot \BA } &= -\eta \BJ \\
\lr{ \spacegrad^2 – \partial_{00} } (I \eta c \BF) – I \eta \partial_0 \lr{ \partial_0 \phi_m + c \spacegrad \cdot \BF } &= -I \BM \\
\lr{ \spacegrad^2 – \partial_{00} } (-I \eta \phi_m) – I \eta \spacegrad \lr{ \partial_0 \phi_m + c \spacegrad \cdot \BF } &= I c \rho_m.
\end{aligned}
\end{equation}
If we choose the Lorentz gauge conditions
\begin{equation}\label{eqn:gapotentials:2000}
0 = \lr{ \partial_0 \phi + c \spacegrad \cdot \BA } = \lr{ \partial_0 \phi_m + c \spacegrad \cdot \BF },
\end{equation}
all of these equations decouple nicely, leaving us with 8 (scalar) equations in 8 unknowns
\begin{equation}\label{eqn:gapotentials:2020}
\begin{aligned}
\lr{ \spacegrad^2 – \partial_{00} } \phi &= -\frac{\rho}{\epsilon} \\
\lr{ \spacegrad^2 – \partial_{00} } \BA &= -\mu \BJ \\
\lr{ \spacegrad^2 – \partial_{00} } \BF &= -\epsilon \BM \\
\lr{ \spacegrad^2 – \partial_{00} } \phi_m &= – \frac{\rho_m}{\mu}.
\end{aligned}
\end{equation}

Potentials in STA (space time algebra).

All of this was very convoluted. Maxwell’s equation in STA form is considerably simpler, as is the potential formulation.

STA form of Maxwell’s equation.

We identify
\begin{equation}\label{eqn:gapotentials:2040}
\begin{aligned}
\Be_k &= \gamma_k \gamma_0 \\
I &= \Be_1 \Be_2 \Be_3 = \gamma_0 \gamma_1 \gamma_2 \gamma_3 \\
\gamma^\mu \cdot \gamma_\nu &= {\delta^\mu}_\nu.
\end{aligned}
\end{equation}
Our field multivector
\begin{equation}\label{eqn:gapotentials:2060}
\begin{aligned}
F
&= \BE + I \eta \BH \\
&= \gamma_{k0} E^k + \eta \gamma_{0123k0} H^k \\
&= \gamma_{k0} E^k + \eta \gamma_{123k} H^k,
\end{aligned}
\end{equation}
now has a pure bivector representation in STA (since \( k \) will always clobber one of the \( 1,2,3 \) indexes.) To find the STA representation of Maxwell’s equation, we simply multiply both sides of our multivector representation, from the left, by \( \gamma_0 \).
\begin{equation}\label{eqn:gapotentials:2080}
\gamma_0 \lr{ \spacegrad + \partial_0 } F = \gamma_0 \lr{ \eta \lr{ c \rho – \BJ } + I \lr{ c \rho_m – \BM } }.
\end{equation}
The LHS is just the spacetime gradient of \( F \), which we can see by expanding the product
\begin{equation}\label{eqn:gapotentials:2100}
\begin{aligned}
\gamma_0 \lr{ \spacegrad + \partial_0 }
&=
\gamma_0 \lr{ \gamma_{k0} \PD{x^k}{} + \PD{x^0}{} } \\
&=
-\gamma_{k} \PD{x^k}{} + \gamma_0 \PD{x^0}{}.
\end{aligned}
\end{equation}
This is the spacetime gradient
\begin{equation}\label{eqn:gapotentials:2120}
\grad \equiv \gamma^k \PD{x^k}{} + \gamma^0 \PD{x^0}{} = \gamma^\mu \partial_\mu.
\end{equation}
Our RHS is
\begin{equation}\label{eqn:gapotentials:2140}
\begin{aligned}
\gamma_0 \lr{ \eta \lr{ c \rho – \BJ } + I \lr{ c \rho_m – \BM } }
&=
\gamma_0 \frac{\rho}{\epsilon} – \gamma_{0k0} \eta (\BJ \cdot \Be_k)
– I \lr{ c \rho_m \gamma_0 – \gamma_{0k0} (\BM \cdot \Be_k) } \\
&=
\gamma_0 \frac{\rho}{\epsilon} + \gamma_k \eta (\BJ \cdot \Be_k)
– I \lr{ c \rho_m \gamma_0 + \gamma_{k} (\BM \cdot \Be_k) }.
\end{aligned}
\end{equation}
If we let
\begin{equation}\label{eqn:gapotentials:2160}
\begin{aligned}
J_e^0 &= \frac{\rho}{\epsilon} \\
J_e^k &= \eta (\BJ \cdot \Be_k) \\
J_m^0 &= c \rho_m \\
J_m^k &= (\BM \cdot \Be_k) \\
J_e &= J_e^\mu \gamma_\mu \\
J_m &= J_m^\mu \gamma_\mu,
\end{aligned}
\end{equation}
then we are left with
\begin{equation}\label{eqn:gapotentials:2180}
\grad F = J_e – I J_m,
\end{equation}
or just
\begin{equation}\label{eqn:gapotentials:2640}
\grad F = J,
\end{equation}
where we now give a different meaning to \( J \) than we had in the multivector formulation. This \( J \) is now a multivector with grade(1,3) components.

Case I: potential formulation for conventional sources.

Much like we did with to find the potential formulation for the multivector form of Maxwell’s equation, we use superposition, and tackle the conventional sources, and fictitious magnetic sources separately.

With no fictitious sources, Maxwell’s equation is
\begin{equation}\label{eqn:gapotentials:2200}
\grad F = J_e,
\end{equation}
which we may split into vector and trivector components
\begin{equation}\label{eqn:gapotentials:2220}
\begin{aligned}
\grad \cdot F &= J_e \\
\grad \wedge F &= 0.
\end{aligned}
\end{equation}
Clearly, the trivector equation can be satified by setting
\begin{equation}\label{eqn:gapotentials:2240}
F = \grad \wedge A,
\end{equation}
for some vector \( A \). We may also make gauge transformations of \( A \) of the form
\begin{equation}\label{eqn:gapotentials:2260}
A \rightarrow A + \grad \psi,
\end{equation}
without changing \( F \), showing that \( A \) is not uniquely determined. With such a representation, Maxwell’s equation is now reduced to
\begin{equation}\label{eqn:gapotentials:2280}
\grad \cdot F = J_e,
\end{equation}
or
\begin{equation}\label{eqn:gapotentials:2300}
\begin{aligned}
J_e
&=
\grad \cdot \lr{ \grad \wedge A } \\
&=
\grad^2 A – \grad \lr{ \grad \cdot A }.
\end{aligned}
\end{equation}
Clearly the equivalent of the Lorentz gauge condition is now just
\begin{equation}\label{eqn:gapotentials:2320}
\grad \cdot A = 0,
\end{equation}
so the Lorentz gauge potential form of Maxwell’s equation is just
\begin{equation}\label{eqn:gapotentials:n}S
\grad^2 A = J_e.
\end{equation}

Case II: potential formulation for fictitious sources.

If we have only fictious sources, Maxwell’s equation is
\begin{equation}\label{eqn:gapotentials:2340}
\grad F = -I J_m,
\end{equation}
or after left multiplication by \( I \) we have
\begin{equation}\label{eqn:gapotentials:2360}
\grad I F = J_m.
\end{equation}
Let \( G = I F \), for the dual field, which is still a bivector. As before, we can split Maxwell’s equations into vector and trivector compoents
\begin{equation}\label{eqn:gapotentials:2380}
\begin{aligned}
\grad \cdot G &= J_m \\
\grad \wedge G &= 0.
\end{aligned}
\end{equation}
We may set
\begin{equation}\label{eqn:gapotentials:2400}
G = \grad \wedge K,
\end{equation}
for vector \( K \). Maxwell’s equation is now reduced to
\begin{equation}\label{eqn:gapotentials:2420}
\grad \cdot G = J_m,
\end{equation}
or
\begin{equation}\label{eqn:gapotentials:2440}
\begin{aligned}
J_m
&=
\grad \cdot \lr{ \grad \wedge K } \\
&=
\grad^2 K – \grad \lr{ \grad \cdot K }.
\end{aligned}
\end{equation}

As before we may make gauge transformations by adding gradient to our potential
\begin{equation}\label{eqn:gapotentials:2460}
K \rightarrow K + \grad \bar{\psi},
\end{equation}
which will not change \( G \). For such sources, the Lorentz gauge condition is \( \grad \cdot K = 0 \). With the Lorentz gauge, Maxwell’s equation is reduced to
\begin{equation}\label{eqn:gapotentials:2480}
\grad^2 K = J_m.
\end{equation}

Superposition.

For non-fictious sources, we have
\begin{equation}\label{eqn:gapotentials:2500}
F = \grad \wedge A
\end{equation}
and for fictious sources, we have
\begin{equation}\label{eqn:gapotentials:2520}
I F = G = \grad \wedge K,
\end{equation}
or
\begin{equation}\label{eqn:gapotentials:2540}
F = -I G = -I \lr{ \grad \wedge K }.
\end{equation}
Combining these results, we have
\begin{equation}\label{eqn:gapotentials:2560}
\begin{aligned}
F
&= \grad \wedge A -I \lr{ \grad \wedge K } \\
&= \gpgradetwo{ \grad \wedge A -I \lr{ \grad \wedge K } } \\
&= \gpgradetwo{ \grad A -I \lr{ \grad K } } \\
&= \gpgradetwo{ \grad \lr{ A + I K } },
\end{aligned}
\end{equation}
or
\begin{equation}\label{eqn:gapotentials:2580}
F = \grad \lr{ A + I K } – \gpgrade{ \grad \lr{ A + I K } }{0,4}.
\end{equation}
Maxwell’s equation is
\begin{equation}\label{eqn:gapotentials:2600}
\grad^2 \lr{ A + I K } – \grad \gpgrade{ \grad \lr{ A + I K } }{0,4} = J.
\end{equation}
With the Lorentz gauge, this splits nicely into one forced wave equation for each vector potential
\begin{equation}\label{eqn:gapotentials:2620}
\begin{aligned}
\grad^2 A &= J_e \\
\grad^2 K &= -J_m.
\end{aligned}
\end{equation}

References

[1] Constantine A Balanis. Antenna theory: analysis and design. John Wiley & Sons, 3rd edition, 2005.

[2] R.P. Feynman, R.B. Leighton, and M.L. Sands. Feynman lectures on physics, Volume II.[Lectures on physics], chapter The Maxwell Equations. Addison-Wesley Publishing Company. Reading, Massachusetts, 1963. URL https://www.feynmanlectures.caltech.edu/II_18.html.

[3] David Jeffrey Griffiths and Reed College. Introduction to electrodynamics. Prentice hall Upper Saddle River, NJ, 3rd edition, 1999.

[4] JD Jackson. Classical Electrodynamics. John Wiley and Sons, 2nd edition, 1975.

Potential solutions to the static Maxwell’s equation using geometric algebra

March 20, 2018 math and physics play , , , , , , , , , , , , , , , , ,

[Click here for a PDF of this post with nicer formatting]

When neither the electromagnetic field strength \( F = \BE + I \eta \BH \), nor current \( J = \eta (c \rho – \BJ) + I(c\rho_m – \BM) \) is a function of time, then the geometric algebra form of Maxwell’s equations is the first order multivector (gradient) equation
\begin{equation}\label{eqn:staticPotentials:20}
\spacegrad F = J.
\end{equation}

While direct solutions to this equations are possible with the multivector Green’s function for the gradient
\begin{equation}\label{eqn:staticPotentials:40}
G(\Bx, \Bx’) = \inv{4\pi} \frac{\Bx – \Bx’}{\Norm{\Bx – \Bx’}^3 },
\end{equation}
the aim in this post is to explore second order (potential) solutions in a geometric algebra context. Can we assume that it is possible to find a multivector potential \( A \) for which
\begin{equation}\label{eqn:staticPotentials:60}
F = \spacegrad A,
\end{equation}
is a solution to the Maxwell statics equation? If such a solution exists, then Maxwell’s equation is simply
\begin{equation}\label{eqn:staticPotentials:80}
\spacegrad^2 A = J,
\end{equation}
which can be easily solved using the scalar Green’s function for the Laplacian
\begin{equation}\label{eqn:staticPotentials:240}
G(\Bx, \Bx’) = -\inv{\Norm{\Bx – \Bx’} },
\end{equation}
a beastie that may be easier to convolve than the vector valued Green’s function for the gradient.

It is immediately clear that some restrictions must be imposed on the multivector potential \(A\). In particular, since the field \( F \) has only vector and bivector grades, this gradient must have no scalar, nor pseudoscalar grades. That is
\begin{equation}\label{eqn:staticPotentials:100}
\gpgrade{\spacegrad A}{0,3} = 0.
\end{equation}
This constraint on the potential can be avoided if a grade selection operation is built directly into the assumed potential solution, requiring that the field is given by
\begin{equation}\label{eqn:staticPotentials:120}
F = \gpgrade{\spacegrad A}{1,2}.
\end{equation}
However, after imposing such a constraint, Maxwell’s equation has a much less friendly form
\begin{equation}\label{eqn:staticPotentials:140}
\spacegrad^2 A – \spacegrad \gpgrade{\spacegrad A}{0,3} = J.
\end{equation}
Luckily, it is possible to introduce a transformation of potentials, called a gauge transformation, that eliminates the ugly grade selection term, and allows the potential equation to be expressed as a plain old Laplacian. We do so by assuming first that it is possible to find a solution of the Laplacian equation that has the desired grade restrictions. That is
\begin{equation}\label{eqn:staticPotentials:160}
\begin{aligned}
\spacegrad^2 A’ &= J \\
\gpgrade{\spacegrad A’}{0,3} &= 0,
\end{aligned}
\end{equation}
for which \( F = \spacegrad A’ \) is a grade 1,2 solution to \( \spacegrad F = J \). Suppose that \( A \) is any formal solution, free of any grade restrictions, to \( \spacegrad^2 A = J \), and \( F = \gpgrade{\spacegrad A}{1,2} \). Can we find a function \( \tilde{A} \) for which \( A = A’ + \tilde{A} \)?

Maxwell’s equation in terms of \( A \) is
\begin{equation}\label{eqn:staticPotentials:180}
\begin{aligned}
J
&= \spacegrad \gpgrade{\spacegrad A}{1,2} \\
&= \spacegrad^2 A
– \spacegrad \gpgrade{\spacegrad A}{0,3} \\
&= \spacegrad^2 (A’ + \tilde{A})
– \spacegrad \gpgrade{\spacegrad A}{0,3}
\end{aligned}
\end{equation}
or
\begin{equation}\label{eqn:staticPotentials:200}
\spacegrad^2 \tilde{A} = \spacegrad \gpgrade{\spacegrad A}{0,3}.
\end{equation}
This non-homogeneous Laplacian equation that can be solved as is for \( \tilde{A} \) using the Green’s function for the Laplacian. Alternatively, we may also solve the equivalent first order system using the Green’s function for the gradient.
\begin{equation}\label{eqn:staticPotentials:220}
\spacegrad \tilde{A} = \gpgrade{\spacegrad A}{0,3}.
\end{equation}
Clearly \( \tilde{A} \) is not unique, as we can add any function \( \psi \) satisfying the homogeneous Laplacian equation \( \spacegrad^2 \psi = 0 \).

In summary, if \( A \) is any multivector solution to \( \spacegrad^2 A = J \), that is
\begin{equation}\label{eqn:staticPotentials:260}
A(\Bx)
= \int dV’ G(\Bx, \Bx’) J(\Bx’)
= -\int dV’ \frac{J(\Bx’)}{\Norm{\Bx – \Bx’} },
\end{equation}
then \( F = \spacegrad A’ \) is a solution to Maxwell’s equation, where \( A’ = A – \tilde{A} \), and \( \tilde{A} \) is a solution to the non-homogeneous Laplacian equation or the non-homogeneous gradient equation above.

Integral form of the gauge transformation.

Additional insight is possible by considering the gauge transformation in integral form. Suppose that
\begin{equation}\label{eqn:staticPotentials:280}
A(\Bx) = -\int_V dV’ \frac{J(\Bx’)}{\Norm{\Bx – \Bx’} } – \tilde{A}(\Bx),
\end{equation}
is a solution of \( \spacegrad^2 A = J \), where \( \tilde{A} \) is a multivector solution to the homogeneous Laplacian equation \( \spacegrad^2 \tilde{A} = 0 \). Let’s look at the constraints on \( \tilde{A} \) that must be imposed for \( F = \spacegrad A \) to be a valid (i.e. grade 1,2) solution of Maxwell’s equation.
\begin{equation}\label{eqn:staticPotentials:300}
\begin{aligned}
F
&= \spacegrad A \\
&=
-\int_V dV’ \lr{ \spacegrad \inv{\Norm{\Bx – \Bx’} } } J(\Bx’)
– \spacegrad \tilde{A}(\Bx) \\
&=
\int_V dV’ \lr{ \spacegrad’ \inv{\Norm{\Bx – \Bx’} } } J(\Bx’)
– \spacegrad \tilde{A}(\Bx) \\
&=
\int_V dV’ \spacegrad’ \frac{J(\Bx’)}{\Norm{\Bx – \Bx’} } – \int_V dV’ \frac{\spacegrad’ J(\Bx’)}{\Norm{\Bx – \Bx’} }
– \spacegrad \tilde{A}(\Bx) \\
&=
\int_{\partial V} dA’ \ncap’ \frac{J(\Bx’)}{\Norm{\Bx – \Bx’} } – \int_V \frac{\spacegrad’ J(\Bx’)}{\Norm{\Bx – \Bx’} }
– \spacegrad \tilde{A}(\Bx).
\end{aligned}
\end{equation}
Where \( \ncap’ = (\Bx’ – \Bx)/\Norm{\Bx’ – \Bx} \), and the fundamental theorem of geometric calculus has been used to transform the gradient volume integral into an integral over the bounding surface. Operating on Maxwell’s equation with the gradient gives \( \spacegrad^2 F = \spacegrad J \), which has only grades 1,2 on the left hand side, meaning that \( J \) is constrained in a way that requires \( \spacegrad J \) to have only grades 1,2. This means that \( F \) has grades 1,2 if
\begin{equation}\label{eqn:staticPotentials:320}
\spacegrad \tilde{A}(\Bx)
= \int_{\partial V} dA’ \frac{ \gpgrade{\ncap’ J(\Bx’)}{0,3} }{\Norm{\Bx – \Bx’} }.
\end{equation}
The product \( \ncap J \) expands to
\begin{equation}\label{eqn:staticPotentials:340}
\begin{aligned}
\ncap J
&=
\gpgradezero{\ncap J_1} + \gpgradethree{\ncap J_2} \\
&=
\ncap \cdot (-\eta \BJ) + \gpgradethree{\ncap (-I \BM)} \\
&=- \eta \ncap \cdot \BJ -I \ncap \cdot \BM,
\end{aligned}
\end{equation}
so
\begin{equation}\label{eqn:staticPotentials:360}
\spacegrad \tilde{A}(\Bx)
=
-\int_{\partial V} dA’ \frac{ \eta \ncap’ \cdot \BJ(\Bx’) + I \ncap’ \cdot \BM(\Bx’)}{\Norm{\Bx – \Bx’} }.
\end{equation}
Observe that if there is no flux of current density \( \BJ \) and (fictitious) magnetic current density \( \BM \) through the surface, then \( F = \spacegrad A \) is a solution to Maxwell’s equation without any gauge transformation. Alternatively \( F = \spacegrad A \) is also a solution if \( \lim_{\Bx’ \rightarrow \infty} \BJ(\Bx’)/\Norm{\Bx – \Bx’} = \lim_{\Bx’ \rightarrow \infty} \BM(\Bx’)/\Norm{\Bx – \Bx’} = 0 \) and the bounding volume is taken to infinity.

References

Generalizing Ampere’s law using geometric algebra.

March 16, 2018 math and physics play , , , , , , , , , , , , , , , , , , , ,

[Click here for a PDF of this post with nicer formatting, and oriented integrals. All oriented integrals in this post have a clockwise direction.].

The question I’d like to explore in this post is how Ampere’s law, the relationship between the line integral of the magnetic field to current (i.e. the enclosed current)
\begin{equation}\label{eqn:flux:20}
\oint_{\partial A} d\Bx \cdot \BH = -\int_A \ncap \cdot \BJ,
\end{equation}
generalizes to geometric algebra where Maxwell’s equations for a statics configuration (all time derivatives zero) is
\begin{equation}\label{eqn:flux:40}
\spacegrad F = J,
\end{equation}
where the multivector fields and currents are
\begin{equation}\label{eqn:flux:60}
\begin{aligned}
F &= \BE + I \eta \BH \\
J &= \eta \lr{ c \rho – \BJ } + I \lr{ c \rho_\txtm – \BM }.
\end{aligned}
\end{equation}
Here (fictitious) the magnetic charge and current densities that can be useful in antenna theory have been included in the multivector current for generality.

My presumption is that it should be possible to utilize the fundamental theorem of geometric calculus for expressing the integral over an oriented surface to its boundary, but applied directly to Maxwell’s equation. That integral theorem has the form
\begin{equation}\label{eqn:flux:80}
\int_A d^2 \Bx \boldpartial F = \oint_{\partial A} d\Bx F,
\end{equation}
where \( d^2 \Bx = d\Ba \wedge d\Bb \) is a two parameter bivector valued surface, and \( \boldpartial \) is vector derivative, the projection of the gradient onto the tangent space. I won’t try to explain all of geometric calculus here, and refer the interested reader to [1], which is an excellent reference on geometric calculus and integration theory.

The gotcha is that we actually want a surface integral with \( \spacegrad F \). We can split the gradient into the vector derivative a normal component
\begin{equation}\label{eqn:flux:160}
\spacegrad = \boldpartial + \ncap (\ncap \cdot \spacegrad),
\end{equation}
so
\begin{equation}\label{eqn:flux:100}
\int_A d^2 \Bx \spacegrad F
=
\int_A d^2 \Bx \boldpartial F
+
\int_A d^2 \Bx \ncap \lr{ \ncap \cdot \spacegrad } F,
\end{equation}
so
\begin{equation}\label{eqn:flux:120}
\begin{aligned}
\oint_{\partial A} d\Bx F
&=
\int_A d^2 \Bx \lr{ J – \ncap \lr{ \ncap \cdot \spacegrad } F } \\
&=
\int_A dA \lr{ I \ncap J – \lr{ \ncap \cdot \spacegrad } I F }
\end{aligned}
\end{equation}

This is not nearly as nice as the magnetic flux relationship which was nicely split with the current and fields nicely separated. The \( d\Bx F \) product has all possible grades, as does the \( d^2 \Bx J \) product (in general). Observe however, that the normal term on the right has only grades 1,2, so we can split our line integral relations into pairs with and without grade 1,2 components
\begin{equation}\label{eqn:flux:140}
\begin{aligned}
\oint_{\partial A} \gpgrade{d\Bx F}{0,3}
&=
\int_A dA \gpgrade{ I \ncap J }{0,3} \\
\oint_{\partial A} \gpgrade{d\Bx F}{1,2}
&=
\int_A dA \lr{ \gpgrade{ I \ncap J }{1,2} – \lr{ \ncap \cdot \spacegrad } I F }.
\end{aligned}
\end{equation}

Let’s expand these explicitly in terms of the component fields and densities to check against the conventional relationships, and see if things look right. The line integrand expands to
\begin{equation}\label{eqn:flux:180}
\begin{aligned}
d\Bx F
&=
d\Bx \lr{ \BE + I \eta \BH }
=
d\Bx \cdot \BE + I \eta d\Bx \cdot \BH
+
d\Bx \wedge \BE + I \eta d\Bx \wedge \BH \\
&=
d\Bx \cdot \BE
– \eta (d\Bx \cross \BH)
+ I (d\Bx \cross \BE )
+ I \eta (d\Bx \cdot \BH),
\end{aligned}
\end{equation}
the current integrand expands to
\begin{equation}\label{eqn:flux:200}
\begin{aligned}
I \ncap J
&=
I \ncap
\lr{
\frac{\rho}{\epsilon} – \eta \BJ + I \lr{ c \rho_\txtm – \BM }
} \\
&=
\ncap I \frac{\rho}{\epsilon} – \eta \ncap I \BJ – \ncap c \rho_\txtm + \ncap \BM \\
&=
\ncap \cdot \BM
+ \eta (\ncap \cross \BJ)
– \ncap c \rho_\txtm
+ I (\ncap \cross \BM)
+ \ncap I \frac{\rho}{\epsilon}
– \eta I (\ncap \cdot \BJ).
\end{aligned}
\end{equation}

We are left with
\begin{equation}\label{eqn:flux:220}
\begin{aligned}
\oint_{\partial A}
\lr{
d\Bx \cdot \BE + I \eta (d\Bx \cdot \BH)
}
&=
\int_A dA
\lr{
\ncap \cdot \BM – \eta I (\ncap \cdot \BJ)
} \\
\oint_{\partial A}
\lr{
– \eta (d\Bx \cross \BH)
+ I (d\Bx \cross \BE )
}
&=
\int_A dA
\lr{
\eta (\ncap \cross \BJ)
– \ncap c \rho_\txtm
+ I (\ncap \cross \BM)
+ \ncap I \frac{\rho}{\epsilon}
-\PD{n}{} \lr{ I \BE – \eta \BH }
}.
\end{aligned}
\end{equation}
This is a crazy mess of dots, crosses, fields and sources. We can split it into one equation for each grade, which will probably look a little more regular. That is
\begin{equation}\label{eqn:flux:240}
\begin{aligned}
\oint_{\partial A} d\Bx \cdot \BE &= \int_A dA \ncap \cdot \BM \\
\oint_{\partial A} d\Bx \cross \BH
&=
\int_A dA
\lr{
– \ncap \cross \BJ
+ \frac{ \ncap \rho_\txtm }{\mu}
– \PD{n}{\BH}
} \\
\oint_{\partial A} d\Bx \cross \BE &=
\int_A dA
\lr{
\ncap \cross \BM
+ \frac{\ncap \rho}{\epsilon}
– \PD{n}{\BE}
} \\
\oint_{\partial A} d\Bx \cdot \BH &= -\int_A dA \ncap \cdot \BJ \\
\end{aligned}
\end{equation}
The first and last equations could have been obtained much more easily from Maxwell’s equations in their conventional form more easily. The two cross product equations with the normal derivatives are not familiar to me, even without the fictitious magnetic sources. It is somewhat remarkable that so much can be packed into one multivector equation:
\begin{equation}\label{eqn:flux:260}
\oint_{\partial A} d\Bx F
=
I \int_A dA \lr{ \ncap J – \PD{n}{F} }.
\end{equation}

References

[1] A. Macdonald. Vector and Geometric Calculus. CreateSpace Independent Publishing Platform, 2012.

Solving Maxwell’s equation in freespace: Multivector plane wave representation

March 14, 2018 math and physics play , , , , , , , , , , , ,

[Click here for a PDF of this post with nicer formatting]

The geometric algebra form of Maxwell’s equations in free space (or source free isotopic media with group velocity \( c \)) is the multivector equation
\begin{equation}\label{eqn:planewavesMultivector:20}
\lr{ \spacegrad + \inv{c}\PD{t}{} } F(\Bx, t) = 0.
\end{equation}
Here \( F = \BE + I c \BB \) is a multivector with grades 1 and 2 (vector and bivector components). The velocity \( c \) is called the group velocity since \( F \), or its components \( \BE, \BH \) satisfy the wave equation, which can be seen by pre-multiplying with \( \spacegrad – (1/c)\PDi{t}{} \) to find
\begin{equation}\label{eqn:planewavesMultivector:n}
\lr{ \spacegrad^2 – \inv{c^2}\PDSq{t}{} } F(\Bx, t) = 0.
\end{equation}

Let’s look at the frequency domain solution of this equation with a presumed phasor representation
\begin{equation}\label{eqn:planewavesMultivector:40}
F(\Bx, t) = \textrm{Re} \lr{ F(\Bk) e^{-j \Bk \cdot \Bx + j \omega t} },
\end{equation}
where \( j \) is a scalar imaginary, not necessarily with any geometric interpretation.

Maxwell’s equation reduces to just
\begin{equation}\label{eqn:planewavesMultivector:60}
0
=
-j \lr{ \Bk – \frac{\omega}{c} } F(\Bk).
\end{equation}

If \( F(\Bk) \) has a left multivector factor
\begin{equation}\label{eqn:planewavesMultivector:80}
F(\Bk) =
\lr{ \Bk + \frac{\omega}{c} } \tilde{F},
\end{equation}
where \( \tilde{F} \) is a multivector to be determined, then
\begin{equation}\label{eqn:planewavesMultivector:100}
\begin{aligned}
\lr{ \Bk – \frac{\omega}{c} }
F(\Bk)
&=
\lr{ \Bk – \frac{\omega}{c} }
\lr{ \Bk + \frac{\omega}{c} } \tilde{F} \\
&=
\lr{ \Bk^2 – \lr{\frac{\omega}{c}}^2 } \tilde{F},
\end{aligned}
\end{equation}
which is zero if \( \Norm{\Bk} = \ifrac{\omega}{c} \).

Let \( \kcap = \ifrac{\Bk}{\Norm{\Bk}} \), and \( \Norm{\Bk} \tilde{F} = F_0 + F_1 + F_2 + F_3 \), where \( F_0, F_1, F_2, \) and \( F_3 \) are respectively have grades 0,1,2,3. Then
\begin{equation}\label{eqn:planewavesMultivector:120}
\begin{aligned}
F(\Bk)
&= \lr{ 1 + \kcap } \lr{ F_0 + F_1 + F_2 + F_3 } \\
&=
F_0 + F_1 + F_2 + F_3
+
\kcap F_0 + \kcap F_1 + \kcap F_2 + \kcap F_3 \\
&=
F_0 + F_1 + F_2 + F_3
+
\kcap F_0 + \kcap \cdot F_1 + \kcap \cdot F_2 + \kcap \cdot F_3
+
\kcap \wedge F_1 + \kcap \wedge F_2 \\
&=
\lr{
F_0 + \kcap \cdot F_1
}
+
\lr{
F_1 + \kcap F_0 + \kcap \cdot F_2
}
+
\lr{
F_2 + \kcap \cdot F_3 + \kcap \wedge F_1
}
+
\lr{
F_3 + \kcap \wedge F_2
}.
\end{aligned}
\end{equation}
Since the field \( F \) has only vector and bivector grades, the grades zero and three components of the expansion above must be zero, or
\begin{equation}\label{eqn:planewavesMultivector:140}
\begin{aligned}
F_0 &= – \kcap \cdot F_1 \\
F_3 &= – \kcap \wedge F_2,
\end{aligned}
\end{equation}
so
\begin{equation}\label{eqn:planewavesMultivector:160}
\begin{aligned}
F(\Bk)
&=
\lr{ 1 + \kcap } \lr{
F_1 – \kcap \cdot F_1 +
F_2 – \kcap \wedge F_2
} \\
&=
\lr{ 1 + \kcap } \lr{
F_1 – \kcap F_1 + \kcap \wedge F_1 +
F_2 – \kcap F_2 + \kcap \cdot F_2
}.
\end{aligned}
\end{equation}
The multivector \( 1 + \kcap \) has the projective property of gobbling any leading factors of \( \kcap \)
\begin{equation}\label{eqn:planewavesMultivector:180}
\begin{aligned}
(1 + \kcap)\kcap
&= \kcap + 1 \\
&= 1 + \kcap,
\end{aligned}
\end{equation}
so for \( F_i \in F_1, F_2 \)
\begin{equation}\label{eqn:planewavesMultivector:200}
(1 + \kcap) ( F_i – \kcap F_i )
=
(1 + \kcap) ( F_i – F_i )
= 0,
\end{equation}
leaving
\begin{equation}\label{eqn:planewavesMultivector:220}
F(\Bk)
=
\lr{ 1 + \kcap } \lr{
\kcap \cdot F_2 +
\kcap \wedge F_1
}.
\end{equation}

For \( \kcap \cdot F_2 \) to be non-zero \( F_2 \) must be a bivector that lies in a plane containing \( \kcap \), and \( \kcap \cdot F_2 \) is a vector in that plane that is perpendicular to \( \kcap \). On the other hand \( \kcap \wedge F_1 \) is non-zero only if \( F_1 \) has a non-zero component that does not lie in along the \( \kcap \) direction, but \( \kcap \wedge F_1 \), like \( F_2 \) describes a plane that containing \( \kcap \). This means that having both bivector and vector free variables \( F_2 \) and \( F_1 \) provide more degrees of freedom than required. For example, if \( \BE \) is any vector, and \( F_2 = \kcap \wedge \BE \), then
\begin{equation}\label{eqn:planewavesMultivector:240}
\begin{aligned}
\lr{ 1 + \kcap }
\kcap \cdot F_2
&=
\lr{ 1 + \kcap }
\kcap \cdot \lr{ \kcap \wedge \BE } \\
&=
\lr{ 1 + \kcap }
\lr{
\BE

\kcap \lr{ \kcap \cdot \BE }
} \\
&=
\lr{ 1 + \kcap }
\kcap \lr{ \kcap \wedge \BE } \\
&=
\lr{ 1 + \kcap }
\kcap \wedge \BE,
\end{aligned}
\end{equation}
which has the form \( \lr{ 1 + \kcap } \lr{ \kcap \wedge F_1 } \), so the solution of the free space Maxwell’s equation can be written
\begin{equation}\label{eqn:planewavesMultivector:260}
\boxed{
F(\Bx, t)
=
\textrm{Re} \lr{
\lr{ 1 + \kcap }
\BE\,
e^{-j \Bk \cdot \Bx + j \omega t}
}
,
}
\end{equation}
where \( \BE \) is any vector for which \( \BE \cdot \Bk = 0 \).

Transverse gauge

November 16, 2016 math and physics play , , , , , , , , , , , , , , , , ,

[Click here for a PDF of this post with nicer formatting]

Jackson [1] has an interesting presentation of the transverse gauge. I’d like to walk through the details of this, but first want to translate the preliminaries to SI units (if I had the 3rd edition I’d not have to do this translation step).

Gauge freedom

The starting point is noting that \( \spacegrad \cdot \BB = 0 \) the magnetic field can be expressed as a curl

\begin{equation}\label{eqn:transverseGauge:20}
\BB = \spacegrad \cross \BA.
\end{equation}

Faraday’s law now takes the form
\begin{equation}\label{eqn:transverseGauge:40}
\begin{aligned}
0
&= \spacegrad \cross \BE + \PD{t}{\BB} \\
&= \spacegrad \cross \BE + \PD{t}{} \lr{ \spacegrad \cross \BA } \\
&= \spacegrad \cross \lr{ \BE + \PD{t}{\BA} }.
\end{aligned}
\end{equation}

Because this curl is zero, the interior sum can be expressed as a gradient

\begin{equation}\label{eqn:transverseGauge:60}
\BE + \PD{t}{\BA} \equiv -\spacegrad \Phi.
\end{equation}

This can now be substituted into the remaining two Maxwell’s equations.

\begin{equation}\label{eqn:transverseGauge:80}
\begin{aligned}
\spacegrad \cdot \BD &= \rho_v \\
\spacegrad \cross \BH &= \BJ + \PD{t}{\BD} \\
\end{aligned}
\end{equation}

For Gauss’s law, in simple media, we have

\begin{equation}\label{eqn:transverseGauge:140}
\begin{aligned}
\rho_v
&=
\epsilon \spacegrad \cdot \BE \\
&=
\epsilon \spacegrad \cdot \lr{ -\spacegrad \Phi – \PD{t}{\BA} }
\end{aligned}
\end{equation}

For simple media again, the Ampere-Maxwell equation is

\begin{equation}\label{eqn:transverseGauge:100}
\inv{\mu} \spacegrad \cross \lr{ \spacegrad \cross \BA } = \BJ + \epsilon \PD{t}{} \lr{ -\spacegrad \Phi – \PD{t}{\BA} }.
\end{equation}

Expanding \( \spacegrad \cross \lr{ \spacegrad \cross \BA } = -\spacegrad^2 \BA + \spacegrad \lr{ \spacegrad \cdot \BA } \) gives
\begin{equation}\label{eqn:transverseGauge:120}
-\spacegrad^2 \BA + \spacegrad \lr{ \spacegrad \cdot \BA } + \epsilon \mu \PDSq{t}{\BA} = \mu \BJ – \epsilon \mu \spacegrad \PD{t}{\Phi}.
\end{equation}

Maxwell’s equations are now reduced to
\begin{equation}\label{eqn:transverseGauge:180}
\boxed{
\begin{aligned}
\spacegrad^2 \BA – \spacegrad \lr{ \spacegrad \cdot \BA + \epsilon \mu \PD{t}{\Phi}} – \epsilon \mu \PDSq{t}{\BA} &= -\mu \BJ \\
\spacegrad^2 \Phi + \PD{t}{\spacegrad \cdot \BA} &= -\frac{\rho_v }{\epsilon}.
\end{aligned}
}
\end{equation}

There are two obvious constraints that we can impose
\begin{equation}\label{eqn:transverseGauge:200}
\spacegrad \cdot \BA – \epsilon \mu \PD{t}{\Phi} = 0,
\end{equation}

or
\begin{equation}\label{eqn:transverseGauge:220}
\spacegrad \cdot \BA = 0.
\end{equation}

The first constraint is the Lorentz gauge, which I’ve played with previously. It happens to be really nice in a relativistic context since, in vacuum with a four-vector potential \( A = (\Phi/c, \BA) \), that is a requirement that the four-divergence of the four-potential vanishes (\( \partial_\mu A^\mu = 0 \)).

Transverse gauge

Jackson identifies the latter constraint as the transverse gauge, which I’m less familiar with. With this gauge selection, we have

\begin{equation}\label{eqn:transverseGauge:260}
\spacegrad^2 \BA – \epsilon \mu \PDSq{t}{\BA} = -\mu \BJ + \epsilon\mu \spacegrad \PD{t}{\Phi}
\end{equation}
\begin{equation}\label{eqn:transverseGauge:280}
\spacegrad^2 \Phi = -\frac{\rho_v }{\epsilon}.
\end{equation}

What’s not obvious is the fact that the irrotational (zero curl) contribution due to \(\Phi\) in \ref{eqn:transverseGauge:260} cancels the corresponding irrotational term from the current. Jackson uses a transverse and longitudinal decomposition of the current, related to the Helmholtz theorem to allude to this.

That decomposition follows from expanding \( \spacegrad^2 J/R \) in two ways using the delta function \( -4 \pi \delta(\Bx – \Bx’) = \spacegrad^2 1/R \) representation, as well as directly

\begin{equation}\label{eqn:transverseGauge:300}
\begin{aligned}
– 4 \pi \BJ(\Bx)
&=
\int \spacegrad^2 \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’ \\
&=
\spacegrad
\int \spacegrad \cdot \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’
+
\spacegrad \cdot
\int \spacegrad \wedge \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’ \\
&=
-\spacegrad
\int \BJ(\Bx’) \cdot \spacegrad’ \inv{\Abs{\Bx – \Bx’}} d^3 x’
+
\spacegrad \cdot \lr{ \spacegrad \wedge
\int \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’
} \\
&=
-\spacegrad
\int \spacegrad’ \cdot \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’
+\spacegrad
\int \frac{\spacegrad’ \cdot \BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’

\spacegrad \cross \lr{
\spacegrad \cross
\int \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’
}
\end{aligned}
\end{equation}

The first term can be converted to a surface integral

\begin{equation}\label{eqn:transverseGauge:320}
-\spacegrad
\int \spacegrad’ \cdot \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’
=
-\spacegrad
\int d\BA’ \cdot \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}},
\end{equation}

so provided the currents are either localized or \( \Abs{\BJ}/R \rightarrow 0 \) on an infinite sphere, we can make the identification

\begin{equation}\label{eqn:transverseGauge:340}
\BJ(\Bx)
=
-\spacegrad \inv{4 \pi} \int \frac{\spacegrad’ \cdot \BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’
+
\spacegrad \cross \spacegrad \cross \inv{4 \pi} \int \frac{\BJ(\Bx’)}{\Abs{\Bx – \Bx’}} d^3 x’
\equiv
\BJ_l +
\BJ_t,
\end{equation}

where \( \spacegrad \cross \BJ_l = 0 \) (irrotational, or longitudinal), whereas \( \spacegrad \cdot \BJ_t = 0 \) (solenoidal or transverse). The irrotational property is clear from inspection, and the transverse property can be verified readily

\begin{equation}\label{eqn:transverseGauge:360}
\begin{aligned}
\spacegrad \cdot \lr{ \spacegrad \cross \lr{ \spacegrad \cross \BX } }
&=
-\spacegrad \cdot \lr{ \spacegrad \cdot \lr{ \spacegrad \wedge \BX } } \\
&=
-\spacegrad \cdot \lr{ \spacegrad^2 \BX – \spacegrad \lr{ \spacegrad \cdot \BX } } \\
&=
-\spacegrad \cdot \lr{\spacegrad^2 \BX} + \spacegrad^2 \lr{ \spacegrad \cdot \BX } \\
&= 0.
\end{aligned}
\end{equation}

Since

\begin{equation}\label{eqn:transverseGauge:380}
\Phi(\Bx, t)
=
\inv{4 \pi \epsilon} \int \frac{\rho_v(\Bx’, t)}{\Abs{\Bx – \Bx’}} d^3 x’,
\end{equation}

we have

\begin{equation}\label{eqn:transverseGauge:400}
\begin{aligned}
\spacegrad \PD{t}{\Phi}
&=
\inv{4 \pi \epsilon} \spacegrad \int \frac{\partial_t \rho_v(\Bx’, t)}{\Abs{\Bx – \Bx’}} d^3 x’ \\
&=
\inv{4 \pi \epsilon} \spacegrad \int \frac{-\spacegrad’ \cdot \BJ}{\Abs{\Bx – \Bx’}} d^3 x’ \\
&=
\frac{\BJ_l}{\epsilon}.
\end{aligned}
\end{equation}

This means that the Ampere-Maxwell equation takes the form

\begin{equation}\label{eqn:transverseGauge:420}
\spacegrad^2 \BA – \epsilon \mu \PDSq{t}{\BA}
= -\mu \BJ + \mu \BJ_l
= -\mu \BJ_t.
\end{equation}

This justifies the transverse in the label transverse gauge.

References

[1] JD Jackson. Classical Electrodynamics. John Wiley and Sons, 2nd edition, 1975.