Notasdeaula

Mecnica Estatstica
Daniel A. Stariolo
Departamento de Fsica
Universidade Federal do Rio Grande do Sul
2013
i
Sumrio
1 Fundamentos da Mecnica Estatstica 1
1.1 A hiptese ergdica . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Sistemas qunticos . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 Teoria de ensembles estatsticos 9
2.1 O ensemble microcannico . . . . . . . . . . . . . . . . . . . . . 9
2.1.1 Gs ideal monoatmico clssico . . . . . . . . . . . . . . 11
2.1.2 A formulao de Gibbs . . . . . . . . . . . . . . . . . . . 13
2.2 O ensemble cannico . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2.1 Flutuaes da energia . . . . . . . . . . . . . . . . . . . . 17
2.2.2 Gs ideal no ensemble cannico . . . . . . . . . . . . . . 18
2.2.3 A densidade de estados e a funo de partio . . . . . . . 19
2.3 O ensemble Grande Cannico . . . . . . . . . . . . . . . . . . . 20
3 Estatsticas qunticas 23
3.1 Sistemas de partculas indistinguveis . . . . . . . . . . . . . . . 23
3.2 Gases ideais qunticos . . . . . . . . . . . . . . . . . . . . . . . 28
3.2.1 O gs de Maxwell-Boltzmann e o limite clssico . . . . . 28
3.2.2 Estatstica de Bose-Einstein . . . . . . . . . . . . . . . . 31
3.2.3 Estatstica de Fermi-Dirac . . . . . . . . . . . . . . . . . 32
4 Gs ideal de Bose-Einstein 33
4.1 A condensao de Bose-Einstein . . . . . . . . . . . . . . . . . . 33
5 Gs ideal de Fermi-Dirac 45
5.1 Gs de Fermi completamente degenerado
(T = 0) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.2 Gs de Fermi degenerado (T T
F
) . . . . . . . . . . . . . . . . 48
ii
Daniel A. Stariolo - IF-UFRGS - 2013 iii
6 Interaes, simetrias e ordem em matria condensada 49
6.1 Lquidos e gases . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6.2 Redes cristalinas . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6.3 Sistemas magnticos . . . . . . . . . . . . . . . . . . . . . . . . 55
6.4 Ordem posicional e orientacional em cristais lquidos, microemul-
ses e copolmeros de dibloco . . . . . . . . . . . . . . . . . . . 58
6.5 Simetrias e parmetros de ordem . . . . . . . . . . . . . . . . . . 67
7 Transies de fase e fenmenos crticos 70
7.1 O modelo de Ising em d = 1: soluo exata . . . . . . . . . . . . 70
7.2 Teoria de campo mdio do modelo de Ising . . . . . . . . . . . . 75
7.2.1 Aproximao de Bragg-Williams . . . . . . . . . . . . . 75
7.3 A teoria de Landau de transies de fase . . . . . . . . . . . . . . 80
7.3.1 Transies de fase continuas . . . . . . . . . . . . . . . . 80
7.3.2 Transies de primeira ordem na teoria de Landau . . . . 84
7.4 Flutuaes do parmetro de ordem . . . . . . . . . . . . . . . . . 86
7.5 Funes de correlao . . . . . . . . . . . . . . . . . . . . . . . . 88
7.5.1 Correlaes na teoria de Landau . . . . . . . . . . . . . . 92
7.6 Sistemas com simetria O(n) . . . . . . . . . . . . . . . . . . . . 95
7.7 Cristais lquidos: a transio isotrpico-nemtica em d = 3 . . . . 98
7.8 Validade da teoria de campo mdio: o critrio de Ginzburg . . . . 103
8 O Grupo de Renormalizao 109
8.1 A hiptese de escala . . . . . . . . . . . . . . . . . . . . . . . . . 109
8.1.1 A hiptese de escala e as correlaes . . . . . . . . . . . 113
8.2 O Grupo de Renormalizao no espao real . . . . . . . . . . . . 115
8.2.1 A invarincia de escala . . . . . . . . . . . . . . . . . . . 118
8.2.2 O modelo de Ising em d = 1 . . . . . . . . . . . . . . . . 120
8.2.3 O modelo de Ising na rede quadrada (d = 2) . . . . . . . . 124
8.3 A formulao geral do Grupo de Renormalizao . . . . . . . . . 127
8.4 Renormalizao do modelo de Ising na rede quadrada . . . . . . . 132
Referncias Bibliogrcas 136
Captulo 1
Fundamentos da Mecnica
Estatstica
A Termodinmica uma teoria macroscpica, com um formalismo elegante, de
grande generalidade, construido sobre poucas hipteses fundamentais. O conceito
central da termodinmica a entropia, a qual denida de forma um tanto abs-
trata, atravs de um princpio variacional que determina o estado de equilbrio
termodinmico do sistema. Este formalismo macroscpico descreve os efeitos
macroscpicos de sistemas formados por um grande nmero de entes microsc-
picos, sejam partculas, clulas, spins, etc. que obedecem as leis fundamentais
da Mecnica Clssica (leis de Newton) ou Quntica (equao de Schroedinger),
segundo o caso. Uma descrio microscpica destes sistemas deve ento, ne-
cessariamente, partir das leis da Mecnica. A Mecnica Estatstica estabelece a
conexo entre os dois nveis de descrio: o macroscpico (Termodinmica) e o
microscpico (Mecnica).
Ao tentar descrever as propriedades de um sistema formado por um grande n-
mero de partculas se torna necessrio recorrer a uma descrio probabilstica
do estado de um sistema. Um estado microscpico, ou microestado de um sis-
tema de N partculas corresponde ao conjunto dos graus de liberdade do mesmo,
por exemplo as 3N coordenadas e os 3N momentos generalizados em um sistema
clssico, ou ao conjunto de nmeros qunticos que caracterizam a funo de onda
de um sistema quntico. O conjunto de microestados compatveis com os valores
das variveis macroscpicas do sistema , como a energia interna U, o volume V e
o nmero de partculas N, constitui um macroestado ou estado macroscpico.
Descrever o estado microscpico exato de um conjunto de N partculas para
todo tempo uma tarefa formidvel. No entanto, o estado de equilbrio termo-
1
Daniel A. Stariolo - IF-UFRGS - 2013 2
dinmico determinado em funo de umas poucas variveis. O programa da
Mecnica Estatstica associar um peso ou probabilidade de ocorrncia aos di-
ferentes microestados e predizer o resultado mdio de um conjunto grande de
medidas de um observvel dado. A prpria teoria fornece, por sua vez, uma pre-
dio das utuaes que podem ocorrer nestas medidas.
1.1 A hiptese ergdica
Consideremos um sistema clssico de N partculas, isolado em um volume V ,
cuja dinmica obedece as equaes de Hamilton. Um microestado deste sistema
ca denido pelos valores instantneos das 3N coordenadas generalizadas q
i
e os
3N momentos generalizados p
i
:
dq
i
dt
=
H(p, q)
p
i
dp
i
dt
=
H(p, q)
q
i
(1.1)
onde H(p, q) o Hamiltoniano do sistema e (p, q) representa um vetor do espao
de fase com 6N componentes. Como o sistema isolado, H no depende expli-
citamente do tempo, o sistema conservativo e H uma constante do movimento
que corresponde a energia mecnica:
H(p, q) = E. (1.2)
A identidade anterior dene uma superfcie de energia no espao de fase. A evo-
luo do sistema conservativo descrita por uma trajetria ou curva no espao
de fase sobre a superfcie de energia. Como na Mecnica Clssica cada condio
inicial (p
0
, q
0
) determina de forma unvoca e evoluo do sistema, trajetrias no
espao de fase nunca se cruzam.
Para uma dada energia do sistema E (constante) existe um conjunto innito
de microestados. Denimos a funo (p, q, t) como sendo a densidade de pro-
babilidade de encontrar o sistema em um elemento de volume dp dq no espao
de fase ao tempo t. O conjunto de pontos (p, q) cuja probabilidade ao tempo t
(p, q, t)dp dq formam um ensemble estatstico. Cada ponto representa uma
cpia exata do sistema em um microestado diferente. O conceito de ensemble es-
tatstico foi introduzido por J. W. Gibbs. A densidade de probabilidade deve estar
normalizada para todo tempo:
_
(p, q, t) dp dq = 1 (1.3)
onde a integrao se extende a todo o espao de fase .
Para obter as equaes que regem a dinmica do sistema de N partculas co-
meamos considerando que o nmero de partculas se deve conservar. Conside-
remos a probabilidade de encontrar o sistema dentro de um volume V
0
, limitado
por uma superfcie S. A medida que o tempo passa algumas trajetrias saem de
V
0
e a probabilidade correspondente P(V
0
) muda. Como a probabilidade total
conservada, eq. (1.3), e as trajetrias no se cruzam, a variao da probabilidade
deve corresponder ao uxo da mesma atravs da area S, como acontece com um
uido:
dP(V
0
)
dt
=

t
_
V
0
(p, q, t) dp dq =
_
S
n

J dS (1.4)
onde

J = v uma corrente de probabilidade e n um vetor unitrio normal
superfcie S. Usando o Teorema de Gauss:
_
V
0
t
(p, q, t) dp dq =
_
V
0
(

J) dp dq (1.5)
Como V
0
arbitrrio
d
dt
+

(v) = 0 (1.6)
Mas
v =
q
q
+
p
p
=
3N
i=1
q
i
_
H
p
i
_
+

p
i
_
H
q
i
_
= 0 (1.7)
Ento:
t
+v

= 0. (1.8)
A equao anterior se conhece como o Teorema de Liouville. Diz que a de-
rivada total, ou derivada convectiva de nula para qualquer ponto e qualquer
instante. Podemos interpretar ento a evoluo dos pontos do ensemble estatstico
no espao de fase como sendo anlogos a um uido incompressvel. Notando que
v

= q
q
+ p
p
=
H
p
q

H
q
p
= , H , (1.9)
onde , H o parntese de Poisson entre e H, podemos reescrever o Teorema
de Liouville da seguinte forma:
t
= , H . (1.10)
Em equilbrio, na depende explicitamente do tempo e ento , H = 0. Esta
condio se pode satisfazer, por exemplo, se for uma funo explcita de H,
ou seja, se (p, q) [H(p, q)]. O caso mais simples corresponde a = cte.
Agora estamos em condies de enunciar o Postulado Fundamental da Mec-
nica Estatstica. Para formular o mesmo de forma transparente conceitualmente,
vamos relaxar a condio que a energia seja estritamente constante, permitindo
ento que utue entre dois valores prximos E e E + , com E. Isto pode
ser justicado pelo fato de, na realidade, no existiremsistemas perfeitamente iso-
lados. A posteriori vamos ver que esta condio no afeta os resultados, que sero
independentes de .
Postulado de igual probabilidade a priori: Em um sistema isolado, em
equilbrio com energia entre E e E + , todos os microestados acessveis so
igualmente provveis
Formalmente:
(p, q) =
_
1
(E)
se E H(p, q) E +
0 caso contrrio
(1.11)
onde
(E) =
_
EH(p,q)E+
dp dq (1.12)
o volume do espao de fase ocupado pelo sistema. O ensemble assim denido
se chama ensemble microcannico.
A hiptese ergdica
A mdia temporal de uma funo f(p, q) ao longo de uma trajetria de-
nida como
f
T
= lim
T
1
T
_
t
0
+T
t
0
f(p(t), q(t)) dt (1.13)
A mdia de ensemble do mesmo observvel denida como
f
e
=
_
f(p, q) (p, q) dp dq (1.14)
=
1
(E)
_
EH(p,q)E+
f(p, q) dp dq (1.15)
Um sistema considerado ergdico se f = f
e
= f
T
A hiptese ergdica, introduzida por L. Boltzmann, consiste em assumir que
sistemas comN 1 so ergdicos. Este um postulado que em geral s pode ser
vericado a posteriori, pelas consequncias sobre o comportamento do sistema.
A hiptese ergdica, de certa forma, justica o postulado e igual probabilidade
a priori, pois implica que, se um sistema ergdico, a frao de tempo que ele
passa em uma regio restrita do espao de fase acessvel proporcional ao volume
dessa regio, e no as posies particulares na superfcie de energia ocupadas pelo
sistem em um determinado tempo. Isto se pode ver da seguinte forma: seja R uma
regio com 1 . Denimos:
R
(p, q) =
_
1 se (p, q) 1
0 caso contrrio
(1.16)
O tempo que o sistema passa em R durante o intervalo T dado por
R
=
_
t
0
+T
t
0
(p(t), q(t)) dt. Se o sistema ergdico
lim
T
R
T

