## PHY2403H Quantum Field Theory. Lecture 6: Canonical quantization, Simple Harmonic Oscillators, Symmetries. Taught by Prof. Erich Poppitz

### DISCLAIMER: Very rough notes from class, with some additional side notes (QM SHO review, …).

These are notes for the UofT course PHY2403H, Quantum Field Theory I, taught by Prof. Erich Poppitz fall 2018.

## Quantization of Field Theory

We are engaging in the “canonical” or Hamiltonian method of quantization. It is also possible to quantize using path integrals, but it is hard to prove that operators are unitary doing so. In fact, the mechanism used to show unitarity from path integrals is often to find the Lagrangian and show that there is a Hilbert space (i.e. using canonical quantization). Canonical quantization essentially demands that the fields obey a commutator relation of the following form
\label{eqn:qftLecture6:20}
\antisymmetric{\pi(\Bx, t)}{\phi(\By, t)} = -i \delta^3(\Bx – \By).

We assumed that the quantized fields obey the Hamiltonian relations
\label{eqn:qftLecture6:160}
\begin{aligned}
\ddt{\phi} &= i \antisymmetric{H}{\phi} \\
\ddt{\pi} &= i \antisymmetric{H}{\pi}.
\end{aligned}

We were working with the Hamiltonian density
\label{eqn:qftLecture6:40}
\mathcal{H} =
\inv{2} (\pi(\Bx, t))^2
+
+
\frac{m^2}{2} \phi^2
+
\frac{\lambda}{4} \phi^4,

which included a mass term $$m$$ and a potential term ($$\lambda$$). We will expand all quantities in Taylor series in $$\lambda$$ assuming they have a structure such as
\label{eqn:qftLecture6:180}
\begin{aligned}
f(\lambda) =
c_0 \lambda^0
+ c_1 \lambda^1
+ c_2 \lambda^2
+ c_3 \lambda^3
+ \cdots
\end{aligned}

We will stop this \underline{perturbation theory} approach at $$O(\lambda^2)$$, and will ignore functions such as $$e^{-1/\lambda}$$.

Within perturbation theory, to leaving order, set $$\lambda = 0$$, so that $$\phi$$ obeys the Klein-Gordon equation (if $$m = 0$$ we have just a d’Lambertian (wave equation)).

We can write our field as a Fourier transform
\label{eqn:qftLecture6:60}
\phi(\Bx, t) = \int \frac{d^3 p}{(2\pi)^3} e^{i \Bp \cdot \Bx} \tilde{\phi}(\Bp, t),

and due to a Hermitian assumption (i.e. real field) this implies
\label{eqn:qftLecture6:80}
\tilde{\phi}^\conj(\Bp, t) = \tilde{\phi}(-\Bp, t).

We found that the Klein-Gordon equation implied that the momentum space representation obey Harmonic oscillator equations
\label{eqn:qftLecture6:100}
\begin{aligned}
\ddot{\tilde{\phi}}(\Bp, t) &= – \omega_\Bp \tilde{\phi}(\Bp, t) \\
\omega_\Bp &= \sqrt{\Bp^2 + m^2}.
\end{aligned}

We may represent the solution to this equation as
\label{eqn:qftLecture6:120}
\tilde{\phi}(\Bq, t) = \inv{\sqrt{2 \omega_\Bq}} \lr{
e^{-i \omega_\Bq t} a_\Bq
+
e^{i \omega_\Bq t} b_\Bq^\conj
}.

This is a general solution, but imposing $$a_\Bq = b_{-\Bq}$$ ensures \ref{eqn:qftLecture6:80} is satisfied.
This leaves us with
\label{eqn:qftLecture6:140}
\tilde{\phi}(\Bq, t) = \inv{\sqrt{2 \omega_\Bq}} \lr{
e^{-i \omega_\Bq t} a_\Bq
+
e^{i \omega_\Bq t} a_{-\Bq}^\conj
}.

We want to show that iff
\label{eqn:qftLecture6:200}
\antisymmetric{a_\Bq}{a^\dagger_\Bp} = \lr{ 2 \pi }^3 \delta^3(\Bp – \Bq),

then
\label{eqn:qftLecture6:220}
\antisymmetric{\pi(\By, t)}{\phi(\Bx, t)} = -i \delta^3(\Bx – \By)

where everything else commutes (i.e. $$\antisymmetric{a_\Bp}{a_\Bq} = \antisymmetric{a_\Bp^\dagger}{a_\Bq^\dagger} = 0$$).
We will only show one direction, but you can go the other way too.

\label{eqn:qftLecture6:240}
\phi(\Bx, t)
=
\int \frac{d^3 p}{(2\pi)^3 \sqrt{2 \omega_\Bp}} e^{i \Bp \cdot \Bx}
\lr{
e^{-i \omega_\Bp t} a_\Bp
+
e^{i \omega_\Bp t} a_{-\Bp}^\dagger
}

\label{eqn:qftLecture6:260}
\pi(\Bx, t) = \dot{\phi}
=
i \int \frac{d^3 q}{(2\pi)^3 \sqrt{2 \omega_\Bq}} \omega_\Bq e^{i \Bq \cdot \Bx}
\lr{
-e^{-i \omega_\Bq t} a_\Bq
+
e^{i \omega_\Bq t} a_{-\Bq}^\dagger
}

The commutator is
\label{eqn:qftLecture6:280}
\begin{aligned}
\antisymmetric{\pi(\By, t)}{\phi(\Bx, t)}
&=
i \int \frac{d^3 p}{(2\pi)^3
\sqrt{2 \omega_\Bp}}
\frac{d^3 q}{(2\pi)^3 \sqrt{2 \omega_\Bq}}
\omega_\Bq
e^{i \Bp \cdot \By + i \Bq \cdot \Bx}
\antisymmetric
{
-e^{-i \omega_\Bq t} a_\Bq
+
e^{i \omega_\Bq t} a_{-\Bq}^\dagger
}
{
e^{-i \omega_\Bp t} a_\Bp
+
e^{i \omega_\Bp t} a_{-\Bp}^\dagger
} \\
&=
i \int \frac{d^3 p}{(2\pi)^3
\sqrt{2 \omega_\Bp}}
\frac{d^3 q}{(2\pi)^3 \sqrt{2 \omega_\Bq}}
\omega_\Bq
e^{i \Bp \cdot \By + i \Bq \cdot \Bx}
\lr{
– e^{i (\omega_\Bp -\omega_\Bq) t}
\antisymmetric { a_\Bq } { a_{-\Bp}^\dagger }
+
e^{i (\omega_\Bq -\omega_\Bp) t}
\antisymmetric{a_{-\Bq}^\dagger}{ a_\Bp }
} \\
&=
i \int \frac{d^3 p}{(2\pi)^3
\sqrt{2 \omega_\Bp}}
\frac{d^3 q}{(2\pi)^3 \sqrt{2 \omega_\Bq}}
\omega_\Bq (2\pi)^3
e^{i \Bp \cdot \By + i \Bq \cdot \Bx}
\lr{
– e^{i (\omega_\Bp -\omega_\Bq) t} \delta^3(\Bq + \Bp)
– e^{i (\omega_\Bq -\omega_\Bp) t} \delta^3(-\Bq -\Bp)
} \\
&=
– 2 i \int \frac{d^3 p}{(2\pi)^3
2 \omega_\Bp}
\omega_\Bp
e^{i \Bp \cdot (\By – \Bx)} \\
&=
-i \delta^3(\By – \Bx),
\end{aligned}

which is what we wanted to prove.

## Free Hamiltonian

We call the $$\lambda = 0$$ case the “free” Hamiltonian.

\label{eqn:qftLecture6:300}
\begin{aligned}
H
&= \int d^3 x \lr{ \inv{2} \pi^2 + \inv{2} (\spacegrad \phi)^2 + \frac{m^2}{2} \phi^2 } \\
&=
\inv{2} \int d^3 x
\frac{d^3 p}{(2\pi)^3}
\frac{d^3 q}{(2\pi)^3}
\frac{
e^{i (\Bp + \Bq)\cdot \Bx}
}{\sqrt{2 \omega_\Bp}
\sqrt{2 \omega_\Bq}}
\lr{

(\omega_\Bp)
(\omega_\Bq)
\lr{
-e^{-i \omega_\Bp t} a_\Bp
+
e^{i \omega_\Bp t} a_{-\Bp}^\dagger
}
\lr{
-e^{-i \omega_\Bq t} a_\Bq
+
e^{i \omega_\Bq t} a_{-\Bq}^\dagger
}
}

\Bp \cdot \Bq
\lr{
e^{-i \omega_\Bp t} a_\Bp
+
e^{i \omega_\Bp t} a_{-\Bp}^\dagger
}
\lr{
e^{-i \omega_\Bq t} a_\Bq
+
e^{i \omega_\Bq t} a_{-\Bq}^\dagger
}
+
m^2
\lr{
e^{-i \omega_\Bp t} a_\Bp
+
e^{i \omega_\Bp t} a_{-\Bp}^\dagger
}
\lr{
e^{-i \omega_\Bq t} a_\Bq
+
e^{i \omega_\Bq t} a_{-\Bq}^\dagger
}.
\end{aligned}

An immediate simplification is possible by identifying a delta function factor $$\int d^3 x e^{i(\Bp + \Bq) \cdot \Bx}/(2\pi)^3 = \delta^3(\Bp + \Bq)$$, so
\label{eqn:qftLecture6:1060}
\begin{aligned}
H
&=
\inv{2}
\int
\frac{d^3 p}{(2\pi)^3}
\frac{1
}{2 \omega_\Bp}
\lr{

(\omega_\Bp)^2
\lr{
-e^{-i \omega_\Bp t} a_\Bp
+
e^{i \omega_\Bp t} a_{-\Bp}^\dagger
}
\lr{
-e^{-i \omega_\Bp t} a_{-\Bp}
+
e^{i \omega_\Bp t} a_{\Bp}^\dagger
}
}
+
(\Bp^2 + m^2)
\lr{
e^{-i \omega_\Bp t} a_\Bp
+
e^{i \omega_\Bp t} a_{-\Bp}^\dagger
}
\lr{
e^{-i \omega_\Bp t} a_{-\Bp}
+
e^{i \omega_\Bp t} a_{\Bp}^\dagger
} \\
&=
\inv{2} \int \frac{d^3 p}{(2 \pi)^3} \inv{2 \omega_\Bp}
\lr{
a_\Bp a_{-\Bp}
\lr{
{-\omega_\Bp^2 e^{-2 i \omega_\Bp t}}
+
{\omega_\Bp^2 e^{-2 i \omega_\Bp t}}
}
+
a_{-\Bp}^\dagger a_{\Bp}^\dagger
\lr{
-{\omega_\Bp^2 e^{2 i \omega_\Bp t}}
+
{\omega_\Bp^2 e^{2 i \omega_\Bp t}}
}
+
a_\Bp a^\dagger_{\Bp} \omega^2_\Bp(1 + 1)
+
a^\dagger_{-\Bp} a_{-\Bp} \omega^2_\Bp(1 + 1)
}
\end{aligned}

When all is said and done we are left with
\label{eqn:qftLecture6:320}
H =
\int \frac{d^3 p}{(2 \pi)^3} \frac{\omega_\Bp}{2} \lr{
a^\dagger_{-\Bp}
a_{-\Bp}
+
a_{\Bp}
a^\dagger_{\Bp}
}

and finally with a $$\Bp \rightarrow -\Bp$$ transformation ($$\iiint_{-R}^R d^3 p \rightarrow (-1)^3 \iiint_R^{-R} d^3 p’ = (-1)^6 \iiint_{-R}^R d^3 p’$$) in the first integral our free Hamiltonian ($$\lambda = 0$$) is
\label{eqn:qftLecture6:340}
\boxed{
H_0 =
\int \frac{d^3 p}{(2 \pi)^3} \frac{\omega_\Bp}{2} \lr{
a^\dagger_{\Bp}
a_{\Bp}
+
a_{\Bp}
a^\dagger_{\Bp}
}
}

From the commutator relationship \ref{eqn:qftLecture6:200} we can write
\label{eqn:qftLecture6:360}
a_\Bp a^\dagger_\Bq
=
a^\dagger_\Bq
a_\Bp
+ (2 \pi)^3 \delta^3(\Bp – \Bq),

