Take the 2-minute tour ×
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.

Let $V$ be Hilbert. Let $\mathcal{D}((0,T);V)$ be space of infinite differentiable functions with values in $V$ with compact support. Are functions of the form $$\sum_j \psi_n(t)w_n$$ where $\psi_n \in \mathcal{D}(0,T)$ and $w_n \in V$, dense under the norm $$\lVert {u}\rVert_{W} = \sqrt{\int_0^T \lVert {u}\rVert_{V}^2 + \lVert {u'}\rVert_{V}^2}$$ in $\mathcal{D}((0,T);V)$?

If $V=\mathbb{R}$, the question seems stupid.. Otherwise I don't know...

share|improve this question
    
If $(e_n,n\geqslant 1)$ is a Hilbert basis, why wouldn't you take $\psi_n(t):=\langle \psi(t),e_n\rangle_V$ and $w_n=e_n$? (In particular, finite combinations of $\psi_ne_n$ are dense in $\mathcal D((0,T);V)$). –  Davide Giraudo Jul 19 '13 at 12:27
    
@DavideGiraudo I think you're right. I was just thinking of that after seeing this question math.stackexchange.com/questions/416543/… You can put your comment as answer if you like. –  aere Jul 19 '13 at 12:31
    
But is it obvious that $\frac{d}{dt}\psi_n(t) = \langle \psi'(t), en \rangle$? –  aere Jul 19 '13 at 12:32
    
I wouldn't say "it's obvious", but it follows from a not too hard computation. –  Davide Giraudo Jul 19 '13 at 12:35
add comment

1 Answer 1

up vote 2 down vote accepted

Let $(e_n,n\geqslant 1)$ be a Hilbert basis of $V$. On can show that the set of functions of the form $$\sum_{j=1}^N\psi_j(t)e_j,N\in\mathbb N, \psi_j\in \mathcal D(0,T),1\leqslant j\leqslant N$$ is dense in $W:=\mathcal D((0,T);V)$. Indeed, let $\psi\in W$. Let us define $\psi_n(t):=\langle \psi(t),e_n\rangle_V$. Then $\psi_n$ has compact support in $(0,T)$ and is smooth. We have $\psi'_n(t)=\langle \psi'(t),e_n\rangle_V$, and $$\int_0^T\left\lVert \psi(t)-\sum_{j=1}^N\psi_j(t)e_j\right\rVert_V^2\mathrm dt=\int_0^T \sum_{j\geqslant N+1}|\psi_j(t)|^2\mathrm dt.$$ Then we conclude by monotone convergence. We can do the same for the derivative.

share|improve this answer
add comment

Your Answer

 
discard

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

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