Аналог теоремы лаврентьева Зорича о глобальном гомеоморфизме для отображений с неограниченной характеристикой Текст научной статьи по специальности «Математика»

© Севостьянов Е.А., Салимов P.P., 2011

УДК 517.548.2 ББК 22.161.5

АНАЛОГ ТЕОРЕМЫ ЛАВРЕНТЬЕВА - ЗОРИЧА

О ГЛОБАЛЬНОМ ГОМЕОМОРФИЗМЕ ДЛЯ ОТОБРАЖЕНИЙ С НЕОГРАНИЧЕННОЙ ХАРАКТЕРИСТИКОЙ

ЕЛ. Севостьянов, P.P. Салимов

Для некоторого класса отображений, более общих, чем локально квазиконформные, получен аналог хорошо известной теоремы Лаврентьева — Зорича о глобальном гомеоморфизме. В частности, показано, что локальные гомеоморфизмы класса Соболева W^o™, п > 3, внешняя дилатация Ко(х, /) которых локально суммируема в R” в степени п—1, инъективны в R”, как только Kq~1(x, /) < Q(x) почти всюду при некоторой измеримой функции Q(x), имеющей конечное среднее колебание (FMO) в окрестности бесконечно удаленной точки, либо удовлетворяющей условию расходимости интеграла специального вида. Упомянутый выше результат верен также и для некоторого более широкого класса отображений, удовлетворяющих определенным геометрическим условиям.

Ключевые слова: квазиконформные отображения и их обобщения, модули семейств кривых, емкость, теорема о глобальном гомеоморфизме, открытые дискретные отображения.

Введение

Основные утверждения настоящей статьи анонсированы в работе [5] без приведения какой-либо аргументации. Доказательство основного результата в данном тексте приведено схематично, поскольку здесь мы в значительной мере опираемся на замечание из работы [2, с. 532, 2-й абзац].

В 1938 г. М.А. Лаврентьевым было сделано предположение о том, что локально квазиконформные отображения пространства М3 являются гомеоморфизмами. Хорошо известным математиком В.А. Зоричем было получено следующее решение проблемы М.А. Лаврентьева (см. [1]).

Если / : М” —>• М”, п > 3, локально гомеоморфное квазирегулярное отображение М”, то / является гомеоморфизмом, причем на все пространство М”.

Основная цель настоящей заметки заключается в распространении гипотезы М.А. Лаврентьева о глобальном гомеоморфизме, доказанной В.А. Зоричем в его работе [1], на более широкий случай. Мы покажем, что отображения / : R” —> R”, п > 3, удовлетворяющие относительно общим геометрическим соотношениям в окрестности бесконечно удаленной точки, являющиеся локальными гомеоморфизмами пространства М”, п > 3, инъективны. Необходимо заметить, что В.А. Зоричем был получен и более общий вариант его теоремы (см., напр.: [2]). Упомянем также недавнюю работу

М. Кристи [12] по этому поводу.

Перейдем теперь к определению упомянутых выше классов отображений. Как известно, в основу геометрического определения квазиконформных отображений, заданных в области И из М”, п > 2, положено условие

М(/(Г))<КМ(Г) (1)

для произвольного семейства Г кривых 7 в области И, где М — конформный модуль семейства кривых (внешняя мера, определенная на семействах кривых в М”), а Л" >1 — некоторая постоянная. Другими словами, модуль любого семейства кривых искажается не более, чем в К раз. Пусть теперь в основе определения отображения / лежит

неравенство вида

М(/(Г)) < I С}(х) ■ рп(х)с1т(х), (2)

в

где т — мера Лебега в М”, р — произвольная неотрицательная борелевская функция, такая что произвольная кривая 7 семейства Г имеет длину, не меньшую 1 в метрике р, то есть криволинейный интеграл первого рода / р(х)\ёх\ по каждой кривой 7 € Г удовле-

7

творяет условию: /р(х)\с1х\ > 1, а : Б —> [1, оо] — некоторая (заданная) веществен-

7

