Valores medios y conexion con la mecanica clasica

9.2.

145

Teorema de Ehrenfest. Teorema del virial cu

antico.

En mecanica cl
asica el estado dinamico de un sistema en un cierto instante de tiempo viene
determinado por el conocimiento de las coordenadas posici
on y momento de cada una de las
partculas que lo constituyen. En mecancia cuantica no es posible dar simultaneamente coordenadas posicion y momento de cada partcula, y solo parece razonable esperar que se recupere la
descripcion cl
asica en el lmite h 0, ya que en este lmite los operadores posicion y momento
conmutaran. La funci
on de onda (~r1 , . . . , ~rn ; t) en la descripcion cuantica determina completamente el estado del sistema. Se puede intentar recuperar la imagen clasica atribuyendo a cada
partcula unas coordenadas posicion y momento que sean precisamente los valores medios de
los correspondientes observables en el estado considerado, < Xi >t y < Pi >t , despreciando las
fluctuaciones en torno a estos valores.
Para que esta forma de proceder sea satisfactoria es necesario, en primer lugar, que los valores medios de los observables posicion y momento cumplan en buena aproximacion las leyes
clasicas del movimiento, y en segundo lugar que las dimensiones tpicas del paquete de ondas
(~r1 , . . . , ~rn ; t) que acompa
na a la partcula en su movimiento sean peque
nos frente a las dimensiones naturales del sistema y permanezcan as en el trascurso del tiempo. El teorema de
Ehrenfest nos permite precisar en que situacion la primera de las dos condiciones se satisface.
Dejaremos la segunda para el siguiente apartado.
Por sencillez nos limitaremos al caso de una partcula sin espn cuyo hamiltoniano clasico sea
H =

1 2
p + V (~r; t).
2m

(9.20)

Las correspondientes ecuaciones cl

asicas de movimiento seran
d~r
dt

1
p~,
m

d~
p
1
= F~ (~r; t)
dt
m

(9.21)

donde la fuerza viene dada por F~ (~r; t) = V (~r; t).

En mecanica cuantica la variacion temporal de los valores esperados en la imagen de Schrodinger esta regida por
d
< Xi > t =
dt
d
< Pi >t =
dt

1
< [Xi , H] >t ,
i
h
1
< [Pi , H] >t .
i
h

(9.22)

donde Xi y Pi son los operadores correspondientes a la componente i-esima de la posicion y el

momento.
Aplicando las reglas de conmutacion canonicas y tomando para H el correspondiente operador
en la representaci
on de coordenadas, se obtiene

146

9 Valores medios y conexion con la mecanica clasica

[~r, H] =

i
h~
P,
m

~ H] = ihV (~r; t) = ihF~ (~r; t)

[P,

(9.23)

y las ecuaciones (9.23) se pueden escribir como

d
< ~r >t =
dt

1
~ >t ,
<P
m

d
~ >t = < F~ (~r; t) >t
<P
dt

(9.24)

que constituye el llamado teorema de Ehrenfest.

~ >t sigan las leyes clasicas
Notese que estas ecuaciones no permite afirmar que < ~r >t y < P
pues para ello debera ocurrir que
~ (~r; t) >t = F~ (< ~r >t ; t)
<F

(9.25)

~ >t
que en general no es cierto. Lo que afirma el teorema de Ehrenfest es que < ~r >t y < P
satisfacen formalmente las leyes cl
asicas, pero con fuerzas medias cuyo conocimiento depende de
la funcion de onda. Para ver en que casos la igualdad (9.25) puede considerarse aproximadamente
satisfecha se desarrolla i V (~r; t) alrededor del punto < ~r >t

i V (~r; t) = i V (< ~r >t ; t) +

3
X

(xj < xj >t )j (i V (~r; t)) |~r=<~r>t

j=1

3 X
3
X
1

j=1 k=1

2!

+ ...
(xj < xj >t )(xk < xk >t )k {j (i V (~r; t)) |~r=<~r>t }(9.26)

con esto la segunda ecuacion en (9.24) puede escribirse como

3 X
3
1 X
d
~
~
< P >t = F (< ~r >t ; t)
(< xj xk >t < xj >t < xk >t )
dt
2! j=1 k=1

k {j (V (< ~r >t ; t)) |~r=<~r>t } + . . .

(9.27)

~ >t se mueven de acuerdo con

De manera que el teorema de Ehrenfest predice que < ~r >t y < P
las ecuaciones cl
asicas del movimiento siempre que V (~r; t) dependa a lo sumo cudraticamente
en las coordenadas espaciales, lo que sucede por ejemplo para la partcula libre, una partcula
sujeta a un pozo de potencial tipo oscilador armonico y una partcula cargada en el seno de un
campo electrostatico uniforme. Por otro lado la ecuacion (9.27) permite afirmar que la ecuacion
clasica sera aproximadamente valida siempre que en la region donde (~r; t) sea importante el
potencial sea practicamente constante. La generalizacion del teorema de Ehrenfest a sistemas
de muchas partculas es inmediata.

147

Valores medios y conexion con la mecanica clasica

9.2.1.

Teorema del virial cl

asico y cu
antico.

Este teorema es un resultado importante en mecanica clasica y afirma que para todo sistema de
puntos materiales de masas mi , con vectores de posicion ~ri y sobre los que actuan las fuerzas
F~i , que describan un movimiento periodico, se cumple la relacion
T

1X
~ri F~i
2 i

(9.28)

donde T es la energa cinetica del sistema, y la barra sobre las cantidades que aparecen en la
ecuacion indica el promedio de dichas cantidades en un periodo. (En realidad el teorema es
de validez mas general. Basta que las posiciones y volocidades se mantengan acotadas, y se
interprete la barra como promedio temporal en el intervalo (0, t) con t .) Este teorema
tiene un equivalente cuantico.
Teorema del virial cu
antico.
Supongamos un sistema conservativo, con hamiltoniano H, y sean A y B dos observables cualesquiera independientes del tiempo en la imagen de Schrodinger . Un calculo sencillo permite
ver que en la imagen de Heisenberg se cumple que
i
H BH + AH B
H+B
H AH + BH A
H.
[H, AH BH + BH AH ] = A
h

(9.29)

El punto sobre los operadores indica derivada respecto del tiempo. Si | iH es un estado estacionario del sistema (autofuncion de H) el valor medio del miembro de la izquierda en este
estado es cero, y por tanto se cumple que
H BH + AH B
H+B
H AH + BH A
H >
<A
H

= 0.

(9.30)

Este constituye el teorema del virial cuantico en su forma mas general.

Para concretar y establecer el paralelismo con el resultado clasico de forma mas explcita analizaremos el caso de una partcula de masa m moviendose en tres dimensiones bajo la accion del
potencial V (~r), de manera que su hamiltoniano sera
H =

P2
+ V (~r).
2m

(9.31)

Entonces si en (9.30) tomamos A = Xi y B = Pi , las ecuaciones que nos dan las derivadas
temporales de estos operadores en la imagen de Heisenberg son
i,H =
X

1
Pi,H ,
m

i,H = (x V (~r))H .
P
i

(9.32)

148

9 Valores medios y conexion con la mecanica clasica

Sustituyendo en (9.30), sumando para i = 1, 2, 3, y recordando que los valores medios no dependen de la imagen utilizada para su evaluacion, obtenemos
< T >t =

1
~ V (~r >t .
<R
2

(9.33)

El resultado se generaliza inmediatamente a cualquier conjunto de partculas con interacciones

locales. Si los potenciales no son locales (9.33) debe sustituirse por
~ +P
~ ~vH >t = < R
~ F
~H +F
~H R
~ >t ,
< ~vH P

(9.34)

donde
~vi,H =
~H =
F

1
[Xi,H , H],
i
h
1 ~
[PH , H],
i
h

(9.35)
(9.36)

son los operadores velocidad y fuerza respectivamente. La forma simetrizada en (9.34) se toma
para asegurar el caracter autoadjunto de los operadores involucrados.
Si el potencial a que esta sometido la partcula es una funcion homogenea de grado n de las
variables x1 , x2 , x3 , es decir
V (x1 , x2 , x3 ) = n V (x1 , x2 , x3 ).

(9.37)

En este caso la identidad de Euler permite escribir que ~r V (~r) = nV (~r), y por tanto para
estos potenciales la ecuacion (9.33) se convierte en
< T >t =

n
< V (~r >t .
2

(9.38)

La demostracion de (9.33) ha sido puramente formal, sin entrar a discutir cuestiones relacionadas
con la existencia de las cantidades que involucra. Existe una amplia clase de potenciales V ( )
con (x1 , . . . , xn ) para los que el teorema del virial es rigurosamente demostrado para un
sistema de varias partculas. Esta clase de potenciales satisfacen las siguientes condiciones:
1. V Q (n ), para alg
un > 0. Esto significa que la funcion MV ( ) definida como

MV ( ) =

d |V ( )|2 | |4n
|1

esta uniformemente acotada sobre n .

(9.39)

Valores medios y conexion con la mecanica clasica

2. Existe la derivada V ( ) =
alg
un > 0 tal que

Pn

i=1 xi xi V

1
|V ( + ) V ( )| V0 ( ),

149

( ), 6= 0, y una funcion V0 ( ) Q (n ) para

0 < < 0

(9.40)

Estas condiciones aseguran que H es esencialmente autoadjunto sobre el conjunto denso C (n ),

y que (9.33) es valida sobre todo estado propio | (t)i normalizable de H, y ademas que T | i,
V | i, y V | i son tambien normalizables.