Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

QM Notes

Download as pdf or txt
Download as pdf or txt
You are on page 1of 97

Lecture Notes for Quantum Mechanics

F.H.L. Essler
The Rudolf Peierls Centre for Theoretical Physics
Oxford University, Oxford OX1 3PU, UK

February 17, 2021

Please report errors and typos to fab@thphys.ox.ac.uk


2018
c F.H.L. Essler

Niels Bohr (Nobel Prize in Physics 1922).


“If quantum mechanics hasn’t profoundly shocked you,
you haven’t understood it yet.”

A visitor to Niels Bohr’s country cottage, noticing a horse


shoe hanging on the wall, teased Bohr about this ancient
superstition. Can it be true that you, of all people, believe
it will bring you luck? Of course not, replied Bohr, but I
understand it brings you luck whether you believe it or not.

Contents

I The Mathematical Structure of Quantum Mechanics 4

1 Probability Amplitudes and Quantum States 5


1.1 Probability Amplitudes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Complete sets of amplitudes and quantum states . . . . . . . . . . . . . . . . . . . . 8
1.3 Dirac notation for complex linear vector spaces . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Dual (“bra”) states . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 ... and back to measurements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Arbitrariness of the overall phase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2 Operators and Observables 12


2.1 Hermitian Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Commutators and Compatible Observables . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3 Expectation Values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

3 Position and Momentum Representations 18


3.1 Position Representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.1.1 Position operator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.1.2 Position representation for other operators . . . . . . . . . . . . . . . . . . 20

1
3.2 Heisenberg Uncertainty Relation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.3 Momentum Representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.4 Generalization to 3 Dimensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

4 Time Evolution in Quantum Mechanics 23


4.1 Time dependent Schrödinger equation and Ehrenfest’s theorem . . . . . . . . . . 23
4.2 Time independent Schrödinger equation . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4.3 Schrödinger equation in the position representation . . . . . . . . . . . . . . . . . . 25
4.4 Probability Current . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

II Wave Mechanics and Oscillators 27

5 Wave mechanics 28
5.1 Free particle in one dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
5.2 Infinite square well . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
5.3 Finite square well . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
5.4 Split infinite square well . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5.5 Scattering of free particles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5.6 Resonant Scattering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

6 Harmonic Oscillators 38
6.1 Ground state of the Quantum Harmonic Oscillator . . . . . . . . . . . . . . . . . . 41
6.2 Excited states of the Quantum Harmonic Oscillator . . . . . . . . . . . . . . . . . 42
6.3 What oscillates in the quantum harmonic oscillator? . . . . . . . . . . . . . . . . . 43
6.4 Quantum vs classical harmonic oscillator . . . . . . . . . . . . . . . . . . . . . . . . 44

III Transformations 50

7 Transformations and Symmetries 50


7.1 Translations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
7.1.1 Expectation values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
7.1.2 Wave functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
7.1.3 Translational Invariance and momentum as a “good quantum number” . . 52
7.2 Reflections (Parity) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7.3 Rotations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

8 Heisenberg picture and Heisenberg equation of motion 56

IV Angular Momentum 57

9 Rotational invariance and angular momentum as a good quantum number 58

10 Eigenstates of L2 and L̂z 59


10.1 Matrix representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
10.1.1 Spin-1 representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
10.2 Measurements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

2
11 Position representation and angular momentum 63
11.1 Spherical polar co-ordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
11.2 Spherical harmonics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
11.3 Spherically symmetric potentials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

12 Angular momentum and magnetic moments 68

13 Spin and total angular momentum 70


13.1 Spin-1/2 representation and Pauli matrices . . . . . . . . . . . . . . . . . . . . . . . . 71
13.2 Spin angular momentum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
13.3 Stern-Gerlach filters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

V Composite Systems 75

14 QM systems composed of two parts 75


14.1 Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
14.2 Position representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
14.2.1 Independent particles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
14.3 Measurements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

15 Product States vs entangled states 79


15.1 Entanglement Growth . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80

16 Addition of angular momenta 80


16.1 Adding two spins 1/2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
16.2 Adding two spins 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

17 EPR experiment and Bell inequalities 84

VI The Hydrogen Atom 87

18 Position representation 87

19 Rotational invariance and radial Schrödinger equation 88


19.1 Small-ρ behaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
19.2 Large-ρ behaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
19.3 Full solution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90

20 Energy eigenvalues and emission spectra of hydrogen 91


20.1 Emission spectra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91

21 Explicit form of the wave functions 94


21.1 Ground state . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
21.2 n = 2 states . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
21.3 Radial probability density . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
21.4 Visualising the angular dependence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94

Some general remarks:


These notes aim to be self-contained. Homework questions are are placed at appropriate positions in
the text, i.e. to work them out you will require only the preceeding material. Questions marked by a

3
star are optional. Asides give details on derivations we don’t have time to go through in the lectures, or
present material that goes beyond the core of the course. In some cases this material will be very useful for
particular homework problems. Exercises are small problems that should be worked out after the lecture
they pertain to. They are meant to ensure that you are continuously engaged with the course and not only
the days immediately preceeding a tutorial.
This course aims to give an introduction to Quantum Mechanics. Let us start with some general context.

• QM is arguably humanity’s greatest achievement. Actually, forget about the “arguably” part...

• Its understanding is the basis of much of our technological progress over the last 80 years.

• QM is intellectually challenging and only a minute fraction of humanity has any idea what it is about.

• We don’t have an intuitive understanding of QM. As Richard Feyman famously said “Nobody under-
stands quantum mechanics”. An important addendum to this statement is that one naturally can not
understand QM on a multitude of different levels, and the ultimate aim of this course is to elevate
your ununderstanding to levels beyond your wildest imagination. Your ultimate goal should of course
be to reach Feynman’s level of ununderstanding...

Figure 1: Richard Feynman (Nobel Prize in Physics 1965).

Part I
The Mathematical Structure of Quantum
Mechanics
αγωµτ ρητ ωζ µηδιζ ισιτ ω Inscription on Plato’s door.

QM is fundamentally different from Classical Mechanics in several ways:

• It does aim to provide a description of physical reality, but merely to make predictions for measure-
ments. It is by its very design a theory of measurement.

• It accounts for the fact that measurements disturb the system; if the latter is small this is a large
effect!

4
• QM is inherently probabilistic in nature: in general it cannot predict the outcome of a particular
measurement exactly, but it rather provides a probability distribution for a set of possible outcomes.
Examples of quantities that can be measured are energy, momentum, position, angular momentum.
These are called observables. Measuring an observable can in general have many possible outcomes.
These can be either discrete or continuous: position measurements will typically result in an outcome
that various continuously in some interval [a, b], but measuring energy will often result in a “quantized”
set of outcomes E1 , E2 , ... Note that here and in the following we think of measurements in a rather
abstract way and are not concerned with questions of experimental inaccuracies.
The aim of QM is to provide probability distributions associated with measurements of observables
X
P (E1 ), P (E2 ), . . . P (Ej ) = 1. (1)
j

These distributions give us a statistical understanding of what happens if we repeat a given experiment
many times.

1 Probability Amplitudes and Quantum States


1.1 Probability Amplitudes
A key aspect of QM is that probability enters in an unusual way. To stress this point let’s recall that
“classical” probabilities fulfil rules like
• If A,B are independent events with probabilities P(A) and P(B), then the probability for A and B is
P(A and B)= P(A)P(B).

• If A,B are exclusive events with probabilities P(A) and P(B), then the probability for A or B is P(A
or B)= P(A)+P(B).
QM works differently by construction. To understand why we follow Master Quantum Mechanic Richard
Feynman’s exquisite discussion (Feynman Lectures on Physics Vol 3) of double-slit thought experiments,
which, incidentally, in German is of course a single word “Doppelspaltgedankenexperimente” – don’t you
just love it!
Feynman first considers the double-slit experiment for classical bullets. These can go through either slit,

Figure 2: A double-slit experiment with indestructable bullets.

and the probability P12 (x) of bullets arriving at position x on the detector screen is simply the sum of the
probabilities P1 (x) and P2 (x) obtained by closing holes 2 and 1 respectively, i.e.

P12 = P1 + P2 . (2)

5
So for classical bullets we are dealing with classical probabilities.
Quantum mechanics works completely differently, as can be seen by repeating the double-slit experiment
for electrons. What one observes is that electrons still reach the detector in “lumps”, but now P12 (x) 6=

Figure 3: A double-slit experiment with (a) electrons and (b) waves.

P1 (x) + P2 (x). Moreover, the observed probability distribution looks suspiciously like the interference
pattern we would observe when conducting the experiment with waves! For waves we understand perfectly
that intensities do not add, but instead we have

I1 = |h1 |2 , I2 = |h2 |2 , I12 = |h1 + h2 |2 , (3)

where h1,2 are the amplitudes of the waves. What the Doppelspaltgedankenexperiment shows is that elec-
trons in some way behave like particles (lumpiness at detector) and in some ways like waves (interference)!
This is called particle-wave duality.
The way to encode the baffling interference phenomenon into the fabric of QM is to postulate that the
fundamental objects in QM are not probabilities, but probability amplitudes A.
Postulate 1: Probabilities from Probability Amplitudes

Probability amplitudes are complex numbers associated with the outcomes of measurements. The
corresponding probabilities are obtained as

P (A) = |A|2 . (4)

If there are several ways of arriving at a particular measurement outcome the associated probability
amplitudes add.

This postulate allows us to understand why there is an interference pattern in out double-slit experiment
for electrons. By Postulate 1 we have

P (x) = |Probability amplitude to go from the electron gun to x|2 . (5)

Clearly there are two paths from the gun G to position x on the screen. The electron could travel via slit 1
or via slit 2. Denoting the associated probability amplitudes by A(1) and A(2) respectively we have by our
postulate
P (x) = |A(1) + A(2)|2 , (6)
because probability amplitudes add. Working this out we have

P (x) = |A(1)|2 + |A(2)|2 + 2Re [A(1)A∗ (2)] . (7)


| {z }
“Interference term”

6
p
Expressing the complex amplitudes in terms of their magnitudes and phases A(1) = P (1)eiφ(1) we can
rewrite this as p 
P (x) = P (1) + P (2) + 2 P (1)P (2) cos φ(1) − φ(2) . (8)
This is clearly very different from the “classical” rule for adding probabilities for exclusive events! For x ≈ 0
we have P (1) ≈ P (2) and therefore
 
P (x) ≈ 2P (1) 1 + cos φ(1) − φ(2) . (9)

The “classical” result would simply be 2P (1), while QM predicts a probability distribution that oscillates
between 0 and 4P (1) as a consequence of “QM interference”. Before we take leave of our double-slit
experiments there is one more variation we need to consider. Now we position a light source behind the double

Figure 4: Double-slit experiments with electrons where we measure through which slit the electrons go.

slit, which allows us to measure through which slit the individual electrons go. In this experimental setup
the interference disappears and probabilities add! If this does not give you goosebumps there is something
seriously wrong with you! Our framework for QM will have to account for this bizarre interference-killing
effect as well.
NB 1
The fundamental idea in QM is to associate probability amplitudes with measurement outcomes of
given observables.

• Example 1: Let E0 , E1 , . . . be the possible outcomes of an energy measurement. With each energy
we associate a complex probability amplitude A(Ej ) such that the probability for measuring Ej is
P (Ej ) = |A(Ej )|2 and X
P (Ej ) = 1. (10)
j

• Example 2: Consider a position measurement in one dimension (like the one above). The possible
outcomes are then real numbers in some interval x ∈ [a, b]. With each position x we associate a
complex probability amplitude ψ(x) such that P (x) = |ψ(x)|2 and
Z b
dx P (x) = 1. (11)
a

In this case the set of probability amplitudes can be viewed as a complex valued function.

7
1.2 Complete sets of amplitudes and quantum states
Knowing all amplitudes A(Ej ) provides us with a probabilistic description of repeated energy measurements
in the following sense.
• Set up an experiment in a particular way. This fixes a particular set of probability amplitudes
{A(E0 ), A(E1 ), . . . }.
• Measure the energy. The result is Ej Write the result down.
• Repeat the experiment many times (we imagine that we can set things up in precisely the same way
each time). The ultimate result of our efforts is a histogram that gives probabilities P (Ej ) for the
various observed measurement outcomes Ej . QM asserts that P (Ej ) = |A(Ej )|2 .
• Changing our experimental setup would result in a different set of amplitudes {A0 (E0 ), A0 (E1 ), . . . }.
So far so good. The next step is a crucial one.
Definition 1 A key aspect of QM is that specifying amplitudes for e.g. an energy measurement can provide
enough information to obtain probabilistic descriptions of measurement outcomes of any other observable.
Such sets of amplitudes are called complete.
An efficient way of encoding the information contained in a complete set of amplitudes {A(E0 ), A(E1 ), . . . }
is to combine them into a vector
|ψi = (A(E0 ), A(E1 ), . . . ). (12)
We call this a state or ket-state using a terminology (and very clever notation) invented by P.A.M. Dirac.

Paul A.M. Dirac (Nobel Prize in Physics 1933).


“If you are receptive and humble, mathematics will
lead you by the hand”.

1.3 Dirac notation for complex linear vector spaces


It is easy to see that ket states form a complex linear vector space V . Addition of two kets is defined in
terms of addition of the associated amplitudes
|ψi + |φi = (A(E0 ) + A0 (E0 ), A(E1 ) + A0 (E1 ), . . . ) , (13)
while multiplication by complex numbers is defined as
c|ψi = (cA(E0 ), cA(E1 ), . . . ). (14)
The vector space structure makes it clear that there are special states such that all amplitudes are zero except
A(Ej ) = 1. We denote these states by |Ej i. By construction they are such that an energy measurement in
a system described by the ket |Ej i returns the result Ej with probability 1. In other words they are states
of definite energy. If {A(Ej )} is a complete set of amplitudes these form a basis of V : any ket |ψi can be
expressed as a linear combination X
|ψi = ψj |Ej i , ψj ∈ C. (15)
j

8
1.3.1 Dual (“bra”) states
Given a state |ψi we want a quick way for extracting individual amplitudes. Mathematically speaking we
are searching for linear maps

V −→ C
|ψi −→ ψj (16)

such that α|ψi + β|φi maps to αψj + βφj . For finite dimensional linear vector spaces such maps form a
linear vector space V ∗ , the dual space, of the same dimension as V . Dirac notations provide us with a very
neat way of constructing a basis of V ∗ :

• Start with an orthonormal basis B = {|ji} of V.

• Define corresponding “bra” states hj| ∈ V ∗ by specifying their action on B

hn|ji = δn,j , “bra-ket” – Dirac’s only joke. (17)


P
• Extend this to general states |ψi = j ψj |ji by the rule
X
hψ| = ψj∗ hj| . (18)
j

In this way hψ|φi turns into the usual scalar product for complex linear vector spaces
X
hψ|φi = ψj∗ φj = (hφ|ψi)∗ , (19)
j

and X
hψ|ψi = |ψj |2 ≥ 0 “Length” of |ψi. (20)
j

NB 2
he length of state vectors in QM must always be 1, because probabilities must add up to 1.

1.4 ... and back to measurements


To describe the measurement of an observable A we express the ket |ψi that describes our system as a linear
combination of basis states that correspond to definite outcomes aj
X X
|ψi = ψj |aj i , ψj = haj |ψi , |ψj |2 = 1. (21)
j j

The probability to obtain aj in our measurement is

|ψj |2 = |haj |ψi|2 “Born’s rule.” (22)

An important question is what “state” a quantum mechanical system is in just after a particular observable
has been measured. As QM deals with very small things measurements can greatly disturb the QM system,
i.e. change its QM state. What should we expect? To be more precise let’s start with a QM system described
by the state |ψi, then measure the observable A and obtain the result aj .

9
Figure 5: Max Born (Nobel Prize in Physics 1954) ... and his more famous granddaughter. Born is said to
have thought that the Copenhagen interpretation of QM should really be called the Göttingen interpretation.
He has a point...

Postulate 2: Projective nature of measurements

We expect that if we measure A again straight away, we will obtain the result aj with certainty.
This is only possible if the first measurement leaves the system in the state |aj i – meaning that
measurements are projective:

|ψi −→ measure A, obtain result aj ⇒ system left in the state |aj i.


(23)

1.5 Arbitrariness of the overall phase


Let us now consider the two states |ψi and |ψ 0 i = eiα |ψi where α is an arbitrary phase. According to the
rules we have presented, there is no way of telling these two states apart through any quantum mechanical
measurement! Indeed we have X
|ψ 0 i = eiα |ψi = eiα haj |ψi |aj i. (24)
j

Hence the possible measurement outcomes are again given by the set {aj } and the corresponding probabilities
are
|haj |ψ 0 i|2 = |eiα haj |ψi|2 = |haj |ψi|2 . (25)
This tells us that |ψi and eiα |ψi describe the same quantum mechanical state. In the mathematical literature
the states eiα |ψi, α ∈ R are called a ray. In practice we will always fix the overall phase of quantum states
in a convenient way.
Example 1: Atom in a double-well potential

As much of our discussion is necessarily rather abstract it is useful to explain how the new concepts
work for a simple, but realistic example. Our example of choice will be a single atom confined by an
external electromagnetic field (that couples to the atom’s magnetic moment). This trapping works
due to quantum mechanical effects, which means that we can’t explain it at this point in the course.
As we will see later in the course, atoms are in fact rather complicated quantum mechanical systems

10
themselves. However, there is an experimentally realizable regime, in which the only relevant degree
of freedom associated with the atom is purely motional, i.e. the atom can move between local minima
of the electromagnetic potential. The upshot is that, with respect to the relevant experimental probes,
our simple QM system is characterized by two different probability amplitudes, associated with the
atom sitting in the left and right potential well respectively, giving rise to the two quantum states |1i
and |2i

A general quantum state in this system is then of the form

|ψi = α|1i + β|2i , |α|2 + |β|2 = 1. (26)

If we prepare our system in the state |ψi and then measure the position of the atom (e.g. by shining
light on it), we find that with probability |α|2 (|β|2 ) it is in the left (right) well. By this we mean
that if we repeat the state-preparation and subsequent measurement procedure N times, we obtain
a sequence of outcomes RLLLRRRLRLLRRLLRRLLRLLRR..., where R and L indicate that the
atom was observed in the right/left well. Denoting by NR,L the numbers of R’s and L’s in our
sequence, QM tells us that as N becomes large we have NR /N = |α|2 and NL /N = |β|2 .

Summary 1

1. QM systems are described by quantum “ket” states |ψi. These correspond to different ways
of experimentally “setting up” the system. States that differ only by an overall phase factor
describe the same physical situation and are to be identified.

2. Kets form a complex linear vector space V .

3. To each state |ψi we can associate a complex valued linear map hψ|. These “bra-vectors” form
a linear vector space V ∗ of the same dimension as V .

4. To describe a measurement of an observable A we express the state |ψi describing our system
as a linear superposition of basis states that correspond to definite measurement outcomes aj
for A X X
|ψi = ψj |aj i , ψj = haj |ψi , |ψj |2 = 1. (27)
j j

The probability to obtain aj in our measurement is

|ψj |2 = |haj |ψi|2 “Born’s rule.” (28)

5. After the measurement the system is left in the state |aj i (if the outcome of the measurement
was aj ).

11
Homework 1: Probability amplitudes, probabilities and Dirac notation

1.1 What physical phenomenon requires us to work with probability amplitudes rather than with
probabilities?
1.2 Given that |ψi = eiπ/5 |ai + eiπ/4 |bi, express hψ| as a linear combination of ha| and hb|.
1.3 An electron can be in one of two potential wells that are so close that it can ‘tunnel’ from one to
the other. Its state vector can be written

|ψi = a|Ai + b|Bi, (29)

where |Ai is the state of being in the first well and |Bi is the state of being in the second well and all
kets are correctly normalised. What is the √ probability of finding the particle in the first well given
that: (a) a = i/2; (b) b = eiπ ; (c) b = 13 + i/ 2?
1.4 An electron can “tunnel” between potential wells that form a linear chain, so its state vector can
be written as
X∞
|ψi = an |ni, (30)
n=−∞

where |ni is the state of being in the nth well, where n increases from left to right. Let
  |n|
1 −i 2
an = √ einπ . (31)
2 3

(a) What is the probability of finding the electron in the nth well?
(b) What is the probability of finding the electron in well 0 or anywhere to the right of it?

2 Operators and Observables


In the lab we (i.e. our experimental colleagues) can manipulate quantum states, i.e. devise protocols that
map states to other states. In our mathematical framework this is described by considering linear operators
acting on V
O: V −→ V
|ψi −→ O|ψi , (32)
where O(α|ψi + β|φi) = αO|ψi + βO|φi. Dirac notation provides us with a very useful way of expressing
operators. A general operator can be expressed in terms of basis states |ji and their dual states hj| as
follows:
• The object |jihk| is a linear operator.
Proof:    
|kihj| α|ψi + β|ψi = |ki αhj|ψi + βhj|ψi = αhj|ψi |ki + βhj|ψi|ki . (33)
| {z }
∈C

• The identity operator is X


1= |jihj|. (34)
j
P
Proof: Act with 1 on a general state |ψi = k ψk |ki:
X  X X X
|jihj| |ψi = ψk |ji hj|ki = ψk |ki = |ψi. (35)
| {z }
j k j δj,k k

12
• A general operator A can be written in the form
X
A= hj|A|ki |jihk| .
j,k
(36)
the complex numbers hj|A|ki are called matrix elements of A in the basis {|ji}.
Proof: X  X 
A = 1A1 = |jihj| A |kihk| . (37)
j k

NB 3
For finite dimensional linear vector spaces linear operators correspond to square matrices.

Like for matrices, a very useful way to characterize an operator is through its eigenvalues and eigenvectors
(“eigenstates”). The eigenvalue equation for an operator O is

O|oj i = oj |oj i.
(38)
The eigenvalues {oj } form the spectrum of the operator O. The most important operator in QM is the
Hamiltonian, or energy operator. It is defined by
X
H= Ej |Ej ihEj |,
j
(39)
where |Ej i are the quantum states introduced above that give result Ej with probability one when the
energy is measured.The Hamiltonian fulfils by construction
H|Ej i = Ej |Ej i. (40)
Hence the spectrum of the Hamiltonian is equal to the set of possible outcomes of energy measurements.
This generalizes to other observables: with each observable we can associate an operator by
X
A= aj |aj ihaj | , (41)
j

where {|aj i} is a complete set of states that return the result aj with probability one when the observable
under consideration is measured. As the outcomes of the measurements we have in mind (energy, momentum,
position etc) are real numbers the operators representing observables must be special.

2.1 Hermitian Operators


In QM observables are represented by Hermitian operators

A Hermitian ⇔ (hφ|A|ψi)∗ = hψ|A|φi .


(42)
Hermitian operators have three crucial properties that we will use constantly in the following:
(H1) Their eigenvalues are real.
(H2) Eigenstates corresponding to different eigenvalues are orthogonal
haj |ak i = 0 if aj 6= ak . (43)

(H3) One can always construct an orthonormal basis of V from the eigenstates of a Hermitian operator.

13
Aside 1: Hermitian Operators
You have already seen this in your Linear Algebra course, but in order to be self-contained and to
get you fluent in Dirac notations the proofs of these statements are summarized below. Let A be a
Hermitian operator with eigenvalue equation

A|ak i = ak |ak i. (44)

As A is Hermitian we have
(hak |A|a` i)∗ = ha` |A|ak i . (45)
Using the eigenvalue equation this implies a∗` hak |a` i∗ = ak ha` |ak i and using that hak |a` i∗ = ha` |ak i
we have
(a∗` − ak )ha` |ak i = 0 . (46)

• Setting k = ` gives
(a∗` − a` )ha` |a` i = 0, (47)
which implies
a` = a∗` ⇒ (H1). (48)

• Taking ak 6= a` in (46) we have


ha` |ak i = 0 , (49)
which immediately implies (H2).

• For eigenstates with the same eigenvalue we can carry out a Gram-Schmidt orthogonalization
procedure. Together with (H2) this implies (H3).

Definition 2 The Hermitian conjugate B † of an operator B is defined by


hφ|B † |ψi = (hψ|B|φi)∗ . (50)

Hermitian operators fulfil A = A† . The following rules for taking Hermitian conjugates will be useful:
(A + B)† = A† + B † , (51)
† ∗ †
(cA) = c A , (52)
† † †
(AB) = B A . (53)

Aside 2: Hermitian conjugation


The properties (53) are straightforward to establish and provide an excellent exercise in Dirac notation
(so make sure that you are happy with each of the steps!). The first property follows from considering
hφ|(A + B)† |ψi = (hψ|A + B|φi)∗ = (hψ|A|φi)∗ + (hψ|B|φi)∗ = hφ|A† |ψi + hφ|B † |ψi. (54)
The second property holds because
hφ|(cA)† |ψi = (hψ|cA|φi)∗ = (chψ|A|φi)∗ = c∗ hφ|A† |ψi (55)
To establish the third property consider
X X
hψ|(AB)† |φi = (hφ|AB|ψi)∗ = (hφ|A |kihk| B|ψi)∗ = (hφ|A|ki)∗ (hk|B|ψi)∗
k k
| {z }
1
X X
= hk|A† |φihψ|B † |ki = hψ|B † |kihk|A† |φi = hψ|B † A† |φi. (56)
k k

14
Example 2: Atom in a double-well potential

Let us return to our example of an atom in a double-well potential. As discussed earlier, a basis of
quantum states is provided by the two states shown below

We can now define a number of different operators. In fact there are altogether 4 linearly independent
operators in this system, namely

N̂1 = |1ih1| , N̂2 = |2ih2| ,


T̂R = |2ih1| , T̂L = |1ih2| . (57)