нозначная функция (см., напр.: [16]). Изучению отображений, удовлетворяющих соотношению (2), посвящено значительное количество работ (см., напр.: [3; 5-8; 11; 12; 16; 17]). Отметим, что В.М. Миклюков исследовал некоторые классы отображений, удовлетворяющих аналогичным оценкам в терминах емкостей на поверхностях (см., напр.: [4]). При этом неравенство вида (2) анонсировано без приведения доказательства в работе [8] для так называемых отображений, квазиконформных в среднем. В частном случае, когда в соотношении (2) имеет место условие (^(х) < К п.в., мы снова приходим к неравенству (1). В общем случае, когда это не обязательно так, неравенство (2) означает, что искажение модуля исходного семейства Г происходит с некоторым весом М (/(Г)) < Мд(х)(Г) (см. работы А. Казаку Каберия [10] и М. Кристи [12]).

Как уже было отмечено выше, локальные гомеоморфизмы /, удовлетворяющие соотношениям вида (1), называемые в этом случае локально квазиконформными отображениями, инъективны при п > 3 (см., напр.: в [1]). Достаточно простой пример отображения /(л) = е~ указывает, вообще говоря, на неверность последнего утверждения при п = 2.

В настоящей работе обозначены некоторые аналитические условия на функцию из более общего, нежели (1), соотношения (2), отличные от банального требования ее ограниченности, при которых локальные гомеоморфизмы /, удовлетворяющие неравенству (2) для произвольного семейства кривых Г и любой р £ асЬпГ, инъективны в М” при п > 3. Вопрос о точности условий в работе не обсуждается, однако, как показывает схематично построенный нами пример (см. теорему 2), ни одно из этих условий нельзя заменить на требование € 11\ р > 1. Некоторые приложения нашего основного результата (теорема 1), относящиеся к гомеоморфизмам классов Соболева могут

быть найдены в заключительной части статьи (следствие 1).

1. Определения и предварительные сведения

Всюду далее В — область в М”, п > 2. Запись / : В —> М” предполагает, что отображение / непрерывно. В дальнейшем М” = М”и{оо} — одноточечная компактификация

Гг,

В(;г0, г) = {^ € М” : \х — ;г0| < г} , В” = {^ € М” : \х\ < 1} ,

Б(хо, г) = {^ € М” : I— ;Г'о| = г}, §”-1 := 5(0, 1) ,

т — мера Лебега в М”. Пусть С} : В —> [0, оо] — измеримая по Лебегу функция, тогда Ях0(г) ~ среднее интегральное значение С^(х) над сферой |— ;х01 = г,

Ях0(г) ■=----(3)

шп~1Гп 1 7

\х—хо\=г

где скв — элемент площади поверхности 5, шп-\ означает площадь сферы §”-1 в М”, — объем единичного шара В” в М”, — евклидово расстояние между мно-

жествами А, В С М”. Борелева функция р : М” —> [0, оо] называется допустимой для семейства Г кривых 7 в М” , если

/*>(*) 1*1 >1 (4)

7

для всех кривых 7 € Г. В этом случае мы пишем: р € ас1тГ. Модулем семейства кривых Г называется величина

М(Г) = т£ [ рп(х) с1т(х).

adm Г J

В

Свойства модуля в некоторой мере аналогичны свойствам меры Лебега т в М”. Именно модуль пустого семейства кривых равен нулю, М(0) = 0, модуль обладает свойством

МОНОТОННОСТИ относительно семейств кривых Г! И Г2 : Г! СГ24 М(Гг) < М(Г2), а

также свойством полуаддитивности (см. теорему 6.2 в [18]):

(ОО \ ОО

иг* <ЕМ(Г*)- (5)

1=1 / 1=1

Говорят, что семейство кривых Г1 минорируется семейством Г2, пишем Г1 > Г2, если для каждой кривой 7 € существует подкривая, которая принадлежит семейству Г2. В этом случае М(1\) < М(Г2) (см. теорему 6.4 в [18]).

Пусть Е, С Мга — произвольные множества. Обозначим через Т(Е,Г, В) семейство всех кривых 7 : [а,Ь] —> М”, которые соединяют Е и Е в В, то есть

7(а) Е Е ,7(6) £ ^ и 7^) € В при I Е (а,Ь). Следующее понятие мотивировано

одним из важнейших определений квазиконформности по Ф. Герингу, определившему квазиконформное отображение как гомеоморфизм /, искажающий емкость кольца в конечное число раз К, 1 < К < оо (см. об этом раздел 13 в [13]). Пусть г0 = (х0,дВ),

<5 : В —> [0, схэ] — измеримая по Лебегу функция,

А(п,г2,х0) = е М” : г\ < \х - х0\ < г2} , (6)

в г = в(хо, Гг). Говорят, что /:!)—>• М” является кольцевым <3-отображением в точке

Хо £ И, если соотношение

М (/ (Г (5ь 52, А))) < J <3(х) ■ 1]п(\х - Хо|) с1т(х) (7)

А

выполнено для любого кольца А = А(г1,г2,х0), 0 < Г\ < г2 < г0 и для каждой измеримой функции 1] : (г1,г2) —>• [0, оо] такой, что

Г2

I 1](г)с1г > 1. (8)

Г1

Не лишним будет заметить, что условие (8) заменяет более общее требование допустимости (4) для специального семейства кривых Г (Si, 52, А). Заметим также, что если / является К-квазиконформным, то / удовлетворяет соотношению (7) при Q(x) = К Е [1,оо). Исходя из сказанного выше, для нас в первую очередь представляет интерес случай неограниченных Q, ибо ситуация ограниченности последних полностью исследована в работе [1]. Пусть гго £ D. По аналогии, будем говорить, что / : D \ {;х0} —>• М” является кольцевым Q-отображением в точке х0 £ D, если соотношение (7) выполнено для каждой неотрицательной измеримой функции ?/, удовлетворяющей соотношению (8). При этом, здесь предполагается, что само отображение / будет определено ЛИШЬ В проколотой окрестности ТОЧКИ ГГо-

Для отображения /:£>—> R”, имеющего в D частные производные почти всюду, пусть f'{;x) — якобиева матрица отображения / в точке х, Н/^яОН = max ^ .

Внешняя дилатация отображения / в точке х определяется как величина

иёлГ, J{xj)^0,

К0(х, /) = = { 1, f'(x) = 0, ■

оо, в других случаях

2. Вспомогательные результаты

Предложение 1. Предположим, что область D содержит начало координат, / : D \ {0} —>• М'\ п > 2, — кольцевое Q-отображение в нуле. Пусть, кроме того, найдутся е0 > 0, е0 < dist(0,SD), и борелевская функция ф(1) : (0,оо) —>• (0,оо), удовлетворяющая условию

г2

О < /(ei,e2) := J гф{t)dt < оо (9)

£1

для произвольных £\,е2 G (0,ео), такие что при е —> О

J Q(x)-il,n(\x\) dm(x) = o(In(s,s0)) . (10)

£<|.т|<£0

Обозначим через Г семейство всех открытых кривых 7(t) : (0,1) —>• М”, таких что lit к) —> 0 при некоторой последовательности tk —> 0 и 7 (t) ф 0. Тогда М(/(Г)) = 0.

Доказательство. Заметим, что

Г > U Гг ,

(П)

г=1

где Гг — семейство КрИВЫХ С1'г(£) : (0,1) —> М” таких, ЧТО а'г(1) € /5(0, Гг), где Г г — некоторая последовательность, удовлетворяющая условиям г* < £о, г* —> 0 при г —>• оо, и а^и) —> 0 для той же последовательности —>• 0. Зафиксируем г > 1, и е Е (0,Гг). Ввиду соотношения (9) имеем /(е,Гг) > 0 при всех е Е (0, Гг), где величина I(о, Гг) также определяется из (9). Заметим, что функция

удовлетворяет условию нормировки вида (8) в кольце А{е, г\, 0) = {^ € М” : £ < |;г| < г\} и, следовательно, в силу соотношения (7)

где Зг(е) = /(£■*.)» I 4,п(\х\) (1т.(х). Учитывая (10), имеем Зг(е) —> 0. Заме-

Таким образом, при каждом фиксированном г = 1,2,..., из (12) и (13) получаем, что

при е —> 0 и каждом фиксированном г Е N. Однако левая часть неравенства (14) не зависит от е и поэтому М(/(Гг)) = 0. Наконец, из (11) и свойства полуаддитивности модуля, см. (5), следует, что М(/(Г)) = 0. □

Как и в работе [3], введем следующее определение, обобщающее понятие функций ограниченного среднего колебания по Джону — Ниренбергу (см. [14]). Будем говорить, что функция р : И —> М имеет конечное среднее колебание в точке хо Е И, и писать р Е РМО В ;Хо, если

Предложение 2. Пусть <5 : И —)■ [0, оо] — измеримая по Лебегу функция, И С М”, п > 2, хо Е -О, такие, что выполнено хотя бы одно из следующих условий:

ф(г)/1(£,п), t Е (є, г і) , 0, t Е М \ (о, Гг)

А(є,гі,0)

£<|.т|<£0

ТИМ, ЧТО При ЛЮбОМ £ Е (0, Гг)

Гг > Г (5(0, є), 5(0, Гг), А(є,Гг,0)) .

(13)

М(/(Гг)) < &(£) 0

(14)

(15)

В(хо, е)

Где ‘Ре = а^ I <Р(Х) dm{x).

В(хо, е)

1)QE FMOixо);

2) qxo(r) = О ([log при г ->• 0;

3) при некотором 8(х0) > 0, 8(х0) < dist (x0,dD) и произвольных е £ (0, <5(:х0))

5(:го)

[ —jr— < 00 (16)

{ tqSo1^)

S{x0)

f ~^г— = °о • (17)

о t'Qxo (t)

Тогда можно указать е0 £ (0,1) и функцию ф(1) > 0 такие, что в точке х0 выполнены условия (10) и (9) предложения 1.

Разумеется, 2*) является просто частным случаем 2). Отметим, что если / является К-квазирегулярным отображением, то есть Q(x) = К в (7) для некоторой постоянной К > 0, каждое из условий 1)-3) предложения 2 автоматически выполнено. Отметим также, что соотношение (16) выражает собой интегральное условие расходимости, которое использовалось и ранее большим числом авторов (см., напр.: [15], [9] и [2]).

Доказательство. Не ограничивая общности, можно считать, что ;Го = 0. Заключение предложения 2 в случае Q G FMO следует из следствия 6.3 гл. VI [16], которое утверждает, что условие Q G FMO(0) при некотором е0 > 0 влечет соотношение

J Q(x) ■ фп(\х\) dm(x) = O^loglog-^ , (18)

£<|.т|<£0

где 0 < ф(£) := 1 1. Заметим также, что в обозначениях предложения 1 1(е,£о) :=

l°g t

SO 1

:= J ф(t)dt = log °g_f_. Таким образом, соотношение (18) с учетом последнего завершает

£ Dg £0

рассмотрение случая 1). Пусть теперь qxo(r) = 0^[log£]” ^ при г —> 0. Фиксируем

£о < min { dist (0, dD) , 1} . Полагаем ф(1) = 1 х. Заметим, что

го

Q(x)dm(x) Г

,п

I I nrl lncr —

£ < |ж| < во

Q(x)dm.(x) 1С^ db

(м^й)" / Vi.iL (м1с«нГ )

dr < С ■ шп-1 • I(s,s0)

^0

где, как прежде, 1(е,е0) := / ф(1) сИ и С > 0 — некоторая постоянная. Таким образом,

в

случай 2) рассмотрен. Осталось рассмотреть случай 3). При каждом фиксированном

£0

£о < $(#о) и произвольном е < £0 рассмотрим функцию 1(£,£о) = / ф(1)сИ, где

Ф(1) = < VNo 1(t)] i te(£,£о) , (19)

[ 0 , t ф (£,£о) ,

где до(г) = дХо(г), ;Го := 0. Заметим, что 1(е,£о) < схэ при всех е € (0,£о) в силу предположения (16). Тогда ввиду (17) можно считать, что 1(е,£о) > 0, е Е (0,£о)- В таком случае функция ф(1), определенная соотношением (19), удовлетворяет соотношению (9) предложения 1. Кроме того, ф удовлетворяет также соотношению (10), поскольку несложный подсчет показывает, что / Я(х) • ^"(М) ^п(х) = Шп_\ ■ 1(£,£о), при-

£<|.т|<£0

чем /(е,е0) = о(Тп(£,£о)) ввиду (17). Предложение 2 полностью доказано. □

3. Основной результат

Будем говорить, что отображение / : М” —>• М” есть кольцевое (^-отображение в точке хо = схэ, если отображение / = / является кольцевым (^-отображе-

нием в точке гго = 0 при • При этом, используя замену переменных у :=

:= -Нтз в интеграле в правой части неравенства (7), можно переформулировать данное

\х\ __________________________________________________

определение следующим образом. Отображение / : М” —>• М” будем называть кольцевым <5-отображением в точке х0 = схэ, если соотношение

М(/(Т(8(0,Я1),8(0,Я2),А(ЯъЯ2,0)))) < | <2(у) - Чп(\у\)Лт(у) (20)

А(Д1,Й2>0)

выполнено для произвольных 0 < Яг < Я2 < схэ и произвольной неотрицательной измеримой функции 1] : (Я.1,Я2) —>■ [0, схэ] такой, что

11](г)с1г > 1, (21)

Н1

где множество А(Я\, Я2,0) = А(Я\, Я2,хо) при ;го = О задается соотношением (6). Будем говорить, что функция р : М” —> М имеет конечное среднее колебание в точке схэ,

если функция р*(х) = р ("р^р) имеет конечное среднее колебание в точке 0. Заметим,

что отображение ф(х) = -щ? подобно отображает сферу >5(0, г) на сферу 5(0,1/г),

откуда следует, что \J(x,ф)\ = (1 /1|)2,г. Согласно сказанному, прибегая к замене переменной в интеграле в правой части соотношения (15), мы снова можем переформулировать определение конечного среднего колебания в точке схэ в следующем виде. Будем говорить, что функция р : И —> М имеет конечное среднее колебание в точке схэ, пишем р Е ЯМО(схэ), если при Я —> схэ

/1««з? - »(*)■

|.т| > К

где ре = ' / р(х) Аналогично для бесконечности можно переформу-

\х\Ж

лировать условия вида 2), 2*) и 3) предложения 2 предыдущего раздела, соответственно:

(23)

5(0, К)

<3(х)

при х —> оо;

(24)

/

сИ

(25)

1

ОС

для некоторого 5о > 0.

Один полезный результат, используемый нами ниже, заключает в себе следующее.

Предложение 3. Произвольное гомеоморфное отображение / : И \ {0} —>• М”, удовлетворяющее условию вида (7) в точке х0 = 0 Е И, имеет конечный или бесконечный предел в этой точке, как только функция С}(х) удовлетворяет требованию (10) предложения 1 при некоторой функции ф(1) с условием (9), см. лемму 4.1 и следствие 5.2 в [3]. При этом продолженное по непрерывности отображение / : И —> Мга является гомеоморфизмом в Б.

Основной результат настоящей статьи заключает в себе следующая теорема.

Теорема 1. Предположим, что локальный гомеоморфизм / : М” —> М”, п > 3, является кольцевым (^-отображением на бесконечности, то есть отображение / удовлетворяет условию вида (20) для произвольных O<R1<R2<00 и любой неотрицательной измеримой по Лебегу функции ?/, для которой выполнено соотношение вида (21). Предположим, что функция С}(х) удовлетворяет, по крайней мере, одному из условий:

1) функция С}(х) имеет конечное среднее колебание на бесконечности, см. (22);

2) выполнено хотя бы одно из соотношений вида (23)-(24);

3) выполнено требование (25) при дополнительном условии С}(х) > 1 почти всюду.

Тогда / является гомеоморфизмом в М”, причем / (Мга) = М”.

Доказательство. Ограничимся здесь схемой доказательства, опуская подробности. Известным математиком В.А. Зоричем, установившим справедливость данного утверждения для случая ограниченных (^), было замечено (см. 2-й абзац на с. 532 в [2]), что доказательство гомеоморфности отображения / использует лишь тот факт, что модуль семейства кривых Г, уходящих на бесконечность, при рассматриваемом отображении / переходит в семейство Г', такое что М (Г;) = 0. Воспользуемся теперь этим замечанием.

Из предложений 1 и 2 следует, что отображение / = / переводит семейство

Го, состоящее из всех кривых, лежащих в М” и стремящихся по некоторой последовательности к точке гго = 0 в семейство кривых, модуль которого равен нулю. Обозначая ^р(х) = и через Гоо семейство всех неограниченных кривых в М", мы имеем, что Гоо = (/? (Го), и, значит,

Таким образом, гомеоморфность отображения / следует из сделанного выше замечания, на основе рассуждений из работы [1].

Поскольку / — гомеоморфизм в М”, можно применить предложение 3 относительно

инверсии / = / в нуле, / : М”\{0} —> М”. Тогда / — гомеоморфизм в М”, при этом

множество / (Мга) одновременно открыто и замкнуто в М” (как гомеоморфный образ компактного и открытого множества в М”), то есть / (Мга) = М” и, значит, / (Мга) =

м (/(Гоо)) = м ((/ О ф) Го) = М /(Го)

0.

мга. □

4. О методе построения локального гомеоморфизма, для которого нарушена

Прежде всего хотелось бы отметить, что для локальных гомеоморфизмов, удовлетворяющих соотношению (1), условия вида (22)-(25) автоматически выполняются, поскольку указанный случай соответствует неравенству (7) при (^(х) = К.

Следующий пример показывает, что условия на функцию сформулированные

в предыдущем разделе, являются точными в некотором смысле. Именно условия на

С^(х) нельзя заменить более простым условием £ Яр ни для какого (сколь

угодно большого) р > 1.

Теорема 2. Для каждого р > 1 найдется локальный гомеоморфизм / : М” —> М”, п > 3, удовлетворяющий соотношению вида (20) с некоторым <^(х), таким что

<3'(х) = (^ Е и\В”), при этом / не является инъективным отображением в

Доказательство. Зададим гомеоморфизм g : R” \ {0} —> М” следующим образом:

1 + 1 \а

\х 1

где а Е (0,п/р) (см. предложение 6.3 гл. VI в [16]). Это отображение является гомеоморфизмом, отображающим М” \ {0} на множество {у Е М” : \у\ > 1} в М”, при этом, можно показать, что д удовлетворяет соотношению вида (7) в нуле с

(см. [там же]). Заметим, что при |;х| < 1 для некоторой постоянной С > 0 выполнено Яд(х) < и, следовательно, С^д(х) € Ьр (В”) , поскольку ар < п. Полагаем

Заметим, что Л. — гомеоморфизм пространства М” на единичный шар В”, удовлетворяющий соотношению вида (20) с некоторой функцией С^и^х), причем по построению

соответствующая функция (5^ (щз) = (^д(х) суммируема в степени р в В”. Ясно, что единичный шар можно отобразить на некоторую область посредством локального ^-квазиконформного отображения в(х), которое преднамеренно можно выбрать не инъективным. Полагаем }'(х) = воН(х). Построенное таким образом отображение, очевидно, не является инъективным в М”, однако удовлетворяет соотношению вида (20) на бесконечности с некоторой функцией Qf(x), в то время как соответствующая функция

Qf = д ■ (^д(х) суммируема со степенью р в В”. □

Напомним, что у0 Е D — точка ветвления отображения / : D —> Шп, если ни в одной окрестности U точки г/о сужение отображения f\u не является гомеоморфизмом. Совокупность всех точек ветвления / принято обозначать Bf.

теорема типа Лаврентьева — Зорича

h(x)

Предложение 4. Пусть х0 £ D, / : D\{x0} —> М” — открытое дискретное отображение класса Wг*’” (D \ {;х0}), для которого Kq~1(:г, /) е Цос (D \ {;х0}) и m(Bf) = 0. Тогда / удовлетворяет соотношению (7) в точке х0 при каждой неотрицательной измеримой функции ?/, удовлетворяющей (8), и вполне конкретном значении Q := Kq~1(x, /) (см. теорему 1 в [6]).

На основании предложения 4 и теоремы 1 получаем следствие.

Следствие 1. Пусть / : М” —> М”, п > 3, — локальный гомеоморфизм класса для которого Ko(x,f) £ Предположим, что функция Q = Ko~l(x,f) име-

ет конечное среднее колебание на бесконечности, см. (22), либо удовлетворяет хотя бы одному из соотношений (23)-(25). Тогда / является гомеоморфизмом в М”, причем / (Жп) = Мга.

Замечание. Элементарный пример отображения f(z) = е~, действующего из С в С и являющегося локально квазиконформным Q(z) = 1, показывает, что при п = 2 теорема

1 и следствие 1 не имеют места.

СПИСОК ЛИТЕРАТУРЫ

1. Зорич, В. А. Теорема М. А. Лаврентьева о квазиконформных отображениях пространства / В. А. Зорич // Мат. сб. - 1967. - Т. 116, № 3. - С. 415-433.

2. Зорич, В. А. О допустимом порядке роста характеристики квазиконформности в теореме М. А. Лаврентьева / В. А. Зорич // ДАН СССР. - 1968. - Т. 181, № 3. - С. 530-533.

3. Игнатьев, А. Конечное среднее колебание в теории отображений / А. Игнатьев, В. Рязанов // Укр. мат. вестн. — 2005. — Т. 2, № 3. — С. 395-417.

4. Миклюков, В. М. Конформное отображение нерегулярной поверхности и его применения / В. М. Миклюков. — Волгоград : Изд-во ВолГУ, 2005. — 273 с.

5. Салимов, Р. Р. О теореме Лаврентьева — Зорича для отображений, более общих, чем квазиконформные / Р. Р. Салимов, Е. А. Севостьянов // Докл. АН Украины. — 2010. — № 7. - С. 22-27.

6. Севостьянов, Е. А. Обобщение одной леммы Е. А. Полецкого на классы пространственных отображений / Е. А. Севостьянов // Укр. мат. журн. — 2009. — Т. 61, № 7. — С. 969-975.

7. Севостьянов, Е. А. О точках ветвления отображений с неограниченной характеристикой / Е. А. Севостьянов // Сиб. мат. журн. — 2010. — Т. 51, № 5. — С. 1129-1146.

8. Стругов, Ю. Ф. Компактность классов отображений, квазиконформных в среднем / Ю. Ф. Стругов // ДАН СССР. - 1978. - Т. 243, № 4. - С. 859-861.

9. Шабат, Б. В. К теории квазиконформных отображений в пространстве / Б. В. Шабат // ДАН СССР. - 1960. - Т. 132, № 5. - С. 1045-1048.

10. Andreian Cazacu, С. On the length-area dilatation / С. Andreian Cazacu // Complex Var. Theory Appl. - 2005. - V. 50, № 7-11. - P. 765-776.

11. Bishop, C. J. On conformal dilatation in space / C. J. Bishop, V. Ya. Gutlyanskii, O. Martio, M. Vuorinen // Intern. Journ. Math, and Math. Scie. — 2003. — V. 22. — P. 1397-1420.

12. Cristea, M. Mappings of finite distortion: Zoric’s theorem, and equicontinuity results / M. Cristea // Rev. Roumaine Math. Pures Appl. — 2007. — V. 52, № 5. — P. 539-554.

13. Gehring, F.W. Rings and quasiconformal mappings in space / F.W. Gehring // Trans. Amer. Math. Soc. - 1962. - V. 103. - P. 353-393.

14. John, F. On functions of bounded mean oscillation / F. John, L. Nirenberg // Comm. Pure Appl. Math. - 1961. - V. 14. - P. 415-426.

15. Lehto, O. Homeomorphisms with a prescribed dilatation / O. Lehto // Lecture Notes in Math., Springer-Verlag. — 1968. — V. 118. — P. 58-73.

16. Martio, O. Moduli in Modern Mapping Theory / O. Martio, V. Ryazanov, U. Srebro,

E. Yakubov. — N. Y. : Springer Science + Business Media, LLC, 2009. — 367 p.

17. Ukhlov, A. D. Sobolev spaces and mappings with bounded (P; Q)-distortion 0n Carnot

groups / A. D. Ukhlov and S. K. Vodop’yanov // Bull. Sci. Mat. — 2009. — V. 52, № 4. —

P. 349-370.

18. Vaisala, J. Lectures on ??,-Dimensional Quasiconformal Mappings / J. Vaisala // Lecture Notes in Math., Springer-Verlag. — 1971. — V. 229. — P. 1-144.

THE ANALOGUE OF THE LAVRENT’EV - ZORICH GLOBAL HOMEOMORPHISM THEOREM FOR THE MAPPINGS WITH NON-BOUNDED CHARACTERISTICS

E.A. Sevost’yanov, R.R. Salimov

It is obtained the analogue of the well-known Lavrent’ev — Zorich global homeomorphism theorem for some sufficiently wide class of mappings which are more general than locally quasiconformal. In fact, it is shown that the local homeomorphisms of the Sobolev class W^, n > 3, whose outher dilatation Ko{x,f) is locally integrable in R” in the degree n — 1, are injective in R” provided that the inequality Ko~l(x,f) < Q{x) take a place at some function Q(x), having a finite mean oscillation (FMO) in the neighborhood of the infinity, or satisfying some integral divergence condition. Moreover, the result mentioned above take a place for more general class of mappings satisfying some general geometrical conditions.

Key words: quasiconformal mappings and it’s generalizations, moduli of families of curves, capacity, global homeomorphism theorem, open discrete mappings.