Quantization of the EM Field

The Hamiltonian for the Maxwell field may be used to quantize the field in much the same way that one dimensional wave mechanics was quantized. The radiation field can be shown to be the transverse part of the field \bgroup\color{black}$\vec{A}_\perp$\egroup while static charges give rise to \bgroup\color{black}$A_\parallel$\egroup and \bgroup\color{black}$A_0$\egroup.

We decompose the radiation field into its Fourier components

\begin{displaymath}\bgroup\color{black} \vec{A}(\vec{x},t)={1\over\sqrt{V}}\sum\...
...c{x}}+c_{k,\alpha}^*(t)e^{-i\vec{k}\cdot\vec{x}}\right) \egroup\end{displaymath}

where \bgroup\color{black}$\hat{\epsilon}^{(\alpha)}$\egroup are real unit vectors, and \bgroup\color{black}$c_{k,\alpha}$\egroup is the coefficient of the wave with wave vector \bgroup\color{black}$\vec{k}$\egroup and polarization vector \bgroup\color{black}$\hat{\epsilon}^{(\alpha)}$\egroup. Once the wave vector is chosen, the two polarization vectors must be picked so that \bgroup\color{black}$\hat{\epsilon}^{(1)}$\egroup, \bgroup\color{black}$\hat{\epsilon}^{(2)}$\egroup, and \bgroup\color{black}$\vec{k}$\egroup form a right handed orthogonal system.

Plugging the Fourier decomposition into the formula for the Hamiltonian density and using the transverse nature of the radiation field, we can compute the Hamiltonian (density integrated over volume).

\begin{eqnarray*}
H&=&\sum\limits_{k,\alpha}\left({\omega\over c}\right)^2
\left...
...(t)c_{k,\alpha}^*(t)+c_{k,\alpha}^*(t)c_{k,\alpha}(t)\right] \\
\end{eqnarray*}


This Hamiltonian will be used to quantize the EM field. In calculating the Hamiltonian, care has been taken not to commute the Fourier coefficients and their conjugates.

The canonical coordinate and momenta may be found

\begin{displaymath}\bgroup\color{black} Q_{k,\alpha}={1\over c}(c_{k,\alpha}+c_{k,\alpha}^*) \egroup\end{displaymath}


\begin{displaymath}\bgroup\color{black} P_{k,\alpha}=-{i\omega\over c}(c_{k,\alpha}-c_{k,\alpha}^*) \egroup\end{displaymath}

for the harmonic oscillator at each frequency. We assume that a coordinate and its conjugate momentum have the same commutator as in wave mechanics and that coordinates from different oscillators commute.

\begin{eqnarray*}
\left[Q_{k,\alpha},P_{k',\alpha'}\right]&=&i\hbar\delta_{kk'}\...
...\right]&=&0 \\
\left[P_{k,\alpha},P_{k',\alpha'}\right]&=&0 \\
\end{eqnarray*}


As was done for the 1D harmonic oscillator, we write the Hamiltonian in terms of raising and lowering operators that have the same commutation relations as in the 1D harmonic oscillator.

\begin{eqnarray*}
a_{k,\alpha}&=&{1\over\sqrt{2\hbar\omega}}(\omega Q_{k,\alpha}...
...\alpha'}^\dagger\right]&=&\delta_{kk'}\delta_{\alpha\alpha'} \\
\end{eqnarray*}


This means everything we know about the raising and lowering operators applies here. Energies are in steps of \bgroup\color{black}$\hbar\omega$\egroup and there must be a ground state. The states can be labeled by a quantum number \bgroup\color{black}$n_{k,\alpha}$\egroup.

\begin{eqnarray*}
H&=&\left(a_{k,\alpha}^\dagger a_{k,\alpha}+{1\over 2}\right)\...
...r\omega \\
N_{k,\alpha}&=&a_{k,\alpha}^\dagger a_{k,\alpha} \\
\end{eqnarray*}


The Fourier coefficients can now be written in terms of the raising and lowering operators for the field.

\begin{eqnarray*}
c_{k,\alpha}&=&\sqrt{\hbar c^2\over 2\omega}a_{k,\alpha} \\
c...
...{x}}+a_{k,\alpha}^\dagger(t)e^{-i\vec{k}\cdot\vec{x}}\right) \\
\end{eqnarray*}


\begin{eqnarray*}
H&=&{1\over 2}\sum\limits_{k,\alpha}\hbar\omega\left[a_{k,\alp...
...ts_{k,\alpha}\hbar\omega\left(N_{k,\alpha}+{1\over 2}\right) \\
\end{eqnarray*}


States of the field are given by the occupation number of each possible photon state.

\begin{displaymath}\bgroup\color{black} \vert n_{k_1,\alpha_1},n_{k_2,\alpha_2},...
...,\alpha_i}}\over\sqrt{n_{k_i,\alpha_i}!}} \vert\rangle \egroup\end{displaymath}

Any state can be constructed by operating with creation operators on the vacuum state. Any state with multiple photons will automatically be symmetric under the interchange of pairs of photons because the operators commute.

\begin{displaymath}\bgroup\color{black} a_{k,\alpha}^\dagger a_{k',\alpha'}^\dag...
...{k',\alpha'}^\dagger a_{k,\alpha}^\dagger \vert\rangle \egroup\end{displaymath}

This is essentially the same result as our earlier guess to put an \bgroup\color{black}$n+1$\egroup in the emission operator.

We can now write the quantized radiation field in terms of the operators at \bgroup\color{black}$t=0$\egroup.

\begin{eqnarray*}
A_\mu &=&{1\over\sqrt{V}}\sum\limits_{k\alpha}\sqrt{\hbar c^2\...
...ho x_\rho}+a_{k,\alpha}^\dagger(0)e^{-ik_\rho x_\rho}\right) \\
\end{eqnarray*}


Beyond the Electric Dipole approximation, the next term in the expansion of \bgroup\color{black}$e^{i\vec{k}\cdot\vec{x}}$\egroup is \bgroup\color{black}$i\vec{k}\cdot\vec{x}$\egroup. This term gets split according to its rotation and Lorentz transformation properties into the Electric Quadrupole term and the Magnetic Dipole term. The interaction of the electron spin with the magnetic field is of the same order and should be included together with the E2 and M1 terms.

\begin{displaymath}\bgroup\color{black} {e\hbar\over 2mc} (\vec{k}\times\hat{\epsilon}^{(\lambda)})\cdot\vec{\sigma} \egroup\end{displaymath}

The Electric Quadrupole (E2) term does not change parity and gives us the selection rule.

\begin{displaymath}\bgroup\color{black} \vert\ell_n-\ell_i\vert\leq 2\leq \ell_n+\ell_i \egroup\end{displaymath}

The Magnetic Dipole term (M1) does not change parity but may change the spin. Since it is an (axial) vector operator, it changes angular momentum by 0, +1, or -1 unit.

The quantized field is very helpful in the derivation of Plank's black body radiation formula that started the quantum revolution. By balancing the reaction rates proportional to \bgroup\color{black}$N$\egroup and \bgroup\color{black}$N+1$\egroup for absorption and emission in equilibrium the energy density in the radiation field inside a cavity is easily derived.

\begin{eqnarray*}
U(\nu)=U(\omega){d\omega\over d\nu}= {8\pi\over c^3}{h\nu^3\over e^{\hbar\omega/kT}-1} \\
\end{eqnarray*}


Jim Branson 2013-04-22