Let $\Omega=(a,b)$ a finite interval, $g\in \mathcal{H}^k(\Omega)$ some integer $k$, with $g(a)=0$ and let $\epsilon>0$. Is there an $\alpha\geq 1+k$ such that:
$ \left\|g\right\|_{L_2(a,a+\epsilon)}\leq C\epsilon^{\alpha}\left\|g\right\|_{\mathcal{H}^k(\Omega)} $ where $C$ and $\alpha$ do not depend on $g$ or $\epsilon>0$?
I am thinking of $\epsilon>0$ small so the bound only has to hold for sufficiently small $\epsilon$.
If the above is not possible are there any extra conditions I can put on $g$ at the end point $a$ or extra smoothness of $g$ in $\Omega$ I can impose?
Poincare's inequality for $k=1$: I get $ \left\|g\right\|_{L_2(a,a+\epsilon)}\leq (1+C)\left\|g\right\|_{\mathcal{H}^1(a,a+\epsilon)}$ How do I continue from here?