Esps Hilbert Caps 1 y 2

INTRODUCCIN AL FORMALISMO DE LA
MECNICA CUNTICA
P. Garca Gonzlez, J. E. Alvarellos y J. J. Garca Sanz
ndice General
Prlogo iii
1 INTRODUCCIN GENERAL 1
2 ESPACIOS DE HILBERT 15
2.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Espacios vectoriales o lineales . . . . . . . . . . . . . . . . . . . 17
2.3 Base lineal de un espacio vectorial . . . . . . . . . . . . . . . . 21
2.4 Producto escalar . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.5 Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.6 Bases ortonormales en espacios de Hilbert . . . . . . . . . . . . 36
2.7 Operadores lineales en un espacio de Hilbert . . . . . . . . . . . 44
2.8 Operaciones con operadores lineales . . . . . . . . . . . . . . . 45
2.9 Operador adjunto. Representacin matricial . . . . . . . . . . . 53
2.10 Operadores hermticos y autoadjuntos . . . . . . . . . . . . . . 56
2.11 Operadores unitarios. Cambios de base . . . . . . . . . . . . . . 60
2.12 Proyectores ortogonales . . . . . . . . . . . . . . . . . . . . . . 64
2.13 Espectro puntual. Autovalores y autovectores . . . . . . . . . . 67
2.14 Vectores no normalizables . . . . . . . . . . . . . . . . . . . . . 76
2.14.1 Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . 83
2.14.2 La transformacin de Fourier . . . . . . . . . . . . . . . 89
2.14.3 Bases ortonormales generalizadas . . . . . . . . . . . . . 93
2.15 Espectro continuo . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.16 Descomposicin espectral . . . . . . . . . . . . . . . . . . . . . 104
2.17 Conjunto compatible de operadores . . . . . . . . . . . . . . . . 111
2.18 Formas lineales. Notacin de Dirac
()
. . . . . . . . . . . . . . 114
2.19 Isomorsmos entre espacios de Hilbert
()
. . . . . . . . . . . . . 120
2.20 Producto tensorial de espacios de Hilbert
()
. . . . . . . . . . . 121
3 POSTULADOS DE LA MECNICA CUNTICA 125
3.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
3.2 Descripcin de los sistemas fsicos. Estados y observables . . . 125
i
ii NDICE GENERAL
3.3 Probabilidad en las medidas de observables . . . . . . . . . . . 128
3.4 Reduccin del estado cuntico . . . . . . . . . . . . . . . . . . . 138
3.5 Compatibilidad. Relacin de incertidumbre generalizada . . . . 146
3.6 El espacio de los estados de una partcula con espn . . . . . . 151
3.7 Evolucin temporal de los estados cunticos . . . . . . . . . . . 158
3.8 Evolucin temporal relativa a los observables . . . . . . . . . . 165
3.9 Relacin de incertidumbre energa-tiempo . . . . . . . . . . . . 169
3.10 Observables posicin y momento . . . . . . . . . . . . . . . . . 171
3.11 Ecuaciones de Ehrenfest . . . . . . . . . . . . . . . . . . . . . . 178
3.12 El problema de la medida en Mecnica Cuntica
()
. . . . . . . 183
3.13 Introduccin a los modelos de variables ocultas
()
. . . . . . . . 187
3.14 Entrelazamiento
()
. . . . . . . . . . . . . . . . . . . . . . . . . 192
Problemas Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
4 LA FUNCIN DE ONDA. SISTEMAS SIMPLES 205
4.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
4.2 La funcin de ondas en la representacin de posiciones . . . . . 206
4.3 La funcin de ondas en la representacin de momentos . . . . . 217
4.4 Propiedades generales de las autofunciones de la energa . . . . 225
4.4.1 Propiedades de las funciones de onda . . . . . . . . . . . 225
4.4.2 Espectro de energa . . . . . . . . . . . . . . . . . . . . 227
4.5 El pozo cuadrado innito . . . . . . . . . . . . . . . . . . . . . 237
4.6 Estados ligados en pozos cuadrados nitos . . . . . . . . . . . . 244
4.7 El oscilador armnico . . . . . . . . . . . . . . . . . . . . . . . 251
4.7.1 Mtodo de operadores . . . . . . . . . . . . . . . . . . . 257
4.8 Reexin y transmisin por un escaln . . . . . . . . . . . . . . 263
4.9 Reexin y transmisin por una barrera . . . . . . . . . . . . . 267
4.10 Sistemas separables . . . . . . . . . . . . . . . . . . . . . . . . . 271
Problemas Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
ndice de smbolos y glosario 319
Bibliografa 327
Prlogo
Este libro expone el formalismo de la Mecnica Cuntica al nivel que se exige
en el tercer curso de Ciencias Fsicas de la UNED. Aunque, como es obvio, este
texto ser de gran utilidad para aquellos alumnos que siguen sus estudios en
dicha Universidad, esperamos que sea tambin de ayuda a los estudiantes de
otros centros que cursen una Mecnica Cuntica a un nivel parecido.
En la UNED, el curso se articula en dos cuatrimestres, en cada uno de los
cuales se estudia bsicamente un libro de texto. En concreto:
- En el primer cuatrimestre de la asignatura se sigue el texto Fsica Cunti-
ca de E. Wichman, volumen 4 del Curso de Fsica de Berkeley (publicado
en espaol por la editorial Revert), en el cual se introduce de manera
brillante la necesidad de una nueva formulacin de la mecnica para el
estudio de los objetos microscpicos.
- En el segundo cuatrimestre se estudia el formalismo cuntico propiamente
dicho. Es ste el objeto del presente libro.
1
As, en la primera parte del curso, el alumno se familiariza con aquellos
conceptos claves del formalismo cuntico, como pueden ser la funcin de ondas,
los niveles de energa o la interpretacin probabilstica. Sin embargo, el rigor
matemtico es el mnimo imprescindible. Una vez que el alumno conoce el
mundo cuntico, es cuando se le exponen los principios de la Mecnica Cuntica
desde una perspectiva formal, aunque adecuada a los conocimientos de un
estudiante de tercer curso (o de segundo curso dentro de un programa de cuatro
aos) de una licenciatura de Ciencias Fsicas.
No podemos olvidar que la Mecnica Cuntica es, para la mayora de los
fsicos, una herramienta necesaria para profundizar en otras disciplinas, como
la Fsica Atmica y Molecular o la Fsica del Estado Slido. Por esa razn,
hemos preferido hacer hincapi en los aspectos metodolgicos generales ms
1
El libro Introduccin a la Mecnica Cuntica de Gillespie (publicado en castellano en
su da por la editorial Revert, pero actualmente descatalogado) tiene un temario tambin
adecuado para esa parte del curso.
iii
iv Prlogo
que en las aplicaciones concretas, puesto que stas sern el objetivo de cursos
posteriores.
Acorde con estas ideas, el libro est estructurado en cuatro captulos:
- Un pequeo captulo introductorio, que repasa someramente la necesidad
de un nuevo formalismo para la descripcin del mundo subatmico, cuya
fenomenologa ya debe ser conocida por el lector.
- Un amplio resumen de la teora de espacios de Hilbert, con la que el
Alumno ya est familiarizado tras el estudio previo de la asignatura de
Anlisis Matemtico II de la licenciatura en CC. Fsicas de la UNED (o
de otras asignaturas equivalentes en otras universidades). El material que
aqu se presenta pretende establecer una notacin matemtica consistente
para su uso en el texto. Adems, este captulo permitir que nos podamos
concentrar en los aspectos conceptuales del formalismo cuntico, sin tener
que introducir digresiones tcnicas que dicultaran la comprensin del
mismo.
- En el tercer captulo se estudia el formalismo de la Mecnica Cuntica
propiamente dicho. Aunque el texto sigue un enfoque postulacional, simi-
lar al que aparece en el ya citado libro de Gillespie, nuestra presentacin
considera desde el principio la posible degeneracin de los valores espec-
trales de un observable y tambin la eventual aparicin de una parte
continua del espectro. Por otra parte, la formulacin de los postulados
de la Mecnica Cuntica que aqu presentaremos ser lo ms general posi-
ble. As, no especicaremos una representacin concreta de los estados
cunticos, centrndonos en los aspectos conceptuales fundamentales.
- El cuarto y ltimo captulo es continuacin natural del anterior. En l
dedicamos apartados especiales a las representaciones de posiciones y mo-
mentos para una partcula no relativista que se mueve en una dimensin.
A su vez, aplicaremos la teora general a varios sistemas simples, gracias
a los cuales profundizaremos en los conceptos tericos expuestos en el
tercer captulo.
Adems de numerosos ejemplos intercalados a lo largo del texto, al nal de
los captulos 3 y 4 el lector encontrar una coleccin de problemas resueltos
en detalle. El alumno debe notar que no todos los problemas son una mera
aplicacin de lo desarrollado a lo largo de la obra, puesto que en muchos casos
los problemas suponen en s mismos la presentacin motivada de nuevas ideas.
De hecho, algunos problemas constituyen, por s solos, una presentacin de
aspectos de la teora cuntica, que en otros textos podran encontrase en los
apartados tericos. Por eso insistimos en que el lector trabaje especialmente
los problemas y ejemplos resueltos de este libro.
Prlogo v
Igualmente, hemos incluido ejercicios propuestos a lo largo del texto (ex-
cepto en el primer captulo). Estos ejercicios, de dicultad baja o intermedia,
deberan ser resueltos sin excesivo esfuerzo por parte del lector si ha sido capaz
de entender y asimilar las ideas principales que queremos transmitir.
Los apartados, ejemplos y problemas marcados con un asterisco puede omi-
tirse en un primer estudio del texto, aunque contienen informacin interesante
sobre algunos puntos importantes del formalismo. Tambin queremos men-
cionar que el captulo 2 no es completamente imprescindible para la compren-
sin de la teora cuntica tal y como aqu se expone. Como hemos comentado,
los conocimientos matemticos que suponemos al lector son los correspondien-
tes a los dos primeros aos de una licenciatura en Ciencias Fsicas. Ahora bien,
este captulo puede servir de referencia si el lector encuentra dicultades a la
hora de entender la herramienta matemtica que se utiliza habitualmente en la
teora cuntica a este nivel, pero tambin al nivel exigible en un curso ms es-
pecialidado de segundo ciclo. Por tanto, si el lector cree que sus conocimientos
sobre lgebra de espacios lineales de dimensin innita o sobre anlisis funcional
no es el adecuado, le recomendamos una lectura detallada de este segundo cap-
tulo. Bien es cierto que este captulo tambin sirve para entender el porqu del
lenguaje empleado en el formalismo cuntico, debido a la notable correspon-
dencia que hay en este caso entre la abstraccin matemtica y la informacin
fsica. En denitiva, con la inclusin de este complemento matemtico relati-
vamente amplio hemos querido facilitar la comprensin de la teora cuntica,
no entorpecerla. Por tanto, no es nuestro deseo que el alumno dedique una
parte sustancial de su tiempo a asimilar una cantidad excesiva de informacin,
que rara vez va realmente a necesitar. No est de ms el recordar que, para un
fsico, las matemticas son una herramienta que cumple su labor en tanto en
cuanto proporciona el lenguaje requerido para describir con precisin la reali-
dad fsica. Por ello no hemos incluido aspectos tan interesantes como la teora
de la medida de Borel, espacios de distribuciones o un tratamiento exhaustivo
de las tcnicas de resolucin de ecuaciones diferenciales. Todos ellos deben de
formar parte del bagaje intelectual de cualquier licenciado en Ciencias Fsicas,
pero su ubicacin natural est en otras asignaturas especcas. Por igual mo-
tivo hemos relajado bastante el rigor en la exposicin. As, el lector observar
que hemos omitido muchos detalles formales y que algunas armaciones no son
enteramente rigurosas. En otras palabras, la exposicin que hacemos sobre la
teora de espacios de Hilbert en ningn modo debe considerarse como un susti-
tuto de monografas dedicadas al respecto, sino como una ayuda que sirva al
lector a cubrir la distancia que hay entre el planteamiento matemtico formal
y su aplicacin a la Fsica.
En esta segunda edicin hemos hecho varios cambios con respecto a la
primera edicin de esta obra. Adems de corregir y reescribir aquellas secciones
que podan resultar confusas o poco detalladas, hemos realizado modicaciones
vi Prlogo
sustanciales que afectan a la estructura general del texto. En primer lugar, el
captulo dedicado a la teora de espacios de Hilbert ha sido rehecho por com-
pleto. Algunos aspectos formales han sido eliminados y, por el contrario, otros
que no haban sido comentados sucientemente en la primera edicin se abor-
dan ahora con ms profundidad. Se ha ampliado la descripcin del espectro
continuo de operadores autoadjuntos y la mayora de los problemas resueltos
que antes aparecan al nal del captulo se han situado ahora intercalados co-
mo ejemplos a lo largo del mismo. La exposicin de los fundamentos de la
teora cuntica se mantiene como tercer captulo, pero en esta nueva edicin
aparece un captulo dedicado especcamente al estudio de sistemas simples.
Estas aplicaciones del formalismo se abordaban en la primera edicin mediante
un enfoque constructivo a travs de la resolucin detallada de problemas.
A su vez, se presta ms atencin al ejemplo paradigmtico de los estados de
espn 1/2 y a la resolucin de sistemas en varias dimensiones, aunque separa-
bles en sistemas simples unidimensionales. Aun as, seguimos omitiendo cons-
cientemente un tratamiento completo del momento angular, de la resolucin
de problemas tridimensionales con simetra esfrica y de los rudimentos de la
mecnica estadstica cuntica (tpicos habituales en muchos cursos introduc-
torios a la Mecnica Cuntica). Creemos que dichos temas deben abordarse
detalladamente en cursos especializados de segundo ciclo.
No queremos cerrar esta presentacin sin agradecer a todas aquellas per-
sonas que nos han hecho llegar sus comentarios y sugerencias y, sobre todo, a
nuestros compaeros del Departamento de Fsica Fundamental, especialmente
a los Dres. Elka Koroutcheva, David Garca Aldea y Miguel ngel de la Casa,
que nos han ayudado a intentar corregir los errores y las erratas, que son casi
imposibles de evitar en cualquier texto.
Captulo 2
ESPACIOS DE HILBERT
2.1 Introduccin
La teora de espacios de Hilbert no es slo la principal herramienta matemti-
ca de la Mecnica Cuntica, sino que ocupa un lugar cada vez mayor en
cualquier rama de la Fsica terica. En este captulo presentaremos un am-
plio resumen de la misma que, adems de establecer una notacin matemtica
consistente, sirva para una mejor comprensin del formalismo de la Mecni-
ca Cuntica. Muchas de las ideas aqu expuestas ya deberan ser conocidas,
puesto que han sido el contenido de la asignatura de Anlisis Matemtico II
de la licenciatura en CC. Fsicas de la UNED
1
(u otra equivalente en otros
centros). Sin embargo, el alumno encontrar algunas diferencias, tanto en el
enfoque como en la terminologa, con respecto a dicha asignatura. Una bue-
na referencia para profundizar en la teora de estos espacios es el libro de L.
Abellanas y A. Galindo Espacios de Hilbert (Eudema Universidad).
Esencialmente, los espacios de Hilbert son espacios vectoriales en los que
se ha denido un producto escalar y en los que, en caso de tener dimensin
innita, sus propiedades topolgicas garantizan la extensin del concepto de
combinacin lineal nita a un nmero innito de sumandos. Por ello, la parte
ms delicada de su formulacin, y a la que dedicaremos mayor atencin, est en
la generalizacin de los resultados tpicos del lgebra Lineal para espacios de
dimensin nita a otros conjuntos, como los espacios de funciones, de dimensin
innita.
En todo caso, el lector no debe preocuparse excesivamente por las su-
tilezas propias de una formulacin matemtica estricta. stas no son necesa-
rias para entender los principios bsicos de la teora cuntica, que es el obje-
1
Vase, por ejemplo, el libro de Lins Escard Anlisis Matemtico II, publicado por la
UNED en la coleccin de Unidades Didcticas.
15
16 ESPACIOS DE HILBERT
tivo de este texto. Por ello, aun a nuestro pesar, no seremos completamente
rigurosos. Tampoco discutiremos temas, como el concepto de medida de Borel,
esenciales para una formulacin consistente de la teora. Por ltimo, omitire-
mos las demostraciones o las sustituiremos por meras justicaciones, a no ser
que stas ilustren resultados importantes, usen tcnicas de aplicacin habitual
en Mecnica Cuntica, o sirvan para profundizar en algunos conceptos.
Como comentamos en el Prlogo, a lo largo del captulo hay intercalados un
nmero bastante amplio de cuestiones y problemas, bien resueltos en detalle
(ejemplos) o bien propuestos al lector (ejercicios). Los ejemplos aclaran
la teora, pero tambin la complementan. As, no es en absoluto conveniente
su omisin incluso en una primera lectura.
Muchos de los ejemplos que aparecen en este captulo estn directamente
relacionados con la Mecnica Cuntica. Sin embargo, para facilitar la asimi-
lacin por parte del lector de las herramientas matemticas, estos ejemplos se
presentarn en un sistema de unidades en el que las constantes fsicas relevantes
sean igual a uno.
2
Evidentemente, como se corresponde a un texto introducto-
rio, en el prximo captulo recuperaremos el sistema usual de unidades.
Para terminar esta introduccin, es pertinente anticipar algunos detalles
referidos a la notacin que vamos a utilizar. En las sumas nitas se indicarn
expresamente los valores que toma el ndice del sumatorio:
P
N
i=1
. Procede-
remos de igual modo para sumas innitas:
P
4
i=1
. Ahora bien, en aquellos
resultados vlidos indistintamente para sumas nitas e innitas omitiremos los
lmites del sumatorio, usando simplemente
P
i
. Seguiremos el mismo conve-
nio a la hora de denotar conjuntos nitos e innitos. As, simbolizaremos un
conjunto nito de objetos a
1
, a
2
, ..., a
N
por a
i
N
i=1
; un conjunto innito
numerable a
1
, a
2
, ..., mediante a
i
4
i=1
; y si es irrelevante que el conjunto sea
nito o innito usaremos simplemente a
i
.
En algunos casos tendremos que nombrar conjuntos continuos, es decir, con-
juntos no numerables de cardinal innito. Cada elemento del conjunto quedar
entonces caracterizado por un parmetro ` perteneciente a un subintervalo D
de la recta real R y, as, a estos conjuntos los nombraremos mediante a
5D
.
Por ejemplo sin/a
k5[0,]
representa el conjunto formado por todas las fun-
ciones sin/a con nmero de onda / dentro del intervalo [0, ].
Por ltimo, el lector sabe que a los elementos de un espacio lineal se les
denomina vectores, por lo que la notacin se reservar para los elementos de un
espacio lineal. Cuando sea necesario notar un vector del espacio eucldeo :-
dimensional E
n
(por ejemplo el vector de posicin de una partcula) o enfatizar
el carcter vectorial de una magnitud fsica usaremos letras en negrita (as, para
una partcula que se mueve en tres dimensiones usaremos x o r para indicar su
vector de posicin y p para expresar su momento lineal).
2
Siempre, claro est, que no se llegue a una inconsistencia dimensional.
2.2 Espacios vectoriales o lineales 17
2.2 Espacios vectoriales o lineales
Empecemos recordando la denicin de espacio vectorial o lineal:
DEFINICIN: Un espacio vectorial o lineal complejo
3
| es un con-
junto de elementos, llamados vectores, dotado de dos leyes de composicin:
1. Una ley de composicin interna (suma de vectores) que denotaremos
por el smbolo +, que asocia unvocamente a cada par de elementos
n, | un elemento n + |. Esta ley debe satisfacer, para todo
n, , n |, las propiedades siguientes:
(a) Asociativa: n + ( + n) = (n +) + n.
(b) Conmutativa: n + = +n.
(c) Existencia de un elemento nulo, denotado por

0, tal que +
0 = .
(d) Existencia, para cada |, de un elemento opuesto, denotado por
, tal que +
0.
2. Una ley de composicin externa (multiplicacin por un escalar com-
plejo), que asocia a cada par |, ` C un vector ` |.
4
Esta ley
debe satisfacer, para todo n, | y c, a C, las propiedades siguientes:
(a) Distributiva respecto a elementos de |: c(n +) = cn + c.
(b) Distributiva respecto a elementos de C: (c + a) = c + a.
(c) c(a ) = (ca) .
(d) 1 = ( 1 es el elemento unidad de C).
(e) 0 =
0 ( 0 es el elemento nulo de C).

DEFINICIN: Un subconjunto | es un subespacio lineal de | si
es cerrado respecto a las dos leyes de composicin; es decir, para cualquier par
n, , y c, a C, se tiene cn + a . Como consecuencia, es un
espacio lineal en s mismo.
5
Los tres ejemplos siguiente nos servirn para conocer los espacios lineales
ms habituales en Mecnica Cuntica.
3
O espacio vectorial sobre el cuerpo de los nmeros complejos.
4
En una denicin ms general de espacio vectorial, el cuerpo usado en la ley de com-
posicin externa no tiene por qu ser el de los nmeros complejos C. As, si sustituysemos
C por el cuerpo de los nmeros reales R, tendramos un espacio vectorial real. Supondremos
siempre (como hemos hecho en la denicin) que los espacios lineales a los que nos referimos
en este texto son complejos.
5
Ntese que la condicin es equivalente a ~u +~v M W y k~v M W.
Ejemplo 2.1. Consideremos el conjunto C
N
formado por todas las
-tuplas (conjuntos ordenados de elementos) a = (a
1
, a
2
, ..., a
N
) =
a
i
N
i=1
con a
i
C. Es sencillo demostrar (intntese) que C
N
es un
espacio vectorial si denimos la suma y el producto por un escalar
complejo c en la forma usual:
a +
/ = (a
1
+ /
1
, a
2
+ /
2
, ..., a
N
+ /
N
)
ca = (ca
1
, ca
2
, ..., ca
N
)
Demuestre que el subconjunto de C
N
formado por los vectores de la
forma c = (c
1
, c
2
, 0, 0, ..., 0) es un subespacio vectorial.
6
Solucin:
Basta aplicar la denicin. Sean c = (c
1
, c
2
, 0, ..., 0) y

d = (d
1
, d
2
, 0, ..., 0) dos
vectores de este subconjunto y c, a dos complejos cualesquiera. As:
cc + a
d = (cc
1
+ ad
1
, cc
2
+ ad
2
, 0, 0, ..., 0)
que es un vector del subconjunto en cuestin.
Ejemplo 2.2. Consideremos el conjunto /
2
(R
n
) formado por todas las
funciones complejas c(a
1
, a
2
, ..., a
n
) de : variables reales que cumplen
Z
R
n
[c (x)[
2
d
n
x <
(es decir, son de cuadrado integrable), donde hemos usado la no-
tacin x = (a
1
, a
2
, ..., a
n
) = x y d
n
x = da
1
da
2
...da
n
. En dicho conjunto
se dene la suma de funciones y el producto por un escalar complejo
c en la forma habitual:
(c + j) (x) = c (x) + j (x)
(cj) (x) = cj (x) .
a) Demuestre que dadas dos funciones de /
2
(R
n
), c (x) y j (x), se
verica la llamada desigualdad de Schwarz
Z
R
n
c
(x) j (x) d
n
x
_
s
Z
R
n
[c(x)[
2
d
n
x
Z
R
n
[j (x)[
2
d
n
x,
b) Como consecuencia, demuestre que /
2
(R
n
) es un espacio lineal.
7
6
Es habitual escribir la N-tupla en columna (no en la, como en este ejemplo).
7
Ntese que hemos escrito (x) (y no
~
) primero para evitar la (improbable) confusin con
una funcin vectorial y, en segundo lugar, para enfatizar que este espacio lineal est formado
por funciones. Por este segundo motivo, muchas veces usaremos los trminos espacios
funcionales o espacios de funciones.
2.2 Espacios vectoriales o lineales 19
Solucin:
a) Denamos la funcin accesoria c(x) = c (x) + `j (x), donde
` =
Z
R
n
j
(x) c(x) d
n
x
Z
R
n
[j (x)[
2
d
n
x
.
Entonces
Z
R
n
[c(x)[
2
d
n
x =
Z
R
n
[c(x)[
2
d
n
x +[`[
2
Z
R
n
[j (x)[
2
d
n
x
+`
Z
R
n
c
(x) j (x) d
n
x + `
Z
R
n
j
(x) c(x) d
n
x
=
Z
R
n
[c(x)[
2
d
n
x
R
R
n
j
(x) c (x) d
n
x
2
R
R
n
[j (x)[
2
d
n
x
.
Esta cantidad es mayor o igual que cero, ya que es la integral de una funcin
estrictamente positiva. Por tanto:
Z
R
n
j
(x) c (x) d
n
x
_
s
Z
R
n
[j (x)[
2
d
n
x
Z
R
n
[c(x)[
2
d
n
x,
que es el resultado deseado.
b) Las propiedades de la suma y el producto por un escalar se satisfacen tri-
vialmente porque se reducen a propiedades equivalentes en nmeros complejos.
As, basta probar que la suma de dos funciones de /
2
(R
n
) y el producto de
una funcin de /
2
(R
n
) por un escalar complejo es siempre es una funcin de
/
2
(R
n
). Esto es inmediato para el producto por un escalar, por lo que nos
centraremos en la suma. As, sean j (x) y c (x) dos funciones de cuadrado
integrable. Entonces
Z
R
n
[j (x) + c (x)[
2
d
n
x
=
Z
R
n
[j (x)[
2
+[c (x)[
2
+ j
(x) c(x) + c
(x) j (x)
d
n
x
=
Z
R
n
[j (x)[
2
d
n
x +
Z
R
n
[c(x)[
2
d
n
x + 2 Re
Z
R
n
j
(x) c (x) d
n
x
.
Ahora bien, la parte real de un nmero complejo es menor o igual que su
mdulo. De esta forma
Z
R
n
[j (x) + c (x)[
2
d
n
x _
Z
R
n
[j (x)[
2
d
n
x +
Z
R
n
[c(x)[
2
d
n
x
+ 2
Z
R
n
j
(x) c(x) d
n
x
,
y usando el resultado anterior
Z
R
n
[j (x) + c (x)[
2
d
n
x _
Z
R
n
[j (x)[
2
d
n
x +
Z
R
n
[c (x)[
2
d
n
x
+2
s
Z
R
n
[j (x)[
2
d
n
x
Z
R
n
[c (x)[
2
d
n
x,
que es un nmero nito porque c (x) y j (x) son funciones de cuadrado inte-
grable.
Ejemplo 2.3. Sea el conjunto C
4
2
formado por los conjuntos orde-
nados de cardinal innito de escalares complejos
8
a = (a
1
, a
2
, a
3
, ...) =
(a
i
)
4
i=1
, tales que
P
4
j=1
[a
j
[
2
< .
9
Deniendo la suma y el producto
por un escalar complejo en la forma
a +
/ = (a
1
+ /
1
, a
2
+ /
2
, a
3
+ /
3
, ...)
ca = (ca
1
, ca
2
, ca
3
, ...)
demuestre que C
4
2
es un espacio vectorial.
Solucin:
Las propiedades de la suma de vectores y el producto por un escalar complejo
se cumplen como consecuencia directa de las de la suma y multiplicacin de
nmeros complejos. As, nos limitamos a demostrar que para todo a,
/ C
4
2
y
para todo ` C, los elementos a +
/ y à pertenecen a C
4
2
. En primer lugar
se puede probar el resultado accesorio
4
X
n=1
a
n
/
n
_
v
u
u
t
4
X
n=1
[a
n
[
2
4
X
m=1
[/
m
[
2
siguiendo el procedimiento del ejemplo anterior. De esta forma, [
P
4
n=1
a
n
/
n
[
8
Evidentemente los elementos de C
"
2
est formado por sucesiones convergentes (no todas)
de nmeros complejos. Sin embargo, como ver inmediatamente, no usamos este trmino al
denir los elementos de C
"
2
para evitar confusiones.
9
Recuerde que una suma innita debe entenderse como un lmite:
"
X
j=1
l
j
= lim
n<"
n
X
j=1
l
j
.
O, equivalentemente, como el lmite de una sucesin cuyo trmino general es
Z
n
=
n
X
j=1
l
j
.
2.3 Base lineal de un espacio vectorial 21
es nito para todos los vectores de C
4
2
. A continuacin evaluamos
4
X
n=1
[a
n
+ /
n
[
2
=
4
X
n=1
[a
n
[
2
+[/
n
[
2
+ 2 Re
4
X
n=1
a
n
/
n
_
4
X
n=1
[a
n
[
2
+[/
n
[
2
+ 2
4
X
n=1
a
n
/
,
y, haciendo uso del resultado accesorio ya mencionado,
4
X
n=1
[a
n
+ /
n
[
2
_
4
X
n=1
[a
n
[
2
+
4
X
n=1
[/
n
[
2
+ 2
v
u
u
t
4
X
n=1
[a
n
[
2
4
X
m=1
[/
m
[
2
,
que es nito: a +
/ C
4
2
. Por ltimo,
4
X
n=1
[à
n
[
2
= [`[
2
4
X
n=1
[a
n
[
2
tambin es nito, por lo que à C
4
2
. Queda as demostrada la armacin.
Ejercicio 2.1. Demostrar que la interseccin de dos subespacios lineales es tambin
un subespacio lineal. (Ntese que dos subespacios lineales no pueden ser disjuntos
puesto que el vector

0 forma parte de todo subespacio vectorial. A su vez, {
0} es un
subespacio lineal en s mismo).
2.3 Base lineal de un espacio vectorial
En esta seccin deniremos los importantes conceptos de base lineal y di-
mensin de un espacio vectorial |, lo que nos permitir distinguir entre espacios
lineales de dimensin nita e innita.
DEFINICIONES: Sea | un espacio lineal. Una combinacin lineal es
toda suma nita de elementos de |, cada uno de ellos multiplicado por un
escalar complejo:
N
X
i=1
c
i
i
con c
i
C y
i
| .
Un subconjunto nito /, formado por elementos no nulos de |, es lineal-
mente independiente si la nica combinacin lineal de elementos de / igual
al vector nulo es aquella en la que todos los coecientes escalares son iguales a
cero, es decir:
N
X
i=1
c
i
i
=
0 con
i
/ = c
i
= 0.
Ntese cmo el concepto de combinacin lineal est siempre restringido a
un nmero nito de trminos en la suma.
Un subconjunto innito /, formado por elementos no nulos de |, es li-
nealmente independiente si todo subconjunto nito de / es linealmente
independiente.
Sea un subconjunto cualquiera (nito o no) del espacio |. Llamamos
lin() a la envolvente lineal de , denida como el conjunto formado
por todos los elementos de | obtenidos mediante una combinacin lineal de
elementos de .
Un conjunto B de vectores linealmente independientes de un espacio
lineal | se denomina base lineal (o de Hamel) si su envolvente lineal, lin(B),
es todo el espacio |.
Un espacio vectorial | tiene dimensin nita si existe una base lineal
formada por un nmero nito de elementos. Puede demostrarse que, en este
caso, todas las bases lineales tienen igual nmero de vectores. A este cardinal
se le denomina dimensin del espacio vectorial |, dim(|),
Algunas propiedades para espacios vectoriales | de dimensin nita, que
enunciaremos sin demostracin, son las siguientes:
1. Un conjunto linealmente independiente no puede tener un nmero de
vectores mayor que dim(|).
2. Si el cardinal de un conjunto linealmente independiente es igual a dim(|),
dicho conjunto es una base lineal de |.
3. Si la envolvente lineal de un conjunto es igual a todo el espacio vectorial
|, el nmero de vectores de es mayor o igual que dim(|). En el caso
de que el nmero de vectores de este conjunto sea igual a la dimensin
del espacio, ser tambin linealmente independiente y, por tanto base
lineal.
Como consecuencia de las anteriores propiedades, una base lineal puede
entenderse como un conjunto mximo de vectores linealmente independientes
o, alternativamente, como un conjunto mnimo cuya envolvente lineal sea igual
todo el espacio vectorial. Adems, ya tiene sentido la siguiente denicin:
DEFINICIN: Un espacio vectorial | tiene dimensin innita si existen
conjuntos linealmente independientes con cardinal arbitrariamente grande.
2.4 Producto escalar 23
Ejemplo 2.4. Sea el espacio vectorial C
3
. Demostrar que el conjunto
10
B = c
1
, c
2
, c
3
=
;
?
=
3
C
1
0
0
4
D
,
3
C
0
1
0
4
D
,
3
C
0
0
1
4
D
<
@
>
es una base lineal de C
3
.
Solucin:
El problema es trivial. En primer lugar es evidente que los tres vectores c
j
3
j=1
son linealmente independientes. A su vez, un vector cualquiera
n =
3
C
n
1
n
2
n
3
4
D
se puede escribir como combinacin lineal de los elementos de 1 en la forma
n =
3
X
j=1
n
j
c
j
.
As, el espacio lineal C
3
tiene dimensin 3.
Ejemplo 2.5. Demostrar que el espacio de funciones /
2
(R), forma-
do por todas las funciones complejas c (a) de una variable real de
cuadrado integrable, tiene dimensin innita.
Solucin:
Basta comprobar que existe un conjunto arbitrariamente grande de funciones
linealmente independientes, como por ejemplo el formado por las funciones
c
n
(a) = a
n
exp
a
2
con : = 1, 2, 3, ....
Ejercicio 2.2. Demuestre que C
4
2
es un espacio lineal de dimensin innita.
2.4 Producto escalar
Empecemos con unas deniciones fundamentales, aplicables tanto a espacios
lineales de dimensin nita como de dimensin innita.
DEFINICIN: Un producto escalar (o producto interno) en un espacio
lineal complejo | es una aplicacin | | C, que asocia a cada par
n, | un escalar complejo, que designaremos por (n, ), de modo que se
satisfacen las siguientes condiciones para todo n, , n |:
10
En este caso (y en general para C
N
si N es pequeo) s seguimos el convenio habitual
de escribir la N-tuplas en columna.
1. ( n, (n +)) = ( n, n) + ( n, ).
2. (n, c) = c(n, ) para todo c C.
3. (n, ) = (, n)
(por tanto, (, ) R).

4. (, ) _ 0, y (, ) = 0 si y slo si =
0.
Se dice entonces que al espacio lineal se le ha dotado de un producto escalar o
que es un espacio pre-Hilbert.
A partir de estas propiedades, se deducen fcilmente las siguientes:
5. (cn, n) = c
(n, n) para todo c C .

6. Dado un vector n, si (n, ) = 0 \ | , entonces n = 0.
7. Dados dos vectores n y , si (n, n) = (, n) \ n |, entonces n = .
8. Dado n |, se cumple que
3
C
n,
N
X
j=1
c
j
n
j
4
D
=
N
X
j=1
c
j
( n, n
j
)
para cualquier conjunto n
j
N
j=1
| y c
j
N
j=1
C. Esto es, la linealidad
del producto escalar (propiedades 1 y 2) se extiende a cualquier combinacin
lineal.
Implcitamente, el producto escalar de dos vectores cualesquiera de | ha de
tener mdulo nito. En consecuencia, una denicin de un producto escalar
tal que existan vectores n para los que (n, n) sea innito no es admisible.
DEFINICIN: Un par de vectores n, | son ortogonales (y escribiremos
l n) si (n, ) = 0.
DEFINICIN: Un subconjunto | es un conjunto ortogonal si todos
sus elementos son ortogonales dos a dos.
TEOREMA: Todo conjunto ortogonal | es linealmente independiente.
Evidentemente la recproca no siempre es cierta. Intente demostrar este
importante teorema. Para ello pruebe la contrarrecproca, esto es, demuestre
que todo conjunto que no sea linealmente independiente no puede ser ortogonal.
DEFINICIN: Dos subconjuntos
1
,
2
| son ortogonales (
1
l
2
)
si cualquier vector de
1
es ortogonal a cualquier vector de
2
(es decir, si
para todo par
1

1
,
2

2
, se cumple que (
1
,
2
) = 0). A su vez,
dado el subconjunto |, un vector | es ortogonal a , escribindose
l , si es ortogonal a todos los vectores de (esto es, si l n para
todo n ).
DEFINICIN: Dado un subconjunto |, se denomina complemento
ortogonal al conjunto, simbolizado por
B
, formado por todos los vectores que
son ortogonales a .
Ejemplo 2.6. Demuestre que el complemento ortogonal de un sub-
conjunto es un subespacio vectorial.
Solucin:
Basta aplicar la denicin de subespacio vectorial y demostrar que si n y
pertenecen a
B
entonces cn + a
B
siendo c, a dos complejos cua-
lesquiera. Esto es inmediato, ya que para cualquier n :
(cn + a, n) = c
(n, n) + a
(, n) = 0 = cn + a
B
donde hemos usado que n,
B
.
A partir del producto escalar se puede denir la longitud o norma
11
de un
vector y tambin la distancia entre dos vectores (como haremos a continua-
cin). En rigor, es posible hacer estas deniciones sin recurrir a un producto
escalar. Sin embargo, nos ceiremos a la construccin mencionada puesto que
ser lo habitual en Mecnica Cuntica. As:
DEFINICIONES: Sea | un espacio pre-Hilbert. Denimos la norma |n|
de un vector n | como el nmero real
|n| =
p
(n, n) .
Dados dos vectores n, |, la distancia entre los mismos es la norma de la
diferencia:
dist n, = |n | .
Un vector n se dice normalizado si su norma es igual a la unidad: |n| = 1.
As, todos los vectores del espacio pre-Hilbert son normalizables, ya que
basta dividirlos por su norma para obtener un vector normalizado. Por ltimo
un subconjunto n
n
|, con un nmero nito o innito de elementos, es un
conjunto ortonormal si es ortogonal y est formado por vectores normaliza-
dos, esto es, para todos los pares i, se cumple que (n
i
, n
j
) = c
ij
, siendo c
ij
la delta de Kronecker.
La norma as denida cumple las cuatro propiedades bsicas siguientes (pru-
belas como ejercicio). Para todo n, | y para todo escalar c C:
1. |n| _ 0.
2. |n| = 0 =n = 0. Por tanto n = = |n | = 0
3. |cn| = [c[ |n|.
4. |n +| _ |n| +|| (desigualdad triangular).
Ejemplo 2.7. Demostrar la desigualdad de Schwarz: [(n, )[ _ |n| ||.
Solucin:
11
Aunque el trmino mdulo slo debe aplicarse a nmeros complejos, es muy habitual
usar norma y mdulo como sinnimos.
El lector observar que ya hemos introducido dicha desigualdad, aunque res-
tringida a espacios de funciones, en el ejemplo 2.2. Aqu demostraremos que
es un resultado general aplicable a todos los espacios pre-Hilbert. Para su de-
mostracin seguimos un procedimiento completamente similar al del ejercicio
mencionado.
Supongamos primero que ,=

0. As, construyamos el vector n = n + `,
donde ` = (n, )
(, ). Entonces
( n, n) = (n + `, n + `)
= (n, n) + `(n, ) + `
(n, )
+ ``
(, )
= (n, n)
(n, ) (n, )
(, )
.
Como, por denicin, ( n, n) _ 0 tenemos
(n, n) (, ) _ (n, ) (n, )
=|n|
2
||
2
_ [(n, )[
2
,
que es esencialmente la expresin que queramos demostrar.
Si es igual a
0, la desigualdad de Schwarz se reduce a la igualdad trivial 0 = 0.

Ejemplo 2.8. Demostrar que la norma denida a partir de un pro-
ducto escalar cumple
a) [|n| ||[ _ |n +| _ |n| +|| .
b) [|n| ||[ _ |n | _ |n| +|| .
Solucin:
a) Por denicin
|n +| =
p
(n +, n +) =
p
(n, n) + (, ) + (n, ) + (, n)
=
q
|n|
2
+||
2
+ 2 Re (n, ) .
Ahora bien, [Re (n, )[ _ [(n, )[, lo que implica que [(n, )[ _ Re (n, ) _
+[(n, )[. Usando ahora la desigualdad de Schwarz [(n, )[ _ |n| ||, tenemos
que
|n| || _ Re (n, ) _ +|n| || .
As llegamos fcilmente al resultado deseado:
|n +| _
q
|n|
2
+||
2
+ 2 |n| || = |n| +|| ,
|n +| _
q
|n|
2
+||
2
2 |n| || = [ |n| || [ .
b) La demostracin es idntica. Basta sustituir por .
A partir de ahora consideraremos que en un espacio pre-Hilbert | se ha
denido tambin la norma asociada a su producto escalar. Diremos entonces
que | es espacio normado. Igualmente, la denicin de la distancia asociada
a la norma se da por supuesta, y entonces diremos que | es tambin un espacio
mtrico.
Terminemos esta seccin resolviendo algunos ejemplos importantes en los
que se denen los productos escalares que usaremos a partir de ahora.
Ejemplo 2.9. Consideremos el espacio vectorial C
4
2
, ya denido en el
ejemplo 2.3. El producto escalar de dos vectores a,
/ C
4
2
se dene
como:
a,
=
4
X
i=1
a
i
/
i
.
a) Demuestre que, efectivamente, esta denicin cumple las cuatro
propiedades de un producto escalar.
b) Compruebe que este producto escalar no es admisible en el espacio
vectorial C
4
, formado por todos los conjuntos ordenados de innitos
escalares complejos
Solucin:
a) En primer lugar cabra preguntarse si el producto escalar est bien denido
en el sentido de que sea nito
12
para dos elementos de C
4
2
. Ahora bien, como
consecuencia de la denicin de producto escalar, los elementos de C
4
2
son
todos los vectores para los cuales la norma asociada al producto escalar es
nita, es decir, todos los elemento de C
4
normalizables. As, si se cumplen
las cuatro propiedades bsicas de un producto escalar, entonces se cumple la
desigualdad de Schwarz (vase el ejemplo 2.7) y esto garantiza el carcter nito
del producto escalar.
Dicho esto, probemos la propiedad 1. Sean a,
/, c C
4
2
, entonces
a,
/ +c
=
4
X
i=1
a
i
(/
i
+ c
i
) =
4
X
i=1
(a
i
/
i
+ a
i
c
i
)
=
4
X
i=1
a
i
/
i
+
4
X
i=1
a
i
c
i
= (a,
/) + (a, c)
(en este paso hemos usado implcitamente que una suma innita es un lmite
y la propiedad conocida en series de nmeros complejos de que el lmite de la
suma es la suma de los lmites).
12
En rigor no debemos usar la palabra nito para un nmero complejo, pero se sobrentiende
que un escalar complejo es nito si su mdulo lo es.
De similar manera se prueban las otras tres:
a,
=
4
X
i=1
a
i
/
i
=
4
X
i=1
(a
i
/
i
)
4
X
i=1
a
i
/
i
!
/, a
.
(a, a) =
4
X
i=1
a
i
a
i
=
4
X
i=1
[a
i
[
2
_ 0, e implica (a, a) = 0 =a =
0 .
a, c
=
4
X
i=1
a
i
(c/
i
) = c
4
X
i=1
a
i
/
i
= c
a,
.
b) Es evidente que no es admisible. Baste considerar el vector (1, 1, 1, ....)
C
4
, que no es normalizable.
Ejemplo 2.10. Sea el espacio de funciones /
2
(D), formado por to-
das las funciones complejas de una variable real dentro del intervalo
cerrado D que cumplen
Z
D
[c (a)[
2
da <
(funciones de cuadrado sumable). En este espacio se dene el pro-
ducto escalar como:
13
(c, c) =
Z
D
c
(a) c(a) da.

a) Demuestre que el producto escalar cumple las cuatro propiedades
que lo caracterizan.
Limitmosnos ahora al caso particular en el que D es el interva-
lo cerrado nito [a, /]. Adems de /
2
[a, /], consideremos los con-
juntos T [a, /] (formado por los polinomios de coecientes complejos
denidos en [a, /]) y ( [a, /] (el conjunto de las funciones continuas
denidas en [a, /]).
b) Pruebe que T [a, /] ( [a, /] /
2
[a, /] .
c) Demuestre que T [a, /] y ( [a, /] son subespacios lineales de dimen-
sin innita.
Solucin:
a) En primer lugar, ntese que al ser D cualquier intervalo cerrado esta deni-
cin tambin contempla el caso D = R. La resolucin de este apartado es
idntica al ejemplo anterior, excepto que las sumas han de sustituirse por inte-
grales.
b) Si D = [a, /], todos los polinomios (que son una suma nita de monomios)
13
Por el motivo sealado en una nota anterior, en espacios de funciones no escribiremos el
producto escalar como
~
, ~#
, sino como (, #) o tambin como ((x) , # (x)) .

2.5 Espacios de Hilbert 29
son de cuadrado integrable. A su vez, los polinomios son funciones continuas y
toda funcin continua es de cuadrado integrable en un intervalo cerrado nito.
Queda as probado que T [a, /] ( [a, /] /
2
[a, /].
c) La suma de dos polinomios es un polinomio, el producto de un polinomio por
un escalar es un polinomio. Por otra parte, la suma de dos funciones continuas
es continua, y el producto de una funcin continua por un escalar es continuo.
As queda probado que T [a, /] y ( [a, /] son subespacios lineales.
Un ejemplo de conjunto linealmente independiente en T [a, /] arbitrariamente
grande es

1, a, a
2
, a
3
, ...
, lo que por denicin demuestra que T [a, /] es un

espacio lineal de dimensin innita. Como T [a, /] est contenido en ( [a, /],
entonces este espacio lineal es tambin de dimensin innita.
Ejercicio 2.3. Consideremos el espacio lineal C
N
. Sobre este espacio se dene el
producto escalar como
a,
=
N
X
i=1
a
i
/
i
.
Demuestre que, efectivamente, esta denicin cumple las cuatro propiedades del pro-
ducto escalar.
2.5 Espacios de Hilbert
Los espacios de Hilbert son espacios lineales con producto escalar que,
adems, cumplen unas determinadas propiedades topolgicas que son funda-
mentales para la construccin consistente del formalismo cuntico. Para proce-
der a su caracterizacin, empezaremos deniendo la convergencia de sucesiones
de vectores de un espacio pre-Hilbert.
DEFINICIN: Sea | un espacio pre-Hilbert. Dada la sucesin de vectores
n
j
4
j=1
|, dicha sucesin es convergente si existe un vector n | tal que
lim
n$4
|n
n
n| = 0 .
Al vector n se le denomina lmite de la sucesin, escribindose
lim
n$4
n
n
= n.
De este modo hemos denido el lmite (si existe) de una sucesin de vec-
tores relacionando ese lmite, a travs de la norma, con las propiedades de
convergencia de los nmeros reales.
Se pueden demostrar las siguientes propiedades relativas a sucesiones con-
vergentes de vectores en un espacio pre-Hilbert |:
1. El lmite de una sucesin, de existir, es nico.
2. El producto de un escalar por el lmite de una sucesin es igual
al lmite del producto de la sucesin con el escalar.
Sea n
n
4
n=1
| una sucesin convergente. Para cualquier c C,
la sucesin cn
n
4
n=1
tambin converge y lim
n$4
(cn
n
) = clim
n$4
n
n
.
Como consecuencia, si c es un complejo no nulo y la sucesin cn
n
4
n=1

| converge, entonces la sucesin n
n
4
n=1
tambin converge y, entonces,
lim
n$4
(n
n
) = c
1
lim
n$4
(cn
n
).
3. La suma de los lmites de dos sucesiones es igual al lmite de la
suma de las sucesiones.
Sean n
n
4
n=1
, n
n
4
n=1
| dos sucesiones convergentes. Entonces la
sucesin n
n
+ n
n
4
n=1
tambin es convergente y lim
n$4
(n
n
+ n
n
) =
lim
n$4
(n
n
) + lim
n$4
( n
n
).
4. El producto escalar del lmite de dos sucesiones es igual al lmite
del producto escalar de las dos sucesiones.
14
Sea n
n
4
n=1
| una sucesin convergente. Entonces, para cualquier
| la sucesin de nmeros complejos (, n
n
)
4
n=1
converge, cumplindose
que lim
n$4
(, n
n
) = (, lim
n$4
n
n
).
Como consecuencia, dada una segunda sucesin convergente n
n
4
n=1
,
entonces lim
n,m$4
( n
n
, n
m
) = (lim
n$4
n
n
, lim
m$4
n
m
).
Estas propiedades son importantes, ya que las expresiones del tipo
4
X
n=1
c
n
n
n
, con n
n
| y c
n
C
son muy habituales. Esta expresin no es una combinacin lineal sino el lmite
14
Las demostraciones formales, aunque sencillas, son siempre algo tcnicas puesto que slo
podemos usar las propiedades que cumple, por denicin, el producto escalar (y la norma)
y reglas asociadas a sucesiones de nmeros complejos. Como ejemplo demostremos esta
propiedad:
Sea ~u el lmite de la sucesin {~u
n
}
"
n=1
. As,
lim
n<"
( ~ w, ~u
n
) = lim
n<"
~ w, ~u
n
3~u + lim
m<"
~u
m
= lim
n<"
( ~ w, ~u
n
3~u) +
~ w, lim
m<"
~u
m
,
por lo que basta probar que la sucesin |( ~ w, ~u
n
3~u)| tiende a cero. Usando la desigualdad
de Schwarz
0 $ |( ~ w, ~u
n
3~u)| $ k~ wk k~u
n
3~uk n,
pero, como la sucesin {~u
n
}
"
n=1
es convergente, k~u
n
3~uk tiende a cero. Entonces
0 $ lim
n<"
|( ~ w, ~u
n
3~u)| $ 0
y queda demostrada la propiedad.
de una sucesin formada por combinaciones lineales:
4
X
n=1
c
n
n
n
= lim
m$4
-
m
, con -
m
=
m
X
n=1
c
n
n
n
.
Por tanto, no hay ningn problema en escribir
P
4
n=1
c
n
n
n
si converge a un
vector n del espacio pre-Hilbert. Por igual motivo, las igualdades
c
4
X
n=1
n
n
=
4
X
n=1
cn
n
;
4
X
n=1
n
n
+
4
X
n=1
n
n
=
4
X
n=1
(n
n
+ n
n
)
4
X
n=1
c
n
n
n
,
4
X
n=1
a
n
n
n
!
=
4
X
n=1
4
X
m=1
c
n
a
m
(n
n
, n
m
)
son vlidas siempre y cuando todas y cada una de las sumas converjan por
separado.
Ahora bien, siempre hay que tener cierto cuidado con la manipulacin de
sumas innitas. Por ejemplo, la expresin
4
X
n=1
(n
n
+ n
n
) = |
no garantiza que las sumas
P
4
n=1
n
n
y
P
4
n=1
n
n
converjan por separado: puede
ocurrir que al sumar las dos sucesiones, posibles elementos divergentes se can-
celen entre s. Por igual motivo, si existe un vector n | para el que la
expresin
4
X
n=1
( n, n
n
) = c C
sea cierta, esto no garantiza que la sucesin
P
4
n=1
n
n
converja a un vector del
espacio pre-Hilbert.
15
Aun teniendo en mente todas estas precauciones, no todos los espacios
lineales con producto escalar son adecuados para la formulacin matemtica
15
Por ejemplo, en C
2
consideremos ~ w =
1
0
y los vectores ~u
n
=
n
2
n
1
con n = 1, 2, 3...
Por un lado
"
X
n=1
( ~ w, ~u
n
) =
"
X
n=1
1
n
2
=
Z
2
6
pero
"
X
n=1
~u
n
=
"
X
n=1
n
32
n
31
cuya segunda componente diverge.

del formalismo cuntico. Puede suceder que una expresin del tipo
P
4
n=1
c
n
n
parezca que converge, en el sentido de que la sucesin de trmino general
-
m
=
P
m
n=1
c
n
n
tiende a estabilizarse. En este caso, todas las sucesiones de
complejos formadas por productos escalares del tipo ( n, -
m
) convergen. Sin
embargo, si el espacio lineal no es cerrado (en sentido topolgico), es posible
que la sucesin -
m
4
m=1
tienda a un objeto fuera del espacio lineal (y, por
tanto, que no converja en sentido estricto). Ya hemos visto en el captulo
introductorio que, en Mecnica Cuntica, las propiedades fsicas se determinan
mediante productos escalares, mientras que los estados fsicos se representan
por vectores. Malo sera que en el formalismo se diesen situaciones en el que las
todas las propiedades que caracterizan un estado estn bien denidas, pero no
el propio estado! As, es imprescindible que los espacios lineales que representan
los estados fsicos sean topolgicamente cerrados. Estos son los espacios de
Hilbert, cuya denicin formal es la siguiente:
DEFINICIN: Sea H un espacio lineal con producto escalar. Una sucesin
n
n
4
n=1
H es una sucesin de Cauchy (o una sucesin que va estabi-
lizndose) si se cumple
lim
n$4
(n
n+i
n
n
) =
0 , para cualquier i N.
(o, equivalentemente, lim
n$4
|n
n+i
n
n
| = 0 para cualquier i N).
H es un espacio de Hilbert si y slo si toda sucesin de Cauchy converge
a un vector n del espacio lineal H (es decir, si H es topolgicamente cerrado
bajo la mtrica asociada a la norma).
Anlogamente, si H es un espacio de Hilbert, un subespacio lineal H es
un subespacio de Hilbert si toda sucesin de Cauchy formada por vectores
de converge a un vector de .
Veamos algunos ejemplos y ejercicios importantes:
Ejemplo 2.11. Demuestre que todo espacio pre-Hilbert de dimensin
nita es un espacio de Hilbert.
Solucin:
Sean la dimensin del espacio lineal |, c
1
, c
2
, ..., c
N
una base lineal del
mismo, y n
n
4
n=1
una sucesin de Cauchy en |. Cada vector n
n
puede es-
cribirse como
n
n
=
N
X
i=1
n
n,i
c
i
.
Por tanto, las sucesiones de nmeros complejos n
n,i
4
n=1
i = 1, 2, ..., son
sucesiones de Cauchy en C, y por tanto convergentes (el cuerpo de los complejos
es cerrado). Como los coecientes de la combinacin lineal convergen, la
sucesin n
n
4
n=1
converge. Ntese que esta demostracin exige que sea
nito.
Ejemplo 2.12. Sea | un espacio lineal con producto escalar, no ne-
cesariamente de Hilbert. Dada una sucesin de Cauchy n
n
4
n=1
|,
demuestre que la sucesin de nmeros reales |n
n
|
4
n=1
es conver-
gente.
Solucin:
Si n
n
4
n=1
es una sucesin de Cauchy, para cualquier i:
lim
n$4
|n
n+i
n
n
| = 0 .
Usando el resultado del ejemplo 2.8
0 = lim
n$4
|n
n+i
n
n
| _ lim
n$4
[|n
n+i
| |n
n
|[ ,
de donde no queda ms remedio que
lim
n$4
[|n
n+i
| |n
n
|[ = 0 ,
que es el criterio de convergencia de Cauchy para una sucesin de nmeros
reales. Por tanto, la sucesin |n
n
|
4
n=1
es convergente.
Ejemplo 2.13. Sea el espacio vectorial C
4
2
con el producto escalar
habitual
a,
=
4
X
n=1
a
n
/
n
.
Demuestre que es un espacio de Hilbert.
Solucin:
Consideremos una sucesin de Cauchy a
J
4
J=1
, con a
J
= (a
J,1
, a
J,2
, ...). Por
tanto, jado un 1 arbitrario
lim
J$4
(a
J+I
a
J
) =
0 = lim
J$4
[a
J+I,n
a
J,n
[ = 0 \ : = 1, 2, ...
Todas las componentes de los vectores de la sucesin convergen por separado,
pues cumplen el criterio de Cauchy para sucesiones de nmeros complejos:
lim
J$4
a
J,n
= a
n
C.
Sin embargo esto no basta. Ahora hay que probar que la -tupla a = (a
1
, a
2
, ...)
efectivamente pertenece a C
4
2
, para lo que usamos el resultado del ejemplo an-
terior. As, como la norma de los vectores de una sucesin de Cauchy convergen
a un valor nito, la norma de a es nita y esto garantiza, por denicin, que
a C
4
2
.
Ejemplo 2.14. Consideremos el espacio de funciones /
2
(R) con el
producto escalar habitual
(c, c) =
Z
+4
4
c
(a) c(a) da.

Dada la sucesin de vectores p
n
(a)
4
n=1
con trmino general p
n
(a) =
exp
:
2
a
2
2
, calcule la norma del :-simo elemento de la sucesin.

Cul es el lmite de dicha sucesin?
Solucin:
Por denicin de norma:
|p
n
| =
s
Z
+4
4
c
(nx)
2
da =
s
1
:
Z
+4
4
c
u
2
dn =

1/4
_
:
.
De este modo, puesto que lim
n$4
|p
n
| = 0, el lmite de la sucesin es la
funcin nula de acuerdo con la denicin estricta de lmite. Ahora bien, si
nos jamos en los valores que toma p
n
(a) para cada a, vemos que p
n
(0) = 1
cualquiera que sea el valor de :. As, si ahora calculamos el lmite a partir de
los valores que toman las funciones de la sucesin en cada punto, el resultado
sera
lim
n$4
p
n
(a) = n(a) =
0 si a ,= 0
1 si a = 0
que, en principio, no es la funcin nula. Esta paradoja no es tal. Al denir
un norma estamos tambin deniendo cul es nuestro concepto de lmite y, en
concreto, la convergencia de una sucesin se entiende siempre como convergen-
cia bajo la norma en cuestin. El segundo clculo no ha sido entonces correcto,
ya que hemos tomado como criterio de convergencia la convergencia puntual
y no la convergencia asociada a la norma.
Aun as, la respuesta no es totalmente satisfactoria, puesto que parece que hay
una diferencia entre la convergencia puntual (aquella que parece ser ms in-
tuitiva) y la convergencia asociada a la norma. Esta aparente contradiccin
se soluciona acudiendo a la teora de la medida (desarrollada, entre otros, por
Borel y Lebesgue) y redeniendo el concepto de integral denida. Sin entrar
en detalles, la norma de la funcin anterior n(a) debera evaluarse como sigue:
|n| =
s
lim
%$0
Z
%
4
[n(a)[
2
+
Z
+4
+%
[n(a)[
2
,
lmite que, evidentemente, es cero. Luego la funcin n(a) es la funcin nula al
ser su norma igual a cero. En rigor, cuando consideramos un espacio de fun-
ciones, dos funciones sern iguales si los valores que toman coinciden
excepto para un conjunto de valores aislados de la variable (tcnica-
mente, si son iguales salvo en un conjunto de medida nula). Como consecuencia,
un vector de /
2
(R) no es realmente una funcin sino una clase (un conjunto)
de funciones. Esto sugiere que en Mecnica Cuntica la informacin fsica de
una funcin no depender de los valores que toma en puntos especcos, sino
de cantidades integradas obtenidas a partir de la funcin.
Ejemplo 2.15. Dado un intervalo cerrado D _ R, demuestre que /
2
(D)
es un espacio de Hilbert.
Solucin:
Consideremos una sucesin de Cauchy en /
2
(D) formada por las funciones
c
n
(a)
4
n=1
. Por tanto, para cualquier i,
lim
n$4
c
n+i
c
n
= lim
n$4
s
Z
D
c
n+i
(a) c
n
(a)
2
da
!
= 0 .
Como el integrando es siempre positivo, necesariamente
lim
n$4
c
n+i
(a) c
n
(a)
= 0 , \ a D
salvo en puntos aislados. Sin embargo esto no es relevante (recuerde el ejemplo
anterior). Para cada a D, la anterior igualdad es el criterio de convergencia
de Cauchy para la sucesin de nmeros reales c
n
(a)
4
n=1
. Por tanto, existe
una funcin c (a) tal que
lim
n$4
c
n
(a) = c (a) , \ a D
salvo en puntos aislados. As, la sucesin de Cauchy converge a una funcin
c (a) pertenece a /
2
(D) puesto que su norma es nita (al ser el lmite de una
sucesin de Cauchy de /
2
(D)).
Ejercicio 2.4. Considere el subconjunto de C
4
2
formado por las -tuplas con
un nmero nito de elementos no nulos. Demuestre que este subconjunto es un
subespacio lineal, pero que no es un subespacio de Hilbert.
Ejercicio 2.5. Sea el subespacio vectorial T [a, /] de los polinomios con coecientes
complejos dentro del espacio de Hilbert /
2
[a, /]. Demuestre que este subespacio vec-
torial no es un subespacio de Hilbert.
Sugerencia: Considere la sucesin de trmino general -
m
(a) =
P
m
n=0
a
n
:!. Pruebe
que esta sucesin de polinomios es de Cauchy, pero su lmite estricto es la funcin
exp(a) que no es un polinomio.
Ejercicio 2.6. Sea el subespacio vectorial ( [a, /] de las funciones continuas de
/
2
[a, /]. Demuestre que ( [a, /] no es un subespacio de Hilbert.
Sugerencia: Considere la sucesin de trmino general
c
n
(a) =
;
?
=
1 si a _
a+b
2
1 + :
2n
a+b
a si a
a+b
2
,
a+b
2
+
a+b
2n
0 si a _
a+b
2
+
a+b
2n
Pruebe que esta sucesin de funciones continuas es de Cauchy, pero que su lmite es
una funcin discontinua.
2.6 Bases ortonormales en espacios de Hilbert
En esta seccin deniremos el importante concepto de base ortonormal en
un espacio de Hilbert. Sin embargo, en la denicin es importante distinguir
entre espacios de dimensin nita e innita.
DEFINICIN: Sea H un espacio de Hilbert de dimensin nita. Un con-
junto ortonormal B = c
1
, c
2
, ..., c
N
es una base ortonormal de H si todo
vector n H puede escribirse como una combinacin lineal de los elementos
de B:
n =
N
X
j=1
n
j
c
j
.
A los nmeros complejos n
j
N
j=1
se les denomina coordenadas de n en la
base ortonormal B.
Dada la denicin, observamos que una base ortonormal es simplemente una
base lineal (o de Hamel) ortonormal.
En espacios de dimensin innita, aunque existan, las bases lineales no son
cmodas de usar (y, adems, su utilidad prctica es limitada). En su lugar es
preferible utilizar las llamadas bases de Fourier:
DEFINICIN: Sea H un espacio de Hilbert de dimensin innita. Un
conjunto ortonormal B
F
= c
1
, c
2
, ..., de cardinal innito, es una base ortonor-
mal o de Fourier de H si todo vector n H puede escribirse como un
desarrollo de Fourier a partir de los elementos de B
F
, esto es, como
n = lim
N$4
N
X
j=1
n
j
c
j
=
4
X
j=1
n
j
c
j
.
Los nmeros complejos n
j
4
j=1
son las coordenadas del vector n en la base
de Fourier B
F
.
Ntese la diferencia. En el caso de dimensin nita la envolvente lineal
de la base ortonormal es todo el espacio de Hilbert, pero no en el caso de
2.6 Bases ortonormales en espacios de Hilbert 37
dimensin innita. Esta distincin puede parecer articial, pero gracias a ella
las propiedades de las bases ortonormales son siempre las mismas y el concepto
de base de Fourier engloba, de manera natural, al de base lineal ortonormal en
un espacio de dimensin nita. As:
TEOREMA: Sea H un espacio de Hilbert y B = c
1
, c
2
, ... una base ortonor-
mal de H. Sean n, n H y n
n
, n
n
las coordenadas de n y n en la base
B, respectivamente. Entonces:
1. Las coordenadas de n en la base B estn dadas por
n
n
= (c
n
, n) =n =
X
n
(c
n
, n) c
n
.
2. La norma de n puede calcularse como
|n| =
s
X
n
[n
n
[
2
.
3. Las coordenadas de la suma y del producto por un escalar son:
(n + n)
n
= n
n
+ n
n
; (cn)
n
= cn
n
.
4. El producto escalar (n, n) puede calcularse como
(n, n) =
X
n
n
n
n
n
.
Demostracin: Demostraremos slo los puntos 1 y 4 (dejando como
ejercicio la de los puntos 2 y 3). Para probar el punto 1, partimos
del desarrollo de Fourier (que se reduce a una combinacin lineal
si la dimensin del Hilbert es nita) n =
P
n
n
n
c
n
. Multiplicando
escalarmente por c
m
y usando la linealidad del producto escalar (ya
garantizada incluso para sumas innitas)
(c
m
, n) =
c
m
,
X
n
n
n
c
n
!
=
X
n
n
n
(c
m
, c
n
) .
Como (c
m
, c
n
) = c
mn
, queda
(c
m
, n) = n
m
.
Para probar el punto 4, basta desarrollar el producto escalar y usar
la ortonormalidad de los elementos de la base:
(n, n) =
X
n
n
n
c
n
,
X
m
n
m
c
m
!
=
X
n,m
n
n
n
m
(c
n
, c
m
)
=
X
n,m
n
n
n
m
c
nm
=
X
n
n
n
n
n
.
Naturalmente podemos extender el concepto de base ortonormal a subespa-
cios de Hilbert. De nuevo distingamos los casos de dimensin nita e innita:
DEFINICIN: Sea H un espacio de Hilbert y H un subespacio de
Hilbert.
1. Si es de dimensin nita , entonces un conjunto ortonormal B =
c
1
, c
2
, ..., c
N
es una base ortonormal de si todo vector n
puede escribirse como una combinacin lineal de los elementos de B:
n =
N
X
i=1
n
i
c
i
=
N
X
i=1
(c
i
, n) c
i
y, por tanto, todo vector que se pueda escribir como combinacin lineal de
elementos de B, pertenece a .
2. Si es de dimensin innita, entonces un conjunto ortonormal de cardinal
innito B
F
= c
1
, c
2
, ... es una base ortonormal o de Fourier de
si todo vector n puede escribirse como un desarrollo de Fourier de los
elementos de B
F
:
n =
4
X
i=1
n
i
c
i
=
4
X
i=1
(c
i
, n) c
i
y, por tanto, todo vector que se pueda escribir como desarrollo de Fourier de
elementos de B
F
, pertenece a .
16
Recordemos que pueden haber subespacios lineales de H que, siendo de
dimensin innita, no sean subespacios de Hilbert (por ejemplo el subespacio
lineal de las funciones continuas de /
2
[0, 1]). Entonces, el concepto de base
de Fourier no tiene sentido (observe la frase con la que hemos cerrado las
deniciones anteriores). Recprocamente (pruebe a demostrarlo):
TEOREMA:
17
Sea H un espacio de Hilbert y (
ort
= n
n
H un conjunto
ortonormal. Deniendo el conjunto
lin((
ort
) =
(
n H tal que n =
X
n
n
n
n
n
con
X
n
[n
n
[
2
<
)
,
entonces
1. lin((
ort
) es un subespacio de Hilbert.
16
Esta armacin es consecuencia inmediata del hecho de que W es un subespacio de
Hilbert.
17
Deberamos haber incluido este teorema al principio de la seccin, estableciendo as un
paralelismo entre el proceso de construccin de bases lineales en espacios de dimensin nita
y de bases de Fourier en espacios de dimensin innita. Sin embargo, el objetivo fundamental
de la seccin es la denicin de estas ltimas, por lo que hemos preferido posponer el teorema
hasta este momento.
2. n
n
= ( n
n
, n) , con : = 1, 2, 3, ...
3. Si el cardinal de (
ort
es nito, lin((
ort
) = lin((
ort
)
El lector, legtimamente, puede preguntarse si en todo espacio de Hilbert
de dimensin innita existen bases de Fourier numerables, tal y como las
hemos denido en los puntos anteriores. En todos los casos de inters fsico
la respuesta es armativa y se dice, entonces, que el espacio de Hilbert es
separable. Puede entonces demostrarse que todas sus bases de Fourier son
numerables y que todos sus subespacios de Hilbert son separables. Ntese
la analoga entre esta armacin y el hecho de que en un espacio vectorial
nito todas las bases lineales poseen el mismo nmero de elementos y todos los
subespacios lineales son de dimensin nita. Desde una perspectiva puramente
matemtica se admite la existencia de espacios de Hilbert en los que las bases
de Fourier no son numerables, sino continuas, pero puesto que van a carecer de
inters, supondremos sin excepcin que el espacio de Hilbert H es separable.
Consideremos ahora un subconjunto linealmente independiente ( de un
espacio de Hilbert H. En muchos casos ser importante transformar dicho
subconjunto en otro, (
ort
, que sea ortonormal y tal que los elementos de (
ort
sean combinacin lineal de los de (. Ello es posible, siempre y cuando (
sea numerable, gracias al siguiente teorema (cuya demostracin, meramente
operativa, dejamos como ejercicio):
TEOREMA: Sea H un espacio de Hilbert y ( = n
1
, n
2
, n
3
, ... = n
n
un
subconjunto numerable de Hformado por vectores linealmente independien-
tes. Resulta entonces posible construir un conjunto ortonormal (
ort
= n
n
,
con igual cardinal que el de (, tal que sus elementos son todos combinacin li-
neal de los elementos de (. La regla para construir dicho conjunto ortonormal
est dada por el llamado mtodo de ortonormalizacin Gram-Schmidt,
de modo que los vectores n
n
estn dados por:
n
1
=
1
|n
1
|
n
1
n
2
=
1
|n
2
( n
1
, n
2
) n
1
|
[n
2
( n
1
, n
2
) n
1
]
.
.
.
n
n
=
1
n
n
P
n1
i=1
( n
i
, n
n
) n
i
"
n
n
n1
X
i=1
( n
i
, n
n
) n
i
#
.
.
.
El mtodo de Gram-Schmidt puede utilizarse para construir bases ortonor-
males a partir de conjuntos linealmente independientes ( tales que su envol-
vente lineal sea densa en el Hilbert (o todo el Hilbert si ste es de dimensin
nita). Esto es, si dado un vector cualquiera del Hilbert n, siempre podemos
encontrar un vector n lin(() tal que la norma | n n| sea arbitrariamente
pequea. Aplicando el mtodo de Gram-Schmidt a ( tenemos la garanta de
que el conjunto resultante, (
ort
, es una base de Fourier del Hilbert.
Naturalmente, este comentario tambin es vlido si nos restringimos a un sub-
espacio de Hilbert. Veamos un ejemplo:
Ejemplo 2.16. Sea el espacio de Hilbert /
2
[1, 1] y el conjunto ( =
1, a, a
2
, a
3
, ...
. Es evidente que lin(() = T [1, 1], el subespacio de

los polinomios denidos en [1, 1]. Como hemos visto, T [1, 1] no es
un subespacio de Hilbert, pero puede demostrarse que es denso en
/
2
[1, 1]. Usando el mtodo de Gram-Schmidt, construya una base
ortonormal (
ort
= P
0
(a) , P
1
(a) , P
2
(a) , ... del espacio de Hilbert a
partir del conjunto (.
Solucin:
Denotemos por n
n
(a) = a
n
, : = 0, 1, 2, ... los elementos de (.
18
Aplicando
Gram-Schmidt:
P
0
(a) =
n
0
(a)
|n
0
(a)|
=
r
1
2
Ahora construyamos la funcin accesoria
1
(a) = n
1
(a)(P
0
(a) , n
1
(a)) P
0
(a),
que una vez normalizada, nos dar P
1
(a):
1
(a) = n
1
(a) (P
0
(a) , n
1
(a)) P
0
(a) = a
1
_
2
Z
1
1
1
_
2
a da = a
(lgico, puesto que a y 1 son ortogonales al ser funciones impar y par denidas
en un intervalo simtrico). As,
P
1
(a) =

1
(a)
|
1
(a)|
=

1
(a)
R
+1
1
[
1
(a)[
2
da
1/2
=
r
3
2
a.
Pasemos ahora a P
2
(a). Igualmente, construyamos la funcin accesoria
2
(a) = n
2
(a) (P
0
(a) , n
2
(a)) P
0
(a) (P
1
(a) , n
1
(a)) P
1
(a) .
Como P
1
(a) es par y P
0
(a) es impar
2
(a) = n
2
(a) (P
0
(a) , n
2
(a)) P
0
(a)
= a
2
1
_
2
Z
+1
1
1
_
2
a
2
da = a
2
1
3
18
Empezar a contar desde cero o desde uno no es ms que un criterio de conveniencia.
y normalizando esta funcin,
P
2
(a) =

2
(a)
R
+1
1
[
2
(a)[
2
da
1/2
=
1
2
r
5
2
3a
2
1
.
Anlogamente, para obtener P
3
(a) usemos la funcin accesoria
3
(a) dada
por
3
(a) = n
3
(a)
2
X
n=0
(P
n
(a) , n
3
(a)) P
n
(a)
y, operando (slo hacen falta evaluar las integrales con : impar),
3
(a) = a
3
3
5
a,
de donde
P
3
(a) =

3
(a)
R
+1
1
[
3
(a)[
2
da
1/2
=
1
2
r
7
2
5a
3
3a
.
Procediendo de igual manera para el resto:
i
(a) = n
i
(a)
i1
X
n=0
Z
+1
1
P
n
(a) n
i
(a) da
P
n
(a)
P
i
(a) =
Z
+1
1
[
i
(a)[
2
da
1/2
i
(a)
obtenemos
P
4
(a) =
1
8
r
9
2
35a
4
30a
2
+ 3
P
5
(a) =
1
8
r
11
2
63a
5
70a
3
+ 15a
P
6
(a) =
1
16
r
13
2
231a
6
315a
4
+ 105a
2
5
etc.
Estas funciones son los polinomios normalizados de Legendre, impor-
tantes en el estudio formal del momento angular en Mecnica Cuntica. Adems
de ser una base de Fourier de /
2
[1, 1], tienen una serie de propiedades in-
teresantes.
1. P
n
(a) = (1)
n
P
n
(a)
2. P
n
(1) =
q
: +
1
2
3. P
n
(a) tiene n ceros, todos diferentes, en el intervalo (1, 1) .
4. P
n
(a) es solucin de la ecuacin diferencial
a
2
1
d
2
da
2
+ 2a
d
da
P
n
(a) = :(: + 1) P
n
(a) .
5. Pueden obtenerse directamente mediante una frmula de Rodrigues:
P
n
(a) =
1
:! 2
n
r
2: + 1
2
d
n
da
n
a
2
1
n
.
Terminemos esta seccin dando (sin demostracin) otros ejemplos de bases
ortonormales en espacios de Hilbert:
1. En un espacio de dimensin , cualquier conjunto de vectores ortonor-
males.
2. En C
4
2
, la base cannica B
F
= c
1
, c
2
, c
3
, ... con c
1
= (1, 0, 0, ...) , c
2
=
(0, 1, 0, ...) , ...
3. En /
2
[0, 1]:
(a) B
F
=
0
(a) ,
1
(a) ,
1
(a) ,
2
(a) ,
2
(a) , ...
(base exponencial
de Fourier), con
n
(a) =
r
1
1
exp(i2:a1) .
(b) B
F
=
0
(a) ,
1
(a) ,
2
(a) ,
3
(a) , ... (base de cosenos de Fourier),
con
0
(a) =
r
1
1
;
n
(a) =
r
2
1
cos (:a1) para : = 1, 2, 3, ...
(c) B
F
=
1
(a) ,
2
(a) ,
3
(a) , ... (base de senos de Fourier), con
n
(a) =
r
2
1
sin(:a1) .
4. En /
2
(R
+
), R
+
= [0, +): B
F
= L
0
(a) , L
1
(a) , L
2
(a) , ... (base de
funciones de Laguerre), con
L
n
(a) = exp(a2) 1
n
(a) =
1
:!
exp(a2)
d
n
(a
n
exp(a))
da
n
,
siendo 1
n
(a) los polinomios de Laguerre.
5. En /
2
(R): B
F
= H
0
(a) , H
1
(a) , H
2
(a) , ... (base de funciones de Her-
mite), con
H
n
(a) =
1
(2
n
:!
_
)
1/2
exp
a
2
2
H
n
(a)
= (1)
n
1
(2
n
:!
_
)
1/2
exp
a
2
2
d
n
exp
a
2
da
n
,
siendo H
n
(a) los polinomios de Hermite.
Debemos mencionar que las bases de senos de Fourier, Laguerre y Hermite
se usan en el tratamiento cuntico del pozo cuadrado innito, el tomo de
hidrgeno y el oscilador armnico, respectivamente. Igualmente, la base expo-
nencial de Fourier se utiliza en la descripcin cuntica de sistemas peridicos.
Ejercicio 2.7. Un conjunto ortonormal ( es maximal cuando resulta imposible
encontrar un vector normalizado del espacio de Hilbert ortogonal a (. Demuestre
que una base ortonormal es un conjunto ortonormal maximal y que, recprocamente,
todo conjunto ortonormal maximal es una base ortonormal.
Ejercicio 2.8. Demuestre que dado un conjunto ortonormal numerable , siempre
es posible encontrar una base ortonormal B que contenga a .
Ejercicio 2.9. La base de funciones de Hemite se puede obtener a partir del mtodo
de Gram-Schmidt aplicado al conjunto de funciones linealmente independiente
( =
a
n
exp
a
2
2
4
n=0
De acuerdo con esto, obtenga las cuatro primeras funciones de Hermite.
Ayuda: necesitar usar las siguientes integrales:
Z
+"
3"
e
3x
2
dx =
I
Z ;
Z
+"
3"
x
2
e
3x
2
dx =
I
Z
2
;
Z
+"
3"
x
4
e
3x
2
dx =
3
I
Z
4
Ejercicio 2.10. En el estudio mecano-cuntico del oscilador armnico es necesario
resolver la siguiente ecuacin diferencial
3
d
2
dx
2
+u
2
32n 31
(x) = 0
Demuestre que su solucin es, salvo constante multiplicativa, la n-sima funcin de
Hermite.
2.7 Operadores lineales en un espacio de Hilbert
Resulta necesario, como ya se apunt en el primer captulo, hablar de los ope-
radores lineales denidos en un espacio de Hilbert. En esta seccin y la siguiente
presentaremos unas deniciones generales, vlidas para espacios de dimensin nita
o innita indistintamente.
DEFINICIN: Sea H un espacio de Hilbert. Un operador
b
A es cualquier apli-
cacin de un subespacio lineal (no necesariamente de Hilbert) D(
b
A) a H, llamado
dominio del operador, en H tal que a cada vector ~v M D(
b
A) le hace corresponder un
segundo vector
b
A~v M H.
El recorrido de
b
A es el subconjunto R(
b
A) a H denido como
R(
b
A) =
n
~u M H tal que existe ~ w M D
b
A
de forma que ~u =
b
A ~ w
o
,
esto es, el conjunto de resultados de la aplicacin de
b
A a todos los vectores de su
dominio.
Nota importante: Conviene recordar siempre que para denir un ope-
rador no basta con indicar su regla de actuacin, sino que adems hay
que establecer su dominio D(
b
A). Si al denir un operador omitimos es-
pecicar su dominio, implcitamente suponemos que ste es el ms amplio
compatible con la regla de actuacin.
DEFINICIN: Sea
b
A un operador de un espacio de Hilbert H. Se dice que
b
A es
un operador lineal si, para todo ~u, ~v M D(
b
A), y para todo complejo k, se cumple que
b
A(~u +~v) =
b
A~u +
b
A~v y que
b
A(k~u) = k
b
A~u.
Nota: Al haber impuesto que el dominio es siempre un subespacio lineal,
la denicin es consistente.
La denicin de linealidad de un operador slo se aplica a combinaciones lineales
nitas. Es decir, si
b
A es un operador lineal en un espacio de Hilbert H,
b
A
N
X
n=1
k
n
~v
n
=
N
X
n=1
k
n
b
A~v
n
(N nito) .
Surge ahora de manera natural la siguiente pregunta. Si en un espacio de Hilbert de
dimensin innita tenemos el desarrollo de Fourier ~u =
P
"
n=1
u
n
~e
n
a partir de una
base ortonormal podemos armar que
b
A~u =
"
X
n=1
u
n
b
A~e
n
,
siendo
b
A un operador lineal cuyo dominio contiene a la base ortonormal? La respuesta
es s, siempre y cuando la expresin
P
"
n=1
u
n
(
b
A~e
n
) converja, pero la convergencia
de esta suma no puede garantizarse a priori. Por tanto la extensin de la linealidad
de un operador lineal a una suma de innitos trminos est siempre condicionada a
2.8 Operaciones con operadores lineales 45
que se cumpla dicha convergencia. Veamos un ejemplo en el que
P
"
n=1
u
n
(
b
A~e
n
) no
converge.
Ejemplo 2.17. Consideremos el espacio L
2
[0, 1] y la base de Fourier de senos
B
F
= {
1
,
2
, ...} con
n
(x) =
I
2 sin(nZx). Denimos el operador lineal
b
P
x
=
3i
d
dx
con dominio el conjunto formado por todas las funciones continuas
denidas en [0, 1] y cuya derivada es de cuadrado integrable en [0, 1]. Dada
la funcin u(x) = 1 es obvio que
b
P
x
u(x) = 0
Intente calcular este resultado a partir de las coordenadas de u(x) en la
base de Fourier de senos.
Solucin:
Las coordenadas de u(x) en dicha base son:
u
n
= (
n
, u) =
Z
1
0
I
2 sin(nZx) dx =
2
3/2
/ (nZ) n impar
0 n par
As
b
P
x
u(x) =
b
P
x
"
X
n=1
u
n
n
(x)
?
=
"
X
n=1
u
n
b
P
x
n
(x) = 4
X
n impar
cos (nZx) ,
expresin que no converge. De hecho el resultado es una funcin cuyas coordenadas
en la base de Fourier de cosenos son

0, 2
I
2, 0, 2
I
2, ...
y que, evidentemente, es de
norma innita. El paso indicado con una interrogacin no es correcto.
Dado que en Mecnica Cuntica, el operador
b
P
x
est relacionado con el momento
lineal de una partcula, este resultado parece preocupante. Sin embargo, hay que
mencionar otra vez que la informacin de inters fsico se obtiene a partir de productos
escalares. As, esta preocupacin no debe ser tal y, adems, puede evitarse tal y
como veremos en un ejemplo posterior (ejemplo 2.25)
Ejercicio 2.11. Sea
b
A un operador lineal en H. Demuestre que R(
b
A) es un subes-
pacio lineal de H.
Ejercicio 2.12. Sea
b
A un operador en H. Demuestre que
b
A es lineal si y slo si para
todo ~u, ~v M D(
b
A) y para todo k, q M C se cumple que
b
A(k~u +q~v) = k
b
A~u +q
b
A~v
2.8 Operaciones con operadores lineales
En esta seccin presentaremos deniciones importantes relativas a operaciones
entre operadores. En general, consideraremos que
b
A y
b
B son operadores lineales en
un espacio de Hilbert H y k un nmero complejo. Ahora bien, supondremos siempre
que el dominio de los operadores contiene una base de Fourier de H,
19
puesto que es lo
que sucede en Mecnica Cuntica. Como consecuencia, el dominio de los operadores
en un espacio de Hilbert de dimensin nita ser siempre todo el espacio de Hilbert.
Empecemos con las operaciones ms simples (suma, producto por un escalar,
composicin) y con la denicin del operador inverso.
DEFINICIONES: El operador lineal
b
A+
b
B, suma de
b
A y
b
B, se dene como
b
A+
b
B
~u =
b
A~u +
b
B~u.
A su vez, el operador lineal k
b
A, producto de
b
A por el escalar complejo k, se
dene mediante
k
b
A
~u = k
b
A~u
.
TEOREMA: El conjunto de todos los operadores lineales denidos en un espacio
vectorial U posee estructura de espacio lineal.
Pruebe este importante teorema. Fjese que implica que para cualesquiera operadores
lineales
b
A,
b
B,
b
C y para todo k, q M C se cumple:
1.
b
A+
b
B y k
b
A son operadores lineales.
2.
b
A +
b
B
+
b
C =
b
A +
b
B +
b
C
;
b
A +
b
B =
b
B +
b
A.
3. Existe el operador nulo
b
0, tal que
b
0~u =
~
0 ~u M U, y
b
A+
b
0 =
b
A.
4. Existe el operador 3
b
A tal que
b
A +
3
b
A
= 0.
5. k
b
A +
b
B
= k
b
A+k
b
B ; (k +q)
b
A = k
b
A+q
b
A.
6. (kq)
b
A = k
q
b
A
; 1
b
A =
b
A ; 0
b
A =
b
0
Por otra parte, a todo escalar k M C le corresponde un operador b k = k
b
I, donde
b
I
es el operador unidad denido como
b
I~u = ~u, para todo ~u M H. Aunque pueda llevar
a alguna confusin, es muy habitual escribir b k = k, en lugar de b k = k
b
I.
DEFINICIN: El operador lineal
b
A
b
B, producto o composicin de los operadores
b
A y
b
B, se dene como
b
A
b
B
~u =
b
A
b
B~u
.
El producto de operadores cumple las siguientes propiedades (prubense como ejer-
cicio):
1.
b
A
b
B
b
C
b
A
b
B
b
C (propiedad asociativa).
19
Se dice, entonces, que los operadores son de dominio denso. Sin embargo, esto no
quiere decir que el dominio del operador sea todo el espacio de Hilbert. Basta pensar en el
operador derivada en L
2
(R) con dominio restringido a funciones continuas de L
2
(R) pero
que incluye, por ejemplo, la base ortonormal de Hermite.
2.
b
A
k
b
B
k
b
A
b
B = k
b
A
b
B
.
3.
b
A +
b
B
b
C =
b
A
b
C +
b
B
b
C ;
b
A
b
B +
b
C
=
b
A
b
B +
b
A
b
C.
Sin embargo, el producto de operadores no es conmutativo, es decir, en general
b
A
b
B 6=
b
B
b
A. Por tanto, a la hora de manipular productos de operadores es esencial
respetar el orden en el que aparecen
DEFINICIN: La potencia n-sima (siendo n un nmero natural) del operador
lineal
b
A es el operador lineal
b
A
n
resultado de componer
b
A consigo mismo n veces:
b
A
n
=
b
A
b
A...
b
A (n veces)
Por convenio:
b
A
0
=
b
I.
DEFINICIN: Un operador lineal
b
A se dice invertible si para cualquier par ~u, ~v M
D(
b
A) con ~u 6= ~v, entonces
b
A~u 6=
b
A~v. Si
b
A es invertible se puede denir el operador
inverso
b
A
31
, con dominio igual al recorrido de
b
A, cuya regla de actuacin es
b
A
31
~u = ~ w, donde
b
A~ w = ~u.
TEOREMA: La condicin necesaria y suciente para que un operador lineal
b
A sea
invertible es que
b
A~v = 0 Ui ~v = 0 .
Intente probar este importante teorema. A su vez, demuestre las siguientes propie-
dades relativas al operador inverso (sin prestar atencin a los problemas que puedan
surgir debidos a los diferentes dominios de denicin de los operadores):
1.
b
A
31
es lineal.
2.
b
A
b
B
31
=
b
B
31
b
A
31
.
3.
b
A
31
31
=
b
A.
4.
k
b
A
31
= (1/k)
b
A
31
(si k 6= 0).
El llamado conmutador de dos operadores lineales se utiliza muy frecuentemente en
Mecnica Cuntica. Adems de su denicin, es muy importante que recuerde una
serie de propiedades relacionadas (que probaremos a continuacin de la denicin
como ejemplos resueltos).
DEFINICIN: Dados dos operadores lineales
b
A y
b
B se dene su conmutador
como el operador lineal
[
b
A,
b
B] =
b
A
b
B 3
b
B
b
A.
Se dice que dos operadores
b
A y
b
B conmutan o que son compatibles si su conmu-
tador es igual a cero, lo cual implica que
b
A
b
B =
b
B
b
A.
Ejemplo 2.18. Demostrar la relacin [
b
A
b
B,
b
C] =
b
A[
b
B,
b
C] + [
b
A,
b
C]
b
B.
Solucin:
Por denicin,
h
b
A
b
B,
b
C
i
=
b
A
b
B
b
C 3
b
C
b
A
b
B
y sumando y restando
b
A
b
C
b
B resulta
h
b
A
b
B,
b
C
i
b
A
b
B
b
C 3
b
A
b
C
b
B +
b
A
b
C
b
B 3
b
C
b
A
b
B =
b
A
h
b
B,
b
C
i
+
h
b
A,
b
C
i
b
B.
De modo anlogo se puede demostrar
h
b
A,
b
B
b
C
i
=
h
b
A,
b
B
i
b
C +
b
B
h
b
A,
b
C
i
.
Ejemplo 2.19. Demostrar que, dado un conjunto cualquiera de operadores
lineales
b
A
i
,
b
B
k
, sus conmutadores satisfacen la propiedad distributiva; es
decir
"
M
X
i=1
b
A
i
,
N
X
k=1
b
B
k
#
=
M
X
i=1
N
X
k=1
h
b
A
i
,
b
B
k
i
.
Solucin:
La demostracin es inmediata aplicando la propiedad distributiva de los propios ope-
radores lineales
"
M
X
i=1
b
A
i
,
N
X
k=1
b
B
k
#
=
M
X
i=1
b
A
i
!
N
X
k=1
b
B
k
!
3
N
X
k=1
b
B
k
!
M
X
i=1
b
A
i
!
=
M
X
i=1
N
X
k=1
b
A
i
b
B
k
3
M
X
i=1
N
X
k=1
b
B
k
b
A
i
=
M
X
i=1
N
X
k=1
b
A
i
c
B
k
3
b
B
k
b
A
i
=
M
X
i=1
N
X
k=1
h
b
A
i
,
b
B
k
i
.
DEFINICIN: Sea g (x) una funcin analtica de variable compleja, siendo
g (x) =
P
"
j=0

n
x
n
su desarrollo en serie de Taylor. Dado un operador lineal
b
A,
denimos formalmente el operador g(
b
A) mediante la regla de actuacin
g
b
A
~u = lim
N<"
N
X
n=0
b
A
n
~u
"
X
n=0
b
A
n
~u
El dominio del operador g(

b
A) estar implcitamente compuesto por aquellos vectores
para los que la anterior expresin converja.
20
Este tipo de operadores son muy corrientes en Mecnica Cuntica, por lo que
conviene profundizar algo ms mediante los siguientes ejemplos.
20
En este caso tenemos que g(
b
A)~u es formalmente el lmite de la sucesin de trmino general
~ w
N
=
P
N
n=0
n
(
b
A
n
~u).
Ejemplo 2.20. Demuestre que dada la funcin analtica g (x) el operador
g(
b
A) es lineal.
Solucin:
Sean ~u, ~v dos vectores del dominio de g(
b
A). De acuerdo con la denicin
g
b
A
(~u +~v) = lim

N<"
N
X
n=0
n
h
b
A
n
(~u +~v)
i
=
lim
N<"
N
X
n=0
n
b
A
n
~u + lim
N<"
N
X
n=0
n
b
A
n
~v = g
b
A
~u +g
b
A
~v
Anlogamente se demuestra que g(
b
A) (k~u) = kg(
b
A) ~u.
Ejemplo 2.21. Sean
b
A y
b
B dos operadores lineales. Demostrar que, en
general, e
b
A
e
b
B
6= e
b
A+
b
B
. Cundo ser cierta la igualdad?
Solucin:
Formalmente
e
b
A
=
"
X
n=0
1
n!
b
A
n
,
donde
b
A
0
= 1. As,
e
b
A
e
b
B
=
"
X
n=0
"
X
m=0
1
n!
1
m!
b
A
n
b
B
m
.
Haciendo un cambio en los ndices
e
b
A
e
b
B
=
"
X
N=0
N
X
m=0
1
(N 3m)!
1
m!
b
A
N3m
b
B
m
=
"
X
N=0
1
N!
N
X
m=0
N
m
!
b
A
N3m
b
B
m
,
donde aparece explcitamente la frmula del binomio de Newton. Por otro lado
e
b
A+
b
B
=
"
X
N=0
1
N!
b
A+
b
B
N
.
Sin embargo, en general
b
A y
b
B no conmutan, por lo que no podemos armar que
21
N
X
m=0
N
m
!
b
A
N3m
b
B
m
=
b
A+
b
B
N
21
Por ejemplo
b
A+
b
B
3
=
b
A
3
+
b
A
2
b
B +
b
A
b
B
b
A+
b
B
b
A
2
+
b
B
2
b
A+
b
B
b
A
b
B +
b
A
b
B
2
+
b
B
3
,
que no es igual a
b
A
3
+ 3
b
A
2
b
B + 3
b
A
b
B
2
+
b
B
3
.
y, entonces no se cumple que e
b
A
e
b
B
= e
b
A+
b
B
. La igualdad slo es cierta si (
b
A+
b
B)
N
se
puede desarrollar usando la expresin del binomio de Newton
P
N
m=0
N
m
b
A
N3m
b
B
m
,
lo cual es slo posible si
b
A y
b
B conmutan, ya que entonces podemos reordenar los
trminos que aparecen en la expansin directa de (
b
A +
b
B)
N
.
Es bastante habitual la construccin y manipulacin de operadores dependien-
tes de un parmetro. Es por ello por lo que la siguiente denicin y los ejemplos
que la siguen son importantes.
DEFINICIN: Dado un operador
b
A(b) que depende de un parmetro b, se dene
la derivada del operador con respecto al parmetro en la forma
d
b
A(b)
db
= lim
0<0
b
A(b +0) 3
b
A(b)
0
.
Ejemplo 2.22. Dados dos operadores
b
A(b),
b
B(b) dependientes del mismo
parmetro b, demuestre la relacin
d
db
b
A(b)
b
B(b)
=
d
b
A(b)
db
b
B(b) +
b
A(b)
d
b
B(b)
db
A su vez, si
b
A(b) es invertible, demuestre que
d
db
b
A(b)
31
= 3
b
A(b)
31
d
b
A(b)
db
b
A(b)
31
Solucin:
Para demostrar la primera relacin partimos de
b
A(b +0)
b
B(b +0) 3
b
A(b)
b
B(b)
0
=
b
A(b +0)
b
B(b +0) 3
b
A(b +0)
b
B(b) +
b
A(b +0)
b
B(b) 3
b
A(b)
b
B(b)
0
=
b
A(b +0)
h
b
B(b +0) 3
b
B(b)
i
0
+
h
b
A(b +0) 3
b
A(b)
i
b
B(b)
0
y tomando el lmite 0 <0 obtenemos la relacin pedida.
Consideremos ahora la identidad
b
A(b)
b
A(b)
31
=
b
I y apliquemos la frmula anterior.
Puesto que el operador identidad no depende evidentemente de ningn parmetro,
resulta
d
b
A(b)
db
b
A(b)
31
+
b
A(b)
d
b
A(b)
31
db
= 0,
de donde, actuando por la izquierda con
b
A(b)
31
,
d
b
A(b)
31
db
= 3
b
A(b)
31
d
b
A(b)
db
b
A(b)
31
.
Ntese que no podemos escribir el miembro de la derecha en la forma
3
h
b
A(b)
31
i
2
d
b
A(b)/db
pues, en general, no est garantizado que

b
A(b)
31
conmute con d
b
A(b)/db. Pensemos
por ejemplo, en un operador de la forma
b
A(b) =
b
B + b
2
b
C, con [
b
B,
b
C] 6= 0. Entonces
d
b
A(b)/db = 2b
b
C, que evidentemente no conmuta con
b
A, pues hemos dicho que
b
C no
conmuta con
b
B.
Ejemplo 2.23. Calcular las derivadas con respecto a b de los operadores
e
b
b
A
y e
b
b
A
e
b
b
B
.
Solucin:
El operador e
b
b
A
se puede desarrollar formalmente en serie de potencias como
exp
b
b
A
=
"
X
n=0
b
n
b
A
n
n!
y, derivando trmino a trmino, tenemos
d
db
exp
b
b
A
=
"
X
n=0
nb
n31
b
A
n
n!
=
"
X
n=1
b
n31
b
A
n31
(n 31)!
b
A
=
b
A
"
X
n=0
b
n
b
A
n
n!
!
=
b
Aexp
b
b
A
.
Aplicando ahora la regla de derivada del producto que hemos visto en el problema
anterior
d
db
exp
b
b
A
exp
b
b
B
=
de
b
b
A
db
exp
b
b
B
+ exp
b
b
A
de
b
b
B
db
=
b
Aexp
b
b
A
e
b
b
B
+ exp
b
b
A
b
Be
b
b
B
= exp
b
b
A
b
A +
b
B
exp
b
b
B
Hemos escrito la ltima expresin en forma ms compacta, teniendo en cuenta que

b
A conmuta con exp
b
b
A
y
b
B conmuta con exp
b
b
B
. Sin embargo, hemos de tener

siempre en cuenta que en general
b
A no conmutar con
b
B ni con exp
b
b
B
.
Ejemplo 2.24. Suponiendo que
b
A
31
existe, encontrar una expresin en serie
de potencias de b para el operador
b
A3b
b
B
31
. Particularice el resultado
para
b
B =
b
I.
Solucin:
Escribamos
b
A3b
b
B
31
=
"
X
n=0
b
n
b
C
n
,
donde
b
C
n
son operadores a determinar. Para ello, multiplicamos a la izquierda por
b
A3b
b
B
, de modo que
b
I =
"
X
n=0
b
n
b
A3b
b
B
b
C
n
=
b
A
b
C
0
+
"
X
n=0
b
n
b
A
b
C
n
3
b
B
b
C
n31
e igualando ahora los coecientes de las sucesivas potencias de b obtenemos

b
A
b
C
0
=
b
I i
b
C
0
=
b
A
31
b
A
b
C
n
3
b
B
b
C
n31
= 0 i
b
C
n
=
b
A
31
b
B
b
C
n31
,
de manera que
b
A3b
b
B
31
=
b
A
31
+b
b
A
31
b
B
b
A
31
+b
2
b
A
31
b
B
b
A
31
b
B
b
A
31
+b
3
b
A
31
b
B
b
A
31
b
B
b
A
31
b
B
b
A
31
+
Es importante tener en cuenta el orden en el que aparecen los operadores
b
A
31
y
b
B
en cada trmino del desarrollo, pues en general
b
A
31
y
b
B no conmutan. En el caso
particular en que
h
b
A
31
,
b
B
i
= 0 podemos reordenar los operadores y entonces
b
A3b
b
B
31
=
b
A
31
+b
b
B
b
A
32
+b
2
b
B
2
b
A
33
+b
3
b
B
3
b
A
34
+
Si ahora particularizamos al caso
b
B =
b
I, tendremos
b
A3b
b
I
31
=
b
A
31
+b
b
A
32
+b
2
b
A
33
+... =
b
A
31
"
Y
n=0
b
b
A
31
n
.
Ejercicio 2.13. Conscientemente, hemos omitido el dominio de los operadores suma,
producto por un escalar k y composicin. Indique cules son los dominios mximos
posibles de
b
A +
b
B, k
b
A y
b
A
b
B en funcin de los dominios de
b
A y
b
B.
Ejercicio 2.14. De igual manera que podemos construir un operador dependiente de
un cierto parmetro b, es posible construir vectores que tambin dependan de dicho
parmetro. De esta forma, si
b
A(b) y ~ w(b) son un operador y un vector dependientes
de un parmetro, demuestre que
d
db
b
A(b) ~ w(b)
=
d
b
A(b)
db
~ w(b) +
b
A(b)
d ~ w(b)
db
donde
d ~ w(b)
db
= lim
0<0
~ w(b +0) 3 ~ w(b)
0
.
2.9 Operador adjunto. Representacin matricial 53
2.9 Operador adjunto. Representacin matri-
cial
Empecemos deniendo el llamado operador adjunto.
DEFINICIN: Sea
b
A un operador lineal en un espacio de Hilbert H. El operador
adjunto de
b
A, al que llamaremos
b
A
, se dene mediante la regla de actuacin
~v,
b
A
~u
b
A~v , ~u
, ~v M D(
b
A) y ~u M D(
b
A
)
o, equivalentemente, tomando complejos conjugados, (
b
A
~u, ~v) = (~u,

b
A~v).
Por denicin, el dominio del adjunto, D(
b
A
), ser siempre el ms extenso posible

compatible con la regla de actuacin.
22
Algunas propiedades del operador adjunto son (demustrense como ejercicio sin
prestar atencin a posibles problemas relacionados con los dominios de denicin):
1.
k
b
A+q
b
B
= k
W
b
A
+q
W
b
B
, donde k y q son nmeros complejos.

2.
b
A
b
B
=
b
B
b
A
(atencin al cambio de orden!).

3.
b
A
31
b
A
31
.
4.
b
A
~v =
b
A~v, ~v M D(
b
A).
5.
b
A
~u =
P
n
b
A~e
n
, ~u
~e
n
, con {~e
n
} una base ortonormal contenida en D(
b
A).
El operador adjunto tiene una importancia especial en Mecnica Cuntica, pero
de momento podemos utilizarlo para obtener una relacin sencilla que nos permite
calcular las coordenadas de
b
A~u en una base de Fourier en trminos de las coordenadas
de ~u en dicha base. Denamos, en primer lugar, la llamada representacin matricial
de un operador y, a continuacin, pasaremos a describir el procedimiento.
DEFINICIN: Sea
b
A un operador lineal en un espacio de Hilbert H y B
F
=
{~e
1
, ~e
2
, ...} una base ortonormal contenida en D(
b
A). Denimos los elementos de
matriz del operador lineal
b
A en la base B
F
como el conjunto de nmeros complejos
A
kn
=
~e
k
,
b
A~e
n
Los complejos A
kn
denen una matriz cuyo elemento en la columna k-sima y la
la n-sima es A
kn
. A esta matriz recibe el nombre de representacin matricial
del operador
b
A en la base B
F
.
23
22
Para que la denicin tenga sentido es imprescindible que
b
A sea un operador de dominio
denso en H. Como ya hemos supuesto que este es el caso, no hemos incluido esta importante
restriccin en la denicin.
23
Hemos entrecomillado matriz porque en un espacio de Hilbert de dimensin innita
dicha matriz tendr innitas las y columnas. En un espacio lineal de dimensin N, la
representacin matricial de un operador lineal ser siempre una matriz N N.
TEOREMA: Sea
b
A un operador lineal en un espacio de Hilbert Hy B
F
= {~e
1
, ~e
2
, ...}
una base ortonormal contenida tanto en D(
b
A) como en D(
b
A
). Si {u
k
} son las co-
ordenadas de un vector ~u en la base B
F
, entonces la n-sima coordenada de
b
A~u en
dicha base est dada por
~e
n
,
b
A~u
=
X
k
A
nk
u
k
con A
nk
= (~e
n
,
b
A~e
k
) el elemento de matriz n, k del operador
b
A en la base B
F
.
Demostracin: La idea de la demostracin es evitar la actuacin del
operador
b
A sobre un desarrollo de Fourier, ya que hemos visto en un
ejemplo anterior que esto puede dar lugar a inconsistencias. As, en un
primer paso, usamos el operador adjunto para mover el operador
b
A,
haciendo que acte sobre el trmino de la izquierda en el producto escalar:
~e
n
,
b
A~u
~e
n
,
b
A
X
k
u
k
~e
k
!
=
b
A
~e
n
,
X
k
u
k
~e
k
!
(fjese cmo es necesario que ~e
n
M D(
b
A
)). Ahora podemos usar la linea-

lidad del producto escalar para transformar el ltimo miembro:
~e
n
,
b
A~u
=
X
k
u
k
b
A
~e
n
, ~e
k
y usando de nuevo la denicin de adjunto movemos otra vez el opera-

dor para que, esta vez, acte sobre el trmino de la derecha en el producto
escalar:
~e
n
,
b
A~u
=
X
k
u
k
~e
n
,
b
A~e
k
=
X
k
A
nk
u
k
,
llegando al resultado deseado.
En denitiva, usando la representacin matricial de un operador
b
A podemos re-
escribir su regla de actuacin sobre un vector ~u de manera que podamos trabajar con
ella en trminos de coordenadas, es decir, usando solamente los escalares A
mn
y u
n
.
La nica condicin especial que hemos impuesto es que la base ortonormal pertenez-
ca tanto al dominio del operador como al de su adjunto, lo que siempre sucede en
aplicaciones prcticas.
Enunciemos algunas propiedades de la representacin matricial (muy sencillas de
probar) que usaremos en muchas ocasiones:
1. (
b
A +
b
B)
nk
= A
nk
+B
nk
2. (k
b
A)
nk
= kA
nk
3. (
b
A
b
B)
nk
=
P
j
A
nj
B
jk
4.
b
A
nk
= A
W
kn
: la matriz de
b
A
es la traspuesta conjugada de la de
b
A.
2.9 Operador adjunto. Representacin matricial 55
Finalicemos la seccin retomando el ejemplo 2.17 en el que vimos que no se poda
extender la linealidad de un operador lineal a un desarrollo de Fourier. Observaremos
en este ejemplo que usando la representacin matricial ya no hay problema alguno.
(Debemos indicar que hay algn paso tcnico asociado a la manipulacin de series
numricas):
Ejemplo 2.25. Sea el operador lineal
b
P
x
= 3i
d
dx
en el espacio de Hilbert
L
2
[0, 1] con dominio las funciones contnuas C [0, 1] tales que su derivada
pertenece a L
2
[0, 1].
a) Calcule su representacin matricial en la base de Fourier de senos B
F
=
{
1
,
2
, ...} con
n
(x) =
I
2 sin(nZx).
b) Calcule
b
P
x
u(x), siendo u(x) = 1, usando dicha representacin matricial.
Solucin:
a) Los elementos de matriz P
mn
se obtienen directamente:
P
mn
=
m
,
b
P
x
= 32inZ
Z
1
0
sin(mZx) cos (nZx) dx =
=
3
2imn
m
2
3n
2
si n +m es impar
0 si n +m es par
y as la matriz innita que representa a
b
P
x
en la base B
F
es:
b
P
x
=
3
E
E
E
E
E
C
P
11
P
12
P
13
P
14
...
P
21
P
22
P
23
P
24
...
P
31
P
32
P
33
P
34
...
P
41
P
42
P
43
P
44
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
F
F
F
F
F
D
=
3
E
E
E
E
E
C
0
4
3
i 0
8
15
i ...
3
4
3
i 0
12
5
i 0 ...
0 3
12
5
i 0
24
7
i ...
3
8
15
i 0 3
24
7
i 0 ...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
F
F
F
F
F
D
b) Las coordenadas de u(x) en la base de senos son
u
n
= (
n
, u) =
Z
1
0
I
2 sin(nZx) dx =
2
3/2
/ (nZ) n impar
0 n par
.
Por tanto, la coordenada k-sima de
b
P
x
u(x) es
b
P
x
u
k
=
"
X
n=1
P
mn
u
n
=
;
A
?
A
=
0 si k es impar
X
n impar
3
2ikn
k
2
3n
2
2
3/2
nZ
si k es par
.
Ahora bien, para k par
impar
X
n
3
2ikn
k
2
3n
2
2
3/2
nZ
= i8
kZ
2
impar
X
n
1
Z
2
n
2
34
Zk
2
2
= i tan
Z
2
k
,
donde en el ltimo paso hemos usado el desarrollo en fracciones parciales de la fun-
cin tangente.
24
Como k es par, i tan(Zk/2) = 0 y, como era de esperar, todas las
24
Vase, por ejemplo, la obra Frmulas y tablas de matemtica aplicada de M.R. Spiegel,
J. Liu y L. Abellanas (Ed. McGraw-Hill, Serie Schaum, 2000).
coordenadas son nulas:
b
P
x
u
k
= 0 , k .
Por consiguiente,
b
P
x
u(x) = 0.
2.10 Operadores hermticos y autoadjuntos
De todos los operadores lineales posibles en un espacio de Hilbert, en el formal-
ismo cuntico tienen especial importancia los llamados operadores autoadjuntos, ya
que son estos los que, precisamente, estarn asociados a las magnitudes fsicas medi-
bles. Pasemos a denirlos y enunciar algunas de sus propiedades (todas ellas de uso
frecuente en Mecnica Cuntica).
DEFINICIONES: Se dice que un operador lineal
b
A es hermtico
25
si
~v,
b
A~ w
b
A~v, ~ w
, ~v, ~ w M D
b
A
,
es decir, si las reglas de actuacin del operador
b
A y su adjunto
b
A
coinciden para
todos los vectores del dominio de
b
A.
Adems, un operador hermtico
b
A es autoadjunto si, adems, cumple que
D
b
A
= D
b
A
,
lo que implica que
b
A =
b
A
(coincidencia de las reglas de actuacin y de los dominios)

Como acabamos de decir, los operadores de inters en Mecnica Cuntica son
autoadjuntos. En espacios de dimensin nita, en los que hemos impuesto que el
dominio de los operadores lineales es todo el espacio de Hilbert, los operadores her-
mticos son tambin autoadjuntos. Sin embargo, en espacios de Hilbert de dimensin
innita no es difcil encontrar operadores hermticos que no son autoadjuntos, ya que
el dominio del operador adjunto resulta ser ms amplio. Discernir rigurosamente si
un operador es autoadjunto o simplemente hermtico no es a menudo una labor fcil,
ya que requiere un anlisis detallado del dominio de denicin del operador. Veamos
un ejemplo que ilustra esta situacin.
Ejemplo 2.26. Sea el operador
b
P
x
= 3i
d
dx
de L
2
[a, b]. Determine si
b
P
x
es
autoadjunto dependiendo de que su dominio D(
b
P
x
) sea:
a) C
1
= {las funciones contnuas C [a, b] tales que su derivada pertenece a
L
2
[a, b]}.
b) Las funciones de C
1
tales que (a) = (b).
c) Las funciones de C
1
tales que (a) = (b) = 0.
Solucin:
Por denicin, el operador
b
P
x
ser hermtico si y slo si se cumple el criterio:
,
b
P
x
b
P
x
,
, (x) , (x) M D
b
P
x
.
25
Tambin se dice hermitiano o simtrico.
2.10 Operadores hermticos y autoadjuntos 57
Sustituyendo
b
P
x
por su expresin
,
b
P
x
=
Z
b
a
W
(x)
b
P
x
(x) dx = 3i
Z
b
a
W
(x)
d(x)
dx
dx,
e integrando por partes
,
b
P
x
= i
Z
b
a
d
W
(x)
dx
(x) dx 3i [
W
(b) (b) 3
W
(a) (a)]
=
Z
b
a
d [i
W
(x)]
dx
(x) dx 3i [
W
(b) (b) 3
W
(a) (a)]
=
Z
b
a
d [3i(x)]
dx
W
(x) dx 3i [
W
(b) (b) 3
W
(a) (a)]
=
Z
b
a
h
b
P
x
(x)
i
(x) dx 3i [
W
(b) (b) 3
W
(a) (a)] .
En denitiva
,
b
P
x
b
P
x
,
3i [
W
(b) (b) 3
W
(a) (a)] ,
independientemente del dominio de denicin del operador.
As, en el caso a) el operador no es hermtico (y, por tanto, tampoco autoadjunto)
ya que el trmino
W
(b) (b) 3
W
(a) (a) no tiene por qu anularse para todo par
de funciones en su dominio. Sin embargo, en los casos b) y c) dicho trmino s se
anula, por lo que el operador
b
P
x
es, como mnimo, hermtico.
Ahora bien, el operador ser autoadjunto si todos los vectores # (x) M H que veri-
quen las dos condiciones
Z
b
a
3i
d
dx
# (x)
W
(x) dx =
Z
b
a
#
W
(x)
3i
d
dx
(x)
dx, (x) M D
b
P
x
Z
b
a
3i
d
dx
# (x)
2
dx < "
pertenecen a D(
b
P
x
).
En este ejemplo, dichas funciones son las funciones continuas con derivada de cuadra-
do integrable y para las que # (a) = # (b), esto es, el dominio del operador
b
P
x
en el
caso b).
En resumen:
caso a):
b
P
x
no es hermtico ni autoadjunto (dominio demasiado extenso).
caso b):
b
P
x
es autoadjunto (y por tanto, hermtico).
caso c):
b
P
x
es hermtico, pero no autoadjunto (dominio demasiado restringido)
Resulta evidente que una preocupacin excesiva relacionada con los dominios
de los operadores puede interferir en la comprensin y aplicacin de los principios
fundamentales de la teora cuntica. Esto slo tiene su importancia en tratamientos
mucho ms formales, que estn muy por encima del nivel de este libro. Por ello, a
partir de ahora damos por supuesto que el dominio de un operador hermtico
es tal que el carcter autoadjunto del operador est garantizado, por lo
que usaremos indistintamente los trminos hermtico y autoadjunto. Empero, hemos
querido incluir el ejemplo anterior como nota de atencin: no es excesivamente difcil
plantear situaciones en las que haya una aparente contradiccin con algunos de los
importantes resultados que veremos en las siguientes secciones. En denitiva:
CRITERIO PRCTICO: En Mecnica Cuntica, un operador
b
A es autoad-
junto, es decir
b
A =
b
A
, si y slo si
~v,
b
A~ w
b
A~v, ~ w
, ~v, ~ w M D
b
A
.
Dicho esto, enunciemos las siguientes propiedades de los operadores autoadjuntos
en Mecnica Cuntica (demustrense como ejercicio):
1. Si
b
A y
b
B son autoadjuntos y a, b M R, entonces a
b
A+b
b
B es autoadjunto.
2. Si
b
A es autoadjunto, entonces
b
A
n
, con n un nmero natural, es tambin auto-
adjunto.
3. Si B
F
es una base ortonormal dentro del dominio de un operador autoadjunto
b
A, la representacin matricial de
b
A en esa base cumple A
nk
= A
W
kn
. Es decir,
la representacin matricial coincide con su compleja conjugada.
4. Si
b
A es autoadjunto, (~u,
b
A~u) = (
b
A~u, ~u) M R para todo ~u M D(
b
A). A esta
cantidad, simbolizada muchas veces por
D
b
A
E
, se le denomina valor medio o
valor esperado del operador autoadjunto
b
A para el vector ~u.
Usando esta ltima propiedad, se tiene la siguiente denicin:
DEFINICIN: Un operador autoadjunto es positivo si
~u,
b
A~u
D 0 para todo
~u M D(
b
A).
Ejemplo 2.27. Sea el espacio de Hilbert L
2
(D), siendo D \ R un intervalo
cerrado. Dada una funcin real de variable real f (x), denimos el operador
f(
b
X) mediante la siguiente regla de actuacin para cualquier funcin (x)
perteneciente a su dominio
f
b
X
(x) = f (x) (x)

En Mecnica Cuntica, estos operadores estarn relacionados con magni-
tudes fsicas dependientes de la posicin.
a) Probar que f(
b
X) es un operador lineal.
b) Probar que f(
b
X) es autoadjunto.
c) Qu condicin ha de cumplir f (x) para que f(
b
X) sea un operador po-
sitivo?
Solucin:
a) Ntese que, de acuerdo con nuestro convenio, el dominio de f(
b
X) es el mximo
posible. Es decir,
D
b
X
(x) M L
2
(D) tal que
Z
D
f (x)
2
|(x)|
2
dx es nito
.
2.10 Operadores hermticos y autoadjuntos 59
Sean (x) y # (x) dos funciones de D(f(
b
X)) y k, q escalares complejos. Entonces,
f
b
X
(k(x) +q# (x)) = f (x) (k(x) +q# (x))

= kf (x) (x) +qf (x) # (x) = kf
b
X
(x) +qf
b
X
# (x)
por lo que el operador f(
b
X) es lineal.
b) Por denicin, f (x) es real, y esto implica
#, f
b
X
=
Z
D
# (x)
W
f (x) (x) dx
=
Z
D
[f (x) # (x)]
W
(x) dx =
b
X
#,
,
de donde f(
b
X) es autoadjunto
c) Ha de cumplirse, para cualquier (x), que
, f
b
X
=
Z
D
f (x) |(x)|
2
dx D 0 ,
para lo que es necesario y suciente que f (x) D 0 para todo x M D.
2
(R). Denimos el operador
b
P
x
= 3i
d
dx
, con dominio las funciones continuas con derivada de cuadrado
integrable. Este operador est relacionado la representacin del momento
lineal en Mecnica Cuntica. Demuestre que es autoadjunto.
Solucin:
Segn el criterio prctico, dadas dos funciones # (x) , (x) M D(
b
P
x
) hay que probar
que
#,
b
P
x
b
P
x
#,
.
Para ello basta tener en cuenta que las funciones de cuadrado integrable necesaria-
mente se anulan en x = ":
#,
b
P
x
=
Z
+"
3"
#
W
(x)
3i
d
dx
(x) dx
= i
Z
+"
3"
d#
W
(x)
dx
(x) dx =
Z
+"
3"
3i
d
dx
#
W
(x)
W
(x) dx =
b
P
x
#,
y queda as demostrado que

b
P
x
es autoadjunto.
Ejemplo 2.29. Sean
b
A y
b
B dos operadores autoadjuntos en un espacio de
Hilbert H. Demuestre que el operador i[
b
A,
b
B] es autoadjunto.
Solucin:
Calculemos el adjunto de i[
b
A,
b
B] usando las propiedades del operador adjunto vistas
en la seccin 2.9
i
h
b
A,
b
B
i
i
b
A
b
B 3i
b
B
b
A
i
b
A
b
B
i
b
B
b
A
= 3i
b
A
b
B
+i
b
B
b
A
= 3i
b
B
b
A
+i
b
A
b
B
.
Como
b
A y
b
B son autoadjuntos:
i
h
b
A,
b
B
i
= 3i
b
B
b
A+i
b
A
b
B = i
b
A
b
B 3
b
B
b
A
= i
h
b
A,
b
B
i
,
quedando as demostrada la armacin.
Ejercicio 2.15. Sea
b
A un operador autoadjunto y
g (x) =
X
n
n
x
n
;
n
M R
Si el operador g(
b
A) existe, demuestre que tambin es autoadjunto. Anlogamente
demuestre que si el operador g(i
b
A) existe, entonces
~u, g
i
b
A
~v
3i
b
A
~u, ~v
.
2.11 Operadores unitarios. Cambios de base
En Mecnica Cuntica, los llamados operadores unitarios aparecen al estudiar la
evolucin temporal de un sistema fsico y tambin estn relacionados con las posibles
simetras del sistema.
b
U es unitario si
b
U
b
U
=
b
U
b
U = 1 (es decir, el
inverso coincide con el adjunto).
Ejemplo 2.30. Sean U
ji
los coecientes de la representacin matricial de
un operador unitario
b
U en una base ortonormal {~e
n
}.
a) Demostrar que si
b
U es unitario, entonces
X
j
|U
ji
|
2
= 1
para todo i.
b) Probar que si
b
b
U~v
= k~vk
para todo ~v M D(U).
Solucin:
a) La demostracin es operativa:
X
j
|U
ji
|
2
=
X
j
U
W
ji
U
ji
=
X
j
~e
j
,
b
U~e
i
~e
j
,
b
U~e
i
=
X
j
b
U~e
i
, ~e
j
~e
j
,
b
U~e
i
b
U~e
i
,
b
U~e
i
~e
i
,
b
U
b
U~e
i
= (~e
i
, ~e
i
) = 1.
b) Es consecuencia inmediata de la denicin:
b
U ~v
=
r
b
U ~v,
b
U ~v
=
r
~v,
b
U
b
U ~v
=
p
( ~v, ~v) = k~vk .
2.11 Operadores unitarios. Cambios de base 61
Ejemplo 2.31. Demostrar que si
b
U
1
y
b
U
2
son dos operadores lineales uni-
tarios, entonces
b
U
1
b
U
2
es unitario.
Solucin:
Evaluemos (
b
U
1
b
U
2
)
(
b
U
1
b
U
2
). Usando las propiedades del operador adjunto, la propie-
dad asociativa del producto de operadores, y el hecho de que
b
U
1
y
b
U
2
son unitarios,
b
U
1
b
U
2
b
U
1
b
U
2
=
b
U
b
U
1
b
U
1
b
U
2
=
b
U
2
b
U
2
= 1 .
De igual forma se demuestra que
b
U
1
b
U
2

b
U
1
b
U
2
= 1.
Ejemplo 2.32. Demustrese que si
b
A es autoadjunto, entonces el operador
e
i
b
A
es unitario.
Solucin:
En primer lugar tengamos en cuenta que
e
i
b
A
= lim
N<"
N
X
n=0
i
n
n!
b
A
n
implica que
e
i
b
A
= lim
N<"
N
X
n=0
(3i)
n
n!
b
A
n
Como
b
A es autoadjunto,
b
A
n
tambin lo es. Por tanto,
e
i
b
A
= lim
N<"
N
X
n=0
(3i)
n
n!
b
A
n
= e
3i
b
A
.
Ahora necesitamos evaluar e
i
b
A
e
3i
b
A
. Evidentemente i
b
A y 3i
b
A conmutan y, usando
el resultado derivado en el ejemplo 2.21
e
i
b
A
e
3i
b
A
= e
i
b
A3i
b
A
= e
0
= 1
e
3i
b
A
e
i
b
A
= e
3i
b
A+i
b
A
= e
0
= 1.
Como consecuencia, e
i
b
A
es unitario.
Por otro lado, los operadores unitarios estn relacionados con los cambios de
base. Dadas dos bases ortonormales, existe un operador unitario gracias al cual
podemos obtener las coordenadas de un vector y la representacin matricial de un
operador en la segunda base a partir de las coordenadas del vector y la representacin
matricial del operador en la primera base, respectivamente. Los siguientes ejemplos
ilustran el procedimiento.
Ejemplo 2.33. Sea {~e
i
} una base ortonormal de un espacio de Hilbert H y
b
U un operador unitario tal que su dominio contiene a la base ortonormal
{~e
n
}.
a) Demostrar que si ~u =
P
n
u
n
~e
n
M H, entonces
b
U ~u =
P
n
u
n
b
U~e
n
.
b) Demostrar que, salvo restricciones articiales, el dominio de un opera-
dor unitario es todo el Hilbert.
c) Si {
~
f
i
} es el transformado de la base {~e
n
} mediante la actuacin de
b
U, es
decir
~
f
i
=
b
U~e
i
, probar que la condicin necesaria y suciente para que {
~
f
i
}
sea tambin una base ortonormal de H es que el operador
b
U sea unitario.
Solucin:
a) Si el espacio de Hilbert es de dimensin nita, la igualdad es simple consecuen-
cia de la linealidad del operador. Si el espacio de Hilbert es de dimensin innita
debemos probar que la linealidad de un operador unitario se puede extender a una
suma innita. Para ello basta probar que si ~u =
P
n
u
n
~e
n
es un vector cualquiera
del Hilbert,
P
n
u
n
b
U~e
n
converge (ya que de converger lo hace al vector correcto).
Tomemos las sucesiones {~ w
I
}
"
I=1
y {~s
I
}
"
I=1
de trmino general
~ w
I
=
I
X
n=1
u
n
~e
n
; ~s
I
=
b
U ~ w
I
=
b
U
I
X
n=1
u
n
~e
n
=
I
X
n=1
u
n
b
U~e
n
.
Como
b
U es unitario, para todo I, J
k~ w
I
3 ~ w
J
k =
b
U ( ~ w
I
3 ~ w
J
)
= k~s
I
3~s
J
k .
Ya que (evidentemente) ~ w
I
es una sucesin de Cauchy, la anterior igualdad implica
que la sucesin ~s
I
=
P
I
n=1
u
n
b
U~e
n
tambin es de Cauchy, y por tanto convergente.
26
b) Es consecuencia inmediata de lo anterior.
c) Veamos primero la condicin suciente. Supongamos que
b
~
f
i
,
~
f
j
b
U~e
i
,
b
U~e
j
~e
i
,
b
U
b
U~e
j
= (~e
i
, ~e
j
) = B
ij
,
y el conjunto {
~
f
i
} es ortonormal. Probemos ahora que {
~
f
i
} es una base de Fourier.
Para ello consideremos un vector cualquiera ~v M H; entonces
b
U
~v pertenece al dominio
de
b
U que, acabamos de ver, es todo el Hilbert. Por consiguiente, el desarrollo de
Fourier
b
U
~v =
X
i
c
i
~e
i
.
existe. Aplicando
b
U a esta igualdad y usando el resultado del apartado a):
~v =
b
U
b
U
~v =
b
U
X
i
c
i
~e
i
=
X
i
c
i
b
U~e
i
=
X
i
c
i
~
f
i
.
Esto es, cualquier vector ~v M H puede expresarse como desarrollo de Fourier con los
vectores de
n
~
f
i
o
, por lo que este conjunto es una base ortonormal.
Veamos ahora la condicin necesaria, es decir, demostremos que si {
~
f
i
} es una base
26
Ntese que en ningn momento hemos extendido la linealidad de
b
U a una suma innita
(ya que es lo que, precisamente, queremos demostrar). Por otra parte, este ejemplo demuestra
cuan importante es la necesidad de que el espacio lineal sea de Hilbert.
2.11 Operadores unitarios. Cambios de base 63
ortonormal, entonces
b
U debe ser necesariamente unitario. Para ello basta demostrar
que (~e
i
,
b
U
b
U
~e
j
) = (
~
f
i
,
b
U
b
U
~
f
j
) = B
ij
pues entonces
b
U
b
U
=
b
U
b
U = 1. Esto es
inmediato:
~e
i
,
b
U
b
U~e
j
b
U~e
i
,
b
U~e
j
~
f
i
,
~
f
j
= B
ij
~
f
i
,
b
U
b
U
~
f
j
~
f
i
,
b
U
b
U
b
U
b
U
31
~
f
j
~
f
i
,
b
U ~e
j
~
f
i
,
~
f
j
= B
ij
.
Ejemplo 2.34. Sean {~e
n
} , {
~
f
n
} dos bases ortonormales de un espacio de
Hilbert y
b
U el operador unitario que transforma la base {~e
n
} en la base
{
~
f
n
}. Relacionar las coordenadas de un vector en ambas bases.
Solucin:
Sea un vector ~v =
P
n
v
n
~e
n
=
P
n
v
0
n
~
f
n
. Para obtener las coordenadas {v
0
n
} en
funcin de las coordenadas {v
n
} escribamos
v
0
n
=
~
f
n
, ~v
b
U~e
n
,
X
i
v
i
~e
i
!
=
X
i
b
U~e
n
, ~e
i
v
i
=
X
i
~e
i
,
b
U~e
n
W
v
i
.
Introduciendo el elemento de matriz U
in
=
~e
i
,
b
U~e
n
llegamos al resultado pedido:

v
0
n
=
X
i
U
W
in
v
i
=
X
i
U
ni
v
i
,
donde hemos usado tambin la representacin matricial de
b
U
.
Ejemplo 2.35. Sean A
ij
los coecientes de la representacin matricial de
un operador
b
A en la base {~e
i
} . Obtener la representacin matricial A
0
ij
de
dicho operador en una base {
~
f
i
} relacionada con la anterior mediante el
operador unitario
b
U (es decir
~
f
i
=
b
U~e
i
).
Solucin:
Los coecientes de la representacin matricial en la nueva base son
A
0
ij

~
f
i
,
b
A
~
f
j
b
U~e
i
,
b
A
b
U~e
j
~e
i
,
b
U
b
A
b
U~e
j
b
U
b
A
b
U
ij
Es decir,
A
0
ij
=
X
m,n
U
im
A
mn
U
nj
=
X
m,n
U
W
mi
A
mn
U
nj
.
Fjese, por otro lado, que
U
nj

~e
n
,
b
U ~e
j
~e
n
,
~
f
j
,
lo que permite obtener rpidamente el operador unitario que conecta ambas bases.
2.12 Proyectores ortogonales
Terminemos nuestra discusin sobre tipos especiales de operadores lineales con los
llamados proyectores ortogonales.
b
P con dominio todo el espacio de Hilbert H , es
un proyector ortogonal
27
si es autoadjunto y adems
b
P
2
=
b
P
b
P =
b
P.
Los proyectores estn relacionados con el siguiente teorema (imprescindible para
establecer aspectos esenciales del formalismo cuntico):
Teorema (de la proyeccin ortogonal): Sea H un espacio de Hilbert y W un
subespacio de Hilbert de H. Entonces:
1. El complemento ortogonal de W, W
z
, es tambin un subespacio de Hilbert.
2. Todo vector ~v M H puede escribirse de forma nica como
~v = ~v
W
+~v
W
B ; con ~v
W
M W y ~v
W
B M W
z
3. El vector ~v
W
, denominado proyeccin ortogonal de ~v sobre el subespacio W,
est dado por
~v
W
=
X
n
~
f
n
, ~v
~
f
n
,
donde B
W
=
n
~
f
1
,
~
f
2
, ...
o
es una base ortonormal de W.
Demostracin:
1. Puesto que H es un espacio es de Hilbert, toda sucesin de Cauchy
{~ w
n
}
"
n=1
a W
z
converge en H. Basta demostrar que el vector ~ w al
que converge la sucesin pertenece a W
z
, lo que es inmediato: si ~v
es un vector cualquiera de W, entonces (~v, ~ w) = (~v, lim
n<"
~ w
n
) =
lim
n<"
(~v, ~ w
n
) = lim
n<"
0 = 0.
2. Supongamos que hay dos posibles soluciones al problema de la proyec-
cin ortogonal
~v = ~v
W
+~v
W
B
~v = ~v
0
W
+~v
0
W
B,
que es equivalente a escribir
~v
W
3~v
0
W
= ~v
0
W
B 3~v
W
B.
Como, por hiptesis, (~v
W
3~v
0
W
) z
~v
0
W
B
3~v
W
B
, tendremos
~v
W
3~v
0
W
2
=
~v
W
3~v
0
W
, ~v
W
3~v
0
W
~v
W
3~v
0
W
, ~v
0
W
B 3~v
W
B
= 0
de donde no queda ms remedio que ~v
W
3~v
0
W
=
~
0 y la descomposicin
~v = ~v
W
+~v
W
B es nica.
27
Por abuso del lenguaje, se omite muchas veces el trmino ortogonal.
2.12 Proyectores ortogonales 65
3. Por construccin, el vector ~v
W
=
P
n
~
f
n
, ~v
~
f
n
pertenece a W. Basta
entonces demostrar que
~v
W
B = ~v 3~v
W
= ~v 3
X
n
~
f
n
, ~v
~
f
n
es ortogonal a W. Para ello hay que tomar un vector cualquiera ~ w =
P
n
w
n
~
f
n
de W y comprobar que ( ~ w, ~v
W
B) = 0. En efecto:
( ~ w, ~v
W
B) =
~ w, ~v 3
X
n
~
f
n
, ~v
~
f
n
!
=
X
m
w
m
~
f
m
, ~v 3
X
n
~
f
n
, ~v
~
f
n
!
=
X
m
w
W
m
~
f
m
, ~v
3
X
m,n
w
W
m
~
f
n
, ~v
~
f
m
,
~
f
n
=
X
m
w
W
m
~
f
m
, ~v
3
X
m,n
w
W
m
~
f
n
, ~v
B
mn
= 0 ,
y queda as demostrada la igualdad.
La proyeccin ortogonal sobre un subespacio de Hilbert W puede expresarse me-
diante la actuacin de un proyector ortogonal
b
P
W
. En efecto, denamos un operador
b
P
W
cuyo dominio es todo el Hilbert y su regla de actuacin es
b
P
W
~v = ~v
W
=
X
n
~
f
n
, ~v
~
f
n
,
donde {
~
f
n
} es una base ortonormal de W. Es fcil comprobar (intntese) que
b
P
W
satisface las condiciones que denen a un proyector ortogonal: es lineal, autoadjunto,
y
b
P
2
W
=
b
P
W
.
A la vista del resultado anterior, podemos nalizar esta seccin deniendo el
importante concepto de suma directa de subespacios.
DEFINICIN: Sea H un espacio de Hilbert y W
1
, W
2
,... un conjunto de sub-
espacios de Hilbert ortogonales entre s. Se dice que H es suma directa de estos
subespacios de Hilbert (simbolizndose como H = W
1
k W
2
k W
3
k ...) si cualquier
vector ~u M H puede escribirse como
~u = ~u
W
1
+~u
W
2
+~u
W
3
+... ,
donde
~u
W
n
=
b
P
W
n
~u
es la proyeccin ortogonal de ~u sobre W
n
.
Esta relacin entre subespacios se traduce en la relacin siguiente para sus proyectores
asociados
b
I =
b
P
W
1
+
b
P
W
2
+
b
P
W
3
+...
Ejemplo 2.36. Consideremos el espacio de Hilbert L
2
(R) y los subespacios
lineales L
2
+
(R) y L
2
3
(R) formados por todas las funciones pares e impares,
respectivamente.
a) Demuestre que son subespacios de Hilbert ortogonales entre s.
b) Compruebe que L
2
(R) = L
2
+
(R) kL
2
3
(R), halle el proyector ortogonal
b
P
+
sobre el subespacio L
2
+
(R), y el proyector ortogonal
b
P
3
sobre el subespacio
L
2
3
(R)
c) Denamos el operador paridad
b
=
b
P
+
3
b
P
3
. Obtenga
b
(x) para cualquier
funcin del Hilbert.
Solucin:
a) Si
+
(x) es una funcin par y
3
(x) una impar
+
.
3
=
Z
+"
3"
W
+
(x)
3
(x) dx = 0 ,
ya que el integrando es impar. La igualdad se cumple para todas las funciones pares
e impares y, entonces, L
2
+
(R) z L
2
3
(R).
Por otra parte, L
2
+
(R) es un subespacio de Hilbert ya que toda sucesin convergente
de funciones pares converge a una funcin par.
28
Anlogamente se ve que L
2
3
(R) es
un subespacio de Hilbert.
b) De acuerdo con un resultado bien conocido de Anlisis Matemtico, toda funcin
(x) puede escribirse de forma nica como suma de una funcin par y otra impar:
(x) =
+
(x) +
3
(x) =
(x) +(3x)
2
(x) 3(3x)
2
,
lo que demuestra que L
2
(R) = L
2
+
(R) k L
2
3
(R). Los proyectores respectivos se
obtienen inmediatamente a partir de la igualdad anterior:
b
P
+
(x) =
+
(x) =
(x) +(3x)
2
b
P
3
(x) =
3
(x) =
(x) 3(3x)
2
c) Aplicando la denicin
b
(x) =
b
P
+
(x) 3
b
P
3
(x) = (3x)
Observamos que
b
(x) = +(x) si y slo si (x) es par. Igualmente,
b
# (x) = 3# (x)
si y slo si # (x) es impar.
Ejercicio 2.16. Demuestre que el operador paridad es autoadjunto y, a la vez,
unitario.
Ejercicio 2.17. Sea B
W
una base ortornormal del subespacio de Hilbert W. Como
el complemento ortogonal W
z
es tambin un subespacio de Hilbert, el teorema de la
proyeccin ortogonal implica que H = WkW
z
. Demuestre que si B
W
B es una base
ortonormal de W
z
, entonces B
W
B
W
B
es una base ortonormal de todo el espacio de
Hilbert. Cul ser la representacin matricial del proyector
b
P
W
en esta base? Y la
del proyector
b
P
W
B
= 1 3
b
P
W
? Generalice los dos ltimos resultados al caso de una
descomposicin del espacio de Hilbert en una suma directa de un nmero arbitrario
(pero nito) de subespacios de Hilbert ortogonales entre s.
28
Salvo, quizs, para valores aislados de la variable, lo que es irrelevante como ya sabemos.
2.13 Espectro puntual. Autovalores y autovectores 67
2.13 Espectro puntual. Autovalores y autovec-
tores
Pasemos ahora a denir los conceptos de autovalor y autovector, que tienen una
importancia capital en el formalismo cuntico. Consideraremos, como ya es habitual,
un espacio de Hilbert H y un operador lineal
b
A cuyo su domino contiene una base
ortonormal de H.
DEFINICIN: Sea
b
A un operador lineal de H. Denimos su espectro puntual,
denotndose por j
p
(
b
A), como el conjunto formado por todos los escalares a M C tales
que el operador (
b
A3a
b
I)
31
no existe. Por tanto,
29
existe un vector no nulo ~u M H
que es solucin de la ecuacin de autovalores
b
A3a
b
I
~u = 0
o, equivalentemente, que cumple
b
A~u = a~u.
Diremos que a es un autovalor o valor propio del operador
b
A y que ~u es un auto-
vector o vector propio de
b
A (o autofuncin o funcin propia si estamos en un
espacio de funciones) con autovalor a.
TEOREMA: Sea un operador lineal
b
A de un espacio de Hilbert H y un autovalor
a del operador. El conjunto E
a
formado por todos los autovectores asociados
al autovalor a es un subespacio lineal.
Demostracin: Basta probar que si ~u, ~v son autovectores de
b
A con auto-
valor a, y q, dos complejos arbitrarios, entonces q~u + ~v tambin es
autovector de
b
A con igual autovalor. As,
b
A(q~u +~v) = q
b
A~u +
b
A~v = qa~u +a~v = a (q~u +~v) ,
quedando demostrada la armacin.
Consecuencia de este teorema, tenemos las siguientes deniciones:
DEFINICIONES: Dado un operador lineal
b
A, al subespacio lineal E
a
formado por
los autovectores asociados a un autovalor a se le denomina espacio propio
30
aso-
ciado al autovalor en cuestin.
A la dimensin g de dicho subespacio lineal se le llama degeneracin o multiplici-
dad del autovalor.
Si la degeneracin del espacio propio asociado a un autovalor es la unidad, se dice que
el autovalor es no degenerado.
31
Por el contrario, si g > 1 se dice que el autovalor
es g-degenerado (o que tiene degeneracin o multiplicidad g).
Veamos tres ejemplos interesantes. En el primero relacionamos los autovalores
de un operador lineal g(
b
A) con los de
b
A. En los dos ltimos ilustramos el clculo
de autovalores y autovectores en un espacio funcional y en un espacio de Hilbert de
dimensin nita, respectivamente.
29
Recuerde el teorema de caracterizacin de invertibilidad de un operador.
30
Muchas veces se dice subespacio propio para enfatizar que estamos hablando de un
subespacio del Hilbert.
31
La expresin equivalente degeneracin uno apenas se utiliza.
Ejemplo 2.37. Sea
b
A un operador lineal en un espacio de Hilbert.
a) Si a es un valor propio de
b
A, demuestre que a
n
es valor propio de
b
A
n
,
siendo n un nmero natural.
b) Como consecuencia, dada una funcin analtica g (x), pruebe que g (a)
es valor propio del operador g(
b
A).
(No preste atencin a problemas derivados del dominio de denicin).
Solucin:
a) Sea a un autovalor de
b
A y ~u un vector propio y
b
A
n
~u =
b
A
b
A...
b
A
~u. Aplicando
sucesivamente
b
A al vector ~u y teniendo en cuenta el carcter lineal de
b
A, se obtiene
inmediatamente
b
A
n
~u = a
n
~u,
por lo que, adems, ~u es vector propio de
b
A
n
con autovalor a
n
.
b) Dado que g es analtica, g (x) = lim
N<"
P
N
n=0
g
n
x
n
y
g
b
A
~u = lim
N<"
N
X
n=0
g
n
b
A
n
~u
!
= lim
N<"
N
X
n=0
g
n
a
n
~u
!
= lim
N<"
N
X
n=0
g
n
a
n
!
~u = g (a) ~u,
y por tanto ~u es vector propio de g
b
A
con autovalor g (a).

2
[0, 1] y consideremos el operador
b
P
x
= 3i
d
dx
. Calcule j
p
(
b
P
x
) si su dominio es:
a) El conjunto de funciones continuas C [0, 1].
b) Las funciones de C [0, 1] tales que (0) = (1).
c) Las funciones de C [0, 1] tales que (0) = (1) = 0.
Solucin:
Recordemos que el ejemplo 2.26 vimos que la denicin del dominio de
b
P
x
era fun-
damental a la hora de determinar su carcter autoadjunto. Este segundo ejemplo
continua en la lnea de enfatizar la importancia de los dominios de denicin, ya que
ilustraremos cmo un cambio en el dominio del operador puede hacer variar comple-
tamente su espectro puntual.
a) Para calcular el espectro del operador planteemos la ecuacin de autovalores
b
P
x
p
(x) = p
p
(x) i 3i
d
dx
p
(x) = p
p
(x)
Para un p M C dado, su solucin general es
p
(x) = Ae
ipx
con A una constante arbitraria. Todas las funciones solucin de la ecuacin de auto-
valores pertenecen al dominio de
b
P
x
, luego no hay restriccin alguna y
j
p
(
b
P
x
) = C.
As, el espectro puntual j
p
(
b
P
x
) llena todo el conjunto de los nmeros complejos.
32
b) En este caso, la ecuacin de autovalores
b
P
x
p
(x) = p
p
(x) tendr como solucin
p
(x) = Ae
ipx
, pero con la restriccin
p
(0) =
p
(1) .
Esto implica que ya no todas las soluciones son vlidas, sino slo aquellas que cumplen
1 = e
ip
Por tanto, los autovalores han de vericar p = 2Zn, con n cualquier nmero entero:
j
p
(
b
P
x
) = {2Zn ; n = 0, 1, 2, ...}
Las autofunciones correspondientes (ya normalizadas) son
n
(x) = e
2Zinx
que resultan ser los elementos de la base exponencial de Fourier.
c) En este ltimo caso, ninguna solucin
p
(x) = Ae
ipx
pertenece al dominio del
operador, por lo que j
p
(
b
P
x
) = . Fjese que en espacios lineales de dimensin innita
puede ocurrir que un operador hermtico no tenga autovalores, algo completamente
imposible en espacios de dimensin nita.
Ejemplo 2.39. En la descripcin del momento magntico intrnseco o
espn del electrn aparece con frecuencia el operador lineal b s
y
del espacio
de Hilbert C
2
. La representacin matricial de este operador en la base
cannica

~e
1
=
1
0
, ~e
2
=
1
0
es
[b s
y
] =
0 3i
i 0
.
As, dado un vector ~u = u
1
~e
1
+ u
2
~e
2
, las coordenadas de ~ w = b s
y
~u en la esta
base estn dadas por
w
1
w
2
0 3i
i 0
u
1
u
2
3iu
2
iu
1
.
a) Demuestre que b s
y
es autoadjunto.
b) Obtenga los autovalores de b s
y
y los vectores propios correspondientes.
c) Evale exp(iab s
y
) ~e
1
, con a M R.
Solucin:
a) La representacin matricial de b s
y
es la traspuesta conjugada de la de b s
y
:
h
b s
y
i
=
0 3i
i 0
+
=
0 3i
i 0
= [b s
y
] .
As, las reglas de acutacin de b s
y
y b s
y
coinciden. Como estamos en un espacio de
dimensin nita no hay problema alguno con los dominios y
b s
y
= b s
y
.
32
Esto parece sugerir que el nombre espectro puntual es particularmente desafortunado.
b) De acuerdo con la denicin, b ser un autovalor de b s
y
si el operador b s
y
3b
b
I no es
invertible. Aplicando resultados tpicos del lgebra lineal, la no invertibilidad de un
operador queda caracterizada por el hecho de que el determinante de su representacin
matricial es cero y obtenemos la llamada ecuacin caracterstica
det
0 3i
i 0
3b
1 0
0 1
3b 3i
i 3b
= b
2
31 = 0.
Los autovalores son j
p
(b s
y
) = {31, +1}.
Llamemos
~
l
3
=
l
31
l
32
,
~
l
+
=
l
+1
l
+2
a los autovectores correspondientes. As,
0 3i
i 0
l
1
l
2
l
1
l
2
3il
2
= l
1
il
1
= l
2
.
Este sistema de ecuaciones tiene innitas soluciones, pero todas ellas proporcionales
entre s. Tomando l
1
= 1, inmediatamente tenemos
~
l
1
i
y, normalizando estos vectores,

~
l
3
=
1
I
2
(~e
1
3i~e
2
) ;
~
l
+
=
1
I
2
(~e
1
+i~e
2
) .
c) Para calcular exp(iab s
y
) ~e
1
conviene escribir ~e
1
como una combinacin lineal de
los autovectores
~
l
. A partir del resultado del apartado anterior tenemos que

~e
1
=
1
I
2
~
l
3
+
~
l
+
,
de modo que
exp(iab s
y
) ~e
1
=
1
I
2
exp(iab s
y
)
~
l
3
+
1
I
2
exp(iab s
y
)
~
l
+
=
1
I
2
e
3ia
~
l
3
+
1
I
2
e
+ia
~
l
+
Escribiendo ahora
~
l
en trminos de la base cannica, llegamos al resultado nal:

exp(iab s
y
) ~e
y
=
1
2
h
e
3ia
(~e
1
3i~e
2
) +e
+ia
(~e
1
+i~e
2
)
i
= cos (a) ~e
1
3sin(a) ~e
2
.
La mayora de los operadores de inters en Mecnica Cuntica son bien autoadjunto
o bien unitarios. Es por ello por lo que, a continuacin, procederemos a enunciar
propiedades importantes del espectro puntual de estos operadores.
TEOREMA: Sea
b
A un operador autoadjunto en un espacio de Hilbert H.
1. Su espectro puntual es real.
2. Los espacios propios de
b
A son ortogonales entre s.
3. Su espectro puntual es numerable
33
y, por tanto, los valores propios de un
operador autoadjunto estn aislados en la recta real.
Demostracin:
1. Es consecuencia inmediata del carcter autoadjunto del operador. Si
a M j
p
(
b
A) y ~ w 6=
~
0 es un autovector con dicho autovalor, entonces
~ w,
b
A~ w
= ( ~ w, a~ w) = a k~ wk
2
.
Por otro lado, usando las propiedades del producto escalar y el carcter
autoadjunto de
b
A
~ w,
b
A~ w
b
A~ w, ~ w
W
=
~ w,
b
A
~ w
W
=
~ w,
b
A~ w
W
= a
W
k~ wk
2
.
Como k~ wk 6= 0, no queda ms remedio que a = a
W
, de donde a es real:
los valores propios de un operador autoadjunto son reales.
2. Sean ~ w
a
y ~ w
b
autovectores no nulos de
b
A con autovalores a y b,
respectivamente. Por un lado
~ w
a
,
b
A ~ w
b
= ( ~ w
a
, b ~ w
b
) = b ( ~ w
a
, ~ w
b
) ,
y por otro (usamos
b
A autoadjunto y a M R)
~ w
a
,
b
A ~ w
b
b
A ~ w
a
, ~ w
b
= (a ~ w
a
, ~ w
b
) = a ( ~ w
a
, ~ w
b
) .
Por tanto
b ( ~ w
a
, ~ w
b
) = a ( ~ w
a
, ~ w
b
) i (b 3a) ( ~ w
a
, ~ w
b
) = 0
y si a 6= b, entonces ( ~ w
a
, ~ w
b
) = 0. Esto es, autovectores asociados a auto-
valores distintos son ortogonales, quedando demostrada la armacin.
3. Imaginemos que no lo sea. De acuerdo con el punto anterior podemos
construir un conjunto ortonormal sin ms que tomar un autovector nor-
malizado asociado a cada autovalor. As tendramos un conjunto ortonor-
mal innito no numerable al que llamaremos B
n.n.
, lo que es imposible en
un espacio de Hilbert en el que todas las bases ortonormales (conjuntos
ortonormales mximos) son numerables y, por tanto, todos los conjuntos
ortonormales.
TEOREMA: Sea
b
U un operador unitario en un espacio de Hilbert H.
1. Si k M j
p
(
b
U), entonces |k| = 1 y k
W
M j
p
(
b
U
)
2. Los espacios propios de
b
A son ortogonales entre s.
3. Su espectro puntual es numerable.
33
Por tanto, el nombre espectro puntual s est plenamente justicado para un operador
autoadjunto.
Demostracin:
1. Sea ~v un vector propio de
b
U con autovalor k M C:
b
U ~v = k~v .
Como
b
U es unitario:
k~vk =
b
U ~v
y entonces
k~vk =
b
U ~v
= kk~vk = |k| k~vk .

Esto implica necesariamente, ya que k~vk 6= 0, que |k| = 1. Esto es, los
valores propios de un operador unitario tienen mdulo unidad.
Por otro lado, si ~v es un autovector del operador unitario
b
U con autovalor
k tenemos que
~v =
b
U
b
U ~v =
b
U
(k~v) = k
b
U
~v i
b
U
~v = k
31
~v
por lo que k
31
es autovalor de
b
U
. Ahora bien, como k es un complejo

de mdulo unidad, k
31
= k
W
, y queda demostrada la armacin.
2. Sean ~v
k
y ~v
q
autovectores no nulos de
b
U con autovalores k y q,
respectivamente. Entonces
(~v
k
, ~v
b
) =
~v
k
,
b
U
b
U~v
b
b
U~v
k
,
b
U~v
b
= (k~v
k
, q~v
q
) = k
W
q (~v
k
, ~v
q
)
La igualdad slo puede ser cierta si k
W
q = 1 o si (~v
k
, ~v
q
) = 0. Sin
embargo, ya que |k| = |q| = 1, k
W
q = 1 implica necesariamente k = q.
As, si tenemos dos autovectores asociados a autovalores diferentes, su
producto escalar es cero, quedando demostrada la armacin.
3. Idntica a la del punto 3 del teorema anterior.
Los espectros puntuales de operadores autoadjuntos y unitarios cumplen muchas
otras propiedades, aunque las ms importantes son las que hemos enunciado en los dos
teoremas anteriores. Otra propiedad, que tiene su inters en formulaciones matemti-
cas ms estrictas de la teora de espacios de Hilbert, es la que presentamos en el
siguiente ejemplo (un tanto tcnico) que, adems, sirve para recordar al lector que
los espacios de Hilbert de dimensin innita son muy diferentes a los de dimensin
nita.
Ejemplo 2.40. (*) Consideremos un operador lineal
b
A de un espacio de
Hilbert H de dimensin nita. Si se cumple la siguiente condicin:
existe ~ w 6=
~
0 tal que
~ w,
b
A3b
b
I
~u
= 0 para todo ~u M D
b
A
,
entonces b M j
p
(
b
A).
a) Demuestre la armacin anterior.
b) Compruebe que sigue siendo cierta en espacios de Hilbert de dimensin
innita si el operador
b
A es autoadjunto o unitario.
c) Sin embargo, hay otros operadores en espacios de Hilbert de dimen-
sin innita para los que tal condicin deja de ser suciente y, aunque se
cumpla, no podemos armar que b sea un autovalor. Un caso tpico es el
del operador lineal
b
T
+
de C
"
2
, con dominio todo el Hilbert, cuya regla de
actuacin sobre una "-tupla (u
1
, u
2
, u
3
, ...) es
b
T
+
(u
1
, u
2
, u
3
, u
4
...) = (0, u
1
, u
2
, u
3
, ...) .
Demuestre que este operador no tiene espectro puntual, pero que todos
los complejos de mdulo menor que uno cumplen la condicin dada al
principio del enunciado.
Solucin:
a) La condicin dada en el enunciado es equivalente a armar que b
W
M j
p
(
b
A
). En
efecto, si se cumple la condicin tenemos que para cualquier ~u M D(
b
A)
~ w,
b
A3b
b
I
~u
= 0 i
b
A3b
b
I
~ w, ~u
= 0 i
b
A
3b
W
b
I
~ w, ~u
= 0.
Ahora bien, estamos suponiendo que siempre existe una base B = {~e
n
} contenida en
D(
b
A). As,
b
A
3b
W
b
I
~ w =
X
n
~e
n
,
b
A
3b
W
b
I
~ w
~e
n
=
X
n
b
A
3b
W
b
I
~ w, ~e
n
W
~e
n
=
X
n
0~e
n
=
~
0
y como ~ w 6=
~
0, tenemos que b
W
M j
p
(
b
A
). Por tanto, lo que tenemos que demostrar

es que si b
W
M j
p
(
b
A
), entonces b M j
p
(
b
A
) para cualquier operador en un espacio

de Hilbert de dimensin nita y, en general, para todos los operadores autoadjuntos
y unitarios.
En espacios de Hilbert de dimensin nita N, sea [
b
A] la matriz NN representacin
matricial del operador
b
A en la base ortonormal B. A su vez, la representacin ma-
tricial de
b
A
es la matriz traspuesta conjugada de [

b
A], a la que llamaremos [
b
A]
+
.
Entonces, si b
W
M j
p
(
b
A
), b
W
es solucin de la ecuacin caracterstica
det
h
b
A
i
3b
W
h
b
I
i
= 0 i det
h
b
A
i
+
3b
W
h
b
I
i
= det
h
b
A3b
b
I
i
+
= 0.
Ahora bien, es conocido que el determinante de una matriz es el complejo conjugado
del de su traspuesta conjugada, por lo que
det
h
b
A3b
b
I
i
= 0 i b M j
p
b
A
para cualquier
b
A en un Hilbert de dimensin nita.
34
b) Si ahora suponemos que
b
A es autoadjunto, entonces
b
A
=
b
A e, independientemente
34
Hay una demostracin mucho ms simple que se basa en la no invertibilidad de
b
A3b
b
I.
Sin embargo, hemos preferido esta demostracin para recordar al lector algunas propiedades
del clculo matricial en espacios de Hilbert de dimensin fnita que, en mucho casos, son
tiles en Mecnica Cuntica.
de la dimensin del Hilbert
b
W
M j
p
b
A
i b
W
M j
p
b
A
y como el espectro puntual de un autoadjunto es real, entonces b

W
= b y, por tanto,
b M j
p
(
b
A).
Consideremos ahora un operador unitario
b
U. Naturalmente, si
b
U es unitario,
b
U
tambin lo es. Entonces si b

W
M j
p
(
b
U
) y si ~ w 6=
~
0 es un autovector de
b
U
con
autovalor b
W
:
~ w =
b
U
b
U
~ w =
b
U
b
U
~ w
=
b
U (b
W
~ w) = b
W
b
U ~ w i
b
U ~ w = b~ w i b M j
p
b
U
,
donde hemos usado b = 1/b
W
ya que |b
W
| = 1. Ntese, adems, que este resultado
muestra que el espectro del adjunto de un operador unitario es el complejo conjugado
del espectro del operador.
c) Veamos que para el operador de C
"
2
b
T
+
(u
1
, u
2
, u
3
, u
4
...) = (0, u
1
, u
2
, u
3
, ...)
el espectro puntual es vaco. Para ello planteemos la ecuacin de autovalores
b
T
+
~u = b~u
que implica la siguiente regla de recurrencia para las componentes del vector:
0 = bu
1
u
1
= bu
2
u
2
= bu
3
u
3
= bu
4
.
.
.
Si b = 0 inmediatamente u
i
= 0 para todo i. Si b 6= 0 entonces por la primera
ecuacin u
1
= 0, por la segunda u
2
= b
31
u
1
= 0, por la tercera, u
3
= b
31
u
2
= 0, etc.
Es decir, para cualquier b la ecuacin de autovalores tiene nicamente la solucin
trivial ~u =
~
0, por lo que j
p
(
b
T
+
) = .
Sin embargo veamos que hay escalares complejos para los que existe un vector ~ w =
(w
n
)
"
n=1
6=
~
0 no nulo que satisface la condicin
~ w,
b
T
+
3b
b
I
~u
= 0 para todo ~u M C
"
2
.
Para un ~u genrico
b
T
+
3b
b
I
~u = (0 3bu
1
, u
1
3bu
2
, u
2
3bu
3
, ...) ,
por lo que
~ w,
b
T
+
3b
b
I
~u
= 0 implica que
w
W
1
(0 3bu
1
) +w
W
2
(u
1
3bu
2
) +w
W
3
(u
2
3bu
3
) +...
= (w
W
2
3bw
W
1
) u
1
+ (w
W
3
3bw
W
2
) u
2
+ (w
W
4
3bw
W
3
) u
3
= 0 ,
Recordemos que la igualdad ha de cumplirse para todo (u
n
)
"
n=1
, por lo que la condi-
cin se cumplir si la regla de recurrencia
w
W
2
= bw
W
1
w
W
3
= b
W
w
W
2
w
W
4
= b
W
w
W
3
.
.
.
admite soluciones no nulas pertenecientes al espacio de Hilbert. Si tomamos w
1
= 1,
entonces
~ w =
1, b, b
2
, b
3
, ...
y este vector ~ w pertenecer a C

"
2
si
k~ wk
2
=
"
X
n=1
b
n31
2
= 1 +
"
X
m=1
|b|
2
m
M R.
La suma innita es la suma de todos los trminos de una progresin geomtrica de
razn |b|
2
, la cual converge si y slo si |b|
2
< 1. En denitiva, la condicin se cumple
para todos los complejos
{b M C tal que |b| < 1}
que era lo que queramos demostrar.
35
Sin embargo, la diferencia fundamental entre espacios de Hilbert de dimensin
nita y de dimensin innita es la siguiente. Dado un operador
b
A en un espacio de
dimensin nita, siempre es posible encontrar una base lineal formada por autovec-
tores de
b
A y, en el caso particular de que
b
A sea autoadjunto (o tambin unitario),
una base ortonormal. Sin embargo, este importante resultado deja de ser cierto en
espacios de dimensin innita. Si nos restringimos a un operador
b
A autoadjunto de
un Hilbert de dimensin innita H se pueden dar tres situaciones:
1. Hay una base ortonormal de H formada por autovectores de
b
A.
2. Siendo j
p
(
b
A) 6= , no es posible construir una base ortonormal de H formada
por autovectores de
b
A. Se dice entonces que el conjunto de los autovectores no
es completo.
3. j
p
(
b
A) 6= y
b
A no tiene autovectores.
35
Esta situacin ilustra la existencia del llamado espectro residual de un operador lineal
b
B, denido como el conjunto de los escalares complejos b que, sin pertenecer al espectro
puntual, cumplen la condicin:
existe ~ w 6=
~
0 tal que
~ w,
b
B 3b
b
I
~u
= 0 para todo ~u M D
b
B
Fjese, entonces, que en el apartado a) hemos demostrado es que ni los operadores autoad-
juntos ni los unitarios tienen espectro residual.
Ahora bien, es esencial para la interpretacin adecuada de la teora cuntica que
se cumpla la primera situacin. Esto lleva a la necesidad de generalizar el concepto
de autovalor y autovector, para lo que el precio que hay que pagar es la inclusin en
el formalismo de vectores de norma innita. Esta inclusin puede (y debe) evitarse
en un tratamiento matemtico riguroso, pero entonces el procedimiento (que, de
por s no es nada sencillo) resulta mucho ms difcil de entender. Por ello, en la
siguiente seccin incorporaremos al formalismo estos vectores de norma innita,
adems de introducir la llamada funcin delta de Dirac y la transformada de Fourier,
de utilizacin habitual en Mecnica Cuntica. Hecho esto, ya podremos generalizar
el concepto de autovalor y autovector.
2.14 Vectores no normalizables
Hasta ahora, buena parte del aparato matemtico que hemos desarrollado se fun-
damentaba en el hecho de que un espacio de Hilbert es un espacio lineal con producto
escalar y cerrado bajo la topologa asociada al producto escalar. Esto garantizaba
que el producto escalar de dos vectores siempre es un nmero complejo y que las
sucesiones de Cauchy (las sucesiones que tienden a estabilizarse) siempre convergen
a un vector del espacio de Hilbert. Si no hubisemos tomado estas precauciones,
prcticamente nada de lo que hemos estado exponiendo se podra sostener.
Sin embargo resulta conveniente para nuestros propsitos ampliar el espacio
de Hilbert. As, daremos cabida a otros objetos y extenderemos a los mismos el
clculo del producto escalar, aunque no exista garanta de que ste sea siempre nito.
Por ejemplo, si C
"
es el conjunto formado por todas las "-tuplas ~ w = (w
n
)
"
n=1
de
nmeros complejos, el producto escalar entre dos "-tuplas cualesquiera ~ w y ~u ser
( ~ w, ~u) =
"
X
n=1
w
W
n
u
W
n
Igualmente, si F (R) es el conjunto de todas las funciones complejas de variable real,
tendremos que, para dos funciones de F (R):
((x) , # (x)) =
Z
R
W
(x) # (x) dx;
y, salvo que estemos haciendo un tratamiento muy abstracto, esta ampliacin se podr
hacer siempre sin problemas para un espacio de Hilbert dado.
Ahora bien, vamos a imponer una nica condiciones a estos vectores
~
de norma
innita (o no normalizables), y es que exista una base ortonormal del espacio de
Hilbert tal que el producto escalar de
~
con todos los vectores de la base sea nito.
Por tanto, si {~e
n
}
"
n=1
es la mencionada base tenemos que
~
es igual a un desarrollo
de Fourier generalizado
~
=
"
X
n=1
n
~e
n
con
n
=
~e
n
,
~
,
2.14 Vectores no normalizables 77
donde
n
es, entonces, la n-sima coordenada del vector en la base ortonormal.
36
Gracias a esta imposicin las propiedades del producto escalar se preservan. As, si
{#
n
}
"
n=1
y {
n
}
"
n=1
son las coordenadas de dos vectores ~# y
~
, independientemente
de que sean de norma nita o no, se cumple que
~#,
~
=
"
X
n=1
#
W
n
n
.
Tambin debemos extender la actuacin de un operador
b
A a vectores de norma
innita, es decir, ampliar su dominio. Esto ser siempre sencillo conocida la regla de
actuacin del operador. Sin embargo hemos de tener cuidado al tratar con operadores
autoadjuntos. Dado un vector de norma innita
~
, aunque la expresin
b
A
~
tenga
formalmente sentido, no hay garanta de que estemos manteniendo el carcter del
operador autoadjunto al ampliar su dominio. Por tanto la igualdad
~
,
b
A ~ w
b
A
~
, ~ w
no es a priori vlida si estn involucrados vectores de norma innita. Afortunada-

mente, si somos cuidadosos al ampliar el dominio de
b
A siempre podremos garantizar
que la anterior igualdad ser cierta si al menos uno de los vectores pertenece al espa-
cio de Hilbert. Esto es, si ~ w M H, (
~
,
b
A ~ w) = (
b
A
~
, ~ w) independientemente de que
~
sea de norma nita o no. Lo que en ningn caso podremos garantizar es la anterior
igualdad si los dos vectores son de norma innita. Veamos un ejemplo.
2
(R) y (x) una funcin de norma
innita y acotada. Por construccin, el dominio del operador autoadjunto
b
P
x
= 3i
d
dx
es el formado por las funciones continuas de L
2
(R) con derivada
de cuadrado integrable. Sin embargo, podemos extender la actuacin de
b
P
x
sobre estas funciones de norma innita simplemente respetando la regla
de actuacin:
b
P
x
(x) = 3i
d
dx
(x) .
a) Demuestre que si w(x) M L
2
(R)
(x) ,
b
P
x
w(x)
b
P
x
(x) , w(x)
.
b) Sigue siendo cierta la igualdad anterior si w(x) es un vector de norma
innita?
Solucin:
a) Sea w(x) M L
2
(R). Entonces
(x) ,
b
P
x
w(x)
=
Z
+"
3"
W
(x)
3i
d
dx
w(x)
dx.
36
En este caso, la convergencia de la suma innita no debe entenderse bajo la norma
asociada al producto escalar (ya que la norma de
~
es innita) sino componente a componente
en C
"
y punto a punto (salvo para valores aislados de la variable) en un espacio funcional.
Integrando por partes y operando
(x) ,
b
P
x
w(x)
=
Z
+"
3"
3i
d(x)
dx
w(x) dx
+i
lim
x<+"
W
(x) w(x) 3 lim
x<3"
W
(x) w(x)
.
Necesariamente lim
x<"
w(x) = 0 al ser sta una funcin de cuadrado integrable
pero, adems, estamos imponiendo que (x) sea acotada. Por tanto, los dos
lmites de la igualdad anterior son cero y, en denitiva,
(x) ,
b
P
x
w(x)
=
Z
+"
3"
3i
d(x)
dx
w(x) dx =
b
P
x
(x) , w(x)
.
c) En general no, ya que no hay garanta de que lim
x<"
w(x) = 0 y entonces no
podemos armar que
lim
x<+"
W
(x) w(x) = lim
x<3"
W
(x) w(x) .
Piense, por ejemplo, en el caso lim
x<+"
(x) = lim
x<+"
w(x) = 1 pero, sin em-
bargo, lim
x<3"
w(x) = 0.
Naturalmente conceptos como independencia lineal y ortogonalidad se aplican
directamente a estos nuevos vectores. As, dos vectores ~# y
~
son ortogonales si
~#,
~
= 0; un conjunto de vectores es ortogonal si todos sus elementos son ortogo-

nales dos a dos; etc.
2
(R) y las ondas planas
w
k
(x) = A
k
exp(ikx) con k M R y A
k
una constante multiplicativa nita.
a) Demuestre que las ondas planas son funciones no normalizables ad-
misibles.
b) Compruebe que el conjunto de todas las ondas planas es ortogonal.
Solucin:
a) Que la norma es innita es obvio, ya que, extendiendo la denicin operativa del
producto escalar
(w
k
, w
k
) =
Z
+"
3"
|w
k
(x)|
2
dx = |A
k
|
2
Z
+"
3"
dx = ".
Para que sean admisibles hay demostrar que se pueden escribir como un desarrollo
de Fourier generalizado en una base ortonormal de L
2
(R). Si escogemos la base de
Hermite B
F
= {H
0
(x) , H
1
(x) , H
2
(x) , ...} con
H
n
(x)
1
(2
n
n!
I
Z)
1/2
exp
3x
2
/2
H
n
(x)
siendo H
n
(x) los llamados polinomios de Hermite, hemos de comprobar que
Z
+"
3"
H
n
(x) A
k
e
ikx
dx M C, n = 0, 1, 2, 3, ...
Ello es inmediato si tenemos en cuenta la siguiente propiedad de las funciones de
Hermite
Z
+"
3"
e
ikx
H
n
(x) =
I
2Ze
inZ/2
H
n
(k) =
;
A
A
?
A
A
=
+i
I
2ZH
n
(k) si n = 1, 5, 9, ...
3i
I
2ZH
n
(k) si n = 3, 7, 11, ...
+
I
2ZH
n
(k) si n = 0, 4, 8, ...
3
I
2ZH
n
(k) si n = 2, 6, 10, ...
por lo que
w
k
(x) =
"
X
n=0
(H
n
, w
k
) H
n
(x) =
"
X
n=0
I
2ZA
k
e
inZ/2
H
n
(k)
H
n
(x) ,
que est bien denido para todo k y para todo n.
b) Hay que demostrar que el producto escalar (w
k
, w
q
) = 0 si k 6= q. Ahora bien, la
integral asociada est indeterminada, por lo que multiplicaremos el integrando por
una funcin dependiente de un parmetro a que se convierte en la funcin unidad
cuando a <0. Una funcin de este tipo es exp(3a |x|) con a D 0, por lo que
(w
k
, w
q
) = lim
a<0
+
A
W
k
A
q
Z
+"
3"
e
3ikx
e
iqx
e
3a|x|
dx
= A
W
k
A
q
lim
a<0
+
Z
+"
3"
e
i(q3k)x
e
3a|x|
dx
= A
W
k
A
q
lim
a<0
+
Z
+"
3"
cos [(q 3k) x] e
3a|x|
dx +i
Z
+"
3"
sin[(q 3k) x] e
3a|x|
dx
.
La segunda integral es nula, puesto que el integrando es impar, y como el integrando
de la primera integral es par
(w
k
, w
q
) = 2A
W
k
A
q
lim
a<0
+
Z
+"
0
cos [(q 3k) x] e
3ax
dx
= 2A
W
k
A
q
lim
a<0
+
a
a
2
+ (q 3k)
2
= 0
ya que, por hiptesis, q 3k 6= 0.
Lo que ya no resulta claro es cmo extender el importante concepto de ortonormal-
idad a vectores de norma innita. Consideremos un conjunto W formado por vectores
de norma innita asociados a un espacio de Hilbert H.
37
No tiene sentido decir
que el conjunto W es ortonormal si ste es discreto, es decir, si W =
n
~
1
,
~
2
,
~
3
, ...
o
.
Sin embargo, supongamos que W no es discreto, pero que sus elementos se pueden
etiquetar de acuerdo con un parmetro continuo b perteneciente a un intervalo
D \ R. Esto es, a cada b M D le corresponde un vector
~
b
M W y, recprocamente,
todo vector de W tiene asociado un valor del parmetro b. A efectos de notacin
escribiremos
W =
n
~
b
o
bMD
.
37
Est claro que no debemos decir en un espacio de Hilbert.
De acuerdo con esto,
DEFINICIN: Sea W =
n
~
b
o
bMD
un subconjunto continuo de funciones de norma
innita asociadas a un espacio de Hilbert H. W es ortogonal si
b
,
~
b
0
= 0 si b 6= b
0
y, adems, es ortonormal (en sentido generalizado) si
Z
D
b
,
~
b
0
db = 1 , b
0
M D.
La denicin
38
no es tan extraa. {~v
n
} a H es un conjunto ortonormal si se
cumplen simultneamente las condiciones
(~v
n
, ~v
m
) = 0 si n 6= m
X
n
(~v
n
, ~v
m
) = 1 , m
ya que si se cumple la primera, la segunda garantiza inmediatamente que todos los
vectores estn normalizados. En el caso que nos ocupa, simplemente hemos tomado
esta denicin y la hemos adaptado sustituyendo la suma sobre el ndice discreto
por una integral sobre el ndice continuo. Sin embargo, el precio que hay que pagar
en esta generalizacin es que la condicin de ortonormalidad depende del mtodo de
asignacin, es decir, de la manera en la que relacionamos el parmetro b con los vec-
tores no normalizables del conjunto W. Como dicha asignacin es siempre arbitraria,
si queremos que el conjunto sea ortonormal debemos multiplicar los vectores por un
factor adecuado (llamado constante de normalizacin) pero que obviamente de-
pender de la asignacin. En otras palabras, denido el producto escalar, el carcter
ortogonal de un conjunto de vectores no normalizables es absoluto pero el carcter
ortonormal es relativo. Ilustremos este hecho mediante el siguiente ejemplo:
Ejemplo 2.43. Sea el conjunto ortogonal W formado todas las ondas planas
A
q
exp(iqx) , q M R.
a) Compruebe que W es ortonormal de acuerdo el siguiente mtodo de
asignacin:
W =
w
q
(x) =
1
I
2Z
exp(iqx)
qMR
.
b) (*) Si cambiamos el mtodo de asignacin hay que cambiar tambin
la constante de normalizacin si queremos que el conjunto siga siendo
ortonormal. Obtenga las constantes de normalizacin A
b
para el caso ms
general
W = {w
b
(x) = A
b
exp(iq (b) x)}
bMD
,
38
Naturalmente no hay contradiccin con el hecho de que sea imposible construir un con-
junto ortonormal continuo con vectores del espacio de Hilbert, ya que estos vectores de norma
innita no lo son.
donde q (b) es una funcin creciente y que recorre toda la recta real.
Solucin:
Este ejemplo se puede resolver de manera muy sencilla teniendo en cuenta las propie-
dades de la llamada funcin delta de Dirac, que veremos un poco ms adelante. Sin
embargo vamos a seguir aqu un procedimiento ms general.
a) Ya hemos visto en el ejemplo anterior que las ondas planas son ortogonales. Para
que sean ortonormales ha de cumplirse
Z
R
Z
+"
3"
w
W
q
(x) w
q
0 (x) dx
dq = 1 , q
0
M R,
y en este caso tenemos que comprobar que
Z
R
Z
+"
3"
1
2Z
exp
q
0
3q
dx
dq = 1 , q
0
M R.
La integral en x no est denida, por lo que volvemos a hacer uso de la funcin
accesoria exp(3a |x|) que permite efectuar la integral como un lmite.
1
2Z
lim
a<0
+
Z
R
Z
+"
3"
e
3a|x|
e
i
(
q
0
3q
)
x
dx
db =
1
2Z
lim
a<0
+
Z
R
2a
a
2
+ (q 3q
0
)
2
dq
=
1
2Z
lim
a<0
+
Z
R
2a
a
2
+u
2
du =
1
2Z
lim
a<0
+
(2Z) = 1.
El resultado conrma que el conjunto es ortonormal, es decir, que la constante de
normalizacin adecuada es
A
q
=
1
I
2Z
.
b) Ahora tenemos que hallar A
b
para que
Z
D
Z
+"
3"
w
W
b
(x) w
b
0 (x) dx
db = 1
esto es, para que
Z
D
A
W
b
A
b
0
Z
+"
3"
e
i(q(b
0
)3q(b))x
dx
db = 1 , b
0
M D.
Introduciendo, de nuevo, la funcin accesoria exp(3a |x|):
Z
D
Z
+"
3"
w
W
b
(x) w
b
0 (x) dx
db
= lim
a<0
+
Z
D
A
W
b
A
b
0
Z
+"
3"
e
3a|x|
e
i
(
q
(
b
0
)
3q(b)
)
x
dx
db
= lim
a<0
+
Z
D
A
W
b
A
b
0
2a
a
2
+ (q (b) 3q (b
0
))
2
db,
y, haciendo un cambio de variables de modo que la variable de integracin sea q(b),
llegamos a
Z
D
Z
+"
3"
w
W
b
(x) w
b
0 (x) dx
db
= lim
a<0
+
Z
R
A
W
b
A
b
0
2a
a
2
+ (q (b) 3q (b
0
))
2
dq (b)
db
31
dq(b)
(ntese el cambio en los lmites de integracin, ya que q(b) recorre todos los posibles
valores del nmero de ondas).
Ahora bien,
lim
a<0
+
2a
a
2
+ (q (b) 3q (b
0
))
2
se hace cero en el momento en que q (b) 3q (b
0
) 6= 0, esto es, cuando b 6= b
0
.
39
Esto
implica que el integrando slo contribuye al resultado nal cuando b ' b
0
, lo que nos
permite escribir
Z
D
Z
+"
3"
w
W
b
(x) w
b
0 (x) dx
db
= lim
a<0
+
Z
+"
3"
"
|A
b
0 |
2
dq (b
0
)
db
0
31
#
2a
a
2
+ (q (b) 3q (b
0
))
2
dq(b)
y podemos sacar el corchete de la integral, ya que b
0
y q(b) son variables indepen-
dientes. Basta, por ltimo, hacer el cambio u = q (b) 3q(b
0
), que no vara los lmites
de integracin, para llegar a
Z
+Z/2
3Z/2
Z
+"
3"
w
W
b
(x) w
b
0 (x) dx
db
= |A
b
0 |
2
dq (b
0
)
db
0
31
lim
a<0
+
Z
+"
3"
2a
a
2
+u
2
du = 2Z |A
b
0 |
2
dq(b
0
)
db
0
31
.
Como esta cantidad ha de ser uno, la constante de normalizacin A
b
debe cumplir
|A
b
| =
s
1
2Z
dq (b)
db
En resumen, en la asignacin ms general posible, las ondas planas escritas como

W =
(
w
b
(x) =
s
1
2Z
dq (b)
db
exp(iq(b)x)
)
bMD
forman un conjunto ortonormal.
39
Naturalmente no hay dos valores diferentes del parmetro b que den el mismo nmero
de ondas, ya que de lo contario el mtodo de asignacin sera incorrecto.
2.14.1 Delta de Dirac
Lgicamente, las ondas planas no son el nico conjunto ortonormal formado por
funciones de norma innita en L
2
(R). Otro ejemplo importante es el conjunto de las
llamadas funciones delta de Dirac, que presentamos en el siguiente ejemplo
Ejemplo 2.44. Sea B = {e
1
(x) , e
2
(x) , e
3
(x) , ...} una base ortonormal del
espacio de Hilbert L
2
(R). Dado un escalar real a, denamos la funcin
B
a
(x), denominada delta de Dirac centrada en a, a partir del desarrollo de
Fourier generalizado
B
a
(x) =
"
X
n=1
(e
n
(x) , B
a
(x)) e
n
(x) =
"
X
n=1
e
W
n
(a) e
n
(x)
esto es, a partir del producto escalar (e
n
(x), B
a
(x)) = e
n
(a).
a) Demuestre que para cualquier funcin continua (x), se cumple que
(B
a
(x) , (x)) =
Z
+"
3"
B
W
a
(x) (x) = (a) .
b) Como consecuencia del punto anterior, pruebe que B
a
(x) es real. Qu
valores toma la funcin B
a
(x)?
c) Demuestre que, dado un intervalo cerrado D \ R,
Z
D
B
a
(x) dx =
0 si a / M D
1 si a M D.
Solucin:
a) Supongamos que la funcin (x) admite un desarrollo de Fourier
(x) =
"
X
n=1
(e
n
(x) , (x)) e
n
(x) =
"
X
n=1
n
e
n
(x) .
Por tanto
(B
a
, ) =
"
X
n=1
(B
a
(x) , e
n
(x)) (e
n
(x) , (x)) =
"
X
n=1
e
n
(a)
n
= (a)
(no hay problema formal en el ltimo paso puesto que la funcin (x) es continua).
b) De acuerdo con el punto anterior, para cualquier funcin real # (x) se tiene
(B
a
, #) =
Z
+"
3"
B
W
a
(x) # (x) dx = # (a) M R
(B
a
, #)
W
=
Z
+"
3"
B
a
(x) # (x) dx = # (a) M R
y restando miembro a miembro
2i
Z
+"
3"
Im(B
a
(x)) # (x) dx = 0 .
Como esto es cierto para cualquier funcin real # (x), no queda ms remedio que
Im(B
a
(x)) = 0, por lo que la delta de Dirac es real.
Podemos entonces escribir
Z
+"
3"
B
a
(x) (x) = (a) ,
siendo (x) cualquier funcin continua. Esta ltima igualdad implica que los valores
que toma B
a
(x) para x 6= a deben ser cero. Por otra parte, B
a
(a) no puede ser nito
puesto que entonces el producto escalar anterior sera cero (recuerde la discusin en
la que comparbamos convergencia puntual con convergencia asociada a la norma).
En denitiva,
B
a
(x) =
0 si x 6= a
" si x = a
pero un innito que garantiza que
R
+"
3"
B
a
(x) (x) = (a).
A la vista de esta discusin, no es necesario imponer que la funcin (x) sobre la que
acta la delta de Dirac se pueda escribir como un desarrollo de Fourier, basta que sea
continua en x = a.
c) Escojamos la funcin
F
D
(x) =
0 si a / M D
1 si a M D
y, de acuerdo con el punto anterior,
Z
+"
3"
B
a
(x) F
D
(x) dx = F
D
(a) =
0 si a / M D
1 si a M D.
Por la propia denicin de F
D
(x)
Z
+"
3"
B
a
(x) F
D
(x) dx =
Z
D
B
a
(x) dx,
de donde
Z
D
B
a
(x) dx =
0 si a / M D
1 si a M D.
Si tomamos D = R, la anterior expresin se transforma en
Z
+"
3"
B
a
(x) dx = 1 , a M R.
Como acabamos de ver, la delta de Dirac B
a
(x) no es una funcin en sentido
ordinario, ya que su valor en x = a no est denido. Sin embargo hemos observado
que los productos escalares en los que aparece B
a
(x) s lo estn (y esto, recordemos,
es lo que realmente interesa):
Z
+"
3"
B
a
(x) (x) dx = (a) .
Esta ltima igualdad es la que se suele tomar como denicin de delta de Dirac.
Sin embargo, al escribir en el ejemplo anterior la delta como un desarrollo de
Fourier, hemos preferido presentarla como el lmite de una sucesin de funciones.
Siguiendo con esta idea, consideremos la sucesin de trmino general g
n
(x)
g
n
(x) =
0 si |x 3a| D 1/ (2n)
n si |x 3a| < 1/ (2n) ,
que est formada por funciones cuyas grcas son un rectngulo de base 1/n y altura
n simtrico respecto al punto a y rea, evidentemente, la unidad. Dada una funcin
f(x) continua, se cumple que
Z
"
3"
f(a) g
n
(x)dx = n
Z
a+1/(2n)
a31/(2n)
f(x) dx = f(#), con # M
a 3
1
2n
, a +
1
2n
,
donde el ltimo paso se sigue del teorema del valor medio para funciones continuas.
Entonces, cuando n <",
lim
n<"
Z
"
3"
f(x) g
n
(x) dx = f(a)
y, de este modo, la sucesin {g
n
(x)} tiende a la delta de Dirac B
a
(x), que puede as
entenderse como el lmite de un rectngulo de rea unidad cuya base tiende a cero.
Tenemos tambin que
B
a
(x) = lim
j<0
1
(2Z)
1/2
j
exp
3
(x 3a)
2
2j
2
(la delta es el lmite de una gaussiana de rea unidad y cuya anchura tiende a cero)
y que
B
a
(x) = lim
r<"
1
Z
sin[r (x 3a)]
r (x 3a)
B
a
(x) = lim
j<0
1
Z
j
(x 3a)
2
+j
2
.
Si a = 0 se omite el subndice a, por lo que B (x) simboliza la delta de Dirac
centrada en cero. Evidentemente, B
a
(x) = B (x 3a) y, aunque B (x 3a) sea la manera
ms comn de escribir la delta de Dirac centrada en a, nosotros usaremos ambas
formas indistintamente.
Ejemplo 2.45. Demuestre las siguientes propiedades relativas a la delta de
Dirac:
a) B (x) = B (3x).
b) B (kx) = |k|
31
B (x) con k M R y k 6= 0.
c) (B
a
, B
b
) = B (a 3b).
d) g (x) B (x 3a) = g (a) B (x 3a), para cualquier funcin g (x).
Solucin:
a) Hay que demostrar que para cualquier funcin (x)
Z
+"
3"
B (x) (x) dx =
Z
+"
3"
B (3x) (x) dx = (0) .
En efecto, haciendo el cambio de variable u = 3x tendremos:
Z
+"
3"
B (3x) (x) dx = 3
Z
3"
+"
B (u) (3u) du =
Z
+"
3"
B (u) (3u) du = (0) .
b) Se demuestra de similar manera haciendo el cambio u = kx.
Si k > 0,
Z
+"
3"
B (kx) (x) dx =
1
k
Z
+"
3"
B (u)
u
k
du
=
1
k
(0) =
1
k
Z
+"
3"
B (x) (x) dx,
de donde B (kx) = k
31
B (x).
Si k < 0,
Z
+"
3"
B (kx) (x) dx =
1
k
Z
3"
+"
B (u)
u
k
du
= 3
1
k
Z
+"
3"
B (u)
u
k
du = 3
1
k
(0) = 3
1
k
Z
+"
3"
B (x) (x) dx,
y as B (kx) = 3k
31
B (x).
c) Aplicando la denicin de delta
(B
a
, B
b
) =
Z
+"
3"
B (x 3a) B (x 3b) dx = B (b 3a) = B (a 3b) .
Por consiguiente, el conjunto de todas las deltas de Dirac
X = {B
b
(x)}
bMR
es ortonormal (bajo la asignacin que nombra cada delta por su centro), ya que se
cumplen las dos condiciones siguientes:
(B
b
, B
b
0 ) = B
b 3b
0
= 0 si b 6= b
0
Z
R
(B
b
, B
b
0 ) db =
Z
R
B
b 3b
0
db = 1 , b
0
M R.
d) Dada una funcin arbitraria (x)
Z
+"
3"
[g (x) B (x 3a) 3g (a) B (x 3a)] (x) dx
=
Z
+"
3"
g (x) (x) B (x 3a) dx 3g (a)
Z
+"
3"
B (x 3a) (x) dx
= g (a) (a) 3g (a) (a) = 0.
Como esto es cierto para cualquier funcin (x), entonces
g (x) B (x 3a) 3g (a) B (x 3a) = 0 ,
quedando demostrada la propiedad.
Ejemplo 2.46. Aunque al demostrar que
Z
+"
3"
B (x 3a) (x) dx = (a)
hemos supuesto que la funcin (x) es continua en x = a, la integral
R
+"
3"
B (x 3a) (x) dx tiene un valor denido incluso en el caso de que (x)
no sea continua en x = a. Pruebe que, en general,
Z
+"
3"
B (x 3a) (x) dx =
1
2
lim
x<a
(x) + lim
x<a
+
(x)
.
Solucin:
Basta recordar que la delta de Dirac es un lmite, por lo que es legtimo escribir
Z
+"
3"
B (x 3a) (x) dx = lim
0<0
+
Z
+"
3"
B (x 3a 30) +B (x 3a +0)
2
(x) dx
= lim
0<0
+
1
2
[(a +0) +(a 30)] ,
que es el resultado al que queramos llegar.
40
Ejemplo 2.47. La derivada usual de una funcin discontinua en un punto no
est denida en ese punto. Sin embargo, con la ayuda de la delta de Dirac
podemos generalizar el concepto de derivada de manera que contemple
esta situacin. Demuestre que si una funcin es discontinua en x = a
d
dx
(x) =

0
(x) si x 6= a
a
+
a
3
B (x 3a) si x = a,
donde
0
(x) es la derivada en sentido usual y
lim
x<a
(x). Esta
forma de derivar una funcin se denomina derivacin en sentido de dis-
tribuciones.
Solucin:
Recordemos que dos funciones y # son iguales si, para cualquier otra funcin g, se
cumple
(g (x) , (x)) = (g (x) , # (x)) .
As, sea g (x) una funcin genrica de L
2
(R) que vamos a suponer continua, entonces
tenemos
g (x) ,
d(x)
dx
3g
0
(x) , (x)
,
40
Ntese que no podemos escribir
Z
+"
3"
B (x 3a) (x) dx = lim
0<0
+
Z
a30
3"
B (x 3a) (x) dx +
Z
"
a+0
B (x 3a) (x) dx
porque toda la funcin delta de Dirac est concentrada en el intervalo lim

0<0
+ (30, +0).
donde hemos hecho una integracin por partes y tenido en cuenta que g (x) se anula
en ". Desarrollando el producto escalar
3g
0
(x) , (x)
= 3 lim
B<0
+
Z
a3B
3"
g
0
(x) (x) dx +
Z
+"
a+B
g
0
(x) (x) dx
,
e integrando por partes cada una de las integrales
3g
0
(x) , (x)
= lim
B<0
+
Z
a3B
3"
g (x)
0
(x) dx +
Z
+"
a+B
g (x)
0
(x) dx
3 lim
B<0
+
[g (a 3B) (a 3B) 3g (a +B) (a +B)] .
Como la funcin g (x) es continua, podemos escribir
g (x) ,
d(x)
dx
3g
0
(x) , (x)
= lim
B<0
+
Z
a3B
3"
g (x)
0
(x) dx +
Z
+"
a+B
g (x)
0
(x) dx
+g (a)
a
+
a
3
= lim
B<0
+
Z
a3B
3"
g (x)
0
(x) dx +
Z
+"
a+B
g (x)
0
(x) dx
+ lim
B<0
+
Z
a+B
a3B
g (x)
a
+
a
3
B (x 3a) dx,
donde hemos introducido la delta de Dirac centrada en x = a.
Este es el resultado que queremos obtener, ya que tomando el lmite B <0
+
la ltima
expresin es el producto escalar
g (x) ,
d(x)
dx
con
d
dx
(x) =

0
(x) si x 6= a
a
+
a
3
B (x 3a) si x = a.
Ejemplo 2.48. Considrese la delta de Dirac B (x 3a). Aunque no sea
una funcin de L
2
(R), evale su derivada en sentido de distribuciones e
interprete el resultado.
Solucin:
Como hemos visto, la delta de Dirac B
a
(x) = B (x 3a) slo puede interpretarse
cuando aparece dentro de un producto escalar:
(B
a
(x) , (x)) = (a) .
De esta manera, B
a
debe entenderse realmente como una aplicacin de L
2
(R) en C
tal que a cada funcin (x) le hace corresponder su valor en x = a.
As, tras esta reexin, ya tiene algo ms de sentido el preguntarse por la derivada
de la delta de Dirac, ya que siempre podremos interpretar el resultado usando los
mismo trminos. As, si
d
dx
B
a
(x) es la derivada de la delta de Dirac en el sentido de
distribuciones del ejemplo anterior, para cualquier funcin (x) podemos escribir
d
dx
B
a
(x) , (x)
= 3
B
a
(x) ,
d
dx
(x)
= 3
d
dx
(x)
x=a
.
Por tanto 3
d
dx
B
a
es la aplicacin de L
2
(R) en C tal que a cada funcin (x) le hace
corresponder el valor de su derivada en x = a o, en otras palabras, la funcin
d
dx
B
a
(x) est denida mediante la expresin
Z
+"
3"
d
dx
B (x 3a)
(x) dx = 3
d
dx
(x)
x=a
.
La delta de Dirac nos sirve para escribir de manera ms compacta la condicin
de ortonormalidad de un conjunto {
~
b
}
bMD
formado por vectores no normalizables
asociados a un espacio de Hilbert H. En efecto, si dicho conjunto es ortonormal
podemos escribir
b
,
~
b
0
= B
b 3b
0
,
ya que si b 6= b
0
el producto escalar es cero y, adems,
Z
D
B
b 3b
0
db = 1 , b
0
M D.
Por ejemplo, el producto escalar de las ondas planas normalizadas (en sentido
generalizado) cumple
41
Z
+"
3"
1
I
2Z
e
3iqx
1
I
2Z
e
ikx
dx =
1
2Z
Z
+"
3"
e
i(k3q)x
dx = B (k 3q) ,
igualdad que usaremos muchas veces en el texto.
2.14.2 La transformacin de Fourier
La ltima igualdad, equivalente a
1
I
2Z
Z
+"
3"
e
3ikx
dx =
I
2Z B (k) ,
es un caso particular de aplicacin de la llamada transformada de Fourier, que de-
nimos a continuacin.
DEFINICIN: Dada una funcin g(x) M L(R), donde L(R) designa a las fun-
ciones complejas de variable real cuyo mdulo es integrable (funciones absolutamente
integrables), la expresin
e g(k) =
1
I
2Z
Z
+"
3"
g(x) exp(3ikx) dx, k M R
41
La siguiente igualdad se ha demostrado implcitamente al demostrar que las ondas planas
constituyen un conjunto ortonormal.
est siempre bien denida. A e g(k) se le denomina transformada de Fourier de la
funcin g (x).
42
.
Si relajamos la denicin y consideramos que g(x) M L
2
(R), entonces e g(k) est
denida para todo k excepto para valores aislados lo que, como ya sabemos, no debe
preocuparnos. Adems:
TEOREMA: Sea el espacio de Hilbert L
2
(R). La transformada de Fourier, en-
tendida como un operador lineal que a cada g (x) M L
2
(R) le hace corresponder la
funcin
b
F {g(x)} =
1
I
2Z
Z
+"
3"
g(y) exp(3ixy) dy,
es un operador unitario.
El operador inverso
b
F
31
=
b
F
, dominado transformada inversa de Fourier, viene

dado por
b
F
{g(x)} =
1
I
2Z
Z
+"
3"
g(y) exp(+ixy) dy
Demostracin: Sean g (x) y h(x) dos funciones cualesquiera de L
2
(R).
Por la denicin de producto escalar en L
2
(R)
g(x),
b
F {h(x)}
=
Z
+"
3"
g
W
(x)
1
I
2Z
Z
+"
3"
h(y) exp(3ixy) dy
dx.
Reordenando el integrando dentro de la integral doble, esto se puede
escribir como
g(x),
b
F {h(x)}
=
Z
+"
3"
1
I
2Z
Z
+"
3"
g(x) exp(ixy) dx
W
h(y) dy
e intercambiando las variables x e y
g(x),
b
F {h(x)}
=
Z
+"
3"
1
I
2Z
Z
+"
3"
g(y) exp(ixy) dy
W
h(x) dx.
Por tanto, el operador adjunto de
b
F es
b
F
{g (x)} =
1
I
2Z
Z
+"
3"
g (y) exp(ixy) dy.
42
De una forma intuitiva, aunque no muy rigurosa, la transformada de Fourier puede
entenderse como un paso al lmite del desarrollo en serie de Fourier. Hemos visto que una
funcin g (x) denida en un intervalo nito [3L/2, L/2], puede escribirse como un desarrollo
de Fourier en la base
(
r
1
L
e
inZx/L
,
r
1
L
e
3inZx/L
)
"
n=0
y sabemos que que el desarrollo converge a la funcin g(x) salvo puntos aislados. Cuando
L <" la suma de la serie se transforma en la denominada integral de Fourier.
Obtenido el operador
b
F
, probemos ahora que

b
F es unitario. Dada una
funcin (x) M L
2
(R) cualquiera
b
F
n
b
F(x)
o
=
b
F
1
I
2Z
Z
+"
3"
(y) exp(3ixy) dy
=
1
I
2Z
Z
+"
3"
1
I
2Z
Z
+"
3"
(y) e
3izy
dy
e
ixz
dz
=
1
I
2Z
Z
+"
3"
1
I
2Z
Z
+"
3"
exp(iz (x 3y)) dz
(y) dy
=
1
I
2Z
Z
+"
3"
B(x 3y)(y)dy = (x),
de modo que
b
F
b
F =
b
I. De similar forma se demuestra que
b
F
b
F
=
b
I, de
donde queda probado que
b
F es unitario.
Como consecuencia del teorema anterior, observamos que la transformada de
Fourier conserva la norma:
Z
R
|e g(k)|
2
dk =
Z
R
|g(x)|
2
dx
(resultado conocido como teorema de Plancherel).
Otras propiedades de la transformacin de Fourier, cuya demostracin dejamos
como ejercicio, son las siguientes:
1. Si dg (x) /dx M L(R), entonces F {dg (x) /dx} = xF {g(x)}.
En general, si d
n
g (x) /dx
n
M L(R), entonces
F
d
n
g (x)
dx
n
= (ix)
n
F {g(x)} .
2. Si g(x), xg(x) M L(R), entonces F {xg(x)} = i dF {g(x)} /dx,
En general, si g(x), x
n
g(x) M L(R) , con n un nmero natural, entonces
F {x
n
g(x)} = i
n
d
n
dx
n
F {g(x)} .
3. Dadas dos funciones g(x), h(x) M L(R) se denomina producto de convolucin
a la funcin (g W h) (x)
(g W h) (x) =
Z
+"
3"
g(s) h(x 3s) ds.
Entonces,
F {(g W h) (x)} = F {g (x)} F {h(x)} ,
es decir, la transformada de Fourier de un producto de convolucin es el pro-
ducto ordinario de las transformadas de Fourier.
4. Algunas transformadas de Fourier sencillas son:
F {w
k
(x)} = B
k
(x),
con w
k
(x) = exp(ikx) /
I
2Z; es decir, la transformada de Fourier de una onda
plana es una delta de Dirac. Recprocamente,
F {B
k
(x)} = w
3k
(x)
y la transformada de Fourier de una delta de Dirac es una onda plana.
Por ltimo,
F
n
e
3x
2
/a
2
o
=
1
I
2Z
Z
+"
3"
e
3y
2
/a
2
e
3iyx
dy =
a
I
2
e
3
a
2
x
2
4
,
esto es, la transformada de Fourier de una gaussiana de anchura a es una
gaussiana de anchura proporcional a 1/a.
Estos ejemplos muestran que cuanto ms localizada est una funcin g(x),
menos localizada est su transformada e g(x) y viceversa.
Si w
k
(x) = exp(ikx) /
I
2Z es una onda plana normalizada,
43
la transformada de
Fourier de una funcin g (x) puede entenderse tambin como
e g (k) =
1
I
2Z
Z
+"
3"
e
3ikx
g (x) dx = (w
k
, g) ,
esto es, como el producto escalar de la onda plana de nmero de onda k con la funcin.
Haciendo ahora uso de la transformada inversa de Fourier
g (x) =
1
I
2Z
Z
R
e
ikx
e g (k) dk =
Z
R
e g (k) w
k
(x) dk =
Z
R
(w
k
, g) w
k
(x) dk.
Esto es, cualquier funcin de L
2
(R) puede expresarse como una especie de desarro-
llo de Fourier en trminos de las ondas planas, slo que en este caso la suma habitual
se ha sustituido por una integral sobre el parmetro k que etiqueta a las ondas planas.
Por otro lado,
g (x) =
Z
R
g (a) B
a
(x) da =
Z
R
(B
a
, g) B
a
(x) da,
por lo que sucede exactamente lo mismo con el conjunto formado por las deltas de
Dirac.
43
En sentido generalizado, naturalmente. A partir de ahora cuando digamos que un vector
de norma innita est normalizado daremos por supuesto que forma parte de un conjunto
ortonormal (en sentido generalizado) de vectores de norma innita.
2.15 Espectro continuo 93
2.14.3 Bases ortonormales generalizadas
Los dos casos anteriores son los dos casos particulares ms importantes de bases
ortonormales (de nuevo en sentido generalizado) formadas cada uno de ellos por
vectores de norma innita. En esta breve subseccin hablaremos de la denicin ms
general de base ortonormal.
DEFINICIN: Sea H un espacio de Hilbert y el conjunto ortonormal de vectores de
norma innita B = {~v
b
}
bMD
. Dicho conjunto es una base ortonormal (generalizada)
si todo vector ~ w M H puede escribirse como
~ w =
Z
D
w
b
~v
b
db =
Z
D
(~v
b
, ~ w) ~v
b
db.
A los nmeros complejos w
b
dependientes del parmetro continuo b se les denomina
coordenadas del vector ~ w en la base ortonormal B.
44
De esta manera, dada una funcin g (x) M L
2
(R), su transformada de Fourier e g (k)
es la coordenada k en la base ortonormal de ondas planas {w
k
(x)}
kMR
, mientras que
el valor que toma la propia funcin g (a) es la coordenada a en la base ortonormal de
deltas de Dirac {B
a
(x)}
aMR
. A su vez, la transformada de Fourier, entendida como un
operador unitario en L
2
(R), es el operador que relaciona ambas bases. Ntense, as,
los evidentes paralelismos con lo que sucede para bases ortonormales ordinarias.
Por ltimo, puede haber bases ortonormales mixtas, formadas por vectores del
Hilbert y por vectores no normalizables. Cerremos entonces esta seccin con la deni-
cin ms general posible de base ortonormal:
DEFINICIN: Sean H un espacio de Hilbert, el conjunto B
1
= {~e
n
} a H de
vectores normalizables, y el conjunto de vectores no normalizables B
2
= {~v
b
}
bMD
. El
conjunto mixto B = B
1
B
2
es una base ortonormal (generalizada) de H si se
cumplen las cuatro condiciones siguientes:
1. B
1
es ortonormal: para todo ~e
m
, ~e
n
M B
1
se cumple (~e
m
, ~e
n
) = B
mn
.
2. B
2
es ortonormal: para todo ~v
b
, ~v
b
0 M B
2
se cumple (~v
b
, ~v
b
0 ) = B (b 3b
0
).
3. B
1
z B
2
: para todo ~e
n
M B
1
y ~v
b
M B
2
se cumple (~v
b
, ~e
n
) = 0.
4. Todo vector ~ w M H puede escribirse como el desarrollo de Fourier generalizado
~ w =
X
n
w
n
~e
n
+
Z
D
w
b
~v
b
db =
X
n
(~e
n
, ~ w) ~e
n
+
Z
D
(~v
b
, ~ w) ~v
b
db,
donde {w
n
} {w
b
}
bMD
son las coordenadas de ~ w en la base B.
2.15 Espectro continuo
Tras la discusin de las secciones anteriores ya estamos en disposicin de explicar
las propiedades del espectro de un operador en espacios de Hilbert de dimensin
44
La denicin no excluye la posibilidad de que para un b aislado el producto escalar
(~v
b
, ~ w) diverja. Sin embargo lo que tiene que converger es la expresin
Z
D
(~v
b
, ~ w) ~v
b
db.
innita. Empecemos considerando un operador lineal
b
A de un espacio de Hilbert H y
recordando que a es un valor propio del operador lineal
b
A si la ecuacin de autovalores
(
b
A3a
b
I)~u =
~
0 admite soluciones ~u 6=
~
0. As, dado un vector ~u normalizado, la cantidad
real y positiva
{
~u
(a) =
b
A3a
b
I
~u
b
A~u 3a~u
nos sirve para cuanticar lo cerca que est ~u de ser un vector propio de
b
A con autovalor
a ya que, en caso de que lo sea, se cumple que {
~ u
(a) = 0. A su vez, si
b
A~u no
es exactamente a~u, pero s un vector del Hilbert bastante parecido, tendremos que
{
~u
(a) es muy pequeo. Por ltimo, si
b
A~u y a~u son muy diferentes, la cantidad
{
~u
(a) es netamente distinta de cero. As, la bsqueda de autovalores y autovectores
se puede hacer jando el escalar a y buscando vectores normalizados ~u que anulen
{
~u
(a).
45
En espacios de Hilbert de dimensin innita es posible que existan escalares k
tales que {
~ u
(k) alcance valores arbitrariamente pequeos, pero sin llegar nunca a
anularse para vectores ~u M D(
b
A) a H. Excluida as la posibilidad de que k sea un
autovalor, el hecho de que dentro del espacio de Hilbert casi se pueda satisfacer la
ecuacin de autovalores sugiere la existencia un elemento no perteneciente al espacio
de Hilbert que s la satisfaga. As, se puede decir que k es un autovalor, pero en
un sentido generalizado, y que dicho elemento (de existir) es un autovector en igual
sentido. Por construccin, el espacio de Hilbert est formado por todos los vectores
de norma nita. Entonces ese autovector ha de ser un vector de norma innita.
Finalmente, ya que la ecuacin de autovalores casi se satisface para un valor k es
razonable pensar que muy probablemente suceda lo mismo para un valor k + Bk,
donde Ba es un innitesimal. Es por este motivo por el que al conjunto formado por
estos autovalores generalizados se le denomina espectro continuo.
DEFINICIONES: Sea
b
A un operador en un espacio de Hilbert H de dimensin in-
nita. Se dene el espectro continuo del operador
b
A, denotndose por j
c
(
b
A), como
el conjunto formado por todos los escalares complejos k, no pertenecientes al es-
pectro puntual, tales que existe una sucesin de vectores normalizados
46
{~u
n
}
"
n=1
a
D(
b
A) que cumple
lim
n<"
b
A3k
b
I
~u
n
lim
n<"
{
~u
n
(k) = 0.
A los elementos del espectro continuo se les llama autovalores del continuo o im-
propios.
A los autovalores, impropios o no, se les denomina genricamente valores espec-
45
La funcin {
~u
(a) se puede generalizar inmediatamente a cualquier otro vector del espacio
de Hilbert sin mas que redenirla como {
~u
(a) =
b
A3a
b
I
~u
/ k~uk. As, para cualquier

escalar complejo q, {
~u
(a) = {
q~ u
(a) .
46
Esta sucesin {~u
n
}
"
n=1
no es convergente, ya que en caso de que convergiese, su lmite
sera un autovector del operador con autovalor k, en contradiccin con la imposicin de que
k / M j
p
(
b
A).
trales. Al conjunto j(
b
A) = j
p
(
b
A) j
c
(
b
A), formado por todos los valores espectrales,
se le denomina espectro del operador.
47
Veamos dos teoremas que caracterizan el espectro continuo de operadores auto-
adjuntos y unitarios:
TEOREMA: Sea H un espacio de Hilbert y
b
A un operador autoadjunto de H.
De existir, su espectro continuo j
c
(
b
A) cumple las siguientes propiedades:
1. j
c
(
b
A) a R, esto es, el espectro continuo es real.
2. j
c
(
b
A) puede poseer valores no aislados. Esto es, j
c
(
b
A) es, en general, continuo.
Demostracin:
1. Procedamos por reduccin al absurdo y supongamos que existe un
k M j
c
(
b
A) tal que su parte imaginaria Imk es no nula. De acuerdo
con la denicin, siempre podemos encontrar un vector normalizado del
Hilbert ~u tal que la norma de ~> = (
b
A3k
b
I)~u sea arbitrariamente pequea.
Evaluemos la cantidad B = (~>, ~u) 3 (~u, ~>) usando el hecho de que
b
A es
autoadjunto:
B =
b
A3k
b
I
~u, ~u
~u,
b
A3k
b
I
~u
= 3k
W
+
~u,
b
A~u
+k 3
~u,
b
A~u
= k 3k
W
= 2i Im(k) .
Como la norma de ~> se puede hacer arbitrariamente pequea, tambin
podemos hacer arbitrariamente pequea B = 2i Im(k), en contradiccin
con el hecho de que Imk es no nula. Por tanto k ha de ser real.
2. Basta con encontrar un operador autoadjunto con espectro continuo
no discreto, y eso lo haremos en un ejemplo posterior.
Anlogamente (aunque lo admitiremos sin demostracin):
TEOREMA: Sea H un espacio de Hilbert y
b
U un operador unitario. De existir,
su espectro continuo j
c
(
b
U) cumple las siguientes propiedades:
1. Los autovalores del continuo son siempre complejos de mdulo unidad.
2. j
c
(
b
U) puede poseer valores no aislados. Esto es, j
c
(
b
U) es, en general, continuo.
Estrictamente hablando, hay muchos operadores autoadjuntos y unitarios con es-
pectro continuo que posee una parte discreta, e incluso que tienen espectro continuo
puramente discreto.
48
Por ello hemos escrito es, en general, continuo. Sin embargo,
47
Excluimos de la denicin el espectro residual, el cual no existe para operadores autoad-
juntos y unitarios.
48
Pinsese, por ejemplo, en el operador lineal
b
B cuya regla de actuacin sobre una base
ortonormal {~e
n
}
"
n=1
es
b
B~e
n
=

2 3
1
n
~e
n
si n es par
1
n
~e
n
si n es impar
A partir de la denicin de espectro continuo, no es difcil ver que los dos escalares reales 0
y 2 forman parte del mismo y, de hecho, j
c
(
b
B) = {0, 2}. En lenguaje tcnico, si un operador
autoadjunto tiene innitos valores propios (pertenecientes a j
p
(
b
B)) y la sucesin de nmeros
reales formada estos valores propios tiene uno o varios puntos de acumulacin, stos son
autovalores del continuo.
estos autovalores discretos del espectro continuo no van a jugar ningn papel funda-
mental en el formalismo cuntico y, como consecuencia, obviaremos su existencia de
aqu en adelante. Por tanto, la frase el espectro continuo de un operador autoad-
junto, de existir, es continuo aunque en rigor no sea correcta, desde una perspectiva
fsica la podemos dar por vlida.
A la vista de la denicin de espectro continuo, puede pensarse que su obtencin
para un operador dado va a ser una labor ardua. Veremos que no es as (precisa-
mente para ello introdujimos en la seccin anterior los vectores de norma innita).
Terminemos este punto dando dos teoremas bastante tiles, ya que caracterizan la
existencia del espectro continuo en funcin de la naturaleza del espectro puntual.
TEOREMA: Sea
b
A un operador autoadjunto o unitario en un espacio de Hilbert H.
Si existe una base ortonormal del espacio de Hilbert formada por autovalores de
b
A,
entonces:
1. la representacin matricial de
b
A en esa base es diagonal.
2. el operador carece de espectro continuo.
49
Demostracin: Nos restringiremos al caso de un operador autoadjunto,
dejando la demostracin para un operador unitario como ejercicio.
1. Es inmediato. Sea {~e
n
} la base ortonormal del Hilbert formada por
autovalores de
b
A, de modo que
b
A~e
n
= a
n
~e
n
, con a
n
M R.
50
Entonces,
los elementos de matriz del operador
b
A sern
A
mn
=
~e
m
,
b
A~e
n
= (~e
m
, a
n
~e
n
) = a
n
(~e
m
, ~e
n
) = a
n
B
nm
y, por tanto, la representacin matricial es diagonal. Adems, el n-simo
elemento de la diagonal es autovalor a
n
. Por abuso del lenguaje se dice,
entonces, que el operador
b
A es diagonal en esta base.
2. Demos un argumento de plausibilidad. Consideremos un escalar real
k / M j
p
(
b
A). Dado un vector genrico normalizado ~u =
P
i
u
i
~e
i
tenemos,
de acuerdo con el punto 1, que
b
A~u =
X
i
u
i
a
i
~e
i
,
de donde
b
A3k
b
I
~u =
X
i
u
i
(a
i
3k) ~e
i
,
por lo que
{
~u
(k) =
b
A3k
b
I
~u
=
s
X
i
(a
i
3k)
2
|u
i
|
2
.
49
Salvo, como veremos en la demostracin, una posible parte discreta que ya hemos dicho
que no va a ser fsicamente relevante.
50
No excluimos la posibilidad de que a
n
= a
m
con m 6= n, ya que el espacio propio asociado
a un autovalor puede ser degenerado.
Como k / M j
p
(
b
A), la cantidad |a
i
3k| es estrictamente positiva y, por
tanto, existe un { D 0 tal que |a
i
3k| > {. As tenemos que
{
~ u
(k) >
s
X
i
{
2
|u
i
|
2
= {,
donde hemos usado la condicin de normalizacin de ~u. La funcin
{
~u
(k) est, entonces, acotada inferiormente por {, y la nica manera de
que k sea un valor del espectro continuo es que { = 0, esto es, que siem-
pre podamos encontrar un valor propio a una distancia arbitrariamente
pequea de k. Sin embargo, esta es la denicin de punto de acumulacin
de una sucesin de nmeros reales. En denitiva, si la sucesin formada
por los valores propios tiene puntos de acumulacin, el espectro continuo
est exclusivamente formado stos. Un resultado topolgico bien conoci-
do seala que, de existir, los puntos de acumulacin de una sucesin son
siempre discretos,
51
por lo que el nico espectro continuo compatible con
la hiptesis es un espectro continuo formado por valores reales discretos.
Como ya hemos sealado, stos carecen de inters y queda justicada la
armacin.
TEOREMA: Dado un espacio de Hilbert H, si
b
P es un proyector ortogonal no
trivial,
52
entonces j
p
(
b
P) = {0, 1} y j
c
(
b
P) = . El subespacio propio asociado al
autovalor 1 es el subespacio de Hilbert W sobre el que proyecta
b
P, mientras que el
subespacio propio asociado al autovalor 0 es el complemento ortogonal W
z
.
Demostracin: Es consecuencia directa del teorema anterior y del de la
proyeccin ortogonal.
En la discusin previa a la denicin de espectro continuo hemos mencionado la
posibilidad de que exista un autovector de norma innita asociado al autovalor del
continuo. Sin embargo esto no es cierto para muchos operadores y, en particular, para
esos valores discretos del espectro continuo que ya hemos descartado. Sin embargo
(afortunadamente) s podemos generalizar el concepto de autovector a valores espec-
trales del continuo en operadores autoadjuntos y unitarios. Aunque lo admitiremos
sin demostracin, tenemos el siguiente teorema.
TEOREMA y DEFINICIONES: Sean
b
A un operador, autoadjunto o unitario,
en un espacio de Hilbert H de dimensin innita, k M j
c
(
b
A) un autovalor impropio
y B = {~e
i
}
"
i=1
una base ortonormal de H. Entonces, es posible encontrar un vector
de norma innita
~
C =
"
X
i=1
C
i
~e
i
51
Es intuitivo: sera absurdo pensar que si una sucesin (que por denicin es un conjunto
numerable de innitos elementos) se divide en ramas, entonces el nmero de ramas fuese
continuo.
52
Esto es, excluimos el operador nulo y el operador identidad que, formalmente, son proyec-
tores.
que sea, formalmente, solucin de la ecuacin de autovalores
b
A3k
b
I
~
C =
~
0.
Se dice, entonces, que
~
C es un autovector impropio o de norma innita del ope-
rador
b
A con autovalor k.
El conjunto formado por todos los autovectores con autovalor impropio k tiene es-
tructura de espacio lineal, y se le denomina espacio propio asociado al autovalor k,
denotndose por E
k
.
Se cumple, adems, que espacios propios asociados a autovalores del continuo
distintos son ortogonales entre s (en sentido generalizado).
Hagamos unos comentarios:
1. Recordemos que en espacios de Hilbert de dimensin nita, el nico espectro
de un operador es el puntual.
2. La nomenclatura se suele relajar, denominando autovalor a cualquier valor
espectral y autovector a todos los autovectores, incluidos los no normaliza-
bles.
3. Podemos extender la denicin de degeneracin a los espacios propios E
k
del es-
pectro continuo sin ms que tener en cuenta que en este caso no son subespacios
del Hilbert.
4. La recproca del teorema no es cierta. Que exista un vector de norma innita
que satisfaga la ecuacin de autovalores (
b
A 3 k
b
I)
~
C =
~
0 no implica necesa-
riamente que k M j
c
(
b
A). k es autovalor del continuo si y slo si satisface la
denicin dada al principio de la seccin.
5. Dado un operador autoadjunto
b
A,
53
el mtodo prctico de clculo de autova-
lores y autovectores est basado en la resolucin de la ecuacin de autovalores:
b
A3a
b
I
~v =
~
0 ; a M R.
Si para un a dado hay un vector de norma nita ~v que satisface la ecuacin,
entonces a M j
p
(
b
A). Si el vector solucin es de norma innita, a es un candidato
a formar parte del espectro continuo, pero habra que conrmarlo buscando una
sucesin de vectores normalizados {~u
n
}
"
n=1
del Hilbert que cumpla la condicin:
lim
n<"
b
A3a
b
I
~u
n
= 0
o, equivalentemente, comprobando que si ~u es un vector normalizado, la norma
b
A3a
b
I
~u
se puede hacer arbitrariamente pequea. Afortunadamente, con-

sideraciones fsicas nos permitirn discriminar las soluciones vlidas sin necesi-
dad de hacer un estudio matemtico detallado. En concreto, para el espacio de
Hilbert L
2
(R
n
) la discusin del captulo anterior sugiere que las autofunciones
de norma innita v (x) con inters fsico deben ser acotadas cuando |x| <".
53
Slo en aplicaciones ms avanzadas de la Mecnica Cuntica tendremos que obtener el
espectro de un operador unitario, por lo que a partir de ahora nos restringiremos al caso de
un operador autoadjunto.
6. Puede hacerse una caracterizacin completamente rigurosa del espectro de un
operador (consltese la bibliografa especializada citada al nal del libro). Aqu
slo hemos esbozado los aspectos importantes, aun a costa de sacricar rigor
matemtico.
Finalicemos esta seccin con algunos ejemplos importantes que ilustran el clculo
del espectro en situaciones de inters.
Ejemplo 2.49. Sea el operador lineal
b
K = 3(1/2) d
2
/dx
2
del espacio de
Hilbert L
2
[0, 1], con dominio las funciones que se anulan en 0 y 1 y con
derivada segunda de cuadrado integrable. Este operador est relacionado
con la energa cintica de una partcula.
a) Demuestre que es autoadjunto.
b) Calcule su espectro y las autofunciones correspondientes.
Solucin:
a) Para demostrar que
b
K es autoadjunto hay que comprobar que para dos funciones
cualesquiera g (x) y h(x) pertenecientes a su dominio se tiene
Z
1
0
g
W
(x)
b
K h(x) dx =
Z
1
0
b
K g
W
(x)
h(x) dx.
Sustituyendo
b
K por su expresin e integrando por partes
Z
1
0
g
W
(x)
b
K h(x) dx = 3
1
2
Z
1
0
g
W
(x)
d
2
dx
2
h(x) dx
=
1
2
Z
1
0
d g
W
(x)
dx
d h(x)
dx
dx 3
1
2
g
W
(x)
d h(x)
dx
1
0
=
1
2
Z
1
0
d g
W
(x)
dx
d h(x)
dx
dx,
donde hemos usado que las funciones del dominio de
b
K se anulan en los extremos.
Integrando de nuevo por partes y usando la misma restriccin
Z
1
0
g
W
(x)
b
K h(x) dx = 3
1
2
Z
1
0
d
2
g
W
(x)
dx
2
h(x) dx =
Z
1
0
b
K g
W
(x)
h(x) dx,
quedando as demostrado que
b
K es hermtico. A su vez,
b
K es autoadjunto con el
dominio indicado aunque, como sealamos en su momento, el carcter autoadjunto
lo daremos por supuesto.
b) Para obtener su espectro planteemos la ecuacin de autovalores:
b
K # (x) = V# (x) i3
1
2
d
2
dx
2
# (x) = V# (x) , V M R,
donde V es un autovalor real de
b
K. La solucin general de esta ecuacin (en el
intervalo [0, 1]) es
# (x) = Ae
i
I
2Vx
+Be
3i
I
2Vx
.
Ahora bien, # (0) = # (1) = 0, por lo que
A+B = 0
Ae
i
I
2V
+Be
3i
I
2V
= 0.
De esta manera, A = 3B y, por tanto,
e
i
I
2V
= e
3i
I
2V
.
Esta ltima igualdad se cumple slo si
I
2V = nZ con nun nmero natural. Como
consecuencia, el espectro puntual de
b
K es
j
p
b
K
V =
Z
2
2
n
2
, n = 1, 2, ...
a R
(ntese que n 6= 0 ya que entonces # (x) sera la funcin nula), con todos los valores
propios no degenerados.
Los autovectores correspondientes son
#
V
(x) = A
h
e
inZx
3e
3inZx
i
= ksin(nZx) ,
y tomando k =
I
2, la autofuncin #
V
(x) est normalizada. Naturalmente, los auto-
vectores de
b
K son ortonormales entre s y, adems, constituyen la base ortonormal
de senos de L
2
[0, 1]. Por tanto, no es necesario buscar el espectro continuo ya que
tenemos la seguridad de que j
c
(
b
K) = en L
2
[0, 1].
2
(R) y el operador autoadjun-
to
b
P
x
= 3i
d
dx
, con dominio las funciones continuas de L
2
(R) con derivada
de cuadrado integrable. Como ya hemos mencionado, este operador est
relacionado con la representacin del momento lineal en Mecnica Cun-
tica. Obtenga su espectro y las autofunciones correspondientes.
Solucin:
La ecuacin de autovalores
3i
d
dx
# (x) = k# (x) , k M R
tiene como solucin
# (x) = Aexp(ikx) w
k
(x) ,
con A una constante multiplicativa arbitraria. Sin embargo, sea cual sea el valor de
k, la funcin w
k
(x) / M L
2
(R) (ya que no es normalizable). Por tanto:
j
p
b
P
x
= .
Ahora bien, la onda plana w
k
(x) es una solucin no normalizable a la ecuacin de
autovalores con autovalor k. Esto sugiere que j
c
(
b
P
x
) = R, con todos los autovalores
k no degenerados y siendo w
k
(x) la autofuncin con autovalor k. Puesto que w
k
(x)
no crece indenidamente cuando |x| < ", podemos armar que lo anterior es
cierto. Si normalizamos (en sentido generalizado) las autofunciones tomando como
asignacin el propio autovalor k llegamos al resultado:
j
c
b
P
x
= {k M R} = R
g
k
= 1 (los valores propios poseen multiplicidad uno)
w
k
(x) =
1
I
2Z
exp(ikx) (las funciones propias son las ondas planas).
Observamos no slo que las autofunciones con autovalores diferentes son ortogonales
entre s, sino que adems, existe una base ortonormal (generalizada) formada
por autovectores del operador: la base ortonormal de ondas planas.
En todo caso, aunque nunca lo haremos en la prctica, vamos a comprobar que
cualquier k M R es, efectivamente, autovalor del continuo. Para ello tomemos la
funcin normalizada (compruebe que lo es)
g
q
(x) =
1
Zq
2
1/4
e
ikx
exp
3
x
2
2q
2
, q > 0,
que es una gaussiana de anchura proporcional a q multiplicada por el trmino e
ikx
.
As
b
P
x
g
q
(x) =
ix
q
2
+k
g
q
(x)
y, entonces,
b
P
x
3k
b
I
g
q
(x) =
ix
q
2
g
q
(x)
i
b
P
x
3k
b
I
g
q
(x)
1
Zq
2
1/4
s
Z
+"
3"
x
2
q
4
e
3x
2
/q
2
dx
=
1
qZ
1/4
s
Z
+"
3"
u
2
e
3u
2
du =
1
I
2q
,
que puede hacerse arbitrariamente pequeo haciendo que q tienda a innito (es decir,
aumentando la anchura de la gaussiana).
Ejemplo 2.51. Consideremos el operador autoadjunto
b
X de L
2
(R) cuya
regla de actuacin es
b
X# (x) = x# (x) y su dominio todas las funciones
# (x) de L
2
(R) tales que x# (x) es de cuadrado integrable. En Mecnica
Cuntica este operador representar la posicin de un partcula. Obtenga
su espectro y las autofunciones correspondientes.
Solucin:
Planteemos la ecuacin de autovalores
b
X# (x) = x# (x) = a# (x) , a M R.
La nica forma de que se cumpla la misma es que la funcin # (x) sea nula en todo R
excepto en x = a. Ahora bien, como ya vimos en un ejemplo anterior, dos funciones
de L
2
(R) son iguales si coinciden excepto para un conjunto de valores aislados de la
variable x. Por tanto la ecuacin de autovalores slo tiene la solucin trivial # (x) = 0
y, entonces
j
p
b
X
= .
Para calcular el espectro continuo tendremos que contemplar posibles soluciones no
normalizables a la ecuacin, y estas van a ser las deltas de Dirac. En efecto, recor-
dando que para cualquier funcin g (x) se cumple
g (x) B
a
(x) = g (a) B
a
(x) ,
la delta de Dirac B
a
(x) es solucin formal a la ecuacin de autovalores con autovalor
a:
b
X B
a
(x) = xB
a
(x) = aB
a
(x) .
Como, adems, lim
|x|<"
B
a
(x) = 0, podemos concluir que:
j
c
b
X
= {a M R} = R,
que todo autovalor a es no degenerado, y que la autofuncin correspondiente es B
a
(x).
Al igual que suceda en el ejemplo anterior, el conjunto formado por las autofunciones,
{B
a
(x)}
aMR
, constituye una base ortonormal (generalizada) de L
2
(R).
El lector puede comprobar que, en efecto, cualquier valor real a verica la denicin
de autovalor del continuo. Para ello basta considerar la funcin normalizada
h
q
(x) =
1
Zq
2
1/4
exp
3
(x 3a)
2
2q
2
, q > 0
y comprobar que
lim
q<0
b
X 3a
b
I
h
q
(x)
= lim
q<0
k(x 3a) h
q
(x)k = 0.
Ejemplo 2.52. Sea el operador autoadjunto
b
K =
b
P
2
x
/2 = 3(1/2) d
2
/dx
2
, pero
ahora en L
2
(R), con dominio todas las funciones con derivada segunda de
cuadrado integrable.
a) Demuestre que
b
K es positivo.
b) Calcule su espectro y las autofunciones correspondientes.
Solucin:
a) Sea (x) una funcin del dominio de
b
K. Como lim
x<"
(x) = 0, se tiene
,
b
K
= 3
1
2
Z
+"
3"
W
(x)
d
2
dx
2
(x) dx
=
1
2
Z
+"
3"
d
W
(x)
dx
d(x)
dx
dx =
1
2
Z
+"
3"
d(x)
dx
2
dx D 0.
b) Para calcular el espectro de
b
K planteemos formalmente la ecuacin de autovalores
b
K# (x) = V# (x) i3
1
2
d
dx
2
# (x) = V# (x) , V M R.
La solucin general de dicha ecuacin es una combinacin lineal de dos funciones
# (x) = Ae
i
I
2Vx
+Be
3i
I
2Vx
,
donde A y B son constantes arbitrarias. A diferencia de lo que suceda en L
2
[0, 1],
la autofuncin # (x) nunca es normalizable. Por tanto
j
p
b
K
= .
Analicemos ahora las soluciones no normalizables. Si V < 0, la autofuncin es # (x) =
Ae
3
I
2|k|x
+ Be
+
I
2|k|x
que, para cualquier combinacin de A y B (excepto A =
B = 0) crece indenidamente, lo que dara lugar a soluciones de norma innita no
admisibles. Por tanto
j
c
b
K
= {V D 0} = R
+
,
y la forma general de la autofuncin correspondiente es
#
V
(x) = Ae
i
I
2Vx
+Be
3i
I
2Vx
,
que, excepto cuando V = 0, depende de dos constantes arbitrarias. As, la multiplici-
dad de cada autovalor impropio Ves igual a dos (excepto, como ya se ha dicho, para
V = 0, que es no degenerado).
Si ahora establecemos la siguiente asignacin para los autovalores del continuo en
trminos de un parmetro q
j
c
b
K
V
q
=
1
2
q
2
con q M R
+
,
entonces las funciones propias #
q,j
, ya normalizadas (en sentido generalizado), son
#
q,j
(x) =
;
A
A
A
?
A
A
A
=
1
I
2Z
exp(+iqx) si j = 1
1
I
2Z
exp(3iqx) si j = 2,
donde j es un ndice asociado a la degeneracin del autovalor. De nuevo, observamos
que podemos construir una base ortonormal (generalizada) del espacio de Hilbert a
partir de las autofunciones del operador autoadjunto.
Ejercicio 2.18. En el ejemplo anterior hemos observado que el espectro del operador
autoadjunto positivo
b
K es positivo. Demuestre que este es siempre el caso, es decir,
que si
b
A es un operador positivo, entonces j
b
A
\ [0, ").
Ejercicio 2.19. Demuestre que las funciones de Hermite son autofunciones del ope-
rador transformada de Fourier. Como consecuencia, pruebe que su espectro puntual
es {0, 1, i, 3i} y que carece de espectro continuo.
2.16 Descomposicin espectral
En los ejemplos que cerraban la seccin anterior hemos visto que resultaba posi-
ble construir una base ortonormal del espacio de Hilbert formada por autovectores
(normalizables o no) de operadores autoadjuntos. Este es un resultado general que,
aunque no demostraremos, conviene analizar en detalle puesto que sobre el descansa
buena parte de la interpretacin fsica de la Mecnica Cuntica.
Para jar la notacin, consideremos un operador autoadjunto
b
A en un espacio de
Hilbert H. Para el espectro puntual:
1. j
p
(
b
A) = {a
1
, a
2
, a
3
, ...} = {a
n
} es el espectro puntual del operador (es irrele-
vante que sea nito o innito numerable, lo que importa es que es discreto).
2. E
n
a H es el subespacio propio formado por todos los autovectores de
b
A con
autovalor a
n
. Llamamos g
n
a la multiplicidad del autovalor a
n
, es decir, la
dimensin de E
n
.
3. {~u
n,i
}
g
n
i=1
es una base ortonormal de E
n
. Es decir, ~u
n,i
es un autovector nor-
malizado de
b
A con autovalor a
n
, siendo i = 1, ..., g
n
un ndice asociado a la
multiplicidad de a
n
. Por tanto, todo autovector ~u
a
de
b
A con autovalor a
n
se puede escribir como un desarrollo de Fourier (combinacin lineal, si g
n
es
nito)
54
de los vectores {~u
n,i
}
g
n
i=1
:
b
A~u
a
= a~u
a
i ~u
a
=
g
i
X
i=1
(~u
n,i
, ~ w) ~u
n,i
.
Por abuso del lenguaje se dice que ~u
n,i
es el i-simo autovector de
b
A con
autovalor a
n
, aun sabiendo que hay innitos autovectores para un autovalor
dado.
4. De esta forma, considerando todos los posibles espacios propios
(~u
n,i
, ~u
m,j
) = B
nm
B
ij
.
La delta de Kronecker B
nm
nos recuerda que autovectores con autovalores dis-
tintos son ortogonales. La segunda delta de Kronecker B
ij
seala que hemos
construido una base ortonormal de cada subespacio propio de acuerdo con el
punto anterior.
5. Por ltimo,
b
P
n
es el proyector ortogonal sobre el subespacio E
n
. De acuerdo
con el teorema de la proyeccin ortogonal
b
P
n
~ w =
g
n
X
i=1
(~u
n,i
, ~ w) ~u
n,i
, ~ w M H.
Consideremos ahora el espectro continuo, para el que seguiremos el mismo
esquema:
54
En ningn momento hemos dicho que la multiplicidad de un autovalor haya de ser ni-
ta. Un ejemplo sencillo es el del operador paridad
b
, cuyos autovalores, -1 y +1, tienen
multiplicidad innita.
2.16 Descomposicin espectral 105
1. Como los autovalores del espectro continuo j
c
(
b
A) son continuos,
55
podemos
etiquetarlos de acuerdo con un parmetro b perteneciente a un intervalo D \ R.
As
j
c
b
A
= {a
b
con b M D} = {a
b
}
bMD
,
ganando de esta forma mayor exibilidad. Nada impide, por supuesto, que el
parmetro de asignacin sea el propio autovalor (como hemos hecho al carac-
terizar el espectro continuo de
b
X y
b
P
x
en L
2
(R)). Sin embargo, al describir el
espectro continuo de
b
K en L
2
(R) en el ejemplo 2.52, asignamos los autovalores
mediante j
c
(
b
K) =
b
2
/2
bMR
+
. El motivo era, simplemente, que resultaba
ms sencillo normalizar las autofunciones con esta asignacin (vase el ejemplo
2.43).
2. E
b
es el espacio propio (no perteneciente al Hilbert y, por tanto, sin estructura
de espacio de Hilbert) formado por todos los autovectores de norma innita del
operador
b
A con autovalor a
b
. g
b
es la multiplicidad de a
b
, esto es, la dimensin
de E
b
, que supondremos nita.
3. {~v
b,i
}
g
i=1
es una base lineal ortogonal de E
b
, en el sentido de que todo autovec-
tor impropio ~/ M E
b
puede escribirse como combinacin lineal de los vectores
{~v
b,i
}
g
i=1
:
b
A~/ = a
b
~ / i ~/ =
g
i
X
i=1
/
i
~v
b,i
.
Al ser {~v
b,i
}
g
i=1
un conjunto ortogonal,
(~v
b,i
, ~v
b,j
) =
0 si i 6= j
" si i = j
y, entonces, ~v
b,i
es un autovector de norma innita de
b
A con autovalor a
b
,
siendo i = 1, ..., g
b
un ndice asociado a la multiplicidad de a
b
. Por abuso del
lenguaje se dice que ~v
b,i
es el i-simo autovector impropio de
b
A con autovalor
a
b
, aun sabiendo que hay innitos autovectores para un autovalor dado.
4. Los vectores

{~v
b,i
}
g
i=1
bMD
estn normalizados de acuerdo con la regla de
asignacin asociada al parmetro b. Es decir
(~v
b,i
, ~v
b
0
,j
) = B
b 3b
0
B
ij
,
donde la delta de Kronecker es consecuencia de la ortogonalizacin previa en
cada espacio propio.
5. Por ltimo, construyamos el operador lineal
b
P
b
: H <E
b
dado por
b
P
b
~ w =
g
X
i=1
(~v
b,i
, ~ w) ~v
b,i
, ~ w M H.
55
Lo cual no quiere decir que estn contenidos en un nico intervalo continuo. Un ejemplo
tpico aparece en fsica del estado slido en el que los autovalores del operador asociado
a la energa de un electrn forman bandas, entendidas como intervalos continuos en R,
separados entre s por una distancia conocida como gap o banda prohibida.
b
P
b
no es un operador lineal del espacio de Hilbert, ya que a cada vector ~ w M H
le hace corresponder un vector no normalizable perteneciente al espacio propio
E
b
, por tanto la expresin
b
P
b
(
b
P
b
~ w) no tiene sentido ya que, formalmente, va a
diverger si
b
P
b
~ w 6=
~
0.
Establecida la notacin tenemos (algunos resultados ya son conocidos):
TEOREMA (de descomposicin espectral de un operador autoadjunto):
Sea
b
A un operador autoadjunto en un espacio de Hilbert H. Entonces:
1. Los espacios propios asociados a autovalores distintos son ortogonales
entre s.
2. Cada espacio propio es invariante bajo la accin de
b
A. Esto es, si ~u M E
n
entonces
b
A~u M E
n
, y si ~ / M E
b
, entonces
b
A~ / M E
b
.
3. Cualquier vector ~ w del espacio de Hilbert puede escribirse como
~ w =
X
n
g
n
X
i=1
w
n,i
~u
n,i
!
+
Z
D
X
i=1
w
b,i
~v
b,i
!
db,
siendo
w
n,i
= (~u
n,i
, ~ w) ; w
b,i
= (~v
b,i
, ~ w) .
Es decir, existe una base ortonormal generalizada del espacio de Hilbert
formada por autovectores del operador autoadjunto
b
A.
4. La igualdad anterior puede escribirse en trminos de los proyectores ortogonales
b
P
n
y de los operadores
b
P
b
como
~ w =
X
n
b
P
n
~ w +
Z
D
b
P
b
~ wdb,
lo que implica
b
I =
X
n
b
P
n
+
Z
D
b
P
b
db.
Esta expresin es conocida como descomposicin espectral de la identidad.
5. La actuacin del operador
b
A sobre cualquier vector ~ w M H est dada por
b
A~ w =
X
n
g
n
X
i=1
w
n,i
b
A~u
n,i
!
+
Z
D
X
i=1
w
b,i
b
A~u
b,i
!
db
=
X
n
g
n
X
i=1
w
n,i
a
n
~u
n,i
!
+
Z
D
X
i=1
w
b,i
a
b
~u
b,i
!
db.
Es decir, podemos extender la linealidad del operador autoadjunto a
cualquier desarrollo de Fourier (generalizado) construido a partir de
autovectores de
b
A puesto que el operador
b
A es diagonal en la base de
autoestados.
6. Podemos escribir formalmente
b
A =
X
n
a
n
b
P
n
+
Z
D
a
b
b
P
b
db,
igualdad denominada descomposicin espectral del operador
b
A.
El teorema espectral indica la forma natural de tratar operadores autoadjuntos en
Mecnica Cuntica. Dado un operador autoadjunto
b
A podemos calcular su espectro y
autovectores, y construir una base ortonormal (puede que generalizada si el operador
tiene espectro continuo) en la cual puede expresarse cualquier vector ~ w. En esta base
la actuacin del operador
b
A es sencilla, y, por ejemplo, el valor medio de
b
A est dado
simplemente por
D
b
A
E
~ w
=
~ w,
b
A~ w
=
X
n
g
n
X
i=1
a
n
|w
n,i
|
2
!
+
Z
D
X
i=1
a
b
|w
b,i
|
2
!
db
(donde hemos hecho uso del carcter ortonormal de la base asociada al operador
b
A).
No slo eso; dado el operador g
b
A
se tiene (siempre que se cumplan propiedades

de convergencia que daremos por supuestas)
g
b
A
~ w =
X
n
g
n
X
i=1
w
n,i
g (a
n
) ~u
n,i
!
+
Z
D
X
i=1
w
b,i
g (a
b
) ~u
b,i
!
db,
por lo que
D
g
b
A
E
~ w
=
X
n
g
n
X
i=1
g (a
n
) |w
n,i
|
2
!
+
Z
D
X
i=1
g (a
b
) |w
b,i
|
2
!
db.
A su vez, la norma del vector se expresa fcilmente a partir de sus coordenadas
como
k~ wk
2
=
X
n
g
n
X
i=1
|w
n,i
|
2
!
+
Z
D
X
i=1
|w
b,i
|
2
!
db
y, dado un segundo vector ~#, el producto escalar (~#, ~ w) est dado por
(~#, ~ w) =
X
n
g
n
X
i=1
#
W
n,i
w
n,i
!
+
Z
D
X
i=1
#
W
b,i
w
b,i
!
db,
siendo #
n,i
, #
b,i
las coordenadas de ~#.
Ejemplo 2.53. Hemos visto que el espectro del operador
b
P
x
= 3id/dx
de L
2
(R) es toda la recta real R y sus autofunciones son las ondas planas
w
k
(x) = exp(ikx) /
I
2Z, donde el factor 1/
I
2Z garantiza la relacin de ortonor-
malidad generalizada (w
k
, w
q
) = B (k 3q).
a) Dada una funcin g (x) M L
2
(R), halle sus coordenadas en la base de
autoestados de
b
P
x
.
b) Usando este resultado obtenga la actuacin del operador
b
P
x
y del ope-
rador
b
P
2
x
= 3d
2
/dx
2
sobre dicha funcin sin necesidad de derivar.
c) Dado el escalar real a, construimos el operador unitario exp(ia
b
P
x
). Evale
exp(ia
b
P
x
)g (x).
Solucin:
a) Como ya sabemos, la coordenada k de la funcin g (x) en la base de ondas planas
es
g
k
=
Z
+"
3"
w
W
k
(x) g (x) dx =
1
I
2Z
Z
+"
3"
e
3ikx
g (x) dx = e g (k) ,
esto es, la transformada de Fourier e g (k) .
b) De acuerdo con el teorema espectral:
b
P
x
g (x) =
Z
+"
3"
e g (k)
b
P
x
w
k
(x) dk =
1
I
2Z
Z
+"
3"
k eg (k) e
ikx
dk
y, anlogamente,
b
P
2
x
g (x) =
Z
+"
3"
e g (k)
b
P
2
x
w
k
(x) dk =
1
I
2Z
Z
+"
3"
k
2
e g (k) e
ikx
dk
c) La actuacin de exp
ia
b
P
x
es inmediata:
exp
ia
b
P
x
g (x) =
Z
+"
3"
e g (k) e
ia
b
P
x
w
k
(x) dk =
1
I
2Z
Z
+"
3"
e g (k) e
iak
e
ikx
dk .
Agrupando las exponenciales,
exp
ia
b
P
x
g (x) =
1
I
2Z
Z
+"
3"
e g (k) e
ik(x+a)
dk ,
pero la integral es la transformada inversa de Fourier siendo la variable x + a. En
denitiva,
exp
3ia
b
P
x
g (x) = g (x +a) ,
por lo que el operador exp
ia
b
P
x
es la traslacin de valor a.
Todo el teorema de descomposicin espectral descansa en su punto 3 (la posibili-
dad de encontrar una base ortonormal generalizada), ya que a partir de este punto los
siguientes se demuestran sin problema. Por otro lado, la dicultad principal radica
en los operadores
b
P
b
que, al escribir la descomposicin de la identidad y del propio
operador, siempre aparecen dentro de una integral sobre el parmetro b. Sin embar-
go, podemos reescribirlos olvidndonos completamente de los autovectores impropios,
como veremos a continuacin.
En efecto, consideremos sin prdida de generalidad que el todo el espectro es no
degenerado y que el parmetro continuo de asignacin es el propio autovalor. As,
escojamos un autovalor del continuo k y un valor positivo 0 > 0 todo lo pequeo que
se quiera, pero distinto de cero. Denamos el operador
{
b
P
k
=
Z
k+0/2
k30/2
b
P
a
da,
resultado de la integral de
b
P
a
sobre el intervalo

k 3
0
2
, k +
0
2
M D. Este nuevo
operador es un proyector ortogonal del espacio de Hilbert. En efecto, para cualquier
vector ~ w del Hilbert
{
b
P
k
~ w =
Z
k+0/2
k30/2
(~v
a
, ~ w) ~v
a
da ,
de manera que
{
b
P
k
~ w
2
=
Z
k+0/2
k30/2
|(~v
a
, ~ w)|
2
da < k~ wk
ya que, en este caso
k~ wk
2
=
X
n
|(~u
n
, ~ w)|
2
+
Z
j
c(
b
A
)
|(~v
a
, ~ w)|
2
da.
Por tanto, {
b
P
k
transforma vectores del Hilbert en vectores de norma nita, que son
del Hilbert. A su vez,
{
b
P
k
2
~ w =
Z
k+0/2
k30/2
~v
a
, {
b
P
k
~ w
~v
a
da
=
Z
k+0/2
k30/2
~v
a
,
Z
k+0/2
k30/2
(~v
a
0 , ~ w) ~v
a
0 da
0
!
~v
a
da
y agrupando trminos y usando la ortonormalidad de los autovectores ~v
a
{
b
P
k
2
~ w =
Z
k+0/2
k30/2
Z
k+0/2
k30/2
(~v
a
0 , ~ w) (~v
a
, ~v
a
0 ) ~v
a
da
0
da =
=
Z
k+0/2
k30/2
Z
k+0/2
k30/2
(~v
a
0 , ~ w) B
a 3a
0
~v
a
da
0
da =
=
Z
k+0/2
k30/2
(~v
a
, ~ w) ~v
a
da = {
b
P
k
~ w.
Por ltimo, no es difcil probar (hgase) que {
b
P
k
es autoadjunto. De este modo
podemos construir proyectores ortogonales asociados a un rango, todo lo pequeo
que se quiera pero nito, del autovalor del continuo. El subespacio de Hilbert sobre
el que proyecta {
b
P
k
ser, en sentido formal,
{E
k
=
Z
k+0/2
k30/2
E
a
da
y estar formado por todos los vectores
~
que se pueden escribir como
~
=
Z
k+0/2
k30/2
a
~v
a
da .
Imaginemos ahora que
~
est normalizado, esto es,
Z
k+0/2
k30/2
|
a
|
2
da = 1
(si 0 es muy pequeo, |
a
|
2
ser muy grande, pero siempre nito y de orden 1/
I
0).
Si ahora evaluamos la funcin {
~
(k), tenemos
{
~
(k) =
b
A3k
b
I
Z
k+0/2
k30/2
(a 3k)
a
~v
a
da
=
=
s
Z
k+0/2
k30/2
(a 3k)
2
|
a
|
2
da '
s
Z
k+0/2
k30/2
(a 3k)
2
1
0
da =
1
I
3
0
2
,
esto es, {
~
(k) es del orden de 0. Por tanto, podemos interpretar {E

k
como el
subespacio de Hilbert que contiene a todos los vectores para los cuales {
~
(k) es del
orden de 0 o menor. As, podemos escribir la descomposicin espectral de la identidad
como
b
I =
X
n
b
P
n
+
X
kMj
c(
b
A)
{
b
P
k
,
que es equivalente a escribir el espacio de Hilbert como suma directa de subespacios
H =
M
n
E
n
+
M
kMj
c(
b
A)
{E
a
,
y donde los autovalores del continuo que escogemos para la suma estn separados una
distancia 0. La descomposicin espectral del operador ser:
b
A =
X
n
a
n
b
P
n
+ lim
0<0
X
kMj
c(
b
A
)
k{
b
P
k
=
X
n
a
n
b
P
n
+
Z
j
c(
b
A)
a
b
P
a
da
Bajo esta forma de ver las cosas ya podemos entender cmo surgen los autovectores
del continuo. Si consideramos el subespacio de Hilbert {E
k
y construimos el vector
~
C
k
=
1
0
Z
k+0/2
k30/2
~v
a
da,
cuya norma es
~
C
k
= 1/
I
0, observamos que la norma del vector crece indenida-
mente a medida que disminuimos 0. En el lmite 0 <0 tendremos, naturalmente
lim
0<0
~
C
a
= ~v
a
,
esto es, el autovector impropio.
2.17 Conjunto compatible de operadores 111
Ejercicio 2.20. Particularice el teorema de descomposicin espectral al
caso de que todos los autovalores sean no degenerados. A su vez, parti-
cularice el teorema espectral para operadores autoadjuntos con espectro
puramente puntual.
2.17 Conjunto compatible de operadores
En la seccin anterior hemos visto que es posible construir una base ortonormal
(puede que generalizada) formada por autovectores de un operador autoadjunto
b
A.
Si todos los autovalores son no-degenerados dicha base es nica salvo cambios trivia-
les (permutacin de los elementos de la base y multiplicacin de los vectores por un
escalar de mdulo unidad). Sin embargo, en la situacin ms general los autovalores
son degenerados y la base ya no es nica, puesto que podemos transformarla me-
diante combinaciones lineales entre autovectores asociados al mismo autovalor. En
Mecnica Cuntica es conveniente obtener bases ortonormales cuyos elementos sean
autovectores a la vez de una serie de operadores autoadjuntos, de manera que cada
elemento de la base quede unvocamente determinado por los autovalores asociados.
En esta seccin describiremos el procedimiento para conseguir este objetivo. Para ello
empecemos dando dos teoremas relativos a la conmutabilidad entre dos operadores.
TEOREMA: Dos operadores autoadjuntos
b
A y
b
B conmutan si y solo si existe una
base ortonormal del Hilbert formada por vectores que son simultneamente autovec-
tores de
b
A y de
b
B.
Demostracin: Para evitar complicaciones adicionales, nos limitaremos
al caso en que los operadores
b
A y
b
B tengan espectro puramente puntual
(aunque la extensin al caso general es inmediata). As supongamos
que existe una base de Fourier de H tal que cada uno de sus elementos
~e
i
es autovector de
b
A y de
b
B con autovalores a
i
y b
i
respectivamente.
Cualquier vector ~v M H puede escribirse como ~v =
P
i
v
i
~e
i
. Entonces
b
A
b
B~v =
b
A
b
B
X
i
v
i
~e
i
!
=
X
i
v
i
b
A
b
B~e
i
=
X
i
v
i
b
Ab
i
~e
i
=
X
i
v
i
a
i
b
i
~e
i
.
Anlogamente se tiene
b
B
b
A~v =
P
i
v
i
b
i
a
i
~e
i
; de donde
b
A
b
B~v =
b
B
b
A~v para
todo ~v M H por lo que
b
A
b
B =
b
B
b
A.
Supongamos ahora que
h
b
A,
b
B
i
= 0 y sea ~u
i
un autovector de
b
A con
autovalor a
i
. Entonces
b
A
b
B~u
i
=
b
B
b
A~u
i
= a
i
b
B~u
i
,
de modo que
b
B~u
i
es tambin un autovector de
b
A con el mismo auto-
valor a
i
. Si a
i
no es degenerado es evidente que ~u
i
y
b
B~u
i
deben ser
proporcionales; es decir,
b
B~u
i
= b
i
~u
i
, y as ~u
i
es tambin autovector de
b
B con autovalor b
i
.
Si a
i
es g
i
-degenerado, le corresponder un subespacio de dimensin g
i
.
Entonces,
b
B actuando sobre vectores de este subespacio da vectores del
mismo subespacio. As pues, habr g
i
autovectores de
b
B que constituirn
una base ortonormal del mismo. La unin de todas estas bases constituir
una base del espacio total H (c.q.d.).
TEOREMA: Sean
b
A y
b
B dos operadores autoadjuntos y sean
b
A =
X
n
a
n
b
P
a
n
;
b
B =
X
m
b
m
b
P
b
m
sus formas espectrales. Entonces
b
A y
b
B conmutan si y slo si todo proyector espectral
b
P
a
de
b
A conmuta con todo proyector espectral
b
P
b
de
b
B. (La demostracin es sencilla
y queda propuesta como ejercicio).
Debe notarse que el hecho de que haya una base formada por autovectores de
b
A y
b
B no quiere decir que todo autovector de
b
A sea necesariamente autovector de
b
B. Lo que s es cierto es que si denimos E
a
n
,b
k
como el subespacio formado por los
autovectores simultneos de
b
A y
b
B, el espacio de Hilbert puede escribirse como suma
directa de todos estos subespacios E
a
n
,b
k
.
Puede ocurrir que cada subespacio E
a
n
,b
k
tenga dimensin unidad. Esto quiere
decir que, salvo constantes multiplicativas, slo hay un autovector simultneo de
b
A
y
b
B con autovalores a
n
y b
k
. Como consecuencia (excepto cambios triviales) la base
ortonormal de autovectores comunes de
b
A y
b
B es nica, y cada vector de la misma
est determinado unvocamente por los autovectores correspondientes a a
n
y b
k
. Aho-
ra bien, tambin puede suceder que hayan subespacios E
a
n
,b
k
con dimensin mayor
que uno. Entonces, el par de valores a
n
, b
k
no basta para caracterizar un autovector
comn de
b
A y
b
B. Para discriminar una de las posibles bases ortonormales de E
a
n
,b
k
(y, por consiguiente, de todo H) necesitaramos un tercer operador autoadjunto,
b
C,
que conmute tanto con
b
A como con
b
B. Con este tercer operador podremos construir
subespacios E
a
n
,b
k
,c
j
formados por autovectores simultneos de
b
A,
b
B y
b
C con autova-
lores a
n
, b
k
, c
j
. Si todos los E
a
n
,b
k
,c
j
tienen dimensin unidad existe una nica base
ortonormal del Hilbert caracterizada por los autovalores de sus vectores referidos a
un conjunto de operadores que conmutan entre s. Si existe algn E
a
n
,b
k
,c
j
con di-
mensin mayor que uno, habr que aadir un cuarto operador, y as sucesivamente.
En resumen:
DEFINICIN: Un conjunto de operadores autoadjuntos {
b
A,
b
B,
b
C, . . . } es un con-
junto compatible si todos ellos conmutan entre s.
TEOREMA: Un conjunto de operadores autoadjuntos {
b
A,
b
B,
b
C, . . . } es compatible
si y slo si existe una base de Fourier de H formada por autovectores de
b
A,
b
B,
b
C, . . .
simultneamente.
DEFINICIN: Un conjunto de operadores autoadjuntos compatibles {
b
A,
b
B,
b
C, . . . }
es completo (CCOC) si la base ortonormal formada por autovectores simultneos de
todos los operadores es nica, salvo permutaciones y multiplicaciones por escalares de
2.17 Conjunto compatible de operadores 113
mdulo unidad. Cada uno de los vectores de dicha base queda unvocamente determi-
nado por el conjunto de sus autovalores {a, b, c, . . . } para cada uno de los operadores
del CCOC.
Ejemplo 2.54. En el espacio de Hilbert L
2
(R), sean los operadores
b
K =
3(1/2) d
2
/dx
2
y el operador paridad
b
cuya actuacin sobre una funcin
(x) es, recordemos,
b
(x) = (3x).
a) Demostrar que ambos operadores conmutan.
b) Obtener una base ortonormal (impropia) de L
2
(R) formada por auto-
funciones de
b
K y
b
.
Solucin:
a) Empecemos probando que
b
K y
b
conmutan. As, sea una funcin (x) M L
2
(R).
Entonces,
b
K
b
(x) = 3
1
2
d
2
dx
2
(3x)
b
b
K(x) =
b
3
1
2
d
2
dx
2
(x)
= 3
1
2
d
2
d (3x)
2
(3x) = 3
1
2
d
2
dx
2
(3x) .
Como esto es cierto para cualquier funcin (x), entonces
b
K
b
=
b
b
K i
h
b
,
b
K
i
= 0.
b) Pasemos ahora a la construccin de la base ortonormal. Sabemos que el operador
b
K tiene asociada una base ortonormal de autofunciones (en sentido generalizado)
dada por
B
b
K
=
exp(iqx)
I
2Z
,
exp(3iqx)
I
2Z
qD0
siendo el autovalor correspondiente q
2
/2. Esta base no es nica puesto que para
cada q podemos combinar linealmente exp(iqx) /
I
2Z y exp(3iqx) /
I
2Z. Nuestro
objetivo es obtener a partir de estas dos funciones otras dos que sean autofunciones
de la paridad. Esto es inmediato, puesto que
q,+1
(x) =
1
I
2
exp(iqx)
I
2Z
+
1
I
2
exp(3iqx)
I
2Z
=
1
I
Z
cos (qx)
q,31
(x) =
1
I
2i
exp(iqx)
I
2Z
3
1
I
2i
exp(3iqx)
I
2Z
=
1
I
Z
sin(qx)
siguen siendo autofunciones normalizadas de
b
K con autovalor q
2
/2, pero adems
b
q,+1
(x) =
q,+1
(3x) =
q,+1
(x)
b
q,31
(x) =
q,31
(3x) = 3
q,31
(x)
(el coseno es una funcin par y el seno es impar). As,
q,+1
(x) es autofuncin de
la paridad con autovalor +1, mientras que
q,31
(x) lo es con autovalor 31. En
denitiva,
B
b
K,
b
1
I
Z
cos (qx) ,
1
I
Z
sin(qx)
qD0
es una base ortonormal de L
2
(R) formada por autovectores de
b
K y
b
simultnea-
mente. Ntese, adems, que el espectro de
b
es {31, 1}, siendo las funciones propias
las funciones impares y pares, respectivamente.
(+)
El concepto de forma lineal, que deniremos a continuacin, sirve para ayudar a
comprender la llamada notacin de Dirac, que es la que se utiliza de manera habi-
tual en tratamientos formales de la Mecnica Cuntica. Adems, las formas lineales
permiten denir de manera ms rigurosa los vectores no normalizables que intro-
dujimos en la seccin 2.14.
DEFINICIN: Sea H un espacio de Hilbert. Una forma lineal o bra h| es
cualquier aplicacin de un subespacio lineal (no necesariamente de Hilbert) D(h|) a
H, llamado dominio de la forma lineal, en C, tal que a cada vector ~u M D(h|) le
hace corresponder un nmero complejo h| ~u:
h| : D(h|) 3< C
~u 3< h| ~u
que cumple las dos propiedades siguientes:
1. h| (~u
1
+~u
2
) = h| ~u
1
+h| ~u
2
, ~u
1
, ~u
2
M D(hu|) .
2. h| (k~u) = kh| ~u, k M C y ~u M D(hu|).
Como consecuencia h|
~
0 = 0, para cualquier forma lineal. Al igual que hacamos con
operadores, podemos operar con las formas lineales de la siguiente manera:
Denicin: Sea H un espacio de Hilbert. Dadas las formas lineales h| , h| y el
escalar complejo k, denimos la suma de formas lineales, h| +h|, y el producto
de una forma lineal por un escalar complejo, h| k, mediante las reglas de actuacin
siguiente:
56
1. (h| +h|) ~u = h| ~u +h| ~u
2. (h| k) ~u = kh| ~u
Adems, cada vector del espacio de Hilbert ~u tiene unvocamente asociada una
forma lineal hu| construida mediante el siguiente teorema (muy fcil de demostrar):
TEOREMA: Sea ~u un vector de un espacio de Hilbert H. La aplicacin hu| de H
en C denida mediante la regla de actuacin
hu| ~ w = (~u, ~ w)
es una forma lineal con dominio todo el espacio de Hilbert. A dicha forma lineal se
le denomina forma dual del vector ~u (o asociada a ~u).
Sean ahora dos vectores ~u
1
, ~u
2
del espacio de Hilbert, hu
1
| y hu
2
| los correspon-
dientes bras asociados, y un escalar complejo k. Entonces
TEOREMA: El bra hu
1
| +hu
2
| es el bra dual del vector del Hilbert ~u
1
+~u
2
, mientras
que el bra hu
1
| k
W
es el bra dual del vector k~u
1
.
56
Mientras no sea realmente imprescindible, no prestaremos atencin a las restricciones
asociadas a los dominios de denicin.
()
115
Demostracin: En efecto, dado un vector ~ w cualquiera del Hilbert
(hu
1
| +hu
1
|) ~ w = hu
1
| ~ w +hu
2
| ~ w = (~u
1
, ~ w) + (~u
2
, ~ w) = (~u
1
+~u
2
, ~ w)
(hu
1
| k
W
) ~ w = k
W
hu
1
| ~ w = k
W
(~u
1
, ~ w) = (k~u
1
, ~ w) ,
de donde queda demostrada la armacin.
El teorema anterior parece sugerir que existe una correspondencia biunvoca entre
vectores del espacio de Hilbert y bras, construida a partir del producto escalar. Sin
embargo, pueden existir formas lineales h|, incluso con dominio denso,
57
pero para
las que no existe un vector del Hilbert
~
tal que h| ~ w =
~
, ~ w
para todo vector

~ w del dominio de h|. Veremos inmediatamente que esta es una forma ms rigurosa
de denir los vectores no normalizables que ya conocemos. Empecemos con una
denicin.
DEFINICIN: Sea h| una forma lineal del espacio de Hilbert H. Denimos la
norma de la forma lineal, denotndose por
p
h|i, como
p
h|i = max
uMD(h|)
|h| ~u|
k~uk
.
(Se excluye de la denicin ~u = 0, ya que en este caso el cociente est indeterminado).
Si
p
h|i = 1 diremos que la forma lineal est normalizada; si
p
h|i M R, que
la forma lineal es normalizable (o de norma nita); por ltimo, si
p
h|i = "
(es decir, si |h| ~u| / k~uk no est acotada superiormente) diremos que la forma lineal
tiene norma innita o que no es normalizable.
A partir de esta denicin de norma se tiene el siguiente teorema:
TEOREMA: Sea hu| una forma lineal del espacio de Hilbert H con dominio denso.
La condicin necesaria y suciente para que exista un vector ~u M H tal que hu| sea el
bra dual de ~u es que la norma de la forma lineal sea nita. En este caso se cumple,
adems, que
p
hu|ui = k~uk.
Demostracin:
Veamos la condicin necesaria. Supongamos que hu| es el bra dual de un
~u M H. Entonces, usando la desigualdad de Schwarz
p
hu|ui = max
~ wMH
|hu| ~ w|
k~ wk
= max
~ wMH
(~u, ~ w)
k~ wk
$ max
~ wMH
k~uk k~ wk
k~ wk
= k~uk ,
es decir,
p
hu|ui $ k~uk, por lo que la norma del bra es nita. Adems,
si hacemos ~ w = ~u la desigualdad se satura, de donde
p
hu|ui = k~uk.
Demostremos la condicin suciente, suponiendo que la norma
p
hu|ui
es nita. Esto implica que si {~e
n
} es una base de Fourier contenida en el
dominio de hu|
|hu| ~e
n
| |u
W
n
| $
p
hu|ui.
57
Es decir, existe una base ortonormal del Hilbert no generalizada perteneciente al do-
minio de la forma lineal.
De esta manera, dado un vector ~ w =
P
n
w
n
~e
n
,
hu| ~ w = hu|
X
n
w
n
~e
n
=
X
n
w
n
hu| ~e
n
=
X
n
w
n
u
W
n
= (~u, ~ w)
donde el vector
~u =
X
n
u
n
~e
n
=
X
n
(hu| ~e
n
)
W
~e
n
pertenece al Hilbert ya que para cualquier ~ w, hu| ~ w es, por hiptesis,
nito. hu| es, por tanto, el bra dual de ~u.
La denicin de forma lineal es lo bastante general para que pueden existir formas
lineales h| que no estn asociadas a ningn vector del espacio de Hilbert y que, de
acuerdo con el teorema anterior, no sean normalizables. En este contexto, estas formas
lineales de norma innita no son en absoluto patolgicas, ya que lo que importa de
una forma lineal es el resultado de su aplicacin sobre un vector del espacio de Hilbert.
Veamos un par de ejemplos:
2
(R) y la forma lineal
hw
q
|, con q un escalar real, denida mediante la expresin
hw
q
| =
1
I
2Z
Z
+"
3"
exp(3iqx) (x) dx
e
(q) .
Demostrar que hw
q
| tiene norma innita.
Solucin:
Dada una funcin (x), hw
q
| no es otra cosa que la transformada de Fourier con
nmero de onda q. Para ver que esta forma lineal es de norma innita basta encontrar
una funcin (x) normalizada para la que |hw
q
| | sea tan grande como se quiera. Si
escogemos la familia de funciones normalizadas
q
(x) =
1
Zq
2
1/4
e
iqx
exp
3
x
2
2q
2
,
con q > 0, entonces
hw
q
| =
1
I
2Z
Z
+"
3"
1
Zq
2
1/4
exp
3
x
2
2q
2
dx =
q
2
Z
1/4
que se puede hacer arbitrariamente grande aumentando q.
2
(R) y la forma lineal
hB
a
|, con a un escalar real, denida mediante la expresin
hB
a
| = (a) .
Demostrar que hB
a
| tiene norma innita.
Solucin:
Observamos que si (x) es una funcin,
hB
a
| =
Z
+"
3"
B (x 3a) (x) dx = (a) .
()
117
Es decir, la delta de Dirac es, en rigor, una forma lineal. Si ahora consideramos
la familia de funciones normalizadas
q
(x) =
1
Zq
2
1/4
exp
3
(x 3a)
2
2q
2
,
con q > 0, tenemos que
hB
a
|
q
=
1
Zq
2
1/4
,
que se puede hacer arbitrariamente grande a medida que hacemos tender q a cero.
De esta forma, si hC| es una forma lineal de norma innita, uno puede verse
tentado a intentar encontrar un vector
~
C, pero ya no perteneciente a un espacio de
Hilbert, tal que se cumpla
hC| ~ w =
~
C, ~ w
, ~ w M D(hC|) \ H.
Estos son, precisamente, los vectores no normalizables. En el caso del bra hw
q
|, la
funcin no normalizable asociada a esta forma lineal es, simplemente, la onda plana
w
k
(x). Para la forma lineal hB
a
| la funcin correspondiente es la delta de Dirac
B (x 3a).
De acuerdo con lo anterior, consideremos ahora un operador lineal
b
A del Hilbert H,
no necesariamente autoadjunto. A este operador le podemos asignar unvocamente
otro operador, al que llamaremos
b
A
+
pero que en lugar de actuar sobre los vectores
del Hilbert, acta sobre los bras. As, dada una forma lineal hw|, independientemente
de que sea de norma nita o no, la forma lineal h ~ w|
b
A
+
est denida mediante la regla
de actuacin
h ~ w|
b
A
+
~u = h ~ w|
b
A
~u
,
donde
b
A
es el adjunto de
b
A, y que resulta vlida para cualquier vector del Hilbert
para el que la expresin h ~ w|
b
A
~u
M C. De acuerdo con esto, si ~ w es un vector del

Hilbert perteneciente al dominio de
b
A, el bra dual de
b
A ~ w es h ~ w|
b
A
+
. En efecto, para
cualquier ~u,
b
A ~ w, ~u
~ w,
b
A
~u
= hw|
b
A
~u
h ~ w|
b
A
+
~u,
por lo que resulta absurdo distinguir entre
b
A
+
y
b
A
si interpretamos el adjunto de un
operador como el operador asociado a
b
A (adjunto de
b
A) que acta en el espacio de
los bras. A su vez, los parntesis ya no son necesarios y podemos escribir
b
A ~ w, ~u
~ w,
b
A
~u
= hw|
b
A
~u.
De igual forma
b
A
~ w, ~u
~ w,
b
A~u
= hw|
b
A~u,
y podemos interpretar
b
A como el operador que al actuar en el espacio de los bras
sobre la forma lineal h ~ w| da, como resultado, la forma lineal dual del vector
b
A
~ w.
Dirac llam vectores ket (o simplemente kets) a los elementos de H, y los
representaba en la forma |ui. Es decir, en la notacin de Dirac la actuacin de la
forma lineal h| sobre un vector ~u |ui M H se puede escribir como
h| ~u h| |ui ,
y es costumbre escribir una nica barra en el medio:
h| ~u h| ui .
A su vez, dados dos vectores del Hilbert |ui y |wi, su producto escalar es
(~u, ~ w) = hu| wi ,
esto es, la actuacin del bra hu| dual del vector |ui sobre el vector |wi. Con esta
notacin, el elemento de matriz de un operador cualquiera
b
A se escribe como
~ w,
b
A~u
= hw|
b
A |ui
y, entonces,
b
A se puede interpretar indistintamente como un operador actuando hacia
la derecha sobre kets (vectores) o hacia la izquierda sobre bras (formas lineales).
Lo interesante de la notacin de Dirac es que todo resulta ms compacto. As,
el desarrollo de un vector de H como combinacin lineal de vectores de una base de
Fourier {|e
i
i} es simplemente
|vi =
X
i
|e
i
ihe
i
|vi. =
X
i
v
i
|e
i
i
donde v
i
es la i-sima coordenada de |vi en la base ortonormal {|e
i
i}. Esto sugiere
escribir la descomposicin de la identidad
b
I =
X
i
|e
i
ihe
i
| ,
en trminos de los kets de una base ortonormal y de sus bras correspondientes.
De igual modo, si W es un subespacio de Hilbert y {|w
i
i} una base ortonormal
del mismo, la proyeccin ortogonal de |vi sobre W es
b
P
W
|ui =
X
i
|w
i
ihw
i
|vi i
b
P
W
=
X
i
|w
i
ihw
i
|
A su vez, usando la descomposicin de la identidad llegamos fcilmente a la ex-
presin de (~u,
b
A~v) en trminos de la representacin matricial de
b
A y las coordenadas
de los vectores en la base de Fourier:
hu|
b
A|vi = hu|
b
I
b
A
b
I|vi =
X
i,k
hu|e
i
ihe
i
|
b
A|e
k
ihe
k
|vi =
X
i,k
u
W
i
A
ik
v
k
.
()
119
En notacin de Dirac, se suelen designar a los autovectores de un operador
b
A con
el mismo smbolo que el autovalor, esto es,
b
A |ai = a |ai
y |ai se entiende como el autovector (o autoket) del operador lineal
b
A con autovalor
a. Anlogamente, si ha| es el bra dual de |ai,
ha|
b
A = ha| a
independientemente de que
b
A sea autoadjunto o no, esto es, el bra dual del autovector
de un operador es auto-bra del operador lineal.
Si fuera necesario un ndice de degeneracin, se aade a la derecha de a:
b
A |a, ji = a |a, ji , j = 1, 2, ...g
a
,
con g
a
la multiplicidad del autovalor a. De acuerdo con esto, dado un operador auto-
adjunto
b
A, la descomposicin espectral de la identidad se escribe, en el caso ms
general, como
b
I =
X
aMj
p
g
a
X
i=1
|a, ii ha, i| +
Z
j
c(
b
A
)
g
X
i=1
|k, ii hk, i| dk,
donde ya hemos introducido los kets no normalizables |k, ii entendidos como que sus
bras duales son los hk, i|. La descomposicin espectral de
b
A es, por tanto,
b
A =
X
aMj
p
g
a
X
i=1
a |a, ii ha, i| +
Z
j
c(
b
A)
g
X
i=1
k|k, ii hk, i| dk.
As, un vector |wi se puede escribir como
|wi =
X
aMj
p
g
a
X
i=1
|a, ii ha, i|wi +
Z
j
c(
b
A)
g
X
i=1
|k, ii hk, i|wi dk,
y su norma al cuadrado se obtiene simplemente haciendo actuar el bra dual de |wi
sobre la expresin anterior:
hw|wi =
X
aMj
p
g
a
X
i=1
hw|a, ii ha, i|wi +
Z
j
c(
b
A)
g
X
i=1
hw|k, ii hk, i|wi dk
=
X
aMj
p
g
a
X
i=1
|ha, i|wi|
2
+
Z
j
c(
b
A)
g
X
i=1
|hk, i|wi|
2
dk.
Anlogamente,
b
A| ~ wi =
X
aMj
p
g
a
X
i=1
a |a, ii ha, i|wi +
Z
j
c(
b
A)
g
X
i=1
k|k, ii hk, i|wi dk,
y el valor medio de
b
A ser
h ~ w|
b
A| ~ wi =
X
aMj
p
g
a
X
i=1
a hw|a, ii ha, i|wi +
Z
j
c(
b
A)
g
X
i=1
khw|k, ii hk, i|wi
=
X
aMj
p
g
a
X
i=1
a |ha, i|wi|
2
+
Z
j
c(
b
A)
g
X
i=1
k|hk, i|wi|
2
dk.
En general,
h ~ w| h
b
A
| ~ wi =
=
X
aMj
p
g
a
X
i=1
h(a) hw|a, ii ha, i|wi +
Z
j
c(
b
A)
g
X
i=1
h(k) hw|k, ii hk, i|wi dk
=
X
aMj
p
g
a
X
i=1
h(a) |ha, i|wi|
2
+
Z
j
c(
b
A
)
g
X
i=1
h(k) |hk, i|wi|
2
dk.
2.19 Isomorsmos entre espacios de Hilbert
(+)
En esta seccin deniremos el concepto de isomorsmo. Siendo bastante tcnico,
explica claramente la equivalencia entre la formulacin ondulatoria de la Mecnica
Cuntica Ondulatoria de Schrdinger y la Matricial de Heisenberg y colaboradores.
DEFINICIN: Sean H
(1)
y H
(2)
dos espacios de Hilbert. Se dicen que son iso-
morfos si existe una aplicacin biyectiva entre H
(1)
y H
(2)
, llamada isomorsmo,
tal que a cada vector ~v
(1)
M H
(1)
le hace corresponder un vector nico ~v
(2)
M H
(2)
de
forma que se conserva el producto escalar, esto es, que
~v
(1)
,
~
(1)
~v
(2)
,
~
(2)
.
TEOREMA (de Reisz-Fisher): Todos los espacios de Hilbert con igual di-
mensin nita son isomorfos entre s. Si el espacio de Hilbert es de dimen-
sin innita y posee bases de Fourier numerables, entones es isomorfo a
C
"
2
.
Por ejemplo, consideremos por un lado la base cannica B
F
= {~e
1
, ~e
2
, ~e
3
, ...} de
C
"
2
y, por el otro, el espacio de funciones L
2
(R) y una de sus bases de Fourier B
0
F
=
{
1
(x) ,
2
(x) ,
3
(x) , ...} (por ejemplo, la base de funciones de Hermite). Tomemos
un vector de # (x) M L
2
(R) que escribimos como
# (x) =
"
X
j=1
#
j
j
(x) , siendo #
j
=
j
(x) , # (x)
.
Establezcamos ahora la aplicacin
# (x) <~u =
"
X
j=1
#
j
~e
j
M C
"
2
,
que nos da un vector ~u de C
"
2
, cuyas componentes en la base B
F
de C
"
2
coinciden con
las componentes de # (x) en la base B
0
F
de L
2
(R). Es inmediato comprobar (hgase)
()
121
que esta aplicacin cumple las propiedades de isomorsmo (biyeccin y conservacin
del producto escalar).
A la vista de lo anterior, que dos espacios sean isomorfos no quiere decir que el
isomorsmo que los conecte sea nico. En el caso que hemos planteado, el isomorsmo
depende de la base concreta B
0
F
utilizada pero, una vez construido el isomorsmo, hay
una correspondencia entre vectores de un espacio y otro. As, la formulacin matricial
de la Mecnica Cuntica realizada por Heisenberg y colaboradores trabaja en C
"
2
.
En cambio, la mecnica ondulatoria de Schrdinger trabaja en L
2
(R) que, de acuerdo
con el teorema de Reisz-Fisher, es un espacio de Hilbert isomorfo a C
"
2
.
(+)
Finalicemos el captulo comentando brevemente una ltima construccin matemti-
ca que resulta particularmente til al estudiar la evolucin de partculas con momento
magntico intrnseco (espn).
Imaginemos el conjunto formado por los pares ordenados de funciones de L
2
(R)
[(x)] =

1
(x)
2
(x)
,
donde la suma y el producto por un escalar complejo se denen como
[(x)] + [# (x)] =

1
(x) +#
1
(x)
2
(x) +#
2
(x)
k [(x)] =
k
1
(x)
k
2
(x)
.
Se puede introducir el producto escalar denindolo como
([(x)] , [# (x)]) =
Z
R
(
1
(x)
W
#
1
(x) +
2
(x)
W
#
2
(x)) dx,
y puede entonces demostrarse que este conjunto de pares ordenados tiene una estruc-
tura de espacio de Hilbert, llamada producto tensorial de L
2
(R) y C
2
, simbolizn-
dose por L
2
(R) C
2
. Ntese que cualquier elemento de este espacio de Hilbert puede
escribirse como
[(x)] =
1
(x)
1
0
+
2
(x)
0
1
,
esto es, como suma de productos directos de una funcin de L
2
(R) y de un vector
de C
2
. En este caso, existe un cierto paralelismo entre el producto
1
(x)
1
0
y el
producto de un vector de C
2
por un escalar; sin embargo desde un punto de vista
matemtico dicho paralelismo no equivale a una denicin de producto directo y es
mejor escribir
[(x)]
1
(x)
1
0
+
2
(x)
0
1
.
Esta es una denicin, y el producto directo
1
(x)
1
0
debe entenderse como un

objeto matemtico en s mismo.
Tras esta discusin ya es ms fcil entender la siguiente denicin ms general de
producto directo.
DEFINICIN: Sean H
1
y H
2
dos espacios de Hilbert. Simbolicemos por
~
[1]
los
vectores de H
1
y por
~
[2]
los de H
2
. El producto directo o tensorial de
~
[1]
y
~
[2]
es el objeto matemtico
~
[1]
[2]
perteneciente al espacio de Hilbert H
1
H
2
,
formado por todos los productos directos de vectores de H
1
con vectores de H
2
y todas
sus posibles combinaciones lineales.
Evidentemente, para que H
1
H
2
sea un espacio vectorial habra que denir una
suma y un producto por un escalar. Si estas dos operaciones se denen de forman
que veriquen
~
[1]
[2]
+
~
[1]
~#
[2]
=
~
[1]
[2]
+~#
[2]
[1]
[2]
= k
~
[1]
[2]
=
~
[1]
k
~
[2]
,
entonces tendremos la seguridad de que H
1
H
2
hereda la estructura de espacio
vectorial de H
1
y H
2
. Para dotarlo de estructura de espacio de Hilbert, el producto
escalar en H
1
H
2
ha de denirse como
[1]
[2]
, ~#
[1]
~#
[2]
[1]
, ~#
[1]
[2]
, ~#
[2]
supuesto para el mismo las propiedades de linealidad del producto escalar.

Dos comentarios. En primer lugar, seguimos la costumbre de no sim-
bolizar de manera distinta el producto escalar, la suma o el producto
por un escalar de cada uno de los distintos espacios; slo hemos inclui-
do explcitamente el signo para indicar el producto de dos nmeros
complejos. En segundo lugar, la frase supuesto para el mismo las pro-
piedades de linealidad del producto escalar permite denir el producto
escalar de vectores de H
1
H
2
que no sean productos directos, sino una
combinacin lineal de stos.
La construccin de una base ortonormal de H
1
H
2
es sencilla a partir de
sendas bases ortonormales B
1
y B
2
de los espacios de Hilbert H
1
y H
2
. En concreto:
TEOREMA: Sean H
1
y H
2
dos espacios de Hilbert, B
1
=
n
~e
[1]
1
, ~e
[1]
2
, ...
o
una base
ortonormal de H
1
y B
2
=
n
~e
[2]
1
, ~e
[2]
2
, ...
o
una base ortonormal de H
2
. Entonces
B
12
=
n
~e
[1]
j
~e
[2]
i
; j = 1, 2, ... i = 1, 2, ...
o
es una base ortonormal de H
1
H
2
.
()
123
DEFINICIN: Los operadores lineales de H
1
y H
2
de cada uno de los espacios de
Hilbert se incorporan directamente a H
1
H
2
. En efecto, sea
b
A
[1]
un operador de
H
1
; entonces
b
A
[1]
opera sobre los vectores de H
1
H
2
de la manera siguiente:
b
A
[1]
[1]
[2]
b
A
[1]
~
[1]
[2]
.
Anlogamente, un operador
b
A
[2]
de H
2
, opera sobre los vectores de H
1
H
2
como:
b
A
[2]
[1]
[2]
=
~
[1]
b
A
[2]
~
[2]
.
A partir de la denicin anterior, que extiende la actuacin de los operadores
de cada espacio de Hilbert al espacio producto tensorial, podemos construir sumas,
productos por un escalar y composiciones de operadores de H
1
y H
2
. Por ejemplo
b
A
[1]
b
A
[2]
[1]
[2]
b
A
[1]
~
[1]
b
A
[2]
~
[2]
b
A
[1]
b
B
[1]
[1]
[2]
b
A
[1]
b
B
[1]
~
[1]
[2]
b
A
[1]
+
b
B
[1]
[1]
[2]
b
A
[1]
~
[1]
[2]
+
b
B
[1]
~
[1]
[2]
b
A
[1]
+
b
B
[2]
[1]
[2]
b
A
[1]
~
[1]
[2]
+
~
[1]
b
B
[2]
~
[2]
.
Por otra parte, para cualesquiera
b
A
[1]
y
b
B
[2]
,
h
b
A
[1]
,
b
B
[2]
i
= 0,
y, adems, si
~
[1]
es autovector de
b
A
[1]
con autovalor a, se cumple que
b
A
[1]
[1]
[2]
= a
[1]
[2]
para cualquier
~
[2]
. Esto es,
~
[1]
[2]
es autovector de
b
A
[1]
con igual autovalor a
(pero ahora
~
[1]
[2]
es un vector de H
1
H
2
). Naturalmente, lo mismo ocurre con
los operadores del espacio de Hilbert H
2
.
ndice de smbolos y
glosario
CONJUNTOS, NMEROS Y FUNCIONES .
: conjunto vaco.
N : conjunto de los nmeros naturales.
R y C : son los conjuntos de los nmeros reales (recta real) y complejos (plano
complejo), respectivamente.
R
+
: recta real positiva, esto es [0, ").
Re (. . . ) o Im(. . . ) son las partes real e imaginaria de la expresin encerrada entre
los parntesis.
k
W
es el complejo conjugado de k M C.
B
ij
: delta de Kronecker, con valores B
ii
= 1 y B
ij
= 0 si i 6= j.
hf (x)i es el valor medio o esperado de la funcin f (x).
P
n
(x) son los polinomios de Legendre, denidos en el intervalo [31, 1], pgs. 40 a
43.
L
n
(x) son los polinomios de Laguerre, denidos en [0, "), pgs. 40 a 43.
L
n
(x) son las funciones de Laguerre, pgs. 40 a 43.
H
n
(x) son los polinomios de Hermite, denidos en (3", "), pgs. 40 a 43.
H
n
(x) son las funciones de Hermite, pgs. 40 a 43.
ESPACIOS VECTORIALES O LINEALES .
U es un espacio vectorial complejo, cuyos subconjuntos denotamos por D, R, W, W
1
,
W
2
, etc., pg. 17.
E
n
: espacio eucldeo n-dimensional.
R
n
: espacio real n-dimensional, R R R . . . R.
P [a, b] es el espacio de los polinomios con coecientes complejos, denidos en el
intervalo [a, b].
C [a, b] es el espacio de las funciones continuas y acotadas, denidas en el intervalo
[a, b].
319
320 Smbolos y glosario
C
n
[a, b] es el espacio de las funciones continuamente derivables n veces, denidas en
el intervalo [a, b].
L(R) : conjunto de funciones complejas de variable real denidas en R que verican
R
R
|(x) |dx < " (esto es, las funciones son absolutamente integrables en R).
L
2
([a, b]) : conjunto de funciones complejas de variable real denidas en el intervalo
cerrado [a, b] M R que verican
R
[a,b]
|(x)|
2
dx < " (esto es, las funciones son
de cuadrado sumable en [a, b]).
L
2
(R
n
) : espacio de las funciones complejas de variable real (denidas en R
n
) cuyo
cuadrado es sumable o integrable en R
n
.
C
"
2
: conjunto de las sucesiones convergentes de nmeros complejos ~a = (a
1
, a
2
, a
3
, ...),
con a
i
M C, tales que
P
"
j=1
|a
j
|
2
< ".
Combinacin lineal : es una suma nita de elementos del espacio vectorial U,
pg. 21.
Subespacio vectorial (o lineal) : es un subconjunto del espacio vectorial U que
es a su vez un espacio lineal.
dim(U) es la dimensin del espacio vectorial U, pg. 22.
lin(W) es la envolvente lineal de W, esto es, el conjunto formado por todos los
elementos de U que son combinacin lineal de elementos de W (esto es, se
pueden expresar como una suma nita de ellos), pg. 22.
B es una base lineal de un espacio vectorial U, de dimensin N, pg. 22.
(~u, ~v) : producto escalar de los vectores ~u y ~v de un espacio vectorial (es un escalar,
en principio M C) , pg. 23.
((x) , (x)) : producto escalar de las funciones y (o vectores y de un
espacio de funciones) es un escalar M C, pg. 28.
Conjunto ortogonal : es un subconjunto de U cuyos elementos son ortogonales dos
a dos.
W
z
: es el complemento ortogonal de un subespacio de Hilbert W, esto es, es el
conjunto de todos los vectores de H que son ortogonales a todos los vectores
del subespacio W a H, pg. 24.
Espacio pre-Hilbert : espacio vectorial en el que se ha denido un producto es-
calar, pg. 24.
k~uk : norma del vector ~u de un espacio vectorial (es un escalar M R), pg. 25.
Sucesin de Cauchy : es una sucesin de vectores {~u
n
}
"
n=1
a U que cumple
lim
n<"
(~u
n+i
3~u
n
) =
~
0, para cualquier i M N, pg. 32.
Espacio de Hilbert, H : es un espacio lineal pre-Hilbert en el que las sucesiones
de Cauchy son convergentes, bajo la norma asociada al producto escalar, pg.
32.
Desarrollo de Fourier : lmite innito de combinacin lineal de elementos de U,
esto es, ~u = lim
N<"
P
N
j=1
u
j
~e
j

P
"
j=1
u
j
~e
j
.
B
F
: es una base ortonormal o de Fourier de un espacio de Hilbert H, esto es, todo
vector ~u M H puede escribirse como un desarrollo de Fourier con los elementos
de B
F
, pg. 36.
Smbolos y glosario 321
H
(1)
kH
(2)
: es el espacio de Hilbert suma directa de los dos subespacios H
(1)
y
H
(2)
, pg. 65.
H
(1)
H
(2)
: es el espacio de Hilbert producto tensorial de los dos subespacios
H
(1)
y H
(2)
, pg. 122.
OPERADORES .
b
A es un operador, esto es, una aplicacin de un subespacio D(
b
A) a H en H tal
que a cada vector ~v M D(
b
A) le hace corresponder un segundo vector
b
A~v que
pertenece al espacio H, pg. 44.
D(
b
A) es el dominio del operador
b
A, esto es, el conjunto de vectores de H sobre los
que acta el operador, pg. 44.
R(
b
A) es el recorrido del operador
b
A, esto es, el conjunto de aquellos vectores de H
que son el resultado de la actuacin del operador sobre los vectores de D
b
A
,
pg. 44.
Operador lineal es un operador de un espacio de Hilbert H que, para todo ~u, ~v M
D(
b
A) y para todo complejo k, cumple que
b
A(~u +~v) =
b
A~u+
b
A~v y que
b
A(k~u) =
k
b
A~u, pg. 44.
Suma de operadores. Sean
b
A y
b
B dos operadores lineales de un espacio de Hilbert
H. El operador
b
A +
b
B, suma de
b
A y
b
B, se dene de la forma
b
A+
b
B
~u =
b
A~u +
b
B~u, siendo su dominio D(
b
A) K D(
b
B), pg. 46.
Producto de operadores El operador
b
A
b
B, producto o composicin de los ope-
radores
b
A y
b
B, se dene como
b
A
b
B
~u =
b
A
b
B~u
y su dominio es el subcon-
junto de D(
b
B) formado por aquellos vectores ~u tales que
b
B~u M D(
b
A), pg.
46.
Operador inverso
b
A
31
: es aquel cuya regla de actuacin es
b
A
31
~u = ~ w, donde
b
A~ w = ~u (su dominio es el recorrido de
b
A), pg. 47.
b
A
es el operador adjunto de
b
A, pg. 56.
Elementos de matriz de un operador lineal : conjunto de nmeros complejos
A
kn
=
~e
k
,
b
A~e
n
, para el operador lineal

b
A. Estos nmeros constituyen una
matriz que se denomina representacin matricial del operador
b
A en la base
B
F
.
Operador hermtico o autoadjunto : es el que coincide con su adjunto,
b
A =
b
A
,
pg. 56.
Operador unitario es el que, al multiplicarlo por su adjunto, da como resultado el
operador unidad
b
U
b
U
=
b
U
b
U =
b
I, pg. 60.
Proyector es un operador
b
P hermtico e idempotente (esto es, que
b
P
2
=
b
P
b
P =
b
P),
pg. 64.
Proyector ortogonal
b
P
W
es un proyector que nos da la proyeccin ortogonal de
cualquier vector sobre un subespacio W, pg. 65.
322 Smbolos y glosario
Operadores dependientes de un parmetro se tratan en la pg. 50 y siguien-
tes.
Conmutador de dos operadores
h
b
A,
b
B
i
=
b
A
b
B 3
b
B
b
A, pgs. 47 y 165.
Operadores compatibles son los que conmutan, esto es
h
b
A,
b
B
i
= 0, pg. 47.
CCOC es un conjunto completo de observables (u operadores) compatibles, pg.
112.
Autovector (o vector propio) de un operador
b
A: se dice que un vector ~u es un
autovector de
b
A (o autofuncin si estamos en un espacio de funciones) con
autovalor complejo a si se cumple
b
A~u = a~u, pg. 67.
Autovalor (o valor propio) de un operador
b
A: el nmero complejo a es un auto-
valor de
b
A si existe un vector ~u (autovector de
b
A) que verique la ecuacin de
autovalores
b
A~u = a~u, pg. 67.
j
p
b
A
es el espectro puntual (conjunto de autovalores) del operador

b
A, pg. 67.
Autovalor impropio: si existen valores complejos k / M j
p
b
A
del operador lineal

b
A para los que, no existiendo ningn vector ~u que satisfaga estrictamente la
expresin
b
A~u = k~u, es posible encontrar una sucesin de vectores normalizados
~u
n
de H tales que la sucesin
n
b
A3k
~u
n
o
tiende a cero, entonces se dice que
el nmero complejo k / M j
p
b
A
es un autovalor impropio, pg. 94.

j
c
b
A
es el espectro continuo (conjunto de autovalores impropios) del operador

b
A, pg. 94.
j
b
A
es el espectro (el conjunto total de los autovalores y de los autovalores im-

propios) del operador
b
A, pg. 95. A los valores propios del espectro se les llama
valores espectrales.
DELTA DE DIRAC Y TRANSFORMACIN DE FOURIER .
B
a
(x) o B (x 3a) : funcin delta de Dirac, pg. 83.
b
F es el operador que efecta la transformacin de Fourier de una funcin dada,
pg. 90.
e g (k) =
b
F {f (x)} es la transformada de Fourier de la funcin f (x), pg. 90.
Teorema de Plancherel : nos dice que la transformada de Fourier conserva la nor-
ma, esto es,
R
R
|e g(y)|
2
dy =
R
R
|g(x)|
2
dx, pg. 91.

Esps Hilbert Caps 1 y 2

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Esps Hilbert Caps 1 y 2

Загружено:

Авторское право:

Доступные форматы

INTRODUCCIN AL FORMALISMO DE LA

0 ( 0 es el elemento nulo de C).

(por tanto, (, ) R).

(n, n) para todo c C .

0, la desigualdad de Schwarz se reduce a la igualdad trivial 0 = 0.

(a) c(a) da.

, sino como (, #) o tambin como ((x) , # (x)) .

, lo que por denicin demuestra que T [a, /] es un

cuya segunda componente diverge.

(a) c(a) da.

, calcule la norma del :-simo elemento de la sucesin.

. Es evidente que lin(() = T [1, 1], el subespacio de

El dominio del operador g(

(~u +~v) = lim

pues, en general, no est garantizado que

Hemos escrito la ltima expresin en forma ms compacta, teniendo en cuenta que

. Sin embargo, hemos de tener

e igualando ahora los coecientes de las sucesivas potencias de b obtenemos

, se dene mediante la regla de actuacin

~u, ~v) = (~u,

), ser siempre el ms extenso posible

, donde k y q son nmeros complejos.

(atencin al cambio de orden!).

)). Ahora podemos usar la linea-

y usando de nuevo la denicin de adjunto movemos otra vez el opera-

(coincidencia de las reglas de actuacin y de los dominios)

(x) = f (x) (x)

(k(x) +q# (x)) = f (x) (k(x) +q# (x))

y queda as demostrado que

llegamos al resultado pedido:

con autovalor g (a).

a los autovectores correspondientes. As,

y, normalizando estos vectores,

. A partir del resultado del apartado anterior tenemos que

en trminos de la base cannica, llegamos al resultado nal:

= kk~vk = |k| k~vk .

. Ahora bien, como k es un complejo

). Por tanto, lo que tenemos que demostrar

) para cualquier operador en un espacio

es la matriz traspuesta conjugada de [

y como el espectro puntual de un autoadjunto es real, entonces b

tambin lo es. Entonces si b

y este vector ~ w pertenecer a C

no es a priori vlida si estn involucrados vectores de norma innita. Afortunada-

= 0; un conjunto de vectores es ortogonal si todos sus elementos son ortogo-

En resumen, en la asignacin ms general posible, las ondas planas escritas como

porque toda la funcin delta de Dirac est concentrada en el intervalo lim

, dominado transformada inversa de Fourier, viene

, probemos ahora que

/ k~uk. As, para cualquier

se puede hacer arbitrariamente pequea. Afortunadamente, con-

se tiene (siempre que se cumplan propiedades

(k) es del orden de 0. Por tanto, podemos interpretar {E

para todo vector

M C. De acuerdo con esto, si ~ w es un vector del

debe entenderse como un

supuesto para el mismo las propiedades de linealidad del producto escalar.

, para el operador lineal

es el espectro puntual (conjunto de autovalores) del operador

del operador lineal

es un autovalor impropio, pg. 94.

es el espectro continuo (conjunto de autovalores impropios) del operador

es el espectro (el conjunto total de los autovalores y de los autovalores im-