FIS 715 Mecnica Estatstica - 2011.

2 - Notas de Aulas - 11 1
CENTRO DE CINCIAS EXATAS E DA NATUREZA
DEPARTAMENTO DE FSICA
PROGRAMA DE PS-GRADUAO
Aula 11
Sistemas Ergdicos e Sistemas Misturantes.
Sumrio
Teoria Ergdica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Fluxo Ergdico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Fluxo Misturante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Bibliograa recomendada
L. E. Reichl, A Modern Course of Statistical Physics, Jonh Wiley & Sons, 2
nd
Ed. (1998), 6C.
Joel l. Lebowitz e Oliver Penrose, Modern ergodic theory, Physics Today, Feb. pginas 1-7,
(1973).
Teoria Ergdica
A teoria ergdica um ramo da matemtica que estuda sistemas dinmicos que possuam al-
guma medida invariante. Como vimos, o uxo da funo densidade no espao de fase
evolui segundo o Teorema de Liouville de tal maneira que o volume de certa regio perma-
nece invariante durante a evoluo dinmica
1
A questo central da teoria ergdica descrever o comportamento e a estabilidade de um sis-
tema dinmico em longas escalas de tempo. Atualmente, com os avanos da computao tem
sido usada em vrios campos como mecnica celeste, geometria, qumica etc.
Para a mecnica estatstica de interesse entender a origem dos processos irreversveis a
partir do uxo no espao de fase. O uxo ditado pelo Teorema de Liouville de um tipo muito
especial. No h qualquer processo difusivo envolvido e as trajetrias so contnuas e no po-
dem se cruzar etc. A hiptese ergdica foi introduzida por Boltzmann (1865).
Historicamente, dois tipos de uxos tmsido bastante estudados para compreender o com-
portamento da densidade de probabilidades no espao de fase, os uxos ergdico e o mistu-
rante.
1
Lembrar que permanece invariante sob transformaes cannicas.
Prof. Srgio Coutinho Departamento de Fsica UFPE
FIS 715 Mecnica Estatstica - 2011.2 - Notas de Aulas - 11 2
Fluxo Ergdico
Considerar um sistema fsico descrito por uma hamiltoniana ( q, p) com 2n graus de liber-
dade. As equaes de Hamilton
q
i
=

p
i
, p
i
=

q
i
, i =1, 2. . . n
quando integradas no tempo fornecem 2n 1 constantes (ou integrais) do movimento, i.e.
f
i
(q
1
, q
2
, . . . q
n
, p
1
, . . . p
n
) =C
i
i =1, 2, . . . n
Outras constantes do movimento (integrais primeiras) podem existir como, e.g. a energia
constante ( q, p) =. As integrais do movimento podem ser classicadas em dois tipos: iso-
lantes e no-isolantes. As isolantes, como ( q, p) = denemuma hiper-superfcie em e so
importantes para o uxo ergdico porque delimitamas regies do espao de fase acessveis ao
sistema, enquanto as no-isolantes no denem hipersuperfcies e so menos importantes.
O problema central, agora saber quais e quantas so as integrais do movimento que so
isolantes. Uma vez estabelecidas, restam as seguintes e importantes questes:
1. Como se comporta o uxo temporal dos elementos do ensemble de umsistema em equi-
lbrio?
2. Como esse uxo estacionrio alcanado?
3. Como so descritos os processos irreversveis para se alcanar o equilbrio?
Como exemplo, vamos considerar o caso de um sistema onde h apenas uma integral do
movimento, a energia. ( q, p) = dene um hiper-superfcie 2n 1 dimensional S

que deli-
mita o uxo do sistema em .
Fluxo Ergdico:
O uxo dos pontos ( q, p) que denem os micro-estados em S

dito ser
ergdico se quase todos os pontos ( q, p) movem-se de tal maneira que pas-
sam por toda vizinhana nita R

de qualquer ponto emS

.
Obs:
Em outras palavras, quase todos os pontos visitam uma vizinhana nita de quase todos
os pontos.
Quase todos os pontos signica todos exceto por um subconjunto de medida nula.
A restrio para a vizinhana nita, resulta do fato de no ser possvel um certo ponto
visitar todos os pontos deS

porque uma trajetria auto-excludente, i.e que no se cruza,

no pode preencher uma S

