Transies de fase e o grupo de renormalizao

E. Miranda

Instituto de Fsica Gleb Wataghin, Unicamp, Caixa Postal 6165, 13083-970, Campinas, SP, Brazil
(Dated: 23 de maio de 2005)
Contents
I. Introduo 2
II. A transio ferromagntica 3
III. A soluo de Onsager 5
IV. A transio lquido-gs 5
V. Outras transies e universalidade 6
VI. A teoria de Weiss do ferromagnetismo 7
VII. Modelo de Ising de alcance innito 10
VIII. Teoria de Van der Waals da transio lquido-gs 11
IX. Teoria de Landau das transies de fase contnuas 14
A. Derivao alternativa 17
X. Flutuaes e critrio de Ginzburg 18
XI. Integrao gaussiana 19
XII. Teoria de escala 21
A. Expoentes crticos e anlise dimensional 23
XIII. Teoria fenomenolgica de Landau 24
XIV. Somas parciais e variveis de bloco 26
XV. Soluo exata do modelo de ising unidimensional 29
XVI. Aplicao do grupo de renormalizao ao modelo de Ising uni-dimensional 32
XVII. Aplicao do grupo de renormalizao ao modelo de Ising bi-dimensional 35
XVIII. Outros resultados e operadores irrelevantes 39
XIX. Consideraes gerais sobre os uxos do GR 41
XX. Grupo de renormalizao do modelo gaussiano 46
XXI. Expoentes gaussianos e operadores perigosamente irrelevantes 48
XXII. Grupo de renormalizao do modelo de Landau e expanso em 50
Referncias 61
2
I. INTRODUO
Sistemas de muitas partculas apresentam-se na natureza, quando em equilbrio, em diversas fases termodinmicas. Exem-
plos familiares so as fases gasosa, lquida e slida das diversas substncias. Mas existem tambm outros exemplos:
(i) os compostos podem assumir vrias fases magnticas como paramagnetismo, ferromagnetismo (em que os spins se alinham
numa determinada direo dando origem a uma magnetizao lquida), antiferromagnetismo (em que os spins se alinham
de maneira alternada de modo que no haja magnetizao lquida), ferrimagnetismo (em que h tanto uma magnetizao
lquida quanto uma alternada) e vidros de spin (em que os spins se congelam em direes aleatrias);
(ii) vrios metais apresentam uma fase supercondutora a baixas temperaturas, em que o composto conduz corrente eltrica sem
dissipao;
(iii) ferroeletricidade, em que existe uma polarizao eltrica (momentos de dipolo eltrico) permanente;
(iv) superuidez a baixas temperaturas, fenmeno anlogo supercondutividade, em que alguns lquidos (geralmente, os isto-
pos
3
He e
4
He, mas mais recentemente alguns gses armadilhados) uem sem viscosidade por capilares;
(v) ondas de densidade de carga (charge density waves ou CDWs), emque a densidade eletrnica adquire umpadro peridico
incomensurado com a rede cristalina que quebra a simetria de translao.
(vi) cristais lquidos, cujas molculas alongadas se alinham de modo a quebrar a simetria de rotao sem que haja quebra de
simetria de translao como num slido.
Cada uma dessas fases apresenta uma fenomenologia bem caracterstica que as torna nica e diferente das outras. Por isso, a
transio entre uma fase e outra nummesmo sistema, quando mudamos parmetros externos como temperatura, presso, volume,
campo magntico ou eltrico, se d geralmente de maneira abrupta, ou seja, num ponto, linha ou superfcie bem denidos no
espao de fase. Em alguns casos, em que as duas fases tm simetrias distintas, a transio necessariamente abrupta, j que uma
simetria ou est presente ou no est. Um exemplo tpico de uma transio acompanhada de mudana de simetria a transio
de solidicao ou fuso. Enquanto o lquido invariante por uma translao qualquer do sistema de coordenadas, o slido
cristalino quebra a simetria de translao (um vidro como o vidro de janela uma exceo pois um slido amorfo, em que
no h quebra de simetria translacional, embora ele compartilhe com os slidos cristalinos a propriedade de oferecer resistncia
ao cisalhamento - mdulo de cisalhamento nito -, sendo, portanto, diferente dos lquidos). Sempre que a passagem de uma
fase a outra ocorra de maneira abrupta, ou seja, para valores bem denidos dos parmetros externos (temperatura, presso, etc.)
dizemos que se trata de uma transio de fase. Um contra-exemplo ocorre na transio lquido-gs, em que se pode fazer a
transformao de um em outro com ou sem a ocorrncia de uma transio de fase. Isso ocorre porque no h uma distino entre
essas duas fases em termos de simetria.
Transies de fase podem ser classicadas como sendo contnuas ou descontnuas, conforme as primeiras derivadas da
energia livre sejam contnuas ou descontnuas, respectivamente. Lembrando que,
S =
F (T, V, N)
T

V,N
=
G(T, P, N)
T

P,N
,
V =
G(T, P, N)
P

T,N
,
M =
F (T, H, N)
H

T,N
,
onde F (T, V, N) e G(T, P, N) so as energias livres de Helmholtz e Gibbs, respectivamente, j escritas como funes de
suas variveis naturais, vemos que uma transio de fase descontnua acompanhada de um salto descontnuo da entropia,
que o calor latente, e de uma variao descontnua do volume (como nas transies slido-lquido ou lquido-gs) ou da
magnetizao, no caso de sistemas magnticos. Segue, portanto, que uma transio de fase contnua no apresenta calor latente
ou descontinuidades de volume (ou, equivalentemente, densidade) ou magnetizao. Na nomenclatura antiga, devida a Ehrenfest,
as transies de fase eram classicadas como sendo de ordem N, caso a N-sima derivada da energia livre apresentasse uma
descontinuidade. Nesse caso, transies descontnuas seriam de primeira ordem e, acreditava-se, as transies contnuas seriam
de segunda ordem. Entretanto, estas ltimas, na verdade, apresentam uma divergncia nas derivadas segundas (como o calor
especco C = T
2
F/T
2
, a compressibilidade = (1/V )
2
G/P
2
ou a susceptibilidade magntica =
2
F/H
2
)
e no uma descontinuidade. Por isso, a nomenclatura de Ehrenfest no a mais adequada, embora at hoje se use o termo
transio de fase de segunda ordem para se referir s transies contnuas.
3
Nesse curso, estaremos particularmente interessados no caso das transies contnuas. Estas apresentam um comportamento
universal (como veremos a seguir), em contraste com as transies descontnuas. Comportamento universal aqui quer dizer
que sistemas muito diferentes se comportam da mesma maneira na regio prxima a uma transio de fase contnua (desde que
algumas caractersticas simples como a dimensionalidade e o nmero de componentes do parmetro de ordem sejam as mesmas,
como veremos).
Vamos olhar com mais detalhes alguns sistemas paradigmticos.
II. A TRANSIO FERROMAGNTICA
Vrios sistemas com elementos dos metais de transio ou das terras raras apresentam uma magnetizao espontnea abaixo
de uma temperatura crtica T
c
chamada de temperatura de Curie. Os exemplos mais familiares entre os elementos so Fe, Co
e Ni. Em alguns desses compostos a magnetizao tem sua origem no alinhamento dos momentos magnticos (geralmente de
spin) de eltrons que residem em orbitais localizados nas proximidades dos stios da rede (magnetismo localizado). Esse no o
caso de Fe, Co e Ni, pois nesses materiais o magnetismo ocorre nos eltrons itinerantes. Sabemos que um modelo microscpico
importante para a descrio de vrios desses compostos o modelo de Heisenberg
H
H
=

i,j
J
ij
S
i
S
j
, (2.1)
onde as constantes de troca J
ij
so positivas, favorecendo o alinhamento dos spins. Efeitos relativsticos (interao spin-rbita)
podem fazer com que os spins tendam a se alinhar ao longo de direes preferenciais do cristal. Em particular, em alguns
compostos, como YFeO
3
, CrBr
3
ou LiHoF
4
, os spins s podem apontar em uma direo, digamos z, no sentido de z positivo
ou negativo (ferromagnetos uniaxiais ou de eixo fcil). Nesse caso, o modelo de Heisenberg simplica-se e se torna o modelo
de Ising
H
I
=

i,j
J
ij
S
zi
S
zj
. (2.2)
Em outros casos, os spins podem apontar em qualquer direo num plano, digamos xy, e temos ento o chamado modelo XY
(mais corretamente, o modelo XX, pois as duas direes no plano so equivalentes)
H
XY
=

i,j
J
ij
(S
xi
S
xj
+S
yi
S
yj
) . (2.3)
Em todos esses casos, abaixo de T
c
o sistema apresenta uma magnetizao espontnea
M =

i
S
i
) ,= 0 se T < T
c
,
para os valores esperados das componentes apropriadas do spin. A magnetizao de um ferromagneto um exemplo de um
parmetro de ordem, cuja caracterstica principal ser nulo acima da temperatura crtica e no-nulo abaixo dela. O conceito
do parmetro de ordem (introduzido por Landau, ver Seo IX) extremamente importante na teoria das transies de fase. Ele
representa uma nova varivel termodinmica necessria para a descrio da fase ordenada (ferromagntica no caso acima).
Note que a transio ferromagntica acompanhada por uma quebra da simetria de reverso temporal (lembre que S
i
S
j
sob reverso temporal). Esse um exemplo de uma quebra espontnea de simetria, pois os Hamiltonianos (2.1-2.3) so
invariantes sob reverso temporal. O estado termodinmico do sistema abaixo de T
c
que no simtrico sob essa operao de
simetria (MM). Discutiremos brevemente mais adiante o importante conceito de quebra espontnea de simetria.
medida que a temperatura vai se aproximando de T
c
a partir de valores mais baixos, a magnetizao espontnea vai di-
minuindo at que ela se anula exatamente em T
c
(Fig. 1). exatamente o fato de que M cresce a partir de zero para T < T
c
que caracteriza a transio como contnua. Se M tivesse um salto em T
c
a transio seria de primeira ordem ou descontnua.
Prximo de T
c
o comportamento de M tem a seguinte forma
M (T
c
T)

, (2.4)
onde o sinal deve ser lido como vai com a temperatura da seguinte forma (ou seja, estamos mais interessados na lei de
potncia que no coeciente do termo do lado direito). O expoente um exemplo de um expoente crtico. Para sistemas com
simetria Ising, o valor experimental 0.31 0.33. O conceito de universalidade vem do fato de que o valor de parece
ser o mesmo (dentro da incerteza experimental) para todos os sistemas magnticos com simetria Ising! Como veremos a seguir,
4
0 0.5 1
T/T
c
0
0.5
1
M
(
T
)
/
M
s
(a)
0 1
T
-1
0
1
HCritical point
(b)
M0
M>0
M<0
Figura 1: (a) Magnetizao de um ferromagneto como funo da temperatura; (b) Diagrama de fase do ferromagneto no plano HT. A linha
vermelha representa magnetizao expontnea.
at sistemas no-magnticos, como a transio lquido-gs, parecem apresentar o mesmo expoente crtico. J se o sistema for
melhor descrito pelo Hamiltoniano de Heisenberg, Eq. (2.1), o expoente ser diferente (embora no caso particular de o valor
no seja to diferente).
Consideremos agora outras quantidades fsicas. Prximo de T
c
, tanto acima quanto abaixo desse valor, o calor especco
apresenta uma fraca divergncia
C (T) t

, (2.5)
onde introduzimos a notao conveniente t [T T
c
[ /T
c
. comum tambm fazer a distino entre os expoentes crticos
acima () e abaixo (

) de T
c
, embora os valores sejam iguais dentro da resoluo experimental, 0.1 (para simetria Ising).
A dependncia da magnetizao com o campo magntico aplicado (suposto pequeno) exatamente em T = T
c
tambm dene
um expoente crtico
M (H, T = T
c
) H
1/
. (2.6)
Experimentalmente, para simetria Ising, 5.
A susceptibilidade crtica, medida com H 0, tambm divergente
(T)
_
t

, T > T
c
,
t

, T < T
c
.
(2.7)
Para sistemas Ising, observa-se

1.23 1.25.
Mais dois expoentes crticos podem ser denidos. Eles envolvem o comportamento da funo correlao entre spins distantes
entre si. Podemos denir a funo correlao (conectada) da seguinte maneira
G(r) = [S(r) S(r))] [S(0) S(0))]) , (2.8)
onde usamos a coordenada contnua r para rotular a posio do spin. Note que os valores esperados S(r)) = S(0)) so nulos
para T > T
c
e no nulos do contrrio. Claramente, G(r) mede a correlao entre spins distantes de r e deve ser uma funo
decrescente do mdulo de r, pelo menos para [r[ sucientemente grande. Observa-se que, se T ,= T
c
existe um comprimento
caracterstico (T), chamado de comprimento de correlao, que determina a escala de decaimento de G(r) para longas
distncias (d a dimensionalidade do sistema, no do parmetro de ordem)
G(r)
1

d2
e
r/(T)
(r/)
(d1)/2
(r ) . (2.9)
Dessa forma, spins separados de uma distncia estaro descorrelacionados. Exatamente emT = T
c
, a funo de correlao
obedece uma lei de potncia
G(r)
1
r
d2+
, (2.10)
5
que dene o expoente crtico , tambm chamado de dimenso anmala. A forma da funo de correlao (2.10) tambm v-
lida sucientemente prximo de T
c
se r . A funo de correlao pode ser medida atravs de experimentos de espalhamento
de nutrons. Para sistemas Ising, o valor de 0.01 0.04. Seu pequeno valor faz com que ele seja extremamente difcil de
ser determinado. Observa-se tambm que
(T)
_
t

, T > T
c
,
t

, T < T
c
.
(2.11)
O expoente

0.63 para sistemas Ising. Exatamente em T = T

c
o comprimento de correlao innito. A divergncia
do comprimento de correlao uma das caractersticas principais das transies de segunda ordem, pois ele no diverge nas
transies de primeira ordem. Veremos mais adiante que isso est intimamente ligado ao fenmeno da universalidade.
Denimos, portanto, 6 expoentes crticos diferentes. Veremos adiante que eles no so todos independentes e existem 4
relaes entre eles, de modo que h apenas 2 expoentes a determinar. Em todos os casos acima, observa-se o mesmo valor
dos expoentes em diversos sistemas fsicos. Estes parecem depender apenas do nmero de componentes do parmetro de
ordem e, como veremos, da dimensionalidade do sistema (todos os sistemas magnticos acima so tri-dimensionais; entretanto,
comportamento bi- ou uni-dimensional pode ser observado em sistemas fortemente anisotrpicos). O objetivo de uma teoria
geral dos fenmenos crticos entender a origem da universalidade, do que ela depende e calcular os valores dos expoentes
crticos.
III. A SOLUO DE ONSAGER
interessante observar os resultados obtidos em um dos poucos sistemas em que existe soluo exata: o modelo de Ising
bi-dimensional, cuja soluo por Onsager em 1944 (para H = 0) um dos maiores feitos de fsica terica do sculo XX. Nesse
caso, obtemos
_

_
= 0(log),
= 1/8,
= 15,
= 7/4,
= 1,
= 1/4.
(3.1)
O expoente = 0 signica que o calor especco diverge logaritmicamente, como indicado, pois
lim
0
_
1 t

_
= ln t.
interessante notar que os expoentes crticos so todos nmeros racionais. Isso no se repete (aparentemente) para outros
sistemas.
IV. A TRANSIO LQUIDO-GS
Outra transio de fase importante a transio lquido-gs. O diagrama de fases tpico de uma transio como essa o
da gua (Fig. 2). No plano P T (Fig. 2(a)), ao longo da linha de coexistncia lquido-gs, para uma dada presso e uma
dada temperatura, h vrios volumes possveis para o sistema (considerando N xo), correspondentes s fraes volumtricas
variveis de lquido e gs. O que importante notar que a linha de transies de fase termina em um ponto bem denido
(T
c
, P
c
, V
c
), chamado de ponto crtico, em que os volumes do gs e do lquido so idnticos. O entendimento pode ser mais
aprofundado com a anlise no plano P V . O diagrama de fases correspondente no plano P V (Fig. 2(b)) mostra claramente
que, ao longo da linha de transies, existe uma diferena entre os volumes da gua lquida e do vapor dgua para um nmero
xo de molculas, ou seja, uma diferena de volumes especcos ou de densidades. Essa diferena, como j dito, se anula no
ponto crtico.
Pode-se tomar a diferena entre a densidade do gs
g
(ou do lquido
l
) e
c
= N/V
c
ao longo da linha de coexistncia como
parmetro de ordemda transio. Ela diminui medida que T T
c
e zero exatamente emT = T
c
. Dessa forma, as transies
ao longo da linha so todas de primeira ordem, enquanto que exatamente em T = T
c
a transio contnua. Isso conrmado
pela presena de calor latente ao longo da linha de coexistncia, que se anula no ponto crtico.
Vale ressaltar aqui que a evoluo do sistema a partir de seu estado lquido at seu estado gasoso pode se dar continuamente,
sem nenhuma transio de fase, como se pode observar no diagrama de fases no plano P T. Isso acontece porque no h
6
Figura 2: Diagrama de fases da gua, nos planos (a) P T e (b) P V , mostrando a transio lquido-gs. A linha de transies de primeira
ordem termina num ponto crtico de segunda ordem (transio contnua).
Quantidade fsica ndice d=2 (exato) d=3 Campo mdio Heisenberg
Calor especco 0(log) 0.104 0(descont.) -0.1
Parmetro de ordem 1/8 0.325 1/2 0.33
Susceptibilidade 7/4 1.234 1 1.33
Parmetro de ordem 15 5.2 3 4.2
Comprimento de correlao 1 0.625 1/2 0.7
Funo de correlao 1/4 0.024-0.028 0 0.067
Tabela I: Valores dos expoentes crticos para a classe de universalidade de Ising em d = 2 e d = 3.
uma diferena de simetria entre essas duas fases, ao contrrio da fase slida, em que h quebra da simetria de tranlao. Como
j foi dito, uma simetria ou est presente ou no est e no se pode ir de uma situao outra gradualmente. Nesse sentido, a
transio lquido-gs diferente da transio ferromagntica.
A maneira segundo a qual a diferena de densidades vai a zero medida que T
c
se aproxima dene o expoente

c

c

g
t

. (4.1)
Analogamente, o calor especco a volume constante em V = V
c
diverge com a aproximao de T
c
, denindo o expoente
C
V
(T) t

. (4.2)
O anlogo da susceptibilidade magntica a compressibilidade isotrmica

T
=
1
V
V
P
=
1
V

2
G
P
2
. (4.3)
Ela diverge no ponto crtico (note a tangente horizontal no ponto crtico no plano P V ), denindo o expoente

T
t

. (4.4)
interessante notar que
C
P
C
V
= T
_
P
T
_
2
V
P
. (4.5)
Portanto, a diferena entre C
P
e C
V
proporcional compressibilidade. Como o expoente > , a divergncia da compressi-
bilidade dominante e determina a divergncia de C
P
. Ao longo da isoterma crtica T = T
c
, temos que

c
(P P
c
)
1/
. (4.6)
A funo de correlao densidade-densidade, denida como
G(r) =
1

2
[ (r) ] [ (0) ]) . (4.7)
A partir dela, denem-se os expoentes restantes e em total analogia com o caso ferromagntico (ver Seo II).
O mais interessante que os valores observados experimentalmente para os expoentes , , , , e so os mesmos, dentro
da resoluo experimental, que os observados em sistemas ferromagnticos de simetria Ising. Isso sugere uma forte analogia
entre esses dois sistemas e uma universalidade ainda maior do que se pudesse supor, pois engloba no apenas diferentes sistemas
magnticos, mas at transies de fase diferentes.
V. OUTRAS TRANSIES E UNIVERSALIDADE
Outras transies de fase foram estudadas em seu comportamento crtico. Dignas de nota so a transio superuida do
4
He, transies antiferromagnticas, transies de ordenamento em ligas binrias, etc. Observa-se nelas tambm o fenmeno
7
da universalidade, ou seja, sistemas muito diferentes apresentam o mesmo comportamento crtico. Sabe-se hoje (e veremos
adiante) que o comportamento crtico depende apenas de algumas poucas propriedades da transio, como a dimensionalidade
do sistema, o nmero de componentes do parmetro de ordem e se as interaes so de longo ou de curto alcance. Todos os
outros detalhes, como o tipo de rede cristalina, as interaes microscpicas (desde que sejam todas de igual alcance), e outras
no afetam o comportamento crtico, ou seja, so irrelevantes para a determinao dos valores dos expoentes crticos. Foi um
dos grandes triunfos do grupo de renormalizao explicar a origem dessa universalidade.
Os exemplos dos modelos de Heisenberg, XY e Ising interessante como ilustrao de trs situaes que diferempelo nmero
de componentes do parmetro de ordem. Cada um desses modelos, em um dada dimenso, caracterizado por um conjunto
de expoentes crticos. O fato da transio lquido-gs ser descrita por um escalar e, portanto, por um parmetro de ordem com
apenas uma componente explica, atavs do grupo de renormalizao, porque os expoentes crticos de Ising so os mesmos dessa
transio. Analogamente, a transio superuida do
4
He (e tambm a supercondutora) descrita por um parmetro de ordem
complexo, essencialmente o valor esperado do operador de destruio bosnico em k = 0
= b
k=0
) . (5.1)
Como ele tem duas componentes, segue que a transio superuida tem os mesmos expoentes crticos que o modelo XY tridi-
mensional. No jargo, diz-se que pertencem mesma classe de universalidade.
Vale a pena tambm chamar a ateno para o fato de que um outro tipo de transio de fase contnua tem atrado muito a
ateno dos pesquisadores nos ltimos anos. Trata-se da chamada transio de fase quntica. So transies de fase que
acontecem em sistemas a T = 0 como funo de um parmetro externo como a presso ou o campo magntico. Como o
sistema est em seu estado fundamental em T = 0, trata-se de transies entre estados fundamentais do sistema medida que
o parmetro externo variado. claro que o zero absoluto de temperatura nunca atingido, mas vimos que grande parte do
interesse das transies contnuas est na vizinhana do ponto crtico e esse que estudado nas transies qunticas.
Vale a pena tentar explicar a razo do nome. Uma das caractersticas mais importantes das chamadas transies contnuas tr-
micas (ou seja, aquelas que acontecem a uma temperatura nita) a presena de um comprimento de correlao divergente. Isso
quer dizer que os graus de liberdade importantes para a transio so aqueles correspondentes a comprimentos de onda longos
e, conseqentemente, baixas energias. A uma temperatura nita, a ocupao desses modos de baixas energias essencialmente
clssica (Maxwell-Boltzmann). J no caso das transies a T = 0, esses modos obedecem a uma estatstica intrinsecamente
quntica (Bose-Einstein ou Fermi-Dirac), da o nome da transio. As transies qunticas ainda no so totalmente compreen-
didas e so objeto de intensa investigao.
Finalmente, deve-se mencionar a questo da desordem. A presena de desordem quase sempre inevitvel nos sistemas e sua
inuncia na natureza do comportamento crtico pode ser dramtica. Em particular, alguns tipos de transio so geradas pela
desordem. Um exemplo importante e central so os sistemas chamados de vidros de spin. Trata-se de sistemas magnticos que
apresentam o que parece ter todas as caractersticas de uma transio de fase contnua, mas em que os spins na fase ordenada
no assumemnenhumpadro ordenado espacialmente, mas apenas se congelam numa congurao aleatria. O entendimento
desses sistemas tambm bastantes controverso e eles representam um campo de fronteira na pesquisa em matria condensada.
VI. A TEORIA DE WEISS DO FERROMAGNETISMO
O estudo de fenmenos crticos fortemente baseado no estudo de modelos. Embora esses possam parecer super-
simplicados, o fenmeno da universalidade sugere que no importa muito qual modelo utilizado pois ele dever levar aos
expoentes crticos corretos (claro, desde que no se jogue fora o beb com o banho). Ao nal da anlise, esperamos poder
justicar a utilizao de modelos simplicados.
O modelo mais importante que estudaremos o modelo de Ising. Como dissemos, ele deve ser capaz de descrever o com-
portamento crtico de ferromagnetos uniaxiais (de eixo fcil), assim como o ponto crtico da transio lquido-gs. Vamos
reescrev-lo aqui, supondo apenas interao entre primeiros vizinhos
H
I
= J

