Неголономные торсы в трехмерном и четырехмерном евклидовых пространствах

Саранских, Ольга Вячеславовна

Неголономные торсы в трехмерном и четырехмерном евклидовых пространствах тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

Саранских, Ольга Вячеславовна АВТОР

кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ

Томск МЕСТО ЗАЩИТЫ

2013 ГОД ЗАЩИТЫ

01.01.04 КОД ВАК РФ

Диссертация по математике на тему «Неголономные торсы в трехмерном и четырехмерном евклидовых пространствах»

Автореферат диссертации на тему "Неголономные торсы в трехмерном и четырехмерном евклидовых пространствах"

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

Саранских Ольга Вячеславовна

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

Специальность 01.01.04 - Геометрия и топология

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Казань 2014

г г ПАП 2014

005548605

Работа выполнена в федеральном государственном бюджетном образовательном учреждении высшего профессионального образования «Национальный исследовательский Томский государственный университет» на кафедре геометрии

Научный руководитель: Онищук Надежда Максимовна,

кандидат физико-математических наук, доцент каф. геометрии Национального исследовательского Томского государственного университета

Официальные оппоненты: Смоленцев Николай Константинович,

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

Фомин Виктор Егорович,

кандидат физико-математических наук, доцент, Казанский (Приволжский) федеральный университет

Ведущая организация: Тверской государственный университет (г. Тверь)

Защита диссертации состоится « Л » июня 2014 г. в 14.30 на заседании диссертационного совета Д 212.081.10 при Казанском (Приволжском) федеральном университете по адресу: 420008, г. Казань, ул. Кремлевская, 35, ауд.610.

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

Автореферат разослан « л »мая 2014 г.

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

Липачёв Е.К.

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

Диссертационная работа посвящена исследованию геометрии неголономных торсов в трехмерном и четырехмерном евклидовых пространствах.

Актуальность темы диссертации. Со времен Г.Монжа [17] дифференциальная геометрия развивалась в тесной связи с развитием теории дифференциальных уравнений. Термин «неголономная геометрия» введен немецким механиком Г. Герцем в 1894 году в работе «Принципы механики» [10], где при решении задачи механического характера он получил не вполне интегрируемые дифференциальные уравнения. Но первая работа, в которой рассматривается геометрия интегральных кривых не вполне интегрируемого уравнения Пфаффа

Р{х,у,2)(1х + (}(х,у,х)с1у + К{х,у,г)йг = 0 в евклидовом пространстве появилась в 1880 году. Ее автор - немецкий математик и механик А. Фосс [40]. Им было замечено «раздвоение» свойств, характерных для неголономной геометрии. Появились линии кривизны 1-го и 2-го рода, геодезические «прямейшие» и «кратчайшие».

[26], [4], [5], [1], [21], [31], [29]). Достаточно полный перечень работ, относящихся к линейчатой неголономной геометрии, содержится в [35].

С течением времени менялась терминология. Совокупность интегральных кривых не вполне интегрируемого уравнения Пфаффа Э. Бортолотги [36] назвал неголономной поверхностью. Этот термин использовали после него и другие авторы (см., например, [26]), понимая, что «неголономная поверхность» не является поверхностью, даже если уравнение Пфаффа вполне интегрируемо. Использовался также термин «Пфаффово многообразие» (см. [29]).

Изменилась терминология в связи с использованием идей неголономной геометрии на я-мерных гладких многообразиях $ЩП([9], [12], [16], [31], [32]).

Если система из (п-к) уравнений Пфаффа, связанная с распределением, не является вполне интегрируемой, то есть не имеет интегральных многообразий размерности к, то распределение называется неголономным.

Неголономная геометрия это геометрия гладкого многообразия, на котором задано неголономное распределение [9].

В евклидовом пространстве Еп геометрия гладкого («-/^-мерного распределения тесно связана с геометрией векторного поля. Эта связь хорошо прослеживается в работах [2] и [29].

Одна из областей применения неголономной геометрии - это динамика механических систем с неголономными связями. Они появляются в виде не вполне интегрируемых дифференциальных уравнений, например, при описании качения твердого тела по поверхности другого тела с учетом трения. Неголономная геометрия используется в термодинамике (геодезические кратчайшие в [37]). Векторные поля находят свое приложение при изучении поля скоростей потоков жидкости [28]. Они появились в общей теории относительности. Векторные поля постоянной длины используются при описании жидких кристаллов и ферромагнетиков [2], [18]. Все больше появляется работ по механике, нуждающихся в неголономной геометрии [3], [11], [22] и др. Их больше в последнее время, чем математических работ в этой ветви

геометрии. Особенно не хватает детальных исследований частных видов неголономных распределений.

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

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

Методы исследования. Работа выполнена методом внешних форм Картана с использованием подвижного репера [33].

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

• Дана классификация неголономных торсов 1-го и 2-го рода в Е3 и Е4 в зависимости от значений главных кривизн 1-го и 2-го рода.

• Исследованы свойства линий кривизны 1-го и 2-го рода, асимптотических линий, эквидирекционных линий для каждого класса неголономных торсов.

• Доказаны теоремы о существовании ряда частных видов неголономных торсов. Некоторые из этих теорем являются теоремами в целом.

• Исследованы линии тока векторного поля нормалей неголономных торсов.

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

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

Апробация работы. Результаты диссертации докладывались на Научной студенческой конференции, посвященной 130-летию Томского гос. ун-та и 60-летию механико - математического факультета (Томск, 2008); на Молодежной научной конференции Томского гос. ун-та (Томск, 2010); на Студенческой конференции ММФ 11У (Томск, 2010); на Научной конференции с международным участием: Геометрия многообразий и ее приложения (г. Улан-Удэ, БГУ, 2010г.); на Всероссийской школе -конференции по геометрии и анализу (г. Кемерово, 2011г.); на Всероссийской научной школе — конференции «Лобачевские чтения» (Казань, 2011); на Всероссийском конкурсе научно-исследовательских работ студентов и аспирантов в области математических наук. (Ульяновск, 2012). Кроме того, все основные результаты неоднократно докладывались и обсуждались на семинарах кафедры геометрии Томского государственного университета.

Публикации. По теме диссертации имеется 12 публикаций, список которых приведен в конце автореферата.

Структура и объем работы. Представляемая диссертационная работа состоит из введения, четырех глав и списка литературы. Полный объем диссертации составляет 146 страниц. Список литературы содержит 53 наименования.

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

Первая глава посвящена изучению геометрии неголономных торсов 2-го рода (НТ-2) в трехмерном евклидовом пространстве Е3 . К ним относятся торсы, для которых равна нулю полная кривизна 2-го рода (К2=0).

НТ-2 в Е3 делится на два класса: 1) торсы, для которых только одна из главных кривизн 2-го рода равна нулю; 2) торсы, для которых обе главные кривизны 2-го рода равны нулю. Так как во втором случае средняя кривизна Н равна нулю, то их можно назвать минимальными неголономными торсами 2-го рода (МНТ-2). Кроме того, каждый из этих классов (аналогично голономному случаю) делится на три вида: НТ-2 общего вида, неголономные конусы и цилиндры.

