## ON BOUNDARY BEHAVIOR OF SPATIAL MAPPINGS

## DENIS KOVTONYUK AND VLADIMIR RYAZANOV

August 5, 2014

## Abstract

We show that homeomorphisms f in R n , n /greaterorequalslant 3 , of finite distortion in the OrliczSobolev classes W 1 ,ϕ loc with a condition on ϕ of the Calderon type and, in particular, in the Sobolev classes W 1 ,p loc for p &gt; n -1 are the so-called lower Q -homeomorphisms, Q x ( ) = K 1 n -1 I ( x, f ) , where K x,f I ( ) is its inner dilatation. The statement is valid also for all finitely bi-Lipschitz mappings that a far-reaching extension of the well-known classes of isometric and quasiisometric mappings. This makes possible to apply our theory of the boundary behavior of the lower Q -homeomorphisms to all given classes.

2010 Mathematics Subject Classification: Primary 30C85, 30D40, 31A15, 31A20, 31A25, 31B25. Secondary 37E30.

## 1 Introduction

The problem of the boundary behavior is one of the central topics of the theory of quasiconformal mappings and their generalizations. At present mappings with finite distortion are studied, see many references in the monographs [12] and [30]. In this case, as it was earlier, the main geometric approach in the modern mapping theory is the method of moduli, see, e.g., the monographs [12], [30], [35], [43], [52], [53] and [55].

It is well-known that the concept of moduli with weights essentially due to Andreian Cazacu, see, e.g., [1]-[3], see also recent works [6]-[8] of her learner. At the present paper we give new modulus estimates for space mappings that essentially improve the corresponding estimates first obtained in the paper [23].

Here we apply our theory of the so-called lower Q -homeomorphisms first introduced in the paper [20], see also the monograph [30], that was motivated by the ring definition of quasiconformal mappings of Gehring, see [10]. The theory of lower Q -homeomorphisms has already found interesting applications to the theory of the Beltrami equations in the plane and to the theory of mappings of the classes of Sobolev and Orlich-Sobolev in the space, see, e.g., [17], [18], [23], [24], [25], [30] and [45].

Following Orlicz, see, e.g., paper [36], see also monograph [58], given a convex increasing function ϕ : R + → R + , ϕ (0) = 0 , denote by L ϕ the space of all functions f : D → R such that

$$\int _ { D } \varphi \left ( \frac { | f ( x ) | } { \lambda } \right ) \, d m ( x ) \, < \, \infty$$

for some λ &gt; 0 where dm x ( ) corresponds to the Lebesgue measure in D . L ϕ is called the Orlicz space . In other words, L ϕ is the cone over the class of all functions g : D → R such that

$$\int _ { D } \varphi \left ( | g ( x ) | \right ) \, d m ( x ) \ < \ \infty$$

which is also called the Orlicz class , see [4].

The Orlicz-Sobolev class W 1 ,ϕ ( D ) is the class of all functions f ∈ L 1 ( D ) with the first distributional derivatives whose gradient ∇ f belongs to the Orlicz class in D f . ∈ W 1 ,ϕ loc ( D ) if f ∈ W 1 ,ϕ ( D ∗ ) for every domain D ∗ with a compact closure in D . Note that by definition W 1 ,ϕ loc ⊆ W 1 1 , loc . As usual, we write f ∈ W 1 ,p loc if ϕ t ( ) = t p , p /greaterorequalslant 1 . Later on, we also write f ∈ W 1 ,ϕ loc for a locally integrable vector-function f = ( f , . . . , f 1 m ) of n real variables x , . . . , x 1 n if f i ∈ W 1 1 , loc and

$$\int _ { D } \varphi \left ( | \nabla f ( x ) | \right ) \, d m ( x ) \, < \, \infty$$

where |∇ f ( x ) | = √ ∑ ( i,j ∂f i ∂x j ) 2 . Note that in this paper we use the notation W 1 ,ϕ loc for more general functions ϕ than in those classic Orlicz classes often giving up

the conditions on convexity and normalization of ϕ . Note also that the OrliczSobolev classes are intensively studied in various aspects at the moment, see, e.g., [24] and references therein.

In this connection, recall definitions which are relative to Sobolev's classes. Given an open set U in R n , n ≥ 2 , C ∞ 0 ( U ) denotes the collection of all functions ψ : U → R with compact support having continuous partial derivatives of any order. Now, let u and v : U → R be locally integrable functions. The function v is called the distributional (generalized) derivative u x i of u in the variable x i , i = 1 2 , , . . . , n , x = ( x , x , . . . , x 1 2 n ) , if

$$\int u \, \psi _ { x _ { i } } \, d m ( x ) = - \int v \, \psi \, d m ( x ) \quad \forall \, \psi \in C _ { 0 } ^ { \infty } ( U ) \.$$

u ∈ W 1 1 , loc if u x i exist for all i = 1 2 , , . . . , n . These concepts were introduced by Sobolev in R n , n /greaterorequalslant 2 , see [51], and at present it is developed under wider settings by many authors, see, e.g., [42] and further references in [24].

Recall also the following topological notion. A domain D ⊂ R n , n /greaterorequalslant 2 , is said to be locally connected at a point x 0 ∈ ∂D if, for every neighborhood U of the point x 0 , there is a neighborhood V ⊆ U of x 0 such that V ∩ D is connected. Note that every Jordan domain D in R n is locally connected at each point of ∂D , see, e.g., [57], p. 66.

Following [19] and [20], see also [30] and [44], we say that ∂D is weakly flat at a point x 0 ∈ ∂D if, for every neighborhood U of the point x 0 and every number P &gt; 0 , there is a neighborhood V ⊂ U of x 0 such that

$$M ( \Delta ( E, F, D ) ) \, \geqslant P$$

for all continua E and F in D intersecting ∂U and ∂V . Here M is the modulus, see (3.5), and ∆( E,F,D ) the family of all paths γ : [ a, b ] → R n connecting E and F in D , i.e., γ a ( ) ∈ E γ b , ( ) ∈ F and γ t ( ) ∈ D for all t ∈ ( a, b ) . We say that the boundary ∂D is weakly flat if it is weakly flat at every point in ∂D .

We also say that a point x 0 ∈ ∂D is strongly accessible if, for every neighborhood U of the point x 0 , there exist a compactum E in D , a neighborhood V ⊂ U of x 0 and a number δ &gt; 0 such that

$$M ( \Delta ( E, F, D ) ) \ \geqslant \ \delta$$

for all continua F in D intersecting ∂U and ∂V . We say that the boundary ∂D is strongly accessible if every point x 0 ∈ ∂D is strongly accessible.

It is easy to see that if a domain D in R n is weakly flat at a point x 0 ∈ ∂D , then the point x 0 is strongly accessible from D . Moreover, it was proved by us that if a domain D in R n is weakly flat at a point x 0 ∈ ∂D , then D is locally connected at x 0 , see, e.g., Lemma 5.1 in [20] or Lemma 3.15 in [30].

The notions of strong accessibility and weak flatness at boundary points of a domain in R n defined in [19], see also [20], are localizations and generalizations of the corresponding notions introduced in [28]-[29], cf. with properties P 1 and P 2 by V¨ ais¨l¨ a a in [53] and also with the quasiconformal accessibility and the quasiconformal flatness by N¨kki in [34]. a Many theorems on a homeomorphic extension to the boundary of quasiconformal mappings and their generalizations are valid under the condition of weak flatness of boundaries. The condition of strong accessibility plays a similar role for a continuous extension of the mappings to the boundary.

In the mapping theory and in the theory of differential equations, it is often applied the so-called Lipschitz domains whose boundaries are locally quasiconformal. Recall first that a map ϕ : X → Y between metric spaces X and Y is said to be Lipschitz provided dist( ϕ x ( 1 ) , ϕ ( x 2 )) /lessorequalslant M · dist( x , x 1 2 ) for some M &lt; ∞ and for all x 1 and x 2 ∈ X . The map ϕ is called bi-Lipschitz if, in addition, M ∗ dist( x , x 1 2 ) /lessorequalslant dist( ϕ x ( 1 ) , ϕ ( x 2 )) for some M &gt; ∗ 0 and for all x 1 and x 2 ∈ X. Later on, X and Y are subsets of R n with the Euclidean distance.

It is said that a bounded domain D in R n is Lipschitz if every point x 0 ∈ ∂D has a neighborhood U that can be mapped by a bi-Lipschitz homeomorphism ϕ onto the unit ball B n ⊂ R n in such a way that ϕ ∂D ( ∩ U ) is the intersection of B n with the a coordinate hyperplane and f ( x 0 ) = 0 , see, e.g., [35]. Note that a bi-Lipschitz homeomorphism is quasiconformal and the modulus is a quasiinvariant under such mappings. Hence the Lipschitz domains have weakly flat boundaries. In particular, smooth and convex bounded domains are so.

## 2 On BMO, VMO and FMO functions

The BMO space was introduced by John and Nirenberg in [16] and soon became one of the main concepts in harmonic analysis, complex analysis, partial differential equations and related areas, see, e.g., [13] and [40].

Let D be a domain in R n , n /greaterorequalslant 1 . Recall that a real valued function ϕ ∈ L 1 loc ( D ) is said to be of bounded mean oscillation in D , abbr. ϕ ∈ BMO( D ) or simply ϕ ∈ BMO , if

$$\| \varphi \| _ { * } = \sup _ { B \subset D } \quad \int _ { B } | \varphi ( z ) - \varphi _ { B } | \, d m ( z ) < \infty$$

where the supremum is taken over all balls B in D and

$$\varphi _ { B } = \underset { B } { \int } \varphi ( z ) \, d m ( z ) = \frac { 1 } { | B | } \underset { B } { \int } \varphi ( z ) \, d m ( z )$$

is the mean value of the function ϕ over B . Note that L ∞ ( D ) ⊂ BMO( D ) ⊂ L p loc ( D ) for all 1 /lessorequalslant p &lt; ∞ , see, e.g., [40].

A function ϕ in BMO is said to have vanishing mean oscillation , abbr. ϕ ∈ VMO , if the supremum in (2.1) taken over all balls B in D with | B &lt; ε | converges to 0 as ε → 0 . VMO has been introduced by Sarason in [50]. There are a number of papers devoted to the study of partial differential equations with coefficients of the class VMO, see, e.g., [5], [15], [31], [37] and [39].

Following [14], we say that a function ϕ : D → R has finite mean oscillation at a point z 0 ∈ D , write ϕ ∈ FMO( x 0 ) , if

$$\varliminf _ { \varepsilon \to 0 } \ \int _ { B ( z _ { 0 }, \varepsilon ) } | \varphi ( z ) - \tilde { \varphi } _ { \varepsilon } ( z _ { 0 } ) | \, d m ( z ) < \infty$$

where is the mean value of the function ϕ z ( ) over the ball B z , ε ( 0 ) . Condition (2.3) includes the assumption that ϕ is integrable in some neighborhood of the point z 0 . By the triangle inequality, we obtain the following statement.

$$\tilde { \varphi } _ { \varepsilon } ( z _ { 0 } ) = & \int _ { B ( z _ { 0 }, \varepsilon ) } \varphi ( z ) \, d m ( z ) \\ \intertext { two of the function } \tilde { \Lambda } \, \text{or the ball } R ( \tilde { \Lambda } \, \varepsilon \, \rangle \, \text{Condition } R \, \rangle$$

Proposition 2.1. If for some collection of numbers ϕ ε ∈ R , ε ∈ (0 , ε 0 ] ,

$$\varliminf _ { \varepsilon \to 0 } \, \int _ { B ( z _ { 0 }, \varepsilon ) } | \varphi ( z ) - \varphi _ { \varepsilon } | \, d m ( z ) < \infty \,, \\ \text{of finite mean as stillation at $z$} _ { \varepsilon$}$$

then ϕ is of finite mean oscillation at z 0 .

Choosing in Proposition 2.1 ϕ ε ≡ 0 , ε ∈ (0 , ε 0 ] , we have the following.

Corollary 2.1. If for a point z 0 ∈ D

$$\dot { \Phi } _ { \substack { \varepsilon \to 0 \\ \lim _ { \varepsilon \to 0 } } } \int _ { B ( z _ { 0 }, \varepsilon ) } ^ { \Phi } | \varphi ( z ) | \, d m ( z ) < \infty \,, \\ \intertext { i t e m e a n \ o s c i l l a t i o n \ a t \ z _ { \Lambda } }$$

then ϕ has finite mean oscillation at z 0 .

Recall that a point z 0 ∈ D is called a Lebesgue point of a function ϕ : D → R if ϕ is integrable in a neighborhood of z 0 and

$$\bar { \lim } _ { \varepsilon \to 0 } \, & \, \bar { \int } _ { B ( z _ { 0 }, \varepsilon ) } | \varphi ( z ) - \varphi ( z _ { 0 } ) | \, d m ( z ) = 0 \,. \\ m \, \text{ that almost every point in } D \text{ is a Elecose point for every function}$$

It is known that almost every point in D is a Lebesgue point for every function ϕ ∈ L 1 ( D ) . Thus, we have the following conclusion.

Corollary 2.2. Every function ϕ : D → R which is locally integrable, has a finite mean oscillation at almost every point in D .

Remark 2.1. Note that the function ϕ z ( ) = log(1 / z | | ) belongs to BMO in the unit disk ∆ , see, e.g., [40], p. 5, and hence also to FMO. However, ˜ (0) ϕ ε → ∞ as ε → 0 , showing that the condition (2.6) is only sufficient but not necessary for a function ϕ to be of finite mean oscillation at z 0 .

Clearly that BMO ⊂ FMO ⊂ L 1 loc but FMO is not a subset of L p loc for any p &gt; 1 , see examples in Section 11.2 of the monograph [30], in comparison with BMO loc ⊂ L p loc for all p ∈ [1 , ∞ ) . Thus, FMO is essentially wider than BMO loc . The following lemma is key, see Corollary 2.3 in [14] and Corollary 6.3 in [30].

Lemma 2.1. Let D be a domain in R n , n /greaterorequalslant 2 , x 0 ∈ D , and let ϕ : D → R be a non-negative function of the class FMO( x 0 ) . Then

$$\dots \cdots \cdots \cdots _ { \mathcal { S } } \dots \cdots \cdots _ { \mathcal { S } } \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ \int _ { \varepsilon < | x - x _ { 0 } | < \varepsilon _ { 0 } } } \frac { \varphi ( x ) \, d m ( x ) } { \left ( | x - x _ { 0 } | \log \frac { 1 } { | x - x _ { 0 } | } \right ) ^ { n } } = O \left ( \log \log \frac { 1 } { \varepsilon } \right ) \quad a s \quad \varepsilon \to 0 \quad \quad ( 2. 8 ) \\ \text{for some } \varepsilon _ { 0 } \in ( 0, \delta _ { 0 } ) \text{ where } \delta _ { 0 } = \min ( e ^ { - e }, d _ { 0 } ), \, d _ { 0 } = \sup _ { \sim \sim 0 } | x - x _ { 0 } |.$$