i,j
S
i
S
j
, (6.1)
onde o smbolo ij) indica primeiros vizinhos. Por simplicidade, omitimos o sub-ndice z. Vamos tentar supor por enquanto
que a rede uma rede hiper-cbica (quadrada em 2D, cbica em 3D, etc.).
Um importante tratamento do modelo de Ising a teoria de campo mdio de Weiss. Cada spin da rede interage apenas com
seus z = 2d primeiros vizinhos (no confundir com a direo z). A teoria de Weiss parte da suposio de que cada spin pode
ser escrito como seu valor mdio mais utuaes em torno da mdia
S
i
= S
i
) +S
i
. (6.2)
8
-3 -2 -1 0 1 2 3
m
-3
-2
-1
0
1
2
3
y
y=tanh(T
c
m/T)
y=m
-3 -2 -1 0 1 2 3
m
-3
-2
-1
0
1
2
3
y
(a) T>T
c
(b) T<T
c
solues estveis
Figura 3: Soluo grca da equao da teoria de campo mdio de Weiss (h = 0) para (a) T > Tc = zJ (uma soluo estvel em m = 0) e
(b) T < Tc (duas solues estveis com m = 0 e uma instvel em m = 0).
Cada par de primeiros vizinhos i e j, portanto, interagir atravs de
S
i
S
j
= [S
i
) +S
i
] [S
j
) +S
j
] = S
i
) S
j
) +S
i
S
j
) +S
i
) S
j
+O
_
S
2

, (6.3)
e desprezam-se os termos quadrticos na interao. Re-escrevendo a Eq. (6.3) em termos das variveis de spin originais
S
i
S
j
S
i
) S
j
) +S
i
S
j
) +S
i
) S
j
.
Vamos nos concentrar primeiramente no caso uniforme, em que S
j
) = m, independente do stio j. Nesse caso,
H
W
= N
Jz
2
m
2
h
W

i
S
i
, (6.4)
h
W
= zJm. (6.5)
Fisicamente, a magnetizao mdia dos vizinhos age como um campo magntico efetivo h
W
, chamado de campo efetivo de
Weiss. Se existe um campo magntico externo H
I
H
I
h

i
S
i
, o campo de Weiss acrescido dele h
W
= zJm + h. O
Hamiltoniano (6.4) agora de trivial soluo
Z (T, h) = Tr
_
e
HW

= e
NJzm
2
/2
2
N
cosh
N
(h
W
) , (6.6)
f (T, h) =
1
N
ln Z (h) =
Jz
2
m
2

ln [2 cosh(h
W
)] , (6.7)
onde a segunda expresso nos d a energia livre por spin, segundo a formulao usual de mecnica estatstica. O prximo passo
consiste em achar a magnetizao por stio
m(T, h) =
1
N

i
S
i
) =
f (T, h)
h
= tanh (h
W
) = tanh [h +zJm(T, h)] , (6.8)
que uma equao auto-consistente para a magnetizao m. Note que a mesma equao pode ser obtida, supondo m um
parmetro variacional e minimizando a energia livre em relao a m (ver adiante mais detalhes). O mtodo mais fcil de soluo
dessa equao o mtodo grco. Basta plotar as curvas y = m e y = tanh (h +zJm) como funes de m e procurar
pela(s) interseo(es), ver Fig. 3
O caso h = 0 bem simples. Se zJ < 1, ou seja, T > zJ T
c
, a inclinao da tangente hiperblica em m = 0 menor
que 1 e h apenas uma soluo: m = 0. Essa soluo estvel, no sentido de que um mnimo da energia livre (prove isso). J
9
se zJ > 1 ou T < T
c
, 3 solues aparecem: a soluo m = 0, que passa a ser instvel, e duas solues em m = m
W
,= 0,
que so estveis. Isso parece ter a fenomenologia correta de um ferromagneto. medida que T T

c
, as 3 solues acima se
juntam em m = 0. Podemos expandir a Eq. (6.8) para m pequeno, ainda em h = 0, usando
tanh x x
x
3
3
, (6.9)
obtemos
m(T, h = 0)

3
(T
c
T)
T
c
t
1/2
. (6.10)
Assim, a teoria de Weiss prev = 1/2. Analogamente, em T = T
c
( =
c
= 1/ (zJ)) para h e m pequenos
m(T
c
, h) = tanh [
c
h +m(T
c
, h)]
m(T
c
, h)
c
h +m(T
c
, h)
1
3
[
c
h +m(T
c
, h)]
3
m(T
c
, h) (3
c
h)
1/3

c
h (3
c
h)
1/3
h
1/3
. (6.11)
Obtemos assim = 3 pela teoria de Weiss. A susceptibilidade obtida diferenciando a Eq. (6.8) em relao a h e fazendo
h = 0, sem esquecer da dependncia implcita de m com h
(T, h = 0) =
m
h

h=0
=
+

c

cosh
2
(m/
c
)
,
=

c

c
cosh
2
(m/
c
)
. (6.12)
Para T > T
c
, m = 0, e como
c

c
t
(T, h = 0)

c
t
, (6.13)
e = 1. Para T < T
c
, usando a Eq. (6.10)
cosh
2
(m/
c
)
_
1 +
m
2
2
_
2
1 +m
2
1 + 3t, (6.14)
e como
c

c
t
(T, h = 0)

c

c
(1 + 3t)


2
c
2
c
t
=

c
2t
, (6.15)
que nos d

= = 1. O clculo do expoente do calor especco d uma descontinuidade em T

c
( = 0) e deixado como
exerccio. Assim, obtemos os 4 primeiros expoentes da Tabela I.
Para obtermos os expoentes e preciso introduzir utuaes espaciais. Essas podem ocorrer devido a utuaes trmicas
ou devido a um campo externo varivel no espao
H
I
H
I

i
h
i
S
i
. (6.16)
Nesse caso, devemos admitir a possibilidade de que S
j
) = m
j
varie no espao. Assim
h
iW
= J
z

j=1
m
j
+h
i
, (6.17)
e
m
i
= tanh
_
_
J
z

j=1
m
j
+h
i
_
_
. (6.18)
10
Vamos tentar uma abordagem no contnuo, em que as variaes espaciais na escala do parmetro de rede so muito pequenas.
Nesse caso, i x e
m(x) = tanh
_
_
J
z

j=1
m(x +
j
) +h(x)
_
_
, (6.19)
onde os unitrios
j
conectam o stio i aos seus z primeiros vizinhos. Expandindo nas derivadas espaciais
m(x +
j
) m(x) +
j

m(x) +
1
2

m(x) +O
_

3
_
. (6.20)
Os termos de primeira ordem em e os termos cruzados de segunda ordem se anulam por simetria na soma sobre primeiros
vizinhos e obtemos
z

j=1
m(x +
j
) zm(x) +
2

2
m(x) ,
donde
m(x) = tanh
_
Jzm(x) +J
2

2
m(x) +h(x)
_
. (6.21)
Expandindo para pequenos valores do argumento
(zJ 1) m
1
3
(zJm)
3
+J
2

2
m(x) +h(x) = 0. (6.22)
Vamos explorar essa equao mais tarde em conexo com a teoria de Landau (Seo IX).
VII. MODELO DE ISING DE ALCANCE INFINITO
A teoria de campo mdio de Weiss pode ser obtida rigorosamente em dois limites equivalentes:
1. No limite que a dimenso da rede vai a innito.
2. No limite em que cada spin interage igualmente com todos os outros da rede (alcance innito).
Fica claro porque esses limites fazem a aproximao de campo mdio exata. Em ambos os casos, cada spin v um nmero
innito de outros spins. Pelo teorema do limite central, as utuaes em torno da mdia de uma soma de N termos aleatrios
cresce com

N e, portanto, a variao relativa cai com N

1/2
, sendo desprezvel quando o nmero de termos vai a innito.
interessante averiguar em detalhe como isso acontece no modelo de Ising. Vamos considerar o caso 2 acima. Nesse caso
H
I
=
J
2N

i,j
S
i
S
j
h

i
S
i
, (7.1)
em que dividimos pelo nmero total de spins N para que Hamiltoniano seja extensivo (a soma tem N
2
termos) ou, equivalente-
mente, para que o campo efetivo de Weiss seja intensivo. A funo partio
Z (T, h) = Tr
_
e
HI
_
.
Considere agora a seguinte identidade
exp
_
J
2N
x
2
_
=
_

_
NJ
2
dy exp
_

NJ
2
y
2
+Jxy
_
. (7.2)
Segue que
Z (T, h) = Tr
_
_

_
NJ
2
dy exp
_

NJ
2
y
2
+ (Jy + h)

i
S
i
__
=
_

_
NJ
2
dy exp
_

NJ
2
y
2
_
Tr
_

i
exp [ (Jy +h) S
i
]
_
=
_

_
NJ
2
dy exp
_

NJ
2
y
2
_
2 cosh[ (Jy +h)]
N
=
_

_
NJ
2
dy exp [NL(y)] , (7.3)
11
onde
L(y) =
J
2
y
2

ln 2 cosh[ (Jy +h)] . (7.4)

A integral na Eq. (7.3) pode ser calculada pelo mtodo do ponto de sela no limite N . Para isso, precisamos achar o ponto
y
0
de derivada nula da funo L(y). Derivando, obtemos
y
0
= tanh [ (Jy
0
+h)] , (7.5)
que a equao da teoria de campo mdio de Weiss, se identicarmos y
0
m. A temperatura crtica T
c
= J (o reescalamento
com N no Hamiltoniano modica ligeiramente a expresso de T
c
em relao teoria da Seo VI). A expresso da funo
partio dada por
Z (T, h) exp [NL(y
0
)] , (7.6)
onde y
0
o ponto de mnimo global de L(y). A energia livre por spin
f (T, h) L(y
0
) . (7.7)
Compare com a Eq. (6.7). Note, como antecipamos na Seo VI, que a teoria pode ser obtida por minimizao em relao a m,
tomado como parmetro variacional. A magnetizao por spin
m =
f
h
=
L(y
0
)
h
= tanh[ (Jy
0
+h)] = y
0
, (7.8)
que o resultado antecipado. Os outros resultados so imediatos.
VIII. TEORIA DE VAN DER WAALS DA TRANSIO LQUIDO-GS
A teoria de Van der Waals para a transio lquido-gs tem o mesmo papel que a teoria de Weiss do modelo de Ising. Ambas
representam teorias de campo mdio para as respectivas transies. Vamos recordar os principais elementos da teoria de Van der
Waals.
A equao de estado dos gases ideais uma boa aproximao para gases reais a altas temperaturas e baixas densidades
P =
T
v
, (8.1)
onde v = V/N o volume especco (lembrando que usamos unidades tais que k
B
= 1). Se nos referirmos Fig. 2(b), veremos
que a Eq. (8.1) aproxima bem as isotermas hiperblicas a altas temperaturas. A baixas temperaturas, discrepncias comeam a
aparecer. Van der Waals props as seguintes modicaes para a equao dos gases ideais (elas podem ser justicadas a partir
da expanso virial: para maiores detalhes, ver Statistical Physics, L. D. Landau and E. M. Lifshitz, 3rd. Edition, Pergamon,
Oxford, 1980, Cap. 76):
1. Fazer v v b, devido ao volume excludo resultante da repulso de curto alcance entre os tomos.
2. Adicionar um termo a/v
2
ao lado direito da Eq. (8.1), devido atrao de longo alcance entre os tomos (interao de
Van der Waals).
A justicativa para o segundo termo vem de supor uma diminuio da energia livre por partcula, devido atrao, proporcional
densidade (campo mdio): f 1/v. Como P = f/v, temos o segundo termo. A equao de Van der Waals ca
ento
P =
T
v b

a
v
2
. (8.2)
Vamos analisar as conseqncias imediatas da equao de Van der Waals. Ela fornece uma equao de terceiro grau em v
v
2
(v b) =
T
P
v
2

a
P
(v b) v
3

_
b +
T
P
_
v
2
+
a
P
v
ab
P
= 0. (8.3)
Essa equao tem, em geral, 3 solues. Para temperaturas sucientemente altas, apenas uma soluo real, enquanto que para
temperaturas mais baixas, as 3 solues so reais (ver Fig. 4). Quando h 3 solues reais, na regio entre a primeira e a segunda
12
0.5 1 1.5 2 2.5 3
V/V
c
0
5
10
P
/
P
c
T = 0.75 T
c
T = 0.875 T
c
T = T
c
T = 1.125 T
c
Figura 4: Isotermas derivadas da equao de Van der Waals (8.2), para vrios valores de T.
a presso aumenta com o aumento do volume. Isso implica uma compressibilidade negativa, o que termodinamicamente
proibido. Obviamente, isso ocorre porque a funo P (v) para T xa derivada da Eq. (8.2) analtica e no capaz de gerar o
comportamento no analtico da regio de coexistncia lquido-gs da Fig. 2(b). Isso pode ser remediado atravs da chamada
construo de Maxwell: a regio de coexistncia, em que P permanece constante entre v
l
e v
g
determinada de tal forma que
a diferena entre o segmento horizontal e a equao de Van der Waals tenha rea total nula (contando a rea abaixo do segmento
horizontal como sendo negativa). Essa construo pode ser justicada atravs da imposio do equilbrio trmico, mecnico e
de troca de partculas entre as fases (ver Statistical Physics, L. D. Landau and E. M. Lifshitz, 3rd. Edition, Pergamon, Oxford,
1980, Cap. 84).
O ponto crtico da transio ocorre quando as 3 solues reais coalescem numa s raiz tripla. Nesse caso, a Eq. (8.3) se reduz
a
v
3

_
b +
T
P
_
v
2
+
a
P
v
ab
P
= (v v
c
)
3
= 0. (8.4)
Como isso ocorre em T
c
e P
c
, obtemos
3v
c
= b +
T
c
P
c
, 3v
2
c
=
a
P
c
, v
3
c
=
ab
P
c
. (8.5)
Resolvendo as 3 equaes para 3 incgnitas
v
c
= 3b, P
c
=
a
27b
2
, T
c
=
8a
27b
. (8.6)
Uma das conseqncias de (8.6) que
P
c
v
c
T
c
=
3
8
. (8.7)
A concordncia dessa razo universal com a experincia no de todo ruim, pois os valores cam em torno de 0.3, o que
surpreendente j que se trata de uma descrio to simples. Alm disso, podemos reescrever (8.2) em termos de quantidades
adimensionais

P
P
P
c
, (8.8)

T
T
T
c
, (8.9)
v
v
v
c
, (8.10)
13
e obtemos uma equao universal

P =
8

T
3 v 1

3
v
2
. (8.11)
Essa a chamada lei dos estados correspondentes.
O comportamento crtico pode tambm ser extrado da equao de Van der Waals. Expandindo (8.11) quando suas variveis
so prximas de 1 e denindo

T = 1 +t, (8.12)
v = 1 +, (8.13)
obtemos

P = 1 + 4t 6t
3
2

3
, (8.14)
onde levamos a expanso at O
_
t
3/2
_
, supondo que
g

_
[t[ como o resultado de campo mdio e como ser mostrado a
seguir. Note the t 0 se T T
c
. Os volumes do gs e do lquido coexistentes,
g
> 0 e
l
< 0, so obtidos pela construo de
Maxwell para t < 0
_
vdP = 0. (8.15)
Podemos ver que as isotermas obtidas a partir da Eq. (8.14), correspondem a uma funo mpar de em relao ao ponto

P
0
= 1 +4t. Portanto, a construo de Maxwell fornece volumes
g
e
l
localizados simetricamente em relao a zero, ou seja,

g
=
l
.
Alm disso

P (
g
) =

P (
l
) =

P (
g
) , (8.16)
donde, usando (8.14),

2
g
= 4t, (8.17)
que nos d o expoente = 1/2 e conrma o comportamento de campo mdio assumido no incio. Na temperatura crtica t = 0
e de (8.14)

P 1 =
3
2

P P
c
P
c
=
3
2
_
v v
c
v
c
_
3
, (8.18)
que nos d = 3, tambm tpico de campo mdio. A divergncia da compressibilidade isotrmica pode ser obtida de

T
=
1
v
v
P
=
1
v
c
P
c

P
. (8.19)
De (8.14),

= 6t
9
2

2
. (8.20)
Tanto para T > T
c
(ao longo de = 0), quanto para T < T
c
(
2
g
= 4t)

T
t
1
, (8.21)
que d =

= 1, de novo conrmando a natureza de campo mdio da teoria. O clculo do calor especco requer suposies
sobre a dependncia da entropia com a temperatura e vai alm da mera equao de Van der Waals, assim como os outros
expoentes que dizem respeito s variaes espaciais das correlaes. Esses caro mais claros a partir da teoria mais geral de
Landau.
14
IX. TEORIA DE LANDAU DAS TRANSIES DE FASE CONTNUAS
A natureza das transies de fase contnuas posta em bases mais slidas e gerais pela teoria de Landau. A losoa dessa
teoria escrever umfuncional (funcional de Landau) do parmetro de ordem, cujo mmino funcional nos d o valor de equilbrio
do parmetro de ordeme a energia livre do sistema. O funcional de Landau pode ser deduzido no caso de teorias de campo mdio
especcas, como a teoria de Weiss, Van der Waals ou BCS da supercondutividade. No caso geral, ele deve ser encarado como
uma descrio dos graus de liberdade de longos comprimentos de onda de uma teoria, uma vez que a fsica de curto alcance
(curtos comprimentos de onda) tenha sido integrada. Nesse sentido mais amplo, em que no estamos interessandos apenas na
minimizao do funcional mas incorporamos tambm suas utuaes, a teoria de Landau vai alm da teoria de campo mdio e
dene uma teoria de campos que servir como base para os nossos desenvolvimentos futuros do grupo de renormalizao.
O funcional de Landau construdo, supondo-se a proximidade do ponto crtico de tal modo que o parmetro de ordem seja
pequeno em algum sentido. Nesse caso, podemos tentar expandir o funcional em potncias do parmetro de ordem e/ou de suas
derivadas. O funcional deve ser consistente com as simetrias do problema. No caso, vamos supor por simplicidade que haja
simetria de rotao (tratamento do contnuo, em que desprezamos efeitos de rede) e translao. A expanso se far em termos
de potncias inteiras do parmetro de ordem e de suas derivadas, de forma a preservar a natureza analtica do funcional. Assim,
para um parmetro de ordem

, que supomos um vetor de n componentes, o funcional de Landau pode ser expandido como
L

,
i

,
i

, ... =
_
dx
_
1
2
(x)
_
r
2

(x) +
u
4
[(x) (x)]
2
h(x) (x) +...
_
. (9.1)
A expresso acima retm os termos principais para obtermos uma teoria compatvel com as teorias das Sees anteriores, mas
em outras situaes pode ser necessrio manter outros termos. O ltimo termo quebra a simetria de rotao e deve ser encarado
como anlogo ao campo magntico. Vamos calcular a derivada funcional de L com relao ao campo

L
(x)
=
_
r
2
_
(x) +u [(x) (x)] (x) h(x) = 0. (9.2)
Essa a mesma Eq. (6.22) que obtivemos na teoria de Weiss generalizada para situaes com dependncia espacial (para o caso
de um parmetro de ordem escalar). O mnimo do funcional quando o campo aplicado uniforme h(x) = he
h
ocorre para um
parmetro de ordem uniforme
(x) =
0
e
h
, (9.3)
tal que
r
0
+u
3
0
= h, (9.4)
que o mnimo do potencial
V () =
r
2
(x) (x) +
u
4
[(x) (x)]
2
h(x) (x) . (9.5)
O caso h = 0 instrutivo. Nesse caso, se r > 0,
0
= 0. Entretanto, se r < 0,

2
0
=
r
u
. (9.6)
Note que necessariamente devemos ter u > 0, do contrrio o potencial (9.5) ilimitado inferiormente. Est claro que para fazer
contato com as teorias de campo mdio anteriores, precisamos supor que (a > 0)
r = at. (9.7)
Dessa forma, da Eq. (9.6) segue que = 1/2, como queremos. O potencial V () para um parmetro de ordem escalar e vrios
valores dos parmetros r e h mostrado na Fig. 5.
Os outros expoentes tambm so imediatos. Fazendo r = 0 na Eq. (9.4), obtemos

0
=
1
u
h
1/3
, (9.8)
e = 3. Inserindo
0
no funcional obtemos a (densidade de) energia livre de Landau
f =
L
V
=
r
2

2
0
+
u
4

4
0
h
0
. (9.9)
15
-1 0 1

0
2
4
6
V
(

)
r > 0
r < 0
-1 0 1

0
1
2
V
(

)
h < 0
h > 0
(a)
(b)
Figura 5: Potencial de Landau V () (Eq. 9.5) para um parmetro de ordem escalar e para (a) h = 0, r > 0 e r < 0 e (b) r < 0, h > 0 e
h < 0.
A susceptibilidade e o calor especco podem ser obtidos das derivadas segundas em relao a h e T (ou t) da energia livre. Os
parmetros r e u tem dependncias com h e t, mas a nica dependncia importante a de r comt: as outras so supostas suaves
e no crticas. Assim, para h = 0,
f (t, h = 0) =
_
0 t > 0,

a
2
4u
t
2
t < 0,
(9.10)
e o calor especco apresenta uma descontinuidade em T
c
c (t) =
_
0 t > 0,
a
2
2u
T
c
t < 0,
(9.11)
dando = 0. Analogamente,

f
h
=
0

0
h
, (9.12)

2
f
h
2
=

0
h


2
f

0
h

0
h


2
f

2
0
_

0
h
_
2
, (9.13)
j que f/
0
= 0. Derivando (9.4) em relao a h
r

0
h
+ 3u
2
0

0
h
= 1

0
h
=
1
r + 3u
2
0
=
_
1
at
t > 0,

1
2at
t < 0.
(9.14)
Alm disso,

2
f

0
h
= 1, (9.15)
e

2
f

2
0
= r + 3u
2
0
=
_
at t > 0,
2at t < 0.
(9.16)
Assim
=

2
f
h
2
=
1
r + 3u
2
0
=
_
1
at
t > 0,

1
2at
t < 0.
(9.17)
16
Obtemos, portanto, =

= 1.
Note que o funcional de Landau perfeitamente analtico e as no-analiticidades da transio de fase aparecem da condio
de minimizao.
Vamos analisar agora as utuaes espaciais da teoria. Para isso, voltemos Eq. (9.1), especializada para o caso de um
parmetro de ordem uniforme. Podemos expandir o integrando at ordem quadrtica em torno do mnimo (x) =
0
+ (x),
supondo que o campo externo nulo

2
(x) = [
0
+ (x)]
2
=
2
0
+ 2
0
(x) +
2
(x) , (9.18)
(x) _
2
(x) =
0
_
2
(x) + (x) _
2
(x) , (9.19)

4
(x) = [
0
+ (x)]
4
=
4
0
+ 4
3
0
(x) + 6
2
0

2
(x) +O
_

2
(x)

, (9.20)
de tal forma que L =
_
dxf (x), onde (o termo de primeira ordem em nulo no mnimo funcional)
f (x)
r
2

2
0
+
u
4

4
0
+ (x)
_
_
r _
2
_
2
+
3u
0
2
_
(x)
= f
0
(T) +
1
2
(x)
_

2
_
2
_
(x) , (9.21)
onde

2
= r + 3u
2
0
=
_
r t > 0,
2r t < 0.
(9.22)
A razo para a denio de car mais clara a seguir. Assim
Z [T, j (x)] = e
f0(T)
+
_
T exp
_
dx
_

1
2
(x)
_

2
_
2
_
(x) +j (x) (x)
_
, (9.23)
que deve ser entendida como uma integral funcional sobre as utuaes (x) do parmetro de ordem e onde introduzimos um
termo de fonte j (x) (x) que til para tomar derivadas funcionais. A funo de correlao do parmetro de ordem
G(x) (x) (0))
2
0
G(x) = (x) (0)) . (9.24)
fcil ver que
ln Z [T, j (x)]
j (0)
=
1
Z [T, j (x)]
Tr [ (0)] = (0)) , (9.25)

