A Statisztikus Fizika Matematikai Módszerei - BME Jegyzet

TTH BLINT
A STATISZTIKUS
FIZIKA MATEMATIKAI
MDSZEREI

2011
Szakmai vezet Ismertet
Lektor Tartalomjegyzk
Technikai szerkeszt Plyzati tmogats
Copyright Gondoz

Ez a jegyzet egy PhD matematikus- s fizikushallgatknak szl specilelads anyagt
tartalmazza. Felttelezett elismeretek: bevezet analzis s valsznsgszmts, vala-
mint a statisztikus fizika alapjainak ismerete. A jegyzet az albbi tmakrket leli t:
A statisztikus fizika trgya, A CurieWeiss-modell, Ising-modell Z
d
-n; Termodinamikai
limesz, Analitikussg, Fzistmenet az Ising-modellben, A klasszikus Heisenberg modell,
A kvantum Heisenberg modell.

Kulcsszavak: CurieWeiss-modell, Ising-modell Z
d
-n; termodinamikai limesz, analiti-
kussg, fzistmenet az Ising-modellben, klasszikus Heisenberg modell, kvantum
Heisenberg modell.

tankonyvtar.math.bme.hu Tth Blint, BME TTK
Tmogats:
Kszlt a TMOP-4.1.2-08/2/A/KMR-2009-0028 szm, a Termszettudomnyos
(matematika s fizika) kpzs a mszaki s informatikai felsoktatsban cm projekt
keretben.

Kszlt:
a BME TTK Matematika Intzet gondozsban

Szakmai felels vezet:
Ferenczi Mikls

Lektorlta:
Krmli Jnos

Az elektronikus kiadst elksztette:
Vet Blint

Cmlap grafikai terve:
Cspny Gergely Lszl, Tth Norbert

ISBN: 978-963-279-459-4

Copyright: 20112016, Tth Blint, BME

A terminusai: A szerz nevnek feltntetse mellett nem kereskedelmi cllal
szabadon msolhat, terjeszthet, megjelentethet s eladhat, de nem mdosthat.
Tth Blint, BME TTK tankonyvtar.math.bme.hu
Tartalomjegyzk
1. Valsznsgszmtsi bemelegts 4
1.1. Nagy Szmok Gyenge Trvnye . . . . . . . . . . . . . . . . . 4
1.2. A karakterisztikus fggvny . . . . . . . . . . . . . . . . . . . 5
1.3. Centrlis Hatreloszls Ttel . . . . . . . . . . . . . . . . . . . 7
1.4. Nagy Eltrs Ttel . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5. Konvex konjugls/Legendre-transzformci . . . . . . . . . . 9
2. A statisztikus zika trgya 14
2.1. A statisztikus zika trgya . . . . . . . . . . . . . . . . . . . . 14
2.2. A kanonikus eloszls . . . . . . . . . . . . . . . . . . . . . . . 15
2.3. Az Ising-modell . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4. A nyoms / szabadenergia . . . . . . . . . . . . . . . . . . . . 20
3. A Curie Weiss-modell 23
3.1. A modell; termodinamikai limesz s termodinamikai fggvnyek 23
3.2. A termodinamikai fggvnyek meghatrozsa . . . . . . . . . . 25
3.3. Kritikus exponensek . . . . . . . . . . . . . . . . . . . . . . . 26
3.4. Mindezek valsznsgszmtsi httere . . . . . . . . . . . . . 27
4. Ising-modell
-n; termodinamikai limesz 32

4.1. Egydimenzis Ising-modell . . . . . . . . . . . . . . . . . . . . 32
4.2. Ising-modell
-n . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3. Kicsit ltalnosabban . . . . . . . . . . . . . . . . . . . . . . . 36
4.4. A nyoms konvexitsa . . . . . . . . . . . . . . . . . . . . . . 37
5. Analitikussg I 38
5.1. Az Ising-rcsgz . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5.2. Korrelcis fggvnyek . . . . . . . . . . . . . . . . . . . . . . 39
2
TARTALOMJEGYZK 3
5.3. Szmols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.4. Mbius inverzis formula . . . . . . . . . . . . . . . . . . . . . 41
5.5. Szmols folytatsa . . . . . . . . . . . . . . . . . . . . . . . . 42
6. Analitikussg II: Lee s Yang ttele 48
6.1. Egy kis komplex fggvnytan . . . . . . . . . . . . . . . . . . 48
6.2. Alkalmazs az Ising-modellre . . . . . . . . . . . . . . . . . . . 49
6.3. Lee s Yang krttele . . . . . . . . . . . . . . . . . . . . . . . 51
6.4. Konklzi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
7. Fzistmenet az Ising-modellben 53
7.1. A fzistmenet Peierls-fle bizonytsa . . . . . . . . . . . . . 53
7.2. Korrelcis egyenltlensgek . . . . . . . . . . . . . . . . . . . 57
7.3. A GKS egyenltlensgek nhny alkalmazsa . . . . . . . . . . 60
8. A klasszikus Heisenberg-modell 62
8.1. Folytonos szimmetrij modellek . . . . . . . . . . . . . . . . 62
8.2. A hossz tv rend paramter . . . . . . . . . . . . . . . . . . 63
8.3. Eredmnyek . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
8.4. Fourier-transzformci a diszkrt truszon, jellsek, konvencik 64
8.5. A Frhlich Simon Spencer bizonyts fbb stcii . . . . . . 66
8.6. Az infravrs korlt bizonytsa . . . . . . . . . . . . . . . . . 68
8.7. Nhny megjegyzs s tanulsg . . . . . . . . . . . . . . . . . 72
9. A kvantum Heisenberg-modell 74
9.1. Kvantum statisztikus zikai formalizmus . . . . . . . . . . . . 74
9.2. (2) reprezentcii . . . . . . . . . . . . . . . . . . . . . . . 74
9.3. A kvantum Heisenberg-modell . . . . . . . . . . . . . . . . . . 76
9.4. Bels szimmetrik . . . . . . . . . . . . . . . . . . . . . . . . . 77
9.5. Eredmnyek . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
9.6. Kvantum korrelcis egyenltlensgek I. . . . . . . . . . . . . . 82
9.7. Mermin Wagner-ttel bizonytsa . . . . . . . . . . . . . . . . 85
1. fejezet
Valsznsgszmtsi bemelegts
Fggetlen azonos eloszls (i.i.d. = independent identically distributed) va-
lsznsgi vltozkra vonatkoz hatreloszls-ttelekkel fogunk foglalkozni.
Clunk: (1) a valsznsgszmtsi fogalmak s tnyek felfrisstse; (2) k-
sbb beltni, hogy a statisztikus zika rdekes jelensgei (pl. fzistalakul-
sok) ppen e sima valsznsgszmtsi tnyektl val lnyeges eltrsekben
nyilvnulnak meg.
Legyenek
1
,
2
,
3
, . . .
i.i.d. valsznsgi vltozk, melyeknek (egyszersg kedvrt) minden mo-
mentuma vges. Nyugodtan feltehetjk, hogy
E() = 0
(egybknt tekintsk a

E() valsznsgi vltozkat). Jelljk
2
:= E
(
2
)
<
rdekel:
1
+
2
+ +
aszimptotikus eloszlsa, minl pontosabban.

1.1. Nagy Szmok Gyenge Trvnye
1. Ttel (NSZT).
P
(
1
+
2
+ +
>
)
0
amint .
1. VALSZNSGSZMTSI BEMELEGTS 5
NSZT bizonytsa
2. Lemma (Markov-egyenltlensg). Legyen nem-negatv valsznsgi
vltoz s > 0. Ekkor
P( > )
E()
. (1.1)
Markov-egyenltlensg bizonytsa:
E() E
(
11
{>}
)
P( > ) .
Alkalmazzuk az (1.1) Markov-egyenltlensget:
P(
1
+
2
+ +
> )
E((
1
+
2
+ +
)
2
)
2
=

