## Dipole field from multipole moment sum

As indicated in Jackson [1], the components of the electric field can be obtained directly from the multipole moments

\label{eqn:dipoleFromSphericalMoments:20}
\Phi(\Bx)
= \inv{4 \pi \epsilon_0} \sum \frac{4 \pi}{ (2 l + 1) r^{l + 1} } q_{l m} Y_{l m},

so for the $$l,m$$ contribution to this sum the components of the electric field are

\label{eqn:dipoleFromSphericalMoments:40}
E_r
=
\inv{\epsilon_0} \sum \frac{l+1}{ (2 l + 1) r^{l + 2} } q_{l m} Y_{l m},

\label{eqn:dipoleFromSphericalMoments:60}
E_\theta
= -\inv{\epsilon_0} \sum \frac{1}{ (2 l + 1) r^{l + 2} } q_{l m} \partial_\theta Y_{l m}

\label{eqn:dipoleFromSphericalMoments:80}
\begin{aligned}
E_\phi
&= -\inv{\epsilon_0} \sum \frac{1}{ (2 l + 1) r^{l + 2} \sin\theta } q_{l m} \partial_\phi Y_{l m} \\
&= -\inv{\epsilon_0} \sum \frac{j m}{ (2 l + 1) r^{l + 2} \sin\theta } q_{l m} Y_{l m}.
\end{aligned}

Here I’ve translated from CGS to SI. Let’s calculate the $$l = 1$$ electric field components directly from these expressions and check against the previously calculated results.

\label{eqn:dipoleFromSphericalMoments:100}
\begin{aligned}
E_r
&=
\inv{\epsilon_0} \frac{2}{ 3 r^{3} }
\lr{
2 \lr{ -\sqrt{\frac{3}{8\pi}} }^2 \textrm{Re} \lr{
(p_x – j p_y) \sin\theta e^{j\phi}
}
+
\lr{ \sqrt{\frac{3}{4\pi}} }^2 p_z \cos\theta
} \\
&=
\frac{2}{4 \pi \epsilon_0 r^3}
\lr{
p_x \sin\theta \cos\phi + p_y \sin\theta \sin\phi + p_z \cos\theta
} \\
&=
\frac{1}{4 \pi \epsilon_0 r^3} 2 \Bp \cdot \rcap.
\end{aligned}

Note that

\label{eqn:dipoleFromSphericalMoments:120}
\partial_\theta Y_{11} = -\sqrt{\frac{3}{8\pi}} \cos\theta e^{j \phi},

and

\label{eqn:dipoleFromSphericalMoments:140}
\partial_\theta Y_{1,-1} = \sqrt{\frac{3}{8\pi}} \cos\theta e^{-j \phi},

so

\label{eqn:dipoleFromSphericalMoments:160}
\begin{aligned}
E_\theta
&=
-\inv{\epsilon_0} \frac{1}{ 3 r^{3} }
\lr{
2 \lr{ -\sqrt{\frac{3}{8\pi}} }^2 \textrm{Re} \lr{
(p_x – j p_y) \cos\theta e^{j\phi}
}

\lr{ \sqrt{\frac{3}{4\pi}} }^2 p_z \sin\theta
} \\
&=
-\frac{1}{4 \pi \epsilon_0 r^3}
\lr{
p_x \cos\theta \cos\phi + p_y \cos\theta \sin\phi – p_z \sin\theta
} \\
&=
-\frac{1}{4 \pi \epsilon_0 r^3} \Bp \cdot \thetacap.
\end{aligned}

For the $$\phicap$$ component, the $$m = 0$$ term is killed. This leaves

\label{eqn:dipoleFromSphericalMoments:180}
\begin{aligned}
E_\phi
&=
-\frac{1}{\epsilon_0} \frac{1}{ 3 r^{3} \sin\theta }
\lr{
j q_{11} Y_{11} – j q_{1,-1} Y_{1,-1}
} \\
&=
-\frac{1}{3 \epsilon_0 r^{3} \sin\theta }
\lr{
j q_{11} Y_{11} – j (-1)^{2m} q_{11}^\conj Y_{11}^\conj
} \\
&=
\frac{2}{\epsilon_0} \frac{1}{ 3 r^{3} \sin\theta }
\textrm{Im} q_{11} Y_{11} \\
&=
\frac{2}{3 \epsilon_0 r^{3} \sin\theta }
\textrm{Im} \lr{
\lr{ -\sqrt{\frac{3}{8\pi}} }^2 (p_x – j p_y) \sin\theta e^{j \phi}
} \\
&=
\frac{1}{ 4 \pi \epsilon_0 r^{3} }
\textrm{Im} \lr{
(p_x – j p_y) e^{j \phi}
} \\
&=
\frac{1}{ 4 \pi \epsilon_0 r^{3} }
\lr{
p_x \sin\phi – p_y \cos\phi
} \\
&=
-\frac{\Bp \cdot \phicap}{ 4 \pi \epsilon_0 r^3}.
\end{aligned}

That is
\label{eqn:dipoleFromSphericalMoments:200}
\boxed{
\begin{aligned}
E_r &=
\frac{2}{4 \pi \epsilon_0 r^3}
\Bp \cdot \rcap \\
E_\theta &= –
\frac{1}{4 \pi \epsilon_0 r^3}
\Bp \cdot \thetacap \\
E_\phi &= –
\frac{1}{4 \pi \epsilon_0 r^3}
\Bp \cdot \phicap.
\end{aligned}
}

These are consistent with equations (4.12) from the text for when $$\Bp$$ is aligned with the z-axis.

Observe that we can sum each of the projections of $$\BE$$ to construct the total electric field due to this $$l = 1$$ term of the multipole moment sum

\label{eqn:dipoleFromSphericalMoments:n}
\begin{aligned}
\BE
&=
\frac{1}{4 \pi \epsilon_0 r^3}
\lr{
2 \rcap (\Bp \cdot \rcap)

\phicap ( \Bp \cdot \phicap)

\thetacap ( \Bp \cdot \thetacap)
} \\
&=
\frac{1}{4 \pi \epsilon_0 r^3}
\lr{
3 \rcap (\Bp \cdot \rcap)

\Bp
},
\end{aligned}

which recovers the expected dipole moment approximation.

# References

[1] JD Jackson. Classical Electrodynamics. John Wiley and Sons, 2nd edition, 1975.

## Vector wave equation in spherical coordinates

For a vector $$\BA$$ in spherical coordinates, let’s compute the Laplacian

\label{eqn:vectorWaveEquationSpherical:20}

to see the form of the wave equation. The spherical vector representation has a curvilinear basis
\label{eqn:vectorWaveEquationSpherical:40}
\BA = \rcap A_r + \thetacap A_\theta + \phicap A_\phi,

and the spherical Laplacian has been found to have the representation

\label{eqn:vectorWaveEquationSpherical:60}
=
\inv{r^2} \PD{r}{} \lr{ r^2 \PD{r}{ \psi} }
+ \frac{1}{r^2 \sin\theta} \PD{\theta}{} \lr{ \sin\theta \PD{\theta}{ \psi } }
+ \frac{1}{r^2 \sin^2\theta} \PDSq{\phi}{ \psi}.

Evaluating the Laplacian will require the following curvilinear basis derivatives

\label{eqn:vectorWaveEquationSpherical:80}
\begin{aligned}
\partial_\theta \rcap &= \thetacap \\
\partial_\theta \thetacap &= -\rcap \\
\partial_\theta \phicap &= 0 \\
\partial_\phi \rcap &= S_\theta \phicap \\
\partial_\phi \thetacap &= C_\theta \phicap \\
\partial_\phi \phicap &= -\rcap S_\theta – \thetacap C_\theta.
\end{aligned}