for some ε 0 ∈ (0 , δ 0 ) where δ 0 = min( e -e , d 0 ) , d 0 = sup x ∈ D | x -x 0 | .

## 3 On lower Q -homeomorphisms

Let ω be an open set in R k , k = 1 , . . . , n -1 . Recall that a (continuous) mapping S : ω → R n is called a k -dimensional surface S in R n . The number of preimages

$$N ( S, y ) = \text{card} \, S ^ { - 1 } ( y ) = \text{card} \, \{ x \in \omega \, \colon S ( x ) = y \}, \ y \in \mathbb { R } ^ { n } \quad \ \ ( 3. 1 )$$

is said to be a multiplicity function of the surface S . It is known that the multiplicity function is lower semicontinuous, i.e.,

$$N ( S, y ) \geqslant \liminf _ { m \to \infty } \, N ( S, y _ { m } )$$

for every sequence y m ∈ R n , m = 1 2 , , . . . , such that y m → y ∈ R n as m →∞ , see, e.g., [38], p. 160. Thus, the function N S,y ( ) is Borel measurable and hence measurable with respect to every Hausdorff measure H k , see, e.g., [49], p. 52.

Recall that a k -dimensional Hausdorff area in R n (or simply area ) associated with a surface S : ω → R n is given by

$$\mathcal { A } _ { S } ( B ) = \mathcal { A } _ { S } ^ { k } ( B ) \coloneqq \int _ { B } N ( S, y ) \, d H ^ { k } y$$

for every Borel set B ⊆ R n and, more generally, for an arbitrary set that is measurable with respect to H k in R n , cf. 3.2.1 in [9] and 9.2 in [30].

If /rho1 : R n → R + is a Borel function, then its integral over S is defined by the equality

$$\int _ { \substack { \varrho \, d \mathcal { A } \\ S } } \varrho \, d \mathcal { A } \coloneqq \int _ { \mathbb { R } ^ { n } } \varrho ( y ) \, N ( S, y ) \, d H ^ { k } y \,. \quad \quad \quad$$

Given a family Γ of k -dimensional surfaces S , a Borel function /rho1 : R n → [0 , ∞ ] is called admissible for Γ , abbr. /rho1 ∈ admΓ , if

$$\int _ { S } \varrho ^ { k } \, d \mathcal { A } \geqslant 1$$

for every S ∈ Γ . The modulus of Γ is the quantity

$$M ( \Gamma ) = \inf _ { \varrho \in \text{adm} \, \Gamma } \int _ { \mathbb { R } ^ { n } } \varrho ^ { n } ( x ) \, d m ( x ) \,.$$

We also say that a Lebesgue measurable function /rho1 : R n → [0 , ∞ ] is extensively admissible for a family Γ of k -dimensional surfaces S in R n , abbr. /rho1 ∈ ext adm Γ , if a subfamily of all surfaces S in Γ , for which (3.4) fails, has the modulus zero.

Given domains D and D ′ in R n = R n ∪ {∞} , n /greaterorequalslant 2 , x 0 ∈ D \ {∞} , and a measurable function Q : R n → (0 , ∞ ) , we say that a homeomorphism f : D → D ′ is a lower Q -homeomorphism at the point x 0 if

$$M ( f \Sigma _ { \varepsilon } ) \geq \inf _ { \varrho \in \text{ext} \, \text{adm} \, \Sigma _ { \varepsilon } } \int _ { D \cap R _ { \varepsilon } } \, \frac { \varrho ^ { n } ( x ) } { Q ( x ) } \, d m ( x ) \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \end{cases}$$

for every ring R ε = { x ∈ R n : ε &lt; | x -x 0 | &lt; ε 0 } , ε ∈ (0 , ε 0 ) , ε 0 ∈ (0 , d 0 ) , where d 0 = sup x ∈ D | x -x 0 | , and Σ ε denotes the family of all intersections of the spheres S x , r ( 0 ) = { x ∈ R n : | x -x 0 | = r } , r ∈ ( ε, ε 0 ) , with D .

The notion of lower Q -homeomorphisms in the standard way can be extended to ∞ through inversions. We also say that a homeomorphism f : D → R n is a lower Q -homeomorphism on ∂D if f is a lower Q -homeomorphism at every point x 0 ∈ ∂D .

We proved the following significant statements on lower Q -homeomorphisms, see Theorem 10.1 (Lemma 6.1) in [20] or Theorem 9.8 (Lemma 9.4) in [30].

Proposition 3.1. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 2 , Q : D → (0 , ∞ ) a measurable function and f : D → D ′ a lower Q -homeomorphism on ∂D . Suppose that the domain D is locally connected on ∂D and that the domain D ′ has a (strongly accessible) weakly flat boundary. If

$$\int _ { 0 } ^ { \delta ( x _ { 0 } ) } \frac { d r } { | | \, Q | | _ { n - 1 } ( x _ { 0 }, r ) } \ = \ \infty \quad \ \forall \ x _ { 0 } \in \partial D \quad \ \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \ \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdclots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \ \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \ \cdots\quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots\quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \ \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots
 \quad \quad \quad$$

for some δ x ( 0 ) ∈ (0 , d ( x 0 )) where d x ( 0 ) = sup x ∈ D | x -x 0 | and

