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-dimensionaleModifica

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

EnunciatoModifica

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 realeModifica

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] L'endomorfismo   è quindi 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 complessoModifica

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.

DimostrazioneModifica

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-dimensionaleModifica

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 limitatiModifica

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 limitatiModifica

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 spettraleModifica

 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-dimensionaleModifica

 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-dimensionaleModifica

 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 limitatiModifica

 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.

NoteModifica

  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.

BibliografiaModifica

  • 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 correlateModifica

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