Vous êtes sur la page 1sur 66

1 INTRODUCERE

Pentru un sistem cuantic o funcie de corelaie nglobeaz informaii privind


starea sistemului, de fapt, cunoaterea tuturor funciilor de corelaie deter-
min complet starea sa, de unde i importana lor deosebit. Acest lucru
este adevrat att pentru stri de echilibru ct i pentru stri de neechilibru
staionare sau variabile n timp. Strile de echilibru fac obiectul mecanicii
statistice de echilibru i acest domeniu a cunoscut o dezvoltare masiva n-
cepind cu a doua jumtate a secolului trecut, obinndu-se numeroase rezul-
tate privind att descrierea fenomenelor zice (suprauiditate, supracon-
ductibilitate, etc), ct i fundamentarea riguroas a domeniului. Studiile
privind strile de neechilibru au avut de asemenea o dezvoltare important,
obinndu-se rezultate semnicative pentru apropierea sistemelor de echili-
bru (ecuaie Boltzmann clasic i cuantic) i pentru sisteme aate n stri
staionare aproape de echilibru (rspuns liniar, formul Kubo, relaii On-
sager). Totui mecanica statistic de nechilibru se a ntr-o situaie mai
dicil: pe de o parte metodele tradiionale (ecuaie Boltzmann, rspuns lin-
ear, etc.) nu pot da seama de multe situaii zice de interes, n special cazul
sistemelor aate departe de echilibru, iar pe de alt parte exist obiecii de
principiu, spre exemplu, ecuaia Boltzmann clasic, pentru care exist nu-
meroase rezultate matematic riguroase, nu se integreaz formal n mecanica
statistic, ea neind o consecin a mecanicii hamiltoniene.
In ultimii ani s-au facut studii fructuoase asupra strilor staionare de
neechilibru (nonequilibrium steady states NESS) pentru sisteme nite, att
clasice ct i cuantice. In cazul clasic folosind conceptul de termostat gaussian
s-au obinut rezultate riguroase, printre cele mai semnicative sunt: teorema
de uctuaie-disipaie datorat lui Gallavotti i Cohen [1], o formul gen-
eral pentru rspunsul liniar Ruelle [2] sau regula de pairing datorat lui
Dettmann i Morriss [3], pentru o trecere n revist se poate consulta [4], [5].
Aceast abordare este nehamiltonian deoarece sistemul nit o este inut de-
parte de echilibru de fore nehamiltoniene i este n contact cu termostatul
gaussian care preia excesul de energie tot prin fore neconservative. Spre
deosebire de cazul clasic, n cazul cuantic este posibil o abordare hamil-
tonian complet i s-au obinut rezultate semnicative pentru urmtoarea
situaie generic: un sistem nit o pus n contact cu dou (sau mai multe)
rezervoare innite (termostate) 1
1
i 1
2
aate n stri diferite (tempera-
turi diferite, poteniale chimice diferite, etc.), urmrindu-se evoluia strii
sistemului total 1
1
o 1
2
pentru t , adic instalarea NESS, n caz
1
c limita exist. Aceast abordare este posibil deoarece n mecanica statis-
tic cuantic strile de echilibru i dinamica sistemului sunt legate intrinsec
prin condiia KMS i pentru anumite sisteme (spini n interacie, fermioni
sau bosoni liberi) exist i n limita termodinamic o dinamic hamiltonian
determinat n esen de starea de echilibru. Astfel de sisteme innite ce
in sistemul nit o departe de echilibru pot descrise convenabil numai n
formalismul standard algebric [6, 7].
Sistemul 1
1
o 1
2
este descris de C

-algebra observabilelor
O = O
1
O
S
O
2
(1.1)
produs direct al C

-algebrelor rezervoarelor i sistemului o, starea sa este


determinat de o funcional pozitiv i normat pe algebra observabilelor
O, iar evoluia este dat de un grup de -automorsme al C

-algebrei observ-
abilelor. Iniial, ct timp nu avem interaciune ntre rezervoare i o, dinamica
necuplat este dat de grupul de -automorsme

t
=
t
1

t
S

t
2
, (1.2)
produs direct al evoluiilor separate ale rezervoarelor si a probei o, iar starea
sistemului este

0
=
0
1

0
S

0
2
, (1.3)
unde
0
1,2
sunt stri de echilibru ale celor dou rezervoare, iar
0
S
este
t
S
-
invariant, astfel
0
este
t
-invariant:
0
(
t
(A)) =
0
(A) pentru t R i
A O. La t = 0 este introdus un cuplaj ntre rezervoare i proba o astfel c
pentru timpi pozitivi, evoluia sistemului este guvernat de un alt grup de -
automorsme al C

-algebrei
t
. De regul,
t
se construiete ca o perturbaie
local a lui
t
, cu ajutorul unei serii Dyson tare-convergent. Starea iniial

0
va evolua conform cu noua dinamic, adic media unei observabile A O
la momentul t va

t
(A) =
0
(
t
(A)) =
0
(
t

t
(A)), (1.4)
dat ind
t
-invariana strii iniiale
0
. Existena unei stri staionare (
t
-
invariant) cnd t este asigurat dac, de exemplu, pentru orice A O
exist limita
lim
t

t

t
(A) =
+
(A), (1.5)
altfel spus, dac exist endomorsmul Mller corespunztor perechii (
t
,
t
).
2
In acest context s-au obinut o serie de rezultate semnicative privind ex-
istena NESS, curenii de energie i particule, producia de entropie, relaii
Onsager, formul Green-Kubo, etc . Pentru rezervoare de fermioni liberi cu
tunelare direct multiparticul (fr proba o) vezi Frhlich i alii [8], acelai
tip de rezervoare cuplate cu o interacie uniparticul la un sistem nit o este
considerat de Aschbacher i alii [9], pentru o privire de ansamblu vezi [10]
i referinele. Fenomenul de condensare Bose-Einstein face ca tratarea rez-
ervoarelor de bosoni s e mai dicil. Cazul unui singur rezervor de bosoni
liberi n contact cu un sistem cuantic cu un numr nit de stri, i.e. revenirea
la echilibru, este abordat de Merkli [11], cazul a dou rezervoare cuplate prin
tunelare direct este tratat de Angelescu i Bundaru [12]. Rezervoare de
bosoni sau fermioni liberi cuplate cu un sistem cuantic nit au fost studiate
de Merkli i alii [13] i Angelescu i alii [14].
In lucrarea de fa se studiaz un model simplu: rezervoarele 1
1,2
sunt
formate din electroni liberi pe reele innite ( aproximaia electronilor strns
legai) i sistemul nit o este un lan din n atomi, r cuantic, cu aceeai
aproximaie pentru electroni. Cuplajul se face prin tunelare uniparticul
ntre rezervoare i extremitile lui o.
Scopul este, ca n cadrul unui model foarte simplu s se pun n evi-
den modicarea funciilor de corelaie datorat, pe de o parte condiiilor
geometrice impuse sistemului, iar pe de alt parte faptului c starea sa este
staionar, dar de neechilibru. Cum strile sistemului sunt cuasilibere vom
avea numai corelaii impuse de statistic, n cazul nostru, fermi. Astfel mod-
icarea funciilor de corelaie se datoreaz numai geometriei i faptului c
sistemul se a ntr-o stare staionar de neechilibru. Simplitatea modelului
permite exprimarea mrimilor de interes cum ar densitile de particule
sau energie pe nod, ntr-o form ce se preteaz la calcule numerice. Calculul
distribuiei acestor mrimi n lungul rului cuantic ne poate arta n ce ma-
sur se poate vorbi de o temperatur local, problem de un evident interes
teoretic.
In capitolul doi al tezei se prezint o introducere minimal a formalis-
mului algebric, formalism capabil s descrie coerent sisteme innite, numai
astfel de sisteme avnd proprieti disipative absolut necesare pentru atin-
gerea staionaritii la neechilibru.
Se prezint pe scurt euristica metodei algebrice, modul n care noiunea
de stare pe C

-algebre generalizeaz noiunea obinuit de stare, pstrnd


totodat intact reeta standard a mecanicii cuantice. Se dezvolt pe scurt
teoria spaiilor Fock, a operatorilor de creare i anihilare pentru bosoni i
3
fermioni, precum i a relaiilor canonice de comutare (CCR) i anticomutare
(CAR) satisfcute de acetia. Se consider algebra CAR generat de oper-
atorii de creare i anihilare fermionici pe spaiul Fock i se d caracterizarea
sa ca C

-algebr abstract dependent numai de spaiul hilbert uniparticul


H. Se denesc strile cuasilibere pe CAR(H) i se exprim n funcie de
matricele densitate asociate i, n sfrit, se consider evoluia lor determi-
nat de hamiltonieni n spaiul uniparticul H. Pentru a facilita parcurgerea
acestui capitol, s-au colectat ntr-o anex noiunile fundamentale privitoare
la C

-algebre i stri.
Capitolul trei se ocup cu descrierea modelului, cu caracterizarea spec-
tral a hamiltonienilor sistemului necuplat i n mod deosebit de analiza
spectral a hamiltonianului sistemului cuplat. Se obine o form simpl a
rezolventei sale, form ce permite exprimarea funciilor proprii generalizate
ntr-o form calculabil numeric.
In esen, folosind o variant a metodei Feshbach, se exprim rezolventa
sitemului cuplat n funcie de rezolventele rezervoarelor libere i rezolventa
unui hamiltonian efectiv. Hamiltonianul efectiv este hamiltonianul sistemului
nit o perturbat cu partea imaginar a rezolventelor libere ale rezervoarelor
nmulit cu t
2
(t este mrimea tunelrii ntre rezervoare i prob). Ca urmare
hamiltonianul efectiv este nit dimensional i rezolventa sa se poate caracter-
iza calitativ. Principalul rezultat este c valorile proprii ale hamiltonianului
liber al probei o care cad n spectrul continuu al rezervoarelor dispar i devin
rezonane, mrimea i dispunerea acestora controleaz funciile proprii gen-
eralizate ale sistemului cuplat i prin urmare determin i proprietile strii
staionare de neechilibru ce se instaleaz n sistem. Totodat faptul c hamil-
tonianul efectiv este nit dimensional permite efectuarea calculelor numerice
cu uurin. Acest problem este analizat pe scurt n [15], o analiz mai
detaliat este cuprins n [14].
In capitolul patru se construiete starea staionar de neechilibru. Ma-
tricea densitate ce determin NESS se exprim prin intermediul operatorilor
Mller. Se calculeaz funciile proprii generalizate, i prin intermediul lor
se gsete forma operatorilor Mller i se exprim i matricea densitate a
NESS, formul ce permite exprimarea observabilelor locale. Se analizeaz
cazul a dou rezervoare unidimensionale cuplate printr-un r cuantic i sunt
prezentate rezultate numerice pentru acest caz. Se vede clar cum structura
de rezonane a rezolventei hamiltonianului efectiv se reect n amplitudinea
funciilor proprii generalizate i ca urmare determin structura de salturi a
densitii pe nod ca funcie de temperatur sau ca funcie de densitile rez-
4
ervoarelor n strile de echilibru iniiale. Acest fenomen este analog i are
aceeai cauz ca efectul de platouri a curentului n funcie de potenialul
chimic descris pentru acelai model n [16]. Din rezultatele numerice rezult
c densitatea pe nodurile probei o este practic consant i nu prezint un
prol care s interpoleze lin ntre densitile rezervoarelor.
In ultimul capitol se analizeaz un sistem de spini clasici supui de acest
dat unei constrngeri geometrice asupra razei interaciei dintre spini: dac
sistemul este compus din n spini, se presupune c oricare pereche de spini
(x
i
, x
j
) are un cuplaj pozitiv proporional cu 1/n, i.e. se presupune o in-
teraciune feromagnetic de cmp mediu. Aceast form a interaciei terge
orice inuen a formei sistemului, lsnd s se manifeste exclusiv interacia
care, n limita termodinamic, are raza innit dar este innit de slab. La
n nit se consider funcia de distribuie a observabilei globale

i
x
i
, (me-
dia magnetizrii sistemului) pentru care se gsete o relaie de recuren ce
exprim valoarea sa pentru sistemul cu n + 1 spini n funcie de valoarea
pentru sistemul cu n spini. In limita termodinamic, pentru aceast funcie
de distribuie se obine o ecuaie diferenial, a crei rezolvare d att magne-
tizarea sistemului ct i energia sa liber, putndu-se astfel analiza tranziia
de faz feromagnetic. Pentrul cazul cu simetrie la rotaii ecuaia se rezolv
explicit, n celelalte cazuri problema poate abordat numeric.
5
2 ABORDAREA ALGEBRIC
2.1 Punerea problemei
In mod obinuit, un sistem cuantic este descris prin precizarea spaiului
hilbert H asociat sistemului i a operatorului autoadjunct H, hamiltonianul
sistemului, care guverneaz dinamica sa. Observabilele sistemului sunt op-
eratorii mrginii B(H) din H, iar strile sale pure sunt vectorii de norm
unu din H. Astfel c atunci cnd sistemul se a n starea H, valoarea
expectat a observabilei este
A) = , A) . (2.1)
Evoluia unei stri pure se face conform ecuaiei Schrdinger
i
t
= H, H, (2.2)
ca urmare la momentul t starea sistemului i valoarea expectat a unei ob-
servabile A vor respectiv

t
= e
iHt

0
i A)
t
=
t
, A
t
) =

0
, e
iHt
Ae
iHt

0
_
. (2.3)
Relaiile de mai sus evideniaz cele dou posibiliti echivalente de in-
terpretare. Reprezentarea Schrdinger, n care strile evolueaz conform
ecuaiei
t
= e
iHt

0
, observabilele nu depind de timp, iar valorile lor expec-
tate la momentul t sunt A)
t
=
t
, A
t
). Respectiv reprezentarea Heisen-
berg, n care strile nu depind de timp, observabilele evolueaz conform cu
ecuaia A
t
= e
iHt
Ae
iHt
, iar valorile lor expectate sunt A)
t
=
0
, A
t

0
).
Descrierea unui sistem cuantic prin stri pure nu este sucient. In cele
mai multe cazuri (de exemplu n cazul echilibrului termodinamic) un sistem
se a cu anumite probabiliti p
n
0 n diferite stri pure
n
, altfel spus
media unei observabile este
A) =

n
p
n

n
, A
n
) , (2.4)
unde desigur este presupus c

n
p
n
= 1 i c
n
formeaz un sistem
ortonormat complet n H. Dac se consider observabilele P
n
() =
n

n
, ),
i.e. proiectorii ortogonali pe strile
n
, relaia (2.4) se poate pune sub forma
A) = trA, unde =

n
p
n
P
n
. (2.5)
6
Astfel prin stare se nelege un operator B(H) pozitiv i de urm unu
adic:, ) 0 oricare ar H i tr = 1, un astfel de operator se
mai numete matrice densitate. Strile pure se regsesc cnd
2
= , ceea
ce este echivalent cu faptul c un singur coecient p
n
este diferit de 0 n
expresia (2.5) a lui . In ce privete evoluia, avnd n vedere c n ecuaia
(2.5) P
n,t
() =
n,t

n,t
, ) = e
iHt

n,0

e
iHt

n,0
,
_
, obinem

t
= e
iHt

0
e
iHt
i A)
t
= tr
t
A = tr
0
e
iHt
Ae
iHt
= tr
0
A
t
, (2.6)
relaii ce nlocuiesc ecuaiile (2.3) din cazul strilor pure.
Aceast generalizare a noiunii de stare nu este totui sucient pentru
a descrie sisteme cuantice cu un numr innit de grade de libertate, cum ar
sistemele n limit termodinamic sau cmpurile cuantice. S remarcm
c mulimea observabilelor B(H) formeaz o C

-algebr (vezi anexa A) iar


evoluia lor este dat de grupul de -automorsme
t
() = e
iHt
()e
iHt
al C

-
algebrei B(H). Pe de alt parte aplicaia A trA determinat de matricea
densitate este o funcional liniar, pozitiv i de norm 1 pe B(H) (este
pozitiv deoarece trA

A = tr
1/2
A

A
1/2
= tr(A
1/2
)

A
1/2
0 i are
norma 1 deoarece trI = 1). Reciproc, dac este o funcional liniar
continu pe B(H), atunci [6, propozitia 2.4.3] exist un operator B(H)
de clasa urmei astfel nct (A) = trA pentru A B(H). Este imediat c
0 implic pozitiv i dac n plus tr = 1, atunci (I) = 1 i este
continu cu norma 1. Astfel mulimea strilor se poate identica cu mulimea
funcionalelor pozitive de norm 1 pe B(H).
Cu aceste elemente se poate formula pe scurt alternativa algebric:
totalitatea observabilelor unui sistem cuantic formeaz o C

-algebr O
cu unitate;
strile posibile ale sistemului sunt funcionalele pozitive de norm 1,
iar o observabil A O are valoarea expectat (A) cnd sistemul se
a n starea ;
dinamica sistemului este dat de un grup
t

tR
de -automorsme
ale C

-algebrei O.
Pentru un sistem ce se a n starea , se reobine paradigma tradiional
folosind reprezentarea GNS. Intr-adevr, unei stri i corespunde, conform
propoziiei 10 din anexa A, tripletul (H

) n care H

este spaiu
7
hilbert,

: O B(H

) este -morsm i

este un vector unitar din H

astfel c
(A) =

(A)

) , A O. (2.7)
2.2 Spaii Fock
Strile unui sistem cuantic format din n particule identice, dar considerate
discernabile, sunt vectori n produsul tensorial H
n
, unde H este spaiul
hilbert uniparticul. Pentru a concrei, H poate gndit ca ind un spaiu,
convenabil ales, de funcii de ptrat integrabil; de fapt ntotdeauna avem
H = L
2
(S, d) pentru un anumit spaiu cu msur (S, ). Spaiul H
n
este
generat de vectorii nedecompozabili (sau produs), i.e. de forma
f = f
1
f
2
... f
n
, cu f
i
H. (2.8)
Pentru f, g de aceast form (2.8), produsul scalar este denit prin
f, g) = f
1
, g
1
) f
2
, g
2
) ... f
n
, g
n
) (2.9)
i se extinde prin liniaritate la ntreg H
n
, pentru simplitate H
n
not
= H
n
.
Pentru a descrie un sistem cuantic cu un numr variabil de particule se
construiete suma direct
T(H) =

n0
H
n
unde H
0
= C, (2.10)
i.e spaiul fock peste spaiul hilbert H. Un element f din T(H) este un ir
f = f
(0)
, f
(1)
, ..., cu f
(i)
H
i
, pentru care

n0

f
(n)

2
H
n
. Produsul
scalar n T(H) este dat de
f, g) =

n0

f
(n)
, g
(n)
_
H
n
, (2.11)
unde , )
H
n
este produsul scalar n H
n
. Spaiul H
n
considerat ca subspaiu
n T(H) se numete sectorul n-particul. H
0
= C se numete sector vid, iar
vectorul T(H) de componente
(0)
= 1 i
(n)
= 0 pentru n 1 se
nunete vid Fock.
Suma direct (2.10) este de fapt descompunerea spaiului fock n subspaii
proprii ale operatorului numr de particule N denit astfel: domeniul lui N
este
T(N) = f T(H) :

n0
n
2

f
(n)

2
H
n
(2.12)
8
i aciunea sa dat prin
(Nf)
(n)
= nf
(n)
pentru f T(N) .
Un subspaiu util al spaiului Fock peste H este format de strile cu
numr nit de particule, i.e
T
0
(H) = f T(H); f = f
(0)
, f
(1)
, ..., i : f
(i)
,= 0 nit }. (2.13)
Importana sa const n faptul c orice operator cu sens zic include n
domeniul su de deniie subspaiul T
0
(H).
Sunt dou construcii utile de ridicare a operatorilor uniparticul din
H la T(H). Dac h : H H este un operator uniparticul, cuanticatul
su d(h) se denete astfel: mai nti se denete h
n
pentru vectorii produs
f
1
f
2
... f
n
H
n
prin
h
n
(f
1
f
2
... f
n
) =
n

i=1
f
1
f
2
... h(f
i
) ... f
n
(2.14)
apoi h
n
se extinde prin liniaritate la tot H
n
, iar d(h) este denit pe T(H)
prin
d(h) =

n0
h
n
, unde h
0
= 0 . (2.15)
Cel mai simplu exemplu: dac I este operatorul unitate n H atunci cuan-
ticatul su este operatorul numr de particule, d(I) = N.
Puterea tensorial u
n
: H
n
H
n
a unui operator u : H Hse denete
mai nti pentru vectorii produs f
1
f
2
...f
n
prin
u
n
(f
1
f
2
... f
n
) = u(f
1
) u(f
2
) ... u(f
n
) (2.16)
i se extinde prin liniaritate la ntreg H
n
. Ridicarea (cuanticarea a doua)
lui u la T(H) este denit de
(u) =

n0
u
n
, unde u
0
= 1. (2.17)
Dac u este contractiv, n particular dac u este unitar, atunci (u) este
denit pe ntreg T(H) i este contractiv, respectiv unitar.
Modul n care funcioneaz i d : e h : H H hamiltonianul unei
particule libere (sau ntr-un cmp extern), atunci evoluia strilor din H este
9
dat de grupul de operatori unitari e
ith
: H H. Hamiltonianul unui
numr variabil de particule libere este d(h) : T(H) T(H), iar evoluia n
spaiul fock este dat de grupul de operatori unitari e
itd(h)
: T(H) T(H)
i se arat uor egalitatea
(e
ith
) = e
itd(h)
. (2.18)
De asemenea remarcm c operaiile i dsatisfac relaiile
(uv) = (u)(v), respectiv d(h + k) = d(h) + d(k) (2.19)
ori de cte ori operatorii din dreapta egalitilor sunt denii, de exemplu
pentru h, k autoadjunci, respectiv u, v contractivi.
Trecerea ntre sectoare cu numr diferit de particule se face prin folosirea
operatorilor de creare i anihilare. Pentru oricare f H operatorul de anihi-
lare a
f
: T(H) T(H) duce sectorul fr particule H
0
n vectorul 0 T(H)
i pentru n 1 duce sectorul n-particul H
n
n sectorul (n 1)-particul
H
n1
: pentru vectorii nedecompozabili f
(n)
= f
1
f
2
...f
n
din H
n
, a
f
este
denit de expresia
a
f
(f
1
f
2
... f
n
) =

nf, f
1
) f
2
f
3
... f
n
, (2.20)
care se extinde prin liniaritate la ntregul H
n
.
Similar se denete operatorul de creare a

f
: H
n
H
n+1
prin
a

f
(f
1
f
2
... f
n
) =

n + 1f f
1
f
2
... f
n
. (2.21)
In acest mod operatorii a
f
, a

f
sunt denii cel puin pe strile cu numr
nit de particule T
0
(H), vezi (2.13). Nu este greu de artat c domeniul de
deniie al operatorilor a
f
, a

f
este mai mare i include domeniul de deniie
al operatorului numr de particule, a se vedea (2.12).
S observm c aplicaia H f a
f
este conjugat liniar, n timp ce
aplicaia H f a

f
este liniar.
2.3 Spaii fock bosonice i fermionice
In cele de mai sus s-a presupus c particulele identice sunt discernabile, acest
lucru este fals, cel puin n situaia n care este dominant comportarea
cuantic. Indiscernabilitatea particulelor spune ca zica nu se schimb
10
dac se permut indicii particulelor. Mai precis pentru orice permutare a
indicilor 1, 2, ..., n se consider operatorul P
(n)

: H
n
H
n
denit pentru
vectorii produs prin
P
(n)

(f
1
f
2
... f
n
) = f
(1)
f
(2)
... f
(n)
, (2.22)
i extins prin liniaritate la ntregul H
n
. Indiscernabilitatea particulelor im-
pune ca vectorii f
(n)
H
n
i P
(n)

(f
(n)
) s conduc la aceleai rezultate. Este
imediat P
(n)

este unitar i P
(n)

= P
(n)

1
unde
1
este inversa permutrii .
Se consider c particulele se mpart n dou categorii: bosoni, pentru
care funcia de und este simetric
P
(n)

(f
(n)
) = f
(n)
,
i fermioni pentru care funcia de und este antisimetric
P
(n)

(f
(n)
) = ()f
(n)
,
unde () este signatura permutrii . Pentru a introduce subspaiile rele-
vante descrierii bosonilor sau fermionilor se denesc operatorii P

: T(H)
T(H) astfel: mai nti pentru vectorii produs f
1
f
2
... f
n
H
n
se ia
P
+
(f
1
f
2
... f
n
) =
1
n!

f
(1)
f
(2)
... f
(n)
, (2.23)
pentru bosoni, respectiv
P

(f
1
f
2
... f
n
) =
1
n!

()f
(1)
f
(2)
... f
(n)
(2.24)
pentru fermioni, apoi deniia se extinde prin liniaritate la ntreg H
n
i apoi la
T(H). Se vede imediat c pe H
n
, i deci pe T(H), avem: P
2

= P

i P

= P

i.e. P

sunt proiectori ortogonali. Vectorii simetrici /antisimetrici din T(H)


sunt imaginea lui P
+
respectiv P

, astfel spaiul Foch pentru bosoni/fermioni


este
T
+
(H) = P
+
T(H) respectiv T

(H) = P

T(H) . (2.25)
Se vede c operatorii d(h) i (u) denii anterior prin relaiile (2.14)-(2.17)
comut cu operatorii de simetrizare i antisimetrizare P

. Astfel operatorii
de ridicare d

(h) i

(u) sunt corect denii pe T

(H)prin
d

(h) = d(h)P

respectiv

(h) = (h)P

,
11
astfel operaiile d i ridic operatori uniparticul din H la operatori n
T

(H). De asemenea relaiile (2.18), (2.19) rmn adevrate pentru d

(h)
i

(u).
Operatorii de anihilare i creare se denesc n T

(H) ca restricii ale


operatorilor corespunztori (2.20) i (2.21) din T(H), i.e.
a

,f
= P

f
P

, (2.26)
unde a

noteaz a sau a

.
Spaiile T

(H) sunt invariante pentru operatorul de anihilare a


f
. Aceasta
se poate vedea astfel. Fie
(n)
i,j
transpoziia elementelor i, j din mulimea
1, 2, ..., n i notm, prin abuz, tot cu
(n)
i,j
operatorul denit de relaia (2.22)
pentru =
(n)
i,j
. Este evident c elementul f
(n)
H
n
este n imaginea lui
P

dac i numai dac


(n)
i,j
(f
(n)
) = f
(n)
, pentru oricare i, j 1, 2, ..., n.
Se vede c pentru vectorii de forma f
1
f
2
... f
n
H
n
avem

(n1)
i,j
a
f
(f
1
f
2
... f
n
) = a
f

(n)
i+1,j+1
(f
1
f
2
... f
n
).
Ca urmare egalitatea
(n1)
i,j
a
f
= a
f

(n)
i+1,j+1
are loc pe H
n
, pentru orice i, j
1, 2, ..., n 1 i a
f
(f
(n)
) are aceeai simetrie ca f
(n)
. Astfel pe T(H) are
loc egalitatea
a
f
P

= P

a
f
P

. (2.27)
Prin trecere la operatorii adjunci avem relaia
P

f
= P

f
P

. (2.28)
Astfel deniia (2.26) a operatorilor de anihilare i creare n T

(H) se poate
rescrie mai simplu
a
,f
= a
f
P

, a

,f
= P

f
. (2.29)
Folosind relaiile (2.20) i (2.21) se veric c
a
+,g
a

+,f
(f
1
f
2
... f
n
) =
n+1

k=1
g, f
k
) P
+
f
1
...

f
k
... f
n+1
,
unde f
n+1
= f , iar arat c n expresie simbolul acoperit trebuie omis.
Similar,
a

+,f
a
+,g
(f
1
f
2
... f
n
) =
n

k=1
g, f
k
) P
+
f
1
...

f
k
... f
n+1
.
12
Din aceste egaliti rezult c operatorii de anihilare i creare bosnici denii
pe spaiul fock T
+
(H) satisfac relaiile canonice de comutare (CCR):
[a
+,g
, a

+,f
] = g, f) I
[a
+,g
, a
+,f
] = [a

+,g
, a

+,f
] = 0,
(2.30)
pentru orice f, g H.
Similar, rezult c operatorii de anihilare i creare fermionici denii pe
spaiul fock T

(H) satisfac relaiile canonice de anticomutare (CAR):


a
,g
, a

,f
= g, f) I
a
,g
, a
,f
= a

,g
, a

,f
= 0.
(2.31)
In lucrare suntem interesai numai de sisteme de fermioni, astfel c de
acum nainte operatorii de anihilare i creare fermionici nu mai poart in-
dicele ci vor notai simplu a
f
sau a(f), respectiv a

f
sau a

(f).
2.4 Algebra relaiilor de anticomutare
In seciunea precedent ecrei stri uniparticul f H i s-a ataat perechea
de operatori de anihilare a
,f
: T

(H) T

(H), astfel c au loc relaiile


(2.30) respectiv (2.31). Dar de fapt tim cu siguran c domeniile de deniie
ale operatorilor a
,f
cuprind cel puin T
0
(H) i.e. strile simetrice / antisi-
metrice cu numr nit de particule. Astfel n egalitile (2.30) i (2.31) au
loc cel puin pe T
0
(H).
Ne limitm n continuare la fermioni. In acest caz operatorii a
f
, a

f
sunt
mrginii. Intr-adevr, pentru T
0
(H) relaiile de anticomutare implic

2
=

f
, a

_
=

, a
f
a

_
=

, ([f[
2
a

f
a
f
)
_
,
adic

2
+[a
f
[
2
= [f[
2
[[
2
. Deoarece T
0
(H) este dens n T

(H) rezult

[f[. Mai mult, deoarece pentru vectorul de vid = 1, 0, 0, ... avem


a

f
= 0, f, 0, 0..., deci

= [f[ i obinem

[f[. Analog, folosind


vectorul a

f
= 0, f, 0, 0..., obinem [a
f
[ [f[. Deci operatorii a
f
i a

f
sunt
denii pe ntreg T

(H) i
[a
f
[ =

= [f[ . (2.32)
13
Aadar mulimea operatorilor de anihilare a
f
: f H este inclus n
mulimea B(T

(H)) a operatorilor mrginii pe spaiul fock T

(H). Cum
B(T

(H)) formeaz o C

-algebr, rezult c exist o cea mai mic C

-algebr
care conine mulimea a
f
: f H. Notm aceast C

-algebr CAR
F
(H),
deoarece construcia depinde de spaiul B(T

(H)). In fapt este adevrat


urmtoarea teorem [7].
Teorem.(unicitatea CAR) Fie H un spaiu hilbert i e /
i
, i = 1, 2 dou
C

-algebre cu unitate generate de elementele a


(i)
f
, f H, care satisfac
(1) f a
(i)
f
este conjugat liniar,
(2) a
(i)
f
, a
(i)
g
= 0
(3) a
(i)
f
, a
(i)
g
= f, g) I
(2.33)
pentru f, g H, i = 1, 2.
In aceste condiii exist, i este unic, un

-izomorsm : /
1
/
2
astfel
c
(a
(1)
f
) = a
(2)
f
, f H.
Deci, orice C

-algebr ce satisface condiiile teoremei este



-izomorf cu
algebra CAR
F
(H), astfel c modulo un

-izomorsm exist o singur C

-
algebr ce satisface condiiile (1)-(3) din teorem, aceasta se numete C

-
algebra (sau algebra) relaiilor de anticomutare peste spaiul hilbert H i se
noteaz CAR(H).
Dac h, u sunt operatori uniparticul astfel c h, u CAR
F
(H) , atunci
avem d(h), (u) CAR
F
(H). Si deoarece CAR
F
(H) i CAR(H) sunt

-
izomorfe, operaiile de ridicare d i au sens pentru astfel de operatori.
Pentru operatorii uniparticul f g, )din H avem d(f g, )) = a

(f)a(g) i
ca urmare operatorii compaci din H ( adic nchiderea normic a mulimii
operatorilor de rang nit din H) sunt n CAR
F
(H), deci n CAR(H). In
particular operatorii de clasa urmei din H au cuanticatul n CAR(H). O
consecin important a uniciti algebrei CAR(H) este urmtoarea teorem.
Teorem (Transformarea Bogoliubov) Fie u, v : H H operatori mrginii,
u liniar , v antiliniar care satisfac condiiile
u

v + v

u = 0 = uv

+ vu

u + v

v = I = uu

+ vv

.
(2.34)
14
Exist i este unic un -automorsm al algebrei CAR(H) astfel c
(a(f)) = a(uf) + a

(vf). (2.35)
In acest caz inversul lui este

1
(a(f)) = a(u

f) + a

(v

f). (2.36)
Intr-adevr, dac sunt ndeplinite condiiile (2.34), atunci aplicaia H
f a

(f) = a(uf) + a

(vf) satisface condiiile (2.33). Deci, conform teore-


mei de unicitate a CAR(H), exist -automorsmul al algebrei CAR(H)
astfel c a

(f) = (a(f)), i.e. este adevrat ecuaia (2.35).


Un caz particular al transformrii Bogoliubov se obine pentru u unitar i
v = 0, astfel aplicaia a(f) a(uf), f H se extinde la un -automorsm
al CAR(H), pentru orice unitar u.
2.5 Stri cvasilibere pe algebra CAR
Algebra observabilelor unui sistem de fermioni, avnd spaiul hilbert H drept
spaiu uniparticul, este algebra CAR(H), ca urmare o stare a sistemului va
specicat de o funcional liniar pozitiv : CAR(H) C cu (I) = 1.
In cele ce urmeaz vom presupune c spaiul hilbert H este separabil. Pentru
o stare xat , aplicaia
HH (f, g) (a

(f)a(g))
este o form sesquiliniar (liniar n f i conjugat liniar n g). Deoarece
este continu de norm 1, avem [(a

(f)a(g))[ [a

(f)[ [a(g)[=[f[ [g[, adic


forma sesquiliniar este continu. Ca urmare exist un operator : H H
astfel c
(a

(f)a(g)) = g, f) f, g H, (2.37)
este imediat c este pozitiv i de norm cel mult 1: 0 1, un astfel de
operator se numete matrice densitate.
Pentru operatorii c : H H de clasa urmei, are loc egalitatea
(d(c)) = trc. (2.38)
Intr-adevr , dup cum am vzut n seciunea precedent, c ind de clasa
urmei avem d(c) CAR(H). De asemenea c de clasa urmei, atrage dup
15
sine c ntr-o baz ortonormat oarecare f
1
, f
2
, ..., avemc =

i,j
c
i,j
f
i
f
j
, ),
convergena ind normic. Deci d(c) =

i,j
c
i,j
a

(f
i
)a(f
j
) i (d(c) =

i,j
c
i,j
f
j
, f
i
) = trc.
Pe de alt parte dac este un operator pozitiv cu 0 1 atunci se
poate deni pe CAR(H) starea

prin

(a

(f
n
)...a

(f
1
)a(g
1
)...a(g
m
)) =
n,m
det(g
i
, f
j
)). (2.39)
Este evident c matricea densitate ce corespunde strii

prin relaia (2.37)


este chiar .
O stare se numete cvasiliber dac este determinat de matricea sa den-
sitate prin relaia (2.39).
Fie un sistem de fermioni liberi cu hamiltonianul uniparticul h, atunci
dinamica sa heisenberg este dat de grupul de automorsme

t
(A) = e
itd

(h)
Ae
itd

(h)
(2.40)
unde A B(T

(H). Evident C

-algebra operatorilor mrginii pe spaiul


fock antisimetric T

(H) include CAR(H) i CAR(H) este invariant la


t
.
Pentru a vedea cum acioneaz
t
pe CAR(H) reamintim c e
itd(h)
= (e
ith
).
Notm e
ith
= u, atunci putem scrie pentru un vector de tip produs f
(n)
=
f
1
f
2
... f
n

t
(a(f))f
(n)
= (u)a(f)(u

)f
(n)
= (u)a(f)(u

f
1
... u

f
n
) =
(u)

nf, u

f
1
) (u

f
2
... u

f
n
) =

nuf, f
1
) f
2
... f
n
= a(uf)f
(n)
.
Rezult
t
(a(f)) = a(uf) pe T(H) i cum (u), (u

) comut cu operatorul
de antisimetrizare, egalitatea are loc pe T

(H). Astfel avem

t
(a(f)) = e
itd

(h)
a(f)e
itd

(h)
= a(e
ith
f), (2.41)
i deoarece
t
este -morsm

t
(

i
a

(f
i
)) =

i
a

(e
ith
f
i
) (2.42)
relaii ce exprim simplu dinamica sistemului de fermioni n CAR(H). Re-
marcm c
t
este un grup de transformri Bogoliubov (2.35) cu v = 0.
Dinamica
t
a observabilelor denete dinamica strilor: dac
0
este
starea sistemului la t = 0 atunci prin deniie starea la momentul t este

t
(A) =
0
(
t
(A)) A CAR(H). (2.43)
16
Presupunem c
0
este o stare cvasiliber cu matricea densitate
0
, atunci

t
(

i
a

(f
i
)) =
0
(
t
(

i
a

(f
i
))) =
0
(

i
a

(e
ith
f
i
))
i conform cu (2.39)
t
este stare cvasiliber cu matricea densitate g,
t
f) =

0
(a

(e
ith
f)a(e
ith
g)) =

e
ith
g,
0
e
ith
f
_
=

g, e
ith

0
e
ith
f
_
.
Astfel automorsmul (2.40) invariaz mulimea strilor cvasilibere i ma-
tricele densitate corespunztoare evolueaz conform ecuaiei

t
= e
ith

0
e
ith
. (2.44)
17
3 HAMILTONIANUL UNIPARTICULA
3.1 Descrierea modelului
Dup cum am precizat, pentru obine o caracterizare ct mai explicit a strii
NESS nale, considerm un model foarte simplu. Sistemul const din dou
rezervoare de particule 1
1,2
, conectate printr-un r cuantic S. Rezervoarele
conin gaze fermi, particulele putnd ocupa nodurile unor reele innite

1,2
= Z
d
1,2
sau
1,2
= Z
d
1,2
1
Z
+
, (3.1)
unde cu Z, Z
+
am notat mulimea ntregilor, respectiv mulimea ntregilor
strict pozitivi.
Spaiile hilbert uni-particul pentru 1
1,2
vor
H
i
= l
2
(
i
) =
_
f :
i
C; |f|
2
=

x
i
[f(x)[
2
<
_
, i = 1, 2 . (3.2)
Hamiltonienii uni-particul ai rezervoarelor 1
1,2
sunt operatorii energie ci-
netic n aproximaia electronilor strns legai (tight binding approximation),
i.e. sunt 1/2operatorul laplace pe reea
(h
i
f)(x) = d
i
f(x)
1
2

y
i
,|yx|=1
f(y) , i = 1, 2. (3.3)
Nano-rul o este modelat tot ca un gaz fermi n aceeai aproximaie,
particulele putnd ocupa nodurile 1, 2, ..., n. Spaiul uni-particul va
H
S
= l
2
(
S
) C
n
,
S
= 1, 2, ..., n iar hamiltoniaul uni-particul are
expresia
(h
S
f)
i
= (1 + e
g
)f
i
1/2(f
i1
+ f
i+1
), i = 1, ..., n (f
0
= f
n+1
= 0), (3.4)
unde parametrul e
g
joac rolul unui potenial ajustabil de poart (gate po-
tential).
In consecin spaiul hilbert uni-particul pentru sistemul ntreg 1
1
o
1
2
este
H = H
1
H
S
H
2
= l
2
(), unde =
1

S

2
, (3.5)
iar evoluia stilor uniparticul ale sistemului necuplat este determinat de
hamiltonianul
h
0
= h
1
h
S
h
2
(3.6)
18
Interacia ntre rezervoare i rul o este dat de elemente de matrice de
tunelare ntre capetele rului i cte un nod din ecare rezervor. Mai precis,
notm cu
1
nodul (0, ..., 0) Z
d
1
dac
1
= Z
d
1
, sau (0, ..., 0, 1) Z
d
1
1
Z
+
dac
1
= Z
d
1
1
Z
+
i notm cu
2
nodul analog din
2
. Rezervoarele
i rul sunt cuplate prin intermediul perechilor de noduri (
1
, 1) i (
2
, n),
interacia ind dat de matricea
v
x,y
=
_
_
_
t, dac x, y =
1
, 1 sau
2
, n
0, altfel
(3.7)
Interacia este v = 0, pentru timpi mai mici ca 0, pentru timpi pozitivi se
face jonciunea ntre rezervoare i r, v ,= 0 i evoluia strilor uni-particul
ale sistemului cuplat este guvernat de hamiltonianul uniparticul:
h = h
0
+ v. (3.8)
Hamiltonienilor uniparticul h
0
, h le corespund n spaiul fock T

(H)
hamiltonienii
H
0
=

x,y
h
0
(x, y)a

x
a
y
, respectiv H =

x,y
h(x, y)a

x
a
y
, (3.9)
unde h
0
(x, y), h(x, y) sunt elementele de matrice ale hamiltonienilor h
0
, h iar
a

x
= a

(
x
), a
x
= a(
x
) sunt operatorii de creare/anihilare pentru funcii
delta
x
() H, x (
x
(y) = 0 pentru y ,= x i
x
(x) = 1).
3.2 Proprietile spectrale ale sistemului necuplat
Ne ocupm de hamiltonienii rezervoarelor, cum acestea sunt similare este
sucient s avem n vedere numai unul din ele. Ca urmare vom omite indicii
1, 2 i ne vom ocupa de operatorul T : l
2
() l
2
()
(T f)(x) = d f(x)
1
2

y,|yx|=1
f(y) , i = 1, 2. (3.10)
Considerm mai nti = Z
d
. In acest caz T are spectru absolut continuu,
are funciile proprii generalizate
k
l

() indexate de zona Brillouin k


B
d
[, )
d

k
(x) =
1
(2)
d/2
e
ikx
, k B
d
(3.11)
19
i valorile proprii generalizate (legea de dispersie)
(k) = 2(sin
2
k
1
2
+ sin
2
k
2
2
+ ... + sin
2
k
d
2
). (3.12)
De fapt, dac n membrul drept al relaiei (3.3) considerm f l

(), atunci
rezultatul este de asemenea n l

(), astfel c (3.3) denete o extensie a


operatorului T,

T : l

() l

(). Pentru aceast extensie avem



T
k
=
(k)
k
, deci
k
, (k) sunt funcii proprii, respectiv valori proprii autentice
pentru operatorul

T .
Prin intermediul funciilor proprii generalizate
k
se denete operatorul
u : l
2
() l
2
(B
d
):
(uf)(k)
not
=

f(k) =
k
, f) =
1
(2)
d/2

xZ
d
e
ikx
f(x) , f l
2
(), k B
d
,
(3.13)
u este unitar i inversul su u
1
= u

este
f(x) = u

(

f)(x) =
1
(2)
d/2
_
B
d
e
ikx

f(k)dk ,

f l
2
(B
d
), x Z
d
. (3.14)
In fapt f(x), x Z
d
sunt coecienii Fourier ai funciei periodice

f , cu pe-
rioad 2 n ecare din cele d variabile k
i
. Operatorul T este unitar echivalent
cu operatorul de nmulire cu (k) :
[uTu


f](k) = (k)

f(k).
Spectrul lui T este mulimea valorilor funciei (k), i.e. conform cu relaia
(3.12) avem (T) = [0, 2d]. Rezolventa operatorului de nmulire cu (k)
este operatorul de nmulire cu
1/((k) z) , z C[0, 2d]
ca urmare rezolventa lui T n l
2
() va avea elementele de matrice
R(z; x, y) =
1
(2)
d
_
B
d
e
ik(yx)
(k) z
dk , x, y Z
d
. (3.15)
Deci R(z; x, y) = R(z, x y, 0), astfel c putem folosi i notaia mai simpl
R(z; x, y) = R(z; xy), i deoarece (k) = (k), avem R(z; x) = R(z, x),
adic R(z; x) = R(z, [x[).
20
In cazul unidimensional integrala (3.15) se evalueaz folosind teorema
reziduurilor i R(z; x) are forma simpl:
R(z; x) = 2

|x|
1
(z)

2
(z)
1
(z)
, x Z (3.16)
unde
1
(z) = 1 z +

z 2 ,
2
(z) = 1 z

z 2 , aici

z =
_
[z[e

arg(z)
2
, arg(z) [0, 2). Se vede c [
1,2
[ = 1 pentru z (T) = [0, 2]
i [
1
[ < 1, [
2
[ > 1 pentru z / (T). Astfel pentru z n afara spectrului
operatorului T rezolventa sa R(z; x) cade exponenial cu [x[.
Proprietatea de cdere exponenial a rezolventei R(z, ) este adevrat
pentru o dimensiune d arbitrar dac z se a n afara spectrului operatorului
T. Intr-adevr integrandul din ecuaia (3.15) este funcie analitic de k i
integrarea se face pe B
d
care este un produs a d cercuri unidimensionale.
Dac z / (T) = [0, 2d], atunci (k)z ,= 0 pe B
d
i conturul de integrare n
(3.15) se poate deforma astfel c k(y x) [x y[ pe conturul deformat,
cu (z) > 0 funcie cresctoare de distana lui z la (T). Astfel pentru
z / (T) = [0, 2d] avem
[R(z; x, y)[ Ce
|xy|
x, y Z
d
(3.17)
unde C = C(z, d) > 0 este descresctoare, i = (z, d) este cresctoare cu
distana lui z la (T).
O alt proprietate a rezolventei este faptul c elementele sale de matrice
R(z; x, y) au limite nite cnd z tinde ctre un punct din spectru, mai exact
exist lim
0
R(e + i, x, y) = R(e + i0, x, y) pentru e (T) (se noteaz
limita cu R(e+i0, x, y) deoarece exist i limita din semiplanul inferior R(e
i0, x, y) ,= R(e + i0, x, y). Integrala (3.15) se scrie sub forma
R(e +i; x, y) =
1
(2)
d
2d
_
0
dt
t e + i
_
(k)=t
e
ik(yx)
d
t
(k) , x, y Z
d
. (3.18)
unde d
t
(k) este msura indus pe suprafaa de nivel constant (k) = t de
msura lebesgue din B
d
. Notm
(t, x y) =
1
(2)
d
_
(k)=t
e
ik(yx)
d
t
(k) (3.19)
21
i formula Sokhotski
1
x
= P(
1
x
) + i(x) (unde cu P se noteaz partea prin-
cipal) ne d
R(e + i0; x, y) = P
2d
_
0
dt
t e
(t, x y) + i (e, x y). (3.20)
Elementele de matrice R(e + i0; x, y) au de asemenea proprieti de cdere
pentru [x y[ , anume, pentru d 2, avem [17]
R(e + i0; x, y) = O([x y[
1/2
) (3.21)
uniform pe compacte n [0, 2d] 0, 2, ..., 2d. Pentru d = 1, avem direct din
(3.16)
R(e + i0; x, y) = i
e
i|yx|
_
e(2 e)
, = arctan
_
e(2 e)
1 e
, (3.22)
deci pentru d = 1 nu avem cdere la , elementele de matrice ind O(1).
Considerm n continuare = Z
d1
Z
+
. In acest caz operatorul (3.3)
poate vzut ca sum direct a doi operatori de acelai tip unul pe Z
d1
i cellalt pe Z
+
(ntregii strict pozitivi). S notm pentru moment cu T
operatorul denit de (3.3) pe Z i cu T
+
operatorul denit de aceeai relaie
pe Z
+
, acesta din urm se scrie
(T
+
f)(i) = f(i)
1
2
(f
i1
+ f
i+1
), f(0) = 0.
Dac se identic l
2
(Z
+
) cu subspaiul l
2
ant
(Z) al funciilor antisimetrice din
l
2
(Z), se vede c aciunea lui T pe acest subspaiu este identic cu aciunea
lui T
+
pe l
2
(Z
+
). Mai precis se consider operatorul u : l
2
(Z
+
) l
2
ant
(Z)
denit prin
(uf)(i) =
_
_
_
f(i) pentru i Z
+
0 pentru i = 0
f(i) pentru i / Z
+
i se vede c Tuf = uT
+
f , i.e proprietile lui T
+
se deduc din cele ale lui T
restrns la subspaiul invariant l
2
ant
(Z). Deoarece din perechea de funcii pro-
prii generalizate (k, x), (k, x) ale lui T obinem o singur funcie an-
tisimetric sin(kx), rezult c: mulimea indecilor k se restrnge la (0, ),
22
_
2/ sin(kx) sunt funciile proprii generalizate pentru T
+
, iar legea de dis-
persie este neschimbat i.e. (k) = 2 sin
2
(k/2).
Revenim la cazul general i.e. = Z
d1
Z
+
i T dat de (3.3). Dup
cum am amintit T este o sum direct de operatori deja analizai i se obine
c: spectrul lui T este absolut continuu, (T) = [0, 2d], funciile proprii
generalizate ale lui T sunt indexate de B
d
= [, )
d1
(0, )

k
(x) =
2
(2)
d/2
e
ik

sin k
d
x
d
, (x

, x
d
) (k

, k
d
) B
d
, (3.23)
iar legea de dispersie (k) este dat tot de (3.12). Analogul operatorului
unitar (3.13) se denete la fel i.e.
(uf)(k)
not
=

f(k) =

x
(k, x)f(x) , f l
2
(), k B
d
, (3.24)
cu (k, ) date de (3.23). Operatorul u : l
2
() l
2
(B
d
) este unitar u

= u
1
i are expresia
f(x) = u

(

f)(x) =
_
B
d
(k, x)

f(k)dk ,

f l
2
(B
d
), x Z
d
. (3.25)
Pentru rezolvent avem expresia similar cu (3.15)
R(z; x, y) =
_
B
d
(k, x)(k, y)
(k) z
dk , x, y Z
d
. (3.26)
Proprietile de cdere ale rezolventei se obin uor deoarece ea se exprim
n funcie de rezolventa (3.15). Pentru a o distinge de (3.26) notm pentru
moment rezolventa (3.15) cu R

(z; x, y) i pentru x = (x
1
, ..., x
d1
, x
d
) notm
r(x) = (x
1
, ..., x
d1
, x
d
), atunci se vede prin calcul direct c
R(z; x, y) = R

(z; x, y) R

(z; x, r(y)) (3.27)


Ne ocupm acum de h
S
. Spectrul i funciile proprii ale operatorului (3.4)
(h
S
f)
i
= (1 + e
g
)f
i
1/2(f
i1
+ f
i+1
), i = 1, ..., n (f
0
= f
n+1
= 0), (3.28)
sunt bine cunoscute. Vectorii proprii i valorile proprii sunt
23

m
(i) =
_
2
n + 1
sin (q
m
i), i 1, 2, ..., n, (3.29)
respectiv

m
= e
g
+ 2 sin
2
(q
m
/2) (3.30)
i sunt indexate de q
m
= m/(n + 1), m = 1, 2, ..., n
3.3 Proprietile spectrale ale sistemului cuplat
In continuare ne ocupm cu analiza spectral a hamiltonianului uniparticul
h. Vom adopta un cadru ceva mai general, care include desigur situaia
anterioar. Considerm urmtoarele condiii:
A1 Spaiul hilbert uni-particul este suma ortogonal
H = H
1
H
S
H
2
,
cu dimH
S
= n < ;
A2 In reprezentarea matriceal asociat cu aceast descompunere a spaiului
hilbert H, hamiltonianul neperturbat h
0
i perturbaia v au urmtoarea
structur
h
0
=
_
_
h
1
0 0
0 h
S
0
0 0 h
2
_
_
, v =
_
_
0

1
0

1
0
2
0

2
0
_
_
.
unde h
i
, i = 1, 2, au spectrele absolut continue egale cu intervale mrgi-
nite (h
i
) = I
i
= [e

i
, e
+
i
] R i
i
: H
i
H
S
. De asemenea pre-
supunem,
(e

1
, e
+
1
) (e

2
, e
+
2
) ,= ;
A3 Notm cu
i
suportul stng al operatorului
i
(i.e. proiectorul ortogonal
pe subspaiul

i
(H
S
) H
i
). Pentru orice x (e

i
, e
+
i
), operatorii

i
R
i
(x + i)[

i
(H
i
)
au limite pentru 0 i sunt ndeplinite inegalitile
lim
0

i
R
i
(x + i)[

i
(H
i
)
> 0,
unde R
i
este rezolventa lui h
i
, i = 1, 2.
24
Fie A H un subspaiu al spaiului hilbert H i A : A H un operator (n
genral mrginit). Dac A

este ortogonalul lui A n H, atunci H = A A

i denim extensia lui A la H = A A

prin ,

A = A 0. Corespondena
A

A este injectiv i liniar, n plus dac B : A H este un alt operator
i produsul AB este denit (i. e. B(A) A), atunci

AB =

A

B. Acest lucru
permite s nelegem prin A i s notm cu A e operatorul A : A H, e
extensia sa

A = A 0 : H H.
In cazul nostru identifcm spaiile hilbert H
1,2
, H
S
cu subspaiile core-
spunztoare din H = H
1
H
S
H
2
i, dup caz, operatorii h
1
, R
1
(z) vor
nelei e ca operatori n H
1
, e ca operatori n H. Acelai lucru este
presupus pentru h
1
, h
S
etc.
Pentru z n mulimea rezolvent a lui h sau h
i
notm:
R(z) = (h z)
1
, R
i
(z) = (h
i
z)
1
(i = 1, 2). (3.31)
Notm cu H
ac
(h
0
) sau H
0
ac
subspaiul H
1
0 H
2
H , conform ipotezei
A3 acesta este subspaiul de absolut continuitate al lui h
0
. Denim R
0
ac
(z) :
H
ac
(h
0
) H
ac
(h
0
), i : H
ac
(h
0
) H
S
prin
R
0
ac
(z) = R
1
(z) R
2
(z), (f
1
f
2
) =
1
f
1
+
2
f
2
. (3.32)
Evident, conform celor spuse mai nainte, R
0
ac
(z) i noteaz deasemenea
extensiile R
1
(z) 0 R
2
(z), respectiv
1
0
2
la H
1
0 H
2
= H, etc.
Descompunerea spectral a lui h se bazeaz pe gsirea unei reprezentri
adecvate pentru rezolventa R(z). Folosim o variant a metodei Feshbach,
cu avantajul c perturbaia v ind de rang nit, se poate exprima seria de
perturbaie printr-o formul nchis.
Avem de gsit f = f
1
f
S
f
2
din sistemul de ecuaii
_
_
_
(h
1
z)f
1
+

1
f
S
= g
1

1
f
1
+(h
S
z)f
S
+
2
f
2
= g
S

2
f
S
+(h
2
z)f
2
= g
2
,
(3.33)
unde g = g
1
g
S
g
2
H este arbitrar.
Dac z C (I
1
I
2
), din prima i a treia ecuaie (3.33) se obin f
1
, f
2
n funcie de f
S
:
f
1
= R
1
(z)(g
1

1
f
S
), f
2
= R
2
(z)(g
2

2
f
S
), (3.34)
25
iar ecuaia a doua devine
(h
ef
(z) z)f
S
= Q(z)g, (3.35)
unde h
ef
(z) : H
S
H
S
i Q(z) : H H
S
sunt denii prin:
h
ef
(z) = h
S

1
R
1
(z)

1

2
R
2
(z)

2
= h
S
R
0
ac
(z)

,
Q(z) = P
S
R
0
ac
(z),
(3.36)
si P
S
este proiectorul ortogonal pe H
S
.
S observm c h
ef
(z) este denit pe intersecia rezolventelor operatorilor
h
1
, h
2
i pentru z (h
1
) (h
2
) = C (I
1
I
2
) satisface relaia h
ef
(z)

=
h
ef
(z). Ca urmare avem
h
ef
(z) = h
ef
(z), h
ef
(z) = h
ef
(z). (3.37)
Condiia A3 permite denirea lui h
ef
pentru x I
1
I
2
prin h
ef
(x + i0) =
lim
y0
h
ef
(x + iy)
Ori de cte ori h
ef
(z) z este inversabil, ecuaia (3.35) are soluia unic
f
S
= R
ef
(z)Q(z)g, (3.38)
unde am notat R
ef
(z) = (h
ef
(z) z)
1
.
Cu f
S
obinut din ecuaia (3.38) i cu f
1
, f
2
determinai n funcie def
S
de ecuaiile (3.34), avem
f = f
1
f
S
f
2
=
_
_
_
R
1
(z)g
1
R
1
(z)

1
R
ef
(z)Q(z)g
R
ef
(z)Q(z)g
R
2
(z)g
2
R
2
(z)

2
R
ef
(z)Q(z)g
= R
0
ac
(z)g + (R
0
ac
(z)

+ P
S
)R
ef
(z)Q(z)g
Cum Q(z)

= (P
S
R
0
ac
(z))

= P
S
R
0
ac
(z)

, putem scrie soluia sistemului


(3.33) n forma compact
f = (R
0
ac
(z) + Q(z)

R
ef
(z)Q(z))g.
Deoarece spectrul absolut continuu rmne invariant la o perturbaie de rang
nit [18], am demonstrat urmtoarea lem.
26
Lema 3.1 Mulimea rezolvent a operatorului h este
(h) = z C (I
1
I
2
) : ker(h
ef
(z) z) = 0,
iar pentru z (h) rezolventa operatorului h are expresia
R(z) = R
0
ac
(z) + Q( z)

R
ef
(z)Q(z). (3.39)
In continuare ne ocupm de localizarea spectrului punctual
p
al opera-
torului h.
Fie z
p
(h), f = f
1
f
S
f
2
,= 0 este un vector propriu al operatorului
h cu valoarea proprie z dac i numai dac, f este o soluie a ecuaiei (3.33)
cu g = 0. Distingem mai multe cazuri.
1.

i
f
S
= 0 pentru i = 1, 2.
Atunci avem (h
i
z)f
i
= 0, i = 1, 2, i deoarece h
i
nu are spectru punc-
tual, rezult f
i
= 0. Ecuaia (3.33) arat c z
p
(h
S
) i f
S
ker

i
este
vectorul propriu corespunztor. Reciproc dac f
S
ker

i
este un vector
propriu pentru h
S
, atunci 0 f
S
0 este un vector propriu pentru h cu
valoarea proprie z.
Deci orice vector propriu al lui h cu

i
f
S
= 0 este de forma 0 f
S
0
cu f
S
vector propriu pentru h
S
cu aceeai valoare proprie. Reciproc, dac f
S
este un vector propriu al lui h
S
cu

i
f
S
= 0 atunci 0 f
S
0 este vector
propriu al lui h pentru aceeai valoare proprie.
2.

i
f
S
,= 0 pentru cel puin un i.
2a) presupunem mai nti c z , I
1
I
2
. In acest caz exist rezolventele
R
1,2
(z) i ecuaia (3.35) arat c f
S
,= 0 este vector propriu pentru h
ef
(z)
cu valoarea proprie z. Reciproc, dac f
S
,= 0 i f
S
ker (h
ef
(z) z), atunci
Q( z)

f
S
este vector propriu al lui h cu valoarea proprie z.
2b) e acum z = x int(I
1
I
2
). Fie f = f
1
f
S
f
2
,= 0 un vector
propriu al lui h cu valoarea proprie x. Atunci f satisface ecuaia (3.33) cu
g = 0, care poate rescris n forma
_
_
_
(h
1
x iy)f
1
+

1
f
S
= iyf
1

1
f
1
+(h
S
x)f
S
+
2
f
2
= 0

2
f
S
+(h
2
x iy)f
2
= iyf
2
.
(3.40)
Din prima i ultima ecuaie se exprim f
i
, i = 1, 2
f
i
= iyR
i
(x + iy)f
i
R
i
(x + iy)

i
f
S
.
27
Introduse n ecuaia secund conduc la
(h
ef
(x + iy) x)f
S
= iy[
1
R
1
(x + iy)f
1
+
2
R
2
(x + iy)f
2
],
i nmulind scalar cu f
S
avem
f
S
, (h
ef
(x + iy) x)f
S
) = iy f
S
,
1
R
1
(x + iy)f
1
+
2
R
2
(x + iy)f
2
) . (3.41)
Din ecuaia ( 3.33) avem

i
f
S
= (h
i
x)f
i
i termenii membrului drept se
transform astfel
iy f
S
,
i
R
i
(x + iy)f
i
) =
iy

i
f
S
, R
i
(x + iy)f
i
) = iy (h
i
x)f
i
, R
i
(x + iy)f
i
) =
iy (h
i
x + iy)f
i
, R
i
(x + iy)f
i
) iy iyf
i
, R
i
(x + iy)f
i
) =
iy [f
i
[
2
+ y
2
f
i
, R
i
(x + iy)f
i
) .
Ecuaia (3.41) devine
f
S
, (h
ef
(x + iy) x)f
S
) =
2

i=1
iy [f
i
[
2
+ y
2
f
i
, R
i
(x + iy)f
i
),
i egalitatea prilor imaginare ne conduce la urmtoarea ecuaie

_
f
S
, (
2

i=1

i
R
i
(x + iy)

i
)f
S
_
=
2

i=1
y [f
i
[
2
+ y
2
f
i
, R
i
(x + iy)f
i
)
Deoarece [R
i
(x + iy)[ = 1/y, rezult c n limita y 0, membrul drept
al egalitii de mai sus este egal cu 0. Pe de alt parte, n virtutea condiiei
A.3, limita y 0 a membrului stng al aceleiai egaliti este strict pozitiv.
Contradicia obinut demonstreaz c h nu are valori proprii n int(I
1
I
2
).
In concluzie:
Lema 3.2 Fie e

=mine

1
, e

2
i e
+
= maxe
+
1
, e
+
2
. x R face parte
din spectrul punctual al operatorului h dac este ndeplinit una din condiiile
urmtoare:
1) exist f
S
,= 0 cu (h
S
x)f
S
= 0 i f
S
ker

1
ker

2
, n acest caz
0 f
S
0 este vector propriu cu valoarea proprie x
2) x (, e

) (e
+
, ) i exist f
S
,= 0 cu (h
ef
(x) x)f
S
= 0, atunci
Q( z)

f
S
este vector propriu cu valoarea proprie x
3) x e

, e
+
, exist f
S
,= 0 cu (h
ef
(x) x)f
S
= 0 i lim
x

x
[Q(x

f
S
[ <
, n acest caz lim
x

x
Q(x

f
S
este vector propriu pentru valoarea proprie x.
28
Vericarea condiiilor 1) i 3) depinde puternic de model, pentru condiia
2) se poate da un criteriu util.
Considerm familia de operatori autoadjunci h
ef
(x); x (, e

), e

1
(x) ...
n
(x) valorile sale proprii i
(1)
S
(x), ...,
(n)
S
(x) funciile proprii
corespunztoare. Condiia 2) din lem este echivalent cu existena unei
soluii a ecuaiei
k
(x) = x pentru un k = 1, ..., n. Cum h
ef
(x) este o funcie
descresctoare pe intervalul (, e

),
k
(x) sunt funcii descresctoare pe
acelai interval i ecuaia
k
(x) = x are o soluie e

k
dac i numai dac
lim
xe

k
(x) < e

. In acest caz, conform lemei anterioare, e

k
este valoare
proprie a lui h i
(k)
S
(e

k
) se completeaz la un vector propriu. La fel se
procedeaz pentru intervalul (e
+
, ). Obinem urmtoarea caracterizare a
nucleului ker(h
ef
(x) x):
Lema 3.3 Fie
1
(x) ...
n
(x) valorile proprii ale lui h
ef
(x), x
(, e

)(e
+
, ). ker(h
ef
(e)e) ,= 0 dac i numai dac e satisface ecuaia

k
(x) = x, pentru un k. Ecuaia
k
(x) = x, are o soluie n (, e

) dac
i numai dac
k
(e

0) < e

i are o soluie n (e
+
, ) dac i numai dac

k
(e
+
+ 0) < e
+
S artm n nal c modelul considerat ndeplinete condiiile A1-A3.
Condiiile A1 i A2 sunt evidente. In cazul nostru, vezi (3.7), elementele
nenule ale operatorilor
1
,
2
sunt (
1
)
1,
1
= (
2
)
n,
2
= t i avem
(
1
R
1
(e + i)

1
)
i,j
= t
2

i,1

j,1
R
1
(e + i,
1
,
1
)
not
= t
2
g
1
(e + i).
Dac
1
= Z
d
1
, R
1
este dat de (3.15) i deci
g
1
(e + i) =
1
(2)
d
_
B
d
1
(k) z
dk .
Cu (3.23), (3.19) obinem c exist g
1
(e + i0) i c
g
1
(e + i0) = (e, 0) =
1
(2)
d1
_
(k)=e
d
e
(k) > 0.
Dac
1
= Z
d
1
1
Z
+
avem
g
1
(e + i) =
4
(2)
d
_
B
d
sin
2
(k
d
)
(k) z
dk
29
i procednd analog avem
g
1
(e + i0) = (e, 0) =
4
(2)
d1
_
(k)=e
sin
2
(k
d
)d
e
(k) > 0.
In sfrit, funciile proprii (3.29) ale lui h
S
satisfac

m
(1) =
_
2
n + 1
sin (m/(n + 1)) ,= 0, m 1, 2, ..., n,
i concludem c h nu are valori proprii n (0, 2d).
30
4 CONSTRUCTIA NESS
4.1 Exprimarea NESS prin operatorii Mller
Dup cum am descris anterior pn la momentul t = 0 rezervoarele 1
1,2
i
rul o nu interacioneaz ntre ele, i.e. hamiltonianul h
0
= h
1
h
S
h
2
este
sum direct de operatori care comut ntre ei. Starea sistemului la t = 0
este dat de o matrice densitate de forma

0
=
0
1

0
S

0
2
(4.1)
unde
1,2
,
S
sunt alese astfel nct starea cuasiliber determinat de
0
s
e invariant la evoluia (2.44) dat de hamiltonianul h
0
, i.e.

0
= e
ith
0

0
e
ith
0
. (4.2)
Pentru rezervoare, ca pentru orice gaz fermi liber, exist pentru orice valori

1,2
ale temperaturii i
1,2
ale potenialului chimic, stri unice de echili-
bru. Acestea sunt stri cuasilibere cu matricele de densitate f

1,2
,
1,2
=
f

1,2
,
1,2
(h
1,2
) unde f
,
este funcia fermi-dirac
f
,
(x) =
1
1 + e
(x)
. (4.3)
Vom lua ca stri iniiale pentru rezervoare strile de echilibru determinate
de matricele densitate
0
1,2
= f

1,2
,
1,2
(h
1,2
). Pentru rul o starea iniial va
dat de o funcie oarecare de h
S
, i.e.
0
S
= f(h
S
), vom permite i f = 0, ind
interesant n ce msur mediile locale pe r depind de starea sa iniial. Cu
aceast alegere pentru
0
, h
0
comut cu
0
i relaia (4.2) este ndeplinit,
astfel starea determinat de
0
este invariant la evoluia
t
generat de h
0
.
La momentul t = 0 rezervoarele si rul cuantic sunt cuplate prin hamil-
tonianul de tunelare (3.7) i pentru t > 0 starea sistemului este dat de
hamiltonianul h = h
0
+ v prin intermediul matricei de densitate
t
determi-
nat de ecuaia (2.44):

t
= e
ith

0
e
ith
. (4.4)
Pentru determinarea strii staionare ne intereseaz limita t a matricei
densitii
t
. In virtutea relaiei (4.2)
t
se poate scrie ca

t
= e
ith
e
ith
0

0
e
ith
0
e
ith
, (4.5)
31
form ce pune n eviden operatorii Mller

= lim
t
e
ith
e
ith
0
. (4.6)
Conform teoremei Kato-Rosenblum [18],[19] pentru perturbaii v = hh
0
de
clasa urmei (n cazul nostru v este chiar de rang nit) operatorii

exist
pe subspaiul de absolut continuitate H
1
0 H
2
al hamiltonianului h
0
i
imaginile sunt subspaiul de absolut continuitate H
ac
(h) al lui h (

sunt
complei) .
Reamintim c am notat cu P
ac
(h
0
) (sau P
0
ac
) proiectorul pe subspaiul de
absolut continuitate H
1
0 H
2
al operatorului h
0
i cu P
S
proiectorul pe
0 H
S
0, subspaiul generat de vectorii proprii ai lui h
0
. Analog notm
cu P
ac
(h) (sau P
ac
) , P
p
(h) proiectorii ortogonali pe H
ac
(h) i respectiv pe
subspaiul H
p
(h) generat de vectorii proprii ai lui h. Astfel teorema Kato-
Rosenblum ne asigur de existena limitelor (n sens tare)

= lim
t
e
ith
e
ith
0
P
ac
(h
0
), (4.7)

= lim
t
e
ith
0
e
ith
P
ac
(h). (4.8)
De asemenea avem

(H
ac
(h
0
)) = H
ac
(h),

(H
ac
(h
0
)) = H
ac
(h),

(H
ac
(h)) = H
ac
(h
0
).
In fapt

sunt operatori izometrici avnd suportul drept H


ac
(h
0
) i su-
portul stng H
ac
(h), analog

sunt izometrii ntre H


ac
(h) i H
ac
(h
0
), in-
versele izometriilor

.
Conform relaiei (4.5), pentru a determina starea la t ne intereseaz
limita
lim
t

t
= lim
t
(e
ith
e
ith
0
)
0
(e
ith
e
ith
0
)

. (4.9)
Relaiile (4.7) i (4.8) ne asigur c aceast limit exist pe H
ac
(h). In acest
caz putem deni starea staionar la t prin

P
ac
= lim
t

t
P
ac
=

(4.10)
Problema este c pe H
p
(h) limita (4.9) nu exist. Din aceast cauz
se adopt o deniie mai slab pentru

, cerndu-se numai convergena


32
elementelor de matrice a mediei temporale a evoluiei
t

t0
, adic existena
limitei
lim
T+
(1/T)
_
T
0

g,
t
f
_
dt, (4.11)
pentru orice pereche de vectori f, g din H. Altfel spus se denete

ca
limit slab

= w lim
T+
(1/T)
_
T
0

t
dt. (4.12)
Deoarece pe H
ac
(h) exist limita (4.10), este evident c pentru orice pereche
f, g H
ac
(h) exist limita (4.11) i este egal cu

g,

f
_
, astfel c
deniia (4.12) este consistent pe H
ac
(h) cu deniia anterioar (4.10).
Acum, pe de o parte, dac f este un vector propriu al lui h cu valoarea
proprie e i g H
ac
(h), avem
g,
t
f) =

g, e
ith

0
e
ith
f
_
=
_
g,
_
(h)
e
it(xe)
dE(x)
0
f
_
unde E(x) este msura spectral a operatorului h. Cum g este n subspaiul
de absolut continuitate al operatorului h avem

g, e
ith

0
e
ith
f
_
=
_

ac
(h)
e
it(xe)
d

E
ac
(x)g,
0
f
_
cu funcia x E
ac
(x)g,
0
f) integrabil i absolut continu, n virtutea
lemei Riemann-Lebesgue avem
lim
t+

g, e
ith

0
e
ith
f
_
= 0,
i evident limita (4.11) este zero. Cum H
p
(h) este nit dimensional limita
rmne zero pentru orice f H
p
(h)
Pe de alt parte, dac g este de asemenea un vector propriu al lui h cu
valoarea proprie e

,avem
lim
T+
(1/T)
_
T
0
(g,
t
f)dt = lim
T+
(1/T)
_
T
0
e
it(ee

)
(g,
0
f)dt =
e,e
(g,
0
f),
33
i n virtutea dimensiunii nite a lui H
p
(h) limita de mai sus exist pentru
orice pereche f, g H
p
(h). Astfel limita (4.11) exist pentru orice f, g H,
i matricea

este corect denit de (4.12).


Fie
t
starea cuasiliber generat de
t
,i.e.
t
(a

(f)a(g)) = g,
t
f),
concludem
Propozitia 4.1 Pentru A CAR(H)exist limita
lim
T+
(1/T)
_
T
0

t
(A)dt =

(A) (4.13)
i este starea cuasiliber generat de matricea densitate

e
p
(h)
P
e

0
P
e
, (4.14)
unde P
e
este proiectorul pe subspaiul propriu al valorii proprii e. Restricia
lui

la CAR(H
ac
(h)) este starea cuasiliber dat de matricea densitate

i avem
lim
t+

t
(A) =

(A), A CAR(H
ac
(h)) (4.15)
Observm c matricea densitate

a strii staionare privit ca funcie


de matricea densitate la t = 0,

(
0
) este aditiv, mai mult dac

0
=

cu

0 sunt matrice densitate, atunci

) =

) +

). (4.16)
In cazul nostru matricea
0
este o sum direct
0
=
0
1

0
S

0
2
, astfel
contribuia ecrui termen la starea staionar este separat

(
0
1

0
S

0
2
) =

(
0
1
) +

(
0
S
) +

(
0
2
),
i permite determinarea strii staionare pentru ntregul sistem prin calculul
separat al strilor staionare pentru ecare subsistem.
4.2 Exprimarea mediilor
Suntem interesai s gsim expresii explicite pentru mediile observabilelor
locale cum ar numrul de particule n
x
= a

x
a
x
sau densitatea de energie pe
un nod oarecare x
34
e
x
= da

x
a
x

1
4

y,|xy|=1
(a

x
a
y
+ h.c), d = d
1
, d
2
or 1,
prin urmare este sucient s avem expresia pentru funcia de dou puncte n
starea staionar de neechilibru

stat
(a

x
a
y
) = (
y
,
stat

x
) (4.17)
In expresia (4.14) pentru

termenul secund, reprezentnd suma peste val-


orile proprii poate calculat folosind Lema 3.2 din seciunea precedent.
Rmne s determinm contribuia spectrului absolut continuu la (
y
,
stat

x
).
Fie
1
(k, ) 0 0 i 0 0
2
(k, ) funciile proprii generalizate ale lui h
0
.
Funciile proprii generalizate ale lui h se obin din cele ale lui h
0
folosind
relaia cunoscut din teoria mprtierii [19]

1
(k
1
, ) =

(
1
(k
1
, ) 0 0) = lim
0
iR(
1
(k
1
) + i)(
1
(k
1
, ) 0 0),
respectiv

2
(k
2
, ) =

(0 0
2
(k
2
, )) = lim
0
iR(
2
(k
2
) + i)(0 0
2
(k
2
, )),
aici
1
,
2
sunt legile de dispersie a lui h
1
, h
2
, iar R este rezolventa lui h dat
de (3.39).
Se obine n limita 0

1
(k
1
, ) =
_

_
R
1
((k
1
))vR
ef
((k
1
))v
1
(k
1
, )() +
1
(k
1
.)
R
ef
((k
1
))v
1
(k
1
, )()
R
2
((k
1
))vR
ef
((k
1
))v
1
(k
1
, )()
(4.18)
i expresia analoag pentru

2
(k
2
, )
Dezvoltm
x
() dup funciile proprii ale lui h

x
() =
2

i=1
_
dk
i

i
(k
i
, )

i
(k
i
, x) +

m
()
m
(x),
i deoarece P
ac
(h)
m
= 0, vom avea
P
ac
(h)
x
=
2

i=1
_
dk
i

i
(k
i
, )

i
(k
i
, x)
35
Dup cum am vzut mai sus

duce funciile proprii generalizate ale lui h


0
n cele ale lui h deci

x
=
2

i=1
_
dk
i

i
(k
i
, )

i
(k
i
, x)
i avem
(
y
,

x
) =
2

i=1
_
dk
i
dk

i
(k
i
, y)(
i
(k
i
),
0
i

i
(k

i
))

i
(k

i
, x).
Cum
0
i
sunt funcii fermi de h
i
, avem (
i
(k),
0
i

i
(k

)) =
k,k
f
,
((k)) astfel
c n nal avem
(
y
,

x
) =
2

i=1
_
dk
i

i
(k
i
, y)f
,
((k
i
))

i
(k
i
, x). (4.19)
Aceast ecuaie mpreun cu expresia funciilor proprii generalizate (4.18)
permite calculul observabilelor locale de interes.
Dup cum se vede din (4.18), comportarea n x a funciei proprii gen-
eralizate

1
(k
1
, x), este dat de comportarea rezolventei libere R
1
((k
1
) +
i0)(x,
1
) (reamintim c
1
este nodul din primul rezervor cuplat prin tunelare,
(
1
)
1,
1
,= 0, analog
2
pentru cel de al doilea rezervor ) pentru x n primul
rezervor, respectiv de R
2
((k
1
) + i0)(x,
2
) pentru x n al doilea rezervor.
Dac d
1,2
sunt dimensiunile rezervoarelor, avnd n vedere relaiile (3.21),
(3.22) i (3.17), pentru funcia proprie generalizat

1
(k
1
, x) se obine urm-
toarea estimare

1
(k
1
, x) =
_
_
_
O(1) pentru d
1
= 1
O([x[
1/2
) pentru d
2
2
(4.20)
pentru x n primul rezervor,

1
(k
1
, x) =
_

_
O(1) pentru (k
1
) (h
2
), d
2
= 1
O([x[
1/2
) pentru (k
1
) (h
2
), d
2
2
O(e
|x|
) pentru (k
1
) / (h
2
)
(4.21)
36
pentru x n al doilea rezervor ( > 0 este constanta din (3.17)).
Amplitudinea funciei generalizate

1
(k
1
, x) este dat de, vezi (4.18) R
ef
((k
1
)+
i0)
1,1
pentru x n primul rezervor, respectiv R
ef
((k
1
) + i0)
n,1
pentru x
n al doilea rezervor. Dup cum am artat h
ef
nu are valori proprii n
(h
1
) (h
2
) i pentru tunelare t mic nu are chiar nici o valoare proprie,
astfel R
ef
((k
1
) + i0) este o matrice cu valori nite. Totui valorile proprii
ale lui h
S
dau o structur de rezonane care se manifest prin salturi ale
amplitudinii funciei generalizate

1
(k
1
, x).
-1 1 2 3
0.1
0.2
0.3
0.4
0.5
0.6
Figure 1: Partea imaginar a lui R
ef
(e + i0)
1,1
ca funcie de e.
-1 1 2 3
-20
-10
10
20
Figure 2: Partea real a lui R
ef
(e + i0)
1,1
ca funcie de e.
In gura 1 i 2 sunt reprezentate partea real i imaginar a elementului
37
R
ef
(e+i0)
1,1
pentru cazul cnd sistemul nit o are n = 6 noduri, parametrul
e
g
= 0 i rezervoarele sunt innite de dimensiune 1. Inuena rezervoarelor
se manifest n h
ef
prin elementele de matrice ale rezolventelor R
1
((k
1
) +
i0)(
1
,
1
) i R
2
((k
1
) +i0)(
2
,
2
) i nu schimb fundamental dependena
lui R
ef
(e) de e, iar parametrul e
g
are un efect de translaie e e +e
g
, astfel
c gurile 1 i 2 dau o imagine corect a cazului general.
4.3 Exemple
4.3.1 Corelaiile pentru rezervoare
Mai nti amintim proprietile corelaiilor pentru rezervoare. Dup cum am
spus considerm dou tipuri de rezervoare, n cazul unidimensional aceasta
revine la = Z (rezervor innit) sau = Z
+
(rezervor semiinnit). In
ambele cazuri matricea densitate a strii de echilibru este determinat de
funcia fermi, adic
inf
= f
,
(h
Z
) unde h
Z
este hamiltonianul (3.10) pentru
= Z, respectiv
semi
= f
,
(h
Z
+
) unde h
Z
+
este hamiltonianul (3.10) pentru
= Z
+
.
Funciile proprii generalizate ale lui h
Z
sunt e
ikx
/

2
k(,]
, astfel c
matricea densitate
inf
este operator integral cu nucleul

inf
(y, x) =
1
2

e
ik(yx)
f
,
((k))dk, (4.22)
unde x, y Z.
Corespunztor notm cu
inf
starea cuasiliber determinat de
inf
, deci
funcia de dou puncte este
inf
(a

x
a
y
) = tr(
inf
a

x
a
y
) =
y
,
inf

x
), deci

inf
(a

x
a
y
) =
1
2

e
ik(yx)
f
,
((k))dk. (4.23)
Deoarece pentru = Z
+
, hamiltonianul h
Z
+
are funciile proprii gener-
alizate
_
2

e
ikx

k[0,)
nucleul integral al matricei densitate
semi
este

semi
(y, x) =
2

_
0
sin(ky) sin(kx)f
,
((k))dk, (4.24)
38
iar starea cuasiliber determinat de
semi
are funcia de dou puncte

semi
(a

x
a
y
) =
2

_
0
sin(ky) sin(kx)f
,
((k))dk, (4.25)
unde x, y Z
+
= 1, 2, ....
Este imediat relaia dintre cele dou funcii de corelaie

inf
(a

x
a
y
) =
semi
(a

x
a
y
) +
1

_
0
cos(k(x + y))f
,
((k))dk, (4.26)
pentru noduri x, y Z
+
.
Trebuie s observm c
inf
(a

x
a
y
) cade exponenial cu [x y[. Intr-
adevr, in expresia (4.23) integrantul este funcie analitic i periodic de k i
avem un c = c(, ) astfel c integrantul nu are singulariti pentru [k[ c.
Pentru y x > 0, integrala se mut n semiplanul superior pe segmentul
[ + ic, + ic], respectiv pe segmentul [ ic, ic] din semiplanul
inferior pentru y x < 0, astfel c
[
inf
(a

x
a
y
)[ C(, )e
c(,)|xy|
. (4.27)
Deoarece sin(ky) sin(kx) este o combinaie liniar a exponenialelor e
ik(yx)
,
vom avea de asemenea
[
semi
(a

x
a
y
)[ C(, )e
c(,)|xy|
, (4.28)
unde s-a avut n vedere c x, y 1.
Absolut analog din (4.26) se obine
[
inf
(a

x
a
y
)
semi
(a

x
a
y
)[ C(, )e
c(,)(x+y)
, (4.29)
pentru noduri x, y n rul semiinnit.
In cazul rului innit densitatea de particule pe nod
inf
(a

x
a
x
) =
inf
(a

x+y
a
x+y
)
este constant i denete densitatea de particule a sistemului la temperatura
invers i potenial chimic
n(, ) =
1
2

f
,
((k))dk. (4.30)
39
Densitatea n(, ) este strict cresctoare de i lim

n(, ) = 0, re-
spectiv lim

n(, ) = 1, astfel pentru orice n (0, 1) i xat, ecuaia


n(, ) = n are o singur soluie (, n) ce ne d potenialul chimic care
la xat asigur densitatea n n sistem. Evident, la xat, (, n) este
cresctoare de n, dar la n xat nu este funcie monoton cresctoare de ,
n g.3 se vede dependena tipic a potenialului chimic de la densitate
constant.
5 10 15 20 25 30

0.17
0.18
0.19
0.21
0.22

Figure 3: ca funcie de la n = .2
In modelul nostru impulsul fermi i energia fermi sunt:
k
F
= n, e
F
= 2 sin
n
2
. (4.31)
Aa cum este normal, la temperaturi mici potenialul chimic tinde la energia
fermi: lim

(, n) = e
F
(n), dar avem dou regiuni de temperaturi pentru
care potenialul chimic se a n vecintatea lui e
F
. In situaia exemplicat
n gur, pentru n jurul lui = 3.5 i pentru > 30 avem e
F
(.2) =
0.191, dar n cele dou regiuni situaia zic este diferit: n jurul lui = 3.5
gazul fermi este aproape un gaz clasic pe cnd pentru > 30 gazul este
degenerat.
In cazul rului semiinnit densitatea de particule pe nod n
x
=
semi
(a

x
a
x
)
nu mai este constant, dar din (4.29) avem
[n
x
n[ C(, )e
c(,)x
,
astfel c n
x
se apropie rapid de valoarea densitii pentru rul innit. Ra-
piditatea cu care n
x
se apropie de n (la n xat) depinde de regim: pentru
40
Table 1: 1 n
x
/n la densitate n = .4
nodul 1 2 3 4 5 6
1 n
x
/n 5 10
2
-6.4 10
3
6.8 10
4
6 10
5
5.2 10
6
3.8 10
7
= 2
1 n
x
/n .179 .088 .033 .0097 .0017 1.1 10
4
= 6
1 n
x
/n .226 .166 .095 .037 .0016 .0135 = 15
2 4 6 8 10
-0.1
-0.05
0.05
0.1
0.15
0.2
30
15
5
Figure 4: 1 n
x
/n la densitate n = .4
mare (cazul degenerat) avem valori mult mai mari pentru (n n
x
)/n dect
pentru mic cnd gazul se comport clasic. Vezi tabelul 1 pentru densitatea
n = .4 i g.4 pentru n = .2.
In cazul rezervoarelor cu dimensiune > 1, pentru comportarea corelai-
ilor
inf
(a

x
a
y
),
semi
(a

x
a
y
) se obin, folosind acelai procedeu de mutare a
integralei dup k n complex, formule similare cu (4.27), (4.28) i (4.29).
4.3.2 Cuplaj intre rezervoare unidimensionale
Dup cum am remarcat n nalul seciunii 4.1, pentru calculul matricei den-
sitii

a strii staionare de neechilibru este sucient s considerm, pe


rnd, diferit de zero doar cte una din matricele densitate iniiale
0
1
,
0
2
sau

0
S
ale subsistemelor decuplate. Vom considera c primul rezervor se a in-
iial n echilibru la temperatur i potenial chimic i.e. conform cu (4.3)

0
1
= f
,
(h
1
), iar pentru al doilea rezervor i pentru proba o lum
0
2
= 0,

0
S
= 0. Astfel n formula (4.19) intervine numai funcia proprie generalizat

1
(k
1
, ), i dac presupunem n plus c tunelarea t este sucient de mic
astfel nct nu avem valori proprii, atunci calculul matricei

i a corelai-
ilor se reduce la calculul funciei proprii generalizate

1
(k
1
, ). Pentru cazul
41
rezervoarelor unidimensionale innite expresia acesteia (4.18) devine

1
(k
1
, x) =
_

_
t
2

2
R(e
1
, x)R
ef
(e
1
)
1,1
+
e
ikx

2
x n primul rezervor

2
R
ef
(e
1
)
x,1
x n prob
t
2

2
R(e
1
, x)R
ef
(e
1
)
n,1
x n al doilea rezervor
(4.32)
unde e
1
= (k
1
) i R(e, x) este, conform cu ecuaia (3.22)
R(e + i0; x) = i
e
ix
_
e(2 e)
, = arctan
_
e(2 e)
1 e
.
In aceste condiii funcia de corelaie de dou puncte n starea NESS

capt forma

(a

x
a
y
) =

dk

1
(k, y)f
,
((k))

1
(k, x). (4.33)
Ne intereseaz cum se modic densitatea de particule pe nod, care are o
expresie mult mai simplu de analizat
n
x
=

(a

x
a
x
) =

dk

1
(k, x)

2
f
,
((k)). (4.34)
In gurile 5, 6 i 7 s-a reprezentat

1
(k, x)

2
ca funcie de k pentru nodurile:
1 din primul rezervor, 1 din proba o i 1 din al doilea rezervor. Pentru
comparaie s-a reprezentat i modulul ptrat al funciei de und neperturbate
[
1
(k, x)[
2
= 1/2. Proba are 6 noduri i e
g
= 0. Se vede clar inuena
rezonanelor asupra amplitudinii funciei proprii generalizate.
Variaia densitii de-a lungul sistemului este brusc la trecerea dintr-un
subsistem n altul dar este lin n interiorul ecrui subsistem. Spre exemplu,
la densitate iniial n = .2 a primului rezervor, situaia este artat n gura
8 pentru rezervorul 1 i n gura 9 pentru proba o, densitatea de-a lungul
rezervorului 2 este constant, cu valoarea .001422.
Dup cum era de ateptat densitatea n primul rezervor crete pe msur
ce ne deprtm de punctul de contact n concordan cu faptul c prin nodul
0 avem un curent de particule dinspre rezervorul 1 spre rezervorul 2.
42
-3 -2 -1 1 2 3
0.05
0.1
0.15
0.2
0.25
0.3
Figure 5: Modulul ptrat

11
(k, 1)

2
ca funcie de k.
-3 -2 -1 1 2 3
0.5
1
1.5
2
2.5
3
3.5
Figure 6: Modulul ptrat

1S
(k, 1)

2
ca funcie de k.
43
-3 -2 -1 1 2 3
0.025
0.05
0.075
0.1
0.125
0.15
Figure 7: Modulul ptrat

12
(k, 1)

2
ca funcie de k.
5 10 15 20
0.1915
0.192
0.1925
0.193
0.1935
0.194
Figure 8: n
x
n primul rezervor, densitatea iniial a acestuia ind .2
44
2 3 4 5 6
0.085
0.0875
0.0925
0.095
0.0975
Figure 9: n
x
n o, densitatea iniial a rezervorului 1 ind .2
Efectul de platou al rezonanelor asupra densitii se vede dac suntem la
temperaturi joase astfel ca potenialul chimic s e aproape de nivelul fermi
(distribuia fermi este apropiat de funcia treapt) i variem parametrii
cu pstrarea acestei condiii. La densitate iniial xat n primul rezervor
putem varia temperatura sau parametrul e
g
. Prin variaia lui astfel nct
gazul s rmn degenerat, potenialul chimic variaz puin i prinde putine
rezonane, apoi cu scderea lui gazul se apropie de regimul clasic i se
mediaz pe mai multe rezonae, ceea ce duce la dispariia efectului de platou.
In gura 10 este exemplicat acest fapt pentru densitate iniial a primului
rezervor egal cu .2.
Mrind parametrul e
g
la temperatur i densitate iniial a primului rez-
ervor xate se obine o scdere continu a densitii n
x
pentru orice nod x
din sistem. Variaia n salturi a densitii pentru nodurile din prob sau din
rezervorul 2, se vede foarte clar dac variem densitatea iniial n

a rezer-
vorului 1 la temperatur nul, vezi gurile 11 i 12. De asemenea se vede ca
efectul de platou nu are loc pentru densitile nodurilor din rezervorul 1, n
gura 13 se vede variaia neted a densitii pentru nodurile 1 i 1000 din
rezervorul 1.
Calculele numerice efectuate pentru cazul cnd se consider rezervoare cu
dimensiuni 2 nu schimb caliativ comportarea descris mai sus. In contin-
uare densitile pe nodurile probei nu interpoleaz lin ntre densitile rezer-
voarelor i nu se poate vorbi de un prol care local ar putea de echilibru.
Se regsete ntreaga structur gsit n cazul unidimensional, acest lucru
45
10 20 30 40 50

0.015
0.025
0.03
0.035
0.04
0.045
n
1
, 1probaei S
Figure 10: n
1
() din o , la densitate .2 a rezervorului 1.
0.1 0.2 0.3 0.4 0.5
n

in rez. 1
0.05
0.1
0.15
0.2
0.25
n
1
1probei S
Figure 11: Densitatea n
1
(n

) a nodului 1 din o, la temperatur zero.


46
0.10.20.30.40.5
n

in rez. 1
0.001
0.002
0.003
0.004
n
1
1rezervor 2
Figure 12: Densitatea n
1
(n

) a nodului 1 din rezervorul 2, la temperatur


zero.
0.10.20.30.40.5
n

in rez. 1
0.1
0.2
0.3
0.4
0.5
n
1,1000
1rezervor 1
Figure 13: n
1
(n

), n
1000
(n

) a nodurilor 1 i 1000 din rezervorul 1, la tem-


peratur zero.
47
se datoreaz faptului c mrimile sunt controlate n esen de R
ef
(z), iar
aceasta depinde de valorile pe spectru ale rezolventelor rezervoarelor, valori
care la rndul lor nu prezint modicri drastice pe spectrul absolut continuu
(h
1
) (h
2
) Un fenomen studiat recent de noi [20] const n interferena
ce apare cnd rezervoarele se cupleaz prin intermediul a dou re cuantice.
Se studiaz dependena densitilor pe nodurile probelor i a curenilor prin
ele n funcie de lungimile probelor i de distanele dintre punctele lor de
contact, aceast dependen prezint caracteristicile specice fenomenului
de interferen.
48
5 Spini clasici n aproximaia cmpului mediu
5.1 Descrierea modelului
Metoda cimpului mediu este folosit adesea cind vrem sa obinem propri-
etile termodinamice ale anumitor sisteme zice. Pe scurt, aceast metod
const in aproximarea hamiltonianului cu un hamiltonian de cimp mediu i in
evaluarea exact a problemei corespunztoare de mecanic statistic pentru
a obine mrimile termodinamice.
In acest capitol este prezentat o metod original dezvoltat n [21],
metod prin care se pot trata hamiltonienii feromagnetici pentru spini clasici
pe reea. Asadar sistemul nit const din spini clasici x
i
R
d
localizai pe
nodurile i ale unei reele nite Z

. In aproximaia cimpului mediu


ecare spin are o interacie efectiv constant cu toi ceilali spini din reea,
constanta de cuplaj ind corespunztor normat pentru a avea o densitate
de energie nit. In aceste condiii geometria reelei i dimensiunea ei ()
sint irelevante i hamiltonianul de cimp mediu se scrie:
H
n
(x
1
, ..., x
n
) =
J
2n
n

i,j=1
x
i
x
j
h
n

i=1
x
i
(5.1)
unde n este numrul de noduri din , J/n este energia de interacie dintre
spini, h R
d
este cimpul magnetic constant i x
i
x
j
este produsul scalar
dintre x
i
, x
j
R
d
.
Funcia de partiie corespunztoare hamiltonianului H
n
(x
1
, x
2
, ..., x
n
) la
temperatura T = 1/k va avea expresia :
Z
n
(, h) =
_
e
H
n
(x
1
,...,x
n
)
n

i=1

n
(dx
i
) (5.2)
unde este distribuia de probabilitate apriori pentru un spin in absena
interaciei. Ca urmare densitatea de energie liber in limita termodinamic
este dat de:
f(, h) =
1

lim
n
ln Z
n
(, h) (5.3)
Metoda pe care o folosim pentru a evalua densitatea de energie liber
f(, h), este o generalizare a metodei dezvoltate in [22] in cazul particular
49
al unui sistem Ising unidimensional cu o interacie feromagnetic neomogen
(cu distribuia apriori (x) = ( (x 1)+(x+1))/2 ) i hamiltonianul denit
inductiv prin:
H
1
= x
2
1
x
1
h, H
n
= H
n1

1
n
(
n

i=1
x
i
)x
n
hx
n
, n = 2, 3... (5.4)
Principala idee in [22] este s se demonstreze c funciile g
n
denite prin:
e
ng
n
(
k
n
)
=

x
1
+...+x
n
=k
e
H
n
(x
1
,...,x
n
)
k Z (5.5)
au, pentru n , limita g(x) i g(x) este soluia unei anumite ecuaii
difereniale. Cum g(x) este direct legat de energia liber a sistemului, a
rezolva aceast ecuaie diferenial inseamn a rezolva problema. Caracterul
inductiv al deniiei hamiltonianului joac rolul esenial in obinerea ecuaiei
difereniale.
Vom considera hamiltonieni denii printr-o relaie inductiv care gener-
alizeaz (5.4). Astfel:
H
1
=
1
(0, x
1
), H
n
= H
n1

n
(
x
1
+ ... + x
n1
n 1
, x
n
) n = 2, 3... (5.6)
unde x
i
R
d
este spinul din nodul i al reelei, iar
n
sint funcii continue
care converg, pentru n , la o funcie continu .
Hamiltonienii de acest tip sint similari cu cei ce descriu sistemele ier-
arhice, introduse pentru prima oar de Dyson [23] pentru modelul Ising uni-
dimensional. Ulterior modelele ierarhice au fost adesea folosite in studierea
mecanismelor tranziiilor de faz; pentru mai mult informaie vezi [24].
In urmtoarea seciune introducem funciile g
n
pentru hamiltonienii denii
recursiv de ecuaiile (5.6) i schim modul de obinere a ecuaiei difereniale
pentru g. In ultima seciune obinem soluia pentru modelul de cimp mediu
denit de hamiltonianul de cmp mediu (5.1) care satisface relaia inductiv
(5.6) cu (x, y) =
1
2
x
2
+ xy + hx, h ind cmpul magnetic extern.
5.2 Ecuaia pentru g
Fie dx voumul elementar in R
d
; e x paralelipipedul de laturi x

, =
1, 2, ..., d i [x[ = x
1
x
2
...x
d
volumul su. Atunci, prin analogie cu
50
ecuaia (5.5), denim g
n
prin:
e
ng
n
(
x
n
)
= lim
x0
1
x
_
x
1
+...+x
n.x+x
e
H
n
(x
1
,...,x
n
)
n

i=1
(dx
i
) (5.7)
Trebuie s observm c aceast relaie este fals dac distribuia de prob-
abilitate apriori nu este absolut continu relativ la msura Lebesgue in R
d
.
Presupunem, pentru moment, ca deniia (5.7) este corect. Mai tirziu
vom arta modul in care tratm cazul general. Luind in considerare relaia
de recuren (5.6), integrala din membrul drept al ecuaiei (5.7) se scrie
succesiv:
_
x
1
+...+x
n.x+x
e
H
n
n

i=1
(dx
i
) =
=
_
(dx
n
)
_
x
1
+...+x
n1.xx
n
+x
e
H
n1
+(
x
1
+...+x
n1
n1
,x
n
)
n1

i=1
(dx
i
) =
=
_
(dx
n
)e

n
(
xx
n
n1
,x
n
)
_
x
1
+...+x
n1.xx
n
+x
e
H
n1
n1

i=1
(dx
i
) + 0([x[) .
Pentru x 0, obinem urmtoarea relaie inductiv:
e
ng
n
(
x
n
)
=
_
(dx
n
)e

n
(
xx
n
n1
,x
n
)+(n1)g
n1
(
xx
n
n1
)
,
relaie pe care o scriem echivalent n forma:
e
g
n
(x)
=
_
(dt)e

n
(
nxt
n1
,t)+(n1)[g
n1
(
nxt
n1
)g
n
(x)]
(5.8)
Presupunind acum c funciile g
n
i derivatele lor g

n
converg uniform cind
n , la funcia difereniabil g, respectiv la g

, putem folosi urmtoarea


evaluare:
g
n1
(
nx t
n 1
) g
n
(x) = g(
nx t
n 1
) g (x) +o(1/n) = g

(x)
x t
n 1
+o(1/n) .
Asadar, pentru n , din (5.8) obinem urmtoarea ecuaie diferenial
pentru g:
e
g(x)xg

(x)
=
_
(dt)e
(x,t)g

(x)t
(5.9)
51
Evident, pentru d > 1, g

este gradientul lui g i xg

(x) este produsul scalar


in R
d
.
Trebuie subliniat c aceast metod este permis numai n cazul hamil-
tonienilor ce satisfac o recuren de forma (5.6), recuren care n pasul n
induce o variaie de ordin O(1/n). Aceast clas este este totui mai larg
ca cea a hamiltonienilor de cmp mediu standard care n esen au forma
(5.1) i satisfac relaia de recuren (5.6) pentru un ir
n
, particular, vezi
relaiile (5.11) (5.12). In cazul modelului ierarhic, n locul recurenei (5.6),
ipoteza de inducie exprim pe H
2n
n funcie de H
n
i asimptotica n
conduce la o ecuaie neliniar integral [24].
Pentru a aborda cazul general cind nu este msur absolut continu n
raport cu msura Lebesgue, se consider sirul de msuri:

n
(A) =
_
(x
1
+...+x
n
)/nA
e
H
n
(x
1
,...,x
n
)
n

i=1
(dx
i
), A R
d
.
In acest fel pentru cazul cn care este absolut continu, ecuaia (5.7) poate
scris:

n
(dx) = e
ng
n
(x)
dx .
Pentru a rezolva problema renunm la aceast egalitate, inlocuind-o cu
condiia mai slab ca ambele msuri
n
(dx) i exp(ng
n
(x))dx sa aib aceeasi
comportare asimptotic pentru n . Acesta este echivalent cu faptul c
_

n
(nt) i exp(n g
n
(t)) au aceeasi comportare asimptotic pentru n . Aici
_

este transformata Laplace a lui


n
i g
n
este, pn la un semn transformata
Legendre a lui g
n
:
_

n
(t) =
_
e
tx

n
(dx), g
n
(t) = max
x
(tx + g
n
(x)) .
Avem asadar de determinat comportarea asimptotic a lui
_

n
(nt) pentru
n . Denind g
n
prin ecuatia:
_

n
(nt) = exp(n g
n
(t))
i folosind relaia inductiv (5.6) gsim ca mai sus o relaie inductiv intre
g
n
i g
n1
care duce, in limita n , la o ecuaie difernial pentru g =
lim
n
g
n
. Printr-o tranformare Legendre aceasta ecuaie duce la ecuaia
diferenial (5.9).
52
Pentru a evalua densitatea de energie liber este sucient s observm c
funcia de partiie poate scris in forma:
Z
n
= n
_
e
ng
n
(x)
dx
si, in ipoteza pe care am facut-o despre convergena lui g
n
, rezult c:
f(, h) =
1
max
x
g(x) (5.10)
Asadar, proprietile termodinamice sint complet determinate prin re-
zolvarea ecuaiei difereniale (95.9). Aceast sarcin poate laborioas i
aceasta este cazul modelului Ising unidimensional care a fost studiat in [22].
In [25], au fost considerai hamiltonieni care corespund, in metoda noastr,
la:
= distribuie uniforma pe cercul unitate pentru d = 2
= distribuie uniform pe sfera unitate pentru d = 3 si

n
(x, y) =
1
2
(1
1
n
)(ax
1
y
1
+ b
d

=2
x

) a > 0, b 0, x, y R
d
si s-au folosit simulri numerice pentru determinarea diverselor mrimi zice.
Aceste sisteme pot abordate, pentru obinerea de rezultate calitative, prin
metoda descris, i.e. prin rezolvarea numeric a ecuaiei difereniale (5.9),
aceasta ind o sarcin mult mai usoar decit simularea numeric.
5.3 Soluia n cazul invariant la rotaii
Hamiltonianul de cimp mediu (5.1), with j = 1, satisface relaia inductiv
(5.6) cu

n
(x, y) =
1
2
(1
1
n
)x
2
+ (1
1
n
)xy
2
+
1
2n
y
2
+ hy (5.11)
si
(x, y) =
1
2
x
2
+ xy + hy . (5.12)
Presupunem c distribuia de probabilitate este par ((A) = (A)
pentru orice mulime boreliana A R
d
) i exp( + 4)t este integrabil
pentru > 0. Fie
F(x) = ln
_
e
xt
(dt), x R
d
(5.13)
53
Este usor de vzut c F este o funcie C

. F(x) = F(x) i F creste cel


mult ca [x[
4/3
pentru [x[ .
Remarcm c F(x) este pn la un factor energia liber a unui spin in
cimpul magnetic h.
Considerm mai intii cazul d = 1 i luam cimpul magnetic h 0. Ne
mrginim la distribuiile care satisfac condiia Ellis i Newman [26] astfel
incit magnetizarea determinat de F satisface inegalitatea GHS (vezi re-
marca anterioar). In aceste condiii, funcia F : R R are urmtoarele
proprieti:
(i) F

(x) > 0 pentru x > 0


(ii) F

(x) > 0 pentru x R, F

() = 0
(iii) F

(x) < 0 pentru x > 0


(5.14)
Inegalitaile (i) i (ii) nu sint nimic altceva decit primele dou inegaliti
Grith i (iii) este inegalitatea GHS [27],[28]. Avind in vedere deniia
(5.13), ecuaia diferenial (5.9) devine:
g(x) xg

(x) +
1
2
x
2
= F((x + h) g

(x)) (5.15)
Punind (x) = (x + h) g

(x) acest ecuaie devine:


F

() = x
i pentru c F

este inversabil (cf. (ii)) ecuaia (5.15) poate scris:


g

(x) = (x + h) F
1
(x) (5.16)
Prin integrare direct obinem g:
g(x) =
1
2
x
2
+ hx xF
1
(x) + F(F
1
(x)) (5.17)
Pentru a obine maximul pentru g trebuie s observm c g(x) = g(x)
2hx (innd cont ca F este par) si, pentru c h 0, g este maxim pentru
x 0. Ne intereseaz soluiile pozitive ale ecuaiei:
F

((x + h)) = x (5.18)


54
F

ind strict concav pe semi-axa pozitiv, ecuaia (5.18) are cel mult doua
soluii pozitive. Daca h > 0, inind cont c F

() = 0 i F

(h) > 0, ecuaia


(5.18) are o singur soluie pozitiv. Dac h = 0 atunci x = 0 este o soluie
pentru (5.18) i vom avea i o a doua dac, i numai dac, F

(0) > 0. Fie


m(, h) soluia cea mai mare a ecuaiei (5.18):
m(, h) :
_

_
> 0 pentru h > 0
= 0 pentru
c
= 1/F

(0)
> 0 pentru >
c
(5.19)
Cum g

(x) > 0 este echivalent cu F

((x +h)) > x, rezult c g este maxim


in m(, h). Considernd ecuaia (5.18) i expresia pentru g, energia liber
poate scris:
f(, h) =
1
2
m
2
(, h)
1

F((m(, h) + h)) (5.20)


Putem vedea din (5.20) c f/h = m(, h), ca urmare, m(, h) reprez-
int magnetizarea sistemului. Astfel 1/
c
este temperatura critic i m(, 0)
este magnetizarea spontan cind >
c
. Energia libera f(, h) i magneti-
zarea m(, h) sint ne-analitice in (, h) = (
c
, 0). Ecuaiile (16) i (18) sint
comparabile cu cele obisnuite [29].
Consideram cazul d 2. Avem de rezolvat aceeasi ecuaie (5.15), care
acum este o ecuaie cu derivate pariale pentru g

(x) = (g/x
1
, ..., g/x
d
).
Se poate vedea usor c, dac aplicaia x F

(x) = (F/x
1
, ..., F/x
d
),
x R
d
este inversabil i difereniabil, atunci funcia g, denita de (5.17),
este o soluie pentru (5.15). Vom arata c Jacobianul
2
F/x

al apli-
caiei F

este strict pozitiv denit si, ca urmare, F


1
exist i este o funcie
C

. Considerind deniia lui F avem:

2
F
x

= t

, = 1, ..., d (5.21)
unde .)

este media denit de msura de probabilitate in R


d
:
(dt) =
e
xt
(dt)
_
e
xt
(dt)
.
55
Pentru orice funcie f care este integrabila i de patrat integrabil n raport
cu , avem inegalitatea:
0 f(t) f(t

))

= 2(

f
2
_

f)
2

) (5.22)
unde este produsul direct de msuri in R
2d
. Inegalitatea (5.22) devine
egalitate dac, i numai dac, f(t) este -a.e. constant. Folosind inegali-
tatea (5.22) pentru funcia f(t) = (t
1

1
+... +t
d

d
), R
d
, obinem usor c
Jacobianul lui F

este strict pozitiv denit.


Astfel, ecuaia (5.17) ne d expresia explicit pentru g i n cazul d 2.
Oricum, pentru niste distribuii arbitrare , energia liber i magnetizarea
nu sint usor de obinut. Dar, daca este invariant la rotaii in R
d
, atunci
problema de a gsi un maxim pentru g se reduce la cazul d = 1. Intr-adevr,
invariana la rotaii pentru implica invariana la rotaii pentru F

i se
deduce usor c:
RF

(x) = F

(Rx) x R
d
RF
1
(x) = F
1
(Rx) x F

(R
d
) R
d
pentru orice rotaie R din R
d
. Cu aceste relaii, din (5.17), avem:
g(Rx) = g(x) + h(Rx x) .
Pentru orice x R
d
exist o rotaie R astfel incit Rx = h, cu 0, i ca
urmare:
g(Rx) g(x) = ([h[ [x[ hx) 0
astfel incit maximul pentru g este atins pe raza h, 0 .
56
A Algebre C

i stri
In aceast anex colectm o serie de rezultate privind algebrele C

cu scopul
de a face mai uent parcugerea textului principal al lucrrii.
O-algebr este o algebr /peste corpul numerelor complexe C mpreun
cu o involuie A A

astfel c pentru oricare A, B / i , C sunt


ndeplinite urmtorele condiii:
i) A

= A
ii) (A + B)

= A

+ B

iii) (AB)

= B

O algebr / este o algebr normat dac ecrui element A / i se asociaz


un numr real [A[, norma lui A, astfel c sunt ndeplinite condiiile:
i) [A[ 0 i [A[ = 0 A = 0 ,
ii) [A[ = [[ [A[ ,
iii) [A + B[ [A[ +[B[ ,
iv) [AB[ [A[ [B[ .
O algebr normat / care este spaiu metric complet n raport cu metrica
determinat de norm se numete algebr Banach. O algebr Banach cu
involuie (i.e. o algebr Banach care este i -algebr) care pentru orice
A / satisface condiia:
a) [A[ = [A

[ ,
se numete -algebr Banach.
O C

-algebr este o algebr Banach cu involuie / n care pentru orice


A / este satisfcut condiia:
b) [A

A[ = [A[
2
.
57
Condiia b) implic condiia a) astfel c o C

-algebr este -algebr Banach.


Principalele exemple de C

-algebre sunt:
1) / = B(H), algebra operatorilor mrginii pe un spaiu hilbert H.
Involuia este trecerea de la operatorul A B(H) la adjunctul su A

, iar
norma este norma operatorial obinuit [A[ = sup[Ax[ ; [x[ = 1.
2) C(X) spaiul funciilor continue pe spaiul compact X. Involuia este
conjugarea complex f f, iar norma este [f[ = sup[f(x)[ ; x X.
Sau, mai general, C
0
(X) spaiul funciilor continue pe spaiul local compact
X care se anuleaz la innit, i.e. pentru orice > 0 exist un compact K

astfel c [f(x)[ < pentru x / K

.
Aceste exemple sunt modele generice deoarece orice C

-algebr comuta-
tiv este, pn la un izomorzm, de tipul 2), iar orice C

-algebr este izomorf


cu o subalgebr a unei agebre de tipul 1).
Propoziia 1. In orice C

-algebr / avem [A[ = sup[AB[ ; [B[ = 1, A


/.
Dac o C

-algebr / nu are unitate atunci se poate aduga o unitate: se


consider /

= /C i se introduce produsul,
(A, )(B, ) = (AB + A + B, ) , A, B /, C
cu involuia (A, )

= (A

, ) i norma
[(A, [ = sup[AB + B[ ; [B[ = 1, B /.
Se arat c /

este C

-algebr i c I = (0, 1) este unitate n /

. Evident
algebra / se identic cu subalgebra format de elementele de forma (A, 0)
din /

.
Aceast construcie permite, ntr-o anumit msur, s ne restrngem la
cazul C

-algebrelor cu unitate. In cele ce urmeaz, dac nu se specic altfel,


se presupune c C

-algebrele au unitate.
Fie / o C

-algebr cu unitate i A /. Se numete mulime rezolvent


a lui A mulimea (A) = z C; (A z)
1
exist, iar aplicaia
z (A z)
1
z (A)
58
se numete rezolventa lui A. Complementara mulimei rezolvente: (A) =
C (A) se numete spectrul lui A. Deoarece pentru [z[ > [A[ seria

1
z

n0
(
A
z
)
n
este convergent n /i suma sa este (Az)
1
rezult c mulimea rezolvent
a lui A nu este vid i c spectrul (A) z;[z[ [A[. Se vede cu uurin
c (A) este deschis, astfel c (A) este nchis i compact. Mai mult
rezolventa (A z)
1
este analitic pe (A).
Raza spectral a lui A se denete prin r(A) = sup[z[ ; z (A) Evident
(A) [A[.
Propoziia 2. Intr-o C

-algebr raza spectrala a unui element A are ex-


presia
r(A) = lim
n
[A
n
[
1/n
= inf
n
[A
n
[
1/n
.
Un element A al unei algebre C

se numete:
normal dac AA

= A

A,
autoadjunct dac A = A

,
izometric dac A

A = I,
unitar dac AA

= A

A = I,
pozitiv dac este autadjunct i (A) [0, ).
Propoziia 3. Intr-o algebr C

/ au loc:
a) Dac A este normal atunci r(A) = [A[.
b) Dac A este autoadjunct atunci (A) [[A[ , [A[].
c) Dac este izometric atunci r(A) = 1.
d) Dac este unitar atunci (A) z C; [z[ = 1
e) Pentru orice A din / avem (A

) (A) i (A
1
) = (A)
1
.
f) Pentru orice polinom P avem (P(A)) = P((A))
g) Pentru orice A, B din / avem (AB) 0 = (BA) 0.
59
Din punctul a) rezult o proprietate important a algebrelor C

. Deoarece
pentru orice A /, AA

este normal, conform cu a) avem [AA

[ = r(AA

).
Cum prin deniia C

-algebrei [AA

[ = [A[
2
, rezult c norma lui A este
determinat de spectrul lui AA

, spectru care depinde numai de structura


algebric a lui /. Avem deci:
Propoziia 4. Dac -algebra / este C

-algebr fa de normele [.[


1
i [.[
2
,
atunci [.[
1
= [.[
2
.
Fie /, B dou -algebre , numim -morsm (sau simplu morsm) al -
algebrei / n -algebra B, o aplicalie : / B care, pentru A, B
/, , C, satisface:
i) (A + B) = (A) + (B),
ii) (AB) = (A)(B),
iii) (A

) = (A)

.
Deoarece o algebr C

este -algebr, deniia acoper cazurile cnd una sau


ambele algebre sunt C

-algebre. Trebuie reinut c n deniia -morsmului


intervin numai proprieti algebrice, nu i proprieti metrice, n concordan
cu propoziia anterioar.
Propoziia 5. Fie /, B dou C

-algebre i : / B un -morsm.
Atunci avem:
i) pstreaz pozitivitatea, i.e. A 0 implic (A) 0;
ii) este continuu i [(A)[ [A[ pentru A /;
iii) (/) este nchis n B i.e. (/) este C

-algebr.
Propoziia 6. (Calcul funcional ) Fie / o algebr C

i A / un element
autoadjunct. Fie C((A)), C

-algebra funciilor continue pe (A) i /


A
,
C

-algebra generat de A (i.e. cea mai mic C

-algebr care conine pe A).


Exist un unic -izomorsm:
C((A)) /
A
f f(A)
60
care duce funcia 1 (i.e. 1(x) = 1, x (A)) n I /
A
i id
(A)
n A. Mai
mult avem (f(A)) = f((A)) pentru orice f C((A)).
O reprezentare a unei C

-algebre / este o pereche (H, ) n care H este


un spaiu hilbert, iar este un -morsm din / n B(H). Reprezentarea se
zice del dac este injectiv i.e. ker ={0}.
Propoziia 7. Fie (H, ) o reprezentare a C

-algebrei /. Urmtoarele
condiii sunt echivalente:
i) este del,
ii) [(A)[ = [A[ pentru orice A /,
iii) (A) > 0 pentru A > 0.
O form liniar pe C

-algebra / se zice pozitiv dac


(A) 0, pentru A 0, A /
sau echivalent
(A

A) 0, pentru orice A /.
Este imediat c o form pozitiv satisface inegalitatea Cauchy-Schwarz:
[(B

A)[
2
(B

B)(A

A).
Propoziia 8. Fie o form liniar pe o C

-algebr (cu unitate), atunci


urmtoarele armaii sunt echivalente:
i) este pozitiv;
ii) este continu cu [[ = (I).
Se numete stare orice form liniar pozitiv. Teorema Hahn-Banach ne
asigur c exist suciente stri nenule.
Propoziia 9. Fie A un element oarecare din C

-algebra /. Exist o stare


pe / astfel c (A

A) = [A[
2
.
S observm c orice reprezentare (H, ) a C

-algebrei / determin un
tip de stri: pentru orice vector de norm 1 din H aplicaia
(A) = , (A)) A /
61
este o stare. Teorema G.N.S. (Ghelfand, Naimark, Segal) arat c orice stare
este de acest tip.
Propoziia 10. (G.N.S.) Fie / o C

-algebr (cu unitate) i o stare pe /.


Exist un spaiu hilbert H

, o reprezentare

: / B(H

) i un vector

de norm 1 din H

astfel c:
(A) =

(A)

)
i

(A)

; A / este dens n H

. In aceste condiii reprezentarea este


unic pn la un izomorzm unitar.
62
References
[1] G. Gallavotti and E.G.D. Cohen. Dynamical ensembles in nonequilbrium
statistical mechanics. Phys. Rev. Letters, 74:26942697, 1995.
[2] D. Ruelle. General linear response formula in statistcal mechanics, and
uctuation-dissipation theorem far from equilibrium. Phys. Lett. A,
245:220224, 1998.
[3] C. P. Dettmann and G. P. Morriss. Proof of lyapunov exponent pairing
for systems at constant kinetic energy. Phys. Rev. E, 53:R55415544,
1996.
[4] Ruelle. Smoth dynamics and new theoretical ideas in nonequilibrium
statistical mechanics. J. Stistist. Phys., 95:393468, 1999.
[5] L. R. Bellet. Open classical systems. In Open Quantum Systems II.
Springer, 2006.
[6] O. Bratteli and D. W. Robinson. Operator Algebras and Quantum Sta-
tistical Mechanics, volume 1. Springer, 1979.
[7] O. Bratteli and D. W. Robinson. Operator Algebras and Quantum Sta-
tistical Mechanics, volume 2. Springer, 1981.
[8] J. Frhlich, M. Merkli, and D. Ueltschi. Dissipative transport: thermal
contacts and tunneling junctions. Ann. Henri Poincare, 4:897945, 2004.
[9] W. Aschbabacher, V. Jaki, Y. Pautrat, and C.-A. Pillet. Transport
properties of quasi-free fermions. 2006.
[10] W. Aschbabacher, V. Jaki, Y. Pautrat, and C.-A. Pillet. Topics in non-
equilibrium quantum statistical mechanics. In Open Quantum Systems
III. Springer, 2006.
[11] M. Merkli. Stability of equilibria with a condensate. Comm. Math.
Phys., 257:621640, 2005.
[12] N. Angelescu and M. Bundaru. On the transport between condensed
phases. J. Phys. A:Math. Theor., 40:55655573, 2007.
63
[13] M. Merkli, M. Mck, and I. M. Sigal. Theory of non-equilibrium sta-
tionary states as theory of resonances. 2006.
[14] N. Angelescu, M. Bundaru, and R. Bundaru. Quasi-free quantum sta-
tistical models for tunneling junction. In Grunfeld C. P., Ion S., and
Marinoschi G., editors, Topics in Applied Mathematics and Mathemati-
cal Physics. Editura Academiei Romne, 2007.
[15] S. R. Bundaru. Local expectations in quantum tunnelling. Rom. Rep.
Phys., 60, 2008.
[16] H. D. Cornean, A. Jensen, and V. Moldoveanu. A rigorous proof for the
landauer-b ttiker formula. J.Math.Phys., 46:042106, 2005.
[17] P. Poulin. Greens functions of generalized laplacians. In CRM Proceed-
ings and Lecture Notes, volume 42, pages 417452, 2007.
[18] T. Kato. Perturbation Theory for Linear Operators. Springer-Verlag,
1976.
[19] D. R. Yafaev. Mathematical scattering theory. Amer. Math.
Soc.,Providence, Rhode Island, 1992.
[20] S. R. Bundaru. Interference in quantum tunnelling. 2008. (n curs de
nalizare).
[21] S. R. Bundaru. New method for latticeal mean eld models. Mod. Phys.
Lett. B, 11(8):339345, 1997.
[22] O. Costin, R. D. Costin, and C. P. Grunfeld. J. Stat. Phys., 59:1531,
1990.
[23] F. J. Dyson. Commun. Math. Phys., 12:91, 1969.
[24] Ya. G. Sinai. Theory of Phase Transitions; Rigorous Results. Pergamon
Press, Oxford, 1982.
[25] S. Romano. Mod. Phys. Lett., B9:1447, 1995.
[26] R. S. Ellis and Ch. M. Newman. Trans. Am. Math. Soc., 237:83, 1978.
[27] J. Ginibre. General formulation of griths inequalities. Commun. Math.
Phys., 16:310328, 1970.
64
[28] J. Bricmont. Correlation inequalities and classical spin systems. In
Proceedings of the Brasov International School, 1979.
[29] C. J. Thomson. Mathematical Statistical Mechanics. Princeton Univesity
Press, 1979.
65
Contents
1 INTRODUCERE 1
2 ABORDAREA ALGEBRIC 6
2.1 Punerea problemei . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Spaii Fock . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3 Spaii fock bosonice i fermionice . . . . . . . . . . . . . . . . 10
2.4 Algebra relaiilor de anticomutare . . . . . . . . . . . . . . . . 13
2.5 Stri cvasilibere pe algebra CAR . . . . . . . . . . . . . . . . 15
3 HAMILTONIANUL UNIPARTICULA 18
3.1 Descrierea modelului . . . . . . . . . . . . . . . . . . . . . . . 18
3.2 Proprietile spectrale ale sistemului necuplat . . . . . . . . . 19
3.3 Proprietile spectrale ale sistemului cuplat . . . . . . . . . . . 24
4 CONSTRUCTIA NESS 31
4.1 Exprimarea NESS prin operatorii Mller . . . . . . . . . . . . 31
4.2 Exprimarea mediilor . . . . . . . . . . . . . . . . . . . . . . . 34
4.3 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4.3.1 Corelaiile pentru rezervoare . . . . . . . . . . . . . . . 38
4.3.2 Cuplaj intre rezervoare unidimensionale . . . . . . . . 41
5 Spini clasici n aproximaia cmpului mediu 49
5.1 Descrierea modelului . . . . . . . . . . . . . . . . . . . . . . . 49
5.2 Ecuaia pentru g . . . . . . . . . . . . . . . . . . . . . . . . . 50
5.3 Soluia n cazul invariant la rotaii . . . . . . . . . . . . . . . 53
A Algebre C

i stri 57

Vous aimerez peut-être aussi