Whitney covers and quasi-isometry of \(L^s(\mu)\)-averaging domains (Q5953968)

Let \(\Omega\) be a proper subdomain of \(\mathbb{R}^n\), \(\mu\) a measure with \(d\mu(x)= w(x)dx\) and denote by \(u_B\) the \(\mu\)-average of a function \(u\) over a ball \(B\). The domain \(\Omega\) with \(\mu(\Omega)< \infty\) is an \(L^s(\mu)\)-averaging domain if there is a constant \(C\) such that \[ \Biggl({1\over \mu(\Omega)} \int_\Omega|u- u_{B_0}|^s\Biggr)^{1/s} d\mu\leq C\sup\Biggl({1\over \mu(B)} \int_B|u- u_B|^s d\mu\Biggr)^{1/s} \] for some ball \(B_0\) in \(\Omega\) and all \(u\in L^s_{\text{loc}}(\Omega,\mu)\). The supremum is taken over all balls \(B\) with \(2B\subset\Omega\). These domains were first studied by \textit{S. Staples} [Ann. Acad. Sci. Fenn., Ser. A I, Math. 14, No. 1, 103-127 (1989; Zbl 0706.26010)]. Here the authors continue their studies of averaging domains in the weighted case. They characterize averaging domains using Whitney cubes and prove the invariance of these domains under \(K\)-isometric and related mappings.