2 Autovalores

Este captulo esta basada en el problema matematico de autovalores

y autofunciones de operadores (matrices) lineales. Es decir: dado un
operador lineal

A (una matriz), hallar soluciones al problema

A
n
= a
n

n
, (2.1)
donde el operador (la matriz)

A es conocido y los autovalores a
n
y las
autofunciones (los autovectores)
n
son las incognitas del problema.
2.1 Tercera Leccion
2.1.1 Teoremas generales
Empecemos por demostrar algunos teoremas de caracter general.
Teorema No. 1.
Los autovalores de un operador hermtico son reales.
Demostracion: sea

A un operador hermtico y sean {a
n
} y {
n
} el con-
junto de sus autovalores y autofunciones respectivamente; entonces
_
d

A
n
= a
n
_
d|
n
|
2
=
_
d(

A
n
)

n
= a

n
_
d|
n
|
2
,
donde se ha hecho uso de la ecuacion (2.1) en el primero y ultimo pasos
y se ha utilizado la propiedad de hermiticidad del operado

A en el paso
17
18 / Lecciones de Mecanica Cuantica
intermedio. La anterior relacion nos permite escribir
(a
n
a

n
)
_
d|
n
|
2
= 0.
Como
_
d|
n
|
2
= 0 (excepto para
n
= 0 que no se considera autofun-
cion de ning un operador) tenemos entonces que a
n
= a

n
, o sea que a
n
es un n umero real, QED.
Denicion No. 2.
Al conjunto de autovalores de un operador hermtico se le conoce
como su espectro, el cual puede ser discreto (n = 0, 1, 2, 3, . . . ) nito, o
innito-contable, o continuo no contable. Por convencion hemos tomado
n = 0 como el estado fundamental del espectro, el cual corresponde al
n umero mnimo del espectro.
En el resto de esta leccion trabajaremos solo con espectros discre-
tos de autovalores, nitos o innito-contables. El caso de los espectros
continuos se tratara en la proxima leccion.
Denicion No. 3.
Un autovalor es degenerado si hay dos o mas autofunciones inde-
pendientes, asociadas al mismo autovalor.
Denicion No. 4.
Un operador es degenerado si en su espectro hay por lo menos un
autovalor degenerado. Si no lo hay, decimos que el operador es no de-
generado.
Denicion No. 5.
El orden de la degeneracion de un autovalor es el n umero de fun-
ciones independientes asociadas al autovalor.
Autovalores / 19
Teorema 2.
Las autofunciones asociadas a autovalores diferentes de operadores hermti-
cos son ortogonales.
Demostracion: sea

A un operador hermtico y sean
n
y
m
dos
autofunciones asociadas a los autovalores a
n
y a
m
respectivamente, con
a
n
= a
m
. Entonces
_
d

A
n
= a
n
_
d

n
=
_
d(

A
m
)

n
= a

m
_
d

n
,
donde se ha hecho uso de la ecuacion (2.1) en el primero y ultimo paso
y se ha utilizado la propiedad de hermiticidad del operado

A en el paso
intermedio. Haciendo uso del Teorema No.1 podemos concluir de las
ecuaciones anteriores que
(a
n
a
m
)
_
d

n
= 0.
Como a
m
= a
n
, tenemos entonces que
_
d

n
= 0, que es la deni-
cion de ortogonalidad de las funciones
m
y
n
en nuestro espacio lineal
de funciones.
Corolario No. 1.
El conjunto de todas las autofunciones de un operador no degenerado
es completamente ortogonal. Lo cual es una consecuencia directa del
teorema No. 2 y del hecho que para un operador no degenerado, la
totalidad de sus autovalores son diferentes.
El Teorema No. 2 y su corolario nos permiten escribir la integral
que dene la ortogonalidad de una manera mas elegante, haciendo uso
del hecho que toda autofuncion de un operador lineal, multiplicada por
una constante arbitraria, es de nuevo autofuncion del mismo operador
asociada con el mismo autovalor. La eleccion apropiada de dicha cons-
tante nos permite escribir, para todas las autofunciones de un operadore
lineal no degenarado, la relacion:
_
d

