Introduction To Atomistic Simulation Through Density Functional Theory
Introduction To Atomistic Simulation Through Density Functional Theory
1
2
SUMMARY
1. ATOMISTIC SIMULATION
where Vcoul is the contribution due to Coulomb forces, Vvdw due to van
der Waals forces, and Vstretch , Vangle , Vtorsion arise due to two-, three-,
and four body bond deformation. These terms each contain variable pa-
rameters which are obtained by fitting to physical properties for which the
values are well known. The requirement that parameters be predetermined
4
explicitly by fitting to existing data limits the predictive power of the ap-
proach, especially at conditions that are experimentally difficult/imposible
to achieve, which is precisely where computational approaches can be of
greatest value.
First Principles, or ab initio1 calculations apply the fundamental theory
describing condensed matter physics to characterize material properties.
The potential energy of the material responsible for bonding is obtained in
situ by computing the electronic structure of the material. Density Func-
tional Theory is the state of the art of such calculations, and has been widely
applied with great success in the chemical and physical sciences.
2. THEORITICAL BACKGROUND
E = nhν n = 0, 1, 2, . . . , (2)
1
The term ab initio is latin for "from the beginning", and indicates that the calculation is
from first principles and that no empirical data is used.
5
λ = h/p. (3)
h̄2 2
− ∇ Ψ(r) + V (r)Ψ(r) = EΨ(r). (5)
2m
where h̄ = h/2π, m is the mass of the particle, V is the potential energy, and
Ψ is the wavefunction. Recasting the equation in terms of the Hamiltonian
operator, we have
h̄2 2
Ĥ = − ∇ + V (r). (7)
2m
By applying his equation to an electron within a Coulomb potential,
Schrödinger matched the Bohr model of the hydrogen atom, from which
follows the well known s, p, d and f orbitals. Similarly, in an N electron
atom, orbitals are represented (approximately) by the individual eigenval-
ues i occupied by the electrons each corresponds to an eigenfunction ψi .
Electrons populate these orbitals such that their energy is minimized, one
2
with the Laplacian ∇2 = ∂ 2 /∂ 2 x + ∂ 2 /∂ 2 y + ∂ 2 /∂ 2 z
7
consequence of which is that degenerate electrons will arrange such that the
total spin is maximized. Further conditions on the wave function demand
that it be antisymmetric under the interchange of any two electrons, from
which follows the well known exclusion principle due to Wolfgang Pauli.
The exclusion principle requires each electron in a many electron system
to occupy a unique energy state. In condensed matter, this results in the
formation of a band structure in the electronic density of states.
Two non-classical electronic interaction effects arise as a result of the
wavelike nature of particles, namely exchange and correlation. Exchange
arises because electrons of the same spin avoid each other, and thus the
8
and the correllation energy has been determined using quantum Monte
Carlo calculations (Fig. 1).
For a system of electrons that is non-interacting except that they satisfy
the exclusion principle, the total wave function may be constructed by
means of a Slater determinant,
1
Ψ = √ det[ψ1 , ψ2 , . . . , ψN ]. (9)
N!
However, constructing the total wave function for fully interacting electrons
is not straightforward, and prohibitively difficult for more than a few tens
of electrons.
The connection between the wave function and the behaviour of the
associated particle was realized by Born, who postulated that the probability
of finding the particle at r is given by
where Ψ∗ is the complex conjugate of Ψ. From this folows that the expec-
tation value of a given observable is given by
∞
f (r) = Ψ∗ (r)f (r)Ψ(r)d3 r, (11)
−∞
9
three dimensions (Fig. 3). If the basis for the unit cell is described by ai ,
any point R in the Bravais lattice follows as
R = n 1 a1 + n 2 a2 + n 3 a3 , (13)
where ni are integers. While an infinite number of unique unit cells exist
for any given Bravais lattice, a unique primitive cell with the full symmetry
of the lattice exists for each type. This unit cell, known as the Wigner-Seitz
cell, is the region of space about a single lattice point that is closer to that
point than to any other point in the lattice (Fig. 4).
Mathematically, the periodic nature of crystal lattices is represented suc-
cinctly in reciprocal space, the lattice of which is defined by the set of
all wave vectors K of planewaves that have the periodicity of the Bravais
lattice
K = m1 b1 + m2 b2 + m3 b3 . (14)
h̄2 h̄2 1 ZI ZJ e2
Ĥ = − ∇2i − ∇2I +
i
2me I
2MI 2 I=J |RI − RJ |
ZI e2 1 e2
− + , (15)
i,I
|ri − RI | 2 i=j |ri − rj |
with T̂ the kinetic energy operator, Vext the potential due to interaction of
electrons with nuclei.
Given the charge density ρ(r) and the positions of the nuclei, the prop-
erties of the system can be obtained exactly from Eq. 20, to the extent that
14
the individual terms are known. The form for the classical Coulomb term
is known, and it can be evaluated exactly. If the wavefunction Ψ of the
system is known exactly, the kinetic energy term can also be constrained.
However, as mentioned above, the exact form of the exchange-correlation
term is not known, and must be approximated. Herein lies the key challenge
in the accurate determination of the electronic structure of an interacting
many-body system.
The error in the kinetic energy in Eq. 21 is very large, and the assumption
of uniform charge density precludes the existence of chemical bonding,
so that the Thomas-Fermi model is not useful as a tool for detailed char-
acterization. For example, it fails to account for the known properties of
terrestrial planets, and the gas giants, strongly overestimating the density
profiles of these planets (Fig. 5). The method is nonetheless insightful
as an early solution to the many body Hamiltonian of a system described
in terms of the charge density, and pointed the way for the formulation of
Density Functional Theory.
16
E0 ≤ Ĥ(ρ̃), (22)
in other words, the exact ρ(r) provides the minumum possible energy for
the ground state. The theorem provides the theoretical underpinning by
which the Hamiltonian may be solved, in principle exactly.
The Kohn-Sham approach is to replace the difficult interacting many body
system with a non-interacting system which can be more readily solved, and
from which the exact solution of the interacting system can ultimately be
obtained. The kinetic energy term is replaced by that of the non-interacting
electron gas
1 KS 2 KS
T KS (ρ) = − ψi |∇ |ψi , (23)
2
where ψiKS are the individual Kohn-Sham orbitals, from which the total
wavefunction ΨKS is constructed as a Slater determinant. Keep in mind
that the Kohn-Sham orbitals (ψiKS ) and their corresponding eigenvalues
(i ) are introduced as a mathematical trick, and are not physical properties
of the interacting system. The difference between the non-interacting and
true kinetic energy values is small, and is added to the exchange-correlation
energy term.
The form of the Hamiltonian for the Kohn-Sham system is then
(Ĥ KS − KS
i )ψi (r) = 0,
KS
(25)
1
Ĥ KS (r) = − ∇2 + V KS (r), (26)
2
V KS (r) = Vext (r) + VHartree (r) + Vxc (r). (27)
Given its simplicity, the LDA performs remarkably well for a wide variety
of materials, though there are numerous instances in which it does not
reproduce known thermodynamic properties. For example, the LDA is
known to overpredict densities (overbinding). In some cases (though not
always), these problems are resolved by applying the generalized gradient
approximation (GGA), in which the exchange correlation term is a function
of the charge density gradient |∇ρ| as well
3
GGA
Exc (ρ) = x (ρ)Fxc (ρ, |∇ρ|)]d r,
ρ(r)[heg (29)
18
- Abinit (http://www.abinit.org)
- Castep (http://www.tcm.phy.cam.ac.uk/castep)
- Espresso (http://www.quantum-espresso.org)
- Crystal (http://www.crystal.unito.it)
- Gaussian (http://www.gaussian.com)
- Siesta (http://www.uam.es/siesta)
- Vasp (http://cms.mpi.univie.ac.at/vasp/vasp)
- Wien (http://www.wien2k.at)
21
4. FURTHER READING