Theorem. Let f : Ĉ → Ĉ be a K-qc (K-quasiconformal) homeomorphism with f(∞) = ∞. If zj , j = 0, 1, 2, are three distinct points in C and z′ j = f(zj), then |z1 − z0| ≤ |z2 − z0| implies |z′ 1 − z′ 0| ≤ e |z′ 2 − z′ 0| . Our initial aim was to extend this theorem to K-qc homeomorphisms between Riemann surfaces. It was an immediate observation that Gehring’s theorem may be rewritten by means of Evans–Selberg potential or the Sario capacity function and we shall use the latter to cover both the parabolic and the hyperbolic cases. Indeed, the Sario capacity function of C with respect to z0 is pC(z, z0) = log |z−z0|. On the other hand, f may be interpreted by restriction as a K-qc homeomorphism f |C : C → C, so that if we denote pC(z, z0) by τ and pC(z, z′ 0) by τ ′, Gehring’s theorem takes the form:
Read full abstract