ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ ҲУЗУРИДАГИ ФАН
ДОКТОРИ ИЛМИЙ ДАРАЖАСИНИ БЕРУВЧИ 14.07.2016.FM.01.01
РАҚАМЛИ ИЛМИЙ КЕНГАШ
ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ
ШАРИПОВ АНВАРЖОН СОЛИЕВИЧ
Қатламали кўпхилликлар изометриялари
Гуруҳи
01.01.04 – Геометрия ва топология
(физика-математика фанлари)
ДОКТОРЛИК ДИССЕРТАЦИЯСИ АВТОРЕФЕРАТИ
Тошкент – 2016
УДК:
513.8
Докторлик диссертацияси автореферати мундарижаси
Оглавление автореферата докторской диссертации
Content of the abstract of doctoral dissertation
Шарипов Анваржон Солиевич
Қатламали кўпхилликлар изометриялари гуруҳи……………
3
Шарипов Анваржон Солиевич
Группа изометрий слоеных многообразий……………………..
25
Sharipov Anvarjon Soliyevich
The group of isometries of foliated manifolds……………………
47
Эълон қилинган ишлар рўйхати
Список опубликованных работ
List of published works……………………………………………
67
2
ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ ҲУЗУРИДАГИ ФАН
ДОКТОРИ ИЛМИЙ ДАРАЖАСИНИ БЕРУВЧИ 14.07.2016.FM.01.01
РАҚАМЛИ ИЛМИЙ КЕНГАШ
ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ
Шарипов Анваржон Солиевич
ҚАТЛАМАЛИ КЎПХИЛЛИКЛАР ИЗОМЕТРИЯЛАРИ
ГУРУҲИ
01.01.04 – Геометрия ва топология
(физика-математика фанлари)
ДОКТОРЛИК ДИССЕРТАЦИЯСИ АВТОРЕФЕРАТИ
Тошкент – 2016
3
Докторлик диссертацияси мавзуси Ўзбекистон Республикаси Вазирлар Маҳкамаси
ҳузуридаги Олий аттестация комиссиясида 30.09.2014/B2014.5.FM132 рақам билан рўйхатга
олинган.
Докторлик диссертацияси Ўзбекистон миллий университетида бажарилган.
Диссертация автореферати уч тилда (ўзбек, рус, инглиз) Илмий кенгаш веб-саҳифаси
(
http://ik-fizmat.nuu.uz
)
ва
«ZIYONET»
таълим
ахборот
тармоғида
(
www.ziyonet.uz
)
жойлаштирилган.
Илмий маслаҳатчи
:
Нарманов Абдигаппар Якубович
физика-математика фанлари доктори,
профессор
Расмий оппонентлар:
Vakhtang Lomadze
физика-математика фанлари доктори,
профессор (Тбилиси Давлат университети,
Грузия)
Бешимов Рузиназар Бебутович
физика-математика фанлари доктори
Рахимов Абдугафур Абдумаджидович
физика-математика фанлари доктори,
профессор
Етакчи ташкилот: Олий таълимнинг Федерал давлат бюджет таълим
ташкилоти «Удмурт Давлат
университети»
(Россия Федерацияси).
Диссертация ҳимояси Ўзбекистон Миллий университети ҳузуридаги 14.07.2016.FM.01.01
рақамли Илмий кенгашнинг « ___ » ____________ 2016 й. соат _____даги мажлисида бўлиб ўтади.
(Манзил: 100174, Тошкент ш., Олмазор тумани, Университет кўчаси, 4-уй. Тел.: (99871)227-12-24,
факс: (99871)246-53-21, (99871)246-02-24, e-mail:
nauka@nuu.uz
).
Докторлик диссертацияси билан Ўзбекистон Миллий университетининг Ахборот-ресурс
марказида танишиш мумкин (______ рақами билан рўйхатга олинган). (Манзил: 100174, Тошкент
ш., Олмазор тумани, Университет кўчаси, 4-уй. Тел.: (99871) 246-02-24).
Диссертация автореферати 2016 йил «____» _______________куни тарқатилди
(2016 йил «____» _______________ даги _______ рақамли реестр баённомаси).
А.А. Абдушукуров
Фан доктори илмий даражасини берувчи
Илмий кенгаш раиси, ф.-м.ф.д., профессор
Ғ.И. Ботиров
Фан доктори илмий даражасини берувчи
Илмий кенгаш илмий котиби, ф.-м.ф.н.
Р.Б. Бешимов
Фан доктори илмий даражасини берувчи
Илмий кенгаш ҳузуридаги илмий семинар
раиси ўринбосари, ф.-м.ф.д.
4
Кириш (докторлик диссертацияси аннотацияси)
Диссертация мавзусининг долзарблиги ва зарурати.
Жаҳон миқёсида
илмий-техник тараққиётнинг тез суръатлар билан ривожланиши фундамен
тал тадқиқотларнинг янги усулларини яратиш ва олинган натижаларни
амалиётга тадбиқ қилишни талаб этмоқда. Амалиёт талабларидан келиб
чиқиб, дифференциал тенгламалар ва дифференциал топологиянинг туташ
соҳасида француз олимлари томонидан қатламали кўпхилликлар наза
риясининг фундаментал асослари яратилди. Компакт қатламаларнинг
турғунлиги, қатламларнинг лимит тўпламлари инвариант тўпламлиги
исботланди. Қатламали кўпхилликларнинг топологик ва геометрик хоссалари
тадқиқ этиладиган қатламаларнинг сифатий назарияси АҚШ ва Россия
олимлари томонидан тадқиқ қилинди. Шу билан бирга, қатламали
кўпхилликлар назариясини амалиётга тадбиқ этиш геометриянинг муҳим
вазифаларидан бири бўлиб қолмоқда.
Мустақиллик йилларида мамлакатимизда табиий ва аниқ фанларга
эътибор
сезиларли
даражада
кучайтирилди,
хусусан
қатламалар
назариясининг методлар ва натижаларини оптимал бошқарув ҳамда динамик
системалар назарияларига тадбиқ қилишга алоҳида эътибор қаратилди. Бу
соҳада бошқарув системалари учун турғунликнинг етарлилик шартлари
олинди, эгрилиги номанфий фазоларда риман субмерсиялари ҳосил қилган
қатламаларининг секцион эгриликлари номанфий эканлиги исботланди ва
вектор майдонларнинг геометрияси тадқиқ этиш бўйича салмоқли
натижаларга эришилди.
Бугунги кунда жаҳонда олиб борилаётган кўпхилликда берилган вектор
майдонлар оиласи орбитасининг геометрияси йўналишидаги тадқиқотлар
динамик полисистемалар ҳамда оптимал бошқарув назарияси билан боғлиқ
тадқиқотларда муҳим аҳамиятга эга. Бу борада мақсадли илмий тадқиқот
ларни, жумладан қатламалар назарияси бўйича олинган натижаларни
кўпхилликлардаги динамик полисистемалар ҳолатлар фазосининг структура
сини аниқлашга кенг татбиқ этиш муҳим вазифалардан бири ҳисобланади:
қатламалар назариясининг усулларини динамик полисистемалар, оптимал
бошқарув назарияси ва бошқа соҳаларнинг турли масалаларига тадбиқ
қилиш; риман кўпхилликларида берилган субмерсиялар ҳосил қилувчи
қатламалар геометриясини тадқиқ қилиш; номанфий секцион эгриликка эга
бўлган сиртларда риман қатламалари геометриясини тадқиқ этиш. Юқорида
келтирилган илмий-тадқиқотлар йўналишида бажарилаётган илмий
изланишлар мазкур диссертация мавзусининг долзарблигини изоҳлайди.
Ўзбекистон Республикаси Президентининг 2006 йил 7 августдаги ПҚ-436-сон
«Фан ва технологияларни ривожлантиришни мувофиқлаштириш ва
бошқаришни такомиллаштириш чора-тадбирлари тўғрисида»ги ва 2014 йил 8
июлдаги ПҚ-2204-сон «Ўзбекистон Республикаси Фанлар академияси
тузилмасини янада мақбуллаштириш ҳамда республика академик илм-фани
ва олий таълимнинг интеграциясини мустаҳкамлаш чора-тадбирлари
тўғрисида»ги Қарорларида ҳамда мазкур фаолиятга тегишли бошқа меъёрий-
5
ҳуқуқий ҳужжатларда белгиланган вазифаларни амалга оширишга ушбу
диссертация тадқиқоти муайян даражада хизмат қилади.
Тадқиқотнинг республика фан ва технологиялари ривожланиши
нинг устувор йўналишларига боғлиқлиги.
Мазкур тадқиқот республика
фан ва технологиялар ривожланишининг IV. «Математика, механика ва
информатика» устувор йўналиши доирасида бажарилган.
Диссертация мавзуси бўйича хорижий илмий-тадқиқотлар шарҳи
1
.
Қатламалар назарияси, асосан қатламаларнинг топологик ва геометрик
хоссалари тадқиқ этиладиган қатламаларнинг сифатий назарияси, компакт
қатламларнинг локал ва глобал турғунликлари, турғунлик теоре-маларини
компакт бўлмаган қатламлар учун умумлаштириш, сингуляр риман
қатламалар, тўлиқ геодезик ва риман қатламалари геометрияси, коўлчами
бирга тенг қатламалар топологияси бўйича илмий изланишлар етакчи хори
жий давлатларнинг илмий марказлари ва олий таълим муассасалари, жум
ладан, Страсбург университети (Франция), Гренобл университети (Франция),
Париж университети (Франция), Монтпеллер университети (Франция), Илли
ноис университети (АҚШ), Калифорния университети (АҚШ), Индиана уни
верситети (АҚШ), Принстон университети (АҚШ), Уорик университети
(Буюк Британия), Лондон университети (Буюк Британия), Токио
университети (Япония), Тохоку университети (Япония), Киото университети
(Япония), Москва давлат университетларида (Россия) олиб борилмоқда.
Қатламаларнинг топологик ва геометрик хоссалари тадқиқ этиладиган
қатламаларнинг сифатий назарияси ва сингуляр риман қатламаларининг
хоссаларини тадқиқ этишга оид дунёда олиб борилаётган тадқиқотлар
натижасида қатор долзарб масалалар ечилган, жумладан, қуйидаги илмий
натижалар олинган: қатламаларнинг компакт қатламларининг локал ва глобал
турғунликлари, ҳамда Киллинг вектор майдонларининг орбиталари сингуляр
риман қатламаларини ҳосил қилиши исботланган (Страсбург уни верситети,
Гренобл университети, Париж университети, Монтпеллер универ ситети,
Франция); қатлама субмерсия ёрдамида ҳосил қилинган бўлса, унинг учун
Эресман боғланиши субмерсия учун Эресман боғланиши тушунчасига
эквивалентлиги исботланган, ҳамда тўлиқ геодезик ва риман қатламалари
Эресман боғланишига эга бўлиши кўрсатилган (Иллиноис университети,
Калифорния университети, Индиана университети, Принстон университети,
АҚШ); силлиқ вектор майдонлар оилаларининг ҳар бир орбитаси силлиқ
кўпхиллик бўлиши ҳамда кўпхилликнинг орбиталарга бўлиниши сингуляр
қатлама ҳосил қилиши исботланган (Уорик университети, Лондон
университети, Буюк Британия); уч ўлчамли кўпхилликдаги коўлчами бирга
тенг қатлама компакт бўлмаган хос қатламининг локал турғунлиги
исботланган, қатламлар тўпламининг қисман тартибланганлиги ва қатламлар
1
Диссертация мавзуси бўйича хорижий илмий-тадқиқотлар шарҳи: Actualite Sci. Indust.; C.R.Acad. Sci. Paris;
https://www.math.uni-muenster.de/u
;
Proc. Fifth Canad. Math. Congress; Ann. of Math.;Успехи математических
наук,
www.mathnet.ru/umn
; Математические заметки,
www.mathnet.ru/mz
;
www.ams.org/bull
;
Progress in
Mathematics;
https://projecteuclid.org/euclid.ijm
;
Ann. Math.; Topology;
http://link.springer.com
;
Journal of
mathematical Physics, analysis, geometry;
http://www.foliations.org
манбалар асосида ишлаб чиқилган.
6
топологияси орасидаги боғлиқлик ўрнатилган (Токио университети, Тохоку
университети, Киото университети, Япония); уч ўлчамли сферадаги
коўлчами бирга тенг ҳар бир қатлама компакт қатламга эгалиги исботланган
(Москва давлат университети, Россия).
Дунёда бугунги кунда, риман кўпхилликларида берилган қатламали
кўпхилликлар геометрияси ва топологиясини тадқиқ этиш бўйича бир қатор,
жумладан: номанфий секцион эгриликка эга бўлган сиртларда риман
қатламалари геометриясини тадқиқ қилиш, қатламали кўпхилликлар
изометриялари группасининг структурасини ўрганиш, риман субмерсиялари
ҳосил қилган қатламаларнинг геометрик характеристикаларини, қатламали
кўпхилликдаги геодезик чизиқларнинг хоссаларини аниқлаш, динамик
системалар ва оптимал бошқарув назарияларида қатламалар геометриясини
қўллаш, эришувчанлик (бошқарилувчанлик) тўпламларининг геометриясини
ҳамда кўп қийматли акслантириш сифатида вақтга узлуксиз боғлиқлигини
тадқиқ этиш каби устувор йўналишларда илмий-тадқиқот ишлари олиб
борилмоқда.
Муаммонинг ўрганилганлик даражаси.
Қатламалар назариясини
шакллантириш ва ривожлантиришда С. Ehresmann, G. Reeb, H. Lawson, P.
Molino, A. Haefliger, R. Langevin, H. Rosenberg, G. Lamoureux каби француз
математиклари катта ҳисса қўшдилар. Қатламалар назариясининг асосчи
ларидан бири Ж. Рибнинг (G. Reeb) асосий илмий ишлари қатламаларнинг
сифатий назариясига бағишланган. Ж.Риб томонидан, агар компакт қатлам
чекли фундаментал группага эга бўлса, у ҳолда бу қатламнинг унга диффео
морф бўлган қатламлардан иборат атрофи мавжудлиги исботланган.
Ш.Эресманнинг (С. Ehresmann) ишларида эса, тўла риман кўпхиллигидаги
риман ва тўла геодезик қатлама Эресман боғланишига эгалиги кўрсатилган.
Қатламали кўпхилликдаги изометриялар группасини тадқиқ қилиш қатламали
кўпхилликлар назариясининг янги масаласидир. Қатламали кўпхилликлар
изометрияси тушунчаси профессор А.Я. Нарманов томонидан киритилган.
Қатламаларнинг маълум бир синфи учун кўпхиллик изомет рияси
бўлмайдиган қатламали кўпхиллик изометрияси мавжудлиги исботлан ган.
Қатламали кўпхилликлар изометриялари группаси қатламали кўпхиллик лар
диффеоморфизмлари группасига қисм группа бўлади. Қатламали
кўпхилликлар диффеоморфизмлари группаси С.Х. Арансоннинг илмий
ишларида ўрганилган. У томонидан бундай диффеоморфизмларнинг тополо
гик қўшма бўлишининг зарурий ва етарлилик шартлари олинган. Компакт
кўпхилликлар учун диффеоморфизмлар группасининг турли хил қисм
группалари P. L. Antоnеlli, D. Вurghеlеa, P. J. Кahnлар томонидан ўрга нилган.
Замонавий геометриянинг асосий масалаларидан бири геодезик
чизиқларнинг лимитини тадқиқ қилишдан иборат. Риман кўпхиллиги
геодезик
чизиқларининг
лимити
геодезик чизиқ бўлиши риман
геометриясининг қудратли қуролидир. Қатламали кўпхилликнинг геодезик
чизиғи қатламда ётиши ва келтирилган риман метрикасига нисбатан геодезик
чизиқ бўлгани учун бу масала қатламали кўпхилликлар учун қийинлашади.
7
С. Хелгасоннинг ишларида геодезик чизиқлар ва риман кўпхилликлари
изометриялари группаси ҳақида ажойиб теоремалар исботланган. Хусусан, у
томонидан риман кўпхиллиги изометриялари группаси компакт-очиқ
топологияда топологик группа эканлиги исботланган. Бундан ташқари, у
риман кўпхиллигида берилган изометриялар кетма-кетлиги бир нуқтада
яқинлашса, шу кўпхилликнинг бирор изометриясига компакт-очиқ
топологияда яқинлашувчи берилган кетма-кетликнинг қисмий кетма-кетлиги
мавжудлигини исботлаган.
Сингуляр риман қатламалари тушунчаси P. Molino томонидан киритил
ган, ҳамда А.Я. Нарманов, Н.И. Жукова ва бошқа муаллифлар томонидан
сингуляр риман қатламасининг геометрик ва топологик хоссалари
ўрганилган. P. Molino сингуляр қатлама риман қатламаси бўлса, у ҳолда кўп
хилликнинг риман метрикаси нормал қатламанинг ҳар бир қатламида
трансверсал метрика ҳосил қилишини кўрсатган. Тўла кўпхилликлар учун бу
шарт сингуляр қатлама риман бўлишининг зарурий ва етарли шарти экан лиги
А.Я. Нарманов томонидан исботланган.
Шунга қарамасдан, кўпхиллик компакт бўлмаган ҳолда унинг
диффеоморфизмлар группаси, қатламали кўпхиллик изометриялари группаси
компакт-очиқ топологияга нисбатан топологик группа бўлиши, қатламали
кўпхиллик геодезик чизиқлари кетма-кетлигидан лимитдаги қатламнинг
геодезик чизиғига яқинлашувчи қисмий кетма-кетлик ажратиш мумкинлиги
исботланмаган ҳамда қатламали кўпхиллик қатламларининг Гаусс
эгриликлари ўзгармас бўладиган қатламалар синфи топилмаган эди.
Диссертация мавзусининг диссертация бажарилаётган олий таълим
муассасасининг илмий-тадқиқот ишлари билан боғлиқлиги.
Диссертация
тадқиқоти Ўзбекистон миллий университетининг 1.Ф.1.1.9 «Экстремал
бошқарувлар, эришувчанлик тўпламларининг функционал ва топологик
хоссалари ва тўлиқ бошқарилувчи системаларнинг турғунлиги» (2003-2007),
ОТ-Ф1-096 «Динамик полисистемалар назарияси масалаларини ечиш учун
геометрик ва топологик методлар ишлаб чиқиш ва яратиш» (2007-2011),
Ф4-04 «Қатламали кўпхилликларнинг геометрияси ва топологияси» (2012-
2016) мавзулардаги илмий-тадқиқот лойиҳалари доирасида бажарилган.
Тадқиқотнинг мақсади
қатламали кўпхилликларнинг геометрияси ва
топологиясини, қатламали кўҳилликлар изометриялари группасининг струк
турасини ва секцион эгрилиги ўзгармас бўлган қатламали кўпхилликларни
тадқиқ қилиш ҳамда олинган натижаларни бошқарув системаларининг эри
шувчанлик тўпламларини тадқиқ қилишда ва эришувчанлик тўпламларининг
бошланғич нуқтага узлуксиз боғлиқлигини исботлашда қўллашдан иборат.
Тадқиқот вазифалари:
қатламали кўпхилликлар геодезик чизиқларининг асосий хоссаларини
аниқлаш;
компакт кўпхилликлар гомеоморфизмлари группаси учун маълум бўлган
классик натижани компакт бўлмаган кўпхилликлар учун исботлаш; қатламали
кўпхилликлар изометриялари группасининг геометриясини янги
F
-
компакт-очиқ топологияда тадқиқ қилиш;
8
қатламаларнинг қатламлари ўзгармас Гаусс эгрилигига эга
кўпхилликлардан иборат бўлишининг шартларини топиш;
риман кўпхиллигида берилган вектор майдонлар системаси эришув
чанлик (бошқарувчанлик) тўпламининг структурасини аниқлаш.
Тадқиқотнинг объекти
қатламали риман кўпхилликлари, қатламали
кўпхилликларнинг геодезик чизиқлари, силлиқ вектор майдонлар оиласининг
орбиталари, динамик системаларнинг эришувчанлик тўплами ва бошқа
рилувчанлик соҳалари, риман субмерсиялари ҳосил қилган қатламалардан
иборат.
Тадқиқотнинг предмети
қатламали кўпхиллик изометриялари группа
си, қатламали кўпхиллик геометрияси ва топологияси, субмерсия ҳосил қил
ган қатлама, вектор майдонлар орбиталари геометрияси ва сингуляр қатлама
лар тадқиқотидан иборат.
Тадқиқотнинг усуллари.
Тадқиқот ишида локал ва нолокал дифферен
циал геометрия, қатламалар топологияси, қатламалар назарияси ва динамик
системалар назариясининг геометрик ҳамда топологик усулларидан фойдала
нилган.
Тадқиқотнинг илмий янгилиги
қуйидагилардан иборат:
ихтиёрий силлиқ кўпхилликнинг гомеоморфизмлар группаси компакт–
очиқ топологияда топологик группалиги исботланган;
қатламали кўпхиллик изометриялари группаси компакт–очиқ
топологияда топологик группа ҳосил қилиши исботланган; қатламали
кўпхиллик изометриялари кетма-кетлиги ҳар бир қатламдаги биттадан
нуқтада яқинлашса, у ҳолда бу кетма-кетликдан
F
−
компакт–очиқ
топологияда қатламали кўпхиллик изометрияларига яқинлашувчи қисмий
кетма-кетлик ажратиш мумкинлиги кўрсатилган;
қатлама риман субмерсияси билан берилган бўлса, у ҳолда бу қатлама
қатламлари Гаусс эгрилиги ўзгармас кўпхилликлардан иборатлиги
исботланган;
қатламали кўпхилликнинг геодезик чизиқлари лимити геодезик чизиқ
бўлиши кўрсатилган;
қатламали кўпхиллик изометрияси мавжуд бўлиб, лекин кўпхиллик
изометрияси бўлмайдиган қатламанинг мавжудлиги исботланган; махсус
кўринишдаги вектор майдонлар системаси учун эришувчанлик тўпламининг
компактлиги ва кўп қийматли «нуқта-эришувчанлик тўплами» акслантириш
сифатида узлуксизлиги исботланган;
маълум қийматдан ошмаган вақтдаги эришувчанлик тўплами ёпиғининг
компактлиги ва маълум синф вектор майдонлари учун эришувчанлик тўпла
ми вақтга узлуксиз боғлиқлиги кўрсатилган;
чизиқли системалар учун эришувчанлик (бошқарилувчанлик) тўплам
лари бир хил ўлчамли текисликлар билан устма-уст тушишининг шартлари
топилган.
Тадқиқотнинг амалий натижаси
номанфий эгриликли кўпхил ликлардаги
динамик системалар ҳолатлар фазосининг эгрилигини аниқлашда, ҳамда
бошқарув системаларининг эришувчанлик тўпламлари
9
ҳосил қилган қатламаларнинг геометриясини ўрганишда қўлланилиши
мумкинлигидан иборат.
Тадқиқот натижаларининг ишончлилиги
қатламали кўпхилликлар
геометрияси ва топологияси ҳамда вектор майдонлар орбиталарининг
геометриясини ўрганишда қатламалар назарияси, риман геометрияси,
дифференциал топологиянинг теоремалари ва усулларини қўллаш билан
асосланган.
Тадқиқот натижаларининг илмий ва амалий аҳамияти.
Тадқиқот
натижаларининг илмий аҳамияти вектор майдонлар учун эришувчанлик
тўпламининг компактлиги ва кўп қийматли акслантириш сифатида
узлуксизлиги бўйича олинган натижалар динамик системалар ҳолатлар
фазосининг эгрилигини аниқлашга имконият яратиши билан изоҳланади.
Тадқиқот натижаларининг амалий аҳамияти тадқиқ қилинаётган объектлар
синфини сезиларли равишда кенгайиши чизиқли системалар учун
эришувчанлик (бошқарилувчанлик) тўпламлари структурасини аниқлашга
хизмат қилади.
Тадқиқот натижаларининг жорий қилиниши.
Диссертация тадқиқоти
жараёнида олинган илмий натижалар қуйидаги йўналишларда амалиётга
жорий қилинган:
вектор майдонлар учун эришувчанлик тўпламининг компактлиги ва кўп
қийматли акслантириш сифатида узлуксизлиги бўйича олинган натижалар
Россия таълим вазирлиги ва Россия Федерацияси фани ва фундаментал
тадқиқотлар фондининг 12-01-00195 рақамли «Детерминик ва стохастик
жараёнлар динамикасини позицион бошқариш масалалари ҳамда кўп
иштирокчили дифференциал ўйинлар» илмий лойиҳасини бажаришда
динамик
системалар траекторияларининг ва ҳолатлар фазосининг
структурасини ўрганиш имконини берган (Удмурт давлат университетининг
2016 йил 25 августдаги 7873-8965/20 сон маълумотномаси). Илмий
натижанинг қўлланилиши динамик системалар ҳолатлар фазосининг
эгрилигини аниқлашга ва бошқарилувчи системаларнинг эришувчанлик
тўпламининг геометриясини ўрганишга хизмат қилган;
ўзгармас Гаусс эгриликли тўла риман кўпхилликларидаги қатлама риман
субмерсиясидан ҳосил қилинган бўлса, у ҳолда бу қатлама қатламлари
ўзгармас Гаусс эгриликли кўпхилликлардан иборатлиги бўйича олинган
натижалар Россия Федерацияси Фанлар Академиясининг илмий тадқиқотлар
фондининг 1.3.1.3 рақамли «Яратиш усуллари, Ер ҳақидаги математик
моделларни тадқиқ қилиш ва идентификациялаш» илмий лойиҳасини
бажаришда динамик системалар ҳолатлар фазосининг структурасини
ўрганиш имконини берган (Россия Федерацияси Фанлар Академиясининг
Сибир бўлими Ҳисоблаш математикаси ва математик геофизика
институтининг 2016 йил 24 августдаги 15301/12-2711 сон маълумотномаси).
Илмий натижанинг қўлланилиши номанфий эгриликли кўпхилликлардаги
динамик системалар ҳолатлар фазосининг структурасини ўрганишга хизмат
қилган.
10
Тадқиқот натижаларининг апробацияси.
Тадқиқотнинг натижалари
илмий-амалий анжуманларда муҳокама қилинган, жумладан: «Геометрия
бўйича
мактаб-семинар»
(Абрау-Дюрсо,
Россия,
2006),
«Ёш
математикларнинг янги теоремалари» (Наманган, 2006, 2009), «Динамик
системалар назарияси ва нокоррект масалалардаги янги йўналишлар»
(Самарқанд, 2007), «Математика, механика ва информатиканинг замонавий
муаммолари» (Тошкент, 2008), «Қатламалар, динамик
системалар ва
махсусликлар
назарияси»
(Самарқанд,
2009),
«Сиртларнинг
ва
кўпёқликларнинг метрик геометрияси» (Москва, Россия, 2010), «Локал
аналитик геометрия» (Лаҳор, Покистон, 2012), «Амалий математика ва
информацион технологияларнинг долзарб муаммолари –ал-Хоразмий 2012»
(Тошкент, 2012), «Геометриянинг долзарб муаммолари ва унинг тадбиқлари»
(Тошкент, 2014), «Эҳтимоллар назариясининг лимит теоремалари ва унинг
тадбиқлари» (Наманган, 2015), «Бошқарув назарияси ва математик
моделлаштириш» мавзусидаги Умумроссия конференциясида (Ижевск,
Россия, 2015), «Математик физика ва замонавий анализнинг турдош
масалалари» (Бухоро, 2015), «Анализнинг долзарб муаммолари» (Қарши,
2016), «Замонавий топология муаммолари ва тадбиқлари» (Тошкент, 2016)
каби анжуманларда маъруза кўринишида баён этилган ҳамда апробациядан
ўтказилган.
Тадқиқотнинг
натижалари
Ўзбекистон
Миллий
университетининг «Геометрия ва топологиянинг замонавий муаммолари»
(2000-2016), «Функционал анализ ва унинг татбиқлари» (2014-2015),
«Комплекс анализнинг замонавий масалалари» (2015) каби илмий
семинарларида, Ўзбекистон Миллий университети қошидаги Математика
институтининг «Операторлар алгебралари ва уларнинг тадбиқлари» (2015)
илмий семинарида, Наманган муҳандислик-педагогика институти «Олий
математика» кафедрасининг (2016) илмий семинарида муҳокама қилинган.
Тадқиқот натижаларининг эълон қилиниши.
Диссертация мавзуси
бўйича жами 43 та илмий иш чоп этилган, шулардан Ўзбекистон
Республикаси Олий аттестация комиссиясининг докторлик диссертациялари
асосий илмий натижаларини чоп этиш тавсия этилган илмий нашрларда 16 та
мақола, жумладан 6 та хорижий ва 10 та республика журналларида нашр
этилган.
Диссертация тузилиши ва ҳажми.
Диссертация таркиби кириш, тўртта
боб, хулоса ва фойдаланилган адабиётлар рўйхатидан иборат. Диссертация
нинг ҳажми 161 бетни ташкил этган.
11
ДИССЕРТАЦИЯНИНГ АСОСИЙ МАЗМУНИ
Кириш
қисмида ўтказилган тадқиқотларнинг долзарблиги ва зарурати
асосланган,
тадқиқотнинг
республика
фан
ва
технологиялари
ривожланишининг устувор йўналишларига мослиги кўрсатилган, мавзу
бўйича хорижий илмий-тадқиқотлар шарҳи, муаммонинг ўрганилганлик
даражаси келтирилган, тадқиқот мақсади, вазифалари, объекти ва предмети
тавсифланган, тадқиқотнинг илмий янгилиги ва амалий натижалари баён
қилинган, олинган натижаларнинг назарий ва амалий аҳамияти очиб
берилган, тадқиқот натижаларининг жорий қилиниши, нашр этилган ишлар
ва диссертация тузилиши бўйича маълумотлар келтирилган.
Диссертациянинг
«Асосий тушунчалар ва ёрдамчи фактлар»
деб
номланган биринчи боби ёрдамчи характерда бўлиб, диссертация мавзуси
бўйича асосий тушунча ва ёрдамчи фактлар келтиришга бағишланган. У учта
параграфдан ташкил топган.
Биринчи бобнинг биринчи параграфида силлиқ кўпхилликлар назарияси
қисқа баён этилган, диссертацияда ишлатиладиган силлиқ кўпхилликларга
доир зарур таърифлар ва ёрдамчи фактлар келтирилган. Силлиқ
кўпхилликларга ва қисм кўпхилликларга мисоллар келтирилган.
Иккинчи параграфда силлиқ кўпхилликлардаги вектор майдонлар
назарияси қисқа баён этилган, вектор майдонлар орбиталарининг асосий
хоссалари келтирилган. Барча тушунчалар мисоллар билан ёритилган.
Учинчи параграф қатламалар назариясига оид асосий тушунчалар ва
ёрдамчи фактларга бағишланган бўлиб, унда қатламалар назариясига оид
таърифлар ва изланишларнинг натижалари келтирилган.
Бизга ўлчами
n
га тенг бўлган
r
C
синфга тегишли силлиқ
M
кўпхиллик ва бу
кўпхилликнинг структурасини аниқловчи
A
−
максимал атлас берилган
бўлсин, бу ерда
r
≥
0
. Агар
0
≤ ≤
s r
муносабат ўринли бўлса,
M
кўпхиллик
s
C
синфга ҳам тегишли бўлади.
s
C
синфга тегишли
M
кўпхилликдаги локал
координаталар системасини
s
A
билан белгилаймиз.
Энди
0
≤ ≤
k n
тенгсизликни қаноатлантирувчи бутун
k
сон қарайлик.
Таъриф 1.
Берилган
M
кўпхилликнинг чизиқли боғланишли қисм
тўпламларидан иборат
F
=
{
L
;
α
∈
B
}
α
оила қуйидаги учта шартни
қаноатлантирса:
;
(
F
1
):
L M
α
α
=
∈
B
(
F
2
):
α
≠
β
шартни
қаноатлантирувчи барча
α
,
β
∈
B
индекслар учун
L L
α
β
∩
=
∅
муносабат ўринли;
(
F
3
): ҳар бир
p
∈
M
нуқта учун
( , )
s
U A
λ
λ
ϕ
∈
,
p
∈
U
λ
шундай локал
координаталарни танлаш мумкин
бўлсаки, агар бирор
α
∈
B
учун
U L
λ
α
∩ ≠ ∅
муносабат ўринли бўлса, у ҳолда
( )
ϕ
λ
U
λ
∩
L
α
тўпламнинг
1 2
,
,..., :
n
чизиқли боғланишлилик компоненталарини
{
(
)
(
)
x x x U
∈
ϕ
λ
λ
12
k k k k n n
+
+
+
+
1 1 2 2
x c x c x c
}
=
=
=
кўринишда ёзиш мумкин бўлса,
M
, ,...,
кўпхилликда
k
ўлчамли силлиқ қатлама берилган дейилади, бу ерда
k k n
+
+
сонлар чизиқли боғланишлилик компонентларда ўзгармас
1 2
c c c
, ,...,
сонлар.
Қаралаётган
L
α
тўплам
F
қатламанинг қатлами дейилади. Ушбу ҳолатда
k
ўлчамли
s
С
қатлама коўлчами
q n k
=
−
га тенг бўлган
s
С
қатлама ҳам
дейилади. Юқоридаги (
F
1
), (
F
2
) шартлар
M
кўпхиллик ўзаро кесишмайдиган
қатламлардан иборатлигини, (
F
3
) шарт эса қатламлар локал маънода параллел
текисликларга ўхшаш жойлашганлигини англатади. Агар
(
F
3
) шарт
бажарилса,
( , )
s
U A
λ
λ
ϕ
∈
координаталар атрофлари қатламланган
дейилади, барча қатламланган координаталар атрофлари тўплами
s
A
F
билан
белгиланади ва қатламланган координаталар атрофлари системаси дейилади.
Силлиқ
M
кўпхилликда
F
қатлама берилган бўлса, бундай кўпхиллик
қатламали кўпхиллик дейилади ва
(
M F
,
)
каби белгиланади. Субмерсиялардан
ҳосил қилинган қатламалар синфи қатламаларнинг муҳим синфларидан бири
ҳисобланади.
Таъриф 2.
Ранги максимал бўлган дифференциалланувчи
f
:
M
→
B
акслантириш учун
n
>
m
шарт бажарилса, у субмерсия дейилади, бу ерда
M
,
B
ўлчамлари мос равишда
n
ва
m
га тенг бўлган силлиқ кўпхилликлар.
Геометрик нуқтаи назардан, тўла геодезик қатламалар ва Риман (метрик)
қатламалари қатламаларнинг муҳим синфи ҳисобланади.
Таъриф 3.
Берилган
M
- Риман кўпхиллигининг
N
қисм кўпхиллигига
уринувчи
M
кўпхилликнинг геодезик чизиғи
N
кўпхилликда ётса,
M
- Риман
кўпхиллигининг
N
қисм кўпхиллиги тўла геодезик кўпхиллик дейи лади.
Таъриф 4.
Бизга
M
- Риман кўпхиллигидаги
F
қатлама берилган бўлсин.
Берилган қатламанинг қатламига битта нуқтада уринувчи геодезик чизиғи шу
қатламада ётса, яъни ҳар бир қатлам тўла геодезик қисм кўпхилликдан
иборат бўлса,
F
қатлама тўла геодезик дейилади.
Критик нуқталарга эга бўлмаган дифференциалланувчи функциялар
сатҳ сиртлари ҳосил қилган қатламалар синфи коўлчами бирга тенг бўлган
қатламаларнинг муҳим синфидир. Америкалик профессор Ph. Tondeur
n
M
Риман кўпхиллигида градиентининг узунлиги ҳар бир сатҳ сиртида ўзгармас,
критик нуқталарга эга бўлмаган
1
:
n
f M R
→
функцияларнинг сатҳ сиртлари
геометриясини ўрганган. Бундай функциялар сатҳ сиртлари ҳосил қилган
қатламалар Риман (метрик) қатламаси бўлишини исботлаган.
Таъриф 5.
Градиенти узунлиги сатҳ тўпламларининг боғланишлилик
компонентасида ўзгармас бўлган
(
)
f M R
:
→
функция метрик функция дейилади.
2 1
C M R
,синфга тегишли
1
13
Таъриф 6.
Бизга
M
Риман кўпхиллигида аниқланган
F
қатлама берилган
бўлсин. Берилган
F
қатламанинг қатламига бирор нуқтада ортогонал бўлган
M
кўпхилликнинг геодезик чизиғи ўзининг барча нуқталарида
F
қатламанинг
қатламларига ортогонал бўлса, у ҳолда
M
кўпхилликда берилган
F
қатлама Риман қатламаси дейилади. Диссертациянинг
«Қатламали кўпхилликлар геометрияси»
деб номланган иккинчи боби
қатламали кўпхилликлар геометрияси, субмерсия ҳосил қилган қатламали
атласларни тадқиқ қилишга бағишланган. Риман субмерсиясидан ҳосил
бўлган қатламаларнинг қатламлари ўзгармас Гаусс эгриликли кўпхилликлар
бўлиши, қатламали кўпхилликнинг геодезик чизиқлари лимити, қатламанинг
лимитдаги қатламининг геодезик чизиғи бўлиши ҳамда тўрт ўлчамли
солкўпхиллигини беш ўлчамли евклид фазосига изометрик юклаб
бўлмаслиги исботланган.
Субмерсиялар ҳосил қилган қатламалар синфи қатламаларнинг муҳим
синфи ҳисобланади. Ранг ҳақидаги теоремага кўра ҳар қандай
f M B
:
→
субмерсия
M
кўпхилликда қатламлари
1
( ),
L f p p B
p
−
=
∈
қисм
кўпхилликлардан иборат
k n m
=
−
ўлчамли
F
қатламани ҳосил қилади, бу ерда
nm
,мос равишда
M B
,
кўпхилликларнинг ўлчамлари ва
n m
>
. Бизга
M
кўпхилликда
k
ўлчамли силлиқ
F
қатлама берилган бўлсин.
L p
(
)
орқали
F
қатламанинг
p
нуқтадан ўтувчи қатламини,
T
p
L
орқали
L p
(
)
қатламнинг
p
нуқтасидаги уринма фазосини,
H p
(
)
орқали
T
p
L
уринма фазонинг
M
кўпхилликнинг
p
нуқтасидаги уринма
T
p
M
,
p
∈
M
фазосигача ортогонал
тўлдирувчисини белгилаймиз. Натижада
TM
уринма қатламанинг
TM
=
TF
⊕
H
муносабат ўринли бўладиган иккита қисм қатламалари
TF
=
{
T
p
L
:
p
∈
M
}
,
H
=
{
H
(
p
)
:
p
∈
M
}
(силлиқ тақсимот) пайдо бўлади, бу ерда
H
қатлама
TF
қатламанинг
TM
даги ортогонал тўлдирувчисидир. Бу ҳолда ҳар бир
X
∈
V
(
M
)
вектор майдонни
,
X
=
X
v
+
X
h
кўринишида тасвирлаш мумкин, бу ерда
X
v
X
h
,
- вектор
майдонлар мос равишда
X
вектор майдоннинг
TF
,
H
даги ортогонал
проекцияларидир.
Берилган
X
вектор майдон учун
X
∈
V
(
F
)
муносабат (яъни
0
X
h
=
) ўринли
бўлса, у вертикал вектор майдон дейилади. Агар берилган
X
вектор майдон
учун
X V
∈
(H)муносабат (яъни
X 0
v
=
) ўринли бўлса, у горизонтал
майдон дейилади. Субмерсиялар ичида Риман субмерсиялари деб аталувчи
синфини алоҳида ажратиш мумкин.
Таъриф 7.
Берилган
f
:
M
→
B
субмерсиянинг дифференциали
df
горизонтал векторларнинг узунлигини сақлаган ҳолда акслантирса, у ҳолда
бу субмерсия Риман субмерсияси дейилади.
Биринчи
параграфда
Риман
субмерсиялари
ҳосил
қилган
қатламаларнинг секцион эгрилиги тадқиқ қилинган, жумладан, Риман
субмерсиялари ҳосил қилган қатламаларнинг геометриясини ифодаловчи
14
теорема исботланган. Риман субмерсиясидан ҳосил бўлган қатламаларнинг
қатламлари ўзгармас Гаусс эгриликли кўпхилликлар бўлиши кўрсатилган. Ph.
Tondeurнинг
1
ишида ҳар бир вертикал
X
вектор майдон учун
(
)
0
2
X gradf
=
муносабат ўринли бўладиган функциялар сатҳ сиртларининг
геометрияси ўрганилган.
Биз
f M B
:
→
субмерсияларни
B
кўпхиллик бир ўлчамли бўлган ҳолда
қараймиз, аниқроғи,
f
:
M
→
R
силлиқ функцияни қараймиз. Агар
Сrit
{
f
} -
қаралаётган
f
функциянинг барча критик нуқталари тўплами бўлса, у ҳолда
M
\
Сrit
{
f
}кўпхилликда қатламлари
f
функциянинг сатҳ сиртларидан иборат
n
−
1ўлчамли (ёки коўлчами бирга тенг бўлган)
F
қатлама ҳосил бўлади.
Теорема 1.
Бизга
M
−
ўзгармас эгриликли тўла риман кўпхиллиги ва
f M
R
:
→
риман субмерсияси берилган бўлсин. У ҳолда, риман
1
субмерсияси (
f
функция сатҳ сиртлари) ҳосил қилган
F
қатламанинг ҳар бир
қатлами Гаусс эгрилиги ўзгармас кўпхиллик бўлади.
Иккинчи бобнинг иккинчи параграфи қатламали кўпхилликлар геодезик
чизиқларининг геометриясини тадқиқ этишга бағишланган. Риман
кўпхиллиги қатламали кўпхиллик бўлган ҳолда, уларнинг геодезик чизиқлари
қатламда ётиши ва улар қатламдаги келтирилган Риман метрикасига
нисбатан геодезик чизиқ бўлиши бу масалани қийинлаштиради.
Кўпхилликдаги геодезик чизиқларнинг лимити ҳақидаги классик
теореманинг умумлашмаси бўлган қуйидаги теорема исботланган.
Теорема 2.
Бизга
n
ўлчамли
M
– силлиқ тўла риман кўпхиллигида
k
ўлчамли
(
0
<
<
k
n
)
қатлама берилган бўлсин. У ҳолда
1) келтирилган риман метрикаси билан ҳар бир қатлам тўла риман
кўпхиллиги бўлади.
γ
:( , )
геодезик чизиқлар кетма-кетлиги
2) агар
L
m
қатламларда
m
a b
→
L
m
берилган бўлиб, бирор
( , )
s
0
∈
a
b
учун
m
→∞
бўлганда
s v
γ
m
(
0
)
→
бажарилса, у ҳолда
m
γ
m
(
s
0
)
→
p
,
s s
=
да
p
γ
кетма-кетлик
L p
( )қатламдаги
0
нуқтадан
ν
вектор йўналишида
чиқувчи бирор
γ
:(
a
,
b
)
→
L
(
p
)
геодезик
чизиққа нуқтавий яқинлашади.
Қуйидаги теоремада 2 - теореманинг иккинчи қисмини кучайтирамиз.
Теорема 3.
Бизга
n
ўлчамли
M
– силлиқ тўла риман кўпхиллигида
k
ўлчамли
(
0
<
<
k n
)
қатлама берилган бўлсин. Бирор
1
s R
∈
учун
m
→∞
0
γ
s p
→
муносабат бажариладиган,
L
m
қатламларда келтирилган
( )
m
бўлганда
0
:
γ
m m
риман метрикасига нисбатан
1
R L
→ −
геодезик чизиқлар кетма-кетлиги
s s
=
да
p
нуқтадан чиқувчи
берилган бўлсин. У ҳолда
L p
( )қатламдаги
0
γ
: ( )
R L p
→
геодезик чизиққа нуқтавий яқинлашадиган
m
бирор
1
γ
қисмий кетма-кетлиги мавжуд.
кетликнинг
m
l
1
Tondeur Ph. Foliations on Riemannian manifolds//
Springer Verlag, – New York, – 1988.
γ
кетма
15
Риман фазоларини евклид фазоларига ёки бирор бошқа риман фазосига
изометрик ботириш бу фазоларнинг янги қизиқарли геометрик хоссаларга эга
қисм кўпхилликларини қуриш усулларидан биридир. Кўпхилликларни
евклид ва бошқа фазоларга изометрик ботириш ва жойлаштириш нафақат
дифференциал геометриянинг, балки Риман геометриясининг ҳам марказий
муаммоларидан бири ҳисобланиб, бу соҳаларда турли нуқтаи назардан
ўрганилади.
Изометрик ботириш назарияси чизиқли бўлмаган дифференциал
тенгламалар системасини ечиш масаласи, ҳамда топологик муаммолар билан
боғлиқ бўлиб, унда кенг миқёсда математик усулларни қўллаш билан
биргаликда яққол геометрик ғоялар ҳам ишлатилади.
Учинчи параграф кўпхилликни евклид фазосига ботириш муаммосини
тадқиқ қилишга бағишланган. Жумладан, тўрт ўлчамли
4
Sol
кўпхиллигини
беш ўлчамли евклид фазосига изометрик ботириш ҳақидаги масала
қаралади. Тўрт ўлчамли
4
Sol
кўпхиллигида чапинвариант метрика
2 2 2 2 4 2 2
( )
t t
ds e dx dy e dz dt
−
=
+
+
+
формула билан берилади.
Қуйидаги теорема исботланган.
Теорема 4.
Тўрт ўлчамли
4
Sol
кўпхиллигини беш ўлчамли
5
R
евклид
фазосига изометрик ботириб бўлмайди.
Ҳақиқий элементли ва детерминанти 1 га тенг бўлган
2 2
×
матрицалардан иборат уч ўлчамли Ли группаси
⎧ ⎫ ⎪ ⎪ ⎛ ⎞ ⎛ ⎞
a b a b
SL R GL R
2
(
2, det 1
)
=
∈
=
⎨ ⎬ ⎜ ⎟ ⎜ ⎟ ⎪ ⎪ ⎩ ⎭ ⎝ ⎠ ⎝ ⎠
c d c d
каби, унинг универсал қопламаси эса
2
SL R
билан белгиланади. Маълумки,
2
SL R
тўплам ҳам Ли группасини ташкил қилади ва унда чап кўпайтмага
нисбатан инвариант бўлган метрика киритиш мумкин.
Энди
2
SL R
кўпхилликни
2 2 2
(
)
dx dy dx ydt
ds
+
+
+
2
=
y
2
чапинвариант метрика билан тўрт ўлчамли
4
R
евклид фазосига изометрик
ботириш масаласини тадқиқ қиламиз.
Теорема 5.
Уч ўлчамли
2
SL R
кўпхиллик тўрт ўлчамли
4
R
евклид
фазосига изометрик ботириб бўлмайди.
Диссертациянинг
«Қатламали кўпхилликлар изометриялари группаси»
деб номланган учинчи бобида қатламали кўпхилликларнинг изометриялари
группаси тадқиқ қилинган. Жумладан, қатламали кўпхиллик изометрияси ва
қатламали кўпхилликнинг барча изометриялари тўпламида қатламали
компакт-очиқ топология ёки
F
-компакт-очиқ топология тушунчалари
киритилади, қатламали кўпхилликнинг барча изометриялари тўплами
F
-компакт-очиқ топологияда саноқли базага эга бўлган Хаусдорф фазоси
эканлиги, силлиқ чекли ўлчамли, боғланишли кўпхилликнинг
гомеоморфизмлар группаси компакт-очиқ топологияга нисбатан топологик
16
группа бўлиши, қатламали кўпхилликнинг барча изометрияларидан иборат
қисмгруппа ҳам шу топологияда топологик группалар бўлиши, қатламали
кўпхиллик изометриялари кетма-кетлиги ҳар бир қатламдаги биттадан
нуқтада яқинлашса, у ҳолда бу кетма-кетликдан
F
−
компакт–очиқ
топологияда қатламали кўпхиллик изометрияларига яқинлашувчи қисмий
кетма-кетлик ажратиш мумкинлиги исботлаган.
Учинчи бобнинг биринчи параграфида қатламали кўпхилликнинг
изометрияси ва
( )
G M
F
да қатламали компакт-очиқ топология ёки
F
-
компакт-очиқ топология тушунчалари киритилади. Агар қатламанинг ўлчами
кўпхиллик ўлчамига тенг бўлса, киритилган топология компакт-очиқ
топология билан устма-уст тушади. Агар қатламанинг коўлчами кўпхиллик
ўлчамига тенг бўлса, бу топологиядаги яқинлашиши нуқтавий яқинлашиш
билан бир хил бўлади.
Бизга
k
ўлчамли
1 2
F F
,
қатламалар билан
(
)
1
M
,
F
ва
(
)
2
N
,
F
қатламали
кўпхилликлар берилган бўлсин.
Таъриф 8.
Бирор
ϕ
:
M N
→
–
r
C
-
диффеоморфизмда
F
1
қатламадаги
ихтиёрий
L
α
қатламнинг
ϕ
( )
L
α
акси
F
2
қатламанинг қатлами
бўлса,
берилган
(
)
1
M
,
F
ва
(
)
2
N
,
F
жуфтликлар
r
C
- диффеоморф дейилади ва
( , )
M F
≈
( , )
N F
2
каби белгиланади.
1
Берилган
(
)
1
M
,
F
кўпхилликни
(
)
2
N
,
F
кўпхилликка акслантирувчи
ϕ
акслантириш қатламани сақловчи
r
C
- диффеоморфизм дейилади ва
1 2
ϕ
: ( , ) (
, )
M F N F
→
каби ёзилади.
Агар
M
=
N
ва
F F
1 2
=
муносабатлар ўринли бўлса, қатламали
кўпхилликнинг диффеоморфизми берилган дейиш мумкин.
Таъриф 9.
Қатламали (
M F
,)
кўпхиллик
ϕ
ϕ
: ( )
L L
ϕ
:
M M
→
диффеоморфизми
нинг
→
қатламдаги келтирилгани
изометриядан иборат бўлса,
α
α
ϕ
:
M M
→
акслантириш қатламали (
M F
,) кўпхилликнинг изометрияси
дейилади.
Бизга ҳар бири
F
қатламанинг бирор қатламида ётадиган
{
K
λ
}
барча
компакт тўпламлар оиласи ва
M
кўпхилликда
{
U
β
}
барча очиқ тўпламлар
оиласи берилган бўлсин. Ҳар бир
K
λ
⊂
L
α
ва
U
β
жуфтлик учун
(
)
K
λ
U
β
f
⊂
муносабат ўринли бўладиган барча
( )
F
f G M
∈
акслантиришлар тўпламини
қараймиз. Бу акслантиришлар тўпламини
[
K
λ
,
U
β
]
=
{
f
:
M
→
M f
(
K
λ
)
⊂
U
β
}
каби белгилаймиз. Ушбу
[ , ]
K
λ
U
β
кўринишдаги тўпламларнинг чекли
сондаги кесишмасидан иборат
( )
G M
F
тўпламнинг қисм тўпламлари
оиласини
σ
билан белгилаймиз. Маълум
критерийга
1
кўра
( )
G M
F
тўпламда
σ
оила база бўладиган топология мавжуд ва бу топология ягона бўлади. Бу
1
Бакельман И.Я., Вернер А.А., Кантор Б.Е. Введение в дифференциальную геометрию «в целом». – М.:
Наука, − 1973, – С.440.
17
топологияни қатламали компакт-очиқ ёки
F
−
компакт-очиқ топология деб
атаймиз.
Теорема 6.
F
-компакт-очиқ топология билан
( )
G M
F
тўплам саноқли
базага эга бўлган Хаусдорф фазоси бўлади.
Маълумки, агар кўпхиллик компакт бўлса ёки
n
R
билан устма-уст тушса,
у ҳолда
M
кўпхилликнинг диффеоморфизмлар группаси
Diff M
( ) компакт-очиқ
топологияга нисбатан топологик группа бўлади. Қуйидаги теорема ушбу
натижанинг ихтиёрий силлиқ кўпхиллик учун умумлашмасидир.
Теорема 7.
Бизга силлиқ чекли ўлчамли, боғланишли
M
кўпхиллик
берилган бўлсин. У ҳолда унинг гомеоморфизмлар группаси
Homeo
(
M
)
компакт-очиқ топологияга нисбатан топологик группа бўлади. Хусусан,
Diff
M
( ),
( )
G M
F
қисм группалар ҳам шу топологияда топологик группалар
бўлади.
Қатламали кўпхилликнинг
( )
G M
F
изометриялар группаси умумий ҳолда
кўпхилликнинг
G M
( )
изометриялар группасининг қисм группаси эмас, ва
аксинча, кўпхилликнинг
G M
( )
изометриялар группаси ҳам қатламали
кўпхилликнинг
( )
G M
F
изометриялар группасининг қисм группаси эмас.
Лекин, албатта, бу группалар бўш бўлмаган кесишмага эга, яъни,
I G M G M
∈ ≠ ∅
F
( )
(
)
. Табиийки, савол пайдо бўлади: айний акслантиришдан фарқли
қатламали кўпхиллик изометриялари группасига тегишли, лекин кўпхиллик
изометрияси бўлмайдиган акслантириш мавжудми?
Биз томонимиздан қатламали кўпхиллик изометриялари группасининг
элементи бўладиган, лекин кўпхиллик изометриялари группасининг
элементи бўлмайдиган қатламанинг мавжудлиги исботланган.
Теорема 8.
Берилган
(
M F
,
)
қатламали кўпхилликнинг
( )
G
F
M
изометриялари группаси,
(
M g
,
)
риман кўпхиллик
G M
( )
изометриялари
группасининг элементи бўлмайдиган, элементни ўз ичига оладиган
f
:
M
→
B
субмерсия мавжуд.
Қуйидаги мисол кўрсатиб турибдики, теорема шартини қаноатланти
рувчи содда мисоллар қуриш мумкин.
Кўпхиллик сифатида икки ўлчамли
2
M R
=
текисликни, ундаги қатлама
эса
(
)
2
f x y x y
,
=
−
функциянинг сатҳ чизиқларидан ҳосил қилинган бўлсин деб
олайлик. Қатламали кўпхиллик изометрияси
ϕ
λ
(
x y x y x y
, , ,
)
=
+
(
(
)
)
формула билан берилган бўлсин. Агар
λ
−
ўзгармас сон бўлса, бу
акслантириш текисликнинг ҳам қатламали текисликнинг ҳам изометрияси
бўлади. Агар
λ
(
x y f x y
, ,
)
=
−
(
)
муносабат ўринли бўлса,
ϕ
акслантириш
18
текисликнинг изометрияси бўлмайди, лекин қатламали кўпхиллик изомет
рияси бўлади.
Ҳақиқатан, агар
(
x y
,
)
нуқта
2
x y c
−
=
параболада ётиши маълум бўлса,
у ҳолда
(
x y x y
, ,
+
λ
(
)
)
нуқта
2
x y c
−
=
2параболада ётади. Бу акслантириш
параболадаги чизиқлар узунликларини сақлайди.
Учинчи бобнинг иккинчи параграфида янги
F
-компакт-очиқ
топологияда
қатламали
кўпхилликнинг
изометриялар
группасининг
геометрияси тадқиқ қилинган.
Қатламали кўпхилликлар учун қуйидаги леммалар ва теорема
исботланган.
r
F
Лемма 1.
Бизга
A
⊂
L
α
тўпламда нуқтавий яқинлашувчи
{
f
m
}
∈
G
(
M
)
кетма-кетлик берилган бўлсин, бу ерда
L
α
– қаралаётган қатламанинг бирор
қатлами. У ҳолда
{
f
m
}
кетма-кетлик
A
тўпламда ҳам нуқтавий яқинлашувчи
бўлади (
A
–
A
тўпламнинг
L
α
қатламдаги ёпиғи).
Лемма 2.
Бизга
f
(
p
)
m
кетма-кетликнинг яқинлашувчи
f
(
p
)
m
l
қисм кетма
кетлиги мавжуд бўладиган
L
α
қатламдаги
p
нуқталар тўплами
A
берилган
бўлсин. Агар
A
тўплам бўш бўлмаса, у ҳолда
A L
=
α
муносабат ўринли
бўлади.
Юқорида келтирилган леммалар қуйидаги теоремани исботлаш
имконини беради.
Теорема 9.
Бизга
n
ўлчамли
M
силлиқ тўла кўпхилликда
k
ўлчамли
силлиқ
F
қатлама ва
( ), 0, 1,2,3,....
r
m F
f G M r m
∈ ≥
=
кетма-кетлик берилган
бўлсин. Ҳар бир
L
α
қатламда шундай
o L
α
α
∈
нуқта мавжуд бўлиб,
( )
m
f o
α
кетма-кетлик яқинлашувчи бўлсин деб фараз қилайлик. У ҳолда
m
f
кетма
кетликнинг
F
-компакт-очиқ топологияда яқинлашувчи бўлган
m
l
f
қисмий
кетма-кетлиги мавжуд.
Қатламалар назарияси динамик системалар назарияси, динамик
полисистемалар назарияси ва бошқарув назарияларида кенг тадбиқларга эга.
Вектор майдонлар оиласининг орбиталари ҳолатлар фазосини сингуляр
қатлама деб аталувчи қатламларга ажратади.
Эришувчанлик тўплами (бошқарувчанлик тўплами) ва бошқарув
тизимларининг инвариант тўпламлари оптимал бошқарувнинг сифатий
назариясида муҳим объектлар ҳисобланади. Бошқарув тизимларининг
инвариант тўпламлари системанинг ўнг қисми ёрдамида аниқланган вектор
майдонлар оиласининг орбиталари билан устма-уст тушади.
Диссертациянинг
«Вектор майдонлар орбиталари геометрияси»
деб
номланган тўртинчи боби вектор майдонларнинг орбиталарини тадқиқ
қилишга бағишланган. Махсус кўринишдаги вектор майдонлар системаси
учун эришувчанлик тўпламининг компактлиги ва «нуқта-эришувчанлик
тўплами» кўп қийматли акслантиришнинг узлуксизлиги, маълум вақтдан
ошмаган вақтдаги эришувчанлик тўплами ёпиғининг компактлиги ва маълум
19
синф вектор майдонлари учун эришувчанлик тўплами вақтга узлуксиз
боғлиқлиги исботланган, ҳамда чизиқли системалар учун эришувчанлик
(бошқарилувчанлик) тўпламларининг турғун бўлиши шартлари топилган.
Тўртинчи бобнинг биринчи параграфида
m
i
=
+
∑
(1)
X x f x f x u
( ) ( ) ( )
u i
0
i
=
1
кўринишдаги вектор майдонлар эришувчанлик тўпламларининг геометрияси
тадқиқ қилинган, бу ерда
1,
i
u
≤
барча
i m
=
1,2,...,
лар учун
f x f x f x
0 1
(
)
, ,...,
(
)
m
(
)
- барча
m
x R
∈
нуқталар учун
(
)
i
i
f x M
≤
шартни
қаноатлантирувчи вектор-функциялар,
M
i
– ўзгармас сонлар. (1) тенглама
билан аниқланган вектор майдонларга қуйидаги кўринишидаги бошқарув
системалари мос келади:
m
i
=
+
∑
(2)
x f x f x u t
( ) ( ) ( ).
0
i
i
=
1
Ушбу
m
i
=
+
∑
(3)
x t f x f x u t
( ) ( )
0
(
)
(
)
i
=
1
i
дифференциал тенгламалар системаси учун
[0; ]
T
кесмада аниқланган
бошланғич шартларни қаноатлантирувчи ечими мавжуд бўладиган ўлчовли
1 2
( ) ( ( ), ( ),..., ( ))
m
u t u t u t u t
=
вектор-функция мавжуд бўлса,
*
x
нуқта
0
x
нуқтадан
T
вақтда эришиш мумкин деб айтамиз, бунда
*
( ) , 1,
i
x T x u
=
≤
∀ ∈
t T
[
0;
]
муносабатлар ўринли бўлади.
x
нуқтадан
T
вақтда эришиш мумкин бўлган нуқталари
n
R
фазонинг
0
тўпламини
0
( )
G T
x
каби белгилаймиз. Таърифга кўра барча
T
лар учун
x G T
∈
муносабатни ҳосил қиламиз.
0
0
( )
x
Бу параграфда (1) система учун
0
( )
G T
x
эришувчанлик тўпламининг
компактлиги ва
T
га узлуксиз боғлиқлиги исботланган.
Қуйидаги теоремалар исботланган
Теорема 10.
Барча
T
≥
0
лар учун
0
( )
G T
x
тўплам компакт тўпламдир.
Теорема 11.
Ҳар бир
T
≥
0
нуқтада
(
)
T G T
→
x
акслантириш Хаусдорф
0
метрикасида узлуксиз.
Тўртинчи бобнинг иккинчи параграфида эришувчанлик тўпламининг
структураси тадқиқ этилади.
Қуйидаги кўринишдаги
( , ), , ,
n m
x f x u x R u U R
=
∈ ∈ ⊂
(4)
бошқарув системаси қаралади. Бу ерда
U
тўплам
m
R
да компакт бўлган
тўплам. Қаралаётган
f x u
( , )вектор майдон ҳар бир
u U
∈
да
C
∞
синфга
20
тегишли ва
f
акслантириш барча аргументлари бўйича узлуксиз бўлсин.
Бундан ташқари, системанинг ўнг томони
| ( , ) | | | , ,
(
)
n
f x u M x N x u R U
≤
+
∀ ∈
×
, (5)
шартни қаноатлантириши талаб қилинади (
M
ва
N
-ўзгармас катталиклар).
Ушбу
G T
η
(
≤
)
ва
G T
η
(
)
тўпламларнинг хоссаларини ўрганиш оптимал
бошқарувнинг сифатий назариясида муҳим ўрин эгаллайди. Масалан,
G T
η
(
≤
)
тўпламнинг ёпиқлиги (ёки компактлиги) оптимал бошқарувнинг
мавжудлиги ҳақидаги теоремаларнинг исботида асосий факторлардан бири
ҳисобланади. Умуман олганда,
G T
η
(
≤
)
ва
G T
η
(
)
тўпламлар ёпиқ
бўлмаслиги мумкин.
Қуйидаги теорема ўринли.
Теорема 12.
Ушбу
G
η
(
≤
T
)
ва
G
η
(
T
)
тўпламлар компакт тўпламлардир.
Маълумки,
n
R
фазонинг компакт қисм тўпламларидан иборат
( )
n
K R
тўплам
Хаусдорф метрикаси билан метрик фазодир. Тенгламалар системасининг ўнг
томони (5) шартни қаноатлантирса, қуйидаги теоремалар ўринли
Теорема 13.
Ушбу
T
→
G
(
≤
T
)
η
ва
T G
(
T
)
→
η
акслантиришлар
узлуксиздир.
Теорема 14.
Ҳар бир
T
≥
0учун
G
(
T
)
η
тўплам компакт бўлса, у ҳолда
G
(
≤
T
)
η
тўплам ҳам компактдир.
Натижа 1.
(3) тенгламалар системаси учун
G T
( )
≤
тўплам компакт
тўпламдир.
Бу параграфда
n m
x Ax Bu x R u R
=
+
∈ ∈
(6)
, , ,
кўринишдаги чизиқли системалар ҳам қаралади. Бу ерда
A
–
n n
×
ўлчамли
матрица,
B
–
n m
×
ўлчамли матрица. Жоиз бошқарувлар
: 0; ,
[
]
m
u T R
→
0
<
<
+
∞
T
– ўлчовли чегараланган функциялар бўлсин деб фараз қилайлик.
Бошқарувнинг мақсади системани бирор
n
η
∈
R
тайин ҳолатга келтиришдан
иборат.
n
R
фазода аниқланган аналитик вектор майдонлар тўпламини
V
каби
белгилайлик. Маълумки бу тўплам Ли алгебраси бўлади, бунда
X
ва
Y
вектор
майдонларнинг кўпайтмаси сифатида уларнинг Ли қавси
[
X Y
,
]
олинган.
( )
X
x Ax Bu
u
=
+
вектор майдонларни қарайлик,
{
:
}
m
X u R
u
∈
вектор майдонлар
тўпламини
D
билан,
D
оилани ўз ичига олувчи минимал қисм Ли алгебрасини
A D
(
)
билан белгилайлик.
Юқоридаги (6) системанинг
x
нуқтадан ўтувчи
L x
( )
орбитаси
n
R
фазонинг
(
(
(
)
)
)
l l
t t t
l l
y X X X x
−
=
−
. (7)
1 1
... ...
1 1
21
кўринишидаги барча нуқталари каби аниқланади. Бу ерда барча
i l
=
1,2,...,
лар учун
,
X D t
i i
∈ −
ҳақиқий сонлар,
( )
t
t X x
→
эса
X D
∈
вектор
майдоннинг
t
=
0да
x
нуқтадан ўтувчи интеграл чизиғи. Агар (7)
муносабатдаги
i
t
лар мусбат сонлардан иборат бўлса, у ҳолда
y
нуқталар
тўплами мусбат орбитани ҳосил қилади. Жоиз
u u t
=
( )бошқарувлар бўлакли
ўзгармас функциялардан иборат бўлса, у ҳолда
G
η
мусбат орбита бўлади ва
шунинг учун
G L
( )
η
⊂
η
муносабат барча
n
η
∈
R
лар учун ўринли бўлади.
Агар
u u t
=
( )чегараланган ўлчовли функция,
xt
()
(6) системага
0
x x
(0)
=
бошланғич шарт билан мос келувчи траектория бўлса, у ҳолда ишда
1
,
кўрсатилганидек,
f x t u t
( ( ), ( ))вектор майдон
0
L x
( )
кўпхилликка деярли
x L
∈
( )
η
нуқтадан чиқувчи мос
xt
()
барча нуқталарда уринади, шунинг учун
0
траектория
L
( )
η
да ётади. Натижада, ўлчовли жоиз бошқарувлар учун
G
η
эришувчанлик тўпламининг қисм тўплами бўлади. Юқоридаги (6) система
учун
G
η
тўплам
L
( )
η
билан устма-уст тушади.
x R
∈
лар учун
A D X x X A D
x
(
)
=
∈
{
(
)
:
(
)
}
бўлсин. У ҳолда
Барча
n
x
(
)
– вектор майдонлар тўплами
x
A D
( )
– Ли алгебраси бўлганлигидан,
A D
нуқтадаги векторлар фазосининг чизиқли қисм фазоси бўлади. Жумладан,
x R
∈
учун
(
)
( )
X x A D
u x
u R
∈
ва барча
n
ҳар бир
m
Равшанки, барча
n
∈
муносабат ўринли бўлади.
x R
∈
лар учун
0 dim
≤ ≤
A D n
x
муносабат бажарилади.
Навбатдаги теоремада ҳар бир орбитанинг текислик бўлиши учун етарли
шартлар топилган.
x R
∈
лар учун
dim
A D k
x
(
)
=
(
0
<
<
k n
) бўлсин деб
Теорема 15.
Барча
n
фараз қилайлик. У ҳолда барча
n
η
∈
R
лар учун
G
η
тўплам
k
ўлчовли текислик
бўлади.
Маълумки, (6) системанинг
G
η
бошқарувчанлик тўплами соҳа бўлиши
учун
(
)
1
rank B AB A B n
−
=
n
, ,..., .
шартнинг бажарилиши зарур ва етарли.
Ушбу фактни эътиборга олиб 15-теоремадан қуйидаги натижа келиб
чиқади
x R
∈
лар учун
(
)
(
)
Натижа 2.
Барча
n
муносабат ўринли.
1
rank B AB A B A D
−
≤
, ,..., dim
n
x
Теорема 16.
Қуйидаги
(
)
1
, ,...,
n
B AB A B
−
матрицанинг ранги
n
−
1га тенг
бўлсин деб фараз қилайлик. У ҳолда барча орбиталар (эришувчанлик
тўплами)
n
−
1ўлчамли текисликлар ёки ҳолатлар фазоси учта орбитанинг
1
Аграчев А.А., Сачков Ю.Л. Геометрическая теория управления. – М.: физматлит, 2005. – 392 с.
22
бирлашмасидан иборат: орбиталардан иккитаси
n
ўлчамли, координаталар
бошидан ўтадиган орбита эса
n
−
1ўлчамли текислик.
Бошқарувнинг сифатий назариясида силлиқ кўпхилликдаги бошқарув
системасининг бошқарилувчи тўплами (ёки эришувчанлик тўплами) бўлакли
ўзгармас бошқарувлар синфида бошқарув системаси билан ягона равишда
аниқланадиган вектор майдонлар оиласининг манфий (мусбат) орбитаси
билан устма-уст тушади.
P. Stefan қатлама тушунчасининг умумлашмаси бўлган сингуляр қатлама
тушунчасини киритди ва орбиталар бирор сингуляр қатламанинг қатламлари
бўлишини кўрсатди. Барча орбиталар бир хил ўлчамли бўлганда
кўпхилликнинг орбиталарга бўлиниши қатламадан иборат бўлади. Бу эса
қатламалар назариясининг методларини силлиқ системаларнинг орбиталари
ва бошқарув тўпламларининг хоссаларини ўрганишга қўллаш имконини
беради.
Тўртинчи бобнинг учинчи параграфида чизиқли системалар учун
бошқарувчанлик тўпламининг бошланғич нуқтага узлуксиз боғлиқлиги
масаласи қаралади. Кўп қийматли
η
→
G
η
функциянинг узлуксизлиги
башқарув назариясида тўла бошқарувчан системаларнинг турғунлиги
масаласини тадқиқ этишда муҳим ўрин тутади.
Хусусан, ушбу параграфда агар чизиқли системанинг орбиталари ҳосил
қилган қатламалар регуляр бўлса, у ҳолда бошқарувчанлик тўплами
бошланғич нуқтага узлуксиз боғлиқ эканлиги исботланган.
Таъриф 10.
Ихтиёрий
ε
>
0
ва ихтиёрий
R
>
0
учун шундай
δ
>
0
сон
мавжуд бўлиб,
(
)
0
ρ
η
η
δ
,
<
муносабатдан
(
(
)
(
)
)
0
0 0
,
R R
d G B G B
η
η
η
η
ε
<
тенгсизлик ўринлилиги
келиб чиқса,
η
→
G
η
акслантириш
η
0
нуқтада
қуйидан ярим узлуксиз дейилади, бу ерда
G
η
тўплам
G
η
тўпламнинг
n
R
даги
ёпиғи,
B
R
(
η
0
)
−
маркази
η
0
нуқтада радиуси
R
га тенг бўлган ёпиқ шар.
Таъриф 11.
Ихтиёрий
ε
>
0
ва ихтиёрий
R
>
0
учун шундай
δ
>
0
сон
мавжуд бўлиб,
(
)
0
ρ
η
η
δ
,
<
муносабатдан
(
(
)
(
)
)
0
0 0
, .
R R
d G B G B
η
η
η
η
ε
<
тенгсизлик ўринлилиги
келиб чиқса, юқоридан
ярим узлуксиз дейилади
η
→
G
η
акслантириш
η
0
нуқтада
η
→
G
η
акслантириш
Таъриф 12.
Берилган
η
0
нуқтада ҳам қуйидан ҳам
юқоридан ярим узлуксиз бўлса, бу
акслантириш дейилади.
η
0
нуқтада узлуксиз
Лемма 3.
Ҳар бир
n
η
∈
R
нуқтада
яримузлуксиз.
η
→
G
η
акслантириш қуйидан
Қуйидаги теоремада қаралаётган акслантиришнинг юқоридан ярим
узлуксиз бўлиши учун етарли шарт топилган.
23
x R
∈
лар учун
dim
A D k
x
(
)
=
бўлсин, бунда
Теорема 17.
Барча
n
A D X x x A D k n
x
(
)
=
∈
<
<
{
(
)
: ,0
(
)
}
. У ҳолда фазонинг ҳар бир
нуқтасида узлуксиз.
η
→
G
η
акслантириш
n
R
Ҳақиқатан ҳам, бу теорема орбиталар ҳосил қилган қатлама
k
ўлчамли
қатлама, бошқарувчанлик тўплами эса бу қатламанинг қатламлари бўлишини
кўрсатади. Шундай қилиб, кўп
қийматли «нуқта-қатлам» риш
узлуксиз акслантиришдир.
ХУЛОСАЛАР
η
→
G
η
аксланти
Дисстертацияда қатламали риман кўпхилликларининг изометриялари
группалари тадқиқ қилинган. Қўйилган масалаларни ечиш учун қатламали
кўпхилликларнинг топологик ва геометрик хоссалари ўрнатилган ҳамда
риман субмерсияларининг геометрияси тадқиқ қилинган. Қатламага боғлиқ
бўлган, янги
F
-компакт-очиқ топология тушунчаси киритилган. Қатламали
кўпхилликлар изометриялари группаси компакт-очиқ топологияда ва
F
-
компакт-очиқ топологияда тадқиқ қилинган.
Тадқиқотнинг асосий натижалари қуйидагилардан иборат.
1. Ҳар қандай кўпхилликнинг гомеоморфизмлар группаси компакт-очиқ
топологияда топологик группа бўлишини таъкидлаш мумкин; 2. Қатламали
кўпхилликнинг изометриялари группаси компакт-очиқ топологияда
топологик группа бўлиши исботланган;
3. Агар қатламали кўпхилликнинг изометриялари кетма-кетлиги ҳар бир
қатламнинг бирор нуқтасида яқинлашувчи бўлса, у ҳолда бу кетма кетликдан
F
-компакт-очиқ топологияда яқинлашувчи қисмий кетма-кетлик ажратиш
мумкинлиги кўрсатилган;
4. Риман субмерсияси Гаусс эгрилиги ўзгармас бўлган қатламали
кўпхилликни ҳосил қилишини таъкидлаш мумкин;
5. Қатламали кўпхиллик геодезик чизиқларининг лимити лимитдаги
қатламнинг геодезик чизиғи бўлиши исботланган;
6. Тўрт ўлчамли
4
Sol
кўпхилликни беш ўлчамли евклид фазосига
ботириб бўлмаслиги кўрсатилган;
7. Қатламали кўпхиллик изометрияси группасининг элементи бўлиб,
лекин кўпхиллик изометрияси группасининг элементи бўлмайдиган
қатламанинг мавжудлиги исботланган;
8. Маълум бир синфга тегишли вектор майдонлар системасининг
эришувчанлик тўплами компакт бўлиши ва унинг вақтга узлуксиз боғлиқлиги
аниқланган;
9.
Чизиқли
бошқарув
системасининг
эришувчанлик
тўплами
(бошқарувчанлик тўплами) тайин ўлчамли текисликдан иборат бўлиши учун
етарли шартлар топилган.
Муаллиф илмий маслаҳатчи профессор Нарманов Абдигаппар
Якубовичга муаммоларнинг қўйилиши ва уларни муҳокама қилишда доимий
фойдали маслаҳатлари ва қўллаб-қувватлаганлиги учун ўзининг чуқур
миннатдорчилигини билдиради.
24
НАУЧНЫЙ СОВЕТ 14.07.2016.FM.01.01 ПО ПРИСУЖДЕНИЮ
УЧЕНОЙ СТЕПЕНИ ДОКТОРА НАУК
ПРИ НАЦИОНАЛЬНОМ УНИВЕРСИТЕТЕ
УЗБЕКИСТАНА НАЦИОНАЛЬНЫЙ УНИВЕРСИТЕТ
УЗБЕКИСТАНА
ШАРИПОВ АНВАРЖОН СОЛИЕВИЧ
ГРУППА ИЗОМЕТРИЙ СЛОЕНЫХ МНОГООБРАЗИЙ
01.01.04 – Геометрия и топология
(физико-математические науки)
АВТОРЕФЕРАТ ДОКТОРСКОЙ ДИССЕРТАЦИИ
Ташкент – 2016
25
Тема докторской диссертации зарегистрирована в Высшей аттестационной комиссии
при Кабинете Министров Республики Узбекистан за № 30.09.2014/B2014.5.FM132
Докторская диссертация выполнена в Национальном университете Узбекистана.
Автореферат диссертации на трех языках (узбекский, русский, английский) размещен на
веб-странице Научного совета (
http://ik-fizmat.nuu.uz/
) и информационно-образовательном портале
«ZIYONET» (
www.ziyonet.uz
).
Научный консультант: Нарманов Абдигаппар Якубович
доктор физико-математических наук, профессор
Официальные оппоненты:
Vakhtang Lomadze
доктор физико-математических наук,
профессор (Тбилисский государственный
университет, Грузия)
Бешимов Рузиназар Бебутович
доктор физико-математических наук
Рахимов Абдугафур Абдумаджидович
доктор физико-математических наук,
профессор
Ведущая организация: Федеральное государственное бюджетное
образовательное учреждение высшего
образования «Удмуртский государственный
университет»
(Российская Федерация).
Защита диссертации состоится «____» _____________2016 года в ____ часов на заседании
Научного совета 14.07.2016.FM.01.01 при Национальном университете Узбекистана. (Адрес:
100174, г. Ташкент, Алмазарский район, ул. Университетская, 4. Тел.: (99871)227-12-24, факс:
(99871) 246-53-21, (99871)246-02-24, e-mail:
nauka@nuu.uz
.)
С докторской диссертацией можно ознакомиться в Информационно-ресурсном центре
Национального университета Узбекистана (зарегистрирована за №____). (Адрес: 100174, г.
Ташкент, Алмазарский район, ул. Университетская, 4. Тел.: (99871)246-02-24).
Автореферат диссертации разослан «____» _______________2016 года.
(протокол рассылки №________ от «____» _______________2016 года).
А.А. Абдушукуров
Председатель Научного совета по присуждению
ученой степени доктора наук, д.ф.-м.н., профессор
Г.И. Ботиров
Ученый секретарь Научного совета по присуждению
ученой степени доктора наук, к.ф.-м.н.
Р.Б. Бешимов
Заместитель председателя научного
семинара при Научном совете по присуждению
ученой степени доктора наук, д.ф.-м.н.
26
ВВЕДЕНИЕ (аннотация докторской диссертации)
Актуальность и востребованность темы диссертации.
В связи с
бурным развитием научно-технического прогресса в мире, требуются
разработки новых методов фундаментальных исследований и внедрения
полученных результатов в практику. Исходя из потребностей практики, на
стыке дифференциальных уравнений и дифференциальной топологии
французскими учеными созданы фундаментальные основы теории слоеных
многообразий. Доказаны устойчивость компактных слоений и инвар
иантность предельных множеств слоев. Учеными США и России
исследованы качественная теория слоений, в которой исследуются
геометрические и топологические свойства слоеных многообразий. Вместе с
этим применение теории слоеных многообразий на практике остается одной
из важнейших задач геометрии.
После провозглашения независимости в нашей стране внимание к
актуальным направлениям в области естественных и точных наук в
ощущаемой степени увеличилось, в частности особое внимание уделяется
приложению методов и результатов этой теории к теориям оптимального
управления и динамических систем. В этой области получены достаточные
условия стабильности для управляемых систем, доказана неотрицательность
секционных кривизн слоев слоения, порожденных римановыми субмерсия ми
в пространствах с неотрицательными кривизнами и по исследованию
геометрии векторных полей получены весомые результаты.
На сегодняшный день исследования, проводимые в мире по геометрии
орбит семейства векторных полей на многообразии, являются важными для
исследований, связанных с теориями динамических полисистем и опти
мальных управлений. В этой области важной задачей являются широкие
приложения целевых научных исследований по теории слоений для
определении структуры фазового пространства динамических полисистем:
применения методов теории слоений к теории динамических полисистем,
оптимального управления; к различным задачам в других областях;
исследование геометрии слоений, порожденных римановыми субмерсиями;
исследование геометрии римановых слоений на поверхностях с
неотрицательной секционной кривизной. Выполняемые научные исследова
ния в вышеприведенных направлениях обосновывают актуальность темы
настоящей диссертации.
Исследования данной диссертации в определенной степени служат
решению задач, обозначенных в постановлениях Президента Республики
Узбекистан ПП-436 от 7 августа 2006 года «О мерах по совершенствованию
координации и управления развитием науки и технологии», а также
ПП-2204 от 8 июля 2014 года «О мерах по дальнейшей оптимизации
структуры Академии Наук Республики Узбекистан и укреплению интеграции
академической науки и высшего образования Республики» и в других
нормативно-правовых актах, относящихся к данной области деятельности.
27
Соответствие исследования с приоритетными направлениями
развития науки и технологий республики
. Данное исследование
выполнено в соответствии с приоритетным направлением развития науки и
технологий в Республике Узбекистан IV. «Математика, механика и
информатика».
Обзор международных научных исследований по теме диссертации
1
.
Научные исследования по теории слоений, качественной теории сло ений, где
в основном исследуются топологические и геометрические свой ства,
локальной и глобальной устойчивости компактного слоя слоения, обоб щения
теорем устойчивости для некомпактных слоев, сингулярным рима новым
слоениям, геометрии геодезических и римановых слоений, топологии
слоений коразмерности один, ведутся в крупных научных центрах и выс ших
учебных заведениях мира, в частности: в Университете Страсбурга
(Франция), в Университете Гренобля (Франция), в Парижском университете
(Франция), в Университете Монпелье (Франция), в Университете Иллинойса
(США), в Университете Калифорния (США), в Университете Индиана
(США), в Принстонском университете (США), в Уорвикском университете
(Великобритания), в Университете Лондона (Великобритания), в Токийским
университете (Япония), в Университете Тохоку (Япония), в Университете
Киото (Япония), в Московском государственном университете (Россия).
В результате исследований по качественной теории слоений, где иссле
дуются топологические и геометрические свойства слоев, и свойств син
гулярных римановых слоений в мире, решены ряд актуальных проблем, в
частности, получен следующий ряд результатов: доказаны теоремы о
локальной и глобальной устойчивости компактных слоев слоения, а также
показано, что семейство орбит векторных полей Киллинга порождают
сингулярные римановы слоения (университет Страсбурга, университет
Гренобля, Парижский университет, университет Монпелье, Франция).
Доказано, если слоение порождено слоями субмерсии, то для него понятие
связности Эресмана эквивалентно известному понятию связности Эресмана
для субмерсии, а также показано вполне геодезические и римановы слоения
обладают связностью Эресмана (университет Иллиноиса, Калифорнийский
университет, университет Индианы, университет Принстона, США).
Д
оказано, что каждая орбита семейства гладких векторных полей является
гладким многообразием, и разбиение многообразия на орбиты порождает
сингулярное слоение (университет Уорика, университет Лондона, Велико
британия). Доказана, локальная стабильность некомпактного собственного
слоя слоения коразмерности один на трехмерном многообразии, показана
связь между частичной упорядоченности множества слоев и топологии слоев
1
Обзор зарубежных научных исследований по теме диссертации: Actualite Sci. Indust.; C.R.Acad. Sci. Paris;
https://www.math.uni-muenster.de/u
;
Proc. Fifth Canad. Math. Congress; Ann. of Math.;Успехи математических
наук,
www.mathnet.ru/umn
; Математические заметки,
www.mathnet.ru/mz
;
www.ams.org/bull
;
Progress in
Mathematics;
https://projecteuclid.org/euclid.ijm
;
Ann. Math.; Topology;
http://link.springer.com
;
Journal of
mathematical Physics, analysis, geometry;
http://www.foliations.org
,
также использованы и другие источники.
28
(университет Токио, университет Тохоку, университет Киото, Япония).
Доказано, что каждое слоение коразмерности один на трехмерной сфере
обладает компактным слоем (Московский университет, Россия).
На мировом уровне осуществляется ряд научно-исследовательских
работ в приоритетных направлениях по геометрии и топологии слоеных
многообразий, а именно: исследование геометрии римановых слоений на
поверхностях с неотрицательной секционной кривизной, изучение структуры
группы изометрий слоеных многообразий, определение геометрической
характеристики слоений, порожденных субмерсиями на римановом
многообразии, свойств геодезических линий слоеного многообразия,
применение геометрии слоений в теориях динамических систем и
оптимальных управлений, исследование геометрии множества достижимости
(управлямости), а также исследование непрерывной зависимости множества
достижимости от времени как многозначного отображения.
Степень изученности проблемы.
В формировании и развитии теории
слоения большой вклад внесли французские математики такие, как С.
Ehresmann, G. Reeb, H. Lawson, P. Molino, A. Haefliger, R. Langevin, H.
Rosenberg, G. Lamoureux. Основные работы Ж. Риба (G. Reeb), одного из
основоположников теории слоений, посвящены задачам качественной теории
слоений. Ж. Рибом доказано, что если компактный слой имеет конечную
фундаментальную группу, то существует такая окрестность этого слоя,
которая состоит из слоев, диффеоморфных данному слою. В работах
Ш.Эресмана (С. Ehresmann) показано, что римановы и геодезические слоения
на полных римановых многообразиях обладают связаностью Эресмана.
Исследование группы изометрий слоеного многообразия является новой
задачей в теории слоеных многообразий. Понятие изометрии слоеного
многообразия было введено профессором А.Я. Нармановым. Им доказано,
что для некоторого класса слоений существует изометрия слоеного много
образия, которая не является изометрией многообразия. Группа изометрий
слоеного многообразия является подгруппой группы диффеоморфизмов
слоеного многообразия. Группа диффеоморфизмов слоеного многообразия
изучена в работах С.Х. Арансона. Им получено необходимое и достаточное
условие топологической сопряженности таких диффеоморфизмов. Для ком
пактных многообразий различные подгруппы, и группы диффеоморфизмов
изучены P. L. Antоnеlli, D. Вurghеlеa, P. J. Кahnом.
В современной геометрии одним из основных задач является иссле дование
предела геодезических. Мощным оружием римановой геометрии является
теорема о пределе геодезических линий риманова многообразия. В случае
слоеных многообразий эта задача осложняется тем, что геодезическая линия
слоеного многообразия лежит на слое и является геодезической отно сительно
индуцированной римановой метрики слоя. В работах С. Хелгасона доказаны
замечательные теоремы о геодезических и о группах изометрий риманова
многообразия. В частности, им доказано, что группа изометрий риманова
многообразия является топологической группой в компактно открытой
топологии. Кроме этого он доказал, что если на римановом
29
многообразии задана последовательность изометрий которые сходятся в
одной
точке,
тогда
существует
подпоследовательность
этой
последовательности, сходящаяся в компактно-открытой топологии к
некоторой изометрии этого многообразия.
Сингулярные римановы слоения были введены P. Molino, геометричес
кие и топологические свойства сингулярных римановых слоений также изу
чены в работах А.Я. Нарманова, Н.И. Жуковой и других авторов. P. Molino
показал, что если сингулярное слоение является римановым, то риманова
метрика многообразия порождает трансверсальную метрику на нормальном
расслоении каждого слоя. Для полных многообразий А.Я. Нармановым
доказано, что это условие является необходимым и достаточным для того,
чтобы сингулярное слоение было римановым.
Несмотря на это, остается открытым вопрос о том является ли группа
диффеоморфизмов некомпактных многообразий топологической группой, а
также является ли группа изометрий слоеных многообразий топологической
группой, относительно компактно-открытой топологии. Кроме того,
оставался открытым вопрос о пределе геодезиеских слоеного многообразия, а
также вопрос о кривизне слоений, порожденных римановыми субмерсиями.
Связь диссертационной работы с фундаментальными и прик
ладными исследованиями, с инновационными проектами, Государст
венными научно-техническими программами.
Диссертационное исследование проводились в рамках научно
исследовательских грантов Национального университета Узбекистана
1.Ф.1.1.9 «Функциональные и топологические свойства экстремальных
управлений, областей достижимости и стабильность вполне управляемых
систем» (2003- 2007), ОТ-Ф1-096 «Создание и разработка геометрических и
топологических методов для решений задач теории динамических
полисистем» (2007– 2011), ОТФ-01-04 «Геометрия и топология слоеных
многообразий» (2012-2016).
Целью исследования
являются исследования геометрии и топологии
слоеных многообразий, структуры группы изометрий слоеных многообразий
и геометрии слоеных многообразий постоянной секционной кривизны, а
также применение полученных результатов к исследованию множества
достижимости систем управления и в доказательстве непрерывной зависи
мости множества достижимости от начальной точки.
Задачи исследования
:
установления основных свойств геодезических слоеных многообразий;
обобщение классического результата о группе гомеоморфизмов компактного
многообразия для некомпактных многообразий; исследование геометрии
группы изометрий слоеного многообразия в новой
F
- компактно-открытой
топологии;
нахождения условий, при котором слои слоеного многообразия являются
многообразиями постоянной Гауссовой кривизны;
30
исследование
структуры
множества
достижимости
(множества
управляемости) систем векторных полей, заданных на римановых
многообразиях.
Объектом исследования
являются слоеные римановы многообразия,
геодезические линии слоеных многообразий, орбиты семейства гладких
векторных полей, множество достижимости и области управляемости
динамических систем, слоения, порожденные римановыми субмерсиями.
Предметом исследования
являются исследования группы изометрий
слоеного многообразия, геометрия и топология слоеного многообразия,
слоения, порожденные субмерсиями, геометрия орбит векторных полей и
сингулярных слоений.
Методы исследования.
В диссертации применяются методы локальной и
глобальной дифференциальной геометрии, методы теории слоений, а также
геометрические и топологические методы теории динамических систем.
Научная новизна
диссертационного исследования заключается в
следующем:
доказано, что группа гомеоморфизмов любого гладкого многообразия
является топологической группой в компактно-открытой топологии; доказано,
что группа изометрий слоеного многообразия является топологической
группой в компактно-открытой топологии; доказано, что если
последовательность изометрий слоеных многообра зий сходятся по одной
точке на каждом слое, то из этой последовательности можно извлечь
сходящую подпоследовательность к изометрию слоеного многообразия в
F
−
компактно-открытой топологии;
показано, что если слоение порождено римановой субмерсией, тогда
слои этого слоения являются многообразиями постоянной Гауссовой
кривизны;
доказано, что предел геодезических слоеного многообразия, является
геодезической на предельном слое слоения;
доказано, существование слоения, для которого существует элемент
группы изометрий слоеного многообразия, не являющийся элементом
группы изометрий;
доказана компактность множества достижимости, и непрерывность
многозначного отображения «точка - множество достижимости» систем
векторных полей специального вида;
доказана компактность замыкания множества достижимости за время не
превосходящее фиксированное время, и непрерывная зависимость множества
достижимости от времени для векторных полей определенного класса;
найдены условия для того, чтобы множества достижимости (множества
управляемости) совпадали с плоскостями фиксированной размерности для
линейных систем.
Практические результаты исследования
состоят в возможности при
менения для определения кривизны фазового пространства динамических
систем на многообразиях неотрицательной кривизны, а также для ис-
31
следования геометрии слоения, порожденного множествами достижимости
системы управления.
Достоверность
результатов
исследования.
При исследовании
геометрии и топологии слоеных многообразий, а также при изучении
геометрии орбит векторных полей достоверность обоснована применениями
теорем и методов теории слоений, римановой геометрии и дифференциаль
ной топологии.
Теоретическая
и
практическая
значимость
результатов
исследования.
Научное значение результатов исследования заключается в
возможности использования компактности множества достижимости и
непрерывность многозначного отображения для определения кривизны
фазового пространства динамических систем.
Практическое значение диссертационного исследования заключается в
том, что расширение класса исследуемых объектов позволяет определить
структуры множества достижимости (множества управляемости) для
управляемых систем.
Внедрение результатов исследования.
Полученные в диссертации
результаты были использованы в следующих научно-исследовательских
проектах:
результаты полученные о компактности множества достижимости
векторных полей и по непрерывности многозначного отображения, были
использованы в научном проекте 12-01-00195 «
Задачи позиционного
управления детерминированными и стохастическими динамическими
процессами и дифференциальные игры со многими участниками»
по
фундаментальным исследованиям Министерства образования и науки
Российской Федерации,
применение этих научных результатов позволили
описать структуру траекторий и фазового пространства динамических систем
(Справка №
7873-8965/20
Удмуртского государственного университета от 25
августа 2016 года). Применение научного результата послужило решающим
фактом по определению кривизны фазового пространства динамических
систем и при изучении геометрии множеств достижимости управляемых
систем;
результаты, полученные в диссертации показывают, что если слоение
порождено римановой субмерсией на полном римановом многообразии с
постоянной Гауссовой кривизной, то слои этого слоения являются
многообразиями постоянной Гауссовой кривизной, эти результаты были
использованы в научном проекте в рамках научных исследований по
государственному гранту НИР 1.3.1.3 «Методы создания, исследования и
идентификации математических моделей о Земле», применение этих
результатов
позволили
изучить
возможность
структуры
фазового
пространства динамических систем
(Справка № 15301/12-2711
Института
Вычислительной математики и математической геофизики Сибирского
отделения российской академии наук
от 24 августа 2016 года). Применение
этих научных результатов способствовало
определению структуры фазового
32
пространства динамических систем на многообразиях неотрицательной
кривизны
.
Апробация работы.
Основные результаты исследования обсуждались
на научно-практических конференциях, в том числе: «В школе–семинаре по
геометрии» (Абрау-Дюрсо, Россия, 2006), «Новые теоремы молодых
математиков» (Наманган, 2006, 2009), «Новые направления в теории
динамических систем и некорректных задач» (Самарканд, 2007),
«Современные проблемы математики, механики и информатики» (Ташкент,
2008), «Foliations, Dynamic systems and Singularity theory»
(Самарканд,
2009),
«Метрическая
геометрия
поверхностей
и
многогранников» (Москва, Россия, 2010), «Locally analytical geometry»
(Lahore, Pakistan, 2012), «Ал-Хорезми-2012» (Ташкент, 2012), «Актуальные
вопросы геометрии и её приложения» (Ташкент, 2014), «Предельные теоремы
теории вероятностей и их приложения» (Наманган, 2015), «Теория
управления и математическое моделирование» (Ижевск, Россия, 2015),
«Математическая физика и родственные задачи современного анализа»
(Бухара, 2015), «Современные проблемы анализа» (Карши, 2016), «Проблемы
современной топологии и её приложения» (Ташкент, 2016) выступления и
доклады прошли широкую апробацию. Результаты
исследования
обсуждались в научных семинарах на математическом факультете при
Национальном университете Узбекистана
«
Современные
проблемы
геометрии и топологии» (2000-2016), «Функциональный анализ и его
приложения» (2014-2015), «Современные проблемы комплексного анализа»
(2015), в научном семинаре «Операторные алгебры и их приложения»
Института Математики при Национальном университете Узбекистана (2015),
в научном семинаре кафедры «Высшая математика»
Наманганского
инженерно-педагогического института (2016).
Опубликованность результатов исследования.
По теме диссертации
опубликовано 43 научные работы, из них 16 входят в перечень научных
изданий, предложенных Высшей аттестационной комиссией Республики
Узбекистан для защиты докторских диссертаций, в том числе 6 из них
опубликованы в зарубежных журналах и 10 в республиканских научных
изданиях.
Структура и объем диссертации.
Диссертация состоит из введения,
четырёх глав, заключения, списка использованной литературы. Объем
диссертации составляет 161 страниц.
ОСНОВНОЕ СОДЕРЖАНИЕ ДИССЕРТАЦИИ
Во введении
обосновываются актуальность и востребованность темы
диссертации, в соответствии с исследованиями в приоритетных
направлениях развития науки и технологий Республики Узбекистан, даётся
обзор международных научных исследований по теме диссертации,
раскрываются степень изученности проблемы и связь с научным
направлением Национального университета Узбекистан, формулируются
цели и задачи, а также объект и предмет исследования, излагаются научная
33
новизна и практические результаты исследования, обосновывается
достоверность полученных результатов, раскрывается ее теоретическая и
практическая значимость, приведен список внедрений в практику результатов
исследования и опубликованных работ, даются сведения об апробации
полученных результатов и структуре диссертации.
Первая глава диссертации, названная
«Основные сведения и
вспомогательные факты»,
носит вспомогательный характер и посвящена
изложению основных определений и вспомогательных фактов по теме
данной диссертации. Она состоит из трех параграфов.
В первом параграфе первой главы кратко изложена теория гладких
многообразий, приведены необходимые определения и вспомогательные
факты, относящиеся к гладким многообразиям, используемые в диссертации.
Приведены примеры гладких многообразий, подмногообразий.
Во втором параграфе кратко изложена теория векторных полей на
гладком многообразии, и приведены основные свойства орбит векторных
полей. Все понятие оснащены примерами.
Третий параграф посвящен основным понятиям и вспомогательным
фактам теории слоений. В нем приводится определения и результаты
исследований по теории слоениям.
Пусть
M
−
гладкое многообразие размерности
n
,
A
−
максимальный
атлас, определяющий на
M
структуру гладкого многообразия класса
r
C
, где
r
≥
0
. Многообразие
M
является также многообразием
s
C
, если
0
≤ ≤
s r
.
Систему локальных криволинейных координат на
s
C
- многообразии
M
обозначим через
s
A
.
Пусть теперь целое
k
удовлетворяет неравенствам
0
≤ ≤
k n
.
Определение
1.
Семейство
F
=
{
L
;
α
∈
B
}
α
линейно связных подмножеств
M
называется
k
–
мерным слоением класса
r
C
, если оно удовлетворяет следующим трем
условиям:
;
(
F
1
):
L M
α
α
=
∈
B
(
F
2
): для всех
α
,
β
∈
B
если
α
≠
β
,
то обязательно
L L
α
β
∩
=
∅
;
(
F
3
): для всякой точки
p
∈
M
можно выбрать локальные координаты
( )
( , )
s
U A
λ
λ
ϕ
∈
,
p
∈
U
λ
, так что и
если
U L
λ
α
∩ ≠ ∅
для некоторого
α
∈
B
, то
компоненты линейной связности множества
( )
ϕ
λ
U
λ
∩
L
α
имеют вид
1 2
1 1 2 2
, ,..., : , ,...,
n k k k k n n
x x x U x c x c x c
ϕ
λ
λ
+
+
+
+
∈
=
=
=
,
{
(
)
(
)
}
где числа
1 2
k k n
+
+
постоянны на компонентах линейной связности.
c c c
, ,...,
Множество
L
α
называется слоем слоения
F
. В описанной ситуации
k
мерное слоение
s
С
- слоение называется также
s
С
- слоением коразмерности
34
q n k
=
−
. Условия (
F
1
), (
F
2
) означают, что
M
состоит из взаимно
непересекающихся слоев. Условие (
F
3
) означает, что локально слои устроены
как параллельные плоскости. Если выполняется условие (
F
3
) координатные
окрестности
( )
( , )
s
U A
λ
λ
ϕ
∈
, называются расслоенными, а совокупность
всех
расслоенных координатных окрестностей обозначается через
s
A
F
называется системой расслоенных координатных окрестностей.
Если на многообразии
M
задано слоения
F
, то такое многообразие
называем слоеным многообразием, и обозначим через
( , )
M F
. Окрестность
U
в определении называется расслоенной окрестностью.
Одним из важных классов слоения, является класс слоений, порожден
ные субмерсиями.
Определение 2.
Дифференцируемое отображение
f
:
M
→
B
макси
мального ранга, где
M
,
B
- гладкие многообразия размерности
n
,
m
соответственно, при
n
>
m
, называется субмерсией.
С геометрической точки важными классами слоений являются вполне
геодезические слоения и римановы (метрические) слоения.
Определение 3.
Подмногообразие
N
риманова многообразия
M
называется вполне
геодезическим, если каждая геодезическая многообразия
M
, касающаяся
подмногообразия
N
, содержится в
N
.
Определение 4.
Слоение
F
на римановом многообразии
M
назы вается
вполне геодезическим, если каждая геодезическая, касательная к слою
слоения
F
в одной точке, остаётся на этом слое, т.е. каждый слой является
вполне геодезическим подмногообразием.
Важным классом слоений коразмерности один являются слоения,
порожденные поверхностями уровня дифференцируемых функций без
критических точек. Американский профессор Ph. Tondeur рассматривал
функцию
1
:
n
f M R
→
без критических точек на римановым многообразии
n
M
,
длина градиента которой постоянна на каждой поверхности уровня. Для
таких функций он доказал, что слоение, порожденное поверхностями уровня
такой функции является римановым (метрическим) слоением.
f M R
:
→
из класса
(
)
Определение 5.
Функция
1
2 1
C M R
,длина гра
диента, которой постоянна на компонентах связности множеств уровня,
называется метрической функцией.
Определение 6.
Слоение
F
на римановом многообразии
M
называ ется
римановым, если каждая геодезическая, ортогональная в одной точке к слою
слоения
F
, остаётся ортогональной к слоям
F
во всех своих точках.
Вторая
глава
диссертации,
названная
«Геометрия
слоеных
многообразий»
посвящена исследованию геометрии слоеных многообразий,
слоеный атлас которого порожден субмерсией. Доказаны, что слои, слоения
порожденные
римановыми
субмерсиями, являются многообразиями
постоянной Гауссовой кривизны, предел геодезических линий слоеного
многообразия, является геодезической линии на предельном слое, а также
35
невозможность изометрического погружения четырехмерного многообразия
Sol пятимерное евклидово пространство.
Важным классом слоений является класс слоений порожденными
субмерсиями. По теореме о ранге всякая субмерсия
f M B
:
→
порождает
слоение
F
размерности
k n m
=
−
на многообразии
M
, слоями которого
являются подмногообразия
1
( ),
L f p p B
p
−
=
∈
, где
nm
,размерности
многообразий
M B
,
соответственно и
n m
>
.
Пусть
F
−
гладкое слоение размерности
k
на
M
. Обозначим через
L p
(
)
−
слой
слоения
F
, проходящий через точку
p
,
T
p
L
- касательное пространство слоя
L
(
p
)
в точке
p
,
H p
(
)
−
ортогональное дополнение
T
p
L
в
T
p
M
,
p
∈
M
.
Возникают два подрасслоения (гладкие распределения)
TF
=
{
T
p
L
:
p
∈
M
}
,
H
=
{
H
(
p
)
:
p
∈
M
}
касательного расслоения
TM
такие, что
TM
=
TF
⊕
H
, где
H
является ортогональным дополнением
TF
. В этом случае каждое векторное
поле
X
∈
V
(
M
)
можно представить в виде
,
- ортогональные проекции
X
на
TF
,
H
,
X
=
X
v
+
X
h
где
X
v
X
h
соответственно.
Если
X
∈
V
(
F
)
(т.е.
0
X
h
=
), то
X
назовем вертикальным полем. Если
X V
∈
(H)
(X 0)
v
=
, то
X
назовем горизонтальным полем. Из субмерсий особое
можно выделить класс таких субмерсий называемые римановыми.
Определение 7.
Субмерсия
f
:
M
→
B
называется римановой, если
дифференциал отображения
df
сохраняет длину горизонтальных векторов В
первом параграфе исследуется секционные кривизны слоений, порожденной
римановыми субмерсиями. Доказано, что если слоение порождено
римановой субмерсией, тогда слои этого слоения являются многообразиями
постоянной Гауссовой кривизны.
В работе
1
изучена геометрия поверхностей уровня функций, для которых
(
)
0
2
X gradf
=
для каждого вертикального векторного поля
X
. Мы рассмотрим
субмерсии
f M B
:
→
, когда многообразие
B
является одномерным
многообразием, а именно гладкую функцию
f
:
M
→
R
. Если
Сrit
{
f
}-
множество критических точек функции
f
, то на многообразии
M
\
Сrit
{
f
}возникают слоение
F
размерности
n
−
1(или коразмерности один), слоями
которого являются поверхности уровня функции
f
. Доказывается теорема,
характеризующая геометрию слоения, порож денного римановой субмерсией.
Поверхности уровня функций этого класса являются поверхностями
постоянной Гауссовой кривизны.
Теорема 1.
Пусть
M
−
полное риманово
многообразие с постоянной
f M R
:
→
риманова субмерсия. Тогда каждый
слой слоения
F
кривизной и
1
1
Tondeur Ph. Foliations on Riemannian manifolds// Springer Verlag, – New York, – 1988.
36
порожденной римановой субмерсией (поверхность уровня функции
f
)
является многообразием постоянной Гауссовой кривизны.
Второй параграф второй главы посвящен исследованию геометрии
геодезических слоеных многообразий. В римановой геометрии важным
является изучения свойств геодезические линий. В частности, известно, что
если последовательность геодезических линий сходятся в одной точке, то
существует подпоследовательность последовательности, которая сходится
поточечно к некоторой геодезической линии в каждой точке.
Доказана следующая теорема, которая является обобщением
классической теоремы о пределе геодезических линий на многообразия.
Теорема 2.
Пусть
M
−
гладкое полное риманово многообразие размерности
n
с
гладким слоением размерности
k
, где
0
<
k
<
n
. Тогда 1) Каждый слой с
индуцированной римановой метрикой является полным римановым
многообразием.
γ
:( , )
- последовательность геодезических
2) Пусть
m
a b
→
L
m
(относительно индуцированных римановых метрик) слоев
L
m
такая, что
γ
m
(
s
0
)
→
p
,
s v
γ
m
(
0
)
→
при
m
→∞
для некоторого
( , )
s
0
∈
a b
. Тогда
последовательность
m
γ
поточечно сходится к геодезической
слоя
L
(
p
)
, выходящая из точки
p
при
0
γ
:(
a
,
b
)
→
L
(
p
)
s
=
s
в направлении вектора
v
.
В следующей теореме усиливается вторая часть теоремы 2.
Теорема 3.
Пусть
M
−
гладкое полное риманово многообразие размерности
n
с гладким
слоением размерности
k
, где
0
<
<
k n
.
:
γ
m m
Пусть
1
R L
→ −
последовательность геодезических (относительно
γ
s
p
→
при
индуцированных римановых метрик) слоев
L
m
такая, что
0
( )
m
m
→∞
для некоторого
1
s R
∈
. Тогда существует подпоследовательность
m
l
γ
0
последовательности
m
γ
, которая поточечно сходится к некоторой
γ
: ( )
R L p
→
слоя
L p
( )
, выходящая из точки
p
при
0
геодезической
1
s s
=
.
Изометрическое погружение риманового пространства в евклидово
пространство или в другое риманово пространство является одним из
способов построения подмногообразий этих пространств, обладающих
новыми
интересными
геометрическими
свойствами.
Проблемы
изометричных погружений и вложений многообразий в евклидовы и другие
пространства являются одними из центральных проблем как в
дифференциальной геометрии, так и в римановой геометрии, и изучаются в
этих дисциплинах с самых разных точек зрения.
Теория изометрических погружений связана с трудными вопросами
разрешимости нелинейных систем дифференциальных уравнений, а также с
топологическими вопросами, в ней используются и наглядные геомет
рические идеи, наряду с привлечением широкого арсенала математических
средств.
37
Третий параграф посвящен исследованию, проблему о погружении
многообразий в евклидово пространство. Рассматривается вопрос о воз
можности погружения многообразий в евклидово пространство. На
четырёхмерном многообразии
4
Sol
левоинвариантная метрика
задается формулой
2 2 2 2 4 2 2
( )
t t
ds e dx dy e dz dt
−
=
+
+
+
.
Доказана следующая
Теорема 4.
Многообразия
4
Sol
нельзя погрузить в пятимерное
евклидово пространство.
Трехмерная группа Ли всех
2 2
×
- матриц с вещественными элементами
и определителем 1 обозначается через
⎧ ⎫ ⎪ ⎪ ⎛ ⎞ ⎛ ⎞
a b a b
SL R GL R
2
(
2, det 1 ,
)
=
∈
=
⎨ ⎬ ⎜ ⎟ ⎜ ⎟ ⎪ ⎪ ⎩ ⎭ ⎝ ⎠ ⎝ ⎠
c d c d
а
2
SL R
обозначает её универсальную накрывающую. Известно, что
2
SL R
тоже является группой Ли и допускает метрику, инвариантную относительно
левого умножения.
Теперь исследуем вопрос о возможности изометрического погружения
многообразия
2
SL R
с левоинвариантной метрикой
2 2 2
(
)
dx dy dx ydt
ds
+
+
+
2
=,
y
2
в четырехмерное евклидово пространство
4
R
.
Теорема 5.
Трехмерное многообразие
2
SL R
нельзя погрузить в
четырехмерное евклидово пространство.
В третьей главе диссертации, названной
«Группа изометрий слоеных
многообразий»
исследуется группа изометрий слоеных многообразий. В
частности, вводятся понятия изометрии слоеного многообразия и на
множестве всех изометрий слоеного многообразия введена слоеная
компактно-открытая топология или
F
- компактно-открытая топология,
доказаны, что множество всех изометрий слоеного многообразия является
Хаусдорфовом пространством относительно
F
- компактно-открытой
топологии, группа гомеоморфизмов гладкой связной многообразии конечной
размерности является топологической группой относительно компактно
открытой топологии, подгруппа состоящей из всех изометрий слоеного
многообразия тоже является топологической группой относительно этой
топологии, если последовательность изометрий слоеного многообразия
сходятся по одной точке каждого слоя слоения, тогда из неё можно выделить
подпоследовательность сходящую к изометрию слоеного многообразия в
F
-
компактно-открытой топологии.
В первом параграфе третьей главы вводится понятие изометрии
слоеного многообразия и понятие слоеной компактно-открытой топологии
или
F
- компактно-открытая топология в
( )
G M
F
, которая зависит от слоения.
Если размерность слоения совпадает с размерностью многообразия,
38
то эта топология совпадает с компактно- открытой топологией, если
коразмерность слоения совпадает с размерностью многообразия, то
сходимость в этой топологии совпадает с поточечной сходимостью.
Пусть
(
)
1
M
,
F
и
(
)
2
N
,
F
слоеные многообразия со слоениями
1 2
F F
,
размерности
k
.
Определение 8.
Если при некотором
r
C
- диффеоморфизме
ϕ
:
M N
→
образ
ϕ
( )
L
α
любого слоя
L
α
слоения
F
1
является слоем слоения
F
2
, то
говорят, что пары
(
)
1
M
,
F
и
(
)
2
N
,
F
r
C
- диффеоморфны и пишут
1
( , )
M F
≈
( , )
N F
2
.
Отображение
ϕ
из
(
)
1
M
,
F
в
(
)
2
N
,
F
называется
r
C
- диффеоморфизмом,
сохраняющим слоение и пишется в виде
1 2
ϕ
: ( , ) ( , )
M F N
F
→
. В случае, когда
M
=
N
и
F F
1 2
=
, говорят о диффеоморфизме слоеного
многообразия
(
M
,
F
)
.
Определение 9.
Диффеоморфизм
ϕ
:
M M
→
слоеного многообразия
называется изометрией слоеного многообразия (
M F
,), если сужение
ϕ
ϕ
: ( )
L L
→
является изометрией.
α
α
Пусть
{
K
λ
}
- семейство всех компактных множеств, где каждое
K
λ
принадлежит какому либо слою слоения
F
и пусть
{
U
β
}
- семейство всех
открытых множеств на
M
. Рассмотрим для каждой пары
K
λ
⊂
L
α
и любого
f G
M
∈
, для которых
(
)
K
λ
U
β
U
β
совокупность всех отображений
( )
F
Эту совокупность отображений будем
обозначать через
[
K
λ
,
U
β
]
=
{
f
:
M
→
M f
(
K
λ
)
⊂
U
β
}
.
f
⊂
.
Пусть
σ
- семество подмножеств
( )
G M
F
,
являющихся пересечениями
конечного числа множеств вида
[ , ]
K U
λ
β
. По известному критерию
1
в
( )
G M
F
существует топология, для которой
семейство
σ
является базисом, причем
эта топология единственна. Эту топологию будем называть слоеной
компактно-открытой топологией или
F
−
компактно-открытой топологией.
Теорема 6.
Множество
( )
G M
F
с
F
- компактно-открытой топологией является
хаусдорфовым пространством со счетной базой.
Известно, что если многообразие компактно или совпадает с
n
R
, то
группа диффеоморфизмов
Diff M
( )гладкого многообразия
M
, является
топологической группой в компактно-открытой топологии. Следующая
теорема является обобщением этого результата для любого многообразия.
Теорема 7.
Пусть
M
- гладкое связное многообразие конечной
размерности. Тогда группа его гомеоморфизмов
Homeo
(
M
)является
топологической группой относительно компактно- открытой топологии. В
1
Бакельман И.Я., Вернер А.А., Кантор Б.Е. Введение в дифференциальную геометрию «в целом». – М.:
Наука, − 1973, – 440 С.
39
частности, подгруппы ( ), ( )
Diff M G M
F
также являются топологическими
группами в этой топологии.
Группа изометрий слоеного многообразия
( )
G M
F
в общем случае не
является подгруппой группы изометрий многообразия
G M
(
)
, и наоборот
группа изометрий многообразия
G M
(
)
тоже не является подгруппой группы
изометрий слоеного многообразия
( )
G M
F
. Но конечно эти группы имеют
непустое пересечение, т.е.
I G M G M
∈ ≠ ∅
F
( )
(
)
. Следовательно,
возникает вопрос о существовании отображений, которые входит в группу
изометрий слоеного многообразия, но не является изометрией многообразия.
Нами доказано, что существует слоение, для которого существует
элемент группы изометрий слоеного многообразия, не являющийся
элементом группы изометрий.
Теорема 8.
Существует
f
:
M
→
B
субмерсия, для которой группа изо
метрий
( )
G
F
M
слоеного многообразия
(
M F
,
)
содержит элементы, которые не
являются элементами группы изометрий
G M
( )
риманова многообразия
(
M g
,
)
.
Следующий пример показывает, что такие субмерсии могут быть
довольно простыми.
Рассмотрим на евклидовой плоскости
2
M R
=
с декартовыми координатами
x
y
,слоение
F
, порожденное линиями уровня функции
(
)
2
f x y x y
,
=
−
.
Мы построим изометрию слоеного
многообразия
ϕ
:
M M
→
по формуле
Если
ϕ
λ
(
x y x y x y
, , ,
)
=
+
(
(
)
)
.
λ
−
постоянное число, то это
отображение является изометрией
плоскости и изометрией слоеной
плоскости. Если
λ
(
x y f x y
, ,
)
=
−
(
)
, то
отображение
ϕ
не является изометрией плоскости,
но является изометрией
слоеного многообразия.
Действительно, если
(
x y
,
)
лежит на параболе
2
x y c
−
=
, то точка
(
x y x y
, ,
+
λ
(
)
)
лежит на параболе
2
x y c
−
=
2. Это отображение сохраняет
длину кривых на параболе.
Во втором параграфе третьей главы изучается геометрия группы
изометрий слоеного многообразия в новой
F
- компактно-открытой
топологии.
Для слоеных многообразий доказаны следующие леммы и теорема.
r
F
-
последовательность, которая
Лемма 1.
Предположим, что
{
f
m
}
∈
G
(
M
)
поточечно сходится на множестве
A
⊂
L
α
, где
L
α
- некоторый слой слоения
F
.
Тогда
{
f
m
}
также поточечно сходится на
A
(где
A
- замыкание множества
A
в
L
α
).
40
Лемма 2.
Пусть
A
-
множество точек
p
на слое
L
α
таких, что существует
сходящаяся подпоследовательность
f
(
p
)
m
l
последовательности
f
(
p
)
m
. Тогда
если множество
A
непусто, то
A
=
L
α
.
Вышеприведенные леммы позволяют доказать следующую теорему.
Теорема 9.
Пусть
M
- полное гладкое многообразие размерности
n
с
r
гладким слоением
F
размерности
k
,
f
∈
G
(
M
),
r
≥
0,
m
=
1,2,3,....
m F
Предположим, что для каждого слоя
L
α
существует точка
o
α
∈
L
α
такая, что
последовательность
( )
m
f o
α
сходится. Тогда существует
подпоследовательность
m
l
f
последовательности
m
f
, сходящаяся в
F
-
компактно- открытой топологии.
Теория слоений имеет широкие приложения в теории динамических
систем, динамических полисистем и теории управления. Семейство орбит
векторных полей образует разбиение фазового пространства на орбиты,
которое называется сингулярным слоением.
Множество достижимости (множество управляемости) и инвариантные
множества систем управления являются важными объектами в качественной
теории оптимального управления. Инвариантные множества систем
управления совпадают с орбитами семейства векторных полей, которые
определяются правой частью системы управления.
Четвертая глава диссертации, названная
«Геометрия орбит векторных
полей»
посвящена исследованию орбит векторных полей. Доказаны,
компактность множества достижимости и непрерывность многозначного
отображения «точка- множество достижимости» векторных полей
специального вида, компактность замыкание множеств достижимости, и
непрерывность многозначных отображений, ставящая каждому значению
времени замыкание множества достижимости за время не более чем
фиксированное время для векторных полей определенного класса, а также
найдены условия устойчивости множества достижимости, для линейных
систем.
В первом параграфе четвертой главы исследуется геометрия множества
достижимости, семейства векторных полей вида
m
i
=
+
∑
(1)
X x f x f x u
( ) ( ) ( )
u i
0
i
=
1
u
≤
для всех
i m f x f x f x
=
1,2,..., , , ,...,
0 1
(
)
(
)
m
(
)
- гладкие вектор -
i
где
1
функции, с ограничениями
(
)
i
i
f x M
≤
, для всех
,
m
i
x R M
∈
- постоянные
величины.
Векторным полям (1) соответствует систем управления следующего
вида:
m
i
=
+
∑
(2)
x f x f x u t
( ) ( ) ( ).
0
i
i
=
1
41
Мы будем говорить, что точка
*
x
за время
T
,
x
достижима из точки
0
если существует измеримая вектор функция
1 2
( ) ( ( ), ( ),..., ( )),
m
u t u t u t u t
=
такая,
что задача Коши для системы дифференциальных уравнений
m
i
=
+
∑
(3)
x t f x f x u t
( ) ( )
0
(
)
(
)
i
=
1
i
x x
(0)
=
имеет решение определенное на
[
0;
T
]
с начальным условием
0
причем
[
]
( ) , 1, 0;
i
*
x T x u t T
=
≤ ∀ ∈
.
x
за время
T
обозначим через
Множество точек
n
R
, достижимых из
0
0
( )
G T
x
. По определению получаем, что
0
0
( )
x G T
∈
для всех
T
.
x
В этом параграфе доказаны компактность множества достижимости и
непрерывная зависимость множества достижимости
0
( )
G T
x
от время
T
для
системы (1).
Доказаны следующие теоремы
Теорема 10.
Множество
0
( )
G T
x
является компактным множеством для
всех
T
≥
0
.
Теорема 11.
Отображение
(
)
T G T
→
x
непрерывно в метрике Хаусдорфа в
0
каждой точке
T
≥
0.
Во втором параграфе четвертой главы исследуется структура множества
достижимости.
Рассматривается система управления вида
( , ), , ,
n m
x f x u x R u U R
=
∈ ∈ ⊂
(4)
где
U
−
компактное подмножество
m
R
. Предполагается, что при каждом
u
U
∈
векторное поле
f x u
( , )класса
C
∞
, а отображение
f
является непрерывным
по совокупности переменных. Кроме того предполагается, что правая часть
системы удовлетворяет условию
| ( , ) | | | , ,
(
)
n
f x u M x N x u R U
≤
+
∀ ∈
×
, (5)
где
M
и
N
- постоянные величины.
Изучение свойств множеств
G T
η
(
≤
)
и
G T
η
(
)
являются важными
вопросами в качественной теории оптимального управления. Например,
замкнутость (или же компактность) множества
G T
η
(
≤
)
является основным
фактором в доказательстве теорем существования оптимального управления
в том или ином смысле. В общем случае, конечно же, множества
G T
η
(
≤
)
и
G
T
η
(
)
не обязаны быть замкнутыми. Имеет места следующая теорема.
Теорема 12.
Множества
G
η
(
≤
T
)
и
G
η
(
T
)
являются компактными.
Известно, что множество
(
)
n
K R
компактных подмножеств
n
R
с расстоянием
Хаусдорфа является метрическим пространством. При выполнении условия
(5) верна
42
Теорема 13.
Отображения
T
→
G
(
≤
T
)
η
и
T G
(
T
)
→
η
являются
непрерывными.
Теорема 14.
Пусть для любого
T
≥
0множества
G
(
T
)
η
компактны. Тогда
множества
G
(
≤
T
)
η
также компактны.
Следствие 1.
Множество
G T
( )
≤
для системы (1) является компактным
множеством.
Далее в этом параграфе рассматривается линейная система вида
n m
x Ax
Bu x R u R
=
+
∈ ∈
(6)
, , ,
где
A
- матрица размерности
n n
×
,
B
−
матрица размерности
n m
×
.
Допустимыми управлениями являются измеримые ограниченные функции
u
T R T
→
<
<
+
∞
.
: 0; , 0
[
]
m
Цель управления - приведение системы в некоторое фиксированное
(целевое) состояние
n
η
∈
R
.
Обозначим через
V
множество аналитических векторных полей,
определенных на
n
R
. Известно, что множество
V
является алгеброй Ли, в
которой произведением векторных полей
X
и
Y
служит их скобка Ли
[
X Y
,
]
.
Положим
X x Ax Bu
u
(
)
=
+
и обозначим через
D
множество вектор
ных полей
{
:
}
m
X u R
u
∈
, а через
A D
(
)
минимального подалгебру Ли, содер
жащую
D
.
Орбита
L x
( )
системы (6), проходящая через точку
x
, определяется как
множество всех точек
y
из
n
R
вида
(
(
(
)
)
)
l l
t t t
l l
y X X X x
−
=
−
. (7)
1 1
... ...
1 1
где
,
X D
i
∈
i
t
−
действительные числа,
i l
=
1,2,..., ,
(
)
t
t X x
→ −
интегральная кривая векторного поля
X D
∈
, проходящая через точку
x
при
t
=
0.
Если в (7)
i
t
−
положительные числа, то множество точек
y
образует
положительную орбиту. Если допустимые управления - кусочно-постоянные
функции, то
G
η
является положительной орбитой и поэтому
G L
( )
η
⊂
η
для
всех
n
η
∈
R
.
Если
u u t
=
−
( )ограниченная измеримая функция,
xt
()
-
соответствующая траектория системы (6) с начальным условием
0
x x
(0)
=
, то
как показана в работе
1
, векторное поле
f x t u t
( ( ), ( ))почти всюду касается
многообразия
0
L x
( )
, поэтому соответствующая траектория
xt
()
, исходящая
x
L
∈
( )
η
, лежит в
L
( )
η
. Следовательно, для измеримых
из точки
0
допустимых управлений множество достижимости
G
η
также является
1
Аграчев
А.А., Сачков Ю.Л. Геометрическая теория управления. – М.: физматлит, 2005. – 392 с.
43
подмножеством
L
( )
η
. Ниже показано, что для системы (6)
G
η
совпадает с
L
( )
η
.
Пусть
A D X x X A D
x
(
)
=
∈
{
(
)
:
(
)
}
для всех
n
x R
∈
. Тогда, в силу того,
x
(
)
является линейным
что
A D
(
)
- алгебра Ли, множество векторов
A D
подпространством пространства векторов в точке
x
. В частности,
(
)
( )
X x A D
u x
u R
∈
и для всех
n
∈
при каждом
m
0 dim
≤ ≤
A D n
x
для
всех
n
x R
∈
.
x R
∈
. Ясно, что
В следующей теореме получены достаточные условия, при выполнении
которых каждая орбита является плоскостью.
Теорема 15.
Пусть
dim
A D k
x
(
)
=
для всех
n
x R
∈
, где
0
<
<
k n
. Тогда для
всех
n
η
∈
R
множества
G
η
являются
k
−
мерной плоскостью. Известно, что
множество управляемости
G
η
системы (6) является областью тогда и только
тогда, когда
(
)
1
rank B AB A B n
−
=
n
, ,..., .
Используя этот факт из теоремы - 15 получим следующее:
Следствие 2.
Имеет место следующее неравенство
(
)
(
)
1
rank B AB A B A D
−
≤
, ,..., dim
n
x
для всех
n
x R
∈
.
Теорема 16.
Пусть ранг матрицы
(
)
1
, ,...,
n
B AB A B
−
равен
n
−
1. Тогда либо
все орбиты (множества достижимости) являются
(
n
−
1
)
- мерными
плоскостями, либо фазовое пространство является объединением трех орбит,
две из которых
n
- мерны, одна орбита, проходящая через начало координат,
является
n
−
1- мерной плоскостью.
В качественной теории управления множество управляемости (или
множество достижимости) системы управления на гладком многообразии в
классе кусочно-постоянных управлений совпадает с отрицательной
(положительной) орбитой семейства векторных полей, которое определяется
системой управления однозначно.
P. Stefan
1
ввел понятие сингулярное слоение, которое является
обобщением понятия слоения, и показал, что орбиты являются слоями
некоторого сингулярного слоения. В случае, когда все орбиты имеют
одинаковую размерность, разбиение
M
на орбиты является слоением, что
позволяет привлечь методы теории слоений для изучения свойств орбит и
множества управляемости гладких систем.
В третьем параграфе четвертой главы рассматривается вопрос о
непрерывной зависимости множества управляемости от целевой точки, для
линейных систем управления. Непрерывность многозначного отображения
1
Stefan P. Accessible sets, orbits and foliations with singularities// Bull. of AMS, – 1974. – №6. – V.80.
44
η
→
G
η
играет важную роль при исследовании задач стабильности вполне
управляемых в теории управления.
В частности, в этом параграфе доказано, что если слоение, порож денное
орбитами линейной системы, регулярно, то множество управляемости
непрерывно зависит от целевой точки.
Определение 10.
Отображение
η
→
G
η
называется
полунепрерывным
снизу в точке
η
0
, если для каждого
ε
>
0
, и для каждого
R
>
0
существует
такое
δ
>
0
, что если
(
)
0
ρ
η
η
δ
,
<
то имеет место
(
(
)
(
)
)
0
0 0
, ,
R R
d G B G B
η
η
η
η
ε
<
где
G
η
- замыкание множества
G
η
в
,
(
0
)
n
R B
R
η
−
замкнутый шар радиуса
R
с
η
0
.
центром в точке
Определение 11.
Отображение
η
→
G
η
называется
полу-непрерывным
сверху в точке
η
0
, если для каждого
ε
>
0
и для каждого
R
>
0существует
такое
δ
>
0
, что если
(
)
0
ρ
η
η
δ
,
<
, то имеет место
(
(
)
(
)
)
0
0 0
, .
R R
d G B G B
η
η
η
η
ε
<
Определение 12.
Отображение
η
→
G
η
называется непрерывным в
η
0
, если оно полунепрерывно
снизу и сверху в точке точке
η
0
.
Лемма 3.
Отображение
n
η
∈
R
.
η
→
G
η
полунепрерывно снизу в
каждой точке
Получено достаточное условие полунепрерывности сверху вышеука
занного отображения.
Теорема 17.
Пусть
dim
A D k
x
(
)
=
для всех
n
x R
∈
, где
A D X x x A D k n
x
(
)
=
∈
<
<
{
(
)
: ,0
(
)
}
. Тогда отображение каждой точке
пространства
n
R
.
η
→
G
η
непрерывно в
В самом деле, эта теорема показывает, что слоение порожденное
орбитами является
k
−
мерным слоением, множества управляемости
являются слоями этого слоения. Таким образом, многозначное отображение
«точка - слой»
η
→
G
η
является непрерывным
отображением.
45
ЗАКЛЮЧЕНИЕ
В диссертации исследуются группы изометрий слоеных римановых
многообразий. Для решения поставленных задач изучены топологические и
геометрические свойства слоеных многообразий, исследована геометрия
римановых субмерсий. Введено новое понятие,
F
−
компактно – открытой
топологии, которая зависит от слоения. Исследованы группы изометрий
слоеных многообразий в компактно-открытой топологии и в
F
−
компактно
открытой топологии.
Основные результаты исследования состоят в следующем.
1) установлено, что группа гомеоморфизмов любого многообразия
является топологической группой в компактно-открытой топологии; 2)
доказано, что группа изометрий слоеного многообразия является
топологической группой в компактно-открытой топологии; 3) установлено
если последовательность изометрий слоеных многообразий сходятся по
одной точке на каждом слое, то из этой последовательности можно извлечь
сходящую подпоследовательность к изометрию слоеного многообразия в
F
−
компактно-открытой топологии; 4) доказано, что риманова субмерсия
порождает слоеное многообразие постоянной Гауссовой кривизны;
5) установлено предел геодезических линий слоеного многообразия,
является геодезической линией на предельном слое слоения; 6) показано, что
четырехмерное многообразия
4
Sol
нельзя погрузить в
пятимерное евклидово пространство;
7) доказано существование слоения, для которого существует элемент
группы изометрий слоеного многообразия, не являющийся элементом
группы изометрий;
8) доказано, что множества достижимости системы векторных полей
определенного класса является компактным, и оно непрерывно зависит от
времени;
9) найдено достаточное условие для линейных систем управления, при
выполнении которого каждое множество достижимости (множество
управляемости) является плоскостью фиксированной размерности.
Автор
приносит
свою
глубокую
признательность
научному
консультанту профессору Нарманову Абдигаппару Якубовичу за постановку
проблем, ценные советы и полезные консультации в обсуждении и
поддержку.
46
SCIENTIFIC COUNCIL 14.07.2016.FM.01.01 ON AWARD OF
SCIENTIFIC DEGREE OF DOCTOR OF SCIENCES AT NATIONAL
UNIVERSITY OF UZBEKISTAN NATIONAL UNIVERSITY OF
UZBEKISTAN
SHARIPOV ANVARJON SOLIYEVICH
THE GROUP OF ISOMETRIES OF FOLIATED MANIFOLDS
01.01.04 – Geometry and topology
(Physical and Mathematical Sciences)
ABSTRACT OF DOCTORAL DISSERTATION
Tashkent – 2016
47
The subject of doctoral dissertation is registered in the Supreme Attestation Commission at
the Cabinet of Ministers of the Republic of Uzbekistan with number № 30.09.2014/B2014.5.FM132.
Doctoral dissertation is carried out at
National University of Uzbekistan.
Abstract of dissertation in three languages (Uzbek, Russian and English) is placed on web page of
Scientific Council (
http://ik-fizmat.nuu.uz
) and information-educational portal «ZIYONET»
(
www.ziyonet.uz
)
Scientific adviser
:
Narmanov Abdigappar Yakubovich
Doctor of Physical and Mathematical Sciences,
professor
Official opponents:
Vakhtang Lomadze
Doctor of Physical and Mathematical Sciences,
professor (Tbilisi state university, Georgia)
Beshimov Ruzinazar Bebutovich
Doctor of Physical and Mathematical Sciences
Rakhimov Abdugafur Abdumadjidovich
Doctor of Physical and Mathematical Sciences,
professor
Leading organization:
Federal State Budgetary Educational Institution of Higher
Education «Udmurt State University»
(Russian Federation).
Defense will take place «____» _____________2016 at ____ at the meeting of Scientific Council
number 14.07.2016.FM.01.01 at National University of Uzbekistan (Address: 100174, Uzbekistan,
Tashkent city, Almazar area, University str. 4, Ph.: (99871) 227-12-24, fax: (99871) 246-53-21, (99871)
246-02-24, e-mail:
nauka@nuu.uz
).
Doctoral dissertation is possible to review in Information-resource centre at National University of
Uzbekistan (is registered №______) (Address: 100174, Uzbekistan, Tashkent city, Almazar area,
University str. 4, Ph.: (99871) 246-02-24).
Abstract of dissertation sent out on «____» __________ 2016 year.
(Mailing report №______ on «____» __________ 2016 year).
A.A. Abdushukurov
Chairman of Scientific Council on award of scientific
degree of Doctor of Sciences D.F.M.S., professor
G.I. Botirov
Scientific Secretary of Scientific Council on
award of scientific degree of Doctor of Sciences
C.F.M.S.
R.B. Beshimov
Vice-chairman of Scientific Seminar under
Scientific Council on award of scientific degree of
Doctor of Sciences, D.F.M.S.
48
INTRODUCTION (abstract of doctoral dissertation)
Actuality and demand of the theme of dissertation.
Due to the rapid
development of scientific and technological progress in the world, required the
development of new methods for fundamental research and implementation of the
results into practice. According to the demand of practice on the intersection of
differential equations and differential topology French scientists established
fundamental foundations of the theory of foliated manifolds. It is proved the
stability of compact foliations and that limit sets of leaves are invariant sets.
Scientists of USA and Russia investigated qualitative theory of foliations, in which
geometric and topological properties of foliated manifolds are investigated.
Moreover, an application of theory of foliations to practice is one of the important
problems of geometry.
After the declaring independence of our country attention to the actual
directions in the field of natural and exact sciences has been significantly
increased, in particular, especial attention is given to applications of methods and
results of this theory to the theory of optimal control and dynamical systems. In
this field are obtained sufficient condition of stability for controllable systems,
proved non-negativity of sectional curvatures of leaves of foliations generated by
Riemannian submersions in the spaces of non-negative curvature, besides are
obtained valuable results on investigating geometry of vector fields.
Nowadays, researches in the world in the area of geometry of orbits of vector
fields on manifold related to the theory of dynamical polysystems and optimal
control and very important for them. In this field, the essential task is a wide
application of targeted researches, in particular, applications of results obtained on
foliations, generated by Riemannian submersions, to determine the structure of
phase spaces of dynamical polisystem: application of methods of the theory of
foliations to the theory of dynamical systems, optimal control and to various
problems in other fields; investigation of geometry of foliations generated by
Riemannian submersions; investigation of geometry of Riemannian foliations on
surfaces of non-negative sectional curvature. Scientific researches on above
mentioned directions justify the relevance of the theme of current dissertation.
Research in this thesis to some extent are the challenges identified in the
Republic of Uzbekistan Presidential Decree number PP-436 of 7 August 2006 «On
measures to improve the coordination and management of the development of
science and technology», as well as PP-2204 from July 8, 2014 «On measures to
further optimize the structure of the Academy of sciences of the Republic of
Uzbekistan and to strengthen the integration of academic science and higher
education of the Republic» and other normative-legal acts of fundamental sciences.
Connection of research to priority directions of development of Science
and Technologies of the Republic.
This thesis was performed in accordance with
the priority direction of development of Science and Technologies of the Republic
of Uzbekistan IV. «Mathematics, Mechanics and Informatics».
49
Review of foreign scientific research on the theme of the dissertation
1
.
Researchs on the theory of foliations, qualitative theory of foliations, which mainly
investigated the topological and geometrical properties, local and global stability
of compact leaf of foliation, generalization of the theorems of stability for
non-compact leaves, singular Riemannian foliations, geometry of geodetic and
Riemannian foliations, topology of foliations of codimesion one are conducted in
major research centers and universities of the world, including: the University of
Strasbourg (France), the University of Grenoble (France), University of Paris
(France), the University of Montpellier (France), the University of Illinois (USA),
the University of California (USA), the University of Indiana (USA), Princeton
University (USA), the University of Warwick (UK), the University of London
(UK), the University of Tokyo (Japan), Tohoku University (Japan), Kyoto
University (Japan), Moscow state University (Russia).
As a result of studies on the qualitative theory of foliations, which examines
topological and geometrical properties of the leaves, and the properties of singular
Riemannian foliation in the world, were solved a number of problems, in
particular, it is received the following number of results: theorems on the local and
global stability of compact leaf of foliation as well as It is showed that a family of
orbits of the Killing vector fields generate singular Riemannian foliation
(University of Strasbourg, University of Grenoble, the University of Paris,
University of Montpellier, France). It is proved, if the foliation generated by leaves
of submersion, notion of Ehresmann connection is equivalent to the well-known
notion of Ehresmann connection for submersion, and showed total geodesic and
Riemannian foliations of complete manifolds have Ehresmann connection
(University of Illinois, University of California, University of Indiana, Princeton
University, USA). It is proved that a orbit of a family of smooth vector fields is a
smooth manifold and the partition of manifold to the of the orbit produces a
singular foliation (University of Warwick, University of London, UK). It is proved
the local stability of noncompact proper leaf of codimension one foliation on a
three-dimensional manifold, it is showed the relationship between the partially
ordered set of leaves and topology of leaves (Tokyo University, Tohoku University,
Kyoto University, Japan). It is proved that every foliation of codimension one on a
three-dimensional sphere has a compact leaf (Moscow University, Russia).
At the global level, it carried out series of scientific-research works in priority
directions in geometry and topology of foliated manifolds, namely: the study of
geometry of Riemannian foliations on surfaces of nonnegative sectional curvature,
the study of the structure of the isometry group of foliated manifold, geometric
characteristics of the foliation generated by submersions on a Riemannian
manifold, the properties of geodesic lines of foliated manifold, the use of geometry
1
Review of foreign scientific research on the topic of the dissertation: Actualite Sci. Indust .; C.R.Acad. Sci. Paris;
https://www.math.uni-muenster.de/u; Proc. Fifth Canad. Math. Congress; Ann. of Math;. Successes of Mathematical
Sciences, www.mathnet.ru/umn; Mathematical Notes, www.mathnet.ru/mz; www.ams.org/bull; Progress in
Mathematics; https://projecteuclid.org/euclid.ijm; Ann. Math .; Topology; http://link.springer.com; Journal of
mathematical Physics, analysis, geometry; http://www.foliations.org, also used other sources.
50
of foliation theory in dynamical systems, and optimal control, the study of
geometry of sets of attainability (controllability), as well as study of the continuous
dependence of the attainable set from as multi valued map.
The degree of scrutiny of the problem.
In the formation and development of
the theory of foliations great contribution made by the French mathematicians such
as C. Ehresmann, G. Reeb, H. Lawson, P. Molino, A. Haefliger, R. Langevin, H.
Rosenberg, G. Lamoureux. The main works of G. Reeb, one of the founders of the
theory of foliations, dedicated to problems of the qualitative theory of foliations. G.
Reeb proved that if a compact leaf has a finite fundamental group, then there is a
neighborhood of this leaf, which consists of leaves, diffeomorphic to the compact
leaf. In the works C. Ehresmann shows that the Riemannian and total geodesic
foliations on complete Riemannian manifolds have Ehresmann connection.
The research on group of isometries of a foliated manifold is a new problem
in the theory of foliated manifolds. The notion of an isometry of a foliated
manifold was introduced by professor A.Ya. Narmanov. He proved for a certain
class of foliations there are isometries of foliated manifold, which is not an
isometry of the manifold. The group of isometries of foliated manifold is a
subgroup of the group of diffeomorphisms of a foliated manifold. The group of
diffeomorphisms foliated manifold studied in the works of S.H. Aranson. He found
out necessary and sufficient condition for the topological conjugacy of
diffeomorphisms. For compact manifolds various subgroups and diffeomorphism
groups are studied by P.L. Antonelli, D. Burghelea, P.J. Kahn.
In modern geometry, one of the main objectives is to study the limit of
geodesic lines. A powerful weapon of Riemannian geometry is the theorem on the
limit of the geodesic lines of a Riemannian manifold. In the case of a foliated
manifold, this task is complicated by the fact that a geodesic line of foliated
manifold lies on the leaf and it is a geodesic with respect to the Riemannian metric
of the leaf. In the works of S. Helgason it is proved remarkable theorems on the
geodesic lines and on groups of isometries of a Riemannian manifold. In particular,
he proved that the group of isometries of a Riemannian manifold is a topological
group in the compact-open topology. He also proved that if given a sequence of
isometries which converge at one point, then there exists a subsequence which
converges to some isometry of the manifold in the compact-open topology.
Singular Riemannian foliation were introduced P. Molino, geometric and
topological properties of singular Riemannian foliations also studied in papers of
A.Ya. Narmanov, N.I. Zhukova and other authors. P. Molino showed that if a
singular foliation is Riemannian, then the Riemannian metric of manifold generates
transversal metric on the normal bundle of each leaf. For complete manifolds
A.Ya. Narmanov proved that this condition is necessary and sufficient for a
singular foliation to be Riemannian.
Although it remains an open question as to whether the group of
diffeomorphisms of non-compact manifolds topological group, and whether the
group of isometries of the foliation of a topological group with respect to the
compact-open topology. In addition, it left open the question of the limit of the
51
geodesic lines foliated manifold, as well as the question of the curvature of the
foliation generated by the Riemannian submersion.
Connection of the theme of the dissertation with the research works of
the higher education institution, where the dissertation is carried out.
The
dissertation research is conducted within the framework of research grants from
the National University of Uzbekistan 1.F.1.1.9 «Functional and topological
properties of extreme controls, areas of an attainability and stability of totally
control systems» (2003- 2007), OT-F1-096 «Creation and development geometric
and topological methods for solving problems of the theory of dynamical
polysystem» (2007- 2011), OTF-01-04 «Geometry and topology foliated
manifolds» (2012-2016).
The aims of the research
are the investigations of the geometry and topology
of the foliated manifolds, the structure of the group of isometries of foliated
manifolds and the geometry of foliated manifolds of constant sectional curvature,
and also application of the taken results for the investigations of the attainability
set and establishing of the continuous dependence on the initial point of the
attainability set.
Research problems
of this work are following:
establishing the basic properties of geodesic lines foliated manifold;
generalization of the classical result of the group of homeomorphisms of a
compact manifold for non-compact manifolds;
study the geometry of the group of isometries of a foliated manifold in a new
the
F
-compact-open topology;
finding conditions under which the leaves of foliated manifold are manifolds
of constant Gaussian curvature;
investigation of the structure of attainability set for systems of the vector
fields given in the Riemannian manifolds.
The objects of the research
work are the foliated Riemannian manifolds,
geodesics of foliated manifolds, the orbit of the family of smooth vector fields, the
attainability set and the domains of control of dynamical systems, foliations
generated by the Riemannian submersion.
The subject of the research
work are the study of the isometry group of a
foliated manifold, geometry and topology of the foliated manifold, generated
submersions, the geometry of the orbits of vector fields and singular foliations.
Methods of research
work. The thesis used methods of local and global
differential geometry, methods of the theory of foliations and geometric and
topological methods of the theory of dynamical systems.
Scientific novelty
of the research work is as follows:
It is proved that any group of homeomorphisms of a smooth manifold is a
topological group in the compact-open topology;
It is proved that isometry group foliated manifold is a topological group in the
compact-open topology;
it is showed that if a sequence of isometries foliated manifolds converge on at
the point on each leaf, then this sequence can be extracted to a convergent
subsequence of isometries of foliated manifold in the compact-open topology;
52
it is proved that if the foliation generated by Riemannian submersion, then
leaves of foliation are manifolds of constant Gaussian curvature; it is showed that
the limit of the geodesic lines of foliated manifold is a geodesic line on the limit
leaf of foliation;
It is proved the existence of the foliation, for which there is a isometry of
foliated manifold which is non-isomety of the manifold;
It is proved the compactness of the attainability set, and the continuity of the
multi valued mapping «the point - the attainability set» for a system of vector
fields of a special form;
it is showed compactness of the closure of the attainable set for the time does
not exceed a fixed time, and the continuous dependence of the attainable set from
time for a certain class of vector fields;
it is found conditions in order to attainable set (the set of controllability)
coincided with the fixed dimension planes for linear systems.
Practical results of the research
are as possibilities for applications, to
determine the curvature of the phase space of dynamical systems on manifolds of
negative curvature, as well as for investigation of geometry of foliations generated
by the set reachability of control system
.
The reliability of the research results.
In the study of geometry and
topology of foliated manifolds, as well as in the study of geometry of orbit of
vector fields the accuracy is justified by the theory and methods of foliation theory,
the Riemannian geometry and differential topology
The scientific and practical significance of the research results.
The
scientific value of the research results is the ability to use the compactness of the
attainability and the continuity of the multivalued mapping to determine the
curvature of the phase space of dynamical systems.
The practical significance of the research lies in the fact that the extension of
the class of the objects to determine the structure of the reachable set (the set of
controllability) for control systems.
Implementation of the research results.
The results obtained in the thesis
were used in the following research projects:
the results obtained on the compactness of the attainability set of vector fields
and on the continuity of the multivalued mapping, have been used in the scientific
project 12-01-00195 «The tasks of positional control deterministic and stochastic
dynamic processes and differential games with many participants» for basic
research of the Ministry of Education and Science of the Russian Federation, the
application of these research results have allowed to describe the structure of the
trajectories and the phase space of dynamical systems (Certificate № 7873-8965 /
20 Udmurt state University on August 25, 2016). The application of scientific
result was the decisive factor to determine the curvature of the phase space of
dynamical systems and the study of the geometry of attainability sets of control
systems;
the results obtained in the thesis show that if the foliation generated by
Riemannian submersion on a complete Riemannian manifold with constant
Gaussian curvature leaves of this foliation are manifolds of constant Gaussian
53
curvature, these results were used in the research project in the framework of
research on the state grant research 1.3.1.3 «Methods of creation, research and
identification of mathematical models of the Earth», the application of these results
allowed to explore the possibility of the structure of the phase space of dynamical
systems (Reference number 15301 / 12-2711 Institute of Computational
mathematics and Mathematical Geophysics, Siberian Branch of the Russian
Academy of Sciences, of 24 August 2016). The application of these research
results contributed to the definition of the structure of the phase space of dynamical
systems on manifolds of negative curvature.
Approbation of the research results.
The main results of the study were
discussed at scientific conferences, including: «The school-seminar on geometry»
(Abrau-Durso, Russia, 2006), «New theorems young mathematicians» (Namangan,
2006, 2009), «New directions in the theory of dynamical systems and ill-posed
problems» (Samarkand, 2007), «Modern problems of mathematics, mechanics and
informatics» (Tashkent, 2008), «Foliations, Dynamical systems and Singularity
theory» (Samarkand, 2009), «Metric geometry of surfaces and polyhedra» '
(Moscow, Russia, 2010), «Locally analytical geometry» (Lahore, Pakistan, 2012),
«Al-Khorezmiy 2012» (Tashkent, 2012), «Actual problems of geometry and its
applications» (Tashkent, 2014), «Limit theorems of probability theory and their
applications» (Namangan, 2015), «The control theory and mathematical modeling»
(Izhevsk, Russia, 2015), «Mathematical physics and related problems of modern
analysis» (Bukhara, 2015), «Modern problems of analysis» (Karshi, 2016), «The
problem of modern topology and its applications» (Tashkent, 2016), speeches and
reports passed wide approbation. Results of the study were discussed on scientific
seminars on the faculty of Mathematics at the National University of Uzbekistan
«Modern problems of geometry and topology» (2000-2016), «Functional analysis
and its applications» (2014-2015), «Modern problems of complex analysis» (2015),
on scientific seminar «Operator algebras and their applications» of the Institute of
Mathematics at the National University of Uzbekistan (2015), on scientific
seminar of chair «Higher mathematics» Namangan engineering pedagogical
institute (2016).
Publication of the research results.
On the subject of the dissertation 43
research papers published, 16 of them are included in the list of scientific
publications, proposed the Higher Attestation Commission of the Republic of
Uzbekistan for Protection of doctoral theses, including 6 of them were published in
foreign journals and 10 in national scientific journals.
The structure and volume of the dissertation.
The dissertation consists of
the introduction, four chapters, conclusion and bibliography. The total volume of
the dissertation is 161 pages.
54
MAIN CONTENT OF THE DISSERTATION
In the introduction
the actuality and demand of the theme of dissertation,
connection of the research to priority directions of development of Science and
Technologies of the Republic is stated, review of foreign scientific research on the
theme of the dissertation and the degree of scrutiny of the problem are provided,
the aim and problems are formulated, the object and the subject of research are
described, scientific novelty and practical results of reseach are staded, the
theoretical and practical significance of obtained results is revealed, the
implementation of research results in practice, the list of published works and the
dissertation structure are given.
The first chapter of the dissertation, entitled «
Understanding and
supporting facts»
is auxiliary and is dedicated to the presentation of basic
definitions and supporting evidence on this dissertation. It consists of three
sections.
In the first paragraph of the first chapter in short form it is given elements of
theory of smooth manifolds, the necessary definitions and supporting evidence
relating to the smooth manifolds used in the thesis, examples of smooth manifolds,
submanifolds are given.
In the second section briefly described the theory of vector fields on a smooth
manifold, and basic properties of the orbits of vector fields. All notions are
equipped with examples.
The third section is devoted to the basic concepts and auxiliary facts of the
theory of foliations. It provides definitions and results of studies on the theory of
foliations.
Let
M
be a smooth manifold of dimension
n
,
A
−
the maximum atlas defining
on
M
structure of a smooth manifold of a
r
C
class, where
r
≥
0
. The manifold is
also
s
C
-manifold, if
0
≤ ≤
s r
. System of local curvilinear coordinates on
s
C
-manifold we will designate through
s
A
.
Let
k
be an integer,
0
≤ ≤
k n
.
Definition 1. Let
F
=
{
L
;
α
∈
B
}
α
be a family of arcwise connected subsets
L
α
of manifold
M
. We say that
F
is a
k
- dimensional
r
C
foliation of
M
if
F
satisfies the
following.
;
(
F
1
):
L M
α
α
=
∈
B
(
F
2
):
L L
α
β
∩
=
∅
for
α
,
β
∈
B
with
α
≠
β
;
(
F
3
): for any a point
p
∈
M
, there exists a chart
( )
( , )
s
U A
λ
λ
ϕ
∈
about
p
such
that for
L
α
with
U L
λ
α
∩ ≠ ∅
,
α
∈
B
each (arcwise) connected components of
( )
ϕ
λ
U
λ
∩
L
α
is of the form
1 2 1 1 2 2
, ,..., : , ,...,
n k k k k n n
x x x U x c x c x c
ϕ
λ
λ
+
+
+
+
∈
=
=
=
,
{
(
)
(
)
}
55
where
1 2
k k n
+
+
are constants determined by the (arcwise) connected
c c c
, ,...,
component.
We call
L
α
a leaf of the foliation
F
. A
k
-dimensional
s
С
foliation is also
referred as a
s
С
codimension
n k
−
foliation or a
s
С
foliation of codimension
n k
−
.
This is a more conventional term and so we shall call
F
a
s
С
codimension
q
foliation, where
n k q
−
=
. By the conditions (
F
1
) and (
F
2
),
M
is covered by
pairwise disjoint leaves, and by (
F
3
) the leaves are locally arranged as parallel
planes. A chart
( )
( , )
s
U A
λ
λ
ϕ
∈
which satisfies (
F
3
) is called a foliated chart or
foliated neighborhood. The set of all foliated charts is called a foliated atlas and
denoted by
s
A
F
.
A manifold
M
coupled with a foliation is called foliated manifold and often
denoted by
( , )
M F
. The neighbourhood
U
in definition is called as the foliated
neighbourhood.
One of important classes of foliations is the class of foliations, generated by
submersions.
Definition 2. Let
f
:
M
→
B
be a differentiable map of maximal rank, where
M
,
B
a smooth manifolds of dimentions
n
,
m
respectively,
n
>
m
. Such maps are called
submersions.
From the geometrical point of view, the important classes of foliation are
totally geodesic and Riemannian (metric) foliation.
Definition 3.
The submanifold
N
of Riemannian manifold
M
is called totally
geodesic if each geodesic lines of
M
is tangent to
N
remains on this
N . Definition 4.
The
foliation
F
on Riemannian manifold
M
is called totally geodesic if each leaf of
foliation
F
is a totally geodesic submanifold, i.e every geodesic is tangent to a leaf
foliation
F
at one point, remains on this leaf. Important class foliation are
codimensions one foliation, generated by level surfaces of differentiable functions
without critical points. American professor Ph. Tondeur considered function
1
:
n
f M R
→
without critical points on Riemannian
manifold
n
M
for which length of a gradient is constant on each level surface. For
such functions he has proven that foliation generated by level surfaces of such
function, is a Riemannian (metric) foliation.
f M R
:
→
of the class
(
)
Definition 5.
Function
1
2 1
C M R
,for which length of
a gradient is constant on connection components of level sets is called a metric
function.
Definition 6.
Foliation
F
on a Riemannian manifold
M
is called Riemannian if
each geodesic, orthogonal at some point to a leaf of foliation
F
, remains orthogonal
at all points to leaves of
F
.
The second chapter, entitled «
Geometry of foliated manifolds»
is devoted to
the study of the geometry of foliated manifold, foliated atlas of which is generated
by submersion. We prove that the leaves of the foliation generated by the
Riemannian submersions are manifolds of constant Gaussian curvature, the limit of
56
the geodesic lines foliated manifold is a geodesic line on the limit leaf, and the
impossibility of an isometric immersion of four-dimensional manifold Sol into
five- dimensional Euclidean space.
An important class of foliations is a foliation generated by submersions. By
the theorem on the rank any submersion
f M B
:
→
generates a foliation
F
of
dimension
k n m
=
−
on a manifold
M
, leaves of which are submanifolds
1
( ),
L f p
p B
p
−
=
∈
, where
n m
,
are dimensions of manifolds
M
and
B
, respectively.
Let
F
be a smooth foliation of dimension
k
on
M
. Denote by
L p
( )a leaf of the
foliation
F
passing through the point
p
, by
T L
p
tangent space of the leaf
L p
( )at a
point
p
, by
H p
( )
orthogonal complement of
T
p
L
in
T
p
M
,
p
∈
M
. There are two
subfibrations (smooth distribution)
TF
=
{
T
p
L
:
p
∈
M
}
,
H
=
{
H
(
p
)
:
p
∈
M
}
of tangent
fibration
TM
such that
TM
=
TF
⊕
H
, where
H
is the orthogonal complement of
TF
.
In this case each vector field
X
∈
V
(
M
)
can be represented in the form
,
X
=
X
v
+
X
h
where
X
v
X
h
,
are orthogonal projections
of
X
onto
TF
and
H
, respectively.
If
X
∈
V
(
F
)
(i.e
0
X
h
=
), then
X
is called a vertical field. If
X V
∈
(H)
v
=
, then
X
is
called a horizontal field. From submersions one can choose
(X 0)
the class of submersions called Riemannian.
Definition 7.
The submersion
f
:
M
→
B
is called the Riemannian submersions
if the differential
df
of mapping
f
:
M
→
B
preserves the length of horizontal
vectors.
In the first section we investigate the sectional curvature foliations generated
by submersions. It is proved that if the foliation generated by Riemannian
submersion then leaves of this foliation are manifolds of constant Gaussian
curvature.
In the paper
1
studied the geometry of the surface level of functions, for which
it holds
(
)
0
2
X gradf
=
for each vertical vector field.
We consider a submersion
f M B
:
→
when
B
is one-dimensional manifold,
namely a smooth function
f
:
M
→
R
. If
Сrit
{
f
}is the set of critical points of
function
f
, then on a manifold
M
\
Сrit
{
f
}there exists a foliation of dimension
n
−
1(or codimension one), leaves of which are level surfaces of the function
f
.
We prove a theorem which characterizes the geometry of the foliation
generated by Riemannian submersion. Level surfaces of functions of this class are
surfaces of constant Gaussian curvature.
Theorem 1.
Let
M
be a complete Riemannian manifold with constant curvature
and
f M B
:
→
Riemannian submersion. Then each leaf of the foliation
F
is
generated by Riemannian submersion (level surface of function
f
) is a manifold of
constant Gaussian curvature.
1
Tondeur Ph. Foliations on Riemannian manifolds// Springer Verlag, – New York, – 1988.
57
The second paragraph of the second chapter is devoted to the study of the
geometry of the geodesic lines of foliated manifold. In Riemannian geometry it is
important to study the properties of geodesic lines. In particular, it is known that if
the sequence of geodesic lines converge at one point, there is a subsequence that
converges pointwise to a geodesic line at each point.
We prove the following theorem, which is a generalization of the classical
theorem on the limit of the geodesic lines on manifolds.
Theorem 2.
Suppose that
M
is a smooth complete Riemannian manifold of
dimension
n
with a smooth foliation of dimension
k
, where
0
<
k
<
n
. Then 1) Each
leaf with the induced Riemannian metric is a complete Riemannian manifold.
γ
:( , )
be a geodetic sequence (with respect to the induced 2) Let
m
a b
→
L
m
Riemannian metrics) of leaves
L
m
such that
some
( , )
s
0
∈
a b
. Then the sequence
m
γ
m
(
s
0
)
→
p
,
s v
γ
m
(
0
)
→
,
m
→∞
for
γ
converges pointwise to geodetic
γ
:(
a
,
b
)
→
L
(
p
)
of the leaf
L
(
p
)
starting from the point
p
when
0
s
=
s
in the
direction of the vector
v
.
The following theorem is amplified second part of theorem 2.
Theorem 3.
Let
M
be a complete smooth Riemannian manifold of dimension
n
with a smooth foliation of dimension
k
, where
0
<
<
k n
.
Let
m
R
→
L
m
γ
:
be a sequence of geodesies (relative to the induced
1
γ
s p
→
when
m
→∞
for some
Riemannian metrics) leaves
L
m
such that
0
( )
m
s R
∈
. Then there exists a subsequence
m
l
γ
of the sequence
m
1
0
γ
, which converges
γ
: ( )
R L p
→
of the leaf
L p
( ), starting
from the point
pointwise to some geodesic
1
p
at
0
s s
=
.
Isometric immersions of Riemannian spaces into Euclidean space or to
another Riemannian space is one of the ways to build submanifolds having new
interesting geometric properties. Problems of isometric immersions and
embeddings of manifolds into Euclidean space, and the other is one of the central
problems in differential geometry and the Riemannian geometry and studied in
these disciplines from many different points of view.
The theory of isometric immersions linked to difficult questions of solvability
of nonlinear systems of differential equations, as well as topological questions, in
this theory it is used and intuitive geometric ideas. along with a wide arsenal of
matematic means.
The third section is devoted to the study the problem of the immersion of
manifolds into Euclidean space.
On the four-dimensional manifold
4
Sol
the left-invariant metric is given by
formula
2 2 2 2 4 2 2
( )
t t
ds e dx dy e dz dt
−
=
+
+
+
.
We prove the following
Theorem 4.
The manifold
4
Sol
can not be immersed into five-dimensional
Euclidean space.
58
The three-dimensional Lie group of all
2 2
×
- matrixes with real elements and
a determinant 1 is denoted through
⎧ ⎫ ⎪ ⎪ ⎛ ⎞ ⎛ ⎞
a b a b
SL R GL R
2
(
2, det 1 ,
)
=
∈
=
⎨ ⎬ ⎜ ⎟ ⎜ ⎟ ⎪ ⎪ ⎩ ⎭ ⎝ ⎠ ⎝ ⎠
c d c d
and
2
SL R
denotes it’s universal covering. It is known that
2
SL R
is a Lie group
too, and admits a metric that is invariant under left multiplication. Now we
investigate a question of the possibility of an isometric immersion of the manifold
2
SL R
with a left-invariant metric
2 2 2
(
)
dx dy dx ydt
ds
+
+
+
2
=,
y
2
into the four-dimensional Euclidean space.
Theorem 5.
The three-dimensional manifold
2
SL R
can not be immersed in
four-dimensional Euclidean space.
In the third chapter of the thesis, entitled
«The group of isometries of
foliated manifolds»
explores the isometry group of foliated manifolds. In
particular, it is introduced the notions of an isometry of a foliated manifold, and the
topology on the set of all isometries foliated manifold which is called foliated
compact-open topology, or
F
−
compact-open topology, it is proved that the set of
all isometries foliated manifold is a Hausdorff space is relative
F
−
compact-open
topology, the group of homeomorphisms of a smooth connected manifold of finite
dimension is a topological group with respect to the compact-open topology, the
subgroup consisting of all isometries foliated manifold is also a topological group
with respect to this topology, if a sequence of isometries foliated manifold
converge at one point of each leaf, then there exists a subsequence converging to
isometric of foliated manifold in - the compact-open topology, it is proved the
existence of the submersion for which there isometries of a foliated manifold,
which is not an isometry of the manifold.
In the first section of the third chapter is introduced the notion of an isometric
map of a foliated manifold and the notion of a foliated compact-open topology, or
F
- compact-open topology on
( )
G M
F
, which depends on the foliation. If the
dimension of the foliation coincides with the dimension of the manifold, this
topology coincides with the compact-open topology, if the codimension of the
foliation coincides with the dimension of the manifold, then the convergence in
this topology coincides with the pointwise convergence.
Let
(
)
1
M
,
F
and
(
)
2
N
,
F
are foliated manifolds with foliations
1 2
F F
,
of
dimension
k
.
Definition 8.
If for some
r
C
-diffeomorphism
ϕ
:
M N
→
the image
ϕ
( )
L
α
of
any leaf
L
α
of the foliation
F
1
is a leaf of the foliation
F
2
, then we say that the pairs
(
)
1
M
,
F
and
(
)
2
N
,
F
are
r
C
-diffeomorphic foliated manifolds and are
( , )
M F
≈
( , )
N F
2
. In this case the
mapping denoted by
1
ϕ
from
(
)
1
M
,
F
to
(
)
2
N
,
F
is called
r
C
-diffeomorphism, preserving foliation and is written as
59
1 2
ϕ
: ( , ) ( , )
M F N F
→
.
In the case where
M N
=
and
F F
1 2
ϕ
is called a diffeomorphism
of the foliated manifold
(
M
,
F
)
.
=
, mapping
Definition 9.
A diffeomorphism
ϕ
:
M M
→
of the class
r
C
(
r
≥
0
),
preserving foliation, is called an isometry of the foliated manifold (
M F
,), if it is an
isometry on each leaf of the foliation
F
, i.e. for each leaf
L
α
of the foliation
F
,
ϕ
ϕ
:
( )
L L
→
is an isometry.
α
α
Let
{
K
λ
}
be a family of all compact sets, where each
K
λ
is a subset of some leaf
of the foliation
F
and let
{
U
β
}
be the family of all open sets on
M
. We consider, for
each pair
K
λ
⊂
L
α
and
U
β
the set of all maps
( )
F
f G M
∈
, such that
which
(
)
K
λ
U
β
f
⊂
. This set of maps is denoted by
[
K
λ
,
U
β
]
=
{
f
:
M
→
M f
(
K
λ
)
⊂
U
β
}
.
Let
σ
be a family of subsets of
( )
G
M
F
which are intersections of finite
number of subsets of the form
[ , ]
K U
λ
β
. According to well known criterion
1
in
( )
G M
F
there exists a topology, for which
the family
σ
is the base, and this
topology is unique. This topology we will call the foliated compact-open topology
or, briefly the
F
-compact-open topology.
Theorem 6.
The set
( )
G M
F
with the
F
-compact-open topology is a Hausdorff
space with countable base.
It is known that if a manifold
M
is compact, or
M
coincides with
n
R
, the group of
diffeomorphisms
Diff
(
M
)
of a smooth manifold
M
is a topological group in the
compact-open topology. The following theorem is a generalization of this result for
an arbitrary manifold.
Theorem 7.
Let
M
be a smooth connected and finite-dimensional manifold.
Then the group of homeomorphisms
Homeo
(
M
)is a topological group with
compact-open topology. In particular, the subgroups ( ), ( )
Diff M G M
F
are also
topological groups in this topology.
The group of an isometry of foliated manifold
( )
G M
F
, in generally, is not a
subgroup of isometry group of the manifold
G
(
M
)
, and vice versa, i.e. the group of
isometries of the manifold
G
(
M
)
is not a subgroup of the isometry group of a
foliated manifold
( )
G M
F
. But of course these groups have non-empty
intersection, that is,
I G M G M
∈ ≠ ∅
F
( )
(
)
. Hence, one can put the question on
the existence of the maps which belongs to group of isometries of foliated
manifold, but it does not belong to the group of isometres of manifold.
We have proved that there exists foliation for which there exists an element of
group of isometries of foliated manifold, which is not an element of group of
isometries.
1
Bakelman I.J., Werner A., Kantor B.E. Introduction to differential geometry "as a whole" - M .: Nauka, - 1973,
- 440 P.
60
Theorem 8.
There is a submersion
f
:
M
→
B
, for which the isometry group
( )
G
F
M
of a foliated manifold
(
M
,
F
)
contains a maps, which are not elements of the
isometry group
G
(
M
)
of a Riemannian manifold
(
M
,
g
)
.
The following example shows that such submersion can be simple enough.
We consider on euclidean plane with Cartesian coordinates
x y
,foliation
F
,
generated by level lines of function
(
)
2
f x y x y
,
=
−
.
We will construct an isometry of
foliated manifold formula
ϕ
:
M M
→
under the
ϕ
λ
(
x y x y x y
, , ,
)
=
+
(
(
)
)
.
If
λ
it is constant, this map
ϕ
is an isometry of a plane
and an isometry of the
foliated plane. If
λ
(
x y f x y
, ,
)
=
−
(
)
map
ϕ
is not a plane isometry,
but is an
isometry of foliated manifold.
Really, if the point
(
x y
,
)
lies on the parabola
2
x y c
−
=
, then the point
(
x y x y
, ,
+
λ
(
)
)
lies on the parabola
2
x y c
−
=
2 . This map preserving length of
curves on a parabola.
In the second section of the third chapter we study the geometry of the isometry
group of a foliated manifold in a new
F
-compact-open topology. For foliated
manifolds the following lemma and theorem are proved.
r
F
converges pointwise on
a
Lemma 1.
Assume that a sequence
{
f
m
}
∈
G
(
M
)
set
A
⊂
L
α
, where
L
α
– some leaf of the foliation
F
. Then
{
f
m
}
also converges
pointwise on
A
(where
A
is the closure of the set
A
in
L
α
).
Lemma 2.
Let
A
be a set of points on a leaf
L
α
such that for each point
p A
∈
there
exists a converging subsequence
f
(
p
)
m
l
of the sequence
f
(
p
)
m
. If the set
A
is
nonempty set, then
A
=
L
α
.
The above lemmas enable us to prove the following theorem.
Theorem 9.
Let
M
be a complete smooth
n
−
dimensional manifold with the
r
smooth
k
−
dimensional foliation
F
,
f
∈
G
(
M
),
r
≥
0,
m
=
1,2,3,....
m F
. Suppose,
α
there exists a point
o
α
∈
L
α
such that the sequence
( )
m
that for each leaf
L
convergent. Then there exists a
subsequence
m
l
f o
α
is
f
of the sequence
m
f
which
converges in a
F
-compact-open topology.
The theory of foliation has wide applications in the theory of dynamical
systems, dynamical polysystems and control theory. The family of orbits of vector
fields generates a partition of the phase space into the orbits, which is called a
singular foliation.
The set of attainablity (the set of controllability) and invariant sets of control
systems are important objects in the qualitative theory of optimal control. Invariant
sets of control systems coincide with the orbits of the family of vector fields, which
are determined by the right part of the control system.
61
The fourth chapter of the thesis, entitled
«Geometry of orbits of vector
fields»
is devoted to the study of the orbits of vector fields. We prove the
compactness of the attainability set, and the continuity of the multivalued mapping
“point -the attainability set” for a system of vector fields of a special form,
compactness closure of attainability sets, and continuous-valued mappings which
associates each value of the time of the closure of the attainable set for no more
than a fixed time for vector fields of a certain class, and found conditions of
stability the set of attainablity for linear systems.
In the first section of the fourth chapter it is investigated the geometry of the
attainable set for the family of vector fields of the form
m
i
=
+
∑
(1)
X x f x f x u
( ) ( ) ( )
u i
0
i
=
1
u
≤
for all
i m f x f x f x
=
1,2,..., , , ,...,
0 1
(
)
(
)
m
(
)
are smooth vector functions
i
where
1
with restrictions
(
)
i
i
f x M
≤
for all
,
m
i
x R M
∈
are constants.
Vector fields (1) correspond to the control systems of the following
form:
m
i
=
+
∑
(2)
x f x f x u t
( ) ( ) ( ).
0
i
i
=
1
We say that the point
*
x
in time
T
, if there
x
is attainable from a point
0
exists a measurable vector function
1 2
( ) ( ( ), ( ),..., ( )),
m
u t u t u t u t
=
such that the
Cauchy problem for a system of differential equations
m
i
=
+
∑
(3)
x t f x f x u t
( ) ( )
0
(
)
(
)
i
=
1
i
x x
(0)
=
has a solution defined on
[0,
T
]
such that
with the initial condition
0
[
]
( ) , 1, 0;
i
*
x T x u t T
=
≤ ∀ ∈
.
x
in time
T
denote by
The set of points of
n
R
which can be attaible from
0
x G T
∈
. By definition we set that
0
0
( )
0
0
( )
x
x G T
∈
for all
T
.
x
In this section we prove the compactness of the attainablity set and the conti
nuous dependence of the attainablity set
0
( )
G T
x
on the time
T
for the system (1).
We proved the following theorems
Theorem 10.
The set
0
( )
G T
x
is a compact for all
T
≥
0
.
Theorem 11.
The mapping
(
)
T G T
→
x
is continuous in the metric of the
0
Hausdorff at each point
T
≥
0.
In the second section of the fourth chapter we investigate the structure of the
set of attainablity.
We consider the type of control system of the form
( , ), , ,
n m
x f x u x R u U R
=
∈ ∈ ⊂
(4)
where
U
is a compact subset of
m
R
. It is assumed that for every
u U
∈
the vector
field
f
(
x
,
u
)
of class
C
∞
, and the mapping
f
is continuous in all the variables. In
addition it is assumed that the right side of the system satisfies the condition
62
| ( , ) | | | , ,
(
)
n
f x u M x N x u R U
≤
+
∀ ∈
×
, (5)
where
M
and
N
are constants.
Studying the properties of sets
G T
η
(
≤
)
and
G T
η
(
)
are important issues in
the qualitative theory of optimal control.
For example, closedness (or compactness) of the set
G T
η
(
≤
)
is a major
factor in the proof of existence theorems for optimal control in one way or another.
In general, of course, sets
G T
η
(
≤
)
and
G T
η
(
)
need not be closed. The following
theorem holds.
Theorem 12.
The sets
G
η
(
≤
T
)
and
G
η
(
T
)
are compact.
It is known that the set
(
)
n
K R
of compact subsets of
n
R
with the metric of
Hausdorff is a metric space. When the condition (5) holds it is true the following
Theorem 13.
The mappings
T
→
G
(
≤
T
)
η
and
T G
(
T
)
→
η
are continuous.
Theorem
14.
Suppose that for any
T
≥
0sets
G
(
T
)
η
are compact. Then so are the sets
G
(
≤
T
)
η
.
Corollary 1.
The set
G T
( )
≤
for system (1) is compact.
The rest of this section we consider the linear system of the form
n m
x Ax Bu
x R u R
=
+
∈ ∈
(6)
, , ,
where
A
is a matrix of dimension
n n
×
,
B
is a matrix of dimension
n m
×
. Bounded
measurable functions
: 0; , 0
[
]
m
u T R T
→
<
<
+
∞
are admissible controls.
The goal of control is to bring the system to a target condition
n
η
∈
R
. We
denote by
V
the set of analytic vector fields defined on
n
R
. It is known that the set
V
is a Lie algebra, in which the product of vector fields
X
and
Y
is their Lie
bracket
[
X
,
Y
]
. Put
X x Ax Bu
u
(
)
=
+
and denote by
D
the set of vector fields
{
:
}
m
X u
R
u
∈
, and by
A
(
D
)
a minimal Lie subalgebra containing
D
. The orbit
L
(
x
)
of systems
(6) passing through the point
x
is defined as the set of all points
n
y
∈
R
of the form
(
(
(
)
)
)
l l
t t t
l l
y X X X x
−
=
−
. (7)
1 1
... ...
1 1
where
,
X D
i
∈
i
t
are real numbers,
i l
=
1,2,..., ,
t X
(
x
)
→
t
is the integral curve of the
vector field
X D
∈
passing through the point
x
at
t
=
0
.
If in (7)
i
t
are positive numbers, then the set of points
y
forms a positive orbit.
If valid control are piecewise constant functions, then
G
η
is a positive orbit and thus
G L
( )
η
⊂
η
for all
n
η
∈
R
.
If
u
=
u
(
t
)
is a bounded measurable function,
x
(
t
)
is the corresponding
trajectory of the system (6) with the initial condition
0
x x
(0)
=
, then as shown in
the work
1
the vector field
f x t u t
( ( ), ( ))is tangent of
0
L x
( )
almost everywhere, so
1
Agracev AA Sachkov YL Geometric theory of control. - M .: FIZMATLIT, 2005. - 392 p.
63
x L
∈
( )
η
lies in
L
( )
η
.
the corresponding trajectory
x
(
t
)
emanating from the point
0
Consequently, for measurable attainable set of admissible controls
G
η
is also a
subset of
L
( )
η
. Below we show that for the system (6)
G
η
is the same as
L
( )
η
. Let
A D X x X A D
x
(
)
=
∈
{
(
)
:
(
)
}
for all
n
x R
∈
. Then, due to the fact that
x
(
)
is a linear subspace of vectors at a
A
(
D
)
is a Lie algebra, a set of vectors
A D
point
x
. In particular,
(
)
( )
X x A D
u x
u R
∈
and for every
n
∈
for each
m
clear that
0 dim
≤ ≤
A D n
x
for all
n
x R
∈
.
x R
∈
. It is
In the following theorem we obtain sufficient conditions under which each
orbit is plane.
Theorem 15.
Let
dim
A D k
x
(
)
=
for all
n
x R
∈
, where
0
<
<
k n
. Then for all
n
η
∈
R
sets
G
η
are
k
-dimensional planes.
It is known that a set of controllability
G
η
of system (6) is an area if and only
if
(
)
1
rank B AB A B n
−
=
n
, ,..., .
Using this fact from theorem 15, we get the following:
Corollary 2.
The inequality
(
)
(
)
1
rank B AB A B A D
−
≤
, ,..., dim
n
x
holds for all
n
x R
∈
.
Theorem 16.
Suppose that the rank of the matrix
(
)
1
, ,...,
n
B AB A B
−
is
n
−
1
.
Then either all orbits (set of admissibility) are (
n
−
1
)-dimensional planes, or phase
space is the union of three orbits, two of which
n
-dimensional, one orbit passing
through the origin, is (
n
−
1
)-dimensional plane.
The qualitative theory of control controllability set (or attainable set) of
control system on a smooth manifold in the class of piecewise constant control
coincides with the negative (positive) orbit of the family of vector fields, which is
determined by the control system uniquely.
P. Stefan
1
introduced the notion of the singular foliation, which is a
generalization of the notion of the foliation, and showed that the orbits are the
leaves of a singular foliation. In the case that all the orbits have the same
dimension, partition
M
on orbits is a foliation, which allows attract foliation theory
methods for studying the properties of the orbits and the set of smooth handling
systems.
In the third paragraph of the fourth chapter it is considered the issue of the
continuous dependence of the set of controllability of the target point for linear
control systems. Continuity of a
multivalued mapping
η
→
G
η
plays an important
role in the study of the stability problems of complete controllability in the control
theory. In particular, in this section it is proved that if the foliation generated by
1
Stefan P. Accessible sets, orbits and foliations with singularities // Bull. of AMS, - 1974. - №6. - V.80.
64
orbits of linear system, is regular, then the set of controllability depends
continuously on the target point.
Definition 10.
The mapping
η
→
G
η
called lower semicontinuous at
the
point
η
0
, if for each
ε
>
0
, and for each
R
>
0
there is such
that
δ
>
0
if
(
)
0
ρ
η
η
δ
,
<
it takes place
(
(
)
(
)
)
0
0 0
, ,
R R
d G B G B
η
η
η
η
ε
<
where
G
η
- the closure of
G
η
in
,
(
0
)
n
R B
R
η
−
closed ball of radius
R
centered at
the
point
η
0
.
Definition 11.
The mapping
η
→
G
η
called upper semicontinuous at
the
point
η
0
, if for each
ε
>
0
, and for each
R
>
0
there is such
that
δ
>
0
if
(
)
0
ρ
η
η
δ
,
<
it takes place
(
(
)
(
)
)
0
0 0
, .
R R
d G B G B
η
η
η
η
ε
<
Definition 12.
Тhe map
η
→
G
η
called continuous
at the point
η
0
, if it is
lower semicontinuous and
upper semicontinuous at a
point
η
0
.
Lemma 3.
The mapping
n
η
∈
R
.
η
→
G
η
is lower semicontinuous at each
point
A sufficient condition for the upper semicontinuity of the above mentioned
map.
Theorem 17.
Let
dim
A D k
x
(
)
=
for all
n
x R
∈
, where
A D X x x A D
x
(
)
=
∈
{
(
)
: ,
(
)
}
0
<
<
k
n
. Then the mapping every point of the
space
n
R
.
η
→
G
η
is continuous at
In fact, this theorem shows that the foliation generated by orbits is
k
-
dimensional foliation, a sets of controllabity are leaves of this foliation. Thus, multi
valued map «a point - a leaf» is a continuous map.
65
CONCLUSION
The dissertation examines the group of isometries foliated Riemannian
manifolds. To solve the problems studied topological and geometrical properties of
foliated manifolds, it is studied geometry Riemannian submersions. It is introduced
a new notion of foliated compact-open topology, which depends on the foliation.
We studied a group of isometries foliated manifolds in the compact-open topology
and in the foliated compact-open topology.
The main results of investigation are as follows.
1) it is established that the group of homeomorphisms of any manifold is a
topological group in the compact-open topology;
2) it is proved that the isometry group of a foliated manifold is a topological
group in the compact-open topology;
3) it is established that if the sequence of isometries of foliated manifold
converge on a one point on each leaf then this sequence can be extracted to a
convergent subsequence isometries of foliated manifold in the compact-open
topology;
4) it is proved that the Riemannian submersion produces foliated manifold of
constant Gaussian curvature;
5) it is established that limit of geodesic lines of foliated manifold is a
geodesic line on the limit leaf of foliation;
6) it is showed that the four-dimensional manifold can not be immersed into
five-dimensional Euclidean space;
7) it is proved the existence of the foliation, for which there is a Isometry of
foliated manifold which is non-isomety of the manifold;
8) it is proved that the set of reachable system of vector fields of a certain
class is compact, and it is a continuous function of time;
9) it is found a sufficient condition for linear control systems under which
each set of attainability (controllability set) is a plane of fixed dimension.
Author brings his deep appreciation to the scientific adviser Professor
Narmanov Abdigappar Yakubovich for posing problems, valuable tips and helpful
advices in the discussion and and support.
66
ЭЪЛОН ҚИЛИНГАН ИШЛАР РЎЙХАТИ
СПИСОК ОПУБЛИКОВАННЫХ РАБОТ
LIST OF PUBLISHED WORKS
I бўлим ( I часть; I part )
1. Шарипов А.С. Об изометрии поверхностей изометричных по
сечениям // ДАН РУз. – Ташкент, 1998.
–№3. –
С.5-8. (01.00.00; №7). 2.
Шарипов А.С. О некоторых свойствах гиперповерхностей изометричных по
сечениям R
4
// Узбекский математический журнал – Ташкент, 1998.
–
№3,
–
С.98-103. (01.00.00; №6).
3. Шарипов А.С. Об одном способе вложения двумерного многообразия
M
2
в R
3
// Узбекский математический журнал – Ташкент, 2003.
–
№1.
–
С.76- 81.
(01.00.00; №6).
4. Нарманов А.Я., Шарипов А.С. О непрерывной зависимости мно
жества управляемости от целевой точки // ДАН РУз. – Ташкент, 2004.
–
№1.
–
С.11-14. (01.00.00; №7).
5. Narmanov A.Ya., Sharipov A.S. On the group of foliation isometries //
Methods of functional Analysis and topology – Kiev, 2009.
– V.15. –
P.195-200.
(01.00.00; МДҲ № 4).
6. Нарманов А.Я., Шарипов А.С. О геодезических слоеного мно
гобразия. // Вестник НУУз. – Ташкент, 2009.
–
№2.
–
С.52-54. (01.00.00; №8).
7. Нарманов А.Я., Шарипов А.С. О структуре множества достижимости
// Узбекский математический журнал – Ташкент, 2009. – №3. – С.142-152.
(01.00.00; №6).
8. Шарипов А.С. Восстановление выпуклого многогранника по
заданным условным внешним кривизнам в вершинах // Вестник НУУз. –
Ташкент, 2013, – №2, – С.209-213. (01.00.00; №8).
9. Нарманов А.Я., Шарипов А. С. О геометрии субмерсий // ДАН РУз.
–
Ташкент
,
2014.
–
№2.
–
С.3-4. (01.00.00; №7).
10. Narmanov A.Ya. and Sharipov A.S. On the geometry of submersions //
International journal of geometry – vol. 3 (2014), No.2, P. 51-56. (№ 12. Index
Copernicus ICV=77,25).
11. Шарипов А.С. Об изометрическом вложении и погружении SOL
многообразий // Вестник НУУз.
–
Ташкент, 2015,
–
№2/1,
–
С.104-107.
(01.00.00; №8).
12. Sharipov A.S. On the geometry of the level surfaces, International
Journal Physics and Mathematical Sciences, – 2015. – V. 5 (4) – P. 60-65.
(01.00.00; Осиё №6).
13. Шарипов А.С. О невозможности изометрического погружения
многообразия
2
SL R
в евклидово пространство // Вестник НУУз.
–
Ташкент,
2015,
–
№ 2/2.
–
С.85-88. (01.00.00; №8).
67
14. Narmanov A.Ya. and Sharipov A.S. On the geometry of foliated
manifolds // Bulletin of Mathematics and Statistics Research Vol.4.Issue.2.2016
(April-June) P. 56-62. (№ 5, Global Impact factor, GIF=0,458)
15. Шарипов А.С. Об изометрии слоеных многообразий// Eurasian Union
of Scientists, №3 (24) 2016, р.160-161. (№ 5. Global Impact factor, GIF=0,388).
16. A.S.Sharipov On the impossibility of an isometric immersion of some
manifolds in Euclidean space// Bulletin of Mathematics and Statistics Research
Vol.4.Issue.3.2016 (July-Sept.) P. 86-91. (№ 5, Global Impact factor, GIF=0,458)
II бўлим (II часть; II part)
17. Нарманов А.Я., Шарипов А.С. О структуре множества достижимости
// Вестник Тамбовского университета, серия естественные и технические
науки –Тамбов, 2007.
–
Т.12.
–
С.501-503.
18. Нарманов А.Я., Шарипов А.С. Некоторые приложения теории
слоения в задачах управления. Вестник Удмурдского Университета – Ижевск,
2008. – №2, – С.93-96.
19. Sharipov A.S., Narmanov A.Ya. On the isometries of foliated manifold //
TWMS Jour. Pure and Appl. Math.
–
Baku, 2011.
–
V.2.
–
№1.
–
P.127-133. 20.
Шарипов А.С. О группе изометрий слоеного многообразия // Вестник
Удмурдского Университета. Математика. Механика. Компью терные науки
–
Ижевск
,
2014.
–
№1.
–
С.118-122.
21. Шарипов А.С. О свойстве цилиндрического отображения по
верхностей изометричных по сечениям // Сб.науч. статей молодых ученых и
студентов –Ташкент: «Университет», 1998. – №2,
–
С.10-13.
22. Шарипов А.С. О свойствах разверток многогранника сохраняя ющих
изометрию по сечениям и кривизны // Депонированная рукопись, ГФНТИ
при ГКНТ РУз.
–
№2704-Уз 99,
–
С.23.
23. Шарипов А.С. Поверхности изометричные по сечениям и их
свойства // Депонированная рукопись, ГФНТИ при ГКНТ РУз,
–
№2705-Уз
99,
–
С.28.
24. Шарипов А.С. Об одном условии вложения двумерного много
образия
M
2
в R
3
// Тезисы докладов. Вторая международная конференция.
Посвящена 80-летию проф. Л.Д. Кудрявцева. Функциональные пространства
–
Москва
,
2002.
–
С.122.
25. Нарманов А.Я., Шарипов А.С. О геометрии множества дости жимости //
Материалы международной школы-семинара по геометрию и анализа посв.
памяти Н.В.Ефимова – Ростов на Дону, 2004.
–
С.268-269.
26. Нарманов А.Я., Шарипов А.С. О структуре множества управ
ляемости // Геометрический анализ и его приложения
–
Москва
,
2004.
–
С.187-188.
27. Нарманов А.Я., Шарипов А.С. О геометрии множества дости
жимости нелинейных систем управления Тезисы докладов // Международная
геометрическая школа-семинар памяти Н.В.Ефимова – Ростов-на-Дону, 2006.
–
С.63-64.
68
28. Нарманов А.Я., Шарипов А.С. О группах изометрий слоений на
многообразиях // Материалы республиканской конференции «Новые теоремы
молодых математиков-2006» – Наманган, 2006.
–
1 ч.,
–
С.101.
29. Нарманов А.Я., Шарипов А.С. О структуре множества дости жимости
некоторой динамической системы управления // Материалы международной
конференции посвященной памяти Ш.Ярмухамедова «Новые направления в
теории динамических систем и некорректных задач» – Самарканд, 2007.
–
С.67-68.
30. Нарманов А.Я., Шарипов А.С. Об одной группе изометрий слоения //
Материалы республиканской научной конференции «Совре менные проблемы
математики, механики и информационных технологий»: пос. 90- летию НУУз
им. М.Улугбека
–
Ташкент
,
2008.
–
С.203-205.
31. Нарманов А.Я., Шарипов А.С. О пределе геодезических слоеного
многообразия // Материалы международной школы-семинара по геометрию и
анализа посв. памяти Н.В.Ефимова – Ростов на Дону, 2008. – С.
32. Нарманов А.Я., Шарипов А.С. Об изометрических отображений
слоения // Международная конференция «Современные проблемы
математики, механики и их приложений» посвященная 70-летию ректора
МГУ академика В.А.Садовничего, 30 марта-02 апреля 2009 года –Москва:
МГУ, 2009.
–
С.396-397.
33. Narmanov A.Ya., Sharipov A.S. On the isometries of foliated manifold //
Abstracts of the third congress of the world mathematical society of Turkic
countries– Almaty, 2009.
–
P.70.
34. Нарманов А.Я., Шарипов А.С. О пределе геодезических кривых
слоеного многообразия // «Ҳозирги замон математикаси ва уни ўқитишнинг
долзарб муаммолари»: Тез. Док. Рес. науч. конф. 8-9 ноября, 2010. –Ташкент,
2010. – С.45-46.
35. Нарманов А.Я., Шарипов А.С. О пределе геодезических линий
слоеного многообразия // «Метрическая геометрия поверхностей и много
гранников»: Тез. докл. межд. науч. Конф. 18-21 августа 2010 –Москва, 2010. –
С.8-9.
36. Шарипов А.С. О восстановлении выпуклого многогранника по
заданным значениям условной кривизны в вершинах // «Математика фани ва
уни ўқитишнинг долзарб муаммолари»: Тезисы докладов Республиканской
науч. конф. 8 - 9 ноября 2011. –Андижан, 2011. – С.72-73.
37. Шарипов А.С. Об одном изометрическом вложении // Материалы
международной конференции «Актуальные проблемы прикладной ма
тематики и информационной технологии – Аль - Хорезми –2012» – Ташкент,
19-22 декабря, 2012. – С. 63.
38. Шарипов А.С. О группе изометрий слоеного многообразия // Тезисы
докладов международной конференции «Геометрия в Одессе - 2014» –
Одесса, 26 мая-31 мая 2014. – стр.63.
39. Шарипов А.С. Об одном свойстве субмерсий // Материалы научной
конференции «Актуальные вопросы геометрии и её приложения», Ташкент
27-28 октября 2014, С.242-243.
69
40. Шарипов А.С. О геометрии слоеных многообразий // Материалы
Всероссийской конференции с международным участием «Теория
управления и математическое моделирование» посвященной памяти
профессора Н.В.Азбелева и профессора Е.В.Тонкова, Ижевск, 2015 г., июнь,
С.334-336.
41. Шарипов А.С. Об изометричном вложении и погружении
многообразий // Материалы Республиканской научной конференции
«Математическая физика и родственные задачи современного анализа» г.
Бухара, 2015 г., 26-27 ноября.
42. Narmanov A.Ya, Sharipov A. S. On the geometry of foliated manifolds,
Анализнинг долзарб муаммолари, Илмий конференция материаллари, Қарши
шаҳри, 2016 йил, 22-23 апрель, 298-302 бетлар.
43. Шарипов А.С. Об изометрии слоеных многообразий// Тезисы
докладов конференции с участием зарубежных ученых «Проблемы
современной топологии и её приложения» Ташкент, 2016 г., 5-6 мая,
с.263-265.
70