Для всякого НТ-2 через каждую точку М (кроме особой М0) проходит две асимптотические линии, угол а между которыми определяется формулой

2Я

cos а = —

yjA-H2 + р2

(где Н - средняя кривизна, р - скаляр неголономности), из которой следует: для МНТ-2 асимптотические ортогональны, а совпадают лишь в голономном случае.

• Для НТ-2 общего вида одна асимптотическая — плоская линия (лежит в плоскости 7г2 ), вторая - пространственная кривая. Для НТ-2 общего вида через точку М проходит две линии кривизны 2-го рода, одна из которых совпадает с плоской асимптотической и с эквидирекционной линией, вторая ортогональна второй асимптотической. Угол /? между линиями кривизны 2-го рода определяется формулой

я Р

cos В = —

V4 Я2 + р2

Откуда следует, что для МНТ-2 через точку М проходит лишь одна линия кривизны 2-го рода, а в голономном случае линии кривизны ортогональны. Для НТ-2 общего вида через каждую точку М проходит две линии кривизны 1-го рода, делящие пополам углы между асимптотическими линиями.

Для неголономного конуса асимптотическая линия, не совпадающая с линией кривизны 2-го рода, является прямой, проходящей через вершину конуса М0. А линия кривизны 2-го рода, не совпадающая с асимптотической линией, является пространственной кривой, лежащей на сфере с центром в точке М0.

Для неголономного цилиндра через каждую точку проходит эквидирекционная поверхность, пересекающая плоскость л2 по линии, являющейся одновременно асимптотической линией и линией кривизны 2-го рода. Асимптотическая линия неголономного цилиндра, не совпадающая с линией кривизны 2-го рода, представляет собой прямую линию, параллельную неподвижной прямой цилиндра. Линия кривизны 2-го рода неголономного цилиндра, не совпадающая с асимптотической линией, является геодезической прямейшей линией.

Для всех видов МНТ-2, кроме исследования поведения инвариантных кривых, доказаны теоремы о существовании. Особенно важной является теорема (доказанная в целом) для минимального неголономного цилиндра с постоянным скаляром неголономности р . Существует единственный минимальный неголономный цилиндр с постоянным скаляром неголономности. Уравнение Пфаффа для него имеет вид

5т(рг)йд:— со з(рг)с1у = О-Через каждую точку М проходит две линии кривизны 1-го рода, представляющие собой винтовые линии, лежащие на двух цилиндрах одинакового радиуса с общей образующей, проходящей через М. Плоскость - это общая касательная плоскость цилиндров. Эквидирекционная плоскость ортогональна общей образующей цилиндров. Асимптотические линии - прямые линии. Одна из них - это образующая цилиндров. Вторая ортогональна ей и вектору поля нормалей.

• Со всяким минимальным неголономным конусом д. м _> инвариантно

связаны два распределения: 1) Д':Д|-> тг2, 2) Д":М п2, где п'2 и п~ -

плоскости, проходящие через касательные к асимптотическим линиям распределения А ортогонально 7Е2. При этом п'2 проходит через касательную

к той асимптотической, которая совпадает с линией кривизны 2-го рода. Доказано, что д" голономно и определяет на Е3 слоение, слоями которого

являются сферы с центром в вершине конуса М0. Распределение д'

представляет собой неголономный конус, не являющейся минимальным. Вторая глава посвящена изучению геометрии неголономных торсов 1-го рода (НТ-1) в трехмерном евклидовом пространстве Е3 . К ним относятся торсы, для которых равна нулю полная кривизна 1-го рода (К1 =0).

НТ-1 в Е3 (также как и НТ-2) делятся на два класса: 1) торсы, для которых только одна главная кривизна 1-го рода равна нулю; 2) торсы, для которых обе главные кривизны 1-го рода равны нулю.

В первом случае будем говорить о НТ-1 общего вида, во втором - о минимальных НТ-1 (МНТ-1), так как для них равна нулю средняя кривизна. Доказаны следующие основные свойства НТ-1 общего вида.

• Через каждую точку М для НТ-1 общего вида проходят две взаимно ортогональные линии кривизны 1 -го рода.

• Через каждую точку М для НТ-1 общего вида проходит только одна асимптотическая линия, совпадающая с линией кривизны 1-го рода представляющая собой пространственную кривую с кручением, равным половине скаляра неголономности. Нормали НТ-1 вдоль асимптотической линии образуют косую линейчатую поверхность, для которой данная асимптотическая линия является горловой линией.

• Через каждую точку М для НТ-1 проходят две линии кривизны 2-го рода действительные, мнимые или совпадающие. Это зависит от значения

инварианта 4Н2-р2. В частности, если через М проходят лишь одна линия кривизны 2-го рода, то эта линия делит пополам один из углов между линиями кривизны 1-го рода.

• Через каждую точку М для НТ-1 общего вида проходит только одна эквидирекционная линия, не являющаяся линией распределения.

Переходим к рассмотрению второго класса НТ-1, для которого обе главные кривизны 1-го рода нули, который мы назвали минимальным или неголономной плоскостью.

• Неголономная плоскость не имеет линий кривизны 2-го рода.

• Всякое направление в плоскости л2 является главным направление 1-го рода, то есть через точку проходит бесконечно много линий кривизны 1-го рода.

• Всякая линия плоскости тс2 является асимптотической линией.

• Важнейший результат, для неголономной плоскости - это следующая теорема (в целом).

