## Maxwell’s equation Lagrangian (geometric algebra and tensor formalism)

Maxwell’s equation using geometric algebra Lagrangian.

## Motivation.

In my classical mechanics notes, I’ve got computations of Maxwell’s equation (singular in it’s geometric algebra form) from a Lagrangian in various ways (using a tensor, scalar and multivector Lagrangians), but all of these seem more convoluted than they should be.
Here we do this from scratch, starting with the action principle for field variables, covering:

• Derivation of the relativistic form of the Euler-Lagrange field equations from the covariant form of the action,
• Derivation of Maxwell’s equation (in it’s STA form) from the Maxwell Lagrangian,
• Relationship of the STA Maxwell Lagrangian to the tensor equivalent,
• Relationship of the STA form of Maxwell’s equation to it’s tensor equivalents,
• Relationship of the STA Maxwell’s equation to it’s conventional Gibbs form.
• Show that we may use a multivector valued Lagrangian with all of $$F^2$$, not just the scalar part.

It is assumed that the reader is thoroughly familiar with the STA formalism, and if that is not the case, there is no better reference than [1].

## Theorem 1.1: Relativistic Euler-Lagrange field equations.

Let $$\phi \rightarrow \phi + \delta \phi$$ be any variation of the field, such that the variation
$$\delta \phi = 0$$ vanishes at the boundaries of the action integral
\label{eqn:maxwells:2120}
S = \int d^4 x \LL(\phi, \partial_\nu \phi).

The extreme value of the action is found when the Euler-Lagrange equations
\label{eqn:maxwells:2140}
0 = \PD{\phi}{\LL} – \partial_\nu \PD{(\partial_\nu \phi)}{\LL},

are satisfied. For a Lagrangian with multiple field variables, there will be one such equation for each field.

### Start proof:

To ease the visual burden, designate the variation of the field by $$\delta \phi = \epsilon$$, and perform a first order expansion of the varied Lagrangian
\label{eqn:maxwells:20}
\begin{aligned}
\LL
&\rightarrow
\LL(\phi + \epsilon, \partial_\nu (\phi + \epsilon)) \\
&=
\LL(\phi, \partial_\nu \phi)
+
\PD{\phi}{\LL} \epsilon +
\PD{(\partial_\nu \phi)}{\LL} \partial_\nu \epsilon.
\end{aligned}

The variation of the Lagrangian is
\label{eqn:maxwells:40}
\begin{aligned}
\delta \LL
&=
\PD{\phi}{\LL} \epsilon +
\PD{(\partial_\nu \phi)}{\LL} \partial_\nu \epsilon \\
&=
\PD{\phi}{\LL} \epsilon +
\partial_\nu \lr{ \PD{(\partial_\nu \phi)}{\LL} \epsilon }

\epsilon \partial_\nu \PD{(\partial_\nu \phi)}{\LL},
\end{aligned}

which we may plug into the action integral to find
\label{eqn:maxwells:60}
\delta S
=
\int d^4 x \epsilon \lr{
\PD{\phi}{\LL}

\partial_\nu \PD{(\partial_\nu \phi)}{\LL}
}
+
\int d^4 x
\partial_\nu \lr{ \PD{(\partial_\nu \phi)}{\LL} \epsilon }.

The last integral can be evaluated along the $$dx^\nu$$ direction, leaving
\label{eqn:maxwells:80}
\int d^3 x
\evalbar{ \PD{(\partial_\nu \phi)}{\LL} \epsilon }{\Delta x^\nu},

where $$d^3 x = dx^\alpha dx^\beta dx^\gamma$$ is the product of differentials that does not include $$dx^\nu$$. By construction, $$\epsilon$$ vanishes on the boundary of the action integral so \ref{eqn:maxwells:80} is zero. The action takes its extreme value when
\label{eqn:maxwells:100}
0 = \delta S
=
\int d^4 x \epsilon \lr{
\PD{\phi}{\LL}

\partial_\nu \PD{(\partial_\nu \phi)}{\LL}
}.

The proof is complete after noting that this must hold for all variations of the field $$\epsilon$$, which means that we must have
\label{eqn:maxwells:120}
0 =
\PD{\phi}{\LL}

\partial_\nu \PD{(\partial_\nu \phi)}{\LL}.

### End proof.

Armed with the Euler-Lagrange equations, we can apply them to the Maxwell’s equation Lagrangian, which we will claim has the following form.

## Theorem 1.2: Maxwell’s equation Lagrangian.

Application of the Euler-Lagrange equations to the Lagrangian
\label{eqn:maxwells:2160}
\LL = – \frac{\epsilon_0 c}{2} F \cdot F + J \cdot A,

where $$F = \grad \wedge A$$, yields the vector portion of Maxwell’s equation
\label{eqn:maxwells:2180}
\grad \cdot F = \inv{\epsilon_0 c} J,

which implies
\label{eqn:maxwells:2200}
\grad F = \inv{\epsilon_0 c} J.

This is Maxwell’s equation.

### Start proof:

We wish to apply all of the Euler-Lagrange equations simultaneously (i.e. once for each of the four $$A_\mu$$ components of the potential), and cast it into four-vector form
\label{eqn:maxwells:140}
0 = \gamma_\nu \lr{ \PD{A_\nu}{} – \partial_\mu \PD{(\partial_\mu A_\nu)}{} } \LL.

Since our Lagrangian splits nicely into kinetic and interaction terms, this gives us
\label{eqn:maxwells:160}
0 = \gamma_\nu \lr{ \PD{A_\nu}{(A \cdot J)} + \frac{\epsilon_0 c}{2} \partial_\mu \PD{(\partial_\mu A_\nu)}{ (F \cdot F)} }.

The interaction term above is just
\label{eqn:maxwells:180}
\gamma_\nu \PD{A_\nu}{(A \cdot J)}
=
\gamma_\nu \PD{A_\nu}{(A_\mu J^\mu)}
=
\gamma_\nu J^\nu
=
J,

but the kinetic term takes a bit more work. Let’s start with evaluating
\label{eqn:maxwells:200}
\begin{aligned}
\PD{(\partial_\mu A_\nu)}{ (F \cdot F)}
&=
\PD{(\partial_\mu A_\nu)}{ F } \cdot F
+
F \cdot \PD{(\partial_\mu A_\nu)}{ F } \\
&=
2 \PD{(\partial_\mu A_\nu)}{ F } \cdot F \\
&=
2 \PD{(\partial_\mu A_\nu)}{ (\partial_\alpha A_\beta) } \lr{ \gamma^\alpha \wedge \gamma^\beta } \cdot F \\
&=
2 \lr{ \gamma^\mu \wedge \gamma^\nu } \cdot F.
\end{aligned}

We hit this with the $$\mu$$-partial and expand as a scalar selection to find
\label{eqn:maxwells:220}
\begin{aligned}
\partial_\mu \PD{(\partial_\mu A_\nu)}{ (F \cdot F)}
&=
2 \lr{ \partial_\mu \gamma^\mu \wedge \gamma^\nu } \cdot F \\
&=
– 2 (\gamma^\nu \wedge \grad) \cdot F \\
&=
&=
&=
– 2 \gamma^\nu \cdot \lr{ \grad \cdot F }.
\end{aligned}

Putting all the pieces together yields
\label{eqn:maxwells:240}
0
= J – \epsilon_0 c \gamma_\nu \lr{ \gamma^\nu \cdot \lr{ \grad \cdot F } }
= J – \epsilon_0 c \lr{ \grad \cdot F },

but
\label{eqn:maxwells:260}
\begin{aligned}
&=
&=
&=
\end{aligned}

so the multivector field equations for this Lagrangian are
\label{eqn:maxwells:280}
\grad F = \inv{\epsilon_0 c} J,

as claimed.

## Problem: Correspondence with tensor formalism.

Cast the Lagrangian of \ref{eqn:maxwells:2160} into the conventional tensor form
\label{eqn:maxwells:300}
\LL = \frac{\epsilon_0 c}{4} F_{\mu\nu} F^{\mu\nu} + A^\mu J_\mu.

Also show that the four-vector component of Maxwell’s equation $$\grad \cdot F = J/(\epsilon_0 c)$$ is equivalent to the conventional tensor form of the Gauss-Ampere law
\label{eqn:maxwells:320}
\partial_\mu F^{\mu\nu} = \inv{\epsilon_0 c} J^\nu,

where $$F^{\mu\nu} = \partial^\mu A^\nu – \partial^\nu A^\mu$$ as usual. Also show that the trivector component of Maxwell’s equation $$\grad \wedge F = 0$$ is equivalent to the tensor form of the Gauss-Faraday law
\label{eqn:maxwells:340}
\partial_\alpha \lr{ \epsilon^{\alpha \beta \mu \nu} F_{\mu\nu} } = 0.

To show the Lagrangian correspondence we must expand $$F \cdot F$$ in coordinates
\label{eqn:maxwells:360}
\begin{aligned}
F \cdot F
&=
( \grad \wedge A ) \cdot
( \grad \wedge A ) \\
&=
\lr{ (\gamma^\mu \partial_\mu) \wedge (\gamma^\nu A_\nu) }
\cdot
\lr{ (\gamma^\alpha \partial_\alpha) \wedge (\gamma^\beta A_\beta) } \\
&=
\lr{ \gamma^\mu \wedge \gamma^\nu } \cdot \lr{ \gamma_\alpha \wedge \gamma_\beta }
(\partial_\mu A_\nu )
(\partial^\alpha A^\beta ) \\
&=
\lr{
{\delta^\mu}_\beta
{\delta^\nu}_\alpha

{\delta^\mu}_\alpha
{\delta^\nu}_\beta
}
(\partial_\mu A_\nu )
(\partial^\alpha A^\beta ) \\
&=
– \partial_\mu A_\nu \lr{
\partial^\mu A^\nu

\partial^\nu A^\mu
} \\
&=
– \partial_\mu A_\nu F^{\mu\nu} \\
&=
– \inv{2} \lr{
\partial_\mu A_\nu F^{\mu\nu}
+
\partial_\nu A_\mu F^{\nu\mu}
} \\
&=
– \inv{2} \lr{
\partial_\mu A_\nu

\partial_\nu A_\mu
}
F^{\mu\nu} \\
&=

\inv{2}
F_{\mu\nu}
F^{\mu\nu}.
\end{aligned}

With a substitution of this and $$A \cdot J = A_\mu J^\mu$$ back into the Lagrangian, we recover the tensor form of the Lagrangian.

To recover the tensor form of Maxwell’s equation, we first split it into vector and trivector parts
\label{eqn:maxwells:1580}

Now the vector component may be expanded in coordinates by dotting both sides with $$\gamma^\nu$$ to find
\label{eqn:maxwells:1600}
\inv{\epsilon_0 c} \gamma^\nu \cdot J = J^\nu,

and
\label{eqn:maxwells:1620}
\begin{aligned}
\gamma^\nu \cdot
&=
\partial_\mu \gamma^\nu \cdot \lr{ \gamma^\mu \cdot \lr{ \gamma_\alpha \wedge \gamma_\beta } \partial^\alpha A^\beta } \\
&=
\lr{
{\delta^\mu}_\alpha
{\delta^\nu}_\beta

{\delta^\nu}_\alpha
{\delta^\mu}_\beta
}
\partial_\mu
\partial^\alpha A^\beta \\
&=
\partial_\mu
\lr{
\partial^\mu A^\nu

\partial^\nu A^\mu
} \\
&=
\partial_\mu F^{\mu\nu}.
\end{aligned}

Equating \ref{eqn:maxwells:1600} and \ref{eqn:maxwells:1620} finishes the first part of the job. For the trivector component, we have
\label{eqn:maxwells:1640}
0
= (\gamma^\mu \partial_\mu) \wedge \lr{ \gamma^\alpha \wedge \gamma^\beta } \partial_\alpha A_\beta
= \inv{2} (\gamma^\mu \partial_\mu) \wedge \lr{ \gamma^\alpha \wedge \gamma^\beta } F_{\alpha \beta}.

Wedging with $$\gamma^\tau$$ and then multiplying by $$-2 I$$ we find
\label{eqn:maxwells:1660}
0 = – \lr{ \gamma^\mu \wedge \gamma^\alpha \wedge \gamma^\beta \wedge \gamma^\tau } I \partial_\mu F_{\alpha \beta},

but
\label{eqn:maxwells:1680}
\gamma^\mu \wedge \gamma^\alpha \wedge \gamma^\beta \wedge \gamma^\tau = -I \epsilon^{\mu \alpha \beta \tau},

which leaves us with
\label{eqn:maxwells:1700}
\epsilon^{\mu \alpha \beta \tau} \partial_\mu F_{\alpha \beta} = 0,

as expected.

## Problem: Correspondence of tensor and Gibbs forms of Maxwell’s equations.

Given the identifications

\label{eqn:lorentzForceCovariant:1500}
F^{k0} = E^k,

and
\label{eqn:lorentzForceCovariant:1520}
F^{rs} = -\epsilon^{rst} B^t,

and
\label{eqn:maxwells:1560}
J^\mu = \lr{ c \rho, \BJ },

the reader should satisfy themselves that the traditional Gibbs form of Maxwell’s equations can be recovered from \ref{eqn:maxwells:320}.

The reader is referred to Exercise 3.4 “Electrodynamics, variational principle.” from [2].

## Problem: Correspondence with grad and curl form of Maxwell’s equations.

With $$J = c \rho \gamma_0 + J^k \gamma_k$$ and $$F = \BE + I c \BB$$ show that Maxwell’s equation, as stated in \ref{eqn:maxwells:2200} expand to the conventional div and curl expressions for Maxwell’s equations.

To obtain Maxwell’s equations in their traditional vector forms, we pre-multiply both sides with $$\gamma_0$$
\label{eqn:maxwells:1720}
\gamma_0 \grad F = \inv{\epsilon_0 c} \gamma_0 J,

and then select each grade separately. First observe that the RHS above has scalar and bivector components, as
\label{eqn:maxwells:1740}
\gamma_0 J
=
c \rho + J^k \gamma_0 \gamma_k.

In terms of the spatial bivector basis $$\Be_k = \gamma_k \gamma_0$$, the RHS of \ref{eqn:maxwells:1720} is
\label{eqn:maxwells:1760}
\gamma_0 \frac{J}{\epsilon_0 c} = \frac{\rho}{\epsilon_0} – \mu_0 c \BJ.

For the LHS, first note that
\label{eqn:maxwells:1780}
\begin{aligned}
&=
\gamma_0
\lr{
\gamma_0 \partial^0 +
\gamma_k \partial^k
} \\
&=
\partial_0 – \gamma_0 \gamma_k \partial_k \\
&=
\end{aligned}

We can express all the the LHS of \ref{eqn:maxwells:1720} in the bivector spatial basis, so that Maxwell’s equation in multivector form is
\label{eqn:maxwells:1800}
\lr{ \inv{c} \PD{t}{} + \spacegrad } \lr{ \BE + I c \BB } = \frac{\rho}{\epsilon_0} – \mu_0 c \BJ.

Selecting the scalar, vector, bivector, and trivector grades of both sides (in the spatial basis) gives the following set of respective equations
\label{eqn:maxwells:1840}

\label{eqn:maxwells:1860}
\inv{c} \partial_t \BE + I c \spacegrad \wedge \BB = – \mu_0 c \BJ

\label{eqn:maxwells:1880}
\spacegrad \wedge \BE + I \partial_t \BB = 0

\label{eqn:maxwells:1900}
I c \spacegrad \cdot B = 0,

which we can rewrite after some duality transformations (and noting that $$\mu_0 \epsilon_0 c^2 = 1$$), we have
\label{eqn:maxwells:1940}

\label{eqn:maxwells:1960}
\spacegrad \cross \BB – \mu_0 \epsilon_0 \PD{t}{\BE} = \mu_0 \BJ

\label{eqn:maxwells:1980}
\spacegrad \cross \BE + \PD{t}{\BB} = 0

\label{eqn:maxwells:2000}

which are Maxwell’s equations in their traditional form.

## Problem: Alternative multivector Lagrangian.

Show that a scalar+pseudoscalar Lagrangian of the following form
\label{eqn:maxwells:2220}
\LL = – \frac{\epsilon_0 c}{2} F^2 + J \cdot A,

which omits the scalar selection of the Lagrangian in \ref{eqn:maxwells:2160}, also represents Maxwell’s equation. Discuss the scalar and pseudoscalar components of $$F^2$$, and show why the pseudoscalar inclusion is irrelevant.

The quantity $$F^2 = F \cdot F + F \wedge F$$ has both scalar and pseudoscalar
components. Note that unlike vectors, a bivector wedge in 4D with itself need not be zero (example: $$\gamma_0 \gamma_1 + \gamma_2 \gamma_3$$ wedged with itself).
We can see this multivector nature nicely by expansion in terms of the electric and magnetic fields
\label{eqn:maxwells:2020}
\begin{aligned}
F^2
&= \lr{ \BE + I c \BB }^2 \\
&= \BE^2 – c^2 \BB^2 + I c \lr{ \BE \BB + \BB \BE } \\
&= \BE^2 – c^2 \BB^2 + 2 I c \BE \cdot \BB.
\end{aligned}

Both the scalar and pseudoscalar parts of $$F^2$$ are Lorentz invariant, a requirement of our Lagrangian, but most Maxwell equation Lagrangians only include the scalar $$\BE^2 – c^2 \BB^2$$ component of the field square. If we allow the Lagrangian to be multivector valued, and evaluate the Euler-Lagrange equations, we quickly find the same results
\label{eqn:maxwells:2040}
\begin{aligned}
0
&= \gamma_\nu \lr{ \PD{A_\nu}{} – \partial_\mu \PD{(\partial_\mu A_\nu)}{} } \LL \\
&= \gamma_\nu \lr{ J^\nu + \frac{\epsilon_0 c}{2} \partial_\mu
\lr{
(\gamma^\mu \wedge \gamma^\nu) F
+
F (\gamma^\mu \wedge \gamma^\nu)
}
}.
\end{aligned}

Here some steps are skipped, building on our previous scalar Euler-Lagrange evaluation experience. We have a symmetric product of two bivectors, which we can express as a 0,4 grade selection, since
\label{eqn:maxwells:2060}
\gpgrade{ X F }{0,4} = \inv{2} \lr{ X F + F X },

for any two bivectors $$X, F$$. This leaves
\label{eqn:maxwells:2080}
\begin{aligned}
0
&= J + \epsilon_0 c \gamma_\nu \gpgrade{ (\grad \wedge \gamma^\nu) F }{0,4} \\
&= J + \epsilon_0 c \gamma_\nu \gpgrade{ -\gamma^\nu \grad F + (\gamma^\nu \cdot \grad) F }{0,4} \\
&= J + \epsilon_0 c \gamma_\nu \gpgrade{ -\gamma^\nu \grad F }{0,4} \\
&= J – \epsilon_0 c \gamma_\nu
\lr{
\gamma^\nu \cdot \lr{ \grad \cdot F } + \gamma^\nu \wedge \grad \wedge F
}.
\end{aligned}

However, since $$\grad \wedge F = \grad \wedge \grad \wedge A = 0$$, we see that there is no contribution from the $$F \wedge F$$ pseudoscalar component of the Lagrangian, and we are left with
\label{eqn:maxwells:2100}
\begin{aligned}
0
&= J – \epsilon_0 c (\grad \cdot F) \\
&= J – \epsilon_0 c \grad F,
\end{aligned}

which is Maxwell’s equation, as before.

# References

[1] C. Doran and A.N. Lasenby. Geometric algebra for physicists. Cambridge University Press New York, Cambridge, UK, 1st edition, 2003.

[2] Peeter Joot. Quantum field theory. Kindle Direct Publishing, 2018.

## Motivation.

In my old classical mechanics notes it appears that I did covariant derivations of the Lorentz force equations a number of times, using different trial Lagrangians (relativistic and non-relativistic), and using both geometric algebra and tensor methods. However, none of these appear to have been done concisely, and a number not even coherently.

The following document has been drafted as replacement text for those incoherent classical mechanics notes. I’ll attempt to cover

• a lighting review of the geometric algebra STA (Space Time Algebra),
• relations between Dirac matrix algebra and STA,
• derivation of the relativistic form of the Euler-Lagrange equations from the covariant form of the action,
• relationship of the STA form of the Euler-Lagrange equations to their tensor equivalents,
• derivation of the Lorentz force equation from the STA Lorentz force Lagrangian,
• relationship of the STA Lorentz force equation to its equivalent in the tensor formalism,
• relationship of the STA Lorentz force equation to the traditional vector form.

Note that some of the prerequisite ideas and auxiliary details are presented as problems with solutions. If the reader has sufficient background to attempt those problems themselves, they are encouraged to do so.

The STA and geometric algebra ideas used here are not complete to learn from in isolation. The reader is referred to [1] for a more complete exposition of both STA and geometric algebra.

## Definition 1.1: Index conventions.

Latin indexes $$i, j, k, r, s, t, \cdots$$ are used to designate values in the range $$\setlr{ 1,2,3 }$$. Greek indexes are $$\alpha, \beta, \mu, \nu, \cdots$$ are used for indexes of spacetime quantities $$\setlr{0,1,2,3}$$.
The Einstein convention of implied summation for mixed upper and lower Greek indexes will be used, for example
\begin{equation*}
x^\alpha x_\alpha \equiv \sum_{\alpha = 0}^3 x^\alpha x_\alpha.
\end{equation*}

## Space Time Algebra (STA.)

In the geometric algebra literature, the Dirac algebra of quantum field theory has been rebranded Space Time Algebra (STA). The differences between STA and the Dirac theory that uses matrices ($$\gamma_\mu$$) are as follows

• STA completely omits any representation of the Dirac basis vectors $$\gamma_\mu$$. In particular, any possible matrix representation is irrelevant.
• STA provides a rich set of fundamental operations (grade selection, generalized dot and wedge products for multivector elements, rotation and reflection operations, …)
• Matrix trace, and commutator and anticommutator operations are nowhere to be found in STA, as geometrically grounded equivalents are available instead.
• The “slashed” quantities from Dirac theory, such as $$\gamma_\mu p^\mu$$ are nothing more than vectors in their entirety in STA (where the basis is no longer implicit, as is the case for coordinates.)

Our basis vectors have the following properties.

## Definition 1.2: Standard basis.

Let the four-vector standard basis be designated $$\setlr{\gamma_0, \gamma_1, \gamma_2, \gamma_3 }$$, where the basis vectors satisfy
\label{eqn:lorentzForceCovariant:1540}
\begin{aligned}
\gamma_0^2 &= -\gamma_i^2 = 1 \\
\gamma_\alpha \cdot \gamma_\beta &= 0, \forall \alpha \ne \beta.
\end{aligned}

## Problem: Commutator properties of the STA basis.

In Dirac theory, the commutator properties of the Dirac matrices is considered fundamental, namely
\begin{equation*}
\symmetric{\gamma_\mu}{\gamma_\nu} = 2 \eta_{\mu\nu}.
\end{equation*}

Show that this follows from the axiomatic assumptions of geometric algebra, and describe how the dot and wedge products are related to the anticommutator and commutator products of Dirac theory.

The anticommutator is defined as symmetric sum of products
\label{eqn:lorentzForceCovariant:1040}
\symmetric{\gamma_\mu}{\gamma_\nu}
\equiv
\gamma_\mu \gamma_\nu
+
\gamma_\nu \gamma_\mu,

but this is just twice the dot product in its geometric algebra form $$a b = (a b + ba)/2$$. Observe that the properties of the basis vectors defined in \ref{eqn:lorentzForceCovariant:1540} may be summarized as
\label{eqn:lorentzForceCovariant:1060}
\gamma_\mu \cdot \gamma_\nu = \eta_{\mu\nu},

where $$\eta_{\mu\nu} = \text{diag}(+,-,-,-) = \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \\ \end{bmatrix}$$ is the conventional metric tensor. This means
\label{eqn:lorentzForceCovariant:1080}
\gamma_\mu \cdot \gamma_\nu = \eta_{\mu\nu} = 2 \symmetric{\gamma_\mu}{\gamma_\nu},

as claimed.

Similarly, observe that the commutator, defined as the antisymmetric sum of products
\label{eqn:lorentzForceCovariant:1100}
\antisymmetric{\gamma_\mu}{\gamma_\nu} \equiv
\gamma_\mu \gamma_\nu

\gamma_\nu \gamma_\mu,

is twice the wedge product $$a \wedge b = (a b – b a)/2$$. This provides geometric identifications for the respective anti-commutator and commutator products respectively
\label{eqn:lorentzForceCovariant:1120}
\begin{aligned}
\symmetric{\gamma_\mu}{\gamma_\nu} &= 2 \gamma_\mu \cdot \gamma_\nu \\
\antisymmetric{\gamma_\mu}{\gamma_\nu} &= 2 \gamma_\mu \wedge \gamma_\nu,
\end{aligned}

## Definition 1.3: Pseudoscalar.

The pseudoscalar for the space is denoted $$I = \gamma_0 \gamma_1 \gamma_2 \gamma_3$$.

## Problem: Pseudoscalar.

Show that the STA pseudoscalar $$I$$ defined by \ref{eqn:lorentzForceCovariant:1540} satisfies
\begin{equation*}
\tilde{I} = I,
\end{equation*}
where the tilde operator designates reversion. Also show that $$I$$ has the properties of an imaginary number
\begin{equation*}
I^2 = -1.
\end{equation*}
Finally, show that, unlike the spatial pseudoscalar that commutes with all grades, $$I$$ anticommutes with any vector or trivector, and commutes with any bivector.

Since $$\gamma_\alpha \gamma_\beta = -\gamma_\beta \gamma_\alpha$$ for any $$\alpha \ne \beta$$, any permutation of the factors of $$I$$ changes the sign once. In particular
\label{eqn:lorentzForceCovariant:680}
\begin{aligned}
I &=
\gamma_0
\gamma_1
\gamma_2
\gamma_3 \\
&=

\gamma_1
\gamma_2
\gamma_3
\gamma_0 \\
&=

\gamma_2
\gamma_3
\gamma_1
\gamma_0 \\
&=
+
\gamma_3
\gamma_2
\gamma_1
\gamma_0
= \tilde{I}.
\end{aligned}

Using this, we have
\label{eqn:lorentzForceCovariant:700}
\begin{aligned}
I^2
&= I \tilde{I} \\
&=
(
\gamma_0
\gamma_1
\gamma_2
\gamma_3
)(
\gamma_3
\gamma_2
\gamma_1
\gamma_0
) \\
&=
\lr{\gamma_0}^2
\lr{\gamma_1}^2
\lr{\gamma_2}^2
\lr{\gamma_3}^2 \\
&=
(+1)
(-1)
(-1)
(-1) \\
&= -1.
\end{aligned}

