Геометрическая модель некоторых физических взаимодействий на частично упорядоченных многообразиях тема диссертации и автореферата по ВАК РФ 01.01.09, кандидат физико-математических наук Крым, Виктор Револьтович

• Крым, Виктор Револьтович
• кандидат физико-математических наук
• 2000

Оглавление диссертации кандидат физико-математических наук Крым, Виктор Револьтович

Оглавление

1 Введение

2 Каузальные структуры в линейных пространствах

2.1 Векторные кинематики.

2.2 Линейные пространства кинематического типа

2.3 Возможные топологии.

2.4 Предпорядок и пространство слоев одновременности

2.5 Метрические линейные кинематики.

2.6 Факторкинематика метрической линейной кинематики

3 Каузальные структуры на гладких многообразиях

3.1 Гладкие многообразия кинематического типа

3.2 Локальный порядок

3.3 Псевдоримановы многообразия сигнатуры (+,-,.,-)

3.4 Гладкие многообразия со скалярным произведением сигнатуры (+, —,.,—, 0,0).

3.5 Допустимые координаты и группа преобразований координат.

4 Уравнения движения заряженной частицы

4.1 Уравнения Эйлера - Лагранжа

4.2 Инвариантность теории.

4.3 Уравнения геодезических для заряженной частицы

4.4 Пример Монтгомери.

4.5 Теорема существования.

1 Введение

1 Введение

1. Дифференциальные системы, или распределения, на гладких многообразиях естественно возникают во многих задачах теории оптимального управления. Неголономные вариационные задачи встречаются в термодинамике, в квантовой теории, в механике и в других областях [25, 26]. Известная в физике модель электромагнитных и гравитационных взаимодействий также содержит некоторое четырехмерное распределение. Основой для описания этих взаимодействий является квантовая механика. Однако неквантовые модели электромагнитных и гравитационных взаимодействий также дают много информации об этих взаимодействиях и могут быть использованы для дальнейшего развития квантовой теории. В частности, математическая модель, построенная в настоящей работе с помощью методов теории оптимального управления, позволяет дать хорошую геометрическую интерпретацию калибровочных преобразований. Все математические модели природных и техногенных систем, в том числе и наиболее фундаментальных природных процессов, существенно углубляют наши знания и позволяют создавать новые системы на их основе. Выдающиеся специалисты по теории оптимального управления, например, В.Г. Болтянский, создавали модели теории относительности, имеющие значение в физике. Основой теории относительности является отношение причинности. Отношение причинности на лорен-цевых многообразиях тщательно изучалось [16, 65]. Абстрактное отношение причинности на многообразиях было впервые определено в работах Г. Буземаиа [70] и Р.И. Пименова [46]. Обобщение отношения причинности на неголономные распределения является чрезвычайно интересной и важной задачей. В настоящей работе показано, что отношение причинности существует на неголономных распределениях. Однако ограничения в виде полей конусов важны не только в теории относительности, но и в других областях, например, в макроэкономике [28].

Актуальность проблемы. Каузальная структура на многообразии является основой любой физической теории, имеющей целью описание реального мира. В связи с развитием общей теории относительности причинность на лоренцевых многообразиях (т.е. на псевдоримановых многообразиях со скалярным произведением сигнатуры1 (+,—,.,—)) была детально изучена. Значительный вклад в это направление внесли А.Д. Александров, Е. Кронхей-мер, Р. Пенроуз, Р.И. Пименов и С. Хокинг [1, 44, 47, 79, 82]. Были также намечены общие методы исследования абстрактного отношения причинности [46, 70]. Однако интерес к новому и нетривиальному отношению причинности возникает, как правило, тогда, когда это отношение используется при построении модели некоторых физических взаимодействий. С другой стороны, для создания новых моделей физических взаимодействий необходимо иметь тщательно разработанную теорию отношения причинности. В квантовой механике большой интерес может представлять теория отношения причинности в бесконечномерных пространствах. В расслоенных пространствах частично реализуются полуримано-вы кинематики Р.И. Пименова. Поэтому общее исследование отношения причинности является чрезвычайно необходимым, в особенности, когда оно сопровождается построением модели известных физических взаимодействий.

Научная новизна. Отношение причинности изучается нами

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

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

как в конечномерных, так и в бесконечномерных пространствах. В отличие от известных аксиом [46], мы предъявляем менее жесткие требования к топологии рассматриваемого пространства. Обычно предполагается, что в линейном пространстве Е над полем М отображение умножения на скаляры К. х Е —Е непрерывно. Мы требуем только, чтобы для любого скаляра а £ 1 отображение умножения на а было непрерывно. При этом сохраняется большинство структур, предложенных в [46], но топология линейного пространства оказывается более разнообразной.

