Documente Academic
Documente Profesional
Documente Cultură
on a la Mec
anica
Cu
antica para no iniciados
Renato Alvarez
Nodarse
Departamento de Analisis Matematico,
Facultad de Matematicas, Universidad de Sevilla
30 de junio de 2015
Indice general
1. Breve introducci
on a la mec
anica cl
asica
1.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2. C
omo se gest
o la Mec
anica cu
antica?
13
INDICE GENERAL
ii
3. Mec
anica Cu
antica I: Movimiento de una partcula material
35
49
5. Resolviendo la ecuaci
on de Schr
odinger
73
INDICE GENERAL
iii
. . . . . . . . . . . . . . . . . 109
115
119
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 tuvieron lugar en la semana mas calurosa de mayo de 2015 en Sevilla que me permitieron corregir
e incluir mas material.
Renato Alvarez
Nodarse
Sevilla 29 de junio de 2015
Introducci
on
Estas notas corresponden a un curso de introduccion a la Mecanica cuantica. En el se
pretende dar una idea general de como surgio la Mecanica cuantica a principios del siglo pasado
(XX) y exponer algunos de sus principales principios desde un punto de vista matematico.
El trabajo estara dividido en dos partes.
En la primera se describira la evolucion de la teora cuantica desde finales del siglo XIX hasta
la aparicion de la Mecanica cuantica de Heisenberg y Schrodinger en 19261927, es decir, a partir
de la idea revolucionaria de Planck sobre los quanta, la explicacion del efecto fotoelectrico
por Einstein y la descripcion de la dualidad onda-partcula de De Broglie, hasta la aparicion
de las dos principales teoras matematicas: la mecanica matricial y la mecanica ondulatoria.
En la segunda parte introduciremos la Mecanica Cuantica de una partcula as como sus
bases axiomaticas en un espacio de Hilbert separabl e. Finalmente, veremos algunos de los
metodos usados para resolver la ecuacion de Schrodinger.
Captulo 1
Breve introducci
on a la mec
anica
cl
asica
La Fsica se basa en medidas y observaciones experimentales de la realidad que nos rodea,
es decir, en cuantificar o caracterizar los distintos fenomenos naturales mediante expresiones
cuantitativas o n
umeros.
Estas cantidades medibles u observables se denominan cantidades fsicas (e.g. longitud,
velocidad, energa, . . . ). El objeto o conjunto de objetos a estudiar se denomina sistema fsico
(e.g. una partcula, un atomo, un coche, . . . ). Cuando conocemos distintas medidas de un
sistema que lo caracterizan por completo en un momento de tiempo determinado (e.g. la posicion
y la velocidad de una partcula de masa m) decimos que el sistema se encuentra en un cierto
estado dado.
El objetivo de toda teora fsica es, por tanto:
1. Describir el estado del sistema fsico, es decir, dar una representacion cuantitativa (matematica) 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:
1. El formalismo: Conjunto de smbolos y reglas de deduccion a partir de los cuales se
pueden deducir proposiciones y enunciados. En general toda teora comienza fijando un
cierto n
umero de axiomas com
unmente denominados postulados.
2. Ley dinamica: Cierta relacion (o relaciones) entre algunos de los principales objetos del
formalismo que permitan predecir acontecimientos futuros.
3. Reglas de correspondencia o interpretacion fsica: Conjunto de reglas que permiten asignar
valores experimentales a algunos de los smbolos del formalismo.
1
n a la meca
nica cla
sica
Captulo 1. Breve introduccio
Como ejemplo ilustrativo vamos a describir la mecanica newtoniana.
En la mecanica newtoniana el estado de un sistema viene dado por el conjunto de trayectorias de todas las partculas que constituyen el sistema. Por ejemplo, para una partcula, el
estado estara dado por la funcion vectorial ~r(t) R3 que denota la posicion en cada instante
de tiempo t. Los observables son las cantidades medibles como la posicion ~r(t), la velocidad
~v(t) = d/dt[~r(t)], la energa cinetica T = mv 2 (t), etc.
La ley dinamica en este caso es la segunda ley de Newton:
m~a(t) = F~ (t),
d2~r(t)
~a(t) =
,
dt2
~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
(m~v ) d~r = m~v d~v,
F~ (x, y, z)d~r =
dt
nica Hamiltoniana
1.1. Meca
luego
~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,
2
v 2 = ~v ~v .
~a
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.1.
Mec
anica Hamiltoniana
1 2
(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
H
dx
,
=
dt
px
dy
H
=
,
dt
py
dz
H
=
,
t
pz
dpx
H
=
,
dt
x
dpy
H
=
,
t
y
dpz
H
=
.
t
z
(1.1.1)
dpi
H
=
,
dt
qi
i = 1, 2, . . . , N.
(1.1.2)
n a la meca
nica cla
sica
Captulo 1. Breve introduccio
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
H(~r, p~) =
1 2
(p + p2y + p2z ) + V (x, y, z),
2m x
las ecuaciones (1.1.1) nos dan (solo incluiremos las ecuaciones para la coordenada x)
H
dx
=
dt
px
vx =
px
,
m
px = mvx ,
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
N
X
A B
A B
{A, B} :=
.
(1.1.3)
q
p
k pk
k qk
k=1
Notese que las ecuaciones de Hamilton (1.1.2) se pueden escribir como
dpi
= {pi , H},
dt
dqi
= {qi , H},
dt
i = 1, 2, . . . , N.
{qi , pj } = i,j ,
i, j = 1, 2, . . . , N.
(1.1.4)
En general se puede probar que la ecuacion de evolucion para cualquier cantidad fsica A
es
1.2.
1.2.1.
dA
= {A, H}.
dt
(1.1.5)
Comencemos con un sistema clasico de gran importancia: el oscilador armonico. Asumiremos que el eje de coordenadas esta situado justo en la posicion de equilibrio del oscilador, luego
por x representaremos la desviacion del sistema del punto de equilibrio. En este caso
H(x, p) =
luego
p2
1
+ kx2 ,
2m 2
(1.2.1)
11
00
00
11
00
11
00
11
00
11
00
11
00
11
00
11
m
k
00
11
00
11
00
11
00
11
000000000000000000000
111111111111111111111
000000000000000000000
111111111111111111111
000000000000000000000
111111111111111111111
H(x, p)
dx
=
,
dt
p
dx
p
= ,
dt
m
dp
H(x, p)
=
=
dt
x
dp
= kx = mx (t) + kx(t) = 0.
dt
k
,
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 .
x(t) = A cos(t + ),
x
2
1
5
10
15
20
25
10
15
20
25
n a la meca
nica cla
sica
Captulo 1. Breve introduccio
1.2.2.
Veamos el caso correspondiente al potencial de una fuerza central, es decir, V (~r) = /r.
Ejemplos tpicos de dicha fuerza son la fuerza gravitatoria y la electroestatica.
z
F(r)
M
y
r=
my (t) =
y
,
r3
p2
,
2m
r
x
,
r3
x2 + y 2 + z 2 .
mz (t) =
(1.2.2)
z
.
r3
my (t) = Fy (r),
p
r = x2 + y 2 + z 2 .
x
Fx (r) = F (r) cos = F (r) ,
r
y
Fy (r) = F (r) cos = F (r) ,
r
z
Fz (r) = F (r) cos = F (r) ,
r
luego las ecuaciones del movimiento de nuestra partcula son
x
mx (t) = F (r) ,
r
y
my (t) = F (r) ,
r
z
mz (t) = F (r) .
r
(1.2.3)
xy yx = 0.
yz zy = 0.
zx xz = 0.
c1 = (xy yx )dt = xy x y dt yx + y x dt = xy yx .
Analogamente tenemos, para las otras dos,
yz zy = c2 ,
zx xz = c3 .
Fr
r
F(r)
j
u
ur
0
F
x
~u = ~i sen + ~j cos .
n a la meca
nica cla
sica
Captulo 1. Breve introduccio
8
Notese que entonces
d~ur
d~u
= ~u ,
= ~ur .
(1.2.4)
d
d
Ademas, F~ = Fr ~ur + F ~u , pero si la fuerza es radial entonces F = 0. Escribamos ahora las
leyes de Newton para nuestra partcula en coordenadas polares. Comenzamos calculando el
vector velocidad
~v =
d(r~ur )
d~ur dr
d~ur d dr
d
dr
=r
+ ~ur = r
+ ~ur = r ~u + ~ur ,
dt
dt
dt
d dt
dt
dt
dt
(1.2.5)
dr d
d2
d d~u d2 r
dr d~ur
d~v
=
~u + r 2 ~u + r
+ 2 ~ur +
dt
dt dt
dt
dt dt
dt
dt dt
"
#
2
2
d
dr d
d2 r
d
= r 2 +2
~u +
~ur .
r
2
dt
dt dt
dt
dt
Es decir, r 2 (t) = c, con c cierta constante. La propiedad anterior se conoce como Ley de las
areas pues el area que barre el radio vector ~r es tal que dA(t) = r 2 /2d = r 2 /2 (t)dt, por tanto
A (t) = r 2 /2 (t) = c/2. As, hemos probado la siguiente propiedad1
Propiedad 1. El movimiento de una partcula sometida a una fuerza central es tal que el radio
vector ~r recorre areas iguales en intervalos de tiempo iguales, i.e., dA(t)/dt = r 2 (t) = c.
Supongamos ahora que la fuerza es de la forma
m
F~ (r) = 2 ~ur ,
r
(1.2.6)
d
d2 r
= 2.
r
Fr (r) = mar =
2
dt
dt
r
(1.2.7)
Vamos a intentar resolver esta ecuacion diferencial. Obviamente es una ecuacion diferencial no
lineal as que intentaremos convertirla en una ecuacion lineal. Para ello haremos el cambio de
variable r = 1/u() y pasaremos de la variable t a , es decir, intentaremos dar con la ecuacion
de la trayectoria de nuestra partcula. Notese que en las nuevas variables, la propiedad 1 de las
areas se escribe como (t) = cu2 . Tenemos
dr
dr d
u()
=
= 2 cu2() = cu (),
dt
d dt
u ()
1
Esta propiedad se conoce como segunda Ley de Kepler, en honor al matematico y astronomo J. Kepler
quien la descubri
o en la segunda mitad del siglo XVII cuando estudiaba la orbita del planeta Marte.
u () + u() = 2 ,
c
que es lineal. La solucion de la ecuacion anterior la escribiremos en la forma
u() = c1 cos() + c2 sen() +
= 2 [1 + e cos( )] ,
2
c
c
P
D
r
Propiedad 2. La trayectoria de una partcula sometida a una fuerza central es una secci
on
c
onica, 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
Fx =
U
,
x
Fy =
U
,
y
Fz =
U
.
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
dx +
dy +
dz = m(x dx + y dy + z dz)
x
y
z
m 2
2
2
= 0.
d U + (x + y + z
2
En otras palabras, la funcion energa
dU =
E(t) = U +
m 2
m
v = + v2
2
r
2
(1.2.8)
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),
E=
m
m
m
m
m 2 m
v
= (v2 + vr2 )
= [(r (t))2 + (r (t))2 ]
.
2
r
2
r
2
r
10
n a la meca
nica cla
sica
Captulo 1. Breve introduccio
b
a
rm
m
2
rm
v2 =
,
rm
m
m
< 0,
E = v2 =
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
=
,
a3
(1.2.9)
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 seg
un la Ley
de Gravitacion Universal es GMs , donde G es la constante de gravitacion universal y Ms la
masa del sol.
1.3. Problemas
1.3.
11
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,
0, 0 < x < L,
U0 , 0 < x < L,
V (x) =
V (x) =
U0 , x > L,
0, x > L,
conocidas como pozo potencial y barrera de potencial.
Problema 1.3.2 Discutir lo que ocurre si en vez de dos masas interactuando seg
un la ley de
gravitacion universal, lo que tenemos es un atomo de hidr
ogeno. 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 a
nadido y es que al ser
el electron una partcula cargada en movimiento, esta continuamente emitiendo ondas electromagneticas por lo que su energa va disminuyendo. Esto implica que el electron va cayendo en
espiral al n
ucleo. Este hecho contradice todos los experimentos conocidos.
12
n a la meca
nica cla
sica
Captulo 1. Breve introduccio
Captulo 2
C
omo se gest
o la Mec
anica cu
antica?
Antes de entrar a discutir el formalismo y las leyes dinamicas de la Mecanica Cuantica no
relativista vamos a dar un bosquejo historico de la misma.
William Thomson o, como era conocido, Lord Kelvin, pronuncio una
conferencia el 27 de abril de 1900 1 que contena la siguiente, hoy celebre,
frase:
Hoy da la ciencia fsica forma, esencialmente, un conjunto
perfectamente armonioso, Un conjunto practicamente acabado! Solo quedan dos nubecillas: la primera, el resultado negativo del experimento de Michelson-Morley. La segunda, las
profundas discrepancias de la ley de Rayleigh-Jeans.
Nadie, en aquel momento, poda imaginar que esas dos nubecillas
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 comparable, en cierta forma, a la Revolucion Copernicana y la aparicion de los
Principia de Newton.
William Thomson
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 a
no mas tarde Lord
Kelvin public
o 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, p
ags. 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
2.1.
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
La radiaci
on del cuerpo negro
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 peque
nas 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) mediante U(T ). Obviamente esta dependera de la temperatura T . Ademas, cada longitud de onda
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 denotaremos por u(, T ), as
Z
U(T ) =
u(, T )d.
(2.1.1)
0
2
kT,
2 c3
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
16
u(, T )
Curva experimental
Ley de Rayleigh-Jeans
Ley de Wien
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.
Para explicar su formula Plank, rompiendo la concepcion clasica,
lanza la idea de que los osciladores que componen los atomos absorben o emiten luz no de forma continua, como era habitual en la fsica
clasica, sino mediante porciones aisladas proporcionales a la frecuencia,
es decir la energa se emita o absorba mediante quantas de energa
E = ~.
Hay varias razones que justifican su audacia. La primera es que
Planck considero su hipotesis como un artificio matematico pues le permita deducir su formula emprica. En efecto, a
nos antes en gran fsico
austriaco Ludwig Boltzmann haba demostrado que la probabilidad de
Max Planck
que un sistema enequilibrio
tuviese una energa E era proporcional
E
a la cantidad exp
. Si E solo puede tomar valores que sean
kT
m
ultiplos enteros de ~,
n~, entonces la probabilidad pn de cada uno de estos valores
En =
n~
de energa es pn = exp
y por tanto la energa media es
kT
n~
n~ exp
kT
X
~
n=0
=
,
hi =
pn En =
X
~
n~
n=0
1
exp
exp
kT
kT
n=0
que es justamente la formula que Plank haba encontrado empricamente. Si ahora multiplica-
17
2
obtenemos
2 c3
u(, T ) = hidn =
~ 3
4 2 c2
exp
1
,
~
1
kT
(2.1.3)
exp
~
,
~
1
kT
Muchas veces en vez de ~ se usa el valor h = 2~ = 6,62 1034 juliosradianes por segundos.
18
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
solo se poda obtener bajo la suposicion de que la energa esta cuantizada (vease el magnfico artculo de Hendrik Lorentz Deux Memoires
de Henri Poincare sur la Physique Mathematique escrito en 1914 y
publicado en Acta Mathematica Vol. 38, (1921) pags. 293-308), es decir desde el punto de
vista matematico la formula de Planck solo puede ser deducida bajo la suposicion de que la
energa se emite y absorbe en porciones discretas de energa algo que era totalmente distinto a
la concepcion clasica del mundo que se tena hasta la fecha.
2.2.
El siguiente paso lo dio Einstein en 1905 en un ensayo titulado Sobre un punto de vista
heurstico acerca de la produccion y la transformacion de la luz que recibio el mismo Max Planck
para su publicacion en los Annalen der Physik.
Einstein, totalmente seducido por los quanta de Planck, lanza la
hipotesis de que no solo los osciladores materiales emitan energa
cuantificadamente, sino tambien los osciladores lumnicos. Einstein
retomando las ideas corpusculares sobre la luz Newton ya haba desarrollado una teora corpuscular a finales del siglo XVII considera la
luz formada por partculas de masa cero y energa ~: los fotones.
Utilizando estas hipotesis dio una explicacion sencillsima al efecto fotoelectrico que haba descubierto Hertz en 1887 y que segua sin tener
una explicacion satisfactoria.
Hertz haba descubierto que una placa metalica sometida a una luz
ultravioleta altas frecuencias emita electrones. A
nos mas tarde se
comprobo que el n
umero de dichos electrones aumentaba proporcionalmente a la intensidad de la radiacion pero incomprensiblemente la
Albert Einstein
velocidad de estos no dependa de la intensidad sino de la frecuencia
de luz: a mayor frecuencia, mayor velocidad. Ademas si la frecuencia
era lo suficientemente baja o la longitud de onda muy grande ya no se emitan electrones
independientemente de lo intensa que fuese la luz incidente.
Para resolver el problema Einstein razono como sigue: Supongamos que usamos una luz
monocromatica compuesta por quantas de energa luminosa ~, es decir que estamos bombardeando la lamina metalica con partculas luminosas cada una de las cuales tiene una energa
mico
2.3. Bohr y el modelo ato
19
~. 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!
A
nos 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.
2.3.
Bohr y el modelo at
omico
k 2 n2
siendo RH la constante de Rydberg que tomaba el valor 1,0976776534 107 1/metros. Llamaba
tremendamente la atencion de que los valores que n y k eran n
umeros enteros.
3
Rutherford bombardeaba
atomos de oro con n
ucleos de helio (partculas alpha) cuando descubri
o que para
ngulos muy bajos (es decir cuando se disparaban las partculas alpha frontalmente contra los n
a
ucleos de oro)
haba una gran cantidad de ellas que rebotaban en sentido contrario, como cuando una bola peque
na ligera
contra una muy pesada. Eso llev
o a Rutherford a deducir que la estructura del atomo era parecida a un sistema
solar en miniatura: un n
ucleo muy denso y pesado en el centro con electrones ligeros girando a su alrededor.
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
20
Niels Bohr
ke e2
v2
= 2 .
r
r
000000000000000
111111111111111
111111111111111
000000000000000
000000000
000000000000000 111111111
111111111111111
000000000
111111111
000000000000000
111111111111111
000000000
000000000000000 111111111
111111111111111
000000000
111111111
000000000000000
111111111111111
000000000
000000000000000 111111111
111111111111111
000000000
111111111
000000000000000
111111111111111
000000000
000000000000000 111111111
111111111111111
000000000
111111111
000000000000000
111111111111111
000000000
000000000000000 111111111
111111111111111
000000000
111111111
00000
11111
000000000000000
111111111111111
000000000
00000
11111
000000000000000 111111111
111111111111111
00000
11111
00000
11111
~r
~v
~2 n2
.
mke e2
Entonces, el salto entre dos orbitas daba para la frecuencia del foton emitido el valor:
En Em
mke2 e4 1
1
=
,
n, k = 1, 2, 3, . . . .
=
~
2~3
k 2 n2
Cuando Bohr sustituyo en su formula el valor de m, e y ~, tomando para esta u
ltima el valor
de encontro Planck, obtuvo justamente el valor de la constante de Rydberg RH (recordemos
4
nica Cua
ntica
2.4. El nacimiento de la Meca
21
que = (2c/) donde c es la velocidad de la luz. Es decir, ~ era mas que una simple constante 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 continuaba siendo muy incompleto y ademas tena demasiados interrogantes. De donde sala ese
extra
no 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 n
umeros cuanticos grandes, por ejemplo n en las formulas anteriores,
se transformase en la teora clasica.
A
nos mas tarde, Bohr junto a Sommerfeld mejoran mucho el modelo atomico inicial incluyendo 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.
2.4.
2.4.1.
El nacimiento de la Mec
anica Cu
antica
La dualidad onda-partcula
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 peque
no
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
En la Optica
durante siglos ha sido demasiado despreciado el metodo corpuscular de
estudio en comparacion con el ondulatorio. No se habra cometido el error inverso
en la teora sobre la materia? .
Louis de Broglie
22
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
de esta forma De Broglie daba un significado fsico a las orbitas de Bohr: estas eran justo
aquellas orbitas tales que el cociente entre su longitud y la longitud de onda del electron era
un n
umero entero, es decir era una analoga completa a las ondas estacionarias sobre un anillo
(crculo).
2.4.2.
La Mec
anica matricial de Heisenberg
La hipotesis de De Broglie fue la clave para una de las dos formulaciones de la Mecanica
cuantica: La mecanica ondulatoria de Schrodinger. Pero antes debemos comentar la primera
version de la Mecanica cuantica, la mecanica matricial, nacida en 1925 de la mano del joven
fsico aleman Werner Heisenberg.
En opinion de Heisenberg, una teora fsica correcta ha de hacer uso
u
nica y exclusivamente de cantidades o magnitudes observables. Luego haciendo uso del principio de correspondencia de Bohr se lanzo a entender los
estados estacionarios del atomo. Su razonamiento era, aproximadamente
el siguiente: Una carga en movimiento con una determinada frecuencia
deba emitir radiacion con dicha frecuencia como en la teora clasica.
Este hecho era una consecuencia matematica del analisis de Fourier que
Heisenberg aplicaba al mundo cuantico. Como las frecuencias del espectro
dependan de dos ndices n,m (vease la formula de Balmer), Heisenberg
postulaba que deba haber tantos ndices como estados estacionarios no
solo como niveles de energa, pues se saba que las series espectrales se
Werner Heisenberg modificaban al introducir los atomos en fuertes campos magneticos. A
continuacion da un salto cualitativo al afirmar que toda magnitud fsica
clasica a(t) debe transformarse en el conjunto Anm (t). As, por ejemplo la posicion del electron
x(t) deba ser sustituida por una tabla Xnm (t). A continuacion Heisenberg razona como habra
2
de calcularse Xnm
(t) hasta obtener la formula
X
2
Xnm
(t) =
Xnk (t)Xkm (t),
k
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 difracci
on que probaba
la dualidad onda partcula.
nica Cua
ntica
2.4. El nacimiento de la Meca
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
(2.4.1)
= (HX XH) = [H, X], i = 1,
dt
~
~
donde H representaba la matriz del Hamiltoniano del sistema. Como H, representa el Hamiltoniano, 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 imposibilidad 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 arbitraria 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 complicado para que no estuviera al alcance de cualquier fsico en aquella epoca. Por eso no es de
extra
nar que pronto apareciera una formulacion alternativa.
2.4.3.
La Mec
anica ondulatoria de Schr
odinger
En efecto, en 1926, Erwin Schrodinger andaba buscando una teora que acabase con esa
aberracion de las matrices que Heisenberg intentaba introducir en la fsica, cuando, a sugerencia de P. Debije, estudia el trabajo de De Broglie publicado 1924. Seg
un el mismo Schrodinger,
un simple vistazo le fue suficiente para dar con la idea: asociar a cada partcula una onda y
construir la ecuacion diferencial que gobierna dicha onda. Al principio Schrodinger intento construir una teora ondulatoria para un electron atrapado en un atomo. Comienza con un modelo
relativista pero no le sale bien y decide estudiar que ocurre en el caso no relativista.
La idea de Schrodinger era muy simple: Supongamos que tenemos una
onda (x, t) asociada a un sistema clasico cuya energa viene dada por
la funcion de Hamilton, el Hamiltoniano, H(x, p), siendo x la coordenada
y p el impulso. Entonces, despues de un largo proceso de prueba y
error, y usando el principio de correspondencia de Bohr as como distintos
elementos de la mecanica analticalas ecuaciones de Hamilton-Jacobi,
por ejemplo, Schrodinger postul
o que la ecuacion para una onda (x, t)
deba ser, en el caso estacionario, es decir cuando no hay dependencia del
tiempo,
p2
+ V (x),
2m
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
24
~2 k 2
,
2m
que igualado con el valor de la energa cinetica recordemos que V (x) = 0 nos da
E=
2~
,
Pero su mayor exito estaba por llegar. Schrodinger decidio aplicar su ecuacion al atomo de
hidrogeno. Como en este caso el potencial era
p
e2
r = x2 + y 2 + z 2 ,
V (r) = ,
r
obtuvo la ecuacion
2
2
2
e2
~2
+
+
(x,
y,
z)
2m x2 y 2 z 2
r
A esta ecuacion volveremos mas adelante. Lo importante era que Schrodinger saba como tratar
este tipo de ecuaciones y la resolvio. Primero la escribio en coordenadas esfericas y luego aplico la
2
2
2
separacion de variables. La parte angular del laplaciano, := x
2 + y 2 + z 2 , en coordenadas
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
~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
.
~
n de la Meca
nica cua
ntica
2.5. La interpretacio
2.4.4.
25
Una deducci
on de la ecuaci
on de Schr
odinger
k=
2
.
Seg
un De Broglie p = 2~/, as que k = p/~, y ademas, usando la formula de Planck = E/~,
i
(x, t) = Ae ~ (pxEt) .
Ahora hacemos,
p2
2
(x,
t)
=
(x, t),
x2
~2
por tanto p2 =
~2 2
(x, t),
(x, t) x2
pero
E=
p2
~2
2
E=
(x, t),
2m
2m(x, t) x2
~2 2
(x, t) = E(x, t).
2m x2
Si en vez de una partcula libre tenemos una ligada mediante un potencial V (x), entonces
E=
p2
+ V (x),
2m
E=
~2
2
(x, t) + V (x),
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 corresponde el operador
p = i~ .
x
2.5.
La interpretaci
on de la Mec
anica cu
antica
La ecuacion de Schrodinger trajo cierta paz y tranquilidad a la Fsica Teorica pues aparentemente dejaba de lado la nfamemecanica matricial de Heisenberg as que no es de estra
nar
que la serie de trabajos que publico Schrodinger en 1926 calaron muy hondo en los fsicos de la
epoca. En particular, aparentemente se perda la cualidad discreta del modelo de Bohr al aparecer nuevamente las ondas, en este caso la onda . En problema ahora era que significado
fsico tena esta nueva funcion? El mismo Schrodinger intento darle un significado a la onda
de su ecuacion usando ciertas analogas con la mecanica de fluidos ecuacion de continuidad
para el fluido electronico, pero no tuvo exito en su intento.
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
26
n de la Meca
nica cua
ntica
2.5. La interpretacio
1 , E1
27
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.
2.5.1.
El gato de Schr
odinger
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 , respectivamente. 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
28
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
A 1
B 2
A+B = a1 1 + a2 2
A+B = a1 1 + a2 2
A
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.
clasico, tendremos una superposicion mas complicada
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
n de la Meca
nica cua
ntica
2.5. La interpretacio
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 vivomuerto 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.
2.5.2.
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 mec
anica cu
antica de John S. Bell (Alianza Universidad, 1990).
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
30
2.6.
es decir8
|(x, 0)|2 dx = 1.
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
x|(x, 0)|2 dx = x0 ,
hxi =
(x, 0)x(x, 0) =
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
b2
~2
2
p =
(x, 0)(
p p0 )2 (x, 0) = 2 ,
x =
(x, 0)(x x0 ) (x, 0) = ,
2
2b
R
R
de forma que
~2
x p = , o, equivalentemente, xp =
4
~
,
2
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?
2.6.1.
El experimento de difracci
on y el principio de incertidumbre
Consideremos el siguiente experimento imaginario. Supongamos que tenemos una pared con
un agujero en el centro de diametro d y lanzamos un electron cuya trayectoria es perpendicular
a la pared y que pasa por dicho orificio.
8
La operaci
on a denota el complejo conjugado de a.
31
11
00
00
11
00
11
00
11
00
11
00
11
00111
11
10000
000
10111
d 111
10111
000
000
10111
000
111
000
2 111
000
10111
000
10 d2 sen
0110
A
0000000000000000000000000
1111111111111111111111111
1010
0000000000000000000000000
1111111111111111111111111
0000000000000000000000000
1111111111111111111111111
1010
0000000000000000000000000
1111111111111111111111111
0000000000000000000000000
1111111111111111111111111
1010
0000000000000000000000000
1111111111111111111111111
0000000000000000000000000
1111111111111111111111111
1010
0000000000000000000000000
1111111111111111111111111
0000000000000000000000000
1111111111111111111111111
10
0000000000000000000000000
1111111111111111111111111
0000000000000000000000000 O
1111111111111111111111111
1010 d
1010 2
1010
1010
1010
1010
11
00
00
11
00
11
00
11
00
11
00
11
sen = m
2
2
d sen = m,
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
32
El experimento de la difraccion de electrones nos permite comprobar la veracidad del principio de incertidumbre de Heisenberg. Ante todo notemos que para nuestro electron py es
cero ya que el electron se mueve en el eje de las x. Ahora bien, cuando pasa por la ranura
sabemos que se difracta, es decir que puede cambiar su trayectoria inicial ya que vemos su
grafica de dispersion. Por tanto, la indeterminacion y del electron en el momento de pasar
por el orificio es del orden y = d (pues sabemos que el electron ha pasado). Ahora bien, como
tenemos una grafica de dispersion, resulta que el electron tiene que haber ganado cierto impulso
py en la direccion perpendicular a su eje, eso nos da una cierta indeterminacion del orden py .
Para calcularla usamos la teora ondulatoria de de Broglie para el electron, py = px sen ,
px = 2~/.
Para calcular asumiremos que el electron va a
parar dentro del crculo que define el primer mnimo
en la grafica de dispersion los otros cculos los despreciamos al ser la intensidad de estos bastante mas
peque
na que la del primero tal y como se ve en la
figura de la izquierda. Ahora bien, como sabemos,
el primer mnimo tiene lugar cuando d sen = , de
donde se deduce sen = /d, y por tanto
Intensidad normalizada del cuadro de difraccion
2~
~
py y = px
y =
d = 2~ > 0.
d
d
2
El principio de incertidumbre como ya hemos dicho es un pilar de la Mecanica cuantica.
Por ejemplo, es el causante de que los electrones no caigan al n
ucleo pues en ese caso tanto p
como x valdran cero. Otra consecuencia del principio de incertidumbre es la desaparicion del
concepto clasico de trayectoria.
2.7.
Las matem
aticas de la Mec
anica Cu
antica
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
b = hAa|bi.
b
de las funciones de cuadrado integrable. Un operador Ab se dice hermtico si ha|Abi
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 u
ltima propiedad era decisiva a la hora de identificar los operadores con las magnitudes
fsicas medibles, que son cantidades reales.
2.8.
Sobre la bibliografa
Mas detalles historicos los puedes encontrar en [3, 8, 12, 15, 18, 24].
Como introduccion a nivel elemental de fsica cuantica se pueden consultar [10, 19, 25].
Textos mas avanzados lo constituyen [4, 9, 15, 17, 20, 22, 23]. Una magnfica introduccion de
lo que pretende la fsica y de su interaccion con las matematicas se tiene en [11].
10
11
34
mo se gesto
la Meca
nica cua
ntica?
Captulo 2. Co
Captulo 3
Mec
anica Cu
antica I: Movimiento de
una partcula material
Vamos a comenzar describiendo el sistema cuantico mas sencillo: una u
nica partcula sometida a un potencial externo V (~r). Comenzaremos describiendo los principales postulados. Una
magnfica introduccion se puede consultar en [4].
3.1.
Postulado 3.1.1 El estado de una partcula de masa m en el instante de tiempo t viene biunvocamente determinado por la funcion de onda (~r, t). La densidad de probabilidad de encontrar
la partcula en el instante t en la region del espacio de volumen d3~r alrededor del punto ~r es
d3 P (~r) = |(~r, t)|2 d3~r.
Proceden algunos comentarios.
1. Para que el postulado 3.1.1 tenga sentido debe ocurrir que para cada t fijo
Z
|(~r, t)|2 d3~r = 1,
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 a
un, 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
nica Cua
ntica I: partcula material
Captulo 3. Meca
36
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.
Como entender entonces la descripcion probabilstica del postulado 3.1.1?
Para ello imaginemos que tenemos N cajas identicas y N partculas identicas de forma que
en cada caja hay una u
nica partcula. Asumamos ademas que todas las partculas estan en el
mismo estado, i.e., (~r, t) es la misma para cada una de ellas en el instante de la medicion. Si
medimos las posiciones de cada partcula independientemente obtendremos los valores ~r1 , ~r2 ,
. . . , ~rN , no necesariamente iguales, que estaran distribuidos de acuerdo a la ley de probabilidad
|(~r, t)|2 d3~r. El valor esperado de r es, por tanto
Z
Z
2 3
h~ri =
~r|(~r, t)| d ~r, hxi i =
xi |(~r, t)|2 d3~r,
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 ,
Un ejemplo muy ilustrativo es el siguiente. Supongamos que (~r, t) = [a,b] (x)/(b a), donde [a,b] (x) es la
funci
on 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 est
an cercanos entonces la dispersi
on es peque
na y tenemos que la partcula
est
a muy cerca de la posicion media. Por el contrario si a y b difieren mucho la partcula est
a 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
N
otese que si 1 = 2 = 0, se tiene 0, es decir la partcula no est
a en ning
un 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 alg
un punto de la funci
on ha de ser distinta de cero). Si 1 y 2 est
an normalizadas a
la unidad, entonces para que lo este basta que |1 |2 + |2 |2 = 1.
nica Cua
ntica
3.1. Los postulados de la Meca
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 (Ecuaci
on din
amica) La funcion de onda viene determinada por la ecuacion 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.
La ecuacion anterior se suele escribir de la forma
i~
(~r, t)
b r , t),
= H(~
t
(3.1.2)
(~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, seg
un ya vimos, E = ~, obtenemos
~ =
~2 k 2
2m
E=
~2 k 2
,
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 ning
un 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 superpuestas. Usando que p = ~k y E = ~ tenemos, para cada onda la ecuacion
i
En coordenadas cartesianas es =
2
2
2
+
+
.
x2
y 2
z 2
nica Cua
ntica I: partcula material
Captulo 3. Meca
38
d3 ~p
=
(2~)3/2
R3
e p, t)e ~i p~~r
(~
d3 p~
,
(2~)3/2
(3.1.3)
R3
entonces xi pi ~/2, y la igualdad solo tiene lugar cuando (~r, t) es proporcional a una
gaussiana en ~r, es decir el principio de incertidumbre de Heisenberg.
Para nuestro caso de la partcula libre ello implica que si (~r, t) esta muy dispersa en el
espacio, entonces el valor del impulso ~p esta muy concentrado y si (~r, t) esta muy dispersa
entonces p~ esta muy disperso.
En la figura 3.1 se muestra lo que ocurre para el caso unidimensional cuando tomamos en
(3.1.3)
(pp0 )2
1
2(~)2
(p) =
1 e
~ 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 norma 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
i~
~2
(~r, t)
=
(~r, t) + V (~r, t)(~r, t)
t
2m
nica Cua
ntica
3.1. Los postulados de la Meca
e t)|
|(p,
|(x, t)|
-20
39
0.5
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
-10
10
20
-2
-1
e t)|
|(p,
|(x, t)|
0.05
0.04
1.5
0.03
1
0.02
0.5
0.01
-20
-10
10
20
-2
-1
e t) (~ = 1)
Figura 3.1: Distribucion de (x, t) y (p,
(~r, t)
~2
=
(~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)
d3~r
+ (~r, t)
= i~
(~r, t)
t
t
Z
~2
=
(~r, t)(~r, t) (~r, t)(~r, t) d3~r.
2m
Si ahora en la u
ltima de las integrales usamos la formula de Green obtenemos
Z
~2
umero complejo z
Como antes denotaremos por z al complejo conjugado del n
En una dimensi
on vale simplemente la integraci
on por partes.
nica Cua
ntica I: partcula material
Captulo 3. Meca
40
u
ltima 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
Un operador Ab : L2 () L2 () es hermtico7 si
Z
Z
3
b
b 1 (~r, t) 2 (~r, t)d3~r.
1 (~r, t) A2 (~r, t) d ~r =
A
Z
3
b
b r , t) (~r, t)d3~r
(~r, t) A(~r, t) d ~r =
A(~
Z
b
=
A(~r, t) (~r, t)d3~r,
i.e., hAi(t) R.
b
~r := ~rI,
(3.1.5)
6
Aunque el valor hAi(t) depende de la funci
on 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.
nica Cua
ntica
3.1. Los postulados de la Meca
41
(3.1.6)
~2
, donde es, como antes, el laplaciano en R3 .
1. El operador energa cinetica Tb := 2m
b
2. El operador energa potencial Vb (~r) := V (~r)I.
q
A2 := hA2 i hAi2 = 0, es decir, el resultado de la medicion, en caso de que el sistema
se encuentre en el estado a (~r, t) correspondiente al autovalor a, es exacto. Este resultado lo
discutiremos con mas detalle en el marco de los espacios de Hilbert.
f (~r)~ f (~r)~ f (~r) ~
k.
i+
j+
x
y
z
9
b como veremos mas adelante.
Esta propiedad es en realidad una consecuencia de la hermiticidad de A,
8
nica Cua
ntica I: partcula material
Captulo 3. Meca
42
3.2.
El principio de incertidumbre
b B]
b es el conmutador de los operadores Ab y Bb definido por [A, B] = AB BA.
donde [A,
Lo curioso es que a partir de esta relacion de conmutacion se puede probar que si definimos
las varianzas de x
bi y pbi mediante las expresiones (acordes con los postulados descritos), i.e.,
q
q
2
b
b 2 i,
xi = h(b
xi hxi iI) i, pi = h(b
pi hpi iI)
entonces
~
,
2
es decir, obtenemos el principio de incertidumbre de Heisenberg que ya vimos antes.
xi pi
b
[b
x, b
p] = [b
x, pb] = i~I.
p
Obviamente x = h(b
x)2 i y p = h(b
p)2 i, ahora bien, por la desigualdad de CauchySchwarz
sZ
sZ
Z
|b
p(x)|2 dx b
x(x) b
p(x)dx
|b
x(x)|2 dx
p
Z
Z
b
x(x) b
p(x)dx
b
x(x) b
p(x)dx = Ixp ,
i.e.,
xi pi Ixp .
Pero
Ixp
Luego
Z
Z
1
(b
=
x(x))(b
p(x))dx (b
x(x))(b
p(x))dx
2i
Z
Z
1
(b
x(x))(b
p(x))dx (b
x(x))(b
p(x))dx
=
2i
Z
Z
1
=
((x))(b
xb
p(x))dx ((x))(b
pb
x(x))dx
2i
Z
Z
1
~
1
b
((x))([b
((x))(i~I(x))dx
x, b
p](x))dx =
= .
=
2i
2i
2
x p
~
,
2
43
3.3. Ejemplos
3.2.1.
(~r, t) = (~r)e ~ E t
(3.2.1)
(3.2.2)
Notese que los estados definidos por (3.2.1) son estados con una energa constante (conservada) en el tiempo, ademas, la funcion (~r, t) es periodica en el tiempo con una frecuencia
= E /~. Los estados con estas caractersticas se denominan estados estacionarios.
Los estados estacionarios cumplen dos propiedades muy importantes (que los hacen de
especial relevancia):
1. La densidad de probabilidad es independiente del tiempo: |(~r, t)|2 = | (~r)|2 .
2. Si cierto observable A no depende el tiempo, entonces su media
Z
Z
3
b
b
hAi =
(~r, t) A(~r, t) d ~r =
(~r) A (~r) d3~r,
c (~r),
(3.2.3)
c e ~ Et (~r).
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
nica Cua
ntica I: partcula material
Captulo 3. Meca
44
V (x)
U0
3.3.1.
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
~
(x) + V (x)(x) = E(x),
2m x2
U0 , x < 0,
0, 0 < x < L,
V (x) =
U0 , x > L,
1
~
2m(U0 E), q =
1
~
2mE.
1 (0) = 2 (0),
2 (L) = 3 (L),
2 (L) = 3 (L),
A1 = B1 + B2 ,
kA1 = iq(B1 B2 ),
(k + iq)eiqL B1 + (k iq)eiqL B2 = 0.
45
3.3. Ejemplos
Para que este sistema homogeneo tenga solucion su determinante ha de anularse
k iq
k + iq
det
(k + iq)eiqL (k iq)eiqL
Como
k iq
k + iq = 1,
cos =
=0
k iq
k + iq
ei =
k2 q2
,
k2 + q2
2iqL
sen =
k iq
k + iq
2
(3.3.1)
=
2kq
.
+ q2
k2
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
cos qL =
k2 q2
k2 + q2
sen qL =
2kq
,
+ q2
k2
o, equivalentemente,
tan qL =
Sea x =
E/U0 y =
2kq
.
q2
(3.3.2)
k2
x(1 x)
.
1 2x
(3.3.3)
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
n
umero de estados aumenta (vease la figura 3.3).
6
6
3
3
6
9
6
6
3
0,2
0,4
0,6
0,8
3
6
9
0,2
0,4
0,6
0,8
~2 2 n2
,
2mL2
que coinciden con los valores de energa para un pozo infinito (ver problema 3.3.1).
(3.3.4)
nica Cua
ntica I: partcula material
Captulo 3. Meca
46
V (x)
U0
3.3.2.
El efecto t
unel
~
(x) + V (x)(x) = E(x),
2m x2
0, x < 0,
U0 , 0 < x < L,
V (x) =
0, x > L.
(3.3.5)
1
~
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 ning
un 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
x < 0,
1 (x) = eikx + Aeikx ,
iqx
iqx
2 (x) = B1 e + B2 e
, 0 < x < L,
+ (x) =
3 (x) = Ceikx ,
x > L.
10
47
3.3. Ejemplos
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
1 (0) = 2 (0),
1 (0) = 2 (0),
2 (L) = 3 (L),
2 (L) = 3 (L),
1 + A = B1 + B2 ,
k(1 A) = q(B1 B2 ),
(3.3.6)
4kqeikL
4kqeikL
=
.
(k + q)2 eiqL (k q)2 eiqL
(k 2 + q 2 ) sen(qL) + 2kqi cos(qL)
(3.3.7)
(3.3.8)
4k 2 q 2
=
(k 2 + q 2 )2 sen2 (qL) + 4k 2 q 2 cos2 (qL)
1+
1
(k 2 q 2 ) sen(qL)
2kq
2 ,
y R(E) = 1 T (E).
~2 2 n2
.
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
nica Cua
ntica I: partcula material
Captulo 3. Meca
48
16k 2 q 2 L
e ,
(k 2 + q 2 )2
es decir, el coeficiente
de transporte decae exponencialmente a cero con L. Este lmite corresp
ponde al caso 2m(U0 E)/~ 1, i.e.,
1. m ~2 /(2(U0 E)L2 ), masas muy grandes (lmite de la mecanica clasica),
3.3.3.
Problemas
,
0,
V (x) =
Captulo 4
Mec
anica Cu
antica II: Espacios de
Hilbert
En este captulo desarrollaremos la Mecanica Cuantica sobre un espacio de Hilbert general. Aunque el captulo es autocontenido, es recomendable consultar el Anexo A donde se da
una breve introduccion a la teora de espacios funcionales (metricos y normados), as como se
desarrolla con mas detalles las propiedades de los espacios de Hilbert separables.
4.1.
49
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
50
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
(4.1.2)
(4.1.3)
La demostracion se deja como ejercicio.2 Por ejemplo, en el espacio C[a, b] podemos definir la
norma por
s
Z b
|f (x)|2 dx.
kf k =
a
Definici
on 4.1.4 Un espacio eucldeo E completo3 respecto a la norma inducida por un producto escalar se denomina espacio de Hilbert y lo denotaremos por H.
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.
2
51
En adelante nos interesaran los espacios de Hilbert H separables, es decir, aquellos espacios
de Hilbert que contienen un subconjunto numerable denso.
Definici
on 4.1.5 Sea el sistema de vectores {n }
n=1 de H linealmente independiente es decir, que cualquier subsistema finito es linealmente independiente. Diremos que {n }
n=1 es un
sistema ortogonal dos a dos si
hn , m i = n,m kn k2 ,
n, m N.
(4.1.4)
Definici
on 4.1.6 Dado un vector x
definiremos la serie de Fourier respecto al sistema
PH
ortonormal {n }
a
la
serie
s
:=
n=1
n=1 cn n , donde los coeficientes vienen dados por las
expresiones cn = hx, n i, para todo n 1.
Definici
on 4.1.7 Dada f H y una sucesion sn , se dice que sn converge en norma a f si
lm kf sn k = 0.
Es facil ver que si los vectores (no nulos) 1 , . . . , n de un espacio eucldeo son ortogonales,
entonces son linealmente independientes.
Teorema 4.1.8 En un espacio de Hilbert H de cualquier conjunto de vectores linealmente
independiente se puede construir un conjunto de vectores ortogonales (ortonormales).
Demostracion: Para probar el teorema tomamos un sistema de vectores linealmente independiente (n )n de H cualquiera y definimos un nuevo sistema de vectores (n )
n=1 de la siguiente
forma:
1. Tomamos 1 = 1 /k1 k.
n1
X
k=1
n,k k ,
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
52
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.
n1
X
n,k k = n = n +
hk , n i = 0,
k = 0, 1, . . . n 1
n =
..
.
hn , 1 i
n,k k .
k=1
k=1
Luego,
n1
X
hk , n i = 0,
k = 0, 1, . . . n 1.
(4.1.5)
..
.
h1 , n1i h1 , n i
h2 , n1i h2 , n i
..
..
.
.
hn , n1i hn , n i
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 u
nico 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 n
umero de bolas
y por tanto de elementos n es numerable.
53
4.2. Operadores en H
4.2.
Operadores en H
Definici
on 4.2.1 Un operador Lb es una aplicacion de H en H1 , dos espacios de Hilbert, Lb :
H 7 H1 .
Definici
on 4.2.2 El operador b
0 se denomina operador nulo si H, b
0 = 0. El operador
b
b = .
I se denomina operador identidad si H, I
En adelante asumiremos que H1 H.
Definici
on 4.2.3 Un operador Lb es lineal si 1 , 2 C, y 1 , 2 H,
b 1 1 + 2 2 ) = 1 L
b 1 + 2 L
b 2.
L(
Definici
on 4.2.4 Definiremos el producto Lb = AbBb de dos operadores Ab y Bb al operador Lb que
b i.e.,
obtiene al actuar consecutivamente los operadores Bb y luego A,
b
= B,
b = A
b
L
b = A(
b B).
b
L
Definici
on 4.2.5 Llamaremos conmutador de dos operadores Ab y Bb al operador
b B]
b := AbBb BbA.
b
[A,
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
b
h|L|i
:= h|Li.
b En adelanA los productos anteriores les denominaremos elementos matriciales del operador L.
te, a no ser que se especifique, asumiremos que los vectores estan normalizados a la unidad,
i.e., kk = 1.
Definici
on 4.2.7 El operador Lb+ se denomina conjugado o adjunto de Lb si,
b = hLb+ |i = h|Lb+ i
i.e., h|Li
4
b
h|L|i
= h|Lb+ |i,
(4.2.1)
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
54
b + = Lb+ , C,
2. (L)
b )+ = N
b + Lb+ y
3. (LbN
b |i = hLb+ |N
b i, , H.
4. h|LbN
N
X
Ln,k k ,
k=1
+
y por tanto a Lb se le puede hacer corresponder una matriz (Li,j )N
i,j=1 . Si denotamos por Li,j la
matriz asociada al operador Lb+ , entonces L+
i,j = Lj,i .
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 n
ucleo del operador, entonces, si denotamos por L+ (x, y) al n
ucleo de L,
+
L (x, y) = L(y, x).
Definici
on 4.2.8 Si Lb = Lb+ , se dice que el operador es hermtico o autoadjunto.
pb(x) = i~
d(x)
,
dx
Pb(x) = (x),
son hermticos. En el caso de operadores con representacion integral, estos seran hermticos si
su n
ucleo es tal que L(x, y) = L(y, x).
Proposici
on 4.2.9 El producto Lb = AbBb de dos operadores Ab y Bb hermticos es hermtico si
b B]
b = 0.
y solo si Ab y Bb conmutan, i.e., [A,
b B]
b de dos operadores hermticos Ab y Bb es tal que
Proposici
on 4.2.10 El conmutador [A,
con Lb hermtico.
b B]
b = iL,
b
[A,
55
4.2. Operadores en H
b B]
b =N
b . Entonces
Demostracion: Supongamos que [A,
b + = ([A,
b B])
b + = [A,
b B]
b = N
b
N
b + = iLb+ = iL).
b
con Lb hermtico ((iL)
b = iL,
b
N
Definici
on 4.2.11 Sea |i H con k|ik =
6 0. Si existe C tal que
b
L|i
= |i,
b
L|i
= |i
b
h|L|i
= h|i = .
b
h|Lb+ |i = h|L|i
= h|i = ,
Proposici
on 4.2.13 Si Lb es hermtico, entonces los autovectores correspondientes a autovalores distintos son ortogonales.
b 1 i = 1 |1 i, L|
b 2 i = 2 |2 i, entonces
Demostracion: Sea L|
b 1 i =1 h2 |1 i =
h2 |L|
b 2 i = 2 h1 |2 i = 2 h2 |1 i,
h2 |Lb+ |1 i =h1 |L|
Definici
on 4.2.14 Un operador Ub se denomina unitario si
b
UbUb+ = Ub+ Ub = I.
Proposici
on 4.2.15 Si Ub es unitario, entonces todos sus autovalores son tales que || = 1.
b
Demostracion: Sea U|i
= |i, entonces
b
1 = h|Ub+ Ub|i = h|Ub+ |i = h|U|i
= h|i = ||2
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
56
Definici
on 4.2.16 Sea Ub un operador unitario. La transformacion
|i 7 |i = Ub+ |i,
b
Lb 7 b = Ub+ LbU,
Proposici
on 4.2.17 Las transformaciones unitarias conservan
1. Las relaciones de conmutacion de los operadores.
2. La propiedad de hermiticidad de un operador.
3. Los autovalores.
AbBb BbAb = Lb
b
Ub+ AbBbUb Ub+ BbAbUb = Ub+ LbUb = ,
b Ub+ BbU)
b (Ub+ BbUb)(Ub+ AbUb) = b
(Ub+ AbU)(
abb bbb
a
b entonces
2. Sea Lb = Lb+ . Sea b = Ub+ LbU,
b
[b
a, bb] = .
b
b + = Ub+ Lb+ Ub = Ub+ LbUb = .
b+ = (Ub+ LbU)
b
3. Sea L|i
= |i, entonces
b = |i.
|i
b 2 i.
b 2 i = h1 |UbUb+ LbUbUb+ |2 i = hUb+ 1 |Ub+ LbU|
b Ub+ 2 i = h1 ||
4. h1 |L|
Definici
on 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
b =
F (L)
X
n0
fn Lbn .
Lb
57
4.2. Operadores en H
Por ejemplo
Lbn
= nLbn1 .
b
L
b Ab+ ] = I.
b Entonces es facil comprobar que
Sean Ab y Ab+ tales que [A,
b (Ab+ )k ] = k(Ab+ )k1 ,
[A,
k 1.
(4.2.3)
Proposici
on 4.2.20 Si F (z) es una funcion analtica en un entorno de z = 0 y sean Ab y Ab+
b Ab+ ] = I.
b Entonces
tales que [A,
b+
b F (Ab+ )] = dF (A ) .
[A,
dAb+
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
UbN =
iAb
Ib +
N
!N
b
b
eiA = U().
b
Se dice entonces que Ab es un generador de la transformacion U.
Los operadores que nos van a interesar son aquellos operadores hermticos cuyo conjunto
de autovectores constituyan un sistema completo de H, es decir que todo vector |i H
se puede expresar biunvocamente en funcion de dicho sistema. Este problema (de encontrar
dichos operadores y el conjunto de sus autovalores y autovectores y comprobar que constituyen
un sistema completo) es muy complicado y requiere de la potente maquinaria de la teora de
operadores en espacio de Hilbert, el teorema espectral de Riesz, etc. Basta mencionar que si H es
separable, entonces en H existe una base ortonormal completa y si Lb es un operador autoadjunto
(hermtico) y compacto, entonces sus autovectores constituyen un sistema ortogonal completo.
Para mas detalles vease el Apendice A. Conviene no obstante destacar que muchos operadores
importantes de la mecanica cuantica no son siquiera acotados.
En adelante, por sencillez, nos vamos a restringir a considerar aquellos operadores que
tengan asociados un conjunto numerable de autovectores y que dicho conjunto sea un sistema
completo.
58
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
Supongamos que Lb es uno de tales operadores y denotemos por (|n i)n su conjunto completo 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 m
ultiples
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
Las bases juegan un papel fundamental. En particular, las bases asociadas a operadores
hermticos.
Sea (|n i)n una base ortonormal completa de H y sea Ab un operador lineal, entonces
X
b n i H = A|
b ni =
b n i.
A|
Am,n |m i = Am,n = hm |A|
m
Mas a
un, as como el conjunto de n
umeros (fn )n define biunvocamente el vector |i, la
matriz A define biunvocamente al operador Ab (en la base correspondiente se sobrentiende).
As pues, el operador Ab sera hermtico si su P
matriz A es autoconjugada, i.e., Am,n = An,m , Ab
sera unitario si su matriz A es unitaria, i.e., k Am,k An,k = m,n , etc.
Nota: Notese que si H es de dimension finita, las correspondientes matrices son matrices
cuadradas N N donde N es la dimension de H, pero si H es de dimension infinita, entonces
las correspondientes matrices son infinitas.
b Lb
=N
X
n
b L|i
b
bN
b ] = 0.
fn |n i = N
= [L,
nica Cua
ntica
4.3. Los axiomas de la Meca
59
X
k
m m,k Nk,n =
X
k
Nm,k n k,n
Nm,n (n m ) = 0.
b es
Si todos los autovalores son distintos, entonces Nm,n = 0 si m 6= n, es decir la matriz de N
diagonal. Resta probar que ocurre si hay autovalores m
ultiples. Lo que dejaremos como ejercicio
al lector5 .
4.3.
Postulado 4.3.1 A cada sistema fsico se le hace corresponder un espacio de Hilbert separable
H apropiado. Ademas, para cada t R (parametro correspondiente al tiempo) el estado queda
completamente caracterizado por un vector |i normalizado a la unidad de H.
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
en es un (posible) estado6 .
k=1 k |k i tambi
Postulado 4.3.3 Sea |i el estado del sistema en el momento t justo antes de la medici
on de
b
la magnitud (observable) L (asociada al operador L). Independientemente de cual sea el estado
b
original |i, el resultado de la medicion solo puede ser un autovalor de L.
5
60
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
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.
b
b
h|L|i
= h|Lb+ |i = h|L|i
hLi R.
,
(4.3.1)
h|b
xi |i =
h|b
p
|i
=
,
i
b
b
dt
pi
dt
xi
b es el operador asociado a la funcion de Hamilton del correspondiente sistema clasico
donde H
(si es que lo hay).
Este postulado tiene un significado fsico evidente pues nos indica que el promedio de las cantidades 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
b se obtiene cambiando
las coordenadas xi y los impulsos pi , i = 1, 2, 3, por lo que el operador H
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 u
ltimo postulado.
Postulado 4.3.6 Los operadores posicion x
bi e impulso pbi , i = 1, 2, 3, satisfacen las relaciones
de conmutacion
b
[b
xk , x
bj ] = 0 = [b
pk , pbj ], [b
xk , pbj ] = i~k,j I,
(4.3.2)
4.4.
61
Discusi
on e implicaciones de los postulados
1. Supongamos que tenemos una magnitud fsica clasica L que depende en general de xi y pi .
Para construir el operador mecano-cuantico correspondiente solo tenemos que cambiar los xi
por los correspondientes operadores x
bi y pi por pbi . Por ejemplo, la energa cinetica viene dada
por
p2 + p22 + p23
pb1 2 + pb2 2 + pb3 2
T = 1
= Tb =
,
2m
2m
y la potencial V (x1 , x2 , x3 ) por Vb = V (b
x1 , x
b2 , x
b3 ), donde en ambos casos los operadores son
hermticos. Esto no siempre ocurre. Por ejemplo imaginemos que el hamiltoniano clasico conci = x
tiene el termino Wi = xi pi . Entonces, el operador W
bi pbi no puede representar al correspondiente operador cuantico ya que no es hermtico (ver Proposicion 4.2.9) pues x
bi y pbi no
c
conmutan. En este caso hay que definir Wi por
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 correspondiente 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 .
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
pues Prob(|i 7 |k i) = Prob(|i
7 |
b k=
k , |i 7 U|i
b
k i). Luego el sistema
U
= |i
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
operador x
bi pbj pbj x
bi pues este no es nulo (ver postulado 4.3.6).
Ahora bien, tomando las derivadas funcionales
(b
xi pbj pbj x
bi ) =
(b
xi pbj pbj x
bi ) = 0,
b
xi
b
pi
b Si ademas x
i.e., x
bi pbj pbj x
bi es proporcional al operador identidad x
bi pbj pbj 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
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
62
4.4.1.
Como hemos visto en el punto 2 del apartado anterior cuando en un sistema en cierto estado
|i hacemos una medicion para saber el valor de cierto observable L asociado un operador
hermtico Lb el resultado es uno de los autovalores k de dicho operador y el estado despues de
la medicion pasa a ser un vector |k i del autoespacio (recordemos que todos los autovectores
estan normalizados a la unidad) asociado al autovalor k . Ademas en el caso de que k sea
simple sabemos que la probabilidad de que ello ocurra es |fk |2 = |hk |i|2. Todo lo podemos
escribir usando los proyectores ortogonales.
Para ello comenzaremos asumiendo el caso mas simple. Imaginemos que tenemos la magnitud L y que el resultado de la medicion es en valor k que asumiremos simple. Tras la medicion
el sistema estara en el estado |k i, donde |k i es el autovector asociado a k .
b2 := Pbk P
bk = P
bk y que P
bk es hermtico, i.e.,
De la definicion anterior es evidente que P
k
b+ = Pbk 9 . Ademas, claramente sus autovalores son o bien 0 o bien 1. En efecto
P
k
Pbk |i = |i
Pbk2 |i = 2 |i
bk )|i = (2 )|i = 0,
(Pbk2 P
bk |i es un autovector asociado
luego 2 = 0 de donde se sigue el resultado. Por otro lado P
bk (P
bk |i) = 1(P
bk |i)) mientras que (Ib Pbk )|i es el autovector asociado al
al autovalor 1 (P
bk )|i son
autovalor 0. Luego cualquiera sea el vector |i H, los vectores Pbk |i y (Ib P
ortogonales (por que?).
Que ocurre si el autovector k es degenerado, i.e., tiene asociado un subespacio de dimension K > 1?
En ese caso el projector Pbk es la suma de los proyectores asociados a cada uno de los
vectores de la base ortonormal (k,j )K
j=1 del autoespacio asociado a k . Es decir,
bk =
P
K
X
j=1
|k,j ihk,j |
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 .
k 6= k .
Si ademas el operador Lb asociado a la magnitud L tiene un sistema de autovectores que conforman una base de H entonces el operador
X
bk = I.
b
PbL :=
P
k
n de los operadores x
4.5. Representacio
bi y pbi
63
bk = k P
bk , de donde se sigue que (Lb k I)
b P
bk = 0. Entonces, usando la
Por otro lado, Lb P
descomposicion de la identidad, tenemos que
X
X
Lb =
Lb Pbk =
k Pbk .
k
Es decir, todo operador hermtico cuyo conjunto de autovectores es completo esta completamente determinado por sus autovalores y autovectores. Este es el conocido Teorema espectral
de operadores hermticos en espacios de Hilbert.
4.5.
Representaci
on de los operadores x
bi y pbi
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
b
1. [b
p, x
b] = pbx
bx
bpb = i~I,
2. [b
p, x
b2 ] = pbx
b2 x
b2 pb = 2i~b
x,
..
.
3. [b
p, x
bn ] = pbx
bn x
bn pb = ni~b
xn1 = i~
b
xn
.
b
x
F (b
x)
,
b
x
F (b
x)
(x),
b
x
(4.5.1)
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
64
F (x)
(x),
x
En general
pbk F (x1 , x2 , x3 ) = i~
F (x)
+ F (x)(x).
x
F (x1 , x2 , x3 )
+ F (x1 , x2 , x3 )k (x1 , x2 , x3 ).
xk
Pero [b
pk , pbj ] = 0, k = 1, 2, 3, luego
3 2
1 3
2 1
= 0.
x1
x2
x2
x3
x3
x1
,
xk
+
I.
xk xk
b
Ub = exp(i(x1 , x2 , x3 )/~)I,
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):
b i/~ b
i/~
I e
I = i~
+
.
i~
pbk = e
xk xk
xk
Como ejercicio al lector dejamos que pruebe la identidad
[b
x, F (b
p)] = i~
4.6.
F (b
p)
.
b
p
(4.5.2)
10
Por el momento solo nos interesa encontrar la expresion del operador independientemente de que luego este
vaya actuar en el espacio L2 ().
dinger
4.6. Las ecuaciones de Heisenberg y de Schro
65
b
V (b
x)
H
= i~
b
x
b
x
(4.6.1)
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
b
H
db
p
=
,
dt
b
x
i
db
p
b
= [b
p, H].
dt
~
De forma analoga, pero usando (4.5.2), se deduce la segunda ecuacion de Heisenberg
i
db
x
b
= [b
x, H].
dt
~
(4.6.2)
(4.6.3)
Las ecuaciones anteriores se conocen como ecuaciones dinamicas de la Mecanica cuantica en la representacion de Heisenberg: es decir, cuando las funciones de onda son vectores
independientes del tiempo pero los operadores dependen del tiempo.
Obviamente hay otra posibilidad y es que los operadores no dependan del tiempo y las
b
H
b
funciones de onda s. En este caso usando el postulado 4.3.5 y la formula (4.6.1) ( b
= i/~[b
p, H]),
x
obtenemos
+
*
H
b
i
d
b
h|b
p|i =
p, H]|i.
= h|[b
b
dt
x
~
Luego, por un lado,
pb + pb
pb + pb
=
t
t
t
t
11
Recordemos que estamos usando indistintamente la notaci
on x1 , x2 , x3 y x, y, z para denotar las coordenadas
espaciales.
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
66
y, por otro,
i
i
i
i
b
b p|i = pb H
b
b pb ,
b
h|b
pH|i
h|Hb
+
H
h|[b
p, H]|i
=
~
~
~
~
i
i
b
b pb = 0,
+
+ H
+ H
pb
t
~
t
~
|i
b
= H|i.
t
(4.6.4)
4.6.1.
Las ecuaciones dinamicas del postulado 4.3.5 han de cumplirse independientemente de que
escojamos la representacion de Schrodinger (S) o la de Heisenberg (H) discutidas en el apartado
anterior. Ademas, los observables que medimos deben tener los mismos valores medios en ambas
representaciones. Eso implica que ha de existir una transformacion unitaria {U} que pase de S
a H y viceversa.
Sean |i y b la funcion de estado y el observable en la representacion de Heisenberg y |i
y Lb en la de Schrodinger. Entonces entre ambas existe la relacion:
|i = Ub+ |i,
b
Lb = Ub+ bU,
b
Ub+ = eiHt/~ ,
i b
Ub+
i b iHt/~
|i
b
|i = H|i,
=
|i = He
t
t
~
~
dinger
4.6. Las ecuaciones de Heisenberg y de Schro
4.6.2.
67
Integrales de movimiento
De lo anterior se sigue que en la representacion de Heisenberg una cantidad fsica es independiente del tiempo si el operador asociado a dicha magnitud conmuta con el Hamiltoniano.
Esta propiedad es ademas muy significativa desde el punto de vista fsico como veremos a
continuacion.
Definici
on 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
Ab
b
d
b
b
A +
+ A
.
h|A|i =
dt
t
t
t
d
b
h|A|i
dt
b H]
b = 0.
= 0 si y solo si [A,
El test de consistencia
Probemos que tambien tenemos aqu el test de consistencia d/dt(k|ik2 ) = 0. Sea la ecuacion de Schrodinger (4.6.4) y sea su conjugada
h|
b+.
= h|H
t
Tomando el producto escalar de esta u
ltima por |i (por la derecha) y de (4.6.4) por h| (por
la izquierda) obtenemos, respectivamente
+
, h|H|i
b
b |i = i~
= i~
,
h|H
t
t
i~
b tenemos
de donde, restando ambas y usando la hermiticidad de H
k|ik2
= h|i =
.
+
0=
t
t
t
t
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
68
4.6.3.
Toda la discusion anterior nos conduce a que el estado de un sistema viene dado por un
vector de estado |i que evoluciona seg
un la ecuacion de Schrodinger. Vamos a suponer que el
b es independiente del tiempo y tiene un conjunto
operador hamiltoniano (que es hermtico) H
de autovectores |n i (independientes de t) completo en H, i.e.,
b n i = En |n i,
H|
Supongamos ahora que tenemos un estado del sistema correspondiente a la energa En , que
b n i = En |n i. Como los |n i son estados del
tiene la forma |n i = (t)|n i. Notese que H|
sistema, entonces han de satisfacer la ecuacion de Schrodinger, i.e.,
i~
|n i
b n i = En |n i.
= H|
t
Com
unmente a los estados |n i anteriores se les denominan estados estacionarios del sistema. Ademas, de lo anterior se deduce que la u
nica dependencia del tiempo de los estados
estacionarios es el factor eiEn t/~ .
4.6.4.
La discusion del apartado anterior nos da una pista de una transformacion unitaria de
b
especial interes. Concretamente la trasformacion que define el operador U(t) = eiHt/~ , donde
H es el Hamiltoniano del sistema.
Como los sistemas son invariantes frente a las transformaciones unitarias ello implica que
si definimos el estado |(t)i = U(t)|(0)i, ambos han de describir el mismo estado. De lo
anterior se deduce que para todo t0 , |(t + t0 )i = U(t)|(t0 )i, es decir, que los estados fsicos
son invariantes frente a las traslaciones temporales. Como tomado derivadas respecto a t en
|(t)i = U(t)|(0)i nos conduce a la ecuacion de Schrodinger podemos deducir que esta es una
consecuencia de la invarianza respecto a las traslaciones temporales de los sistemas fsicos.
4.7.
El principio de incertidumbre
b
Bb = Bb hBiI,
b B]
b = iL,
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,
nica matricial
4.8. La meca
69
b
b |hA|
b
b
b
b
kA|k
Bk
Bi|
|hA|
Bi|
b
b = h|A
b B|i
b
hA|
Bi
|l|
.
2
4.8.
La mec
anica matricial
Supongamos que tenemos una base (|n i)n completa de vectores de H. Entonces, todo
vector |i de H lo podemos escribir, como ya hemos visto, de la forma
X
|i =
fn |n i,
fn = hn |i.
n
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
70
4.9.
La ecuaci
on de Schr
odinger y el postulado 4.3.5
i b b
d
hLi = h[H,
L]i.
dt
~
(4.9.1)
Sea Lb = x
bk . Entonces, usando (4.5.2) tenemos
b
H
b x
[H,
bk ] = [Tb, x
bk ] = i~
.
b
pk
d
hxk i =
dt
b
H
b
pk
b pbk ] = [Vb , xk ] = i~
[H,
d
hpk i =
dt
b
H
b
xk
b
H
,
b
xk
4.10.
Problemas
Problema 4.10.1 Dado tres operadores pb, qb y rb, prueba la identidad de Jacobi
[[b
p, qb], rb] + [[b
q , rb], pb] + [[b
r , pb], qb] = 0.
71
4.10. Problemas
Problema 4.10.2 Probar que
b
aeL = b
a+
eLb
1 b
1 b b
[L, b
a] + [L,
[L, b
a]] +
1!
2!
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
c siempre se
Problema 4.10.5 Prueba que el producto de dos operadores hermticos L
puede escribir como
bM
c=A
b + B,
b
L
b es hermtico y B
b es antihermtico: B
b + = B.
b
donde A
72
nica Cua
ntica II: Espacios de Hilbert
Captulo 4. Meca
Captulo 5
Resolviendo la ecuaci
on de Schr
odinger
5.1.
5.1.1.
El m
etodo de Nikiforov-Uvarov
La ecuaci
on hipergeom
etrica generalizada
e(z)
e(z)
u (z) + 2 u(z) = 0,
(5.1.1)
u (z) +
(z)
(z)
siendo e(z) un polinomio de grado a lo mas uno y (z) y
e(z) polinomios de grado a lo mas
dos.
Hagamos el cambio u(z) = (z)y(z),
(z) e(z)
(z) (z)e
(z)
e(z)
y (z) + 2
y (z) +
y(z) = 0.
+
+
+ 2
(z)
(z)
(z)
(z)(z)
(z)
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
(z)
(z) e(z)
+
=
,
2
(z)
(z)
(z)
(z)
(z) e(z)
(z)
=
=
,
(z)
2(z)
(z)
(5.1.2)
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
y (z) +
(z)
(z)
y (z) + 2 y(z) = 0,
(z)
(z)
(z) =
e(z) + 2 (z) + (z)[e
(z) (z)] + (z)(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
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
74
tres ecuaciones al igualar los coeficientes de y con tres incognitas. Hecho esto, nuestra
ecuacion se transforma en la ecuacion hipergeometrica
(z)y + (z)y + y = 0.
(5.1.4)
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
(z) =
(z) e(z)
2
2
e(z) + k(z)
(5.1.6)
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).
5.1.2.
La ecuaci
on diferencial hipergeom
etrica
Como hemos visto en el apartado anterior el estudio de la ecuacion (5.1.1) se puede reducir
al de la ecuacion hipergeometrica (5.1.4) por lo que nos centraremos en el estudio de esta u
ltima.
Aqu nos restringiremos a estudiar las soluciones polinomicas de (5.1.4). Para el caso general
remitimos al lector [16].
La propiedad de hipergeometricidad y la f
ormula de Rodrigues
Pasemos a continuacion a estudiar la ecuacion diferencial
(x)y + (x)y + y = 0,
(5.1.7)
5.1. El m
etodo de Nikiforov-Uvarov
75
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,
m1
X
i=0
(5.1.8)
(x)
.
2
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 comenzaremos escribiendo (5.1.7) y (5.1.8) en su forma simetrica o autoconjugada
[(x)(x)y ] + (x)y = 0,
[(x)m (x)ym
] + m m (x)ym = 0,
(5.1.9)
donde y m son funciones de simetrizacion que satisfacen las ecuaciones diferenciales de primer
orden (conocidas como ecuaciones de Pearson)
[(x)(x)] = (x)(x),
[(x)m (x)] = m (x)m (x).
(5.1.10)
(5.1.11)
= Am ()
=n
m1
Y
n!
=
[ + 12 (n + k 1) ].
(n m)! k=0
(5.1.13)
(5.1.14)
Demostracion: Para demostrar el teorema vamos a escribir la ecuacion autoconjugada para las
derivadas de la siguiente forma
m (x)ym =
1
[m+1 (x)ym+1 ] ,
m
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
76
luego
Am dnm
m (x)ym =
[n (x)yn ] ,
An dxnm
Am = (1)
m1
Y
k ,
A0 = 1.
k=0
(n)
Anm Bn dnm
[n (x)],
m (x) dxnm
(n)
=n
es una constante;
n(n 1)
.
2
(5.1.15)
Qm1
k=0
(5.1.16)
Bn dn n
[ (x)(x)],
(x) dxn
n = 0, 1, 2, . . .
(5.1.17)
Usando la expresion (5.1.15) podemos obtener una expresion alternativa Anm = (n)m
Qm1
n+k
k=0 (n+k) .
5.1. El m
etodo de Nikiforov-Uvarov
77
para todo k 0.
(5.1.18)
Z b
a
[(x)(x)Pm (x)] Pn (x) [(x)(x)Pn (x)] Pm (x) dx
Pn (x)Pm (x)]
a
b
= (x)(x)W [Pn (x), Pm (x)] .
a
(k)
(5.1.20)
(5.1.21)
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
78
Teorema 5.1.3 Los polinomios ortogonales satisfacen una relacion de recurrencia a tres terminos de la forma
xPn (x) = n Pn+1 (x) + n Pn (x) + n Pn1 (x),
(5.1.22)
donde
n =
an
,
an+1
n =
bn
bn+1
,
an an+1
n =
cn n cn+1
bn
an1 d2n
,
n =
an1
an1
an d2n1
(5.1.23)
n+1
X
cnk Pk (x),
k=0
cnk =
Rb
a
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:
n =
n =
1
d2n+1
1
d2n1
1
n = 2
dn
(5.1.24)
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 ,
n =
1
d2n1
Pn (x)[xPn1 (x)](x)dx =
a
1
d2n1
n1
b
a
Pn2 (x)(x)dx,
5.1. El m
etodo de Nikiforov-Uvarov
79
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 relaci
on
de recurrencia a tres terminos (5.1.22). Entonces se cumple que
Kern (x, y)
n
X
Pm (x)Pm (y)
n Pn+1 (x)Pn (y) Pn+1 (y)Pn (x)
=
,
2
2
d
d
x
y
m
n
m=0
n 1.
(5.1.26)
n 1.
(5.1.27)
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).
2. Dos polinomios consecutivos Pn y Pn+1 no pueden tener ning
un cero en com
un.
3. Denotemos por xn,j a los ceros del polinomio Pn , (consideraremos en adelante que xn,1 <
xn,2 < < xn,n ). Entonces:
xn+1,j < xn,j < xn+1,j+1 ,
es decir, los ceros de Pn y Pn+1 entrelazan unos con otros.
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,
n1
Y
Bn Ann
[ + 12 (n + k 1) ].
= Bn
an =
n!
(5.1.28)
k=0
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
80
Luego,
bn =
nn1 (0)
an .
n1
(5.1.29)
+ (n 1) 2
an
Bn
Bn n 2n 2n + 1
n =
=
=
an+1
Bn+1 ( + (2n 1) 2 )( + (2n) 2 )
Bn+1 n 2n 2n+1
n =
n1
n
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)
n1
(n n2 )
Luego nos resta sustituir la expresion anterior en la formula2 (5.1.24)
n =
bn
cn n cn+1
n .
an1
an1
Consecuencias de la f
ormula de Rodrigues
La primera consecuencia inmediata de la formula de Rodrigues es que (x) debe ser necesariamente un polinomio de grado exactamente uno. En efecto, si calculamos el polinomio de
grado 1 utilizando la formula de Rodrigues (5.1.17) obtenemos
P1 (x) =
B1
[(x)(x)] = B1 (x),
(x)
(5.1.31)
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
(m)
P1+m (x) =
Am+1 m
Am+1 m
[m+1 (x)] =
[(x)m (x)] = Am+1 m m (x),
m (x)
m (x)
(m)
es decir, m es de grado exactamente uno (pues los polinomios Pn+m son ortogonales). Por tanto
m
6= 0 para todos m N lo cual es la condicion de regularidad (existencia de la SPO) que ya
mencionamos.
2
5.1. El m
etodo de Nikiforov-Uvarov
81
An1 Bn dn1
n Bn dn1
=
[n (x)] =
[1 (x)].
1 (x) dxn1
1 (x) dxn1 n1
Luego
Pn (x) =
n Bn
n1 Pn1 (x),
B
(5.1.32)
donde Pn1 denota al polinomio ortogonal respecto a la funcion peso 1 (x) = (x)(x). O sea,
si Pn es ortogonal Pn (x) tambien lo sera.
Si escribimos la formula de Rodrigues (5.1.12) para el polinomio de grado n + 1, utilizando
la ecuacion de Pearson [(x)n (x)] = n (x)n (x) vemos que
Bn+1 dn+1 n+1
Bn+1 dn
[
(x)(x)]
=
[n (x)n (x)]
(x) dxn+1
(x) dxn
n1
Bn+1
dn n (x)
n (x)
d
=
n (x)
+ nn
.
(x)
dxn
dxn1
Pn+1 (x) =
n Bn dn1 n (x)
Utilizando ahora que
=
, obtenemos la formula de diferenciacion,
(x)(x) dxn1
com
unmente denominada caracterizacion de Al-Salam & Chihara,
Bn
n
o, equivalentemente,
2n
n
I (x)D Pn (x) =
n Pn+1 (x).
nn
2n
(5.1.34)
(5.1.35)
donde
(x)Pn (x) =
en Pn+1 (x) + en Pn (x) + en Pn1 (x),
Bn
n
en = n n
nn
Bn+1
n
en = [n n + n (0)] ,
nn
en =
n 0,
n n
6= 0.
n
(5.1.36)
(5.1.37)
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
82
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
en = n
n ,
2
en =
n
[ (0)
n n1
(0)] =
n
n (n ),
nn
en =
n n
.
n
(5.1.38)
Teorema 5.1.8 Los polinomios de tipo hipergeometricos (clasicos) pn (x) son las u
nicas 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 ortogonales, son acotadas y de cuadrado integrable en (a, b), siendo (a, b) el soporte de la funci
on
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:
1. En primer lugar la derivada de ha de ser negativa. Esto es particularmente importante
en los casos cuando = 1 y = x, que corresponden a intervalos de ortogonalidad no
acotados vease el proximo apartado,
2. ha de anularse en el interior del intervalo de ortogonalidad. Ello es consecuencia de
(5.1.31) y del teorema 5.1.6 que asegura que P1 ha de anularse en el interior del intervalo
de ortogonalidad.
5.1.3.
Par
ametros principales
Comenzaremos escribiendo los principales parametros de las sucesiones de polinomios ortogonales monicos clasicos (SPOMC). Como ya hemos visto los polinomios ortogonales en la
recta real, solucion de una ecuacion del tipo (5.1.7), se pueden clasificar en tres grandes familias
en funcion del grado del polinomio ( siempre es un polinomio de grado 1). Cuando es un
polinomio de grado cero los polinomios correspondientes se denominan polinomios de Hermite
Hn (x), cuando es de grado 1, polinomios de Laguerre Ln (x) y cuando es de grado 2 con
dos races simples, polinomios de Jacobi Pn, (x), respectivamente. En las tablas 5.1 y 5.2 estan
representados los principales parametros de dichas familias, en las cuales (a)n denota al smbolo
smbolo de Pochhammer
(a)0 = 1, (a)k = a(a + 1) (a + k 1), k = 1, 2, 3, ... .
Para los polinomios se han escogido las llamadas formas canonicas.
(5.1.39)
5.1. El m
etodo de Nikiforov-Uvarov
83
Hn (x)
Ln (x)
Pn, (x)
(x)
1 x2
(x)
2x
x + + 1
( + + 2)x +
2n
n(n + + + 1)
(x)
ex
x ex
(1 x) (1 + x)
> 1
ex
n (x)
, > 1
xn+ ex
(1 x)n+ (1 + x)n+
Representaci
on hipergeom
etrica
De la formula de Rodrigues4 (5.1.12) se puede obtener la representacion de los polinomios
de Hermite, Laguerre y Jacobi en terminos de la funcion hipergeometrica de Gauss 2 F1 definida
en el caso mas general de forma
p Fq
a1 , a2 , . . . , ap
b1 , b2 , . . . , bq
X
(a1 )k (a2 )k (ap )k xk
x =
.
(b1 )k (b2 )k (bq )k k!
2
1
m
m
x , n = 2m
(1)
F
1
1
1
2 m
2
Hn (x) =
2
3
m
m
x , n = 2m + 1
x 1 F1
(1)
3
2 m
2
(1)n (n + + 1)
n
=
1 F1
+1
( + 1)
2n ( + 1)n
n, n + + + 1
2 F1
+1
(n + + + 1)n
Ln (x)
Pn, (x)
(5.1.40)
k=0
x ,
1 x
.
2
(5.1.41)
(5.1.42)
(5.1.43)
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
usar la regla de Leibnitz para calcular la n-esima derivada de un producto (f g)(n) =
Pn Para ello(k)basta
(nk)
nkf
g
. Otra posibilidad es usar series de potencias y el metodo de coeficientes indeterminados
p
k=0 t
de Euler (ver e.g. [6, 21]).
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
84
Hn (x)
Ln (x)
Pn, (x)
Bn
(1)n
2n
(1)n
(1)n
(n + + + 1)n
bn
n(n + )
n( )
2n + +
d2n
n!
2n
(n + + 1)n!
2++2n+1 n!(n++1)(n++1)
(n+++1)(2n+++1)(n+++1)2n
1
2 2
2n + + 1
(2n++)(2n+2++)
n
2
n(n + )
4n(n+)(n+)(n++)
(2n++1)(2n++)2 (2n+++1)
en
2( )n(n + + + 1)
(2n + + )(2n + 2 + + )
en
n(n + )
en
(1)m (2m)!
, n = 2m
2m m!
2
Hn (0) =
0,
n = 2m + 1
Pn, (1)
2n ( + 1)n
,
=
(n + + + 1)n
Pn, (1)
Ln (0) =
(1)n (n + + 1)
,
( + 1)
(5.1.44)
(1)n 2n ( + 1)n
=
.
(n + + + 1)n
Casos particulares
1. Los polinomios de Legendre Pn (x) = Pn0,0 (x).
2. Los polinomios de Chebyshev de primera especie Tn (x)
12 , 21
Tn (x) = Pn
(x) =
1
2n1
n de la ecuacio
n de Schro
dinger
5.2. Resolucio
12 , 12
85
(x), > 21 .
n!
Hn (x),
(n )!
(5.1.45)
n!
L+ (x),
(n )! n
n!
+,+
Pn
(x),
=
(n )!
(Ln (x))() =
(Pn, (x))()
(5.1.46)
(5.1.47)
5.2.
Resoluci
on de la ecuaci
on de Schr
odinger
Veamos ahora algunos ejemplos sencillos de como se usa el metodo de Nikiforov y Uvarov
para resolver algunas ecuaciones de la Mecanica cuantica.
5.2.1.
El oscilador arm
onico cu
antico unidimensional
Como ejemplo apliquemos la tecnica anterior al caso del oscilador armonico cuantico.
Partimos de la ecuacion de Schrodinger para el oscilador armonico
~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,
() = 1,
= + 1,
() = 2,
() = ,
() = 1,
= 1,
() = 2,
y () 2y () + ( 1)y() = 0,
2 /2
() = e
2 /2
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
86
2 /2
Hn (),
= 2n + 1,
2
Hn2 ()e
d =
n = 0, 1, 2, . . . .
Nn2 d2n ,
d2n
(5.2.1)
n!
.
2n
()()d,
p
2n
, x0 = ~/(m).
x0 n!
Es facil ver que la otra ecuacion tiene como soluciones los polinomios Hn (), por lo que
2
sus soluciones () = e /2 Hn () no son de cuadrado integrable en R, y por tanto no tienen
sentido fsico (esto se poda predecir si tenemos en cuenta la nota 5.1.9 del apartado anterior).
De esta forma las u
nicas soluciones estacionarias del oscilador armonico son las funciones (5.2.1)
anteriores.
|0 |2
|1 |2
0,5
0,5
0,4
0,4
0,3
0,3
0,2
0,2
0,1
0,1
|2 |
0,5
0,5
0,4
0,4
0,3
0,3
0,2
0,2
0,1
6
|10 |
0,1
2
, n = 0, 1, 2, . . . , x0 = ~/(m).
(x) =
Hn
e
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.
n de la ecuacio
n de Schro
dinger
5.2. Resolucio
5.2.2.
87
La ecuaci
on de Schr
odinger en un potencial central
1 2
1
2
r
+ 2
sen
+
,
r
r
sen
sen2 2
1
= 2
r r
(5.2.3)
o bien
= r +
donde
1
r = 2
r r
r
r
2
1
,
r2
1
=
sen
1 2
sen
+
sen2 2
1
r + 2 (r, , ) + [ v(r)](r, , ) = 0,
r
(5.2.4)
(5.2.5)
se transforma en
Z
|Y (, )| sen dd = 1 y
|F (r)|2r 2 dr = 1.
(5.2.6)
5
Al ser el potencial de interacci
on V (r) un potencial central, i.e., solo depende del radio, es mas sencillo
resolver la ecuaci
on en coordenadas esfericas r, , .
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
88
5.2.3.
Los arm
onicos esf
ericos
()
sen
sen
+ [ sen2 ]() = 0,
(5.2.7)
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
+ [ sen2 m2 ]() = 0,
sen
(1 x2 ) m2
2x
(x)
+
(x) = 0.
1 x2
(1 x2 )2
e(x) = (1 x2 ) m2 ,
= 1 x2 ,
(x) = ( k)x2 + (k ) + m2
N
otese que si x = cos , entonces d/d = dx/d d/dx = sen d/dx, y sen =
1 x2 .
(5.2.9)
n de la ecuacio
n de Schro
dinger
5.2. Resolucio
1. k =
2. k = m2
(x) = m
=
89
(x) = mx
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
=
1 x2
(x) = (1 x2 )m/2 .
n, m = 0, 1, 2, . . . .
Notese que
Z 1
Z
l m (x)l m (x)dx = Clm Cl m
1
m,m
2 m
Plm
(x)Plm,m
m (x)(1 x ) dx = 0,
l 6= l ,
ademas, si l = l , y haciendo n = l m
Z 1
Z 1
22l+1 (l m)!(l + m)!(l!)2
2
[l m (x)] dx =
[Pnm,m (x)]2 (1 x2 )m dx =
,
(2l + 1)!(2l)!
1
1
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
(2l)!
l m (x) =
l!
22l+1 (l
2l + 1
m,m
(1 x2 )m/2 Plm
(x),
m)!(l + m)!
l 0,
m = 0, 1, . . . l. (5.2.10)
7
No confundir la funci
on (x) con el
angulo en coordenadas esfericas. Abusando de la paciencia del lector
y para no introducir otra notaci
on diferente hemos optado por mantener la notaci
on original de [16].
8
N
otese que l m 0. Es decir, si fijamos l, entonces m = 0, 1, 2, . . . l.
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
90
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
lm
(1)lm (2l + 1)(l + m)!
2 m/2 d
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
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) =
[(1 x2 )l ]
l
(2l)! d x
Combinado las dos expresiones anteriores con (5.2.10) tenemos otra representacion de las funciones l m (x)
s
l
l+m
(1) (2l + 1)(l m)!
2 m/2 d
l m (x) =
(1
x
)
[(1 x2 )l ].
(5.2.12)
2l+1
l+m
l!
2
(l + m)!
d x
m,m
Plm
(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
(5.2.13)
Yl m (, ) = eim l m (cos ), l = 0, 1, 2, . . . , m = l, l + 1, . . . , l.
2
Estas funciones se denominan armonicos esfericos.
5.2.4.
Para resolver esta ecuacion hacemos el cambio9 F (r) = R(r)/r que nos conduce a la ecuacion
l(l + 1)
R(r) = 0,
(5.2.14)
R (r) + v(r)
r2
donde ahora la primera de las condiciones de contorno (5.2.6) se transforma en
Z
|R(r)|2dr = 1.
0
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.
9
La raz
on fundamental es que
1
r 2 r
r2 Fr(r) =
1 2
r r 2 [rF (r)].
n de la ecuacio
n de Schro
dinger
5.2. Resolucio
91
El
atomo de hidr
ogeno
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
Haciendo el cambio = r/a0 , donde a0 = ~2 /(m), y = a0 E/, la ecuacion anterior se
transforma en la ecuacion adimensional
1
l(l + 1)
R () + 2 +
R() = 0.
2
Esta ecuacion es del tipo (5.1.1) con
() = ,
Por tanto, tenemos
1
() =
2
e() = 0.
1
2 2 2r + l(l + 1) + k.
4
2
Como () = 1/4 2
2r + l(l + 1) + k a de ser un cuadrado perfecto (en la variable ),
tenemos que k = 2 2(2l + 1), luego para () tenemos las siguientes cuatro opciones
1
1
1
1
() = + 2 l +
, () = 2 l +
.
2
2
2
2
Como () = 2(), tenemos, usando la nota 5.1.9 que < 0, luego < 0 de donde eliminamos 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 alg
un
> 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, +)
()
l + 1 2
=
()
() = l+1e
Entonces la solucion de nuestra ecuacion es del tipo R() = l+1e 2 y(), siendo y la solucion
de la ecuacion
e = ,
2 2
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
92
1
,
2(n + l + 1)2
n, l = 0, 1, 2, . . .
Rn2 l (r)dr
=1
a0
Rn2 l ()d
=1
a0 (n + l + 1)
2
Rn2 l (x)dx = 1.
|Rn,l |2
0,5
0,4
|R0,0 |2
0,3
0,2
0,1
5
15
10
20
25
|Rn,l |2
|R1,0 |2
|R1,1 |2
0,5
0,4
|R1,2 |2
0,3
0,2
0,1
10
20
30
40
50
Ahora bien,
Z
Z
2
2
Rn l (x)dx = Nn,l
0
0
2
Nn,l n d2n
2l+2 x
(L2l+1
(x))2 dx
n
2
Nn,l
2(n
2
Nn,l
(x)x(L2l+1
(x))2 dx
n
+ l + 1)n!(n + 2l + 2),
n de la ecuacio
n de Schro
dinger
5.2. Resolucio
93
2r
,
a0 (n+l+1)
2xl ex/2
p
L2l+1
(x)Yl m (, ),
n
2
a0 (n + l + 1) a0 n!(n + 2l + 1)!
n, l = 0, 1, 2, . . .
En,l =
m2 1
1
m2
=
,
2~2 (n + l + 1)2
2~2 n 2
n = 1, 2, 3, . . .
que, teniendo en cuenta que = e2 , nos conduce a la misma expresion10 de Bohr (2.3.1).
5.2.5.
El oscilador arm
onico tridimensional
E m r
R(r) = 0.
R (r) +
~2
2
r2
p
Haciendo el cambio = r/r0 , donde r0 = ~/(m), y E = (~/2) la ecuacion anterior se
transforma en la ecuacion adimensional
l(l + 1)
2
R() = 0.
R () +
2
Para convertir esta ecuacion en una del tipo (5.1.1) hacemos el cambio z = 2 , as tendremos
R (z) +
1
z z 2 l(l + 1)
R (z) +
R() = 0.
2z
4 2
donde tendremos
(z) = 2z,
Por tanto, tenemos
1 p
(z) = (z),
2
e() = 1.
2
1
,
(z) = z + (2k )z + l +
2
2
y para que este sea un cuadrado perfecto en z, k debe tomar los valores k = /2 l +
luego para (z) tenemos las siguientes dos opciones
1
2
(z) = z + l + 1.
10
En nuestra f
ormula n no representa al n
umero cuantico principal. Este correspondera al valor n = n+ l + 1.
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
94
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
(z) = 2z + 2l + 3
= k + (z) =
3
l .
2
2
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
Rn2 l ()d
(l+1)/2 z/2
Rn2 l (r)dr
2
Nn,l
=1
Ll+1/2
(z),
n
2
Nn,l
R(z)2
dz =
2z
2
z= =
r0
r
r0
5.3.1.
Rn2 l ()d = 1,
z l+1/2 ez (Ll+1/2
(z))2 dz =
n
l+1/2
5.3.
2
2
Nn,l
,
2
El m
etodo de factorizaci
on de Schr
odinger
Introducci
on
El objetivo de este apartado es estudiar un metodo sencillo que permite resolver ecuaciones diferenciales de Sturm-Liuville. El metodo debe su popularidad fundamentalmente a
Schrodinger que lo uso para resolver la ecuacion de Schrodinger para muchos sistemas fsicos
reales.
Actualmente el metodo se le conoce como metodo de factorizacion de Infeld y Hull debido
al estudio detallado que estos autores hicieron en [13].
n de Schro
dinger
5.3. El m
etodo de factorizacio
PSfrag
95
|Rn,l |2
|R0,0 |2
0,8
|R1,0 |2
0,6
|R2,0 |2
0,4
0,2
1
|Rn,l |2
|R0,2 |2
0,8
|R1,2 |2
0,6
|R2,2 |2
0,4
0,2
1
5.3.2.
El oscilador arm
onico
(5.3.1)
donde D :=
d
,
dx
(5.3.2)
e I es el operador identidad.
Si operamos formalmentepodemos sustituir x2 D 2 por la correspondiente diferencia de
cuadrados (x D)(x + D) o (x + D)(x D). En la practica esto no es del todo cierto pues
x2 D 2 es un operador y obviamente no tiene por que tener lugar las expresiones anteriores
como de hecho ocurre. No obstante
(x D)(x + D) (x) =(xI D)(x (x) + (x)) = (x) + x2 (x) (x)
=H (x) (x) = ( 1) (x),
y
(x + D)(x D) (x) =(xI + D)(x (x) (x)) = (x) + x2 (x) + (x)
=H (x) + (x) = ( + 1) (x).
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
96
H := x D
(5.3.3)
H+ H (x) = ( + 1)(x),
(5.3.4)
(5.3.5)
y
Aplicando H+ a (5.3.3) tenemos
(5.3.6)
(5.3.7)
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
b Z
Z b
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
11
N
otese 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 operaci
on a denota al complejo conjugado de a. En general trabajaremos en el espacio de funciones
reales.
n de Schro
dinger
5.3. El m
etodo de factorizacio
97
es decir hH , i = h, H+ i.
luego
k2n k2 =
(5.3.8)
( n)
( 1) ( 2)
2
k k2 .
2
2
() ( 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 alg
un 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.
(5.3.9)
H+ n = n n1 ,
H n = n n+1 ,
n = 0, 1, 2, . . . ,
H+ n = 2n n1 ,
H n = 2n + 2 n+1 , n = 0, 1, 2, . . . .
Finalmente, usando que H+ 0 (x) = 0, k0 k = 1, obtenemos las soluciones normalizadas
x0 (x) + 0 (x) = 0
y [H ]n 0 (x) =
p
(2n)!!n (x), luego
n (x) =
1 x2 /2
e
,
0 (x) =
4
1
1
2
2
p
[H ]n ex /2 = 1 p
[xI D]n ex /2 .
(2n)!!
4 (2n)!!
1
4
Esta forma de resolver el problema del oscilador armonico cuantico es totalmente analoga
a la del apartado 5.2.1.
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
98
5.3.3.
El m
etodo de factorizaci
on
En este apartado vamos a generalizar el ejemplo anterior a ecuaciones algo mas generales.
Partiremos de la ecuacion diferencial lineal de segundo orden (de Sturm-Liouville)
y (x) + r(x, m)y(x) + y(x) = 0,
m = 0, 1, 2, . . .
(5.3.10)
o, equivalentemente14 ,
Hm y(x, m, ) = y(x, m, ),
Hm := D 2 r(x, m)I.
(5.3.11)
(5.3.12)
(5.3.13)
Hm = k(x, m)I
d
,
dx
d
.
dx
(5.3.14)
Los operadores Hm se conocen como operadores escalera. Notese ademas que ambos operadores Hm son de orden 1.
Teorema 5.3.2 Si y(x, , m) es solucion de y (x) + r(x, m)y(x) + y(x) = 0, entonces
Hm+1 y(x, , m) = (, m)y(x, , m + 1),
(5.3.15)
(5.3.16)
h, i =
14
(x)(x)dx.
n de Schro
dinger
5.3. El m
etodo de factorizacio
99
Hm
dx =
H+m dx = h, H+m i
(5.3.17)
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
(x)Hm (x)dx
(x) (x)dx
b Z
Z b
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,
=
(x)k(x, m)(x)dx
yll (x) = e
k(x,l+1)dx
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
100
y, entonces para m = 0, 1, . . . , l 1, l,
l
H+m ym
(x) =
y, por tanto,
"
l
Y
1
l
p
ym
(x) =
L(l + 1) L(k)
k=m+1
l
L(l + 1) L(m) ym1
(x),
(5.3.18)
m < l.
(5.3.19)
l
Notese que, si kyll k = 1, entonces las funciones ym
son ortonormales.
Demostracion: Asumamos que y(x, , m) es de cuadrado integrable en (a, b). Entonces, y(x, , m+
1) tambien lo sera. En efecto como
Hm+1 y(x, , m) = m y(x, , m + 1),
tenemos
Z
b
2
[y(x, , m + 1)] dx
2
=m
a
a
m
m
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 por tanto, asumiendo que y(x, , l) 6= 0, (5.3.12) nos da
H+l+1 Hl+1 y(x, , l) = [ L(l + 1)] y(x, , l)
| {z }
|
{z
}
=0
L(l + 1) = 0.
6=0
L(l + 1) L(m)
L(m)
2
ky(x,
,
m)k
=
ky(x, , m)k2,
2
2
m
m
p
de donde se sigue que m = L(l + 1) L(m).
L(l + 1) L(m + 1
ky(x, , m 1)k2 =
l
As pues, denotando por ym
(x) := y(x, L(l + 1), m) tenemos que (5.3.15) se transforma en
p
l
l
Hm+1 ym
(x) = L(l + 1) L(m + 1) ym+1
(x), m < l,
(5.3.20)
n de Schro
dinger
5.3. El m
etodo de factorizacio
101
y, en particular,
Hl+1yll (x) = 0,
as que usando (5.3.16)
l
(x) =
H+m ym
l
L(l + 1) L(m) ym1
(x),
(5.3.21)
y, en particular,
yll (x) = e
(5.3.22)
k(x,l)dx
y por tanto,
l
ym
(x) =
"m1
Y
k=l
1
p
L(l) L(k + 1)
l
L(l) L(m + 1) ym+1
(x),
(5.3.23)
m > l.
(5.3.24)
(5.3.25)
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
102
(5.3.26)
r(x, m) + r(x, m 1)
k 2 (x, m),
2
r(x, m) r(x, m 1)
.
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))
k (x, m) =
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)
,
2(r(x, m) r(x, m 1))
(5.3.27)
y
L(m) =
r(x, m) + r(x, m 1)
k 2 (x, m),
2
(5.3.28)
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
y(x) =
p
4
p(t)(t)z(t),
dx =
(t)
dt
p(t)
N
otese que si r(x, m) es una funci
on real, entonces k(x, m) tambien lo sera.
n de Schro
dinger
5.3. El m
etodo de factorizacio
103
Los arm
onicos esf
ericos
Comenzaremos por los armonicos esfericos Yml (). Estos satisfacen la ecuacion
1
sen
d
d
dY
m2
sen
Y + Y = 0,
d
sen2
0 .
m2 41
y + y = 0,
sen2 x
= + 14 ,
por tanto
1
cot ,
k(x, m) = m
2
1
L(m) = m(m 1) + =
4
1
m
2
2
1
= L(l + 1)
4
= l(l + 1),
l = 0, 1, 2, . . . ,
m = 0, 1, 2, . . . , l.
=0
1
l+
2
d
cot
y l () = 0
d l
yll () = C senl+1/2 .
Calculamos C para que kyll k = 1:
1=C
sen2l+1 d = C 2
0
luego
yll () =
2l+1 l!
,
(2l + 1)!!
(2l + 1)!!
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
p
d
1
l
l
cot
ym
() = (l m)(l + m + 1) ym+1
(),
m
2
d
p
1
d
l
l
m
cot +
ym
() = (l + m)(l m + 1) ym1
(),
2
d
respectivamente.
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
104
Potencial de Poschl-Teller 1
Sea
2 (m + g)(m + g + 1) 2 (m g)(m g 1)
y +
sen2 (x x0 )
cos2 (x x0 )
y + y = 0,
l = 0, 1, 2, . . . ,
m = 0, 1, 2, . . . , l.
En este caso
Hl+1 yll (x) = 0
r0 + 2
r0
=C 2
luego
yll (x) =
cos2(lg+1) (x x0 ) sen2(l+g+1) (x x0 ) dx
(l g + 23 )(l + g + 23 )
.
2(2 + +3)
2(2l + 3)
lg+1
(x x0 ) senl+g+1 (x x0 ) .
3 cos
3
(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) ,
respectivamente.
16
cosa x senb x dx =
b+1
( a+1
2 )( 2 )
)
2( a+b+2
2
a > 1, b > 1.
0 m l,
0 m l,
n de Schro
dinger
5.3. El m
etodo de factorizacio
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 )
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 .
l = 0, 1, 2, . . . ,
m = l, l + 1, l + 2, . . . .
En este caso
H+l yll (x) = 0
L(l) L(m + 1) = 42 (m + 1 l) (l + m + 1) ,
entonces (5.3.20) y (5.3.21) nos dan
p
d
l
l
k(x, m + 1)
ym
(x) = 2 (m + 1 l) (l + m + 1) ym+1
(x),
dx
p
d
l
l
(x),
ym
(x) = 2 (m l) (m + l) ym1
k(x, m) +
dx
m l,
respectivamente.
Potencial de Morse
Sea ahora la ecuacion
y + ae2u + beu y + y = 0,
a, b C,
0 u < +.
1
2
obtenemos
cosha x senhb x dx =
b+1
( a+b
2 )( 2 )
,
2( 1a
2 )
b > 1, a + b < 0.
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
106
y + 41 e2x + m +
1
2
ex
+ m,
2
k(x, m) =
ex y + y = 0,
L(m) = m2 .
l = 1, 2, . . . ,
m = l, l + 1, l + 2, . . . .
En este caso
H+l yll (x) = 0
y por tanto18
yll (x) =
1
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
p
e
d
l
l
ym
(x) = (m + 1 l) (l + m + 1) ym+1
+m+1
(x), m l,
2
dx
x
p
d
e
l
l
ym
(x) = (m l) (m + l) ym1
+m+
(x), m l,
2
dx
respectivamente.
La ecuaci
on de Whittaker & Watson
Sea
1 m+
W + +
4
z
1
2
1
4
+
z2
W = 0,
0 z < +.
que esencialmente la misma ecuacion diferencial del ejemplo anterior pero cambiando x por
x. Tambien corresponde al caso II con
k(x, m) =
18
ex
m,
2
L(m) = m2 ,
e exp(x)2lx dx = (2l),
l > 0.
n de Schro
dinger
5.3. El m
etodo de factorizacio
107
as que
= l2 ,
H+l yll (x) = 0
l = 0, 1, 2, . . . ,
m = l, l + 1, l + 2, . . . ,
yll (x) =
1
eexp(x)/2+lx .
(2l)
p
ex
d
l
l
ym
(x) = (m + 1 l) (l + m + 1) ym+1
m1
(x),
2
dx
respectivamente.
p
ex
d
l
l
(x),
ym
(x) = (m l) (m + l) ym1
m+
2
dx
m l,
m l,
La ecuaci
on de Bessel
Sea
m2 14
y + y = 0,
z2
z R.
m 12
,
x
L(m) = 0.
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+
x
1
2
m
x
1
2
d
ym (x) = ym+1 (x),
dx
d
ym (x) = ym1 (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.
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
108
El
atomo de hidr
ogeno
y + y = 0,
y +
r
r2
r 0.
r 0.
1
m
,
r
m
L(m) =
1
.
m2
1
,
(l + 1)2
En este caso
Hl+1 yll (r)
=0
l = 0, 1, 2, . . . ,
m = 1, 2, . . . , l.
1
l+1
D yll (r) = 0
r
l+1
1
(l +
1)l+3 (l
+ 1)
r l+1 e l+1 .
1
1
,
2
(m + 1)
(l + 1)2
1
1
,
L(l + 1) L(m) = 2
m
(l + 1)2
L(l + 1) L(m + 1) =
m+1
1
d
r
m + 1 dr
1
d
m
+
r
m dr
l
ym
(r) =
l
ym
(r) =
1
1
y l (r),
2
(m + 1)
(l + 1)2 m+1
1
1
y l (r),
2
m
(l + 1)2 m1
1 m l,
respectivamente.
19
x ex dx = ( + 1)1 ,
> 0,
1 m l,
> 1.
n de la EDO hipergeom
5.4. Factorizacio
etrica
5.4.
109
Factorizaci
on de la EDO hipergeom
etrica
En este apartado vamos a probar que la ecuacion hipergeometrica (5.1.7) admite una factorizacion tipo Infeld-Hull. Vamos a seguir el trabajo de Lorente [14]
5.4.1.
(s)/d2n Pn (x),
(5.4.1)
(5.4.2)
(5.4.3)
donde
(x) =
1 ( (x) (x))2 1
( ).
4
(x)
2
(5.4.4)
2n dn+1
n+1 (x),
2n dn
(x) 1
n n
L (x, n) =
+ ( (x) (x)) I (x)D,
n n
2
|
{z
}
(5.4.5)
(5.4.6)
f (x,n)
2n dn1
n1 (x),
2n dn
(5.4.7)
donde
L (x, n) =
n n (x) 2n
1
+
(x n ) ( (x) (x)) I + (x)D.
n n
2n
2
|
{z
}
(5.4.8)
g(x,n)
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 de Schro
dinger
Captulo 5. Resolviendo la ecuacio
110
y
n =
n1
n
se comprueba que
f (x, n 1) = g(x, n).
Ademas, para todos n, k N {0},
Z
b
+
(5.4.9)
en particular
2n dn1
,
2n dn
2n+2 dn
.
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
5.4.2.
Factorizaci
on de H(x, n)
Si ahora calculamos
L (x, n + 1)L+ (x, n) =g(x, n + 1)f (x, n)I + (x) [f (x, n) g(x, n + 1)] D
|
{z
}
=0
o, equivalentemente,
L (x, n + 1)L+ (x, n) = [g(x, n + 1)f (x, n) + (x)(f (x, n) + (x) + n )] I
(x)H(x, n).
Ahora bien,
g(x, n + 1)f (x, n) + (x)(f (x, n) + (x) + n )
(n + 1) + n1
(0)2 2 (0) (0) + 2(0)n 2 n 2 (0) ( + n )
=
4n 2
no depende de x. Dicha cantidad la denotaremos por n . Ademas, si aplicamos el operador
L (x, n + 1)L+ (x, n) = n I (x)H(x, n)
20
Estamos usando que las funciones (n )n son una base ortonormal completa del espacio de las funciones de
cuadrado integrable y que n (a) = 0.
n de la EDO hipergeom
5.4. Factorizacio
etrica
111
o, equivalentemente,
n + n2
(0)2 2 (0) (0) + 2(0)n1
(n1) 2 (0) + n1
=
2
4n1
no depende de x. Notese que la expresion anterior coincide con n1 . Otra forma de comprobarlo
es aplicar el operador
L+ (x, n 1)L (x, n) = M(n)I (x)H(x, n)
a n (x) y usar, como antes (5.4.5), (5.4.7) y (5.4.4). Lo anterior nos conduce a la expresion
2n 2n2
n1 n = n1.
M(n) =
2n 2n 2
As, hemos probado el siguiente
Teorema 5.4.1 Para la ecuacion hipergeometrica (5.1.7), haciendo el cambio (5.4.1), se obtiene la ecuacion (5.4.4), para la cual se cumple la siguiente factorizacion del tipo Infeld y
Hull
L (x, n + 1)L+ (x, n) = n I (x)H(x, n),
(5.4.10)
L+ (x, n 1)L (x, n) = n1 I (x)H(x, n),
donde los operadores L+ (x, n) y L (x, n) son los operadores de ascenso (raising) y descenso
(lowering), respectivamente definidos por
L+ (x, n) = f (x, n)I (x)D,
f (x, n) =
Ademas,
n n (x) 1
+ ( (x) (x))
n n
2
y, por tanto,
L n (x) = n n1 n n1 (x).
Z
0 (x) = N0 exp f (x, n 1)dx ,
k0 k2 = 1,
1
L+ (x, n 1) L+ (x, 1)L+ (x, 0)0 (x),
k=0 (k k k+1 )
n (x) = Qn1
n 1.
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
112
5.4.3.
Ejemplos
H(x, n) = D 2 + (1 x2 + n )I,
n = 2n,
De lo anterior se sigue
1 x2 /2
e
,
0 (x) =
4
1
n x2 /2
(xI
D)
e
.
n (x) =
4
2n n!
Finalmente
L+ (x, n 1)L (x, n) = 2nI H(x, n),
Caso Laguerre
En este caso (x) = x y (x) = x + + 1 tenemos
H(x, n) = xD 2 + D +
y22
Entonces
21
22
!
1 (x )2
n I,
2
4x
n = n,
1
n (x) = p
ex/2 x/2 Ln (x)
n!( + n + 1)
x 2n
+x 2 2n
, g(x, n) =
f (x, n) =
2
2
p
x 2 2n
+
L (x, n)n (x) =
I xD n (x) = (n + 1)(n + + 1) n+1 (x),
2
p
x 2n
113
5.5. Problemas
De lo anterior se sigue
0 (x) = p
Finalmente
1
ex/2 x/2 ,
( + 1)
1
L+ (x, n 1) L+ (x, 1)L+ (x, 0)ex/2 x/2 .
n (x) = p
n!( + n + 1)
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 ecuaci
on
(5.1.7), satisfacen la siguiente relacion de estructura
Pn (x) = Qn + n Qn1 + n Qn2 ,
(5.5.1)
Problema 5.5.4 Probar que para los polinomios clasicos se tienen las siguientes identidades.
X
2n
n=0
n!
Hn (x)t = e
X
(1)n
n=0
X
(1)n ( + + 1)n
n=0
2xtt2
n!
Pn, (x)tn =
p
con R = 1 + 4t(t + x).
n!
tx
Ln (x)tn
e 1t
=
,
(1 t)+1
2+
,
R(1 2t + R) (1 + 2t + R)
(5.5.2)
(5.5.3)
U0
~2
= E,
2m
cosh2 (x)
x R,
2s
2 (1 s2 ) 2
+
,
1 s2
(1 s2 )2
2 =
2mE 2 2mU0
, = 2 2,
~2 2
~
, > 0.
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
114
~2
+ D(e2x 2ex ) = E,
2m
x=
r r0
.
r0
2mDr 2
se puede resolver usando el metodo de separacion de variables obteniendose para sus soluciones
la expresion KG (r, , ) = R(r)r 1 Yl,m (, ), siendo Yl,m los armonicos esfericos y R(r) las
soluciones de
l(l + 1)
2
R = 0.
1
R + E+
r
r2
Demuestra usando el metodo descrito al final de captulo que las soluciones se expresan mediante
la formula
s
2
r
1
1
2 +1 2+1
l+
R(x) = Nl,n e r Ln (2ar) ,
2 ,
= +
2
2
donde Ln son los polinomios de Laguerre y determina el factor de normalizacion Nl,n .
Problema 5.5.9 Aplica el metodo de factorizacion de Schrodinger para resolver las siguientes
EDOs
1. Los esfericos armonicos generalizados, definidos por la expresion y() = sen ()
donde y satisface la EDO
y
(m + )(m + 1)
y + ( + 2 )y = 0.
sen2
y = 0.
y+ +K +
y
sen2
4
115
5.5. Problemas
2
+
+ r + = 0, n = 0, 1, 2, . . . ,
r
r2
P
donde r 2 = sk=1 x2k . Si hacemos el cambio (r) = r (1s)/2 y(r), y satisface la EDO
(n + 2s 12 )(n + 2s 23 )
2
y
+ r y + y = 0.
r2
r 0,
1
.
(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
n de Schro
dinger
Captulo 5. Resolviendo la ecuacio
Bibliografa
[1] R. Alvarez-Nodarse,
Polinomios hipergemetricos y q-polinomios. Monografas del Seminario
Matematico Garca de Galdeano Vol. 26. Prensas Universitarias de Zaragoza, Zaragoza,
2003.
[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 criticalhistorical analysis of the problems and of a synthesis of the results. World Scientific Publishing Co., Inc., River Edge, NJ, 2000.
[4] J-L. Basdevant, J. Dalibard, Quantum mechanics. Springer Verlag, 2002.
[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.
[7] L. Debnath y P. Mikusinsk. Introduction to Hilbert spaces with applications, Eselvier
Academic Press, 2005.
[8] S. Deligeorges (Ed.), El mundo cuantico, Alianza Universidad, 1985.
[9] P. V. Eltin, V. D. Krivqenkov Kvantova Mehanika, Nauka 1975.
[10] R. Feynman, R. B. Leighton y M. Sands, The Feynman Lectures on Physics. Vol. III.
Mecanica Cuantica. Fondo Educativo Interamericano 1971.
[11] R. Feynman, El caracter de la Ley fsica. Metatemas 65, 2000.
[12] J. Gribbin, En busca del gato de Schrodinger. La fascinante historia de la Mecanica Cu
antica. 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 differential/difference operators of hypergeometric type. J. Phys. A: Math. Gen. 34 (2001), 569588.
[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
Introducci
on: Estacios m
etricos y espacios normados
Definici
on A.1.1 Un espacio metrico es un par (X, ~r) donde X es un conjunto y ~r := ~r(x, y) es una
funci
on real (univaluada) no negativa definida para todos x, y, z X tal que
1. ~r(x, y) = 0 x = y,
2. ~r(x, y) = ~r(y, x),
3. ~r(x, z) ~r(x, y) + ~r(y, z).
Normalmente se dice que X es el espacio y ~r su metrica.
Por ejemplo, el espacio X = Rn de las n-tuplas x = (x1 , x2 , . . . , xn ) con la metrica
!1/p
n
X
p
~r(x, y) =
|xk yk |
,
p 1,
k=1
X
p
,
p 1.
|xk yk |
~r(x, y) =
k=1
lp .
Z
|f (x) g(x)|
1/p
p 1.
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 (x) g(x)|2 .
(f, g) =
a
119
120
n al ana
lisis funcional
Anexo: Breve introduccio
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 generalizaci
on de este espacio.
Definici
on 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
S(x0 , r) = {x X; ~r(x0 , x) r}.
Definici
on 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 .
Definici
on 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 s
olo si todos sus puntos son interiores.
Definici
on A.1.5 Por aplicaci
on (operador) o funci
on entenderemos una regla T que le hace corresponder a cada elemento del subconjunto D(T ) X un u
nico 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 aplicaci
on. Si a cada x D(T ) le corresponde un valor y = T x Y diremos que T x es
la imagen de x seg
un T . Al conjunto de todas las im
agenes T x le denominaremos imagen de T y le
denotaremos por I(T ).
Definici
on A.1.6 Una aplicaci
on T : D(T ) X 7 Y se llama sobreyectiva si todo elementoy de Y
es imagen de alg
un elemento x del dominio. Una funci
on se llama inyectiva si todo elemento y de la
imagen de T es imagen a lo sumo de uno y s
olo un elemento x del dominio. Una aplicaci
on inyectiva
y sobreyectiva se denomina biyectiva.
Es decir una aplicaci
on es sobreyectiva si, para todo y Y, la ecuaci
on T x = y tiene al menos una
soluci
on, e inyectiva si la ecuaci
on anterior tiene o bien una u
nica soluci
on, o bien no tiene soluci
on.
As mismo, T es biyectiva si para todo y Y, la ecuaci
on T x = y tiene una y s
olo una soluci
on.
Para las funciones inyectivas se puede definir la aplicaci
on inversa.
Definici
on A.1.7 Sea T : D(T ) X 7 Y una aplicaci
on inyectiva. Definiremos su aplicaci
on inversa
1
1
T a la aplicaci
on T : I(T ) Y 7 D(T ) X tal que a cada elemento y I(T ) le hace corresponder
un u
nico x D(T ) tal que T x = y.
Definici
on A.1.8 La restricci
on de una aplicaci
on T : D(T ) X Y a un subconjunto B D(T )
es la aplicaci
on T |B que se obtiene de T cuando x se restringe al conjunto B D(T ).
n: Estacios m
A.1. Introduccio
etricos y espacios normados
121
Definici
on A.1.9 La extensi
on de una aplicaci
on T : D(T ) X Y a un subconjunto C D(T )
e
e
e
es la aplicaci
on T tal que T |D(T ) = T , i.e., T x = T x para todo x D(T ).
Definici
on A.1.10 Una aplicaci
on T : D(T ) X Y es continua en x0 D(T ) si para todo
> 0, existe un > 0 tal que x D(T ) con ~r(x, x0 ) < es tal que23 (T x, T x0 ) < . Se dice que T
es continua en todo M D(T ) si T es continua en todo x M .
Definici
on 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 u
nico punto (elemento) de
D(T ) o un subconjunto M D(T ).
Proposici
on A.1.12 Una aplicaci
on T : D(T ) X Y es continua si y s
olo si la imagen inversa
de cualquier subconjunto abierto (cerrado) de Y es un subconjunto abierto (cerrado) de X.
Demostraci
on: Sea T continua y sea S Y un abierto. Sea S0 la imagen inversa de S. Si S0 = la
proposici
on es trivial asi que asumiremos que S0 6= . Sea x0 S0 cualquiera y sea y0 = T x0 S su
imagen. Como S es abierto existe una bola B(y0 , ) S. Pero T es continua as que existe una bola
B(x0 , ) tal que T (B(x0 , )) B(y0 , ). Pero como B(y0 , ) S, entonces necesariamente B(x0 , )
S0 , luego x0 S0 es interior y en virtud de que x0 S0 es arbitrario, S0 es abierto.
Sea T una aplicaci
on tal que imagen inversa de cualquier subconjunto abierto de Y es un subconjunto
abierto de X. Sea x0 S0 cualquiera e y0 = T x0 S. Sea B(y0 , ) S una bola de radio
arbitrario. Sea S0 la imagen inversa de dicha bola B(y0 , ) que es un abierto. Entonces existe una bola
B(x0 , ) S0 tal que T (B(x0 , )) B(y0 , ) S, i.e., T es continua en x0 . Como x0 era arbitrario,
entonces T es continua en D(T ).
Definici
on A.1.13 Sea M X. Diremos que x X es un punto de contacto (o adherente) de M
si en cualquier bola B(x, ), > 0 hay al menos un elemento de M . As mismo, diremos que x es
un punto de acumulaci
on (o punto lmite) de M si en cualquier bola B(x, ), > 0 hay al menos un
elemento de M distinto de x, o equivalentemente, en cada bola B(x, ), > 0 hay infinitos elementos
de M . Un punto x se denomina aislado de M si existe una bola B(x, ), > 0 que no contiene ning
un
elemento M excepto el propio x.
Es facil ver que si M solo contiene puntos aislados entonces M es cerrado (pues X\M es abierto).
De lo anterior se deduce adem
as que los puntos de contacto de M o bien son puntos lmites, o bien
son aislados.
Definici
on A.1.14 Dado un subconjunto M X, se denomina clausura de M al conjunto M de los
elementos de M y sus puntos de contacto.
De lo anterior se sigue que M = M {conjunto de sus puntos lmites}.
Por ejemplo, si X = Q, entonces Q = R pues todo x R es un punto lmite de Q (por que?).
23
122
n al ana
lisis funcional
Anexo: Breve introduccio
Proposici
on A.1.15 Un subconjunto M X es cerrado si y s
olo si M = M . As, como M M ,
entonces M es el menor conjunto cerrado que contiene a M .
Demostraci
on: Sea M cerrado. Como M M basta probar que M M . Como M es carrado,
entonces X \ M es abierto as que para todo x X \ M existe una bola B(x, r) completamente
contenida en X \ M , i.e., B(x, r) no contiene puntos de M , luego x 6 M , es decir, x X \ M , as que
X \ M X \ M , i.e. M M .
Asumamos que M = M . Probaremos que X \ M es abierto. Sea x 6 M , entonces x 6 M . Entonces
x X \ M . Como x 6 M entonces x no es un punto adherente de M as que debe existir al menos
una bola B(x, r) que no contiene a ning
un elemento de M , es decir x X \ M es un punto interior
del conjunto X \ M . Como x es arbitrario, X \ M es abierto luego M es cerrado.
Definici
on A.1.16 Un subconjunto M X es acotado si su di
ametro d(M ) = supx,yM ~r(x, y) es es
finito.
Definici
on A.1.17 Dada una sucesi
on (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 n
umero K > 0 tal que ~r(x, xn ) < K para todo
n N.
Definici
on A.1.18 Una sucesi
on (xn )n de elementos de X es convergente, y lo denotaremos por
lmn xn = x, si existe un x X tal que para todo > 0 existe un N N tal que para todo n > N ,
~r(x, xn ) < . En caso contrario diremos que (xn )n es divergente.
Notese que en la propia definicion de lmite est
a 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).
Definici
on A.1.19 Una sucesi
on (xn )n de elementos de X se denomina de Cauchy o fundamental si
existe para todo > 0 existe un N N tal que para todo n > N y todo p N, ~r(xn , xn+p ) < .
En R toda sucesion es convergente si y s
olo si es de Cauchy. Esta propiedad fundamental de R no
es cierta para cualquier espacio metrico X. Por ejemplo, si escogemos nuevamente X como el intervalo
abierto (0, 1) con la metrica habitual de R, la sucesion xn = 1/(n + 1), que es de Cauchy (por que?)
no tiene lmite en X.
Definici
on A.1.20 Un espacio metrico X se denomina completo si y s
olo si toda sucesi
on de Cauchy
de elementos de X converge (a un elemento de X).
Por ejemplo, el espacio X = R con la metrica usual de R, es completo. Tambien lo es X = C con la
metrica usual de C. Sin embargo Q, el conjunto de los n
umeros racionales, es incompleto (por que?),
y el conjunto X = (0, 1) de antes tambien lo es. El espacio metrico (de Hilbert) l2 es completo no as el
espacio C2 ([a, b]).
Teorema A.1.21 Un subespacio M de un espacio metrico completo X es completo si y s
olo si es
cerrado en X.
n: Estacios m
A.1. Introduccio
etricos y espacios normados
123
Demostraci
on: Sea M completo. Probaremos que M = M . Sea x M cualquiera, entonces existe
(por que?) una sucesion de elementos de M que converge a x. Entonces (xn )n es de Cauchy (pues es
convergente) pero M es completo, luego x M , i.e., M = M .
Sea M cerrado (i.e., M = M ) y (xn )n una sucesion de Cauchy en M . Entonces lmn xn = x
con x X (X es completo). Pero entonces x X es un punto de acumulaci
on de M , i.e., x M y
como M es cerrado x M , i.e., toda sucesion de Cauchy en M tiene lmite en M , i.e., M es completo.
Definici
on A.1.22 Un subconjunto M X es denso en X si su clausura M = X.
De la definicion anterior se infiere que si M es denso X entonces cualquiera sea la bola B(x, ) (por
peque
no 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.
Definici
on A.1.23 Un espacio metrico X es separable si contiene un subespacio numerable24 M X
denso en X.
As pues, R es separable pues Q es numerable y denso en R. Usando la separabilidad de R se puede
probar que l2 tambien es separable.
Definici
on A.1.24 Un espacio metrico X se denomina compacto si cualquier sucesi
on (xn )n de elementos de X tiene una subsucesi
on convergente.
Entenderemos que M X es compacto si M es compacto como subconjunto de X, i.e., cualquier (xn )n
de elementos de M tiene una subsucesi
on convergente en M .
Lema A.1.25 Si M X es compacto, entonces M es cerrado y acotado.
Demostraci
on: 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 obviamente no puede tener ninguna subsucesi
on 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 ning
un punto de acumulaci
on por lo tanto ninguna sucesion
que escojamos de elementos distintos de M contiene una subsucesi
on 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 n
umeros
naturales. Por ejemplo, Q es numerable, pero R no lo es.
n al ana
lisis funcional
Anexo: Breve introduccio
124
Definici
on A.1.26 Un espacio vectorial X se denomina espacio normado si para todo x X existe
un n
umero real denominado norma, y que denotaremos por kxk, que cumple con las condiciones
1. Para todo x X, kxk 0 y si kxk = 0 entonces x = 0.
2. Para todo x X y R, kxk = ||kxk,
3. Para todos x, y X se tiene la desigualdad triangular
kx + yk kxk + kyk.
(A.1.1)
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.
Definici
on 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
P
2
2 1/2 , es un espacio de Banach, pero el espacio de
k=1 |xk | < + con la norma kxk =
k=1 |xk |
1/2
R
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.
Consideremos ahora un caso particular de las aplicaciones introducidas en la definicion A.1.5.
Definici
on A.1.28 Una aplicaci
on (operador) es lineal si
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).
2. , K,
x, y D(T ),
T (z + y) = T (x) + T (y).
Definici
on 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 ckxk,
25
x D(T ).
(A.1.2)
n: Estacios m
A.1. Introduccio
etricos y espacios normados
125
x D(T ), x 6= 0.
(A.1.3)
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 k =
kT xk
.
xX\{0} kxk
sup
(A.1.4)
Si T = 0 obviamente kT k = 0. Adem
as de (A.1.2), tomando nfimos en c obtenemos
y X,
kT yk
kT k
kyk
kT yk kT kkyk.
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 aplicaci
on lineal de un espacio normado X a otro
espacio normado Y. Entonces
1. T es continuo si y s
olo si T es acotado.
2. Si T es continuo en alg
un x0 D(T ), T es continuo en D(T ).
Demostraci
on: Asumiremos que T no es el operador nulo.
1. Sea T acotado y sea x0 D(T ) cualquiera. Como T es lineal y acotado, 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
2kyk
x x0 =
y
2kyk
kx x0 k <
kT x T x0 k = kT (x x0 )k =
T 2kyk y
= 2kyk kT yk
kT x T x0 k < .
kT yk
2
kyk,
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 secci
on sobre los espacios de Hilbert separables que complementa
los apartados 4.1 y 4.2.
n al ana
lisis funcional
Anexo: Breve introduccio
126
A.2.
Definici
on A.2.1 Dado un vector x H definiremos la serie de Fourier respecto al sistema ortonormal (n )
n=1 a la serie
X
cn n ,
(A.2.1)
s :=
n=1
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
mn ||x q||2 = ||x||2
qH
n
X
k=1
|ck |2
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)
n
X
ck k .
q = sn :=
k=1
Pn
Demostraci
on: Sea gn =
k=1 ak k .
Calculamos
2
hx gk , x gk i = kxk
n
X
k=1
c2k kk k2
n
X
+
(ak ck )2 kk k2 .
k=1
Obviamente la expresi
on anterior es mnima si y s
olo si ak = ck para todo k N, i.e., gn = sn .
Notese que
*
kx sn k = x
+
n
X
k=1
n
X
hx, k i
k=1
n
X
kk k2
k , x
n
X
hx, k i
kk k2
k=1
= kxk 2
n
X
|hx, k i|2
k=1
kk k2
n
X |hx, k i|2
X
|hx, k i|2 hm , k i
2
2
=
kxk
=
kxk
|ck |2 .
2
2
2
k
k
k
k
k
k
m
k
k
m=1
k=1
(A.2.3)
k=1
X
k=1
2
k=1 |ck |
k=1
|ck |2 0,
n N,
|ck |2 kxk2 ,
(A.2.4)
lm |cn | = 0
n
X
lm hx, k i = lm hk , xi = 0.
(A.2.5)
127
La desigualdad (A.2.4) se conoce como desigualdad de Bessel. Notese que una condici
on necesaria y suficiente para que la serie de Fourier (A.2.1) converja a x (en norma) es que
kxk2 =
X
k=1
|ck |2 =
X
k=1
|hx, n i|2 .
n
X
k k
tal que
k=1
kx ln k < .
En otras palabras cualquier vector x X H se puede aproximar en norma tanto como se quiera
mediante alguna combinaci
on 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).
Definici
on A.2.4 Un sistema ortogonal (ortonormal) completo de X H se denomina base ortogonal
(ortonormal) de X 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
e1 = (1, 0, 0, . . . , 0), e2 = (0, 1, 0, . . . , 0), . . . , en = (0, 0, 0, . . . , 1),
(A.2.6)
(A.2.7)
X
k=1
hx, k ik .
X
k=1
|hx, k i|2 .
n al ana
lisis funcional
Anexo: Breve introduccio
128
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?).
2)3) Tomando el lmite n en (A.2.3) y usando 2) (lmn kx sn k = 0), se sigue 3).
3)4) Si para todo k N hx, k i = 0, entonces de 3) se deduce que kxk = 0, luego x = 0.
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
kyn yn+p k2 =
n+p
X
k=n+1
|ck |2 ,
n
X
hx, j ihk , j i = hx, k i,
j=1
k n,
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).
A partir del apartado 4 del Teorema A.2.5 se sigue el siguiente corolario:
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.
Definici
on A.2.8 Se dice que un sistema ortonormal (n )n es cerrado en un espacio eucldeo E si
para todo vector x E se cumple la igualdad de Parseval
X
k=1
|ck | =
X
k=1
129
Demostraci
on: Como H es separable, existe un conjunto numerable de vectores (n )n denso en H. Si de
dicho conjunto eliminamos aquellos vectores k que se pueden obtener como combinaci
on lineal de los
anteriores j , j < k obtenemos un sistema completo de vectores linealmente independientes de H. La
base ortonormal se obtiene al aplicar a dicho sistema el proceso de ortogonalizaci
on de Gram-Schmidt.
n=1
|cn |2 < +.
X
|cn |2 = kxk2 ,
cn = hx, n i.
n=1
P
Demostraci
on: 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.
Pero entonces si n k, hx xn , k i = 0 y, por tanto, ck = hx, k i = hxn , k i, de donde se sigue,
tomando el lmite n y usando la continuidad del producto escalar que para todo k = 1, 2, 3, . . . ,
n
ck = hx, k i. Adem
as, como xn x, usando (A.2.3), se tiene que
2
kxk
n
X
k=1
|ck |2 = kx xn k2 0,
Definici
on A.2.11 Una aplicaci
on 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 aplicaci
on 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:
Teorema A.2.12 (del isomorfismo) Cualquier espacio de Hilbert separable H es isomorfo a Cn o
a l2 .
26
Se entiende que h, i denota el producto escalar en H que no tiene por que ser el mismo que en H.
n al ana
lisis funcional
Anexo: Breve introduccio
130
Demostraci
on: 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
an
on U : H 7 l definida por x = U x =
kI hx, k iek =
Palogo). Sea 2x H y sea la aplicaci
2 que ya hemos visto antes. Esta
)
denota
la
base
ortonormal
can
o
nica
de
l
x
e
l
,
donde
(e
n
n
k
k
kI
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 u
nico. Adem
as, 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
xk y k ,
xk k ,
ym m =
hx, yi =
kI
mI
kI
kI
xk yk , de donde se sigue
Definici
on A.2.13 Sea M H un subespacio27 cerrado del espacio de Hilbert H. Denominaremos
complemento ortogonal de M , y lo denotaremos por M , al conjunto
M = {x H; hx, yi = 0, y M }.
Notese que al ser M cerrado, es completo (pues H es completo, y todo subespacio M de un
espacio metrico completo H es completo si y s
olo si es cerrado en H).
Teorema A.2.14 Sea M H un subespacio cerrado del espacio de Hilbert H y M su complemento
ortogonal. Entonces, todo vector x H admite una u
nica representaci
on de la forma x = y + y donde
y M e y M .
Demostraci
on: Como H es separable y M es cerrado en H, entonces M es completo (recordemos
nuevamente que todo subespacio M de un espacio metrico completo H es completo si y s
olo si es
cerrado en H) y separable, i.e., M es a su vez un espacio
de
Hilbert
separable
por
lo
que
existe
una
P
base orthonormal completa (n )n de M . Definamos y = n hx, n in . Obviamente y M . Definamos
P
y = x y. Entonces, para todo n hy , n i = 0. Ahora bien, cualquiera sea y M , y = n an n ,
luego hy , yi = 0, es decir y M . Luego cualquiera sea x H, existen y M y y M tales
que x = y + y . Probemos que esta descomposici
on es u
nica. Para ello supongamos que no, i.e.,
hy , n i = hx y , n i = hx, n i = hy, n i = y = y,
lo que es una contradicci
on.
Se entender
a, como el caso de los espacios normados que M es un subespacio lineal de H.
131
A.2.1.
Definici
on A.2.16 Sea la aplicaci
on (operador) linear A : E 7 E , E, E espacios eucldeos. Si existe
existe un u
nico operador A : H 7 H adjunto a A. Adem
as, A es lineal y kA k = kAk.
Demostraci
on: Definimos el funcional Ty x : H 7 K, Ty x := hAx, yi . Obviamente, para cada y fijo
|Ty x| kAxkkyk kAkkxkkyk Kkxk,
y H ,
i.e., Ty es un funcional acotado, as que el teorema de Riesz A.2.15 nos asegura que existe un u
nico
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
kAk
kyk
kA k kAk.
n al ana
lisis funcional
Anexo: Breve introduccio
132
De lo anterior se sigue que A es acotado. Pero entonces podemos aplicar el mismo razonamiento intercambiando A y A lo que nos conduce a la desigualdad contraria kAk kA k por tanto kAk = kA k.
En adelante asumiremos que H = H . Supongamos que H es un espacio de Hilbert de dimension
finita. Entonces como ya hemos visto, H es isomorfo a Cn . Sea (ek )k una base de H. Entonces para
todo x H
n
n
X
X
xk Aek .
xk ek = y = Ax =
x=
k=1
k=1
Si
Aek =
n
X
ai,k ei
y=
n
n
X
X
i=1
i=1
yi =
n
X
ai,k xk ,
ai,k xk
k=1
ei =
n
X
yi ei
i=1
i = 1, 2, . . . n.
k=1
.
.
.
an,1 an,2 an,3
an,n
a1,1 a1,2
a2,1 a2,2
a3,1 a3,2
..
A=
...
.
an,1 an,2
..
..
.
.
a1,n
a2,n
a3,n
..
.
an,n
..
.
..
.
Definici
on A.2.18 Sea el operador lineal A : X 7 Y, X e Y espacios de Banach. Diremos que A es
invertible si existe un operador B, A : Y 7 X tal que AB = IY , BA = IX .
Esta claro que para el caso de dimension finita, existira el inverso de A si dim X = dim Y y la
matriz correspondiente ser
a la matriz inversa de A. En dimension infinita la situaci
on es algo m
as
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)
1
(I A)
X
k=0
Ak ,
donde A0 := I.
133
Demostraci
on: 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
0.
1 kAk
kAkn+1
,
1 kAk
= kT An k
n
kxk
1 kAk
1 kAk
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
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 an
aloga y la omitiremos.
Definici
on 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
kT x Tn xk
kTn+p x Tn xk
=
kxk
kxk
n al ana
lisis funcional
Anexo: Breve introduccio
134
Teorema A.2.21 El espacio L(X) es un espacio de Banach respecto a la norma de los operadores.
Una aplicaci
on directa del Teorema A.2.19 es el siguiente resultado:
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).
Demostraci
on: 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
kB Ak
1
= 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 ser
a,
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.
Definici
on A.2.23 Un operador lineal A : X 7 Y, X e Y espacios de Banach es compacto si para
toda sucesi
on acotada (xn )n de X, la sucesi
on (Axn )n de Y tiene una subsucesi
on convergente.
Notese que si A es compacto, A es acotado pues en caso contrario existira una sucesion acotan
da (xn )n tal que kAxn k y entonces la sucesion (Axn )n no tendra una subsucesi
on convergente.
Se puede probar que cualquier operator A : H 7 H, siendo H un espacio de Banach de dimension
finita es compacto, no obstante la compacidad no es trivial en el caso infinito tal y como muestra el
siguiente ejemplo: El operador identidad I : H 7 H, H espacio de Hilbert de dimension infinita no
es compacto. Para probarlo, escojamos una sucesion orthonormal (xn )n en H. Como kxn xm k2 = 2
para todos n, m N, entonces la sucesion Ixn = xn no contiene subsucesiones de Cauchy y por tanto
no tiene subsucesiones convergentes.
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.
Demostraci
on: 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 subsucesi
on convergente, luego AB es compacto.
Sea ahora (xn )n una sucesion acotada de H. Como A es compacto, existe una subsucesi
on (Axnk )k
de (Axn )n que converge. Ahora bien, B es acotado, luego es continuo (ver Teorema A.1.30), por lo
que la subsucesi
on (BAxnk )k converge, luego BA es compacto.
Definici
on A.2.25 Un operador A : H 7 H, H espacio de Hilbert, se llama hermtico o autoadjunto
si A = A , i.e.,
hAx, yi = hx, A yi,
x, y H.
135
A.2.2.
Puesto que para cualquier matriz n n existen n autovalores, en el caso finito es relativamente simple
de estudiar. No as el caso infinito.
1 hx1 , x2 i = 2 hx1 , x2 i
(1 2 )hx1 , x2 i = 0,
n al ana
lisis funcional
Anexo: Breve introduccio
136
, A i
pues
H y por tanto hmn
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 autovalores. No ocurre as con los operadores compactos y autoadjuntos.
Teorema A.2.30 Sea H un espacio de Hilbert y A un operador lineal A : H 7 H autoadjunto
(hermtico) y compacto. Entonces = kAk o = kAk es un autovalor de A.
Demostraci
on: Ver, por ejemplo, L. Debnath & P. Mikusinski - Introduction to Hilbert spaces with
applications, Academic Press, 1990. Teorema 4.9.8 p
ag. 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:
Teorema A.2.31 Sea H un espacio de Hilbert separable y A una aplicaci
on lineal A : H 7 H
autoadjunta (hermtica) y compacta. Entonces A tiene un n
umero finito de autovalores n reales
n
distintos o si es infinito, entonces, es numerable y si lo ordenamos de mayor a menor n 0.
a comDemostraci
on: Del teorema A.2.30 se sigue que el conjunto de autovalores no es vaco, luego est
puesto por un n
umero finito o infinito de elementos (que son n
umeros 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},
es el complemento ortogonal de x1 . Pero, para todo x H2 ,
hAx, x1 i = hx, Ax1 i = 1 hx, x1 i = 0
es decir, H2 es invariante respecto a la accion de A. Sea A|H2 la restriccion de A al espacio H2 . Si
A|H2 no es el operador nulo, entonces podremos aplicar el mismo razonamiento de antes, por lo que
existira 2 y x2 tales que |2 | = kA|H2 k, donde adem
as es obvio que |2 | |1 |. As podemos seguir
hasta que en cierto paso k A|Hk = 0 obteniendo la sucesion finita de autovalores (k )nk=1 con sus
correspondientes autovectores normalizados30 (xk )nk=1 tales que
|1 | = kA|H1 k |2 | = kA|H2 k |n | = kA|Hn k.
30
137
Si A|Hk 6= 0 para todo k N, entonces existen infinitos autovalores distintos n con sus correspondientes autovectores xn normalizados (que pueden ser m
as 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
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
2. Si la sucesi
on (n )n es infinita se puede reordenar de forma que n 0.
3. Los correspondientes espacios ker(n I A), para todo n = 1, 2, 3, . . . son de dimensi
on finita,
siendo la dimensi
on de estos el n
umero de veces que aparece un mismo k en la f
ormula (A.2.9).
Demostraci
on: Utilizando la misma construccion que usamos en la prueba del teorema A.2.31 obtenemos una sucesion de autovalores (k )nk=1 con sus correspondientes autovectores normalizados (xk )nk=1
(para cada k puede haber m
as de un autovector, en funcion de la multiplicidad del mismo) tales que
|1 | 2 | |n |.
Durante el proceso hemos construido adem
as 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}.
x
Supongamos que A|Hn+1 = 0, entonces el proceso acaba (caso finito). Sea, en este caso, yn =
P
n
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
n al ana
lisis funcional
Anexo: Breve introduccio
138
n
X
hx, xk iAxk
0 = Ayn = Ax
Ax =
n
X
k=1
k=1
k hx, xk ixk
lm Ayn = 0,
n=1
n hx, xn ixn ,
x H.
X
X
n 0 xn = 0,
n hx, xn ixn =
x = Ax =
n=1
n=1
. . . , xj y que asumiremos, sin perdida de generalidad, que ortogonal a ellos (por que?). Entonces
est
a 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
Demostraci
on: Del Teorema espectral A.2.32 se sique que existe un conjunto de autovectores (finito o
infinito) (n )n tal que
X
Ax =
n hx, n in ,
x H.
(A.2.10)
n
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
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 an
alisis 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
[5] K. Saxe. Beginning Functional Analysis. Springer, New York, 2002.h
[6] J. Tinsley Oden y L.F. Demkowicz. Applied Functional Analysis. CRC Press, 1996.m,n
[7] N. Young. An introduction to Hilbert Space. Cambridge University Press, 1988.n,h
31
Se recomienda para el tema de espacios metricos, normados y de Hilbert los libros marcados con m, n
y h, respectivamente.
141