On the application of one modulus inequality to the mapping theory

Abstract

The authors study mappings that satisfy some estimate of the distortion of the modulus of families of paths. Under certain conditions on the domains between which the mappings act, we established that, these mappings are Hölder logarithmic continuous at the boundary points. It is known that, the Hölder continuity is established for many classes of mappings, say quasiconformal and quasiregular mappings. In this regard, it is possible to point to the classical distortion estimates by Martio-Rickman-Väisälä type, as well as the estimates related to the modern classes of mappings with finite distortion. In particular, V.I. Ryazanov together with R.R. Salimov and E.O. Sevost'yanov established local distortion estimates for plane and spatial mappings under FMO condition, or under the Lehto-type integral condition. Recently, the second co-author have obtained Hölder logarithmic continuity for the studied class at points of the unit sphere. This article considers the situation of similar mappings of different domains, not only the unit sphere. Namely, we consider mappings between quasiextremal distance domains (QED-domains) and convex domains. Note that, quasiextremal distance domains introduced by Gehring and Martio are structures in which the modulus of families of paths is metrically related to the diameter of sets. Also, convex domains are involved in the formulation of the main result; we consider mappings that surjectively act onto them. In addition, the article contains the formulations and proofs for some other results on this topic. We consider several more cases in detail, in particular when: 1) the definition domain is a domain with a locally quasiconformal boundary, and the image domain is a bounded convex domain; 2) the definition domain is a regular domain in the sense of prime ends, and the image domain is a bounded convex domain; 3) the mapping acts between the QED-domain and the bounded convex domain and has a fixed point. In all three cases, the mapping is Hölder logarithmic continuous; moreover, in case 2), which refers to prime ends, logarithmic continuity should also be understood in terms of prime ends.