geometric product

Updated notes for ece1229 antenna theory

March 16, 2015 ece1229 No comments , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

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:

Image theorem

March 14, 2015 ece1229 No comments , , , , , , , ,

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

In the last problem set we examined the array factor for a corner cube configuration, shown in fig. 1.

 

homework3Fig1

fig. 1. A corner-cube antenna.

 

Motivation

This is a horizontal dipole antenna placed next to a metallic corner. The radiation at points in the interior of the cube have contributions due to the line of sight field from the antenna as well as reflections. We looked at an approximation of ground reflections using the \underlineAndIndex{Image Theorem}, modeling the ground as a perfectly conducting surface. I completely misunderstood that theorem and how it should be applied. As presented it seemed like a simple way to figure out the reflection characteristics. This confused me since it did not seem consistent with Fresnel reflection theory. I did try to reconcile to the two, but that reconciliation only appeared to work for certain dipole orientations, and that orientation dependence remained an open question.

It turns out that the idea of the Image Theorem is to find a source configuration that contains the specified source, but contains enough other sources that the tangential component of the electric field superposition is zero on the conducting surface, as required by Maxwell’s equations. This allows the boundary to be completely removed from the problem.

Thinking of the corner cube configuration as a reflection problem, I positioned sources as in fig. 2.

 

incorrectImagePlacementForCornerCubeFig2

fig. 2. Incorrect Image Theorem source placement for corner cube.

 

Because of the horizontal orientation of the dipole, I argued that the reflection coefficient should be -1. The reflection point is a bit messy to calculate, and it turns out to zeroth order in \( h/r \) the \( \sin\theta \) magnitude scaling of the reflected (far-field) field is present for both reflected rays. I though that this was probably because the observation point lays at the same altitude for both the line of sight ray and the reflected ray.

Attempting this problem as a reflection problem makes it much more difficult than it needs to be. It turns out that the correct image source placement for this problem is that of fig. 3.

 

cornerCubeImageSourcePlacementFig3

fig. 3. Correct image source placement for the corner cube.

 

This wasn’t at all obvious to me. The key is understanding that the goal of the image source placement isn’t to figure out how the reflection will occur, but to manufacture a source configuration for which the tangential component of the electric field is zero on the conducting surface.

Image placement for infinite conducting plane.

Before thinking about the corner cube configuration, consider a horizontal dipole next to an infinite conducting plane. This, and the correct image source placement is illustrated in fig. 4.

 

reflectionOfImagePointsFig1

fig. 4. Image source placement for horizontal dipole.

 

I’ll now verify that this is the correct image source. This is basically a calculation that the tangential components of the electric fields from both sources sum to zero.

Let,

\begin{equation}\label{eqn:imageTheorem:20}
r = \Abs{\Bs – \Br_0},
\end{equation}

so that the magnetic vector potential for the first quadrant dipole has the form

\begin{equation}\label{eqn:imageTheorem:40}
\BA = \frac{A_0}{4 \pi r} e^{-j k r} \zcap.
\end{equation}

With

\begin{equation}\label{eqn:imageTheorem:60}
\begin{aligned}
\kcap &= \frac{\Bs – \Br_0}{s} \\
\tilde{\BE} &= \zcap – \lr{\zcap \cdot \kcap} \kcap,
\end{aligned}
\end{equation}

the far-field electric field at the point \( \Bs \) on the plane is

\begin{equation}\label{eqn:imageTheorem:80}
\BE = -j \omega \frac{A_0}{4 \pi r} e^{-j k r} \tilde{\BE}.
\end{equation}

If the normal to the plane is \( \ncap \) the tangential component of this field is the projection of \( \BE \) on the direction

\begin{equation}\label{eqn:imageTheorem:100}
\pcap = \frac{\kcap \cross \ncap}{\Abs{\kcap \cross \ncap}}.
\end{equation}

That tangential component is directed along

\begin{equation}\label{eqn:imageTheorem:120}
\lr{\tilde{\BE} \cdot \pcap } \pcap
=
\lr{\lr{\zcap – \lr{\zcap \cdot \kcap} \kcap} \cdot \lr{\kcap \cross \ncap}} \frac{\kcap \cross \ncap}{\Abs{\kcap \cross \ncap}^2}.
\end{equation}

Because the triple product \( \kcap \cdot \lr{\kcap \cross \ncap} = 0 \), the tangential component of the electric field, provided \( \kcap \cdot \ncap \ne 0 \), is

\begin{equation}\label{eqn:imageTheorem:140}
\BE_\parallel
=
-j \omega \frac{A_0}{4 \pi r} e^{-j k r} \zcap \cdot \lr{\kcap \cross \ncap} \frac{\kcap \cross \ncap}{ 1 – \lr{ \ncap \cdot \kcap }^2 }.
\end{equation}

Now the wave vector direction for the second quadrant ray on the plane is required. Both \( \kcap’ \) and \( \Bs’ \) are reflections across the plane. Any such reflection has the value

