The ionization conjecture in Hartree-Fock theory. (English) Zbl 1106.81081

Solovej, Jan Philip

Ann. Math. (2) 158, No. 2, 509-576 (2003).

Summary: We prove the ionization conjecture within the Hartree-Fock theory of atoms. More precisely, we prove that, if the nuclear charge is allowed to tend to infinity, the maximal negative ionization charge and the ionization energy of atoms nevertheless remain bounded. Moreover, we show that in Hartree-Fock theory the radius of an atom (properly defined) is bounded independently of its nuclear charge.

MSC:

81V45	Atomic physics
35Q40	PDEs in connection with quantum mechanics
47G20	Integro-differential operators
81Q10	Selfadjoint operator theory in quantum theory, including spectral analysis