so

\label{eqn:qftLecture6:380}
H_0 =
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp
\lr{
a^\dagger_{\Bp}
a_{\Bp}
+
\inv{2} (2 \pi)^3 \delta^3(0)
}

The delta function term can be interpreted using
\label{eqn:qftLecture6:400}
(2 \pi)^3 \delta^3(\Bq)
= \int d^3 x e^{i \Bq \cdot \Bx},

so when $$\Bq = 0$$
\label{eqn:qftLecture6:420}
(2 \pi)^3 \delta^3(0) = \int d^3 x = V.

We can write the Hamiltonian now in terms of the volume
\label{eqn:qftLecture6:440}
\boxed{
H_0 =
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp
a^\dagger_{\Bp}
a_{\Bp}
+ V_3
\int \frac{d^3 p}{(2 \pi)^3} \frac{\omega_\Bp }{2} \times 1
}

## QM SHO review

In units with $$m = 1$$ the non-relativistic QM SHO has the Hamiltonian
\label{eqn:qftLecture6:460}
H
= \inv{2} p^2 + \frac{\omega^2}{2} q^2.

If we define a position operator with a time-domain Fourier representation given by
\label{eqn:qftLecture6:480}
q = \inv{\sqrt{2\omega}} \lr{ a e^{-i \omega t} + a^\dagger e^{i \omega t} },

where the Fourier coefficients $$a, a^\dagger$$ are operator valued, then the momentum operator is
\label{eqn:qftLecture6:500}
p = \dot{q} =
\frac{i\omega}{\sqrt{2\omega}} \lr{ -a e^{-i \omega t} + a^\dagger e^{i \omega t} },

or inverting for $$a, a^\dagger$$
\label{eqn:qftLecture6:1080}
\begin{aligned}
a &= \sqrt{\frac{\omega}{2}} \lr{ q – \inv{i \omega} p } e^{-i \omega t} \\
a^\dagger &= \sqrt{\frac{\omega}{2}} \lr{ q + \inv{i \omega} p } e^{i \omega t}.
\end{aligned}

By inspection it is apparent that the product $$a^\dagger a$$ will be related to the Hamiltonian (i.e. a difference of squares). That product is
\label{eqn:qftLecture6:1120}
\begin{aligned}
a^\dagger a
&=
\frac{\omega}{2}
\lr{ q + \inv{i \omega} p }
\lr{ q – \inv{i \omega} p } \\
&=
\frac{\omega}{2} \lr{ q^2 + \inv{\omega^2} p^2 – \inv{i \omega} \antisymmetric{q}{p} } \\
&= \inv{2 \omega} \lr{ p^2 + \omega^2 q^2 – \omega },
\end{aligned}

or
\label{eqn:qftLecture6:1140}
H = \omega \lr{ a^\dagger a + \inv{2} }.

We can glean some of the properties of $$a, a^\dagger$$ by computing the commutator of $$p, q$$, since that has a well known value
\label{eqn:qftLecture6:520}
\begin{aligned}
i
&= \antisymmetric{q}{p} \\
&=
\frac{i\omega}{2 \omega} \antisymmetric
{ a e^{-i \omega t} + a^\dagger e^{i \omega t} }
{ -a e^{-i \omega t} + a^\dagger e^{i \omega t} } \\
&=
\frac{i}{2} \lr{
\antisymmetric{a}{a^\dagger} –
\antisymmetric{a^\dagger}{a} } \\
&=
i
\antisymmetric{a}{a^\dagger},
\end{aligned}

so
\label{eqn:qftLecture6:1100}
\antisymmetric{a}{a^\dagger} = 1.

The operator $$a^\dagger a$$ is the workhorse of the Hamiltonian and worth studying independently. In particular, assume that we have a set of states $$\ket{n}$$ that are eigenstates of $$a^\dagger a$$ with eigenvalues $$\lambda_n$$, that is
\label{eqn:qftLecture6:1160}
a^\dagger a \ket{n} = \lambda_n \ket{n}.

The action of $$a^\dagger a$$ on $$a^\dagger \ket{n}$$ is easy to compute
\label{eqn:qftLecture6:1180}
\begin{aligned}
a^\dagger a a^\dagger \ket{n}
&=
a^\dagger \lr{ a^\dagger a + 1 } \ket{n} \\
&=
\lr{ \lambda_n + 1 } a^\dagger \ket{n},
\end{aligned}

so $$\lambda_n + 1$$ is an eigenvalue of $$a^\dagger \ket{n}$$. The state $$a^\dagger \ket{n}$$ has an energy eigenstate that is one unit of energy larger than $$\ket{n}$$. For this reason we called $$a^\dagger$$ the raising (or creation) operator.
Similarly,
\label{eqn:qftLecture6:1200}
\begin{aligned}
a^\dagger a a \ket{n}
&=
\lr{ a a^\dagger – 1 } a \ket{n} \\
&=
(\lambda_n – 1) a \ket{n},
\end{aligned}

so $$\lambda_n – 1$$ is the energy eigenvalue of $$a \ket{n}$$, having one less unit of energy than $$\ket{n}$$.
We call $$a$$ the annihilation (or lowering) operator.
If we argue that there is a lowest energy state, perhaps designated as $$\ket{0}$$ then we must have
\label{eqn:qftLecture6:560}
a\ket{0} = 0,

by the assumption that there are no energy eigenstates with less energy than $$\ket{0}$$.
We can think of higher order states being constructed from the ground state from using the raising operator $$a^\dagger$$
\label{eqn:qftLecture6:580}
\ket{n} = \frac{(a^\dagger)^n}{\sqrt{n!}} \ket{0}

## Discussion

We’ve diagonalized in the Fourier representation for the momentum space fields. For every value of momentum $$\Bp$$ we have a quantum SHO.

For our field space we call our space the Fock vacuum and
\label{eqn:qftLecture6:620}
a_\Bp\ket{0} = 0,

and call $$a_\Bp$$ the “annihilation operator”, and
call $$a^\dagger_\Bp$$ the “creation operator”.
We say that $$a^\dagger_\Bp \ket{0}$$ is the creation of a state of a single particle of momentum $$\Bp$$ by $$a^\dagger_\Bp$$.

We are discarding the volume term, a procedure called “normal ordering”. We define
\label{eqn:qftLecture6:640}
\frac{a^\dagger a + a a^\dagger}{2}
:\equiv
a^\dagger a

We are essentially forgetting the vacuum energy as some sort of unobservable quantity, leaving us with the free Hamiltonian of
\label{eqn:qftLecture6:660}
H_0 =
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp
a^\dagger_{\Bp}
a_{\Bp}

Consider
\label{eqn:qftLecture6:680}
\begin{aligned}
H_0
a^\dagger_\Bq \ket{0}
&=
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp
a^\dagger_{\Bp}
a_{\Bp}
a^\dagger_\Bq
\ket{0} \\
&=
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp
a^\dagger_{\Bp}
\lr{
a^\dagger_\Bq a_\Bp + (2 \pi)^3 \delta^3(\Bp – \Bq)
}
\ket{0} \\
&=
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp
a^\dagger_{\Bp} \lr{
a^\dagger_\Bq {a_\Bp \ket{0}}
+ (2 \pi)^3 \delta^3(\Bp – \Bq) \ket{0}
} \\
&=
\omega_\Bq a^\dagger_\Bq \ket{0}.
\end{aligned}

### Question:

Is it possible to modify the Lagrangian or Hamiltonian that we start with so that this vacuum ground state is eliminated? Answer: Only by imposing super-symmetric constraints (that pairs this (Bosonic) Hamiltonian to a Fermonic system in a way that there is exact cancellation).

We will see that the momentum operator has the form
\label{eqn:qftLecture6:700}
\mathcal{P}
=
\int \frac{d^3 p}{(2 \pi)^3} \Bp a^\dagger_\Bp a_\Bp.

We say that $$a^\dagger_\Bp a^\dagger_\Bq \ket{0}$$ a two particle space with energy $$\omega_\Bp + \omega_q$$, and $$(a^\dagger_\Bp)^m (a^\dagger_\Bq)^n \ket{0} \equiv (a^\dagger_\Bp)^m \ket{0} \otimes (a^\dagger_\Bq)^n \ket{0}$$, a $$m + n$$ particle space.

There is a connection to statistical mechanics that is of interest

\label{eqn:qftLecture6:720}
\begin{aligned}
\expectation{E}
&= \inv{Z} \sum_n E_n e^{-E_n/\kB T} \\
&= \inv{Z} \sum_n \bra{n} e^{-\hat{H}/\kB T} \hat{H} \ket{n},
\end{aligned}

so for a SHO Hamiltonian system
\label{eqn:qftLecture6:740}
\begin{aligned}
\expectation{E}
&= \inv{Z} \sum_n e^{-E_n/\kB T} \bra{n} \hat{H} \ket{n} \\
&= \inv{Z} \sum_n e^{-E_n/\kB T} \bra{n} \omega a^\dagger a \ket{n} \\
&= \frac{\omega}{e^{\omega/\kB T} – 1 } \\ \\
&= \expectation{ \omega a^\dagger a }_{\kB T}
\end{aligned}

the $$\kB T$$ ensemble average energy for a SHO system. Note that this sum was evaluated by noting that $$\bra{n} a^\dagger a \ket{n} = n$$ which leaves sums of the form
\label{eqn:qftLecture6:1220}
\begin{aligned}
\frac{\sum_{n = 0}^\infty n a^n }{\sum_{n = 0}^\infty a^n}
&=
a \frac{\sum_{n = 1}^\infty n a^{n-1} }{\sum_{n = 0}^\infty a^n} \\
&=
a (1 – a) \frac{d}{da} \lr{ \inv{1 – a} } \\
&=
\frac{a}{1 – a}.
\end{aligned}

If we consider a real scalar field of mass $$m$$ we have $$\omega_\Bp = \sqrt{ \Bp^2 + m^2 }$$, but for a Maxwell field $$\BE, \BB$$ where $$m = 0$$, our dispersion relation is $$\omega_\Bp = \Abs{\Bp}$$.

We will see that for a free Maxwell field (no charges or currents) the Hamiltonian is
\label{eqn:qftLecture6:760}
H_{\text{Maxwell}} =
\sum_{i = 1}^2
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp {a^i}^\dagger_\Bp {a^i}_\Bp,

where $$i$$ is a polarization index.

We expect that we can evaluate an average such as \ref{eqn:qftLecture6:740} for our field, and operate using the analogy

\label{eqn:qftLecture6:780}
\begin{aligned}
a a^\dagger &= a^\dagger a + 1 \\
a_\Bp a_\Bp^\dagger &= a_\Bp^\dagger a_\Bp + V_3.
\end{aligned}

so if we rescale by $$\sqrt{V_3}$$
\label{eqn:qftLecture6:800}
a_\Bp = \sqrt{V_3} \tilde{a}_\Bp

Then we have commutator relations like standard QM
\label{eqn:qftLecture6:820}
\tilde{a} \tilde{a}^\dagger = \tilde{a}^\dagger \tilde{a} + 1.

So we can immediately evaluate the energy expectation for our quantized fields
\label{eqn:qftLecture6:840}
\begin{aligned}
\expectation{H_0}
&=
\expectation{
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp a_\Bp^\dagger a_\Bp
} \\
&=
\int \frac{d^3 p}{(2 \pi)^3} \omega_\Bp V_3 \expectation{ \tilde{a}^\dagger_\Bp a_\Bp } \\
&=
V_3
\int \frac{d^3 p}{(2 \pi)^3} \frac{\omega_\Bp}{e^{\omega_\Bp/\kB T} – 1}.
\end{aligned}

Using this with the Maxwell field, we have a factor of two from polarization
\label{eqn:qftLecture6:860}
U^{\text{Maxwell}} = 2 V_3
\int \frac{d^3 p}{(2 \pi)^3} \frac{\Abs{\Bp}}{e^{\omega_\Bp/\kB T} – 1},

which is Planck’s law describing the blackbody energy spectrum.

## Switching gears: Symmetries.

The question is how to apply the CCR results to moving frames, which is done using Lorentz transformations. Just like we know that the exponential of the Hamiltonian (times time) represents time translations, we will examine symmetries that relate results in different frames.