Причинность на гладком многообразии в настоящей работе определяется с помощью отношения порядка в каждом касательном пространстве. Порядок в касательных пространствах вводится с помощью отношения порядка на некотором фиксированном линейном пространстве L (модели отношения причинности) и семейства изоморфизмов (кинематического атласа). Следуя Р.И. Пименову, можно говорить, что многообразие М имеет кинематический тип L. Такое определение обладает достаточно большой общностью и позволяет рассматривать как лоренцевы многообразия, так и многообразия со скалярным произведением сигнатуры (+, —,.,—, О,., 0). Р.И. Пименов использовал несколько иное определение причинности: для всех карт h : U —>• L, U С М -область на многообразии М, отображения перехода hioh^1 должны сохранять порядок в L. В настоящей работе это требование ослаблено так, чтобы расширить класс рассматриваемых многообразий, но сохранить полезные инварианты, возникающие при ограничении гладкой структуры многообразия [47].

На пятимерном гладком многообразии М'5 с некоторым типом причинности группа преобразований координат включает как калибровочную группу, так и четырехмерную группу преобразований координат. Такая интерпретация калибровочных преобразований предлагалась ранее в теории Калуцы - Клейна, но в целом построенная в настоящей работе модель электромагнитных и гравитационных взаимодействий является новой. Электромагнитное поле в предлагаемой модели является четырехмерным распределением А на гладком многообразии M5, а не иа главном расслоении. Сужение некоторого скалярного произведения в ТМЬ на это распределение является лоренцевым скалярным произведением на распределении А.

Установлено, что уравнения движения заряженной частицы общей теории относительности являются уравнениями Эйлера - Ла-гранжа допустимых геодезических для четырехмерного распределения А. Найдено достаточное условие гладкости допустимых геодезических для рассматриваемого распределения. Рассматриваемое распределение допускает построение инвариантной к допустимым преобразованиям координат 4-формы объема. Тензор кривизны распределения А определяется при использовании скалярного произведения во всем касательном расслоении. Условием стационарности полученного функционала действия являются классические уравнения Эйнштейна в присутствии электромагнитного поля и уравнения Максвелла.

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

2. Отношение причинности в общей теории относительности. Пространство-время общей теории относительности есть множество событий М, на котором задана

1. Каузальная структура, т.е. отношение частичного порядка.

1 Введение8

2. Топологическая структура, которую можно получить из каузальной.

3. Структура гладкого многообразия.

4. Скалярное произведение, также связанное с каузальной структурой (лоренцева метрика).

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

В 1967 г. Буземаном [70, 71] и Пименовым [46] независимо была сделана попытка распространить отношение порядка на топологические пространства, сохраняя при этом каузальную структуру общей теории относительности в качестве наиболее важного ее примера. Буземаном была предложена следующая система аксиом.

Определение 1. Пусть X - топологическое пространство, < транзитивное и антирефлексивное отношение на X. Обозначим х ^ у & (х < у или х = у). X называется времениподобным пространством, если выполнены следующие три аксиомы.

БТь Пространство А" хаусдорфово.

БТ^. Множество {(х,у) | х < у} открыто в X х X, и в каждой окрестности любой точки q Е X существуют точки х,у Е такие, что х < q п q < у.

БТд. На множестве {(ж, у) I х ^ у] определена непрерывная (ве

1 Введение 9 щественная) функция р, такая, что

Уж 6 X р{х1 х) = О, Уж, у Е X х < у р(х, у) > О, У х,у,г £ X х <у < г => р(х, у) + р{у, г) < р(х, г).

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

Определение 2. Топологическое пространство X называется локально времениподобным, если оно удовлетворяет аксиомам БТх

БТх. Пространство X хаусдорфово.

БТ2. Для любой точки р С X имеется окрестность £/р, на которой определено транзитивное и антирефлексивное отношение <р Множество {(ж, у) | х <р у} открыто в 11р х 1/р, и в каждой окрестности И^ любой точки д 11р существуют точки х,у Е Wq, такие что х <р д и д <р у.

БТ3. На каждом множестве {(х,у) | х ^р у} определена непрерывная (вещественная) функция рр, такая, что

