Общая теория относительности и способы ее подтверждения

Немного истории

Общая теория относительности (ОТО) — современная теория тяготения, связывающая его с кривизной четырехмерного пространства-времени.

В своем, так сказать, классическом варианте теория тяготения была создана Ньютоном еще в XVII веке и до сих нор верно служит человечеству. Она вполне достаточна для многих, если не для большинства, задач современной астрономии, астрофизики, космонавтики. Между тем ее принципиальный внутренний недостаток был ясен еще самому Ньютону. Это теория с дальнодействием: в ней гравитационное действие одного тела на другое передается мгновенно, без запаздывания. Ньютоновская гравитация так же соотносится с общей теорией относительности, как закон Кулона с максвелловской электродинамикой. Максвеллу удалось изгнать дальнодействие из электродинамики. В гравитации это сделал Эйнштейн.

Начать рассказ следует с замечательной работы Эйнштейна 1905 года, в которой была сформулирована специальная теория относительности и которая завершила в идейном отношении развитие классической электродинамики. У этой работы несомненно были предшественники, среди которых нельзя не упомянуть работы Лоренца и Пуанкаре. В их статьях уже содержались многие элементы специальной теории относительности. Однако ясное понимание, цельная картина физики больших скоростей появились лишь в упомянутой работе Эйнштейна. Не случайно, несмотря на наличие прекрасных современных учебников, ее до сих нор можно рекомендовать для первого знакомства с предметом не только студентам, но и старшеклассникам.

Что же касается ОТО. то все ее основополагающие элементы были созданы Эйнштейном.

Впрочем, предчувствие того, что физика может быть связана с кривизной пространства, можно найти в трудах замечательных ученых прошлого века Гаусса, Римана, Гельмгольца, Клиффорда. Гаусс, который пришел к идеям неевклидовой геометрии несколько ранее Лобачевского и Бойаи, но так и не опубликовал своих исследований в этой области, не только считал, что «геометрию приходится ставить в один ряд не с арифметикой, существующей чисто a priori, а скорее с механикой». Он пытался проверить экспериментально, путем точных (для того времени) измерений геометрию нашего пространства. Его идея вдохновила Римана, полагавшего, что наше пространство действительно искривлено (а на малых расстояниях даже дискретно). Жесткие ограничения на кривизну пространства были получены из астрономических данных Гельмгольцем. Клиффорд считал материю рябью на искривленном пространстве.

Однако все эти блестящие догадки и прозрения были явно преждевременны. Создание современной теории тяготения было немыслимым без специальной теории относительности, без глубокого понимания структуры классической электродинамики, без осознания единства пространства-времени. Как уже отмечалось, ОТО была создана в основном усилиями одного человека. Путь Эйнштейна к построению этой теории был долгим и мучительным. Если его работа 1905 года «К электродинамике движущихся сред» появилась как бы сразу в законченном виде, оставляя вне поля зрения читателя длительные размышления, тяжелый труд автора, то с ОТО дело обстояло совершенно иначе. Эйнштейн начал работать над ней с 1907 года. Его путь к ОТО продолжался несколько лет. Это был путь проб и ошибок, который хотя бы отчасти можно проследить по публикациям Эйнштейна в эти годы. Окончательно задача была решена им в двух работах, доложенных на заседаниях Прусской Академии наук в Берлине 18 и 25 ноября 1915 года. В них были сформулированы уравнения гравитационного поля в пустоте и при наличии источников.

В последнем этапе создания ОТО принял участие Гильберт. Вообще значение математики (и математиков) для ОТО очень велико. Ее аппарат, тензорный анализ, или абсолютное дифференциальное исчисление, был развит Риччи и Леви-Чивита. Друг Эйнштейна, математик Гроссман познакомил его с этой техникой.

И все же ОТО — это физическая теория, в основе которой лежит ясный физический принцип, твердо установленный экспериментальный факт.

Принцип эквивалентности и геометризация тяготения

Факт этот но существу был установлен еще Галилеем. Он хорошо известен каждому успевающему старшекласснику: все тела движутся в поле тяжести (в отсутствие сопротивления среды) с одним и тем же ускорением, траектории всех тел с заданной скоростью искривлены в гравитационном поле одинаково. Благодаря этому, в свободно падающем лифте никакой эксперимент не может обнаружить гравитационное поле. Иными словами, в системе отсчёта, свободно движущейся в гравитационном поле, в малой области пространства-времени гравитации нет. Последнее утверждение — это одна из формулировок принципа эквивалентности.

Рис.1. Сферический треугольник

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

Геометрия нашего пространства оказывается неевклидовой.

Некоторое представление о свойствах такого пространства можно получить на простейшем примере сферы, поверхности обычного глобуса. Рассмотрим на ней сферический треугольник — фигуру, ограниченную дугами большого радиуса. (Дуга большого радиуса, соединяющая две точки на сфере, — это кратчайшее расстояние между ними: она естественный аналог прямой на плоскости.) Выберем в качестве этих дуг участки меридианов, отличающихся на 90o долготы, и экватора (рис. 1). Сумма углов этого сферического треугольника отнюдь не равна сумме углов π,треугольника на плоскости:

Заметим, что превышение суммы углов данного треугольника над может быть выражено через его площадь S и радиус сферы R:

Можно доказать, что это соотношение справедливо для любого сферического треугольника. Заметим также, что обычный случай треугольника на плоскости тоже вытекает из этого равенства: плоскость может рассматриваться как сфера с R→∞

Перепишем формулу (2) иначе:

Отсюда видно, что радиус сферы можно определить, оставаясь на ней, не обращаясь к трехмерному пространству, в которое она погружена. Для этого достаточно измерить площадь сферического треугольника и сумму его углов. Иными словами, K (или R) является внутренней характеристикой сферы. Величину K принято называть гауссовой кривизной, она естественным образом обобщается на произвольную гладкую поверхность:

Здесь углы и площадь относятся к малому треугольнику на поверхности, ограниченному линиями кратчайших расстояний на ней, а кривизна, вообще говоря, меняется от точки к точке, является величиной локальной. И в общем случае, так же как и для сферы, K служит внутренней характеристикой поверхности, не зависящей от ее погружения в трехмерное пространство. Гауссова кривизна не меняется при изгибании поверхности без ее разрыва и растяжения. Так, например, конус или цилиндр можно разогнуть в плоскость, и поэтому для них, так же как для плоскости, K = 0.

На соотношения (3), (4) полезно взглянуть несколько иначе. Вернемся к рисунку 1. Возьмем на полюсе вектор, направленный вдоль одного из меридианов, и перенесем его вдоль этого меридиана, не меняя угла между ними (в данном случае нулевого), на экватор. Далее, перенесем его вдоль экватора, снова не меняя угла между ними (на сей раз π/2), на второй меридиан. И наконец, таким же образом вернемся вдоль второго меридиана на полюс. Легко видеть, что, в отличие от такого же переноса по замкнутому контуру на плоскости, вектор окажется в конечном счете повернутым относительно своего исходного направления на π/2, или на