Está en la página 1de 15

1

Captulo 3

OPERADORES DE LA MECNICA CUNTICA. POSTULADOS


3.1 Interpretacin de los autovalores y autofunciones de un operador.

En el captulo anterior, vimos que toda transformacin u operador lineal puede
asociarse a una matriz, y que ste operador viene caracterizado por dos estructuras:
autovalor y autofuncin. Estos conceptos no son propios de la mecnica cuntica y
aparecen rutinariamente en la mecnica clsica. De hecho, salvo casos excepcionales (el
spin) es posible encontrar una correspondencia entre un operador clsico y uno cuntico.
En la mecnica clsica, el estado de un sistema fsico es determinado por su
posicin r (x,y,z) y su velocidad ) , , ( z y x ! ! ! v . En general, ste sistema puede describirse
introduciendo las variables generalizadas q
i
(t) y ) (t q
i
! (i = 1, 2, ..., N ). El momentum
generalizado del sistema en un instante dado se define como,


i
i i
i
q
t q q L
p
!
!

) , , (
, (3.1)

donde L es el Lagrangiano del sistema. La dinmica fundamental de un sistema mecnico
est determinada por las ecuaciones de Lagrange,

n i
q
L
q
L
t d
d
i i
..., , 2 , 1 , 0

!
(3.2)

cuyas soluciones representan trayectorias de mnima energa. Un mtodo alternativo para
estudiar el movimiento de un sistema es a travs de las ecuaciones de Hamilton-Jacobi,


i
i
p
H
t d
q d

, (3.3)

i
i
q
H
t d
p d

, (3.4)

donde H es el Hamiltoniano del sistema y se escribe,

L q p t p q H
i
i i i i

! ) , , ( . (3.5)

Cualquier cantidad fsica, F, asociada al sistema se podr representar en trminos de las
coordenadas y momentos generalizados. La derivada temporal total de tal cantidad fsica es,

,
_

i
i
i
i
i
t d
p d
p
F
t d
q d
q
F
t
F
t d
F d
,
2
la cual, al introducir las ecuaciones (3.3) y (3.4) queda,

,
_

i i i i i
q
H
p
F
p
H
q
F
t
F
t d
F d
. (3.6)

El segundo trmino del lado derecho se denomina corchete clsico de Poisson y se define
como,

[ ]

,
_

i i i i i
q
H
p
F
p
H
q
F
F H, (3.7)

Con esto, la derivada temporal total de F es,


[ ] F H
t
F
t d
F d
, +

. (3.8)


La propiedad ms importante del corchete clsico de Poisson es su invariancia bajo
transformaciones de contacto, es decir, una transformacin de las variables q
i
y p
i
que no
cambien la forma de las ecuaciones de Hamilton-Jacobi. El corchete clsico de Poisson
tambin cumple con las propiedades de un conmutador (2.36)-(2.40).
Aplicando el corchete de Poisson entre las coordenadas generalizadas q
i
y p
i
se
obtiene,

[ ] [ ] [ ]
kl l k l k l k
q p p p q q , , 0 , , 0 , . (3.9)

Las condiciones (3.9) se utilizan en fsica clsica para definir a las coordenadas cannicas
conjugadas.

Ejercicio. Derive las condiciones (3.9) a partir de la definicin del corchete de Poisson.

La relacin (3.8) nos permite calcular la deriva temporal de cualquier funcin. En
mecnica cuntica es de esperarse que exista un equivalente al corchete clsico de Poisson.
De hecho, fue P. A. M. Dirac quien asumiendo que dados dos operadores cunticos
lineales, K y L, su corchete deba cumplir tambin con las propiedades (2.36)-(2.40), y
dems encontr que el corchete cuntico entre los dos operadores era proporcional a su
conmutador y venia dado por,

[ ] ) ( , LK L K
i
L K
"
, (3.10)


donde " = h / 2, y h= 6.624 x 10
-27
erg . s, es la constante de Planck.
3
Ejercicio. Demostrar que el corchete de Poisson cuntico dado por la expresin (3.10),
satisface las propiedades (2.36)-(2.40).

El corchete cuntico es una herramienta matemtica que permite encontrar la forma
de un operador, dependiendo de la comparacin que se haga con las medidas
experimentales. En ste sentido, se postula que,

1. A cada parmetro fsico real (medible) le corresponde un operador cuntico,
el cual es lineal y hermtico.
2. Los autovalores de ese operador corresponden al valor obtenido de la
medida. Los autovalores de un operador hermtico son cantidades reales.


3.2 Operadores posicin y momentum lineal.

La forma que un operador cuntico adquiere depende de las variables de la funcin
sobre la cual ste operador acta. Una partcula clsica con tres grados de libertad esta
completamente caracterizada por sus tres coordenadas cartesianas espaciales,

x=x
1
, y=x
2
, z=x
3
, (3.11)

y las tres compenentes del momentum lineal,

p
x
= p
1
, p
y
= p
2
, p
x
= p
3
, (3.12)

cuyos corchetes clsicos de Poisson son,

[ ] [ ] [ ]
kl l k l k l k
x p p p x x , , 0 , , 0 , . (3.13)

En mecnica cuntica, tanto la posicin como el momentum lineal de una partcula estn
representados por operadores de posicin, x, y de momentum lineal, p, respectivamente. El
operador de posicin corresponde a una traslacin lineal en la coordenada respectiva, de tal
manera que cada autofuncin del espacio es transformada de acuerdo a la ecuacin,

) ( ) ( x x x x . (3.14)

Este operador es hermtico y sus autovalores, x, son nmeros reales que representan el valor
de las coordenadas espaciales del sistema.
En fsica, el momentum lineal aparece como resultado de una traslacin
infinitesimal del tipo x ! x + x. El operador que genera las traslaciones infinitesimales
tiene la forma,

,
_

x
p
i
x
p
i
e
"
"
1 . (3.15)

4
As mismo, ste operador transforma la autofuncin ) (x en + , de tal manera que,

+
,
_

+ x
p
i
"
1 , (3.16)

donde y x son variaciones infinitesimales. En particular, la variacin infinitesimal de
una funcin con respecto a una variable se escribe de la siguiente manera,

x
x


. (3.17)

Introduciendo (3.17) en (3.16),

,
_

,
_

+
x
x
x
x x
p
i 1 1
"
.

Comparando trminos en sta ltima expresin, obtenemos e operador de momentum
lineal,

" " i
x
i p p , (3.18)


el cual es hermtico. Las relaciones de conmutacin entre el operador de posicin y de
momentum lineal se obtienen a partir del corchete de Poisson cuntico, definido mediante
la expresin (3.10) obtenindose la misma forma que los corchetes clsicos dados en (3.13).

Ejercicio. Mostrar a partir del corchete cuntico de Poisson que los operadores de posicin
y momentum lineal satisfacen las relaciones de conmutacin (3.13).

Autovalores y autofunciones del operador momentum lineal. La ecuacin de
autovalores para el operador momentum lineal es,

0 +

x x
p i p
x
i " " , (3.19)

cuya solucin es,

,
_


"
x
x x
p x i
p x exp ) , (
0
, (3.20)

donde
0
es una funcin independiente de las coordenadas y p
x
es el correspondiente
autovalor, De manera similar, podemos escribir las autofunciones para las coordenadas y y
z,
5

,
_


"
y
y y
p y i
p y exp ) , (
0
, (3.21)

,
_


"
z
z z
p z i
p z exp ) , (
0
. (3.22)

Es fcil ver que la solucin general tiene la forma,

,
_



"
p r
p r
i
exp ) , (
0
, (3.23)

donde
0
es una funcin que no depende de las coordenadas, pero puede depender de las
componentes del momentum. Para calcular
0
utilizamos la condicin de normalizacin de
las funciones de onda (2.46), mediante la cual,

1
*

dV . (3.24)

Consideraremos primero el caso unidimensional, he introduzcamos (3.20) en (3.24). As
obtenemos,


( )
, ) ( 2
, lim 2
, lim 2
, lim
,
, 1 ) , ( ) , ( ) , ( ) , (
2
0
0
0
2
0
0
0
2
0
0
0
/ ) ( 2
0
0
/ ) ( 2
0
*
g
g
x g sen
x
p
sen
p
dx e
dx e
dV p x p x p x p x
x
x
x
x
x
x
p
x
p i
x
x
x
p
x
p i
x x x x

1
]
1


