Teorema de descomposici�n espectral

Ir a la navegaci�nIr a la b�squeda
En matem�ticas, y m�s especialmente en �lgebra lineal y an�lisis funcional, el
teorema de descomposici�n espectral, o m�s brevemente teorema espectral, expresa
las condiciones bajo las cuales un operador o una matriz pueden ser diagonalizados
(es decir, representadas como una matriz diagonal en alguna base). Se identifica
as�, un tipo de operadores lineales que pueden representarse como una
multiplicaci�n de operadores.

Ejemplos de los operadores a los que se aplica este teorema son los operadores
autoadjuntos, o m�s en general, los operadores normales en espacios de Hilbert.

El Teorema Espectral, proporciona adem�s, una descomposici�n can�nica (llamada

descomposici�n espectral) del espacio vectorial sobre el cual act�a el operador.

�ndice
1 Espacio de dimensi�n finita
2 Espacio de dimensi�n infinita
2.1 Operadores autoadjuntos compactos
2.2 Operadores autoadjuntos acotados
2.3 Caso general de operadores autoadjuntos
3 V�ase tambi�n
4 Referencias
Espacio de dimensi�n finita
Sea A:

Un Operador herm�tico,
Una Matriz cuadrada y
Perteneciente a un espacio real o complejo V, de dimensi�n no infinita
Con el producto interno est�ndar, usando notaci�n de Dirac, la simetr�a del
operador implica:

{\displaystyle \langle Ax\mid y\rangle =\langle x\mid Ay\rangle } {\displaystyle

\langle Ax\mid y\rangle =\langle x\mid Ay\rangle }
para toda pareja de elementos {\displaystyle \left(x,y\right)\in V^{2}}
{\displaystyle \left(x,y\right)\in V^{2}}. Recordemos que un vector propio de un
operador A es un vector x distinto de cero tal que Ax = rx. El valor r es el valor
propio del vector, y debe ser un escalar.

Existe una base ortonormal de V que consiste en los vectores propios de A. Los
valores propios correspondientes a cada vector son reales.

Demostraci�n
El teorema espectral es tambi�n v�lido para operadores sim�tricos en espacios de
dimensi�n finita con producto interior real.

La descomposici�n espectral de un operador A que tiene una base ortonormal de

vectores propios, se obtiene agrupando todos los vectores que corresponden al mismo
valor propio. Esto es

{\displaystyle V_{\lambda }=\{\,v\in V:Av=\lambda v\,\}.} {\displaystyle V_{\lambda

}=\{\,v\in V:Av=\lambda v\,\}.}
Estos espacios est�n definidos invariablemente, no se requiere ninguna elecci�n de
valores propios concretos.

Como una consecuencia inmediata del teorema espectral para operadores sim�tricos
obtenemos el teorema de descomposici�n: V es la suma directa ortogonal de los
espacios V?

{\displaystyle P_{\lambda }P_{\mu }=0\quad {\mbox{if}}\lambda \neq \mu }

{\displaystyle P_{\lambda }P_{\mu }=0\quad {\mbox{if}}\lambda \neq \mu }
y si ?1,..., ?m son los autovalores de A,

{\displaystyle A=\lambda _{1}P_{\lambda _{1}}+\cdots +\lambda _{m}P_{\lambda

_{m}}.} {\displaystyle A=\lambda _{1}P_{\lambda _{1}}+\cdots +\lambda
_{m}P_{\lambda _{m}}.}
Si A es un operador normal en un espacio de dimensi�n finita con producto interior,
A tambi�n tiene una descomposici�n espectral y el teorema de descomposici�n se
mantiene para A. Los autovalores ser�n n�meros complejos en general. Estos
resultados se convierten directamente en resultados sobre las matrices: Para una
matriz normal A, existe una matriz unitaria U tal que

{\displaystyle A=U\Sigma U^{*}\;} {\displaystyle A=U\Sigma U^{*}\;}

donde S es la matriz diagonal formada por los valores propios de A. Cualquier
matriz que se pueda diagonalizar de esta forma debe ser normal.

Los vectores columna de U son los vectores propios de A y son ortogonales. Si A es

una matriz real sim�trica, se sigue por la versi�n real del teorema espectral para
operadores sim�tricos que existe una matriz ortogonal tal que, UAU* es diagonal y
todos los valores propios de A son reales.

Espacio de dimensi�n infinita

Operadores autoadjuntos compactos
Art�culo principal: Operador compacto
En un espacio de Hilbert general, la afirmaci�n del teorema espectral para
operadores compactos y autoadjunto es virtualmente id�ntica a lo que se tiene en
espacios de dimensi�n finita:

Sup�ngase que {\displaystyle A} A es un operador autoadjunto compacto sobre un

espacio de Hilbert {\displaystyle {\mathcal {H}}} \mathcal{H}. Entonces existe una
base ortonormal de {\displaystyle {\mathcal {H}}} \mathcal{H} formada por
autovectores de {\displaystyle A} A. Siendo todos los autovalores reales.

Como sucede para matrices herm�ticas, el punto clave es demostrar la existencia de

