Greens temperaturfunktioner

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]

Operatörens tillvägagångssätt

Definition av temperatur Gröns funktioner

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:

Fallet med fria partiklar

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

Interagerande partiklar

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.

Regler för temperaturdiagramteknik. samordna representationen.
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. Regler för temperaturdiagramteknik. Pulsfrekvensrepresentation.
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.

Funktionell integrationsmetod

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.

Definition av temperaturen Gröns funktion

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

Fallet med fria partiklar

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.

Interagerande partiklar

Låt oss till exempel betrakta bosoner med en interpartikelinteraktion av typen .

Låt oss konstruera motsvarande diagramteknik

Regler för temperaturdiagramteknik. samordna representationen.
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.

Anteckningar

  1. Ishihara A. Statistisk fysik. - M . : Mir, 1973. - S. 408.
  2. Abrikosov A. A., Gorkov L. P., Dzyaloshinsky I. E. Metoder för kvantfältteori i statistisk fysik. - M . : Dobrosvet, KDU, 2006. - S. 153. - ISBN 5-98227-171-3 .
  3. Landau L.D., Lifshitz E.M., Pitaevsky L.P. 2 // Statistisk fysik. - M . : Nauka, 1976. - S. 172.
  4. Haken X. Quantum field theory of solids. - M . : Nauka, 1980. - S. 99.
  5. Abrikosov A. A., Gorkov L. P., Dzyaloshinsky I. E. Metoder för kvantfältteori i statistisk fysik. - M . : Dobrosvet, KDU, 2006. - S. 166. - ISBN 5-98227-171-3 .
  6. Landau L.D., Lifshitz E.M., Pitaevsky L.P. 9 // Statistisk fysik. - M . : Nauka, 1976. - S. 180.
  7. Vasiliev A.N. Funktionella metoder inom kvantfältteori och statistik. - Leningrad: Leningrad. Univ., 1976. - S. 162.
  8. Vergeles S. Föreläsningar om kvantelektrodynamik. - M. : Fizmatlit, 2008. - P. 7. - ISBN 978-5-9221-0892-8 .
  9. Komarova M.V., Nalimov M.Yu., Novozhilova T.Yu. Fasövergångar i kvantsystem: superfluiditet och supraledning. St.Petersburg: Fysiska fakulteten, St. Petersburg State University.
  10. Popov V. N. Kontinuumintegraler i kvantfältteori och statistisk fysik. - M .: Atomizdat , 1976. - S. 31.
  11. Matukk R. Feynman diagram i många-kroppsproblemet. - M . : Mir, 1969. - S. 68.
  12. Vasiliev A. N. Kvantfältsrenormaliseringsgrupp i teorin om kritiskt beteende och stokastisk dynamik. - St. Petersburg: PNPI, 1998. - P. 77. - ISBN 5-86763-122-2 .

Litteratur

Se även