Научная статья на тему 'Геометрия пространств Карно - Каратеодори, квазиконформный анализ и геометрическая теория меры'

Геометрия пространств Карно - Каратеодори, квазиконформный анализ и геометрическая теория меры Текст научной статьи по специальности «Математика»

CC BY
264
43
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук

Аннотация научной статьи по математике, автор научной работы — Водопьянов Сергей Константинович

В настоящей работе приводятся результаты по геометрии пространств Карно Каратеодори. Демонстрируется применение этих результатов для доказательства \Cal P-дифференцируемости липшицевых и слабо контактных отображений пространств Карно Каратеодори. Показаны также некоторые применения теории дифференцируемости к геометрической теории меры и теории квазиконформных отображений на пространствах Карно Каратеодори.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Геометрия пространств Карно - Каратеодори, квазиконформный анализ и геометрическая теория меры»

Владикавказский математический журнал Январь март, 2003, Том 5, Выпуск 1

УДК 517.518.23+517.54+517.813.52+517.954

ГЕОМЕТРИЯ ПРОСТРАНСТВ КАРНО — КАРАТЕОДОРИ, КВАЗИКОНФОРМНЫЙ АНАЛИЗ И ГЕОМЕТРИЧЕСКАЯ ТЕОРИЯ МЕРЫ1

Приводятся результаты по геометрии пространств Карно — Каратеодори. Демонстрируется применение этих результатов для доказательства Т5-дифференцируемости липшицевых и слабо компактных отображений пространств Карно — Каратеодори. Показаны также некоторые применения теории дифференцируемости к геометрической теории меры и теории квазиконформных отображений на пространствах Карно — Каратеодори.

Хорошо известно, что в основании широкого круга проблем геометрической теории меры лежит теорема Радемахера о дифференцируемости липшицевых отображений. Отображение / : —> Жта, удовлетворяющее условию

для всех точек х,у € Жп, где постоянная С не зависит от выбора точек х,у € Жп, называется липшицевым. Как видно из определения, липшицевы отображения позволяют контролировать геометрию образа геометрией прообраза.

В 1919 году Радемахер исследовал дифференциальные свойства липшицевых отображений. Напомним, что линейное отображение Ь : Шп ^ Жта называется дифференциалом отображения / : —> Жта в точке х, если

Теорема 1 [37]. Всякое липшицево отображение / : —> Жта дифференцируемо ПОЧТИ всюду.

Несколькими годами позже В. Степанов установил дифференцируемость отображений, удовлетворяющих более слабому сравнительно с (1) условию: для отображения / : —> Жта вместо условия (1) он рассмотрел

С. К. Водопьянов

Введение

\№-№\^с\х-у\

(1)

|[/(ж + и) — /(ж)] — Ь(у)| = о(|г>|) при V —> 0.

Ит

->-х

< ОС ПОЧТИ всюду.

(2)

© 2003 Водопьянов С. К.

1

Работа выполнена при частичной поддержке Российского фонда фундаментальных исследова-

ний (код проекта 03-01-00899) и программы «Университеты России» (УР.04.01.050).

Теорема 2 [40]. Всякое липшицево отображение / : Жп Жта, удовлетворяющее условию (2), дифференцируемо почти всюду.

Теорема 1 служит основой для решения ряда задач геометрической теории меры (см., например, [18, 19]). Теоремы 1 и 2 широко применяются в смежных разделах анализа и его приложениях. Отметим, что дифференцируемость квазиконформных отображений получается непосредственно из теоремы Степанова, так как всякое квазиконформное отображение удовлетворяет условию (2) (см., например, [11]).

Условие (1) легко обобщается на случай отображений метрических пространств: отображение / : (М, d) (М, d) метрических пространств называется липшицевым, если

d(f(x),f(y))^Cd(x,y) (3)

для всех точек х,у € М. Наименьшая постоянная С в этом неравенстве называется постоянной Липшица и обозначается символом Lip/.

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

Проблему дифференцируемости липшицевых отображений в неримановых метриках впервые исследовал П. Пансю [35] при изучении дифференциальных свойств квазиконформных отображений групп Карно.

Напомним, что группой Карно [35] или стратифицированной однородной группой [17] называется связная односвязная нильпотентная группа Ли G, алгебра Ли V которой разлагается в прямую сумму V\ © • • • © Vm векторных пространств таких, что dim Fx ^ 2, [Vi, Vfc] = Vk+i для 1 О ^ m - 1 и = {0}. Пусть векторные по-

ля Хц,..., XiTll образуют базис пространства Г|. Поскольку они порождают V, для каждого 1 < i ^ т можно выбрать базис Х^-, 1 ^ j ^ щ = dim V',. в V*, образованный коммутаторами полей Хц, С V\ порядка % — 1. Отождествим элементы g € G с

та

элементами х € Ж^, N = ^ щ, х = (:%■), 1 ^ i ^ т, 1 ^ j ^ щ, посредством экс-

г=1

поненциального отображения exp{^2xijXij) = g■ Растяжения St, определяемые как 5tx = суть автоморфизмы G для любого t > 0. Мера Лебега dy

m

па Ж^ — биинвариантная мера Хаара на G, и d(6tx) = l''dx. где i' V i dim V, —

г=1

однородная размерность группы G. Мера Лебега \Е\ измеримого множества Е С G равна f dx.

Е

Евклидово пространство Жп со стандартной структурой служит примером абеле-вой группы: векторные поля г = 1,... ,п, не имеют нетривиальных коммутационных соотношений и образуют базис соответствующей алгебры Ли. Примером неабеле-вой группы Карно является группа Гейзенберга ЕР. Ее алгебра Ли имеет размерность 2n + 1, а центр одномерен. Если .V |. • • •. А'„. V |.... ,У„. Г — базис алгебры Гейзенберга, то нетривиальными коммутационными соотношениями будут лишь [Xj, Yj] = Т, % = 1,..., п, все остальные скобки равны нулю.

Однородная норма на группе G является непрерывной функцией р : G [0, ос) класса С°° на G\ {0}, обладающей свойствами:

(a) р{х) = р{х^г) и p(6t(x)) = tp(x);

(b) р(х) = 0 тогда и только тогда, когда х = 0;

(c) существует постоянная с > 0 такая, что р{х\х2) ^ с(р(хi) + р(х2)) для всех Xi,X2 G G.

Естественно, что однородная норма определяется неоднозначно, однако любые две однородные нормы эквивалентны между собой: если р% и — две однородные нормы, то существуют постоянные с\ и такие, что 0 < с\ ^ р\ {х)/ р2 (х) ^ с2 < оо для любого ж € С, отличного от 0. Далее на группе Карно мы фиксируем такую однородную норму р, что р(Ху(0))г равняется длине вектора относительно скалярного произведе-

ния в касательном пространстве к единице группы, Однородная

норма определяет однородную метрику г: для любых двух точек ж, у € С полагаем р(х,у) = р(у^1х). Относительно этой метрики стандартным образом задаются сферы шары В(х,1) и топология, которая оказывается эквивалентной евклидовой. Нормируем меру Лебега таким образом, чтобы мера шара 5(0,1) равнялась риманову объему шара ехр-1(.В(0,1)). Тогда |£?(0,г)| = 7г", где 7 = |£?(0,1)|.