1
]
1

,
_

"
"
"
"



( )
2 / 1
0
2
1

, (3.25)

donde g=p/" y (p/" )=1 para p
x
= p
x
. De sta manera, la autofuncin normalizada es,

6

( )

,
_


"
x
x
p x i
x exp
2
1
) , (
2 / 1
p . (3.26)
De la misma manera, se puede mostrar que en el caso tridimensional la autofuncin
normalizada del momentum lineal tiene la forma general,


( )

,
_


"
p r
p r
i
exp
2
1
) , (
2 / 3
. (3.27)

Ejercicio. Muestre que la forma general de la autofuncin normalizada del momentum
lineal tiene la forma dada por la expresin (3.27).


3.3 Conmutatividad de operadores mecano-cunticos

Una caracterstica de las cantidades cunticas es la imposibilidad de medirlas
simultneamente, en contraste con las cantidades clsicas. Por ejemplo, la medida precisa
del momentum lineal de una partcula, impide medir con precisin su posicin. En ste
caso, el sistema ser descrito por la autofuncin (3.27) y los autovalores p
x
, p
y
y p
z
.
Sean L y K dos operadores lineales tales que,


.
y
j K j
L
K

i i
L


Aplicamos K sobre la primera ecuacin y L sobre la segunda, para obtener,


.
y
j L K j
K L
K L
K


i i
L


Tomando la diferencia entre estas dos ecuaciones, queda,


( ) .
j K L j
K L K
i i
L (3.28)


Esta igualdad solo ser nula si
j i
, es simultneamente autofuncin de L y K,
y entonces,
0 K L K L , (3.29)

los operadores conmutan. Si por el contrario L y K no tienen autofunciones simultneas,
j

i
, y stos no conmutarn.

7


Consideremos ahora las expansiones

,
y
0
0



l
l l j
l
l l i
b
a
(3.30)

donde los vectores
l
conforman una base ortonormal. Introduciendo (3.30) en (3.28),
se obtiene,


. ) (
0


l
l l l K L j
b a K L K
i
L (3.31)


De acuerdo con sta ltima condicin, si
j i
, los operadores L y K slo
conmutarn cuando se cumple que a
l
= b
l
, para todo l. Por lo tanto se concluye que la
autofuncin , debe formar un conjunto completo.
En sta seccin hemos demostrado los siguientes teoremas para operadores mecano-
cunticos:

1. Si dos operadores lineales conmutan, entonces stos tienen autofunciones
simultneas. El teorema inverso tambin es vlido.


2. Si las autofunciones simultneas de dos operadores lineales, forman un conjunto
completo, entonces los operadores conmutarn.

El significado fsico de stos teoremas se puede resumir en la siguiente frase:


La conmutatividad de operadores lineales ofrece la posibilidad de medir simultneamente
las cantidades fsicas de un sistema cuntico. La no-conmutatividad hace imposible la
medida simultnea de stas cantidades.







8
3.4 Operador momentum angular

Al igual que en fsica clsica, en mecnica cuntica el momentum angular aparece al
aplicar una rotacin infinitesimal. En otras palabras, el momentum angular describe los
cambios de un sistema cuando es sometido a rotaciones, y se escribe,

k j i p r L
z y x
L L L + + , (3.32)

donde,


x y z
z x y
y z x
p y p x L
p x p z L
p z p y L



. (3.33)

Utilizando los operadores de posicin y de momentum lineal obtenemos que las
componentes del momentum angular tienen la forma,

,
_

,
_

,
_

x
y
y
x
i
L
z
x
x
z
i
L
y
z
z
y
i
L
z
y
x
"
"
"
, (3.34)

con las relaciones de conmutacin,


[ ]
[ ]
[ ]
y x z
x z y
z y x
L i L L
L i L L
L i L L
"
"
"

,
,
,
, (3.35)

, en forma vectorial,

L L L " i . (3.36)

Vemos pues que a diferencia de los operadores de posicin y de momentum lineal, las
componentes del momentum angular no conmutan en s.

Ejercicio. Muestre las relaciones de conmutacin del momentum angular (3.34). Pruebe
adems que stas se pueden escribir en la forma vectorial (3.36).

9
Otro operador importante en mecnica cuntica es aquel que representa el momentum
angular total ,


2 2 2 2
z y x
L L L + + L . (3.37)


Autovalores y autofunciones del momentum angular. El problema de autovalores para el
momentum angular es en general una tarea laboriosa. Sin embargo, podemos reducir las
dificultades del clculo si introducimos las coordenadas esfricas x=rsen cos , y=rsen
sen y z=cos. En ste sistema de coordenadas los operadores (3.34) y (3.37) adquieren la
forma,

,
_

cos cot sen i "


x
L , (3.38)

,
_

sin cot cos " i


y
L , (3.39)


" i
z
L , (3.40)

1
1
]
1