$$| | Q | | _ { n - 1 } ( x _ { 0 }, r ) = \left ( \int _ { D \cap S ( x _ { 0 }, r ) } Q ^ { n - 1 } ( x ) \, d \mathcal { A } \right ) ^ { \frac { 1 } { n - 1 } } \,, \\ \intertext { a n b e x t e n d e t o a ( c o n t i n u o u s ) \ h o m e o m o r p h i c \ m a p p i n g } \overline { f } \, \colon \overline { I }$$

then f can be extended to a (continuous) homeomorphic mapping f : D → D ′ .

## 4 A connection with the Orlicz-Sobolev classes

Given a mapping f : D → R n with partial derivatives a.e., recall that f ′ ( x ) denotes the Jacobian matrix of f at x ∈ D if it exists, J x ( ) = J x, f ( ) = det f ′ ( x ) is the Jacobian of f at x , and ‖ f ′ ( x ) ‖ is the operator norm of f ′ ( x ) , i.e.,

$$\| f ^ { \prime } ( x ) \| = \max \{ | f ^ { \prime } ( x ) h | \, \colon h \in \mathbb { R } ^ { n }, | h | = 1 \}.$$

We also let

$$l ( f ^ { \prime } ( x ) ) = \min \{ | f ^ { \prime } ( x ) h | \, \colon h \in \mathbb { R } ^ { n }, | h | = 1 \}.$$

The outer dilatation of f at x is defined by

/negationslash the inner dilatation of f at x by

$$K _ { O } ( x ) = K _ { O } ( x, f ) = \begin{cases} \begin{array} { c c } \| f ^ { \prime } ( x ) \| ^ { n } \\ \| J ( x, f ) | \end{array} & \text{if $J(x,f)\neq 0$,} \\ 1 & \text{if $f^{\prime}(x)=0$,} \\ \infty & \text{otherwise,} \end{cases} \\ \text{inner dilation of $f$ at $x$ by} \\ & \left ( \begin{array} { c c } \frac { | J ( x, f ) | } { \infty, f ) | } & \text{if $J(x-f)\neq 0$} \end{array} \end{cases}$$

/negationslash

 Note that, see, e.g., Section 1.2.1 in [41],

