On prime end distortion estimates of mappings with the Poletsky condition in domains with the Poincar´e inequality

Abstract

This article is devoted to the study of mappings with bounded andfinite distortion defined in some domain of the Euclidean space. Weconsider mappings that satisfy some upper estimates for thedistortion of the modulus of families of paths, where the order ofthe modulus equals to $p,$ $n-1<p\leqslant n.$ The main problemstudied in the manuscript is the investigation of the boundarybehavior of such mappings, more precisely, the distortion of thedistance under mappings near boundary points. The publication isprimarily devoted to definition domains with ``bad boundaries'', inwhich the mappings not even have a continuous extension to theboundary in the Euclidean sense. However, we introduce the conceptof a quasiconformal regular domain in which the specified continuousextension is valid and the corresponding distance distortionestimates are satisfied; however, both must be understood in thesense of the so-called prime ends. More precisely, such estimateshold in the case when the mapping acts from a quasiconformal regulardomain to an Ahlfors regular domain with the Poincar\'e inequality.The consideration of domains that are Ahlfors regular and satisfythe Poincar\'e inequality is due to the fact that, lower estimates forthe modulus of families of paths through the diameter of thecorresponding sets hold in these domains. (There are the so-calledLoewner-type estimates). We consider homeomorphisms and mappingswith branching separately. The main analytical condition under whichthe results of the paper were obtained is the finiteness of theintegral averages of some majorant involved in the defining modulusinequality under infinitesimal balls. This condition includes thesituation of quasiconformal and quasiregular mappings, because forthem the specified majorant is itself bounded in a definitiondomain. Also, the results of the article are valid for more generalclasses for which Poletsky-type upper moduli inequalities aresatisfied, for example, for mappings with finite length distortion.