+
,
_


2
2
2
2 2
1 1
sen
sen
sen
" L . (3.41)

Para mostrar las relaciones (3.38)-(3.40), consideremos el operador gradiente en
coordenadas esfricas,


1 1


r r r sen

+ +

r ! " , (3.42)
donde



cos cos ,

cos cos cos , (3.43)

s cos .
sen sen sen
sen sen
en



+ +
+
+
r i j k
! i j k
" i j


Con esto, el momentum angular, L, ahora puede ser expresado como,


1

i i
sen
_



,
L r p r " ! " " . (3.44)


10

Los operadores (3.38), (3.39) y (3.40) son obtenidos sustituyendo los vectores unitarios
(3.43) en (3.44).

Ejercicio. Muestre que en coordenadas esfricas, el operaror L
2
, tiene la forma expresada
en la ecuacin (3.41)

Buscamos autofunciones del tipo (, ) () (). La funcin () se obtiene
fcilmente resolviendo la ecuacin de autovalores para el operador (3.40). Para ste caso la
ecuacin de autovalores es,

) ( ) (

z
m i " , (3.45)

con la condicin peridica (0) ( 2 ). Las soluciones de sta ecuacin son del tipo,


" /
) (


z
m i
e . (3.46)

Los autovalores se obtienen aplicando la condicin de periodicidad de , lo cual conduce
al resultado,
m
Z
/" =m , m= 0, 1, 2, ... (3.47)

Hemos encontrado entonces los autovalores y autofunciones del operador L
Z
. En particular,
la componente z del momentum angular es un mltiplo entero de la constante ".
Para hallar los autovalores y autofunciones del operador L
2
, consideremos la
ecuacin de autovalores,

) , ( ) , (
1 1
2
2
2
2

1
1
]
1

