Содержание к диссертации
Стр.
Введение 4
Глава I. АБСОЛЮТНО НЕ1ШШ0МНЫЕ РАСПРЕДЕЛЕНИЯ НА РИМАЮВЫХ МНОГООБРАЗИЯХ I. Краткое содержание главы и исторический обзор . 14
2, Основные определения. 17
3. Теорема о приведении струи регулярного распреде
ления к кваз и нормаль ной форме . . 22
4. Верхние оценки множества достижимости для распределений на римановых многообразиях. . . . . . . . 37
5. Теорема о параллелепипеде .46
б. Нормальные формы распределений общего положения и
максимальный рост .55
7. Симметричные полисистемы общего положения . . . .^5
8. Функционал действия 78
9. Примеры .80
Глава П. ЮЛЯ КОНУСОВ НА РИМАНОВОМ Ш0Г00БРАЗИИ
I, Краткое содержание главы и исторический обзор . .89
2. Оііределениия и простейшие свойства полей конусов.92
3, Оценки множества достижимости для полей конусов..96
4. Случай общего положения для полей конусов и поли
систем 112
5. Оценки множества достижимости для полисистем»
Точные показатели КЕазигельдероЕости границы об
ласти достижимости для полисистем общего положе
ния 115
б» Оценки множества точек, достижимых по кривым данной
ДЛИНЫ «*«»*.»..*«..»« .J-iCU
Глава Ш. ЛЕВОИНВАРИАНТНЫЕ РАСПРЕДЕЛЕНИЯ НА ГРУППАХ ЛИ
I. Краткое содержание и исторический обзор, . . * . J^O 2. ЛеЕоинвариантные распределения на полупростых
группах Ли .................. . .1^
3. Лемма о квазидопустимых геодезических треугольни-
132 ка х. ...... ...... ........
4. Теорема об эллипсоиде. J36
5« Теорема об аппроксимации вариационных геодезических* «* . . . . . ...... . . . «I4tl
б» Вычисление геодезических на $0(& с двусторонне
инвариантной метрикой. . . .148
Литература , J56
Введение к работе
Диссертация посвящена теории неголономных распределений, полей конусов и полисистем на римановых многообразиях и группах Ли и их применениям к вариационным задачам» Работа продолжает исследования А.Д«Александрова, А.М,Вершика-Л.Д.<аддеева, Х.Зуссмана, К.Лобри и других.
Неголономные распределения, поля конусов и полисистемы естественно возникают во многих задачах механики [і2,ІЗ»21,24,32, 45] , дифференциальной геометрии [ 10,14,21,28,39,53 ] , вариационном исчислении Гз4,51,52| , теории дифференциальных уравнений [і-3,27,44І и других областях, они имеют многочисленные приложения в прикладных задачах [l5,16,35,42,46") .
ЬйзвиЕаемый е диссертации подход к таким задачам несколько отличается от имевшихся, он связан с методами теории особенностей и существенно использует алгебраическую технику.
Основные результаты диссертации состоят в получении двусторонних оценок множества достижимости (функций Беллмана) для абсолютно неголономных распределений, полей конусов и полисистем общего положения на римановых многообразиях. Эти оценки основаны на полученных в работе квазинормальных формах струй конечных наборов векторных полей общего положения на гладких многообразиях,
Шказано, что длина кратчайшей допустимой кривой, соединяю
щей данную точку х с точками - сферы (с центром ос )
есть, с точностью до мультипликативной константы и малых высшего
порядка, дробная степень Є , причем показатель степени как
функция направления определяется фильт-
рацией ^ , заданной на касательном пространстве в точ-
ке оз последовательностью степеней распределения относительно операции езятия скобки Ли, Кроме того, в диссертации получены точные показатели квазигельдероЕости ростка границы множества достижимости. Показатели квазигельдеровости по различным направлениям определяются той же фильтрацией (f .
Актуальность изучаемых вопросов обусловлена нуждами теории регулирования, теории управления и теории систем. Развитые в данной работе методы позволили получить значительно более глубокую информацию об абсолютно неголономных распределениях, множествах достижимости и свойствах решений вариационных задач,
В механике абсолютно не интегрируемые распределения возникают в теории неголономных задач (характерный пример - задачи о качении) и изучаются уже давно. Механиками рассмотрено большое число конкретных примеров, однако удовлетворительное построение лагран-жевой механики в современных математических терминах дано лишь недавно в работах [12,13] . Это дало возможность прояснить пока еще недостаточно изученные связи между неголономными механическими системами и вариационными принципами, В диссертации разобран пример вариационной задачи на группе Ли.
Полученные результаты представляют интерес также для задач экономической динамики, где естественно возникают ограничения в виде полей конусов (см. напр. 05,16] ). Неголономные распределения встречаются такж е в теории гипоэллиптических операторов (см. [1-3] или 44j и теорема Л.Хермандера о сумме квадратов), Особо выделены задачи на группах Ли, представляющие стандартную модель общей ситуации.
Перейдем к более подробному изложению содержания диссертации. Диссертация состоит из трех глав. В начале каждой мы приво-
дим краткое содержание и исторический обзор.
Первую главу мы начинаем с изучения распределений с особенностями на гладких многообразиях (определены впервые в СЗЗЗ ). Важную роль во есєх рассмотрениях играет понятие роста распределения. Ростом распределения "^ в данной точке называется последовательность натуральных чисел Wif-. > где ^-размерность линейного пространства, порожденного значениями скобок Ли длины ^ I гладких векторных полей 9 таких, что ру) <=: ^(у) при всех и, «
Напомним (теорема З^обениуса), что распределение интегрируемо, если последовательность П-і постоянна (Ht-^i) Б0 Бсех точках многообразия. Распределения называется абсолютно неголо-номным в данной точке ас , если, начиная с некоторого номера to , все n-L равны размерности многообразия* Распределение называется регулярным, если ростки в точкеЦ nL(U,)=const для всех і . Хорошо известно, что почти все, в естественном смысле, распределения абсолютно неголономны. Следующая теорема дает значительно более точную информацию,
ТЕОРЕМІ 1,6,1»
1) Распределения максимального роста образуют открытое
всюду плотное подмножество в множестве всех распределений в
d-топологии Уитни,
Всякое распределение максимального роста регулярно и абсолютно неголономно,
Все распределения (данной размерности) максимального роста имеют один и тот же рост (а значит одну и ту же степень неголономности).
4)Vj i^L^K-i ( к - степень не гол о но мно сти рас-
пределения v максимального роста) yi. e dim у і 0*0 равно размерности Ф; - линейного пространства в свободной алгебре Ли с П1 образующими, натянутого на слова длины ^1
Кроме того, оказывается, что в струях малого порядка
( ~ too г. wflrij К , где а - размерность многообразия,
П-j- размерность распределения) существует Есюду плотная орбита относительно действия группы струй диффеоморфизмов многообразия. Это утверждение получается построением квазинормальной формы струй конечного набора векторных полей - базиса векторных полей распределения» Построение квазинормальной формы является результатом исследования связей между распределениями максимального роста и свободными алгебрами Ли. Квазинормальная форма описывается в терминах семейства Холла I>I,48J и приводится в следующей теореме
'ГЕОРЕМА 1.6.2. Пусть ^ - росток распределения максимально-
го роста, размерности Пі в R- , )-) - семейство Холла е
свободной алгебре Ли с П. образующими, j Р / - базис
векторных полей распределения, занумерованный элементами семейства Холла*
Тогда в некоторой окрестности нуля ii^d найдется система
координат 0и : Ц—* R., Ч < \j такая, что - струи век-
торных полей 9 имеют следующий вид:
Э V ^ +
-4- У Г** <~V 7^ ~
+1 /4«. - .«1,4, хига «, "э^
- 8 -где
К- степень неголономности распределения ї) Построенные квазинормальные формы (см. также, теорему 1,3,1, где получена квазинормальная форма в более общем случае - для произвольного регулярного распределения) позволили получить двустороннюю оценку 2) (ос) - множества точек, достижимых из данной по допустимым кривым длины 4. Є
Показано, что іЕ)^ (~) заключено между двумя параллелепипедами, длины стороны которых определяются ростом распределения. Оценка получена в предположении регулярности распределения, это предположение, как уже было сказано, выполняется е случае общего положения для распределений максимального рост. Оценка дается следующей теоремой,'
ТЕОРЕМА. 1,5,1, Пусть /V} - риманово многообразие, ос ЄМ;^~
регулярное, абсолютно неголономное в точке ос распределение
на (V) j Я Л - базис векторных полей распределения і)т
joc."L - согласованная с базисом система координат.
Тогда найдутся положительные константы 0^С^ С такие,
что ПсеО) <= Sf М с /]GеМпри ЄйЄ0%
Здесь Па,е^) = [?еМ| Kty)U ^а)],
- 9 -(f - функция на множестве натуральных чисел такая, что
(f(l)^[ при Пу{ < і & П.. .
Показано, что приведенные оценки переносятся на случай симметричных полисистем общего положения (теорема 1.7, !) Таким образом, в этом случае существенно усилены имевшиеся здесь верхние оценки Г34,52] и впервые получены нижние.
Во второй главе мы переходим к изучению полей конусов на гладких многообразиях. Получены двусторонние оценки множества точек, достижимых из данной по кривым длины й и по кривым, длина которых равна Показано, что сделанные при доказательстве предположения выполняются для полей многогранных конусов общего положения» Указанные выше утверждения содержатся в следующих теоремах.
ТЕОРЕМА. 2.3.1* Пусть СС - поле конусов на римановом многообразии М,9С-ЄМ и выполнены следующие деэ условия:
а) #(х) - выступающий конус в 7^ М и %і(и)^с<7Г
в некоторой окрестности точки э С <^ ( и,) - раствор конуса
4fety) ).
б) ^определение v<# регулярно и абсолютно неголономно
в точке ГС .
Пусть )^:(- - система координат, согласованная с базисом поля конусов. Тогда найдутся положительные константы с С 0 такие, что у ^- &с справедливы включения:
где QftV) множество точек, достижимых из -ос по допустимым кривым длины й ,
ТЕОРЕМА 2.4.2. Пусть і 4 dun M . Тогда в множестве полей многогранных конусов с v образующими открытое и всюду плот-ное в С -топологии Уитни подмножество составляют поля многогранных конусов, удовлетворяющие следующим двум условиям:
а) конус w(bc)-выступающий
- распределение максимального рос та
ТЕОРЕМА 2.4.2,' Пусть 2 >dlrnM . Пусть $ -подмножество множества - полей многогранных конусов с $> образующими, состоящее из полей многогранных конусов, удовлетворяющих следующим двум условиям
а) конус <#С(х)Еыступакщий,
б) \^Єзс)-ТхМ ;
2г. - подмножество, состоящее из полей многогранных конусов, для которых
А А А во /Ч А
Тогда SLi)$± открыты в S(q в d -топологии Уитни, 3 U S
А. „о
ВСЮДУ ПЛОТНО В S(g в С -топологии Уитни.
Как полученные здесь оценки, так и описание случая общего положения для полей многогранных конусоЕ опираются на теорему о квазинормальных формах струй конечных наборов векторных полей. Оценка множества точек достижимых по допустимым относительно поля конусов кривым длины . дается в предложении 2.6,1, Для полей конусоЕ здесь не возникает существенных дополнительных трудностей по сравнению с предыдущим случаем.
- II -
Теорема 2,5.1 показывает, что для множества точек достижимых по допустимым кривым длины « в случае полисистем общего положения оценки те же, что для полей конусов» Зто позволяет существенно усилить результат, полученный в Г22Л , в частности, давая точные показатели квазигильдероЕости границы множества достижимости для полисистем общего положения:
с it
ПРЕДЛОЖЕНИЕ 2.5.2. Для полисистемы {Хц^ общего положения на римановом многообразии М росток границы множества достижимости есть росток квазигельдеровой поверхности» В системе координат, согласованной с базисом поля конусоЕ, порожденного полисистемой, показатели квазигельдеровости определяются ростом распределения Vfr.l > число показателей квазигельдеровости равных единице есть С-і * равных + есть п.-П: 1 при і = 2,...,к ; здесь [М;^ - максимальный рост распределения размерности п1
'^аким образом точные показатели квазигельдеровости зависят в случае полисистем общего положения лишь от числа векторных полей и определяются ростом в свободной алгебре Ли с числом образующих равным числу векторных полей полисистемы.
Аналогичными методами, но технически сложнее, получаются нижние оценки множества точек, достижимых по кривым данной длины для полисистем общего положения (лемма 2.6,1). Оценки здесь отличаются от аналогичных оценок для полей конусов. Предположения, сделанные при выводе оценок, также более жесткие, однако и эти предположения также выполняются для почти всех полисистем,
В третьей главе мы рассматриваем левоинвариантные распределения на полупростых вещественных группах Ли. Доказана лемма 3.1 о квазидопустимых геодезических треугольниках, использующая на-
личие формального группового закона и формулы Кэмпбелла-Хаусдор-фа и позволяющая для групп Ли получить двусторонние оценки множества достижимости существенно проще и в беекоординат ной форме (теорема 4.1 об эллипсоиде)*
Показано, теорема 5,1, что решение вариационной задачи на минимум длины для пары точек на полупрост ой вещественной группе Ли с абсолютно неголономной сеязью можно аппроксимировать последовательностью кратчайших геодезических (соединяющих те же точки) однопараметрического семейства римановых метрик на той же группе. Семейство метрик устроено так, что движение в запрещенном направлении становится все "дороже" при возрастании параметра*
В последнем параграфе мы вычисляем вариационные геодезические на 20(Ъ) с двусторонне инвариантной метрикой. Связь при этом задана левоинвариантным двумерным распределением»
ТШРЕМА 3.6,1* Для каждой пары точек оо,и е S0(2>) найдется соединяющая их геодезическая одного из следующих двух видов:
а) левый сдвиг однопараметрической группы, идущей в допус
тимом направлении
#№)=Фо <^р ft, 0є 5ор), і є S).
б) равномерная обмотка тора, лежащего в S0(3) , ось кото
рого есть леЕый сдвиг одно пара метрической группы - &ур ^ Fl\),
"^акой тор есть образ отображения
*«! + , Фі,ФгЄ 2і. Этот пример интересен сеоими связями с механикой. Он также демонстрирует некоторые неклассические эффекты, возникающие в неголономных задачах.
- ІЗ -
Заметим еще, что в пзрвой главе рассмотрен пример, позволяю
щий понять общий характер поведения решений неголономных вариа
ционных задач в случае, когда связь задается неголономным распре
делением, степень неголономности которого равна двум, Конфигура-
ционное пространство здесь 2 , связь задана
2п -мерным распределением, і-струя которого находится в общем положении. Точные решения вариационных задач здесь получаются с использованием техники рядов <урье«