### Examples.

For scalar field(s) with action
\label{eqn:qftLecture6:880}
S = \int d^d x \LL(\phi^i, \partial_\mu \phi^i).

For example, we’ve been using our massive (Boson) real scalar field with Lagrangian density
\label{eqn:qftLecture6:900}
\LL = \inv{2} \partial_\mu \phi\partial^\mu \phi – \frac{m^2}{2} \phi^2 – V(\phi).

Internal symmetry example

\label{eqn:qftLecture6:920}
H = J \sum_{\expectation{n, n’}} \BS_n \cdot \BS_{n’},

where the sum means the sum over neighbouring indexes $$n, n’$$ as sketched in

fig. 1. Neighbouring spin cells.

Such a Hamiltonian is left invariant by the transformation $$\BS_n \rightarrow -\BS_n$$ since the Hamiltonian is quadratic.

Suppose that $$\phi \rightarrow -\phi$$ is a symmetry (it leaves the Lagrangian unchanged). Example

\label{eqn:qftLecture6:940}
\phi =
\begin{bmatrix}
\phi^1 \\
\phi^2 \\
\vdots
\phi^n \\
\end{bmatrix}

the Lagrangian
\label{eqn:qftLecture6:960}
\LL = \inv{2} \partial_\mu \phi^\T \partial^\mu \phi – \frac{m^2}{2} \phi^\T \phi – V(\phi^\T \phi).

If $$O$$ is any $$n \times n$$ orthogonal matrix, then it is symmetry since
\label{eqn:qftLecture6:980}
\phi^\T \phi \rightarrow \phi^\T O^\T O \phi = \phi^\T \phi.

O(2) model, HW, problem 2. Example for complex $$\phi$$
\label{eqn:qftLecture6:1000}
\phi \rightarrow e^{i \phi} \phi,

\label{eqn:qftLecture6:1020}
\phi = \frac{\psi_1 + i \psi_2}{\sqrt{2}}

\label{eqn:qftLecture6:1040}
\begin{bmatrix}
\psi_1 \\
\psi_2
\end{bmatrix}
\rightarrow
\begin{bmatrix}
\cos\alpha & \sin\alpha \\
-\sin\alpha & \cos\alpha
\end{bmatrix}
\begin{bmatrix}
\psi_1 \\
\psi_2
\end{bmatrix}

## 2D SHO xy perturbation

### Q: [1] pr. 5.4

Given a 2D SHO with Hamiltonian

\label{eqn:2dHarmonicOscillatorXYPerturbation:20}
H_0 = \inv{2m} \lr{ p_x^2 + p_y^2 } + \frac{m \omega^2}{2} \lr{ x^2 + y^2 },

• (a)
What are the energies and degeneracies of the three lowest states?

• (b)
With perturbation

\label{eqn:2dHarmonicOscillatorXYPerturbation:40}
V = m \omega^2 x y,

calculate the first order energy perturbations and the zeroth order perturbed states.

• (c)
Solve the $$H_0 + \delta V$$ problem exactly, and compare.

### A: part (a)

Recall that we have

\label{eqn:2dHarmonicOscillatorXYPerturbation:60}
H \ket{n_1, n_2} =
\Hbar\omega
\lr{
n_1 + n_2 + 1
}
\ket{n_1, n_2},

So the three lowest energy states are $$\ket{0,0}, \ket{1,0}, \ket{0,1}$$ with energies $$\Hbar \omega, 2 \Hbar \omega, 2 \Hbar \omega$$ respectively (with a two fold degeneracy for the second two energy eigenkets).

### A: part (b)

Consider the action of $$x y$$ on the $$\beta = \setlr{ \ket{0,0}, \ket{1,0}, \ket{0,1} }$$ subspace. Those are

\label{eqn:2dHarmonicOscillatorXYPerturbation:200}
\begin{aligned}
x y \ket{0,0}
&=
\frac{x_0^2}{2} \lr{ a + a^\dagger } \lr{ b + b^\dagger } \ket{0,0} \\
&=
\frac{x_0^2}{2} \lr{ b + b^\dagger } \ket{1,0} \\
&=
\frac{x_0^2}{2} \ket{1,1}.
\end{aligned}

\label{eqn:2dHarmonicOscillatorXYPerturbation:220}
\begin{aligned}
x y \ket{1, 0}
&=
\frac{x_0^2}{2} \lr{ a + a^\dagger } \lr{ b + b^\dagger } \ket{1,0} \\
&=
\frac{x_0^2}{2} \lr{ a + a^\dagger } \ket{1,1} \\
&=
\frac{x_0^2}{2} \lr{ \ket{0,1} + \sqrt{2} \ket{2,1} } .
\end{aligned}

\label{eqn:2dHarmonicOscillatorXYPerturbation:240}
\begin{aligned}
x y \ket{0, 1}
&=
\frac{x_0^2}{2} \lr{ a + a^\dagger } \lr{ b + b^\dagger } \ket{0,1} \\
&=
\frac{x_0^2}{2} \lr{ b + b^\dagger } \ket{1,1} \\
&=
\frac{x_0^2}{2} \lr{ \ket{1,0} + \sqrt{2} \ket{1,2} }.
\end{aligned}

The matrix representation of $$m \omega^2 x y$$ with respect to the subspace spanned by basis $$\beta$$ above is

\label{eqn:2dHarmonicOscillatorXYPerturbation:260}
x y
\sim
\inv{2} \Hbar \omega
\begin{bmatrix}
0 & 0 & 0 \\
0 & 0 & 1 \\
0 & 1 & 0 \\
\end{bmatrix}.

This diagonalizes with

\label{eqn:2dHarmonicOscillatorXYPerturbation:300}
U
=
\begin{bmatrix}
1 & 0 \\
0 & \tilde{U}
\end{bmatrix}

\label{eqn:2dHarmonicOscillatorXYPerturbation:320}
\tilde{U}
=
\inv{\sqrt{2}}
\begin{bmatrix}
1 & 1 \\
1 & -1 \\
\end{bmatrix}

\label{eqn:2dHarmonicOscillatorXYPerturbation:340}
D =
\inv{2} \Hbar \omega
\begin{bmatrix}
0 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & -1 \\
\end{bmatrix}

\label{eqn:2dHarmonicOscillatorXYPerturbation:360}
x y = U D U^\dagger = U D U.

The unperturbed Hamiltonian in the original basis is

\label{eqn:2dHarmonicOscillatorXYPerturbation:380}
H_0
=
\Hbar \omega
\begin{bmatrix}
1 & 0 \\
0 & 2 I
\end{bmatrix},

So the transformation to the diagonal $$x y$$ basis leaves the initial Hamiltonian unaltered

\label{eqn:2dHarmonicOscillatorXYPerturbation:400}
\begin{aligned}
H_0′
&= U^\dagger H_0 U \\
&=
\Hbar \omega
\begin{bmatrix}
1 & 0 \\
0 & \tilde{U} 2 I \tilde{U}
\end{bmatrix} \\
&=
\Hbar \omega
\begin{bmatrix}
1 & 0 \\
0 & 2 I
\end{bmatrix}.
\end{aligned}

Now we can compute the first order energy shifts almost by inspection. Writing the new basis as $$\beta’ = \setlr{ \ket{0}, \ket{1}, \ket{2} }$$ those energy shifts are just the diagonal elements from the $$x y$$ operators matrix representation

\label{eqn:2dHarmonicOscillatorXYPerturbation:420}
\begin{aligned}
E^{{(1)}}_0 &= \bra{0} V \ket{0} = 0 \\
E^{{(1)}}_1 &= \bra{1} V \ket{1} = \inv{2} \Hbar \omega \\
E^{{(1)}}_2 &= \bra{2} V \ket{2} = -\inv{2} \Hbar \omega.
\end{aligned}

The new energies are

\label{eqn:2dHarmonicOscillatorXYPerturbation:440}
\begin{aligned}
E_0 &\rightarrow \Hbar \omega \\
E_1 &\rightarrow \Hbar \omega \lr{ 2 + \delta/2 } \\
E_2 &\rightarrow \Hbar \omega \lr{ 2 – \delta/2 }.
\end{aligned}

### A: part (c)

For the exact solution, it’s possible to rotate the coordinate system in a way that kills the explicit $$x y$$ term of the perturbation. That we could do this for $$x, y$$ operators wasn’t obvious to me, but after doing so (and rotating the momentum operators the same way) the new operators still have the required commutators. Let

\label{eqn:2dHarmonicOscillatorXYPerturbation:80}
\begin{aligned}
\begin{bmatrix}
u \\
v
\end{bmatrix}
&=
\begin{bmatrix}
\cos\theta & \sin\theta \\
-\sin\theta & \cos\theta
\end{bmatrix}
\begin{bmatrix}
x \\
y
\end{bmatrix} \\
&=
\begin{bmatrix}
x \cos\theta + y \sin\theta \\
-x \sin\theta + y \cos\theta
\end{bmatrix}.
\end{aligned}

Similarly, for the momentum operators, let
\label{eqn:2dHarmonicOscillatorXYPerturbation:100}
\begin{aligned}
\begin{bmatrix}
p_u \\
p_v
\end{bmatrix}
&=
\begin{bmatrix}
\cos\theta & \sin\theta \\
-\sin\theta & \cos\theta
\end{bmatrix}
\begin{bmatrix}
p_x \\
p_y
\end{bmatrix} \\
&=
\begin{bmatrix}
p_x \cos\theta + p_y \sin\theta \\
-p_x \sin\theta + p_y \cos\theta
\end{bmatrix}.
\end{aligned}

For the commutators of the new operators we have

\label{eqn:2dHarmonicOscillatorXYPerturbation:120}
\begin{aligned}
\antisymmetric{u}{p_u}
&=
\antisymmetric{x \cos\theta + y \sin\theta}{p_x \cos\theta + p_y \sin\theta} \\
&=
\antisymmetric{x}{p_x} \cos^2\theta + \antisymmetric{y}{p_y} \sin^2\theta \\
&=
i \Hbar \lr{ \cos^2\theta + \sin^2\theta } \\
&=
i\Hbar.
\end{aligned}

\label{eqn:2dHarmonicOscillatorXYPerturbation:140}
\begin{aligned}
\antisymmetric{v}{p_v}
&=
\antisymmetric{-x \sin\theta + y \cos\theta}{-p_x \sin\theta + p_y \cos\theta} \\
&=
\antisymmetric{x}{p_x} \sin^2\theta + \antisymmetric{y}{p_y} \cos^2\theta \\
&=
i \Hbar.
\end{aligned}

\label{eqn:2dHarmonicOscillatorXYPerturbation:160}
\begin{aligned}
\antisymmetric{u}{p_v}
&=
\antisymmetric{x \cos\theta + y \sin\theta}{-p_x \sin\theta + p_y \cos\theta} \\
&= \cos\theta \sin\theta \lr{ -\antisymmetric{x}{p_x} + \antisymmetric{y}{p_p} } \\
&=
0.
\end{aligned}

\label{eqn:2dHarmonicOscillatorXYPerturbation:180}
\begin{aligned}
\antisymmetric{v}{p_u}
&=
\antisymmetric{-x \sin\theta + y \cos\theta}{p_x \cos\theta + p_y \sin\theta} \\
&= \cos\theta \sin\theta \lr{ -\antisymmetric{x}{p_x} + \antisymmetric{y}{p_p} } \\
&=
0.
\end{aligned}

We see that the new operators are canonical conjugate as required. For this problem, we just want a 45 degree rotation, with

\label{eqn:2dHarmonicOscillatorXYPerturbation:460}
\begin{aligned}
x &= \inv{\sqrt{2}} \lr{ u + v } \\
y &= \inv{\sqrt{2}} \lr{ u – v }.
\end{aligned}

We have
\label{eqn:2dHarmonicOscillatorXYPerturbation:480}
\begin{aligned}
x^2 + y^2
&=
\inv{2} \lr{ (u+v)^2 + (u-v)^2 } \\
&=
\inv{2} \lr{ 2 u^2 + 2 v^2 + 2 u v – 2 u v } \\
&=
u^2 + v^2,
\end{aligned}

