Новый ум короля: О компьютерах, мышлении и законах физики
Шрифт:
Напомним, чему учил нас Минковский. Мы имеем (в отсутствие гравитации) пространство-время, наделенное особого рода мерой «расстояния» между точками: если мы имеем в пространстве-времени мировую линию, описывающую траекторию какой-нибудь частицы, то «расстояние» в смысле Минковского, измеряемое вдоль этой мировой линии, дает время , реально прожитое частицей. (В действительности, в предыдущем разделе мы рассматривали это «расстояние» только для тех мировых линий, которые состоят из прямолинейных отрезков — но приведенное выше утверждение справедливо и по отношению к искривленным мировым линиям, если «расстояние» измеряется вдоль кривой.) Геометрия Минковского считается точной, если нет гравитационного поля, т. е. если у пространства-времени нет кривизны. Но при наличии гравитации мы рассматриваем геометрию Минковского уже лишь как приближенную — аналогично тому, как плоская поверхность лишь приблизительно соответствует геометрии искривленной поверхности. Вообразим, что, изучая искривленную поверхность, мы берем микроскоп, дающий все большее увеличение — так, что геометрия искривленной поверхности кажется все больше растянутой. При этом поверхность будет нам казаться все более плоской. Поэтому мы говорим, что искривленная поверхность имеет локальное строение евклидовой плоскости [128] . Точно так же мы можем сказать, что при наличии гравитации пространство-время локально описывается геометрией Минковского (которая есть геометрия плоского пространства-времени), но мы допускаем некоторую «искривленность» на
128
Искривленные пространства — в том числе и многомерные — являющиеся в этом смысле локально евклидовыми, называются римановыми многообразиями в честь великого Бернгарда Римана A826-1866), который первым исследовал такие пространства, опираясь в своих изысканиях на раннюю работу Гаусса, посвященную двумерному случаю. Здесь нам понадобится существенно модифицировать идеи Римана, вводя допущение о возможности замены локально евклидовой геометрии на геометрию Минковского. Такие пространства часто принято называть лоренцевыми многообразиями (принадлежащими к классу так называемых псевдоримановых , или, что менее логично, полуримановых многообразий).
Рис. 5.29.Картина искривленного пространства-времени
В частности, как и в пространстве Минковского, любая точка пространства-времени является вершиной светового конуса— но в данном случае эти световые конусы расположены уже не одинаково. В главе 7 мы познакомимся с отдельными моделями пространства-времени, в которых явно видна эта неоднородность расположения световых конусов (см. рис. 7.13, 7.14). Мировые линии материальных частиц всегда направлены внутрь световых конусов, а линии фотонов — вдоль световых конусов. Вдоль любой такой кривой мы можем ввести «расстояние» в смысле Минковского, которое служит мерой времени, прожитого частицами так же, как и в пространстве Минковского. Как и в случае искривленной поверхности, эта мера «расстояния» определяет геометриюповерхности, которая может отличаться от геометрии плоскости.
Геодезическим линиям в пространстве-времени теперь можно придать интерпретацию, аналогичную интерпретации геодезических линий на двумерных поверхностях, учитывая при этом различия между геометриями Минковского и Евклида. Таким образом, наши геодезические линии в пространстве-времени представляют собой не (локально) кратчайшие кривые, а наоборот — кривые, которые (локально) максимизируют«расстояние» (т. е. время) вдоль мировой линии. Мировые линии частиц, свободно перемещающиеся под действием гравитации, согласно этому правилу действительно являютсягеодезическими. В частности, небесные тела, движущиеся в гравитационном поле, хорошо описываются подобными геодезическими линиями. Кроме того, лучи света (мировые линии фотонов) в пустом пространстве так же служат геодезическими линиями, но на этот раз — нулевой«длины» [129] . В качестве примера я схематически нарисовал на рис. 5.30 мировые линии Земли и Солнца. Движение Земли вокруг Солнца описывается «штопорообразной» линией, навивающейся вокруг мировой линии Солнца. Там же я изобразил фотон, приходящий на Землю от далекой звезды. Его мировая линия кажется слегка «изогнутой» вследствие того, что свет (по теории Эйнштейна) на самом деле отклоняется гравитационным полем Солнца.
129
Возможно, у читателя может возникнуть беспокойство по поводу того, каким образом это нулевоезначение может быть максимальнымзначением «длины»! Но это именно так, хотя и в несколько бессодержательном смысле: геодезическая линия нулевой длины характеризуется тем, что не существует мировых линий другихчастиц, соединяющих (локально) любые две ее точки.
Рис. 5.30.Мировые линии Земли и Солнца. Световой луч от далекой звезды отклоняется Солнцем
Нам необходимо еще выяснить, каким образом ньютоновский закон обратных квадратов может быть включен (после надлежащей модификации) в общую теорию относительности Эйнштейна. Обратимся еще раз к нашей сфере из материальных частиц, падающей в гравитационном поле. Напомним, что если внутри сферы заключен только вакуум, то, согласно теории Ньютона, объем сферы первоначально не изменяется; но если внутри сферы находится материя общей массой М , то происходит сокращение объема, пропорциональное М . В теории Эйнштейна (для малой сферы) правила в точности такие же, за исключением того, что не все изменение объема определяется массой М ; существует (обычно очень малый) вклад от давления, возникающем в окруженном сферой материале.
Полное математическое выражение для кривизны четырехмерного пространства-времени (которая должна описывать приливные эффекты для частиц, движущихся в любой данной точке по всевозможным направлениям) дается так называемым тензором кривизны Римана . Это несколько сложный объект; для его описания необходимо в каждой точке указать двадцать действительных чисел. Эти двадцать чисел называются его компонентами . Различные компоненты соответствуют различным кривизнам в различных направлениях пространства-времени. Тензор кривизны Римана обычно записывают в виде R tjkl , но так как мне не хочется объяснять здесь, что означают эти субиндексы (и, конечно, что такое тензор), то я запишу его просто как:
РИМАН .
Существует способ, позволяющий разбить этот тензор на две части, называемые, соответственно, тензором ВЕЙЛЯ и тензором РИЧЧИ (каждый — с десятью компонентами). Условно я запишу это разбиение так:
РИМАН = ВЕЙЛЬ + РИЧЧИ .
(Подробная запись тензоров Вейля и Риччи для наших целей сейчас совершенно не нужна.) Тензор Вейля ВЕЙЛЬ служит мерой приливной деформациинашей сферы из свободно падающих частиц (т. е. изменения начальной формы, а не размеров); тогда как тензор Риччи РИЧЧИ служит мерой изменения первоначального объема [130] . Напомним, что ньютоновская теория гравитации требует, чтобы масса , содержащаяся внутри нашей падающей сферы, была пропорциональна этому изменению первоначального объема. Это означает, что, грубо говоря, плотность массы материи — или, что эквивалентно, плотность энергии (так как Е = mc 2 ) —
следует приравнять тензору Риччи.130
В действительности, это деление на эффекты деформации и изменения объема носит не настолько четкий характер, как я пытаюсь это изобразить. Тензор Риччи сам может дать определенный вклад в приливную деформацию. (Для световых лучей такое деление проводится однозначно; см. Пенроуз, Риндлер [1986], т. 2, глава 7.) Точное определение тензоров Вейля и Риччи см., например, в книге Пенроуза и Риндлера [1984], т. 1. (Герман Вейль (род. в Германии) был выдающимся математиком XX века, а Грегорио Риччи (род. в Италии) — весьма влиятельным геометром, создавшим также теорию тензоров.)
По существу, это именно то, что утверждают уравнения поля общей теории относительности, а именно — полевые уравнения Эйнштейна [131] . Правда, здесь имеются некоторые технические тонкости, в которые нам сейчас, впрочем, лучше не вдаваться. Достаточно сказать, что существует объект, называемый тензором энергии-импульса , который объединяет всю существенную информацию об энергии, давлении и импульсе материи и электромагнитных полей. Я буду называть этот тензор ЭНЕРГИЕЙ . Тогда уравнения Эйнштейна весьма схематично можно представить в следующем виде,
131
Правильная форма уравнений общей теории относительности была также найдена и Давидом Гильбертом (в ноябре 1915 года), однако все физические идеи, нашедшие отражение в этой теории, принадлежат исключительно Эйнштейну.
РИЧЧИ = ЭНЕРГИЯ .
(Именно наличие «давления» в тензоре ЭНЕРГИЯ вместе с некоторыми требованиями непротиворечивости уравнений в целом приводят с необходимостью к учету давления в описанном выше эффекте сокращения объема.)
Кажется, что вышеприведенное соотношение ничего не говорит о тензоре Вейля. Тем не менее, оно отражает одно важное свойство. Приливный эффект, производимый в пустом пространстве, обусловлен ВЕЙЛЕМ . Действительно, из приведенных выше уравнений Эйнштейна следует, что существуют дифференциальныеуравнения, связывающие ВЕЙЛЯ с ЭНЕРГИЕЙ — практически как во встречавшихся нам ранее уравнениях Максвелла [132] . Действительно, точка зрения, согласно которой ВЕЙЛЯ надлежит рассматривать как своего рода гравитационный аналог электромагнитного поля (в действительности, тензора — тензора Максвелла), описываемого парой ( Е , В ), оказывается весьма плодотворной. В этом случае ВЕЙЛЬ служит своего рода мерой гравитационного поля. «Источником» для ВЕЙЛЯ является ЭНЕРГИЯ — подобно тому, как источником для электромагнитного поля ( Е , В ) является ( , j ) — набор из зарядов и токов в теории Максвелла. Эта точка зрения будет полезна нам в главе 7.
132
Для тех, кто разбирается в подобных вопросах, эти дифференциальные уравнения представляют собой полные тождества Бьянки, в которые подставлены уравнения Эйнштейна.
Может показаться весьма удивительным, что при столь существенных различиях в формулировке и основополагающих идеях, оказывается довольно трудно найти наблюдаемые различия между теориями Эйнштейна и теорией, выдвинутой Ньютоном двумя с половиной столетиями раньше. Но если рассматриваемые скорости малы по сравнению со скоростью света с , а гравитационные поля не слишком сильны (так, что скорости убегания гораздо меньше с , см. главу 7, «Динамика Галилея и Ньютона»), то теория Эйнштейна по существу дает те же результаты, что и теория Ньютона. Но в тех ситуациях, когда предсказания этих двух теорий расходятся, прогнозы теории Эйнштейна оказываются точнее. К настоящему времени был проведен целый ряд весьма впечатляющих экспериментальных проверок, которые позволяют считать новую теорию Эйнштейна вполне обоснованной. Часы, согласно Эйнштейну, в гравитационном поле идут чуть медленнее. Ныне этот эффект измерен непосредственно несколькими способами. Световые и радиосигналы действительно изгибаются вблизи Солнца и слегка запаздывают для наблюдателя, движущегося им навстречу. Эти эффекты, предсказанные изначально общей теорией относительности, на сегодняшний день подтверждены опытом. Движение космических зондов и планет требуют небольших поправок к ньютоновским орбитам, как это следует из теории Эйнштейна — эти поправки сегодня также проверены опытным путем. (В частности, аномалия в движении планеты Меркурия, известная как «смещение перигелия», беспокоившая астрономов с 1859 года, была объяснена Эйнштейном в 1915 году.) Возможно, наиболее впечатляющим из всего следует считать серию наблюдений над системой, называемой двойным пульсаром, которая состоит из двух небольших массивных звезд (возможно, двух «нейтронных звезд», см. гл.7 «Черные дыры»). Эта серия наблюдений очень хорошо согласуется с теорией Эйнштейна и служит прямой проверкой эффекта, полностью отсутствующего в теории Ньютона, — испускания гравитационных волн. (Гравитационная волна представляет собой аналог электромагнитной волны и распространяется со скоростью света с .) Не существует проверенных наблюдений, которые противоречили бы общей теории относительности Эйнштейна. При всей своей странности (на первый взгляд), теория Эйнштейна работает и по сей день!
Релятивистская причинность и детерминизм
Напомним, что в теории относительности материальные тела не могут двигаться быстрее света — откуда, в частности, следует, что их мировые линии всегда должны лежать внутри световых конусов (см. рис. 5.29). (В общей теории относительности ситуацию следует формулировать именно в таком локальном виде. Световые конусы расположены неодинаково, поэтому не имело бы особого смысла говорить, превосходит ли скорость очень далекойчастицы скорость света здесь.) Мировые линии фотонов проходят по поверхностисветовых конусов, но мировая линия ни одной частицы не должна лежать внесветовых конусов. В действительности, должно выполняться более общее утверждение, а именно: ни одному сигналу не разрешается распространяться вне светового конуса.
Чтобы понять, почему должно быть именно так, рассмотрим снова картину пространства Минковского (рис. 5.31).
Рис. 5.31.Сигнал, который распространяется для наблюдателя Wбыстрее света, для наблюдается Uраспространяется назад по времени. Ситуация справа ( б ) представляет собой ту же ситуацию, что и слева ( a ), только перерисованную с точки зрения наблюдателя U. (Эту перерисовку можно рассматривать как движение Пуанкаре. Сравните с рис. 5.21 — но здесь преобразование от ( a ) к ( б ) следует понимать в активном, а не в пассивном смысле.)