4 added 255 characters in body; deleted 84 characters in body

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?

3 added 18 characters in body

Let $\Omega=(a,b)$ a finite interval, $g\in C^k(\Omega)$ \mathcal{H}^k(\Omega)$some integer$k$, with$g(a)=0$and let$\epsilon>0$. Is there an$\alpha$\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?

2 deleted 5 characters in body

Let $\Omega=(a,b)$ a finite interval, $g\in C^k(\Omega)$ some integer $k$, with $g(a)=0$ and let $\epsilon>0$. Is there an $\alpha$ 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 only 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?

1