\(L^p\)-averaging domains in homogeneous spaces (Q820040)

Let \(X\) be a locally compact metric space equipped with a metric \(d\) and doubling measure \(\mu\). The measure \(\mu\) is doubling means that \(\mu(B(x,r)) \leq C_{\mu} \mu(B(x, r/2))\) where the constant \(C_{\mu}\) is independent of the center \(x\) and radius \(r\) of the metric ball \(B(x,r)\). The ball with the same center as \(B\) and with radius \(\tau\) times the radius of \(B\) will be denoted by \(\tau B\). In the paper under review \(X\) will always be a homogeneous space, in addition to the assumptions above. Let \(D\) be a domain (i.e. open and connected set) in \(X\). In this paper only those domains \(D\) with \(\mu(D) < \infty\) are under consideration. The mean of an integrable function \(u\) over \(D\) will be denoted by \(u_D\). Let \(p \geq 1\). A domain \(D\) is an \(L^p\)-averaging domain if for some \(\tau > 1\) we have \[ \left({1 \over \mu(D)} \int_D | u(x) - u_D| ^p d\mu\right)^{1/p} \leq C_{\text{ave}} \left( \sup_{\tau B \subset D} {1 \over \mu(B)} \int_B | u(x) - u_B| ^p d\mu \right)^{1 /p}, \] where the constant \(C_{\text{ave}}\) is independent of \(u\) and \(B\) is any ball in \(D\), such that \(\tau B \subset D\). For each domain \(D\) in \(X\) the quasihyperbolic metric in \(D\) is defined as follows. Given any pairs of points \(x\) and \(y\), \[ k_D (x,y) = \inf_{\gamma} \int_{\gamma} {dl \over d(x, \partial D)} , \] where the infimum is calculated over all rectifiable curves in \(D\) joining \(x\) and \(y\). One of the main results of this paper is that a domain \(D\) in \(X\) is an \(L^p\)-averaging domain if and only if the quasihyperbolic metric is \(L^p\) integrable over \(D\). The author also proves that if \(D\) satisfies a Boman chain condition, then \(D\) is an \(L^p\)-averaging domain. It follows immediately from this result that all John domains are averaging domains. In the last section of the paper additional topological conditions are put on \(X\). With these additional conditions the author shows that a Poincaré inequality holds on \(L^p\)-averaging domains \(D\) in \(X\).