Файл: Тредер, Г. -Ю. Теория гравитации и принцип эквивалентности. Группа Лоренца, группа Эйнштейна и структура пространства.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 23.10.2024

Просмотров: 75

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

Так как кроме аффинной связности Агтпсуществует еще афин-

ная связность Кристоффеля {т„}, то можно ввести так назы­ ваемый тензор вращения Риччи

т

 

.

т

т I

 

тпг

=

д

пг

nr I ’

(3.53)

несимметричная часть которого и есть тензор кручения. Эйнштейн и Майер [7] показали, что в первоначальном варианте единой теории гравитации и электромагнетизма Эйнштейна поле статического сферически-симметричного источника не совпадает с полем Шварцшильда. В дальней­ шем была предложена новая система уравнений [9], ко­

торую можно получить из лагранжиана

 

Н = Ѵ

~ ё 1# 1 +

а 2 # 2 + азн з)-

(3.54)

Инварианты лагранжиана

(3.54)

 

 

 

 

 

 

 

2=

Д?*Дѵ,

Н3

s r s '

7

 

= Аітп + Атпі +

^ Г

 

I шп

гДе Smni

Апіт

и R — скалярная кривизна,

Яа = я,

я

 

 

 

 

 

 

V

 

 

V

V

 

 

 

были исследованы еще Вейценбеком [8 ].

 

 

К риманову пространству с абсолютным параллелизмом

обращался и Меллер

 

[3] в связи с проблемой сохранения

энергии — импульса

 

в

общей

теории

относительности.

Исходным пунктом

 

рассуждений Меллера

явилось то

обстоятельство, что в рамках теории Эйнштейна невозможно в принципе сконструировать такой комплекс энергии— импульса, который приводил бы к интегрально сохраня­ ющемуся 4-вектору энергии — импульса с правильными трансформационными свойствами при произвольных коор­ динатных преобразованиях. В качестве исходных уравне­ ний поля Меллер использовал уравнения Эйнштейна вмес­ те с 6 дополнительными условиями. Эти уравнения можно получить из вариационного принципа, если в качестве функ­ ции Лагранжа взять

L = V~— g Я = L0 + Z,

(3.55)

где Z имеет вид дивергенции векторной плотности, а L0 определяется выражением

L0 = V ~ g ( h% г h fs- hrA. r h fl).

(3.56)

81


Дифференциальный закон сохранения

 

 

Тптп = О

 

 

(3.57)

с учетом уравнений Эйнштейна

 

 

 

Етп= R mn---- g mnR = — *7"

(3.58)

и вариационной производной от функции

Лагранжа L0

можно переписать в виде

 

 

 

 

{ V - g T l ) , , 1 =

1

, An

8L„

(3.59)

2-д

bhAn

 

• m

'

Отсюда следует, что и для аффинной тензорной плотности

 

® l = V ~ g { T nm + 4 ) ,

 

(3.60)

где

 

 

 

 

 

 

_____

1

/

ДІ

.dr

м \

 

 

 

 

Ö L o

t.Ar

п

(3.61)

 

Ъ.

 

dhAr„

h ’n

0„

 

1

SmL° 1

также имеет место дифференциальный закон сохранения

Ѳ", „ = 0.

(3.62)

Аффинную тензорную плотность (3.60) можно получить из

функции Лагранжа L0

из суперпотенциала

1C = - іГ = Ѳ

[ h\А * + ( C hAr- C hAn)hSA;s]-

 

(3.63)

Так как суперпотенциал является истинной тензорной плотностью третьего ранга, то при чисто пространствен­ ных координатных преобразованиях

X‘ = х‘ (хк), х° = х°

(3.64)

он преобразуется как антисимметричная тензорная плот­ ность второго ранга. Тогда Ѳ* = Ußr г преобразуется как

истинная векторная плотность, и энергия в конечном объе­ ме Ѵ3

Р0 — J ©о dxldx2dx3

(3.65)

V,

 

82


оказывается не зависящей от выбора пространственных координат, т. е. энергия локализуема.

