Espectro de un operador
Ir a la navegaciónIr a la búsqueda
El espectro de un operador es un conjunto de valores complejos que generaliza el concepto de
valor propio (autovalor) a espacios vectoriales de dimensión infinita. El concepto es muy
importante tanto en análisis funcional como en mecánica cuántica.
El estudio de los espectros de los operadores sobre un cierto espacio y sus propiedades se conoce
como teoría espectral.
Índice
1 Motivación
2 Resolvente y espectro de un operador
3 Clasificación del espectro
3.1 Espectro puntual
3.2 Espectro continuo
3.3 Espectro residual
3.4 Espectro esencial
4 Espectro de operadores acotados
5 Espectro de operadores no acotados
6 Ejemplos
6.1 Operador momento lineal
6.2 Operador posición
6.3 Hamiltoniano del oscilador armónico
6.4 Operadores creación y destrucción
7 Referencias
7.1 Bibliografía
8 Véase también
Motivación
En dimensión finita, una aplicación lineal {\displaystyle L:\mathbb {C} ^{n}\longrightarrow
\mathbb {C} ^{n}}{\displaystyle L:\mathbb {C} ^{n}\longrightarrow \mathbb {C} ^{n}}, que fijada
una base se representa por una matriz, siempre tiene algún valor propio {\displaystyle \lambda \in
\mathbb {C} }{\displaystyle \lambda \in \mathbb {C} } que sea solución de la siguiente ecuación:
{\displaystyle L(\mathbf {v} )=\lambda \mathbf {v} }{\displaystyle L(\mathbf {v} )=\lambda \mathbf
{v} }
Donde además debe cumplirse que {\displaystyle \mathbf {v} \neq \mathbf {0} \in \mathbb {C} }
{\displaystyle \mathbf {v} \neq \mathbf {0} \in \mathbb {C} }. El conjunto de todos los valores
{\displaystyle \lambda \in \mathbb {C} }{\displaystyle \lambda \in \mathbb {C} } que satisface la
ecuación anterior recibe el nombre de espectro puntual de la aplicación lineal L.
Sin embargo, cuando buscamos soluciones como la anterior para aplicaciones lineales
(operadores) en espacios de dimensión infinita no siempre existe solución. Por ejemplo en el
espacio de Hilbert ℓ2 el "operador desplazamiento a la derecha" que viene dado por:
{\displaystyle (x_{1},x_{2},\dots )\mapsto (0,x_{1},x_{2},\dots )}{\displaystyle
(x_{1},x_{2},\dots )\mapsto (0,x_{1},x_{2},\dots )}
carece de valores propios según la definición (1). Sin embargo, con la generalización del espectro
puntual al más amplio concepto de espectro, puede probarse que todo operador lineal acotado en
un espacio de Banach complejo tiene un espectro no vacío.
Resolvente y espectro de un operador
El espectro de un operador lineal A tiene que ver con la búsqueda de soluciones de la ecuación:
(1){\displaystyle A\mathbf {u} =\lambda \mathbf {u} \qquad {\mbox{con}}\;\mathbf {u} \neq
0\land \lambda \in \mathbb {C} }{\displaystyle A\mathbf {u} =\lambda \mathbf {u} \qquad
{\mbox{con}}\;\mathbf {u} \neq 0\land \lambda \in \mathbb {C} }
La ecuación anterior se plantea normalmente en un espacio vectorial topológico y la razón por la
cual se consideran valores complejos es que {\displaystyle \mathbb {C} }\mathbb{C} es un cuerpo
algebraicamente cerrado (a diferencia de {\displaystyle \mathbb {R} }\mathbb{R} que no es
algebraicamente cerrado). Las soluciones de (1) pueden relacionarse con las propiedades del
operador resolvente dado por:
{\displaystyle R_{\lambda }=(A-\lambda I)^{-1}\;}{\displaystyle R_{\lambda }=(A-\lambda I)^{-1}\;}
Los valores complejos para los cuales el operador anterior está bien definido y es acotado sobre
un dominio denso se dice que pertenecen al conjunto resolvente. El complemento del conjunto
resolvente, es decir, los valores para los que el operador resolvente presenta "problemas" por no
estar definido, no ser acotado o no tener un dominio denso forman el espectro del operador.
Clasificación del espectro
Dado un operador acotado B, éste es invertible (i.e. tiene una operador inverso acotado), si y sólo
si B está acotado inferiormente y tiene un conjunto imagen denso en el espacio sobre el espacio
de Banach sobre el que está definido. El espectro, no vacío, de un operador acotado siempre
puede dividirse en tres partes:
Espectro puntual o discreto. Para ciertos valores el operador {\displaystyle (B-\lambda I)}
{\displaystyle (B-\lambda I)} no es inyectivo y por tanto no puede definirse una inversa. Esos
valores conforman el espectro puntual. Obviamente la ecuación (1) sólo tiene soluciones para
valores del espectro puntual, y una de esas soluciones se llama vector propio.
Espectro continuo (o "espectro puntual aproximado"). El espectro continuo está asociado con
"vectores propios aproximados" o "vectores cuasipropios". Un valor complejo pertenece al
espectro continuo si el operador resolvente existe y está definido sobre un dominio denso pero no
es acotado.
Espectro residual. Está formado por valores tales que el operador resolvente puede definirse
sobre un dominio no denso. Este operador puede ser acotado o no acotado, pero eso es
secundario a la hora de considerarlo en el espectro residual es si el dominio es o no denso.
En dimensión finita, el espectro continuo y residual de un operador siempre son vacíos, y el
espectro coincide así con el espectro puntual. Esa es la razón por la cual el concepto de espectro
generaliza el de espectro puntual, cuando consideramos dimensión infinita.
Las siguientes tres secciones dan más detalles sobre las características de cada uno de estos tres
subconjuntos del espectro de un operador.
Espectro puntual
Si el operador {\displaystyle (B-\lambda I)\;}{\displaystyle (B-\lambda I)\;} no es inyectivo para un
cierto valor de {\displaystyle \lambda \;}{\displaystyle \lambda \;}, entonces claramente no es
invertible. Los valores de {\displaystyle \lambda \;}{\displaystyle \lambda \;} para los que sucede
eso, forman el espectro puntual de B, denotado como {\displaystyle \sigma _{p}(B)\;}{\displaystyle
\sigma _{p}(B)\;}, claramente: {\displaystyle P\sigma (B):=\sigma _{p}(B)\subseteq \sigma (B)}
{\displaystyle P\sigma (B):=\sigma _{p}(B)\subseteq \sigma (B)}. Este espectro tiene algunas
propiedades interesantes:
En dimensión finita el espectro puntual es no vacío.
En dimensión finita todo el espectro es precisamente espectro puntual.
En mecánica cuántica el espectro puntual del hamiltoniano coincide con los valores posibles de la
energía de los estados ligados.
Un operador normal (autoadjunto, unitario, ...) carece de espectro residual.
Espectro continuo
El espectro continuo, también llamado "espectro puntual aproximado" prestándose a malas
interpretaciones. La razón de este otro nombre se debe a que cuando {\displaystyle \lambda
\in \mathbb {C} }{\displaystyle \lambda \in \mathbb {C} } pertenece al espectro continuo
{\displaystyle \sigma _{c}=C\sigma \;}{\displaystyle \sigma _{c}=C\sigma \;}, aunque no puede
encontrarse un vector propio (propiamente dicho) puede construirse una sucesión de vectores
casipropios tal que:
{\displaystyle \lim _{n\to \infty }\|Bu_{n}-\lambda u_{n}\|=0}{\displaystyle \lim _{n\to \infty }\|
Bu_{n}-\lambda u_{n}\|=0}
Ejemplo Considérese el operador T sobre {\displaystyle \ell ^{2}(\mathbb {Z} )}\ell ^{2}({\mathbb
{Z}}) definido por:
{\displaystyle B(\cdots ,a_{-1},{\hat {a}}_{0},a_{1},\cdots )=(\cdots ,{\hat {a}}_{-
1},a_{0},a_{1},\cdots )}{\displaystyle B(\cdots ,a_{-1},{\hat {a}}_{0},a_{1},\cdots )=(\cdots ,{\hat
{a}}_{-1},a_{0},a_{1},\cdots )}