Ух £ ир рр(х,х) = О, Ух,у еир X <р у рр(х, у) > о, Ух,у,г еир х <р у <р г рр(х,у) + рр(у< рР(х,г).

БТ4.

1 Введение10

БТ4. Аксиома согласования. Если (<р) П (<д) ф 0, то (<р) П (>д) = 0 и V(х,у) е (<р) п (<д) Рр{х,у) = рд(х,у). Если (<р) П (>д) ф 0, то (<р) П (<д) = 0 и Ч(х,у) Е (<р) П (>д) рр(х,у) = рч(у,х). Здесь обозначено (<р) := {(х,у) | х <р у} и т.д.

Локально времениподобное пространство X называется согласованно упорядоченным, если Ур, д £ X (<р) П (>д) = 0. Пространство X иногда можно сделать согласованно упорядоченным, заменив для некоторых окрестностей ир отношение <р на >р и рр(х,у) на рр(у,х). Например, на окружности 5'1 можно ввести согласованное упорядочивание. Однако структуру времениподоб-ного пространства на окружности ввести нельзя.

Если путь 7 : I —» X целиком лежит в одной из окрестностей ир и удовлетворяет условию £ I Ь < ¿2 7(^1) или £ I tl < ¿2 =>- 7(^1) >р 7(^2), то длина пути 7 определяется как инфимум длин вписанных в него ломаных. Такие пути называются локально времениподобными. Времениподобный путь, не являющийся локально времениподобным, можно разбить на локально времениподобные пути и определить его длину как сумму длин разбиений. Длина полунепрерывна сверху, если данное семейство кривых равномерно сходится к своему пределу.

С целью дальнейшего развития теории Буземан вводит еще 6 дополнительных аксиом. В нашей стране это направление было независимо изучено Р.И. Пименовым. Аксиомы Пименова, ориентированные на топологические пространства, являются наиболее общими [37, 59, 60]. Во-первых, наличие времениподобной метрики (даже локальной) не предполагается. Во-вторых, топология на пространстве X является александровской интервальной топологией, а не вводится независимо. В-третьих, на линейных пространствах аксиомы Буземана исключают выпуклые конуса, содержащие прямые. Аксиомы Пименова позволяют рассматривать

1 Введение11 порядки, порожденные такими конусами. Позже были предприняты другие попытки разработать наилучшую систему аксиом общей теории относительности [32, 33].

3. Электромагнитные взаимодействия [42, 66] в общей теории относительности описываются с помощью 1-формы з т — У^Ак(х)йхк к=о заданной на касательном расслоении ТМ4 некоторого четырехмерного псевдориманова многообразия М4. Функции Ак(х), к = О, .,3, называются 4-потенциалом электромагнитного поля. Эти функции не являются непосредственно наблюдаемыми величинами. Непосредственно наблюдаемым является тензор напряженности электромагнитного поля Р = йт. Очевидно, что к 1-форме и; можно прибавить любую замкнутую форму (в частности, любую точную форму), и при этом напряженность поля Р не изменится. Поэтому 4-потенциал электромагнитного поля не определяется однозначно. Преобразования 4-потенциала вида дf

Ак^Ак + ф, к = 0,.,3 называются калибровочными преобразованиями, а соответствующий класс дифференциальных форм — калибровочным классом. Независимость всех наблюдаемых физических величин от выбора представителя в соответствующем калибровочном классе называется калибровочной инвариантностью.

Уравнения движения частицы с зарядом Z в электромагнитном поле имеют вид тс2 (?+Е г«нУ) + 2 Е р»'ик=«'=о, ■ • з у к,1=0 / к=О где и = х - вектор скорости частицы, Тгк1 - символы Кристоффеля симметричной римановой связности на М4, т - масса частицы, с

1 Введение

12

- скорость света. Если частица иезаряжеиа = 0), то эти уравнения превращаются в уравнения геодезических.

Уравнения движения являются условием стационарности функционала

5(.1'(-)) - -тс2 ^{и(1),и^))1/2<И- г £ ¿1

Первый интеграл представляет собой длину кривой 7 с противоположным знаком (т > 0). Второй интеграл — это действие электромагнитного поля на частицу. Предполагается, что траектории движения заряженной частицы доставляют минимум функционалу 5(х'(-)). Соответствующая вариационная задача получила название принцип наименьшего действия.

Лоренцево скалярное произведение ( , ) на М4 в общей теории относительности не может быть выбрано произвольно. Метрический тензор должен удовлетворять уравнениям Эйнштейна г,; = 0,. .,3

2' - с1 где Я^ - тензор Риччи, Я - скалярная кривизна, С/у - гравитационная постоянная, Тц - тензор энергии-импульса материи (этот тензор называют также тензором напряжений). Для электромагнитного поля

3 „ 3 т 1 ■

ЬЗ - ^ + -дц ]Г РыЯк\ г,з = 0,., 3 к=0 к,1=0

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

167ГС

N Зй

Я л/— (1х® ¿х1 йх2 ¿хс

1 Введение 13

Если рассматривать этот же функционал как функцию от 4-потенциала электромагнитного поля ,4^ и его производных, то условие стационарности даст уравнения Максвелла в пустоте: з

Г<9г- =0, к = 0,.,3 0

Попытки построить более красивую теорию гравитации и электромагнетизма до настоящего времени не дали ожидаемых результатов. Конечно, мы не можем обсуждать все попытки построения таких теорий, в особенности квантовую теорию поля. Если модель строится на многообразии, а не на главном расслоении, то наибольший интерес представляет обсуждение физического (и геометрического) смысла калибровочных преобразований. Сформулируем основные требования, которым должна удовлетворять модель гравитационных и электромагнитных взаимодействий. Уравнения движения материальных частиц должны совпадать с классическими уравнениями движения заряженной частицы. Метрический тензор и потенциалы электромагнитного поля должны удовлетворять уравнениям Эйнштейна и Максвелла. Должен быть сохранен основной объект общей теории относительности — гладкое многообразие с каузальной структурой. Модель должна быть инвариантна по отношению к выбору карт (координат) на многообразии. Модель также должна быть инвариантна по отношению к калибровочным преобразованиям.

4. Теория Калуцы — Клейна. В 1921 г. Т. Калуце [80] удалось показать, что траектория движения заряженной частицы может быть приближенно интерпретирована как геодезическая в пятимерном псевдоримановом многообразии, метрический тензор которого зависит от отношения заряда к массе рассматриваемой частицы, но не зависит от пятой дополнительной координаты. В 1926 г. В.А. Фок [74] доказал, что траектория движения заряженной

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

9)3 — 9>.) + -^лА!,^, г, ] — 0,., 3 = ^ = г = 0,.,3

