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

Вестник КемГУ №3/1 2011 Вещественный анализ

ВЕЩЕСТВЕННЫЙ АНАЛИЗ

УДК 514.76.2

ТЕОРЕМА СТОКСА ДЛЯ ДИФФЕРЕНЦИАЛЬНЫХ ФОРМ ПРОИЗВОЛЬНОЙ СУММИРУЕМОСТИ

С. К. Водопьянов, А. О. Молчанова

STOKES’ THEOREM FOR DIFFERENTIAL FORMS OF AN ARBITRARY SUMMABILITY

S. K. Vodopyanov, A. O. Molchanova

Работа посвящена исчислению дифференциальных форм соболевского типа. В работах [2, 3] в ситуации, аналогичной теореме вложения пространства Wp в пространство непрерывных функций при условии p > n, определяется интеграл fX и и устанавливается теорема Стокса fX и = JdX du.

В данной работе исследован случай, соответствующий вложению пространства Соболева в пространство Lq при условии p < n. В этом случае мы придаем смысл интегралу от k-формы по k-мерному ориентированному многообразию, чтобы он согласовывался с уже имеющейся теорией. Установлена справедливость формулы Стокса fX и = JdX du в модельном случае X С Rn, dim X = n. Существование интеграла справа понимается в смысле, описанном в данной работе.

The work is devoted to the calculus of differential forms of Sobolev type. The authors of [2, 3] investigated a situation similar to the embedding theorem of Sobolev space W1 into the space of continuous functions provided p > n, defined fX и and established the Stokes’ theorem jX и = JdX du.

In this paper we study the case corresponding to the embedding of W^ into the Lq provided p < n. In this case we give meaning to the integral of k-forms on k-dimensional oriented manifold, to be consistent with already existing theory. We set the Stokes’ formula jX и = jdX dw in the model case of X С Rn, dimX = n. The existence of the integral in the right hand side is understood in the sense described in this paper.

Ключевые слова: дифференциальная форма, интеграл дифференциальной формы, теорема Стокса.

Keywords: differential form, integral of differential form, Stokes’ theorem.

Работа выполнена при частичной поддержке Российского фонда фундаментальных исследований (код проекта 10-01-00662), Совета по грантам Президента Российской Федерации для поддержки ведущих научных школ (НШ-6613.2010.1.)

1. Интегрирование форм класса Wpkq по fc-мерным многообразиям

1.1. Дифференциальные формы классов L p

и Wk

p,q

Дифференциальной формой степени k на n-мерном гладком многообразии D называется произвольное локально-интегрируемое сечение над D расслоения Дk T'D внешней степени кокасательного расслоения T'D. Две формы на D одинаковы, если они совпадают на D почти всюду. Множество всех дифференциальных форм степени k на D обозначим символом Fk (D).

Дифференциальная форма и степени k на D обобщенно дифференцируема, если существует дифференциальная форма в степени k +1 на D, такая, что для каждой гладкой формы <р степени n — k — 1, носитель которой компактен, не пересекается с краем многообразия D и содержится в ориентируемой области V С D, выполнено равен-

ство:

J в А ф = ( —1)к+1 J ш А йф.

У У

Этим равенством форма в определяется однозначно. Форма в называется внешним дифференциалом йш формы ш.

Предположим теперь, что на В задана гладкая риманова метрика. Эта метрика порождает в каждом слое расслоения Дк Т'В скалярное произведение. Поэтому для каждой формы ш почти всюду на В определена функция |ш(ж)|. Положим

IMIp = (у |и(х)|р d^D\ , 1 < p< ж,

X

||и||то = ess sup {|и(х)| : x G D}.

Здесь hd означает меру на D, порожденную римановой метрикой многообразия D.

Пространство Lk(D) состоит из дифференциальных форм и степени k, для которых ||и||р < ж,

Р

Вестник КемГУ №3/1 2011 Вещественный анализ

пространство (Б) = {ш : ш € Ьр(Б),!ш €

Ьк;+1(Б)}. Пространство Ш;,Я(Б) является банаховым относительно нормы ||ш||рд = ||ш||р + |Иш||Я.

Пусть X и У — римановы многообразия. Рассмотрим отображение р : X ^ У, дифференцируемое почти всюду и, кроме того, обладающее свойством: прообраз при отображении р каждого множества меры 0 имеет меру 0. Пусть форма ш € Е;(У), х € X, ен € ТхХ, тогда р(х) € У и для почти всех х имеем !р^) € Т^(х)У. Определим перенесенную форму р*ш € Е;(X) равенством р*ш(х,е\,... ,е;) = ш(р(х), йр(е\),..., dр(e;)), которое выполнено почти всюду на X. При таком определении можно доказать, что р*( ш Л в) = р*ш Л р*в для любых форм ш, в € Е; (У).

Из [3, лемма 1] можно вывести следующее утверждение:

