On the Sobolev class \(W_{\text{loc}}^{1,p}\) and quasiregularity (Q5932622)

The theory of quasiregularity mappings (mappings with bounded distortion) is a natural generalization of complex analysis. The notion has been introduced by Reshetnyak and further developments are due to Martio, Rickman and others. The definition of quasiregular mappings is analytical and uses the concept of weak derivative. A natural problem is to find purely geometric conditions characterizing bounded distortion. One possibility consists in using dilatation; a classical result due to Martio, Rickman, and Väisälä says that a mapping is quasiregular if and only if it is continuous, discrete, open, sense preserving or sense reversing, and satisfies the dilatation inequality. In the article under review, the authors propose another criterion that rests on boundary integration and resembles Morera's theorem in complex analysis. In [\textit{S.~P.~Ponomarev}, Sib. Mat. Zh. 38, No. 1, 173-181 (1997) and \textit{S.~P.~Ponomarev}, Acta Univ. Caro., Math. Phys. 38, No. 2, 13-18 (1997)] such criteria were proven by the second author with integration over boundaries of intervals or cubes in \(\mathbb R^n\). In the article under review, the authors deal with more general ``differentiation bases''.