Theorem_transverse_and_propagation_solutions.tex

%
% Copyright © 2018 Peeter Joot.  All Rights Reserved.
% Licenced as described in the file LICENSE under the root directory of this GIT repository.
%
\maketheorem{Transverse and propagation field solutions.}{thm:transverseField:348}{
Given a field propagating along the z-axis (either forward or backwards), with angular frequency \( \omega \), represented by the real part of
\begin{equation*}
F(x, y, z, t) = F(x, y) e^{j \omega t \mp j k z},
\end{equation*}
the field components that solve the source free Maxwell's equation are related by
\begin{equation*}
\begin{aligned}
F_t &= j \inv{ \frac{\omega}{c} \mp k \Be_3 } \spacegrad_t F_z \\
F_z &= j \inv{ \frac{\omega}{c} \mp k \Be_3 } \spacegrad_t F_t.
\end{aligned}
\end{equation*}
Written out explicitly, the transverse field component expands as
\begin{equation*}
\begin{aligned}
\BE_t &=
\frac{j}{{\frac{\omega}{c}}^2 - k^2}
\lr{
   \pm k \spacegrad_t E_z
   + \frac{\omega \eta}{c} \Be_3 \cross \spacegrad_t H_z
}
\\
\eta \BH_t &=
\frac{j}{{\frac{\omega}{c}}^2 - k^2}
\lr{
   \pm k \eta \spacegrad_t H_z
   -
   \frac{\omega}{c}
   \Be_3 \cross \spacegrad_t E_z
}.
\end{aligned}
\end{equation*}
} % theorem