We’ll need to evaluate a number of derivatives. Starting with the $$\rcap$$ components

\label{eqn:vectorWaveEquationSpherical:120}
\partial_r \lr{ r^2 \partial_r \lr{ \rcap \psi} }
=
\rcap \partial_r \lr{ r^2 \partial_r \psi }

\label{eqn:vectorWaveEquationSpherical:140}
\begin{aligned}
\partial_\theta \lr{ S_\theta \partial_\theta \lr{ \rcap \psi } }
&=
\partial_\theta \lr{ S_\theta (\thetacap \psi + \rcap \partial_\theta \psi ) } \\
&=
C_\theta (\thetacap \psi + \rcap \partial_\theta \psi )
+ S_\theta \partial_\theta (\thetacap \psi + \rcap \partial_\theta \psi ) \\
&=
C_\theta (\thetacap \psi + \rcap \partial_\theta \psi )
+ S_\theta \partial_\theta ((\partial_\theta \thetacap) \psi + (\partial_\theta \rcap) \partial_\theta \psi )
+ S_\theta \partial_\theta (\thetacap \partial_\theta \psi + \rcap \partial_{\theta \theta} \psi ) \\
&=
C_\theta (\thetacap \psi + \rcap \partial_\theta \psi )
+ S_\theta ((-\rcap) \psi + (\thetacap) \partial_\theta \psi )
+ S_\theta (\thetacap \partial_\theta \psi + \rcap \partial_{\theta \theta} \psi ) \\
&=
\rcap \lr{
C_\theta \partial_\theta \psi
– S_\theta \psi
+ S_\theta \partial_{\theta \theta} \psi
}
+\thetacap \lr{
C_\theta \psi
+ 2 S_\theta \partial_\theta \psi
}
\end{aligned}

\label{eqn:vectorWaveEquationSpherical:160}
\begin{aligned}
\partial_{\phi \phi} \lr{ \rcap \psi}
&=
\partial_\phi \lr{ (\partial_\phi \rcap) \psi + \rcap \partial_\phi \psi } \\
&=
\partial_\phi \lr{ (S_\theta \phicap) \psi + \rcap \partial_\phi \psi } \\
&=
S_\theta \partial_\phi (\phicap \psi)
+ \partial_\phi \lr{ \rcap \partial_\phi \psi } \\
&=
S_\theta (\partial_\phi \phicap) \psi
+ S_\theta \phicap \partial_\phi \psi
+ (\partial_\phi \rcap) \partial_\phi \psi
+ \rcap \partial_{\phi\phi} \psi \\
&=
S_\theta (-S_\theta \rcap – C_\theta \thetacap) \psi
+ S_\theta \phicap \partial_\phi \psi
+ (S_\theta \phicap) \partial_\phi \psi
+ \rcap \partial_{\phi\phi} \psi \\
&=
\rcap \lr{
– S_\theta^2 \psi
+ \partial_{\phi\phi} \psi
}
+
\thetacap \lr{
– S_\theta C_\theta \psi
}
+
\phicap \lr{
2 S_\theta \phicap \partial_\phi \psi
}
\end{aligned}

This gives

\label{eqn:vectorWaveEquationSpherical:180}
\begin{aligned}
&=
\rcap \lr{
\inv{r^2}
\partial_r \lr{ r^2 \partial_r A_r }
+
\inv{r^2 S_\theta}
\lr{
C_\theta \partial_\theta A_r
– S_\theta A_r
+ S_\theta \partial_{\theta \theta} A_r
}
+ \inv{r^2 S_\theta^2}
\lr{
– S_\theta^2 A_r
+ \partial_{\phi\phi} A_r
}
} \\
\thetacap
\lr{
\inv{r^2 S_\theta}
\lr{
C_\theta A_r
+ 2 S_\theta \partial_\theta A_r
}

\inv{r^2 S_\theta}
S_\theta C_\theta A_r
} \\
\phicap
\lr{
\inv{r^2 S_\theta^2}
2 S_\theta \partial_\phi A_r
} \\
&=
\rcap \lr{
-\frac{2}{r^2 } A_r
}
+
\frac{\thetacap}{r^2}
\lr{
\frac{C_\theta}{S_\theta} A_r
+ 2 \partial_\theta A_r
– C_\theta A_r
}
+
\phicap
\frac{2}{r^2 S_\theta} \partial_\phi A_r.
\end{aligned}

Next, let’s compute the derivatives of the $$\thetacap$$ projection.

\label{eqn:vectorWaveEquationSpherical:220}
\partial_r \lr{ r^2 \partial_r \lr{ \thetacap \psi} }
=
\thetacap \partial_r \lr{ r^2 \partial_r \psi }

\label{eqn:vectorWaveEquationSpherical:240}
\begin{aligned}
\partial_\theta \lr{ S_\theta \partial_\theta \lr{ \thetacap \psi } }
&=
\partial_\theta \lr{ S_\theta
\lr{
(\partial_\theta \thetacap ) \psi
+\thetacap \partial_\theta \psi
}
} \\
&=
\partial_\theta
\lr{ S_\theta
\lr{
(-\rcap ) \psi
+\thetacap \partial_\theta \psi
}
} \\
&=
C_\theta \lr{
-\rcap \psi
+\thetacap \partial_\theta \psi
}
+
S_\theta
\lr{
-(\partial_\theta \rcap) \psi
-\rcap \partial_\theta \psi
+(\partial_\theta \thetacap) \partial_\theta \psi
+\thetacap \partial_{\theta \theta} \psi
} \\
&=
C_\theta \lr{
-\rcap \psi
+\thetacap \partial_\theta \psi
}
+
S_\theta
\lr{
-(\thetacap) \psi
-\rcap \partial_\theta \psi
+(-\rcap) \partial_\theta \psi
+\thetacap \partial_{\theta \theta} \psi
} \\
&=
\rcap \lr{
-C_\theta \psi
-2 S_\theta \partial_\theta \psi
}
+
\thetacap \lr{
+C_\theta \partial_\theta \psi
-S_\theta \psi
+S_\theta \partial_{\theta \theta} \psi
} \\
&=
\rcap \lr{
-C_\theta \psi
-2 S_\theta \partial_\theta \psi
}
+
\thetacap \lr{
+\partial_\theta (S_\theta \partial_\theta \psi)
-S_\theta \psi
}
\end{aligned}

\label{eqn:vectorWaveEquationSpherical:260}
\begin{aligned}
\partial_{\phi \phi} \lr{ \thetacap \psi}
&=
\partial_{\phi} \lr{
(\partial_\phi \thetacap) \psi
+\thetacap \partial_\phi \psi
} \\
&=
\partial_{\phi} \lr{
(C_\theta \phicap) \psi
+\thetacap \partial_\phi \psi
} \\
&=
C_\theta \partial_{\phi} (\phicap \psi)
+
\partial_{\phi} ( \thetacap \partial_\phi \psi ) \\
&=
C_\theta (\partial_\phi \phicap) \psi
+C_\theta \phicap \partial_{\phi} \psi
+ (\partial_\phi \thetacap) \partial_\phi \psi
+\thetacap \partial_{\phi\phi} \psi \\
&=
C_\theta (-\rcap S_\theta – \thetacap C_\theta) \psi
+C_\theta \phicap \partial_{\phi} \psi
+ (C_\theta \phicap) \partial_\phi \psi
+\thetacap \partial_{\phi\phi} \psi \\
&=
-\rcap C_\theta S_\theta \psi
+\thetacap \lr{
-C_\theta C_\theta \psi
+\partial_{\phi\phi} \psi
}
+2 \phicap C_\theta \partial_\phi \psi,
\end{aligned}

which gives
\label{eqn:vectorWaveEquationSpherical:360}
\begin{aligned}
&=
\rcap
\lr{
\inv{r^2 S_\theta}
\lr{
-C_\theta A_\theta
-2 S_\theta \partial_\theta A_\theta
}

\inv{r^2 S_\theta^2}
C_\theta S_\theta A_\theta
} \\
\thetacap \lr{
\inv{r^2} \partial_r \lr{ r^2 \partial_r A_\theta }
+
\inv{r^2 S_\theta}
\lr{
+\partial_\theta (S_\theta \partial_\theta A_\theta)
-S_\theta A_\theta
}
+\inv{r^2 S_\theta^2}
\lr{
-C_\theta C_\theta A_\theta
+\partial_{\phi\phi} A_\theta
}
} \\
\phicap \lr{
\inv{r^2 S_\theta^2}
2 C_\theta \partial_\phi A_\theta
} \\
&=
-2 \rcap
\inv{r^2 S_\theta}
\partial_\theta (S_\theta A_\theta)
+
\thetacap \lr{
-\inv{r^2}
A_\theta
-\inv{r^2 S_\theta^2} C_\theta^2 A_\theta
}
+
2 \phicap \lr{
\inv{r^2 S_\theta^2}
C_\theta \partial_\phi A_\theta
}.
\end{aligned}

Finally, we can compute the derivatives of the $$\phicap$$ projection.

\label{eqn:vectorWaveEquationSpherical:300}
\partial_r \lr{ r^2 \partial_r \lr{ \phicap \psi} }
=
\phicap \partial_r \lr{ r^2 \partial_r \psi }

\label{eqn:vectorWaveEquationSpherical:320}
\partial_\theta \lr{ S_\theta \partial_\theta \lr{ \phicap \psi } }
=
\phicap \partial_\theta \lr{ S_\theta \partial_\theta \psi }

