Functional Analysis – Spectrum of the Right Shift Operator on l^2(Z)

functional-analysisspectral-theory

Here is the question:

Considering the right shift operator $S$ on $\ell^2({\bf Z})$, what can one know about ran$(S-\lambda)$?

Here is what I thought:

  • If one wants to prove that the operator $S-\lambda$ is onto when $\lambda$ satisfies some conditions, does one have to construct the solution?

  • One needs to find the solution $(S-\lambda)x=y$ where $x,y\in \ell^2({\bf Z})$. Using the standard basis $e_n=(\delta_{nk})_{k=-\infty}^{\infty}$, one has to solve
    $\lambda x_{k}-x_{k-1}=y_{k}, (k\in {\bf Z})$.

  • Intuitively, when $|\lambda|=1$, there may be no way for $S-\lambda:\ell^2({\bf Z})\to \ell^2({\bf Z})$ to be onto. However, when $|\lambda|\neq 1$, can one explicitly find $x=(x_{k})_{k=-\infty}^{\infty}$?


[ADDED] Thanks to a recent editing of my question, I have learned that the right and left shift operators acting on two-sided infinite sequences are also called bilateral shifts.

Best Answer

The right shift is unitary, so its spectrum is contained in the unit circle. It has no eigenvalues, so $S-\lambda$ is always injective. The spectrum is nonempty, so there exists $\lambda_0$ with $|\lambda_0|=1$ such that $S-\lambda_0$ is not invertible. For each $\lambda$ in the unit circle, the operator $\lambda S$ is unitarily equivalent to $S$, via the diagonal unitary operator $$(\ldots,x_{-2},x_{-1},x_0,x_1,x_2,\ldots)\mapsto(\ldots,\overline{\lambda}^2x_{-2},\overline{\lambda}x_{-1},x_0,\lambda x_1,\lambda^2x_2,\ldots).$$ Thus for each $\lambda$ in the unit circle, $\sigma(S)=\sigma((\lambda\cdot\overline{\lambda_0})S)=(\lambda\cdot\overline{\lambda_0})\sigma(S)$, and therefore $\sigma(S)$ contains $\lambda$. This shows that the spectrum of $S$ is the unit circle.

For each $\lambda\in\sigma(S)$, $S-\lambda$ is not surjective, because $S-\lambda$ is injective but not invertible. However, $S-\lambda$ has dense range, which follows from the fact that the left shift $S^*$ also has no eigenvalues.

Feel free to ask for elaboration on any of the claims I've made.