Schrödinger
Schrödinger
Schrödinger
1.1
call for a better formalism. The quantum field theory is designed specifically
for that.
1.2
1.3
Particle-Wave Duality
It is interesting to note that the way quantum mechanics and quantum field
theory work is a sort of the opposite. In quantum mechanics, you start with
classical particle Hamiltonian mechanics, with no concept of wave or interference. After quantizing it, we introduce Schrodinger wave function and there
2
emerges concepts of wave and its interference. In quantum field theory, you
start with classical wave equation, with no concept of particle. After quantizing it, we find particle interpretation of excitations in the system. Either
way, we find particle-wave duality, i.e., the energy/momentum is carried by
a quantum object which is neither exactly a wave or a particle. It is both.
Nonetheless, two formalisms start from the opposite classical description and
arrive at the same conclusion.
Classical Schr
odinger Field
(~x, t) = 0.
i
h +
t
2m
!
(1)
This looks just like quantum mechanical Schrodinger equation, but we consider it as a classical field equation similar to the Maxwell equation in Electromagnetism. You may wonder why there is h
in the equation, then. I
can actually eliminate h
completely from the equation by introducing a new
parameter = m/
h. For a later convenience when we discuss the action of
the classical Schrodinger field, let me also introduce = h
1/2 . Then the
field equation is
!
(~x, t) = 0.
(2)
i +
t 2
There is no trace of h
any more. Of course, the parameter has a dimension
2
of L T and does not have a meaning as a mass of a particle. But we are
talking about a classical field equation, and there is no concept of a mass in
a classical field equation anyway. is just a parameter in the field equation.
A solution to this field equation is that of a plane wave
~
(~x, t) = eik~xit ,
(3)
where the angular frequency and the wave vector ~k are related as
~k 2
=
.
2
(4)
You can see that the parameter defines the dispersion relation between the
frequency and the wave vector.
3
dtd~x (~x, t) i +
(~x, t).
t 2
(5)
Note that the Lagrangian for a field is given by an integral over space, and
in this case
Z
Z
S = dtL(t) = dtd~x L(~x, t)
(6)
where L(~x, t) is called Lagrangian density. By taking the variation of the
action with respect to + , we find
Z
S =
(~x, t),
dtd~x (~x, t) i +
t 2
(7)
and requiring that the action must be stationary, we recover the field equation
Eq. (2). You may worry that the action Eq. (5) is not real; but it can be
made real by adding surface terms
S=
i
1 ~ ~
( )
.
dtd~x
2
2
(8)
But for simplicity we use the previous form Eq. (5) for the rest of the note.
Because the classical field theory does not need to be linear unlike quantum mechanical Schrodinger equation, we can add a non-linear term (higher
than quadratic term) in the action, for instance,
S=
2 2 .
d~xdt i +
2
2
(9)
i +
(~x, t) = 0.
t 2
(10)
dt L =
dt (
pi qi H(pi , qj )),
(11)
(12)
(13)
You can again add a surface term and make it look symmetric between p
P
and q as L = i 21 (pi qi qi pi ) H(p, q). To quantize this system, we first
identify the canonically conjugate momentum of the coordinate qi by
L
.
qi
pi =
(14)
[pi , qj ] = ihij .
(15)
This defines the quantum theory. The index i runs over all degrees of freedom in the system. The quantum mechanical state is given by a ket |(t)i,
which admits a coordinate representation hq|i = (q, t). The dynamical
evolution of the system is given by the Schrodinger equation
ih
(16)
[a, a] = [a , a ] = 0.
(17)
Here, I assumed there are many harmonic oscillators labeled by the subscript
i or j. The Hilbert space is constructed from the ground state |0i which
satisfies
ai |0i = 0
(18)
5
for all i. All other states are given by acting creation operators on the ground
state
1
(a1 )n1 (a2 )n2 (aN )nN |0i
|n1 , n2 , , nN i =
n1 !n2 ! nN !
(19)
We will use the same method to construct Hilbert space for the quantized
Schrodinger field.
Quantized Schr
odinger Field
Now we try to quantize the classical field theory given by the action Eq. (9).
The procedure is the same as in particle mechanics, except that the index i
that runs over all degrees of freedom is now replaced by ~x. What it means
is that ~x is not an operator (!) but merely an index. This is probably one of
the most confusing points about the field theory. (~x) at different positions
are regarded as independent canonical coordinates exactly in the same way
that qi with different i are regarded as independent canonical coordinates in
particle mechanics.
4.1
L
= i (~x).
x)
(~
(20)
(21)
This defines the quantum theory of the Schrodinger field.1 The canonical
commutation relation Eq. (21) is very similar to the case of the harmonic
oscillator. We now go back to the normalization (~x) = (~x)/h1/2 , and we
find
[(~x), (~y )] = (~x ~y ),
[, ] = [ , ] = 0,
(22)
which resembles the case of harmonic oscillator even better. Now you see
that the use of (~x) was more convenient (we are not afraid of having h
Z
1
1
h2
2
+ ( ) = d~x
+ 2 2 . (23)
d~x
2
2
2m
2
!
Here I recovered m = h
, and introduced = h
2 to save space (and ink).
Note that
H|0i = 0
(24)
because (~x) in the Hamiltonian annihilates directly the vacuum. A general
state must satisfy the Schrodinger equation in the same way as in particle
mechanics
(25)
ih |(t)i = H|(t)i
t
It is useful for later purpose to calculate the commutator [H, (~x)].
[H, (~x)] =
h2 ~y
1
d~y (~y )
(~y ) + 2 (~y )(~y )2 , (~x)
2m
2
"
h2 ~x
1
(~x) + 2 (~x)2(~x) .
2m
2
!
(26)
1
The commutation relation is given in the Schrodinger picture, where the operators do not evolve in time while the states do. When switching to Heisenberg picture,
we have to specify that the canonical commutation relation holds only at equal times:
[(~x, t), (~y , t)] = [i (~x, t), (~y , t)] = ih(~x ~y ). Commutation relation of operators at
unequal times would depend on the dynamics of the system.
4.2
Fock Space
(28)
You can use ((~x1 ))n1 as well, but we will not need it for the later discussions.
What is the physical meaning of the Fock space we have constructed?
It turns out that the state |~x1 , ~x2 , , ~xn i in Eq. (28) has a very simple
meaning: it is an n-particle state of identical bosons in the position eigenstate
at ~x1 , , ~xn . We will verify this interpretation below explicitly.
4.3
One-particle State
(29)
(30)
Therefore, this state is normalized in the same way as the one-particle position eigenstate.
Recall that a general one-particle state in the usual formulation of quantum mechanics is given by a linear superposition of position eigenstates as
|i =
Z
|~xid~xh~x| |i =
|~xid~x(~x),
(31)
and hence the wave function is the weight factor in the superposition. Similarly, we define a general one-particle state in the quantum field theory
|(t)i =
(32)
Note that (~x) is a c-number function which determines a particular superposition of the position eigenstates |~xi. But it turns out that this (~x)
corresponds to the Schrodinger wave function in the particle quantum mechanics. This can be seen by using the Schrodinger equation Eq. (25) with
the Hamiltonian Eq. (23) and the state Eq. (29). The l.h.s of the Schrodinger
equation is then
!
(33)
d~x(~x)H (~x)|0i
d~x(~x)[H, (~x)]|0i
h2 ~x
(~x) + 2 (~x)2(~x) (~x, t)|0i
d~x
2m
2
h2 ~x
d~x
(~x, t) (~x)|0i
2m
h2
d~x
(~x, t) |~xi.
2m
(34)
h2
(~x, t) =
(~x, t)
(35)
t
2m
which is nothing but a Schrodinger equation for a free one-particle wave
function (~x, t). Therefore, the Fock space with a single creation operator
correctly describes the one-particle quantum mechanics.
ih
4.4
Two-Particle State
(36)
Because [ (~x1 ), (~x2 )] = 0, the integration over ~x1 and ~x2 is symmetric
under the interchange ~x1 ~x2 , and hence (~x1 , ~x2 , t) = (~x2 , ~x1 , t). The
symmetry under the exchange suggests that we are dealing with identical
bosons.
The fact that we see two identical particles becomes clearer by again
working out the time evolution of a general state. Using the Schrodinger
equation Eq. (25) with the Hamiltonian Eq. (23) and the state Eq. (36), the
l.h.s of the Schrodinger equation is
Z
i
h |(t)i = d~x1 d~x2 ih (~x1 , ~x2 , t) |~x1 , ~x2 i.
t
t
(39)
Z
Z
d~x1 d~x2 (~x1 , ~x2 , t)([H, (~x1 )] + (~x1 )H) (~x2 )|0i
h2 ~x1
1
(~x1 ) + 2 (~x1 )2(~x1 ) (~x1 , ~x2 , t) (~x2 )|0i
2m
2
!
d~x1 d~x2
10
+
=
+
h2 ~x1
d~x (~x1 )
+ 2 (~x1 )(~x1 ) (~x1 , ~x2 , t) (~x2 )|0i
2m
1
h2 ~x2
(~x2 ) + 2 (~x2 )2(~x2 ) (~x1 , ~x2 , t)|0i
d~x1 d~x2 (~x1 )
2m
2
!
Z
h2 ~x1 h2 ~x2
= 2 d~x1 d~x2
+
+ (~x1 ~x2 ) (~x1 , ~x2 , t)|~x1 , ~x2 i.
2m
2m
(40)
i
h (~x1 , ~x2 , t) =
t
h2 ~x1
h2 ~x2
+
+ (~x1 ~x2 ) (~x1 , ~x2 , t)
2m
2m
!
(41)
which is nothing but a Schrodinger equation for two-particle wave function (~x, t), with a delta function potential as an interaction between them.
Therefore, the Fock space with two creation operators correctly describes the
two-particle quantum mechanics. If we want a general interaction potential
between them, the action Eq. (9) must be modified to
"Z
2
h
1Z
d~xd~y (~x) (~y )V (~x ~y )(~y )(~x) .
S = dt
d~x ih +
2m
2
(42)
The corresponding Hamiltonian is
Z
1Z
h2
+
d~xd~y (~x) (~y )V (~x ~y )(~y )(~x).
(43)
2m
2
You can follow exactly the same steps as above and derive the equation
H=
d~x
i
h (~x1 , ~x2 , t) =
t
h2 ~x1
h2 ~x2
+
+ V (~x1 ~x2 ) (~x1 , ~x2 , t).
2m
2m
!
(44)
In summary, the quantized Schrodinger field correctly describes the two interacting identical bosons appropriately.
4.5
Following the same analysis as two-particle case, we can consider the threeparticle state
1
|~x1 , ~x2 , ~x3 i = (~x1 ) (~x2 ) (~x3 )|0i,
(45)
3!
11
(47)
h
2 ~x1 h
2 ~x2 h
2 ~x3
i
h (~x1 , ~x2 , ~x3 ) =
t
2m
2m
2m
"
(48)
(49)
The symmetry of the wave function under interchange of any of the n particles
is automatic, and hence it describes identical bosons.
4.6
d~x (~x)(~x).
(50)
This is probably obvious from the analogy to the harmonic oscillator, but
nonetheless let us prove it. First consider the commutators
[N, (~x)] =
12
and also
[N, (~x)] =
(52)
(53)
In other words, every time you change the order of the number operator N
and the creation operator , N increases by one. Note also
N |0i = 0,
(54)
(55)
We see that the operator N indeed picks up the number of the particles in a
given state as its eigenvalue.
4.7
Momentum Space
where
2h
(nx , ny , nz )
L
with integer nx,y,z . The inverse transform is therefore
p~ =
1 Z
a(~p) = 3/2 d~x(~x)ei~p~x/h .
L
(57)
(58)
It is straightforward to calculate the commutation relations among the creation and annihilation operators in the momentum space:
[a(~p), a (~q)] =
1 Z
d~xd~y [(~x)ei~p~x/h , (~y )ei~q~y/h ]
L3
1 Z
d~xd~y (~x ~y )ei~p~x/h ei~q~y/h
L3 Z
1
= 3 d~xei(~p~q)~x/h
L
= p~,~q .
=
(59)
This is nothing but the commutation relation for harmonic oscillators. Obviously,
[a(~p), a(~q)] = [a (~p), a (~q)] = 0.
(60)
It is instructive to rewrite the Hamiltonian in the momentum space. The
free part of the Hamiltonian is
H0 =
=
=
h2
2m
d~x
1 XX
h2
i~
p~
x/
h
a(~q)ei~q~x/h
d~x 3
a (~p)e
L p~ q~
2m
d~x
1 XX
q2
i~
p~
x/
h ~
a
(~
p
)e
a(~q)ei~q~x/h
L3 p~ q~
2m
1 XX
~q2
a
(~
p
)
a(~q)L3 p~,~q
L3 p~ q~
2m
X
p
~
p~2
a (~p)a(~p).
2m
(61)
The free Hamltonian simply countes the number of particles in a given momentum state a (~p)a(~p) and assigns the energy p~2 /2m accordingly. The in14
H =
1 X Z
d~xa (~p)a (~p0 )V (~x ~y )a(~q0 )a(~q)p~+~p0 ,~q+~q0 ei(~p~q)~x/h
2L3 p~,~p0 ,~q,~q0
1 X
V (~p ~q)a (~p)a (~p0 )a(~q0 )a(~q)p~+~p0 ,~q+~q0 ,
2 p~,~p0 ,~q,~q0
(62)
with
1 Z
d~x V (~x)ei(~p~q)~x/h .
(63)
L3
Kroneckers delta represents the momentum conservation in the scattering
process due to the potential V .
Therefore the interpretation of the Hamiltonian is quite simple. The free
part counts the number of particles and associates the kinetic energy p~2 /2m
for each of them according to its momentum. The potential term causes
scattering, by annihilating two particles in momentum states ~q, ~q0 and create
them in different momentum states p~, ~q0 with the amplitude V (~p ~q) (note
that p~ ~q = ~q0 ~q0 because of the momentum conservation).
At this point, it is useful to note that one can introduce a term in the
potential that can change the number of particles, such as a a a aa for 2 3
body scattering if there is need for it. Indeed, when we discuss quantization of
radiation field (namely, theory of photons by quantizating classical Maxwell
field), we see a term in the Hamiltonian which creates or annihilates a photon.
Such an interaction can never be described in conventional Schrodinger wave
functions, but is possible in quantum field theory.
V (~p ~q) =
4.8
Background Potential
The Hamiltonian Eq. (43) describes interacting bosons but we are often interested in a system in a background potential. A good example is the electrons
in an atom, where all of them are moving in the background Coulomb potential due to the nucleus. In this case, the correct field-theory Hamiltonian
15
is
Z
1
e2
h2 Ze2
(~x) =
(65)
nlm
where anlm is the annihilation operator and the c-number unlm (~x) is the
complete basis for expanding the field operator with. Then the state with
certain states filled can be written down as
a1s a2p,m=1 |0i
etc.
(66)
Fermions
We have seen that the quantized Schrodinger field gives multi-body states of
identical bosons. But we also need fermions to describe electrons, protons,
etc. How do we do that?
The trick is to go back to the commutation relations Eq. (22). Instead of
them, we can use anti-commutation relations
{(~x), (~y )} = (~x ~y ),
{, } = { , } = 0.
(67)
16
(68)
(69)
Similarly,
Again it is useful to calculate the commutator [H, (~x)] for later purposes.
[H, (~x)]
=
"Z
Z
1
h2 ~y
(~y ) + d~z (~y ) (~z)V (~y ~z)(~z)(~y ) , (~x)
d~y (~y )
2m
2
!
h2 ~y
{(~y ), (~x)}
2m
Z
h
i
1
+ d~y d~z (~y ) (~z)V (~y ~z) (~z)(~y ), (~x)
2
Z
2
h ~x
=
(~x) + d~z (~x) (~z)V (~x ~z)(~z).
2m
=
d~y (~y )
(70)
(71)
(72)
All other aspects of the discussions remain the same as in the case of
bosons. A general k-body state is
|i =
1
d~x1 d~xn (~x1 , , ~xn ) (~x1 ) (~xn )|0i
n!
(74)
with the anti-symmetry of the Schrodinger wave function (~x1 , , ~xn ) required because of the anti-commutation
relation (~xi ) (~xj ) = (~xj ) (~xi ).
R
The number operator is N = d~x (~x)(~x).
One weird point about fermion is that the classical limit of the field
=h
1/2 satisfies the anti-commutation relation
{(~x), (~y )} = h
(~x ~y ) 0
(75)
18