\label{eqn:vectorWaveEquationSpherical:340}
\begin{aligned}
\partial_{\phi \phi} \lr{ \phicap \psi}
&=
\partial_{\phi} \lr{
(\partial_\phi \phicap) \psi
+\phicap \partial_\phi \psi
} \\
&=
\partial_{\phi} \lr{
(-\rcap S_\theta – \thetacap C_\theta) \psi
+\phicap \partial_\phi \psi
} \\
&=
-((\partial_\phi \rcap) S_\theta + (\partial_\phi \thetacap) C_\theta) \psi
-(\rcap S_\theta + \thetacap C_\theta) \partial_\phi \psi
+(\partial_\phi \phicap \partial_\phi \psi
+\phicap \partial_{\phi \phi} \psi \\
&=
-((S_\theta \phicap) S_\theta + (C_\theta \phicap) C_\theta) \psi
-(\rcap S_\theta + \thetacap C_\theta) \partial_\phi \psi
+(-\rcap S_\theta – \thetacap C_\theta) \partial_\phi \psi
+\phicap \partial_{\phi \phi} \psi \\
&=
– 2 \rcap S_\theta \partial_\phi \psi
– 2 \thetacap C_\theta \partial_\phi \psi
+ \phicap \lr{
\partial_{\phi \phi} \psi
-\psi
},
\end{aligned}

which gives
\label{eqn:vectorWaveEquationSpherical:380}
\begin{aligned}
&=
-2 \rcap \inv{r^2 S_\theta} \partial_\phi A_\phi
-2 \thetacap \inv{r^2 S_\theta^2} C_\theta \partial_\phi A_\phi \\
\phicap \lr{
\inv{r^2}
\partial_r \lr{ r^2 \partial_r A_\phi }
+
\inv{r^2 S_\theta}
\partial_\theta \lr{ S_\theta \partial_\theta A_\phi }
+
\inv{r^2 S_\theta^2}
\lr{
\partial_{\phi \phi} A_\phi -A_\phi
}
} \\
&=
-2 \rcap \inv{r^2 S_\theta} \partial_\phi A_\phi
-2 \thetacap \inv{r^2 S_\theta^2} C_\theta \partial_\phi A_\phi
+
\phicap \lr{
}.
\end{aligned}

The vector Laplacian resolves into three augmented scalar wave equations, all highly coupled

\label{eqn:vectorWaveEquationSpherical:420}
\boxed{
\begin{aligned}
\rcap \cdot \lr{ \spacegrad^2 \BA }
&=
-\frac{2}{r^2 } A_r
– \frac{2}{r^2 S_\theta} \partial_\theta (S_\theta A_\theta)
– \frac{2}{r^2 S_\theta} \partial_\phi A_\phi \\
\thetacap \cdot \lr{ \spacegrad^2 \BA }
&=
\frac{1}{r^2} \frac{C_\theta}{S_\theta} A_r
+ \frac{2}{r^2} \partial_\theta A_r
– \frac{1}{r^2} C_\theta A_r
– \inv{r^2} A_\theta
– \inv{r^2 S_\theta^2} C_\theta^2 A_\theta
-2 \inv{r^2 S_\theta^2} C_\theta \partial_\phi A_\phi \\
\phicap \cdot \lr{ \spacegrad^2 \BA }
&=
\frac{2}{r^2 S_\theta} \partial_\phi A_r
+ \frac{2}{r^2 S_\theta^2} C_\theta \partial_\phi A_\theta
+ \spacegrad^2 A_\phi – \inv{r^2} A_\phi.
\end{aligned}
}

I’d guess one way to decouple these equations would be to impose a constraint that allows all the non-wave equation terms in one of the component equations to be killed, and then substitute that constraint into the remaining equations. Let’s try one such constraint

\label{eqn:vectorWaveEquationSpherical:480}
A_r
=
– \inv{S_\theta} \partial_\theta (S_\theta A_\theta)
– \inv{S_\theta} \partial_\phi A_\phi.

This gives

\label{eqn:vectorWaveEquationSpherical:520}
\begin{aligned}
\rcap \cdot \lr{ \spacegrad^2 \BA }
&=
\thetacap \cdot \lr{ \spacegrad^2 \BA }
&=
\lr{
\frac{1}{r^2} \frac{C_\theta}{S_\theta}
+ \frac{2}{r^2} \partial_\theta
– \frac{1}{r^2} C_\theta
}
\lr{
– \inv{S_\theta} \partial_\theta (S_\theta A_\theta)
– \inv{S_\theta} \partial_\phi A_\phi
} \\
– \inv{r^2} A_\theta
– \inv{r^2 S_\theta^2} C_\theta^2 A_\theta
-\frac{2}{r^2 S_\theta^2} C_\theta \partial_\phi A_\phi \\
\phicap \cdot \lr{ \spacegrad^2 \BA }
&=
– \frac{2}{r^2 S_\theta} \partial_\phi
\lr{
\inv{S_\theta} \partial_\theta (S_\theta A_\theta)
+ \inv{S_\theta} \partial_\phi A_\phi
}
+ \frac{2}{r^2 S_\theta^2} C_\theta \partial_\phi A_\theta
+ \spacegrad^2 A_\phi – \inv{r^2} A_\phi \\
&=
-\frac{2}{r^2 S_\theta} \partial_\theta A_\theta
-\frac{2}{r^2 S_\theta^2} \partial_{\phi\phi} A_\theta
+ \spacegrad^2 A_\phi – \inv{r^2} A_\phi
\end{aligned}

It looks like some additional cancellations may be had in the $$\thetacap$$ projection of this constrained vector Laplacian. I’m not inclined to try to take this reduction any further without a thorough check of all the algebra (using Mathematica to do so would make sense).

I also guessing that such a solution might be how the $$\textrm{TE}^r$$ and $$\textrm{TM}^r$$ modes were defined, but that doesn’t appear to be the case according to [1]. There the wave equation is formulated in terms of the vector potentials (picking one to be zero and the other to be radial only). The solution obtained from such a potential wave equation then directly defines the $$\textrm{TE}^r$$ and $$\textrm{TM}^r$$ modes. It would be interesting to see how the modes derived in that analysis transform with application of the vector Laplacian derived above.

# References

[1] Constantine A Balanis. Advanced engineering electromagnetics. Wiley New York, 1989.

## Spherical gradient, divergence, curl and Laplacian

### Unit vectors

Two of the spherical unit vectors we can immediately write by inspection.

\label{eqn:sphericalLaplacian:20}
\begin{aligned}
\rcap &= \Be_1 \sin\theta \cos\phi + \Be_2 \sin\theta \sin\phi + \Be_3 \cos\theta \\
\phicap &= -\Be_1 \sin\theta + \Be_2 \cos\phi
\end{aligned}

We can compute $$\thetacap$$ by utilizing the right hand triplet property

\label{eqn:sphericalLaplacian:40}
\begin{aligned}
\thetacap
&=
\phicap \cross \rcap \\
&=
\begin{vmatrix}
\Be_1 & \Be_2 & \Be_3 \\
-S_\phi & C_\phi & 0 \\
S_\theta C_\phi & S_\theta S_\phi & C_\theta \\
\end{vmatrix} \\
&=
\Be_1 \lr{ C_\theta C_\phi }
+\Be_2 \lr{ C_\theta S_\phi }
+\Be_3 \lr{ -S_\theta \lr{ S_\phi^2 + C_\phi^2 } } \\
&=
\Be_1 \cos\theta \cos\phi
+\Be_2 \cos\theta \sin\phi
-\Be_3 \sin\theta.
\end{aligned}

Here I’ve used $$C_\theta = \cos\theta, S_\phi = \sin\phi, \cdots$$ as a convenient shorthand. Observe that with $$i = \Be_1 \Be_2$$, these unit vectors admit a small factorization that makes further manipulation easier

\label{eqn:sphericalLaplacian:80}
\boxed{
\begin{aligned}
\rcap &= \Be_1 e^{i\phi} \sin\theta + \Be_3 \cos\theta \\
\thetacap &= \cos\theta \Be_1 e^{i\phi} – \sin\theta \Be_3 \\
\phicap &= \Be_2 e^{i\phi}
\end{aligned}
}

It should also be the case that $$\rcap \thetacap \phicap = I$$, where $$I = \Be_1 \Be_2 \Be_3 = \Be_{123}$$ is the \R{3} pseudoscalar, which is straightforward to check

\label{eqn:sphericalLaplacian:60}
\begin{aligned}
\rcap \thetacap \phicap
&=
\lr{ \Be_1 e^{i\phi} \sin\theta + \Be_3 \cos\theta }
\lr{ \cos\theta \Be_1 e^{i\phi} – \sin\theta \Be_3 }
\Be_2 e^{i\phi} \\
&=
\lr{ \sin\theta \cos\theta – \cos\theta \sin\theta + \Be_{31} e^{i\phi} \lr{ \cos^2\theta + \sin^2\theta } }
\Be_2 e^{i\phi} \\
&=
\Be_{31} \Be_2 e^{-i\phi} e^{i\phi} \\
&=
\Be_{123}.
\end{aligned}

This property could also have been used to compute $$\thetacap$$.

To compute the gradient, note that the coordinate vectors for the spherical parameterization are
\label{eqn:sphericalLaplacian:120}
\begin{aligned}
\Bx_r
&= \PD{r}{\Br} \\
&= \PD{r}{\lr{r \rcap}} \\
&= \rcap + r \PD{r}{\rcap} \\
&= \rcap,
\end{aligned}

\label{eqn:sphericalLaplacian:140}
\begin{aligned}
\Bx_\theta
&= \PD{\theta}{\lr{r \rcap} } \\
&= r \PD{\theta}{} \lr{ S_\theta \Be_1 e^{i\phi} + C_\theta \Be_3 } \\
&= r \PD{\theta}{} \lr{ C_\theta \Be_1 e^{i\phi} – S_\theta \Be_3 } \\
&= r \thetacap,
\end{aligned}

\label{eqn:sphericalLaplacian:160}
\begin{aligned}
\Bx_\phi
&= \PD{\phi}{\lr{r \rcap} } \\
&= r \PD{\phi}{} \lr{ S_\theta \Be_1 e^{i\phi} + C_\theta \Be_3 } \\
&= r S_\theta \Be_2 e^{i\phi} \\
&= r \sin\theta \phicap.
\end{aligned}

Since these are all normal, the dual vectors defined by $$\Bx^j \cdot \Bx_k = \delta^j_k$$, can be obtained by inspection
\label{eqn:sphericalLaplacian:180}
\begin{aligned}
\Bx^r &= \rcap \\
\Bx^\theta &= \inv{r} \thetacap \\
\Bx^\phi &= \inv{r \sin\theta} \phicap.
\end{aligned}

\label{eqn:sphericalLaplacian:200}
\Bx^r \PD{r}{} +
\Bx^\theta \PD{\theta}{} +
\Bx^\phi \PD{\phicap}{},

or
\label{eqn:sphericalLaplacian:240}
\boxed{
=
\rcap \PD{r}{} +
\frac{\thetacap}{r} \PD{\theta}{} +
\frac{\phicap}{r\sin\theta} \PD{\phicap}{}.
}

More information on this general dual-vector technique of computing the gradient in curvilinear coordinate systems can be found in
[2].

### Partials

To compute the divergence, curl and Laplacian, we’ll need the partials of each of the unit vectors $$\PDi{\theta}{\rcap}, \PDi{\phi}{\rcap}, \PDi{\theta}{\thetacap}, \PDi{\phi}{\thetacap}, \PDi{\phi}{\phicap}$$.

The $$\thetacap$$ partials are

\label{eqn:sphericalLaplacian:260}
\begin{aligned}
\PD{\theta}{\thetacap}
&=
\PD{\theta}{} \lr{
C_\theta \Be_1 e^{i\phi} – S_\theta \Be_3
} \\
&=
-S_\theta \Be_1 e^{i\phi} – C_\theta \Be_3 \\
&=
-\rcap,
\end{aligned}

\label{eqn:sphericalLaplacian:280}
\begin{aligned}
\PD{\phi}{\thetacap}
&=
\PD{\phi}{} \lr{
C_\theta \Be_1 e^{i\phi} – S_\theta \Be_3
} \\
&=
C_\theta \Be_2 e^{i\phi} \\
&=
C_\theta \phicap.
\end{aligned}

The $$\phicap$$ partials are

\label{eqn:sphericalLaplacian:300}
\begin{aligned}
\PD{\theta}{\phicap}
&=
\PD{\theta}{} \Be_2 e^{i\phi} \\
&=
0.
\end{aligned}

\label{eqn:sphericalLaplacian:320}
\begin{aligned}
\PD{\phi}{\phicap}
&=
\PD{\phi}{} \Be_2 e^{i \phi} \\
&=
-\Be_1 e^{i \phi} \\
&=
-\rcap \gpgradezero{ \rcap \Be_1 e^{i \phi} }
– \thetacap \gpgradezero{ \thetacap \Be_1 e^{i \phi} }
– \phicap \gpgradezero{ \phicap \Be_1 e^{i \phi} } \\
&=
\Be_1 e^{i\phi} S_\theta + \Be_3 C_\theta
} \Be_1 e^{i \phi} }
C_\theta \Be_1 e^{i\phi} – S_\theta \Be_3
} \Be_1 e^{i \phi} } \\
&=
-\rcap \gpgradezero{ e^{-i\phi} S_\theta e^{i \phi} }
– \thetacap \gpgradezero{ C_\theta e^{-i\phi} e^{i \phi} } \\
&=
-\rcap S_\theta
– \thetacap C_\theta.
\end{aligned}

