Cuantica 2

Mecanica Cu antica 2
Prof. Cayetano Di Bartolo

Ultima actualizaci on: Diciembre de 2005
Mecanica Cu antica 2
Prof. Cayetano Di Bartolo
Departamento de Fsica
Universidad Sim on Bolvar
Esta gua esta basada en los manuscritos que elabore para los cursos de Mec anica Cu antica
que dicte durante varios a nos en la Universidad Sim on Bolvar y en el excelente libro de
texto Quantum Mechanics de Cohen-Tannoudji, Diu y Laloe. La gua no est a terminada
y se encuentra en constante revisi on. Si el lector desea hacerme alguna observaci on puede
escribirme a la direcci on dibarto@usb.ve
AGRADECIMIENTOS
Mi esposa Jacqueline Geille colabora en muchos aspectos de la elaboraci on de esta gua. Ella
colabora como consejera, dibujante, correctora de errores y mecan ografa. Mi agradecimiento
a Jacqueline por su gran entusiasmo y ayuda. Tambien agradezco a mis estudiantes por su
apoyo y conanza, ellos son la raz on de ser de esta gua.
Diciembre de 2005
Contenido
1 Teora General de Momentum Angular 5
1.1 Momento angular orbital para una partcula. . . . . . . . . . . . . . . . . . . 5
1.2 Denici on de un operador de momento angular. . . . . . . . . . . . . . . . . 7
1.3 La base propia de J
2
y J
z
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Base est andar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5 Representaci on matricial de los
operadores de momentum angular. . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Arm onicos esfericos y el momento angular orbital. . . . . . . . . . . . . . . . 17
1.7 Transformaciones puntuales en R
3
y las partculas sin espn. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.8 Operador rotaci on para una partcula sin espn. . . . . . . . . . . . . . . . . 30
1.9 Momento angular y rotaciones
para un sistema arbitrario. . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Apendices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.A Mediciones de L
2
y L
z
en la
representacion de coordenadas. . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.B Producto tensorial de espacios vectoriales. . . . . . . . . . . . . . . . . . . . 41
2 Potencial central. El atomo de hidr ogeno. 47
2.1 Movimiento relativo para un sistema
clasico de dos partculas aisladas. . . . . . . . . . . . . . . . . . . . . . . . . 47
aislado de dos partculas sin espn. . . . . . . . . . . . . . . . . . . . . . . . 49
2.3 La ecuaci on radial para un potencial central. . . . . . . . . . . . . . . . . . . 52
iii
iv
2.4 Estados ligados del atomo de hidr ogeno. . . . . . . . . . . . . . . . . . . . . 55
2.5 El efecto Zeeman normal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
Apendices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.A El teorema de Wigner-Eckart. . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.A.1 Operadores escalares. . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.A.2 Operadores vectoriales. . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.B Resumen de funciones de onda
para el atomo de hidr ogeno. . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Captulo 1
Teora General de Momentum Angular
Los conceptos de Momento angular y Rotaciones est anntimamente relacionados en mec anica
clasica donde juegan un papel muy importante en el an alisis de los sistemas clasicos. En
mecanica cu antica ambos conceptos tambien guardan una estrecha relaci on y tambien resul-
tan muy utiles en el estudio de los sistemas fsicos.
En este captulo deniremos los operadores de momento angular y desarrollaremos una
teora general del momento angular basada exclusivamente en sus propiedades algebraicas.
Esta teora general del momento angular tiene aplicaciones en areas de la fsica muy diversas;
en espectroscopa at omica o nuclear resulta imprescindible en el c alculo de cantidades inva-
riantes bajo rotaciones y en gravedad cu antica (basada en el grupo SU(2)) son importantes
la combinaciones de las distintas representaciones de los operadores de momento angular
vistos ahora como generadores de un algebra.
1.1 Momento angular orbital para una partcula.
En esta seccion deniremos el operador cu antico que representa al momentum angular de
una partcula sin espn. Este operador se obtiene al cuantizar directamente el momento
angular cl asico; lo llamaremos momento angular orbital y le asignaremos el smbolo L.
En mecanica cl asica el momento angular de una partcula respecto al origen se dene por
L = r p (1.1)
donde r es el vector posicion de la partcula y p es su momento lineal (masa por velocidad).
En coordenadas cartesianas las componentes del momento angular son
L
i
=
ijk
x
j
p
k
(1.2)
y es inmediato demostrar que se satisfacen los siguientes parentesis de Poisson
x
i
, L
j
PB
=
ijk
x
k
, (1.3a)
p
i
, L
j
PB
=
ijk
p
k
, (1.3b)
L
i
, L
j
PB
=
ijk
L
k
. (1.3c)
La ecuaci on (1.3a) conduce a la siguiente relaci on:
(r)
i
(d e r)
i
= x
i
, d e L
PB
, (1.4)
5
6 Mecanica Cuantica 2 C. Di Bartolo (Diciembre de 2005)
donde r es la variaci on del vector r cuando la partcula se gira un angulo d alrededor
de un eje que pasa por el origen y tiene direcci on e. Esta ecuacion muestra (por lo menos
para el caso de una partcula) que el momento angular es el generador de las rotaciones en
mecanica cl asica.
A continuaci on cuantizaremos el momento angular cl asico convirtiendo en operadores
las coordenadas y momentos en la expresi on (1.2). Mostraremos que el momento angular
satisface relaciones an alogas a (1.3a) y en una secci on posterior demostraremos que tambien
en mecanica cu antica el momento angular total del sistema es el generador de las rotaciones.
Notese que al cuantizar la expresi on (1.2) no hay problemas de orden porque los factores en
cada producto ocurren entre variables no conjugadas.
En Mecanica cu antica denimos el momento angular orbital de una partcula como el
conjunto de los tres operadores L L
x
, L
y
, L
z
dados por
L
i

ijk
X
j
P
k
(1.5)
o de forma no compacta
L
x
= Y P
z
ZP
y
, L
y
= ZP
x
XP
z
, L
z
= XP
y
Y P
x
. (1.6)
Usando la hermiticidad de los operadores X
i
y P
i
es inmediato demostrar que el operador L
es hermtico,
L
i
=
ijk
P
k
X
j
=
ijk
X
j
P
k
luego
L
i
= L
i
. (1.7)
Veamos a continuaci on algunas relaciones de conmutaci on que satisface el operador L.
Comencemos con su relaci on de conmutaci on con los operadores posici on y momentum lineal
[X
i
, L
j
] =
jkn
[X
i
, X
k
P
n
] =
jkn
X
k
[X
i
, P
n
] = i
jkn
X
k
in
= i
ijk
X
k
,
[P
i
, L
j
] =
jnk
[P
i
, X
n
P
k
] =
jnk
[P
i
, X
n
]P
k
= i
jnk
P
k
in
= i
ijk
P
k
.
Para obtener el conmutador entre las componentes del momentum angular usaremos los dos
conmutadores anteriores.
[L
i
, L
j
] =
inm
[X
n
P
m
, L
j
] =
inm
([X
n
, L
j
]P
m
+ X
n
[P
m
, L
j
]) = i
inm
(
njk
X
k
P
m
+
mjk
X
n
P
k
) = i[(
mj
ki
mk
ij
)X
k
P
m
+ (
ij
nk
ik
nj
)X
n
P
k
]
= i(X
i
P
j
X
j
P
i
) = i
ijk

knl
X
n
P
l
.
Luego
[X
i
, L
j
] = i
ijk
X
k
, [P
i
, L
j
] = i
ijk
P
k
, [L
i
, L
j
] = i
ijk
L
k
. (1.8)
Estos tres conmutadores son el analogo cu antico de los parentesis de Poisson (1.3).
C. Di Bartolo Teora General de Momentum Angular 7
Comentario 1.1 (Operadores vectoriales). Mas adelante deniremos que
entendemos por un operador vectorial y mostraremos que los conjuntos de
operadores L = L
x
, L
y
, L
z
, P = P
x
, P
y
, P
z
, y R = X, Y, Z son vec-
toriales. Por ahora pensaremos en un operador vectorial como un conjunto
de tres operadores asociados a alguna base cartesiana. Por ejemplo hablamos
de un operador V = V
x
, V
y
, V
z
asociado a la base ortonormal cartesiana
B = u
x
, u
y
, u
z
y denimos la componente del operador en la direcci on
n = n
i
u
i
por
V
n
n
i
V
i
. (1.9)
Dados dos operadores vectoriales V y W denimos V W V
i
W
i
en la base
B. Si cambiamos de base cartesiana a B
= u
x
, u
y
, u
z
se cumple que
V
j
W
j
= ( u
j
u
i
)V
i
( u
j
u
k
)W
k
= V
i
W
k
( u
i
u
k
) = V
i
W
k
i,k
,
luego el producto escalar no depende de la base escogida
V W V
i
W
i
= V
j
W
j
. (1.10)
Si las dos bases son de mano derecha se cumple que
ijk
V
j
W
k
=
ijk
(V
a
u
a
u
j
)(W
b
u
b
u
k
) = V
a
W
b
( u
a
u
b
) u
i
=
cab
V
a
W
b
( u
c
u
i
) ,
luego el producto vectorial satisface
(V W) u
c

cab
V
a
W
b
(V W) u
c
=
cab
V
a
W
b
. (1.11)
1.2 Denici on de un operador de momento angular.
En esta seccion deniremos que se entiende por operador de momentum angular en mec anica
cuantica. Veremos que el momento angular orbital L, de una partcula, es un operador de
momentum angular. Existen otros operadores de momentum angular como el espn S (que
no tiene an alogo cl asico) o la suma de cualquier par de operadores de momentum angular.
Cuando queramos referirnos a un momento angular sin especicar si es orbital, de espn o
una suma de otros momentos angulares usaremos el smbolo J.
Diremos que la terna de tres operadores J = (J
x
, J
y
, J
z
) es un operador de momento
angular si se satisfacen las siguientes relaciones:
J
k
= J
k
, k = 1, 2, 3 (1.12)
[J
n
, J
m
] = i
nmk
J
k
(1.13)
Claramente el operador de momento angular orbital para una partcula es un operador de
momento angular. N otese que no se pueden diagonalizar simult aneamente las tres compo-
nentes de un operador de momento angular. Dejaremos como un peque no ejercicio para el
lector demostrar que las incertidumbres en las medidas de las componentes del operador de
momentum angular satisfacen la siguiente identidad
(J
x
)(J
y
)

