Lectures 1pp
Lectures 1pp
CWPP 15/2/2013
Further Quantum Physics Perturbation Theory 2
What is a perturbation?
A ‘small’ change H1 to the Hamiltonian of a solved problem H0 .
Notation: Perturbed problem H |ni = En |ni
(0)
But H = H0 + H1 and the unperturbed problem is solved: H0 |n0 i = En |n0 i.
When is a perturbation small?
The fundamental assumption of perturbation theory: The unperturbed ket is a good approxi-
mation to the exact ket. The unperturbed kets form a complete set so we can write
X X
|ni = cm |m0 i where |cm |2 = 1.
m m
The fundamental assumption means then implies:
there is one big term in this expansion: cn ≈ 1 and all other terms are small: cm ≪ 1 for
n 6= m.
If we don’t care about normalisation (we can always normalise at the end of the calculation,
and it doesn’t affect eigenvalues) then we can in fact divide by cn and define instead
X
|ni = |n0 i + cm |m0 i .
m6=n
CWPP 15/2/2013
Further Quantum Physics Perturbation Theory 3
Perturbation Parameters
In perturbation theory there is usually an identifiable physical parameter λ such that H1 =
λh1 . For example, a fruitful source of perturbation problems is application of external fields
to atoms. These give perturbations like qφ = −qEz and −B · µ where q is the electric charge,
and µ the magnetic dipole moment. Obviously the external field strengths E and B can play
the role of λ.
We can now attempt an expansion of the unknown ket and eigenvalue as a power series in λ:
X
En = λp e(p) (0) (1) (0) (1)
n = en + λen . . . = En + En . . .
p
where the first term is independent of the perturbation, the second term scales linearly with
the perturbation, and so on. In effect we are splitting up the corrections to the eigenvalue
and ket into parts that vary as different powers of λ:
En = En(0) + En(1) + En(2) . . . |ni = |n0 i + |n1 i + |n2 i + . . .
(2)
where En contains a factor λ2 and |n1 i a factor of λ etc.
The question of the convergence of these series is a delicate one (and depends on the prob-
lem). But even if the series don’t converge, we can still use the first few terms to improve our
approximate zeroth order solution.
CWPP 15/2/2013
Further Quantum Physics Perturbation Theory 4
(H0 + H1 ) [|n0 i + |n1 i + |n2 i] = (En(0) + En(1) + En(2) ) [|n0 i + |n1 i + |n2 i]
and identify zeroth-, first-, second-order terms from the number of factors of λ, and equate
them separately:
(0)
Zeroth Order: H0 |n0 i = En |n0 i
(1) (0)
First Order: H1 |n0 i + H0 |n1 i = En |n0 i + En |n1 i
(2) (1) (0)
Second Order: H1 |n1 i + H0 |n2 i = En |n0 i + En |n1 i + En |n2 i
(0)
We recognise the unperturbed equation, giving us the En and |n0 i we already know.
The other equations give us the corrections.
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 5
We can isolate these by taking the inner product with one of the unperturbed kets:
which cancels a term on the right. (In fact, both of these terms are zero since h n0 | n1 i = 0.)
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 6
hn0 | H1 |n0 i
En(1) = = hn0 | H1 |n0 i
h n0 | n0 i
since the denominator is 1. (But note we don’t have to do perturbation theory with nor-
malised kets — and if we don’t, then the theory still gives the correct result.)
The first-order energy correction is the expectation of the perturbation in the unperturbed state.
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 7
(1)
The term involving En vanishes and the second term on the left becomes (same argument)
(0)
Em h m0 | n1 i. Thus
hm0 | H1 |n0 i
h m0 | n1 i = (0) (0)
m 6= n
En − Em
This defines all the amplitudes for |n1 i except h n0 | n1 i. But that is just zero because they
are orthogonal. So
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 8
(2) To look at it another way, eigenvalues are special cases of expectation values:
If we make the fundamental assumption that the unperturbed ket is a good approximation to
(0)
the exact ket we immediately get the same result En ≈ En + hn0 | H1 |n0 i.
(3) If we rearrange the first-order equation we find out why we don’t determine h n0 | n1 i:
H0 |n1 i − En(0) (1)
|n1 i = − H1 − En |n0 i
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 9
(2)
As before there are two things we don’t know, En and |n2 i.
And as before we can eliminate all the unknown kets by taking the inner product with |n0 i:
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 10
These equations indicate the close link between the first-order correction to the ket and the
second-order correction to the energy: you can’t have one without the other! The first form
(2) (2)
shows that if |n1 i = 0 then so is En . The final form shows that En could only be zero by
some flukey cancellation in the sum over amplitudes.
∗
There is an interesting symmetry of the mixing amplitudes h m0 | n1 i: h m0 | n1 i = − h n0 | m1 i .
Thus if a bit of state m is mixed into n by the perturbation then there is an equal but oppo-
site mixing of n into m. This is exactly what we need to preserve orthogonality to first order.
Then we see that states that mix in first order repel in second order. And hence the second-
order correction to the ground state is always negative.
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 11
n2 π 2 h̄2
The unperturbed eigenvalues are En(0)
= 2
= n2 E1 (where n = 1, 2, 3 . . .)
2ma r
2 h nπx i
and the eigenkets have a simple x-representation h x| n0 i = un (x) = sin .
a a
The first-order energy shift is then
Z a
En(1) = hn0 | H1 |n0 i = un (x) H1 un (x) dx
0
This simplifies to W
2 (un+2 − un−2 ) except for the special cases of n = 1 and n = 2. For n = 2,
sin (n − 2)πx/a = 0 while for n = 1 sin (n − 2)πx/a = − sin πx/a.
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 12
(1)
Thus almost all the En vanish because H1 |n0 i is orthogonal to |n0 i. The only exception is
(1) W W
E1 = h10 | H1 |10 i = h 10 | 30 i − h 10 | 10 i = −
2 2
This also gives us all the matrix elements of H1 to evaluate the ket correction:
W |(n − 2)0 i |(n + 2)0 i
|n1 i = + (only 1 term for n=1,2)
2 [n2 − (n − 2)2 ]E1 [n2 − (n + 2)2 ]E1
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 13
This problem can be solved exactly - the Schrodinger equation becomes the Mathieu equa-
tion, and the wavefunctions are Mathieu functions. There is a Mathematica notebook on the
FQM Website which compares the exact and perturbative solutions.
The Stark effect is a perturbation by an electric field E = −∇Φ. There are two charges in the
atom, so the change in the Hamiltonian is H1 = +eΦ(0) − eΦ(r).
For a uniform E in the z-direction, magnitude E, Φ(r) = Φ(0) − Ez so H1 = eEz.
CWPP 15/2/2013
Further Quantum Physics Non-degenerate Perturbation Theory 14
So either p = −p′ , the states have opposite parity, or the matrix element is zero.
Thus all diagonal matrix elements vanish and so does the first-order energy (unless there is
degeneracy). (This argument is perfectly general and applies to all atomic states — the Stark
effect is usually only second-order.) But in Hydrogen there is degeneracy. . . .
(2)
X | hn′ ℓ′ 0| eEz |100i |2
But in the non-degenerate ground state: E1 = (0) (0)
.
n′ ℓ′ 6=10 E1 − En
CWPP 15/2/2013
Further Quantum Physics Degenerate Perturbation Theory 15
CWPP 15/2/2013
Further Quantum Physics Degenerate Perturbation Theory 16
We can now put this (correct but as yet unknown!) ket into the first-order equation:
(1)
H1 |(n, z)0 i + H0 |(n, z)1 i = Enz |(n, z)0 i + En(0) |(n, z)1 i
We take the inner product with one of our arbitrary basis kets for En :
(1)
h(n, a)0 | H1 |(n, z)0 i + h(n, a)0 | H0 |(n, z)1 i = Enz h (n, a)0 | (n, z)0 i + En(0) h (n, a)0 | (n, z)1 i
CWPP 15/2/2013
Further Quantum Physics Degenerate Perturbation Theory 17
An eigenvalue equation!! With a Hermitian matrix in the known (but arbitrary) a basis.
This gives us:
(1)
Eigenvalues: Each eigenvalue is one of the first-order energy shifts En ;
Eigenvectors: Each component of the eigenvector gives us one of the amplitudes
h (n, a)0 | (n, z)0 i which define the correct zeroth-order z basis in terms of the a basis.
Again, the result is more memorable than the derivation.
CWPP 15/2/2013
Further Quantum Physics Degenerate Perturbation Theory 18
CWPP 15/2/2013
Further Quantum Physics Degenerate Perturbation Theory 19
Suppose there is an operator S which commutes with both H0 and H1 . Then it commutes
with the exact H, and the exact eigenstates are eigenstates of S. So we just use the mutual
eigenbasis of H0 and S, |(n, s)0 i.
In this basis the off-diagonal elements are all zero (as long as the degenerate states have dif-
ferent s eigenvalues):
In the example given the relevant operator is reflection about the line φ = π/4, 5π/4 so that
the correct eigenfunctions are cos(φ − π/4) and sin(φ − π/4).
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 20
The example suggests that if E = h̄ω then the system responds and can end up in the excited
state, and if not, not.
So our physical intuition suggests that the result is discontinuous! This is a hint that we need
to be a bit careful. The combination of discrete energy levels and perfectly-defined frequen-
cies is obviously a tricky one. We shall proceed with caution!
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 21
Basic equations.
The eigenkets of H0 form a complete set, so we can always expand a state in terms of them.
If V = 0 then we have seen that the state is in general
X
|ψ(t)i = an exp (−iEn t/h̄) |ni
n
so a sensible place to start is to assume an expansion of this form but allowing an to vary
with t:
X
|ψ(t)i = an (t) exp (−iEn t/h̄) |ni .
n
Substitute into the time-dependent Schrodinger equation ih̄d/dt |ψ(t)i = (H0 + V ) |ψ(t)i:
X dan X
ih̄ + an En exp (−iEn t/h̄) |ni = an exp (−iEn t/h̄) En + V (t) |ni .
n
dt n
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 22
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 23
Perturbative Expansion.
Equating powers of V we get a series of equations for the rate of change of each coefficient in
terms of the next lower coefficient:
(0)
dam
Zeroth Order: ih̄ =0 → a(0) (0)
m (t) = am (t0 ).
dt
(1) X X Z t
dam 1
First Order: ih̄ = Vemn a(0)
n → a (1)
m (t) = Vemn dt′ a(0)
n
dt n
ih̄ n t0
(2)
dam X 1 X Z t
Second Order: ih̄ = Vemn a(1)
n → a(2)
m (t) = Vemn a(1) ′
n (t ) dt
′
dt n
ih̄ n t0
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 24
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 25
X hm| V |ii
|ψ(0)i = |ii + |mi = |i′ i to first order.
Ei − Em
m6=i
In this case the wavefunction follows the evolving Hamiltonian in the corresponding eigenket.
This is known as the adiabatic approximation, and requires h̄α ≪ |Ei − Em |.
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 26
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 27
CWPP 15/2/2013
Further Quantum Physics Continuum States 28
∂uP
−ih̄ = P uP → uP (x) = A exp[iP x/h̄]
∂x
This is the solution for any value of P , so the possible values of momentum are P = any-
thing, with energy eigenvalues P 2 /2m — not discrete eigenvalues but a continuous range.
A is a normalisation constant — but the eigenfunctions are not normalisable!
These two problems always occur together: eigenkets belonging to eigenvalues in a continuous
range are unnormalisable. The whole set of states are sometimes referred to as the contin-
uum.
′ ′
√
The standard normalisation is ‘δ-function normalisation’: h P | P i = δ(P − P ); A = 1/ 2πh̄.
But if we think about the uncertainty principle the situation is obvious: in an eigenket the
momentum is sharply defined, ∆p = 0 and so the position uncertainty must be infinite.
In fact the eigenket |P i is physically unrealisable. The same is true of the position eigenket
|Xi. They still form a basis but physical states must be formed by superposition to make a
wavepacket.
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 29
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 30
The sinc function has a peak at x = 0, falling to zero at x = ±π. Thus for any value of t the
sinc function gives particular weight to final states E(p) for which −2πh̄/t ≤ ∆E ≤ 2πh̄/t.
As time goes on this range gets steadily narrower, emphasising states around the energy con-
serving state ∆E = 0. It makes sense to change variable to the argument of the sinc function:
dE(p) t t
x = (E(p) − Ei − h̄ω)t/2h̄ and dx = dp = dp
dp 2h̄ 2h̄ρf (E(p))
CWPP 15/2/2013
Further Quantum Physics Time-dependent Perturbation Theory 31
2π
Fermi’s Golden Rule: Rate = | hp| V |ii |2 ρ(E).
h̄
mW 2 h̄
|ii with Ei = − and h x| ii = √ exp (−mW |x|/h̄2 )
2h̄2 mW
and two continuum states for every positive value of E, one even parity and one odd parity:
(
h̄2 p2 h x| p, −i = √1 sin px
|p, ±i with E(p) = and
πh̄ h̄
2m h x| p, +i = √1
πh̄
cos p|x|h̄ +φ where tan φ = πmW
ph̄
We perturb this system with −F xe−iωt , so that only the odd-parity states contribute. Thus
we use the above results with |pi replaced by |p, −i.
CWPP 15/2/2013
Further Quantum Physics Summary of Time-dep’t Pert Theory. 32
Schrodinger Equation:
d
ih̄ |ψi = H0 |ψi + V (t) |ψi
dt
so in a time δt the increment to the ket is
−iH0 −iV (t)
δ|ψi = |ψi + |ψi δt.
h̄ h̄
The first term provides the usual time-dependence for energy eigenstates |Ei, rotating them
(clockwise!) in the complex plane with angular frequency E/h̄.
The second term gives the transitions between eigenstates.
We can project the ket increment onto the energy eigenstates (just the second term):
X iV (t)
δ|ψi = |Ei hE| |ψi δt
h̄
E
so so to get to a particular final state Ef this must be non-zero: the ket increment must not
be orthogonal to |Ei (and the more similar they are the bigger the probability of transition).
The initial state is rotating in complex plane at Ei /h̄; the little bit of state |Ef i rotates at
Ef /h̄, so the successive increments cancel out unless the time-dependence of V (t) contains a
part which rotates at the correct difference frequency (Ef − Ei )/h̄.
CWPP 15/2/2013
Further Quantum Physics Trinity Term Outline 33
CWPP 15/2/2013
Further Quantum Physics Selection Rules 34
CWPP 15/2/2013
Further Quantum Physics Selection Rules 35
The Total A.M. of the electrons in the atom is usually given the symbol J .
(If the nucleus is included as well it’s called F , but strictly speaking the selection rule applies
to whatever is the total A.M. of the atom.)
The A.M. of the radiation field can’t be less than 1h̄, (the spin of the photon), but can be
more: spatial structure in the field can carry additional A.M.
Different interaction multipoles (dipole, quadrupole . . .) carry different amounts of A.M.
We shall just consider the lowest multipole (dipole) and the strongest case (electric).
P
In this case the A.M. is 1h̄, and the interaction Hamiltonian is −E · D, where D = −e i ri
summed over the electrons.
The addition of the angular momentum of the two parts of the system require the Rules for
the Addition of Angular Momenta:
CWPP 15/2/2013
Further Quantum Physics Selection Rules 36
So if the final state involves adding Jf and 1, the possible final angular momenta are from
Jf + 1 to |Jf − 1|. Obviously this depends on the value of Jf :
This expresses the exchange of one unit of A.M. between the atom and the radiation field.
CWPP 15/2/2013
Further Quantum Physics Selection Rules 37
CWPP 15/2/2013
Further Quantum Physics Selection Rules 38
This is true simply because D is a vector operating on the atomic variables, and J is the to-
tal atomic angular momentum. This is a very powerful argument because of its generality:
S(α) = (1 − iαJz /h̄) rotates the atomic state by the infinitesimal angle α around the z-axis.
When we do this the matrix elements of a vector operator must behave as vectors:
iα
hf | Dx |ii + hf | Jz Dx − Dx Jz |ii = hf | Dx |ii − α hf | Dy |ii ,
h̄
CWPP 15/2/2013
Further Quantum Physics Selection Rules 39
We now use the fact that the free-atom states will be eigenstates of angular momentum:
replace |ii with |Ji Mi i and similarly for the final state. Then the three commutators with Jz
give the selection rule on M :
The other two are [Jz , Dx ] = ih̄Dy and [Jz , Dy ] = −ih̄Dx or [Jz , Dx ± iDy ] = ±h̄(Dx ± iDy ).
Again we take a general matrix element:
CWPP 15/2/2013
Further Quantum Physics Selection Rules 40
(Note the emerging typographical convention: we use upper case letters for whole atom quan-
tities and lower case for single electron quantities.)
Now the transition operator D does not involve S at all:
In multi-electron atoms these rules are only approximate because whereas the state of the
free atom is an eigenstate of J 2 , it is only approximately an eigenstate of L2 and S 2 .
CWPP 15/2/2013
Further Quantum Physics Identical particles and Pauli Principle 41
Suppose we have a state of two non-interacting particles in the same gravitational potential
(I’m only using gravity because if they are non-interacting they had better be electrically
neutral!):
p21 p22
H= + + mφ(r1 ) + mφ(r2 )
2m 2m
This acts on a ket |ψi, and there is a complete set of basis kets |r1 , r2 i = |r1 i |r2 i represent-
ing a state in which particle i is at ri .
What sort of eigenstates can we expect to find?
There is an obvious symmetry — both particles are identical so they appear in the Hamil-
tonian in identical ways. (If they didn’t we could use the difference to distingush between
them.) To make it more formal we introduce an exchange operator P12 which swaps particle
labels:
p21 p22
P12 = etc and hence [P12 , H] = 0.
2m 2m
Thus it appears that eigenstates of H can be chosen to be eigenstates of P12 .
2
P12 = 1 and so the eigenstates are either symmetric P12 |ψi = |ψi or antisymmetric P12 |ψi =
− |ψi. But the vanishing [P12 , H] commutator doesn’t just apply to this situation: it will be
true for any other interaction we care to introduce. It simply depends on the indistinguisha-
bility of the two particles.
CWPP 15/2/2013
Further Quantum Physics Identical particles and Pauli Principle 42
Thus neither this Hamiltonian nor any other possible Hamiltonian can distinguish between
the two particles so [P12 , H] = 0 for all situations.
But this means that two particles in a symmetric state will always remain in a symmetric
state (compare the argument for the Parity selection above). So at the foundation of the
world some of these identical particles were put in symmetric and some into antisymmetric
states . . . this is getting ridiculous!
It is not so! For any given particle the wavefunction is either always symmetric under P12 , or
always antisymmetric, depending on the particle. Particles with symmetric wavefunctions
obey Bose-Einstein statistics, and are known as bosons, and particles with antisymmetric
wavefunctions obey Fermi-Dirac statistics and are known as fermions.
Particles with integer spin are bosons, and particles with half-integer spin are fermions.
Thus electrons, protons, neutrons, 3 He nuclei are fermions, deuterium nuclei, hydrogen atoms
and alpha particles are bosons.
That electron wavefunctions are antisymmetric under P12 is known as the Pauli principle.
(Nomenclature complex here.)
CWPP 15/2/2013
Further Quantum Physics The Atomic Hamiltonian 43
The atom consists of N electrons (charge −e, mass m, labelled 1 to N ) and a nucleus (charge
Ze, mass M , labelled 0). The mass of the atom is M = M + N m.
The Hamiltonian is the energy function of the atom. The biggest terms are obvious:
X P2
i
H0 = Kinetic energy of the electrons
i
2m
X Ze2
− Electrostatic electron-nucleus potential energy
i
4πǫ0 Ri
X e2
+ Electrostatic electron-electron potential energy
i>j
4πǫ0 Rij
What does this leave out? There are at least five categories of omitted terms:
(1) Relativistic correction to non-relativistic kinetic energy
(2) Kinetic energy of the nucleus
(3) Finite size of the nuclear charge distribution
(4) Other corrections to the electron-nucleus interaction
(5) Corrections to the electron-electron interaction
CWPP 15/2/2013
Further Quantum Physics The Atomic Hamiltonian 44
X Pi4
H1 = −
i
8m3 c2
P02
H2 = .
2M
CWPP 15/2/2013
Further Quantum Physics The Atomic Hamiltonian 45
By giving the system three more degrees of freedom, it is no longer fixed to the origin - the
whole atom can now move! We need to remove this free-particle degree of freedom to dis-
cover what the energy of the system is in the centre-of-mass frame.
We do this with a co-ordinate change:
P
M R0 + j mRj
r0 = Centre of Mass
M
ri = R i − R 0 Electron i relative to Nucleus
We need to find out what the new conjugate momenta are — i.e. we have to find out what
the operators P = −ih̄∇0 and pi = −ih̄∇i represent.
In fact the algebra is shorter if we proceed backwards(!):
CWPP 15/2/2013
Further Quantum Physics The Atomic Hamiltonian 46
Thus P (the momentum conjugate to r0 ) represents the total momentum of the atom in the
original reference frame, and hence P /M represents the velocity of the centre of mass V .
Then pi = Pi − mV V = m(V − V ) is the momentum in the centre-of-mass frame.
Thus although our co-ordinate is ri = Ri − R0 , the position relative to the nucleus,
the conjugate momentum pi represents the mass × velocity relative to centre of mass.
To complete the calculation we find the total kinetic energy in terms of the new momenta:
X P2 P02 X ( m P + p i )2 M
(M P + p 0 )2 P2 X p2 p20
i M i
+ = + = + +
i
2m 2M i
2m 2M 2M i
2m 2M
which nicely splits into the free-particle term, the electronic term (but relative to centre of
mass instead of fixed origin) and a new term representing the kinetic energy of the nucleus:
P 2
(− i pi )
H2 =
2M
CWPP 15/2/2013
Further Quantum Physics Atomic Units 47
CWPP 15/2/2013
Further Quantum Physics Atomic Units 48
CWPP 15/2/2013
Further Quantum Physics Atomic Units 49
1 1
− ∇2 ψ − ψ = Eψ.
2 |r|
1 e−|r|
This has eigenvalues Enlm = − 2 and the wavefunctions are, for example, ψ100 = √ .
2n π
This is a remarkable result: all these distinct systems have the same eigenvalues and wave-
functions — apart from the scaling factors. All the system properties for hydrogen can be
scaled appropriately and apply to positronium or He+ .
CWPP 15/2/2013
Further Quantum Physics Atomic Units 50
However if we add in the relativistic correction terms in H this is no longer exactly true:
they have system-dependent scaling factors even after the switch to these variables. (Also,
in the case of Ps, we may have to reconsider terms neglected because of their ‘nuclear’ mass-
dependence)
Thus at this level the system-dependent constants remain: we see that in He+ this term is
relatively Z 2 = 4 times bigger than in Hydrogen (neglecting the small change in ζ), and abso-
lutely Z 4 = 16 times bigger.
CWPP 15/2/2013
Further Quantum Physics Atomic Units 51
It looks as though the same Z and µ-scaled atomic units will simplify H:
X p2
i 1 1 1 µ
H = H(Z, ζ) − + + p1 · p2 .
i=1,2
2 |ri | Z |r12 | M
But in this case we can’t eliminate the system-dependent factors from the scaled Hamiltonion
— the fact that we can for Hydrogen is (yet another) special result. Every He-like system is
a fundamenatally different problem. We shall therefore make the usual choice of mass-scaled
but not Z-scaled units:
CWPP 15/2/2013
Further Quantum Physics Helium 52
We start with some analysis on H to find out what properties its eigenkets will have.
A complete set of kets is provided by position and spin eigenstates |r1 , r2 , σ1 , σ2 i in which
particle i is at ri , and has z-component of spin σi which can be either ± 12 .
Thus h a, b, α, β| ψi where a, b are position vectors, and α, β are ±1, is the amplitude for the
configuration with electron 1 at a with spin α and electron 2 at b with spin β.
Obviously [P12 , H] = 0 and we require fermionic antisymmetry:
We define operators R12 and S12 which exchange position and spin labels (P12 = R12 S12 ):
H contains no spin operators, so that [R12 , H] = [S12 , H] = 0. Hence the eigenkets can be
eigenkets of both R12 and S12 .
CWPP 15/2/2013
Further Quantum Physics Helium 53
We can safely assume that [J, H] = 0, where J = L + S is the total angular momentum.
But since H contains no spin operators [S, H] = 0, and also [L, H] = 0.
However [ll1 , H] is non-zero because of the electron-electron interaction term:
1 µ 1 r1 ∧ r2
[ll1 , H] = r1 ∧ p1 , + p1 · p2 and r1 ∧ p1 , | = −i 6= 0
|r12 | M |r12 |r12 |3
So the eigenkets can be eigenkets of any component of L and S, but not of the single-electron
angular momenta.
Finally H commutes with parity P (as do all atomic Hamiltonians) [H, P ] = 0.
How many of these are simultaneously possible — that is, how many of these operators com-
mute with each other as well as with H?
All except for the fact that the different components of angular momenta do not commute
([Lx , Ly ] = iLz etc.) We therefore choose to make the states eigenstates of L2 and Lz etc.
We then find that [J 2 , Lz ] 6= 0 and [J 2 , Sz ] 6= 0.
CWPP 15/2/2013
Further Quantum Physics Helium 54
Thus two of the four states are symmetric, and the other two have no definite symmetry. But
we can easily find normalised symmetric or anti-symmetric combinations:
1 1 1
S12 √ [|+, −i + |−, +i] = √ [|−, +i + |+, −i] = + √ [|+, −i + |−, +i]
2 2 2
1 1 1
S12 √ [|+, −i − |−, +i] = √ [|−, +i − |+, −i] = − √ [|+, −i − |−, +i]
2 2 2
So there are three symmetric spin states (S12 eigenvalue +1) and one antisymmetric
spin state (S12 eigenvalue −1). These must be combined with spatial states of the opposite
symmetry so that the overall P12 symmetry is antisymmetric (P12 eigenvalue −1).
CWPP 15/2/2013
Further Quantum Physics Helium 55
1
Sz = s1z + s2z and we know s1z |+i = |+i .
2
Thus we can easily deduce
1 1
Sz |+, +i = + |+, +i = (+1) |+, +i Sz |+, −i = 0
2 2
−1 −1
Sz |−, −i = + |−, −i = (−1) |−, −i Sz |−, +i = 0
2 2
Thus Sz eigenvalues: the three symmetric states have +1, 0, −1, and the antisymmetric state
has 0.
The S2 part needs a bit more work: S2 = (s1 + s2 )2 = s21 + s22 + 2s1 · s2 . We can expand the
final term:
2s1 · s2 = 2s1x s2x + 2s1y s2y + 2s1z s2z = s1+ s2− + s1− s2+ + 2s1z s2z .
CWPP 15/2/2013
Further Quantum Physics Helium 56
CWPP 15/2/2013
Further Quantum Physics Helium 57
CWPP 15/2/2013
Further Quantum Physics Helium 58
Perturbation Theory
However these exact properties do not enable us to find the eigenkets or their energies.
The only approach we have to fall back on is Perturbation Theory .
We drop the small nuclear motion terms, and revert to standard atomic units to leave
X p2
i Z2 1
H = H0 − + .
i=1,2
2 |r i | |r 12 |
The term that makes it hard is the 1/r12 term — without that it is just two uncoupled hy-
drogen Hamiltonians. But the coefficient of 1 is not exactly small in comparison with Z,
especially in Helium. But this approach might just give some insight in helium-like ions of
higher Z.
CWPP 15/2/2013
Further Quantum Physics Helium 59
However these don’t have all the symmetries we want (as well as some quantum numbers —
n and ℓ — we said we didn’t want). But the ground state (n1 = n2 = 1, ℓ1 = ℓ2 = 0 ≡ s) is
OK:
1s2 1 S = |1si |1si |0, 0i
where the spatial state is symmetric so the spin state is antisymmetric, and there is no angu-
lar momentum either orbital or spin, and even parity. The zeroth-order energy is two hydro-
genic energies:
(0) Z2 Z2
E1s2 =− − = −Z 2 in units of H0 .
2 2
Z2 Z2
En(0)
1 n2
=− 2 − 2 in units of H0 .
2n1 2n2
Taking n2 → ∞ gives a prediction for the 1st ionization energy of Z 2 H0 /2, or 54.4 eV for
helium — a rotten prediction! But it makes one useful prediction: the state with both elec-
trons in n = 2 has 1/4 of the binding energy of the ground state, whereas the first ionisation
is predicted to be a half: any doubly excited states are above the first ionisation level.
CWPP 15/2/2013
Further Quantum Physics Helium 60
These states have all the right eigenvalue properties: spin and space exchange symmetry, par-
ity, eigenstates of S2 , L2 , Sz and Lz . (No coupling required in orbital angular momentum be-
cause one of the ℓ is zero!) The only problem is that it is also an eigenstate of ℓ21 + ℓ22 .
(0) Z2 Z2
E1snℓ =− − 2 in units of H0 .
2 2n
Now we have constructed the correct zeroth-order eigenkets and energies we can do some per-
turbation theory.
CWPP 15/2/2013
Further Quantum Physics Helium 61
1 1 1 1
= p2 = √
|r12 | r1 − 2r1 · r2 + r22 r> 1 − 2t cos θ12 + t2
where r> is the larger of |r1 |, |r2 |, and t = r< /r> . But this is just the generating function for
Legendre polynomials so
∞ ℓ
X
1 r<
= ℓ+1
Pl (cos θ12 )
|r12 | r>
ℓ=0
If we only consider ℓ = 0, or s, states then we need only consider the first term in the series:
the others introduce angular factors that integrate to zero.
For the ground state we have
Z Z
(1) ∗ 1 3 3 Z6 1 −2Zr1 −2Zr2 3
E1s2 = ψ1s2 (r1 , r2 ) ψ1s2 (r1 , r2 ) d r1 d r2 H0 = 2 e e d r1 d3 r2 H0 .
r> π r>
(1)
The integral is 5Z/8 so E1s2 = (5Z/8) H0 .
CWPP 15/2/2013
Further Quantum Physics Helium 62
CWPP 15/2/2013
Further Quantum Physics Helium 63
In the excited states we now reap the benefits of putting some effort into the symmetries of
the zeroth-order kets: what would otherwise be a degenerate perturbation problem of large
order can be treated as non-degenerate because the kets are all eigenkets of operators com-
muting with H0 and H1 :
(
(1) 1s2s3 r1> 1s2s3 S
E1s2s =
1s2s1 r1> 1s2s1 S
known as direct and exchange integrals (upper sign for singlet, lower for triplet).
CWPP 15/2/2013
Further Quantum Physics Helium 64
CWPP 15/2/2013
Further Quantum Physics Helium 65
Variational Theorem
To do better than this we must use a more powerful method. The variational theorem allows
us to construct very accurate ground states (or lowest states of given symmetry):
Theorem:
For any ket |αi the expectation value of the Hamiltonian hα| H |αi / h α| αi is an upper bound
for the ground state energy.
Proof:
P
Expand |αi in energy eigenstates |αi = i ci |Ei i. Then
P 2
P
hα| H |αi i |c i | E i i |ci |2 (Ei − E1 )
= P 2
= E1 + P 2
≥ E1 .
h α| αi |c
i i | |c
i i |
since the last term is positive definite. Equality is obtained iff |αi = |E1 i.
All accurate atomic wavefunctions are based in way or another on the variational theorem,
either constructing the wavefunction as a sum of analytic functions with variable coefficients,
or as a numerical approximation on a grid of points.
For excited states there is an extension, the HUM (Hylleraas-Undheim-MacDonald) Theorem:
for a set of trial wavefunctions the n’th eigenvalue of the Hamiltonian matrix gives an upper
bound for the n’th excited state.
CWPP 15/2/2013
Further Quantum Physics Helium 66
CWPP 15/2/2013
Further Quantum Physics Helium 67
CWPP 15/2/2013
Further Quantum Physics Helium 68
Obviously this is somewhat better for Helium but for the higher Z cases it’s not really any
improvement — because we haven’t tackled the fundamental problem of the correlation in-
duced by the electron-electron interaction.
The real problem stems from the fact that the approximate kets we are using are eigenkets of
ℓi . For the groundstate this implies that the variational wavefunction is of the form ψ(r1 , r2 ):
the amplitudes
h r1 n, r2 n, α, β| ψi and h r1 n, −r2 n, α, β| ψi
From a perturbation perspective, the effect of the 1/r12 perturbation is to mix other configu-
rations, including a small amount of 2p2 1 S into 1s2 1 S .
The quantum numbers ℓi are thus approximate: giving a rough indication of the property of
the state but not exactly true: an important idea in atomic physics.
CWPP 15/2/2013