9 м = 1 где т - масса частицы, е - фундаментальный заряд, с - скорость света. Предполагается, что метрический тензор ~д имеет сигнатуру ( — ,+,+,+,+). Дополнительная координата х4 считается про-странственноподобной. О. Клейн [81] независимо от Фока использовал тот же самый метрический тензор на пятимерном многообразии для вывода четырехмерных уравнений Эйнштейна и уравнений Максвелла. Очевидно, что матрица ~д выбрана неинвариантным образом. В частности, условие д44 = 1 нарушается при преобразованиях координат, таких, что ф 0. Эта модель получила название теории Калуцы - Клейна.

В 1956 г. Ю.Б. Румер [55] попытался отказаться от неинвариантного условия р44 = 1. Координату х4 он также считал простран-ственноподобной. Румер получил классические уравнения движения заряженной частицы, предположив, что на пятимерном многообразии движение материальных частиц осуществляется по геодезическим нулевой длины. Румер выписал в явном виде уравнения Эйнштейна для пяти мерного пространства с введенным им метрическим тензором. Полученная система уравнений неэквивалентна уравнениям Эйнштейна и Максвелла для четырехмерного многообразия.

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

1 Введение

15 световые и пространственноподобиые. Другой недостаток теории Калуцы - Клейна — ■ зависимость метрического тензора ~д от отношения фундаментального заряда е к массе частицы га. Чтобы объяснить эту зависимость, Ю.Б. Румер [55] предположил, что пятимерное многообразие теории Калуцы - Клейна не является универсальным пространством общей теории относительности, а только конфигурационным пространством частицы, движение которой мы рассматриваем. Однако, если бы каждая частица двигалась в своем собственном конфигурационном пространстве и общее для всех частиц пространство-время не имело бы физического смысла, то как могли бы частицы взаимодействовать между собой?

Эйнштейн и Бергман [72] предложили считать пространство-время циклически замкнутым в направлении пятой координаты. Они сделали это, чтобы обосновать независимость всех наблюдаемых физических величин от пятой координаты. В современных работах [68] метрический тензор теории Калуцы - Клейна выбирают в виде ной, но выбрана сигнатура (+,—,—,—,—). Предполагается, что б'1. В приведенном выше метрическом тензоре Я - "радиус" этой окружности, £ - константа. Параметры Я и £ связаны соотношением £2Д2 = х2, где х - гравитационная постоянная Эйнштейна, я = ^гСдг- Чтобы согласовать это определение с метрическим тензором Клейна - Фока, необходимо положить Я — 1, £ = — и сменить знак д^. Поскольку симметричная риманова связность не меняется при умножении метрического тензора на константу, уравнения геодезических сохраняются.

Дополнительная координата ж4 считается пространственноподобмногообразие М5 является прямым произведением М5 = М4 X

1 Введение 16

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

В 1960-е годы в математике стало общепризнанным, что дальнейшее обобщение теории относительности требует предварительного изучения отношения причинности. Для этого Буземан и Пименов предложили независимо довольно близкие наборы аксиом. Пименов высказал предположение, что дополнительная координата не может быть ни времени-, ни пространственноподобной [46, стр. 424]: "Обычная риманова геометрия пригодна для моделирования величин только двух наименований: вещественного и мнимого. Но теория электромагнетизма, кроме размерности 'время' и размерности 'пространство', встречается еще по крайней мере с одной размерностью 'электричество'. Поэтому, в широком смысле слова, теория электромагнетизма и невырожденная риманова геометрия не гомологичны." На этой основе Пименов строит объединенную теорию гравитационных и электромагнитных взаимодействий. Он вводит электромагнитную кинематику Ь = М4 х К., причинность в которой задается прямым произведени

1 Введение17 ем внутреннего эллиптического конуса в М4 на слой М. На гладком многообразии М кинематического типа Ь все карты к : £/ — 11 С М, выбраны так, что соответствующие отображения перехода /¿1 о /¿2 1 сохраняют причинность в Ь. Теорию многообразий с так определенным отношением причинности Пименов называл по-луриманоеой геометрией [47]. Однако уравнения геодезических в полуримановой геометрии [46, стр. 399] не могут совпадать с уравнениями движения заряженной частицы общей теории относительности. В уравнения типа Эйнштейна Пименов вводит формально построенный объект, который не является тензором Риччи ни для одной из двух рассматриваемых в его работе связностей. Такой подход лежит слишком далеко от классических традиций математической физики.

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

