Semi-classical limit theorems for Hartree-Fock theory (Q793966)

In the paper the author used the technique of Sobolev inequalities and strongly continuous semi-groups to relate the Hartree-Fock exchange energy to the Dirac exchange energy. It is shown that the exchange energy for the Hartree-Fock ground state of the large number of electrons with Coulomb repulsion moving under the influence of static nuclei converges in a suitable limit to the formula obtained by Dirac for exchange energy as an integral of the one body density. At first the author considers the simple case of a large number of fermions with no mutual interaction moving under the influence of a nonlocal potential. Then he extends his method to the general case.