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.
Á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 .
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ásbanA 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 .
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ásaA 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 esetA 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ékAhogy β → ∞, 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 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 .
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 .
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ő esetHa 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.