No label defined (Q3129267)

The authors give geometrical characterizations of bounded domains \(\Omega \subset R^{n}\), \(n\geq 2\) which support Sobolev-Poincaré imbeddings. The classical imbeddings depend on whether the exponent \(p\) satisfies \(p<n\), \(p=n\), or \(p>n\). In the case \(1\leq p<n\), they examine the Sobolev-Poincaré inequality: \[ \Biggl(\int_{\Omega}|u-u_{\Omega}|^{pn/(n-p)} dx \Biggr)^{(n-p)/pn}\leq C\Biggl(\int_{ \Omega} |\nabla u |^{p} dx\Biggr)^{1/p}, \] whenever \(u\) is smooth, \(u_{\Omega} = |\Omega|^{-1} \int_{\Omega}u dx\) and \(u\) is in the Sobolev space \(W^{1,p}(\Omega)\). For \(p=n\) the inequality of interest is the Trudinger inequality: \[ |u-u_{\Omega}|_{\Phi (L)(\Omega)} \leq C\Biggl(\int_{\Omega}|\nabla u|^{n}dx \Biggr)^{1/n}, \] where \(u\) is as above and \(\Phi (x) =\exp (x^{n/(n-1)}) -1\) and \(|\cdot|_{\Phi (L)(\Omega)}\) is the Orlicz norm, \(|f|_{\Phi (L)(\Omega)} = \inf \{ s>0 |\int _{\Omega}\Phi (|f(x)|/s)dx \leq 1\}.\) And when \(p>n\) they study the Hölder imbedding inequality \[ |u(x)-u(y)|\leq C |x-y|^{1- n/p} \Biggl(\int _{\Omega} |\nabla u|^{p} dx \Biggr)^{1/p}. \] Their main result fully characterizes each imbedding class of bounded domains in \(R^{n}\) which satisfy an additional geometric property called the \(C_{0}\)-slice property. Here we state the implications of their result in the planar case only. Theorem: Let \(1\leq p <\infty\) and let \(\Omega\) be a bounded simply connected planar domain. Then (i) If \(p<2\), \(\Omega \) supports the Sobolev-Poincaré inequality if and only if \(\Omega\) is a John domain. (ii) If \(p=2\), \(\Omega \) supports the Trudinger inequality if and only if \(\Omega \) is a weak carrot domain. (iii) If \(p>2\), \(\Omega\) supports the Hölder imbedding if and only if \(\Omega\) is a weak \(\alpha\)-cigar domain, \(\alpha = (p-2)/(p-1)\). Note that the weak carrot condition is usually called the quasihyperbolic condition. In the last section of their paper the authors look at an imbedding equivalent to the Hölder imbedding and study geometric characteristics of unbounded domains which support this imbedding.