I am considering the Sobolev space $W^{1,\infty}(\Omega)$ on a bounded Lipschitz domain $\Omega \subseteq \mathbb{R}^2$. I am wondering whether the trace theorem holds in this case with constant one (independent of the domain), i.e. \begin{align} \| u \|_{L^{\infty}(\partial \Omega)} \le \| u \|_{W^{1,\infty}(\Omega)}. \end{align} It would be sufficient if smooth functions are dense in $W^{1,\infty}(\Omega)$, but the Meyers-Serrin Theorem is only stated for $p<\infty$ (at least on the german wikipedia site), so I'm not sure if this is true.

  • 4
    $\begingroup$ Lipschitz functions are uniformly continuous, thus the trace is defined at every point and it is clearly bounded by the L infinity norm over $\Omega$ $\endgroup$ – Piero D'Ancona Feb 22 '14 at 21:43

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.