Density Functional Theory (DFT) is a computational quantum mechanical modelling method to investigate the electronic structure of many-body systems, in particular atoms, molecules, and the condensed phases. The name Density Functional Theory comes from the use of functionals (functions that take functions as argument or return them) of the electron density.

The behavior of a quantum mechanical system is described by the *Schroedinger
equation*

where \(\hat{H}\) is the Hamiltonian (operator), \(\Psi\) is a wave function and \(E\) is the total energy of the system under consideration. The Hamiltonian describes the physics of the system and consists of different energy contributions:

- kinetic energy
- potential energy
- nuclei-nuclei repulsion
- electron-electron repulsion
- nuclei-electron attraction

The wave function is a \(3N\)-dimensional function of the positions of the nuclei and electrons, where \(N\) is the number of particles in the system (i.e. #nuclei + #electrons).

From a mathematical point of view the Schroedinger equation represents an
*eigenvalue problem* (<*link to dicipline/algorithm eigenvalue problems*>).
Analytical solutions can only be obtained for very small systems such as
\(H^{+}, H_{2}\) or other hydrogen-like systems (e.g. \(He^{+}, Li^{2+},
Be^{3+}\)). Density functional theory makes the solution of more interesting,
larger problems feasible by reducing the \(3N\)-dimensional problem to only a
tree-dimensional one.

Hohenberg and Kohn suggested to express the energy as a functional \(E[n(\textbf{r})]\) of the electron density

\[n(\textbf{r}_1) = N \int \Psi \cdot \Psi d\textbf{r}_2 \dots d\textbf{r}_N,\]where \(d\textbf{r}_i\) denotes the position in space of the \(i\)-th particle. The electron density is uniquely defined by the external potential acting on the system and vice versa. Hence, all electronic properties such as the ground state energy are uniquely defined by the electron density as well. Moreover, the energy functional is variational. This means that the ground state density \(n_0(\textbf{r})\) minimizes the energy functional. However, the energy functional needs to be approximated since no explicit representation is known.

Kohn and Sham followed the Hartree approximation, where the behaviour of interacting electrons is approximated by modeling them with non-interacting ones. They proposed the following form of the energy functional:

\[E[n(\textbf{r})] = T_s[n(\textbf{r})] + E_{ext}[n(\textbf{r})] + E_H[n(\textbf{r})] + E_{xc}[n(\textbf{r})],\]where \(T_s\) is the kinetic energy of non-interacting electrons, \(E_{ext}\) is the Coulomb energy, introduced by the attraction of nuclei and electrons, \(E_H\) is the electron-electron interaction in Hartree approximation and \(E_{xc}\) is the exchange correlation functional. The latter term should account for the exchange and correlation energy missing in the Hartree approximation as well as the kinetic error introduced by this approximation. This formalism then leads to \(N\) single particle Schroedinger like Kohn-Sham equations each of dimension 3.

For the exchange correlation functional also no explicit representation is
known. Different approximations are available which can be differentiated into
two categories: *Local Density Approximation (LDA)* and *Generalized Gradient
Approximations (GGA)*. In LDA an exchange correlation potential that only
depends locally on the electron density at each point \(\textbf{r}\) in space
is constructed. For systems with a homogeneous potential this is exact while
for systems with a non-homogeneous potential it serves as an approximation.
GGA also consider the gradient of the electron density in space to improve this
approximation. Both approaches can be combined leading to *hybrid
functionals*.

Solving the Kohn-Sham equations constitutes a self-consistency problem. On the one hand the Hamiltonian depends on the electron density as it is included in the Hartree potential \(E_H\) and the exchange correlation potential \(E_{xc}\). On the other hand the electron density is computed using the Kohn-Sham-orbitals (i.e. the wavefunctions that solve the single particle Schroedinger-like equations). This problem is solved by an iterative procedure: First, a set of initial wavefunctions \(\{ \psi_1^{(0)}, \psi_N^{(0)}, \dots, \psi_N^{(0)} \}\) needs to be given. This set is used to compute an initial electron density \(n^{(0)}(\textbf{r})\). Using this density the Hamiltonian is constructed and the resulting Kohn-Sham equations are solved to obtain a new set of wavefunctions \(\{ \psi_1^{(1)}, \psi_N^{(1)}, \dots, \psi_N^{(1)} \}\). With this set again a new electron density \(n^{(1)}(\textbf{r})\) is computed and the whole procedure is repeated until at some point

\[\lvert n^{(m+1)}(\textbf{r}) - n^{(m)}(\textbf{r}) \rvert < \epsilon_{tol},\]self-consistency for a small tolerance value \(\epsilon_{tol}\) is yielded.

Related programs: FFTXlib · Related algorithms: