For et system af elektroner i fx et molekyle antages det, at den samlede bølgefunktion kan approksimeres som en Slater-determinant, hvor hver elektron beskrives af såkaldte spinorbitaler, der er elementer i Slater-determinanten:
Det kan vises, at der for hver spinorbital er en såkaldt Hartree-Fock-ligning:
hvor er Fock-operatoren for elektron 1. Den er givet ved den isolerede elektrons Hamilton-operator plus et effektivt potentiale fra de andre elektroner:
mens er en energi associeret med spinorbitalen.
Hartree-Fock-metoden går ud på at løse dette ligningssystem for derved at finde en approksimativ løsning til .[2][1]
I de følgende to afsnit vil problemet først få en mere deltaljeres behandling, hvorefter Hartree-Fock-ligningen vil blive udledt.
Et generelt system af atomkerner og elektroner beskrives tidsuafhængigt med Schrödinger-ligningen:
hvor er Hamilton-operatoren, er bølgefunktionen, og er energien. Hamilton-operatoren er summen af alle bidrag til den kinetiske og potentielle energi:
Første led er elektronernes kinetiske energi, er atomkernernes kinetiske energi, er elektron-elektron-frastødning, er atomkerne-atomkerne-frastødning, mens er elektron-atomkerne-tiltrækning. Vha. Born-Oppenheimer-approksimationen kan en simplere Hamilton-operator opskrives, der kun inkluderer termer, der afhænger af elektronerne:
Skrevet fuldt ud repræsenteres alle interaktionerne med Coulomb-potentialer:
For overskuelighedens skyld bruges fra nu af desuden atomare enheder, hvor mange af faktorerne i ligningen sættes til 1:
Dette kan gøres endnu mere kompakt, idet de første to led kan betragtes som en sum af Hamilton-operatoren for hver elektron uden vekselvirkning:
Schrödinger-ligningen for elektronerne er altså:
Det er denne ligning, der kan løses med Hartree-Fock-metoden.[2][1]
Grunden, til at en Slater-determinant bruges til at approksimere bølgefunktionen, er, at den er en funktion af samtlige elektroner, og at den er antisymmetrisk, hvilket vil sige, at den får et negativt fortegn, hvis to elektroner ombyttes. Dette er nødvendigt, da elektroner er fermioner. I princippet kan bølgefunktionen skrives eksakt som en uendelig sum af Slater-determinanter, men dette er ikke praktisk muligt. I stedet antages det, at bølgefunktionen kan beskrives tilstrækkeligt med én enkelt Slater-determinant. Denne approksimation er central for Hartree-Fock-metoden. Andre metoder såsom konfigurationsvekselvirkningsmetoden (CI) bruger flere Slater-determinanter.
Energien i grundtilstanden er derfor givet ved:
hvor er et funktional af bølgefunktionen. For at finde de optimale spinorbitaler, skal energien jf. variationsprincippet minimeres. Det kræves yderligere, at spinorbitalerne er ortonormale, hvilket vil sige, at det indre produkt skal være lig med Kroneckers delta:
Variationen af dette er
da Kroneckers delta er en konstant og derfor har en variation på nul. Vha. Lagrange-multiplikatorer kan denne betingelse tilføjes for samtlige kombinationer af spinorbitaler. Funktionalet , der skal minimeres, er derfor:
Variationen skal være nul, når spinorbitalerne er optimerede:
Det er her udnyttet, at summernes indekser er arbitrære, og at både integralerne og er Hermitiske. Det andet led er allerede evalueret, men for at finde variationen af skal størrelsen først udtrykkes direkte vha. spinorbitalerne.
Grundtilstandsenergien
For at finde grundtilstandsenergien anvendes det, at Slater-determinanten er en sum af Hartree-produkter, der gennemgår samtlige permutationer af elektroner i de forskellige orbitaler, og at leddene skifter fortegn for hver permutation. Dette kan skrives som:
hvor er permutationsoperatoren, og summen er over antallet af samtlige permutationer. For spinorbitaler, er der mulige permutationer. Dette kan alternativt ses som en operator , der virker på et Hartree-produkt for at gøre det antisymmetrisk:
hvor derfor kaldes for antisymmetriseringsoperatoren:
Med denne notation kan skrives som:
Vha. regnereglerne for kan dette omskrives:
Udtrykket for Hamiltonoperatoren indsættes:
Det første led repræsenterer energien for de isolerede elektroner, men det andet led er energien pga. vekselvirkningen. Summerne kan simplificeres ved at betragte de enkelte led. Det første led for permutationen for elektron skrives ud som integraler:
Da kun afhænger af elektron , kan udtrykket skrives som et produkt af integraler:
Integralet med Hamilton-operatoren er den isolerede elektrons energi . Spinorbitalerne er ortonormale, så de andre integraler givet 1:
For alle andre permutterede led vil der være mindst et integrale af to forskellige spinorbitaler, hvilket giver 0. Derfor er blot en sum af :
Uden vekselvirkningerne er energien altså blot summen af de enkelte elektroners energi, hvilket også er forventeligt. Elektronernes koordinater er blevet integrerede ud - resultatet ville være det samme, så længe orbitalerne er ens - så angiver nu, hvilke orbitaler der integreres.
Vekselvirkningsenergien kan evalueres på en lignende måde. For elektronerne og ved gælder:
Alle integraler, der ikke har noget med og at gøre, giver 1:
Energibidraget for to elektroner er her altså forventningsværdien af den inverse afstand - pga. atomare enheder - imellem dem. Dette udtrykker blot den elektrostatiske frastødning , som også kendes fra klassisk fysik.
Men det er ikke hele historien. Det tilsvarende led for - en ombytning af elektron og giver:
Dette minder om det forrige bidrag, men elektronerne på højre side af ligningen er nu i forskellige orbitaler. Dobbeltintegralet er derfor ikke blot en gennemsnitlig afstand. Dette bidrag er ombytningsenergien og findes ikke i klassisk fysik.
Alle andre permutationer giver derimod integraler af forskellige spinorbitaler og bidrager derfor ikke. Dvs. at
hvor og refererer til orbitalerne. Det ses, at og er ens, når er ens:
Dvs. at summen ikke behøver at undgå dette led:
Faktoren er tilføjet for at opveje, at summerne nu tæller alle interaktioner to gange.
Den samlede energi er derfor:
Der altså tre forskellige interaktioner, som bidrager til energien.[2][1]
Variationen
Variationen af er nu en sum af variationer:
For er variationen:
Som forklaret tidligere er det arbitrært, hvilken elektron der integreres over. For nemhedens skyld kaldes den her blot for elektron 1.
Da Hamilton-operatoren er Hermitisk, er de to led ens:
For integreres der over elektron 1 og elektron 2:
Her er den Hermitiske egenskab igen udnyttet. For findes et tilsvarende udtryk:
Her er det yderligere udnyttet, at det er arbitrært, om elektronen kaldes 1 eller 2. Samlet bliver variationen derfor:
Det er her igen udnyttet, at integrationsvariablerne og summernes indekser er arbitrære.
Variationen inkl. ortonormalitetsbetingelsen er derfor:
Integralerne i midten kan omskrives til operatorer, der virker på :
Pr. definition ændrer altså spinorbitalen fra til . Dermed bliver udtrykket:
Det samlede udtryk skal være nul for alle variationer af . For at det er muligt, må udtrykket i parentesen være nul:
På højre side kan summen ophæves ved at rotere spinorbitalerne.[2][1]
Hvordan, Hartree-Fock-ligningerne løses, afhænger af, hvilke spinorbitaler benyttes. Da elektronerne er fermioner, kan de ikke eksisterer i ens spinorbitaler, men to elektroner kan godt eksistere i den samme rumlige orbital , hvis de blot har forskellige spin og . Inden for den såkaldte begrænsede Hartree-Fock-metode antages det, at - og - elektronerne netop har ens rumlige orbitaler, mens det i den ubegrænsede Hartree-Fock-metode tillades, at de rumlige orbitaler er forskellige. Den begrænsede metode er best egnet til systemer med et lige antal elektroner (closed shell), mens den ubegrænsede metode er bedre til at håndtere et ulige antal elektroner (open shell).[3]