# Inequality for embedding in Sobolev space

For $\Omega=(0,1).$Prove that there exists $M>0$ such that $$||u||_{C^0(\overline{\Omega})}\le M||u||_{H^1(\Omega)}$$ for all $u\in H^1(\Omega).$

-

Assume that $u(0)=0$. Then $$u(x)=\int_0^x u'(s)ds=\int_0^1 \textbf{1}_{(0,x)}u'(s)ds.$$ Now you use Cauchy-Schwarz inequality. $$u(x)\leq \|u'\textbf{1}_{(0,x)}\|_{L^2}=\int_0^1 (u'(s))^2\textbf{1}_{(0,x)}ds\leq \int_0^1 (u'(s))^2 ds.$$ Right?

-
Why you can assume $u(0)$ like that? I also do like your way, but don't think that. – anhkhoavo1210 May 25 '13 at 12:41
In general you can't. This is a simpler case. For an unbounded domain you can do the same trick paying with an $L^2$ norm of $u$. – guacho May 25 '13 at 12:43
Let me think how to deal with $u(0)$... – guacho May 25 '13 at 12:48
In particularly, $M$ in someone's essay is $\sqrt{2}$. I'm strongly wondering. The problem is of $u(0)$... – anhkhoavo1210 May 25 '13 at 13:11
Use the fact that there is a continuous extension operator $P \colon H^1(0,1) \to H^1(\mathbb{R})$, and exploit the fact that $C_0^\infty(\mathbb{R})$ is dense in $H^1(\mathbb{R})$. See also Brezis, Analyse fonctionnelle, Théorème VIII.7. – Siminore May 25 '13 at 13:38