electric current and charge density

A multivector Lagrangian for Maxwell’s equation, w/ electric and magnetic current density four-vector sources

June 29, 2022 math and physics play , , , , , , , ,

[Click here for a PDF version of this and previous related posts .]

Initially I had trouble generalizing the multivector Lagrangian to include both the electric and magnetic sources without using two independent potentials. However, this can be done, provided one is careful enough. Recall that we found that a useful formulation for the field in terms of two potentials is
\begin{equation}\label{eqn:maxwellLagrangian:2050}
F = F_{\mathrm{e}} + I F_{\mathrm{m}},
\end{equation}
where
\begin{equation}\label{eqn:maxwellLagrangian:2070}
\begin{aligned}
F_{\mathrm{e}} = \grad \wedge A \\
F_{\mathrm{m}} = \grad \wedge K,
\end{aligned}
\end{equation}
and where \( A, K \) are arbitrary four-vector potentials.
Use of two potentials allowed us to decouple Maxwell’s equations into two separate gradient equations. We don’t want to do that now, but let’s see how we can combine the two fields into a single multivector potential. Letting the gradient act bidirectionally, and introducing a dummy grade-two selection into the mix, we have
\begin{equation}\label{eqn:maxwellLagrangian:2090}
\begin{aligned}
F
&= \rgrad \wedge A + I \lr{ \rgrad \wedge K } \\
&= – A \wedge \lgrad – I \lr{ K \wedge \lgrad } \\
&= -\gpgradetwo{ A \wedge \lgrad + I \lr{ K \wedge \lgrad } } \\
&= -\gpgradetwo{ A \lgrad + I K \lgrad } \\
&= -\gpgradetwo{ \lr{ A + I K } \lgrad }.
\end{aligned}
\end{equation}
Now, we call
\begin{equation}\label{eqn:maxwellLagrangian:2110}
N = A + I K,
\end{equation}
(a 1,3 multivector), the multivector potential, and write the electromagnetic field not in terms of curls explicitly, but using a grade-2 selection filter
\begin{equation}\label{eqn:maxwellLagrangian:2130}
F = -\gpgradetwo{ N \lgrad }.
\end{equation}

We can now form the following multivector Lagrangian
\begin{equation}\label{eqn:maxwellLagrangian:2150}
\LL = \inv{2} F^2 – \gpgrade{ N \lr{ J – I M } }{0,4},
\end{equation}
and vary the action to (eventually) find our multivector Maxwell’s equation, without ever resorting to coordinates. We have
\begin{equation}\label{eqn:maxwellLagrangian:2170}
\begin{aligned}
\delta S
&= \int d^4 x \inv{2} \lr{ \lr{ \delta F } F + F \lr{ \delta F } } – \gpgrade{ \delta N \lr{ J – I M } }{0,4} \\
&= \int d^4 x \gpgrade{ \lr{ \delta F } F – \lr{ \delta N } \lr{ J – I M } }{0,4} \\
&= \int d^4 x \gpgrade{ -\gpgradetwo{ \lr{ \delta N} \lgrad } F – \lr{ \delta N } \lr{ J – I M } }{0,4} \\
&= \int d^4 x \gpgrade{ -\gpgradetwo{ \lr{ \delta N} \lrgrad } F +\gpgradetwo{ \lr{ \delta N} \rgrad } F – \lr{ \delta N } \lr{ J – I M } }{0,4}.
\end{aligned}
\end{equation}
The \( \lrgrad \) term can be evaluated using the fundamential theorem of GC, and will be zero, as \( \delta N = 0 \) on the boundary. Let’s look at the next integrand term a bit more carefully
\begin{equation}\label{eqn:maxwellLagrangian:2190}
\begin{aligned}
\gpgrade{ \gpgradetwo{ \lr{ \delta N} \rgrad } F }{0,4}
&=
\gpgrade{ \gpgradetwo{ \lr{ \lr{ \delta A } + I \lr{ \delta K } } \rgrad } F }{0,4} \\
&=
\gpgrade{ \lr{ \lr{\delta A} \wedge \rgrad + I \lr{ \lr{ \delta K } \wedge \rgrad }} F }{0,4} \\
&=
\gpgrade{ \lr{\delta A} \rgrad F – \lr{ \lr{\delta A} \cdot \rgrad} F + I \lr{ \delta K } \rgrad F – I \lr{ \lr{ \delta K } \cdot \rgrad} F }{0,4} \\
&=
\gpgrade{ \lr{\delta A} \rgrad F + I \lr{ \delta K } \rgrad F }{0,4} \\
&=
\gpgrade{ \lr{ \lr{\delta A} + I \lr{ \delta K} } \rgrad F }{0,4} \\
&=
\gpgrade{ \lr{ \delta N} \rgrad F }{0,4},
\end{aligned}
\end{equation}
so
\begin{equation}\label{eqn:maxwellLagrangian:2210}
\begin{aligned}
\delta S
&= \int d^4 x \gpgrade{ \lr{ \delta N} \rgrad F – \lr{ \delta N } \lr{ J – I M } }{0,4} \\
&= \int d^4 x \gpgrade{ \lr{ \delta N} \lr{ \rgrad F – \lr{ J – I M } } }{0,4}.
\end{aligned}
\end{equation}
for this to be zero for all variations \( \delta N \) of the 1,3-multivector potential \( N \), we must have
\begin{equation}\label{eqn:maxwellLagrangian:2230}
\grad F = J – I M.
\end{equation}
This is Maxwell’s equation, as desired, including both electric and (if desired) magnetic sources.

