Обсудим слабый принцип эквивалентности. Свободное движение какого-либо тела по инерции в поле тяготения является обобщением свободного движения в инерциальной системе отсчета в пространстве Минковского. Для такого движения взаимные ускорения всех свободных тел в ближайшей окрестности равны нулю. То есть собственная система отсчета исходного тела локально является инерциальной.
Приведем пример, несколько избитый, но наглядный. Представим закрытую со всех сторон кабину лифта. Если удерживающий ее трос вдруг оборвется, то кабина вместе со всем содержимым начнет свободно падать под действием силы тяжести, все тела в ней будут ускоряться совершенно одинаково. Наблюдатель, находящийся внутри такой кабины, не почувствует веса своего тела, а окружающие его предметы будут свободно «парить» в воздухе или двигаться прямолинейно и равномерно, не испытывая ускорений. Для стороннего взгляда все тела внутри кабины ускоряются точно так же, как и она сама (именно этот факт доказал Галилей). И поэтому всё в лифте для внутреннего наблюдателя окажется невесомым. Какие бы опыты он не проводил внутри кабины, он не сможет с их помощью установить, падает ли лифт на Землю или свободно парит в космическом пространстве.
Итак, внутри лифта (в небольшом объеме) наблюдатель ощущает себя вполне в пространстве Минковского и локально может использовать координаты Лоренца. Его мировая линия в этих координатах – это вертикальная линия вдоль оси ct. Следовательно, ускорение для наблюдателя в лифте отсутствует, а значит, отсутствует и «гравитационная сила». Но во внешней для лифта системе отсчета эта же мировая линия (геодезическая) будет выглядеть как кривая.
Пусть пространство искривлено, как это определить? Если запустить из двух близких точек два тела параллельно друг другу, то, двигаясь по геодезическим, они начнут либо сближаться, либо удаляться друг от друга. Этот эффект называется девиацией геодезических. Как это осознать? Если два путешественника начнут перемещаться по двум близким меридианам, начиная от экватора, то они будут сближаться и встретятся на полюсе. Это как раз говорит о том, что поверхность Земли, имея форму сферы, искривлена. Если бы радиус Земли увеличился, то кривизна уменьшилась бы, ведь поверхность Земли стала бы площе. Аналогично, в пространстве-времени девиация геодезических определяет его кривизну.
Математически кривизна определяется так называемым тензором кривизны Римана, величиной, которую нельзя обратить в нуль никакими преобразованиями координат, если пространство-время искривлено. Это понятие исключительно геометрическое. Пространство-время становится искривленным всегда, когда содержит материю в том или ином состоянии, так или иначе расположенную и движущуюся тем или иным образом. Однако оно может быть искривлено и в отсутствии материи! Для плоского пространства-времени тензор кривизны равен нулю.
Необходимо обсудить еще один принцип, который чаще называют сильным принципом эквивалентности. Существуют разные его формулировки, приведем нечто усредненное.
Малая по размерам локальная система отсчета, находящаяся в гравитационном поле, неотличима от такой же системы, но ускоренной относительно инерциальной системы отсчета, связанной с пространством Минковского.
Обычно этот принцип иллюстрируют следующим образом. Находясь в кабине, стоящей на поверхности Земли, наблюдатель ощущает свой обычный вес и замечает, что все предметы совершенно одинаково ускоряются по направлению к полу. Если же кабина, снабженная реактивным двигателем, вместе с наблюдателем переместится в космическое пространство, где будет двигаться с ускорением, в точности равным гравитационному ускорению у поверхности Земли, то наблюдатель снова обнаружит, что все свободные предметы падают на пол с тем же самым ускорением и опять почувствует свой нормальный вес. В такой закрытой кабине невозможны никакие эксперименты, которые позволили бы наблюдателю отличить явления, связанные с тяготением, от явлений, характерных для ускоренного движения.
Часто считают, что этот принцип тоже лежит в основе общей теории относительности. Однако это не так однозначно. Даже сейчас, почти через 100 лет после создания ОТО, в профессиональной литературе время от времени выходят статьи с обсуждением роли этого принципа. Даже его название является предметом дискуссии.
Приведем один из аргументов, который вносит некое сомнение в само представление об эквивалентности в этом случае. Основным отличием пространства-времени ОТО от пространства-времени СТО является его кривизна, которая (как было сказано) определяется тензором кривизны. В пространстве-времени СТО этот тензор тождественно равен нулю, поэтому пространство Минковского называют плоским. Если применить сильный принцип эквивалентности (а понятию «эквивалентность» придать абсолютный смысл) для описания движения в ускоренной системе в пространстве Минковского, то нужно будет сказать, что от плоского пространства-времени мы перешли к искривленному пространству-времени ОТО. Но это невозможно, поскольку невозможно воссоздать из нулевой кривизны ненулевую лишь переходом между системами отсчета. «Малые размеры системы отсчета» в определении принципа не могут быть оправданием, поскольку кривизна – понятие локальное, она определяется в каждой точке.
Хотя в окончательную форму теории Эйнштейна сильный принцип эквивалентности не вошел, исторически он сыграл большую роль в становлении ОТО. Эйнштейн при разработке теории активно его использовал. Также, если в принципиальном плане нельзя из плоского мира сделать искривленный просто переходом в другую систему отсчета, то многие эффекты теории Эйнштейна действительно имеют место в ускоренных системах отсчета.
В качестве принципов построения теории, конечно, необходимы принципы соответствия. В чем они должны состоять? В случае слабых гравитационных полей (малой кривизны пространства-времени) и малых (по сравнению со световой) скоростей уравнения релятивистской теории гравитации должны перейти в уравнения гравитации Ньютона (их полевую форму мы обсудим несколько ниже). То есть предсказания общей теории относительности должны совпасть с результатами применения закона всемирного тяготения Ньютона с небольшими поправками, которые становятся значительными по мере увеличения напряженности поля и увеличения скоростей. В случае отсутствия гравитации (нулевая кривизна) уравнения новой теории тяготения должны перейти в уравнения СТО.
Наконец, иногда в качестве принципов, на основе которых была построена ОТО, упоминают ковариантность – требование, чтобы уравнения теории имели один и тот же вид во всех координатных системах. Это требование в определенном смысле является обобщением лоренц-инвариантности в СТО.
Построение ОТО
Что может сравниться по красоте с… неизменным правилом закономерности, которое управляет самыми, казалось бы, беспорядочными и сложными из ее [природы] проявлений?
Сэмуэль Майкельсон (отец Альберта Майкельсона)
Фактически все принципиальные предпосылки и необходимые требования для формулировки уравнений гравитационного поля в ОТО мы обсудили. Было осознано, что гравитационное взаимодействие выражается в искривлении пространства-времени, а искривляется пространство-время под воздействием материи. Оказалось также, что и тела, и материя в целом, воздействуют на пространство-время не только своей массой (или, эквивалентно, энергией), но и состоянием движения, напряжениями внутри тел, взаимодействием между разными видами материи. Больше деталей о материальных источниках можно найти в Дополнении 2. С другой стороны, искривляя пространство-время, материя движется (взаимодействует) уже в пространстве-времени искривленном самой собой. То есть пространство-время в общем случае не является безучастной ареной, на которой кипят страсти физических взаимодействий, а само становится динамическим объектом и во всем участвует. Уравнения Эйнштейна как раз устанавливают правила воздействия материи на пространство-время и наоборот.
Эти уравнения были построены и представлены Эйнштейном в работах 1915 и 1916 годов на основании аргументов изложенных выше. Практически одновременно они были представлены немецким математиком Давидом Гильбертом (1862–1943). Научные интересы Гильберта во многом были связаны с математической физикой. С большим интересом он следил за попытками Эйнштейна создать общую теорию относительности, основанными на логике анализа физических явлений. Это вдохновило его на поиски строгого математического подхода к построению уравнений, которые и были выведены из, так называемого, принципа наименьшего действия. В общем, Гильберт имел планы «заковать физику» в рамки аксиоматического подхода. Но несмотря на впечатляющие результаты в построении уравнений гравитации, этот глобальный замысел Гильберта не удался. До сих пор ведутся споры о приоритете, однако мы считаем, что одни исследования дополняют другие. Если можно так сказать, то Эйнштейн проник в самую глубину физических явлений, а Гильберт дал аппарат, позволяющий исследовать их более эффективно.