The $$\rcap$$ partials are were computed as a side effect of evaluating $$\Bx_\theta$$, and $$\Bx_\phi$$, and are

\label{eqn:sphericalLaplacian:340}
\PD{\theta}{\rcap}
=
\thetacap,

\label{eqn:sphericalLaplacian:360}
\PD{\phi}{\rcap}
=
S_\theta \phicap.

In summary
\label{eqn:sphericalLaplacian:380}
\boxed{
\begin{aligned}
\partial_{\theta}{\rcap} &= \thetacap \\
\partial_{\phi}{\rcap} &= S_\theta \phicap \\
\partial_{\theta}{\thetacap} &= -\rcap \\
\partial_{\phi}{\thetacap} &= C_\theta \phicap \\
\partial_{\theta}{\phicap} &= 0 \\
\partial_{\phi}{\phicap} &= -\rcap S_\theta – \thetacap C_\theta.
\end{aligned}
}

### Divergence and curl.

The divergence and curl can be computed from the vector product of the spherical coordinate gradient and the spherical representation of a vector. That is

\label{eqn:sphericalLaplacian:400}

\label{eqn:sphericalLaplacian:420}
\begin{aligned}
&=
\lr{
\rcap \partial_{r}
+ \frac{\thetacap}{r} \partial_{\theta}
+ \frac{\phicap}{rS_\theta} \partial_{\phi}
}
\lr{ \rcap A_r + \thetacap A_\theta + \phicap A_\phi} \\
&=
\rcap \partial_{r}
\lr{ \rcap A_r + \thetacap A_\theta + \phicap A_\phi} \\
&+ \frac{\thetacap}{r} \partial_{\theta}
\lr{ \rcap A_r + \thetacap A_\theta + \phicap A_\phi} \\
&+ \frac{\phicap}{rS_\theta} \partial_{\phicap}
\lr{ \rcap A_r + \thetacap A_\theta + \phicap A_\phi} \\
&=
\lr{ \partial_r A_r + \rcap \thetacap \partial_r A_\theta + \rcap \phicap \partial_r A_\phi} \\
&+ \frac{1}{r}
\lr{
\thetacap (\partial_\theta \rcap) A_r + \thetacap (\partial_\theta \thetacap) A_\theta + \thetacap (\partial_\theta \phicap) A_\phi
+\thetacap \rcap \partial_\theta A_r + \partial_\theta A_\theta + \thetacap \phicap \partial_\theta A_\phi
} \\
&+ \frac{1}{rS_\theta}
\lr{
\phicap (\partial_\phi \rcap) A_r + \phicap (\partial_\phi \thetacap) A_\theta + \phicap (\partial_\phi \phicap) A_\phi
+\phicap \rcap \partial_\phi A_r + \phicap \thetacap \partial_\phi A_\theta + \partial_\phi A_\phi
} \\
&=
\lr{ \partial_r A_r + \rcap \thetacap \partial_r A_\theta + \rcap \phicap \partial_r A_\phi} \\
&+ \frac{1}{r}
\lr{
\thetacap (\thetacap) A_r + \thetacap (-\rcap) A_\theta + \thetacap (0) A_\phi
+\thetacap \rcap \partial_\theta A_r + \partial_\theta A_\theta + \thetacap \phicap \partial_\theta A_\phi
} \\
&+ \frac{1}{r S_\theta}
\lr{
\phicap (S_\theta \phicap) A_r + \phicap (C_\theta \phicap) A_\theta – \phicap (\rcap S_\theta + \thetacap C_\theta) A_\phi
+\phicap \rcap \partial_\phi A_r + \phicap \thetacap \partial_\phi A_\theta + \partial_\phi A_\phi
}.
\end{aligned}

The scalar component of this is the divergence
\label{eqn:sphericalLaplacian:440}
\begin{aligned}
&=
\partial_r A_r
+ \frac{A_r}{r}
+ \inv{r} \partial_\theta A_\theta
+ \frac{1}{r S_\theta}
\lr{ S_\theta A_r + C_\theta A_\theta + \partial_\phi A_\phi
} \\
&=
\partial_r A_r
+ 2 \frac{A_r}{r}
+ \inv{r} \partial_\theta A_\theta
+ \frac{1}{r S_\theta}
C_\theta A_\theta
+ \frac{1}{r S_\theta} \partial_\phi A_\phi \\
&=
\partial_r A_r
+ 2 \frac{A_r}{r}
+ \inv{r} \partial_\theta A_\theta
+ \frac{1}{r S_\theta}
C_\theta A_\theta
+ \frac{1}{r S_\theta} \partial_\phi A_\phi,
\end{aligned}

which can be factored as
\label{eqn:sphericalLaplacian:460}
\boxed{
=
\inv{r^2} \partial_r (r^2 A_r)
+ \inv{r S_\theta} \partial_\theta (S_\theta A_\theta)
+ \frac{1}{r S_\theta} \partial_\phi A_\phi.
}

The bivector grade of $$\spacegrad \BA$$ is the bivector curl
\label{eqn:sphericalLaplacian:480}
\begin{aligned}
&=
\lr{
\rcap \thetacap \partial_r A_\theta + \rcap \phicap \partial_r A_\phi
} \\
\lr{
\thetacap (-\rcap) A_\theta
+\thetacap \rcap \partial_\theta A_r + \thetacap \phicap \partial_\theta A_\phi
} \\
\frac{1}{r S_\theta}
\lr{
-\phicap (\rcap S_\theta + \thetacap C_\theta) A_\phi
+\phicap \rcap \partial_\phi A_r + \phicap \thetacap \partial_\phi A_\theta
} \\
&=
\lr{
\rcap \thetacap \partial_r A_\theta – \phicap \rcap \partial_r A_\phi
} \\
\lr{
\rcap \thetacap A_\theta
-\rcap \thetacap \partial_\theta A_r + \thetacap \phicap \partial_\theta A_\phi
} \\
\frac{1}{r S_\theta}
\lr{
-\phicap \rcap S_\theta A_\phi + \thetacap \phicap C_\theta A_\phi
+\phicap \rcap \partial_\phi A_r – \thetacap \phicap \partial_\phi A_\theta
} \\
&=
\thetacap \phicap \lr{
\inv{r S_\theta} C_\theta A_\phi
+\frac{1}{r} \partial_\theta A_\phi
-\frac{1}{r S_\theta} \partial_\phi A_\theta
} \\
-\partial_r A_\phi
+
\frac{1}{r S_\theta}
\lr{
-S_\theta A_\phi
+ \partial_\phi A_r
}
} \\
\partial_r A_\theta
+ \frac{1}{r} A_\theta
– \inv{r} \partial_\theta A_r
} \\
&=
I
\rcap \lr{
\inv{r S_\theta} \partial_\theta (S_\theta A_\phi)
-\frac{1}{r S_\theta} \partial_\phi A_\theta
}
+ I \thetacap \lr{
\frac{1}{r S_\theta} \partial_\phi A_r
-\inv{r} \partial_r (r A_\phi)
}
+ I \phicap \lr{
\inv{r} \partial_r (r A_\theta)
– \inv{r} \partial_\theta A_r
}
\end{aligned}

This gives
\label{eqn:sphericalLaplacian:500}
\boxed{
=
\rcap \lr{
\inv{r S_\theta} \partial_\theta (S_\theta A_\phi)
-\frac{1}{r S_\theta} \partial_\phi A_\theta
}
+ \thetacap \lr{
\frac{1}{r S_\theta} \partial_\phi A_r
-\inv{r} \partial_r (r A_\phi)
}
+ \phicap \lr{
\inv{r} \partial_r (r A_\theta)
– \inv{r} \partial_\theta A_r
}.
}