\label{eqn:2dHarmonicOscillatorXYPerturbation:500}
\begin{aligned}
p_x^2 + p_y^2
&=
\inv{2} \lr{ (p_u+p_v)^2 + (p_u-p_v)^2 } \\
&=
\inv{2} \lr{ 2 p_u^2 + 2 p_v^2 + 2 p_u p_v – 2 p_u p_v } \\
&=
p_u^2 + p_v^2,
\end{aligned}

and
\label{eqn:2dHarmonicOscillatorXYPerturbation:520}
\begin{aligned}
x y
&=
\inv{2} \lr{ (u+v)(u-v) } \\
&=
\inv{2} \lr{ u^2 – v^2 }.
\end{aligned}

The perturbed Hamiltonian is

\label{eqn:2dHarmonicOscillatorXYPerturbation:540}
\begin{aligned}
H_0 + \delta V
&=
\inv{2m} \lr{ p_u^2 + p_v^2 }
+ \inv{2} m \omega^2 \lr{ u^2 + v^2 + \delta u^2 – \delta v^2 } \\
&=
\inv{2m} \lr{ p_u^2 + p_v^2 }
+ \inv{2} m \omega^2 \lr{ u^2(1 + \delta) + v^2 (1 – \delta) }.
\end{aligned}

In this coordinate system, the corresponding eigensystem is

\label{eqn:2dHarmonicOscillatorXYPerturbation:560}
H \ket{n_1, n_2}
= \Hbar \omega \lr{ 1 + n_1 \sqrt{1 + \delta} + n_2 \sqrt{ 1 – \delta } } \ket{n_1, n_2}.

For small $$\delta$$

\label{eqn:2dHarmonicOscillatorXYPerturbation:580}
n_1 \sqrt{1 + \delta} + n_2 \sqrt{ 1 – \delta }
\approx
n_1 + n_2
+ \inv{2} n_1 \delta
– \inv{2} n_2 \delta,

so
\label{eqn:2dHarmonicOscillatorXYPerturbation:600}
H \ket{n_1, n_2}
\approx \Hbar \omega \lr{ 1 + n_1 + n_2 + \inv{2} n_1 \delta – \inv{2} n_2 \delta
} \ket{n_1, n_2}.

The lowest order perturbed energy levels are

\label{eqn:2dHarmonicOscillatorXYPerturbation:620}
\ket{0,0} \rightarrow \Hbar \omega

\label{eqn:2dHarmonicOscillatorXYPerturbation:640}
\ket{1,0} \rightarrow \Hbar \omega \lr{ 2 + \inv{2} \delta }

\label{eqn:2dHarmonicOscillatorXYPerturbation:660}
\ket{0,1} \rightarrow \Hbar \omega \lr{ 2 – \inv{2} \delta }

The degeneracy of the $$\ket{0,1}, \ket{1,0}$$ states has been split, and to first order match the zeroth order perturbation result.

# References

[1] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics. Pearson Higher Ed, 2014.

## Harmonic oscillator with energy shift

December 5, 2015 phy1520 No comments , ,

### Q: [1] pr 5.1

Given a perturbed 1D SHO Hamiltonian

\label{eqn:harmonicOscillatorEnergyShiftPertubation:20}
H = \inv{2m} p^2 + \inv{2} m \omega^2 x^2 + \lambda b x,

calculate the first non-zero perturbation to the ground state energy. Then solve for that energy directly and compare.

### A:

The first order energy shift is seen to be zero

\label{eqn:harmonicOscillatorEnergyShiftPertubation:40}
\begin{aligned}
\Delta_0^{(0)}
&= V_{00} \\
&= \bra{0} b x \ket{0} \\
&= \frac{x_0}{\sqrt{2}} \bra{0} a + a^\dagger \ket{0} \\
&= \frac{x_0}{\sqrt{2}} \braket{0}{1} \\
&= 0.
\end{aligned}

The first order perturbation to the ground state is

\label{eqn:harmonicOscillatorEnergyShiftPertubation:60}
\begin{aligned}
\ket{0^{(1)}}
&= \sum_{m \ne 0} \frac{ \ket{m} \bra{m} b x \ket{0} }{ \Hbar \omega/2 – \Hbar
\omega (m – 1/2) } \\
&= -b \frac{x_0}{\sqrt{2} \Hbar \omega} \sum_{m \ne 0} \frac{ \ket{m}
\braket{m}{1} }{ m } \\
&= -b \frac{x_0}{\sqrt{2} \Hbar \omega} \ket{1}.
\end{aligned}

The second order ground state energy perturbation is

\label{eqn:harmonicOscillatorEnergyShiftPertubation:80}
\begin{aligned}
\Delta_0^{(2)}
&=
\bra{0} b x \ket{0^{(1)}} \\
&=
\frac{b x_0}{\sqrt{2}} \bra{0} a + a^\dagger \lr{ -b \frac{x_0}{\sqrt{2} \Hbar \omega} \ket{1} } \\
&=
\frac{b x_0}{\sqrt{2}} \lr{ -b \frac{x_0}{\sqrt{2} \Hbar \omega} } \\
&=
-\frac{b^2 x_0^2}{ 2 \Hbar \omega } \\
&=
-\frac{b^2 }{ 2 \Hbar \omega } \frac{\Hbar}{m \omega} \\
&=
-\frac{b^2 }{ 2 m \omega^2 },
\end{aligned}

so the total energy perturbation up to second order is

\label{eqn:harmonicOscillatorEnergyShiftPertubation:100}
\Delta_0 = -\lambda^2 \frac{b^2 }{ 2 m \omega^2 }.

To compare to the exact result, rewrite the Hamiltonian as

\label{eqn:harmonicOscillatorEnergyShiftPertubation:120}
\begin{aligned}
H
&= \inv{2m} p^2 + \inv{2} m \omega^2 \lr{ x^2 + \frac{2 \lambda b x}{m \omega^2} } \\
&= \inv{2m} p^2 + \inv{2} m \omega^2 \lr{ x + \frac{\lambda b }{m \omega^2} }^2 – \inv{2} m \omega^2 \lr{ \frac{\lambda b }{m \omega^2} }^2.
\end{aligned}

The Hamiltonian is subject to a constant energy shift

\label{eqn:harmonicOscillatorEnergyShiftPertubation:140}
\begin{aligned}
\Delta E
&=
– \inv{2} m \omega^2 \frac{\lambda^2 b^2 }{m^2 \omega^4} \\
&=
– \frac{\lambda^2 b^2 }{2 m \omega^2}.
\end{aligned}

This is an exact match with the second order perturbation result of \ref{eqn:harmonicOscillatorEnergyShiftPertubation:100}.

# References

[1] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics. Pearson Higher Ed, 2014.

## Plane wave ground state expectation for SHO

Problem [1] 2.18 is, for a 1D SHO, show that

\label{eqn:exponentialExpectationGroundState:20}
\bra{0} e^{i k x} \ket{0} = \exp\lr{ -k^2 \bra{0} x^2 \ket{0}/2 }.

Despite the simple appearance of this problem, I found this quite involved to show. To do so, start with a series expansion of the expectation

\label{eqn:exponentialExpectationGroundState:40}
\bra{0} e^{i k x} \ket{0}
=
\sum_{m=0}^\infty \frac{(i k)^m}{m!} \bra{0} x^m \ket{0}.

Let

\label{eqn:exponentialExpectationGroundState:60}
X = \lr{ a + a^\dagger },

so that

\label{eqn:exponentialExpectationGroundState:80}
x
= \sqrt{\frac{\Hbar}{2 \omega m}} X
= \frac{x_0}{\sqrt{2}} X.

Consider the first few values of $$\bra{0} X^n \ket{0}$$

\label{eqn:exponentialExpectationGroundState:100}
\begin{aligned}
\bra{0} X \ket{0}
&=
\bra{0} \lr{ a + a^\dagger } \ket{0} \\
&=
\braket{0}{1} \\
&=
0,
\end{aligned}

\label{eqn:exponentialExpectationGroundState:120}
\begin{aligned}
\bra{0} X^2 \ket{0}
&=
\bra{0} \lr{ a + a^\dagger }^2 \ket{0} \\
&=
\braket{1}{1} \\
&=
1,
\end{aligned}

\label{eqn:exponentialExpectationGroundState:140}
\begin{aligned}
\bra{0} X^3 \ket{0}
&=
\bra{0} \lr{ a + a^\dagger }^3 \ket{0} \\
&=
\bra{1} \lr{ \sqrt{2} \ket{2} + \ket{0} } \\
&=
0.
\end{aligned}

Whenever the power $$n$$ in $$X^n$$ is even, the braket can be split into a bra that has only contributions from odd eigenstates and a ket with even eigenstates. We conclude that $$\bra{0} X^n \ket{0} = 0$$ when $$n$$ is odd.

Noting that $$\bra{0} x^2 \ket{0} = \ifrac{x_0^2}{2}$$, this leaves

\label{eqn:exponentialExpectationGroundState:160}
\begin{aligned}
\bra{0} e^{i k x} \ket{0}
&=
\sum_{m=0}^\infty \frac{(i k)^{2 m}}{(2 m)!} \bra{0} x^{2m} \ket{0} \\
&=
\sum_{m=0}^\infty \frac{(i k)^{2 m}}{(2 m)!} \lr{ \frac{x_0^2}{2} }^m \bra{0} X^{2m} \ket{0} \\
&=
\sum_{m=0}^\infty \frac{1}{(2 m)!} \lr{ -k^2 \bra{0} x^2 \ket{0} }^m \bra{0} X^{2m} \ket{0}.
\end{aligned}

This problem is now reduced to showing that

\label{eqn:exponentialExpectationGroundState:180}
\frac{1}{(2 m)!} \bra{0} X^{2m} \ket{0} = \inv{m! 2^m},

or

\label{eqn:exponentialExpectationGroundState:200}
\begin{aligned}
\bra{0} X^{2m} \ket{0}
&= \frac{(2m)!}{m! 2^m} \\
&= \frac{ (2m)(2m-1)(2m-2) \cdots (2)(1) }{2^m m!} \\
&= \frac{ 2^m (m)(2m-1)(m-1)(2m-3)(m-2) \cdots (2)(3)(1)(1) }{2^m m!} \\
&= (2m-1)!!,
\end{aligned}

where $$n!! = n(n-2)(n-4)\cdots$$.

It looks like $$\bra{0} X^{2m} \ket{0}$$ can be expanded by inserting an identity operator and proceeding recursively, like

\label{eqn:exponentialExpectationGroundState:220}
\begin{aligned}
\bra{0} X^{2m} \ket{0}
&=
\bra{0} X^2 \lr{ \sum_{n=0}^\infty \ket{n}\bra{n} } X^{2m-2} \ket{0} \\
&=
\bra{0} X^2 \lr{ \ket{0}\bra{0} + \ket{2}\bra{2} } X^{2m-2} \ket{0} \\
&=
\bra{0} X^{2m-2} \ket{0} + \bra{0} X^2 \ket{2} \bra{2} X^{2m-2} \ket{0}.
\end{aligned}

This has made use of the observation that $$\bra{0} X^2 \ket{n} = 0$$ for all $$n \ne 0,2$$. The remaining term includes the factor

\label{eqn:exponentialExpectationGroundState:240}
\begin{aligned}
\bra{0} X^2 \ket{2}
&=
\bra{0} \lr{a + a^\dagger}^2 \ket{2} \\
&=
\lr{ \bra{0} + \sqrt{2} \bra{2} } \ket{2} \\
&=
\sqrt{2},
\end{aligned}

Since $$\sqrt{2} \ket{2} = \lr{a^\dagger}^2 \ket{0}$$, the expectation of interest can be written

\label{eqn:exponentialExpectationGroundState:260}
\bra{0} X^{2m} \ket{0}
=
\bra{0} X^{2m-2} \ket{0} + \bra{0} a^2 X^{2m-2} \ket{0}.

How do we expand the second term. Let’s look at how $$a$$ and $$X$$ commute

\label{eqn:exponentialExpectationGroundState:280}
\begin{aligned}
a X
&=
\antisymmetric{a}{X} + X a \\
&=
\antisymmetric{a}{a + a^\dagger} + X a \\
&=
\antisymmetric{a}{a^\dagger} + X a \\
&=
1 + X a,
\end{aligned}