al menos un autovector no nulo. Para probar eso, no podemos apoyarnos en
determinantes, ya que en dimensi�n infinita, no es posible definir determinantes en
general. En su lugar, debe usarse un argumento de maximizaci�n, an�logo a la
caracterizaci�n variacional de autovalores. La forma anterior del teorema espectral
es v�lida para cualquier espacio de Hilbert real o complejo.

Si la asunci�n de compacidad se elimina, entonces no es cierto que todo operador

autoadjunto admite una base de autovectores.

Operadores autoadjuntos acotados

V�anse tambi�n: Autofunci�n y Espectro de un operador.
Este caso generaliza al anterior, e involucra un operador autoadjunto acotado
definido sobre un espacio de Hilbert. Estos operadores a diferencia de los
compactos pueden no tener ning�n autovalor: por ejemplo sea {\displaystyle A} A el
operador de multiplicaci�n por la variable x en {\displaystyle L^{2}[0,1]}
{\displaystyle L^{2}[0,1]}, es decir,

{\displaystyle [A\varphi ](t)=t\varphi (t).\;} {\displaystyle [A\varphi ]

(t)=t\varphi (t).\;}

El teorema espectral es en este caso:

Sea {\displaystyle A} A un operador autoadjunto acotado sobre un espacio de Hilbert
{\displaystyle {\mathcal {H}}} \mathcal{H}.1? Entonces existe un espacio de medida
{\displaystyle (X,\Sigma ,\mu )} {\displaystyle (X,\Sigma ,\mu )} y una funci�n
mesurable real y esencialmente acotada {\displaystyle f} f definida sobre
{\displaystyle X} X as� como un operador unitario {\displaystyle U:{\mathcal
{H}}\to L_{\mu }^{2}(X)} {\displaystyle U:{\mathcal {H}}\to L_{\mu }^{2}(X)} tal
que:

{\displaystyle U^{*}TU=A,} {\displaystyle U^{*}TU=A,}

donde {\displaystyle T} T es el operador multiplicaci�n:
{\displaystyle [T\varphi ](x)=f(x)\varphi (x).} {\displaystyle [T\varphi ]
(x)=f(x)\varphi (x).}
y {\displaystyle \|T\|=\|f\|_{\infty }} {\displaystyle \|T\|=\|f\|_{\infty }}
Este teorema fue el resultado clave que da lugar a �rea de investigaci�n del
an�lisis funcional, llamada teor�a de operadores (ver tambi�n medida espectral). No
existe un an�logo general del teorema espectral para operadores normales acotados.
La �nica diferencia es la conclusi�n de que ahora {\displaystyle f} f puede tener
valores complejos.

Una formulaci�n alternativa del teorema espectral expresa que el operador

{\displaystyle A} A como una integral de la funci�n coordenada sobre el "espectro"
del operador con respecto a la medida con valores en el espacio de proyectores:

{\displaystyle A=\int _{\sigma (A)}\lambda \,dE_{\lambda }.} {\displaystyle A=\int

_{\sigma (A)}\lambda \,dE_{\lambda }.}

Si el operador normal en cuesti�n es compacto, esta versi�n del teorema espectral

se reduce a algo similar al teorema espectral en dimensi�n finita, mencionado m�s
arriba, excepto por el hecho de que el operador se expresar� como una combinaci�n
finita o infinita numeralbe de poryecciones linales, es decir, la mesura consistir�
s�lo en "�tomos" del espacio de medida.

Caso general de operadores autoadjuntos

Muchos operadores lineales que aparecen tanto en an�lisis matem�tico, como en
ecuaciones diferenciales o mec�nica cu�ntica, son no acotados. En ciertos casos
existe un teorema espectral para operadores autoadjuntos que se aplica en esos
casos. Par dar un ejemplo, todo operadore diferencial de coeficientes constantes es
unitariamente equivalente a un operador multiplicaci�n. De hecho, el operador
unitario que implemente esta equivalencia es la transformada de Fourier, el
operador multiplicaci�n es un tipo de multiplicador de Fourier.

En general, el teorema espectral para operadores autoadjuntos puede tomar muchas

formas equivalenes.

Para cada operador autoadjunto {\displaystyle T} T definido sobre un espacio de

Hilbert {\displaystyle {\mathcal {H}}} \mathcal{H}, existe un operador unitario,
aplica de manera isom�rfica e isom�trica el espacio {\displaystyle {\mathcal
{H}}} \mathcal{H} en el espacio {\displaystyle L_{\mu }^{2}(M)} {\displaystyle
L_{\mu }^{2}(M)}, donde el operador {\displaystyle T} T se representa como operador
multiplicaci�n

El espacio de Hilbert {\displaystyle {\mathcal {H}}} \mathcal{H} donde el operador

autoadjunto {\displaystyle T} T act�a puede descomponerse en suma directa de
espacios de Hilbert {\displaystyle {\mathcal {H}}_{i}} {\displaystyle {\mathcal
{H}}_{i}} de manera que el operador {\displaystyle T} T, restringido a cada espacio
{\displaystyle {\mathcal {H}}_{i}} {\displaystyle {\mathcal {H}}_{i}} tiene un
espectro simple. Es posible construir una descomposici�n �nica de este tipo, salvo
por equivalencia unitaria, que se denomina representraci�n espectral ordenada.