The operators N̂1,2 are Hermitian and hence correspond to observables, while T̂R† = T̂L . We can
however construct linear combinations Ŝ = T̂R + T̂L and Ŷ = i[T̂R − T̂L ] that are Hermitian operators.
The physical meaning of the observables corresponding to N̂1,2 is easy to work out: they count the
number of atoms in wells 1 and 2 respectively. Indeed, |1i and |2i are eigenstates of N̂1,2 and the
corresponding eigenvalues are one and zero

N̂1 |1i = |1i , N̂1 |2i = 0 ,


N̂2 |2i = |2i , N̂2 |1i = 0 . (58)

The operator Ŝ swaps the position of the atom and we therefore will call it swap operator

Ŝ|1i = |2i , Ŝ|2i = |1i . (59)

Its eigenvalues are ±1 and the corresponding eigenstates are

|1i ± |2i
Ŝ|±i = ±|±i , |±i = √ . (60)
2

Homework 2: Operators
1.5 Let Q be the operator of an observable and let |ψi be the state of our system.
(a) What are the physical interpretations of hψ|Q|ψi and |hqn |ψi|2 , where |qn i is the nth eigenket of
the observable Q and qn is
Pthe corresponding eigenvalue?
P What is the operator n |qn ihqn |, where the sum is over all eigenkets of Q? What is the operator
(b)
n qn |qn ihqn |?

1.6 Which of the following operators are Hermitian, given that  and B̂ are Hermitian:
 + B̂; cÂ; ÂB̂; ÂB̂ + B̂ Â.
Show that in one dimension, for functions which tend to zero as |x| → ∞, the operator ∂/∂x is not
Hermitian, but −i~∂/∂x is. Is ∂ 2 /∂x2 Hermitian?
1.7 Given that  and B̂ are Hermitian operators, show that i[Â, B̂] is a Hermitian operator.
1.8 Given that for any two operators (ÂB̂)† = B̂ † † , show that

(ÂB̂ Ĉ D̂)† = D̂† Ĉ † B̂ † † .

15
2.2 Commutators and Compatible Observables
Definition 3 The commutator of two operators A and B is
[A, B] = AB − BA. (61)
In QM commutators play an important role because of the following theorem.
Theorem 1 Let A and B be two Hermitian operators. If [A, B] = 0 there exists a complete set of simulta-
neous eigenstates of the operators A and B, i.e.
A|uj i = aj |uj i , B|uj i = bj |uj i, (62)
and {|uj i} form a basis of the LVS on which A and B act.
Proof: One direction is simple: if A and B have a complete set of simultaneous eigenstates |uj i we have
huj |[A, B]|uk i = (ak bk − bk ak )huj |uk i = 0, (63)
which implies that the commutator is zero (because the |uj i form a basis). Let’s now turn to the other
direction of the proof, i.e. let’s assume [A, B] = 0 and show that this implies the existence of a complete set
of simultaneous eigenstates. As A is Hermitian we know that is has a complete set of orthogonal eigenstates
A|aj i = aj |aj i , haj |ak i = δj,k . (64)
Now consider the matrix elements of the commutator in this basis
0 = haj |[A, B]|ak i = (aj − ak )haj |B|ak i (65)
This tells us that if all eigenvalues aj are different, we have haj |B|ak i ∝ δj,k , i.e. the eigenstates |aj i of
A are simultaneous eigenstates of B. The situation is a bit more complicated if some of the aj are equal.
Let us assume that n of the aj are equal and let’s label the eigenstates of A such they correspond to
a1 = a2 = · · · = an = a. Then
(i) Any linear combination nj=1 αj |aj i is an eigenstate of A with eigenvalue a.
P

(ii) On the subspace spanned by {|a1 i, . . . , |an i} B is represented by Hermitian matrix Bjk = haj |B|ak i.
Hence it can be diagonalized, i.e. we can construct eigenstates |uk i of B by taking appropriate linear
(k)
combinations of the |uk i = nj=1 βj |aj i. These are simultaneous eigenstates of A by (i).
P

This generalizes straightforwardly to the case where we have several “degenerate” eigenvalues.
Even though all this Linear Algebra is of course very interesting in itself, you may be asking yourselves at
this point what on earth this has to do with QM. As you may have guessed, it has to do with measurements!
Let us consider two Hermitian operators A and B that correspond to two observables in an experiment. We
know that the respective eigenstates of A and B can be used to construct an orthonormal basis of our linear
vector space of quantum states
X X
A|ai i = ai |ai i, B|bi i = bi |bi i ⇒ |ψi = hai |ψi |ai i = hbi |ψi |bi i. (66)
i i

Let us now make the following Gedankenexperiment: we first measure the observable corresponding to A,
and then straight away measure the observable corresponding to B (without re-initializing our experiment).
We want to compare this to the reverse order of measurements. Here we go:
• Measure A, then B
|ψi −→ measure A: ai with prob. |hai |ψi|2 , system in state |ai i
−→ measure B: bj with prob. |hbj |ai i|2 . (67)
So the final outcome is a table of outcomes with associated probabilities
outcome (ai , bj ) probability |hai |ψi|2 |hbj |ai i|2 (68)

16
• Measure B, then A

|ψi −→ measure B: bj with prob. |hbj |ψi|2 , system in state |bj i


−→ measure A: ai with prob. |hai |bj i|2 . (69)

So here the final outcome is a table

outcome (ai , bj ) probability |hbj |ψi|2 |hai |bj i|2 (70)

Clearly, the tables of measurement outcomes we obtain in the two ways will generally be different! That. Is.
Deep. If the order of measurement does not matter, the observables corresponding to A and B are called
compatible. As the order of measurement for two compatible observables does not matter and we always
end up in a quantum state where both observables have a definite value, one could in principle set up an
experiment that measures both observables simultaneously.
Theorem 2 Two observables are compatible if and only if the commutator between the associated Hermitian
operators vanishes
[A, B] = 0. (71)
Proof: If [A, B] = 0 there exists a basis of simultaneous eigenstates of A and B. Using this basis in the
above consideration it is easy to see that the two outcomes are identical. On the other hand, if [A, B] 6= 0
there must be at least one eigenstate |aj i of A that is not an eigenstate of B. As the state |ψi above is
arbitrary we can choose it to be |aj i. By considering the two sets of outcomes we see that they can only be
equal if |aj i is an eigenstate of B, giving a contradiction. This completes the proof.
Example 3: Atom in a double-well potential

As an explicit example let us see how sequential measurements work for our system of an atom in a
double well potential. Let us consider measuring the observables corresponding to N̂1 and Ŝ when
the system is prepared in the state |ψi = |1i.

Homework 3: Commutators

1.9 Show that if there is a complete set of mutual eigenkets of the Hermitian operators  and B̂,
then [Â, B̂] = 0. Explain the physical significance of this result.
1.10 Does it always follow that if a system is an eigenstate of  and [Â, B̂] = 0 then the system will
be in a eigenstate of B̂? If not, give a counterexample.
1.11 Show that
(a) [ÂB̂, Ĉ] = Â[B̂, Ĉ] + [Â, Ĉ]B̂
(b) [ÂB̂ Ĉ, D̂] = ÂB̂[Ĉ, D̂] + Â[B̂, D̂]Ĉ + [Â, D̂]B̂ Ĉ. Explain the similarity with the rule for differen-
tiating a product.
(c) [x̂n , p̂] = i~nx̂n−1
(d) [f (x̂), p̂] = i~ df
dx for any function f (x).

1.12 Let A and B be two Hermitian operators. Prove that if [A, B] = 0 there exists a complete set
of simultaneous eigenstates of the operators A and B, i.e.

A|uj i = aj |uj i , B|uj i = bj |uj i, (72)

and {|uj i} form a basis of the LVS on which A and B act.


1.13 Prove that two observables are compatible if and only if the commutator between the associated
Hermitian operators vanishes.

17
1.14 What does it mean to say that two operators commute? What is the significance of two
observables having mutually commuting operators?
Given that the commutator [P, Q] 6= 0 for some observables P and Q, does it follow that for all
|ψi =
6 0 we have [P, Q]|ψi =
6 0?

2.3 Expectation Values


Definition 4 The expectation value of an operator O in a quantum state |ψi is defined as

hψ|O|ψi . (73)

Expectation values are hugely important in QM. To see why let us consider a Hermitian operator A = A†
associated with some observable. Any state can be written as linear combination of the eigenstates of A
(why?) X
|ψi = haj |ψi |aj i. (74)
j

Hence
X
hψ|A|ψi = aj |haj |ψi|2 .
j
(75)
This expression has an important physical meaning: aj are the outcomes of measuring the observable to
which A corresponds, and |haj |ψi|2 are the associated probabilities.
NB 4
So the expectation value gives the average over many measurements of our observable when the
system is in the quantum state |ψi.

Let us now consider the expectation values


X
hψ|An |ψi = anj |haj |ψi|2 . (76)
j

These are nothing but the moments of the probability distribution associated with measuring the observable
associated with A in the state |ψi! Nice.

3 Position and Momentum Representations


All animals are equal, but some are more equal than others. George Orwell.
The basic objects in QM are quantum states. In order to work with them we usually express them in
some particular basis. Which choice is most convenient depends on the particular problem one is interested
in. Having said this, some choices of basis are of particular importance.

3.1 Position Representation


This is obtained by working with probability amplitudes ψ(x) for finding a particle at position x (in 1
dimension). In Dirac notation Z
|ψi = dx ψ(x) |xi, (77)

where |xi are quantum states in which a position measurement returns the result x with probability 1.
Definition 5 The probability amplitude ψ(x) is called a wave function.

18
Now recall that we introduced bra-vectors to extract amplitudes from states. Here we want
Z
hx0 |ψi = ψ(x0 ) = dx ψ(x) hx0 |xi. (78)

This requires
hx0 |xi = δ(x − x0 ), (79)
where δ(x) is the Dirac delta-function. Indeed, a defining property of the delta-function is that (for all
sufficiently well-behaved functions f (x))
Z ∞
dx f (x) δ(x − x0 ) = f (x0 ). (80)
−∞

At this point students usually feel somewhat uncomfortable, because the scalar product of bras and kets
involves a delta-function rather than a Kronecker delta. The reason for this is that x is a continuous
variable and the same situation arises for other observables where the outcome of measurements can vary
continuously. The resolution of the identity in terms of the states |xi reads
Z
1 = dx |xihx|. (81)

Check: Z Z
1|ψi = dx |xihx|ψi = dx ψ(x) |xi. (82)

3.1.1 Position operator


Given a basis of states of definite position we can introduce the associated position operator
Z
x̂ = dx x |xihx|.
(83)

By construction the position operator has eigenstates |xi with eigenvalues x


Z Z
x̂|x i = dx x |xihx|x i = dx x |xi δ(x − x0 ) = x0 |x0 i.
0 0
(84)

It acts on general states as Z Z


x̂|ψi = dx x |xihx|ψ = dx xψ(x) |xi , (85)

i.e. it multiplies the wave function by x. By concatenating (84) we find

x̂n |x0 i = (x0 )n |x0 i, (86)

and therefore
V (x̂)|x0 i = V (x0 )|x0 i ,
(87)
where V (x) is a function that is to be understood in terms of its Taylor expansion around x = 0. For a QM
particle moving in one dimension V (x̂) would be the operator describing its potential energy. (Why?) We
note that Z
hψ|x̂n |ψi = dx |ψ(x)|2 xn , (88)

so hψ|x̂|ψi is the average position and hψ|x̂2 |ψi − hψ|x̂|ψi2 the variance if we look at the histogram of many
position measurements.

19
3.1.2 Position representation for other operators
An important question is how other operators look like in the position representation. For a general operator
A we have Z
A = 1 A 1 = dx dx0 |xihx0 | hx|A|x0 i. (89)

As usual in order to define the operator we require its matrix elements hx|A|x0 i. A particular important
operator is the momentum operator. It is defined (in one dimension) as
Z
p̂ = dp p |pihp|, (90)

where |pi are states such that a momentum measurement returns the value p with certainty. In the position
representation (see below for some motivation) one has


hx|p̂|x0 i = −i~ δ(x − x0 ).
∂x (91)

This gives
Z
∂ψ(x)
hx|p̂|ψi = dx0 hx|p̂|x0 i ψ(x0 ) = −i~ .
∂x
(92)

Aside 3: Momentum operator


At this point we have simply asserted that the position representation of the momentum operator is
given by eqn (91). The justification will be given in Part III of the lectures, when we will consider
translations in QM. The logic that underlies the identification of the momentum operator goes as
follows. In classical mechanics momentum can be defined as the generator of translations. One then
defines the momentum operator in quantum mechanics as the generator of translations in QM. This
leads to (91).

3.2 Heisenberg Uncertainty Relation

Werner Heisenberg (Nobel Prize in Physics 1932).


“What we observe is not nature itself, but nature exposed to
our method of questioning.”

Heisenberg also gave an excellent definition of experts: “An


expert is someone who knows some of the worst mistakes
that can be made in their subject, and how to avoid them.”

Let us consider the commutator [x̂, p̂]

∂ψ(x) ∂  
hx|[x̂, p̂]|ψi = hx|x̂p̂ − p̂x̂|ψi = −i~x + i~ xψ(x) = i~hx|ψi. (93)
∂x ∂x

20
As |ψi is arbitrary this tells us that
[x̂, p̂] = i~.
(94)
So momentum and position are incompatible observables! Now consider the variances for position and
momentum measurements in the state |ψi

hψ|(x̂ − x0 )2 |ψi , hψ|(p̂ − p0 )2 |ψi, (95)

where x0 = hψ|x̂|ψi and p0 = hψ|p̂|ψi. For general Hermitian operators A = A† and B = B † we have

2i Imhψ|AB|ψi = hψ|[A, B]|ψi. (96)

But the imaginary part of a complex number is always smaller than its magnitude and so

Imhψ|AB|ψi ≤ |hψ|AB|ψi|. (97)

Next we use the Schwarz inequality, which in Dirac notations reads

|hφ|φ0 i| ≤ hφ|φi hφ0 |φ0 i.


p
(98)

In the usual vector notation and for real vector spaces this reads |~a · ~b| ≤ ||~a|| ||~b||, which is obviously true
because ~a ·~b = ||~a|| ||~b|| cos ϕ, where ϕ is the angle between the two vectors. Applying the Schwarz inequality
to the states B|ψi and A|ψi on the rhight-hand-side of (97) and then using (96) we obtain
1 p
hψ|[A, B]|ψi ≤ hψ|A2 |ψi hψ|B 2 |ψi. (99)
2i
Finally we substitute A = x̂ − x0 , B = p̂ − p0 and use [A, B] = i~ to arrive at the Heisenberg uncertainty
relation
~ p p
≤ hψ|(x̂ − x0 )2 |ψi hψ|(p̂ − p0 )2 |ψi .
2 | {z }| {z }
∆X ∆P
(100)
The physical content of the Heisenberg uncertainty relation is that the product of the variances of the QM
probability distributions for position and momentum measurements must always be larger than (~/2)2 . So
if the state |ψi is such that the variance of the position probability distribution is very small, i.e. we can
determine the position very precisely, the variance of the probability distribution of momentum must be
large enough to satisfy the inequality (100), i.e. very large. So, in a probabilistic sense, we can never know
both the position and the momentum of a particle very precisely.

3.3 Momentum Representation


Momentum eigenstates fulfil p̂|pi = p|pi. We can work out the corresponding wave functions by considering


hx|p̂|pi = −i~ hx|pi = phx|pi. (101)
∂x
This is a first order ODE with solution
i
hx|pi = A e ~ px .
(102)
So the wave function of momentum eigenstates are plane waves! As |hx|pi|2 = |A|2 is position independent
a particle in a momentum eigenstates is equally likely to be found anywhere in space when its position is
measured. The constant A is fixed by the normalization condition

hp|p0 i = δ(p − p0 ) , (103)

21
which ensures that the resolution of the identity has the form
Z
1 = dp |pihp|. (104)

We have Z Z
i 0
0 0
hp|p i = dx hp|xihx|p i = dx |A|2 e ~ (p −p)x = |A|2 2π~ δ(p − p0 ), (105)

so A = (2π~)−1/2 . The momentum representation is obtained by expressing states and operators in terms
of a basis of momentum eigenstates
Z ∞ Z
|ψi = dp hp|ψi |pi , O = dp dp0 hp|O|p0 i |pihp0 |. (106)
−∞
R∞ R∞
Using |ψi = −∞ dx hx|ψi |xi = −∞ dp hp|ψi |pi we can relate the momentum and position representations
i i
∞ ∞
e− ~ px e ~ px
Z Z
hp|ψi = dx ψ(x) √ , hx|ψi = dp hp|ψi √ . (107)
−∞ 2π~ −∞ 2π~
This is precisely the (inverse) Fourier transformation of the wave function!

3.4 Generalization to 3 Dimensions


In three spatial dimensions we use a basis of quantum states |~xi of definite position ~x = (x, y, z). These
states fulfil the normalization condition

h~x|~x0 i = δ (3) (~x − ~x0 ) = δ(x − x0 )δ(y − y 0 )δ(z − z 0 ). (108)

The resolution of the identity is Z


1= d3 ~x |~xih~x|. (109)

A general state can be written as a linear combination of these basis states


Z
|ψi = d3 ~x h~x|ψi |~xi.
| {z }
ψ(~
x)
(110)

Now we can define operators corresponding to each of the three components of position
Z
x̂ = d3 ~x x |~xih~x| ,
Z
ŷ = d3 ~x y |~xih~x| ,
Z
ẑ = d3 ~x z |~xih~x| . (111)

By the same kind of argument as in the 1D case we have

V (x̂, ŷ, ẑ)|~xi = V (x, y, z)|~xi, (112)

where V (x, y, z) is to be understood in terms of its Taylor expansion around (0, 0, 0). In D=3 we also have
three components of momentum and can define the associated quantum states |~ pi, which return the result
pα with certainty when the α-component of momentum is measured (α = x, y, z). Their normalization is as
you may have already guessed

h~ p0 i = δ (3) (~
p|~ p − p~0 ) = δ(px − p0x )δ(py − p0y )δ(pz − p0z ). (113)

22
Following our construction for D=1 we can define three Hermitian operators associated with the three
components of momentum by
p̂α |~
pi = pα |~
pi , α = x, y, z (114)
In the position representation we have
∂ (3)
h~x|p̂α |~x0 i = −i~ δ (~x − ~x0 ) , α = x, y, z. (115)
∂xα
This implies that

h~x|p̂α |ψi = −i~ ψ(~x) .
∂xα
(116)

4 Time Evolution in Quantum Mechanics


Newtonian mechanics is about equations of motion for physical quantities. The analogue in QM is time
evolution of quantum states.

4.1 Time dependent Schrödinger equation and Ehrenfest’s theorem


Postulate 3
The time evolution of quantum states is described by the time-dependent Schrödinger equation


i~ |ψ(t)i = H|ψ(t)i,
∂t (117)

where H is the Hamiltonian of the system.

Erwin Schrödinger (Nobel Prize in Physics 1933).


“I insist upon the view that all is waves.”

“I knew of Heisenberg’s theory, of course, but I felt discour-


aged, not to say repelled, by the methods of transcendental
algebra, which appeared difficult to me, and by the lack of
visualizability.” (Schrödinger in 1926)
The more I think about the physical portion of Schrödinger’s
theory, the more repulsive I find it. What Schrödinger
writes about the visualizability of his theory is probably not
quite right, in other words it’s crap (in German “Mist”).”
(Heisenberg, writing to Pauli in 1926).

The associated equation for the bra-state is


−i~ hψ(t)| = hψ(t)|H.
∂t (118)

The general rules are


c|ψi −→ c∗ hψ| , A|ψi −→ hψ|A† .
(119)

23
To see what the bra-state corresponding to A|ψi is we expand both the state and the operator in a basis
X X
|ψi = ψj |ji , A = hk|A|li |kihl| . (120)
j k,l

Using hl|ji = δl,j we then have X


A|ψi = hk|A|li ψl |ki . (121)
k,l

The associated bra state is


X X X X X
(hk|A|li ψl )∗ hk| = (hk|A|li)∗ ψl∗ hk| = hl|A† |ki ψl∗ hk| = ψl∗ hl|A† |kihk| = hψ|A† . (122)
k,l k,l k,l l k

By combining the TDSEs for |ψ(t)i and hψ(t)| we obtain the evolution equation for the expectation values
of (time-independent) operators


−i~ hψ(t)|O|ψ(t)i = hψ(t)|[H, O]|ψ(t)i .
∂t (123)

This is called Ehrenfest’s theorem. As a first application of this equation let us consider a free QM particle
with Hamiltonian H = p̂2 /(2m), i.e. only kinetic energy. Then
∂ 1
−i~ hψ(t)|x̂|ψ(t)i = hψ(t)|[p̂2 , x̂]|ψ(t)i . (124)
∂t 2m
The commutator is worked out using a standard trick

[p̂2 , x̂] = p̂2 x̂ − p̂x̂p̂ + p̂x̂p̂ − x̂p̂2 = p̂[p̂, x̂] + [p̂, x̂]p̂ = −2i~p̂. (125)

This tells us that



hx̂i = hp̂i.
m (126)
∂t
This is precisely what we would expect classically (and shows that our definition of momentum operator is
reasonable).

4.2 Time independent Schrödinger equation


The eigenvalue equation for the Hamiltonian is also known as the time-independent Schrödinger equation

H|En i = En |En i .
(127)

As H is Hermitian we can obtain an orthonormal basis of energy eigenstates and hence write any state as
linear combination X
|ψ(t)i = ψj (t)|Ej i . (128)
j

Substituting this back into the TDSE we have


X ∂ψj (t) X
i~ |Ej i = ψj (t)Ej |Ej i. (129)
∂t
j j

Extracting the amplitudes for |En i by acting with hEn | we have

∂ψn (t)
i~ = En ψn (t) . (130)
∂t

24
This first order differential equation is easily solved
i
ψn (t) = ψn (0)e− ~ En t . (131)

In Dirac notations
X i
|ψ(t)i = hEn |ψ(0)i e− ~ En t |En i .
n
(132)

NB 5
Given the solutions of the time-independent Schrödinger equation we can construct the solutions to
the time-dependent Schrödinger equation for a given initial quantum state |ψ(0)i using (132). This
is why the study of the TISE is so important!

For energy eigenstates themselves we have

i
|En , ti = e− ~ En t |En i .
(133)

So energy eigenstates only acquire a phase under time evolution. As a result the probabilities |hx|En , ti|2
to find a particle in an energy eigenstate at a given position x are time-independent. This is why energy
eigenstates are also known as stationary states.

4.3 Schrödinger equation in the position representation


A key point is that we can express the TDSE in the position representation


hx|ψ(t)i = hx|H|ψ(t)i.
i~ (134)
∂t
This is very useful for Hamiltonians of the form

p̂2
H= + V (x̂) . (135)
2m | {z }
potential energy
|{z}
kinetic energy

Given that
∂ψ(x, t)
hx|p̂|ψ(t)i = −i~ (136)
∂x
we have
∂ψ(x0 , t) 2
Z Z
∂ 2 ∂ ψ(x, t)
hx|p̂2 |ψ(t)i = dx0 hx|p̂|x0 ihx0 |p̂|ψ(t)i = −~2 dx0 δ(x − x0 ) = −~ . (137)
∂x ∂x0 ∂x2
This gives
~2 ∂ 2 ψ(x, t)
hx|H|ψ(t)i = − + V (x)ψ(x, t) . (138)
2m ∂x2
Substituting this back into (134) we see that for Hamiltonians of the form (135) the TDSE can be represented
as a partial differential equation for the wave function

∂ψ(x, t) ~2 ∂ 2 ψ(x, t)
i~ =− + V (x)ψ(x, t) .
∂t 2m ∂x2 (139)

25
Now you are starting to see where Schrödinger’s view that “all is waves” comes from! The generalization to
3D is straightforward and we only quote the result

∂ψ(~x, t) ~2 ~ 2
i~ =− ∇ ψ(~x, t) + V (~x)ψ(~x, t) .
∂t 2m (140)

In the position representation the TISE reads

~2 ∂ 2
 
− + V (x) ψ(x) = Eψ(x) .
2m ∂x2
(141)

Here ψ(x) are the wave functions of energy eigenstates. Many QM text approach the subject using the
position representation on the Schrödinger equation as a starting point.

4.4 Probability Current


The probability density of finding a particle at position ~x at time t is according to Born’s rule is

ρ(~x, t) = |ψ(~x, t)|2 = ψ(~x, t)ψ ∗ (~x, t) . (142)

Taking the time derivative gives

∂ρ(~x, t) ∂ψ(~x, t) ∂ψ ∗ (~x, t)


= ψ ∗ (x, t) + ψ(x, t) . (143)
∂t ∂t ∂t
We now use the TDSE for the wave function (140) and its complex conjugate to rewrite the right-hand side

∂ρ(~x, t) i~  ∗
ψ (x, t)∇2 ψ(~x, t) − ψ(x, t)∇2 ψ ∗ (~x, t) .

= (144)
∂t 2m
The right-hand side of this equation can be written as a divergence

