Tæthedsfunktionel teori

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 14. august 2022; verifikation kræver 1 redigering .

Density functional theory (DFT ) er en  metode til at beregne den elektroniske struktur af systemer af mange partikler inden for kvantefysik og kvantekemi . Det bruges især til at beregne den elektroniske struktur af molekyler og kondenseret stof. Det er en af ​​de mest udbredte og alsidige metoder inden for beregningsfysik og beregningskemi . Et fast legeme betragtes som et system bestående af et stort antal identisk interagerende elektroner holdt sammen af ​​et gitter af atomkerner . Hovedideen med metoden er at bruge begrebet elektrontæthed i grundtilstanden , dens fordeling er beskrevet af en-partikel Schrödinger-ligningen. [en]

Introduktion

Thomas-Fermi-modellen

Den densitet funktionelle teori metode blev forudgået af Thomas-Fermi modellen udviklet af L. Thomas og Enrico Fermi i 1927 . De beregnede energien af ​​et atom som summen af ​​dets kinetiske energi , udtrykt som en elektrontæthed funktionel , og den potentielle energi af interaktionen af ​​elektroner med kernen og med hinanden; interaktionsenergien blev også udtrykt i form af elektrondensiteten.

På trods af den betydelige rolle, som Thomas-Fermi-modellen spillede i udviklingen af ​​kvantemekanik, var dens nøjagtighed utilstrækkelig, da udvekslingsinteraktionen ikke blev taget i betragtning , i modsætning til for eksempel Hartree-Fock-metoden . I 1928 forfinede Paul Dirac energifunktionellet i Thomas-Fermi-modellen ved at tilføje det et udtryk, der beskriver udvekslingsinteraktionen (dette udtryk havde også form af en elektrontæthedsfunktionel).

På trods af dette gav Thomas-Fermi-Dirac-modellen for en række anvendelser ikke et tilfredsstillende resultat. Den primære fejlkilde var udtrykket for den kinetiske energi, hvilket førte til en fejl i beregningen af ​​udvekslingsenergien. Derudover blev elektronkorrelationsenergien ikke taget i betragtning .

Hohenberg-Kohns sætninger

Selvom tæthedsfunktionsteorien er baseret på den nu klassiske Thomas-Fermi-model, blev en pålidelig teoretisk begrundelse for den kun givet med formuleringen af ​​Hohenberg-Kohn-sætningerne (opkaldt efter Pierre Hohenberg og Walter Kohn ).

Den første sætning beviser, at egenskaberne af grundtilstanden for et mange-elektronsystem kun bestemmes af elektrontætheden, som afhænger af tre koordinater. Denne teorem reducerer problemet med at beskrive et mange-elektronsystem af N elektroner med 3N rumlige koordinater til at beskrive elektrontætheden funktionel med tre koordinater.

Den anden sætning er et kvantemekaniks variationsprincip formuleret for tæthedsfunktionel og siger, at energien i elektrondelsystemet, skrevet som elektrontæthedsfunktionelle, har et minimum svarende til energien i grundtilstanden.

Oprindeligt blev Hohenberg-Kohn-sætningerne kun formuleret til grundtilstanden af ​​det elektroniske delsystem i fravær af et magnetfelt. De kan generaliseres ved at indføre en tidsafhængighed, som gør det muligt at bruge denne formalisme til at beregne tilstanden af ​​exciterede elektroner [2] .

Beskrivelse af metoden

Traditionelle metoder til bestemmelse af den elektroniske struktur, især Hartree-Fock-metoden og dens derivater, beskriver systemet ved hjælp af mange-elektronbølgefunktionen . Hovedmålet med tæthedsfunktionsteorien er at erstatte mange-elektronbølgefunktionen med elektrontætheden , når elektronundersystemet beskrives . Dette fører til en væsentlig forenkling af problemet, da mange-elektronbølgefunktionen afhænger af variable - 3 rumlige koordinater for hver af elektronerne, mens tætheden kun er en funktion af tre rumlige koordinater.

Som regel bruges densitetsfunktionsteori-metoden i forbindelse med Kohn-Sham-formalismen , hvor det vanskelige problem med at beskrive flere interagerende elektroner i et statisk eksternt felt (atomkerner) reduceres til et enklere problem med uafhængige elektroner, der bevæger sig. i et eller andet effektivt potentiale . Dette effektive potentiale omfatter det statiske potentiale af atomkerner og tager også højde for Coulomb-effekter, især udvekslingsinteraktion og elektronkorrelation.

