Você está na página 1de 6

190 Revista Brasileira de Ensino de F

sica, vol. 23, no. 2, Junho, 2001

Teorema de Ehrenfest e o Limite Classico


da Mec^anica Qu^antica
Ehrenfest Theorem and the Classical Limit of Quantum Mechanics


A. O. Bolivar

Centro Brasileiro de Pesquisas F


sicas, CBPF-DCP,

Rua Dr. Xavier Sigaud 150, 22290-180 - Rio de Janeiro, Brasil

Recebido em 20/10/2000. Aceito em 11/05/2001

Apresentamos argumentos sustentando que o teorema de Ehrenfest n~ao e formal e conceitualmente


adequado para conectar a mec^anica qu^antica a mec^anica classica. Alem disso, a m de ressaltarmos
a import^ancia pedagogica de jamais deixarmos de ler os textos originais, traduzimos o artigo de
Paul Ehrenfest publicado em 1927 na revista Zeitschrift fur Physik.
We present arguments against the use of the Ehrenfest theorem as a classical limiting method of
quantum mechanics. In addition, in order to point out the pedagogical relevance of reading the
original texts we translate the article by Paul Ehrenfest published in the journal Zeitschrift fur
Physik in 1927.

I Teorema de Ehrenfest e o li- e o valor esperado da grandeza fsica A e calculado por


