Skip to content

Question

Math 6410 • ODE

Fall 1994 • Question 15

Let \(S\) be the selfadjoint realization in the Hilbert space \(\mathcal {H}=L_2(0,\infty )\) for the singular Sturm-Liouville operator \(\mathcal {L}=-u''\) on \(0<x<\infty \) with boundary condition \(u(0)=0\). Assume that \(S\) is defined by the domain \[ D(S)=\{u\in \mathcal {H}:u''\in \mathcal {H}\text { and }u(0)=0\} \] and the relation \(Su=-u''\) for all \(u\in D(S)\). Complete the following:

  1. Show that the Green’s function \(G\) for the operator \(S\) is given by the equation below, where \(\xi =re^{i\theta }\) and \(\sqrt {\xi }=\sqrt {r}e^{i\theta /2}\) on \(0<\theta <2\pi \). \[ G(x,y,\xi )= \begin {cases} e^{i\sqrt {\xi }y}\sin (\sqrt {\xi }x)/\sqrt {\xi } & \text {for }0\le x\le y<\infty ,\\ e^{i\sqrt {\xi }x}\sin (\sqrt {\xi }y)/\sqrt {\xi } & \text {for }0\le y\le x<\infty . \end {cases} \]
  2. Prove that the operator \(S\) has a pure continuous spectrum consisting of all non-negative real numbers.

Raw LaTeX

Let \(S\) be the selfadjoint realization in the Hilbert space
\(\calH=L_2(0,\infty)\) for the singular Sturm-Liouville operator \(\calL=-u''\) on
\(0<x<\infty\) with boundary condition \(u(0)=0\). Assume that \(S\) is defined by the
domain
\[
D(S)=\{u\in\calH:u''\in\calH\text{ and }u(0)=0\}
\]
and the relation \(Su=-u''\) for all \(u\in D(S)\). Complete the following:

\begin{enumerate}
\item[(a)] Show that the Green's function \(G\) for the operator \(S\) is given by the
equation below, where \(\xi=re^{i\theta}\) and
\(\sqrt{\xi}=\sqrt{r}e^{i\theta/2}\) on \(0<\theta<2\pi\).
\[
G(x,y,\xi)=
\begin{cases}
e^{i\sqrt{\xi}y}\sin(\sqrt{\xi}x)/\sqrt{\xi} & \text{for }0\le x\le y<\infty,\\
e^{i\sqrt{\xi}x}\sin(\sqrt{\xi}y)/\sqrt{\xi} & \text{for }0\le y\le x<\infty.
\end{cases}
\]

\item[(b)] Prove that the operator \(S\) has a pure continuous spectrum consisting of
all non-negative real numbers.
\end{enumerate}