Beskrivelsen af ​​de sidste to interaktioner er den største vanskelighed ved densitetsfunktionsteoretiske metode i Kohn-Sham-formuleringen. Den enkleste tilnærmelse her er den lokale tæthedstilnærmelse , som er baseret på en nøjagtig beregning af udvekslingsenergien for en rumligt homogen elektrongas, som kan udføres inden for rammerne af Thomas-Fermi modellen, og hvorfra korrelationsenergien af elektrongas kan også opnås.

Densitetsfunktionsteoretiske metode har været meget brugt til beregninger i faststoffysik siden 1970'erne. I en række tilfælde giver selv brugen af ​​en simpel lokal tæthedstilnærmelse tilfredsstillende resultater i overensstemmelse med eksperimentelle data, og metodens beregningsmæssige kompleksitet er lav i forhold til andre tilgange til mange-partikelproblemet i kvantemekanik. Metoden var dog i lang tid ikke nøjagtig nok til beregninger inden for kvantekemi , indtil der i 1990'erne skete et mærkbart skift i beskrivelsen af ​​udvekslings- og korrelationsinteraktioner. På nuværende tidspunkt er densitetsfunktionsteoretiske metode hovedtilgangen på begge områder. Men på trods af fremskridt i teorien er der stadig problemer med at anvende metoden til beskrivelsen af ​​intermolekylære kræfter , især van der Waals-kræfter og spredningsinteraktion, samt ved beregning af båndgabet i halvledere .

Vanskeligheder med beregningen af ​​spredningsinteraktionen inden for rammerne af densitetsfunktionsteorien (som opstår, i det mindste når denne metode ikke suppleres med andre) gør den densitetsfunktionelle teorimetode til ringe brug for systemer, hvor dispersionskræfter er fremherskende (f.eks. for eksempel, når man overvejer interaktionen mellem ædelgasatomer ) eller systemer, hvor dispersionskræfter er af samme størrelsesorden som andre interaktioner (for eksempel i organiske molekyler ). Løsningen på dette problem er genstand for moderne forskning.

Formel begrundelse for metoden

Ifølge Born-Oppenheimer-tilnærmelsen , som bruges i de fleste beregninger af den elektroniske struktur, betragtes kernerne, der udgør det betragtede system, som immobile. Det elektrostatiske potentiale , der genereres af disse "faste" kerner, er eksternt i forhold til elektronerne. Elektroners stationære tilstand beskrives af bølgefunktionen , som er løsningen af ​​Schrödinger-ligningen

hvor  er Hamiltonian for elektron-delsystemet,  er antallet af elektroner, beskriver elektron-elektron-interaktionen. Operatørerne og er de samme for alle systemer, mens formen afhænger af det pågældende system. Som det kan ses, er hovedforskellen mellem en-partikel-problemet og mange-legeme-problemet tilstedeværelsen af ​​et udtryk, der beskriver elektron-elektron-interaktionen, . Der er et stort antal metoder til at løse multipartikel Schrödinger-ligningen baseret på udvidelsen af ​​bølgefunktionen ved hjælp af Slater-determinanten . Den enkleste af disse er Hartree-Fock metoden, på grundlag af hvilken der er udviklet en række moderne metoder. Et almindeligt problem for dem er en betydelig beregningsmæssig kompleksitet, på grund af hvilken omfanget af Hartree-Fock-metoden og dens derivater er begrænset til ikke for store systemer.

Densitetsfunktionsteoretiske metode løser stort set problemet med at beregne systemer, der omfatter et stort antal partikler, ved at reducere problemet med et mange-legeme-system med et elektron-elektron-interaktionspotentiale til et enkelt-partikel-problem, hvor der ikke er nogen term.

Densiteten af ​​partikler, , som formalismen i tæthedsfunktionsteorien er opbygget med, er givet ved udtrykket:

Hohenberg og Kohn i 1964 viste [3] at dette udtryk kan vendes: givet partikeltætheden i grundtilstanden, , kan man finde den tilsvarende grundtilstandsbølgefunktion . Med andre ord,  er den eneste funktion af , dvs.