$$K _ { I } ( x ) = K _ { I } ( x, f ) = \begin{cases} \frac { | J ( x, f ) | } { l ( f ^ { \prime } ( x ) ) ^ { n } } & \text{if } J ( x, f ) \neq 0, \\ 1 & \text{if } f ^ { \prime } ( x ) = 0, \\ \infty & \text{otherwise}, \end{cases} \\ \text{e that, see, e.g., Section 1.2.1 in [41], \quad \begin{matrix} 4. 4 \\ - \tilde { \nu } \ \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \ \sim \, \end{matrix}$$

$$K _ { O } ( x, f ) \leq K _ { I } ^ { n - 1 } ( x, f ) \quad \text{ and } \quad K _ { I } ( x, f ) \leq K _ { O } ^ { n - 1 } ( x, f ) \, \quad \text{ (4.5)}$$

in particular, K O ( x, f ) &lt; ∞ a.e. if and only if K x,f I ( ) &lt; ∞ a.e. The latter is equivalent to the condition that a.e. either det f ′ ( x ) &gt; 0 or f ′ ( x ) = 0 .

Now, recall that a homeomorphism f between domains D and D ′ in R n , n /greaterorequalslant 2 , is called of finite distortion if f ∈ W 1 1 , loc and

$$\| f ^ { \prime } ( x ) \| ^ { n } \leqslant K ( x ) \cdot J _ { f } ( x )$$

with some a.e. finite function K . The term is due to Tadeusz Iwaniec. In other words, (4.6) just means that dilatations K O ( x, f ) and K x,f I ( ) are finite a.e.

In view of (4.5), the next statement says on a stronger modulus estimate than the obtained in [23], Theorem 4.1, in terms of the outer dilatation K O ( x, f ) . It is key for deriving consequences from our theory of lower Q -homeomorphisms.

Theorem 4.1. Let D and D ′ be domains in R n , n /greaterorequalslant 3 , and let ϕ : R + → R + be a nondecreasing function such that, for some t ∗ ∈ R + ,

$$\underset { t _ { * } } { \overset { \infty } { \int } } \left [ \frac { t } { \varphi ( t ) } \right ] ^ { \frac { 1 } { n - 2 } } d t < \infty \,.$$

Then each homeomorphism f : D → D ′ of finite distortion in the class W 1 ,ϕ loc is a lower Q -homeomorphism at every point x 0 ∈ D with Q x ( ) = [ K x,f I ( )] 1 n -1 .

/negationslash

Proof. Let B be a (Borel) set of all points x ∈ D where f has a total differential f ′ ( x ) and J f ( x ) = 0 . Then, applying Kirszbraun's theorem and uniqueness of approximate differential, see, e.g., 2.10.43 and 3.1.2 in [9], we see that B is the union of a countable collection of Borel sets B l , l = 1 2 , , . . . , such that f l = f | B l are bi-Lipschitz homeomorphisms, see, e.g., 3.2.2 as well as 3.1.4 and 3.1.8 in [9]. With no loss of generality, we may assume that the B l are mutually disjoint. Denote also by B ∗ the rest of all points x ∈ D where f has the total differential but with f ′ ( x ) = 0 .

By the construction the set B 0 := D \ ( B ⋃ B ∗ ) has Lebesgue measure zero, see Theorem 1 in [24]. Hence A S ( B 0 ) = 0 for a.e. hypersurface S in R n and, in particular, for a.e. sphere S r := S x , r ( 0 ) centered at a prescribed point x 0 ∈ D , see Theorem 2.11 in [21] or Theorem 9.1 in [30]. Thus, by Corollary 4 in [24] A S ∗ r ( f ( B 0 )) = 0 as well as A S ∗ r ( f ( B ∗ )) = 0 for a.e. S r where S ∗ r = f ( S r ) .

Let Γ be the family of all intersections of the spheres S r , r ∈ ( ε, ε 0 ) , ε 0 &lt; d 0 = sup x ∈ D | x -x 0 | , with the domain D . Given /rho1 ∗ ∈ adm f (Γ) such that /rho1 ∗ ≡ 0 outside of f ( D ) , set /rho1 ≡ 0 outside of D and on D \ B and, moreover,

$$\varrho ( x ) \coloneqq \Lambda ( x ) \cdot \varrho _ { * } ( f ( x ) ) \quad \text{ for } x \in B$$

where

$$\text{where} \quad & \Lambda ( x ) \ \coloneqq \ \left [ \ J _ { f } ( x ) \cdot K _ { I } ^ { \frac { 1 } { n - 1 } } ( x, f ) \ \right ] ^ { \frac { 1 } { n } } \ = \ \left [ \ \frac { \det f ^ { \prime } ( x ) } { l ( f ^ { \prime } ( x ) ) } \ \right ] ^ { \frac { 1 } { n - 1 } } \ = \\ & \ = \ [ \ \lambda _ { 2 } \cdot \dots \cdot \lambda _ { n } \ ] ^ { \frac { 1 } { n - 1 } } \ \geq \ [ \ J _ { n - 1 } ( x ) \ ] ^ { \frac { 1 } { n - 1 } } \quad \text{ for a.e. } x \in B \ ;$$

here as usual λ n /greaterorequalslant . . . /greaterorequalslant λ 1 are principal dilatation coefficients of f ′ ( x ) , see, e.g., Section I.4.1 in [41], and J n -1 ( x ) is the ( n -1) -dimensional Jacobian of f | S r at x where r = | x -x 0 | , see Section 3.2.1 in [9].

Arguing piecewise on B l , l = 1 2 , , . . . , and taking into account Kirszbraun's theorem, by Theorem 3.2.5 on the change of variables in [9], we have that

$$\underset { S _ { r } } { \int } \varrho ^ { n - 1 } \, d \mathcal { A } \geqslant \underset { S _ { * } ^ { r } } { \overset { \lambda } { \int } } \varrho ^ { n - 1 } _ { * } \, d \mathcal { A } \geqslant 1$$

for a.e. S r and, thus, /rho1 ∈ ext adm Γ .

The change of variables on each B l , l = 1 2 , , . . . , see again Theorem 3.2.5 in [9], and countable additivity of integrals give also the estimate

$$\underset { D } { \omega } \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \incolon \\ \underset { D } { \int } \, \frac { \varrho ^ { n } ( x ) } { K _ { I } ^ { \frac { 1 } { n - 1 } } ( x ) } \, d m ( x ) \leqslant \underset { f ( D ) } { \int } \, \varrho _ { * } ^ { n } ( x ) \, d m ( x ) \, \\ \text{if is complete. } \, \square$$

and the proof is complete.

Corollary 4.1. Each homeomorphism f with finite distortion in R n , n /greaterorequalslant 3 , of the class W 1 ,p loc for p &gt; n -1 is a lower Q -homeomorphism at every point x 0 ∈ D with Q = K 1 n -1 I .

## 5 Boundary behavior of Orlicz-Sobolev classes

In this section we assume that ϕ : R + → R + is a nondecreasing function such that, for some t ∗ ∈ R + ,

$$\mathbb { R } ^ { T }, \quad & \underset { t _ { * } } { \overset { \infty } { \int } } \left [ \frac { t } { \varphi ( t ) } \right ] ^ { \frac { 1 } { n - 2 } } d t < \infty \,.$$

The continuous extension to the boundary of the inverse mappings has a simpler criterion than for the direct mappings. Hence we start from the former. Namely, in view of Theorem 4.1, we have by Theorem 9.1 in [20] or Theorem 9.6 in [30] the next statement.

Theorem 5.1. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 3 , D be locally connected on ∂D and ∂D ′ be weakly flat. Suppose that f is a homeomorphism of D onto D ′ in a class W 1 ,ϕ loc with condition (5.1) and K I ∈ L 1 ( D ) . Then f -1 can be extended to a continuous mapping of D ′ onto D .

However, as it follows from the example in Proposition 6.3 in [30], see also (4.5), any degree of integrability K I ∈ L q ( D ) , q ∈ [1 , ∞ ) , cannot guarantee the extension by continuity to the boundary of the direct mappings.

Also by Theorem 4.1, we have the following consequence of Proposition 3.1.

Theorem 5.2. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 3 , D be locally connected on ∂D and ∂D ′ be (strongly accessible) weakly flat. Suppose that f : D → D ′ is a homeomorphism of finite distortion in W 1 ,ϕ loc with condition (5.1) such that

$$\int \frac { \delta ( x _ { 0 } ) } { | | K _ { I } | | ^ { \frac { 1 } { n - 1 } } ( x _ { 0 }, r ) } = \infty \quad \forall \ x _ { 0 } \in \partial D$$

for some δ x ( 0 ) ∈ (0 , d ( x 0 )) where d x ( 0 ) = sup x ∈ D | x -x 0 | and

$$| | K _ { I } | | ( x _ { 0 }, r ) = \underset { D \cap S ( x _ { 0 }, r ) } { \int } \, K _ { I } ( x, f ) \ d \mathcal { A } \.$$

Then f can be extended to a (continuous) homeomorphic map f : D → D ′ .

In particular, as a consequence of Theorem 5.2, we obtain the following generalization of the well-known theorems of Gehring-Martio and MartioVuorinen on a homeomorphic extension to the boundary of quasiconformal mappings between the so-called QED domains, see [11] and [32].

Corollary 5.1. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 3 , D be locally connected on ∂D and ∂D ′ be (strongly accessible) weakly flat. Suppose that f : D → D ′ is a homeomorphism of finite distortion in the class W 1 ,p loc , p &gt; n -1 . If (5.2) holds, then f can be extended to a (continuous) homeomorphic map f : D → D ′ .

Lemma 5.1. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 3 , D be locally connected on ∂D and ∂D ′ be (strongly accessible) weakly flat. Suppose that f : D → D ′ is a homeomorphism of finite distortion in W 1 ,ϕ loc with condition (5.1) such that

$$\int _ { D ( x _ { 0 }, \varepsilon, \varepsilon _ { 0 } ) } K _ { I } ( x, f ) \cdot \psi _ { x _ { 0 }, \varepsilon } ^ { n } ( | x - x _ { 0 } | ) \, d m ( x ) = o ( I _ { x _ { 0 } } ^ { n } ( \varepsilon ) ) \text{ as } \varepsilon \rightarrow 0 \, \forall \, x _ { 0 } \in \partial D \text{ (5.3)}$$

where D x , ε, ε ( 0 0 ) = { x ∈ D : ε &lt; | x -x 0 | &lt; ε 0 } for some ε 0 ∈ (0 , δ 0 ) , δ 0 = δ x ( 0 ) = sup x ∈ D | x -x 0 | , and ψ x ,ε 0 ( ) t is a family of non-negative measurable

(by Lebesgue) functions on (0 , ∞ ) such that

$$0 \ < \ I _ { x _ { 0 } } ( \varepsilon ) \ = \ \underset { \varepsilon } { \int } \psi _ { x _ { 0 }, \varepsilon } ( t ) \ d t \ < \ \infty \quad \ \forall \ \varepsilon \in ( 0, \varepsilon _ { 0 } ) \. \quad \ \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

Then f can be extended to a (continuous) homeomorphic map f : D → D ′ .

Proof. Lemma 5.1 is an immediate consequence of Theorems 4.1 and 5.2 taking into account Lemma 3.7 in the work [46], see Lemma 7.4 in the monograph [30], and extending K x,f I ( ) by zero outside of D. ✷

Choosing in Lemma 5.1 ψ t ( ) = 1 ( / t log 1 /t ) and applying Lemma 2.1, we obtain the following result.

Theorem 5.3. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 3 , D be locally connected on ∂D and ∂D ′ be (strongly accessible) weakly flat. Suppose that f : D → D ′ is a homeomorphism in W 1 ,ϕ loc with condition (5.1) such that

$$K _ { I } ( x, f ) \, \leqslant \, Q ( x ) \, \quad \text{ a.e. in } D$$

for a function Q : R n → R n , Q ∈ FMO( x 0 ) for all x 0 ∈ ∂D . Then f can be extended to a (continuous) homeomorphic map f : D → D ′ .

In the following consequences, we assume that K x,f I ( ) is extended by zero outside of D .

Corollary 5.2. In particular, the conclusions of Theorem 5.3 hold if

$$\varliminf _ { \varepsilon \to 0 } \, \int _ { B ( x _ { 0 }, \varepsilon ) } K _ { I } ( x, f ) \ d m ( x ) \ < \ \infty \quad \ \forall \ x _ { 0 } \in \partial D \.$$

Similarly, choosing in Lemma 5.1 the function ψ t ( ) = 1 /t , we come to the following more general statement.

Theorem 5.4. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 3 , D be locally connected on ∂D and ∂D ′ be (strongly accessible) weakly flat. Suppose that f : D → D ′ is a homeomorphism in W 1 ,ϕ loc with condition (5.1) such that

$$\underset { \varepsilon < | x - x _ { 0 } | < \varepsilon _ { 0 } } { \int } \, K _ { I } ( x, f ) \, \frac { d m ( x ) } { | x - x _ { 0 } | ^ { n } } \ = \ o \left ( \left [ \log \frac { \varepsilon _ { 0 } } { \varepsilon } \right ] ^ { n } \right ) \quad \ \forall \ x _ { 0 } \in \partial D \quad \ \ ( 5. 7 )$$

as ε → 0 for some ε 0 ∈ (0 , δ 0 ) where δ 0 = δ x ( 0 ) = sup x ∈ D | x -x 0 | . Then f can be extended to a (continuous) homeomorphic map f : D → D ′ .

Corollary 5.3. The condition (5.7) and the assertion of Theorem 5.4 hold if

$$K _ { I } ( x, f ) \ = \ o \left ( \left [ \log \frac { 1 } { | x - x _ { 0 } | } \right ] ^ { n - 1 } \right ) \\ T h _ { \theta \ e a m \ e b e l d e l f }$$

as x → x 0 . The same holds if

$$k _ { f } ( r ) = o \left ( \left [ \log \frac { 1 } { r } \right ] ^ { n - 1 } \right )$$

as r → 0 where k f ( r ) is the mean value of the function K x,f I ( ) over the sphere | x -x 0 | = r .

Remark 5.1. Choosing in Lemma 5.1 the function ψ t ( ) = 1 ( / t log 1 /t ) instead of ψ t ( ) = 1 /t , we are able to replace (5.7) by and (5.9) by

$$\int _ { \varepsilon < | x - x _ { 0 } | < 1 } ^ { \cdot \cdot \cdot \cdot } \frac { k _ { I } ( x, f ) \ d m ( x ) } { \left ( | x - x _ { 0 } | \log \frac { 1 } { | x - x _ { 0 } | } \right ) ^ { n } } & = o \left ( \left [ \log \log \frac { 1 } { \varepsilon } \right ] ^ { n } \right ) \\ \intertext { d ( 5. 9 ) \, \text{by} }$$

$$k _ { f } ( r ) & = o \left ( \left [ \log \frac {$$

Thus, it is sufficient to require that

$$k _ { f } ( r ) = O \left ( \left [ \log \frac { 1$$

In general, we could give here the whole scale of the corresponding conditions in terms of log using functions ψ t ( ) of the form 1 / t ( log . . . log 1 /t ) .

Theorem 5.5. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 3 , D be locally connected on ∂D and ∂D ′ be (strongly accessible) weakly flat. Suppose that f : D → D ′ is a homeomorphism in W 1 ,ϕ loc with condition (5.1) such that

$$\int _ { D } \Phi ( K _ { I } ( x, f ) ) \$$

for a non-decreasing convex function Φ : R + → R + . If, for some δ &gt; Φ(0) ,

$$\begin{array} {$$

then f can be extended to a (continuous) homeomorphic map f : D → D ′ .

Indeed, by Theorem 3.1 and Corollary 3.2 in [48], (5.13) and (5.14) imply (5.2) and, thus, Theorem 5.5 is a direct consequence of Theorem 5.2.

Corollary 5.4. The conclusion of Theorem 5.5 holds if, for some α &gt; 0 ,

$$\int _ { D } e ^ { \alpha K _ { I } ( x, f ) }$$

Remark 5.2. Note that by Theorem 5.1 and Remark 5.1 in [22] the conditions (5.14) are not only sufficient but also necessary for continuous extension to the boundary of f with the integral constraint (5.13).

Recall that by Theorem 2.1 in [48], see also Proposition 2.3 in [47], condition (5.14) is equivalent to a series of other conditions and, in particular, to the following condition

$$\int _ { \delta } ^ { \infty } \Phi ( t )$$

for some δ &gt; 0 where 1 n ′ + 1 n = 1 , i.e., n ′ = 2 for n = 2 , n ′ is strictly decreasing in n and n ′ = n/ n ( -1) → 1 as n →∞ .

Finally, note that all these results hold, for instance, if f ∈ W 1 ,p loc , p &gt; n -1 .

## 6 On finitely bi-Lipschitz mappings

Given an open set Ω ⊆ R n , n /greaterorequalslant 2 , following Section 5 in [21], see also Section 10.6 in [30], we say that a mapping f : Ω → R n is finitely bi-Lipschitz if

$$0 \ < \ l ( x, f ) \ \leqslant \ L ( x, f$$

where

$$L ( x, f ) \ = \ \lim _ { y \to x } \ \frac {$$

and

$$l ( x, f ) \ = \ \liminf _ { y \to x } \ \frac$$

/negationslash

By the classic Rademacher-Stepanov theorem, we obtain from the right hand inequality in (6.1) that finitely bi-Lipschitz mappings are differentiable a.e. and from the left hand inequality in (6.1) that J f ( x ) = 0 a.e. Moreover, such mappings have ( N ) -property with respect to each Hausdorff measure, see, e.g., either Lemma 5.3 in [21] or Lemma 10.6 [30]. Thus, the proof of the following theorems is perfectly similar to one of Theorem 4.1 and hence we omit it, cf. also similar but weaker Corollary 5.15 in [21] and Corollary 10.10 in [30] formulated in terms of the outer dilatation K O .

Theorem 6.1. Every finitely bi-Lipschitz homeomorphism f : Ω → R n , n /greaterorequalslant 2 , is a lower Q -homeomorphism with Q = K 1 n -1 I .

All results for finitely bi-Lipschitz homeomorphisms are perfectly similar to the corresponding results for homeomorphisms with finite distortion in the Orlich-Sobolev classes from the last section. Hence we will not formulate all them in the explicit form here in terms of inner dilatation K I .

We give here for instance only one of these results.

Theorem 6.2. Let D and D ′ be bounded domains in R n , n /greaterorequalslant 2 , D be locally connected on ∂D and ∂D ′ be (strongly accessible) weakly flat. Suppose that f : D → D ′ is a finitely bi-Lipschitz homeomorphism such that

$$\begin{array} {$$

for a non-decreasing convex function Φ : R + → R + . If, for some δ &gt; Φ(0) ,

$$\Sigma \times \times \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Smega \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Salpha \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sappa \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Ssigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Sigma \times \Lambda \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma \Sigma
.. \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Smega \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Ss \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sg \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sig \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sappa \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sgo \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sag \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \Sigma \quad \S$$

then f can be extended to a (continuous) homeomorphic map f : D → D ′ .

Corollary 6.1. The conclusion of Theorem 6.2 holds if, for some α &gt; 0 ,

$$\int _ { D } ^ { \lambda } \lambda ^ { \lambda } _ { I } ( x, f ) \ d m ( x ) \ < \ \infty \.$$

## References

- [1] Andreian Cazacu C., Influence of the orientation of the characteristic ellipses on the properties of the quasiconformal mappings, Proceedings of Romanian-Finnish Seminar on Teichm¨ller Spaces and Riemann Surfaces, Bucharest, 1971, 65-85. u
- [2] Andreian Cazacu C., Moduli inequalities for quasiregular mappings. Ann. Acad. Sci. Fenn. Math. 2 (1976), 17-28.
- [3] Andreian Cazacu C., On the length-area dilatation. Complex Var. Theory Appl. 50 (2005), no. 7-11, 765-776.
- [4] Birnbaum Z., Orlicz W. ¨ ber die Verallgemeinerungen des Begriffes der zueinauder konU jugierten Potenzen // Studia. Math. - 1931. 3 . - P. 1-67.
- [5] Chiarenza F., Frasca M., Longo P. W 2 ,p -solvability of the Dirichlet problem for nondivergence elliptic equations with VMO coefficients // Trans. Amer. Math. Soc. - 1993. 336 , no. 2. - P. 841-853.
- [6] Cristea M., Local homeomorphisms satisfying generalized modular inequalities. Complex Var. Elliptic Equ. 59 (2014), no. 10, 1363-1387.
- [7] Cristea M., On generalized quasiconformal mappings. Complex Var. Elliptic Equ. 59 (2014), no. 2, 232-246.
- [8] Cristea M., On generalized quasiregular mappings. Complex Var. Elliptic Equ. 58 (2013), no. 12, 1745-1764.
- [9] Federer H. Geometric Measure Theory. - Berlin: Springer-Verlag, 1969.
- [10] Gehring F.W. Rings and quasiconformal mappings in space // Trans. Amer. Math. Soc. - 1962. 103 , no. 3. - P. 353 - 393.
- [11] Gehring F.W., Martio O. Quasiextremal distance domains and extension of quasiconformal mappings // J. Anal. Math. - 1985. 45 . - P. 181-206.
- [12] Gutlyanskii V., Ryazanov V., Srebro U., Yakubov E. The Beltrami Equations: A Geometric Approach. - Developments in Math. 26 . - New York etc.: Springer, 2012.
- [13] Heinonen J., Kilpelainen T., Martio O. Nonlinear Potential Theory of Degenerate Elliptic Equations. - Oxford-New York-Tokio: Clarendon Press, 1993.
- [14] Ignat'ev A., Ryazanov V. Finite mean oscillation in the mapping theory // Ukr. Mat. Vis. - 2005. 2 , no. 3. - P. 395-417, 443 [in Russian]; transl. in Ukr. Math. Bull. - 2005. 2 , no. 3. - P. 403-424, 443.
- [15] Iwaniec T., Sbordone C. Riesz transforms and elliptic PDEs with VMO coefficients // J. Anal. Math. - 1998. 74 . - P. 183-212.

- [16] John F. and Nirenberg L.: On functions of bounded mean oscillation // Comm. Pure Appl. Math. - 1961. 14 . - P. 415-426.
- [17] Kovtonyuk D., Petkov I., Ryazanov V. On the boundary behaviour of solutions to the Beltrami equations // Complex Variables and Elliptic Equations. - 2013. 58 , no. 5. P. 647 - 663.
- [18] Kovtonyuk D.A., Petkov I.V., Ryazanov V.I., Salimov R.R. Boundary behavior and Dirichlet problem for Beltrami equations // Algebra and Analysis. - 2013. 25 , no. 4. P. 101-124 [in Russian]; transl in St. Petersburg Math. J. - 2014. 25 . - P. 587- 603.
- [19] Kovtonyuk D.A., Ryazanov V.I. On boundaries of space domains // Proc. Inst. Appl. Math. &amp; Mech. NAS of Ukraine. - 2006. 13 . - P. 110 - 120.
- [20] Kovtonyuk D.A., Ryazanov V.I. Toward the theory of lower Q -homeomorphisms // Ukr. Mat. Visn. - 2008. 5 , no. 2. - P. 159 - 184 [in Russian]; transl. in Ukrainian Math. Bull. - 2008. 5 , no. 2. - P. 157 - 181.
- [21] Kovtonyuk D., Ryazanov V. On the theory of mappings with finite area distortion // J. Anal. Math. - 2008. 104 . - P. 291-306.
- [22] Kovtonyuk D., Ryazanov V. On the boundary behavior of generalized quasi-isometries // J. Anal. Math. - 2011. 115 . - P. 103-119.
- [23] Kovtonyuk D.A., Ryazanov V.I., Salimov R.R., Sevost'yanov E.A. On mappings in the Orlicz-Sobolev classes // Ann. Univ. Bucharest, Ser. Math - 2012. 3(LXI) , no. 1. P. 67-78.
- [24] Kovtonyuk D.A., Ryazanov V.I., Salimov R.R., Sevost'yanov E.A. Toward the theory of classes of Orlicz-Sobolev // Algebra and Analysis. - 2013. 25 , no. 6. - P. 49 101 [in Russian]; transl in St. Petersburg Math. J.
- [25] Kovtonyuk D.A., Salimov R.R., Sevost'yanov E.A. (ed. Ryazanov V.I.) Toward the Theory of Mappings in Classes of Sobolev and Orlicz-Sobolev. - Kiev: Naukova dumka, 2013 [in Russian].
- [26] Martio O., Rickman S., Vaisala J. Definitions for quasiregular mappings // Ann. Acad. Sci. Fenn. Ser. A1. Math. - 1969. 448 . - P. 1-40.
- [27] Martio O., Ryazanov V., Srebro U. and Yakubov E.: Mappings with finite length distortion // J. Anal. Math. - 2004. 93 . - P. 215-236.
- [28] Martio O., Ryazanov V., Srebro U. and Yakubov E.: Q -homeomorphisms // Contemporary Math. - 2004. 364 . - P. 193-203.
- [29] Martio O., Ryazanov V., Srebro U., Yakubov E.: On Q -homeomorphisms // Ann. Acad. Sci. Fenn. Ser. A1. Math. - 2005. 30 . - P. 49-69.

- [30] Martio O., Ryazanov V., Srebro U., Yakubov E. Moduli in Modern Mapping Theory. - Springer Monographs in Mathematics. - New York etc.: Springer, 2009.
- [31] Martio O., Ryazanov V., Vuorinen M. BMO and Injectivity of Space Quasiregular Mappings // Math. Nachr. - 1999. 205 . - P. 149-161.
- [32] Martio O., Vuorinen M. Whitney cubes, p -capacity and Minkowski content // Expo. Math. - 1987. 5 . - P. 17-40.
- [33] Maz'ya V. Sobolev Spaces. - Leningrad: Leningrad. Univ., 1985; transl. in Berlin: SpringerVerlag, 1985.
- [34] N¨ akki R.: Boundary behavior of quasiconformal mappings in n -space // Ann. Acad. Sci. Fenn. Ser. A1. Math. - 1970. 484 . - P. 1-50.
- [35] Ohtsuka M. Extremal Length and Precise Functions. - Tokyo: Gakkotosho Co., 2003.
- [36] Orlicz W. ¨ ber eine gewisse Klasse von R¨umen vom Typus B // Bull. Intern. de l'Acad. U a Pol. Serie A, Cracovie. - 1932.
- [37] Palagachev D.K. Quasilinear elliptic equations with VMO coefficients // Trans. Amer. Math. Soc. - 1995. 347 , no. 7. - P. 2481-2493.
- [38] Rado T., Reichelderfer P.V. Continuous Transformations in Analysis. - Berlin etc.: Springer, 1955.
- [39] Ragusa M.A. Elliptic boundary value problem in vanishing mean oscillation hypothesis // Comment. Math. Univ. Carolin. - 1999. 40 , no. 4. - P. 651-663.
- [40] Reimann H.M., Rychener T. Funktionen Beschr¨nkter Mittlerer Oscillation. - Lecture a Notes in Math. 487 . - Berlin etc.: Springer-Verlag, 1975.
- [41] Reshetnyak Yu.G. Space mappings with bounded distortion. - Novosibirsk: Nauka, 1982; transl. in Translations of Mathematical Monographs, 73 . - Providence, RI: Amer. Math. Soc., 1988.
- [42] Reshetnyak Yu.G.: Sobolev classes of functions with values in a metric space. Sibirsk. Mat. Zh. - 1997. 38 . - 657-675.
- [43] Rickman S. Quasiregular Mappings. - Berlin etc.: Springer-Verlag, 1993.
- [44] Ryazanov V.I., Salimov R.R. Weakly flat spaces and bondaries in the mapping theory // Ukr. Mat. Vis. - 2007. 4 , № 2. - P. 199 - 234 [in Russian]; transl. in Ukrainian Math. Bull. - 2007. 4 , no. 2. - P. 199 - 233.
- [45] Ryazanov V., Salimov R., Srebro U., Yakubov E. On Boundary Value Problems for the Beltrami Equations // Contemporary Math. - 2013. 591 . - P. 211-242.

- [46] V. Ryazanov and E. Sevost'yanov, Equicontinuous classes of ring Q-homeomorphisms // Sibirsk. Mat. Zh. - 2007. 48 , no. 6. - P. 1361-1376; translation in Siberian Math. J. 2007. 48 , no. 6. - P. 1093-1105.
- [47] Ryazanov V., Sevost'yanov E. Equicontinuity of mappings quasiconformal in the mean // Ann. Acad. Sci. Fenn. - 2011. 36 . - P. 231 - 244.
- [48] Ryazanov V., Srebro U., Yakubov E. On integral conditions in the mapping theory // Ukrainian Math. Bull. - 2010. 7 , no. 1. - P. 73-87.
- [49] Saks S. Theory of the Integral. - New York: Dover Publications Inc., 1964.
- [50] Sarason D. Functions of vanishing mean oscillation // Trans. Amer. Math. Soc. - 1975. 207 . - P. 391-405.
- [51] Sobolev S.L. Applications of functional analysis in mathematical physics. - Leningrad: Izdat. Gos. Univ., 1950; transl. in Providence, R.I.: Amer. Math. Soc., 1963.
- [52] Vasil'ev A. Moduli of Families of Curves for Conformal and Quasiconformal Mappings. Lecture Notes in Math. 1788 . - Berlin etc.: Springer-Verlag, 2002.
- [53] V¨ ais ¨ l ¨ a a J. Lectures on n -Dimensional Quasiconformal Mappings. - Lecture Notes in Math. 229 . - Berlin etc.: Springer-Verlag, 1971.
- [54] Vodop'yanov S. Mappings with bounded distortion and with finite distortion on Carnot groups // Sibirsk. Mat. Zh. - 1999. 40 , no. 4. - P. 764-804; transl. in Siberian Math. J. 1999. 40 , no. 4. - P. 644-677.
- [55] Vuorinen M. Conformal Geometry and Quasiregular Mappings. - Lecture Notes in Math. 1319 . - Berlin etc.: Springer-Verlag, 1988.
- [56] Whyburn G.Th. Analytic Topology. - Providence: AMS, 1942.
- [57] Wilder R.L. Topology of Manifolds. - New York: AMS, 1949.
- [58] Zaanen A.C. Linear analysis. - Noordhoff (1953).

## Denis Kovtonyuk and Vladimir Ryazanov,

Institute of Applied Mathematics and Mechanics, National Academy of Sciences of Ukraine, 74 Roze Luxemburg Str., Donetsk, 83114, Ukraine, denis kovtonyuk@bk.ru, vl.ryazanov1@gmail.com
Denis Kovtonyuk Vladimir Ryazanov
On boundary behavior of spatial mappings
We show that homeomorphisms $f$ in ${\Bbb R}^n$, $n\geqslant3$, of finite
distortion in the Orlicz--Sobolev classes $W^{1,\varphi}_{\rm loc}$ with a
condition on $\varphi$ of the Calderon type and, in particular, in the Sobolev
classes $W^{1,p}_{\rm loc}$ for $p>n-1$ are the so-called lower
$Q$-homeomorphisms, $Q(x)=K^{\frac{1}{n-1}}_I(x,f)$, where $K_I(x,f)$ is its
inner dilatation. The statement is valid also for all finitely bi-Lipschitz
mappings that a far--reaching extension of the well-known classes of isometric
and quasiisometric mappings. This makes pos\-sib\-le to apply our theory of the
boundary behavior of the lower $Q$-homeomorphisms to all given classes.