2
ln Z [T, j (x)]
j (x) j (0)

j(x)=0
=
1
Z [T, j (x)]
Tr [ (x) (0)]

j(x)=0

1
Z
2
[T, j (x)]
Tr [ (0)]
2

j(x)=0
(9.26)
= (x) (0)) = G(x) . (9.27)
conveniente trabalhar no espao de Fourier devido invarincia translacional do funcional (d a dimenso do sistema)
(x)
_
dk
(2)
d
e
ikx
(k) , etc., (9.28)
onde usaremos o mesmo smbolo para uma funo e sua transformada de Fourier, a distino cando bvia pelo argumento.
Obtm-se
L =
_
dk
(2)
d
_
1
2
_

2
+k
2
_
[ (k)[
2
+j (k) (k)
_
, (9.29)
onde usamos que (k) =

(k) para (x) R. Segue que, para j = 0 (ver Seo XI)

(k) (q)) =
(d)
(k +q)
_
[ (k)[
2
_
(9.30)
17
e
G(k) =
1
(2)
d
_
[ (k)[
2
_
. (9.31)
O valor esperado acima provm de uma integral gaussiana simples e
G(k) =
1

2
+k
2
. (9.32)
Esse o resultado central procurado. Ele conhecido pelo nome de funo de correlao de Ornstein e Zernicke. Para analis-lo
melhor importante transformar de volta para o espao real
G(x) =
_
dk
(2)
d
e
ikx

2
+k
2
. (9.33)
A integral acima pode ser feita analiticamente (ver o livro do Goldenfeld) e obtemos (para d 2)
G(x) =

(1d)/2
2
(1+d)/2
1

d2
e
r/
(r/)
(d1)/2
, T ,= T
c
, (9.34)
G(x) =

_
d2
2
_
4
d/2
1
r
d2
, T = T
c
, (9.35)
que o resultado anunciado anteriormente nas Eqs. (2.9) e (2.10). Da comparao pode-se ver que a teoria de campo mdio
de Landau prev = 0. Alm disso, conrmamos que o smbolo realmente o comprimento de correlao como denido
anteriormente. De (9.22), obtemos nalmente que = 1/2. Isso completa a determinao dos expoentes crticos de campo
mdio anunciados na Tabela I. interessante notar e ca como exerccio derivar a funo de correlao (9.33) diretamente da
Eq. (9.37) (ou equivalentemente de (6.22)) atravs de derivao funcional
G(x) =
(x)
h(0)

h(x)=0
, (9.36)
(ver Eqs. (9.25-9.27)). Isso ilustra tambm porque G(x) tambm chamada de funo de Green.
A. Derivao alternativa
Vamos rederivar a expresso acima, usando derivao funcional e gereralizando para o caso de um parmetro de ordem real
com n componentes. Vamos primeiro re-escrever a equao de Landau em componentes
_
r
2
_

i
(x) +u
_
n

k=1

2
k
(x)
_

i
(x) h
i
(x) = 0 (9.37)
e vamos denir
G
ij
(x) =

i
(x)
h
j
(0)

h(x)=0
. (9.38)
Derivando implicitamente a Eq. (9.37) em relao a h
j
(0) temos
_
r
2
_
G
ij
(x) +u
_
n

k=1

2
k
(x)
_
G
ij
(x) +u
i
(x)
_
2
n

k=1

k
(x) G
kj
(x)
_
=
ij

(d)
(x) . (9.39)
Quando h(x) = 0, para T > T
c
,
i
= 0 enquanto que para T < T
c

i
(x) =
0

i,1
, (9.40)
onde escolhemos arbitrariamente a direo i = 1 como sendo aquela em que parmetro de ordem se congela. Assim
_
r +u
2
0
+ 2u
2
0

i,1

2
_
G
ij
(x) =
ij

(d)
(x) . (9.41)
18
Como a matriz que multiplica G
ij
(x) diagonal, sua inversa tambm . Assim obtemos no espao de Fourier
G
ij
(k) =
ij
[
i,1
G
l
(k) + (1
i,1
) G
t
(k)] , (9.42)
onde
G
l
(k) =
1

2
l
+k
2
, (9.43)
G
t
(k) =
1

2
t
+k
2
, (9.44)
e

2
l
= r + 3u
2
0
=
_
r t > 0,
2r t < 0,
(9.45)

2
t
= r +u
2
0
=
_
r t > 0,
0 t < 0.
(9.46)
O resultado para a funo de correlao longitudinal o mesmo obtido anteriormente no caso n = 1, mas a funo de correlao
transversal um resultado novo. Embora
l
=
t
para T > T
c
, o comprimento de correlao transversal nulo para T < T
c
.
Esse resultado, especco de parmetros de ordemcontnuos (n > 1), reete o fato de que as utuaes transversais do parmetro
de ordem com comprimentos de onda tm energias nulas (teorema de Goldstone).
X. FLUTUAES E CRITRIO DE GINZBURG
Podemos determinar a validade da teoria de campo mdio dentro da prpria teoria. Vamos fazer isso de duas maneiras. Vimos
que a hiptese bsica da teoria de campo mdio est em desprezar as utuaes em torno do valor mdio do parmetro de ordem.
Podemos usar a funo de correlao para estimar essas utuaes. Sabemos que
G(x) = (x) (0))
2
0
(10.1)
e que, pela Eq. (9.34), o comprimento de correlao determina a escala alm da qual o parmetro de ordem se descorrelaciona.
Assim, estimamos a varincia de como

G([x[ = )
2d
t
(d2)/2
. (10.2)
Devemos compar-la com
2
0
t e exigir que as utuaes sejam pequenas

2
0
t
(d4)/2
1. (10.3)
Esse o chamado critrio de Ginzburg. Ele extremamente importante porque ele determina a regio de validade da teoria
de Landau. Vejamos suas conseqncias. Para d > 4, o critrio (10.3) sempre satisfeito sucientemente prximo da transio
(t 1). A teoria de Landau, portanto, descreve bem o comportamento crtico. Para d < 4, entretanto, a variao relativa do
parmetro de ordem diverge medida que nos aproximamos do ponto crtico. Isso mostra que a teoria de Landau invlida
como descrio do comportamento crtico para d < 4. Os resultados da teoria, no entanto, podem ainda ser utilizados para
d < 4, fora da chamada regio crtica, ou seja, para
t
(d4)/2
1. (10.4)
importante notar que ainda assim possvel satisfazer a condio de que
0
=
_
r/u =
_
at/u 1, necessria para a
validade da expanso do funcional de Landau. A dimenso d
uc
= 4, acima da qual a teoria de Landau vlida mesmo na regio
crtica chamada de dimenso crtica superior. Nossa tarefa ser tentar ir alm da teoria de Landau em dimenses abaixo da
dimenso crtica superior.
A divergncia das utuaes abaixo de 4 dimenses pode tambm conrmada atravs do clculo das correes do calor
especco devido s utuaes. A correo energia livre devido s utuaes obtida diretamente de (9.29) (ver Seo XI)
f = ln
_
detG
1
_
1/2
=
1
2
Tr ln G =
1
2
_
dk
(2)
d
ln
_
1

2
+k
2
_
=
1
2
_
dk
(2)
d
ln
_
at +k
2
_
, (10.5)
19
onde a pode ser obtido de (9.22). Note que estamos desprezando a dependncia com
c
, que uma quantidade no crtica.
Assim
C

2
f
t
2

a
2
2
_

0
dk
(2)
d
1
(
2
+k
2
)
2
, (10.6)
onde introduzimos um cutoff para vetores de onda grandes, que reete o parmetro de rede. Para analisar essa integral, vamos
escrever a varivel de integrao como uma quantidade adimensional q = k
C
4d
a
2
2
_

0
dq
(2)
d
1
(1 +q
2
)
2
. (10.7)
Quando T T
c
, o comprimento de correlao diverge e com ele o limite superior da integral em (10.7). O integrando nessa
regio se comporta como
_

q
d1
q
4
dq ()
d4
, (10.8)
que converge quanto se d < 4. Nesse caso,
C
4d
t
(4d)/2
. (10.9)
Vemos assim que as correes devido s utuaes divergem na regio crtica e mostram que as utuaes invalidam a teoria
de Landau para d < 4. interessante notar que, tomado como um modelo da transio, o modelo acima (chamado de modelo
gaussiano, por incorporar apenas as utuaes quadrticas) fornece o expoente crtico
= 2
d
2
. (10.10)
Note que se d > 4, a integral no converge no limite superior, o que apenas nos diz que no podemos fazer a troca de variveis
k q = k. De fato, podemos fazer
2
= 0 em (10.6) e
_

0
k
d1
k
4
dk k
d4

0
, (10.11)
que converge no limite inferior se d > 4. importante notar que a divergncia de C para d < 4 ocorre devido ao limite
inferior da integral em (10.6), apesar de sua apario no limite superior da integral re-escalada. Isso ca claro fazendo
2
= 0
em (10.6) e notando que a integral diverge no limite inferior. As utuaes divergentes so utuaes de longos comprimentos
de onda.
XI. INTEGRAO GAUSSIANA
Vamos fazer uma digresso matemtica para estabelecer as frmulas das integrais gaussianas, que aparecem freqntemente
em nosso desenvolvimento. Consideremos primeiramente uma varivel apenas. Nesse caso
I (a, j) =
_

dxexp
_

a
2
x
2
+ jx
_
=
_

dxexp
_

a
2
_
x
j
a
_
2
+
j
2
2a
_
= e
j
2
/2a
_

dxexp
_

a
2
x
2
_
= e
j
2
/2a
_
2
a
. (11.1)
Segue que
_

dxx
2
exp
_

a
2
x
2
+jx
_
=

2
I (a, j)
j
2

j=0
=
1
a
_
2
a
. (11.2)
Considere agora que h N coordenadas x
i
e que
I [A
ij
, j
i
] =
_

i=1
dx
i
exp
_

1
2
x
i
A
ij
x
j
+j
i
x
i
_
, (11.3)
20
onde A
ij
uma matriz real simtrica positivo-denida (seus autovalores so positivos) e onde usamos a conveno de Einstein
de que ndices repetidos so somados. Seja S
ij
a matriz ortogonal (S
1
= S
T
) que diagonaliza A
ij
S
ik
A
kl
S
1
lj
= a
i

ij
, (11.4)
onde a
i
> 0 so os auto-valores de A
ij
. Se y
i
= S
ij
x
j
, ento x
i
A
ij
x
j
= y
i
S
ik
A
kl
S
1
lj
y
j
= a
i
y
2
i
. Alm disso, j
i
x
i
=
j
i
S
1
ij
y
j
h
j
y
j
, onde h
i
= S
ij
j
j
. Levando em conta que o Jacobiano da troca de variveis x
i
y
i
detS = 1, ento
I [A
ij
, j
i
] =
_

i=1
dy
i
exp
_

1
2
a
i
y
2
i
+h
i
y
i
_
=
N

i=1
e
h
2
i
/2ai
_
2
a
i
=

_
(2)
N

N
i=1
a
i
exp
_
N

i=1
h
2
i
2a
i
_
=
(2)
N/2

detA
exp
_
_
N

i,j,k=1
S
ij
j
j
S
ik
j
k
2a
i
_
_
=
(2)
N/2

detA
exp
_
_
1
2
N

j,k=1
j
j
B
jk
j
k
_
_
,
onde
B
jk
=
N

i=1
S
ij
S
ik
a
i
=
N

i=1
S
1
ji
_
1
a
i
_
S
ik
= A
1
jk
.
Assim
I [A
ij
, j
i
] =
(2)
N/2

detA
exp
_
_
1
2
N

j,k=1
j
j
A
1
jk
j
k
_
_
. (11.5)
Generalizando para integrais funcionais, onde i x, etc., temos
Z [j (x)] =
_
T(x) exp
_

1
2
_
dx
_
dy(x) A(x, y) (y) +
_
dxj (x) (x)
_
= [detA(x, y)]
1/2
exp
_
1
2
_
dx
_
dyj (x) A
1
(x, y) j (y)
_
. (11.6)
Em (11.6), o determinante geralmente calculado depois de diagonalizado o operador A(x, y). O operador inverso de
A(x, y), por denio
_
dzA
1
(x, z) A(z, y) =
(d)
(x y) . (11.7)
Note que, se denimos
O(x))
_
T(x) O(x) exp
_

1
2
_
dx
_
dy(x) A(x, y) (y)

_
T(x) exp
_

1
2
_
dx
_
dy(x) A(x, y) (y)
, (11.8)
onde O(x) qualquer operador local, ento
(x)) =
ln Z [j (x)]
j (x)

j(x)=0
(11.9)
(x) (y))
con
=

2
ln Z [j (x)]
j (y) j (x)

j(x)=0
. (11.10)
21
onde AB)
con
AB) A) B). Segue que
(x)) =
_
dyA
1
(x, y) j (y) (11.11)
(x) (y))
con
= A
1
(x, y) . (11.12)
XII. TEORIA DE ESCALA
Antes do desenvolvimento da teoria do grupo de renormalizao, alguns pesquisadores perceberam que na regio crtica as
quantidades fsicas tinham um comportamento mais simples como funo dos parmetros externos, como temperatura e campo
magntico no caso dos ferromagnetos. Um dos primeiros a notar essa simplicao foi Ben Widom
1,2
(outros tambm per-
ceberam, como Patashinskii e Pokrovskii
3
). Essa simplicao leva o nome de teoria de escala (ou de escalamento, scaling
theory). Uma das conseqncias mais importantes da teoria de escala mostrar que os expoentes crticos no so independen-
tes, mas satisfazem algumas relaes (leis de escala). Partindo de consideraes termodinmicas, essas relaes haviam sido
demonstradas antes da teoria de escala como desigualdades. Por exemplo, mostrou-se que
+ 2 + 2. (12.1)
A teoria de escala demonstrou que elas eram satisfeitas como igualdades, ou seja, que
+ 2 + = 2. (12.2)
A teoria do grupo de renormalizao ir demonstrar a validade da teoria de escala.
A teoria de escala pode ser escrita em vrias formas. Vamos considerar primeiro a densidade de energia livre de um ferro-
magneto, na regio crtica, como funo de h e T, mais precisamente sua parte singular. A teoria de escala parte da suposio
simples (hiptese de escala) de que f depende de h e T numa combinao bem denida
f (T, h) = t
2

_
h
t

_
, (12.3)
onde o expoente chamado de expoente do gap. Os expoentes e e a funo (chamada de funo de escala) so
todos universais (mas que variam com a dimenso e o nmero de componentes do parmetro de ordem, ou seja, com a classe de
universalidade). Vamos examinar as conseqncias da hiptese de escala.
O calor especco dado por
C = T

2
f
T
2

2
f
t
2

t
_
(2 ) t
1

_
h
t

h
t
+1
t
2

_
h
t

__

_
(2 ) (1 ) t

_
h
t

_
(2 ) t
1
h
t
+1

_
h
t

_
h(1 ) t

_
h
t

_
+
(h)
2
t
2(+1)
t
2

_
h
t

_
_
(2 ) (1 ) (0) t

, (12.4)
em que zemos h = 0 ao nal. Obtemos assim a divergncia esperada do calor especco com o expoente adequado, que foi a
razo para a escolha do coeciente de . Se agora derivarmos em relao a h podemos obter a magnetizao
m =
f
h
= t
2

_
h
t

_
. (12.5)
Tomando h 0 devemos obter a magnetizao expontnea para T < T
c
(supomos que t = [T T
c
[ /T
c
acima). Assim,
m

(0) t
2
t

. (12.6)
Assim, deduzimos que
= 2 . (12.7)
22
Derivando (12.5) mais uma vez em relao a h obtemos a susceptibilidade
=
m
h

h=0
= t
22

(0) t

, (12.8)
donde se deduz
= 2 + 2. (12.9)
Podemos agora eliminar a varivel desconhecida de (12.7) e (12.9) para obter
+ 2 + = 2, (12.10)
que a relao de Rushbrooke (ou Essam-Fisher), j mencionada. Alm disso, podemos fazer t 0 em (12.5) para obter a
equao de estado no ponto crtico e com isso o expoente . Entretanto, parece haver um problema nesse caso, pois o argumento
de tende ao innito. Nesse ponto, precisamos perceber que, para que a equao no dependa de t ao nal, preciso que
quando x
(x) x
(2)/
, (12.11)
de tal forma que os fatores de t se cancelem. Nesse caso,
m h
(2)/
h
1/
. (12.12)
Assim
(2 ) = = . (12.13)
De (12.7), = 2 e de (12.2), + = 2 , donde
= +. (12.14)
Finalmente, de (12.13) e (12.14)
= +, (12.15)
que a segunda igualdade de expoentes que obtemos.
Para derivarmos as outras leis de escala precisamos analisar a funo de correlao. Sabemos que na regio crtica, ela depende
de r e . Assim a hiptese de escala pode ser escrita
G(r) r
(d2+)

_
r

_
, (12.16)
onde introduzimos uma nova funo de escala . Claramente, (x) const. quando x 0, a m de recuperarmos a expresso
crtica da funo de correlao. Para relacionar essa expresso com outros expoentes preciso lembrar que a integral de G(r)
sobre todo o espao nos d a susceptibilidade

_
dxG(r)
_

0
r
d1
drG(r) . (12.17)
Assim

_

0
r
d1
r
d2+

_
r

_
dr
_

0
r
1

_
r

_
dr
2
_

0
y
1
(y) dy, (12.18)
onde re-escalamos a varivel de integrao r = y. Como t

t
(2)
_

0
y
1
(y) dy t

, (12.19)
donde
= (2 ) . (12.20)
23
importante frisar que essas leis de escala envolvendo os expoentes so independentes da dimenso (embora os valores dos
expoentes variem com a dimenso). De fato, alm de valerem em 3 dimenses, fcil checar a partir da Tabela I que elas
tambm so vlidas em 2 dimenses. Existe uma ltima lei de escala, entretanto, que depende da dimensionalidade e tem, por
isso, um status ligeiramente diferente. Ela parte da suposio (como sempre, a ser justicada mais adiante com o grupo de
renormalizao) de que a divergncia da densidade de energia livre uma conseqncia direta da divergncia do comprimento
de correlao. Na verdade, todas as divergncias crticas tm essa origem. A densidade de energia livre se relaciona com a
funo partio atravs de
f
1
L
d
ln Z (12.21)
e tem, portanto, dimenso de L
d
j que Z adimensional. Segue que a dependncia singular de f na regio crtica ser
governada por da seguinte forma
f
d
. (12.22)
Para h = 0, t

, logo
f t
d
t
2
, (12.23)
onde, na ltima passagem, utilizando a Eq. (12.3) para h = 0. Assim obtemos uma lei de hiper-escala (hyperscaling law)
2 = d, (12.24)
que a ltima relao procurada e que depende diretamente da dimenso d. Observe como tambm ela obedecida pelo modelo
de Ising bi-dimensional. As leis de hiper-escala so obedecidas por sistemas que se encontram abaixo de sua dimenso crtica
superior (d
uc
= 4 para as classes de universalidade de Ising, XY e Heisenberg), mas so violadas acima dessa dimenso. Com
efeito, os expoentes de campo mdio, que so sabidos exatos para d > 4, no obedecem Eq. (12.24) ( = 0, = 1/2 e d
varivel) , exceto exatamente em d = 4. interessante perguntar como e se a Eq. (12.3) compatvel com a hiptese subjacente
lei de hiper-escala. A resposta que ela compatvel sim, j que o prprio comprimento de correlao obedece a uma relao
de escala como funo de T e h
t

X
_
h
t

_
, (12.25)
donde a Eq. (12.3) segue de (12.22) com (x) = X
d
(x).
Um comentrio adicional deve ser feito. J frisamos anteriormente que os expoentes que podem ser denidos acima e abaixo
do ponto crtico ( e

, e

e e

) so na verdade iguais. Ns fomos um tanto descuidados com a regio acima e abaixo de

T
c
na discusso acima e a priori deveramos ter denido funes de escala acima e abaixo de T
c
como, por exemplo, (usando
agora t = (T T
c
) /T
c
)
f (T, h) =
_
t
2

+
_
h
t

_
, t > 0,
(t)
2

_
h
(t)

_
, t < 0.
(12.26)
Entretanto, pode-se mostrar que (ver Modern Theory of Critical Phenomena, Shang-Keng Ma, Westview Press, Colorado, 2000,
pp. 112-113), como no existe singularidade em f (T, h) em T = T
c
para h ,= 0, as funes
+
e

podem ser analiticamente

continuadas uma na outra, permitindo provar que =

, =

e =

. Alm disso, isso nos permite mostrar que a razo

dessas quantidades fsicas acima e abaixo de T
c
universal.
As 4 Eqs. (12.10), (12.15), (12.20) e (12.24) para os 6 expoentes crticos denem uma teoria a 2 parmetros independentes.
Assim, com a demonstrao a ser feita da validade da teoria de escala pelo grupo de renormalizao, tudo que restar ser a
determinao de 2 entre os 6 expoentes.
A. Expoentes crticos e anlise dimensional
interessante se perguntar que tipo de informao a anlise dimensional nos fornece no contexto de fenmenos crticos.
Vamos considerar primeiramente a funo de correlao crtica
G(x)
1
r
d2+
(T = T
c
) . (12.27)
24
Vimos que a teoria de Landau nos fornece
G
Landau
(x)
1
r
d2
(T = T
c
) . (12.28)
O resultado da teoria de Landau pode ser intudo por anlise dimensional. Com efeito, o funcional de Landau uma quantidade
adimensional, pois ele aparece num expoente no clculo da funo partio, como na Eq. (9.23). Portanto, do termo que envolve
o Laplaciano, vemos que
[(x)] = L
(2d)/2
, (12.29)
onde [O] denota a dimenso o campo O. Da mesma maneira, podemos deduzir que
[r] = L
2
, (12.30)
[u] = L
d4
. (12.31)
Da prpria denio da funo de correlao, esperamos portanto que
[G] = L
2d
. (12.32)
Realmente, da Eq. (9.33) ou da Eq. (9.41) esse o resultado esperado. Assim, a dependncia obtida no ponto crtico (12.28) a
mais natural. Entretanto, a dependncia realmente observada a da Eq. (12.27), onde aparentemente h uma violao da anlise
dimensional (da o nome dimenso anmala). A explicao desse aparente paradoxo est em que outra escala de comprimento
deve necessariamente estar envolvida. Como o comprimento de correlao innito no ponto crtico, ele no pode fornecer a
escala procurada. A nica sada apelar para um comprimento de onda microscpico, como o parmetro de rede, que j entrou
na teoria quando introduzimos o cutoff 1/ a. Assim, a Eq. (12.27) deve na verdade ser escrita
G(x)
a

r
d2+
(T = T
c
) , (12.33)
de tal forma que ela tenha a dimenso esperada. Vemos assim que as chamadas dimenses anmalas s podemaparecer devido a
uma combinao especial envolvendo umcomprimento microscpico. Note que na regio crtica pode haver uma larga separao
entre as escalas de a e , de vrias ordens de grandeza. Normalmente em Fsica, quando h uma grande separao de escalas
as quantidades fsicas tm uma dependncia simples, pois geralmente podemos desprezar a menor delas. Entretanto, fenmenos
crticos fornecem um contra-exemplo importante desse tipo de raciocnio, pois no podemos simplesmente fazer a 0 na
teoria crtica. Na verdade, toda a riqueza e a prpria existncia de expoentes crticos no triviais provm justamente dessa
impossibilidade.
Note que ao deduzirmos as leis de hiper-escala, implicitamente utilizamos a anlise dimensional ingnua (ver as Eqs. (12.21)
e (12.22)), enquanto que no o zemos em (12.16). Em fenmenos crticos, necessrio car atento para a possibilidade de
quantidades fsicas adquirirem dimenses anmalas. Saber se e quando uma determinada quantidade adquire ou no dimenso
anmala tambm uma pergunta respondida pela teoria do grupo de renormalizao.
XIII. TEORIA FENOMENOLGICA DE LANDAU
O modelo de Landau foi motivado por ns atravs da teoria de campo mdio. Alm disso, vimos que era natural considerar
utuaes em torno do campo mdio como sendo governadas pela ao que obtida da teoria de Landau atravs de sua expan-
so at ordem quadrtica. A ao quadrtica dene o chamado modelo gaussiano, que serve de ponto de partida para nossa
exponsio. Existe, entretanto, uma outra maneira de motivar o modelo de Landau que ser ilustrativa e importante para nossos
desenvolvimentos. Ela consiste na introduo de novas variveis de congurao.
Seja, por exemplo, o modelo de Ising. A generalizao para parmetros de ordem com mais componentes trivial. Sabemos
que prximo do ponto crtico, o comprimento de correlao muito longo. Portanto, regies R de dimenso linear menor que
estaro fortemente correlacionadas, ou seja, o valor da varivel de spin S
i
assumir, com grande probabilidade, valores que
no variaro muito dentro da regio R. Isso nos motiva a introduzir variveis de grossa granulao (coarse-grained) que
nos daro o valor mdio ou mais provvel de S
i
para i R. Seja R(x) uma regio hipercbida de lado ba centrada em x, onde
a o parmetro de rede e b um nmero inteiro maior que 1. Ento, denimos
(x) = F
x
(S
i
) , (13.1)
onde F uma funo das variveis S
i
tais que i R(x). Existe uma certa liberdade na denio de F. Uma escolha possvel
a mdia em R(x)
F
1x
(S
i
) =
1
b
d

iR(x)
S
i
. (13.2)
25
Essa escolha no preserva a normalizao original dos spins S
i
= 1. De maneira geral, a m de se controlar (no deixar que
ela divirja ou se anule) a normalizao das novas variveis (x), usa-se
F
2x
(S
i
) =
(b)
b
d

iR(x)
S
i
. (13.3)
Outra possibilidade a chamada regra da maioria
F
3x
(x) = sgn
_
_

iR(x)
S
i
_
_
, (13.4)
que preserva a normalizao original. Se o nmero de spins em R(x) par preciso uma regra para quebra de empates, em
que a soma dos spins na regio d zero. Uma possibilidade tomar o valor de um dos spins da regio tomado aleatoriamente, ou
ento, tomar o valor de um spin numa posio xa na clula (no canto [1, 1, 1], por exemplo). O importante perceber que
existe uma grande arbitrariedade na escolha da funo F
x
. Uma vez feita essa escolha, denimos a ao com granulao grossa
(coarse-grained action) ou ao efetiva L[(x)] como sendo
e
L[(x)]
= Tr
Si
_
e
HI[Si]

x
[(x) F
x
(S
i
)]
_
, (13.5)
onde o sub-ndice do trao denota a varivel sobre a qual a soma feita. Claramente, a nova ao L[(x)] tem conguraes
denidas numa rede cujo parmetro de rede agora ba > a. A funo partio dada por
Z = Tr
(x)
_
e
L[(x)]
_
, (13.6)
que idntica funo partio obtida atravs do trao sobre os spins com o Hamiltoniano original, como pode ser facilmente
comprovado da Eq. (13.5) e das propriedades da funo delta. Assim, o funcional de Landau pode ser entendido a partir da
suposio de que a ao efetiva L[(x)] tem uma expanso, prximo o suciente do ponto crtico, da forma que postulamos
na teoria de Landau. Nesse caso, o status da teoria de Landau ca claro. Trata-se de uma aproximao em que calculamos a
funo partio atravs da ao efetiva L[(x)] pelo mtodo do ponto de sela. A teoria das utuaes que denimos (modelo
gaussiano), por outro lado, pode ser compreendida como derivada da expanso da ao efetiva em torno do ponto de mnimo
at ordem quadrtica. No entanto, a teoria completa, que deve descrever corretamente a transio de fase contnua, inclusive os
expoentes crticos, provm de um trao completo sobre a ao efetiva de Landau, que re-escrevemos aqui
L[(x)] =
_
dx
_
1
2
(x)
_
r
2

(x) +
u
4
[(x)]
4
h(x) (x)
_
. (13.7)
Essa ao dene uma teoria de campos em dimenso d que equivalente a uma teoria quntica de campos em d 1 dimenses
espacias mais uma dimenso temporal no espao Euclideano (em que o tempo entra simetricamente em relao s outras dimen-
ses espaciais, diferentemente do espao de Minkowski, em que a assinatura da dimenso temporal tem sinal trocado). Essa
teoria uma teoria interagente no sentido de que o termo qurtico em u introduz interaes entre os modos livres do modelo
gaussiano, descrito essencialmente por uma teoria em u = 0, e que exatamente solvel (ver Sees IX e X).
Outra maneira de denirmos a teoria efetiva no espao de momentos. Essa forma ser especialmente importante mais
adiante. Nesse caso, denimos as transformadas de Fourier como antes e escrevemos
e
L[(k)]
= Tr
Si
_
_
_
e
HI[Si]

|k|>
[(k) F
k
(S
i
)]
_
_
_
, (13.8)
onde
F
k
(S
i
) =
1
N

i
e
ikRi
S
i
. (13.9)
Note que nesse caso, introduzimos um corte nas somas sobre momentos , que o cutoff natural da teoria. Para que a trans-
formada de Fourier faa sentido, preciso trabalhar com spins que assumam qualquer valor real (, ). Para isso,
geralmente preciso adicionar ao Hamiltoniano original, uma funo peso que controle o tamanho de S
i
. Uma possibili-
dade que muito usada um termo qurtico
H
I
[S
i
] H
I
[S
i
] +

i
u
4
S
4
i
, (13.10)
26
que tem uma inspirao parecida com o termo qurtico do funcional de Landau. O cutoff na Eq. (13.8) soma sobre as
conguraes de curtos comprimentos de onda ( < 2/) de tal forma que a ao efetiva L[(k)] denida para modos
[k[ <
Z = Tr
(k),|k|<
_
e
L[(k)]
_
. (13.11)
Supe-se ( muito difcil provar exatamente isso, mas as conseqncias dessa suposio so todas comprovadas na prtica) que
a ao efetiva L[(k)], quando devidamente transformada de volta para o espao real (ou seja, quando escrita em termos de
(x)), tambm tenha a forma de Landau, Eq. (13.7).
interessante examinar essa teoria mais detalhadamente. Nossa primeira tentao seria resolv-la atravs de teoria de pertur-
bao em u. Entretanto, interessante re-escrever a teoria em termos de quantidades adimensionais. Vimos na Seo XII A, as
dimenses das vrias quantidades que aparecem na ao efetiva. Como [r] = L
2
, podemos usar r
1/2
como unidade de escala
de comprimento e denir novas variveis adimensionais
y = r
1/2
x, (13.12)
(y) = r
(2d)/4
(x) , (13.13)
g = r
(d4)/2
u, (13.14)

2
y
=

2
r
, (13.15)
H (y) = r
(2+d)/4
h(x) (13.16)
de forma que
L[] =
_
dy
_
1
2
(y)
_
1
2
y

(y) +
g
4
[(y)]
4
H (y) (y)
_
. (13.17)
O termo de interao tem g = r
(d4)/2
u como constante de acoplamento. Lembrando que r t, vemos que
g t
(d4)/2
u se d < 4. (13.18)
Vemos assim que a constante de acoplamento da teoria re-escalada tende a innito medida que nos aproximamos do ponto
crtico, se d < 4. A reside a diculdade da regio crtica: trata-se de uma teoria de acoplamento forte abaixo da dimenso
crtica superior.
XIV. SOMAS PARCIAIS E VARIVEIS DE BLOCO
Vamos agora introduzir a idia do grupo de renormalizao atravs das chamadas variveis de bloco. Essas variveis foram
introduzidas por L. P. Kadanoff
4
. Kadanoff fez algumas suposies simples partindo das mesmas somas parciais que apareceram
na teoria fenomenolgica da Landau. A idia principal consiste em abdicar de fazer uma soma completa sobre as variveis de
congurao (x). Ao invs disso, iremos realizar uma granulao adicional da ao efetiva (Eqs. (13.5) ou (13.8)) para
variveis denidas com uma resoluo ainda menor e descobrir como a ao efetiva muda sob essa transformao.
Portanto, seja uma teoria denida numa rede de parmetro a governada pela ao efetiva de Landau, Eq. (13.7) (redenimos a
rede da Seo XIII, de tal forma que o parmetro agora a). A ao (13.7) caracterizada pelos parmetros (r, u, h) (supomos
um campo magntico uniforme). Vamos fazer a granulao para uma nova rede de parmetro ba, b > 1. Isso pode ser feito
atravs de qualquer uma das prescries descritas na Seo XIII. Por exemplo, podemos usar a mdia na regio R(x)
e
L

(x)]
= Tr
(y)
_
_
_
e
L[(y)]

_
_

(x)
1
b
d

yR(x)
(y)
_
_
_
_
_
, (14.1)
Como explicado antes, existe uma grande arbitrariedade na denio dessa funo de granulao. importante que ela no
viole nenhuma simetria do problema e que represente uma espcie de mdia do parmetro de ordem numa regio de dimenso
linear ba. Estamos tambm assumindo que o parmetro de ordem assume valores no intervalo (, ). A nova teoria escrita
em termos de variveis de bloco

(x), sendo que a nova rede denida nos pontos espaciais x = (n

1
ba, n
2
ba, , n
d
ba).
Gostaramos de denir uma teoria numa rede igual rede original. Para isso, fazemos uma mudana na escala de comprimento
x x

= x/b, (14.2)
27
de tal forma que a rede dos pontos x

continua a ter o parmetro de rede anterior. Se a rede inicial tinha um total de N stios,
a nova rede tem N/b
d
stios. Alm disso, para compensar a perda de resoluo muitas vezes importante tambm re-escalar
o novo parmetro de ordem por um fator

b
(voc pode imaginar que o novo campo precisa ser intensicado para que o no
haja perda de qualidade na imagem). Esse fator de re-escalamento j apareceu anteoriormente na Seo XIII (Eq. (13.3)),
onde dissemos que ele importante para controlar a distribuio das variveis com nova granulao. Esse fator dever ser
escolhido apropriadamente, como veremos a seguir. Assim, o novo campo redenido segundo

(x)

b
(x

) =

b
(x/b) , (14.3)
onde revertemos para a notao anterior do parmetro de ordem. Note que nem sempre esse fator necessrio ou sequer
apropriado. Em particular, no caso do uso da regra da maioria (13.4) os novos spins tm o mesmo tamanho que os spins
originais e no se deve re-escal-los. Ao nal, a nova teoria est denida em termos das mesmas variveis de congurao
(x

) numa rede de mesmo parmetro de rede a. Entretanto, a nova teoria descreve a fsica numa escala de comprimento maior.
Escalas de comprimento l na nova teoria correspondem a comprimentos bl na teoria anterior.
Vamos fazer agora a suposio de que a nova teoria tambm tem a forma de Landau. Entretanto, os parmetros da nova teoria
sero diferentes
L

[(x

)] =
_
dx

_
1
2
(x

)
_
r

(x

) +
u

4
[(x

)]
4
h

(x

)
_
. (14.4)
Assim, o procedimento descrito acima, dene um mapeamento no espao de funcionais de Landau
(r, u, h) R
b
(r, u, h) = (r

, u

, h

) . (14.5)
Essa transformao um exemplo de uma transformao do Grupo de Renormalizao. No caso em que os spins so re-
escalados como na Eq. (14.3), o grupo chamado de linear. Ele um grupo (mais corretamente um semi-grupo, porque no
existe uma inversa) porque podemos compor duas transformaes para obter uma terceira
R
b
R
b
= R
b

b
. (14.6)
Na verdade, o mapeamento gera outros termos no presentes na ao inicial, ou seja, a forma de Landau no preservada
exatamente pelas transformaes. Por enquanto, no entanto, vamos ignorar essas diferenas e voltaremos a elas mais tarde.
Veja que a funo partio calculada com a ao original ou com a ao transformada deve ser a mesma (essa propriedade
s vezes chamada de unitariedade)
Z (r, u, h) = Tr
(x)
_
e
L[(x)]
_
= Z (r

, u

, h

) = Tr
(x

)
_
e
L

[(x

)]
_
. (14.7)
Como a densidade de energia livre dada por
f =
T
N
ln Z, (14.8)
onde N o nmero total de stios e N

= N/b
d
, segue que
f (r

, u

, h

) = b
d
f (r, u, h) . (14.9)
Vamos examinar as conseqncias das hipteses acima. Suponhamos que escolhemos (r, u, h) na ao original de tal forma
que o sistema esteja muito prximo do ponto crtico. Em variveis fsicas, sabemos que num sistema ferromagntico, temos ao
nosso dispor apenas a temperatura e o campo magntico. O ponto crtico corresponde a T = T
c
, ou t = 0 e h = 0. Assim, a
regio prxima ao ponto crtico corresponde a t 1 e h 1. A nova ao efetiva L

corresponde a um sistema com outros

valores dos parmetros de Landau (r

, u

, h

), ou equivalentemente, t

e h

. Isso intuitivo pois, o comprimento de correlao

da ao original encolhido na descrio da nova ao

= /b, j que re-escalamos os comprimentos pelo fator b. Um

comprimento de correlao menor corresponde a um sistema mais longe do ponto crtico e, portanto, com valores diferentes
dos parmetros fsicos tais que [t

[ > [t[ e [h

[ > [h[. Assim, podemos escrever

t

= R
b
t = f
b1
(t) , (14.10)
h

= R
b
h = f
b2
(h) . (14.11)
O ponto crtico caracterizado por , de tal forma que os parmetros da teoria no mudam. Emtermos das variveis fsicas
t e h isso implica que f
b1
(0) = 0 e f
b2
(0) = 0. Dizemos que o ponto crtico um ponto xo do grupo de renormalizao.
Fisicamente, o ponto crtico caracterizado pela invarincia de escala (no existe uma escala de comprimento caracterstica).
28
Como o GR , na realidade, uma mudana de escala de comprimento, ele um ponto xo da transformao. Linearizando as
Eqs. (14.10) e (14.11) em torno do ponto crtico, temos
t

= R
b
t =
t
b
t, (14.12)
h

= R
b
h =
h
b
h, (14.13)
onde
t
b
= f

b1
(0) > 1 e
h
b
= f

b2
(0) > 1. Finalmente, da propriedade de grupo, Eq. (14.6), fazendo b

= 1 temos que
R
1
= 1
i
1
= 1, (14.14)
onde i = t, hou. Para valores muito grandes de b podemos trat-lo aproximadamente como varivel contnua. Nesse caso,
derivando em relao a b

a Eq. (14.6) aplicada s Eqs. (14.12-14.13)

i
b

i
b
= b
i
bb
, (14.15)
onde
i
b
= d
i
b
/db. Fazendo b

= 1
d ln
i
b
db
=

i
1
b
ln
i
b
=
i
1
ln b, (14.16)
onde usamos a condio inicial (14.14). Segue que

i
b
= b
di
, (14.17)
onde d
i
=
i
1
.
Em resumo, prximo do ponto crtico podemos re-escalar as distncias por um fator b, x x/b. Sob esse re-escalamento,
todas as relaes permanecem invariantes, desde que um re-escalamento correspondente seja feito das vrias quantidades fsicas
t t

= tb
dt
, (14.18)
h h

= hb
d
h
, (14.19)

= b
d

. (14.20)
Em outras palavras, o re-escalamento x x/b pode ser compensado pelo re-escalamento de t, h, acima. Os expoentes d
t
,
d
h
, d

, etc. so as chamadas dimenses anmalas da temperatura reduzida, campo magntico, etc. claro que o comprimento
de correlao tambm deve ser re-escalado pelo mesmo fator

= /b. Como
t

=
1
d
t
, (14.21)
que relaciona a dimenso da temperatura reduzida com o expoente do comprimento de correlao. Vamos considerar agora
a densidade de energia livre. O re-escalamento da Eq. (14.9) em termos das variveis fsicas que se re-escalam como nas
Eqs. (14.18-14.19) leva a
b
d
f (t, h) = f
_
tb
dt
, hb
d
h
_
. (14.22)
Se essa relao valida pra qualquer b, podemos tomar b = b
0
t
1/dt
, de tal forma que
f (t, h) = t
d/dt
f
_
b
dt
0
, b
d
h
0
h
t
d
h
/dt
_
= t
d

_
h
t

_
, (14.23)
que a forma da teoria de escala (12.3) se usarmos a relao de hiper-escala 2 = d, e identicarmos
=
d
h
d
t
= + d
h
=
+

. (14.24)
A funo de correlao pode ser analisada de maneira anloga. Ela deve ser re-escalada por um fator b
2d

, pois obtida pelo

produto de dois campos . Assim (abaixo, r o mdulo de r, no o parmetro de Landau)
G(r, t, h) = Tr
(x)
_
e
L[(x)]
(x +r) (x)
_
(14.25)
=
1
b
2d

Tr

(x

)
_
e
L[

(x

)]

_
x +r
b
_

_
x
b
_
_
(14.26)
=
1
b
2d

G
_
r
b
, t

, h

_
. (14.27)
29
Fazendo h = 0 por simplicidade
b
2d

G(r, t) = G
_
r
b
, tb
dt
_
. (14.28)
No ponto crtico, podemos fazer t = 0 e b = b
0
r, de tal forma que
G(r, t = 0) = b
2d

0
r
2d

G
_
1
b
0
, 0
_
. (14.29)
Comparando com a expresso esperada
G(r, t = 0)
1
r
d2+
, (14.30)
obtemos
2d

= d 2 +. (14.31)
Alm disso, se escolhermos b
dt
t = b
0
e lembrando que d
t
= 1/ segue que b = b

0
t

e
G(r, t) =
1
b
d2+
G
_
r
b
, tb
1/
_
(14.32)
=
1
(t/b
0
)
(d2+)
G
_
rb

0
t

, b
0
_
(14.33)
=
b
(d2+)
0
r
d+2
_
r
t

_
d+2
G
_
rb

0
t

, b
0
_
(14.34)
=
1
r
d+2

_
r
t

_
, (14.35)
que tem a forma (12.16) se usarmos que t

e donde deduzimos que

(x) =
_
b

0
x
_
d+2
G
_
b

0
x, b
0
_
. (14.36)
Assim, deduzimos todas as relaes da teoria de escala, das quais as 4 relaes entre expoentes crticos podem ser derivadas.
Portanto, a origem da teoria de escala vem da possibilidade de re-escalamento expresso nas Eqs. (14.18-14.20), que formam a
base do grupo de renormalizao.
XV. SOLUO EXATA DO MODELO DE ISING UNIDIMENSIONAL
Vamos aplicar as idias do GR ao modelo de Ising uni-dimensional. Antes, vamos resolver exatamente o modelo para obter-
mos umtermo de comparao. Embora essa modelo no apresente uma transio de fase a temperatura nita como desejaramos,
ainda assim ele serve de guia fcil para a introduo do grupo de renormalizao. O modelo denido como
H
I
= J
L

i=1
S
i
S
i+1
h
L

i=1
S
i
. (15.1)
Vamos supor, por simplicidade, condies peridicas de contorno, tais que S
L+1
= S
1
, ou seja, a rede tem uma geometria de
anel. A funo partio do modelo pode ser escrita como
Z (T, J, h) = Tr
_
e
HI
_
=

S1=1

SL=1
__
e
KS1S2+H(S1+S2)/2
_ _
e
KS2S3+H(S2+S3)/2
_

_
e
KSLS1+H(SL+S1)/2
__
,
(15.2)
onde K = J e H = h. Percebe-se claramente que temos uma estrutura de produto de L matrizes idnticas
T =
_
e
K+H
e
K
e
K
e
KH
_
, (15.3)
30
onde os elementos da matriz so rotulados pelos valores possveis dos spins. A matriz T conhecida como matriz de trans-
ferncia, pois ela transfere o efeito de um stio ao prximo. Ela tem uma grande importncia em vrios contextos de fsica
estatstica. Assim, a funo partio pode ser imediatamente escrita como o trao (por causa das condies peridicas de con-
torno) da matriz transferncia elevada potncia L
Z (T, J, h) = Tr
_
T
L
_
. (15.4)
O trao acima pode ser facilmente calculado aps a diagonalizao de T que uma matriz simtrica e, portanto, pode ser
diagonalizada por uma transformao ortogonal. Chamando os auto-valores (reais) de T de t
1
e t
2
, podemos escrever
Z (T, J, h) = t
L
1
+t
L
2
. (15.5)
Os auto-valores de T so
t
1,2
= e
K
_
coshH
_
sinh
2
H +e
4K
_
. (15.6)
No limite termodinmico L , podemos escrever
Z (T, J, h) = t
L
1
_
1 +
_
t
2
t
1
_
L
_
t
L
1
_
1 +e
L

, (15.7)
onde = ln (t
1
/t
2
) > 0, j que t
1
> t
2
. Vemos assim que a funo partio determinada exclusivamente pelo maior autovalor
da matriz de transferncia. Finalmente, obtemos a energia livre por spin
f (T, J, h) = lim
L
_

T
L
ln Z (T, J, h)
_
= T ln t
1
= J T ln
_
coshH +
_
sinh
2
H +e
4K
_
, (15.8)
que o resultado procurado.
Vrias quantidades importantes podem ser calculadas. Quando h = 0, temos
f (T, J, h) = J T ln
_
1 +e
2K
_
, (15.9)
donde a entropia por spin
s (T) =
f
T
= ln
_
1 +e
2K
_
+
e
2K
1 +e
2K
_
2J
T
_
, (15.10)
enquanto que o calor especco
c (T) = T
s
T
=
1
1 +e
2K
_
2J
T
_
+
e
2K
(1 +e
2K
)
2
_
2J
T
_
2

1
1 +e
2K
_
2J
T
_
=
c (T) =
_
J
T
_
2
sech
2
_
J
T
_
. (15.11)
Quando T 0,
c (T)
_
2J
T
_
2
e
2J/T
0. (15.12)
A magnetizao por spin dada por
m(T, h) =
f
h
=
1
T
f
H
=
sinh H +
sinh H cosh H

sinh
2
H+e
4K
coshH +
_
sinh
2
H +e
4K
=
sinh H
_
sinh
2
H +e
4K
. (15.13)
Note que m(T, h 0) 0, mostrando que no h magnetizao espontnea em qualquer temperatura T ,= 0, como j
havamos antecipado. Entretanto, quando T 0
m(T 0, h)
sinh H
[sinh H[
= sgn (H) , (15.14)
31
mostrando que h magnetizao (saturada) em T = 0. Podemos dizer, portanto, que o modelo de Ising unidimensional tem
T
c
= 0. Note como a no analiticidade da magnetizao aparece em h = 0, por causa do limite termodinmico. Finalmente, a
susceptibilidade magntica dada por
(T) =
m
h

h=0
=
1
T
e
4K
coshH
_
sinh
2
H +e
4K
_
3/2

h=0
=
e
2J/T
T
, (15.15)
que diverge exponencialmente quando T 0. Assim, vemos que embora possamos falar de uma transio de fase a T
c
= 0, o
comportamento crtico diferente do convencional, pois as divergncias so exponenciais. Essa uma caracterstica da chamada
dimenso crtica inferior, que a dimenso limtrofe abaixo da qual no h transio de fase em uma temperatura nita. A
dimenso crtica inferior da classe de universalidade de Ising d
l
= 1.
Queremos agora calcular a funo de correlao. Tomemos primeiramente o valor mdio de umspin qualquer S
i
, que sabemos
ser igual expresso na Eq. (15.13). Podemos escrever
S
i
) =
1
Z

S1=1

SL=1
_
T
S1S2
T
S2S3
T
Si1Si
S
i
T
SiSi+1
T
SLS1
_
=
1
Z

S1=1

SL=1
_
_

i
=1
_
_
_
T
S1S2
T
S2S3
T
Si1Si
_

SiS

i
S
i

T
S

i
Si+1
T
SLS1
_
=
1
Z

S1=1

SL=1
_
_

i
=1
_
_
_
T
S1S2
T
S2S3
T
Si1Si
_

3
SiS

i
_
T
S

i
Si+1
T
SLS1
_
, (15.16)
onde
3
ij
a matriz de Pauli

3
=
_
1 0
0 1
_
. (15.17)
Segue que
S
i
) =
1
Z
Tr
_
T
i1

3
T
Li+1
_
=
1
Z
Tr
_

3
T
L
_
, (15.18)
onde usamos a propriedade cclica do trao. Analogamente (r > 0)
S
i
S
i+r
) =
1
Z
Tr
_
T
i1

3
T
r

3
T
Lir+1
_
=
1
Z
Tr
_

3
T
r

3
T
Lr
_
. (15.19)
As expresses (15.18) e (15.19) podem sTer calculadas aps a transformao ortogonal que diagonaliza T. Nesse caso, precisa-
mos encontrar a matriz em que
3
se transforma. Se S a transformao ortogonal, denimos
S
3
S
1
=
_
a b
c d
_
, (15.20)
de tal forma que
S
i
) =
1
Z
Tr
__
a b
c d
__
t
L
1
0
0 t
L
2
__
=
at
L
1
+dt
L
2
t
L
1
+t
L
2
a, (15.21)
32
onde tomamos o limite L na ltima passagem. Analogamente
S
i
S
i+r
) =
1
Z
Tr
__
a b
c d
__
t
r
1
0
0 t
r
2
__
a b
c d
__
t
Lr
1
0
0 t
Lr
2
__
=
1
Z
Tr
__
at
r
1
bt
r
2
ct
r
1
dt
r
2
__
at
Lr
1
bt
Lr
2
ct
Lr
1
dt
Lr
2
__
=
1
Z
Tr
_
a
2
t
L
1
+bct
r
2
t
Lr
1
abt
r
1
t
Lr
2
+bdt
L
2
act
L
1
+cdt
r
2
t
Lr
1
bct
r
1
t
Lr
2
+d
2
t
L
2
_
=
a
2
t
L
1
+bc
_
t
r
2
t
Lr
1
+t
r
1
t
Lr
2
_
+d
2
t
L
2
t
L
1
+t
L
2
a
2
+bc
_
t
2
t
1
_
r
. (15.22)
O valor da funo correlao conectada
G(r) = S
i
S
i+r
) S
i
) S
i+r
) = bc
_
t
2
t
1
_
r
= bce
r/
, (15.23)
onde
=
1
ln (pt
1
/t
2
)
, (15.24)
que nos d uma expresso exata para o comprimento de correlao. Usando as expresses anteriores para os auto-valores da
matriz de transferncia em h = 0

1
= ln
_
1 +e
2K
1 e
2K
_
= ln coth
_
J
T
_
. (15.25)
No limite em que T 0,

e
2J/T
2
. (15.26)
Vemos novamente que a divergncia de exponencial medida que a temperatura decresce, caracterstica da dimenso crtica
inferior.
XVI. APLICAO DO GRUPO DE RENORMALIZAO AO MODELO DE ISING UNI-DIMENSIONAL
Devido simplicidade do modelo de Ising uni-dimensional, a transformao do grupo de renormalizao pode ser obtida
exatamente. Isso no acontecer em modelos mais complexos. importante ter em mente tambm que o modelo de Ising
uni-dimensional no tem uma transio de fase em temperatura nita, pois encontra-se em sua dimenso crtica inferior. Como
vimos, T
c
= 0 e as divergncias so tipicamente exponenciais. A generalizao dos conceitos relativos a transies de fase a
temperatura nita tem que ser feita com cuidado, como veremos. Mais detalhes sobre as aplicaes dessa Seo e a respeito de
outros modelos uni-dimensionais podem ser encontrados na Ref. 5.
A idia usar variveis de bloco correspondentes a blocos de 2 spins. Se h inicialmente L spins, faremos uma soma parcial
sobre blocos de 2 spins cando ao nal com um nmero L/2 de blocos. Essa tarefa enormemente facilitada pelo uso da matrix
de transferncia. Assim
Z (T, h) = TrT
L
= Tr
_
T
2
_
L/2
. (16.1)
Assim, vemos que a nova matriz de transferncia das variveis de bloco simplesmente o quadrado da matriz T dos spins
originais, Eq. (15.3). Denimos, por convenincia, as variveis auxiliares
u e
K
= e
J
[0, 1) , (16.2)
v e
H
= e
h
[0, 1) , (16.3)
33
onde restringiremos a discusso a h > 0 devido simetria h h. Nesse caso
T =
_
1
uv
u
u
v
u
_
T
2
=
_
u
2
+
1
u
2
v
2
v +
1
v
v +
1
v
u
2
+
v
2
u
2
_
. (16.4)
Queremos que o sistema mantenha a mesma forma que ele tinha inicialmente. Assim, impomos que
T

= C

_
1
u

u
v

_
=
_
u
2
+
1
u
2
v
2
v +
1
v
v +
1
v
u
2
+
v
2
u
2
_
, (16.5)
onde somos obrigado a introduzir uma nova constante C

(inicialmente, C = 1), pois a Eq. (16.5) corresponde a 3 equaes e

precisamos de 3 incgnitas. Resolvendo as 3 equaes acima obtemos
v

=
_
u
4
+v
2
_
1/2
_
u
4
+
1
v
2
_
1/2
, (16.6)
u

=
_
v +
1
v
_
1/2
_
u
4
+
1
u
4
+ v
2
+
1
v
2
_
1/4
, (16.7)
C

=
_
v +
1
v
_
1/2
_
u
4
+
1
u
4
+v
2
+
1
v
2
_
1/4
. (16.8)
Note que nesse caso, os spins mantm seus dois valores originais. facil ver que essas equaes tem um ponto xo no plano
(u, v) em
u

= 0, (16.9)
v

= 1, (16.10)
que corresponde a J/T = e h = 0. Claramente, esse o ponto crtico a temperatura zero. Outro ponto xo ocorre em
u

= 1, (16.11)
v

= qualquer, (16.12)
correspondente a J/T = 0 e h qualquer. Esse o ponto xo de alta temperatura, correspondente ao estado paramagntico forte-
mente desordenado. O primeiro ponto xo (u

, v

) instvel, pois pontos ligeiramente afastados dele tendem a se distanciarem

indenidamente dele sob o uxo do GR.
Vamos analisar a vizinhana do ponto (0, 1). Fazendo u 1 e v = 1w, onde w 1, podemos linearizar as Eqs. (16.6-16.7)
para obter
v

1 w

=
_
(1 w)
2
+u
4
_
(1 w)
2
+u
4
(1 2w)
1/2
(1 + 2w)
1/2
1 2w, (16.13)
w

= 2w, (16.14)
e
u

=
_
1 w + (1 w)
1
_
u
4
+u
4
+ (1 w)
2
+ (1 w)
2
_
1/4

_
2 +O
_
w
2
_
1/2
[u
4
+u
4
+ 2 +O(w
2
)]
1/4

2u
_
1 +O
_
u
4
__
, (16.15)
u

2u. (16.16)
Assim, em termos das variveis u e w, obtemos (lembrando que b = 2)

u
2
=

2, (16.17)

w
2
= 2, (16.18)
34
donde
d
u
=
ln
u
2
ln 2
=
1
2
, (16.19)
d
w
=
ln
w
2
ln 2
= 1. (16.20)
Vemos assim que as dimenses procuradas so todas maiores que zero, o que implica que o ponto xo (u

= 0, v

= 1) inst-
vel, pois as perturbaes em torno dele crescem com o uxo do GR. A partir dessas dimenses e dos resultados da Seo XIV
podemos calcular os expoentes crticos em termos das variveis u e v, que no so as variveis originais. Uma aplicao cega
das relaes entre os expoentes e as dimenses nos d (lembrando que u est ligado temperatura e w, atravs de v, est ligado
ao campo magntico)
=
1
d
u
= 2, (16.21)
=
d
w
d
u
= 2, (16.22)
= 2 d = 0, (16.23)
= 2 = 0, (16.24)
= 2 + 2 = 2, (16.25)
=

= , (16.26)
= 2

= 1. (16.27)
Vamos examinar um pouco mais detalhadamente esses valores. Vrios deles so obtidos a partir da funo partio. Usando o
resultado exato, Eq. (15.8), podemos escrever a parte singular da energia livre para u 1 e v = 1 w com w 1
f
s
= T ln
_
_
_
1
2
_
v +
1
v
_
+
_
1
4
_
v
1
v
_
2
+u
4
_
1/2
_
_
_
T ln
_
1 +
_
w
2
+u
4

1/2
_
T
_
w
2
+u
4

1/2
Tu
2
_
1 +
w
2
u
4
_
1/2
= u
2

_
w
u
2
_
, (16.28)
onde usamos que, na regio crtica, w da mesma ordem que u
2
(ver Eqs. (16.19-16.20)) e que T 1/ lnu u
0
na preciso
em que trabalhamos. A forma (16.28) do tipo usado na teoria de escala (14.23) onde
(x) =
_
1 +x
2
, (16.29)
e onde = 0 e = 2, como tnhamos obtido nas Eqs. (16.22) e (16.23). Note que so as variveis
u = e
J/T
, (16.30)
w = 1 e
h/T

h
T
, (16.31)
que aparecem na forma de escala, o que peculiar ao caso da dimenso crtica inferior. Da forma (16.28), seguem os expoentes
, e , ver Seo XII. Note que = 0 compatvel com a no divergncia do calor especco quando T 0, = 0
compatvel com o salto do parmetro de ordem entre T = 0 e T ,= 0 e 1/ = 0 compatvel com o salto da magnetizao de
h < 0 para h > 0 em T = 0. O valor = 2 nos d

1
u
2
e
2J/T
, (16.32)
que compatvel com a Eq. (15.15) (com preciso logartmica).
35
Figura 6: Modelo de Ising na rede triangular. Cada tringulo hachurado azul forma um bloco de 3 spins. A rede de blocos tem parmetro de
rede igual a

3 vezes o parmetro original.

Os expoentes e esto ligados funo de correlao. Da Eq. (15.23) e dos valores de t
1,2
com h = 0
t
1,2
= e
K
e
K
= u
1
u, (16.33)
obtemos
t
1
t
2
=
1 u
2
1 +u
2
1 2u
2
, (16.34)
G(r)
_
1 2u
2
_
r
e
r/
, (16.35)
onde

1
2u
2
e
2J/T
, (16.36)
como j havia sido obtido e que nos d = 2 em termos da varivel u, como antecipado na Eq. (16.21). Almdisso, comparando
com a Eq. (12.16), vemos que a ausncia de um pr-fator da exponencial de G(r) com comportamento de lei de potncia nos
d d 2 + = 1 = 0, que nalmente nos leva = 1, como obtido na Eq. (16.27). Vemos assim que, propriamente
reinterpretadas em termos da varivel exponencial u = e
J/T
, as relaes da teoria de escala e suas conseqncias podem ser
aplicadas dimenso crtica inferior.
XVII. APLICAO DO GRUPO DE RENORMALIZAO AO MODELO DE ISING BI-DIMENSIONAL
Vamos mostrar agora uma aplicao do GR ao modelo de Ising bi-dimensional. Nesse caso, a transformao do GR no
pode ser obtida exatamente. Entretanto, o modelo agora mais no trivial, pois tem uma transio de fase regular a uma
temperatura crtica nita T
c
,= 0 e a aplicao torna-se muito mais interessante. Alm disso, temos a soluo exata de Onsager
que serve como termo de comparao para a preciso do mtodo. Vrios GRs diferentes foram testados para os modelos de
Ising bi-dimensionais,
6
em redes quadradas
79
e triangulares.
1012
Nosso tratamento baseado na Ref. 11.
Considere o modelo de Ising com interaes entre primeiros vizinhos na rede triangular com N stios. Vamos formar blocos
de 3 spins, localizados nos vrtices dos tringulos que formam a rede (ver gura 6). A nova rede de blocos tambm ser uma
rede triangular com N/3 stios. Seu novo parmetro de rede

3 vezes o parmetro inicial (tomado como igual a 1). Assim,
b =

3. Nosso grupo ser denido a partir da regra da maioria

S
I
= sgn (S
I1
+S
I2
+S
I3
) , (17.1)
onde S
Ii
so os 3 spins que formam o bloco I e S
I
o spin de bloco da nova rede (usaremos sub-ndice maisculo I, J, etc.
para os spins de bloco). Note que a regra da maioria nesse caso no produz empates, pois o nmero de spins por bloco mpar.
36
SI\Si 1 2 3
1 1 1 1
1 -1 1 1
1 1 -1 1
1 1 1 -1
-1 1 -1 -1
-1 -1 1 -1
-1 -1 -1 1
-1 -1 -1 -1
Tabela II: Tabela de correspondncia entre as conguraes dos spins originais da rede de Ising triangular e as conguraes dos spins de
blocos, a partir da regra da maioria 17.1.
Antes de acharmos a transformao do GR, vamos determinar os auto-valores esperados baseado na soluo exata de Onsager.
O auto-valor da temperatura obtido a partir de = 1 = 1/d
t
, donde

3
= 3
dt/2
= 3
1/2
=

3 1.73. (17.2)
O auto-valor do campo magntico por sua vez pode ser encontrado a partir de d
h
= ( +) / =
1
8
+
7
4
=
15
8
, donde

3
= 3
d
h
/2
= 3
15/16
2.80. (17.3)
Cada bloco de 3 spins tem2
3
= 8 conguraes, 4 das quais geramS
I
= +1 e as outras 4 geramS
I
= 1. Acorrespondncia
est na Tabela II.
O Hamiltoniano transformado H

obtido a partir de
e
H

[SI]
= Tr
Si
_
e
H[Si]

I
[S
I
sgn(S
I1
+S
I2
+ S
I3
)]
_
. (17.4)
til separar o Hamiltoniano original em 2 termos: o primeiro, que tomaremos como Hamiltonian no perturbado H
0
, contm
apenas pares de spins em que ambos pertencem ao mesmo bloco e o segundo, o Hamiltoniano de perturbao V , contendo
pares de spins tais que um spin pertence a um bloco e o outro pertence ao bloco vizinho
H
0
= K

ij
S
Ii
S
Ij
, (17.5)
V = K

IJ

ij
S
Ii
S
Jj
, (17.6)
onde K = J (tomaremos o campo magntico como nulo inicialmente). Podemos agora escrever, denindo o projetor
P [S
I
, S
i
] =

I
[S
I
sgn(S
I1
+S
I2
+S
I3
)] (17.7)
e
H

[SI]
= Tr
Si
_
e
H0
e
V
P [S
I
, S
i
]
_
= Tr
Si
_
e
H0
P [S
I
, S
i
]
_ Tr
Si
_
e
H0
e
V
P [S
I
, S
i
]
_
Tr
Si
e
H0
P [S
I
, S
i
]
Z
0

e
V
_
0
, (17.8)
onde, para um operador qualquer O
O)
0

Tr
Si
_
e
H0
P [S
I
, S
i
] O
_
Tr
Si
e
H0
P [S
I
, S
i
]
. (17.9)
O trao em Z
0
se desacopla em traos sobre os N/3 blocos independentes. O trao de cada bloco obtido usando-se a Tabela II
e independente do valor de S
I
no bloco
Z
b
= e
K+K+K
+ 3e
KK+K
= e
3K
+ 3e
K
, (17.10)
37
Figura 7: Acoplamentos entre dois blocos adjacentes I e J em primeira ordem em teoria de perturbao (ligaes em vermelho).
donde
Z
0
= Z
N/3
b
. (17.11)
Assim,
H

[S
I
] =
N
3
ln Z
b
+ ln

e
V
_
0
. (17.12)
Precisamos agora calcular ln

e
V
_
0
. Para isso, vamos fazer teoria de perturbao em V . Uma alternativa um pouco mais
complicada calcular exatamente o valor esperado acima considerando um cluster de 2 blocos de spin adjacentes I e J e igualar
o resultado a
e
K

SISJ
=

e
V
_
0
. (17.13)
Vamos nos concentrar apenas no clculo perturbativo. Nesse caso,

e
V
_
0
= 1 +V )
0
+O
_
V
2
_
, (17.14)
ln

e
V
_
0
= V )
0
+O
_
V
2
_
, (17.15)
onde usamos que ln (1 +x) = x + O
_
x
2
_
. fcil ver que em V )
0
s h acoplamentos entre blocos vizinhos (ver gura 7).
Considere um par I e J desses blocos. Os nicos termos de V )
0
relevantes so
V )
0
= KS
J3
(S
I1
+S
I2
))
0
= 2KS
J3
S
I1
)
0
, (17.16)
onde, no ltimo passo, utilizamos a simetria do problema. Como o Hamiltoniano H
0
no acopla os blocos, segue que
S
J3
S
I1
)
0
= S
J3
)
0
S
I1
)
0
. (17.17)
O clculo restante fcil. Temos que
S
I1
)
0
=
1
Z
b
Tr
SIi
_
S
I1
e
K(SI1SI2+SI1SI3+SI2SI3)
P [S
I
, S
Ii
]
_
. (17.18)
Fixando S
I
= 1, temos as 4 primeiras conguraes da Tabela II, donde
S
I1
)
0
=
1
Z
b
_
e
3K
+ (1 + 1 1) e
K
_
=
e
3K
+e
K
e
3K
+ 3e
K
(S
I
= 1) . (17.19)
Analogamente, para S
I
= 1, considerando as outras 4 conguraes da Tabela II temos
S
I1
)
0
=
1
Z
b
_
e
3K
+ (1 1 1) e
K
_
=
e
3K
+e
K
e
3K
+ 3e
K
(S
I
= 1) . (17.20)
38
Portanto, podemos escrever de maneira geral
S
I1
)
0
= S
I
e
3K
+e
K
e
3K
+ 3e
K
, (17.21)
e das Eqs. (17.16) e (17.17)
V )
0
= K