og følgelig er alle andre observerbare fysiske størrelser også funktionelle :

Især for energien i grundtilstanden kan man skrive

hvor bidraget fra det eksterne potentiale kan omskrives i form af partikeltætheden:

Funktionerne og er de samme for alle systemer, og afhænger naturligvis af den type system, der overvejes. For et givet system er formen kendt, og det er muligt at minimere det funktionelle

med hensyn til partikeltæthedsfordelingen , hvis der selvfølgelig er udtryk for og . Som et resultat af minimering opnås tætheden af ​​partikler i grundtilstanden , og sammen med den, alle mængder observeret i grundtilstanden.

Variationsproblemet med at finde minimum af energien funktionel kan løses ved hjælp af Lagrange multiplikatormetoden , som det blev gjort af Cohn og Sham i 1965 [4] . Således kan energien funktionelle i ovenstående udtryk skrives som den effektive partikeltæthed funktionelle i et en-partikel system:

hvor er den kinetiske energi af en fri partikel og  er det effektive eksterne potentiale for elektronundersystemet. Det er klart, at hvis taget i form

Løsningen af ​​de såkaldte Kohn-Sham-ligninger for et hjælpesystem, hvorfra elektron-elektron-interaktionen er udelukket,

giver orbitalerne , langs hvilke elektrontætheden af ​​det oprindelige mangepartikelsystem genoprettes:

Det effektive en-partikel potentiale skrives som

hvor det andet led, Hartree-leddet, beskriver elektron-elektronens Coulomb-frastødning, og det sidste led kaldes udvekslingskorrelationspotentialet. Her inkluderer alle multipartikel-interaktioner.

Da Hartree-termen og udtrykket afhænger af tætheden , som afhænger af , som igen afhænger af , kan de selvkonsistente Kohn-Sham-ligninger løses ved hjælp af en iterativ procedure med successive tilnærmelser. Som regel ud fra den indledende tilnærmelse for , beregnes det tilsvarende led , for hvilket Kohn-Sham-ligningerne så løses, hvorfra . Herfra kan man få følgende tilnærmelse for tætheden og så videre.

Approksimationer

Hovedproblemet forbundet med densitetsfunktionsteoretiske metode er, at de nøjagtige analytiske udtryk for udvekslings- og korrelationsenergifunktionalerne kun kendes for det særlige tilfælde af en gas af frie elektroner. Ikke desto mindre gør de eksisterende tilnærmelser det muligt at beregne en række fysiske størrelser med tilstrækkelig nøjagtighed. I fysiske applikationer er den lokale tæthedstilnærmelse (LDA) mest almindelig, hvor det antages, at den beregnede funktion for et eller andet punkt i rummet kun afhænger af tætheden på dette tidspunkt:

Local Spin Density Approximation (LSDA) er en direkte generalisering af Local Density Approximation, der tager højde for elektronspin :

Et ret nøjagtigt udtryk for tætheden af ​​udvekslingskorrelationsenergien blev opnået ved hjælp af kvante Monte Carlo-metoden ved beregning af gassen af ​​frie elektroner.

Den generaliserede gradientapproksimationsmetode (GGA) er også lokal, men i modsætning til den lokale tæthedsmetode tager den højde for tæthedsgradienten ved synspunktet:

Brugen af ​​denne tilnærmelse giver gode resultater ved beregning af geometrien og energien af ​​molekylers grundtilstand.

Der er også mere nøjagtige tilnærmelser, som i vid udstrækning gør det muligt at løse problemet med at beregne den funktionelle udvekslingskorrelationsenergi.

Generalisering til tilfældet med et magnetfelt

Formalismen af ​​densitetsfunktionsteoretiske metode er overtrådt i nærvær af et vektorpotentiale, især i nærvær af et magnetfelt . I dette tilfælde er der ingen en-til-en overensstemmelse mellem elektrontætheden og det eksterne potentiale (af atomkerner). Forsøg på at generalisere formalismen for at tage højde for virkningerne forbundet med magnetfeltet resulterede i to forskellige teorier: tæthedsfunktionsteorien med strømtæthedsvektoren taget i betragtning, og tæthedsfunktionsteorien med magnetfeltet taget i betragtning. I begge tilfælde er den funktionelle af udvekslingskorrelationsenergien generaliseret og bliver ikke kun afhængig af elektrondensiteten. I den første tilgang, udviklet af Vignale og Rasolt, er strømtætheden udover elektrontætheden også et argument. I den anden tilgang (Salsbury, Grayce, Harris) er det funktionelles yderligere argument magnetfeltet, og formen af ​​det funktionelle afhænger af magnetfeltets type. For begge metoder viste beregningen af ​​udvekslingskorrelationsenergien ud over den lokale tæthedstilnærmelse (eller rettere, dens generalisering til tilfældet med et magnetfelt) at være meget vanskelig.

