Il metodo Hartree-Fock, talvolta abbreviato in HF è un metodo approssimato di fisica computazionale, molto utilizzato anche in chimica (chimica computazionale e chimica teorica) per simulare sistemi quantistici fermionici. Il metodo è stato sviluppato per risolvere il problema elettronico in solidi e molecole, cioè, fissate le posizioni dei nuclei atomici, risolvere l'equazione di Schrödinger per i soli elettroni. In particolare esso permette di trovare un'espressione approssimata per l'energia di stato fondamentale (e le sue derivate) da cui stimare le grandezze fisiche del sistema e (nel caso di sistemi chimici) prevederne le proprietà chimiche.
Sostanzialmente si tratta di approssimare la funzione di stato fondamentale del sistema con un solo determinante di Slater, definito come la funzione d'onda a elettroni indipendenti che minimizza l'energia totale. Si giunge così a una pseudo-equazione di Schrödinger, in cui il potenziale è funzione delle autofunzioni stesse. Questo fa di Hartree-Fock una teoria di campo medio, in cui ciascun elettrone è indipendente, ma risente di un potenziale esterno generato da tutti gli altri. Per questo il metodo Hartree-Fock rientra in letteratura scientifica tra i metodi "autocoerenti" (in inglese abbreviato con la sigla SCF, self-consistent field). Fu elaborato in modo indipendente da Douglas Hartree e Vladimir Fock tra la fine del 1920 e i primi anni trenta.
Con esso le caratteristiche molecolari vengono descritte non per mezzo di una modellazione della molecola basata sulla elettrostatica e sulla meccanica classica, ma in termini quantomeccanici risolvendo direttamente l'equazione di Schrödinger per l'oggetto in esame (metodo ab initio), senza ricorrere a semplificazioni dovute a parametri ottenuti sperimentalmente.
Se il sistema contiene elettroni e (con variabile da a ) sono gli spin-orbitali, l'energia di un determinante di Slater risulta:
Dove è l'energia nucleare che, nell'ambito dell'approssimazione di Born-Oppenheimer, non dipende dalle coordinate elettroniche; è l'hamiltoniano monoelettronico, che comprende i contributi dovuti all'energia cinetica degli elettroni e all'energia potenziale di attrazione tra elettroni e nuclei:
Dove sono state utilizzate le unità atomiche ed è stato indicato con il numero dei nuclei, con la carica del nucleo , la cui posizione è definita dal vettore . Abbiamo invece utilizzato la notazione
per indicare gli integrali bielettronici, che descrivono l'attrazione tra coppie di elettroni:
Per questo motivo, nella doppia sommatoria sugli integrali bielettronici si può porre anziché e dividere
per . In realtà, poiché se gli indici e sono uguali il primo integrale è esattamente cancellato dal secondo, si può quindi togliere anche quest'ultima condizione e scrivere:
È possibile osservare come una trasformazione unitaria che combina gli spin-orbitali da a tra di loro lascia inalterata l'energia.
Infatti, se definiamo una nuova base di spin-orbitali nel modo seguente:
dove risulta:
L'energia di un determinante di Slater ottenuto con questa base trasformata, che indichiamo con , sarà:
Il metodo di Hartree-Fock consiste nel trovare la base di spin-orbitali tale che il determinante di Slater costruito con tale base abbia la minima energia, in accordo con il principio variazionale della meccanica quantistica. L'energia , pertanto, deve essere stazionaria rispetto a variazioni infinitesime delle funzioni d'onda , con il vincolo che gli spin-orbitali siano ortonormali tra di loro. Si tratta pertanto di un problema di ottimizzazione vincolata, che può essere risolto con il metodo dei moltiplicatori indeterminati di Lagrange. Se è il funzionale che dobbiamo minimizzare, con il vincolo seguente:
Gli spin-orbitali devono pertanto soddisfare l'equazione:
Dove risulta:
In questa espressione notiamo che è esprimibile come la somma di due contributi, di cui l'uno è il complesso coniugato dell'altro. Per cui se la derivata funzionale rispetto a una funzione di uno di questi due termini è zero, lo sarà anche dell'altro, e l'equazione di Lagrange diventa:
Sfruttando le proprietà degli integrali bielettronici otteniamo:
La matrice dei moltiplicatori di Lagrange è hermitiana, e perciò può essere diagonalizzata da una trasformazione unitaria tra gli spin-orbitali con indice da a . Poiché una tale trasformazione non ha effetto sull'energia, se indichiamo con la nuova base così ottenuta, si ottiene:
Dove gli spin-orbitali sono detti spin-orbitali canonici, mentre sono le loro energie. Questa equazione agli autovalori è nota come equazione di Fock; si osservi che gli operatori e , e quindi , dipendono dalla base di orbitali che vogliamo determinare, perciò il sistema viene risolto in modo iterativo: si parte da una base di spin-orbitali di prova, si costruisce l'operatore di Fock e si determinano autovalori e autofunzioni, tramite le quali si costruisce un nuovo operatore di Fock e così via. L'intero procedimento viene ripetuto fino ad arrivare alla convergenza (metodo iterativo) cioè fino a ottenere un risultato autocoerente, ed è definito procedimento del campo autocoerente di Hartree-Fock (Self Consistent Field, SCF).
Il metodo di Hartree-Fock è il più vecchio dei metodi di calcolo ab initio, e anche il più facile da un punto di vista computazionale. Esso è in grado di calcolare il circa dell'energia di una molecola, ma il problema è che le energie coinvolte nelle reazioni chimiche equivalgono spesso a meno dell' dell'energia totale, per cui in molti casi il metodo HF è inadeguato per un calcolo affidabile di proprietà molecolari di interesse; è comunque usato come riferimento per calcoli più accurati. In pratica esso suppone che gli elettroni siano delocalizzati in "nubi" nello spazio, e che l'energia sia data dall'interazione del campo creato da queste nubi elettroniche tra loro e con i nuclei, per cui la funzione d'onda totale risulta esprimibile come un prodotto di funzioni monoelettroniche a cui viene però imposto il requisito di antisimmetria, per cui si ottiene un determinante di Slater. Si osservi che la funzione d'onda ottenuta con il metodo HF non è un'autofunzione di , e l'energia totale non è una somma delle energie degli orbitali, ma si ha:
La metodica Hartree-Fock descritta è quella generale valida per sistemi atomici o molecolari in cui tutti gli orbitali sono occupati da due elettroni appaiati (closed-shell). I sistemi che contengono elettroni spaiati, possono essere studiati ricorrendo a due metodiche che rappresentano delle varianti della Hartree-Fock: queste sono l'Hartree-Fock Open-Shell ristretto (ROHF), in cui la matrice di Fock non è unica e per canonicalizzazione si ottengono differenti orbitali di differente energia ma con medesime funzione d'onda ed energia totali, e l'Hartree-Fock non ristretto (UHF) che piuttosto che utilizzare un singolo orbitale nel determinante di Slater, ne utilizza differenti per ogni differente spin elettronico.
Il metodo di Hartee-Fock è basato su un principio variazionale sull'energia. Questo implica che l'errore compiuto sulla stima dell'energia è quadratico, mentre è lineare nella funzione d'onda. Il risultato è che tutte grandezze stimate dalla funzione d'onda, come la struttura a bande di un solido, sono mal riprodotte dalla teoria.
L'uso del singolo determinante di Slater, sebbene semplifichi l'approccio computazionale e mantenga una visione di elettroni indipendenti, tiene conto solo delle correlazioni elettroniche dovute al principio di esclusione di Pauli, trascurando gli effetti dell'interazione coulombiana, per cui risulta correlato solo il moto di elettroni aventi spin parallelo. La probabilità di trovare due elettroni con spin antiparallelo in un punto dello spazio risulta in tal modo uguale al prodotto delle probabilità dei singoli elettroni di trovarsi in quel punto (probabilità di due eventi indipendenti), giungendo dunque alla situazione paradossale di ottenere una probabilità non nulla di trovare i due elettroni con spin antiparallelo nel medesimo punto dello spazio.
Questo rende Hartree-Fock un metodo in grado di stimare con molta più accuratezza sistemi magnetici che non sistemi diamagnetici. Per via della natura variazionale, Hartree-Fock trova spesso per i sistemi magnetici un'energia più bassa (per via della migliore stima energetica) prevedendo stati magnetici anche in materiali che non mostrano sperimentalmente tali proprietà, rendendolo poco affidabile nel predire questa transizione di fase.