Teorema spettrale

In algebra lineare e analisi funzionale il teorema spettrale si riferisce a una serie di risultati relativi agli operatori lineari oppure alle matrici. In termini generali il teorema spettrale fornisce condizioni sotto le quali un operatore o una matrice possono essere diagonalizzati, cioè rappresentati da una matrice diagonale in una certa base.

In dimensione finita, il teorema spettrale asserisce che ogni endomorfismo simmetrico di uno spazio vettoriale reale dotato di un prodotto scalare ha una base ortonormale formata da autovettori. Equivalentemente, ogni matrice simmetrica reale è simile ad una matrice diagonale tramite una matrice ortogonale.

In dimensione infinita, il teorema spettrale assume forme diverse a seconda del tipo di operatori cui si applica. Ad esempio, esiste una versione per operatori autoaggiunti in uno spazio di Hilbert.

Il teorema spettrale fornisce anche una decomposizione canonica, chiamata decomposizione spettrale, dello spazio vettoriale.

Caso finito-dimensionale

Il teorema spettrale è innanzitutto un importante teorema riguardante gli spazi vettoriali (reali o complessi) di dimensione finita.

Enunciato

Il teorema spettrale può essere enunciato per spazi vettoriali reali o complessi muniti di prodotto scalare. L'enunciato è essenzialmente lo stesso nei due casi.

Il teorema nel caso reale può anche essere interpretato come il caso particolare della versione complessa. Come molti altri risultati in algebra lineare, il teorema può essere enunciato in due forme diverse: usando il linguaggio delle applicazioni lineari o delle matrici. Nel caso complesso l'enunciato per spazi vettoriali complessi muniti di un prodotto hermitiano è analogo a quello reale, ma sotto ipotesi più deboli: anziché autoaggiunto, è sufficiente richiedere che l'operatore sia normale, cioè che commuti con il proprio aggiunto.

Caso reale

Sia $T$ un endomorfismo su uno spazio vettoriale reale $V$ di dimensione n, dotato di un prodotto scalare. Allora $T$ è autoaggiunto se e solo se esiste una base ortonormale di $V$ fatta di autovettori per $T$. L'endomorfismo $T$ è quindi diagonalizzabile.

Una versione equivalente del teorema, enunciata con le matrici, afferma che ogni matrice simmetrica è simile ad una matrice diagonale tramite una matrice ortogonale.

Come conseguenza del teorema, per ogni matrice simmetrica $S$ esistono una matrice ortogonale $M$ (cioè tale che $M^TM = I$) ed una matrice diagonale $D$ per cui:

$D = M^{-1} S M = M^T S M \$

In particolare, gli autovalori di una matrice simmetrica sono tutti reali.

Caso complesso

Sia $T$ un operatore lineare su uno spazio vettoriale complesso $V$ di dimensione n, dotato di un prodotto hermitiano, cioè di una forma hermitiana definita positiva. Allora $T$ è un operatore normale se e solo se esiste una base ortonormale di $V$ fatta di autovettori per $T$.

Nel linguaggio matriciale, il teorema afferma che ogni matrice normale è simile ad una matrice diagonale tramite una matrice unitaria. In altre parole, per ogni matrice normale $H$ esistono una matrice unitaria $U$ ed una diagonale $D$ per cui:

$D = U^{-1}HU =\, ^t\!\bar UHU$

Un operatore è quindi normale se e solo se è unitariamente diagonalizzabile.

Come corollario segue che se e solo se l'operatore $T$ è autoaggiunto la base ortonormale conta solo autovalori reali, mentre se $T$ è unitario il modulo degli autovalori è 1.

In particolare, gli autovalori di una matrice hermitiana sono tutti reali, mentre quelli di una matrice unitaria sono di modulo 1.

Dimostrazione

Nel dimostrare il teorema spettrale è sufficiente considerare il caso complesso, e per provare l'esistenza di una base di autovettori si utilizza il principio d'induzione sulla dimensione di $V$.

