Применение пакетов аналитических вычислений для исследования свойств инвариантных тензорных полей на группах Ли тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат физико-математических наук Воронов, Дмитрий Сергеевич

• Воронов, Дмитрий Сергеевич
• кандидат физико-математических наук
• 2011

Оглавление диссертации кандидат физико-математических наук Воронов, Дмитрий Сергеевич

Оглавление

Введение

1 Использование математических пакетов в решении некоторых задач римановой геометрии

1.1 Система аналитических вычислений Maple

1.2 Пакеты встроенных процедур linalg и LinearAlgebra

1.3 Система аналитических вычислений Mathematica

1.4 Использование систем компьютерной математики в решении некоторых задач римановой геометрии

1.4.1 Применение пакета Maple в решении задачи о сигнатуре оператора одномерной кривизны

1.4.2 Применение пакетов Maple и Mathematica в решении задачи о гармоничности тензора Вейля

2 Сигнатура оператора одномерной кривизны левоинвариант-ных римановых метрик

2.1 Левоинвариантные римановы метрики на группах Ли

2.2 Оператор одномерной кривизны на трехмерных группах Ли с левоинвариантной римановой метрикой

2.3 О сигнатуре оператора одномерной кривизны на трехмерных унимодулярных группах Ли

2.4 О сигнатуре оператора одномерной кривизны на трехмерных неунимодулярных группах Ли

3 Группы Ли с левоинвариантной римановой метрикой и гар-

моническим тензором В ей ля

3.1 Левоинвариантные римановы метрики на четырехмерных группах Ли

3.2 Левоинвариантные римановы метрики с гармоническим тензором Вейля

3.2.1 Левоинвариантные римановы метрики с гармоническим тензором Вейля на четырехмерных унимодуляр-ных алгебрах Ли

3.2.2 Левоинвариантные римановы метрики с гармоническим тензором Вейля на четырехмерных неунимоду-лярных группах Ли

Заключение

Литература

Приложения

Приложение 1

Приложение 2

Приложение 3

Введение диссертации (часть автореферата) на тему «Применение пакетов аналитических вычислений для исследования свойств инвариантных тензорных полей на группах Ли»

Введение

Системы аналитических вычислений применяются в различных областях науки и техники. Наиболее широкое применение получили универсальные математические системы, такие как Maple, Mathematica, MathCad, MatLab, Derive и другие. Они предоставляют дополнительные возможности для специалистов разных областей, с их помощью быстрее и проще решать трудоемкие научные задачи.

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

Современная геометрия, также как и другие области математики, привлекает новейшие компьютерные технологии для решения своих задач. Существуют подтверждения эффективности использования программного обеспечения не только при решении численных задач, но и при доказательстве теорем. Например, с помощью пакетов аналитических вычислений О.Г. Вагина и М.И. Кабенюк в [1] дали короткое доказательство теоремы о покрытии плоскости равносторонними пятиугольниками. К. Аппель (К. Appel) и В. Хакен (W. Haken) доказали знаменитую проблему топологии о четырех красках [18, 19]. Стоит отметить работы JI.H. Чибриковой [16] и О.П. Гладу-новой [3] в области (псевдо)римановой геометрии и работы Ю.В. Никоноро-вой [11] и В.В. Джебко [4] в области дифференциальной геометрии, теории многообразий Эйнштейна.

Известны результаты А. Г. Крем лева и Ю.Г. Никонорова [6, 7] по классификации сигнатур кривизны Риччи на четырехмерных группах Ли с левоин-вариантными римановыми метриками, являющиеся своеобразным продолжением классической работы Дж. Милнора [21] по классификации сигнатур кривизны Риччи на трехмерных группах Ли.

Пакеты прикладных программ использовались для исследования однородных римановых пространств. В этом направлении известны результаты Ю.Г. Никонорова по классификации однородных эйнштейновых многообразий [9, 10] и Е.Д. Родионова и В.В. Славского по оценкам кривизн левоин-вариантных римановых метрик на группах Ли [14, 22, 23].

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

