Фейнмановские лекции по гравитации

x'x'x'

·

x

x'

·

g

x

+ другие члены.

(7.7.2)

Мы видим, что для упрощения g' мы рассматриваем только разложение до второго порядка малости, мы должны выбрать наши преобразования таким образом, чтобы частные производные, появляющиеся в соотношениях (7.7.2), имели определённые значения. Мы можем точно определить следующие величины в нашем преобразовании

1.

Шестнадцать величин

x

x'

x

.

2.

Сорок величин

^2x

x'x'

x

.

3.

Восемьдесят величин

^3x

x'x'x'

x

.

(7.7.3)

(Заметим, что порядок производных не имеет значения.) Другая сторона медали состоит в том, что количество величин и производных метрического тензора является следующим:

1.

Имеется 10 компонент

g'

(x).

2.

Имеется сорок первых производных

g'

(x,).

3.

Имеется сто вторых производных

g'

(x,).

(7.7.4)

Сначала мы можем попытаться сделать так, чтобы выполнялось равенство g'(x)=. Это соотношение включает в себя только первые производные [x/x']_x. У нас есть 10 условий, которым необходимо удовлетворить с помощью 16 свободных параметров. Мы можем легко удовлетворить этим условиям, и у нас останется ещё свободными 6 степеней свободы. Эти шесть параметров являются параметрами специальной теории относительности, преобразований Лоренца и вращений (вектор скорости, ось вращения и угол), которые могут определять преобразования, оставляющие неизменным. Далее мы можем сделать так, чтобы все 40 производных g'_,(x) в точности обращались в нуль, используя сорок величин

^2x

x'x'

x

.

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

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

Лекция 8

8.1. Преобразования компонент тензора в неортогональных координатах

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

A

B

=

AB

–

AB^3

–

AB^2

–

AB^1

.

(8.1.1)

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

(ds)^2

=

(dt)^2

–

(dx)^2

–

(dy)^2

–

(dz)^2

.

(8.1.2)

Для более общих координатных систем, рассматриваемых нами теперь, которые ускоряются, скручиваются и сжимаются, собственное время определяется через произведения координатных смещений и метрический тензор (7.4.7); мы видим, что конструкция скалярных инвариантов следует правилу, которое более сложно, чем правило, задаваемое соотношением (8.1.1). Координатные смещения являются прототипами того, что мы будем называть контравариантными компонентами вектора. Для удобства обозначений будем записывать компоненты с помощью верхних индексов, например dx. Что является важным, так это закон преобразования этих контравариантных векторных компонентов при изменении системы координат. Для координатных интервалов этот закон описывается следующим соотношением:

dx'

=

x'

x

dx

.

(8.1.3)

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

A

(x')

=

x'

x

A

(x)

.

(8.1.4)

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

T

(x')

=

x'

x

x'

x

T

.

(8.1.5)

Когда мы сравниваем закон преобразования для метрического тензора с определением (8.1.5), мы видим, что g не есть величина такого же рода, так как производные появляются в ”перевёрнутом виде”. Тем не менее, мы определили матрицу, которая является обратной к матрице g,

g

g

=