Skip to main content
Physics LibreTexts

9.2: Wave Equations for Source-Free and Lossless Regions

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Electromagnetic waves are solutions to a set of coupled differential simultaneous equations – namely, Maxwell’s Equations. The general solution to these equations includes constants whose values are determined by the applicable electromagnetic boundary conditions. However, this direct approach can be difficult and is often not necessary. In unbounded homogeneous regions that are “source free” (containing no charges or currents), a simpler approach is possible. In this section, we reduce Maxwell’s Equations to wave equations that apply to the electric and magnetic fields in this simpler category of scenarios. Before reading further, the reader should consider a review of Section 1.3 (noting in particular Equation 1.3.1) and Section 3.6 (wave equations for voltage and current on a transmission line). This section seeks to develop the analogous equations for electric and magnetic waves.

    We can get the job done using the differential “point” phasor form of Maxwell’s Equations, developed in Section 9.1. Here they are: \[\nabla \cdot \widetilde{\bf D} = \widetilde{\rho}_v \nonumber \] \[\nabla \times \widetilde{\bf E} = -j\omega\widetilde{\bf B} \nonumber \] \[\nabla \cdot \widetilde{\bf B} = 0 \nonumber \] \[\nabla \times \widetilde{\bf H} = \widetilde{\bf J} + j\omega\widetilde{\bf D} \nonumber \]

    In a source-free region, there is no net charge and no current, hence \(\widetilde{\rho}_v=0\) and \(\widetilde{\bf J}=0\) in the present analysis. The above equations become \[\nabla \cdot \widetilde{\bf D} = 0 \nonumber \] \[\nabla \times \widetilde{\bf E} = -j\omega\widetilde{\bf B} \nonumber \] \[\nabla \cdot \widetilde{\bf B} = 0 \nonumber \] \[\nabla \times \widetilde{\bf H} = +j\omega\widetilde{\bf D} \nonumber \]

    Next, we recall that \(\widetilde{\bf D}=\epsilon\widetilde{\bf E}\) and that \(\epsilon\) is a real-valued constant for a medium that is homogeneous, isotropic, and linear (Section 2.8). Similarly, \(\widetilde{\bf B}=\mu\tilde{\bf H}\) and \(\mu\) is a real-valued constant. Thus, under these conditions, it is sufficient to consider either \(\widetilde{\bf D}\) or \(\widetilde{\bf E}\) and either \(\widetilde{\bf B}\) or \(\widetilde{\bf H}\). The choice is arbitrary, but in engineering applications it is customary to use \(\widetilde{\bf E}\) and \(\widetilde{\bf H}\). Eliminating the now-redundant quantities \(\widetilde{\bf D}\) and \(\widetilde{\bf B}\), the above equations become \[\nabla \cdot \widetilde{\bf E} = 0 \label{m0036_eGL3} \] \[\nabla \times \widetilde{\bf E} = -j\omega\mu\widetilde{\bf H} \label{m0036_eMFE3} \] \[\nabla \cdot \widetilde{\bf H} = 0 \nonumber \] \[\nabla \times \widetilde{\bf H} = +j\omega\epsilon\widetilde{\bf E} \label{m0036_eAL3} \]

    It is important to note that requiring the region of interest to be source-free precludes the possibility of loss in the medium. To see this, let’s first be clear about what we mean by “loss.” For an electromagnetic wave, loss is observed as a reduction in the magnitude of the electric and magnetic field with increasing distance. This reduction is due to the dissipation of power in the medium. This occurs when the conductivity \(\sigma\) is greater than zero because Ohm’s Law for Electromagnetics (\(\widetilde{\bf J}=\sigma\widetilde{\bf E}\); Section 6.3) requires that power in the electric field be transferred into conduction current, and is thereby lost to the wave (Section 6.6). When we required \({\bf J}\) to be zero above, we precluded this possibility; that is, we implicitly specified \(\sigma=0\). The fact that the constitutive parameters \(\mu\) and \(\epsilon\) appear in Equations \ref{m0036_eGL3} – \ref{m0036_eAL3}, but \(\sigma\) does not, is further evidence of this.

    Equations \ref{m0036_eGL3}–\ref{m0036_eAL3} are Maxwell’s Equations for a region comprised of isotropic, homogeneous, and source-free material. Because there can be no conduction current in a source-free region, these equations apply only to material that is lossless (i.e., having negligible \(\sigma\)).

    Before moving on, one additional disclosure is appropriate. It turns out that there actually is a way to use Equations \ref{m0036_eGL3}–\ref{m0036_eAL3} for regions in which loss is significant. This requires a redefinition of \(\epsilon\) as a complex-valued quantity. We shall not consider this technique in this section. We mention this simply because one should be aware that if permittivity appears as a complex-valued quantity, then the imaginary part represents loss.

    To derive the wave equations we begin with the MFE, Equation \ref{m0036_eMFE3}. Taking the curl of both sides of the equation we obtain

    \nabla \times(\nabla \times \widetilde{\mathbf{E}}) &=\nabla \times(-j \omega \mu \widetilde{\mathbf{H}}) \nonumber \\
    &=-j \omega \mu(\nabla \times \widetilde{\mathbf{H}}) \label{m0036_eWE1}

    On the right we can eliminate \(\nabla \times \widetilde{\bf H}\) using Equation \ref{m0036_eAL3}:

    -j \omega \mu(\nabla \times \widetilde{\mathbf{H}}) &=-j \omega \mu(+j \omega e \widetilde{\mathbf{E}}) \\
    &=+\omega^{2} \mu \epsilon \widetilde{\mathbf{E}}

    On the left side of Equation \ref{m0036_eWE1}, we apply the vector identity \[\nabla \times \nabla \times {\bf A} = \nabla\left(\nabla\cdot {\bf A}\right) -\nabla^2{\bf A} \nonumber \]

    which in this case is \[\nabla \times \nabla \times \widetilde{\bf E} = \nabla\left(\nabla\cdot \widetilde{\bf E}\right) -\nabla^2\widetilde{\bf E} \nonumber \]

    We may eliminate the first term on the right using Equation \ref{m0036_eGL3}, yielding \[\nabla \times \nabla \times \widetilde{\bf E} = -\nabla^2\widetilde{\bf E} \nonumber \] Substituting these results back into Equation \ref{m0036_eWE1} and rearranging terms we have \[\nabla^2\widetilde{\bf E} +\omega^2\mu\epsilon \widetilde{\bf E} = 0 \label{m0036_eWEE1} \]

    This is the wave equation for \(\widetilde{\bf E}\). Note that it is a homogeneous (in the mathematical sense of the word) differential equation, which is expected since we have derived it for a source-free region.

    It is common to make the following definition

    \[\boxed{ \beta \triangleq \omega\sqrt{\mu\epsilon} } \label{m0036_eBetaDef} \]

    so that Equation \ref{m0036_eWEE1} may be written

    \[\boxed{ \nabla^2\widetilde{\bf E} +\beta^2 \widetilde{\bf E} = 0 } \label{m0036_eWEE2} \]

    Why go the the trouble of defining \(\beta\)? One reason is that \(\beta\) conveniently captures the contribution of the frequency, permittivity, and permeability all in one constant. Another reason is to emphasize the connection to the parameter \(\beta\) appearing in transmission line theory (see Section 3.8 for a reminder). It should be clear that \(\beta\) is a phase propagation constant, having units of 1/m (or rad/m, if you prefer), and indicates the rate at which the phase of the propagating wave progresses with distance.

    The wave equation for \(\widetilde{\bf H}\) is obtained using essentially the same procedure, which is left as an exercise for the reader. It should be clear from the duality apparent in Equations \ref{m0036_eGL3}-\ref{m0036_eAL3} that the result will be very similar. One finds: \[\boxed{ \nabla^2\widetilde{\bf H} +\beta^2 \widetilde{\bf H} = 0 } \label{m0036_eWEH2} \]

    Equations \ref{m0036_eWEE2} and \ref{m0036_eWEH2} are the wave equations for \(\widetilde{\bf E}\) and \(\widetilde{\bf H}\), respectively, for a region comprised of isotropic, homogeneous, lossless, and source-free material.

    Looking ahead, note that \(\widetilde{\bf E}\) and \(\widetilde{\bf H}\) are solutions to the same homogeneous differential equation. Consequently, \(\widetilde{\bf E}\) and \(\widetilde{\bf H}\) cannot be different by more than a constant factor and a direction. In fact, we can also determine something about the factor simply by examining the units involved: Since \(\widetilde{\bf E}\) has units of V/m and \(\widetilde{\bf H}\) has units of A/m, this factor will be expressible in units of the ratio of V/m to A/m, which is \(\Omega\). This indicates that the factor will be an impedance. This factor is known as the wave impedance and will be addressed in Section 9.5. This impedance is analogous the characteristic impedance of a transmission line (Section 3.7).

    Additional Reading:

    This page titled 9.2: Wave Equations for Source-Free and Lossless Regions is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Steven W. Ellingson (Virginia Tech Libraries' Open Education Initiative) .

    • Was this article helpful?