\begin{equation}\label{eqn:imageTheorem:160}
\begin{aligned}
\Bx’
&= \lr{ \Bx \wedge \ncap} \ncap – \lr{ \Bx \cdot \ncap } \ncap \\
&= – \lr{ \ncap \wedge \Bx + \ncap \cdot \Bx } \ncap \\
&= – \ncap \Bx \ncap.
\end{aligned}
\end{equation}

This multivector product nicely encapsulates the reflection operation. Consider a reflection against the y-z plane with normal \( \Be_1 \) to verify that this works

\begin{equation}\label{eqn:imageTheorem:180}
\begin{aligned}
-\Be_1 \Bx \Be_1
&=
-\Be_1 \lr{ x \Be_1 + y \Be_2 + z \Be_3 } \Be_1 \\
&=
-\lr{ x – y \Be_2 \Be_1 + z \Be_3 \Be_1 } \Be_1 \\
&=
-\lr{ x \Be_1 – y \Be_2 + z \Be_3 } \\
&=
– x \Be_1 + y \Be_2 + z \Be_3.
\end{aligned}
\end{equation}

This has the x component flipped in sign and the rest left untouched as desired for a reflection in the y-z plane.

The second quadrant field will have \( \kcap’ \cross \ncap \) terms in place of all the \( \kcap \cross \ncap \) terms of \ref{eqn:imageTheorem:140}. We want to know how the two compare. This calculation is simply done using the dual form of the cross product temporarily

\begin{equation}\label{eqn:imageTheorem:200}
\begin{aligned}
\kcap’ \cross \ncap
&=
-I \lr{ \kcap’ \wedge \ncap} \\
&=
-I \gpgradetwo{\kcap’ \ncap} \\
&=
-I \gpgradetwo{ {-\ncap \kcap \ncap} \ncap} \\
&=
I \gpgradetwo{ \ncap \kcap } \\
&=
I \ncap \wedge \kcap \\
&=
-\ncap \cross \kcap \\
&=
\kcap \cross \ncap.
\end{aligned}
\end{equation}

So, provided the image source in the second quadrant is oppositely oriented (sign inversion), the tangential components of the two will sum to zero on that surface.

Thinking back to the corner cube, it is clear that an image source opposite to the source across from one of the walls will result in a zero tangential electric field along this boundary as is the case here (say the y-z plane). A second pair of sources opposite from each other anywhere else also about the y-z plane will not change that zero tangential electric field on this surface, but if the signs of the sources is alternated as in fig. 3 it will also result in zero tangential electric field on the z-x plane, which has the desired boundary value effects for both surfaces of the corner cube.

Notes for ece1229 antenna theory

February 4, 2015 ece1229 No comments , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

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.)

The notes linked above include:

  • 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.

Phasor form of (extended) Maxwell’s equations in Geometric Algebra

February 3, 2015 ece1229 1 comment , , , , , , , , , , , , , , , ,

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

Separate examinations of the phasor form of Maxwell’s equation (with electric charges and current densities), and the Dual Maxwell’s equation (i.e. allowing magnetic charges and currents) were just performed. Here the structure of these equations with both electric and magnetic charges and currents will be examined.

The vector curl and divergence form of Maxwell’s equations are

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:20}
\spacegrad \cross \boldsymbol{\mathcal{E}} = -\PD{t}{\boldsymbol{\mathcal{B}}} -\BM
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:40}
\spacegrad \cross \boldsymbol{\mathcal{H}} = \boldsymbol{\mathcal{J}} + \PD{t}{\boldsymbol{\mathcal{D}}}
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:60}
\spacegrad \cdot \boldsymbol{\mathcal{D}} = \rho
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:80}
\spacegrad \cdot \boldsymbol{\mathcal{B}} = \rho_m.
\end{equation}

In phasor form these are

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:100}
\spacegrad \cross \BE = – j k c \BB -\BM
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:120}
\spacegrad \cross \BH = \BJ + j k c \BD
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:140}
\spacegrad \cdot \BD = \rho
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:160}
\spacegrad \cdot \BB = \rho_m.
\end{equation}

Switching to \( \BE = \BD/\epsilon_0, \BB = \mu_0 \BH\) fields (even though these aren’t the primary fields in engineering), gives

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:180}
\spacegrad \cross \BE = – j k (c \BB) -\BM
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:200}
\spacegrad \cross (c \BB) = \frac{\BJ}{\epsilon_0 c} + j k \BE
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:220}
\spacegrad \cdot \BE = \rho/\epsilon_0
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:240}
\spacegrad \cdot (c \BB) = c \rho_m.
\end{equation}

Finally, using

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:260}
\Bf \Bg = \Bf \cdot \Bg + I \Bf \cross \Bg,
\end{equation}

the divergence and curl contributions of each of the fields can be grouped

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:300}
\spacegrad \BE = \rho/\epsilon_0 – \lr{ j k (c \BB) +\BM} I
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:320}
\spacegrad (c \BB I) = c \rho_m I – \lr{ \frac{\BJ}{\epsilon_0 c} + j k \BE },
\end{equation}

or

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:340}
\spacegrad \lr{ \BE + c \BB I }
=
\rho/\epsilon_0 – \lr{ j k (c \BB) +\BM} I
+
c \rho_m I – \lr{ \frac{\BJ}{\epsilon_0 c} + j k \BE }.
\end{equation}