\label{eqn:exponentialExpectationGroundState:300}
\begin{aligned}
a^2 X
&=
a \lr{ a X } \\
&=
a \lr{ 1 + X a } \\
&=
a + a X a \\
&=
a + \lr{ 1 + X a } a \\
&=
2 a + X a^2.
\end{aligned}

Proceeding to expand $$a^2 X^n$$ we find
\label{eqn:exponentialExpectationGroundState:320}
\begin{aligned}
a^2 X^3 &= 6 X + 6 X^2 a + X^3 a^2 \\
a^2 X^4 &= 12 X^2 + 8 X^3 a + X^4 a^2 \\
a^2 X^5 &= 20 X^3 + 10 X^4 a + X^5 a^2 \\
a^2 X^6 &= 30 X^4 + 12 X^5 a + X^6 a^2.
\end{aligned}

It appears that we have
\label{eqn:exponentialExpectationGroundState:340}
\antisymmetric{a^2 X^n}{X^n a^2} = \beta_n X^{n-2} + 2 n X^{n-1} a,

where

\label{eqn:exponentialExpectationGroundState:360}
\beta_n = \beta_{n-1} + 2 (n-1),

and $$\beta_2 = 2$$. Some goofing around shows that $$\beta_n = n(n-1)$$, so the induction hypothesis is

\label{eqn:exponentialExpectationGroundState:380}
\antisymmetric{a^2 X^n}{X^n a^2} = n(n-1) X^{n-2} + 2 n X^{n-1} a.

Let’s check the induction
\label{eqn:exponentialExpectationGroundState:400}
\begin{aligned}
a^2 X^{n+1}
&=
a^2 X^{n} X \\
&=
\lr{ n(n-1) X^{n-2} + 2 n X^{n-1} a + X^n a^2 } X \\
&=
n(n-1) X^{n-1} + 2 n X^{n-1} a X + X^n a^2 X \\
&=
n(n-1) X^{n-1} + 2 n X^{n-1} \lr{ 1 + X a } + X^n \lr{ 2 a + X a^2 } \\
&=
n(n-1) X^{n-1} + 2 n X^{n-1} + 2 n X^{n} a
+ 2 X^n a
+ X^{n+1} a^2 \\
&=
X^{n+1} a^2 + (2 + 2 n) X^{n} a + \lr{ 2 n + n(n-1) } X^{n-1} \\
&=
X^{n+1} a^2 + 2(n + 1) X^{n} a + (n+1) n X^{n-1},
\end{aligned}

which concludes the induction, giving

\label{eqn:exponentialExpectationGroundState:420}
\bra{ 0 } a^2 X^{n} \ket{0 } = n(n-1) \bra{0} X^{n-2} \ket{0},

and

\label{eqn:exponentialExpectationGroundState:440}
\bra{0} X^{2m} \ket{0}
=
\bra{0} X^{2m-2} \ket{0} + (2m-2)(2m-3) \bra{0} X^{2m-4} \ket{0}.

Let

\label{eqn:exponentialExpectationGroundState:460}
\sigma_{n} = \bra{0} X^n \ket{0},

so that the recurrence relation, for $$2n \ge 4$$ is

\label{eqn:exponentialExpectationGroundState:480}
\sigma_{2n} = \sigma_{2n -2} + (2n-2)(2n-3) \sigma_{2n -4}

We want to show that this simplifies to

\label{eqn:exponentialExpectationGroundState:500}
\sigma_{2n} = (2n-1)!!

The first values are

\label{eqn:exponentialExpectationGroundState:540}
\sigma_0 = \bra{0} X^0 \ket{0} = 1

\label{eqn:exponentialExpectationGroundState:560}
\sigma_2 = \bra{0} X^2 \ket{0} = 1

which gives us the right result for the first term in the induction

\label{eqn:exponentialExpectationGroundState:580}
\begin{aligned}
\sigma_4
&= \sigma_2 + 2 \times 1 \times \sigma_0 \\
&= 1 + 2 \\
&= 3!!
\end{aligned}

For the general induction term, consider

\label{eqn:exponentialExpectationGroundState:600}
\begin{aligned}
\sigma_{2n + 2}
&= \sigma_{2n} + 2 n (2n – 1) \sigma_{2n -2} \\
&= (2n-1)!! + 2n ( 2n – 1) (2n -3)!! \\
&= (2n + 1) (2n -1)!! \\
&= (2n + 1)!!,
\end{aligned}

which completes the final induction. That was also the last thing required to complete the proof, so we are done!

# References

[1] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics. Pearson Higher Ed, 2014.

## (a)

For a 1D SHO, compute $$\bra{m} x \ket{n}, \bra{m} x^2 \ket{n}, \bra{m} p \ket{n}, \bra{m} p^2 \ket{n}$$ and $$\bra{m} \symmetric{x}{p} \ket{n}$$.

## (b)

Verify the virial theorem is satisfied for energy eigenstates.

## (a)

Using

\label{eqn:shoExpectations:20}
\begin{aligned}
x &= \frac{x_0}{\sqrt{2}} \lr{ a + a^\dagger } \\
p &= \frac{i\Hbar}{x_0 \sqrt{2}} \lr{ a^\dagger – a} \\
a(t) &= a(0) e^{-i \omega t} \\
a(0) \ket{n} &= \sqrt{n} \ket{n-1} \\
a^\dagger(0) \ket{n} &= \sqrt{n+1} \ket{n+1} \\
x_0^2 &= \frac{\Hbar}{\omega m},
\end{aligned}

we have

\label{eqn:shoExpectations:40}
\begin{aligned}
\bra{m} x \ket{n}
&=
\frac{x_0}{\sqrt{2}} \bra{m} \lr{ a + a^\dagger } \ket{n} \\
&=
\frac{x_0}{\sqrt{2}} \bra{m}
\lr{
e^{-i \omega t} \sqrt{n} \ket{n-1}
+
e^{i \omega t} \sqrt{n+1} \ket{n+1}
} \\
&=
\frac{x_0}{\sqrt{2}} \lr{
\delta_{m, n-1} e^{-i \omega t} \sqrt{n}
+
\delta_{m, n+1} e^{i \omega t} \sqrt{n+1}
},
\end{aligned}

\label{eqn:shoExpectations:60}
\begin{aligned}
\bra{m} x^2 \ket{n}
&=
\frac{x_0^2}{2} \bra{m} \lr{ a + a^\dagger }^2 \ket{n} \\
&=
\frac{x_0^2}{2}
\lr{
e^{i \omega t} \sqrt{m} \bra{m-1}
+
e^{-i \omega t} \sqrt{m+1} \bra{m+1}
}
\lr{
e^{-i \omega t} \sqrt{n} \ket{n-1}
+
e^{i \omega t} \sqrt{n+1} \ket{n+1}
} \\
&=
\frac{x_0^2}{2}
\lr{
\delta_{m+1,n+1} \sqrt{(m+1)(n+1)}
+\delta_{m+1,n-1} \sqrt{(m+1)n} e^{-2 i \omega t}
+\delta_{m-1,n+1} \sqrt{m(n+1)} e^{2 i \omega t}
+\delta_{m-1,n-1} \sqrt{m n}
},
\end{aligned}

\label{eqn:shoExpectations:80}
\begin{aligned}
\bra{m} p \ket{n}
&=
\frac{i\Hbar}{\sqrt{2} x_0} \bra{m} \lr{ a^\dagger – a} \ket{n} \\
&=
\frac{i\Hbar}{\sqrt{2} x_0} \bra{m} \lr{
e^{i \omega t} \sqrt{n+1} \ket{n+1}

e^{-i \omega t} \sqrt{n} \ket{n-1}
} \\
&=
\frac{i\Hbar}{\sqrt{2} x_0} \lr{
\delta_{m,n+1} e^{i \omega t} \sqrt{n+1}

\delta_{m,n-1} e^{-i \omega t} \sqrt{n}
},
\end{aligned}

\label{eqn:shoExpectations:100}
\begin{aligned}
\bra{m} p^2 \ket{n}
&=
\frac{\Hbar^2}{2 x_0^2} \ket{m} \lr{ a – a^\dagger } \lr{ a^\dagger – a}
\ket{n} \\
&=
\frac{\Hbar^2}{2 x_0^2}
\lr{
-e^{-i \omega t} \sqrt{m+1} \bra{m+1}
+
e^{i \omega t} \sqrt{m} \bra{m-1}
}
\lr{
e^{i \omega t} \sqrt{n+1} \ket{n+1}

e^{-i \omega t} \sqrt{n} \ket{n-1}
} \\
&=
\frac{\Hbar^2}{2 x_0^2}
\lr{
\delta_{m+1,n+1} \sqrt{(m+1)(n+1)}
+\delta_{m+1,n-1} \sqrt{(m+1)n} e^{-2 i \omega t}
+\delta_{m-1,n+1} \sqrt{m(n+1)} e^{2 i \omega t}
+\delta_{m-1,n-1} \sqrt{m n}
}.
\end{aligned}

For the anticommutator $$\symmetric{x}{p}$$, we have

\label{eqn:shoExpectations:120}
\begin{aligned}
\symmetric{x}{p}
&=
\frac{i\Hbar}{2}
\lr{
\lr{ a e^{-i \omega t} + a^\dagger e^{i \omega t} } \lr{ a^\dagger e^{i \omega t} – a e^{-i \omega t} }

\lr{ a^\dagger e^{i \omega t} – a e^{-i \omega t} }
\lr{ a e^{-i \omega t} + a^\dagger e^{i \omega t} }
} \\
&=
\frac{i\Hbar}{2}
\lr{
– a^2 e^{- 2 i \omega t}
+ (a^\dagger)^2 e^{ 2 i \omega t}
+ a a^\dagger
– a^\dagger a
+ a^2 e^{- 2 i \omega t}
– (a^\dagger)^2 e^{ 2 i \omega t}
– a^\dagger a
+ a a^\dagger
} \\
&=
i\Hbar
\lr{
a a^\dagger – a^\dagger a
},
\end{aligned}

so

\label{eqn:shoExpectations:140}
\begin{aligned}
\bra{m} \symmetric{x}{p} \ket{n}
&=
i\Hbar
\bra{m}
\lr{
a a^\dagger – a^\dagger a
}
\ket{n} \\
&=
i\Hbar
\bra{m}
\lr{
\sqrt{(n+1)^2}\ket{n}
-\sqrt{n^2}\ket{n}
} \\
&=
i\Hbar
\bra{m}
\lr{
2 n + 1
}
\ket{n}.
\end{aligned}

## (b)

For the SHO, the virial theorem requires $$\expectation{p^2/m} = \expectation{m \omega x^2}$$. That momentum expectation with respect to the eigenstate $$\ket{n}$$ is

\label{eqn:shoExpectations:160}
\begin{aligned}
\expectation{p^2/m}
&=
\frac{\Hbar^2}{2 x_0^2 m}
\lr{
\sqrt{(n+1)(n+1)}
+
\sqrt{n n}
} \\
&=
\frac{\Hbar^2 m \omega}{2 \Hbar m} \lr{ 2 n + 1 } \\
&=
\Hbar \omega \lr{ n + \inv{2} }.
\end{aligned}

For the position expectation we’ve got

\label{eqn:shoExpectations:180}
\begin{aligned}
\expectation{m \omega x^2}
&=
\frac{m \omega^2 x_0^2}{2}
\lr{
\sqrt{(n+1)(n+1)}
+ \sqrt{n n}
} \\
&=
\frac{m \omega^2 \Hbar}{2 m \omega}
\lr{
\sqrt{(n+1)(n+1)}
+ \sqrt{n n}
} \\
&=
\frac{\omega \Hbar}{2 }
\lr{ 2 n + 1 } \\
&=
\omega \Hbar
\lr{ n + \inv{2} }.
\end{aligned}

This shows that the virial theorem holds for the SHO Hamiltonian for eigenstates.

# References

[1] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics. Pearson Higher Ed, 2014.

## PHY1520H Graduate Quantum Mechanics. Lecture 5: time evolution of coherent states, and charged particles in a magnetic field. Taught by Prof. Arun Paramekanti

### Disclaimer

Peeter’s lecture notes from class. These may be incoherent and rough.

