A Sobolev extension domain that is not uniform (Q2502198): Difference between revisions

A domain \(D\) in the Euclidean \(n\)-space \({\mathbb R}^ n\) (\(n \geq 2\)) is said to be uniform if there exists a constant \(c\in [1,\infty[\) such that each pair \(x_1, x_2 \in D\) can be joined by a rectifiable arc \(\beta \subset D\) satisfying \[ l(\beta) \leq c | x_1 - x_2|, \quad \min_{j=1,2}| x_j-x| \leq \, d(x, \partial D) \] for all \(x\in \beta\), where \(l(\beta)\) is the Euclidean arc length of \(\beta\) and \(d(x, \partial D)\) is the distance from \(x\) to the boundary \(\partial D\) of \(D\). For \(p\geq 1\) and a domain \(D\), let \(L^p(D)\) denote the usual Banach space of \(L^p\)-integrable functions, and consider also the Sobolev classes \(W^1_p(D)\) and \(L^1_p(D)\), where \(W^1_p(D) = L^1_p(D)\cap L^p(D)\) and \(L^1_p(D)\) is the family of measurable functions with first derivatives belonging to \(L^p(D)\), and whose elements satisfy \[ \begin{aligned} {\| f\| }_{W^1_p(D)} &:= {\| \nabla f\| }_{L^p(D)} + {\| f\| }_{L^p(D)} < \infty,\\ {\| f\| }_{L^1_p(D)} &:= {\| \nabla f\| }_{L^p(D)} < \infty, \end{aligned} \] respectively. It is said that \(D\subset {\mathbb R}^ n\) is an \(L^1_p(D)\)-extension domain if there is a bounded linear extension operator from \(L^1_p(D)\) to \(L^1_p(\mathbb R^ n)\). In addition, \(W^1_p(D)\)-extension domains are defined in an analogous way. In the main result of this paper, the author shows that there is a homeomorphism of \(\mathbb{R}^n\) (\(n\geq 3\)) such that the image of the upper half space is an \(L^1_p\)-extension (and a \(W^1_p\)-extension) domain for all \(p\geq 1\), but not uniform.