där är den omvända temperaturen och frekvenserna är vanligtvis hämtade från någon av följande två uppsättningar (med :
bosoniska frekvenser:
fermioniska frekvenser:
Summeringen kommer att konvergera om tenderar till 0 i limit på ett sätt som är snabbare än . Summeringen över bosoniska frekvenser betecknas som (med ), medan den över fermioniska frekvenser betecknas som (med ). är det statistiska tecknet.
Förutom termisk kvantfältteori spelar Matsubaras frekvenssummeringsmetod också en väsentlig roll i det schematiska förhållningssättet till fasta tillståndets fysik, nämligen om man betraktar diagrammen vid ändlig temperatur.
Knepet för att utvärdera Matsubaras frekvenssummering är att använda en Matsubara viktningsfunktion h η ( z ) som har enkla poler placerade exakt vid . Viktningsfunktionerna i bosonfallet η = +1 och fermionfallet η = −1 skiljer sig åt. Valet av viktningsfunktion kommer att diskuteras senare. Med viktningsfunktionen kan summeringen ersättas av en konturintegral som omger den imaginära axeln.
Som i fig. 1 genererar viktningsfunktionen poler (röda kors) på den imaginära axeln. Konturintegralen tar upp resterna av dessa poler, vilket motsvarar summan.
Genom deformation av konturlinjerna för att omsluta polerna för g ( z ) (det gröna krysset i fig. 2), kan summeringen formellt åstadkommas genom att summera resten av g ( z ) h η ( z ) över alla poler av g ( z ),
Observera att ett minustecken skapas, eftersom konturen deformeras för att omsluta polerna i medurs riktning, vilket resulterar i en negativ rest.
Val av Matsubara viktningsfunktion
För att producera enkla poler på bosonfrekvenser kan någon av följande två typer av viktningsfunktioner för Matsubara väljas
beroende på vilket halvplan konvergensen ska styras i. styr konvergensen i det vänstra halvplanet (Re z < 0), medan styr konvergensen i det högra halvplanet (Re z > 0 ). Här är Bose–Einstein distributionsfunktion.
Fallet är liknande för fermionfrekvenser. Det finns också två typer av Matsubara viktningsfunktioner som producerar enkla poler vid
styr konvergensen i det vänstra halvplanet (Re z < 0), medan styr konvergensen i det högra halvplanet (Re z > 0). Här är Fermi–Dirac distributionsfunktion.
I applikationen till Greens funktionsberäkning har g ( z ) alltid strukturen
som divergerar i det vänstra halvplanet givet 0 < τ < β . För att styra konvergensen väljs alltid viktningsfunktionen för den första typen . Det finns dock inget behov av att kontrollera konvergensen om Matsubara-summeringen inte divergerar, i så fall kommer valet av Matsubara-viktningsfunktionen att leda till identiska resultat.
Tabell över Matsubara frekvens summeringar
Följande tabell innehåller för några enkla rationella funktioner g ( z ). Symbolen η = ±1 är det statistiska tecknet.
[1]
1]
[2]
[2]
[1] Eftersom summeringen inte konvergerar, kan resultatet skilja sig vid olika val av viktningsfunktionen för Matsubara.
[2] (1 ↔ 2) betecknar samma uttryck som föregående men med index 1 och 2 utbytta.
Tillämpningar i fysik
Nolltemperaturgräns
I denna gräns , är Matsubara-frekvenssummeringen ekvivalent med integrationen av imaginär frekvens över imaginär axel.
Vissa av integralerna konvergerar inte. De bör regleras genom att introducera frekvensgränsen , och sedan subtrahera den divergerande delen ( -beroende) från integralen innan man tar gränsen för . Till exempel erhålls den fria energin genom integralen av logaritmen,
vilket innebär att vid noll temperatur relaterar den fria energin helt enkelt till den inre energin under den kemiska potentialen. Även fördelningsfunktionen erhålls av följande integral
som visar stegfunktionsbeteende vid noll temperatur.
Gröns funktionsrelaterad
Tidsdomän
Betrakta en funktion G ( τ ) definierad på det imaginära tidsintervallet (0, β ). Det kan ges i termer av Fourier-serier,
där frekvensen endast tar diskreta värden åtskilda med 2 π / β .
Det särskilda valet av frekvens beror på gränsvillkoret för funktionen G ( τ ). Inom fysiken G ( τ ) för den imaginära tidsrepresentationen av Greens funktion
Den uppfyller det periodiska gränsvillkoret G ( τ + β )= G ( τ ) för ett bosonfält. Medan för ett fermionfält är gränsvillkoret antiperiodiskt G ( τ + β ) = − G ( τ ).
Givet Greenens funktion G ( iω ) i frekvensdomänen, kan dess imaginära tidsrepresentation G ( τ ) utvärderas genom Matsubara-frekvenssummering. Beroende på boson- eller fermionfrekvenserna som ska summeras kan den resulterande G ( τ ) vara olika. För att särskilja, definiera
med
Observera att τ är begränsad i huvudintervallet (0, β ). Gränsvillkoret kan användas för att förlänga G ( τ ) utanför huvudintervallet. Några ofta använda resultat sammanfattas i följande tabell.
Operatörsomkopplingseffekt
Den lilla imaginära tiden spelar här en avgörande roll. Ordningen på operatörerna kommer att ändras om den lilla tänkta tiden byter tecken.
Distributionsfunktion
Utvärderingen av fördelningsfunktionen blir svår på grund av diskontinuiteten i Greens funktion G ( τ ) vid τ = 0. Att utvärdera summeringen
båda valen av viktningsfunktionen är acceptabla, men resultaten är olika. Detta kan förstås om vi trycker G ( τ ) lite från τ = 0, för att kontrollera konvergensen måste vi ta som viktningsfunktion för , och för .
Bosoner
Fermioner
Fri energi
Bosoner
Fermioner
Diagramutvärderingar
Ofta påträffade diagram utvärderas här med enkellägesinställningen. Problem med flera moder kan närma sig en spektralfunktionsintegral.
Fermion självenergi
Partikelhålsbubbla
Partikel-partikel bubbla
Bilaga: Egenskaper för distributionsfunktioner
Distributionsfunktioner
Den allmänna notationen står för antingen Bose ( η = +1) eller Fermi ( η = −1) fördelningsfunktion
används de specifika beteckningarna n B och n F för att indikera Bose- respektive Fermi-distributionsfunktioner
Relation till hyperboliska funktioner
Bose-distributionsfunktionen är relaterad till hyperbolisk cotangensfunktion av
Fermi-fördelningsfunktionen är relaterad till hyperbolisk tangentfunktion med
Paritet
Båda fördelningsfunktionerna har ingen bestämd paritet,
En annan formel är i termer av funktionen
Emellertid har deras derivat en bestämd paritet.
Bose-Fermi-transmutation
Bose- och Fermi-distributionsfunktionerna omvandlas under en förskjutning av variabeln med den fermioniska frekvensen,
Men skiftning med bosoniska frekvenser gör ingen skillnad.
Derivat
Första beställning
När det gäller produkt:
I nolltemperaturgränsen:
Andra beställning
Formel för skillnad
Fall a = 0
Fall a → 0
Fall b → 0
Funktionen c η
Definition:
För Bose och Fermi typ:
Relation till hyperboliska funktioner
Det är uppenbart att är positivt definitivt.
För att undvika översvämning i den numeriska beräkningen används funktionerna tanh och coth