Regrouping gives Maxwell’s equations including both electric and magnetic sources
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:360}
\boxed{
\lr{ \spacegrad + j k } \lr{ \BE + c \BB I }
=
\inv{\epsilon_0 c} \lr{ c \rho – \BJ }
+ \lr{ c \rho_m – \BM } I.
}
\end{equation}

It was observed that these can be put into a tidy four vector form by premultiplying by \( \gamma_0 \), where

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:400}
J = \gamma_\mu J^\mu = \lr{ c \rho, \BJ }
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:420}
M = \gamma_\mu M^\mu = \lr{ c \rho_m, \BM }
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:440}
\grad = \gamma_0 \lr{ \spacegrad + j k } = \gamma^k \partial_k + j k \gamma_0,
\end{equation}

That gives

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:460}
\boxed{
\grad \lr{ \BE + c \BB I } = \frac{J}{\epsilon_0 c} + M I.
}
\end{equation}

When there were only electric sources, it was observed that potential solutions were of the form \( \BE + c \BB I \propto \grad \wedge A \), whereas when there was only magnetic sources it was observed that potential solutions were of the form \( \BE + c \BB I \propto (\grad \wedge F) I \). It seems reasonable to attempt a trial solution that contains both such contributions, say

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:480}
\BE + c \BB I = \grad \wedge A_{\textrm{e}} + \grad \wedge A_{\textrm{m}} I.
\end{equation}

Without any loss of generality Lorentz gauge conditions can be imposed on the four-vector fields \( A_{\textrm{e}}, A_{\textrm{m}} \). Those conditions are

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:500}
\grad \cdot A_{\textrm{e}} = \grad \cdot A_{\textrm{m}} = 0.
\end{equation}

Since \( \grad X = \grad \cdot X + \grad \wedge X \), for any four vector \( X \), the trial solution \ref{eqn:phasorMaxwellsWithElectricAndMagneticCharges:480} is reduced to

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:520}
\BE + c \BB I = \grad A_{\textrm{e}} + \grad A_{\textrm{m}} I.
\end{equation}

Maxwell’s equation is now

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:540}
\begin{aligned}
\frac{J}{\epsilon_0 c} + M I
&=
\grad^2 \lr{ A_{\textrm{e}} + A_{\textrm{m}} I } \\
&=
\gamma_0 \lr{ \spacegrad + j k }
\gamma_0 \lr{ \spacegrad + j k }
\lr{ A_{\textrm{e}} + A_{\textrm{m}} I } \\
&=
\lr{ -\spacegrad + j k }
\lr{ \spacegrad + j k }
\lr{ A_{\textrm{e}} + A_{\textrm{m}} I } \\
&=
-\lr{ \spacegrad^2 + k^2 }
\lr{ A_{\textrm{e}} + A_{\textrm{m}} I }.
\end{aligned}
\end{equation}

Notice how tidily this separates into vector and trivector components. Those are

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:580}
-\lr{ \spacegrad^2 + k^2 } A_{\textrm{e}} = \frac{J}{\epsilon_0 c}
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:600}
-\lr{ \spacegrad^2 + k^2 } A_{\textrm{m}} = M.
\end{equation}

The result is a single Helmholtz equation for each of the electric and magnetic four-potentials, and both can be solved completely independently. This was claimed in class, but now the underlying reason is clear.

Because a single frequency phasor relationship was implied the scalar components of each of these four potentials is determined by the Lorentz gauge condition. For example

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:620}
\begin{aligned}
0
&=
\spacegrad \cdot \lr{ A_{\textrm{e}} e^{j k c t} } \\
&=
\lr{ \gamma^0 \inv{c} \PD{t}{} + \gamma^k \PD{x^k}{} } \cdot
\lr{
\gamma_0 A_{\textrm{e}}^0 e^{j k c t}
+ \gamma_m A_{\textrm{e}}^m e^{j k c t}
} \\
&=
\lr{ \gamma^0 j k + \gamma^r \PD{x^r}{} } \cdot
\lr{
\gamma_0 A_{\textrm{e}}^0
+ \gamma_s A_{\textrm{e}}^s
}
e^{j k c t} \\
&=
\lr{
j k
A_{\textrm{e}}^0
+
\spacegrad \cdot
\BA_{\textrm{e}}
}
e^{j k c t},
\end{aligned}
\end{equation}

so

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:640}
A_{\textrm{e}}^0
=\frac{ j} { k }
\spacegrad \cdot
\BA_{\textrm{e}}.
\end{equation}

The same sort of relationship will apply to the magnetic potential too. This means that the Helmholtz equations can be solved in the three vector space as

\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:680}
\lr{ \spacegrad^2 + k^2 } \BA_{\textrm{e}} = -\frac{\BJ}{\epsilon_0 c}
\end{equation}
\begin{equation}\label{eqn:phasorMaxwellsWithElectricAndMagneticCharges:700}
\lr{ \spacegrad^2 + k^2 } \BA_{\textrm{m}} = -\BM.
\end{equation}