Skip to content
Physics and Astronomy
Home Our Teaching Resources RJ Theor_option node5.html
Back to top

Hartree-Fock and Density Functional Theory

Atomic Units It is advantageous to use simplified units. If we set tex2html_wrap_inline1017 , then the Schrödinger equation for the hydrogen atom becomes:

eqnarray153

To find the ground-state 1s solution, write tex2html_wrap_inline1021 , then

eqnarray161

The solution is tex2html_wrap_inline1023 and tex2html_wrap_inline1025 . Thus radius of atom is 1 a.u.

The unit of length is then 1 a.u. = Bohr radius = 0.529 Å and the unit of energy

1 a.u. = 27.214 eV.

The many-body Schrödinger equation for the electrons in the field of fixed nuclei is then:

eqnarray169

Here tex2html_wrap_inline1027 . The full Hamiltonian must include the kinetic energy of the ions.

eqnarray186

Bohn-Oppenheimer Approximation

Write the total wave-function as

displaymath1029

where tex2html_wrap_inline1031 is the wave-function of the ions alone and tex2html_wrap_inline1033 the wave-function of the electrons for infinitely massive ions, ie tex2html_wrap_inline1035 . Thus for finite nuclear masses, the term tex2html_wrap_inline1031 modulates the wavefunction. The next step is to substitute tex2html_wrap_inline1039 into the Schr{ödinger equation, multiply by tex2html_wrap_inline1041 and integrate over r. This gives:

eqnarray192

Here,

eqnarray698

The term on the right hand side of the first equation is zero when the state is non-degenerate as then we can always choose tex2html_wrap_inline1033 to be real. For then, RHS is

eqnarray699

and integral is unity from the normalisation condition. This proof fails when state is degenerate or almost degenerate. We are usually interested in the ground state of a system is usually non-degenerate. The W term is also very small (actually zero for infinitely massive nuclei) and usually neglected. We are now left with the equation:

eqnarray701

where

eqnarray703

Hartree-Fock Theory

The Hartree-Fock assumption is :

eqnarray220

where tex2html_wrap_inline1049 are set of orthonormal one-electron orbitals to be determined. tex2html_wrap_inline1051 is a spin function taking care of the internal degrees of freedom of the electron. Thus s take two values (up-, down-, or 1, 2) while tex2html_wrap_inline1055 is a quantum number - again tex2html_wrap_inline1057 (the z-components of the spin tex2html_wrap_inline1061 ), or possibly up or down. The spin functions satisfy:

eqnarray226

The sum being over 2-values of s.

To derive the Hartree Fock equations for a H tex2html_wrap_inline799 molecule, write the wave function as

eqnarray705

Then the energy expectation is

displaymath1067

This is, using atomic units and remembering the denominator is unity as the orbitals are orthonormal (including spin functions),

eqnarray706

The average energy is then

eqnarray708

Here,

eqnarray710

Thus, summing over tex2html_wrap_inline1069 ,

eqnarray277

The penultimate term is the exchange energy. Now, we use the variational principle and seek to minimise E subject to orthonormal spin-orbitals tex2html_wrap_inline1073 . Now, we use the variational principle and seek to minimise E subject to orthonormal tex2html_wrap_inline1077 .

To do this, we introduce a mathematical technique useful to find the maximum or minimum of functions with constraints. Sometimes we want to maximise a function f(x, y) subject to some relation like a x + b y =c where a, b and c are constants. Clearly, we could eliminate y as

displaymath1089

and hence we maximise f(x, c/b -ax/b) with respect to x. This is maximum when

eqnarray712

We can also do this by a method introduced by Lagrange. Introduce the function

eqnarray724

Then maximise F with respect to x, y and z independently. We get

eqnarray726

The last equation recovers the constraint and z can be eliminated from the first two giving

eqnarray738

which is the same as the direct method. This can be generalised to non-linear constraints like g(x, y) = 0. For an extremal value, tex2html_wrap_inline1105 must be zero but dx and dy are not arbitrary as

eqnarray744

Thus stationary point satisfies,

eqnarray746

But Lagrange's method used to maximise f = F - z g gives the same equations:

eqnarray748

From the first two we get, as before, tex2html_wrap_inline1113 . \

We minimise wrt tex2html_wrap_inline1115 the function:

displaymath1117

We then get the Hartree-Fock equations:

eqnarray338

eqnarray751

tex2html_wrap_inline1119 are the Hartree and exchange potentials. The last involves a sum over other occupied orbitals tex2html_wrap_inline1121 whose spin is the same as tex2html_wrap_inline823 . The electron density is:

eqnarray367

Now can carry out a unitary transformation on the Slater determinant which diagonalises tex2html_wrap_inline1125 and then right hand side of the differential equation vanishes. Once the orbitals are known, tex2html_wrap_inline1127 can be evaluated.

The exchange potential can be rewritten as:

eqnarray372

Two simple properties of tex2html_wrap_inline1129 are:

eqnarray389

These relations show that the exchange forces the electrons away from tex2html_wrap_inline843 resulting in an exchange hole. The total exchange charge density is -1. The total energy E can be found by multiplying the Hartree-Fock equations by tex2html_wrap_inline1135 and integrating. This gives:

eqnarray398

Notice that the interaction terms must be subtracted from the sum of energy eigenvalues.

Problem: prove Koopmann's theorem which states that the difference in energy between two configurations differing by the occupation of an orbital tex2html_wrap_inline823 , while all the other orbitals tex2html_wrap_inline1139 are unchanged, is tex2html_wrap_inline1141 . This allows us to interpret tex2html_wrap_inline1143 as the ionisation energy for the tex2html_wrap_inline823 electron.

The Homogeneous Electron Gas.

Let us now apply the theory to jellium where the ions form a uniform background. Then a solution of the Hartree-Fock equations is

displaymath1147

Here, tex2html_wrap_inline823 stands for the quantum numbers tex2html_wrap_inline1151 . The charge density, n, is then uniform and the Hartree term cancels the electron-ion term leaving only the kinetic energy and exchange terms only. The exchange potential for either spin is independent of tex2html_wrap_inline843 and hence the energy levels

displaymath1157

eqnarray414

This is independent of tex2html_wrap_inline1159 and depends on the magnitude of tex2html_wrap_inline1161 only.

eqnarray424

Now, define tex2html_wrap_inline1163 , and note the electron density is tex2html_wrap_inline1165 . Then, we show below:

eqnarray441

Notice that tex2html_wrap_inline1167 tends to 1 as tex2html_wrap_inline1169 , and to 0.5 as tex2html_wrap_inline1171 . tex2html_wrap_inline1173 tends to tex2html_wrap_inline1175 as tex2html_wrap_inline1177 tends to 1. The average of F is tex2html_wrap_inline1181 , ie

displaymath1183

The total energy is

displaymath1185

The total energy density is then the sum of the kinetic and exchange energy densities. This is

eqnarray467

The last term is written tex2html_wrap_inline1187 where

displaymath1189

tex2html_wrap_inline1191 is called the exchange energy density.

Evaluation of exchange energy

eqnarray487

Here we have used integration by parts:

eqnarray509

eqnarray513

Hence

eqnarray515

Notice that the density of states, per unit energy, for each spin is

eqnarray531

Now, show that tex2html_wrap_inline1193 as tex2html_wrap_inline1171 . Hence density of states of a metal is zero at the Fermi level. This is incorrect and is due to absence of correlation in Hartree-Fock theory.

Density Functional Theory

Hohenberg and Kohn showed there is a 1-1 correspondence between the ground state (non-degenerate) wave-function tex2html_wrap_inline1197 and the electron density tex2html_wrap_inline1199 defined by

eqnarray543

Here, we integrate over all the electrons spatial coordinates and sum over their spin coordinates.

The proof rests on the preliminary result that in the Hamiltonian

displaymath1201

then the ground state electron density is in 1-1 correspondence with the external potential tex2html_wrap_inline1203 . Suppose, this is false, ie there exists two external potentials tex2html_wrap_inline1205 and tex2html_wrap_inline1207 having the same n. Then from the variational principle , if tex2html_wrap_inline1211 and tex2html_wrap_inline1213 are the corresponding normalised wave-functions, and if tex2html_wrap_inline1215 is the Hamiltonian with potential tex2html_wrap_inline1217 and energy tex2html_wrap_inline1219 , then

eqnarray551

But in a similar way we can show

displaymath1221

Adding these equations gives us

displaymath1223

which is absurd unless the states are degenerate.

This shows that tex2html_wrap_inline1203 is determined uniquely by n and hence the Schrödinger equation for tex2html_wrap_inline1229 can be solved in terms of n. Thus tex2html_wrap_inline1229 is a unique functional of n. We use this to write down a variational equation for E in terms of n.

Define orthonormal orbitals tex2html_wrap_inline1241 so that the electron density is

displaymath1243

Here the orbitals will be determined by the requirement that E is minimised wrt to n. To do this we need an expression for E in terms of n. The theorem we have just proved shows that there must be an expression. Kohn and Sham suggested we use

eqnarray562

Here tex2html_wrap_inline1253 is exchange-correlation energy density which in the case of jellium is:

eqnarray591

It is possible to carry out more accurate calculations for jellium leading to more precise values of tex2html_wrap_inline1255 .

The Kohn-Sham Equations are now derived by a variational principle remembering that the orbitals tex2html_wrap_inline1077 are orthonormal. Thus the quantity

displaymath1259

is minimised wrt to tex2html_wrap_inline1261 This yields:

eqnarray603

Here

eqnarray614

The main difference with the Hartree-Fock equations is the exchange-correlation term. Show that for jellium, N(E) is no longer zero at tex2html_wrap_inline1265 .

An alternative formula for E is found by multiplying by tex2html_wrap_inline1269 and integrating, followed by a sum over the occupied orbitals tex2html_wrap_inline823 .

eqnarray619

This formula is useful for a discussion of approximate methods.

The terms tex2html_wrap_inline1273 and tex2html_wrap_inline1275 tend to cancel: as they must for jellium. For simple systems, the term tex2html_wrap_inline1277 acts as an attractive potential -- it gets more positive as the separation between atoms increases-- but the other three terms combine to act as a repulsive potential. It is often assumed that the repulsive one is short ranged and falls off quickly to zero. The attractive bonding term is longer ranged.



Bob Jones
Mon Feb 1 08:11:09 GMT 1999
                                                                                                                                                                                                                                                                       

Validate   Link-check © Copyright & disclaimer Share
Back to top