| Physics and Astronomy |
|
| Physics Home | Study here | Our Teaching | Our Research | Our Centres | News | Work here | EMPS |
Back to top
Hartree-Fock and Density Functional Theory
Atomic Units
It is advantageous to use simplified units. If we
set
To find the
ground-state 1s solution, write
The solution is 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:
Here
Bohn-Oppenheimer Approximation Write the total wave-function as
where Here,
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 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: where
Hartree-Fock Theory The Hartree-Fock assumption is :
where The sum being over 2-values of s.
To
derive the Hartree Fock equations for a H
Then the energy expectation is This is, using atomic units and remembering the denominator is unity as the orbitals are orthonormal (including spin functions), The average energy is then Here,
Thus, summing over
The penultimate term is the exchange energy.
Now, we use the variational principle and seek to minimise E
subject to
orthonormal spin-orbitals 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 and hence we maximise f(x, c/b -ax/b) with respect to x. This is maximum when We can also do this by a method introduced by Lagrange. Introduce the function Then maximise F with respect to x, y and z independently. We get The last equation recovers the constraint and z can be eliminated from the first two giving
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, Thus stationary point satisfies, But Lagrange's method used to maximise f = F - z g gives the same equations:
From the first two we get, as before,
We minimise
wrt
We then get the Hartree-Fock equations:
Now can carry out a unitary transformation on the Slater determinant
which diagonalises
The exchange potential can be rewritten as:
Two simple properties of
These relations show that the exchange forces the electrons away from
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
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
Here,
This is independent of
Now, define
Notice that
The total energy is The total energy density is then the sum of the kinetic and exchange energy densities. This is
The last term is written
Evaluation of exchange energy
Here we have used integration by parts:
Hence
Notice that the density of states, per unit energy, for each spin is
Now, show that
Density Functional Theory
Hohenberg and Kohn showed there is a 1-1 correspondence between the
ground state
(non-degenerate) wave-function 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 then
the ground state electron density is in 1-1 correspondence with
the external potential But in a similar way we can show Adding these equations gives us which is absurd unless the states are degenerate.
This shows that
Define orthonormal orbitals 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
Here
It is possible to carry out more accurate calculations for jellium
leading to more precise values of
The Kohn-Sham Equations are now derived by a variational principle
remembering that the orbitals
is minimised wrt
to Here
The main difference with the Hartree-Fock equations is the
exchange-correlation
term. Show that for jellium, N(E) is no longer zero at
An alternative formula for E is
found by multiplying by
This formula is useful for a discussion of approximate methods.
The terms
Bob Jones Mon Feb 1 08:11:09 GMT 1999 |