Теория относительности - Паули В.
ISBN 5-02-014346-4
Скачать (прямая ссылка):
bim (Sr) = btm??.
Положив, далее, в (139а) f = (^r)1 придем к
формуле, полученной Лангом (см. [69]). Далее, неевклидово пространство можно заменить касательным евклидовым, так как вторые производные gih в конечный результат (150) не входят, а первые производные gik можно соответствующим выбором координат сделать в обоих пространствах одинаковыми. Поэтому результат предельного перехода в (151а)—векторный характер bttt>j?—может претендовать на общпость, хотя интеграл правой части имеет смысл только в евклидовом пространстве.
Ради полноты приведем здесь еще общую формулу, которая, однако, в физике яе играет никакой роли. Из тензора aiklrst... при дифференцировании получается тензор высшего ранга:
Операция (152), найденная еще Кристоффелем, названа Риччи и Леви-Чивитой коеариантным дифференцированием.
Мы использовали ранее эту операцию для получения дивергенции тензора второго ранга. Именно путем дифференцирования Tik согласно (152) мы получили тензор
j T^dS = f blm-S dx = J btm-S й,
(151)
(151а)
(152)
§ 21. АФФИННЫЕ ТЕНЗОРЫ H СВОБОДНЫЕ ВЕКТОРЫ
89
T\h и затем свернули его:
div{ T = T{h.
Следует еще упомянуть о том, как Риччи и Леви-Чивита (см. [67]) получили выражение для тензора кривизны*). Для произвольного вектора Cti образуют по (148b) aik, а затем по (152) а,м. Правая часть этого выражения содержит члены, в которые входят только аи и члены, в которые ВХОДЯТ первые И вторые производные ОТ tti. Последние, однако, исчезают для разности й,м —Тан получают, что
Aifc1J — ail,h = Rhihlah‘
Таким образом, выясняется тензорный характер Однако этот метод не раскрывает геометрического значения
тензора RhIhi (см. примеч. 7).
§ 21. Аффинные тензоры и свободные векторы
Хотя общая теория относительности имеет дело только с уравнениями, ковариантпыми относительно любых преобразований координат, однако о ней встречаются системы величин, ведущие себя как тензоры только по отношению к линейным (аффинным) преобразованиям. Назовем их аффинными тензорами. Такими аффинными тензорами, например, ямляются коэффициенты связности. В частности, встречаются аффинные тензоры V\, тензорные ПЛОТНОСТИ которых Uj = t/i VV в любой системе отсчета удовлетворяют уравнениям
ди\/дхЪ = 0. (153)
Ясно, что при общем преобразовании координат U\ не будут преобразовываться линейно и однородно. Можно, однако, из Ui интегрированием получить систему величин Л, которая по отношению к группе преобразований значительно более общей, чем аффинная, ведет себя как вектор.
Чтобы это показать, приведем сначала подготовительное вспомогательное рассуждение. Пусть дан 4-вектор
*) Ср. также изложение Эйнштейаа (см, Ann1 РЬуз.4 [67]).
so
ГЛ. II. МАТЕМАТИЧЕСКИЙ АППАРАТ
Sk с соответствующей векторной плотностью дивергенция которой равна нулю:
Пусть ниже величина Sk только внутри «мировой трубки» отлична от нуля или, во всяком случае, пусть она так быстро спадает вне ее, что интегралы, которые ниже будут встречаться, распространенные на область, достаточно удаленную от трубки, равнялись бы нулю. Мы рассматриваем ниже только такие координатные системы, в которых все подпространства постоянного времени (х4 = const) пересекают мировую трубку HO односвязным областям. Используем теперь то обстоятельство, что по
(139а) и (154) интеграл j sndS всегда равен нулю, если он распространен на замкнутую гиперповерхность. В качестве области интегрирования выбираем два сечения Xі = const, соединяющихся между собой гиперповерхностью, лежащей вне трубки. Тогда из (137а) следует, что интеграл
одинаков для обоих сечений трубки, т. е. что он не зависит от Xі. Введем теперь вторую координатную систему К', которая имеет вне трубки постоянные gth, а внутри трубки удовлетворяет лишь тому условию, что пространства х'4 = const пересекают трубку по односвязным областям. В качестве областей интегрирования мы возьмем теперь сечение Xі = const и сечение х’А = const, которые всегда можно выбрать так, чтобы они не пересекались; тогда
J $idx1 dx2 dx3 = j* z4dx’x dx'2 dx’3,
т. e. интеграл J инвариантен относительно всех допустимых здесь преобразований координат.
К этому случаю можно привести интегрирование компонент аффинного тензора. Умножим аффинный тензор на вектор ph, компоненты которого внутри трубки постоянны:
OshZdxk = 0.
(154)
(155)
Uh = U-pH
Uk ведет себя по отношению ко веем линейным преобразованиям как вектор. Во всех координатных системах К\
E 21, АФФИННЫЕ ТЕНЗОРЫ И СВОБОДНЫЕ ВЕКТОРЫ
91
которые получаются из первоначальной системы К при помощи таких преобразований, компоненты рн постоянны внутри мировой трубки и поэтому удовлетворяется уравнение
3U hIdxx = 0.
Вследствие (155) интеграл U iClx1 dx2 dx3
инвариантен относительно линейных преобразований и в любом сечении имеет одну и ту же величину. Так как
и вектор р” произвольный, величины Jk имеют векторный характер относительно линейных преобразований*).
Покажем теперь по Эйнштейну [107], что эти величины сохраняют векторный характер, если перейти от координатной системы К к любой другой координатной системе Ксовпадающей с К вне трубки. Для этого достаточно только построить координатную систему, которая в одном сечении, х"А — сі, совпадает с К, а в другом сечении — х"А = С2, совпадает с К'. Так как уже показано, что Jk одинаково для двух различных сечений Xі = = const одной и той же координатной системы, то тем самым показано, что JkBKmK' равны. Интеграл Jk, таким образом, вообще не зависит от выбора координат внутри мировой трубки. Интересно, что, исходя из аффинного тензора Uu который ковариантен только при линейных преобразованиях координат, мы интегрированием получили систему величин Jk, которая ведет себя как вектор относительно значительно более общей группы преобразований. Вектор Jk отличается от обычных векторов тем, что он не связан с определенной точкой. Мы назовем его вместе с Клейном и в согласии с терминологией механики свободным вектором.