S
I
S
J
, (17.22)
onde
K

= 2K
_
e
3K
+e
K
e
3K
+ 3e
K
_
2
f
t
(K) . (17.23)
Da Eq. (17.12) segue que nessa ordem de aproximao
H

=
N
3
ln
_
e
3K
+ 3e
K
_
+K

IJ
S
I
S
J
. (17.24)
Essa a transformao completa do GR que procurvamos. Percebe-se que h um termo independente dos spins de blocos, que
importante para o clculo da funo partio ou da energia livre (correspondente ao termo C

no modelo uni-dimensional). O
segundo termo nos mostra como a constante de acoplamento entre primeiros vizinhos se transforma.
Vamos agora procurar os pontos xos da transformao do GR. Chamando-os de K

, temos que K

= f
t
(K

), donde
obtemos imediatamente os dois pontos xos K

p
= 0 e K

f
= , correspondentes s fases paramagntica e ferromagntica,
respectivamente. Alm desses, existe um terceiro ponto xo no trivial
e
3K

+e
K

e
3K

+ 3e
K

=
e
4K

+ 1
e
4K

+ 3
=
1

2
e
4K

= 1 + 2

2 K

=
1
4
ln
_
1 + 2

2
_
0.34. (17.25)
Compare esse valor com o valor exato K
c
= (ln 3) /4 = 0.27. Linearizando em torno desse ponto xo da maneira usual
f

t
(K

) = 1 + 2
_
8 5

2
_
K

1.62 =
t(1)

3
. (17.26)
Essa derivada est ligada ao auto-valor da temperatura
t

3
. Ele no est to longe do valor exato 1.73, em vista da simplicidade
da aproximao. O clculo em segunda ordem fornece
t(2)

3
1.77.
Podemos tambm estimar o auto-valor do campo magntico. Para isso, basta um clculo perturbativo em h, pois o ponto xo
h

= 0. Podemos incluir o termo do campo magntico em H

0
H
0
H
0
h

i
S
Ii
. (17.27)
O Hamiltoniano transformado receber uma contribuio semelhante
H

0
h

I
S
I
, (17.28)
onde chamamos de H

0
o Hamiltoniano transformado na ausncia de campo magntico. Assim
e
(H

0
h

P
I
SI)
= Z
0
_
e
h
P
I
P
i
SIi
e
V
_
0
. (17.29)
Expandindo em h e h

,
e
H

0
_
h

I
S
I
_
= hZ
0
_
e
V

i
S
Ii
_
0
. (17.30)
Usando agora a Eq. (17.8) temos nalmente
h

I
S
I
= h

e
V

I

i
S
Ii
_
0
e
V
)
0
. (17.31)
39
Vamos trabalhar em ordem 0 na perturbao. Nesse caso,
h

I
S
I
= h
_

i
S
Ii
_
0
. (17.32)
O trao do lado direito fcil de calcular. Temos, usando a Eq. (17.21),
_

i
S
Ii
_
0
= 3 S
I1
)
0
= 3S
I
e
3K
+e
K
e
3K
+ 3e
K
, (17.33)
que nos d
h

= 3h
e
3K
+e
K
e
3K
+ 3e
K
f
h
(K) h. (17.34)
Calculando no ponto xo K

h(0)

3
= f
h
(K

) =
3

2
2.12. (17.35)
Compare com o valor exato 2.80. O clculo em primeira ordem fornece
h(1)

3
3.06 e em segunda ordem
h(2)

