On planar Sobolev \(L_p^m\)-extension domains (Q895544)

Let \(\Omega\) be a domain (= open set) in \(\mathbb R^n\). Let \(m\in \mathbb N\) and \(1\leq p \leq \infty\). Then \(L^m_p (\Omega)\) collects all locally integrable functions in \(\Omega\) such that \[ \| f \, | L^m_p (\Omega) \| = \sum_{|\alpha|=m} \| D^\alpha f \, | L_p (\Omega) \| \] is finite. A domain is said to have the \(L^m_p\)-extension property if, for any \(f\in L^m_p (\Omega)\), there is an \(F\in L^m_p (\mathbb R^n)\) such that \(F|\Omega = f\) and \[ \| F \, | L^m_p (\mathbb R^n) \| \leq \theta \, \| f \, | L^m_p (\Omega) \| \] for some \(\theta\) (independent of \(f\)). The main aim of the paper is the proof of Theorem 1.3: Let \(2<p<\infty\) and \(m\in \mathbb N\). Let \(\Omega\) be a simply connected domain in the plane \(\mathbb R^2\). Then \(\Omega\) has the \(L^m_p\)-extension property if and only if, for some \(C>0\), \[ \int_\gamma \text{dist }(u, \partial \Omega)^{\frac{1}{1-p}} \, ds(u) \leq C \, |x-y|^{\frac{p-2}{p-1}} \] for every \(x,y \in \Omega\) and a suitable rectifiable curve \(\gamma \subset \Omega\), connecting \(x\) and \(y\). There are further discussions, including historical comments and related references.