com dimenso 2.
Prof. Srgio Coutinho Departamento de Fsica UFPE
FIS 715 Mecnica Estatstica - 2011.2 - Notas de Aulas - 11 3
Ocritriopara se determinar se umsistema ergdico dadopelo Teorema Ergdico devido
a George D. Birkhoff (1931)
2
Para isso, considerar uma funo f ( q, p) integrvel em que descreva uma grandeza
dinmica mensurvel do sistema. Na Aula 9 (equao 9), denimos a mdia de ensemble
f
t
=
_

f ( q, p) ( q, p) d qd p (1)
e na Aula 10 (equao 12) denimos a mdia temporal em umintervalo de tempo suciente-
mente grande sicamente. No limite , temos

= lim

_
t
0
+
t
0
f ( q, p) dt (2)
OTeorema Ergdico de Birkhoff estabelece que umsistema ergdico se para
todas as funes f ( q, p) de interesse fsico (funes contnuas por partes),
(i) Amdia temporal

f

dada pela equao (2) exista para quase todos os pon-

tos ( q(t
0
), p(t
0
)).
(ii) Quando ela existir seja igual mdia de ensemble denida na equao (1),
i.e.

=f
t
Obs:
Na Aula 10, vimos que a correspondncia entre as duas mdias possvel quando o sis-
tema est em equilbrio estatstico, i.e. com estacionria. Isso ocorre, como mostrado,
quando =() com sendo uma constante do movimento, que o caso para os siste-
mas conservativos.
A inverso da ordem das integraes, temporal e no ensemble pressupe que ambas as
funes tambmque ( q, p) e f ( q, p) sejam contnuas por partes.
No caso, em questo, com( q, p) = a mdia de ensemble pode ser reescrita por
f
t
=
1
()
_

f ( q, p) [( q, p) ] d q d p (3)
onde usamos a funo densidade como
( q, p) =
[( q, p) ]
()
, () =
_

[( q, p) ] d q d p (4)
2
Proc. Nat. Acad. Sci. 17 p. 656, (1931).
Prof. Srgio Coutinho Departamento de Fsica UFPE
FIS 715 Mecnica Estatstica - 2011.2 - Notas de Aulas - 11 4
Para obter () considerar o volume () de tal que 0 <( q, p) <, i.e.
() =
_
0<<
d q d p =
_
0<<
d

d n

(5)
onde
d

: Elemento de "rea"da hipersuperfcie ( q, p) =

d n

: Componente normal hipersuperfcie ( q, p) =

O gradiente de ( q, p) um vetor normal hipersuperfcie ( q, p) =, logo podemos escre-
ver
d =
_
_

_
_
d n

d n

=
1
_
_

_
_
d
() =
_
0<<
d
d

_
_

_
_
=
_

0
d
_
S

_
_

_
_
=
_

0
d ()
onde identicamos
() =
_
S

_
_

_
_
que uma funo de e uma medida invariante da "rea"da hipersuperfcie para um dado
valor de no espao .
Tomando a derivada de () obtemos
d
d
() =() =
_
S

_
_

_
_
=
Retornando ao clculo da mdia de ensemble teremos pela equao (3)
f =
1
()
_

f ( q, p) [( q, p) ] d q d p =
1
()
_
S

f ( q, p)
d

_
_

_
_
=
.
dS

f =
1
()
d
d
__
0<<
d q d p f ( q, p)
_
(6)
onde identicamos dS

como o elemento de "rea"invariante.

Se o sistema ergdico, a frao de tempo

que umdeterminadoponto gasta para visitar

uma dada regio

sobre a hipersuperfcie = ser proporcional frao do volume de

sobre o volume de S

, i.e.
lim
t

t
=
(

)
(S

)
, (

) =
_

( q, p) d q d p (7)
Comentrios importantes:
Prof. Srgio Coutinho Departamento de Fsica UFPE
FIS 715 Mecnica Estatstica - 2011.2 - Notas de Aulas - 11 5
1. Ouxo poder ainda no ser ergdico se existiremoutras integrais primeiras que interdi-
temo movimento do ponto a certas regies nitas (de medida no nula) em =. Caso
isso no ocorra, o sistema dito ser metricamente transitivo.
2. Se o sistema ergdico ir gastar tempos iguais em"reas"iguais da hipersuperfcie =
, ou seja a probabilidade de se encontrar o sistema em certa regio nita

