On local behavior of \(Q\)-homeomorphisms based on the \(p\)-modulus (Q2879977)

The present article is devoted to the study of the local behaviour of mappings with finite and bounded distortion in \({\mathbb R}^n\), where \(n\geq 2\). By a result of K. Ikoma it is known that every \(K\)-quasiconformal mapping \(f:D\rightarrow {\mathbb R}^3\) satisfies a Hölder-type condition with constant \(\alpha=1/K\) at every point \(x_0\) of a domain \(D\subset {\mathbb R}^3\). In the present work, the authors obtain an analogue of this result for wide classes of mappings. More precisely, a homeomorphism \(f:D\rightarrow {\mathbb R}^n\) is called a \(Q\)-homeomorphism based on the \(p\)-modulus, if a modulus of each path family of order \(p\), \(p>1\), is distorted under the mapping \(f\) with some upper integral estimate depending on a given function \(Q:D\rightarrow [0, \infty]\). The main achievement of the considered paper consists in the following. Suppose that \(f:{\mathbb B}^n\rightarrow {\mathbb B}^n\) is a \(Q\)-homeomorphism based on the \(p\)-modulus, \(f(0)=0\), where \({\mathbb B}^n\) denotes the unit ball in \({\mathbb R}^n\) and \(p\in (1, n]\). Then \(f\) satisfies some generalized Hölder-type inequality, the right hand part of which is expressed through the integral average under the sphere centered at the origin and of the radius \(t\), \(t\in (0, 1)\). In particular, Ikoma's result stated above can be obtained from the result of the work by setting \(p=n\).