2
2
0.
1.2. A karakterisztikus fggvny
Legyen tetszleges valsznsgi vltoz. Karakterisztikus fggvnye a
kvetkez:
: , () := E(exp{}) .
Azaz () az valsznsgi vltoz eloszlsfggvnynek a Fourier-Stieltjes
transzformltja.
A karakterisztikus fggvny nhny alaptulajdonsga:
Korltos:
(0) = 1 s : () 1.
Pozitv denit:
1
,
2
, . . . ,
,
1
,
2
, . . . ,
,=1
(
0.
(1.2)
Egyenletesen folytonos:
> 0 > 0 : < () () < .
6 A STATISZTIKUS FIZIKA MATEMATIKAI MDSZEREI
Momentumok s a karakterisztikus fggvny derivltjai: Ha
E
(
)
< ,
akkor a karakterisztikus fggvny -szer folytonosan dierencilhat
s
()
(0) =
E
(
)
, = 0, 1, 2, . . . , .
Egyszer bizonytsok s tovabbi fontos tulajdonsgok: [26]. (De ki-ki
maga is megprblhatja.)
Krds: Mely () fggvnyek lehetnek karakterisztikus
fggvnyek?
3. Ttel (Bochner-ttel). A () fggvny pontosan akkor ka-
rakterisztikus fggvnye egy valsznsgi eloszlsfggvnynek, ha (0) = 1,
= 0-ban folytonos, s pozitv denit az (1.2) rtelemben.
Nhny nevezetes eloszls s karakterisztikus fggvnyeik:
(), Bernoulli-eloszls. Paramterei: , [0, 1], + = 1.
P( = 1) = , P( = 0) = ; () = +
,
vagy
P( = 1) = , P( = 1) = ; () = cos + ( ) sin .
(, ), binomilis eloszls. Paramterei: , [0, 1], + = 1, .
P( = ) =
(
, = 0, 1, . . . , ; () =
(
+
.
(), Poisson-eloszls. Paramterei: 0.
P( = ) =
!
, 0, 1, . . . ; () = exp{
(
1
)
}.
(, ), egyenletes eloszls. Paramterei < < < .
P( < ) =

, ; () =

( )
.
(), exponencilis eloszls. Paramterei: > 0.
P( < ) = 1
, 0 < ; () =

.
(,
2
), Gauss vagy normlis eloszls. Paramterei , > 0.
P( < ) =
1
()
2
2
2
; () = exp{

2
2
2
}
1. Hzi feladat. Ellenrizzk a fenti karakterisztikus fggvnyek formulit!
1.3. Centrlis Hatreloszls Ttel
4. Ttel (CHT).
P
(
1
+
2
+ +
<
)

2
2
2
.
CHT bizonytsa: Karakterisztikus fggvnyek mdszervel. Felhasznljuk
a karakterisztikus fggvnyekre vonatkoz kvetkez (igen fontos) ttelt:
5. Ttel (Hatreloszls-ttel karakterisztikus fggvnyek mdszervel). Le-
gyenek
, = 1, 2, . . . s valsznsgi vltozk. Eloszlsfggvnyeik
() := P(
< ) , () := P( < )
s karakterisztikus fggvnyeik
() := E(exp{
}) , () := E(exp{}) .
A kvetkez kt llts ekvivalens:
(1) Az () eloszlsfggvny folytonossgi pontjaiban, -ben pontonknt
() ().
(2) -ban pontonknt
() ().
Bizonyts. Pl. [26].
Alkalmazzuk a fenti ttelt
:=

1
+
2
+ +
valsznsgi vltozkra. Ekkor
() = E
(
exp{
1
+
2
+ +
}
)
=
(
E
(
exp{
1
/
}
))
= (1
2
2
/(2) + (1/))
2
/2
.
1.4. Nagy Eltrs Ttel
Legyen nem elfajult val. vltoz s
() = P( < )
az eloszlsfggvnye. rtelmezzk a kvetkez fggvnyeket:
: (0, ], () := E
(
)
,
: (, ],

() := ln ()
Legyenek
:= inf{ : () < },

:= sup{ : () < }.
Feltesszk, hogy
< 0 <

.
Ez a feltevs a valsznsgi vltoz momentumai nvekedsi sebessgt
korltozza.
6. llts (
() fggvny tulajdonsgai). : Az

: (,
) (, ) fgg-
vny
(1) vgtelenszer dierencilhat s
(2) szigoran konvex.
Az llts bizonytsa: (1) Dierencilhatsg: ha < <

, akkor minden
-re
()
() = E
(
)
<
amibl

() dierencilhatsga is egyenesen addik.
(2) Konvexits:
() =
E
(
)
E(
)
=
()
()
= E
(
()
)
() =
E
(
)
E(
)

(
E
(
)
E(
)
)
2
=
()
()

(
()
()
)
2
= Var
(
()
)
> 0,
ahol
()
P
(
()
<
)
=
() :=
()
()
eloszlsfggvny valsznsgi vltoz.
1.5. Konvex konjugls/Legendre-transzformci
Legyen : [0, ] a kvetkez kppen rtelmezve:
() := sup
(

()
)
. (1.3)
Mivel
lim
() = inf{ supp()} =: , (1.4)

lim
() = sup{ supp()} =: , (1.5)

ha (, ), akkor a
() = (1.6)
egyenletnek ltezik egyetlen
() (,
) megoldsa s
() =
()

(
()) (1.7)
7. llts (() fggvny tulajdonsgai:). Az : (, ) (0, ) fggvny
(1) vgtelenszer dierencilhat,
(2) szigoran konvex,
(3)
(E()) = 0, (1.8)
(s termszetesen () > 0 minden = E()-re).
(4) () alulrl flig folytonos, kvetkezskpp:
() = lim
0
( + ), ( ) = lim
0
( ),
(5)
[, ] re : () = .
llts bizonytsa: (1) Dierencilhatsg: () dierencilhatsga egye-
nesen kvetkezik

() dierencilhatsgbl.
(2) Konvexits: (3.4)(1.7)-bl
() =
() +
(

())
)
() =
().
Mg egy dierencils utn, (3.4)-et jbl felhasznlva,
() =
() =
(
())
)
1
> 0.
(3) Vilgos, hogy
(E()) = 0
amibl, (1.7) tjn (1.8) addik.
(4) Az alulrl flig folytonossg abbl kvetkezik, hogy () folytonos fgg-
vnyek csaldjnak szuprmuma (def. alapjn).
(5) A (1.3), (1.4) s (1.5)-bl kvetkezik.
8. Ttel (NET, H. Cramr). Legyenek
i.i.d. valsznsgi vltozk, ()

eloszlsfggvnynyel s (, ) vals intervallum. Ekkor
ln P
(
1
+
2
+ +
(, )
)
inf
<<
().
1. Megjegyzs. Kevsb precz, de szemlletesebb megfogalmazsban:
P
(
1
+
2
+ +

)
= exp{() + ()}. (1.9)
Cramr-ttel bizonytsa: Feltehetjk, hogy
:= E() < < .
(1) Fels becsls: Legyen > 0
P
(
1
+
2
+ +
(, )
)
P
(
1
+
2
+ +
>
)
<
E
(
= exp{(

())}.
Markov-egyenltlensget hasznltuk az exp{(
1
+
2
+ +
)} val-
sznsgi vltozra, majd a

fggvny rtelmezst.
A fenti egyenltlensg minden > 0-ra igaz, kvetkezskppen
P
(
1
+
2
+ +
(, )
)
exp{sup
>0
(

())}.
Mivel > esetn
() > 0, azt kapjuk, hogy

sup
0<<
(

()) = sup
<<
(

()) = (),
s vgl
P
(
1
+
2
+ +
(, )
)
exp{()}.
(2) Als becsls: Legyen (, )(, ), (, +) (, ) s
:=
().
Legyenek
1
,
2
, . . .
P(
< ) =
() :=
()
()
eloszls i.i.d valsznsgi vltozk. Ha
-el, illetve
-el jelljk a
1
+
2
+ +
, illetve
1
+
2
+ +
valsznsgi vltozk elosz-

lsfggvnyeit,
() : = P(
1
+
2
+ +
< ) ,
() : = P(
1
+
2
+ +
< ) ,
akkor
() = (
(),
() = (
().
Ezt hasznlva a kvetkez egyenltlensgsorozatot kapjuk:
P
(
1
+
2
+ +
(, )
)
P
(
1
+
2
+ +
( , + )
)
=
(+)
()
()
= (
(+)
()
()
(
(
(+)
)
(+)
()
()
=
{(()+
)}
P
(
1
+
2
+ +
(, )
)
.
Mivel, a NSzT alapjn
P
(
1
+
2
+ +
(, )
)
1,
kvetkezik, hogy
liminf
ln P
(
1
+
2
+ +
(, )
)
inf
<<
().
2. Hzi feladat. Szmoljuk ki az

() s () fggvnyeket a (,
2
),
(), (), (, ), () s () eloszlsokra.
3. Hzi feladat. Ugyanezen eloszlsokra bizonytsunk naivul, azaz (1.9)
alapjn s a
! =
2 (1 + (1))
Stirling-formula segtsgvel nagy eltrs becslst.
A fejezethez kapcsold irodalom: [26], [3], [6], [18], [1], [31], [30].
2. fejezet
A statisztikus zika trgya;
kanonikus eloszls; Ising-modell
2.1. A statisztikus zika trgya
Sok azonos, egymssal klcsnhat kis (elemi, atomi, . . . ) komponensbl
felpl nagy rendszer globlis viselkedsnek lersa.
Sok:
1. limeszben vgtelen sok: termodinamikai limesz, vagy
2. eleve vgtelen: vgtelen rendszerek Gibbs-llapotai.
Mi az els megkzeltst fogjuk tekinteni.
Globlis viselkeds: Nhny, n. intenzv paramterrel jellemezhet (pl.
hmrsklet, nyoms, kmiai potencil). Tovbbi relevns mrhet
mennyisgek: (extenzv) tlagok (pl. srsg, mgnesezettsg).
Egyensly: Idtl fggetlen, statikus jellemzk.
Nemegyensly: Idbeli fejlds, idfgg jelensgek.
Mr az egyensly dencija is gond. Kielgt, de matematikailag szinte
kezelhetetlen:
tetszleges nemegyensly
dinamika

egyensly.
2. A STATISZTIKUS FIZIKA TRGYA 15
2.2. A kanonikus eloszls
lapottr:
:= {a rendszer lehetsges llapotainak halmaza}.
Egyelre vges, ksbb lesz loklisan kompakt, metrikus is. Termszetes
Borel -algebrval.
Hamilton-fggvny:
:
() az llapot energija.
Kanonikus/Gibbs-eloszls:
() =
1
()
exp{()}(). (2.1)
Ahol:
: a priori szabad mrtk az llapottren (termszetes pl. szim-
metria megfontolsok alapjn vlasztjuk meg),
= 1/ > 0: inverz hmrsklet,
exp{()}: Boltzmann- (vagy Gibbs)-faktor, az llapot re-
latv slya,
(): llapotsszeg, stat-szumma, partcis fggvny szerepe:
norml tnyez, hogy a valsznsgi mrtk legyen.
Egyenslyi statisztikus zika: zikailag relevns vltozk (i.e. :
fggvnyek) szerinti eloszlst, statisztikai tulajdonsgait vizsgl-
juk.
Indokls: Tekintsnk egy vges rendszert
= {1, 2, . . . , }
llapottrrel s a priori eloszlssal (pl. egyenletes). Tovbb, azonos
elbbibl ll szuper-rendszert, aminek llapottere
:= { = (
1
,
2
, . . . ,
, = 1, 2, . . . , }.
Egyszersg kedvrt egyelre hanyagoljuk el a komponens rendszerek kl-
csnhatsi energijt. Ekkor a szuper-rendszer teljes energija
() = (
1
) + (
2
) + + (
).
Legyen a szuper-rendszer (komponensenknti tlag) energija adott:
1
() (, + )
Krds: e felttel mellett mi az
1
(vagy brmely
) eloszlsa?
Vlasz : pontosan a (2.1)-beli , azzal a -val, amely mellett
=
1
()
()
()
() = .
A valsznsgszmtsi problma: Legyenek
1
,
2
, . . . i.i.d. valsznsgi
vltozk () = P( < ) kzs eloszlsfggvnnyel.
9. llts (Nagy eltrs kvetkezmnye).
lim
0
lim
P
(
1
(, )

1
+
2
+ +
( , + )
)
=
1
()
(),
ahol =
() az
() =
egyenlet egyetlen megoldsa. (Fizikus jells: az elz fejezet -ja.)
Bizonyts helyett formlis szmols: Legyen diszkrt
P( =
) =
= 1
eloszls. Ekkor
P
(
1
=

1
+
2
+ +
( , + )
)
=
P(
1
=
) P
(
2
+
3
++
1
(
()
1
,
(+)
1
)
)
P
(
1
+
2
++
( , + )
)
Cramr ttelt alkalmazva:
P
(
1
+
2
+ +
( , + )
)
exp{() + ()}
P
(
2
+
3
+ +
1
(
( )
1
,
( + +)
1
)
)
exp{( 1)( +

) + ()}
azaz
P
(
1
=

1
+
2
+ +
( , + )
)

exp{(() ( 1)( + (
)/)) (() ())}

=
exp{()
()(
) + (1)}
exp{()
()} exp{
()
.
Az utols lpsben a
() () = (1)
becsls a Cramr-ttel bizonytsnl nomabb rvelsbl kvetkezik. E rsz-
leteket mellzzk. A fenti kifejezsekben
() =
() +
(

())
)
() =
(), =
()
() = ()
() =
()) = ln ().
Azaz pontosan a jl normlt kanonikus eloszlst kaptuk!
4. Hzi feladat. Legyen (
1
,
2
, . . . ,
egyenletes eloszls a
2
1
2
+

2
2
2
+ +

2
2
=
gmbfelleten, ahol (0, ) rgztett. Hatrozzuk meg
1
hatreloszlst:
lim
P(
1
< ) =?
5. Hzi feladat. Legyen (
1
,
2
, . . . ,
+
egyenletes eloszls az
1
+
2
+ +
=
szimplexen, ahol (0, ) rgztett. Hatrozzuk meg
1
hatreloszlst:
lim
P(
1
< ) =?
6. Hzi feladat. [26] III. fejezet, 34. feladat (154. oldal): A kanonikus
eloszls egy alternatv jellemzse: Legyen
P( =
) =
= 1
diszkrt eloszls (
= energia rtkek, spektrum). Az eloszls
referencia-
eloszlsra vonatkoz relatv entrpija:
=
ln

,
az tlagos (bels) energia:
=
,
a szabad energia:
=
1
.
Hatrozzuk meg azt a
eloszlst, ami a szabad energit minimalizlja.

(Hasznljuk a Lagrange-fle multipliktor mdszert.)
Vlasz: a keresett eloszls ppen a
=
1
()
kanonikus eloszls.
2.3. Az Ising-modell
. . . sok elemi aprbl sszell nagy rendszer . . . . A legegyszerbb vlasz-
ts: az elemi, apr komponensek kt llapotak: {1, +1}. Az darab
elemibl ll nagy rendszer llapottere:
:= {1, +1}
= { = (
1
,
2
, . . . ,
) :
= 1},
= 2
(Az egyes
-k klasszikus spinek.)
A Hamilton-fggvny: egy spin energija nmagban =
; a legegy-
szerbb klcsnhats: (, ) pr klcsnhatsi energija =
,
. A rend-
szer teljes energija:
() =
1
2
,=1
=1
.
Az els sszegben az = tls tagoknak semmi jelentsge: akr el is
hagyhatjuk ket. Ez az Ising-modell Hamilton-fggvnye.
Interpretci:
-k kis mgnes tcskk, amik gy: vagy gy: tudnak

llni; klcsnhatnak egy kls mgneses trrel s pronknt egymssal. Ha
,
> 0: az (, ) spin pr energija gy: , kicsi, gy: , nagy, azaz:
szeretnek prhuzamosan llni: ferromgneses klcsnhats. Ha
,
< 0: az
(, ) spin pr energija gy: , nagy, gy: , kicsi, azaz szeretnek
ellen-prhuzamosan llni: antiferromgneses klcsnhats. Egyelre tbbnyi
re a ferromgnesessel fogunk foglalkozni.
,
tartalmazza a rendszer geometriai struktrjt. Nhny nevezetes
plda:
1 dimenzis modell:
, , {1, 2, . . . , },
,
=
{
1 ha = 1
0 ha = 1
s peremfelttelek.
dimenzis modell:
, ,
,
,
=
{
1 ha = 1
0 ha = 1
s peremfelttelek
Ising-modell tetszleges = (, ) grfon:
, , ,
,
=
{
1 ha (, )
0 ha (, ) /
Curie Weiss-modell = az elbbi =
-el
, , {1, 2, . . . , },
,
=
{
1
ha =
0 ha =
Az igazn rdekes dolgok termodinamikai limesz ben trtnnek!
2.4. A nyoms / szabadenergia
Az llapotsszeg s a nyoms (vagy szabadenergia zikai interpretci sze-
rint, erre visszatrnk):
(, ) :=
exp{()}
=
exp{
,=1
=1
(, ) :=
1
ln
(, )
Mirt rdekes? (Azon tl, hogy
a Gibbs-mrtk norml faktora.) Fizi-

kailag relevns mennyisgek meghatrozhatak belle. Pl. az tlagos mg-
nesezettsg gy:
(, ) :=

=1
=
1
(, ) =

(, ).
Vagy a szuszceptibilits (azaz a mgnesezettsg rzkenysge a kls mgne-
ses tr vltozsra), gy:
(, ) =
1
(, ) =
1
2
(, ).
A nyoms valsznsgszmtsi jelentse: x mellett
(, )
analg a nagy eltrs ttel-beli

() logaritmikus momentum generl
fggvnnyel.
10. llts (A termodinamikai nyoms konvexitsa). Fix mellett,
(, ) konvex fggvny.
Nyoms konvexitsnak bizonytsa.
(, ) =
1
2
(, ) (2.2)
=
1
2

1
(
1
)
2
=
(
=1
(
)
2
0.
2. Megjegyzs. Ez az llts egy ltalnosabb (ksbb trgyalt) konvexits
specilis esete.
Milyen rdekessgekre szmthatunk termodinamikai limeszben?
Tegyk fel, hogy a kvetkez limeszek lteznek
(, ) = lim
(, ), (2.3)
(, ) = lim
(, ), (2.4)
(, ) = lim
(, ), (2.5)
s hogy lim
s / felcserlhetk, azaz
(, ) =
1
(, ) (2.6)
(, ) =
1
(, ) =
1
(, ) (2.7)
Ezeket szigoran be fogjuk ltni: a (2.3), (2.4), (2.5) termodinamikai lime-
szek pesz esetekben lteznek, a (2.6), (2.7) azonossgok pedig rvnyesek
azokban a (, ) pontokban, amelyekben a limeszfggvnyek szp simk.
Magas hmrskleten <
: (, ) konvex, analitikus (hason-

lan

()-hoz). s
lim
0
(, ) = (, 0) = 0.
Azaz: a rendszer bels
2
szimmetrija nem srl. A
valsznsgi
vltozk

=1
/ normlt sszegnek viselkedse kvalitatve nagyon

hasonl az i.i.d. val. vltozkval.
Alacsony hmrskleten >
: (Ferromgneses klcsnhats (
,
>
0) esetn.) (, ) konvex, de = 0-ban nem analitikus: els
derivltja szakad (ellenttben

()-vel).
lim
0
(, ) = (, 0+) > 0
lim
0
(, ) = (, 0) = (, 0+) < 0
Azaz: a rendszer bels
2
szimmetrija srl. A
valsznsgi vl-
tozk

=1
/ normlt sszege a NSzT s a NET szempontjbl

egyarnt az i.i.d.-ktl minsgileg lnyegesen eltr mdon viselkedik.
>
, = 0 paramter rtkeknl elsrend fzistmenet van.

A kritikus hmrskleten =
: A szuszceptibilits divergl
lim
(, 0) = (
, 0) = ,
(2.2) alapjn llthatjuk, hogy a CHT srl : a kritikus uktucik a
normlisaknl lnyegesen (nagysgrendileg) nagyobbak. =
, = 0
paramter rtknl msodrend fzistmenet van.
A fejezethez kapcsold irodalom: [25], [26].
3. fejezet
A Curie Weiss-modell
3.1. A modell; termodinamikai limesz s termo-
dinamikai fggvnyek
Az llapottr:
:= { = (
1
,
2
, . . . ,
) :
= 1}.
A Hamilton-fggvny:
() :=
1
2
,=1
=1
Mean eld (tlag tr) elmlet, mert minden spin egy
e
=
1
=1
+
eektv, tlagos mgneses trrel hat klcsn. (
1
helyett vlaszthatnnk per-

sze

klcsnhatsi egytthatkat: a -t beolvasztjuk a -ba.) A modellnek

trivilis a geometriai struktrja! Minden spin-pr egyformn hat klcsn.
Jelljk a teljes mgnesezettsget -el:
:=
=1
, {, + 2, . . . , 2, }.
Ekkor
=
1
2
, (3.1)
azaz a Hamilton-fggvny csak -en keresztl fgg a spin kongurcitl.
Legyen (illetve ) a (illetve ) spinek szma:
=
+
2
, =

2
, {0, 1, 2, . . . , }.
Az llapotsszeg:
(, ) =
exp{
()} =
=0
(),
ahol
() =
(
)
exp
{

2
(2 )
2
+ (2 )
}
.
Nyilvnval, hogy
(, ) = lim
ln
= lim
max
0
ln
()
. (3.2)
Legyen
=
2
, [1, 1].
A Stirling-formula alkalmazsval a kvetkez kifejezst kapjuk:
ln
() =
(

()
)
+ (), (3.3)
ahol
() =
1
2
ln
1
2
+
1 +
2
ln
1 +
2

2
2
ha [1, 1]
ha [1, 1]
Felhasznlva (3.2)-t s (3.3)-at a termodinamikai nyomsra a kvetkez kife-
jezst kapjuk
(, ) = sup
11
(
()).
3. A CURIE WEISS-MODELL 25
Termszetesen sup
11
helyett sup
-t is rhattunk volna. Azaz: rgz-

tett mellett, (, ) pontosan
1
() konvex konjugltja.
Szksgnk lesz a
() fggvny els kt derivltjra:
() =
1
2
ln
1 +
1
= tanh
1
() ,
() =
1
1
2
.
Az
() s
() fggvnyek grakus kpe az 1. s 2. brn

lthat. Lnyeges klnbsg van < 1 s > 1 kztt! Mg < 1-re

() szigoran konvex,
() szigoran nvekv, > 1-re ez

nem ll. A kritikus hmrsklet:
= 1.
IDE JONNEK AZ ABRAK
3.2. A termodinamikai fggvnyek meghatro-
zsa
Legyen (, ) a
() = (3.4)
j megoldsa: ahol egy megolds van ott a megolds, ahol tbb megolds
van (kett vagy hrom) ott az a megolds, amelyiknek az eljele megegyezik
eljelvel (ld. a 2. brt). Az albbiak a (3.4) egyenlet ekvivalens alakjai:
tanh
1
() = (3.5)
= tanh
(
( + )
)
A nyomsra a kvetkez kifejezst kapjuk:
(, ) =
()
=
1
2
ln
1
2
4
tanh
1
() +

2
2
=
1
2
ln
1
2
4
+
(
tanh
1
()
)
+

2
2
(3.5)-t felhasznlva azt kapjuk, hogy
(, ) =
1
2
ln
1
2
(, )
4

2
2
(, ).
A szuszceptibilits kiszmolsa: az
=

=
1
(
1
1
2

)
egyenletbl azt kapjuk, hogy

(, ) =
1
(, ) =
1
2
(, )
1 (1
2
(, ))
.
Mindebbl lthat, hogy
(1) <
= 1-re (azaz >
= 1-re): (, ) monoton nvekv,

analitikus; (, ) szigoran konvex, analitikus; (, ) vges.
(2) >
= 1-re (azaz <
= 1-re): (, ) monoton nvekv,

de = 0-ban nem folytonos: (, 0+) = (, 0) > 0; (, )
szigoran konvex, de = 0-ban nem analitikus: az els derivltja szakad;
(, ) vges.
(3) =
= 1-re (azaz =
= 1-re): (, ) monoton nvekv;

(, ) szigoran konvex, = 0-ban analitikus, de (
, 0) = .
A (3.4) llapotegyenlet grakus megjelentsei a 3. brn lthat fzisdi-
agrammok.
3.3. Kritikus exponensek
ltalnos zikus hit, hogy egy Ising-szer ferromgneses modellben, a (, ) =
(
, 0) kritikus pont krnykn a termodinamikai fggvnyek szingulris vi-

selkedse a kvetkez
(, 0+)
amint
,
(, 0+)
amint
(, 0+)
amint
, )
1/
amint 0
ahol a kritikus exponensek, gymond, univerzlis jellemzk csak nagyon
ltalnos paramterektl (pl. a dimenzitl) fggenek. A Curie Weiss-
modellre a kvetkez exponenseket talaljuk
=
1
2
, =
= 1, = 3.
7. Hzi feladat. Szmoljuk ki a fenti exponenseket a Curie Weiss-
modellre.
IDE JON A HARMADIK ABRA
3.4. Mindezek valsznsgszmtsi httere/je-
lentse
Tekintsk a
1
+
2
+ +
valsznsgi vltozt a > 0, = 0 paramterekhez tartoz Gibbs-eloszls

szerint. Ezt hasonltjuk ssze az els rkon trgyalt
1
+
2
+ +
i.i.d. sszegek viselkedsvel, ahol a
-k egyenknti eloszlsa azonos a
-jvel:
P(
= 1) = P(
= 1) =
1
2
(3.6)
Nagy szmok trvnye:
E
=1
)
2
=
2
ln
(, 0) = 2

(
(, 0)
)
=
2
(, 0)
Var
=1
)
2
=
4
2
ln
2
(, 0) =
4
2
(
(, 0)
)
0.
Amibl kvetkezik, hogy
Magas hmrskleten, <
=1
P
0
csakgy, mint az i.i.d.-k esetben.
Alacsony hmrskleten ( >
):
P
(
=1
((, 0) , (, 0) + )
)
1
2
Azaz: Alacsony hmrskleten a NSzT srl.
Nagy eltrsek: Jells: =
(, )
(, 0)
= E
(
exp
{
=1
})
.
Az els jegyzet jellsvel, az

() logaritmikus momentumgenerl fggvny
zikai jelentse: a nyoms:
() = lim
ln E
(
exp
{
=1
})
= (, ) (, 0).
Magas hmrskleten:

() konvex s analitikus, csakgy, mint
az i.i.d.-k esetben.
Alacsony hmrskleten:

() konvex de = 0-ban trik, ellen-
ttben az i.i.d.-k esetvel.
A nagy eltrsek valsznsgnek exponencilis lecsengst vezrl ()
rta fggvny zikai jelentse: a szabadenergia:
() = lim
ln P
(
=1

)
=
() inf
11
().
Magas hmrskleten: () szigoran konvex, csakgy, mint az
i.i.d.-k esetben.
Alacsony hmrskleten: () nem konvex, ellenttben az i.i.d.-k
esetvel. Azaz: alacsony hmrskleten ( <
) a megszokott NET
srl.
3. Megjegyzs. Vges dimenzis igazi geometriai struktrval rendelkez
modelleknl azt fogjuk ltni, hogy a megfelel fggvny a szabadenergia
ugyan konvex, de nem szigoran konvex, van egy lapos (lineris) rsze,
ugy nz ki, mint a
() fggvny als konvex burkolja. Ami szintn a

megszokott NET srlst jelzi.
Normlis uktucik magas hmrskleten: A vrhat rtk:
E
(
=1
)
=
(, 0) = 0.
A szrsngyzet:
E
=1
)
2
(, 0) (, 0) =
1
1
.
11. Ttel (CHT magas hmrskleten). Ha <
= 1, akkor
P
(
=1
<
)
1
2
exp
{
1
2

2
}
.
Magas hmskleti CHT bizonytsa karakterisztikus fggvnyek mdszervel.
Legyen
() := 2
=0
(
)
exp
{
2
(2 )
2
+
2
}
.
Akkor
E
(
exp
{
=1
})
=
()
(0)
.
()-ra a kvetkez kifejezst kapjuk:
() =
2
/2
2
=0
(
)
exp
{
+
(2 )
}
=
2
/2
[
cosh
(
+
)]
2
/2
exp
{
1
2
(
+ )
2
}
=
1
1

2
2(1)
Azaz
E
(
exp
{
=1
})

2
2(1)
,
amibl az llts kvetkezik.
Kritikus uktucik: A kvetkez nem centrlis hatreloszls-ttelt bi-
zonytjuk a spinsszeg kritikus hmrskleti uktuciira:
12. Ttel (R. S. Ellis s Ch. M. Newman ttele). =
= 1 s = 0
paramter rtkek mellett
P
(
=1
3/4
<
)
4
/12
4
/12
. (3.7)
Ellis s Newman ttelnek bizonytsa. Legyen a
-ktl fggetlen stan-

dard Gauss eloszls valsznsgi vltoz. Beltjuk, hogy
P
(

1/4
+
=1
3/4
<
)
=
exp{(/
1/4
}
exp{(/
1/4
}
, (3.8)
ahol
() :=

2
2
ln cosh . (3.9)
Mivel
1/4
P
0
s (3.8) jobb oldala konvergl (3.7) jobb oldalhoz, amint , (3.8)-bl
a Ttel lltsa kvetkezik.
A kvetkez levezetsben
norml faktorokat jell: a klnbz kp-

letekben nem flttlenl azonosokat. Legyen
() = P
(

=1
<
)
a spinsszeg eloszlsfggvnye s
() = P
(

=1
<
)
,
ahol a
-k (3.6) eloszls i.i.d.-k Vilgos, hogy (3.1) alapjn
() =
1
2
2
(). (3.10)
(3.8) bizonytsa kvetkezik:
P
(

1/4
+
=1
3/4
<
)
= P
(
=1
<
3/4
)
1
=
1

3/4
exp
{
2
2 +
2
2
}
()
2
=
1

3/4
exp
{

2
2
}

exp
{
}
exp
{

2
2
}
()
3
=
1

3/4
exp
{

2
2
}

exp
{
()
4
=
1

3/4
exp
{

2
2
}
exp
{
ln cosh

5
=
1

3/4
exp
{
[
(/)
2
2
ln cosh(/)
]}
6
=
1

3/4
exp{(/)}
7
=
1
exp{(/
1/4
)},
ami pontosan (3.8). Az els lpsben azt hasznltuk, hogy fggetlen val-
sznsgi vltozk sszegnek eloszlsfggvnye az egyes eloszlsfggvnyek
konvolcija. A msodik lps trivilis. A harmadik lpsben (3.10)-et hasz-
nltuk fel. A negyedikben azt, hogy
E
(
exp
{
=1
})
=
(
cosh()
)
.
Az tdik lps jbl trivilis. A hatodikban a fggvny (3.9) dencijt
hasznltuk. Vgl a hetedik lpsben egy :=
3/4
vltozcsert hajtot-
tunk vgre.
A fejezethez kapcsold irodalom: [2], [5].
4. fejezet
Ising-modell
-n;
termodinamikai limesz
4.1. Egydimenzis Ising-modell
Fizikai tr: egydimenzis diszkrt trusz , , /
,
=
{
1 ha ( ) mod = 1
0 ha ( ) mod = 1
A Hamilton-fggvny (mint rendesen):
() =
1
2
,=1
=1
=1
+1
=1
,
periodikus peremfelttelekkel, azaz + = mod Az llapotsszeg:
(, ) =
exp{
=1
+1
+
=1
}.
Legyen = (, ) a kvetkez 22-es mtrix
=
(
(1+)
(1)
)
13. llts.
(, ) = T
.
4. ISING-MODELL
-N; TERMODINAMIKAI LIMESZ 33

Bizonyts: Egyszer szmols.
8. Hzi feladat. Igazoljuk a 13. lltst.
Kvetkezskpp a mtrix sajtrtkeit kell kiszmolnunk, amelyek a
2
2
cosh() + 2 sinh(2) = 0
karakterisztikus egyenlet gykei:
1,2
(, ) =
cosh()
(
2
sinh
2
(, ) +
2
)
1/2
.
A nyomsra a kvetkez kifejezst kapjuk:
(, ) = lim
(, ) = lim
ln
(
1
(, ) +
2
(, )
)
= ln max{
1
(, ),
2
(, )}.
Azaz
(, ) = ln
(
cosh() +
2
sinh
2
() +
2
)
.
Teht az egydimenzis, els szomszd klcsnhats modell termodinamikai
nyomst explicit mdon ki tudtuk szmolni, de az eredmny nem nagyon
izgalmas: minden pozitv mellett (, ) analitikus. Nincs kritikus
jelensg, fzistmenet. ltalban: egydimenzis, rvid klcsnhat sugar
modellekben nincsen fzistmenet.
9. Hzi feladat. Szmoljuk ki a termodinamikai nyomst a Bethe-rcson
(azaz a > 2 fok homogn fn). Ez elg hosszadalmas szmols, de megri
a fradsgot, mert tanulsgos.
4.2. Ising-modell
-n
Fizikai tr: , ,
(vagy annak egy vges rsze).
,
=
{
1 ha = 1
0 ha = 1
Legyen
vges, tglatest alak rsze a dimenzis egsz rcsnak. A

Hamilton-fggvny:
() =
1
2
,
=1
.
Szabad peremfeltteleket vlasztottunk (vlaszthatunk volna jbl periodi-
kus peremfeltteleket). Az llapotsszeg termszetesen:
(, ) =
exp{
,
=1
}.
Az els alapkrds a termodinamikai limesz ltezse, azaz ltezik-e a kvet-
kez hatrrtk:
(, ) = lim

(, ) = lim
ln
(, ) (4.1)
Ahol
azt jelenti, hogy

+1
s
. Legyen
= { : dist(,
) }.
Azt mondjuk, hogy
van Hove rtelemben, ha
s ( < )-
re
0
14. Ttel (A termodinamikai limesz ltezse.). Ha
van Hove
rtelemben, akkor ltezik a (4.1)-beli limesz s a termodinamikai nyoms
fggetlen a vlasztott
sorozattl.
Bizonyts. Kt dimenziban, nvekv oldalhossz ngyzetekre fogjuk belt-
ni a ttel lltst. Az ltalnosts tetszleges van Hove rtelemben nvekv
tartomnyokra kiss hosszadalmas, de elvileg nem nehz. ltalnosts

tetszleges dimenzira trivilis.
Legyen tetszleges vges halmaz s
kt Hamilton-fggvny
-
n. Jelljk
:= max
()
() .
4. ISING-MODELL

Vilgos, hogy minden
-ra
()

()

()
,
amibl egyenesen addik, hogy
(, )
(, )

(, ),
azaz
(, )
(, )

. (4.2)
Legyen
= (
2
,

2
]
2

2
s
. Els lpsknt tekintsk az = 2
oldalhossz ngyzetek nvekv sorozatt. A

2
+1 ngyzetben tekintsk a
kvetkez kt Hamilton-fggvnyt:
2
+1() =
2
+1
(),
2
+1
() =
(1)
2
(1)
2
) +
(2)
2
(2)
2
) +
(3)
2
(3)
2
) +
(4)
2
(4)
2
),
ahol
(1)
2
, . . . ,
(4)
2
a
2
+1 ngyzet ngy termszetes negyede. Azaz:
a
ngy, egymssal nem klcsnhat negyed bels energiinak sszege. Vilgos,
hogy
2
+1
(, ) =
2
(, ).
(4.2)-t alkalmazva azt kapjuk, hogy
2
+1(, )
2
(, )
1
2
,
amibl egyenesen kvetkezik, hogy
lim
2
(, ) =: (, )
ltezik s
2
(, ) (, )
1
2
1
.
Msodik lpsknt tekintsnk tetszleges oldalhossz ngyzeteket. Az elbbi
rvels knynyen ltalnosthat a kvetkez kppen: , 1-re
(, )
(, )
2
.
Ebbl pedig az addik, hogy
(, ) (, )

(, )
2
(, ) +
2
(, )
2
(, ) +
2
(, ) (, )
+
2
2
+
2
2
.
-val vgtelenhez tartva pedig
(, ) (, )
2
.
10. Hzi feladat. A
2
tglalapokra val ltalnosts.
4. Megjegyzs. (4.2) alkalmazsval azt is lthatjuk, hogy a termodinami-
kai nyoms fggetlen a vlasztott peremfelttelektl.
4.3. Kicsit ltalnosabban
Megengedhetnk tbb-spin klcsnhatst is:

, < :
.
A formlis Hamilton-fggvny:
() =
:<
.
Eltolsinvariancia:
( : < ), (
) :
+
=
.
A modell ferromgneses, ha
0. Eddig vizsglt legegyszerbb

eset:
ha = {}
1 ha = {, }, = 1
0 egybknt
4. ISING-MODELL

Vgessgi felttel:
:0
< . (4.3)
rtelme: spinenknti tlagos energia vges. Prklcsnhats esetn:
{,}
:=
s a (4.3) felttel:

< .
11. Hzi feladat. A termodinamikai limesz ltezsnek ttele eltolsinva-
rins klcsnhatssal, (4.3) felttel mellett knnyen ltalnosthat.
4.4. A nyoms konvexitsa
Legyen
vges s , . Knnyen ellenrzhet, hogy
,
amibl kvetkezik, hogy
{}
s a termodinamikai limeszben
{}
a {} paramtereknek egyttesen konvex fggvnye. Hasonl mdon lthat,
hogy
1
=
is konvex.
Kt t ll elttnk:
(1) (, ) explicit kiszmolst ksrelhetjk meg bizonyos tbbnyre kt-
dimenzis modellekben;
(2) (, ) kvalitatv elemzse, explicit kiszmols nlkl.
Az explicit kiszmols kln tudomny (exactly solvable models ld. pl.
[2]), a 2-d Ising-modell megoldsval kezddtt (Lars Onsager, 1944), [2] a
tkletes irodalom. Mi a msodik utat azaz: a kvalitatv elemzst fogjuk
kvetni.
A fejezethez kapcsold irodalom: [2], [13], [28].
5. fejezet
Analitikussg I:
Kirkwood Salsburg-egyenletek
5.1. Az Ising-rcsgz
Az Ising-rcsgz modell teljesen ekvivalens az eddig trgyalt mgneses Ising-
modellel. Jelen cljainkra (e jegyzeten bell) knyelmesebb formalizmust
biztost. Viszont mindvgig hangslyozni fogjuk az ekvivalencit: az ered-
mnyeket vgl tfogalmazzuk a mgneses Ising-modellre is.
Fizikai tr: , ,
vagy annak egy vges rsze. Az llapottr:
:= { = (
= 0, 1} = {0, 1}
.
rtelmezs: egy rcsgz mikroszkopikus llapott rja le. Rcspontonknt
legfeljebb egy rszecske lehet (kemny mag):
= 0 nincs rszecske az
rcspontban;
= 1 van rszecske az rcspontban. A teljes

rszecske szmot -el jelljk:
=
.
A Hamilton-fggvny:
() =
1
2
,
( )
.
rtelmezs: az ,
rcspontokban l rszcske-pr klcsnhatsi ener-

gija ( ) = ( ). Feltesszk, hogy
(0) = 0.
5. ANALITIKUSSG I 39
Azaz: nincs nklcsnhats. Stabilitsi felttel (ld. az elz fejezet (4.3)
felttelt):
() = < . (5.1)
Legyen
:=
(). (5.2)
A nagykanonikus llapotsszeg:
(, ) =
exp{
() +
}
=
=0
(, ),
ahol a kmiai potencil,
= exp{}
a fugacits s
(, ) =
:=
exp{
()}
a kanonikus llapotsszeg. (A szavak persze nem fontosak, de j megjegyezni
ket: azonos mennyisgeknek ms-ms a zikai jelentsk attl fggen, hogy
mgneses- vagy rcsgz modellknt rtelmezzk a problmnkat.)
Ekvivalencia a mgneses Ising-modellel:
+ 1
2
,
= 2
1, (5.3)
( ) = 4
=
( )
4
, (5.4)
= 2 2
, =

2

()
4
, (5.5)
gz
(, ) =
mgnes
(, 2 + /2),
mgnes
(, ) =
gz
(, /2 /4). (5.6)
5.2. Korrelcis fggvnyek
Jelljk (
)-vel a
rcs vges rszhalmazainak halmazt:

(
) = { (
) : < }
Vges
-ra deniljuk a kvetkez korrelcis fggvnyt:
: () [0, 1],
() =
.
s a termodinamikai limeszben
: (
) [0, 1], () = lim
(), (5.7)
amennyiben a hatrrtk ltezik s egyrelm. Clunk: a () korrelcis
fggvny elemzse.
Ha mgneses nyelven beszlnnk a kvetkez korrelcis fggvnyt tekin-
tennk:
() =
(2
1)
()
(1)
().
12. Hzi feladat. Az albb trgyalt Mbius inverzis formult alkalmazva
mutassuk meg, hogy
() = 2
()
().
Teht megint azt ltjuk, hogy a rcsgz s a mgneses megfogalmazs
ekvivalens egymssal: egyikbl a msikat knnyen megkaphatjuk. Kizrlag
knyelmi okokbl vlaszottuk a rcsgz inerpretcit.
5.3. Szmols
Legyen (
) s
. rtelmezzk a kvekezket:
() :=
1
2
,
( )
(, ) :=
( ) (5.8)
Ezek zikai rtelme vilgos: () az halmazt teljesen elfoglal rszecs-
kk egymssal val teljes klcsnhatsi energija, (, ) pedig az -ben
lev rszecsknek az halmazt teljesen elfoglal rszecskkkel val teljes
klcsnhatsi energija. Ezek segtsgvel az llapotsszegre s a korrelcis
fggvnyre kvetkez kifejezseket kapjuk:
exp{()}
() =
1
exp{()}
=
1
exp{( )} (5.9)
Legyen = s vlasszunk egy teszleges -t. Jelljk
= {}.
= esetn a kvetkez azonossg addik:
( ) = (, ) + (, ) + (
).
Ezt felhasznlva (5.9)-bl a kvetkez kifejezst kapjuk:
() =
1
(,)
(,)
)
. (5.10)
5.4. Mbius inverzis formula
Legyen vges halmaz. rtelmezzk az : () fggvnyek halmazn
a kvetkez kt transzformcit:
() =
:
()
() =
:
(1)
()
15. llts (Mbius inverzis formula). Tetszleges : () fgg-
vnyre
= =

.
Mbius inverzis formula bizonytsa:
() =
() =
:
(1)
()
=
:
()
:
(1)
:
()
,
= ().
() =
:
(1)

() =
:
(1)
:
()
=
:
()
:
(1)
:
()
,
= ().
5.5. Szmols folytatsa
A Mbius inverzit alkalmazva (5.9)-bl a kvetkez azonossgot kapjuk:
1
exp{()} =
:
(1)
(). (5.11)
Ezt behelyettestjk (5.10)-be
()
1
= exp{(, )}
:
exp{(, )}
(1)
(
()
2
= exp{(, )}
:
exp{(, )}
:
(1)
( )
)
3
= exp{(, )}
:
[

:
(1)
)
exp{(, )}
]
(
( )
)
4
= exp{(, )}
()
1
)
(
( )
)
(5.12)
A fenti levezets els lpse (5.11) behelyettestse (5.10)-be. A msodik
lpsben = . A harmadik lpsben a kt sszegzs sorrendjt cserltk
fel. Vgl a negyedik lpsben a (, ) (5.8)-beli dencijt helyettestjk
be.
rtelmezzk a kvetkez magfggvnyt:
:
) , (, ) :=
()
1
)
. (5.13)
Termszetesen (, ) = 1 s (, ) = 0, ha . A (, ) magfgg-
vnyt felhasznlva (5.12)-bl azt kapjuk, hogy
() = 1
s
() =

(,)
1 +
(,)
(5.14)
) +
:
=
(, ) (
( ))
,
ha = s
= {}.
A albb denilt Banach-trben fogunk dolgozni:
B =
{
: (
:= sup
(
)
() <
}
.
Termszetesen
() (s (), amennyiben az (5.7) limesz ltezik) eleme a B

Banach-trnek. Jelljk
-val a kvetkez projekci opertorokat B-ben:

[
] () :=
()(), ahol
() :=
{
1 ha
0 ha
.
Trivilis ellenrizni, hogy
korltos, st
= 1.
Minden = (
)-hez rendeljk kanonikus mdon egy
elemt
pl.
egy tetszleges, de x lineris rendezsben lehet
= min ,
ami egyrtelmen meghatrozott. Tovbb legyen
= {
}. Az albbi
eredmnyek termszetesen fggetlenek lesznek az
elem kanonikus ki-

vlasztstl. Adott 0 mellett rtelmezzk a kvetkez lineris opertort
B felett:
[
] ()
=
0 ha =
,)
1 +
(
,)
ha =
[
(
) +
):
=
(, ) ((
) ( ))
]
16. llts. Minden 0-ra a
opertor korltos s

()
1 +
()
(
2 exp{
1} 1
)
. (5.15)
ahol s az (5.1), (5.2)-ben megadott konstansok.
Bizonyts. Az (5.15) korlt kt egyszer becslsbl addik. Elszr:
(
, ) =
) =
) ,
amibl addik, hogy
0 <

(
,)
1 +
(
,)

()
1 +
()
. (5.16)
Msodszor:
):
=
(, )
1
):
=
(, )
2
=
):
=
()
1
3
=
()
1
+ 1
}
1
4
exp{
()
1
} 1
5
exp{
()
1
)
} 1
6
exp{
1} 1 (5.17)
Az els lps trivilis. A msodik lpsben a (, ) magfggvny (5.13)-
beli rtelmezst hasznltuk. A harmadik lps egy egyszer kombinatorikai
azonossg. A negyedik lpsben az 1 +
, egyenltlensget
hasznljuk. Az tdik lps jbl trivilis. Vgl a hatodik lps a

