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

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

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

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

Добавлен: 23.10.2024

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

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

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

в общем случае совпадать с единицами, определенными в метрике g hl .

Мы видели уже, что масса покоя в метрике gkl оказы­ вается переменной. Следовательно, ни комптоновская дли­ на, ни боровский радиус, ни спектральные линии не могут

служить в ghl масштабами длины.

Если положить X = Оф, то уравнение (2.37) приводит­ ся к стандартному эйнштейновскому виду, только к Ты обычной материи добавлен Ѳ = lnx — тензор энергии —

импульса скалярного поля, а ghl заменено на ghl. Теперь уже и гравитационная константа является истинной кон­

стантой. Это значит, что величины ] / hG/c3, У hG/c5 и

У he!G могут теперь служить единицами длины, времени и массы соответственно, так как h и с — конформно-инвари­ антные величины. Но из-за того, что в ghl пробные частицы не движутся по геодезическим, нарушается слабый прин­ цип эквивалентности.

Однако в теории есть метрика gh[, в которой

слабый

принцип выполняется.

 

Произвольным конформным преобразованием

 

Ski ~ ^ (Ф) Ski

(2.43)

можно получить любые отклонения от геодезических в мет­

рике gbi, конформной ghl. Отклонение траекторий пробных частиц от геодезических в пространстве с метрикой g k[ оказывается в теории не произвольным, а весьма малым из-за того, что JJ. выбирается пропорциональным ф, а само поле ф подчиняется уравнению (2.38), описывающему сла­ бое гравитационное поле, т. е. ф меняется очень мало. Но выполнение слабого принципа эквивалентности недоста­ точно для постулата о геодезических. Нужно, чтобы мет­ рика допускала в качестве масштабов длины комптонов­ скую длину или же спектральные линии. Здесь это имеет место.

Чтобы обсудить в теории Иордана — Дикке три клас­ сических эффекта, найдем из (2.37) и (2.38) внешнюю мет­ рику статического сферически-симметричного распределе­ ния материи.

Для метрики типа

 

ds2 = D (г) dt2А (г) dr2А (г) г2 dQ2

(2.44)

имеем [9]

 

D (г) = [(1 — В!г) / (1 + B!r)fß ;

(2.45)

56


i4(r) =

(l + 5 /r ) 4[(l — Б/г)/(1 +

5/r)]2[(X_c_1)/M;

(2.46)

 

 

■Ф(о = м

і - я

/ о

/ ( і

+ а

д

- с/\

(2.47)

Здесь

В,

С, ф0— константы интегрирования, а

 

 

 

X=

(С +

I)2— С( 1 — -^-со С

 

(2.48)

Из

(2.45) и (2.46)

при

больших

г получим

 

 

D (г) — 1

4В

 

I

• —

+ 0(г3),

(2.49)

 

 

 

 

 

 

 

 

 

 

 

Ха

 

г*

 

 

 

 

Л ( г ) = l +

2 ( C + l ) ^ - . - L

+

0 (r-2).

(2.50)

 

 

 

 

 

 

 

А

 

г

 

 

 

Чтобы

выполнялся

предельный

переход к

теории

Ньютона,

положим

 

 

 

 

 

 

 

 

 

 

 

 

~

 

= т (= GM).

 

 

(2.51)

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

Я ( г ) = 1

- —

+

^

 

+ 0 (/-3),

(2.52)

 

 

Л(г) = 1 + 2 ( С + 1 ) - ^

+

0 ( г а).

(2.53)

А отсюда получаем (см. (1.20))

 

 

 

 

 

 

т =

— 2,

о =

р =

2 ( С + 1 ) ,

 

8 = 2.

(2.54)

Эти значения дают для отклонения света

 

 

 

 

Ä«pL = -L [2 + 2 (С +

01 ÄtpEinstein

(2.55)

и для смещения перигелия

 

 

 

 

 

 

 

 

 

1

 

+ 2 ( С +

 

 

Einstein

(2.56)

 

 

Д'Рр = -Н 1

1)]Аср

 

Метрика (2.44) с коэффициентами (2.45), (2.46) и (2.47) должна быть локально изоморфной метрике. Хекмана в теории Иордана, так как в вакууме конкретное значение т) несущественно (соответствующее отклонение света и сме­ щение перигелия получатся, если С-Н положить равным В теории Иордана). Различие между этими метриками по­ является при введении в решение материи с отличной от

57


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

Следует подчеркнуть, что значения отклонения света и смещения перигелия не определяются вакуумным ре­ шением (константа С произвольна). Нужно обязательно рассматривать источник поля. Тогда при С = 0 в теории Иордана получаем те же величины для классических эффек­

тов, что и в теории Эйнштейна.

 

 

 

Из

(2.37) и (2.38)

получим поле точечной массы

 

'Ф = Фо(1 +

2М

 

 

1

(2.57)

 

2М

4

3 -j- 2м

 

 

 

Фо

 

 

 

 

 

Soo — 1

 

 

 

+

2о)

(2.58)

 

 

 

3 +

2(о

 

 

 

 

 

где М

определяется

как

интеграл j р d V.

Сравнивая его

с (2.52), выразим ньютоновскую

 

константу

связи в виде

 

Q _

1

4 +

2(0

(2.59)

 

 

 

(Ь0

3 +

2(о

 

 

 

 

Далее, из (2.47) получим выражение

 

 

ф =

ф0^1 +

- ^ - C - j - ) ,

(2.60)

и, сравнивая с (2.57) и учитывая (2.51), приходим к форму­ ле

С =

_1_

(2.61)

2 -j- 03

 

 

В частности, при ш ^ 0 константа С для точечной массы не равна нулю; тогда значения классических эффектов в тео­ рии Иордана оказываются отличными от эйнштейновских.

Если взять С по (2.61), то из (2.48) можно получить вы­ ражение для %:

/

2(о + 3 V.

(2.62)

V

4 (о + 2

 

И наконец, из (2.55) и (2.56) находим для отклонения света и смещения перигелия соотношения

3+2(о ДЭйнштейн

(2.63)

4 + 2ш

 

58


л Р 4 -f- 3(і) а Эйнштейн /о й о „\

Д© = -----------Д © _ . (2.боа)

При юД 0 они оказываются меньше соответствующих эйнштейновских значений.

Чтобы объяснить те же 43" в смещении перигелия Мер­ курия, что и в теории Эйнштейна, Дикке должен был до­ пустить наличие у Солнца квадрупольного момента, наи­ большая ось инерции которого перпендикулярна к плоско­ сти эклиптики.

Однако наличие у Солнца квадрупольного момента еще не доказано (см. теорию звездного магнетизма Штеенбека). У магнитных звезд можно ожидать наличие эллипсоида инерции, наименьшая ось которого совпадает с осью вра­ щения звезды [10].

В соответствии с теорией Иордана—Дикке величина отклонения света в поле точечной массы меньше, чем в тео­ рии Эйнштейна. Если же экспериментальное значение от­ клонения света Солнцем будет больше, чем дает даже теория Эйнштейна (как считает Фрейндлих [11 ]), то в теории Иор­ дана — Дикке возникает принципиальная трудность: ни­ какие разумные модели Солнца для отрицательных С не «дотягивают» теорию Иордана — Дикке до максимальных эйнштейновских значений отклонения света.

В заключение обратимся к сильному принципу экви­ валентности и покажем, что его формулировка в виде «активная тяжелая масса равна пассивной тяжелой массе и равна инертной массе» является гораздо менее конструк­ тивной по сравнению с другой формулировкой: гравита­ ционный потенциал тождествен фундаментальному метри­ ческому тензору некоторого риманова пространства.

Метрику заключенной в конечном объеме замкнутой, физической системы на большом расстоянии от нее можно считать статической и сферически-симметричной. Тогда из интервала следует, что 2В/К является активной тяжелой массой.

Паули предложил считать инертную массу величиной сохраняющейся. В теории Иордана—Дикке, как и в тео­

рии Эйнштейна, не существует интеграл от Т°. Но только

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

59


Как известно, тензорную плотность Эйнштейна можно представить в виде

( 2 '6 4 )

Подставим затем (2.64) в уравнения гравитационного поля и получим

Іт

(2.65)

иГ,п = (8« ГѴс4) + tlk + Zlk ,

где дополнительный член Ъ1к зависит от поля ф и его пер­ вых и вторых производных.

Так как тензор

антисимметричен

по / и т,

то за­

кон сохранения должен

 

иметь вид

 

 

[(8* fV c4)

ТІ + ti + Zi] , , =

0,

(2.66)

так что мы будем рассматривать

 

 

J [(8тгфѴс4) То +

to + Zo] d3x = const = P0

(2.67)

как определение инертной массы замкнутой системы. Можно записать Р0как интеграл по поверхности. Тогда,

с учетом (2.44), (2.49) и (2.50), получим из суперпотенциа­

ла Фрейда U*1

(2.68)

Р0 = {С+ 1) • 2BII,

откуда следует, что активная тяжелая масса и инертная масса в теории Иордана — Дикке различаются, а следо­ вательно, нарушается и сильный принцип эквивалентности. Это имеет место даже для поля точечных масс, так как для них СфО.

Вообще говоря, вместо (2.68) следовало бы ожидать дру­ гой результат.

Как известно, для стационарного поля 7?о можно пред­ ставить в дивергентной форме. Кроме того, если метрика при г—у оо переходит в (2.44) с коэффициентами (2.49) и (2.50), имеет место равенство

2В

fRg d3x (2.69)

X

Но

— (To-TS) + ( z g - z s ) d3x (2.70) 2y

(суммирование по а от 1 до 3).

60