Section 8.7 Exercises
Checkpoint 8.7.1. Classical Sturm-Liouville problems (level 1).
\begin{align*}
A=-\frac{d^2}{dx^2},\amp\qquad\amp D(A)=\{f\in L^2(0,\pi); Af \in L^2(0,\pi), f(0)=0, f(\pi)=0\},
B=-\frac{d^2}{dx^2},\amp\qquad\amp D(B)=\{f\in L^2(0,\pi); Bf \in L^2(0,\pi), \frac{d}{dx}f(0)=0,\frac{d}{dx} f(\pi)=0\}.
\end{align*}
Checkpoint 8.7.2. Adjoint spectrum (level 2).
\begin{equation*}
\lambda \in \sigma_p(A) \qquad \Longrightarrow \qquad \bar \lambda \in \sigma_r(A^*) \cup \sigma_p(A^*).
\end{equation*}
Checkpoint 8.7.3. Left and right shift (level 3).
\begin{equation*}
\|x\|_2^2 = \sum_{i=1}^\infty |x_i| ^2.
\end{equation*}
We define two operators, a left-shift \(L\) and a right-shift \(R\) as
\begin{equation*}
L(x_1, x_2, x_3, \dots) = (x_2, x_3, \dots), \qquad R(x_1, x_2, x_3, \dots) = (0, x_1, x_2, x_3, \dots) .
\end{equation*}
- Find the adjoints of \(L\) and \(R\text{.}\)
- \(\sigma(L), \sigma_p(L), \sigma_c(L), \sigma_r(L)\text{.}\)
- Find the norm of \(L\) and use it to find the spectral radius of \(L\text{.}\) Define a ball that contains the spectrum \(\sigma(L)\text{.}\)
- Find the point-spectrum of \(L\text{.}\)
- Show that \(\sigma_r(L) = \emptyset\text{.}\)
- Use the fact that the spectrum is a closed set to identify all three components.
- \(\sigma(R), \sigma_p(R), \sigma_c(R), \sigma_r(R)\text{.}\)
- Find the norm of \(R\) , the spectral radius of \(R\text{,}\) and define a ball that contains the spectrum \(\sigma(R)\text{.}\)
- Find the point-spectrum of \(R\text{.}\)
- Use the previous results and the result from Exercise 22 to find the residual spectrum of \(R\text{.}\)
- Find the continuous spectrum of \(R\text{.}\)
- Use the fact that the spectrum is a closed set to identify all three components.
Checkpoint 8.7.4. skew adjoint (level 2).
- Show that the operator on \(L^2(0,1)\) given by\begin{equation*} A=\frac{\partial}{\partial x} ,\qquad D(A)=\{u\in H^1([0,1]) ; u(0) = u(1) \} \end{equation*}is skew adjoint (\(A^*=-A, D(A^*)=D(A)\)).
- Show that the point spectrum of \(A\) is purely imaginary.