Набор Х\, Х2,..., Хп базисных векторов пространства Ух (здесь и далее полагаем, что п\ = п и Хц = Хг, где % = 1,... ,п) удовлетворяет условию гипоэллиптичности Хёрмандера [23]. Расстоянием Карно — Каратеодори д(х,у) между двумя точками ж, у € С называется нижняя грань длин всех горизонтальных кривых с концевыми точками ж,у, где длина измеряется римановой метрикой, а горизонтальная кривая есть абсолютно непрерывный кусочно-гладкий путь, касательный вектор которого принадлежит У\. Можно показать, что й{х,у) всегда является конечной левоинвариантной метрикой, причем расстояния й{х,у) и р{х,у) эквивалентны: существуют постоянные С3 и С4 такие, что 0 < сз ^ д(х, у) / р(х, у) ^ С4 < оо для любого ж, у € С, ж фу.

П. Пансю получил обобщение теоремы Радемахера на группы Карно в следующей форме.

Теорема 3 [35]. Всякое лппшпцево отображение / : —> С открытого множества II группы Карно О в группу Карно С V-дифференцируемо почти всюду. Соответствующий V-дифференциалу гомоморфизм алгебр Ли определяется отображением Хъ(д) Х^/(д) € йд9)(М) базисных векторов горизонтального подрассмоения, г = 1,... , п.

Здесь V-дифференциал Ь : С —> С интерпретируется как гомоморфизм групп Карно такой, что

1) Ь(ещ>Нх) С сх|> И|.

2) Ь(ё^) = для всех V € С и £ > 0,

3) ёг-1 (/(аО-1/(®М) сходится равномерно к при £ —> 0 на всякой компактной части области определения отображения /.

В работе [35] сформулировано также обобщение теоремы Степанова на группы Карно, однако этот результат оставлен там без подробного доказательства. При внимательном анализе оказалось, что известные в евклидовом пространстве аргументы в случае групп Карно не работают. Основная причина состоит в том, что в евклидовом пространстве всякое лппшпцево отображение измеримого множества может быть продолжено до липшицева отображения всего евклидова пространства (теорема Киршба-ума), а на группах Карно такой теоремы нет (кроме случая, когда область значений — евклидово пространство). Поэтому дифференцируемость липшицевых отображений, определенных на измеримом множестве одной группы Карно со значениями в другой группе Карно, должна устанавливаться как самостоятельный результат. Заметим, что его доказательство, полученное в [8, 41], требует значительно более тонких рассуждений по сравнению с доказательством теоремы 3.

Теорема 4 [8, 41]. Всякое лппшпцево отображение / : Е С измеримого множества Е группы Карно О в группу Карно С V-дифференцируемо почти всюду. Соответствующий V-дифференциалу гомоморфизм алгебр Ли определяется отображением Х%(д) € У\(/(<?)) базисных векторов горизонтального нодрасслоения У\(д),

г = 1,... , п.

Обобщение теоремы Степанова на группы Карно — это прямое следствие теоремы 4.

Теорема 5 [8, 41]. Всякое отображение / : Е —С измеримого множества Е группы Карно О в группу Карно С, удовлетворяющее условию

V-дифференцируемо почти всюду. Соответствующий V-дифференциалу гомоморфизм алгебр Ли определяется отображением Х^(д) ь-» Х^/(д) € ^х (/(<?)) базисных векторов горизонтального нодрасслоения У\{д), г = 1,... , п, где при определении производной вдоль векторного поля используется аппроксимативный предел [41].

Теорема 4 лежит также в основании геометрической теории меры на группах Карно: с ее помощью доказываются теоремы о замене переменной в интеграле Лебега [8, 41] и формулы площади [28, 38, 41], а также исследуются спрямляемые множества [38], и другие вопросы.

Специально отметим работу Дж. Нигера [16], в которой развита концепция дифференцирования для вещественнозначных липшицевых функций, определенных на метрических пространствах, удовлетворяющих некоторым условиям на их геометрию. К сожалению, пока не существует столь общей концепции дифференцирования для липшицевых отображений метрических пространств при условии, что область значений отлична от евклидова пространства.

Цель сообщения — показать, следуя работе [4], как концепция дифференцируемости распространяется на липшицевы отображения пространств Карно — Каратеодори, а затем применить ее к некоторым задачам анализа.

Пространство Карно — Каратеодори (сс-пространство) М характеризуется [20] как риманово многообразие класса С°°, в касательном расслоении ТМ которого выделено горизонтальное подрасслоение НМ С ТМ, удовлетворяющее следующим алгебраическим условиям на коммутаторы гладких векторных полей {Хх,... , Хп}, образующих локальный базис в НМ, n = ditn II:/. : векторные поля {Хх,... , Хп ]- вместе со всеми своими коммутаторами до порядка к € N включительно порождают в ТМ(<?) подпространство Hf~+iM(g) D H^M^g) (полагаем HiM(g) = HM(g)), размерность которого не зависит от выбора точки д. При этом предполагается, что Нк0Ш(д) = ТМ(<?) для некоторого fco, где fco — минимальное целое число, удовлетворяющее этому свойству. Если fco = 0, то НШ(д) = ТМ(<?) для всех д € М, и, следовательно, мы имеем риманово многообразие.

Определим векторные поля Xj, i = 1......V. образующие базис TgU в каждой точке д € U С М, следующим образом: на первом шаге к векторным полям .V |.....Xdim , образующим некоторый локальный базис Н\, добавляем векторные

у^-х d(x, у)

< оо для почти всех х € G,

§ 1. Пространства Карно — Каратеодори

поля Ха1тн1+1, • • •, -ХсНтЯг Так; чтобы поля .V|...., Х^т я2 образовывали базис Н2;

на (к — 1)-ом шаге к полям .V|.....добавляем векторные поля Х^тНц+ь

. . . , ХсИт нк так, чтобы поля Нк образовывали базис Нк. В результате за Си шагов мы получим искомый набор векторных полей Х^, % = 1......V. Каждому векторному полю Х^ сопоставим натуральное число с^Х^ = тт{^ | Х^ € Н^, называемое в дальнейшем (формальной) степенью поля Х^. Очевидно degXj ^ г.

Кусочно-гладкая кривая 7 : [а,Ь] М называется горизонтальной, если €

ь

Н^М.^^))). Ее длина измеряется римановым тензором на М: 1(7) = / ||7(£)|| сИ. Хоро-

а

шо известна теорема Рашевского — Чоу, см., например, [20], в соответствии с которой любые две точки и, V связной окрестности и С М можно соединить кусочно-гладкой горизонтальной кривой 7 конечной длины I (7).

сс-Расстояние Карно — Каратеодори д(х, у) между точками х, у € М определяется как точная нижняя грань длин горизонтальных кривых, соединяющих точки х, у, и является неримановым, если Н\ — собственное подрасслоение.

Доказательство дифференцируемости липшицевых отображений в категории сс-пространств основывается на следующих фактах субримановой геометрии. Известно (см., например, [13]), что отображение

N

вд : (Х1,...,жлг) ехр^^Х^ од, вд(0) =09(О,...,О) =д,

г=1

N = с 11г 11 ///,и. является гладким диффеоморфизмом некоторого евклидова шара Ве(0,ед), где бд — достаточно малое положительное число, в некоторую окрестность

О(д) точки д. Набор чисел {х^}, г = 1......V. где (х±,... ,хм) = € Ве(0,е9),

, N V

называется координатами 1-го рода точки и = ехр! ^ х^Х^) о д.

4=1 '

Определим в О(д) группу растяжений А^ = 6до^ о^1, где однопараметрическое семейство отображений £ > 0, в координатах 1-го рода действует как

5г : (ал,... ,хм) .

Рассмотрим на множестве О(д) набор векторных полей = {X?}, г =

1......V.

Справедлив следующий результат, установленный в [20, 31]. Мы даем другое доказательство этого свойства, которое ближе к методам работ [23, 34].

Лемма 1 [31]. Векторные поля (А / 1......V. сходятся равномерно на

0{д) при £4>0к некоторым гладким векторным полям Xпри этом набор векторных полей {Х^}, г = 1......V. образует базис векторных полей ннльпотентной градуированной алгебры Ли некоторой локальной группы Карно в О(д), причем Х^(д) = Х^(д), / 1......V. Последнее равенство переносит на касательное пространство Т9М структуру ннлыютентной алгебры Ли.

Символом ехр5Х(«) мы обозначаем интегральную линию векторного поля X с началом в точке и € О(д). Напомним [10], что групповая операция в локальной группе Карно, упомянутой в лемме 1, для элементов

N N

а = € 0(д), Ь = ехр(^Аф) € 0{д),

г=1 г=1

определяется следующим образом:

N

N

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

■ Ь = ехр(^О ехр(^ щХ^ (д)

где наборы чисел щ и ^ — столь малы, что правая часть последнего равенства принадлежит О(д).

Определение 1. Метрическое пространство (0(д),дс) с расстоянием Карно — Каратеодори с?с, определяемого посредством набора векторных полей называется

нилъпотентным касательным конусом Громова пространства Карно — Каратеодори (0(д),с1) в точке д.

Таким образом, касательный в смысле Громова конус сс-пространства в точке д € М моделируется локальной группой Карно (0(д),дс). Удобно рассматривать окрестность 0{д) точки д как метрическое подпространство {0{д),(1), так и окрестность единицы некоторой группы Карно.

В силу леммы 1 нильпотентный касательный конус имеет структуру локальной группы Карно. Концепция нильпотентного касательного конуса принадлежит Громову [20]. В случае римановых пространств линейная структура в касательном конусе определяется через координаты первого рода. Заметим, что такой подход к определению касательной структуры в римановой геометрии обычно не используется. Причина здесь состоит в том, что метрики в римановом пространстве и в нормальной системе координат квазиизометричны, причем коэффициент квазиизометричности тем ближе к единице, чем меньше окрестность рассматриваемой точки. Этот факт обычно выражают словами, что метрическая структура риманова многообразия локально евклидова. В случае пространств Карно — Каратеодори метрики пространств (0(д),й) и (0(д),с1,с) уже не сравнимы [32]. Это означает, что даже при исследовании локальных проблем необходимо изобретать новые методы.

Локальное поведение метрик описано в следующем утверждении.

Теорема 6 [4]. Рассмотрим в О(д) векторные поля

где 0 < е ^ £о, щ € [—1,1] — постоянные коэффициенты, е0 — достаточно малое число. Тогда найдутся константы к%, С%, не зависящие от выбора точки д € О(д) и коэффициентов щ, такие, что

Ниже вводится основное для данной работы определение «касательной» сходимости.

Определение 2, Рассмотрим семейство метрических пространств (О(д), -) при малых £ > 0. Пусть последовательность чисел —» 0 при г ^ ос. Будем говорить, что последовательность {х^ € В(д, сходится к точке х € Вс(д,В), где Вс — шар

в метрике йс радиуса Д, если с1с(А1/£.Хг,х) 0 при е 0.

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

N

N

И

тах

{с1(ещ> ехр (<?)), (¿с(ехр У£(<?),ехр К(<?))} < Схе1+К1.

Теорема 7 [4]. Последовательность кривых Vi(n) Е Bi(g, 1), к Е [0,1], где N N

lim cd • = aPtj для р = 1,1, j = 1......V. сходится при lim £j = 0 к кривой

г—юо 1 " ' г—юо

v(k) Е Bc(g, 1), к Е [0,1], где

N N

у{к) = ехр(22кАе*Х'а1>зХз) ° ••• °ехрк Е [0,1].

3=1 3=1

Пусть Е — измеримое множество в М. Отображение / : (Е, й) ^ (М, й) удовлетворяет условию Липшица, если для всех точек х,у Е Е выполняется соотношение (3).

Отображение / : (Е, й) —> (М, ¿) называется V-дифференцируемым в точке д Е Е, если существует гомоморфизм Ь : (Од,дс) —> (Of(g),dc) такой, что

1) йЬ{е) — гомоморфизм горизонтальных подпространств, т. е. йЬ{е) : Ну —> II ^.

2) = ¿¿1/(го) для всех го Е (Од,дс) и достаточно малых £ > 0,

3) ¿(/(го), 1/(го)) = о{й{д,ш)) при 0{д) Э из д.

Отметим, что касательный конус группы Карно — это сама группа Карно. Поэтому, если М и М — группы Карно, то определенный здесь дифференциал совпадает с Р-дифференциалом Пансю.

Следующий результат обобщает известную теорему Радемахера о дифференциру-емости липшицевых функций.

Теорема 8 [4]. Пусть Е С М — измеримое множество, и пусть / : Е —М — лппшпцево отображение из Е в М. Тоща / V-дифференцируемо почти всюду на Е и дифференциал единствен. Соответствующий V-дифференциалу гомоморфизм

алгебр Ли определяется отображением Х^(д) ^ Х^/(д) Е Н\ (/(<?)) базисных векторов горизонтального нодрасслоения Н%(д), г = 1,... , п.

В качестве следствия мы получаем обобщение теоремы Степанова.

Теорема 9 [4]. Пусть Е С М — измеримое множество, и пусть / : Е —М — отображение из Е в М такое, что

— ¿(/(ж),/(<?)) Ит и < оо

х->д,хеЕ а{х,д)

для почти всех д Е Е. Тоща отображение / V-дифференцируемо п. в. на Е и Т-диф-ференциал единствен. Соответствующий Г-дифференциалу гомоморфизм алгебр Ли

определяется отображением Х^(д) ь-» Х^/(д) Е (/(<?)) базисных векторов горизонтального подрасслоения Н%(д), г = 1,... , п, где при определении производной вдоль векторного поля используется аппроксимативный предел [41].

§ 2. Отображения классов Соболева пространств Карно — Каратеодори

Символом В(х,г) обозначается шар в сс-метрике й: В(х,г) = {у € М : с1(х,у) < г}. Стандартным образом относительно сс-метрики определяются хаусдорфовы мера и размерность на М. В работе [31] подсчитано, что хаусдорфова размерность и сс-пространства М выражается формулой

к0 к=1

где положено НоМ(ж) = {0} и поэтому сЦт_НоМ(ж) = 0. В силу условия, наложенного на коммутаторы векторных полей, написанная сумма не зависит от выбора точки х.

Стандартная мера | • | на римановом многообразии М регулярна, в следующем смысле: сс-шар В{х,г) как открытое множество в М удовлетворяет следующему соотношению

С1Г-" < \В(х,г)\ < с2г" (4)

для достаточно малых г, где с\ и с2 — постоянные, не зависящие от выбора точки х на некотором фиксированном компактном множестве с М.

Обозначим символом Т-Ц^ ¿/-мерную меру Хаусдорфа относительно сс-метрики й. Из (4) вытекает, что на любом компактном подмножестве в М мера Т4У пропорциональна мере Лебега.

Напомним, что локально суммируемая функция gi-.il—> Ж называется обобщенной производной функции / : О —» М вдоль векторного поля Х^, если

I сц'Ф (Ш1/{х) = ^ I /х;ф<м"(Х)

п п

для любой тестовой функции € Со°(Я), где X* — дифференциальный оператор,

формально сопряженный к оператору Х^. Последнее означает следующее: если в

N

некоторой системе координат векторное поле Х^ = ^ а^ , то

г=1 3

^ = ¿¿7 (МО-

г=1 3

Заметим, что в случае групп Карно X* = XВектор \7с/(х) = (дх(ж),... ,дп(х)) € НШ(х) называется обобщенным градиентом функции /. Полагаем еще Х^/ = д^.

Определение классов Соболева, Пусть — область в сс-пространстве (М, (£). Функция / : Ж принадлежит пространству Соболева 1ОС(^)) если / €

Дос(^) и существует обобщенная производная / : Ж вдоль векторного поля Х^, г = 1,... , п, принадлежащая

Пусть (X, г) — произвольное метрическое пространство. Мы говорим, что отображение отображение ./' : О —» X принадлежит классу Соболева X), если выполняются следующие условия:

(A) Для любого г € X функция

принадлежит классу

(B) Семейство функций (\7£[/]г)гех имеет мажоранту, принадлежащую классу -^дДос(^); Т. е. существует функция д € Ьддос(1)), не зависящая от г; такая, что |^£[</р]г(ж)| ^ д(х) для почти всех х € О.

В случае М = Жп приведенное выше определение отображения класса Соболева совпадает с определением Ю. Г. Решетняка [12]. В работе автора [41] из этого определения выведены многочисленные свойства отображений классов Соболева на группах Карно. Приведем обобщения некоторых из этих свойств на случай сс-пространств.

2.1. Поточечные оценки. Приводимый ниже результат — очевидное обобщение

рассуждений работы [2]. Для локально интегрируемой функции и произвольного шара

В в сс-пространстве М рассмотрим среднее значение /в = / / ¿х функции / на шаре

в

В. Если / € 1^(М), (/ € [1,оо), то справедлива следующая оценка для потенциала Рисса [24, 26, 27]:

2 В

для почти всех точек ж € -В, где постоянная С выбирается по компактному множеству которому принадлежат центры выбираемых шаров, и некоторой величине го, ограничивающей радиусы рассматриваемых шаров (здесь и далее к В для шара В = В(х,1) есть шар В(х,Ы)). Для точек х, у € -Р определим шар В наименьшего радиуса с центром в точке а такой, что ж, у € В и ¿¿(ж, а) = ¿¿(у, а). Применяя неравенство (5), получаем

|/(Ж)-/(у)|<|/(Ж)-/в| + |/(у)-/в|

2 В 2 В

Оценим первый из интегралов в правой части, второй оценивается аналогично. Очевидно, что 2В С В\ = В(х,1), где 5 = Ы(х,у). Отсюда имеем

/1

§ I т^^

В1

х 23

ОО л

< 1 Р I / < СгёМ^сЩх),

где С% зависит от постоянных в соотношении (4), а

М$д{х) = вир< \В(х, г)!^1 / \д\с1,х:г^6

В(х,г)

— максимальная функция, которая очевидно определена для любой локально суммируемой функции д (если 5 = ос, от вместо М00д{х) будем писать просто Мд{х)). Окончательно приходим к следующему результату.

Предложение 1. Если функция / € И/д1дос(М), д € [1, сю], то для любого компактного множества С М существуют постоянная Сз и множество Б С -Р нулевой меры такие, что для всех точек х,у € -Р \ Б справедливо неравенство

|/(®)-/(у)| ^Сзф,у)(Мз^)(|У£/|)(Ж)+Мз^)(|У£/|)(у)). (6)

2.2. Формальный дифференциал отображений классов Соболева. Из

поточечной оценки (6) вытекает важное для отображений классов Соболева свойство.

Предложение 2. Пусть отображение / : М X принадлежит классу Соболева И^М; X), <7^1, а О С М — компактная область. Тогда для любого е > 0 существует измеримое множество А с О такое, что \0 \ А\ < е и сужение <р\л удовлетворяет условию Липшица.

<\ Фиксируем е > 0 и компактную область £1 щ> О такую, что О С О. Для любой функции / € И^д(М), д > 1, из предложения 1 вытекает существование множества Б С О нулевой меры и неотрицательной функции д € Ьч(0) таких, что выполняется следующее поточечное неравенство:

для всех точек х,у € 0\Б. Заметим, что в качестве ф можно взять произведение максимальной функции от \ Vcfl на некоторую постоянную, зависящую от (предполагается, что \Vcfl продолжена нулем на дополнении к 1)). (Напомним, что с метрикой (I окрестность О является метрическим пространством однородного типа, поэтому максимальная функция является ограниченным оператором в Ьч{0), д > 1, см., например, [39].)

Если д = 1, то приведенная поточечная оценка верна также для / € И^М) при условии, что неотрицательная функция д удовлетворяет условию \{х € О : д{х) ^ ^ Ск^1 для всякого к > 0.

Фиксируем г € X и рассмотрим функцию [/]г(ж) = г(г,/(х)). Заметим, что поскольку область ограничена, то \ф\г € И^1^), так как