Se la dimensione di $V$ è pari a 1 non c'è nulla da dimostrare. Si ponga che l'enunciato valga per gli spazi vettoriali di dimensione n - 1: si vuole mostrare che questo implica la validità del teorema per gli spazi di dimensione n. Poiché $\C$ è un campo algebricamente chiuso, il polinomio caratteristico di $T$ ha almeno una radice: quindi $T$ ha almeno un autovalore $\lambda$ ed un autovettore $v$ relativo a tale autovalore. Si consideri lo spazio:

$W = \mathcal{L}(v)^{\perp}$

formato dai vettori di $V$ ortogonali a $v$. $W$ ha dimensione $n-1$, poiché i due sottospazi sono in somma diretta.

L'endomorfismo $T$ manda $W$ in sé, ossia $T(W) \subseteq W$. Infatti, l'immagine di $T$ è ortogonale a $v$:

$\langle v, T(w) \rangle = \langle T^{*}(v), w \rangle = \langle \overline{\lambda} v, w \rangle = \overline{\lambda} \langle v, w \rangle = 0 \qquad \forall w \in W$

essendo $v$ e $w$ ortogonali per ipotesi.

La restrizione $T_{|W}$ di $T$ a $W$ è ancora un endomorfismo di $W$ normale:

$\langle T^{*}(w), v \rangle = \langle w, T(v) \rangle = \lambda \langle w, v \rangle = 0 \qquad \forall w \in W$

Poiché $W$ ha dimensione $n-1$ si può applicare l'ipotesi induttiva per $T_{|W}$, e supporre che esista una base ortonormale di suoi autovettori. Dal momento che $v$ può essere supposto di norma unitaria, $v$ e la base ortonormale di $W$ costituiscono una base ortonormale di $V$, come richiesto.

Nel caso in cui $T$ sia autoaggiunto si dimostra che tutti i suoi autovalori sono reali. Infatti, sia $x$ un autovettore per $T$ con autovalore $\lambda$. Essendo $T=T^*$ si ha:

$\overline{\lambda} \langle x , x \rangle= \langle T x , x \rangle = \langle x , T x \rangle = \lambda \langle x , x \rangle$

Segue che $\lambda$ è uguale al suo coniugato, e quindi è reale. Questo permette di considerare il teorema spettrale enunciato nel caso reale come corollario di quello complesso.

Viceversa, si supponga che esista una base ortonormale di $V$ composta da autovettori di $T$. Allora la matrice che rappresenta l'operatore rispetto a tale base è diagonale, da cui segue che $T$ è normale.

Caso infinito-dimensionale

Il caso infinito-dimensionale costituisce una generalizzazione del caso precedente, ed esistono diverse formulazioni del teorema a seconda della classe di operatori che si vuole considerare. La principale distinzione riguarda gli operatori limitati e non limitati.

Per un operatore compatto la tesi del teorema spettrale è essenzialmente la stessa del caso finito-dimensionale, sia nel caso reale che complesso: esiste una base ortonormale dello spazio formata da autovettori dell'operatore, ed ogni autovalore è reale. Nella dimostrazione, il punto cruciale è mostrare l'esistenza di almeno un autovettore. Non è possibile affidarsi ai determinanti per mostrare l'esistenza degli autovalori, e quindi si ricorre ad un argomento di massimizzazione variazionale.

Se si considera un più generale operatore limitato, il comportamento può essere molto differente da quello riscontrato in dimensione finita. L'operatore può non avere autovettori né autovalori, neppure nel caso complesso. Ad esempio, l'operatore $S$ sullo spazio L^p $L^2[0,1]$ definito come:

$S(\varphi)(t) = t\cdot\varphi(t)$

è continuo e non ha autovettori. Più in generale, l'operatore che moltiplica ogni funzione per una funzione misurabile fissata $f$ è limitato e autoaggiunto, ma ha autovettori solo per scelte molto particolari di $f$.

Il teorema spettrale per operatori limitati asserisce che ognuno di essi può essere ricondotto alla forma di una moltiplicazione per una funzione del tipo appena descritto, con un più generale spazio di misura al posto del segmento $[0, 1]$.