To illustrate the anticommutation property with any vector basis element, consider the following two examples:
\label{eqn:lorentzForceCovariant:720}
\begin{aligned}
I \gamma_0 &=
\gamma_0
\gamma_1
\gamma_2
\gamma_3
\gamma_0 \\
&=

\gamma_0
\gamma_0
\gamma_1
\gamma_2
\gamma_3 \\
&=

\gamma_0 I,
\end{aligned}

\label{eqn:lorentzForceCovariant:740}
\begin{aligned}
I \gamma_2
&=
\gamma_0
\gamma_1
\gamma_2
\gamma_3
\gamma_2 \\
&=

\gamma_0
\gamma_1
\gamma_2
\gamma_2
\gamma_3 \\
&=

\gamma_2
\gamma_0
\gamma_1
\gamma_2
\gamma_3 \\
&= -\gamma_2 I.
\end{aligned}

A total of three sign swaps is required to “percolate” any given $$\gamma_\alpha$$ through the factors of $$I$$, resulting in an overall sign change of $$-1$$.

For any bivector basis element $$\alpha \ne \beta$$
\label{eqn:lorentzForceCovariant:760}
\begin{aligned}
I \gamma_\alpha \gamma_\beta
&=
-\gamma_\alpha I \gamma_\beta \\
&=
+\gamma_\alpha \gamma_\beta I.
\end{aligned}

Similarly for any trivector basis element $$\alpha \ne \beta \ne \sigma$$
\label{eqn:lorentzForceCovariant:780}
\begin{aligned}
I \gamma_\alpha \gamma_\beta \gamma_\sigma
&=
-\gamma_\alpha I \gamma_\beta \gamma_\sigma \\
&=
+\gamma_\alpha \gamma_\beta I \gamma_\sigma \\
&=
-\gamma_\alpha \gamma_\beta \gamma_\sigma I.
\end{aligned}

## Definition 1.4: Reciprocal basis.

The reciprocal basis $$\setlr{ \gamma^0, \gamma^1, \gamma^2, \gamma^3 }$$ is defined , such that the property $$\gamma^\alpha \cdot \gamma_\beta = {\delta^\alpha}_\beta$$ holds.

Observe that, $$\gamma^0 = \gamma_0$$ and $$\gamma^i = -\gamma_i$$.

## Theorem 1.1: Coordinates.

Coordinates are defined in terms of dot products with the standard basis, or reciprocal basis
\begin{equation*}
\begin{aligned}
x^\alpha &= x \cdot \gamma^\alpha \\
x_\alpha &= x \cdot \gamma_\alpha,
\end{aligned}
\end{equation*}

### Start proof:

Suppose that a coordinate representation of the following form is assumed
\label{eqn:lorentzForceCovariant:820}
x = x^\alpha \gamma_\alpha = x_\beta \gamma^\beta.

We wish to determine the representation of the $$x^\alpha$$ or $$x_\beta$$ coordinates in terms of $$x$$ and the basis elements. Taking the dot product with any standard basis element, we find
\label{eqn:lorentzForceCovariant:840}
\begin{aligned}
x \cdot \gamma_\mu
&= (x_\beta \gamma^\beta) \cdot \gamma_\mu \\
&= x_\beta {\delta^\beta}_\mu \\
&= x_\mu,
\end{aligned}

as claimed. Similarly, dotting with a reciprocal frame vector, we find
\label{eqn:lorentzForceCovariant:860}
\begin{aligned}
x \cdot \gamma^\mu
&= (x^\beta \gamma_\beta) \cdot \gamma^\mu \\
&= x^\beta {\delta_\beta}^\mu \\
&= x^\mu.
\end{aligned}

### End proof.

Observe that raising or lowering the index of a spatial index toggles the sign of a coordinate, but timelike indexes are left unchanged.
\label{eqn:lorentzForceCovariant:880}
\begin{aligned}
x^0 &= x_0 \\
x^i &= -x_i \\
\end{aligned}

\begin{equation*}
\grad = \gamma^\mu \partial_\mu = \gamma_\nu \partial^\nu,
\end{equation*}
where
\begin{equation*}
\partial_\mu = \PD{x^\mu}{},
\end{equation*}
and
\begin{equation*}
\partial^\mu = \PD{x_\mu}{}.
\end{equation*}

This definition of gradient is consistent with the Dirac gradient (sometimes denoted as a slashed $$\partial$$).

## Definition 1.6: Timelike and spacelike components of a four-vector.

Given a four vector $$x = \gamma_\mu x^\mu$$, that would be designated $$x^\mu = \setlr{ x^0, \Bx}$$ in conventional special relativity, we write
\begin{equation*}
x^0 = x \cdot \gamma_0,
\end{equation*}
and
\begin{equation*}
\Bx = x \wedge \gamma_0,
\end{equation*}
or
\begin{equation*}
x = (x^0 + \Bx) \gamma_0.
\end{equation*}

The spacetime split of a four-vector $$x$$ is relative to the frame. In the relativistic lingo, one would say that it is “observer dependent”, as the same operations with $${\gamma_0}’$$, the timelike basis vector for a different frame, would yield a different set of coordinates.

While the dot and wedge products above provide an effective mechanism to split a four vector into a set of timelike and spacelike quantities, the spatial component of a vector has a bivector representation in STA. Consider the following coordinate expansion of a spatial vector
\label{eqn:lorentzForceCovariant:1000}
\Bx =
x \wedge \gamma_0
=
\lr{ x^\mu \gamma_\mu } \wedge \gamma_0
=
\sum_{k = 1}^3 x^k \gamma_k \gamma_0.

## Definition 1.7: Spatial basis.

We designate
\label{eqn:lorentzForceCovariant:1560}
\Be_i = \gamma_i \gamma_0,

as the standard basis vectors for $$\mathbb{R}^3$$.

In the literature, this bivector representation of the spatial basis may be designated $$\sigma_i = \gamma_i \gamma_0$$, as these bivectors have the properties of the Pauli matrices $$\sigma_i$$. Because I intend to expand these notes to include purely non-relativistic applications, I won’t use the Pauli notation here.

## Problem: Orthonormality of the spatial basis.

Show that the spatial basis $$\setlr{ \Be_1, \Be_2, \Be_3 }$$, defined by \ref{eqn:lorentzForceCovariant:1560}, is orthonormal.

\label{eqn:lorentzForceCovariant:620}
\begin{aligned}
\Be_i \cdot \Be_j
&= \gpgradezero{ \gamma_i \gamma_0 \gamma_j \gamma_0 } \\
&= -\gpgradezero{ \gamma_i \gamma_j } \\
&= – \gamma_i \cdot \gamma_j.
\end{aligned}

This is zero for all $$i \ne j$$, and unity for any $$i = j$$.

## Problem: Spatial pseudoscalar.

Show that the STA pseudoscalar $$I = \gamma_0 \gamma_1 \gamma_2 \gamma_3$$ equals the spatial pseudoscalar $$I = \Be_1 \Be_2 \Be_3$$.

The spatial pseudoscalar, expanded in terms of the STA basis vectors, is
\label{eqn:lorentzForceCovariant:1020}
\begin{aligned}
I
&= \Be_1 \Be_2 \Be_3 \\
&= \lr{ \gamma_1 \gamma_0 }
\lr{ \gamma_2 \gamma_0 }
\lr{ \gamma_3 \gamma_0 } \\
&= \lr{ \gamma_1 \gamma_0 } \gamma_2 \lr{ \gamma_0 \gamma_3 } \gamma_0 \\
&= \lr{ -\gamma_0 \gamma_1 } \gamma_2 \lr{ -\gamma_3 \gamma_0 } \gamma_0 \\
&= \gamma_0 \gamma_1 \gamma_2 \gamma_3 \lr{ \gamma_0 \gamma_0 } \\
&= \gamma_0 \gamma_1 \gamma_2 \gamma_3,
\end{aligned}

as claimed.

## Problem: Characteristics of the Pauli matrices.

The Pauli matrices obey the following anticommutation relations:
\label{eqn:lorentzForceCovariant:660}
\symmetric{ \sigma_a}{\sigma_b } = 2 \delta_{a b},

and commutation relations:
\label{eqn:lorentzForceCovariant:640}
\antisymmetric{ \sigma_a}{ \sigma_b } = 2 i \epsilon_{a b c}\,\sigma_c,

Show how these relate to the geometric algebra dot and wedge products, and determine the geometric algebra representation of the imaginary $$i$$ above.

## Euler-Lagrange equations.

I’ll start at ground zero, with the derivation of the relativistic form of the Euler-Lagrange equations from the action. A relativistic action for a single particle system has the form
\label{eqn:lorentzForceCovariant:20}
S = \int d\tau L(x, \dot{x}),

where $$x$$ is the spacetime coordinate, $$\dot{x} = dx/d\tau$$ is the four-velocity, and $$\tau$$ is proper time.

## Theorem 1.2: Relativistic Euler-Lagrange equations.

