The trace theorem says for a nice domain, say bounded Lipschitz domain, $\Omega$, we have $$\left\Vert Tu \right\Vert_{H^{1/2}(\partial \Omega)} \leq C \left\Vert u \right\Vert_{H^1(\Omega)},$$ where $Tu$ is the trace of $u$. I would like to know how the constant $C$ depends on $\mathrm{diam}(\Omega)$.

## 1 Answer

Since $Tu=T(\chi u)$ for any smooth cutoff $\chi$ equal to 1 near the boundary, the norm of the trace operator should be independent of the size of the open set (maybe it could be influenced by the domain being too small). For a flat boundary the norm can be computed exactly without much difficulty, then an estimate of the norm in the general case could be obtained by estimating the norm of the change of variables necessary to straighten the boundary.

Theory of function spaces. But I am sure it is done in many books. $\endgroup$