I många-kroppsteori används benämna Greens funktion (eller Greens funktion ) ibland som en synonym för korrelationsfunktion , men hänvisar till fältoperatörskorrelatorer eller skapelse- och förintelseoperatörer .
Namnet kommer från de grönas funktioner som används för att lösa icke-homogena differentialekvationer, med vilka de är löst relaterade. I synnerhet är endast tvåpunkts Greens funktioner i fallet med ett icke-interagerande system Greens funktioner i matematisk mening; den linjära operatorn de inverterar är Hamiltonoperatorn , som i det icke-interagerande fallet är kvadratisk med avseende på fältoperatorer.
Vanligtvis överväga teorin för många organ med en fältoperatör (förintelseoperator, skriven i en koordinatbas) .
Heisenberg - operatörerna kan skrivas i termer av Schrödinger-operatörerna som
och skapelseoperatören , där är Hamiltonian för den stora kanoniska ensemblen .
Likadant för operatörer skrivna i tänkt tid
Här är skapelseoperatören i imaginär tid inte den hermitiska anknytningen till förstörelseoperatören .
Realtidspunkten Greens funktion definieras som
där förkortningar används, i vilka betyder och betyder också . Operatören står för ordering by time operator , vilket anger att fältoperatorerna som följer den ska ordnas så att deras tidsargument ökar från höger till vänster.
För imaginär tid är motsvarande definition:
där index betyder koordinater och tid . De imaginära tidsvariablerna är begränsade till intervallet från till reciprok temperatur .
Här valdes tecknen för Greenens funktioner så att Fouriertransformen av tvåpunkts ( ) Matsubara Greens funktion för en fri partikel är lika med
och den retarderade grönas funktion är
var
där ω n är Matsubara-frekvenser .
är lika för bosoner och för fermioner och betecknar kommutator eller antikommutator beroende på statistiken .
Greens funktion med ett par argument ( ) kallas en tvåpunktsfunktion eller propagator . I närvaro av både rumslig och tidsmässig translationell symmetri beror det bara på skillnaden i dess argument. Fouriertransformen i rum och tid ger
där är summan över motsvarande Matsubara-frekvenser (och integralen inkluderar en implicit faktor ).
I realtid indikeras en tidsordnad funktion med ett upphöjt T:
Realtids tvåpunkts Greens funktion kan skrivas i termer av "lagging" och "ledande" Greens funktioner, som visar sig ha enklare analytiska egenskaper. Den efterblivna och avancerade grönas funktioner definieras som
respektive.
De är relaterade till den tidsordnade Greens funktion genom relationen
var
är Bose-Einstein eller Fermi-Dirac distributionsfunktion.
Ordning i imaginär tid och β- periodicitetMatsubara Greens funktioner definieras endast när båda imaginära tidsargumenten ligger inom intervallet upp till . Tvåpunktsgröns funktion har följande egenskaper. (Koordinater och momentum utelämnas i detta avsnitt.)
För det första beror Greens funktion endast på den imaginära tidsskillnaden:
Argumentet varierar från till .
För det andra -
detta är en (anti)periodisk funktion med avseende på skift . På grund av den ringa storleken på omfattningen där funktionen är definierad, betyder detta att
för . Tidsordning är avgörande för denna egenskap, vilket kan bevisas direkt med hjälp av spårningsoperationens cyklicitet.
Dessa två egenskaper tas med i beräkningen i representationen av den framåtriktade och inversa Fouriertransformen,
har en diskontinuitet vid ; detta överensstämmer med beteende på långa avstånd .
De verkliga och imaginära tidspropagatorerna är relaterade till spektraldensiteten (eller spektralvikten) med formeln
där | α ⟩ hänvisar till multipartikelegentillståndet för Hamiltonian i den stora kanoniska ensemblen H − μN med egenvärdet E α .
Då förökaren i tänkt tid ges av
och den retarderade propagatorn
där gränsen antyds vid .
Den ledande propagatorn ges av samma uttryck, men med en term i nämnaren.
En tidsordnad funktion kan uttryckas i termer av och . Som nämnts ovan, och har enkla analytiska egenskaper: den första (sista) har alla poler och diskontinuiteter i det nedre (övre) halvplanet.
Matsubara- propagatorn har alla poler och diskontinuiteter på imaginära axlar.
Den spektrala tätheten kan hittas genom att använda Sochacki-Weierstrass sats för generaliserade funktioner
där P betecknar huvudvärdet för Cauchy-integralen . Det leder till
Dessutom följer den följande förhållande mellan dess verkliga och imaginära delar:
där anger integralens huvudvärde.
Den spektrala tätheten följer summaregeln,
vilket ger asymptotikerna i formen
kl .
Hilbert transformLikheten mellan de spektrala representationerna av Greens funktioner i imaginär och realtid tillåter oss att definiera funktionen
som relaterar till och hur
såväl som
Ett liknande uttryck gäller för .
Förhållandet mellan och kallas Hilbert-transformen .
Bevis på den spektrala representationenFör att bevisa den spektrala representationen av propagatorn av Matsubara Greens funktion, definierar man som
På grund av translationssymmetri är det nödvändigt att endast ta hänsyn till givna i formuläret
Att ersätta hela uppsättningen av egentillstånd leder till
eftersom och är egentillstånd kan Heisenberg-operatorerna skrivas om i termer av Schrödinger-operatorerna
Efter Fouriertransformen får vi
Bevarande av momentum tillåter oss att skriva den sista termen i formen (upp till möjliga volymetriska koefficienter)
vilket bekräftar uttrycken för den grönas funktioner i den spektrala representationen.
Summeregeln kan bevisas genom att beakta det förväntade värdet av kommutatorn,
och sedan ersätta hela uppsättningen egentillstånd i båda kommutatormedlemmarna:
Att ersätta etiketter i första terminen ger
vilket är resultatet av integrationen av ρ .
Icke-interaktionsfallFör icke-interagerande partiklar, är ett egentillstånd (stor kanonisk ensemble) med energi , där är en-partikeldispersionsrelationen mätt med avseende på den kemiska potentialen. Alltså spektraltätheten
Från kommuteringsrelationer
med möjliga volymfaktorer. Summan, som inkluderar det termiska medelvärdet för partikelnummeroperatören, är då lika med , vilket resulterar i
Alltså propagatorn från den tänkta tiden
och den retarderade propagatorn
NolltemperaturgränsSom β → ∞ tar spektraldensiteten formen
där α = 0 motsvarar grundtillståndet. Här bidrar bara den första (andra) termen när ω är positiv (negativ).
För det allmänna fallet används "fältoperatorer" som ovan, eller skapande och förintelseoperatorer associerade med andra enpartikeltillstånd, möjligen egentillstånd av (icke-interagerande) kinetisk energi. Används
var är en-partikeltillståndsförintelseoperatorn , och är vågfunktionen för detta tillstånd i koordinatrepresentationen. Detta ger
med samma uttryck för .
Tvåpunktsgrönens funktioner beror bara på skillnaden i deras tidsargument, så att
och
Det går att definiera eftersläpande och ledande gröna funktioner på ett självklart sätt; de är relaterade till tidsbeställning på samma sätt som ovan.
Samma periodicitetsegenskaper som beskrivits ovan gäller för . Specifikt,
och
för .
I detta fall,
var och är många partikeltillstånd.
Uttrycken för den grönas funktioner är modifierade på ett uppenbart sätt:
och
Deras analytiska egenskaper är identiska. Beviset utförs på exakt samma sätt, förutom att dessa två matriselement inte längre är komplexa konjugat.
Icke-interagerande skiftlägeOm de speciella enpartikeltillstånden som väljs är "enpartikelenergiegentillstånd", dvs
då är for ett egentillstånd:
så är det :
och liknande för :
Alltså matriselementet
moeno skriva om i formen
Följaktligen
använder sig av
och det faktum att det termiska medelvärdet för partikelantaloperatören ger en Bose-Einstein- eller Fermi-Dirac-distributionsfunktion.
Slutligen förenklas spektraldensiteten till uttrycket
så Matsubara Greens funktion
och den retarderade grönas funktion är
Den icke-interagerande gröna funktionen är diagonal, men detta är inte fallet i det interagerande fallet.