Part I

Teoria de campo - elementos bsicos - e

grupo de renormalizao

A primeira parte do curso teve forte concentrao na teoria de Landau e na obteno de uma

soluo para as fases dos sistemas fsicos e as transies de fase baseado na teoria de campo

mdio em geral. Discutimos tambm as limitaes desses resultados. Sabemos que o que estamos

deixando de lado so as utuaes. Isso foi discutido brevemente com uma pequena introduo a

teoria de grupo de renormalizao. Para fazermos um estudo mais cuidadoso, precisamos incluir

as utuaes de uma forma mais consistente e entender o papel que elas desempenham quando o

sistema fsico adquire uma temperatura inferior a temperatura crtica, T < Tc , e d < dc , onde Tc

a temperatura crtica e dc o comprimento de correlao crtico. Para isso necessrio termos uma

descrio da energia livre F [h(~r)i] e das funes parties com maior detalhamento da microscopia
do sistema. Discutimos no curso I as bases da descrio microscpica por meio de uma descrio

do sistema fsico em segunda quantizao. Embora as aplicaes que consideramos limitaram-se,

em geral, a aproximao do campo mdio, tambm nessa descrio, as tcnicas discutidas formam

a base para uma descrio em melhor nvel de aproximao. Esses mtodos em geral exigem uma

grande complexidade numrica. Eventualmente (veremos ao longo do curso) discutiremos alguns

deles. Aqui, no entanto, queremos encontrar uma forma mais fenomenolgica, dentro do esprito

do que zemos at agora, para abordar esse problema. Para isso, vamos desenvolver o mtodo

de teoria de campo semi-fenomenolgica. No caso, estaremos trabalhando com um espao de fase

caracterizado pelo parmetro de ordem e as operaes de trao envolvem a integral sobre todos os

valores possveis em todos os pontos do espao ou todos os pontos de uma rede do parmetro de

ordem o qual considerado como um campo clssico contnuo. Com essa metodologia poderemos

tratar as utuaes inclusive em condies prxima da transio de fase quando as utuaes

1
desempenham um papel fundamental. Elas servem, no entanto, tambm para descrever o sistema

fsico longe da transio de fase. Na verdade, a discusso que faremos aqui poderia ter sido a

discusso inicial para introduzir a teoria de Landau. Aqui estamos seguindo a ordem sugerida por

CL (ref. 1). A seguir, pretendemos avanar a discusso sobre a teoria de grupo de renormalizao

em relao a rpida introduo feita no curso I, apoiados na discusso de teoria de campo. As

notas desse captulo esto baseadas no captulo 5 de CL e nos captulos 17 e 18 do Huang (ref. 2)

e no cap. 9 do Brzin (ref. 3).

1 Teoria de campo

1.1 Granularidade espessa do espao (ou melhor dizendo coarse-graining )

A descrio do sistema fsico obtida calculando a funo de partio,

Z(T ) = eF (T )/kB T (1)

no ensemble cannico onde F (T ) a energia livre de Helmholz. Para termos uma descrio

incluindo o campo conjugado h, utilizamos uma descrio de Gibbs,

Z = eG(h,T )/kB T (2)

Ns queremos uma descrio que ponha em evidncia o papel do parmetro de ordem (~r) mas
levando em conta que o parmetro de ordem uma grandeza macroscpica, em certa extenso.

Com isso, queremos dizer que seu conhecimento limitado dentro de um valor mdio calculado em

uma clula com muitos tomos. O procedimento dividirmos o sistema fsico em vrias clulas, com

dimenses grandes quando comparadas com comprimentos microscpicos caractersticos tais como

o espaamento entre as partculas (por exemplo, o parmetro de rede a em um slido cristalino) ou

o alcance das interaes. Cada clula contm muitas partculas e o parmetro de ordem (~r), como
j vimos discutindo, um operador da mecnica quntica ou uma funo de variveis dinmicas

2
clssicas. Ele calculado como um valor mdio sobre todas as partculas da clula centrada na

posio r).
~r e seu valor mdio designado por (~ Nesse caso, ele pode ser visto como uma varivel

clssica contnua, variando de clula para clula. Essencialmente, o que estamos considerando aqui

que as utuaes importantes no valor da energia so aquelas de grande comprimento de onda.

Consideremos a o valor interpartculas ou o alcance das interaes, em sntese, o parmetro de

distncia que caracteriza microscopicamente o sistema. No esperamos nenhuma utuao com

valor menor que a, ou seja, a transformada de Fourier das grandezas fsicas associadas tem um
 
corte em 2/a, ou seja, s esperado ter componentes para ~k  < 2/a. Esse procedimento de

calcular o parmetro de ordem denominado de granularidade espessa ou coarse-graining. Neste

caso, a energia livre de Landau, que discutimos no curso I, calculada para uma congurao

particular local do parmetro de ordem. Agora, em vez de considerarmos seu valor mnimo,

permitiremos todos os valores, incluindo suas excitaes, mas de acordo com seu peso estatstico.

Os estados do sistema so especicados pelo valor de r)

(~ e sua energia efetiva r)]
(~
H[ onde a

energia pode ser calculada, por exemplo, utilzando a teoria de Landau,

d 1 d
H= d rf [(~
r)] + r)]2
d rc[(~ (3)
2

ou,

1
= d r f[(~
r)] r)]2
d d
H + d rc[(~ (4)
2

A funo de partio calculada como uma soma sobre todos os valores possveis do parmetro

de ordem, calculado nas clulas da granularizao espessa, r),

(~ ou seja,

r)eH/kB T
Z= D(~ (5)

Na presena do campo conjugado, a funo de partio

r)e(H dd rh(~r)(~
r))/kB T
Z= D(~ (6)

3

A integral D... uma integral funcional, ou seja, ela calculada sobre todos os valores

possveis de r)
(~ em todas as posies ~r.
Sua visualizao para um parmetro de ordem em um sistema unidimensional mais intuitiva.

A integral uma integral de caminho uma vez que ela a soma sobre todos os caminhos possveis

de r)
(~ no espao. Exemplos desses caminhos esto na gura 1, onde os caminhos (a) e (b)

representam caminhos onde o parmetro de ordem constante enquanto que para os caminhos (c)

e (d) ele varia espacialmente.

Figure 1: Exemplos de caminhos que contribuem para a integral funcional em um campo unidi-
mensional. Extrado de CL.

Podemos escrever a funo de partio em sistemas clssicos partindo do campo (~r). Para

isso, escrevemos

r)Tr r)]e[H dd rh(~r)(~r)]/kB T
Y
Z= D(~ [(~r) (~ (7)
~
r

de onde temos

r)]eH/kB T
eH/kB T = Tr
Y
[(~r) (~ (8)
~
r

4
 ou seja, somamos sobre todos os valores microscpicos xando o mesmo valor para o parmetro

de ordem e depois somamos sobre todas as formas possveis para o parmetro de ordem. A razo de

realizarmos a soma nessa ordem deve-se a suposio que o parmetro de ordem entra em equilbrio

termodinmico lentamente quando comparado com as outras variveis do sistema.

Para o que se segue, no necessrio fazer a distino entre o campo r).

(~r) e seu valor mdio (~
Tambm no distinguiremos entre a energia H e
H no clculo da energia efetiva que determina o

peso das conguraes na integral funcional da funo de partio.

Uma ltima observao sobre nosso tratamento em coarse-graining que para termos uma

teoria macroscpica completa, essa no deve depender do vetor de onda de corte, , o qual deve

desaparecer dos valores das grandezas fsicas calculadas. A soluo parar isso fazermos .
Esse limite, no entanto, nem sempre possvel, podendo aparecer divergncias na energia livre (ex-

ceto nas aproximaes de campo mdio). A forma de evitar essas divergncias a renormalizao,

similar ao que foi feito na eletrodinmica quntica. Voltaremos a essa questo posteriormente.

1.2 Integral funcional, teorias de campo de rede e o limite contnuo

Vamos tentar deixar um pouco mais claro o signicado da denio da integral funcional e o seu

clculo na funo de partio. Para isso, vamos considerar a nossa denio da integral funcional

como sendo o limite contnuo de uma teoria de campos ~l denida em N stios ~l de uma rede de

dimenso-d. o parmetro da rede serve como limite de comprimento que consideramos, ou o cuto.

Nesse caso, o valor do parmetro de ordem (~r) em cada stio da rede ~l um nmero independente
e pode ser integrado separadamente:

Y
D = d~l (9)
~l

onde o produto realizado sobre todos os stios da rede . Podemos ainda denir a integral fun-

cional pela integrao de cada componente de Fourier, ~k)

( separadamente e independentemente,
 
~ 
para k  < , ou seja,

5

~k)d (~k)
Y
D = d( (10)

|~k|<

A integral d(~
k) (~k) uma integral bidimensional no plano complexo de (~k), sendo equiv-

alente a integrao das partes real e imaginria independentemente.

A funo de partio no modelo de rede se escreve na forma

HL (~l)
Y
Z= ditivetothepostsynapticf iringrateortothetotallevelof synaptic~le (11)
~l

onde

1X
C~ ~0 (~ ~l0 )2
X
HL [~l] = fL (~l) + (12)
~l
2 ~ ~0 l,l l
l,l

fL (~l) expresso como uma expanso em srie em torno de ~l = 0 e C~l,~l0 tem um alcane

nito, tipicamente do espaamento da rede. ~l pode assumir qualquer valor entre e . A

congurao que entra na soma da partio especicada pelo valor de ~l em cada stio ~l. A

gura 2 exemplica algumas conguraes para uma rede unidimensional. Uma anlise desses

exemplos mostra que fL (~l) favorece na soma alguns valores particulares de ~l. Vamos considerar,

por exemplo, que fL tem a forma da densidade de energia livre de Landau no modelo 4 ,

1
fL = r~2l + u~4l (13)
2

Nesse caso, fL pode ter um nico mnimo em ~l = 0 ou dois mnimos em ~l = (|r| /4u)1/2 , se

r for negativo. O termo de interao favorece valores iguais de ~l em todos os stios da rede. As

conguraes (b) e (d) onde ~l varia rapidamente de stio para stio tem valore maiores de HL e,

portanto, menor peso no clculo do trao da funo de partio do que as conguraes (a) e (c),

as quais tem um valor ~l espacialmente uniforme e prximo ao valor mnimo para fL .

6
Figure 2: Conguraes de uma teoria de campo em rede unidimensional. (a) Congurao de
baixa energia quando fL tem um nimo mnimo em ~l = 0. (b) Congurao de alta energia
variando espacialmente quando fL tem um nico mnimo. (c) Mesmo que (a) mas com fL com
dois mnimos. (d) Mesmo que (b) mas com fL com dois mnimos. Quando o parmetro da rede
vai para zero os caminhos tornam-se a teoria contnua apresentada esquematicamente na gura 1.

Para calcularmos limite contnuo do modelo de rede devemos fazer o volume v0 por clula de

cada stio ir para zero e a posio ~ ~ do stio torna-se a varivel contnua ~r enquanto que ~ torna-se
R l l

o campo contnuo (~r), mantendo-se o volume total V = N v0 xo. Temos ento,

d
X
v0 d r
~l

d r f[(~
d
X
fL (L ) r)]
~l

1X 1 d 2
C~l~l0 (~l ~l0 ) d rc() (14)
2 ~ ~0 2
l,l

7
 onde

1
f = fL
v0
1 X ~2
c = R C~ (15)
dv0 ~ ~l l,0
l

Finalmente, a integral funcional que aparece no clculo da funo de partio tem a denio

formal

Y
D(~r) = lim d~l (16)
v0 0
~l

Antes de prosseguirmos, vamos revisar a transformada de Fourier para um sistema hiper-cbico

de dimenso d seguindo a nomenclatura do CL:

d d
q ~ d q q ~ d q
i~ r i~ r
ei~q~r f (~q)
X
f (~r) = A e f (~q) = AV e f (~q) AV =1
q~
(2)d (2)d

d i~
q ~
r d i~
q ~
f (~q) = d re f (~r) =AV =1 d re
r
f (~r) (17)

onde a constante A foi escolhida como sendo A = 1/V .

As relaes de ortogonalidade e completeza no limite contnuo so,

q 0 )~
q ~
d i(~
d re
r
= (2)d (d) (~q ~q0 )
d
d q 0
ei~q(~r~r ) = (d) (~r ~r0 ) (18)
(2)d

Para as transformadas de Fourier em redes hiper-cbicas de dimenso d, temos

8
 d
1 X i~qR~ ~ d q ~
f~l = e l fq~ ei~qR~l
V q~ (2)d
V X i~qR~ ~ ~
ei~qR~l
X
fq~ = e lf v (19)
~l 0
N ~ ~
l l

1.3 Integrais gaussianas

Vamos considerar aqui o caso das integrais gaussianas, que o nico caso em que podemos realizar

a integral funcional exatamente. Essa situao tem uma aplicao importante. Sempre que o

hamiltoniano H for harmnico em (~r), o peso da funo eiH ca gaussiano e o trao da funo

partio pode ser calculado exatamente. Essa soluo o primeiro passo para clculos perturbativos

quando H tem termos anarmnicos.

O ponto de partida a integral conhecida

1/2
2

12 Cy 2 +y 2 /(2C)
dye = e (20)
C

que foi calculada simplesmente completando o quadrado. Podemos generalizar esse resultado

para integrais multidimensionais e integrais funcionais. Consideremos Cuma matriz nn com

componentes Cij = hi|C|ji. Consideremos o caso em que C real e simtrica. Nesse caso, ela pode

ser diagonalizada com autofunes ortonormais e reiais, hi|pi tais que

hp|C|p0 i = pp0 Cp (21)

onde Cp o autovalor (real). Temos ento,

n
! n
12 yi Cij yj +i yj Cp2 yp2 /ep yp
Y Y
dyi e = dyp e
i=1 p=1
n
!1/2
2 2
ep /(2Cp )
Y
=
p=1 Cp

9
 1 1
= (2)n/2 (det C)1/2 e 2 i Cij j

1 1 1
= exp[ Tr ln(C/2) + i Cij j ] (22)
2 2

Aqui estamos assumindo a conveno de realizar uma soma toda vez que os ndices se repetem.

Ainda,

X
yp = < p|i > yi
i
X
p = hp|ii i (23)
i

Podemos agora calcular a funo de partio do modelo de rede harmnico:

1X 1 X
HL0 = r~l~l0 ~l~l0 = r(~q) |(~q)|2 (24)
2 ~ ~0 2V q~
l,l

onde

1 X i~qR~ ~
~l = e l q~
N v0 q~
1 X i~qR~ ~
r(~q) = e lr
~l,0 (25)
v0 ~
l

r~l,0 so componentes da matriz r. As autofunes ortonormais que diagonalizam r so

D E
~l|~q = 1 i~qR~
e (26)
N 1/2

Os autovalores de r so

1 X i~q(R~ ~R~ ~0 )
h~q|r|~qi = e l l r
~l,~l0 = v0 r(~
q) (27)
N 1/2 ~ ~0
l,l

Escrevendo

10
 X
Hext = h~l~l (28)
~l

temos nalmente,

0 +H
(HL ext )
Y
A[T, h~l] = kB T ln Z = kB T ln d~le
~l
1 1X
h~lG~0l~l0 h~l0
X
= kB T ln[r(~q)v0 /(2)] (29)
2 q~
2 ~~0 ll

Note que da relao entre a susceptibilidade e a funo de correlao, temos

d
d q q (R ~ ~0 ) kB T
~ ~R
D E
G~0l~l0 = e i~ l l = ~~
l l 0 (30)
(2)d r(~q)

Trazendo agora para o limite contnuo,

1 1 X
0
H = d d 0
r, ~r0 )(~r)(~r0 )
d r d r r(~ = r(~q) |(~q)|2 (31)
2 2V q~

d
1 d q 1 d 0
A[T, h(~r)] = kB T V d
ln[r(~q)v0 /(2)] d
r)G0 (~r, ~r0 )h(~r0 )
d r d r h(~ (32)
2 (2) 2

onde

r(~q) = G1
0 (~
q) (33)

d
0 d q 0 kB T
G0 (~r, ~r ) = d
ei~q(~r~r ) = h(~r)(~r0 )i (34)
(2) r(~q)

Uma questo importante deve ser observada aqui. O limite contnuo tem problemas quando

11
fazemos o limite v0 0. A energia livre diverge. Isso pode ser contornado com o cuto na

dimenso fsica do problema. O volume da clula est relacionado com o cuto da teoria contnua,

como j discutimos. O nmero de vetores de onda igual ao nmero de pontos da clula da teoria

discreta:

d
X d q
1=N =V (35)
q~
(2)d

Se temos um cuto restringindo o valor de |~q| < , ento

V dd
v0 = = (36)
N Kd

onde

d
Kd = (37)
(2)d

e d o ngulo slido da esfera de dimenso-d. Se no modelo contnuo N no faz sentido

(anal, temos um contnuo no sistema e no mais uma diviso em um nmero nito de clulas),
tem sentido e podemos associar um valor a v0 . Por exemplo,

4
v0 = , d=2
2
6 2
= , d=3 (38)
3

1.4 Teoria de campo mdio e correes devido a utuaes

Estamos agora em condies de estabelecer uma teoria de campo na qual podemos calcular o

potencial termodinmico, A[T, h(~r)] e sua energia livre conjugada, F [h(~r)i]. Essa teoria denida

pelas equaes

12

dd rh(~r)(~r))/kB T
Z = D(~r)e(H

d 1 d
H = d f [(~
r)] + r)]2
d rc[(~ (39)
2

Nessa teoria, a funo de partio calculada incluindo todas as conguraes possveis do

espao funcional do campo denido pelo parmetro de ordem . O peso estatstico de cada cong-

urao determinado pelo clculo da funo de partio. Fica claro que a principal contribuio
d
aquela que minimiza [H d rh(~
r)(~r)]. Essencialmente, podemos fazer uma primeira aproxi-
mao no clculo da funo de partio utilizando a aproximao de ponto de sela ou melhor pelo

caminho de ponto de sela, (~r) = ps (~r) o qual determinado pela equao

H
|(~r)=ps (~r) = h(~r) (40)
(~r)

Aqui identicamos a teoria de campo mdio como sendo o resultado da aproximao de ponto

(caminho) de sela, ou seja, quando consideramos apenas a contribuio desse caminho no clculo

da funo de partio. Temos ento,

( )
d
ZCM = exp (H[ps (~r)] d rh(~
r)ps (~r))
( ! )
d
exp FCM [h(~r)i] r) h(~r)i
d rh(~ ) (41)

onde

FCM = H[ps (~r)] (42)

a energia livre da teoria de campo mdio e

13
 h(~r)i = ps (~r) (43)

Esse resultado nos d uma justicativa mais formal para nossa aproximao de campo mdio.

Mas temos algo a mais. Estamos agora em condies de calcularmos a contribuio das utuaes.

Para isso, vamos considerar a correo devido a variaes do campo do parmetro de ordem em

relao ao seu valor de campo mdio:

(~r) = h(~r)i + (~r) (44)

Temos que calcular a modicao na funo de partio. Para isso, vamos expandir H em

segunda ordem em (~r):

H d
d rh(~
r)(~r) = H[h(~r)i] d
r) h(~r)i
d rh(~ + H0 + 0(((~r))3 ) (45)

onde

0 1 d 0 2H
H = d
d rd r
0
|(~r)=h(~r)i = 1 G1 r, ~r0 )
0 (~ (46)
2 (~r)(~r )

2 H
G01 (~r, ~r0 ) =
(~r)(~r0 )

onde G0 (~r, ~r0 ) a fun de correlao de campo mdio. Na teoria de Landau em hi4 , temos

G1 r, ~r0 ) = [r + 12u h(~r)i2 c2 ](~r ~r0 )

0 (~ (47)

Temos agora que calcular a correo na funo de partio. Podemos escrever

(1) (0) 12 dd rdd (~r)G1
0 (~ r0 )(~
r,~ r0 )
Y
Z =Z d(~
r)e (48)
~l

14
 Calculando a contribuiao gaussiana, temos

1
Z (1) = Z (0) q (49)
1
G0 v0 /(2)

o que nos d a energia livre

d
1 d q
F = FCM + kB T V ln[G1
0 (~
q )v0 /(2)]
2 (2)d
1
= FCM + kB T Tr ln[G1
0 v0 /(2)] (50)
2

d
A(~r, ~r0 )
P
lembrando que o trao da matriz TrA = d rA(~
r, ~r) = q~ A(~
q ) , onde a segunda
igualdade se realiza apenas se a matriz diagonaliza-se na transformada de Fourier.

Essa correo na energia livre conhecida como correo de um ciclo (one-loop correction)

para a aproximao de campo mdio sem utuaes. A origem dessa expresso est no fato que

essa energia livre o funcional gerador de todos os diagramas com integrao em um ciclo.

Podemos calcular essa contribuio na funo de correlao, G1 (~r, ~r0 ):

2 F
G1 (~r, ~r0 ) =
h(~ri h(~r0 )i
1 0 1 2 G1
0
= G0 (~r, ~r ) + TrG0
2 h(~r)i h(~r0 i

1 2 G1
0 (~r1 , ~r2 )
= G1
0 (~
r , ~
r 0
) + d
d
r 1 d
d
r2 G 0 (~
r 1 , ~
r2 ) (51)
2 h(~r)i h(~r0 )i

Aplicando para o modelo 4 ,

G1 (~r, ~r0 ) = G1 r, ~r0 ) + 12u(~r ~r0 )G0 (~r, ~r0 )

0 (~ (52)

Na fase desordenada, quando hi = 0, temos

15
 d
1 2 d q kB T
kB T G (~q, r) = r + cq + 12u (53)
(2)d r + cq 2

1.5 Aproximao do campo auto-consistente: consequncias fsicas das

utuaes
Vamos considerar agora o modelo 4 calculado na aproximao do campo auto-consistente. Essa

aproximao equivalente a aproximao de Hartree ou a aproximao da fase aleatria (random-

phase approximation - RPA). Essencialmente, o que fazemos substituir um fator 2 no termo qur-
tico, 4 , no clculo de fSL , pelo seu valor mdio, h2 i. Como temos seis maneiras de escolhermss

dois fatores de para formar 2 , o resultado que a energia livre em RPA f = 21 r2 + 6u h2 i 2 .

Vamos considerar o caso em que a temperatura est acima da temperatura crtica, Tc . Nesse

caso, G(~r, ~r0 ) = h(~r)(~r0 )i , uma vez que hi = 0. Das equaes 47 e 52, e calculando a transfor-

mada de Fourier, temos

D E
kB T G1 (~q) = r + cq 2 + 12u 2 (54)

e,

d d
D
2
E d q d q kB T
G(~r, ~r) = G(~q) = (55)
(2)d (2)d r+ cq 2+ 12u h2 i

onde r = a(T T ). Para o clculo da integral introduzimos um cuto da ordem do inverso do

comprimento de correlao intrnseco, 0 = (c/aTc )1/2 . Podemos calcular agora a susceptibilidade

na ausncia de campo externo,

1 = kB T G1 (~q = 0)
d
d q 1
= r + 12ukB T
0 (2)d + cq 2

16

d1 1
= r + 12ukB T Kd dqq (56)
0 + cq 2

onde = r + 12u h2 i e

d
Kd = (57)
(2)d

onde d o ngulo slido no espao de dimenso-d. Na temperatura de transio, Tc , a

susceptibilidade diverge. Podemos calcular a temperatura crtica para d 2:

d
12ukB Tc d q 12ukB Tc Kd d2
rc a(Tc T ) = = (58)
c 0 q2 c d2

ou seja,

!1
12uKd d2
Tc = 1 + T (59)
(d 2)ca

Esse resultado nos permite algumas observaes. A temperatura de transio diminui em

relao ao valor limite de metaestabilidade do campo mdio. Temos tambm que Tc 0 para

d 2. Isso estabelece a dimenso crtica mais baixa dL (= 2), para a qual as utuaes impedem

uma transio de fase a temperatura nita. Ou seja, para d < dL no temos nenhuma transio

de fase.

Reescrevendo 1 em termos de r rc = a(T Tc ), temos

!
1 d1 kB T kB Tc
= r rc + 12uKd q dq
2
2
+ cq q
a0 Kd
 
= (r rc ) 12ukB Tc Id ( ) (60)
a c

onde

17
 a0 d2
!
Kd
 
= 1 + 12ukB Tc (61)
a ac d2

d1 1 1
Id ( ) = q dq = q d3 dq (62)
0 q 2 ( + cq 2 ) 0 + cq 2

Termos de ordem de (T Tc ) Id ( ) foram desprezados.

Para d > 4, Id ( ) analtico. Rearranjando os termos, pode-se mostrar que para 0,

1 + (12ukB Tc Kd /c)Id (0) 1

= 0
(63)
a (T Tc ) (T Tc )

onde

d4
Id (0) = (64)
c(d 4)

O resultado produz o mesmo expoente crtico =1 que j tnhamos encontrado na teoria de

campo mdio. A diferena no fator que antecede o termo de temperatura e no valor de Tc .

Para d<4 fcil vericar que Id ( ) diverge para = 0:

(c/ )1/2
(d2)/2 (d4)/2 y d3 dy
Id = c (65)
0 1 + y2

Podemos agora resumir os principais resultados:

Para d > 4, a teoria de campo mdio de Landau permanece vlida. A natureza da singu-

laridade a mesma (mesmo expoente) mudando apenas o valor da temperatura crtica e o

coeciente que aparece na frente de t = (T Tc )/Tc .

Para d=4 (no mostrado aqui) h uma divergncia logartmica. Para d < 4, temos uma

divergncia da ordem de (d4)/2 , para 0. A teoria de Landau no se aplica mais. Mais

importante, teorias de perturbao tambm no so teis. Uma vez que a contribuio de

18
 menor ordem diverge, devemos esperar que as outras contribuies tambm divergem.

Podemos dizer que para d>4 a singularidade no modicada pelas utuaes. Isso vale

tambm se considerarmos as ordens superiores (alm da primeira ordem considerada aqui).

Isso no signica que a teoria de campo mdio funciona melhor quanto maior a dimenso.

Os expoentes crticos mudam com d para d < 4 mas permanecem constantes e iguais aos

valores obtidos pela teoria de campo mdio para d > 4.

Observando a equao 60 podemos dizer que, embora a teoria de campo mdio falha prx-

ima a Tc , ela produz resultados aceitveis em uma regio crtica, com as utuaes sendo

responsvel apenas por uma pequena contribuio. Pode-se mostrar que a regio aceitvel

aquela prevista por Ginzburg, j discutida. Uma discusso sobre esse caso, nesse modelo,

est no CL.

ltima observao, para entendermos o comportamento crtico para d 4 temos que buscar
solues no-perturbativas. A soluo a encontrada por K. Wilson em 1971, com a teoria

de grupo de renormalizao.

2 Grupo de Renormalizao
As idias da teoria de grupo de renormalizao so construdas ao longo de muitos anos. No

vamos aprofundar aqui, mas convm mencionar algumas etapas fundamentais:

Podemos dizer que a partir da primeira proposta de uma teoria de campo mdio (van-der-

Waals, para os uidos), temos um perodo de desenvolvimento da teoria de campo mdio,

entre 1860 e 1937.

Entre 1937 e 1963/1971 h um perodo de grande inquietude uma vez que ca claro que a

teoria de campo mdio no funciona para os fenmenos crticos.

19
 O trabalho de Onsager, em 1944, que calcula exatamente o modelo de Ising em duas dimen-

ses, deixa claro que a teoria de campo mdio no funciona. Ref.: L. Onsager, Phys. Rev.

65, 117 (1944).

Cyril Domb, Martin Skyes e Michael Fisher (1949) calculam os expoentes crticos utilizando

o mtodo de expanso em sries e mostram que os resultados da teoria de campo mdio no

esto corretor.

Ben Widom identica a maior parte das relaes de escalonamento mas no identifca suas

origens. Refs. B. Widom, J Chem. Phys. 41 ,1643 (1964) e B. Widom, J. Chem. Phys. 43,
3892 and 3896 (1965).

Patashnskii e Pokrovski estudam as correlaes das utuaes, principalmente basados nos

resultados de Widom. Ref. A.Z. Patashinskii and V.L. Pokrovsky ",Soviet Phys. JETP, 19

667(1964).

L. Kadano (1966) apresenta idias heursticas que explicam muitas dos resultados da renor-

malizao.

Kenneth Wilson (1971) resolve o problema da teoria de grupo de renormalizao, explicando

a natureza da universalidade e do reescalonamento.

Vamos discutir aqui o modelo de Kadano e a seguir o modelo de Wilson. Os exemplos que

consideraremos sero o modelo de Ising e o modelo 4 .

2.1 Escalonamento
Vamos revisar rapidamente a discusso sobre escalas. Nosso objetivo entendermos como o sistema

fsico escala quando fazemos uma alterao de escala no sistema fsico. Por exemplo, consideremos

um modelo de Ising em um "cubo" de dimenso-d e periodicidade a. Vamos fazer agora um

reescalonamento na dimenso espacial por uma proporo b. Ou seja, a nova dimenso da rede

20
 a a0 = ba (66)

O nmero de spins no sistema N0

N 0 = bd N (67)

Esperamos que a densidade de spins permanea a mesma. Para isso, as distncias espaciais

devem ser reescalonadas por um fator b, ou seja,

~r0 = b1~r (68)

Com isso garantimos que a densidade de spins no novo sistema a mesma do sistema antigo.

Podemos tambm analisar o reescalonamento sob o ponto de vista da funo de partio. Para

o sistema inicial temos

X
Z= exp[HN [i ]] (69)
{}

Somamos agora sobre N N0 spins, cando apenas para somar sobre os demais N 0 spins.
Podemos esperar poder escrever a funo de partio na forma

exp[HN 0 [i0 ]]
X
Z= (70)
{ 0 }

Podemos esperar ento que a energia livre do novo sistema a mesma do sistema original, pelo

menos na parte singular da energia livre (responsvel pelo comportamento crtico). A relao entre

a densidade de energia livre dos dois sistemas deve ser do tipo

N 0 f (t0 , h0 ) = N f (t, h) (71)

ou,

21
 f (t, h) = bd f (t0 , h0 ) (72)

Como t e t0 devem ser pequenos, podemos assumir uma relao linear

t0 = bDt t (73)

Da mesma forma, podemos assumir

h0 = bDh h (74)

Escrevemos ento

f (t, h) = bd f (bDt t, bDh h) (75)

Vamos assumir agora que f no deve se alterar com a mudaa de escala, ou seja, no deve

apresentar uma dependncia em b. Nesse caso, b deve desaparecer da equao 75. Para isso,

devemos substituir as variveis h0 e t0 por uma nica varivel que no dependa de b:

h0 bD h h h h Dh
= = = onde = (76)
|t0 |Dh /Dt Dh /Dt
|t| (bDt )Dh /Dt |t| Dh /Dt
|t| Dt

A densidade de energia livre deve ter uma dependncia do tipo

d/Dt
f (t0 , h0 ) = |t0 | f(h0 / |t0 | ) (77)

e, tambm,

f (t, h) = |t|d/Dt f(h/ |t| ) (78)

Mas anlise anterior (ver captulo 9, curso I), temos

22
 f (t, h) = |t|2 X0 (h/t ) (79)

de onte temos

d
=2 (80)
Dt

Seguindo anlises similares, pode-se mostrar (ver captulo 9, curso I),

= 2 = (d Dh )/Dt

= (2 2) = (2Dh d)/Dt
Dh
= = (81)
(d Dh )

Vamos ainda considerar o comprimento de correlao 0 reescalonado a partir do valor original

. Sabemos que

0 = b1 (82)

Mas, ao mesmo tempo, temos que 0 |t0 | , da mesma forma que |t| . Logo,

!
0 t0
= = bDt (83)
t

de onde temos que

1
= (84)
Dt

d = 2 (85)

23
 Da funo de correlao, temos

g(~r1 , ~r2 ) = h(~r1 )(~r2 )i |~r1 ~r2 | (d2+)

g(~r10 , ~r20 ) = h(~r10 )(~r20 )i |~r10 ~r20 | (d2+) (86)

de onde temos que

0 (~r0 ) = b(d2+)/2 (~r) (87)

de onde podemos escrever

= d + 2 2Dh (88)

2.2 Mtodo de Kadano: decimao no espao real

Metodologia bsica

Vamos considerar uma rede de dimenso d com N stios e constante de rede a. Utilizaremos como

modelo de estudo um sistema fsico que descrito pelo modelo de Ising, com spins si = 1 nos

stios i. No ponto crtico o comprimento de correlao innito. Os spins em diferentes posies

espaciais esto fortemente correlacionado. A idia bsica do mtodo gerar uma nova rede, com

um parmetro de rede renormalizado,

a0 = ba (89)

Com isso, produzimos uma nova rede, onde cada novo stio identicado com um novo spin,

que denominaremos spin de bloco ("block spin"), s0 . Vamos indexar os novos stios por I (s )
(ver g. 3). O reescalonamento de Kadano consiste em mapearmos os valores dos spins da rede

original na nova rede. No h uma nica forma de procedermos e diferentes mapeamentos levaro,

24
em princpio, a diferentes esquemas de grupo de renormaliza o. A segunda etapa consiste em

encontrarmos as interaes efetivas entre os novos spins, ou seja, obter um novo hamiltoniano para

a nova rede.

Figure 3: Esquema de construo de Kadano com coarse-graining. Nesse exemplo o parmetro

de escala b = 2. Extrado de CL.

Vamos agora aplicar para o caso do modelo de Ising explicitamente. O que faremos a seguir

baseia-se no cap. 18 da ref. 2 cap. 10 da ref. 4 e da ref. 5, que o trabalho original.

A funo de partio do sistema original

X
G(h, t) = exp(G(h, t)/kB T ) = exp(H[{s}]/kB T ) (90)
{s}

Vamos escolher o zero de energia tal que

X
H[{s}] = 0 (91)
{s}

onde {s} representa todas as conguraes de spin possveis.

Vamos denir a varivel

25
 Y
S = si (92)
iI

O hamiltoniano mais geral que podemos escrever, do tipo Ising,

XX
H{S} = K S (93)
I

onde o termo do fator de Boltzmann foi incorporado na forma K = J /kB T .

Se estabelecemos um hamiltoniano do tipo de Ising, ento temos

S S = 2N
X
(94)
{S}

onde a soma sobre {S} equivale a dupla soma sobre I e . Podemos agora encontrar os

parmetros K , em princpio, pela expresso,

K = 2N
XX
S H{S} (95)
I

Vamos limitar a anlise aos hamiltonianos homogneos, isto , vamos chamar de a a classe de

todos os subconjuntos de stios I para os quais podemos identicar uma operao de simetria da

rede. Restringiremos os sistemas para os quais todos os K de I a tm o mesmo valor. Nesse

caso, podemos escrever

XX X X X
H[{s}] = K S = K S (96)
I a I a

ou,

N
si sj + K20
X X X X
H[{S}] = K1 si + K2 si sj + K3 si sj sk + ... (97)
i=1 hi,ji hhi,jii hi,j,ki

onde hi, ji refere-se aos primeiros vizinhos, hhi, jii, aos segundos vizinhos, e assim por diante,

hi, j, ki aos tripletos primeiros vizinhos, etc. Podemos identicar por exemplo K1 = h/kB T ,

26
K2 = J/kB T , etc. O mesmo acontece com os hamiltonianos H.
Vamos agora renormalizar a rede para uma rede cbica com b stios em cada bloco B para cada

dimenso. Temos ento bd spins em cada bloco B. Vamos denominar os spins dos blocos como s0 .
Temos ento

s0B = f {s}B (98)

onde f mapeia os {s} spins no conjunto {1, 1} . Vamos denir

PB = K (s0 , f {s}B ) (99)

onde K o delta de Kronecker. Essa funo nos diz se uma congurao em particular produz

o valor s0B = 1 ou s0B = 1. Vamos introduzir agora uma funo peso

P {s0 , s} =
Y
PB (100)
B

onde o produto sobre todos os blocos. Ela depende do conjunto de todos os spins dos blocos,

{s0 } e o conjunto de todos os spins originais, {s}. Essa funo tem as propriedades

P {s0 , s} 0

P {s0 , s} = 1
X
(101)
{s0 }

A funo de partio pode ser escrita como

P {s0 , s} eH{s}
X XX
Z= H[{s}] = (102)
{s} {s0 } {s}

Denimos o hamiltoniano H {s0 } escrevendo a funo de partio na forma

27
 0 0
eG0 +H [{s }] = P {s0 , s} eH[{s}]
X
(103)
{s}

com a condio

H[{s0 }] = 0
X
(104)
{s0 }

Podemos agora introduzir uma energia livre para os spins de bloco, G0 = N 0 g 0 , onde g0 a

densidade de energia livre,

0 0 0
eG = eH [{s }]
X
(105)
{s0 }

e escrevendo G = Ng e G0 = N , Temos a relao entre as energias livres,

G0 + G0 = G (106)

Podemos escrever o novo hamiltoniano da forma mais geral possvel, H0 [S 0 ], introduzindo um

conjunto de constantes de acoplamento {K0 }. Expressando os conjuntos de constantes de acopla-

mento {K } e {K0 } por K e K 0, respectivamente, podemos esperar que as energias tenham a

mesma forma, ou seja,

G = N g(K)

G0 = N 0 g(K 0 )

G0 = N (K) (107)

Dessa forma, lembrando que N 0 = N bd , b > 1, temos

g(K) = (K) + bd g(K 0 ) (108)

28
 Podemos reconstruir os parmetros K0 da mesma forma que os parmetros K :

0
K0 = 2N S0 H0 [{S 0 }]
X
(109)
{S 0 }

A equao de recorrncia 108 nos permite aplic-la iterativamente para obtermos o resultado

desejado, que discutiremos a seguir. As constantes de acoplamento relacionam-se na forma

K K 0 = R(K) (110)

onde R a transformo que leva K para K 0 . Embora diferentes regras para a soma dos blocos
de spin levem a diferentes grupos de renormalizao, todos eles so, em princpio, legtimos. A

diculdade est em encontrar a relao de transformao. O mtodo de Kadano no nos diz como

faz-lo.

Pontos xos e linearizao da renormalizao no espao real

As transformaes R no dependem de qual interao estamos considerando, ou seja,

K (n+1) = R(K (n) ) (111)

Um ponto xo K do mapa R denido por

K = R(K ) (112)

Assumimos que K (n) atinge o ponto xo na medida que n . O hamiltoniano H , cor-

respondente a K , chamado de hamiltoniano do ponto xo. Esse ponto xo o que estamos

interessados uma vez que nele o sistema invariante para uma mudana de escala. Ou seja, a

funo de correlao 0 ou . O primeiro caso corresponde a um sistema no interagente ou a

T = . O caso que nos interessa o segundo.

Vamos analisar o comportamento do sistema prximo do ponto xo, que assumimos ser um

29
ponto crtico. Os diversos valores de K0 formam um espao de constantes. A transformao entre

dois pontos dene um uxo dinmico discreto nesse espao. Para nossa anlise, faremos uma

aproximao linear para a variao das transformaes nesse espao. Prximos do ponto crtico,

escrevemos ento,

K 0 = K (n+1) K = R(K n ) K (113)

e temos

K 0 = R(K ) + T(K (n) K ) (114)

ou,

K0 = T (K )K
X
(115)

R (K)
T = |K=K 0 (116)
K

A matriz T no necessariamente simtrica. Assumiremos que ela possui autovalores no-

degenerados o que garante que os autovetores da direita e da esquerda formam uma base. Vamos

expandir K na base dos autovetores a direita,

T
~ = ~
(117)

ou,

T i = i i
X
(118)

Temos ento,

30
 K = (K (n) K ) = i vi
X

i
K0 = (K (n+1) K ) = i vi0
X
(119)
i

Os autovetores a esquerda so denidos na forma

i T = j i
X
(120)

Utilizando a propriedade

= = 1 (121)

onde

i = i

i = i (122)

podemos escrever

i K
X
vi =

vi0 i K0
X
= (123)

Combinando com as eqs. 109 e 119, temos

vi0 = i vi (124)

Os vi0 s so chamados de campos de escala e esto associados com a transformao do grupo de

31
renormalizao prximo do ponto crtico. Os vi 's formam um conjunto de coordenadas curvil[ineas
para o ponto xo. Partindo do hamiltoniano inicial, podemos escrever

vi (K (n) ) = ni vi (K) (125)

A gura 4 esquematiza um espao bidimensional de parmetros com suas coordenadas curvilneas

em torno de um ponto xo. Podemos classicar os campos de escala vi pelos seus autovalores:

1. Relevantes se |i | > 1. Esses campos tem que ser considerados uma vez que para um valor

no nulo eles aumentam de intensidade a cada transformao. Para estar no ponto xo eles

tm que estar com valor zero.

2. Irrelevantes se |i | < 1. Nesse caso, o campo diminui a cada transformao, eventualmente

vi 0 para n . Prximo do ponto crtico o sistema comporta-se como se esse campo

no existisse e pode ser desprezado desde o incio.

3. Marginal se |i | = 1. Esse caso depende dos detalhes do sistema e exigem uma anlise

diferenciada.

32
Figure 4: Ponto xo (hiperblico) para um espao de parmetros bidimensional adaptado para as
coordenadas e os uxos. Extrado da ref. 4.

Se todos os campos de escala so relevantes o ponto xo K um n instvel. Se todos os

campos de escala so irrelevantes, ele um n estvel. Finalmente, se temos os dois tipos de

campos de escala, relevantes e irrelevantes, o ponto xo um ponto de sela ou hiperblico. Vamos

considerar esse caso. Consideremos um sistema com n campos de escala, sendo m relevantes:

|1 | , ..., |m | > 1; |i | 1, i > m (126)

A condio

v1 = ... = vm = 0 (127)

determina uma hipersuperfcie no espao de parmetros com dimenso n m. Todos os pontos

33
na superfcie levam a K enquanto que os pontos que no esto na superfcie inicialmente levam

a K mas a medida que se aproximam desse afastam-se, na medida que o nmero de interaes

aumentam. A gura 5 exemplica a situao. A superfcie chamada de variedde de atrao

(attraction manifold) ou superfcie crtica associada ao ponto xo K .

Figure 5: Superfcie crtica de um ponto xo hiperblico com trs campos de escala e m = 1.
Extrado da ref. 4.

Vamos retornar agora a equao de recorrncia 108 e utulizarmos os campos de escala como

coordenadas locais na vizinhana de K :

g(v1 , v2 , ...) = (v1 , v2 , ...) + bd g(1 v1 , 2 v2 , ...) (128)

Essa uma equa o linear no-homognea. Sua soluo geral formada por uma soluo

particular mais uma soluo geral da equao homognea correspondente,

34
 g(v1 , v2 , ...) = bd g(1 v1 , 2 v2 , ...) (129)

Vamos assumir que (v1 , v2 , ...)seja uma funo regular (analtica) dos cmapos de escala em

torno da origem. Pode-se mostrar nesse caso (ver ref. 5) uma soluo particular regular greg (v1 , v2 , ...)
pode ser obtida pela iterao de apenas. Podemos escrever ento

g(v1 , v2 , ...) = greg (v1 , v2 , ...) + bd gsing (v1 , v2 , ...) (130)

onde gsing a parte da soluo que apresenta um comportamento no-analtico em torno do

ponto crtico e obtida pela equao 129.

Pontos xos, expoentes crticos e universalidade

O processo de renormalizarmos os stios para blocos cada vez maiores tem o efeito de diminuir o

comprimento de correlao, . Exceto para o caso trivial, = 0, um ponto xo s compatvel

com = . Todos os pontos na superfcie crtica levam a K por meio de transformaes de grupo

de renormalizao. Ou seja, todos os pontos em uma superfcie crtica devem ser crticos, isto ,

ter = . Podemos agora entender o signicado de classe de universalidade: toda superfcie

crtica ou melhor todos os sistemas fsicos que formam a mesma superfcie crtica denem uma

classe de universalidade dos sistemas crticos. Todos os sistemas fsicos na superfcie crtica sero

direcionados para o mesmo ponto xo K sob o efeito de operaes de grupo de renormalizao,

ou seja, eles apresentaro o mesmo comportamento crtico. A diferena entre os sistemas fsicos

estabelece-se nos campos de escala irrelevantes, os quais no tm inuncia no comportamento

crtico.

Vamos voltar para o nosso exemplo do modelo de Ising. Sabemos que para t 6= 0 o comprimento
de correlao

e nito, o mesmo para h 6= 0. Portanto, t = h = 0 devem estar entre as condies que deniem
a superfcie crtica, ou seja, t e h devem estar associados a campos de escala relevantes. Podemos

35
fazer a associao t 0 v1 0 e h 0 v2 0. Vamos escrever os autovalores respectivos

na forma

1 = bD t

2 = bD h (131)

onde Dt , Dh > 0 para os campos relevantes e b > 1. A equao 129 tem a forma

gsing (v1 , v2 ) = bd gsing (bDt v1 , bDh v2 ) (132)

Recuperamos de uma forma mais quantitativa o resultado do escalonamento de Widom. Com

a diferena signicativa que agora podemos calcular esses valores:

ln 1
Dt =
ln b
ln 2
Dh = (133)
ln b

Podemos ir mais longe ainda. Vamos chamar de vt o campo de escala associado com a temper-

atura. Temos ento, utilizando os autovetores a esquerda de T,

t (K K )
X
vt = (134)

Escrevendo explicitamente K = J /kB T , a temperatura crtica Tc = Tc ({J }) pode ser deter-

minada com a condio vt = 0, ou seja,

t J
P
Tc ({J }) = P t
(135)
K

36
2.3 Aplicao: modelo de Ising em uma dimenso
Vamos considerar um exemplo simples, que tem soluo exata, para entendermos melhor as idias

discutidas acima. Por falta de tempo, no vamos detalher muito o resultado. Para uma verso

pedaggica, sugerimos a ref. 6. Aqui, vamos seguir resumidamente os passos do CL, na ausncia

de um campo externo.

Soluo exata O hamiltoniano de Ising em uma dimenso e na ausncia de campo externo pode

ser escrito de forma geral

= H X X X
H =K i i+1 + L i + C
T i i i
X 1 X X
= K i i+1 + L (i + i+1 ) + C
i 2 i i
i , i+1 )
X
= K( (136)
i

onde K = J/T e L = h/T , sendo que J a integral de troca e h o campo magntico externo.
C uma constante que dene o zero de energia.

Para calcularmos a funo de partio utilizamos matrizes de transferncia. Vemos que pode-

mos escrever a expoentencia de

K(, 0) na forma

K+L K
0 e e
eK(, ) = eC

(K, L, C)
M (137)

K K+L
e e

Quanto h=0 e C = 0, temos

(K, 0, 0) = cosh K(1 + 0 tanh K)

M (138)

Para calcular a funo de partio vamos utilizar condies de contorno peridicas. Com isso,

podemos escrever

37
 N = eN C (N + N )
eH = TrM
X
ZN = + (139)
0 ,...,,N

onde so autovalores de (K, L, 0),

M

= eK cosh L (e2K sinh2 L + e2K )1/2 (140)

Na ausncia de campo, h = 0, o autovalor maior + = 2 cosh K . No limite de N grande, N

pode ser desprezado e a energia livre por spin

f 1
= lim [ZN ]
T N N

= C ln[eK cosh L + (e2K sinh2 L + e2K )1/2 ] (141)

e, para T (K ) pequeno e h(L 0, Le2K  1) pequeno, temos

h2
!
1
f f0 T e2K e2K (142)
2 T

onde

f0 = J T C (143)

A energia por spin do estado fundamental J quando C = 0 e temos um gap no espectro

de excitao com uma dependncia exponencial com a temperatura no estado fundamental. A

susceptibilidade a baixas temperaturas

2f 1
= 2
= e2K (144)
h T

Temos a divergncia de para T 0, o que indica que h um ponto crtico em T = 0 no

modelo de Ising em uma dimenso. Esse resultado era esperado qualitativamente uma vez que

38
em uma dimenso no deveramos esperar uma transio para fase ordenada para temperaturas

no nulas. A fase a T =0 com os spins totalmente ordenados enquanto que a T 6= 0, os spins

aparecem desordenados.

Renormalizao Vamos proceder agora com o processo de renormalizao de Kadano. Para

isso, vamos reescrever a rede em bolocs de b1 spins, deixando um spin em cada stio como na

gura . A funo de partio da nova rede igual a da rede original e pode ser escrita na forma

ZN (K, L, C) = TrM b ]N 0 = ZN 0 (K 0 , L0 , C 0 )
N = Tr[M (145)

onde N 0 = N/b o nmero de stios da nova rede. Os potencias da rede decimada podem ser

determinados por

(K 0 , L0 , C 0 ) = M
M b (K, L, C) (146)

Quando L = 0, temos

tanh K 0 = (tanh K)b

K 0 = tanh1 [(tanh K)b ] (147)

Essa equao a relao de recurso do grupo de renormalizao. Ela pode ser iterada um

certo nmero de vezes e, no innito, K chega a um ponto xo K , tal que K 0 = K = K . Nesse

caso temos apenas dois pontos xos:

tanh K = 0 (K = )

tanh K = 1 (K = 0) (148)

39
 tanh K diminui a cada iterao aproximando-se do ponto xo tanh K = 0 na medida que

o nmero de interaes tendem ao innito. Se K = , tanh K permanece com valor unitrio

qualquer nmero de iteraes. Como todos os valores de K outros que no seja K = tendem

a K = 0, dizemos que o ponto xo tanh K = 0(T = ) estvel. O ponto xo em K =

instvel, uma vez que os pontos de atrao para esse valor apenas o prprio ponto K = . A

gura resume essa descrio.

O ponto xo estvel descreve o comportamento para todas as temperaturas nitas. Ele est

associado a fase paramagntica. O ponto instvel descreve a transio de fase em T = 0.

O comprimento de correlao

0 = /b (149)

ou seja, o comprimento de correlao medido no parmetro de rede da nova rede b1 vezes

o comprimento de correlao medido na rede original. O comprimento de correlao diminui na

medida que ele reescalonado. Temos apenas dois pontos xos: = 0 e = .O segundo

caso corresponde ao ponto crtico enquanto que o primeiro corresponde a temperaturas altas no

crticas.

Figure 6: Esquema de decimao de uma cadeia de Ising unidimensional. Extrado de CL.

40
Figure 7: Fluxo do grupo de renormalizao para tanh K e T , mostrando os pontos xos estvel
em tanh K = 0 (T = ) e instvel em tanh K = 1 (T = 0). Extrado de CL.

41
References
[1] Chaikin e Lubenski, Condensed Matter Physics, Oxford, 1995.

[2] Kerson Huang, Statistical Mechanics, 2a. ed. John Wiley & Sons, 1987.

[3] Edouard Brzin, Introduction to Statistical Field Theory, Cambridge, 2010.

[4] G. Morandi, F. Napoli e E. Ercolessi, Statistical Mechanics: An Intermediate

Course, 2a. ed., World Scientic, 2001.

[5] Th. Niemeijer a J.M.J. van Leeuwen, em Phase Transitions and Critical Phe-
nomena, vol. 6, pp. 425-505, C. Domb e M.S. Green, eds., Academic Press, 1976.

[6] H.J. Maris e L.P. Kadano, Teaching the renormalization group, Am. J. Phys. 46,
652 (1978).

42