+
+ 1, 0 egyenltlensgbl kvetkezik. (5.16)-bl s (5.17)-bl
kvetkezik (5.15).
13. Hzi feladat. Ellenrizzk a bizonyts harmadik lpsben szerepl
kombinatorikus azonossgot.
Jelljk 11-el a B Banach-tr kvetkez nevezetes elemt:
11() =
,
.
(5.14)-bl, tovbb
s 11 dencijbl lthat, hogy
a kvetkez
B-beli inhomogn lineris egyenletet elgti ki:
= 11 +

(5.15)-bl lthat, hogy ha
<
1
2
()
exp{
1} 1
=
1
(), (5.18)
akkor
< 1 (5.19)
s kvetkezskppen az
opertor invertlhat. Azaz
= (
)
1
11.
Ebben a kifejezsben vgrehajthatjuk a
limeszt s azt kapjuk, hogy

(5.18) felttel mellett
= (
)
1
11.
A jobb oldali
(
)
1
=
=1
Neumann sorfejts (5.19) miatt abszolt konvergens s [0,

1
())-ban
analitikus.
Knnyen belthat, hogy a
n. rszecske-lyuk transzformcival egy ekvivalens rcsgz modellt kapunk,

azonos hmrskleten s
(5.20)
fugacitssal. (A rszecske-lyuk transzformcinak a mgneses Ising-modell
spin-tkrzsi transzformcija felel meg.) A fenti rvelst erre vgrehatva,
majd az (5.20) transzformcit mgegyszer visszafel vgrehajtva azt
lthatjuk, hogy a korrecis fggvnyek a
> 2
(
exp{
1} 1
)
=
2
() (5.21)
tartomnyban is analitikus fggvnyei -nek.
1
() cskken, mg
2
() n-
vekv fggvnye -nak, tovbb
1
(0) = =
2
(),
1
() = 0 =
2
(0).
Kvetkezik, hogy ltezik egy
(0, ), gy, hogy

<

2
() <
1
(). (5.22)
Vgl (5.18), (5.21) s (5.22) alapjn arra kvetkeztetnk, hogy ha <
akkor analitikus az egsz > 0 fugacits tartomnyban. A

analitikussgbl a analitikussga is knnyen addik, mivel a korrel-
ci fggvny rtke az egyelem halmazon pontosan a nyomsnak a kmiai
potencil szerinti els derivltja:
({}) =
1
.
Belttuk teht a kvetkez ttelt:
17. Ttel (Kirkwood Salsburg-sorfejts konvergencija s analitikussg,
rcsgz nyelven). Fix > 0 mellett a
(, ln
1
()) (ln
2
(), )
tartomnyban a nyoms s a korrelcis fggvny a kmiai
potencil analitikus fggvnye.
Ez (5.3)(5.6) segtsgvel knnyen tfogalmazhat a mgneses Ising-
modellre. Legyen
3
() = 2
2
(
2
)
(
exp{
1} 1
)
.
18. Ttel (Kirkwood Salsburg-sorfejts konvergencija s analitikussg,
mgneses nyelven). Fix > 0 mellett a
(, ln
3
()) (ln
3
(), )
tartomnyban a nyoms s az korrelcis fggvny a kls
mgneses tr analitikus fggvnye.
A fejezethez tartoz irodalom: [13], [28].
6. fejezet
Analitikussg II: Lee s Yang
ttele
6.1. Egy kis komplex fggvnytan
Az albbi kt klasszikus komplex fggvnytani ttel s bizonytsuk megta-
llhat pldul a [29] knyvben.
19. Ttel (Vitali ttele). Legyen korltos, egyszeren sszefgg,
nyilt tartomny olyan, hogy = s
: , , fggvnyek
teljestsk az albbi hrom felttelt
(i) analitikusak a tartomnyon,
(ii) egyenletesen korltosak -n, azaz ( < ) gy, hogy
sup
sup
() ,
(iii)
( ) : lim
() = ().
Ekkor: analitikusan kiterjeszthet -rl -re s ha
, akkor
-en az
fggvnysorozat egyenletesen konvergl -hez, azaz