Теорема 1. В Е3 существует единственная неголономная плоскость.

• Неголономная плоскость — это распределение Д:М(х,у,г)—* ж2, где к2 имеет уравнение

2у(Х-х)- 2х(У-у)-2 + г = 0.

Оно определено во всем пространстве Е3 и не имеет особых точек.

• Линии тока нормалей неголономной плоскости лежат на цилиндрах х2 + у2 = а2 с общей осью I и представляют собой винтовые линии.

Эквидирекционные линии поля нормалей ДО - прямые, параллельные /.

• С полем ДО инвариантно связаны векторные поля: а) векторное поле ц главных нормалей линий тока поля до; б) векторное поле 5 бинормалей линий тока поля ДО- Для каждого из этих полей прямая I - особая прямая.

• Обозначим Д! распределение ортогональное полю л, а Д2 распределение ортогональное полю Для них доказаны следующие теоремы.

Теорема 2. Распределение Д[ голономно и определяет слоение, слоями которого являются круговые цилиндры с общей осью I.

Теорема 3. Распределение Д2 голономно и определяет слоение, слоями которого являются геликоиды. Третья глава посвящена изучению геометрии неголономных торсов 2-го рода (НТ-2) в четырехмерном евклидовом пространстве Е4. К ним относятся торсы, для которых равна нулю полная кривизна 2-го рода (К2=0).

• НТ-2 в Е4 делится на три класса: I) НТ-2, для которых только одна главная кривизна второго рода равна нулю ф о, Ф 0,к!р = 0); Щ НТ-2,

для которых две главные кривизны 2-го рода нули, а третья отличная от нуля (к^ Ф 0 > к^ = к^ = 0)! Ш) НТ-2, для которых все три главные кривизны

2-го рода имеют нулевое значение^® = = ¿Р) = ду

• Для всех классов НТ-2 в Е4 множество касательных плоскостей щ зависит от трех параметров. При этом плоскости Яз могут огибать трехмерную поверхность, могут проходить через одну точку М0, могут быть параллельны одной прямой. Согласно этому каждый класс, в свою очередь, делится на три вида: 1) НТ-2 общего вида в Е4, 2) неголономные конусы в Е4, 3) неголономные цилиндры в Е4.

• Для НТ-2 класса (к® ф 0, к® Ф 0, к^ = 0) через УМ е Ш4 проходит по крайне мере одна линия кривизны 2-го рода, она соответствует кривизне

= 0- Эта линия лежит в плоскости 7г3 и совпадает с эквидирекционной

линией. Касательные к асимптотическим линиям, проходящие через точку М образуют конус второго порядка. Из всех асимптотических линий, проходящих через М, выделяются две: одна из них лежит в плоскости л3 и совпадает с линией кривизны второго рода, вторая — пространственная кривая, касательная к которой проходит через точку М0.

Для неголономного конуса класса (к® Ф 0, к^ Ф 0, к^ = 0) все

плоскости 7i3 проходят через одну точку М0. Асимптотическая линия, касающаяся прямой ММ0, является прямой линией. Вектор нормали неголономного конуса при движении по асимптотической ММ0 меняет свое направление, а, следовательно, меняет свое положение и касательная плоскость тг3.

Для неголономного цилиндра класса (kj2^ Ф 0, к^ Ф 0, к® = 0) одна

из асимптотических линий, проходящих через М, является прямой линией, параллельной неподвижной прямой, которой параллельны все плоскости л3. Вдоль этой асимптотической (как и для неголономного конуса) меняет свое положение плоскость л3.

Для НТ-2 класса (к^ Ф 0, к^ = kip = 0) через каждую точку М

проходит две линии кривизны 2-го рода, угол а между которыми вычисляется по формуле

2р2

cos а = —j=^===. J4(p2)2 + (k^)2

Отсюда следует, что в голономном случае линии кривизны ортогональны. Касательные к асимптотическим линиям, проходящим через точку М, образуют конус 2-го порядка, лежащий в трехмерной плоскости тс3. Линия кривизны 2-го рода, соответствующая к® = к^ = 0 является

асимптотической линией, лежащей в плоскости л2. Линия кривизны 2-го

рода, соответствующая кривизне к^ Ф 0> является пространственной

кривой (не лежащей в плоскости я3).

Для неголономного конуса класса kj2' Ф 0, к® = к^ = О асимптотическая линия, касающаяся в точке М прямой ММ0 , является

прямой. Касательная плоскость щ вдоль этой прямой меняет свое положение.

• Для неголономного цилиндра класса к^* ф О, к^ = к® = О

асимптотическая линия с касательной, параллельной неподвижной прямой, является прямой линией. Касательная плоскость щ вдоль нее меняет свое положение.

• Для неголономных торсов класса к® = к!р = к® = 0 через каждую

точку М проходит лишь одна линия кривизны 2-го рода, лежащая в плоскости 713 и совпадающая с одной из асимптотических. Конус касательных к асимптотическим линиям, проходящим через М, лежит в плоскости щ. Характеристическая точка М0 плоскости я3 принадлежит конусу касательных к асимптотическим линиям. Асимптотическая линия, касающаяся ММ0, представляет собой пространственную кривую.

• Для неголономного конуса класса к^ = к^ = к^ = 0 асимптотическая

линия, касающаяся прямой ММ0, сама является прямой, а касательная плоскость Яз вдоль нее меняет свое положение.

• Для неголономного цилиндра класса к'2^ - к?^ = к?^ = 0 в общем случае,

1 2 3

как и для неголономного конуса, через каждую точку М проходят асимптотические линии, касательные которых образуют конус 2-го порядка, лежащий в плоскости щ. Единственная линия кривизны 2-го рода является одновременно асимптотической линией и эквидирекционной. Но для неголономного цилиндра в Е4 важной является теорема в целом: Теорема. Существует единственный неголономный цилиндр класса = = ¡¿р = 0 с постоянным тензором неголономности и прямыми линиями

тока нормалей.

Уравнение Пфаффа, соответствующее данному неголономному цилиндру, в некоторой неподвижной системе координат имеет вид

sin(2p3y — 2p2z)dx — cos(2p3y- 2p2z)dt = 0, p3 = const, p2 = const, p1 = 0.

