On equicontinuity of one family of space mappings with unbounded characteristic

In the present paper, some class of space mappings satisfying geometric estimates with respect to some outer measure, that is conformal modulus of families of curves, is studied. It is proved the equicontinuity of above classes in a closure of a domain provided that the majorant corresponding to a distortion of families of curves has a finite mean oscillation at every point, or satisfies some other conditions. Let ?? be a domain in R??, ?? ? 2, and ?? : ?? > R?? be a continuous mapping. Set R?? = R?? ? {?}, let ?? be the Lebesgue measure in R??, and ?? be the conformal modulus of families of curves. Given a domain ?? and two sets ?? and ?? in R??, ?? ? 2, ?(??, ??,??) denotes the family of all paths ?? : [??, ??] > R?? which join ?? and ?? in ??, i.e., ??(??) ? ??, ??(??) ? ?? and ??(??) ? ?? for ?? [0,?], a mapping ?? : ?? > R?? is called ring ??-mapping at a point ??0 ? ?? if ?? (??(?(??1, ??2,??(??0, ??1, ??2)))) ? ?? ??(??0,??1,??2) ??(??) · ????(|?? ? ??0|) ????(??) (1) for 0 [0,?] such that ??2 ????1 ??(??)???? ? 1. By analogy, given a Lebesgue measurable function ?? : R?? > [0,?], ??(??) ? 0 for every ?? ?? ??, we say that a mapping ?? : ?? > R?? is a ring ??-mapping at ??0 ? ??, ??0 ?= ?, if for every ??0 = ??(??0) and ?? = ??(??1, ??2, ??0) the relation (1) holds for every continua ??1 ? ??(??0, ??1) ??? and ??2 ? (?R?? ? ??(??0, ??2))????. Note that analytic functions (?? = 2) are ring ??-mappings with ?? ? 1, ant that the so-called mappings with bounded distortion are ring ??-mappings with ?? ? ?? = ??????????. We say that a function ?? : ?? > R has finite mean oscillation at a point ??0 ? ?? if lim sup ??>0 1 ???·???? ?? ??(??0, ??) |??(??)???????|????(??) 0 such that ??(?(??, ??,??)) ? ?? for every continua ?? in ??, ?? ? ???? ?= ? ?= ?? ? ????. It is known that, in particular, all convex bounded domains have strongly accessible boundaries. Given domains ??, ??? ? R??, ??1, ??2 ? ??, ??1 ?= ??2, ???1, ???2 ? ??? and Lebesgue measurable function ??(??) : R?? > [0,?] obeying ??(??) ? 0 for ?? ?? ??, denote R??1,??2,?? ? 1,?? ? 2,??(??,???) a family of all ring ??-homeomorphisms ?? : ?? > ??? satisfying to (1) in ??, ??(??) = ???, such that ??(??1) = ???1, ??(??2) = ???2. Given a Lebesgue measurable function ??: R?? > [0,?] and ??0 ? R??, ????0(??) is integral mean value of ?? under sphere ??(??0, ??). Denote ??* ?? 0(??) a mean integral value of ??*(??) = {???(??), ??(??) ? 1, 1, ??(??) 0; 3) for some ??(??0) > 0, ??(??0) ??0 ???? ????* ?? 0 1/(???1)(??) = ?. Then every ?? ? R??1,??2,?? ? 1,?? ? 2,??(??,???) has a continuous extension ?? : ?? > ???, moreover, a family R??1,??2,?? ? 1,?? ? 2,??(??,???) which consists of all extended mappings mentioned above, is equicontinuous (normal) in ??.