Escolar Documentos
Profissional Documentos
Cultura Documentos
Física Quântica
Física Quântica
A. O. Bolivar
d
q
onde 4x = hx2 i hxi2 mede a largura de . O teo- sentamos duas vers~oes do teorema de Ehrenfest: uma
rema de Ehrenfest consiste em supor que seja norma- qu^antica e outra classica.
lizavel, i.e., hx hxi i = 0, e que 4x seja bem pequeno
(para uma pacote de Ehrenfest P E ) de modo que V va- (a) Teorema de Ehrenfest classico.
rie muito pouco em torno de hxi , isto e, @ 3V=@x3 0.
Assim, obtemos Na formulac~ao de Liouville da mec^anica classica, o
estado de um sistema fsico e especi cado pela funca~o
h @V (x; t) i = @V (hxi P E ; t) :
@x PE
@x
distribuic~ao de probabilidade F (x; p; t) no espaco de
fase (x; p). A din^amica de F , gerada pelas equac~oes
Desta forma, diz-se que as equac~oes de Newton s~ao re- de Newton, e dada por
cuperadas, como aproximac~ao, a partir da equac~ao de @F p @F @V @F
Schrodinger. Em outras palavras, os valores medios +
@t m @x @p @p
= 0: (1)
hxi e hpi de um sistema qu^antico descrito por P E
seguem uma trajetoria classica. Isto e o que e pro- O valor esperado das observaveis fsicas A(x; p; t) e cal-
palado, em geral, nos livros-textos usados em nossas culado a partir da formula
universidades. Z
Contudo, vale notar que o teorema de Ehrenfest n~ao hAiF = AF dxdp: (2)
explica o fato de como a algebra n~ao-comutativa das
observaveis qu^anticas desaparece no limite classico [3]. Assim, e facil mostrar que
Alem deste pequeno detalhe geralmente olvidado, con-
ceitualmente, isto e, no que tange a interpretac~oes do dhxiF hpiF
= m (3)
formalismo qu^antico, ao teorema de Ehrenfest e levan- dt
tada a seguinte objec~ao:
dhpiF @V (hxiF ; t)
dt
= h @V
@x
i F =
@x
; (4)
( ) Na interpretac~ao de Copenhague, o \x" que apa-
rece no argumento de P E (x; t) n~ao representa a loca- desde que a largura da distribuic~ao de probabilidade F
lizac~ao real de uma partcula, mas somente uma possvel seja pequena. Segue, ent~ao, que a evoluc~ao temporal
posic~ao, entre outras, de ser realizada com uma proba- do centroide (hqiF ; hpiF ) do ensemble classico F pode
bilidade j P E j2 , desde que uma medic~ao seja feita para ser descrito por equac~oes formalmente similares as de
determinar a posic~ao da partcula. Ao passo que nas Newton. No entanto, como e obvio notar, o sistema
equac~oes de Newton o \x" denota a posic~ao bem de- mantem-se classico mesmo violando (3) e (4), i.e., as
nida de um sistema, em todo instante, independente- condic~oes de validade do teorema de Ehrenfest n~ao s~ao
mente de ser ou n~ao observada [4,5]. A seguinte quest~ao necessarias para estabelecer a classicalidade de um sis-
ainda permanece n~ao respondida: como transpor este tema fsico.
abismo conceitual entre as duas teorias?
(b) Teorema de Ehrenfest qu^antico.
Recentemente, Ballentine et al. [6] mostraram de
modo de nitivo que, do ponto de vista formal, as Comumente, o teorema de Ehrenfest (qu^antico) e
condic~oes de validade do teorema de Ehrenfest n~ao apresentado ou na representac~ao de Schrodinger [1]
s~ao su cientes, pois quando aplicadas ao oscilador ou na representac~ao de Heisenberg [5,6]. Para efeito
harm^onico, por exemplo, n~ao bastam para caracteri- de comparac~ao com a vers~ao classica deste teorema,
zar a sua classicalidade; muito menos s~ao necessarias, e seguindo a Ref.[8], reformulamo-lo no espaco de
visto que ha sistemas qu^anticos (partcula unidimensio- fase qu^antico. (Ao leitor menos familiarizado com o
nal entre paredes re etoras, oscilador quartico forcado) formalismo de Wigner, recomendamos a leitura das
que podem violar o teorema de Ehrenfest e ainda assim Refs.[5,8,9]).
se comportarem classicamente. Nosso objetivo neste Da equac~ao de Schrodinger sob a ac~ao de um po-
artigo e reforcar este ponto de vista. Para isto, apre- tencial escalar V
192 Revista Brasileira de Ensino de F
sica, vol. 23, no. 2, Junho, 2001
~ @2 @ ~ @2 y y = ~ @ y ;
2m @x21 + V (x1 ; t) = ~ @t ; (5) 2m @x22 + V ( x2 ; t ) @t
(6)
no ponto x1 e da sua complexa-conjugada no ponto x2 , obtemos a equac~ao de evoluc~ao
c
( 1 ( )
@ p @ X )k (~=2)2k @ 2k+1 V @ 2k+1
~ +~
@t m @q
~
k=0
(2k + 1)! @q2k+1 @p2k+1 W = 0; (7)
d
para a func~ao de Wigner [9] por sua vez, esta permite que
Z
dhxiW hpiW
W (p; x; t) = 21 y (x + ~ ; t) (x
2
~
2 ; t)e
{p d;
dt
= m (14)
(8)
depois de usarmos a mudanca de variaveis
Z
~ ~ dhpiW @V (x; t)
x1 = x
2 ; x2 = x + 2 : (9) dt
= @x
W (x; p; t)dxdp
(Notemos
Pn
que para potenciais da forma polinomial V =
a x j , a Eq.(7) passa a ter um n
umero nito de
j =0 j
termos). = h @V i = @V (h@x
@x W
xiW ; t)
: (15)
Na formulac~ao da mec^anica qu^antica no espaco de
fase, os valores esperados da posic~ao x e do momentum Ou seja, o centroide do ensemble qu^antico W segue
p s~ao calculados por meio das relac~oes \trajetorias" determinadas por equac~oes do tipo New-
Z ton. Contudo, as condic~oes (i) e (ii) n~ao bastam para
hxiW = xW (x; p; t)dpdx (10) que um sistema qu^antico esteja em domnio classico,
Z pois sabemos que, embora a condic~ao (15) seja exata,
hpiW = pW (x; p; t)dpdx: (11) um oscilador harm^onico qu^antico e totalmente diferente
de um oscilador classico, devido a presenca da energia
O teorema de Ehrenfest, reformulado neste formalismo do ponto zero inerente ao primeiro e ausente no se-
de Wigner [8], consiste basicamente em impor condic~oes gundo. Muito menos (i) e (ii) s~ao necessarias, pois de
para que a func~ao qu^antica W simule um comporta- acordo com Ballentine et al. [6], ha sistemas qu^anticos
mento de modo que ela possa ser descrita \classica- que se comportam classicamente sem levar em conside-
mente". Isto e possvel se raca~o as condic~oes de validade deste teorema.
(i) a func~ao de Wigner W for su cientemente bem Em suma, da exist^encia das vers~oes qu^antica e
localizada, ou seja, se for construda a partir de um pa- classica do teorema de Ehrenfest, segue a quest~ao: de
cote de Ehrenfest P E de tal modo que o potencial V que trata, a nal, o teorema de Ehrenfest? Ao contrario
n~ao varie muito dentro das dimens~oes de W : do que comumente se pensa, tal teorema n~ao e um pro-
@3V
@x3
@V
@x
; (12) cesso de limite classico. Ele e simplesmente um pro-
cedimento estritamente matematico, ou seja, estabelece
(ii) a func~ao de Wigner for sempre de nida positiva. condic~oes para que os valores esperados da posic~ao e
Isto ocorre sempre para func~oes de onda gaussianas. do momentum linear, calculados a partir de um dado
ensemble (qu^antico ou classico) evoluam de acordo com
Decorre das condic~oes de validade i) e ii) que a equac~oes de movimento similares as equac~oes de New-
Eq.(7) torna-se 3 ton. Algo analogo aos par^entesis de Lie que ora se re-
@W p @W @V @ W alizam como colchetes de Poisson (mec^anica classica)
+
@t m @x @x @p
= 0; (13) ora como comutador (mec^anica qu^antica). Por si so, os
3 Notemos que para potenciais da forma polinomial V = a + bx + cx2 , a Eq.(13) e exata.
A.O. Bolivar 193
Journ. de Phys. et le Rad. 7, 353, 1926. | E. Schrodinger, Naturwiss. 14, 664, 1926. | P. Debye, Phys. ZS. 28, 170, 1927. | W.
Heisenberg, ZS. f. Phys. 43, 172, 1927. | E. H. Kennard, P ZS. f. Phys. 44, 326, 1927. R
6 A expans~ao de em termos das autofunco~es = cn eEn =~t n (x) leva as relac~oes matriciais qnm = e=~(En Em )t dxxn m
e pnm .
194 Revista Brasileira de Ensino de F
sica, vol. 23, no. 2, Junho, 2001
H., \Decoherence, Chaos, quantum-classical correspon- herence, chaos, the quantum and the classical", Nuovo
dence, and the arrow of time", Acta Physica Polonica B Cimento B 110, 611 (1995); Habib, S., Shizume, K.
29, 3689 (1998); Zurek, W. H. and Paz, J. P., \Decohe- and Zurek, W. H., \Decoherence, chaos and the corres-
rence, chaos, and second law", Physical Review Letters pondence principle", Physical Review Letters 80, 4361
72, 2508 (1994); Zurek, W. H. and Paz, J. P., \Deco- (1998).