Teorema spettrale

Da Teknopedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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 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 esistono diverse formulazioni. Quella che utilizza gli operatori di moltiplicazione stabilisce che ogni operatore di moltiplicazione è un operatore autoaggiunto (densamente definito), ed ogni operatore autoaggiunto è unitariamente equivalente ad un operatore di moltiplicazione.[1]

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

Caso finito-dimensionale

[modifica | modifica wikitesto]

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

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.

Sia un endomorfismo su uno spazio vettoriale reale di dimensione n, dotato di un prodotto scalare definito positivo. Allora è autoaggiunto se e solo se esiste una base ortonormale di fatta di autovettori per .[2] (In tal caso, si dice "ortogonalmente diagonalizzabile" ed è in particolare diagonalizzabile).

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

Come conseguenza del teorema, per ogni matrice simmetrica esistono una matrice ortogonale (cioè tale che ) ed una matrice diagonale per cui:[4]

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

Caso complesso

[modifica | modifica wikitesto]

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

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 esistono una matrice unitaria ed una diagonale per cui:

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

Come corollario segue che l'operatore è autoaggiunto se e solo se la base ortonormale conta solo autovalori reali, mentre se è 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

[modifica | modifica wikitesto]

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 .

Se la dimensione di è 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é è un campo algebricamente chiuso, il polinomio caratteristico di ha almeno una radice: quindi ha almeno un autovalore ed un autovettore relativo a tale autovalore. Si consideri lo spazio:

formato dai vettori di ortogonali a . ha dimensione , poiché i due sottospazi sono in somma diretta.

L'endomorfismo manda in sé, ossia . Infatti, l'immagine di è ortogonale a :

essendo e ortogonali per ipotesi.

La restrizione di a è ancora un endomorfismo normale di :

Poiché ha dimensione si può applicare l'ipotesi induttiva per , e supporre che esista una base ortonormale di suoi autovettori. Dal momento che può essere supposto di norma unitaria, e la base ortonormale di costituiscono una base ortonormale di , come richiesto.

Nel caso in cui sia autoaggiunto si dimostra che tutti i suoi autovalori sono reali. Infatti, sia un autovettore per con autovalore . Essendo si ha:

Segue che è 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 composta da autovettori di . Allora la matrice che rappresenta l'operatore rispetto a tale base è diagonale, da cui segue che è normale.

Caso infinito-dimensionale

[modifica | modifica wikitesto]

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 sullo spazio Lp definito come:

è continuo e non ha autovettori.

Si può estendere ulteriormente il discorso considerando che l'operatore che moltiplica ogni funzione per una funzione misurabile fissata è limitato e autoaggiunto, ma ha autovettori solo per scelte molto particolari di . Dato dunque uno spazio di misura numerabilmente additivo e di una funzione misurabile a valori reali su , un operatore di moltiplicazione è un operatore della forma:

il cui dominio è lo spazio delle funzioni per le quali il membro di destra della precedente relazione è in . Il teorema stabilisce allora che ogni operatore autoaggiunto è unitariamente equivalente ad un operatore di moltiplicazione. In particolare, un operatore unitario è unitariamente equivalente alla moltiplicazione per una funzione misurabile rispetto alla sigma-algebra di uno spazio di misura finito con misura di Borel .

Nel caso generale, che comprende anche operatori non limitati, per ogni operatore autoaggiunto agente sullo spazio di Hilbert esiste un operatore unitario che costruisce una mappa isometricamente isomorfa di nello spazio , dove è rappresentato come un operatore di moltiplicazione.

Operatori limitati

[modifica | modifica wikitesto]

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

In modo equivalente, esiste una famiglia di misure su ed un operatore unitario:

tali che:[6]

con:

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

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

tali che:[7]

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

Operatori non limitati

[modifica | modifica wikitesto]

Sia un operatore non limitato e autoaggiunto su uno spazio di Hilbert separabile con dominio . Allora esistono uno spazio di misura , dove è una misura finita, un operatore unitario:

ed esiste una funzione misurabile quasi ovunque tali che:[8]

  • se e solo se:
  • Se allora:

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

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: 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

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: 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 sono ortogonali e in somma diretta:

Equivalentemente, si ha:

con il Delta di Kronecker e la proiezione ortogonale su . Inoltre, se:

con insieme numerabile, l'insieme dei proiettori è 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

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Misura a valori di proiettore.

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

dove è lo spettro di . Si dice che è la misura a valori di proiettore associata ad .

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

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

La formula a sinistra è detta diagonalizzazione di .[9]

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

Operatori non limitati

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Trasformata di Cayley.

Si consideri un operatore autoaggiunto non limitato. Attraverso la trasformata di Cayley associata ad :

è possibile definire, a partire da , una misura a valori di proiettore nel modo seguente:

L'insieme è un boreliano contenuto nello spettro (reale) di , e è il risultato ottenuto applicando la trasformata di Cayley su .

Si dimostra che se la funzione identità, definita su , è di classe rispetto alla misura , allora definisce una misura a valori di proiettore su .

In particolare, è possibile scrivere:

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

  1. ^ (EN) V.I. Sobolev, Unitarily-equivalent operators, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.
  2. ^ S. Lang, Pag. 245.
  3. ^ S. Lang, Pag. 248.
  4. ^ S. Lang, Pag. 246.
  5. ^ S. Lang, Pag. 251.
  6. ^ Reed, Simon, Pag. 227.
  7. ^ Reed, Simon, Pag. 221.
  8. ^ Reed, Simon, Pag. 261.
  9. ^ Reed, Simon, Pag. 234.
  • 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ª ed., San Diego, California, Academic press inc., 1980, ISBN 0-12-585050-6.
  • (EN) Valter Moretti, Spectral Theory and Quantum Mechanics; With an Introduction to the Algebraic Formulation, 2ª ed., Berlin, Springer, 2013, ISBN 978-88-470-2834-0.

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica