Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm studying for my functional analysis exam. We are required to know the proof of the following, but I cannot figure it out.

Consider $L_2[0,1]$ with orthonormal basis $(e_n)_{n=-\infty}^\infty$ where $e_n(t) = e^{i 2 \pi nt}$. Let $D$ in $\mathcal{L}(\operatorname{span}\{ e_n \}_{n=-\infty}^\infty)$ denote the operator of differentiation. Let $\mathcal{D} = \{ f \in L_2[0,1] : \sum_{n=-\infty}^\infty |n^2 (f,e_n)|^2 < \infty \}$. Show that there is a unique extension of $D^2$ from $\mathcal{D}$ to $L_2[0,1]$. Moreover, $D^2 : \mathcal{D} \to L_2[0,1]$ has closed graph in $L_2[0,1] \oplus L_2[0,1]$.

share|cite|improve this question
    
Given $f=\sum_{n=-\infty}^{+\infty}(f,e_n)e_n\in\mathcal D$, do you see how to define $D^2$? – Davide Giraudo Dec 16 '12 at 9:39

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.