Ansøgninger

Kohn-Sham-metoden kan i praksis anvendes på flere forskellige måder afhængig af formålet med undersøgelsen. I beregninger for faststoffysik er den lokale tæthedstilnærmelse stadig meget brugt, koblet med planbølgebasis . Beregninger af den elektroniske struktur af molekyler kræver mere komplekse udtryk for de funktionelle. Der er således udviklet et stort antal omtrentlige funktionaler til beregning af udveksling-korrelationsinteraktionen til kemiproblemer. Nogle af dem modsiger tilnærmelsen af ​​en rumligt homogen elektrongas, men ikke desto mindre skal de i grænsen, når de passerer til en elektrongas, reduceres til den lokale tæthedstilnærmelse.

Tilsyneladende bruges den raffinerede Perdew-Burke-Ernzerhof-udvekslingsmodel oftest til at beregne fysiske problemer, men det er kendt, at det fører til fejl i kalorimetriske parametre, når det anvendes til beregninger af molekyler i gasfasen.

I beregningerne af kvantekemi er en af ​​de mest almindelige den type udvekslingskorrelationsfunktion, der kaldes BLYP (Becke, Lee, Yang, Parr). Endnu mere udbredt er B3LYP-approksimationen [5] [6] [7] , som er baseret på en hybridfunktion, hvor udvekslingsenergien beregnes ved hjælp af det nøjagtige resultat opnået ved Hartree–Fock-metoden.

Generelt er den nuværende tilstand af tæthedsfunktionsteorimetoden sådan, at det er umuligt at estimere beregningsfejlen uden at sammenligne dens resultater med andre tilgange eller med resultaterne af eksperimenter.

Software, der implementerer densitets funktionelle teorimetoden

  • MOLCAS
  • MOLPRO
  • MPQC
  • NRLMOL
  • N.W.Chem
  • BLÆKSPRUTTE
  • OpenMX
  • ORCA
  • ParaGauss [1] Arkiveret 29. september 2007 på Wayback Machine
  • PC GAMESS siden version 6.4
  • PLATO  - lineær kombination af atomare orbitaler metode
  • NATUR
  • PWscf ( Quantum-ESPRESSO ) - bruger pseudopotentialmetoden
  • Q Chem
  • SIESTA [2] - lineært skalerbar densitet funktionel teori metode, bruger pseudopotential metoden
  • spartansk
  • S/PHI/nX
  • TURBOMOL
  • VASP  - bruger pseudopotentialmetoden
  • WIEN2k  - fuldt potentiale, lineariserede augmented plane waves (LAPW)

Noter

  1. Schluter M., Sham L. Tæthedsfunktionsteori // Fysik i udlandet. Sammenfatning af artikler. 1983 / M., Mir, 1983. - c. 179-203
  2. Burke K., Werschnik J., Gross EKU Tidsafhængig tæthed funktionel teori: Fortid, nutid og fremtid. — J. Chem. Phys. 123 , 062206 (2005). OAI: arXiv.org: cond-mat/0410362 Arkiveret 15. januar 2017 på Wayback Machine .
  3. Hohenberg P., Kohn W. Phys. Rev. 136 (1964) B864 Arkiveret 27. september 2011 på Wayback Machine .
  4. Kohn W., Sham LJ Phys. Rev. 140 (1965) A1133 Arkiveret 27. september 2011 på Wayback Machine .
  5. Becke AD J. Chem. Phys. 98 (1993) 5648 .
  6. Lee C., Yang W., Parr R. G. Phys. Rev. B 37 (1988) 785 .
  7. Stephens PJ, Devlin FJ, Chabalowski CF, Frisch MJ J. Phys. Chem. 98 (1994) 11623 .

Litteratur

Links