Espectro de un operador

Espectro de un operador

Espectro de un operador

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.

Contenido

Motivación

En dimensión finita, una aplicación lineal L:\mathbb{C}^n\longrightarrow \mathbb{C}^n, que fijada una base se representa por una matriz, siempre tiene algún valor propio \lambda \in \mathbb{C} que sea solución de la siguiente ecuación:

L(\mathbf{v}) = \lambda \mathbf{v}

Donde además debe cumplirse que \mathbf{v} \ne \mathbf{0} \in \mathbb{C}. El conjunto de todos los valores \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 Hilbert2 el "operador desplazamiento a la derecha" que viene dado por:

(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) A\mathbf{u} = \lambda \mathbf{u} \qquad \mbox{con}\;
\mathbf{u}\ne 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 \mathbb{C} es un cuerpo algebraicamente cerrado (a diferencia de \mathbb{R} que no es algebraicamente cerrado). Las soluciones de (1) pueden relacionarse con las propiedades del operador resolvente dado por:

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. Para ciertos valores el operador (B − λ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 (B-\lambda I) \; no es inyectivo para un cierto valor de \lambda\;, entonces claramente no es invertible. Los valores de \lambda\; para los que sucede eso, forman el espectro puntual de B, denotado como \sigma_p(B)\;, claramente: 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 \lambda \in \mathbb{C} pertenece al espectro continuo \sigma_c = C\sigma\;, aunque no puede encontrarse un vector propio (propiamente dicho) puede construirse una sucesión de vectores casipropios tal que:

\lim_{n\to \infty}\|Bu_n-\lambda u_n\| = 0

Ejemplo Considérese el operador T sobre \ell^2(\mathbb{Z}) definido por:


B(\cdots, a_{-1}, \hat{a}_0, a_1, \cdots) = (\cdots, \hat{a}_{-1}, a_0, a_1, \cdots)

Donde ˆ denota la posición cero. Un cálculo directo muestra que B no posee valores propios, por lo que su espectro puntual es vacío, pero cada λ, con |λ| = 1, tiene un vector aproximadamente propio; siendo un el vector:

u_n = \frac{1}{\sqrt{n}}(\dots, 0, 1, \lambda, \lambda^2, \dots, \lambda^{n-1}, 0, \dots)

Entonces ||un|| = 1 para todo n pero:

\|Bu_n - \lambda u_n\| = \sqrt{\frac{2}{n}} \to 0

De esto se sigue que B es un operador unitario cuyo espectro cae en el círculo unidad. Por tanto, el espectro continuo coincide con todo su espectro. Esto también es cierto para una clase muy general de operadores.

Espectro residual

Un operador B puede ser acotado inferiormente y no invertible. Por ejemplo el operador de desplazamiento unilateral definido en \ell^2(\mathbb{N}), similar al definido en la sección anterior, es un ejemplo. Este operador es una isometría, por tanto está acotado inferiormente por 1. Pero no es invertible por no ser sobreyectivo. El conjunto de los valores para los cuales B - λI no tiene un conjunto imagen o rango denso se conoce espectro residual y se designa como, \sigma_r(B) = R\sigma(B)\;.

  • El espectro residual de un operador normal es nulo. Esto hace que la mayoría de operadores de la mecánica cuántica por ser normales (autoadjuntos o unitarios) carezcan de espectro residual. Sin embargo, el espectro residual del operador creación de partículas bosónicas coincide con todo el plano complejo.

Espectro de operadores acotados

Un operador acotado B sobre un espacio de Banach \mathcal{B} es un operador tal que el siguiente máximo existe:

\|B\| = \max_{\|v\| = 1} \|B(v)\|

Sea ahora \mathcal{B} un álgebra de Banach que contiene un elemento unidad I. En esas condiciones se define el espectro de un elemento B\in\mathcal{B}, denotado usualmente como \sigma(B)\;, consiste en todos aquellos \lambda\in\mathbb{C} tales que el operador B-\lambda I\; no tiene inverso en \mathcal{B}.

Dado un espacio de Banach (X, \|\cdot\|);, entonces el conjunto de operadores acotados sobre este espacio, denotado como \mathcal{B}(X), es de hecho un álgebra de Banach. Usualmente, la teoría espectral de operadores definidos en un cierto espacio de Banach trabaja con este álgebra de Banach unitaria de operadores acotados.

El espectro de un operador acotado tiene las siguientes propiedades básicas:

  • El espectro σ(B) de un operador B es siempre un conjunto no-vacío. Esto se sigue del Teorema de Liouville.
  • El espectro es un conjunto acotado lo cual se sigue de la expansión en serie de Neumann en λ. Es más el espectro σ(B) está acotado superiormente por ||B||.
  • Además puede verse que el espectro σ(B) es un conjunto cerrado, y al ser un subconjunto del plano complejo que es cerrado y acotado, se sigue que es también un conjunto compacto, por el teorema de Heine-Borel.
  • La cota superior ||B|| para el radio de la bola centrada que contiene al espectro puede mejorarse, de hecho se define el radio espectral como el ínfimo de dicho radio es decir:

r_\sigma(B) = \sup \{|\lambda| : \lambda \in \sigma(B)\}

La fórmula del radio espectral para un operador B dice que:

r_\sigma(B) = \lim_{n \to \infty} \|B^n\|^{1/n}

  • Si B es un operador compacto, entonces puede probarse cualquier valor no nulo del espectro pertenece al espectro puntual, siendo 0 el único posible valor fuera del espectro no-puntual.
  • Si T es un operador normal en un espacio de Hilbert, entonces un teorema muy notable, conocido como teorema espectral, asegura que el espectro residual es vacío.

Espectro de operadores no acotados

La definición de espectro anterior puede ser extendida sin dificultad a operadores no acotados definidos en todo un espacio de Banach X. Procediendo de manera similar al caso de operadores acotados se introduce el conjunto resolvente del operador:

T: D (\subset X) \longrightarrow X

Cuyo resolvente está formado por todos los puntos del plano complejo \mathbb{C} para los que el operador resolvente:

R_\lambda: D (\subset X) \longrightarrow X, \qquad 
R_\lambda = T -\lambda I_X

admite un operador inverso que sea acotado y que por tanto cumplirá:

S\circ R_\lambda = I_D, \qquad R_\lambda\circ S = I_X

Análogamente al caso acotado se dice que un número complejo \lambda\in\mathbb{C} pertenece al espectrum si no existe un operador acotado e inverso del resolvente, como el descrito más arriba. El espectro se puede clasificar de la misma manera que en el caso acotado.

El espectro de un operador no acotado es en general un conjunto cerrado, que puede ser vacío.


Ejemplos

Operador momento lineal

Consideremos el espacio de Hilbert \mathcal{H} = L^2(\mathbb{R}) y consideremos el operador autoadjunto u observable momento lineal de la mecánica cuántica:

\Psi(x) \mapsto \hat{P}_x\Psi(x) = -i\frac{d}{dx}\Psi(x) \qquad
\mathcal{D}\left(-i\frac{d}{dx}\right) = \{\Psi \in L^2(\mathbb{R})| \Psi' \in L^2(\mathbb{R})\}

El espectro de este operador es puramente continuo, coincide con el eje real, es decir, todo valor real forma parte del espectro continuo:

\sigma\left(-i\frac{d}{dx}\right) = C\sigma\left(-i\frac{d}{dx}\right) = \mathbb{R}

Para ver esto basta considerar la sucesión de vectores aproximadamente propios dada por:

\Psi_n = \sqrt{\frac{2}{\pi n}} \left(\frac{n^2}{x^2+n^2}\right)e^{i\lambda x} \qquad \Rightarrow
\qquad \lim_{n\to\infty} \|-i\frac{d}{dx}\Psi_n -\lambda \Psi_n \| = 0

Operador posición

El el mismo espacio de Hilbert anterior definimos el llamado operador posición de la mecánica cuántica y su dominio como:

\Psi(x) \mapsto \hat{X}\Psi(x) = x\Psi(x) \qquad
\mathcal{D}(\hat{X}) = \{\Psi \in L^2(\mathbb{R})| x\Psi(x) \in L^2(\mathbb{R})\}

Puede verse que al igual que el operador momento, su espectro es puramente continuo y coincide con el eje real, es decir, es posible encontrar una partícula libre en cualquier posición del espacio. Esto puede verse usando la sucesión de funciones:

\Psi_n = \sqrt{\frac{n/\pi}{n^2(x-\lambda)^2+1}} \qquad \Rightarrow
\qquad \lim_{n\to\infty} \|\hat{X}\Psi_n -\lambda \Psi_n \| = 0

Hamiltoniano del oscilador armónico

El hamiltoniano de un oscilador armónico unidimensional puede representarse en el mismo espacio de Hilbert que los anteriores operadores:

\Psi \mapsto \hat{H}\Psi = -\frac{d^2}{dx^2}\Psi + x^2\Psi

Este es un operador no acotado aunque su dominio es denso en el espacio L2. Su espectro es puramente puntual y consta de los enteros impares positivos:

\sigma_p(\hat{H}) = \{1,3,5,7,\dots\} = \{n\in\mathbb{N} | n = 2k+1, k\in\mathbb{N}\}

Operadores creación y destrucción

Artículo principal: operadores de creación y destrucción

En el espacio de Hilbert \mathcal{H}=l^2 de secuencias de números complejos de cuadrado sumable, se define la base de Hilbert:

\mathcal{B}_\mathcal{H} = \{\Psi_n| \Psi_n = (0,0,\dots,x_n=1,0,0,\dots) \}

Mediante la cual se definen los operadores creación \hat{a}^\dagger y destrucción \hat{a} mediante las relaciones:

\hat{a}\Psi_n = \sqrt{n}\Psi_{n-1}, \qquad \qquad 
\hat{a}^\dagger\Psi_n = \sqrt{n+1}\Psi_{n+1}

Obviamente se trata de operadores no acotados definidos sólo sobre un dominio denso dado por:

\mathcal{D} =\mbox{dom}(\hat{a}) = \mbox{dom}(\hat{a}^\dagger) = 
\left\{\xi=(x_0,x_1,x_2,\dots)|\quad \sum_n n|x_n|^2 \right\}

El especto de estos operadores tiene las siguientes propiedades:

  • El espectro puntual del operador destrucción es todo el plano complejo \sigma_p(\hat{a}) = \mathbb{C}.
  • El espectro puntual del operador creación es vacío \sigma_p(\hat{a}^\dagger) = \varnothing.
  • El espectro continuo de los operadores creación y destrucción es vacío \sigma_c(\hat{a}) = \sigma_c(\hat{a}^\dagger) = \varnothing
  • El espectro residual del operador destrucción es vacío \sigma_r(\hat{a}) = \varnothing.
  • El espectro residual del operador creación es todo el plano complejo \sigma_r(\hat{a}^\dagger) = \mathbb{C}.

Curiosamente el espectro del operador número definido a partir de los anteriores como:

\hat{N} = \hat{a^\dagger}\hat{a}

Es puramente puntual y coincide con los números enteros \sigma_p(\hat{N}) = \mathbb{Z}.

Referencias

  • Richtmyer, Robert D. (1978): Principles of advanced mathematical physics, Springer-Verlag, New York, ISBN 0-387-08873-3.

Bibliografía

  • Dales et al, Introduction to Banach Algebras, Operators, and Harmonic Analysis, ISBN 0-521-53584-0.
  • Richtmyer, Robert D. (1978): Principles of advanced mathematical physics, Springer-Verlag, New York, ISBN 0-387-08873-3.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Espectro — Saltar a navegación, búsqueda En física, aparecen varios tipos de espectros: Espectro electromagnético es el resultado obtenido al dispersar un haz heterogéneo de radiación electromagnética al hacerlo pasar por un medio dispersante y transparente …   Wikipedia Español

  • Operador escalera — En álgebra lineal, Analisis funcional y en sus aplicaciones a la mecánica cuántica, un operador de subida o de bajada (también conocidos como operadores escalera) es un operador que aumenta o disminuye el autovalor de otro operador. En mecánica… …   Wikipedia Español

  • Operador lineal acotado — Un operador lineal acotado u operador acotado es una aplicación lineal definida sobre un espacio vectorial normado tal que la norma de sus valores puede acotarse. Más precisamente, la aplicación lineal es un operador actotado si y solo sí …   Wikipedia Español

  • Operador de telefonía móvil — Un Operador de telefonía móvil es una compañía telefónica que provee servicios de telefonía para clientes de teléfonos móviles. Abreviado en inglés MNO (Mobile Network Operator). El proceso de convertirse en un operador de telefonía móvil en un… …   Wikipedia Español

  • Operador de telefonía móvil — Un Operador de telefonía móvil es una compañía telefónica que provee servicios de telefonía para clientes de teléfonos móviles. El proceso de convertirse en un operador de telefonía móvil en un país normalmente comienza con la adquisición de una… …   Enciclopedia Universal

  • Operador móvil virtual — Para otros usos de este término, véase Orbital Manoeuvring Vehicle. Un operador móvil virtual u OMV (en inglés, Mobile Virtual Network Operator o MVNO) es una compañía de telefonía móvil que no posee una concesión de espectro de frecuencia, y por …   Wikipedia Español

  • Operador móvil virtual — Un Operador Móvil Virtual (ingles:Mobile Virtual Network Operator MVNO) es una compañía que no posee una concesión de espectro de frecuencia para ofrecer el servicio de telefonía móvil a través de una red propia, sino que revende servicios de… …   Enciclopedia Universal

  • Operador cerrado — En matemáticas y específicamente en análisis funcional, los operadores lineales cerrados son un importante tipo de operadores lineales en los espacios de Banach. Son los más generales de los operadores acotados y, por tanto, no es necesario que… …   Wikipedia Español

  • Vector propio y valor propio — Fig. 1. En esta transformación de la Mona Lisa, la imagen se ha deformado de tal forma que su eje vertical no ha cambiado. (nota: se han recortado las esquinas en la imagen de la derecha) …   Wikipedia Español

  • Observable — En física cuántica, un observable es toda propiedad del estado de un sistema que puede ser determinada ( observada ) por alguna secuencia de operaciones físicas. Estas operaciones pueden incluir, por ejemplo, el someter al sistema a diversos… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”