Spettro (matematica)

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 $T$ è un operatore lineare limitato definito su uno spazio di Banach $\mathbb {X}$ sul campo $\mathbb {K}$, e con $I$ si indica la funzione identità su $\mathbb {X}$, lo spettro di $T$ è l'insieme dei numeri $\lambda \in \mathbb {K}$ tali per cui $\lambda I-T$ non possiede un inverso che è un operatore lineare limitato. Se $\lambda$ è un autovalore di $T$, allora $T-\lambda I$ non è una funzione biunivoca e dunque la sua inversa $(T-\lambda I)^{-1}$ non è definita. Tuttavia, l'operatore $T-\lambda I$ 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 ℓ² l'operatore di shift unilaterale $(x_{1},x_{2},\dots )\mapsto (0,x_{1},x_{2},\dots )$ non ha autovalori.

Spettro di operatori limitati

Sia $T$ un operatore lineare limitato definito su uno spazio di Banach complesso $X$. Si definisce insieme risolvente di $T$ l'insieme $\rho (T)$ dei numeri complessi $\lambda$ tali per cui l'operatore $\lambda I-T$ è invertibile, ovvero ha un inverso che è un operatore lineare limitato. Si definisce risolvente di $T$ la funzione: $R_{\lambda }(T)=(\lambda I-T)^{-1}\$. Lo spettro di $T$ è l'insieme $\sigma (T)$ dei numeri complessi $\lambda$ che non appartengono all'insieme risolvente, ovvero tali per cui l'operatore $\lambda I-T$ non è invertibile.

Dal momento che $\lambda I-T$ è 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 $\lambda I-T$ 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 $T$ l'insieme degli autovalori di $T$, ovvero i numeri complessi $\lambda$ tali che: $T(x)=\lambda x$ quando $x\neq 0$. Gli autovalori sono quindi i valori di $\lambda ~|~T(x)-\lambda x=0$, ovvero le radici del polinomio caratteristico $p_{T}(\lambda )=\det(T-\lambda I)$: infatti, la funzione $T-\lambda I$ non è invertibile se il suo nucleo non è costituito dal solo vettore nullo, ovvero esistono dei vettori $x$ tali per cui $\exists \lambda ~|~(T-\lambda I)(x)=0$. In modo equivalente, $\lambda$ è autovalore di $T$ se e solo se $T-\lambda I$ non è iniettivo, oppure se e solo se $p_{T}(\lambda )=0$.

• Si definisce spettro continuo di $T$ l'insieme dei numeri $\lambda$ tali per cui $(\lambda I-T)^{-1}$ non è limitato, pur essendo densamente definito.

• Si definisce spettro residuo di $T$ l'insieme dei numeri $\lambda$ che non sono autovalori e tali per cui l'operatore $\lambda I-T$ non ha immagine densa in $X$.

Lo spettro include l'insieme degli autovalori detti autovalori approssimati, che sono i $\lambda$ tali che $(\lambda I-T)^{-1}$ non è limitato oppure non esiste. Questo rende possibile una differente suddivisione dello spettro:

• Si definisce spettro puntuale approssimato l'insieme dei numeri $\lambda$ per i quali esiste una successione di vettori unitari $x_{n}$ tale che: $\lim _{n\to \infty }\|Tx_{n}-\lambda x_{n}\|=0$

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 $\lambda$ per i quali $R_{\lambda }(T)$ è limitato e l'immagine di $\lambda I-T$ è un sottospazio proprio di $X$.

Si dimostra che l'insieme risolvente $\rho (T)$ è un sottoinsieme aperto di $\mathbb {C}$, e che il risolvente $R_{\lambda }(T)$ è una funzione analitica definita su un sottoinsieme $D$ aperto e connesso del piano complesso a valori nello spazio degli operatori limitati su $X$. In particolare, $R_{\lambda }(T)$ è analitica per ogni sottoinsieme massimale connesso di $D$. Inoltre, per ogni $\lambda ,\mu \in \rho (T)$ le funzioni $R_{\lambda }(T)$ e $R_{\mu }(T)$ commutano e si ha:

$R_{\lambda }(T)-R_{\mu }(T)=(\lambda -\mu )R_{\lambda }(T)R_{\mu }(T)\$