These are notes for the UofT course PHY1520, Graduate Quantum Mechanics, taught by Prof. Paramekanti, covering \textchapref{{1}} [1] content.

### Coherent states (cont.)

A coherent state for the SHO $$H = \lr{ N + \inv{2} } \Hbar \omega$$ was given by

\label{eqn:qmLecture5:20}
a \ket{z} = z \ket{z},

where we showed that

\label{eqn:qmLecture5:40}
\ket{z} = c_0 e^{ z a^\dagger } \ket{0}.

In the Heisenberg picture we found

\label{eqn:qmLecture5:60}
\begin{aligned}
a_{\textrm{H}}(t) &= e^{i H t/\Hbar} a e^{-i H t/\Hbar} = a e^{-i\omega t} \\
a_{\textrm{H}}^\dagger(t) &= e^{i H t/\Hbar} a^\dagger e^{-i H t/\Hbar} = a^\dagger e^{i\omega t}.
\end{aligned}

Recall that the position and momentum representation of the ladder operators was

\label{eqn:qmLecture5:80}
\begin{aligned}
a &= \inv{\sqrt{2}} \lr{ \hat{x} \sqrt{\frac{m \omega}{\Hbar}} + i \hat{p} \sqrt{\inv{m \Hbar \omega}} } \\
a^\dagger &= \inv{\sqrt{2}} \lr{ \hat{x} \sqrt{\frac{m \omega}{\Hbar}} – i \hat{p} \sqrt{\inv{m \Hbar \omega}} },
\end{aligned}

or equivalently
\label{eqn:qmLecture5:100}
\begin{aligned}
\hat{x} &= \lr{ a + a^\dagger } \sqrt{\frac{\Hbar}{ 2 m \omega}} \\
\hat{p} &= i \lr{ a^\dagger – a } \sqrt{\frac{m \Hbar \omega}{2}}.
\end{aligned}

Given this we can compute expectation value of position operator

\label{eqn:qmLecture5:120}
\begin{aligned}
\bra{z} \hat{x} \ket{z}
&=
\sqrt{\frac{\Hbar}{ 2 m \omega}}
\bra{z}
\lr{ a + a^\dagger }
\ket{z} \\
&=
\lr{ z + z^\conj } \sqrt{\frac{\Hbar}{ 2 m \omega}} \\
&=
2 \textrm{Re} z \sqrt{\frac{\Hbar}{ 2 m \omega}} .
\end{aligned}

Similarly

\label{eqn:qmLecture5:140}
\begin{aligned}
\bra{z} \hat{p} \ket{z}
&=
i \sqrt{\frac{m \Hbar \omega}{2}}
\bra{z}
\lr{ a^\dagger – a }
\ket{z} \\
&=
\sqrt{\frac{m \Hbar \omega}{2}}
2 \textrm{Im} z.
\end{aligned}

How about the expectation of the Heisenberg position operator? That is

\label{eqn:qmLecture5:160}
\begin{aligned}
\bra{z} \hat{x}_{\textrm{H}}(t) \ket{z}
&=
\sqrt{\frac{\Hbar}{2 m \omega}} \bra{z} \lr{ a + a^\dagger } \ket{z} \\
&=
\sqrt{\frac{\Hbar}{2 m \omega}} \lr{ z e^{-i \omega t} + z^\conj e^{i \omega t}} \\
&=
\sqrt{\frac{\Hbar}{2 m \omega}} \lr{ \lr{z + z^\conj} \cos( \omega t ) -i \lr{ z – z^\conj } \sin( \omega t) } \\
&=
\sqrt{\frac{\Hbar}{2 m \omega}} \lr{ \expectation{x(0)} \sqrt{ \frac{2 m \omega}{\Hbar}} \cos( \omega t ) -i \expectation{p(0)} i \sqrt{\frac{2 m \omega}{\Hbar} } \sin( \omega t) } \\
&=
\expectation{x(0)} \cos( \omega t ) + \frac{\expectation{p(0)}}{m \omega} \sin( \omega t) .
\end{aligned}

We find that the average of the Heisenberg position operator evolves in time in exactly the same fashion as position in the classical Harmonic oscillator. This phase space like trajectory is sketched in fig. 1.

fig. 1. phase space like trajectory

In the text it is shown that we have the same structure for the Heisenberg operator itself, before taking expectations

\label{eqn:qmLecture5:220}
\hat{x}_{\textrm{H}}(t)
=
{x(0)} \cos( \omega t ) + \frac{{p(0)}}{m \omega} \sin( \omega t).

Where the coherent states become useful is that we will see that the second moments of position and momentum are not time dependent with respect to the coherent states. Such states remain localized.

### Uncertainty

First note that using the commutator relationship we have

\label{eqn:qmLecture5:180}
\begin{aligned}
\bra{z} a a^\dagger \ket{z}
&=
\bra{z} \lr{ \antisymmetric{a}{a^\dagger} + a^\dagger a } \ket{z} \\
&=
\bra{z} \lr{ 1 + a^\dagger a } \ket{z}.
\end{aligned}

For the second moment we have

\label{eqn:qmLecture5:200}
\begin{aligned}
\bra{z} \hat{x}^2 \ket{z}
&=
\frac{\Hbar}{ 2 m \omega}
\bra{z} \lr{a + a^\dagger } \lr{a + a^\dagger } \ket{z} \\
&=
\frac{\Hbar}{ 2 m \omega}
\bra{z} \lr{
a^2 + {(a^\dagger)}^2 + a a^\dagger + a^\dagger a
} \ket{z} \\
&=
\frac{\Hbar}{ 2 m \omega}
\bra{z} \lr{
a^2 + {(a^\dagger)}^2 + 2 a^\dagger a + 1
} \ket{z} \\
&=
\frac{\Hbar}{ 2 m \omega}
\lr{ z^2 + {(z^\conj)}^2 + 2 z^\conj z + 1} \ket{z} \\
&=
\frac{\Hbar}{ 2 m \omega}
\lr{ z + z^\conj }^2
+
\frac{\Hbar}{ 2 m \omega}.
\end{aligned}

We find

\label{eqn:qmLecture5:240}
\sigma_x^2 = \frac{\Hbar}{ 2 m \omega},

and

\label{eqn:qmLecture5:260}
\sigma_p^2 = \frac{m \Hbar \omega}{2}

so

\label{eqn:qmLecture5:280}
\sigma_x^2 \sigma_p^2 = \frac{\Hbar^2}{4},

or

\label{eqn:qmLecture5:300}
\sigma_x \sigma_p = \frac{\Hbar}{2}.

This is the minimum uncertainty.

### Quantum Field theory

In Quantum Field theory the ideas of isolated oscillators is used to model particle creation. The lowest energy state (a no particle, vacuum state) is given the lowest energy level, with each additional quantum level modeling a new particle creation state as sketched in fig. 2.

fig. 2. QFT energy levels

We have to imagine many oscillators, each with a distinct vacuum energy $$\sim \Bk^2$$ . The Harmonic oscillator can be used to model the creation of particles with $$\Hbar \omega$$ energy differences from that “vacuum energy”.

### Charged particle in a magnetic field

In the classical case ( with SI units or $$c = 1$$ ) we have

\label{eqn:qmLecture5:320}
\BF = q \BE + q \Bv \cross \BB.

Alternately, we can look at the Hamiltonian view of the system, written in terms of potentials

\label{eqn:qmLecture5:340}

\label{eqn:qmLecture5:360}
\BE = – \spacegrad \phi – \PD{t}{\BA}.

Note that the curl form for the magnetic field implies one of the required Maxwell’s equations $$\spacegrad \cdot \BB = 0$$.

Ignoring time dependence of the potentials, the Hamiltonian can be expressed as

\label{eqn:qmLecture5:380}
H = \inv{2 m} \lr{ \Bp – q \BA }^2 + q \phi.

In this Hamiltonian the vector $$\Bp$$ is called the canonical momentum, the momentum conjugate to position in phase space.

It is left as an exercise to show that the Lorentz force equation results from application of the Hamiltonian equations of motion, and that the velocity is given by $$\Bv = (\Bp – q \BA)/m$$.

For quantum mechanics, we use the same Hamiltonian, but promote our position, momentum and potentials to operators.

\label{eqn:qmLecture5:400}
\hat{H} = \inv{2 m} \lr{ \hat{\Bp} – q \hat{\BA}(\Br, t) }^2 + q \hat{\phi}(\Br, t).

### Gauge invariance

Can we say anything about this before looking at the question of a particle in a magnetic field?

Recall that the we can make a gauge transformation of the form

\label{eqn:qmLecture5:420a}
\label{eqn:qmLecture5:420}
\BA \rightarrow \BA + \spacegrad \chi

\label{eqn:qmLecture5:440}
\phi \rightarrow \phi – \PD{t}{\chi}

Does this notion of gauge invariance also carry over to the Quantum Hamiltonian. After gauge transformation we have

\label{eqn:qmLecture5:460}
\hat{H}’
= \inv{2 m} \lr{ \hat{\Bp} – q \BA – q \spacegrad \chi }^2 + q \lr{ \phi – \PD{t}{\chi} }

Now we are in a mess, since this function $$\chi$$ can make the Hamiltonian horribly complicated. We don’t see how gauge invariance can easily be applied to the quantum problem. Next time we will introduce a transformation that resolves some of this mess.

## Question: Lorentz force from classical electrodynamic Hamiltonian

Given the classical Hamiltonian

\label{eqn:qmLecture5:381}
H = \inv{2 m} \lr{ \Bp – q \BA }^2 + q \phi.

apply the Hamiltonian equations of motion

\label{eqn:qmLecture5:480}
\begin{aligned}
\ddt{\Bp} &= – \PD{\Bq}{H} \\
\ddt{\Bq} &= \PD{\Bp}{H},
\end{aligned}

to show that this is the Hamiltonian that describes the Lorentz force equation, and to find the velocity in terms of the canonical momentum and vector potential.

The particle velocity follows easily

\label{eqn:qmLecture5:500}
\begin{aligned}
\Bv
&= \ddt{\Br} \\
&= \PD{\Bp}{H} \\
&= \inv{m} \lr{ \Bp – a \BA }.
\end{aligned}

For the Lorentz force we can proceed in the coordinate representation

\label{eqn:qmLecture5:520}
\begin{aligned}
\ddt{p_k}
&= – \PD{x_k}{H} \\
&= – \frac{2}{2m} \lr{ p_m – q A_m } \PD{x_k}{}\lr{ p_m – q A_m } – q \PD{x_k}{\phi} \\
&= q v_m \PD{x_k}{A_m} – q \PD{x_k}{\phi},
\end{aligned}

We also have

\label{eqn:qmLecture5:540}
\begin{aligned}
\ddt{p_k}
&=
\ddt{} \lr{m x_k + q A_k } \\
&=
m \frac{d^2 x_k}{dt^2} + q \PD{x_m}{A_k} \frac{d x_m}{dt} + q \PD{t}{A_k}.
\end{aligned}

Putting these together we’ve got

\label{eqn:qmLecture5:560}
\begin{aligned}
m \frac{d^2 x_k}{dt^2}
&= q v_m \PD{x_k}{A_m} – q \PD{x_k}{\phi},
– q \PD{x_m}{A_k} \frac{d x_m}{dt} – q \PD{t}{A_k} \\
&=
q v_m \lr{ \PD{x_k}{A_m} – \PD{x_m}{A_k} } + q E_k \\
&=
q v_m \epsilon_{k m s} B_s + q E_k,
\end{aligned}

or

\label{eqn:qmLecture5:580}
\begin{aligned}
m \frac{d^2 \Bx}{dt^2}
&=
q \Be_k v_m \epsilon_{k m s} B_s + q E_k \\
&= q \Bv \cross \BB + q \BE.
\end{aligned}

## Question: Show gauge invariance of the magnetic and electric fields

After the gauge transformation of \ref{eqn:qmLecture5:420} show that the electric and magnetic fields are unaltered.

For the magnetic field the transformed field is

\label{eqn:qmLecture5:600}
\begin{aligned}
\BB’
&= \BB.
\end{aligned}

