Canonical Quantization of the Klein-Gordon Field

1. The Hamiltonian Formalism for the Scalar Field

Before we quantize, let's briefly consolidate the classical Hamiltonian picture we built in the last lesson. The Hamiltonian is the cornerstone of canonical quantization.

For the real scalar field with Lagrangian $\mathcal{L}$, the canonical momentum field $\pi (x)$ is defined as the derivative of $\mathcal{L}$ with respect to the field's time derivative, $\dot{\varphi }$:
$\pi (t,\vec{x})\equiv \frac{\partial \mathcal{L}}{\partial \dot{\varphi }(t,\vec{x})}=\dot{\varphi }(t,\vec{x})$

The Hamiltonian density $\mathcal{H}$, which we previously found as the $T^{00}$ component of the energy-momentum tensor, is obtained through a Legendre transform:
$\mathcal{H}=\pi \dot{\varphi }-\mathcal{L}=\frac{1}{2}{\pi }^2+\frac{1}{2}(\nabla \varphi {)}^2+\frac{1}{2}{m}^2{\varphi }^2$
The total Hamiltonian $H$, representing the total energy of the field configuration, is the integral of the density over all of space:
$H=\int d^{3}x\mathcal{H}=\int d^{3}x\left[\frac{1}{2}{\pi }^2+\frac{1}{2}(\nabla \varphi {)}^2+\frac{1}{2}{m}^2{\varphi }^2\right]$
This classical framework, with the field $\varphi (t,\vec{x})$ and its conjugate momentum $\pi (t,\vec{x})$ as the dynamical variables, is our starting point for quantization.

The following video segment provides an excellent recap of this transition from the Lagrangian to the Hamiltonian for the Klein-Gordon field.

2. The Leap to Quantum: From Poisson Brackets to Commutators

In classical mechanics, the dynamics of variables $q_a$ and $p_a$ are governed by Poisson brackets. The fundamental bracket is $\{q_a,p_b\}={\delta }_{ab}$. Canonical quantization is an algorithm that elevates these classical variables to operators ($q_a\to {\hat{q}}_a$, $p_a\to {\hat{p}}_a$) acting on a Hilbert space, and replaces the Poisson bracket with a commutator:
$\{A,B{\}}_{\text{PB}}⟶\frac{1}{i\hslash }[\hat{A},\hat{B}]$

We now apply this same logic to field theory. Here, our "coordinates" are the field values at every point in space. You can think of the spatial coordinate $\vec{x}$ as a continuous version of the index $a$.

• The classical variables are the fields $\varphi (t,\vec{x})$ and $\pi (t,\vec{y})$.
• The classical Poisson bracket relations for these fields at equal times are:
  $\{\varphi (t,\vec{x}),\pi (t,\vec{y})\}={\delta }^{(3)}(\vec{x}-\vec{y})$
  $\{\varphi (t,\vec{x}),\varphi (t,\vec{y})\}=0,\{\pi (t,\vec{x}),\pi (t,\vec{y})\}=0$
  The Dirac delta function ${\delta }^{(3)}(\vec{x}-\vec{y})$ is the natural continuous analogue of the Kronecker delta ${\delta }_{ab}$.

Following the quantization rule (and setting $\hslash =1$, as is standard), we promote $\varphi$ and $\pi$ to Hermitian operators $\hat{\varphi }$ and $\hat{\pi }$ and impose the Equal-Time Commutation Relations (ETCRs):

$[\hat{\varphi }(t,\vec{x}),\hat{\pi }(t,\vec{y})]=i{\delta }^{(3)}(\vec{x}-\vec{y})$
$[\hat{\varphi }(t,\vec{x}),\hat{\varphi }(t,\vec{y})]=0$
$[\hat{\pi }(t,\vec{x}),\hat{\pi }(t,\vec{y})]=0$

These three equations are the centerpiece of canonical quantization for the scalar field. They inject quantum mechanics into the theory.

