În teoria cu mai multe corpuri , termenul funcție a lui Green (sau funcție a lui Green ) este uneori folosit ca sinonim pentru funcția de corelare , dar se referă la corelatorii operatorilor de câmp sau la operatorii de creare și anihilare .
Numele provine de la funcțiile lui Green folosite pentru a rezolva ecuații diferențiale neomogene, cu care acestea sunt înrudite. În special, numai funcțiile lui Green în două puncte în cazul unui sistem care nu interacționează sunt funcțiile lui Green în sens matematic; operatorul liniar pe care îl inversează este operatorul Hamilton , care în cazul neinteracționat este pătratic în raport cu operatorii de câmp.
De obicei, luați în considerare teoria multor corpuri cu un operator de câmp (operator de anihilare, scris pe o bază de coordonate) .
Operatorii Heisenberg pot fi scrii în termenii operatorilor Schrödinger ca
şi operatorul de creaţie , unde este Hamiltonianul marelui ansamblu canonic .
La fel și pentru operatorii scriși în timp imaginar
Aici, operatorul de creare în timp imaginar nu este adjunctul hermitian al operatorului de distrugere .
Funcția lui Green în timp real este definită ca
unde sunt folosite abrevieri, în care înseamnă și, de asemenea, înseamnă . Operatorul reprezintă ordonarea după operator de timp , care specifică că operatorii de câmp care îl urmează trebuie să fie ordonați astfel încât argumentele lor de timp să crească de la dreapta la stânga.
Pentru timpul imaginar, definiția corespunzătoare este:
unde index înseamnă coordonate și timp . Variabilele de timp imaginare sunt limitate la intervalul de la temperatura reciprocă .
Aici, semnele funcțiilor lui Green au fost alese astfel încât transformata Fourier a funcției Matsubara Green în două puncte ( ) pentru o particulă liberă să fie egală cu
iar funcţia lui Green retardat este
Unde
unde ω n sunt frecvențele Matsubara .
este egal pentru bozoni și pentru fermioni și denotă comutatorul sau anticomutatorul în funcție de statistici .
Funcția lui Green cu o pereche de argumente ( ) se numește funcție în două puncte sau propagator . În prezența simetriei translaționale atât spațiale, cât și temporale, aceasta depinde doar de diferența dintre argumentele sale. Transformarea Fourier în spațiu și timp dă
unde este suma peste frecvențele Matsubara corespunzătoare (și integrala include un factor implicit ).
În timp real, o funcție ordonată în timp este indicată cu un superscript T:
Funcția lui Green în două puncte în timp real poate fi scrisă în termeni de funcții „întârziate” și „conducătoare” lui Green, care se dovedesc a avea proprietăți analitice mai simple. Funcțiile Green retardate și avansate sunt definite ca
respectiv.
Ele sunt legate de funcția lui Green ordonată în timp prin relație
Unde
este funcția de distribuție Bose-Einstein sau Fermi-Dirac.
Ordonare în timp imaginar și periodicitate βFuncțiile lui Matsubara Green sunt definite numai atunci când ambele argumente de timp imaginare sunt în intervalul de până la . Funcția lui Green în două puncte are următoarele proprietăți. (Coordonatele și impulsul sunt omise în această secțiune.)
În primul rând, funcția lui Green depinde doar de diferența de timp imaginară:
Argumentul variază de la la .
În al doilea rând -
aceasta este o funcție (anti)periodică cu privire la deplasări . Datorită dimensiunii reduse a domeniului de aplicare în care este definită funcția, aceasta înseamnă că
pentru . Ordonarea în timp este crucială pentru această proprietate, care poate fi dovedită direct folosind ciclicitatea operației de urmărire.
Aceste două proprietăți sunt luate în considerare în reprezentarea transformării Fourier directă și inversă,
are o discontinuitate la ; acest lucru este în concordanță cu comportamentul la distanță lungă .
Propagatorii de timp real și imaginar sunt legați de densitatea spectrală (sau greutatea spectrală) prin formula
unde | α ⟩ se referă la starea proprie multiparticule a hamiltonianului marelui ansamblu canonic H − μN cu valoarea proprie E α .
Apoi propagatorul în timp imaginar este dat de
iar propagatorul retardat
unde limita este implicită la .
Propagatorul principal este dat de aceeași expresie, dar cu un termen la numitor.
O funcție ordonată în timp poate fi exprimată în termeni de și . După cum sa menționat mai sus, și au proprietăți analitice simple: primul (ultimul) are toți polii și discontinuitățile în semiplanul inferior (superior).
Propagatorul Matsubara are toți polii și discontinuitățile pe axele imaginare.
Densitatea spectrală poate fi găsită utilizând teorema Sochacki-Weierstrass pentru funcții generalizate
unde P reprezintă valoarea principală a integralei Cauchy . Asta duce la
În plus, respectă următoarea relație între părțile sale reale și imaginare:
unde denotă valoarea principală a integralei.
Densitatea spectrală respectă regula sumei,
care dă asimptoticele sub formă
la .
Transformă HilbertAsemănarea reprezentărilor spectrale ale funcțiilor lui Green în timp imaginar și real ne permite să definim funcția
care se referă la și cum
precum și
O expresie similară este valabilă pentru .
Relația dintre și se numește transformată Hilbert .
Dovada reprezentării spectralePentru a demonstra reprezentarea spectrală a propagatorului funcției lui Matsubara Green, se definește ca
Datorită simetriei translaționale, este necesar să se țină cont doar de dat în formă
Înlocuirea întregului set de stări proprii duce la
deoarece și sunt stări proprii , operatorii Heisenberg pot fi rescriși în termenii operatorilor Schrödinger.
După transformarea Fourier, obținem
Conservarea impulsului ne permite să scriem ultimul termen în formă (până la posibili coeficienți volumetrici)
ceea ce confirmă expresiile pentru funcţiile lui Green în reprezentarea spectrală.
Regula sumei poate fi demonstrată luând în considerare valoarea așteptată a comutatorului,
și apoi înlocuind setul complet de stări proprii în ambii membri ai comutatorului:
Înlocuirea etichetelor în primul termen dă
care este rezultatul integrării lui ρ .
Caz de non-interacțiunePentru particulele care nu interacționează, este o stare proprie (mare ansamblu canonic) cu energie , unde este relația de dispersie a unei particule măsurată în raport cu potențialul chimic. Deci densitatea spectrală
Din relaţiile de comutaţie
cu posibili factori de volum. Suma, care include media termică a operatorului numărului de particule, apoi este egală cu , rezultând în
Deci propagatorul din timpul imaginar
iar propagatorul retardat
Limită de temperatură zeroCa β → ∞, densitatea spectrală ia forma
unde α = 0 corespunde stării fundamentale. Aici doar primul (al doilea) termen contribuie atunci când ω este pozitiv (negativ).
Pentru cazul general, se folosesc „operatori de câmp”, ca mai sus, sau operatori de creare și anihilare asociați cu alte stări de o singură particulă, eventual stări proprii ale energiei cinetice (neinteracționează). Sunt utilizate
unde este operatorul de anihilare a stării unei particule și este funcția de undă a acestei stări în reprezentarea de coordonate. Asta da
cu aceeași expresie pentru .
Funcțiile lui Green în două puncte depind doar de diferența dintre argumentele lor de timp, astfel încât
și
Este posibil să se definească funcțiile ecologice de întârziere și de conducere într-un mod evident; sunt legate de ordonarea timpului în același mod ca mai sus.
Aceleași proprietăți de periodicitate descrise mai sus se aplică pentru . Specific,
și
pentru .
În acest caz,
unde și sunt stări cu mai multe particule.
Expresiile pentru funcțiile lui Green sunt modificate într-un mod evident:
și
Proprietățile lor analitice sunt identice. Dovada se realizează exact în același mod, cu excepția faptului că aceste două elemente de matrice nu mai sunt conjugate complexe.
Caz care nu interacționeazăDacă stările particulare ale unei particule alese sunt „stări proprii de energie dintr-o particulă”, adică
atunci pentru este o stare proprie:
asa este :
si similar pentru :
Deci elementul matricei
moeno rescrie în formă
prin urmare
folosind
și faptul că media termică a operatorului numărului de particule dă o funcție de distribuție Bose-Einstein sau Fermi-Dirac.
În cele din urmă, densitatea spectrală este simplificată la expresie
deci funcția Matsubara Green
iar funcţia lui Green retardat este
Funcția lui Green care nu interacționează este diagonală, dar nu este cazul în cazul interacțiunii.