CC BY
25
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2014 Математика и механика № 1(27)
УДК 517.54
А.Н. Малютина, М.А. Елизарова1
ОБ ЭКВИВАЛЕНТНОСТИ АНАЛИТИЧЕСКОГО И ГЕОМЕТРИЧЕСКОГО ОПРЕДЕЛЕНИЙ ОТОБРАЖЕНИЙ
с ^-усредненной характеристикой
Продолжается развитие геометрического метода для изучения свойств отображений с 5-усредненной характеристикой, основанного на специальном характеристическом законе искажения модулей семейств кривых.
Ключевые слова: пространственные отображения с s-усредненной характеристикой, геометрический метод модулей, эквивалентность, точки ветвления.
Пусть D - область в Rn, n > 3, и отображение f: D ^ Rn - открытое, непрерывное, дискретное, f е W.П loc (D), тогда отображение f обладает п.в. в области D всеми частными производными df (x) и для него определены величины Kj (x, f), KO (x, f), Kj (x, f ) = inf (K (x)}, KO (x, f ) = inf (P(x)}, где точная нижняя грань берется соответственно по всем измеримым в D функциям K (x) > 1, P (x) > 1, xeD, для которых п.в. в области D выполняются неравенства J(x, f )|< K(x)ln (f' (x)), |f' (x)|n < P(x)|J(x, f )| (см. например, [2, 6]).
Рассмотрим Q = (x е Rn : ai < x, < Ь,, i = 1, n} - замкнутый n-мерный интервал.
Будем говорить, как и в [1, 2], что отображение f: Q ^ Rm принадлежит классу ACL (или является абсолютно непрерывным на линиях), если f - абсолютно непрерывно на почти всех линейных сегментах j, параллельных координатным осям. Более точно, пусть п (x) = x- xiei - ортогональная проекция. Тогда множество Ei всех точек x е ni ( J ), таких, что отображение t ^ f (x - tei), не абсолютно непрерывное на интервале [a, , bi] - имеет меру Лебега mn-1 (E) = 0 для всех 1 < i < n.
Если f - локально суммируемое ACL-отображение, тогда почти всюду в D отображение f имеет частные производные df / dxj, i, j = 1, n. Если, кроме того,
каждая из этих частных производных принадлежит классу Lp (D), p > 1, для любой области D' с D , то f: D ^ Rn называют ACLp -отображением и пишут f е ACLp (D). Известно [1, теоремы 1.4, 1.5], что если f е ACLp (D), то f е W1, loc (D) .
1 Исследование выполнено при финансовой поддержке Минобрнауки РФ ФЦП «Научные и научнопедагогические кадры инновационной России» на 2009-2013 годы (соглашение № 14.В37.21.0354 «Сохранение алгебраических и топологических инвариантов и свойств отображениями»).
Назовем гомеоморфизм f: D ^ D' отображением класса f е Wn (D), если
f е Wl loc (D), f_1 е Wl loc (D') и обладает N, N^-свойствами. Можно считать,
что якобиан J (x, f) отображения f сохраняет знак почти всюду в D (для определенности возьмем J (x, f) > 0).
Пусть у = f (x) - непрерывное отображение области D с Rn , U с D, через N (y, f U ) и ц (y, f U ) , как и в [7], обозначим соответственно кратность и степень отображения f в точке уе U, через dU - границу множества U. Напомним, что отображение f сохраняет ориентацию, если для любой подобласти U, U с D , и точки у е f (U)\ f (dU) - степень отображения ц (у,f U) > 0 [1].
Пусть X, Y - два произвольных топологических пространства, f: X - не-
прерывное отображение. Точка a е X называется точкой ветвления отображения f если f не является топологическим ни в какой окрестности точки a. Совокупность точек ветвления обозначим Bf [7, 8]. Известно, что если D - открытая область и f: D ^ Rn - произвольное непрерывное дискретное отображение, тогда множество Bf нигде не плотно, dim (Bf) < n - 2 и m (Bf) = 0 [8].
Приведем лемму, которая нам потребуется при доказательстве основных результатов работы, используя, как и в [2], следующие обозначения. Пусть f: D ^ Rn - открытое, дискретное отображение, U с D, J (D) - семейство всех областей U, являющихся компактными подмножествами D. Область U с D назовем нормальной, если f(dU) = df(U). Согласно [2, замечание 2.8], если f: D ^ Rn , x е D и r > 0, то окрестность точки x е f lBn (f (x), r) обозначим U (x, f, r), здесь Bn (f (x), r) - шар в Rn с центром в точке f (x) у и радиусом г.
Лемма 1 [2, лемма 2.9]. Пусть f: D ^ Rn - открытое дискретное отображение. Тогда lim d (U (x, f, r )) = 0 для всех x е D. Если U (x, f, r )е J (D), тогда
r ^0
U (x, f,r) - нормальная область и f (U (x, f, r)) = Bn (f (x), r) е J(f (D)). Более того, для каждой точки x е D существует число 5x > 0, такое, что при 0 < r < 5x выполнены следующие условия:
(1) Окрестность U (x, f, r) является нормальной окрестностью точки x;
(2) U(x, f,r) = U(x, f,5x)n f lB" (f (x),r);
(3) dU(x, f,r) = U(x, f,5x)n f-\sn-1 (f (x),r), если r < 5x;
(4) CU (x, f,r) - связное множество;
(5) CU (x, f, r)- связное множество;
(6) Если 0 < r < s < 5x, тогда U (x, f, r )c U (x, f, s) и U (x, f, s)\U (x, f, r) -кольцо.
В качестве применяемого в теории квазиконформных гомеоморфизмов обратного отображения будем использовать построенное ниже отображение hj [9].
Дадим аналитическое определение отображений с s-усредненной характеристикой [10, 11]
Определение 1. Отображение / называется отображением с К0 ^ -усредненной характеристикой, если
1) / *Кьс (п); / £^,1ос (п).
2) Существует постоянная К0 х > 0, такая, что выполняется неравенство
у/ *
Ко,, (/) = 1 /К0 (х,/)*
С х
У
* Ко,-.
Определение 2. Отображение /называется отображением с Ко * -усредненной характеристикой, если
1) / еКос (п); / е^ос (п).
2) Существует постоянная К*0:5 > 0, такая, что выполняется неравенство
у/ *
Ко,, (/) = І/ КО (х, /)У (х, /)с
с
\В у
Аналогично определяются отображения с Кї, - и с К*, -усредненными характеристиками. Здесь К0 (х, /), Кї(х, /) - соответственно внешняя и внутренняя
дилатация отображения / в точке х, й с х =-—----.
і п (1 + | х|2 )
В силу неравенств, связывающих между собой внешнюю и внутреннюю дила-тации отображения/ [6, 12], отображения с К0,-, К*0,-, Кїж- и с К*, -усредненными характеристиками также будем называть отображениями с ,-усред-ненной характеристикой.
Пусть /- отображение с ,-усредненной характеристикой, / еЦг11ос (Б), и с Б - нормальная область, хе и, у е /(Ц)\/(В/пи),/-'(у) = {х,}. Тогда, обобщая [9, лемма 4, часть (Ь)], получаем, что по лемме 1 существуют V, = и (х,, / г) -окрестности точек х,, такие, что /,=/у - гомеоморфизм. Поэтому можно рассматривать отображения И, : Вп (у, г) ^ и , причем /° И, - тождественное отображение. Если И, еЖП,1ос (Вп (у, г)) и / - отображение с --усредненной характеристикой, то по лемме 1 и [13] существует такое г, что И, = /— - квазиконформное
в среднем отображение в шаре Вп (у, г).
Множество Е точек у е /(и) \/(В/), в которых хотя бы одно из И, не дифференцируемо, содержится в борелевском множестве Е0, мера Лебега которого тп (Е0)=0 (см., например, [9]).
Пусть Б, Б' - области пространства Я". Отображение /: Б ^Б' называется дискретным (изолированным), если для каждого у е Б' прообраз /— (у) - дискретное множество, то есть состоит из изолированных точек [2].
\pdl =\pdsx = jp —S
Y Y Y 1 + Г
Пусть p - борелевская функция в Rn. Так как по следствию из теоремы 1.6 [6] класс множеств, измеримых по одномерной мере Хаусдорфа ^-измеримых), включает в себя класс борелевских множеств, то функция N (у, y, I) и p являются Л1-измеримыми. Тогда интеграл по кривой y от функции p определим по формуле (см., например, [14])
f =fp( x> N (y,Y, n d Л1 (x), (1)
Y Y - + 1X2
где N (y, y, I ) - функция кратности (число точек t е I, таких, что y (t) = у. Если y есть кривая Жордана, то интеграл (1) совпадает с обычным интегралом
ds к-ч
2, определенным посредством длин частичных дуг. Это
XI
Y Y Y А ' I I
определение отличается от аналогичного определения в [2, 6] наличием под инте-
I |2
гралом множителя 1/(1 + x ).
Известно [2], что если f: D ^ Rn - непрерывное, открытое, дискретное отображение и y - кривая, лежащая в D, то f(y) - тоже кривая, лежащая в f(D), и если Г - семейство кривых, то f (Г) = Г' - также семейство кривых.
Определение 3. Пусть Г с Rn - некоторое семейство кривых. Функцию p: Rn ^ R1 будем называть допустимой метрикой для Г и обозначать pAT , если
она неотрицательна, измерима по Борелю и | pdsx > 1 для V y е Г, где dsx= ds/(1+|x|2).
Определение 4. Для произвольного р, 0 < p < ®, определим сферический модуль порядкар семейства кривых Г как нижнюю грань:
Мр (Г) = inf jpр (x) dax , (2)
Rn
где инфимум берется над классом всевозможных метрик pAГ . Далее, если потребуется, для модуля семейства кривых Мр (Г) также введем обозначение Мр (y, E,U); здесь y е Г, Г - семейство всевозможных кривых, соединяющих
множества E и U, лежащие в области D. Если р = п, индекс п часто опускают и пишут М (Г) вместо Мп (Г).
Приведем необходимые свойства модуля семейств кривых:
(1) Если Г1 сГ2, то М(Г1 )<М(Г2);
/ад Л ад
(2) М|иГ,- |<ХМ(Г,-);
V ,=1 / i = 1
Гад А
(3) если семейства Г,, i=1,2, отделены, то М
и Г, =£м (Г, );
i = 1
(4) если Г1< Г2, то М(Г1) > М (Г2), (см., например, [14]).
В предлагаемой работе, исходя из понятия _р-модуля семейства кривых, как и в
[11], дадим еще одно определение отображений с з-усредненной характеристикой, которое можно трактовать как геометрическое.
Определение 5. Скажем, что открытое дискретное непрерывное отображение /
- принадлежит классу Qs (В), где 1/(п-1) < 5 < да, если для любого р, такого, что
1
-----< р < 5, существует Фр - неотрицательная ограниченная ст-аддитивная
п -1
функция борелевских множеств в В, такая, что для любого семейства кривых Г из В и произвольного борелевского множества и с В, содержащего все кривые из Г, выполняется неравенство
МРр+/( р+1) (Г ' )<Ф р (и )мр (Г), (3)
где Г' = / (Г) .
Обозначим (В) - подкласс (В) с Qs (В) отображений, для которых выше-определенные функции Фр являются абсолютно непрерывными функциями борелевских множеств. Очевидно, если 5< 5, то Qs (В) с Qs (В), (В) с (В);
- принадлежит классу Qs' (В'), где (п-1) < 5 '< да, если существует Т5,- неотрицательная ограниченная ст-аддитивная функция борелевских множеств в В , такая, что для любого семейства кривых Г ' с В' и произвольного борелевского множества и с В , содержащего все кривые из Г , выполняется неравенство
мп (Г ' )<[ 5, (и')] • мп РР(Г), (4)
где и = / (и), Г ' = / (Г) = {/ (у): уеГ}, р = 5/(5-1);
3) принадлежит классу Qs ^ (В), где (п -1) < 5, 5< да, если выполняются оба
закона (3), (4) искажения модулей любых семейств кривых Гс В и Г ' с В'.
Обозначим соответственно (В'), д5 ^ (В) - подклассы д5' (В')с Qs, (В'),
д5 5' (В)с Qss' (В) отображений, для которых функции Фр, Т, существование
которых доказано в [5] (теоремы 1, 2 и следствия из них), являются абсолютно непрерывными функциями борелевских множеств.
Лемма 2 [14]. Пусть /: В ^ Яп - отображение с К15 -усредненной характеристикой, 5 > 1/(п-1), область и с В, Г - семейство кривых из и, Г ' = /(Г) . Тогда для почти всех кривых у ' е Г ' кривая у е Г абсолютно непрерывна.
Приведем одну существенно используемую специальную лемму о покрытиях (см. [3, 15]).
Лемма 3. Пусть и - ограниченное множество в Яп и / > 1 - число. Тогда существует последовательность {Вк шаров Вк с центрами в точках хк и радиусами гк > 0 так, что она и последовательность {Вк }=1 концентрических шаров В'к с теми же центрами в точках хк и радиусами / удовлетворяет следующим условиям:
ад ад
1) и = и Вк =и Вк;
к=1 к=1
2) каждая точка множества и, содержится не более чем в £, шарах из {Вк} и в | ' шарах из {Вк};
3) последовательность {B'k} можно разбить на п семейств непересекающихся шаров;
Постоянные §' и п зависят от размерности пространства п и числа t, а постоянная £, зависит только от п.
Предложение 1. Пусть E, U - ограниченные множества m(U\ E) - п-мерная мера Лебега, а тп-1Б - (п-1)-мерная мера Лебега Cад -многообразия S, являющегося границей S = дА ограниченного борелевского множества А, содержащего E и содержащегося вместе со своим замыканием А с U, а точная нижняя грань берется по всем таким S. Тогда справедливо неравенство
Мг (y,E,U)> <inf m-1S) .
р (т (U \ E)р-1
Это предложение нетрудно доказать, пользуясь известными соотношениями емкости и модуля [16]. В работе [17] оно содержится в терминах емкости.
Лемма 4. Если f: D ^ Rn - открытое отображение класса Qs (D) , то существует a-аддитивная ограниченная функция Ф, заданная на борелевских множествах в D, такая, что для любого открытого множества U с D справедливо неравенство
mf (U )<Ф^),
где т f (U ) - п-мерная мера Лебега множества f (U ).
Если же f е qa (D), то в этом неравенстве функцию Ф можно выбрать абсолютно непрерывной.
Доказательство. Пусть U с D - ограниченное произвольное открытое множество. Тогда по лемме 3 существует последовательность {Bk шаров Bk с центрами в точках xk и радиусами rk > 0, такая, что она и последовательность {Bk концентрических шаров B'k с теми же центрами в точках xk и радиусами
2rk (t = 2) удовлетворяет следующим условиям 1) - 3).
Поскольку f е Q 1 (D), то для любых семейств кривых Гк, соединяющих
п-1
множества Bk и B'k и Vk, соединяющих множества f (Bk) и f (B'k), выполнено неравенство
/ \(п-1)/п
Мх ( , f(Bk), f(Bk))< (Bk) • М1/п (y, Bk, Bk).
V п-1 J
В силу предложения 1, отсюда имеем
inf тп-1S < С (Ф1/(п-1) (Bk))(n-1)/" ,
где постоянная с зависит только от п, а величина inf тп-^ - (п-1)-мерная мера Лебега C - многообразия S, являющегося границей S = dU - ограниченного открытого множества U, содержащего E и содержащегося вместе со своим замыканием U в D;
М1 (у, E, D) = inf тп-^ ,
см. [17, лемма 6].
Оценивая левую часть по известному изопериметрическому неравенству, получим
т/ (Бк )- с1ф1/(„-1) (вк) •
Суммируя эти неравенства по каждому из п семейств {Б'к^},..., {в'к } непересе-кающихся шаров из {Б'к} и пользуясь ст-аддитивностью функции Ф1/(и_1) для каждого р = 1,2,.. .,п, будем иметь
т/ (и) = т/V и вкр | = Xт/(Бкр ) -
- XФ1/(«_1) (Бкр ) = с,Ф1/(„_1) ( и Б’кр | = с,Ф1/(И_1) (и)•
кр V кр /
Производя теперь суммирование по р = 1,2,.. .,п, получаем
т/(и) - ХП= т/(и Бкр ] - С1П Ф1/(п_1) (и) ,
и требуемое в условии леммы неравенство следует отсюда очевидным образом, если положить Ф(и) = с1п Ф1/(и_1) (и) • Если функция Ф абсолютно непрерывна,
то и функция Фр также абсолютно непрерывна.
Предложение 2. Пусть/е Qs (В), соответственно /е (В) тогда и только то-
гда, когда существует ст-аддитивная (абсолютно непрерывная) ограниченная функция Ф, заданная на борелевских множествах в В, такая, что для любого открытого множества и с В имеет место неравенство
мш /(И+1) (/(Г))-Ф(и )МП/(*+1) (Г)
для любого семейства кривых Г с и.
Доказательство. Если / е Qs (В) (или / е (В) ), то нужное неравенство следует из определения 5-го класса отображений.
Для доказательства обратного утверждения рассмотрим функцию Т, заданную на борелевских множествах и с В, полагая Т(и ) = т/(и ). Применяя неравенство Гельдера, нетрудно видеть, что для любого 1/(п _ 1) - р - 5 выполнено
_ р( х_ р)
М^(Гк)-[т(и)Кр+Г) • М«р+1) (Г).
р+1 5+1
Тогда, вместе с заданным в условии неравенством, получаем
1
р
р 5_ р -
Мрп (Г')-
рп
р+1
(ф(и))) (Т(и))^
р+1 • Мпр+1 (Г) .
Остается показать, что / е Qs (В) с ст-аддитивной ограниченной функцией
Р
Фр =(Ф(и)) Т(и) х . Действительно, если последовательность борелевских
множеств {ик }к=1 с В такова, что и{ п и= 0 при / ф], то применяя неравенство Гельдера и пользуясь ст-аддитивностью функций Ф и Т, выводим
p
k=1 1 *=1
p s-p
^ ^ \ s
^ФР (Uk)< >(U*) X^(Uk)| =
ад
Если Ф абсолютно непрерывна, то и функция Ф^ абсолютно непрерывна и предложение доказано.
Теорема 1. Открытое отображение f: D ^ Rn, f є Qs (D) при (n-1) < s < да,
есть ACL -отображение, дифференцируемое п.в. в области D, и такое, что конечен интеграл
Доказательство. Убедимся, что / есть АСХ-отображение в области Б. Возьмем п-мерный открытый параллелепипед Q, Q с Б , с ребрами параллельными координатным осям, и покажем, что / абсолютно непрерывно на п.в. сечениях параллельных оси хп.
Пусть Qo - проекция Q на подпространство хп= 0, 3 - проекция Q на координатную ось хп. Тогда Q = Q0 х 3. Пусть Ф^ - ст-аддитивная функция, участвующая в определении / є Qs (Б), порождает неотрицательную ст-аддитивную конечную функцию борелевских множеств А с Q0 по правилу Ф^ (А, Q) = Ф^ (А х 3). Известно (см. например [2, 7]), что для почти всех точек г є Q0 конечна величина
Для открытого множества и с Q0 положим Тп (и @ ) = т/(и х I) и пусть Ф -ст-аддитивная функция, определяемая леммой 4 по заданному отображению /е Qs(Б). Поскольку Тп (и ,Q ) < Ф (и х I), где Ф (и ,Q ) = Ф (и х I), для всякого открытого множества и с Qo, то, учитывая сказанное выше, заключаем, что величина Ф'(г, Q) конечна для п.в. г е Q0, при этом хТ'п (г, Q) < Ф'(г, Q) и таким образом, величина Т'п (г, Q) конечна для п.в. г е Q0.
Зафиксируем произвольную точку г е Q0, в которой Ф'(г, Q) и Ф^ (г, Q) конечны. На сечении 1г = {г} х I параллелепипеда Q возьмем произвольно непере-
секающиеся интервалы Аь..., А* с длинами Ъ1,...,Ък соответственно. Обозначая через и множество всех точек, удаленных от А,- на расстояние, меньшее, чем заданное г > 0, рассмотрим множество (у; А,,и,)кривых у, соединяющих множества А, с и,. Пусть г > 0 выбрано так, что множества и, не пересекаются, и, е Q и
0.пг < юп_1Ъ,,, , = 1,...,к, где Оп и юп -1 - объем единичного шара и площадь поверхности единичной сферы в Я” соответственно. Воспользуемся неравенством, доказанным в работе [2] при р = п, при р < п - в [3, предложение 4] в терминах
j KI (x f )| J (X f )l dаx <ад .
D
^0 тп_1В (^Г)
где Вп-1 (г, г)- (п -1)-мерный шар с центром в точке г и радиуса г > 0, а тп_1Вп_1 (г, г) - его (п -1)-мерная мера Лебега.
емкости, для n -1 <p < n, в терминах модуля, - в работе [18]:
мп (y; А,- ,U )< mU- < 2®п_1 Ь . (5)
rn r
С другой стороны, поскольку условие п -1 < s < да влечет неравенство п -1 < sn /(s +1) < п , а тогда, согласно [3, предложение 5], имеем
MS(/(r);/(A,),№)) cfcfgl. (6)
s+1 (m/ (U, )) s+1
Из определения 3 и неравенств (5) и (6) получаем
1-n 1 n-1
__ s+1-n n-1 --
diam / (A,) < C1r n (mf (U, )))+Г (фs (U, ))7 b, n <
1 -n n-1
s+1-n n-1
< C^r n (Ф(и, ))~ (Ф s (U, ))mbln ,
где функция Ф определена выше. Суммируя по i = 1,2,..., к, применяя неравенство Гельдера и ст-аддитивность функций Ф и ФЛ имеем
s+1-n n-1 n-1
^diam/ (А, )< C^ff Ф(Uг) “ f£ Фs (U,) “ f£b,
i=1 V i =1 ) V i=1 ) V i =1
n -1
1-n s+1-n n-1 f к
= C1r n (Ф(Bn-1 (z,r),0)) (s (n-1 (z,r),Q) I Xb,
V i=1
Устремляя r ^ 0, получаем
n n-1
к ^n _ s+1-n _ n-1 f _k
Xdiam/(A,) I < C2 ('(z,0))— ( (z,0))Т| X
ч i=1 / V ,1
Отсюда имеем, что/e ACL (D).
Покажем, что / e ACL (D). С каждой точкой xeD свяжем семейство Г кривых у, лежащее в области D и соединяющее множества Er и Ur, где
Er ={У: Iх - y\ < r} и Ur ={У: Iх - у\ < 2r}.
Хорошо известно (см. например, [17]), что в случае концентрических шаров U = {х: |х| < R} и E = {х: |х| < r} справедливо равенство
R
Mn (у; E,U) = ®n-1 ln1-n , r
а если 1 < p < n, то
, f p-n p-n\1 p
- p-1 - rp-1
Mp (y; e,U ) = »n-, fn-1 } ’
Так как Мп (у, Е, и) = С, где постоянная С зависит только от п, тогда, учитывая определение 1, получаем неравенство
(/(у); / (Ег), / (иг ))< с (Ф, (иг )))т.
5+1
Оценим левую и правую части по неравенству (8) применяя лемму 4
5+1-п п_1
(Нот/(Ег ))п < С (т/(иг ))~Г~ (Ф, (иг ))Т <
5+1_п п _1
< с (Ф(иг))— (ф , (иг ))т.
Разделим обе части последнего неравенства на гп и устремим г ^ 0. Тогда для почти всех хеБ имеем
5+1_п п_1
\/' (х)|п < ьп (х, /)< С2 (Ф' (х)) — (Ф; (х))—,
I / (х) / ( )|
где постоянные С1 и С2 зависят только от п, Ь (х, /) = Иш шах -—— вег ^0 |х_ у\ =г г
_ ____Ф(и ) - ___Ф (и )
личины Ф'(х) = Иш— , Ф, (х) = Иш————, определяемые по ст-аддитив-
г^0 тиг г^0 тиг
ным функциям Ф и Ф; конечны п.в. в Б и суммируемы [2, 7].
Следовательно, по теореме Степанова (см., например, [1]) отображение / дифференцируемо п.в. в Б. Интегрируя последнее соотношение по области Б, с учетом неравенства Гельдера, получаем
;+1_п п_1
А—
11/,(х) n d стх < C2 | J (Ф'(х ))d стх | I Ф (х )d
гст.
D V D
откуда следует, что / e ACL (D).
Убедимся, что | K'J (х, /) J (х, /) dстх < да .
D
Пусть xeD - произвольная точка, в которой J (х,/) Ф 0, да (так как J (х,/) Ф да п.в., то Kj s (х, /) Ф да п.в. поскольку / e ACLn (D)). Рассматривая снова семейство кривых (у; Er, Ur}, приходим к неравенству
м^ (/(у); / (Er), / (Ur)) < C2 (Фs (Ur )).
s+1
Оценивая здесь левую часть по известному изопериметрическому неравенству [17], получаем
sn 1 sn—s—1
(inf mn-1Sr )s+i < C1 (Ur ))s+T (m/ (Ur )) s+1 .
При r ^ 0 множество /(Er) с точностью до o(r) представляет собой эллипсоид /' (Er), являющийся образом шара Er, при линейном отображении/'. Поэтому
sn
C//)rn-1 -o(rn-‘))E)-o(r-')) <
sn 1 sn—s—1
(nf mn-1Sr )s+1 < C1 (s (Ur ^ (m/ (Ur )) s+1 ,
sn-s-1
где постоянная С2 > 0 зависит от п. Разделив неравенство на г ;+1 и устремляя г ^ 0, будем иметь
J<*-f f < c3 (ф (x))) f lim mfm
sn-s-1
s+1
ln (f' (x)) ^mUr
____mf (U )
Отсюда, поскольку lim- —— = \J (x, f) п.в. в D (см. [17]), получаем
r ^0 mUr
_ 1 J (x,f ,|s Cj (tTjf) ^ f(x)).
Поэтому k;(x,f )J(x,f )<С4Ф;(x), если |j (x, f | Ф 0, ®; k;(x,f )J(x, f ) = 0,
если |J (x, f)l = 0 и, кроме того, к; (x, f)| J(x, f)| вместе с |j (x, f) l конечны п. в. в D.
Следовательно,
j k; (x, f ^J (x f ax < C4 |ф; (x)d ax <»
D D
и теорема доказана.
Замечание 1. Если открытое отображение f: D ^ Rn класса Qs (D), 1/(n -1) < s < n -1, дифференцируемо п.в. в D, то J К/ (x, f)| J (x, f)| dax < да .
D
Действительно, приведенная выше схема доказательства ограниченности этого интеграла при s > n -1 проходит и в случае 1/(n -1) < s < n -1, если мы покажем,
mf (U )
что lim---- —— = |J(x, fп.в. в D.
r^0 mUr 1 V n
В самом деле, из леммы 4 следует, что f есть отображение с ограниченной вариацией в смысле Банаха, и нужное вытекает далее из [7, с. 354-355].
Следствие 1. В условиях теоремы 1 якобиан J (x, f) открытых отображений
f: D ^ Rn класса Qs (D) суммируем по области D.
Из результатов монографии [7] и теоремы 1 непосредственно вытекают следующие утверждения.
Теорема 2. Если f : D ^ Rn - открытое отображение класса qs (D), то образ f (U) всякого измеримого множества U с D есть измеримое множество.
Теорема 3. Для открытого отображения f: D ^ Rn класса Qs (D) при s > (n-1) справедлива формула
j|J(^ f )| dax = j N( f,D)day,
D Rn
а также более общее равенство
j h (f (x) )J (^ f )d ax = j h ( У ) N ( ^, f, D ) d ay ,
U Rn
имеющее смысл для любого измеримого множества U с D и при условии существования одного из интегралов.
Если mf (dD) = 0, то справедлива формула
||J(х f )| d°x = | ц(у,у,D)d°у о я"
и |к(Дх)))/(x,у)dох = | к(у)ц(y, f,о) dоу,
и я"
имеющая смысл при условии существования интеграла слева.
Из теоремы 3 следует интегральная ограниченность степени и кратности отображений с 5-усредненной характеристикой. Для отображений с ограниченным в среднем искажением степень и кратность, вообще говоря, не ограничены на компактах, есть соответствующий пример [1].
Здесь не учитывается присущее гомеоморфному отображению свойство у~
1 е АСЬ" (О '), поскольку обратное отображение является неоднозначной функцией. Тем не менее все же обсудим условия, при которых эквивалентность геометрического и аналитического определений отображений с 5-усредненной характеристикой имеет место. Пойдем в этом направлении, следуя работам [3, 4, 19]. Нами построен пример [20], показывающий, что класс отображений с 5-усредненной характеристикой при 5 > п-1 не пуст и обобщает рассматриваемые в этих работах классы отображений.
Далее рассматриваем непрерывное, открытое, дискретное отображение
У: О ^ О’, у е И/1„,1оС (О \ Ву), у е Wln 1ос (О) и якобиан J (х, /) > 0 почти всюду
в О.
Пусть отображение У с 5-усредненной характеристикой удовлетворяет условиям аналитического определения. Пусть также для отображения у выполнено геометрическое определение У е Qss, (О).
Покажем, что при таком понимании геометрическое и аналитическое определения отображений с 5-у средненной характеристикой эквивалентны.
Теорема 4. Пусть у : О ^ О' - непрерывное открытое дискретное отображение, 5, 5 > п-1. Следующие условия эквивалентны:
(1) у - отображение с К15 -усредненной характеристикой и
| К0 (х у У ох <”;
О
(2) у е ]¥ ",1ос (О \ В у), у е Wln 1ос (О) - невырожденные в своих областях задания отображения и следующие интегралы конечны |К5 (х, у)| J (х, уРох ,
О
| г-')\>(у. dOy;
к *\ у (В{ пУ])
(3) у е 0^ - (О);
(4) у е Ч^( О).
Доказательство. Условие (3) вытекает из (4) очевидным образом. Если выполнено (3), то по теореме 1 имеем, что отображение у е Wn 1ос (О), дифференцируемо почти всюду в О и интеграл |К/(х,у(х,у)^ох конечен.
О
Остается показать, что / 1 е\¥ п,1ос (О \ В у).
Пусть область Vс О и у(V) = V*. Точка у е V* \ (Ву п V,), /^(у) П V = {х,}. Как показано выше, существуют окрестности V, = и(х,, /, г) точек х, такие, что / = /V - гомеоморфизм. Поэтому можно рассмотреть отображение
/— : Вп (у, г) ^ V, причем / о /~х - тождественное отображение. Тогда по теореме 8.3 [1] получаем, что /— является АСЬ-отображением, невырожденным почти всюду в области своего задания, и интеграл | к;'( у, /-')| J ( у, /г1)\ d о у
V *\ / ( В/ пV,)
конечен, где 5' >п -1.
Проверим, что условие (2) влечет условие (1). Так как J(x,/) Ф 0 и К1(х,/) > 1
почти всюду в О, то из конечности интеграла | Кь1(х, /)|J(х,/)^ох вытекает,
Э
что 0 < 3 (х, /) < ® почти всюду в Э. Поэтому характеристики
К”-1 (х, /) > К0 (х, /) > 1 почти всюду в Э, и из очевидных неравенств
да > | К (х, /) 13 (х, / )| а ах > | К0/(п-1) (х, /) 13 (х, / )| а а х >
Э Э
>| К0 (^ /) 13(^ /^ аах > 11/ ’(х)|П аах
э э
заключаем, что / є Wl 1ос (Э).
Покажем, что /— є Wn 1ос (Э \ В/). В самом деле, так как
І Кї(У,/Ґ)\3(У,/-1)\аау > | К0/(п-1)(у,/-1)\3(У,/-1)\йау >
У*\/(В/ ) У*\/(В/ п¥,)
/-у
> І КО (у, /-')| 3 (у, /-1)\ а а у > І
V *\ / (В/ ГУ,) V *\/ (В/ п V,)
СУк
а ау
и отображение / 1 квазиконформно в среднем, следовательно, / 1еWn11oc( О \ В/).
Поскольку АСЬп-гомеоморфизмы обладают Ж-свойством [7, 12], то / и / невырождено дифференцируемы в своих областях задания [1, 12], и поэтому кI (у, /-) = Ко (х, /) для почти всех у = /(х).
Производя во втором интеграле замену переменных [7, теорема 3, с. 364], получим
”> I К1 (У /гг1)\1 (У, /г1)\ d 0у >| /)d 0х.
V *\/( В/ ^ ) V
Для завершения доказательства теоремы остается убедиться, что условие (4) есть следствие условия (1).
Из теоремы 2 [5] вытекает, что в качестве Ф*5 (и) следует взять ограниченную неотрицательную абсолютно непрерывную о-аддитивную функцию измери-
мых множеств в D, определяемую равенством
Ф1 (U ) = j K (х, f )| J (х, f)| da х.
и
Аналогично из [5, следствие 1 теоремы 2] и в силу известного неравенства, связывающего характеристики отображений между собой, вытекает, что за Ys, (U') следует взять функцию, определяемую равенством
YS'(U') = j Kf(х, f )| J(x, f )| dax.
w
Теорема доказана.
Теоремы 1-4, доказанные для отображений с s-усредненной характеристикой, можно распространить на классы и подклассы отображений с ограниченным интегралом Дирихле, квазирегулярных [1, 2] и др., пользуясь вложениями, доказанными в работе [20].
Для негомеоморфных квазирегулярных отображений эквивалентность аналитического и метрического определений доказана в [2]; для гомеоморфных отображений с искажением, ограниченным в среднем, эквивалентность аналитического и геометрического определений доказана в работе В.И. Кругликова [3], для негомеоморфных отображений с искажением, ограниченным в среднем, - в работе А.Н. Малютиной [4].
Исходя из высокой значимости модульной техники при исследовании геометрических свойств пространственных отображений, профессор О. Мартио предложил следующую общую концепцию - теорию Q-гомеоморфизмов, основы которой были заложены, начиная с работы [22] и др., а в работе [23] концепция ^-гомеоморфизмов была распространена на отображения с ветвлением, так называемые ^-отображения.
Приведем теорему об оценке модуля.
Теорема 5 (об оценке модуля [11, 20]). Пусть f: D ^ Rn - отображение с К^-усредненной характеристикой. Тогда выполняется неравенство
M(Г')<М f(p(x))"KJ (х, f )dax , (9)
рлГ D
где Г - некоторое семейство кривых, в области D, Г' - образ семейства Г при отображении f.
Оценка (9) указывает на непосредственную связь класса отображений с s-усредненной характеристикой с теорией Q-гомеоморфизмов [11, 24-27], интенсивно развивающейся в последние годы (ср. с определением ниже).
Определение 6 [22]. Пусть D - область в Rn, п > 3, и пусть Q : D ^ [1,®] -
измеримая функция. Гомеоморфизм f: D ^ R = Rn U {“} называется Q-гомеоморфизмом, если
M ( f (Г)) < j Q (х)рп (х)dm(х)
D
для любого семейства Г путей в D и любой допустимой функции р для Г. Здесь непрерывность отображений понимается относительно сферической (хордальной) метрики.
ЛИТЕРАТУРА
1. Решетняк Ю.Г. Пространственные отображения с ограниченным искажением. Новосибирск: Наука, 1982. 288 с.
2. Martio O., Rickman S., Vaisala J. Definitions for quasiregular mappings // Ann. Acad. Sci. Fenn. Ser. A1. 1969. No. 448. P. 1-40.
3. Кругликов В.И., Пайков В.И. Некоторые геометрические свойства отображений с искажением, ограниченным в среднем. Донецк: Донецк ун-т, 1982. 43 с. (Деп. в ВИНИТИ 06.09.82 № 4747-82 Деп).
4. Малютина А.Н. Об эквивалентности геометрического и аналитического определений отображений с ограниченным в среднем искажением // Экстремальные задачи теории функций 8. Томск: Изд-во Том. ун-та, 1990. С. 64-70.
5. Малютина А.Н., Елизарова М.А. Оценки искажения модулей для отображений с s-усредненной характеристикой // Вестник Томского государственного университета. Математика и механика. 2010. № 2(10). С. 5-15.
6. Сычев А.В. Модули и пространственные квазиконформные отображения. Новосибирск: Наука, 1983. 152 с.
7. Rado T., Reichelderfer R.V. Continuous transformation in analisis. Berlin - Gottingen -Heidelberg: Springer-Verlag, 1955. 442 p.
8. Чернавский А.В. Конечнократные открытые отображения многообразий // Мат. сб. 1964. Т. 65. № 3. С. 357-369.
9. Полецкий Е.А. Метод модулей для негомеоморфных квазиконформных отображений // Мат. сборник. 1970. Т. 83 (125). № 2 (10). С. 261-273.
10. Малютина А.Н., Елизарова М.А. Теоремы о полунепрерывности снизу отображений с s-усредненной характеристикой // Вестник Томского государственного университета. Математика и механика. 2009. № 4(8). С. 46-52.
11. Елизарова М.А., Малютина А.Н. Отображения с s-усредненной характеристикой. Определение и свойства // LAP LAMBERT. Academic Publishing, 2013. С. 121.
12. Vaisala J. Lectures on n-dimentional quasiconformal mappings. - Lectures and Notes in Math. Berlin - Heidelberg - New-York: Springer-Verlag, 1971. 144 p.
13. Гольдштейн В.М. Емкость и продолжение функций с обобщенными производными // Сиб. мат. журн. 1982. Т. 23. № 1. С. 49-59.
14. Малютина А.Н., Кривошеева И.И., Баталова Н.Н. Искажение сферического модуля семейства кривых // Исследования по математическому анализу и алгебре. Вып. 3. Томск: Изд-во ТГУ, 2001. С. 179-195.
15. Гусман М. Дифференцирование интегралов в Rn. М.: Мир, 1978. 200 с.
16. Hesse J. A />-extremal length and ^-capacity // Arkiv for Math. 1975. V. 13. No. 1. P. 131-144.
17. Мазья В.Г. О некоторых интегральных неравенствах для функций многих переменных // Проблемы математического анализа. Л.: Изд-во ЛГУ, 1973. Вып. 3. С. 33-68.
18. Малютина А.Н. Устранимость изолированный особенности для отображений с искажением, ограниченным в s-среднем // Комплексный анализ и математическая физика. Школа-семинар. Материалы докладов. Красноярск, 1987. С. 72.
19. Сычев А.В., Малютина А.Н. Об отображениях с ограниченным в среднем искажением // Докл. АН СССР. 1985. Т. 283. № 2. С. 317-320.
20. Малютина А.Н., Елизарова М.А. Дифференциальные свойства отображений с s-усред-ненной характеристикой // Вестник ТГУ. 2007. № 300(1). С. 124-129.
21. Малютина А.Н., Елизарова М.А. О связи классов отображений с s-усредненной характеристикой с некоторыми классами пространственных отображений // Вестник Томского государственного университета. Математика и механика. 2010. № 4(12). С. 18-32.
22. Мартио O., Рязанов В., Сребро У., Якубов Э. К теории Q-гомеоморфизмов // Докл. РАН. 2001. Т. 381. № 1. С. 20-22.
23. Martio O., Ryazanov V., Srebro U., and Yakubov E. Mappings with finite length distortion // J. d’Anal. Math 93 (2004). P. 215-236.
24. Martio O., Ryazanov V., Srebro U., and Yakubov E. Q-homeomorphisms, Contemporary // Math. 2004. V. 364. P. 193-203.
23. Martio O., Ryazanov V., Srebro U., and Yakubov E. On Q-homeomorphisms // Ann. Acad. Sci. Fenn. 2003. V. 30. No. 1. P. 1-21.
26. Ryazanov V. and Sevost’yanov E. Toward the theory of ring Q-homeomorphisms // Israel J. Math. 200S. V. 16S. P. 101-11S.
27. Рязанов В.И., Севостьянов Е.А. Равностепенно непрерывные классы кольцевых Q-гомеоморфизмов // Сиб. матем. журн. 2007. Т. 4S(6). С. 1361-1376.
Статья поступила 23.12.2012 г.
Malyutina A.N., Elizarova M.A. ON EQUIVALENCE OF THE ANALYTICAL AND GEOMETRICAL DEFINITIONS OF MAPPINGS WITH AN s-AVERAGED CHARACTERISTIC. In this paper we continue to develop the geometric method of studying properties of space mappings with an s-averaged characteristic. The method is based on the characteristic distortion law for modules of families of curves.
In recent decades, the theory of mappings with bounded distortion in the n-dimensional Euclidean space is one of the most meaningful and intensively developed branches of the function theory. These mappings were introduced and systematically studied in works by Yu.G. Reshet-nyak, published since 1966. A part of Yu. G. Reshetnyak's results is contained in [1].
The most powerful tools used in the study of space mapping properties are methods that study invariance properties of conformal capacity or the module of families of curves. The equivalence of analytical and geometrical (expressed in terms of the conformal capacity of condensers) definitions of mappings with bounded distortion was introduced by O. Martio, S. Rickman and J. Vaisala [2]. In [3], the equivalence was proved for definitions of homeomorphic mappings with distortion bounded on the average. The equivalence for mappings nonhomeomorphic with distortion bounded on the average was considered in [4].
In the presented paper, we give a geometric definition of mappings with an s-averaged characteristic using the concept of a spherical p-module of a family of curves. This definition can also be interpreted as a generalization of the method of modules for mappings with an s-averaged characteristic. We also study these mappings properties and prove the equivalence of the geometric and analytic definitions using the distortion theorems.
Keywords: space mappings with an s-averaged characteristic, geometrical method of modules, equivalence, branching points.
REFERENCES
1. Reshetnyak Yu.G. Prostranstvennye otobrazheniya s ogranichennym iskazheniem. Novosibirsk: Nauka, 19S2. 2SS p. (in Russian).
2. Martio O., Rickman S., Vaisala J. Definitions for quasiregular mappings // Ann. Acad. Sci. Fenn. Ser. A1. 1969. No. 44S. P. 1-40.
3. Kruglikov V.I., Paykov V.I. Nekotorye geometricheskie svoystva otobrazheniy s iskazheniem, ogranichennym v srednem. Donetsk: Donetsk un-t, 19S2. 43 p. (Dep. v VlNITl 06.09.S2 No. 4747-S2 Dep) (in Russian).
4. Malyutina A.N. Ob ekvivalentnosti geometricheskogo i analiticheskogo opredeleniy otobrazheniy s ogranichennym v srednem iskazheniem // Ekstremal'nye zadachi teorii funktsiy S. Tomsk: Izd-vo Tom. un-ta, 1990. P. 64-70 (in Russian).
3. Malyutina A.N., Elizarova M.A. Otsenki iskazheniya moduley dlya otobrazheniy s s-usrednennoy kharakteristikoy // Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika. 20і0. No. 2(10). P. 3-13 (in Russian).
6. SychevA.V. Moduli i prostranstvennye kvazikonformnye otobrazheniya. Novosibirsk: Nauka, 19S3. 132 p. (in Russian).
7. Rado T., Reichelderfer R.V. Continuous transformation in analisis. Berlin - Gottingen -Heidelberg: Springer-Verlag, 1933. 442 p.
S. Chernavskiy A.V. Konechnokratnye otkrytye otobrazheniya mnogoobraziy // Mat. sb. 1964. V. 63. No. 3. P. 337-369 (in Russian).
9. Poletskiy E.A. Metod moduley dlya negomeomorfnykh kvazikonformnykh otobrazheniy // Mat. sbornik. 1970. V. S3 (123). No. 2 (10). P. 261-273 (in Russian).
10. Malyutina A.N., Elizarova M.A. Teoremy o polunepreryvnosti snizu otobrazheniy s s-usrednennoy kharakteristikoy // Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika. 2009. No. 4(S). P. 46-32 (in Russian).
11. Elizarova M.A., Malyutina A.N. Otobrazheniya s s-usrednennoy kharakteristikoy. Opredelenie
i svoystva // LAP LAMBERT. Academic Publishing, 2013. P. 121 (in Russian).
12. Vaisala J. Lectures on n-dimentional quasiconformal mappings. - Lectures and Notes in Math. Berlin - Heidelberg - New-York: Springer-Verlag, 1971. 144 p.
13. Gol’dshteyn V.M. Emkost' i prodolzhenie funktsiy s obobshchennymi proizvodnymi // Sib. mat. zhurn. 19S2. V. 23. No. 1. P. 49-39 (in Russian).
14. Malyutina A.N., Krivosheeva I.I., Batalova N.N. Iskazhenie sfericheskogo modulya semeystva krivykh // Issledovaniya po matematicheskomu analizu i algebre. Vyp. 3. Tomsk: Izd-vo TGU, 2001. P. 179-193 (in Russian).
13. Gusman M. Differentsirovanie integralov v Rn. Moscow: Mir, 197S. 200 p. (in Russian).
16. Hesse J. A p-extremal length and p-capacity // Arkiv for Math. 1973. V. 13. No. 1. P. 131-144.
17. Maz’ya V.G. O nekotorykh integral'nykh neravenstvakh dlya funktsiy mnogikh peremennykh // Problemy matematicheskogo analiza. L.: Izd-vo LGU, 1973. Vyp. 3. P. 33-6S (in Russian).
15. Malyutina A.N. Ustranimost' izolirovannyy osobennosti dlya otobrazheniy s iskazheniem, ogranichennym v s-srednem // Kompleksnyy analiz i matematicheskaya fizika. Shkola-seminar. Materialy dokladov. Krasnoyarsk, 19S7. P. 72 (in Russian).
19. Sychev A.V., Malyutina A.N. Ob otobrazheniyakh s ogranichennym v srednem iskazheniem // Dokl. AN SSSR. 19S3. V. 2S3. No. 2. P. 317-320 (in Russian).
20. Malyutina A.N., Elizarova M.A. Differentsial'nye svoystva otobrazheniy s s-usrednennoy kharakteristikoy // Vestnik TGU. 2007. No. 300(1). P. 124-129 (in Russian).
21. Malyutina A.N., Elizarova M.A. O svyazi klassov otobrazheniy s s-usrednennoy kharakteristikoy s nekotorymi klassami prostranstvennykh otobrazheniy // Vestnik Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika. 2010. No. 4(12). P. 1S-32 (in Russian).
22. Martio O., Ryazanov V., Srebro U., Yakubov E. K teorii Q-gomeomorfizmov // Dokl. RAN. 2001. V. 3S1. No. 1. P. 20-22 (in Russian).
23. Martio O., Ryazanov V., Srebro U., and Yakubov E. Mappings with finite length distortion // J. d’Anal. Math 93 (2004). P. 213-236.
24. Martio O., Ryazanov V., Srebro U., and Yakubov E. Q-homeomorphisms, Contemporary // Math. 2004. V. 364. P. 193-203.
23. Martio O., Ryazanov V., Srebro U., and Yakubov E. On Q-homeomorphisms // Ann. Acad. Sci. Fenn. 2003. V. 30. No. 1. P. 1-21.
26. Ryazanov V. and Sevost’yanov E. Toward the theory of ring Q-homeomorphisms // Israel J. Math. 200S. V. 16S. P. 101-11S.
27. Ryazanov V.I., Sevost’yanov E.A. Ravnostepenno nepreryvnye klassy kol'tsevykh Q-gomeomorfizmov // Sib. matem. zhurn. 2007. V. 4S(6). P. 1361-1376 (in Russian).
MALYUTINA Aleksandra Nikolaevna (Tomsk State University, Tomsk, Russian Federation)
E-mail: nmd@math.tsu.ru
Elizarova Mariya Aleksandrovna (Tomsk Polytechnic University, Tomsk, Russian Federation)
E-mail: elizarova_m@sibmail.com
