[Math] Poincaré inequality for $W_0^{1,\infty}$

partial differential equationssobolev-spaces

In the book A first course in Sobolev spaces by Leoni, the following Poincaré inequality for $W_0^{1,p}(\Omega)$ is stated:

Suppose $\Omega\subset \mathbb{R}^n$ has finite width (lies between two parallel hyperplanes) and $p\in [1,\infty)$. Then for all $u\in W^{1,p}_0(\Omega)$,
$$\|u\|_{L^p} \leq C \|\nabla u\|_{L^p}$$

My question is: Does the Poincaré inequality above still hold for $p=\infty$?
If yes, how to prove it? And if no, what is the counterexample?

Thank you.

Best Answer

By the fundamental theorem of calculus we have that, if $u\in C_c^\infty(\mathbb{R}^n)$ and $x_0$ is such that $u(x_0)=0$ then

$$ u(x)=\int_0^1 \nabla u(tx+(1-t)x_0)\cdot (x-x_0)dt $$

from which we get

$$ |u(x)|\leq \| \nabla u \|_\infty |x-x_0| $$

Now if $\Omega$ has finite width and $u\in C_c^\infty(\Omega)$, then for every $x\in \Omega$ there is an $x_0 \notin \Omega$ such that $|x-x_0| \leq D$ (where $D$ is the distance between the two parallel hyperplanes bounding $\Omega$). We conclude that

$$ \| u\|_{\infty} \leq D \| \nabla u\|_{\infty}. $$

Related Question