Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Mecánica Cuantica PDF
Mecánica Cuantica PDF
30 de junio de 2015
Indice general
i
ii INDICE GENERAL
Bibliografa 115
Bibliografa 139
Prefacio
Estas notas contienen el contenido de un curso de introduccion a la Mecanica cuantica
impartido por el autor en la Universidad de Zaragoza en septiembre de 2005 y en Coimbra en
febrero de 2006. Las mismas estan divididas en 6 captulos que contienen tanto los conceptos
teoricos como distintos metodos de resolucion de la ecuacion de Schrodinger. Quiero agradecer
a todos los que de una forma u otra me han ayudado a que estas notas sean posibles. En primer
lugar a mi familia, a los que les he robado un tiempo precioso. Ademas agradezco a Manuel
Alfaro (Universidad de Zaragoza), Jose Luis Cardoso (Universidade de Tras-os-Montes e Alto
Douro), Mario Perez (Universidad de Zaragoza), Francisco J. (Pacho) Ruiz (Universidad de
Zaragoza), Jose Carlos Petronilho (Universidade de Coimbra) y Juan L. Varona (Universidad
de La Rioja)sus comentarios y correcciones que me han permitido mejorar notablemente la
exposicion. Tambien debo agradecer a Luis Velazquez de la Universidad de Zaragoza y Alberto
Grunbaum de la Universidad de California (Berkeley) por las interesantes discusiones que tu-
vieron lugar en la semana mas calurosa de mayo de 2015 en Sevilla que me permitieron corregir
e incluir mas material.
1. Describir el estado del sistema fsico, es decir, dar una representacion cuantitativa (ma-
tematica) del estado que lo defina biunvocamente.
2. Conocer la dinamica del sistema, es decir dado un estado inicial en el momento t0 conocer
su evolucion temporal para t > t0 .
3. Predecir los resultados de las mediciones de las cantidades fsicas del sistema.
La teora fsica en s misma esta en general constituida, desde el punto de vista abstracto,
por tres apartados:
2. Ley dinamica: Cierta relacion (o relaciones) entre algunos de los principales objetos del
formalismo que permitan predecir acontecimientos futuros.
1
2 Captulo 1. Breve introduccion a la mecanica clasica
d2~r(t)
m~a(t) = F~ (t), ~a(t) = ,
dt2
donde F~ es la fuerza resultante que actua sobre el sistema, i.e., es una ecuacion diferencial de
orden 2. Finalmente, las reglas de correspondencia son evidentes y consisten en los valores
numericos de las proyecciones de los vectores ~r, ~v , etc. sobre los ejes del correspondiente sistema
de coordenadas escogido.
Veamos un ejemplo de sistema fsico y algunas de sus propiedades.
Supongamos que tenemos una partcula que se mueve en R3 bajo la accion de una fuerza
F~ (x, y, z) que solo depende de las coordenadas (posicion). Supongamos ademas que existe una
funcion escalar V (x, y, z) tal que
V V ~ V ~
F~ (x, y, z) = V (x, y, z) = ~i j k,
x y z
donde ~i, ~j y ~k, son los vectores unitarios correspondientes a los ejes x, y y z, respectivamente.
Entonces, usando el producto escalar estandar de los vectores tenemos
~ V V V
F (x, y, z)d~r = dx + dy + dz = dV (x, y, z).
x y z
Luego, el trabajo de la fuerza F~ para mover nuestra partcula a lo largo de cierta curva R3
se expresa mediante la integral
Z ~b
F~ (x, y, z)d~r = V (x, y, z) ,
~a
donde ~a y ~b son los extremos de dicha curva. En particular, para cualquier curva cerrada,
Z I
F (x, y, z)d~r = F~ (x, y, z)d~r = 0.
~
Las fuerzas con estas caractersticas se denominan conservativas y los correspondientes sistemas:
sistemas conservativos.
La razon de esta denominacion se explica por lo siguiente: Si usamos la segunda ley de
Newton
d
F~ (x, y, z)d~r = (m~v ) d~r = m~v d~v,
dt
1.1. Mecanica Hamiltoniana 3
luego
Z Z ~b
1
F~ (x, y, z)d~r = m~v d~v = mv 2 .
2
~a
~b
1 2
mv + V (x, y, z) = 0, v 2 = ~v ~v .
2
~a
Es decir, la cantidad
E = T (~v ) + V (~r)
vale lo mismo en los extremos de la curva . Como es arbitraria deducimos que E es una
cantidad invariante en el tiempo. Esta cantidad se denomina energa mecanica del sistema.
p2
T = 21 mv 2 = 2m se denomina energa cinetica, V , energa potencial y p = m~v , impulso.
En la mecanica cuantica el formalismo es muy distinto y es el objetivo de este curso. Antes
de pasar a discutirlo veamos brevemente otra forma de describir los sistemas mecanicos clasicos:
El formalismo canonico o hamiltoniano.
1 2
H(~r, ~p) = (p + p2y + p2z ) + V (x, y, z),
2m x
que denominaremos hamiltoniano del sistema. Entonces, las ecuaciones dinamicas del sistema
vienen dadas por las expresiones
dx H dpx H
= , = ,
dt px dt x
dy H dpy H
= , = , (1.1.1)
dt py t y
dz H dpz H
= , = .
t pz t z
De esta forma la dinamica queda determinada por 2N ecuaciones con 2N incognitas. Finalmente
debemos destacar que, en general, las ecuaciones anteriores son equivalentes a las que se obtienen
usando la segunda ley de Newton. As, si
1 2
H(~r, p~) = (p + p2y + p2z ) + V (x, y, z),
2m x
las ecuaciones (1.1.1) nos dan (solo incluiremos las ecuaciones para la coordenada x)
dx H px
= = vx = , px = mvx ,
dt px m
dpx H dvx V d2 x
= = m = = Fx = m 2 = Fx ,
dt x dt x dt
es decir, recuperamos las ecuaciones de Newton de la mecanica clasica.
Dentro del formalismo canonico hamiltoniano hay una operacion de especial importancia
para entender el paso de la Mecanica clasica a la cuantica: las llaves de Poisson.
Se definen las llaves de Poisson de dos cantidades fsicas A := A(q1 , . . . , qN , p1 , . . . , pN ) y
B := B(q1 , . . . , qN , p1 , . . . , pN ), funciones de las variables canonicas qi y pi , i = 1, 2, . . . , N, a la
cantidad
XN
A B A B
{A, B} := . (1.1.3)
k=1
qk pk p k qk
En general se puede probar que la ecuacion de evolucion para cualquier cantidad fsica A
es
dA
= {A, H}. (1.1.5)
dt
dx H(x, p) dp H(x, p)
= , = =
dt p dt x
dx p dp
= , = kx = mx (t) + kx(t) = 0.
dt m dt
Sus soluciones son: r
k
x(t) = A cos(t + ), , =
m
donde A y dependeran de las condiciones iniciales x0 = x(0), v0 = v(0) y estan dadas por
v0 = x0 tan y x0 = A cos .
En la figura 1.2 representamos dos soluciones correspondientes a fases iguales y amplitudes
distintas. Notese que de la solucion no se deducen ningun tipo de restricciones para los valores
de A y .
Si calculamos la energa:
1 1 1
E = T + V = m[x(t) ]2 + kx2 = kA2 = const.
2 2 2
De lo anterior se deduce que la energa toma los valores reales E = 21 kA2 0 y es una cantidad
continua.
x x
2 2
1 1
5 10 15 20 25
t 5 10 15 20 25
t
1 1
2 2
Obviamente este sistema es demasiado sencillo. Un caso mas realista es el oscilador amor-
tiguado, es decir, cuando hay rozamiento. En este caso la ecuacion diferencial que se obtiene es
mx (t) + x (t) + kx(t) = 0, donde > 0 es el coeficiente de viscosidad del medio. Dejamos, al
lector que resuelva y analize la ecuacion como ejercicio.
6 Captulo 1. Breve introduccion a la mecanica clasica
m
F(r)
M
y
0
m(xy yx ) = 0 = xy yx = 0.
m(yz zy ) = 0 = yz zy = 0.
m(zx xz ) = 0 = zx xz = 0.
Ahora bien, integrando por partes en la primera de las tres ultimas ecuaciones vemos
Z Z Z
c1 = (xy yx )dt = xy x y dt yx + y x dt = xy yx .
yz zy = c2 , zx xz = c3 .
Si multiplicamos la primera de las tres ultimas ecuaciones por z, la segunda por x y la tercera
por y y las sumamos obtenemos
c1 z + c2 x + c3 y = 0,
que es precisamente la ecuacion de un plano que pasa por el origen. As pues, tenemos la
siguiente propiedad:
Propiedad 0. El movimiento de una partcula sometida a una fuerza central es plano, o sea,
su trayectoria esta contenida en un plano que pasa por el origen (hacia donde apunta dicha
fuerza central).
y
Fr
j F(r)
u
F
ur
0 i x
d2 r du()
= c = cu () (t) = c2 u2 ()u (),
dt2 dt
luego (1.2.7) se transforma en
u () + u() = 2 ,
c
que es lineal. La solucion de la ecuacion anterior la escribiremos en la forma
u() = c1 cos() + c2 sen() + 2
= 2 [1 + e cos( )] ,
c c
luego, si escogemos los ejes coordenados de forma que
= 0 o lo que es lo mismo, que r sea mnimo cuando
= 0, i.e., c1 > 0 y c2 = 0 obtenemos la ecuacion para
P la trayectoria
D c2 /
r() = .
r 1 + e cos()
Que figura geometrica define la ecuacion anterior?
0 Para ello recordemos que el lugar geometrico de los pun-
tos P (x, y) tales que la distancia OP de P a un pun-
to fijo O (foco) es igual a la distancia P D de p a
una recta r dada (directriz) viene dado por la formu-
la r = pe/(1 + e cos ) (ver figura 1.5) siendo e cierta
p
constante (excentricidad). Es conocido que si e < 1 la
curva es una elipse, si e = 1 una parabola, y si e > 1
Figura 1.5: Propiedad de las seccio- una hiperbola. As pues, hemos demostrado la siguiente
nes conicas. propiedad:
Propiedad 2. La trayectoria de una partcula sometida a una fuerza central es una seccion
conica, es decir, una elipse, una parabola o una hiperbola.
Es facil comprobar que si una fuerza es central entonces existe una funcion U(x, y, z) tal
que
U U U
Fx = , Fy = , Fz = .
x y z
En nuestro caso, ademas, U(x, y, z) = U(r) = /r. Sumando las tres ecuaciones anteriores y
usando la ley de Newton tenemos
U U U
dU = dx + dy + dz = m(x dx + y dy + z dz) =
x y z
m 2
2 2
d U + (x + y + z = 0.
2
En otras palabras, la funcion energa
m 2 m
E(t) = U + v = + v2 (1.2.8)
2 r 2
es constante. Esto es, como ya hemos visto, la Ley de Conservacion de la Energa. Si aplicamos
esta ley a nuestro sistema tenemos, usando (1.2.5),
m 2 m m m m m
E= v = (v2 + vr2 ) = [(r (t))2 + (r (t))2 ] .
2 r 2 r 2 r
10 Captulo 1. Breve introduccion a la mecanica clasica
b r
a 0 rm P
S
En el caso de los planetas (ver figura 1.6), al pasar el planeta por el punto mas cercano al
foco (donde esta el sol) se tiene, por la ley de Newton,
m
ma = 2
= v2 = ,
rm rm
pero entonces para la energa E obtenemos el valor
m m
E = v2 = < 0,
2 r 2rm
y por tanto e < 1, o sea, los planetas se mueven siguiendo orbitas elpticas. Esta es la conocida
primera Ley de Kepler.
Finalmente, tenemos que rm = ae, y (1 e2 ) = b2 /a2 , donde a y b son los semiejes mayor y
menor de la elipse, respectivamente. Entonces, como a es la semisuma de las distancias maxima
y mnima de nuestra partcula (planeta) al foco,
1 c2 / c2 / c2
a= + = a = ,
2 1 + e 1 e cos (1 e2 )
de donde deducimos que b2 = c2 a/. Si ahora usamos que el area de la elipse es A = ab, y la
propiedad 1, obtenemos que ab = cT /2 donde T es el tiempo que tarda la partcula en dar
una vuelta entera sobre la orbita. Sustituyendo el valor de b en la expresion anterior obtenemos
T2 4
= , (1.2.9)
a3
es decir, el cuadrado del perodo de revolucion de los planetas es proporcional al cubo de sus
distancias medias. La propiedad anterior se conoce como tercera Ley de Kepler. Notese que la
constante de proporcionalidad no depende para nada del planeta, solo de , que segun la Ley
de Gravitacion Universal es GMs , donde G es la constante de gravitacion universal y Ms la
masa del sol.
1.3. Problemas 11
1.3. Problemas
Problema 1.3.1 Estudia como se comporta una partcula material que se mueve en un campo
potencial definido por las siguientes funciones potencial:
U0 , x < 0, 0, x < 0,
V (x) = 0, 0 < x < L, V (x) = U0 , 0 < x < L,
U0 , x > L, 0, x > L,
Problema 1.3.2 Discutir lo que ocurre si en vez de dos masas interactuando segun la ley de
gravitacion universal, lo que tenemos es un atomo de hidrogeno. En este caso la formula (1.2.6)
se convierte en
ke2
F~ (r) = 2 ~ur . (1.3.1)
r
Para terminar con este apartado y pasar a discutir lo que ocurre en el mundo cuantico tenemos
que recordar que en el caso del atomo de hidrogeno hay un problema anadido y es que al ser
el electron una partcula cargada en movimiento, esta continuamente emitiendo ondas electro-
magneticas por lo que su energa va disminuyendo. Esto implica que el electron va cayendo en
espiral al nucleo. Este hecho contradice todos los experimentos conocidos.
12 Captulo 1. Breve introduccion a la mecanica clasica
Captulo 2
Nadie, en aquel momento, poda imaginar que esas dos nubecillas William Thomson
desembocaran en la Teora de la Relatividad de Einstein y la Mecanica
Cuantica, teoras que iban a cambiar radicalmente nuestra concepcion de
los fenomenos naturales y que representaron una Revolucion compara-
ble, en cierta forma, a la Revolucion Copernicana y la aparicion de los
Principia de Newton.
En estas notas nos dedicaremos a estudiar las bases de la segunda de estas dos grandes
teoras. Antes de entrar es los detalles vamos a dar una breve introduccion historica, necesaria
para entender como el problema planteado por Lord Kelvin su segunda nubecilla y su
resolucion termino en la moderna teora cuantica.
1
Esta frase atribuida a Lord Kelvin tiene cierta polemica. Lo que es un hecho es que un ano mas tarde Lord
Kelvin publico su discurso ampliandolo considerablemente con el ttulo Nineteenth-Century Clouds over the
Dynamical Theory of Heat and Light que aparecio en la Phil. Mag. S. 6. Vol. 2. No. 7. July 1901, pags. 140.
Al inicio de dicho trabajo podemos leer
The beauty and clearness of the dynamical theory, which asserts heat and light to be modes of
motion, is at present obscured by two clouds. I. The first came into existence with the undulatory
theory of light, and was dealt with by Fresnel and Dr. Thomas Young; it involved the question,
How could the earth move through an elastic solid, such as essentially is the luminiferous ether ?
II. The second is the Maxwell-Boltzmann doctrine regarding the partition of energy.
que esencialmente viene a decir lo mismo que la cita inicial.
13
14 Captulo 2. Como se gesto la Mecanica cuantica?
Para resolver estas dudas, los fsicos de finales del siglo XIX idealizaron un cuerpo cualquiera
y construyeron un modelo que llamaron cuerpo negro tambien, cavidad, etc. La idealizacion
consista en que el cuerpo negro tena que absorber y por tanto emitir ondas electromagneticas
en todo el espectro de frecuencias. De hecho, era un hecho bien conocido a finales del XIX que
la luz visible estaba constituidda por ondas electromagneticas dentro de un cierto rango de
frecuencias.
El primero en establecer una ley emprica para la radiacion del cuerpo negro fue Wien quien
obtuvo la formula 3e/T , y parametros experimentales, pero esta solo corresponda a
la parte ultravioleta altas frecuencias, o equivalentemente, longitudes de onda pequenas del
espectro y fallaba en la banda infrarroja bajas frecuencias, o equivalentemente, longitudes de
onda grandes. Por otro lado, dos fsicos ingleses, Rayleigh y Jeans, dedujeron una formula
para la banda infrarroja pero que no era compatible con la formula de Wien.
Definamos la densidad de energa (cantidad de energa por unidad de volumen) median-
te U(T ). Obviamente esta dependera de la temperatura T . Ademas, cada longitud de onda
2.1. La radiacion del cuerpo negro 15
Figura 2.3: Diagrama del espectro electromagnetico, mostrando el tipo, longitud de onda con
ejemplos, frecuencia y temperatura de emision de cuerpo negro (tomado de wikipedia). La luz
visible esta en el rango de 400-790 terahercios (1012 Hz)
frecuencia aportara su granito de arena, esta densidad por unidad de frecuencia la de-
notaremos por u(, T ), as
Z
U(T ) = u(, T )d. (2.1.1)
0
2
u(, T ) = kT,
2 c3
donde c es la velocidad de la luz y k es la constante de Ludwig Boltzmann. En particular,
para frecuencias muy altas (zona de frecuencias ultravioletas) es muy grande lo cual esta en
contradiccion con las mediciones experimentales. Esta es la llamada catastrofe ultravioleta y no
es mas que la segunda nubecilla de Lord Kelvin (ver figura 2.4). Notese que al sustituir u(, T )
en (2.1.1) obtenemos U(T ) = lo cual no tiene sentido.
La manera de obtener esta formula es muy sencilla. Era un hecho establecido en el siglo
XIX que el numero de ondas estacionarias con frecuencias por unidad de volumen en el interior
2
de un cuerpo en el intervalo [, + ] era dn = 2 3 . La suposicion de Rayleigh y Jeans
c
consista en que a cada oscilacion electromagnetica le corresponda, en media, una energa hi
igual a kT . As
2
u(, T ) = hidn = 2 3 kT. (2.1.2)
c
El proximo paso lo dio Max Planck. Desde el punto de vista de la fsica clasica la deduccion
de Rayleigh y Jeans era impecable, por tanto Planck asumio que deba haber alguna ley
importante sin descubrir. En octubre de 1900 Planck encontro empricamente una formula que
describa perfectamente la ley experimental para la radiacion del cuerpo negro. Dicha formula
16 Captulo 2. Como se gesto la Mecanica cuantica?
u(, T )
Curva experimental
Ley de Rayleigh-Jeans
Ley de Wien
~
hi = ,
~
exp 1
kT
donde ~ era cierta constante desconocida. Si ~/kT 1, entonces la formula de Planck daba
hi kT . Ademas, si ~/kT 1, Planck recuperaba la formula de Wien.
X
n~
n~ exp
X n=0
kT ~
hi = pn En = = ,
X n~ ~
n=0
exp exp 1
kT kT
n=0
que es justamente la formula que Plank haba encontrado empricamente. Si ahora multiplica-
2.1. La radiacion del cuerpo negro 17
2
mos por dn = obtenemos
2 c3
~ 3 1
u(, T ) = hidn = , (2.1.3)
4 2 c2 ~
exp 1
kT
donde es una constante conocida tambien como constante de Boltzmann para la densidad
o luminosidad de la energa de radiacion. Planck calculo ademas el valor de la constante ~
en su formula para que se correspondiera con los valores experimentales obteniendo el valor
aproximado 1,05 1034 Jules por segundo2 . Cuando sustituyo este valor el la formula para
obtuvo exactamente el valor numerico de esta. Es decir, Planck resolvio de forma brillante la
segunda de las nubecillas de Lord Kelvin.
Estos resultados fueron publicados por Planck el 14 de octubre
de 1900, da oficial del nacimiento de la teora cuantica. Quien iba a
imaginar que este trabajo iba a revolucionar la fsica por completo!
El segundo hecho, que ademas fue crucial en la historia de la
mecanica cuantica, fue la prueba de Henri Poincare (en el otono de
1911) de que la distribucion
~
hi = ,
~
exp 1
kT
Henri Poincaire
2
Muchas veces en vez de ~ se usa el valor h = 2~ = 6,62 1034 juliosradianes por segundos.
18 Captulo 2. Como se gesto la Mecanica cuantica?
~. Si denotamos por W la energa necesaria para extraer un electron del metal, entonces la
energa cinetica de los electrones, Ec , se expresara mediante la formula
Ec = ~ W. (2.2.1)
Todas las observaciones descritas anteriormente son una consecuencia de la formula anterior!
Anos mas tarde, el fsico estadounidense Robert Millikan comprueba experimentalmente la
formula de Einstein (2.2.1) y encuentra que ~ es la misma ~ de Planck. Esta fue la gota que
colmo el vaso, pues al parecer la luz, que era aceptada unanimemente por todos como un
fenomeno continuo, tena al parecer cierta naturaleza corpuscular.
v2 ke e2
m = 2 . m
r r h
000000000000000
111111111111111
111111111111111
000000000000000
000000000000000 111111111
111111111111111
000000000000000
111111111111111
111111111111111
000000000000000
111111111111111
000000000
000000000
111111111
000000000000000 111111111
000000000
000000000
111111111
000000000000000 111111111
000000000
111111111111111
000000000000000
111111111111111
~r
111111111111111
000000000000000
111111111111111
~v
000000000
111111111
000000000000000 111111111
000000000
000000000
111111111
000000000000000 111111111
111111111111111 000000000
Utilicemos que L = mvr = n~ para eliminar la velocidad v. Ello 00000
11111
000000000000000
111111111111111
00000
11111
111111111111111
00000
11111
00000
11111
000000000
111111111
000000000000000 111111111
000000000
que = (2c/) donde c es la velocidad de la luz. Es decir, ~ era mas que una simple cons-
tante introducida artificialmente por Planck: era una de las constantes mas importantes de la
naturaleza.
Aunque el modelo de Bohr era muy funcional y explicaba muchos fenomenos, este conti-
nuaba siendo muy incompleto y ademas tena demasiados interrogantes. De donde sala ese
extrano postulado sobre las orbitas? Este era quiza el punto mas obscuro de toda la teora.
No obstante, en su artculo Bohr sienta las bases de lo que luego se denomino el Principio de
correspondencia de Bohr. El dicho trabajo Bohr postula como deba ser la teora cuantica: esta
tena que ser tal que, para numeros cuanticos grandes, por ejemplo n en las formulas anteriores,
se transformase en la teora clasica.
Anos mas tarde, Bohr junto a Sommerfeld mejoran mucho el modelo atomico inicial in-
cluyendo orbitas elpticas, entre otras cosas. Pero no es hasta 1925-1926 que no nace la nueva
teora cuantica a manos de un joven fsico aleman: Werner Heisenberg y un fsico austriaco:
Erwin Schrodinger.
Antes de poder describir los fundamentos de la Mecanica Cuantica tenemos que detenernos
en un personaje singular: el frances Louis de Broglie. Luis de Broglie era el hermano pequeno
del Marques Maurice De Broglie, un afamado fsico experimental frances que dedicaba gran
parte de su tiempo y dinero a la investigacion experimental varias veces fue propuesto para el
Nobel de Fsicas. Un da de 1923 Louis, influenciado por el trabajo de Einstein sobre el efecto
fotoelectrico, postula que la dualidad onda-partcula que Einstein haba proclamado para la luz
tambien haba de ser cierta para las partculas materiales, como por ejemplo, el electron: Sus
palabras fueron
5
Curiosamente Davisson y Germer llevaban haciendo experimentos con electrones desde 1921. En 1925 de
forma casual descubrieron al bombardear con electrones cristales de nquel un cuadro de difraccion que probaba
la dualidad onda partcula.
2.4. El nacimiento de la Mecanica Cuantica 23
es decir, las cantidades Xnm eran matrices. Finalmente, deduce, siempre razonando sobre el
principio de correspondencia de Bohr que la dinamica que rige las magnitudes cuanticas ha de
ser:
dX i i
= (HX XH) = [H, X], i = 1, (2.4.1)
dt ~ ~
donde H representaba la matriz del Hamiltoniano del sistema. Como H, representa el Hamilto-
niano, es decir la energa, y obviamente [H, H] = 0, entonces, de (2.4.1) se tena la conservacion
de la energa. En particular Heisenberg, junto a dos colegas alemanes de Gotinga, M. Born y P.
Jordan, desarrollan toda una Mecanica matricial que se ajustaba muy bien a las observaciones
pocas, por cierto de la epoca. Aparte de sus aberrantes matrices como les llamaban los
fsicos de la epoca, especialmente Schrodinger Heisenberg descubrio, o mas bien postulo, un
principio tremendamente polemico: el principio de incertidumbre de Heisenberg. De hecho en
sus primeros razonamientos para construir la mecanica matricial Heisenberg descubre la impo-
sibilidad de conocer al mismo tiempo y con una precision arbitraria la posicion y la velocidad
del electron.
Obviamente ese cambio radical no fue bien recibido por la mayora de los fsicos. En primer
lugar representaba un cambio drastico de pensamiento no se poda medir con presicion arbi-
traria al mismo tiempo ciertas cantidades como la posicion y la velocidad de una partcula
en segundo, su aparato matematico esas aberrantes matrices era lo suficientemente com-
plicado para que no estuviera al alcance de cualquier fsico en aquella epoca. Por eso no es de
extranar que pronto apareciera una formulacion alternativa.
esfericas era muy sencilla de resolver apareciendo las funciones o armonicos esfericos de Laplace.
En particular Schrodinger obtuvo para los valores de la energa en el estado estacionario del
atomo de hidrogeno la formula
me4 1
En = 2 2 ,
2~ n
que era la misma de Bohr (2.3.1).
Finalmente Schrodinger, igual que hizo Heisenberg, dedujo una ecuacion para la dinamica
de un sistema, que en el caso unidimensional tiene la forma
H x, i~ (x, t) = i~ (x, t).
x t
Si tenemos un Hamiltoniano estandar, esta se transforma en
~2 2
(x, t) + V (x)(x, t) = i~ (x, t). (2.4.4)
2m x2 t
En particular, de (2.4.4) se poda deducir facilmente la ecuacion (2.4.2), para los sistemas
estacionarios, introduciendo la factorizacion
iEt
(x, t) = (x) exp .
~
2.5. La interpretacion de la Mecanica cuantica 25
2
(x, t) = Aei(kxt) , k= .
Segun De Broglie p = 2~/, as que k = p/~, y ademas, usando la formula de Planck = E/~,
i
(x, t) = Ae ~ (pxEt) .
Ahora hacemos,
2 p2 ~2 2
(x, t) = (x, t), por tanto p2 = (x, t),
x2 ~2 (x, t) x2
pero
p2 ~2 2 ~2 2
E= E= (x, t), o (x, t) = E(x, t).
2m 2m(x, t) x2 2m x2
Si en vez de una partcula libre tenemos una ligada mediante un potencial V (x), entonces
p2 ~2 2
E= + V (x), E= (x, t) + V (x),
2m 2m(x, t) x2
o, equivalentemente,
~2 2
(x, t) + V (x)(x, t) = E(x, t).
2m x2
Del razonamiento anterior en particular se deduce que al momento p de una partcula le co-
rresponde el operador
p = i~ .
x
El problema filosofico de Born se agudizo todava mas cuando Dirac por un lado, y el
mismo Schrodinger por el otro probaban que las dos formulaciones de la Mecanica cuantica, la
matricial y la ondulatoria, eran equivalentes:
Nuestras expectativas cientficas nos han conducido a cada uno a las antpodas del
otro. Tu crees en un Dios que juega a los dados, y yo en el valor unico de las leyes
en un universo en el que cada cosa existe objetivamente [. . . ]. El gran exito de la
teora de los quanta desde sus comienzos no puede hacerme creer en el caracter
fundamental de ese juego de dados [. . . ]. Algun da se descubrira cual de estas dos
actitudes instintivas es la buena.
Parte importante para entender esta polemica viene del hecho de ambas teoras, la mecanica
matricial y la ondulatoria, describan rigurosamente muchos de los fenomenos del micromundo,
pero ambas tenan un gran problema Como definir si una partcula cuantica estaba en un
estado determinado o en otro?
2.5. La interpretacion de la Mecanica cuantica 27
1 , E1 2 , E2
= a1 1 + a2 2 , E =?
Figura 2.8: Como sabemos en que estado cuantico se encuentra una partcula?
Un sencillo ejemplo de lo que ocurre es lo siguiente. Imaginemos que definimos los estados
mediante la funcion usando la ecuacion de Schrodinger y supongamos que nuestro sistema
puede encontrarse en dos estados A y B definidos por la funcion 1 y 2 , respectivamente, y
que al primero le corresponde una energa E1 y al segundo E2 , entonces siempre tenemos que
un estado posible es el estado = a1 1 + a2 2 (pues la ecuacion de Schrodinger es lineal).
Resulta entonces que si tenemos un instrumento que nos mide la energa de nuestro sistema
este nos dara unas veces E1 y otras E2 , y justo la probabilidad de que nos de una u otra es
proporcional a |a1 |2 y |a2 |2 , respectivamente. Esta era la interpretacion probabilstica que tan
poco gustaba a Einstein.
Para explicar problema descrito al final del apartado anterior (y apoyar la interpretacion
de Born), Bohr junto a otros propuso lo que hoy da se conoce como la interpretacion de
Copenhagen y que consiste en la suposicion de que al hacer la medicion la funcion de onda
colapsa y el estado queda determinado por la medicion. Por ejemplo, cuando medimos la
energa en nuestro sistema representado 2.8 la interaccion del aparato con el sistema se decanta
por una de las dos posibilidades.
Von Neumann intento dar una explicacion logica a la interpretacion de Bohr de la Mecanica
Cuantica introduciendo una teora de mediciones. Como ejemplo, supongamos que tenemos dos
posibles estados A y B de un sistema definidos por las funciones de onda 1 y 2 , respecti-
vamente. Como saber en cual de los estados esta el sistema? Este dilema se resolva al hacer
el experimento. De la interaccion del aparato de medicion con el sistema se conclua en que
estado estaba (o mas bien, se quedaba) el sistema (ver figura 2.9)6 .
Esta teora estaba plagada de efectos curiosos. Uno de los mas famosos es el hecho de
que al medir una cantidad fsica f (a) de un sistema fsico microscopico (cuantico) A debemos
usar un instrumento que es, en s mismo otro sistema fsico M y que obviamente es clasico,
es decir, su comportamiento se puede explicar con las leyes de la fsica clasica. Pero entonces
puede ocurrir que la interaccion entre A y M, necesaria para poder saber el valor de f (a) cree
una interferencia que se transfiera al mundo macroscopico. Es decir, si tenemos un sistema en
el estado
= c1 1 + c2 2 ,
entonces, al realizar la medicion en vez de tener el sistema A + M en un estado donde
no se mezcle el estado de nuestro sistema cuantico con el estado de nuestro instrumento
6
Este efecto se denomina comunmente el colapso de la funcion de onda.
28 Captulo 2. Como se gesto la Mecanica cuantica?
A 1 B 2 A B
A+B = a1 1 + a2 2 A+B = a1 1 + a2 2
Figura 2.9: Las mediciones selectivas. Un sistema que originalmente puede estar en dos estados
A y B (izquierda), se decanta por uno de ellos al realizar la medicion (derecha). El aparato de
medicion interfiere en el sistema acabando con la incertidumbre del mismo.
A+M = c1 1 1 + c2 2 2 ,
donde se han mezclado estados cuanticos y clasicos. Esto no esta de acuerdo con el principio
de correspondencia de Bohr, ya que este insista que la fsica cuantica deba estar aparte de la
clasica. Obviamente podemos pensar que para resolverlo basta con usar otro aparato M que
mida lo que mide M, pero entonces la interferencia pasa a M y as sucesivamente terminamos
en una cadena infinita. Von Neumann intento resolver esta paradoja introduciendo en la cadena
al observador humano que no se deja interferir por el sistema cuantico.
Figura 2.10: La paradoja del Gato de Schrodinger. Arriba se muestra lo que ocurre a puerda
cerrada: una dualidad gato vivo-gato muerto que solo se resuelva al abrir la caja cuando el
observador descubre o que el gato esta vivo (1), o que esta muerto (2).
Esto llevo Schrodinger en 1935 a proponer su famosa paradoja del gato (ver figura 2.10),
conocida hoy da como el Gato de Schrodinger. En ella Schrodinger usa como fenomeno cuantico
la desintegracion radioactiva. Las posibilidades son dos: tiene lugar la desintegracion del atomo
o no tiene lugar. El instrumento de medicion es un detector que activa un diabolico martillo
que, en caso de que ocurra la desintegracion, golpea un recipiente de cristal con veneno y lo
rompe. Y ahora Schrodinger mete su instrumento dentro de una caja negra sin ventanas ni
puertas, junto con . . . un pobre gato. La funcion de onda A+M representara entonces una
2.5. La interpretacion de la Mecanica cuantica 29
superposicion de los estados gato vivogato muerto y solo un observador humano sobre el
cual no interferira el estado cuantico del atomo sera capaz de resolver esa paradoja de gato vivo-
muerto al mismo tiempo pues al abrir la caja se encontrara con una apacible o cruda realidad
en funcion del amor que profese a los gatos. Hemos traspasado una propiedad microscopica (la
superpocision de estados aomo desintegradono desintegrado) de la desintegracion radioactiva,
cuantica, al mundo macroscopico, clasico, lo cual esta en abierta contradiccion con el principio
de correspondencia del que ya hemos hablado. Lo que esta claro de todo lo anterior es que la
interpretacion de Copenhagen7 de la Mecanica Cuantica es algo para meditar y pensar: es una
cuestion filosofica para la cual los argumentos fsicos no son concluyentes, como dijo Born en
su ya mencionado artculo.
Figura 2.11: Los universos paralelos de Everett. Cada decision que tomamos o medicion que
hacemos desdobla nuestro universo en dos o mas, de forma que siempre hay alguno donde ocurre
cada uno de los sucesos probables.
Por supuesto que existen otras posibles interpretaciones. Una de ellas, que ademas a dado
lugar a muchsimas novelas de ciencia ficcion (por ejemplo La llegada de los gatos cuanticos, de
Frederik Pohl) es la de los universos paralelos propuesta por Hugh Everett en 1957. La idea,
grosso modo, es la siguiente: Al hacer la medicion (o simplemente al haber mas de una opcion)
hay dos posibilidades (aqu estamos considerando de nuevo el ejemplo de dos mediciones de
la figura 2.9), entonces en el momento de la medicion no hay colapso de la funcion de onda
sino que de forma continua en el tiempo, en ese instante en universo se divide en dos, en uno
el resultado ha sido el univesro donde ha pevalecido la medicion A (como en la figura 2.9), y
en el otro, por el contrario, ha sido la medicion B la que ha prevalecido. Aunque esto parezca
una broma pesada no lo es. En [23, 3.7] hay varios ejemplos donde se muestra como esta
interpretacion es plausible y nada descabellada.
7
Hoy da no hay unanimidad en como interpretar la teora cuantica. Un magnfico libro sobre el tema es Lo
decible y lo indecible en mecanica cuantica de John S. Bell (Alianza Universidad, 1990).
30 Captulo 2. Como se gesto la Mecanica cuantica?
es decir8 Z Z
(x, 0)(x, 0)dx = |(x, 0)|2 dx = 1.
R R
Si una partcula vena descrita por dicha onda, entonces usando la idea de Born, el valor
medio para la posicion de la partcula era
Z Z
hxi = (x, 0)x(x, 0) = x|(x, 0)|2 dx = x0 ,
R R
y para la posicion, usando que el operador correspondiente al momento era p = i~ , tenemos
x
Z
hpi = (x, 0)p(x, 0) = p0 ,
R
es decir que nuestra partcula tiene un momento p0 y esta en la posicion x0 . Si ahora intentamos
determinar con que precision estamos calculando los valores de estas dos magnitudes tenemos
que calcular las varianzas x y p ,
Z Z
2 b2 ~2
x = (x, 0)(x x0 ) (x, 0) = , p = (x, 0)(p p0 )2 (x, 0) = 2 ,
R 2 R 2b
de forma que
~2 ~
x p = , o, equivalentemente, xp = ,
4 2
con x = x y p = p . Es decir, no podemos nunca medir con una precision tan grande
~
como se quiera las dos magnitudes x y p. De hecho, resulta ser que xp , es decir,
2
Heisenberg descubrio justo la onda que minimizaba el principio que lleva su nombre.
De donde sale esta incertidumbre que no existe en la mecanica clasica?
1010 2
1010
1010 11
00
1010 00
11
00
11
1010 00
11
00
11
00
11
Figura 2.13: Esquema de difraccion (izquierda) y detalle del mismo (derecha)
Para ello vamos a utilizar la representacion esquematica del experimento que se puede
ver en la figura 2.13. Para describir la difraccion se suele dividir la rendija en 2N partes
iguales. Nos interesa conocer donde aparece el primer mnimo por lo que escogerenos N = 1,
i.e., dividiremos el agujero a la mitad y consideraremos los rayos que salen del centro y los
extremos, respectivamente, tal y como se representan en la figura 2.13 (cualesquiera otros dos
que escojamos nos dan un resultado similar). De la figura 2.13 se deduce que en el punto A
habra un mnimo si la diferencia del camino recorrido por ambos rayos (el que sale del extremo
superior y el del medio del agujero) es un numero entero m de veces la mitad de la longitud de
onda de la misma (tendran una interferencia negativa), luego
d
sen = m = d sen = m,
2 2
y por tanto el primer mnimo se obtendra cuando d sen = .
9
Vamos a asumir que tanto la fuente de electrones como el plano donde aparece la figura de difraccion estan
lo suficientemente alejados del agujero y de esta forma usaremos el metodo de Fraunhofer
32 Captulo 2. Como se gesto la Mecanica cuantica?
II. Los valores f (a ) que puede tomar una magnitud fsica son aquellos que corresponden al
espectro del operador lineal hermtico Ab que caracteriza dicha magnitud.
2.8. Sobre la bibliografa 33
Un espacio de Hilbert que denotaremos aqu por H es un espacio lineal donde esta definido
10
un producto escalar ha|bi, cualesquiera sean los vectores
pa, b H y que es completo respecto a
11
la norma kxk inducida por el producto escalar kxk = hx|xi. Los operadores lineales definidos
sobre H se pueden representar mediante matrices finitas o infinitas de forma que las matrices
de Heisenberg, Born y Jordan se pueden identificar como ciertos operadores lineales sobre H.
Ademas, las funciones de onda de Schrodinger pertenecen al espacio de Hilbert L2 , el espacio
de las funciones de cuadrado integrable. Un operador Ab se dice hermtico si ha|Abi
b = hAa|bi.
b
Una propiedad fundamental de estos operadores hermticos era que para ellos exista una base
ortonormal de autovectores y ademas los correspondientes autovalores eran reales. En especial
esta ultima propiedad era decisiva a la hora de identificar los operadores con las magnitudes
fsicas medibles, que son cantidades reales.
Es decir, la matematica de la Mecanica Cuantica, es la matematica de los operadores en
los espacios de Hilbert. Parte de esa teora era conocida a principios del siglo XX pero gran
parte de la misma se desarrollo en Gotinga impulsada por David Hilbert pero fundamental-
mente desarrollada por John Von Neumann cuya obra quedara plasmada en el magnfico libro
Fundamentos Matematicos de la Mecanica Cuantica publicado en 1932.
10
Es decir que toda sucesion de Cauchy en H es convergente.
11
Para el que usaremos la notacion de Dirac: el producto escalar de x e y se denotara por hx|yi.
34 Captulo 2. Como se gesto la Mecanica cuantica?
Captulo 3
Vamos a comenzar describiendo el sistema cuantico mas sencillo: una unica partcula some-
tida a un potencial externo V (~r). Comenzaremos describiendo los principales postulados. Una
magnfica introduccion se puede consultar en [4].
donde es aquella region accesible a la partcula, es decir, la region donde con certeza absoluta
puede estar la partcula (en general dicha region sera R3 ). Lo anterior indica que, para cada t,
la funcion es de cuadrado integrable y esta normalizada a la unidad. Al espacio vectorial de
las funciones de cuadrado integrable lo denotaremos por L2 () o simplemente L2 .
Mas aun, como veremos mas adelante, ha de satisfacer una ecuacion dinamica, as que es
natural que (~r, t) sea una funcion continua y diferenciable (al menos). Luego, ha de ser tal
que (~r, t) tiende a cero si ~r en caso contrario no sera de cuadrado integrable en R3 .
Obviamente si es finito, del postulado 3.1.1 se sigue que (~r, t) = 0 en la frontera y fuera de
, ya que en caso contrario existira una probabilidad finita de que la partcula estuviese en el
exterior de lo cual sera una contradiccion.
2. Obviamente el estado de una partcula en cada instante t queda determinado a excepcion
de una fase ei , R. Es decir, las funciones de onda (~r, t) y (~r, t)ei describen el mismo
estado del sistema. De lo anterior se sigue ademas que la fase no es un observable.
35
36 Captulo 3. Mecanica Cuantica I: partcula material
Una cuestion fsica de vital importante que surge inmediatamente es: Como vamos a medir
nuestros observables?
Supongamos que vamos a medir la posicion ~r de la partcula. Para ello asumimos que
1. La medicion se hace con un aparato clasico, i.e., el aparato no precisa una descripcion
cuantica (por ejemplo una regla o un metro).
2. La precision del aparato es, en principio, tan alta como se quiera.
3. El resultado de la medicion es: En el instante t la partcula estaba en la posicion ~r ~r
donde ~r es el error del aparato.
Postulado 3.1.2 Para cada t el espacio de las funciones de estado es un subespacio vectorial
del espacio L2 (). Es decir, para cada t, si 1 y 2 son funciones de onda, entonces
1 , 2 C, = 1 1 + 2 2 ,
es una posible funcion de onda, es decir, puede representar un posible estado del sistema.2
1
Un ejemplo muy ilustrativo es el siguiente. Supongamos que (~r, t) = [a,b] (x)/(b a), donde [a,b] (x) es la
funcion caracterstica del intervalo [a, b], i.e., vale 1 si x [a, b] y 0 en otro caso. Entonces, hxi = a+b
2 y x =
(b a)2 /12. Como vemos si a y b estan cercanos entonces la dispersion es pequena y tenemos que la partcula
esta muy cerca de la posicion media. Por el contrario si a y b difieren mucho la partcula esta equiprobablemente
dispersa en el intervalo [a, b] (muy grande). Este ejemplo se lo debo a de Francisco J. (Pacho) Ruiz Blasco de la
Universidad de Zaragoza.
2
Notese que si 1 = 2 = 0, se tiene 0, es decir la partcula no esta en ningun sitio. Aunque formalmente
esta es una posibilidad en la practica se asume que 6= 0 en todo ( es la region donde podra estar la
partcula, luego en algun punto de la funcion ha de ser distinta de cero). Si 1 y 2 estan normalizadas a
la unidad, entonces para que lo este basta que |1 |2 + |2 |2 = 1.
3.1. Los postulados de la Mecanica Cuantica 37
Lo anterior indica que, para cada t, cualquier combinacion lineal de funciones es una (posible)
funcion de onda. Ello implica ademas que la ecuacion de evolucion que gobierne o determine
las funciones de onda ha de ser lineal.
Postulado 3.1.3 (Ecuacion dinamica) La funcion de onda viene determinada por la ecua-
cion de Schrodinger
(~r, t) ~2
i~ = (~r, t) + V (~r, t)(~r, t), (3.1.1)
t 2m
donde es el laplaciano3 en R3 , y V es el potencial al que esta sometida la partcula.
donde Hb es el operador correspondiente al hamiltoniano del sistema. En nuestro caso esta claro
que es
2
Hb := ~ + V (~r, t)I.
b
2m
Antes de continuar debemos destacar que aqu solo trataremos el caso cuando el potencial V
es independiente del tiempo.
Nuevamente proceden una serie de comentarios.
En primer lugar si V := 0 (partcula libre) una solucion de la ecuacion viene dada mediante
una onda viajera
~
(~r, t) = 0 ei(k~rt) ,
donde ~k es el vector de onda. Sustituyendo dicha onda en (3.1.1) y usando que la energa de
una onda es, segun ya vimos, E = ~, obtenemos
~2 k 2 ~2 k 2
~ = = E= ,
2m 2m
de donde, al no haber (energa) potencial E = T = p2 /2m, por tanto se sigue que p = ~k, que
es precisamente la formula de De Broglie para expresar la dualidad onda-partcula. Es decir, la
ecuacion de Schrodinger tiene como solucion posible la onda de materia de De Broglie.
Un simple vistazo a la expresion para la onda de De Broglie nos revela un problema:
esta funcion no es de cuadrado integrable y por tanto no puede describir de acuerdo con el
postulado 3.1.1 ningun estado real de una partcula. Para resolver esta aparente contradiccion
se introducen los paquetes de ondas.
Formalmente un paquete de ondas es un conjunto de ondas planas monocromaticas super-
puestas. Usando que p = ~k y E = ~ tenemos, para cada onda la ecuacion
i
p (~r, t) = (~p)e ~ (~p~rEt) ,
3 2 2 2
En coordenadas cartesianas es = + + .
x2 y 2 z 2
38 Captulo 3. Mecanica Cuantica I: partcula material
~ 4
para los valores ~ = p0 /2 (p disperso, figura superior) y ~ = p0 /10 (p concentrado, figura
inferior).
Antes de continuar debemos destacar la media y la varianza definidas en (3.1.4) no tienen
por que corresponder con la media y varianza del impulso real p~ de nuestra partcula. Para
poder hablar de la cantidad observable p~ necesitaremos introducir otro postulado, pero antes
de ello vamos a probar que los postulados hasta ahora introducidos son consistentes.
Test de consistencia
Un test de consistencia de la teora hasta ahora descrita consiste en probar que la nor-
ma de (~r, t) es independiente del tiempo (en otro caso no podra definir una densidad de
probabilidad). Para ello escribimos la ecuacion de Schrodinger (3.1.1) para
(~r, t) ~2
i~ = (~r, t) + V (~r, t)(~r, t)
t 2m
3.1. Los postulados de la Mecanica Cuantica 39
0.4 0.4
0.3 0.3
0.2 0.2
0.1 0.1
-20 -10 10 20
x -2 -1 1 2 3 4
p
0.01 0.5
-20 -10 10 20
x -2 -1 1 2 3 4
p
e t) (~ = 1)
Figura 3.1: Distribucion de (x, t) y (p,
(~r, t) ~2
i~ = (~r, t) + V (~r, t)(~r, t),
t 2m
multiplicamos la primera por , la segunda por , las restamos y tomamos la integral en toda
la region (ver postulado 3.1.1)
Z
i~ |(~r, t)|2 d3~r =
t
Z !
(~r, t) (~r, t)
= i~ (~r, t) + (~r, t) d3~r
t t
Z
~2
= (~r, t)(~r, t) (~r, t)(~r, t) d3~r.
2m
ultima integral se anula pues (~r, t) (y por consiguiente (~r, t)) se anulan cuando ~r (ver
comentario 1 del postulado 3.1.1). Luego
Z
|(~r, t)|2 d3~r = 0.
t
Esto tiene una implicacion fsica inmediata: Dado un estado inicial (~r, t0 ) L2 (), este
evoluciona segun la ecuacion de Schrodinger, i.e., en cada momento de tiempo viene descrito
por la funcion (~r, t) solucion de (3.1.1) y ademas,
Z Z
2 3
|(~r, t)| d ~r = |(~r, t0 )|2 d3~r = 1,
Un operador Ab : L2 () L2 () es hermtico7 si
Z Z
b 3
1 (~r, t) A2 (~r, t) d ~r = b 1 (~r, t) 2 (~r, t)d3~r.
A
i.e., hAi(t) R.
Vamos a definir el operador r por
~r := ~rI,
b (3.1.5)
6
Aunque el valor hAi(t) depende de la funcion de onda , no lo vamos a reflejar en la notacion para hacer
esta lo menos engorrosa posible.
7
Sobre estos operadores hablaremos con mas detalle en el proximo apartado dedicado a la Mecanica cuantica
en espacios de Hilbert.
3.1. Los postulados de la Mecanica Cuantica 41
p~ := i~, (3.1.6)
Postulado 3.1.5 El resultado de cualquier medicion de una cantidad fsica medible A debe ser
un autovalor del operador asociado Ab y el estado correspondiente a dicha medicion estara de-
finido por su correspondiente autofuncion.
b (~r) = E (~r).
H (3.2.2)
La pregunta de cuando el desarrollo (3.2.3) tiene lugar y como calcular los coeficientes c lo
vamos a dejar para mas adelante. En realidad lo que tiene que ocurrir es que las autofunciones
b constituyan un conjunto completo (y a ser posible ortonormal) de L2 ().
del hamiltoniano H
3.3. Ejemplos
Vamos a estudiar dos ejemplos representativos unidimensionales.
44 Captulo 3. Mecanica Cuantica I: partcula material
V (x)
U0
0 L x
Sea una partcula que se encuentra en un pozo potencial como el que se muestra en la figura
3.2.
La solucion de la ecuacion de Schrodinger estacionaria
~ 2 2 U0 , x < 0,
(x) + V (x)(x) = E(x), V (x) = 0, 0 < x < L,
2m x2
U0 , x > L,
1
p 1
donde k = ~
2m(U0 E), q = ~
2mE.
Como ha de ser de cuadrado integrable, entonces A2 = C2 = 0.
Ademas, y han de ser continuas en R as que tenemos las siguientes condiciones
Como
k iq k iq
ei =
k + iq = 1, k + iq
=
k2 q2 2kq
cos = , sen = .
k2 + q2 k2+ q2
Combinando lo anterior con (3.3.1) se tiene = qL, de donde se sigue que los valores de energa
E permitidos corresponden a la solucion de la ecuacion trascendental
k2 q2 2kq
cos qL = o sen qL = ,
k2 + q2 k2 + q2
o, equivalentemente,
2kq
tan qL = . (3.3.2)
k2 q2
p
Sea x = E/U0 y = 2mU0 L/~, entonces la ecuacion anterior se escribe como
p
x(1 x)
tan x = 2 . (3.3.3)
1 2x
Es facil comprobar que para todo esta ecuacion tiene al menos una raz real en (0, 1) por lo
que nuestro sistema tiene al menos un estado estacionario. A medida que es mas grande el
numero de estados aumenta (vease la figura 3.3).
6 6
6 6
3 3
0,2 0,4 0,6 0,8 1 0,2 0,4 0,6 0,8 1
3 3
6 6
9 9
~2 2 n2
E= , (3.3.4)
2mL2
que coinciden con los valores de energa para un pozo infinito (ver problema 3.3.1).
46 Captulo 3. Mecanica Cuantica I: partcula material
V (x)
U0
0 L x
1
p
donde q = ~
2m(E U0 ) y k = ~1 2mE.
Ante todo notemos que esta solucion es de tipo onda viajera, similar a la de una partcula
libre, por lo que no es de cuadrado integrable y por tanto no puede describir ningun estado
real (vease la discusion del postulado 3.1.3) por lo que habra que definir los correspondientes
paquetes de ondas. No obstante podemos considerar nuestra partcula como una onda descrita
por la ecuacion (3.3.5) y determinar su comportamiento en funcion de las amplitudes A1 , . . . ,
C2 de las mismas. Ante todo notemos que si es una solucion correspondiente a la energa E,
tambien lo es. Dado un valor de energa podemos considerar dos tipos de soluciones: una +
cuando C2 = 0 (la onda incidente va de izquierda a derecha) y la otra cuando A1 = 0 (la
onda incidente va de derecha a izquierda). La solucion general sera una combinacion lineal de
ambas. As pues nos centraremos en la solucion10
1 (x) = eikx + Aeikx , x < 0,
iqx iqx
+ (x) = 2 (x) = B1 e + B2 e , 0 < x < L,
3 (x) = Ceikx , x > L.
10
Por la linealidad podemos tomar sin perdida de generalidad A1 = 1.
3.3. Ejemplos 47
Los valores R(E) = |A|2 y T (E) = |C|2 definen los coeficientes de reflexion y transporte (o
paso) de la onda. Usando la continuidad de y obtenemos las siguientes condiciones
~2 2 n2
E = U0 + .
2mL2
Supongamos ahora que E < U0 . Para obtener el resultado basta hacer el cambio q i.
As, obtenemos
1
T (E) = 2 2 ,
(k + 2 ) senh(L)
1+
2k
48 Captulo 3. Mecanica Cuantica I: partcula material
16k 2 q 2 L
T (E) e ,
(k 2 + q 2 )2
es decir, el coeficiente
p de transporte decae exponencialmente a cero con L. Este lmite corres-
ponde al caso 2m(U0 E)/~ 1, i.e.,
3.3.3. Problemas
Problema 3.3.1 Encuentra los autoestados de la ecuacion de Schrodinger estacionaria para
un pozo potencial infinito
, x < 0,
V (x) = 0, 0 < x < L,
, x > L,
y compara el resultado con los valores obtenidos en (3.3.4).
Definicion 4.1.1 Se dice que un espacio vectorial E es un espacio eucldeo si dados dos ele-
mentos cualesquiera x, y E existe un numero denominado producto escalar y que denotaremos
por hx, yi tal que
49
50 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
El ejemplo mas sencillo de espacio eucldeo es el espacio Cn con el producto escalar estandar.
Otro ejemplo sencillo es el espacio C[a, b] de las funciones continuas en [a, b] cerrado y acotado
con el siguiente producto escalar
Z b
hf, gi = f (x)g(x)dx. (4.1.1)
a
||2 hf, f i + hf, gi + hg, f i + hg, gi = ||2 hf, f i + 2(hf, gi) + hg, gi 0.
0 ||2hf, f i + 2(hf, gi) + hg, gi = ||2 hf, f i + 2|||hf, gi| + hg, gi,
La demostracion se deja como ejercicio.2 Por ejemplo, en el espacio C[a, b] podemos definir la
norma por s
Z b
kf k = |f (x)|2 dx.
a
Definicion 4.1.4 Un espacio eucldeo E completo3 respecto a la norma inducida por un pro-
ducto escalar se denomina espacio de Hilbert y lo denotaremos por H.
2
p p
Es suficiente ver que kf + gk2 = hf + g, f + gi = hf, f i + 2hf, gi + hg, gi hf, f i + 2 hf, f i hg, gi + hg, gi
= (hf, f i + hg, gi)2 = (kf k + kgk)2 . El resto de los axiomas es inmediato.
3
Un espacio E es completo si cualquier sucesion de Cauchy en E converge a un vector de E.
4.1. Espacios eucldeos y espacios normados 51
En adelante nos interesaran los espacios de Hilbert H separables, es decir, aquellos espacios
de Hilbert que contienen un subconjunto numerable denso.
hn , m i = n,m kn k2 , n, m N. (4.1.4)
Por ejemplo, el sistema de funciones {1} {sen nx, cos nx}n=1 es un sistema ortogonal dos a
dos respecto al producto escalar
Z
hf, gi = f (x)g(x)dx.
lm kf sn k = 0.
n
Es facil ver que si los vectores (no nulos) 1 , . . . , n de un espacio eucldeo son ortogonales,
entonces son linealmente independientes.
1. Tomamos 1 = 1 /k1 k.
2. A continuacion escogemos 2 de la forma
2 = 2 + 2,1 1 ,
donde 2,1 es tal que 2 sea ortogonal al vector 1 , i.e. h1 , 2 i = 0, de donde se deduce que
2,1 = h1 , 2i. Entonces 2 = 2 /k2 k es ortonormal a 1 .
3. Paso n. Escogemos k , k 3, de la forma
n1
X
n = n + n,k k ,
k=1
52 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
donde los coeficientes n,k , n N, k = 1, . . . , n 1 son tales que n sea ortogonal a todos
los vectores k , k = 1, 2, . . . , n 1, anteriores. Usando la ortogonalidad es facil comprobar que
n,k = hk , n i, k = 1, 2, . . . , n 1. Finalmente definimos n = n /kn k que es ortonormal a
todos los vectores anteriores k , k = 1, 2, . . . , n 1. Y as sucesivamente.
Notese que del proceso anterior se sigue ademas que, para cada n 1,
n1
X n1
X
n = n + n,k k = n = n + n,k k .
k=1 k=1
Luego,
hk , n i = 0, k = 0, 1, . . . n 1 hk , n i = 0, k = 0, 1, . . . n 1.
Demostracion: Asumamos
sin perdida de generalidad que el sistema (n )n es ortonormal. En-
tonces kn m k = 2 si n 6= m. Sea el conjunto de las bolas de radio 1/2 y centro en cada
n , B(n , 1/2). Estas bolas no se interceptan, luego en casa bola hay un unico vector n de
nuestro sistema ortonormal. Sea ahora (k )k un conjunto numerable denso en E (pues este es
separable). Entonces, en cada bola B(n , 1/2) habra al menos un k , luego el numero de bolas
y por tanto de elementos n es numerable.
4.2. Operadores en H 53
4.2. Operadores en H
Definicion 4.2.1 Un operador Lb es una aplicacion de H en H1 , dos espacios de Hilbert, Lb :
H 7 H1 .
b
= B, b = A
L b = b = A(
L b B).
b
En general AbBb =
6 BbA,
b i.e., la multiplicacion de operadores no es conmutativa.
LbLb1 = Lb1 Lb = I.
b
En adelante vamos a usar la notacion de Dirac para los vectores, los operadores y los
productos escalares.
As, un vector de H lo denotaremos por |i (ket vector) y su correspondiente conjugado
h| (brac vector)4 . As, denotaremos el producto escalar h, i porh|i y ademas
b
h|L|i b
:= h|Li.
A los productos anteriores les denominaremos elementos matriciales del operador L.b En adelan-
te, a no ser que se especifique, asumiremos que los vectores estan normalizados a la unidad,
i.e., kk = 1.
b = hLb+ |i = h|Lb+ i
i.e., h|Li
4
Estos nombres vienen de la palabra inglesa bracket.
54 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
1. (Lb+ )+ = L,
b
b + = Lb+ , C,
2. (L)
3. (LbN
b )+ = N
b + Lb+ y
4. h|LbN
b |i = hLb+ |N
b i, , H.
N
X
b n=
L Ln,k k ,
k=1
Otro ejemplo son los Lb que admiten una representacion integral. Por ejemplo, supongamos
que H = L2 (R) y Z
b
L(x) = L(x, y)(y)dy,
R
b
donde L(x, y) es el nucleo del operador, entonces, si denotamos por L+ (x, y) al nucleo de L,
+
L (x, y) = L(y, x).
d(x)
b(x) = x(x),
x pb(x) = i~ , Pb(x) = (x),
dx
son hermticos. En el caso de operadores con representacion integral, estos seran hermticos si
su nucleo es tal que L(x, y) = L(y, x).
b B]
Proposicion 4.2.10 El conmutador [A, b de dos operadores hermticos Ab y Bb es tal que
b B]
[A, b = iL,
b
con Lb hermtico.
4.2. Operadores en H 55
b B]
Demostracion: Supongamos que [A, b =N
b . Entonces
b + = ([A,
N b B])
b + = [A,
b B]
b = N
b = b = iL,
N b
Demostracion:
b
L|i = |i = b
h|L|i = h|i = .
Por otro lado de (4.2.1) se sigue que
h|Lb+ |i = h|L|i
b = h|i = ,
b 1 i = 1 |1 i, L|
Demostracion: Sea L| b 2 i = 2 |2 i, entonces
b 1 i =1 h2 |1 i =
h2 |L|
h2 |Lb+ |1 i =h1 |L|
b 2 i = 2 h1 |2 i = 2 h2 |1 i,
UbUb+ = Ub+ Ub = I.
b
Proposicion 4.2.15 Si Ub es unitario, entonces todos sus autovalores son tales que || = 1.
b
Demostracion: Sea U|i = |i, entonces
56 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
3. Los autovalores.
AbBb BbAb = Lb = b
Ub+ AbBbUb Ub+ BbAbUb = Ub+ LbUb = ,
pero
(Ub+ AbU)(
b Ub+ BbU) abb bbb
b (Ub+ BbUb)(Ub+ AbUb) = b a = a, bb] = .
[b b
b+ = (Ub+ LbU) b
b + = Ub+ Lb+ Ub = Ub+ LbUb = .
b
3. Sea L|i = |i, entonces
(Ub+ LbU)(
b Ub+ )|i = (Ub+ |i) = b = |i.
|i
Definicion 4.2.18 Sea F (z) una funcion analtica en un entorno de z = 0 y sea F (z) =
P n b
n0 fn z su desarrollo en serie de potencias. Definiremos al operador F (L) mediante la serie
X
b =
F (L) fn Lbn .
n0
Por ejemplo
Lbn
= nLbn1 .
L b
b+
b F (Ab+ )] = dF (A ) .
[A,
dAb+
Ub = Ib + iAb + O(2 ).
Como Ib = Ub+ Ub = Ib + i(Ab Ab+ ) + O(2 ), deducimos que Ab = Ab+ , es decir Ab ha de ser un
operador hermtico. Si elegimos = /N, con N N entonces se puede comprobar que
!N
iAb b
UbN = Ib + b
eiA = U().
N
Supongamos que Lb es uno de tales operadores y denotemos por (|n i)n su conjunto com-
pleto de autovectores. Si todos los autovalores son simples entonces, como ya hemos visto, los
correspondientes autovectores son ortogonales. En el caso de que tengamos autovalores multiples
sus correspondientes autovectores se pueden ortogonalizar usando el metodo de Gram-Schmidt
que describimos antes. As pues asumiremos que (|n i)n es un sistema ortonormal (ortogonal
con k|n ik = 1).
Sea |i un vector cualquiera de H, entonces |i se puede desarrollar en serie de Fourier
respecto (|n i)n X
|i = fn |n i, fn = hn |i.
n
El recproco tambien es cierto:
Demostracion: Para demostrarlo vamos a probar que ambos se pueden diagonalizar al mismo
tiempo. Supongamos que conocemos el conjunto (|n i)n de los autovectores de L. b En esa base la
matriz de Lb es diagonal: Lm,n = n m,n . Como [L,
bN b ] = 0 entonces las matrices correspondientes
a LbN
b yN b Lb son iguales
X X
(LN)m,n = (NL)m,n = Lm,k Nk,n = Nm,k Lk,n =
k k
X X
m m,k Nk,n = Nm,k n k,n = Nm,n (n m ) = 0.
k k
Es decir, para cada t el estado esta determinado por un vector de H tal que kk = 1. De
aqu tambien se sigue que, dados los estados |1 i, . . . , |k i, la combinacion lineal |i =
P n 6
k=1 k |k i tambien es un (posible) estado .
Postulado 4.3.3 Sea |i el estado del sistema en el momento t justo antes de la medicion de
la magnitud (observable) L (asociada al operador L). b Independientemente de cual sea el estado
b
original |i, el resultado de la medicion solo puede ser un autovalor de L.
5
Supongamos que la multiplicidad de cierto autovalor k es g y sean k,j , j = 1, 2, . . . , g, los correspondientes
autovectores asociados. Entonces, como mucho hay g(g 1) elementos matriciales Nm,n no diagonales distintos
b |k,j i, donde i 6= j, i, j = 1, 2, . . . , g. Basta probar que existen ciertas
de cero, los correspondientes a hk,i |N
b |k,j i =
combinaciones lineales k,j de los correspondientes autovectores |k,j i, j = 1, 2, . . . , g, tales que hk,i |N
0.
6
Para cada t R el vector |i siempre se puede normalizar a la unidad (a no ser |i = 0).
60 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
Este postulado requiere una aclaracion y es que al hacer una medicion de Lb el sistema cambia
(las mediciones interfieren en el sistema). As pues, antes de medir L el sistema puede estar en
cualquier estado , pero al realizar la medicion, esta cambia al sistema y lo deja en el estado
determinado por el vector | i que pertenece al autoespacio de Lb correspondiente al autovalor
.7
Postulado 4.3.4 El valor esperado hLi de una cantidad fsica L cuando el sistema se encuentra
en el estado |i viene dado por el elemento matricial
b
hLi = h|L|i.
Este postulado tiene un significado fsico evidente pues nos indica que el promedio de las canti-
dades medibles posicion, impulso y energa (hamiltoniano) satisfacen las ecuaciones dinamicas
de la mecanica hamiltoniana (1.1.1), i.e, en el lmite apropiado (~ 0) la Mecanica cuantica
se transforma en la clasica (principio de correspondencia de Bohr).
Proceden unas aclaraciones. En general el Hamiltoniano H de un sistema clasico depende de
las coordenadas xi y los impulsos pi , i = 1, 2, 3, por lo que el operador Hb se obtiene cambiando
las xi por los correspondientes operadores x bi y pi por pbi . Esto, aunque en apariencia es trivial,
b
en general no lo es pues H debe ser hermtico (ya que corresponde a la magnitud fsica energa).
A esto regresaremos en breve, pero antes introduciremos nuestro ultimo postulado.
Postulado 4.3.6 Los operadores posicion x bi e impulso pbi , i = 1, 2, 3, satisfacen las relaciones
de conmutacion
[b bj ] = 0 = [b
xk , x pk , pbj ], [b b
xk , pbj ] = i~k,j I, (4.3.2)
donde ~ es una constante e i = 1.
ci = 1 (b
W xi pbi + pbi x
bi ).
2
2. Supongamos el sistema fsico se encuentra en el estado definido por |n i, autovector corres-
pondiente al autovalor n de cierto operador Lb asociado a la magnitud fsica L. Entonces8
b n i = n ,
hn |L| hn |Lbk |n i = kn .
Supongamos ahora que el sistema se encuentra en el estado P |i que es en una superposicion de
los estados |k i, k = 1, 2, . . . , N, entonces como |i = k fk |k i tenemos
X
b
h|L|i = |fk |2 k .
k
Lo anterior indica, en virtud de postulado 4.3.4, que la cantidad |fk |2 es la probabilidad con que
se observa el valor k al hacer una medicion. Lo anterior implica ademas que tras la medicion
el sistema va a parar al estado definido por un vector del espacio generado por los autovectores
correspondientes a k . As pues, en el caso de que el autovalor k sea simple la probabilidad
de que el sistema estando en un estado original definido por el vector |i termine en el estado
definido por |k i es
Prob(|i 7 |k i) = |fk |2 = |hk |i|2 .
Notese que esta probabilidad es por tanto invariante ante transformaciones unitarias: k 7
b k = k , |i 7 U|i
U b pues Prob(|i 7 |k i) = Prob(|i
= |i 7 |k i). Luego el sistema
fsico es invariante frente a cualquier transformacion unitaria.
3. Dada cualquier cantidad fsica clasica L le podemos adicionar la cantidad xi pj pj xi sin
cambiarla. Si transformamos L en su operador Lb ya no le podemos adicionar el correspondiente
bi pbj pbj x
operador x bi pues este no es nulo (ver postulado 4.3.6).
Ahora bien, tomando las derivadas funcionales
xi pbj pbj x
(b bi ) = xi pbj pbj x
(b bi ) = 0,
b
xi b
pi
bi pbj pbj x
i.e., x bi pbj pbj x
bi es proporcional al operador identidad x b Si ademas x
bi = I. bi y pbj son
hermticos entonces, necesariamente, = i~ (ver la Proposicion 4.2.10) donde ~ R que no es
mas que la relacion de conmutacion del postulado 4.3.6.
8
Recuerdese que los estados estan normalizados a la unidad.
62 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
K
X
bk =
P |k,j ihk,j |
j=1
Es facil comprobar que en este caso se tiene las mismas propiedades que en el caso cuando K = 1.
Tambien es facil comprobar que en este caso la probabilidad de obtener el valor k vuelve a ser
|hk |i|2 donde ahora k es el projector ortogonal sobre todo el subespacio asociado a k .
Supongamos que tenemos dos autovalores distintos k y k . Entonces los autoespacios
correspondientes Lk y Lk son ortogonales, luego
Pbk Pbk = 0, k 6= k .
Si ademas el operador Lb asociado a la magnitud L tiene un sistema de autovectores que con-
forman una base de H entonces el operador
X
PbL := bk = I.
P b
k
Es decir, todo operador hermtico cuyo conjunto de autovectores es completo esta completa-
mente determinado por sus autovalores y autovectores. Este es el conocido Teorema espectral
de operadores hermticos en espacios de Hilbert.
As pues, si tenemos un sistema en cierto estado y sobre el medidimos el valor de cierta
magnitud L obtendremos como resultado un autovalor del operador Lb asociado a la magnitud
L con probabilidad Prob(|i 7 |k i) = kP bk |ik2 siendo el estado final del sistema el definido
por el vector Pbk |i, donde P
bk es el projector ortogonal al subespacio asociado al autovalor k
obtenido.
4.5. bi y pbi
Representacion de los operadores x
Escojamos como espacio de Hilbert de nuestro sistema el conjunto de las funciones de
cuadrado integrable H = L2 (), |i = (x). Definiremos el operador x
bi en L2 () como el
b Luego x
bi := xi I.
operador x bk (x) = xk (x).
Quien es pbj ? Por simplicidad vamos a trabajar solamente en dimension 1 (solo la proyeccion
en el eje de las x). Nuestro objetivo es encontrar un operador pb tal que cumpla las relaciones
de conmutacion (4.3.2).
Del postulado 4.3.6 se sigue que
1. [b bx
b] = pbx
p, x b
bpb = i~I,
2. [b b2 ] = pbx
p, x b2 x
b2 pb = 2i~b
x,
..
.
xn
b
3. [b bn ] = pbx
p, x bn x
bn pb = ni~b
xn1 = i~ .
b
x
bk (x) = xk (x),
o equivalentemente, usando que x
F (x)
pb[F (x)(x)] F (x)b
p(x) = i~ (x),
x
de donde escogiendo10 (x) = 1 obtenemos, sustituyendo pb1 = (x) la expresion
F (x)
pbF (x) = i~ + F (x)(x).
x
En general
F (x1 , x2 , x3 )
pbk F (x1 , x2 , x3 ) = i~ + F (x1 , x2 , x3 )k (x1 , x2 , x3 ).
xk
pk , pbj ] = 0, k = 1, 2, 3, luego
Pero [b
2 1 3 2 1 3
= = = 0.
x1 x2 x2 x3 x3 x1
Las ecuaciones anteriores son ciertas si k = xk
, k = 1, 2, 3, siendo una funcion lo suficien-
temente buena.
As pues, los operadores pbk deben tener la forma
b
pbk = i~ + I.
xk xk
Hagamos ahora la transformacion unitaria
que, como sabemos, no cambia ni los elementos matriciales, ni las relaciones de conmutacion, ni
los autovalores, ni la hermiticidad de los operadores (i.e., estos mantendran el mismo significado
fsico de antes):
i/~ b i/~ b
pbk = e i~ + I e I = i~ .
xk xk xk
F (b
p)
[b
x, F (b
p)] = i~ . (4.5.2)
bp
Por sencillez, en adelante asumiremos que el Hamiltoniano del sistema se expresa mediante
la formula
X3
b b b b pb2k
H = T +V, T = ,
i=1
2m
V (b
x) b
H
[b b = [b
p, H] x)] = i~
p, V (b = i~ (4.6.1)
bx b
x
Supongamos ahora que los vectores de estado no dependen del tiempo pero los operadores
s que pueden, en principio, depender del tiempo (es decir consideremos la representacion de
Heisenberg). Entonces del postulado 4.3.5 se tiene que
db
p b
H
= ,
dt b
x
de donde se sigue que
db
p i b
= [bp, H]. (4.6.2)
dt ~
De forma analoga, pero usando (4.5.2), se deduce la segunda ecuacion de Heisenberg
db
x i b
= [b
x, H]. (4.6.3)
dt ~
11
Recordemos que estamos usando indistintamente la notacion x1 , x2 , x3 y x, y, z para denotar las coordenadas
espaciales.
66 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
y, por otro,
i i i
i
h|[b b
p, H]|i = h|b b
pH|i b p|i = pb H
h|Hb b + b pb ,
H
~ ~ ~ ~
|i b
i~ = H|i. (4.6.4)
t
La ecuacion anterior se denomina ecuacion de Schrodinger y es la ecuacion de evolucion de la
Mecanica cuantica.
|i Ub+ i b iHt/~
b i b
= |i = He |i = H|i,
t t ~ ~
i.e., la ecuacion de Schrodinger (4.6.4).
Supongamos que ahora Lb no depende de t (estamos en la representacion de Schrodinger).
Entonces,
b Ub b b+ b Lb b+ b b Ub+ i bb bb i b b
= LU + U U + UL = (H H) = [H, ]. (4.6.5)
t t t
|{z} t ~ ~
=b
0
Definicion 4.6.1 Se dice que una cantidad observable Ab es una integral de movimiento si
d d b
hai = h|A|i = 0.
dt dt
Es decir, una magnitud es una integral de movimiento si dicha magnitud se conserva en media.
Calculamos la derivada del elemento matricial
d b Ab
b
h|A|i = A + b
+ A .
dt t t t
El test de consistencia
Probemos que tambien tenemos aqu el test de consistencia d/dt(k|ik2 ) = 0. Sea la ecua-
cion de Schrodinger (4.6.4) y sea su conjugada
h| b+.
i~ = h|H
t
Tomando el producto escalar de esta ultima por |i (por la derecha) y de (4.6.4) por h| (por
la izquierda) obtenemos, respectivamente
b |i = i~
h|H + , h|H|i
b = i~ ,
t t
b tenemos
de donde, restando ambas y usando la hermiticidad de H
k|ik2
0= + = h|i = .
t t t t
68 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
|n i = eiEn t/~ |n i,
Ab = Ab hAiI,
b Bb = Bb hBiI,
b
donde hAi y hBi son los valores medios de Ab y Bb en el estado |i. Entonces, como [A,
b B]
b = iL,
b
con Lb hermtico, se sigue que [A,
b B]
b = iL.b
4.8. La mecanica matricial 69
b b 1 b b b b
h|AB|i = h|AB|i h|AB|i
2i
1
= b b b +
h|AB|i h|B A |i b+
2i
1
= b B|i
h|A b h|Bb A|i
b
2i
1 b B]|i
b 1 b
= h|[A, = h|L|i.
2i 2
Sea Lb = x
bk . Entonces, usando (4.5.2) tenemos
Hb
b x
[H, bk ] = [Tb, x
bk ] = i~ .
b
pk
Sustituyendo lo anterior en (4.9.1) obtenemos
* +
d Hb
hxk i = .
dt b
pk
Hb
b pbk ] = [Vb , xk ] = i~
[H, ,
b
xk
de donde, usando (4.9.1), se sigue que
* +
d Hb
hpk i = .
dt b
xk
4.10. Problemas
Problema 4.10.1 Dado tres operadores pb, qb y rb, prueba la identidad de Jacobi
b b 1 b 1 b b
eLb
aeL = b
a+ [L, b
a] + [L, a]] +
[L, b
1! 2!
b b
a(t) = etL b
Ayuda: Encuentra la EDO que satisface el operador a(t) definido por b aetL , donde b
a no
depende del tiempo y desarrolla la funcion b
a(t) en potencias de t.
Problema 4.10.3 Para el caso unidimensional encuentra los operadores hermticos conjugados
a los siguientes operadores:
d d d d
, x , pbx , x .
dx dx dx dx
b y M
Problema 4.10.5 Prueba que el producto de dos operadores hermticos L c siempre se
puede escribir como
bM
L c=A b + B,
b
donde Ab es hermtico y B
b es antihermtico: B
b + = B.
b
72 Captulo 4. Mecanica Cuantica II: Espacios de Hilbert
Captulo 5
El objetivo del cambio es convertir la ecuacion anterior en una mas sencilla o por lo menos
menos complicada que (5.1.1), as que al menos debemos tener
siendo un polinomio de grado a lo mas uno y, por tanto, polinomio de grado a lo mas uno.
Lo anterior transforma nuestra ecuacion original (5.1.1) en la siguiente
(z) (z)
y (z) + y (z) + 2 y(z) = 0,
(z) (z)
(z) = e(z) + 2(z), (5.1.3)
Como es un polinomio de grado dos a lo sumo, impongamos que sea proporcional al propio
, es decir que (z) = (z). Ello es posible pues tiene dos coeficientes indeterminados
los coeficientes del polinomio y es una constante a determinar, lo que nos conduce a
73
74 Captulo 5. Resolviendo la ecuacion de Schrodinger
tres ecuaciones al igualar los coeficientes de y con tres incognitas. Hecho esto, nuestra
ecuacion se transforma en la ecuacion hipergeometrica
o, equivalentemente,
2 (z) + [e
(z) (z)](z) + {e
(z) [ (z)](z)} = 0.
Supongamos que k = (z) es conocido, entonces tenemos una ecuacion de segundo orden
para (z), luego
s 2
(z) e(z) (z) e(z)
(z) =
e(z) + k(z), (5.1.5)
2 2
pero (z) ha de ser un polinomio de grado a lo sumo uno, por tanto el polinomio
2
(z) e(z)
(z) =
e(z) + k(z) (5.1.6)
2
ha de ser un cuadrado perfecto, es decir su discriminante debe ser cero, lo que nos conduce a
una ecuacion para encontrar k. El k encontrado lo sustituimos en (5.1.5) y obtenemos (z), el
cual nos conduce directamente a = (z) + k.
Obviamente el metodo anterior da distintas soluciones en funcion del k que escojamos y del
convenio de signos en (5.1.5).
y (m) := ym satisfacen una ecuacion del mismo tipo. En efecto, si derivamos (5.1.7) m veces
obtenemos que ym satisface una ecuacion de la forma
(x)ym + m (x)ym + m ym = 0,
Es evidente que grado m 1 y que m es una constante. Ademas, toda solucion de (5.1.8)
es necesariamente de la forma ym = y (m) siendo y solucion de (5.1.7). La demostracion es por
induccion y la omitiremos.
Vamos a intentar encontrar las soluciones polinomicas de (5.1.7). Para encontrarlas comen-
zaremos escribiendo (5.1.7) y (5.1.8) en su forma simetrica o autoconjugada
[(x)(x)y ] + (x)y = 0,
(5.1.9)
[(x)m (x)ym ] + m m (x)ym = 0,
donde y m son funciones de simetrizacion que satisfacen las ecuaciones diferenciales de primer
orden (conocidas como ecuaciones de Pearson)
[(x)(x)] = (x)(x),
(5.1.10)
[(x)m (x)] = m (x)m (x).
m = m (n ) = (n m)[ + 21 (n + m 1) ]. (5.1.14)
Demostracion: Para demostrar el teorema vamos a escribir la ecuacion autoconjugada para las
derivadas de la siguiente forma
1
m (x)ym = [m+1 (x)ym+1 ] ,
m
76 Captulo 5. Resolviendo la ecuacion de Schrodinger
luego
m1
Y
Am dnm m
m (x)ym = [n (x)yn ] , Am = (1) k , A0 = 1.
An dxnm k=0
(n)
Como estamos buscando soluciones polinomicas, y := Pn , tenemos que Pn es una constante;
(m)
por tanto, para las derivadas de orden m, Pn , obtenemos la expresion
Anm Bn dnm
Pn(m) (x) = [n (x)],
m (x) dxnm
(n)
donde Anm = Am () y Bn = Pn(n) /Ann . Como Pn es una constante, de (5.1.8) obtenemos
=n
que n = 0, luego, usando la expresion (5.1.8)
n(n 1)
:= n = n . (5.1.15)
2
Sustituyendo (5.1.15) en (5.1.8) obtenemos el valor de nm = m (n )
nm = m (n ) = (n m)[ + 12 (n + m 1) ], (5.1.16)
Qm1
de donde, usando que Anm = Am (n ) = (1)m k=0 nk , deducimos el valor de la constante
Anm .
En la prueba hemos asumido que nk 6= 0 para k = 0, 1, . . . , n 1. De la expresion explcita
(5.1.16) deducimos que para que ello ocurra es suficiente que + n /2 6= 0 para todo n =
0, 1, 2, . . . . Notese que esta condicion es equivalente a n 6= 0 para todo n N. Ademas, de ella
se deduce que n 6= 0 para todo n N. Esta condicion se conoce como condicion de regularidad
o de admisibilidad. Notese ademas que nk = n k , luego nk 6= 0 para k = 0, 1, . . . , n 1
implica que n 6= k si n 6= k.
Cuando m = 0 la formula (5.1.12) se convierte en la conocida formula de Rodrigues para
los polinomios clasicos
Bn dn n
Pn (x) = [ (x)(x)], n = 0, 1, 2, . . . (5.1.17)
(x) dxn
Veamos ahora como a partir de las ecuaciones diferenciales simetrizadas (5.1.9) podemos
demostrar la ortogonalidad de las soluciones polinomicas respecto a la funcion peso .
1
Qm1 n+k
Usando la expresion (5.1.15) podemos obtener una expresion alternativa Anm = (n)m k=0 (n+k) .
5.1. El metodo de Nikiforov-Uvarov 77
(k)
De forma analoga, utilizando la ecuacion (5.1.9) para las derivadas yk := Pn , se puede
demostrar que las kesimas derivadas de los polinomios hipergeometricos tambien son ortogo-
nales, es decir, que Z b
Pn(k) (x)Pm(k) (x)k (x)dx = n,m d2kn . (5.1.20)
a
Teorema 5.1.3 Los polinomios ortogonales satisfacen una relacion de recurrencia a tres termi-
nos de la forma
xPn (x) = n Pn+1 (x) + n Pn (x) + n Pn1 (x), (5.1.22)
donde
an bn bn+1 cn n cn+1 bn an1 d2n
n = , n = , n = n = , (5.1.23)
an+1 an an+1 an1 an1 an d2n1
Pero como el grado de xPk (x) es k + 1, entonces cnk = 0 para todo 0 k < n 1, de donde
se concluye que la SPO satisface una relacion (5.1.22). Ademas, los coeficientes n , n , y n se
expresan mediante las formulas:
Z b Z b
1 1
n = xPn (x)Pn+1 (x)(x)dx, n = 2 xPn (x)Pn (x)(x)dx,
d2n+1 a dn a
Z b
(5.1.24)
1
n = xPn (x)Pn1 (x)(x)dx.
d2n1 a
Para probar (5.1.23) basta sustituir la expresion Pn (x) = an xn +bn xn1 +cn xn2 + en (5.1.22)
e igualar las potencias xn+1 , xn y xn1 . Finalmente como xPn1 = n1 Pn +n1 Pn1 +n1Pn2 ,
Z b Z b
1 1
n = Pn (x)[xPn1 (x)](x)dx = n1 Pn2 (x)(x)dx,
d2n1 a d2n1 a
El teorema anterior se conoce como Teorema de Favard, aunque haba sido demostrado antes
por O. Perron (1929), A. Wintner (1929) y M. H. Stone (1932), J. Sherman (1935) y I. P.
Natanson (1935) indistintamente.
Una consecuencia inmediata de la RRTT es el siguiente teorema cuya prueba dejamos como
ejercicio al lector
Teorema 5.1.5 Si (Pn )n es una sucesion de polinomios ortogonales que satisface la relacion
de recurrencia a tres terminos (5.1.22). Entonces se cumple que
Xn
Pm (x)Pm (y) n Pn+1 (x)Pn (y) Pn+1 (y)Pn (x)
Kern (x, y) 2
= 2
, n 1. (5.1.26)
m=0
d m d n x y
Una propiedad muy importante de los polinomios ortogonales esta relacionada con los ceros
de los mismos. As, se tiene el siguiente teorema fundamental cuya demostracion omitiremos
(ver e.g. [1]):
Teorema 5.1.6 Supongamos que (x) es positiva en el interior del intervalo (a, b). Entonces:
1. Todos los ceros de Pn son reales, simples y estan localizados en (a, b).
3. Denotemos por xn,j a los ceros del polinomio Pn , (consideraremos en adelante que xn,1 <
xn,2 < < xn,n ). Entonces:
Calculemos ahora la relacion de recurrencia (5.1.22) a tres que satisfacen los polinomios
clasicos. Para calcular los coeficientes usando las expresiones de (5.1.23) tenemos antes que
encontrar una expresion general para los coeficientes principales an y bn del polinomio Pn .
(n)
Para calcular an usamos que, por un lado Pn (x) = n!an y por el otro, utilizando la formula
(n)
de Rodrigues (5.1.12) Pn (x) = Bn Ann , por tanto,
Y n1
Bn Ann
an = = Bn [ + 12 (n + k 1) ]. (5.1.28)
n!
k=0
Luego,
nn1 (0)
bn =
an . (5.1.29)
n1
Observese que, al ser n 6= 0, bn esta definido para cualquier n.
Usando las expresiones (5.1.23) as como (5.1.29) deducimos
an Bn + (n 1) 2 Bn n 2n 2n + 1
n = = =
an+1 Bn+1 ( + (2n 1) 2 )( + (2n) 2 )
Bn+1 n 2n 2n+1
Vamos a dar una expresion alternativa para n sin usar la norma de los polinomios. Para
ello igualamos los coeficientes de xn2 en la ecuacion diferencial (5.1.7). Ello nos conduce a la
expresion
(n 1)[ (0) + (n 2) (0)]bn + n(n 1)(0)an
cn =
(n 2)[ + (n 3) 2 ] + n
(5.1.30)
n(n 1)[n2 (0)n1 (0) + (0)n1 ]
=
an .
n1 (n n2 )
Luego nos resta sustituir la expresion anterior en la formula2 (5.1.24)
cn n cn+1 bn
n = n .
an1 an1
La primera consecuencia inmediata de la formula de Rodrigues es que (x) debe ser nece-
sariamente un polinomio de grado exactamente uno. En efecto, si calculamos el polinomio de
grado 1 utilizando la formula de Rodrigues (5.1.17) obtenemos
B1
P1 (x) = [(x)(x)] = B1 (x), (5.1.31)
(x)
y por tanto es un polinomio de grado exactamente uno. Notese que esta formula es equivalente
a la formula de Pearson (5.1.10).
(m)
Si escribimos la formula de Rodrigues (5.1.12) para las derivadas3 Pn+m con n = 1 tenemos
n Bn dn1 n (x)
Utilizando ahora que Pn (x)
= , obtenemos la formula de diferenciacion,
(x)(x) dxn1
comunmente denominada caracterizacion de Al-Salam & Chihara,
n Bn
(x)Pn (x) = n (x)Pn (x) Pn+1 (x) , (5.1.33)
nn Bn+1
o, equivalentemente,
n 2n
I (x)D Pn (x) = n Pn+1 (x). (5.1.34)
nn 2n
Teorema 5.1.7 Los polinomios ortogonales Pn (x), soluciones de la ecuacion (5.1.7), satisfacen
la siguiente relacion de estructura
donde
n Bn n n n
en = n n , en = [n n + n (0)] , en = 6= 0. (5.1.37)
nn Bn+1 nn n
82 Captulo 5. Resolviendo la ecuacion de Schrodinger
Las expresiones (5.1.37) anteriores para los coeficientes de la relacion de estructura pueden
reescribirse usando las formulas explcitas para los coeficientes de la relacion de recurrencia de
la siguiente forma
n n n n
en = n
n , en =
[ (0) (0)] = n (n ), en = . (5.1.38)
2 n n1 nn n
Teorema 5.1.8 Los polinomios de tipo hipergeometricos (clasicos) pn (x) son las unicas so-
luciones de
p la ecuacion hipergeometrica (z)y + (z)y + y = 0, tales que las funciones
n (x) = (x)pn (x), donde (x) es la funcion peso con respecto a la cual los pn son orto-
gonales, son acotadas y de cuadrado integrable en (a, b), siendo (a, b) el soporte de la funcion
peso.
Nota 5.1.9 Si queremos que la funcion peso sea positiva e integrable en el interior del intervalo
de ortogonalidad y suponemos que (x) > 0 en dicho intervalo se puede comprobar que el
polinomio ha de cumplir dos propiedades importantes:
Parametros principales
(x) 1 x 1 x2
(x) 2x x + + 1 ( + + 2)x +
n 2n n n(n + + + 1)
2
(x) ex x ex (1 x) (1 + x)
> 1 , > 1
2
n (x) ex xn+ ex (1 x)n+ (1 + x)n+
Representacion hipergeometrica
(1)n (n + + 1) n
Ln (x) = 1 F1
x , (5.1.42)
( + 1) +1
2n ( + 1)n n, n + + + 1 1 x
Pn, (x) = 2 F1
. (5.1.43)
(n + + + 1)n +1 2
Como consecuencia de las formulas anteriores podemos obtener los valores de los polinomios
en los extremos del intervalo de ortogonalidad. Estos valores pueden ser obtenidos tambien a
partir de la formula de Rodrigues (5.1.12) aplicando la regla de Leibniz para calcular la n-esima
4
Pn Para ello(k)basta usar la regla de Leibnitz para calcular la n-esima derivada de un producto (f g)(n) =
(nk)
p
k=0 t nkf g . Otra posibilidad es usar series de potencias y el metodo de coeficientes indeterminados
de Euler (ver e.g. [6, 21]).
84 Captulo 5. Resolviendo la ecuacion de Schrodinger
(1)n (1)n
Bn (1)n
2n (n + + + 1)n
n( )
bn 0 n(n + )
2n + +
n! 2++2n+1 n!(n++1)(n++1)
d2n 2n (n + + 1)n! (n+++1)(2n+++1)(n+++1)2n
n 1 1 1
2 2
n 0 2n + + 1 (2n++)(2n+2++)
n 4n(n+)(n+)(n++)
n 2 n(n + ) (2n++1)(2n++)2 (2n+++1)
en
0 0 n
2( )n(n + + + 1)
en 0 n
(2n + + )(2n + 2 + + )
4n(n + )(n + )(n + + )(n + + + 1)
en
n n(n + )
(2n + + 1)(2n + + )2 (2n + + + 1)
Casos particulares
12 , 12
4. Los polinomios de Gegenbauer Gn (x) = Pn (x), > 21 .
~2 1
(x) + m 2 x2 (x) = E(x), x R.
2m 2
p
Haciendo el cambio x = x0 , x0 = ~/(m), E = ~/2, se transforma en la ecuacion
() + ( 2 )() = 0,
6 4 2 2 4 6
x 6 4 2 2 4 6
x
2 2
|2 | |10 |
0,5 0,5
0,4 0,4
0,3 0,3
0,2 0,2
0,1 0,1
6 4 2 2 4 6
x 6 4 2 2 4 6
x
As pues, a diferencia del oscilador clasico, el oscilador cuantico tiene una energa discreta
definida por la expresion En = ~(n + 1/2), n = 0, 1, 2, . . . correspondiente al estado
s 2
2n 12 xx x p
(x) = e 0 Hn , n = 0, 1, 2, . . . , x0 = ~/(m).
x0 n! x0
Finalmente, mencionemos que las autofunciones del oscilador definen una base ortogonal
completa en el espacio de las funciones de cuadrado integrable y por tanto las podemos usar
para desarrollar en la misma cualquier funcion de este espacio.
5.2. Resolucion de la ecuacion de Schrodinger 87
o bien
1
= r + ,
r2
donde
1 2 1 1 2
r = 2 r , = sen +
r r r sen sen2 2
denotan a los laplacianos radial y angular respectivamente.
Por simplicidad vamos a reescribir la ecuacion anterior en la forma
1
r + 2 (r, , ) + [ v(r)](r, , ) = 0, (5.2.4)
r
Y (, ) + Y (, ) = 0,
h i (5.2.5)
r F (r) + v(r) 2 F (r) = 0,
r
se transforma en
Z 2 Z Z
2
|Y (, )| sen dd = 1 y |F (r)|2r 2 dr = 1. (5.2.6)
0 0 0
5
Al ser el potencial de interaccion V (r) un potencial central, i.e., solo depende del radio, es mas sencillo
resolver la ecuacion en coordenadas esfericas r, , .
88 Captulo 5. Resolviendo la ecuacion de Schrodinger
() + () = 0,
() (5.2.7)
sen sen + [ sen2 ]() = 0,
donde es cierta constante.
Asumamos que la funcion es univalente, entonces, de la condicion de periodicidad ( +
2) = () se sigue que = m2 , m Z. Luego
m () = Cm eim , m Z.
2
con n = 2Cm . Si queremos que sean normalizadas a la unidad entonces Cm = 1/ 2.
As tenemos las soluciones
1
m () = eim , m Z. (5.2.8)
2
La segunda ecuacion en (5.2.7) se transforma entonces en
()
sen sen + [ sen2 m2 ]() = 0,
2x (1 x2 ) m2
(x)
(x) + (x) = 0.
1 x2 (1 x2 )2
Esta ecuacion del tipo (5.1.1) con
Si ahora tenemos en cuenta la nota 5.1.9 tenemos que de las cuatro opciones debemos escoger
(x) = 2(m + 1)x correspondiente a (x) = mx, k = m2 , = k + = m(m + 1).
Para calcular7 usamos (5.1.2) que nos da
mx
= = (x) = (1 x2 )m/2 .
1 x2
La ecuacion de tipo hipergeometrico que obtenemos es, por tanto,
(1 x2 )y 2(m + 1)xy + y = 0,
que tiene soluciones polinomicas segun (5.1.15) cuando = n(2m + n + 1), luego
= (m + n)(n + m + 1), n, m = 0, 1, 2, . . . .
Notese que
Z 1 Z 1
m,m
l m (x)l m (x)dx = Clm Cl m Plm (x)Plm,m 2 m
m (x)(1 x ) dx = 0, l 6= l ,
1 1
ademas, si l = l , y haciendo n = l m
Z 1 Z 1
2 22l+1 (l m)!(l + m)!(l!)2
[l m (x)] dx = [Pnm,m (x)]2 (1 x2 )m dx = ,
1 1 (2l + 1)!(2l)!
luego si queremos que l m (x) sean ortonormales, es decir que se cumpla la segunda condicion
de (5.2.6) basta definir s
(2l)! 2l + 1
Clm = 2l+1
.
l! 2 (l m)!(l + m)!
As
s
(2l)! 2l + 1 m,m
l m (x) = (1 x2 )m/2 Plm (x), l 0, m = 0, 1, . . . l. (5.2.10)
l! 22l+1 (l m)!(l + m)!
7
No confundir la funcion (x) con el angulo en coordenadas esfericas. Abusando de la paciencia del lector
y para no introducir otra notacion diferente hemos optado por mantener la notacion original de [16].
8
Notese que l m 0. Es decir, si fijamos l, entonces m = 0, 1, 2, . . . l.
90 Captulo 5. Resolviendo la ecuacion de Schrodinger
Solo nos queda pendiente analizar que ocurre si m < 0 (ver (5.2.8)). Para ello escribiremos
(m,m)
(5.2.10) usando la expresion analtica de Plm (x) mediante la formula de Rodrigues (5.1.17)
s
(1)lm (2l + 1)(l + m)! 2 m/2 d
lm
l m (x) = (1 x ) [(1 x2 )l ] (5.2.11)
l! 22l+1 (l m)! dlm x
Si ahora usamos la ecuacion (5.1.47) tenemos
(l m)! dm
m,m
Plm (x) = Pl (x),
l! dm x
donde Pl (x) son los polinomios de Legendre de grado l, expresados analticamente mediante la
formula de Rodrigues
(1)l l! dl
Pl (x) = l
[(1 x2 )l ]
(2l)! d x
Combinado las dos expresiones anteriores con (5.2.10) tenemos otra representacion de las fun-
ciones l m (x)
s
l l+m
(1) (2l + 1)(l m)! 2 m/2 d
l m (x) = 2l+1
(1 x ) l+m
[(1 x2 )l ]. (5.2.12)
l! 2 (l + m)! d x
Comparando (5.2.11) y (5.2.12) se deduce que
l m (x) = (1)m l m (x), m = 0, 1, 2, . . . , l.
La expresion anterior permite definir la funcion l m (x) para m < 0. As, para = l(l + 1),
l = 0, 1, 2, . . . y m = l, l + 1, . . . , l, tenemos que las funciones Y (, ) := Yl m (, ) se define
por la expresion
1
Yl m (, ) = eim l m (cos ), l = 0, 1, 2, . . . , m = l, l + 1, . . . , l. (5.2.13)
2
Estas funciones se denominan armonicos esfericos.
La ecuacion (5.2.14) sera nuestro punto de partida para resolver dos casos de extrema
importancia en las aplicaciones: el atomo de hidrogeno y el oscilador armonico tridimensional.
1 2
9
La razon fundamental es que 1
r 2 r r2 Fr(r) = r r 2 [rF (r)].
5.2. Resolucion de la ecuacion de Schrodinger 91
El atomo de hidrogeno
Puesto que para el atomo de hidrogeno V (r) = /r, (5.2.14) tiene la forma
2m l(l + 1)
R (r) + E+ R(r) = 0.
~2 r r2
Como () = 2(), tenemos, usando la nota 5.1.9 que < 0, luego < 0 de donde elimina-
mos las dos primeras. De las dos posibilidades restantes para el polinomio () seleccionamos,
siguiendo nuevamente la nota 5.1.9, la que conduce a una funcion que se anule para algun
> 0, es decir
() = 2 + (l + 1) .
Dicha solucion corresponde a k = 2 2(2l + 1), luego la otra posibilidad, como se puede
comprobar, conduce a una funcion no integrable en (0, +)
() = 2(l + 1 2) = k + () = 2(1 (l + 1) 2).
e
xy (x) + [(2l + 1) + 1 x]y (x) + y(x) = 0, e = ,
2 2
92 Captulo 5. Resolviendo la ecuacion de Schrodinger
1
:= n,l = , n, l = 0, 1, 2, . . .
2(n + l + 1)2
|Rn,l |2
0,5
0,4
0,3
|R0,0 |2
0,2
0,1
x
5 10 15 20 25
|Rn,l |2 |R1,0 |2
0,5 |R1,1 |2
0,4
|R1,2 |2
0,3
0,2
0,1
x
10 20 30 40 50
Ahora bien,
Z Z Z
2 2 2l+2 x
Rn l (x)dx = Nn,l x e (L2l+1
n (x))2 dx = 2
Nn,l (x)x(L2l+1
n (x))2 dx
0 0 0
= Nn,l n d2n
2
= 2
Nn,l 2(n + l + 1)n!(n + 2l + 2),
5.2. Resolucion de la ecuacion de Schrodinger 93
Entonces teniendo en cuenta que la parte radial es F (r) = R(r)/r, las autofunciones de la
ecuacion de Schrodinger para el atomo de hidrogeno (5.2.2) tienen la forma
2xl ex/2
n,l,m(r, , ) = p L2l+1
n (x)Yl m (, ), n, l = 0, 1, 2, . . .
2
a0 (n + l + 1) a0 n!(n + 2l + 1)!
2r
donde x = a0 (n+l+1)
, a0 = ~2 /(m) y sus correspondientes autoenergas E son por tanto
m2 1 m2 1
En,l = = , n = 1, 2, 3, . . .
2~2 (n + l + 1)2 2~2 n 2
que, teniendo en cuenta que = e2 , nos conduce a la misma expresion10 de Bohr (2.3.1).
Para convertir esta ecuacion en una del tipo (5.1.1) hacemos el cambio z = 2 , as tendremos
1 z z 2 l(l + 1)
R (z) + R (z) + R() = 0.
2z 4 2
donde tendremos
(z) = 2z, e(z) = z z 2 l(l + 1),
e() = 1.
Por tanto, tenemos
2
1 p 2 1
(z) = (z), (z) = z + (2k )z + l + ,
2 2
1
y para que este sea un cuadrado perfecto en z, k debe tomar los valores k = /2 l + 2
,
luego para (z) tenemos las siguientes dos opciones
(z) = z + l + 1.
10
En nuestra formula n no representa al numero cuantico principal. Este correspondera al valor n = n+ l + 1.
94 Captulo 5. Resolviendo la ecuacion de Schrodinger
Como (z) = 1 + 2(z), tenemos, usando la nota 5.1.9 que < 0, luego < 0 de donde
deducimos que
(z) = z + l + 1,
1
que corresponde a k = /2 l + 2 , luego
3
(z) = 2z + 2l + 3 = k + (z) = l .
2 2
Usando (5.1.2) tenemos
(z) z + l + 1
= = (z) = z (l+1)/2 ez/2 .
(z) 2z
Entonces la solucion de nuestra ecuacion es del tipo R(z) = z (l+1)/2 ez/2 y(z), siendo y la solucion
de la ecuacion
zy (z) + [z + l + 3/2]y (z) + y(z) = 0.
2
l+1/2
que corresponde a los polinomios de Laguerre Ln (z). Ademas, como /2 = n, y = k +
(z) = 2 l 23 , luego
3
:= n,l = 2 2n + l + , n, l = 0, 1, 2, . . .
2
As, fijados n y l, la parte radial es Fn l (r) = Rn l (r)/r donde
2
(l+1)/2 z/2 r
Rn l (z) = Nn,l z e Ll+1/2
n (z), z= = 2
,
r0
con Nn,l tal que Z Z
Rn2 l (r)dr =1 = r0 Rn2 l ()d = 1,
0 0
pero
Z Z 2 Z 2
R(z)2 Nn,l Nn,l
Rn2 l ()d = 2
Nn,l dz = z l+1/2 ez (Ll+1/2
n (z))2 dz = ,
0 0 2z 2 0 2
l+1/2
donde d2n es el cuadrado de la norma de los polinomios de Laguerre Ln , i.e., d2n = n!(n +
l + 3/2). Luego s
2
Nn,l = .
r0 n!(n + l + 3/2)
0,8 |R1,0 |2
0,6
|R2,0 |2
0,4
0,2
x
1 2 3 4 5
|Rn,l |2 |R0,2 |2
0,8 |R1,2 |2
0,6
|R2,2 |2
0,4
0,2
x
1 2 3 4 5
H+ := x + D, H := x D
Notese que H = H .
Los operadores H+ y H son uno el adjunto del otro. En efecto,
Z b Z b Z b
(x)H+ (x)dx = (x)x(x)dx + (x) (x)dx
a a a
Z b b Z
b
= (x)x(x)dx + (x)(x) (x)(x)dx
a a
a
Z b Z b
= (x D)(x)(x)dx = H (x)(x)dx
a a
11
Notese que de (5.3.4) se deduce que el operador H+ H tiene como autovectores y sus correspondientes
autovalores son + 1, por tanto la expresion anterior indica que H+ son los autovectores correspondientes a
2 de donde se sigue que han de ser proporcionales a 2 .
12
Pues aumentan o disminuyen el valor del autovalor, i.e., suben o bajan por el espectro de H.
13
Aqu la operacion a denota al complejo conjugado de a. En general trabajaremos en el espacio de funciones
reales.
5.3. El metodo de factorizacion de Schrodinger 97
es decir hH , i = h, H+ i.
Como consecuencia de lo anterior se sigue que H := D 2 + x2 = H H+ + I es autoadjunto
y por tanto (ver Proposicion 4.2.12) sus autovalores son reales. Ademas, si 6= entonces
es ortogonal a (ver Proposicion 4.2.13).
Supongamos que | |2 es integrable. Calculemos
k2 k2 :=h2 , 2 i = 2 ()hH+ , H+ i = 2 ()h , H H+ i
(5.3.8)
=2 ()( 1)h , i = 2 ()( 1)k k2 ,
luego
( 1) ( 2) ( n)
k2n k2 = 2 2
2 k k2 .
() ( 1) ( n + 1)
Obviamente para cada fijo, existira un n tal que n + 1 > 0, n 0, por tanto el
proceso H+ H+ debe de culminar en algun momento, i.e., debe existir una funcion que
denotaremos por 0 (x) tal que
H+ 0 (x) = 0,
o, equivalentemente, para cierto 0 , (0 ) = 0.
En este caso la ecuacion (5.3.5) nos da H0 = 0 0 ,
(H H+ + I)0 (x) = 0 0 (x) 0 = 1.
As pues aplicando H consecutivamente a 0 obtendremos los valores para = 1, 3, 5, . . . , 2N+
1, . . . . En general tenemos n = 2n + 1, n = 0, 1, 2, . . . .
Analogamente
k+2 k2 = 2 ()( + 1)k k2 . (5.3.9)
Esta forma de resolver el problema del oscilador armonico cuantico es totalmente analoga
a la del apartado 5.2.1.
98 Captulo 5. Resolviendo la ecuacion de Schrodinger
Definicion 5.3.1 Diremos que la ecuacion diferencial ordinaria (EDO) (5.3.10) es factorizable
si la podemos cambiar por cada una de las siguientes ecuaciones
H+m+1 Hm+1 y(x, , m) = [ L(m + 1)]y(x, , m), (5.3.12)
Hm H+m y(x, , m) = [ L(m)]y(x, , m), (5.3.13)
donde L(m) son ciertas constantes y
d d
Hm = k(x, m)I , H+m = k(x, m)I + . (5.3.14)
dx dx
Los operadores Hm se conocen como operadores escalera. Notese ademas que ambos opera-
dores Hm son de orden 1.
Demostracion: Ante todo notemos que si k(x, m) es una funcion real entonces Hm = Hm . En
adelante asumiremos que k(x, m) es real. Entonces
Z b Z b Z b
(x)Hm (x)dx = (x) (x)dx
(x)k(x, m)(x)dx
a a a
Z b b Z
b
= (x)k(x, m)(x)dx (x)(x) + (x)(x)dx
a a
a
Z b Z b
= (k(x, m) + D)(x)(x)dx = H+m (x)(x)dx,
a a
Teorema 5.3.4 (Clase I) Sea L(m) una funcion creciente en 0 < m M (M puede ser
+), m Z y supongamos que
Entonces para que la EDO y (x) + r(x, m)y(x) + y(x) = 0 tenga una sucesion de soluciones
integrables es necesario que exista un l N tal que
= l = L(l + 1).
l
Ademas para ese l, y denotando ym (x) := y(x, L(l + 1), m) tenemos
R
Hl+1 yll (x) = 0 yll (x) = e k(x,l+1)dx
,
100 Captulo 5. Resolviendo la ecuacion de Schrodinger
y, entonces para m = 0, 1, . . . , l 1, l,
p
H+m ym
l
(x) = l
L(l + 1) L(m) ym1 (x), (5.3.18)
y, por tanto,
" l
#
Y 1
l
ym (x) = p H+m+1 H+m+2 H+l yll (x), m < l. (5.3.19)
k=m+1
L(l + 1) L(k)
tenemos
Z b Z b
2 2
[y(x, , m + 1)] dx =m [Hm+1 y(x, , m)]2 dx
a a
Z b
2
= m y(x, , m)H+m+1 Hm+1 y(x, , m)]dx
a
Z
L(m + 1) b
= 2
[y(x, , m)]2 dx.
m a
Ahora bien, como L(m) es creciente entonces existira un l tal que L(l + 1) > , lo cual implica
que = L(l + 1) o y(x, , l + 1) 0. En caso que y(x, , l + 1) 0, usando (5.3.15) tenemos
Hl+1y(x, , l) = 0,
y, en particular,
Hl+1yll (x) = 0,
as que usando (5.3.16)
p
H+m ym
l
(x) = l
L(l + 1) L(m) ym1 (x), (5.3.21)
Teorema 5.3.5 (Clase II) Sea L(m) una funcion decreciente en 0 m M (M puede ser
+, m Z y supongamos que L(0). Entonces para que la EDO y (x) + r(x, m)y(x) +
y(x) = 0 tenga una sucesion de soluciones integrables es necesario que exista un l N tal que
:= l = L(l),
l
Ademas, denotando por ym (x) := y(x, L(l), m), tenemos
p
H+m ym
l l
(x) = L(l) L(m) ym1 (x), (5.3.22)
y, en particular, R
H+l yll (x) = 0 yll (x) = e k(x,l)dx
y por tanto,
"m1 #
Y 1
l
ym (x) = p Hm Hm1 Hl+1 yll (x), m > l. (5.3.24)
k=l
L(l) L(k + 1)
r(x, m) + r(x, m 1)
L(m) = k 2 (x, m),
2
r(x, m) r(x, m 1)
k (x, m) = .
2
Derivando la primera de las expresiones respecto a x y sustituyendo el resultado en la segunda
deducimos que15
r (x, m) + r (x, m 1)
k(x, m) = .
2(r(x, m) r(x, m 1))
Ahora bien, para que la EDO (5.3.10) sea factorizable L(m) ha de ser independiente de x.
As pues hemos probado el siguiente
r (x, m) + r (x, m 1)
k(x, m) = , (5.3.27)
2(r(x, m) r(x, m 1))
y
r(x, m) + r(x, m 1)
L(m) = k 2 (x, m), (5.3.28)
2
es independiente de x.
5.3.4. Ejemplos
Antes de pasar a ver algunos ejemplos debemos destacar que el metodo descrito es valido
para una gran cantidad de ecuaciones diferenciales. Es facil comprobar que si tenemos la EDO
d dz(t)
p(t) + q(t)z(t) + (t)z(t) = 0,
dt dt
entonces el cambio s
p
4 (t)
y(x) = p(t)(t)z(t), dx = dt
p(t)
la transforma en una ecuacion del tipo (5.3.10)
Comenzaremos por los armonicos esfericos Yml (). Estos satisfacen la ecuacion
1 d dY m2
sen Y + Y = 0, 0 .
sen d d sen2
Hacemos el cambio y(x) = sen Y (), x = y obtenemos la forma canonica (5.3.10)
m2 41
y y + y = 0, = + 14 ,
sen2 x
por tanto
2
1 1 1
k(x, m) = m cot , L(m) = m(m 1) + = m .
2 4 2
1
=+ = L(l + 1) = l(l + 1), l = 0, 1, 2, . . . , m = 0, 1, 2, . . . , l.
4
yll () = C senl+1/2 .
Calculamos C para que kyll k = 1:
Z
2 2l+1 l!
1=C sen2l+1 d = C 2 ,
0 (2l + 1)!!
luego
r
(2l + 1)!!
yll () = senl+1/2 .
2l+1 l!
Finalmente, como L(l +1)L(m) = (l +m)(l m+1) y L(l +1)L(m+1) = (l m)(l +m+1),
entonces (5.3.20) y (5.3.21) nos dan
1 d l
p l
m cot ym () = (l m)(l + m + 1) ym+1 (),
2 d
1 d l
p l
m cot + ym () = (l + m)(l m + 1) ym1 (),
2 d
respectivamente.
104 Captulo 5. Resolviendo la ecuacion de Schrodinger
Potencial de Poschl-Teller 1
Sea
2 (m + g)(m + g + 1) 2 (m g)(m g 1)
y + y + y = 0,
sen2 (x x0 ) cos2 (x x0 )
con x (x0 , x0 + /(2)). Entonces el teorema 5.3.6 nos da
k(x, m) =2 g + m cos 2 (x x0 ) csc 2 (x x0 )
= (g + m) cot (x x0 ) + (g m) tan (x x0 ) ,
L(m) = 4 m2 2 .
Al ser L(m) creciente usamos el teorema 5.3.4 y por tanto
= 42 (l + 1)2 , l = 0, 1, 2, . . . , m = 0, 1, 2, . . . , l.
En este caso
Hl+1 yll (x) = 0 [k(x, l + 1) D] yll (x) = 0
yll (x) = C coslg+1 (x x0 ) senl+g+1 (x x0 ) .
Calculamos C para que kyll k = 116
Z
r0 + 2
2
1 =C cos2(lg+1) (x x0 ) sen2(l+g+1) (x x0 ) dx
r0
(l g + 23 )(l + g + 23 )
=C 2 .
2(2 + +3)
luego s
2(2l + 3)
yll (x) = 3 3 cos
lg+1
(x x0 ) senl+g+1 (x x0 ) .
(l g + 2 )(l + g + 2 )
Finalmente, como
L(l + 1) L(m + 1) = 42 (l m) (l + m + 2) ,
L(l + 1) L(m) = 42 (l m + 1) (l + m + 1) ,
entonces (5.3.20) y (5.3.21) nos conducen a las expresiones
d l
p l
k(x, m + 1) ym (x) = 2 (l m) (l + m + 2) ym+1 (x), 0 m l,
dx
d l
p l
k(x, m) + ym (x) = 2 (l m + 1) (l + m + 1) ym1 (x), 0 m l,
dx
respectivamente.
16
Hemos usado que
Z
2 ( a+1 b+1
2 )( 2 )
cosa x senb x dx = , a > 1, b > 1.
0 2( a+b+2
2 )
5.3. El metodo de factorizacion de Schrodinger 105
Potencial de Poschl-Teller 2
Sea
2 (m + g)(m + g + 1) 2 (m g)(m g + 1)
y + + y + y = 0,
senh2 (x x0 ) cosh2 (x x0 )
con x (r0 , ). Entonces el teorema 5.3.6 nos da
k(x, m) =2 g + m cosh 2 (x x0 ) csch 2 (x x0 )
= (g + m) coth (x x0 ) + (m g) tanh (x x0 )
L(m) = 4 m2 2 .
Al ser L(m) decreciente usamos el teorema (5.3.5) y por tanto
= 42 l2 , l = 0, 1, 2, . . . , m = l, l + 1, l + 2, . . . .
En este caso
H+l yll (x) = 0 [k(x, l) + D] yll (x) = 0
y por tanto17 para todo g < 21 l
s
2(l g + 21 )
l
yl (x) = coshgl (x x0 ) senhlg (x x0 ) .
(l g + 21 )(2l)
Finalmente, como
L(l) L(m) = 42 (m l) (m + l) ,
L(l) L(m + 1) = 42 (m + 1 l) (l + m + 1) ,
entonces (5.3.20) y (5.3.21) nos dan
d l
p l
k(x, m + 1) ym (x) = 2 (m + 1 l) (l + m + 1) ym+1 (x), m l,
dx
d l
p l
k(x, m) + ym (x) = 2 (m l) (m + l) ym1 (x),
dx
respectivamente.
Potencial de Morse
y + 41 e2x + m + 1
2
ex y + y = 0,
con x R. Entonces el teorema 5.3.6 nos da
ex
k(x, m) = + m, L(m) = m2 .
2
Al ser L(m) decreciente usamos el teorema 5.3.5 y por tanto
= l2 , l = 1, 2, . . . , m = l, l + 1, l + 2, . . . .
En este caso
H+l yll (x) = 0 [k(x, l) + D] yll (x) = 0
y por tanto18 s
1
yll (x) = eexp(x)/2lx .
(2l)
Finalmente, como
L(l) L(m) = (m l) (m + l) ,
L(l) L(m + 1) = (m + 1 l) (l + m + 1) ,
entonces usando (5.3.20) y (5.3.21) tenemos
x
e d l
p l
+m+1 ym (x) = (m + 1 l) (l + m + 1) ym+1 (x), m l,
2 dx
x
e d l
p l
+m+ ym (x) = (m l) (m + l) ym1 (x), m l,
2 dx
respectivamente.
Sea
1 1
1 m+ 2 4
+
W + + + W = 0, 0 z < +.
4 z z2
x
Haciendo el cambio z = ex , W (z) = e 2 y obtenemos
y + 14 e2x + m + 21 ex y + y = 0,
que esencialmente la misma ecuacion diferencial del ejemplo anterior pero cambiando x por
x. Tambien corresponde al caso II con
ex
k(x, m) = m, L(m) = m2 ,
2
18
Hemos usado que Z
e exp(x)2lx dx = (2l), l > 0.
5.3. El metodo de factorizacion de Schrodinger 107
as que
= l2 , l = 0, 1, 2, . . . , m = l, l + 1, l + 2, . . . ,
s
1
H+l yll (x) = 0 [k(x, l) + D] yll (x) = 0 yll (x) = eexp(x)/2+lx .
(2l)
ex d l
p l
m+ ym (x) = (m l) (m + l) ym1 (x), m l,
2 dx
respectivamente.
La ecuacion de Bessel
Sea
m2 14
y y + y = 0, z R.
z2
Aplicando el teorema 5.3.6 tenemos
m 12
k(x, m) = , L(m) = 0.
x
Como L(m) es constante no podemos usar ninguno de nuestros resultados por lo que no tenemos
ninguna expresion para . No obstante si podemos seguir usando las expresiones (5.3.20) y
(5.3.21) que en este caso dan
m+ 1
d
2
ym (x) = ym+1 (x),
x dx
m 1
d
2
+ ym (x) = ym1 (x).
x dx
Ambas expresiones dan sendas relaciones de recurrencia para las funciones de Bessel.
Para resolver la ecuacion tenemos que usar el metodo de Frobenius (ver e.g [6, 21]). La
solucion general en este caso da
y(x) = x c1 Jm ( x) + c2 Ym ( x) ,
donde Jm (z) y Ym (z) son las funciones de Bessel de primera y segunda especie, respectivamente.
108 Captulo 5. Resolviendo la ecuacion de Schrodinger
El atomo de hidrogeno
Finalmente, como
1 1
L(l + 1) L(m + 1) = 2
,
(m + 1) (l + 1)2
1 1
L(l + 1) L(m) = 2 ,
m (l + 1)2
entonces de (5.3.20) y (5.3.21) obtenemos
s
m+1 1 d l 1 1
ym (r) = y l (r), 1 m l,
r m + 1 dr (m + 1) 2 (l + 1)2 m+1
s
m 1 d l 1 1
+ ym (r) = y l (r), 1 m l,
r m dr m2 (l + 1)2 m1
respectivamente.
19
Hemos usado que Z
x ex dx = ( + 1)1 , > 0, > 1.
0
5.4. Factorizacion de la EDO hipergeometrica 109
Los operadores anteriores L+ (x, n) y L (x, n) constituyen los operadores escalerade ascenso
(raising) y descenso (lowering), respectivamente.
Si usamos las expresiones explcitas de n y n (ver apartado 5.1.2)
n = n + (n 1) , n (x) = (x) + n (x),
2
110 Captulo 5. Resolviendo la ecuacion de Schrodinger
y
nn1 (0) (n + 1)n (0)
n =
,
n1 n
se comprueba que
f (x, n 1) = g(x, n). (5.4.9)
en particular Z b
2n dn1
n+1 (x)[L+ (x, n)n (x)] dx = n ,
a 2n dn
Z b
2n+2 dn
[L (x, n + 1)n+1 (x)]n (x) dx, = n+1 .
a 2n + 2 dn+1
De lo anterior se sigue que L+ y L son el adjunto el uno del otro respecto al producto escalar20
Z b
h, i = (x)(x) dx.
a
o, equivalentemente,
Ahora bien,
1
n (x) = Qn1
L+ (x, n 1) L+ (x, 1)L+ (x, 0)0 (x), n 1.
k=0 (k k k+1 )
112 Captulo 5. Resolviendo la ecuacion de Schrodinger
5.4.3. Ejemplos
Como ejemplo consideraremos el caso correspondiente a los polinomios de Hermite y La-
guerre.
Caso Hermite
2n/2 2
n (x) = p ex /2 Hn (x),
n!
L+ (x, n 1)L (x, n) = 2nI H(x, n), L (x, n + 1)L+ (x, n) = (2n + 2)I H(x, n).
Caso Laguerre
y22
1
n (x) = p ex/2 x/2 Ln (x)
n!( + n + 1)
Entonces
+x 2 2n x 2n
f (x, n) = , g(x, n) =
2 2
+ x 2 2n p
L (x, n)n (x) = I xD n (x) = (n + 1)(n + + 1) n+1 (x),
2
x 2n p
L (x, n)n (x) = I + xD n (x) = n(n + ) n1 (x).
2
21
Estamos usando polinomios monicos de Hermite.
22
Estamos usando polinomios monicos de Laguerre.
5.5. Problemas 113
De lo anterior se sigue
1
0 (x) = p ex/2 x/2 ,
( + 1)
1
n (x) = p L+ (x, n 1) L+ (x, 1)L+ (x, 0)ex/2 x/2 .
n!( + n + 1)
Finalmente
L+ (x, n 1)L (x, n) = (n)(n + )I H(x, n),
5.5. Problemas
Problema 5.5.1 Prueba la relacion de ortogonalidad (5.1.20) y calcula una expresion para la
(k)
norma de las derivadas Pn .
Problema 5.5.2 Calcula todas las caractersticas de los polinomios clasicos que aparecen en
la tabla 5.2.
Problema 5.5.3 Prueba que los polinomios ortogonales monicos Pn , soluciones de la ecuacion
(5.1.7), satisfacen la siguiente relacion de estructura
Problema 5.5.4 Probar que para los polinomios clasicos se tienen las siguientes identidades.
X
X tx
2n n 2xtt2 (1)n e 1t
Hn (x)t = e , Ln (x)tn = , (5.5.2)
n=0
n! n=0
n! (1 t)+1
X (1)n ( + + 1)n 2+
Pn, (x)tn = , (5.5.3)
n=0
n! R(1 2t + R) (1 + 2t + R)
p
con R = 1 + 4t(t + x).
Problema 5.5.7 Para el atomo de hidrogeno calcula el valor medio de la posicion del electron
en el estado definido por los valores n, l y m hrin,l,m = hRn l |r|Rn l i. Prueba que si n = l = 0,
entonces hri0,0,0 = a0 = ~2 /(2). Prueba ademas que en el estado definido por los valores n, l
y m la media de la energa potencial
hV (r)in,l,m = hRn l |V (r)|Rn l i
es la mitad de la energa total En,l .
Calcula hrin,l,m y hV (r)in,l,m para el oscilador armonico tridimensional.
Problema 5.5.9 Aplica el metodo de factorizacion de Schrodinger para resolver las siguientes
EDOs
2 2 (l + )(l + + 1) 1
R + R + R y + y = 0, r 0, = .
r r r2 (n + )2
Problema 5.5.10 Usando el metodo de factorizacion del apartado 5.4 obten las soluciones
para el caso de los polinomios de Legendre, Gegenbauer y Jacobi.
116 Captulo 5. Resolviendo la ecuacion de Schrodinger
Bibliografa
[2] S. Albeverio (with Appendix written by P. Exner) Solvable Models In Quantum Mechanics.
AMS Chelsea Publishing, 2004.
[3] G. Auletta, Foundations and interpretation of quantum mechanics. In the light of a critical-
historical analysis of the problems and of a synthesis of the results. World Scientific Pu-
blishing Co., Inc., River Edge, NJ, 2000.
[5] J.S. Bell, Lo decible y lo indecible en mecanica cuantica. Alianza Universidad, 1991.
[6] M. Braun, Differential Ecuations and their Applications. Springer Verlag, 1993.
[10] R. Feynman, R. B. Leighton y M. Sands, The Feynman Lectures on Physics. Vol. III.
Mecanica Cuantica. Fondo Educativo Interamericano 1971.
[12] J. Gribbin, En busca del gato de Schrodinger. La fascinante historia de la Mecanica Cuanti-
ca. Biblioteca Cientfica Salvat, 1994.
[13] L. Infeld and T. E. Hull, The factorization method. Rev. Modern Physics 23 (1951), 2168.
[14] M. Lorente, Raising and lowering operators, factorization method and differen-
tial/difference operators of hypergeometric type. J. Phys. A: Math. Gen. 34 (2001), 569-
588.
[15] A. Messiah, Mecanica Cuantica. Vol. I y II. Ed. Tecnos. (Hay una edicion inglesa reciente
Quamtum Mechanics, Dover, New York, 1999)
117
118 BIBLIOGRAFIA
[17] E. Prugovecki, Quantum Mechanics in Hilbert space. Academic Press, New York, 1971.
[18] H. Rechenberg, Quanta and Quantum Mechanics, Twentieth century physics. Vol. I, 143
248, Inst. Phys., Bristol, 1995.
[20] J. Schwinger, Quantum Kinematic and Dynamics, Frontiers in Physics. W.A. Benjamin
Inc. Publishers, 1970.
[22] A. A. Sokolov, I. M. Ternov, V. Ch. Zhukovskii, Quantum Mechanics. Mir, Moscu, 1994.
[23] Steven Weinberg, Lectures on Quantum Mechanics. Cambridge University Press, 2012.
1. ~r(x, y) = 0 x = y,
2. ~r(x, y) = ~r(y, x),
El par obtenido Cp ([a, b]) es un espacio metrico. Como caso particular (de especial relevancia) tenemos
el caso p = 2, i.e., X = C[a,b] y ~r es la funcion
s
Z b
(f, g) = |f (x) g(x)|2 .
a
119
120 Anexo: Breve introduccion al analisis funcional
El espacio L2 (a, b) de las (clase de equivalencia de las) funciones de cuadrado integrable en [a, b] que
vimos el el captulo 3 es una generalizacion de este espacio.
Definicion A.1.2 Sea X un espacio metrico, x0 X y r > 0. Definiremos la bola abierta B(x0 , r) al
conjunto
B(x0 , r) = {x X; ~r(x0 , x) < r},
bola o esfera cerrada S(x0 , r) al conjunto
Definicion A.1.3 Se dice que el conjunto M X es abierto en X si todos sus puntos (elementos) se
pueden encerrar en una bola abierta contenida completamente en M . Un conjunto M X es cerrado
en X si es su complementario en X, X\M es abierto.
Las bolas abiertas B(x0 , ) se suelen denominar -vecindades (o entornos) de x0 . Es evidente que
toda -vecindad de x0 contiene al propio x0 .
Definicion A.1.4 Un punto x0 se denomina punto interior del conjunto M X si existe un > 0
tal que B(x0 , ) M .
De lo anterior se deduce que el conjunto M X es abierto si y solo si todos sus puntos son interiores.
Definicion A.1.5 Por aplicacion (operador) o funcion entenderemos una regla T que le hace corres-
ponder a cada elemento del subconjunto D(T ) X un unico elemento del espacio metrico Y. As,
T : X 7 Y, y = T x o y = T (x), donde x D(T ) X e y Y. Al conjunto D(T ) X se le denomina
dominio de la aplicacion. Si a cada x D(T ) le corresponde un valor y = T x Y diremos que T x es
la imagen de x segun T . Al conjunto de todas las imagenes T x le denominaremos imagen de T y le
denotaremos por I(T ).
Es decir una aplicacion es sobreyectiva si, para todo y Y, la ecuacion T x = y tiene al menos una
solucion, e inyectiva si la ecuacion anterior tiene o bien una unica solucion, o bien no tiene solucion.
As mismo, T es biyectiva si para todo y Y, la ecuacion T x = y tiene una y solo una solucion.
Para las funciones inyectivas se puede definir la aplicacion inversa.
Definicion A.1.7 Sea T : D(T ) X 7 Y una aplicacion inyectiva. Definiremos su aplicacion inversa
T 1 a la aplicacion T 1 : I(T ) Y 7 D(T ) X tal que a cada elemento y I(T ) le hace corresponder
un unico x D(T ) tal que T x = y.
Definicion A.1.11 La imagen inversa de y Y es el conjunto de todas las x D(T ) tales que
T x = y. La imagen inversa de un subconjunto N Y es el conjunto de todas las x D(T ) tales que
T x = y para todos y M .
La imagen inversa de un elemento y Y puede ser el conjunto vaco, un unico punto (elemento) de
D(T ) o un subconjunto M D(T ).
Es facil ver que si M solo contiene puntos aislados entonces M es cerrado (pues X\M es abierto).
De lo anterior se deduce ademas que los puntos de contacto de M o bien son puntos lmites, o bien
son aislados.
Definicion A.1.17 Dada una sucesion (xn )n de elementos de X, diremos que (xn )n es acotada si
existe un subconjunto M X acotado tal que xn M para todo n N.
Lo anterior es equivalente a que exista un x X y un numero K > 0 tal que ~r(x, xn ) < K para todo
n N.
Notese que en la propia definicion de lmite esta explcito que el lmite ha de ser un elemento de X.
Por ejemplo, sea X el intervalo abierto (0, 1) con la metrica habitual de R. La sucesion xn = 1/(n + 1)
n
no tiene lmite en X ya que claramente 1/(n + 1) 0 pero 0 6 (0, 1).
Definicion A.1.20 Un espacio metrico X se denomina completo si y solo si toda sucesion de Cauchy
de elementos de X converge (a un elemento de X).
De la definicion anterior se infiere que si M es denso X entonces cualquiera sea la bola B(x, ) (por
pequeno que sea > 0) siempre contiene puntos de M . En otras palabras, cualquiera sea x X,
siempre tiene elementos de M tan cerca como se quiera.
Por ejemplo Q es denso en R pues como ya hemos visto Q = R.
Definicion A.1.24 Un espacio metrico X se denomina compacto si cualquier sucesion (xn )n de ele-
mentos de X tiene una subsucesion convergente.
Demostracion: Sea M compacto y sea x M cualquiera. Como x M entonces existe una sucesion
n
(xn )n en M tal que xn x X. Como M es compacto, entonces x M , luego M = M por lo que
M es cerrado.
Supongamos que M es no acotado. Entonces existe al menos una sucesion (xn )n de elementos de
M tal que, fijado un b M arbitrario, se tiene que ~r(xn , b) > n (por que?). Dicha sucesion obvia-
mente no puede tener ninguna subsucesion convergente (pues caso que la tuviera esta fuese acotada)
y por tanto M no puede ser compacto.
El recproco es falso. Por ejemplo escojamos X = l2 y sea el conjunto M de los vectores ek = k,i ,
i.e., vectores que todas las coordenadas son cero excepto la k-esima que es 1. Obviamente kek k = 1.
Ademas todos los puntos de M son aislados (por que?), por tanto M es cerrado. Ahora bien, como
M solo tiene puntos aislados, M no tiene ningun punto de acumulacion por lo tanto ninguna sucesion
que escojamos de elementos distintos de M contiene una subsucesion convergente.
24
Un conjunto M cualquiera se denomina numerable si se puede poner en correspondencia biunvoca con
N = {1, 2, 3, . . . }. Es decir, existe una correspondencia biunvoca entre los elementos de M y los numeros
naturales. Por ejemplo, Q es numerable, pero R no lo es.
124 Anexo: Breve introduccion al analisis funcional
Definicion A.1.26 Un espacio vectorial X se denomina espacio normado si para todo x X existe
un numero real denominado norma, y que denotaremos por kxk, que cumple con las condiciones
Es evidente que si en un espacio normado X definimos la funcion ~r(x, y) = kx yk, esta satisface los
axiomas de la definicion A.1.1, i.e., todo espacio normado es un espacio metrico. La funcion ~r anterior
se denomina metrica inducida por la norma.
Definicion A.1.27 Un espacio normado completo (en la metrica inducida por la norma) se denomina
espacio de Banach.
As, el espacio l2 , de todas las sucesiones x = (x1 , x2 , . . . , xn , . . .) reales (o complejas) tales que
P 2
P
2 1/2 , es un espacio de Banach, pero el espacio de
k=1 |xk | < + con la norma kxk = k=1 |xk |
R 1/2
b
las funciones continuas en [a, b] con la norma kf k = a |f (x)|2 es un espacio normado pero no
de Banach (por que?).
Esta claro que todo espacio normado es un espacio metrico con la metrica inducida por la norma,
pero no a la inversa (construir un contra ejemplo como ejercicio).
Obviamente en los espacios normados podemos definir la convergencia de sucesiones, sucesiones
de Cauchy, etc.. Basta considerarlos como espacios metricos con la metrica ~r inducida por la norma:
~r(x, y) = kx yk.
1. El dominio de T , D(T ), y la imagen de T , I(T ), son ambos espacios vectoriales sobre el mismo
cuerpo K (R o Z).
Definicion A.1.29 Sean X e Y dos espacios normados y sea el operador T : D(T ) 7 Y lineal. T es
acotado si existe c 0 tal que25
kT xk
c, x D(T ), x 6= 0. (A.1.3)
kxk
El menor valor de c para el cual (A.1.2) se cumple lo denotaremos por kT k y se denomina norma del
operador lineal T . De hecho se tiene que
kT xk
kT k = sup . (A.1.4)
xX\{0} kxk
kT yk
y X, kT k kT yk kT kkyk.
kyk
Es facil probar que kT k es una norma, es decir se cumplen los axiomas de la definicion.
Teorema A.1.30 Sea T : D(T ) X 7 Y una aplicacion lineal de un espacio normado X a otro
espacio normado Y. Entonces
kT x T x0 k = kT (x x0 )k kT kkx x0 k.
Entonces, para todo > 0, existe un = /kT k > 0 tal que, para todo x con kx x0 k < ,
kT x T x0 k < , i.e., T es continuo en D(T ).
Sea T lineal y continuo en x0 D(T ) cualquiera. Entonces para todo > 0, existe un > 0
tal que, para todo x con kx x0 k < , kT x T x0 k < . Sea y 6= 0 en D(T ) cualquiera. Escojamos x
tal que
x = x0 + y = x x0 = y = kx x0 k < = kT x T x0 k < .
2kyk 2kyk
luego T es acotado.
2. Notese que en la prueba anterior se probo que si T era continuo en un punto x0 D(T ),
entonces era acotado en D(T ). Pero entonces por 1, al ser acotado en D(T ), es continuo en D(T ).
Finalmente concluiremos con una seccion sobre los espacios de Hilbert separables que complementa
los apartados 4.1 y 4.2.
126 Anexo: Breve introduccion al analisis funcional
cn = hx, n i, n 1. (A.2.2)
Teorema A.2.2 Sea H el subespacio lineal de H generado por los vectores 1 , 2 . . . , n , n N, i.e.,
H = span (1 , 2 . . . , n ). Entonces
n
X
mn ||x q||2 = ||x||2 |ck |2
qH
k=1
donde ck son los coeficientes definidos en (A.2.2) y se alcanza cuando q es la suma parcial de la serie
de Fourier (A.2.1)
X n
q = sn := ck k .
k=1
Pn
Demostracion: Sea gn = k=1 ak k . Calculamos
n
X n
X
2
hx gk , x gk i = kxk c2k kk k2 + (ak ck )2 kk k2 .
k=1 k=1
Notese que
* n n
+ n
X hx, k i X hx, k i X |hx, k i|2
2 2
kx sn k = x k , x k = kxk 2
kk k2 kk k2 kk k2
k=1 k=1 k=1
n n n n
(A.2.3)
X X |hx, k i|2 hm , k i X |hx, k i|2 X
2 2
+ 2 2
= kxk 2
= kxk |ck |2 .
m=1
k k k km k k k k
k=1 k=1 k=1
luego
X
|ck |2 kxk2 , (A.2.4)
k=1
P 2
por lo que la serie k=1 |ck | converge (por que?) y por tanto
La desigualdad (A.2.4) se conoce como desigualdad de Bessel. Notese que una condicion nece-
saria y suficiente para que la serie de Fourier (A.2.1) converja a x (en norma) es que
X
X
kxk2 = |ck |2 = |hx, n i|2 .
k=1 k=1
Esta igualdad se denomina comunmente igualdad de Parseval y es, en general, muy complicada de
comprobar.
En otras palabras cualquier vector x X H se puede aproximar en norma tanto como se quiera
mediante alguna combinacion finita de vectores del sistema (n )n . Esta definicion es equivalente a
decir que H es el menor subespacio vectorial cerrado que contiene al conjunto 1 , 2 , . . . ((n )n genera
a todo H).
Por ejemplo, los sistemas (ek )k definidos por (A.2.6) y (A.2.7) son bases ortogonales completas de Cn
y l2 , respectivamente
1. (n )n es completo en X H.
X
2. Para todo x X H, x = hx, k ik .
k=1
Demostracion:
Pn 1) 2) Cualquiera sea x H construimos la serie de Fourier (A.2.1) y sean sn =
c
k=1 k k sus sumas parciales. Usando 1) y el teorema A.2.2 tenemos
Pero como para todo n > N , kx sn k kx sN k (basta usar la identidad (A.2.3)), entonces para
todo n > N , kx sn k , es decir, lmn sn = x de donde se sigue 2). Obviamente 2) implica 1)
(por que?).
Pn
4)2) Por sencillez consideremos que el sistema (n )n es ortonormal.PSea yn = k=1 ck k ,
2
ck = hx, k i . Usando la desigualdad de Bessel (A.2.4) se sigue que la serie m=1 |cm | es una serie
convergente y por tanto la cantidad
n+p
X
kyn yn+p k2 = |ck |2 ,
k=n+1
se puede hacer tan pequena como se quiera, i.e., la sucesion yn es de Cauchy, luego es convergente.
Sea y su lmite. Probemos que y = x.
Usando la desigualdad de Cauchy-Schwarz
Nota A.2.6 La equivalencia entre 1 y 2, as como las implicaciones 2 3 4, son tambien ciertas
para espacios eucldeos cualesquiera (no necesariamente completos).
Corolario A.2.7 Sea el sistema ortonormal completo (n )n y sean x, y X H tales que hx, k i =
hy, k i para todo k N, entonces x = y.
En otras palabras, dos elementos de H con iguales coeficientes de Fourier son iguales, por tanto
cualquier vector de H queda biunvocamente determinado por sus coeficientes de Fourier.
Teorema A.2.9 Todo espacio de Hilbert H separable tiene una base ortonormal.
Entonces, existe un elemento x H cuyos coeficientes de Fourier son precisamente los numeros c1 ,
c2 , . . . , cn , . . . , i.e.,
X
|cn |2 = kxk2 , cn = hx, n i.
n=1
P
Demostracion: Sea xn = nk=1 ck k . Como vimos en la prueba del Teorema A.2.5 la sucesion anterior
n
es de Cauchy y como H es completo entonces xn x H. Probemos que entonces ck = hx, k i,
k = 1, 2, . . . . Para ello notemos que
hx, k i = hxn , k i + hx xn , k i.
Definicion A.2.11 Una aplicacion U entre dos espacios de Hilbert H y H se denomina unitaria si
U es lineal, biyectiva y preserva el producto escalar, i.e.26 ,
hx, yi = hU x, U yi = hx , y i .
Los espacios H y H son isomorfos si existe una aplicacion unitaria U : H 7 H tal que x = U x,
donde x H y x H .
Como consecuencia de los Teoremas A.2.5, A.2.9 y A.2.10 se tiene el siguiente resultado:
Demostracion: Como H es separable, en H existe una base ortonormal numerable (ver Teorema A.2.9)
que denotaremos por (n )nI , donde I es un conjunto numerable (finito o infinito). Asumiremos que
I es infinito, (I = N) i.e., probaremos el caso cuando H es isomorfo a l2 (el caso finito
P es totalmente
2
Sea x H y sea la aplicacion U : H 7 l definida por x = U x =
analogo).
P kI hx, k iek =
x e l 2 , donde (e ) denota la base ortonormal canonica de l2 que ya hemos visto antes. Esta
kI k k n n
claro que U es biunvoco, pues dada cualquier sucesion (xn )n de l2 por el Teorema de Riesz-Fischer
existe un x H cuyos coeficientes de Fourier coinciden con dichos valores xn y por el Corolario A.2.7
dicho elemento es unico. Ademas, como el producto escalar hx, yi es linear respecto al elemento de la
izquierda (i.e., x), esta claro que U es lineal (probarlo como ejercicio). Finalmente, para probar que
U es unitario usamos, por un lado, que
* +
X X X
hx, yi = xk k , ym m = xk y k ,
kI mI kI
P
y, por el otro, que el producto escalar en l2 viene dado por hx , y il2 = kI xk yk , de donde se sigue
que hx, yi = hx , y il2 .
M = {x H; hx, yi = 0, y M }.
T x = hx, zi,
kzk = kT k.
La prueba de este importante teorema se puede encontrar en [E. Kreyszig. Introductory Functional
Analysis with Applications, pag. 188].
lo denominaremos adjunto de A.
Para los espacios eucldeos la existencia del operador adjunto no esta garantizada en general, no
obstante si que lo esta en el caso de los espacios de Hilbert. De hecho, como consecuencia del Teorema
de representacion de Riesz A.2.15 se tiene el siguiente resultado:
i.e., Ty es un funcional acotado, as que el teorema de Riesz A.2.15 nos asegura que existe un unico
vector y tal que Ty x = hx, y i, para todo x H. As, el operador A : H 7 H induce un operador
A : H 7 H con A y = y , pues hAx, yi = hx, y i = hx, A yi. La linealidad de A se sigue de la
linealidad de A. Probemos ahora que kA k = kAk. De la igualdad hAx, yi = hx, A yi y usando que A
es acotado tenemos
|hx, A yi| = |hAx, yi | kAkkxkkyk.
Escogiendo x = A y obtenemos
kA yk
kA yk2 kAkkA ykkyk = kAk = kA k kAk.
kyk
132 Anexo: Breve introduccion al analisis funcional
De lo anterior se sigue que A es acotado. Pero entonces podemos aplicar el mismo razonamiento inter-
cambiando A y A lo que nos conduce a la desigualdad contraria kAk kA k por tanto kAk = kA k.
Notese que lo anterior se puede generalizar al caso de dimension infinita, solo que en este caso la
matriz sera una matriz infinita
a1,1 a1,2 a1,3 a1,n
a2,1 a2,2 a2,3 a2,n
a3,1 a3,2 a3,3 a3,n
A= ... .. .. .. .. .
. . . .
an,1 an,2 an,3 an,n
.. .. .. .. .. ..
. . . . . .
Esta claro que para el caso de dimension finita, existira el inverso de A si dim X = dim Y y la
matriz correspondiente sera la matriz inversa de A. En dimension infinita la situacion es algo mas
complicada. Por ejemplo, el operador desplazamiento S cumple con S S = I pero SS 6= I, luego S
no tiene inverso.
Teorema A.2.19 Sea el operador lineal A : X 7 X, X espacio de Banach. Si kAk < 1, entonces
I A es invertible y (en norma)
X
1
(I A) = Ak , donde A0 := I.
k=0
A.2. Espacios de Hilbert separables 133
Demostracion: Sea la sucesion de operadores (An )n , definida por An x := Xn = (I +A+A2 + +An )x,
x X (cualquiera). Obviamente An es un operador acotado (probarlo como ejercicio). Probemos que
(Xn )n es de Cauchy (en la norma de X):
kXn+p Xn k =kXn+1 + + Xn+p k = kAn+1 x + + An+p xk kAn+1 xk + + kAn+p xk
kxk(kAn+1 k + + kAn+p k) kxk(kAkn+1 + + kAkn+p )
kAkn+1 n
kxk(kAkn+1 + + kAkn+p + ) kxk 0.
1 kAk
Como X es completo (es de Banach) entonces, para cada x X la sucesion An x converge a un y X
que denotaremos por y = T x. As, tendremos el operador T : X 7 X bien definido. Como A es
lineal, An lo sera y por tanto T tambien. Para ello basta tomar el lmite cuando n en la igualdad
An (x+y) = An x+An y, , K y x, y X. Si tomamos ahora el lmite p en la desigualdad
de antes y usamos que Xn+p = An+p x T x, obtenemos
kAkn+1
kT x An xk kxk ,
1 kAk
de donde se sigue que T An es un operador lineal acotado, luego T lo sera (por que?). De la
desigualdad anterior se sigue ademas que
kT x An xk kAkn+1 kAkn+1 n
= kT An k 0 = lm An = T.
kxk 1 kAk 1 kAk n
Probemos ahora que T = (I A)1 . Ante todo notemos que I A es un operador lineal y acotado y
por tanto continuo28 . Calculemos el producto
(I A)T x = (I A) lm An x = lm (I A)An x = lm (An x A An x) = lm (x An+1 x).
n n n n
n n
Pero kAn+1 xk kAkn+1 kxk 0, luego An+1 x 0, y por tanto (I A)T x = x para todo x. La
prueba de que T (I A)x = x para todo x es analoga y la omitiremos.
Definicion A.2.20 Denotaremos por L(X) el conjunto de todos los operadores lineales A en X, i.e.,
A : X 7 X.
Notese que la prueba del Teorema A.2.19 se puede adaptar para probar que toda sucesion de
Cauchy de operadores Tn L(X) es convergente. Si Tn es de Cauchy entonces > 0, existe un N N
tal que n N, n > N y p N, kTn+p Tn k < . Luego la sucesion Xn := Tn x es de Cauchy
n
kTn+p x Tn xk kTn+p Tn kkxk kxk = kTn+p x Tn xk 0.
Como X es completo Tn x tendra un lmite y para cada x, i.e., podemos definir el operador T : X 7 X
por T x = y. De la misma forma que en la prueba del Teorema A.2.19 se sigue que T es lineal. Para
probar que es acotado usamos la desiguladad anterior:
kTn+p x Tn xk kT x Tn xk
kTn+p x Tn xk kTn+p Tn kkxk = =
kxk kxk
donde hemos tomando el lmite p y usado la continuidad de la norma. I.e., T Tn es acotado y
por tanto T lo es (Tn es acotado). Ademas, de lo anterior se sigue tambien, tomando el supremo en x,
n
que kT Tn k para todo n > N , i.e., Tn T . Lo anterior nos conduce al siguiente teorema:
28
Aqu usamos el hecho conocido de que toda aplicacion lineal T : D(T ) X 7 Y de un espacio normado
(Hilbert) X a otro espacio normado (Hilbert) Y tiene las propiedades: 1. T es continua si y solo si T es acotada
y 2. Si T es continua en algun x0 D(T ), T es continua en todo su dominio D(T ).
134 Anexo: Breve introduccion al analisis funcional
Teorema A.2.21 El espacio L(X) es un espacio de Banach respecto a la norma de los operadores.
Teorema A.2.22 Sea X un espacio de Banach y sea L(X) el conjunto de todos los operadores lineales
A : X 7 X. El conjunto E L(X) de los operadores invertibles en X es abierto en L(X).
Demostracion: Sea A L(X) un operador invertible. Definamos la bola B(A, 1/kA1 k). Cualquiera
sea B B(A, 1/kA1 k) tendremos que
1
kB Ak = k(B A)A1 k kB AkkA1 k < 1,
kA1 k
luego el operador I + (B A)A1 = BA1 es invertible, por tanto el operador B = (BA1 )A lo sera,
i.e., todo operador B B(A, 1/kA1 k) es invertible, por tanto para cualquiera sea A E existe una
bola B(A, 1/kA1 k) E centrada en A, luego E es abierto.
Notese que si A es compacto, A es acotado pues en caso contrario existira una sucesion acota-
n
da (xn )n tal que kAxn k y entonces la sucesion (Axn )n no tendra una subsucesion convergente.
Teorema A.2.24 Sea A L(H) un operador compacto y B L(H) uno acotado, H espacio de
Hilbert. Entonces los operadores AB y BA son compactos.
Demostracion: Sea (xn )n una sucesion acotada de H. Como B es acotado, entonces la sucesion (Bxn )n
es acotada y como A es compacto, de la sucesion (ABxn )n se puede extraer una subsucesion conver-
gente, luego AB es compacto.
Sea ahora (xn )n una sucesion acotada de H. Como A es compacto, existe una subsucesion (Axnk )k
de (Axn )n que converge. Ahora bien, B es acotado, luego es continuo (ver Teorema A.1.30), por lo
que la subsucesion (BAxnk )k converge, luego BA es compacto.
De la definicion anterior se sigue que en dimension finita (A) es el conjunto de todos los autova-
lores de A.
Demostracion: Sea L(X) el conjunto de todos los operadores lineales de X en X, X espacio de Banach.
Definamos el operador F : C 7 L(X), F () = I A. Esta claro que F es lineal. Como para todo
, C, kF () F ()k = | |, entonces F es acotado y por el Teorema A.1.30 F es continuo (en
) en la norma de los operadores.
Sea E L(X) el espacio de las aplicaciones invertibles. Si (A), entonces I A no es
invertible, luego para (A) no existe el inverso de F , i.e., (A) es la imagen inversa F 1 de
L(X) \ E, (A) = F 1 (L(X) \ E). Como E es abierto (Teorema A.2.22) entonces L(X) \ E es cerrado,
y como F es continua entonces por la Proposicion A.1.12, F 1 (L(X) \ E) es cerrado, luego (A) lo
sera. Escojamos ahora tal que || > kAk, entonces k1 Ak < 1 as que (I 1 A) es invertible y
por tanto I A lo sera. Entonces para dichos tendremos que 6 (A), i.e., (A) B(0, kAk). Es
decir, (A) es cerrado y acotado, por lo tanto es compacto (en dimension finita cerrado y acotado es
equivalente a compacto) contenido en el interior de la bola cerrada B(0, kAk).
Teorema A.2.29 Sea A un operador compacto en un espacio de Hilbert y (n )n una sucesion orto-
normal de H. Entonces lmn An = 0.
Demostracion: Supongamos que el teorema es falso, entonces para algun > 0 ha de existir una
subsucesion (kn )n tal que kAkn k > para todo n N. Como A es compacto y la sucesion (kn )n es
acotada, entonces hay al menos una subsucesion convergente (mn )n tal que lmn Amn = 6= 0.
Entonces
0 6= kk2 = h, i = lm hAmn , i = lm hmn , A i = 0,
n n
pues A
H y por tanto hmn , A i
es, escencialmente, el mn coeficiente de Fourier cmn de A el
cual sabemos que tiende a cero si n (A.2.5).
Como hemos visto en dimension infinita un operador lineal A en general puede no tener autova-
lores. No ocurre as con los operadores compactos y autoadjuntos.
Demostracion: Ver, por ejemplo, L. Debnath & P. Mikusinski - Introduction to Hilbert spaces with
applications, Academic Press, 1990. Teorema 4.9.8 pag. 182.
Del teorema anterior se sigue que todo operador compacto y autoadjunto tiene siempre al menos
un autovalor. De hecho se tiene el siguiente teorema:
Demostracion: Del teorema A.2.30 se sigue que el conjunto de autovalores no es vaco, luego esta com-
puesto por un numero finito o infinito de elementos (que son numeros reales por el Teorema A.2.28).
Sea 1 tal que |1 | = kAk y sea x1 el correspondiente autovector (normalizado a la unidad, i.e.
kx1 k = 1). Sea H1 = H y definamos H2 el espacio de todos los vectores ortogonales a x1 , i.e.,
H2 = {x H | hx, x1 i = 0},
Si A|Hk 6= 0 para todo k N, entonces existen infinitos autovalores distintos n con sus corres-
pondientes autovectores xn normalizados (que pueden ser mas de uno), que son numerables pues H es
separable (por que?). Ahora bien, por el Teorema A.2.29 tenemos
0 = lm kAxn k2 = lm hAxn , Axn i = lm |n |2 ,
n n n
n
de donde se sigue que n 0.
n
Existe otra forma de probar que n 0. En efecto, supongamos que hay infinitos n distintos
n
pero que n 6 0. Entonces existe un > 0 tal que infinitos nk son tales que |nk | > . Construyamos
con dichos elementos una sucesion que denotaremos por (k )k . Como todos los elementos de (k )k son
distintos, el Teorema A.2.28 garantiza que sus correspondientes autovectores son ortogonales xk , i.e.,
hxk1 , xk2 i = 0. Si calculamos ahora la norma
kAxk+p Axk k2 = kk+p xk+p k xk k2 = |k+p |2 + |k |2 > 22 , k, p N
es decir, la sucesion (Axk )k no contiene ninguna subsucesion de Cauchy y por tanto no contienne
ninguna sucesion convergente (por que?) lo que contradice que A sea un operador compacto.
Del teorema anterior se sigue ademas que los espacios ker(k I A), para cada k , k = 1, 2, 3, . . .
n
son de dimension finita, pues en caso contrario n
6 0.
Teorema A.2.32 (Teorema espectral) Sea H un espacio de Hilbert y A una aplicacion lineal A :
H 7 H autoadjunta y compacta. Existe una sucesion numerable (finita o infinita) de autovectores
ortonormales (xn )n de H cuya correspondiente sucesion de autovalores denotaremos por (n )n tales
que, X
Ax = n hx, xn ixn , x H, (A.2.9)
n
donde se tiene que:
Demostracion: Utilizando la misma construccion que usamos en la prueba del teorema A.2.31 obtene-
mos una sucesion de autovalores (k )nk=1 con sus correspondientes autovectores normalizados (xk )nk=1
(para cada k puede haber mas de un autovector, en funcion de la multiplicidad del mismo) tales que
|1 | 2 | |n |.
Durante el proceso hemos construido ademas la cadena de subespacios invariantes respecto a A
H = H1 H2 Hn
donde Hk+1 = {x Hk | hx, xj i = 0, j = 1, 2, . . . , k}.
Supongamos que A|Hn+1 = 0, entonces el proceso acaba (caso finito). Sea, en este caso, yn =
P n
x k=1 hx, xk ixk . Entonces
n
X
hyn , xj i = hx, xj i hx, xk i hxk , xj i = hx, xj i hx, xj i kxj k = 0.
| {z } |{z}
k=1
j,k =1
138 Anexo: Breve introduccion al analisis funcional
Comprobemos ahora que todos los autovalores de A estan presentes en la formula (A.2.9). Esta
cuestion es de suma importancia pues en la prueba hemos usado los autovalores obtenidos gracias al
Teorema A.2.30 por lo que procede preguntarse si existen otros autovalores de A no nulos distintos
a los anteriores. Comprobemos que eso es imposible. Supongamos que existe un autovalor 6= 0
distinto de los autovalores k que aparecen en la suma (A.2.9), i.e., 6= k , para todo k, y sea x su
correspondiente autovector normalizado a la unidad. Por el Teorema A.2.28 x es ortogonal a todos
los xk , i.e., hx, xk i = 0 para todo k. Pero entonces, aplicando la formula (A.2.9) a dicho autovector x
tenemos
X
X
x = Ax = n hx, xn ixn = n 0 xn = 0,
n=1 n=1
lo que es una contradiccion. Lo anterior tiene una implicacion importante: Formalmente el proceso de
encontrar los autovalores de A basado en el Teorema A.2.30 permite encontrarlos todos.
Probemos finalmente que, en caso de que k 6= 0, k = 1, 2, 3, . . ., la dimension de ker(k I A) = p,
(1)
donde p es el numero de veces que aparece k en la formula (A.2.9). Por simplicidad denotemos por xj ,
(p)
. . . , xj p autovectores linealmente independientes asociados a j . Supongamos que dim ker(j I A) >
(1)
p, entoces existe al menos un x ker(j I A) que es linealmente independiente de los vectores xj ,
(p)
. . . , xj y que asumiremos, sin perdida de generalidad, que ortogonal a ellos (por que?). Entonces
esta claro que dicho x es ortogonal a todos los vectores xk que aparecen en la formula (A.2.9) (ya sea
(1) (p)
porque los xk corresponden a autovalores distintos a j o bien sean los xj , . . . , xj de antes), i.e.,
hx, xk i = 0 para todo k, luego usando (A.2.9) obtenemos
X X
0 6= j x = Ax = k hx, xk ixk = k 0 xk = 0,
k k
Corolario A.2.33 Sea H un espacio de Hilbert separable y A una aplicacion lineal A : H 7 H auto-
adjunta y compacta. Entonces existe un sistema ortogonal completo (base ortonormal) de autovectores
ortonormales (en )n de H consistente en los correspondientes autovectores de A. Ademas,
X
Ax = n hx, en ien , x H,
n
Asumamos que n 6= 0 (si hay algun n = 0 este se puede omitir de la suma). Como el nucleo de A,
ker A H (que coincide con el subespacio vectorial generado por los autovectores correspondientes
a = 0) es a su vez un espacio de Hilbert separable (por que?) existira una sistema (numerable)
ortogonal completo que denotaremos por (n )n . Dicho sistema de vectores son autovectores correspon-
dientes al autovalor 0. Sea ahora un autovector cualquiera m correspondiente al autovalor m 6= 0.
Entonces m sera ortogonal a todos los n y el sistema (m )m sera ortogonal a (n )n . Ademas de
(A.2.10) se tiene que para todo x H
!
X X
A x hx, m im = Ax hx, m iAm = 0,
m m
P
i.e., x m hx, m im ker A, luego podemos desarrollarlo en serie de Fourier en la base de ker A
(n )n de forma que obtenemos
X X X X
x hx, m im = hx, n in = x = hx, m im + hx, n in x H,
m n m n
S
i.e., el sistema (m )m (n )n es completo (Teorema A.2.5) que podemos ortogonalizar utilizando el
metodo de Gram-Schmidt obteniendo el sistema ortonormal (numerable) (en )n (recordemos que pa-
ra autovectores correspondientes a autovalores distintos ya teniamos la ortogonalidad, as que solo
es necesario
P aplicarlo a los autovectores correspondientes a un mismo autovalor), luego tendremos
x = n hx, en ien de donde se sigue el teorema.
Como consecuencia del teorema anterior tenemos que todo operador lineal A : H 7 H autoadjunto
y compacto en H, espacio de Hilbert separable, se le puede puede hacer corresponder una matriz (finita
o infinita) que ademas es diagonalizable y en cuya diagonal aparecen los correspondientes autovalores.
Ademas se tiene el siguiente resultado:
Demostracion: Sea un autovalor de A y sea S el correspondiente subespacio lineal generado por los
autovectores de A. Para todo x S tenemos ABx = BAx = Bx, i.e., Bx es tambien es un autovector
de A correspondiente a , Bx S, as que el espacio S es un subespacio vectorial de H invariante
respecto a B y es a su vez un espacio de Hilbert. Como B es autoadjunto y compacto, el Corolario
anterior A.2.33 nos asegura que S tiene una base orthonormal de autovectores de B, que ademas son
autovectores de A pues estan en S. Repitiendo en proceso para cada uno de los subespacios S de A
obtenemos para cada uno de dichos subespacios la correspondiente base de autovectores. La union de
todas ellas es la base comun buscada.
Bibliografa
[1] L. Debnath y P. Mikusinsk. Introduction to Hilbert spaces with applications, Academic Press,
1990.h31
[2] Yuli Eidelman, Vitali D. Milman, Antonis Tsolomitis. Functional Analysis: An Introduction,
Graduate Studies in Mathematics Vol. 66, AMS, 2004.m,h
[3] A.N. Kolmogorov y A.V. Fomn. Elementos de la teora de funciones y del analisis funcional.
Editorial MIR, 1978. (Elements of the Theory of Functions and Functional Analysis. Dover,
1999.)m,h
[4] E. Kreyszig. Introductory Functional Analysis with Applications. Wiley Classics Library Edition,
1989.m,n
[6] J. Tinsley Oden y L.F. Demkowicz. Applied Functional Analysis. CRC Press, 1996.m,n
31
Se recomienda para el tema de espacios metricos, normados y de Hilbert los libros marcados con m, n
y h, respectivamente.
141