\(L^{s}(\mu)\)-averaging domains (Q1404895)

After introducing \(L^s(\mu)\)-averaging domains the authors obtain a similar characterization of these domains as in the special case \(\mu=m =n\)-dimensional Lebesgue measure which are given by \textit{S. G. Staples} [Ann. Acad. Sci. Fenn., Ser. A I 14, 103--127 (1989; Zbl 0706.26010)]. As an application of their results they prove norm inequalities for conjugate \(A\)-harmonic tensors which are generalizations of the following theorem being due to \textit{G. H. Hardy} and \textit{J. E. Littlewood} [J. Reine Angew. Math. 167, 405--423 (1932; Zbl 0003.20203)]. Theorem (G. H. Hardy and J. E. Littlewood). For each \(p>0\) there exists a constant \(C=C(p)\) such that \[ \iint_D\bigl|u(x,y)- u(0,0)\bigr|^p dx dy\leq C\iint_D\bigr|v(x,y)-v(0,0)\bigr |^p dx dy \] holds for all real functions \(u=u(x,y)\), \(v=v(x,y)\), where \(f=f(z)= f(x+iy)= u(x,y)+iv(x,y)\) is analytic in the unit disk \(D\). Furthermore, it should be noted that the consideration of \(L^s(\mu)\)-averaging domains allows the choice \(d\mu=J_fdm\), where \(J_f\) denotes the Jacobian determinant of a quasiconformal mapping \(f\) in \(\mathbb{R}^n\). This provides the results for quasiconformal mappings and quasiregular functions at the end of the paper.