|^£[/]г|(ж) ^ д(х) почти всюду в 1), а д €

Поэтому, подставляя в |/(ж) — /(у)| ^ р(х,у)(ф(х) + ф(у)) функцию [/]г вместо /, получаем неравенство

|[/Ш - ИШ\ < (1{х,у){Мд{х)+Мд{у)) (7)

для всех точек х,у € О \ Бг, где Бг — некоторое множество нулевой меры. Правая часть в (7) не зависит от г. Более того, по известным свойствам максимальной функции д принадлежит Ьч{0) при д > 1 и |{ж € О : д(х) ^ Ск^1 при д = 1 для всякого к > 0.

Рассмотрим произвольное счетное всюду плотное множество 2 С /(О) и положим

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

5 — Бг.

-.С X

Тогда |5| = 0. Пусть А = {ж € О : д(х) ^ к}, где к подбирается настолько большим, чтобы \0 \ А\ < е. Тогда \г(г,/(х)) — г(г,/(у))\ ^ 2Ы(ж,у) для любых точек ж, у € А ж х ^ X. Выбирая произвольную последовательность точек /(ж), получаем

неравенство

г(/(ж),/(у)К2Ы(ж,у)

для всех точек ж,у € А. Таким образом, сужение / Ц удовлетворяет условию Липшица. [> _

Если X = М — сс-пространство, то по теореме 8 ограничение /Ц дифференцируемо почти всюду на А. Следовательно, в почти всех точках х (г Л определено соответствие Х^х) —> ж), где в выражении ж) = ^/(ехр£Х;(ж))^=о предел понимается в аппроксимативном смысле [41]. Таким образом, для почти всех ж € А соответствие Х^(х) —> Х^/(х) порождает гомоморфизм алгебр Ли касательных конусов, который будем называть формальным дифференциалом.

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

Теорема 10. Пусть М, М — сс-пространства, а / : М М — отображение класса И/"дДос(М; М), <7^1. Тогда для почти всех ж € М отображение ж) ж)

порождает гомоморфизм алгебр Ли касательных конусов.

Замечание 1. В следующем пункте будет доказана абсолютная непрерывность отображений классов Соболева при д > 1, так что при д > 1 можно считать, что производная Хг/(х) в формулировке теоремы понимается в обычном римановом смысле.

2.3. АСЬ-Свойство. Отображение / : [—а, а] ч>Хв метрическое пространство (X, г) называется абсолютно непрерывным, если для любого е > 0 существует 5 > 0 такое, что для любой совокупность взаимно непересекающихся интервалов €

[—а, а], г € М, удовлетворяющих условию

~ < имеем ^ г(/(щ), /(/%)) < е.

г г

Пусть X — какое-нибудь горизонтальное векторное поле, определенное на открытом множестве О сс-пространства М. Таким образом, Х(х) ф 0 и Х(х) € -ЯхМ(ж) для любого ж € О. Будем предполагать, что замыкание О компактно в М и О содержит подмногообразие 5 коразмерности 1, трансверсальное векторному полю X, т. е. вектор Х(х) не является касательным к $ в каждой точке ж € Пусть еще отображение <р : ехр IX(з) является диффеоморфизмом 5 х (—а, а) на О.

Предложение 3. Пусть / : М X — отображение класса И/'ддос(М;Х), д > 1. Тогда для почти всех в € Б относительно поверхностной меры на Б отображение / абсолютно непрерывно на слое ехр 1Х(з), I € (—а, а).

<1 Фиксируем в /(М) С X некоторое счетное всюду плотное множество X. Возьмем произвольную компактную область С М такую, что О С О. Для любого .г (г У. функция [/]г : П Э I н> г(/(ж),;г) принадлежит классу (О) и существует функция д € не зависящая от г такая, что |\7£[/]г(ж)| ^ д(ж) для почти всех ж € О

(полагаем далее, что д{ж) = 0 вне множества 1)). Следовательно, для функции [/]г справедлива поточечная оценка (6):

IШх) - Шу)\ < а(х,у)(Мд(х) + Мд(у))

(В)

где х, у € О \ Е — произвольные точки, множество Е нулевой меры не зависит от ;г. Заметим, что с метрикой с1 окрестность О является метрическим пространством однородного типа, поэтому максимальная функция является ограниченным оператором в Ья(0), д > 1, см., например, [39]. Поэтому Мд € Ьч{0). Применяя теорему Фубини, получаем, что для почти всех 5 € Б функция д € Ьд(0) на слое 7 = ехр1Х(в), £ € (^а,а), который пересекается с множеством 2 по множеству нулевой меры. На каждом таком слое из поточечной оценки (8) вытекает, что функция [/]г имеет обобщенную производную на слое 7 [2; теорема 3] и поэтому абсолютно непрерывна на 7. Следовательно, на любом интервале (а, (3) слоя 7 имеем

|[/ЬШЧ/Ыт(а)| < / М^ехр^ф))^.

[а,13}

Таким образом, приращение функции [/]г|7 вдоль слоя 7 контролируется интегралом от функции Мд, не зависящим от выбора ;г. Следовательно, возможен предельный переход по г, а так как совокупность точек г; плотна в /(М), последнее неравенство справедливо для любой точки г; € /(М). Полагая 2; = /(а), получим

г(/(а),/(/?)) ^ I Мд(ехргХ(з))М.

[а,¡3}

Отсюда непосредственно проверяется абсолютная непрерывность отображения / на слое 7. Таким образом, доказана абсолютная непрерывность отображения / на почти всех слоях 7 векторного поля X. \>

2.4. "Р-Дифференцируемость отображений классов Соболева.

Теорема 11. ГГуеть М, М — сс-пространства, а / : М —М — отображение класса Соболева И/"(?11ос(М; М), и < д. Тоща / V-дифференцируемо почти всюду в М и соответствующий ему гомоморфизм алгебр Ли совпадает с формальным дифференциалом теоремы 10.

<1 Из поточечной оценки (5) по стандартной схеме получаем модуль непрерывности функции <р € И/д11ос(М), д > и:

\ф)-<р(у)\ ^Сфг.у)1-^ I I(9)