5. В настоящей работе построена новая модель гравитационных и электромагнитных взаимодействий. В главе 2 изучаются каузальные структуры на линейных пространствах (линейные кинематики). Буземан и Пименов предполагали, что топология всякой конечномерной линейной или аффинной кинематики евклидова. Обычно требуют [17, 23], чтобы в векторной кинематике Е над полем М. отображение умножения на скаляры К. х Е —> Е было непрерывным. Нами установлено, что эту аксиому можно ослабить. Мы требуем только, чтобы для любого а Е № отображение умножения на а было непрерывным. Топология линейных кинематик, рассмотренных в главе 2, оказывается весьма разнообразной.

1 Введение18

В линейной кинематике Ь отношение частичного порядка может быть задано открытым выпуклым конусом (конус будущего). Этот конус определяет также топологию на Ь. Хорошо известно, что всякий выпуклый конус, содержащий прямые, является суммой по Минковскому некоторой прямой и конуса меньшей размерности. В этом случае в слабейшей возможной топологии кинематика Ь содержит антидискретные слои. Все точки каждого слоя связаны отношением эквивалентности которое можно интерпретировать как отношение абсолютной одновременности. Для лоренцевой кинематики Ь/ ~ совпадает с!, а множество событий, абсолютно одновременных данному, состоит из одной точки.

Частичный порядок в линейной кинематике может быть задан также с помощью ориентированной нормы, удовлетворяющей неравенству Эйнштейна (обратному неравенству треугольника). Ориентированная норма линейной кинематики Ь естественным образом определяет топологию на Ь и является в этой топологии непрерывной функцией.

В главе 3 рассматривается частичный порядок на гладких многообразиях. Отношение порядка переносится на многообразие М из его касательного расслоения с помощью семейства временипо-добных кусочно-гладких кривых. На касательном расслоении отношение порядка определяется с помощью семейства линейных изоморфизмов (кинематического атласа) Р{и) : Т11 —» Ь, где II С М - область, Ь - линейная кинематика. Тройка (М, Р, V) называется многообразием кинематического типа. Это обобщение понятия гладкого многообразия кинематического типа, предложенного Р.И. Пименовым [46]. Примерами многообразий с кинематическим атласом являются лоренцевы многообразия и многообразия со скалярным произведением сигнатуры (+, —,.,—, О,., 0). Кинематический атлас можно связать с гладким атласом на М.

I Введение19

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

В главе 4 осуществляется построение новой модели общей теории относительности с учетом электромагнитных взаимодействий. Рассматривается пятимерное гладкое многообразие М5 кинематического типа Ь. Конус будущего линейной кинематики Ь = М4 х М является прямым произведением внутреннего эллиптического конуса в М4 на прямую М. Поэтому многообразие М'5 содержит слои абсолютной одновременности. Каждому событию в смысле общей теории относительности на М5 соответствует не точка, а слой абсолютной одновременности данной точки. Будем считать, что каждой частице соответствует кусочно-гладкий путь в М5. Предположим, что пространство скоростей частиц является четырехмерным распределением А на А/5. Это распределение можно выбрать так, чтобы уравнения допустимых геодезических совпадали с классическими уравнениями движения заряженной частицы. Для этого достаточно, чтобы распределение А зависело только от 4-потенциала электромагнитного ноля.

В теоретической физике электромагнитное поле, как калибровочное, является связностью в главном расслоении (7^, 7г, М4) со слоем и( 1), где 1/(1) - группа вращений плоскости. Связность предполагается римановой и, следовательно, зависит от поля метрического тензора [18]. Связность в главном расслоении можно интерпретировать как распределение. В отличие от этой модели, распределение А, рассматриваемое в настоящей работе, не зависит от метрического тензора. Слои абсолютной одновременности на Мг> не обязательно гомеоморфны окружности. Предполагается

1 Введение20 только, что М5 является гладким многообразием.

Каузальная структура на многообразии М5 очень близка к каузальной структуре общей теории относительности. Конус будущего в каждом касательном пространстве к М5 является суммой по Минковскому четырехмерного внутреннего эллиптического конуса и прямой М. Пересечение пространства скоростей А(х) с конусом будущего кинематики ТХМЬ является четырехмерным внутренним эллиптическим конусом. Поэтому множество временипо-добных векторов в предлагаемой модели устроено так же, как и в общей теории относительности.

