Skip to main content
2 of 2
added 5 characters in body; added 12 characters in body
asv
  • 21.8k
  • 6
  • 54
  • 122

Question on Sobolev spaces in domains with boundary

Let $\Omega\subset \mathbb{R}^n$ be a bounded domain with infinitely smooth boundary. Define the Sobolev norm on $C^\infty(\bar \Omega)$ $$||u||_{W^{1,2}}:=\sqrt{\int_\Omega (|\nabla u|^2+u^2)dx}.$$ Let us denote by $W_0^{1,2}$ the completion of the space of smooth compactly supported functions in $\Omega$ with respect to this norm.

Let $u\in W^{1,2}_0\cap C(\bar \Omega)$. Is it true that $u$ vanishes on $\partial \Omega$?

Apologies if this question is not of the research level.

asv
  • 21.8k
  • 6
  • 54
  • 122