3
2.76.
XVIII. OUTROS RESULTADOS E OPERADORES IRRELEVANTES
Os resultados apresentados na Seo XVII so bastante primitivos. Entretanto, clculos bastante mais acurados podem ser
feitos. Em primeiro lugar, pode-se estender a teoria de perturbao para ordens superiores, como j mencionado naquela Seo.
Alternativamente, um outro mtodo poderoso consiste em encontrar numericamente a transformao para o Hamiltoniano re-
normalizado, analisando-se pequenos aglomerados com um nmero nito de spins (aproximao de aglomerados). Em ambos
os casos, a principal modicao encontrada com relao aos resultados da Seo XVII consiste no aparecimento de novos
acoplamentos entre spins que no estavam presentes no Hamiltoniano original. O GR gera, em princpio, um nmero
innito de novos termos (consistentes com a simetria do sistema original) envolvendo acoplamentos entre pares de spins com
separaes arbitrrias (segundos vizinhos, terceiros vizinhos, etc.) e tambm termos de interao entre 3 ou mais spins. por
isso que devemos encarar o uxo do GR como um uxo num espao de Hamiltonianos de dimenso innita, cujos eixos
so os coecientes dos vrios termos passveis de serem gerados e consistentes com as simetrias do problema. Note que esses
novos termos foram ignorados por Kadanoff em seu tratamento original, que introduziu o conceito fundamental de variveis de
bloco. Embora um grande nmero desses novos termos possa ser levado em conta num clculo numrico, pode-se questionar a
utilidade do mtodo, que aparentemente se torna innitamente complicado. Entretanto, vamos mostrar que, embora importantes
para a obteno de valores numricos precisos, a inuncia desses innitos termos pode ser muito bem controlada.
Como exemplo, tomemos os resultados em segunda ordem em teoria de perturbao para h = 0 para a rede triangular.
11
Em
segunda ordem em teoria de perturbao, acoplamentos entre segundos (L) e terceiros vizinhos (M) so gerados
K

= f
1
(K, L, M) , (18.1)
L

= f
2
(K, L, M) , (18.2)
M

= f
3
(K, L, M) . (18.3)
Note que uma aplicao consistente deve incluir o efeito da presena de L e M no Hamiltoniano original, pois uma segunda
iterao do GR j contar com esses termos como sendo no nulos. Os resultados da anlise das Eqs. (18.1-18.3) fornecem um
ponto xo trivial no trivial em
K

= 0.28, (18.4)
L

= 0.014, (18.5)
M

= 0.015. (18.6)
A primeira coisa a notar o pequeno valor dos acoplamentos adicionais no ponto xo, indicando sua importncia secundria.
Alm disso, calculando as derivadas no ponto xo (na verdade, as derivadas cruzadas so no nulas e necessrio encontrar seus
40
auto-valores; discutiremos isso mais adiante) obtm-se, respectivamente

t(2)

3
= 1.78, (18.7)

2(2)

3
= 0.23, (18.8)

3(2)

3
= 0.12. (18.9)
O ponto importante a ser notado aqui que, excetuando-se o acoplamento de primeiros vizinhos, os outros dois tem

< 1,
ou seja, sob a iterao sucessiva do GR, os pequenos desvios em relao ao ponto xo desses acoplamentos decaem rapida-
mente a zero (chamando-os coletivamente de g
i
)
R

b
(g
i
) =
_

i
b
_

g
i
0, (18.10)
quando . Equivalentemente, os acoplamentos em questo tem dimenso negativa d
i
< 0
R

b
(g
i
) = b
di
g
i
0. (18.11)
Esses acoplamentos com dimeno negativa, por diminuirem sob a iterao do GR, so chamados de operadores ou variveis
irrelevantes e, em contrapartida, aqueles que tm dimenso positiva so chamados de relevantes. No caso do modelo de Ising,
apenas o operador de temperatura (K) e o campo magntico externo (h) so relevantes. Referindo-nos discusso geral da
Seo XIV, podemos escrever a transformao da energia livre sob o GR na presena de vrias variveis irrelevantes como
b
d
f (t, h, g
1
, g
2
, . . .) = f
_
tb
dt
, hb
d
h
, g
1
b
d1
, g
2
b
d2
, . . .
_
. (18.12)
Assim como antes, podemos tomar b = b
0
t
1/dt
e
f (t, h, g
1
, g
2
, . . .) =
t
d/dt
b
d
0
f
_
b
dt
0
, b
d
h
0
h
t
d
h
/dt
, b
d1
0
g
1
t
|d1|/dt
, b
d2
0
g
2
t
|d2|/dt
, . . .
_
(18.13)

t
d
b
d
0
f
_
b
dt
0
, b
d
h
0
h
t

, 0, 0, . . .
_
, (18.14)
= t
d

_
h
t

_
, (18.15)
para t sucientemente pequeno. As mesmas consideraes se aplicam s outras formas de escala. Portanto, mesmo no caso em
que o Hamiltoniano no mantm sua forma original simples sob a transformao do GR, a presena de um nmero grande de
variveis irrelevantes no altera a forma de escala assinttica, em que aparecem apenas as variveis relevantes. Todos os estudos
feitos, numricos ou analticos, conrmama existncia de apenas duas variveis relevantes, essencialmente t e h, no uxo do GR
da classe de universalidade de Ising. Isso compatvel com a existncia de apenas dois parmetros que precisam ser ajustados
para colocar o sistema no seu ponto crtico, a saber, a temperatura e o campo magntico externo. Esse detalhe nal fornece a
justicativa geral da teoria de escala em todos os seus pontos (existe um importante detalhe, a ser visto mais adiante, referente
aos chamados operadores perigosamente irrelevantes).
Retornando ao modelo de Ising na rede triangular, clculos na aproximao de aglomerados fornecem valores para o ponto
xo e as derivadas em crescente grau de preciso medida que o aglomerado cresce. Os clculos mais precisos reportados na
Ref. 10, feitos num aglomerado de 7 tringulos fornecem os seguintes valores para os auto-valores relevantes

t(7cl)

3
1.7590, (18.16)

h(7cl)

3
2.8024, (18.17)
que devem ser comparados com os valores exatos
t

3
= 1.73205 e
h

3
= 2.80092. A concordncia excelente.
Para a rede quadrada, os resultados na aproximao de aglomerados de 16 spins, separados em 4 quadrados de 4 spins cada
um, fornecem acoplamentos entre primeiros e segundos vizinhos e acoplamentos entre 4 spins, K
1
, K
2
e K
3
, respectivamente,
tais que o ponto crtico se localiza em
7,8
K
(4cl)
1
= 0.307, (18.18)
K
(4cl)
2
= 0.084, (18.19)
K
(4cl)
3
= 0.004, (18.20)
41
mais uma vez conrmando a predominncia dos acoplamentos entre primeiros vizinhos. Os 3 auto-valores da matriz de derivadas
so

t(4cl)
2
= 1.914, (18.21)

2(4cl)
2
= 0.248, (18.22)

3(4cl)
2
= 0.137, (18.23)
conrmando que, para h = 0, h apenas uma varivel relevante. O expoente obtido a partir de (18.21) 0.937 ( = 1 da
soluo de Onsager ou
t
2
= 2). Na presena de um campo magntico, o expoente do gap tambm foi calculado nessa
aproximao e obteve-se
9

(4cl)
= 1.9519, (18.24)
a ser comparado com o resultado exato = 15/8 = 1.875.
XIX. CONSIDERAES GERAIS SOBRE OS FLUXOS DO GR
Atravs de exemplos resolvidos e de resultados numricos, pudemos obter uma idia geral sobre a natureza das transformaes
geradas pelo GR. Vamos agora tentar sistematizar o que ns j aprendemos.
Vimos que, de modo geral, uma transformao do GR gera um Hamiltoniano de forma arbitrria, contendo em princpio um
nmero innito de termos. O nico requisito desses termos que tenham uma natureza local, isto , possam ser escrito como
uma soma extensiva sobre x (por todo o sistema) de termos que dependem apenas de uma vizinhana limitada do ponto x (no
caso Ising que tratamos, isso signicava termos gerais com a forma de produtos de spins numa regio compacta do espao), e
que no violem simetrias bsicas do sistema. Assim, em princpio, todos os termos compatveis com essas regras so gerados
por uma transformao do GR. Mesmo que o Hamiltoniano inicial no contenha todos esses termos, algumas poucas iteraes
do GR acabaro por gerar rapidamente um nmero innito desses termos. A iterao do GR pode ento ser vista como uma
trajetria nesse espao de Hamiltonianos, cujos eixos so os vrios coecientes dos possveis termos gerados. til escrever
coletivamente K (K
1
, K
2
, K
3
, . . .), onde os vrios K
i
so os coecientes dos vrios termos do Hamiltoniano (vamos usar
K
2
= h, correspondente ao campo magntico). No caso do GR que denimos, em termos de um re-escalamento nito por
uma contante xa b, os pontos dessa trajetria so discretos K
_
b

_
K

. Mas podemos imaginar que exista uma continuao

analtica para um uxo contnuo nesse espao, caso em que teramos uma trajetria contnua K(b) , b R. Alternativamente,
para b muito grande, a separao entre os pontos da trajetria to pequena emtermos relativos que podemos fazer umtratamento
contnuo. Falamos, portanto, do uxo do grupo de renormalizao como o conjunto de todas as trajetrias possveis geradas
pelo GR, a partir de todas as condies iniciais (ou seja, de todos os Hamiltonianos iniciais) possveis.
Depois de um nmero innito de iteraes, geralmente tende-se a um ponto xo K(b ) K

. A possibilidade de haver
ciclos limites ou comportamento catico parece no se realizar, embora haja alguns exemplos um pouco articiais com esses
comportamentos. Devemos sempre lembrar que a cada iterao

= /b, ou seja, o comprimento de correlao diminui

de um fator de b. Assim, o ponto xo corresponde a

/b, cujas nicas solues so = 0 ou = . O primeiro caso

corresponder a uma fase termodinmica estvel do sistema com comprimento de correlao nito, enquanto o segundo caso
corresponde a um ponto crtico, como j vimos.
Se comearmos a iterar o GR para um Hamiltoniano inicial que difere ligeiramente de um ponto xo K = K

+ K, h
duas possibilidades: ou a trajetria levar o Hamiltoniano de volta ao ponto xo ou ela ir se afastar cada vez mais do ponto
xo, indo terminar em um outro ponto xo. Assim, podemos caracterizar os pontos xos como instveis ou estveis em relao
a pequenos desvios a partir dele. Na verdade, pode haver direes estveis e direes instveis nas proximidades dos pontos
xos. A situao lembra em vrios aspectos a anlise de estabilidade de pontos de equilbrio de potenciais na Mecnica. Mais
precisamente a situao corresponde a uma dinmica puramente dissipativa, descrita por um sistema de equaes dinmicas do
tipo
dK
1
d
=
1
(K) , (19.1)
dK
2
d
=
2
(K) , (19.2)
.
.
.
.
.
.
.
.
., (19.3)
em que podemos encarar a varivel = ln b, como uma varivel temporal da dinmica.
42
Vimos anteriormente que podemos analisar o uxo do GR linearizando as equaes de transformao em torno de um ponto
xo. Suponhamos que
K

1
= f
1
(K) , (19.4)
K

2
= f
2
(K) , (19.5)
.
.
.
.
.
.
.
.
., (19.6)
e vamos linearizar em torno de K

. Escrevendo K
i
= K

i
+K
i
e K

i
= K

i
+K

i
K

i
= f
i
(K

+K) f
i
(K

) =

j
f
i
(K)
K
j

K
j
=

j
M
ij
K
j
. (19.7)
De modo geral, a iterao mistura os vrios coecientes. interessante tentar diagonalizar a matriz de derivadas M
ij
.
Entretanto, como M
ij
no , de maneira geral, uma matriz simtrica, no h garantias de que a matriz seja diagonalizvel,
ou seja, que haja uma transformao linear ortogonal que traga a matriz para uma forma diagonal. Portanto, precisaremos
distinguir, no caso genrico, entre auto-vetores direita e esquerda (vamos supor que os auto-valores sejam reais). Sejam e
i
D
os autovetores direita e e
j
E
os autovetores esquerda e
i
D
e
i
E
seus respectivos auto-valores tais que
M e
i
D
=
i
D
e
i
D
, (19.8)
e
j
E
M =
j
E
e
j
E
, (19.9)
em notao matricial usual. Tomando a transposta da Eq. (19.9) temos
M
T
e
j
E
=
j
E
e
j
E
. (19.10)
Comparando as equaes seculares correspondentes a (19.8) e (19.10) e lembrando que o determinante de uma matriz o mesmo
que o de sua transposta, segue que os auto-valores esquerda so os mesmos que os direita
i
D
=
i
E

i
, embora os auto-
vetores correspondentes possam diferir. Entretanto, podemos generalizar a ortogonalidade entre auto-vetores correspondentes a
auto-valores diferentes. Tomando o produto escalar pela esquerda de e
j
E
com a Eq. (19.8) e pela direita de e
i
D
com a Eq. (19.9)
obtemos
e
j
E
M e
i
D
=
i
e
j
E
e
i
D
, (19.11)
e
j
E
M e
i
D
=
j
e
j
E
e
i
D
. (19.12)
Subtraindo (19.12) de (19.11)
_

j
_
e
j
E
e
i
D
= 0, (19.13)
donde vemos que e
j
E
e
i
D
= 0 se i ,= j. Logo, podemos escrever
K =

i
h
i
e
i
D
, (19.14)
h
i
= e
i
E
K, (19.15)
e analogamente para K

, tal que

i
h

i
e
i
D
= K

= M K =

i
h
i

i
e
i
D
h

i
=
i
h
i
. (19.16)
J vimos que para uma transformao que envolve o parmetro de re-escalamento b, a propriedade de semi-grupo do GR impe
que

i
= b
di
h

i
= b
di
h
i
, (19.17)
onde d
i
a dimenso do parmetro h
i
. O coeciente h
i
chamado de campo de escala. Ele aparece como coeciente de uma
combinao linear de operadores obtida a partir de (19.14-19.15).
Os auto-vetores podem ser classicados segundo o sinal de suas dimenses:
43
Figura 8: Representao esquemtica do uxo do grupo de renormalizao. Existem nesse caso dois pontos xos: um trivial ( = 0) em K

e um ponto xo crtico K

c
com = . Pontos na superfcie crtica (verde) so todos levados ao ponto xo K

c
e tm = . A direo azul
que leva de K

c
a K

representa uma direo relevante na vizinhana de K

c
. A trajetria em vermelho representa um sistema ligeiramente
no-crtico. O transiente permanece por muitas iteraes prximo superfcie crtica e governado por K

c
mas acaba por nalmente se
desviar em direo a K

.
1. Se d
i
> 0, o auto-vetor chamado de relevante. Nesse caso,

> 1 e o campo de escala correspondente cresce sob a

iterao do GR.
2. Se d
i
< 0, o auto-vetor chamado de irrelevante. Nesse caso,

< 1 e o campo de escala decresce sob o uxo do GR.

3. O caso d
i
= 0, implica que em ordem linear o campo correspondente no muda sob o uxo do GR. O operador chamado
de marginal.
importante lembrar que a classicao em termos de relevncia diz respeito vizinhana de um ponto xo dado. Um mesmo
operador pode ser relevante num ponto xo e irrelevante em outro. Depois de vrias iteraes, se permanecermos na regio
linear, o efeito dos operadores irrelevantes desaparece e os operadores relevantes se tornaro dominantes. Se os coecientes
iniciais dos operadores relevantes forem diferentes de zero, o uxo se distanciar do ponto xo. Caso esses coecientes sejam
zero (e no haja operadores marginais), o uxo trar o Hamiltoniano de volta ao ponto xo. O nmero de auto-valores relevantes
de um ponto xo chamado de sua codimenso. Uma das propriedades mais importantes dos pontos xos de vrias teorias,
como a classe de universalidade de Ising, que a codimenso dos pontos xos crticos um nmero nito pequeno (2 no caso
Ising).
As direes correspondentes aos campos de escala irrelevantes de um ponto xo crtico geram a chamada superfcie crtica.
Todos os pontos da superfcie crtica so levados ao ponto xo crtico. Segue que todos os Hamiltonianos na superfcie crtica
tm = . Se o sistema comear o uxo muito prximo da superfcie crtica, ou seja, se os campos de escala relevantes forem
pequenos, o uxo se desenrolar prximo superfcie crtica por um longo tempo (ou seja, por muitas iteraes) e o uxo
ser durante esse transiente indistinguvel de um uxo na superfcie crtica. Ao nal, os campos de escala relevantes crescero
o suciente para que o uxo se distancie signicativamente da superfcie crtica e se desvie do ponto xo crtico (ver gura 8).
Nesse caso, dizemos que o uxo governado pelo ponto xo crtico, pois vimos na Seo XVIII que todos os expoentes da
regio crtica correspondente a esse ponto xo so obtidos a partir das dimenses dos operadores relevantes.
Pontos xos completamente estveis, ou seja, que no tm direes relevantes representam fases termodinmicas do sistema.
Todos os Hamiltonianos na sua vizinhana so levados a ele e esto na mesma fase do sistema. O conjunto de todos os pontos
no espao de Hamiltonianos que so levados a um ponto xo chamado de sua bacia de atrao.
J vimos que a classe de universalidade de Ising apresenta 2 operadores relevantes, um associado temperatura reduzida t
e outro associado ao campo magntico h. Fisicamente, precisamos ajustar 2 parmetros externos, a temperatura e o campo
44
Figura 9: Corte no espao de parmetros de um Hamiltoniano geral no plano K1, K2 (acoplamentos entre primeiros e segundos vizinhos,
respectivamente). O ponto xo crtico (K

1
, K

2
) a interseo entre a superfcie crtica (curva azul, direo irrelevante) e a direo relevante
(curva verde). As linhas vermelhas representam uxos quaisquer. Todos os ponto na curva azul so atrados para o ponto crtico. Os
outros pontos esto na bacia de atrao dos pontos xos de alta temperatura (fase paramagntica) K1 = K2 = 0 e de baixa temperatura
K1 = K2 = (fase ferromagntica). A bolinha amarela marca o ponto crtico do modelo de Ising com interao entre primeiros vizinhos
apenas, em que K2 = 0 e a bolinha vinho marca o ponto crtico do modelo de Ising com interao entre segundos vizinhos apenas, onde
K1 = 0.
magntico para colocarmos o sistema no ponto crtico. Sistemas diferentes correspondero a Hamiltonianos iniciais diferentes.
Se todos pertencerem mesma classe de universalidade e forem ajustados aos seus pontos crticos respectivos, eles correspon-
dero a pontos diferentes na superfcie crtica. Pequenos desvios do ponto crtico sero governados por um mesmo ponto xo e,
portanto, tero os mesmos expoentes crticos. Essa a origem do fenmeno da universalidade.
Pontos tri-crticos (como no problema da lista) so caracterizados pela presena de 3 direes relevantes, pois necessrio
ajustar 3 parmetros externos para atingirmos o ponto crtico.
Vimos na Seo XVIII que o ponto xo crtico do modelo de Ising bi-dimensional caracterizado por vrios operadores K

i
.
Podemos exemplicar melhor as consideraes acima se zermos um corte no plano (K
1
, K
2
), onde K
1
e K
2
correspondem a
acoplamentos entre primeiros e segundos vizinhos. Nesse caso, o ponto xo crtico corresponde a K

1
e K

2
(ver gura 9). A
superfcie crtica a linha azul da gura. Todos os pontos nessa linha esto na bacia de atrao do ponto xo crtico. Alinha verde
representa a direo relevante, que leva aos pontos xos estveis de alta e baixa temperaturas (K
1
= K
2
= 0 e K
1
= K
2
= ,
respectivamente). Existe uma outra direo relevante, ao longo do eixo h, que sai do plano da gura. O ponto representado pela
bolinha amarela, com K
2
= 0 representa o modelo de Ising com interao entre primeiros vizinhos apenas, no seu ponto crtico.
J o ponto em vinho, com K
1
= 0 representa o modelo de Ising com interao entre segundos vizinhos apenas, tambm no seu
ponto crtico. Apesar de serem modelos diferentes, ambos tem o mesmo comportamento crtico, governado pelo mesmo ponto
xo crtico (K

1
, K

2
), assim como todos os modelos com ambos os acoplamentos no Hamiltoniano original pertencentes linha
azul da gura. Eis a o fenmeno da universalidade e sua traduo em termos do uxo do grupo de renormalizao.
Vamos agora descrever o uxo global do GR para o modelo de Ising bi-dimensional no plano (K
1
K, h). Ele pode ser
obtido em primeira ordem em teoria de perturbao a partir das equaes de transformao da Seo XVII adicionadas do
resultado para a transformao do campo magntico em primeira ordem, que pode ser obtido a partir da Ref. 11, a saber
h

= 3
e
3K
+e
K
e
3K
+ 3e
K
_
1 +
16Ke
2K
(e
3K
+ 3e
K
)
2
_
h. (19.18)
Alm do ponto xo crtico em C = (K

0.34, h

= 0), obtemos os pontos xos paramagntico P = (K

P
= 0, h

= 0) e
ferromagntico F = (K

F
= , h

= 0). A anlise que zemos esclareceu a estrutura do uxo na vizinhana do ponto xo

crtico, que instvel em relao a quaisquer perturbaes no plano (K, h). Os pontos xos estveis P e F so estveis na
direo h = 0, mas instveis quanto a desvios de h em relaco a zero. A estrutura global est mostrada na gura 10.
A estrutura do uxo nas proximidades dos pontos P e F pode ser analisada por linearizao das Eqs. de transformao (17.23)
45
Figura 10: Fluxo do grupo de renormalizao para o modelo de Ising bidimensional no plano (K, h), onde K = J o acoplamento entre
primeiros vizinhos e h o campo magntico aplicado. O ponto xo crtico C = (K

, h = 0) (ponto vermelho) completamente instvel no

plano. Os pontos xos paramagntico P = (K

P
= 0, h

= 0) (ponto azul) e ferromagntico F = (K

F
= , h

= 0) (ponto verde) so
estveis na linha h = 0 mas instveis com respeito a um campo magntico no nulo. Nesse caso, o uxo leva o sistema aos pontos xos em
amarelo.
e (19.18). Obtemos que em P

t
P
= 0.5, (19.19)

h
P
= 1.5, (19.20)
enquanto que em F

t
F
= 2, (19.21)

h
F
= 3. (19.22)
Devemos notar que a direo K (temperatura) irrelevante nos dois pontos xos, apesar de
t
F
> 1, como mostrado na gura 10.
Isso porque, no caso singular de F, K

F
= e um auto-valor maior que 1 implica que os desvios em relao a K

F
= , ou
seja, valores nitos de K, tendem a crescer sob o GR e, portanto, a se aproximar de K

F
= . Alm disso, os auto-valores do
campo magntico so ambos maiores que 1, apontando a relevncia das perturbaes em relao a h = 0.
A linha h = 0 para K > K

corresponde linha de coexistncia entre as fases ferromagnticas com magnetizaes invertidas

uma em relao outra. J vimos que essa uma linha de transies de primeira ordem. Nesse caso, uma anlise geral mostra
que, em torno do ponto xo correspondente (F no caso),
h
= b
d
, como mostraremos a seguir. Consideremos a maneira como
a magnetizao por spin do sistema se transforma sob o GR
m(h) =
f (h)
h

h=0
+
(19.23)
= b
d
f (h

)
h

h=0
+
(19.24)
= b
d
h

h
f (h

)
h

=0
+
(19.25)
=

b
(h)
b
d
m(h

) , (19.26)
46
onde

b
(h) =
h

h=0
+
, (19.27)
e escrevemos as quantidades fsicas em termos do campos de escala, denotados coletivamente por h. Iterando vezes o GR
m(h) =

i=0
_

b
_
h
(i)
_
b
d
_
m
_
h
(+1)
_
. (19.28)
Tomando , alcanamos o ponto xo em cuja bacia de atrao encontra-se o sistema examinado. Suponhamos que esse
ponto xo seja o ponto F, de tal forma que o sistema esteja em seu estado ferromagntico com quebra espontnea de simetria
(T < T
c
, h = 0). Nesse caso, m
_
h
()
_
= 1 e
m(h) =

i=0
_

b
_
h
(i)
_
b
d
_
,= 0. (19.29)
Para que o produtrio acima seja nito deve-se ter
lim
i