+
,
_

sen
sen
sen
" , (3.48)

donde (, ) () (). El operador
2
/
2
puede ser sustituido por su autovalor m
2

(ver ecuaciones 3.40 y 3.42), quedando la ecuacin diferencial ordinaria,

0 ) ( ) (
1
2
2
2

,
_

,
_


sen
m
d
d
sen
d
d
sen
"
. (3.49)

Introduciendo la variable w = cos , la ecuacin (3.49) se transforma en,

0 ) (
1
) ( ) 1 (
2
2
2
2

,
_

,
_

w P
w
m
w P
w d
d
w
w d
d
"
. (3.50)

11
Este es la ecuacin de Legendre, y slo tiene soluciones fsicamente aceptables cuando
/ "
2
= l (l+1) y | m | l (ver, p.ej., Funciones especiales aplicadas a la fsica y a la
qumica, por Ian N. Sneddon, Editorial Dossat, Madrid, 1960). Estas soluciones son las
llamadas funciones asociadas de Legendre y son expresadas de la forma,

2 / 2 2
( 1) ( )!
( ) (1 ) ( 1)
2 ! ( )!
m l m
m m l
l
l l m
l m d
P w w w
l l m dw

. (3.51)

La autofuncin total del operador L
2
, (, ) () (), se escribe entonces,

( , ) ( )
m m im
l lm l
C P w e

, (3.52)

donde,

2 1 ( )!
4 ( )!
lm
l l m
C
l m
+

+
, (3.53)

es una constante de normalizacin. A las autofunciones (3.52) son conocidas como
armnicos esfricos, Y
l
m
, y tienen los autovalores "
2
l (l+1).


Algunos armnicos esfricos de uso comn son:




















12
Operadores de subida y bajada del momentum angular. Para completar la
caracterizacin del operador L, es necesario determinar la forma de sus componentes L
x
y
L
y
. Estos operadores definen un rotor de ngulo en el plano x-y, por lo tanto, podemos
representarlos mediante los operadores en el plano complejo:

x y
L i L
t
t L . (3.54)

De acuerdo con las definiciones (3.38) y (3.39), se puede mostrar que el operador L
t
tiene
la forma operacional,

cot
i
e i


t
_
t t


,
L " . (3.55)

Ejercicio. Utilice las relaciones (3.38) y (3.39) para mostrar que el operador L
t
tiene la
forma dada por la expresin (3.55)

Para calcular los autovalores de L
t
aplicamos el operador (3.55) al armnico
esfrico Y
l
m
, y resolvemos la ecuacin de autovalores. Para ilustrar el procedimiento,
consideremos la ecuacin de autovalores

( , ) cot ( , ) ( , )
m i m m
l l l
Y e i Y Y

_



,
L " . (3.56)

Introduciendo las expresiones (3.51) en (3.56)

( , ) cot
m i m im
l lm l
Y C e i P e


_



,
L " ,

( 1)
cot
i m m
lm l
C e m P


_
+

,
" ,



( 1)
cot
i m m
lm l
d
C e sen m P
dw

_
+

,
" , (3.57)

donde hemos usado el cambio de variable w = cos . Es fcil de la expresin (3.52) que la
derivada dP
l
m
/ dw es,



1
2
2
( )( 1)
1
1
m m m
l l l
d l m l m mw
P P P
dw w
w

+ +
+

. (3.58)

13
Sustituyendo (3.58) en (3.57), la ecuacin de autovalores (3.56) queda,


( 1) 1 1
1
( , ) ( )( 1) ( , )
m
m m i m m m l
l l l l
m
l
C
Y C e P l m l m Y
C


+ + L " " . (3.59)

Calculando la razn entre los coeficientes C
l
m
/ C
l
m-1
, definidos por la expresin (3.53),
obtenemos finalmente,


1
( , ) ( )( 1) ( , )
m m
l l
Y l m l m Y

+ + L " . (3.60)

El efecto de L

es disminuir la componente z del momentum angular en una unidad. Por
esa razn se denomina comnmente operador de bajada. Igualmente, es fcil mostrar que
el operador L
+
viene dado por,


1
( , ) ( )( 1) ( , )
m m
l l
Y l m l m Y
+
+
+ + + L " . (3.61)

Aumenta la componente z del momentum angular en una unidad, y se denomina operador
de subida.

Ejercicio. Muestre que el operador L
+
viene dado por la expresin (3.61).


3.5 Operador de energa

Del mismo modo que el momentum lineal tiene su origen en una traslacin
infinitesimal y el momentum angular en una rotacin, tambin infinitesimal, la energa total
est relacionada con la evolucin temporal del sistema.
Toda forma del tipo exp (-i t) puede relacionarse con los cambios temporales de
un sistema fsico. As mismo, la funcin generadora de cambios temporales en un tiempo
infinitesimalmente pequeo, t t se define de la siguiente manera,

1 ( ) ...
H
i t
i t
i
e e H t t

+ +
"
"

(3.62)
Cualquier cambio en el estado,
( ) t
, es representado mediante,

( ) 1 ( ) ( ) ( )
H
i t
i
e t H t t t t

_
+

,
"
"
, (3.63)

donde ( ) ( / ) t t t
. Con esto, es fcil ver que (3.63) conduce a la expresin,

14

( ) ( ) H t i t
t

"
. (3.64)

Este es el operador de energa, tambin llamado operador Hamiltoniano. Considerando la
ecuacin de autovalores


( ) ( ) i t t
t

"
, (3.65)

es simple mostrar que las autofunciones del operador Hamiltoniano son de la forma,


0
( )
i t
t C e

"
, (3.66)

donde C
0
es una constante de normalizacin, y el autovalor representa la energa total del
sistema.

Ejercicio. Demuestre que las autofunciones del operador de energa son de la forma
expresada en (3.66).

Energa cintica y potencial. El operador asociado a la energa cintica es:

2
2

( , ) ( , ) ( , )
2 2
p
T r t r t i r t
M M
"
,


2
2

( , ) ( , )
2
T r t r t
M

"
. (3.67)

La energa potencial se asocia directamente al operador,

0

( ) ( , ) ( ) ( , ) V r r t V r r t
. (3.68)

La forma del operador de energa potencial depende del problema y es en general
complicada. Con esto escribimos la energa total,

H T V + , en la forma diferencial,


2
2

( , ) ( ) ( , )
2
i r t V r r t
t M

1
+
1

]
"
"
. (3.69)


