Multipartticle Green funkciója

A soktest-elméletben a Green-függvény (vagy Green-függvény ) kifejezést néha a korrelációs függvény szinonimájaként használják, de ez a mezőoperátor-korrelátorokra vagy a létrehozási és megsemmisítési operátorokra utal .

A név a Green nem homogén differenciálegyenletek megoldására használt függvényeiből származik, amelyekkel laza kapcsolatban állnak. Pontosabban, csak a kétpontos Green-függvények nem kölcsönható rendszer esetén a matematikai értelemben vett Green-függvények; az általuk invertált lineáris operátor a Hamilton-operátor , amely nem kölcsönható esetben másodfokú a mezőoperátorokhoz képest.

Térbelileg homogén eset

Alapdefiníciók

Általában sok test elméletét vegyük figyelembe egy mezőoperátorral (koordinátaalapon írt annihilációs operátor) .

A Heisenberg -operátorok a Schrödinger-operátorok szerint írhatók fel

és a teremtés operátora , ahol a nagykanonikus együttes  Hamilton -ja .

Hasonlóan a képzeletbeli időben írt operátorokhoz

Itt a teremtés operátora a képzeletbeli időben nem a megsemmisítési operátor hermitikus adjunktja .

A valós idejű pont Green függvénye a következőképpen van definiálva

ahol a rövidítések használatosak, mely jelentések és jelentések is . Az operátor az idő operátor szerinti rendezés rövidítése , amely azt határozza meg, hogy az őt követő mezőoperátorokat úgy kell rendezni, hogy az idő argumentumaik jobbról balra növekedjenek.

A képzeletbeli időre a megfelelő definíció a következő:

ahol az index koordinátákat és időt jelent . A képzeletbeli időváltozók a -tól a reciprok hőmérsékletig terjedő tartományra korlátozódnak .

Itt a Green-függvények előjeleit úgy választottuk meg, hogy a kétpontos ( ) Matsubara Green-függvény Fourier-transzformációja egy szabad részecskére egyenlő

és a retardált Green funkciója az

ahol

ahol ω n a Matsubara-frekvenciák .

egyenlő a bozonokra és a fermionokra , és a kommutátort vagy az antikommutátort jelöli a statisztikáktól függően .

Kétpontos függvények

Az egy argumentumpárt tartalmazó Green függvényt ( ) kétpontos függvénynek vagy propagátornak nevezzük . Mind a térbeli, mind az időbeli transzlációs szimmetria jelenlétében csak az érvei különbségétől függ. A Fourier-transzformáció térben és időben megadja

ahol a megfelelő Matsubara-frekvenciák összege (és az integrál egy implicit tényezőt is tartalmaz ).

Valós időben az időrendű függvényt T felső index jelzi:

A valós idejű kétpontos Green-függvény felírható „lemaradó” és „vezető” Green-függvényekkel, amelyekről kiderül, hogy egyszerűbb analitikai tulajdonságokkal rendelkeznek. A retardált és haladó Green funkcióit a következőképpen határozzuk meg

illetőleg.

A relációval kapcsolódnak az időben rendezett Green függvényhez

ahol

a Bose-Einstein vagy Fermi-Dirac eloszlásfüggvény.

Rendezés képzeletbeli időben és β periodicitásban

A Matsubara Green függvényei csak akkor vannak definiálva, ha mindkét képzeletbeli idő argumentum a -ig terjedő tartományon belül van . A kétpontos Green függvény a következő tulajdonságokkal rendelkezik. (A koordinátákat és a lendületet ebben a részben kihagyjuk.)

Először is, a zöld funkciója csak a képzeletbeli időkülönbségtől függ:

Az érvelés között változik .

Másodszor -

ez egy (anti)periodikus függvény az eltolások tekintetében . A függvény definíciójának hatókörének kis mérete miatt ez azt jelenti

számára . Ennél a tulajdonságnál kulcsfontosságú az idő szerinti sorrend, amely a nyomkövetési művelet ciklikusságával közvetlenül igazolható.

Ezt a két tulajdonságot figyelembe veszik az előre és az inverz Fourier transzformáció ábrázolásakor,

folytonossági hiánya van a következő helyen  : ez összhangban van a hosszú távú viselkedéssel .

Spektrális ábrázolás

A valós és imaginárius időszaporítót a spektrális sűrűséggel (vagy spektrális tömeggel) a képlet alapján viszonyítjuk

ahol | Az α ⟩ a H  −  μN nagykanonikus együttes Hamilton-féle többrészecske sajátállapotára utal E α sajátértékkel .

Ekkor a képzeletbeli időben terjedő propagátort adjuk meg

és a retardált propagátor

ahol a határértéket a .

A vezető terjesztőt ugyanaz a kifejezés adja meg, de a nevezőben egy tag szerepel.

Az időrendű függvényt és kifejezésekkel fejezhetjük ki . Amint fentebb említettük, és egyszerű analitikai tulajdonságokkal rendelkezik: az első (utolsó) minden pólusa és szakadása az alsó (felső) félsíkon található.

A Matsubara propagátornak minden pólusa és folytonossági pontja van a képzeletbeli tengelyeken.

A spektrális sűrűség meghatározható a Sochacki-Weierstrass tétel általánosított függvényekre történő felhasználásával.

ahol P a Cauchy-integrál főértékét jelöli . Ez oda vezet

Ezenkívül a valós és képzeletbeli részei között a következő kapcsolatnak engedelmeskedik:

ahol az integrál főértékét jelöli.

A spektrális sűrűség megfelel az összegszabálynak,

amely a formában adja meg az aszimptotikumokat

at .

Hilbert transzformáció

A Green-függvények képzetes és valós idejű spektrális reprezentációinak hasonlósága lehetővé teszi a függvény definiálását.

amihez és hogyan kapcsolódik

szintén

Hasonló kifejezés érvényes erre is .

A és közötti kapcsolatot Hilbert-transzformációnak nevezzük .

A spektrális ábrázolás bizonyítása

A Matsubara Green-függvény propagátorának spektrális reprezentációjának bizonyítására a következőt definiáljuk:

A transzlációs szimmetria miatt csak az alakban megadottakat kell figyelembe venni

A sajátállapotok teljes halmazának behelyettesítése oda vezet

mivel és sajátállapotok , a Heisenberg operátorok átírhatók a Schrödinger operátorok szerint

A Fourier-transzformáció után azt kapjuk

Az impulzus megőrzése lehetővé teszi, hogy az utolsó tagot a formába írjuk (a lehetséges térfogati együtthatókig)

ami megerősíti a Green függvények kifejezéseit a spektrális reprezentációban.

Az összegszabály a kommutátor várható értékének figyelembevételével igazolható,

majd a sajátállapotok teljes halmazát behelyettesítjük mindkét kommutátortagba:

A címkék cseréje az első kifejezésben azt adja

ami a ρ integrálásának eredménye .

Nem interakciós eset

A nem kölcsönható részecskék esetében egy sajátállapot (nagy kanonikus együttes) energiával , ahol  az egyrészecske-diszperziós reláció a kémiai potenciálhoz képest mérve. Tehát a spektrális sűrűség

Kommutációs relációkból

lehetséges térfogati tényezőkkel. Az összeg, amely magában foglalja a részecskeszám-operátor termikus átlagát, akkor egyenlő , és az eredmény:

Tehát a propagátor a képzeletbeli időből

és a retardált propagátor

Nulla hőmérsékleti határérték

Ahogy β → ∞, a spektrális sűrűség alakot ölt

ahol α = 0 az alapállapotnak felel meg. Itt csak az első (második) tag járul hozzá, ha ω pozitív (negatív).

Általános eset

Alapdefiníciók

Általános esetben a "mező operátorokat" használjuk, mint fent, vagy más egyrészecske állapotokhoz, esetleg (nem kölcsönhatásba lépő) kinetikus energia sajátállapotokhoz társított létrehozási és megsemmisítési operátorokat. Használt

ahol  az egyrészecskés állapotmegsemmisítési operátor , és  ennek az állapotnak a hullámfüggvénye a koordinátaábrázolásban. Ez ad

ugyanazzal a kifejezéssel a .

Kétpontos függvények

A kétpontos Green függvények csak az idő argumentumaik különbségétől függenek, tehát

és

A lemaradó és vezető zöld függvények kézenfekvő módon definiálhatók; a fentiekhez hasonlóan kapcsolódnak az időrendhez.

A fent leírt periodicitási tulajdonságok vonatkoznak a -ra . Kimondottan,

és

számára .

Spektrális ábrázolás

Ebben az esetben,

ahol és  vannak sokrészecskés állapotok.

A Green függvények kifejezései nyilvánvaló módon módosulnak:

és

Analitikai tulajdonságaik azonosak. A bizonyítást pontosan ugyanígy hajtjuk végre, azzal a különbséggel, hogy ez a két mátrixelem már nem összetett konjugátum.

Nem kölcsönhatásba lépő eset

Ha a kiválasztott egyrészecske-állapotok „egy részecske energia sajátállapotok”, azaz

akkor for  egy sajátállapot:

így van  :

és hasonlóan ehhez  :

Tehát a mátrix elem

moeno átírni a formában

Következésképpen

segítségével

valamint az a tény, hogy a részecskeszám operátor termikus átlaga Bose-Einstein vagy Fermi-Dirac eloszlásfüggvényt ad.

Végül a spektrális sűrűséget a kifejezésre egyszerűsítjük

tehát a Matsubara Green funkciója

és a retardált Green funkciója az

A nem kölcsönhatásba lépő Green függvénye átlós, de kölcsönhatásban nem ez a helyzet.

Ajánlások

Könyvek

  • Bonch -Bruevich VL, Tyablikov SV (1962): Green-függvény módszer a statisztikai mechanikában. 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. és Orland, H. (1988): Quantum systems of many particles, Addison-Wesley.
  • Zubarev D. N. , Morozov V., Ropke G. (1996): Nem egyensúlyi folyamatok statisztikai mechanikája: alapfogalmak, kinetikai elmélet (1. kötet). John Wiley & Sons. ISBN 3-05-501708-0 .
  • Mattuck, Richard D. (1992), Útmutató a Feynman-diagramokhoz a sok test problémájában , Dover Publications, ISBN 0-486-67047-3 .

Cikkek

Linkek

  • Lineáris válaszfüggvények : Eva Pavarini, Eric Koch, Dieter Vollhardt és Alexander Lichtenstein (szerk.): DMFT at 25: Infinite Dimensions, Verlag des Forschungszentrum Jülich, 2014. ISBN 978-3-89336-953-9