Autovettori di un operatore
Sia $e_n {n =+-1,+-2...}$ un set ortonormale completo in uno spazio di Hilbert H, e sia dato l'operatore T
T (e_n) = e_(n-1) - e_n$
Trovare gli eventuali autovettori di T.
Allora tra i vettori del set non ce ne sta neanche uno di autovettori. Presa una qualunque combinazione lineare finita di vettori del set non si ottiene mai un autovettore. Questo non basta per dire che non ci sono autovettori.
Pensavo a qualche serie strana, ma non mi viene in mente niente, qualche consiglio?
T (e_n) = e_(n-1) - e_n$
Trovare gli eventuali autovettori di T.
Allora tra i vettori del set non ce ne sta neanche uno di autovettori. Presa una qualunque combinazione lineare finita di vettori del set non si ottiene mai un autovettore. Questo non basta per dire che non ci sono autovettori.
Pensavo a qualche serie strana, ma non mi viene in mente niente, qualche consiglio?
Risposte
La cosa migliore è figurarsi per un attimo [tex]$H=\ell^2 (\mathbb{Z} )$[/tex] ed [tex]$e^n=(\delta_k^n)$[/tex] (qui [tex]$e^n$[/tex] è uno dei vettori che tu denoti con [tex]$e_n$[/tex]; uso l'apice al posto del pedice perchè metto in basso l'indice [tex]$k$[/tex] del termine della successione), sicché ogni [tex]$a=(a_k) \in \ell^2 (\mathbb{Z} )$[/tex] si scrive in unico modo come [tex]$\sum_{k=-\infty}^{+\infty} a_k\ e^k$[/tex].*
Nel seguito uso [tex]$\ell^2$[/tex] al posto di [tex]$\ell^2 (\mathbb{Z})$[/tex].
Il tuo operatore [tex]$T$[/tex] come agisce sul generico elemento [tex]$a \in \ell^2$[/tex]?
Usando la linearità e la continuità trovi:
[tex]$Ta =T\left( \sum_{k=-\infty}^{+\infty} a_k\ e^k\right)$[/tex]
[tex]$=\sum_{k=-\infty}^{+\infty} a_k\ Te^k $[/tex]
[tex]$=\sum_{k=-\infty}^{+\infty} a_k\ (e^{k-1} -e^k)$[/tex]
[tex]$=\sum_{k=-\infty}^{+\infty} a_k\ e^{k-1} -\sum_{k=-\infty}^{+\infty} a_k\ e^k$[/tex]
[tex]$=-a+\sum_{k=-\infty}^{+\infty} a_{k+1}\ e^k$[/tex];
detti [tex]$S:\ell^2 \ni a=\sum_{k=-\infty}^{+\infty} a_k\ e^k \mapsto \sum_{k=-\infty}^{+\infty} a_{k+1}\ e^k \in \ell^2$[/tex] l'operatore di shift a sinistra** ed [tex]$I:\ell^2 \ni a \mapsto a\in \ell^2$[/tex] l'identità, il tuo operatore si scrive come [tex]$T=S-I$[/tex].
Per cercare gli autovalori e gli autovettori di [tex]$T$[/tex], devi stabilire se esistono valori del parametro [tex]$\lambda$[/tex] tali che l'equazione:
[tex]$Ta=\lambda a$[/tex]
abbia soluzioni [tex]$a$[/tex] non banali; ciò equivale a dire che devi determinare [tex]$\lambda$[/tex] in modo che l'equazione:
[tex]$Sa=(\lambda +1) a$[/tex]
abbia soluzioni [tex]$a$[/tex] non banali...
Pertanto, se già hai studiato il problema degli autovalori per lo shift a sinistra [tex]$S$[/tex] sei a posto.
__________
* Ciò si può sempre fare per il teorema di Fischer-Riesz.
** Volendo rappresentare le cose con una matrice simbolica (con l'indice di posizione nella prima riga e la relativa "coordinata" nella seconda), l'operatore di shift a sinistra [tex]$S$[/tex] opera come segue:
[tex]$a=\begin{pmatrix} \ldots & -k & \ldots & -1 & 0 & 1 & \ldots & k &\ldots \\
\ldots & a_{-k} & \ldots & a_{-1} & a_0 & a_1 & \ldots & a_k &\ldots \end{pmatrix} \stackrel{S}{\mapsto}
\begin{pmatrix} \ldots & -k & \ldots & -1 & 0 & 1 & \ldots & k &\ldots \\
\ldots & a_{-k+1} & \ldots & a_0 & a_1 & a_2 & \ldots & a_{k+1} &\ldots \end{pmatrix}=Sa$[/tex];
si vede che le "coordinate" di [tex]$a$[/tex] vengono spostate di un posto verso sinistra da [tex]$S$[/tex].
Nel seguito uso [tex]$\ell^2$[/tex] al posto di [tex]$\ell^2 (\mathbb{Z})$[/tex].
Il tuo operatore [tex]$T$[/tex] come agisce sul generico elemento [tex]$a \in \ell^2$[/tex]?
Usando la linearità e la continuità trovi:
[tex]$Ta =T\left( \sum_{k=-\infty}^{+\infty} a_k\ e^k\right)$[/tex]
[tex]$=\sum_{k=-\infty}^{+\infty} a_k\ Te^k $[/tex]
[tex]$=\sum_{k=-\infty}^{+\infty} a_k\ (e^{k-1} -e^k)$[/tex]
[tex]$=\sum_{k=-\infty}^{+\infty} a_k\ e^{k-1} -\sum_{k=-\infty}^{+\infty} a_k\ e^k$[/tex]
[tex]$=-a+\sum_{k=-\infty}^{+\infty} a_{k+1}\ e^k$[/tex];
detti [tex]$S:\ell^2 \ni a=\sum_{k=-\infty}^{+\infty} a_k\ e^k \mapsto \sum_{k=-\infty}^{+\infty} a_{k+1}\ e^k \in \ell^2$[/tex] l'operatore di shift a sinistra** ed [tex]$I:\ell^2 \ni a \mapsto a\in \ell^2$[/tex] l'identità, il tuo operatore si scrive come [tex]$T=S-I$[/tex].
Per cercare gli autovalori e gli autovettori di [tex]$T$[/tex], devi stabilire se esistono valori del parametro [tex]$\lambda$[/tex] tali che l'equazione:
[tex]$Ta=\lambda a$[/tex]
abbia soluzioni [tex]$a$[/tex] non banali; ciò equivale a dire che devi determinare [tex]$\lambda$[/tex] in modo che l'equazione:
[tex]$Sa=(\lambda +1) a$[/tex]
abbia soluzioni [tex]$a$[/tex] non banali...
Pertanto, se già hai studiato il problema degli autovalori per lo shift a sinistra [tex]$S$[/tex] sei a posto.
__________
* Ciò si può sempre fare per il teorema di Fischer-Riesz.
** Volendo rappresentare le cose con una matrice simbolica (con l'indice di posizione nella prima riga e la relativa "coordinata" nella seconda), l'operatore di shift a sinistra [tex]$S$[/tex] opera come segue:
[tex]$a=\begin{pmatrix} \ldots & -k & \ldots & -1 & 0 & 1 & \ldots & k &\ldots \\
\ldots & a_{-k} & \ldots & a_{-1} & a_0 & a_1 & \ldots & a_k &\ldots \end{pmatrix} \stackrel{S}{\mapsto}
\begin{pmatrix} \ldots & -k & \ldots & -1 & 0 & 1 & \ldots & k &\ldots \\
\ldots & a_{-k+1} & \ldots & a_0 & a_1 & a_2 & \ldots & a_{k+1} &\ldots \end{pmatrix}=Sa$[/tex];
si vede che le "coordinate" di [tex]$a$[/tex] vengono spostate di un posto verso sinistra da [tex]$S$[/tex].
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo