На правах рукописи

СТРЕЛЬЦОВА Ирина Станиславовна

ПРИМЕНЕНИЕ ДИФФЕРЕНЦИАЛЬНЫХ ИНВАРИАНТОВ

В КЛАССИЧЕСКИХ ДВУМЕРНЫХ ГЕОМЕТРИЯХ

01.01.04 Геометрия и топология

АВТОРЕФЕРАТ

диссертации на соискание ученой степени

кандидата физико-математических наук

Казань 2012

Работа выполнена на кафедре высшей математики ФГБОУ ВПО Астраханский государственный университет

Научный руководитель: доктор физико-математических наук Кушнер Алексей Гурьевич

Официальные оппоненты: доктор физико-математических наук, профессор Лычагин Валентин Васильевич доктор физико-математических наук, профессор Толстихина Галина Аркадьевна

Ведущая организация: Московский государственный университет им. М. В. Ломоносова

Защита состоится 24 мая 2012 года в 16 часов 00 минут на заседании диссертационного совета Д 212.081.10 при Казанском (Приволжском) федеральном университете по адресу: 420008 г. Казань, ул. проф. Нужина, д. 1/37, ауд. 337 НИИММ им. Н. Г. Чеботарева.

С диссертацией можно ознакомиться в Научной библиотеке Казанского (Приволжского) федерального университета (г. Казань, ул. Кремлевская, 18).

Автореферат разослан 2012 г.

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

Ученый секретарь совета Д 212.081. к.ф.-м.н., доцент Липачев Е. K.

Общая характеристика работы

Актуальность темы исследования. В Эрлангенской программе 1 Феликс Клейн предложил единый подход к описанию различных геометрий.

Согласно этой программе, одной из основных задач геометрии является построение инвариантов геометрических объектов относительно действий групп. Такой подход во многом опирается на идеи Софуса Ли, который ввел в геометрию непрерывные группы преобразований, известные сейчас как группы Ли. В частности, при рассмотрении классификационных задач и проблем эквивалентности в дифференциальной геометрии следует рассматривать дифференциальные инварианты относительно действия групп Ли. Тогда проблема эквивалентности геометрических объектов сводится к нахождению полной системы скалярных дифференциальных инвариантов.

Понятия дифференциального инварианта и инвариантного дифференцирования, введенные Софусом Ли 2, являются основными понятиями при классификации геометрических объектов. С точки зрения геометрии пространств джетов 3, дифференциальный инвариант порядка k группы Ли G это функция на пространстве k-джетов, инвариантная относительно продолженной группы Ли G(k).

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

На алгебре дифференциальных инвариантов действуют дифференциальные операторы первого порядка так называемые инвариантные дифференцирования. Это операторы, коммутирующие с продолжениями элеd ментов соответствующей алгебры Ли G. Например, дифференцирование ds, где s натуральный параметр кривой, является инвариантным диффеКлейн, Ф. Сравнительное обозрение новейших геометрических исследований (“Эрлангенская программа”). В кн. А.П.

Норден: Об основаниях геометрии. – 1872. – С. 399–434.

2 Lie, S. Vorlesungen uber dierentialgleichungen mit bekannten innitesimalen transformationen. – Vol. 1–3, Leipzig, 1891– 1896.

3 Алексеевский, Д.В., Виноградов, А.М., Лычагин, В.В. Основные идеи и понятия дифференциальной геометрии. – М.: ВИНИТИ, 1988. – T. 28. – 297 с.

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

Как правило, с помощью инвариантных дифференцирований из уже известных дифференциальных инвариантов можно получать новые. При этом важную роль играет теорема Ли-Трессе, утверждающая, что существует конечное число базисных дифференциальных инвариантов и инвариантных дифференцирований, таких, что любой инвариант выражается через базисные инварианты и их инвариантные дифференцирования. Эта теорема является аналогом фундаментальной теоремы алгебраической геометрии теоремы Гильберта о базисе, утверждающей, что алгебра полиномиальных инвариантов конечно порождена 5.

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

