Metoda Hartree-Focka
Metoda Hartree-Focka (poprawnie: Hartreego-Foka[a], też metoda pola samouzgodnionego, metoda HF) – jedna z metod przybliżonego rozwiązywania problemów wielu ciał w mechanice kwantowej wielu cząstek[5]. Metoda ta została opracowana przez D.R. Hartreego, zanim dostępne były komputery, a następnie poprawiona przez W. Foka[3] tak, aby uwzględniać statystykę Fermiego-Diraca, a zatem także zakaz Pauliego.
Metoda Hartree-Focka jest powszechnie stosowana w chemii kwantowej, fizyce jądrowej, fizyce atomu i fizyce materii skondensowanej, gdzie pozwala na przybliżone rozwiązanie równania Schrödingera dla układu wielu cząstek. Jest to podstawowa metoda obliczeniowa ab initio. Oblicza się w niej energię i funkcję falową stanu podstawowego układu wielu cząstek (np. energię elektronową wieloelektronowego atomu lub cząsteczki) w oparciu o model cząstek niezależnych (w przypadku elektronów zwany przybliżeniem jednoelektronowym).
Metoda Hartree-Focka oparta jest na zasadzie wariacyjnej głoszącej, iż energia stanu obliczona jako wartość oczekiwana z dowolnej funkcji falowej jest zawsze większa bądź równa energii będącej dokładnym rozwiązaniem równania Schrödingera. Zakłada się w niej, że funkcja falowa jest, w przypadku układu identycznych fermionów (np. elektronów), wyznacznikiem macierzy zbudowanej z funkcji zależnych od współrzędnych poszczególnych cząstek (zwanych spinorbitalami). Wyznacznik taki nosi nazwę wyznacznika Slatera
- gdzie: , – współrzędna przestrzenna cząstki, – współrzędna spinowa cząstki
W przypadku układu wielu identycznych bozonów, funkcję falową zakłada się w postaci permanentu takiej macierzy. Metoda Hartree-Focka polega na iteracyjnym minimalizowaniu energii układu, liczonej jako wartość oczekiwana, poprzez zmianę postaci spinorbitali. Spinorbital konstruuje się jako iloczyn funkcji spinowej (zależnej od zmiennej spinowej danej cząstki) i funkcji orbitalnej (zwanej orbitalem, zależnej od zmiennych przestrzennych danej cząstki).
Najbardziej powszechnym zastosowaniem metody Hartree-Focka są obliczenia, w ramach przybliżenia Borna-Oppenheimera, energii elektronowej wieloelektronowego atomu lub cząsteczki, i tego przypadku dotyczy omówienie szczegółowe.
Równania Hartreego-Foka
[edytuj | edytuj kod]Rozważmy układ jąder atomowych i elektronów w próżni. Ponieważ operator energii potencjalnej układu nie zależy jawnie od czasu, to i hamiltonian układu nie zależy jawnie od czasu. Wobec tego możemy rozważać stan stacjonarny, to jest rozdzielić funkcję falową układu na część zależną tylko od zmiennych przestrzenno-spinowych i część zależną tylko od czasu. Ponieważ zależność czasowa sprowadza się do globalnego czynnika fazowego, rozważymy tylko część zależną od zmiennych przestrzenno-spinowych.
Ponieważ masa elektronu jest ok. 1854 razy mniejsza od masy protonu, to możemy przyjąć, że zmiana stanu elektronów jest niezależna od zmiany stanu jąder (można to rozumieć tak, że z punktu widzenia elektronów, jądra atomowe są nieruchome). Możemy w ten sposób rozdzielić funkcję falową układu na część zależną od zmiennych przynależących do elektronów i część zależną od zmiennych przynależących jądrom atomowym, dla zadanej konfiguracji jąder:
gdzie: – funkcja falowa opisująca zmienne przestrzenno-spinowe elektronów dla ustalonych położeń jąder atomowych. – funkcja falowa opisująca położenie jąder atomowych.
Owo przybliżenie nazywamy przybliżeniem adiabatycznym. W tym formalizmie możemy rozdzielić hamiltonian na część zależną od elektronów i część zależną od jąder atomowych:
gdzie: – hamiltonian zależny od elektronów, – operator energii kinetycznej jąder atomowych, – operator energii potencjalnej jąder atomowych w polu jąder atomowych.
Pozwala nam to na rozdzielenie energii układu na wkład zależny tylko od elektronów i energię potencjalną jąder w ustalonej konfiguracji:
Takie przybliżenie nazywamy przybliżeniem Borna-Oppenheimera. Bliższa analiza tego przybliżenia wymaga wykorzystania rachunku zaburzeń, jeżeli w jego toku uwzględnimy poprawkę na chwilową energię kinetyczną jąder atomowych, to uzyskamy pełne przybliżenie adiabatyczne. Należy wspomnieć o fakcie, że rachunek zaburzeń działa dobrze, jeżeli różnice energii między poziomami kwantowymi nie są zbyt duże względem zaburzenia, wobec tego przybliżenie adiabatyczne nie będzie dobrze działać np. w obszarach gdzie przecinają się krzywe potencjalne różnych stanów elektronowych.
Przybliżenie Borna-Oppenheimera pozwala na wyobrażenie sobie cząstki chemicznej, tak jak ją rysujemy na kartce papieru: zamrożone jądra atomowe i pewna konfiguracja elektronów. Mimo tego należy pamiętać, że cząstka jest w rzeczywistości bytem dynamiczny, ale intuicja, że stan elektronów zmienia się szybciej niż położenie jąder atomowych jest uzasadniona.
Ponieważ interesuje nas energia elektronów (energia potencjalna jąder atomowych jest znana, bo jądra są w zadanej geometrii) rozważmy funkcję falową . Korzystamy z przybliżenia jednoelektronowego, to jest każdy z elektronów opiszemy funkcją falową zależną od jego zmiennych przestrzenno-spinowych, a całkowitą funkcję falową zapiszemy jako pewną kombinację tych funkcji. Funkcję nazywamy spinorbitalem. Ponieważ elektrony są fermionami, to na mocy statystyki Fermiego-Diraca całkowita funkcja falowa opisująca elektrony powinna być antysymetryczna względem permutacji dwóch nierozróżnialnych elektronów. Takie właściwości posiada wyznacznik macierzy: zamiana kolumn wyznacznika zmienia jego znak; jeżeli wyznacznik ma dwie takie same kolumny, to znika, co jest równoważne zakazowi Pauliego. Jeżeli mamy do dyspozycji spinorbitali i elektronów, to możemy skonstruować tzw. wyznacznik Slatera:
W rzeczywistości powinniśmy mieć do dyspozycji więcej spinorbitali niż elektronów i zbudować wiele wyznaczników Slatera. Całkowita funkcja elektronowa powinna być kombinacją liniową tych wyznaczników Slatera. W metodzie Hartreego-Foka zakładamy, że całkowitą funkcję elektronową możemy przedstawić w postaci jednego wyznacznika Slatera:
Hamiltonian elektronowy (dla elektronów i jąder atomowych) w jednostkach układu SI przedstawia się jako:
gdzie: – stała Diraca, – masa elektronu, – stała Archimedesa, – przenikalność elektryczna próżni, – ładunek elementarny, – wektorowy operator różniczkowy po współrzędnych położenia -tego elektronu, – liczba atomowa jądra atomowego , – odległość elektronu od jądra atomowego , – odległość elektronu od elektronu .
W jednostkach atomowych, które będziemy od teraz stosowali:
Hamiltonian elektronowy możemy zapisać za pomocą operatora jednoelektronowego i operatora dwuelektronowego :
Energię elektronową znajdziemy ze wzoru:
Po zastosowaniu reguł Slatera-Condona otrzymujemy wyrażenie na energię elektronową jako funkcjonał spinorbitali, które skrótowo oznaczymy indeksami elektronów:
Metoda Hartreego-Foka jest metodą wariacyjną. Przyjmijmy, że szukane spinorbitale tworzą układ ortonormalny:
gdzie: – delta Kroneckera.
Rozwiążmy problem metodą nieoznaczonych mnożników Lagrange'a. Skonstruujmy lagranżjan jako funkcjonał spinorbitali:
gdzie: – nieoznaczone mnożniki i jednocześnie elementy macierzy hermitowskiej.
Z uwagi na popularność symboli, użyjemy aby oznaczyć wariację funkcjonału. Czytelnik nie powinien tego pomylić z symbolem Kroneckera. Pierwsza wariacja lagranżjanu znika:
Tutaj np.:
gdzie: – sprzężenie zespolone poprzedniego członu.
Ostatecznie pierwsza wariacja lagranżjanu ma postać:
Oba człony muszą znikać niezależnie, wobec tego spinorbitale są funkcjami rzeczywistymi.
Zdefiniujmy operator kulombowski , który opisuje klasyczne elektrostatyczne odpychanie się elektronów. Jest on operatorem lokalnym, więc można go zapisać w postaci jawnej. Całka kulombowska:
Operator wymienny jest nielokalny, więc zapiszemy go jak działa na spinorbital:
Całka wymienna:
Zapiszmy znikającą wariację lagranżjanu za pomocą operatorów i :
Ponieważ wariacja jest dowolna, to wyrażenie jest spełnione, gdy dla dowolnego znika nawias kwadratowy. Prowadzi to do układu równań:
Operator po lewej stronie równania oznaczmy przez i nazwijmy operatorem Foka:
Zastosujmy transformację unitarną, która nie zmieni operatora Foka, ale zmieni bazę spinorbitali na taką, w której macierz nieoznaczonych mnożników Lagrange'a jest diagonalna. Ponieważ transformacja jest unitarna, to nowe spinorbitale też będą ortonormalne. Nowe spinorbitale są po prostu liniową kombinacją starych spinorbitali, a wartość wyznacznika nie zmienia się po dodaniu kolumny do kolumny, więc funkcja elektronowa pozostaje nienaruszona. Przypomnijmy, że są elementami macierzy hermitowskiej, wobec tego istnieje baza, w której ta macierz ma postać diagonalną. Po transformacji otrzymujemy równania Hartreego-Foka:
Spinorbitale nazywamy kanonicznymi lub spektroskopowymi. W tej postaci, na mocy twierdzenia Koopmansa można nadać interpretację fizyczną współczynnikom jako energii orbitalnych.
Rozwiązywanie równań Hartree-Focka
[edytuj | edytuj kod]Operator Focka w równaniach Hartree-Focka zależy od postaci wszystkich zajętych spinorbitali, zatem, mimo postaci przypominającej równanie własne, równań Hartree-Focka nie można rozwiązać wprost. Stosuje się zatem metodę iteracyjną, postępując w sposób następujący:
- Zakłada się pewne spinorbitale początkowe, w postaci otrzymanej np. z obliczeń półempirycznych.
- Oblicza się odpowiednie całki i konstruuje operator Focka.
- Rozwiązuje równanie Hartree-Focka, otrzymując z niego nowe spinorbitale oraz ich energie.
- Obsadza się spinorbitale o najniższych energiach elektronami.
- Oblicza się energię całkowitą.
- Otrzymane spinorbitale służą jako punkt startowy w następnej iteracji.
Kroki 2–6 powtarza się, aż różnica energii całkowitej (lub postaci spinorbitali, kryteria zbieżności różnią się w zależności od implementacji metody) w kolejnych iteracjach będzie mniejsza od założonej z góry wartości progowej, czyli aż nastąpi samouzgodnienie. Z powodu tej procedury metoda Hartree-Focka nosi też nazwę metody pola samouzgodnionego (ang. self-consistent field, SCF).
Ograniczona i nieograniczona metoda Hartree-Focka
[edytuj | edytuj kod]Spinorbitale, iloczyny funkcji orbitalnej (orbitala) oraz funkcji spinowej ( dla magnetycznej liczby spinowej +1/2 lub dla magnetycznej liczby spinowej –1/2)
można konstruować w dwojaki sposób:
- zakładając, że część orbitalna dla spinorbitali dwóch sparowanych elektronów jest taka sama;
- nie nakładając takiego warunku.
Pierwszy wariant nazywa się w literaturze ograniczoną metodą Hartree-Focka (ang. restricted Hartree-Fock, RHF), drugi nieograniczoną metodą Hartree-Focka (ang. unrestricted Hartree-Fock, UHF). Oba te warianty są ogólnymi sposobami konstrukcji spinorbitali (stosowanymi zatem także na poziomie teorii DFT, gdzie stosuje się oznaczenia np. UB3LYP i RB3LYP) i w ogólności wariant pierwszy nazywa się metodą nierozdzielczą spinowo, a drugi – metodą rozdzielczą spinowo. W przypadku układów zamkniętopowłokowych energia obliczona obiema metodami powinna być taka sama (w ramach dokładności numerycznej).
Metoda Hartree-Focka-Roothana
[edytuj | edytuj kod]W praktyce obliczeniowej, stosuje się najczęściej przybliżenie analityczne, i orbitale przedstawia się w postaci kombinacji liniowej znanych funkcji (baza funkcyjna). W przypadku obliczeń dla cząsteczek, funkcjami tymi są na ogół scentrowane na jądrach atomowych funkcje radialne typu Slatera lub (częściej) typu Gaussa przemnożone przez funkcję kątową przypominającą rozwiązania dla atomu wodoru (lub rotatora sztywnego). W kolejnych iteracjach optymalizuje się zatem nie całe spinorbitale, a tylko współczynniki kombinacji liniowej.
W ten sposób zagadnienie rozwiązania układu równań różniczkowo-całkowych sprowadza się do problemu układu równań algebraicznych, dla których znane są wydajne metody numeryczne. Metoda ta bywa nazywana metodą Hartree-Focka-Roothana, lub metodą SCF LCAO MO (ang. Self-Consistent Field Linear Combination of Atomic Orbitals – Molecular Orbitals).
Orbitale Hartree-Focka
[edytuj | edytuj kod]Orbitale molekularne otrzymane z równań Hartree-Focka zwane są orbitalami kanonicznymi, i są zdelokalizowane na całą cząsteczkę. Tworzenie kombinacji liniowych w ramach przestrzeni orbitali zajętych (lub niezajętych, czyli wirtualnych) nie zmienia energii układu, zatem orbitale nie są określone w sposób jednoznaczny. Możliwe jest zatem tworzenie orbitali molekularnych zlokalizowanych, przydatnych w interpretacji wyników obliczeń, jako kombinacji liniowych orbitali kanonicznych. W literaturze opisanych jest kilka metod lokalizacji orbitali.
Energie orbitalne otrzymane z równań Hartree-Focka pozwalają na ocenę energii jonizacji oraz powinowactwa chemicznego na mocy twierdzenia Koopmansa.
Niedostatki metody Hartree-Focka
[edytuj | edytuj kod]Energia obliczona metodą Hartree-Focka jest zawsze wyższa od energii dokładnej układu (zasada wariacyjna). Różnica ta wynika z efektu sprzężenia ze sobą ruchu cząstek, nieuwzględnionego w modelu cząstek niezależnych. W przypadku elektronów efekt ten nosi nazwę korelacji elektronowej, a różnica pomiędzy (oszacowaną) energią dokładną (nierelatywistyczną, uzyskaną w ramach pełnego CI w danej bazie funkcyjnej) a energią otrzymaną metodą Hartree-Focka (w takiej samej bazie funkcyjnej) nazywa się energią korelacji elektronowej. Lokalne obniżenie gęstości elektronowej w pobliżu wybranego elektronu spowodowane elektrostatycznym odpychaniem elektronów nazywa się powszechnie „dziurą korelacyjną” lub „kulombowską”.
W stosunku do całkowitej energii elektronowej cząsteczki energia korelacji elektronowej jest niewielka (dla typowych cząsteczek poniżej 1%). Zdarzają się jednak sytuacje, w których jest ona kluczowa do poprawnego opisu systemu. Należą do nich stany prawie zdegenerowane lub zdegenerowane. Typowym przykładem są procesy dysocjacji, w których spinowo ograniczona metoda Hartree-Focka daje na ogół zupełnie błędną energię dysocjacji. Wynika to z faktu, że np. dla cząsteczki wodoru w stanie podstawowym metoda RHF uwzględnia wyłącznie stan singletowy (z elektronami o przeciwnie skierowanych spinach), podczas gdy w trakcie dysocjacji coraz większego znaczenia nabiera stan trypletowy (z elektronami o jednakowo skierowanych spinach).
Metoda Hartree-Focka nie jest w stanie również opisać poprawnie efektów, które z natury rzeczy wynikają z korelacji elektronowej. Należą do nich (oddziaływania van der Waalsa), na przykład przyciąganie się cząsteczek metanu czy atomów gazów szlachetnych, gdzie kluczową rolę odgrywa korelacja ruchu elektronów z różnych cząsteczek (tzw. oddziaływanie dyspersyjne). W konsekwencji, stosowana do tych gazów metoda Hartree-Focka, nie przewiduje ich kondensacji w niskich temperaturach.
Metody chemii kwantowej wykraczające poza przybliżenie Hartree-Focka
[edytuj | edytuj kod]Uwzględnienie korelacji elektronowej wymaga wyjścia poza przybliżenie pola średniego. Uzyskuje się to poprzez zastosowanie jako przybliżenia funkcji wieloelektronowej kombinacji liniowej funkcji jednowyznacznikowych. W zależności od sposobu wyboru tych funkcji oraz współczynników kombinacji liniowej wyróżnia się metody oddziaływania konfiguracji, wielokonfiguracyjną metodę pola samouzgodnionego i metody sprzężonych klasterów.
Energię korelacji kulombowskiej można też częściowo uwzględnić za pomocą rachunku zaburzeń (perturbacyjnego), np. w metodzie rachunku zaburzeń Møllera-Plesseta, gdzie uwzględniane funkcje jednowyznacznikowe i współczynniki kombinacji liniowej dobiera się stosując rachunek zaburzeń.
Na uwzględnienie korelacji elektronowej pozwalają również teoria funkcjonału gęstości oraz metody półempiryczne. Ich słabością jednak są brak kontroli stopnia tego uwzględnienia, oraz możliwość zaniedbania efektów, które metoda Hatree-Focka opisuje prawidłowo. Na przykład metody DFT traktują energię wymienną (energię korelacji wymiennej) w sposób przybliżony (podobnie, jak energię korelacji kulombowskiej), podczas gdy metoda Hartree-Focka całkowicie uwzględnia energię wymienną. Metodę Hartree-Focka można traktować jako szczególny przypadek teorii DFT z dokładnym uwzględnieniem energii wymiennej i całkowitym zaniedbaniem energii korelacyjnej.
Innym sposobem wyjścia poza przybliżenie Hatree-Focka jest użycie funkcji w sposób jawny skorelowanych, czyli budowa wieloelektronowej funkcji falowej nie z funkcji jednoelektronowych, a dwuelektronowych (zwanych geminalami). Ze względu jednak na trudności obliczeniowe, metodę tę stosować można tylko do bardzo małych układów (zawierających kilka elektronów).
Przybliżenie Hartree-Focka w fizyce materii skondensowanej
[edytuj | edytuj kod]Przybliżenie Hartree-Focka stosuje się w problemach wielu ciał dla układów oddziałujących fermionów. Najprostszym przykładem jest gaz oddziałujących elektronów (układ fermionów o spinie 1/2 oddziałujących potencjałem kulombowskim).
W metodach mechaniki kwantowej wielu cząstek przybliżenie Hartree-Focka stosuje się podczas obliczania wartości oczekiwanych iloczynów wielu operatorów kreacji i anihilacji elektronów odpowiadających za korelacje wyższych rzędów. Oddziaływanie kulombowskie w języku liczb obsadzeń (drugie kwantowanie) ma postać:
gdzie:
- – operatory kreacji, anihilacji elektronu o pędzie i spinie
Obliczając wartość oczekiwaną powyższego wyrażenia możemy dokonać przybliżenia go przez iloczyny wartości oczekiwanych niższego rzędu (par operatorów z powyższego wyrażenia), pomijając w ten sposób korelacje wyższych rzędów. Jedyne dwa sposoby, w jaki możemy to zrobić, są następujące:
Pierwszy z tych członów nazywany jest prostym (Hartree) natomiast drugi wymiennym (energia wymiany). Jedynymi nieznikającymi elementami są te, dla których odpowiednie wartości pędów i spinów w powyższych wyrażeniach są równe.
W ogólności wartość oczekiwana iloczynu czterech operatorów nie jest równa iloczynom wartości oczekiwanych par operatorów. Równość taka zachodziłaby wtedy, gdyby korelacje wielocząstkowe byłyby równe zero. Stąd mówi się często, że różnica energii pomiędzy wartością dokładną a policzoną w przybliżeniu Hartree-Focka jest energią korelacji.
Uwagi
[edytuj | edytuj kod]- ↑ Nazwisko „Hartree” odmienie się jak przymiotnik i bez apostrofu[1]. Spotykana jest jednak pisownia bez odmiany[2][3][4] lub z apostrofem[5]. Choć nazwa metody pochodzi od nazwiska Władimira Foka (nie Focka), w literaturze polskiej błędnie stosowana jest angielska transliteracja z cyrylicy. Zapis metoda Hartree-Focka pod względem językowym jest więc podwójnie niepoprawny.
Przypisy
[edytuj | edytuj kod]- ↑ Nazwiska kończące się w wymowie na -y lub -i po spółgłosce [online], Słownik języka polskiego PWN [dostęp 2025-05-05].
- ↑ 8.2 Metoda Hartree-Focka z lotu ptaka; 8.3 Wyprowadzenie równania Focka na najlepsze spinorbitale, [w:] Lucjan Piela, Idee chemii kwantowej, Warszawa: PWN, 2003, s. 258–284.
- 1 2 Peter William Atkins: Chemia fizyczna. Warszawa: Wydawnictwo Naukowe PWN, 2003, s. 350–351. ISBN 83-01-13502-6.
- ↑ Adam Bielański, Podstawy chemii nieorganicznej, wyd. 5, Warszawa: PWN, 2002, s. 78, ISBN 83-01-13654-5.
- 1 2 Hartree’ego–Focka metoda, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-07-30].
Bibliografia
[edytuj | edytuj kod]- Alojzy Gołębiewski, Elementy mechaniki i chemii kwantowej, Warszawa: Państwowe Wydawnictwo Naukowe, 1984.
- Włodzimierz Kołos, Joanna Sadlej, Atom i cząsteczka, Warszawa: Wydawnictwa Naukowo-Techniczne, 1998 (seria „Wykłady z Chemii Fizycznej”).
- 8.2 Metoda Hartree-Focka z lotu ptaka; 8.3 Wyprowadzenie równania Focka na najlepsze spinorbitale, [w:] Lucjan Piela, Idee chemii kwantowej, Warszawa: PWN, 2003, s. 258–284.