T
=
1
(E)
_
EH(p,q)E+
(p, q) dp dq =
(R)
(E)
(1.17)
1.2 Sistemas qunticos
Em Mecnica Quntica os estados microscpicos de um sistema so denidos
pela funo de onde (q), soluo da equao de Schrdinger para N partcu-
las. Como esta tem uma interpretao probabilstica, intrnseca ao formalismo
quntico, devemos redenir o conceito de ensemble para sistemas qunticos.
A funo de onda (q) pode ser desenvolvida em termos dos elementos de
uma base ortonormal de autofunes de algum operador:
(q) =
n
c
n
n
(q) (1.18)
onde [c
n
[
2
a probabilidade de encontrar o sistema no autoestado
n
.
O valor esperado (quntico) de um observvel

O dado por
[
O[ =
_

(q)

O(q) dq
=
m,n
O
mn
c
n
c
m
(1.19)
onde O
mn
=
m
[
O[
n
so os elementos de matriz do operador

O na base consi-
derada. Em um sistema formado por muitos corpos existiro muitos microestados
i
(q) compatveis com os vnculos macroscpicos, e estes sero a base para de-
nir um ensemble. Explicitamente:
i
(q) =
n
c
i
n
n
(q) (1.20)
e
i
[
O[
i
=
m,n
O
mn
c
i
n
c
i
m
(1.21)
representa o valor esperado quntico do operador

O no microestado
i
(q). Se
agora cada microestado possui uma probabilidade de ocorrncia p
i
, a mdia de
ensemble do observvel

O dada por:
O =
i
p
i
i
[
O[
i
i
p
i
m,n
O
mn
c
i
n
c
i
m
(1.22)
Podemos denir uma matriz de elementos
nm
:
nm
=
i
p
i
c
i
n
c
i
m
(1.23)
tal que
O =
m,n
nm
O
mn
(1.24)
O operador cujos elementos de matriz na base ortonormal de autoestados
n
so
os
nm
conhecido como operador densidade:
nm
=
_

n
(q)
m
(q) dq
n
[ [
m
(1.25)
Com esta denio, a mdia no ensemble de um operador

O pode ser escrita como
O =
n
_

O
_
nn
= Tr
O = Tr

O (1.26)
Notemos que
Tr =
nn
=
i
p
i
n
[c
n
[
2
=
i
p
i
= 1, (1.27)
o que permite interpretar o elemento
nn
como a probabilidade de encontrar o
sistema no autoestado
n
.
O operador densidade se pode expressar tambm em forma matricial:
=
i
p
i
i
(1.28)
onde
i
=
_
_
_
_
_
c
1
.
.
.
c
l
.
.
.
_
_
_
_
_
e
i
= (c
i
, . . . c
l
, . . .) (1.29)
Os microestados satisfazem a equao de Schroedinger i h
i
/t =

H
i
. Trans-
pondo e tomando o complexo conjugado obtemos:
i h
i
t
=
i

H
=
i

H (1.30)
onde usamos o fato que

H hermitiano. Com este resultado e a denio (1.28)
pode-se mostrar que satisfaz
i h

t
=
_
,

H
_
(1.31)
onde o lado direito representa o comutador de e

H. Este resultado corresponde
ao Teorema de Liouville para sistems qunticos descritos por uma matriz densi-
dade .
Se
n
um estado de um base ortonormal do Hamiltoniano

H, ento

H
n
=
E
n
n
. Para um sistema isolado com energia entre E e E + E, sejam
l
, l =
1, . . . , M(E) o conjunto de autoestados de energia E. Ento, o postulado de igual
probabilidade a priori, para o caso de um sistema quntico, corresponde a
ll
=
_
1
M(E)
para l = 1, 2, . . . , M(E)
0 para o resto
(1.32)
Captulo 2
Teoria de ensembles estatsticos
2.1 O ensemble microcannico
O postulado de igual probabilidade a priori permite determinar a probabilidade
de encontrar o sistema em um microestado compatvel com os vnculos macros-
cpicos, e a partir da probabilidade podemos determinar valores mdios de ob-
servveis como energia, magnetizao, etc. Para obter uma conexo com a ter-
modinmica temos que estabelecer uma denio microscpica para a entropia.
Como a probabilidade uma funo do nmero de microestados, e ela uma
quantidade fundamental, razoavel pensar que a entropia tambm ser funo
do nmero de microestados. Em um distema quntico, com nvesi de energia E
discretos, a denio do nmero de micrestados W(E) de energia E imediato.
No caso clssico necessrio denir um volume unitrio no espao de fase, que
um espao continuo, tal que permita contar o nmero de microestados, e que seja
compatvel com a Mecnica Quntica em algum limite apropriado. Denimos en-
to W(E) = (E)/h
3N
como sendo o nmero de clulas unitrias no espao de
fase correspondentes a um volume (E) nesse espao. h a constante de Planck,
de forma que, consisitente com o Princpio de Incerteza p q h, e razovel
considerar o volume mnimo acessvel como sendo da ordem de h.
Para denirmos uma entropia que seja compatvel com o formalismo termodi-
nmico, esta deve ser
Aditiva, e
Satisfazer o princpio variacional do segundo postulado da Termodinmica.
Consideremos dois sistemas com W
1
e W
2
microestados respectivamente. O
9
nmero total de microestados do sistema composto ser W = W
1
W
2
. Mas
a condio de aditividade da entropia implica S(W) = S(W
1
) + S(W
2
), e por
tanto deve ser proporcional ao logaritmo de W. Denimos ento a entropia de
Boltzmann como:
S(E) = k
B
ln W(E) (2.1)
Consideremos agora os subsistemas (1) e (2) separados por uma parede adiabtica,
xa e impermevel, como mostra a gura (a incluir!), de forma que H(p, q) =
H
1
(p
1
, q
1
) + H
2
(p
2
, q
2
). A entropia de cada subsistema dada por:
S
1
(E
1
, V
1
, N
1
) = k
B
ln
_
1
(E
1
)/h
3N
_
S
2
(E
2
, V
2
, N
2
) = k
B
ln
_
2
(E
2
)/h
3N
_
(2.2)
O volume total do espao de fase (E) =
1
(E
1
)
2
(E
2
), onde E = E
1
+E
2
.
A entropia do sistema completo ento
S(E, V, N) = k
B
ln
_
(E)/h
3N
_
(2.3)
= k
B
ln
_
1
(E
1
)/h
3N
_
+ k
B
ln
_
2
(E
2
)/h
3N
_
= S
1
(E
1
, V
1
, N
1
) + S
2
(E
2
, V
2
, N
2
)
Resta vericar se a denio de Boltzmann satisfaz a segunda condio. Para isto
suponhamos que removemos a parede adiabtica e permitimos que os subsistemas
troquem energia (parede diatrmica). Desta forma a energia de cada subsistema
poder variar entre 0 e E, tal que E
1
+ E
2
= E em todo momento. O nmero de
microestados do sistema total, de energia E, pode ser escrito como
W(E, E
1
) =
(E, E
1
)
h
3N
=
1
h
3N

1
(E
1
)
2
(E E
1
) (2.4)
O nmero total de microestados compatvel com a energia E ser dado pela soma
de W(E, E
1
) para todos os valores de E
1
entre 0 eE. Se dividirmos o espectro de
energias em intervalos de largura , ento
(E) =
E/
i=1
1
(E
i
)
2
(E E
i
) (2.5)
Como (E) uma funo monotona crescente de E, quando
1
(E
i
) cresce,
2
(E E
i
) decresce, e viceversa. Se conclui que (E) deve passar por um m-
ximo em algum valor 0 E
i
E. Sejam E
1
e E
2
= E E
1
os valores das
energias para as quais
1
(E
1
)
2
(E
2
) mxima. Ento se deve satisfazer:
1
(E
1
)
2
(E
2
) (E)
E
1
(E
1
)
2
(E
2
) (2.6)
ou
ln
_
1
(E
1
)
2
(E
2
)
ln (E) ln
_
E
_
+ ln
_
1
(E
1
)
2
(E
2
)
(2.7)
Em geral o nmero de microestados cresce exponencialmente com o nmero de
partculas, de forma que ln
i
N
i
, ou seja, a entropia extensiva, entanto que
a energia cresce proporcionalmente a N: E N = N
1
+ N
2
. Desta forma, no
limite N
1
, N
2
o termo em ln
_
E
_
se torna desprezvel frente a ln e
S(E, V, N) = S
1
(E
1
, V
1
, N
1
) + S
2
(E
2
, V
2
, N
2
) + O(lnN) (2.8)
A entropia de Boltzmann aditiva e extensiva, e os subsistemas tomam valores de
energias E
1
e E
2
que maximizam o nmero total de estados acessveis. No limite
termodinmico este resultado corresponde ao segundo postulado da Termodin-
mica.
Ainda considerando que a probabilidade dos subsistemas se encontrarem com
energias E
1
e E
2
ser proporcional ao nmero de microestados compatveis, temos
que
lnP(E
1
) = cte + ln (E
1
) + ln (E E
1
) (2.9)
Maximizando em relao a E
1
obtemos
ln P(E
1
)
E
1
=
ln (E
1
)
E
1
ln (E E
1
)
E
2
= 0 (2.10)
Agora usando a denio de entropia de Boltzmann obtemos
S
1
E
1
E
1
=E
1
=
S
2
E
2
E
2
=E
2
ou
1
T
1
=
1
T
2
(2.11)
que corresponde condio de equilbrio trmico. Vemos ento que a condio
de equilbrio trmico equivalente condio de mximo da entropia.
2.1.1 Gs ideal monoatmico clssico
O Hamiltoniano de um gs clssico de partculas no interagentes
1 =
N
i=1
p
2
i
2m
(2.12)
Para obter o nmero de microestados com energia entre E e E + mais conve-
niente calcular
(E) =
_
H(p,q)E
dp dq (2.13)
Ento (E) = (E+) (E). possvel mostrar que quando N , (E)
e (E) diferem em termos O(lnN). Por tanto, se estamos interessados no limite
termodinmico, podemos escrever
S(E) = k
B
ln
_
(E)
h
3N
_
(2.14)
onde
(E) =
_
HE
dp dq = V
N
3N
(R) (2.15)
e onde
3N
(R) o volume de uma hiperesfera de dimenso 3N e raio R =
2mE:
3N
(R) = C
3N
E
3N
2
(2.16)
Assim,
S(E) = k
B
ln
V
N
C
3N
E
3N
2
h
3N
(2.17)
possvel calcular C
3N
. Aproximando a expresso resultante para N 1 se
obtm:
S(E) =
3
2
Nk
B
+ Nk
B
ln
_
V
_
4m
3h
2
E
N
_
3/2
_
(2.18)
Invertendo esta expresso obtemos a energia interna como funo de S, N e V , e
a partir dali podemos obter as equaes de estado do gs ideal e demais grandezas
termodinmicas. No entanto, podemos notar que se multiplicarmos E, V e N por
um fator arbitrrio obtemos que S(E, V, N) ,= S(E, V, N). Ou seja, a
forma obtida da entropia no extensiva ! J. W. Gibbs resolveu este problema,
postulando que o nmero de microestados no calculo anterior foi superestimado
e propondo um fator de correo (E) (E)/N! que leva em conta a indis-
tinguibilidade das partculas do gs ideal. O problema da contagem de partculas
em um gs ideal clssico conhecido como Paradoxo de Gibbs. Incluindo o fator
N! na contagem do nmero de microestados se chega a seguinte expresso para a
entropia:
S(E) =
3
2
Nk
B
_
5
3
+ ln
4m
3h
2
_
+ Nk
B
ln
_
V
N
_
E
N
_
3/2
_
(2.19)
Esta expresso extensiva e se conhece como Frmula de Sackur e Tetrode. A
introduao ad hoc do fator de contagem de Gibbs aparece de forma natural em
sistemas qunticos de partculas indistiguveis e ser visto quando tratemos o pro-
blema dos gases ideais qunticos.
2.1.2 A formulao de Gibbs
J. W. Gibbs props uma expresso para a entropia alternativa de Boltzmann e
que permite formular a teoria a partir de um principio variacional. Se (p, q) a
densidade de probabilidade de equilbrio, a entropia de Gibbs dada por:
S = k
B
ln(h
3N
) (2.20)
onde a mdia deve ser calculada em relao a prpria distribuio , ou seja
S = k
B
_
(p, q) ln
_
h
3N
(p, q)
dp dq (2.21)
Agora vamos postular que a densidade de equilbrio aquela que maximiza a
entropia de Gibbs, sujeita aos vnculos macroscpicos. Para um sistema no en-
semble microcannico, onde E,V e N so xos, vamos exigir a normalizao:
_
(p, q) dp dq = 1 (2.22)
Vnculos podem ser considerados no princpio variacional via multiplicadores de
Lagrange. Vamos exigir que
_
S[]
0
_
dp dq
_
= 0 (2.23)
onde indica uma variao funcional. Desenvolvendo a variao obtemos:
S[ + ] S[]
0
_
[ + ] dp dq = 0 (2.24)
k
B
_
_
( + ) ln [h
3N
( + )] ln (h
3N
)
_
dp dq
0
_
dp dq = 0
Expandindo at primeira ordem em
_
_
k
B
k
B
ln [h
3N
]
0
_
dp dq = 0 (2.25)
Como arbitrrio, se obtm
(p, q) =
1
h
3N
e
0
/k
B
1
= cte. (2.26)
A condio de normalizao da probabilidade xa o multiplicador de Lagrange
0
, resultando:
(p, q) =
1
(E)
para E H(p, q) E + (2.27)
Notamos que, neste caso de um sistema isolado, a distribuio equiprovvel a
que maximiza a entropia de Gibbs ( a segunda variao permite mostrar que o
extremo obtido , de fato, um mximo). Substituindo na denio:
S(E) = k
B
ln(h
3N
) =
k
B
(E)
_
ln
_
h
3N
/(E)
dp, dq (2.28)
ou
S(E) = k
B
ln
_
(E)
h
3N
_
(2.29)
que coincide com a expresso da entropia de Boltzmann.
2.2 O ensemble cannico
Em geral os sistemas no so isolados. Suponhamos um sistema que possa trocar
calor com um reservatrio trmico a temperatura T. O sistema composto consi-
derado isolado, com energia E
0
= E
S
+E
R
xa. Vamos supor ainda que o sistema
e o reservatrio esto separados por uma parede diatrmica, rgida e imperme-
vel. No equilbrio, a probabilidade de encontrar o sistema em um microestado
particular j ser dado por
P
j
= c W
R
(E
0
E
j
) (2.30)
com c uma constante e W(E) o nmero de estados microscpicos do reservatrio
com energia E. Como E
j
E
0
:
ln P
j
= ln c + ln W
R
(E
0
) +
lnW
R
(E)
E
E=E
0
(E
j
) +
1
2
2
ln W
R
(E)
E
2
E=E
0
(E
j
)
2
+ . . . (2.31)
Usando a denio de entropia e as condies de equilbrio obtemos
ln W
R
(E)
E
=
1
k
B
T
(2.32)
e
2
ln W
R
(E)
E
2
=

E
_
1
k
B
T
_
0 (2.33)
j que T = cte emequilbrio. Portanto a probabilidade proporcional a exp(E
j
).
A constante de proporcionalidade pode ser xada exigindo a normalizao das
probabilidades,
j
P
j
= 1, dando como resultado:
P
j
=
e
E
j
i
e
E
i
=
1
k
B
T
(2.34)
O ensemble cannico e constitudo pelo conjunto de microestados de um sistema
em contato com um reservatrio trmico a temperatura T cujas probabilidades so
dadas por (2.34).
Consideremos agora um sistema quntico em contato com um reservatrio
trmico. Vamos obter novamente a probabilidade dos microestados do sistema
partindo do princpio variacional de Gibbs. Em equilbrio a energia mdia xa:
U = E = Tr(

H) =
nn
E
n
(2.35)
onde o operador densidade e os n
s so nmeros qunticos correspondentes a

uma base de autoestados do operador Hamiltoniano de N partculas. A entropia
de Gibbs dada por
S = k
B
ln = k
B
nn
ln
nn
(2.36)
A densidade de probabilidade de equilbrio deve ser aquela que maximize a en-
tropia de Gibbs. Considerando que as probabilidades devem estar normalizadas,
Tr =
nn
= 1, devemos introduzir dois multiplicadores de Lagrange e cal-
cular a variao da expresso resultante:
_
Tr
_
0
+
1

H k
B
ln
__
=
n
(
0
nn
+
1
nn
E
n
k
B
nn
ln
nn
) =
n
[(
0
k
B
) +
1
E
n
k
B
ln
nn
]
nn
= 0, (2.37)
onde a ltima linha corresponde variao de primeira ordem. Como esta arbi-
trria se obtm
nn
= exp
__
0
k
B
1
_
+

1
k
B
E
n
_
(2.38)
Da condio de normalizao obtemos
exp
_
1

0
k
B
_
=
n
exp
_
1
k
B
E
n
_
= Z
N
(
1
) (2.39)
Denimos a funo de partio do sistema:
Z
N
(
1
) =
n
exp
_
1
k
B
E
n
_
= Tr exp
_
1
k
B
H
_
(2.40)
Multiplicando o coeciente do trmino de primeira ordem na variao, que deve
ser nulo, por
nn
que maximiza a entropia de Gibbs, e somando em n obtemos:
(
0
k
B
) +
1
U + S = 0 (2.41)
ou
k
B
ln Z
N
(
1
) +
1
U + S = 0 (2.42)
Identicando
1
= 1/T e lembrando que F U + TS = 0, obtemos
F(T, V, N) = k
B
T ln Z
N
(T, V ) (2.43)
onde as variveis naturais da energia livre de Helmholtz F foram explicitadas.
Esta relao conecta a funo de partio com a termodinmica do sistema. Como
F(T, V, N) uma relao fundamental, a funo de partio cannica tambm
contm toda a informao sobre o sistema. Ento podemos escrever a matriz
densidade de equilbrio na forma
=
e

H
Tr e

H
(2.44)
J para um sistema clssico a densidade de probabilidade dada por
(p, q) =
e
H(p,q)
Z
N
(T, V )
(2.45)
onde
Z
N
(T, V ) =
_
dp dq
h
3N
exp H(p, q) (2.46)
2.2.1 Flutuaes da energia
A energia mdia do sistema no ensemble cannico dada por
U H =
j
E
j
e
E
j
Z
N
(T)
=
ln Z
(2.47)
Como cada microestado tem associada uma probabilidade de ocorrncia P
j
, ento
devem existir utuaes em torno do valor mdio. O desvio quadrtico mdio da
energia dado por
(H H)
2
= H
2
H
2
(2.48)
=
1
Z
j
E
2
j
e
E
J
1
Z
2
_
j
E
j
e
E
j
_
2
=

_
ln Z
_
=
U
= k
B
T
2
U
T
= k
B
T
2
N c
V
> 0
Vemos assim que as utuaes da energia no ensemble cannico so proporcio-
nais ao calor especico a volume constante , o que tambm aponta para a posi-
tividade de c
V
. Esta relao muito til para determinar o calor especco em
simulaes de Monte Carlo, ou Dinmica Molecular, pois os valores mdios de
momentos da energia podem ser obtidos facilmente ao longo da trajetria do sis-
tema durante a simulao. O desvio relativo ser:
_
H
2
H
2
H
=
Nk
B
T
2
c
V
Nu

1
N
, (2.49)
onde u = H/N a densidade de energia. Notamos que o desvio relativo ao
valor mdio tende para zero quando N , ou seja, no limite termodinmico.
Nesta situao a distribuio de energias est fortemente concentrada em torno do
valor mdio, e as probabilidades de o sistema se encontrar em microestados dife-
rentes do valore mdio muito pequena. Desta forma, os resultados do ensemble
cannico coincidem com os do ensemble microcannico. As utuaes sero im-
portantes em situaes especiais, como por exemplo perto de transies de fase
de segunda ordem, quando c
V
pode tomar valores muito grandes e at divergir.
2.2.2 Gs ideal no ensemble cannico
O ponto de partida para obter a termodinmica de um sistema no ensemble can-
nico o clculo da funo de partio. No caso do gs ideal clssico:
Z
N
(T) =
_
dp dq
h
3N
exp
_
3N
i=1
p
2
i
2m
_
(2.50)
=
_
V
N
h
3N
_
3N
i=1
_
dp
i
exp
_
p
2
i
2m
_
=
_
V
h
3N
___
dp
ix
dp
iy
dp
iz
e

2m
(p
2
ix
+p
2
iy
+p
2
iz
)
_
N
= [Z
1
(T)]
N
onde
Z
1
(T) =
V
3
T
(2.51)
e a funo de partio de uma partcula e
T
=
h
2mk
B
T
(2.52)
o comprimento de onda trmico das partculas. Assim,
F(T, V, N) = k
B
TN ln Z
1
= k
B
TN ln
_
V
h
3
(2mk
B
T)
3/2
_
(2.53)
A energia livre obtida no extensiva: F(T, V, N) ,= F(T, V, N). Encon-
tramos novamente o paradoxo de Gibbs. A soluo, no contexto do ensemble
cannico, consiste em introduzir o fator de contagem de Gibbs na forma:
Z
N
(T, V )
Z
N
(T, V )
N!
(2.54)
No limite de N grande, podemos aplicar a aproximao de Stirling ao fatorial,
N! N ln N N, e obtemos
F(T, V, N) = k
B
TN ln
_
V
Nh
3
(2mk
B
T)
3/2
_
k
B
TN (2.55)
Por medio das relaes termodinmicas podemos obter outras quantidades ou ob-
servveis de interesse.
2.2.3 A densidade de estados e a funo de partio
Consideremos a integral no espao de fase de uma funo arbitrria f que depende
de (p, q) atravs do Hamiltoniano
I =
_
dp dq
h
3N
f[H(p, q)] (2.56)
Podemos escrever a mesma integral na forma
I =
_

0
f(E)g(E)dE (2.57)
onde
g(E) =
_
H(p,q)=E
dp dq
h
3N
(2.58)
conhecida como densidade de estados. g(E)dE o nmero de estados com
energias entre E e E + dE. Em particular, se f(H) = (E H), onde (x) a
funo degrau, obtemos
I =
(E)
h
3N
=
_
E
0
g(E
)dE
(2.59)
Ento
g(E) =
1
h
3N
(E)
E
=
w(E)
h
3N
= e
Sm(E)/k
B
(2.60)
onde S
m
a entropia microcannica correspondente energia E. Por tanto, po-
demos escrever a funo de partio na forma
Z
N
(T) =
_

0
e
E
g(E)dE (2.61)
No caso quntico, podemos escrever
Z
N
(T) =
n
e
En
(2.62)
onde n representa um conjunto completo de nmero qunticos, ou seja, a soma
varre todos os possveis autoestados do Hamiltoniano, sendo E
n
os corresponden-
tes autovalores. Em um sistema nito, o espectro de autovalores discreto e ento
se pode escrever
Z
N
(T) =
E
g
(E)e
E
(2.63)
onde agora a soma varre todos os autovalores diferentes do Hamiltoniano, e g
(E)
a degenerescncia do autovalor E. Muitas vezes, no limite termodinmico, o
espectro se torna denso, e a soma anterior tende a uma integral, como no caso
clssico. Nesse situao possvel usar essa expresso clssica mesmo se o sis-
tema for quntico.
2.3 O ensemble Grande Cannico
Consideremos agora um sistema que pode trocar calor e partculas com o meio
no qual se encontra. Neste caso, o nmero de partculas N no ser mais cons-
tante, podendo utuar. No equilbrio, o valor mdio N pode ser considerado
xo. No caso de um sistema quntico, se pode denir um operador nmero de
partculas

N, cujos autovalores n, correspondem aos possveis resultados de uma
medida particular. Os estados acessveis do sistema correspondem aos autoesta-
dos da energia para uma partcula, duas partculas, etc. O espao de Hilbert
formado pela soma direta dos subespaos de uma, duas, trs, etc. partculas. Va-
mos assumir que o operador

H no mescla estados de subespaos com diferente
nmero de partculas, ou seja, que

H comuta com

N. Desta forma, a matriz que
representa

H ter uma estrutura diagonal em blocos

H
0
,

H
1
, etc. na qual

H
N
o
operador Hamiltoniano de N partculas. Os autoestados do Hamiltoniano de um
sistema de N partculas sero indexados com um nmero quntico adicional, por
exemplo:
H[N, E
n
l
= E
n
l
[N, E
n
l

N[N, E
n
l
= n[N, E
n
l
(2.64)
Vamos agora maximizar a entropia de Gibbs
S = k
B
Tr( ln ) = k
B
n=0
n
l
ln
n
l
(2.65)
onde
n
l
o elemento de matriz (diagonal) do operador densidade correspon-
dente aos nmeros qunticos l, n. Os vnculos a ser satisfeitos neste caso so:
U =
H = Tr(

H) =
l
E
n
l

n
l
(2.66)
N =
N = Tr(

N) =
n
l
(2.67)
Tr =
n
l
= 1, (2.68)
que sero incorporados no processo de variao via multiplicadores de Lagrange.
Fazendo isso obtemos
n
l
+
1
E
n
l

n
l
+
2
n
n
l
k
B
n
l
ln
n
l
_
= 0
l
[(
0
k
B
) +
1
E
n
l
+
2
n k
B
ln
n
l
]
n
l
= 0 (2.69)
Desta condio, e como a identidade vale para variaes arbitrrias, obtemos:
k
B
ln = (
0
k
B
) +
1

H +
2

N (2.70)
ou
= e
0
k
B
1
1
k
B
H+

2
k
B
N
(2.71)
Usando a normalizao da matriz densidade, denimos a funo
: e
1

0
k
B
= Tr exp
_
1
k
B
H +

2
k
B
N
_
. (2.72)
A funo : conhecida como grande funo de partio. Para xar os valores
das constantes
1
e
2
multiplicamos (2.70) por e tomamos o trao:
(
0
k
B
) +
1
U +
2
N + S = 0 (2.73)
ou
k
B
T ln: +
1
TU +
2
TN + TS = 0 (2.74)
Agora identicando
1
= 1/T,
2
= /T e denindo a funo grande poten-
cial:
(T, V, ) = k
B
T ln : (2.75)
obtemos:
(T, V, ) = U TS N (2.76)
Ento
:(T, V, ) = e
(T,V,)
= Tr e
(

H

N)
(2.77)
e
=
1
:
exp
_
(

H

N)
_
. (2.78)
Das relaes anteriores podemos obter, por exemplo,
S =
_
T
_
V,
N =
_
_
T,V
(2.79)
Usando a relao de Euler: U = TS PV + N obtemos = PV . Final-
mente podemos obter uma relao entre a grande funo de partio e a funo de
partio cannica:
: = Tr e
(

H

N)
=
n
e
n
l
e
E
n
l
=
n
z
n
Z
N
(T, V ) (2.80)
onde z = e
conhecida como fugacidade.

Captulo 3
Estatsticas qunticas
3.1 Sistemas de partculas indistinguveis
O Princpio de Incerteza de Heisenberg e o carter deslocalizado da funo de
onda, associados interpretao probabilistica da mesma, leva a concluir que duas
partculas idnticas, no mesmo estado quntico, so indistiguveis.
Uma consequncia desta condio que operadores, como o Hamiltoniano
de N partculas, so invariantes frente permutaes arbitrrias das variveis di-
nmicas associadas as partculas, ou seja, os operadores so invariantes frente a
uma renumerao das partculas. Como sabemos, por cada operao de simetria
existe um operador associado que comuta com o Hamiltoniano do sistema, e pode
ser diagonalizado simultaneamente. Veremos que existemapenas dois autovalores
possveis associados aos operadores de permutao de partculas, e assimo espao
de Hilbert associado a um sistema de N partculas qunticas ca dividido em dois
subespaos, com caractersticas muito diferentes e implicaes fundamentais para
o comportamento fsico dos sistemas associados a cada um deles.
Vamos supor um sistema de N partculas sem spin. A funo de onda corres-
pondente na representao de coordenadas ser da forma (q
1
, . . . , q
N
). Trocas
na enumerao das partculas podem ser descritas pelos operadores permutao
de pares

P
ik
, os quais trocam as coordenadas q
i
e q
k
na funo de onda:
P
ik
(q
1
, . . . , q
i
, . . . , q
k
, . . . , q
N
) = (q
1
, . . . , q
k
, . . . , q
i
, . . . , q
N
) (3.1)
Se o Hamiltoniano invariante frente a trocas arbitrrias de pares de partculas se
verica que:
_
H,

P
ik
_
= 0 i, k = 1, . . . , N com i ,= k (3.2)
23
As autofunes de

P
ik
tm que satisfazer:
P
ik
(q
1
, . . . , q
i
, . . . , q
k
, . . . , q
N
) = (q
1
, . . . , q
i
, . . . , q
k
, . . . , q
N
)
= (q
1
, . . . , q
k
, . . . , q
i
, . . . , q
N
) (3.3)
Aplicando novamento o operador

P
ik
obtemos:
P
2
ik
(q
1
, . . . , q
i
, . . . , q
k
, . . . , q
N
) = (q
1
, . . . , q
i
, . . . , q
k
, . . . , q
N
)
=
2
(q
1
, . . . , q
i
, . . . , q
k
, . . . , q
N
). (3.4)
Ou seja, os autovalores do operador permutao de pares podemtomar apenas dois
valores = 1. Assim, as autofunes so chamadas de simtricas se correspon-
dem a = 1 e antissimtricas se correspondem a = 1. Se o Hamiltoniano
comuta com todos os operadores de permutao, ento suas autofunes podem
ser construidas de forma a serem totalmente simtricas, ou seja, simtricas frente
a qualquer permutao de coordenadas, ou totalmente antissimtricas, ou seja,
antissimtricas frente a qualquer permutao de coordenadas. Uma permutao
qualquer pode ser realizada pelo operador de permutao

P, tal que:
P(q
1
, q
2
, . . . , q
N
) = (q
P
1
, q
P
2
, . . . , q
P
N
) (3.5)
onde P
1
, . . . , P
N
corresponde a uma permutao arbitrria dos nmeros 1, . . . , N.
simples notar que qualquer operador

P equivalente a aplicar uma sequncia de
permutaes de pares

P
ij
. Por tanto, as autofunes de

P tambm sero funes
simtricas ou antissimtricas. Se o nmero de permutaes de pares necessrias
para obter a permutao geral P
1
, . . . , P
N
par (mpar), ento dizemos que a
permutao par (mpar). Se uma autofuno qualquer do Hamiltoniano no tem
a priori nenhuma paridade denida, podemos construir autofunes totalmente
simtricas ou totalmente antissimtricas da seguinte forma:
S
(q
1
, . . . , q
N
) = B
S
P(q
1
, . . . , q
N
) (3.6)
A
(q
1
, . . . , q
N
) = B
A
P
(1)
P

P(q
1
, . . . , q
N
) (3.7)
onde B
S
, B
A
so constantes de normalizao e as somas varrem todas as poss-
veis permutaes dos q
i
s. O sinal (1)
P
+1 se a permutao for par, e 1 se
for mpar. Como exemplo, consideremos uma funo de onda de trs partculas
(q
1
, q
2
, q
3
). Podemos construir funes totalmente simetrizadas com a receita
anterior:
S
(q
1
, q
2
, q
3
) = B
S
[(q
1
, q
2
, q
3
) + (q
2
, q
1
, q
3
) + (q
1
, q
3
, q
2
)
+(q
2
, q
3
, q
1
) + (q
3
, q
1
, q
2
) + (q
3
, q
2
, q
1
)]
A
(q
1
, q
2
, q
3
) = B
A
[(q
1
, q
2
, q
3
) (q
2
, q
1
, q
3
) (q
1
, q
3
, q
2
)
+(q
2
, q
3
, q
1
) + (q
3
, q
1
, q
2
) (q
3
, q
2
, q
1
)]
Funes de onda de sistemas de partculas de um mesmo tipo (eltrons, ftons,
quarks) apresentam um tipo de simetria denido frente ao intercmbio de part-
culas. As partculas descritas por funes de onda simtricas so chamadas de
bsons em homenagem do fsico indio Satyendranath Bose. Partculas descritas
por funes de onda antissimtricas so chamadas de frmions, em homenagem
ao fsico italiano Enrico Fermi. O carter de simetria das funes de onda est
tambm relacionado com o spin das partculas elementares. Na natureza se ob-
serva que todos os frmions possuem spin semi inteiro, enquanto que os bson
possuem spin inteiro.
As propriedades de simetria das partculas frente ao intercmbio tm profun-
das consequncias nas propriedades fsicas dos sistemas. Do ponto de vista da
Mecnica Estatstica, bsons e frmions se comportam de forma muito diferente,
dando lugar as chamadas estatsitca de Bose-Einstein e estatstica de Fermi-Dirac,
cujas propriedades vamos analizar a seguir.
Ento, para poder construir autofunes com simetria denida, necessrio
denir uma base inicial de autofunes do Hamiltoniano. Uma base possvel a
correspondente a um sistema de partculas no interagentes, quando o Hamiltoni-
ano das N partculas se reduz soma de operadores de partcula nica:
H( q
1
, . . . , q
N
, p
1
, . . . , p
N
) =
N
i1
h( q
i
, p
i
) (3.8)
Resolvendo o problema de autovalores para uma partcula:
h
k
(q) =
k
k
(q) (3.9)
onde k representa um conjunto de nmeros qunticos, se pode construir um auto-
estado de

H na forma:
E
k
1
,...,k
N
=
N
i=1
k
i
(q
i
) (3.10)
que corresponde a um autovalor de

H:
E =
N
i=1
k
i
(3.11)
Assim, no caso de partculas independentes podemos escrever as autofunes to-
talmente simtricas e antissimtricas na forma:
E,S
k
1
,...,k
N
(q
1
, . . . , q
N
) = B
S
P
k
1
(q
1
)
k
N
(q
N
) (3.12)
E,A
k
1
,...,k
N
(q
1
, . . . , q
N
) = B
A
P
(1)
P

P
k
1
(q
1
)
k
N
(q
N
) (3.13)
A funo de onda totalmente antissimtrica pode ser escrita em forma de de-
terminante:
E,A
k
1
,...,k
N
(q
1
, . . . , q
N
) = B
A
det
_
_
_
k
1
(q
1
)
k
1
(q
N
)
.
.
.
.
.
.
k
N
(q
1
)
k
N
(q
N
)
_
_
_
(3.14)
conhecido como determinante de Slater. Da forma do determinante se ob-
serva que se duas ou mais partculas estiverem no mesmo estado quntico, ento
o determinante ter duas ou mais las ou colunas iguais, e por tanto ser identi-
camente nulo. Este resultado corresponde ao Principio de excluso de Pauli, ou
seja, dois ou mais frmions no podem ocupar simultaneamente o mesmo estado
quntico.
Tambm notamos que um estado quntico caracterizado completamente pelo
conjunto de nmeros qunticos k
1
, . . . , k
N
. Uma permutao destes ndices so-
mente produz um cmbio de sinal no caso antissimtrico e deixa a funo de onda
inalterada no caso simtrico. A indistinguibilidade das partculas frente a permu-
taes faz com que a quantidade relevante para caracterizar um estado, ou funo
de onda, seja quantas partculas existem em cada estado. Esta especicao pode
ser feita denindo os nmeros de ocupao: n
k
. A especicao dos nmeros de
ocupao para todos os nveis k de cada partcula, sujeitos ao vnculo
k
n
k
= N
determina completamente um estado simtrico. No caso de frmions, o Princpio
de Excluso limita os possveis valores dos nmeros de ocupao a n
k
= 0, 1.
A impossibilidade de identicar as partculas individualmente implica que to-
dos os operadores associados a observeis quaisquer devem comutar com os ope-
radores de permutao:
_
O,

P
_
= 0 (3.15)
Em particular, o operador densidade deve tambm ser invariante frente a permu-
taes das partculas do sistema.
Uma vez denidos os nmeros de ocupao, a energia de um autoestado de N
partculas dada por:
E =
k
n
k
k
(3.16)
Se conhecermos e espectro de energias
i
do sistema, podemos calcular a funo
de partio cannica do mesmo na forma
Z(T, N, V ) = Tr e

H
=
{n
k
}
exp (
k
n
k
k
) (3.17)
onde, de forma geral, o conjunto de nmeros de ocupao deve satisfazer o vnculo
k
n
k
= N. Este vnculo torna o clculo explcito da funo de partio uma
tarefa complicada em geral. A diculdade se reduz se considerarmos o ensemble
grande cannico. A grande funo de partio dada por:
:(T, , V ) = Tr e
(

H

N)
=
N=0
z
N
Z(T, N, V ) (3.18)
=
N=0
e
N
{n
k
}
exp (n
1
1
n
2
2
)
=
N=0
{n
k
}
exp ((
1
)n
1
(
2
)n
2
)
Como N est somado entre zero e innito, e os n
k
s esto sujeitos ao vnculo j
visto, a ltima linha equivalente a somar os n
k
s sem restries:
:(T, , V ) =
n
1
,n
2
,...
exp ((
1
)n
1
(
2
)n
2
)
=
n
1
e
(
1
)n
1
n
2
e
(
2
)n
2
. . .
=
n
k
exp [(
k
)n
k
] (3.19)
A funo grande potencial dada por:
(T, , V ) = k
B
T ln : = k
B
T
k
ln
_
n
k
e
(
k
)n
k
_
(3.20)
O nmero de ocupao mdio dado por:
n
k
=
1
ln :
T,V
(3.21)
3.2 Gases ideais qunticos
Para um gs de Bose-Einstein a grande funo de partio toma a forma:
:
BE
(T, , V ) =
n
1
=0
n
2
=0

n=0
exp
_
k
n
k
(
k
)
_
(3.22)
No caso de um sistema de frmions, o Princpio de Excluso limita os nmero de
ocupao resultando na estatstica de Fermi-Dirac:
:
FD
(T, , V ) =
1
n
1
=0
1
n
2
=0

1
n=0
exp
_
k
n
k
(
k
)
_
(3.23)
3.2.1 O gs de Maxwell-Boltzmann e o limite clssico
Antes de analizar em detalhe os comportamentos de sistemas de bsons e frmi-
ons, vamos considerar novamente um sistema de partculas distinguveis, s que
agora do ponto de vista das estatsticas qunticas. Se as partculas so distingu-
veis no teremos nenhuma restrio nos valores dos nmeros de ocupao. No
entanto, para um conjunto de nmeros de ocupao xos n
k
a troca de duas
partculas em diferentes nveis k
i
e k
j
, com nmeros de ocupao n
k
i
e n
k
j
cor-
responde agora a um novo estado, diferente do anterior, mas que no modica
os nmeros de ocupao, e por tanto, possui o mesmo fator exponencial. Desta
forma, para um conjunto de valores n
k
, devemos multiplicar o fator exponen-
cial por um fator de degenerescncia, que corresponde ao nmero de combinaes
diferentes de partculas (distinguveis) entre todos os estados (nveis). A funo
grande partio toma a forma:
:
dist
(T, , V ) =
n
1
=0
n
2
=0

n=0
N!
n
1
!n
2
! n
!
exp
_
k
n
k
(
k
)
_
(3.24)
Para altas temperaturas o nmero mdio de bsons em qualquer estado k muito
pequeno, e ento os estados que contribuem para a funo de grande partio so,
essencialmente, aqueles com nmero de ocupao 0 ou 1. Por isto, o compor-
tamento de bsons e frmions em altas temperaturas essencialmente o mesmo.
Este comportamento tambm vale para partculas distinguveis. Ento, no limite
de altas temperaturas, a nica diferena entre as estatsticas de Bose-Einstein,
Fermi-Dirac e partculas distinguveis o fator N! na expresso desta ltima. No-
tamos ento, que se quisermos considerar as partculas a altas temperaturas como
indistinguveis basta dividir em:
dist
por N!, que justamente o fator de contagem
de Gibbs.
Um sistema de partculas descrito pela funo de grande partio:
:
MB
(T, , V ) =
n
1
=0
n
2
=0

n=0
1
n
1
!n
2
! n
!
exp
_
k
n
k
(
k
)
_
(3.25)
se conhece como gs de Maxwell-Boltzmann e descreve o comportamento a altas
temperaturas de todos os gases ideais (com o correto fator de contagem).
Vamos ento re-derivar os resultados para o gs ideal clssico considerado
como um gs de MB. fcil somar a funo de grande partio neste caso, pois
os termos para diferentes nmeros de ocupao se fatoram:
:
MB
(T, , V ) =
k
_

n
k
=0
1
n
k
!
exp n
k
(
k
)
_
=
k
_
exp
_
e
(
k
)
_
(3.26)
onde usamos o resultado da srie innita e
x
=
n=0
(1/n!)x
n
. A funo grande
potencial resulta:
MB
(T, , V ) = k
B
T ln :
MB
(T, , V )
= k
B
T
k
e
(
k
)
= k
B
T z
k
e
k
, (3.27)
onde z a fugacidade. O nmero mdio de partculas dado por:
N =
_
MB
_
T,V
=
k
z e
k
. (3.28)
Como tambm N =
k
n
k
, obtemos para o nmero de ocupao mdio do
estado k:
n
k
= z e
k
(3.29)
Os resultados anteriores so vlidos para qualquer espectro de energias
k
. No
caso de partculas livres, os nveis de energia so dados pela soluo da equao
de Shrodinger:
h
k
(q) =
k
k
(q) (3.30)
onde
h =
p
2
2m
=
h
2
2m
d
2
dq
2
(3.31)
em uma dimenso espacial. A extenso para mais dimenses imediata. Os
autoestados so ondas planas
k
(q) = C e
ikq
com
k
=
h
2
k
2
2m
(3.32)
Suponhamos que as partculas esto em um recipiente de dimenso linear L, e
vamos exigir condies de contorno peridicas, isto ,
k
(q) =
k
(q + L), de
onde obtemos que e
ikL
= 1. Esta condio determina os possveis valores do
vetor de onda:
k =
2
L
n com n = 0, 1, 2, . . .
_
L
2
1
_
,
L
2
(3.33)
No limite termodinmico L o espectro tender a ser continuo, de forma que
k
f(k)
_
dk
(2/L)
f(k) (3.34)
j que 2/L a distncia entre valores consecutivos do vetor de onda k. En-
to, desconsiderando graus de liberdade internos das partculas, como o spin, e
generalizando os resultados anteriores para d = 3, obtemos:
ln :
MB
(T, , V ) =
k
exp
_
_
h
2
k
2
2m

__
V
_
d
3
k
(2)
3
exp
_
_
h
2
k
2
2m

__
=
V
(2)
3
e
_
2m
h
2
_
3/2
, (3.35)
onde em trs dimenses k
2
= k
2
x
+k
2
y
+k
2
z
. A funo grande potencial dada por:
MB
(T, , V ) = k
B
T ln :
MB
(T, , V )
= V e
(k
B
T)
5/2
_
2m
h
2
_
3/2
(3.36)
que coincide com um clculo puramente clssico, considerando um volume uni-
trio no espao de fase igual a h
3
e com o correto fator de contagem de Gibbs.
Finalmente, o nmero mdio de partculas do sistema dado pela (3.28), que
equivalente a
N = z

z
ln :
MB
= z V
_
2m
h
2
_
3/2
. (3.37)
Ento, a fugacidade z resulta uma funo da densidade N/V e da temperatura:
z =
N
V
h
3
(2mk
B
T)
3/2
(3.38)
O limite clssico corresponde a altas temperaturas, ento nesse limite a fugacidade
pequena z 1. Ainda levando em conta que (V/N)
1/3
= a representa uma
distncia interatmica tpica, e que
T
=
h
(2mk
B
T)
1/2
(3.39)
umcomprimento de onda trmico, ento o limite clssico corresponde a a
T
,
que a expectativa usual da mecnica quntica.
3.2.2 Estatstica de Bose-Einstein
Usando o resultado
n=0
x
n
= 1/(1 x) para x < 1, de (3.22) obtemos:
n
k
=0
exp (
k
)n
k
=
1
1 exp [(
k
)]
(3.40)
Como exp [(
k
)] < 1 k e
k
0, entao
k
> 0 e o potencial quimico
deve ser negativo sempre para um gs de bsons livres: < 0.
O resultado anterior permite escrever:
ln :
BE
(T, , V ) =
k
ln 1 exp [(
k
)] (3.41)
Da denio do nmero de ocupao mdio, eq. (3.21), obtemos no caso do gs
de bsons:
n
k
=
1
e
(
k
)
1
(3.42)
Como e
(
k
)
< 1 k, ento n
k
0 k.
Por outro lado, para baixas temperaturas 1 resulta:
n
k
0 (3.43)
para a maioria dos estados, exceto os de menor energia.
3.2.3 Estatstica de Fermi-Dirac
No caso de frmions n
k
= 0, 1 e ento:
1
n
k
=0
exp (
k
)n
k
= 1 + e
(
k
)
(3.44)
com o que
ln :
FD
(T, , V ) =
k
ln 1 + exp [(
k
)] (3.45)
O nmero de ocupao mdio resulta, neste caso:
n
k
=
1
e
(
k
)
+ 1

_
1 se
k
<
0 se
k
>
(3.46)
Sempre se verica que 0 n
k
1.
Captulo 4
Gs ideal de Bose-Einstein
Vamos descrever neste captulo o comportamento estatstico e termodinmica de
gases de bsons independentes. A anlise nos levar ao estudo do fenmeno da
condensao de Bose-Einstein, uma transio de fases em um sistema quntico de
partculas livres. Tambm vamos estudar o comportamento de um gs de ftons
que leva ao problema clssico da radiao de corpo negro.
4.1 A condensao de Bose-Einstein
A partir dos resultados do captulo anterior podemos escrever a funo grande
potencial para um gs de Bose-Einstein como:
BE
= k
B
T ln :
BE
(T, , V ) = k
B
T
k
ln 1 exp [(
k
)], (4.1)
de onde podemos calcular o nmero mdio de partculas na forma:
N =
_
BE
_
T,V
=
k
_
e
(
k
)
1 e
(
k
)
_
=
k
_
1
e
(
k
)
1
_
(4.2)
Lembrando que
N =
k
n
k
(4.3)
obtemos para o nmero mdio de partculas no estado k:
n
k
=
_
1
e
(
k
)
1
_
=
_
1
z
1
e
k
1
_
(4.4)
33
Para avanar na determinao das funes termodinmcias devemos especicar
o espectro de autovalores da energia
k
, que dene o sistema em estudo. Con-
sideremos ento um sistema de bsons livres, cujo espectro de energias dado
por
k
= h
2
k
2
/2m. Consideramos o sistema em uma caixa de volume V = L
3
com condies de contorno peridicas. Ento, os vetores de onda podem tomar
os valores k
i
= (2/L)n
i
, onde i = x, y, z e com n
i
= 0, 1, . . . L/2. Quando
L o espectro de valores se torna continuo, e as somas tendem a integrais:
k

_
d
k
(2/L)
3
(4.5)
Desta forma, como o espectro depende de
k somente atravs do mdulo k = [
k[,
podemos reescrever o nmero mdio de particulas na forma:
N =
4V
(2)
3
_

0
k
2
z
e
h
2
k
2
/2m
z
dk =
4V
_
2mk
B
T
h
2
_
3/2
_

0
x
2
_
z
e
x
2
z
_
dx.
(4.6)
Ento podemos escrever uma equao de estado que relaciona a fugacidade, a
temperatura e a densidade na forma:
3
T
= g
3/2
(z), (4.7)
onde
T
= h/
2mk
B
T o comprimento de onda trmico, e a funo de Bose-
Einstein
g
3/2
(z) =
4
_

0
x
2
_
z
e
x
2
z
_
dx =
k=1
z
k
k
3/2
(4.8)
um caso particular da familia de funes
g
n
(z) =
k=1
z
k
k
n
. (4.9)
A funo g
3/2
(z) limitada e bem comportada no intervalo 0 z 1, com
valores nos extremos
g
3/2
(0) = 0
g
3/2
(1) =
k=1
1
k
3/2
= (3/2) = 2.612 . . . (4.10)
z
0.0 .5 1.0
0
1
2
3
4
g
3/2
(z)
g
5/2
(z)
2.612
1.342
Figura 4.1: As funes g
3/2
e g
5/2
.
onde a funo (x) a funo zeta de Riemann. A derivada da g
3/2
(z) diverge
para z 1 e da expanso em srie para z 1 se obtm que g
3/2
(z) z para
valores pequenos de z, como se observa na gura 4.1.
A equao de estado (4.7) uma equao implicita para a fugacidade z em
funo de e T. Mas fcil observar que o lado esquerdo pode tomar valores arbi-
trariamente grandes para T sucientemente pequena ou sucientemente grande.
Ento, se
3
T
> 2.612 a equao no tem soluo real, j que z 1. Concluimos
que deve haver alguma inconsistncia no nosso clculo anterior. Uma forma de
ver onde pode residir o problema ver o comportamento do nmero mdio de
partculas no estado fundamental, ou seja, quando = 0:
n
0
=
z
1 z
(4.11)
Notamos que lim
z1
n
0
= . Por tanto, o nmero de partculas no estado
fundamental diverge para z 1 no limite termodinmico. Vamos ento analizar
em mais detalhe a forma como foi feito o limite termodinmico no clculo da
equao de estado. Para isso comeamos por separar a contribuio do estado
z
0.0 .5 1.0
0.0
.5
1.0
V = 10
V = 100
V = 1000
z
z
V 1
1
Figura 4.2: O comportamento do primeiro termo da eq. (4.13) para diferentes
valores do volume.
fundamental da soma nos estados do clculo do N:
N =
z
1 z
+
4V
(2)
3
_

2/L
k
2
z
e
h
2
k
2
/2m
z
dk
=
z
1 z
+
4V
3
T
/L
x
2
_
z
e
x
2
z
_
dx (4.12)
possvel mostrar que o limite inferior na ltima integral pode ser extendido a
zero sem afetar o resultado no limite termodinmico, obtendo a equao de estado
na forma:
3
T
=

3
T
V
z
1 z
+ g
3/2
(z) (4.13)
Na gura 4.2 vemos o comportamento do primeiro termo da equao (4.13)
para diferentes valores de V . Notamos que, sempre que V seja nito, a funo
do lado direito de (4.13) diverge e z nunca atinge o valor mximo de um para
qualquer valor de T e , por causa da divergncia, como se mostra na gura 4.3(a).
Somente quando T 0 ou ento z 1 e, consequentemente n
0
,
como de se esperar pois nestas condies todas as partculas devem estar no
z
0.0 .5 1.0
0
1
2
3
4
5
z 0.0 .5 1.0 1.5 2.0 2.5 3.0 3.5 4.0
z
0
1
2
2.612
2.612
V
O
1
V
O
1

3
T
z
z
V
T
1
3
) (
1
2 / 3
3
z g
z
z
V
T
+
) (
2 / 3
z g

3
T
Figura 4.3: (a)Soluo grca da eq. (4.13). (b)Fugacidade de um gs ideal de
Bose-Einstein em um volume nito V .
estado fundamental. A soluo de z em funo de
3
T
para um volume V nito
se mostra na gura 4.3(b).
Consideremos agora que V 1. Agora as solues da eq. (4.13) para
3
T

2.612 sero prximas de z = 1. Assim, podemos aproximar:
3
T

3
T
V
z
1 z
+ g
3/2
(1) (4.14)
de onde podemos agora isolar para z(V ):
z(V )

0
V
1 +
0
V
1
1
0
V
(4.15)
onde
0
uma quantidade que no depende de V . Assim, vemos que as solues
para
3
T
2.612 tendem para z = 1 quando V . A fugacidade de um gs
de Bose-Einstein, no limite termodinmico , por tanto:
z =
_
1 se
3
T
g
3/2
(1)
a raiz de
3
T
= g
3/2
(z) se
3
T
< g
3/2
(1)
(4.16)
0 1 2 3 4
z
0
1
2

3
T
2.612
Figura 4.4: Fugacidade de um gs ideal de Bose-Einstein no limite termodin-
mico.
como se mostra na gura 4.4.
Vemos ento que se
3
T
g
3/2
(1) um nmero macroscpico de partculas
passam a ocupar o estado fundamental. Este fenmeno se conhece como conden-
sao de Bose-Einstein, e comea a acontecer quando z 1. A condio z = 1
permite denir uma temperatura de transio como
3
Tc
= g
3/2
(1), o que resulta
em uma temperatura crtica:
T
c
=
_
h
2
2mk
B
__

g
3/2
(1)
_
2/3
(4.17)
Invertendo a mesma equao podemos obter o volume especco crtico em fun-
o da temperatura:
v
c
=
1
c
=
_
h
2
2mk
B
_
3/2
g
3/2
(1)
T
3/2
(4.18)
Escrevendo a equao de estado na regio de condensao na forma:
=
0
+
1
3
T
g
3/2
(1), (4.19)
T / T
c
0 1
0
1
Figura 4.5: Parmetro de ordem = n
0
/N vs. temperatura reduzida.
podemos calcular a frao de bsons no estado fundamental:
n
0
N
=

0
= 1
1
3
T
g
3/2
(1) (4.20)
= 1
3
Tc
3
T
= 1
_
T
T
c
_
3/2
(4.21)
Ento vemos que a frao de partculas no estado fundamental, no limite termodi-
nmico, se comporta como um parmetro de ordem:

n
0
N
=
_
1
_
T
Tc
_
3/2
se T T
c
0 se T > T
c
(4.22)
como se mostra na gura 4.5.
Para determinar o comportamento da presso no condensado de Bose-Einstein,
reescrevemos a funo grande potencial (4.1) no limite continuo e aps ter sepa-
rado a contribuio do estado fundamental, obtendo:
BE
= k
B
T ln (1 z) +
4k
B
TV
(2)
3
_

2/L
k
2
ln (1 ze
h
2
k
2
/2m
)dk
= k
B
T ln (1 z) +
4k
B
TV
3
T
/L
x
2
ln (1 ze
x
2
)dx (4.23)
Ento, a presso dada por:
P =
BE
V
=
k
B
T
V
ln (1 z) +
k
B
T
3
T
g
5/2
(z) (4.24)
onde
g
5/2
(z) =
4
_

0
x
2
ln (1 ze
x
2
)dx =
k=1
z
k
k
5/2
(4.25)
A funo g
5/2
(z) tambm montona crescente valendo g
5/2
(0) = 0 e g
5/2
(1) =
(5/2) = 1.342 . . . e mostrada na gura 4.1. Vejamos o comportamento do
primeiro termo da (4.24). Se z < 1 ento evidente que lim
V
(1/V )(1 z) =
0. Por outra parte, para z 1:
lim
V
_
1
V
ln (1 z(V ))
_
= 0 (4.26)
Ento, a presso dada por:
P =
_
k
B
T
3
T
g
5/2
(1) se
3
T
g
3/2
(1)
k
B
T
3
T
g
5/2
(z) se
3
T
< g
3/2
(1)
(4.27)
Notamos que na regio do condensado a presso independente da densidade. A
partir deste resultado podemos analizar o comportamento das isotermas no espao
(P, v), por exemplo. Para uma temperatura constante temos umponto de transio
P = P
c
(v
c
) que se obtm fazendo z = 1 na soluo para a presso. Usando
agora a expresso correspondente ao ponto crtico, eq. (4.18), podemos escrever
a temperatura em funo de v
c
. Obtemos:
P
c
(v
c
) =
h
2
g
5/2
(1)
2m(g
3/2
(1))
5/3
1
v
5/3
c
. (4.28)
Para cada temperatura a relao anterior dene uma linea crtica no plano
(P, v). Na gura 4.6 se mostra o comportamento de algumas isotermas do gs de
;
P
T
1
T
2
T
3
;
c
(T
2
)
Figura 4.6: Isotermas do gs ideal de Bose-Einstein para trs temperaturas T
1
<
T
2
< T
3
. A linha tracejada corresponde curva P
c
(v
c
).
Bose-Einstein. Vemos que, para v < v
c
(T) entramos na regio do condensado e
a presso independente do volume especco P = cte. A forma das isotermas
lembra a forma das isotermas da transio lquido-gs em um lquido clssico na
regio de coexistncia. Neste caso a coexistncia corresponderia ao condensado
de partculas no estado fundamental e ao resto que formam a fase normal, ou ga-
sosa. No entanto no podemos puxar a analogia muito longe, dado que de fato
a frao de partculas nos estados excitados tende para zero no limite termodin-
mico, e a condensao de fato acontece no espao de momentos, e no no espao
real. Continuando com a analogia podemos nos perguntar quais so os volumes
especcos das fases condensada e gasosa. Da gura 4.6 podemos concluir que
o volume especco do gs corresponde ao ponto v
c
(T). Mas o volume espec-
co do condensado deveria ser zero nesta interpretao, ou seja, a densidade do
condensado innita. Este resultado claramente no fsico, e provm do fato
de estar considerando partculas livres (no interagentes) que podem se aproximar
indenidamente entre elas.
Outra caracterstica marcante do condensado de Bose-Einstein a forma do
calor especco em funo da temperatura. Para isso calculemos inicialmente a
entropia por unidade de volume. Esta dada por:
s = lim
V
1
V
_
BE
T
_
V,
= lim
V
_
P
T
_
V,
(4.29)
Derivando em (4.27) e fazendo uso da propriedade
dg
n
(z)
dz
=
1
z
g
n1
(z) (4.30)
obtemos
s =
_
5
2
k
B
3
T
g
5/2
(1) se
3
T
g
3/2
(1)
5
2
k
B
3
T
g
5/2
(z) k
B
ln z se
3
T
< g
3/2
(1)
(4.31)
Se pode vericar facilmente que s = 0 quando T = 0 em acordo com a terceira
lei da Termodinmica. Agora estamos em condies de calcular o calor especco
a densidade constante, dado por:
c
= T
_
s
T
_
(4.32)
Derivando em (4.31) mantendo constante se obtm:
c
=
_
15
4
k
B
3
T
g
5/2
(1) se
3
T
g
3/2
(1)
15
4
k
B
3
T
g
5/2
(z) k
B
9
4
g
3/2
(z)
g
1/2
(z)
se
3
T
< g
3/2
(1)
(4.33)
O calor especco em funo de T mostrado na gura 4.7.
Notando que g
1/2
(z) quando z 1 resulta que c
continuo no ponto
crtico, apresentando uma derivada descontinua. Para altas temperaturas c
tende
ao valor constante correspondente ao gs ideal clssico. Para temperaturas baixas,
c
T
3/2
, da mesma forma que a entropia, e tende a zero para temperatura zero.
Como vimos, o gs de Bose-Einstein apresenta uma srie de comportamen-
tos que no so compatveis com a realidade, como isotermas planas, um calor
especco continuo na transio de fase, etc. A origem bsica destes defeitos do
sistema o fato de desprezar completamente as interaes entre os bsons. Neste
sentido interessante notar que o fenmeno da condensao aparece quando
3
T
= g
3/2
(1) (4.34)
ou seja, quando
T
v
1/3
=
_
g
3/2
(1)
_
1/3
1, 377 (4.35)
T
0 1 2 3
C

/

(
k
B
)
0.0
.5
1.0
1.5
2.0
2.5
3.0
T
c
Figura 4.7: Calor especco a densidade constante do gs ideal de Bose-Einstein
em funo da temperatura.
Nestas condies o comprimento de onda de de Broglie da ordem da distn-
cia tpica entre as partculas, e nesta situao claro que as interaes entre as
partculas no podem ser desprezadas. Modelos mais realistas levam em conta
interaes repulsivas de curto alcance entre os bsons, importantes a temperatu-
ras muito baixas. Incluindo efeitos das interaes repulsivas os comportamentos
no fsicos vistos antes desaparecem, sem no entanto desaparecer o fenmeno da
condensao.
Tal vez a predio mais importante do gs de Bose-Einstein seja que poss-
vel ter uma transio de fases exclusivamente como consequncia da estatstica,
independente das interaes entre as partculas.
Finalmente, se consideramos o limite de altas temperaturas ou baixas densi-
dades, ou seja, quando
T
v
1/3

_
g
3/2
(1)
_
1/3
(4.36)
temos que z 0 e ento g
5/2
(z) g
3/2
(z) g
1/2
(z) z. Assim, neste regime

z
3
T
(4.37)
enquanto que para a presso obtemos:
P
k
B
Tz
3
T
= k
B
T =
Nk
B
T
V
(4.38)
e a equao para o calor especco se reduz a
c

15
4
k
B
z
3
T
9
4
k
B
=
3
2
k
B
(4.39)
Vemos ento que a altas temperaturas ou baixas densidades o gs de Bose-Einstein
se comporta como um gs ideal clssico, ou seja, os efeitos da estatstica quntica
se tornam desprezveis.
Captulo 5
Gs ideal de Fermi-Dirac
Os frmions so partculas de spin semi-inteiro. J vimos que o Princpio de
Excluso de Pauli limita o nmero de frmions en cada estado quntico a ser zero
ou um. Assim, podemos escrever a funo grande partio na forma (3.23):
:
FD
(T, , V ) =
l
1
n
l
=0
e
n
l
(
l
)
(5.1)
onde o ndice l indica um conjunto de nmeros qunticos l = (
k, ), onde =
(2s + 1)/2 o nmero quntico de spin, correspondente aos autovalores do
operador de spin S
z
= (2s + 1) h/2, com s = 0, 1, 2 . . .. Por exemplo, os
eltrons tm spin 1/2, ou seja s = 0, e podemos escrever:
:
FD
(T, , V ) =
k
_
_
_
1
k,=1/2
=0
e
n
k,=1/2
(
k
)
1
k,=1/2
=0
e
n
k,=1/2
(
k
)
_
_
_
=
k
_
1 + e
(
k
)
_
2
(5.2)
Em geral, para frmions de spin arbitrrio teremos g = 2[[ + 1 autovalores,
e consequentemente a potncia 2 na expresso (5.2) deve ser cambiada para g.
Obtemos:
FD
= k
B
T ln :
FD
(T, , V ) = gk
B
T
k
ln 1 + exp [(
k
)] (5.3)
45
O nmero mdio de partculas ento dado por:
N =
_
_
T,V
= g
k
1
e
(
k
)
+ 1
(5.4)
=
k
n
k

4gV
(2)
3
_

0
k
2
dk
z
e
h
2
k
2
/2m
+ z
(5.5)
e o nmero mdio de ocupao do nvel de energia
k:
n
k
=
g
e
(
k
)
+ 1
. (5.6)
Na gura 5.1 se mostra a forma do nmero mdio de ocupao.
Figura 5.1: O valor mdio do nmero de ocupao de um gs de Fermi-Dirac,
para um dado valor do momento
k.
A energia interna do gs de Fermi-Dirac dada por:
U =
k
n
k
=
k
g
k
e
(
k
)
+ 1
(5.7)
4g h
2
V
2m(2)
3
_

0
k
4
dk
e
(
k
)
+ 1
(5.8)
e a presso dada por:
P =
FD
V
=
gk
B
T
V
k
ln
_
1 + e
(
k
)
_
(5.9)
4gk
B
T
(2)
3
_

0
k
2
ln
_
1 + ze
h
2
k
2
/2m
_
dk (5.10)
Cambiando variveis e expressando as quantidades anteriores em termos da
energia podemos escrever
N = gV
_

0
D() f() d (5.11)
U = gV
_

0
D() f() d (5.12)
(5.13)
onde
D() =
1
4
2
_
2m
h
2
_
3/2
1/2
(5.14)
e
f() =
1
e
()
+ 1
(5.15)
a funo distribuio de Fermi-Dirac. Cambiando variveis e integrando por
partes a expresso para a presso do gs de Fermi (5.10) obtemos:
P =
2
3
U
V
=
2
3
g
_

0
D() f() d (5.16)
5.1 Gs de Fermi completamente degenerado
(T = 0)
A T = 0 a funo distribuio tem a forma de um degrau em = , como se
mostra na gura 5.1. O frmions ento vo preenchendo os nveis de energia
acessveis, obedecendo o Princpio de Excluso, at o chamado nvel de Fermi
ou energia de Fermi que funo da densidade do sistema. Para obter o valor
da energia de Fermi
F
notamos que, para T = 0
N = gV
_

F
0
D() d (5.17)
onde podemos interpretar D() como sendo a densidade de estados de energia .
Integrando obtemos:
F
=
h
2m
_
6
2
g
_
2/3
_
N
V
_
2/3
(5.18)
A presso a T = 0 dada por:
P =
2
3
g
_

F
0
D() d
=
2
5
F
=
h
2
5m
_
6
2
g
_
2/3
5/3
(5.19)
Notamos que, mesmo a T = 0, o gs de Fermi possui um presso nita. Isto
consequncia do Princpio de Excluso, que impede uma ocupao arbitrria dos
estados.
Se pode denir uma temperatura de Fermi na forma
T
F
=

F
k
B
(5.20)
Esta temperatura determina uma escala abaixo da qual as propriedades do sistema
so essencialmente qunticas. Por exemplo, em metais alcalinos como o Na e
o Li, a temperatura de Fermi da ordem T
F
O(10
4
K). Nestes metais os
eltrons de conduo podem ser considerados como um gs de frmions livres em
primeira aproximao (modelo de Drude e Lorentz). Nas estrelas ans brancas a
T
F
O(10
9
). Para comparao, a temperatura fsica do Sol 10
5
. No interior
do ncelo atmico, a matria nuclear ferminica possui uma temperatura de Fermi
T
F
O(10
11
).
5.2 Gs de Fermi degenerado (T T
F
)
Captulo 6
Interaes, simetrias e ordem em
matria condensada
6.1 Lquidos e gases
Os uidos, lquidos e gases, so os sistemas que apresentam o maior nmero de
simetrias possvel, no sentido que suas propriedades fsicas no mudam frente a
uma srie de transformaes, especialmente de coordenadas.
Quando dizemos que um uido homogneo e isotrpico, queremos dizer que
suas propriedades so invariantes frente a translaes espaciais, rotaes arbitr-
rias e reexes ou inverses respeito da origem de coordenadas. O conjunto de
transformaes que deixam um sistema invariante formam um grupo, o grupo de
simetria. O grupo de simetria que inclui translaes, rotaes e reexes se chama
Grupo Euclideano. Tipicamente os uidos so invariantes frente a operaes do
grupo euclideano. Fisicamente, isto quer dizer que o entorno ou a vizinhana de
uma pequena regio no interior de um uido a mesma independentemente que
a regio seja trasladada, rotada ou de que se faa uma reexo em torno de uma
origem de coordenadas. Vamos ver que, de forma geral, o mesmo no acontece
com a matria no estado slido, os uidos so os sistemas com a maior simetria
possvel.
A homogeneidade de um uido implica invarincia translacional. Por exem-
plo, para a densidade espacial vale a relao:
n(x)
1
N
i
(x x
i
) = n(x +

R), (6.1)
49
onde

R um deslocamento arbitrrio. Em particular, se

R = x obtemos que
n(x) = n(0), ou seja, a densidade em qualquer ponto igual densidade na
origem. Logo a densidade no depende de x.
Outra grandeza muito importante para caracterizar o estado de um sistema a
funo de correlao de dois pontos, denida como:
C
nn
(x
1
, x
2
) = n(x
1
)n(x
2
)
=
N
i,j=1
(x
1
x
i
)(x
2
x
j
) (6.2)
Se o sistema possui invarincia translacional ento C
nn
(x
1
, x
2
) C
nn
(x
1
x
2
).
A transformada de Fourier da funo de correlao da densidade de dois pontos e
o chamado fator de estrutura:
S(q) =
_
d
d
x
1
d
d
x
2
e
iq(x
1
x
2
)
n(x
1
)n(x
2
)
= n(q)n(q) (6.3)
onde
n(q) =
_
d
d
x e
iqx
n(x) =
i
e
iqx
i
(6.4)
a transformada de Fourier da densidade.
Pela invarincia do sistema frente a translaes:
C
nn
(x
1
, x
2
) = C
nn
(x
1
+

R, x
2
+

R). (6.5)
Neste caso, escolhendo

R = x
2
e usando a invarincia frente a rotaes arbitr-
rias obtemos C
nn
(x
1
, x
2
) = C
nn
(x
1
x
2
, 0) = C
nn
([x
1
x
2
[). Isto por sua vez
implica que o fator de estrutura depende somente do mdulo do vetor de onda:
C
nn
(q) = C
nn
([q[) =
_
d
d
xe
iqx
C
nn
([x[) (6.6)
Modelo de esferas duras
O modelo tal vez mais simples de um lquido um sistema formado por bolas
ou esferas perfeitamente rgidas e impenentrveis. Em um gs de esferas duras
as partculas no interagem entre si, exceto pela repulso innita que acontece
quando uma esfera tenta ocupar o espao ocupado por outra. A energia potencial
do sistema ento pode ser denida como
U(r) =
_
if r < r
0
0 if r > r
0
(6.7)
sendo r
0
o raio das esferas. O comportamento do sistema depende da frao de
volume ou razo entre o volume ocupado pelas esferas e o volume total acessvel
ao sistema. Coisas interessantes acontecem a medida que a frao de volume
aumenta. Na gura 6.1 podemos ver o comportamento da funo de distribuio
radial, que mede a probabilidade de encontrar uma partcula a uma distncia r
de outra qualquer, para um sistema de esferas duras e trs fraes de volume
diferentes.
Figura 6.1: A funo de distribuio radial de um sistema de esferas duras. Re-
sultados numricos utilizando a aproximao de Percus-Yevick.
Se observam uma srie de picos, tanto mais intensos quanto maior a frao
de volume. O primeiro pico o mais intenso, e reete a presena de uma camada
de esferas que so vizinhas prximas da esfera central. As correlaes com esta
primeira camada so fortes. Os sucessivos picos representam correlaes com
as sucessivas camadas de vizinhos, e se percebe que a intensidade va decaindo
at atingir assintoticamente o valor 1, uma caracterstica da denio matemtica
da funo de distribuio radial. O fator de estrutura tem um comportamento
semelhante no espao recproco.
O sistema de esferas duras em d = 3 sofre uma transio de fase lquido-
slido como funo da densidade. O lquido com frao de volume 0.495
coexiste em equilbrio com o slido, que forma uma estrutura FCC (face
centered cubic) a uma f.d.v. 0.545.
Na fase slida a estrutura FCC apresenta uma f.d.v. de 0.7405, igual HCP
(hexagonal close packed). Se comprimido rapidamente as esferas no con-
seguem formar uma estrutura cristalina peridica e formam uma estrutura
amorfa com empacotamente aleatrio (random close packing). A f.d.v.
do RCP 0.638.
O sistema de esferas duras no um sistema trmico, a energia trmica
irrelevante frente a energia repulsiva da superfcie. A varivel relevante a
frao de volume.
6.2 Redes cristalinas
A baixas temperaturas ou altas presses os materias normalmente cristalizam e
os tomos se organizam espacialmente em estruturas peridicas, chamadas redes
cristalinas. O tipo de estrutura cristalina na qual um elemente especco ir cris-
talizar depende, essencialmente, do potencial interatmico.
Um conceito importante para o estudo das redes cristalinas a denio de
uma rede de Bravais (segundo o Ascroft-Mermin [6]):
1. Uma rede de Bravais uma arranjo innito de pontos discretos, com uma
estrutura e orientao que aparece a mesma vista desde qualquer um dos
pontos da rede.
2. Uma rede de Bravais (tridimensional) consiste de todos os pontos cujos
vetores posio podem ser denidos como
R = n
1
a
1
+ n
2
a
2
+ n
3
a
3
(6.8)
Figura 6.2: As 14 redes de Bravais em trs dimenses
onde a
1
, a
2
e a
3
so trs vetores quaisquer no coplanares e n
1
, n
2
e n
3
so
inteiros.
Os vetores a
1
, a
2
e a
3
so chamados vetores primitivos e permitem desenvol-
ver a rede completamente. As magnitudes dos vetores primitivos so conheci-
das como constantes de rede. Uma clula da rede determinada por um conjunto
qualquer de vetores primitivos se chama clula primitiva . Uma clula primitiva
tambm permite obter toda a rede por translaes ao longo dos vetores primitivos.
A rede cristalina no espao real se chama as vezes rede direta. possvel
denir uma rede recproca no espao de momentos, da seguinte forma:
(Ashcroft-Mermin) Considere um conjunto de pontos

R formando uma rede
de Bravais, e uma onda plana, e
i
kr
. Esta onda plana tem uma periodicidade dada
pelo comprimento de onda = k/2. Para um
k arbitrrio esta onda no ter, em

geral, a periodicidade da rede de Bravais, mas para alguns conjuntos de vetores
k
a ter.
O conjunto de todos os vetores de onda

k que produzem ondas planas com a
periodicidade de uma rede de Bravais dada conhecido como rede recproca.
A periodicidade da rede de Bravais implica:
e
i
k(r+
R)
= e
i
kr
(6.9)
para qualquer r e para qualquer

R da rede de Bravais. Pela identidade anterior,
podemos caracterizar a rede recproca como o conjunto de vetores de onda
k que
satisfacem
e
i
R
= 1, (6.10)
para todos os

R da rede de Bravais.
possvel mostrar que a rede recproca ela mesma uma rede de Bravais.
Podemos tambm denir a rede recproca da rede recproca, que no mais do
que a rede de Bravais original. A rede recproca nem sempre possui a mesma
simetria da rede direta. Por exemplo, a rede recproca de um rede fcc uma rede
bcc.
6.3 Sistemas magnticos
Os spins em sistemas magnticos podem apresentar uma grande variedade de es-
truturas ordenadas, to diversas quanto as encontradas na ordem atmica crista-
lina.
Os spins associados aos eltrons atmicos interagem entre si atravs de diver-
sas foras de interao. Uma das mais importantes, que se origina nas interaes
eletrostticas dos eltrons, a interao de troca, que para uma par de spins

S se
escreve na forma:
J

S
1

S
2
. (6.11)
S representa o operador de spin em sistemas qunticos ou o vetor de momento

dipolar magntico em sistemas clssicos. Detalhes importantes desta interao
que no depende da orientao relativa dos spins com respeito rede cristalina.
Depende apenas da orientao relativa dos vetores de spin. Ela isotrpica. A
interao de troca a responsvel principal pelo surgimento do ferromagnetismo
em algumas substncias como os metais de transio Fe, Ni e Co. Em um sis-
tema com N spins em interao, o modelo mais bem sucedido para descrever
uma srie de propriedades dos materiais ferromagnticos, como a transio entre
fases paramagntica e ferromagntica, correlaes entre spins, susceptibilidades
magnticas, calor especco, etc. o modelo de Heisenberg:
1 = J
i,j
S
i

S
j
(6.12)
onde os pares i, j correspondem a todos os pares de vizinhos prximos. O mo-
delo de Heisenberg pode ser analizado na verso quntica, na qual as variveis
S
i
so operadores de spin, ou na verso clssica, na qual os

S
i
so vetores. A
constante de troca J pode ser positiva ou negativa. Quando positiva, a intera-
o tende a alinhar spins vizinhos, o que leva ao estado ferromagntico. Quando
J < 0 a energia de troca minimizada quando um spin ca antiparalelo aos seus
vizinhos prximos, isto leva ao estado antiferromagntico, como mostrado esque-
maticamente na gura 6.3.
Uma outra interao entre momentos magnticos importante a interao di-
polar, de origem clssica, que tem a forma:
g
i<j
S
i
S
j
3(
S
i
e
ij
)( e
ij

S
j
)
r
3
ij
, (6.13)
Figura 6.3: Algumas estruturas magnticas .
onde e
ij
= r
ij
/r
ij
so vetores unitrios na direo que une os stios i e j. Notamos
que esta interao de longo alcance, decaindo com a inversa do cubo da distn-
cia entre pares de spins. Ela tambm anisotrpica, dependendo da orientao
relativa dos spins com os vetores da rede r
ij
. A interao dipolar tipicamente
4 ordens de grandeza menor que a interao de troca, e por tanto no o fator
principal que leva ao alinhamento dos spins na fase ferromagntica. No entanto,
seu carter de longo alcance produz campos magnticos locais fortes, sendo res-
ponsvel pela origem dos domnios magnticos. Uma substncia ferromagntica
em ausncia de campo externo no apresenta, pelo geral, um alinhamento global
dos spins, mas um mosaico de domnios onde os spins apontam em diferentes di-
rees, como mostra a gura 6.4. Estas conguraes so escolhidas pelo sistema
para minimizar a energia magntica global.
Em alguns cristais o efeito do potencial cristalino forte o suciente para
ser sentido pelos eltrons, produzindo a interao spin-rbita. Uma manifestao
Figura 6.4: Domnios magnticos
deste tipo de interao a presena de uma campo de anisotropia sobre os spins,
chamada anistropia magnetocristalina. No caso de anisotropia uniaxial de eixo
fcil z, a forma mais elementar de representar sua contribuio energtica :
D
i
S
2
iz
(6.14)
Notamos que esta anisotropia depende quadraticamente da componente z do spin,
e por tanto no distingue sentidos, apenas uma direo no espao. Esta contribui-
o energtica contribui para o alinhamento dos spins na direo z.
Quando estas trs formas de interao magntica esto presentes simultane-
amente em um sistema, podem dar lugar a uma variedade enorme de estruturas
magnticas no estado fundamental, dependendo das intensidades relativas de J,
g e D. A temperatura nita transies de fases entre diferentes tipos de ordem
magntica podem surgir. Em lmes magnticos ultranos com anisotropia per-
pendicular, a competio entre estas interaes produz transies de fase a tempe-
raturas nitas entre estruturas semelhantes as fases dos cristais lquidos, somente
que neste caso as estruturas correspondem a ordem de spin e no a ordem posici-
onal das molculas, como se ve na gura 6.5.
Existem diversas tcnicas experimentais para medir ordem magntica. Uma
tcnica clssica difrao de nutrons, j que o nutron possui spin que interage
com o spin eletrnico. No entanto para poder distinguir picos correspondentes
a estrutura de spin, de picos correspondentes estrutura cristalina, necessrio
que o tamanho das clulas unitrias magntica e cristalinas sejam diferentes. Ou-
tras tcnicas amplamente utilizadas na atualidade so microscopia de fora at-
mica (AFM), microscopia de fora magntica (MFM), e uma variedade de es-
pectrometrias de espalhamento de eltrons, como a microscopia de varredura de
Figura 6.5: Domnios em lmes ultranos de Fe/Cu(001) com magnetizao per-
pendicular.
eltrons, que permitem obter diretamente imagens da estrutura magntica dos to-
mos, como por exemplo SEMPA (Scanning electron microscopy with polarization
analysis), utilizada para obter as imagnes da gura 6.5.
6.4 Ordem posicional e orientacional em cristais l-
quidos, microemulses e copolmeros de dibloco
Os lquidos e os slidos so dois casos extremos de ordem e simetria. Os lquidos
apresentam a mxima simetria possvel do grupo espacial: translaes e rotaes
arbitrrias em R
3
. Os lquidos so maximamente desordenados, apresentam ape-
nas ordem de curto alcance, mas nenhum tipo de ordem de longo alcance. J os
slidos cristalinos apresentam um grupo de operaes de simetria muito reduzido
respeito dos lquidos: so invariantes frente um conjunto discreto de translaes
compatveis com a periodicidade da rede, e possivelmente frente a um conjunto
discreto de rotaes. Apresentam ordem de longo alcance, originado na estrutura
cristalina peridica. Daqui em diante vamos denir a ordem determinada pela in-
varincia frente a translaes espaciais como sendo uma ordem posicional, e a
ordem por invarincia frente a rotaes como ordem orientacional.
Entre estes dois extremos existem materiais que apresentam todo um espectro
de simetrias e ordens intermedirios. O exemplo paradigmtico so os cristais
lquidos, substncias formadas por molculas anisomtricas (sem simetria esf-
rica). Molculas tpicas que formam cristais lquidos so de dois tipos bsicos:
alongadas (molculas calamticas) ou com forma de disco (molculas discticas).
Em geral, a parte interna destas molculas rgida e a parte externa, uida. Este
carter duplo da estrutura das molculas d origem a interaes chamadas estri-
cas, que levam a diversos tipos de ordem orientacional, juntamente com o carter
uido das fases dos cristais lquidos.
A altas temperaturas, as molculas em um cristal lquido (que podemos
representar esquematicamente como elipsoides alongados, como na gura
6.7), esto desordenadas. A desordem diz respeito tanto aos seus centros
de massa (desordem posicional) quanto as orientaes dos eixos de sime-
tria das molculas (desordem orientacional). Neste regime, o cristal lquido
apresenta uma estrutura idntica de um uido isotrpico. O fator de estru-
tura (em funo de
k
1
,
k
2
,
k
3
) apresentar tipicamente duas cascas esfricas
com raios correspondentes aos dois comprimentos caractersticos das mo-
lculas: o comprimento l e o dimetro a. Em uma projeo bidimensional,
como na gura 6.8, as esferas sero crculos.
Quando o lquido resfriado abaixo de uma temperatura caracterstica, apa-
rece uma primeira fase ordenada conhecida como fase nemtica (N, ver
gura 6.7(b)). Em esta fase as molculas apontam preferencialmente ao
longo de uma direo, especicada por um vetor unitrio n chamado dire-
tor. Seus centros de massa permanecem desordenados. Por tanto, a fase
nemtica quebra a simetria orientacional mas no a translacional. um
exemplo tpico de ordem orientacional. O sistema ainda apresenta invari-
ncia rotacional em um plano perpendicular ao diretor. Mas em qualquer
plano que contenha o diretor a simetria reduzida a rotaes discretas de
ngulo 180
o
. Na realidade o diretor no propriamente um vetor, mas um
pseudo-vetor, j que os dois extremos so identicados ou equivalentes.
Figura 6.6: Algumas molculas que produzem fases de cristais lquidos e as tran-
sies de fases em funo da temperatura.
Vamos ver que a ordem nemtica, diferentemente da ordem magntica por
exemplo, no vetorial, mas tensorial. Na fase nemtica o fator de estrutura
(ou sua projeo em 2d) reete a quebra de simetria orientacional: ele pre-
serva a simetria frente a rotaes arbitrrias em um plano perpendicular ao
diretor (crculo de raio maior na gura 6.8). mas na direo de n apresenta
Figura 6.7: Ilustrao esquemticas das fases em cristais lquidos
invarincia de rotao apenas por ngulos de .
Uma possibilidade mais complexa de fase nemtica produzida por mo-
lculas quirais, como o colesterol , que no apresentam simetria frente a
reexes. Estas molculas produzem uma fase nemtica quiral ou coles-
trica, (N
). Nesta fase, as molculas na direo de alinhamento giram

formando uma hlice, com um passo que tipicamente de alguns milhares
de angstroms. Por tanto as molculas colestricas espalham luz visvel.
Diminuindo mais a temperatura se pode passar de uma fase nemtica para
uma nova fase chamamda fase esmtica-A (Sm A, ver gura 6.7(c)).
Nesta fase as molculas se organizam em camadas bem diferenciadas. Os
planos das camadas so perpendiculares aos eixos maiores das molculas,
e a espessura destas camadas corresponde tipicamente ao comprimento l
das molculas. Em cada camada as molculas se encontram desordenadas
posicionalmente e podem uir nos planos. As camadas correspondem
presena de uma onda de densidade na direo perpendicular as mesmas.
Por tanto existe ordem translacional ou posicional na direo perpendicular
as camadas, ao longo dos eixos moleculares, ou paralelo ao diretor n. A
onda de densidade pode ser denida como:
n(x) = n
0
+ 2n
q
0
cos (q
0
z), (6.15)
onde q
0
= 2/l, e o eixo z perpendicular aos planos. Esta onda de den-
sidade produz um fator de estrutura caracterizado por dois picos de Bragg
simtricos em q
0
:
S(q) = [n
q
0
[
2
(2)
3
[(q q
0
e
z
) + (q + q
0
e
z
)] . (6.16)
Na realidade, utuaes trmicas destroem a ordem posicional de longo
alcance das camadas, e o fator estrutura em lugar de apresentar duas deltas
apresenta dois picos com leis de potncias. Estes so chamados quase-picos
de Bragg, em lugar de picos de Bragg, e a ordem esmtica correspondente
se chama ordem de quase-longo alcance (OQLA), em lugar da ordem de
longo alcance (OLA) dos cristais.
Em alguns cristais lquidos a fase esmtica apresenta um projeo nita
do diretor sobre o plano das camadas, o diretor est inclinado respeito da
normal as camadas. Ainda mais, a projeo apresenta uma direo denida,
como mostra a gura 6.7(d). Esta fase chamada fase esmtica C (Sm
C). A fase esmtica C possui uma simetria inferior a da fase esmtica A. A
Figura 6.8: O fator de estrutura nos cristais lquidos
direo da projeo de n no plano das camadas dene um eixo c ou diretor-
c. Pode haver uma transio entre as fases esmtica A e esmtica C. O fator
de estrutura nestas fases tem a forma genrica descrita na gura 6.8(c) e (d).
Quando um cristal lquido na fase esmtica A resfriado, ele pode conden-
sar emuma fase cristalina, comordemposicional de longo alcance, ou ento
pode condensar na chamada fase esmtica B. Na fase esmtica B o cristal
lquido apresenta ordem orientacional de quase-longo alcance no plano das
camadas, com simetria rotacional de ordem 6. Uma fase com esta simetria
frente a rotaes se chama fase hextica. No fator de estrutura, esta sime-
tria se manisfesta pela presena de arcos difusos no entorno dos valores de
q = 2/a, separados por ngulos de 2/6, como mostra a gura 6.9. Notar
a diferea entre os picos de Bragg de uma fase cristalina com simetria he-
xagonal, na qual as molculas se encontram sobre os vrtices de uma rede
triangular no plano, e os picos difusos, ou quase-picos de Bragg de uma fase
com ordem orientacional hextica, onde as molculas no ocupam os stios
de uma rede cristalina perfeita. O fator de estrutura de uma fase hextica no
plano pode ser expandido em srie de Fourier:
S() =
n
S
6n
cos (6n) (6.17)
onde corresponde a um ngulo no plano a partir do mximo mais intenso
do fator de estrutura, por exemplo. De forma semelhante, se pode denir o
grau de ordem em uma fase hextica atravs do parmetro de ordem com-
plexo:
6
= e
6i
(6.18)
onde representa o ngulo entre a linha que une dois tomos e o eixo x, por
exemplo.
Figura 6.9: a) Estrutura cristalina hexagonal e fator de estrutura, b) Ordem orien-
tacional na fase hextica e fator de estrutura
Outro exemplo de sistema fsico com uma variedade grande de fases con-
densadas so os polmeros. Por exemplo, os copolmeros de dibloco so sistemas
formados por duas cadeias polimricas, cada uma das quais formada por um tipo
molecular. Em funo da concentrao e temperaturas estes sistemas apresentam
segregao espontnea dos dois tipos moleculares, com formao de estruturas
complexas como lamelas, bolhas e faixas, similares as fases dos cristais lquidos,
porm de natureza completamente diferente. O controle da periodicidade destas
estruturas importante para potenciais aplicaes na industria de semicondutores,
onde os copolmeros podem ser utilizados como moldes para a posterior depo-
sio de outros materiais para fabricar microcircuitos ou redes de partculas em
escalas nanoscpicas. Ver guras 6.10 e 6.11.
Figura 6.10: Parte superior: imagens de SFM do copolmero PS-PVP. Figuras
centrais: construo da rede de Voronoi das imagens de SFM mostrando defeitos
na estrutura. Parte inferior: transformadas de Fourier das imagens. Tomado de R.
Segalman et al., Macromolecules 36, 3272 (2006).
Figura 6.11: Copolmeros de dibloco formando estruturas lamelares e cilndricas,
imagens de SEM, R. Ruiz et al. Phys. Rev. B 77, 054204 (2008).
6.5 Simetrias e parmetros de ordem
Como se pode concluir do visto at aqui, consideraes de simetria tm um papel
central na matria condensada. Os fenmenos mais dramticos da matria con-
densada, as transies de fase, muitas vezes podem ser analizadas e entendidas a
partir de transformaes das condies de simetria do sistema frente a variao de
parmetros externos, como temperatura, presso ou campos eltricos e magnti-
cos.
Um sistema fsico descrito analticamente pelo Hamiltoniano do mesmo. O
Hamiltoniano apresenta invarincia frente a algumas operaes de simetria, que
permitem tirar concluses sobre o comportamento e a estrutura do sistema sob
diferentes condies. Em um gs ideal por exemplo, o Hamiltoniano invariante
frente ao grupo espacial composto por translaes, rotaes e reexes arbitrrias
do espao, alm de translaes e reverso temporal. O Hamiltoniano de Heisen-
berg (6.12) invariante frente a translaes e reverso temporal alm de rotaes
globais dos spins respeito de um eixo arbitrrio. Tipicamente, a altas temperatu-
ras ou em sistemas diluidos, o sistema se encontra em uma fase desordenada, a
qual invariante frente a operaes do mesmo grupo ( de invarincia do Hamil-
toniano. Em uma transio de fase alguma invarincia quebrada. Operadores
que no permanecem invariantes atravs de uma transio de fases so chamados
parmetros de ordem. No modelo de Heisenberg, a magnetizao:
M =
1
N
S
i
(6.19)
o parmetro de ordem. A invarincia frente ao grupo de rotao simultnea
de todos os spins em 1
3
existente no Hamiltoniano do modelo de Heisenberg,
quebrada para T < T
c
, onde T
c
a temperatura crtica do modelo. Acima de T
c
,
M = 0, e abaixo de T
c
,
M , = 0. O grupo de simetria original reduzido

ao subgrupo de rotaes respeito a eixos paralelos a

M. O sistema no mais
invariante frente a rotaes dos spins respeito de eixos perpendiculares a

M. A
fase ordenada do modelo de Heisenberg uma fase com simetria quebrada.
Para especicar completamente o comportamento de uma fase ordenada, te-
mos que saber como o parmetro de ordem se transforma frente a uma operao
do grupo de simetria. No caso do modelo de Heisenberg, o grupo de simetria
o grupo das rotaes. Uma rotao especca g ( pode ser representada por
uma matriz 3 3, U
ij
(g), de forma que M
i
U
ij
(g)M
j
frente a uma rotao g.
No caso geral de um parmetro de ordem
a
, a = 1 . . . n, ste ir se transformar
frente a uma representao n-dimensional do grupo (: para cada operao g no
grupo, existir uma matriz T
ab
(g) tal que
a
T
ab
(g)
b
. A forma mais econ-
mica de representar um grupo de simetria usar uma respresentao irredutvel
com a menor dimenso possvel.
A quebra de simetria em uma transio de fase se reete na estrutura termo-
dinmica do sistema: o nmero de mnimos na energia livre igual ao nmero
de elementos do grupo de simetria associado ao parmetro de ordem. Para ex-
plorar esta interpretao importante distinguir grupos de simetria discretos e
continuos. Se o grupo de simetria for discreto ento existiro um nmero discreto
de fases termodinmicas equivalentes, enquanto que no caso do grupo ser conti-
nuo haver uma variedade continua onde cada ponto representa uma possvel fase
termodinmica. O modelo de Ising um exemplo do primeiro caso e o modelo de
Heisenberg pertence ao ltimo grupo.
Outra distino importante entre simetrias locais ou globais. Um sistema
possui uma simetria local se invariante frente a operaes do grupo de simetria
aplicadas localmente, a uma parte do sistema. Este caso o menos comum. O Ha-
miltoniano do modelo de Heisenberg possui uma simetria global, que corresponde
rotao simultnea dos spins por um ngulo xo respeito de qualquer eixo. O
grupo de simetria correspondente o O
3
, o grupo de rotaes em trs dimenses.
O modelo de Ising representa um material ferromagntico com um eixo de
anisotropia que fora os spins a apontar em um nica direo. O Hamilto-
niano :
1 = J
ij
j
(6.20)
onde
i
= 1. Ogrupo de simetria do parmetro de ordem, a magnetizao,
o grupo discreto Z
2
.
Uma generalizao do modelo de Heisenberg onde o parmetro de ordem
tem n componentes o modelo O(n), cujo grupo de simetria continua o
O
n
. Este modelo interessante porque se reduz ao modelo de Ising no caso
n = 1, ao modelo chamado XY para n = 2, ao modelo de Heisenberg para
n = 3, e exatamente solvel no limite n .
O modelo XY corresponde a um ferromagneto com um plano fcil. O
vetor de magentizao forado a estar sobre o plano. Possui um grupo de
simetria continua, que o O
2
. Outra realizao desta simetria na transio
lquido normal- superuido. Neste caso, o parmetro de ordem a funo
de onda do lquido quntico:
= [[ e
i
(6.21)
que um nmero complexo e por tanto pode ser representado como um
vetor em duas dimenses, com mdulo igual a [[ e fase igual a . Na
representao complexa o grupo de simetria o U(1) que isomorfo com
o O
2
.
Captulo 7
Transies de fase e fenmenos
crticos
7.1 O modelo de Ising em d = 1: soluo exata
O modelo de Ising foi originalmente concebido como um modelo para um ma-
terial ferromagntico com forte anisotropia uniaxial. O prprio Ising obteve a
soluo completa da termodinmica do modelo em uma dimenso espacial. O
Hamiltoniano do modelo de Ising em um campo magntico externo B dado por:
1 = J
ij
j
B
N
i=1
i
(7.1)
onde
i
= 1. Para resolver o modelo em uma dimenso til rescrever o Ha-
miltoniano em uma forma simtrica:
1 = J
N
i=1
i+1
1
2
B
N
i=1
(
i
+
i+1
) (7.2)
e vamos considerar condies peridicas de contorno identicando
N+1
=
1
.
Deste forma a cadeia ca fechada formando um anel e os efeitos das bordas do
sistema aberto so suprimidos. No limite termodinmico estas condies de con-
torno no afetam os resultados, que coincidem com os da cadeia original aberta
70
nos extremos. A funo de partio cannica pode ser escrita na forma:
Z(T, B) =
1
=1

N
=1
e
N
i=1
J
i

i+1
+
1
2
B(
i
+
i+1
)
(7.3)
=
1
=1

N
=1
1
[P[
2
2
[P[
3

N1
[P[
N
N
[P[
1
.
Na expresso anterior P denota o operador com elementos de matriz dados por:
i
[P[
i+1
= exp
_
_
J
i
i+1
+
1
2
B(
i
+
i+1
)
__
(7.4)
Ento
P =
_
e
(J+B)
e
J
e
J
e
(JB)
_
(7.5)
Como todos os termos tm a mesma estrutura, a funo de partio se reduz a:
Z(T, B) =
1
=1
1
[P
N
[
1
= Tr P
N
=
N
1
+
N
2
(7.6)
onde
1
e
2
so os autovalores do operador P. Os autovalores so determinados
pelo determinante secular
e
(J+B)
e
J
e
J
e
(JB)
= 0 (7.7)
cuja soluo :
1,2
= e
J
cosh (B)
_
e
2J
+ e
2J
sinh
2
(B)
_
1/2
(7.8)
Se pode vericar que
2
<
1
de forma que (
2
/
1
)
N
0 quando N .
Assim, s o maior autovalor determina o comportamento do sistema no limite
termodinmico. A energia livre de Helmholtz dada por:
F(T, B) = k
B
T ln Z(T, B) Nk
B
T ln
1
(7.9)
= NJ Nk
B
T ln
_
cosh (B) +
_
e
4J
+ sinh
2
(B)
1/2
_
A magnetizao por stio m = M/N dada por:
m(T, B) =
_
F
B
_
T
=
sinh (B)
_
e
4J
+ sinh
2
(B)
1/2
(7.10)
Notamos que se o campo externo for nulo a magnetizao tambm ser zero para
qualquer temperatura nita. Isto elimina a possiblidade de ter uma transio de
fase para uma fase commagnetizao espontnea a temperatura nita. No entanto,
tambm possvel ver que para T = 0 a magnetizao satura no valor m = 1 in-
dependentemente do valor de B, o que indica a presena de uma transio de fase
a T = 0. Tambm, a partir do resultado anterior, podemos obter a magnetizao
do paramagneto fazendo J = 0 m = tanh(B).
Para campos externos fracos B 1 podemos aproximar os senos hiperblicos
pelo primeiro termo da srie de Taylor, linear em B, e derivando em relao ao
campo obtemos a susceptibilidade da cadeia de Ising no regime de resposta linear:
0
(T) =
_
m
B
_
T
=
e
2J/k
B
T
k
B
T
(7.11)
Notamos que a susceptibilidade diverge exponencialmente para T 0, diferen-
temente do que acontece em um ponto crtico usual onde a divergncia como lei
de potncia. A densidade de energia interna u = U/N a campo nulo dada por:
u
0
(T) =
ln Z(T, B = 0)
= J tanh (J) (7.12)

e o calor especco:
c
0
(T) =
u
0
T
= k
B
(J)
2
sech
2
(J) (7.13)
O calor especco apresenta apenas um mximo arredondado, como se pode ver
na gura 7.1, semelhante ao que acontece em qualquer sistema de dois estados, o
que conhecido como efeito Schottky.
Como a cadeia de Ising um sistema de spins em interao, natural su-
por que os spins devem apresentar correlaes. Vejamos como calcular funes
de correlao spin-spin neste sistema. Fixamos B = 0 e vamos permitir que a
constante de interao J = J
i
seja agora funo da posio, por motivos apenas
tcnicos que sero esclarecidos a seguir. Alm disso, vamos considerar agora uma
cadeia aberta, de forma que possui somente N 1 pares de vizinhos prximos.
Desta forma, a funo de partio do sistema pode ser escrita como:
Z(T, J
1
, . . . , J
N1
) =
1
=1

N
=1
N1
i=1
e
J
i
i

i+1
(7.14)
Figura 7.1: O calor especco da cadeia de Ising.
Notamos que os fatores com
1
e
N
aparecem apenas uma vez. Somando o
correspondente com
N
obtemos:
N
=1
e
J
N1
N1

N
= 2 cosh (J
N1
N1
) = 2 cosh (J
N1
) (7.15)
onde a ltima identidade se deve a que o cosh funo par e
i
= 1. Procedendo
com as somas podemos escrever uma relao de recorrncia para a funo de
partio:
Z(T, J
1
, . . . , J
N1
) = 2 cosh(J
N1
)Z(T, J
1
, . . . , J
N2
) (7.16)
Substituindo os valores do lado direito obtemos uma soluo para a iterao:
Z(T) =
N1
i=1
[2 cosh (J
i
)]
1
=1
1 = 2
N
N1
i=1
cosh (J
i
) (7.17)
e por tanto
1
N
ln Z(T) = ln 2 +
1
N
N1
i=1
ln cosh (J
i
) (7.18)
De (7.14) observamos que a correlao entre um par de spins vizinhos dada por:
k+1
=
1
Z
_
1
J
k
_
Z =
_
1
J
k
_
ln Z (7.19)
Derivando o resultado (7.18) obtemos:
k+1
= tanh (J
k
) (7.20)
Para obter a correlao entre um par de spins separados por uma distncia arbitr-
ria r, notamos que como
i
= 1:
k+r
= (
k
k+1
)(
k+1
k+2
) . . . (
k+r1
k+r
)
=
1
Z
_
1
J
k
__
1
J
k+1
_

_
1
J
k+r1
_
Z
=
k+r1
i=k
tanh (J
i
) (7.21)
Como estamos interessados em um valor constante para a interao J
i
= J i,
obtemos:
k+r
= tanh
r
(J) (7.22)
Notamos que a T = 0 a correlao entre qualquer par de spins
k
k+r
= 1, o
que corresponde a qualquer dos estados fundamentais comtodos os spins positivos
ou todos negativos. Para T > 0 podemos escrever
k+r
= e
r/
(7.23)
com o comprimento de correlao (T) dado por:
(T) = [ln coth (J)]
1
(7.24)
Para temperaturas baixas J 1:

1
2
e
2J
(7.25)
que diverge exponencialmente para T 0. Ento vemos que, para temperaturas
nitas, os spins do sistema apresentam uma correlao que decai exponencial-
mente com a distncia entre o par de spins considerados. Por sua vez, a correla-
o decai com uma distncia tpica , o comprimento de correlao, que depende
da temperatura, sendo muito grande a temperaturas baixas e divergindo quando
T 0, como acontece em geral no ponto crtico de transies de fase continuas,
embora a divergncia neste caso seja exponencial en lugar de algbrica como nos
pontos crticos usuais. Neste sentido, o modelo de Ising em d = 1 anmalo pois
no apresenta magnetizao espontnea a temperatura nita e apenas apresenta
uma transio de fase a temperatura nula.
7.2 Teoria de campo mdio do modelo de Ising
Quando vamos de uma dimenso para dimenses superiores as diculdades tcni-
cas para resolver a mecnica estatstica aumentam consideravelmente, e pouquis-
simos sistemas podem ser resolvidos de forma exata. Ento importante desen-
volver ferramentas para aproximar o clculo. Existe um grande nmero de tc-
nicas para obter solues aproximadas de modelos estatsticos, como expanses
em sries de alta e baixa temperatura, simulaes computacionais, aproximaes
baseadas em teorias de campos. A mais simples aproximao de aplicao geral
a muitos sistemas a teoria de campo mdio.
A teoria de campo mdio comeou com a aproximao da equao de estado
para um lquido clssico por van der Waals (1873). Em 1906, Pierre Weiss desen-
volveu uma aproximao equivalente para estudar a transio de fase em materi-
ais ferromagnticos. Em 1934, W. L. Bragg e E. J. Williams desenvolveram uma
aproximao de campo mdio para a transio ferromagntica equivalente a de
Weiss mas que pode ser generalizada facilmente a diferentes sistemas e situaes.
7.2.1 Aproximao de Bragg-Williams
Na aproximao de Bragg-Williams comeamos calculando a entropia correspon-
dente a conguraes dos spins com magnetizao xa m. A magnetizao do
modelo de Ising (7.1), m =
i
, igual a m = (N
+
N
)/N, onde N
+
o
nmero de spins para cima, N
o nmero de spins para baixo e N o nmero

total de spins no sistema.
Para um dado valor de m existe um nmero grande de conguraes possveis
de spins para cima (+) ou para baixo (-). O logaritmo desse nmero o nmero
de estados de magnetizao m, ou entropia microcannica do sistema:
S
k
B
= ln
_
N
N
+
_
= ln
_
N
N(1 + m)/2
_
= ln
_
N!
(N(1 + m)/2)!(N(1 m)/2)!
_
(7.26)
Usando a aproximao de Stirling para N grande:
N!
2N
_
N
e
_
N
, (7.27)
obtemos
S
k
B
N

s(m)
k
B
= ln 2
1
2
(1 + m) ln(1 + m)
1
2
(1 m) ln(1 m) (7.28)
Para obter o potencial termodinmico de interesse, f(T, m) = U(m) TS(m),
temos que calcular a energia interna, U = H:
U = Z
1
m
Tr
m
H e
H
. (7.29)
Notar que Tr
m
um trao restrito a conguraes com magnetizao m, Z
m
=
Tr
m
e
H
, = 1/k
B
T e k
B
a constante de Boltzmann. O clculo de Z
m
com-
plexo e equivale a obter a soluo exata para o modelo. Em seu lugar realizamos
um clculo aproximado. Na aproximao de Bragg-Williams se substitui o valor
local do spin
i
por seu valor mdio m independente da posio :
U = J
ij
j
h
N
i=1
i,j
m
2
h
N
i=1
m =
1
2
JNzm
2
Nhm, (7.30)
onde z o nmero de vizinhos prximos dos stios da rede. Na rede quadrada em
d dimenses z = 2d. A densidade de energia livre de Bragg-Williams dada por:
f(T, m) = (U TS)/N
=
1
2
Jzm
2
hm +
k
B
T
2
[(1 + m) ln (1 + m) + (1 m) ln (1 m)]
k
B
T ln 2 (7.31)
O comportamento da funo f(T, m) para h = 0 est representado gracamente
para diversas temperaturas na gura 7.2.
Na gura da esquerda, para campo externo nulo, vemos que a altas temperatu-
ras a funo apresenta umnico mnimo, para m = 0. Esta a fase paramagntica.
A uma temperatura bem denida T
c
a funo passa a ter dois mnimos simtricos
m. O valor absoluto destes mnimos, [m[, cresce a medida que a temperatura
baixa com [m[ 1 quando T 0. No entorno de T
c
o valor de m muito
pequeno, en ento podemos expandir as funes termodinmicas em potncias de
m:
s(m) = ln 2
1
2
m
2
1
12
m
4
+ . . . (7.32)
Figura 7.2: A energia livre na aproximao de Bragg-Williams.
e
f(T, m) =
1
2
(k
B
T zJ)m
2
+
1
12
k
B
T m
4
k
B
T ln 2 + . . . (7.33)
Para T xa, a funo f apresenta um mnimo nico em m = 0 se T zJ/k
B
.
Exatamente em T
c
= zJ/k
B
a funo desenvolve dois mnimos simtricos com
m ,= 0. Esta temperatura indica a presena de uma quebra espontnea da simetria
de inverso do modelo de Ising, assinatura de uma transio de fase de segunda
ordem, na temperatura crtica:
T
c
=
zJ
k
B
(7.34)
Em presena de um campo magntico externo h, a energia livre f mh
assimtrica, como mostra a gura da direita em 7.2. Para temperaturas altas T >
T
c
a energia livre apresenta um nico mnimo m > 0, e para uma T < T
c
aparece
um segundo mnimo local. O mnimo com m > 0 continua sendo o mnimo
absoluto, e por tanto o comportamento do parmetro de ordem no muda neste
caso em T = T
c
. A equao de estado em presena de um campo externo dada
por:
f
m
= zJmh +
k
B
T
2
ln [(1 + m)/(1 m)]
= zJmh + k
B
T tanh
1
m = 0 (7.35)
Ento
m = tanh [(h + zJm)]. (7.36)
A quantidade h + zJm o campo local mdio, o mesmo para todos os stios
do sistema. Ele tem uma contribuio do campo externo h e uma contribuio
proveniente do campo molecular produzido pelos vizinhos prximos de um stio,
zJm = k
B
T
c
m. O comportamento da equao de estado pode ser visualizado na
gura 7.3.
Expandindo a equao de estado para temperaturas baixas e campo nulo obte-
mos:
m = tanh (zJm) 1 2 e
2zJ
(7.37)
e por tanto m 1 exponencialmente rpido com T. Perto da temperatura de
transio m 1 e podemos expandir para m pequeno:
m (T
c
/T)m
1
3
(T
c
/T)
3
m
3
(T
c
/T) m
1
3
m
3
, (7.38)
onde no ltimo passo aproximamos (T
c
/T)
3
1 j que o termo cbico tende
para um mais rpido que o termo linear quando T T
c
. Notamos que m = 0
sempre soluo. Existem outras duas solues com m ,= 0:
m = [3(T
c
T)/T]
1/2
(7.39)
Vemos que m va a zero de forma continua a medida que T T
c
. A transio de
fase ferromagntica-paramagntica uma transio de segunda ordem na aproxi-
mao de campo mdio. O expoente 1/2 um exemplo de expoente crtico. Este
comportamento da magnetizao do modelo de Ising, decaimento continuo para
Figura 7.3: A equao de estado na aproximao de Bragg-Williams.
zero com uma lei de potncias e o correspondente expoente crtico, uma mani-
festao genrica de transies de fase de segunda ordem, ou continuas. Todos os
sistemas/modelos cujo parmetro de ordem apresenta o mesmo comportamento
crtico, no sentido do parmetro de ordem ir a zero com uma lei de potncias
caracterizada por um mesmo expoente, pertencem a mesma classe de universali-
dade.
Na aproximao de Bragg-Williams, como desenvolvida acima, assumimos
que o parmetro de ordem espacialmente uniforme
i
= m. Esta condio
pode ser relaxada para permitir um parmetro espacialmente varivel
i
= m
i
.
Neste caso a energia livre escrita na forma:
F =
1
2
i,j
J
ij
m
i
m
j
T
i
s(m
i
) (7.40)
Esta forma prefervel para tratar casos nos quais o parmetro de ordem no
uniforme, como o caso de fases moduladas em cristais lquidos, ou diferentes
tipos de ordem antiferromagntica.
7.3 A teoria de Landau de transies de fase
A teoria de Landau uma teoria de campo mdio de carter muito geral, baseada
nas propriedades de simetria do potencial termodinmico F(T, N, V, (x)).
7.3.1 Transies de fase continuas
Landau props que a forma do potencial F podia ser deduzida, de forma fenome-
nolgica, essencialmente atravs da seguinte premisa:
O potencial F(T, N, V, (x)) deve ser uma funo invariante respeito de
operaes do grupo de simetria G da fase desordenada.
O segundo ponto fundamental na teoria de Landau a seguinte observao:
Perto da transio de fase, o parmetro de ordem pequeno (em uma tran-
sio de segunda ordem), e ento se pode fazer uma expanso do potencial
F em srie de Taylor do parmetro de ordem:
f(T, )
F
V
=
n=0
a
n
([K], T)
n
(7.41)
onde = (x). Vamos assumir por enquanto que o parmetro de ordem
espacialmente homogneo. Tambm vamos assumir daqui em diante que
o nmero de partculas N e o volume V do sistema considerado so cons-
tantes, e por tanto no vamos inclu-los explicitamente em f. A suposio
que f possa ser desenvolvida em uma srie de Taylor implica que ela uma
funo analtica de perto da transio.
Na prtica, a expanso (7.41) poder ser truncada para um nmero pequeno de
termos. Quantos termos sero necessrios para descrever corretamente a transio
de fase depender essencialmente da dimenso espacial d e da dimenso do espao
do parmetro de ordem. No caso do modelo de Ising, o truncamento at ordem
4
suciente. No entanto, importante notar que na expanso devemestar presentes
todas as combinaes analticas do parmetro de ordem que deixam invariante f
frente ao grupo de simetria G.
A equao de estado para o parmetro :
f
= h = a
1
+ 2a
2
+ 3a
3
2
+ 4a
4
3
(7.42)
Como para T > T
c
, deve ser nulo se o campo externo for nulo, ento a
1
= 0.
No caso particular do modelo de Ising, o grupo de simetria G o grupo das
reexes, e por tanto f() = f(). Ento f somente poder ter potncias pares
de :
f = a
0
+ a
2
2
+ a
4
4
. (7.43)
Como queremos que o estado termodinmico seja estvel para T < T
c
, a
4
> 0.
Caso contrrio poderiamos ter a soluo como mnimo absoluto de f.
O coeciente a
0
o valor de f para T > T
c
, quando = 0. Se pode pensar
nele como contendo as contribuies a f no provenientes do parmetro de ordem
de interesse. Nesse sentido, como o que queremos descrever a transio de fase
associada a , vamos considerar a
0
= 0, ou ento redenir f a
0
f.
Como os coecientes podem depender em geral da temperatura, perto da tran-
sio podemos expandi-los na forma:
a
2
= a
0
2
+
T T
c
T
c
a
1
2
+ O((T T
c
)
2
) (7.44)
a
4
= a
0
4
+
T T
c
T
c
a
1
4
+ O((T T
c
)
2
) (7.45)
Se pode escolher a
4
como uma constante positiva. Sua dependncia em T no
ser dominante para determinar o comportamento termodinmico na transio.
Da equao de estado aplicada a (7.43) obtemos para :
=
_
0 se T > T
c
_
a
2
(T)
2a
4
se T < T
c
(7.46)
Ento, para que possa ter uma soluo real e nita para T < T
c
se deve
exigir que a
0
2
= 0.
Se acrescentamos um termo proveniente de um campo externo h conjugado
de , a energia livre de Landau para o modelo de Ising adota a forma nal:
f =
1
2
r
2
+ u
4
h (7.47)
onde r = a (T T
c
) e as constantes foram reescritas de conformidad com a mai-
oria das refrencias na literatura. O comportamento do potencial f est descrito
na gura 7.4.
importante notar que a teoria de Landau fenomenolgica, ou seja, ela
no est baseada em um modelo microscpico, tendo sido obtida por argumen-
tos puramente de simetria. Ela fornece o comportamento qualitativo correto na
proximidade de uma transio de fase continua. Por exemplo, diferentemente da
aproximao de campo mdio de Bragg-Williams para o modelo de Ising, a te-
oria de campo mdio de Landau no prediz um valor para a temperatura crtica.
No entanto faz predies para grandezas universais, como expoentes crticos. De
(7.46) extraimos o comporamento do parmetro de ordem prximo da transio:
(T
c
T)
(7.48)
Vemos que 0 com o expoente crtico = 1/2. Este expoente o mesmo que
aparece na aproximao de Bragg-Williams. Na realidade todas as aproximaes
de campo mdio para um problema com dada simetria do como resultado os
mesmos expoentes, chamados de expoentes clssicos. Tanto a aproximao de
Bragg-Williams como a teoria de Landau consideram um parmetro de ordem
homogneo, desconsideram utuaes. Quando o papel das utuaes incluido
o expoente crtico toma valores menores, neste caso prximo de 1/3 em d = 3.
Podemos obter agora a equao de estado derivando (7.47) respeito de :
r + 4u
3
= h. (7.49)
A susceptibilidade pode ser obtida derivando a equao de estado respeito de h:
[r + 12u
2
]

h
= 1. (7.50)
Obtemos:
=

h
=
_
1/r se T > T
c
;
1/2[r[ se T < T
c
.
(7.51)
Substituindo a dependncia de r na temperatura:
[T T
c
[
. (7.52)
Figura 7.4: O funcional de Landau para um modelo com simetria de Ising.
o expoente crtico da susceptibilidade, que igual a 1 na teoria de Landau, e
corresponde ao valor universal de campo mdio para sistemas com parmetros de
ordem tipo Ising. Em sistemas tridimensionais toma valores prximos de 4/3
quando utuaes na vizinhana do ponto crtico so levadas em considerao.
Outro expoente crtico corresponde ao comportamento do parmetro de or-
dem em funo do campo externo na temperatura crtica. Novamente, a partir da
equao de estado (7.49) obtemos em T = T
c
:

_
h
4u
_
1/
, (7.53)
onde = 3. A energia livre f zero para T > T
c
e negativa para T < T
c
:
f =
_
0 se T > T
c
r
2
/(16u) se T < T
c
.
(7.54)
Deste resultado podemos obter o valor do calor especco:
c
V
= T

2
f
T
2
=
_
0 se T > T
c
;
T a
2
/(8u) se T < T
c
.
(7.55)
O calor especco apresenta uma descontinuidade nita na temperatura crtica.
Este calor especco da a contribuio na vizinhana da transio de fase. A fun-
o completa apresenta outra contribuio analtica associada a outros graus de
liberdade. O comportamento com a temperatura de diversas grandezas termodi-
nmicas na aproximao de campo mdio pode ser vista na gura 7.5. Notar que
c
V
corresponde contribuio da energia livre de Landau mais uma parte analtica
proveniente de outros graus de liberdade.
7.3.2 Transies de primeira ordem na teoria de Landau
Na expanso emsrie de Taylor do potencial termodinmico umtermo linear em
proibido porque = 0 acima da temperatura crtica. Um termo cbico em foi
descartado com um argumento de simetria, no caso de umsistema com simetria de
Ising f() = f(). No entanto, um termo cbico pode existir em sistemas onde
a simetria da fase desordenada o permita. Consideremos a expanso do potencial
nesse caso:
f =
1
2
a t
2
+ w
3
+ u
4
h (7.56)
Figura 7.5: Comportamento de algumas grandezas termodinmicas na teoria de
Landau para um sistema com simetria Ising.
onde t (T T
c
). Para h = 0 a equao de estado leva as solues seguintes:
= 0 = c
_
c
2
a t/4u, (7.57)
onde c 3w/8u. Para ter uma soluo real ,= 0 , t < t
4uc
2
/a. Como t
>
0, esta condio acontece para uma temperatura maior que a temperatura crtica,
que agora corresponde apenas temperatura na qual o termo de segunda ordem
em na energia livre se anula. A gura 7.6 mostra o andamento do potencial com
a temperatura no caso w < 0. Para t < t
um segundo mnimo aparece, embora

o mnimo absoluto ainda corresponda a = 0. A uma certa temperatura t
1
o
valor de f igual para os dois mnimos, e abaixo desta temperatura o segundo
mnimo passa a ser o mnimo global. Em t
1
o parmetro de ordem apresenta uma
discontinuidade nita. Acontece uma transio de primeira ordem.
Figura 7.6: Uma transio de primeira orden na teoria de Landau.
No entanto, importante levar em conta que para t t
1
o parmetro de
ordem no arbitrariamente pequeno, e ento, a expanso de Landau no vlida
de forma geral. Quando a expanso justicada, a presea de um termo cbico
leva o sistema a apresentar uma transio de primeira ordem.
7.4 Flutuaes do parmetro de ordem
Embora o parmetro de ordem em um sistema homogneo seja uma constante ,
variaes espaciais (x) podem ser naturais em casos com presena de campos
externos inomogneos h(x) ou em sistemas com modulaes espaciais no campo
como por exemplo, quando existem interaes competitivas.
De um ponto de vista microscpico, o parmetro de ordem uma mdia es-
tatstica , que envolve uma soma sobre um conjunto de graus de liberdade
microscpicos em uma certa regio do espao. Por tanto vlido se perguntar
sobre qual o signicado fsico da funo da posio (x) em um contexto termo-
dinmico. Se pode dar um signicado a (x) considerando uma partio do
sistema em blocos de tamanho a
1
(T), onde a a constante de rede (a
distncia de equilbrio entre um par de partculas) e (T) um comprimento que
mede o alcance das correlaes no sistema. Ento, em uma escala
1
podemos
considerar que o parmetro de ordem efetivamente constante. Assim, deni-
mos o parmetro de ordem local
(x) como o valor do parmetro dentro de um

bloco com origem em x. Este processo se denomina granulado grosso (coarse
graining). Desta forma a energia livre de Landau ca bem denida na escala dos
blocos . O problema agora que ela depende da escala . Temos que somar
as contribuies de todos os gros que compoem o sistema. Mas a energia livre
no pode ser, como poderiamos concluir sem reetir, a soma de termos do tipo
F =
x
f(
(x)), pois esta quantidade equivale a considerar os valores de equi-

lbrio em cada bloco de forma independente. No entanto fcil se convencer que
no ser bom, de um ponto de vista energtico, ter grandes diferenas nos valo-
res de equilbrio de
(x) nos diferentes blocos. Uma forma de contornar este

problema incluir um termo que penalize grandes variaes do parmetro de or-
dem local (tambm chamado parmetro de ordem de granulado grosso). A forma
analtica mais simples que este termo pode tomar :
c
2
_
(x)
(x +
1
_
2
(7.58)
onde
um vetor de magnitude
1
apontando na direo do bloco vizinho pr-
ximo do ponto x, e o valor do custo em energia independente do sinal da dife-
rena dos parmetros de ordem em blocos vizinhos. A constante c pode depender
da temperatura.
Ento, considerando que
(x) varia pouco na escala a, e tomando o limite

continuo, podemos escrever a energia livre de Landau na forma:
F[
(x)] =
_
d
d
x f(T,
(x)) +
_
d
d
x
1
2
c [
(x)]
2
, (7.59)
onde
(x)
(x)
e f(T, (x)) tem a forma da densidade de energia livre

de Landau homognea (7.47). Agora a energia livre de Landau F[
(x)] um
funcional de
(x), no sentido que depende da funo
(x) em todos os pontos

x. Um corte, ou cutoff para distncias menores que
1
est implcito em todas
as integrais.
importante notar que o funcional de Landau F, ou energia livre de Landau,
NO a energia livre de Helmholtz F(T, ) do sistema. O funcional de Landau
, na verdade, uma energia livre de granulado grosso ou Hamiltoniano efetivo, no
sentido que a funo de partio do sistema pode ser obtida na forma:
Z =
_
T
e
F[
(x)]
, (7.60)
onde a notao
_
T
indica uma integral funcional. Fisicamente, a integral

funcional equivale a somar as contribuies de todas as conguraes dos campos
(x) pesados com o peso estatstico correspondente. A dependncia na escala
implica que este formalismo est bem denido para distncias grandes. Variaes
dos campos na escala do espaamento de rede ou das distncias interpartcula
esto fora do alcance do formalismo. No entanto, como veremos a seguir, na
anlise da fsica na vizinhana de um ponto crtico apenas o comportamento a
longas distncias importante.
Ento, realizando a integrao funcional sobre os graus de liberdade ainda no
integrados, podemos obter o potencial termodinmico A(T, h) correspondente:
Z(, h) = Tr e
H
= e
A
, (7.61)
onde 1 F[
(x)] deixa explcito o carter de Hamiltoniano efetivo do funci-

onal F, e h um campo externo conjugado do parmetro de ordem . A energia
livre de Helmholtz pode ser obtida via uma transformao de Legendre na forma:
F(T, ) = A(T, h) + N h. (7.62)
7.5 Funes de correlao
Considerando a possibilidade do parmetro de ordem variar localmente, podemos
escrever o potencial termodinmico A na forma:
A[T,
h(x)] = T ln Z[T,
h(x)], (7.63)
onde tambm consideramos uma possvel variao espacial do campo externo.
Adotamos a conveno k
B
= 1, ou seja, daqui para frente todas as temperaturas
esto em unidades da constante de Boltzmann. Notamos que tanto o potencial A
quanto a funo de partio Z so na verdade funcionais no sentido discutido na
seo anterior. Para cada funo h(x) obtemos um valor para Z e um para A. Em
presena de um campo externo local h(x), a funo de partio pode ser escrita
na forma:
Z =
_
T(x) e
F[
(x)]
d
d
x
h(x)
(x)
, (7.64)
onde F[(x)] dada por (7.59) e o subndice ser eliminado da notao exceto
quando o signicado das expresses no seja claro.
O parmetro de ordem na escala , que para um sistema magntico a mag-
netizao local, dado por:
i
(x) =
1
Z
Z
h
i
(x)
=
A
h
i
(x)
, (7.65)
onde
i
e h
i
representam a i-sima componentes cartesianas dos vetores
h, e o smbolo representa uma derivada funcional. O potencial termodinmico

obedece a seguinte identidade diferencial:
dA = S dT
_
d
d
x
(x)
h(x). (7.66)
A susceptibilidade local generalizada dada pelo tensor:
ij
(x, x
) =

i
(x)
h
j
(x
)
, (7.67)
onde i, j so as componentes i e j de um parmetro de ordem vetorial

(x).
A funo de correlao conectada representa as correlaes das utuaes do
parmetro de ordem em relao ao valor mdio, e dada por:
G
ij
(x, x
) = [
i
(x)
i
(x)][
j
(x
)
j
(x
)]
=
1
2
ln Z
h
j
(x
)h
i
(x)
(7.68)
=
1
i
(x)
h
j
(x
)
= T
ij
(x, x
)
Notamos que a funo de correlao de dois pontos conectada proporcional
susceptibilidade generalizada.
A susceptibilidade ou resposta global denida como:
ij
=
_
d
d
xd
d
x
ij
(x, x
) (7.69)
e, em sistemas com invarincia translacional, proporcional ao limite q = 0 da
transformada de Fourier da funo de correlao conectada
ij
= lim
q0
G
ij
(q)
.
Uma transformada de Legendre nos permite obter um potencial termodin-
mico que funo do parmetro de ordem(equivalente energia livre de Helmholtz),
em lugar de ser funo do campo:
F[T,
(x)] = A[T,
h(x)] +
_
d
d
x
h(x)
(x). (7.70)
O funcional F satisfaz a relao diferencial:
dF = S dT +
_
d
d
x
h(x)
(x). (7.71)
A equao de estado dada por:
F
i
(x)
= h
i
(x). (7.72)
Em ausncia de campo externo o estado de equilbrio dado pelo valor de
i
(x)
que minimiza F. Notar que, nesta forma funcional, o parmetro de ordem pode
no ser homogneo, o mnimo de F determinado por uma funo da posio.
A Derivada funcional
Consideremos um funcional [h(x)]. A derivada funcional de denida
como:
h(y)
= lim
0
[h(x) + (x y)] [h(x)]
. (7.73)
/h(y) representa o cmbio induzido em em resposta a um cmbio em h(x)
no ponto x = y.
Utilizando esta denio possvel mostrar algumas derivadas funcionais co-
muns:
h(x)
h(y)
= (x y), (7.74)
onde [h(x)] = h(x) o funcional identidade. Se f uma funo de h(x):
f(h(x))
h(y)
= f
h(x)
h(y)
= f
(x y), (7.75)
f(g(h(x)))
h(y)
= f
h(x)
h(y)
= f
(x y), (7.76)
onde f
(z) = df/dz.
Por exemplo, para f((x)) =
4
(x):
f
(y)
= f
(x)
(y)
= 4
3
(x)(x y) (7.77)
Uma situao comum na fsica a de um funcional F[(x)] pode ser expresso
na forma
F[(x)] =
_
d
d
xf((x),
i
(x)), (7.78)
onde
i
(x) so derivadas espaciais de (x) (componentes do gradiente), ento
F
(y)
=
_
d
d
x
f
(y)
=
_
d
d
x
_
f
(x)
(x)
(y)
+
f
(
i
(x))
i
(x)
(y)
_
=
_
d
d
x
_
f
(x)
(x y) +
f
(
i
(x))
i
(x y)
_
, (7.79)
onde na ltima linha usamos o fato que a derivada comum e a derivada funcional
comutam e ndices repetidos se somam. Usando:
i
_
f
(
i
(x))
(x y)
_
= (x y)
i
f
(
i
(x))
+
f
(
i
(x))
i
(x y),
integrando por partes no ltimo termo, desprezando termos de superfcie e fazendo
a integral em x obtemos:
F
(y)
=
f
(y)

i
f
i
(y)
, (7.80)
cuja soluo estacionria semelhante a equao de movimento da mecnica La-
grangeana.
Aps a transformada de Legendre que leva de A para F podemos obter a
inversa da funo de correlao derivando F respeito de
i
(x). Fazemos isto
em dois passos: primeiro derivamos
i
(x) respeito de
k
(x
):
i
(x)
k
(x
)
=
ik
(x x
)
=
_
d
d
x
i
(x)
h
j
(x
)
h
j
(x
k
(x
)
. (7.81)
onde se fez uso da regra da cadeia na derivada funcional e ndices repetidos esto
somados. A inversa de
ij
(x, x
) denida na forma:
_
d
d
x
ij
(x, x
)
1
jk
(x
, x
) =
ik
(x x
). (7.82)
Comparando as duas ltimas identidades e usando a denio da susceptibilidade
obtemos:
1
ij
(x, x
) =
h
i
(x)
j
(x
)
=

2
F
j
(x
)
i
(x)
. (7.83)
7.5.1 Correlaes na teoria de Landau
Vamos calcular agora as funes de correlao e susceptibilidade partindo da ener-
gia livre de Landau para um campo escalar:
F =
_
d
d
x f(T, (x)) +
_
d
d
x
1
2
c [(x)]
2
. (7.84)
Substituindo para a densidade de energia livre a forma (7.47) com h = 0,
obtemos:
1
(x, x
) =

2
F
(x)(x
)
= (r + 12u (x)
2
c
2
)(x x
). (7.85)
O ltimo termo corresponde ao operador Laplaciano, e se obtm aps integrar
por partes a variao do termo do gradiente quadrado, e desprezar um termo de
superfcie:
(x
)
_
d
d
x
i
(x)
i
(x) =
_
d
d
x

(x
)
[
i
(x)
i
(x)]
=
_
d
d
x
_
2
i
(x)
_

(x
i
(x)
__
= 2
_
d
d
x
i
(x)
i
(x)
(x
)
= 2
_
d
d
x
i
(x)
i
(x x
). (7.86)
Usando
i
[
i
(x)(x x
)] =
2
i
(x)(x x
) +
i
(x)
i
(x x
), (7.87)
e desprezando o termo de superfcie, obtemos:
(x
)
_
d
d
x
i
(x)
i
(x) = 2
_
d
d
x
2
i
(x)(xx
) = 2
2
i
(x
). (7.88)
Finalmente,
(x)
_
2
2
i
(x
)
_
= 2
2
i
(x x
), (7.89)
que leva ao resultado em (7.85). O mesmo resultado pode ser obtido diretamente
aplicando a expresso geral obtida em (7.80).
Usando agora a relao (7.82), que dene a inversa de , obtemos:
(r + 12u (x)
2
c
2
) (x, x
) = (x x
), (7.90)
ou, usando (7.69):
(r + 12u (x)
2
c
2
) G(x, x
) = T (x x
). (7.91)
A soluo geral destas equaes complicada pela dependncia em (x)
2
.
Assumindo que o sistema apresenta invarincia translacional possvel resolver
para (x, x
) por transformanda de Fourier:

(q) =
_
d
d
x(x) e
iqx
(7.92)
Se o parmetro de ordem homogneo e dado pela soluo de campo mdio de
Landau obtemos:
(q) =
1
r + 12u
2
+ cq
2
=

[1 + (q)
2
]

1
c
2
1 + (q)
2
, (7.93)
onde
(T) =
_
c
r + 12u
2
_
1/2
(7.94)
o comprimento de correlao. Usando a soluo da teoria de campo mdio para
se obtm:
(T) =
_
(c/r)
1/2
se T > T
c
(c/(2r))
1/2
se T < T
c
(7.95)
Ento, vemos que prximo do ponto crtico [T T
c
[
, onde = 1/2 o
expoente crtico do comprimento de correlao. Em sistemas tridimensionais o
valor real de est em torno de 2/3.
A existncia de um comprimento de correlao um dos conceitos centrais na
fsica da matria condensada. A prpria idia de condensado implica a existncia
de uma regio onde as partculas esto fortemente correlacionadas. A extenso
desta regio depende de parmetros externos, como a temperatura, ou presso.
Uma das caractersticas do fenmeno de invarincia de escala no ponto crtico a
divergncia do comprimento de correlao, ou seja, todo o sistema est fortemente
correlacionado em T
c
.
A forma da susceptibilidade (7.93) foi obtida pela primeira vez por Ornstein
e Zernicke na anlise do ponto crtico gs-lquido. A transformada inversa de
Fourier leva a funo de correlao espacial de dois pontos:
(x) =
_
d
d
q
(2)
d
e
iqx
1 + (q)
2
=

d
(2)
d
_
q
d1
dq
1 + (q)
2
_
1
qr
_
(d2)/2
J
(d2)/2
(qr) (7.96)
onde
d
o ngulo slido d-dimensional e J
n
(x) uma funo de Bessel. A
integral no vetor de onda da como resultado:
(r)
_
1
r
_
(d2)/2
K
(d2)/2
_
r
_
, (7.97)
onde K
(x) uma funo de Bessel modicada. Para x 1, K
(x) x
1/2
e
x
.
Ento, para distncias grandes comparadas com o comprimento de correlo, a
funo de correlao de dois pontos se comporta como:
G(r) = T(r)
e
r/
r
(d1)/2
(7.98)
Notamos que no ponto crtico T = T
c
as correlaes espaciais decaem algebrica-
mente com r
(d1)/2
. Para T ,= T
c
as correlaes decaem de forma exponencial
em uma escala dada pelo comprimento de correlao (T).
7.6 Sistemas com simetria O(n)
Sistemas com simetria O(n) possuem um parmetro de ordem vetorial com n
componentes. Na fase desordenada, o Hamiltoniano tem que ser invariante frente
a rotaes no espao n-dimensional do parmetro de ordem. Casos particulares
so o modelo de Ising, com n = 1, que j analizamos. O modelo XY, que um
modelo de rotores no plano, com n = 2. O modelo de Heisenberg para a transio
ferromagntica, com n = 3.
A energia livre de Landau do modelo O(n) anloga a do modelo com si-
metria Ising (7.47). A nica diferena que, devido a simetria rotacional da fase
paramagntica, a energia livre deve depender de:
2

2
=
n
2
, (7.99)
que invariante por rotaes. Em presena de um campo externo h
i
na direo i
a equao de estado resulta:
f
i
= (r + 4u
2
)
i
= h
i
. (7.100)
Acima da temperatura crtica, ou seja, se r > 0, a nica soluo com h
i
= 0 que
todas as componentes do parmetro de ordem sejam nulas. Ento:
=
_
0 se T > T
c
;
(r/4u)
1/2
e
i
se T < T
c
.
(7.101)
onde e um vetor unitrio arbitrrio no espao do parmetro de ordem. O com-
portamento o mesmo do modelo de Ising, e ento o modelo O(n) sofre uma
transio de fase de segunda ordem, com expoentes crticos , , e iguais aos
do modelo de Ising. No entanto, diferentemente ao modelo de Ising que quebra
uma simetria discreta, a arbitrariedade do vetor unitrio e que dene a direo de
ordenamento do sistema, indica que uma simetria continua foi quebrada, como
mostrado na gura 7.7 para o caso XY (n = 2).
Figura 7.7: A parte homognea da energia livre de Landau para o modelo O(2).
A quebra de uma simetria continua traz profundas consequncias no compor-
tamento das funes de correlao e susceptibilidades para T < T
c
. Como j
visto, a funo de correlao conectada entre as componentes i e j do parmetro
de ordem dada por:
G
ij
(x, x
) =
i
(x)
j
(x
)
i
(x)
j
(x
). (7.102)
Esta correlao pode ser decomposta em duas partes, correspondentes a correla-
es entre as componentes paralelas e perpendiculares direo de ordenamento
do sistema:
G
ij
(x, x
) = G
(x, x
) e
i
e
j
+ G
(x, x
)(
ij
e
i
e
j
). (7.103)
Se a direo de ordem o eixo denido por e
1
, ento e = (1, 0, 0, . . .) e obtemos:
G
11
(x, x
) = G
(x, x
) =
1
(x)
1
(x
)
1
(x)
1
(x
), (7.104)
G
ii
(x, x
) = G
(x, x
) =
i
(x)
i
(x
)
i
(x)
i
(x
), (i ,= 1).
Derivando a energia livre de Landau respeito de
i
(x) e
j
(x
) e transformando
Fourier obtemos o tensor de susceptibilidade:
1
ij
(q) = TG
1
ij
(q) = (r + 4u
2
+ cq
2
)
ij
+ 8u
i
j
, (7.105)
ou, em termos das componentes paralelas e perpendiculares:
= r + 12u
2
+ c q
2
(7.106)
e
(q) = r + 4u
2
+ c q
2
=
_
r + c q
2
se T > T
c
;
c q
2
se T < T
c
.
(7.107)
Notamos que a componente paralela tem o mesmo comportamento que no modelo
de Ising. No entanto, na direo perpendicular a susceptibilidade ou as correlaes
G
(q) = T
(q) tm um comportamento com lei de potncia:

G
(q) =
T
cq
2
. (7.108)
No espao real as correlaes tambm decaem algebricamente:
G
(x, 0) [x[
(d2)
. (7.109)
Como a suscpetibilidade global dada por
ij
= lim
q0
G
ij
(q), o resultado
anterior implica que o sistema possui susceptibilidade transversal innita na fase
de baixa temperatura com simetria quebrada. Ou seja, necessrio um campo
externo arbitrariamente pequeno para mudar o valor (ou melhor, a direo) do pa-
rmetro de ordem. Isto pode ser interpretado sicamente pela estrutura da energia
livre de Landau da gura 7.7. Da gura ca evidente que f possui um nmero
innito de mnimos para T < T
c
, e se pode passar continuamente de um mnimo
para outro. Ou seja, no custa energia ir de um mnimo qualquer a um outro qual-
quer. No entanto, na direo paralela a situao diferente: existe uma penalidade
energtica para mudar o mdulo do parmetro de ordem.
O comportamento da componente transversal da susceptibilidade (7.107) in-
dica que, em termos de modos no espao de Fourier, a susceptibilidade aumenta
de forma ilimitada para modos de comprimento de onda grande e innita para
. Em outras palavras, a utuao na energia de Landau f pode ser feita
arbitrariamente pequena para utuaes de comprimento de onda sucientemente
grandes. No caso do modelo O(2) da gura vemos que existe exatamente um
modo perpendicular direo de ordenamento com excesso de energia livre arbi-
trariamente pequena. Em geral, em um modelo com simetria O(n) haver um
modo deste tipo por cada direo transversal, ou seja um total de n 1 mo-
dos transversais de baixa energia, chamados modos de Goldstone. Os modos de
Goldstone se manifestam matematicamente como polos em q = 0 na componente
transversal da susceptibilidade, como se ve em (7.107) na fase de simetria ro-
tacional quebrada. Exemplos de modos de Goldstone so as ondas de spin, ou
mgnons em sistemas ferromagnticos e tambm os fnons, ou oscilaes da rede
cristalina associados a quebra da simetria por translaes no espao. Ambas fen-
menos correspondem a excitaes de baixa energia dos respectivos sistemas e so
consequncia da quebra de simetrias continuas.
7.7 Cristais lquidos: a transio isotrpico-nemtica
em d = 3
Na fase nemtica dos cristais lquidos as molculas orientam seus eixos de sime-
tria em torno de uma direo preferencial, mantendo no entanto a desordem nas
posies dos centros de massa, como mostra a gura 7.8.
Figura 7.8: A ordem orientacional das molculas em um cristal lquido.
A temperaturas altas o sistema se encontra na fase simtrica, desordenada
tanto orientacional quanto posicionalmente. A uma temperatura T
c
as molcu-
las se ordenam orientacionalmente. Em geral, a forma alongada das molculas
que formam os cristais lquidos possui simetria de reexo entre os extremos do
eixo principal. Consequentemente a ordem molecular dos cristais lquidos no
representada convenientemente por um vetor, como no caso dos sistemas magn-
ticos.
Para uma molcula , o vetor unitrio v
, que aponta ao longo do eixo princi-

pal da molcula na posio x
, contribui ordem tanto quanto a direo v
. De
forma anloga ao caso da ordem vetorial, onde o parmetro de ordem tem que ter
mdia nula quando mediado localmente em todas as direes na fase de alta tem-
peratura, neste caso, as propriedades de simetria requeridas para a ordem nemtica
so satisfeitas por um tensor de segunda ordem, simtrico e de trao nulo:
Q
ij
(x) =
V
N
(v
i
v
j

1
3
ij
)(x x
), (7.110)
onde v
i
a componente i do vetor unitrio v
associado molcula . Q
ij
so as
componentes do tensor

Q. Como v
unitrio, o tensor tem trao nulo: Tr

Q = 0.
Na situao mais comum, o conjunto de molculas ter apenas um eixo de
simetria. O sistema neste caso uniaxial e o valor mdio estatstico do tensor
nemtico pode ser escrito na forma:
Q
ij
= S
_
n
i
n
j
1
3
ij
_
, (7.111)
onde o vetor unitrio n, chamado diretor de Frank, dene a direo do eixo prin-
cipal de
Q, e S um escalar que determina a intensidade do alinhamento das

molculas.
Em um sistema de coordenadas onde o diretor global est alinhado com um
dos eixos, por exemplo o eixo x, o tensor tem a forma:
Q =
_
_
2
3
S 0 0
0
1
3
S + 0
0 0
1
3
S
_
_
. (7.112)
onde se ,= 0 o tensor biaxial, havendo duas direes preferenciais em lugar
de uma. A situao mais comum com apenas uma direo preferencial, em cujo
caso = 0.
Comparando as expresses anteriores possvel ainda denir S como um pa-
rmetro de ordem escalar:
S =
1
2
3(v
n)
2
1 =
1
2
(3 cos
2
1), (7.113)
onde
o ngulo formado entre o eixo principal da molcula e o diretor de

Franck. S igual ao valor mdio do polinmio de Legendre de ordem 2:
S = P
2
(cos ) =
_
(3 cos
2
1)
2
_
, (7.114)
Vamos agora construir uma energia livre de Landau para um cristal lquido
nemtico. A energia livre na fase desordenada tem que ser invariante frente a
rotaes arbitrrias.

Q se transforma como um tensor frente ao grupo de rotaes.
As nicas combinaes invariantes que podemos construir com o tensor so traos
de potncias arbitrrias: Tr
Q
p
, p = 2, 3, . . .. O termo com p = 1 o trao
de

Q que zero por construo. Escrevendo uma expanso at quarta ordem no
tensor obtemos:
f =
1
2
r
_
3
2
Tr
Q
2
_
w
_
9
2
Tr
Q
3
_
+ u
_
3
2
Tr
Q
2
_
2
,
=
1
2
r S
2
wS
3
+ u S
4
. (7.115)
De forma geral, deveria aparecer outro termo de quarta ordem, proporcional a
Tr
Q
4
. No entanto, para tensores 3 3 de trao nulo, os dois termos qurticos
so proporcionais. Como nas anlises anteriores, vamos considerar r como funo
da temperatura:
r = a(T T
), (7.116)
em tanto que u e w sero consideradas constantes positivas independentes da tem-
peratura.
Devido ao carter tensorial do parmetro de ordem a energia livre possui um
termo proporcional ao cubo do tensor. Este termo era proibido no modelo de
Ising, com parmetro de ordem escalar, devido simetria de reexo, ausente no
caso do tensor simtrico e de trao nulo do cristal lquido nemtico. Devido ao
termo cbico a energia livre f apresenta uma asimetria respeito da origem, e um
segundo mnimo aparece a temperaturas altas, como mostra a gura 7.9.
O valor do mnimo correspondente ao estado de lquido isotrpico, onde S =
0, tem o valor f = 0 e no varia com a temperatura. O segundo mnimo, para
S > 0, aparece a uma temperatura T
com umvalor de f > 0, e por tanto aparece

como um estado metaestvel. Diminuindo mais a temperatura, uma transio de
fase acontece em T
c
onde o valor de f passa a ser negativo para a soluo com
S > 0. A condio que determina os valores na transio, no ponto T = T
c
e
Figura 7.9: A energia livre de Landau para um cristal lquido nemtico.
S = S
c
, que a energia livre de Landau e a derivada sejam nulas:
f =
_
1
2
r wS + uS
2
_
S
2
= 0 (7.117)
f
S
= (r 3wS + 4uS
2
) S = 0. (7.118)
Da soluo simultnea das duas equaes resulta:
S
c
=
w
2u
, r
c
= a(T
c
T
) =
w
2
2u
(7.119)
Notar que o valor nito de S
c
aparece de repente, de forma discontinua, e indica
que a transio de primeira ordem. Podemos calcular o calor latente de transfor-
mao associado a esta transio expandindo a energia livre na ordem mais baixa
em r r
c
, lembrando que f(r
c
) = 0:
f =
1
2
(r r
c
) S
2
c
=
1
2
(r r
c
)(w/2u)
2
. (7.120)
A densidade de entropia na fase nemtica relativa a da fase isotrpica :
s =
f
T
=
1
2
aS
2
c
=
1
2
a(w/2u)
2
. (7.121)
O calor lantente de transformao da fase isotrpica para a nemtica ento:
q = T
c
s =
1
2
aT
c
(w/2u)
2
. (7.122)
comum que um cristal lquido responda a um campo magntico aplicado.
Isso acontece porque as molculas em geral so diamagnticas. A interao entre
as molculas e o campo externo H da forma quadrupolar, porque elas no tm
momento dipolar importante:
1
ext
=
a
_
d
d
xQ
ij
H
i
H
j
,
=
_
d
d
x
_
2
3
a
H
2
_
S, (7.123)
onde
a
a diferena da susceptibilidade de uma molcula para as direes para-
lela e perpendicular ao eixo maior da mesma.

H o campo magntico externo na
direo do diretor n. Por tanto h = (2/3)
a
H
2
o campo conjugado do parme-
tro de ordem S. Podemos agora calcular a susceptibilidade a partir de equao de
estado como nos modelos anteriores:
=
S
h
= (r 6wS + 12uS
2
)
1
. (7.124)
Como na fase isotrpica S = 0, vemos que a susceptibilidade diverge para T =
T
. Como T
c
> T
, a transio comparece antes a medida que se baixa a tempe-

ratura desde a fase isotrpica. Enquanto T > T
a fase isotrpica localmente

estvel e o sistema tem que sofrer uma utuao importante para sofrer a transi-
o de fase. No entanto, ao arrivar a T
a soluo isotrpica se torna instvel, a

energia livre de Landau em S = 0 muda de curvatura e perde a convexidade. O
signicado fsico de T
ento o de um limite de metaestabilidade.

Quando o sistema aquecido desde a fase nemtica acontece um fenmeno
semelhante: a soluo nemtica, com S ,= 0 permanece localmente estvel at
uma temperatura T
> T
c
. T
representa um limite de metaestabilidade da fase

nemtica. A partir da soluo nemtica com S > 0 dada pela equao de estado
7.118, podemos determinar T
no ponto em que diverge. Obtemos:

r
= a(T
) =
9w
2
16u
(7.125)
O fato dos limites de estabilidade serem diferentes da temperatura de tran-
sio indica que necessria uma utuao para que a transio de fase acon-
tea, mesmo quando a energia livre tenha mudado de mnimo global. Por isto,
nas transies de primeira ordem, a transio real ocorrer a uma temperatura
T
< T < T
C
. A temperatura onde a transio ocorrer no sistema real depende
nestes casos de condies externas, como a velocidade de resfriamento do sistema
ou a capacidade para evitar utuaes importantes. O tamanho das utuaes re-
queridas para que acontea a transio de fase, uma vez que T < T
C
, depende do
valor da temperatura, e ser menor quanto mais prximo o sistema se encontar do
limite de metaestabilidade.
importante lembrar que a expanso de Landau em potncias do parmetro de
ordem no justicada em uma transio de primeira ordem, j que o parmetro
de ordem no arbitrariamente pequeno na sua vizinhana. No entanto, se a
variao do parmetro de ordem na transio for pequeno, as predies da teoria
sero aceitveis.
7.8 Validade da teoria de campo mdio: o critrio
de Ginzburg
Como temos visto, a aproximao de campo mdio consiste essencialmente em
substituir um parmetro de ordem que utua localmente por um parmetro mdio
espacialmente constante. Por tanto, a aproximao de campo mdio ser boa
sempre que as utuaes do parmetro de ordem respeito do seu valor mdio
sejam pequenas. Uma medida da importncia das utuaes do parmetro de
ordem pode ser obtida calculando o valor mdio de (x) = (x) (x) em
um volume da ordem V

d
(V. L. Ginzburg, 1960), onde da ordem do
comprimento de correlao.
O desvio do parmetro de ordem respeito do seu valor mdio no volume V

dado por:
V
1
_
V
d
d
x (x). (7.126)
As utuaes sero desprezveis se (
)
2
for muito menor que
2
na fase
ordenada, ou seja, se
V
2
_
V
d
d
xd
d
x
(x)(x
) = V
1
_
V
d
d
xG(x) <
2
, (7.127)
onde G(x) a funo de correlao (conectada) do parmetro de ordem e foi
assumida invarincia translacional. Como a aproximao de campo mdio fornece
uma predio para a funo de correlao e para o parmetro de ordem, a prpria
aproximao possui um teste de consistncia interna.
Vamos analizar o critrio de Ginzburg para uma teoria com campo escalar
4
, usando os resultados conhecidos para e para G(x, x
) = T(x, x
). A
susceptibilidade generalizada dada por (7.93):
(x) =
_
d
d
q
(2)
d
e
iqx
1 + (q)
2
= c
1
[x[
(d2)
Y ([x[/), (7.128)
onde
Y () =
_

0
z
d1
dz
_
d
d
(2)
d
e
iz cos
[z
2
+
2
]
(7.129)
Obtemos:
(
)
2
= TV
1
c
1
_
V
d
d
x[x[
(d2)
Y ([x[/)
= TV
1
c
1
_
d
d
_

0
(dr r
d1
) r
(d2)
Y (r/)
= TV
1
c
1
2
_
d
d
_
1
0
dz z Y (z)
=
A
d
T
(d2)
c
<
2
=
[r[
4u
, (7.130)
onde = (c/[r[)
1/2
o comprimento de correlao e A
d
uma constante que
depende da dimenso d. Denindo um comprimento de correlao microscpico
(T = 0) =
0
= (c/aT
c
)
1/2
e o valor do salto no calor especco na transio
c
V
= T
c
a
2
/8u (ver equao (7.55)), podemos reescrever o resultado anterior de
forma adimensional:
_
0
_
d4
=
_
T T
c
T
c
_
(4d)/2
>
A
d
2c
V
d
0
. (7.131)
A relao anterior nos diz que para d > 4, como
d4
quando T T
c
, a
desigualdade anterior sempre satisfeita prximo da transio. No entanto, para
d < 4, como
d4
0 quando T T
c
, a desigualdade nunca satisfeita perto de
T
c
. Ento podemos concluir que a aproximao de campo mdio ser satisfatria
para dimenso d > 4, mas no ser consistente para d < 4, em teorias
4
. A
dimenso d
s
= 4 que representa um limite para a validade da aproximao de
campo mdio, se conhece como dimenso crtica superior. A dimenso crtica
superior depende, assim como os expoentes crticos, da simetria do parmetro de
ordem e do alcance das interaes.
Para um sistema qualquer, com expoentes crticos de campo mdio , , ,
devemos levar em conta que T [T T
c
[
e [T T
c
[
. Ento, des-
considerando fatores constantes de ordem um, o critrio de Ginzburg satisfeito
se:
t
t
2d
, (7.132)
onde t = [T T
c
[/T
c
a temperatura reduzida. Ento, para um sistema geral, a
dimenso crtica superior determinada pela condio:
d >
2 +
d
s
. (7.133)
Para dimenses d < d
s
, a aproximao de campo mdio poder ser vlida para
temperaturas sucientemente longe de T
c
, sempre que a desigualdade (7.131), ou
em geral (7.132), seja satisfeita. A medida que T se aproxima de T
c
as utaes
se tornam cada vez mais importantes. A temperatura que dene a identidade na
equao (7.131) conhecida como temperatura de Ginzburg:
t
G
=
[T
G
T
c
[
T
c
=
_
A
d
2c
V
d
0
_
2/(4d)
. (7.134)
De forma equivalente, possvel denir o comprimento de Ginzburg
G
, na forma:
4d
G
c
V
4
0
= c
2
/(8uT
c
), (7.135)
ou
G

0
(c
V
d
0
)
1/(4d)
. (7.136)
A teoria de campo mdio vlida quando t > t
G
ou <
G
.
Notar que [T
G
T
c
[ 0 se
0
para d < 4. Isto quer dizer que o
campo mdio ser vlido at temperaturas muito prximas de T
c
se o compri-
mento de correlao microscpico for grande, mesmo para d < d
s
. Este o
caso em sistemas com interaes de longo alcance ou em supercondutores, por
exemplo. Quando
0
, ou [T
G
T
c
[ no pequena, se espera que acontea um
crossover, ou mudana de regime, de um comportamento de campo mdio para
um comportamento crtico quando a temperatura reduzida t = (T T
c
)/T
c
for da
ordem da temperatura reduzida de Ginzburg t
G
. A gura (7.10) mostra de forma
esquemtica o crossover no comportamento da inversa da susceptibilidade.
Figura 7.10: Representao esquemtica do crossover de campo mdio para com-
portamento crtico na inversa da susceptibilidade .
O critrio de Ginzburg permite entender por qu em alguns sistemas a apro-
ximao de campo mdio pode ser muito boa e em outros no. Uma transio
que descrita de forma satisfatria pela teoria de campo mdio a transio
metal normal-supercondutor. Na gura (7.11) vemos medidas do parmetro de
ordem e de calores especcos para esta transio, junto com predies da teoria
BCS (Bardeen-Cooper-Schrieffer, 1957), que uma teoria de campo mdio para
a transio supercondutora.
O calor especco apresenta uma discontinuidade nita em T
c
, de acordo com
a predio de campo mdio. A temperaturas baixas, c
s
v a zero exponencial-
mente, fato este de natureza quntica e no explicado pelo campo mdio consi-
derado. O parmetro de ordem va a zero como (T T
c
)
1/2
, em completo acordo
Figura 7.11: O parmetro de ordem e calores especcos na transio metal
normal- supercondutor, para diversos materiais, junto com predies de campo
mdio.
com campo mdio, e satura para temperaturas baixas. O salto no calor espec-
co em alumnio da ordem de 2 10
4
erg mole
1
K. O parmetro de rede em
Al 4, e o comprimento de correlao microscpico
0
1.6 10
4
. En-
to, c
V
2 10
5
/4
2
erg cm
3
K
1
, resultando uma temperatura de Ginzburg
t
G
10
16
! A temperatura crtica em Al 1.19 K e por tanto praticamente
impossvel aceder regio crtica. Neste caso, o motivo para uma T
G
to pequena
o enorme valor do comprimento de correlao microscpico em relao cons-
tante da rede. Este comportamento observado na maioria dos supercondutores,
o que resultou no xito da teoria BCS. Na dcada dos oitenta foram descobertos
novos compostos supercondutores, chamados supercondutores de alta tempera-
tura crtica, pois a supercondutividade observada at temperaturas da ordem de
100 K. A teoria BCS se mostrou insatisfatria para descrever esta classe de su-
percondutores. Os mecanismos microscpicos por trs da supercondutividade de
alta temperatura crtica ainda so desconhecidos.
Captulo 8
O Grupo de Renormalizao
8.1 A hiptese de escala
A chamada hiptese de escala parte do postulado de homogeneidade generali-
zada dos potenciais termodinmicos e permite obter uma srie de interessantes
consequncias sobre o comportamento crtico e seu carter universal. Em par-
ticular, vamos ver que como consequncia da hiptese de escala, os expoentes
crticos no so todos independentes entre si, sendo necessrio o conhecimento
de dois deles para determinar os restantes a partir de identidades que os relacio-
nam e que se originaram em anlises muito gerais da termodinmica dos sistemas.
Tambm veremos que a hiptese implica no comportamento de escala das grande-
zas bsicas, essencialmente dos parmetros de ordem, o que permite conhecendo
o comportamento dos mesmos em uma regio limitada das variveis de estado,
obter o comportamento em outras regies do espao de fases. A importncia his-
trica da hiptese de escala, proposta e desenvolvida na dcada de 60 do sculo
passado, reside na generalidade dos resultados, no sendo limitados a uma apro-
ximao determinada, como campo mdio. No entanto, vamos ver que mesmo a
teoria de campo mdio incluida na hiptese de escala, e os expoentes clssicos
obedecem as relaes de escala da mesma forma que os expoentes exatos. A hi-
ptese de escala tem side vericada experimentalmente de forma sistemtica em
um conjunto enorme de sistemas diferentes, dando basamento aos conceitos de
universalidade e ao comportamento de escala dos fenmenos crticos.
Para comear, vamos ver que a prpria teoria de Landau possui um compor-
tamento de escala, e que este consistente com as predies da teoria de campo
mdio. A energia livre de Landau para um sistema com parmetro de ordem es-
109
calar :
f(T, ) =
1
2
r
2
+ u
4
h (8.1)
de onde obtemos a equao de estado:
h = r + 4u
3
(8.2)
Vimos que, para campo nulo, o sistema desenvolve uma magnetizao espontnea
para r < 0 dada por:
=
_
r
4u
_
1/2
. (8.3)
Assim, podemos reescrever a equao de estado na forma:
h = r
_
+ 4u(
)
3
_
_
3
= r
_
_
_
+
4u
r
(
)
2
_
_
3
_
=
r
3/2
(4u)
1/2
_
(4u)
1/2
r
1/2
+
_
(4u)
1/2
r
1/2
_
3
_
(8.4)
Notar que o fator entre colchetes adimensional e, portanto, o prefator deve ter
unidades de campo magntico. Desta forma conseguimos reescrever a equao de
estado em termos de variveis adimensionais. Isto muito conveniente para ana-
lizar dados experimentais ou de simulaes numricas, pois todos os parmetros
no universais so absorvidos na denio das variveis adimensionais. Substi-
tuindo r = a(T T
c
) = at, podemos reescrever ento a soluo para o parmetro
de ordem na forma:
(t, h) =
F(t, h)
_
a
4u
_
1/2
t
1/2
F
_
(4u)
1/2
a
3/2
_
h
t
3/2
__
. (8.5)
A funo F(x) uma funo universal no sentido que a mesma funo para
todos os sistemas na dada classe de universalidade (neste caso classe Ising).
Seguidamente, vamos mostrar que uma relao semelhante satisfeita pelo
potencial termodinmico. Podemos reescrever f(t, ) na forma:
f(t, ) =
1
2
r(
)
2
_
_
2
+ u(
)
4
_
_
4
h
_
=
1
2
r(
)
2
_
_
_
2
+
2u
r
(
)
2
_
_
4
2h
r
_
_
=
r
2
8u
_
_
_
2
+
1
2
_
_
4
2(4u)
1/2
h
r
3/2
_
_
_
. (8.6)
Substituindo o resultado (8.5) na expresso anterior obtemos que:
f(t, h) =
a
2
t
2
8u
G
_
(4u)
1/2
a
3/2
_
h
t
3/2
__
, (8.7)
onde G(x) outra funo universal. Analisando a forma das expresses (8.5) e
(8.7) notamos que em lugar de obter relaes entre trs variveis, , t e h, ou f, t
e h, no primeiro caso as variveis relevantes so as combinaes /t
1/2
e h/t
3/2
,
e no segundo caso f/t
2
e h/t
3/2
, ou seja, em cada relao temos apenas duas
variveis independentes.
A hiptese de escala consiste em assumir que o potencial termodinmico ,
de forma geral, uma funo homognea generalizada da forma:
f(t, h) At
2
G(Bh/t
), (8.8)
onde e so constantes universais, determinadas somente pela classe de uni-
versalidade do sistema, e G(x) uma funo universal. G(x) deve apresentar
duas formas diferentes para t > 0 e t < 0, no entanto sua dependncia na varivel
h/t
universal. O resto das constantes de proporcionalidade A, B, so quanti-

dades no-universais, dependentes do sistema particular. Vamos ver a seguir que
as constantes e determinam de fato todos os expoentes crticos do sistema.
Uma primeira observao que a forma 2 foi escolhida como dependente do
expoente crtico do calor especco, , para que seja compatvel com o resultado
de campo mdio
cm
= 0 (ver equao (8.7)). Consideraes de carter termo-
dinmico geral implicam que os expoentes crticos para t > 0 e t < 0 sejam os
mesmos. Derivando (8.8) obtemos:
(t, h) =
_
f
h
_
t
ABt
2
G
(Bh/t
), (8.9)
e
(t, h) =
_
2
f
h
2
_
t
AB
2
t
22
G
(Bh/t
). (8.10)
Tomando o limite h 0 obtemos, para t < 0, a magnetizao espontnea:
(t, 0) C [t[
, (8.11)
onde C = ABG
<
(0) e = 2 . A susceptibilidade linear dada por:
(t, 0) D
<>
[t[
, (8.12)
onde D
<>
= AB
2
G
<>
(0) e = + 2 2. Combinando os resultados
anteriores para os expoentes e :
= + = 2 , (8.13)
de forma que
+ 2 + = 2. (8.14)
Esta relao entre expoentes crticos um exemplo das chamadas relaes de es-
cala e tem sido vericada experimentalmente em um grande nmero de sistemas.
Podemos notar que os expoentes crticos de campo mdio, = 0, = 1/2 e
= 1 obedecem a relao de escala anterior.
A partir de (8.9) se pode mostrar que, ao longo da isoterma crtica t = 0, a
magnetizao escala com o campo externo na forma:
(0, h) h
/
, (8.15)
de onde obtemos uma relao para o expoente = /. Eliminando com as
relaes obtidas anteriormente obtemos duas novas relaes de escala:
+ ( + 1) = 2, (8.16)
e
= ( 1). (8.17)
Combinando estas ltimas obtemos:
= (2 )( 1)/( + 1) (8.18)
O calor especco a campo nulo dado por:
c
h
(t, 0) =

2
f
t
2
h=0
(2 )(1 )A[t[
G
<>
(0), (8.19)
onde vericamos o comportamento crtico com o expoente .
8.1.1 A hiptese de escala e as correlaes
Vimos que a funo de correlao de dois pontos para sistemas tipo Ising dada
pela equao (7.97) na teoria de Landau-Ginzburg:
(r)
_
1
r
_
(d2)/2
K
(d2)/2
_
r
_
, (8.20)
onde K
(x) uma funo de Bessel modicada. Para x 1, K
(x) x
1/2
e
x
.
Ento, para distncias grandes comparadas com o comprimento de correlo, a
funo de correlao de dois pontos se comporta como:
G(r) = T(r)
e
r/
r
(d1)/2
(8.21)
J prximo do ponto crtico, x 1 e K
(x) x
para > 0. Da (7.97)

obtemos que:
G(r)
1
r
d2
(r ; d > 2) (8.22)
Em d = 2 se obtm G(r) ln (/r). Como conhecido o resultado exato para
o modelo de Ising em duas dimenses, G(r) r
1/4
, se prope uma relao de
escala para as correlaes na regio crtica que possa incluir todas as dimenses
em uma forma s:
G(r) r
(d2+)
, t = 0 (8.23)
onde se introduz um novo expoente crtico . Da forma proposta ca evidente
que, para o modelo de Ising bidimensional = 1/4, o que conrmado experi-
mentalmente. De forma geral, se prope um comportamento de escala da funo
de correlao na forma:
G(r, t, h)
1
r
d2+
C(rt
, h/t
) (8.24)
onde ca explcito o comportamento de escala das distncias com a escala natural
que o comprimento de correlao (t) [t[
. A funo C(x, y) uma funo

universal das variveis x, y, assim como os expoentes , e .
Lembrando a denio da susceptibilidade para campo nulo:
(t, 0)
_
r
d1
dr
1
r
d2+
C(rt
, 0), (8.25)
cambiando variveis obtemos:
(t, 0) t
(2)
, (8.26)
o que permite relacionar os expoentes e com :
= (2 ). (8.27)
Finalmente, notamos que das relaes obtidas at agora no podemos concluir
que exista uma dependncia explcita dos expoentes crticos com a dimensionali-
dade do sistema, embora sabemos que, de fato, eles dependem da dimenso. Va-
mos obter uma relao entre expoentes crticos e dimenso do espao introduzindo
um argumento qualitativo novo, que no est implcito na hiptese de escala. O
argumento consiste em considerar que a medida que nos aproximamos do ponto
crtico por temperaturas acima de T
c
, o comprimento de correlao (t) cresce,
de onde podemos denir domnios correlacionados no sistema. O volume t-
pico de um domnio ento
d
, e diverge no ponto crtico, quando t 0.
Simultaneamente, da hiptese de escala sabemos, por (8.8), que a parte singular
do potencial termodinmico va a zero no ponto crtico na forma f(t) t
2
.
Como f(t) uma densidade, razovel supor que quando t 0 f se anula em
proporo ao crescimento do volume :
f(t)
1

d
t
d
. (8.28)
Comparando esta relao com (8.8) concluimos que
d = 2 (8.29)
que relaciona a dimenso do sistema com os expoentes crticos e . Esta relao
conhecida como relao de hiperescala, enfatizando o fato de que no pode ser
derivada apenas da hiptese de escala como a vimos anteriormente. importante
notar que no caso de expoentes clssicos, de campo mdio, = 1/2 e = 0
a relao de hiperescala satisfeita apenas em d = 4, que a dimenso crtica
superior. Em geral, as relaes de hiperescala so vlidas para d d
s
e no se
vericam para d > d
s
. A teoria do Grupo de Renormalizao permite entender
por qu isto acontece, assim como dar basamento mais fundamental hiptese de
escala.
Para concluir, a partir das relaes de escala obtidas anteriormente e da relao
de hiperescala anterior possvel obter outras relaes de hiperescala, que podem
ser vericadas experimentalmente ou numericamente:
d = 2 = 2 + (8.30)
= ( + 1) (8.31)
= ( + 1)/( 1). (8.32)
Tambm se verica que:
2 = / = d( 1)/( + 1). (8.33)
8.2 O Grupo de Renormalizao no espao real
Historicamente, a evoluo da compreenso dos fenmenos crticos atingiu sua
maturidade com o desenvolvimento da teoria do Grupo de Renormalizao. O
desenvolvimento das idias do Grupo de Renormalizao aconteceu nas dcadas
de 60 e 70 atravs de contribuies fundamentais de uma srie de fsicos, notada-
mente B. Widom, M. Fisher, L. Kadanoff, K. G. Wilson, A. Z. Patashinskii e V.
L. Pokrovskii, dentre outros.
A idia bsica do grupo de renormalizao parte da observao que o com-
primento de correlao (T) se torna muito grande a medida que a temperatura
se aproxima de T
c
. Por tanto as estruturas observadas em diferentes escalas de
distncias devem ser as mesmas, sempre que estas escalas sejam muito menores
que . Ento, perto do ponto crtico, quando [t[, h 1, deve ser possvel realizar
uma transformao de escala:
a
= l a (8.34)
onde a uma escala microscpica, como a constante de rede, e l > 1 um
parmetro que mede o cmbio de escala. O sistema na escala a
no deve ser
muito diferente do sistema na escala a sempre que a, a
. Por o sistema na
escala a
queremos dizer o sistema no qual as distncias agora so medidas em

unidades de a
, que passa a ser a nova constante de rede. Como consequncia do

cambio de escala o comprimento de correlao ser renormalizado. Claramente,
o novo comprimento de correlao
ser igual a 1/l do comprimento original

(ver gura 8.1).
No existe uma nica forma de implementar uma transformao de escala em
um sistema particular. Kadanoff props o mtodo anterior, ilustrado na gura
8.1, no qual um bloco de spins que consiste em l
d
spins
i
transformado em
um nico, novo spin
i
. Uma regra deve ser denida para obter o valor do
i
a
Figura 8.1: Uma transformao de escala com l = 2 e d = 2. A rede original tem
N = 36 stios e a transformada (b) tem N
= 9.
partir dos valores
i
dos spins do bloco original, de forma a preservar os valores
originais das variveis, ou seja
i
= 1 se for o modelo de Ising. Aps um passo
da transformao obtemos uma nova rede com um novo parmetro de rede a
= la
e um nmero
N
=
N
l
d
(8.35)
de novos spins
i
. Para manter as densidades espaciais iguais entre o sistema
original e o transformado, todas as distncias devem ser rescaladas por um fator
l de forma que dois spins a uma distncia r no sistema original, estaro a uma
distncia
r
= l
1
r (8.36)
no sistema transformado (ver gura 8.1).
Outra forma de implementar a transformacin de escala consiste em fazer um
trao parcial na funo de partio do sistema:
Z(T, N) =
{
i
}
exp [H
N
i
], (8.37)
somando sobre um sub-conjunto de N N
spins, de forma que a soma nos

restantes N
spins possa ser expressa na forma:

Z(T
, N
) =
i
}
exp [
H
N

i
]. (8.38)
Se esta operao pode ser realizada com sucesso (nem sempre possvel) ento
esperamos que, perto do ponto crtico, o novo sistema seja equivalente ao original,
em especial quando N, N
. Este processo de somar em um subconjunto dos

graus de liberdade originais se conhece como dizimao, e foi a base do mtodo
proposto por K. G. Wilson para implementar o Grupo de Renormalizao. Um
exemplo de dizimao com l =
2 e d = 2 mostrado na gura 8.2.

Figura 8.2: Uma transformao de escala via dizimao com l =
2 e d = 2.
A rede original (a) possui N = 36 stios, a transformada (b) N
= 18. A ltima
deve ainda ser rescalada e girada em/4 de forma que o resultado nal ser muito
parecido com a rede original no limite quando N, N
.
8.2.1 A invarincia de escala
Aps um cambio de escala nas condies denidas anteriormente natural espe-
rar que as energias livres ou potenciais termodinmicos sejam iguais no sistema
original e no transfromado:
N
f(t
, h
) = N f(t, h), (8.39)

de forma que a energia livre por partcula se transforma como:
f(t, h) = l
d
f(t
, h
). (8.40)
Como t, t
e h, h
so quantidades pequenas podemos considerar que esto relaci-

onados linearmente e escrever:
t
= l
yt
t, (8.41)
h
= l
y
h
h, (8.42)
onde y
t
e y
h
so duas quantidades por enquanto desconhecidas. Desta forma,
podemos escrever:
f(t, h) = l
d
f(l
yt
t, l
y
h
h). (8.43)
As relaes anteriores implicam que
l =
_
t
t
_
1/yt
=
_
h
h
_
1/y
h
, (8.44)
que equivalente a escrever
_
h
1/y
h
t
1/yt
_
y
h
=
_
h
1/y
h
t
1/yt
_
y
h
, (8.45)
e por tanto as variveis t e h aparecem na combinao
h
[t[
y
h
/yt
h
[t[
. (8.46)
Alm disso, para que a energia livre seja invariante por cmbio de escala se deve
vericar que:
f(t
, h
) = [t
[
d/yt
f(h
/[t
), (8.47)
o que leva, via (8.43), ao idndito resultado para f(t, h):
f(t, h) = [t[
d/yt
f(h/[t[
). (8.48)
Notar que a funo

f , por enquanto, desconhecida.
Notamos que a dependncia da energia livre nas variveis t e h a mesma
que proposta na hiptese de escala. Mas agora obtivemos essa forma no como
uma hiptese, mas com um argumento bem mais fundamental, o qual foi conside-
rar que o sistema est fortemente correlacionado na vizinhana do ponto crtico.
Comparando com os resultados da hiptese de escala podemos obter relaes en-
tre os expoentes y
t
, y
h
e os expoentes crticos conhecidos, por exemplo, da forma
da f(t, h), equao (8.8) obtemos:
d
y
t
= 2 . (8.49)
A partir das relaes j vistas do expoente com os outros expoentes, podemos
obter uma srie de novas relaes:
= 2 = (d y
h
)/y
t
, (8.50)
= (2 2) = (2y
h
d)/y
t
, (8.51)
=

= y
h
/(d y
h
). (8.52)
Considerando a transformao do comprimento de correlao
= l
1
e o fato
que [t[
, obtemos:
_
_
=
_
t
t
_
= l
yt
, (8.53)
o que leva ao resultado
=
1
y
t
, (8.54)
que comparado com (8.49) resulta em:
d = 2 . (8.55)
Vemos aqui que, alm de obter as relaes de escala entre os expoentes crticos
que podiam ser obtidas com a hiptese de escala, a invarincia de escala nos per-
mite tambm obter naturalmente relaes de hiperescala, o que no era possvel
obter apenas com a hiptese de escala.
Podemos aplicar os mesmos argumentos funo de correlao G(r). No
ponto crtico esperamos que as correlaes sejam as mesmas no sistema original
e no sistema rescalado:
G(r
1
, r
2
) =
(r
1
)
(r
2
) [r
1
r
2
[
(d2+)
,
G(r
1
, r
2
) = (r
1
)(r
2
) [r
1
r
2
[
(d2+)
. (8.56)
Como r
= l
1
r, para que as correlaes em ambos os sistemas sejam iguais,
devemos rescalar os valores das variveis de spin na forma:
(r
) = l
(d2+)/2
(r). (8.57)
Usando a relao = (2 ) obtemos uma relao entre o expoente e y
h
:
= d + 2 2y
h
. (8.58)
8.2.2 O modelo de Ising em d = 1
A funo de partio do modelo de Ising em uma dimenso espacial com condi-
es peridicas de contorno pode ser escrito na forma:
Z(T, B) =
{
i
}
exp
_
N
i=1
_
K
0
+ K
1
i+1
+
1
2
K
2
(
i
+
i+1
)
_
_
, (8.59)
onde K
0
= 0 introduzida por motivos que caro claros mais tarde, K
1
=
J e K
2
= B. Vamos supor que N seja par (isto no faz diferena no limite
termodinmico) e vamos proceder a dizimao, ou seja, vamos somar sobre os
spins com ndice par (ver gura 8.3).
Para isto til rescrever a soma no expoente na forma:
N
i=1
exp
_
K
0
+ K
1
i+1
+
1
2
K
2
(
i
+
i+1
)
_
=
N/2
j=1
exp 2K
0
+ K
1
(
2j1
2j
+
2j
2j+1
)
+
1
2
K
2
(
2j1
+ 2
2j
+
2j+1
)
_
. (8.60)
Agora fcil fazer a soma sobre os
2j
, resultando:
N/2
j=1
e
2K
0
2 cosh[K
1
(
2j1
+
2j+1
) + K
2
]e
K
2
2
(
2j1
+
2j+1
)
. (8.61)
Figura 8.3: A cadeia de Ising com condies de contorno peridicas, pronta para
ser dizimada nos stios pares.
Chamando
2j1
=
j
, a funo de partio ca na forma:
Z(T, B) =
j
}
N/2
j=1
e
2K
0
2 cosh
_
K
1
(
j
+
j+1
) + K
2
e
K
2
2
(
j
+
j+1
)
. (8.62)
O prximo passo escrever Z(T, B) na mesma forma que (8.59), ou seja:
Z(T
, B
) =
j
}
exp
_
N
j=1
_
K
0
+ K
j+1
+
1
2
K
2
(
j
+
j+1
)
_
_
, (8.63)
o que implica que, para qualquer valor de
j
e
j+1
se deve satisfazer:
exp
_
K
0
+ K
j+1
+
1
2
K
2
(
j
+
j+1
)
_
= e
2K
0
2 cosh
_
K
1
(
j
+
j+1
) + K
2
e
K
2
2
(
j
+
j+1
)
. (8.64)
As possveis combinaes so
j
=
j+1
= +1,
j
=
j+1
= 1,
j
=
j+1
=
1, o que resulta nas condies:
exp (K
0
+ K
1
+ K
2
) = exp (2K
0
+ K
2
)2 cosh (2K
1
+ K
2
), (8.65)
exp (K
0
+ K
1
K
2
) = exp (2K
0
K
2
)2 cosh(2K
1
K
2
), (8.66)
exp (K
0
K
1
) = exp (2K
0
)2 cosh K
2
. (8.67)
Resolvendo para K
0
, K
1
e K
2
obtemos:
e
K
0
= 2e
2K
0
_
cosh (2K
1
+ K
2
) cosh (2K
1
K
2
) cosh
2
K
2
1/4
, (8.68)
e
K
1
=
_
cosh (2K
1
+ K
2
) cosh (2K
1
K
2
)/ cosh
2
K
2
1/4
, (8.69)
e
K
2
= e
K
2
[cosh (2K
1
+ K
2
)/ cosh (2K
1
K
2
)]
1/2
. (8.70)
Notamos que, mesmo se tivssemos considerado K
0
= 0 desde o incio, no nal
obteriamos um sistema nos trs parmetros K
0
, K
1
e K
2
. Da a necessidade de
incluir o termo emK
0
para que o sistema possa ser resolvido de forma consistente.
Para ilustrar o papel importante da incluso do K
0
notemos que da identidade
entre as funes de partio do sistema original e o dizimado, obtemos para K
0
=
0 que
Z(K
1
, K
2
, N) = e
N
0
Z(K
1
, K
2
, N
), (8.71)
e portanto as energias livres cam relacionadas por (em unidades de k
B
T):
F(K
1
, K
2
, N) = N
0
+ F(K
1
, K
2
, N
). (8.72)
Como N
= N/2, as energias livres por spin nos dois sistemas esto relacionadas
por:
f(K
1
, K
2
) =
1
2
K
0
+
1
2
f(K
1
, K
2
). (8.73)
Agora, por exemplo, se considerarmos o limite T tanto K
1
, K
2
quanto
K
1
, K
2
vo para zero, e ento:
f(0, 0) = K
0
= ln 2 (8.74)
que o resultado correto no limite de altas temperaturas, que vem da entropia
do sistema. claro ento o papel relevante do parmetro K
0
para determinar
os valores corretos da energia livre do sistema. No entanto, os valores de K
1
e
K
2
no dependem do valor de K
0
. Vamos ver mais adiante que o valor de K
0

relevante para determinar a parte no singular da energia livre, ou seja a parte bem
comportada, que no determinante para o comportamento do sistema no ponto
crtico. Para determinar as propriedades crticas, apenas os parmetros K
1
e K
2
so relevantes.
As equaes (8.69) e (8.70) denen relaes de recorrncia que representam a
evoluo da temperatura e do campo externo do sistema aps sucessivas transfor-
maes de escala. No ponto crtico, devido invarincia de escala, esperamos que
as recorrncias terminem em pontos xos. As relaes (8.69) e (8.70) denem as
transformaes do grupo de renormalizao seguintes:
K
1
=
1
4
ln [cosh (2K
1
+ K
2
) cosh (2K
1
K
2
)]
1
2
lncosh K
2
, (8.75)
K
2
= K
2
+
1
2
ln [cosh (2K
1
+ K
2
)/ cosh(2K
1
K
2
)]. (8.76)
Estas relaes produzem um linha de pontos xos triviais, comK
1
= 0 e K
2
arbi-
trrio. Estes pontos xos correspondem a interao nula (J = 0) ou temperatura
innita (T = ). Outro ponto se xo se obtm no caso K
2
= 0, para o qual
obtemos:
K
1
=
1
2
ln [cosh (2K
1
)]. (8.77)
Claramente K
1
= um ponto xo desta recorrncia, e corresponde a T = 0.
No entanto, fcil comprovar que iniciando a iterao com qualquer valor nito
de K
1
o uxo levar ao ponto xo com K
1
= 0, ou seja, o ponto xo K
1
=
instvel, como se ve na gura 8.4.
Figura 8.4: Fluxo do grupo de renormalizao para o modelo de Ising em d = 1 a
campo nulo.
Como o ponto xo fsico neste modelo acontece para K
1
= til denir
novas variveis:
u = exp (4K
1
) (8.78)
v = exp (2K
2
) (8.79)
para poder analizar o uxo na vizinhana do ponto xo. Em termos das variveis
u, v a equaes (8.75) e (8.76) adotam a forma:
u
=
u(1 + v)
2
u(1 + v
2
) + v(1 + u
2
)
, (8.80)
v
= v
_
u + v
1 + uv
_
. (8.81)
Para campo nulo v = 1 e
u
=
4u
(1 + u)
2
, (8.82)
que tem os pontos xos u = 0 (temperatura zero) e u = 1 (temperatura innita).
Linearizando a relao em torno ao ponto xo fsico u = 0 obtemos:
u
4u = 2
2
u. (8.83)
Esta relao tem a mesma forma da transformao de escala para a temperatura
reduzida (8.41). No entanto, como o modelo de Ising em d = 1 no apresenta
um ponto crtico usual, o comportamento na vizinhana de T = 0 no corres-
ponde a leis de potncia, e sim a divergncias exponenciais do comprimento de
correlao e outras quantidades singulares, como ca evidente da denio dos
parmetros u, v. Lembrando que o fator de escala adotado neste clculo foi l = 2,
reconhecemos o valor do expoente trmico
y
t
= 2. (8.84)
Notamos que como y
t
> 0, o ponto xo u = 0 instvel, como representado na
gura 8.4. A partir do conhecimento de y
t
poderiamos obter os expoentes crticos
do modelo. No entanto, bom lembrar que transio de fase acontece apenas a
T = 0 e apresenta um comportamento anmalo em relao aos pontos crticos
usuais, sendo um reexo do resultado geral da ausncia de transies de fase a
temperatura nita em sistemas unidimensionais com interaes de curto alcance.
Vamos ver ento o que acontece com o modelo de Ising em duas dimenses.
8.2.3 O modelo de Ising na rede quadrada (d = 2)
A funo de partio do modelo de Ising dada por:
Z(T, N) =
{
i
}
exp K
<i,j>
j
(K = J) (8.85)
onde a soma indicada por i, j corresponde a todos os pares de vizinhos prximos
em uma rede quadrada. A rede quadrada pode ser dividida em duas subredes inter-
penetrantes, de forma que podemos tentar reproduzir o processo de dizimao que
aplicamos cadeia de Ising para o sistema em d = 2. Na gura 8.5 vemos como
implementar o processo no entorno de um spin particular
5
onde se escolheu um
fator de escala l =
2.
Figura 8.5: Uma parte da rede quadrada. Os crculos abertos correspondem aos
spins somados e os pretos aos restantes. Neste caso l =
2.
Os termos correspondentes a este spin so:
5
exp [K
5
(
2
+
4
+
6
+
8
)] = 2 cosh[K(
2
+
4
+
6
+
8
)]. (8.86)
Desta forma podemos somar todos os spins de uma subrede de forma a car com
a metade dos spins originais. No nal, obteremos uma expresso para Z com
muitos termos da forma anterior, e o problema agora consiste em encontrar uma
forma equivalente funo de partio original para quaisquer valores dos spins
2
,
4
, . . . = 1. Com um pouco de anlise possvel mostrar que no possvel
obter uma equivalncia completa entre as expresses original e dizimada em ter-
mos apenas de interaes entre vizinhos prximos. No entanto, se acrescentarmos
interaes entre segundos vizinhos e entre grupos de quatros spins poderemos
acomodar todas as possveis combinaes dos spins restantes. Isto equivale a es-
crever:
2 cosh [K(
2
+
4
+
6
+
8
)] = exp
_
K
0
+
1
2
K
(
2
4
+
2
6
+
4
8
+
6
8
)
+L
(
2
8
+
4
6
) + M
8
] (8.87)
Analizando todas as possveis combinaes dos quatros spins envolvidos nos ter-
mos acima obtemos:
K
0
= ln 2 +
1
2
ln cosh 2K +
1
8
ln cosh 4K, (8.88)
K
=
1
4
ln cosh 4K, (8.89)
L
=
1
8
ln cosh 4K, (8.90)
M
=
1
8
ln cosh 4K
1
2
ln cosh 2K. (8.91)
Assim, aps a primeira iterao a funo de partio pode ser escrita na forma
Z(T
, N
) = e
N
j
}
exp K
1viz
j
+ L
2viz
j
+ M
quad
m
.
(8.92)
com N
= N/2.
Neste ponto, resulta razovel redenir o sistema original em termos de outro
com interaes entre segundos vizinhos e entre grupos de quatro spins, com uma
funo de partio da forma (8.92) com L = M = 0, tal que:
Z(N, K, 0, 0) = e
N
Z(N
, K
, L
, M
), (8.93)
o que resulta em uma energia livre por spin (em unidades de k
B
T):
f(K, 0, 0) =
1
2
K
0
+
1
2
f(K
, L
, M
). (8.94)
Se continuarmos com o processo iterativo de dizimao de se esperar que, em
geral, apaream termos de interao com formas mais complexas. Neste caso, no
possvel continuar com o processo de renormalizao sem introduzir alguma
aproximao.
8.3 A formulao geral do Grupo de Renormaliza-
o
Pelo visto no exemplo do modelo de Ising em d = 2 parece razovel iniciar
o processo de renormalizao considerando um Hamiltoniano com um nmero
grande de parmetros K
1
, K
2
, . . ., onde a maioria sero zero no sistema real a
considerar, e uma congurao inicial dos graus de liberdade
i
, de forma que
a energia livre do sistema se pode escrever como:
e
F
=
{
i
}
exp
_
H
{
i
}
(K
, = 1, 2, . . . (8.95)
Agora realizamos uma dizimao do sistema original, o que reduz o nmero de
graus de liberdade de N para N
e o comprimento de correlao de para
, tal
que:
N
= l
d
N
= l
1
, (l > 1). (8.96)
O prximo passo expressar a funo de partio do sistema transformado como
tendo a mesma forma da funo de partio de sistema original, mas com par-
metros transformados. A equao (8.95) se escreve agora como
e
F
= e
N
i
}
exp
_
H
{
i
}
(K
, (8.97)
de forma que a energia livre por partcula dada por:
f(K
) = l
d
[K
0
+ f(K
). (8.98)
Podemos denir um espao vetorial /, de forma que a transformao entre o
conjunto de parmetros K
pode ser considerada como a evoluo

de um vetor K neste espao. O uxo neste espao vetorial pode ser representado
pela transformao
K
= 1
l
(K), (8.99)
onde 1
l
o operador do grupo de renormalizao correspodente ao problema
considerado. Aplicaes sucessivas da transformao geram uma sequncia de
vetores K
, K
, . . . tal que:
K
(n)
= 1
l
(K
(n1)
) = . . . = 1
(n)
l
(K
(0)
), n = 0, 1, 2, . . . , (8.100)
onde K
(0)
representa o conjunto de parmetros K original. No nal do processo
o comprimento de correlao e a parte singular da energia livre caro transfor-
mados na forma:
(n)
= l
n
(0)
, f
(n)
= l
nd
f
(0)
. (8.101)
Eventualmente, a transformao ir atingir um ponto xo K
tal que:
1
l
(K
) = K
. (8.102)
Podemos notar que as equaes (8.96) implicam que (K
) = l
1
(K
) e, como
consequncia, no ponto xo (K
) somente pode ser zero ou innito ! Este

um resultado importante, pois sabemos que um comprimento de correlao nulo
corresponde a um sistema de partculas independentes, o que corresponde ao li-
mite de temperatura innita de um sistema com interaes. O outro caso mais
interessante, pois um comprimento de correlao innito surge, como vimos, no
ponto crtico.
Analizemos as consequncias de um ponto xo K
com (K
) = . de
se esperar que alguns pontos genricos K acaben uindo, aps uma sequncia de
transformaes do tipo (8.100), para um ponto xo K
. Na sequncia de trans-
formaes, o comprimento de correlao s pode diminuir como consequncia da
(8.101). Mas como no ponto xo (K
) = , ento deve ser innita tambm no

ponto K, assim como em todos os pontos intermedirios do uxo de renormali-
zao. Ento, de forma genrica, ir existir no espao vetorial / uma superfcie,
chamada superfcie crtica, formada por pontos que iro uir para um ponto xo
aps uma sequncia de transformaes do grupo de renormalizao, como ilus-
trado na gura 8.6. O ponto xo K
pode ter componentes que no correspondem

as interaes originais do sistema, e por tanto, no necessariamente correspon-
der ao ponto crtico K
c
. O ponto crtico pode ser identicado como um ponto
na superfcie crtica que possua exatamente o conjunto de parmetros do sistema
original. Como o comprimento de correlao de todos os pontos sobre a superf-
cie crtica innito, ento o ponto K
c
ter todas a propriedades do ponto crtico
fsico. No entanto, as propriedades crticas do sistema so determinadas pelo
comportamento do uxo de renormalizao na vizinhana do ponto xo K
.
Vamos ento proceder a uma anlise do padro de uxo na vizinhana do
ponto xo, escrevendo:
K = K
+k, (8.103)
de forma que
K
= K
+k
= 1
l
(K
+k), (8.104)
Figura 8.6: O espao de parmetros de um sistema fsico mostrando as trajetrias
de uxo do grupo de renormalizao. As linhas cheias correspondem a trajetrias
crticas. O espao da variveis relevantes t e h ortogonal superfcie crtica
(t = h = 0). As linhas tracejadas correspondem a linhas de uxo dominadas
pelas variveis relevantes.
e por tanto:
k
= 1
l
(K
+k) K
. (8.105)
Supondo que k
e k
sejam pequenas, podemos linearizar a relao anterior

e obtemos:
k
= /
l
k, (8.106)
onde /
l
uma matriz que surge ao linearizar o operador de renormalizao 1
l
no
entorno do ponto xo K
. Sejam
i
e
i
os autovalores e autovetores do operador
linear /
l
. Se os autovetores formam um conjunto completo, podemos expandir:
k =
i
u
i
i
, k
i
u
i
, (8.107)
de forma que, aps aplicao de (8.106), obtemos:
u
i
=
i
u
i
, i = 1, 2, . . . (8.108)
Os coecientes u
i
so chamados campos de escala (scaling elds). Depois de n
transformaes na vizinhana do ponto xo, os campos de escala so dados por:
u
(n)
i
=
(n)
i
u
(0)
i
. (8.109)
Os campos u
i
so combinaes lineares dos parmetros originais k
do problema
na vizinhaa do ponto xo e ento podem ser considerados como uma espcie
de coordenadas generalizadas no espao vetorial /. O comportamento destes
campos na vizinhaa do ponto crtico ir determinar o comportamento crtico do
sistema, o que por sua vez, depender de forma fundamental dos autovalores
i
.
Existem trs comportamentos possveis para as coordenadas u
i
.
1. Se
i
> 0 o parmetro u
i
ir crescer com n. O efeito ser que o sistema
tender a se afastar do ponto xo nesta direo. Se diz que u
i
uma varivel
relevante. A temperatura e o campo magntico so variveis relevantes.
Podemos denir:
u
1
= at + O(t
2
), u
2
= bh + O(h
2
), (8.110)
com
1
,
2
> 1.
2. Se
i
< 0 o parmetro u
i
decresce com sucessivas iteraes da tranforma-
o de renormalizao. Ou seja, o uxo ao longo da direo u
i
converge
para o ponto xo. Estas coordenadas so chamadas variveis irrelevantes.
Pelo visto anteriormente, todas as coordenadas sobre a superfcie crtica,
que uem na direo do ponto crtico, so variveis irrelevantes. Ou, de
forma equivalente, sobre a superfcie crtica todas as variveis relevantes
so zero.
3. Se
i
= 1 ento u
i
no cresce e nem decresce com as transformaes do
GR. Para saber como se comportam essas variveis, chamadas marginais,
necessrio ir alm do regime de escala linear. A presena destas variveis
pode levar a correes logaritmicas nos valores do expoentes crticos.
Vejamos ento como estas consideraes se aplicam ao uxo do comprimento
de correlao e a parte sigular da energia livre, equaes (8.101). Temos
(u
1
, u
2
, . . .) = l
n
(
n
1
u
1
,
n
2
u
2
, . . .), (8.111)
e
f(u
1
, u
2
, . . .) = l
nd
f(
n
1
u
1
,
n
2
u
2
, . . .). (8.112)
Identicando u
1
com t e lembrando a denio do expoente obtemos:
u
1
= l
n
(
n
1
u
1
)
, (8.113)
que leva ao resultado:
=
ln l
ln
1
. (8.114)
Como os expoentes crticos (como ) no dependemda escala l concluimos que os
expoentes
i
devem ter uma dependncia em l que leve aos resultados esperados.
Para ver isso consideremos a aplicao sucessiva de duas transformaes do GR
lineares:
/
l
1
/
l
2
= /
l
1
l
2
(8.115)
Esta propriedade faz que os operadores /
l
formem um semi-grupo. Eles no
formam um grupo pois as transformaes no possuem inversa nica. Como con-
sequncia os autovalores
i
devem ser da forma l
y
i
, tal que:
l
y
i
1
l
y
i
2
= (l
1
l
2
)
y
i
(8.116)
Por tanto a relao (8.114) resulta:
=
1
y
1
, (8.117)
que independente de l.
A energia livre (8.112) se pode rescrever como
f(t, h, . . .) = l
nd
f(l
ny
1
t, l
ny
2
h, . . .). (8.118)
Pela mesma argumentao usada na seo 8.2.1, podemos concluir que f dever
ter a forma:
f(t, h, . . .) = [t[
d

f(h/[t[
, . . .), (8.119)
onde
=
y
2
y
1
. (8.120)
Da denio do expoente crtico obtemos:
2 = d =
d
y
1
, (8.121)
e os outros expoentes podem ser facilmente determinados com as relaes de es-
cala:
= (2 ) , (8.122)
= 2(2 ), (8.123)
= /, (8.124)
= 2 (/). (8.125)
Em suma, para determinar os expoentes crticos de um dado sistema a re-
ceita a seguir no contexto do GR a seguinte:
1. Determinar o operador do GR 1
l
para o problema dado.
2. Encontrar o(s) ponto(s) xo(s) K
3. Linearizar 1
l
no entorno do ponto xo.
4. Determinar os autovalores
i
= l
y
i
.
5. A partir dos y
i
s determinar os expoentes e .
6. Utilizar as relaes de escala e hiperescala e determinar o resto dos expoen-
tes.
8.4 Renormalizao do modelo de Ising na rede qua-
drada
Vamos ento completar a anlise do modelo Ising na rede quadrada iniciado na
seo 8.2.3. Seguindo os passos gerais da anlise do grupo de renormalizao
identicamos inicialmente a transformao 1
l
dada pelas equaes:
K
=
1
4
ln cosh 4K, (8.126)
L
=
1
8
ln cosh 4K, (8.127)
M
=
1
8
ln cosh 4K
1
2
ln cosh 2K. (8.128)
As interaes L
e M
surgiram na primeira transformao de escala, e novas in-

teraes iro surgir em sucessivas transformaes do GR. Por tanto necessrio
fazer alguma aproximao para continuar adiante com a anlise. Uma aproxima-
o desconsiderar a interao M e todas outras possveis interaes, e limitar a
anlise a duas variveis: K e L. Supondo que estas variveis so pequenas, fa-
zemos uma expanso em srie de Taylor no entorno do zero e obtemos na ordem
dominante:
K
= 2K
2
, L
= K
2
. (8.129)
Vimos antes que til considerar, logo do incio, um conjunto de interaes maior
que as reais, pois muitas podem surgir no processo de renormalizao. Se tivs-
semos incluido a interao L no sistema original, as equaes anteriores seriam
dadas por:
K
= 2K
2
+ L, L
= K
2
. (8.130)
imediato vericar que este sistema de duas equaes possui um ponto xo no
trivial em
K
=
1
3
L
=
1
9
. (8.131)
Linearizando a transformao no entorno do ponto xo no trivial obtemos:
k
1
=
3
4
k
1
+ k
2
, k
2
=
2
3
k
1
, (8.132)
onde k
1
= K K
e k
2
= L L
. A transformao linear /
l
dada por:
/
2
=
_
4
3
1
2
3
0
_
, (8.133)
com autovalores:
1
= (2 +
10)/3,
2
= (2
10)/3, (8.134)
e correspondentes autovetores:
_
2 +
10
2
_
,
2

_
2
10
2
_
. (8.135)
Os campos de escala so dados por:
u
1
[2k
1
+ (
10 2)k
2
], u
2
[2k
1
(
10 + 2)k
2
]. (8.136)
u
1
a varivel relevante, pois
1
> 0, enquanto que u
2
uma varivel irrele-
vante. Como neste problema existem apenas duas variveis, a superfcie crtica
neste caso uma curva crtica no plano (K, L), como mostra a gura 8.7. A curva
Figura 8.7: Uma parte do espao de parmetros e da curva crtica do modelo de
Ising bidimensional, na vizinhana do ponto xo no trivial (K
= 1/3, L
=
1/9). Notar que os pontos sobre a curva crtica uem para o ponto xo no tri-
vial,enquanto os que esto fora desta curva uem para os pontos xos triviais
(K
= 0, L
= 0) ou (K
= , L
= ).
crtica dada pela condio u
1
= 0, o que resulta (na vizinhana do ponto xo)
no segmento de reta mostrado na gura 8.7. Para determinar o ponto crtico f-
sico, devemos fazer L = 0, pois essa interao no existe no sistema original. Por
tanto o ponto crtico K
c
dever estar na interseo entre a curva crtica e o eixo
K. Uma aproximao simples para obter o valor de K
c
extender o segmento
de reta (vlido apenas na vizinhana do ponto xo) at o cruzamento com o eixo
horizontal. Obtemos:
K
c
0.3979, (8.137)
que deve ser comparado com o valor exato K
Onsager
c
= 0.4407 (valor da apro-
ximao de campo mdio K
c
= nmero de coordenao = 4). Podemos obter
tambm o valor do expoente :
=
ln l
ln
1
=
ln
2
ln [(2 +
10)/3]
= 0.6385, (8.138)
que deve ser comparado com o valor exato = 1.
Claramente, os valores numricos obtidos no so muito precisos. Isso
consequncia das aproximaes realizadas ao longo do processo, especialmente
ter desconsiderado outras interaes que surgem no processo de renormalizao.
Uma melhora pode ser obtida deixando a interao M por exemplo. No entanto,
o exerccio serve como ilustrao do poder do formalismo do Grupo de Renorma-
lizao na determinao do comportamento crtico de um sistema. A existncia
de classes de universalidad tambm aparece naturalmente no formalismo. Vimos
que todos os sistemas denidos por interaes sobre a superfcie crtica vo uir
para o mesmo ponto xo. Por tanto pertencem a mesma classe de universalidade
do Ising bidimensional. O exemplo tambm mostrou a relevncia das variveis
relevantes, que atravs dos seus autovalores iro determinar completamente os
expoentes crticos e a classe de universalidade correspondente.
Referncias Bibliogrcas
[1] S. R. A. Salinas, Introduo Fsica Estatstica, Edusp.
[2] R. K. Pathria and P. D. Beale, Statistical Mechanics, Elsevier.
[3] P. M. Chaikin and T. C. Lubensky, Principles of Condensed Matter Physics,
Cambridge University Press.
[4] N. Goldenfeld, Lectures on Phase Transitions and the Renormalization
Group, Addison-Wesley.
[5] L. D. Landau and E. M. Lifshitz, Statistical Physics - Pergamon Press.
[6] N. W. Ashcroft and N. D. Mermin, Solid State Physics, Sounders College.
136

Notasdeaula

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Notasdeaula

Enviado por

Direitos autorais:

Formatos disponíveis

Mecnica Estatstica

s so nmeros qunticos correspondentes a

conhecida como fugacidade.

k somente atravs do mdulo k = [

k arbitrrio esta onda no ter, em

S representa o operador de spin em sistemas qunticos ou o vetor de momento

). Nesta fase, as molculas na direo de alinhamento giram

M , = 0. O grupo de simetria original reduzido

= J tanh (J) (7.12)

o nmero de spins para baixo e N o nmero

um segundo mnimo aparece, embora

(x) como o valor do parmetro dentro de um

(x)), pois esta quantidade equivale a considerar os valores de equi-

(x) nos diferentes blocos. Uma forma de contornar este

(x) varia pouco na escala a, e tomando o limite

e f(T, (x)) tem a forma da densidade de energia livre

(x), no sentido que depende da funo

(x) em todos os pontos

indica uma integral funcional. Fisicamente, a integral

(x)] deixa explcito o carter de Hamiltoniano efetivo do funci-

h, e o smbolo representa uma derivada funcional. O potencial termodinmico

) por transformanda de Fourier:

(x) uma funo de Bessel modicada. Para x 1, K

(q) tm um comportamento com lei de potncia:

, que aponta ao longo do eixo princi-

, contribui ordem tanto quanto a direo v

unitrio, o tensor tem trao nulo: Tr

Q, e S um escalar que determina a intensidade do alinhamento das

o ngulo formado entre o eixo principal da molcula e o diretor de

com umvalor de f > 0, e por tanto aparece

, a transio comparece antes a medida que se baixa a tempe-

a fase isotrpica localmente

a soluo isotrpica se torna instvel, a

ento o de um limite de metaestabilidade.

representa um limite de metaestabilidade da fase

no ponto em que diverge. Obtemos:

universal. O resto das constantes de proporcionalidade A, B, so quanti-

(x) uma funo de Bessel modicada. Para x 1, K

para > 0. Da (7.97)

. A funo C(x, y) uma funo

queremos dizer o sistema no qual as distncias agora so medidas em

, que passa a ser a nova constante de rede. Como consequncia do

ser igual a 1/l do comprimento original

spins, de forma que a soma nos

spins possa ser expressa na forma:

. Este processo de somar em um subconjunto dos

2 e d = 2 mostrado na gura 8.2.

) = N f(t, h), (8.39)

so quantidades pequenas podemos considerar que esto relaci-

e o comprimento de correlao de para

pode ser considerada como a evoluo

) somente pode ser zero ou innito ! Este

) = , ento deve ser innita tambm no

pode ter componentes que no correspondem

sejam pequenas, podemos linearizar a relao anterior

surgiram na primeira transformao de escala, e novas in-

Você também pode gostar