Let $$x \rightarrow x + \delta x$$ be any variation of the Lagrangian four-vector coordinates, where $$\delta x = 0$$ at the boundaries of the action integral. The variation of the action is
\label{eqn:lorentzForceCovariant:1580}
\delta S = \int d\tau \delta x \cdot \delta L(x, \dot{x}),

where
\label{eqn:lorentzForceCovariant:1600}

where $$\grad = \gamma^\mu \partial_\mu$$, and where we construct a similar velocity-gradient with respect to the proper-time derivatives of the coordinates $$\grad_v = \gamma^\mu \partial/\partial \dot{x}^\mu$$.The action is extremized when $$\delta S = 0$$, or when $$\delta L = 0$$. This latter condition is called the Euler-Lagrange equations.

### Start proof:

Let $$\epsilon = \delta x$$, and expand the Lagrangian in Taylor series to first order
\label{eqn:lorentzForceCovariant:60}
\begin{aligned}
S &\rightarrow S + \delta S \\
&= \int d\tau L( x + \epsilon, \dot{x} + \dot{\epsilon})
&=
\int d\tau \lr{
L(x, \dot{x}) + \epsilon \cdot \grad L + \dot{\epsilon} \cdot \grad_v L
}.
\end{aligned}

Subtracting off $$S$$ and integrating by parts, leaves
\label{eqn:lorentzForceCovariant:80}
\delta S =
\int d\tau \epsilon \cdot \lr{
}
+
\int d\tau \frac{d}{d\tau} (\grad_v L ) \cdot \epsilon.

The boundary integral
\label{eqn:lorentzForceCovariant:100}
\int d\tau \frac{d}{d\tau} (\grad_v L ) \cdot \epsilon
=
\evalbar{(\grad_v L ) \cdot \epsilon}{\Delta \tau} = 0,

is zero since the variation $$\epsilon$$ is required to vanish on the boundaries. So, if $$\delta S = 0$$, we must have
\label{eqn:lorentzForceCovariant:120}
0 =
\int d\tau \epsilon \cdot \lr{
},

for all variations $$\epsilon$$. Clearly, this requires that
\label{eqn:lorentzForceCovariant:140}

or
\label{eqn:lorentzForceCovariant:145}

which is the coordinate free statement of the Euler-Lagrange equations.

## Problem: Coordinate form of the Euler-Lagrange equations.

Working in coordinates, use the action argument show that the Euler-Lagrange equations have the form
\begin{equation*}
\PD{x^\mu}{L} = \frac{d}{d\tau} \PD{\dot{x}^\mu}{L}
\end{equation*}
Observe that this is identical to the statement of \ref{eqn:lorentzForceCovariant:1600} after contraction with $$\gamma^\mu$$.

In terms of coordinates, the first order Taylor expansion of the action is
\label{eqn:lorentzForceCovariant:180}
\begin{aligned}
S &\rightarrow S + \delta S \\
&= \int d\tau L( x^\alpha + \epsilon^\alpha, \dot{x}^\alpha + \dot{\epsilon}^\alpha) \\
&=
\int d\tau \lr{
L(x^\alpha, \dot{x}^\alpha) + \epsilon^\mu \PD{x^\mu}{L} + \dot{\epsilon}^\mu \PD{\dot{x}^\mu}{L}
}.
\end{aligned}

As before, we integrate by parts to separate out a pure boundary term
\label{eqn:lorentzForceCovariant:200}
\delta S =
\int d\tau \epsilon^\mu
\lr{
\PD{x^\mu}{L} – \frac{d}{d\tau} \PD{\dot{x}^\mu}{L}
}
+
\int d\tau \frac{d}{d\tau} \lr{
\epsilon^\mu \PD{\dot{x}^\mu}{L}
}.

The boundary term is killed since $$\epsilon^\mu = 0$$ at the end points of the action integral. We conclude that extremization of the action ($$\delta S = 0$$, for all $$\epsilon^\mu$$) requires
\label{eqn:lorentzForceCovariant:220}
\PD{x^\mu}{L} – \frac{d}{d\tau} \PD{\dot{x}^\mu}{L} = 0.

## Theorem 1.3: Lorentz force.

The relativistic Lagrangian for a charged particle is
\label{eqn:lorentzForceCovariant:1640}
L = \inv{2} m v^2 + q A \cdot v/c.

Application of the Euler-Lagrange equations to this Lagrangian yields the Lorentz-force equation
\label{eqn:lorentzForceCovariant:1660}
\frac{dp}{d\tau} = q F \cdot v/c,

where $$p = m v$$ is the proper momentum, $$F$$ is the Faraday bivector $$F = \grad \wedge A$$, and $$c$$ is the speed of light.

### Start proof:

To make life easier, let’s take advantage of the linearity of the Lagrangian, and break it into the free particle Lagrangian $$L_0 = (1/2) m v^2$$ and a potential term $$L_1 = q A \cdot v/c$$. For the free particle case we have
\label{eqn:lorentzForceCovariant:240}
\begin{aligned}
\delta L_0
&= – \frac{d}{d\tau} (m v) \\
&= – \frac{dp}{d\tau}.
\end{aligned}

For the potential contribution we have
\label{eqn:lorentzForceCovariant:260}
\begin{aligned}
\delta L_1
&= \frac{q}{c} \lr{ \grad (A \cdot v) – \frac{d}{d\tau} \lr{ \grad_v (A \cdot v)} } \\
&= \frac{q}{c} \lr{ \grad (A \cdot v) – \frac{dA}{d\tau} }.
\end{aligned}

The proper time derivative can be evaluated using the chain rule
\label{eqn:lorentzForceCovariant:280}
\frac{dA}{d\tau}
=
\frac{\partial x^\mu}{\partial \tau} \partial_\mu A

Putting all the pieces back together we have
\label{eqn:lorentzForceCovariant:300}
\begin{aligned}
0
&= \delta L \\
&=
-\frac{dp}{d\tau} + \frac{q}{c} \lr{ \grad (A \cdot v) – (v \cdot \grad) A } \\
&=
-\frac{dp}{d\tau} + \frac{q}{c} \lr{ \grad \wedge A } \cdot v.
\end{aligned}

## Problem: Gradient of a squared position vector.

Show that
\begin{equation*}
\grad (a \cdot x) = a,
\end{equation*}
and
\begin{equation*}
\end{equation*}
It should be clear that the same ideas can be used for the velocity gradient, where we obtain $$\grad_v (v^2) = 2 v$$, and $$\grad_v (A \cdot v) = A$$, as used in the derivation above.

The first identity follows easily by expansion in coordinates
\label{eqn:lorentzForceCovariant:320}
\begin{aligned}
&=
\gamma^\mu \partial_\mu a_\alpha x^\alpha \\
&=
\gamma^\mu a_\alpha \delta_\mu^\alpha \\
&=
\gamma^\mu a_\mu \\
&=
a.
\end{aligned}

The second identity follows by linearity of the gradient
\label{eqn:lorentzForceCovariant:340}
\begin{aligned}
&=
&=
\evalbar{\lr{\grad (x \cdot a)}}{a = x}
+
\evalbar{\lr{\grad (b \cdot x)}}{b = x} \\
&=
\evalbar{a}{a = x}
+
\evalbar{b}{b = x} \\
&=
2x.
\end{aligned}

It is desirable to put this relativistic Lorentz force equation into the usual vector and tensor forms for comparison.

## Theorem 1.4: Tensor form of the Lorentz force equation.

The tensor form of the Lorentz force equation is
\label{eqn:lorentzForceCovariant:1620}
\frac{dp^\mu}{d\tau} = \frac{q}{c} F^{\mu\nu} v_\nu,

where the antisymmetric Faraday tensor is defined as $$F^{\mu\nu} = \partial^\mu A^\nu – \partial^\nu A^\mu$$.

### Start proof:

We have only to dot both sides with $$\gamma^\mu$$. On the left we have
\label{eqn:lorentzForceCovariant:380}
\gamma^\mu \cdot \frac{dp}{d\tau}
=
\frac{dp^\mu}{d\tau}.

On the right, we have
\label{eqn:lorentzForceCovariant:400}
\begin{aligned}
\gamma^\mu \cdot \lr{ \frac{q}{c} F \cdot v }
&=
\frac{q}{c} (( \grad \wedge A ) \cdot v ) \cdot \gamma^\mu \\
&=
\frac{q}{c} ( \grad ( A \cdot v ) – (v \cdot \grad) A ) \cdot \gamma^\mu \\
&=
\frac{q}{c} \lr{ (\partial^\mu A^\nu) v_\nu – v_\nu \partial^\nu A^\mu } \\
&=
\frac{q}{c} F^{\mu\nu} v_\nu.
\end{aligned}

## Problem: Tensor expansion of $$F$$.

An alternate way to demonstrate \ref{eqn:lorentzForceCovariant:1620} is to first expand $$F = \grad \wedge A$$ in terms of coordinates, an expansion that can be expressed in terms of a second rank tensor antisymmetric tensor $$F^{\mu\nu}$$. Find that expansion, and re-evaluate the dot products of \ref{eqn:lorentzForceCovariant:400} using that.