15
Esta es la ecuacin de Schrdinger y describe la dinmica de un sistema cuntico en
espacio y tiempo.
Consideremos el caso simple de una partcula libre movindose en un espacio de
una dimensin. En este caso, la ecuacin de Schrdinger de energa total es,


2 2
2
( , ) ( , )
2
i x t x t
t M x


"
"
. (3.70)

Esta es una ecuacin del tipo difusin, de la familia de ecuaciones armnicas, y admite
soluciones del tipo
( ) ( ) ( ) t X x T t
. Introduciendo este cambio de variables en (3.70),
se obtienen las ecuaciones,


( )
( )
dT t
i T t
dt
"
, (3.71)

y,


2
2 2
( ) 2
( ) 0
d X x M
X x
dx
+
"
, (3.72)

cuyas soluciones son,


2
2
( ) ; ( )
x
M
p
i x
i t i x
T t e X x e e

t
t

" " "
. (3.73)

Entonces, la autofuncin de operador de energa es


0
( , )
x
p
i t i x
x t C e e

" "
, (3.74)

donde C
0
es una constante de normalizacin, el autovalor de la energa total, y p
x
es el
autovalor del momentum lineal, dado por la ley de de Broglie.

Ejercicio. Muestre que para un potencial constante
0

( ) ( , ) ( , ) V x x t V x t
, las
autofunciones del Hamiltoniano son,


0
0
( , )
x
p
i V x
i t
x t C e e

_
t +

,

"
"