• The first relation is the field-theoretic version of the Heisenberg uncertainty principle. It's impossible to simultaneously measure the precise value of the field and its rate of change at the same point in space.
• The second and third relations imply that measurements of the field (or its momentum) at two different spatial points are compatible and do not interfere with each other, even if they happen at the same time. This is a crucial aspect of locality.

The following resources provide a clear and concise presentation of this pivotal step.

For a more formal and detailed text-based derivation, starting from the discretization of space to motivate the field Poisson brackets and then moving to the commutators, the lecture notes from the Instituto de Física Teórica are excellent.

3. The Physical Picture: A Sea of Harmonic Oscillators

We have now defined our quantum theory through the Hamiltonian operator $\hat{H}$ and the ETCRs. But what does this theory describe? How do we find its energy spectrum?

Working directly with the field operators in position space is very difficult. The key insight, which makes quantum field theory solvable, is to realize that the Klein-Gordon field is equivalent to an infinite collection of harmonic oscillators.

Let's see this from the classical equation of motion:
$({\partial }_t^2-{\nabla }^2+m^2)\varphi (t,\vec{x})=0$
If we perform a spatial Fourier transform, we decompose the field into independent momentum modes $\tilde{\varphi }(t,\vec{k})$:
$\varphi (t,\vec{x})=\int \frac{d^{3}k}{(2\pi {)}^3}{e}^{i\vec{k}\cdot \vec{x}}\tilde{\varphi }(t,\vec{k})$
Substituting this into the Klein-Gordon equation, the spatial derivative ${\nabla }^2$ becomes a multiplication by $-|\vec{k}{|}^2$. The equation for each mode $\vec{k}$ decouples and becomes:
$\left(\frac{d^2}{d{t}^2}+(|\vec{k}{|}^2+m^2)\right)\tilde{\varphi }(t,\vec{k})=0$
If we define the frequency ${\omega }_k=\sqrt{|\vec{k}{|}^2+m^2}$ (which you'll recognize as the relativistic energy-momentum relation), the equation is simply:
$\ddot{\tilde{\varphi }}(t,\vec{k})+{\omega }_k^2\tilde{\varphi }(t,\vec{k})=0$
This is exactly the equation of motion for a simple harmonic oscillator with frequency ${\omega }_k$.

This is a profound result: The free scalar field is mathematically equivalent to a continuous infinity of uncoupled harmonic oscillators, one for each momentum mode $\vec{k}$.

This analogy is our path forward. Since we know how to quantize a single harmonic oscillator using creation and annihilation operators ($\hat{a}$ and ${\hat{a}}^{†}$), this suggests we can quantize the entire field by treating each of its momentum modes as an independent quantum harmonic oscillator.

The following resource walks through this decomposition in detail.

Conclusion

In this lesson, we have laid the quantum foundations for our field theory. By following the principle of canonical quantization, we have defined the rules that govern the quantum behavior of the Klein-Gordon field.

Key Takeaways:

• Canonical Quantization: The process of turning a classical theory into a quantum one by promoting classical variables ($\varphi ,\pi$) to operators and replacing their Poisson brackets with commutators.
• Equal-Time Commutation Relations (ETCRs): The fundamental postulates of the quantum scalar field are $[\hat{\varphi }(t,\vec{x}),\hat{\pi }(t,\vec{y})]=i{\delta }^{(3)}(\vec{x}-\vec{y})$, with the other commutators being zero. These relations encode the uncertainty principle and locality.
• Field as Oscillators: The Klein-Gordon field can be viewed as a continuous collection of independent harmonic oscillators, one for each momentum mode $\vec{k}$. This insight is the key to solving the quantum theory.

We have quantized the field, but we haven't yet found the states in our Hilbert space or the energy eigenvalues. What are the quantum states of a field? What do they represent?

Preview of the Next Lesson:

Building on the harmonic oscillator analogy, in our next lesson we will express the field operator $\hat{\varphi }(x)$ in terms of creation and annihilation operators. This will allow us to construct the entire Hilbert space of the theory, starting from a ground state called the vacuum. We will discover that the "excitations" of the field's oscillators are what we interpret as particles. This is where the particle nature of reality will emerge from the underlying quantum fields.