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

# Motivation

In Eli’s Transverse Electric and Magnetic Fields in a Conducting Waveguide blog entry he works through the algebra calculating the transverse components, the perpendicular to the propagation direction components.

This should be possible using Geometric Algebra too, and trying this made for a good exercise.

# Setup

The starting point can be the same, the source free Maxwell’s equations. Writing , we have

Multiplication of the last two equations by the spatial pseudoscalar , and using , the curl equations can be written in their dual bivector form

Now adding the dot and curl equations using eliminates the cross products

These can be further merged without any loss, into the GA first order equation

We are really after solutions to the total multivector field . For this problem where separate electric and magnetic field components are desired, working from (7) is perhaps what we want?

Following Eli and Jackson, write , and

Evaluating the and partials we have

For the remainder of these notes, the explicit dependence will be assumed for and .

An obvious thing to try with these equations is just substitute one into the other. If that’s done we get the pair of second order harmonic equations

One could consider the problem solved here. Separately equating both sides of this equation to zero, we have the constraint on the wave number and angular velocity, and the second order Laplacian on the left hand side is solved by the real or imaginary parts of any analytic function. Especially when one considers that we are after a multivector field that of intrinsic complex nature.

However, that is not really what we want as a solution. Doing the same on the unified Maxwell equation (9), we have

Selecting scalar, vector, bivector and trivector grades of this equation produces the following respective relations between the various components

From the scalar and pseudoscalar grades we have the propagation components in terms of the transverse ones

But this is the opposite of the relations that we are after. On the other hand from the vector and bivector grades we have

# A clue from the final result.

From (22) and a lot of messy algebra we should be able to get the transverse equations. Is there a slicker way? The end result that Eli obtained suggests a path. That result was

The numerator looks like it can be factored, and after a bit of playing around a suitable factorization can be obtained:

Observe that the propagation components of the field can be written in terms of the symmetric product

Now the total field in CGS units was actually , not , so the factorization above isn’t exactly what we want. It does however, provide the required clue. We probably get the result we want by forming the symmetric product (a hybrid dot product selecting both the vector and bivector terms).

# Symmetric product of the field with the direction vector.

Rearranging Maxwell’s equation (15) in terms of the transverse gradient and the total field we have

With this our symmetric product is

The antisymmetric product on the right hand side should contain the desired transverse field components. To verify multiply it out

Now, with multiplication by the conjugate quantity , we can extract these transverse components.

Rearranging, we have the transverse components of the field

With left multiplication by , and writing we have

While this is a complete solution, we can additionally extract the electric and magnetic fields to compare results with Eli’s calculation. We take

vector grades to do so with , and . For the transverse electric field

and for the transverse magnetic field

Thus the split of transverse field into the electric and magnetic components yields

Compared to Eli’s method using messy traditional vector algebra, this method also has a fair amount of messy tricky algebra, but of a different sort.