Operatori limitati

Il teorema spettrale afferma che un operatore limitato e autoaggiunto $A$ definito su uno spazio di Hilbert $H$ è un operatore di moltiplicazione.

In modo equivalente, esiste una famiglia di misure $\{\mu_n \}$ su $\sigma(A)$ ed un operatore unitario:

$U:H \to \bigoplus_{n=1}^N L^2(\R,d\mu_n)$

tali che:

$(UAU^{-1} \psi)_n (\lambda) = \lambda \psi_n(\lambda) \$

con:

$\psi = \{ \psi_n(\lambda) \} \in \bigoplus_{n=1}^N L^2(\R,d\mu_n)$

Una tale scrittura di $A$ è detta rappresentazione spettrale dell'operatore.

Come corollario, segue che esiste una misura $\mu$ su uno spazio di misura $M$ ed esiste un operatore unitario:

$U:H \to L^2(M,d\mu)$

tali che:

$(UAU^{-1} f)(x) = F(x)f(x) \$

per una qualche funzione misurabile limitata ed a valori reali $F$ su $M$.

Operatori non limitati

Sia $A$ un operatore non limitato e autoaggiunto su uno spazio di Hilbert separabile $H$ con dominio $D(A)$. Allora esistono uno spazio di misura $(M,\mu)$, dove $\mu$ è una misura finita, un operatore unitario:

$U:H \to L^2(M,d\mu)$

ed esiste una funzione $f:M \to \R$ misurabile quasi ovunque tali che:

• $\psi \in D(A)$ se e solo se:

$f(.) (U\psi) (.) \in L^2(M,d\mu)$

• Se $\phi \in U[D(A)]$ allora:

$(UAU^{-1} \phi)(x) = f(x)\phi(x) \$

Molti operatori lineari importanti che si incontrano in analisi, come gli operatori differenziali, non sono limitati. In particolare, ogni operatore differenziale a coefficienti costanti è unitariamente equivalente a un operatore di moltiplicazione, e l'operatore unitario che implementa questa equivalenza è la trasformata di Fourier.

Decomposizione spettrale

Per approfondire, vedi Teoria spettrale e Diagonalizzabilità.

Il teorema spettrale fornisce le condizioni per cui sia possibile diagonalizzare un operatore rispetto ad una base ortonormale. Quando questo risulta possibile nel caso finito-dimensionale, ad autovalori distinti corrispondono autovettori mutuamente ortogonali, e pertanto gli autospazi sono in somma diretta. Un operatore normale può, di conseguenza, essere scritto come una combinazione lineare di proiettori ortogonali sugli autospazi, i cui coefficienti sono gli autovalori relativi ad ogni autospazio.

Nel caso infinito-dimensionale la normalità, ed in particolare l'autoaggiuntezza, non garantisce la diagonalizzabilità. In generale un operatore normale non può essere più scritto come combinazione lineare di proiettori ortogonali. Attraverso la misura a valori di proiettore è tuttavia possibile ottenere una scrittura integrale che permette di descrivere l'operatore in termini del suo spettro.

Caso finito-dimensionale

Per approfondire, vedi proiezione ortogonale.

Come conseguenza del teorema spettrale, sia nel caso reale che nel caso complesso, il teorema di decomposizione spettrale afferma che gli autospazi di $T$ sono ortogonali e in somma diretta:

$V = V_{\lambda_1}\oplus\ldots\oplus V_{\lambda_k}$

Equivalentemente, si ha:

$A =\lambda_1 P_{\lambda_1} +\cdots+\lambda_k P_{\lambda_k} \qquad P_\lambda P_\mu=\delta_{\lambda\mu} P_\mu \quad$

con $\delta_{\lambda\mu}$ il Delta di Kronecker e $P_\lambda$ la proiezione ortogonale su $V_\lambda$. Inoltre, se:

$\sum_{j\in A} P_j = I$

