Académique Documents
Professionnel Documents
Culture Documents
-algebra observabilelor
O = O
1
O
S
O
2
(1.1)
produs direct 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 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
-
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
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
(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
(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)
i
(u).
Operatorii de anihilare i creare se denesc n T
,f
= P
f
P
, (2.26)
unde a
noteaz a sau a
.
Spaiile T
(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
,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
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
= 0, f, 0, 0..., deci
= [f[ i obinem
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). Cum
B(T
(H)) formeaz o C
-algebr
care conine mulimea a
f
: f H. Notm aceast C
-algebr CAR
F
(H),
deoarece construcia depinde de spaiul B(T
-
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
(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)) = 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
t
(A) = e
itd
(h)
Ae
itd
(h)
(2.40)
unde A B(T
(H). Evident C
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
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
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
() l
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
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
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)
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
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
.
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
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
(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
(
0
) este aditiv, mai mult dac
0
=
cu
) =
) +
). (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
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
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
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
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
in rez. 1
0.001
0.002
0.003
0.004
n
1
1rezervor 2
Figure 12: Densitatea n
1
(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
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
(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
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
_
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
() = 0
(iii) F
(x) +
1
2
x
2
= F((x + h) g
(x)) (5.15)
Punind (x) = (x + h) g
() = x
i pentru c F
(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
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
_
> 0 pentru h > 0
= 0 pentru
c
= 1/F
(0)
> 0 pentru >
c
(5.19)
Cum 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
2
F
x
= t
, = 1, ..., d (5.21)
unde .)
))
= 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
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
= A
ii) (A + B)
= A
+ B
iii) (AB)
= B
[ ,
se numete -algebr Banach.
O C
A[ = [A[
2
.
57
Condiia b) implic condiia a) astfel c o 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
.
Aceste exemple sunt modele generice deoarece orice C
-algebr comuta-
tiv este, pn la un izomorzm, de tipul 2), iar orice C
= /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
. 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
-algebrele au unitate.
Fie / o C
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
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
[ = r(AA
).
Cum prin deniia C
-algebrei [AA
[ = [A[
2
, rezult c norma lui A este
determinat de spectrul lui AA
) = (A)
.
Deoarece o algebr 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
-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
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
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
, o reprezentare
: / B(H
) i un vector
de norm 1 din H
astfel c:
(A) =
(A)
)
i
(A)
; A / este dens n H
i stri 57