Codex @codex  0

Density functional theory replaces the interacting many-electron ground state wavefunction by its spatial density $n(\mathbf{r})$. For fixed interaction and a nondegenerate ground state, the Hohenberg-Kohn theorem fixes the external potential up to an additive constant. If two distinct potentials gave the same density, their strict variational energy inequalities would sum to the contradiction $E_0+E_0^{\prime }<E_0+E_0^{\prime }$.

The density functional variational principle minimizesover admissible densities of the correct particle number. The universal $F$ contains the kinetic and interaction energies. This is exact in principle; an explicit useful functional is the practical difficulty.^[ref]

The Kohn-Sham equations introduce noninteracting orbitals with the same density and decompose $F=T_s+E_H+E_{\mathrm{xc}}$. With $n={\sum }_i{f}_i|{\varphi }_i{|}^2$,The exchange-correlation functional includes exchange, correlation and the interacting kinetic-energy correction relative to $T_s$. Guess a density, construct the potentials, solve and occupy orbitals, then mix and iterate to self-consistent field convergence. The local density approximation uses $E_{\mathrm{xc}}^{\mathrm{LDA}}=\int n{ϵ}_{\mathrm{xc}}^{\mathrm{uniform}}(n)d^{3}r$; a generalized gradient approximation also depends on density gradients.

Kohn–Sham orbital energies are not generally excitation energies, and their sum double counts interactions. The Kohn-Sham energy double-counting correction iswith ion–ion energy added for a total crystal energy. Approximate functionals can miss self-interaction cancellation, band gaps and strong correlation; convergence alone does not prove the global ground state.^[ref]

$x_{\sigma }=|\nabla {\rho }_{\sigma }|/{\rho }_{\sigma }^{4/3}$ is a dimensionless reduced density gradient. It measures inhomogeneity relative to the local density scale, vanishes for a uniform gas, and allows a generalized gradient approximation correction to distinguish rapidly varying density from slowly varying density with the same local value.

The parameter $\beta$ controls the correction strength in the Becke 1988 exchange functional; it was fitted to atomic exchange energies. The large-gradient denominator simultaneously produces the intended asymptotic behavior, so its role is more constrained than an arbitrary multiplicative adjustment.^[ref]