\label{eqn:qmLecture5:620}
\begin{aligned}
\BE’
&=
– \PD{t}{\BA’} – \spacegrad \phi’ \\
&=
– \PD{t}{}\lr{\BA + \spacegrad \chi} – \spacegrad \lr{ \phi – \PD{t}{\chi}} \\
&=
– \PD{t}{\BA} – \spacegrad \phi \\
&=
\BE.
\end{aligned}

# References

[1] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics. Pearson Higher Ed, 2014.

## PHY1520H Graduate Quantum Mechanics. Lecture 4: Quantum Harmonic oscillator and coherent states. Taught by Prof. Arun Paramekanti

### Disclaimer

Peeter’s lecture notes from class. These may be incoherent and rough. This lecture reviewed a lot of quantum harmonic oscillator theory, and wouldn’t make sense without having seen raising and lowering operators (ladder operators), number operators, and the like.

These are notes for the UofT course PHY1520, Graduate Quantum Mechanics, taught by Prof. Paramekanti, covering [1] chap. 2 content.

### Classical Harmonic Oscillator

Recall the classical Harmonic oscillator equations in their Hamiltonian form

\label{eqn:qmLecture4:40}
\ddt{x} = \frac{p}{m}

\label{eqn:qmLecture4:60}
\ddt{p} = -k x.

With

\label{eqn:qmLecture4:140}
\begin{aligned}
x(t = 0) &= x_0 \\
p(t = 0) &= p_0 \\
k &= m \omega^2,
\end{aligned}

the solutions are ellipses in phase space

\label{eqn:qmLecture4:100}
x(t) = x_0 \cos(\omega t) + \frac{p_0}{m \omega} \sin(\omega t)

\label{eqn:qmLecture4:120}
p(t) = p_0 \cos(\omega t) – m \omega x_0 \sin(\omega t).

After a suitable scaling of the variables, these elliptical orbits can be transformed into circular trajectories.

### Quantum Harmonic Oscillator

\label{eqn:qmLecture4:160}
\hat{H} = \frac{\hat{p}^2}{2 m} + \inv{2} k \hat{x}^2

Set

\label{eqn:qmLecture4:200}
\hat{X} = \sqrt{\frac{m \omega}{\Hbar}} \hat{x}

\label{eqn:qmLecture4:220}
\hat{P} = \sqrt{\inv{m \omega \Hbar}} \hat{p}

The commutators after this change of variables goes from

\label{eqn:qmLecture4:240}
\antisymmetric{ \hat{x}}{\hat{p}} = i \Hbar,

to
\label{eqn:qmLecture4:260}
\antisymmetric{ \hat{X}}{\hat{P}} = i.

The Hamiltonian takes the form

\label{eqn:qmLecture4:280}
\begin{aligned}
\hat{H}
&= \frac{\Hbar \omega}{2} \lr{ \hat{X}^2 + \hat{P}^2 } \\
&= \Hbar \omega \lr{ \lr{ \frac{\hat{X} -i \hat{P}}{\sqrt{2}} } \lr{ \frac{\hat{X} +i \hat{P}}{\sqrt{2}}} + \inv{2} }.
\end{aligned}

Define ladder operators (raising and lowering operators respectively)

\label{eqn:qmLecture4:320}
\hat{a}^\dagger = \frac{\hat{X} -i \hat{P}}{\sqrt{2}}

\label{eqn:qmLecture4:340}
\hat{a} = \frac{\hat{X} +i \hat{P}}{\sqrt{2}}

so

\label{eqn:qmLecture4:360}
\hat{H} = \Hbar \omega \lr{ \hat{a}^\dagger \hat{a} + \inv{2} }.

We can show

\label{eqn:qmLecture4:380}
\antisymmetric{\hat{a}}{\hat{a}^\dagger} = 1,

and

\label{eqn:qmLecture4:400}
N \ket{n} \equiv \hat{a}^\dagger a = n \ket{n},

where $$n \ge 0$$ is an integer. Recall that

\label{eqn:qmLecture4:420}
\hat{a} \ket{0} = 0,

and

\label{eqn:qmLecture4:440}
\bra{X} X + i P \ket{0} = 0.

With

\label{eqn:qmLecture4:460}
\braket{x}{0} = \Psi_0(x),

we can show

\label{eqn:qmLecture4:480}
\inv{\sqrt{2}} \lr{ X + \PD{X}{} } \Psi_0(X) = 0.

Also recall that

\label{eqn:qmLecture4:520}
\hat{a} \ket{n} = \sqrt{n} \ket{n-1}

\label{eqn:qmLecture4:540}
\hat{a}^\dagger \ket{n} = \sqrt{n + 1} \ket{n+1}

### Coherent states

Coherent states for the quantum harmonic oscillator are the eigenkets for the creation and annihilation operators

\label{eqn:qmLecture4:580}
\hat{a} \ket{z} = z \ket{z}

\label{eqn:qmLecture4:600}
\hat{a}^\dagger \ket{\tilde{z}} = \tilde{z} \ket{\tilde{z}} ,

where

\label{eqn:qmLecture4:620}
\ket{z} = \sum_{n = 0}^\infty c_n \ket{n},

and $$z$$ is allowed to be a complex number.

Looking for such a state, we compute

\label{eqn:qmLecture4:640}
\begin{aligned}
\hat{a} \ket{z}
&= \sum_{n=1}^\infty c_n \hat{a} \ket{n} \\
&= \sum_{n=1}^\infty c_n \sqrt{n} \ket{n-1}
\end{aligned}

compare this to

\label{eqn:qmLecture4:660}
\begin{aligned}
z \ket{z}
&=
z \sum_{n=0}^\infty c_n \ket{n} \\
&=
\sum_{n=1}^\infty c_n \sqrt{n} \ket{n-1} \\
&=
\sum_{n=0}^\infty c_{n+1} \sqrt{n+1} \ket{n},
\end{aligned}

so

\label{eqn:qmLecture4:680}
c_{n+1} \sqrt{n+1} = z c_n

This gives

\label{eqn:qmLecture4:700}
c_{n+1} = \frac{z c_n}{\sqrt{n+1}}

\label{eqn:qmLecture4:720}
\begin{aligned}
c_1 &= c_0 z \\
c_2 &= \frac{z c_1}{\sqrt{2}} = \frac{z^2 c_0}{\sqrt{2}} \\
\vdots &
\end{aligned}

or

\label{eqn:qmLecture4:740}
c_n = \frac{z^n}{\sqrt{n!}}.

So the desired state is

\label{eqn:qmLecture4:760}
\ket{z} = c_0 \sum_{n=0}^\infty \frac{z^n}{\sqrt{n!}} \ket{n}.

Also recall that

\label{eqn:qmLecture4:780}
\ket{n} = \frac{\lr{ \hat{a}^\dagger }^n}{\sqrt{n!}} \ket{0},

which gives

\label{eqn:qmLecture4:800}
\begin{aligned}
\ket{z}
&= c_0 \sum_{n=0}^\infty \frac{\lr{z \hat{a}^\dagger}^n }{n!} \ket{0} \\
&= c_0 e^{z \hat{a}^\dagger} \ket{0}.
\end{aligned}

The normalization is

\label{eqn:qmLecture4:820}
c_0 = e^{-\Abs{z}^2/2}.

While we have $$\braket{n_1}{n_2} = \delta_{n_1, n_2}$$, these $$\ket{z}$$ states are not orthonormal. Figuring out that this overlap

\label{eqn:qmLecture4:840}
\braket{z_1}{z_2} \ne 0,

will be left for homework.

### Dynamics

We don’t know much about these coherent states. For example does a coherent state at time zero evolve to a coherent state?

\label{eqn:qmLecture4:860}
\ket{z} \stackrel{?}{\rightarrow} \ket{z(t)}

It turns out that these questions are best tackled in the Heisenberg picture, considering

\label{eqn:qmLecture4:880}
e^{-i \hat{H} t/\Hbar } \ket{z}.

For example, what is the average of the position operator

\label{eqn:qmLecture4:900}
\bra{z} e^{i \hat{H} t/\Hbar } \hat{x} e^{-i \hat{H} t/\Hbar } \ket{z}
=
\sum_{n, n’ = 0}^\infty
\bra{n} c_n^\conj e^{i E_n t/\Hbar}
\lr{ a + a^\dagger} \sqrt{ \frac{\Hbar}{m \omega} }
c_{n’} e^{i E_{n’} t/\Hbar}
\ket{n}.

This is very messy to attempt. Instead if we know how the operator evolves we can calculate

\label{eqn:qmLecture4:920}
\bra{z} \hat{x}_{\textrm{H}}(t) \ket{z},

that is

\label{eqn:qmLecture4:940}
\expectation{\hat{x}}(t) = \bra{z} \hat{x}_{\textrm{H}}(t) \ket{z},

and for momentum

\label{eqn:qmLecture4:960}
\expectation{\hat{p}}(t) = \bra{z} \hat{p}_{\textrm{H}}(t) \ket{z}.

The question to ask is what are the expansions of

\label{eqn:qmLecture4:1000}
\hat{a}_{\textrm{H}}(t) = e^{i \hat{H} t/\Hbar} \hat{a} e^{-i \hat{H} t/\Hbar}.

\label{eqn:qmLecture4:1020}
\hat{a}^\dagger_{\textrm{H}}(t) = e^{i \hat{H} t/\Hbar} \hat{a}^\dagger e^{-i \hat{H} t/\Hbar}.

The question to ask is how do these operators ask on the basis states

\label{eqn:qmLecture4:1040}
\begin{aligned}
\hat{a}_{\textrm{H}}(t) \ket{n}
&= e^{i \hat{H} t/\Hbar} \hat{a} e^{-i \hat{H} t/\Hbar} \ket{n} \\
&= e^{i \hat{H} t/\Hbar} \hat{a} e^{-i t \omega (n + 1/2)} \ket{n} \\
&=
e^{-i t \omega (n + 1/2)}
e^{i \hat{H} t/\Hbar}
\sqrt{n} \ket{n-1} \\
&=
\sqrt{n}
e^{-i t \omega (n + 1/2)}
e^{i t \omega (n – 1/2)}
\ket{n-1} \\
&=
\sqrt{n} e^{-i \omega t} \ket{n-1} \\
&=
e^{-i \omega t} \ket{n}.
\end{aligned}

So we have found

\label{eqn:qmLecture4:1060}
\begin{aligned}
\hat{a}_{\textrm{H}}(t) &= a e^{-i\omega t} \\
\hat{a}^\dagger_{\textrm{H}}(t) &= a^\dagger e^{i\omega t}
\end{aligned}

# References

[1] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics. Pearson Higher Ed, 2014.

## Quantum SHO ladder operators as a diagonal change of basis for the Heisenberg EOMs

Many authors pull the definitions of the raising and lowering (or ladder) operators out of their butt with no attempt at motivation. This is pointed out nicely in [1] by Eli along with one justification based on factoring the Hamiltonian.

In [2] is a small exception to the usual presentation. In that text, these operators are defined as usual with no motivation. However, after the utility of these operators has been shown, the raising and lowering operators show up in a context that does provide that missing motivation as a side effect.
It doesn’t look like the author was trying to provide a motivation, but it can be interpreted that way.

When seeking the time evolution of Heisenberg-picture position and momentum operators, we will see that those solutions can be trivially expressed using the raising and lowering operators. No special tools nor black magic is required to find the structure of these operators. Unfortunately, we must first switch to both the Heisenberg picture representation of the position and momentum operators, and also employ the Heisenberg equations of motion. Neither of these last two fit into standard narrative of most introductory quantum mechanics treatments. We will also see that these raising and lowering “operators” could also be introduced in classical mechanics, provided we were attempting to solve the SHO system using the Hamiltonian equations of motion.

I’ll outline this route to finding the structure of the ladder operators below. Because these are encountered trying to solve the time evolution problem, I’ll first show a simpler way to solve that problem. Because that simpler method depends a bit on lucky observation and is somewhat unstructured, I’ll then outline a more structured procedure that leads to the ladder operators directly, also providing the solution to the time evolution problem as a side effect.

The starting point is the Heisenberg equations of motion. For a time independent Hamiltonian $$H$$, and a Heisenberg operator $$A^{(H)}$$, those equations are

\label{eqn:harmonicOscDiagonalize:20}
\ddt{A^{(H)}} = \inv{i \Hbar} \antisymmetric{A^{(H)}}{H}.