Предлагаемая диссертационная работа посвящена описанию алгебр дифференциальных инвариантов кривых и их слоений (одномерных распределений) на плоскости в различных классических геометриях и применению этих алгебр к проблемам эквивалентности.

Степень разработанности проблемы. Существует общий подход к определению кривизн кривых в различных геометриях6. Понятие кривизны для плоских кривых приводятся в работах П.А. Широкова и А.П. Широкова7 для аффинной группы и ее подгрупп (центроаффинной, эквицентроаффинной и эквиаффинной групп, группы евклидовых подобий), Д.Д.

Мордухай-Болтовского8 и Б.А. Фукса9 для геометрии Лобачевского и др. Для нахождения дифференциальных инвариантов кривых Э. Картан применял созданный им метод подвижного репера10. Отметим, что метод подвижного репера является альтернативой инфинитезимальному подходу 4 Konovenko, N., Lychagin, V. On projective classication of plane curves // Global and Stochastic Analysis. Vol. 1. – No.

2, December 2011. – P. 241–264.

5 Hilbert, D. Uber dei Theorie des algebraische Formen // Math. Ann. 36. – P. 473–534, 1890.

6 Cинцов, Д.М. К вопросу о кривизне кривых линий // Изв. Каз. физ.-мат. о-ва (2). – 12. – №4. – С. 71-84.

7 Широков, П.А., Широков, А.П. Аффинная дифференциальная геометрия. – М.: Гос. изд-во физ.-мат. лит., 1959. – 320 с.

8 Мордухай-Болтовской, Д.Д. О кривизне плоских кривых в пространстве Лобачевского // Научн. записки Киевск.

гос. ун-та, 10, вып. 1; Матем. сборник. – Москва. – №5. – С. 43–52.

9 Фукс, Б.А. Неевклидова геометрия в теории конформных и псевдоконформных отображений. – Москва-Ленинград:

ГТТИ, 1951. – 148 с.

10 Картан, Э. Теория конечных непрерывных групп и дифференциальная геометрия, изложенные методом подвижного репера. – М.: Изд. Московского университета. – 1963. – 363 с.

С. Ли, который мы использовали в работе.

Для двух плоских кривых вопрос локальной эквивалентности в геометрии Евклида традиционно решается следующим образом.

Пусть 1 : [0, L] R2 и 2 : [0, L] R2 натурально параметризованные регулярные кривые и их кривизны совпадают: k1 (s) = k2 (s) для всех s [0, L]. Тогда существует такое движение : R2 R2, сохраняющее ориентацию, что 2 (s) = (1 (s)) для всех s [0, L].

Однако этот критерий имеет один недостаток: для того, чтобы записать натуральное уравнение кривой, необходимо задать натуральный параметр.

То есть, в том числе, указать, какая точка кривой отвечает нулевому значению этого параметра. Но натуральный параметр не может быть выбран однозначно: он определен с точностью до преобразования сдвига и выбора ориентации кривой11 : s ±s + const.

В первой главе настоящей диссертационной работы мы предлагаем конструктивный метод решения проблемы эквивалентности, свободный от этого недостатка, а во второй главе применяем его для решения задачи эквивалентности кривых в различных классических геометриях.

В третьей и четвертой главах мы рассматриваем эквивалентность слоений кривых на плоскости в различных классических геометриях.

Цель и задачи диссертационного исследования. Целью настоящей диссертационной работы является решение локальной проблемы эквивалентности кривых и слоений кривых на плоскости относительно структурных групп, отвечающих различным классическим геометриям: Евклида, Минковского, Лобачевского, де Ситтера, а также конформной. В каждой из рассматриваемых задач построена полная система скалярных дифференциальных инвариантов, указаны инвариантные дифференцирования и доказаны теоремы эквивалентности.

Перечислим основные задачи исследования:

1) Построить алгебры скалярных дифференциальных инвариантов кривых и слоений кривых на плоскости относительно групп движений в геометриях Евклида, Минковского, Лобачевского, де Ситтера и конформной.