Замечание. Для данного неголономного цилиндра имеем Ki=K2-0 и, тем не менее (в отличие от Е3 ) распределение остается неголономным. Это объясняется тем, что в Е4 зависимость между полными кривизнами 1-го и 2-го рода имеет вид

Kz = - (Р1)2^ - ip2Ykf - (p*)2kf\

где р1, р2,р3' компоненты тензора неголономности. То есть, если

распределение голономно, то К,=К2 (как и в Е3 ). Но если К,=К2, то это не является признаком голономности распределения в Е4 .

Подробно исследована геометрия неголономного цилиндра, о котором идет речь в теореме.

• Дано сравнение геометрии НТ-2 в Е4 с геометрией его голономного аналога.

Четвертая глава посвящена изучению геометрии неголономных торсов 1-го рода (НТ-1) в четырехмерном евклидовом пространстве Е4 . К ним относятся торсы, для которых равна нулю полная кривизна 1-го рода {Kj=0).

• НТ-1 в Е4 (также как и НТ-2 в Е4 ) делятся на три класса: I) НТ-2, для которых только одна главная кривизна второго рода равна нулю (к^ Ф О,

к^ Ф 0, к^ = 0); П) НТ-2, для которых две главные кривизны 2-го рода

нули, а третья отличная от нуля (к^ Ф 0 к^ = к^1"* = 0); III) НТ-2, для

которых все три главные кривизны 2-го рода имеют нулевое значение^« = kf} = k£1} = 0>

• Класс I) содержит три вида НТ-1: а)к^ = Ф к^ sign kf} Ф sign kf};b)k(31} = 0, kf} Ф sign kf} = sign kf}; c)

• В случае а) через каждую точку М проходит три взаимно ортогональных линий кривизны 1-го рода. Конус касательных к асимптотическим линиям распадается на пару двумерных плоскостей, пересекающихся по прямой Ь, совпадающей с касательной к одной из линий кривизны 1-го рода. Две другие линии кривизны 1-го рода делят пополам углы между асимптотическими линиями, касательные к которым лежат в двумерной плоскости ть> проходящей через М ортогонально Ь. Нормали НТ-1 меняют своё направление при движении точки по прямой Ь.

• В случае Ь) через точку М проходит только одна вещественная асимптотическая линия, нормали НТ-1 вдоль которой меняет свое направление.

• В случае с) через точку М (как и в случае Ь) проходит одна асимптотическая, совпадающая с одной из линий кривизны 1-го рода. Нормали НТ-1 вдоль этой линии меняют свое направление. Однако случай с) отличается от случая Ь) прежде всего тем, что через точку М проходят не три линии кривизны 1-го рода, а бесконечно много. Они заполняют двумерную плоскость, ортогональную асимптотической линии.

• Класс II) характеризуется тем, что через каждую точку М НТ-1 проходит множество асимптотических линий, касательные которых заполняют 2-мерную плоскость, совпадающую с плоскостью касательных к линиям кривизны 1-го рода. Нормаль НТ-1 при движении точки вдоль данной плоскости меняет свое направление.

• Для НТ-1 классов I и II дана сравнительная характеристика неголономной геометрии с ее голономным аналогом.

• Класс III) можно назвать неголономной гиперплоскостью, так как в голономном случае мы имеем слоение, слоями которого будут параллельные гиперплоскости.

Для этого класса доказана теорема о существовании в целом.

Теорема. В четырехмерном евклидовом пространстве существует единственная (с точностью до постоянной) неголономная гиперплоскость.

Уравнение Пфаффа, определяющее кривые неголономной гиперплоскости в некоторой неподвижной декартовой системе координат имеет вид ¿Уа, = с(УзЙУ2 ~Уг<1Уг),

где с=с0/м#0. Всякая кривая неголономной гиперплоскости является асимптотической линией, а всякое направление плоскости л2 - главным направление 1-го рода. Через каждую точку М проходит одна линия кривизны 2-го рода, представляющая собой прямую линию. Линии тока векторного поля нормалей неголономной гиперплоскости - это винтовые линии, лежащие в трехмерной плоскости 7г|, ортогональной линии кривизны 2-го рода.

• Распределения, ортогональные векторным полям главных нормалей и бинормалей винтовых линий, голономны. А потому в первом случае Е4 расслаивается на семейство трехмерных цилиндров + Уз = Ь2 с 2-

мерными плоскостными образующими. Во втором случае Е4 расслаивается на семейство трехмерных цилиндров

Уз =У2*9(сУ4 ""г).

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

Уз =У2?£?(сУ4 -тл),

У1 = ьх.

Основные результаты работы

Исследована геометрия неголономных торсов в трехмерном и четырехмерном евклидовых пространствах.

1. Понятия неголономных торсов 1-го и 2-го рода в трехмерном и четырехмерном евклидовых пространствах.

2. Классификация неголономных торсов 1-го и 2-го рода в Е3 и Е4.

3. Особенности геометрии инвариантных линий для каждого класса неголономных торсов.

4. Теоремы о существовании частных видов неголономных торсов, в том числе и теоремы, определяющие некоторые виды неголономных торсов в целом.

Благодарности

Выражаю огромную благодарность своему научному руководителю, кандидату физ.-мат. наук, доценту кафедры геометрии ТГУ Оншцук Надежде Максимовне. Благодарю за чуткое руководство, незаменимую помощь и моральную поддержку при написании диссертационной работы, что позволило мне в достаточно сжатые сроки провести большой объем работ, результат которых представлен на защиту.

Литература

1. Алшибая Э.Д. К геометрии распределений гиперплоскостных элементов в аффинном пространстве.// Тр. геометр, семинара. - ВИНИТИ АН СССР. 1974. Т.5. С.169-193.

2. Аминов Ю.А. Геометрия векторного поля. М.: Наука, 1990.

3. Афонин A.A., Козлов В.В. Задача о падении диска, движущегося по горизонтальной плоскости//Изв. РАН. Механика твердого тела, 1997. №1. С. 7-13.

4. Близникас В.И. Дифференциальная геометрия неголономной гиперповерхности риманова пространства // Liet. Mat. Rinkinys, Лит. Мат.сб. 1971. Т.П. №1. С.63-74.