Here the Heisenberg operator $$A^{(H)}$$ is related to the Schrodinger operator $$A^{(S)}$$ by

\label{eqn:harmonicOscDiagonalize:60}
A^{(H)} = U^\dagger A^{(S)} U,

where $$U$$ is the time evolution operator. For this discussion, we need only know that $$U$$ commutes with $$H$$, and do not need to know the specific structure of that operator. In particular, the Heisenberg equations of motion take the form

\label{eqn:harmonicOscDiagonalize:80}
\begin{aligned}
\ddt{A^{(H)}}
&= \inv{i \Hbar}
\antisymmetric{A^{(H)}}{H} \\
&= \inv{i \Hbar}
\antisymmetric{U^\dagger A^{(S)} U}{H} \\
&= \inv{i \Hbar}
\lr{
U^\dagger A^{(S)} U H
– H U^\dagger A^{(S)} U
} \\
&= \inv{i \Hbar}
\lr{
U^\dagger A^{(S)} H U
– U^\dagger H A^{(S)} U
} \\
&= \inv{i \Hbar} U^\dagger \antisymmetric{A^{(S)}}{H} U.
\end{aligned}

The Hamiltonian for the harmonic oscillator, with Schrodinger-picture position and momentum operators $$x, p$$ is

\label{eqn:harmonicOscDiagonalize:40}
H = \frac{p^2}{2m} + \inv{2} m \omega^2 x^2,

so the equations of motions are

\label{eqn:harmonicOscDiagonalize:100}
\begin{aligned}
\ddt{x^{(H)}}
&= \inv{i \Hbar} U^\dagger \antisymmetric{x}{H} U \\
&= \inv{i \Hbar} U^\dagger \antisymmetric{x}{\frac{p^2}{2m}} U \\
&= \inv{2 m i \Hbar} U^\dagger \lr{ i \Hbar \PD{p}{p^2} } U \\
&= \inv{m } U^\dagger p U \\
&= \inv{m } p^{(H)},
\end{aligned}

and
\label{eqn:harmonicOscDiagonalize:120}
\begin{aligned}
\ddt{p^{(H)}}
&= \inv{i \Hbar} U^\dagger \antisymmetric{p}{H} U \\
&= \inv{i \Hbar} U^\dagger \antisymmetric{p}{\inv{2} m \omega^2 x^2 } U \\
&= \frac{m \omega^2}{2 i \Hbar} U^\dagger \lr{ -i \Hbar \PD{x}{x^2} } U \\
&= -m \omega^2 U^\dagger x U \\
&= -m \omega^2 x^{(H)}.
\end{aligned}

In the Heisenberg picture the equations of motion are precisely those of classical Hamiltonian mechanics, except that we are dealing with operators instead of scalars

\label{eqn:harmonicOscDiagonalize:140}
\begin{aligned}
\ddt{p^{(H)}} &= -m \omega^2 x^{(H)} \\
\ddt{x^{(H)}} &= \inv{m } p^{(H)}.
\end{aligned}

In the text the ladder operators are used to simplify the solution of these coupled equations, since they can decouple them. That’s not really required since we can solve them directly in matrix form with little work

\label{eqn:harmonicOscDiagonalize:160}
\ddt{}
\begin{bmatrix}
p^{(H)} \\
x^{(H)}
\end{bmatrix}
=
\begin{bmatrix}
0 & -m \omega^2 \\
\inv{m} & 0
\end{bmatrix}
\begin{bmatrix}
p^{(H)} \\
x^{(H)}
\end{bmatrix},

or, with length scaled variables

\label{eqn:harmonicOscDiagonalize:180}
\begin{aligned}
\ddt{}
\begin{bmatrix}
\frac{p^{(H)}}{m \omega} \\
x^{(H)}
\end{bmatrix}
&=
\begin{bmatrix}
0 & -\omega \\
\omega & 0
\end{bmatrix}
\begin{bmatrix}
\frac{p^{(H)}}{m \omega} \\
x^{(H)}
\end{bmatrix} \\
&=
-i \omega
\begin{bmatrix} 0 & -i \\ i & 0 \\ \end{bmatrix}
\begin{bmatrix}
\frac{p^{(H)}}{m \omega} \\
x^{(H)}
\end{bmatrix} \\
&=
-i \omega
\sigma_y
\begin{bmatrix}
\frac{p^{(H)}}{m \omega} \\
x^{(H)}
\end{bmatrix}.
\end{aligned}

Writing $$y = \begin{bmatrix} \frac{p^{(H)}}{m \omega} \\ x^{(H)} \end{bmatrix}$$, the solution can then be written immediately as

\label{eqn:harmonicOscDiagonalize:200}
\begin{aligned}
y(t)
&=
\exp\lr{ -i \omega \sigma_y t } y(0) \\
&=
\lr{ \cos \lr{ \omega t } I – i \sigma_y \sin\lr{ \omega t } } y(0) \\
&=
\begin{bmatrix}
\cos\lr{ \omega t } & \sin\lr{ \omega t } \\
-\sin\lr{ \omega t } & \cos\lr{ \omega t }
\end{bmatrix}
y(0),
\end{aligned}

or

\label{eqn:harmonicOscDiagonalize:220}
\begin{aligned}
\frac{p^{(H)}(t)}{m \omega} &= \cos\lr{ \omega t } \frac{p^{(H)}(0)}{m \omega} + \sin\lr{ \omega t } x^{(H)}(0) \\
x^{(H)}(t) &= -\sin\lr{ \omega t } \frac{p^{(H)}(0)}{m \omega} + \cos\lr{ \omega t } x^{(H)}(0).
\end{aligned}

This solution depends on being lucky enough to recognize that the matrix has a Pauli matrix as a factor (which squares to unity, and allows the exponential to be evaluated easily.)

If we hadn’t been that observant, then the first tool we’d have used instead would have been to diagonalize the matrix. For such diagonalization, it’s natural to work in completely dimensionless variables. Such a non-dimensionalisation can be had by defining

\label{eqn:harmonicOscDiagonalize:240}
x_0 = \sqrt{\frac{\Hbar}{m \omega}},

and dividing the working (operator) variables through by those values. Let $$z = \inv{x_0} y$$, and $$\tau = \omega t$$ so that the equations of motion are

\label{eqn:harmonicOscDiagonalize:260}
\frac{dz}{d\tau}
=
\begin{bmatrix}
0 & -1 \\
1 & 0
\end{bmatrix}
z.

This matrix can be diagonalized as

\label{eqn:harmonicOscDiagonalize:280}
A
=
\begin{bmatrix}
0 & -1 \\
1 & 0
\end{bmatrix}
=
V
\begin{bmatrix}
i & 0 \\
0 & -i
\end{bmatrix}
V^{-1},

where

\label{eqn:harmonicOscDiagonalize:300}
V =
\inv{\sqrt{2}}
\begin{bmatrix}
i & -i \\
1 & 1
\end{bmatrix}.

The equations of motion can now be written

\label{eqn:harmonicOscDiagonalize:320}
\frac{d}{d\tau} \lr{ V^{-1} z } =
\begin{bmatrix}
i & 0 \\
0 & -i
\end{bmatrix}
\lr{ V^{-1} z }.

This final change of variables $$V^{-1} z$$ decouples the system as desired. Expanding that gives

\label{eqn:harmonicOscDiagonalize:340}
\begin{aligned}
V^{-1} z
&=
\inv{\sqrt{2}}
\begin{bmatrix}
-i & 1 \\
i & 1
\end{bmatrix}
\begin{bmatrix}
\frac{p^{(H)}}{x_0 m \omega} \\
\frac{x^{(H)}}{x_0}
\end{bmatrix} \\
&=
\inv{\sqrt{2} x_0}
\begin{bmatrix}
-i \frac{p^{(H)}}{m \omega} + x^{(H)} \\
i \frac{p^{(H)}}{m \omega} + x^{(H)}
\end{bmatrix} \\
&=
\begin{bmatrix}
a^\dagger \\
a
\end{bmatrix},
\end{aligned}

where
\label{eqn:harmonicOscDiagonalize:n}
\begin{aligned}
a^\dagger &= \sqrt{\frac{m \omega}{2 \Hbar}} \lr{ -i \frac{p^{(H)}}{m \omega} + x^{(H)} } \\
a &= \sqrt{\frac{m \omega}{2 \Hbar}} \lr{ i \frac{p^{(H)}}{m \omega} + x^{(H)} }.
\end{aligned}

Lo and behold, we have the standard form of the raising and lowering operators, and can write the system equations as

\label{eqn:harmonicOscDiagonalize:360}
\begin{aligned}
\ddt{a^\dagger} &= i \omega a^\dagger \\
\ddt{a} &= -i \omega a.
\end{aligned}

It is actually a bit fluky that this matched exactly, since we could have chosen eigenvectors that differ by constant phase factors, like

\label{eqn:harmonicOscDiagonalize:380}
V = \inv{\sqrt{2}}
\begin{bmatrix}
i e^{i\phi} & -i e^{i \psi} \\
1 e^{i\phi} & e^{i \psi}
\end{bmatrix},

so

\label{eqn:harmonicOscDiagonalize:341}
\begin{aligned}
V^{-1} z
&=
\frac{e^{-i(\phi + \psi)}}{\sqrt{2}}
\begin{bmatrix}
-i e^{i\psi} & e^{i \psi} \\
i e^{i\phi} & e^{i \phi}
\end{bmatrix}
\begin{bmatrix}
\frac{p^{(H)}}{x_0 m \omega} \\
\frac{x^{(H)}}{x_0}
\end{bmatrix} \\
&=
\inv{\sqrt{2} x_0}
\begin{bmatrix}
-i e^{i\phi} \frac{p^{(H)}}{m \omega} + e^{i\phi} x^{(H)} \\
i e^{i\psi} \frac{p^{(H)}}{m \omega} + e^{i\psi} x^{(H)}
\end{bmatrix} \\
&=
\begin{bmatrix}
e^{i\phi} a^\dagger \\
e^{i\psi} a
\end{bmatrix}.
\end{aligned}

To make the resulting pairs of operators Hermitian conjugates, we’d want to constrain those constant phase factors by setting $$\phi = -\psi$$. If we were only interested in solving the time evolution problem no such additional constraints are required.

The raising and lowering operators are seen to naturally occur when seeking the solution of the Heisenberg equations of motion. This is found using the standard technique of non-dimensionalisation and then seeking a change of basis that diagonalizes the system matrix. Because the Heisenberg equations of motion are identical to the classical Hamiltonian equations of motion in this case, what we call the raising and lowering operators in quantum mechanics could also be utilized in the classical simple harmonic oscillator problem. However, in a classical context we wouldn’t have a justification to call this more than a change of basis.

# References

[1] Eli Lansey. The Quantum Harmonic Oscillator Ladder Operators, 2009. URL http://behindtheguesses.blogspot.ca/2009/03/quantum-harmonic-oscillator-ladder.html. [Online; accessed 18-August-2015].

[2] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics, chapter {Time Development of the Oscillator}. Pearson Higher Ed, 2014.

## Update to old phy356 (Quantum Mechanics I) notes.

It’s been a long time since I took QM I. My notes from that class were pretty rough, but I’ve cleaned them up a bit.

The main value to these notes is that I worked a number of introductory Quantum Mechanics problems.

These were my personal lecture notes for the Fall 2010, University of Toronto Quantum mechanics I course (PHY356H1F), taught by Prof. Vatche Deyirmenjian.

The official description of this course was:

The general structure of wave mechanics; eigenfunctions and eigenvalues; operators; orbital angular momentum; spherical harmonics; central potential; separation of variables, hydrogen atom; Dirac notation; operator methods; harmonic oscillator and spin.

This document contains a few things

• My lecture notes.
Typos, if any, are probably mine(Peeter), and no claim nor attempt of spelling or grammar correctness will be made. The first four lectures had chosen not to take notes for since they followed the text very closely.
• Notes from reading of the text. This includes observations, notes on what seem like errors, and some solved problems. None of these problems have been graded. Note that my informal errata sheet for the text has been separated out from this document.
• Some assigned problems. I have corrected some the errors after receiving grading feedback, and where I have not done so I at least recorded some of the grading comments as a reference.
• Some worked problems associated with exam preparation.