Tale relazione è detta prima formula risolvente.

La limitatezza dello spettro segue dall'espansione in serie di Neumann in $\lambda$. Lo spettro $\sigma (x)$ è limitato da $\|x\|$, ed un risultato simile ne dimostra la chiusura: lo spettro di un operatore limitato è compatto.

Algebra di Banach

Un operatore limitato può essere visto come un elemento di una algebra di Banach $B$ complessa contenente l'unità $e$. Lo spettro di un elemento $x$ di $B$, spesso scritto come $\sigma _{B}(x)$ o semplicemente $\sigma (x)$, consiste nei numeri complessi $\lambda$ tali per cui l'operatore $(\lambda e-x)$ non è invertibile in $B$. Se $X$ è uno spazio di Banach complesso allora l'insieme di tutti gli operatori lineari limitati su di esso forma un'algebra di Banach, chiamata $B(X)$.

Raggio spettrale

Si definisce raggio spettrale di $T$ il numero $r(T)$ dato da:

$r(T)=\sup _{\lambda \in \sigma (T)}|\lambda |$

Si dimostra che:

$\lim _{n\to \infty }\|T^{n}\|^{1/n}=r(T)$

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

$r(T)=\|T\|\$

Spettro dell'operatore aggiunto

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 $T$ con $T^{*}$, si ha che:

$\sigma (T^{*})=\{\lambda :{\bar {\lambda }}\in \sigma (T)\}\qquad R_{\lambda }(T^{*})=R_{\lambda }(T)^{*}$

Inoltre, se $\lambda$ appartiene allo spettro residuo di $T$, allora $\lambda$ appartiene allo spettro puntuale dell'aggiunto $T^{*}$. Se invece $\lambda$ appartiene allo spettro puntuale di $T$, allora esso appartiene sia allo spettro puntuale e sia allo spettro residuo di $T^{*}$.

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

• $T$ non ha spettro residuo.
• $\sigma (T)$ è un sottoinsieme di $\mathbb {R}$,ovvero gli autovalori sono reali.
• Autovettori relativi ad autovalori distinti sono ortogonali.

Un operatore autoaggiunto di una C*-algebra ${\mathcal {A}}$ è detto positivo se il suo spettro $\sigma (A)$ contiene soltanto numeri non negativi reali. Inoltre è positivo se e solo se esiste un elemento $B\in {\mathcal {A}}$ tale che $A=B^{*}B$. Un operatore positivo in uno spazio di Hilbert (dunque sul campo complesso) è autoaggiunto, ed in particolare normale. 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

Il teorema di Riesz-Schauder asserisce che se $A$ è un operatore compatto definito su uno spazio di Hilbert $H$ allora lo spettro $\sigma (A)$ è un insieme finito o numerabile che ammette al più $\lambda =0$ come punto di accumulazione. Inoltre, ogni $\lambda \in \sigma _{p}(A)$ non nullo ha molteplicità finita. Lo spettro si presenta in questa forma:

$\sigma (A)=\sigma _{p}(A)\cup \{0\}$

Si osservi che nulla esclude che anche $\lambda =0$ potrebbe essere autovalore con molteplicità finita o infinita.

Il teorema spettrale 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 {U}}HU$

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.

Spettro di operatori illimitati

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

$T-\lambda I:D\to X$

ha un inverso limitato, ovvero se esiste un operatore limitato $S:X\rightarrow D$ tale che:

$S(T-\lambda I)=I_{D}\qquad (T-\lambda I)S=I_{X}$

Il complementare dell'insieme risolvente è lo spettro di $T$. Un numero complesso $\lambda$ è 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 $S$ può non essere invertibile nel senso degli operatori limitati. Dato che il dominio $D$ può essere un sottoinsieme proprio di $X$, l'espressione:

$\,(T-\lambda )S=I_{X}$

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

$\,S(T-\lambda )=I_{D}$

implica che $D$ è contenuto nell'immagine di $S$.

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

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

L'operatore risolvente

Il risolvente $R_{\lambda }$ può essere valutato a partire dagli autovalori e dalle autofunzioni di $T$. Applicando $R_{\lambda }$ ad una funzione arbitraria $\varphi$ si ha:

$R_{\lambda }|\varphi \rangle =(\lambda -T)^{-1}\ |\varphi \rangle =\sum _{i=1}^{n}{\frac {1}{\lambda -\lambda _{i}}}|e_{i}\rangle \langle f_{i},\varphi \rangle$

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

${\frac {1}{2\pi i}}\ \oint _{C}\ d\lambda (\lambda -T)^{-1}\ |\varphi \rangle =-\sum _{i=1}^{n}\ |e_{i}\rangle \ \langle f_{i},\varphi \rangle =-|\varphi \rangle$

dove l'integrale è preso lungo un bordo $C$ che include tutti gli autovalori. Supponendo che $\varphi$ sia definita sulle coordinate $\{x_{i}\}$, ovvero:

$\langle x,\ \varphi \rangle =\varphi (x_{1},\ x_{2},...\ )\qquad \langle x,\ y\rangle =\delta (x-y)=\delta (x_{1}-y_{1},x_{2}-y_{2},x_{3}-y_{3}\dots )$

si ha:

${\begin{aligned}\left\langle x,\ {\frac {1}{2\pi i}}\ \oint _{C}\ d\lambda (\lambda -T)^{-1}\varphi \right\rangle &={\frac {1}{2\pi i}}\ \oint _{C}\ d\lambda \ \langle x,\ (\lambda -T)^{-1}\ \varphi \rangle \\&={\frac {1}{2\pi i}}\ \oint _{C}\ d\lambda \int \ dy\ \ \langle x,\ (\lambda -T)^{-1}\ y\rangle \ \langle y,\ \varphi \rangle \end{aligned}}$

La funzione $G(x,y;\lambda )$ definita come:

${\begin{aligned}G(x,\ y;\ \lambda )&=\langle x,\ (\lambda -T)^{-1}\ y\rangle \\&=\sum _{i=1}^{n}\sum _{j=1}^{n}\langle x,\ e_{i}\rangle \langle f_{i},\ (\lambda -T)^{-1}e_{j}\rangle \langle f_{j},\ y\rangle \\&=\sum _{i=1}^{n}{\frac {\langle x,\ e_{i}\rangle \langle f_{i},\ y\rangle }{\lambda -\lambda _{i}}}\\&=\sum _{i=1}^{n}{\frac {e_{i}(x)f_{i}^{*}(y)}{\lambda -\lambda _{i}}}\end{aligned}}$

è la funzione di Green per $T$ e soddisfa:

${\frac {1}{2\pi i}}\ \oint _{C}d\lambda G(x,y;\,\lambda )=-\sum _{i=1}^{n}\langle x,e_{i}\rangle \langle f_{i},y\rangle =-\langle x,y\rangle =-\delta (x-y)$

Esempio

Si consideri lo shift bilaterale $T$ su $\ell ^{2}(\mathbb {Z} )$ dato da:

$T(\cdots ,a_{-1},{\hat {a}}_{0},a_{1},\cdots )=(\cdots ,{\hat {a}}_{-1},a_{0},a_{1},\cdots )$

dove ^ denota la posizione zero. Un calcolo diretto mostra che $T$ non ha autovalori, ma ogni $\lambda$ con $|\lambda |=1$ è un autovalore approssimato. Ponendo $x_{n}$ un vettore:

${\frac {1}{\sqrt {n}}}(\dots ,0,1,\lambda ,\lambda ^{2},\dots ,\lambda ^{n-1},0,\dots )$

allora $\|x_{n}\|=1$ per ogni n, ma:

$\|Tx_{n}-\lambda x_{n}\|={\sqrt {\frac {2}{n}}}\to 0$

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

Bibliografia

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

• Autovettore e autovalore
• Operatore aggiunto
• Operatore autoaggiunto
• Operatore compatto
• Operatore limitato
• Operatore lineare continuo
• Operatore normale
• Raggio spettrale
• Shift unilaterale
• Spettro essenziale
• Teorema del grafico chiuso
• Teorema spettrale
• Teoria spettrale
• Trasformazione lineare

Altri progetti

Altri progetti

• Wikizionario

• Wikizionario contiene il lemma di dizionario «spettro»

Collegamenti esterni

• (EN) Eric W. Weisstein, Spettro, su MathWorld, Wolfram Research.
• (EN) V.S. Shul'man, Spectrum of an operator, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.