唐楠楠,張 姝,李強(qiáng)林
(1.成都紡織高等專科學(xué)校,四川成都611731;2.四川師范大學(xué)化學(xué)與材料科學(xué)學(xué)院,四川成都610068)
量子力學(xué)是現(xiàn)代物理學(xué)的基石。Heisenberg在1925年首先提出了矩陣力學(xué),即是量子力學(xué)的矩陣表達(dá)形式。隨后,Schr?dinger在1926年建立了波動力學(xué),即量子力學(xué)的波動方程形式。二者雖然在形式上并不相同,但其實(shí)分屬量子力學(xué)的兩種表達(dá)形式,Schr?dinger通過嚴(yán)格的數(shù)學(xué)推理證明了二者的等價(jià)性。相比矩陣形式,Schr?dinger的波動方程形式更易于被化學(xué)工作者所接收。1927年,Heitler和London將量子化學(xué)波動形式運(yùn)用到氫分子系統(tǒng)的研究工作中,成功得到了精確描述氫分子系統(tǒng)的波函數(shù)解析解,并對氫分子系統(tǒng)的化學(xué)鍵本質(zhì)做出了量子力學(xué)解釋,這標(biāo)志著量子化學(xué)的誕生。
量子化學(xué)的發(fā)展給物理學(xué)和化學(xué)提供了嶄新的理論,對于解釋微觀世界的物質(zhì)規(guī)律和反應(yīng)本質(zhì)起到了決定性的作用。但是人們很快發(fā)現(xiàn),對于氫分子以外的大量體系,都很難精確求得解析解。這主要是由于量子化學(xué)雖然在理論上嚴(yán)格的描述了微觀世界的運(yùn)動規(guī)律,但是在實(shí)際求解多粒子體系時(shí)會遇到許多困難,有些求解在當(dāng)時(shí)看來甚至是不可能完成的工作。
基于此,科研人員開始研究如何簡化計(jì)算,通過對模型和方程的近似處理來得到可靠精度范圍內(nèi)的數(shù)值解。主要的研究思路是如何將一個(gè)多粒子問題轉(zhuǎn)化為多電子問題,進(jìn)而再將多電子問題轉(zhuǎn)化為單電子問題,如果能夠完成這個(gè)步驟,會使多電子Schr?dinger方程轉(zhuǎn)化為單電子方程,這樣就使求解過程被大大的簡化。目前被研究人員廣泛使用的是 Hartree-Fock 近似處理方法[1,2]和密度泛函理論(DFT)方法[3,4]。
這些理論和方法構(gòu)成了第一性原理計(jì)算(first-principles calculation)[5]。隨著計(jì)算機(jī)科學(xué)的迅猛發(fā)展,尤其使得基于DFT的第一性原理得到了廣泛重視,成為物理學(xué)、化學(xué)、生物學(xué)和材料學(xué)等學(xué)科的重要研究方法,被廣泛運(yùn)用于各類原子、分子、團(tuán)簇、晶體和物質(zhì)表面等的電子結(jié)構(gòu)計(jì)算和反應(yīng)過程分析中[6-8]。密度泛函理論計(jì)算是完全以量子化學(xué)從頭算(ab initio)作為理論依據(jù)的計(jì)算方法,為了區(qū)別于其它量子化學(xué)從頭算方法,有時(shí)也把基于DFT的計(jì)算稱為狹義的第一性原理計(jì)算。本文闡述了DFT理論的發(fā)展歷程和理論核心,并對其基本計(jì)算原理和發(fā)展趨勢做出重點(diǎn)分析,希望能對DFT理論的進(jìn)一步完善提供一定的理論參考。
近20年來,DFT計(jì)算方法被廣泛地應(yīng)用于物理學(xué)、化學(xué)、材料科學(xué)和生命科學(xué)等領(lǐng)域。DFT方法因其計(jì)算量相對較小、計(jì)算結(jié)果合理可靠而被人們廣泛接受。DFT方法也是目前計(jì)算科學(xué)當(dāng)中的主流方法之一,它在量子力學(xué)原理和實(shí)際應(yīng)用之間架起一座橋梁,具有不可替代的意義。
密度泛函理論的實(shí)質(zhì)是將波函數(shù)轉(zhuǎn)換為電子密度函數(shù)作為研究的基本單元,從而簡化運(yùn)算過程,并且使多電子問題得以轉(zhuǎn)化為單電子問題進(jìn)行求解。假設(shè)電子數(shù)目為N,則波函數(shù)中總共的變量數(shù)為3N,求解極其復(fù)雜,而采用密度泛函理論,可以將變量數(shù)縮減到3個(gè),即只包含了三個(gè)空間變量,這樣既可以極大的簡化計(jì)算過程,又可以確保計(jì)算精度。
Thomas和Fermi在1927年建立了基于均勻電子氣模型的Thomas-Fermi模型[9]。均勻電子氣模型的出發(fā)點(diǎn)是假設(shè)電子之間無相互作用且無外力干擾。在此基礎(chǔ)上得到電子運(yùn)動的Schr?dinger方程為:
解得:
引入0K下的電子排布規(guī)律,可經(jīng)過推導(dǎo)得到電子密度和單電子總能的表達(dá)式,分別為:
則體系的動能密度為:
至此,再引入對電子間的庫倫勢和外場的描述,可以推到出僅由電子密度函數(shù)決定的電子體系的總能表達(dá)式。依據(jù)變分學(xué)概念,我們可以認(rèn)為此時(shí)總能是電子密度函數(shù)的泛函。Thomas-Fermi模型第一次引入密度泛函的概念,成為后來DFT的雛形。這個(gè)模型的成立是基于理想狀態(tài)下的均勻電子氣假設(shè),雖然大大的簡化了計(jì)算形式和過程,但并沒有考慮電子間的交換作用,沒有對動能項(xiàng)進(jìn)行精確描述,所以這個(gè)模型非常粗糙,以此算得的結(jié)果在很多體系中并不合理。但這個(gè)模型給后來的研究者提供了很好的研究思路,經(jīng)過多年的努力,研究人員在20世紀(jì)60年代基本完善了密度泛函理論的內(nèi)容,并最終建立起嚴(yán)格意義的密度泛函計(jì)算理論。對DFT而言,Hohenberg-Kohn定理和Kohn-Sham方程的提出對本理論的形成和完善起到了關(guān)鍵作用,被譽(yù)為DFT的兩大基石,現(xiàn)分別作如下介紹。
Hohenberg-Kohn定理是由 Hohenberg和Kohn在系統(tǒng)的研究Thomas-Fermi模型之后提出的,主要針對了非均勻電子氣模型,其定理的核心思想是:體系中的所有物理量都可以通過只包含電子密度的變量來唯一決定,而實(shí)現(xiàn)方法是通過變分原理來求得到體系基態(tài)。Hohenberg-Kohn定理由兩條已被嚴(yán)格證明的子定理構(gòu)成[10]。
(1)處在外勢(除電子相互作用以外的勢)的忽略自旋的電子體系,其外勢可通過電子密度唯一決定。
(2)對于給定的外勢,系統(tǒng)基態(tài)能量即能量泛函的最小值。
根據(jù)已上定理,假設(shè)一個(gè)體系受到外勢的影響,則此時(shí)體系的哈密度量由電子動能,外場中電子的勢能和庫倫作用組成。這三部分中只有外勢是根據(jù)不同體系而變化的,當(dāng)對外勢的描述確定之后,系統(tǒng)的哈密頓量也就隨之確定,而哈密頓量通過Schr?dinger方程確定整個(gè)體系的波函數(shù),至此,我們可以看出,電子密度的確能夠唯一的描述總波函數(shù)以及體系基態(tài)。此時(shí)可以對體系的能量泛函做出如下的描述:
式(1-6)中的四項(xiàng)分別代表外場中的電子勢能、動能項(xiàng)、電子間的庫倫作用和交換關(guān)聯(lián)能??梢钥闯觯琀ohenberg-Kohn定理嚴(yán)格證明了電子密度函數(shù)的意義,建立了以電子密度函數(shù)為變量的求算形式,并指出了以變分原理為主的求解路徑,從這一點(diǎn)看是非常成功的。但是此定理并沒有給出求算形式中電子密度函數(shù)、動能泛函和交換關(guān)聯(lián)泛函的具體表達(dá)式,這使得我們對體系的具體求算還是無法進(jìn)行。直到1965年,Kohn和沈呂九建立了Kohn-Sham方程[11],得到了各項(xiàng)的具體描述形式,使密度泛函理論開始進(jìn)入實(shí)際應(yīng)用階段。其中Kohn因?yàn)樗贒FT計(jì)算方法上的卓越貢獻(xiàn)榮獲諾貝爾獎。
依據(jù)上文的結(jié)論,考慮到體系粒子數(shù)守恒,將原方程變分表達(dá)式等價(jià)為:
Kohn和Sham針對式(1-7)中仍然沒有確定具體表達(dá)形式的動能泛函項(xiàng)提出使用已經(jīng)具有明確表達(dá)形式的互相無影響的粒子動能泛函來近似代替,而將二者的差異納入交換關(guān)聯(lián)泛函的未知項(xiàng)中,這樣就使得體系僅剩下一個(gè)未知量,即新的交換關(guān)聯(lián)泛函項(xiàng)Excρ(r[ ])。定義密度函數(shù):
可將動能泛函項(xiàng)描述為:
將拉格朗日乘子替換為Ei,根據(jù)變分原理可得:
式(1-8)、(1-10)、(1-11)合稱為 Kohn-Sham方程。通過選取初始電子密度泛函表達(dá)式,對體系進(jìn)行自洽迭代運(yùn)算得到更為精確的表達(dá)式,重復(fù)此計(jì)算直到滿足精度要求,即可以求出體系的近似波函數(shù)。Kohn-Sham方程給除了交換關(guān)聯(lián)泛函以外的各項(xiàng)都賦予了明確的表達(dá)形式,并把復(fù)雜作用項(xiàng)也歸并在此項(xiàng)中。至此,求算難度得到大大簡化,所有的工作都圍繞著如何描述交換關(guān)聯(lián)泛函而展開。
由上文可知求解問題的關(guān)鍵是建立精確和簡潔的交換關(guān)聯(lián)泛函表達(dá)式?,F(xiàn)對目前常用的方法做出介紹。
LDA方法也是由Kohn和沈呂九在1965年提出,目的是為了使未知交換關(guān)聯(lián)項(xiàng)能被近似表達(dá),使得DFT能夠適用于實(shí)際計(jì)算。LDA的核心思想是使用已有的均勻電子氣密度函數(shù)來求算非均勻電子氣條件下的交換關(guān)聯(lián)項(xiàng)。假設(shè)體系中電子密度隨空間的變化率極小,則此時(shí)非均勻電子氣的交換關(guān)聯(lián)項(xiàng)可以表示為:
εxc[ρ(r)]表示粒子在均勻電子氣中的交換關(guān)聯(lián)能。則相應(yīng)的交換關(guān)聯(lián)勢可表示為:VLxcDA(r)
可得:
式(2-2)和(2-3)被稱為Kohn-Sham局域密度泛函方程。通過已上表達(dá)式我們不難看出:
式(2-4)說明,交換關(guān)聯(lián)泛函又可以拆解為交換項(xiàng)和關(guān)聯(lián)項(xiàng)兩個(gè)部分來分別求算。LDA方法求解過程簡單,運(yùn)算成本較低,非常適合電子密度變化率較小的系統(tǒng),在早期求算一般金屬和半導(dǎo)體能帶方面發(fā)揮了巨大作用。但在實(shí)際應(yīng)用中,許多體系的密度函數(shù)變化率都比較大,這使得LDA的在計(jì)算物質(zhì)表面、晶體缺陷等方面誤差較大。為了更加精確的計(jì)算實(shí)際物質(zhì)體系,人們又創(chuàng)立了廣義梯度近似方法。這也是目前密度泛函計(jì)算中運(yùn)用最為廣泛的一類處理方法。
LDA方法中交換關(guān)聯(lián)項(xiàng)僅僅是電子密度的泛函,這使得在密度梯度變化率較大的體系中容易出現(xiàn)較大的偏差。GGA的近似處理正是在充分考慮到LDA近似算法的不足,將電子密度的梯度也作為交換關(guān)聯(lián)泛函的變量,以此對處在非均勻氣體條件下的體系進(jìn)行能量修正[12]。這就是GGA處理方法的基本思路,具體來看,就是使原項(xiàng)被改寫為包含電子密度和梯度函數(shù)的泛函形式,若在加上對自旋的描述,即可得到如下的交換關(guān)聯(lián)泛函:
同樣的,在GGA當(dāng)中,交換關(guān)聯(lián)項(xiàng)也可以拆解為交換能和關(guān)聯(lián)能兩項(xiàng)分別描述。那么,具體的問題就是如何構(gòu)建這兩部分的合理表達(dá)式。關(guān)于這個(gè)問題,目前主要有兩大觀點(diǎn)。其一是Beckc等人[13]主張的“一切皆合法”觀點(diǎn)。這個(gè)流派認(rèn)為具體的泛函形式原則上可以任意構(gòu)建,并不需要在泛函中考慮實(shí)際的物理意義,那么描述的合理性則完全由實(shí)際計(jì)算來評價(jià),所以此流派的泛函項(xiàng)通常包含由計(jì)算和實(shí)驗(yàn)數(shù)據(jù)統(tǒng)計(jì)優(yōu)化而成的經(jīng)驗(yàn)參數(shù)。在化學(xué)相關(guān)領(lǐng)域應(yīng)用較為廣泛的GGA-PW91泛函就是根據(jù)這個(gè)思路構(gòu)建的。另一類觀點(diǎn)則是Perdew等人[14]主張的交換關(guān)聯(lián)泛函應(yīng)該從實(shí)際的物理意義出發(fā),盡量回歸到純粹的量子力學(xué)計(jì)算理論,所有物理量的計(jì)算都僅從電子靜質(zhì)量、普朗克常數(shù)、光速等基本常量入手,所以計(jì)算泛函表達(dá)式也不應(yīng)過多包含經(jīng)驗(yàn)參數(shù)。在凝聚態(tài)物理學(xué)等相關(guān)領(lǐng)域的計(jì)算中經(jīng)常使用的GGA-PBE泛函即是以這種思想作為構(gòu)建依據(jù)的。
大量的算例證實(shí),GGA通常更加符合實(shí)驗(yàn)結(jié)果,較LDA適用范圍也更加廣泛。除了對半導(dǎo)體和某些金屬晶格常數(shù)優(yōu)化等少許問題還有待解決外,基本上已經(jīng)可以算作密度泛函計(jì)算中非常成熟的算法,所得結(jié)果能夠較好的與現(xiàn)有實(shí)驗(yàn)參數(shù)吻合。
除了以上兩種基本計(jì)算形式,研究人員還針對不同體系下的計(jì)算需要做出了很多修正LDA和GGA算法。這使得泛函中包含了描述體系的信息越來越多,計(jì)算結(jié)果也與實(shí)際實(shí)驗(yàn)數(shù)據(jù)越來越接近,基本能夠以此對體系的實(shí)際狀態(tài)做出客觀的衡量。除了LDA和GGA這兩種基本泛函形式,還有考慮到Hatree-Fock形式交換作用影響的雜化密度泛函,各類雜化泛函尤其適用于有機(jī)化學(xué)領(lǐng)域,并在化學(xué)反應(yīng)機(jī)理計(jì)算方面獲得了很大的成功。以文獻(xiàn)中經(jīng)常出現(xiàn)的B3LYP雜化泛函為例:
式(2-6)中涉及到3個(gè)參數(shù),并且在求算中用到了B88泛函和LYP泛函分別作為交換項(xiàng)和關(guān)聯(lián)項(xiàng),即以雜化的方式將Hatree-Fock形式交換作用影響納入交換關(guān)聯(lián)項(xiàng)中。但需要指出的是,此類雜化泛函算法由于在類自由電子系統(tǒng)的處理上有所不足,因此對金屬和窄帶隙半導(dǎo)體材料的計(jì)算會出現(xiàn)較大的誤差,還有待改進(jìn)[15]。類似的三參數(shù)雜化泛函還有 B3PW91、B3P86等等[16],這類泛函采取的思路大致相同,只是選取了不同的參數(shù)和泛函種類。
近年來隨著各種表征技術(shù)的迅猛發(fā)展,各類電子顯微鏡和各類電子能譜都已經(jīng)較成熟地運(yùn)用于與材料學(xué)科相關(guān)的各個(gè)研究領(lǐng)域。但是傳統(tǒng)的研究方法仍然具有諸多不足。例如,使用掃描隧道顯微鏡(STM)對催化材料進(jìn)行表面分析時(shí),隧道電流會破壞材料表面的原有結(jié)構(gòu),同時(shí)也可能引起吸附原子的部分脫離,這些都將導(dǎo)致測量結(jié)果無法反應(yīng)材料表面的真實(shí)情況。此外,對于在研究反應(yīng)機(jī)理中非常重要的瞬態(tài)構(gòu)象信息,傳統(tǒng)的表征手段還不能做到及時(shí)捕捉,這使得很多反應(yīng)機(jī)理只能停留在各種理論推測的階段。另一方面,傳統(tǒng)的材料設(shè)計(jì)主要是通過實(shí)驗(yàn)手段來進(jìn)行,這往往會消耗較長的時(shí)間和大量的財(cái)力,并且使得實(shí)驗(yàn)研究可能出現(xiàn)大量的盲目性。
為了解決這些問題,越來越多的研究者把研究方向轉(zhuǎn)入對材料和反應(yīng)機(jī)理的理論研究,并取得了許多突破性進(jìn)展。DFT計(jì)算方法則是眾多理論研究方法中的一個(gè)重點(diǎn),它的進(jìn)一步發(fā)展將會對突破目前材料學(xué)科的研究瓶頸起到重要作用。但DFT相比其他方法計(jì)算時(shí)間較長,同時(shí)模型較難運(yùn)用于分子數(shù)較多的體系和含時(shí)系統(tǒng),尤其是目前對于納米材料計(jì)算結(jié)果的可靠性也稍遜于模特卡羅方法、分子動力學(xué)等方法,這些則是DFT領(lǐng)域發(fā)展中亟待解決的主要問題和未來的主要發(fā)展方向。
[1]Hartree D R.The wave mechanics of an atom with a non-Coulomb central field [J].Rroc.Camb.Pil.Soc.,1928,24(1):89-110.
[2]Fock V,Petrashen M J.On the numerical solution of generalised equations of the self-consistent field [J].Phys.Z.Sowjetunion,1934,6:368-414.
[3]Hohenberg P,Kohn W.Inhomogeneous electron gas[J].Phys.Rev.,1964,136(3B):B864-B870.
[4]Kohn W,Sham L J.Self-Consistent equations including exchange and correlation effects[J].Phys.Rev.,1965,140(4A):A1133-A1138.
[5]Born M,Oppenheimer J R.Zur quantentheorie der molekeln[J].Ann.Phys.,1927,389(20):457-484.
[6]Van Benthem K,Els?sser C,F(xiàn)rench R H.Bulk electronic structure of SrTiO3:experiment and theory[J].J.Appl.Phys.,2001,90(12):6156-6164.
[7]Tomohito T,Katsuyuki M,Yuichi I.First-principles study on structures and energetics of intrinsic vacancies in SrTiO3[J].Phys.Rev.B:Condens.Matter,2003,68(20):205213-1-205213-8.
[8]Arques M,Teles L K,Anjos V,et al.Full-relativistic calculations of the SrTiO3carrier effective mass and complex dielectric function [J].Appl.Phys.Lett.,2003,82(18):3074-3076.
[9]Kohn W,Beckc A D,Parr R G.Density functional theory of electronic structure[J].Phys.Rev.,1965,140:B1133-B1138.
[10]Vignale G,Kohn W.Current-dependent exchange-correlation potential for dynamical linear response theory[J].Phys.Rev.Lett.,1996,77(10):2037 ~2040.
[11]李震宇,賀偉,楊金龍.密度泛函理論及其數(shù)值方法新進(jìn)展[J].化學(xué)進(jìn)展,2005 17(2):192-202.
[12]黃美純.密度泛函理論的若干進(jìn)展[J].物理學(xué)進(jìn)展,2000,20(3):199-219.
[13]Webster F.Finite-size effects in DFT Calculation of The Phonon-Dispersion In crystalline Silicon[J].Absteracts Of Papers Of The American Chemical Society,1993,206:201 ~inor.
[14]Perdew J P,Burke K,Wang Y.Generalized gradient approximation for the exchange-correlation hole of a many-electron system[J].Phys.Rev.B,1996,54(23):16533-16539.
[15]Paier J,Marsman M,Kresse G.Why does the B3LYP hybrid functional fail for metals?[J].J.Chem.Phy.,2007,127(2):024103-1-024103-10.
[16]Ventura O N.Transition states for hydrogen radical reactions:LiFH as a stringent test case for density functional methods[J].Molecular Physics,1996,89(6):1851-1870.