# Sobolev trace theorem on Lipschitz domains

Supposing that D is a bounded Lipschitz domain (and not smooth) in $\mathbb{R}^d$. From what I know, it is known that the trace operator is well-defined and continuous from $H^s(D)$ to $H^l(\partial D)$ when $l=s-1/2$ and $1/2<s<3/2$. My question is what happens when $s>3/2$, is the above result true? Also I am interested in versions concerning more general spaces like Besov or Tribel-Lizorkin. Any answer or reference will be appreciated.

• Should be l=s-1/2.
– Eddy
Jun 26, 2017 at 14:37

The problem here is with the definition of $H^\ell (\partial D)$. Typically, $\partial D$ is a manifold and you can define this set by local charts. In order to define $H^\ell (\partial D)$ with $0 < \ell \le 1$, it is sufficient to have bi-Lipschitz charts, whereas for $1 < \ell \le 2$ you would typically need diffeomorphisms with Lipschitz derivatives ($\mathcal{C}^{1, 1}$).
For Sobolev spaces $W_p^l(D)$, $l\in \mathbb N$, $1<p<\infty$, traces on a Lipschitz boundary $\partial D$ is considered in O. V. Besov, V. P. Il'in, S. M. Nikol'skii, Integral representations of functions and imbedding theorems, $\S20$, Theorem 20.12. Traces are completely characterised in the sense of necessary and sufficient conditions for a system of functions $\{f^{(\alpha)}\}$ on $\partial D$ to be traces of some function $f\in W_p^l(D)$ and its derivatives up to a certain order.