This and the divergence result above both check against the back cover of [1].

### Laplacian

Using the divergence and curl it’s possible to compute the Laplacian from those, but we saw in cylindrical coordinates that it was much harder to do it that way than to do it directly.

\label{eqn:sphericalLaplacian:540}
\begin{aligned}
&=
\lr{
\rcap \partial_{r} +
\frac{\thetacap}{r} \partial_{\theta} +
\frac{\phicap}{r S_\theta} \partial_{\phi}
}
\lr{
\rcap \partial_{r} \psi
+ \frac{\thetacap}{r} \partial_{\theta} \psi
+ \frac{\phicap}{r S_\theta} \partial_{\phi} \psi
} \\
&=
\partial_{rr} \psi
+ \rcap \thetacap \partial_r \lr{ \inv{r} \partial_\theta \psi}
+ \rcap \phicap \inv{S_\theta} \partial_r \lr{ \inv{r} \partial_\phi \psi } \\
&
\quad + \frac{\thetacap}{r} \partial_{\theta} \lr{ \rcap \partial_{r} \psi }
+ \frac{\thetacap}{r^2} \partial_{\theta} \lr{ \thetacap \partial_{\theta} \psi }
+ \frac{\thetacap}{r^2} \partial_{\theta} \lr{ \frac{\phicap}{S_\theta} \partial_{\phi} \psi } \\
&
\quad + \frac{\phicap}{r S_\theta} \partial_{\phi} \lr{ \rcap \partial_{r} \psi }
+ \frac{\phicap}{r^2 S_\theta} \partial_{\phi} \lr{ \thetacap \partial_{\theta} \psi }
+ \frac{\phicap}{r^2 S_\theta^2} \partial_{\phi} \lr{ \phicap \partial_{\phi} \psi } \\
&=
\partial_{rr} \psi
+ \rcap \thetacap \partial_r \lr{ \inv{r} \partial_\theta \psi}
+ \rcap \phicap \inv{S_\theta} \partial_r \lr{ \inv{r} \partial_\phi \psi } \\
&
\quad + \frac{\thetacap\rcap}{r} \partial_{\theta} \lr{ \partial_{r} \psi }
+ \frac{1}{r^2} \partial_{\theta \theta} \psi
+ \frac{\thetacap \phicap}{r^2} \partial_{\theta} \lr{ \frac{1}{S_\theta} \partial_{\phi} \psi } \\
&
\quad + \frac{\phicap \rcap}{r S_\theta} \partial_{\phi r} \psi
+ \frac{\phicap\thetacap}{r^2 S_\theta} \partial_{\phi\theta} \psi
+ \frac{1}{r^2 S_\theta^2} \partial_{\phi \phi} \psi \\
&
\quad + \frac{\thetacap}{r} (\partial_\theta \rcap) \partial_{r} \psi
+ \frac{\thetacap}{r^2} (\partial_\theta \thetacap) \partial_{\theta} \psi
+ \frac{\thetacap}{r^2} (\partial_\theta \phicap) \frac{\phicap}{S_\theta} \partial_{\phi} \psi \\
&
\quad + \frac{\phicap}{r S_\theta} (\partial_\phi \rcap) \partial_{r} \psi
+ \frac{\phicap}{r^2 S_\theta} (\partial_\phi \thetacap) \partial_{\theta} \psi
+ \frac{\phicap}{r^2 S_\theta^2} (\partial_\phi \phicap) \partial_{\phi} \psi \\
&=
\partial_{rr} \psi
+ \rcap \thetacap \partial_r \lr{ \inv{r} \partial_\theta \psi}
+ \rcap \phicap \inv{S_\theta} \partial_r \lr{ \inv{r} \partial_\phi \psi } \\
&
\quad + \frac{\thetacap\rcap}{r} \partial_{\theta} \lr{ \partial_{r} \psi }
+ \frac{1}{r^2} \partial_{\theta \theta} \psi
+ \frac{\thetacap \phicap}{r^2} \partial_{\theta} \lr{ \frac{1}{S_\theta} \partial_{\phi} \psi } \\
&
\quad + \frac{\phicap \rcap}{r S_\theta} \partial_{\phi r} \psi
+ \frac{\phicap\thetacap}{r^2 S_\theta} \partial_{\phi\theta} \psi
+ \frac{1}{r^2 S_\theta^2} \partial_{\phi \phi} \psi \\
&
\quad + \frac{\thetacap}{r} (\thetacap) \partial_{r} \psi
+ \frac{\thetacap}{r^2} (-\rcap) \partial_{\theta} \psi
+ \frac{\thetacap}{r^2} (0) \frac{\phicap}{S_\theta} \partial_{\phi} \psi \\
&
\quad + \frac{\phicap}{r S_\theta} (S_\theta \phicap) \partial_{r} \psi
+ \frac{\phicap}{r^2 S_\theta} (C_\theta \phicap) \partial_{\theta} \psi
+ \frac{\phicap}{r^2 S_\theta^2} (-\rcap S_\theta – \thetacap C_\theta) \partial_{\phi} \psi
\end{aligned}

All the bivector factors are expected to cancel out, but this should be checked. Those with an $$\rcap \thetacap$$ factor are

\label{eqn:sphericalLaplacian:560}
\partial_r \lr{ \inv{r} \partial_\theta \psi}
– \frac{1}{r} \partial_{\theta r} \psi
+ \frac{1}{r^2} \partial_{\theta} \psi
=
-\inv{r^2} \partial_\theta \psi
+\inv{r} \partial_{r \theta} \psi
– \frac{1}{r} \partial_{\theta r} \psi
+ \frac{1}{r^2} \partial_{\theta} \psi
= 0,

and those with a $$\thetacap \phicap$$ factor are
\label{eqn:sphericalLaplacian:580}
\frac{1}{r^2} \partial_{\theta} \lr{ \frac{1}{S_\theta} \partial_{\phi} \psi }
– \frac{1}{r^2 S_\theta} \partial_{\phi\theta} \psi
+ \frac{1}{r^2 S_\theta^2} C_\theta \partial_{\phi} \psi
=
– \frac{1}{r^2} \frac{C_\theta}{S_\theta^2} \partial_{\phi} \psi
+ \frac{1}{r^2 S_\theta} \partial_{\theta \phi} \psi
– \frac{1}{r^2 S_\theta} \partial_{\phi\theta} \psi
+ \frac{1}{r^2 S_\theta^2} C_\theta \partial_{\phi} \psi
= 0,

and those with a $$\phicap \rcap$$ factor are
\label{eqn:sphericalLaplacian:600}
– \inv{S_\theta} \partial_r \lr{ \inv{r} \partial_\phi \psi }
+ \frac{1}{r S_\theta} \partial_{\phi r} \psi
– \frac{1}{r^2 S_\theta^2} S_\theta \partial_{\phi} \psi
=
\inv{S_\theta} \frac{1}{r^2} \partial_\phi \psi
– \inv{r S_\theta} \partial_{r \phi} \psi
+ \frac{1}{r S_\theta} \partial_{\phi r} \psi
– \frac{1}{r^2 S_\theta} \partial_{\phi} \psi
= 0.

This leaves
\label{eqn:sphericalLaplacian:620}
=
\partial_{rr} \psi
+ \frac{2}{r} \partial_{r} \psi
+ \frac{1}{r^2} \partial_{\theta \theta} \psi
+ \frac{1}{r^2 S_\theta} C_\theta \partial_{\theta} \psi
+ \frac{1}{r^2 S_\theta^2} \partial_{\phi \phi} \psi.

This factors nicely as

