1.1 Harmonic Oscillator The Creation and Annihilation Operators
1.1 Harmonic Oscillator The Creation and Annihilation Operators
514: Many-body phenomena in condensed matter and atomic physics Last modi ed: September 24, 2003
q q p] = ih
(1)
2m
2
The ground state width can be found by minimizing energy:
h
2 + m!22 ! min
hHi =
(2)
2m2
2
which gives = (h=m!
)1=2 .
It will be convenient to use nondimensionalized variables q = q~, p = (h=
)p~, so that
the classical phase volume is rescaled by h
. Thus we obtain
h!
a
a
+
(6)
2
2
a a+] = 1
(7)
aa+ ; a+a = 12 ((q~ + ip~)(q~ ; ip~) ; (q~ ; ip~)(q~ + ip~)) = i (p~q~ ; q~p~) = 1
(8)
(10)
As a simple application of the operators a and a+, let us reconstruct the main facts
of the harmonic oscillator quantum mechanics.
1. The ground state j0i, also called vacuum state, provides the lowest possible energy
expectation value
1
1
+
h0 jHj0 i = h!
h0 ja aj0 i + = h!
ha0 ja0 i +
(9)
2
2
which gives the condition a0 = 0, i.e., (q + ip)0 = 0.
Let us nd the ground (vacuum) state in the q-representation. Using the units with
the length = 1, i.e., q~, p~ instead of q, p, we write
0
0 (q) =
1=4
exp
;q 2 =2
E0 = h!=
(11)
2. The higher energy states can be obtained from the ground state. Starting with the
commutation relations,
a+H = (H ; h!
) a+ aH = (H + h!
)a
(12)
one can show that the states n (q) = (a+)n0 (q) are the eigenstates. Indeed, consider
1 = a+0 and apply the rst relation (12):
(H ; h!
(13)
which gives E1 = E0 + h!
= 3h!=
2 and
1 (q) = p1 (q ; @q ) 0 = p2 q exp ;q2 =2
(14)
2
h
2
h
Subsequently, from 1 one obtains the eigenstate 2 (q) / (2q2 ; 1) exp (;q2 =2) with
= 5
h!=2, and so on. The recursion relation n = a+n 1,
the energy E2 = E1 + h!
En = En 1 + h!
, gives
n = An (a+)n0 En = h!
n + 12
(15)
;
n^ + 2
(21)
;
ajvi =
X
1
n=0
cn njn ; 1i =
X
1
n=0
vcnjni
(23)
p
j j
Finally,
X vn
2
2
+
p jni = e v =2 eva j0i
jv i = e v =2
n=0 n!
1
;j j
(26)
;j j
As we shall see below, the coherent states represent the points of the classical phase space
(q p). This can be conjectured most easily from their time dependence. Applying the
Schrodinger equation i@t = H to the number states, we have
1
jni(t) = e i(n+ 2 )!t jni
(28)
;j j
q = c v p = c v v = v + iv
(31)
where c is a scaling factor. The relation of coherent states with the points in a classical
phase space will be claried below.
Let us nd the form of a coherent state in the q-representation, v (q) = hqjvi. As
before, we use the units in which the length = 1, and write
vv (q) = hqjajvi = p1 hqj (q + @q ) jvi = p1 (q + @q ) v (q)
(32)
2
2
p
Solving the equation q + = 2v, obtain
p
ln = ;q2 =2 + v~q + const: v~ = 2v
(33)
and, nally,
v (q) = A exp ; 21 (q ; v~)2 jAj = 1=4 e (v~ )2 =2 = 1=4 e (v )2
(34)
0
00
00
00
00
with v~ = 2v . The probability jv (q)j2 has a form of a gaussian centered at q = Re(~v),
which agrees with the above interpretation
of v as a point in the phase space (with the
p
scaling factor taking value c = 2).
A more detailed picture of the phase-space density is provided by the Wigner distribution function
Z
W (q p) = 21h
hq + 12 xj ^jq ; 12 xieixp=h dx
(35)
where ^ is the density matrix. For a pure state (q), the density matrix in position space
is just ^qq =
(q)(q ), and the matrix element in (35) is
1
1
h:::i =
(q ; x) (q + x)
(36)
2
2
The interpretation of the Wigner function as a phase-space density is supported by the
following observations. One can check that the function (35) is real and normalized to
unity. Also, the coordinate and momentum distributions, obtained by integrating over
the conjugate variable, are reproduced correctly. The distribution in q is
00
00
;1
(37)
(38)
2 Z
W (q p) = j2Ajh
(39)
e 12 (q+ 12 x v ~)2 e 12 (q 12 x v~)2 eixpdx
jAj2 Z
= 2h
;1
00
00
;1
00
00
;j j
;j j
Here we discuss the the vector space propeties of coeherent states. Normally, the states
appearing in quantum mechanics are orthogonal, or can be made orthogonal in some
natural way, which provides an orthonormal basis in Hilbert space. The situation with
coherent states is quite dierent.
Let us start with evaluating the overlap:
1
1 2 X (uv
)n = e 21 u 2 21 v 2 +uv
2
hujv i = e 2 u e 2 v
(42)
n
!
n=0
which shows that the coherent states are not orthogonal. On the other hand, Eq.(42)
gives overlap decreasing exponentially as a function of the distance between u and v in
the complex plane:
2
jhujv ij2 = e u v
(43)
For generic classical states, juj jvj 1, the overlap is very small, which is consistent with
the intuition that dierent classical states are orthogonal in the quantum mechanical sense.
Recalling the interpretation of the complex v plane as a phase space, q~ = v , p~ = v , we
see that the overlap falls to zero at the length scale of the order of the
p wavepacket width
p
set by Planck's constant, i.e. by the uncertainty relation, q / h
, p h=
/ h
.
Another property of coherent states is completeness in the vector algebra sense. (A set
of vectors is called complete if linear combinations of these vectors span the entire vector
space.) The property is seen most readily from the formula know as unity decomposition:
Z
d2v = ^1
jv ihv j
(44)
Proof can be obtained by evaluating the matrix elements of the operator on the left hand
side of Eq. (44) between the number states
Z
Z Z
2 E
m n 2
m+n i(n m) rdrd
D Z
m jvihvj dv n = e v 2 pv
v dv =
e r 2 r pe
(45)
0
m!n!
m!n!
Z
2n
2r
r
2
= mn e
dr
(46)
n! = mn
0
(we used polar coordinates v = rei ).
Using the formula (44), one can express any operator in terms of coherent states:
ZZ
2 2
u
M^ = ^1M^ ^1 = juihvj M (u v) d vd
(47)
2
with the matrix elements M (u v) = hujM^ jvi. This formula can be useful in calculations,
as well as in formal manipulations (we shall use it later to derive Feynman path integral).
As another application of Eq. (44), let show that the coherent states form an overcomplete set, i.e. they are not linearly independent. Indeed, by writing
Z
Z
Z
2
2
2
1 u 2 1 v 2 +uv
1 u v2d u
d
u
d u
uv
v u
^
2
2
2
jv i = 1jv i = juihujv i
e
= jui e
= jui e
(48)
1
j j
;j
j ;
j j
; j
;j j
j ;
j j
; j
00
We already mentioned, while discussing the Wigner function, that the coherent states
form wavepackets in the phase space of width corresponding to the absolute minimum
required by the uncertainty relation. Let us estimate coordinate uncertainty of a state
jui:
2
2
2 (u + u
)2 + 1
2
hujq^2 jui = huj(a + a+ )2 jui = huja2 + a+ + 2a+ a + 1jui =
2
2
2
2
2
2
(hujq^jui)2 =
huja + a+ jui = (u + u
)2
2
2
2 = h
One can consider lattices in the complex plane, vm n = mu1 + nu2, m n 2 Z . Perelomov shown that
the lattice fvm ng generates an undercomplete set of coherent states fjvm n ig if the area of the lattice
unit cell is greater than 2h , and an overcomplete set if the area is less than 2h. The borderline lattices,
having the unit cell area equal to 2h , are overcomplete just by one vector. After any single vector is
removed from such a lattice, it becomes a complete set.
1