9
$\begingroup$

Let $X$ be the subspace of $L^2(\Bbb{R})$ which consists of continuously differentiable functions with derivatives in $L^2(\Bbb{R})$. Then it asks to perform spectral analysis on the differential operator $A=\frac{d}{dx}$, i.e. find the spectrum of $A$.

The statement of the question itself is vague. From my understanding, I think the question means the following: we need to find the spectrum of the linear operator $$A:X\to S,\quad Af=f',$$ where $S=C(\Bbb{R})\cap L^2(\Bbb{R})$, and both $X,S$ are endowed with the $L^2$ norm $\|\cdot\|_2$.

About the definition of spectrum I have: Let $T: V\to W$ be a bounded linear operator between two normed linear spaces, we say that $\lambda\in\mathbb{C}$ is in

  • the point spectrum of $A$ if $\lambda I-A$ is not injective
  • the residual spectrum of $A$ if $\lambda I-A$ is injective but the range of $\lambda I-A$ is not dense in $W$
  • the continuous spectrum if $\lambda I-A$ is injective and the range of $\lambda I-A$ is dense in $W$, but the inverse $(\lambda I-A)^{-1}$ defined on the range is unbounded.

My attempt:

First I found the point spectrum $\sigma_p(A)$. For any $\lambda\in\Bbb{C}$, let $f\in Ker(\lambda I-A)$. This implies that $\lambda f(t)-f'(t)=0$ for all $t\in\Bbb{R}$. Then we can see that $f(t)=ce^{\lambda t}$ for $c\in\Bbb{C}$. Since $f$ is square integrable on $\Bbb{R}$, this forces $c=0$. Hence we see that $f\equiv 0$ and therefore $\sigma_p(A)=\emptyset.$

Then I was trying to find the residual and continuous spectrums, and I got stuck at this point. Any help is greatly appreciated.

$\endgroup$
  • 3
    $\begingroup$ The operator you gave is not closed. Do you mean to take the closure of your operator. Otherwise $(A-\lambda I)$ is not surjective for any $\lambda$. $\endgroup$ – DisintegratingByParts Jan 27 '17 at 22:38
  • 1
    $\begingroup$ How do you define the spectrum of $A$, exactly? What topology do you put on $S$? An observation: every $f\in X$ vanishes at $-\infty$, so $f(x)=\lim_{a\to -\infty} \int_a^x f'(t)\,\textrm{d}t$ (you need the improper integral because the derivative may not be in $L^1$). $\endgroup$ – tomasz Jan 27 '17 at 22:43
  • 1
    $\begingroup$ @TrialAndError I've added more details. Hope this will make the question more clear. $\endgroup$ – Kato yu Jan 27 '17 at 23:11
  • $\begingroup$ @tomasz I've added more details. The topology we put on both $X$ and $S$ is the $L^2$ norm topology. $\endgroup$ – Kato yu Jan 27 '17 at 23:12
9
$\begingroup$

$\newcommand{\id}{I}$ As it was mentioned in the comments, the domain where you defined the operator is not correct - If you take $C^1$-functions with derivatives in $L^2$ the domain will be "too small" in the sense that $A-\lambda I$ does not have closed range and therefore cannot be surjective for any $\lambda$ (The range would be the continuous functions in $L^2$, its easy to show that this is not closed under the $L^2$-norm.). This means that $A-\lambda I$ cannot be invertible for any $\lambda$, hence $\sigma(A)=\mathbb{C}$. In this case, the range of $A-\lambda I$ are the continuous $L^2$-functions which are known to be dense in $L^2$, hence $\sigma(A)=\sigma_c(A)$ since you already showed there cannot be any eigenfunctions.

Now considering the "correct" domain for this operator: Naturally, this will be given by the Sobolev space $H^1(\mathbb{R})$ Since we are in one dimension, this space can be characterized as a subspace of the absolutely continuous $L^2$-functions on $\mathbb{R}$, since for these functions you may define a derivative almost everywhere. The subspace you consider as a domain are then just the functions such that this a.e. derivative ("weak derivative") again is $L^2$-integrable.

I will now shift your operator by $-i$, since this operator is a bit easier to handle: You may check or look up, that the operator $\hat{p}=-i\frac{d}{dx}=-iA$ is self-adjoint with this domain, i.e. $\hat{p}=\hat{p}^\dagger$ where the domain of $\hat{p}^\dagger$ is canonically defined. On a side note, this operator corresponds to the momentum in quantum mechanics. You may also check, that for densely defined linear operators, we have $$ R(A)^\perp=\operatorname{Kern}(A^\dagger). $$Using this relation, you can in particular prove, that

  • self-adjoint operators have a spectrum which is fully contained in the real line.
  • self-adjoint operators have empty residual spectrum.

You can also look up this stuff in any basic textbook on functional analysis which contains some operator theory, e.g. Rudin or the first volume of Reed-Simon. I will now prove that $\sigma (\hat{p})=\mathbb{R}$, which implies that $\sigma(A)=i\mathbb{R}$.

Let $\lambda\in\mathbb{R}$, we show that $\hat{p}-\lambda I$ is not invertible. Consider a nonzero smooth function $f\in C_0^{\infty}(\mathbb{R})\subset D(\hat{p})$, i.e. $f$ has compact support, and define $g_k(x)=\frac{1}{\sqrt{k}}e^{i\lambda x}f(k^{-1}x)$. Clearly, $g_k\in D(\hat{p})$ and you may check that $\|f\|=\|g_k\|$. Furthermore, you may calculate $\|(\hat{p}-\lambda\id) g_k\|=\frac{1}{k}\|f'\|$. Assume that $\hat{p}-\lambda\id$ has a bounded inverse, then there would hold $$ \|f\|=\|g_k\| =\|(\hat{p}-\lambda\id)^{-1}(\hat{p}-\lambda\id)g_k\| $$ $$ \leq\|(\hat{p}-\lambda\id)^{-1}\| \|(\hat{p}-\lambda\id)g_k\| = k^{-1}\|(\hat{p}-\lambda\id)^{-1}\| \|f'\| $$

for any(!) $k\in\mathbb{N}$, which would imply $f$ being constant zero. Since $f$ was chosen not to be constant zero, this is a contradiction, and hence $\mathbb{R}\supset\sigma(\hat{p})$. Since $\hat{p}$ is self-adjoint, it cannot be any more, hence the claim follows.

Since the residual spectrum is empty and you already showed that the point spectrum is empty, this implies that the continuous spectrum of $A=\frac{d}{dx}$ is $i\mathbb{R}$ and all other spectra are empty.

You may of course ask yourself "how the f does one come up with such a function?", the reasoning is the following: For $\hat{p}$, $e^{i\lambda x}$ is an eigenfunction to $\lambda$, but it does not lie in $L^2$. However, it is not that bad of a function in the sense, that you can approximate it sufficiently well with functions from the domain of $\hat{p}$ - this is exactly what $g_k$ does, the function $f$ serves as a cutoff function. Diving further into the theory, you will find that $g_k$ is what we call a "Weyl sequence" for $\hat{p}$ at $\lambda$.

$\endgroup$
  • 2
    $\begingroup$ Very nice answer. Everything makes sense now. It's very good to see motivations and ideas which connect all arguments, and this make the whole story more understandable. Thanks a lot! $\endgroup$ – Kato yu Jan 28 '17 at 17:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.