b
_
h
(i)
_
b
d
= 1
b
_
h
()
_
=
h
bF
= b
d
, (19.30)
em conformidade com a Eq. (19.22). interessante notar que, de maneira geral, pode-se mostrar que d
i
d, de tal forma que o
auto-valor acima, caracterstico de linhas de transio de fase de primeira ordem, satura a desigualdade. Alm disso, a frmula
(19.29) pode ser usada ao longo da trajetria para calcular a magnetizao espontnea do sistema.
XX. GRUPO DE RENORMALIZAO DO MODELO GAUSSIANO
Nosso objetivo agora denir o grupo de renormalizao no espao k, que nos permitir posteriormente obter a expanso em
. Como problema preliminar mais simples faremos a anlise do modelo gaussiano, que um modelo no-interagente, com n
componentes. Ele corresponde, como j vimos, ao modelo de Landau com u = 0
L =
_
d
d
x
_
1
2

i
(x)
_
r _
2
_

i
(x) h
i

i
(x)
_
, (20.1)
onde a soma sobre os componentes i = 1, 2, . . . , n ser mantida implcita. No espao k, a ao ca
L =
_

0
d
d
k
(2)
d
_
1
2
_
r +k
2
_
[
i
(k)[
2
h
i

i
(0)
(d)
(0)
_
, (20.2)
onde introduzimos a notao
_
2
1
d
d
k
(2)
d

_
d
d
k
(2)
d
([k[
1
) (
2
[k[) , (20.3)
e tomamos o cutoff ultravioleta em k como sendo . A soma parcial do GR consistir em somar sobre os modos k tais que
/b < [k[ < , com b > 1. Vamos ento separar os modos de spins de acordo com o valor de seus vetores de onda e re-denir

i
(k) =
i
(k) , para

b
< [k[ < , (20.4)
mantendo a nomenclatura inalterada para os modos com [k[ < /b. A ao pode ser separada em dois termos envolvendo
variveis rpidas (

i
(k)) e lentas (
i
(k))
L = L
0l
+L
0r
, (20.5)
L
0l
=
_
/b
0
d
d
k
(2)
d
_
1
2
_
r +k
2
_
[
i
(k)[
2
h
i

i
(0)
(d)
(0)
_
, (20.6)
L
0r
=
_

/b
d
d
k
(2)
d
_
1
2
_
r +k
2
_

i
(k)

2
_
. (20.7)
47
O primeiro passo do GR consiste em integrar sobre os modos rpidos
Z (r, h) =
_
TT

e
(L
0l
+L0r)
(20.8)
=
_

0<|k|</b
d
i
(k) e
L
0l

/b<|k|<
d

i
(k) e
L0r
(20.9)
= Z
r
(r)
_

0<|k|</b
d
i
(k) e
L
0l
, (20.10)
onde
Z
r
(r) = exp
_

n
2
_

/b
d
d
k
(2)
d
ln
_
r +k
2
_
_
. (20.11)
A contribuio de Z
r
de apenas uma constante para a energia livre, que sempre existe, como j vimos anteriormente. Vamos
ignor-la. A nova ao ento a ao da Eq. (20.6). Agora, re-denimos as distncias ou, equivalentemente, os vetores de onda
k

= bk, (20.12)
de tal forma que o cutoff original recuperado
L
0l
=
_

0
b
d
d
d
k

(2)
d
_
1
2
_
r +b
2
k
2
_

i
_
b
1
k

2
h
i

i
(0)
(d)
(0)
_
. (20.13)
Finalmente, re-escalamos o spin de forma a preservar a forma do termo do Laplaciano

i
_
b
1
k

_
z

i
(k

) . (20.14)
A escolha que preservar o coeciente do gradiente
z = b
1+d/2
. (20.15)
Ao nal, a ao renormalizada ser
L

=
_

0
d
d
k

(2)
d
_
1
2
_
z
2
b
d
r +k
2
_
[

i
(k

)[
2
zh
i

i
(0)
(d)
(0)
_
(20.16)
=
_

0
d
d
k

(2)
d
_
1
2
_
r

+k
2
_
[

i
(k

)[
2
h

i
(0)
(d)
(0)
_
. (20.17)
A ao gaussiana preserva sua forma sob o GR. Os valores renormalizados de seus parmetros so
r

= z
2
b
d
r = b
2
r, (20.18)
h

= zh = b
1+d/2
h, (20.19)
e os expoentes correspondentes so
d
r
= 2, (20.20)
d
h
= 1 +
d
2
. (20.21)
Vemos assim que ambos os termos so relevantes em relao ao ponto xo r = 0 e h = 0, que corresponde ao ponto crtico,
cuja ao
L
crit
=
_
d
d
x
_
1
2

i
(x)
_
_
2
_

i
(x)
_
. (20.22)
Na verdade, a ao (20.22) descreve o ponto crtico para d > 4, pois nesse caso o termo de interao entre as utuaes pode ser
desprezado, como indica o critrio de Ginzburg. Existe um outro ponto xo em r = e h qualquer. Esse ponto xo estvel
(a Eq. (20.18) garante que qualquer r nito tende a crescer) e h pode ser qualquer porque o valor innito de r faz com que o
termo em h (e o termo do Laplaciano) seja(m) irrelevante(s). Nesse ponto xo, a ao ca
L
para
=
_
d
d
x
_
r
2

i
(x)
i
(x)
_
, (20.23)
e representa uma fase paramagntica (T ), pois o valor do campo num ponto no depende do valor em outro ponto vizinho.
48
XXI. EXPOENTES GAUSSIANOS E OPERADORES PERIGOSAMENTE IRRELEVANTES
Os valores de d
r
= d
t
e de d
h
podem ser usados para obter os vrios expoentes crticos, assumindo que a forma de escala
usual da energia livre e da funo de correlao de dois pontos seja vlida. Obtemos
=
1
d
t
=
1
2
, (21.1)
=
d
h
d
t
=
2 +d
4
, (21.2)
= 2 d = 2
d
2
, (21.3)
= 2 =
d 2
4
, (21.4)
= = 1, (21.5)
=

=
d + 2
d 2
, (21.6)
= 2

= 0. (21.7)
Quando devemos esperar que o comportamento crtico seja dado pela teoria gaussiana? Nossa anlise da Seo X sugere que
a teoria de Landau descreva o comportamento crtico acima da dimenso crtica superior d
uc
= 4, pois vimos que a inuncia
das utuaes desprezvel na regio crtica se d > 4 (critrio de Ginzburg). A anlise dos expoentes obtidos assumindo
a teoria de Landau mais utuaes gaussianas nos d todos os expoentes de campo mdio usuais, exceto = 2 d/2 (ver
Seo X, especialmente a Eq. (10.10)). Ou seja, as utuaes no modicam os expoentes de campo mdio, exceto talvez
. Na verdade, nem mesmo modicado, j que em d = 4, obtemos = 0, que o expoente de campo mdio usual,
enquanto que se d > 4, a contribuio das utuaes gaussianas d < 0. Como < 0 indica um comportamento menos
singular do calor especco, em relao ao valor da teoria de Landau pura ( = 0), a contribuio das utuaes gaussianas
sub-dominante e, portanto, desprezvel. Portanto, deveramos esperar obter, para o comportamento crtico acima da dimenso 4,
todos os expoentes de campo mdio. Comparando agora os expoentes de campo mdio, com os expoentes da teoria gaussiana,
observamos que, embora os expoentes , e sejam iguais, os expoentes , e apenas concordam com os valores de campo
mdio ( = 0, = 1/2 e = 3) em d = d
uc
= 4, mas do valores incorretos para d > 4. Isso sugere que a teoria gaussiana
pode nos dar o comportamento correto acima de d = 4, desde que possamos explicar a discrepncia em , e .
Por que a teoria gaussiana pode descrever o comportamento crtico acima de d = 4? Vamos relembrar o resultado da
Seo XIII, Eq. (13.18), que nos diz que medida que t 0, o termo qurtico efetivo
g t
(d4)/2
u 0 se d > 4. (21.8)
Isso conrmado pela anlise do termo qurtico sob o GR. Com efeito, devemos fazer no termo qurtico as mesmas transfor-
maes feitas acima, ou seja, re-escalar distncias x x

= x/b (ou k k

= bk) e o campo

i
_
b
1
k

_
b
1+d/2

i
(k

) , (21.9)

i
(bx

) b
1d/2

i
(x

) , (21.10)
onde o fator multiplicativo do campo expresso no espao real diferente daquele do campo no espao k, reetindo o fator de
d
d
x (ou d
d
k) que relaciona um e outro. Assim
_
d
d
x
u
4
_

2
i
(x)

_
b
d
d
d
x

u
4
b
42d
_

2
i
(x

2
= b
4d
_
d
d
x

u
4
_

2
i
(x

2
, (21.11)
u

= b
4d
u. (21.12)
Isso mostra que
d
u
= 4 d < 0 se d > 4. (21.13)
O termo qurtico realmente irrelevante se d > 4 e a teoria gaussiana deveria dar o comportamento crtico em dimenses
superiores a 4.
O que h de errado no clculo dos expoentes , e ? Ateoria de escala derivada do uxo do GR demonstrada na Seo XVIII
nos mostra como lidar com a presena de operadores irrelevantes. Vamos particularizar aquela anlise para o o caso aqui tratado,
49
em que assumiremos que o termo qurtico o nico termo irrelevante. Tomando b = b
0
t
1/dt
f (t, h, u) =
t
d/dt
b
d
0
f
_
b
dt
0
, b
d
h
0
h
t
d
h
/dt
, b
du
0
ut
|du|/dt
_
. (21.14)
Usualmente, simplesmente assumimos que a funo f (t, h, u) nita em f (t, h, 0) e assim otemos a equao de escala na sua
forma habitual. Entretanto, pode acontecer de a funo f (t, h, u) ser singular quando u 0. Vamos supor que, quando u 0,
f (t, h, u)
g (t, h)
u

, (21.15)
onde > 0. Nesse caso, no podemos simplesmente ignorar a presena do operador irrelevante. No limite em que t 0, a
Eq. (21.14) nos d
f (t, h, u) =
t
d/dt
b
d
0
f
_
b
dt
0
, b
d
h
0
h
t
d
h
/dt
, b
du
0
ut
|du|/dt
_

t
d/dt
b
d
0
g
_
b
dt
0
, b
d
h
0
h
t
d
h
/d
t
_
b
du
0
u

t
|du|/dt
= t
d/dt|du|/dt

_
h
t
d
h
/dt
_
, (21.16)
que uma forma modicada da relao de escala usual. Usando que d
t
= 2 e [d
u
[ = d 4 para d > 4, obtemos
2 =
d [d
u
[
d
t
=
d (d 4)
2
. (21.17)
Assim, vemos que o valor do expoente radicalmente modicado se a energia livre for uma funo singular do parmetro
irrelevante. Dizemos, nesse caso, que u uma varivel perigosamente irrelevante.
Devemos nos perguntar, portanto, se essa dependncia singular realmente ocorre e se ela leva a que os expoentes crticos do
modelo gaussiano concordem com a teoria de campo de Landau para d > 4. A resposta sim e a razo a seguinte. A primeira
dica sobre o que acontece vem de percebermos que os expoentes e s so denidos no estado ordenado, para T < T
c
.
Consideremos agora a teoria de Landau no estado ordenado. Sabemos que, nesse caso, a equao de estado dada pela Eq. (9.4)
da Seo IX
r
0
+u
3
0
= h, (21.18)
e a densidade de energia livre ento obtida a partir do valor de
0
acima e da Eq. (9.9)
f (r, h, u) =
r
2

2
0
+
u
4

4
0
h
0
, (21.19)
onde devemos lembrar que r t < 0. Escrevendo

0

_

r
u
_
1/2

0

_
h
u
_
1/3

0
, (21.20)
e levando em (21.18) obtemos

3
0

0
=
u
1/2
h
[r[
3/2
, (21.21)

3
0

_
[r[
3/2
u
1/2
h
_
2/3

0
= 1, (21.22)
donde deduzimos que ambos os parmetros re-escalados
0
e

0
so funes apenas da razo u
1/2
h/ [r[
3/2

0
=
_
[r[
u
_
1/2

0
_
u
1/2
h
[r[
3/2
_
=
_
h
u
_
1/3

0
_
u
1/2
h
[r[
3/2
_
. (21.23)
Levando agora esse resultado na Eq. (21.19), obtemos
f (r, h, u) =
[r[
2
[r[
u

2
0
+
u
4
[r[
2
u
2

4
0
h
_
[r[
u
_
1/2

0
, (21.24)
=
[r[
2
u
_

1
2

2
0
+
1
4

4
0

u
1/2
h
[r[
3/2

0
_
(21.25)
=
[r[
2
u
F
_
u
1/2
h
[r[
3/2
_
=
_
h
4
u
_
1/3

F
_
u
1/2
h
[r[
3/2
_
. (21.26)
50
A Eq. (21.26) mostra que a dependncia com o parmetro u uma dependncia singular, embora ligeiramente mais complicada
que a da Eq. (21.15). Fisicamente, o que acontece que o parmetro u essencial para manter a estabilidade da teoria de Landau
quando r < 0 e ele no pode ser simplesmente posto igual a zero. Usando agora o re-escalamento dos parmetros da teoria,
temos (fazendo r t)
f (t, h, u) =
t
d/dt
b
d
0
f
_
b
dt
0
, b
d
h
0
h
t
d
h
/dt
, b
du
0
ut
|du|/dt
_
(21.27)
=
b
2dtddu
0
t
(d|du|)/dt
u
F
_
b
(du+2d
h
3dt)/2
0
u
1/2
h
t
(d
h
|du|/2)/dt
_
. (21.28)
t
2

_
h
t

_
. (21.29)
Dessa expresso, identicamos imediatamente (lembrando que d
h
= 1 +d/2)
= 2
d [d
u
[
d
t
= 0, (21.30)
=
2d
h
[d
u
[
2d
t
=
3
2
. (21.31)
Alm disso, refazendo a anlise da Seo XII, obtemos tambm
= 2 =
1
2
, (21.32)
= = 1, (21.33)
=

= 3, (21.34)
que concordam perfeitamente com os expoentes de campo mdio. A anlise da funo de correlao tambm fornece
=
1
d
t
=
1
2
, (21.35)
= 2

= 0. (21.36)
Portanto, levando em conta a dependncia singular da densidade de energia livre com o parmetro irrelevante u, obtemos os
todos os expoentes corretamente, justicando assim a descrio gaussiana acima da dimenso crtica superior 4. A anlise acima
mostra que o GR no resolve completamente o problema. s vezes necessrio obter mais informaes sobre a fsica do sistema
antes de deduzirmos todo o comportamento crtico atravs do GR.
XXII. GRUPO DE RENORMALIZAO DO MODELO DE LANDAU E EXPANSO EM
A anlise das Sees XX e XXI mostrou que o termo qurtico irrelevante acima e relevante abaixo de 4 dimenses. Assim,
a introduo da perturbao qurtica no modelo gaussiano incua para d > 4 mas introduz uma direo relevante no espao
de Hamiltonianos para d < 4. Como a dimenso 4 a dimenso limtrofe, isso sugere que, se pudermos fazer uma continuao
analtica na dimensionalidade, ao cruzarmos d = 4 algo bastante drstico deve ocorrer. Por outro lado, se houver uma depen-
dncia contnua com a dimensionalidade, pode-se imaginar que a teoria em, digamos, d = 3.99 dimenses seja razoavelmente
controlvel ou, pelo menos, mais controlvel que em d = 3. Essa a idia por trs da expanso em 4 d. Existe assim uma
esperana de que, ao obtermos as quantidades relevantes, como por exemplo os expoentes crticos, como uma srie de potncias
em , talvez a extrapolao 1 seja capaz de fornecer resultados bons para d = 3. Realmente, como vamos ver mais adiante,
logo abaixo de d = 4, o ponto xo crtico gaussiano se desdobra em 2 novos pontos xos, um gaussiano com codimenso 3 (e,
portanto, incapaz de descrever o ponto crtico procurado) e um outro no-gaussiano com a codimenso correta 2. Esse ltimo,
chamado de ponto xo de Wilson-Fisher, permanece arbitrariamente prximo do gaussiano para pequeno
r

O() , (22.1)
u

O() . (22.2)
Logo, uma anlise perturbativa em u pode ser feita nas proximidades desse ponto xo. Essa a estratgia que iremos seguir. A
expanso em e a descoberta desse ponto xo no-trivial foi feita por K. G. Wilson e M. E. Fisher na Ref. 13.
51
Os passos que devemos seguir so essencialmente os mesmos usados no caso gaussiano, exceto que, na presena do termo
qurtico e em vista do exposto acima, iremos prosseguir em teoria de perturbao em u. Assim, o hamiltoniano original
L =
_
d
d
x
_
1
2

i
(x)
_
r _
2
_

i
(x) +
u
4
_

2
i
(x)

2
_
, (22.3)
onde omitiremos o campo magntico inicialmente, por simplicidade. No espao k, a ao ca L = L
0
+L
1
, onde L
0
o mesmo
da Eq. (20.2), enquanto que
L
1
=
u
4
_

0
4

m=1
d
d
k
m
(2)
d
(2)
d

(d)
(k
1
+k
2
+k
3
+k
4
)
i
(k
1
)
i
(k
2
)
j
(k
3
)
j
(k
4
) . (22.4)
Note a estrutura dos sub-ndices i, j. Devemos agora separar os modos lentos
i
(k) , com [k[ < , dos modos rpidos

i
(k)
pertencentes casca de momentos /b < [k[ < , com b > 1. Na parte quadrtica, h um completo desacoplamento entre
esses dois tipos de modos, como j foi mostrado na Seo XX, Eqs. (20.5-20.7). A parte qurtica (Eq. (22.4)), entretanto, gera
acoplamentos entre os modos. Logo, podemos escrever
L
_

i
,

i
_
= L
0l
[
i
] +L
0r
_

i
_
+L
1
_

i
,

i
_
, (22.5)
Z (r, u) =
_
TT

e
(L
0l
+L0r+L1)
(22.6)
=
_
Te
L
0l
_
T

e
L0r
e
L1
(22.7)
= Z
r
(r)
_
Te
L
0l

e
L1
_
e

, (22.8)
onde usamos a denio da Eq. (20.11) e
O)
e

_
T

e
L0r
O
_
T

e
L0r
=
_
T

e
L0r
O
Z
r
(r)
, (22.9)
Como antes, vamos simplesmente ignorar a contribuio de Z
r
(r), que apenas uma constante no-singular. Note a similaridade
com a formulao da Seo XVII, Eqs. (17.8-17.9). O objetivo agora calcular (perturbativamente) o trao parcial da Eq. (22.8),
re-escalar os momentos como na Eq. (22.48) de forma a recuperar o cutoff , re-escalar os campos como na Eq. (22.49) para
manter invariante o termo do Laplaciano e ler na ao nal a expresso dos parmetros renormalizados.
Vamos denir
e
L[i]

_
e
L1[i,
e
i]
_
e

. (22.10)
Para separarmos em L
1
_

i
,

i
_
os modos lentos e rpidos, devemos fazer a substituio
_

0
d
d
k
m
(2)
d

i
(k
m
)
_
/b
0
d
d
k
m
(2)
d

i
(k
m
) +
_

/b
d
d
k
m
(2)
d

i
(k
m
) (22.11)
nas quatro integraes da Eq. (22.4). A ao L, pode ser obtida atravs da chamada expanso em cumulantes
L = ln
_

p=0
1
p!
__
L
1
_

i
,

i
__
p
_
e

_
(22.12)
=

p=1
(1)
p
p!
_
L
p
1
_

i
,

i
__
c
e

, (22.13)
onde o super-escrito c denota um cumulante. Os primeiros cumulantes (os nicos que calcularemos aqui) podem ser obtidos
facilmente da expanso do logaritmo
ln (1 +x) = x
x
2
2
+
x
3
3
+O
_
x
4
_
. (22.14)
52
Obtm-se
_
L
1
_

i
,

i
__
c
e

=
_
L
1
_

i
,

i
__
e

(22.15)
_
L
2
1
_

i
,

i
__
c
e

=
_
L
2
1
_

i
,

i
__
e

_
L
1
_

i
,

i
__
2
e

, (22.16)
donde
L =
_
L
1
_

i
,

i
__
e

1
2
_
_
L
2
1
_

i
,

i
__
e

_
L
1
_

i
,

i
__
2
e

_
+O
_
u
2
_
. (22.17)
(Observao: O cumulante de ordem geral, pode ser obtido iterando-se e invertendo-se as expresses
M
p
) =

M
n
)
c
, (22.18)
onde

P
uma soma sobre todas as parties de M
p
em fatores M
n
tais que

= p. Por exemplo,
M) = M)
c
, (22.19)

M
2
_
=

M
2
_
c
+M)
c
M)
c
=

M
2
_
c
+ M)
2
, (22.20)

M
3
_
=

M
3
_
c
+ 3 M)

M
2
_
c
+M)
3
(22.21)
=

M
3
_
c
+ 3 M)

M
2
_
2 M)
3
, (22.22)
etc.)
Veremos que, para um clculo de ordem dos expoentes, os cumulantes da Eq. (22.17) sero sucientes. A substituio
(22.11) na Eq. (22.4) gerar todas as combinaes de ordem qurtica possveis, que podemos descrever esquematicamente como
,

,

. (22.23)
O clculo do trao desses produtos de operadores enormemente facilitado pelo teorema de Wick. Note que o trao feito sobre
os campos

(ver Eq. (22.9)) onde
L
0r
_

i
_
=
_

/b
d
d
k
(2)
d
_
1
2
_
r +k
2
_

i
(k)

2
_
. (22.24)
O teorema de Wick nos d a prescrio para o clculo de
_

i1
(k
1
)

i2
(k
2
)

i3
(k
3
)

i4
(k
4
) . . .

iN
(k
N
)
_
e

. (22.25)
Primeiramente, devemos obter o valor para N = 2, chamado de uma contrao entre dois operadores,
_

i1
(k
1
)

i2
(k
2
)
_
e

=
i1i2

(d)
(k
1
+k
2
)
(2)
d
r +k
2
1

i1i2

(d)
(k
1
+k
2
) (2)
d
G
(0)
(k
1
) . (22.26)
A partir desse resultado, podemos escrever o resultado para qualquer N: o trao em (22.25) nulo se N mpar e, se N par,
igual soma sobre os produtos de todas as contraes possveis de pares de operadores de (22.25). Por exemplo
_

i1
(k
1
)

i2
(k
2
)

i3
(k
3
)

i4
(k
4
)
_
e

=
_

i1
(k
1
)

i2
(k
2
)
_
e

i3
(k
3
)

i4
(k
4
)
_
e

(22.27)
+
_

i1
(k
1
)

i3
(k
3
)
_
e

i2
(k
2
)

i4
(k
4
)
_
e

(22.28)
+
_

i1
(k
1
)

i4
(k
4
)
_
e

i2
(k
2
)

i3
(k
3
)
_
e

. (22.29)
A prova do teorema de Wick pode ser obtida a partir das expresses (11.6) e (11.8) da Seo XI, que podem ser re-escritas no
nosso contexto aqui como
_
exp
__
dxj (x) (x)
__
=
_
T(x) exp
_

1
2
_
dx
_
dy(x) G
(0)1
(x, y) (y) +
_
dxj (x) (x)

_
T(x) exp
_

1
2
_
dx
_
dy(x) G
(0)1
(x, y) (y)
, (22.30)
= exp
_
1
2
_
dx
_
dyj (x) G
(0)
(x, y) j (y)
_
. (22.31)
53
Figura 11: Representao esquemtica dos elementos dos diagramas de Feynman para a expanso perturbativa em u. Cada linha pontilhada
representa um termo qurtico. A ele deve-se associar um fator de u/4. A soma total dos momentos k1 +k2 +k3 +k4 = 0 e os sub-ndices se
conservam nos extremos da linha pontilhada. Cada linha contnua representa um operador lento i (k) e cada linha tracejada uma contrao
de operadores rpidos
e
i (k), cujo valor (2)
d
G
(0)
(k). Todas as combinaes de linhas contnuas e tracejadas so possveis para cada
termo de interao, como exemplicado na gura (numeradas de 1 a 6) e na Eq. (22.23).
Figura 12: Representao esquemtica da conservao de momentos em uma linha de interao. A diferena entre os momentos nal e
inicial em uma extremidade (q = k1 k3) transferida para a outra extremidade (q = k4 k2).
Expandindo as exponenciais dos dois lados da expresso acima e igualando os coecientes das potncias de j (x), obtemos o
teorema de Wick.
O teorema de Wick aplicado ao clculo dos traos que aparecem na expanso em cumulantes da Eq. (22.17) pode ser posto
em forma diagramtica de maneira simples. Associamos linhas contnuas aos campos no traados
i
(k), linhas tracejadas s
contraes de campos rpidos

i
(k) e cada termo qurtico (22.4) ser denotado por uma linha pontilhada. Cada extremo da
linha pontilhada tem uma linha chegando e outra saindo, ambas com o mesmo sub-ndice de componente, ver a Eq. (22.4) e a
gura 11. Cada uma das 4 linhas que se ligam s extremidades das linhas pontilhadas de interao qurtica pode ser contnua
ou tracejada. Todas as possibilidades so mostradas na gura 11. A cada linha, contnua ou tracejada, associamos um vetor de
onda (momento) k e os momentos so conservados nas interaes: k
1
+ k
2
+ k
3
+ k
4
= 0 (ver gura 12). Isso facilitado
associando-se direes e momentos s linhas pontilhadas de tal forma que a diferena entre os momentos das linhas de uma
extremidade (q) seja transferida outra extremidade, ver gura 12.
Vamos exemplicar esses diagramas com o clculo do cumulante de primeira ordem, Eq. (22.15). Devido ao teorema de
Wick, os termos

e

no contribuem, pois tm um nmero mpar de termos a serem contrados. A contrao de

54
termos em

nos d uma constante, que temos desprezado todo o tempo. O termo no tem nenhum campo rpido e
seu valor esperado igual a ele prprio. Ele dar origem ao termo qurtico habitual entre os campos lentos, s que com o cutoff
diminudo
u
4
_
/b
0
4

m=1
d
d
k
m
(2)
d
(2)
d

(d)
(k
1
+k
2
+k
3
+k
4
)
i
(k
1
)
i
(k
2
)
j
(k
3
)
j
(k
4
) . (22.32)
As nicas contribuies no triviais viro dos termos com dois campos lentos e dois rpidos dos tipos (recuperando os sub-
ndices)

j
e

j
. Aps as contraes, eles daro origem a termos quadrticos nos campos lentos
_

j
_
e

j
, (22.33)
_

j
_
e

j
, (22.34)
que por sua vez iro modicar o termo quadrtico da ao original. Assim, por exemplo, o termo
u
4
_

/b
_

/b
_
/b
0
3

m=1
d
d
k
m
(2)
d
_

i
(k
1
)

i
(k
2
)
j
(k
3
)
j
(k
1
k
2
k
3
)
_
e

(22.35)
d origem a
n
u
4
_
_

/b
d
d
k
(2)
d
G
(0)
(k)
_
_
/b
0
d
d
k
(2)
d
[
j
(k)[
2
. (22.36)
O fator de n vem da soma sobre i. Existem 2 termos como esse, vindos da contrao dos

i
e dos

j
, portanto devemos
multiplicar a expresso (22.36) por um fator de 2
n
u
2
_
_

/b
d
d
k
(2)
d
G
(0)
(k)
_
_
/b
0
d
d
k
(2)
d
[
j
(k)[
2
. (22.37)
Analogamente, podemos contrair um

i
com um

j
e teremos um termo
4
u
4
_
_

/b
d
d
k
(2)
d
G
(0)
(k)
_
_
/b
0
d
d
k
(2)
d
[
j
(k)[
2
, (22.38)
onde o fator de n est ausente e devemos multiplic-lo por um fator de 4, pois h 4 maneiras diferentes de contrair um

i
com
um

j
. Assim, a contribuio total para o termo quadrtico
_
/b
0
d
d
k
(2)
d
r
(1)
2
[
j
(k)[
2
, (22.39)
onde
r
(1)
= (n + 2) u
_
_

/b
d
d
k
(2)
d
G
(0)
(k)
_
, (22.40)
que representa uma adio ao parmetro r em primeira ordem emu. A representao diagramtica dos dois termos, Eqs. (22.37)
e (22.38) mostrada na gura 13. Diagramaticamente, cada lao (loop) de linha tracejada d origem a um fator de n.
Em primeira ordem, apenas o parmetro r afetado. Entretanto, a m de acharmos o ponto xo no-trivial, necessrio pros-
seguir e calcular o cumulante de segunda ordem em u. Os diagramas agora possuiro duas linhas pontilhadas, correspondendo
a duas inseres do termo qurtico. Vamos usar o fato de que, no clculo de cumulantes, no devemos incluir diagramas des-
conectados, ou seja, aqueles formados por partes desconectadas entre si, um teorema conhecido como linked cluster theorem.
Assim, podemos encontrar todos os diagramas conectados de segunda ordem combinando duas linhas pontilhadas de interao
qurtica de todos os 6 tipos mostrados na gura 11 atravs de contraes de linhas tracejadas. O nmero de diagramas agora
consideravelmente maior.
55
Figura 13: Representao diagramtica dos dois termos que contribuem para o cumulante de primeira ordem, Eqs. (22.37) e (22.38), respecti-
vamente. Note que o primeiro termo escala com um fator de n, que vem do lao (loop) tracejado.
Figura 14: Diagrama conectado de segunda ordem gerado por uma interao do tipo 2 com outra interao do mesmo tipo (ver gura 11).
Uma interao do tipo 1 (ver gura 11) no pode ser conectada com nenhuma outra interao de forma a gerar um diagrama
conectado. Uma interao do tipo 2, com apenas uma perna tracejada, s pode ser combinada com uma interao com um
nmero mpar de pernas, como o caso das interaes do tipo 2 ou 5 (teorema de Wick). Na gura 14, mostramos o nico
diagrama do tipo 2-2 e na gura 15 os 2 diagramas 2-5. O diagrama da gura 14 tem 6 pernas contnuas e representa um
termo de ordem 6, envolvendo o produto de 6 campos lentos, ausente na ao inicial mas gerado pelo GR em segunda ordem
em teoria de perturbao em u. Pode-se mostrar que esse termo irrelevante nos pontos xos de interesse e s afeta a posio
desses emO
_

2
_
, por isso vamos ignor-lo. Os 2 diagramas da gura 15 tm 4 pernas contnuas e so uma correo ao termo
qurtico, proporcional a u
2
. Entretanto, eles so identicamente nulos. Isso porque, devido conservao de momentos nas linhas
pontilhadas, a linha contnua externa da direita tem o mesmo momento que a linha tracejada horizontal interna com sub-ndice
i. Como a primeira deve ter [k[ < /b (modo lento) e a outra deve ter < [k[ < /b (modo rpido), segue que o valor dos
diagramas zero.
Prosseguindo, podemos combinar interaes do tipo 3 com interaes do tipo 3, 4 e 6. H um diagrama do tipo 3-3 (gura 16),
um do tipo 3-4 (gura 17) e dois do tipo 3-6 (gura 18). Os diagramas 3-3 e 3-4 renormalizam o termo qurtico e faro parte
da contribuio mais importante, como veremos. Os diagramas 3-6 renormalizam o termo quadrtico em segunda ordem em u.
Eles no contribuem nem para a determinao do ponto xo no trivial nem para os expoentes crticos em ordem (lembre-se
que mostraremos que u

O()), por isso iremos ignor-los.

Diagramas conectados adicionais so gerados pela combinao de interaes do tipo 4 com interaes do tipo 4 ou 6. O
diagrama do tipo 4-4 mostrado na gura 19, enquanto que os dois diagramas do tipo 4-6 so mostrados na gura 20. O primeiro
renormaliza o termo qurtico e importante. Para os outros dois valem as consideraes feitas a respeito dos diagramas do tipo
3-6.
Finalmente, restam os diagramas gerados a partir da combinao das linhas de interao do tipo 5 com outra linha de interao
do mesmo tipo. Quatro diagramas conectados diferentes so gerados (gura 21). Todos eles contribuiriampara a renormalizao
do termo quadrtico em segunda ordem em u. Entretanto, a considerao da conservao de momentos nos mesmos moldes que
aquela feita a respeito dos diagramas da gura 15 leva concluso de que esses diagramas tambm se anulam.
Esses so todos os diagramas em O
_
u
2
_
. Resumindo, os diagramas no-nulos que contribuem para o cumulante de segunda
ordem so: (i) um diagrama do tipo 2-2 para a interao sxtupla, que irrelevante nos pontos xos gaussiano e de Wilson-
Fisher; (ii) um diagrama do tipo 3-3, um diagrama do tipo 3-4 e um diagrama do tipo 4-4 para o termo qurtico e (iii) um
diagrama do tipo 3-6 e um diagrama do tipo 4-6 para o termo quadrtico, mas que no contribuem para o clculo em O().
Passemos agora para o clculo dos diagramas do item (ii) acima.
56
Figura 15: Diagramas conectados de segunda ordem gerados por uma interao do tipo 2 com uma interao do tipo 5 (ver gura 11).
Figura 16: Diagrama conectado de segunda ordem gerado por uma interao do tipo 3 com outra interao do mesmo tipo (ver gura 11).
O diagrama da gura 16 tem um lao e de ordem n. Alm disso, levando em conta que h 2 tipos de interaes do tipo 3
(tomando como linhas tracejadas aquelas que saem de uma ou outra extremidade da linha pontilhada) e que para cada par de
contraes de linhas tracejadas h duas maneiras de faz-las, so geradas 222 = 8 combinaes, e o diagrama tem um fator
multiplicativo de 8n. Seu valor numrico

(2)
33
(k
1
k
3
) =
_
u
4
_
2
_

/b
d
d
p
(2)
d
G
(0)
(p) G
(0)
(p k
1
+k
3
) , (22.41)
Figura 17: Diagrama conectado de segunda ordem gerado por uma interao do tipo 3 com uma interao do tipo 4 (ver gura 11).
57
Figura 18: Diagramas conectados de segunda ordem gerados por uma interao do tipo 3 com uma interao do tipo 6 (ver gura 11).
Figura 19: Diagrama conectado de segunda ordem gerado por uma interao do tipo 4 com outra interao do mesmo tipo (ver gura 11).
Figura 20: Diagramas conectados de segunda ordem gerados por uma interao do tipo 4 com uma interao do tipo 6 (ver gura 11).
58
Figura 21: Diagramas conectados de segunda ordem gerado por uma interao do tipo 5 com outra interao do mesmo tipo (ver gura 11).
onde q = k
1
k
3
o momento transferido na interao, como denido na gura 12. O termo acima nos d uma interao
qurtica no-local por causa da dependncia com os momentos externos k
1
e k
3
. Entretanto, essa dependncia irrelevante
nos pontos xos de interesse, como pode ser mostrado a posteriori. Por isso, vamos ignorar essa dependncia e fazer q = 0

(2)
33

_
u
4
_
2
_

/b
d
d
p
(2)
d
_
G
(0)
(p)
_
2
=
_
u
4
_
2
_

/b
d
d
p
(2)
d
1
_
r +[p[
2
_
2
. (22.42)
Analogamente, o diagrama da gura 17 envolve uma interao do tipo 3 com outra do tipo 4. Esse diagrama no contm nenhum
lao de linhas tracejadas e por isso escala comn
0
. Enquanto existem2 tipos de interaes do tipo 3 fcil ver que existem 4 tipos
de interaes do tipo 4 (correspondendo s 4 escolhas diferentes com uma linha tracejada em cada extremo da linha pontilhada).
Levando em conta que cada contrao de 2 linhas tracejadas de uma interao com 2 linhas tracejadas da outra interao pode
ser feita de 2 maneiras diferentes e que existe uma contribuio em que a linha de interao da direita do tipo 3 e a da esquerda
do tipo 4 e outra em que a da esquerda do tipo 4 e a da direita do tipo 2, o fator multiplicativo ser 2 4 2 2 = 32. O valor
numrico do diagrama o mesmo que o outro, Eq. (22.42), onde fazemos a mesma aproximao de desprezar a dependncia
com os momentos externos. Finalmente, o diagrama da gura 19 escala com n
0
e tem fator multiplicativo 4 4 2 = 32.
Colecionando todas as contribuies (no esquecendo o termo 1/2 da Eq. (22.17))
u
(2)
4
=
1
2
8 (n + 8)
_
u
4
_
2
_

/b
d
d
p
(2)
d
1
_
r +[p[
2
_
2
=
u
2
4
(n + 8)
_

/b
d
d
p
(2)
d
1
_
r +[p[
2
_
2
, (22.43)
u
(2)
= u
2
(n + 8)
_

/b
d
d
p
(2)
d
1
_
r +[p[
2
_
2
. (22.44)
59
Ao nal, at a segunda ordem em teoria de perturbao, teremos uma nova ao renormalizada dada por
L

= L

0
+L

1
, (22.45)
L

0
=
_
/b
0
d
d
k
(2)
d
_
r + r
(1)
+ r
(2)
+k
2

2
[
j
(k)[
2
, (22.46)
L

1
=
_
u + u
(2)

4
_
/b
0
3

m=1
d
d
k
m
(2)
d

i
(k
1
)
i
(k
2
)
j
(k
3
)
j
(k
1
k
2
k
3
) . (22.47)
Agora, re-denimos as distncias ou, equivalentemente, os vetores de onda
k

= bk d
d
k = b
d
d
d
k, (22.48)
de tal forma que o cutoff original recuperado e re-escalamos o spin de forma a preservar a forma do termo do Laplaciano

i
_
b
1
k

_
z

i
(k

) . (22.49)
Como o termo do Laplaciano s modicado em O
_
u
2
_
z
2
b
d2
_
1 +O
_
u
2
_
= 1 z = b
1+d/2+O(u
2
)
. (22.50)
Como u

O() podemos fazer z = b

1+d/2
se quisermos calcular tudo at O(). Usando esse valor de z, obtemos os
parmetros transformados
r

= b
d
z
2
_
r + r
(1)
+ r
(2)
_
= b
2
_
r + (n + 2) I
1
(r, d, b, ) u +O
_
u
2
_
, (22.51)
u

= b
3d
z
4
_
u + u
(2)
_
= b
4d
u
_
1 (n + 8) I
2
(r, d, b, ) u +O
_
u
2
_
, (22.52)
onde
I
1,2
(r, d, b, ) =
_

/b
d
d
p
(2)
d
1
_
r +[p[
2
_
1,2
. (22.53)
Vamos proceder sob a hiptese de que r

O() e u

O() e mostrar que os resultados assim obtidos so consistentes.

Nesse caso, o ponto xo no trivial tal que
r

= b
2
_
r

+ (n + 2) I
1
(r

, 4 , b, ) u

+O
_
u
2
_
, (22.54)
u

= b

_
1 (n + 8) I
2
(r

, 4 , b, ) u

+O
_
u
2
_
, (22.55)
ou
_
1
1
b
2
_
r

= (n + 2) I
1
(r

, 4 , b, ) u

+O
_
u
2
_
, (22.56)
b

= 1 ln b +O
_

2
_
= 1 (n + 8) I
2
(r

, 4 , b, ) u

+O
_
u
2
_
. (22.57)
evidente que precisamos da integral da Eq. (22.53) para r = = 0 (m = 1, 2)
I
m
(0, 4, b, ) =
_

/b
d
4
p
(2)
4
1
[p[
2m
(22.58)
=
_

/b
S
4
(2)
4
dp
p
2m3
=
_

2
16
2
_
1
1
b
2
_
, m = 1
1
8
2
ln b, m = 2
(22.59)
onde usamos que
S
d
=
2
d/2
(d/2)
(22.60)
60
a superfcie da esfera em d dimenses, o que d S
4
= 2
2
. Levando o resultado (22.59) nas Eqs. (22.56-22.57) encontramos
o ponto xo de Wilson-Fisher em ordem
u

=
8
2
n + 8
, (22.61)
r

=
n + 2
2 (n + 8)

2
, (22.62)
que independe de b como esperado e conrma a hiptese de que ambos os valores so O().
Claramente, o ponto xo gaussiano tambm um ponto xo da transformao (22.51-22.52). Calculando a matriz das
derivadas no ponto xo gaussiano
_
r
g
u
g
_
=
_
b
2
(n + 2)

2
16
2
_
b
2
1
_
O
_

2
_
b

__
r
g
u
g
_
, (22.63)
onde r
g
= r e u
g
= u. Os auto-valores so

g
1
= b
2
d
g
1
= 2, (22.64)

g
2
= b

d
g
2
= , (22.65)
ambos positivos. Portanto, ele duplamente instvel no plano (r, u), enquanto que o ponto crtico corresponde a um ponto xo
instvel apenas nas direes r e h (codimenso 2).
O clculo anlogo no ponto xo de Wilson-Fisher nos d
r

,u

= b
2
_
1 (n + 2) I
2
(0, 4, b, ) u

+O
_

2
_
= b
2
_
1
n + 2
n + 8
(ln b) +O
_

2
_
_
b
2
n+2
n+8
+O(
2
)
,(22.66)
r

,u

= (n + 2) b
2
I
1
(0, 4, b, ) = (n + 2)

2
16
2
_
b
2
1
_
+O() , (22.67)
u

,u

= O
_

2
_
, (22.68)
u

,u

= b

_
1 2 (n + 8) I
2
(0, 4, b, ) u

+O
_

2
_
= b

_
1 2 lnb +O
_

2
_
b
+O(
2
)
. (22.69)
O uxo do GR no regime linear em torno do ponto xo de Wilson-Fisher dado por (r
WF
= r r

e u
WF
= u = u

)
_
r
WF
u
WF
_
=
_
b
2
n+2
n+8
+O(
2
)
(n + 2)

2
16
2
_
b
2
1
_
+O()
O
_

2
_
b
+O(
2
)
__
r
WF
u
WF
_
. (22.70)
Os auto-valores so

WF
1
= b
2
n+2
n+8

d
WF
1
= 2
n + 2
n + 8
, (22.71)

WF
2
= b

d
WF
2
= , (22.72)
e o auto-vetor 2 irrelevante! Mostramos assim, at ordem , que o ponto xo de Wilson-Fisher tem codimenso 2, como
desejado. Os auto-vetores direita podem tambm ser obtidos. O auto-vetor correspondente direo relevante
1

_
O
_

2
_
(n + 2)

2
16
2
_
b
2
1
_
+O()
O
_

2
_
1 b
2
+O()
__
x
1
y
1
_
=
_
0
0
_
v
WF
1
=
_
1
O
_

2
_
_
. (22.73)
A direo irrelevante
_
b
2
1 +O() (n + 2)

2
16
2
_
b
2
1
_
+O()
O
_

2
_
O
_

2
_
__
x
2
y
2
_
=
_
0
0
_
v
WF
2
=
_
(n + 2)

2
16
2
1
_
. (22.74)
61
Figura 22: Fluxo global do grupo de renormalizao mostrando os pontos xos gaussianos (azul) e de Wilson-Fisher (vermelho), bem como
as direes relevantes e irrelevantes a partir de cada um deles.
O clculo anlogo no ponto xo gaussiano d para as duas direes relevantes o mesmo resultado que o ponto xo de Wilson-
Fisher
v
g
1
=
_
1
O
_

2
_
_
v
g
2
=
_
(n + 2)

2
16
2
1
_
. (22.75)
Com isso, podemos desenhar o uxo global do GR.
O auto-valor na direo do campo magntico h dado em ordem mais baixa pelo mesmo resultado do ponto xo gaussiano
d
h
= 1 +d/2 = 3 /2. Assim, obtemos
=
1
d
1
=
1
2
_
1 +
n + 2
2 (n + 8)

_
, (22.76)
=
d
h
d
1
=
1
2
_
3 +
n 1
n + 8

_
, (22.77)
= 2 d =
4 n
2 (n + 8)
, (22.78)
= 2 =
1
2

3
2 (n + 8)
, (22.79)
= = 1 +
n + 2
2 (n + 8)
, (22.80)
=

= 3 +, (22.81)
= 2

=
n + 2
2 (n + 8)
2

2
. (22.82)
O expoente O
_

2
_
e sua obteno requer um clculo mais complexo, que no faremos aqui. A expanso em j foi
levada at O
_

3
_
(O
_

4
_
para )
14
. A convergncia no-uniforme e provavelmente a srie apenas assinttica. Os resultados
obtidos, bem como outros obtidos com tcnicas alternativas so mostrados na Tabela III.

Electronic address: emiranda@ifi.unicamp.br

62
Expoente O()[1] O
`

[1] O
`

[1] Pad-Borel GR em d = 3 Expanso de altas temperaturas

(n = 1) 1.167 1.244 1.19 1.2350.004 1.2410.002 1.2450.003
(n = 1) 0.589 0.634 0.606 0.6280.02 0.6300.0015 0.6380.002
(n = 1) 0.019 0.037 0.029 0.03330.0001 0.0310.001 0.0410.01
(n = 3) 1.227 1.346 1.325 1.3750.020
(n = 3) 0.021 0.039 0.032 0.0430.014
Tabela III: Expoentes crticos do modelo de Ising tri-dimensional. As 3 primeiras colunas do o expoente na expanso em em sucessivas
ordens de aproximao ([1] O clculo de sempre uma ordem superior ao indicado)
14
. A quarta coluna (Pad-Borel) d o valor obtido
atravs de tcnicas de ressomao da srie em todas as ordens
15
. A quinta coluna d o clculo em dimenso xa d = 3 em srie perturbativa
em u. A ltima coluna d o valor obtido atravs de expanses de altas temperaturas
14
.
1
B. Widom, J. Chem. Phys. 43, 3892 (1965).
2
B. Widom, J. Chem. Phys. 43, 3898 (1965).
3
A. Z. Patashinskii and V. L. Pokrovskii, Sov. Phys. JETP 19, 667 (1964).
4
L. P. Kadanoff, Physics 2, 263 (1966).
5
D. R. Nelson and M. E. Fisher, Ann. Phys. (NY) 91, 226 (1975).
6
K. G. Wilson, Rev. Mod. Phys. 47, 773 (1975).
7
M. Nauenberg and B. Nienhuis, Phys. Rev. Lett. 33, 944 (1974).
8
M. Nauenberg and B. Nienhuis, Phys. Rev. Lett. 33, 1598 (1974).
9
B. Nienhuis and M. Nauenberg, Phys. Rev. B 11 (1975).
10
T. Niemeijer and J. M. J. van Leeuwen, Phys. Rev. Lett. 31, 1411 (1973).
11
T. Niemeijer and J. M. J. van Leeuwen, Physica 71, 17 (1974).
12
T. Niemeijer and J. M. J. van Leeuwen, in Phase Transitions and Critical Phenomena, edited by C. Domb and M. S. Green (Academic
Press, London, 1976), vol. 6, chap. 7, p. 425.
13
K. G. Wilson and M. E. Fisher, Phys. Rev. Lett. 28, 240 (1972).
14
E. Brzin, J. C. Le Guillou, and J. Zinn-Justin, in Phase Transitions and Critical Phenomena, edited by C. Domb and M. S. Green (Academic
Press, London, 1976), vol. 6, chap. 3, p. 125.
15
G. Parisi, J. Stat. Phys. 23, 49 (1980).