В случае замкнутой системы, когда метрика на беско­ нечности удовлетворяет обычным граничным условиям, ве­ личины

Pi = I Q°idx1dx2dx3

(3.66)

Из

 

в асимптотически декартовых координатах от времени не зависят и преобразуются при линейных координатных пре­ образованиях как ковариантные компоненты свободного вектора. Суперпотендиал (3.63) и аффинная тензорная плотность (3.60) в случае статического сферически-симмет- ричного поля в изотропных координатах совпадают с су­ перпотенциалом Эйнштейна и псевдотензором энергии — импульса Эйнштейна, однако это не имеет места в случае произвольной системы координат.

Комплекс энергии — импульса (3.60) все же не являет­ ся установленным однозначно, поскольку не все компонен­ ты тетрад однозначно определены. Допустимы еще такие локальные лоренцевы преобразования тетрад, которые на бесконечности достаточно сильно отличаются от постоян­ ных значений и изменяют (3.60). Тетрады однозначно опре­ деляются лишь при помощи дополнительной системы шести полевых уравнений

& = Т Г «.г + ТгАгТГ = 0

(З-67)

и граничных условий, сформулированных в асимптотиче­ ски декартовых координатах

 

 

 

Ьа (X')

оа

при г —►оо ,

 

Ііш

< 5 |'К - З Х )}

+ - L . J L { r ( h" l -

8 "1)} = 0 (3.68)

Г-+СО

 

дг

 

с

dt

 

для всех

t0 = t

г/с.

 

 

 

Теперь можно попытаться связать шесть уравнений

(3.67)

с

электромагнитным

полем. Меллер ^предположил

для тензора электромагнитного поля

~

 

 

 

Fmn = const Hnm.

(3.69)

Такая интерпретация дополнительных полевых уравнений для тетрад соответствует первоначальной идее Эйнштейна.

83


Однако более последовательной является все же та точка зрения, когда тетрады отсчета и связанные с ними спинор­ ные поля считают принципиально необходимыми геометри­ ческими объектами для полного описания, совместно с мет­ рикой, гравитационного поля. Эта возможность была ис­ следована, например, Пеллегрини и Плебаньским [4]. Они опирались на исследования Вейценбека [8 ] по возможным инвариантам поля реперов и рассмотрели наиболее общую функцию Лагранжа, произвольно зависящую от h£, били­

нейную по первым производным от h^, являющуюся ска­

ляром и скалярной плотностью относительно координат­ ных преобразований и лоренцевых преобразований с по­ стоянными коэффициентами соответственно. Из функции Лагранжа можно получить затем семь псевдоскалярных инвариантов, которые, воспользовавшись символом Леви— Чивита еШт и тензором кручения Ь.тп,г можно записать

в виде:

 

 

 

 

 

 

V/*

 

 

— S

гі

 

Л

t-krnmall Л .

Л

 

■ g b r s t y ;

 

T

 

 

 

 

s

6

a r i k a mln<

 

V

 

 

 

 

 

 

V

V

 

 

 

 

Л

 

piknmnrl Д ,

А

 

' g & r i k

 

*

/ „

 

 

 

1 2 —

5

g

& r i k a m ln’

 

V

 

 

 

 

 

 

V

V

(3.70)

__

rik

 

Л

 

 

 

 

 

 

---

ellnnirtkr А

Л

 

 

v

;

/

 

V

'S

 

s

g

^ r i k

a mln<

 

 

 

 

 

 

 

V

V

 

/ 4 = е" g r n b ri k \ i m

 

 

 

 

 

 

 

 

V

V

 

 

 

 

 

 

 

Величины Іх, / 2, / 3

являются

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

сительно глобальных преобразований Лоренца. Между ин-

вариантами

л

л л

л

имеют место соотношения

 

/ х, / 2, / 3, / 4

 

Л

=

Л

1

Л

Л

Л

1

л

(3.71)

/ 2

/ 3-

- ^

74,

 

 

 

Кроме того,

л

можно

записать

в дивергентной

форме;

/ 4

следовательно,

л

можно исключить

из

вариационного

/ 4

принципа. Тогда общая

 

функция

Лагранжа может

быть

записана в виде

 

 

з

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L(а) =

2 ^ / , +

Ѵ з,

 

 

(3.72)

 

 

 

 

 

i=i

 

 

 

 

84


т. е. определяется с точностью до четырех произвольных постоянных.

Для того чтобы фиксировать (3.72) однозначно, можно воспользоваться принципом соответствия, а именно выте­ кающая из (3.72) теория должна содержать в качестве своего предельного случая теорию Ньютона. Однако и принципа соответствия недостаточно для однозначного определения (3.72). Но можно ввести дополнительные огра­ ничения, т. е. можно исключить из рассмотрения те функ­ ции Лагранжа, которые не дают возможности в первом приближении полностью фиксировать тетрады. Руководст­ вуясь этими соображениями, Пеллегрини и Плебаньский взяли функцию Лагранжа в виде

L = &jL0 + k 2I z (L0 как в (3.56)).

(3.73)

Все результаты, полученные в теории с (3.73) в первом приближении или же в статическом сферически-симметрич- ном поле, остаются неизменными, если к (3.73) добавить еще

кз (/z ~~ ~2~ /з) ’

Функция (3.73) остается инвариантной только относитель­ но глобальных собственных лоренцевых преобразований тетрад. Если теперь к (3.73) добавить функции Лагранжа для бозонных полей LB и фермионных полей LF , то,

варьируя интеграл действия W по hA, получим

bW = 8J LдАх =

JѴ ^ ё ІКЕГа + k2FrA.+

 

+ Т<?>r

+ Т Р{ г) Ш* dAx,

(3.74)

причем

SLp

У —g

есть соответствующий (3.55) тензор Эйнштейна, а

Т’(5)г _

1

SL<B>

rp{F) г __

1

8L<B> (3.75)

 

y — g

b h f

л

y — g ' К

тензоры энергии бозонных и фермионных полей соответ-

85

ственно, и, кроме того,

 

1

л

FA

(3.76)

1

(Здесь нижний индекс относится к пространству тетрад.) Зная явный вид FrA и учитывая (3.74), можно получить

следующие уравнения поля:

Ѵ ^ Ц

К Eik +

k2 [(— AllSr

 

1_ 2 e«« д:rl', s

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

 

+ Eksrd Adsr AV — &rsodAdsof i

+

e*«/ A'tAlrl —

AdsbA*? •

 

 

V

 

 

 

V

Г

 

 

V

V

 

V

V

О S

5

^dtl^rs

=

- K

- Ä

f

T(ß) '* +

rJJ’ '*) ■(3.77)

2

 

 

 

V

v j

 

 

 

 

 

 

 

 

 

Это система

из

16 уравнений для

тетрад отсчета

hf,

по­

скольку

тензор

Fik несимметричный. Константа

k x — это

величина,

равная 1

/х,

где ос — гравитационная константа.

Константа F 2 характеризует связь антисимметричной части

тензора

материи фермионных полей с

гравитационным по­

лем:

 

 

 

 

 

іA

 

 

(F)

і’А

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.78)

 

 

 

 

 

k2Fv =

Т

V.

 

 

Несимметричную часть тензора материи ферми-полей мож­ но было бы использовать тогда для фиксации дополнитель­ ных 6 степеней свободы тетрад отсчета. Но мы увидим, что исчезновение антисимметричной части Т {р'>1к ведет к на­ рушению слабого принципа эквивалентности.

Если рассмотреть вариацию функции Лагранжа (3.73) при бесконечно малых преобразованиях координат

X1= хг + U {хк)

(3.79)

и учесть, что км удовлетворяет условию

ЬкАІ = — hAkt, i — hAi,k 6 *,

(3.80)

то легко можно увидеть, что уравнения поля (3.74) содер­ жат в себе общее тождество

К Е Ь + h (Ffi -

Tr*) = 0 .

(3.81)

Если учесть, что вследствие

справедливости

уравнений