mite classico meio da equac~ao
Z
hAi = y A dx:
Sistemas mec^anicos isolados s~ao descritos, na fsica
classica, pelas equaco~es de Newton (consideramos o
caso unidimensional) Supondo que a teoria qu^antica seja uma teoria
universal da materia, e importante mostrar como a
dp @V (x; t) mec^anica classica surge como um caso particular de
dt
= @x
dentro do arcabouco teorico do formalismo qu^antico.
Em 1927, Ehrenfest [1] (ver seca~o II) obteve as ex-
dx p
press~oes
= ; dhpi
dt m
dt
= h @V
@x
i
onde x e a posic~ao, p o momentum linear e V (x; t) um
potencial externo. Dadas as condic~oes iniciais (x0 ,p0 ), dhxi
a trajetoria do sistema e deterministicamente determi- dt
= hpmi
nada para qualquer tempo t.
que chamamos de equac~oes de Ehrenfest; estas n~ao co-
Em mec^anica qu^antica, o estado de um sistema nectam a mec^anica qu^antica a classica. Isto e feito
fsico e determinado pela func~ao de onda (x; t), apenas usando o teorema de Ehrenfest1 , como veremos
soluc~ao da equac~ao de Schrodinger abaixo.
Expandindo a func~ao potencial V (x; t) em torno do
~ @2 @ ponto medio hxi , diferenciando V e, em seguida, cal-
2m @x2 + V (x; t) = {~ @t ; culando a media h@V=@xi , chegamos a2
 Endereco permanente: Instituto Cultural Eudoro de Sousa, Grupo \Mario Schonberg" de estudos em Fsica-Matematica, Ceil^andia,
72221-970 (C.P. 7316), D.F, Brasil.
1
Chamamos a atenc~ao do leitor que varios livros-textos [2] identi cam as equaco~es de Ehrenfest com o proprio teorema de Ehrenfest.
No entanto, ao lermos o artigo original [1] (ver tambem seca~o 2) e os trabalhos mais recentes [3,5,6] veri camos que tal identi cac~ao n~ao
pode ser efetuada. As equac~oes de Ehrenfest s~ao exatas, ao passo que, em geral, o teorema de Ehrenfest e obtido aproximadamente (com
a excec~ao do oscilador harm^onico, por exemplo) via considerac~oes acerca do grau de localizac~ao da func~ao de onda. A preocupac~ao de
Ehrenfest era obter as equac~oes de Newton como aproximaca~o da equac~ao de Schrodinger (vide o ttulo de seu artigo: Bemerkung uber
die angenarte Gultigkeit der klassischen Mechanik innerhalb der Quantenmechanik). Esta ideia foi apreendida por Heisenberg [7] que,
em seu livro (que n~ao e livro-texto) de 1930, ao fazer refer^encia ao trabalho de Ehrenfest, usa corretamente as condico~es de validade
deste teorema para conectar a fsica qu^antica a fsica classica, embora ele n~ao use explicitamente a express~ao \teorema".
2 Para potenciais no m aximo quadraticos, temos uma relac~ao exata.
A.O. Bolivar 191

(x; t) i = @V (hxi ; t) + hx hxi i @ 2 V (hxi ; t) + 1 4 x @ 3 V (hxi ; t) + ::: ;


h @V@x @x @x2 2 @x3

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

par^entesis de Lie n~ao possuem a func~ao de conectar as


duas teorias. d2
Z Z Z Z Z Z
m 2 d x = d  ( @V )
dt @x
A seguir, apresentamos a traduc~ao4 do artigo ori-
ginal de Paul Ehrenfest publicado no periodico Zeits- que signi ca | considerando um pacote de onda (m
chrift fur Physik, volume 45, ano 1927 e paginas 455 a da ordem de 1g) pequeno e que permaneca bem pe-
457. Antes, porem, queremos notar que para transpor queno | que a aceleraca~o de sua posica~o obedece a
o abismo conceitual, Ehrenfest usou, neste trabalho, equac~ao de movimento de Newton para uma forca local
do expediente de aplicar as leis da mec^anica qu^antica a @V=@x.
um objeto macroscopico (massa de um grama) cuja tra- E importante responder, de um modo o mais ele-
jetoria e, sup~oe-se, descrita pelas equac~oes de Newton mentar possvel, a seguinte quest~ao: como as equac~oes
independentemente de qualquer aparelho de medida. fundamentais de Newton da mec^
anica classica resultam
O proposito, ent~ao, de Ehrenfest era estender as leis da mec^
anica qu^antica? Toda uma serie de recentes
qu^anticas ao domnio macroscopico justi cando as leis publicac~oes tem elucidado, de modo essencial e com-
classicas como meras aproximac~oes daquelas: justi ca- pleto, ate que ponto a mec^anica classica permanece cor-
se a noc~ao de trajetoria ao a rmar que o pacote de onda reta, como uma boa aproximac~ao, para processos ma-
(associado a esta partcula macroscopica) mantem-se croscopicos5. No entanto, falta mostrar alguma relac~ao
bem localizado no tempo, levando 1021 s para se disper- em especial, elementar que seja, seguindo exatamente
sar. Ao passo que para partculas at^omicas, o conceito da equac~ao de Schrodinger (sem qualquer aproximaca~o)
de trajetoria ainda permanece como uma ilus~ao: o pa- e que talvez revele com mais comodidade a conex~ao en-
cote de onda se dispersa rapidamente (cerca de 10 13 s). tre a mec^anica ondulatoria e a mec^anica classica.
Vale ressaltar que este procedimento parte da hipotese
de que a teoria qu^antica seja universal, ou seja, suas Consideremos, ent~ao, a equac~ao de Schrodinger na
leis podem ser utilizadas em qualquer situac~ao fsica; seguinte forma
no entanto, como foi enfatizado por Einstein [10], o ~2 @ 2 @
princpio de superposic~ao e incompatvel com o teorema 2m @x 2 + V (x) = {~
@t
;
de Ehrenfest: uma P E n~ao pode ser construda a par-
tir de func~oes de onda superpostas (vide Eqs.(14,15)). ~2 @ 2   = {~ @ 
2m @x2 + V (x ) @t
(16)
Esta incompatibilidade, sem justi cativa teorica, de-
monstra uma forte restric~ao deste teorema. A m para o caso de um unico grau de liberdade. Em seguida,
de superar esta di culdade, recentemente a abordagem chamemos 6
da descoer^encia [11] tenta explicar por meio de um me- Z +1
canismo fsico porque objetos macroscopicos n~ao s~ao dxx   Q(t); (17)
1
caracterizados por func~oes de onda superpostas. Z +1
@ 
{~ dx
@x
 P (t); (18)
1
II Traduc~ao: e calculemos dQ=dt e dP=dt usando (16). Substituindo
e integrando por partes, resulta imediatamente (e sem
aproximac~ao) que
Nota sobre a validade aproximada da mec^anica
classica a partir da mec^anica qu^antica dQ 1
dt m
= P (19)
por P. Ehrenfest, Leiden, Holanda
Z
d2 Q dP  ( @V ):
m 2 = = dx (20)
(Recebido em 5 de setembro de 1927) dt dt @x
Por meio de um calculo elementar sem aproximac~ao, A equac~ao (20) signi ca: sempre que a largura do
pode-se deduzir a relac~ao pacote de onda (ou de probabilidade)  e tida
4 A proposito, queremos anunciar que esta em fase de preparaca~o outras traduc~oes do alem~ao de artigos muitas vezes citados, no en-
tanto, pouco lidos e raramente discutidos em nossas universidades, tais como o artigo de Einstein de 1917 sobre sistemas n~ao-integraveis
e o artigo de Heisenberg (1927) sobre as relac~oes de incerteza.
ese 1924; Journ. de Phys. et le Ra. (6) 7, 1, 32, 1926; C. R. 180, 498, 1925; 183, 272, 1926. | L. Brillouin,
5 Louis de Broglie, Th

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

como muito pequena com respeito a dist^ancias ma- References


croscopicas, a acelerac~ao (do centro de gravidade) do
pacote de onda obedece as equaco~es de Newton com [1] Ehrenfest, P., \Bemerkung uber die angenarte
uma forca ( @V=@x) \atuando no ponto Q do pacote Gultigkeit der klassischen Mechanik innerhalb der
de onda". Quantenmechanik", Zeitschrift fur Physik 45, 455
(1927).
Observac~oes: a dispers~ao gradual de um pacote de [2] Schi , L., Quantum Mechanics (McGraw-Hill, Tokyo,
onda foi discutida pormenorizadamente por Heisenberg, 1955); Messiah, A., Mecanique Quantique (Dunod,
l.c.. Seu calculo, para o exemplo de uma partcula livre Paris, 1958); Merzbacher, E., Quantum Mechanics
no espaco unidimensional, pode talvez tornar-se mais (Wiley, New York, 1961); Cohen-Tannoudji, C., Diu,
con avel com a ajuda de uma express~ao mais natu- F., Laloe, F., Mecanique Quantique (Hermann, Pa-
ral envolvendo calculos bem conhecidos em conduc~ao ris, 1977); Sakurai, J. J., Modern Quantum Mechanics
(Addison-Wesley, New York, 1994).
termica: a equaca~o de Schrodinger tem, para V = 0,
uma estrutura de equac~ao de conduc~ao termica [3] Grib, A. A. and Rodrigues Jr., W. A., Nonlocality in
@ @2 Quantum Mechanics (Plenum Press, New York, 1998).
= a2 2 (21)
@t @x [4] Holland, P. R., The Quantum Theory of Motion (Cam-
com brigde University Press, Cambridge, 1993).
~
a2 = { : (22)
2m [5] Ballentine, L. E.,Quantum (World Scienti-
Substituindo sua soluc~ao geral dada por (ver, e. g., B. c, Singapore, 1998).
Mechanics

Riemann-Weber, Vol. II)


Z +1 [6] Ballentine, L. E., Yang, Y., and Zibin, J. P., \Inade-
(x; t) = p 1 x 
de a t (0;  );
(
4 2
)2
(23) quacy of Ehrenfest's theorem to characterize the clas-
2a t 1 sical regime", Physical Review 50, 2854 (1994).
com a condica~o inicial
[7] Heisenberg, W., The Physical Principles of the Quan-
(0;  ) = Ce ! +{ ;
 2
2 2 (24) tum Theory (University of Chicago Press, Chicago,
1930).
e
(  )t=0 = C 2 e ! ;
 2
2 (25) [8] Royer, A., \Ehrenfest's theorem reinterpreted and ex-
tended with Wigner's function", Foundations of Phy-
( sendo uma constante real arbitraria), acha-se uma sics 22, 727 (1992).
alterac~ao na forma do pacote de onda com a velocidade
~=m e uma dispers~ao que aumenta com o tempo. Este [9] Wigner, E. P., \It On the quantum correction for
resultado e o mesmo obtido por Heisenberg: thermodynamic equilibrium", Physical Review 40, 749
(1932).
 
 = c(t) exp (x ~=mt)2
2 ; (26) [10] Einstein, A., 
Elementare Uberlegungen zur Interpreta-
, in Scienti-
onde
tion der Grundlagen der Quantenmechanik
c Papers Presented to Max Born on his Retirement
22 from the Tait Chair of Natural Philosophy in the Uni-
2 = !2 + ~ t : (27) versity of Edinburgh (Olivier and Boyd, Edinburgh,
m2 !2 1953) pp.: 33-40; in The Born-Einstein Letters, M.
Duplicando-se a largura inicial (i.e., 2 = 4!2), leva-se Born, ed., (Walker and Company, New York, 1969).
o tempo
[11] Joos, F. and Zeh, H. D., \The emergence of classical
p m!2 6; 6:10 27 ): properties through interaction with the environment",
T= 3 ( ~= (28) Zeitschrift fur Physik B 59, 223 (1985); Zurek, W.
~ 2 H., \Decoherence and the transition from quantum to
para que o pacote se dispersa. Para m = 1g, ! = classical", Physics Today 44 (October), 36 (1991); Zu-
10 3cm, T e igual a 1021s; enquanto que para m = rek, W. H., \Preferred states, predictability, classica-
1; 7:10 24g e ! = 10 8cm, T e igual a 10 13s. lity and the environment-induced decoherence", Pro-
gress of Theoretical Physics 89, 281 (1993); Zurek, W.
Agradecimentos H., \Decoherence, einselection and the existential in-
O autor agradece ao arbitro pelas observac~oes perti- terpretation (the rough guide)", Philosophical Tran-
sactions of the Royal Society of London A 356, 1793
nentes que tornaram a apresentac~ao deste trabalho pe- (1998); Zurek, W. H., \Decoherence, Chaos, quantum-
dagogicamente mais compreensvel. O apoio nanceiro classical correspondence, and the algorithmic arrow of
do CNPq tambem e reconhecido. time", Physica Scripta T 76, 186 (1998); Zurek, W.
A.O. Bolivar 195

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).

Você também pode gostar