Extension theorems for Sobolev spaces (Q4934607)

For an open set \(\Omega\subseteq \mathbb{R}^n\), \(\ell\in\mathbb{N}\) and \(1\leq p\leq\infty\) the author studies the problem of extension for Sobolev spaces \(W^\ell_p(\Omega)\) of all functions \(f\in L_p(\Omega)\) for which the weak gradient \(\nabla_\ell f= \{D^\alpha f\}_{|\alpha|=\ell}\) exists on \(\Omega\) and \(\|f\|_{W^\ell_p(\Omega)}= \|f\|_{L_p(\Omega)}+\|\nabla_\ell f\|_{L_p(\Omega)}< \infty\) where \[ \|\nabla_\ell f\|_{L_p(\Omega)}= \Biggl(\int_\Omega|\nabla_\ell f|^p dx\Biggr)^{{1\over p}}\quad\text{and}\quad |\nabla_\ell f|= \Biggl(\sum_{|\alpha|= \ell}|D^\alpha f|^2\Biggr)^{{1\over 2}}. \] A domain \(\Omega\) is said to belong to the class \(EW^\ell_p\) if there exists a bounded linear extension operator \(E: W^\ell_p(\Omega)\to W^\ell_p(\mathbb{R}^n)\). Using the geometric notion of Lipschitz boundary and intrinsic metric in \(\Omega\) the author defines another class \(A\) of domains and shows that \(A\) is a subclass of \(EW^\ell_p\). He proves that if \(\Omega\in A\), then there exists a bounded linear extension operator \(E: W^\ell_p(\Omega)\to W^\ell_p(\mathbb{R}^n)\cap C^\infty(\mathbb{R}^n\setminus\overline\Omega)\) such that \[ \|\text{dist}(x, \partial\Omega)^{|\alpha|- \ell} D^\alpha(Ef)\|\leq L_p(\mathbb{R}^n\setminus\Omega)\leq c\|f\|_{W^\ell_p(\Omega)}, \] where \(|\alpha|> \ell\) and \(c>0\) is independent of \(f\). For the entire collection see [Zbl 0923.00034].