5. Близникас В.И. О неголономной поверхности трехмерного пространства проективной связности. // Тр. Геометр. Семинара. ВИНИТИ АН СССР. 1971. Т.З. С.115-124.

6. Вагнер В.В. Дифференциальная геометрия неголономных многообразий // VIII-ой Международный конкурс на соискание премии им. Н.И. Лобачевского (1937). Отчет. Казань: Казанское физ. - мат. Общество. 1940.

7. Вагнер В.В. Геометрическая интерпретация неголономных динамических систем.// Тр. семинара по векторному и тензорному анализу. ОГИЗ, 1941. Вып.V. С. 301-327.

8. Васильева О.В. Неголономные поверхности двойного вращения в четырехмерном евклидовом пространстве.// Изв. Вузов. Математика. Казань. Изд-во КГУ. 2006. №6 (529). С.3-13.

9. Вершик А.М., Гершкович В.Я. Неголономные динамические системы. Геометрия распределений и вариационные задачи.// Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. 1987. Т.16. С.13.

10. Герц Г.Р., Принципы механики, изложенные в новой связи. М.: АН СССР, 1959, 386с.

11. Денева Соня. О неголономной задаче качения твердого тела по поверхности.// Гос. Софийский ун-т. Фак. Мат. Инф. Мех-ки. 1988 (1992). №82. С. 111-134.

12. Дубровин Б.А., Новиков С.П., Фоменко А.Т. Современная геометрия. М.: Наука, 1979. С.683.

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

14. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии. М., 1981. Т.1 347с.

15. Лаптев Г.Ф. Дифференциальная геометрия погружных многообразий // Труды Московского математического общества. М: ГИТТЛ.1953. Т.2 355е.

16. Лаптев Г.Ф. Распределение касательных элементов. // Труды геометрического семинара. ВИНИТИ АН СССР. 1971. Т.З. С.29-48.

17. Монж Г. Приложения анализа к геометрии. М.; Л.: Объединенное научно-техническое изд-во, 1936.699с.

18. Мясников В.П., Гузев М.А. Геометрическая структура поля равновесных напряжений сплошной среды. Модели механики сплошной среды: Тр. Математического центра им.Н.И. Лобачевского. Казань, 2002. Т.15.С.126-151.

19. Оншцук Н.М. Геометрия векторного поля в четырехмерном евклидовом пространстве.// Междунар. Конф. По математике и механике: Избр. доклады. Томск, 2003. С.60-68.

20. Оншцук Н.М. Геометрия векторного поля в четырехмерном евклидовом пространстве.// Вестник Томского гос. ун-та (Математика и Механика), №3(4), 2008. С.10-21.

21. Остиану Н.М. Распределение гиперплоскостных элементов в проективном пространстве// Тр. Геометр. Семинара. ВИНИТИ АН СССР 1973. Т.4. с. 71 -120.

22. Павлов Г.В., Бородин B.C. Движение диска по внутренней поверхности неподвижного вертикального цилиндра.//Изв. РАЕН. Сер. МММИУ. 2000. Т.4, №4. С. 82-92, 162.

23. Рашевский П.К. Геометрическая теория уравнений с частными производными. М. -Л.: ГИТТЛ, 1947. 354с.

24. Рашевский П.К. Курс дифференциальной геометрии. 4-ое изд. ГИТТЛ: Москва, 1956, 420с.

25. Рашевский П.К. Тензорная дифференциальная геометрия.// Математика в СССР за 30 лет 1917-1947. М.-Л.: ГИТТЛ, 1948. С.883-918.

26. Роговой М.Р. К метрической теории неголономных гиперповерхностей в и-мерном пространстве.// Укр. Геом. Журнал. 1968. №5-6. С. 126-138.

27. Синцов. Д.М. Работы по неголономной геометрии. Киев: Вшца школа, 1972.296с.

28. Слухаев В.В. Двойное поле и цилиндрическое течение жидкости// Сиб. Матем. журнал. 1966. Т. VII/ №5. С. 1115-1129.

29. Слухаев В.В. Геометрия векторных полей. Томск, 1982.96с.

30. Степанов С.Е. Сферическое распределение в евклидовом пространстве// Известия вузов. Математика, КГУ. С. 76-78.1986, №9.

31. Столяров A.B. Двойственная теория регулярного распределения гиперплоскостных элементов в пространстве проективной связности.// Известия вузов. Математика. 1980. №1 С. 79-82; II Известия вузов. Математика 1980. №2 С. 84-87.

32. Уорнер. Основы теории гладких многообразий и групп Ли. М.: Мир, 1987. 304с.

33. Фиников С.П. Метод внешних форм Картана М.- Л. ГИТТЛ, 1948.432с.

34. Хартман Ф. Обыкновенные дифференциальные уравнения. М.: МИР, 1970, 720с.

35. Щербаков Р.Н., Щербаков Н.Р. Неголономная геометрия. Томск: томский университет, 2005.115с.

36. Bortolotti Е. Geomempua proiettiva differenziale della superficial anholonome.// Atti dei Congresso dele' Unione Matem. Jtaliana. Firenze. 1937. P.305-311.

37. Carateodory C. Untersudungen über die Grundlagen der Thermodinamic// Math. Ann. 1909. Bd67. S. 355-386.

38. Schouten J. A. Zur Einbettung und Krummungstheorie nichtholonomer Gebilde// Math.Ann.1930. №103. S.752-783.

39. Synge J.-L. Geometrische in non-holonomic geometry//Math.Ann.l928.№99. P.738-751.

40. Voss A. Geometrische Interpretation der Differentialgleichung Pdx+Qdy+Rdz=0// Math.Ann. 1880.№16. S. 556-570.

41. Vranceanu G.Les espaces non holonomes et leurs applications mechaniques.// Met. Sei math. 1936.№76. P. 1-70.

Статьи автора в изданиях, рекомендованных ВАК РФ для публикации основных результатов исследования

[1] Цоколова (Саранских), О.В. Минимальные неголономные торсы 2-го рода/Н.М. Оншцук, О.В. Цоколова (Саранских)// Вестник Томского государственного университета. Математика и механика. - 2009. - № 3(7). - С. 42-55.

[2] Цоколова (Саранских), О.В. Неголономные торсы 2-го рода/Н.М. Оншцук, О.В. Цоколова (Саранских)// Вестник Томского государственного университета. Математика и механика.-2011.-№ 1(13). - С. 31-43.