Скалярное произведение на А определяется как билинейная форма ( , )х : А(х) х А(х) —» Ж сигнатуры (+, —, —, —) для всех х 6 М5. Вектор скорости u Е А{х) может быть времениподоб-ным (|«|2 > 0), световым (|w|2 = 0) или пространственноподобным (|w|2 < 0). Кусочно-гладкий путь 7 : I —у Мъ считается допустимым, если его поле вектора скорости принадлежит распределению А, т.е. горизонтально. Необходимо найти уравнения длиннейших допустимых кривых, соединяющих две заданные точки р, q £ М5. Предполагается, что точки р, q связаны отношением причинности. Следует отметить, что вопрос о существовании решения этой вариационной задачи очень нетривиален. В римановой геометрии известно, что всякая геодезическая на каждом достаточно коротком отрезке является кратчайшей среди всех достаточно близких к ней путей с теми же концами. В лоренцевой геометрии это утверждение сохраняет силу с естественной заменой кратчайших кривых на длиннейшие [16, стр. 239]. Геодезическая остается длиннейшей среди достаточно близких к ней путей с теми же концами, пока на ней нет сопряженных точек. Для неголономных распределений, изучаемых в субримановой геометрии [25], существование кратчайших кривых, соединяющих две заданные точки, устанавливается с по

1 Введение21 мощыо теоремы А.Ф. Филиппова [62, 63]. Но из теоремы Филиппова следует только существование абсолютно непрерывных кривых, соединяющих две заданные точки и имеющих наименьшую длину. Неизвестно, в каких случаях решение вариационной задачи является гладким отображением.

В лоренцевой геометрии известен пример двумерного пространства постоянной кривизны с квадратичной формой — (1х2), х £ (—7г,7г), I Е К., в котором имеются пары точек, связанные отношением причинности, такие, что их невозможно соединить геодезическими. Поэтому выяснение условий существования гладких геодезических в сублоренцевой геометрии является чрезвычайно интересной и важной задачей. Нами получена теорема существования и условие гладкости времениподобных геодезических для рассматриваемого распределения Л.

Если решать задачу на экстремум функционала длины при закрепленных концах методами классического вариационного исчисления, то необходимо сначала задать скалярное произведение в ТМ5, а затем учесть условие допустимости. Скалярное произведение в ТМ5, сужение которого на распределение Л обладает требуемыми свойствами, существует и построено в явном виде. Поскольку скалярное произведение в ТМ5, вообще говоря, вырождено, на А/5 нет связности Леви-Чивита. Оказывается, что вырожденность метрического тензора не препятствует построению соответствующей косвязности. Ковариантной производной векторного поля относительно косвязности является ковекторное поле. Уравнения допустимых геодезических, полученные методом Лагранжа, совпадают с классическими уравнениями движения заряженной частицы.

Более общим методом решения задачи на экстремум функционала длины является принцип максимума Понтрягина. Прин

1 Введение22 цип максимума позволяет с самого начала использовать только скалярное произведение на распределении Л, независимо от того, является ли оно сужением скалярного произведения в ТМЬ. Если напряженность электромагнитного поля ^ удовлетворяет условию detF ф 0 на некоторой области, то единственными критическими точками функционала длины являются геодезические. Если с1еЬ Р = 0 на некоторой поверхности в М5, то на этой поверхности могут реализоваться анормальные длиннейшие пути. Соответствующий пример для двумерного распределения в К3 с положительно определенным скалярным произведением построил Р. Монтгомери [85, 86]. В его примере анормальные кратчайшие являются единственными кривыми, соединяющими некоторые пары точек. Однако пример Монтгомери не опровергает гипотезы, что всякая геодезическая в субримановой геометрии локально является кратчайшей среди всех достаточно близких к ней путей с теми же концами. В примере Монтгомери из принципа максимума для анормальных геодезических вытекают уравнения движения вида уг = 0. Если уф 0, то единственно возможное решение — постоянный путь. В плоскости у = 0 из принципа максимума невозможно получить уравнения движения. Однако решения вариационной задачи, целиком лежащие в плоскости у = 0, существуют. Соответствующее им оптимальное управление называется сингулярным.

Общая теория относительности с учетом электромагнитных взаимодействий инвариантна относительно двух различных групп преобразований: четырехмерной группы преобразований координат и группы калибровочных преобразований 4-потенциала (^Ц)а;=о,.,з- Для любого преобразования координат у = в общей теории относительности матрица Якоби отображения ср принадлежит GX(4). Калибровочные преобразования Ак Ак + Фт,

1 Введение23 к = 0,. .,3, образуют абелеву группу К.4. В предлагаемой модели обе эти группы вложены в единую группу преобразований координат пятимерного многообразия М5 со специальной гладкой структурой. Гладкая структура выбрана в соответствии с типом причинности на Мь.

