Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
Convolution with a smooth compactly supported bump function? –  André Henriques May 17 '13 at 11:57
Isn't it superfluous to require compact support, given that the domain is a compact interval? –  MTS May 17 '13 at 13:16
@MTS: $C_c^\infty(K) = \lbrace f\in C^\infty(\mathbb R): \mathrm{supp}(f) \subseteq K\rbrace$. –  Jochen Wengenroth May 17 '13 at 13:47
add comment

1 Answer

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.

share|improve this answer
add comment

Your Answer


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.