Before knowing that the relativistic Hamiltonian H does allow the existence of bounded states (H is unbounded from below and from above), the existence of SCF and beyond SCF solutions had to be assumed as an act of faith vindicated by consistent numerical results. A recent theorem showing the existence of such bounded states furnishes a rigorous framework for the relativistic theory of electronic bounded states.
IntroductionThe atomic physics community sees Charlotte Froese Fischer as the mother of Hartree± Fock methodology, both at the independent particle model (IPM) level of approximation and beyond the IPM [1, 2], without demerit of grandfather Douglas Hartree [3]. Why? For many reasons: she was the ® rst (i) to show how to handle`di cult' con® gurations [4] against prevailing scepticism, (ii) to develop e ectively convergent and ecient numerical self-consistent-® eld (SCF) procedures [5] when analytical methods were reigning supreme [6, 7], (iii) to reliably apply SCF methods beyond the IPM [1,8], when most connoisseurs thought they would not work, and (iv) to write and to make public the most used and useful computer programs for ab initio calculations of atomic structures [9, 10]. Not surprinsigly, she is now playing an important role in leading the new generations into the relativistic realm [11]. In this context, we present some recent work on the foundations of multicon® guration Dirac± Hartree± Fock theory, with special emphasis on the IPM.As one goes from the non-relativistic Schro È dinger equation into Dirac's relativistic theory of the electron, the Hamiltonian becomes unbounded: upon variation in a trial function within Hilbert space, the expectation value h D ,