con $A$ insieme numerabile, l'insieme dei proiettori $\{P_j\}_{j \in A}$ è ortogonale e completo. La decomposizione spettrale è un caso particolare della decomposizione di Schur. È anche un caso particolare della decomposizione ai valori singolari.

Caso infinito-dimensionale

Per approfondire, vedi misura a valori di proiettore.

Sia $A$ un operatore normale limitato definito su uno spazio di Hilbert $H$. Il teorema di decomposizione spettrale per operatori normali afferma che esiste un'unica misura a valori di proiettore $P^A$ tale per cui:

$A = \int_{\sigma(A)} z dP^A(x,y) \qquad z := (x,y) \to x+iy \in \C \quad (x,y) \in \R^2$

dove $\sigma(A) = \mbox{supp}(P^A)$ è lo spettro di $A$. Si dice che $P^A$ è la misura a valori di proiettore associata ad $A$.

In particolare, se $A$ è un operatore autoaggiunto si può definire una misura a valori di proiettore limitata $P^A$ associata ad $A$ nel seguente modo:

$P^A(\Omega) = \chi_\Omega(A) \qquad (\phi, f(A) \psi) := \int_{\sigma(A)} f(\lambda) d (\phi, P^A (\lambda) \psi) \quad \forall \phi,\psi \in H$

per ogni funzione misurabile limitata $f$, e in tal caso si ha:

$A = \int_{\sigma(A)} \lambda d P^A \qquad f(A) = \int_{\sigma(A)} f(\lambda) d P^A$

La formula a sinistra è detta diagonalizzazione di $A$.

Se da un lato è possibile definire univocamente un operatore autoaggiunto (o, più in generale, un operatore normale) $A$ a partire da una misura a valori di proiettore, dall'altro se è possibile diagonalizzare $A$ tramite una misura a valori di proiettore limitata $P^A$ allora $P^A$ è la misura a valori di proiettore associata univocamente ad $A$.

Operatori non limitati

Per approfondire, vedi Trasformata di Cayley.

Si consideri un operatore autoaggiunto $A$ non limitato. Attraverso la trasformata di Cayley $U(A)$ associata ad $A$:

$U(A) = (A - \bold{i}I) (A + \bold{i}I)^{-1} \qquad A = \bold{i}(I + U(A)) (I - U(A))^{-1}$

è possibile definire, a partire da $A$, una misura a valori di proiettore $P^{U(A)}$ nel modo seguente:

$P^A(\Omega) := P^{U(A)}(U(\Omega)) \qquad \Omega \subset \sigma(A)$

L'insieme $\Omega$ è un borelliano contenuto nello spettro (reale) $\sigma(A)$ di $A$, e $U(\Omega)$ è il risultato ottenuto applicando la trasformata di Cayley su $\C$.

Si dimostra che se la funzione identità, definita su $\sigma(A)$, è di classe $L^2$ rispetto alla misura $(x,P^A(\Omega)x)$, allora $P^{U(A)}$ definisce una misura a valori di proiettore su $\sigma(A)$.

In particolare, è possibile scrivere:

$A = \int_{\sigma(A)} \lambda d P^A (\lambda)$

Anche nel caso di $A$ non limitato la corrispondenza tra $A$ ed una misura a valori di proiettore è biunivoca.

Bibliografia

• Serge Lang, Algebra lineare, Torino, Bollati Boringhieri, 1992. ISBN 88-339-5035-2
• (EN) Michael Reed; Barry Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis, 2^a ed., San Diego, California, Academic press inc., 1980. ISBN 0125850506
• (EN) Valter Moretti, Spectral Theory and Quantum Mechanics; With an Introduction to the Algebraic Formulation, 2^a ed., Berlin, Springer, 2013. ISBN 978-88-470-2834-0

Voci correlate

• Autovettore e autovalore
• Decomposizione di Jordan
• Operatore autoaggiunto
• Operatore lineare limitato
• Prodotto scalare
• Spazio di Hilbert
• Teoria spettrale
• Trasformazione lineare

Collegamenti esterni

• Teorema spettrale in Tesauro del Nuovo Soggettario. BNCF, marzo 2013

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica