Hartree equation


In 1927, a year after the publication of the Schrödinger equation, Hartree formulated what are now known as
the Hartree equations for atoms, using the concept of self-consistency that Lindsay had introduced in his study of many electron systems in the context of Bohr theory. Hartree assumed that the nucleus together with the electrons formed a spherically symmetric field. The charge distribution of each electron was the solution of the Schrödinger equation for an electron in a potential, derived from the field. Self-consistency required that the final field, computed from the solutions was self-consistent with the initial field and he called his method the self-consistent field method.

History

In order to solve the equation of an electron in a spherical potential, Hartree first introduced atomic units to eliminate physical constants. Then he converted the Laplacian from Cartesian to spherical coordinates to show that the solution was a product of a radial function and a spherical harmonic with an angular quantum number, namely. The equation for the radial function was

Hartree equation in mathematics

In mathematics, the Hartree equation, named after Douglas Hartree, is
in
where
and
The non-linear Schrödinger equation is in some sense a limiting case.

Hartree product

The wavefunction which describes all of the electrons,, is almost always too complex to calculate directly. Hartree's original method was to first calculate the solutions to Schrödinger's equation for individual electrons 1, 2, 3,... in the states, which we come up with individual solutions: Since each is a solution to the Schrödinger equation by itself, their product should at least approximate a solution. This simple method of combining the wavefunctions of the individual electrons is known as the Hartree product:
This Hartree product gives us a system wavefunction, as a combination of wavefunctions of the individual particle wavefunctions. It is inherently mean-field and is the unsymmetrized version of the Slater determinant ansatz in the Hartree–Fock method. Although it has the advantage of simplicity, the Hartree product is not satisfactory for fermions, such as electrons, because the resulting wave function is not antisymmetric. An antisymmetric wave function can be mathematically described using the Slater determinant.

Derivation

Let's start from a Hamiltonian of one atom with Z electrons, the same method with some modifications can be expanded to a mono atomic crystal using the Born–von Karman boundary condition and to a crystal with a basis.
The expectation value is given by
Where the are the spins of the different particles.
In general we approximate this potential with a mean field which is also unknown and needs to be found together with the eigenfunctions of the problem. We will also neglect all relativistic effects like spin-orbit and spin-spin interactions.

Hartree derivation

At the time of Hartree the full Pauli esclusion principle was not yet invented, it was only clear the exclusion principle in terms of quantum numbers but it was not clear that the wave function of electrons shall be anti-symmetric.
If we start from the assumption that the wave functions of each electron are independent
we can assume that the total wave function is the product of the single wave functions and that the total charge density at position due to all electrons except i is
Where we neglected the spin here for simplicity.
This charge density creates an extra mean potential:
The solution can be written as the coulomb integral
If we now consider the electron i this will also satisfy the time independent Schroedinger equation
This is interesting on its own because it can be compared with a single particle problem in a continuous medium where the dielectric constant is given by:
Where and
Finally we have the system of Hartree equations
This is a non linear system of integro-differential equations, but it is interesting in a computational setting cause we can solve them iteratively.
Namely we start from a set of known eigen-functions and starting initially from the potential
computing at each iteration a new version of the potential from the charge density above and then a new version of the eigen-functions, ideally these iterations converge.
From the convergence of the potential we can say we have a "self consistent" mean field, i.e. a continuous variation from a known potential with known solutions to an averaged mean field potential, in that sense the potential is consistent and not so different from the originally used one as ansatz.

Slater - Gaunt Derivation

In 1928 J. C. Slater and J. A. Gaunt independently showed that Given the Hartree product approximation:
They started from the following variational condition
where the are the Lagrange multipliers needed in order to minimize the functional of the mean energy. The orthogonal conditions acts as constraints in the scope of the lagrange multipliers. From here they managed to derive the Hartree equations

Fock and Slater determinant approach

In 1930 Fock and Slater independently then used the slater determinant instead of the Hartree product for the wave function
This determinant guarantees the exchange symmetry and the pauli principle if two electronic states are identical there are two identical rows and therefore the determinant is zero.
They then applied the same variational condition as above
Where now the are a generic orthogonal set of eigen-functions from which the wave function is built. The orthogonal conditions acts as constraints in the scope of the lagrange multipliers. From this they derived the Hartree–Fock method