\label{eqn:lorentzForceCovariant:900}
\begin{aligned}
F &=
&=
\lr{ \gamma_\mu \partial^\mu } \wedge \lr{ \gamma_\nu A^\nu } \\
&=
\lr{ \gamma_\mu \wedge \gamma_\nu } \partial^\mu A^\nu.
\end{aligned}

To this we can use the usual tensor trick (add self to self, change indexes, and divide by two), to give
\label{eqn:lorentzForceCovariant:920}
\begin{aligned}
F &=
\inv{2} \lr{
\lr{ \gamma_\mu \wedge \gamma_\nu } \partial^\mu A^\nu
+
\lr{ \gamma_\nu \wedge \gamma_\mu } \partial^\nu A^\mu
} \\
&=
\inv{2}
\lr{ \gamma_\mu \wedge \gamma_\nu } \lr{
\partial^\mu A^\nu

\partial^\nu A^\mu
},
\end{aligned}

which is just
\label{eqn:lorentzForceCovariant:940}
F =
\inv{2} \lr{ \gamma_\mu \wedge \gamma_\nu } F^{\mu\nu}.

Now, let’s expand $$(F \cdot v) \cdot \gamma^\mu$$ to compare to the earlier expansion in terms of $$\grad$$ and $$A$$.
\label{eqn:lorentzForceCovariant:960}
\begin{aligned}
(F \cdot v) \cdot \gamma^\mu
&=
\inv{2}
F^{\alpha\nu}
\lr{ \lr{ \gamma_\alpha \wedge \gamma_\nu } \cdot \lr{ \gamma^\beta v_\beta } } \cdot \gamma^\mu \\
&=
\inv{2}
F^{\alpha\nu} v_\beta
\lr{
{\delta_\nu}^\beta {\gamma_\alpha}^\mu

{\delta_\alpha}^\beta {\gamma_\nu}^\mu
} \\
&=
\inv{2}
\lr{
F^{\mu\beta} v_\beta

F^{\beta\mu} v_\beta
} \\
&=
F^{\mu\nu} v_\nu.
\end{aligned}

This alternate expansion illustrates some of the connectivity between the geometric algebra approach and the traditional tensor formalism.

## Problem: Lorentz force direct tensor derivation.

Instead of using the geometric algebra form of the Lorentz force equation as a stepping stone, we may derive the tensor form from the Lagrangian directly, provided the Lagrangian is put into tensor form
\begin{equation*}
L = \inv{2} m v^\mu v_\mu + q A^\mu v_\mu /c.
\end{equation*}
Evaluate the Euler-Lagrange equations in coordinate form and compare to \ref{eqn:lorentzForceCovariant:1620}.

Let $$\delta_\mu L = \gamma_\mu \cdot \delta L$$, so that we can write the Euler-Lagrange equations as
\label{eqn:lorentzForceCovariant:460}
0 = \delta_\mu L = \PD{x^\mu}{L} – \frac{d}{d\tau} \PD{\dot{x}^\mu}{L}.

Operating on the kinetic term of the Lagrangian, we have
\label{eqn:lorentzForceCovariant:480}
\delta_\mu L_0 = – \frac{d}{d\tau} m v_\mu.

For the potential term
\label{eqn:lorentzForceCovariant:500}
\begin{aligned}
\delta_\mu L_1
&=
\frac{q}{c} \lr{
v_\nu \PD{x^\mu}{A^\nu} – \frac{d}{d\tau} A_\mu
} \\
&=
\frac{q}{c} \lr{
v_\nu \PD{x^\mu}{A^\nu} – \frac{dx_\alpha}{d\tau} \PD{x_\alpha}{ A_\mu }
} \\
&=
\frac{q}{c} v^\nu \lr{
\partial_\mu A_\nu – \partial_\nu A_\mu
} \\
&=
\frac{q}{c} v^\nu F_{\mu\nu}.
\end{aligned}

Putting the pieces together gives
\label{eqn:lorentzForceCovariant:520}
\frac{d}{d\tau} (m v_\mu) = \frac{q}{c} v^\nu F_{\mu\nu},

which is identical\footnote{Some minor index raising and lowering gymnastics are required.} to the tensor form that we found by expanding the geometric algebra form of Maxwell’s equation in coordinates.

## Theorem 1.5: Vector Lorentz force equation.

Relative to a fixed observer’s frame, the Lorentz force equation of \ref{eqn:lorentzForceCovariant:1660} splits into a spatial rate of change of momentum, and (timelike component) rate of change of energy, as follows
\label{eqn:lorentzForceCovariant:1680}
\begin{aligned}
\ddt{(\gamma m \Bv)} &= q \lr{ \BE + \Bv \cross \BB } \\
\ddt{(\gamma m c^2)} &= q \Bv \cdot \BE,
\end{aligned}

where $$F = \BE + I c \BB$$, $$\gamma = 1/\sqrt{1 – \Bv^2/c^2 }$$.

### Start proof:

The first step is to eliminate the proper time dependencies in the Lorentz force equation. Consider first the coordinate representation of an arbitrary position four-vector $$x$$
\label{eqn:lorentzForceCovariant:1140}
x = c t \gamma_0 + x^k \gamma_k.

The corresponding four-vector velocity is
\label{eqn:lorentzForceCovariant:1160}
v = \ddtau{x} = c \ddtau{t} \gamma_0 + \ddtau{t} \ddt{x^k} \gamma_k.

By construction, $$v^2 = c^2$$ is a Lorentz invariant quantity (this is one of the relativistic postulates), so the LHS of \ref{eqn:lorentzForceCovariant:1160} must have the same square. That is
\label{eqn:lorentzForceCovariant:1240}
c^2 = \lr{ \ddtau{t} }^2 \lr{ c^2 – \Bv^2 },

where $$\Bv = v \wedge \gamma_0$$. This shows that we may make the identification
\label{eqn:lorentzForceCovariant:1260}
\gamma = \ddtau{t} = \inv{1 – \Bv^2/c^2 },

and
\label{eqn:lorentzForceCovariant:1280}
\ddtau{} = \ddtau{t} \ddt{} = \gamma \ddt{}.

We may now factor the four-velocity $$v$$ into its spacetime split
\label{eqn:lorentzForceCovariant:1300}
v = \gamma \lr{ c + \Bv } \gamma_0.

In particular the LHS of the Lorentz force equation can be rewritten as
\label{eqn:lorentzForceCovariant:1320}
\ddtau{p} = \gamma \ddt{}\lr{ \gamma \lr{ c + \Bv } } \gamma_0,

and the RHS of the Lorentz force equation can be rewritten as
\label{eqn:lorentzForceCovariant:1340}
\frac{q}{c} F \cdot v
=
\frac{\gamma q}{c} F \cdot \lr{ (c + \Bv) \gamma_0 }.

Equating timelike and spacelike components leaves us
\label{eqn:lorentzForceCovariant:1380}
\ddt{ (m \gamma c) } = \frac{q}{c} \lr{ F \cdot \lr{ (c + \Bv) \gamma_0 } } \cdot \gamma_0,

\label{eqn:lorentzForceCovariant:1400}
\ddt{ (m \gamma \Bv) } = \frac{q}{c} \lr{ F \cdot \lr{ (c + \Bv) \gamma_0 } } \wedge \gamma_0,

Evaluating these products requires some care, but is an essentially manual process. The reader is encouraged to do so once, but the end result may also be obtained easily using software (see lorentzForce.nb in [2]). One finds
\label{eqn:lorentzForceCovariant:1440}
F = \BE + I c \BB
=
E^1 \gamma_{10} +
+ E^2 \gamma_{20} +
+ E^3 \gamma_{30} +
– c B^1 \gamma_{23} +
– c B^2 \gamma_{31} +
– c B^3 \gamma_{12},

\label{eqn:lorentzForceCovariant:1460}
\frac{q}{c} \lr{ F \cdot \lr{ (c + \Bv) \gamma_0 } } \cdot \gamma_0
= \frac{q}{c} \BE \cdot \Bv,

\label{eqn:lorentzForceCovariant:1480}
\frac{q}{c} \lr{ F \cdot \lr{ (c + \Bv) \gamma_0 } } \wedge \gamma_0
= q \lr{ \BE + \Bv \cross \BB }.

## Problem: Algebraic spacetime split of the Lorentz force equation.

Derive the results of \ref{eqn:lorentzForceCovariant:1440} through \ref{eqn:lorentzForceCovariant:1480} algebraically.

## Problem: Spacetime split of the Lorentz force tensor equation.

Show that \ref{eqn:lorentzForceCovariant:1680} also follows from the tensor form of the Lorentz force equation (\ref{eqn:lorentzForceCovariant:1620}) provided we identify
\label{eqn:lorentzForceCovariant:1500}
F^{k0} = E^k,

and
\label{eqn:lorentzForceCovariant:1520}
F^{rs} = -\epsilon^{rst} B^t.

Also verify that the identifications of \ref{eqn:lorentzForceCovariant:1500} and \ref{eqn:lorentzForceCovariant:1520} is consistent with the geometric algebra Faraday bivector $$F = \BE + I c \BB$$, and the associated coordinate expansion of the field $$F = (1/2) (\gamma_\mu \wedge \gamma_\nu) F^{\mu\nu}$$.

