Criteria for optimal global integrability of Hajłasz-Sobolev functions (Q351826)

The author provides some necessary and sufficient geometric conditions for a domain \(\Omega\subset \mathbb R^n\) to support the HSP (Hajłasz-Poincaré-Sobolev) imbedding. The homogeneous Hajłasz space \(\dot{M}^{s,p}(\Omega)\) is the space of all measurable functions \(u\) for which there is a nonnegative function \(g\in L^p(\Omega)\) such that \(|u(x)-u(y)|\leq |x-y|^s (g(x)+g(y))\) for all \(x,y\in \Omega\), except possibly for some null set. A relaxed form of this condition, in which \(x,y\) are constrained by \(|x-y|<\frac12 \text{dist}(x,\partial \Omega)\), yields a potentially larger space \(\dot{M}^{s,p}_{\text{ball}}(\Omega)\), the Sobolev-type version of \(\dot{M}^{s,p}(\Omega)\).NEWLINENEWLINEGiven \(s\in \;]0,1]\) and \(p\in \;]n/(n+s),n/s[\,\), let \(q = pn/(n-ps)\). One says that \(\Omega\) supports the \((q,p)_s\)-HSP imbedding if the identity map from \(\dot{M}^{s,p}_{\text{ball}}(\Omega)\) to \(L^q(\Omega)\) is bounded on the subspace of functions with zero mean. The following Theorem 1.2 gives a geometric description of such domains.NEWLINENEWLINE(i) Every John domain in \(\mathbb R^n\) supports a \((q,p)_s\)-HSP imbedding for all \(s\in \;]0,1]\) and \(p\in \;]n/(n+s), n/s[\,\).NEWLINENEWLINE(ii) Assume that \(\Omega\) is a bounded domain with a certain separation property (see Definition 2.3). If \(\Omega\) supports a \((q,p)_s\)-HSP imbedding for some \(s\in \;]0,1]\) and \(p\in \;]n/(n+s), n/s[\,\), then \(\Omega\) is a John domain.