\label{eqn:sphericalLaplacian:640}
\boxed{
=
\inv{r^2} \PD{r}{} \lr{ r^2 \PD{r}{ \psi} }
+ \frac{1}{r^2 \sin\theta} \PD{\theta}{} \lr{ \sin\theta \PD{\theta}{ \psi } }
+ \frac{1}{r^2 \sin\theta^2} \PDSq{\phi}{ \psi}
,
}

which checks against the back cover of Jackson. Here it has been demonstrated explicitly that this operator expression is valid for multivector fields $$\psi$$ as well as scalar fields $$\psi$$.

# References

[1] JD Jackson. Classical Electrodynamics. John Wiley and Sons, 2nd edition, 1975.

[2] A. Macdonald. Vector and Geometric Calculus. CreateSpace Independent Publishing Platform, 2012.

## Updated notes for ece1229 antenna theory

I’ve now posted a first update of my notesÂ for theÂ antenna theory courseÂ that I am taking this term at UofT.

Unlike most of the other classes I have taken, I am not attempting to take comprehensive notes for this class. The class is taught on slides which go by faster than I can easily take notes for (and some of which match the textbook closely). In class I have annotated my copy of textbook with little details instead. This set of notes contains musings of details that were unclear, or in some cases, details that were provided in class, but are not in the text (and too long to pencil into my book), as well as some notes Geometric Algebra formalism for Maxwell’s equations with magnetic sources (something I’ve encountered for the first time in any real detail in this class).

The notes compilation linked above includes all of the following separate notes, some of which have been posted separately on this blog:

## Notes for ece1229 antenna theory

I’ve now posted a first set of notes for the antenna theory course that I am taking this term at UofT.

Unlike most of the other classes I have taken, I am not attempting to take comprehensive notes for this class. The class is taught on slides that match the textbook so closely, there is little value to me taking notes that just replicate the text. Instead, I am annotating my copy of textbook with little details instead. My usual notes collection for the class will contain musings of details that were unclear, or in some cases, details that were provided in class, but are not in the text (and too long to pencil into my book.)

• Reading notes for chapter 2 (Fundamental Parameters of Antennas) and chapter 3 (Radiation Integrals and Auxiliary Potential Functions) of the class text.
• Geometric Algebra musings.Â  How to do formulate Maxwell’s equations when magnetic sources are also included (those modeling magnetic dipoles).
• Some problems for chapter 2 content.

## Fundamental parameters of antennas

This is my first set of notes for the UofT course ECE1229, Advanced Antenna Theory, taught by Prof. Eleftheriades, covering ch. 2 [1] content.

Unlike most of the other classes I have taken, I am not attempting to take comprehensive notes for this class. The class is taught on slides that match the textbook so closely, there is little value to me taking notes that just replicate the text. Instead, I am annotating my copy of textbook with little details instead. My usual notes collection for the class will contain musings of details that were unclear, or in some cases, details that were provided in class, but are not in the text (and too long to pencil into my book.)

## Poynting vector

The Poynting vector was written in an unfamiliar form

\label{eqn:chapter2Notes:560}
\boldsymbol{\mathcal{W}} = \boldsymbol{\mathcal{E}} \cross \boldsymbol{\mathcal{H}}.

I can roll with the use of a different symbol (i.e. not $$\BS$$) for the Poynting vector, but I’m used to seeing a $$\frac{c}{4\pi}$$ factor ([6] and [5]). I remembered something like that in SI units too, so was slightly confused not to see it here.

Per [3] that something is a $$\mu_0$$, as in

\label{eqn:chapter2Notes:580}
\boldsymbol{\mathcal{W}} = \inv{\mu_0} \boldsymbol{\mathcal{E}} \cross \boldsymbol{\mathcal{B}}.

Note that the use of $$\boldsymbol{\mathcal{H}}$$ instead of $$\boldsymbol{\mathcal{B}}$$ is what wipes out the requirement for the $$\frac{1}{\mu_0}$$ term since $$\boldsymbol{\mathcal{H}} = \boldsymbol{\mathcal{B}}/\mu_0$$, assuming linear media, and no magnetization.

It was mentioned that

U(\theta, \phi)
=
\frac{r^2}{2 \eta_0} \Abs{ \BE( r, \theta, \phi) }^2
=
\frac{1}{2 \eta_0} \lr{ \Abs{ E_\theta(\theta, \phi) }^2 + \Abs{ E_\phi(\theta, \phi) }^2},

where the intrinsic impedance of free space is

\eta_0 = \sqrt{\frac{\mu_0}{\epsilon_0}} = 377 \Omega.

(this is also eq. 2-19 in the text.)

To get an understanding where this comes from, consider the far field radial solutions to the electric and magnetic dipole problems, which have the respective forms (from [3]) of

\label{eqn:chapter2Notes:740}
\begin{aligned}
\boldsymbol{\mathcal{E}} &= -\frac{\mu_0 p_0 \omega^2 }{4 \pi } \frac{\sin\theta}{r} \cos\lr{w t – k r} \thetacap \\
\boldsymbol{\mathcal{B}} &= -\frac{\mu_0 p_0 \omega^2 }{4 \pi c} \frac{\sin\theta}{r} \cos\lr{w t – k r} \phicap \\
\end{aligned}

\label{eqn:chapter2Notes:760}
\begin{aligned}
\boldsymbol{\mathcal{E}} &= \frac{\mu_0 m_0 \omega^2 }{4 \pi c} \frac{\sin\theta}{r} \cos\lr{w t – k r} \phicap \\
\boldsymbol{\mathcal{B}} &= -\frac{\mu_0 m_0 \omega^2 }{4 \pi c^2} \frac{\sin\theta}{r} \cos\lr{w t – k r} \thetacap \\
\end{aligned}

In neither case is there a component in the direction of propagation, and in both cases (using $$\mu_0 \epsilon_0 = 1/c^2$$)

\label{eqn:chapter2Notes:780}
\Abs{\boldsymbol{\mathcal{H}}}
= \frac{\Abs{\boldsymbol{\mathcal{E}}}}{\mu_0 c}
= \Abs{\boldsymbol{\mathcal{E}}} \sqrt{\frac{\epsilon_0}{\mu_0}}
= \inv{\eta_0}\Abs{\boldsymbol{\mathcal{E}}} .

A superposition of the phasors for such dipole fields, in the far field, will have the form

\label{eqn:chapter2Notes:800}
\begin{aligned}
\BE &= \inv{r} \lr{ E_\theta(\theta, \phi) \thetacap + E_\phi(\theta, \phi) \phicap } \\
\BB &= \inv{r c} \lr{ E_\theta(\theta, \phi) \thetacap – E_\phi(\theta, \phi) \phicap },
\end{aligned}

with a corresponding time averaged Poynting vector

\label{eqn:chapter2Notes:820}
\begin{aligned}
\BW_{\textrm{av}}
&= \inv{2 \mu_0} \BE \cross \BB^\conj \\
&=
\inv{2 \mu_0 c r^2}
\lr{ E_\theta \thetacap + E_\phi \phicap } \cross
\lr{ E_\theta^\conj \thetacap – E_\phi^\conj \phicap } \\
&=
\frac{\thetacap \cross \phicap}{2 \mu_0 c r^2}
\lr{ \Abs{E_\theta}^2 + \Abs{E_\phi}^2 } \\
&=
\frac{\rcap}{2 \eta_0 r^2}
\lr{ \Abs{E_\theta}^2 + \Abs{E_\phi}^2 },
\end{aligned}

verifying \ref{eqn:advancedantennaL1:20} for a superposition of electric and magnetic dipole fields. This can likely be shown for more general fields too.

## Field plots

We can plot the fields, or intensity (or log plots in dB of these).
It is pointed out in [3] that when there is $$r$$ dependence these plots are done by considering the values of at fixed $$r$$.