# References

[1] C. Doran and A.N. Lasenby. Geometric algebra for physicists. Cambridge University Press New York, Cambridge, UK, 1st edition, 2003.

[2] Peeter Joot. Mathematica modules for Geometric Algebra’s GA(2,0), GA(3,0), and GA(1,3), 2017. URL https://github.com/peeterjoot/gapauli. [Online; accessed 24-Oct-2020].

## PHY2403H Quantum Field Theory. Lecture 4: Scalar action, least action principle, Euler-Lagrange equations for a field, canonical quantization. Taught by Prof. Erich Poppitz

### DISCLAIMER: Very rough notes from class. May have some additional side notes, but otherwise probably barely edited.

These are notes for the UofT course PHY2403H, Quantum Field Theory I, taught by Prof. Erich Poppitz fall 2018.

## Principles (cont.)

• Lorentz (Poincar\’e : Lorentz and spacetime translations)
• locality
• dimensional analysis
• gauge invariance

These are the requirements for an action. We postulated an action that had the form
\label{eqn:qftLecture4:20}
\int d^d x \partial_\mu \phi \partial^\mu \phi,

called the “Kinetic term”, which mimics $$\int dt \dot{q}^2$$ that we’d see in quantum or classical mechanics. In principle there exists an infinite number of local Poincar\’e invariant terms that we can write. Examples:

• $$\partial_\mu \phi \partial^\mu \phi$$
• $$\partial_\mu \phi \partial_\nu \partial^\nu \partial^\mu \phi$$
• $$\lr{\partial_\mu \phi \partial^\mu \phi}^2$$
• $$f(\phi) \partial_\mu \phi \partial^\mu \phi$$
• $$f(\phi, \partial_\mu \phi \partial^\mu \phi)$$
• $$V(\phi)$$

It turns out that nature (i.e. three spatial dimensions and one time dimension) is described by a finite number of terms. We will now utilize dimensional analysis to determine some of the allowed forms of the action for scalar field theories in $$d = 2, 3, 4, 5$$ dimensions. Even though the real world is only $$d = 4$$, some of the $$d < 4$$ theories are relevant in condensed matter studies, and $$d = 5$$ is just for fun (but also applies to string theories.)

With $$[x] \sim \inv{M}$$ in natural units, we must define $$[\phi]$$ such that the kinetic term is dimensionless in d spacetime dimensions

\label{eqn:qftLecture4:40}
\begin{aligned}
[d^d x] &\sim \inv{M^d} \\
[\partial_\mu] &\sim M
\end{aligned}

so it must be that
\label{eqn:qftLecture4:60}
[\phi] = M^{(d-2)/2}

It will be easier to characterize the dimensionality of any given term by the power of the mass units, that is

\label{eqn:qftLecture4:80}
\begin{aligned}
[\text{mass}] &= 1 \\
[d^d x] &= -d \\
[\partial_\mu] &= 1 \\
[\phi] &= (d-2)/2 \\
[S] &= 0.
\end{aligned}

Since the action is
\label{eqn:qftLecture4:100}
S = \int d^d x \lr{ \LL(\phi, \partial_\mu \phi) },

and because action had dimensions of $$\Hbar$$, so in natural units, it must be dimensionless, the Lagrangian density dimensions must be $$[d]$$. We will abuse language in QFT and call the Lagrangian density the Lagrangian.

## $$d = 2$$

Because $$[\partial_\mu \phi \partial^\mu \phi ] = 2$$, the scalar field must be dimension zero, or in symbols
\label{eqn:qftLecture4:120}
[\phi] = 0.

This means that introducing any function $$f(\phi) = 1 + a \phi + b\phi^2 + c \phi^3 + \cdots$$ is also dimensionless, and
\label{eqn:qftLecture4:140}
[f(\phi) \partial_\mu \phi \partial^\mu \phi ] = 2,

for any $$f(\phi)$$. Another implication of this is that the a potential term in the Lagrangian $$[V(\phi)] = 0$$ needs a coupling constant of dimension 2. Letting $$\mu$$ have mass dimensions, our Lagrangian must have the form
\label{eqn:qftLecture4:160}
f(\phi) \partial_\mu \phi \partial^\mu \phi + \mu^2 V(\phi).

An infinite number of coupling constants of positive mass dimensions for $$V(\phi)$$ are also allowed. If we have higher order derivative terms, then we need to compensate for the negative mass dimensions. Example (still for $$d = 2$$).
\label{eqn:qftLecture4:180}
\LL =
f(\phi) \partial_\mu \phi \partial^\mu \phi + \mu^2 V(\phi) + \inv{{\mu’}^2}\partial_\mu \phi \partial_\nu \partial^\nu \partial^\mu \phi + \lr{ \partial_\mu \phi \partial^\mu \phi }^2 \inv{\tilde{\mu}^2}.

The last two terms, called \underline{couplings} (i.e. any non-kinetic term), are examples of terms with negative mass dimension. There is an infinite number of those in any theory in any dimension.

### Definitions

• Couplings that are dimensionless are called (classically) marginal.
• Couplings that have positive mass dimension are called (classically) relevant.
• Couplings that have negative mass dimension are called (classically) irrelevant.

In QFT we are generally interested in the couplings that are measurable at long distances for some given energy. Classically irrelevant theories are generally not interesting in $$d > 2$$, so we are very lucky that we don’t live in three dimensional space. This means that we can get away with a finite number of classically marginal and relevant couplings in 3 or 4 dimensions. This was mentioned in the Wilczek’s article referenced in the class forum [1]\footnote{There’s currently more in that article that I don’t understand than I do, so it is hard to find it terribly illuminating.}

Long distance physics in any dimension is described by the marginal and relevant couplings. The irrelevant couplings die off at low energy. In two dimensions, a priori, an infinite number of marginal and relevant couplings are possible. 2D is a bad place to live!

## $$d = 3$$

Now we have
\label{eqn:qftLecture4:200}
[\phi] = \inv{2}

so that
\label{eqn:qftLecture4:220}
[\partial_\mu \phi \partial^\mu \phi] = 3.

A 3D Lagrangian could have local terms such as
\label{eqn:qftLecture4:240}
\LL = \partial_\mu \phi \partial^\mu \phi + m^2 \phi^2 + \mu^{3/2} \phi^3 + \mu’ \phi^4
+ \lr{\mu”}{1/2} \phi^5
+ \lambda \phi^6.

where $$m, \mu, \mu”$$ all have mass dimensions, and $$\lambda$$ is dimensionless. i.e. $$m, \mu, \mu”$$ are relevant, and $$\lambda$$ marginal. We stop at the sixth power, since any power after that will be irrelevant.

## $$d = 4$$

Now we have
\label{eqn:qftLecture4:260}
[\phi] = 1

so that
\label{eqn:qftLecture4:280}
[\partial_\mu \phi \partial^\mu \phi] = 4.

In this number of dimensions $$\phi^k \partial_\mu \phi \partial^\mu$$ is an irrelevant coupling.

A 4D Lagrangian could have local terms such as
\label{eqn:qftLecture4:300}
\LL = \partial_\mu \phi \partial^\mu \phi + m^2 \phi^2 + \mu \phi^3 + \lambda \phi^4.

where $$m, \mu$$ have mass dimensions, and $$\lambda$$ is dimensionless. i.e. $$m, \mu$$ are relevant, and $$\lambda$$ is marginal.

## $$d = 5$$

Now we have
\label{eqn:qftLecture4:320}
[\phi] = \frac{3}{2},

so that
\label{eqn:qftLecture4:340}
[\partial_\mu \phi \partial^\mu \phi] = 5.

A 5D Lagrangian could have local terms such as
\label{eqn:qftLecture4:360}
\LL = \partial_\mu \phi \partial^\mu \phi + m^2 \phi^2 + \sqrt{\mu} \phi^3 + \inv{\mu’} \phi^4.

where $$m, \mu, \mu’$$ all have mass dimensions. In 5D there are no marginal couplings. Dimension 4 is the last dimension where marginal couplings exist. In condensed matter physics 4D is called the “upper critical dimension”.

From the point of view of particle physics, all the terms in the Lagrangian must be the ones that are relevant at long distances.

## Least action principle (classical field theory).

Now we want to study 4D scalar theories. We have some action
\label{eqn:qftLecture4:380}
S[\phi] = \int d^4 x \LL(\phi, \partial_\mu \phi).

Let’s keep an example such as the following in mind
\label{eqn:qftLecture4:400}
\LL = \underbrace{\inv{2} \partial_\mu \phi \partial^\mu \phi}_{\text{Kinetic term}} – \underbrace{m^2 \phi – \lambda \phi^4}_{\text{all relevant and marginal couplings}}.

The even powers can be justified by assuming there is some symmetry that kills the odd powered terms.

fig. 1. Cylindrical spacetime boundary.

