Equivalence Between Total Energy Minimization and Solving Kohn-Sham Equation#
In this tutorial, we demonstrate that minimizing the total energy in density functional theory (DFT) is mathematically equivalent to solving the Kohn-Sham equations. This equivalence underpins direct minimization methods, an alternative to conventional diagonalization-based approaches for DFT calculations.
Note
For background on total energy minimization, refer to the tutorial Total Energy Minimization.
Note
- Assumptions:
Occupation numbers are omitted (i.e., all orbitals are singly occupied).
Spin-spin_restricted formalism is used. For generalization with occupation numbers, see [Li2024].
Total Energy Functional#
The total energy functional for a system of non-interacting electrons is expressed as:
where
Kinetic energy (\(T_s\)): The kinetic energy of non-interacting electrons:
Hartree-exchange-correlation energy (\(E_{\text{Hxc}}\)): The Hartree-exchange-correlation energy of the system:
External potential (\(V_{ext}\)): Represents interactions with ions or applied fields.
The electron density \(n(\mathbf{r})\) is:
Constrained Minimization#
The orbitals \(\psi_i(\mathbf{r})\) must satisfy orthonormality:
To enforce this, we use Lagrange multipliers \(\lambda_{ij}\) and construct the Lagrangian:
Functional Derivatives and Stationarity#
Taking the functional derivative of the Lagrangian \(L\) with respect to \(\psi_i^*(\mathbf{r})\) (conjugate variable) gives:
Let’s break down each term:
Kinetic Term:
Hartree-XC Term:
The first terms of the potential is also known as the Hartree potential:
External Potential Term:
Kohn-Sham Equation#
Combining all terms, the stationary condition becomes:
The matrix \(\lambda_{ij}\) is Hermitian due to orthonormality constraints. By choosing a unitary transformation that diagonalizes \(\lambda_{ij}\), we obtain the Kohn-Sham eigenvalue equation:
where the Kohn-Sham Hamiltonian is:
References#
Li, Tianbo, et al. “Diagonalization without Diagonalization: A Direct Optimization Approach for Solid-State Density Functional Theory.” arXiv preprint arXiv:2411.05033 (2024).