Лемма 1. Если X, У — римановы многообразия, X — компактно и / : X ^ У — диффеоморфизм, то для любых р > 1, д > 1 отображение /* переводит Ь;(У) в Ь;^), (У) в

(X), причем ||/*ш||р < ^1||ш||р, /*!ш = /*ш и

г*

1.2. Интегрирование форм

< С Ус

ІІР, Я’

р > т + 1, д > т,

гральное представление имеет вид:

( г*ш = — [ ш Л (1у+

</ ст </

X В

+(-1); тт Л (Е Уз (! -\УГт )) dj У, (1)

тст </ \ - 1 /

в \з=1 /

где с!зу = dyl Л ... Л dyj Л ... Л dym.

Лемма 3. Пусть ш — гладкая к-форма с компактным носителем на Б, д < т, 1 < р, 1 < г < т—. Тогда существует константа С, зависящая только от X, т, к, р, д, такая, что выполнено неравенство

Вт Хх{у}

йу) < С|М|ря.

ш||р, Я < С2 ||ш||р, Я'

Лемма 2 [3]. Если риманово многообразие Б полно относительно метрики рв, то гладкие на Б формы, имеющие компактный носитель, плотны в ^р;Л(Б) при р < ж, д < ж.

Доказательство. Используя интегральное представление (1) и неравенство Минковского для суммы, получаем:

йг +

г \ Г /

/ ш Лг) < ст{1 J ш А йу

X х{г} / В т в

+ -

(т г \

^ У - гз)йш А У йг) +

Вт 3 =1 В )

дифференциальных

+

Пусть X — к-мерное подмногообразие в (к + т)-мерном римановом многообразии В. В [2] установлено, что для этой поверхности существуют такие дифференциальные формы т степени т и р степени т — 1, заданные в Б, что

J ш = J ш Л т + ( — 1); J Л р

для гладких ограниченных форм ш на Б.

Из этого интегрального представления в работе [3] (другим способом в [2]) получена оценка

\у-г\-т(уз -гз)(1шА^у йг I . _ в з=1 '

Используя неравенство Гёльдера и Минковского, теорему Фубини, а также оценки на потенциал Рисса (см., например, [5, глава 5, теорема 1]), имеем оценку для третьего слагаемого:

^2\у - г\ т(уз - гз А ^ у

з=1

йг <

которая позволяет определить ш для всех

ш € (б).

В настоящей работе исследован другой случай, аналогичный теореме вложения в пространство Ьг, 1 < р < п.

Пусть X — к-мерное компактное гладкое ориентируемое многообразие без края, Вт — единичный шар в Мт, Б = X х Вт. В этом случае инте-

< ^1 Ш J ^ш||у — г\ т dy dx \ dz I <

\Вт \х Вт

< С2 I ^ в/ ^ в/ \г^ш\1у — z|1-m с!х <

Я* ^

< Сз ,1^,1 ^,1 \!ш\\у — z|1-m !х <

< С4 J^ ^ 1!ш1я d^ !х < С^ J\!ш\я с1хс1^ .

Первые два слагаемых оцениваются также с помощью неравенства Гёльдера с учетом соотношения \уз — Zj \ < \у — z| < 2 :

Г

Г

1

тс

т

Г

Г

Г

ш

Вестник КемГУ №3/1 2011 Вещественный анализ

ш Л ду

дг

< С6

\ш\р дг

т р

53 / (уз - гзЛ й]у 3= о

дг

<

< С \ У \дш\Ч дг

Вт X хЫ

ду

0.

Иш

3ш<х>

Хх{у}

Хх{у}

Иш

1

о \Вт(г

лом /х ш.

2. Теорема Стокса для дифференциальных форм класса

В этой главе установлена теорема Стокса для модельного случая: X С К" — п-мерное гладкое компактное ориентируемое многообразие с краем дХ, совпадающим с границей X, край обладает индуцированной ориентацией (другими словами, гладкая область с гладкой границей). Для такого многообразия X его край дХ можно представить как поверхность уровня функции д : К" ^ К класса

4 о 7

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

Если форма ш £ (В), то в силу лем-

мы 2 существует такая последовательность гладких к-форм с компактными носителями ш3, что \\ш] — ш\\рч ^ 0. Лемма 3 дает, что

С такой, что д (0) = дХ, 'Чд(ж) =0 в точках ж £ дХ, д < 0 на X \ дХ и д > 0 вне X. Градиент Уд(ж) перпендикулярен касательной плоскости ТхдХ, и направлен вне многообразия X. В силу непрерывности, градиент Уд(ж) будет также отличным от нуля и в некоторой окрестности многообразия дХ. Для достаточно близких к нулю г обозначим

Хь = {ж : д(ж) < г, Уд(ж) = 0 для д(ж) = г],

при этом граница дХь сти п 1.

многообразие размерно-

В такой ситуации, если форма ш £ Ш" 1(

р,ч

Таким образом, последовательность /хх{у} ш3-фундаментальна в Ьг(Вт), предел этой последовательности обозначим /хх{у} ш. Тогда (вообще говоря, для некоторой подпоследовательности ш^к, но переобозначив, можно считать, что для ш3), для почти всех у £ Вт выполнено:

"),

то интеграл /х дш понимается в классическом смысле, а интеграл /дх ш, определен формулой (2), которую следует понимать следующим образом:

дх

Иш —г

гшо \2г\

дг = Иш

(3)

дXt

дх

Получаем, что для любой формы ш £ Ш к,д(В) и для почти всех у £ Вт интегралу /х х{у} ш можно приписать определенное значение. Определить слои X х {у], для которых определен интеграл /хх{у} ш, можно с помощью теоремы Лебега о дифференцируемости интеграла (формулировку которой можно найти в [5, глава 1, теорема 1]).

Таким образом, если ш £ (К") и X С К"

— к-мерное гладкое многообразие, то приведенные выше рассуждения позволяют определить интеграл х ш следующим образом

Определение 1. Интегралом от дифференциальной формы ш £ Ш к (К") по к-мерному гладкому ориентируемому многообразию X будем называть совпадающие пределы

где ш] — последовательность гладких к-форм с компактными носителями, которая фигурирует в определении 1.

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

Для доказательства теоремы нам также понадобится следующее техническое условие. На дХ выберем счетный набор координатных окрестностей. Потребуем для любой окрестности и из этого набора выполнение условия:

и Пдх

Иш -—г

гшо \2г\

ду = Иш

и Пдхь

и Пдх

(4)

Теорема Стокса. Пусть X С К" — и-мерное гладкое компактное ориентируемое многообразие с краем дХ, совпадающим с границей X, край обладает индуцированной ориентацией, форма ш £ г), и выполнены условия (3) и (4). Тогда

Ш " р,я

1

при условии, что они существуют и конечны. Общее значение пределов в (2) называется интегра-

х дх

Г

Р

1

С

т

г

1

тс

т

В

ч

г

шш

3

ш

ш

3

3

шз < ж.

ш

ш

ш

3-

3

г—►

Вестник КемГУ №3/1 2011 Вещественный анализ

Доказательство. Для отрицательных Ь, достаточно близких к нулю, имеем

X с X,

рим форму ш Є ^М'). Имеем

д((д — і)ш) = дд А ш + (д — ї)дш.

J д((д — і)ш) = 0. X*

0.

ем:

и п

/дв / X ^ (х)аі(х) + ______і і=1

дНп 1(х)

Х>аі(Х> ігу ( ^ (9)

\Уд(х)\

где многообразие Хі определено выше. Рассмот-п-р,я

(6)

Лемма 4. В условиях теоремы верно равенство

(|Уд(х)| не равен нулю на X \ Хг при Ь, достаточно близком к 0).

Обозначая символом ц(х) = (щ(х),... ,пп(х)) =

= |Уд(х)|-1^ -§д (х),..., дХп (х)) нормированный градиент, из (8) и (9) получаем:

(7)

Доказательство. Форма ш Є 1 (Мп), для

нее существует такая последовательность гладких (п — 1)-форм с компактными носителями шз, что шз ^ ш в Wn^q ^М'). Обозначим в = (д — і)ш и вз = (д — і)шз, возьмем компактно вложенную область и С Мп. Тогда

J дв — ! двз < J \дд А (ш — ш3)\+

и и и

+ /1(д - т,>ш - ж С Иш—ш

— tJ дв J Пг(х)а,і(х) д'Нп 1(х) =

= ^ дш + ^ (д — і) дш.

Таким образом, ^ двз ^ § дв. Остается заметить,

ии

что вз — гладкая форма и на Xі верна классическая теорема Стокса, то есть / двз = 0. Отсюда

получаем утверждение леммы, положив и = Х4.

Из (6) и (7) выводим / дд А ш = — / д дш =

X X

= — § (д — і) дш — і § дш и § дд А ш = — §(д — і) дш.

X XXь X

Вычитая из первого равенства второе, получа-

//* /* гуа-іл ь і\ллуііісігу-

дд А ш = — (д — і) дш — і дш. (8) сяк ш в Wpp^q х(Мп).

:\Xt. XX X Использ’уя (4) и

X XX*

Переходя в последней формуле к пределу при і —> 0, имеем:

= / £п,(хЫх,м-'ы. т

X д-1(0) г=1

Для доказательства теоремы остается проверить, что правая часть (10) совпадает с /дх и.

Если и — непрерывная форма, то интеграл от формы и по многообразию дХ определяется с помощью разбиения единицы, подчиненного некоторому конечному покрытию многообразия дХ, и равенству / и = / ф*и, для системы ко-

ипдХ р(ипдХ)

ординат (и П дХ,ф) (см., например, [4]).

Равенство (10) устанавливается с помощью выбора подходящей системы координат на дХ и свойств дифференциальных форм (подробнее см. [1]).

В случае произвольной формы и € '(Мп)

по лемме 2 выберем последовательность {из } гладких форм с компактными носителями, сходящую-

п— 1 /Щ) п\

XXX*

Используя (4) и лемму 1 получаем:

Запишем форму ш в следующем виде:

п

ш = ^2 ( — 1)г-1 аі(х) дхі А ... А дхі А ... А дхп.

і=1

Тогда

.1 ш = Й'о ]Ш( .1

UnдX -г xUr^(дXx{y})

ш ду =

дд

дд А ш = У ——(х)аі(х) дхі А ... А дхі А ... А дхп.

пх-

і=1

дх

Ііт Ііт -—г г^о\2г\

шз ду =

-Г уи n(дXx{y})

Преобразуем левую часть (8) по формуле ко-площади (см. [6, п. 3.2.12]), где Нп — п-мерная мера Хаусдорфа (подробнее см., например, [6, п. 2.10.2])

J дд А и = J дх (х)^г(х) дх =

Ііт Ііт ——-

г^о\2г\

Ф*шз ду

-Г \(иП(д1х{у}))

Ііт —г

г^о \2г\

ф*ш\ ду

XXX*

д-1(і,о)

і=1

-г \(и n(дXх{y}))

о

г

г

г

г

Вестник КемГУ №3j1 2011 Вещественный анализ

= / ф*ш.

1р(и ПдХ)

Таким образом, выбрав на дХ конечное покрытие и разбиение единицы, подчиненное этому покрытию, получаем (5). □

Литература

[1] Водопьянов, С. К. Интегрирование по Лебегу: учебное пособие / С. К. Водопьянов. - Новосибирск: НГУ, 2011. - 144 с.

[2] Гольдштейн, В. М. Дифференциальные формы на липшицевом многообразии / В. М. Гольдштейн, В. И. Кузьминов, И. А. Шведов // Сиб. мат. жур. - 1982. - Т. 23, 2. - С. 16 - 30.

[3] Гольдштейн, В. М. Интегральное представление интеграла дифференциальной формы / В. М. Гольдштейн, В. И. Кузьминов, И. А. Шведов // Функциональный анализ и математическая физика.- Новосибирск: Ин-т математики СО АН СССР, 1985. - С. 53 - 87.

[4] Спивак, М. Математический анализ на многообразиях / М. Спивак. - М.: Мир, 1968. -164 с.

[5] Стейн, И. М. Сингулярные интегралы и дифференциальные свойства функций / И. М. Стейн. - М.: Мир, 1973. - 344 с.

[6] Федерер, Г. Геометрическая теория меры / Г. Федерер. - М.: Наука: Гл. ред. физ.-мат. лит., 1987. - 760 с.

УДК 517.988.2, 514.763.2

ИЗОМЕТРИИ НА ГРУППЕ ПОВОРОТОВ - СДВИГОВ

Д. В. Исангулова

ISOMETRIES ON ROTO - TRANSLATION GROUP

D. V. Isangulova

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

We describe the group of C2-smooth isometries on contact sub-Riemannian manifold, precisely on roto-translation group. We find the conditions providing for a vector field to generate the local one-parameter group of contact or local biLipschitz transformations of roto-translation group.

Ключевые слова: группа поворотов-сдвигов, изометрия, однопараметрическая группа преобразований.

Keywords: roto-translation group, isometry, one-parameter group of transformations.

Работа выполнена при поддержке Российского фонда фундаментальных исследований (№ 11-01-00819) и Совета по грантам Президента РФ по поддержке Ведущих научных школ (НШ-6613.2010.1).

1. Введение

В настоящей работе мы исследуем изометрические и билипшицевые отображения группы поворотов-сдвигов RT (roto-translation group). Группа поворотов-сдвигов — это трехмерное топологиче-

ское многообразие, диффеоморфное координатами (x, y, в) и умножением

х S'1

(x0,y0, в0) • (x,y, в) =

= (x0 + x cos в0 — y sin в0,y0 + x sin в0 + y cos в0

Векторные поля

д д д

A = cos в— + sin в—, B = —, dx dy дв

дд C = — sin в——+ cos в— ox c)y

являются левоинвариантными. При этом выполняются следующие коммутационные условия:

[А, В] = -С, [С, В] = А, [А, С] = 0.

Заметим, что алгебра Ли группы КТ не является нильпотентной.

На группе поворотов-сдвигов можно ввести субриманову структуру, то есть выделить горизонтальное подрасслоение Н = span{А, В} в касательном расслоении, которое своими коммутаторами порождает все касательное расслоение и определяет субримановую метрику (метрику Карно — Каратеодори). Метрика Карно — Кара-теодори d задается как инфимум длин всех горизонтальных кривых, соединяющих две точки (кусочно-гладкая кривая называется горизонтальной, если ее касательный вектор принадлежит Н почти всюду). Для измерения длин горизонталь-

с