1
$\begingroup$

Is it true that the space $C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$? These are compactly supported functions that are $V$ valued, where $V$ is a Banach or Hilbert space.

$\endgroup$
4
  • 1
    $\begingroup$ Convolution with a smooth compactly supported bump function? $\endgroup$ May 17, 2013 at 11:57
  • 3
    $\begingroup$ Isn't it superfluous to require compact support, given that the domain is a compact interval? $\endgroup$
    – MTS
    May 17, 2013 at 13:16
  • $\begingroup$ @MTS: $C_c^\infty(K) = \lbrace f\in C^\infty(\mathbb R): \mathrm{supp}(f) \subseteq K\rbrace$. $\endgroup$ May 17, 2013 at 13:47
  • $\begingroup$ A related question: mathoverflow.net/questions/130276/mathcald0-tv-is-dense-in-w0-t $\endgroup$ May 17, 2013 at 22:17

1 Answer 1

2
$\begingroup$

As Andre suggests: Convolution with smooth bump function with very small support will give you an approximation by a smooth function which however need not have support in $[0,T]$. However, you may first squeeze the support of the given function you want to approximate in order to make its support a compact subset of $(0,T)$. Then the support of the convolution stays in $[0,T]$ if the support of the bump function is small enough.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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