∂ρ(~x, t) ~ · J(~
~ x, t) ,
= −∇ (145)
∂t
~ x, t) is called probability current
where J(~

~ x, t) = i~ ψ(x, t)∇ψ
h i
J(~ ~ ∗ (~x, t) − ψ ∗ (x, t)∇ψ(~
~ x, t) . (146)
2m
Eqn (145) takes the form of a continuity equation that expresses the conservation of probability. Its integral
form follows from the divergence theorem
Z Z I
d 3 3 ~ ~ ~ · J(~
~ x, t) ,
d ~x ρ(~x, t) = − d ~x ∇ · J(~x, t) = − d2 S (147)
dt V V ∂V

where ∂V is the boundary of the volume V . So the change in the probability for the particle to be found
inside V is minus the integral over the volume’s bounding surface of the probability flux out of the volume.
Homework 4: Time dependence and the Schrödinger equation

2.1 Write down the time-independent (TISE) and the time-dependent (TDSE) Schrödinger
equations. Is it necessary for the wavefunction of a system to satisfy the TDSE? Under what
circumstances does the wavefunction of a system satisfy the TISE?

26
2.2 Why is the TDSE first-order in time, rather than second-order like Newton’s equations of motion?

2.3 A particle is confined in a potential well such that its allowed energies are En = n2 E, where
n = 1, 2, . . . is an integer and E a positive constant. The corresponding energy eigenstates are |1i, |2i,
. . . , |ni, . . . At t = 0 the particle is in the state

|ψ(0)i = 0.2|1i + 0.3|2i + 0.4|3i + 0.843|4i.

(a) What is the probability, if the energy is measured at t = 0, of finding a number smaller than 6E?
(b) What is the mean value and what is the rms deviation of the energy of the particle in the state
|ψ(0)i?
(c) Calculate the state vector |ψi at time t. Do the results found in (a) and (b) for time t remain
valid for arbitrary time t?
(d) When the energy is measured it turns out to be 16E. After the measurement, what is the state
of the system? What result is obtained if the energy is measured again?

2.4 A particle moves in the potential V (x) and is known to have energy En . (a) Can it have well-
defined momentum for some particular V (x)? (b) Can the particle simultaneously have well-defined
energy and position?
2.5 Let ψ(x, t) be the correctly normalized wave function of a particle of mass m and potential energy
V (x). Write down the expressions for the expectation values of (a) x̂; (b) x̂2 ; (c) p̂x ; (d) p̂2x ; (e) the
energy.
What is the probability that the particle will be found in the interval (x1 , x2 )?

2.6 Consider a quantum mechanical particle with Hamiltonian

p̂2
H= + V (x̂),
2m
that is initially prepared in a state |ψ(0)i. Using the TDSE show that the expectation value of an
operator Q̂ fulfils the following evolution equations
d
i~ hψ(t)|Q̂|ψ(t)i = hψ(t)|[Q̂, H]|ψ(t)i.
dt
Consider the particular cases of the position and momentum operators and comment on the resulting
equations

Part II
Wave Mechanics and Oscillators
Erwin with his psi can do
Calculations quite a few. Erich Hückel, freely translated by Felix Bloch.

27
5 Wave mechanics
5.1 Free particle in one dimension
Let us start with the case where our QM particle only has kinetic energy. Then the Hamiltonian is
p̂2
H= . (148)
2m
The TISE reads
~2 d2
− ψ(x) = Eψ(x) . (149)
2m dx2
The solutions to this differential equation are the momentum eigenstates
1 i
up (x) = √ e ~ px , (150)
2π~
where the energy is given by
p2
Ep =. (151)
2m
In this case the energy eigenvalues are not quantized. Given the energy eigenstates we are now is a position
to solve the time-dependent Schrödinger equation. We need to adjust our previous result
X i
|ψ(t)i = hEn |ψ(0)ie− ~ En t |En i (152)
n

because the energy eigenvalues are continuous rather than discrete here. Using that the energy eigenstates
are also momentum eigenstates we have
Z ∞
ip2
|ψ(t)i = dp hp|ψ(0)ie− 2m~ t |pi. (153)
−∞

The corresponding wave function is


Z ∞
dp ip2 i
hx|ψ(t)i = ψ(x, t) = √ hp|ψ(0)ie− 2m~ t+ ~ px . (154)
−∞ 2π~
Let us consider a state that at time t = 0 corresponds to a Gaussian wave packet
1 x2 i
ψ(x, 0) = hx|ψ(0)i = 1 e− 4σ2 + ~ p0 x . (155)
(2πσ 2 ) 4

Going over to the momentum representation we have


Z  2  14 2
2σ − σ2 (p−p0 )2
hp|ψ(0)i = dx hp|xihx|ψ(0)i = e ~ . (156)
π~2
This describes a superposition of momentum eigenstates with momenta centred around p0 and probability
amplitudes that become very small when |p − p0 |  σ~ . Substituting this back into (154) and carrying out
the integral (how?) we obtain
σ σ2 i~t
− (x−p0 t/m)2
|ψ(x, t)|2 = p e 2~4 |b(t)|4 , ~2 b2 (t) = σ 2 + . (157)
2π~4 |b(t)|4 2m
This describes a Gaussian wave packet moving with velocity p0 /m that broadens in time as
~t 2
 
2 2
σ (t) = σ + . (158)
2mσ
We can understand this by noting that initially there is an uncertainty in momentum (as at time t = 0 we
are dealing with a superposition of momentum eigenstates), which translates into an increasing uncertainty
in position at later times.

28
5.2 Infinite square well
Let us consider a QM particle moving in a one-dimensional potential well
(
0 if 0 < x < a
V (x) = (159)
∞ else.

The TISE for the wave function ψ(x) reads

~2 d2
− ψ(x) + V (x)ψ(x) = Eψ(x) . (160)
2m dx2
As we are interested in finite E solutions the wave function must vanish at x < 0 and x > a. Continuity at
x = 0, a then imposes the boundary conditions

ψ(0) = 0 = ψ(a). (161)

In the interior of the potential we then have

~2 d2
− ψ(x) = Eψ(x) . (162)
2m dx2
The general solution is
~2 k 2
ψ(x) = A cos(kx) + B sin(kx) , . E= (163)
2m
Imposing the boundary conditions gives A = 0 and the wave number k gets quantized
πn
kn = , n = 1, 2, 3, . . . (164)
a
The corresponding quantized energies are
~2 π 2 n2
En = . (165)
2ma2
Normalizing the wave functions by imposing
Z a
dx|ψ(x)|2 = 1 , (166)
0

we arrive at the following result for the energy eigenstates


r  
2 πn
ψn (x) = sin x . (167)
a a
We note that the overall phase of the wave functions is arbitrary and we fix it to be equal to one. The lowest
energy state is called the ground state. The wave functions ψn (x) are either symmetric or antisymmetric

Figure 6: Wave functions for the 4 lowest energy states in the infinite square well potential.

under reflection around x = a/2.

29
5.3 Finite square well
Let us now consider a particle moving in the potential
(
0 if |x| < a
V (x) = (168)
V0 if |x| > a.

The TISE for the wave function ψ(x) reads

~2 d2
− ψ(x) = [E − V (x)]ψ(x) . (169)
2m dx2
Let us first consider the case E < V0 . In this case the solution of (169) is

A cos(kx) + B sin(kx) if |x| < a ,

ψ(x) = Ce−κx + C 0 eκx if x > a , (170)

 κx
De + D e 0 −κx if x < −a ,

where
~2 k 2 ~2 κ2
E= = V0 − . (171)
2m 2m
Now we impose

• Normalizability Z ∞
dx |ψ(x)|2 = 1 . (172)
−∞

This sets C 0 = D0 = 0, i.e. imposes that the wave function vanishes at x → ±∞.

• Continuity of ψ(x) at x = ±a, i.e. lim→0 ψ(±a − ) = lim→0 ψ(±a + )

A cos(ka) + B sin(ka) = Ce−κa ,


A cos(ka) − B sin(ka) = De−κa . (173)

• Continuity of ψ 0 (x) at x = ±a

Bk cos(ka) − Ak sin(ka) = −Cκe−κa ,


Bk cos(ka) + Ak sin(ka) = Dκe−κa . (174)

Equations (173)and (174) have two types of solutions

(i) B = 0, C = D and k tan(ka) = κ, corresponding to symmetric wave functions ψ(x) = ψ(−x).

(ii) A = 0, C = −D and k cot(ka) = −κ, corresponding to antisymmetric wave functions ψ(x) = −ψ(−x).

The (anti)symmetry of energy eigenstates is a result of a symmetry of the problem under reflection around
x = 0, i.e. x → −x. This symmetry is called parity. Symmetric solutions are said to be even under the
parity transformation (i.e. they map onto themselves), while antisymmetric solutions are odd under parity
(i.e. they map onto minus themselves). What remains to be done is to solve the remaining equations for
the wave numbers, e.g. r
2mV0
k tan(ka) = κ = − k2 . (175)
~2
We rewrite this slightly as r r
W2 2mV0 a2
tan(ka) = − 1 , W = . (176)
k 2 a2 ~2

30
Figure 7: Solutions of eqn (176) for W = 10.

This equation does not have simple solutions, but we can understand the structure of solutions by plotting
the two sides of the equation as functions of ka. This is done in Fig. 7. We see that for W = 10 there
are 4 solutions to the equation. For larger values of W there will be more solutions, but there will always
be at least one! We call these states bound states, because |ψ(x)|2 drops off very quickly away from the
square well, which means that the particle is most likely to be found inside the well. So in one dimension a
potential well will always have at least one bound state, no matter how small V0 is. Note however that the
probability of finding the particle outside the well is not zero (as it would be classically for energies E < V0 )!
Let us now turn to the case E > V0 . Now the solutions to the TISE look like

A cos(kx) + B sin(kx)
 if |x| < a ,
0
ψ(x) = C cos(Kx) + C sin(Kx) if x > a , (177)

 0
D cos(Kx) + D sin(Kx) if x < −a ,

~2 k 2 ~2 K 2
E= = − V0 . (178)
2m 2m
In this case the wave functions will not vanish at x → ±∞ and the spectrum of energies will be continuous.

5.4 Split infinite square well


Next we consider a potential of the form

V (x) = V0 δ(x) + VISW (x) ,


(
0 if 0 < |x| < a/2
VISW (x) = (179)
∞ else.

The TISE reads


~2 d2 ψ(x)
− + V (x)ψ(x) = Eψ(x) . (180)
2m dx2
If V0 = 0 we are dealing with an infinite square well, which is now symmetric around x = 0. The
odd-parity energy eigenstates can be read off from our previous solution
r
~2 π 2 (2n)2
 
2 2πn
ψ2n (x) = sin x , E2n = . (181)
a a 2ma2

31
As ψ2n (0) = 0 these wave functions also fulfil the TISE (180) in presence of the additional delta-function
potential!
Using that V (x) vanishes away from x = 0 we conclude that the even-parity eigenstates must have wave
functions of the form (
Aeikx + Be−ikx if 0 < x ≤ a/2 ,
ψ(x) = (182)
Ae−ikx + Beikx if − a/2 ≤ x < 0 .
The free parameters are fixed by noting that

• The wave functions must vanish at ±a/2 for finite energy eigenstates, i.e. ψ(±a/2) = 0. This gives

B = −Aeika . (183)

• The wave function must be continuous at x = 0. Our Ansatz fulfils this requirement.

• The derivative of the wave function at x = 0 is determined by integrating the TISE around x = 0
Z   2 00 
~ ψ (x)
dx − + V0 δ(x)ψ(x) − Eψ(x) = 0 . (184)
− 2m

Using that the wave function is continuous at zero and taking the limit  → 0 we obtain ψ 0 (0+ ) −
ψ 0 (0− ) = 2mV
~2
0
ψ(0), which in turn implies

mV0
ik(A − B) = (A + B) . (185)
~2
We see that the first derivative of the wave function is discontinuous at x = 0. This is a characteristic
feature of delta-function potentials. If we regularize the delta function, e.g. by
2
e−x /4
δ (x) = √ , (186)
4π
then the wave function and its derivative are continuous at x = 0. The discontinuity of the derivative
arises only in the limit  → 0. Substituting (183) leaves us with a quantization condition for k

mV0
k cot(ka/2) = − . (187)
~2

The most interesting case is when V0 becomes very large. Then the right hand side of (187) is very large
and k must be close to one of the singularities of cot(ka/2)

2nπ 2nπ 2~2


k2n+1 ≈ − . (188)
a a maV0
For large V0 our wave functions are thus approximately given by
r
~2 π 2 (2n)2
 
2 2πn
ψ2n+1 (x) ≈ sin |x| , E2n+1 ≈ . (189)
a a 2ma2

The corrections to the wave functions and energies are proportional to 1/V0 . This implies that at large V0
there are pairs of eigenstates with almost degenerate energies but opposite parities. Let us now prepare our
system is the state corresponding to the wave function

ψ2n (x) − ψ2n+1 (x)


Ψ(x, 0) = √ . (190)
2

32
The probability density to find the particle at position x is
  
 4 sin2 2πn x if − a
≤x≤0
|Ψ(x, 0)|2 ≈ a a 2
(191)
0 else.

So to a very good approximation the particle is on the left hand side of the potential well. The time evolution
of the system is given by the time-dependent Schrödinger equation. Using our general result
X i
|ψ(t)i = hEn |ψ(0)ie− ~ En t |En i , (192)
n

and going over to the position representation we have


X i
hx|ψ(t)i = hEn |ψ(0)ie− ~ En t hx|En i . (193)
| {z } n
| {z }
Ψ(x,t) ψn (x)

For our particular choice of initial state this becomes


1 h i i
i
Ψ(x, t) = √ e− ~ E2n t ψ2n (x) − e− ~ E2n+1 t ψ2n+1 (x) . (194)
2
Consider now the probability density to find the particle at position x at time t∗ = π~/(E2n − E2n+1 ). This
is a late time as the splitting between the two energy levels is small. We have
  
4 2 2πn
|ψ2n (x) + ψ2n+1 (x)|2  sin x if 0 ≤ x ≤ a2
|Ψ(x, t∗ )|2 = ≈ a a
(195)
2
0 else.

To a very good approximation the particle is now in the right hand side of the well! This is a purely quantum
mechanical effect, which we refer to as tunnelling through a potential barrier.

5.5 Scattering of free particles


Next we consider a potential step (
0 if |x| > a
V (x) = (196)
V0 if |x| < a.
The corresponding TISE
~2 d2 ψ(x)
− + [V (x) − E]ψ(x) = 0 (197)
2m dx2
is solved by considering the regions x < −a, |x| < a and x > a separately. For E < V0 energy eigenstates
are of the form 
ikx −ikx if x < −a
De + re

ψ(x) = Ae−κx + Beκx if |x| < a (198)

 ikx
te + Ce −ikx if x > a ,
where k and κ are related to the energy eigenvalue by

~2 k 2 ~2 κ2
E= = V0 − . (199)
2m 2m
We see that the wave functions do not vanish at ±∞ and are not normalizable to one. We now specify
solutions such that C = 0 and D = 1 as these have a nice physical interpretation. For C = 0 there is

33
no left-moving wave at x > a1 , and the wave functions can be interpreted as an incident plane wave with
amplitude 1 that gets partially reflected by the barrier (re−ikx ) and partially transmitted (teikx ).
The free parameters in (198) are fixed by the four requirements that the wave function and its first
derivative are continuous at x = ±a. This gives the following four equations for the four unknowns A, B, r,
and t
e−ika + reika = Aeκa + Be−κa ,
teika = Ae−κa + Beκa ,
ik[e−ika − reika ] = κ[−Aeκa + Be−κa ] ,
ikteika = κ[−Ae−κa + Beκa ]. (200)
After some algebra we find
2iκke−2ika
t = ,
(k 2 − κ2 ) sinh(2κa) + 2ikκ cosh(2κa)
e−2ika (κ2 + k 2 ) sinh(2κa)
r = . (201)
(k − κ2 ) sinh(2κa) + 2ikκ cosh(2κa)
2

We note that
|r|2 + |t|2 = 1, (202)
which corresponds to the conservation of probability in the scattering interpretation mentioned above. A
simple way of seeing that |r|2 + |t|2 = 1 is to consider the probability currents for x < −a and x > a. We
have
~k ~k 2
Jx<−a = [1 − |r|2 ] , Jx>a = |t| . (203)
m m
These must be equal by conservation of probability (consider the integral form (147) of the continuity
equation and take as the volume e.g. the interval [−2a, 2a]). The transmission probability is
4k 2 κ2
|t|2 = . (204)
4κ2 k 2 + (k 2 + κ2 )2 sinh2 (2κa)
Transmission includes the possibility that the incoming particle failed to interact with the potential barrier.
To isolate the possibility of scattering to occur we write the amplitude of the outgoing wave as t = 1 + T ,
where the 1 corresponds to the possibility of passing through undisturbed and T representing actual forward
scattering. The total scattering cross section is defined as the sum of the probabilities for forwards and
backwards scattering
σ = |T |2 + |r|2 = |1 − t|2 + |r|2 . (205)
This is a good point to elaborate a bit more on continuity conditions for the derivative of the wave function.
In our example the first derivative is continuous. Let us now however consider the limit a → 0, V0 → ∞
such that 2aV0 = Vδ is kept fixed. Let us denote this limit as limδ . In this limit our potential is like a
delta-function and hence no longer “nice” at x = 0. The derivative of the wave functions behaves as
mVδ /~2
ψ 0 (0− ) = ik limδ (1 − r) = ,
ik − mVδ /~2
ik
ψ 0 (0+ ) = ik limδ t = . (206)
ik − mVδ /~2
So in the limit the first derivative is no longer continuous. Its jump at x = 0 is
ik(2mVδ /~2 ) 2mVδ
ψ 0 (0+ ) − ψ 0 (0− ) = 2
= ψ(0). (207)
ik − mVδ /~ ~2

1 ikx ~k2
e corresponds to a right-moving wave as can be seen by including the time dependence imposed by the TDSE: eikx−i 2m t .
The points of constant phase can be seen to move rightwards.

34
5.6 Resonant Scattering
Scattering experiments are widely used to probe the internal structure of atomic nuclei and “elementary”
particles. We will now consider a toy model that explains how the structure of the scattering cross section
reflects the existence of long-lived bound states inside the nucleus. To that end we consider particles moving
in a one dimensional potential of the form

V (x) = Vδ [δ(x + a) + δ(x − a)] . (208)

We aim to construct finite energy eigenstates of the form



ikx −ikx if x < −a
e + re

ψ(x) = Aeikx + Be−ikx if |x| < a (209)

 ikx
te if x > a.

The energy of such a solution is


~2 k 2
E(k) = . (210)
2m
Such solutions can be interpreted in terms of a right-moving wave with unit amplitude that scatters off the
potential and eventually generates a reflected left-moving wave at x < −a and a transmitted right-moving
wave at x > a. The wave functions (209) must fulfil the following conditions

• Continuity of the wave function at x = ±a. This gives

e−ika + reika = Ae−ika + Beika ,


teika = Aeika + Be−ika . (211)

These can be cast in matrix form


 −ika
eika
     
e A ika r −ika 1
=e +e (212)
eika e−ika B t 0
| {z }
M1

• Jump discontinuity of the first derivatives at the positions of the delta-functions. These conditions are
again obtained by integrating the TISE over infinitesimal intervals around ±a, e.g.
Z a+ 
~2 d2 ψ(x)

dx − + Vδ δ(x − a)ψ(x) − Eψ(x) = 0 . (213)
a− 2m dx2

This gives two equations


2m
ψ 0 (a + 0) − ψ 0 (a − 0) = Vδ ψ(a) ,
~2
2m
ψ 0 (−a + 0) − ψ 0 (−a − 0) = Vδ ψ(−a) . (214)
~2
These two equations can be written in matrix form as

(v0 − ik)e−ika (v0 + ik)eika


      
A ika r −ika 1
= ike − ike , (215)
(v0 + ik)eika (v0 − ik)eika B t 0
| {z }
M2

where we have defined


2mVδ
v0 = . (216)
~2

35
Eliminating A and B we can extract a system of equations for only r and t
      
−1 1 0 r −2ika k csc(2ka)
M2 M1 − ik =e . (217)
0 1 t −ik − v0 − k cot(2ka)

The solution of this system is

4k 2
t = ,
(2k + iv0 )2 + e4ika v02
v0 [e−2ika (v0 − 2ik) − e2ika (v0 + 2ik)]
r = . (218)
(2k + iv0 )2 + e4ika v02
The total scattering cross section is defined as

4k 2 −4k 2 − v02 cos(4ka) + v02



2 2
σ = |t − 1| + |r| = 2 + 4 . (219)
8k + 4k 2 v02 − v02 v02 − 4k 2 cos(4ka) + 4kv03 sin(4ka) + v04


We see that at certain values of k (and hence at particular energies) the cross section is strongly enhanced.

Figure 8: Left: Total scattering cross section σ as a function of ka for v0 a = 10. Right: Total scattering
cross section σ as a function of energy E for v0 a = 10 (E0 = ~2 /(2ma2 )).

To understand the origin of this phenomenon it is useful to consider the limit of an impenetrable delta-
function potential Vδ → ∞. In this case we have v0 a  1 and the “resonances” occur at
πn
kn a ≈ , n = 1, 2, 3 . . . (220)
2
These correspond to energies
~2 kn2 ~2 π 2 n2
En = = . (221)
2m 8ma2
For very large values of Vδ we basically have a infinite square well (as the wave functions must vanish at
±a). We already know that in the latter stationary states occur at energies, cf. (165)

~2 (πn)2 ~2 (πn)2
EnISW = = , (222)
2m(2a)2 8ma2
where we have taken into account that the width of the well is 2a. These are exactly the energies at which
the total cross section has spikes! The interpretation is now clear: for special energies the cross section is
large because the particle can get temporarily trapped between the barriers, until after some time it escapes

36
to the left or the right. We say that there is a long-lived bound state between the barriers at that energy.
So the structure of the total cross section tells us about the energy levels of such long-lived bound states.
Long-lived bound states are related to certain types of radioactive decay.
In the case where the peaks in the cross section are very narrow, it follows from our explicit expression
for σ that they are approximately of the form
2(Γ/2)2
σ(E ≈ ER ) ≈ const + , (223)
(Γ/2)2 + (E − ER )2
where ER is the energy at which the peak is centred. The form (223) is called Breit-Wigner cross section
and is used widely to fit experimental data. It can be shown that the parameter Γ is inversely related to
the time it takes for the particle to escape from inside the well.

Eugene Wigner (Nobel Prize in Physics 1963).


“Where in the Schrödinger equation do you put the joy of
being alive?”

Wigner is also known for not being given tenure at Prince-


ton University in the 1930ies.

Homework 5: Wave Mechanics


2.7 Particles move in the potential
(
0 for x < 0
V (x) = .
V0 for x > 0
Particles of mass m and energy E > V0 are incident from x = −∞. Show that the probability that a
particle is reflected is
k−K 2
 
,
k+K
√ p
where k ≡ 2mE/~ and K ≡ 2m(E − V0 )/~. Show directly from the time-independent Schrödinger
equation that the probability of transmission is
4kK
(k + K)2
and check that the flux of particles moving away from the origin is equal to the incident particle flux.

2.8 Show that the energies of bound, odd-parity stationary states of the square potential well
(
0 for |x| < a
V (x) = ,
V0 > 0 otherwise
are governed by
s r
W2 2mV0 a2
cot(ka) = − −1 where W ≡ and k 2 = 2mE/~2 .
(ka)2 ~2

37
Show that for a bound odd-parity state to exist, we require W > π/2.

2.9 A free particle of energy E approaches a square, one-dimensional potential well of depth V0 and
width 2a. Show that the probability of being reflected by the well vanishes when Ka = nπ/2, where
n is an integer and K = (2m(E + V0 )/~2 )1/2 . Explain this phenomenon in physical terms.

2.10 A particle of energy E approaches from x < 0 a barrier in which the potential energy is
V (x) = Vδ δ(x). Show that the probability of its passing the barrier is
r
1 2mE 2mVδ
Ptun = 2
where k = 2
, K= .
1 + (K/2k) ~ ~2

2.11 Given that the wavefunction is ψ = Aei(kz−ωt) + Be−i(kz+ωt) , where A and B are constants, show
that the probability current density is

J = v |A|2 − |B|2 ẑ,




where v = ~k/m. Interpret the result physically.

2.12 Consider a free particle in one dimension with Hamiltonian

p̂2
H= . (224)
2m
Let the wave function of the particle at time t = 0 be a Gaussian wave packet
1 x2 i
− 2 + ~ p0 x
ψ(x, 0) = hx|ψ(0)i = 1 e
4σ . (225)
(2πσ 2 ) 4

Show that in the momentum representation we have


 14
2σ 2
Z 
σ2 2
hp|ψ(0)i = dx hp|xihx|ψ(0)i = e− ~2 (p−p0 ) . (226)
π~2

Comment on the relation between the forms of the state in the position and momentum representations
as a function of σ. By solving the TDSE show that the probability distribution function at time t
can be written in the form
σ σ2
− (x−p0 t/m)2
|ψ(x, t)|2 = p e 2~2 |b(t)|2 , (227)
2π~2 |b(t)|2

and derive the form of the function b(t). Explain what happens physically to the particle as time
evolves.

6 Harmonic Oscillators
The career of a young theoretical physicist consists of treating the harmonic oscillator in ever-increasing
levels of abstraction. Sidney Coleman.
Harmonic oscillations are ubiquitous in Physics as they describe small excursions from points of equilib-
rium. QM harmonic oscillators are extremely important as they are the basic building blocks of relativistic
Quantum Field Theories and the quantum theory of many-particle systems that describe solids.

38
The Hamiltonian for a one dimensional harmonic oscillator is
p̂2 1
H= + mω 2 x̂2 . (228)
2m 2
The corresponding TISE in the position representation reads

~2 d2 ψ(x) mω 2 2
− + x ψ(x) = Eψ(x). (229)
2m dx2 2
One way of approaching the QM harmonic oscillator is to solve this differential equation by the Frobenius
method. Here we will follow a different approach and employ operator methods. We start by introducing
so called creation and annihilation operators by
r
mω i
a = x̂ + √ p̂ ,
2~ 2mω~
r
† mω i
a = x̂ − √ p̂ . (230)
2~ 2mω~

Here a† is the Hermitian conjugate operator to a. Creation/annihilation operators fulfil the following
commutation relations
i i
[a, a† ] = − [x̂, p̂] + [p̂, x̂] = 1.
2~ 2~ (231)
The utility of these operators is that the Hamiltonian can be expressed in a simple way in terms of them.
We have
mω 2 1 i
a† a = x̂ + p̂2 − [p̂, x̂] , (232)
2~ 2m~ω 2~
which tells us that
 
† 1
H = ~ω a a + .
2
(233)
Here
N̂ = a† a (234)
is referred to as the number operator. In order to proceed we will require the commutation relations of the
creation/annihilation operators with the Hamiltonian (or equivalently the number operator)

[a, N̂ ] = a , [a† , N̂ ] = −a† . (235)

These are established as follows

[a, N̂ ] = aa† a − a† aa = [a, a† ]a = a . (236)

Now assume that we know an eigenstate |Ei of H

H|Ei = E|Ei. (237)

We will now show that both a† |Ei and a|Ei are eigenstates of H as well. Consider
   
Ha† |Ei = [H, a† ] + a† H |Ei = ~ωa† + a† E |Ei = (E + ~ω) a† |Ei. (238)

That’s a bingo: a† |Ei is an eigenstate with energy E + ~ω. Similarly we have

Ha|Ei = ([H, a] + aH) |Ei = (−~ωa + aE) |Ei = (E − ~ω) a|Ei. (239)

39
So a|Ei is an eigenstate with energy E − ~ω. Finally we consider the “length” hE|a† a|Ei of the ket vector
a|Ei
H 1 E 1
0 ≤ hE|a† a|Ei = hE| − |Ei = − . (240)
~ω 2 ~ω 2
This tells us that the energy eigenvalues are bounded from below

E≥ . (241)
2
This means that there is an eigenstate with lowest energy E0 , which we denote by |0i. Using (239) we have

Ha|0i = (E0 − ~ω)a|0i, (242)

so either a|0i is an eigenstate with energy E0 − ~ω or a|0i = 0. The former is impossible because E0 is by
construction to lowest energy eigenvalue, so we must have

a|0i = 0. (243)

This in turn tell us that the ground state energy is


~ω ~ω
H|0i = |0i ⇒ E0 = . (244)
2 2
This is the first interesting result: the ground state energy of the QM harmonic oscillator is not zero, but
E0 = ~ω2 . This is called the zero-point energy. Using (238) repeatedly we can construct eigenstates of the
form
1 † n
|ni = (a ) |0i , (245)
Nn
where Nn is a normalization constant. The energy of the states (245) is En = E0 + n~ω as each a† adds an
energy ~ω by virtue of (238), i.e.
 
1
En = ~ω n + .
2
(246)
We now observe that

[a, (a† )n ] = a(a† )n − (a† )n a = [a, a† ](a† )n−1 + a† [a, a† ](a† )n−2 + (a† )2 [a, a† ](a† )n−3 + . . .
= n(a† )n−1 , (247)

which implies that


a|ni = αn |n − 1i . (248)
The constant αn is most easily calculated by considering

hn|a† a|ni = |αn |2


= hn|N̂ |ni = n. (249)

Using that we can choose our normalization constants to be real we thus have

a|ni = n|n − 1i.
(250)

The analogous relation for the creation operator is



a† |ni = n + 1|n + 1i.
(251)

40
It is established by noting that
a† |ni = βn |n + 1i (252)
and then calculating
hn|aa† |ni = |βn |2 = hn|N̂ + [a, a† ]|ni = n + 1. (253)
Using (251) repeatedly we have √
(a† )n |0i = n!|ni , (254)
which gives the normalization constant

Nn = n!.
(255)
Nice.

6.1 Ground state of the Quantum Harmonic Oscillator


We now turn to a more detailed analysis of the ground state and its properties. Our starting point is the
fact the |0i is annihilated by a
r 
mω i
a|0i = 0 = x̂ + √ p̂ |0i. (256)
2~ 2mω~
In the position representation this becomes
r 
mω i
0 = hx|a|0i = hx| x̂ + √ p̂ |0i
2~ 2mω~
Z r 
0 mω i
= dx hx| x+ √ p̂ |x0 ihx0 |0i
2~ 2mω~
r Z Z
mω 0 0 0 i
= dx hx|x̂|x i hx |0i + √ dx0 hx|p̂|x0 i hx0 |0i
2~ | {z } 2mω~ | {z }
xδ(x−x0 ) d
−i~ dx δ(x−x0 )
r 
mω ~ d
= x+ √ hx|0i . (257)
2~ 2mω~ dx | {z }
ψ0 (x)

This is a first order differential equation for the ground state wave function ψ0 (x). Its normalized solution
is
r
2
1 − x2 ~
ψ0 (x) = 1 e
4` , `= .
(2π`2 ) 4 2mω
(258)
We see that the ground state wave function is a Gaussian centred around zero. Its energy E0 = ~ω 2 is larger
than zero, in contrast to the lowest energy configuration of a classical harmonic oscillator. The existence
of a zero-point energy is a direct consequence of the Heisenberg uncertainty relation. In order to have zero
energy our quantum mechanical particle would need to have neither potential energy, i.e. be localized at
x = 0, nor kinetic energy, i.e. have zero momentum. These two requirements cannot be met simultaneously
because of the uncertainty relation.
We now turn to the calculation of ground state expectation values. We have
r
~
h0|x̂|0i = h0|a + a† |0i = 0 ,
2mω
r
m~ω
h0|p̂|0i = −i h0|a − a† |0i = 0 , (259)
2

41
where we have used that a|0i = 0 = h0|a† . This means that on average the particle in the ground state of
our harmonic oscillator is located at x = 0 and has zero momentum. The variances are
~ ~ ~ ~
h0|x̂2 |0i = h0|(a + a† )2 |0i = h0|aa† |0i = h0|[a, a† ]|0i = ,
2mω 2mω 2mω 2mω
m~ω m~ω m~ω
h0|p̂2 |0i = − h0|(a − a† )2 |0i = h0|aa† |0i = . (260)
2 2 2
Putting everything together we have
~
∆x∆p = .
2 (261)
This means that the ground state of the harmonic oscillator saturates the Heisenberg uncertainty relation,
i.e. it is a state of minimal uncertainty.

6.2 Excited states of the Quantum Harmonic Oscillator


We now turn to the wave functions for excited states. For the first excited state we have
r 
† mω i
ψ1 (x) = hx|1i = hx|a |0i = hx| x̂ − √ p̂ |0i
2~ 2mω~
 
x d
= −` hx|0i
2` dx
1 x − x22
= 1 e 4` . (262)
(2π`2 ) 4 `
For the higher excited states we have the following recurrence relation
1
ψn (x) = hx|ni = √ hx|a† |n − 1i
n
 
1 x d
= √ −` hx|n − 1i . (263)
n 2` dx | {z }
ψn−1 (x)

Using this repeatedly we have


d n
 
1 x 1
ψn (x) = √ −` ψ0 (x) ≡ √ fn (x)ψ0 (x) , (264)
n! 2` dx n!
where fn (x) is some polynomial in x. Substituting (264) into (263) we obtain a recurrence relation for fn (x)
x 0
fn (x) = fn−1 (x) − `fn−1 (x) , f0 (x) = 1 . (265)
`
Comparing this with the recurrence relation of the so-called Hermite polynomials Hn (z)
0
Hn (z) = 2zHn−1 (z) − Hn−1 (z) , H0 (z) = 1 , (266)
we conclude that  
1 x
fn (x) = Hn √ . (267)
2n/2 2`
This gives our final result
 
1 x
ψn (x) = √ Hn √ ψ0 (x).
n!2n 2`
(268)
The first few Hermite polynomials are
H0 (z) = 1 , H1 (z) = 2z , H2 (z) = 4z 2 − 2 , H3 (z) = 8z 3 − 12z. (269)
From the properties of the Hermite polynomials it follows that

42
• ψ2n (x) are even under parity x → −x, i.e. ψ2n (−x) = ψ2n (x).

• ψ2n+1 (x) are odd under parity x → −x, i.e. ψ2n+1 (−x) = −ψ2n+1 (x).

• ψn (x) has n nodes.

Expectation values in excited states of the harmonic oscillator can be calculated from the following

hn|a|ni = 0 , hn|a† |ni = 0 ,


hn|a† a|ni = n , hn|aa† |ni = n + 1 , hn|(a† )2 |ni = 0 = hn|a2 |ni. (270)

Using these we can easily show that

hn|x̂|ni = 0 = hn|p̂|ni ,
~ 1 1
hn|x̂2 |ni = n+ , hn|p̂2 |ni = ~mω n + (271)
mω 2 2
The product of uncertainties is thus
1
∆x ∆p = ~ n + . (272)
2
This tells us that only the ground state is a state of minimal uncertainty, and the uncertainties are larger
in highly excited states.

6.3 What oscillates in the quantum harmonic oscillator?


Let us now consider a harmonic oscillator initially prepared in a state |ψ(0)i

X
|ψ(0)i = hn|ψ(0)i |ni . (273)
| {z }
n=0 an

The TDSE tells us that at time t the state of the system will be

X 1
|ψ(t)i = an e−iωt(n+ 2 ) |ni . (274)
n=0

The average position of our particle as a function of time is then given by the expectation value

X
hψ(t)|x̂|ψ(t)i = a∗m an eiωt(m−n) hm|x̂|ni . (275)
n,m=0

Matrix elements of the position operator are readily worked out using (250), (251) and x̂ = `[a + a† ]
√ √ 
hm|x̂|ni = ` nδm,n−1 + n + 1δm,n+1 . (276)

Substituting (276) into (275) we have



X √ 
n an a∗n−1 e−iωt + an−1 a∗n eiωt

hψ(t)|x̂|ψ(t)i = `
n=1

X
= bn cos(ωt + an ) , (277)
n=1

where 2 n`a∗n an−1 = bn exp(iφn ). Eqn (277) proves that if we prepare the harmonic oscillator in a generic
initial state |ψ(0)i the expectation value of position oscillates with frequency ω. This is reassuring.

43
6.4 Quantum vs classical harmonic oscillator
The solution of the equations of motion for the classical harmonic oscillator is
mω 2 2
x(t) = x0 sin(ωt) , E= x . (278)
2 0
Defining the probability density of finding the classical harmonic oscillator at position x by
dt 2π
Pcl (x)dx = 2 , T = , (279)
T ω
we have
1 1
Pcl (x) = p 2 = q (280)
π x0 − x2 E
2π` ~ω − x2
4`2

In Fig. 9 we compare Pcl (x) to the probability distribution of a quantum harmonic oscillator at the same
energy E100 = 100.5~ω. We observe that the quantum mechanical probability is a strongly oscillatory func-

Figure 9: Probability distribution in a stationary state of the harmonic oscillator with n = 100.


tion with oscillations occurring on a length scale ∼ `/ n. Averaging the quantum mechanical probability
distribution over a very small range approaches the classical probability distribution in the large-n limit.
Aside 4: Coherent States
There are other states in the harmonic oscillator problem that are of great interest. Consider the
eigenvalue equation for the annihilation operator
a|αi = α|αi. (281)
These are called coherent states for reasons that will become clear shortly. Recalling that
x̂ i`
a= + p̂ , (282)
2` ~
we can turn (281) into a differential equation by going to the position representation
hx|a|αi = αhx|αi
x d
= hx|αi + ` hx|αi. (283)
2` dx
This is solved by
1 (x−2`α)2

Φα (x) = hx|αi = e 4`2 . (284)
(2π`2 )1/4

44
So the wave functions of coherent states are Gaussians centred at positions 2`α. We can express the
coherent states in terms of the energy eigenstates (which after all form a basis) as follows. Using the
eigenvalue equation together with (251) we obtain a recurrence relation

hn|a|αi = α hn|αi = n + 1hn + 1|αi. (285)

This is solved by
αn
hn|αi = √ h0|αi. (286)
n!
This provides us with the desired expansion in terms of energy eigenstates

X αn
|αi = √ h0|αi |ni. (287)
n=0 n!

We note that coherent states are particular superpositions involving all energy eigenstates. We have
Z ∞
α2
h0|αi = dx Φα (x)Ψ∗0 (x) = e− 2 . (288)
−∞

What makes coherent states special is their time evolution. Using the expansion in terms of energy
eigenstates we have

X αn i
|α, ti = √ h0|αi e− ~ En t |ni. (289)
n=0 n!
Using that En = ~ω(n + 1/2) we have
 n
ωt X∞ αe−iωt h0|αe−iωt i
|α, ti = e−i 2 √ h0|αi |ni,
n! h0|αe−iωt i
n=0
2 /2
−i ωt e−α
= e 2 |αe−iωt i , (290)
e−(αe−iωt )2 /2
where we have used (288) for both h0|αi and h0|αe−iωt i. The corresponding wave functions are
ωt α2
(1−e2iωt )
Φα (x, t) = Φαt (x)e−i 2 e− 2 . (291)

Here comes the joke: the probability density |Φα (x, t)|2 of a coherent state looks like a Gaussian
wave-packet that oscillates with frequency ω while precisely retaining its shape!

Aside 5: Solving the Schrödinger equation numerically

Most Schrödinger equations cannot be solved exactly in the way we have done in our various examples.
Therefore one typically resorts to numerical solutions. To be specific, let’s consider the following
example
p̂2 1
H= + mω 2 x̂2 + λx̂4 ≡ H0 + λx̂4 , λ > 0. (292)
2m 2
Let’s say that we are interested in determining the ground state wave function of this Hamiltonian.
One way of doing this is to use our knowledge of the eigenstates of the harmonic oscillator part H0
1
H0 |ni = ~ω(n + )|ni. (293)
2

45
Using that these states form an orthonormal basis of the space of quantum states we have

X
1= |nihn|, (294)
n=0
and therefore X
H = 1H1 = hm|H|ni |mihn|. (295)
n,m
The eigenstates |ψn i of H can also be expressed in this basis
X
|ψn i = hm|ψn i |mi. (296)
m
The matrix elements of the Hamiltonian in this basis are
1
hm|H|ni = ~ω(n + )δn,m + λhm|x̂4 |ni. (297)
2
The matrix elements of the position operator can be determined either numerically by working out
the integrals Z ∞ h i∗
4 (0)
hm|x̂ |ni = dx ψm (x) x4 ψn(0) (x), (298)
−∞
(0)
where ψn (x) are the harmonic oscillator wave functions, or by using our creation/annihilation oper-
ator algebra
hm|x̂4 |ni = `4 hm|(a + a† )4 |ni
hp p
= `4 n(n − 1)(n − 2)(n − 3)δm,n−4 + (4n − 2) n(n − 1)δm,n−2
p
+(6n2 + 6n + 3)δm,n + (n + 1)(n + 2)(4n + 6)δm,n+2
p i
+ (n + 1)(n + 2)(n + 3)(n + 4)δm,n+4 ≡ `4 Vmn . (299)
The idea is now to truncate the sums in (295) by introducing a cutoff N . This turns H into an
(N + 1) × (N + 1) matrix
 
 1 λ`4 
Hnm = ~ω (n + )δ n,m + Vnm 
, n, m = 0, . . . , N. (300)
 2 ~ω
|{z}
µ

We now simply diagonalize the (dimensionless) matrix H/(~ω) numerically and obtain approximate
values for the energies and eigenstates of H. We increase the cutoff N until the ground state energy
and wave function no longer change within our desired numerical accuracy. For example, taking
µ = 0.1 and N = 10 gives
E0 ≈ 0.668812~ω ,
|ψ0 i ≈ −0.986914|0i + 0.160316|2i − 0.0133936|4i − 0.0086538|6i + 0.0064238|8i − 0.00223485|10i.
(301)
Increasing the cutoff to N = 20 gives
E0 ≈ 0.668773~ω ,
|ψ0 i ≈ −0.986896|0i + 0.160386|2i − 0.0134396|4i − 0.00875891|6i + 0.00682899|8i
−0.00299289|10i + 0.000832743|12i − 0.0000103442|14i − 0.000169943|16i
+0.000129011|18i − 0.0000507885|20i (302)
You get the idea. In general we choose an appropriate basis of states in which to express our Hamil-
tonian of interest and carry out the analogous procedure.

46
Homework 6: The simple harmonic oscillator
3.1 After choosing units in which everything, including ~ = 1, the Hamiltonian of a harmonic oscillator
may be written Ĥ = 21 (p̂2 + x̂2 ), where [x̂, p̂] = i. Show that if |ψi is a ket that satisfies H|ψi = E|ψi,
then
1 2
(p̂ + x̂2 )(x̂ ∓ ip̂)|ψi = (E ± 1)(x̂ ∓ ip̂)|ψi.
2
Explain how this algebra enables one to determine the energy eigenvalues of a harmonic oscillator.

3.2 Given that â|ni = α|n − 1i and En = (n + 21 )~ω, where the annihilation operator of the harmonic
oscillator is
mωx̂ + ip̂
â ≡ √ ,
2m~ω

show that α = n. Hint: consider |â|ni|2 .

3.3 The pendulum of a grandfather clock has a period of 1 s and makes excursions of 3 cm either
side of dead centre. Given that the bob weighs 0.2 kg, around what value of n would you expect its
non-negligible quantum amplitudes to cluster?

3.4 Show that the minimum value of E(p, x) ≡ p2 /2m + 12 mω 2 x2 with respect to the real numbers
p, x when they are constrained to satisfy xp = 21 ~, is 12 ~ω. Explain the physical significance of this
result.

3.5 How many nodes are there in the wavefunction hx|ni of the nth excited state of a harmonic
oscillator?

3.6 Show that for a harmonic oscillator that wavefunction of the second excited state is
2 2 −x 2 /4`2 p
hx|2i = constant × (x /` − 1)e , where ` ≡ ~/2mω and find the normalising con-
stant.

3.7 Use r
~
x̂ = (â + ↠) = `(â + ↠)
2mω
to show for a harmonic oscillator that in the energy representation the operator x̂ is

0 1 0 0 ...
 
√ √
 1 0 2 0
√ √

 
 0 2 0 3 ···


 

 3 . . . 

. . . ... ... ...


x̂jk = ` 
 
... √ 0 n−1 ... 
 √ 
 n−1 0 n √

 √ 

 n √ 0 n + 1 · · · 

 n+1 0 
··· ··· ··· ··· ···

Calculate the same entries for the matrix p̂jk .

3.8 At t = 0 the state of a harmonic oscillator of mass m and frequency ω is


1 1 1
|ψi = |N − 1i + √ |N i + |N + 1i.
2 2 2

47
Calculate the expectation value of x as a function of time and interpret your result physically in as
much detail as you can.

Homework 7: More problems on basic quantum mechanics

3.9 A three-state system has a complete orthonormal set of states |1i, |2i, |3i. With respect to this
basis the operators Ĥ and B̂ have matrices
   
1 0 0 1 0 0
Ĥ = ~ω 0 −1 0  B̂ = b 0 0 1 ,
0 0 −1 0 1 0

where ω and b are real constants.


(a) Are Ĥ and B̂ Hermitian?
(b) Write down the eigenvalues of Ĥ and find the eigenvalues of B̂. Solve for the eigenvectors of both
Ĥ and B̂. Explain why neither matrix uniquely specifies its eigenvectors.
(c) Show that Ĥ and B̂ commute. Give a basis of eigenvectors common to Ĥ and B̂.

3.10 A system has a time-independent Hamiltonian that has spectrum {En }. Prove that the
probability Pk that a measurement of energy will yield the value Ek is is time-independent. Hint:
you can do this either from Ehrenfest’s theorem, or by differentiating hEk , t|ψi w.r.t. t and using the
TDSE.

3.11 Let ψ(x) be a properly normalised wavefunction and Q̂ an operator on wavefunctions. Let {qr }
be the spectrum of Q̂ and {ur (x)} be the corresponding correctly normalised eigenfunctions. Write
down an expression for the probability that a measurement of Q will
R ∞ yield the value qr . Show that
∗ Q̂ψ dx.
P
r P (q r |ψ) = 1. Show further that the expectation of Q is hQi ≡ −∞ ψ

3.12 (a) Find the allowed energy values En and the associated normalized eigenfunctions φn (x) for a
particle of mass m confined by infinitely high potential barriers to the region 0 ≤ x ≤ a.
(b) For a particle with energy En = ~2 n2 π 2 /2ma2 calculate hxi.
(c) Without working out any integrals, show that

a2
h(x − hxi)2 i = hx2 i − .
4
Ra
Hence find h(x − hxi)2 i using the result that 0 x2 sin2 (nπx/a) dx = a3 (1/6 − 1/4n2 π 2 ).
(d) A classical analogue of this problem is that of a particle bouncing back and forth between two
perfectly elastic walls, with uniform velocity between bounces. Calculate the classical average values
hxic and h(x − hxi)2 ic , and show that for high values of n the quantum and classical results tend to
each other.

3.13 A Fermi oscillator has Hamiltonian Ĥ = fˆ† fˆ, where fˆ is an operator that satisfies

fˆ2 = 0, fˆfˆ† + fˆ† fˆ = 1.

Show that Ĥ 2 = Ĥ, and thus find the eigenvalues of Ĥ. If the ket |0i satisfies Ĥ|0i = 0 with h0|0i = 1,
what are the kets (a) |ai ≡ fˆ|0i, and (b) |bi ≡ fˆ† |0i?
In quantum field theory the vacuum is pictured as an assembly of oscillators, one for each possible
value of the momentum of each particle type. A boson is an excitation of a harmonic oscillator, while
a fermion in an excitation of a Fermi oscillator. Explain the connection between the spectrum of

48
fˆ† fˆ and the Pauli exclusion principle (which states that zero or one fermion may occupy a particular
quantum state).
Some optional (!) off-syllabus stuff you may find interesting
3.14* Numerical solutions of the Schrödinger equation By following the discussion given in
the lecture notes construct numerical solutions for the first 10 eigenstates |φn i of the Hamiltonian

p̂2 1
H= + mω 2 x̂2 + λx̂4 .
2m 2
4
for λ`
~ω = 0.1. You can download a Mathematica file for doing this from the course webpage.
Now use the eigenvectors to obtain an expression for the ground state of the harmonic oscillator
Hamiltonian (λ = 0) in terms of the eigenstates of H
N
X
|0i ≈ hφn |0i |φn i.
n=0

Now assume that we initially prepare our system in the state |Φ(0)i = |0i and then consider time
evolution under the Hamiltonian H. We have
N
X i
|Φ(t)i ≈ hφn |0i e− ~ En t |φn i. (303)
n=0

We now want to determine the probability density |hx|Φ(t)i|2 to find the particle at position x at
time t. To do this we express |Φ(t)i in terms of harmonic oscillator wave functions ψk (x)
N N ∞
X i X i X
hx|Φ(t)i ≈ hφn |0i e− ~ En t hx|φn i = hφn |0i e− ~ En t hx| |kihk|φn i
n=0 n=0 k=0
N X
N
X i
≈ hφn |0i e− ~ En t hk|φn i ψk (x). (304)
k=0 n=0

In the last step we have cut off the sum over k in the resolution of the identity, which is justified
because hk|φn ihφn |0i are negligible for large k. We have explicit expression for the harmonic oscillator
wave functions and know hk|φn i and En from our numerics. We therefore can plot P (x, t) = |hx|Φ(t)i|2
for any given time. In order to keep our discussion very general we note that we essentially have two
dimensionful quantities in our problem

• A time scale 1/ω.

• A length scale `.

We use these scales to introduce dimensionless variables parametrizing the time and position by x =
z`, t = τ /ω. The probability to observe our particle in the interval [x, x + dx] is P (x, t)dx = p(z, τ )dz,
where
p(z, τ ) = |hz`|Φ(τ /ω)i|2 `.
The nice thing is that p(z, τ ) no longer contains any dimensionful quantities
N X
e−z 2 /4 X N √ 2
−i(En /~ω)τ Hk (z/ 2)
p(z, τ ) ≈ hφn |0i hk|φn i e √ . (305)

(2π) 14 k!2k
k=0 n=0

Plot p(x, τ ) as a function of z for some values of τ .

49
Part III
Transformations

Hermann Weyl
“The goal of mathematics is the symbolic comprehension of
the infinite with human, that is finite, means.”

7 Transformations and Symmetries


A very important concept in QM is that of a transformation. Our QM system is described by a ket |ψi. We
now want to ask the question how |ψi changes if we move our quantum mechanical system by a distance
a, or rotate it by some angle around some axis. Of particular interest are transformations that leave our
system unchanged – these correspond to symmetries, which have been one of the most important organizing
principles of physics in the last century.
Aside 6: Active vs Passive Transformations
As our lectures follow the book by Binney and Skinner we will focus on transformations where
we change our QM system by e.g. moving it. These are call active transformations. There is an
equivalent viewpoint in which we leave our system unchanged, but transform our co-ordinate system.
Such transformations are called passive. The two kinds of transformations are related in a simple way.
For example, translating our system by a vector a is equivalent to moving our co-ordinate system by
−a.

7.1 Translations
If we move a quantum mechanical system in some state |ψi by a distance a we expect that the ket describing
it will change to some new ket |ψ 0 i. It turns out that we can obtain |ψ 0 i by acting with the translation
operator U (a)
|ψ 0 i = U (a)|ψi . (306)
To see this, let us consider a basis of position eigenstates |xi. On physical grounds these must transform
under a translation as
|xi −→ |x + ai. (307)
The transformed ket can be written in terms of momentum eigenstates as

d3 p
Z Z
i
|x + ai = 3
d p hp|x + ai |pi = e− ~ (x+a)·p |pi
(2π~)3/2
Z Z
− ~i a·p i
= 3
d p hp|xi e |pi = d3 p hp|xi e− ~ a·p̂ |pi
Z
− ~i a·p̂ i
= e d3 p hp|xi |pi = e− ~ a·p̂ |xi. (308)

50
This tells us that we have
i
|x + ai = U (a)|xi , U (a) = e− ~ a·p̂ .
(309)
As the three momentum operators commute we have

U (a)U † (a) = 1
, (310)

so U (a) is a unitary operator. By the same reasoning we have

U (a)U (b) = U (a + b) , U † (a) = U (−a), (311)

so translations form a group. Finally, because momentum eigenstates form a basis we can conclude that a
general state |ψi transforms under a translation as

|ψ 0 i = U (a)|ψi. (312)

Indeed, expanding |ψi in position eigenstates, we have


Z Z Z
|ψi = d3 xhx|ψi |xi −→ |ψ 0 i = d3 xhx|ψi |x + ai = U (a) d3 xhx|ψi |xi = U (a)|ψi. (313)

7.1.1 Expectation values


The expectation value of the three position operators in the translated state are
Z Z
0 0
hψ |x̂|ψ i = d x hψ |x̂|x ihx |ψ i = d3 x0 x0 |ψ 0 (x0 )|2
3 0 0 0 0 0

Z Z
3 0 0 0
= d x x |ψ(x − a)| = d3 x (x + a) |ψ(x)|2
2

= hψ|x̂ + a|ψi = hψ|x̂|ψi + a. (314)

This result is as expected: the average position has been shifted by a by our transformation. Using that
|ψ 0 i = U (a)|ψi and that in the above |ψi is arbitrary we conclude that

U † (a)x̂U (a) = x̂ + a.
(315)

To arrive at this conclusion we have used the following

Theorem 3 Let A and B be two operators. If for any state |ψi

hψ|A|ψi = hψ|B|ψi, (316)

then A = B.

Proof: Take |ψi = |χ1 i + c|χ2 i. Then by the assumption that the expectation values in |ψi are equal we
have
0 = hχ1 |A − B|χ1 i + |c|2 hχ2 |A − B|χ2 i + chχ1 |A − B|χ2 i + c∗ hχ2 |A − B|χ1 i. (317)
Using that the expectation values of A and B in |χ1 i and |χ2 i are equal this simplifies to

0 = chχ1 |A − B|χ2 i + c∗ hχ2 |A − B|χ1 i. (318)

Considering this equation for c = 1 and c = i we conclude that we must have

hχ1 |A − B|χ2 i = 0. (319)

51
As |χ1,2 i are arbitrary this implies that A = B.
As U (a) only involves the momentum operators (which commute with one another) we conclude that
[U (a), p] = 0 or equivalently
U † (a)p̂U (a) = p̂.
(320)
Hence expectation values of the momentum operator do not change under translations

hψ 0 |p̂|ψ 0 i = hψ|p̂|ψi. (321)

7.1.2 Wave functions


We can now ask how wave functions change under translations. This gives us information not only about the
average position but about the entire probability distribution. The original and translated wave functions
are
ψ(x) = hx|ψi , ψ 0 (x) = hx|ψ 0 i. (322)
They are related by
ψ 0 (x) = hx|U (a)|ψi = hx − a|ψi = ψ(x − a). (323)
Here we have used that U † (a) = U (−a) and

hx|U (a)|ψi = hψ|U † (a)|xi∗ = hψ|x − ai∗ = hx − a|ψi. (324)

An equivalent way of expressing the relation between wave functions is

ψ 0 (x + a) = ψ(x).
(325)

This makes perfect sense: the value of the new wave function at the new position equals the value of the
original wave function at the original position. The probability densities are related by

|ψ(x − a)|2 = |ψ 0 (x)|2 , (326)

expressing the fact that the probability of finding the translated system at position x is the same as finding
the original system at position x − a.

7.1.3 Translational Invariance and momentum as a “good quantum number”


As we have seen the Hamiltonian plays a special role in Quantum Mechanics because it determines the time
evolution of quantum states. Because of this its behaviour under translations is particularly important. Let
H be the Hamiltonian of our system. We call our system translationally invariant if there exists a basis of
energy eigenstates |En i such that for any state |ψi

|hEn |ψi|2 = |hEn |U (a)|ψi|2 . (327)

This condition is equivalent to energy measurements being unaffected by translations. Eqn (327) implies
that the states |En i are eigenstates of U (a), which in turn implies that U (a) and H commute

HU (a) = U (a)H. (328)

The condition of translational invariance can thus be cast in the form

U † (a)HU (a) = H.
(329)

In the above discussion the vector a has been arbitrary – our transformation depends on a continuous
parameter a and (329) expresses the fact that H possesses a continuous symmetry.

52
Taking it infinitesimally small we have
i
U (dx) = 1 − dx · p (330)
~
This allows us to recast translational invariance as the requirement that the Hamiltonian commutes with
the momentum operators
[H, p] = 0. (331)
This then implies that momentum and energy are compatible observables and there exists a simultaneous
basis of eigenstates. This in turn means that we can use the momentum eigenvalues to label the energy
eigenstates. We say that momentum is a good quantum number.
Let us look at a simple example of all this: a free particle in three spatial dimensions with Hamiltonian

p̂2 p̂2 p̂2y p̂2


H= = x + + z . (332)
2m 2m 2m 2m
Clearly this is translationally invariant

[p̂a , H] = 0 , a = x, y, z. (333)

Momentum is therefore a good quantum number and there is a basis of simultaneous eigenstates of energy
and momentum, namely that of momentum eigenstates

p2x + p2y + p2z


H|px , py , pz i = |px , py , pz i. (334)
| 2m
{z }
E(px ,py ,pz )

This principle generalizes: if we have a set of Hermitian operators I (n) (n = 1, . . . , N ) such that

[I (n) , I (m) ] = 0 = [I (n) , H] , 1 ≤ n, m ≤ N, (335)

there exists a basis of simultaneous eigenstates |E, λi = |E, λ(1) , . . . , λ(N ) i of all these operators

I (n) |E, λi = λ(n) |E, λi ,


H|E, λi = E|E, λi . (336)

We see that we can use the eigenvalues λ(j) to label these states! You may ask why labelling the states by
just the energy is not enough. The answer is that

• the extra labels always tell us that we are dealing with an eigenstate not only of energy, but also of
the other observables I (n) . This is clearly useful information!

• the energy eigenvalues are in general degenerate, i.e. there are several eigenstates with the same
eigenvalue. Just knowing the energy in such situations is insufficient for identifying energy eigenstates;

7.2 Reflections (Parity)


Parity plays a very important role in Quantum Field The-
ory and the Standard Model of Particle Physics.

C.N. Yang and T.D. Lee (Nobel Prize in Physics 1957)


C.S. Wu (Wolf Prize in Physics 1978)

53
A very important transformation is spatial reflection or parity. It acts on position eigenstates as
P̂ |xi = | − xi. (337)
So if the system was originally at position x with certainty, it will be at position −x after the parity
transformation. The parity operator is Hermitian P̂ = P̂ † because
hx0 |P̂ |xi = hx0 | − xi = δ (3) (x0 + x) = hx|P̂ |x0 i∗ . (338)
If we carry out the parity transformation twice we return to where we started. Therefore
P̂ 2 = 1 , (339)
which together with P̂ = P̂ † implies that P̂ is a unitary operator. Using (337) and
Z
x̂ = d3 x x |xihx|, (340)

we can work out how the parity operator acts on the position operator

P̂ x̂P̂ = −x̂.
(341)
Similarly we find
∂ (3)
hx0 |P̂ p̂a P̂ |xi = h−x0 |p̂a | − xi = i~ δ (x − x0 ) = −hx0 |p̂a |xi, (342)
∂xa
and hence
P̂ p̂P̂ = −p̂.
(343)
The wave function of a parity-transformed state is
ψ 0 (x) = hx|ψ 0 i = hx|P̂ |ψi = h−x|ψi = ψ(−x). (344)
By following through the same considerations as for translations we term a quantum system parity invariant
if
[H, P̂ ] = 0. (345)
Parity is an example of a discrete symmetry in QM – if we repeat the transformation twice we return
to where we started. In parity invariant systems there exists a basis of simultaneous eigenstates of the
Hamiltonian and the energy operator. As P̂ 2 = 1 the eigenvalues of P̂ can only be ±1. The corresponding
eigenstates are called parity-even and parity-odd states. We have encountered parity-symmetric systems
before, when we studied Hamiltonians of the form
p̂2
H= + V (x̂). (346)
2m
Parity invariance requires
p̂2
H = P̂ H P̂ = + V (−x̂) ⇒ V (−x̂) = V (x̂). (347)
2m
This is the case for the harmonic oscillator and various of the potential step problems we have considered
earlier. Let us now consider the implications of parity invariance for the infinite square well potential
considered in section 5.2. The Hamiltonian is invariant under a parity transformation around the centre of
the well x = a/2 and we therefore have a simultaneous basis of energy and parity eigenstates
Hψn (x) = En ψn (x) , Pa/2 ψn (x) = pn ψn (x) . (348)
Here we have denoted the position representation of the parity transformation operator by Pa/2 . We know
that the parity eigenvalues can only be ±1, and hence
P̂a/2 ψn (x) = ψn (a − x) = pn ψn (x), (349)
which tells us that the wave functions of energy eigenstates must be either symmetric or antisymmetric
around a/2. This is indeed the case as we have seen before.

54
Figure 10: Wave functions for the 3 lowest energy states in the infinite square well potential.

7.3 Rotations
We now turn to rotations. In QM there is a subtlety associated with rotations because of the existence of
spin. This is an intrinsic property of most particles and we will discuss it later. For now we restrict our
discussion to rotations for a spinless quantum mechanical particle.
Let’s consider a rotation around the z-axis by an infinitesimal angle dα

x0 = x − y dα ,
y 0 = y + x dα ,
z 0 = z. (350)

NB 6
This is the infinitesimal version of
 0   
x cos α − sin α 0 x
y 0  =  sin α cos α 0 y  . (351)
z0 0 0 1 z

Let us parametrize this rotation in terms of the vector ez dα, where the direction of the vector denotes
the rotation axis and its magnitude the angle of rotation. Position eigenstates should therefore transform
as
U (ez dα)|xi = |x0 i. (352)
We can work out an explicit expression for U (ez dα) by using the results we obtained for translations
 
i
|x + dxi = 1 − dx · p̂ |xi. (353)
~

To reproduce (350) we require dx = (−ydα, xdα, 0), which depends on x and y itself and we therefore should
take
i i
U (ez dα) = 1 − (−ŷ p̂x + x̂p̂y ) dα ≡ 1 − L̂z dα. (354)
~ ~
Here we have defined the operator for the z-component of orbital angular momentum

L̂z = x̂p̂y − ŷ p̂x .


(355)

In order to carry out a rotation by a finite angle we should consider

α N
 
h α iN i i
U (ez α) = lim U (ez ) = lim 1 − L̂z = e− ~ αL̂z . (356)
N →∞ N N →∞ ~ N

55
The last step can be proved in essentially the same way as the identity for numbers
h x iN
lim 1 + = ex . (357)
N →∞ N
It is straightforward to repeat the above analysis for rotations around the x or y axis. These are induced
by the x and y components of the orbital angular momentum

L̂x = ŷ p̂z − ẑ p̂y ,


L̂y = ẑ p̂x − x̂p̂z . (358)

A rotation by an angle α around a general direction n (where n is a vector of unit length) is generated by
the operator
i
U (nα) = e− ~ αn·L̂ .
(359)

8 Heisenberg picture and Heisenberg equation of motion


Recall that the TDSE can be written as
d|ψ(t)i
i~ = H|ψ(t)i. (360)
dt
You can check by taking the derivative with respect to time that the formal solution of this equation is (for
time-independent Hamiltonians)
i
|ψ(t)i = e− ~ Ht |ψ(0)i. (361)
The operator
i
U (t) = e− ~ Ht
(362)
is called time-evolution operator. As H is Hermitian U (t) is unitary

U (t)U † (t) = 1. (363)

This shows that quantum mechanical time evolution can be viewed as a unitary transformation of states. So
far our discussion has been based on time-independent operators and time evolving states. This is known as
the Schrödinger picture of QM. In daily quantum mechanical practice the objects of interest are not states
but rather matrix elements of operators
hψ(t)|O|φ(t)i. (364)
In the Schrödinger picture we work out the states at time t and then use them to obtain the desired matrix
element. Using the time evolution operator we can write our matrix element as

hψ(t)|O|φ(t)i = hψ(0)|U † (t)OU (t)|φ(0)i. (365)

Defining a time-dependent operator


OH (t) = U † (t)OU (t), (366)
we can write matrix elements as
hψ(0)|OH (t)|φ(0)i. (367)
This is known as the Heisenberg picture: here we fix a basis of quantum states once and for all, but operators
evolve in time. This turn out to be often a more convenient approach! The time evolution of operators is
governed by the Heisenberg equation of motion

d i
OH (t) = [H, OH (t)] .
dt ~ (368)

56
To see this we simply use that HU (t) = U (t)H (which holds as the Hamiltonian commutes with itself) and

d † i d i
U (t) = HU † (t) , U (t) = − U (t)H . (369)
dt ~ dt ~

Homework 8: Transformations and Heisenberg Equations of Motion

4.1 Reflection symmetry around a point x0


Let Px0 be the operator that induces reflections around a point x0 . Argue that

P̂x0 |x0 + xi = |x0 − xi ,


P̂x0 x̂P̂x0 = 2x0 1 − x̂ ,
P̂x0 p̂P̂x0 = −p̂, (370)

and that the transformed wave function fulfils

ψ 0 (x) = ψ(2x0 − x). (371)


p̂2
4.2 For which potentials V is the Hamiltonian H = 2m + V (x̂) translationally invariant?

4.3 Show that the orbital angular momentum operators L̂a (a = x, y, z) are Hermitian.

4.4 A spinless QM system is called rotationally invariant if its Hamiltonian commutes with the orbital
angular momentum operators [H, L̂a ] = 0, a = x, y, z. Rotational invariance expresses the fact the
energy measurements remain unchanged under rotations of the system. If the Hamiltonian commutes
only with L̂z it is called invariant under rotations around the z-axis. Consider Hamiltonians of the
form
p̂2
H= + V (x̂). (372)
2m
Show that potentials that depend only on the distance ||x|| lead to rotationally symmetric Hamil-
tonians, while potentials that depend on x and y only through the combination x2 + y 2 leads to
Hamiltonians that invariant under rotations around the z-axis.

4.5 Show that h x iN


lim 1+ = ex . (373)
N →∞ N
Give arguments that an analogous formula holds for operators.

4.6 Heisenberg equations of motion for the SHO


Derive the Heisenberg equations of motion for the creation and annihilation operators in the simple
harmonic oscillator and show that their solution is

a(t) = a(0)e−iωt , a† (t) = a† (0)eiωt . (374)

From these, obtain equations of motion for the position and momentum operators. Comment on the
relation of your results to Ehrenfest’s theorem.

57
Part IV
Angular Momentum
We have seen above that angular momentum generates rotations in QM. For spinless particles rotations are
induced by the orbital angular momentum operators, which can be written compactly as

L̂i = ijk x̂j p̂k . (375)

NB 7
In order to arrive at this compact set of notations we have made the identifications

x̂ = x̂1 , ŷ = x̂2 , ẑ = x̂3 , p̂x = p̂1 , p̂y = p̂2 , p̂z = p̂3 . (376)

Using the commutation relations for position and momentum operators [x̂j , p̂k ] = i~δj,k we can derive
commutation relations between the components of angular momentum

[L̂j , L̂k ] = i~jkl L̂l .


(377)

Let’s see how this works for one example:

[L̂x , L̂y ] = [ŷ p̂z − ẑ p̂y , ẑ p̂x − x̂p̂z ] = [ŷ p̂z , ẑ p̂x ] + [ẑ p̂y , x̂p̂z ]
= ŷ p̂x [p̂z , ẑ] + p̂y x̂[ẑ, p̂z ] = −i~ŷ p̂x + i~p̂y x̂ = i~L̂z . (378)

Here we have used in the first line that

[A + B, C + D] = [A, C] + [A, D] + [B, C] + [B, D] (379)

and
[ŷ p̂z , x̂p̂z ] = 0 = [ẑ p̂y , ẑ p̂x ]. (380)
In the second line we have used e.g. that

ŷ p̂z ẑ p̂x = ŷ p̂x p̂z ẑ , (381)

which follows from the fact that p̂x commutes with ẑ and p̂z .
Aside 7: Angular momentum and SU (2)

he commutation relations (377) give rise to a mathematical structure known as a Lie algebra. In the
case of angular momentum this algebra is called SU (2).

9 Rotational invariance and angular momentum as a good quantum


number
We have seen above that the angular momentum operators L̂i induce rotations. A QM system with Hamil-
tonian H is called rotationally symmetric if the results of energy measurements are insensitive to rotations.
This is equivalent to the requirement
U (nα)H = HU (nα) , (382)
where the rotation axis n and angle α are arbitrary. By virtue of (359) this is equivalent to the requirement
that H commutes with the angular momentum operators

[H, L̂a ] = 0 , a = x, y, z. (383)

58
In analogy with translations we would like to use angular momentum as a good quantum number to label
energy eigenstates. In contrast to the momentum operators relevant for translational invariance angular
momentum operators do not commute, cf. (377). It is therefore impossible to find a basis of simultaneous
eigenstates of different angular momentum operators. However, given that [H, L̂a ] = 0 any function of the
angular momentum operators will also commute with H! In particular we have

[H, L̂2 ] = 0 , L̂2 = L̂2x + L̂2y + L̂2z . (384)

Moreover we have
[L̂2 , L̂j ] = 0. (385)
For example we have

[L̂2 , L̂z ] = [L̂2x + L̂2y , L̂z ] = L̂x [L̂x , L̂z ] + [L̂x , L̂z ]L̂x + L̂y [L̂y , L̂z ] + [L̂y , L̂z ]L̂y
= −i~L̂x L̂y − i~L̂y L̂x + i~L̂y L̂x + i~L̂x L̂y = 0. (386)

The maximal set of operators involving angular momentum that commute with one another and with the
Hamiltonian is L2 and any one component L̂j . It is customary to choose this to be L̂z . Note that this is not
a restriction for a rotationally invariant system as we can always choose our co-ordinate system such that
the z-axis is along any direction we want.
To summarize, for a rotationally invariant system we have

[H, L̂2 ] = 0 = [H, L̂z ] = [L̂2 , L̂z ].


(387)

This means that the eigenvalues of L̂z and L̂2 are good quantum numbers and can be used to label energy
eigenstates. This will be very useful and in order to exploit this fact we construct a basis of simultaneous
eigenstates of L̂z and L̂2 next.

10 Eigenstates of L2 and L̂z


As L̂2 and L̂z commute there exists a basis of simultaneous eigenstates

L̂2 |β, mi = β~2 |β, mi ,


L̂z |β, mi = m~|β, mi . (388)

We will assume that these can be normalized

hβ, m|β 0 , m0 i = δβ,β 0 δm,m0 . (389)

Importantly m must be integers, because a rotation by 2π around the z-axis must be equal to the identity
2πi
U (2πez ) = e− ~
L̂z
= 1. (390)

Acting with this on an L̂z eigenstate shows that e2πim = 1, i.e. m are integers. In order to learn more about
the structure of these states we now employ a procedure that is somewhat similar to the use of creation and
annihilation operators for the harmonic oscillator. We start by defining so-called ladder operators

L̂± = L̂x ± iL̂y , L̂†± = L̂x ∓ iL̂y . (391)

Using the commutation relations (377) we find

[L̂± , L̂2 ] = 0 , [L̂± , L̂z ] = ∓~L̂± . (392)

59
Acting with ladder operators on eigenstates gives other eigenstates:

L̂2 L̂± |β, mi = β~2 L̂± |β, mi ,


   
L̂z L̂± |β, mi = [L̂z , L̂± ] + L̂± L̂z |β, mi = ±~L̂± + L̂± L̂z |β, mi = (m ± 1)~L̂± |β, mi . (393)

These tell us that L̂±i|β, mi is a simultaneous eigenstate of L̂2 and L̂z with eigenvalues ~2 β and ~(m ± 1)
respectively. Writing
L̂± |β, mi = α± |β, m ± 1i , (394)
we can work out α± as follows. On the one hand we have

hβ, m|L̂∓ L̂± |β, mi = hβ, m ± 1|α± α± |β, m ± 1i = |α± |2 , (395)

while on the other hand

hβ, m|L̂∓ L̂± |β, mi = hβ, m|L̂2x + L̂2y ± i[L̂x , L̂y ]|β, mi = hβ, m|L̂2 − L̂2z ∓ ~L̂z |β, mi
= β~2 − ~2 m2 ∓ ~2 m = β~2 − ~2 m(m ± 1). (396)

Combining (395) and (396) and using that the overall phase of the eigenstates can be chosen freely we
conclude that p
L̂± |β, mi = ~ β − m(m ± 1)|β, m ± 1i. (397)
What we mean by this is that without loss of generality we may define the eigenstate |β, m ± 1i through
this relation. A constraint on the allowed range of the eigenvalues ~m can be obtained by noting that as
L̂†i = L̂i we have hψ|L̂2i |ψi = hφ|φi ≥ 0, where |φi = L̂i |ψi. As a consequence we have

β~2 = hβ, m|L̂2 |β, mi = hβ, m|L̂2x + L̂2y + L̂2z |β, mi ≥ hβ, m|L̂2z |β, mi = ~2 m2 . (398)

This implies that we cannot act indefinitely with ladder operators in order to produce new angular momen-
tum eigenstates, but that eventually we must obtain zero once we have reached maximal/minimal values of
m defined by
β − mmax (mmax + 1) = 0 , β − mmin (mmin − 1) = 0 . (399)
The only solution to these requirements with mmin ≤ mmax is

mmin = −mmax . (400)

At this point it is customary to introduce notations ` = mmax and use the integer quantum number ` =
0, 1, 2, . . . rather than β to label the states:

L̂2 |`, mi = ~2 `(` + 1)|`, mi ,


L̂z |`, mi = ~m|`, mi , (401)
p
L̂± |`, mi = ~ `(` + 1) − m(m ± 1)|`, m ± 1i.

The structure of eigenstates is shown in Fig. There are 2` + 1 eigenstates with the same L̂2 quantum number
`, but different L̂z quantum numbers m, which range in integer steps between −` and `.

10.1 Matrix representations


As we have seen before, given a basis of states we can obtain matrix representations of operators. Let
us see how this works for angular momentum operators. A basis of states is given by {|`, mi} with m =
−`, −` + 1, . . . , ` − 1, ` and
h`, m|`0 , m0 i = δ`,`0 δm,m0 . (402)

60
Figure 11: Angular momentum eigenstates of a “spin-`” representation of angular momentum.

To obtain a matrix representation we wish to work out the matrix elements

h`, m|L̂j |`0 , m0 i . (403)

Importantly it follows from (401) that h`, m|L̂j |`0 , m0 i ∝ δ`,`0 . This implies that if we order our basis states
as {|0, 0i, |1, 1i, |1, 0i, |1, −1i, |2, 2i, |2, 1i, |2, 0i, |2, −1i, |2, −2i, . . . } the angular momentum operators will be
of “block-diagonal” form, cf. Fig. 12. The blocks can be labelled by the L̂2 quantum number ` and have

Figure 12: Angular momentum eigenstates of a “spin-`” representation of angular momentum.

dimension 2` + 1. The blocks are known as spin-` representations of angular momentum.

10.1.1 Spin-1 representation


It is instructive (and required by the syllabus) to work out the simplest block, which corresponds to ` = 1.
To ease notations we will assume that we know that for our QM system we have ` = 1, so that this is in fact

61
the only block. Given that the basis states are eigenstates of L̂z with known eigenvalues we can immediately
write down the corresponding matrix
 
1 0 0
L̂z = ~ 0 0 0  .
0 0 −1
(404)

In order to obtain the representations of L̂x and L̂y it is convenient to consider L̂± . It follows from (401)
that
h1, m0 |L̂± |1, mi = ~ 2 − m(m ± 1)δm0 ,m±1 .
p
(405)
This results in the following matrix representations
 √   
0 2 √0 √0 0 0
L̂+ = ~ 0 0 2 , L̂− = ~  2 √0 0 . (406)
0 0 0 0 2 0

Using that L̂± = L̂x ± iL̂y we conclude that


   
0 1 0 0 −i 0
~ ~
L̂x = √ 1 0 1 , L̂y = √  i 0 −i .
2 0 1 0 2 0 i 0
(407)

You can check by explicitly carrying out the matrix multiplications that these matrices fulfil the angular
momentum commutation relations (377). We say that the matrices furnish a spin-1 representation of the
angular momentum algebra.

10.2 Measurements
Now that we have worked out eigenstates and eigenvalues of angular momentum we can address questions
regarding angular momentum measurements. Apart from its physical relevance this topic has a habit of
cropping up in exam question, so it is perhaps worthwhile to spend a few lines on it. The basic principles
of QM of course still apply. If we know that our system in a state |ψi we should express it as a linear
superposition of angular momentum eigenstates, i.e.
X
|ψi = h`, m|ψi |`, mi. (408)
`,m

Let us assume that we now measure the z-component of angular momentum and obtain the result m0 .
Recalling that |m| ≤ ` this tells us that after our measurement the system can be in any of the states |`, m0 i
with ` ≥ |m0 |, i.e. after the measurement the normalized ket describing our system is
1 X X
|ψafter i = h`, m0 |ψi |`, m0 i , N2 = |h`, m0 |ψi|2 . (409)
N
`≥|m0 | `≥|m0 |

The interesting aspect here is that the measurement does not select a single angular momentum eigenstate!
The probability of obtaining the outcome m0 when measuring L̂z is given by
X
P (m0 ) = |h`, m0 |ψi|2 . (410)
`≥m0

To see this imagine you are measuring L̂2 simultaneously. Then the probability of the measurement outcome
(`0 , m0 ) is |h`0 , m0 |ψi|2 , but as we have no information about `0 we need to sum these probabilities of all
possible values `0 .

62
Another way to understand this is as follows: Previously we talked about measurements of observables
with non-degenerate eigenvalues in a state |ψi. We worked out the probability for a particular measurement
outcome λ by writing |ψi as a linear combination of a normalized ket |ψλ i in which the measurement outcome
was certain to be λ and an orthogonal “rest” |ψ 0 i

|ψi = A|ψλ i + |ψ 0 i . (411)

The probability of measuring λ was then |A|2 = |hψλ |ψi|2 and the system was in the normalized state |ψλ i
after the measurement. In the degenerate case we do exactly the same: We decompose |ψi as
1 X X
|ψi = N h`, m0 |ψi |`, m0 i + h`, m|ψi |`, mi, (412)
N
`≥|m0 | `,m6=m0
| {z }
|ψm0 i

The probability of obtaining m0 is


|hψ|ψm0 i|2 = N 2 (413)
and after the measurement the system is in the normalized state |ψm0 i.

11 Position representation and angular momentum


As we have seen before, the position representation can be very useful for analyzing Hamiltonians of the
form
p̂2
H= + V (x̂). (414)
2m
In particular we saw that the Schrödinger equation

i~ |ψ(t)i = H|ψ(t)i (415)
∂t
can be re-cast as a partial differential equation for the wave function:
∂ ∂ψ(x, t)
i~ hx|ψ(t)i = hx|H|ψ(t)i ⇔ i~ = Hψ(x, t) , (416)
∂t ∂t
where ψ(x, t) = hx|ψ(t)i and
~2 2
H=− ∇ + V (x) . (417)
2m
An analogous construction holds for the angular momentum operators as we will now show. Let us consider
the position representation of the state L̂j |ψi

hx|L̂j |ψi = jkl hx|x̂k p̂l |ψi . (418)

Using that x̂k |xi = xk |xi and


∂ψ(x)
hx|p̂l |ψi = −i~ , (419)
∂xl
we find
∂ψ(x)
hx|L̂j |ψi = −i~jkl xk ≡ L̂j ψ(x). (420)
∂xl
Here L̂j are differential operators

L̂j = −i~jkl xk .
∂xl
(421)
So when working with wave functions the angular momentum operators are given by (421).

63
11.1 Spherical polar co-ordinates
Rather than using Cartesian co-ordinates we can express the position eigenvalues in spherical polar co-
ordinates

x = r sin θ cos φ ,
y = r sin θ sin φ ,
z = r cos θ. (422)

We denote the corresponding position eigenstates as |r, θ, φi and the wave-function associated with a state
|ψi would be
ψ(r, θ, φ) = hr, θ, φ|ψi. (423)

NB 8
In the way we have introduced the states they amount to a mere change of labelling for the usual
position eigenstates |xi. This however has important ramifications for their normalization: let (r, θ, φ)
and (r0 , θ0 , φ0 ) be parametrizations of x and x0 respectively. Then

δ(r − r0 )δ(θ − θ0 )δ(φ − φ0 )


hx|x0 i = hr, θ, φ|r0 , θ0 , φ0 i = δ (3) (x − x0 ) = . (424)
r2 sin θ
An easy way to see that the extra factor in the denominator must be there is by integrating the last
equation over x Z
1 = dxdydz δ (3) (x − x0 ) (425)

and note that dxdydz = r2 sin θdrdθdφ. Similarly the normalization condition for wave functions (of
bound states) becomes
Z Z Z
1 = d x|ψ(x)| = d x|hx|ψi| = drdθdφ r2 sin θ| hr, θ, φ|ψi |2
3 2 3 2
(426)
| {z }
ψ(r,θ,φ)

So remember the volume element in spherical polar co-ordinates!

The differential operators L̂j can be readily transformed to spherical polar co-ordinates using the chain
rule, e.g.
∂ ∂r ∂ ∂θ ∂ ∂φ ∂
= + + . (427)
∂x ∂x ∂r ∂x ∂θ ∂x ∂φ
The required partial derivatives can be worked out using e.g.
p
p y x2 + y 2
r = x2 + y 2 + z 2 , tan φ = , sin θ = . (428)
x r
This gives
∂ ∂ cos φ cos θ ∂ sin φ ∂
= cos φ sin θ + − ,
∂x ∂r r ∂θ r sin θ ∂φ
∂ ∂ sin φ cos θ ∂ cos φ ∂
= sin φ sin θ + + ,
∂y ∂r r ∂θ r sin θ ∂φ
∂ ∂ sin θ ∂
= cos θ − . (429)
∂z ∂r r ∂θ

64
Combining (422) and (429) we can express the differential operators L̂j in spherical polar co-ordinates
 
∂ ∂
L̂x = −i~ − sin φ − cot θ cos φ ,
∂θ ∂φ
 
∂ ∂
L̂y = −i~ cos φ − cot θ sin φ , (430)
∂θ ∂φ

L̂z = −i~ .
∂φ

These allow us to work out how the total angular momentum operator acts on wave functions

hr, θ, φ|L̂2 |ψi = L̂2 ψ(r, θ, φ) ,


1 ∂2
   
2 2 1 ∂ ∂
L̂ = −~ sin θ + . (431)
sin θ ∂θ ∂θ sin2 θ ∂φ2

11.2 Spherical harmonics


The differential operators L̂2 and L̂z only involve the angular variables by virtue of (401) their eigenvalue
equations reads
L̂2 Y`,m (θ, φ) = ~2 `(` + 1)Y`,m (θ, φ) ,
(432)
L̂z Y`,m (θ, φ) = ~mY`,m (θ, φ) .
The eigenfunctions Y`,m are called spherical harmonics. We can work out their explicit expressions by solving
the differential equations (432). The lowest spherical harmonic fulfils the equations

L̂2 Y0,0 (θ, φ) = 0 = L̂z Y0,0 (θ, φ) . (433)

These are solved by Y0,0 (θ, φ) = const. The constant is fixed by the normalization condition
Z π Z 2π
dθ sin θ dφ |Y`,m (θ, φ)|2 = 1 , (434)
0 0

where the sin θ arises because the volume element in spherical polar co-ordinates is dV = r2 sin θdr dθ dφ.
This then leads to
1
Y0,0 (θ, φ) = √ .

(435)
The ` = 1 spherical harmonics fulfil the differential equations
1 ∂2
   
1 ∂ ∂
− sin θ + Y1,m (θ, φ) = 2Y1,m (θ, φ) ,
sin θ ∂θ ∂θ sin2 θ ∂φ2

Y1,m (θ, φ) = imY1,m (θ, φ) . (436)
∂φ
The second equation tells us that the φ-dependence is

Y1,m (θ, φ) ∝ eimφ . (437)

Substituting this into the first equation we can rewrite it as

[sin θ∂θ (sin θ∂θ ) − m2 + 2 sin2 θ]Y1,m (θ, φ) = 0. (438)

This allows us to infer the θ-dependencies and conclude that

Y1,±1 (θ, φ) = A sin θ e±iφ , Y1,0 (θ, φ) = B cos θ . (439)

65
Finally we fix A and B through the normalization2 to obtain
r r
6 3
Y1,0 (θ, φ) = cos θ , Y1,±1 (θ, φ) = ∓ sin θ e±iφ .
8π 8π
(440)

Homework 9: Orbital Angular Momentum


4.7
(a) Show by explicit calculation using L̂i = ijk x̂j p̂k that [L̂i , x̂j ] = i~ijk x̂k and [L̂i , p̂j ] = i~ijk p̂k .
(b) Evaluate [L̂x , L̂y ] by writing L̂y = ẑ p̂x − x̂p̂z and using the results from part (a) of this question.
(c) Show that in the position representation we have

hx|L̂i |ψi = L̂i ψ(x) , (441)

and obtain explicit expressions for the differential operators L̂i . Show that for any differentiable
function f
(L̂x L̂y − L̂y L̂x )f (x, y, z) = i~L̂z f (x, y, z).
Since this holds for any f it can be written as an operator equation [L̂x , L̂y ] = L̂x L̂y − L̂y L̂x = i~L̂z ,
as you will have found in part (b). Deduce similar expressions for [L̂y , L̂z ] and [L̂z , L̂x ].
(d) Defining L̂2 = L̂2x + L̂2y + L̂2z , show that (Hint: remember [Â, B̂ Ĉ] = B̂[Â, Ĉ] + [Â, B̂]Ĉ)

[L̂x , L̂2 ] = [L̂y , L̂2 ] = [L̂z , L̂2 ] = 0.

(e) Show that in spherical polar co-ordinates the differential operators L̂i take the form
∂ ∂ ∂ ∂ ∂
L̂x = i sin φ + i cot θ cos φ , L̂y = −i cos φ + i cot θ sin φ , L̂z = −i . (442)
∂θ ∂φ ∂θ ∂φ ∂φ

4.8 (a) Verify that the three functions cos θ, sin θ eiφ and sin θ e−iφ are all eigenfunctions of L̂2 and L̂z .

(b) Find normalization constants N for each of the above functions so that
Z 2π Z π
dφ dθ sin θ N 2 |ψ(θ, φ)|2 = 1.
0 0

(c) Once normalized, these functions are called spherical harmonics and given the symbol Y`m (θ, φ).
Hence deduce that your results are consistent with the functions:
r r r
3 3 −1 3
0
Y1 (θ, φ) = cos θ; 1
Y1 (θ, φ) = − iφ
sin θ e ; Y1 (θ, φ) = sin θ e−iφ .
4π 8π 8π
(Note, you can’t use this method to get the signs of Y10 , Y11 and Y1−1 . The minus sign in Y11 can be
deduced by using a raising operator L̂+ on Y10 . This is not required.)

(d) Rewrite these functions in terms of Cartesian variables [x = r sin θ cos φ, y = r sin θ sin φ,
z = r cos θ]. Sketch |Y10 |2 , |Y11 |2 and |Y1−1 |2 . (They are angular functions, so keep r fixed and look
only at the angle dependence. A cross section in the x–z plane will do. Why?)

4.9 The angular part of a system’s wavefunction is



hθ, φ|ψi ∝ ( 2 cos θ + sin θ e−iφ − sin θ eiφ ).

2
As usual this does not allows us to determine the overall phase of the wave function, but as this is not observable we
can fix it as we like. The phases in (440) are chosen in order to reproduce the definition of the spherical harmonics from the
mathematical literature.

66
What are the possible results of measurement of (a) L̂2 , and (b) L̂z , and their probabilities? What
is the expectation value of L̂z ?

4.10 A system’s wavefunction is proportional to sin2 θ e2iφ . What are the possible results of
measurements of (a) L̂z and (b) L̂2 ?

4.11 A system’s wavefunction is proportional to sin2 θ. What are the possible results of measurements
of (a) L̂z and (b) L̂2 ? Give the probabilities of each possible outcome.

4.12 A particle of mass m is described the Hamiltonian

~2 2 e2
Ĥ = − ∇ − − eE x̂.
2m 4π0 r

(a) What is the physical origin of the last term in Ĥ?

(b) Which of the observables represented by the operators L̂2 , L̂x , L̂y and L̂z are constants of the
motion assuming (i) E = 0; (ii) E 6= 0 (Hint: Use the results for [L̂i , x̂] from 4.7.)

4.13 Show that L̂i commutes with x̂ · p̂.

11.3 Spherically symmetric potentials


An important class of problems involves potentials with spherical symmetry, i.e. potentials depend only on
the distance r
p̂2
H= + V (r̂) , r̂2 = x̂2 + ŷ 2 + ẑ 2 . (443)
2m
This Hamiltonian is rotationally invariant, which means that we can use the angular momentum quantum
numbers ` and m to label energy eigenstates. Let’s denote the corresponding simultaneous eigenstates by
|n, `, mi, where we introduced a label n to allow for the possibility that there will be energy eigenstates with
the same values of ` and m but different energies
H|n, `, mi = En,`,m |n, `, mi. (444)
The TISE then takes the following form in the position representation in spherical polar co-ordinates
~2 2
 
hr, θ, φ|H|n, `, mi = En,`,m hr, θ, φ|n, `, mi ⇔ − ∇ + V (r) ψn,`,m (r, θ, φ) = En,`,m ψn,`,m (r, θ, φ) ,
2m
(445)
where ψn,`,m (r, θ, φ) = hr, θ, φ|n, `, mi and
1 ∂2
     
2 1 ∂ 2 ∂ 1 1 ∂ ∂
∇ = 2 r − 2 − sin θ − . (446)
r ∂r ∂r r sin θ ∂θ ∂θ sin2 θ ∂φ2
Comparing (446) with (431) we observe that

1 L̂2
 
2 1 ∂ 2 ∂
∇ = 2 r − 2 2.
r ∂r ∂r r ~
(447)
This implies that for spherically symmetric potentials we can solve the TISE for the wave function by
separation of variables
ψn,`,m (r, θ, φ) = Rn,` (r)Y`,m (θ, φ).
(448)

67
Substituting (448) into the TDSE we obtain an equation for the radial wave function Rn,` (r) only

p̂2r ~2 `(` + 1)
 
+ + V (r) Rn,` (r) = En,`,m Rn,` (r), (449)
2m 2mr2

where we have defined the radial momentum operator


 
∂ 1
p̂r = −i~ + . (450)
∂r r

Eqn (449) is sometimes called radial Schrödinger equation. It has a nice physical interpretation: the term
p̂2r /2m is the kinetic energy due to radial motion, while ~2 `(` + 1)/2mr2 is the kinetic energy associated with
tangential motion. One immediate implication of (449) is that the energy eigenvalues are in fact independent
of the quantum number m. This means that in rotationally invariant problems we always have degenerate
energy eigenvalues.
Now you see why angular momentum eigenstates and eigenvalues are so important in QM: they solve
the angular part of the Schrödinger equation for any rotationally invariant problem!

12 Angular momentum and magnetic moments


Let us consider a charged particle moving in a constant magnetic field B. The corresponding vector potential
is
1
A(x) = B × x. (451)
2
The Hamiltonian for this problem is given by
2
p̂ − eA(x̂) p̂2
H= = − e [A(x̂) · p̂ + p̂ · A(x̂)] + e2 A2 (x̂) . (452)
2m 2m
Let’s assume that we can neglect the A2 term (which is justified in the context of atoms we are interested
in here). Then the Hamiltonian can be written as

p̂2 e
H= − B · L̂ , (453)
2m 2m

where L̂ is a vector made from the three angular momentum operators. This is just what we would have if
the charged particle induced a magnetic moment proportional to its angular momentum

e
µ= L̂.
2m (454)

Let us now put our magnetic field along the z-direction

p̂2 eB
H= − L̂z . (455)
2m 2m
We have
[H, p̂2 ] = 0 = [H, L̂z ] = [p̂2 , L̂z ] , (456)
and therefore can use the kinetic energy eigenvalue EK and the L̂z quantum number m to label energy
eigenstates. Let us now consider two eigenstates with the same kinetic energy but opposite L̂z eigenvalues
±n (n ≥ 0). We have  
eBn
H|EK , ±ni = Ek ∓ |EK , ±ni . (457)
2m

68
Figure 13: Setup for the Stern-Gerlach experiment.

This tells us that the energy of |EK , ni decreases if we increase B, while the energy |EK , −ni increases.
Classically the force on a particle is minus the gradient of its potential energy. This suggests that if our
magnetic field was slightly varying in space, the particle in the |EK , ni state would move towards regions of
larger magnetic field, while in the state |EK , −ni the particle would move into the regions of lower magnetic
field. This observation is the basis of the celebrated Stern-Gerlach experiment.
The idea is to have a magnetic field gradient along the z-axis, which according to the arguments we just
presented should result in

• Particles with positive L̂z quantum number m will be deflected upwards;

• Particles with negative L̂z quantum number m will be deflected downwards;

• Particles with L̂z quantum number m = 0 will pass through the apparatus with being deflected.

The original beam of particles is such that each emitted particle will have equal probability to have any m
value. According to our theory for orbital angular momentum, the experiments should show

• A single beam for particles with ` = 0 quantum number;

• Three symmetrically split beams for particles with ` = 1 quantum number, corresponding to m = 0
and m = ±1 respectively;

• Five symmetrically split beams for particles with ` = 2 quantum number, corresponding to m = 0,
m = ±1 and m = ±2 respectively.

In particular, there always should be particles that do not get deflected. This is not what was observed in
the experiments. In particular, electrons are always split into an even number of beams! This suggests that
for some reason the angular momentum eigenvalues are not integers, but half-odd integers.

69
13 Spin and total angular momentum
Wolfgang Pauli (Nobel Prize in Physics 1945)

“I do not mind if you think slowly, but I do object when you publish
more quickly than you think.”
“This is not only not correct, it is not even wrong.”

Apart from his ground breaking contributions to Physics Pauli is known


for the Pauli-effect, which refers to numerous instances in which demon-
strations involving equipment suffered technical problems only when he
was present. For fear of the Pauli effect, the experimental physicist Otto
Stern banned Pauli from his laboratory in spite of their friendship. One
incident occurred in the physics laboratory at the University of Göttingen.
An expensive measuring device, for no apparent reason, suddenly stopped
working, although Pauli was in fact absent. James Franck, the director
of the institute, reported the incident with the humorous remark that at
least this time Pauli was innocent. However, it turned out that Pauli had
been on a railway journey to Copenhagen and had switched trains at the
Göttingen rail station at about the time of the failure.

The resolution of the puzzle posed by the Stern-Gerlach experiments is that position alone is insufficient
to specify the quantum states of electrons, and additional quantum numbers are required. These are called
spin quantum numbers. Let us denote the position eigenstates for the time being by

|x, si , (458)

where the index s specifies the spin state of the particle. To figure out how to think of these states let’s work
backwards from the observation that the Stern-Gerlach experiment would be compatible with our theory if
the L̂z eigenvalues were half integer numbers. Going all the way back to rotations, we now have

|x0 , s0 i = U (nα)|x, si . (459)

The important point is that spin quantum numbers can and do transform under rotations as well. As we
have seen above, the orbital angular momentum operators generate rotations of the position. The idea is
then to write the operator that describes the rotation as the product of rotations of the position and spin
respectively
i i
U (nα) = e− ~ αn·L e− ~ αn·S . (460)
Here we have introduced spin angular momentum operators Ŝx , Ŝy and Ŝz that fulfil the angular momentum
algebra
[Ŝj , Ŝk ] = i~jkl Ŝl , (461)
and commute with the orbital angular momentum operators

[L̂j , Ŝk ] = 0. (462)

The total angular momentum operators are defined as the sums of orbital and spin angular momentum
operators
Jˆj = L̂j + Ŝj . (463)
By construction they also fulfil the angular momentum algebra

[Jˆj , Jˆk ] = i~jkl Jˆl .


(464)

70
Following the spinless case we can now construct simultaneous eigenstates of Jˆz and J2 . We can in fact
repeat the construction of angular momentum eigenstates we have carried out for the spinless case step by
step with only on crucial difference: in the spinless case we had required

U (2πez ) = 1 , spinless case, (465)

which forced the L̂z eigenvalues to be integers. In order to accommodate the Stern-Gerlach experiment we
want the eigenvalues of Jˆz to be half-integer numbers and therefore require

U (4πez ) = 1 . (466)

In particular we do not require that the spin state of the system is unchanged under a rotation by 2π. The
simultaneous eigenstates of Jˆz and Ĵ2 fulfil

Ĵ2 |j, jz i = ~2 j(j + 1)|j, jz i ,


Jˆz |j, jz i = ~jz |j, jz i , (467)
Jˆ± |j, jz i = ~ j(j + 1) − jz (jz ± 1)|j, jz ± 1i ,
p

where
1 3
−j ≤ jz ≤ j , j = 0, , 1, , 2, . . .
2 2 (468)
The crucial difference to orbital angular momentum is that the total angular momentum quantum number
now takes half-integer values.
Aside 8: Spin and the Stern-Gerlach experiment
The existence of spin fixes our problem with Stern-Gerlach experiments as follows. The Hamiltonian
describing the motion of an electron in a magnetic field follows from the Dirac equation and turns
out to be given by
p̂2 eB
H= − (L̂z + gs Ŝz ) , (469)
2m 2m
where gs = 2 is the so-called gyromagnetic ratio. Repeating our previous arguments we see that
electrons without orbital angular momentum are split into two beams.

13.1 Spin-1/2 representation and Pauli matrices


The simplest representation of total angular momentum has Ĵ2 quantum number j = 1/2. There are two
states with Jˆz quantum numbers ±1/2 
1 1

2 2 . (470)

These states are sometimes called | ↑i and | ↓i respectively and as they span a linear vector space of
dimension two they can be represented as
 
| ↑i = 1 0 , | ↓i = 0 1 . (471)

The total angular momentum operators in this representation can be expressed in terms of 2 × 2 matrices
called Pauli matrices
h↑ |Jˆj | ↑i h↑ |Jˆj | ↓i
 
~
ˆ ˆ = σj , j = x, y, z , (472)
h↓ |Jj | ↑i h↓ |Jj | ↓i 2
     
0 1 0 −i 1 0
σx = , σy = , σz = .
1 0 i 0 0 −1
(473)

71
13.2 Spin angular momentum
The spin angular momentum is described by the Hermitian operators Ŝj that fulfil the angular momentum
algebra. By the same arguments as for orbital and total angular momenta we can therefore construct
simultaneous eigenstates of Ŝz and Ŝ2

Ŝ2 |s, sz i = ~2 s(s + 1)|s, sz i ,


Ŝz |s, sz i = ~sz |s, sz i , (474)
p
Ŝ± |s, sz i = ~ s(s + 1) − sz (sz ± 1)|s, sz ± 1i ,

The sz quantum numbers are half-integers because rotations by 4π must be equivalent to the identity.
The total spin quantum number s is an intrinsic property of quantum mechanical particles. In particular,
electrons, neutrinos, quarks, neutrons and protons are all spin-1/2 objects.

13.3 Stern-Gerlach filters


As we have seen, the Stern-Gerlach experiment separates particles according to their angular momentum.
This can be viewed as providing a measurement of the component of angular momentum in the direction
of the applied magnetic field. Combining Stern-Gerlach filters with different orientations provides a very
nice playground for understanding the mechanics of measurements in QM. Let’s consider the example of a
beam of particles incident on a SG filter aligned along the z-direction. Let’s assume that the particles have
Jˆz quantum numbers ±~/2 with equal probabilities and the total angular momentum quantum number is
j = 1/2. So there are two relevant states
   
1 1 1 1 1 0
| , i = | ↑i = , | , − i = | ↓i = . (475)
2 2 0 2 2 1
The angular momentum operators can be represented as
     
ˆ ~ 0 1 ˆ ~ 0 −i ~ 1 0
Jx = , Jy = , Jˆz = . (476)
2 1 0 2 i 0 2 0 −1
The SG filter splits the beam into two, and the particles deflected upwards will have quantum numbers
jz = 1/2. We can think of this as a measurement of Jˆz . After this “measurement” the particles will be
in the quantum state | ↑i. Let us then pass this beam of particles through a second SG filter, but with a
magnetic field pointing along a direction n = (0, sin(θ), cos(θ)). The angular momentum along n is
 
ˆ ˆ ~ cos θ −i sin θ
J · n = cos(θ)Jz + sin(θ)Jy = . (477)
2 i sin θ − cos θ
In order to work out the outcomes of measuring J · n we require its eigenvalues and eigenvectors. The
eigenvalues are ±~/2 and the corresponding eigenvectors are
   
i sin(θ/2) cos(θ/2)
|θ, ↓i = , |θ, ↑i = . (478)
cos(θ/2) i sin(θ/2)
We now write the state of the system after the first SG filter as a linear combination of these two eigenstates

| ↑i = cos(θ/2)|θ, ↑i − i sin(θ/2)|θ, ↓i . (479)

This tells us that after the second SG filter we will have two beams corresponding to particles with angular
momentum ±~/2 along the n direction but with different intensities, because

P (~/2) = |h↑ |θ, ↑i|2 = cos2 (θ/2) ,


P (−~/2) = |h↑ |θ, ↓i|2 = sin2 (θ/2) . (480)

72
Aside 9: Vector operators

In classical physics a vector is a quantity that transforms under rotations as


3
X
Vi0 = Rij Vj , (481)
j=1

where R is a rotation matrix. It is natural to ask whether quantum mechanical vector operators
like (x̂, ŷ, ẑ) have analogous transformation properties. We know that position eigenstates transform
under rotations as
|x0 i = |R(nα)xi = U (nα)|xi , (482)
where R(nα) is a rotation matrix describing rotations by an angle α around the axis n and U (nα)
is the associated quantum mechanical rotation operator. Matrix elements of the position operators
transform as

hx0 |x̂i |y0 i = x0i hx0 |y0 i = x0i hx|U † (nα)U (nα)|yi = x0i hx|yi = R(nα) ij xj hx|yi = hx| R(nα) ij x̂j |yi.
 

(483)
Combining this with
hx0 |x̂i |y0 i = hx|U † (nα)x̂i U (nα)|yi (484)
we conclude that
U † (nα)x̂i U (nα) = R(nα) ij x̂j .

(485)
In our shorthand vector notation these become

U † (nα)x̂U (nα) = R(nα)x̂. (486)

Vectors of operators V̂ that fulfil

U † (nα)V̂U (nα) = R(nα)V̂.


(487)

are called vector operators. An equivalent definition can be arrived at by considering infinitesimal
rotations
idα
U (ndα) = 1 − n · Ĵ . (488)
~
Substituting this into (487) gives

dα X 
V̂j + [V̂j , n · Ĵ] = R(ndα) jk V̂k . (489)
i~
k

These in turn are equivalent to


[V̂j , Jˆk ] = i~jkl V̂l .
(490)
Operators that fulfil these commutation relations are vector operators. Examples are position, mo-
mentum and angular momentum.

73
Homework 10: Spin and total angular momentum
5.1 Write down the expression for the commutator [σi , σj ] of two Pauli matrices. Show that the
anticommutator of two Pauli matrices is

{σi , σj } = 2δij .

5.2 Let n be any unit vector and σ = (σx , σy , σz ) be the vector whose components are the Pauli
matrices. Why is it physically necessary that n · σ satisfy (n · σ)2 = I, where I is the 2 × 2 identity
matrix? Let m be a unit vector such that m · n = 0. Why do we require that the commutator
[m · σ, n · σ] = 2i(m × n) · σ? Prove that these relations follow from the algebraic properties of the
Pauli matrices. You should be able to show that [m · σ, n · σ] = 2i(m × n) · σ for any two vectors n
and m.

5.3 Let n be the unit vector in the direction with polar coordinates (θ, φ). Write down the matrix n·σ
and find its eigenvectors. Hence show that the state of a spin-half particle in which a measurement
of the component of spin along n is certain to yield 21 ~ is

|+, ni = sin(θ/2) eiφ/2 |−i + cos(θ/2) e−iφ/2 |+i,

where |±i are the states in which ± 21 is obtained when sz is measured. Obtain the corresponding
expression for |−, ni. Explain physically why the amplitudes in the previous equation have modulus
2−1/2 when θ = π/2 and why one of the amplitudes vanishes when θ = π.

5.4 For a spin-half particle at rest, the operator J is equal to the spin operator S. Use the properties
of the Pauli spin matrices to show that in this case the rotation operator U (α) ≡ exp(−iα · J /~) is
α α
U (α) = I cos − iα̂ · σ sin ,
2 2
where α̂ is the unit vector parallel to α. Comment on the value this gives for U (α) when α = 2π.

5.5 Explain why a spin- 21 particle in a magnetic field B has a Hamiltonian given by

H = −γS · B,

where γ is the gyromagnetic ratio which you should define.


In a coordinate system such that B lies along the z-axis, a proton is found to be in a eigenstate
|+, xi of Ŝx at t = 0. Find hŜx i and hŜy i for t > 0.

5.6 Write down the 3 × 3 matrix that represents Sx for a spin-one system in the basis in which Sz is
diagonal (i.e., the basis states are |0i and |±i with Sz |+i = |+i, etc.)
A beam of spin-one particles emerges from an oven and enters a Stern–Gerlach filter that passes only
particles with Jz = ~. On exiting this filter, the beam enters a second filter that passes only particles
with Jx = ~, and then finally it encounters a filter that passes only particles with Jz = −~. What
fraction of the particles stagger right through?

5.7 A system that has spin angular momentum 6~ is rotated through an angle φ around the z-axis.
Write down the 5 × 5 matrix that describes a rotation by an angle φ around the z-axis.

Some optional (!) hard problems on off syllabus topics


5.8* Vector operators

74
(a) Show that expectation values of the position operators in a state |ψi transform like a classical
vector under a rotation around an axis n by an angle α.
(b) Show that the commutation relations

[V̂j , Jˆk ] = i~jkl V̂l , (491)

are equivalent to
dα X 
V̂j + [V̂j , n · Ĵ] = R(ndα) jk V̂k , (492)
i~
k

where n is a unit vector and R(ndα) is the rotation matrix around the axis n by an angle dα.
(c) Let e1,2,3 be three orthonormal vectors. Show that the operators ej (x̂, ŷ, ẑ) defined through their
actions on position eigenstates
 
x ej · ex
ej (x̂, ŷ, ẑ)|xi =  y ej · ey  |xi (493)
z ej · ez

are vector operators.

Part V
Composite Systems
So far we have focussed on the QM of a single particle. Most QM systems involve several particles that
interact with one another, e.g. the electron and nucleus in a hydrogen atom. In order to understand them
we have to develop a description of quantum mechanical systems that are composed of several parts. In
order to do so we first consider QM systems composed of two parts, e.g. two particles.

14 QM systems composed of two parts


Let A and B be two quantum mechanical systems and {|A; ji}, {|B; ki} two corresponding bases of quantum
states. A basis of states of the composite system is then obtained by taking3

|AB; j, ki = |A; ji|B; ki . (494)

In these states A and B are in quantum states |A; ji and |B; ki respectively. For example, if we have two
independent (distinguishable) particles a basis of position eigenstates is given by

|AB; x1 , x2 i = |A; x1 i|B; x2 i , (495)

in which the first particle is at position x1 with certainty, while the second particle is at position x2 with
certainty. The bra states corresponding to (494) are denoted by

hAB; j, k| = hA; j|hB; k|, (496)

and scalar products fulfil


hAB; j, k|AB; m, ni = hA; j|A; mi hB; k|B; ni. (497)
3
The mathematical structure we are describing here is a tensor product of two linear vector spaces.

75
A general state of the composite system can then be written as a linear combination of basis states (as
usual) X
|AB; ψi = hAB; j, k|AB; ψi |AB; j, ki. (498)
j,k

Example 4: Two spins 1/2

Let us consider a system composed of two spins 1/2. For each spin there are two basis states | ↑i and
| ↓i and a basis of the composite system is then given by

| ↑↑i = | ↑i| ↑i , | ↑↓i = | ↑i| ↓i , | ↓↑i = | ↓i| ↑i , | ↓↓i = | ↓i| ↓i. (499)

An arbitrary state can be written as a linear combination of these four basis states

|ψi = h↑↑ |ψi| ↑↑i + h↑↓ |ψi| ↑↓i + h↓↑ |ψi| ↓↑i + h↓↓ |ψi| ↓↓i. (500)

14.1 Operators
Let OA and OB be operators acting only on parts A and B of our composite system. We can define their
actions on states |ψi of the composite system as follows:

• Write |ψi as a linear combination of the basis states |AB; j, ki defined above
X X
|ψi = hAB; j, k|ψi |AB; j, ki = hAB; j, k|ψi |A; ji|B; ki (501)
j,k j,k

• Now define the actions of OA and OB on |ψi by


X  
OA |ψi = hAB; j, k|ψi OA |A; ji |B; ki ,
j,k
X  
OB |ψi = hAB; j, k|ψi |A; ji OB |B; ki . (502)
j,k

A general operator acting on the composite system will have the form
X
cj,k OA,j OB,k ,
j,k
(503)

where OA,j and OB,k are operators acting only on systems A and B respectively and cj,k are complex
numbers.
Example 5: Two spins 1/2
(1) (2)
Denote the spin operators of the first and second particles by Ŝj and Ŝj respectively. Then
   
(1) (1) (2) (2)
Ŝj | ↑↑i = Ŝj | ↑i | ↑i , Ŝj | ↑↑i = | ↑i Ŝj | ↑i , . . . (504)

More general operators act e.g. as


   ~  ~  ~2
Sx(1) Sz(2) | ↑↑i = Sx(1) | ↑i Sz(2) | ↑i = | ↓i | ↑i = | ↓↑i. (505)
2 2 4

76
14.2 Position representation
A very important case of a composite system are several particles that have kinetic energy and interact with
one another by e.g. the Coulomb interaction. A basis of position eigenstates of a system with two particles
is provided by the states
|x1 , x2 i . (506)
The resolution of the identity reads
Z Z
1= d3 x1 d3 x2 |x1 , x2 ihx1 , x2 |. (507)

The Hamiltonian would contain terms describing the kinetic energies of the two particles as well as potential
energy terms that include the interactions between the two particles. This leads to a Hamiltonian of the
form
p̂2 p̂2
H = 1 + 2 + V1 (x̂1 ) + V2 (x̂2 ) + Vint (x̂1 , x̂2 ). (508)
2m1 2m2
Importantly, in case we have independent particles (Vint = 0) the Hamiltonian is the sum of the Hamiltonians
of the individual particles. The position representation is now constructed by following the single-particle
case. Let’s take the TDSE as our starting point
d
i~ |ψ(t)i = H|ψ(t)i . (509)
dt
Projecting onto a position eigenbra gives
d
i~ hx1 , x2 |ψ(t)i = hx1 , x2 |H|ψ(t)i . (510)
dt | {z }
ψ(x1 ,x2 ,t)

The right-hand side is worked out by inserting a resolution of the identity


Z Z
hx1 , x2 |H|ψ(t)i = d x1 d3 x02 hx1 , x2 |H|x01 , x02 i hx01 , x02 |ψ(t)i.
3 0
(511)

The action of the various terms on position eigenstates follows from (502), e.g.

hx1 , x2 |V1 (x̂1 )|x01 , x02 i = hx1 |V1 (x̂01 )|x01 ihx2 |x02 i = V1 (x01 ) δ (3) (x1 − x01 )δ (3) (x2 − x02 ) ,
hx1 , x2 |p̂1,α |x01 , x02 i = hx1 |p̂1,α |x01 ihx2 |x02 i
 

= −i~ δ (3) (x1 − x01 ) δ (3) (x2 − x02 ) , α = x, y, z. (512)
∂x1,α
When working out matrix elements of the interaction potential we use that

x̂j |x01 , x02 i = x0j |x01 , x02 i , j = 1, 2, (513)

and hence
Vint (x̂1 , x̂2 )|x01 , x02 i = Vint (x01 , x02 )|x01 , x02 i. (514)
Carrying out the integrals over the delta-functions we arrive at
~2 ~2
 
2 2
hx1 , x2 |H|ψ(t)i = − ∇ − ∇ + V1 (x1 ) + V2 (x2 ) + Vint (x1 , x2 ) ψ(x1 , x2 , t) (515)
2m1 1 2m2 2
Altogether the TDSE in the position representation becomes

~2 ~2
 
∂ 2 2
i~ ψ(x1 , x2 , t) = − ∇ − ∇ + V1 (x1 ) + V2 (x2 ) + Vint (x1 , x2 ) ψ(x1 , x2 , t).
∂t 2m1 1 2m2 2
(516)

77
14.2.1 Independent particles
It is instructive to consider the case of independent particles, e.g.

p̂21 p̂2
H= + 2 + V1 (x̂1 ) + V2 (x̂2 ) = H1 + H2 . (517)
2m1 2m2
Here the Hamiltonians H1 and H2 only act on the first and second particles respectively. Let us denote the
energy eigenstates of H1,2 by |En , 1i and |En0 , 2i respectively

H1 |En , 1i = En |En , 1i , H2 |En0 , 2i = En0 |En0 , 2i , (518)

we can immediately construct the eigenstates of H as (tensor) products


   
0 0 0
H|En , 1i |Em , 2i = H1 |En , 1i |Em , 2i + |En , 1i H2 |Em , 2i
(519)
0 0
= (En + Em )|En , 1i |Em , 2i .

This structure carries over to the position representation: the wave functions of energy eigenstates are
products of the wave functions of the energy eigenstates of H1 and H2 . Denoting

hx1 |En , 1i = ψn (x1 ) , hx2 |En0 , 2i = φn (x2 ) , (520)

and then using the position representation of the TISE, cf. (516), we have

~2 ~2
 
2 2 0
− ∇ − ∇ + V1 (x1 ) + V2 (x2 ) ψn (x1 )φm (x2 ) = (En + Em )ψn (x1 )φm (x2 ) . (521)
2m1 1 2m2 2

The wave function of a general state |χi can be expressed as a linear combination of these energy eigenstates
X
χ(x1 , x2 ) = cn,m ψn (x1 )φm (x2 ) . (522)
n,m

Exercise 1
Show that the coefficients cn,m are given by
0

cn,m = hEn , 1|hEm , 2| |χi . (523)

14.3 Measurements
Let us now imagine that we measure a physical property of only one of the parts of our system. As a
simple example let’s consider measuring the position of the first particle when the composite system is in a
quantum state |ψi and obtain the result x1 . To understand this process we express |ψi as a superposition
of position eigenstates
Z Z Z Z
|ψi = d x1 d x2 hx1 , x2 |ψi |x1 , x2 i = d x1 d3 x02 ψ(x01 , x02 ) |x01 i|x02 i .
3 0 3 0 0 0 0 0 3 0
(524)

Recalling that |ψ(x1 , x02 )|2 is the probability density for the first and second particles to be at positions x1
and x02 respectively, we conclude that the probability of obtaining the result x1 when measuring the position
of the first particle is Z
P (x1 ) = d3 x02 |ψ(x1 , x02 )|2 . (525)

78
After the measurement the system will be in the normalized state
Z
1
|ψiafter = d3 x02 ψ(x1 , x02 ) |x1 i|x02 i , (526)
N
where Z 1/2
N= d3 x02 |ψ(x1 , x02 )|2 . (527)

(1)
As a second example let us consider measuring Sz in the normalized state
r
1 3
|ψi = | ↑↑i + | ↓↑i. (528)
2 4
The possible outcomes are ±~/2. To work out the probability for obtaining ~/2 we decompose |ψi into a
linear combination of states which lead to the observed outcome and an orthogonal component
r
1 3
|ψi = | ↑↑i + | ↓↑i (529)
2 |{z} 4 |{z}
|ψ+ i |ψ− i

According to our general rule we then have


 
~ 1
P = |hψ+ |ψi|2 = . (530)
2 4
After the measurement the system is in the normalized state

|ψiafter,+ = | ↑↑i . (531)

The probability for obtaining the result −~/2 is


 
~ 3
P − = |hψ− |ψi|2 = , (532)
2 4
and the measurement leaves the system in the state

|ψiafter,− = | ↓↑i . (533)

15 Product States vs entangled states


In composite systems there is a particular class of states called product states. Their defining characteristic
is that they can be written as products of states of the constituent parts. For two subsystems A and B such
states take the form
|AB; ψi = |A; ψA i|B; ψB i . (534)
For a system made from two spin-1/2 product states can be written in the form
  
α1 | ↑i + β1 | ↓i α2 | ↑i + β2 | ↓i . (535)

A particular example is the state in (528) as it can be written as


1 r
3 
|ψi = | ↑i + | ↓i | ↑i. (536)
2 4
Product states have the particular property that measuring only one part of the system does not affect the
(1)
other part. So see what we mean by this let’s return to the example of measuring Sz in the state (528): the

79
(2) (1)
outcomes of measuring Sj are independent of the outcomes of measuring Sz . Indeed, depending on what
(1)
result we obtained in the Sz measurement the system will be either in state |ψiafter,+ or in state |ψiafter,− .
(2)
However, in both cases the second spin is in state | ↑i with certainty and measuring Sz will therefore
give identical results. Product states are rather special and typically measuring one part of a composite
system will affect subsequent measurements on the other part. This property is called entanglement. Let
us consider our two spin-1/2 system in the state
1  
|φi = √ | ↑↓i − | ↓↑i , (537)
2
(1) (2)
which you’ll hear a lot more about later on in the course. Let us measure first Sz and then Sz . The first
measurement yields the results ±~/2 with equal probabilities 1/2, but leaves the system in different states

|φiafter,+ = | ↑↓i , |φiafter,− = | ↓↑i . (538)

This tells us that if the outcome of the first measurement was ~/2, the second measurement with give
−~/2 with probability 1. On the other hand, if the outcome of the first measurement was −~/2, the second
measurement with give ~/2 with probability 1. Entanglement expresses the fact that in general the quantum
state of each spin cannot be described independently of the state of the other. As a result measurements of
position, momentum, spin etc performed on entangled particles are correlated.

15.1 Entanglement Growth


Under time evolution quantum mechanical systems consisting of many particles become more entangled.
This ultimately explains how statistical mechanics can arise from QM. To see how entanglement can be
induced by time evolving a quantum mechanical system let’s return to our system made from two spins-1/2.
Let’s assume that initially the system is in the state |ψ(0)i = | ↑↑i, and that the Hamiltonian of the system
is
4J (1) (2)
H= S S . (539)
~ x x
The time evolved state is given by
i
|ψ(t)i = e− ~ Ht |ψ(0)i . (540)
Using that
H| ↑↑i = J~| ↓↓i , H| ↓↓i = J~| ↑↑i , (541)
and expanding the exponential in a power series in H we find that
i
|ψ(t)i = e− ~ Ht | ↑↑i = cos(Jt)| ↑↑i − i sin(Jt)| ↓↓i. (542)

This shows that while |ψ(0)i is a product state and thus unentangled, |ψ(t > 0i is entangled as the outcome
of a measurement of the first spin affects the possible outcomes of subsequent measurements of the second
spin. Time evolution has generated entanglement. For small systems as the one discussed here the time
evolution of entanglement is not monotonic. We can see this because at time t = π/2J our state becomes
again unentangled. This changes when we have many particles in the sense that entanglement keeps on
growing on “experimentally relevant” time scales.

16 Addition of angular momenta


Let us consider a composite system of two angular momenta with Hamiltonian

H = λĴ1 · Ĵ2 . (543)

80
The angular momenta of the individual parts are not good quantum numbers because

[Jˆ1,j , H] = iλjkl Jˆ1,l Jˆ2,k 6= 0. (544)

However, total angular momentum Ĵ1 + Ĵ2 does provide good quantum numbers because
 
[Jˆ1,j + Jˆ2,j , H] = iλjkl Jˆ1,l Jˆ2,k + Jˆ1,k Jˆ2,l = 0. (545)

This provides a typical example of the following problem: given a composite system with two angular
momenta Ĵ1 , Ĵ2 , how do we construct eigenstates of the total angular momentum Ĵ1 + Ĵ2 ?
Example 6: Two particles interacting by a central potential

Another example is provided by a rotationally invariant system composed of two spinless particles
interacting by a central potential

p̂21 p̂2
+ 2 + V (x̂1 − x̂2 )2 .

H= (546)
2m 2m
The angular momenta of the first/second particle are not good quantum numbers in this case because

[L̂1,j , H] 6= 0 , [L̂2,j , H] 6= 0 . (547)

To see this we first note that as we have established before the kinetic energy terms do commute with
the angular momenta, but

[L̂1,j , (x̂1 − x̂2 )2 = jkl x̂1,k [p̂1,l , (x̂1 − x̂2 )2 + (ŷ1 − ŷ2 )2 + (ẑ1 − ẑ2 )2 ]
= −2i~jkl x̂1,k (x̂1,l − x̂2,l ) = 2i~jkl x̂1,k x̂2,l . (548)

On the other hand we see that


[L̂1,j + L̂2,j , (x̂1 − x̂2 )2 ] = 0 , (549)
which tells us that total orbital angular momentum is conserved.

Our starting point are the bases of angular momentum eigenstates of the the two parts

Ĵ21 |j1 , j1,z i = ~2 j1 (j1 + 1)|j1 , j1,z i ,


Jˆ1,z |j1 , j1,z i = ~j1,z |j1 , j1,z i ,
Ĵ22 |j2 , j2,z i = ~2 j2 (j2 + 1)|j2 , j2,z i ,
Jˆ2,z |j2 , j2,z i = ~j2,z |j2 , j2,z i . (550)

We know that a basis of states of the composite system is given by the products

|j1 , j1,z i|j2 , j2,z i . (551)

We wish to know how these states are related to the eigenstates of total angular momentum Ĵ = Ĵ1 + Ĵ2 .
We know that these eigenstates can be labelled by the Ĵ2 and Jˆz quantum numbers, but because

[Ĵ21 , Jˆj ] = 0 = [Ĵ22 , Jˆj ] , j = x, y, z , (552)

there are altogether four good quantum numbers

Ĵ2 |j1 , j2 , j, jz i = ~2 j(j + 1)|j1 , j2 , j, jz i ,


Jˆz |j1 , j2 , j, jz i = ~jz |j1 , j2 , j, jz i ,
Ĵ2α |j1 , j2 , j, jz i = ~2 jα (jα + 1)|j1 , j2 , j, jz i , α = 1, 2. (553)

81
The question is now how the states |j1 , j1,z i|j2 , j2,z i and |j1 , j2 , j, jz i are related. Let us first give the answer
and then explain how to derive it. For fixed j1 and j2 we have

jX
1 +j2 j
X
|j1 , j1,z i|j2 , j2,z i = C(j, jz ; j1 , j1,z , j2 , j2,z ) |j1 , j2 , j, jz i ,
j=|j1 −j2 | jz =−j
(554)

where the amplitudes C(j, jz ; j1 , j1,z , j2 , j2,z ) are called Clebsch-Gordan coefficients. As the Clebsch-Gordan
coefficients are tabulated we will not get into the details of how they are calculated in the general case. We
note that the Clebsch-Gordan coefficients can be written as probability amplitudes
 
C(j, jz ; j1 , j1,z , j2 , j2,z ) = hj1 , j2 , j, jz | |j1 , j1,z i|j2 , j2,z i . (555)

So if we have a system of two “gyros” in a state of well-defined angular momentum, the Clebsch-Gordan
coefficients provide the probability amplitudes for finding the first and second gyros in angular momentum
eigenstates with quantum numbers j1,z and j2,z respectively.

16.1 Adding two spins 1/2


Let us investigate how these relations come about by considering the simplest case of j1 = j2 = 1/2. A basis
of states is given by the products

| ↑↑i , | ↑↓i , | ↓↑i , | ↓↓i . (556)

The eigenvalues of Jˆz = Jˆ1,z + Jˆ2,z are easily worked out

Jˆz | ↑↑i = ~| ↑↑i , Jˆz | ↑↓i = 0 = Jˆz | ↓↑i , Jˆz | ↓↓i = −~| ↓↓i . (557)

This tells us that | ↑↑i is an eigenstate of Jˆz and as the corresponding eigenvalue is non-degenerate it must
also be an eigenstate of Ĵ2 .
Exercise 2
Show that the total angular momentum operator can be written as

Ĵ2 = Ĵ21 + Ĵ22 + Jˆ1,+ Jˆ2,− + Jˆ1,− Jˆ2,+ + 2Jˆ1,z Jˆ2,z , (558)

where J1,± = J1,x ± iJ1,y are ladder operators. Use this to show that

Ĵ2 | ↑↑i = 2~2 | ↑↑i. (559)

The ladder operators for total angular momentum are defined as

Jˆ± = Jˆ1,± + Jˆ2,± , Jα,± = Jα,x ± iJα,y , α = 1, 2. (560)

As [Jˆ− , Ĵ2 ] = 0 we can use these to construct eigenstates with the same Ĵ2 quantum number from | ↑↑i.
Recalling that Jˆ1,− | ↑i = ~| ↓i we find that

Jˆ− | ↑↑i = ~ | ↓↑i + | ↑↓i , Jˆ−


2
| ↑↑i = 2~2 | ↓↓i .

(561)

Correctly normalizing the eigenstates we obtain a j = 1 representation of angular momentum

1 
| ↑↑i , √ | ↓↑i + | ↑↓i , | ↓↓i .
2
(562)

82
The Jˆz quantum numbers of the three states are 1, 0, −1 respectively. The states (562) are called triplet
states. In terms of our general notations introduced earlier the three states are denoted by
1 1 1 1 1 1
| , , 1, 1i , | , , 1, 0i , | , , 1, −1i. (563)
2 2 2 2 2 2
We are left with one eigenstate with jz = 0. As this has to be orthogonal to the jz = 0 triplet state we
conclude that it must be given by
1 
√ | ↓↑i − | ↑↓i .
2
(564)
This state is called singlet and has Ĵ2 quantum numbers zero. In our general notations it is denoted by
1 1
| , , 0, 0i . (565)
2 2
The Clebsch-Gordan coefficients can now be read off:
1 1 1 1
C(1, 1; , , , ) = 1 ,
2 2 2 2
1 1 1 1 1 1 1 1 1 1
C(1, 0; , , , − ) = √ , C(1, 0; , − , , ) = √ ,
2 2 2 2 2 2 2 2 2 2
1 1 1 1
C(1, −1; , − , , − ) = 1 ,
2 2 2 2
1 1 1 1 1 1 1 1 1 1
C(0, 0; , − , , ) = √ , C(0, 0; , , , − ) = − √ . (566)
2 2 2 2 2 2 2 2 2 2

Summary 2: Adding two spins 1/2

1. The eigenvalues of Jˆz on product states |στ i is easy to calculate;

2. Note that maximal value of jz , and hence j, is one. The jz = 1 state is | ↑↑i;

3. Use the ladder operator Jˆ− to obtain all other j = 1 states; This gives the triplet.

4. There remains one jz = 0 state, which must be orthogonal to the j = 1, jz = 0 state. This gives
the singlet.

16.2 Adding two spins 1


The idea behind adding two spins 1 is the same. We first note that the action of Jˆz on product states is
simple
Jˆz |1, j1,z i|1, j2,z i = ~(j1,z + j2,z )|1, j1,z i|1, j2,z i . (567)
This immediately tells us that the maximal value of jz , and hence j, is 2 and
|1, 1, 2, 2i = |1, 1i|1, 1i . (568)
Using that the ladder operators act as
Jˆ1,− |1, jz i ∝ |1, jz − 1i , (569)
we can construct the other states in the j = 2 representation
Jˆ− |1, 1, 2, 2i ∝ |1, 0i|1, 1i + |1, 1i|1, 0i ,
Jˆ−
2
|1, 1, 2, 2i ∝ |1, −1i|1, 1i + 2|1, 0i|1, 0i + |1, 1i|1, −1i ,
Jˆ3 |1, 1, 2, 2i ∝ |1, −1i|1, 0i + |1, 0i|1, −1i ,

Jˆ−
4
|1, 1, 2, 2i ∝ |1, −1i|1, −1i . (570)

83
Normalizing the states we have
|1, 1, 2, 2i = |1, 1i|1, 1i ,
1  
|1, 1, 2, 1i = √ |1, 0i|1, 1i + |1, 1i|1, 0i ,
2
1  
|1, 1, 2, 0i = √ |1, −1i|1, 1i + 2|1, 0i|1, 0i + |1, 1i|1, −1i ,
6
1  
|1, 1, 2, −1i = √ |1, 0i|1, −1i + |1, −1i|1, 0i ,
2
|1, 1, 2, −2i = |1, −1i|1, −1i . (571)
According to our general rule the next representation we need to consider has j = 1. The jz = 1 state must
be orthogonal to |1, 1, 2, 1i, which tells us that
1  
|1, 1, 1, 1i = √ |1, 0i|1, 1i − |1, 1i|1, 0i . (572)
2
Acting again with the ladder operator and normalizing the resulting states gives
1  
|1, 1, 1, 0i = √ |1, −1i|1, 1i − |1, 1i|1, −1i ,
2
1  
|1, 1, 1, −1i = √ |1, −1i|1, 0i − |1, 0i|1, −1i . (573)
2
This leaves us with one missing state, which has j = jz = 0. It must be orthogonal to both |1, 1, 2, 0i and
|1, 1, 1, 0i, which fixes it to be
1  
|1, 1, 0, 0i = √ |1, −1i|1, 1i − |1, 0i|1, 0i + |1, 1i|1, −1i . (574)
3
Bingo!

17 EPR experiment and Bell inequalities


Entanglement has very strange and counterintuitive consequences. A nice example is provided by the
Gedankenexperiment put forward by Einstein, Podolsky and Rosen in 1935. They considered the conse-
quences of the quantum mechanical prediction for such kinds of experiments to be so disturbing that they
advocated the idea that QM cannot be the whole story. A simplified version of their Gedankenexperiment
is shown in Fig. 14. A source creates electron/positron pairs through the decay of nuclei from between two

Figure 14: Setup for an EPR-like experiment.

states with both zero momentum and zero angular momentum. As electrons and positions are spin-1/2
particles the angular momentum part of the corresponding quantum state is therefore
1  
|ψi = √ | ↑↓i − | ↓↑i . (575)
2

84
Electron and positrons move away from the source with equal but opposite momenta and eventually reach
two detectors (SG filters) operated by two physicists called Bob and Alice. The detectors measure the angular
momentum along directions nα = (0, sin(α), cos(α)) and nβ = (0, sin(β), cos(β)) respectively. As we have
seen before in our discussion of SG filters, Bob and Alice will always measure ±~/2, but with probabilities
that depend on α and β. In order to describe the measurement outcomes we require the relation between
the eigenstates |θ, ↑i of the angular momentum operator in nθ direction and the eigenstates | ↑i | ↓i of Jˆz
| ↑i = cos(α/2)|α, ↑i − i sin(α/2)|α, ↓i ,
| ↓i = −i sin(α/2)|α, ↑i + cos(α/2)|α, ↓i . (576)
Expressing |Ψi in terms of these states gives
i α − β h i
|Ψi = √ sin | ↑, αi| ↑, βi − | ↓, αi| ↓, βi
2 2
1 α − β h i
+ √ cos | ↑, αi| ↓, βi − | ↓, αi| ↑, βi . (577)
2 2
Let us first consider repeated separate measurements by Alice and Bob. Both of them will obtain results
±~/2 with equal probabilities 1/2. So far so good. Things start to look strange once we consider combined
measurements by Alice and Bob. Denoting the probability of Alice obtaining the result σ~/2 and Bob the
result σ 0 ~/2 by P (α, σ|β, σ 0 ) where σ = ±, σ 0 = ±, we have
  1 α − β
P (α, +|β, +) = | hα, ↑ |hβ, ↑ | |ψi|2 = sin2 ,
2 2
  1 α − β
P (α, +|β, −) = | hα, ↑ |hβ, ↓ | |ψi|2 = cos2 ,
2 2
  1 α − β
P (α, −|β, +) = | hα, ↓ |hβ, ↑ | |ψi|2 = cos2 ,
2 2
  1 α − β
P (α, −|β, −) = | hα, ↓ |hβ, ↓ | |ψi|2 = sin2 . (578)
2 2
A useful quantity to consider is the correlation coefficient defined as the probability of equal outcomes minus
the probability of different outcomes
X
C(α, β) = P (α, σ|β, σ) − P (α, σ|β, −σ) = − cos(α − β). (579)
σ=±

To see that (578) is quite strange consider the case α = β. Let say Alice measures first and obtains the
result ~/2 (−~/2). Then Bob will obtain the result −~/2 (~/2) with certainty. It is as if the particle Bob
measures somehow knew the outcome of Alice’s result! We can arrange things in such a way that the
time elapsed between Bob’s and Alice’s measurements is too short to enable information to travel between
them, which makes the perfect correlation between the measurements look absurd. One way of avoiding
is to introduce hidden variables. Let’s postulate that the probabilistic nature of QM is merely a result
of our lack of knowledge of certain deterministic properties of the two particles. We could for example
assume that the particles carry common information which determines measurement outcomes. The first
and second particles could be characterized by some functions σA (α, λ) = ±1/2 and σB (β, λ) = ±1/2
that deterministically determine the outcome of angular momentum measurements along angles α and β
respectively. Importantly, as the two particles were created together, the two functions could be correlated.
For example we could have σB (α, λ) = −σA (α, λ) and this could explain the perfect anticorrelation of
the measurements in this case. The parameter λ is unknown, and measurements correspond to averages
over λ with some probability density ρ(λ). Equipped with this model we can now make predictions for
measurements, e.g.
Z
1 
P (α, +) = dλ ρ(λ) + σA (α, λ) ,
2
Z
1 
P (α, −) = dλ ρ(λ) − σA (α, λ) . (580)
2

85
To agree with the quantum mechanical predictions we want these to equal 1/2. Joint probabilities can be
calculated analogously
Z
0 1  1
+ τ 0 σB (β, λ) .

P (α, τ |β, τ ) = dλ ρ(λ) + τ σA (α, λ) (581)
2 2
Using these results we find that the correlation coefficient can be written as
Z
C(α, β) = 4 dλ ρ(λ) σA (α, λ) σB (β, λ). (582)

Let us now consider a situation where Alice (Bob) chooses among two measurement directions parametrized
by angles α and α0 (β and β 0 ). Then the quantity

s(λ, α, α0 , β, β 0 ) = σA (α, λ) σB (β, λ) − σB (β 0 , λ) + σA (α0 , λ) σB (β, λ) + σB (β 0 , λ)


   
(583)

can only take the values ± 21 . Hence


Z
1 1
− ≤ dλρ(λ) s(λ, α, α0 , β, β 0 ) ≤ . (584)
2 2
Expressing the integral in terms of correlation coefficients gives Bell’s inequality

|C(α, β) − C(α, β 0 ) + C(α0 , β) + C(α0 , β 0 )| ≤ 2.


(585)

Importantly the quantum mechanical result (579) violates this inequality, i.e. there are choices for α, α0 , β, β 0
such that the left hand side exceeds 2. To see this recall that the QM result for the correlation coefficient
is C(α, β) = − cos(α − β). Choosing
π π 3π
α = 0 , α0 = , β = , β0 = (586)
2 4 4
gives √
|C(α, β) − C(α, β 0 ) + C(α0 , β) + C(α0 , β 0 )| = 2 2 > 2. (587)
As measurements are found to be in agreement with QM predictions, this means that they are incompatible
with hidden variable theories of the class discussed here!

Homework 11: Composite Systems

5.10 A system AB consists of two non-interacting parts A and B. The dynamical state of A is
described by |ai, and that of B by |bi, so |ai satisfies the TDSE for A and similarly for |bi. What
is the ket describing the dynamical state of AB? In terms of the Hamiltonians HA and HB of the
subsystems, write down the TDSE for the evolution of this ket and show that it is automatically
satisfied. Do HA and HB commute? How is the TDSE changed when the subsystems are coupled by
a small dynamical interaction Hint ? If A and B are harmonic oscillators, write down HA , HB . The
oscillating particles are connected by a weak spring. Write down the appropriate form of the interac-
tion Hamiltonian Hint . Does HA commute with Hint ? Explain the physical significance of your answer.

5.11 Explain what is implied by the statement that “the physical state of system A is correlated with
the state of system B.” Illustrate your answer by considering the momenta of cars on (i) London’s
circular motorway (the M25) at rush-hour, and (ii) the road over the Nullarbor Plain in southern
Australia in the dead of night.

86
5.12 Consider a system of two particles of mass m that each move in one dimension along a given
rod. Let |1; xi be the state of the first particle when it’s at x and |2; yi be the state of the second
particle when it’s at y. A complete set of states of the pair of particles is {|xyi} = {|1; xi|2; yi}.
Write down the Hamiltonian of this system given that the particles attract one another with a force
that’s equal to C times their separation.
Suppose that the particles experience an additional potential V (x, y) = 21 C(x + y)2 . Show that
the dynamics of the two particles is now identical with that of a single particle that moves in two
dimensions in a particular potential Φ(x, y), and give the form of Φ.

5.13 In the lectures we considered measurements by Alice and Bob on an entangled pair of spins
prepared in a singlet state. Bob measures the component of spin along an axis that is inclined by
angle θ to that used by Alice. Given the expression

|−, bi = cos(θ/2) eiφ/2 |−i − sin(θ/2) e−iφ/2 |+i,

for the state of a spin-half particle in which it has spin − 21 along the direction b with polar angles
(θ, φ), with |±i the states in which there is spin ± 12 along the z-axis, calculate the amplitude that
Bob finds the positron’s spin to be − 21 given that Alice has found + 12 for the electron’s spin. Hence
show that the corresponding probability is cos2 (θ/2).

Part VI
The Hydrogen Atom
One of the great early triumphs of QM was to provide an explanation for emission spectra of atoms. We
now have all pieces in place to work out the quantum theory of the gross structure of the simplest atom,
hydrogen. For later convenience we will consider the case of hydrogen-like ions, where a single electron is
bound to a nucleus of charge Ze. In order to arrive at an exactly solvable problem we will make the following
simplifying assumptions:

1. We will ignore the fact that both the electron and the nucleus have spin;

2. We neglect relativistic effects and take the interaction between the electron and the nucleus to be
described by the Coulomb interaction;

These assumptions lead to the following Hamiltonian

p2n p2 Ze2
H= + e − . (588)
2mn 2me 4π0 |x̂e − x̂n |

This Hamiltonian has the attractive feature that its energy eigenvalues and eigenfunctions can be calculated
exactly. You will see later how to take the spin degrees of freedom and relativistic effects into account. It
turns out that these only lead to small corrections (which however can be measured).

18 Position representation
We have seen before that the position representation of the TISE takes the form

~2 ~2 Ze2
 
2 2
− ∇ − ∇ − ψ(xe , xn ) = Eψ(xe , xn ) . (589)
2mn n 2me e 4π0 |xe − xn |

87
We first rewrite this equation in terms of centre-of-mass co-ordinates
me xe + mn xn
X= , r = xe − xn . (590)
me + mn
After some calculations we find that
~2 ~2 ~2
 
2 2 1 2 1 2
− ∇ − ∇ =− ∇ + ∇ , (591)
2mn n 2me e 2 me + mn X µ r

where the reduced mass µ is given by


me mn
µ= .
me + mn
(592)
In the case of hydrogen we have mn = 1836me and hence µ = 0.99945me , so the reduced mass is extremely
close to the electron mass. Substituting (589) back into (587) we arrive at

~2 ~2 2 Ze2
 
2
− ∇ − ∇ − ψ(X, r) = Eψ(X, r) .
2(me + mn ) X 2µ r 4π0 |r|
(593)

This PDE can be solved by separation of variables. Substituting

ψ(X, r) = φ(X)χ(r) (594)

back into (591) and dividing by ψ(X, r)we obtain

~2
 2
Ze2
  
1 1 ~
− ∇2X φ(X) + − ∇2r − χ(r) = E. (595)
φ(X) 2(me + mn ) χ(r) 2µ 4π0 |r|

As the first term only depends on X and the second depends only on r they can sum up to a constant only
if they both are constant. This breaks the TISE into two pieces

~2
− ∇2 φ(X) = ECM φ(X) ,
2(me + mn ) X
 2 (596)
Ze2

~
− ∇2r − χ(r) = Er χ(r) ,
2µ 4π0 |r|

where the energy eigenvalue equals the sum of the energies of the centre of mass motion and the relative
motion
E = ECM + Er . (597)
We see that the problem splits into two parts

• The centre of mass has only kinetic energy and the corresponding wave functions are plane waves

1 ~2 K2
φ(X) = eiK·X , ECM = . (598)
(2π~)3/2 2(mn + me )

• The TISE describing the relative motion looks like the TISE for a particle with mass µ in a Coulomb
potential centred at zero. Our task in to solve this differential equation.

88
19 Rotational invariance and radial Schrödinger equation
We may now use our previous result on Schrödinger equations for particles in rotationally symmetric po-
tentials. Recalling that in spherical polar co-ordinates we have
∂2 2 ∂ 1 L̂2
∇2r = + − , (599)
∂r2 r ∂r r2 ~2
we can solve our PDE for the wave function by separation of variables
χ(r) = Rn` (r)Y`m (θ, φ) . (600)
Substituting (598) into the TISE we have
" ! #
~2 ∂2 2 ∂ 1 L̂2 Ze2
− + − − − En` Rn` (r)Y`m (θ, φ) = 0. (601)
2µ ∂r2 r ∂r r2 ~2 4π0 |r|

Using that L̂2 Y`m (θ, φ) = ~2 `(` + 1)Y`m (θ, φ) and dividing the resulting equation by Y`m (θ, φ) we arrive at
the radial Schrödinger equation
 2 2
~2 `(` + 1) Ze2
 
~ d 2 d
− + + − Rn` (r) = En` Rn` (r) .
2µ dr2 r dr 2µr2 4π0 r
(602)
It is useful to rewrite this differential equation in terms of the dimensionless variable
r 4π0 ~2
ρ= , aZ = . (603)
aZ µe2 Z
Replacing µ by me and setting Z = 1 the length scale aZ reduces to the Bohr radius
4π0 ~2
a0 = = 5.2917721067(12) × 10−11 m . (604)
me2
After the change of variables the radial Schrödinger equation reads
 
00 2 0 `(` + 1) 2
−Rn` (ρ) − Rn` (ρ) + − Rn` (ρ) = n` Rn` (ρ) ,
ρ ρ2 ρ
(605)
where
2µa2Z
n` = En` . (606)
~2

19.1 Small-ρ behaviour


For ρ → 0 we have a highly divergent term proportional to `(` + 1)/ρ2 , which for ` ≥ 1 is much larger than
the terms proportional to Ze2 /(4π0 ρ) and n` . The leading behaviour for ρ → 0 is therefore determined by
the simpler ODE
00 2 0 `(` + 1)
−Rn` (ρ) − Rn` (ρ) + Rn` (ρ) = 0 , ρ → 0. (607)
ρ ρ2
Making the Ansatz Rn` ∝ ρs and substituting it back into (605) we obtain two solutions
s+ = ` , s− = −(` + 1) . (608)
The second solution is not allowed as the wave function would be non-normalizable due to the singularity
at the origin. Hence we have
Rn` (ρ) ∝ ρ` , for ρ → 0. (609)
We have shown this for ` ≥ 1 but it turns out that it is correct for ` = 0 as well (see below).

89
19.2 Large-ρ behaviour
For large values of ρ we can neglect the terms proportional to `(` + 1)/ρ2 and Ze2 /(4π0 ρ) compared to the
term proportional to n` . The radial Schrödinger equation can then be rewritten as
00 (ρ)
Rn` 0 (ρ)
2 Rn`
+ = −n` , ρ → ∞. (610)
Rn` (ρ) ρ Rn` (ρ)
Now we use that we are interested in bound state solutions to the TISE, that is radial wave functions that
vanish at infinity. This tells us that the behaviour at large ρ is exponential

Rn` (ρ) ∝ ρα e−λn` ρ , λ2n` = −n` > 0. (611)

This tells us that bound state solutions correspond to negative energy

En` < 0 . (612)

We note that the power-law factor ρα is not fixed by the simple ρ → ∞ argument.

19.3 Full solution


We now make the following Ansatz for the radial wave functions

Rn` (ρ) = ρ` e−λn` ρ Fn` (ρ) . (613)

Substituting this into (603) we obtain an ODE for the unknown functions Fn` (ρ)
00 0
−ρFn` (ρ) − 2(` + 1 − λn` ρ)Fn` (ρ) + 2(λn` (` + 1) − 1)Fn` (ρ) = 0. (614)

Finally we change variables to


y = 2ρλn` . (615)
Defining Fn` (ρ) = fn` (y) we arrive at the following ODE for fn` (y)

00 0
 1 
yfn` (y) + fn` (y) 2` + 2 − y + − ` − 1 fn` (y) = 0.
λn`
(616)

We can recognize this as a generalized Laguerre equation. The standard form of the latter is

yg 00 (y) + g 0 (y) α + 1 − y + kg(y) = 0.



(617)

We seek solutions to this equation that grow sufficiently slowly when y → ∞ so that the associated radial
part of the wave function Rn` (ρ) still vanishes when ρ → ∞ (as we are looking for bound state solutions).
This is the case only when k are non-negative integers, and the corresponding solutions to (615) are the
Laguerre polynomials
(α)
g(y) = Lk (y) , k = 0, 1, 2, . . . (618)
We can map our problem onto this by taking
1
α = 2` + 1 , k= −`−1 . (619)
λn`
The requirement that the solutions to our differential equation vanish when ρ → ∞ quantizes the allowed
values of λn` and hence the energy! As k is a non-negative integer 1/λn` must be a positive integer such
that
1
λn` = , n ≥ 1 , ` < n.
n (620)

90
Putting everything together we arrive at the following result for the solutions of the radial Schrödinger
equation
(2`+1)
Rn` (r) = Nn` r` Ln−`−1 (2r/naZ ) e−(r/naZ ) ,
(621)
where Nn` are normalizations fixed by the requirement that the wave function is normalized
Z ∞ Z π Z 2π Z ∞
2 2
1= drr dθ sin(θ) dφ|Rn` (r)Y`m (θ, φ)| = drr2 |Rn` (r)|2 . (622)
0 0 0 0

20 Energy eigenvalues and emission spectra of hydrogen


We have succeeded in constructing solutions to the TISE of the form

ψn`m (r, θ, φ) = Rn` (r)Y`m (θ, φ) ,


(623)

labelled by three good quantum numbers

• The positive integer n is called principal quantum number ;

• The non-negative integer ` is the quantum number associated with total orbital angular momentum
and has a range
0≤`≤n−1 ;
(624)

• The integer m is the quantum number associated with the z-component of orbital angular momentum
and has a range
−` ≤ m ≤ `.
(625)

The energy eigenvalues associated with ψn`m (r, θ, φ) are

ER µZ 2 me e4
En = − , ER = = 13.605693eV
n2 m e 2(4π0 )2 ~2
. (626)

Here ER is called Rydberg energy. Importantly the energies only depend on the principal quantum number
n. This means that the energy eigenstates are degenerate with degeneracies
n−1
X
(2` + 1) = n2 . (627)
`=0

20.1 Emission spectra


The emission spectra of hydrogen are obtained by considering transitions between different energy eigen-
states. You will see why this is in the Further QM course. The basic idea is that the atom is initially in an
eigenstate with energy Em and then undergoes a transition to another energy eigenstate En by emitting a
photon (hence we must have m > n). The photon energy is
 
µ 1 1
hν = Em − En = ER − . (628)
me n2 m2

The photon energies can be grouped in so-called series. The first few of these are

91
Figure 15: Lyman series for hydrogen atom spectral lines.

1. Lyman series: n = 1, m = 2, 3, 4 . . .
This was discovered by Theodore Lyman between 1906 and 1914. All the wavelengths in the Lyman
series are in the ultraviolet.

2. Balmer series: n = 2, m = 3, 4, 5 . . .
This is named after Johann Balmer, who discovered the Balmer formula, an empirical equation to
predict the Balmer series, in 1885.

Figure 16: The four visible hydrogen emission spectrum lines in the Balmer series.

3. Paschen series: n = 3, m = 4, 5, 6 . . .
Named after the German physicist Friedrich Paschen who first observed them in 1908. The Paschen
lines all lie in the infrared.

A good question is how well our “gross structure” calculation accounts for these spectral lines. Our results
for the Lyman series are λj = 121.569, 102.574, 97.2556, 94.9762, 93.7822, while the measured values are
are λj = 121.57, 102.57, 97.254, 94.974, 93.780. We see that that our simple theory already gives an
excellent account of experimental observations! Spin and relativistic effects account for the differences.
Homework 12: The Hydrogen Atom
6.1 Some things about hydrogen’s gross structure that it’s important to know (ignore spin through-
out, and you may set the reduced mass to be equal to the electron mass):

(a) What quantum numbers characterise stationary states of hydrogen?

(b) What combinations of values of these numbers are permitted?

(c) Give the formula for the energy of a stationary state in terms of the Rydberg R. What is the
value of R in eV?

92
(d) How many stationary states are there in the first excited level and in the second excited level?

(e) What is the wavefunction of the ground state?

(f) Write down an expression for the mass of the reduced particle.

(g) We can apply hydrogenic formulae to any two charged particles that are electrostatically bound.
How does the ground-state energy then scale with (i) the mass of the reduced particle, and (ii) the
charge Ze on the nucleus? (iii) How does the radial scale of the system scale with Z?

6.2 An electron is in the ground state of a hydrogen-like atom with nuclear charge +Ze. For
simplicity neglect the difference between the reduced mass and the electron mass.

(a) What is its average distance from the nucleus?

(b) At what distance from the nucleus is it most likely to be found?

(c) Show that the expectation value of the potential energy of the electron is the same as that given
by the Bohr model, namely −Ze2 /4π0 r0 where r0 = a0 /Z.

(d) Show that the expectation value of the kinetic energy is equal to the value given by the Bohr
model, namely Ze2 /8π0 r0 .

(e) Hence verify that the expectation value of the total energy agrees with the Bohr model.

6.3 Show that the speed of a classical electron in the lowest Bohr orbit is v = αc, where α = e2 /4π0 ~c
is the fine-structure constant. What is the corresponding speed for a hydrogen-like Fe ion (atomic
number Z = 26)? Given these results, what fractional errors must we expect in the energies of states
that we derive from non-relativistic quantum mechanics.

6.4 Show that the electric field experienced by an electron in the ground state of hydrogen is of
order 5 × 1011 V m−1 . Why is it impossible to generate comparable macroscopic fields using charged
electrodes. Lasers are available that can generate beam fluxes as big as 1022 W m−2 . Show that the
electric field in such a beam is of comparable magnitude.

6.5 Positronium consists of an electron e− and a positron e+ (both spin-half and of equal mass) in
orbit around one another. What are its energy levels? By what factor is a positronium atom bigger
than a hydrogen atom?

6.6 Muonium consists of an electron e− and a positive muon µ+ (both spin-half particles but
mµ = 206.7me ) in orbit around one another. What are its energy levels? By what factor is muonium
atom bigger than a hydrogen atom?

6.7 The emission spectrum of the He+ ion contains the Pickering series of spectral lines that is
analogous to the Lyman, Balmer and Paschen series in the spectrum of hydrogen
Balmer i = 1, 2, . . . 0.456806 0.616682 0.690685 0.730884
Pickering i = 2, 4, . . . 0.456987 0.616933 0.690967 0.731183
The table gives the frequencies (in 1015 Hz) of the first four lines of the Balmer series and the first
four even-numbered lines of the Pickering series. The frequencies of these lines in the Pickering series

93
are almost coincident with the frequencies of lines of the Balmer series. Explain this finding. Provide
a quantitative explanation of the small offset between these nearly coincident lines in terms of the
reduced mass of the electron in the two systems. (In 1896 E.C. Pickering identified the odd-numbered
lines in his series in the spectrum of the star ζ Puppis. Helium had yet to be discovered and he
believed that the lines were being produced by hydrogen. Naturally he confused the even-numbered
lines of his series with ordinary Balmer lines.)

21 Explicit form of the wave functions


21.1 Ground state
The ground state has quantum numbers n = 1, ` = m = 0. Its normalized wave function is
1
χ100 (r, θ, φ) = q e−r/aZ . (629)
πaZ3

21.2 n = 2 states
For principal quantum number n = 2 there are two allowed values of `. The so-called 2s state has ` = m = 0
and its wave function is  
1 r
χ200 (r, θ, φ) = q 1− e−r/2aZ . (630)
8πa3 2a Z
Z

The other allowed value is ` = 1. There are altogether three such states with L̂z quantum numbers m = 0, ±1.
The wave-functions of these so-called 2p states are
1 r −r/2aZ
χ211 (r, θ, φ) = − q e sin(θ)eiφ ,
3
8 πaZ aZ

1 r −r/2aZ
χ210 (r, θ, φ) = − q e cos(θ) ,
4 2πa3Z aZ
1 r −r/2aZ
χ21−1 (r, θ, φ) = q e sin(θ)e−iφ . (631)
a
8 πa3Z Z

21.3 Radial probability density


Given that the reduced mass µ is very close to the electron mass we can think of |χn`m (r, θ, φ)|2 as the
probability density to find the electron at co-ordinates (r, θ, φ). The probability of finding the electron
between (r, θ, φ) and (r + dr, θ + dθ, φ + dφ) is obtained by multiplying with the volume element in spherical
polar co-ordinates, i.e.
P (r, θ, φ) = |χn`m (r, θ, φ)|2 r2 sin(θ)dr dθ dφ (632)
The radial part of this expression
P (r) dr = |Rn` (r)|2 r2 dr (633)
is shown in Fig. 17. We see that in its ground state the electron is most likely to be found at a distance of
one Bohr radius from the nucleus.

94
Figure 17: r2 |Rn` (r)|2 for the first few energy eigenstates in hydrogen.

21.4 Visualising the angular dependence


The angular dependence is described by |Y`m (θ, φ)|2 and a useful way of visualising the angular dependence
is to use that |Y`m (θ, φ)|2 is in fact independent of φ, i.e. rotationally symmetric around the z-axis. Plotting
for each value of θ a point at distance r = |Y`m (θ, φ)|2 from the origin then produces a contour r(θ), and
rotating it around the z-axis gives an account of the angular probability distribution.

95
Figure 18: r2 |Rn` (r)|2 for the first few energy eigenstates in hydrogen.

96
Richard Feynman (Nobel Prize in Physics 1965).

We started with Feynman, and we will finish with him as


well: If you think you understand Quantum Mechanics, you
don’t understand Quantum Mechanics.

97

You might also like