Целями диссертационной работы являются:

1. Создание новых алгоритмов и программ в среде пакета Maple и Mathe-matica для нахождения и исследования инвариантных тензорных полей на группах Ли.

2. Исследование вопроса о возможных сигнатурах оператора одномерной кривизны левоинвариантных римановых метрик на трехмерных группах Ли.

3. Классификация четырехмерных групп Ли с левоинвариантными римановыми метриками и гармоническим тензором Вейля.

Основные задачи работы:

1. Разработка алгоритмов для вычисления компонент тензоров одномерной кривизны и кривизны Риччи, Римана, а также компонент тензора Вейля

и его дивергенции для левоинвариантных римановых метрик на группах Ли.

2. Исследование возможных сигнатур оператора одномерной кривизны трехмерных групп Ли с левоинвариантными римановыми метриками.

3. Классификация четырехмерных групп Ли с левоинвариантными римановыми метриками и гармоническим тензором Вейля.

Исследование каждой из задач, представленных в диссертации, проводилось по следующему плану. Первоначально строилась удобная для вычислительной работы модель исследуемого объекта. Далее создавались программы для реализации в системах аналитических расчетов Maple и Mathematical Следующий этап был посвящен анализу и истолкованию полученных результатов. После чего делался вывод о структуре изучаемого объекта и о возможности уточнения модели.

Объект исследования — трехмерные и четырехмерные группы Ли с левоинвариантными римановыми метриками и инвариантные тензорные поля на них.

Предмет исследования — компьютерные модели, алгоритмы, программы для изучения групп Ли размерностей 3 и 4 с левоинвариантными римановыми метриками и инвариантными тензорными полями заданного типа: тензором одномерной кривизны, тензором Вейля, дивергенцией тензора Вейля.

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

Основные положения, выносимые на защиту:

1. Пакет программ, написанных в среде Maple и Mathematical для вычисления основных характеристик групп Ли, исследуемых в диссертации.

2. Определение возможных сигнатур оператора одномерной кривизны трехмерных групп Ли с левоинвариантными римановыми метриками.

3. Классификация четырехмерных групп Ли с левоинвариантными рима-новыми метриками и гармоническим тензором Вейля.

Научная новизна работы. В данной диссертационной работе разработаны алгоритмы и программы в системах аналитических вычислений Maple и Mathematica для нахождения инвариантных тензорных полей на группах Ли с левоинвариантными римановыми метриками.

С помощью разработанных программ получены новые результаты в теории инвариантных тензорных полей на группах Ли малых размерностей. Впервые

1) определены сигнатуры оператора одномерной кривизны, реализуемые на трехмерных алгебрах Ли, группы Ли которых наделены левоинвариантными римановыми метриками;

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

3) разработан комплекс программ для определения и исследования спектра оператора одномерной кривизны.

Теоретическая и практическая значимость. Результаты диссертации являются новыми, имеют теоретическое и практическое значение и могут быть использованы в дальнейших исследованиях инвариантных тензорных полей на конечномерных группах Ли, при изучении свойств (псев-до)римановых пространств Эйнштейна, связанных с общей теорией относительности А.Эйнштейна. Кроме того, результаты диссертации могут найти применение в теории однородных пространств, теории дифференциальных операторов на многообразиях. С помощью пакетов символьных вычислений Maple и Mathematica решены задачи определения возможных сигнатур оператора одномерной кривизны на трехмерных алгебрах Ли групп Ли с левоинвариантными римановыми метриками, классификации четырехмерных групп Ли с левоинвариантными римановыми метриками и гармоническим

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

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

