## (A POSSIBLY WRONG) Superposition of transverse electromagnetic field solutions.

Posted by peeterjoot on August 3, 2009

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

# Disclaimer

FIXME: I’M NOT CONFIDENT THAT i GOT THIS RIGHT. An attempt to verify the final result didn’t work. I’ve either messed up along the way (perhaps right at the beginning), or my verification itself was busted. Am posting these working notes for now, and will revisit later after thinking it through again (or trying the verification again).

# Motivation

In ([1]), a Geometric Algebra solution for the transverse components of the electromagnetic field was found. Here we construct a superposition of these transverse fields, keeping the propagation direction fixed, and allowing for continuous variation of the wave number and angular velocity. Evaluation of this superposition integral, first utilizing a contour integral, then utilizing an inverse Fourier transform allows for the determination of the functional form of a general wave packet moving along a fixed direction in space. This wave packet will be seen to have two time dependencies, an advanced time term, and a retarded time term. The phasors will be eliminated from both the propagation and the transverse fields and will provide operators with which the transverse field can be calculated from a general propagation field wave packet.

# Superposition of phasor solutions.

When the field is required to have explicit sinusoidal time and propagation direction, the field components in the transverse (to the propagation) direction were found to be

Here is required by construction to commute with , but is otherwise arbitrary, except perhaps for boundary value constraints not considered here.

Removing the restriction to fixed wave number and angular velocity we can integrate over both to express a more general transverse wave propagation

Inventing temporary notation for convenience we write for the frequency dependent weighting function . Also note that explicit has been dropped after allowing wave number to range over both positive and negative values.

Observe that each of these integrals has the form of a Fourier integral (ignoring constant factors that can be incorporated into the weighting function). Also observe that the integral kernel has two poles on the real -axis (or real -axis). These can be utilized to evaluate one of the integrals using an upper half plane semicircular contour. FIXME: picture here.

Assuming that is small enough at (on the large contour) to be neglected, we have for the integral after integrating around the poles at

Writing , and , for the values of our field at the poles, we have

Can one ignore the singularity at since it divides out? If so, then we have

Writing this out separately for the regions greater and lesser than zero we have

Grouping by exponentials of like sign, and integrating over a region that omits some neighborhood around the origin, we have eliminated the factors

The Heaviside unit step function has been used to group things nicely over the doubled integration ranges, and what is left now can be observed to be Fourier transforms from the frequency to time domain. The transformed functions are to be evaluated at a shifted time in each case.

Attempting to actually evaluate this Fourier transform shouldn’t actually be necessary since we the original angular velocity and wave number domain function was arbitrary (except for its commutation with ). Instead we just suppose (once again overloading the symbol ) that we have a function that at time takes the value

The transform will not change the grades of the propagation field so this still commutes with . We can now write

So, after a bunch of manipulation, we find exactly how the transverse component of the field is related to the propagation direction field, and have eliminated the phasor description supplied our single frequency/wave-number field relations.

What we have left is a propagation field that has the form of an arbitrary unidirectional wave packet, traveling in either direction through the medium with speed . If all this math is right, the transverse field for an advancing wave is generated by application onto the propagation field of the operator

Similarly, the transverse field for a receding wave is given by application of the operator

# Verification.

Given the doubt about the point in the integral, and the possibility for sign error and other algebraic mistakes it seems worthwhile now to go back to Maxwell’s equation and verify the correctness of these results. Then, presuming everything worked out okay, it would also be good to relate things back to the electric and magnetic field components of the field.

Maxwell’s equation in these units is

and we want to compute the transverse direction projection from the propagation direction term

Picking one of the terms of (4), we have

Substiting into the left hand operator of Maxwell’s equation (7) and reducing I get

I don’t see how this would neccessarily equal zero?

# References

[1] Peeter Joot. Transverse electric and magnetic fields [online]. http://sites.google.com/site/peeterjoot/math2009/transverseField.pdf.

## Eli said

I haven’t carefully read through this yet, I think there is a physics problem with including ω=0. That corresponds to an electrostatic case, where the electric and magnetic fields are completely independent. Then, with application of boundary conditions (and in the absence of free currents and charges), both fields must go to zero inside the conducting waveguide.

I do not really understand the notation of GA, so I’m not sure if this result is captured in your expression.

## peeterjoot said

I’ll think about that. I started off with a couple of scribbled results on paper, and as I wrote them up I found mistakes. In the end I think that I corrected most of those mistakes (it was harder and more time consuming doing it without errors;) … In the end I believe that I’ve followed the math from a starting place that is no good.

I’ve also had a peek at the phasor treatment of Doran/Lasenby’s text (which I now understand a bit better). I see that they (without any calculus) end up with

This has a four vector dot product for their phasor term, with k having 0,3 coordinates, for angular velocity and wave number respectively. It’s similar (first factor is the same, and the second only has the directions in the transverse gradient like mine), but the terms show up even before trying to add different frequencies and in the expression for the total field not just the transverse bits.