Monen kappaleen teoriassa termiä Greenin funktio (tai Greenin funktio ) käytetään joskus synonyyminä korrelaatiofunktiolle , mutta se viittaa kenttäoperaattorikorrelaattoreihin tai luomis- ja tuhoamisoperaattoreihin .
Nimi tulee Greenin funktioista , joita käytetään ratkaisemaan epähomogeenisiä differentiaaliyhtälöitä, joihin ne liittyvät löyhästi. Erityisesti vain kahden pisteen Greenin funktiot ei-vuorovaikutteisen järjestelmän tapauksessa ovat Greenin funktioita matemaattisessa mielessä; lineaarinen operaattori, jonka he invertoivat, on Hamilton-operaattori , joka ei-vuorovaikutteisessa tapauksessa on neliöllinen suhteessa kenttäoperaattoreihin.
Yleensä harkitaan monien kappaleiden teoriaa kenttäoperaattorilla (annihilaatiooperaattori, kirjoitettu koordinaattipohjalla) .
Heisenberg- operaattorit voidaan kirjoittaa Schrödinger-operaattoreiden avulla
ja luomisoperaattori , jossa on suuren kanonisen yhtyeen Hamiltonin .
Samoin kuvitteellisessa ajassa kirjoitetuille operaattoreille
Tässä luomisoperaattori kuvitteellisessa ajassa ei ole tuhoamisoperaattorin hermiittinen adjungotti .
Reaaliaikaisen pisteen Greenin funktio määritellään seuraavasti
jossa käytetään lyhenteitä, missä tarkoittaa ja myös tarkoittaa . Operaattori tarkoittaa järjestystä aikaoperaattorin mukaan , mikä määrittää, että sitä seuraavat kenttäoperaattorit tulee järjestellä siten, että niiden aika-argumentit kasvavat oikealta vasemmalle.
Kuvitteelliselle ajalle vastaava määritelmä on:
jossa indeksi tarkoittaa koordinaatteja ja aikaa . Kuvitteellinen aikamuuttuja on rajoitettu alueelle välillä - käänteislämpötila .
Tässä valittiin Greenin funktioiden merkit siten, että kaksipisteisen ( ) Matsubara Greenin funktion Fourier -muunnos vapaalle hiukkaselle on yhtä suuri kuin
ja hidastetun Greenin tehtävä on
missä
missä ω n ovat Matsubaran taajuuksia .
on yhtä suuri bosoneille ja fermioneille ja merkitsee kommutaattoria tai antikommutaattoria tilastojen mukaan .
Greenin funktiota, jossa on yksi argumenttipari ( ), kutsutaan kaksipistefunktioksi tai propagaattoriksi . Sekä spatiaalisen että ajallisen translaation symmetrian läsnä ollessa se riippuu vain argumenttien eroista. Fourier-muunnos tilassa ja ajassa antaa
missä on vastaavien Matsubara-taajuuksien summa (ja integraali sisältää implisiittisen tekijän ).
Reaaliajassa aikajärjestetty funktio osoitetaan yläindeksillä T:
Reaaliaikainen kahden pisteen Greenin funktio voidaan kirjoittaa "lagging" ja "leading" Greenin funktioilla, joilla osoittautuu olevan yksinkertaisempia analyyttisiä ominaisuuksia. Hidastetun ja edistyneen Greenin toiminnot määritellään seuraavasti
vastaavasti.
Ne liittyvät aikajärjestettyyn Greenin funktioon relaatiolla
missä
on Bose-Einstein- tai Fermi-Dirac-jakaumafunktio.
Järjestys kuvitteellisessa ajassa ja β- jaksollisuudessaMatsubara Greenin funktiot määritellään vain, kun molemmat kuvitteelliset aika-argumentit ovat välillä enintään . Kaksipisteen Greenin funktiolla on seuraavat ominaisuudet. (Koordinaatit ja liikemäärä on jätetty pois tästä osiosta.)
Ensinnäkin vihreän toiminto riippuu vain kuvitteellisesta aikaerosta:
Argumentti vaihtelee välillä .
Toiseksi -
tämä on (anti)jaksollinen funktio siirtymien suhteen . Koska funktio määritetään, se tarkoittaa sitä, että se on pieni koko
varten . Aikajärjestys on ratkaisevan tärkeä tälle ominaisuudelle, joka voidaan suoraan todistaa jäljitystoiminnan syklisyyden avulla.
Nämä kaksi ominaisuutta otetaan huomioon myötäsuuntaisen ja käänteisen Fourier-muunnoksen esityksessä,
on epäjatkuvuus osoitteessa ; tämä on yhdenmukainen pitkän kantaman käyttäytymisen kanssa .
Reaali- ja imaginaariaikaprosetaattorit suhteutetaan spektritiheyteen (tai spektrin painoon) kaavalla
missä | α ⟩ viittaa suuren kanonisen ryhmän H − μN Hamiltonin monipartikkeliseen ominaistilaan ominaisarvolla E α .
Sitten levittäjä kuvitteellisessa ajassa on annettu
ja hidastettu propagaattori
jossa raja on .
Johtava levittäjä annetaan samalla lausekkeella, mutta nimittäjässä on termi.
Aikajärjestetty funktio voidaan ilmaista termeillä ja . Kuten edellä todettiin, ja niillä on yksinkertaiset analyyttiset ominaisuudet: ensimmäisessä (viimeisessä) on kaikki navat ja epäjatkuvuudet alemmalla (ylemmällä) puolitasolla.
Matsubara- propagaattorissa on kaikki navat ja epäjatkuvuudet kuvitteellisilla akseleilla.
Spektritiheys saadaan käyttämällä Sochacki-Weierstrassin lausetta yleistetyille funktioille
jossa P on Cauchyn integraalin pääarvo . Se johtaa siihen
Lisäksi se noudattaa seuraavaa suhdetta todellisten ja kuvitteellisten osien välillä:
jossa tarkoittaa integraalin pääarvoa.
Spektritiheys noudattaa summasääntöä,
joka antaa asymptotiikkaa muodossa
osoitteessa .
Hilbert muunnosGreenin funktioiden spektriesitysten samankaltaisuus imaginaari- ja reaaliajassa antaa meille mahdollisuuden määritellä funktio
mikä liittyy ja miten
yhtä hyvin kuin
Samanlainen lauseke pätee .
Suhdetta ja välillä kutsutaan Hilbertin muunnokseksi .
Todiste spektrimuodostaMatsubara Greenin funktion levittäjän spektrisen esityksen todistamiseksi määritellään
Translaatiosymmetrian vuoksi on tarpeen ottaa huomioon vain muodossa annetut
Täyden ominaistilojen joukon korvaaminen johtaa
koska ja ovat ominaistiloja , Heisenberg-operaattorit voidaan kirjoittaa uudelleen Schrödinger-operaattoreiksi
Fourier-muunnoksen jälkeen saamme
Liikemäärän säilyminen mahdollistaa viimeisen termin kirjoittamisen muotoon (mahdollisiin tilavuuskertoimiin asti)
joka vahvistaa vihreän funktioiden lausekkeet spektriesituksessa.
Summa-sääntö voidaan todistaa ottamalla huomioon kommutaattorin odotusarvo,
ja korvaamalla sitten täysi joukko ominaistiloja molempiin kommutaattorijäseniin:
Tarrojen vaihtaminen ensimmäisellä termillä antaa
joka on ρ :n integroinnin tulos .
Ei-vuorovaikutustapausVuorovaikuttamattomille hiukkasille on ominaistila (suuri kanoninen kokonaisuus), jonka energia on , jossa on yhden hiukkasen dispersiosuhde mitattuna suhteessa kemialliseen potentiaaliin. Siis spektritiheys
Kommutaatiosuhteista
mahdollisten tilavuustekijöiden kanssa. Summa, joka sisältää hiukkaslukuoperaattorin lämpökeskiarvon, on sitten yhtä kuin , jolloin tuloksena on
Joten levittäjä kuvitteellisesta ajasta
ja hidastettu propagaattori
NollalämpötilarajaKuten β → ∞, spektritiheys saa muodon
jossa α = 0 vastaa perustilaa. Tässä vain ensimmäinen (toinen) termi vaikuttaa, kun ω on positiivinen (negatiivinen).
Yleisessä tapauksessa käytetään "kenttäoperaattoreita", kuten edellä, tai luomis- ja tuhoamisoperaattoreita, jotka liittyvät muihin yksittäisten hiukkasten tiloihin, mahdollisesti (vuorovaikuttamattoman) kineettisen energian ominaistiloihin. Käytetään
missä on yhden hiukkasen tilan annihilaatiooperaattori , ja on tämän tilan aaltofunktio koordinaattiesituksessa. Tämä antaa
samalla lausekkeella .
Kaksipisteen Greenin funktiot riippuvat vain niiden aika-argumenttien erosta, joten
ja
On mahdollista määritellä jäljessä olevat ja johtavat vihreät funktiot ilmeisellä tavalla; ne liittyvät aikajärjestykseen samalla tavalla kuin edellä.
Samat jaksollisuusominaisuudet kuin edellä on kuvattu pätevät . Erityisesti,
ja
varten .
Tässä tapauksessa,
missä ja ovat monihiukkastilat.
Vihreän funktioiden lausekkeita on muokattu ilmeisellä tavalla:
ja
Niiden analyyttiset ominaisuudet ovat identtiset. Todistus suoritetaan täsmälleen samalla tavalla, paitsi että nämä kaksi matriisielementtiä eivät ole enää monimutkaisia konjugaatteja.
Ei-vuorovaikutteinen tapausJos tietyt valitut yhden hiukkasen tilat ovat "yhden hiukkasen energian ominaistiloja", siis
silloin for on ominaistila:
niin se on :
ja vastaavasti :
Siis matriisielementti
moeno kirjoittaa uudelleen muotoon
Näin ollen
käyttämällä
ja se, että hiukkaslukuoperaattorin lämpökeskiarvo antaa Bose-Einstein- tai Fermi-Dirac-jakaumafunktion.
Lopuksi spektritiheys yksinkertaistetaan lausekkeeksi
joten Matsubara Greenin toiminto
ja hidastetun Greenin tehtävä on
Ei-vuorovaikutteisen Greenin funktio on diagonaalinen, mutta näin ei ole vuorovaikutteisessa tapauksessa.