n
=
mn
, (2.2)
20 / Lecciones de Mecanica Cuantica
para n, m = 0, 1, 2, . . . barriendo la totalidad del espectro, con
mn
= 1
para m = n y cero para m = n (la llamada delta de Kronecker). Las
autofunciones primadas, normalizadas a la unidad, estan dadas por

n
=
n
/||
n
|| con ||
n
|| (
_
d

n
)
1/2
= cte., n = 0, 1, 2, . . .
Problema 2.
Las dos autofunciones independientes de un operador lineal, asocia-
das con un autovalor doblemente degenerado, pueden cambiarsen por
otras dos autofunciones que sean ortonormales.
Sean
n
1
y
n
2
dos autofunciones independientes del operador li-
neal

A, tales que

A
n
i
= a
n

n
i
para i = 1, 2. La linealidad de

A nos
permite mostrar primero que cualquier combinacion lineal de las dos
autofunciones es igualmente autofuncion de

A asociada al autovalos a
n
;
es decir

A(a
n
1
+b
n
2
) = a

A
n
1
+b

A
n
2
= aa
n

n
1
+ba
n

n
2
= a
n
(a
n
1
+b
n
2
),
con a y b n umeros complejos arbitrarios. Utilizando esta propiedad
podemos ver que las dos nuevas autofunciones

n
1
=
n
1
/||
n
1
|| y

n
2
= a

(
n
2
b

n
1
) con b

= (
_
d

n
1

n
2
)/||
n
1
||
2
y a

la constan-
te de normalizacion de

n
2
[a

= (
_
d|
n
2
b
n
1
|
2
)
1/2
], son tales
que:
_
d

n
i

n
j
=
ij
,
lo que no es mas que el metodo de ortonormalizacion de Schmidt apli-
cado a dos funciones independientes, el cual se puede generalizar a un
n umero cualquiera de funciones independientes (no necesariamente au-
tofunciones de un operador). De esta manera queda probado el siguiente
teorema:
Teorema No. 3.
El conjunto de todas las autofunciones de un observable se puede hacer
completamente ortonormal.
Autovalores / 21
Denicion No. 6
El n umero maximo de funciones independientes en un espacio lineal,
dene la dimension del espacio.
Denicion No. 7.
Al conjunto de n funciones independientes de un espacio lineal n-
dimensional, lo llamaremos un conjunto completode funciones para
el espacio. En este caso n puede ser nito o innito contable.
Denicion No. 8.
Al conjunto de n funciones ortonormales de un espacio lineal n-
dimensional lo llamaremos una basepara dicho espacio. De nuevo n
puede ser nito o innito contable. Notese que el metodo de ortonorma-
lizacion de Schmidt nos permite obtener una base a partir de cualquier
conjunto completo de funciones.
Del algebra lineal sabemos que el conjunto de n funciones {
n
} de
una base de un espacio n-dimensional, con n un n umero nito, desa-
rrollan el espacio; es decir, cualquier funcion () del espacio se puede
escribir como
() =

n
(), (2.3)
con los coecientes de la expansion dados por

n
=
_
d

n
(

)(

). (2.4)
Un algebra mas elaborada nos permite demostrar que la misma si-
tuacion ocurre cuando la dimension del espacio n es innito-contable,
siendo posible demostrar el siguiente teorema:
Teorema No. 4.
El n umero de las autofunciones independientes de un observable es igual
a la dimension del espacio y por lo tanto pueden usarse como un con-
junto completo de funciones para dicho espacio.
22 / Lecciones de Mecanica Cuantica
Denicion No. 9.
Se dene un Espacio de Hilbert como un espacio lineal de dimension
innito-contable. Estos espacios son una generalizacion de los espacios
nito dimensionales del algebra lineal.
Reemplazando ahora (2.4) en (2.3) tenemos que
() =

n
[
_
d

n
(

)(

)]
n
() =
_
d

n
(

)
n
()](

),
la cual es una identidad solo si hacemos

n
(

)
n
() = (

), (2.5)
con el objeto matematico (

) satisfaciendo
_
d

)(

)
(), para cualquier funcion (

), la cual es una propiedad matematica

de la conocida en la literatura como funcion delta de Dirac (la que es
en realidad una distribucion; vease al respecto el apendice A).
La relacion (2.5), llamada en la literatura relacion de completezde
la base {
n
}, es la condicion necesaria y suciente para que dicho con-
junto de funciones sea una base y expanda el espacio lineal.
2.1.2 Desarrollo de la funcion de onda
Sea () la funcion de onda que describe un sistema fsico y sea