ser
P(

) =
(

)
(S

)
(8)
ou seja
P(

) =
1
(S

)
_

dS

=
1
(S

)
_

d q d p =
_

_
1
(S

)
_
.
( q, p)|
=
d q d p
onde identicamos a densidade de probabilidades normalizada em =, i.e.
( q, p) =
_
_
_
1
(S

)
se =,
0 em outros casos.
(9)
A distribuio dada por (9) conhecida como Lei da Distribuio Fundamental de Khin-
chin
3
e tambmchamada por ensemble microcannico por Gibbs.
Exemplo de Sistema Ergdico:
Considerar umsistema dinmicounidimensional descritopelas variveis (q, p) sujeitas s equa-
es do movimento
p =, q =1
e peridico sobre o quadrado unitrio 0 p 1 e 0 q 1 (espao ).
As equaes do movimento so imediatas;
p(t ) =p
0
+t , q(t ) =q
0
+t
onde p
0
e q
0
so os valores iniciais em t = 0. Eliminando t obtm-se a trajetria no espao de
fase
p =p
0
+(q q
0
)
Se =m/n com m e n inteiros a trajetria ser peridica de perodo n, como mostra a gura.
Mas, se irracional a trajetria ser densa porm sem preencher totalmente o quadrado.
3
A. I. Khinchin, Mathematical Foundations of Statistical Mechanics, Dover (1949).
Prof. Srgio Coutinho Departamento de Fsica UFPE
FIS 715 Mecnica Estatstica - 2011.2 - Notas de Aulas - 11 6
Nesse caso, o sistema ser ergdico. Para mostrar isso explicitamente considerar uma funo
f (q, p) integrvel em e expandir em srie de Fourier
f (q, p) =

m,n=
A
m,n
exp[2i (mq +np)]
Considerar agora as mdias temporal e de ensemble:
f

= lim

_
t
0
+
t
0
dt

m,n=
A
m,n
exp[2i [m(q
0
+t ) +n(p
0
+t )]] = (10)
= A
0,0
+ lim

m,n=
A
m,n
e
[2i [m(q
0
+t
0
)+n(p
0
+t
0
)]]

_
e
2i (m+n)
1
2i (m +n)
_
(11)
onde o superndice

no somatrio indica a ausncia do termo m = n = 0 previamente inte-
grado. Para valores de irracionais o denominador nunca se anula e o resultado
f

=A
0,0
Por outro lado a mdia de ensemble dada por
f
t
=
_
1
0
dp
_
1
0
dq f (q, p) =A
0,0
porque qualquer integral do tipo
_
1
0
exp[2i m x]dx =
m,0
. Logo, as mdias sero iguais
quando for irracional, i.e. o sistema ser ergdico.
A densidade de probabilidades deve satisfazer tambms condies de periodicidade nas fron-
teiras, logo pode ser escrita como
(q, p, t ) =

m,n=

m,n
(t )e
[2i (mq+np)]
=
Mostrando que

m,n
(t ) =
m,n
(0)e
2i (m+n)t
e usando as propriedades

m,0
=
_
1
0
e
2i m x
dx e (q) =

e
2i mq
fcil ver que
(q, p, t ) =(q +t , p +t , 0)
mostrando que a funo densidade mantm a mesma forma quando transladada no tempo,
ou seja a ergodicidade no suciente para fazer com que uma distribuio inicialmente no
estacionria (localizada) se transforme em uma distribuio estacionria (espalhada em toda
a superfcie) uniforme. Pelo resultado acima, a funo densidade permanecer com a mesma
forma deslocando-se no espao de fase com o tempo. Para se aproximar de uma distribuio
de equilbrio necessrio que o sistema seja misturante.
Prof. Srgio Coutinho Departamento de Fsica UFPE
FIS 715 Mecnica Estatstica - 2011.2 - Notas de Aulas - 11 7
Fluxo Misturante
Considerar o sistema com( q, p) = acima considerado.
Denio:
Sejam f ( q, p) e g ( q, p) duas funes que sejam de quadrado integrveis emS

). Um sistema
dito ser misturante se para todas as funes f e g ,
lim

1
()
_
S

f ( q, p) g ( q, p) dS

=
_
1
()
_
2
_
S

f ( q, p) dS

_
S

g ( q, p) dS

(12)
onde q = q(t ) e p = p(t ), com t =t
0
+, e
() =
_
S

