Temperaturen Greens funktioner är en modifiering av Greenens funktioner för kvantmekaniska system med en temperatur som inte är noll. De är praktiska för att beräkna de termodynamiska egenskaperna hos ett system och innehåller också information om kvasipartiklars spektrum och om svagt icke-jämviktskinetiska fenomen.
I system med interaktion kan motsvarande diagramteknik för temperaturen Greens funktioner konstrueras. Denna teknik används ofta för att studera fasövergångar ( supraledning , superfluiditet , Curie-punkt ) i olika system. Att studera sådana system är en icke-trivial uppgift. Modellen av icke-interagerande partiklar är olämplig för att beskriva själva övergångsmekanismen och tillståndet under övergångspunkten. Här spelar interpartikelinteraktionen en avgörande roll. Att redogöra för en sådan interaktion komplicerar avsevärt den matematiska apparatur som används. Apparaten för temperatur Greens funktioner kan utvecklas i två ekvivalenta formuleringar: med hjälp av kvantmekaniska operatorer eller i metoden för funktionella integraler. En av fördelarna med den senare metoden är frånvaron av problem med icke-kommutativitet hos fältoperatörer och olika typer av beställningar. [ett]
Vi introducerar Matsubara- operatörerna i "Heisenberg-representationen" genom relationerna [2] :
Mer generellt kan dessa operatörer ha spin-index. I dessa formler , är en verklig variabel , så operatörerna och är inte Hermitian konjugat, är den kemiska potentialen i systemet, är systemets Hamiltonian , och är partikelnummeroperatorn. Operatörer och Hermitian-Adjoint Fältoperatörer i Schrödenger-representationen . Det kan ses att "Heisenberg-representationen" av Matsubara-operatörerna skiljer sig från den verkliga Heisenberg-representationen genom förändringen i den senare , det vill säga formellt kan detta förstås som en övergång till imaginär tid . Temperaturen Greens funktion definieras enligt följande:
där symbolen betyder " - kronologisering" - arrangemanget av operatorer från vänster till höger i fallande ordning . När det gäller Fermi-partiklar leder en permutation av operatorer till en förändring av det gemensamma tecknet. [3] Med den här funktionen kan du beräkna antalet partiklar som funktion av kemisk potential, eller kemisk potential som funktion av koncentration och temperatur:
Hamiltonian för ett fritt system, uttryckt i termer av Schrödingerfältoperatörer, har formen [4] :
i den sekundära kvantiseringsrepresentationen kommer det också att skrivas enligt följande:
som följer av definitionen av -operatörer:
Temperaturen Greens funktion av fria partiklar i momentum-"tid"-representationen:
här
Låt oss anta att externa fält inte verkar på systemet av partiklar, och interpartikelinteraktioner är av parkaraktär. Vi representerar systemets Hamiltonian i formen: Låt oss introducera Matsubara-operatorer i representationen av interaktionen genom relationer [5 ]
Den störda delen av Hamiltonian uttryckt i termer av — operatörer har formen:
Genom samma operatörer kan man definiera temperaturen Greens funktion:
En sådan notation gör det möjligt att utöka exponentialen med en störning och beräkna temperaturen Greens funktion i form av en serie, och varje term i serien kan avbildas grafiskt i form av ett diagram.
Diagramelement | Analytiskt uttryck | ||
---|---|---|---|
titel | bild | ||
ett | solid linje | ||
2 | solid linje | ||
3 | Vågig linje | ||
fyra | Rita alla sammankopplade topologiskt icke-ekvivalenta diagram med 2n vertex och två yttre ändar, där två heldragna linjer och en våglinje konvergerar vid varje vertex. | ||
5 | Integration utförs över koordinaterna ( ) för varje vertex. | ||
6 | Det resulterande uttrycket multipliceras med , n är ordningen i diagrammet, F är antalet slutna fermioniska slingor i det. |
Med hjälp av dessa regler skildrar vi första ordningens korrigering i störning av temperaturen Greens funktion av interagerande partiklar. För att göra detta måste vi begränsa oss till en linjär term i exponentens expansion. Sedan, med hänsyn till Wicks sats , ritar vi alla anslutna (vilka som helst två punkter på diagrammet kan kopplas samman med en linje) diagram av första ordningen:
Motsvarande analytiska uttryck, till exempel, för diagram 2 kommer att skrivas enligt följande:
För beräkningar visar sig koordinatrepresentationen vara obekväm, därför är det lättare att formulera hela diagramtekniken i impulsfrekvensrepresentationen med de vanliga reglerna för Fourier-analys . I denna representation kommer det analytiska uttrycket av det övervägda diagrammet att ha formen:
där Greens funktion av det fria systemet har formen [6] :
- för fermioner, - för bosoner.Diagramelement | Analytiskt uttryck | ||
---|---|---|---|
titel | bild | ||
ett | solid linje | ||
3 | Vågig linje | ||
fyra | Matcha linjerna i diagrammet med externa impulser och frekvenser. Momentan och frekvenserna för de inre linjerna vid varje vertex måste uppfylla bevarandelagarna | ||
5 | Integration utförs över alla oberoende pulser, och summering utförs över frekvenser. | ||
6 | Det resulterande uttrycket multipliceras med , k är ordningen på diagrammet, F är antalet slutna slingor i diagrammet och s är partikelns spinn. |
I det enklaste fallet (L. Landau) kan potentialen tas i den form som motsvarar nollinteraktionsradien. Grafiskt motsvarar detta sammandragningen av två punkter, som är förbundna med en vågig linje till en.
I övergången från klassisk statistisk mekanik till kvantmekanik ersätts integration över kanoniskt konjugerade variabler av ett spår , det vill säga av en summa över tillstånd. [7] Således definieras partitionsfunktionen för ett kvantsystem med en Hamiltonsk operator som
Det kan ses att termen under summatecknet liknar matriselementet för evolutionsoperatorn fram till utbyte . Detta matriselement ges av Feynman-Katz formel [8] :
Låt oss uppmärksamma det faktum att storheterna i den funktionella integralen är klassiska funktioner, och i ytterligare beräkningar är det inga problem med kommuteringsrelationer. Låt oss göra en Wick-rotation i denna formel och identifiera , då kommer uttrycken för partitionsfunktionen att omvandlas till formen:
där verkan av temperaturteorin utförs integration över fält med motsvarande randvillkor (BC) I fallet med en ideal gas
Parinteraktion kan beaktas i form av en term av typen densitet-densitet [9]
Som nämnts ovan är objekt inte fältoperatorer. När det gäller fermioner är de Grassmann- funktioner, vilket är ett arv från antisymmetrin hos fermioniska vågfunktioner.
Vi definierar Greens funktion som medelvärdet av produkten av flera fält med vikt . [10] Så parkorrelationsfunktionen ges av uttrycket
För den korrekta definitionen av detta objekt, som kan visas, behöver vi en ytterligare definition
Låt oss beräkna Greens funktion för icke-interagerande partiklar. Som bekant [11] är det nödvändigt att hitta operatörens kärna med hänsyn till randvillkoren, det vill säga att lösa ekvationen
Ekvationen löses elementärt i representationen
Som kan ses sammanfaller denna gröna funktion med den gröna funktionen erhållen med Matsubara-operatorerna. Utvidgningen av denna funktion med sammanfallande "tider" innebär att thetafunktionen vid noll är lika med noll.
Låt oss till exempel betrakta bosoner med en interpartikelinteraktion av typen .
Låt oss konstruera motsvarande diagramteknik
Diagramelement | Analytiskt uttryck | ||
---|---|---|---|
titel | bild | ||
ett | Korsa | ||
2 | Punkt | ||
3 | propagator | ||
fyra | propagator | ||
3 | Vertex | ||
5 | Multiplicera varje vertex med , där n är ordningen på diagrammet, r är symmetrikoefficienten, antalet topologiskt ekvivalenta grafer. | ||
5 | Integration utförs över alla vertexkoordinater. |
Rita i första ordningen alla anslutna grafer
.
Det finns bara ett diagram för det . Motsvarande analytiska uttryck för korrigeringen
detta uttryck är exakt detsamma som tidigare i operatormetoden. För den betraktade potentialen blir två diagram 1 och 2 ekvivalenta, därför måste uttrycket för ett av diagrammen multipliceras med 2 för att få ett enslingabidrag. I detta fall är det naturligtvis också rimligt att byta till momentum representation. Reglerna för att konstruera diagram i momentumrepresentation är desamma som tidigare.