Curl of F revisited.

June 20, 2022 math and physics play , , , , , , , , ,

This is the 8th part of a series on finding Maxwell’s equations (including the fictitious magnetic sources that are useful in engineering) from a multivector Lagrangian representation.

[Click here for a PDF version of this series of posts, up to and including this one.]  The first, second, third, fourth, fifth, sixth, and
seventh parts are also available here on this blog.

There’s an aspect of the previous treatment that has bugged me. We’ve used a Lagrangian
\begin{equation}\label{eqn:fsquared:1440y}
\LL = \inv{2} F^2 – \gpgrade{A \lr{ J – I M } }{0,4}, \end{equation}
where \( F = \grad \wedge A \), and found Maxwell’s equation by varying the Lagrangian
\begin{equation}\label{eqn:fsquared:1680}
\grad F = J – I M.
\end{equation}
However, if we decompose this into vector and trivector parts we have
\begin{equation}\label{eqn:fsquared:1700}
\begin{aligned}
\grad \cdot F &= J \\
\grad \wedge F &= -I M,
\end{aligned}
\end{equation}
and then put our original \( F = \grad \wedge A \) back in the magnetic term of this equation, we have a contradiction
\begin{equation}\label{eqn:fsquared:1720}
0 = -I M,
\end{equation}
since
\begin{equation}\label{eqn:fsquared:1880}
\grad \wedge \lr{ \grad \wedge A } = 0,
\end{equation}
provided we have equality of mixed partials for \( A \). The resolution to this contradiction appears to be a requirement to define the field differently. In particular, we can utilize two separate four-vector potential fields to split Maxwell’s equation into two parts. Let
\begin{equation}\label{eqn:fsquared:1740}
F = F_{\mathrm{e}} + I F_{\mathrm{m}},
\end{equation}
where
\begin{equation}\label{eqn:fsquared:1760}
\begin{aligned}
F_{\mathrm{e}} &= \grad \wedge A \\
F_{\mathrm{m}} &= \grad \wedge K,
\end{aligned}
\end{equation}
and \( A, K \) are independent four-vector potential fields. Plugging this into Maxwell’s equation, and employing a duality transformation, gives us two coupled vector grade equations
\begin{equation}\label{eqn:fsquared:1780}
\begin{aligned}
\grad \cdot F_{\mathrm{e}} – I \lr{ \grad \wedge F_{\mathrm{m}} } &= J \\
\grad \cdot F_{\mathrm{m}} + I \lr{ \grad \wedge F_{\mathrm{e}} } &= M.
\end{aligned}
\end{equation}
However, since \( \grad \wedge F_{\mathrm{m}} = \grad \wedge F_{\mathrm{e}} = 0 \), these decouple trivially, leaving
\begin{equation}\label{eqn:fsquared:1800}
\begin{aligned}
\grad \cdot F_{\mathrm{e}} &= J \\
\grad \cdot F_{\mathrm{m}} &= M.
\end{aligned}
\end{equation}
In fact, again, since \( \grad \wedge F_{\mathrm{m}} = \grad \wedge F_{\mathrm{e}} = 0 \), these are equivalent to two independent gradient equations
\begin{equation}\label{eqn:fsquared:1810}
\begin{aligned}
\grad F_{\mathrm{e}} &= J \\
\grad F_{\mathrm{m}} &= M,
\end{aligned}
\end{equation}
one for each of the electric and magnetic sources and their associated fields.

Should we wish to recover these two equations from a Lagrangian, we form a multivector Lagrangian that uses two independent four-vector fields
\begin{equation}\label{eqn:fsquared:1820}
\LL = \inv{2} \lr{ \grad \wedge A }^2 – A \cdot J + \alpha \lr{ \inv{2} \lr{ \grad \wedge K }^2 – K \cdot M },
\end{equation}
where \( \alpha \) is an arbitrary multivector constant. Variation of this Lagrangian provides two independent equations
\begin{equation}\label{eqn:fsquared:1840}
\begin{aligned}
\grad \lr{ \grad \wedge A } &= J \\
\grad \lr{ \grad \wedge K } &= M.
\end{aligned}
\end{equation}
We may add these, scaling the second by \( -I \) (recall that \( I, \grad \) anticommute), to find
\begin{equation}\label{eqn:fsquared:1860}
\grad \lr{ F_{\mathrm{e}} + I F_{\mathrm{m}} } = J – I M,
\end{equation}
which is \( \grad F = J – I M \), as desired. This resolves the eq \ref{eqn:fsquared:1720} conundrum, but the cost is that we essentially have an independent Lagrangian for each of the electric and magnetic sources. I think that is the cost of correctness. Perhaps there is an alternative Lagrangian for the electric+magnetic case that yields all of Maxwell’s equation in one shot. My attempts to formulate one in terms of the total field \( F = F_{\mathrm{e}} + I F_{\mathrm{m}} \) have not been successful.

On the positive side, for non-fictitious electric sources, the case that we care about in physics, we still have the pleasantry of being able to use a simple multivector (coordinate-free) Lagrangian, and vary that in a coordinate free fashion to find Maxwell’s equation. This has an aesthetic quality that is arguably superior to the usual procedure of using the Euler-Lagrange equations and lots of index gymnastics to find the tensor form of Maxwell’s equation (i.e. the vector part of Maxwell’s) and applying the Bianchi identity to fill in the pieces (i.e. the trivector component of Maxwell’s.)