Professional Documents
Culture Documents
Wrocławska
Maciej P. Polak
Tomasz Woźniak
Paweł Scharoch
25 października 2020
S P I S T R E Ś C I
1 zagadnienie wielociałowe 5
1.1 Układ wieloatomowy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Przybliżenie Borna-Oppenheimera . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Przybliżenie Hartree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Procedura samouzgodniona . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Przybliżenie Hartree-Focka . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 elementy teorii funkcjonału g esto ˛ ści (dft) 15
2.1 Twierdzenie Hohenberga-Kohna . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.1 Dowód Twierdzenia Hohenberga-Kohna . . . . . . . . . . . . . . . 16
2.2 Równania Kohna-Shama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3 Funkcjonały korelacji i wymiany . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3.1 Przybliżenie lokalnej gestości
˛ (LDA) . . . . . . . . . . . . . . . . . . 21
2.3.2 Przybliżenie uogólnionego gradientu (GGA) . . . . . . . . . . . . . 22
2.3.3 Funkcjonały meta-GGA . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.4 Funkcjonały hybrydowe . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 odpowied ź na zaburzenie 27
3.1 Zjawiska fizyczne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Rachunek zaburzeń funkcjonału gestości
˛ (DFPT) . . . . . . . . . . . . . . . 29
3.3 Metody bezpośrednie a rachunek zaburzeń funkcjonału gestości ˛ . . . . . 29
4 elementy technik obliczeniowych 31
4.1 Układy periodyczne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2 Sieć odwrotna i strefa Brillouina . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2.1 Punkty k . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.3 Reprezentacje równań Kohna-Shama. Baza fal płaskich . . . . . . . . . . . 33
4.4 Wyznaczanie gestości
˛ elektronowej w układach periodycznych . . . . . . 35
4.5 Reprezentacje atomów . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Bibliografia 39
3
1
ZAGADNIENIE WIELOCIAŁOWE
1 1 e2
4πe0 2 ∑
V̂ee = , (1.1.3)
i,j
| ri − r j |
i6= j
5
zagadnienie wielociałowe
h̄2
T̂e = −
2me ∑ ∇2r , i
(1.1.5)
i
h̄2 ∇2R I
T̂ion = −
2 ∑ Mion
. (1.1.6)
I
h̄2 1 1 e2 1 Z I e2
Ĥ = −
2me ∑ ∇2r + 4πe0 2 ∑ |ri − r j | − 4πe0 ∑ |ri − R I | +
i
i i,j i,I
i6= j
(1.1.7)
h̄2 ∇2R I 1 1 Z I Z J e2
−
2 ∑ +
Mion 4πe0 2 ∑ |R I − R J |
.
i I,J
I 6= J
Posługiwaliśmy sie˛ tutaj konwencja,˛ w której wielkie litery oznaczaja˛ wielkości zwiazane
˛
z jadrami
˛ atomowymi, a małe z elektronami. Wektor położenia elektronu oznaczono
wiec
˛ poprzez ri , wektor położenia jadra
˛ przez R I , e oznaczało ładunek elektronu, Z I
liczbe˛ atomowa˛ (ładunek) jadra,
˛ me to masa elektronu a Mion masa jadra.˛ Pojawiły sie˛
również stałe: 1/4πe0 - stała Kulomba oraz h̄ - stała Plancka. Ze wzgledu
˛ właśnie na stałe
pojawiajace
˛ sie˛ przed znakami sumy, w obliczeniach atomowych czesto ˛ stosuje˛ sie˛ o wiele
wygodniejszy układ jednostek atomowych Hartree. W układzie tym przyjmuje sie˛ mase˛
(me ) jak i ładunek (e) elektronu równe 1, podobnie h̄ = 1 oraz 1/4πe0 = 1. Jednostka˛
długości w tym układzie jest promień atomu wodoru (w sensie wartości oczekiwanej
odległości elektronu od jadra
˛ w stanie podstawowym), 1 Bohr, a jednostka˛ energii jest 1
Hartree (dwukrotna wartość energii jonizacji atomu wodoru). Od tej pory, ze wzgledu ˛
na wygode, ˛ posługiwać sie bedziemy
˛ właśnie tym układem jednostek. Po przepisaniu
hamiltonianu 1.1.7 uzyskujemy jego prostsza˛ forme: ˛
1 1 1 ZI
2∑
Ĥ = − ∇2ri + ∑ −∑ +
i
2 i,j
| r i − r j | i,I
| r i − RI |
i6= j
(1.1.8)
1 1∇2R I ZI ZJ
− ∑ + ∑ .
2 i Mion 2 I,J
|R I − R J |
I 6= J
6
1.2 przybli żenie borna-oppenheimera
Warto zauważyć, że hamiltonian 1.1.8 jest bardzo ogólny. Opisuje dokładnie dowolny
układ wielociałowy: zarówno ciała stałe jak i ciecze oraz gazy. W przeciwieństwie do
cieczy i gazów, gdzie jadra
˛ moga˛ poruszać sie˛ dość swobodnie, w ciałach stałych jadra
˛
atomowe maja˛ jedynie orientacyjnie określone położenie. Elektrony poruszaja˛ sie˛ znacznie
szybciej od jonów (w przybliżeniu stosunek predkości
˛ jest równy odwrotności stosunku
mas), na tyle szybko, że w skali czasu w jakiej trzeba by rozpatrywać ich ruch, jony sa
praktycznie nieruchome, nawet gdyby uwzglednić ˛ np. wibracje sieci. Biorac
˛ pod uwage˛
ten fakt oraz to, że masa jadra
˛ atomowego jest znacznie (o kilka rzedów ˛ wielkości)
wieksza
˛ od masy elektronu możemy zauważyć, że jeden z elementów hamiltonianu daje
niewielki wkład do całości: energia kinetyczna jonów (równanie 1.1.6). Pozwala nam
to na całkowite zaniedbanie w hamiltonianie (równanie 1.1.8) tego członu (przyjmujac ˛
Mion = ∞). Kolejna˛ konsekwencja˛ założenia, że jony sa nieruchome jest to, że energia
elektrostatycznego oddziaływania jonów z innymi jonami (równanie 1.1.4) staje sie˛ stała˛
wartościa.
˛ Możemy sie˛ jej pozbyć z hamiltonianu definiujac ˛ energie˛ E w równaniu
Schrödingera 1.1.1 jako:
1 ZI ZJ
E = Etot − ∑ . (1.2.1)
2 I,J |R I − R J |
I 6= J
Z racji, że jony znajduja˛ sie˛ teraz w stałych, określonych pozycjach, ich położenia
R I staja˛ sie˛ zewnetrznymi˛ parametrami, a funkcja falowa rozpatrywanego układu
staje sie˛ funkcja˛ tylko położeń elektronów ri z położeniami jonów jako parametrami:
Ψ = Ψ R (r1 , r2 , . . . , rn ). Na koniec możemy zauważyć, że człon opisujacy
˛ oddziaływanie
elektronów z jonami możemy nazwać teraz po prostu potencjałem zewnetrznym ˛ V̂ext , w
którym poruszaja˛ sie˛ elektrony. Sprowadziliśmy wiec ˛ bardzo skomplikowane wielocia-
łowe zagadnienie, do zagadnienia oddziałujacego ˛ gazu elektronów poruszajacego
˛ sie˛ w
zewnetrznym
˛ potencjale wytworzonym przez nieruchome jadra ˛ atomowe. To przybliże-
nie nazywamy przybliżeniem Borna-Oppenheimera. Zapisujac ˛ hamiltonian (równanie 1.2.2)
w krótkiej symbolicznej formie dostaniemy:
Ĥ = T̂ + Û + V̂ext , (1.2.3)
7
zagadnienie wielociałowe
układu czastek
˛ nierozróżnialnych, której kwadrat modułu musi być z tego powodu syme-
tryczny ze wzgledu
˛ na operacje˛ przestawienia czastek.
˛ Oznacza to, że sama funkcja musi
być albo symetryczna albo antysymetryczna ze wzgledu ˛ na taka˛ operacje.
˛ Z podstaw
mechaniki kwantowej wiadomo, że ta właściwość rozróżnia fermiony od bozonów i w
przypadków elektronów, które sa˛ fermionami, funkcja falowa jest antysymetryczna.
Wartościa˛ oczekiwana˛ hamiltonianu jest energia całkowita układu, a wartościami ocze-
kiwanymi poszczególnych operatorów składajacych˛ sie˛ na hamiltonian sa˛ odpowiadajace
˛
im energie. W ogólności, dla dowolnego operatora Ô można zapisać:
Z ∞
Ψ(r) Ô Ψ(r) = Ψ(r)∗ ÔΨ(r)dr. (1.2.4)
−∞
Do tej pory jedyne miejsce gdzie wspomniana została funkcja falowa to równanie 1.2.2.
Mówiliśmy tam o wielociałowej funkcji falowej. Jednak rozwiazanie˛ równania Schrödin-
gera z funkcja˛ falowa˛ w takiej postaci jest dla wieloelektronowych układów niemożliwe.
Jeden z najcześciej
˛ spotykanych atomów w fizyce półprzewodników, czternastoelek-
tronowy krzem, miałby funkcje˛ falowa˛ zależna˛ od 42 zmiennych (3 współrzedne, ˛ 12
elektronów). W zwiazku
˛ z tym niezbedne
˛ jest opisanie funkcji falowej w inny, prostszy
sposób.
Przybliżenie Hartree jest historycznie pierwsza˛ próba˛ przybliżonego rozwiazania ˛
wielociałowego problemu indentycznych czastek ˛ (elektronów). Nie rozpatruje sie˛ tu
równocześnie wszystkich oddziałujacych ˛ ze soba˛ elektronów, lecz twierdzi, że elektrony
sa˛ od siebie niezależne i poruszaja˛ sie˛ w tzw. potencjale efektywnym, czyli uśrednionym
po rozkładzie ładunku polu pochodzacym ˛ od pozostałych elektronów.
W takim przybliżeniu zakładamy, że wielociałowa funkcja falowa przyjmie postać
iloczynu jednoelektronowych funkcji falowych:
n
Ψ(r1 , r2 , . . . , rn ) ≈ ψ1 (r1 )ψ2 (r2 ) . . . ψn (rn ) = ∏ ψi (ri ). (1.3.1)
i =1
8
1.3 przybli żenie hartree
= ∑ ∏ hψi (ri )| Vext (rk ) |ψi (ri )i = ∑ ∏ ψi (ri )|ψj (r j ) hψk (rk )| Vext (rk ) |ψk (rk )i =
k i k i
i 6=k
Z Z
= ∑ hψk (rk )| Vext (rk ) |ψk (rk )i = drVext (r) ∑ |ψk (r)| =
2
drVext (r)n(r).
k k
(1.3.2)
W powyższym wyprowadzeniu funkcje w iloczynach zostały tak pogrupowane, żeby
można było skorzystać z relacji ψi (ri )|ψi (r j ) = 1, oraz pojawiła sie˛ gestość
˛ elektronowa
definiowana jako:
n(r) = ∑ |ψk (r)|2 , (1.3.3)
k =occ
* +
n n
1 1 1 1
EH = ∏ ψi (ri ) 2 ∑ |rk − rm | ∏ ψ j ( ri ) =
2 ∑∏ ψi (ri )
|rk − rm |
ψi (ri ) =
i =1 k,m i =1 k,m i
k6=m k6=m
1 1
= ∑ ∏ hψi (ri )|ψi (ri )i ψk (rk )ψm (rm ) ψ (r )ψm (rm ) =
2 |rk − rm | k k
k,m i
k6=m i 6=k,m
1 1
=
2 ∑ ψk (rk )ψm (rm ) ψ (r )ψm (rm ) ,
|rk − rm | k k
k,m
k6=m
(1.3.5)
9
zagadnienie wielociałowe
gdzie, podobnie jak poprzednio hψi (ri )|ψi (ri )i = 1. Suma ∑k,m; k6=m zostanie zamieniona
na różnice˛ sum ∑k,m i ∑k=m
1 1
EH = ∑ ψk (rk )ψm (rm ) ψ (r )ψm (rm ) +
2 k,m |rk − rm | k k
1 1
− ∑ ψk (rk )ψm (rm ) ψ (r )ψm (rm ) = (1.3.6)
2 k=m |rk − rm | k k
1 |ψk (rk )|2 |ψm (rm )|2 1 |ψk (rk )|2 |ψm (rm )|2
Z Z
= ∑
2 k,m
drk drm
|rk − rm |
− ∑
2 k=m
drk drm
|rk − rm |
.
1 |ψk (r)|2 |ψm (r0 )|2 1 |ψk (r)|2 |ψm (r0 )|2
Z Z
EH = ∑
2 k,m
drdr0
|r − r0 |
− ∑
2 k=m
drdr0
|r − r0 |
=
(1.3.7)
1 n(r)n(r0 ) 1 0 | ψk ( r )||ψm (r0 )|2
2
Z Z
= drdr0 − ∑ drdr = EH 0 + ESI ,
2 |r − r0 | 2 k=m |r − r0 |
otrzymujac˛ końcowa˛ postać energii Hartree. W praktyce to właśnie ten pierwszy człon
nazywa sie˛ energia˛ Hartree i oznacza jako EH (i tak też bedzie
˛ w dalszej cześci
˛ tego
tekstu), a drugi jest energia˛ samooddziaływania (gdyż opisuje ona wpływ gestości
˛ i-
tego elektronu na samego siebie), która czesto
˛ w wyprowadzeniach jest pomijana, ze
wzgledu
˛ na fakt, że w metodach bardziej zaawansowanych takich jak metoda Hartree-
Focka opisana w nastepnym
˛ podrozdziale czy w podejściu Kohna-Shama, człon ten jest
kompensowany poprzez inne człony dajace ˛ wkład do energii całkowitej.
Tak uzyskana postać energii Hartree, po obliczeniu z niej pochodnej funkcjonalnej określi
ostateczne wyrażenie na operator energii Hartree
Powyższa procedura nie jest ścisłym wyprowadzeniem równań Hartree. Zarówno te jak i
kolejne metody wyprowadza sie˛ w oparciu o twierdzenie wariacyjne. Kroki wykonane po-
wyżej, sa˛ jednak głównymi i najtrudniejszymi do wykonania krokami w wyprowadzeniu
10
1.4 procedura samouzgodniona
11
zagadnienie wielociałowe
Jak sie˛ okazuje, w innych, dokładniejszych podejściach stosowany jest bardzo podobny
zabieg, tzn. wieloelektronowe równanie Schrödingera zastepowane
˛ jest jednoelektrono-
wym zagadnieniem własnym Schrödingera, w którym wystepuje ˛ gestość
˛ pochodzaca
˛
od wszystkich elektronów. Również w tych przypadkach stosowana bedzie ˛ procedura
samouzgodniona, według bardzo podobnego schematu jak na rys. 1.4.1.
Zapisanie funkcji falowej w takiej postaci wprowadza dwa bardzo ważne ograniczenia
na charakter funkcji falowej, które nie wystepowały
˛ w poprzednim przybliżeniu. Z
właściwości wyznaczników wiadomo, że wyznacznik macierzy z dwiema takimi samymi
12
1.5 przybli żenie hartree-focka
1 ψ1 (r1 ) ψ2 (r1 ) 1
Ψ ( r1 , r2 ) ≈ √ = √ (ψ1 (r1 )ψ2 (r2 ) − ψ2 (r1 )ψ1 (r2 )) . (1.5.2)
2 ψ1 (r2 ) ψ2 (r2 ) 2
Po zamianie współrzednych
˛ czastek:
˛
1 ψ1 (r2 ) ψ2 (r2 ) 1
Ψ ( r2 , r1 ) ≈ √ = √ (ψ1 (r2 )ψ2 (r1 ) − ψ2 (r2 )ψ1 (r1 )) =
2 1 1
ψ ( r ) ψ (
2 1 r ) 2
(1.5.3)
1
= − √ (ψ2 (r2 )ψ1 (r1 ) − ψ1 (r2 )ψ2 (r1 )) ,
2
a wiec
˛
Ψ ( r1 , r2 ) = − Ψ ( r2 , r1 ). (1.5.4)
oraz Z
drψi (r)ψj (r) = 1 dla i = j. (1.5.6)
Właściwość te˛ wykorzystuje sie˛ przy ścisłym wyprowadzeniu równań Hartree i Hartree-
Focka, w oparciu o zasade˛ wariacyjna. ˛
Znajac
˛ już konsekwencje zapisania funkcji falowej w tej postaci, można przejść do
wyznaczenia hamiltonianu Hartree-Focka i w konsekwencji równań Hartree-Focka. Po-
dobnie jak w przybliżeniu Hartree, operator energii kinetycznej oraz potencjał zewnetrzny
˛
pozostaja˛ niezmienione. Wystarczy zajać
˛ sie˛ określeniem operatora oddziaływania elek-
tronów miedzy
˛ ˛ który nazwiemy operatorem Hartree-Focka ÛHF . Stosujac
soba, ˛ rozumo-
wanie podobne do tego zastosowanego w wyprowadzeniach w przybliżeniu Hartree
(równanie 1.3.7) i wyliczajac
˛ energie˛ Hartree-Focka jako wartość oczekiwana˛ operatora
oddziaływania elektronów miedzy ˛ soba˛ z założeniem Hartree-Focka o funkcji falowej
(równanie 1.5.1) otrzymujemy wyrażenie:
1 n(r)n(r0 ) 1 1
Z Z
= drdr0 − ∑ drdr0 ψk∗ (r)ψm
∗ 0
ψm (r)ψk (r0 ) = EH + EX ,
(r )
2 |r − r0 | 2 k,m |r − r0 |
(1.5.7)
czyli energia Hartree-Focka jest suma˛ energii Hartree i dodatkowego członu wynikajacego ˛
z antysymetryzacji funkcji falowych, nazywanego energia˛ wymiany. W tym przypadku
uwzglednienie
˛ samooddziaływania (m = k) w członie Hartree nie niesie za soba˛ żadnych
13
zagadnienie wielociałowe
które, podobnie jak równanie Hartree, rozwiazuje ˛ sie˛ w sposób samouzgodniony. Warto
zauważyć, że potencjał wymiany zależy bezpośrednio od funkcji falowych (nie od gesto- ˛
ści) i jest nielokalny (jego działanie na funkcje˛ jednoczastkow
˛ a˛ wia˛że sie˛ z całkowaniem
po całej przestrzeni) co w konsekwencji znacznie zwieksza ˛ nakład obliczeniowy przy
rozwiazywaniu
˛ tych równań.
14
2
E L E M E N T Y T E O R I I F U N K C J O N A Ł U G E˛ S T O Ś C I ( D F T )
Już w pod koniec lat trzydziestych ubiegłego wieku pojawiły sie˛ pomysły aby zagad-
nienie gazu elektronów sformułować z wykorzystaniem gestości
˛ elektronowej. Gestość
˛
elektronowa˛ bedziemy
˛ rozumieli nastepuj
˛ aco:
˛
Z
2
n(r) = N dr2 dr3 ...dr N |Ψ(r, r1 , r2 , ..., r N )| (2.1.1)
2. Potencjał zewnetrzny
˛ określa hamiltonian układu, a hamiltonian wszystkie wła-
ściwości fizyczne układu, co oznacza, że wszystkie obserwable (w szczególności
energia całkowita) sa˛ funkcjonałami gestości.
˛
15
˛
elementy teorii funkcjonału g esto ści (dft)
gestość
˛ ta bedzie
˛ można uzyskać z wielociałowej funkcji stanu podstawowego. Omija-
jac
˛ w tym miejscu trudności matematyczne ograniczamy rozważania do tzw. gestości
˛
V-reprezentowalnych, a wiec ˛ takich, które reprezentacje˛ taka˛ posiadaja.
˛
D E D E
(2) (2) (1) (1)
E2 = Ψ0 Ĥ (2) Ψ0 < Ψ0 Ĥ (2) Ψ0 . (2.1.3)
Zgodnie z zasada˛ wariacyjna˛ wartość oczekiwana energii dla stanu opisanego funkcja˛ fa-
lowa˛ inna˛ niż funkcja falowa stanu podstawowego tego układu, przyjmie wieksz ˛ a˛ wartość
niż w przypadku funkcji falowej stanu podstawowego tego układu. Zajmijmy sie˛ teraz
rozwinieciem
˛ prawej strony nierówności (2.1.2), opierajac
˛ sie˛ na postaci hamiltonianu z
równania 1.2.3 oraz wzorze 1.3.2 na potencjał zewnetrzny:˛
D E D E D E Z
(2) (2) (2) (2) (2) (2) (1)
Ψ0 Ĥ (1) Ψ0 = Ψ0 T̂ Ψ0 + Ψ0 Û Ψ0 + dr Vext n0 (r). (2.1.4)
Dodajac
˛ i odejmujac
˛ drugi potencjał zewnetrzny
˛ do prawej strony powstałego równania
D E D E D E Z
(2) (2) (2) (2) (2) (2) (1)
Ψ0 Ĥ (1) Ψ0 = Ψ0 T̂ Ψ0 + Ψ0 Û Ψ0 + dr Vext n0 (r)+
Z Z (2.1.5)
(2) (2)
+ dr Vext n0 (r) − dr Vext n0 (r),
oraz zwracajac
˛ uwage,
˛ że:
D E D E Z D E
(2) (2) (2) (2) (2) (2) (2)
Ψ0 T̂ Ψ0 + Ψ0 Û Ψ0 + dr Vext n0 (r) = Ψ0 Ĥ (2) Ψ0 = E2 , (2.1.6)
Porównujac
˛ z równaniem 2.1.2 otrzymujemy
Z h i
(1) (2)
E1 < E2 + dr Vext − Vext n0 (r). (2.1.8)
16
2.2 równania kohna-shama
E1 + E2 < E2 + E1 . (2.1.10)
• gestość
˛ elektronowa n(r) jest taka sama jak w układzie rzeczywistym,
Okazuje sie,˛ że bardzo wiele właściwości fizycznych układów można wyprowadzić
ze zmian energii całkowitej i z gestości
˛ elektronowej. To oznacza, że jeśli mamy układ,
który dobrze odwzorowuje układ prawdziwy, w takim sensie, że ma taka˛ sama gestość ˛
elektronowa˛ i energie˛ całkowita,
˛ a z drugiej strony znacznie łatwiej daje sie˛ opisać mate-
matycznie, to może on posłużyć do znajdowania właściwości fizycznych tego drugiego.
Twierdzenie Hohenberga-Kohna dotyczy każdego układu czastek, ˛ także takiego hipote-
tycznego, z czego wynika, że istnieje potencjał zewnetrzny,
˛ który dla czastek
˛ niezależnych
wyprodukuje gestość
˛ stanu podstawowego taka˛ jaka jest w układzie rzeczywistym. To sa˛
główne idee, które stoja˛ u podstaw konstrukcji Kohna-Shama. Poniżej pokażemy w jaki
sposób znajduje sie˛ ten potencjał.
Założenie niezależności czastek
˛ pozwala na faktoryzacje˛ funkcji falowej funkcjami
jednoczastkowymi,
˛ podobnie jak w przybliżeniu Hartree:
17
˛
elementy teorii funkcjonału g esto ści (dft)
Z
E = Ĥ = T̂ + Û + dr Vext (r) n(r). (2.2.3)
Z
E = Ĥ = T̂ + Û + dr Vext n(r) + Ts [n] − Ts [n] + EH [n] − EH [n], (2.2.4)
a nastepnie
˛ pogrupujmy elementy powyższego funkcjonału, nazywajac
˛ go energia˛ Kohna-
Shama, EKS : Z
EKS = Ts [n] + EH [n] + dr Vext n(r) + EXC [n], (2.2.5)
gdzie
EXC [n] = T̂ − Ts [n] + Û − EH [n] . (2.2.6)
Wzór 2.2.5 ma postać bardzo podobna˛ do 2.2.3 z tym, że dotyczy pomocniczego układu
elektronów niezależnych. Pierwsze trzy człony odnosza˛ sie˛ do układu elektronów nie-
zależnych i sa˛ funkcjonałami gestości,
˛ lecz w przeciwieństwie do układu wyjściowego,
funkcjonały te sa˛ znane. Konsekwencja˛ zaprezentowanej konstrukcji jest pojawienie sie˛
nowego członu EXC [n], nazywanego energia˛ korelacji–wymiany (ang. exchange-correlation),
która jest różnica˛ energii miedzy
˛ układem rzeczywistym a pomocniczym i jest poprawka˛
wynikajac˛ a˛ z nieuwzglednionych
˛ poprzez faktoryzacje˛ funkcji falowej efektów w kwan-
towym gazie elektronowym: wymiany i korelacji. Jak pokazuje dokładna analiza, wkłady
funkcjonalne do tej poprawki maja˛ charakter lokalny, tzn. pochodza˛ z niewielkiego
obszaru wokół pewnego punktu w przestrzeni fazowej. We wzorze 2.2.6 pierwszy człon
to różnica miedzy
˛ energia˛ kinetyczna˛ układu oddziałujacych
˛ i nieoddziałujacych
˛ elek-
tronów, a drugi to różnica całkowitej energii oddziaływania elektron–elektron i energii
oddziaływania elektrostatycznego elektronów, nazywanej energia˛ Hartree. Niestety ener-
gia korelacji–wymiany jest funkcjonałem o nieznanej postaci analitycznej. Pomimo, że
przeważajacy
˛ wkład do energii całkowitej zawarty jest we wcześniejszych członach,
bez wystarczajaco ˛ dokładnego przybliżenia postaci EXC nie jest możliwe poprawne
wyznaczenie właściwości fizycznych układów. Stad ˛ dobór odpowiedniego funkcjonału
korelacji–wymiany ma kluczowe znaczenie w praktyce obliczeniowej, a konstruowanie
funkcjonałów jest ważna˛ gałezi ˛ a˛ w rozwoju metod DFT. Wiecej
˛ informacji o najcześciej
˛
używanych funkcjonałach, ich konstrukcji i znaczeniu można znaleźć w rozdziale 2.3.
1 n(r)n(r0 )
Z Z Z
EKS [n] = Ts [n] + 0
dr dr 0 + dr Vext n(r) + EXC [n], (2.2.7)
2 | r − r |
18
2.2 równania kohna-shama
i stosujac
˛ relacje
δTs [n(r)] 1 ∂n(r)
∗ = ∇2r ψi (r); = ψi (r), (2.2.9)
δψi (r) 2 ∂ψi∗ (r)
uwzglednienie
˛ warunku ortonormalności funkcji ψi (r) prowadzi do równań typu Schrödin-
gera:
1 2
− ∇r + V̂KS (r) ψi (r) = Ei ψi (r), (2.2.10)
2
w którym
δEH δE
V̂KS (r) = V̂ext (r) + + XC = V̂ext (r) + V̂H (r) + V̂XC (r). (2.2.11)
δn(r) δn(r)
19
˛
elementy teorii funkcjonału g esto ści (dft)
Wstępne oszacowanie
No
Zbieżne?
Yes
Koniec procedury
Wyniki: energie, wartości własne, siły etc.
20
2.3 funkcjonały korelacji i wymiany
gdzie człon energii korelacji i wymiany jednorodnego gazu elektronowego (UEG) εUEG
XC [ n ( r )]
UEG UEG
można zapisać jako sume˛ członu korelacyjnego ε C [n(r)] i wymiennego ε X [n(r)]:
εUEG UEG
XC [ n ( r )] = ε X [n(r)] + εUEG
C [n(r)]. (2.3.2)
LDA [ n ( r )]:
W konsekwencji podobnie rozdziela sie˛ EXC
Z
LDA
EXC [n(r)] = dr n(r) εUEG
X [n(r)] + εUEG
C [ n ( r )] =
Z Z
= dr n(r)εUEG [n(r)] + dr n(r)εUEG [n(r)] = (2.3.3)
X C
czyli Z
EXLDA [n(r)] = dr n(r)εUEG
X [n(r)] (2.3.4)
Z
ECLDA [n(r)] = dr n(r)εUEG
C [n(r)]. (2.3.5)
−3 1 −3
εUEG
X [n] = 3π 2 n 3 = kF, (2.3.6)
4π 4π
1
gdzie k F = 3π 2 n 3 to wektor falowy Fermiego dla jednorodnego gazu elektronowego,
określajacy
˛ sfere˛ w przestrzeni odwrotnej zawierajac
˛ a˛ wszystkie obsadzone stany. Wsta-
21
˛
elementy teorii funkcjonału g esto ści (dft)
wiajac
˛ 2.3.6 do 2.3.4 otrzymamy końcowe wyrażenie na funkcjonał energii wymiany w
LDA:
−3 1
Z Z
LDA UEG
EX [n(r)] = dr n(r)ε X [n(r)] = dr n(r) 3π 2 n(r) 3
4π
13 Z (2.3.7)
3 3 4
=− dr n(r) .
3
4 π
Postać energii korelacji jest natomiast znana w analitycznej postaci jedynie w granicach
wysokiej i niskiej gestości
˛ (rs → 0 oraz rs → ∞, gdzie rs to tzw. promień Seitza, czyli pro-
mień sfery, w której średnio znajduje sie˛ jeden elektron, n = 1/ 4π 3
3 rs ). Granice te zostały
szczegółowo wyprowadzone w [3]. W kolejnym kroku, metoda˛ kwantowego Monte Carlo
w oparciu o te granice wyznaczyć można z dokładnościa˛ bliska˛ faktycznemu rozwiazaniu˛
UEG
końcowy funkcjonał ε C [n]. Po raz pierwszy odpowiedniej parametryzacji dokonali
Ceperley i Alder [4], a najcześciej
˛ używana˛ dziś parametryzacja˛ jest ta wykonana przez
Perdew i Wanga (PW92) [5]. Funkcjonał LDA jest również istotny przy konstruowaniu
bardziej zaawansowanych funkcjonałów, z warunkiem, że nowe funkcjonały powinny w
przypadku jednorodnego gazu elektronowego dawać wyniki zbieżne z wynikami LDA.
Oczywiście, im bardziej gestość
˛ w układzie rzeczywistym bedzie
˛ zmienna, tym bardziej
wyniki uzyskane w przybliżenie LDA bed ˛ a˛ odbiegały od rzeczywistości. W znacznej
wiekszości
˛ przypadków energia wymiany jest niedoszacowana, a energia korelacji prze-
szacowana. Energie wiaza ˛ ń atomowych sa˛ zwykle przeszacowane, a długości wiaza ˛ ń
i stałe sieci sa˛ mniejsze od eksperymentalnych. Dlatego o funkcjonale LDA mówi sie˛
potocznie, że jest "twardy".
Funkcjonały LDA można w ogólności zapisać w postaci 2.3.1, gdzie ε XC [n(r)] zależy
jedynie od lokalnej gestości
˛ elektronowej. W przypadku funkcjonałów GGA, lokalna˛
zależność od gestości
˛ poprawia sie˛ przez dodanie dodatkowej zależności od gradientu
gestości
˛ ˛ nazwa, GGA - Generalized Gradient Approximation) w przestrzeni ∇n(r),
(stad
czyniac
˛ tym samym funkcjonał GGA półlokalnym:
Z
GGA
EXC [n] = dr n(r)εGGA
XC [ n ( r ), ∇ n ( r )]. (2.3.8)
W praktyce, zamiast ∇n(r) wprowadza sie˛ wielkość s(r) = |∇n(r)| /(2k F (r)n(r)), zre-
dukowany bezwymiarowy gradient, co gwarantuje upraszczajac ˛ a˛ wyprowadzenie nie-
zmienniczość skali. Podobnie n(r) można zastapić
˛ przez wprowadzony w poprzednim
podrozdziale promień Seitza rs (r). Uwzgledniaj
˛ ac
˛ wymagania dotyczace ˛ poprawnego
opisu jednorodnego gazu elektronowego (jak w LDA) oraz pewne ograniczenia nałożone
przez tzw. dziure˛ korelacyjno-wymienna˛ [6], można zapisać wzory na cześć
˛ korelacyjna˛ i
wymienna˛ GGA jako poprawki do LDA:
Z
ECGGA [n] = dr n(r) εUEG
C [rs (r)] + H [rs (r), s(r)] (2.3.9)
Z
GGA
EX [n] = dr n(r)εUEG
X FX [s(r)], (2.3.10)
22
2.3 funkcjonały korelacji i wymiany
Funkcjonały GGA daja˛ znaczna˛ popraw˛e w stosunku do LDA. Energia korelacji jest
znacznie bliższa prawdziwej, niepewność wyznaczania energii wiaza ˛ ń jest około dwu-
krotnie zredukowana, podobnie długości wiaza
˛ ń i stałych sieci (choć w tym przypadku
sa˛ one zwykle przeszacowane).
1
2∑
τ (r) = |∇ψi (r)|2 . (2.3.13)
i
τ − τW
α= (2.3.14)
τ UEG
2/3 5/3
gdzie τ UEG = 3/10 3π 2 n jest dokładna˛ gestości
˛ a˛ kinetyczna˛ dla jednorodnego gazu
W 2
elektronowego, a τ = |∇n| /8n.
23
˛
elementy teorii funkcjonału g esto ści (dft)
Funkcjonały hybrydowe, jak sama nazwa wskazuje, sa˛ pewna˛ hybryda˛ dwóch po-
dejść. W tym przypadku, dokładnej energii wymiany (tej z podejścia Hartree-Focka
równanie 1.5.7) oraz korelacji i wymiany GGA. W najprostszym przypadku miesza sie˛
24
2.3 funkcjonały korelacji i wymiany
gdzie a to ułamek dokładnej energii wymiany, EXexact to dokładna energia wymiany (ener-
GGA i E GGA to energie wymiany i korelacji
gia wymiany Hartree-Focka równanie 1.5.7) a EX C
GGA. Stosujac˛ 25% z dokładnej energii wymiany i parametryzacje˛ PBE funkcjonału GGA
otrzymuje sie˛ jeden z pierwszych funkcjonałów hybrydowych, PBE0 [12].
1 er f c(ωr ) er f (ωr )
= + (2.3.20)
r | {z r } | {z r }
SR LR
exact,SR
EXHSE [n] = aEX [n](ω ) + (1 − a) EXPBE,SR [n](ω ) + EXPBE,LR [n](ω ), (2.3.21)
HSE
EXC [n] = aEXexact,SR [n](ω ) + (1 − a) EXPBE,SR [n](ω ) + EXPBE,LR [n](ω ) + ECGGA [n]. (2.3.22)
Uwzgledniaj
˛ ac
˛ w tym równaniu różne wielkości parametru ekranowania ω oraz ułamki
dokładnej energii wymiany a, możemy uzyskać różne parametryzacje funkcjonału. W
najcześciej
˛ stosowanym w obliczeniach ciał stałych i półprzewodników funkcjonale
HSE06 [13] użyte sa˛ ω = 0.2 i a = 0.25.
25
3
O D P O W I E D Ź N A Z A B U R Z E N I E
27
odpowied ź na zaburzenie
Jak widać, nawet na poziomie podstawowej fizyki materiałów, istnieje całe spektrum
zjawisk, które moga˛ być teoretycznie analizowane w ramach DFT. Wspomnimy tu tylko
także o możliwości analizy odpowiedzi optycznej, w pełnym zakresie czestości.
˛
28
˛
3.2 rachunek zaburze ń funkcjonału g esto ści (dfpt)
3.2 ˛
rachunek zaburze ń funkcjonału g esto ści (dfpt)
gdzie E(1) , E(2) , E(3) , ... i ψ(1) , ψ(2) , ψ(3) , ..., nazywamy kolejnymi poprawkami do energii
i funkcji falowej (choć tak naprawde˛ poprawkami tymi sa˛ te wielkości monożone przez
odpowiednie potegi ˛ λ).
Teoria DFPT dostarcza metod wyznaczania tych poprawek i poprzez porównanie z
odpowiednimi rozwinieciami ˛ z szereg potegowy, ˛ kolejnych pochodnych czastkowych.
˛
W tym kontekście ważne jest tzw. twierdzenie ”2n + 1”, które mówi, że jeśli znamy
poprawki do funkcji falowych do rzedu ˛ n włacznie
˛ (w tym stan podstawowy, n = 0),
to korzystajac ˛ z nich można wyznaczyć poprawki do energii do rzedu ˛ 2n + 1 włacznie.
˛
Dla n = 0 twierdzenie to znane jest pod nazwa˛ Hellmanna-Feynmana, i jest powszechnie
wykorzystywane w obliczeniach ab initio. Mówi ono, że jeśli znamy tylko stan podsta-
wowy układu, to można wyznaczyć pierwsza˛ poprawke˛ do energii, bez dodatkowych
kosztownych obliczeń. Ta pierwsza poprawka to np. siły indukowane w układzie przy
wychyleniu jonów z położeń równowagi, czy napre˛ żenia zwiazane ˛ z deformacjami. Znajo-
mość sił i napre˛ żeń ze stanu podstawowego wykorzystywana jest także do optymalizacji
geometrii układu, przy czym napre˛ żenia wykorzystuje sie˛ do optymalizacji geometrii
komórki elementarnej, a siły do optymalizacji położeń jonów. Stosuje sie˛ tu algorytmy
wykorzystujace ˛ fakt, że siły i napre˛ żenia wskazuja˛ kierunki zmian geometrii prowadzace ˛
do minimum energii.
Warto w tym miejscu zauważyć, że znajomość pierwszej poprawki do funkcji falowej
ψ ) , która˛ wyznacza sie˛ w procedurze samouzgodnionej podobnej do tej stosowanej przy
( 1
3.3 ˛
metody bezpo średnie a rachunek zaburze ń funkcjonału g esto ści
Istnieja˛ dwie grupy metod badania w ramach DFT odpowiedzi układu na zaburzenie,
metody bezpośrednie i metody oparte na DFPT.
W metodach bezpośrednich wykorzystuje sie˛ znajomość pierwszej poprawki do ener-
gii, uzyskiwana˛ z tw. Hellmanna-Feynmana przy okazji obliczeń stanu podstawowego
w ramach DFT. I tak na przykład, zadajac ˛ niewielkie odchylenia wybranych jonów
w wybranych kierunkach, wykonujemy obliczenia stanu podstawowego i uzyskujemy
odpowiadajace ˛ zadanym wychyleniom zestawy sił działajacych˛ na jony. Zakładajac,
˛ że
jesteśmy w obszarze zmian liniowych sił wstawiamy uzyskane wartości do relacji, w
której siły z wychyleniami zwiazane
˛ sa˛ macierza˛ stałych stałych siłowych (przybliżenie
29
odpowied ź na zaburzenie
30
4
ELEMENTY TECHNIK OBLICZENIOWYCH
R = l1 a 1 + l2 a 2 + l3 a 3 , (4.2.1)
G · R = l1 m 1 a 1 · b 1 + l1 m 2 a 1 · b 2 + l1 m 3 a 1 · b 3 +
+ l2 m 1 a 2 · b 1 + l2 m 2 a 2 · b 2 + l2 m 3 a 2 · b 3 + (4.2.3)
+ l3 m1 a3 · b1 + l3 m2 a3 · b2 + l3 m3 a3 · b3 = 2nπ
Z racji, że baza bi nie jest jeszcze ściśle zdefiniowana, mamy pewna˛ dowolność w jej
wyborze. Weźmy zatem taka˛ baze˛ bi , która jest ortogonalna do ai :
bi · a j = 2πδij . (4.2.4)
31
elementy technik obliczeniowych
l1 m1 + l2 m2 + l3 m3 = n. (4.2.5)
Wynika z tego wiec,˛ że jeśli li oraz n to liczby naturalne, to mi również musza˛ być
liczbami naturalnymi. Widać już jakie znaczenie ma wektor G, który od tej pory bedziemy
˛
nazywali wektorem sieci odwrotnej, a przestrzeń rozpiet˛ a˛ na wektorach bi - przestrzenia˛
odwrotna.˛ Pozostaje wyznaczyć postać wektorów bazowych bi za pomoca˛ ai . Korzystajac ˛
z równania 4.2.4 możemy zapisać:
b1 · a2 = b1 · a3 = 0 ⇒ b1 = α · ( a2 × a3 ) . (4.2.6)
Nastepnie
˛ ˛ z b1 · a1 = 2π:
korzystajac
b1 · a1 = α · (a2 × a3 ) · a1 = 2π (4.2.7)
i wyznaczyć stała˛ α:
2π
α= . (4.2.8)
a1 · ( a2 × a3 )
Łacz
˛ ac˛ ten wynik z równaniem 4.2.6 otrzymujemy ostateczna˛ postać wektora b1 :
a2 × a3
b1 = 2π . (4.2.9)
a1 · ( a2 × a3 )
Przeprowadzajac
˛ analogiczne postepowanie
˛ dla pozostałych dwóch wektorów bi otrzy-
mamy:
a3 × a1
b2 = 2π
a2 · ( a3 × a1 )
(4.2.10)
a1 × a2
b3 = 2π .
a3 · ( a1 × a2 )
Wektory bi nazywać bedziemy
˛ wektorami elementarnymi sieci odwrotnej. Mianownik
wszystkich trzech wyrażeń jest równy objetości
˛ równoległościanu opartego na wektorach
ai , a wiec
˛ rzeczywistej objetości
˛ komórki elementarnej kryształu. Warto w tym miejscu
zauważyć, że wraz ze wzrostem objetości
˛ rzeczywistej komórki elementarnej, maleć
bedzie
˛ objetość
˛ komórki elementarnej w przestrzeni odwrotnej.
4.2.1 Punkty k
32
4.3 reprezentacje równa ń kohna-shama. baza fal płaskich
strefe˛ Brillouina oraz w jej środku. Ten ostatni, dla k = 0, nazywany jest zawsze punktem
Γ.
, gdzie unk (r) posiada periodyczność zarówno sieci rzeczywistej jak i odwrotnej. Pełny
obraz rozwiaza˛ ń opisuje wektor falowy k należacy
˛ do pierwszej strefy Brillouina, oraz
liczba kwantowa n indeksujaca ˛ energie własne dla danego wektora k. W rezultacie
energie Kohna-Shama tworza˛ energetyczna˛ strukture˛ pasmowa˛ Kohna-Shama układu
(podobnie jak w zagadnieniu jednoczastkowym).
˛ W tym miejscu warto przypomnieć, że
z punktu widzenia teorii struktura ta nie ma bezpośredniego odniesienia fizycznego, lecz
bardzo czesto
˛ traktowana jest jako bardzo dobry punkt wyjścia do określania wzbudzeń
jednoczastkowych.
˛
Każda˛ periodyczna˛ funkcje˛ f (r) można przedstawić w postaci szeregu Fouriera:
Wykorzystujac
˛ fakt periodyczności funkcji falowej w przestrzeni rzeczywistej:
f ( r + R ) = f ( r ), (4.3.3)
Łatwo zauważyć, że aby powyższe równanie spełniało zależność 4.3.3, to:
eiG·R = 1. (4.3.6)
33
elementy technik obliczeniowych
gdzie Ĥ (k) jest macierza˛ N × N (N - liczba fal płaskich). Elementy macierzowe sa˛
transformatami fourierowskimi skladowych hamiltonianu w reprezentacji położeniowej,
34
˛
4.4 wyznaczanie g esto ści elektronowej w układach periodycznych
4.4 ˛
wyznaczanie g esto ści elektronowej w układach periodycznych
gdzie k s to tzw. specjalne punkty k, a metoda nazywana jest metoda˛ specjalnych punktów
k Monkhorsta-Packa, od nazwisk autorów standardowo cytowanej w tym kontekście
pracy [?].
35
elementy technik obliczeniowych
36
4.5 reprezentacje atomów
True wavefunction
Pseudo wavefunction
True potential
Pseudopotential
rcut
Distance from the center of atom, r
37
BIBLIOGRAFIA
[1] P. Hohenberg and W. Kohn. Inhomogeneous electron gas. Phys. Rev., 136:B864–B871,
Nov 1964.
[2] W. Kohn and L. J. Sham. Self-Consistent Equations Including Exchange and Correla-
tion Effects. Phys. Rev., 140:A1133–A1138, Nov 1965.
[3] R.G. Parr and Y. Weitao. Density-Functional Theory of Atoms and Molecules. Internatio-
nal Series of Monographs on Chemistry. Oxford University Press, 1994.
[4] D. M. Ceperley and B. J. Alder. Ground State of the Electron Gas by a Stochastic
Method. Phys. Rev. Lett., 45:566–569, Aug 1980.
[5] J. P. Perdew and Y. Wang. Accurate and simple analytic representation of the
electron-gas correlation energy. Phys. Rev. B, 45:13244–13249, Jun 1992.
[9] F. Tran and P. Blaha. Accurate Band Gaps of Semiconductors and Insulators with a
Semilocal Exchange-Correlation Potential. Phys. Rev. Lett., 102:226401, Jun 2009.
[11] A. D. Becke and E. R. Johnson. A simple effective potential for exchange. The Journal
of Chemical Physics, 124(22):221101, 2006.
[12] J. P. Perdew, M. Ernzerhof, and K. Burke. Rationale for mixing exact exchange with
density functional approximations. The Journal of Chemical Physics, 105(22):9982–9985,
1996.
[14] https://www.abinit.org/.
39