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

The reciprocity theorem involves a Poynting like antisymmetric difference of the following form

\BE^{(a)} \cross \BH^{(b)} – \BE^{(b)} \cross \BH^{(a)}.

This smells like something that can probably be related to a combined electromagnetic field multivectors in some sort of structured fashion. Guessing that this is related to the antisymmetic sum of two electromagnetic field multivectors turns out to be correct. Let

F^{(a)} = \BE^{(a)} + I c \BB^{(a)}
F^{(b)} = \BE^{(b)} + I c \BB^{(b)}.

Now form the antisymmetic sum

\inv{2} \lr{ F^{(a)} F^{(b)} – F^{(b)} F^{(a)} }
\inv{2} \lr{\BE^{(a)} + I c \BB^{(a)}}
\lr{\BE^{(b)} + I c \BB^{(b)}} \\
\inv{2} \lr{\BE^{(b)} + I c \BB^{(b)}}
\lr{\BE^{(a)} + I c \BB^{(a)}} \\
\inv{2} \lr{ \BE^{(a)} \BE^{(b)} -\BE^{(b)} \BE^{(a)} }
+ \frac{I c}{2} \lr{ \BE^{(a)} \BB^{(b)} – \BB^{(b)} \BE^{(a)} }\\&
+ \frac{I c}{2} \lr{ \BB^{(a)} \BE^{(b)} – \BE^{(b)} \BB^{(a)} }
+ \frac{c^2}{2} \lr{ \BB^{(b)} \BB^{(a)} – \BB^{(a)} \BB^{(b)} } \\
\BE^{(a)} \wedge \BE^{(b)} + c^2 \lr{ \BB^{(b)} \wedge \BB^{(a)} }
+ I c \lr{
\BE^{(a)} \wedge \BB^{(b)}
\BB^{(a)} \wedge \BE^{(b)}
} \\
I \BE^{(a)} \cross \BE^{(b)} + c^2 I \lr{ \BB^{(b)} \cross \BB^{(a)} }

c \lr{
\BE^{(a)} \cross \BB^{(b)}
\BB^{(a)} \cross \BE^{(b)}

This has two components, the first is a bivector (pseudoscalar times vector) that includes all the non-mixed products, and the second is a vector that includes all the mixed terms. We can therefore write the antisymmetic difference of the reciprocity theorem by extracting just the grade one terms of the antisymmetric sum of the combined electromagnetic field

\BE^{(a)} \cross \BH^{(b)} – \BE^{(b)} \cross \BH^{(a)}
-\frac{1}{2 c \mu_0} \gpgradeone{ \lr{ F^{(a)} F^{(b)} – F^{(b)} F^{(a)} } }.

Observing that the antisymmetrization used in the reciprocity theorem is only one portion of the larger electromagnetic field antisymmetrization, introduces two new questions

  1. How would the reciprocity theorem be derived directly in terms of \( F^{(a)} F^{(b)} – F^{(b)} F^{(a)} \)?
  2. What is the significance of the other portion of this antisymmetrization \( \BE^{(a)} \cross \BE^{(b)} – c^2 \mu_0^2 \lr{ \BH^{(a)} \cross \BH^{(b)} } \) ?

… more to come.