Complex orthogonality of electric and magnetic fields

AI Thread Summary
The discussion centers on the orthogonality of electric and magnetic fields when expressed in complex form. It is established that the orthogonality holds, as the dot product operates on real basis vectors, with complex coefficients not affecting this relationship. However, when calculating quantities like energy density or the Poynting vector, one must take the real parts of the fields before performing operations. Complex wave numbers can also be involved, particularly in waveguide solutions, where their imaginary components indicate wave damping. Overall, while linear operations maintain orthogonality, care must be taken with non-linear calculations.
aravantv
Messages
13
Reaction score
0
Hi,

I have a hard time finding a justification that electric and magnetic fields are still orthogonal when presented in complex form. As far as I know the notion of orthogonality for complex vectors is not as intuitive as the one for real vectors. Notably, \vec{x}\cdot\vec{y}=0 does not imply that \Re(\vec{x})\cdot\Re(\vec{y})=0 (the former dot product is a complex one, the latter is a real one).

Similarly, does the cross product relation between the electric field, the magnetic field, and the wave vector still hold?

Cheers,
V.

PS: I'm a novice in electromagnetism and a novice on this forum, please tell me if I did not respect any rule that I would be unaware of.
 
Physics news on Phys.org
Am I right by observing that all complex vectors that we meet in electromagnetism can be written as z\vec{x} where z\in ℂ but \vec{x}\in ℝ^{n}?

In this case the complex cross and dot products can be easily reduced to their real counterparts:
z_1\vec{x_1}\odot z_2\vec{x_2}=(z_1z_2)(\vec{x_1}\cdot\vec{x_2})
and
z_1\vec{x_1}\otimes z_2\vec{x_2}=(z_1z_2)(\vec{x_1}\times\vec{x_2})
where \cdot and \times (resp. \odot and \otimes) are the real (resp. complex) dot and cross products.
At least this somewhat allows to retrieve the geometrical interpretation... ?

V.
 
The orthogonality holds. The dot operation takes place on the real basis vectors. The complex coefficients just go along for the ride.
 
This problem occurs usually when treating electromagnetic waves in terms of plane-wave modes. Then it is in most cases easier to simply write

\vec{E}=\vec{E}_0 \exp[-\mathrm{i} (\omega_{\vec{k}} t-\vec{k} \cdot \vec{x})]

with \vec{E}_0 \in \mathbb{C}^3, \omega_{\vec{k}}=c |\vec{k}|, instead of taking the real part, which is of course the physical field meant to be described here. An analogous formula also holds for the magnetic components of the field or for the four-potential of the field.

Of course, this works only as long as you perform only linear operations like the standard differentialoperators, div and curl, or look at superpositions of fields, or cross and dot products with real vectors (like \vec{k} \cdot \vec{E}=0 for a free field in the vacuum).

As soon as you calculate something beyond linear operations or multiplications with real scalars or vectors like the energy density \mathcal{E}=(\vec{E}^2+\vec{B}^2)/ (in the vacuum with Heaviside-Lorentz units) or the Poynting vector \vec{S}=\vec{E} \times \vec{B}, you have to take the real parts of the fields first and do then the products.
 
Antiphon said:
The orthogonality holds. The dot operation takes place on the real basis vectors. The complex coefficients just go along for the ride.

Do you mean that we are indeed in the situation that I described in my second post?

vanhees71 said:
(...)As soon as you calculate something beyond linear operations or multiplications with real scalars or vectors like the energy density \mathcal{E}=(\vec{E}^2+\vec{B}^2)/ (in the vacuum with Heaviside-Lorentz units) or the Poynting vector \vec{S}=\vec{E} \times \vec{B}, you have to take the real parts of the fields first and do then the products.

So you mean that \vec E\cdot\vec B=0 holds only for the real parts of both vectors? It seems contradictory to what Antiphon just wrote, isn't it?
 
vanhees71 said:
Of course, this works only as long as you perform only linear operations like the standard differentialoperators, div and curl, or look at superpositions of fields, or cross and dot products with real vectors (like \vec{k} \cdot \vec{E}=0 for a free field in the vacuum).

I think I've seen in some contexts some complex wavevectors \vec k. Then, from what you say, it means that \vec{k} \cdot \vec{E}=0 does not hold in such a context?
 
No, that's not what I said. Complex wave numbers appear, e.g., in the solution of the Maxwell equations in wave guides. The imaginary part in the wave number describes just the damping of the wave.
 
vanhees71 said:
No, that's not what I said.
But you wrote that the operation was valid only if one complex vector only was involved, right?

vanhees71 said:
Complex wave numbers appear, e.g., in the solution of the Maxwell equations in wave guides. The imaginary part in the wave number describes just the damping of the wave.

Ok, so what does this tell me about the dot product?
 
vanhees71 said:
This problem occurs usually when treating electromagnetic waves in terms of plane-wave modes. Then it is in most cases easier to simply write

\vec{E}=\vec{E}_0 \exp[-\mathrm{i} (\omega_{\vec{k}} t-\vec{k} \cdot \vec{x})]

with \vec{E}_0 \in \mathbb{C}^3, \omega_{\vec{k}}=c |\vec{k}|, instead of taking the real part, which is of course the physical field meant to be described here. An analogous formula also holds for the magnetic components of the field or for the four-potential of the field.

Of course, this works only as long as you perform only linear operations like the standard differentialoperators, div and curl, or look at superpositions of fields, or cross and dot products with real vectors (like \vec{k} \cdot \vec{E}=0 for a free field in the vacuum).

As soon as you calculate something beyond linear operations or multiplications with real scalars or vectors like the energy density \mathcal{E}=(\vec{E}^2+\vec{B}^2)/ (in the vacuum with Heaviside-Lorentz units) or the Poynting vector \vec{S}=\vec{E} \times \vec{B}, you have to take the real parts of the fields first and do then the products.

Actually the Poynting expression you have for S remains in the complex domain. The real part of S is energy that traverses the surface. The imaginary part of S represents reactive power (power which crosses back and forth across the surface on each cycle.)
 
Back
Top