Is the space $C(0,1)$ dense in Sobolev space $H^2(0,1)$? And $C^\infty_c(\Omega) = C^\infty_0(\Omega)$?

522 Views Asked by At

I have two questions:

  1. Is $C(0,1)$ dense in $H^2(0,1)$? Yes or no? Could you give me a proof or an explanation?

  2. $C^\infty_c(\Omega) = C^\infty_0(\Omega)$? from the different textbooks, I see that the spaces $C^\infty_0(\Omega)$ consists of all those functions in $C^\infty(\Omega)$ that have compact support in $\Omega$. But it seems that $C^\infty_c(\Omega)$ has the same meaning. the little $c$ means compact support? or it depends on the set $\Omega$?

Please help me. Thanks.

1

There are 1 best solutions below

0
On

The meaning of subscript $0$ in $C_0^\infty$ depends on where you see this notation. Some authors use it to mean "compact support". Others use it to mean "vanishing on the boundary", and if they need notation for smooth functions with compact support, it's $C_c^\infty$.

The space of continuous functions, such as $C(0,1)$, is not contained in $H^2$, so one can't really talk about it being dense there. But it's true that its intersection with $H^2$ is dense in $H^2$, since it contains all smooth functions with square-integrable second derivatives, and those are dense in $H^2$.