Апробация работы. Результаты диссертации были представлены на Двенадцатой региональной конференции по математике "МАК-2009"(Барнаул, июнь, 2009 г.); Международной конференции "Современные проблемы анализа и геометрии" (Новосибирск, 14—20 сентября 2009 г. ); XLVIII Международной научной студенческой конференции "Студент и научно-технический прогресс"(Новосибирск, 10—14 апреля 2010 г.); Тринадцатой региональной конференции по математике "МАК-2010" (Барнаул, июнь, 2010 г.); Международной школе-семинаре "Ломоносовские чтения на алтае"(Барнаул, 2010 г.); Международной научно-практической конференции "Математическое образование в регионах России"(Барнаул, 22 октября 2010 г.); XLIX Международной научной студенческой конференции "Студент и научно-технический прогресс"(Новосибирск, 16—20 апреля 2011 г.); Международной научной конференции (Волгодонск, 4-8 июля 2011 г.). Кроме того, все результаты диссертации в разное время докладывались на краевом семенаре по геометрии и математическому моделированию (Барнаул, АлтГПА, АлтГУ).

Работа выполнена при частичной поддержке РФФИ (К2 10-01-90000-Бел_а), ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг. (гос. контракт № 02.740.11.0457).

Публикации. По теме диссертации опубликовано 11 работ. Некоторые результаты получены в соавторстве с О.П. Гладуновой, Е.Д. Родионовым и В.В. Славским. Две работы опубликованы в научных журналах, определенных Высшей аттестационной комиссией.

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

Содержание диссертации

Первая глава диссертационной работы посвящена использованию математических пакетов в решении задач римановой геометрии. В первом разделе приводятся необходимые сведения о системе аналитических вычислений Maple. Во втором разделе дается краткое описание пакетов встроенных процедур linalg и Linear Algebra, используемых автором в процессе решения, указанных выше задач. В третьем разделе приводятся сведения о пакете символьных расчетов Mathematica. В четвертом разделе, на примерах решения задачи о сигнатуре оператора одномерной кривизны и задачи гармоничности тензора Вей ля, показано как можно применять пакеты аналитических вычислений в решении задач римановой геометрии. Описаны комплексы компьютерных моделей и алгоритмы, реализованные в пакетах символьной математики Maple и Mathematica и используемые при решении данных задач.

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

В первом разделе даются определения секционной и одномерной кривизн, тензора и кривизны Риччи, тензоров Римана и Вейля левоинвариантных римановых метрик и указываются формулы для их вычисления.

Пусть G — группа Ли со связностью Леви-Чивита V и левоинвариантной римановой метрикой (•, •), {д, [•, •]} — соответствующая алгебра Ли. Обозна-

чим, через тензор Римана, Шсс(Х,У) тензор Риччи,р скалярную

кривизну, А тензор одномерной кривизны и тензор Вейля.

Фиксируем в д ортонормированный базис {Е\, Е^,..., Еп}. Положим

[Ег, Еу] = с^Ек, {Ег, = д^,

где {<*} — структурные константы алгебры Ли, {д^} — компоненты метрического тензора.

Пусть = с^дк8у тогда символы Кристоффеля первого рода вычисляются по формулам

— Оггу)• (2.1.2)

Соответственно символы Кристоффеля второго рода имеют вид

Ц=Гыд>», (2.1.3)

где \\дкв|| есть матрица обратная к ||дь||-

Тогда формулу для вычисления тензора Римана можно представить в виде

Штт = 43Т\к - г;^ + (2.1.4)

Тензор Риччи и скалярную кривизну соответственно можно найти по формулам

Ялсс{к = ШтцЫдЭ\ р = Къссгкдгк. (2.1.5)

Тензор одномерной кривизны определяется следующим образом

д, = _±_ (Жссу _ . (2Л.6)

Тензор Вейля вычисляется по формуле

ЩзЫ = Ягт{]Ы--^—(Шссгкд^ + Шсс^к ~ Ягссцд^к - Ягсс]кди)-

ТЬ £

{дзкдц- д^дгк)- (2.1.7)

(п- 1)(п- 2) Ковариантные производные тензора Вейля равны

Щы,р = Т1ргШиы + Т1р]\¥гШ + Г1рк\¥т + Т1р^т. (2.1.8)