В(х,2г)

для любых точек ж,у € В{х,г), В{х,2г) С М, г ^ го, где постоянная С зависит от постоянной из (5), точки х, оценки для радиусов г о и показателя д. Полагая в неравенстве (9) <р(у) = [/]/(ж)(у) = ¿(/(х),/(у)), получаем

¿(/(ж),/(у)) ^Сф^у)1^ I (10)

В(х,2г)

для любых у € В{х,г), В(х,2г) С М, где g — из определения отображения класса Соболева. Отсюда вытекает

EÄM —i— Г g4z)dzy.

у^х d(x,y) \B(x,2r)\ J 4 ; )

В(х,2г)

Так как правая часть конечна почти всюду в M (по теореме Лебега о дифференцируемое™, см., например, [9]), то

— d(f(x),f(y))

lim----- < оо почти всюду в М.

v->x а(х,у)

Таким образом, / удовлетворяет условию теоремы 9. Поэтому, / V-дифференцируемо почти всюду на М, причем соответствующий ^-дифференциалу гомоморфизм алгебр

Ли определяется отображением Xi(g) i-» Xif(g) € H\{f{g)) базисных векторов горизонтального подрасслоения H\(g), г = 1,... ,п, где при определении производной вдоль векторного поля используется аппроксимативный предел. Поскольку по теореме 10 то же самое отображение порождает формальный дифференциал алгебр Ли касательных конусов, то, следовательно, они совпадают. |>

Непрерывное отображение / : M M называется квазимонотонным, если существует постоянная К ^ 1 такая, что колебание отображения / на любом шаре В(х,г) С M контролируется колебанием / на граничной сфере S(x,r), т. е.

сйат(/(£?(ж,г))) ^ К diam(/(5(ar, г)))

для всех 0 < г < го (ж).

Теорема 12. Всякое непрерывное квазимонотонное отображение / : M —M класса Соболева Wjloc(M; M) V-дифференцируемо почти всюду в M и соответствующий ему гомоморфизм алгебр Ли совпадает с формальным дифференциалом теоремы 10.

<1 Теорема 12 доказывается по схеме доказательства аналогичного результата из [41]. |>

