CC BY
38
2017, Т. 159, кн. 1 С. 47-63
УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online)
УДК 514.822
НОРМАЛЬНЫЕ КООРДИНАТЫ В АФФИННОЙ ГЕОМЕТРИИ
М.О. Катанаев
Математический институт им. В.А. Стеклова РАН, г. Москва, 119991, Россия
Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Аннотация
Рассмотрены многообразия, на которых задана аффинная геометрия общего вида с нетривиальным метрикой, кручением и тензором неметричности. В последнее время такие многообразия привлекают большое внимание в связи с построением обобщенных моделей гравитации. В предположении, что все геометрические объекты являются вещественно аналитическими функциями, построены нормальные координаты в некоторой окрестности произвольной точки путем разложения компонент связности и метрики в ряды Тейлора. Показано, что нормальные координаты являются обобщением декартовой системы координат в евклидовом пространстве на случай многообразий с произвольной аффинной геометрией. При этом компоненты произвольного вещественно аналитического тензорного поля в окрестности каждой точки представляются в виде степенных рядов, коэффициенты которого строятся из ковариантных производных, тензоров кривизны и кручения, вычисленных в точке разложения. Для пространств постоянной кривизны ряды просуммированы в явном виде и найдено выражение для метрики в нормальных координатах. Показано, что нормальные координаты задают гладкое сюрьективное отображение евклидовых пространств на пространства постоянной кривизны. Уравнения экстремалей проинтегрированы в явном виде для пространств постоянной кривизны в нормальных координатах. Проанализирована связь нормальных координат с экспоненциальным отображением.
Ключевые слова: нормальные координаты, гауссовы координаты, римановы координаты
Введение
Нормальные координаты, которые называются также геодезическими или ри-мановыми, играют большую роль в математической физике. Они впервые были введены Риманом [1] для римановых многообразий, для которых кручение и тензор неметричности тождественно равны нулю. Римановы координаты подробно рассмотрены, например, в [2, 3]. Это построение без труда переносится на псевдо-римановы многообразия с неположительно определенной метрикой [4, 5].
В последние годы в математической физике широко исследуются модели, основанные на аффинной геометрии общего вида с нетривиальным кручением и тензором неметричности (см., например, [6, 7]). В настоящей статье построены нормальные координаты для многообразий с аффинной геометрией общего вида, когда заданы метрика, кручение и тензор неметричности. Сначала мы вводим эту систему координат с помощью рядов. При этом предполагается, что все геометрические объекты являются вещественно аналитическими, то есть их компоненты разлагаются в сходящиеся степенные ряды в некоторой окрестности произвольной точки многообразия. Затем дано определение с помощью экспоненциального отображения.
Нормальные координаты в пространствах аффинной связности общего вида рассматривались, например, в [8, 9]. В этих монографиях можно найти, в частности, теорему 1 и лемму 1, которые приведены в настоящей статье для полноты изложения. Теорема 3, насколько известно автору, ранее в литературе не встречалась. Явное выражение для коэффициентов разложения второго порядка в формуле (19), по-видимому, также приведено впервые. В разделах 3 и 4 проведено сравнение полученных формул с известными выражениями для (псевдо)римановых многообразий.
В дальнейшем мы увидим, что декартовы координаты являются нормальными координатами в евклидовом пространстве М". В этом смысле нормальные координаты являются обобщением декартовой системы координат на общий случай многообразия с заданной аффинной геометрией.
1. Нормальные координаты
Пусть на многообразии M, dimM = n, задана аффинная геометрия (M, g, Г). Мы предполагаем, что компоненты метрики g и аффинной связности Г являются вещественно аналитическими функциями, то есть в некоторой окрестности каждой точки xo G M представимы в виде сходящихся степенных рядов. Мы рассмотрим специальную систему координат в окрестности точки xo, которая является аналогом декартовой системы координат в евклидовом пространстве и имеет многочисленные приложения. В литературе эта система координат встречается под разными названиями: геодезические, римановы или нормальные координаты - и строится в (псевдо)римановом пространстве. Мы построим такую систему координат в более общем случае произвольной аффинной геометрии.
Сначала рассмотрим геодезические линии вблизи точки xo G M. Пусть на многообразии задана кривая x(t), t G R, проходящая через точку xo в заданном направлении,
xa(0) =: x^, xa(0)=: x%, (1)
где xа, a = l,...,n, - локальные координаты точки x. Для того чтобы кривая была геодезической, функции x (t) должны удовлетворять уравнениям для геодезических
xa = -ГР1а xв xY, (2)
где ГeYa(x) - компоненты аффинной связности; точки обозначают дифференцирование по каноническому параметру t, с начальными условиями (1). При достаточно малых t будем искать решение уравнений для геодезических в виде степенного ряда
xа = xо + xоt + 2 xat2 + 3! xot3 + ■ ■ ■. (3)
Первые два члена ряда определяются начальными условиями (1), а все последующие - уравнениями (2). В нулевом порядке по t из уравнений для геодезических следует равенство
° в ° xа = -Гв~,аx'ex~g, где Гв7а :=Гв7а(xo).
Первый порядок уравнений по t определяет кубический член разложения в (3):
о о о
x а = (-ds Гв7а + 2ГeYer{Se}a) xe xY xo,
где для краткости мы допускаем некоторую вольность в обозначениях:
о
ds TeYa := ds 'Гв1а |Ж=Ж0 .
Следовательно, решение задачи Коши для геодезических в третьем порядке по £ имеет вид
ха = х% + X- 1 Г0в7аХвXо- 6 Г- 2ГXвX70х0I3 + • • • . (4)
Коэффициенты при более высоких степенях Ьк, к > 4 пропорциональны (хо)кЬк с коэффициентами, зависящими от аффинной связности и их частных производных вплоть до (к - 2) -го порядка, вычисленных в точке хо . Интервал сходимости ряда (4) определяется начальными данными и компонентами аффинной связности.
Перейдем к определению нормальных координат в некоторой достаточно малой окрестности Юо С М точки хо. Пусть М - многообразие с заданной аффинной связностью. Предположим на время, что кручение равно нулю, то есть Гв7а = Г7в°. Закон преобразования компонент аффинной связности при преобразовании координат ха ^ ха (х) имеет вид
Гв'Уа' = др'хвдух1 (Трэдах"' - ха'). (5)
Проведем преобразование координат, которое задается квадратичным полиномом с постоянными коэффициентами
II 1 ° 1С
ха = Ваа (ха - х%) + 2 Тр1аЕаа (хр - хрр )х - х~<), (6)
где Ваа - произвольная невырожденная постоянная матрица. Тогда в новой системе координат компоненты аффинной связности будут равны
Гр' у а' = др' хр д1' х1
Гр7^Ваа' + Га6еВео/(х - х0^ - Гр7аВаа'
Отсюда следует, что в точке хо компоненты аффинной связности без кручения обращаются в нуль, так как обращается в нуль выражение в квадратных скобках.
Если связность обладает кручением, то, поскольку кручение является тензором, его нельзя обратить в нуль никаким преобразованием координат даже в одной точке.
Выше мы доказали, что для произвольной аффинной связности в произвольной заданной точке хо всегда можно обратить в нуль симметричную часть связности. Для этого достаточно выбрать соответствующим образом только квадратичные члены в функциях преобразований координат (6). Данная система координат существует в окрестности произвольной точки хо € М и определена неоднозначно. Во-первых, матрица Ваа в (6) является невырожденной, а в остальном произвольна. Во-вторых, в правило преобразования координат (6) можно добавить произвольные слагаемые третьей и более высокой степени по (х - хо). Этот произвол в выборе системы координат можно использовать для дальнейшей специализации системы координат.
Геометрический смысл построенной системы координат состоит в том, что в достаточно малой окрестности точки хо свойства многообразия близки к свойствам аффинного пространства, так как при параллельном переносе компоненты тензоров в линейном приближении по вектору смещения не меняются. Как и декартовы координаты в евклидовом пространстве, данные координаты в точке хо определены, в частности, с точностью до линейных преобразований.
Можно доказать, что симметричную часть компонент аффинной связности можно обратить в нуль не только в фиксированной точке, но и вдоль произвольной
кривой 7 на многообразии М [10]. Соответствующая система координат называется геодезической вдоль кривой 7 € М.
Оставшийся произвол в выборе системы координат можно использовать для дальнейшей специализации геометрических объектов. Воспользуемся свободой добавления высших степеней (х — хо)к, к > 3, в закон преобразования координат (6) и покажем, что в произвольной точке хо € М можно обратить в нуль не только симметричные части самих компонент аффинной связности, но и все их полностью симметризованные частные производные.
Теорема 1. Если компоненты аффинной связности вещественно анали-тичны, то в окрестности произвольной точки хо € М существует такая система координат, что выполнены равенства
° ° к 2 0
Г{7172}" = °, дЬз Г7172}° = °, ••• дк-3...7к Г7172}° = °, •••> (7)
где фигурные скобки обозначают симметризацию по всем индексам, заключенным между ними.
Доказательство. Перепишем закон преобразования компонент аффинной связности (5) в виде
Гв'7'а' Аа,а = Лр,в т Гв7а + др Ауа, (8)
где матрица Аа'а(х) := J = да'ха - обратная матрица Якоби преобразования координат. Дифференцирование этого соотношения по хв приводит к равенству
: + ГрУа' дв' А а 'а = дв' Ар в 7 Гр,а+
Ц' Г р1' Аа' + Г р1' дв' Аа' = дв' Ар А1' Г р{
+ Ар в дв' А1'7 Гв7а + Ар в А1'7 дв' ГР1а + д% А1'а. (9)
Последовательное дифференцирование полученного соотношения приводит к равенствам, содержащим старшие производные от компонент аффинной связности и обратной матрицы Якоби Аа'а. Рассматривая эти тождества в точке х0, мы докажем возможность выбора системы координат, в которой выполнены равенства (7), по теории возмущений.
Совершим преобразование координат х ^ у(х). Предположим, что вблизи точки хо € М обратное преобразование задается степенным рядом
дха др
7 1 д2ха
о У + 2
71 72 +1 д3ха у пу '2 +---
0У У 3! ду71 ду72ду73
Уту<2у/3 + ... • (10)
о
Здесь для новой системы координат мы используем букву у, чтобы избежать штрихов у индексов. Выберем первые три члена разложения в виде
дха др
д2х
ду 71 ду 72 д 3ха
:= ,
о
Г
ду 71 ду 72 ду 73
{7172}
2Г в Г д Г
^ {7172 67з} д{731 7172}
о
Тогда из уравнений (8), (9) следует, что в новой системе координат справедливы равенства
00 Г{7172}° = ° д{7з Г7172}° =
х
хо +
о
Выбор квадратичного члена ряда (10) уже был использован ранее. Выбор кубического члена разложения позволил обратить в нуль симметризованную первую частную производную аффинной связности в той же точке.
В дифференциальные тождества, получаемые последовательным дифференцированием (8), максимальная степень производной от обратной матрицы Якоби Ла'а всегда входит линейно и на единицу превышает максимальную степень производной от компонент аффинной связности. Это означает, что коэффициенты ряда (10) всегда можно подобрать таким образом, чтобы обратить в нуль все сим-метризованные частные производные от коэффициентов аффинной связности (7). В этом нет ничего удивительного, так как члены ряда (10), начиная с квадратичного, находятся во взаимно однозначном соответствии с условиями на аффинную связность (7). □
Нетрудно проверить, что ряд (10), определяющий преобразование координат, в точности совпадает с рядом (4), определяющим геодезические линии, если положить ya := ¿at. Поэтому в новой системе координат прямые линии ya = Xat, где t € R, и Xa - произвольные числа, из которых по крайней мере одно отлично от нуля, являются геодезическими линиями на M. Здесь прослеживается аналогия с декартовой системой координат в евклидовом пространстве: геодезические являются прямыми линиями.
Построенная система координат является нормальной системой координат в некоторой достаточно малой окрестности Uo, определяется только симметричной частью компонент аффинной связностью и никак от метрики не зависит. При этом у нас остался произвол в выборе первых двух членов разложения функций преобразования координат (10). Слагаемое нулевого порядка определим так, чтобы точка ¿о отображалась в начало координат yo = (0,..., 0). Слагаемое первого порядка по ya можно использовать для фиксирования значения метрики в начале координат. Очевидно, что его всегда можно подобрать таким образом, чтобы метрика в точке ¿о была диагональной:
При этом сигнатура метрики может быть произвольной. Таким образом, мы однозначно фиксировали все члены разложения функций преобразования координат (10). Это доказывает следующее утверждение.
Теорема 2. Пусть в окрестности произвольной точки хо € М .многообразия, на котором задана аффинная геометрия,, метрика и связность заданы вещественно аналитическими функциями. Тогда существует такая система координат уа, что точка хо соответствует началу координат, а также выполнены равенства (7) и (11). Такая система координат определена однозначно с точностью до 0(р, д) вращений координат уа .
Система координат уа в теореме 2 называется нормальной, геодезической или римановой.
Предложение 1. Система координат уа в некоторой окрестности начала координат является нормальной тогда и только тогда, когда выполнены условия
p + q = n.
(11)
Гв-Лу)ув у' =0 и дав (0) = Пав.
(12)
Доказательство. В нормальной системе координат геодезическая линия, проходящая через точку xo в направлении uo, является прямой и задается параметрически в виде
ya (t) = uat. (13)
Подстановка этого выражения в уравнение для геодезических линий (2) дает
и^ив Гав7 _ 0.
Умножив это уравнение на t2, получим (12).
Обратно. Пусть выполнено уравнение (12). Разложим компоненты связности в ряд Тейлора вблизи начала координат. Тогда уравнение (12) эквивалентно цепочке равенств (7). Затем разложим уравнение геодезических и сами геодезические в ряды Тейлора по t. Приравняв нулю коэффициенты при одинаковых степенях t, получаем, что прямые линии и только они являются геодезическими линиями, проходящими через начало координат. □
Нормальная система координат обладает рядом замечательных свойств. В частности, в окрестности начала координат компоненты произвольного тензорного поля можно представить в виде ряда, коэффициенты которого зависят от ковари-антных производных этого поля и тензоров кривизны, кручения и их ковариантных производных, вычисленных в точке xo. Доказательство этого утверждения проводится конструктивно, путем явного построения соответствующего разложения.
Для доказательства нам понадобится предварительный результат.
Лемма 1. Пусть связность Г на M вещественно аналитична. Тогда в окрестности начала нормальной системы координат все производные
ГYk}ав: (14)
где, в отличие от (7), симметризация проводится только по части нижних индексов, выражаются через тензоры кривизны, кручения и их ковариантные производные.
Доказательство. Лемма доказывается прямыми, но громоздкими вычислениями. Поэтому мы ограничимся только первыми двумя слагаемыми.
Используя свойства (7), нетрудно доказать равенства
о 1 / о о О \
U г в _ _ I U Г в _ U Г в + OU T в \
U{Yl Y2}a — з I u{yií aj2} uaL {Y1Y2} > zU{YlT Y2}a I , 1
U2 Г в _ _ ¡ й2 Г в _ и2 Г в i Ой2 T
U{Y1Y2 Y3}a 3 1U{Y1Y2 aY3} Ua{Yl Y2Y3} zu{yiY2 T Y3}a
(15)
где :_ Гав7 — Г ваР - компоненты тензора кручения. Здесь и далее фигурные
скобки обозначают симметризацию только по индексам 71, 72, ■■ ■
В точке хо аффинная связность полностью определяется тензором кручения
° в 1 ° в
Г7а ^ TYa ■ (16)
Далее, прямые вычисления приводят к следующим равенствам
О О О ° с °
о в _ д Г в _ д Г " _ —Т "Т в
■па{~/1~/2} — иа*- {Y1 Y2} 11 0^2} л Т a{Yl Т Y2}д ,
У Я в = д2 Г в — г)2 Г в + - Я 6 Т в +
У {71 Яа-у273} да{71 7273} д{7172 «73^^ 3 Яа{7172 Т 73}6
9 о о 1 о о 1 о
2 ° 6 ° в , ° 5 1 ° _ 6
+ _Т г 6 Я 1в + -Уг Т 6Т 1/__Т г 6У Т 1/
Т3Т а{71 ^67273} Т 6 V{71 ± 72« Т 7з}6 3Т «{71 У 72Т 7з}6 ,
°°
Т в = д Т в,
У{71 ± 72}а — д{71 Т 72}а ,
° ° 1 ° г° 1 °г° Х7 Т в _ д2 Т в + _Я 6 Т в + _Т 6 Я в +
V {71 У72 Т 73}а — д{7172 Т 73}а "Г 6 Яа{7172 Т 73}6 Т „ Т а{71 ^67273} "Т"
а{7172 73}6 1
1 ° ° 1 ° ° + -Уг Т 6Т тЛ + -Т г 6У Т 1/ 6 {71 Т 72° Т 73}6 6Т V 72Т ™6 •
Используя полученные формулы, правые части (15) можно записать в ковариант-ном виде
° в 1 ( ° в ° в 1 ° 6 ° вА
д{71 Г72}а = 3 ( -Иа{7172} + 2У{71 Т72}а - 4Та{71 Т72}6 I , (17)
д2 Г в = 1 |_\7 Я в + 1° 6 Т в + 1Т 6 Я в +
д{7172 73}а з I У {71 гса7273} ' 3 -гха{7172 Т 73}6 ' 3Т а{л гс67273} '
12
гг, 6гг, в ¿г
а\
+ 2У{71 У72 Т73}ав 6 У{71 Т72а Т-У3}6в 3 Та{л У72Т73}6^ , (18)
где, напомним, симметризация проводится только по индексам 71, 72, •• • Аналогичным образом все частные производные от связности вида (14) можно выразить через ковариантные объекты. □
Теперь можно доказать утверждение о разложении компонент произвольного тензорного поля в окрестности начала нормальной системы координат в ряд Тейлора. Для определенности рассмотрим произвольный ковариантный тензор второго ранга Аав в нормальных координатах и разложим его в ряд Тейлора вблизи начала координат:
° ° 1 °
Аав (у) = Аав + д1 Аав У7 + 2 д^ А«в у71 у72 + • • • • (19)
Эта процедура явно нековариантна, потому что координаты у1 не являются компонентами вектора, и коэффициенты этого ряда также нековариантны. Основным достоинством нормальных координат является то, что все коэффициенты этого ряда, тем не менее, можно выразить через ковариантные величины. Для этого необходимо выразить все частные производные через ковариантные и выразить компоненты аффинной связности в начале координат через тензор кривизны, кручения и их ковариантные производные. Начнем с первой производной
д-у Аав = У 7 Аав + Г7а6 А6в + Г7в6 Аа6 = У-у Аав + 2 Т-уа А6в + - Т1в&Аа6 ,
1 ° 6 ° 1, 2 Т7а А6в + 2
где мы воспользовались формулами (16). Прямые, но более громоздкие выкладки позволяют представить вторые частные производные также в ковариантном виде:
2 ° ° ° 6 ° ° 6 ° 1 ° 6 ° ° д7172 Аав = У{71 У72 }Аав + Т{ла Ул}А6в + Т{ив У 72}Аа6 + 2 Т{ла Т72}^А6е +
1 ( ° 6 ° 6 ° с ° 6\ °
+ 3 (-Яа{7172} + 2У{71 Т72}а - Та{7^Т72}с ) А6в +
1 ° ° ° с ° °
+ 3 V- Яв{7172} +2У{71 Т 72}в - Тв{71€ Т72}с ) Аа6 •
Эту процедуру можно продолжить вплоть до произвольного порядка. Однако уже для третьего порядка формулы настолько громоздки, что нет смысла их приводить в явном виде.
Ясно, что аналогичное представление справедливо для тензорного поля произвольного ранга и типа. Поэтому справедлива следующая
Теорема 3. Компоненты произвольного вещественно аналитического тензорного поля в некоторой окрестности начала нормальной системы координат представимы в виде ряда Тейлора, коэффициенты которого определяются ковариантными производными компонент данного тензорного поля, а также тензором кривизны, тензором кручения и их ковариантными производными, взятыми в начале координат.
2. Нормальные координаты в (псевдо)римановом пространстве
Основное достоинство нормальных координат заключается в том, что вещественно аналитические тензорные поля в окрестности Юо С М произвольной точки хо € М представляются в виде ряда Тейлора, коэффициенты которого задаются только ковариантными объектами: ковариантными производными данного тензорного поля, а также тензорами кривизны и кручения и их ковариантными производными. В предыдущем разделе были явно вычислены первые два члена этого ряда для ковариантного тензора второго ранга. Эти члены содержат много слагаемых с тензором кручения. Поэтому в (псевдо)римановой геометрии, где кручение тождественно равно нулю, формулы упрощаются, и можно продвинуться значительно дальше в вычислениях.
о
В (псевдо)римановой геометрии в нормальных координатах имеем Га^7 = 0, и ковариантная производная произвольного тензора в этой точке совпадает с частной производной. При этом в выражении для тензора кривизны пропадают квадратичные слагаемые по связности:
о 6 о 6 о ^
В-а/З-/ = даГв7 — дв Га7
о 1 ! о о о о \
= 2(да-у 9в6 - да6 9 ¡3-/ - др~/ 9 а6 + дв6 9 аП )■
Вычисления, аналогичные тем, что привели к формулам (17), (18), в (псевдо)ри-мановой геометрии дают равенства
о 1 о
д Г в = _ _ В в
д|Т1 72}а з Ва{л^2} ,
о 1 о
д{7172 Г1з}ав = - 2 У(71 Ва121з}в, (20)
о х о V о о
д 3 Г в = __\7 \7 В в___В 6 В в
\717273 74}а 5 у {71 У 72 15 Ва{л 72 ^67374} ,
V - о в 2 "б
где симметризация проводится только по индексам 71, 72, ■■ ■ Здесь мы дополнительно вычислили третью симметризованную производную от связности.
Разложим ковариантный тензор Аа1...аз произвольного ранга в в окрестности точки хо в ряд по нормальным координатам:
о о 1 2 о
Аа1...а3 Аа1...а3 + д7 Аа1...а3 У7 + 2 д^112 Аа1--.а3 У71 У72 + * * * ■
или
Преобразовав частные производные в ковариантные и исключив слагаемые со связностью с помощью формул (20), получим следующий ряд:
о о
Aal...as Аа1 ...а3 + Aаl...аs У^ +
1 / о 1 ^^ о о N
+ 2! ( УТ2 Aа!...аs — 3 / у ^ак7!12 Аа1 У71 У72 +
\ к = 1 )
+ 3! ( ^72 Aаl...аs У Н-ак-у172 У7з Аа
к=1
1 8 \
1 о о
^ У71 Еат вк Аа^...«,) У^ У'2 у73 + ••• • (21) к=1 )
Под знаком суммы подразумевается суммирование по немому индексу вк, кото-
0
рый стоит на к-м месте в Aаl.вk.аs. В полученном выражении симметризацию по индексам 71, 72, •• • можно не указывать, так как происходит свертка с симметричным произведением у71 • • • у1к .
Аналогичные ряды можно построить для тензоров, содержащих произвольные наборы ковариантных и контравариантных индексов. Во всех случаях коэффициенты ряда вплоть до любого порядка могут быть выражены только через ковари-антные объекты в точке хо.
Нормальные координаты особенно удобны при анализе (псевдо)римановой метрики. В этом случае возникает дополнительное упрощение, поскольку все ковариантные производные от метрики тождественно равны нулю. Несложные вычисления показывают, что ряд (21) для метрики в нормальных координатах принимает вид
1 о 1 о
9ав = Пав - 3 Еа1112в У'1 УП - 3 УТ1 Да727зв У'1 У'2 У^ +
1 / о 16 о о \
+ 5! ( -6У71 У72 йа7з74в + у Да7172 6 Я&ъчв) У^ У^ У^ У* + • • • , (22) где мы также вычислили слагаемое четвертого порядка.
3. (Псевдо)римановы пространства постоянной кривизны
Выражение для метрики в нормальных координатах (22) принимает особенно простой вид для пространств постоянной кривизны, которые определяются равенством УеКав~/6 = 0 (см., например, [2, 11]).
Предложение 2. В пространстве постоянной кривизны (псевдо)риманова метрика в окрестности произвольной точки хо € М в нормальных координатах Уа имеет вид
1 (_1) к 22к+2
дав = Пав + 2 Е (2к + 2)! ^ ^ • • • ^к-1 ^Пекв, (23)
где
Уек-1ек := кк-171726к У71 У72, ео = «•
Доказательство. Сначала проверяем, что первые два члена суммы действительно совпадают с (22) для пространств постоянной кривизны. Далее доказательство проводится по индукции. □
Ряд для метрики (23) можно просуммировать для пространств постоянной кривизны специального вида
2К
иа@7б = - п(п - (Яа-уЯрб - Яаб9@-у), К = соиб^ (24)
В этом случае в начале координат справедливо равенство
° 2К
=--;-7Т (Ца-уПвб - Паб) (25)
П(П — 1)
Тогда матрица Уав пропорциональна проекционному оператору:
V/ = ав (¿в- ^
где
2K а ß
a ■■= —,-TT, s := y Уа, Уа : = yßnaß,
n(n — 1)
и ряд для метрики принимает вид
+ 1 ( УаУß \ ^ 22fc+2 ( )k (
gaß = Vaß +2 [Vaß — ^ -ЩГ2). -^ ' ^
Это выражение для метрики определено и для s = 0, так как ряд начинается с линейного по s члена. Теперь ряд можно просуммировать, что приводит к следующему выражению для метрики:
gaß = f (s)naß + naß = fnaß + (1 — f) yaSyß, (27)
где метрика представлена в виде суммы проекционных операторов
пт := n yayß nL := yayß
Паß := Vaß--, naß : = -,
а функция f (s) определена рядом
^ (2k + 2)!
22k+2
f (s):=J2j2kT^(—as)k, (28)
k=0
который сходится на всей комплексной плоскости в. Тем самым доказано следующее утверждение.
Теорема 4. Пусть на многообразии .задана (псевдо)риманова .метрика д класса С2 такая, что многообразие является пространством постоянной кривизны вида (24). Тогда метрика д на М вещественно аналитична.
Доказательство. Прямая проверка показывает, что вещественно аналитическая метрика (27), (28) описывает многообразие постоянной кривизны (24). Единственность метрики следует из единственности решения задачи Коши для уравнений геодезических. □
Ряд (28) можно просуммировать. Для псевдоримановых пространств положительной кривизны К > 0, а > 0 и функция ](в) имеет вид
2
sin2
f(s) =
s > 0,
s = 0, (29)
sh2 л/—as -1-, s < 0.
s
as
1
as
Функция ](в), как нетрудно проверить, аналитична.
Для псевдоримановых пространств отрицательной кривизны К < 0, а < 0
имеем равенство
sh у—as
f (s)4 1,
sin was
s> 0, s = 0,
s < 0.
(30)
Отметим, что на световом конусе, в = 0, метрика в обоих случаях совпадает с метрикой Минковского.
Если кривизна псевдориманова пространства постоянной кривизны равна нулю, К = 0, то / = 1.
Для римановых пространств постоянной кривизны всегда в > 0 и
f(s) =
sin was
1,
sh a/—as
K > 0, K = 0,
K<0.
(31)
Тот факт, что функция ](в) действительно приводит к ряду (26), проверяется непосредственно. Не зная функции f (в), ряд (26) можно просуммировать следующим образом. Представление (26) задает тензорную структуру метрики. В статье [12] для метрики более общего вида, которая параметризуется двумя произвольными функциями ](в) и д(в), были вычислены символы Кристоффеля и тензор кривизны. Рассматриваемому случаю соответствует условие
g =
(f + f ' s)2
f — afs
1,
где штрих обозначает дифференцирование по в. Последнее равенство задает обыкновенное дифференциальное уравнение первого порядка относительно ](в). Это уравнение легко решается путем подстановки
U = fs
(32)
Постоянная интегрирования находится из условия U(0) = 0 (ограниченность метрики).
Рассмотрим римановы пространства постоянной кривизны, для которых 9aß(0) = Saß. Метрика (27) принимает особенно простой вид в сферической системе координат евклидова пространства R" . В сферических координатах s = yayß5aß = = r2, где r - радиальная координата, и справедливы тождества
naß dyadyß = dr2, niß dya dyß = r2dü,
где d,Q - элемент телесного угла в евклидовом пространстве R". Таким образом, метрику пространств постоянной кривизны в нормальных координатах можно записать в виде
(33)
ds2 = dr2 + r2fdü.
Проанализируем пространство Rn с метрикой (33) подробнее. Объем сферы радиуса в Rn с метрикой (33) равен
s
n — 1
2W2 Г(п/2)
(r2f
n—1)/2
as
as
as
as
Мы видим, что нули функции /(г2) определяют те сферы в М", площадь поверхности которых равна нулю. Поскольку площадь поверхности является инвариантным объектом, то это означает, что на самом деле эти сферы соответствуют отдельным точкам пространства постоянной кривизны.
Нормальные координаты для многообразий постоянной кривизны определены для всех {уа} € М". При этом все геодезические, проходящие через точку хо, полны, так как канонический параметр пробегает всю вещественную прямую Ь € (—гс>, гс).
Проведенные рассуждения показывают, что справедлива
Теорема 5. Нормальные координаты на (псевдо)римановом многообразии М постоянной кривизны вида (24) в каждой точке хо € М задают гладкое сюрьек-тивное отображение
М" ^ М. (34)
Для римановых пространств нулевой кривизны нормальные координаты совпадают с декартовыми.
В общем случае отображение (34) не является взаимно однозначным. Поэтому в области определения нормальных координат М" можно задать отношение эквивалентности, отождествив те точки, которые отображаются на одну и ту же точку из М. Таким образом, пространство постоянной кривизны вида (24) можно рассматривать как евклидово пространство М" , в котором задано некоторое отношение эквивалентности между точками.
В качестве примера пространства постоянной положительной кривизны рассмотрим двумерную сферу 82 ^ М3 единичного радиуса. В этом случае К = 1, а =1, п = 2. Функция /(г2) в полярных координатах на плоскости М2 имеет вид
f(r2) =
. 2 sin2 r
что соответствует метрике
ds2 = dr2 + sin2 rdy .
Длина окружности на плоскости R2 радиуса r с центром в начале координат равна
2п
L = j dу sin r = 2п sin r.
о
Отсюда следует, что окружности радиусов r = nk, k = 1, 2,... , отображаются в одну точку сферы. При этом плоскость R2 бесконечное число раз «накрывает» сферу S2. Если условиться, что начало координат соответствует южному полюсу сферы, то при отображении R2 ^ S2 все окружности радиусов r = 2nk, k = = 0,1,... , соответствуют южному полюсу, а все окружности радиусов r = п+2nk -северному. В рассматриваемом случае между точками евклидовой плоскости возникает отношение эквивалентности
Va
ya ~ Va + — 2nk, k = 0,1,... r
Нормальные координаты были определены таким образом, что геодезические линии в них совпадают с прямыми. В (псевдо)римановом пространстве экстремали совпадают с геодезическими, поэтому также являются прямыми. Проверим это
для пространств постоянной кривизны, которые были рассмотрены выше. Уравнения для экстремалей, определяемых метрикой (27), можно проинтегрировать. Символы Кристоффеля в рассматриваемом случае имеют вид
V = f (yany + yß nlY) +-ff y< пае • (35)
Отсюда вытекают уравнения для экстремалей
Г = -2 f yаУвув + 2 f уа М^2 + f f s
+ 1 f2 fs уа(ув ув )2 - 1 f fs уа(Ув у13 )• (36)
s2 s
Эти уравнения имеют интеграл
Co = уаув9aß = уауа f - (f - 1) = const•
Прямая проверка показывает, что все прямые линии, проходящие через начало координат,
ya = vat, va = const, t e R,
являются экстремалями. Эти экстремали, очевидно, полны. Отметим, что символы Кристоффеля (35) равны нулю только в начале координат. В близких точках они отличны от нуля, и среди экстремалей прямыми являются только те, которые проходят через начало координат.
Уравнения для экстремалей (36) можно проинтегрировать и в общем случае, то есть найти те экстремали, которые не проходят через начало координат. Для этой цели рассмотрим зависимость s := уаувПар от t. Учитывая равенства
S = 2уаУа, S = 2уаУа + 2УаУа,
из уравнений для экстремалей получаем обыкновенное уравнение относительно s(t):
/1 U'\ 2 2C0U 's
e=U - ~zU) s +
где функция U(s) определена равенством (32),
sin2 yäs U (s) = -•
ä
Рассмотрим случай Coa > 0. Введя новую переменную z2 = as при as > 0 и растянув канонический параметр t ^ t/^/C0a, приходим к уравнению
z = (1 - Z2) ctg z,
которое можно явно проинтегрировать. Общее решение этого уравнения имеет вид cos^äs = - — sin(t + to), Ci = const > 1, t0 = const Аналогично рассматриваются все остальные случаи.
Таким образом, для пространств постоянной кривизны специального вида (25) в нормальных координатах можно найти все экстремали и проанализировать их поведение.
4. Нормальные координаты и экспоненциальное отображение
Пусть задана аффинная связность Г на многообразии M и y = x(t) - геодезическая. Если задана точка xo G M и касательный вектор скорости uo принадлежит To(M), то существует единственная геодезическая, проходящая через xo с начальным вектором uo, при этом канонический параметр определен с точностью до сдвига. Таким образом, каждая геодезическая однозначно определена парой (xo,uo).
Геодезическая линия x(t) является интегральной кривой для векторного поля скорости u(t) := x(t). Тогда для полных геодезических определено экспоненциальное отображение
exp(tuo) : xo ^ x(t), (37)
которое отображает начальную точку xo в точку x(t) . Если вектор скорости uo принимает все возможные направления в касательном пространстве To (M), то экспоненциальное отображение (37) можно рассматривать как отображение касательного пространства в многообразие
exp(tuo) : To(M) э tuo ^ x(t) G M, (38)
для которого мы сохраним прежнее обозначение.
По построению каждая прямая в касательном пространстве To(M), проходящая через начало координат, отображается в соответствующую геодезическую. Ясно, что такое отображение можно построить для каждой точки xo G M.
Если геодезическая неполна, то экспоненциальное отображение (38) определено только для некоторого интервала значений канонического параметра -ci <t<C2 , где ci > 0, £2 > 0 .В результате экспоненциальное отображение будет определено в некоторой окрестности начала координат касательного пространства. Если связность на M из класса Сœ, то экспоненциальное отображение будет того же класса гладкости Сж . Поскольку дифференциал экспоненциального отображения в точке xo невырожден, то существует окрестность Uo Э xo такая, что экспоненциальное отображение (38) является диффеоморфизмом Uo ^ Vo С To(M), где Vo - некоторая окрестность касательного пространства, содержащая начало координат. Выберем координатный репер {да} в точке xo и предположим, что векторы скорости принимают значение на единичной сфере
n
E(ua )2 = i.
а =1
Теперь отождествим касательное пространство To(M) с евклидовым пространством Rn естественным образом, отождествив координаты касательного вектора {tuа} с декартовыми координатами точки {yа} в Rn . В результате получим координатную систему, определенную на Uo .
Система координат в окрестности Uo С M точки xo, определенная экспоненциальным отображением (38),
V : M D Uo Э {xа(t)} ^ {yа := tua} G Vo С Rn,
называется нормальной.
Подчеркнем, что нормальная система координат определена исключительно связностью, а не метрикой, которой вообще может не быть на многообразии.
Если на многообразии M помимо связности Г задана также метрика g, то исходную систему координат x в окрестности точки xo можно всегда выбрать таким образом, что координатный базис да будем ортонормальным в данной точке
xo, то есть gaß(xo) = паß. Мы всегда предполагаем, что для нормальной системы координат при наличии метрики это условие выполнено. Наконец, сформулируем теорему существования [13].
Теорема 6 (Уайтхед). Пусть yа - нормальная система координат в окрестности точки xo G M. Определим окрестность Uo(p) точки xo равенством
E(y а )2 <р2-
а
Тогда существует положительное число r такое, что если 0 < р < r,
1) окрестность Uo(p) является геодезически выпуклой, то есть любые две точки из Uo(p) можно соединить геодезической, целиком лежащей в Uo(p) ;
2) каждая точка из Uo(p) имеет нормальную координатную окрестность, содержащую Uo(p).
Заключение
Построены нормальные (римановы, геодезические) координаты для многообразий с заданной аффинной геометрией общего вида, которая определяется метрикой, кручением и тензором неметричности. Предполагается, что все поля задаются вещественно аналитическими компонентами. Дано локальное определение нормальных координат с помощью разложений компонент в ряды Тейлора и независимое определение с помощью экспоненциального отображения. Вычислены первые три члена степенного разложения ковариантного тензора второго ранга в нормальных координатах. Показано, что компоненты произвольного вещественно аналитического тензора в некоторой окрестности произвольной точки представляются в виде ряда Тейлора, коэффициенты которого выражаются через ковариантные производные и тензоры кривизны и кручения. Для специального класса (псевдо)римановых пространств постоянной кривизны при нулевом кручении и неметричности ряды Тейлора просуммированы и найдено явное выражение для метрики. Вычислены соответствующие символы Кристоффеля и проинтегрированы уравнения для геодезических в нормальных координатах.
Литература
1. Риман Б. О гипотезах, лежащих в основаниях геометрии // Об основаниях геометрии: Сб. ст. - М.: Гос. изд-во техн.-теор. лит., 1956. - C. 309-341.
2. Эйзенхарт Л.П. Риманова геометрия. - М.: Иностр. лит., 1948. - 316 с.
3. Картан Э. Геометрия римановых пространств. - М.-Л.: ОНТИ НКТП СССР, 1936. -244 с.
4. Рашевский П.К. Риманова геометрия и тензорный анализ. - М.: Наука, 1967. - 664 с.
5. Петров А.З. Новые методы в общей теории относительности. - М.: Наука, 1966. -496 с.
6. Катанаев М.О. Геометрические методы в математической физике. Приложения в квантовой механике. Часть 1. - М.: МИАН, 2015. - 176 с.
7. Катанаев М.О. Геометрические методы в математической физике. Приложения в квантовой механике. Часть 2. - М.: МИАН, 2015. - 185 с.
8. Eisenhart L.P. Non-Riemannian Geometry. - N. Y.: Am. Math. Soc., 1927. - 184 p.
9. Схоутен И.А., Стройк Д.Дж. Введение в новые методы дифференциальной геометрии. Т. I. - М.-Л.: ГОНТИ, 1939. - 177 с.
10. Fermi E. Sopra i fenomeni che avvengono in vicinanza di una linea oraria // Atti Acad. Naz. Lincei Rend. Cl. Sci. Fiz. Mat. Nat. - 1922. - V. 31. - P. 21-23, 51-52, 101-103.
11. Катанаев М.О. Векторные поля Киллинга и однородная и изотропная вселенная // Усп. физ. наук. - 2016. - Т. 186 - С. 763-775. - doi: 10.3367/UFNr.2016.05.037808, arXiv: 1610.05628[gr-qc].
12. Катанаев М.О. Лоренц-инвариантные вакуумные решения в общей теории относительности // Труды МИАН. - 2015. - Т. 290. - С. 149-153. arXiv:1602.06331.
13. Whitehead J.H.C. Convex regions in the geometry of paths // Quart. J. Math. Oxford Ser. - 1932. - V. 3. - C. 33-42.
Поступила в редакцию 25.04.16
Катанаев Михаил Орионович, доктор физико-математических наук, ведущий научный сотрудник
Математический институт им. В.А. Стеклова РАН
ул. Губкина, д. 8, г. Москва, 119991, Россия Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: katanaev@mi.ras.ru
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online) UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA. SERIYA FIZIKO-MATEMATICHESKIE NAUKI (Proceedings of Kazan University. Physics and Mathematics Series)
2017, vol. 159, no. 1, pp. 47-63
Normal Coordinates in Affine Geometry
M.O. Katanaev
Steklov Mathematical Institute, Russian Academy of Sciences, Moscow, 119991 Russia Kazan Federal University, Kazan, 420008 Russia E-mail: katanaev@mi.ras.ru
Received April 25, 2016 Abstract
Manifolds of affine geometry of general type with nontrivial metric, torsion, and nonmetric-ity tensor have been considered. These manifolds have recently attracted much interest due to the construction of generalized gravity models. Assuming that all geometric objects are real analytic, normal coordinates have been constructed in the neighborhood of an arbitrary point by decomposing the connection and metric components to the Taylor series. It has been shown that normal coordinates generalize the Cartesian coordinates in the Euclidean space to the case of manifolds with affine geometry of general type. Components of an arbitrary real analytic tensor field in the neighborhood of each point can be expressed as power series with coefficients constructed from the covariant derivatives, curvature and torsion tensors computed at the decomposition point. The power series have been explicitly summed for constant curvature spaces, and an expression for the metric in normal coordinates has been found. It has
been shown that normal coordinates define the smooth surjective map of the Euclidean spaces to constant curvature manifolds. Equations for extremals in the constant curvature spaces have been explicitly integrated in normal coordinates. The relation between normal coordinates and exponential map has been analyzed.
Keywords: normal coordinates, Gaussian coordinates, Riemannian coordinates
References
1. Riemann B. Über die Hypothesen, welche der Geometrie zu Grunde liegen, Nachrichten von der Gesellschaft von Wissenschaften, Göttingen, 1868, vol. 13. pp. 133-152. (In German)
2. Eisenhart L.P. Riemannian Geometry. Princeton, Princeton Üniv. Press, 1926, 252 p.
3. Cartan E. Lecons sur la geometrie des espaces de Riemann. Paris, Gauthier-Villars, 1928. 273 p. (In French)
4. Rashevskii P.K. Riemannian Geometry and Tensor Analysis. Moscow, Nauka, 1967. 664 p. (In Russian)
5. Petrov A.Z. New Methods in General Relativity Theory. Moscow, Nauka, 1966. 496 p. (In Russian)
6. Katanaev M.O. Geometrical Methods in Mathematical Physics. Applications in Quantum Mechanics. Part 1. Moscow, MIAN, 2015. 176 p. (In Russian)
7. Katanaev M.O. Geometrical Methods in Mathematical Physics. Applications in Quantum Mechanics. Part 2. Moscow, MIAN, 2015. 185 p. (In Russian)
8. Eisenhart L.P. Non-Riemannian Geometry. New York, Am. Math. Soc., 1927. 184 p.
9. Schouten J.A., Struik D.J. Einfuhrung in die neueren Methoden der Differntialgeometrie. B. I. Groningen, Noordhoff, 1935. 338 p. (In German)
10. Fermi E. Sopra i fenomeni che avvengono in vicinanza di una linea oraria. Atti Acad. Naz. Lincei Rend. Cl. Sci. Fizz. Mat. Nat., 1922, vol. 31, pp. 21-23, 51-52, 101-103. (In Italian)
11. Katanaev M.O. Killing vector fields and a homogeneous isotropic universe. Phys. Usp., 2016, vol. 59, no. 7, pp. 689-700. doi: 10.3367/UFNr2016.05.037808.
12. Katanaev M.O. Lorentz invariant vacuum solutions in general relativity. Proc. Steklov Inst. Math., vol. 290, no. 1, pp. 138-142. doi: 10.1134/S0081543815060127.
13. Whitehead J.H.C. Convex regions in the geometry of paths. Q. J. Math., Oxford Ser., 1932, vol. 3, pp. 33-42.
I Для цитирования: Катанаев М.О. Нормальные координаты в аффинной геомет-( рии // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. - 2017. - Т. 159, кн. 1. -\ С. 47-63.
/ For citation: Katanaev M.O. Normal coordinates in affine geometry. Uchenye Zapiski ( Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2017, vol. 159, no. 1, \ pp. 47-63. (In Russian)