[3] Цоколова (Саранских), О.В. Неголономные торсы 1-го рода в четерехмерном евклидовом пространстве/ Н.М. Оншцук, О.В. Цоколова (Саранских)// Вестник Томского государственного университета. Математика и механика. - 2011. - № 3(15). -С. 32-40.

[4] Цоколова (Саранских), О.В. Неголономные торсы 1-го рода/О.В. Цоколова (Саранских)// Известия высших учебных заведений. Математика. - 2012. - № 3. -С. 51-61.

[5] Цоколова (Саранских), О.В. Неголономные торсы 2-го рода в четырехмерном евклидовом пространстве/ О.В. Цоколова (Саранских) // Вестник Томского государственного университета. Математика и механика. — 2012. - № 2(18). - С. 3351.

Статьи в сборниках научных трудов и тезисов докладов на научно практических конференциях

[6] Цоколова (Саранских) О.В. О неголономных торсах второго рода/ О.В. Цоколова (Саранских) // Научная студенческая конференция, посвященная 130-летию Томского государственного университета и оО-лётию механико-математического факультета. -Томск: ТГУ, 2008. - С. 33-34.

[7] Цоколова (Саранских) О.В. Классификация неголономных торсов 2-го рода/ О.В. Цоколова (Саранских) // Молодежная научная конференция Томского государственного университета. - Томск: ТГУ, 2010. - С. 345-347.

[8] Цоколова .(Саранских) О.В. Двумерные неголономные распределения в трехмерном евклидовом пространстве/ О.В. Цоколова (Саранских) // Студенческая конференция механико-математического факультета Томского государственного университета. - Томск: ТГУ, 2010. - С. 10-12.

[9] Цоколова (Саранских) О.В. Неголономные торсы 1-го рода/ О.В. Цоколова (Саранских) // Научная конференция с международным участием «Геометрия многообразий и её приложения». - Улан-Удэ: БГУ, 2010. - С. 50-57.

[10] Цоколова (Саранских) О.В. Неголономные конусы и цилиндры/ О.В. Цоколова (Саранских) // Всероссийская школа-конференция по геометрии и анализу. -Кемерово: КГУ, 2011. - С. 1-3.

[11] Цоколова (Саранских) О.В. Неголономные торсы 1-го рода в четырехмерном евклидовом пространстве/ О.В. Цоколова (Саранских) // Труды математического центра им. Н.И. Лобачевского. Лобачевские чтения, 2011. - Казань, 2011. - Т. 44. -С. 314-316.

[12] Саранских О.В. Неголономные торсы/ О.В. Цоколова (Саранских) // Всероссийский конкурс научно-исследовательских работ студентов и аспирантов в области математических наук: сборник работ победителей. - Ульяновск, 2012. - С. 3033.

Издание подготовлено в авторской редакции.

Отпечатано на оборудовании Издательского Дома Томского государственного университета, 634050, г. Томск, пр. Ленина, 36, тел. (3822) 531-528, 529-849. E-mail: rio.tsu@mail.ru Заказ 333. Тираж 100 экз.

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

ТОМСКИМ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

На правах рукописи УДК 514.752

04201459392

САРАНСКИХ ОЛЬГА ВЯЧЕСЛАВОВНА

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

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

Диссертация на соискание учёной степени кандидата физико-математических наук

Научный руководитель кандидат физико-математических наук доцент Онищук Надежда Максимовна

Томск 2013

(

Оглавление

ВВБДБНИБ 5 ГЛАВА I

НЕГОЛОНОМНЫЕ ТОРСЫ 2-ГО РОДА В ТРЕХМЕРНОМ

ЕВКЛИДОВОМ ПРОСТРАНСТВЕ 27

1. Неголономные торсы 2-го рода для которых средняя кривизна Н Ф 0 29

§1. Основные формулы для НТ-2. 29

§2. Асимптотические линии и линии кривизны 2-го рода для НТ-2 .

§3. Линии кривизны 1-го рода для НТ-2 . 34

§4. Множество плоскостей распределения для НТ-2. зб

§5. НТ-2 общего вида. зэ

§6. Неголономные конусы. 40

§7. Неголономные цилиндры. 43

2. Минимальные неголономные торсы 2-го рода 49

§1. Основные формулы для минимальных неголономных торсов 2-

ГО рОДа. 49

§2. Классификация минимальных неголономных торсов 2-го рода.

§3. Минимальные неголономные торсы 2-го рода общего вида. 52 §4. Минимальные неголономные конусы. 56

§5. Минимальные неголономные цилиндры. бо

ГЛАВА II

НЕГОЛОНОМНЫЕ ТОРСЫ 1-ГО РОДА В ТРЕХМЕРНОМ ЕВКЛИДОВОМ ПРОСТРАНСТВЕ 69

§ 1. Канонический репер для НТ-1 общего вида. 69

§2. Асимптотические линии и линии кривизны 1-го рода для НТ-1.

§3. Линии кривизны 2-го рода для НТ-1. 75

§4. Эквидирекционные линии векторного поля нормалей НТ-1. 76 §5. Неголономная плоскость. п

§б. Векторное поле нормалей неголономной плоскости. 81

ГЛАВА III

НЕГОЛОНОМНЫЕ ТОРСЫ 2-ГО РОДА В ЧЕТЫРЕХМЕРНОМ ЕВКЛИДОВОМ ПРОСТРАНСТВЕ 84

I. Неголономные торсы 2-го рода, для которых только одна главная кривизна 2-го рода равна нулю. 89

§1. Главные кривизны2-го рода для НТ-2 общего вида. Линии

КрИВИЗНЫ ВТОрОГО рода. 89

§2. Множество плоскостей 7гЗ для НТ-2 с одной нулевой главной кривизной 2-го рода. 91

§3. Канонический репер для НТ-2 класса 92

к§ = 0, к| Ф 0, к| Ф 0 общего вида. Основные формулы. 92

§4. Асимптотические линии НТ-2 общего вида. эз

§5. Неголономный конус класса = 0, к\ Ф 0,/с| ^ 0. 96

§6. Неголономный цилиндр класса 97

= 0, к} Ф 0,/с| Ф 0. 97

§7. Сравнение геометрии неголономного торса 2-го рода класса = 0, Ф 0, Ф 0 с геометрией его голономного аналога. 98

II. Неголономные торсы 2-го рода, для которых только одна главная кривизна 2-го рода не равна нулю. 100

§1. Линии кривизны 2-го рода для НТ-2 класса к\ Ф 0Д| = к\ = 0. юо

§2. Основные формулы для НТ-2 класса Ф 0, /с| = к\ - 0. 102

§3. Множество касательных плоскостей НТ-2 класса 0,/с| =

к\ = 0 юз

§4. Асимптотические линии НТ-2 класса к\ ф 0Д| = /с| = 0. юз

2 2 2

§5. Неголономные конусы класса кг Ф 0,к3 = к2 = 0. юб

§6. Неголономные цилиндры класса к* Ф 0, к\ = к\ = 0. юб §7. Сравнение геометрии неголономного торса 2-го рода к\ Ф

О, к\ = к\ — 0 с геометрией его голономного аналога. ш

III. Неголономные торсы 2-го рода, для которых все главные кривизны 2-го рода равны нулю (к\ = к\ = = 0). 109

§1. Канонический репер для НТ-2 класса к\ = /с| = к\ = 0. Основные

формулы. 109

§2. Асимптотические линии и линии кривизны 2-го рода НТ-2

класса = /с| = /с| = 0 общего вида. ш

§3. Неголономный конус класса = /с| = = 0. 112

§4. Неголономные цилиндры класса/^ = к\ — Щ = 0. из

ГЛАВА IV 121

НЕГОЛОНОМНЫЕ ТОРСЫ 1-ГО РОДА В ЧЕТЫРЕХМЕРНОМ ЕВКЛИДОВОМ ПРОСТРАНСТВЕ 121

§1. Репер отнесенный к линиям кривизны 1-го рода. Основные

формулы. 121

§2. Классификация неголономных торсов 1-го рода. 124

§3. Неголономные торсы 1-го рода, для которых только одна из главных кривизн 1-го рода равна нулю. 125

§4. Неголономные торсы 1-го рода, для которых только одна из главных кривизн 1-го рода не равна нулю. 131

§5. Неголономные гиперплоскости. 133

ЛИТЕРАТУРА

138

Введение

Актуальность темы. Со времен Г. Монжа [17] дифференциальная геометрия развивалась в тесной связи с развитием теории дифференциальных уравнений. Постепенно теория дифференциальных уравнений превратилась в самостоятельную математическую дисциплину, лишь время от времени использующую язык дифференциальной геометрии для придания наглядности определенным результатам.

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

Термин «неголономная геометрия» введен немецким механиком Г. Герцем в 1894 году в работе «Принципы механики» [10], где при решении задачи механического характера он получил не вполне интегрируемые дифференциальные уравнения. Но первая работа, в которой рассматривается геометрия интегральных кривых не вполне интегрируемого уравнения Пфаффа

Р(х, у, г)<1х + @ (х, у, г)Ау + Д (х, у, г)йг = О в евклидовом пространстве появилась в 1880 году. Ее автор -немецкий математик и механик А. Фосс [40]. Им было замечено «раздвоение» свойств характерных для неголономной геометрии. Появились линии кривизны 1-го и 2-го рода, геодезические «прямейшие» и «кратчайшие».

До конца 20-х годов XX века количество работ в области неголономной геометрии было незначительным. С 1926 года стали появляться работы Д.М. Синцова, впоследствии вошедшие в сборник [27]. Серьезные результаты по неголономной геометрии в ее связи с механикой принадлежат Г. Врэнчану [41], Дж. Сингу [39], И.А. Схоутену [38], В.В. Вагнеру [6], [7], Каратеодори [37] и другим выдающимся математикам и физикам предвоенного времени. В СССР в те годы неголономную проблематику пропагандировал В.Ф. Каган. Он предложил в 1937 году тему, связанную с неголономной геометрией на премию им. Н.И. Лобачевского. Премия была присуждена В.В. Вагнеру. Но в 1948 году П.К. Рашевский, высоко оценив работу В.В. Вагнера, говорил о необходимости заполнения общей теории конкретным содержанием [25]. Заметим, что работы по неголономной геометрии 40-х годов XX века (см. например, [6], [7]) трудно читаемы в силу отсутствия в то время ясных понятий, относящихся к данной области математики. Да и методы исследования были слишком громоздки. Методы, разработанные Э. Картаном [13] и С.П. Финиковым [33] позволили сделать доказательства более прозрачными. Начиная с шестидесятых годов прошлого столетия, появилось довольно много работ, относящихся к неголономной геометрии (см., например, [16], [26], [4], [5], [1], [21], [31], [29]). Достаточно полный перечень работ, относящихся к линейчатой неголономной геометрии содержится в [35].

С течением времени менялась терминология. Совокупность интегральных кривых не вполне интегрируемого уравнения Пфаффа Э. Бортолотти [36] назвал неголономной поверхностью. Этот термин использовали после него и другие авторы (см., например, [26]), понимая, что «неголономная поверхность» не является поверхностью, даже если уравнение Пфаффа вполне

интегрируемо. Но в последнем случае пространство расслаивается на однопараметрическое семейство поверхностей. Использовался также термин «Пфаффово многообразие» (см. [29]).

Изменилась терминология в связи с использованием идей неголономной геометрии на и-мерных гладких многообразиях 9ЯП. Появилось понятие /с - мерного распределения как гладкого отображения, сопоставляющего всякой точке х е ЭД?П /с-мерное подпространство касательного пространства ТхЯЛп ([9], [12], [16], [31], [32]).

По /с-мерному распределению однозначно определяется система из (п-к) независимых уравнений Пфаффа. Распределение называется голономным, если система уравнений Пфаффа вполне интегрируема [23], то есть если через каждую точку х £ 9ЯП проходит /с-мерное интегральное многообразие, которое в каждой своей точке касается плоскости распределения. В этом случае на Шп возникает /с-мерное слоение [12], то есть через каждую точку л: е 9КП проходит одно /с-мерное многообразие, гладко зависящие от точки многообразия (см. классическую теорему Фробениуса [23], [34]).