2
[ < J
z
> [ . (1.14)
Denimos el operador
J
2
J J = J
2
x
+ J
2
y
+ J
2
z
. (1.15)
Como vimos en el comentario (1.1) sobre operadores vectoriales (p agina 7) este operador no
depende de la base cartesiana particular que estemos utilizando. El operador J
2
satisface
las siguientes relaciones de conmutacion:
[J
2
, J
l
] = [J
k
J
k
, J
l
] = J
k
[J
k
, J
l
] + [J
k
, J
l
]J
k
= i
kln
(J
k
J
n
+ J
n
J
k
)
luego
[J
2
, J
l
] = 0 ; l = 1, 2, 3 (1.16)
La ultima ecuaci on signica que podemos encontrar una base propia, com un a los opera-
dores J
2
y alguna componente del momentum angular, c omo por ejemplo el operador J
z
. El
estudio del espectro de los operadores J
2
y J
z
as como de las propiedades de su base com un
se denomina teora general del momentum angular. Todas las propiedades que estudia esta
teora general se derivan unicamente de las ecuaciones (1.12) y (1.13); esto signica que se
aplicar an a una gran variedad de operadores diferentes, todos ellos operadores de momentum
angular. Para desarrollar la teora del momentum angular conviene utilizar los operadores
J
+
y J
denidos por
J
= J
x
+ iJ
y
con +, . (1.17)
Estos operadores son no hermticos,
J
= J
, (1.18)
y a partir de ellos se obtienen los operadores J
x
y J
y
J
x
=
1
2
(J
+
+ J
) ; J
y
=
1
2i
(J
+
J
) . (1.19)
A continuaci on demostremos que los operadores J
satisfacen las siguientes relaciones

[J
2
, J
] = 0 , (1.20)
[J
z
, J
] = J
, (1.21)
[J
z
, J
N
] = N J
N
con N Naturales, (1.22)

J
= J
2
J
2
z
J
z
, (1.23)
[J
+
, J
] = 2J
z
, (1.24)
J
+
J
+ J
J
+
= 2(J
2
J
2
z
) . (1.25)
La identidad (1.20) es una consecuencia de (1.16). Demostremos (1.21),
[J
z
, J
] = [J
z
, J
x
] + i[J
z
, J
y
] = (J
y
iJ
x
)i = (J
x
+ iJ
y
) = J
.
La identidad (1.22) se obtiene f acilmente si recordamos que dados dos operadores A y B que
satisfacen [[A, B], B] = 0 entonces [A, B
N
] = NB
N1
[A, B]. A continuaci on calculemos el
producto J
.
J
= (J
x
iJ
y
)(J
x
+ iJ
y
) = J
2
x
+ J
2
y
+ i(J
x
J
y
J
y
J
x
)
= J
2
x
+ J
2
y
+ i(iJ
z
) = J
2
J
2
z
J
z
.
De la expresi on (1.23) es inmediato obtener las identidades (1.24) y (1.25).
1.3 La base propia de J
2
y J
z
.
En esta seccion estudiaremos los espectros de los operadores J
2
y J
z
y algunas propiedades
de su base com un. Comenzaremos enunciando y demostrando una serie de teoremas rela-
cionados con el espectro de los operadores J
z
y J
2
y de su base propia com un.
Teorema 1.1.
Los autovalores del operador J
2
son positivos y pueden escribirse como
2
j(j + 1) con
j 0 un n umero real adimensional.
Para demostrar el teorema llamemos [
) a un autoestado de J
2
y
2
al autovalor corre-
spondiente ( es adimensional). Entonces
) =
[ J
2
[
) =
[ J
i
J
i
[
)
=
[ J
i
J
i
[
) =
i
|J
i
[
)|
2
0 0 .
Denamos j por medio de la ecuaci on j(j + 1) = . Esta ecuacion tiene dos soluciones
j
= (1
1 + 4)/2 con j
< 0 y j
+
0. Luego s olo una de las races es positiva o
nula.
Los operadores J
2
y J
z
conmutan y por lo tanto tienen una base propia com un. Sin em-
bargo puede ocurrir que no formen un CCOC y sus subespacios propios comunes pueden estar
degenerados. Designaremos por [k, j, m) los distintos elementos de esta base ortonormal,
J
2
[k, j, m) =
2
j(j + 1) [k, j, m) (1.26)
J
z
[k, j, m) = m [k, j, m) , (1.27)
donde k es un ndice o conjunto de ndices que sirven para distinguir los elementos de la base
con los mismos autovalores de J
z
y J
2
.
Teorema 1.2.
El n umero cu antico m esta acotado por arriba y por abajo de acuerdo a
j m j .
Teorema 1.3.
J
[k, j, m) = 0 m = j .
En particular
_
J
[k, j, j) = 0
J
+
[k, j, +j) = 0 .
A continuaci on demostraremos en conjunto los dos teoremas anteriores.

0 |J
[k, j, m)|
2
= (k, j, m[ J
)(J
[k, j, m)) = k, j, m[ J
[k, j, m)
= k, j, m[ J
2
J
2
z
J
z
[k, j, m) ( por (1.23) )
=
2
[j(j + 1) m
2
m] =
2
(j m)(j + m + 1) .
Esta ecuacion conduce a tres resultados. Los dos primeros se obtienen al escoger los dos
valores de +1, 1,
_
0 (j m)(j + m + 1) j m si m 0
0 (j m + 1)(j + m) m j si m 0 ,
de donde se obtiene j m j y esto demuestra el teorema (1.2). El tercer resultado es el
teorema (1.3), J
[k, j, m) = 0 j = m, ya que j +m+1 = 0 conduce a j +1 = [m[

y esto no es posible debido al teorema (1.2).
Teorema 1.4 (Operadores de creacion y destrucci on de cuantos m).
_
J
z
_
J
N
[k, j, m)
_
= (m + n)
_
J
N
[k, j, m)
_
J
2
_
J
N
[k, j, m)
_
= j(j + 1)
2
_
J
N
[k, j, m)
_
i.e., aplicaciones sucesivas del operador J
cambia en una unidad el autovalor asociado a

J
z
y no cambia el autovalor de J
2
.
Veamos la demostraci on del teorema. De (1.22) se obtiene que J

z
J
N
= J
N
(N + J
z
)
luego J
z
_
J
N
[k, j, m)
_
= (N + m)J
N
[k, j, m). Por otro lado de (1.20) se obtiene que

J
2
J
N
= J
N
J
2
por lo cual J
2
_
J
N
[k, j, m)
_
= j(j + 1)
2
_
J
N
[k, j, m)
_
.
El siguiente diagrama muestra en forma gr aca c omo los operadores J
+
y J
crean y
destruyen respectivamente un cuanto m, recuerdese que los valores posibles de m estan
acotados por j.
j m1 m m + 1 j
J
J
+
J
+

m + 2 m2
Teorema 1.5 (Espectro de J
2
).
El conjunto de los n umeros cuanticos j esta incluido en el conjunto formado por los
n umeros enteros y semienteros positivos (incluido el cero).
Teorema 1.6 (Espectro de J

z
).
Si el subespacio asociado al n umero cu antico j existe, entonces en dicho subespacio el
espectro de J
z
es el conjunto de n umeros m con
m j, j + 1, . . . , j 1, j.
Notese que si j es entero (o semientero) entonces m tambien lo es.
Demostraremos en conjunto los dos ultimos teoremas. Supongamos que el subespacio con
n umero cu antico j es no vaco, entonces contiene al menos un vector no nulo propio de J
2
(con autovalor j(j + 1)
2
) y de J
z
(con alg un autovalor m). Llamaremos a este vector
[k, j, m) ,= 0. Debido al teorema (1.2), m est a acotado por arriba y por abajo; y debido al
teorema (1.4) podemos construir dentro del subespacio j otros vectores propios de J
z
con
valores de m creciendo o decreciendo de uno en uno; estos vectores propios se obtienen de
aplicaciones sucesivas de los operadores J
al estado [k, j, m). De estas dos observaciones

es claro que existen n umeros enteros N
+
y N
que satisfacen las condiciones

_
m
mN
[j, j + 1 )
m
m + N
+
(+j 1, +j ] .
Debido al teorema (1.3) a menos que sea j = mN
y j = m+N
+
sucesivas aplicaciones
de J
+
y J
produciran estados con valores de m prohibidos por el teorema (1.2). Restando

estas dos expresiones se obtiene 2j = N
+
+N
que indica que J es un entero o semientero, al

igual que m. En el nterin hemos demostrado que existen estados propios de J
z
con n umeros
cuanticos m j, j + 1, . . . , j 1, j, estos se consiguen al aplicar los operadores J
+
y
J
al estado [k, j, m) inicial.

Comentario 1.2 (Momentum angular completamente determinado).
Las componentes del momentum angular no conmutan entre s por lo cual no
existe una base propia com un, sin embargo uno puede preguntarse si existen
estados con momentum angular completamente denido. Si [) es uno de
tales estados, esto es, es un autoestado com un a las tres componentes del
momentum angular, J
i
[) =
i
[), entonces debe satisfacer que
[J
a
, J
b
] [) = i
abc
J
c
[) (
a
a
) [) = i
abc
c
[)

c
= 0 c .
Luego, la unica posibilidad para que el momentum angular este completamente
denido para alg un estado es que sea nulo para dicho estado.
1.4 Base estandar.
En esta seccion deniremos un procedimiento que nos permitir a obtener una base propia
com un a los operadores J
2
y J
z
que llamaremos la base est andar. Para algunos sistemas
fsicos puede existir m as de una base est andar.
Sea c al espacio de estados total y supongamos que
J
2
es un observable, i.e., tiene una base propia. Esto
signica que el espacio de estados se puede escribir como
una suma directa de subespacios c
j
propios de J
2
con
autovalores j(j + 1)
2
,
c =
j
c
j
(1.28)
donde la suma es sobre todos los valores posibles de j.
c
j
1
c
j
2
c
j
3
c
j
4
c =
El dibujo anterior muestra el espacio de estados c y los distintos subespacios c
j
; la inter-
seccion de cualquier par de estos subespacios contiene unicamente al vector nulo que en el
dibujo est a representado por el crculo peque no.
Debido a que J
z
y J
2
conmutan existe una base
propia com un y cada subespacio c
j
puede escribirse
como la suma directa de subespacios c
j,m
, con c
j,m
pro-
pio de J
2
y J
z
con autovalores j(j + 1)
2
y m respec-
tivamente,
c
j
=
j
m=j
c
j,m
. (1.29)
El dibujo a la derecha es una representaci on gr aca de
esta suma directa.
c
j, j
c
j,m
c
j,j
c
j
=
A continuaci on enunciaremos una serie de teoremas que nos permitir an denir la base
estandar.
Teorema 1.7 (Isomorsmo entre los c
j,m
).
Para j jo y m [j, j] el operador J
es un iso-
morsmo entre c
j,m
y c
j,m+
(con m ,= j). Como
consecuencia todos los subespacios c
j,m
son isomor-
fos y tienen la misma dimension
g(j) = Dimensi on(c
j,m
) m. (1.30)
c
j,m
c
j,m+
J
J
1
A continuaci on demostremos el teorema. Sea [) c

j,m
, debido al teorema (1.4) se cumple
que J
[) c
j,m+
(tomamos m ,= j). Luego tenemos una transformaci on lineal J
:
c
j,m
c
j,m+
. Veamos que la transformaci on es invertible. Usando (1.23) se cumple
J
(J
[))
2
[j(j + 1) m
2
m]
=
(J
2
J
2
z
J
z
) [)
2
[j(j + 1) m
2
m]
= [) .
Analogamente J
1
(que es proporcional a J
) es una transformaci on lineal invertible de

c
j,m+
a c
j,m
. Como consecuencia los dos subespacios son isomorfos.
Teorema 1.8.
Sean [
1
) y [
2
) dos vectores de c
j,m
no nulos y ortogonales. Sabemos que para m ,= j
los vectores [
i
) J
[
i
) pertenecen a c
j,m+
y son no nulos. Se cumple que [
1
) y
[
2
) tambien son ortogonales.
La demostraci on de este teorema es como sigue.
1
[
2
) =
1
[ J
[
2
) =
1
[ J
[
2
) =
1
[ J
2
J
2
z
J
z
[
2
)
=
2
[j(j + 1) m
2
m]
1
[
2
) = 0 .
Para denir la base est andar necesitamos partir de alguna base ortonormal en alguno de
los subespacios c
j,m
, por ejemplo en el subespacio c
j,j
.
Teorema 1.9 (Base estandar).
Sea [k, j, j) / k = 1, . . . , g(j) una base ortonormal en c
j,j
. Denimos recursiva-
mente los vectores
[k, j, m + 1)
J
+
[k, j, m)
_
j(j + 1) m(m + 1)
; m = j, . . . , j 1 . (1.31)
Por construcci on es claro que [k, j, m) c
j,m
. El conjunto [k, j, m) , k = 1, . . . , g(j)
es una base ortonormal en c
j,m
.
A continuaci on demostraremos el teorema. En primer lugar demostremos por inducci on

completa que los vectores son ortonormales.
k
, j, m + 1[k, j, m + 1) =
k
, j, m[ J
J
+
[k, j, m)
2
[j(j + 1) m(m + 1)]
= k
, j, m[
_
J
2
J
2
z
J
z
2
[j(j + 1) m(m + 1)]
_
[k, j, m)
= k
, j, m[
_
j(j + 1) m
2
m
j(j + 1) m(m + 1)
_
[k, j, m) =
kk
.
Por ser isomorfos los espacios c
j,m
, si su dimension fuese nita bastara con esta demostraci on
para probar que tenemos una base. Como no conocemos a priori su dimensi on probaremos
(por reducci on al absurdo) que cualquier vector de c
j,m
se escribe como una combinaci on
lineal de los vectores [k, j, m) , k = 1, . . . , g(j). Sea [) c
j,m
tal que [k, j, m) = 0 para
todo k y [) ,= 0. Entonces [
) (J
)
m+j
[) c
j,j
, es no nulo y por el teorema (1.8)
debe ser ortogonal a los [k, j, j), lo cual es una contradicci on porque supusimos que era
una base.
Hemos probado que para j jo el conjunto de (2j + 1)g(j) vectores
[k, j, m) , k = 1, . . . , g(j) , m [j, j]
denidos por (1.31) es una base en el subespacio c
j
; esta base se conoce como la base
estandar. Realmente no hemos denido una unica base sino que hemos mostrado un pro-
cedimiento para construirla a partir de alguna base ortonormal dada por ejemplo en c
j,j
.
Por ultimo, como un peque no ejercicio para el lector, enunciaremos algunas identidades
que seran de mucha utilidad m as adelante.
J
[k, j, m) =
_
j(j + 1) m(m + ) [k, j, m + )
(1.32)
=
_
(j m)(j + m + 1) [k, j, m + ) ,
J
N
[k, j, m) =
N
(j + m + N)! (j m)!
(j mN)! (j + m)!
[k, j, m + N) . (1.33)
1.5 Representaci on matricial de los
operadores de momentum angular.
En esta seccion construiremos las representaciones matriciales de los operadores de momen-
tum angular en la base est andar.
Comencemos dividiendo el subespacio c
j
de una forma
distinta a la de la secci on anterior,
c
j
=
k
c(k, j) (1.34)
donde el subespacio c(k, j) tiene jos los n umeros
cuanticos k y j, esto es, esta generado por la base
ortonormal [k, j, m) / m [j, j]
c(k
2
, j)
c(k, j)
c(k
1
, j)
c
j
=
Notese que la dimensi on g(j) de los subespacios c
j,m
depende del sistema fsico particular
que estemos tratando pero esto no ocurre con los subespacios c(k, j) ya que ellos cumplen
con
dimension(c(k, j)) = 2j + 1 . (1.35)
Los subespacios c(k, j) tienen otra propiedad que los hace muy utiles a la hora de buscar
representaciones matriciales de los operadores de momentum angular, ellos son invariantes
globales bajo la acci on de J. En efecto, de (1.27) y (1.32) se tiene que
J
z
[k, j, m) c
k,j,m
c(k, j) y J
[k, j, m) c
k,j,m+
c(k, j)
luego
J
i
[k, j, m) c(k, j) , i = 1, 2, 3 . (1.36)
Dada una funci on arbitraria F(J) de los operadores de momentum angular sus elementos
de matriz en el espacio de estados c son
k
, j
, m
[ F(J) [k, j, m) =
k
j
k, j, m
[ F(J) [k, j, m) . (1.37)

Debido a la invariancia global de los subespacios c(k, j) los elementos de matriz entre vectores
de diferentes subespacios son nulos. Para escribir la matriz basta conocer la representaci on
matricial del operador F(J) en los subespacios c(k, j). Llamaremos representacion-j de
F(J) y la denotaremos por F(J)
(j)
, a la matriz cuadrada de tama no (2j +1) (2j +1) que
representa la accion del operador F(J) dentro del subespacio c(k, j). Esta matriz no depende
del n umero cu antico k. Si ordenamos la base est andar colocando juntos los elementos de la
base que pertenecen a cada subespacio c(k, j) entonces la matriz de F(J) en todo el espacio
de estados estar a formada por las submatrices F(J)
(j)
(variando j) en la diagonal y ceros
en el resto. Una parte de la matriz se vera as
c(k, j) c(k
, j) c(k
, j
)
c(k, j) F(J)
(j)
0 0
c(k
, j) 0 F(J)
(j)
0
c(k
, j
) 0 0 F(J)
(j
)
Observese que para un valor dado de j existen g(j) valores de k y en consecuencia la matriz
F(J)
(j)
aparecera repetida g(j) veces dentro de la matriz general.
Para construir las matrices en cada representaci on seran utiles los siguientes elementos
de matriz
k
, j
, m
[ J
z
[k, j, m) = m
kk

jj

mm
(1.38)
k
, j
, m
[ J
2
[k, j, m) = j(j + 1)
2
kk

jj

mm
(1.39)
k
, j
, m
[ J
[k, j, m) =
_
j(j + 1) m(m + )
kk

jj

m
m+
. (1.40)
Para construir las matrices de J
x
y J
y
usaremos sus expresiones en funcion de J
+
y J
,
ecuacion (1.19).
A continuaci on escribiremos las matrices que representan el momento angular para valo-
res bajos de j. Cuando escribimos un elemento de matriz como A
ij
=
i
[ A [
j
) el ndice i
corresponde a la la y el j a la columna. En cada subespacio c(k, j) ordenamos la base de
forma tal que el n umero cu antico m decrezca.
Representacion j = 0. En este caso m = 0 y las matrices son todas nulas y de dimensi on
1 1.
(J
z
)
(0)
= (J
)
(0)
= (J
x
)
(0)
= (J
y
)
(0)
= (J
2
)
(0)
= 0 (1.41)
Representacion j = 1/2. El orden de los vectores de la base es m 1/2, 1/2 y las
matrices son 2 2. Las matrices que se obtienen son las matrices de espn 1/2 introducidas
en un captulo anterior.
(J
2
)
(1/2)
=
3
4
2
1
[
22
, (J
+
)
(1/2)
=
_
0 1
0 0
_
, (J
)
(1/2)
=
_
0 0
1 0
_
,
(1.42)
(J
x
)
(1/2)
=

2
_
0 1
1 0
_
, (J
y
)
(1/2)
=

2
_
0 i
i 0
_
, (J
z
)
(1/2)
=

2
_
1 0
0 1
_
.
Representacion j = 1. El orden de la base es m 1, 0, 1 y las matrices son de
dimension 3.
(J
2
)
(1)
= 2
2
1
[
33
, (J
+
)
(1)
=
_
_
0
2 0
0 0
2
0 0 0
_
_
, (J
)
(1)
=
_
_
0 0 0
2 0 0
0
2 0
_
_
,
(1.43)
(J
x
)
(1)
=

2
_
_
0 1 0
1 0 1
0 1 0
_
_
, (J
y
)
(1)
=

2
_
_
0 i 0
i 0 i
0 i 0
_
_
, (J
z
)
(1)
=
_
_
1 0 0
0 0 0
0 0 1
_
_
.
Representacion j = 3/2. El orden de la base es m 3/2, 1/2, 1/2, 3/2 y las
matrices son de dimension 4.
(J
2
)
(3/2)
=
15
4

2
1
[
44
, (J
x
)
(3/2)
=

2
_
_
_
_
0
3 0 0
3 0 2 0
0 2 0
3
0 0
3 0
_
_
_
_
,
(J
+
)
(3/2)
=
_
_
_
_
0
3 0 0
0 0 2 0
0 0 0
3
0 0 0 0
_
_
_
_
, (J
y
)
(3/2)
=
i
2
_
_
_
_
0
3 0 0
3 0 2 0
0 2 0
3
0 0
3 0
_
_
_
_
, (1.44)
(J
)
(3/2)
=
_
_
_
_
0 0 0 0
3 0 0 0
0 2 0 0
0 0
3 0
_
_
_
_
, (J
z
)
(3/2)
=

2
_
_
_
_
3 0 0 0
0 1 0 0
0 0 1 0
0 0 0 3
_
_
_
_
.
1.6 Arm onicos esfericos y el momento angular orbital.
En esta seccion escribiremos el operador momento angular orbital para una partcula, L =
(L
x
, L
y
, L
z
), en la representaci on-r usando coordenadas esfericas. Luego hallaremos el espec-
tro del operador L
2
y la base est andar. Esta ultima se escribir a en funcion de los arm onicos
esfericos Y
m
l
(, ).
En la representacion de coordenadas las componentes
del momento angular L = (L
x
, L
y
, L
z
) toman la forma
L
i
=
ijk
X
j
P
k
= i
ijk
x
j
x
k
. (1.45)
Resultar a conveniente expresar estos operadores en coor-
denadas esfericas ya que, como veremos enseguida, solo
act uan sobre las variables angulares y y no sobre la co-
ordenada r. A continuaci on probemos que los operadores
L
i
toman las siguientes expresiones:
x
y
z
r
r
L
x
= i
_
y

z
z

y
_
= i
_
sen

+
cos
tg
_
, (1.46a)
L
y
= i
_
z

x
x

z
_
= i
_
cos

+
sen
tg
_
, (1.46b)
L
z
= i
_
x

y
y

x
_
= i

. (1.46c)
Para probar estas relaciones partimos de la expresi on del gradiente en esfericas,
x
i
=
i
=
i
_

r
r
+
1
r

rsen
_
.
Luego
x
= sencos

r
+
coscos
r

sen
rsen
,

z
= cos

r

sen
r
y
= sensen

r
+
cossen
r
+
cos
rsen
.
Al sustituir estas identidades junto con x = r sen cos, y = r sen sen y z = r cos en
(1.45) se obtienen las identidades (1.46).
Otros operadores que debemos expresar en esfericas son L
y L
2
. Para ellos se obtiene
L
= e
i
_
+
i
tg
_
, (1.47)
L
2
=
2
_

2
2
+
1
tg
+
1
sen
2
2
_
. (1.48)
Para demostrar (1.47) s olo se debe sustituir (1.46a) y (1.46b) en la expresi on L
= L
x
+iL
y
.
Para demostrar (1.48) se puede partir de la expresi on (1.23) que conduce a
L
2
=
1
2
(L
+
L
+ L
L
+
) + L
2
z
y luego usar (1.46c) y (1.47).
Estamos interesados en hallar las funciones de onda
k,l,m
(r, , ) r(r, , )[k, l, m) (1.49)
de la base estandar en la representaci on de coordenadas. Los elementos de esta base son
propios de L
2
y L
z
, en consecuencia de (1.48) y (1.46c), sus funciones de onda deben satisfacer
las siguientes ecuaciones diferenciales:
_

2
2
+
1
tg
+
1
sen
2
2
_
k,l,m
(r, , ) = l(l + 1)
k,l,m
(r, , ) , (1.50)
i

k,l,m
(r, , ) = m
k,l,m
(r, , ) ; m = l, l + 1, . . . , l . (1.51)
A un mas, por tratarse de una base est andar y debido a (1.32) debe cumplirse L
[k, j, m) =
_
l(l + 1) m(m + ) [k, l, m+) que en la representacion de coordenadas (usando (1.47))
toma la forma
e
i
_
+
i
tg
k,l,m
(r, , ) =
_
l(l + 1) m(m + )
k,l,m+
(1.52)
El conjunto de ecuaciones diferenciales (1.50), (1.51) y (1.52) dene a las funciones de onda
k,l,m
(r, , ).
A continuaci on enunciaremos algunos teoremas que nos ayudar an a resolver las ecuaciones
diferenciales que satisfacen las funciones de onda de la base est andar.
Teorema 1.10 (N umeros cuanticos enteros).
Los n umeros cuanticos l y m son enteros y las funciones
k,l,m
se pueden escribir en la
forma
k,l,m
(r) = f
k,l,m
(r, )e
im
, (1.53)
con f
k,l,m
una funcion todava por determinar.
Veamos la demostraci on de este teorema. De (1.51) se obtiene
ln = imy por tanto ln =

im + ln f(r, ) = f(r, )e
im
. Tenemos que r(r, , ) = r(r, , + 2) y estamos
suponiendo que nuestro espacio de estados es monovaluado, r(r, , )[) = r(r, , +
2)[). Luego f
k,l,m
exp[0] = f
k,l,m
exp[2mi] por lo tanto m es entero y l tambien.
Teorema 1.11 (
k,l,l
y el espectro de L
2
).
Todos los valores enteros positivos de l estan permitidos y se cumple que
k,l,l
(r) = g
kl
(r)sen
l
e
il
(1.54)
con g
kl
(r) una funci on sin determinar.
Para demostrar este teorema partiremos de L

+
k,l,l
= 0, teorema (1.3) en la p agina 10.
Usando la expresi on (1.47) para el operador L
+
se obtiene
e
i
_

l
tg
_
f
kll
(r, ) = 0
f
kll
=
lf
kll
tg

1
f
kll
f
kll
=
l
sen
sen
(ln f
kll
l ln sen) = 0 f
kll
= g
kl
(r)sen
l
y la soluci on existe para cualquier l entero.

Teorema 1.12 (Variables separadas).
Las funciones de onda de la base est andar
k,l,m
(r) pueden escribirse con variables sepa-
radas en la forma
k,l,m
(r) = R
k,l
(r)Z
l,m
()
e
im
2
, (1.55)
donde las funciones R
k,l
(r) no son determinadas por los operadores de momentum angu-
lar.
Haremos la demostraci on de este teorema por inducci on. Usaremos repetidamente la ecua-
cion (1.52) con = 1 y partiremos de
k,l,l
dado por (1.54).
e
i
_
+
i
tg
_
R
kl
Z
l,m
()
e
im
2
=
_
l(l + 1) m(m1)
k,l,m1
R
kl
(r)
_
_

m
tg
_
Z
l,m
()
_
l(l + 1) m(m1)
_
e
i(m1)
2
=
k,l,m1
.
La expresi on entre corchetes es la nueva funci on Z
l,m1
().
De acuerdo a los teoremas que hemos demostrado las funciones de onda de la base
estandar pueden escribirse como
k,l,m
(r) = R
k,l
(r)Y
m
l
(, ) , (1.56)
donde las funciones R
k,l
(r) dependeran de los operadores que se agreguen a L
2
y L
z
para
completar un CCOC. Las funciones
Y
m
l
(, ) Z
l,m
()
e
im
2
, (1.57)
denominadas arm onicos esfericos, estan denidas a partir de la soluci on para
k,l,l
(ecuacion
(1.54)) y de la relaci on de recurrencia para la base est andar (ecuaci on diferencial (1.52)),
i.e.,
Y
l
l
(, )
_
(1)
l
2
l
l!
_
(2l + 1)!
4
_
sen
l
e
il
(1.58)
L
Y
m
l
(, ) e
i
_

m
tg
_
Y
m
l
(, ) =
_
l(l + 1) m(m + )Y
m+
l
(, ) . (1.59)
El factor entre corchetes escogido en (1.58) asegurar a, como veremos mas adelante, la nor-
malizacion de los arm onicos esfericos.
A continuaci on estudiaremos la normalizaci on de los arm onicos esfericos y de las funciones
de onda de la base est andar. De (1.56) es claro que el espacio de estados de una partcula
puede escribirse como un producto tensorial, c = c
r
c
, donde c
es el espacio de estados
de funciones f(, ) y con norma denida por
f[g)

_
d f
g
_
2
0
d
_

0
send f
(, )g(, ) . (1.60)
Debido a que en las expresiones de los L
i
, ecuaciones (1.46), no aparecen derivadas respecto
a r entonces L = (L
x
, L
y
, L
z
) es tambien un operador de momento angular en c
y los
elementos de la base estandar en c
son de acuerdo a (1.56) de la forma

k,l,m
(, ) =
R
k,l
Y
m
l
(, ), con R
k,l
constantes. Multiplicar una funci on de onda por una constante no
altera el estado fsico, esto signica que los subespacios c(l, m) en c
son de dimension 1
(k = 1). Tomaremos las constantes R
k,l
= 1. Probaremos ahora que los arm onicos esfericos
estan normalizados de acuerdo a
_
dY
l
Y
m
l
=
_
2
0
d
_

0
d sen Y
l
(, ) Y
m
l
(, ) =
ll

mm
. (1.61)
Es claro que arm onicos esfericos con n umeros cuanticos l o m distintos son ortogonales entre
s con la medida denida en (1.60) por ser autoestados de operadores hermticos correspon-
dientes a autovalores distintos. Luego s olo necesitamos probar que su norma vale uno y para
probarlo, debido al teorema (1.9) en la p agina 14, basta probar que la norma vale 1 en alguno
de los subespacios c(l, m). Lo probaremos para m = l usando inducci on completa en l, sea
I
l

_
d[Y
l
l
[
2
=
_
2
0
d
_

0
d sen
_
(2l + 1)!
2
2l
(l!)
2
4
_
sen
2l
=
(2l + 1)!
2
2l+1
(l!)
2
_

0
d sen
2l+1
y hagamos en la integral el cambio de variables = cos d = send, luego

I
l
=
(2l + 1)!
2
2l+1
(l!)
2
_

0
d sen [1 cos
2
]
l
=
(2l + 1)!
2
2l+1
(l!)
2
_
1
1
(1
2
)
l
d
=
(2l + 1)!
2
2l+1
(l!)
2
_
1
1
(1
2
)(1
2
)
l1
d
=
(2l + 1)!
2
2l+1
(l!)
2
__
2
2(l1)+1
(l 1)!
2
[2(l 1) + 1]!
_
I
l1
_
1
1
2
(1
2
)
l1
d
_
.
El ultimo sumando se integra por partes tomando dv = (1
2
)
l1
d v =
(1
2
)
l
2l
,
luego
_
1
1
2
(1
2
)
l1
d =
(1
2
)
l
2l
1
1
+
_
1
1
(1
2
)
l
2l
d
luego
I
l
=
(2l + 1)!
2
2l+1
(l!)
2
_
_
2
2l1
(l 1)!
2
(2l 1)!
_
I
l1
+
(1
2
)
l
2l
1
1
1
2l
_
1
1
(1
2
)
l
d
_
=
(2l + 1)2l
2
2
l
2
I
l1
1
2l
I
l
I
l
_
2l + 1
2l
_
=
_
2l + 1
2l
_
I
l1

I
l
= I
l1
= I
0
=
1
2
_

0
d sen = 1 .
Puede demostrarse, aunque aqu no lo haremos, que cualquier funci on de cuadrado inte-
grable en c
puede expandirse en terminos de los arm onicos esfericos de una unica manera,
esto es
f(, ) =
l=0
l
m=l
c
l,m
Y
m
l
(, ) . (1.62)
Donde los coecientes c
l,m
se pueden obtener en funcion de f(, ) a partir de las relaciones
de ortonormalidad de los arm onicos esfericos (1.61),
c
l,m
=
_
2
0
d
_

0
d sen Y
m
l
(, )f(, ) . (1.63)
Como una consecuencia de estas dos ultimas relaciones se tiene que los arm onicos esfericos
satisfacen la siguiente relaci on de clausura
m
Y
m
l
Y
m
l
(
) = (cos cos
)(
) =
1
sen
(
)(
) . (1.64)
Para demostrar esta relaci on partimos de (1.63) con f(, ) = (
)(
)/sen,
c
l,m
=
_
2
0
d
_

0
d Y
m
l
(, ) (
) (
) = Y
m
l
(
)
y al sustituir esta expresi on para c
l,m
en (1.62) se obtiene (1.64).
Veamos a continuaci on la normalizaci on de las funciones de onda de la base est andar en
la representacion de coordenadas. De (1.61) obtenemos que
_
d
3
r
,l
,m
(r)
k,l,m
(r) =
__

0
dr r
2
R
,l
(r)R
k,l
(r)
___
dY
m
l
Y
m
l
_
=
ll

mm
_

0
dr r
2
R
,l
(r)R
k,l
(r) .
En consecuencia la base sera ortonormal si su parte radial est a normalizada de acuerdo con
_

0
dr r
2
R
k,l
(r)R
k
,l
(r) =
kk
. (1.65)
Observese que hemos normalizado por separado la parte radial y la parte angular de los
vectores de la base est andar.
Por ultimo para terminar con la secci on enunciaremos sin demostracion una serie de
propiedades de los arm onicos esfericos que nos resultaran de utilidad.
La identidad (1.33) en la representaci on de coordenadas con m l, N l m, j l
y = conduce a la siguiente relaci on
Y
m
l
(, ) =
(l + m)!
(2l)!(l m)!
_
L
_
lm
Y
l
l
(, )
=
(l + m)!(2l + 1)
(l m)!4
(1)
l
2
l
l!
e
im
(sen)
m
d
lm
dcos
lm
(sen)
2l
. (1.66)
Bajo un cambio de paridad r r se cumple que (r, , ) (r, , + ) y los
arm onicos esfericos transforman de acuerdo a
Y
m
l
( , + ) = (1)
l
Y
m
l
(, ) . (1.67)
La conjugaci on compleja de los arm onicos esfericos conduce a
(Y
m
l
(, ))
= (1)
m
Y
m
l
(, ) . (1.68)
Los arm onicos esfericos estan relacionados con las funciones asociadas de Legendre por
Y
m
l
(, ) = (1)
m+|m|
2
(2l + 1)(l [m[)!

4(l +[m[)!
P
|m|
l
(cos)e
im
. (1.69)
Comentario 1.3 (Polinomios de Legendre y sus funciones asociadas).
Los polinomios de Legendre son dados por la f ormula de Rodrigues
P
l
(x) =
1
2
l
l!
d
l
dx
l
(x
2
1)
l
(1.70)
y las funciones asociadas de Legendre por
P
m
l
(x)
_
(1 x
2
)
m
d
m
dx
m
P
l
(x) con x [1, 1] . (1.71)
Los arm onicos esfericos satisfacen el siguiente teorema
de adici on. Sean (, ) y (
) dos direcciones en el
espacio y el angulo subtendido por estas direcciones
(ver gura a la derecha). Entonces se cumple que
2l + 1
4
P
l
(cos) =
l
m=l
Y
m
l
(, )(Y
m
l
(
))
(1.72)
=
l
m=l
(1)
m
Y
m
l
(, )Y
m
l
(
) .
r
r
1.7 Transformaciones puntuales en R

3
y las partculas sin espn.
En esta seccion estudiaremos como cambia la funci on de onda de una partcula sin espn
cuando el sistema sufre una transformaci on puntual e invertible de R
3
, como por ejemplo
una rotaci on, una traslaci on o una dilataci on. Construiremos una representaci on del grupo
de transformaciones diferenciables de R
3
en el espacio de estados de una partcula.
Llamemos ( al grupo de transformaciones diferenciables en R
3
. Un elemento cualquiera
( es una funcion invertible : R
3
R
3
que a cada punto r del espacio le asocia otro
punto (r). Si el sistema de la partcula sufre la transformaci on su estado cu antico cambia
de acuerdo a
[)

[
) = [) , (1.73)
donde es un operador sobre el espacio de estados de la partcula que depende de la trans-
formaci on . En lo que sigue estudiaremos el operador . Cuando transformamos el sistema
(como es el caso que aqu presentamos) se habla de una transformaci on activa y si lo que se
cambia es el sistema de coordenadas se le denomina pasiva. Es f acil darse cuenta que una
transformaci on activa es equivalente a una pasiva
1
.
Sea dv = d
3
r un elemento de volumen en el punto con
vector de posicion r. Al realizar la transformaci on (ver
gura a la derecha) los puntos que pertenecan a dv se
encuentran ahora en un entorno del vector r
= (r) y
ocupan un volumen
d
3
r
(r)
r
d
3
r , (1.74)
donde [(r)/r[ es el valor absoluto del determinante Ja-
cobiano de la transformaci on. 0
r
r
d
3
r
d
3
r
Sea dp la probabilidad de encontrar la partcula en un volumen d

3
r entorno al punto r
cuando su estado es [). Si la partcula sufre repentinamente la transformaci on su estado
cambia a [
), sin embargo la probabilidad de encontrarla en el nuevo volumen d

3
r
entorno
al punto r
debe coincidir con la anterior, esto es

dp [(r)[
2
d
3
r = [
(r
)[
2
d
3
r
, (1.75)
luego
[
(r
)[ =
r
(r)
[(r)[ [
(r)[ =
1
(r)
r
[(
1
(r))[ .
De aqu se obtienen varias posibilidades:
(r) = e
i(r,)
1
(r)
r
(
1
(r)) o
(r) = e
i(r,)
1
(r)
r
(
1
(r)) ,
la primera de ellas conduce a un operador antilineal y la segunda a un operador lineal.
Escogeremos la segunda opci on y tomaremos la fase (r, ) = 0. Veremos m as adelante que al
escoger la fase de esta manera aseguraremos el que contemos con una representaci on del grupo
de transformaciones. Tenemos entonces que la acci on del operador en la representaci on de
coordenadas es
(r) = (r) r[ [) =
1
(r)
r
(
1
(r)) . (1.76)
A continuaci on demostraremos una serie de propiedades relacionadas con este operador.
Propiedad 1. El operador es lineal.
(
1
[
1
) +
2
[
2
)) =
1
[
1
) +
2
[
2
) .
La demostraci on de esta propiedad es inmediata de la forma como act ua en la repre-
sentacion-r (1.76).
Propiedad 2. El operador conserva el producto interior
1
[
2
) =
1
[
2
) si [
i
) = [
i
) . (1.77)
Esto es equivalente a decir que se trata de un operador unitario
= 1
[
. (1.78)
Veamos la demostraci on.
1
[
2
)
_
d
3
r
1
(r)
r
1
(
1
(r))
2
(
1
(r)) (hagamos un cambio de variables)
r r
=
1
(r) d
3
r = d
3
r
r
r
= d
3
r
1
(r)
1
[
2
) =
_
d
3
r
1
(r
2
(r
) =
1
[
2
) .
Propiedad 3. El operador adjunto en la representaci on de coordenadas es
(r) =
1
(r) =
(r)
r
((r)) . (1.79)
Demostraci on:
(r) (r) =
1
(r)
r
(
1
(r))
(r) = (r) =
_
1
(r)
(r)
_
r(r)
=
(r)
r
((r)) .
Propiedad 4. Sobre los autoestados del operador posici on, los operador y
act uan de
la siguiente manera
r[ =
1
(r)
r
1
(r)[ ;
[r) =
1
(r)
r
[
1
(r)) (1.80)
r[
(r)
r
(r)[ ; [r) =
(r)
r
[(r)) (1.81)
Esta propiedad es una consecuencia inmediata de las ecuaciones (1.76) y (1.79).
A continuaci on demostraremos algunos teoremas relacionados con los operadores .
Teorema 1.13 (Representaci on de ().
El conjunto de operadores asociados a las transformaciones ( con la ley producto
de operadores constituyen una representaci on del grupo ( en el conjunto de operadores
lineales sobre el espacio de estados de una partcula. En otras palabras:
i. A cada ( se le asocia un operador (dado por (1.76)).
ii. Al elemento identidad en ( se le asocia el operador identidad.
iii. Dados
i
( (i = 1, 2, 3), llamemos
i
a los operadores asociados correspondientes.
Entonces
1

2
=
3

1

2
=
3
. (1.82)
Veamos la demostraci on del teorema. Los apartados i y ii del mismo son evidentes as que
solo demostraremos el apartado iii. En la demostraci on usaremos (1.81).
1

2
[r) =
2
(r)
r
1
[
2
(r)) =
2
(r)
r
1
(
2
(r))
2
(r)
[
1
(
2
(r)))
=
3
(r)
r
[
3
(r)) =
3
[r) .
Una transformaci on innitesimal uniparametrica
es un elemento de ( cercano a la
transformaci on identidad, que depende de un par ametro innitesimal y es dada por
r r
(r) = r + f(r) + o(
2
) , (1.83)
donde f es alguna funci on vectorial, real y diferenciable. Demostremos que el Jacobiano de
la transformaci on es
(r)
r
= 1 + f + o(
2
) . (1.84)
x
i
x
j
=
ij
+
f
i
x
j
1 + f
x
/x f
x
/y f
x
/z
f
y
/x 1 + f
y
/y f
y
/z
f
z
/x f
z
/y 1 + f
z
/z
= 1 + f +o(
2
)
Teorema 1.14 (Transformaciones innitesimales).
Sea la transformaci on innitesimal dada por (1.83) y
el operador que la representa.

Entonces se cumple que
= 1
[
Q + o(
2
) (1.85a)
Q
1
2
[f(R) P +P f(R)] . (1.85b)
Donde R y P son los operadores de posici on y momentum lineal de la partcula. El
operador Q es hermtico y se conoce como el generador de la transformaci on.
Para demostrar el teorema anterior partimos de (1.81) y utilizamos (1.84).

r
[r) =
(r)
r
[(r)) =
_
1 + fr
[r + f(r)) + o(
2
)
=
_
1 +

2
f
_
[1 + f(r) ]
3
(r
r) + o(
2
)
=
_
1 +

2
f + f(r)
_
3
(r
r) + o(
2
)
y ahora demostremos que este elemento de matriz es igual a r
[ 1
[
iQ/ [r),
r
[ 1
[
Q [r) = r
[ 1
[
i
2
[f
j
(R)P
j
+ P
j
f
j
(R)] [r)
=
_
1
i
2
_
f
j
(r
)
_
i

x
j
_
+
_
i

x
j
_
f
j
(r)
__
3
(r
r)
=
_
1 +

2
_
f
j
(r
)

x
j
+ f
j
(r)

x
j
__
3
(r
r)
=
_
1 +

2
__
f
j
(r)
x
j
_
+ 2f
j
(r)

x
j
__
3
(r
r)
=
_
1 +

2
f + f(r)
_
3
(r
r) .
Teorema 1.15 (El generador y las transformaciones nitas).
Sea el conjunto () ( / R un subgrupo uniparametrico abeliano,
() (
) = ( +
)
tal que (0) es la identidad y () =
es dado por (1.83). Sea () / R

el conjunto de operadores que representan a este subgrupo y sea Q el generador de la
transformaci on,
() = 1
[
Q + o(
2
) .
Si Q es un operador observable entonces se cumple que
() = exp[
i
Q] . (1.86)
Demostremos el teorema. Sea [

n
) una base propia del operador Q, Q [
n
) = q
n
[
n
),
denimos el elemento de matriz g() =
n
[ () [
n
). Se cumple entonces que
g( + d) =
n
[ ()(d) [
n
) =
n
[ ()[1
[
id
Q] [
n
)
= [1
id
q
n
]
n
[ () [
n
) = [1
id
q
n
]g()
d
d
ln g() =
iq
n
g() = e
iqn/
g(0) =
n
[ exp[
i
Q] [
n
) .
Este teorema debe completarse con otro teorema que no demostraremos aqu y que tiene el
siguiente enunciado: cada elemento de un grupo de Lie compacto ( pertenece a un subgrupo
abeliano uniparametrico de ( y puede ser obtenido como una exponencial de alg un elemento
del algebra de Lie.
En mecanica cu antica el estado de un sistema y las cantidades observables del mismo se
describen de manera independiente. En el resto de esta seccion trataremos con la manera en
que son afectadas las mediciones cuando el sistema sufre una transformaci on de coordenadas.
Comencemos con una denici on y dos teoremas.
Dado un operador lineal A, denimos el operador transformado por , A
, como
A : c c, A

A
. (1.87)
Teorema 1.16.
Sea A
y [
i
) = [
i
) con i 1, 2. Entonces
1
[ A
2
) =
1
[ A [
2
) (1.88)
o equivalentemente los elementos de la matriz de A en la base B = [
i
), i = 1, . . . son
los mismos que los de A
en la base B
= [
i
), i = 1, . . ..
La demostraci on de este teorema es inmediata de la denici on de A
.
Teorema 1.17.
Si A es un operador observable con base propia B = [
i
) y espectro / a
i
entonces
el operador A
= A
tiene base propia B
= [
i
) = [
i
) y el mismo espectro.
A [
i
) = a
i
[
i
) A
i
) = a
i
[
i
) (1.89)
Demostraci on: A
i
) = (A
)( [
i
)) = A [
i
) = a
i
[
i
) = a
i
[
i
) .
En mecanica cu antica, darse un observable A con espectro a
i
y base propia ortonormal
B = [
i
) signica que tenemos un aparato de medida que tiene una probabilidad [
i
[)[
2
de arrojar el resultado a
i
si el sistema se encuentra en el estado normalizado [). Si tanto el
sistema como el aparato de medida sufren la transformaci on activa entonces los resultados
de las medidas no deben alterarse, esto nos lleva a asignar al aparato de medida transformado
el operador A
denido en (1.87).
Comentario 1.4 (Transformaci on innitesimal de observables).
Frente a una transformaci on innitesimal
= 1
[
iQ/+o(
2
) los observables
cambian de acuerdo a
A
= A
i
[Q, A] + o(
2
) . (1.90)
Esta expresion recuerda (cambiando conmutadores por corchetes de Poisson)
la forma como cambian las magnitudes de un sistema cl asico cuando se realiza
una transformaci on can onica innitesimal de generador Q.
1.8 Operador rotaci on para una partcula sin espn.
El conjunto de las rotaciones (
R
es un subgrupo de ( (el grupo general de transformaciones
diferenciables en R
3
). En esta seccion representaremos el grupo de rotaciones sobre el espacio
de estados de una partcula sin espn y encontraremos una relaci on entre los operadores de
rotaci on y el operador momentum angular.
Antes de introducir el operador que representa a una rotaci on
en el espacio de estados cuanticos conviene revisar algunas de las
propiedades de las rotaciones en R
3
. En la gura a la derecha el
vector r
se obtiene de rotar el vector r un angulo alrededor de

un eje con direccion n y que pasa por el origen. La rotaci on la
denotaremos como 1
n
() y escribiremos r
= 1
n
()r. Se puede
demostrar
1
que
r
= 1
n
()r = (1 cos)(r n) n +rcos + n r sen (1.91)
y para un angulo innitesimal se cumple que
1
n
()r = r + n r + o(
2
) . (1.92)
r r
O
Las rotaciones son transformaciones lineales y de la ecuaci on anterior podemos obtener
los elementos de matriz para una rotaci on innitesimal en la base cartesiana,
[1
n
()]
i,k
u
i
(1
n
() u
k
) =
i,k
+
ijk
n
j
1
ver por ejemplo el libro Classical Mechanics de H. Goldstein, Addison-Wesley, Second Edition-1980.
luego
1
n
() = 1
[
+
_
_
0 n
3
n
2
n
3
0 n
1
n
2
n
1
0
_
_
. (1.93)
El siguiente teorema muestra una propiedad de las rotaciones innitesimales que ser a de
utilidad mas adelante.
Teorema 1.18.
Dada e
1
, e
2
, e
3
una base ortonormal derecha, las rotaciones innitesimales en R
3
satis-
facen la identidad
1
e
2
(
)1
e
1
()1
e
2
(
)1
e
1
() = 1
e
3
(
) . (1.94)
Para demostrar (1.94) y sin perder generalidad escogemos e

1
, e
2
, e
3
= x, y, z y usamos
la expresion matricial de 1
n
en esta base dada por (1.93).
_
_
1 0
0 1 0
0 1
_
_
_
_
1 0 0
0 1
0 1
_
_
_
_
1 0
0 1 0
0 1
_
_
_
_
1 0 0
0 1
0 1
_
_
=
_
_
1
0 1
1
_
_
_
_
1
0 1
1
_
_
=
_
_
1
1 0
0 0 1
_
_
+ o(
2
) + o(
2
)
luego
1
y
(
)1
x
()1
y
(
)1
x
() = 1
z
(
) + o(
2
) + o(
2
) .
Las rotaciones constituyen un subgrupo (
R
(:
i. Dos rotaciones sucesivas forman otra rotaci on.
ii. El elemento identidad es la rotaci on de angulo cero.
iii. El inverso de una rotaci on es otra rotaci on, 1
1
n
() = 1
n
().
El grupo de rotaciones no es conmutativo pero contiene subgrupos abelianos,
1
n
(
1
)1
n
(
2
) = 1
n
(
1
+
2
) . (1.95)
En la seccion anterior se elabor o la representaci on del grupo general de transformaciones
( como operadores que act uan sobre el espacio de estados de una partcula. A continuacion
particulizaremos el formalismo desarrollado al caso de las rotaciones. A cada rotaci on 1
n
()
le asociamos un operador de rotaci on unitario R
n
(), que de acuerdo con (1.80) y (1.81)
act ua de la siguiente forma sobre la base de coordenadas
R
n
() [r) = [1
n
()r) , (1.96a)
R
n
() [r) = [1
n
()r) , (1.96b)
ya que el Jacobiano de la transformaci on vale uno. Los dos teoremas que siguen relacionan
las rotaciones con el operador de momentum angular.
Teorema 1.19 (Generador de las rotaciones).
El generador de las rotaciones alrededor de un eje en direcci on n es igual a la proyecci on
del operador momentum angular sobre n,
Q
n
= n L. (1.97)
Para demostrar el teorema partiremos de la denici on del generador dada en (1.85), Q

[f(R) P + P f(R)]/2, donde f esta denida por r
r = f(r). En el caso de las

rotaciones de acuerdo a (1.92) se tiene que f(r) = n r luego
Q
1
2
[f(R) P +P f(R)] =
1
2
[( n R) P +P ( n R)] = n (RP) = n L.
Teorema 1.20 (El operador rotaci on y el momentum angular).
El operador que representa a la rotaci on 1
n
() se puede escribir como
R
n
() = exp
i
n L. (1.98)
Este teorema es una consecuencia inmediata del teorema (1.15) (en la p agina 28), del teorema
anterior y del hecho de que la componente del momentum angular en cualquier direcci on es
un operador observable.
Como consecuencia del teorema anterior se cumple que el operador de rotaci on satisface
R
n
(2) = 1
[
. (1.99)
En efecto, si llamamos [k, j, m)
n
a los elementos de la base est andar propia de L
2
y n L se
cumple
R
n
(2) [k, j, m)
n
= e
i2 nL/
[k, j, m)
n
= e
i2 m
[k, j, m)
n
= [k, j, m)
n
k, j, m R
n
(2) = 1
[
.
Frente a una rotaci on y de acuerdo con (1.87) los observables del sistema transforman de
la siguiente forma
A
R
n
()
A
R
n
()AR
n
() . (1.100)
En particular las componentes del operador posici on transforman de esta manera, pero adi-
cionalmente las componentes transformadas del operador posici on satisfacen una importante
identidad enunciada en el siguiente teorema.
Teorema 1.21.
Sean dos bases cartesianas B = u
1
, u
2
, u
3
y B
= u
1
, u
2
, u
3
tales que la segunda se
obtiene al rotar la primera de acuerdo a u
i
= 1
n
() u
i
. Las componentes del operador
posicion de la partcula, R, en las bases B y B
son respectivamente
X
i
R u
i
y X
i
R u
i
X
j
u
j
u
i
. (1.101)
Se cumple entonces que
X
i
= R
n
() X
i
R
n
() . (1.102)
Comencemos la demostraci on del teorema recordando que el producto escalar de vectores en

R
3
es invariante bajo rotaciones, a b = (1
n
()a) (1
n
()b). Llamaremos r
1
n
()r, se
cumple entonces que
X
i
[r
) = u
j
u
i
X
j
[r
) = u
j
u
i
(r
u
j
) [r
) = r
i
[r
) = r u
i
[r
)
= x
i
[r
) = R
n
() X
i
R
n
() [r
) [r
) X
i
= R
n
() X
i
R
n
() .
Notese que el teorema anterior nos dice que bajo las rotaciones las componentes del
operador de posici on transforman de manera an aloga a como lo hacen las componentes de
los vectores en R
3
. Este hecho sera usado en la pr oxima seccion para denir que entenderemos
por un operador vectorial frente a rotaciones.
1.9 Momento angular y rotaciones
para un sistema arbitrario.
En esta seccion deniremos los operadores de rotaci on y de momentum angular para un
sistema cu antico arbitrario. Tambien deniremos que son operadores escalares y vectoriales
de acuerdo con su transformaci on bajo rotaciones. Al nal trataremos con sistemas cu anticos
invariantes bajo rotaciones.
Comenzaremos introduciendo el operador rotaci on para un sistema de dos partculas sin
espn. Llamaremos c
()
al espacio de estados de la partcula -esima y L
()
= R
()
P
()
a
su momento angular. El operador de rotaci on en el espacio de estados c
()
es
1
n,()
() = exp
_
n L
()
_
. (1.103)
El espacio de estados del sistema es el producto tensorial de espacios c = c
1
c
2
. Supongamos
ahora que el estado del sistema es de la forma [) = [
1
) [
2
) y rotamos ambas partculas
[) = [
1
) [
2
)
R
n
()
[
) = [
1
) [
2
)
[
) = (R
n,(1)
() [
1
)) (R
n,(2)
() [
2
))
=
_
exp
_
n L
(1)
_
exp
_
n L
(2)
__
[
1
) [
2
)
= exp
_
n (L
(1)
+L
(2)
)
_
[
1
) [
2
) ,
luego el operador de rotaci on del sistema es
1
n
() = exp
_
n L
_
con L = L
(1)
+L
(2)
(1.104)
Esta construccion es valida aunque el estado de partida sea una combinaci on lineal de estados
producto tensorial.
Para un sistema arbitrario, no necesariamente con an alogo cl asico, razonaremos directa-
mente en su espacio de estados c. Asumiremos que un operador R
n
() puede asociarse con
cada rotaci on 1
n
() del sistema,
[)
R
n
()
[
) = R
n
() [) , (1.105)
de tal forma que los operadores R
n
() son lineales, unitarios y constituyen una representaci on
del grupo de rotaciones.
Para denir el momento angular del sistema consideraremos una rotaci on innitesimal y
el siguiente teorema.
Teorema 1.22.
Una rotaci on innitesimal puede escribirse como
R
n
() = 1
[
n J . (1.106)
Para demostrar este teorema partiremos de la siguiente identidad para el operador rotaci on
en R
3
,
1
u
1
(n
1
)1
u
2
(n
2
)1
u
3
(n
3
) = 1
n
() + O(
2
) con n n
i
u
i
.
Esta identidad puede demostrarse facilmente aplic andola a un vector r y usando la expresi on
para las rotaciones innitesimales (1.92) . El operador rotaci on asociado a la rotaci on in-
nitesimal 1
u
i
(n) podemos escribirlo como R
u
i
(n) = 1
[
inJ
i
/. Por ser una repre-
sentacion de las rotaciones los operadores de rotaci on heredan la propiedad arriba enunciada
y obtenemos nalmente R
n
() = R
u
1
(n
1
)R
u
2
(n
2
)R
u
3
(n
3
) = 1
[
i n J/.
Demostraremos a continuaci on que el operador J es un operador de momentum angular.
Teorema 1.23.
El operador J denido por (1.106) es hermtico, J
= J .
Demostraci on: por ser R

n
() un operador unitario se cumple que
R
1
n
() R
n
() = R
n
() 1
[
+
i
n J = 1
[
+
i
n J
= J .
Teorema 1.24.
El operador J denido por (1.106) satisface
[J
i
, J
j
] = i
ijk
J
k
. (1.107)
Veamos la demostraci on. Como los operadores R

n
() son una representaci on de las rotaciones
heredan la propiedad (1.94),
R
e
2
(
)R
e
1
()R
e
2
(
)R
e
1
() = R
e
3
(
) . (1.108)
Esta propiedad conduce a relaciones de conmutaci on para J,
_
1
[
+
i
e
2
J
__
1
[
e
1
J
__
1
[
e
2
J
__
1
[
+
i
e
1
J
_
=
_
1
[
+
i
e
2
J
i
e
1
J +

2
e
2
J e
1
J
_

_
1
[
e
2
J +
i
e
1
J +

2
e
2
J e
1
J
_
=
1
[
+

2
[J
2
J
1
J
2
J
1
J
1
J
2
+ J
2
J
1
] = 1
[
2
[J
1
, J
2
]
Pero R
e
3
(
) = 1
[
J
3
luego [J
1
, J
2
] = iJ
3
y de aqu se obtiene (1.107).
El hecho de que el operador J sea hermtico y satisfaga las relaciones de conmutaci on
(1.107) signica que se trata de un operador de momentum angular. Lo tomaremos como
el momento angular del sistema. Siguiendo un c alculo parecido al del caso de una partcula
podemos escribir el operador asociado a una rotaci on nita como
R
n
() = exp[
i
n J] . (1.109)
A continuaci on deniremos que entenderemos por operadores escalares y vectoriales bajo
rotaciones. Los operadores observables del sistema transforman de acuerdo a
A
R
n
()
A
= R
n
()AR
n
()
(1.110)
y si la rotaci on es innitesimal, como (1.106), entonces
A
= A
i
[ n J, A] . (1.111)
Denici on de operador escalar. Diremos que un operador A es escalar si no cambia
frente a cualquier rotaci on
A es escalar A
= A R
n
() [A, J
i
] = 0 i = 1, 2, 3 . (1.112)
Denici on de operador vectorial. Diremos que una terna de operadores V = (V
x
, V
y
, V
z
)
es un operador vectorial si transforma igual que el operador posici on para una partcula sin
espn, i.e.,
R
n
() V e R
n
() = V (1
n
() e) . (1.113)
Esta condici on equivale a
[J
i
, V
j
] = i
ijk
V
k
. (1.114)
Para demostrar la equivalencia de las dos armaciones anteriores partiremos de (1.113)
tomando una rotaci on innitesimal. Es claro que si (1.113) vale para rotaciones innitesi-
males tambien vale para rotaciones nitas, luego (1.113) es cierta si y solo si se cumple
1
n
()r = r + n r y R
n
() = 1
[
n J luego
_
1
[
n J
_
V e
_
1
[
+
i
n J
_
= V ( e + n e)
V e +
i
[V e n J n J V e] = V e + ( n e) V
[ n J, V e] = i( n e) V [J
i
, V
j
] = i
ijk
V
k
.
Como ejemplos tenemos que J
2
es un operador escalar y J es un operador vectorial. Si
el sistema es de una partcula los operadores R
2
, P
2
y R P son escalares y los operadores
R y P son vectoriales.
Como tema ultimo en esta secci on estudiaremos los sistemas aislados y la conservaci on
del momentum angular. Si rotamos instant aneamente un sistema su estado y observables
cambian de acuerdo a
[)
R
n
()
[
) = R
n
() [) , A
R
n
()
A
= R
n
()AR
n
()
.
Si el sistema sin rotar evoluciona con el Hamiltoniano H desde el estado [)
t
0
al estado
[)
t
demostremos que el sistema rotado evoluciona con el Hamiltoniano H
desde el estado
[
)
t
0
al estado [
)
t
. La situaci on se resume en el siguiente diagrama.
[)
t
0
[)
t
[
)
t
0
= R
n
() [)
t
0
[
)
t
= R
n
() [)
t
evolucion con H evolucion con H
rotaci on 1
n
()
rotaci on 1
n
()
[)
t
0
+dt
= [)
t
0
+
_
dt
i
_
H [)
t
0

R
n
() [)
t
0
+dt
= R
n
() [)
t
0
+
_
dt
i
_
R
n
()HR
n
()R
n
() [)
t
0

[
)
t
0
+dt
= [
)
t
0
+
_
dt
i
_
H
)
t
0
.
Si suponemos que el espacio es isotropico y el sistema est a aislado uno espera que la
evoluci on temporal no sea afectada, el sistema rotado y el sistema sin rotar deben evolucionar
con el mismo Hamiltoniano, esto es H = H
. Para un sistema aislado el Hamiltoniano es

un operador escalar y por lo tanto [H, J
i
] = 0; como consecuencia el operador J es una
constante de movimiento y puede diagonalizarse simult aneamente con el Hamiltoniano.
Apendices
1.A Mediciones de L
2
y L
z
en la
representacion de coordenadas.
En este apendice estudiaremos como calcular las probabilidades para una medida de los
operadores L
2
y L
z
en el caso en que el estado del sistema de una partcula este dado como
una funcion de onda en la representaci on de coordenadas.
La funcion de onda de la base est andar es
k,l,m
(r) = R
k,l
(r) Y
m
l
(, ) = R
k,l
(r) Z
l,m
()
e
im
2
, (1.A.1)
donde se encuentran separadas las variables r, y . Recordemos que as como las funciones
R
k,l
(r) Y
m
l
(, ) son una base para las funciones de onda (r) los arm onicos esfericos son
una base para las funciones de la forma g(, ), mientras que las funciones que dependan
de pueden expandirse como una serie de fourier en funci on de exp(im)/
2. Podemos
entonces escribir
(r) =
m
a
m
(r, )
e
im
2
=
l,m
b
l,m
(r)Y
m
l
(, ) =
k,l,m
c
k,l,m
R
k,l
(r) Y
m
l
(, ) . (1.A.2)
Para obtener los coecientes de las expansiones podemos utilizar la ortonormalidad de las
distintas bases
_
d
3
r
,l
,m
(r)
k,l,m
(r) =
kk

ll

mm
, (1.A.3a)
_
2
0
d
_

0
d sen Y
l
(, ) Y
m
l
(, ) =
ll

mm
, (1.A.3b)
_
2
0
d
_
e
im
2
__
e
im
2
_
=
mm
. (1.A.3c)
De estas relaciones de ortonormalidad las funciones R
k,l
(r) y Z
l,m
() heredan las siguientes
propiedades
_

0
dr r
2
R
,l
(r)R
k,l
(r) =
kk
, (1.A.4a)
_

0
d sen Z
m
l
() Z
m
l
() =
ll
. (1.A.4b)
Usando (1.A.3) podemos obtener los coecientes en (1.A.2)
c
k,l,m
=
_
d
3
r
k,l,m
(r)(r) , (1.A.5a)
b
l,m
(r) =
_
2
0
d
_

0
d sen Y
m
l
(, ) (r) =
k
c
k,l,m
R
k,l
(r) , (1.A.5b)
a
m
(r, ) =
_
2
0
d
_
e
im
2
_
(r) =
k,l
c
k,l,m
R
k,l
(r)Z
l,m
() . (1.A.5c)
Para calcular las probabilidades al medir L
2
y L
z
haremos primero dos peque nos calculos
donde usaremos (1.A.4) y (1.A.5).
_

0
dr r
2
[b
l,m
(r)[
2
=
k,k
,l,m
c
k,l,m
_

0
dr r
2
R
,l
(r)R
k,l
(r) =
k
[c
k,l,m
[
2
.
_

0
dr
_

0
d r
2
sen [a
m
(r, )[
2
=
,l
,k,l
c
,l
,m
c
k,l,m
_

0
dr r
2
R
,l
(r)R
k,l
(r)
_

0
d sen Z
m
l
() Z
m
l
() =
k,l
[c
k,l,m
[
2
.
En consecuencia si para el estado medimos simult aneamente L
2
y L
z
la probabilidad de
obtener l(l + 1)
2
y m respectivamente es
P
l,m
=
1
[)
k
[c
k,l,m
[
2
=
1
[)
_

0
dr r
2
[b
l,m
(r)[
2
. (1.A.6)
Por ultimo la probabilidad de obtener m si solo se mide L
z
es
P
m
=
1
[)
k,l
[c
k,l,m
[
2
=
1
[)
_

0
dr
_

0
d r
2
sen [a
m
(r, )[
2
. (1.A.7)
1.B Producto tensorial de espacios vectoriales.
En muchas ocasiones nos encontraremos con sistemas fsicos compuestos de varios subsis-
temas, por ejemplo cuando tratamos con un sistema de varias partculas. En tales ocasiones
sera necesario introducir la idea de producto tensorial de espacios vectoriales para construir
el espacio de estados global del sistema a partir del conocimiento de los espacios de estados
individuales de cada subsistema.
Sean N espacios vectoriales c
i
, i = 1, . . . , N. Construimos el espacio vectorial producto
tensorial de los anteriores de la siguiente manera:
1) Cada N-pla de vectores ( [
1
), . . . , [
N
)) con [
i
) c
i
es un elemento de c y lo
denotaremos de cualquiera de las siguientes tres formas:
( [
1
), . . . , [
N
)) = [
1
, . . . ,
N
) = [
1
) . . . [
N
) .
Diremos de cada una de estas N-plas que es un producto tensorial de vectores.
2) Dotaremos el espacio con las operaciones de producto por escalar y suma de vectores.
Completamos los elementos de c diciendo que pertenecen a este espacio todas las combina-
ciones lineales formadas con vectores producto tensorial. Por ejemplo
1
[
1
, . . . ,
N
) +
2
[
1
, . . . ,
N
) +
3
[
1
, . . . ,
N
) c .
3) Declararemos iguales los siguientes vectores del espacio:
[
1
, . . . ,
i
, . . . ,
N
) = [
1
, . . . ,
i
, . . . ,
N
) i = 1, . . . , N , (1.B.1)
[
1
, . . . ,
i
+
i
, . . . ,
N
) = [
1
, . . . ,
i
, . . . ,
N
) + [
1
, . . . ,
i
, . . . ,
N
) . (1.B.2)
4) Dotaremos al espacio c de un producto interno heredado de los productos internos de
cada espacio c
i
. Para dos vectores producto tensorial denimos
1
, . . . ,
N
[
1
, . . . ,
N
)
N
i=1
i
[
i
) . (1.B.3)
Para los vectores que son combinaciones lineales de productos tensoriales imponemos que el
producto interior sea antilineal en la primera entrada y lineal en la segunda,
j
1
,...,j
N
d
j
1
,...,j
N
j
1
,...,j
N
[
i
1
,...,i
N
c
i
1
,...,i
N
i
1
,...,i
N
)
=
j
1
,...,j
N
i
1
,...,i
N
d
j
1
,...,j
N
c
i
1
,...,i
N
j
1
,...,j
N
[
i
1
,...,i
N
) . (1.B.4)
Es claro que el conjunto c denido es un espacio vectorial. Tambien es claro que con
cada vector en c podemos asociar un bra de tal manera que
[
1
, . . . ,
1
) = ( [
1
), . . . , [
N
))
1
, . . . ,
1
[ = (
1
[ , . . . ,
N
[ ) . (1.B.5)
El siguiente teorema nos dice como construir una base en c conocidas las bases en los c
i
.
Teorema 1.25.
Sea el conjunto [u
(i)
j
)/j = 1, . . . , d
i
una base ortonormal en c
i
con d
i
la dimensi on del
espacio vectorial c
i
. Entonces el conjunto de vectores de c
[U
j
1
,...,j
N
) [u
(1)
j
1
, . . . , u
(N)
j
N
) / j
i
= 1, . . . , d
i
(1.B.6)
es una base ortonormal en c. Como una consecuencia se cumple que
Dimension(c) =
N
i=1
Dimension(c
i
) . (1.B.7)
Demostraci on. Primero veamos que el conjunto es ortonormal

U
j
1
,...,j
N
[U
j
1
,...,j
N
) =
N
i=1
u
(i)
j
i
[u
(i)
j
i
) =
N
i=1
i
,j
i
.
Como consecuencia el conjunto es linealmente independiente. Veamos ahora que cualquier
vector de c se escribe como una combinaci on lineal de los vectores [U
j
1
,...,j
N
). Para los
vectores de c que son producto tensorial se cumple se pueden escribir como combinaciones
lineales de estos vectores,
[
1
, . . . ,
N
) = [
j
1
c
(1)
j
1
u
(1)
j
1
, . . . ,
j
N
c
(N)
j
N
u
(N)
j
N
) =
j
1
,...,j
N
c
(1)
j
1
. . . c
(N)
j
N
[U
j
1
,...,j
N
) .
El resto de vectores de c se escriben como combinaciones lineales de vectores producto
tensorial y en consecuencia como combinaciones lineales de los vectores [U
j
1
,...,j
N
).
Comentario 1.5. Existen vectores en c que no pueden escribirse como un
producto tensorial de estados sino como combinaciones lineales de vectores
producto tensorial. Veamos un ejemplo. Tomemos dos vectores [u) y [v) no
nulos, ortogonales entre si y pertenecientes al espacio vectorial c
. El vector
[) [u) [v) + [v) [u) pertenece a c = c
y no puede escribirse
como un producto tensorial. Intentemoslo considerando el producto tensorial
(
1
[u) +
2
[v)) (
1
[u) +
2
[v)) =
1
2
[u) [v)+
1
[v) [u) +
1
1
[u) [u) +
2
2
[v) [v) ,
para obtener el estado que queremos debe cumplirse que
1
2
= 1,
2
1
= 1,
1
= 0 y
2
2
= 0 lo cual es imposible.
Un aspecto interesante del espacio producto tensorial es que se pueden extender al mismo
los operadores lineales que act uan dentro de cada uno de los espacios que lo componen. Dado
el operador lineal A : c
i
c
i
denimos el operador A
[i]
como un operador lineal que satisface
A
[i]
: c c / A
[i]
[
1
, . . . ,
i
, . . .
N
) = [
1
, . . . , A
i
, . . .
N
) . (1.B.8)
Aunque en esta ocasi on distinguimos con smbolos distintos el operador A y su extension A
[i]
en muchas ocasiones los denotaremos con el mismo smbolo. Es f acil darse cuenta que si en
cada espacio c
i
tenemos un C.C.O.C. la uni on de las extensiones de todos estos conjuntos de
operadores forman un C.C.O.C en c, ya que la base propia queda unicamente determinada
salvo factores de fase.
Veamos a continuaci on dos ejemplos importantes de producto tensorial de estados.
Ejemplo 1.1 (c
r
= c
x
c
y
c
z
).
Sean c
x
, c
y
y c
z
los espacios de estados de funciones dependientes de las variables x, y
y z respectivamente (por supuesto estos tres espacios son isomorfos). Sea tambien c
r
el
espacio de estados de funciones complejas con dominio igual a R
3
. Vamos a demostrar que
c
r
= c
x
c
y
c
z
.
Sea el conjunto u
i
(x) / i = 1, 2, . . . las funciones de onda de una base ortonormal en
c
x
. Cualquier funcion g(r) c
r
para y y z jos es una funcion de c
x
y por lo tanto puede
descomponerse en esta base
g(r) =
i
a
i
(y, z)u
i
(x) .
Similarmente las funciones a
i
(y, z) para z jo pertenecen a c
y
y por lo tanto pueden des-
componerse como combinaciones lineales de las funciones u
i
(y). En consecuencia podemos
escribir
a
i
(y, z) =
j
a
i,j
(z)u
j
(y) =
j,k
a
i,j,k
u
j
(y)u
k
(z) ,
luego
g(r) =
i,j,k
a
i,j,k
u
i
(x) u
j
(y) u
k
(z) . (1.B.9)
Hemos demostrado que las funciones de c
r
se escriben como combinaciones lineales de las ter-
nas u
i
(x), u
j
(y), u
k
(z) formadas con las bases ortonormales de c
x
, c
y
y c
z
. en consecuencia
c
r
= c
x
c
y
c
z
.
Veamos como se relacionan las bases de la representaci on de coordenadas de los espacios
con los cuales estamos tratando. Como
r
[r) =
3
(r
r) = (x
[ y
[ z
[ )( [x) [y) [z))

entonces
[r) = [x) [y) [z) . (1.B.10)
Veamos a continuaci on como se escribe el ket correspondiente a la funci on g(r) independien-
temente de su representacion de coordenadas. De la ecuaci on (1.B.9) se obtiene
r[g) =
_
x[ y[ z[
__
i,j,k
a
i,j,k
[u
i
) [u
j
) [u
k
)
_
,
por lo cual
[g) =
i,j,k
a
i,j,k
[u
i
) [u
j
) [u
k
) . (1.B.11)
Las constantes a
i,j,k
pueden usarse para denir a la funci on g(r).
Podemos ver una peque na aplicaci on del formalismo desarrollado en este ejemplo. Sean
H
x
, H
y
y H
z
operadores observables en los espacios c
x
, c
y
y c
z
respectivamente, con bases
y vectores propios dados por
H
x
[
a
) = E
x,a
[
a
) , H
y
[
b
) = E
y,b
[
b
) , H
z
[
c
) = E
z,c
[
c
) .
Entonces el operador H = H
x
+H
y
+H
z
que act ua sobre c
r
es un operador observable con
base propia y vectores propios dados por
H [
a
) [
b
) [
c
) = (E
x,a
+ E
y,b
+ E
z,c
) [
a
) [
b
) [
c
)
Si llamamos
a
(x),
b
(y) y
c
(z) a las funciones de onda de los autoestados de H
x
, H
y
y H
z
entonces la funcion de onda de los autoestados de H es
r[
a
,
b
,
c
) =
a
(x)
b
(y)
c
(z) .
Ejemplo 1.2 (Sistema de dos partculas sin espn).
Para describir el estado cu antico de un sistema de dos
partculas generalizaremos el concepto de funci on de onda
de una partcula. La funci on de onda del sistema en un
instante ser a representada por una funci on de 6 variables
espaciales (r
1
, r
2
) = (x
1
, y
1
, z
1
, x
2
, y
2
, z
2
) de tal forma
que dp = c[(r
1
, r
2
)[
2
d
3
r
1
d
3
r
2
, con c una constante posi-
tiva, sea igual a la probabilidad de encontrar a la partcula
#1 en una caja de volumen d
3
r
1
en el punto r
1
y a la
partcula #2 en una caja de volumen d
3
r
2
en el punto r
2
(ver gura).
r
1
r
2
d
3
r
1
d
3
r
2
O
La constante c se determina haciendo que la probabilidad total sea 1,
1 = c
_
[(r
1
, r
2
)[
2
d
3
r
1
d
3
r
2
. (1.B.12)
Es claro que el espacio de estados del sistema es el producto tensorial de los espacios
de estados individuales de cada partcula, c = c
(1)
c
(2)
. La base de la representaci on de
coordenadas en c esta compuesta por los kets [r
1
, r
2
) = [r
1
) [r
2
).
Denamos a continuaci on los operadores de posici on y momento conjugado asociados
con la posici on de cada partcula. Los operadores de posici on R
= (X
()
, Y
()
, Z
()
) y
momentum lineal P
= (P
()x
, P
()y
, P
()z
) de cada partcula se denen de la manera usual,
R
(r
1
, r
2
) = r
(r
1
, r
2
) , P
(r
1
, r
2
) = i
r
(r
1
, r
2
) ; = 1, 2 . (1.B.13)
Estos operadores satisfacen el algebra usual de operadores de posici on y momentum con el
agregado de que los operadores correspondientes a distintas partculas conmutan,
[X
()j
, P
()k
] = i
jk
, [X
()j
, X
()k
] = [P
()j
, P
()k
] = 0 . (1.B.14)
En la expresion anterior los ndices latinos toman valores del conjunto 1, 2, 3 relacionado
con las direcciones cartesianas y los ndices griegos del conjunto 1, 2 asociado a los nombres
de las partculas.
Captulo 2
Potencial central. El atomo de hidr ogeno.
En este captulo estudiaremos el problema de dos partculas que interact uan por medio de
un potencial central. Trataremos el problema de separaci on de variables en coordenadas
del centro de masa y posici on relativa. Luego resolveremos el problema de autovalores del
Hamiltoniano en la representaci on de coordenadas utilizando una base est andar para un
momentum angular orbital. Como una aplicaci on del formalismo estudiaremos en detalle los
estados con energa denida del atomo de hidr ogeno y luego el desdoblamiento de los niveles
de energa debido a la acci on de un campo magnetico uniforme (efecto Zeeman normal).
Por ultimo, en un apendice, estudiaremos el problema de la representaci on matricial de los
operadores escalares y vectoriales (teorema de Wigner-Eckart).
clasico de dos partculas aisladas.
En esta seccion estudiaremos el problema Hamiltoniano de un sistema de dos partculas
clasicas aisladas. Deniremos los vectores posici on relativa, posici on del centro de masa y
sus momentos conjugados. Veremos que en las nuevas variables el problema es separable.
Comenzaremos haciendo el cambio de variables invertible (r
1
, r
2
) (r
c
, r), ver gura,
con
r
c
=
M
1
r
1
+ M
2
r
2
M
1
+ M
2
, r = r
1
r
2
r u
r
, (2.1)
r
1
= r
c
+

M
1
r , r
2
= r
c

M
2
r . (2.2)
Donde , la masa reducida del sistema, se dene por

M
1
M
2
M
1
+ M
2
. (2.3)
O
M
2
M
1
r
r
1
r
2
r
c
c.m.
Veamos que para el sistema de dos partculas el momentum angular respecto al origen,
la energa cinetica y el Hamiltoniano se separan en dos partes que se pueden asociar a dos
partculas cticias no interactuantes; una con la masa total del sistema M = M
1
+ M
2
y
47
vector posici on r
c
y la otra con masa y posicion r. En efecto, se cumple que la energa
cinetica del sistema y su momento angular respecto al origen se pueden escribir como
T =
1
2
M
1
[ r
1
[
2
+
1
2
M
2
[ r
2
[
2
=
1
2
M[ r
c
[
2
+
1
2
[ r[
2
, (2.4)
L
0
= M
1
r
1
r
1
+ M
2
r
2
r
2
= M r
c
r
c
+ r r . (2.5)
Como el sistema est a aislado su energa potencial es de la forma V ([r
1
r
2
[). En consecuencia
el Hamiltoniano del sistema es
H =
[p
c
[
2
2M
+
[p[
2
2
+ V (r) , (2.6)
donde
p
c
= p
1
+p
2
, p =
M
2
p
1
M
1
p
2
M
. (2.7)
Las ecuaciones de Hamilton, q
a
= H/p
a
y p
a
= H/q
a
, conducen a las ecuaciones
de movimiento cl asicas,
p
c
= M r
c
p
c
= Constante (2.8)
p = r p =
r
V (r) =
V (r)
r
u
r
F
1,2
(2.9)
con F
1,2
la fuerza sobre la partcula #1 debida a la #2. Es claro que que el momento angular
total L
0
es una constante de movimiento.
El Hamiltoniano es la suma de dos Hamiltonianos independientes:
H = H
c
+ H
r
, H
c

[p
c
[
2
2M
, H
r

[p[
2
2
+ V (r) . (2.10)
El Hamiltoniano H
c
conduce a las ecuaciones de evoluci on del centro de masa, ecuaciones
(2.8). Y el Hamiltoniano H
r
proporciona las ecuaciones (2.9) que dan la evoluci on del vector
r (posici on relativa entre las partculas). El Hamiltoniano H
r
tambien puede interpretarse
como el de una partcula de masa en un potencial central V (r). Es inmediato que las
ecuaciones de movimiento conducen a que el vector de momentum angular L = r p es una
constante de movimiento. Esto signica que el vector r(t) se encuentra siempre en un plano
constante que contiene al origen y es perpendicular al vector L.
Demostremos a continuaci on que la parte radial de las ecuaciones de movimiento se
obtiene del Hamiltoniano
H
=
p
2
r
2
+
L
2
2r
2
+ V (r) , (2.11)
C. Di Bartolo Potencial central. El atomo de hidrogeno. 49
con L constante. La energa de la partcula de masa es
E =

2
r
2
+ V (r) =

2
[ r u
r
+ r

u
r
[
2
+ V (r) =

2
( r
2
+ r
2
[
u
r
[
2
) + V (r) ya que
u
r

u
r
=
1
2
d
dt
u
r
u
r
= 0 , por otro lado [L[ = r[ u
r
( r u
r
+ r

u
r
)[ = r
2
[
u
r
[
luego E =

2
r
2
+
L
2
2r
2
+ V (r) , por lo cual H
=
p
2
r
2
+
L
2
2r
2
+ V (r) .
La ecuaci on de movimiento radial es
p
r
=
d
dr
_
L
2
2r
2
+ V (r)
_
con p
r
= r . (2.12)
Esta ecuacion de movimiento es igual a la de una partcula de masa sometida a un potencial
efectivo V
ef
= V (r) +L
2
/(2r
2
) para r 0 e innito para r < 0.
aislado de dos partculas sin espn.
En esta seccion deniremos los operadores posici on relativa, posici on del centro de masa y
sus momentos conjugados para un sistema de dos partculas sin espn. Luego, para el caso
de un sistema aislado de dos partculas escribiremos el Hamiltoniano en las nuevas variables.
Comencemos analizando el espacio de funciones de onda del sistema en la representaci on
de coordenadas. El espacio de estados del sistema es c = c
1
c
2
y las funciones de onda
que describen el sistema son de la forma = (r
1
, r
2
). Si hacemos el cambio de variables
(2.2) la funci on de onda se puede escribir como
(r
c
, r) (r
1
(r
c
, r), r
2
(r
c
, r)) . (2.13)
Esta ecuacion muestra que el espacio de estados se puede descomponer como un producto
tensorial distinto al de partida,
c = c
1
c
2
= c
rc
c
r
. (2.14)
Notese que la ecuacion (2.13) relaciona dos representaciones de coordenadas, las representa-
ciones (r
c
, r) y (r
1
, r
2
), para el mismo vector. Esto signica que la ecuaci on puede escribirse
como
r
c
, r[) = r
1
(r
c
, r), r
2
(r
c
, r)[) [) , (2.15)
con [r
c
), [r), [r
1
) y [r
2
) las bases de coordenadas de los espacios c
rc
, c
r
, c
1
y c
2
respectivamente. Se cumple entonces que
[r
c
) [r) = [r
1
(r
c
, r))
[r
2
(r
c
, r)) , (2.16)
donde los productos tensoriales (con y sin prima) pertenecen a productos tensoriales de
distintos pares de espacios.
Los operadores de posici on y momentum lineal de cada partcula, R
= (X
()
, Y
()
, Z
()
)
y P
= (P
()x
, P
()y
, P
()z
), se denen de la manera usual,
R
(r
1
, r
2
) = r
(r
1
, r
2
) , P
(r
1
, r
2
) = i
r
(r
1
, r
2
) ; = 1, 2 . (2.17)
El algebra de estos operadores viene dada por las ecuaciones (1.B.14). Tambien podemos
denir operadores de posici on y momentum lineal en los espacios c
rc
(posici on del centro de
masa) y c
r
(posici on relativa entre las partculas), tales que al extenderlos a c su accion es
R
c
(r
c
, r) = r
c
(r
c
, r) , P
c
(r
c
, r) = i
rc

(r
c
, r) , (2.18)
R
(r
c
, r) = r
(r
c
, r) , P
(r
c
, r) = i
r
(r
c
, r) . (2.19)
A las componentes de los nuevos operadores las denotaremos de la siguiente manera: R
c
=
(X
C1
, X
C2
, X
C3
), P
c
= (P
C1
, P
C2
, P
C3
), R = (X
1
, X
2
, X
3
), P = (P
1
, P
2
, P
3
). De la denicion
de estos operadores es inmediato que satisfacen la siguiente algebra de conmutadores,
[X
j
, P
k
] = [X
Cj
, P
Ck
] = i
jk
(2.20)
siendo nulos los dem as conmutadores entre estos mismos operadores.
Demostremos a continuaci on que los dos conjuntos de operadores est an relacionados, de
la misma manera en que lo est an cl asicamente, por las siguientes ecuaciones
R
c
=
M
1
R
1
+ M
2
R
2
M
1
+ M
2
, R = R
1
R
2
, (2.21)
P
c
= P
1
+P
2
, P =
M
2
P
1
M
1
P
2
M
1
+ M
2
. (2.22)
Para la demostraci on usaremos la denicion de los operadores y las ecuaciones (2.1) y (2.2).
R
c
(r
c
, r) = r
c
(r
c
, r) =
M
1
r
1
+ M
2
r
2
M
1
+ M
2
(r
1
, r
2
) =
M
1
R
1
+ M
2
R
2
M
1
+ M
2
(r
c
, r) ,
R
(r
c
, r) = r
(r
c
, r) = (r
1
r
2
)(r
1
, r
2
) = (R
1
R
2
)
(r
c
, r) ,
P
c
(r
c
, r) = i
rc
(r
1
, r
2
) = i
_
(r
1
, r
2
)
x
(1)j
rc
x
(1)j
+
(r
1
, r
2
)
x
(2)j
rc
x
(2)j
_
= i
r
1
(r
1
, r
2
) i
r
2
(r
1
, r
2
) = (P
1
+P
2
)
(r
c
, r)
P
(r
c
, r) = i
r
(r
1
, r
2
) = i
_
(r
1
, r
2
)
x
(1)j
r
x
(1)j
+
(r
1
, r
2
)
x
(2)j
r
x
(2)j
_
= i

M
1
r
1
(r
1
, r
2
) + i

M
2
r
2
(r
1
, r
2
) =
M
2
P
1
M
1
P
2
M
1
+ M
2
(r
c
, r) .
Veamos a continuaci on que el momentum angular y el Hamiltoniano del sistema cu antico
desacoplan de la misma manera como ocurre cl asicamente. Un peque no calculo permite
demostrar que el momentum angular satisface
J = L
1
+L
2
= R
c
P
c
+RP . (2.23)
Trivialmente los operadores L
c
R
c
P
c
y L R P son hermticos y satisfacen las
relaciones de conmutaci on que denen a un operador de momentum angular. Por otro lado,
luego de un poco de algebra se llega a que el Hamiltoniano cu antico se puede escribir como
H
[P
1
[
2
2M
1
+
[P
2
[
2
2M
2
+ V ([R
2
R
1
[) =
[P
c
[
2
2M
+
[P[
2
2
+ V ([R[) . (2.24)
Denimos los operadores
H
c
=
[P
c
[
2
2M
y H
r
=
[P[
2
2
+ V ([R[) , (2.25)
tales que H = H
c
+H
r
. Los Hamiltonianos H
c
y H
r
act uan solamente sobre la dependencia
de la funcion de onda en las variables r
c
y r respectivamente. Debido a esta raz on no s olo
conmutan entre s y con H sino que puede hallarse la base com un de los tres Hamiltonianos
estudiando por separado los problemas de autovalores de H
c
en el espacio c
c
y de H
r
en c
r
.
La base propia del Hamiltoniano H
c
es la base de momentos en c
c
,
P
c
[k)
c
= (P
1
+P
2
) [k)
c
= k [k)
c
, (2.26)
H
c
[k)
c
=

2
k
2
2M
[k)
c
. (2.27)
Las autofunciones representan una partcula cticia de masa M y con momentum denido
igual al momentum neto del sistema; corresponde a la soluci on clasica del centro de masa del
sistema moviendose con velocidad constante. En la proxima seccion estudiaremos el prob-
lema de autovalores del Hamiltoniano H
r
, por ahora llamaremos [
n
) y E
n
a los autovectores
y autovalores de H
r
en c
r
,
H
r
[
n
) = E
n
[
n
) , (2.28)
entonces los autoestados y autovalores propios del Hamiltoniano H vienen dados por
H [k)
c
[
n
) =
_
2
k
2
2M
+ E
n
_
[k)
c
[
n
) . (2.29)
En la representacion de coordenadas las autofunciones del Hamiltoniano H son
k,n
(r
c
, r) r
c
, r[ ( [k)
c
[
n
)) =
1
(2)
3/2
e
ikrc
n
(r) , (2.30)
donde
n
(r) r[
n
).
2.3 La ecuaci on radial para un potencial central.
En el problema de dos partculas que interact uan por medio de un potencial central el Hamil-
toniano se divide en dos Hamiltonianos independientes, el Hamiltoniano H
c
que proporciona
el movimiento del centro de masa (estudiado en la secci on anterior) y el Hamiltoniano H
r
que
tiene que ver con el movimiento relativo entre las partculas. En esta seccion estudiaremos
las autofunciones del Hamiltoniano H
r
, este problema es equivalente al problema de una
partcula (de masa igual a la masa reducida del sistema de dos partculas) colocada en un
potencial central.
Queremos plantear el problema de autovalores del Hamiltoniano H
r
en la representacion
de coordenadas. Es claro de (1.8) que el operador de momentum angular L = RP satisface
[R
2
, L
j
] = [P
2
, L
j
] = 0 por lo cual [H
r
, L
j
] = 0. Esto signica que podemos conseguir una
base estandar que sea propia del conjunto de operadores H
r
, L
2
, L
z
. Para hallar la parte
radial de la base est andar escribiremos el problema de autovalores Hamiltoniano en las
coordenadas esfericas de la representacion de coordenadas. Tenemos que
P
2
(r) =
2
2
(r) =
2
r
2
_
r

2
r
2
(r(r)) +
_
2
+
1
tg()
+
1
sen
2
()
2
_
(r)
_
y comparando con la expresi on en esfericas para L
2
(1.48) obtenemos
P
2
(r) =
2
r
2
r
2
(r(r)) +
L
2
r
2
(r) . (2.31)
Luego el Hamiltoniano en la representaci on de coordenadas act ua as
H
r
(r) =

2
2r
2
r
2
(r(r)) +
L
2
2r
2
(r) + V (r) (r) . (2.32)
Cuando se hace actuar este Hamiltoniano sobre las funciones de onda de la base est andar
k,l,m
(r) = R
k,l
(r)Y
m
l
(, ) los arm onicos esfericos factorizan
H
r

k,l,m
(r) = Y
m
l
(, )
_

2
2r
2
r
2
(rR
k,l
(r)) +
l(l + 1)
2
2r
2
R
k,l
(r) + V (r) R
k,l
(r)
_
,
raz on por la cual el problema de autovalores Hamiltoniano
H
r

k,l,m
(r) = E
k,l
k,l,m
(r) (2.33)
se convierte en una ecuaci on diferencial para R
k,l
(r),
_

2
2r
2
r
2
(rR
k,l
(r)) +
l(l + 1)
2
2r
2
R
k,l
(r) + V (r) R
k,l
(r)
_
= E
k,l
R
k,l
(r) . (2.34)
Esta ultima ecuaci on se conoce como la ecuaci on radial. Los autovalores de energa no
dependen del n umero cu antico m ya que los arm onicos esfericos factorizan a ambos lados de
(2.33) y desaparece la variable m de la ecuaci on radial.
Comentario 2.1 (Nombres de los n umeros cuanticos). Los n umeros
cuanticos que aparecen en los vectores de la base estandar propia del Hamil-
toniano H
r
reciben los siguientes nombres
k: N umero cu antico radial.
l: N umero cu antico azimutal.
m: N umero cu antico magnetico.
Unas palabras de precauci on son necesarias respecto a las soluciones de la ecuaci on radial.
Por tratarse de una ecuaci on diferencial de segundo orden tiene dos soluciones linealmente
independientes, sin embargo no nos interesan todas las soluciones por dos razones. En primer
lugar debemos descartar las soluciones que no produzcan funciones de onda de cuadrado
integrable, queremos soluciones que satisfagan la condici on de normalizaci on (1.65), esto es
_

0
dr r
2
R
k,l
(r)R
k
,l
(r) =
kk
. (2.35)
En segundo lugar la expresi on del Laplaciano en esfericas (que conduce a (2.31)) no est a
denida en el origen r = 0 y por esta raz on es posible que obtengamos soluciones espurias.
Conviene denir la funcion
kl
(r) rR
kl
(r), (2.36)
que hereda de R
k,l
(r) la siguiente condici on de normalizaci on
_

0
dr
k,l
(r)
k
,l
(r) =
kk
. (2.37)
En terminos de esta funcion la ecuacion radial toma la forma
_
2
2
d
2
dr
2
+
l(l + 1)
2
2r
2
+ V (r)
_
k,l
= E
k,l
k,l
(r) . (2.38)
Esta ecuacion diferencial equivale al problema de una partcula de masa en movimiento
unidimensional en un potencial V
ef
(r) = V (r) + l(l + 1)
2
/(2r
2
) para r 0 y V
ef
(r)
para r < 0. Para un valor dado de energa E
k,l
la ecuaci on radial tiene dos soluciones
linealmente independientes que escribiremos como
kl
(r) r R
kl
(r) = A
1,kl
(r) + B
2,kl
(r) . (2.39)
A continuaci on estudiaremos el comportamiento de las soluciones cerca del origen para
el caso
lim
r0
r
2
V (r) = 0 . (2.40)
Teorema 2.1.
Para el caso de un potencial que satisfaga la condici on (2.40) las dos soluciones indepen-
dientes de la ecuacion radial tienen el siguiente comportamiento cerca del origen
1,kl
(r)
r0
r
l+1
y
2,kl
(r)
r0
r
l
. (2.41)
Para demostrar el teorema supondremos que la soluci on de la ecuaci on radial admite un

desarrollo en serie de potencias cerca del origen, escribiremos el termino dominante como
R
kl
(r) = cr
s
, (
kl
= cr
s+1
). En este caso la ecuacion radial (2.34) conduce a
2
2
r
d
2
dr
2
(r
s+1
) +
_
l(l + 1)
2
2
+ r
2
V (r)
_
r
s
= E
k,l
r
s+2
2
2
r
s
[l(l + 1) (s + 1)s] = r
s
(r
2
E
k,l
r
2
V (r)) = O(r
s+2
) l(l + 1) = (s + 1)s
s = l o s = l 1 r
s+1
= r
l+1
o r
s+1
= r
l
.
Veamos que la soluci on
2
(r) r
l
no es aceptable. Para l ,= 0 la soluci on
2
(r) diverge
en el origen, no cumple con la condici on de normalizaci on (2.37) y debe ser descartada.
Para l = 0 la soluci on
2
1 conduce a R
k,l
(r) 1/r luego P
2
k,l,m
=
2
k,l,m

2
(Y
m
l
/r)
3
(r). Obtenemos una delta de Dirac que no puede ser compensada por
otros terminos del Hamiltoniano y por lo tanto no es una autofunci on del Hamiltoniano, la
solucion no es tal, es espuria. Para asegurarnos de seleccionar la soluci on aceptable
1
(r)
agregamos la condici on
k,l
(0) lim
r0
R
k,l
(r) = 0 . (2.42)
Notese que con esta condici on la soluci on de la ecuaci on radial es unica para un l y un E
k,l
dados. Esto signica que para los potenciales que satisfacen (2.40) el conjunto de operadores
H
r
, L
2
, L
z
forman un CCOC en el espacio de estados c
r
.
Comentario 2.2 (Degeneraci on esencial y accidental). Para k y l jos el
nivel de energa E
k,l
esta al menos 2l +1 veces degenerado debido a los valores
posibles del n umero cu antico m; a esta degeneraci on (independiente de V (r))
se le denomina esencial. Por otro lado para ciertos potenciales puede ocurrir
que existan niveles de energa que satisfagan E
k,l
= E
k
,l
(con l ,= l
); a esta
degeneracion la llamaremos accidental.
2.4 Estados ligados del atomo de hidr ogeno.
En esta seccion hallaremos los estados ligados (estados de energa denida y negativa) para
el atomo de hidr ogeno y estudiaremos algunas de sus caractersticas.
El atomo de hidr ogeno es un sistema de dos partculas cargadas en interacci on electro-
magnetica. Una de las partculas es un proton y la otra un electr on. Sus masas y cargas
vienen dadas por
Prot on: m
p
1.7 10
27
kg q
p
+1.6 10
19
C
Electron: m
e
0.91 10
30
kg q
e
1.6 10
19
C.
(2.43)
Notese que m
e
/m
p
1/1800, raz on por la cual la masa reducida del sistema pr acticamente
es igual a la masa del electr on.
=
m
e
m
p
m
e
+ m
p
m
e
_
1
m
e
m
p
_
. (2.44)
En el modelo cl asico la interacci on es esencialmente electrostatica con una energa po-
tencial dada por
V (r) =
q
2
p
4
0
1
r
=
e
2
r
, (2.45)
donde r es la distancia entre las dos partculas y
e
2
=
q
2
p
4
0
. (2.46)
Antes de estudiar el modelo cuantico trataremos con un modelo semi-cl asico desarrollado
por Bohr en la prehistoria de la mec anica cu antica. El modelo se conoce como el modelo de
Bohr para el atomo de hidr ogeno y lo presentamos porque a pesar de su sencillez proporciona
los valores de energa correctos para el atomo de hidr ogeno. El modelo parte de los siguientes
postulados:
i) Los electrones describen orbitas circulares de radio r alrededor del prot on.
ii) Si v es la rapidez relativa entre las dos partculas se cumple que
v
2
r
=
e
2
r
2
. (2.47)
Esto es equivalente a la segunda ley de Newton (ma = F).
iii) La energa del sistema en el referencial centro de masa es la energa cl asica
E =
1
2
v
2
e
2
r
. (2.48)
iv) El momentum angular en la direcci on perpendicular al plano de la orbita (direcci on

z
) esta cuantizado de acuerdo a
L
z
rv = n , n 1 y entero. (2.49)
Este ultimo postulado es una condici on de cuantizaci on introducida empricamente por
Bohr.
Se pueden despejar en funcion de n la velocidad, radio y energa de las orbitas permitidas
obteniendose que
v
n
=
v
0
n
; v
0
=
e
2
(2.50a)
r
n
= n
2
a
0
; a
0

2
e
2
0.52 A (2.50b)
E
n
=
E
I
n
2
; E
I

e
4
2
2
13.6 eV . (2.50c)
Hagamos la demostraci on.
(2.49) rv = n/ y (2.47) r = (rv)
2
/e
2
luego r =
n
2
2
e
2
y
v =
n
r
=
e
2
n
. (2.48) E =
1
2
_
e
2
n
_
2
e
2
n
2
2
e
2
=
e
4
2
2
n
2
.
A la cantidad a
0
se le llama radio de Bohr y a E
I
energa de ionizaci on. Esta ultima es
la energa que se le debe suministrar al atomo de hidr ogeno cuando se encuentre en su nivel
de mas baja energa o estado base (n = 1) para ionizarlo.
A continuaci on estudiaremos el problema cu antico del atomo de hidr ogeno. S olo ob-
tendremos los estados estacionarios con energa negativa (estados ligados). El apelativo de
ligados proviene del modelo cl asico donde los estados de energa negativa tienen un lmite
maximo para la separaci on entre las partculas.
Ya hemos visto que el conjunto de operadores H
r
, L
2
y L
z
(con L = RP) forman un
CCOC. La base propia com un es una base estandar cuyas funciones de onda
k,l,m
(r) =

k,l
(r)
r
Y
m
l
(, ) (2.51)
satisfacen las siguientes ecuaciones.
H
k,l,m
= E
k,l
k,l,m
; L
2
k,l,m
= l(l + 1)
2
k,l,m
; L
z
k,l,m
= m
k,l,m
(2.52)
_
2
2
d
2
dr
2
+
l(l + 1)
2
2r
2

e
2
r
_
k,l
(r) = E
k,l
k,l
(r) (2.53)
k,l
(0) = 0 . (2.54)
Para determinar completamente la base s olo nos falta resolver la ecuaci on radial (2.53).
Comencemos introduciendo las cantidades adimensionales

r
a
0
=
re
2
2
,
k,l
=
_
E
k,l
E
I
=
_
E
k,l
2a
2
0
2
(2.55)
y la funcion Y
k,l
() denida por
k,l
(r) = e
k,l
Y
k,l
() . (2.56)
Con todos estos cambios la ecuaci on radial se convierte en
_
d
2
d
2
2
k,l
d
d
+
_
2

l(l + 1)
2
__
Y
k,l
() = 0 . (2.57)
d
2
dr
2
k,l
(r) =
1
a
2
0
d
2
d
2
_
e
k,l
Y
k,l
()
_
=
1
a
2
0
d
d
_
(Y
k,l
Y
k,l
k,l
)e
k,l
=
1
a
2
0
_
Y
k,l
2Y
k,l
k,l
+
2
k,l
Y
k,l
k,l
luego la ecuaci on (2.53) conduce a
2
2
1
a
2
0
_
Y
k,l
2Y
k,l
k,l
+
2
k,l
Y
k,l
+
l(l + 1)
2
2a
2
0
2
Y
k,l
e
2
a
0
Y
k,l
=
2
k,l
2
2a
2
0
Y
k,l
pero e
2
/a
0
=
2
/(a
2
0
) por lo cual
_
Y
k,l
2Y
k,l
k,l
+
2
k,l
Y
k,l
l(l + 1)
2
Y
k,l
+
2Y
k,l
=
2
k,l
Y
k,l
y de aqu se obtiene nalmente (2.57).
Para resolver (2.57) usaremos un desarrollo en serie de potencias en la variable para la
funcion Y
k,l
(). Recordemos que para r peque no tenemos el comportamiento
k,l
(r) r
l+1
que implica Y
k,l

l+1
. En consecuencia buscamos una solucion en serie de potencias de la
forma
Y
k,l
() =
l+1
q=0
c
q
q
. (2.58)
Al introducir esta serie de potencias en la ecuacion (2.57) se obtiene la siguiente relaci on de
recurrencia para los coecientes c
q
q(q + 2l + 1)c
q
= 2[(q + l)
k,l
1]c
q1
(2.59)
La demostraci on viene a continuaci on .
Y
q=0
c
q
(q + l + 1)
q+l
Y
q=0
c
q
(q + l + 1)(q + l)
q+l1
que al sustituirse en (2.57) conduce a
q=0
c
q
(q + l + 1)(q + l)
q+l1
2c
q
(q + l + 1)
q+l
+ 2c
q
q+l
l(l + 1)c
q
q+l1
= 0
esto lleva a
q=1
c
q
q+l1
q(q + 2l + 1) + 2
q=0
c
q
q+l
[1 (q + l + 1)] = 0 ,
haciendo el cambio de variable q + 1 q en la segunda sumatoria obtenemos
q=1
q+l1
c
q
(q + 2l + 1) + 2c
q1
[1 (l + q)] = 0
y de aqu se obtiene (2.59).
Dando valores a
k,l
y c
0
la relacion (2.59) permite calcular todos los coecientes c
q
. La
serie (2.58) es convergente para cualquier ya que
lim
q
c
q
c
q1
= 0 . (2.60)
El comportamiento de las soluciones para impondr a condiciones de cuantizaci on
para la energa. Para demostrarlo supongamos que el factor [(q + l)
k,l
1] que acompa na
a c
q1
en (2.59) no se anula para valor alguno del entero q, entonces
c
q
c
q1
q
2
k,l
q
=
[2
k,l
]
q
/q!
[2
k,l
]
q1
/(q 1)!
luego
Y

l+1
q
(2
k,l
)
q
q!

q
=
l+1
e
2
k,l
que es una funcion divergente para y no puede ser normalizada. En consecuencia

los unicos valores posibles de
k,l
son aquellos para los cuales la serie tiene un n umero nito
de terminos. Llamaremos k al entero q para el cual se anula el factor de c
q1
en (2.59), i.e.
(k +l)
k,l
1 = 0. Para este valor de
k,l
se cumple que c
q
= 0 q k. Como c
0
,= 0 (de lo
contrario tendremos la funci on de onda nula) entonces los valores posibles de k son enteros
mayores o iguales a 1. En resumen para cada entero k 1 tenemos que
Y
k,l
=
k1
q=0
c
q
q+l+1
(2.61)
k,l
=
1
k + l
; k = 1, 2, ... (2.62)
y de (2.59)
c
q
=
2(k q)c
q1
q(q + 2l + 1)(k + l)
; q [1, k 1] . (2.63)
Tambien se puede demostrar (por inducci on completa) que
c
q
= (1)
q
_
2
k + l
_
q
(k 1)!
(k q 1)!
(2l + 1)!c
0
q!(q + 2l + 1)!
. (2.64)
Todos los coecientes c
q
son proporcionales a c
0
y el valor de c
0
puede determinarse por
normalizaci on salvo un factor de fase sin importancia.
A continuaci on estudiaremos la degeneraci on de los niveles de energa y deniremos el
n umero cu antico principal. De (2.55) y (2.62) obtenemos que la energa para el estado
k,l,m
(r) viene dada por
E
k,l
=
E
I
(k + l)
2
. (2.65)
Notese que para cada l existe un n umero innito de posibles energas (k=1,2,3,...) cada una
de ellas con una degeneraci on esencial de (2l + 1) correspondiendo a los distintos valores de
m (m = l, ..., l). Tambien existe una degeneraci on accidental, todos los pares de valores
(k, l) tales que la suma k + l conduzca al mismo valor corresponden a la misma energa.
Etiquetaremos los niveles de energa con el entero n = k + l que llamaremos n umero
cuantico principal.
E
n
=
1
n
2
E
I
; n = 1, 2, ... (2.66)
Cada valor de n caracteriza un nivel de energa. A los distintos niveles de energa suele
llam arseles capas electronicas. Para cada valor de energa (n jo) existe un n umero nito de
valores posibles de l.
l = 0, 1, ..., n 1 . (2.67)
Cada par de valores (n, l) dene un subespacio de energa denida E
n
y momento angular
L
2
igual a l(l + 1)
2
. Estos subespacios suelen recibir el nombre de subcapas electr onicas.
Para cada subespacio (n, l) o subcapa existen (2l +1) valores posibles de m. En consecuencia
la degeneraci on de la subcapa es 2l + 1 y la degeneraci on del nivel de energa E
n
es
Degeneraci on de E
n
=
n1
l=0
(2l + 1) = n
2
. (2.68)
Al hacer el cambio del n umero cu antico radial k al n umero cu antico principal n la base
estandar propia de H
r
, L
2
y L
z
toma la forma
n,l,m
(r) =
_
e
r/na
0
a
0
_
_
nl1
q=0
c
q
_
r
a
0
_
q+l
_
Y
m
l
(, ) (2.69)
con
c
q
= (1)
q
_
2
n
_
q
(n l 1)!
(n l 1 q)!
(2l + 1)!c
0
q!(q + 2l + 1)!
(2.70)
Comentario 2.3 (El radio de Bohr). Los elementos de la base est andar
para el atomo de hidr ogeno con l = n 1 son de la forma
n,l,m
(r)[
l=n1
=
_
e
r/na
0
a
0
_
c
0
_
r
a
0
_
n1
Y
m
n1
(, ) . (2.71)
En estos estados la probabilidad de que una medida de la distancia entre el
prot on y el electron de un valor entre r y r + dr es
dT = r
2
dr
_
[
n,l,m
[
2
d = [c
0
[
2
_
r
a
0
_
2n
e
2r/a
0
n
dr . (2.72)
Derivando esta probabilidad con respecto a r es inmediato demostrar que tiene
un maximo para el radio de Bohr r = n
2
a
0
Se escriben a continuacion algunas expresiones ya normalizadas para las funciones de
onda de la base est andar con valores bajos de n. Comencemos con los niveles 1s y 2s,
k=1,l=0,m=0
(r) =
n=1,l=0,m=0
(r) = (a
3
0
)
1/2
e
r/a
0
(2.73)
k=2,l=0,m=0
(r) =
n=2,l=0,m=0
(r) = (8a
3
0
)
1/2
_
1
r
2a
0
_
e
r/2a
0
. (2.74)
Y ahora con los niveles 2p,
k=1,l=1,m=1
(r) =
n=2,l=1,m=1
(r) =
1
8
_
a
3
0
r
a
0
e
r/2a
0
sen() e
i
(2.75a)
k=1,l=1,m=0
(r) =
n=2,l=1,m=0
(r) =
1
4
_
2a
3
0
r
a
0
e
r/2a
0
cos() (2.75b)
k=1,l=1,m=1
(r) =
n=2,l=1,m=1
(r) =
1
8
_
a
3
0
r
a
0
e
r/2a
0
sen() e
i
(2.75c)
Comentario 2.4 (Notaci on espectrosc opica). Por razones hist oricas an-
teriores a la mec anica cu antica se asocian letras con cada valor de l.
s : l = 0 ; p : l = 1
d : l = 2 ; f : l = 3 .
(2.76)
Para los valores de l que contin uan se sigue
el orden del alfabeto. Aqu presentamos un
gr aco de los pares posibles (n, l) o subcapas
para los primeros valores de n.
n
1
2
3
l
0 1 2
(s) (p) (d)
1s
2s
3s
2p
3p 3d
2.5 El efecto Zeeman normal.
En esta seccion estudiaremos la interacci on de un atomo de hidr ogeno con un campo mag-
netico, externo, cl asico, uniforme e intenso. En particular estudiaremos el desdoblamiento
de los niveles de energa debido al campo magnetico. No tomaremos en cuenta el espn de
las partculas as que nuestros c alculos no ser an exactos en algunos aspectos.
Al considerar un sistema de dos partculas cargadas en presencia de un campo magnetico
no se puede separar rigurosamente el movimiento del centro de masa y el movimiento relativo.
Sin embargo si en el sistema considerado una de las partculas es muy masiva (como en el caso
del atomo de hidr ogeno) esa partcula puede considerarse en reposo en el centro de masa del
sistema y despreciar el efecto del campo magnetico sobre ella (recuerdese que clasicamente
el modulo de la fuerza magnetica sobre una partcula cargada es proporcional a su rapidez).
En el problema cl asico de un electron cargado en presencia de un potencial V ([r[) y de
un campo electromagnetico con potencial (, A) el Hamiltoniano es
H
clasico
=
1
2m
e
[p qA(r, t)]
2
+ V (r) + q(r, t) . (2.77)
Si el campo electromagnetico se reduce a un campo magnetico uniforme y estacionario (E =
0, B = cte) podemos utilizar el calibre de Landau, dado por
= 0 , A =
1
2
r B (2.78)
por lo cual el Hamiltoniano se convierte en
H
clasico
=
1
2m
e
[p +
q
2
r B]
2
+ V (r) , (2.79)
donde V (r) es el potencial Coulombiano (2.45) si se trata de un atomo de hidr ogeno.
Como ya hemos anunciado estudiaremos el problema
de un atomo de hidr ogeno cu antico en presencia de un
campo magnetico B clasico (ver gura a la derecha).
Decimos entonces que nuestro tratamiento es semi-
clasico; el campo B sera un c-n umero (un n umero por el
operador identidad del espacio de estados). Tomaremos
al eje Z paralelo al campo B y no tomaremos en cuenta
ni el movimiento del prot on ni el espn de las partculas.

z
lneas
de campo
magnetico
atomo de
hidrogeno
electroiman
Usaremos como Hamiltoniano la versi on cuantica de H
clasico
H =
1
2m
e
_
P +
q
2
RB
_
2
+ V (R) . (2.80)
Demostremos a continuaci on que H se escribe como
H = H
r
B = H
r
P
B
D
B (2.81)
con H
r
el Hamiltoniano para el movimiento relativo del atomo de hidr ogeno sin campo
externo, el momento magnetico dado por
=
P
+
D
(2.82)
con
P
y
D
los momentos paramagnetico y diamagnetico respectivamente denidos por
P
=
q
2m
e
L ;
D
=
q
2
[R
[
2
8m
e
B. (2.83)
En la expresion anterior R
= X
2
+Y
2
es la proyeccion del operador Ral plano perpendicular
al campo magnetico. Sigue la demostraci on.
_
P +
q
2
RB
_
2
= P
2
+
q
2
P (RB) +
q
2
(RB) P +
1
4
q
2
[RB[
2
= P
2
+
qB
2
(P RRP) +
q
2
4
(R R B B (R B)
2
)
= P
2
qB L+
q
2
4
(R
2
B
2
z
2
B
2
) = P
2
qB L+
q
2
4
B
2
R
2
H = H
r
B
_
qL
2m
e
q
2
R
2
8m
e
B
_
.
Consideraremos un campo magnetico intenso con una magnitud aproximada de
B 10
5
Gauss = 10 W
b
/m
2
(2.84)
y estudiaremos los ordenes de magnitud de los distintos terminos del Hamiltoniano. Lla-
maremos
H
P
=
P
B =
q
2m
e
L B ; H
D
=
D
B =
q
2
R
2
8m
e
B
2
. (2.85)
Calculemos los valores esperados de H
r
, H
P
y H
D
para un estado con energa (denida
o no) cercana al estado base, y momentum angular (denido o no) con l alrededor de 1 y m
tambien. Entonces
< H
0
> E
I
, < H
P
>
qB
2m
e
, < H
D
>
q
2
B
2
8m
e
< R
2
>
q
2
B
2
8m
e
a
2
0
.
Luego
< H
P
>
< H
r
>

< H
D
>
< H
P
>
10
4
.
En consecuencia podemos despreciar el termino diamagnetico y aproximar el Hamiltoniano
cuantico a
H H
r
+ H
P
= H
r
q
2m
e
L
z
B. (2.86)
Para los estados con n umero cu antico l = 0 el termino paramagnetico es nulo y en esos casos
cobra importancia el termino diamagnetico.
Los autoestados de los Hamiltonianos H y H
r
son los mismos, s olo cambian los autova-
lores. Tenemos que
H [n, l, m) = E
n,m
[n, l, m) (2.87a)
E
n,m
= E
n
B
mB (2.87b)
donde
B
es el magneton de Bohr dado por
B
=
q
2m
e
. (2.88)
Los estados [n, l, m) son los mismos del atomo de hidr ogeno sin campo magnetico dados por
(2.69) y con energa E
n
= E
I
/n
2
.
Notese que el efecto del campo magnetico es desdoblar las subcapas en un n umero impar
de niveles de energa igualmente espaciados. La separaci on entre estos niveles de energa es
de
B
B, que es una cantidad muy peque na comparada con la separaci on entre los niveles
de energa de las primeras capas electr onicas. Como ejemplo el nivel 2p (n = 2, l = 1, m =
1, 0, 1) se desdobla de acuerdo al siguiente diagrama.
E
2
2p B
E
2
+
B
B (m = 1)
E
2
B
B (m = 1)
E
2
(m = 0)
Apendices
2.A El teorema de Wigner-Eckart.
El teorema de Wigner-Eckart trata de las representaciones matriciales de los operadores
tensoriales en los subespacios c(k, j), subespacios asociados con la base est andar propia de
los operadores J
2
y J
z
. En esta seccion trataremos solamente con el teorema de Wigner-
Eckart para operadores escalares y vectoriales.
2.A.1 Operadores escalares.
Ya hemos visto que un operador escalar conmuta con todas las componentes del operador
momentum angular. A continuaci on demostraremos que la matriz que representa a un
operador escalar en los subespacios c(k, j) es proporcional a la matriz identidad.
Consideremos la base est andar [k, j, m) propia de J
2
y J
z
. Se cumplen entonces los
siguientes lemas
Lema 1. Si A es un operador escalar entonces
k, j, m
[ A [k, j, m) =
m
m
k, j, m[ A [k, j, m) . (2.A.1)
Para demostrar el lema 1 partimos de que [A, J
z
] = 0, luego
0 = k, j, m
[ [A, J
z
] [k, j, m) = (mm
)k, j, m
[ A [k, j, m)
que conduce inmediatamente a (2.A.1).
Lema 2. Si A es un operador escalar entonces
k, j, m + 1[ A [k, j, m + 1) = k, j, m[ A [k, j, m) . (2.A.2)
Demostremos el lema 2 partiendo de que para un operador escalar [A, J
] = 0.
0 = k, j, m[ [A, J
]J
+
[k, j, m) = k, j, m[ (AJ
J
+
J
AJ
+
) [k, j, m)
A continuaci on usaremos la relaci on J
+
[k, j, m) =
_
j(j + 1) m(m + 1) [k, j, m+1) y la
identidad (1.23) J
J
+
= J
2
J
2
z
J
z
.
0 = k, j, m[ A(J
2
J
2
z
J
z
) [k, j, m)
2
[j(j + 1) m(m + 1)]k, j, m + 1[ A [k, j, m + 1)
0 =
2
[j(j + 1) m(m + 1)]
[k, j, m[ A [k, j, m) k, j, m + 1[ A [k, j, m + 1)]
y de aqu se obtiene (2.A.2).
Los lemas 1 y 2 dicen que la matriz que representa a un operador escalar Aen el subespacio
c(k, j) es diagonal y con todos los elementos de la diagonal iguales, esto es, se representa
como un n umero por la matriz identidad en c(k, j). Esto lo enunciaremos de una manera
mas tecnica en el proximo teorema, pero antes recordemos que el proyector al subespacio
c(k, j), que se representa como la matriz identidad en c(k, j), se escribe como
P
k,j

j
m=j
[k, j, m)k, j, m[ . (2.A.3)
Y la restriccion del operador A al subespacio c(k, j) es P
k,j
AP
k,j
.
Teorema 2.2 (Representaci on de un operador escalar en c(k, j)).
Si A es un operador escalar y P
k,j
es el proyector al subespacio c(k, j) entonces
P
k,j
AP
k,j
=< A >
k,j
P
k,j
(2.A.4)
donde < A >
k,j
es el valor esperado del operador A para cualquier vector arbitrario (no
nulo) de c(k, j).
Para la demostraci on usaremos los lemas 1 y 2.

P
k,j
AP
k,j
=
m,m
[k, j, m
)k, j, m
[ A [k, j, m)k, j, m[ =
m
k, j, j[ A [k, j, j) [k, j, m)k, j, m[ = k, j, j[ A [k, j, j)P
k,j
.
Por ultimo, para un estado arbitrario y normalizado de c(k, j) se cumple que
< A >
k,j
= [ A [) = [ P
k,j
AP
k,j
[)
= [ P
k,j
[)k, j, j[ A [k, j, j) = k, j, j[ A [k, j, j) .
2.A.2 Operadores vectoriales.
Recordemos que un operador V es un operador vectorial si y s olo si satisface las relaciones
de conmutaci on
[J
i
, V
j
] = i
ijk
V
k
. (2.A.5)
A continuaci on demostraremos que la matriz que representa a un operador vectorial en
c(k, j) es proporcional a la matriz que representa al operador J.
Para comenzar, dado un operador vectorial V denimos los operadores
V
= V
x
+ iV
y
con = . (2.A.6)
Demostremos que estos operadores satisfacen los siguientes conmutadores.
[J
z
, V
] = V
(2.A.7)
[J
, V
] = 2
,
V
z
(2.A.8)
La demostraci on se hace en las siguientes lneas.
[J
z
, V
] = [J
z
, V
x
] + i[J
z
, V
y
] = iV
y
+ V
x
= V
[J
, V
] = [J
x
+ i
J
y
, V
x
+ iV
y
] = i[J
x
, V
y
] + i
[J
y
, V
x
]
= (V
z
+
V
z
) = 2
,
V
z

Ahora enunciaremos y demostraremos varios lemas.
Lema 1. Si V es un operador vectorial se cumple que
k, j, m + [ V
[k, j, m
) =
m,m
k, j, m + [ V
[k, j, m) . (2.A.9)
Para demostrar este lema usaremos (2.A.7).
J
z
(V
[k, j, m
)) = [V
+ V
J
z
] [k, j, m
) = (m
+ )(V
[k, j, m
))
luego V
[k, j, m
) es propio de J
z
con autovalor (m
+ ) y en consecuencia (2.A.9) sigue

del hecho de ser [k, j, m + ) ortogonal a menos que m = m
.
k, j, m + [ V
[k, j, m) =
(k, j)k, j, m + [ J
[k, j, m) , (2.A.10)
donde
(k, j) es un n umero complejo que depende de k, j, y el operador V .

En la demostraci on de este lema usaremos (2.A.8) con
= .
k, j, m + 2[ J
[k, j, m) = k, j, m + 2[ V
[k, j, m)
pero
J
[k, j, m) = [k, j, m + )k, j, m + [ J
[k, j, m)
luego
k, j, m + 2[ J
[k, j, m + )k, j, m + [ V
[k, j, m) =
k, j, m + 2[ V
[k, j, m + )k, j, m + [ J
[k, j, m) .
Entonces
k, j, m + [ V
[k, j, m)
k, j, m + [ J
[k, j, m)
=
k, j, m + 2[ V
[k, j, m + )
k, j, m + 2[ J
[k, j, m + )
=
k, j, j[ V
[k, j, j )
k, j, j[ J
[k, j, j )
=
(k, j) .
Como una consecuencia de los dos lemas anteriores, es inmediato que si V es un operador
vectorial se cumple que
k, j, m
[ V
[k, j, m) =
(k, j)k, j, m
[ J
[k, j, m) . (2.A.11)
k, j, m
[ V
z
[k, j, m) =
mm
k, j, m[ V
z
[k, j, m) . (2.A.12)
0 = k, j, m
[ [J
z
, V
z
] [k, j, m) = (m
m)k, j, m
[ V
z
[k, j, m)
y de aqu se obtiene (2.A.12).
k, j, m
[ V
z
[k, j, m) = (k, j)k, j, m
[ J
z
[k, j, m) (2.A.13a)
y adem as
(k, j) =
+
(k, j) =
(k, j) . (2.A.13b)
En la demostraci on de este lema usaremos (2.A.8) con
= .
2k, j, m
[ V
z
[k, j, m) = k, j, m
[ [V
, J
] [k, j, m) =
(k, j)k, j, m
[ [J
, J
] [k, j, m)
donde usamos (2.A.11) y el hecho de que c(k, j) es invariante bajo la acci on de cualquier
componente de J. Luego de (1.24) tenemos que
2k, j, m
[ V
z
[k, j, m) = 2
(k, j)k, j, m
[ J
z
[k, j, m)
de donde se obtiene (2.A.13).
Del lema 4 y la ecuaci on (2.A.11) se obtiene que si V es un operador vectorial, se cumple
k, j, m
[ V [k, j, m) = (k, j)k, j, m
[ J [k, j, m) (2.A.14)
i.e. las representaciones matriciales de V y J en c(k, j) son proporcionales. El siguiente
teorema expresa este mismo hecho en terminos del operador proyector al subespacio c(k, j).
Teorema 2.3 (Representaci on de un operador vectorial en c(k, j)).
Si V es un operador vectorial y P
k,j
es el proyector al subespacio c(k, j), entonces
P
k,j
V P
k,j
=
k,j
P
k,j
J (2.A.15a)
con
k,j
=
< J V >
kj
2
j(j + 1)
, (2.A.15b)
donde < J V >
kj
es el valor esperado del operador J V para cualquier vector no nulo
de c(k, j). La relaci on (2.A.15b) se conoce con el nombre de Teorema de proyecci on.
Veamos la demostraci on del teorema.

P
k,j
V P
k,j
=
m,m
[k, j, m
)k, j, m
[ V [k, j, m)k, j, m[ =
(k, j)
m,m
[k, j, m
)k, j, m
[ J [k, j, m)k, j, m[ =
(k, j)P
k,j
JP
k,j
= (k, j)P
k,j
J
ya que [P
k,j
, J] = 0 por ser cerrada la acci on de J en c(k, j). Por otro lado
< J V >
kj
= (k, j) < J
2
>
kj
= (k, j)
2
j(j + 1)
2.B Resumen de funciones de onda
para el atomo de hidr ogeno.
En este apendice haremos una lista de los arm onicos esfericos y funciones de onda con bajos
n umeros cuanticos para el atomo de hidr ogeno.
Los arm onicos esfericos
Y
m
l
(, ) Z
l,m
()
e
im
2
, (2.B.1)
se pueden escribir como
Y
m
l
(, ) =
(l + m)!(2l + 1)
(l m)!4
(1)
l
2
l
l!
e
im
(sen)
m
d
lm
dcos
lm
(sen)
2l
, (2.B.2a)
= (1)
m+|m|
2
(2l + 1)(l [m[)!

4(l +[m[)!
P
|m|
l
(cos)e
im
, (2.B.2b)
donde P
|m|
l
(cos) son las funciones asociadas de Legendre. Una lista de los primeros arm o-
nicos esfericos sigue a continuaci on, en la lista usaremos = 1.
l = 0 , Y
0
0
(, ) =
1
4
l = 1 ,
_
_
Y
1
(, ) =
_
3
8
sen() e
i
Y
0
1
(, ) =
_
3
4
cos()
l = 2 ,
_
_
Y
2
2
(, ) =
_
15
32
sen
2
() e
2i
Y
2
(, ) =
_
15
8
sen() cos() e
i
Y
0
2
(, ) =
_
5
16
(3cos
2
() 1)
(2.B.3)
Los arm onicos esfericos estan normalizados de acuerdo a
_
dY
l
Y
m
l
=
_
2
0
d
_

0
d sen Y
l
(, ) Y
m
l
(, ) =
ll

mm
. (2.B.4)
Tambien se cumple que
_
2
0
d
_
e
im
2
__
e
im
2
_
=
mm
, (2.B.5)
_

0
d sen Z
m
l
() Z
m
l
() =
ll
. (2.B.6)
Para el atomo de hidr ogeno el conjunto de operadores H
r
, L
2
y L
z
(con L = R P)
forman un CCOC. La base propia com un es una base estandar cuyas funciones de onda
n,l,m
(r) = R
n,l
(r) Y
m
l
(, ) =

n,l
(r)
r
Y
m
l
(, ) (2.B.7)
satisfacen las siguientes ecuaciones.
L
2
n,l,m
= l(l + 1)
2
n,l,m
, L
z
n,l,m
= m
n,l,m
, (2.B.8)
H
r

n,l,m

_
P
2
2

e
2
[R[
_

n,l,m
= E
n
n,l,m
, e
2
q
2
p
4
0
, E
n
=
E
I
n
2
, (2.B.9)
E
I

e
4
2
2
=
e
2
2a
0
13.6 eV (energa de ionizaci on) , (2.B.10)
a
0

2
e
2
0.52 A (radio de Bohr) , (2.B.11)
n,l,m
(r) =
_
e
r/na
0
a
0
_
_
nl1
q=0
c
q
_
r
a
0
_
q+l
_
Y
m
l
(, ) , (2.B.12)
c
q
(1)
q
_
2
n
_
q
(n l 1)!
(n l 1 q)!
(2l + 1)!c
0
q!(q + 2l + 1)!
. (2.B.13)
Las funciones de onda para las subcapas 1s, 2s y 2p se listan a continuaci on.
n=1,l=0,m=0
(r) = (a
3
0
)
1/2
e
r/a
0
(2.B.14)
n=2,l=0,m=0
(r) = (8a
3
0
)
1/2
_
1
r
2a
0
_
e
r/2a
0
. (2.B.15)
n=2,l=1,m=1
(r) =
1
8
_
a
3
0
r
a
0
e
r/2a
0
sen() e
i
(2.B.16a)
n=2,l=1,m=0
(r) =
1
4
_
2a
3
0
r
a
0
e
r/2a
0
cos() (2.B.16b)
n=2,l=1,m=1
(r) =
1
8
_
a
3
0
r
a
0
e
r/2a
0
sen() e
i
(2.B.16c)
La funcion
n,l
(r) hereda del problema de autovalores Hamiltoniano la siguiente ecuaci on
radial
_
2
2
d
2
dr
2
+
l(l + 1)
2
2r
2

e
2
r
_
n,l
(r) = E
n
n,l
(r) (2.B.17)
y la condici on
n,l
(0) = 0 . (2.B.18)
Cerca del origen el termino dominante de su desarrollo en serie de potencias es
n,l
(r) r
l+1
. (2.B.19)
Las funciones
n,l
(r) estan normalizadas de acuerdo a
_

0
dr
n,l
(r)
n
,l
(r) =
nn
. (2.B.20)
Una lista de las funciones
n,l
(r) para los dos primeros niveles de energa sigue a continuaci on.
n=1,l=0
(r) =
2
a
0
r
a
0
e
r/a
0
, (2.B.21)
n=2,l=0
(r) =
1
2 a
0
_
r
a
0
r
2
2 a
2
0
_
e
r/2a
0
, (2.B.22)
n=2,l=1
(r) =
1
2
6 a
0
r
2
a
2
0
e
r/2a
0
. (2.B.23)

Cuantica 2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cuantica 2

Cargado por

Copyright:

Formatos disponibles

Mecanica Cu antica 2

Prof. Cayetano Di Bartolo

satisfacen las siguientes relaciones

con N Naturales, (1.22)

Para demostrar el teorema llamemos [

A continuaci on demostraremos en conjunto los dos teoremas anteriores.

[k, j, m) = 0 j = m, ya que j +m+1 = 0 conduce a j +1 = [m[

cambia en una unidad el autovalor asociado a

Veamos la demostraci on del teorema. De (1.22) se obtiene que J

[k, j, m). Por otro lado de (1.20) se obtiene que

Teorema 1.6 (Espectro de J

al estado [k, j, m). De estas dos observaciones

que satisfacen las condiciones

produciran estados con valores de m prohibidos por el teorema (1.2). Restando

que indica que J es un entero o semientero, al

al estado [k, j, m) inicial.

A continuaci on demostremos el teorema. Sea [) c

) es una transformaci on lineal invertible de

La demostraci on de este teorema es como sigue.

A continuaci on demostraremos el teorema. En primer lugar demostremos por inducci on

[ F(J) [k, j, m) . (1.37)

Veamos la demostraci on de este teorema. De (1.51) se obtiene

ln = imy por tanto ln =

Para demostrar este teorema partiremos de L

y la soluci on existe para cualquier l entero.

son de acuerdo a (1.56) de la forma

y hagamos en la integral el cambio de variables = cos d = send, luego

(2l + 1)(l [m[)!

1.7 Transformaciones puntuales en R

Sea dp la probabilidad de encontrar la partcula en un volumen d

), sin embargo la probabilidad de encontrarla en el nuevo volumen d

debe coincidir con la anterior, esto es

el operador que la representa.

Para demostrar el teorema anterior partimos de (1.81) y utilizamos (1.84).

es dado por (1.83). Sea () / R

Demostremos el teorema. Sea [

La demostraci on de este teorema es inmediata de la denici on de A

tiene base propia B

se obtiene de rotar el vector r un angulo alrededor de

Para demostrar (1.94) y sin perder generalidad escogemos e

Para demostrar el teorema partiremos de la denici on del generador dada en (1.85), Q

r = f(r). En el caso de las

Comencemos la demostraci on del teorema recordando que el producto escalar de vectores en

Demostraci on: por ser R

Veamos la demostraci on. Como los operadores R

. Para un sistema aislado el Hamiltoniano es

Demostraci on. Primero veamos que el conjunto es ortonormal

[ )( [x) [y) [z))

Para demostrar el teorema supondremos que la soluci on de la ecuaci on radial admite un

que es una funcion divergente para y no puede ser normalizada. En consecuencia

Para la demostraci on usaremos los lemas 1 y 2.

+ ) y en consecuencia (2.A.9) sigue

(k, j) es un n umero complejo que depende de k, j, y el operador V .

[k, j, m) = [k, j, m + )k, j, m + [ J

[ V [k, j, m) = (k, j)k, j, m

Veamos la demostraci on del teorema.

(2l + 1)(l [m[)!

También podría gustarte