2.5. Л/*-Свойство Лузина. Напомним, что мера Хаусдорфа множества А С X

определяется как предел T-La(Ä) = lim H"(А), где

й—>-+0

Ч^{А) = 7а inf|У^(diamEj)a : А С [J-E,-},

з

совокупность Ej С X, j € N, образует покрытие множества А такое, что diamlï^ si ö, о — неотрицательное число, ja — нормирующий множитель.

Пусть даны два сс-пространства M и М, причем хаусдорфова размерность и первого из них не больше хаусдорфовой размерности второго v ^ й. Отображение / : О М, ß С М, обладает H-свойством, Лузина, если образ f(E) любого множества Е С M нулевой меры имеет нулевую W'-мсру Хаусдорфа в М.

Теорема 13. Всякое непрерывное квазимонотонное отображение / : М М класса Соболева 1ос (М; М) (и непрерывное отображение / : М М класса Соболева

И/"(?11ос(М; М), д > и) обладает N-свойством Лузина. В частности, образ измеримого множества является -измеримым множеством в /(Е).

<1 Сформулированная теорема доказывается по схеме соответствующего результата из [41; теорема 7.1]. Покажем схему рассуждений при д € {и, ос). Достаточно доказать утверждение теоремы для множества Е нулевой меры из компактно вложенной области С М. Пусть и С О — открытое множество, содержащее Е. Известно, что существует совокупность шаров С £7 такая, что

(1) и С [)г В(хг,гг);

(2) В(хг,2гг) С и и Хв(х1,2г1)(х) Л/", где число Я не зависит от выбора открытого множества и, совокупности шаров и точки х £11.

Этому условию удовлетворяет совокупность шаров из разложения типа Уитни области и на шары см., например, [6]. Применим оценку (10) для оценки колебания отображения / на шаре В(хг,Гг):

В{хг,2Гг)

где постоянная С\ не зависит от выбора шара. Для выбранной совокупности шаров {В(Хг,Гг)} получаем

ии(Щ < пи (и) < < ^(а1ат(/(В(Жг,гг))Г

г г

^С^В^гч)!1"^ I д9(г)(Ьу

1 В{хг,2Гг)

% % В(х-1,2Гг)

и

где постоянная С2 не зависит от выбора множества II. Так как мера множества и может быть выбрана сколь угодно малой, то /(Е) имеет Т4У-мщ>у нуль, и образ измеримого множества Т^-измерим в М. \>

Следствие 1. Пусть / : М М — непрерывное открытое отображение класса Соболева И^1ос(М;М). Тогда / обладает М-свойством Лузина: Н"/(Е) = 0, если \Е\ = 0, Е С М. В частности, образ измеримого множества И"-измерим в М.

Замечание 2, Если / : О Р, О с I", — гомеоморфизм (квазимонотонное отображение) класса Соболева 1ОС(£2; Кп), то утверждение следствия 1 (теоремы 13) другим способом доказано в [36] ([30]).

Замечание 3, Теорема 13 очевидным образом обобщается на случай отображений / : М X со значениями в произвольном метрическом пространстве X аналогично тому, как это сделано в [41], когда М — это группа Карно.

§ 3. Элементы геометрической теории меры на пространствах Карно — Каратеодори

3.1. В этом разделе мы покажем как результаты геометрической теории меры, установленные в случае групп Карно в [8, 41], можно обобщить на сс-пространства.

Мы рассматриваем здесь сс-пространства М, М такие, что хаусдорфова размерность и первого из них не превосходит хаусдорфовой размерности и второго.

Можно доказать, следуя [41], что для липшицева отображения / : Е ^ М, где £сМ — измеримое множество, для почти всех х € Е существует предел

который служит локальной характеристикой искажения мер и играет роль якобиана.

Напомним, что функцией кратности (или индикатрисой Банаха) М(у,/,А) отображения /, А С Е, называется величина

с^(Г1(у)ПА) = #{г6Г1(у)П4

Теорема 14. Предположим, что Е\,... . /-Д. С М — измеримые множества, Е = Ц;=| /•,',. а отображение / : Е М, Е С М, и ^ и, таково, что ограничение /| е, липшицево для любого j и якобиан ^ (х) интегрируем на Е. Тогда функция кратности /, Е) измерима на М и

Е

С помощью теоремы 8 можно установить как характеристика (11) связана с V-дифференциал ом.

Предложение 4. Предположим, что Е С М — измеримое отображение, а / : Е —> М — липшицево отображение. Тогда для почти всех х € Е существует предел

(п,,/(Епв(у,г)) Л тгодяОМ)) и ч,

н'(ЕПВМ) ■ у 6 вм) = Ъ{х) = ч'вм = 1

3.2. Будем говорить, что формула площади справедлива для отображения / : Е —> М, Е С М — измеримое множество и // ^ />. если выполняются следующие три условия для произвольной измеримой функции и : Е —> Ж и любого измеримого множества А С Е:

1) функции Лэги и{х)^{х) иМбун ^ и(х) измеримы.

хе^Цу)пА

2) Если функция и неотрицательна, то и(х)Жх)(Ми(х) = [ и(х)<М"(у). (12)

~ хеГ~Ну)пА

3) Если одна из функций

Аэ х ^ и(х)^(х) и Меци ^ и(х)

хЕ/-1(у)ПЛ

интегрируема, то вторая также интегрируема и справедлива формула (12).

Из теоремы 14 стандартным образом, см., например, [41], получаем следующую формулу площади.

Теорема 15. Предположим, что Е\,... . /-Д. С М — измеримые множества, Е =

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Е3, отображение / : Е —> М, и ^ и, таково, что ограничение /|^ липшицево для каждого j. Тогда справедлива формула площади (12).

Из формулы вытекают многие следствия, которые в случае групп Карно установлены в [41]. Мы сформулируем здесь два из них.

Теорема 16. Предположим, что непрерывное отображение / : О —» М, С М — открытое множество, и ^ и, удовлетворяет одному из следующих условий:

(1) / принадлежит классу Соболева М), и < д;

(2) / квазпмонотонно и принадлежит классу Соболева М);

(3) / принадлежит классу Соболева М), д ^ 1, и обладает М-свойством Лузина.

Тогда справедлива формула площади (12).

В теореме 16 формула площади приведена для отображений классов Соболева, обладающих Л/"-свойством Лузина, см., теорему 13. Во всех остальных случаях она верна в следующей форме.

Теорема 17. Предположим, что дано отображение / : И М, О С М — открытое множество, и ^ и, класса Соболева М), 1 ^ д ^ и. Тогда существует множество нулевой меры Е С О такое, что для любого измеримого множества А С О справедлива следующая формула площади:

[ и(х)^(х)<Ми(х)= [ и(х)<Ми(у),

где и — произвольная неотрицательная измеримая функция такая, что произведение и(х)^(х) интегрируемо.

§ 4. Квазиконформные отображения пространств Карно — Каратеодори

Современная теория квазиконформных отображений в евклидовом пространстве представляет собой естественное развитие двумерной теории и имеет многочисленные связи со смежными разделами анализа (см., например, [11]).

Квазиконформные отображения на неримановых пространствах впервые рассматривались Мостовым [33] при исследовании проблемы классификации метрических пространств постоянной отрицательной кривизны. В доказательстве теоремы о жесткости Мостов использовал квазиконформные преобразования идеальной границы некоторого симметрического пространства. М. Громов показал, что геометрия такой

идеальной границы моделируется нильиотентной группой с метрикой Карно — Кара-теодори, не являющейся римановой. Эти пионерские работы стимулировали интерес к изучению квазиконформных отображений на группах Карно [35] и более общих пространствах Карно — Каратеодори [29]. При этом отметим, что нильпотентные группы и многообразия, порождаемые векторными полями, удовлетворяющими условию Хёрмандера [23], с неримановыми метриками, изучались ранее при исследовании ряда вопросов теории субэллиптических уравнений, см., например, [14, 15, 34] и др. Теория пространств Карно — Каратеодори применяется в задачах, связанных с неголономной механикой и других физических задачах, см., например, монографию [32], в которой приведена подробная библиография по этому вопросу. Исследование теории квазиконформных отображений на группах Карно стимулировалось также связью этих отображений с некоторыми функциональными классами (в частности, пространствами Соболева и ВМО) [1, 2, 7, 42, 43].

Систематическое развитие теории квазиконформных отображений на группах Карно началось с группы Гейзенберга [25], на примере которой видно, что наличие нетривиальных коммутационных соотношений требует развития дополнительного (по сравнению с классической ситуацией) аналитического аппарата, который давал бы возможность работать с квазиконформными отображениями на группах Карно с той же эффективностью, что и в Жп. Одной из первых задач, в частности, была задача об эквивалентности различных определений квазиконформности. С этой целью были введены адекватные ситуации понятия математического анализа. В 1989 году П. Пансю ввел понятие дифференцируемости на группах Карно (Р-дифференциал) [35]. Используя концепцию дифференцирования Пансю, Кораньи и Рейманн [25] систематизировали аналитические методы исследования квазиконформных отображений на группах Гейзенберга, предполагая более сильное по сравнению с евклидовым пространством условие: Т'-дифференцируемость почти всюду.

Аналитический аппарат, позволяющий развить теорию квазиконформных отображений на группах Карно при наиболее слабых (аналитических) предположениях развит в серии работ 90-х годов [2, 3, 5, 8, 41, 42].

Развитие теории квазиконформных отображений на группах Карно привело к переосмыслению классических методов и доказательств. Это явилось одним из стимулов к появлению концепции теории квазиконформных отображений и связанной с ней теорией различных функциональных классов (Соболева, ВМО) на метрических пространствах с мерой, удовлетворяющей условию удвоения (пространства однородного типа) или более сильному условию регулярности (мера ц метрического пространства X называется Q-регулярной, если для любого шара В(х, г) С X верно р(В(х, г)) и г^), см., например, [6, 22, 43].

Для гомеоморфизма / : М N двух сс-пространств (М, d) и (N, d) введем величины

~ ~ L ¥{х т)

Lf(xir) = ,ma;x d(f(x),f(y)), lf(x,r) = min d(f(x),f(y)), Hf(x,r) = / '

d(x,y)=r d(x,y)=r lf[X,r)

И ПОЛОЖИМ

Hw(x) = lim Hf(x,r).

* r-)-+0 J

Отображение / называется квазиконформным, если величина Hf(x) ограничена в М Число Hf = ||-Я/(ж)|1/00(М)|| называется коэффициентом квазиконформности отображения /.

сс-Пространство — метрическая структура, на которой из метрического определения квазиконформности можно получить эквивалентное ему аналитическое. В евклидовом пространстве Жп, n 2, метрическое определение эквивалентно тому, что / G ^nJoc и \Df(x)\ si К | det Df(x)\, где Df(x) формальная матрица Якоби, определенная почти всюду. В [2] аналог аналитического определения квазиконформности выведен на группах Карно. Покажем, что рассуждения работы [2] можно обобщить на сс-пространства.

Из приведенного определения квазиконформности стандартным образом выводится, что отображение / удовлетворяет условиям теоремы Степанова. Отсюда и из теоремы 9 выводим

Предложение 5. Всякое квазиконформное отображение / : М N V-дифференцируемо почти всюду.

Стандартным образом [29] проверяется, что обратное отображение также квазиконформно, и, следовательно, также дифференцируемо почти всюду. Заметим, что не может быть такого, чтобы Т^-мера Хаусдорфа образа точек дифференци-руемости равнялась нулю. Поэтому существует точка х такая, что отображение / V-дифференцируемо в точке х, а обратное отображение f^1 V-дифференцируемо в точке f(x). Следовательно, дифференциал Df(x) является изоморфизмом групп касательных конусов, и поэтому размерности Хаусдорфа пространств М и N совпадают. Таким образом, получаем

Предложение 6. Если отображение / : М N квазиконформно, то размерности по Хаусдорфу пространств М и N совпадают.

Предложения 5 и 6 другим способом доказаны в [29].

Справедлив следующий результат, доказательство которого может быть получено с использованием схем из работ [2, 5, 42].

Теорема 18. Для гомеоморфизма / : М N сс-пространств следующие утверждения эквивалентны:

(1) гомеоморфизм / квазиконформен;

(2) обратный гомеоморфизм f^1 : N М квазиконформен;

(3) гомеоморфизм f : М ^ N принадлежит классу ACL и для п. в. х € М формальный горизонтальный дифференциал Df(x) удовлетворяет либо условию

тах{||Д/(е)||(Ж) : ||£|| = 1,£ G VJ ^ Кmin{\\Df (()\\(х) : ||£|| = U С Ы, (13)

либо у словию

\\Dfr(x)^K»\detDf(x)\;

(14)

(4) оператор /* : —1^(М), /*(«) = / о и, ограничен;

(5) оператор /* : —1^(М), /*(«) = / о и, является изоморфизм;

(6) для любого сферического конденсатора I? С N

сарЛГ1^)) < Д"сар„(£>);

(15)

(7) для любого сферического конденсатора D С М

cap„(/(£>)Ktf"cap„(£>);

(16)

(8) гомеоморфизм / : М N принадлежит классу И/111ос(М) и для п. в. х € М формальный горизонтальный дифференциал I?/ удовлетворяет либо условию (13), либо условию (14).

При этом значения Нf, //1 !. Ц/*))^ и наименьшие величины К", К', К" выражаются друг через друга.

В условиях (15) и (16) конденсатор И есть связное открытое множество в С, дополнение к которому имеет две компоненты связности: ^ и а его емкость сарр(1?) относительно пространства равна величине т£||\7/;/ | Ьр{р) ||Р, где нижняя грань берется по всем непрерывным функциям / € равным единице (нулю) на

компоненте ^ (_Ро) конденсатора И.

Из теоремы 6 и способа ее доказательства вытекает несколько утверждений.

Следствие 2. Если отображение / : М N сс-пространств квазиконформно, то

/ е И?>1ос(П).

<1 Если отображение / : М N сс-пространств квазиконформно, то по теореме 18 / € АСЬ и для п. в. х € М формальный горизонтальный дифференциал 1?/(ж) удовлетворяет условию Ци/Ц^ж) Ки\^(х)\. Если и <е М — компактная область, то по теореме 16 о замене переменной имеем

I НА/Г (х)с1Пг/(х) ^К» I ^{х)йНЦх) ^жци), и и

что и требовалось доказать. [>

Следствие 3. Если отображение / : М N сс-пространств квазиконформно, то J^p (х) Ф О ПОЧТИ ВСЮДУ В М.

<1 По теореме 18 и следствию 2 как /, так и 1 принадлежат классу Поэтому (следствие 1) оба отображения / и 1 обладают Л/"-свойством Лузина. По теореме о замене переменной для любого измеримого множества £сМ справедлива формула

I Мх)с1Ж(х) = \<р(Е)\.

Е

Следовательно, для множества Е = {х € М : ¿[¡(х) = 0} имеем \/(Е)\ = 0. Так как 1 также обладает Л/"-свойством Лузина, то Е = 1(/(Е)) имеет меру, равную нулю. 1>

Литература

1. Водопьянов С. К. Ьр-теория потенциала и квазиконформные отображения на однородных группах // Современные проблемы геометрии и анализа.—Новосибирск: Наука, 1989.—С. 45-89.

2. Водопьянов С. К. Монотонные функции и квазиконформные отображения на группах Карно // Сиб. мат. журн,—1996.—Т. 37, № 6.—С. 1269-1295.

3. Водопьянов С. К. О замкнутости классов отображений с ограниченным искажением // Математические труды.—2002.—Т. 5, № 2.—С. 91-136.

4. Водопьянов С. К., Грешнов А. В. О дифференцируемости отображений пространств Карно — Каратеодори // Докл. РАН,—2003.—Т. 389, № 5.—С. 1-5.

5. Водопьянов С. К., Грешнов А. В. Аналитические свойства квазиконформных отображений на группах Карно // Сиб. мат. журн.—1995.—Т. 36, № 6.—С. 1317-1327.

6. Водопьянов С. К., Грешнов А. В. О продолжении функций ограниченной средней осцилляции на пространствах однородного типа с внутренней метрикой // Сиб. мат. журн.—1995.—Т. 36, № 5.—С. 1015-1048.

7. Водопьянов С. К., Латфуллин Т. Г. Весовые пространства Соболева и квазигиперболические отображения на группах Карно // Комплексный анализ в современной математике. К 80-летию Б. В. Шабата.—М.: ФАЗИС, 2001.—С. 81-98.

8. Водопьянов С. К., Ухлов А. Д. Аппроксимативно дифференцируемые преобразования и замена переменных на нильпотентных группах // Сиб. мат. журн.—1996.—Т. 37, № 1.—С. 70-89.

9. Водопьянов С. К., Ухлов А. Д. Операторы суперпозиции в пространствах Лебега и диффе-ренцируемость квазиаддитивных функций множества // Владикавк. мат. журн.—2002.—Т. 4, № 1,—С. 11-33.

10. Постников М. М. Группы и алгебры Ли.—М.: Наука, 1982.—447 с.

11. Решетняк Ю. Г. Пространственные отображения с ограниченным искажением.—Новосибирск: Наука, 1982.—278 с.

12. Решетняк Ю. Г. Соболевские классы функций со значениями в метрическом пространстве // Сиб. мат. журн,—1997.—Т. 38, № 3.—С. 657-675.

13. Хелгасон С. Дифференциальная геометрия и симметрические пространства. Т. I.—М.: Мир, 1964,—533 с.

14. Chernikov V. М., Vodop'yanov S. К. Sobolev Spaces and Hypoelliptic Equations. I // Siberian Advances in Mathematics.—1996.—V. 6, № 3.—P. 27-67.

15. Chernikov V. M., Vodop'yanov S. K. Sobolev Spaces and Hypoelliptic Equations. II // Siberian Advances in Mathematics.—1996.—V. 6, № 4.—P. 64-96.

16. Cheeger J. Differentiability of Lipschitz functions on metric measure spaces // Geometric and Functional Analysis.—1999.—V. 9.—P. 428-517.

17. Folland G. В., Stein I. M. Hardy spaces on homogeneous groups.—Princeton: Princeton Univ. Press, 1982.—274 p. (Math. Notes; 28)

18. Fangima L., Xiaoping Y. Geometric measure theory.—Beijing-New York: Science Press, 2002.—237 p.

19. Federer H. Geometric measure theory.—Berlin: Springer, 1969.—676 p.

20. Gromov M. Carnot-Caratheodory spaces seen from within / In: Sub-Reimannian geometry.—Basel: Birkháuser, 1996.—P. 79-323.

21. Hajlasz P. Sobolev spaces on an arbitrary metric space // Potential Analysis.—1996.—V. 6.—P. 403415.

22. Heinonen J. Lectures on analysis on metric spaces.—NY: Springer, 2001.—140 p.

23. Hórmander L. Hypoelliptic second order differential equations // Acta Math.—1967.—V. 119.— P. 147-171.

24. Jerison D. The Poincaré inequality for vector fields satisfying Hormander's condition // Duke Math. J.—1986.—V. 53, № 2.—P. 503-523.

25. Koranyi A., Reimann H. M. Foundations for the theory of quasiconformal mappings on the Heisenberg group // Adv. Math.—1995.—V. 111.—P. 1-87.

26. Lu G. Weighted Poincaré and Sobolev inequalities for vector fields satisfying Hormander's condition and applications // Eev. Mat. Iberoamericana.—1992.—V. 8, № 3.—P. 367-439.

27. Lu G. The sharp Poincaré inequality for free vector fields: An endpoint result // Eev. Mat. Iberoamericana.—1994,—V. 10, № 3.—P. 453-466.

28. Magnani V. Differentiability and area formula on stratified Lie groups // Houston Journal of Math.— 2001.—V. 27, № 2.—P. 297-323.

29. Margulis G. A., Mostow G. D. The differential of quasi-conformal mapping of a Carnot-Carathéodory spaces // Geometric and Functional Analysis.— 1995.—V. 5, № 2.—P. 402-433.

30. Martio O., Maly J. Luzin's condition (N) and mappings of the class W1,n // J. Eeine Angew. Math.— 1995.—V. 485.—P. 19-36.

31. Mitchell J. On Carnot-Carathéodory metrics // J. Differential Geometry.— 1985.—V. 21.—P. 35-45.

32. Montgomery R. A tour of subriemannian geometries, their geodesies and applications.—Providence: American Mathematical Society, 2002.—260 p.

33. Mostow G. D. Strong Rigidity of Locally Symmetric Spaces // Annals of Mathematics Studies, No. 78.—Princeton, N.J.: Princeton University Press; Tokyo: Tokyo Univ. Press, 1973.—195 p.

34. Nagel A., Stein E. M., Wainger S. Balls and metrics defined by vector fields I: Basic properties // Acta Math.—1985.—V. 155.—P. 103-147.

35. Pansu P. Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un // Ann. of Math.—1989.—V. 119.—P. 1-60.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

36. Reshetnyak Yu. G. Some geometric properties of functions and mappings with generalized derivatives // Mat. Sb.—1966.—V. 7, № 4,—P. 886-919.

37. Rademakher H. Ueber partielle und totale Differenzierbarkeit. I // Math. Ann.—1919.—V. 79.— P. 340-359.

38. Pauls S. D. A notion of rectifiability modeled on Carnot groups.—Hanover, 2001.—21 p. (Preprint, Dartmooth College, http://hilbert.dartmooth.edu/~pauls/preprin4.html).

39. Stein E. M. Harmonic Analysis: Real-Variables Methods, Orthogonality, and Oscillatory Integrals.— Princeton: Princeton Univ. Press, 1993.—695 p.

40. StepanoffW. Ueber totale Differenzierbarkeit // Math. Ann.— 1923.—V. 90.—P. 318-320.

41. Vodop'yanov S. K. P-differentiability on Carnot groups in different topologies and related topics // Труды по анализу и геометрии (Редактор-составитель С. К. Водопьянов).—Новосибирск: Изд-во ИМ СО РАН,—2000.—Р. 603-670.

42. Vodop'yanov S. К. Sobolev classes and quasiconformal mappings on Carnot-Caratheodory spaces // In: Geometry, Topology and Physics. Proceedings of the First Brazil-USA Workshop held in Campinas, Brazil, June 30-July 7, 1996 / Editors: B. N. Apanasov, S. B. Bradlow, W. A. Rodrigues, К. K. Uhlenbeck.—Berlin-New York: Walter de Gruyter & Co.—1997.—P. 301-316.

43. Vodop'yanov S. K., Greslmov A. V. Quasiconformal mappings and BMO-spaces on metric structures // Siberian Advances in Mathematics.—1998.—V. 8, № 3.—P. 132-150.

г. Новосибирск

Статья поступила 20 февраля 2003

i Надоели баннеры? Вы всегда можете отключить рекламу.