Luigi Pilo
1 Coherent States
The goal is to construct a set of quantum state for a harmonic oscillator of mass m and frequency ω resembling as much as possible its classical coun- terpart. The two basic requirements are
• the states must have minimal uncertainty, namely ∆x ∆p = ~/2;
• the time dependent average of coordinate and momentum operators must follow the classical evolution.
The fact that in the Heisenberg picture ˆ p(t) and ˆ q(t) have the same time evolution of the classical counterpart is not of much help for our goal; indeed, using parity (see appendix) for any eigenstate |n > of the harmonic oscillator we have that
< n|ˆ p(t)|n >=< n|ˆ q(t)|n >= 0 . (1) Classically, the motion is started displacing the oscillator from its equilibrium position with a non vanishing initial velocity. Let us try to mimic the same situation quantum mechanically; the equilibrium position is associated with the vacuum state |0 >, the displacement from the equilibrium postion is associated to a translation in space of a quantity c, the initial velocity with a translation in momentum space of a quantity b. We are then led to consider the following initial state |z >
|z >= e
i~−1b ˆqe
−i~−1c ˆp|0 >= ˆ U (c, b)|0 > . (2) By construction, being ˆ U a unitary operator, < z|z >= 1.
Using the following commutation rule
1[ˆ p, f (ˆ q)] = −i f
0(ˆ q) , [ˆ q, f (ˆ p)] = i f
0(ˆ p) , (3) we have that
e
i~−1c ˆpq e ˆ
−i~−1c ˆp= ˆ q + e
i~−1c ˆp[ˆ q , e
−i~−1c ˆp] = ˆ q + c ; (4)
1
One can check them by expanding f in a Taylor series and using, as many times as
required, [A, B C] = [A, B] C + B [A, C].
and
e
−i~−1b ˆqp e ˆ
i~−1b ˆq= ˆ p + e
−i~−1b ˆq[ˆ p , e
i~−1b ˆq] = ˆ p + b . (5) To simplify the notation it is convenient to introduce the dimensionless op- erators
P = ˆ p ˆ
(2m~ω)
1/2, Q = ˆ mω 2~
1/2ˆ
q . (6)
Thus [ ˆ Q, ˆ P ] = i/2 and setting
α = 2mω
~
1/2c , β =
2
m~ω
1/2; (7)
then
|z >= e
i β ˆQe
−i α ˆP|0 >= ˆ U (α, β)|0 > ; e
−i β ˆQP e ˆ
i β ˆQ= ˆ P + β
2 , e
i α ˆPQ e ˆ
−i α ˆP= ˆ Q + α 2 .
(8)
We can now show that |z > is an eigenstate of the annihilation operator ˆ
a = ˆ Q + i ˆ P ˆ
a|z >= ( ˆ Q + i ˆ P )e
i β ˆQe
−i α ˆP|0 >= e
i β ˆQe
−i β ˆQ( ˆ Q + i ˆ P )e
i β ˆQe
−i α ˆP|0 >
= e
i β ˆQ( ˆ Q + i ˆ P + i β) e
−i α ˆP|0 >= e
i β ˆQe
−i α ˆPe
i α ˆP( ˆ Q + i ˆ P + i β
2 )e
−i α ˆP|0 >
= e
i β ˆQe
−i α ˆP( ˆ Q + i ˆ P + i β 2 + α
2 )|0 >= ˆ U (α, β)(ˆ a + i β 2 + α
2 )|0 >
= ˆ U (α, β)ˆ a|0 > + 1
2 (α + iβ)|z >= 1
2 (α + iβ)|z > .
(9) The state |z > is an eigenstate of ˆ a with a complex
2eigenvalue z =
12(α+iβ).
Using the properties of ˆ U is easy to compute the averages of momentum and coordinate operators
P =< z| ˆ ¯ P |z >=< 0|U
†(α, β) ˆ P U (α, β)|0 >=< 0| ˆ P + β
2 |0 >= β
2 = Im(z) ; (10)
2
Note that ˆ a is not hermitian.
and in the same way
Q =< z| ˆ ¯ Q|z >= α
2 = Re(z) . (11)
Then the indetermination for momentum and coordinate are
∆Q
2=< z| ˆ Q − α 2
2|z >=< 0|U
†(α, β) ˆ Q − α 2
2U (α, β)|0 >
=< 0| ˆ Q − α 2 + α
2
2|0 >=< 0| ˆ Q
2|0 >= mω
2~ < 0|ˆ q
2|0 >= 1 4 .
(12)
The same result holds for momentum: ∆P
2= 1/4. As a result
∆p
2∆q
2= 2~
mω 2m~ω ∆p
2∆q
2= ~
24 ; (13)
thus the state |z > has minimum uncertainty.
It very useful to find the decomposition of |z > in terms of the eigenstates {|n >} of the harmonic oscillator
|z >= X
n
< n|z > |n >= X
n
c
n|n > ; (14) and
c
n=< n|z >= 1
(n!)
1/2< 0|ˆ a
n|z >= z
n(n!)
1/2< 0|z > . (15) Thus
c
n= z
n(n!)
1/2c
0. (16)
To determine c
0we impose that < z|z >= 1, 1 = X
n
|c
n|
2= X
n
|c
0|
2zz
∗n! = |c
0|
2e
|z|2⇒ c
0= e
−|z|+iδ. (17) Setting the arbitrary phase to one, we get
|z >= e
−|z|X
n
z
n(n!)
1/2|n > . (18)
Using (18), time evolution is straightforward
|z, t > = e
−i ~−1H tˆ|z >= X
n
c
ne
−i ~−1H tˆ|n >= X
n
c
ne
−iω t/2−i n ω t|n >
= e
−iωt/2e
−|z|X
n