Interval Sobolev supremum estimate ($\Vert u{\Vert }_{\infty }\le C(a)\Vert u{\Vert }_{H^1(-a,a)}$)

On $I=(-a,a)$, a first-order Sobolev space function has a continuous representative and obeysBound the average by the Cauchy-Schwarz inequality and average the identity $u(x)-u(y)={\int }_y^x{u}^{\prime }$. This also gives $[u{]}_{C^{0,1/2}}\le \Vert u^{\prime }{\Vert }_2$. A unit constant with the standard Sobolev norm cannot be asserted on arbitrary interval lengths: $u=1$ already disproves it when $2a<1$.