Заметим, что в евклидовом пространстве 1ЕП геометрия гладкого (п-1 ^-мерного распределения тесно связана с геометрией векторного поля. Действительно, если задано гладкое векторное поле без особых точек (то есть задано гладкое отображение, сопоставляющие каждой точке М еЕп вектор у), то по нему определяется единственное (п-1)-

мерное распределение, сопоставляющее точке М гиперплоскость 7гп_1 ортогональную вектору v в этой точке. И, наоборот, по распределению определяется векторное поле V, где V - единичный вектор, ортогональный 7гп_1 . Таким образом, существует тесная связь между неголономной геометрией и геометрией векторного поля. Эта связь хорошо прослеживается в работах [2] и [29].

Векторные поля находят свое приложение при изучении поля скоростей потоков жидкости [28]. Они появились в общей теории относительности. Векторные поля постоянной длины используются при описании жидких кристаллов и ферромагнетиков [2], [18].

Все больше появляется работ по механике, нуждающихся в неголономной геометрии [3], [11], [22] и др. Их больше в последнее время, чем математических работ в этой ветви геометрии. Особенно не хватает детальных исследований частных видов неголономных распределений.

Цель работы. Данная работа посвящена изучению геометрии неголономных гиперраспределений частного вида в трёх- и четырехмерном евклидовых пространствах и относится к локальной

дифференциальной геометрии. Несколько теорем имеет глобальный характер.

Поясню происхождение названия работы. Из теории поверхностей известно, что развертывающиеся поверхности (торсы) характеризуются обращением в нуль гауссовой кривизны К . В неголономной геометрии гауссова кривизна К «раздваивается» на две: полную кривизну 1-го рода Кг и полную кривизну 2-го рода К2 ([2], [27], [29]). Неголономное распределение, для которого Кг = 0, естественно назвать неголономным торсом 1-го рода (НТ-1), а для которого К2 = 0 - неголономным торсом 2-го рода (НТ-2). Если распределение голономно, то Кг = К2 = К = 0, и мы получим слоение, слоями которого будут торсы. Неголономные торсы 1-го рода и 2-го рода имеют разную геометрию и требуют отдельного исследования.

Работа состоит из четырех глав. В первой главе рассматриваются неголономные торсы 2-го рода в Е3. Во второй -неголономные торсы 1-го рода в Е3. В третьей и четвертой главах неголономные торсы 2-го и 1-го рода в Е4 соответственно.

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

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

• Дана классификация неголономных торсов 1-го и 2-го рода в Е3 и 1Е4 в зависимости от значений главных кривизн 1-го и 2-го рода.

• Доказаны теоремы о существовании ряда частных видов неголономных торсов. Некоторые из этих теорем являются теоремами о существовании в целом частных видов неголономных торсов.

• Исследованы линии тока векторного поля нормалей неголономных торсов.

Методика исследования. Работа выполнена методом внешних форм Картана с использованием подвижного репера [33].

Практическая и теоретическая ценность.

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

Степень достоверности результатов.

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

На защиту выносятся следующие положения.

1. Понятия неголономных торсов 1-го и 2-го рода в трехмерном и четырехмерном евклидовых пространствах.

2. Классификация неголономных торсов 1-го и 2-го рода в Ж3 и Е4.

3. Особенности геометрии инвариантных линий для каждого класса неголономных торсов.

Личный вклад автора. Постановка задач в работе принадлежит научному руководителю кандидату физико-математических наук доценту Онищук Н.М. Все результаты, приведенные автором в тексте диссертации, получены им самостоятельно. Исключение составляет теорема о неголономной гиперплоскости в третьей главе диссертации, доказанная руководителем.

Апробация работы. Результаты диссертации докладывались на Научной студенческой конференции, посвященной 130-летию Томского гос. ун-та и 60-летию механико - математического факультета (Томск, 2008); на Молодежной научной конференции Томского гос. ун-та (Томск, 2010); на Студенческой конференции ММФ ТГУ (Томск, 2010); на Научной конференции с международным участием: Геометрия многообразий и ее приложения (г. Улан-Удэ, БГУ, 2010г.); на Всероссийской школе -конференции по геометрии и анализу (г. Кемерово, 2011г.); на Всероссийской научной школе - конференции «Лобачевские чтения» (Казань, 2011); на Всероссийском конкурсе научно-исследовательских работ студентов и аспирантов в области математических наук (Ульяновск, 2012). Кроме того, все основные результаты докладывались неоднократно и обсуждались на семинарах кафедры геометрии Томского государственного университета. По теме диссертации имеется 12 публикаций.

Структура и объем работы. Представляемая диссертационная работа состоит из введения, четырех глав и списка литературы. Полный объем диссертации составляет 146 страниц.

Первая глава посвящена изучению геометрии неголономных торсов 2-го рода (НТ-2) в трехмерном евклидовом пространстве 1Е3. К

ним относятся торсы, для которых равна нулю полная кривизна 2-го рода (К2 = 0).

НТ-2 в Ш3 делится на два класса: 1) торсы, для которых только одна из главных кривизн 2-го рода равна нулю; 2) торсы, для которых обе главные кривизны 2-го рода равны нулю. Так как во втором случае средняя кривизна if равна нулю, то их можно назвать минимальными неголономными торсами 2-го рода (МНТ-2). Кроме того, каждый из этих классов (аналогично голономному случаю) делится на три вида: НТ-2 общего вида, неголономные конусы и цилиндры.

Заметим, что для произвольного двумерного распределения А: М -» 7г2 в Е3 множество плоских элементов (М, п2) («график» распределения) представляет собой трехмерное многообразие. Множество плоскостей п2 в общем случае зависит от трех параметров. Однако для НТ-2 множество плоскостей п2 зависит лишь от двух параметров. Для НТ-2 общего вида множество плоскостей огибает гладкую двумерную поверхность, состоящую из особых точек М0 распределения. Для неголономного конуса все плоскости 7г2 проходят через одну точку М0 (особую точку). Для неголономного цилиндра плоскости п2 параллельны одной прямой, неголономный цилиндр особых точек не имеет.

Для всякого НТ-2 через каждую точку М (кроме особой М0) проходят две асимптотические линии, угол а между которыми определяется формулой

2 Н

cos а = . —

д/4 Я2 + р2

(где Н - средняя кривизна, р- скаляр неголономности), из которой следует: для МНТ-2 асимптотические ортог