Файл: Тредер, Г. -Ю. Теория гравитации и принцип эквивалентности. Группа Лоренца, группа Эйнштейна и структура пространства.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 - |
F« Tr*) = 0 . |
(3.81) |
Если учесть, что вследствие |
справедливости |
уравнений |