The field plots are conceptually the simplest, since that vector parameterizes
a surface. Any such radial field with magnitude $$f(r, \theta, \phi)$$ can
be plotted in Mathematica in the $$\phi = 0$$ plane at $$r = r_0$$, or in
3D (respectively, but also at $$r = r_0$$) with code like that of the
following listing

Intensity plots can use the same code, with the only difference being the interpretation. The surface doesn’t represent the value of a vector valued radial function, but is the magnitude of a scalar valued function evaluated at $$f( r_0, \theta, \phi)$$.

The surfaces for $$U = \sin\theta, \sin^2\theta$$ in the plane are parametrically plotted in fig. 2, and for cosines in fig. 1 to compare with textbook figures.

Visualizations of $$U = \sin^2 \theta$$ and $$U = \cos^2 \theta$$ can be found in fig. 3 and fig. 4 respectively. Even for such simple functions these look pretty cool.

fig 3. Square sinusoidal radiation intensity

fig 4. Square cosinusoidal radiation intensity

## dB vs dBi

Note that dBi is used to indicate that the gain is with respect to an “isotropic” radiator.
This is detailed more in [2].

## Trig integrals

Tables 1.1 and 1.2 produced with tableOfTrigIntegrals.nb have some of the sine and cosine integrals that are pervasive in this chapter.

## Polarization vectors

The text introduces polarization vectors $$\rhocap$$ , but doesn’t spell out their form. Consider a plane wave field of the form

\label{eqn:chapter2Notes:840}
\BE
=
E_x e^{j \phi_x} e^{j \lr{ \omega t – k z }} \xcap
+
E_y e^{j \phi_y} e^{j \lr{ \omega t – k z }} \ycap.

The $$x, y$$ plane directionality of this phasor can be written

\label{eqn:chapter2Notes:860}
\Brho =
E_x e^{j \phi_x} \xcap
+
E_y e^{j \phi_y} \ycap,

so that

\label{eqn:chapter2Notes:880}
\BE = \Brho e^{j \lr{ \omega t – k z }}.

Separating this direction and magnitude into factors

\label{eqn:chapter2Notes:900}
\Brho = \Abs{\BE} \rhocap,

allows the phasor to be expressed as

\label{eqn:chapter2Notes:920}
\BE = \rhocap \Abs{\BE} e^{j \lr{ \omega t – k z }}.

As an example, suppose that $$E_x = E_y$$, and set $$\phi_x = 0$$. Then

\label{eqn:chapter2Notes:940}
\rhocap = \xcap + \ycap e^{j \phi_y}.

## Phasor power

In section 2.13 the phasor power is written as

\label{eqn:chapter2Notes:620}
I^2 R/2,

where $$I, R$$ are the magnitudes of phasors in the circuit.

I vaguely recall this relation, but had to refer back to [4] for the details.
This relation expresses average power over a period associated with the frequency of the phasor

\label{eqn:chapter2Notes:640}
\begin{aligned}
P
&= \inv{T} \int_{t_0}^{t_0 + T} p(t) dt \\
&= \inv{T} \int_{t_0}^{t_0 + T} \Abs{\BV} \cos\lr{ \omega t + \phi_V }
\Abs{\BI} \cos\lr{ \omega t + \phi_I} dt \\
&= \inv{T} \int_{t_0}^{t_0 + T} \Abs{\BV} \Abs{\BI}
\lr{
\cos\lr{ \phi_V – \phi_I } + \cos\lr{ 2 \omega t + \phi_V + \phi_I}
}
dt \\
&= \inv{2} \Abs{\BV} \Abs{\BI} \cos\lr{ \phi_V – \phi_I }.
\end{aligned}

Introducing the impedance for this circuit element

\label{eqn:chapter2Notes:660}
\BZ = \frac{ \Abs{\BV} e^{j\phi_V} }{ \Abs{\BI} e^{j\phi_I} } = \frac{\Abs{\BV}}{\Abs{\BI}} e^{j\lr{\phi_V – \phi_I}},

this average power can be written in phasor form

\label{eqn:chapter2Notes:680}
\BP = \inv{2} \Abs{\BI}^2 \BZ,

with
\label{eqn:chapter2Notes:700}
P = \textrm{Re} \BP.

Observe that we have to be careful to use the absolute value of the current phasor $$\BI$$, since $$\BI^2$$ differs in phase from $$\Abs{\BI}^2$$. This explains the conjugation in the [4] definition of complex power, which had the form

\label{eqn:chapter2Notes:720}
\BS = \BV_{\textrm{rms}} \BI^\conj_{\textrm{rms}}.

### Flat plate.

\label{eqn:chapter2Notes:960}
\sigma_{\textrm{max}} = \frac{4 \pi \lr{L W}^2}{\lambda^2}

fig. 6. Square geometry for RCS example.

### Sphere.

In the optical limit the radar cross section for a sphere

fig. 7. Sphere geometry for RCS example.

\label{eqn:chapter2Notes:980}
\sigma_{\textrm{max}} = \pi r^2

Note that this is smaller than the physical area $$4 \pi r^2$$.

### Cylinder.

fig. 8. Cylinder geometry for RCS example.

\label{eqn:chapter2Notes:1000}
\sigma_{\textrm{max}} = \frac{ 2 \pi r h^2}{\lambda}

### Tridedral corner reflector

fig. 9. Trihedral corner reflector geometry for RCS example.

\label{eqn:chapter2Notes:1020}
\sigma_{\textrm{max}} = \frac{ 4 \pi L^4}{3 \lambda^2}

## Scattering from a sphere vs frequency

Frequency dependence of spherical scattering is sketched in fig. 10.

• Low frequency (or small particles): Rayleigh\label{eqn:chapter2Notes:1040}
\sigma = \lr{\pi r^2} 7.11 \lr{\kappa r}^4, \qquad \kappa = 2 \pi/\lambda.
• Mie scattering (resonance),\label{eqn:chapter2Notes:1060}
\sigma_{\textrm{max}}(A) = 4 \pi r^2

\label{eqn:chapter2Notes:1080}
\sigma_{\textrm{max}}(B) = 0.26 \pi r^2.
• optical limit ( $$r \gg \lambda$$ )\label{eqn:chapter2Notes:1100}
\sigma = \pi r^2.

fig 10. Scattering from a sphere vs frequency (from Prof. Eleftheriades’ class notes).

FIXME: Do I have a derivation of this in my optics notes?

## Notation

• Time average.
and the text [1] use square brackets $$[\cdots]$$ for time averages, not $$<\cdots>$$. Was that an engineering convention?
writes $$\Omega$$ as a circle floating above a face up square bracket, as in fig. 1, and $$\sigma$$ like a number 6, as in fig. 1.
• Bold vectors are usually phasors, with (bold) calligraphic script used for the time domain fields. Example: $$\BE(x,y,z,t) = \ecap E(x,y) e^{j \lr{\omega t – k z}}, \boldsymbol{\mathcal{E}}(x, y, z, t) = \textrm{Re} \BE$$.

fig. 11. Prof. handwriting decoder ring: Omega

fig 12. Prof. handwriting decoder ring: sigma

# References

[1] Constantine A Balanis. Antenna theory: analysis and design. John Wiley \& Sons, 3rd edition, 2005.

[3] David Jeffrey Griffiths and Reed College. Introduction to electrodynamics. Prentice hall Upper Saddle River, NJ, 3rd edition, 1999.

[4] J.D. Irwin. Basic Engineering Circuit Analysis. MacMillian, 1993.

[5] JD Jackson. Classical Electrodynamics. John Wiley and Sons, 2nd edition, 1975.

[6] L.D. Landau and E.M. Lifshitz. The classical theory of fields. Butterworth-Heinemann, 1980. ISBN 0750627689.