A el
operador asociado a la magnitud fsica A con {a
n
} y {
n
} sus conjuntos
de autovalores y autofunciones respectivamente (

A
n
= a
n

n
, n =
0, 1, 2, . . . ). Por el teorema No. 4 podemos escribir
() =

n
(), (2.6)
con
n
dado por la ecuacion (2.4). La normalizacion de la funcion de
onda implica entonces.
_
d||
2
=

m
_
d

m
=

n
|
n
|
2
= 1
Autovalores / 23
donde las sumatorias se extienden a todo el espectro de autofunciones
del operador hermtico.
El valor esperado de

A lo podemos escribir ahora como

=
_
d

A
_
d

=
_

m
_
d

A
m
_
/
_

n
|
n
|
2
_
=

m
a
m
_
d

m
=

n
a
n
|
n
|
2
, (2.7)
donde se ha utilizando el hecho que la funcion de onda que describe
el sistema () esta normalizada a la unidad; es decir, cumple que

n
|
n
|
2
= 1. De conformidad con el postulado P
3b
, podemos inter-
pretar |
n
|
2
como la probabilidad de hallar el autovalor a
n
al medir la
magnitud fsica asociada al operador

A en el sistema fsico descrito por
la funcion de onda ; con

n
|
n
|
2
= 1 representando la probabilidad
total. Igualmente tenemos la siguiente denicion:
Denicion No. 10.
Llamaremos al conjunto de valores (
0
,
1
,
2
, . . . ), la funcion de
onda del sistema fsico descrito por , en la representaci on de la mag-
nitud fsica A; siendo () la funcion de onda en la representacion de
las coordenadas del espacio de conguracion.
2.2 Cuarta Leccion
En esta leccion aplicaremos lo que aprendimos en la leccion anterior,
para el caso particular del operador momentum lineal en tres dimen-
siones

P, que en la representaci on en coordenadas de los operadores

cuanticos esta dado por

P = i

. Este estudio nos permitira gene-

ralizar el problema de autovalores y autofunciones al caso general de
espectros continuos (innito no contables) de operadores.
Se dene el momentum lineal

P como la magnitud fsica cuya con-
servaci on proviene de la homogeneidad del espacio, denicion valida en
mecanica cuantica al igual que en mecanica clasica.
24 / Lecciones de Mecanica Cuantica
2.2.1 Hermiticidad de

P
Empecemos por mostrar primero que

P = i

es un operador
hermtico, lo cual es una consecuencia de las propiedades matematicas
del operador diferencial

, como lo muestra el siguiente calculo:
_
d
3
r
1
(r)

P
2
(r) = i
_
d
3
r
1
(r)

2
(r)
= i
_
d
3
r

|
1
(r)
2
(r)|
+i
_
d
3
r[

(r)

](r)
= i
1
(r)
2
(r)]

+
_
d
3
r[i

1
(r)

]
2
(r)
=
_
d
3
r[i

1
(r)]

2
(r)
=
_
d
3
r[

P
1
(r)

]
2
(r),
donde
1
(r) y
2
(r) son dos funciones arbitrarias del espacio de repre-
sentacion, las cuales por condicion de frontera deben hacerse cero en el
innito.
2.2.2 Autofunciones y autovalores de

P
Resolvamos ahora el problema de autovalores y autofunciones del
operado

P; es decir, hallemos
p
(r) y p de la ecuacion

P
p
(r) = i

p
(r) = p
p
(r), (2.8)
que es una ecuacion vectorial en tres dimensiones la que en coordenadas
cartesianas podemos escribir como
i(u
x

x
+u
y

y
+u
z

z
)
p
(x, y, z) = (u
x
p
x
+u
y
p
x
+u
z
p
z
)
p
(x, y, z),
Autovalores / 25
con u
j
un vector unitaruio en la direccion j = 1, 2, 3 = x, y, z. Esta
ecuacion diferencial vectorial es equivalente a las siguientes tres ecua-
ciones escalares
i

x
j

p
(x, y, z) = p
x
j