2) В терминах построенных инвариантов найти необходимые и достаточБляшке, В. Дифференциальная геометрия и геометрические основы теории относительности Эйнштейна. – М.-Л.:

ОНТИ, 1935. – Т. 1. – 330 с.

ные условия локальной эквивалентности кривых и слоений кривых.

Объектом исследования являются кривые и слоения кривых (т.е. одномерные распределения) на плоскости.

Теоретическую и методологическую основу исследования составляют методы современной дифференциальной геометрии, теории дифференциальных инвариантов и геометрии пространств джетов12. Мы также используем теорию симметрий дифференциальных уравнений и вполне интегрируемых распределений, а также некоторые результаты из геометрической теории дифференциальных уравнений. При проведении расчетов были использовали пакеты DierentialGeometry и JetCalculus, созданные профессором Яном Андерсоном (I. Anderson) для системы компьютерной алгебры Maple. Мы приносим ему глубокую благодарность.

Научная новизна исследования. Все результаты работы, выносимые на защиту, являются новыми. На защиту выносятся следующие результаты.

1) Для групп Ли собственных движений в геометриях Евклида, Минковского и их R-конформных аналогов, а также в геометриях Лобачевского и де Ситтера построены алгебры дифференциальных инвариантов кривых и слоений кривых на плоскости. Указаны инвариантные дифференцирования, отвечающие этим группам Ли.

2) В терминах найденных алгебр дифференциальных инвариантов найдены условия локальной (а в случае аналитических кривых и глобальной) эквивалентности кривых и слоений кривых на плоскости.

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

Результаты могут быть использованы при решении задач распознавания изображений.

Построенные дифференциальные инварианты можно использовать для описания как обыкновенных дифференциальных уравнений, так и уравнеVinogradov, A.M., Krasil’shchik, I.S., Lychagin, V.V. Geometry of jet spaces and nonlinear partial dierential equations.

Advanced Studies in Contemporary Mathematics. – 1. – New York: Gordon and Breach Science Publishers. – 1986.–xx+441 P.

ний в частных производных, допускающих заданную группу симметрий.

Это позволяет применить методы группового анализа13 для их интегрирования.

Автором диссертации составлен комплекс программ для системы компьютерной алгебры Maple для вычисления дифференциальных инвариантов любого порядка и для решения проблем эквивалентности.

Результаты работы были частично использованы при чтении курса “Дополнительные главы теории дифференциальных уравнений” для студентов, обучающихся по специальности “Математика с дополнительной специальностью” в Астраханском государственном университете, что подтверждается актом внедрения.

Апробация результатов исследования. Основные результаты диссертации были представлены на следующих семинарах и конференциях:

на семинаре по дифференциальной геометрии под руководством профессора В.В. Шурыгина (Казань, Казанский (Приволжский) федеральный университет, 26 мая 2011 г.);

на семинаре по геометрии дифференциальных уравнений (Москва, Институт проблем управления РАН, апрель 2011 г.);

на Международной конференции “Геометрия в Одессе – 2007” (Одесса, Украина, 21–26 мая 2007 г.);

на II Международном семинаре “Симметрии: теоретический и методический аспекты” (Астрахань, Астраханский государственный университет, 11–14 сентября 2007 г.);