Второй раздел посвящен рассмотрению оператора одномерной кривизны на трехмерных группах Ли с левоинвариантной римановой метрикой. Приводятся необходимые сведения из теории групп Ли, вводятся необходимые определения раздела, формулируются теоремы классификации трехмерных унимодулярных и неунимодулярных групп и алгебр Ли основанные на работе Дж. Милнора (см. [21]).

Отождествим метрическую алгебру Ли с п-мерным евклидовым пространством. Рассмотрим оператор одномерной кривизны на алгебре.

Под сигнатурой оператора одномерной кривизны, действующего на п-мерной метрической алгебре Ли, будем понимать упорядоченный набор (sgn(rl),sgn(r2),..., sgn(rn)), где г\ < т<х < ... < тп - собственные значения оператора А, и sgn(x) означает знак (вещественного) числа х.

Занумеруем все возможные сигнатуры для трехмерного случая так, как это указано в таблице 6.

Таблица 1.

№ 1 2 3 4 5

Сигнатура (-- 0) (-,-,+) (-,о,о) (-,о,+)

№ 6 7 8 9 10

Сигнатура (0,0,0) (0,0,+) (0,+,+)

Теорема 2.2.1. (см. [21]) Пусть — трехмерная унимодулярная группа Ли с алгеброй Ли (-, •) — произвольное скалярное произведение на 0. Существует ортонормированный базис {Е\, £2, такой, что

[¿?1, Е2] = А3.Е3, [£2, £3] — \\Е1, [£3, Е\[ = Х2Е2. (2.2.9)

Здесь Аг 6 К. — структурные константы алгебры Ли г = 1,2,3.

Имеется ровно шесть неизоморфных трехмерных алгебр Ли и соответствующих им типов унимодулярных трехмерных групп Ли. Все они приведены в таблице 7 (см. [21]).

Таблица 2.

Случай Знаки (Ai, А2, А3) Группа Ли Алгебра Ли

1 SU(2) или SO(3) ви( 2) — простая, компактная

2 SL{2, R) или 0(1,2) й/(2, Я) — простая, некомпактная

3 +,+,0 Е( 2) е(2) — разрешимая

4 £(1,1) е(1,1) — разрешимая

5 +,0,0 Н — группа Гейзенберга к — нильпотентная

6 0,0,0 R&R&R Я3 — коммутативная

Теорема 2.2.2. (см. [21]) Пусть (7 — трехмерная неунимодулярная группа Ли с алгеброй Ли д. Тогда в д существует базис {£1, Е2, £3} такой, что

[Е1}Е2] = аЕ2 + РЕЪ, [ЕиЕ3} = 7£2 + 6Еъ, [Е2, Е3] = 0, (2.2.10)

{<* Р\

причем матрица С = I имеет след а + 6 — 2. Здесь а,(3,7,5 —

\7 Ч

структурные константы алгебры Ли д.

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

Родионов Е.Д. и Славский В.В. в работе [22] показали, что в базисе теоремы 2.2.1 оператор одномерной кривизны диагонализируем и его главные значения имеют вид:

к\ = ^(5А2 - 3(А2 - А3)2 - 2Ах(Аз + А2)),

к2 = ^(5А2 - 3(А! - А3)2 - 2А2(Ах + А3)), кз = ^(5А2 - 3(А1 - А2)2 - 2Аз(Ах + А2)).

С помощью исследования данных функций доказана следующая теорема: Теорема 2.3.1. Пусть — трехмерная унимодулярная группа Ли с левоинвариантной римановой метрикой, д - алгебра Ли группы в - произвольная сигнатура из таблицы 6. Тогда в реализуется в качестве сигнатуры оператора одномерной кривизны для некоторого скалярного произведения на д в том и только том случае, если в таблице 8 на пересечении строки, соответствующей алгебре Ли д, и столбца, соответствующего сигнатуре в, находится знак "+".

Таблица 3.

№ сигнатуры

Алгебра Ли 1 2 3 4 5 6 7 8 9 10

ви{ 2) — — + — + + — + + +

з1{2, Я) — — + — + + — — — —

е(2) — — + — — — + — — —

е(1,1) — — + — + + — — — —

к — — + — — — — — — —

В? — — — — — — + — — —

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

Согласно работе Родионова Е.Д. и Славского В.В. (см. [22]) оператор одномерной кривизны в базисе теоремы 2.2.2 диагонализируем. Следуя [21], обозначим а=1 + £, /3 = (1+ 7 = -(1 - £)?7> = 1 - С» гДе С > V > тогда главные значения оператора одномерной кривизны имеют вид:

Исследование данных функций позволило доказать теорему:

Теорема 2.4.1. Пусть G - неунимодулярная трехмерная группа Ли с левоинвариантной римановой метрикой, g - алгебра Ли группы G. Тогда в качестве сигнатур оператора одномерной кривизны на g реализуемы только сигнатуры (—,—,—), (-,-,0), (-,-,+), (-,0,+), (-,+,+), т.е. сигнатуры 1, 2, 3, 5 и 6 таблицы 6.

В третьей главе изучаются инвариантные тензорные поля на группах Ли с левоинвариантными римановыми метриками и гармоническим тензором Вейля. В процессе исследования применялись пакеты аналитических расчетов Maple и Mathematica.

В первом разделе приведена классификация вещественных четырехмерных алгебр Ли, полученная Г.М. Мубаракзяновым в [8].

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

Придерживаясь терминологии работ [2, 20], будем называть риманово многообразие (М, д) размерности п > 4 пространством с гармоническим тензором Вейля или С-пространством, если divjy = 0.

Дивергенцию тензора Вейля будем определять формулой из [17]

di vWjkt = g'PWijkt^ (3.2.1)

где Wijkt,P — ковариантные производные тензора Вейля.

Из формул 2.1.7, 2.1.8 и 3.2.1 ясно, что тензор Вейля, ковариантные производные и дивергенция тензора Вейля суть функции от структурных констант алгебры Ли g и метрического тензора gij.

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

В первом пункте второго раздела формулируются и доказываются тео-

ремы для четырехмерных унимодулярных алгебр Ли с левоинвариантной римановой метрикой и гармоническим тензором Вейля. Все результаты данного пункта формулируются с учетом базиса работы [6] в системе обозначений Г.М. Мубаракзянова [8].

Теорема 3.2.1 Пусть G — действительная четырехмерная унимоду-лярная группа Ли с левоинвариантной римановой метрикой и разложимой алгеброй Ли 0. Тогда равенство divVF = 0 возможно лишь в том случае, если алгебра Ли g есть либо 4Аь либо Аз;е © Ai; либо Аз^ © Ai.

При доказательстве теоремы строится компьютерная модель иследуемого объекта.С помощью составленной программы в среде Maple вычисляются нетривиальные компоненты дивергенции тензора Вейля. Решается система уравнений divW = 0 относительно структурных констант и определяются все четырехмерные действительные разложимые унимодулярные метрические алгебры Ли групп Ли, для которых тензор Вейля является гармоническим.

Теорема 3.2.2 Пусть G — вещественная четырехмерная унимодуляр-ная группа Ли с левоинвариантной римановой метрикой и неразложимой алгеброй Ли Q. Тогда G не является С-простанством.

Доказательство основано на применении схемы, указанной выше для случая разложимых алгебр, последовательно к каждой унимодулярной неразложимой алгебре Ли из классификации Г.М. Мубаракзянова (см. [8]).

Во втором пункте второго раздела формулируются и доказываются теоремы для четырехмерных неунимодулярных алгебр Ли с левоинвариантной римановой метрикой и гармоническим тензором Вейля. Все результаты данного пункта формулируются с учетом базиса работы [7].

Теорема 3.2.3 Пусть G - вещественная четырехмерная разложимая неунимодулярная группа Ли с левоинвариантной римановой метрикой и разложимой алгеброй Ли д. Тогда divVK = 0 в том и только в том случае, если алгебра Лид и ее структурные константы содержатся в таблице 17.

Таблица 4.

Алгебра Ли Нетривиальные структурные константы <£■ V Ограничения на 4

А2 0 2А1 Г2 — А А > 0

2А2 с1,2 ~ А с3,4 — ^ А > 0, С>0

А3)30А1 с1,3 = с2,3 = А А > 0

А£70А1 с1,3 = с2,3 — с1,3 = с2,3 — Ь > 0

Доказательство реализовано в последовательном рассмотрении каждой неунимодулярной разложимой алгебры Ли из классификации Г.М. Муба-ракзянова (см. [8]), решении системы уравнений с1гу\¥ = 0 относительно структурных констант и сопоставлении полученных результатов с ограничениями на структурные константы алгебры Ли.

Теорема 3.2.4 Пусть С? - вещественная четырехмерная неразложимая неунимодулярная группа Ли с левоинвариантной римановой метрикой и неразложимой алгеброй Ли Тогда <1\.лг\¥ = 0 в том и только в том случае, если алгебра Ли д и ее структурные константы содержатся в таблице 19.

Таблица 5.

Алгебра Ли Нетривиальные структурные константы с1-г] ч Ограничения к на Су

4,5 с1,4 ~ с2,4 = с3,4 = Ь>0

А01'13 4,6 с1,4 — с2,4 — -с3,4 = а ф 0,Ь > 0

4,6 с1,4 ~ с2,4 — с3,4 — РЬ, г3 — г2 — Г с2,4 — 3,4 — ь /3>0,Ь>0

Ар "■4,9 с1,4 = с2,3 = с|4 = С34 = Л А > 0

Аа "4,11 с1,4 — с2,3 = с|4 = с3,4 — с2,4 = с3,4 = ^ А> 0,а>0

А4,12 с1,3 = с2,3 ~ А С1,4 — с2,4 ~ с1,4 = —с2,4 — А>0,В>0

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

В заключении приведены следующие основные результаты работы:

1. Разработаны алгоритмы в среде Maple и Mathematica, созданы программы для вычисления компонент тензоров секционной, одномерной кривизн и кривизны Риччи, а также компонент тензора Вейля и его дивергенции на группах Ли с левоинвариантными римановыми метриками.

2. С помощью разработанных алгоритмов найдена классификация сигнатур оператора одномерной кривизны трехмерных групп Ли с левоинвариантными римановыми метриками.

3. Получена классификация четырехмерных групп Ли с левоинвариантной римановой метрикой и гармоническим тензором Вейля.

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

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

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

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

Автор благодарен О.П.Гладуновой и Е.Д. Родионову за постановку задач, постоянное внимание к работе и полезные обсуждения.

Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Воронов, Дмитрий Сергеевич

Заключение

С помощью методов компьютерной математики, математического анализа, теории групп и алгебр Ли, тензорного анализа, римановой геометрии в диссертации получены следующие результаты:

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

2. Получены все возможные наборы сигнатур оператора одномерной кривизны трехмерных групп Ли с левоинвариантными римановыми метриками.

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

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

В заключение автор выражает благодарность О.П. Гладуновой и Е.Д. Родионову за постановку задач, постоянное внимание к работе и полезные обсуждения.

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

Литература

[1] Вагина О.Г., Кабенюк М.И. Покрытие плоскости равносторонними пятиугольниками // Вестник Кемеровского государственного университета, серия: математика. — 2001. — №3. — С. 162—166.

[2] Бессе А. Многообразия Эйнштейна: пер. с англ.; в 2 т. М., 1990.

[3] Гладунова О.П. Применение пакетов аналитических вычислений для нахождения инвариантных тензорных полей на однородных пространствах: дис. ...канд. ф.-м. наук : 05.13.18 / Гладунова Олеся Павловна. - Барнаул, 2008. - 184 с.

[4] Джепко В.В. Применение пакетов аналитических вычислений к решению задач дифференциальной геометрии: дис. ... канд. ф.-м. наук. : 05.13.18 / Джепко Валерий Валентинович. — Барнаул, 2007. - 108 с.

[5] Дубровин Б.А., Новиков С.П. Современная геометрия. Методы и приложения. — М. : Наука, 1986. — 760 с.

[6] Кремлев А.Г., Никоноров Ю.Г. Сигнатура кривизны Риччи левоинва-риантных римановых метрик на четырехмерных группах Ли. Унимоду-лярный случай // Мат. труды. 2008. - Т. 11, №2. - С. 115-147.

[7] Кремлев А.Г., Никоноров Ю.Г. Сигнатура кривизны Риччи левоинвари-антных римановых метрик на четырехмерных группах Ли. Неунимоду-лярный случай // Мат. труды. - 2009. — Т. 12, №1. - С. 40-116.

[8] Мубаракзянов Г.М. О разрешимых алгебрах Ли // Известия высших учебных заведений. Математика. - 1963. - Т.32, №1. - С. 144 - 123.

[9] Никоноров Ю.Г. Компактные семимерные однородные многообразия Эйнштейна // Доклады Академии наук. — 2000. — Т. 372, №6. — С. 589-592.

[10] Никоноров Ю.Г. Аналитические методы в теории однородных эйнштейновых многообразий. — Барнаул : Изд-во Алт. ун-та, 2000. — 183 с.

[11] Никонорова Ю.В. Применение системы Maple к решению некоторых задач евклидовой геометрии // Известия АГУ. Специальный выпуск, посвященный пятилетию краевой конференции по математике. — Барнаул : Изд-во Алт. ун-та, 2002. - С. 16-19.

[12] Понтрягин JI.C. Непрерывные группы. — М.: Наука, 1984.

[13] Рашевский П.К. Риманова геометрия и тензорный анализ. — М. : Наука, 1967. - 664 с.

[14] Родионов Е.Д., Славский В.В. Локально конформно однородные пространства // Доклады Академии наук. — 2002. — Т. 387, №3. — С. 314— 317.

[15] Родионов Е.Д., Славский В.В., Чибрикова Л.Н. Левоинвариантные ло-ренцевы метрики на 3-мерных группах Ли с нулевым квадратом длины тензора Схоутена-Вейля // Вестник БГПУ, серия: естественные и точные науки. - 2004. - №4. - С. 53-60.

[16] Чибрикова Л. Н. Применение пакетов аналитических вычислений к решению задач однородной (псевдо)римановой геометрии: дис. ... канд. ф.-м. наук : 05.13.18 / Чибрикова Людмила Николаевна. - Барнаул, 2005. - 118 с.

[17] Яно К., Бохнер С. Кривизна и числа Бетти. — М. : ИЛ, 1957. — 152 с.

[18] Appel К., Haken W. Every Planar Map is Four Colorable // Bulletin of the American Mathematical Society. - 1976. - V. 82, №. 5. - P. 711-712.

[19] Appel К., Haken W. The Solution of the Four-Color-Map Problem // Scientific American. - 1977. - V. 237, Ж4. - P. 108-121.

[20] Listing M. Conformal Einstein spaces in N-dimensions // Ann. Global Anal. Geom. 2001. - V. 20. - P. 183-197.

[21] Milnor J. Curvature of left invariant metric on Lie groups // Advances in mathematics. — 1976. — V. 21.

[22] Rodionov E.D., Slavskii V.V. Curvature estimations of left invariant Rie-mannian metrics on three dimensional Lie groups // Differential Geometry and Application. Proceeding of the 7th International Conference. Brno, August 10—14, 1998. — Masaryk University, Brno, Czech Republic, 1999.

[23] Rodionov E.D., Slavskii V.V. Conformal deformations of the Riemannian metrics and homogeneous Riemannian spaces // Comm. Math. Univ. Carol.

- 2002. - V. 43, №. - P. 271-282.

Работы автора по теме диссертации

[24] Воронов Д.С., Родионов Е.Д. Левоинвариантные римановы метрики на четырехмерных неунимодулярных группах Ли с нулевой дивергенцией тензора Вейля // Доклады Академии наук. — 2010. — Т. 432, №3. — С. 301-303.

[25] Воронов Д.С., Гладунова О.П., Родионов Е.Д., Славский В.В. Гармонический тензор Вейля на четырехмерных группах Ли с левоинвариантной римановой метрикой // Вестник АлтГПА: Естественные и точные науки. - 2010. - №2. - С. 5-24.

[26] Воронов Д.С., Гладунова О.П., Сигнатура оператора одномерной кривизны на трехмерных группах Ли с левоинвариантной римановой метрикой // Известия АГУ: математика и механика. — 2010. — N2 1, вып. 2

- С. 24-28.

[27] Воронов Д.С., Гладунова О.П Левоинвариантные римановы метрики на четырёхмерных алгебрах Ли с почти гармоническим тензором Вейля // МАК — 2009 : материалы двенадцатой региональной конференции по математике. — Барнаул : Изд-во Алт. ун-та, 2009. — С. 23—24.

[28] Воронов Д.С., Гладунова О.П. О почти гармонических тензорах на четырехмерных группах Ли с левоинвариантной рима-новой метрикой / / Современные проблемы анализа и геометрии : тезисы докладов Международной конференции. — Новосибирск, 2009. — С. 23. [электронный ресурс] режим доступа http://math.nsc.ru/conference/cag09/files/abstracts.pdf

[29] Воронов Д.С., Гладунова О.П. Левоинвариантные римановы метрики на 4-мерных группах Ли с гармоническим тензором Вейля // Студент и научно-технический прогресс. Математика: материалы ХЬУШ Международной научной студенческой конференции. — Новосибирск: Изд-во Новосиб. гос. ун-та, 2010. — С . 69.

[30] Воронов Д.С., Гладунова О.П. О сигнатуре оператора одномерной кривизны // МАК 2010 : материалы тринадцатой региональной конференции по математике. — Барнаул: Изд-во Алт. ун-та, 2010. — С. 27—28.

[31] Воронов Д.С. Свойства тензора одномерной кривизны на трехмерных группах Ли // Ломоносовские чтения на Алтае: сборник научных статей международной школы-семинара: в. 2 ч. — Барнаул: АлтГПА, 2010. — 4.1. - С. 15-19.

[32] Воронов Д.С., Гладунова О.П., Родионов Е.Д., Славский В.В. Инвариантные тензорные поля на группах Ли малых размерностей // Математическое образование в регионах России : труды международной научно-практической конференции. — Барнаул, 2010. — С. 25—27.

[33] Воронов Д.С., Гладунова О.П. О сигнатуре оператора одномерной кривизны на трехмерных группах Ли // Студент и научно-технический про-

гресс. Математика: материалы ХЫХ Международной научной студенческой конференции. — Новосибирск: Изд-во Новосиб. гос. ун-та, 2011. - С. 74.

[34] Воронов Д. С., Гладу нова О. П., Родионов Е.Д., Славский В. В. Применение пакетов аналитических вычислений к исследованию инвариантных тензорных полей на однородных римановых многообразиях // Теория операторов, комплексный анализ и математическое моделирование: тезисы докладов международной научной конференции. — Владикавказ: ЮМИ ВНЦ РАН и РСО-А, 2011. - С. 110.