We will be integrating over a space time region such as that depicted in fig. 1, where a cylindrical spatial cross section is depicted that we allow to tend towards infinity. We demand that the field is fixed on the infinite spatial boundaries. The easiest way to demand that the field dies off on the spatial boundaries, that is
\label{eqn:qftLecture4:420}
\lim_{\Abs{\Bx} \rightarrow \infty} \phi(\Bx) \rightarrow 0.

The functional $$\phi(\Bx, t)$$ that obeys the boundary condition as stated extremizes $$S[\phi]$$.

Extremizing the action means that we seek $$\phi(\Bx, t)$$
\label{eqn:qftLecture4:440}
\delta S[\phi] = 0 = S[\phi + \delta \phi] – S[\phi].

How do we compute the variation?
\label{eqn:qftLecture4:460}
\begin{aligned}
\delta S
&= \int d^d x \lr{ \LL(\phi + \delta \phi, \partial_\mu \phi + \partial_\mu \delta \phi) – \LL(\phi, \partial_\mu \phi) } \\
&= \int d^d x \lr{ \PD{\phi}{\LL} \delta \phi + \PD{(\partial_mu \phi)}{\LL} (\partial_\mu \delta \phi) } \\
&= \int d^d x \lr{ \PD{\phi}{\LL} \delta \phi
+ \partial_\mu \lr{ \PD{(\partial_mu \phi)}{\LL} \delta \phi}
– \lr{ \partial_\mu \PD{(\partial_mu \phi)}{\LL} } \delta \phi
} \\
&=
\int d^d x
\delta \phi
\lr{ \PD{\phi}{\LL}
– \partial_\mu \PD{(\partial_mu \phi)}{\LL} }
+ \int d^3 \sigma_\mu \lr{ \PD{(\partial_\mu \phi)}{\LL} \delta \phi }
\end{aligned}

If we are explicit about the boundary term, we write it as
\label{eqn:qftLecture4:480}
\int dt d^3 \Bx \partial_t \lr{ \PD{(\partial_t \phi)}{\LL} \delta \phi }
=
\int d^3 \Bx \evalrange{ \PD{(\partial_t \phi)}{\LL} \delta \phi }{t = -T}{t = T}
– \int dt d^2 \BS \cdot \lr{ \PD{(\spacegrad \phi)}{\LL} \delta \phi }.

but $$\delta \phi = 0$$ at $$t = \pm T$$ and also at the spatial boundaries of the integration region.

This leaves
\label{eqn:qftLecture4:500}
\delta S[\phi] = \int d^d x \delta \phi
\lr{ \PD{\phi}{\LL} – \partial_\mu \PD{(\partial_mu \phi)}{\LL} } = 0 \forall \delta \phi.

That is

\label{eqn:qftLecture4:540}
\boxed{
\PD{\phi}{\LL} – \partial_\mu \PD{(\partial_mu \phi)}{\LL} = 0.
}

This are the Euler-Lagrange equations for a single scalar field.

Returning to our sample scalar Lagrangian
\label{eqn:qftLecture4:560}
\LL = \inv{2} \partial_\mu \phi \partial^\mu \phi – \inv{2} m^2 \phi^2 – \frac{\lambda}{4} \phi^4.

This example is related to the Ising model which has a $$\phi \rightarrow -\phi$$ symmetry. Applying the Euler-Lagrange equations, we have
\label{eqn:qftLecture4:580}
\PD{\phi}{\LL} = -m^2 \phi – \lambda \phi^3,

and
\label{eqn:qftLecture4:600}
\begin{aligned}
\PD{(\partial_\mu \phi)}{\LL}
&=
\PD{(\partial_\mu \phi)}{} \lr{
\inv{2} \partial_\nu \phi \partial^\nu \phi } \\
&=
\inv{2} \partial^\nu \phi
\PD{(\partial_\mu \phi)}{}
\partial_\nu \phi
+
\inv{2} \partial_\nu \phi
\PD{(\partial_\mu \phi)}{}
\partial_\alpha \phi g^{\nu\alpha} \\
&=
\inv{2} \partial^\mu \phi
+
\inv{2} \partial_\nu \phi g^{\nu\mu} \\
&=
\partial^\mu \phi
\end{aligned}

so we have
\label{eqn:qftLecture4:620}
\begin{aligned}
0
&=
\PD{\phi}{\LL} -\partial_\mu
\PD{(\partial_\mu \phi)}{\LL} \\
&=
-m^2 \phi – \lambda \phi^3 – \partial_\mu \partial^\mu \phi.
\end{aligned}

For $$\lambda = 0$$, the free field theory limit, this is just
\label{eqn:qftLecture4:640}
\partial_\mu \partial^\mu \phi + m^2 \phi = 0.

Written out from the observer frame, this is
\label{eqn:qftLecture4:660}
(\partial_t)^2 \phi – \spacegrad^2 \phi + m^2 \phi = 0.

With a non-zero mass term
\label{eqn:qftLecture4:680}
\lr{ \partial_t^2 – \spacegrad^2 + m^2 } \phi = 0,

is called the Klein-Gordan equation.

If we also had $$m = 0$$ we’d have
\label{eqn:qftLecture4:700}
\lr{ \partial_t^2 – \spacegrad^2 } \phi = 0,

which is the wave equation (for a massless free field). This is also called the D’Alembert equation, which is familiar from electromagnetism where we have
\label{eqn:qftLecture4:720}
\begin{aligned}
\lr{ \partial_t^2 – \spacegrad^2 } \BE &= 0 \\
\lr{ \partial_t^2 – \spacegrad^2 } \BB &= 0,
\end{aligned}

in a source free region.

## Canonical quantization.

\label{eqn:qftLecture4:740}
\LL = \inv{2} \dot{q} – \frac{\omega^2}{2} q^2

This has solution $$\ddot{q} = – \omega^2 q$$.

Let
\label{eqn:qftLecture4:760}
p = \PD{\dot{q}}{\LL} = \dot{q}

\label{eqn:qftLecture4:780}
H(p,q) = \evalbar{p \dot{q} – \LL}{\dot{q}(p, q)}
= p p – \inv{2} p^2 + \frac{\omega^2}{2} q^2 = \frac{p^2}{2} + \frac{\omega^2}{2} q^2

In QM we quantize by mapping Poisson brackets to commutators.
\label{eqn:qftLecture4:800}
\antisymmetric{\hatp}{\hat{q}} = -i

One way to represent is to say that states are $$\Psi(\hat{q})$$, a wave function, $$\hat{q}$$ acts by $$q$$
\label{eqn:qftLecture4:820}
\hat{q} \Psi = q \Psi(q)

With
\label{eqn:qftLecture4:840}
\hatp = -i \PD{q}{},

so
\label{eqn:qftLecture4:860}
\antisymmetric{ -i \PD{q}{} } { q} = -i

Let’s introduce an explicit space time split. We’ll write
\label{eqn:qftLecture4:880}
L = \int d^3 x \lr{
\inv{2} (\partial_0 \phi(\Bx, t))^2 – \inv{2} \lr{ \spacegrad \phi(\Bx, t) }^2 – \frac{m^2}{2} \phi
},

so that the action is
\label{eqn:qftLecture4:900}
S = \int dt L.

The dynamical variables are $$\phi(\Bx)$$. We define
\label{eqn:qftLecture4:920}
\begin{aligned}
\pi(\Bx, t) = \frac{\delta L}{\delta (\partial_0 \phi(\Bx, t))}
&=
\partial_0 \phi(\Bx, t) \\
&=
\dot{\phi}(\Bx, t),
\end{aligned}

called the canonical momentum, or the momentum conjugate to $$\phi(\Bx, t)$$. Why $$\delta$$? Has to do with an implicit Dirac function to eliminate the integral?

\label{eqn:qftLecture4:940}
\begin{aligned}
H
&= \int d^3 x \evalbar{\lr{ \pi(\bar{\Bx}, t) \dot{\phi}(\bar{\Bx}, t) – L }}{\dot{\phi}(\bar{\Bx}, t) = \pi(x, t) } \\
&= \int d^3 x \lr{ (\pi(\Bx, t))^2 – \inv{2} (\pi(\Bx, t))^2 + \inv{2} (\spacegrad \phi)^2 + \frac{m}{2} \phi^2 },
\end{aligned}

or
\label{eqn:qftLecture4:960}
H
= \int d^3 x \lr{ \inv{2} (\pi(\Bx, t))^2 + \inv{2} (\spacegrad \phi(\Bx, t))^2 + \frac{m}{2} (\phi(\Bx, t))^2 }

In analogy to the momentum, position commutator in QM
\label{eqn:qftLecture4:1000}
\antisymmetric{\hat{p}_i}{\hat{q}_j} = -i \delta_{ij},

we “quantize” the scalar field theory by promoting $$\pi, \phi$$ to operators and insisting that they also obey a commutator relationship
\label{eqn:qftLecture4:980}
\antisymmetric{\pi(\Bx, t)}{\phi(\By, t)} = -i \delta^3(\Bx – \By).

# References

[1] Frank Wilczek. Fundamental constants. arXiv preprint arXiv:0708.4361, 2007. URL https://arxiv.org/abs/0708.4361.