lim
sup
() () = 0.
6. ANALITIKUSSG II: LEE S YANG TTELE 49
20. Ttel (Hurwitz ttele). Legyen korltos, nylt tartomny,
,
s 0 analitikus fggvnyek -n rtelmezve, gy, hogy
( ) : () = lim
().
Ha
0
-szoros multiplicits zrushelye -nek s olyan krnyezete
0
-nak, amelyben -nek
0
-n kvl ms zrushelye nincsen, akkor ltezik egy
olyan , hogy minden > -re
-nek, multiplicitsokat is gyelembe

vve, pontosan darab zrushelye van -ban
6.2. Alkalmazs az Ising-modellre
A jl ismert prklcsnhatsos Ising-modellt tekintjk
-n:
() =
1
2
.
Vezessk be a
= exp{}
fugacits vltozt s a tovbbiakban fggvnyeinket komplex {0}-ra
kiterjesztve rtelmezzk. Az llapotsszeg:
(, ) =
exp{
}.
Legyen
Van Hove rtelemben s tekintsk (rgztett paramter

mellett) az
() = (
(, ))
1/
= exp{
(,
ln
)}
fggvnyeket. Ezekre a fggvnyekre prbljuk meg a fenti tteleket alkal-
mazni.
Legyen { : } olyan tartomny, mint a Vitali-ttelben.
Ellenrzzk az
fggvnysorozatra a Vitali-ttel feltteleit:

(i) Vges -ra
{0}
(, ) ,
s kvetkezskppen

()
is, termszetesen analitikus.
(ii) Az
fggvnyek -ben egyenletes korltossga abbl kvetkezik, hogy
(, )
2 max{ ,
1
} exp{ sup
,
}
.
A fenti egyenltlensg jobb oldaln az exponens a stabilitsi felttel
miatt vges.
(iii)
pontonknti konvergencija -en pedig nem egyb, mint a ter-

modinamikai limesz ltezse vals (vals ) esetn.
Vitali ttele alapjn teht kvetkezik, hogy az
= exp{
} fggv-
nyek a tartomnyban konverglnak egy analitikus fggvnyhez, amely
exp{} kiterjesztse valsrl komplex -kre.
Tegyk fel, hogy olyan tartomny, amelyben, vges sok kivtelvel,
(, )-nek nincsen zrushelye, azaz
(, ), (
), zrushelyeinek
nincsen torldsi pontja -ben. Ekkor Hurwitz ttele alapjn kvetkezik,
hogy a fenti limesz fggvnynek sincsen zrushelye -ben s kvetkezs-
kppen
ln ()
is analitikus. Belttuk teht a kvetkezt:
21. llts. Legyen {0} a
(, ), (
), zrushelyei torldsi
pontjainak halmaza. Ekkor
(
( {0})
)
(,
ln
)
analitikus.
A fzistmeneti paramterek azonostshoz teht meg kell hatroznunk
az halmazt.
6. ANALITIKUSSG II: LEE S YANG TTELE 51
6.3. Lee s Yang krttele
22. Ttel (Lee s Yang krttele). Legyen vges halmaz s A = (
,
)
,
vals szimmetrikus mtrix, amelynek mtrixelemei teljestik a
,
1
felttelt. A
A
() :=
-fok komplex polinom zrushelyei a { : = 1} komplex egysgk-

rn vannak.
Lee s Yang krttelnek egyenes kvetkezmnye az albbi
23. Ttel. Ferromgneses prklcsnhats Ising-modell esetn (
,
0)
minden rgztett 0 mellett (, ) analitikus a = 0 tartomnyban.
Maskpp szlva: fzistmenet csak = 0-ban lehetsges.
Kvetkezmny bizonytsa:
(, ) =
exp{
}
=
2
exp{
,
+

2
,
}
=
exp{
,
}
,
ahol
,
= exp{2
,
}.
Vilgos, hogy ferromgneses klcsnhats esetn a Lee Yang-krttel felt-
telei teljeslnek a
A
() =
exp{
,
}
(, )
polinomra s kvetkezskpp minden (
)-re s minden 0-ra
(, ) zrushelyei a komplex egysgkrn vannak. Ebbl lltsunk kz-

vetlenl addik.
Lee Yang-ttel bizonytsa: PTOLAND
6.4. Konklzi
A Kirkwood Salsburg s a Lee Yang-elmletbl egyttesen az addik, hogy
ferromgneses prklcsnhats Ising-modell fzistmenetei csak a
= 0,
<
paramterrtkek mellett lehetsgesek. A Kirkwood Salsburg-bl kapott
termszetesen nem optimlis (nagyobb a valdi
-nl). (bra a tbln.)

A fejezethez kapcsold irodalom: [28], [13], [29], [19], [20].
7. fejezet
Fzistmenet az Ising-modellben:
Peierls mdszere;
Griths-egyenltlensgek s
kvetkezmnyeik
7.1. A fzistmenet Peierls-fle bizonytsa
Ktdimenzis modellel fogunk foglalkozni. ltalnosts magasabb dimen-
zira magtl addik. Tekintsk a
2
tartomnyban az els szomszd
klcsnhats ferromgneses Ising-modellt kls mgneses trrel s szabad
peremfelttellel :
() =
=1
,
. (7.1)
Vilgos, hogy a nyoms pros, a mgnesezettsg pedig pratlan fggvnye
-nak:
(, ) =
(, ),
(, ) =
(, ).
Ezek a tulajdonsgok termszetesen a termodinamikai limeszben is rkld-
nek.
Clunk a kvetkez ttel beltsa:
24. Ttel (Rudolf Peierls ttele). Tekintsk a fenti Ising-modellt 2-ben.
Ltezik
< (
> 0), gy, hogy rgztett >
( <
) mellett
lim
0
(, ) = lim
0
lim
(, ) = (, +0) > 0, (7.2)

ami (, ) pratlan volta miatt pontosan az elsrend fzistmenetet
jelenti.
Peierls ttelnek bizonytsa. A (7.1)-ben szabad peremfelttellel denilt Ha-
milton-fggvny mellett rtelmezzk

-t +peremfelttellel :
() =
()
,
ahol
a tartomny bels hatra:
= { : dist(,
) = 1}.

-val jelljk a

-nak megfelel termodinamikai mennyisgeket. A ter-

modinamikai limesz ltezsnek bizonytsakor lttuk, hogy a limesz mennyi-
sgek nem fggenek a peremfeltteltl:
lim

2
(, ) = (, ) = lim
(, ), (7.3)
lim

2
(, ) = (, ) = lim
(, ).
(7.2) bizonytsa a kvetkez hrom lpsbl fog llni:
1. (ez lesz a lnyeg!) Beltjuk, hogy elg alacsony hmrskleten (azaz
elg nagy mellett)

(, 0) > 0 (7.4)
-ban egyenletesen azaz a pozitv konstans csak -tl fgg, -tl
nem.
2.
, ) konvexitsa miatt (ezt mr belttuk!) (7.4)-bl kvetkezik,

hogy 0-ra

(, )
(, 0) + .
7. FZISTMENET AZ ISING-MODELLBEN 55
3. A fenti egyenltlensg termszetesen a termodinamikai limeszben is
rkldik, teht (7.3)-at hasznlva
(, ) (, 0) + .
Ebbl pedig konvexitst megint hasznlva egyenesen addik
(7.2).
A msodik s harmadik lps trivilis, teht htra van mg (7.4) bizony-
tsa.

egy-egyrtelmen azonosthat egy =

+
()
() felosztssal
a kvetkez mdon:
+
() = { :
= +1},
() = { :
= 1}.
Termszetesen
+
() +
() = ,
+
()
() =
. (7.5)
E kt azonossgbl addik, hogy

(, 0) =

+

= 1 2
,
ahol . . .
0
a +-peremfelttellel s = 0 kls mgneses trrel rtelmezett
Gibbs-eloszls szerinti tlagolst jelenti.
Nevezzk elemi kontrnak a
2
+(
1
2
,
1
2
) (Whitney-fle) dulis rcsnak egy
egyszer krt, ami ugyanaz, mint a
2
rcs leinek egy olyan vges rszhal-
maza amely a rcsot kt diszjunkt (egy vges s egy vgtelen) sszefgg
rszre osztja. A tovbbiakban jelljk -val a kontr hosszt. Legyen
a =
+
-n belli kontrok halmaza. (
+
a tartomny kls
hatra.)

(vagy
) egy-egyrtelmen azonosthat egymst t nem metsz
-beli kontroknak halmazval is. Adott
mellett legyen
() =
{
1 ha jelen van kontrjai kztt
0 ha nincs jelen kontrjai kztt
A legkzenfekvbb izoperimetrikus egyenltlensg felhasznlsval addik,
hogy
()
4
)
2
().
s ebbl termszetesen
()
4
)
2
()
0
, (7.6)
ahol
()
0
=
() exp{

()}
exp{

()}
. (7.7)
Adott
mellett legyen
,
= {
: jelen van kontrjai kztt }
,
= {
: kontrjai ldiszjunktak -tl }

s
, (
=
{
ha krljrja -et
ha nem jrja krl -et

Azaz
a ltal hatrolt terleten belli spineket megfordtja, a tbbieket

rintetlenl hagyja. Vegyk szre, hogy
bijekcit ltest
,
s
,
kztt s

,
-ra

() =

) + 2 .
Ezt felhasznlva, (7.7)-bl azt kapjuk, hogy
()
0
=
,
exp{

()}
exp{

()}
,
exp{

()}
,
exp{

()}
=
2
Ezt behelyettestve (7.6)-ba azt kapjuk, hogy
()
4
)
2
2
=
()
(
4
)
2
2
, (7.8)
ahol
() az hossz kontrok szma -ban
() = {
: = } .
Elemi leszmolsbl knnyen addik a kvetkez fels becsls
()-re:
()
{
0 ha pratlan
4 3
1
ha pros
Vgl ezt a becslst hasznlva (7.8)-bl azt kapjuk, hogy
()

1
3
=0
2
exp{2(log 3 2)},
ami tetszlegesen kicsi, ha elg nagy. Ebbl s (7.5)-bl kvetkezik, hogy

(, 0) tetszlegesen kzel lehet 1-hez elg nagy mellett -ban egyen-

letesen.
7.2. Griths Kelly Sherman-fle korrelcis
egyenltlensgek
Legyen vges halmaz s tekintsnk rajta egy ltalnos (teht nem feltt-
lenl pr-) klcsnhatsos Ising-modellt. Azaz legyen
()
.
A Hamilton-fggvny
() =
()
,
ahol
.
A , ,
paramtereket rgztve tartjuk s az ezektl val fggst e rszen

bell nem jelljk. A kvetkez ttelt fogjuk beltni:
25. Ttel (GKS-egyenltlensgek). Ha a klcsnhats ferromgneses, azaz
() :
0, akkor a kvetkez egyenltlensgek teljeslnek:

: ( ) :
0, (7.9)
: (, ) :
0. (7.10)
Azt mr rgen tudjuk, hogy
=
1
ln
=
1
2
ln
=
1
=
1
,
=
= kovariancia mtrix s ebbl kvetkezik ter-

mszetesen, hogy pozitv denit. A (7.10) egyenltlensg a mtrixelemek
egyenknti pozitv voltt lltja, ami a pozitv denitsgtl logikailag telje-
sen fggetlen.
A ttel teht azt lltja, hogy ferromgneses klcsnhats esetn a
,
valsznsgi vltozk vrhatrtkei s korrelcii egyarnt nem-negatvak.
(7.10)-bl az is kvetkezik, hogy a
vrhatrtkek a
ferromgneses
klcsnhatsi egytthatknak monoton nvekv fggvnyei.
GKS-egyenltlensgek bizonytsa:
spinkongurcik egy-egyrtelm-
en azonosthatk () rszhalmazokkal a kvetkez mdon:
= 1 2
(), = { :
= 1}.
Ebben a reprezentciban a
spinszorzatok a kvetkez fggvnyek
: () {1, 1},
() := (1)
.
() kommutatv csoportot kpez a
= ( ) ( )
szimmetrikus dierencival, mint szorzssal. A csoport semleges eleme az
res halmaz s minden elem nmaga inverze
1
= . Knny ellenrizni,
hogy a
fggvnyek eleget tesznek a kvetkez azonosgoknak: (, ,

()) :
() =
(),
() =
()
(), (7.11)
() =
()
(). (7.12)
(7.9) bizonytsa: Ebben a reprezentciban

1
=
() exp{
()} (7.13)
2
=
()
=0
1
,
2
,...,
1
()
2
() . . .
()
3
=
=0
1
,
2
,...,
2
. . .
()
1
()
2
() . . .
()
Az els lpsben
dencijt hasznltuk, a msodik lpsben az ex-

ponencilist sorba fejtettk, a harmadikban pedig az sszegzsek sorrendjt
cserltk fel (konvergencia problmk nincsenek). De (7.11)-et hasznlva
()
1
()
2
() . . .
() =
2
...
()
=
{
2
ha =
1
2
. . .
0 ha =
1
2
. . .
Ezt a kifejezs behelyezve (7.13) jobb oldalra azt lthatjuk, hogy ferromg-
neses klcsnhats esetn
nem-negatv tagok sszegeknt llthat el,

ami bizonytja az els (7.9)-et.
5. Megjegyzs. A fenti bizonytsbl az is ltszik, hogy ha =
1
2
. . .
olyan
1
, . . . ,
-ekkel amelyekhez tartoz
klcsnhatsi egytthatk po-

zitvak, akkor
> 0. (Ez a megjegyzs ptolja a hinyz lncszemet a

Lee Yang-ttel bizonytsban.)
(7.10) bizonytsa:
2
(
)
(7.14)
1
=
exp{
()}
()
() exp{
()}
() exp{
()}
() exp{
()}
2
=
()
()
()) exp{
() +
())}
3
=
(1
())
() exp{
(1 +
())
()}
4
=
(1
())
() exp{
(1 +
())
()}
Az els lpsben
dencijt hasznltuk. A msodik l-

psben az sszeget egyszeren trendeztk. A harmadik lpsben a (7.11)
s (7.12) azonossgokat hasznltuk ki. Vgl a negyedik lpsben kihasz-
nlva, hogy () csoport a szimmetrikus dierencival, mint szorzssal a
= sszegzsi vltozt vezettk be.
Rgztett mellett legyen
(1 +
())
Vilgos, hogy
0
s a (7.14) jobb oldaln lv bels sszeg (7.9) alapjn nem-negatv:
() exp{
()} 0
Mivel 1
() szintn nem-negatv, (7.14) jobb oldaln a szerinti sszeg

minden tagja nem-negatv. Ezzel (7.10)-et is belttuk.
7.3. A GKS egyenltlensgek nhny alkalmaz-
sa
1. (7.9) bizonytsnak vgn tett megjegyzsnknek megfelelen ezt hasz-
nljuk a Lee Yang-ttel bizonytsnak egy lpsben.
2. Peierls bizonytsbl s (7.10)-bl addik fzistmenet bizonytsa az
olyan eltolsinvarins ferromgneses Ising-modellekre
-n, amelyekre
= 0 ha pratlan s
> 0 ha = {, }, = 1.
3. A Dyson-fle hierarchikus modellre vonatkoz eredmnyekbl s (7.10)-
bl kvetkezik fzistmenet egydimenzis hossz tv prklcsnhats
Ising-modellre:
,
( )
2
.
4. Korrelcis fggvnyek ltezse a termodinamikai limeszben (monoto-
nicits tjn) a Kirkwood Salsburg-fle konvergencia tartomnyon k-
vl is.
A fejezethez kapcsold irodalom: [28], [13], [24], [10], [11], [12], [14].
8. fejezet
A klasszikus Heisenberg-modell:
tkrzsi pozitivits s infravrs
korltok
8.1. Folytonos szimmetrij modellek
Legyen
1
= { = (
1
, . . . ,
:
2
1
+ +
2
= 1}
a dimenzis egysggmb (fellet) s tekintsnk egy olyan rcs spin-modellt,
amelynek egyes spinjei
1
elemei. Azaz az llapottr:
=
(
1
)
= { =
(
()
)
: ()
1
}.
Az
llapottren a
()
empha priori mrtket tekintjk, ahol () az rcspont feletti
1
gmbfelleten a Haar-mrtk. A modell Hamilton-fggvnye:
() =
1
2
=1
,
() (), (8.1)
ahol
tglatest alak rszhalmaz s periodikus peremfeltteleket te-

kintnk. (Ennek elssorban knyelmi okai vannak.) Az egyenslyi Gibbs-
8. A KLASSZIKUS HEISENBERG-MODELL 63
eloszls
-n:
() =
1
exp{
()}
(). (8.2)
= 1 esetben ez pontosan a mr jl ismert Ising-modell: a Hamilton-
fggvnynek s a Gibbs-mrtknek globlis
2
bels szimmetrija van (spin-
tkrzs), ami 2-ben alacsony hmrdkleten a termodinamikai limesz-
ben spontn mdon srl els rend fzistmenetet mutat. Ennek oka
(s bizonytsi mdja) a Peierls-jelensg: a kontrok jl deniltak s egy
kontr energija a hosszval arnyos.
A 2 esetek a fentitl lnyegesen eltrnek. Ekkor a globlis bels szim-
metria (), a dimenzis tr forgatscsoportja. Ez 2 esetekben nem
diszkrt, hanem folytonos csoport. Krds: ez tud-e srlni, mely dimenzi-
kban? Vilgos, hogy a Peierls rv itt nem alkalmazhat (pontosabban: meg
sem fogalmazhat rtelmesen).
Szhasznlat: = 1: Ising-modell; = 2: sk rottor; = 3: klasszikus
Heisenberg-modell.
8.2. A hossz tv rend paramter
Hussz tv rend paramternek (long range order parameter) az
() = lim
()
)
2
= lim
(0)()
mennyisget nevezzk. A msodik egyenlsgben a

()()
= (0)( )
eltolsinvariancit hasznljuk, ami a periodikus peremfelttel kvetkezmnye

( diszkrt trusz). Azt mondjuk, hogy a modellben van (ill. nincs) hossz
tv rend (LRO), ha > 0 (ill. ha = 0). A LRO valsznsgszmtsi
jelentse vilgos: a globlis bels szimmetria kvetkeztben ()
= 0,
de LRO megjelense esetn az

=
() teljes mgnesezettsgnek
nagysgrend makroszkopikus uktucii vannak. Teht a nagy szmok
trvnye srl. Ez a spontn szimmetria trs az els rend fzistmenet
megnyilvnulsa, abban az rtelemben is, hogy a nyoms nem analitikus
0-ban:
26. Ttel (R. Griths ttele). Ha () > 0 akkor
(,
szerinti els parcilis derivltjai nem folytonosak

=
-ban.
6. Megjegyzs. A nyoms most
-nak forgsszimmetrikus fggvnye.

E ttelt esetleg ksbb bizonytjuk, ha marad r idnk. Nem nehz.
8.3. Eredmnyek
A negatv eredmny
27. Ttel (Mermin Wagner-ttel (1967)). Ha 2, azaz a modellnek
folytonos bels szimmetrija van, akkor egy s kt dimenziban brmely vges
mellett (azaz brmely pozitv hmrskleten) () = 0, nincsen LRO.
7. Megjegyzs. Emlkezznk: az Ising-modell diszkrt bels szimmetri-
ja mr kt dimenziban is srlt alacsony hmrskleten. Itt teht lnye-
ges zikai klnbsg van. (Fenomenologikus magyarzat a tbln.) Msfaj-
ta, hossz tv renddel nem jr fzistmenet elkpzelhet (n. Kosterlitz
Thouless-jelensg magyarzat a tblnl), de ennek a matematikjt mg
nem rtjk. A Mermin Wagner-ttelt ksbb, kvantum-kontextusban fogjuk
bizonytani.
A pozitv eredmny
28. Ttel (Frhlich Simon Spencer-ttel (1976)). Hrom s magasabb di-
menziban minden -re ltezik
< (
> 0), gy, hogy >
( <
)
mellett () > 0, van LRO.
8. Megjegyzs. A kvetkez eladsokon e ttelt fogjuk bizonytani. A bi-
zonyts mdszere az n. infravrs korltok, Gauss-dominancia s tkr-
zsi pozitivits (infrared bounds, Gaussian domination, reection positivity)
nagyon ers, tanulsgos, szertegaz alkalmazsi lehetsgekkel.
8.4. Fourier-transzformci a diszkrt truszon,
jellsek, konvencik
Legyen
=
{
= (
1
, . . . ,
) :
/2,
/2] , = 1, . . . ,
}
a dimenzis diszkrt trusz
1
, . . . ,
oldalhosszakkal. Ksbb fel

fogjuk tenni, hogy az
oldalhosszak pros szmok.

2
() a -n rtelmezett
komplex rtk fggvnyek euklideszi tere a termszetes
(, ) =
()()
skalris szorzattal. dulis trusza
=
{
= (
1
, . . . ,
) :
= 2
/2,
/2] , = 1, . . . ,
}
[, ]
2
(
) a
-on rtelmezett komplex rtk fggvnyek Euklideszi tere a

(, )
=
1
()()
bels szorzattal. A direkt- s inverz Fourier transzformci:
2
()

2
(
) :

() :=
(),
2
(
)

2
() :

() :=
1
(),
ahol
=
=1
.
Knny ellenrzni, hogy e kt transzformci unitr:
,
2
() :

= , (

, )
= (, ),
,
2
(
) :

= , (

, ) = (, )
.
A Fourier transzformcit (ltalban) azrt szeretjk, mert az eltolsinvari-
ns opertorokat diagonalizlja. Pontosabban, ha
A = (
,
)
,
egy olyan mtrix, amelynek mtrixelemei csak az klnbsgtl fggenek
(periodikus peremfelttelekkel)
,
= ( )
akkor
[A]() = ()

().
Egy nevezetes opertor: a diszkrt Laplace opertor
= (
,
)
,
,
,
=
2 ha = 0
1 ha = 1
0 ha > 1
pozitv szemidenit; a Fourier transzformltja:
() = 2
=1
(1 cos
).
A Fourier transzformci alaptulajdonsgait, azonossgait stb. ismertnek
felttelezzk s llandan hasznlni fogjuk.
8.5. A Frhlich Simon Spencer bizonyts fbb
stcii
Bevezetjk a spin-spin pr korrelci fggvnyt:
,
() =
,
() =
(0)
()
()
( + )
. (8.3)
Mivel az albb kvetkez bizonytsban szerepl azonossgok, becslsek stb.
-tl fggetlenek (ill. -ban egyenletesek), a jellsek egyszerstse vgett
a -tl val fggst nem fogjuk explicit mdon jellni.
A (8.3)-ban denilt korrelci fggvnyek Fourier transzformltjai:

,
() =
,
().
(A) Infravrs korlt (IRB) a korrelci fggvnyekre ez lesz a bizonyts
lnyege. Be fogjuk ltni, hogy minden -ra s minden
= 0-ra a
(
1
()
,

,
()
)
,=1
mtrix pozitv szemidenit. Ez egy borzaszt ltalnos korlt: a modell
mikro-rszleteitl szinte teljesen fggetlen.
(B) Egy egyszer azonossg:
1 = (0) (0)
=1
,
(0) =
1
=1

,
()
=
1
=1

,
(0) +
1
=0
=1

,
().
(C) Konklzi: (A)-bl s (B)-bl kvetkezik, hogy
1
1
=1

,
(0) +

=0
1
()
. (8.4)
Vegyk szre, hogy

,
(0) =
(0)
()
.
Teht (8.4) ugyanaz mint
1
(0)
()
=0
1
()
.
A jobb oldali msodik tag egy Riemann-sszeg s vilgos, hogy
lim
=0
1
()
=
1
(2)
[,]
1
()
=:
. (8.5)
Mivel 1/() egyetlen szingularitsa a = 0 pontban van s
() =
2
+ (
4
), 0,
a (8.5) jobb oldaln lv integrl egy s kt dimenziban divergens, de
hrom- s annl magasabb dimenziban vges. Mindezt sszegezve, azt
kapjuk, hogy hrom s magasabb dimenziban
() 1

,
ami elg nagy -ra (elg kis hmrskleten) pozitv, st 1-hez (azaz
teltettsghez) tart, amint ( 0).
8.6. Az infravrs korlt bizonytsa
A (8.1) Hamilton-fggvny kvetkez ekvivalens alakjait fogjuk hasznlni
(mikor melyik knyelmesebb):
() =
1
2
=1
,
() ()
=
1
2
,
()
,
() =
1
2
()
=
1
4
=1
,
(
() ()
)
2
.
Legyen () tetszleges
-beli vektorrtk fggvny (vektormez) -n:

() = (
1
(), . . . ,
())
s rtelmezzk a kvetkez -fgg llapotsszeget:
() =
exp{
2
( +) ( +)}.
Vegyk szre, hogy
() csak a () () klnbsgektl fgg.
0) =
pontosan a (8.2)-beli Gibbs-mrtk szoksos llapotsszege. Az albbi

azonossgot knny ellenrzni:
() = exp{
2
}
0) exp{ }
. (8.6)
29. Ttel. A kvetkez lltsok igazak:
(1) A
() fggvnynek =
0-ban globlis maximuma van, azaz :
()
0). (8.7)
(1) (Gaussian Domination) :
exp{ }
exp{
1
2
}. (8.8)
(2) :
,=1
,,,
()
,
()
()
() =
.
(2) (Infrared Bound)
= 0:
(
1
()
,

,
()
)
,=1
pozitv szemidenit mtrix.
9. Megjegyzs. A fenti ngy lls logikailag a kvetkezkpp viszonyul
egymshoz:
(1) (1
) (2) (2
).
(1) s (1
) ekvivalencija (8.6)-bl kzvetlenl addik, (2) s (2
) ekvivalen-
cija pedig Fourier transzformci tjn. (8.8)-at msodrendig sorbafejtve
szerint megkapjuk a kzps implikcit. Neknk vglis (2
)-re lesz szk-

sgnk, de az ersebb (1) lltst fogjuk beltni.
A 29. Ttel bizonytsa
30. llts (Tkrzsi pozitivits = Reection positivity). Legyen (, )
vges mrtktr s
, ,
1
, . . . ,
,
1
, . . . ,
:
korltos, mrhet fggvnyek. A kvetkez egyenltlensg igaz:
()() exp{() + ()
1
2
=1
[
()
()]
2
}
2
(8.9)
()() exp{() + ()
1
2
=1
[
()
()
]
2
}
()() exp{() + ()
1
2
=1
[
()
()
]
2
} (8.10)
Tkrzsi pozitivits bizonytsa: = 1-re fogjuk az lltt bizonytani, lta-
lnos -re a bizonyts elvben nem nehezebb, csak a jells bonyoldik
el.
()() exp{() + ()
1
2
[() ()]
2
}
2
1
=
()() exp{() + ()}
2
2
exp{[() ()]}
2
2
=
2
2
(
() exp{() + ()}
)
() exp{() ()}
)
2
3
2
2
() exp{() + ()}
() exp{() ()}
2
2
() exp{() + ()}
() exp{() ()}
4
=
()() exp{() + ()}
2
2
exp{[() ()]}
()() exp{() + ()}
2
2
exp{[() ()]}
5
=
()() exp{() + ()
1
2
[() ()]
2
}
()() exp{() + ()
1
2
[() ()]
2
}
Az els egyenlsgben az
2
/2
=
2
2
exp{}, (8.11)
azonossgot hasznltuk. A msodik egyenlsgben az integrls sorrend-
jt cserltk fel (konvergencia problma nincsen). A harmadik lpsben
a Schwarz-egyenltlensget hasznltuk. A negyedik s tdik lpsben j-
bl (visszafel) felcserltk az integrlsi sorrendeket, illetve a (8.11) Gauss-
integrl formult hasznltuk ki.
Most rtrnk a (8.7) egyenltlensg bizonytsra. Feltesszk, hogy a
diszkrt trusz minden oldalnak hossza pros. Legyen
=
jobb

bal
(8.12)
a trusz felbontsa kt szimmetrikus flre egy olyan hipersk ltal, amely
csak leket metsz flbe s
:
a (8.12) felbontst megvalst hipersk szerinti termszetes tkrzs. A Tk-
rzsi Pozitivitst alkalmazzuk a kvetkez szitucira:
=
(
1
)
jobb
=
(
1
)
bal
,
= (())
jobb
, = (())
bal
,
() =
jobb
(), () =
bal
(),
() =
=1
,
jobb
(() +() () ())
2
,
() =
=1
,
bal
(() +() () ())
2
,
=
(
(, ),
)
:
jobb
,
bal
, = 1, . . . , ,
[
()
()]
2
= (
() +
()
()
())
2
.
Ha adott vektormez -n, akkor legyen
j
ill.
b
a kvekez kt vektormez:
j
() :=
{
() ha
jobb
() ha
bal
b
() :=
{
() ha
bal
() ha
jobb
A fenti azonostsokkal (8.9) Tkrzsi pozitivits alkalmazsval kvetkezik,
hogy
()
2

(
j
)
(
b
). (8.13)
Mivel
lim
() = 0
a
() maximumhelyei egy kompakt tartomnyon bell vannak. Legyen
olyan maximum-hely, amelyre
= {(, ) l -ban :
() =
()}
lehet minimlis. Ha
= 0, akkor
0, teht (8.7) igaz. Tegyk fel ht,

hogy
= 0. Valstsuk meg a (8.12) felosztst olyan tkrzsi skkal, amely

keresztlmetsz egy olyan (, ) let, amely mentn
() =
(). Mivel
maximum-hely, (8.13) alapjn
j
-nek s
b
-nek is maximum-helynek kell
lennie, egybknt (8.13) miatt ellentmondshoz jutnnk. De vilgos, hogy
j
=
{(, ) l -ban :
j
() =
j
()}
b
= {(, ) l -ban :
b
() =
b
()}
kzl legalbb az egyik szigoran kisebb
-nl. Ezzel ellentmondshoz ju-

tottunk, teht
= 0 s
0 valban globlis maximum-hely.

Ezzel Frhlich, Simon s Spencer ttelt is belttuk.
8.7. Nhny megjegyzs s tanulsg
(1) A mdszer ereje az ltalnossg: a Tkrzsi Pozitivits algebrailag
messzemenen ltalnosthat. Mig is egyetlen mdszer folytonos szim-
metriatrs bizonytsra. Kvantum alkalmazst ksbb fogunk ltni.
(2) A mdszer htrnyai az algebrai merevsgbl addnak, ezt majd a kvan-
tum esetben fogjuk igazn rzkelni
(3) Figyelmesen vgigkvetve a bizonytst lthatjuk, hogy a rcs geomet-
riai strukturja fontos (pl. pros oldalhosszat kell felttelezni) tovbb
azt, hogy a klcsnhats ferromgneses. (A kvantum esetben rdekes
meglepetsben lesz rsznk.)
A fejezethez kapcsold irodalom: [9], [7], [8], [21], [22], [23].
9. fejezet
A kvantum Heisenberg-modell
9.1. Kvantum statisztikus zikai formalizmus
szeparbilis komplex Hilbert tr: a -beli vektorok (pontosabban egy-
dimenzis alterek) a lert zikai rendszer llapotai. nadjunglt lineris
opertor felett: a zikai rendszer Hamilton-opertora. Feltesszk, hogy
minden pozitv -ra
() := Tr
(
)
vges. Konkrt esetnkben vges dimenzis lesz, teht korltossgi prob-
lmk nem lpnek fel, a Tr-ek automatikusan vgesek. Meggyelhet zikai
mennyisgeket korltos nadjunglt opertorok reprezentlnak. Termikus
tlagok:
:=
Tr
(
)
()
.
Korrelci jelleg mennyisgeket lejjebb fogunk denilni.
9.2. (2) reprezentcii
Az (2) csoport vges dimenzis irreducibilis reprezentcii jl ismertek.
Minden =
1
2
, 1,
3
2
, 2, . . . -hoz van pontosan egy 2 +1 dimenzis, azaz
2+1
feletti irreducibilis, h brzols, amelynek

= (
1
,
2
,
3
) genertorai a
9. A KVANTUM HEISENBERG-MODELL 75
kvetkez kommutcis szablyoknak tesznek eleget:
[
] =
,,
, ., {1, 2, 3}, (9.1)
2
1
+
2
2
+
2
3
= ( + 1). (9.2)
Tovbb: a (9.1), (9.2) relcik unitr ekvivalenciig egyrtelmen megha-
trozzk az

= (
1
,
2
,
3
) genertorokat. Konktan, = 1/2 esetn a
= (
1
,
2
,
3
) genertorok a Pauli mtrixok:
1
=
1
2
(
0 1
1 0
)
,
2
=
1
2
(
0
0
)
,
3
=
1
2
(
1 0
0 1
)
.
Ha
3
, legyen
=

=
1
1
+
2
2
+
3
3
.
A (9.1) kommutcis szablyokbl addik, hogy
[
] =
.
Ez utbbi kommutcis relcinak pedig egyenes kvetkezmnye, hogy
, (9.3)
ahol
az vektornak a vektor krli szggel val elforgatottja. Teht

az
unitr opertor a spin trben val forgatsknt hat.

Nha knyelmesebb az (
1
,
2
,
3
) genertorok helyett az (
+
,
,
3
) ge-
nertorokat hasznlni, ahol
+
:=
1
+
2
,
:=
1
2
.
Ezek kommutcis szablyai:
[
+
,
] = 2
3
, [
3
,
] =
.
A tovbbiakban szabadon fogjuk hasznlni mindkt genertorrendszert, asze-
rint, hogy mikor melyik knyelmesebb.
9.3. A kvantum Heisenberg-modell
Legyen egy dimenzis diszkrt trusz, amelynek minden oldalhossza p-
ros. Azaz
pros oldalhossz tglatest alak doboz, periodikus pe-

remfelttelekkel. Hilbert ternk
2+1
,
dimenzija ( felett) dim(
) = (2 + 1)
< . Ha egy opertor
2+1
felett, akkor jelljk ()-szel a kvetkez tenzor-szorzat opertort
felett:
() = ,
ahol az rcspont feletti
2+1
tren hat.
A Heisenberg-modell Hamilton-opertora:
=
1
2
,
=1
(
1
()
1
() +
2
()
2
() +
3
()
3
())
3
()
=
1
2
,
=1
(
+
()
() +
3
()
3
()
)
3
().
Teht: els szomszd spinek (spin trben) anizotrop mgneses klcsnhats-
sal hatnak klcsn s a 3-adik (-irny) spin irnyban kls mgneses tr
hat. Irodalomban ezt a modellt gyakran XXZ-modell-nek nevezik, rthet
okokbl. Ha > 0, a modell ferromgneses. Ha < 0, akkor antiferromg-
neses. Ez a kvetkez mdon lthat: legyen
= exp
1
++
pros
3
()
.
(9.3) rtemben az unitr opertor a pros alrcson l spineket forgatja
meg szggel a 3-dik spin irny krl. Knny beltni, hogy az unitr
opertor a kvetkez mdon transzformlja a Hamilton-opertort:
=
1
2
,
=1
(
1
()
1
() +
2
()
2
()
3
()
3
())
3
()
Teht < 0 esetn valban antiferromgneses klcsnhatsokat kapunk.
= 0 esetn XY-modellrl beszlnk, amely egyenl mdon ferro- vagy
antiferromgneses (ill. egyik sem). = +1 az izotrop ferromgnest, = 1
az izotrop antiferromgnest adja.
9.4. Bels szimmetrik
Klasszikus (i.e. nem kvantum) rendszerek bels szimmetriit az llapottren
hat csoporthats rja le. Pontosabban, az llapottr s : a
Hamilton-fggvny. A csoport a rendszer bels szimmetrija, ha ltezik
egy
() csoporthats az llapottren, amely a

Hamilton-fggvnyt invarinsan hagyja:
( ) (
) = ().
Pldk:
(1) Prklcsnhats Ising-modell = 0 kls mgneses trben
2
a bels
szimmetrija (spinek szimultn megfordtsa).
(2) Klasszikus Heisenberg-modell > 1 komponens spinekkel:
(a)

=

0 kls mgneses trben () a bels szimmetria (spinek szi-
multn prhuzamos forgatsa);
(b)

=
0 kls mgneses trben ( 1) a bels szimmetria (a spinek
-ra merleges komponensnek szimultn prhuzamos forgatsa).

Kvantumrendszerek bels szimmetriit a csoport feletti unitr vagy
antiunitr reprezentcii irjk le, amelyek a Hamilton-opertort invarinsan
hagyjk. Azaz: a csoport a zikai rendszer bels szimmetrija, ha ltezik
egy
() unitr vagy antiunitr reprezentci, amelyre

( )
= .
rjuk le a kvantum Heisenberg-modell bels szimmetriit!
Folytonos szimmetrik
Ha = 1 vagy = 0, (1) bels szimmetria.
14. Hzi feladat. Ellenrizzk a
[
3
(),
]
= 0
kommutcis relcit.
Mivel
3
() az (1) csoportnak
feletti (reducibilis) reprezentcijt

generlja:
(2, 2]
:= exp
(
3
()
)
. (9.4)
lltsunk (9.3)-bl egyenesen addik.
Ha = 1 s = 0, a folytonos bels szimmetria (2)-v bvl.
15. Hzi feladat. Ebben az esetben ellenrizzk a kvetkez kommutcis
relcikat:
[
(),
]
= 0, = 1, 2, 3.
Mivel

(), = 1, 2, 3 az (2) csoportnak
feletti (reducibilis)
reprezentcijnak genertorai, (9.3)-bl valban addik (2) mint bels
szimmetria.
Diszkrt szimmetria
Ha = 1 s = 0, a fent mr megtallt (1) szimmetria mellett
tallhat mg egy
2
szimmetria is. Legyen
= exp
(
1
()
)
.
16. Hzi feladat. Ellenrizni, hogy = 0 esetben
=
s
, (9.5)
ahol
(9.4)-ben megadott forgats.

sszegezve, a kvetkez szimmetrikat kaptuk:
= 0 : (1)
= 1, = 0 : (1) +
2
(9.5)-beli szorzsszabllyal
= 1, = 0 : (2).
Bennnket most a folytonos szimmetria esetleges srlse rdekel. A bels
szimmetrik kvetkeztben knny beltni, hogy
() = 0. (9.6)
rtelmezzk a hossztv rend paramtert:
() := lim
() = lim
()
)
2
, (9.7)
(9.6)-ban s (9.7)-ben = 1, 2 az anizotrop ( = 1 vagy = 0) esetben s
= 1, 2, 3 az izotrop ( = 1, = 0) esetben.
jbl ktflekppen rtelmezhetjk a bels szimmetria srlst:
(1) Egyik krds a hossz tv rend (LRO) lte: ()
?
> 0.
(2) Msodszor: bevezethetnk egy kis szimmetria srt tagot a Hamilton-
opertorba, amit a termodinamikai limesz utn eltntetnk, s krdez-
hetjk, hogy mindezek utn marad-e nyoma a szimmetria srtsnek, van-
e n. spontn mgnesezettsg. Legyen
()
=
1
2
,
=1
(
1
()
1
() +
2
()
2
() +
3
()
3
()) (9.8)
3
()
1
()
=
1
2
,
=1
(
+
()
() +
3
()
3
()
)
3
()
1
(),
s jelljk
()
-vel az ezzel a Hamilton-opertorral szmolt tlagokat.
Legyen
()
() = lim
()
() = lim
1
()
()
.
A msodik krds teht, hogy van-e spontn mgnesezettsg (SM):
lim
0
()
()
?
= 0.
E kt krds nem teljesen de szinte ekvivalens. Bizonyts nlkl
fogadjuk el a kvetkez lltst:
31. Ttel (R. Griths ttele).
const.()
(
lim
0
()
()
)
2
ahol const. csak a dimenzitl s a spin sagysgtl (-tl) fgg konstans.
Azaz: a hossztv rend ltezsbl kvetkezik a spontn mgnesezettsg.
ill. a spontn mgnesezettsg hinybl kvetkezik a hossztv rend hinya
is. Ez R. Griths egy ttelnek kiterjesztse kvantum esetre. Bizonytsa
tbb helyen is megtallhat, pl. Dyson, Lieb s Simon [4] s Roepstor [27]
cikkeiben (rszben) s Koma s Tasaki [16] cikkben.
9.5. Eredmnyek
A negatv eredmny
32. Ttel (Mermin-Wagner-ttel kvantum esetre). Egy s kt dimenziban,
brmely spin, csatols s kls mgneses tr paramterrtkekre, br-
mely vges mellett (azaz brmely pozitv hmrskleten) lim
0
()
() = 0.
Azaz: nincsen spontn mgnesezettsg.
10. Megjegyzs. Ebbl persze az LRO hinya is kvetkezik.
A pozitv eredmny
33. Ttel (Dyson-Lieb-Simon-ttel (1978) s kvetkezmnyei). Hrom s
magasabb dimenziban, brmely 1/2 spinre, = 0 s 1 0
paramterrtkek mellett ltezik
< (
> 0), gy, hogy >
( <
)
mellett () > 0, azaz van LRO.
Fontos szrevenni, hogy a ttel csak az antiferromgneses modellre l-
lt szimmetria srlst, a ferromgneses modell fzistmenete mig nyitott
krds. Az 1 megszortst azert kell tenni, mert < 1, = 0
esetn nagyon alacsony hmrskleten a
2
szimmetria srl, Ising-tpus
fzistmenet dominl. A = 0 megszorts sem termszetes zikai szem-
pontbl: mi az 12 spinkomponensek hossztv rendezettsgt vizsgljuk,
a tranzverzlis kls tr, kis rtkei mellett zikailag felttelezhet az
12 spinkomponensek hossz tv rendezettsge. Ezek a hinyossgok a bi-
zonytsi mdszer (RP) algebrai merevsgbl addnak. A (matematikailag
szigor) kvantum statisztikus zika egyik legnagyobb kihvsa egy esetleges
j bizonytsi gondolat megtallsa, amely kezelni tudn az egyelre kezelhe-
tetlen eseteket. Tbbeknek (nagy guruknak is) trtt mr bele a bicskja
ebbe a vllalkozsba!
Kvantum modellekben ltalban az alapllapoti = 0, = viselkeds
sem trivilis (szemben a klasszikusakkal). A ferromgneses modell ( > 0)
alapllapott knny megtallni tenzor-szorzat alakban. Az antiferromgne-
st viszont nem. A fenti Dyson Lieb Simon-ttelbl hatresetben
persze megkapjuk az alapllapoti hossztv rendet, nyitva marad viszont
az egy- s ktdimenzis modell alapllapotnak krdse. A kvetkez ttel
rszleges vlaszt ad:
34. Ttel (Dyson-Lieb-Simon, Kubo-Kishi). Kt dimenziban, brmely
1 spinre, = 0 s 1 0 paramterrtkek mellett az alapllapotban
() > 0, azaz van LRO.
11. Megjegyzs. Nyitott krds az = 1/2 spin modell alapllapoti ren-
dezettsge.
A kvetkezkben a 32. ttelt s a 33. ttelt fogjuk bizonytani.
9.6. Kvantum korrelcis egyenltlensgek I.:
Bogoljubov Roepstor
vges dimenzis komplex Hilbert tr, =
() Hamilton-opertor,
, , , () opertorok. A vges dimenzit csak azrt tesszk fel,
hogy bizonyos megfogalmazsok egyszersdjenek. Minden lltsunk igaz
marad a kvetkez ltalnosabb felttelek mellett is: szeparbilis, =
s exp(), > 0 trace class, , , , () korltosak.

E rszen bell a -tl val fggst nem jelljk. Az llapotsszeg:
= Tr
(
)
.
Az opertor tlaga:
=
1
Tr
(
)
.
Kt opertor, s , Duhamel fle korrelcijt a kvetkezkppen rtel-
mezzk:
(, ) =
1
1
0
Tr
(
(1)
)
.
Vegyk szre, hogy (, ) skalr szorzat ()-n. Kt meggyelhet mennyi-
sg, s , zikailag meggyelhet korrelcija persze
=
1
Tr
(
)
,
de ltni fogjuk, hogy a szmolsok sorn, a klasszikus (i.e. kommutatv)
statisztikus zika korrelciival analg objektum a Duhamel korrelci ez
a kvantummechanika nem-kommutativitsnak kvetkezmnye s bizonyos
bonyodalmakat fog okozni. Mindez a kvetkez kt azonossgbl kvetkezik:
=
1
Tr
(
+
)
=0
, (9.9)
(, ) =
1
Tr
(
+
)
==0
. (9.10)
(9.9) s (9.10) az albbi Lie Trotter-formula kvetkezmnye:
17. Hzi feladat. Ha s kt tetszleges -es (vges dimenzis)
mtrix, akkor
+
= lim
/
)
.
35. Ttel (Bogoljubov- s Roepstor-egyenltlensgek). (i) Bogoljubov-
egyenltlensg:
sup
()
[
, ]
2
[[
, ], ]

1
2
{
, }. (9.11)
(ii) Roepstor-egyenltlensg:
sup
()
[
, ]
2
[[
, ], ]
. (, )
1
2
{
, }
[
, ]
{
, }
tanh
1
(
[
, ]
{
, }
).
(9.12)
12. Megjegyzs. A (9.12) Roepstor-egyenltlensg kicsivel ersebb az im-
mr klasszikus (9.11) Bogoljubov-egyenltlensgnl. A Mermin Wagner-
ttel bizonytsban a Bogoljubov-egyemltlensget fogjuk hasznlni, de ms
krlmnyek kztt nagyon hasznos tud lenni a Roepstor-egyenltlensg.
Bogoljubov- s Roepstor-egyenltlensgek bizonytsa. Mivel brmely -
re
0 <

tanh
1
< 1,
(9.12) jobb oldala nyilvnvalan minorlja (9.11) jobboldt. Ezrt csak
a (9.12) egyenltlensgeket kell bizonyatnunk.
A tovbbiakban a kvetkez kt azonossgbl indulunk ki (mindkett
az exponencilis fggvny dierencilsbl s a Tr tulajdonsgaibl addik
egyszeren):
Tr
(
(1)
)
= Tr
(
(1)
[,
)
= Tr
(
(1)
[, ]
)
(9.13)
2
Tr
(
(1)
)
=
2
Tr
(
(1)
[,
[, ]
)
(9.14)
rtelmezzk a : [0, 1] ,
() :=
1
Tr
(
(1)
)
fggvnyt. (9.13)-bl s (9.14)-bl Schwarz egyenltlensg segtsgvel azt
kapjuk, hogy
()()
()
2
0,
amibl az kvetkezik, hogy ln () konvex, s
(, ) =
1
0
()
1
0
(0)
1
(1)
=
(
(1) (0)
)
ln
(1)
(0)
=
1
2
{
, }
[
, ]
{
, }
tanh
1
(
[
, ]
{
, }
)
Innen a jobb oldali egyenltlensg (9.12)-ben.
A (9.12)-beli bal oldali egyenltlensget a kvetkezkppen kapjuk: mivel
(, ) skalrszorzat ()-n
(, ) = sup
()
(, )
2
(, )
sup
()
(, [, ])
2
([, ], [.])
(9.15)
(9.13)-bl kvetkezik, hogy
([, ], ) =
1
, ],
([, ], [, ]) =
1
[
[, ],
]
=
1
[
[
, ],
]
.
Ezeket behelyettestve (9.15)-be megkapjuk (9.12)-ben a bal oldali egyenlt-
lensget kapjuk.
13. Megjegyzs. Ha csak a (gyengbb) Bogoljubov-egyenltlensget akarjuk
beltni, elegend a () fggvny konvexsgt hasznlni. (Azaz: (9.11)-
hez nem kell () log-konvexitsa.)
9.7. Mermin Wagner-ttel bizonytsa
A Bogoljubov-egyenltlensget alkalmazzuk a (9.8)-ban megadott (szimmet-
riasrt taggal kiegsztett) Hamilton-opertorral s az ,
s ,
ope-
rtorok kvetkez vlasztsval:
=

+
() :=
+
()
= (
+
())
()
()
=

3
() =
3
(),
= (
3
())
3
()
3
()
A Bogoljubov-egyenltlensgben megjelen kommuttorokat elg fradsgos,
de nem nehz kiszmolni.
18. Hzi feladat. Vgezzk el a fenti szmolst.
Hosszadalmas szmolsok utn a kvetkez eredmnyeket kapjuk:
1
2
{,
} =

+
()
()
3
(),
[
, ] =
+
(),
[
[, ],
]
=
=1
(
1 cos( )
)
+
()
( + )
+

2
+
() +
()
)
.
Legyen
()
() :=
+
(0)
()
()
,
()
=
3
()
()
,
()
=
+
()
()
=
()
()
,
()
=
1
+
()
()
()
=
1

()
( = 0).
A Bogoljubov-egyenltlensgbe ezeket behelyezve s kihasznlva a
+
()
( + )
()
( + 1)
egyenltlensget (ami lnyegben megint egy Schwarzbl addik), azt kapjuk
hogy

()
()
()
(
()
)
2
()( + 1) +
()
.
Az egyenltlensg mindkt oldalra alkalmazva a
1
{0}
sszeg-
zst a termodinamikai limeszben azt kapjuk, hogy
lim
+
(0)
(0)
()

()

()
()
)
2
1
(2)
(,]
1
( + 1)() +
()
Vilgos, hogy a bal oldal korltos: kisebb mint ( + 1), -ban egyenletesen.
Viszont, ha lim
0
()
= 0, akkor egy- s kt dimenziban jobb oldal felrob-
ban az 0 limeszben, ami nyilvnval ellentmonds. Kvetkezik, hogy
egy s kt dimenziban, minden vges -ra
lim
0
()
= 0
A fejezethez tartoz irodalom: [21], [23], [27], [4], [15], [17], [16]
Irodalomjegyzk
[1] Balzs M, Tth B.: Valsznsgszmts 1. online
[2] Baxter R.: Exactly Solved Models in Statistical Mechanics. Academic
Press, London 1982.
[3] Bognr-Mogyordi-Prkopa-Rnyi-Szsz: Valsznsgszmts feladat-
gyjtemny. Tanknyvkiad, Bp. 1974.
[4] Dyson F.J., Lieb E.H. and Simon B.: Phase transitions in quantum spin
systems with isotropic and nonisotropic interactions. J. Stat. Phys. 18:
335-383 (1978)
[5] Ellis R., Newman Ch.: Zeitschrift fr Wahrscheinlichtkeitstheorie und
verw. Geb. 44: 117-139 (1978)
[6] Feller W.: An Introduction to Probability Theory and its Applications,
vol. I. & II. J. Wiley and Sons, N.Y. 1968.
[7] Frhlich, J.: Phase transitions, Goldstone bosons and topological super-
selection rules. Acta. Phys. Austriaca, Suppl. 15: 133 (1976)
[8] Frhlich, J.: The pure phases: Mathematical physics of phase transitions
and symmetry breaking. Bull. Am. Math. Soc. 84: 165-193 (1978)
[9] Frhlich, J., Simon, B. and Spencer, T.: Infrared bounds, phase tran-
sitions and continuous symmetry breaking. Commun. Math. Phys. 50:
79-85 (1976)
[10] Griths, R.: Phys. Rev. 136 A: 437-439 (1964)
[11] Griths, R.: J. Math. Phys. 8: 478-483 & 484-489 (1967)
[12] Griths, R.: Commun. Math. Phys. 6: 121-127 (1967)
[13] Griths, R.: Rigorous results and theorems. In: Phase Transitions and
Critical Phenomena. eds.: C. Domb and M.S. Green, Academic Press,
London 1972.
[14] Kelly, D.G. and Sherman, S.: J. Math. Phys. 9: 466-484 (1968)
[15] Kennedy T., Lieb E.H., Shastry B.S.: Existence of Nel order in some
spin-1/2 Heisenberg antiferromagnets. J. Stat. Phys. 53: 1019-1030
(1988)
[16] Koma T., Tasaki H.: Symmetry braeking in Heisenberg Antiferromag-
nets. Commun. Math. Phys. (1993).
[17] Kubo K., Kishi T.: Existence of long-range order in the XXZ model.
Phys. Rev. Letters 61: 2585-2587 (1988)
[18] Lamperti J.: Probability: a Survey of the Mathematical Theory. Ben-
jamin, 1966.
[19] Lee, T.D. and Yang, C.N.: Phys. Rev. 87: 404-409 (1952)
[20] Lee, T.D. and Yang, C.N.: Phys. Rev. 87: 410-419 (1952)
[21] Lieb, E. H.: New proofs of long-range order. In: Mathematical Problems
in Theoretical Physics Lecture Notes in Physics 80: 59-67 (1978)
[22] Mermin, N.D.: Absence of ordering in certain classical systems. J. Math.
Phys. 8: 1061-1064 (1967)
[23] Mermin, N.D. and Wagner, H.: Absence of ferromagnetism or antifer-
romagnetism in one- or two-dimensional Heisenberg models. Phys. Rev.
Letters 17: 1133-1136 (1966)
[24] Peierls, R.: Proc. Camb. Philos. Soc. 32: 477-481 (1936)
[25] Reif F.: Statistical Physics; The Berkeley Physics Course vol. V.
McGraw-Hill, 1965. (vagy brmely ms egyszer, bevezet stat. z. tan-
knyv)
[26] Rnyi A.: Valsznsgszmts. Tanknyvkiad, Bp. 1973.
IRODALOMJEGYZK 89
[27] Roepstor G.: A stronger version of Bogoliubovs inequality and the
Heisenberg model. Commun. Math. Phys. 53: 143-150 (1977)
[28] Ruelle, D.: Statistical Mechanics: Rigorous Results. W.A. Benjamin,
N.Y. 1969.
[29] Titchmarsh, E. C.: The Theory of Functions. 2nd edition, Oxford Uni-
versity Press, 1939.
[30] Tth B.: Hatreloszls- s nagy eltrs ttelek a valsznsgszm-
tsban. online
[31] Tth B.: Valsznsgszmts 2. online

A Statisztikus Fizika Matematikai Módszerei - BME Jegyzet

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

A Statisztikus Fizika Matematikai Módszerei - BME Jegyzet

Uploaded by

Copyright:

Available Formats

TTH BLINT

-n; termodinamikai limesz 32

E() valsznsgi vltozkat). Jelljk

aszimptotikus eloszlsa, minl pontosabban.

, = 1, 2, . . . s valsznsgi vltozk. Eloszlsfggvnyeik

valsznsgi vltozkra. Ekkor

() = inf{ supp()} =: , (1.4)

() = sup{ supp()} =: , (1.5)

i.i.d. valsznsgi vltozk, ()

() > 0, azt kapjuk, hogy

valsznsgi vltozk elosz-

)/)) (() ())}

= energia rtkek, spektrum). Az eloszls

eloszlst, ami a szabad energit minimalizlja.

-k kis mgnes tcskk, amik gy: vagy gy: tudnak

a Gibbs-mrtk norml faktora.) Fizi-

: (, ) konvex, analitikus (hason-

/ normlt sszegnek viselkedse kvalitatve nagyon

/ normlt sszege a NSzT s a NET szempontjbl

, = 0 paramter rtkeknl elsrend fzistmenet van.

Mean eld (tlag tr) elmlet, mert minden spin egy

helyett vlaszthatnnk per-

klcsnhatsi egytthatkat: a -t beolvasztjuk a -ba.) A modellnek

-t is rhattunk volna. Azaz: rgz-

() fggvny els kt derivltjra:

() fggvnyek grakus kpe az 1. s 2. brn

() szigoran nvekv, > 1-re ez

egyenletbl azt kapjuk, hogy

= 1-re (azaz >

= 1-re): (, ) monoton nvekv,

= 1-re (azaz <

= 1-re): (, ) monoton nvekv,

= 1-re): (, ) monoton nvekv;

, 0) kritikus pont krnykn a termodinamikai fggvnyek szingulris vi-

valsznsgi vltozt a > 0, = 0 paramterekhez tartoz Gibbs-eloszls

i.i.d. sszegek viselkedsvel, ahol a

-k egyenknti eloszlsa azonos a

() fggvny als konvex burkolja. Ami szintn a

-ktl fggetlen stan-

norml faktorokat jell: a klnbz kp-

-k (3.6) eloszls i.i.d.-k Vilgos, hogy (3.1) alapjn

-N; TERMODINAMIKAI LIMESZ 33

(vagy annak egy vges rsze).

vges, tglatest alak rsze a dimenzis egsz rcsnak. A

azt jelenti, hogy

van Hove rtelemben, ha

tartomnyokra kiss hosszadalmas, de elvileg nem nehz. ltalnosts

-N; TERMODINAMIKAI LIMESZ 35

. Els lpsknt tekintsk az = 2

oldalhossz ngyzetek nvekv sorozatt. A

0. Eddig vizsglt legegyszerbb

-N; TERMODINAMIKAI LIMESZ 37

vges s , . Knnyen ellenrzhet, hogy

vagy annak egy vges rsze. Az llapottr:

= 1 van rszecske az rcspontban. A teljes

rcspontokban l rszcske-pr klcsnhatsi ener-

rcs vges rszhalmazainak halmazt:

-ra deniljuk a kvetkez korrelcis fggvnyt:

) [0, 1], () = lim

() (s (), amennyiben az (5.7) limesz ltezik) eleme a B

-val a kvetkez projekci opertorokat B-ben:

)-hez rendeljk kanonikus mdon egy

egy tetszleges, de x lineris rendezsben lehet

elem kanonikus ki-