II.-Теория-поля (1109679), страница 66
Текст из файла (страница 66)
Поэтому при исследовании гравитационного поля нам приходится обычно иметь дело с макроскопическими телами. Соответственно этому для Тгь надо обычно писать выражение (94.9). Таким образом, из принципа наименьшего действия Оо + + бог — — О нахОДим — „ / (Л4ь — -КьЛ вЂ”, ТГь)56' А1 — апй = О, 16ХЬ 2 с откуда ввиду произвольности Бдг 1 8 Я 14 л,„— -а,„л = —,тпн (95.5) с или в смешанных компонентах 1 ь 8яя 4 с (95.6) Это и есть искомые уравнения граеитпационного поля основные уравнения общей теории относительности.
Их называют уравнениями Эйнп4Гпейна. Упрощая (95.6) по индексам 1' и я', находим (95. 7) (Т = Т,'). Поэтому уравнения поля можно написать также в виде л,„= —' ," (т,„— '-йГьт) . (95.8) (95.9) Уравнения Эйнштейна нелинейны. Поэтому для гравитационных полей несправедлив принцип суперпозиции. Этот принцип справедлив лишь приближенно для слабых полей, допускающих линеаризацию уравнений Эйнштейна (к ним относятся, в частности, гравитационные поля в классическом, ньютоновском пределе см.
8 99). В пустом пространстве ТГь = О и уравнения гравитационного поля сводятся к уравнениям 373 УРАВНЕНИЯ ЭЙНШТЕЙНА 1 95 т,". = о. (95.10) Поэтому должна быть равна нулю также и дивергенция левой части уравнения (95.6). Это действительно так в силу тождества (92.10). Таким образом, уравнения (95.10) по существу содержатся в уравнениях поля (95.6).
С другой стороны, уравнения (95.10), выражая собой законы сохранения энергии и импульса, содержат в себе уравнения движения той физической системы, к которой относится рассматриваемый тензор энергии-импульса (т. е. уравнения движения материальных частиц или вторую пару уравнений Максвелла). Таким образом, уравнения гравитационного поля содержат в себе также и уравнения для самой материи, которая создает это поле. Поэтому распределение и движение материи, создающей гравитационное поле, отнюдь не могут быть заданы произвольным образом.
Напротив, они должны быть определены (посредством решения уравнений поля при заданных начальных условиях) одновременно с самим создаваемым этой материей полем. Обратим внимание на принципиальное отличие этой ситуации от того, что мы имели в случае электромагнитного поля. Уравнения этого поля (уравнения Максвелла) содержат в себе только уравнение сохранения полного заряда (уравнение непрерывности),но не уравнения движения самих зарядов. Поэтому распределение и движение зарядов могут быть заданы произвольным образом, лишь бы полный заряд был постоянным.
Заданием этого распределения зарядов посредством уравнений Максвелла определяется создаваемое ими электромагнитное поле. Надо, однако, уточнить, что для полного определения распределения и движения материи в случае гравитационного поля к уравнениям Эйнштейна надо присоединить еще (не содержа- Напомним, что это отнюдь не значит, что пустое пространство-время является плоским, для этого требовалось бы выполнение более сильных условий Л;ьь„= О. Тензор энергии-импульса электромагнитного поля обладает тем свойством, что Т,' = 0 (см.
(33.2)). Ввиду (95.7) отсюда следует, что при наличии одного только электромагнитного поля без каких-либо масс скалярная кривизна пространства-времени равна нулю. Как мы знаем, дивергенция тензора энергии-импульса равна нулю: 374 УРАВНКНИЯ ГРАВИТАПИОННОГО ПОЛЯ ГЛ. Х! ЛД вЂ” -'5ДЛ = ' "Тб. о 2 о 4 о' (95.П) ') Уравнение состояния связывает между собой в действительности не дае, а три термодинамические величины, например давление, плотность н температуру вещества. В применениях н теории тяготения зто обстоятельство, однако, обычно несущественно, так как используемые здесь приближенные уравнения состояния фактически не зависят от температуры (такоеы,например, уравнения р = 0 для разреженного нещестна, ультрарелятиаистское уравнение р = е/3 для сильно сжатого вещества н т.п.). щееся, конечно, в них) уравнение состояния вещества, т. е.
уравнение, связывающее между собой давление и плотность. Это уравнение должно быть задано наряду с уравнениями поля') . Четыре координаты х' могут быть подвергнуты произвольному преобразованию. Посредством этого преобразования можно произвольным образом выбрать четыре из десяти компонент тензора я)ы Поэтому независимыми неизвестными функциями являются только шесть из величин я,.ы Далее, четыре компоненты входящей в тензор энергии-импульса материи 4-скорости и' связаны друг с другом соотношением и,и' = 1, так что независимыми являются только три из них. Таким образом, мы имеем, как и следовало, десять уравнений поля (95.5) для десяти неизвестных величин: шести из компонент юы трех из компонент и' и плотности материи е/с (или ее давления р).
Для гравитационного поля в пустоте остается всего шесть неизвестных величин (компонент я,ь) и соответственно понижается число независимых уравнений поля: десять уравнений Л;ь = 0 связаны четырьмя тождествами (92.10). Отметим некоторые особенности структуры уравнений Эйнштейна. Они представляют собой систему дифференциальных уравнений в частных производных второго порядка. Однако в уравнения входят вторые производные гю времени не от всех 10 компонент юь. Действительно, из (92.1) видно, что вторые производные по времени содержатся только в компонентах гье Оя тензора кривизны, куда они входят в вице члена — я ду'2 (точкой обозначаем дифференцирование по то); вторые же производные от компонент ие и яео метрического тензора вообще отсутствуют.
Ясно поэтому, что и получающийся путем упрощения из тензора кривизны тензор В;ы а с ним и уравнения (95.5) тоже содержат вторые производные по времени лишь от шести пространственных компонент до,~. Легко также видеть, что эти производные входят лигпь в Р -уравнения (95.6), т. е. в уравнения 375 уРАВнения эйнп1тейнА 8 95 Уравнения же о и, т. е, уравнения о о (95.12) содержат производные по времени лишь первого порядка. В этом можно убедиться, проверив, что при образовании путем свертывания Л,ы~ величин Л„и Ло — -Л = — ~Ло — Л„~ компооот~/о ненты вида Ло од действительно выпадают. Еще проще увидеть это из тождества (92.10) записав его в виде (Лр — -'боЛ) = — (Л" — -'5ЙЛ) 195П3) (1 = 0,1,2,3).
СтаршиЕ прОиЗвОдныЕ пО врЕмЕни, вхОдящиЕ в правую часть этого равенства, — вторые производные (фигурирующие в самих величинах Щ, Л). Поскольку (95.13) — — тождество, то и его левая часть должна, следовательно, содержать производные по времени не выше второго порядка. Но одно дифференцирование по времени фигурирует уже в нем явным образом; поэтому сами выражения Л — (ВОЛ)/2 могут содержать производные по времени не выше первого порядка.
Более того, левые части уравнений (95.12) не содержат также и первых производных Йо,„и Йьо (а лишь производные д д). Действительно, из всех Г; ы эти производные содержат только Г оо и Гово, а эти величины в свою очередь входят только в компонЕнты тЕНЗОра кривиЗны вида ЛО„СВ, кОтОрыЕ, как мы ужЕ ЗнаЕм, выпадают при образовании левых частей уравнений (95.12). Если интересоваться решением уравнений Эйнштейна при заданных начальных (по времени) условиях, то возникает вопрос о том, для скольких величин могут быть произвольно заданы начальные пространственные распределения. Начальные условия для уравнений второго порядка должны включать начальные распределения как самих дифференцируемых величин, так и их первых производных по времени.
Однако поскольку в данном случае уравнения содержат вторые производные лишь от шести Й и, то в начальных условиях не могут быть произвольно заданы все й;.ь и Й;ь. Так, можно задать (наряду со скоростью и плотностью материи) начальные значения функций я„д и йнд, после чего из 4 уравнений (95.12) определятся допустимые начальные значения Йо и Йоо; в уравнениях же (95.11) останутся еще произвольными начальные значения Йо и Йоо.
В число задаваемых таким образом начальных условий входят, однако, также и функции, произвольность которых связана просто с произволом в выборе 4-системы координат. Между тем 376 РРАВНВНИЯ ГРАВИТАЦИОННОГО ПОЛЯ ГЛ. Х! реальным физическим смыслом обладает лишь число чфизически различных» произвольных функций, которое уже не может быть уменьшено никаким выбором системы отсчета.
Из физических соображений легко видеть, что зто число равно 8; начальные условия должны задавать распределение плотности материи и трех компонент ее скорости, а также еще четырех величин, характеризующих свободное (не связанное с материей) гравитационное поле (см. ниже 3 107); для свободного гравитационного поля в пустоте начальными условиями должны задаваться лишь последние четыре величины.
Задача Написать уравнения постоянного гравитационного поля, выразив все операции дифференцирования по пространственным координатам в виде ковариалтных производных в пространстве с метрикой т„е (84.7). Р е ш е н и е. Вводим обозначения каа = Ь, ко = — Ь8„(88.11) и трехмерную скорость о (88.10). Ниже все операции ноднимания и опускания индексов и ковариантного дифференцирования производятся в трехмерном пРОстРанстве с мЕтРикОй Тол наД тРЕхмеРными вЕктОРами йю о н тРЕхмеР- ным скалярам Ь. Искомые уравнения должны быть инвариантны по отношению к преобразованию х — >х, х — «х +7(х ), не меняющему стационарности поля.