Multiparticle Greens funktion

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.

Rumsligt homogent fall

Grundläggande definitioner

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 .

Tvåpunktsfunktioner

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 β- periodicitet

Matsubara 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 .

Spektral representation

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 transform

Likheten 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 representationen

Fö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-interaktionsfall

Fö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äns

Som β → ∞ tar spektraldensiteten formen

där α = 0 motsvarar grundtillståndet. Här bidrar bara den första (andra) termen när ω är positiv (negativ).

Allmänt fall

Grundläggande definitioner

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åpunktsfunktioner

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 .

Spektral representation

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äge

Om 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.

Rekommendationer

Böcker

  • Bonch-Bruevich VL, Tyablikov SV (1962): Greens funktionsmetod i statistisk mekanik. North Holland Publishing Co.
  • Abrikosov A. A., Gorkov L. P., Dzyaloshinskii I. E. (1963): Methods of Quantum Field Theory in Statistical Physics Englewood Rocks: Prentice-Hall.
  • Naegele, J.W. och Orland, H. (1988): Quantum systems of many particles, Addison-Wesley.
  • Zubarev D. N. , Morozov V., Ropke G. (1996): Statistisk mekanik för icke-jämviktsprocesser: grundläggande begrepp, kinetisk teori (vol. 1). John Wiley & Sons. ISBN 3-05-501708-0 .
  • Mattuck, Richard D. (1992), A Guide to Feynman Diagrams in the Many-Body Problem , Dover Publications, ISBN 0-486-67047-3 .

Artiklar

Länkar

  • Linjära svarsfunktioner i Eva Pavarini, Eric Koch, Dieter Vollhardt och Alexander Lichtenstein (red.): DMFT at 25: Infinite Dimensions, Verlag des Forschungszentrum Jülich, 2014. ISBN 978-3-89336-953-9