на Международной конференции “Геометрия в Астрахани – 2007” (Астрахань, Астраханский государственный университет, 11–14 сентября на Шестой молодежной научной школе–конференции “Лобачевские чтения – 2007” (Казань, Казанский государственный университет, 16– 19 декабря 2007 г.);

на Международной конференции “Геометрия в Одессе – 2008” (Одесса, Украина, 19–24 мая 2008 г.);

13 Овсянников, Л.В. Групповой анализ дифференциальных уравнений. – М.: “Наука”, 1978. – 399 с.

на Международной конференции “Геометрия в Астрахани – 2008” (Астрахань, Астраханский государственный университет, 18–24 августа 2008 г.);

на научной конференции “Геометрия – наука и учебный предмет” (Москва, Московский государственный областной университет, май 2008 г.);

на Международной конференции “Диффернециальные уравнения и топология”, посвященной 100-летию со дня рождения Л. С. Понтрягина (МГУ им. М. В. Ломоносова – Математический институт имени В. А. Стеклова РАН, Москва, 17–22 июня 2008 г.);

на Седьмой молодежной научной школе–конференции “Лобачевские чтения – 2008” (Казань, Казанский государственный университет, 1– 3 декабря 2008 г.);

на Международной конференции “Геометрия в Одессе – 2009” (Одесса, Украина, 25–30 мая 2009 г.);

на Международной научной конференции “Лаптевские чтения”, посвященной 100-летию со дня рождения Г. Ф. Лаптева (МГУ им. М. В. Ломоносова – Тверской государственный университет, Москва–Тверь, 25– 29 августа 2009 г.);

на III Международном семинаре “Симметрии: теоретический и методический аспекты” (Астрахань, Астраханский государственный университет, 10–14 сентября 2009 г.);

на Международной конференции “Геометрия в Астрахани – 2009” (Астрахань, Астраханский государственный университет, 10–16 сентября 2009 г.);

на Восьмой молодежной научной школе–конференции “Лобачевские чтения – 2009” (Казань, Казанский государственный университет, 1– 6 ноября 2009 г.);

на Международной конференции “Геометрия в Одессе – 2010” (Одесса, Украина, 24–30 мая 2010 г.);

на Международной конференции “Геометрия в Кисловодске–2010” (Кисловодск, Кисловодский гуманитарно-технический институт, 13– сентября 2010 г.);

на Международной школе-конференции для молодежи “Геометрия.

Управление. Экономика” (Астрахань, Астраханский филиал Волжской государственной академии водного транспорта, 15–27 августа 2011 г.).

на Десятой молодежной научной школе–конференции “Лобачевские чтения – 2011” (Казань, Казанский (Приволжский) федеральный университет, 31 октября – 4 ноября 2011 г.).

Публикации. По теме диссертации автором опубликовано 7 статей (из них 3 в журналах, рекомендованных ВАК [S1–S3], 2 в реферируемых научных журналах [S4, S7], 2 в сборниках научных трудов [S5, S6]) и тезисов докладов [S8–S22].

Вклад автора в разработку избранных проблем. Диссертация является самостоятельным исследованием автора. В соавторстве выполнены 2 работы. Вклад автора в них составляет 50%.

Структура и объём работы. Диссертация изложена на 138 страницах, состоит из введения, четырех глав, заключения, списка литературы, содержащего 59 наименований, и приложения, содержащего листинг программы для Maple. Диссертация содержит 3 таблицы и 5 рисунков.

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

В первой главе “Дифференциальные G-инварианты кривых” приведены основные определения и результаты, необходимые в дальнейшем. В частности, даны определения пространства джетов, распределения Картана, указываны способ продолжения преобразований плоскости в пространства k-джетов и метод вычисления размерностей алгебр дифференциальных инвариантов.

Пусть G связная группа Ли, действующая транзитивно на открытой области M R2 и G соответствующая ей алгебра Ли. Их продолжения на многообразие k-джетов J k (R) будем обозначать G(k) и G (k) соответственно.

Мы задаем кривые как графики гладких функций: sf = {y = f (x)} M.

Функция J на пространстве J k (R), гладкая в своей области определения, называется G-дифференциальным инвариантом порядка k, если она сохраняется под действием k-го продолжения группы Ли G, то есть (k) (J) = J для любого преобразования G.

Дифференцирование вида = называется G-инвариантным дифdx ференцированием, если оно коммутирует с продолжениями векторных поd лей X G. Здесь гладкая функция на пространстве джетов и dx оператор полного дифференцирования.

Пусть Jk первый нетривиальный дифференциальный G-инвариант порядка k и a точка на кривой sf. Точку a будем называть G-регулярной, если дифференциал dJk (f ) не обращается в нуль в этой точке и G-особой в противном случае. Кривую sf, все точки которой G-регулярны, будем называть G-регулярной. Для регулярной кривой функцию Jk (f ) можно принять за параметр на ней. Заметим, что этот параметр, в отличие от натурального параметра, не предполагает выбор начальной точки на кривой.

Пусть инвариантное дифференцирование и Jk+1 = (Jk ) дифференциальный инвариант порядка k + 1. Ограничение дифференциального инварианта Jk+1 на кривую sf можно представить в виде некоторой функции от параметра Jk (f ):

Выражение (1) представляет собой обыкновенное дифференциальное уравнение порядка k + 1 относительно функции f (x), которой отвечает подмногообразие Ef J k+1 (R).

Теорема 4. Пусть выполняются следующие условия:

1. группа Ли G действует на M транзитивно;

2. кривые sf и sg регулярны;

3. уравнения Ef и Eg не содержат особых точек и могут быть разрешены относитнельно старших производных.

Кривые sf и sg локально G-эквивалентны тогда и только тогда, когда функции f и g тождественно равны.

Во второй главе “Классификация кривых на плоскости в классических геометриях” указанная схема применена к различным геометриям: Евклида, Минковского, конформной, Лобачевского и де Ситтера. Построена полная система скалярных дифференциальных инвариантов кривых. Основной результат этой главы теоремы эквивалентности. Для гладких кривых они носят локальный характер, а для аналитических кривых глобальный. Приведем некоторые результаты.

1. Геометрия Евклида. Дифференциальные инвариант второго порядка (кривизна) и инвариантное дифференцирование имеют вид:

Дифференциальный инвариант третьего порядка Размерность алгебры дифференциальных GE -инвариантов порядка k равна k1. Функциональный базис в алгебре дифференциальных инвариантов порожден кривизной J2 и оператором E.

Теорема 8. Пусть на двух регулярных кривых sf и sg на плоскости Евклида с метрикой gE = dx2 + dy 2 функции f и g не обращаются в нуль в рассматриваемой окрестности. Кривые sf и sg GE -эквивалентны тогда и только тогда, когда f g.

2. Геометрия Минковского. Дифференциальные инвариант второго порядка и инвариантное дифференцирование имеют вид:

Размерность алгебры дифференциальных GM -инвариантов порядка k равна k1. Функциональный базис в алгебре дифференциальных инвариантов порожден кривизной J2 и оператором M. Множество состоит из особых орбит и разбивает пространство J 2 (R) на компоненты связности. Дифференциальный инвариант третьего порядка имеет вид:

14 Этот дифференциальный инвариант был известен еще Софусу Ли.

Теорема 12. Пусть на двух регулярных кривых sf и sg на плоскости Минковского с метрикой gM = dy 2 dx2 выполнены следующие условия:

1. функции f и g не обращаются в нуль;

2. 2-джеты кривых sf и sg лежат в одной компоненте связности, то Кривые sf и sg GM -эквивалентны тогда и только тогда, когда f g.

Деление кривых в геометрии Минковского на классы эквивалентности хорошо известно в специальной теории относительности: это времениподобные и пространственноподобные кривые. Классы кривых на плоскости разделяются двумя прямыми так называемым “световым конусом”.

3. R-конформная геометрия. Преобразование области M будем называть R-конформным, если при этом преобразовании метрика умножается на некоторую постоянную15. Мы рассматриваем два типа метрик Евклида и Минковского. Такие преобразования образуют группы Ли GCE и GCM соответственно. Эти группы мы называем R-конформными16. Размерности алгебр дифференциальных инвариантов порядка k этих групп равны k 2.

Укажем первый дифференциальный и инвариантное дифференцирование для группы Ли GCE :

Дифференциальный инвариант J3 мы называем R-конформной кривизной. Кривые с постоянной R-конформной кривизной являются логарифмическими спиралями.

Дифференциальный инвариант четвертого порядка имеет вид:

Множество CE = {y2 = 0, y3 = 0} состоит из особых орбит и разбивает пространство J 3 (R) на компоненты связности.

Теорема 18. Пусть на двух GCE -регулярных кривых sf и sg функции f и g не обращаются в нуль. Кривые sf и sg GCE -эквивалентны тогда и только тогда, когда:

15 В случае евклидовой метрики дополнительно потребуем, чтобы эта постоянная была положительной 16 В терминологии П.А. Широкова и А.П. Широкова группа Ли GCE называется “группой евклидовых подобий”.

1. 3-джеты кривых лежат в одной компоненте связности;

2. функции f и g тождественно совпадают: f g.

4. Геометрии Лобачевского и де Ситтера. Мы рассматриваем модели геометрий Лобачевского и де Ситтера в верхней полуплоскости с метриками соответственно. Соответствующие группы Ли собственных движений мы обозначим GL и GS. Размерности алгебр дифференциальных инвариантов порядка k равны k 1. Функциональный базис в алгебре дифференциальных GS -инвариантов порожден следующими инвариантом и оператором:

В диссертации доказаны теоремы эквивалентности для регулярных кривых в геометрии Лобачевского и де Ситтера.

В третьей главе “Дифференциальные G-инварианты слоений кривых” приводятся необходимые далее определения и результаты и указывается способ вычисления инвариантных дифференцирований. Отметим, что проблема эквивалентности слоений кривых принципиально отличается от проблемы эквивалентности кривых. Причина состоит в следующем. Слоение кривых на плоскости локально можно задать с помощью функции f C (M ) (df = 0), линии уровня которой совпадают с кривыми слоения. Эта функция определена с точностью до калибровочных преобразований f F (f ), где F : R R гладкая функция. Поэтому вместо группы Ли преобразований, как это было в случае кривых, здесь нужно рассматривать псевдогруппу Ли, порожденную преобразованиями группы Ли G и калибровочными преобразованиями. Заметим однако, что функция v = fx, где fx и fy частные производные функции f = f (x, y) по коордиfy натам x, y плоскости, является инвариантом относительно калибровочных преобразований. Это позволяет применить перенормировку и рассматривать ее вместо функции f, что дает возможность вместо псевдогруппы Ли рассматривать группу Ли.

Дифференциальный оператор вида где A1 и A2 гладкие функции на пространстве джетов, будем называть G-инвариантным дифференцированием, если он коммутирует с продолжениями векторных полей из соответствующей алгебры Ли G. Два некоммутирующих инвариантных дифференцирования позволяют построить дифференциальные инварианты. Действительно, разложим их коммутатор:

Теорема 31. Функции и являются G-инвариантами.

Пусть J1 и J2 два базисных дифференциальных G-инварианта второго порядка слоения sf и пусть группа Ли G действует на M транзитивно.

Слоение sf будем называть регулярным в области D M, если функции J1 (f ) и J2 (f ) функционально независимы в этой области. Для регулярного слоения sf функции J1 (f ) и J2 (f ) могут быть выбраны в качестве новых координат в области D. Ограничения дифференциальных инвариантов Jij = i (Jj ) на слоение sf являются функциями от J1 (f ) и J2 (f ):

Многообразие в пространстве k-джетов, соответствующие системе (3) обозначим Ef.

Пусть sg другое регулярное слоение и пусть функции f (J1 (f ), J2 (f )) и ij (J1 (g), J2 (g)) не обращаются в нуль.

Теорема 32. Пусть выполняются следующие условия:

1. группа Ли G действует на M транзитивно;

2. Ef и Eg являются уравнениями конечного типа и не содержат особых точек.

Слоения sf и sg локально G-эквивалентны тогда и только тогда, когда f g (i, j = 1, 2).

В четвертой главе “Слоения кривых на плоскости в классических геометриях” результаты, полученные в третьей главе, мы применяем к геометриям Евклида, Минковского, Лобачевского и де Ситтера. В качестве примера рассмотрим две из них.

1. Геометрия Евклида. Операторы являются инвариантными дифференцированиями. Применяя формулу (2), получаем два дифференциальных инварианта:

Дифференциальные инварианты второго порядка получим, действуя на них операторами 1 и 2 : Jij = i (Jj ), i = 1, 2.

Теорема 34. Размерность алгебры дифференциальных инвариантов поk рядка k равна Ck+2 1, причем число независимых дифференциальных инвариантов, порядок которых равен k, равно k + 1. Все орбиты группы Ли движений являются неособыми.

Теорема 35. Базисные дифференциальные инварианты слоения кривых на плоскости Евклида относительно группы GE порождены дифференциальными инвариантами первого порядка J1 и J2 и их всевозможными производными по 1 и 2. Между дифференциальными инвариантами второго порядка существует соотношение Соотношения меджу дифференциальными инвариантами более высоких порядков получаются из формулы (4) применением к ней операторов Теорема 36. Регулярные слоения sf и sg локально GE -эквивалентны тогда и только тогда, когда f g (i, j = 1, 2).

2. Геометрия де Ситтера. Операторы являются GS -инвариантными дифференцированиями. Дифференциальные инварианты первого порядка:

Теорема 46. Размерность алгебры дифференциальных инвариантов поk рядка k равна (k) = Ck+2 1, причем число независимых дифференциальных инвариантов, порядок которых равен k, равно k + 1. Среди орбит действия группы Ли GS есть особые:

Множество 2 делит пространство 2-джетов на компоненты связности.

Теорема 47. Пусть 2-джеты регулярных слоений sf и sg принадлежат одной и той же компоненте связности. Тогда эти слоения локально GS эквивалентны тогда и только тогда, когда f g (i, j = 1, 2).

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

Методы, разработанные в диссертации, можно применить и к другим задачам классификации и эквивалентности геометрических объектов. Например, к проблеме эквивалентности пространственных кривых или тканей на плоскости, а также к классификации кривых и слоений относительно псевдогрупп Ли.

Публикации по теме диссертации Статьи в ведущих рецензируемых научных журналах, включенных в список ВАК S1. Стрельцова, И.С. R-конформные инварианты кривых [Текст] / И.С.

Стрельцова // Изв. ВУЗов. Математика. – 2009. – №5. – С. 78–81.

S2. Стрельцова, И.С. Классификация 4-тканей на плоскости относительно проективных преобразований [Текст] / И.С. Стрельцова // Естественные науки. – 2011. – №2. – С. 203–209.

S3. Стрельцова, И.С. Дифференциальные инварианты кривых на двумерных многообразиях [Текст] / И.С. Стрельцова // Известия ПГПУ им.

В.Г. Белинского. – 2011. – №26. – С. 209–217.

Публикации в других изданиях S4. Кузаконь, В.М. Дифференциальные инварианты расслоений кривых на плоскости Минковского [Текст] / В.М. Кузаконь, И.С. Стрельцова // Математичнi методи та фiзико-механiчнi поля. Iнститут прикладних проблем механiки i математики iм. Я. С. Пiдстригача. – Львiв, 2007. – Т. 50. – №4. – С. 49–54.

S5. Кузаконь, В.М. Расслоения кривых на плоскости Минковского [Текст] / В.М. Кузаконь, И.С. Стрельцова. – Сборник научных трудов II Международного семинара “Симметрии: теоретический и методический аспекты”. – Астрахань, 2007. – С. 53–58.

S6. Стрельцова, И.С. Структура алгебры скалярных дифференциальных инвариантов кривых и конформная кривизна [Текст] / И.С. Стрельцова. – Доклады конференции “Геометрия – наука и учебный предмет”.

Под ред. Мантурова О.В. Московский государственный областной университет, май 2008 г. – С. 79-83.

S7. Стрельцова, И.С. R-конформная геометрия кривых на плоскости: алгебра дифференциальных инвариантов [Текст] / И.С. Стрельцова // Геометрiя, топологiя та застосування. Збiрник праць Iн-ту матемах тики НАН Укра ни. – 2009. – Т. 6. – №2. – С. 235-246.

S8. Streltsova, I. Invariants of curves bundles on the Minkovsky plane [Текст] / I. Streltsova // Abstracts of the International Conference “Geometry in Odessa – 2007”. Odessa, Ukraine, 21–26 May 2007. – P. 154–155.

S9. Streltsova, I. Curves bundles on the Minkovsky plane [Текст] / I.

Streltsova // Abstracts of the Second Internationa Workshop “Symmetry:

its theoretical and methodical aspects”. Astrakhan, 11–14 September 2007.

S10. Стрельцова, И.С. Алгебры дифференциальных инвариантов кривых на двумерных многообразиях [Текст] / И.С. Стрельцова // Труды Математического центра имени Н.И. Лобачевского. – 2007. – Т. 36. – С.

207–209.

S11. Стрельцова, И.С. R-конформные инварианты кривых [Текст] / И.С.

Стрельцова // Тезисы докладов Международной конференции “Геометрия в Одессе – 2008”. Одесса, Украина, 19–24 мая 2008 г. – С. 129– S12. Стрельцова, И.С. Конформная геометрия кривых на плоскости [Текст] / И.С. Стрельцова // Тезисы докладов Международной конференции “Геометрия в Астрахани - 2008”. Астрахань,18–24 августа 2008 г. – С.

S13. Streltsova, I. Conformal dierential invariants of curves and ordinary dierential equations [Текст] / I. Streltsova // Abstracts of the International Conference “Dierential equations and topology”. Moscow, June 17–22, 2008. – P. 78–79.

S14. Стрельцова, И.С. Инварианты кривых в геометриях Лобачевского и де Ситтера [Текст] / И.С. Стрельцова // Труды Математического центра имени Н.И. Лобачевского. – 2008. – Т. 37. – С. 169–171.

S15. Стрельцова, И.С. Алгебра конформных скалярных дифференциальных инвариантов в R3 [Текст] / И.С. Стрельцова // Тезисы докладов Международной конференции “Геометрия в Одессе – 2009”. Одесса, Украина, 25–30 мая 2009 г. – С. 73.

S16. Стрельцова, И.С. Дифференциальные инварианты кривых и интегрирование обыкновенных дифференциальных уравнений [Текст] / И.С.

Стрельцова // Тезисы докладов Международной научной конференции “Лаптевские чтения – 2009”. Москва-Тверь, 25–28 августа 2009 г. – S17. Стрельцова, И.С. Алгебра дифференциальных инвариантов кривых в пространствах Лобачевского и де Ситтера [Текст] / И.С. Стрельцова // Тезисы докладов Международной конференции “Геометрия в Астрахани – 2009”. Астрахань, 10–16 сентября 2009 г. – С. 28.

S18. Стрельцова, И.С. Конформные скалярные дифференциальные инварианты кривых в пространствах Евклида и Минковского [Текст] / И.С.

Стрельцова // Труды Математического центра имени Н.И. Лобачевского. – 2009. – Т. 39. – С. 355–356.

S19. Стрельцова, И.С. Кривые с постоянной R-конформной кривизной [Текст] / И.С. Стрельцова // Тезисы докладов Международной конференции “Геометрия в Одессе – 2010”. Одесса, Украина, 24–30 мая S20. Стрельцова, И.С. Проективные инварианты три-тканей на плоскости [Текст] / И.С. Стрельцова // Тезисы докладов Международной конференции “Геометрия в Кисловодске – 2010”. Кисловодск, 13–20 сентября S21. Стрельцова, И.С. Проективные инварианты 4-тканей [Текст] / И.С.

Стрельцова // Тезисы докладов Международной школы-конференции для молодежи “Геометрия. Управление. Экономика”. Астрахань, 15– августа 2011 г. – С. 23.

S22. Стрельцова, И.С. Дифференциальные инварианты слоений кривых в геометрии Минковского [Текст] / И.С. Стрельцова // Труды Математического центра имени Н.И. Лобачевского. – 2011. – Т. 44. – С. 272–275.