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.
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 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]
Spinorbitalerne i Hartree-Fock-approksimationen skal altså selv overholde en egenværdi-ligning kaldet Hartree-Fock-ligningen:
-
Denne ligning minder om Schrödinger-ligningen for en enkelt elektron, hvor elektronens bølgefunktion er . Operatoren er Fock-operatoren , der består af den isolerede elektrons Hamilton-operator plus korrektioner, der tager højde for elektron-elektron-interaktionerne:
Den samlede Slater-determinant skal altså bestå af spinorbitaler, der er egenfunktioner til Fock-operatoren. Interaktionsbidraget kan også ses som et effektivt potentiale kaldet Hartree-Fock-potentialet:
-
Selvom virker på spinorbitalerne, ses det dog også, er operatoren afhænger af spinorbitalerne pga. definitionerne på og . Hartree-Fock-ligningerne må derfor nødvendigvis løses vha. en iterativ metode såsom en fikspunktsiteration. For at optimere spinorbitalerne skrives de normalt som en lineær kombination af såkaldte basisfunktioner, der er centrerede omkring hvert enkelt atom. Jo større basissættet er, jo bedre bliver spinorbitalerne, men jo mere omfattende bliver udregningen også.[2][1]