p
(x, y, z).
Cada una de las tres ecuaciones contiene ahora una sola variable. Po-
demos entonces escribir
p
(x, y, z) =
p
x
(x)
p
y
(y)
p
z
(z), obteniendo de
esta manera las tres ecuaciones diferenciales de primer orden
i
d
dx
j

p
j
(x
j
) = p
j

p
j
(x
j
), (2.9)
las que tienen por solucion
p
j
= c
j
exp (ip
j
/) con < p
j
< .
Deniendo ahora el vector de onda o de propagacion

k = p/ =
(u
x
k
x
+ u
y
k
y
+ u
z
k
z
), podemos escribir las autofunciones del operador
momentum lineal de la forma

k
(x, y, z) = C exp i(k
x
x + k
y
y + k
z
z) = Ce
i

k.r
, (2.10)
con < k
j
< j = x, y, z tomando un continuo de valores (in-
nito no contable) y C = c
x
c
y
c
z
la constante de normalizacion que
determinaremos a continuaci on.
2.2.3 Normalizacion al continuo
Para hallar la constante de normalizacion C en este caso que tene-
mos un espectro continuo de autovalores, necesitamos denir el siguien-
te objeto matematico conocido en la literatura como la delta de Dirac
(vease el apendice A).
(x) =
_
0 : x = 0
: x = 0,
un innito tal que :
_

dx(x) = 1
(2.11)
lo cual no es propiamente una funcion ya que no esta bien denida en
todo el espacio (es en realidad una distribucion que es la generalizacion
matematica del concepto de funcion).
26 / Lecciones de Mecanica Cuantica
De conformidad al apendice (A), una representaci on adecuada de
esta distribucion se puede elegir como:
(x) =
1
2
_

dye
iyx
=
1
2
lm
g
e
iyx
ix
_
g
g
=
1
2
lm
g
e
igx
e
igx
ix
=
lm
g
sin gx
x
Esta distribucion se puede generalizar a tres dimensiones cartesianas
de la siguiente manera:

3
(rr

) =
1
(2)
3
_

d
3
ke
i

k.(rr

)
(xx

)(yy

)(z z

), (2.12)
lo que nos indica que la distribucion de Dirac no es mas que la transfor-
mada de Fourier de una constante. Utilizando (2.12) podemos escoger
C, la constante de normalizacion para las autofunciones del momentum,
como C = (
_
(2)
3
)
1
(es decir c
j
= (

2)
1
), tal que
_
d
3
r

k
(r)

(r) =
1
(2)
3
_
d
3
re
ir.(

k)
=
3
(

k), (2.13)
que constituye la normalizacion para las autofunciones

k
(r) para el ca-
so de autovalores

k tomando un continuo de valores (espectro continuo
de autovalores). De esta manera podemos pensar que la distribucion
de Dirac es la generalizacion al continuo de la funcion delta de Krone-
cker.
De la denicion de la distribucion de Dirac tenemos igualmente la
relacion
_
d
3
k

k
(r)

k
(r

) =
1
(2)
3
_
d
3
ke
i

k.(r

r)
=
3
(r

r), (2.14)
lo cual no es mas que la completez de las autofunciones del momentum
lineal, condicion necesaria y suciente para que el conjunto innito no
contable de autofunciones del momentum lineal

k
(r) sean una base
para el espacio lineal.
Autovalores / 27
Podemos entonces desarrollar cualquier funcion del espacio F(r)
utilizando el conjunto completo de autofunciones

k
(r) como
F(r) =
1
(2)
3/2
_
d
3
kF(

k)e
i

k.r
, (2.15)
donde por tener un espectro continuo de autovalores la sumatoria se
ha reemplazado por una integral y los coecientes en el desarrollo F(

k)
(que no son mas que la transformada de Fourier de la funcion F(r)),
estan dados por
F(

k) =
1
(2)
3/2
_
d
3
rF(r)e
i

k.r
=
_
d
3
r

k
(r)F(r), (2.16)
con F(r) la transformada inversa de Fourier.
El presente desarrollo nos ha mostrado que el analisis de Fourier de
la matematica, no es mas que la aplicacion de las propiedades generales
de los autovalores y las autofunciones de operadoes lineales hermticos,
para el caso particular del operador momentum lineal

P

.
162 / Lecciones de Mecanica Cuantica