В главе 5 получены уравнения Эйнштейна и Максвелла для распределения Л. Их вывод основан на хорошо известном в физике принципе экстремальности действия для функционала где Я - скалярная кривизна, (1а - форма 4-объема. В настоящей работе понятие связности на распределении вводится как кова-риантное дифференцирование. На распределении Л в ТМ5 существует единственная симметричная риманова связность. С помощью связности обычным образом определяется тензор кривизны и скалярная кривизна. На распределении Л существует инвариантный к преобразованиям координат 4-объем. Поскольку выражение для скалярной кривизны распределения Л содержит классический з инвариант электромагнитного поля ^ дальнейший вывод 0 уравнений Эйнштейна и Максвелла осуществляется так, как это принято в физике.

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

1. А.Д. Александров, В.В. Овчинникова. Замечания к основам теории относительности. //Вестник ЛГУ, 1953, №11, 95110.

2. А.Д. Александров. Конусы, с транзитивной группой. //ДАН СССР, 1969, 189(4), 695-698.

3. А.Д. Александров. Отображения семейств множеств. //ДАН СССР, 1970, 190(3), 502-505.

4. А.Д. Александров. Отображения семейств множеств. //ДАН СССР, 1970, 191(3), 503-506.

5. А.Д. Александров. Отображения семейств конусов. //ДАН СССР, 1971, 197(5), 991-994.

6. А.Д. Александров. Отображения упорядоченных пространств. //Труды МИАН, 1972, 128, 3-21.

7. А.Д. Александров. Отображения аффинных пространств с системами конусов. //Зап. научн. семин. ЛОМИ, 1972, 27, 7-16.

8. А.Д. Александров. К основаниям геометрии пространства-времени. //ДАН СССР, 1974, 219(1), 11-14.

9. А.Д. Александров. К основаниям геометрии пространства-времени. //ДАН СССР, 1974, 219(2), 265-267.

10. А.Д. Александров. К основам теории относительности. //Вестник ЛГУ, 1976, №19, 5-28.

11. А.Д. Александров. Отображения областей псевдоевклидовых пространств. //ДАН СССР, 1977, 233(2), 265-268.

12. А.Д. Александров, А.П. Копылов, A.B. Кузьминых, A.B. Шайденко. Об отображениях семейств конусов. //Сиб. ма-тем. журнал, 1976, 17(4), 932-935.

13. Г.С. Асанов. Гравитационное поле в финслеровом пространстве, основанном на понятии объема. //Вестник МГУ, сер. физика, 1976, №3, 288-296.

14. Г.С. Асанов. Наблюдаемые в общей теории относительности. Финслеров подход. //Вестник МГУ, сер. физика, 1976, №7, 84-88.Литература134

15. В.А. Белинский, Е.М. Лифшиц, И.М. Халатников. Колебательный режим приближения к особой точке в релятивистской космологии. //Успехи физических наук, 1970, 102(3), 463-500.

16. Дж. Бим, П. Эрлих. Глобальная лоренцева геометрия. М., 1985.

17. Г. Биркгоф. Теория решеток. М., 1984.

18. Н. Биррелл, П. Девис. Квантованные поля в искривленном пространстве-времени. М., 1984.

19. Р.Л. Бишоп, Р.Д. Криттенден. Геометрия многообразий. М., 1967.

20. Г.Ю. Богословский. О специальной релятивистской теории анизотропного пространства-времени. //ДАН СССР, 1973, 213, 1055-1058.

21. В.Г. Болтянский. Анизотропный релятивизм. //Дифференциальные уравнения, 1974, 10(12), 2101-2110.

22. Ю.Д. Бураго, В.А. Залгаллер. Введение в римапову геометрию. СПб., 1994.

23. Н. Бурбаки. Теория множеств. М., 1965.

24. Ф.П. Васильев. Численные методы решения экстремальных задач. М., 1988.

25. A.M. Вершик, В.Я. Гершкович. Неголономные динамические системы. Геометрия распределений и вариационные задачи. //Динамические системы-7. Сб. ст. Серия: Современные проблемы математики, фундаментальные направления, т. 16. М., 1987, стр. 5-85.

26. A.M. Вершик, Л.Д. Фаддеев. Дифференциальная геометрия и лагранжева механика со связями. //ДАН СССР, 1972, 202(3), 555-557.

27. A.M. Вершик, Л.Д. Фаддеев. Лагранжева механика в инвариантном изложении. //Проблемы теоретической физики. Сб. ст. Л., 1975, стр. 129-141.Литература135

28. A.M. Вершик, А.Г. Черняков. Критические точки полей выпуклых многогранников и оптимум по Парето Смейлу относительно выпуклого конуса. //ДАН СССР, 1982, 266(3), 529-532.

29. Э.Б. Винберг. Теория однородных выпуклых конусов. //Труды московского матем. общества, 1963, 12, 303 358.

30. Э.Б. Винберг. Инвариантные выпуклые конусы и упорядочивания в группах Ли. //Функциональный анализ, 1980, 14(1), 1-13.

31. H.A. Громов. Контракции и аналитические продолжения классических групп. Сыктывкар, 1990.

32. А.К. Гуц. Аксиоматическая теория относительности. //Успехи матем. наук, 1982, 37(2), 40-79.

33. А.К. Гуц, A.B. Левичев. К основаниям теории относительности. //ДАН СССР, 1984, 277(6), 1299-1303.

34. Я.Б. Зельдович, А.Д. Долгов, М.В. Сажин. Космология ранней Вселенной. М., 1988.

35. Я.Б. Зельдович, И.Д. Новиков. Теория тяготения и эволюция звезд. М., 1971.

36. С.Б. Козлов. Математические основы специальной теории относительности и пространство Лобачевского. СПб., 1995.

37. В.Я. Крейнович. К проблеме метризации пространств кинематического типа. //ДАН СССР, 1974, 218(6), 1272- 1275.

38. В.Р. Крым. Линейные пространства кинематического типа. //Зап. научн. семин. ПОМИ, 1997, 246, 152-173.

39. В.Р. Крым. Гладкие многообразия кинематического типа. //Теор. и матем. физика, 1999, 119(2), 264-281.

40. В.Р. Крым. Уравнения геодезических для заряженной частицы в об7)единенной теории гравитационных и электромагнитных взаимодействий. //Теор. и матем. физика, 1999, 119(3), 517-528.

41. В.Р. Крым. Уравнения Эйнштейна в отсутствии, материи на пятимерном многообразии с каузальной структурой. //Зап. научн. семин. ПОМИ, 1999, 261, 155-166.Литература136

42. Л.Д. Ландау, Е.М. Лифшиц. Теория поля. М., 1988.

43. А. Пайс. Научная деятельность и жизнь Альберта Эйнштейна. М., 1989.

44. Р. Пенроуз. Структура пространства-времени. М., 1972.

45. H.H. Петров. Существование абнорм,альных кратчайших геодезических в субримановой геомет,рии. //Вестник СПбГУ, сер. 1, 1993, №3, 28-32.

46. Р.И. Пименов. Пространства кинематического типа. //Зап. научн. семин. ЛОМИ, 1968, 6, 3-496.

47. Р.И. Пименов. Полуриманова геометрия. //Труды семинара по векторному и тензорному анализу, 1968, 14, 154-173.

48. Р.И. Пименов. К основаниям теории дифференцируемого пространства-времени. //ДАН СССР, 1975, 222(1), 36-38.

49. Р.И. Пименов. Негладкие и другие обобщения в теории пространства-времени и электричества. //Препринт Коми филиала АН СССР, №47, Сыктывкар, 1979.

50. Р.И. Пименов. О полноте решения Шварцшильда. //Сиб. ма-тем. журнал, 1984, 25(5), 119-124.

51. Р.И. Пименов. Аксиоматика общерелятивистского и финсле-рова пространства-времени посредством причинности. //Сиб. матем. журнал, 1988, 29(2), 133-143.

52. Р.И. Пименов. Анизотропное финслерово обобщение теории относительности как структуры порядка. Сыктывкар, 1987.

53. Р.И. Пименов. Основы теории темпорального универсума. Сыктывкар, 1991.

54. Л.С. Понтрягин, В.Г. Болтянский, Р.В. Гамкрелидзе, Е.Ф. Мищенко. Математическая теория оптимальных процессов. М., 1961.

55. Ю.Б. Румер. Исследования по 5-оптике. М., 1956.

56. X. Рунд. Дифференциальная геометрия финслеровых пространств. М., 1981.

57. С. Стернберг. Лекции по дифференциальной геометрии. М., 1970.Литература137

58. И. Тамура. Топология слоений,. М., 1979.

59. М.А. Улановский. Упорядоченные псевдоримаповы пространства. //Украинский геометрический сборник, 1970, №7, 153 1G5.

60. М.А. Улановский. Упорядоченные псевдоримаповы пространства. //Украинский геометрический сборник, 1970, №9, 96110.

61. Физическая наука и философия. Сб. статей. М., 1973.

62. А.Ф. Филиппов. Дифференциальные уравнения с разрывной правой частью. М., 1985.

63. А.Ф. Филиппов. О некоторых вопросах теории оптимального регулирования. //Вестник МГУ, сер. мат., мех., 1959, №2, 2532.

64. С. Хокинг. От большого взрыва до черных дыр. М., 1990.

65. С. Хокинг, Дж. Эллис. Крупномасштабная структура пространства-времени. М., 1977.

66. А.С. Шварц. Квантовая теория поля и топология. М., 1989.

67. A.D. Alexandrov. A contribution to chronogeom.etry. //Canadian J. Math., 1967, 19(6), 1119-1128.

68. D. Bailin, A. Love. Kaluza Klem theoris. //Reports on Progress in Physics, 1987, 50, 1087-1170.

69. R.W. Brockett. Nonlinear control theory and differential geometry. //Proc. of the Int. Congress of Math., Warszawa, 1983.

70. H. Busemann. Timelike spaces. //Rozprawy Matematyczne, 1967, №53, 3-50.

71. H. Busemann, J.K. Beein. Axioms for indefinite metrics. //Rend. Circolo Mat. Palermo, 1966, 18, 223-246.

72. A. Einstein, P. Bergman. On a generalization of Kaluza's theory of electricity. //Ann. Math., 1938, 39, 683-701.

73. H. Everett. "Relative state" formulation of quantum mechanics. //Rev. Mod. Phys., 1957, 29, 454-459.Jlure paTypa138