Se riscontri problemi nella visualizzazione dei caratteri, clicca qui

Spettro (matematica)

Da Wikipedia, l'enciclopedia libera.

In matematica, in particolare nell'ambito dell'analisi funzionale e della teoria spettrale, lo spettro di una trasformazione lineare tra spazi vettoriali è la generalizzazione del concetto di insieme di autovalori per le matrici.

Il concetto di spettro viene solitamente introdotto in algebra lineare nell'ambito delle trasformazioni lineari (limitate) tra spazi vettoriali di dimensione finita, e viene esteso dall'analisi funzionale al caso di operatori lineari limitati, e anche non limitati, in spazi vettoriali infinito-dimensionali. Agli operatori non limitati spesso si richiede che siano chiusi.

Se è un operatore lineare limitato definito su uno spazio di Banach sul campo , e con si indica la funzione identità su , lo spettro di è l'insieme dei numeri tali per cui non possiede un inverso che è un operatore lineare limitato. Se è un autovalore di , allora non è una funzione biunivoca e dunque la sua inversa non è definita. Tuttavia, l'operatore può comunque non avere un operatore inverso: perciò lo spettro di un operatore contiene tutti i suoi autovalori, ma non si limita ad essi.

Si può dimostrare che ogni operatore lineare limitato su uno spazio di Banach complesso ha uno spettro non vuoto. Inoltre, operatori su spazi infinito dimensionali possono non avere autovalori, ad esempio sullo spazio di Hilbert 2 l'operatore di shift unilaterale non ha autovalori.

Spettro di operatori limitati[modifica | modifica wikitesto]

Sia un operatore lineare limitato definito su uno spazio di Banach complesso .

Si definisce insieme risolvente di l'insieme dei numeri complessi tali per cui l'operatore è invertibile, ovvero ha un inverso che è un operatore lineare limitato.

Si definisce risolvente di la funzione:

Lo spettro di è l'insieme dei numeri complessi che non appartengono all'insieme risolvente, ovvero tali per cui l'operatore non è invertibile.[1]

Dal momento che è un operatore lineare, se il suo inverso esiste esso è lineare. Inoltre, per il teorema del grafico chiuso l'inverso di un operatore lineare limitato è limitato. Segue che l'insieme risolvente è l'insieme dei valori che rendono bigettivo.

Lo spettro di un operatore non può essere vuoto, e si possono distinguere tre suoi sottoinsiemi disgiunti:

  • Si definisce spettro puntuale o discreto di l'insieme degli autovalori di , ovvero i numeri complessi tali che:
Gli autovalori sono quindi i numeri tali per cui , ovvero : infatti, la funzione non è invertibile se il suo nucleo non è costituito dal solo vettore nullo, ovvero esistono dei vettori tali per cui esiste un tale che . In modo equivalente, è autovalore di se e solo se non è iniettivo, oppure se e solo se .
  • Si definisce spettro continuo di l'insieme dei numeri tali per cui non è limitato, pur essendo densamente definito.
  • Si definisce spettro residuo di l'insieme dei numeri che non sono autovalori e tali per cui l'operatore non ha immagine densa in .[2]

Lo spettro include l'insieme degli autovalori detti autovalori approssimati, che sono i tali che non è limitato oppure non esiste. Questo rende possibile una differente suddivisione dello spettro:

  • Si definisce spettro puntuale approssimato l'insieme dei numeri per i quali esiste una successione di vettori unitari tale che:
Lo spettro puntuale approssimato contiene lo spettro puntuale, e per un operatore limitato non è mai vuoto.
  • Si definisce spettro residuo puro l'insieme dei numeri per i quali è limitato e l'immagine di è un sottospazio proprio di .

Si dimostra che l'insieme risolvente è un sottoinsieme aperto di , e che il risolvente è una funzione analitica definita su un sottoinsieme aperto e connesso del piano complesso a valori nello spazio degli operatori limitati su . In particolare, è analitica per ogni sottoinsieme massimale connesso di .[3]

Inoltre, per ogni le funzioni e commutano e si ha:

Tale relazione è detta prima formula risolvente.[4]

La limitatezza dello spettro segue dall'espansione in serie di Neumann in . Lo spettro è limitato da , ed un risultato simile ne dimostra la chiusura: lo spettro di un operatore limitato è compatto.

Algebra di Banach[modifica | modifica wikitesto]

Un operatore limitato può essere visto come un elemento di una algebra di Banach complessa contenente l'unità . Lo spettro di un elemento di , spesso scritto come o semplicemente , consiste nei numeri complessi tali per cui l'operatore non è invertibile in . Se è uno spazio di Banach complesso allora l'insieme di tutti gli operatori lineari limitati su di esso forma un'algebra di Banach, chiamata .

Raggio spettrale[modifica | modifica wikitesto]

Exquisite-kfind.png Lo stesso argomento in dettaglio: Raggio spettrale.

Si definisce raggio spettrale di il numero dato da:

Si dimostra che:[5]

e tale limite esiste sempre. In particolare, se è uno spazio di Hilbert e è autoaggiunto si ha:

Spettro dell'operatore aggiunto[modifica | modifica wikitesto]

Exquisite-kfind.png Lo stesso argomento in dettaglio: Operatore aggiunto e Operatore autoaggiunto.

La definizione di operatore aggiunto si diversifica a seconda che ci si trovi in uno spazio di Hilbert o in uno spazio di Banach. A causa di ciò, lo spettro ed il risolvente di un operatore definito su uno spazio di Banach coincidono con quelli del suo aggiunto, mentre in uno spazio di Hilbert, denotando l'aggiunto di con con , si ha che:

Inoltre, se appartiene allo spettro residuo di , allora appartiene allo spettro puntuale dell'aggiunto . Se invece appartiene allo spettro puntuale di , allora esso appartiene sia allo spettro puntuale e sia allo spettro residuo di .[6]

Se è autoaggiunto su uno spazio di Hilbert, si ha inoltre:

  • non ha spettro residuo.
  • è un sottoinsieme di ,ovvero gli autovalori sono reali.
  • Autovettori relativi ad autovalori distinti sono ortogonali.

Un operatore autoaggiunto di una C*-algebra è detto positivo se il suo spettro contiene soltanto numeri non negativi reali. Inoltre è positivo se e solo se esiste un elemento tale che . Un operatore positivo in uno spazio di Hilbert (dunque sul campo complesso) è autoaggiunto, ed in particolare normale.[7] Questo non vale su uno spazio vettoriale reale.

Il teorema spettrale stabilisce inoltre che un operatore limitato su uno spazio di Hilbert è normale se e solo se è un operatore di moltiplicazione. Si può mostrare che, in generale, lo spettro continuo di un operatore di moltiplicazione limitato è l'intero spettro.

Spettro di operatori compatti e normali[modifica | modifica wikitesto]

Exquisite-kfind.png Lo stesso argomento in dettaglio: Operatore compatto e Operatore normale.

Il teorema di Riesz-Schauder asserisce che se è un operatore compatto definito su uno spazio di Hilbert allora lo spettro è un insieme finito o numerabile che ammette al più come punto di accumulazione. Inoltre, ogni non nullo ha molteplicità finita. Lo spettro si presenta in questa forma:

Si osservi che nulla esclude che anche potrebbe essere autovalore con molteplicità finita o infinita. [8]

Il teorema spettrale 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:[9]

Come corollario segue che se e solo se l'operatore è autoaggiunto 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.

Spettro di operatori illimitati[modifica | modifica wikitesto]

Si può estendere la definizione di spettro per operatori illimitati su uno spazio di Banach , operatori che non sono più elementi dell'algebra di Banach , e si procede in maniera simile al caso limitato. Un numero complesso si dice essere nell'insieme risolvente di un operatore lineare se l'operatore:

ha un inverso limitato, ovvero se esiste un operatore limitato tale che:[10]

Il complementare dell'insieme risolvente è lo spettro di . Un numero complesso è quindi nello spettro se la precedente proprietà non vale, e si può classificare lo spettro esattamente allo stesso modo del caso limitato. Lo spettro di un operatore illimitato è in generale un sottoinsieme chiuso, possibilmente vuoto, del piano complesso.

Dalla definizione segue che può non essere invertibile nel senso degli operatori limitati. Dato che il dominio può essere un sottoinsieme proprio di , l'espressione:

ha senso solo se l'immagine di è contenuta in . In modo simile:

implica che è contenuto nell'immagine di .

Il fatto che stia nell'insieme risolvente di significa che è bigettiva. Il viceversa è vero se si introduce la condizione addizionale che è un operatore chiuso. Per il teorema del grafico chiuso, infatti, se è bigettiva allora la sua applicazione inversa (algebricamente) è necessariamente un operatore limitato. Si noti che la completezza di è richiesta nell'invocare il teorema del grafico chiuso.

In contrasto col caso limitato, quindi, la condizione che un numero complesso stia nello spettro di diventa puramente algebrica: per un operatore chiuso , è nello spettro di se e solo se non è bigettiva.

L'operatore risolvente[modifica | modifica wikitesto]

Il risolvente può essere valutato a partire dagli autovalori e dalle autofunzioni di . Applicando ad una funzione arbitraria si ha:

Tale funzione ha poli nel piano complesso in corrispondenza degli autovalori di . Utilizzando allora il metodo dei residui si ottiene:

dove l'integrale è preso lungo un bordo che include tutti gli autovalori. Supponendo che sia definita sulle coordinate , ovvero:[11][12]

si ha:

La funzione definita come:

è la funzione di Green per e soddisfa:[13]

Esempio[modifica | modifica wikitesto]

Si consideri lo shift bilaterale su dato da:

dove ^ denota la posizione zero. Un calcolo diretto mostra che non ha autovalori, ma ogni con è un autovalore approssimato. Ponendo un vettore:

allora per ogni n, ma:

Poiché è un operatore unitario, il suo spettro appartiene al cerchio unitario. Quindi lo spettro continuo di è tutto lo spettro, e questo vale per una classe più generale di operatori.

Note[modifica | modifica wikitesto]

  1. ^ Reed, Simon, Pag. 188
  2. ^ Lo shift unilaterale su ne fornisce un esempio: tale operatore è una isometria, ed è quindi limitato ma non invertibile poiché non è surriettivo.
  3. ^ Reed, Simon, Pag. 190
  4. ^ Reed, Simon, Pag. 191
  5. ^ Reed, Simon, Pag. 192
  6. ^ Reed, Simon, Pag. 194
  7. ^ Reed, Simon, Pag. 195
  8. ^ Reed, Simon, Pag. 203
  9. ^ S. Lang, Pag. 251
  10. ^ Reed, Simon, Pag. 253
  11. ^ PAM Dirac, op. cit, pp. 65 ff, ISBN 0-19-852011-5.
  12. ^ PAM Dirac, op. cit, pp. 60 ff, ISBN 0-19-852011-5.
  13. ^ Bernard Friedman, op. cit, pp. 214, Eq. 2.14, ISBN 0-486-66444-9.

Bibliografia[modifica | modifica wikitesto]

  • (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.
  • Serge Lang, Algebra lineare, Torino, Bollati Boringhieri, 1992, ISBN 88-339-5035-2.

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

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