On the monochromatic plane electromagnetic waves

Notes on the monochromatic plane wave and its polarization.
Ref: Xiong-Jun Liu (刘雄军)'s lecture notes at Peking University, 2023 Autumn.

Plane waves

Work in geometrized Gaussian unit ststem, Maxwell equations are

Eq. (1)

𝑬=0,×𝑩𝜕𝑬𝜕𝑡=𝟎,𝑩=0,×𝑬+𝜕𝑩𝜕𝑡=𝟎;

wave equations are

Eq. (2)

2𝑬𝜕2𝑬𝜕𝑡2=𝟎,2𝑩𝜕2𝑩𝜕𝑡2=𝟎.

Properties of plane waves

From 𝜕𝑩/𝜕𝑡=×𝑬 we shall have

Eq. (3)

𝜕𝐵𝑖𝜕𝑡=𝜀𝑖𝑗𝑘𝑗𝐸profile𝑘=𝜀𝑖𝑗𝑘𝑛𝑗d𝐸profile𝑘d𝜑,

where d𝐸profile𝑘/d𝜑 is the derivative of 𝐸profile𝑘 w.r.t. its argument 𝜑=𝒏𝒙𝑡. Now

Eq. (4)

𝜕𝐸profile𝑘𝜕𝑡=d𝐸profile𝑘d𝜑,

so

Eq. (5)

𝜕𝐵𝑖𝜕𝑡=𝜀𝑖𝑗𝑘𝑛𝑗𝜕𝐸profile𝑘𝜕𝑡𝐵𝑖=𝜀𝑖𝑗𝑘𝑛𝑗𝐸𝑘+static magnetic filed.

The static magnetic field is of no interest since we are considering time-dependent waves. Thus

Eq. (6)

𝑩=𝒏×𝑬.

Similarly, drop another static field, 𝑬=0 gives

Eq. (7)

0=𝑖𝐸profile𝑖=𝑛𝑖d𝐸profile𝑖d𝜑=𝜕𝜕𝑡(𝒏𝑬)𝒏𝑬=0.

Monochromatic plane waves

A monochromatic plane wave is of the form

Eq. (8)

𝑬=Re(𝑬0exp(i(𝒌𝒙𝜔𝑡)),

where 𝑬03,𝜔>0,𝒌=𝒏𝜔. Since the Maxwell equations are linear, we could just work in the complex notation11 Extra attention is needed when dealing with non-linear quantities, such as the energy density which is quadratic in the fields. with the understanding that we take the real part to get the physical quantity. Thus we simply write

Eq. (9)

𝑬=𝑬0exp(i(𝒌𝒙𝜔𝑡)).

Polarization of a monochromatic plane EM wave

For a monochromatic plane EM wave, since 𝒏𝑬0=0, we could write

Eq. (10)

𝑬0=𝐸0𝒆̂1+𝐸̃0𝒆̂2,𝑬=(𝐸0𝒆̂1+𝐸̃0𝒆̂2)exp(i(𝒌𝒙𝜔𝑡)),

where 𝐸0,𝐸̃0 while 𝒆̂1,𝒆̂2 are orthonormal and are both orthogonal to 𝒏.

WLOG set 𝒏=𝒆̂𝑧,𝒆̂1=𝒆̂𝑥,𝒆̂2=𝒆̂𝑦,𝐸00, then

Eq. (11)

𝑬=[𝒆̂𝑥|𝒆̂𝑦|𝒆̂𝑧][𝑎1𝑎2exp(i𝛿)0]exp(i𝜔(𝑧𝑡)),

where 𝑎1,𝑎20 and 𝛿[π,π) is the phase difference between 𝐸̃0 and 𝐸0.

If we fix a value of 𝑧 (e.g. 𝑧=0), then the end point of the vector

Eq. (12)

𝑬=𝒆̂𝑥𝑎1cos(𝜔𝑡)+𝒆̂𝑦𝑎2cos(𝜔𝑡𝛿)

will in general depict a ellipse in the 𝑥𝑂𝑦 plane

Eq. (13)

𝑥2𝑎12+𝑦2𝑎222𝑥𝑦𝑎1𝑎2cos𝛿=sin2𝛿.

It is in this sense that the monochromatic plane wave is elliptically polarized.

Linear polarization

Using Eq. (11), a wave is linearly polarized if one of the following conditions holds:

  1. 𝑎1=0,𝑎20;
  2. 𝑎10,𝑎2=0;
  3. 𝑎10,𝑎20,𝛿=0;
  4. 𝑎10,𝑎20,𝛿=π.

Note that the basis we used in Eq. (10) are linearly polarized.

Circular polarization

Using Eq. (11), a wave is circularly polarized if 𝑎1=𝑎20 and 𝛿=±π/2.
For 𝛿=π/2, the vector

Eq. (14)

𝑬=𝑎(𝒆̂𝑥cos(𝜔𝑡)+𝒆̂𝑦sin(𝜔𝑡))

ratotes anticlockwise in the 𝑥𝑂𝑦 plane; this wave is said to be right-hand circularly polarized (labelled by 𝜆=+) and have positive helicity22 Positive helicity means that the ratotion is parallel to the direction of propagation. Indeed, the helicity, which is defined as the component of spin angular momentum along the direction of propagation, of the mode characterized by wave vector 𝒌 and polarization 𝜆(=±), is given by 𝜎𝒌,𝜆=sgn(𝜆)𝐸𝒌,𝜆/𝜔, where 𝐸𝒌,𝜆 is the time-averaged total energy of the mode; this can be compared with the Planck formula in quantum mechanics 𝐸=𝜔. In the transition from classical to quantum physics, the helicity of the EM field becomes the spin of the photon.. Likewise, the wave with 𝛿=π/2 is said to be left-hand circularly polarized (labelled by 𝜆=) and have negative helicity.

It is sometimes convenient to expand 𝑬 in terms of circularly-polarized waves, rather than linearly polarized waves as in Eq. (10). Define

Eq. (15)

𝒆̂±12(𝒆̂1±𝑖𝒆̂2);

that is

Eq. (16)

[𝒆̂+|𝒆̂]=[𝒆̂1|𝒆̂2][1212𝑖2𝑖2].

Note that 𝒆̂±=𝒆̂. It follows from the orthonormality of 𝒆̂1,𝒆̂2 that

Eq. (17)

𝒆̂+𝒆̂+=0,𝒆̂𝒆̂=0,𝒆̂+𝒆̂=1.

The inverse transform is

Eq. (18)

𝒆̂1=12(𝒆̂++𝒆̂),𝒆̂2=𝑖2(𝒆̂+𝒆̂);

that is

Eq. (19)

[𝒆̂1|𝒆̂2]=[𝒆̂+|𝒆̂][12𝑖212𝑖2].

Stokes parameters

The magnitude and phase information is sometimes expressed in terms of the so called Stokes parameters (𝑠0,𝑠1,𝑠2,𝑠2), which are defined by (using the convensions and notations in Eq. (11))

Eq. (20)

𝑠0𝐸𝑥𝐸𝑥+𝐸𝑦𝐸𝑦=𝑎12+𝑎22,𝑠1𝐸𝑥𝐸𝑥𝐸𝑦𝐸𝑦=𝑎12𝑎22,𝑠22Re(𝐸𝑥𝐸𝑦)=2𝑎1𝑎2cos𝛿,𝑠32Im(𝐸𝑥𝐸𝑦)=2𝑎1𝑎2sin𝛿.

Note that

Eq. (21)

𝑠02=𝑠12+𝑠22+𝑠32.

The parameter 𝑠0 characterizes the intensity of the wave, while 𝑠1 characterizes the amount of 𝑥 polarization versus 𝑦 polatization; the third independent parameter, either 𝑠2 or 𝑠3, characterizes the phase difference between the 𝑦 and 𝑥 polarized waves.

Doppler effect

Figure 1: Doppler effect of light. Copied from 梁灿彬&周彬《微分几何入门与广义相对论(上册)》.

The world lines of the observer and the illuminant (light source) are both time-like. Assume that at spacetime point 𝑝 the illuminant whose 4-velocity is 𝑉𝑎 in abstract index notation, emits a monochromatic plane wave (at least in the geometric optics approximation sense) with 4-wavevector 𝐾𝑎, which is received at spacetime point 𝑞 by the observer whose 4-velocity is 𝑈𝑎.

Note that 𝐾𝑎|𝑝=𝐾𝑎|𝑞, the angular-frequency measured by the illuminant at emitting is

Eq. (22)

𝜔=𝐾𝑎𝑉𝑎,𝑉𝑎𝑇𝑝4

and by the observer at receiving is

Eq. (23)

𝜔=𝐾𝑎𝑈𝑎,𝑈𝑎𝑇𝑞4.

Since the Minkowski space (4,𝜂,=𝜕) is flat, 𝑈𝑎𝑇𝑞4 can be can be identified with the vector 𝑈𝑎𝑇𝑝4 via the global parallelism; from now on it is understood that all the calculations are done at 𝑝.

Let 𝛾=𝑉𝑎𝑈𝑎, then

Eq. (24)

𝑈𝑎=𝛾(𝑉𝑎+𝑢𝑎),

where 𝛾𝑢𝑎 is the projection of 𝑈𝑎 on the “space plane” perpendicular to 𝑉𝑎. Also

Eq. (25)

𝐾𝑎=𝜔𝑉𝑎+𝑘𝑎,

thus

Eq. (26)

𝜔=𝐾𝑎𝑈𝑎=𝛾(𝜔𝑉𝑎+𝑘𝑎)(𝑉𝑎+𝑢𝑎)=𝛾(𝜔𝑘𝑎𝑢𝑎)= in 3d notation𝛾(𝜔𝒌𝒖).

Let 𝜃 be the angle between 𝒌 and 𝒖 and note that |𝒌|=𝜔, the result is written

Eq. (27)

𝜔=𝛾𝜔(1𝑢cos𝜃)

where 𝑢=|𝒖|,𝛾=1/1𝑢2. Note that 𝒖 is just the 3-velocity of the observer relative to the illuminant.

Non-relativistic limit of the Doppler effect

In this subsection, SI units is used.

For the light waves,

Eq. (28)

𝜔=𝜔(1𝑢𝑐cos𝜃).

For other non-relativistic waves, the Doppler shift is most easily derive from the Galilean transformation.

Since the wave equation ((1/𝑣p2)𝜕2/𝜕𝑡22)𝑓=0 is invariant under the Galilean transformation, the plane wave phase 𝒌𝒙𝜔𝑡 is also invariant. Since in Newtonian mechanics, the concept of the length is absolute, the wave-length33 The wave-length is defined as the distance between the two material points (连续介质力学中的物质点) whose phase difference is 2π. and thus the wave-vector 𝒌 is Galilean invariant. Thus, under the Galilean transformation 𝒙=𝒙𝒖𝑡, the angular-frequency transforms according to

Eq. (29)

𝜔𝑡𝒌𝒙=𝜔𝒌𝒙𝜔=𝜔𝒌𝒖,

where 𝜔 is the angular-frequency measured by the illuminant and 𝜔 by the observer, 𝒖 is the velocity of the observer relative to the illuminant.

Electrostatic waves

The electrostatic field satisfies the equations

Eq. (30)

2𝜑=4π𝜌,𝑬=𝜑,

from which we derive the Fourier transform

Eq. (31)

𝜑(𝒌)=4π𝜌(𝒌)𝑘2,𝑬(𝒌)=𝑖4π𝜌(𝒌)𝑘2𝒌.

In particular, the electrostatic field is longitudinal (instead of transverse) 𝑬(𝒌)𝒌.

When coupling to the matters (such as plasmas), it is possible for an electrostatic pertubation to propagate through the system; this is an electrostatic wave.
If the coupling is linear, then the mode characterized by wave vector 𝒌 evolves as (let 𝜔=𝜔(𝒌)=𝜔r(𝒌)+𝑖𝛾(𝒌) be the dispersion relation which encodes the linear interaction of the electric field and the matter)

Eq. (32)

𝑬𝒌(𝒙,𝑡)=𝒌̂𝐸0(𝒌)exp(i(𝒌𝒙𝜔(𝒌)𝑡))=𝒌̂𝐸0(𝒌)exp(𝛾(𝒌)𝑡)exp(i(𝒌𝒙𝜔r(𝒌)𝑡)),

where 𝐸0(𝒌) is determined by solving the linear system (including boundary and initial conditions). This is sometimes referred to as the “plane wave ansatz.” Note that if the coupling is non-linear (as is generally the case), then the most general solution need not possess a monochromatic plane wave form (although we could always try to search for solutions of this form).44 The essence of the “plane wave ansatz”, or the “superposition principle” in linear systems, is two fold. On the one hand, the physical quantity under consideration can be decomposed into Fourier modes — we can always do this with aid of the mathematical Fourier theory. On the other hand, each Fourier mode evolves independently, and there is no interaction between any two of the modes — this is a consequence of linearity. Note, however, that if there exist non-linear phenomena, then different Fourier modes will indeed couple and cannot be solved independently. In such systems, for example, a pertubation with angular-frequency 𝜔 might excite frequency multiplications 2𝜔,3𝜔,.