Behavior of ring \(Q\)-homeomorphisms at infinity (Q2901752)

A version of the well-known Liuoville theorem is proved. Moreover, an analytic expression for the growth of a \(Q\)-homeomorphism in an unbounded domain is obtained. More precisely, a homeomorphism \(f:D\rightarrow {\mathbb R}^n\) is called a ring \(Q\)-homeomorphism at \(x_0\in D\subset {\mathbb R}^n\) if the conformal modulus of a family of paths connecting boundary points of an annulus centered at \(x_0\) is distorted by \(f\) with some upper integral estimate depending on a given function \(Q:D\rightarrow [0, \infty]\). Lemma 1 gives an upper estimate of the measure of \(f(B(x_0, r))\) for such a mapping \(f\), where \(B(x_0 ,r)\) is a ball centered at \(x_0\) with radius \(r\). The main result is the following. Suppose that \(f:{\mathbb R}^n\rightarrow {\mathbb R}^n\) is a ring \(Q\)-mapping at \(x_0\). Then NEWLINE\[NEWLINE\liminf\limits_{R\rightarrow\infty}L(x_0, f, R)\cdot\exp\left\{-\int\limits_{r_0}^R\frac{dt}{tq_{x_0}^{\frac{1}{n-1}}(t)}\right\}>0,NEWLINE\]NEWLINE where \(L(x_0, f, R)=\sup\limits_{| x-x_0| \leq R}| f(x)-f(x_0)| \), \(r_0\) is an arbitrary positive number and \(q_{x_0}(r)\) denotes the integral average of the function \(Q\) under the sphere centered at \(x_0\) of radius \(r\).