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).
In (), 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
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?
 Peeter Joot. Transverse electric and magnetic fields [online]. http://sites.google.com/site/peeterjoot/math2009/transverseField.pdf.