# How to prove the relationship $\|I_h u\|_{0,\infty}\leq C$ for $u\in H^2(\Omega)$?

If $I_h$ is the bilinear interpolation operator, i.e. $I_h: H^2(\Omega)\rightarrow V_h$, where $V_h=\{v_h\in L^2(\Omega)|v_h|_K\in \mathrm{span}\{1,x,y,xy\},~~K \in\mathcal{T}_h\}$

i know that $\|I_hu\|_{0,\infty}\leq C(u)$ for $u\in H^2(\Omega)$. However, i dont know how to prove it. Can any one give me some suggestions?

In addition, if $I_h$ is a nonconforming interpolation operator(such as Crouzeix-Raviart element, the degree of freedom is $\int_l uds$). More precisely, $I_h: H^1(\Omega)\rightarrow V_h$, where $V_h=\{v_h\in L^2(\Omega)|v_h|_K\in \mathrm{span}\{1,x,y\},~~K \in\mathcal{T}_h\}$. Does the above relationship still hold? If so, how to prove it?

If the $\|\nabla I_hu\|_{0,\infty}\leq C(u)$ holds, $u$ should belong to $H^{?}(\Omega)$?

• It is worth noting that in all of your examples, $C=C(u)$. Mar 29 '17 at 19:29
• Can you look somewhere the precise definition of $I_h$? Which spaces is it defined for? Maybe you can just use the boundedness of the interpolation operator in the appropriate Sobolev spaces with well-known embedding theorems for $L_{\infty}$? Mar 30 '17 at 17:52