density functional theory i · density functional theory the fundamental statement of dft is...

28
Density Functional Theory I Nicholas M. Harrison Department of Chemistry, Imperial College London, & Computational Materials Science, Daresbury Laboratory [email protected]

Upload: others

Post on 08-Jul-2020

13 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Density Functional Theory I

Nicholas M. Harrison

Department of Chemistry, Imperial College London, &Computational Materials Science, Daresbury Laboratory

[email protected]

Page 2: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Density Functional Theory I

• The Many Electron Schrödinger Equation• Hartree-Fock Theory• Solving the Schrödinger Equation• Avoiding Solving the Schrödinger Equation• Density Matrices• The basic ideas of DFT• Kohn-Sham and the non-interacting system• The local density approximation – LDA• Conclusions• Density Functional Theory II …

Page 3: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The Schrödinger Equation for Many Electrons

Time independent, non-relativistic, Born-Oppenheimer…

A linear equation in 3N variables

∑∑<

∧∧

−++∇−=

N

ji ji

ext

N

ii VH

||1

21 2

rr

),...,,(),...,,( 2121 NN EH rrrrrr Ψ=Ψ∧

Three terms – kinetic energy, external potential and electron-electron.

Page 4: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The External Potential

The interaction with the atomic nuclei is:

∑ −−=

∧ atN

extZ

Vα α

α

|| Rr

The external potential and the number of electrons, N, completelydetermine the Hamiltonian.

Page 5: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The Variational Principles

For any legal wavefunction (antisymmetric, normalised)the energy is

[ ] ΨΨ≡ΨΨ=Ψ∧∧

∫ HdHE r*

- the energy is a functional of Ψ

0][ EE ≥Ψ

- Search all Ψ to minimise E => the ground state

Page 6: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Hartree Fock Theory

An ansatz for the structure of the wavefunction

[ ]NHFN

φφφφ ...det!

1321=Ψ

∑∫

∑∫

∫ ∑

−−

−+

+∇−=

N

ji

jiji

N

ji

jjii

iext

N

iiiHF

dd

dd

dVE

,21

21

2*

211*

,21

21

22*

11*

2*

)()()()(21

)()()()(21

)(21

)(

rrrr

rrrr

rrrr

rrrr

rrr

φφφφ

φφφφ

φφ

Page 7: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The Hartree Fock Equations

non-interacting electrons under the influence of a mean fieldpotential consisting of the classical Coulomb potential and a non-local exchange potential.

)(')'()',()('')'(

)(21 2 rrrrrrr

rrr

r iiiXiext dvdV φεφφρ

=+

−++∇− ∫∫

∑∫∫ −−=

N

ji

jjiX ddv ')'(

'

)'()(')'()',(

*

rrrr

rrrrrr φ

φφφ

Page 8: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Beyond Hartree-Fock

Many methods/approximations applicable to small systems.

Expensive & scaling with problem size is ferocious

Eg:

MP2, MP3, MP4 ~ N5, N6, N7

CISD ~ N6

CCSD ~ N6

CCSD(T) ~ N7

Page 9: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Avoiding Solving the Schrodinger Equation

Is it necessary to solve the Schrödinger equation anddetermine the 3N dimensional wavefunction in orderto compute the ground state energy ?

….. No !

Page 10: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The Pair Density

The second order density matrix is defined as

( )NNN ddd

NNP rrrrrrrrrrrrr ...),...,,(),...,,(

21

),;,( 4321''

2'

1*

21'2

'12 ∫ ΨΨ

−=

The diagonal elements are the two particle density matrix or pairdensity function,

),;,(),( 21212212 rrrrrr PP =

This object in 6 dimensions is all we need to compute the exact totalenergy !

Page 11: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The Energy and the Density Matrices

The first order density matrix is

H only contains one-electron and two-electron operators- the energy can be written exactly in terms of P1 and P2

2rrrrrrr dPN

P ),;,(1

2);( 212

'121

'11 ∫−

=

2121221

11'

111

21 ),(

||1

),(||2

1

'11

rrrrrr

rrrRr

rr

ddPdPZ

EatN

∫∫ ∑ −+

−∇−==α α

α

Page 12: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The energy is a functional of P2: E[P2]

Perhaps solve using by minimising E[P2] ?

Very difficult problem –

A legal P2 must be constructible from an antisymmetric Ψ.

Applying this constraint in practice is non trivial.

Life would be much easier if there was a way of doing it …..!

Page 13: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Do we really need to know P2 ?

No …

To find the exact total energy knowledge of thecharge densityρ(r) is enough !

Page 14: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

DFT – the theorems

Theorem 1.

The external potential is uniquely determined by the density - ρ(r)

- so the total energy is a unique functional of the density - E[ρ] !

Theorem 2.

The density which minimises the energy is the ground state density and theminimum energy is the ground state energy.

Hohenburg-Kohn – 1964

Mel Levy

E B Wilson

[ ] 0EEMin =ρρ

Page 15: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Theorem 1 – Wilson’s proof

The charge density has a cusp at the nucleus of any atom suchthat,

0

)(

)0(21

=

∂∂−

α

αα

ρρ

rrr

Z

The charge density uniquely determines the Hamiltonian, thus thewavefunction and all material properties !!!

Page 16: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Density Functional Theory

The fundamental statement of DFT is

[ ] 0))((][ =−− ∫ NdE rrρµρδ

there is a universal functional E[ρ] which could be inserted into theabove equation and minimised to obtain the exact ground statedensity and energy.

Page 17: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

What is the functional ?

There are three terms in the Hamiltonian…

][][][][ ρρρρ eeext VVTE ++=

Vext[ρ] is trivial

T and Vee are very difficult to approximate !

rr dVV extext )(][ ρρ ∫∧

=

Page 18: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Exc[ρ] - Properties

• Does not depend on Vext (the specific system): it is a‘universal’ functional.

• The exact dependence on ρ(r) is unknown

• E(x)c can be exactly determined for any specific density, butthe effort is greater than for usual many-body calculations

E(x)c must be approximated in applications

Page 19: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The Homogeneous Electron Gas

Thomas (1927), Fermi (1928), Dirac (1930)

For the non-interacting gas the kinetic and exchange energy perparticle can be computed – the single particle wavefunctions aresimply plane waves.Perhaps integrate these energy densities for an inhomogeneoussystem ?

∫= rr dT )(87.2][ 35

ρρ

rr dEx )(74.0 34

∫= ρ

….. No chemical bonding !

Ex is OK but what about T ?

Page 20: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

A local function of the density

Thomas-Fermi-Dirac suggests:

[ ] ∫≈ rrr dE xcxc ))(()( ρερρ

)()()( ρερερε cxxc +=

31

)( ρρε Cx −= J. Slater 1951

The functional is a local function of the density …What to do about εc(ρ) ?

Page 21: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

E[ρ] – The Kohn Sham Approach

∑= 2|)(|)( rri

φρ

Write the density in terms of a set of N non-interacting orbitals…

The non interacting kinetic energy and the classical Coulomb interaction

∑ ∇−=N

iiisT φφρ 2

21

][ 2121

21 )()(21

][ rrrr

rrddVH ∫ −

=ρρ

ρ

Allow us to recast the energy functional as:

][][][][][ ρρρρρ xcHexts EVVTE +++=

])[][(])[][(][ ρρρρρ Heesxc VVTTE −+−=

Where we have introduced

Page 22: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Variation Theorem => Kohn Sham Equations

Vary the energy with respect to the orbitals and ….

No approximations, So…

If we knew Exc[ρ] we could solve for the exact ground state energy anddensity !

Cost – N3 ….. In principle N.

)(][

)(r

ρ∂

∂= xc

xcE

V

)()()('')'(

)(21 2 rrrr

rrr

r iiixcext VdV φεφρ

=

+

−++∇− ∫

Page 23: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The Non-interacting system

There exists an effective mean field potential which, when applied to a system ofnon-interacting fermions, will generate the exact ground state energy and chargedensity !!!

,...),(

||1

21 rr

rr

Ψ

− ji)(

)(

r

r

i

xcV

φ

E[ρ], ρ(r)

Page 24: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Hartree Fock is a density functional theory…

Hartree-Fock theory is a density functional theory !

- but with a non-local potential.

∑ ∫−

−=

∫=

j

jij

iixc

rr

rrrdr

rrrVdrV

21

1222

2212

)()()(

)(),(

rr

rrr

rrr

φφφ

φφ

Page 25: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Quantum Monte Carlo Simulations

ρ

εxc

For the Homogeneous electron gas the exact dependence of εxc(ρ)can be computed.

Ceperley and Alder 1980

Page 26: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

The Local Density Approximation - LDA

rrr dE xcLDAxc ))(()(][ ρερρ ∫=

ρ

r

ρ

εxc

Picture courtesy of Andreas Savin

Page 27: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Conclusions I

• For the ground state energy and density there is an exactmapping between the many body system and a fictitious non-interacting system.

- DFT-people study the fictitious system !

• The fictitious system is subject to an unknown potential derivedfrom the exchange-correlation functional

• The energy functional may be approximated as a local functionof the density !

Page 28: Density Functional Theory I · Density Functional Theory The fundamental statement of DFT is d[E[r]− m(∫r(r)dr − N)] = 0 there is a universal functional E[ρ] which could be

Density Functional Theory II

• Why does the LDA work ?• The exchange correlation hole• Comparison with exact exchange and correlation energy

densities• Generalised gradient approximations – GGA’s• Semi-local interactions: Meta-GGA’s• Hybrid-exchange functionals• Performance in molecules and solids