51015 Many-body approaches to studies of electronic systems: Hartree-Fock theory and Density Functional Theory
〈μ ν|V|ν μ〉=∫
ψμ∗(ri)ψν∗(rj)V(ri j)ψν(ri)ψμ(ri)drirj.Since the interaction is invariant under the interchange oftwo particles it means for example
that we have
〈μ ν|V|μ ν〉=〈ν μ|V|ν μ〉,
or in the more general case
〈μ ν|V|σ τ〉=〈ν μ|V|τ σ〉.
The direct and exchange matrix elements can be brought together if we define the anti-
symmetrized matrix element
〈μ ν|V|μ ν〉AS=〈μ ν|V|μ ν〉−〈μ ν|V|ν μ〉,or for a general matrix element
〈μ ν|V|σ τ〉AS=〈μ ν|V|σ τ〉−〈μ ν|V|τ σ〉.It has the symmetry property
〈μ ν|V|σ τ〉AS=−〈μ ν|V|τ σ〉AS=−〈ν μ|V|σ τ〉AS.The antisymmetric matrix element is also hermitian, implying
〈μ ν|V|σ τ〉AS=〈σ τ|V|μ ν〉AS.With these notations we rewrite Eq. (15.21) as
∫
Φ∗Hˆ 0 Φdτ=^1
2A
∑
μ= 1A
∑
ν= 1〈μ ν|V|μ ν〉AS. (15.33)Combining Eqs. (15.17) and (15.33) we obtain the energy functionalE[Φ] =
N
∑
μ= 1〈μ|h|μ〉+^1
2N
∑
μ= 1N
∑
ν= 1〈μ ν|V|μ ν〉AS. (15.34)which we will use as our starting point for the Hartree-Fock calculations.
If we vary the above energy functional with respect to the basis functions|μ〉, this corre-
sponds to what was done in the previous subsection. We are however interested in defining
a new basis defined in terms of a chosen basis as defined in Eq. (15.32). We can then rewrite
the energy functional as
E[Ψ] =N
∑
a= 1〈a|h|a〉+1
2
N
∑
ab〈ab|V|ab〉AS, (15.35)whereΨ is the new Slater determinant defined by the new basis of Eq. (15.32). Using
Eq. (15.32) we can rewrite Eq. (15.35) as
E[Ψ] =
N
∑
a= 1∑
α βC∗aαCaβ〈α|h|β〉+1
2 ∑abα β γ δ∑C
∗
aαC
∗
bβCaγCbδ〈α β|V|γ δ〉AS. (15.36)We wish now to minimize the above functional. We introduce again a set of Lagrange multi-
pliers, noting that since〈a|b〉=δa,band〈α|β〉=δα,β, the coefficientsCaγobey the relation
〈a|b〉=δa,b=∑
α βCa∗αCaβ〈α|β〉=∑
αCa∗αCaα,