Density of a subspace in $\mathcal{D}(0,T;V)$ under $H^1$ norm

90 Views Asked by At

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...

1

There are 1 best solutions below

0
On BEST ANSWER

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.