dS

A expresso (denio) dada em (12) signica que no limite de tempo innito, toda a vizi-
nhana de ( q, q) (em t = t
0
+) estar espalhada por todo espao () de tal maneira que
no haver mais correlao entre f e g .
Para ver isso mais claramente, suponha que g = ( q, p) uma funo densidade de probabi-
lidades no estacionria normalizada. Calculando a mdia nesse ensemble de no-equilbrio,
i.e
f

=
_
S

f ( q, p) ( q, p) dS

, (mdia no estacionria em )
e tomando o limite , teremos
lim

= lim

_
S

f ( q, p) ( q, p) dS

=
1
()
_
S

f ( q, p) dS

=1
.
_
S

( q, p) dS

f =
1
()
_
S

f ( q, p) dS

=
_
S

f ( q, p)
1
()
dS

=
_
S

f ( q, p)
eq
dS

Comentrios importantes:
1. No limite a mdia de f sobre um ensemble de no equilbrio tende para a mdia
de f com respeito ao ensemble estacionrio
eq
=[()]
1
.
2. O lado esquerdo da equao (12) pode ser vista tambmcomo:
lim

1
()
_
S

f ( q, p) g ( q, p) dS

= lim

_
S

f ( q, p) g ( q, p)
1
()
dS

= lim

f ( q, p) g ( q, p)
eq
Prof. Srgio Coutinho Departamento de Fsica UFPE
FIS 715 Mecnica Estatstica - 2011.2 - Notas de Aulas - 11 8
ou seja, o limite da mdia de ensemble de equilbrio do produto de duas grandezas
f e g . Outrossim, o lado direito pode ser escrito,
_
1
()
_
2
_
S

f ( q, p) dS

_
S

g ( q, p) dS

=
=
_
S

f ( q, p)
_
1
()
_
dS

_
S

g ( q, p)
_
1
()
_
dS

=f ( q, p)
eq
g ( q, p)
eq
(13)
ou seja
lim

f ( q, p) g ( q, p)
eq
=f ( q, p)
eq
g ( q, p)
eq
ou ainda, no limite a correlao
4
das funes f e g nula.
3. No processo misturante, a mdia da funo densidade de probabilidade se torna uni-
forme porm a funo densidade conserva suas propriedades ditadas pelo Teorema de
Liouville, e.g. a funo densidade na vizinhana de cada ponto permanece intacta. Isso
quer dizer que esse comportamento mdio ocorre em grosso modo e no em uma escala
microscpica to na quanto se queira. Oprocesso visualmente semelhante ao da mis-
tura de dois lquidos no miscveis, como gua e leo. Ao se bater ocorre uma mistura
(que pode ser revertida) que visualmente parece uniforme porm a vizinhana de cada
ponto permanece inalterada. Um exemplo clssico de um sistema misturante trans-
formao padeiro onde a regio 0 q 1 e 0 p 1 composta de duas parties na
natureza diferente sofre sucessivas operaes como a esquematizada na gura abaixo
56
.
4
Lembrar que a correlao denida por:
Cor( f , g ) =
f g f g

f

g
,
2
x
=x
2
x
2
.
5
Veja mais detalhes em L. E. Reichl, A Modern Course of Statistical Physics, Jonh Wiley & Sons, 2
nd
Ed.
(1998), S6.D, pginas 323-325.
6
Para ver exemplos de um processo real de mistura de uma massa para fazer doces assista aos v-
deos http://www.youtube.com/watch?v=Am9URG76BzI - http://www.youtube.com/watch?v=YPP2_ZfOIVU -
http://www.youtube.com/watch?v=ldUbzN4MEGM&NR=1
Prof. Srgio Coutinho Departamento de Fsica UFPE
FIS 715 Mecnica Estatstica - 2011.2 - Notas de Aulas - 11 9
Neste caso, um ponto (q, p) (q

, p

) onde
(q

, p

) =
_
(2q, p/2) 0 q <1/2,
(2q 1, p/2+1/2) 1/2 q 1.
4. Em resumo, se e so duas regies de S

e inicialmente todos os pontos de ensemble

esto em, aps um longo perodo (t ) a frao dos pontos que esto em ou
ser igual frao da rea ocupada por ou , respectivamente, como esquematizado
na gura abaixo.
Prof. Srgio Coutinho Departamento de Fsica UFPE