Фактически все принципиальные предпосылки и необходимые требования для формулировки уравнений гравитационного поля в ОГО мы обсудили. Было осознано, что гравитационное взаимодействие выражается в искривлении пространств а–в реме ни, а искривляется пространство-время под воздействием материк Оказалось также, что и тела, и материя в целом, воздействуют на прост ранет вовремя не только своей массой (или, эквивалентно, энергией), но и состоянием движения, напряжениями внутри тел, взаимодействием между разными видами материи. Больше деталей о материальных источниках можно найти в Дополнении 2. С другой стороны, искривляя пространство–время, материя движется (взаимодействует) уже в пространстве–времени искривлённом самой собой То есть пространство–время в общем случае не является безучастной ареной, на которой кипят страсти физических взаимодействий, а само становится динамическим объектом и во всем участвует. Уравнения Эйнштейна как раз устанавливают правила воздействия материи на пространство–время и наоборот.

Эти уравнения были построены и представлены Эйнштейном в работах 1915 и 1916 годов на основании аргументов изложенных выше. Практически одновременно они были представлены немецким математиком Давидом Гильбертом (1862–1943). Научные интересы Гильберта во многом были связаны с математической физикой. С большим интересом он следил за попытками Эйнштейна создать общую теорию относительности, основанными на логике анализа физических явлений. Это вдохновило его на поиски строгого математического подхода к построению уравнений, которые и были выведены из, так называемого, принципа наименьшего действия. В общем, Гильберт имел планы «заковать физику» в рамки аксиоматического подхода. Но несмотря на впечатляющие результаты в построении уравнений гравитации, этот глобальный замысел Гильберта не удался. До сих пор ведутся споры о приоритете, однако мы считаем, что одни исследования дополняют другие. Если можно так сказать, то Эйнштейн проник в самую глубину физических явлений, а Гильберт дал аппарат, позволяющий исследовать их более эффективно.

Логика построения уравнений Эйнштейна и их конкретный формальный вид даны в Дополнении 3, а здесь мы разъясним основные понятия ОТО, к которым будем часто обращаться в основном тексте. Вернёмся к понятию интервала, который был введён для пространства Минковского. В отличие от плоского пространства, в искривлённом пространстве–времени расстояние между двумя мировыми точками в общем случае невозможно определить как конечную длину отрезка прямой. Необходимо перейти к измерениям в малой окрестности мировой точки {к бесконечно малым величинам). Тогда квадрат интервала пространства Минковского между двумя бесконечно близкими точками перепишется как квадрат элемента интервала (уже бесконечно малой величины) в виде:

Элемент пространства Минковского имеет такой простой вид ещё и потому, что здесь используются координаты Лоренца, то есть декартовы координаты в совокупности с временной координатой. Этот же квадрат элемента интервала (часто его все равно называют «интервал») может быть записан в более формальном виде:

Здесь a, b = 0,1,2,3; a нулевой координате обычно приписывают смысл временной, умноженной на скорость света: x⁰ = ct Величина η_ab является диагональной (отличны от нуля только элементы на диагонали) матрицей 4x4,

и называется метрикой Минковского. формальная запись интервала перейдёт в уже привычную, если использовать простое правило суммирования по повторяющимся индексам, например: т_aп^a = т₀п⁰ + m₁п¹ + т₂п² + т₃п³. Метрика η_ab) задаёт способ измерения расстояний в пространстве Минковского в лоренцевых координатах.

Давайте «искривим» координаты (сделаем их произвольное преобразование), тогда интервал примет вид:

Величина g_ab также называется метрикой и фактически задаёт способ измерения расстоянии в пространстве Минковского, но в тех координатах, в которых она определена.

Важно отметить, что элемент ds, так же как и сам интервал, инвариантная величина, то есть его значение остаётся тем же в любых координатах, Метрика g_ab — это тоже матрица 4x4, но теперь в общем случае она уже не диагональна, её компоненты g₀₀, g₀₁, g₁₁, g₁₂… могут быть какими-либо функциями времени и пространственных координат, см. Дополнение 1.

В искривлённом пространстве–времени способ измерения расстояний между мировыми точками такой же, как в плоском в криволинейных координатах — с помощью элемента интервала. Разница в том, что для пространства Минковского возможен переход от g_ab к простому диагональному виду η_ab во всем пространстве–времени, а для искривлённого — нет. Однако в малой окрестности отдельного свободно падающего наблюдателя такой переход возможен. Ведь согласно слабому принципу эквивалентности он ощущает себя в инерциальной системе отсчёта! Искривление не позволяет связывать мировые точки прямыми, поэтому мировые линии (геодезические или нет), соединяющие события, будут в общем случае кривыми. Их длина вычисляется с помощью бесконечно малых элементов интервала и последующего интегрирования.

Как элемент интервала, так и длина мировых линии (их полный интервал), также являются инвариантными по отношению к преобразованиям координат.

Пространственно–временные измерения и фиксация метрических свойств осуществляются также с помощью света. Скорость света не зависит от скорости излучателей, а для каждого локального наблюдателя, измеренная в его собственной системе отсчёта, имеет одно и то же стандартное значение с. При измерениях самым важным является то, что для света элемент интервала ds в силу инвариантности всегда равен нулю.

Если в наше время спросить даже не самого сведущего, но все таки образованного, человека: уравнения Эйнштейна — это уравнения чего? С большой вероятностью получишь ответ, что это уравнения гравитационного поля. А что такое гравитационное поле мы фактически только что рассказали — это поле метрики g_ab, или метрического тензора.

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

Решить уравнения Эйнштейна — это значит найти коэффициенты g_ab. Но гравитационные уравнения должны решаться вместе с уравнениями для материи, состояние и движение которой также должны стать известными, как результат найденного решения. Также часто решают гравитационные уравнения в вакууме, то есть для областей пространства–времени, где нет материи. Тогда задачей является определить только метрику g_ob, анализ которой даст всю информацию об искривлении пространства-времени, его геодезических и т. д. Решение уравнений ОТО с большими деталями обсуждается в Дополнении 4.

После того как решение уравнений ОТО найдено, необходимо обратиться к принципам соответствия, которые были определены в конце предыдущего параграфа. Первый из них касается соответствия теории гравитации Ньютона. Принцип звучит чётко и довольно жёстко. Но так и должно быть, если мы не хотим ошибиться в интерпретации решений новой теории. Теория Ньютона в данном случае играет роль критерия.

Уже сейчас очень полезно для последующего изложения записать простые формулы этого соответствия. Мы уже говорили, что гравитация Ньютона представлена скалярным полем (потенциалом) φ. Для точечной массы М (или сферически распределённого вещества) скалярное поле вне вещества определяется как φ = -GM/r, где r — расстояние до центра тела. Тогда сила, действующая на тело массы m в этом потенциальном поле, определяется стандартной формулой закона всемирного тяготения:

Движение тел в таком поле хорошо изучено. Как найти соответствие с движением тел в ОТО? Для этого нужно найти пространство–время, геодезические которого, в приближении малых скоростей и слабого поля φ, соответствуют движению тел в теории Ньютона. Такое пространство–время легко находится, его метрика в обсуждаемом приближении имеет в сферических координатах простую форму:

В силу сферической симметрии мы опустили угловую часть, оставив только временную и радиальную. Эту метрику иногда называют метрикой «пространства–времени Ньютона». Здесь g₀₀ = 1 + 2φ/c² = 1 — 2GM/rc². Если нет тяготеющего центра, т. е. масса М = 0, то поле φ исчезает и метрика обращается в метрику пространства Минковского.

Этим мы отметили соответствие для движения тел в теории Ньютона и ОТО. Но также необходимо показать, что для слабых гравитационных полей и малых скоростей уравнения релятивистской теории гравитации должны перейти в уравнения гравитации Ньютона. Но что такое уравнения тяготения Ньютона? Очевидно, что это должны быть уравнения для поля φ. Здесь приходится идти обратным путём. Мы знаем, какое поле создаётся каждой отдельной частицей. Если у нас имеется произвольное распределение плотности вещества р в пространстве, то для каждой точки нужно выписать соответствующее значение φ. А общее поле Φ в каждой точке пространства просто сложится из всех отдельных φ. Тогда получится, что поле Φ в каждой точке удовлетворяет уравнению:

Оказывается, что при всех ограничениях соответствия уравнения ОТО, действительно, сводятся к этому единственному уравнению.

Но на проблему связи между теориями можно посмотреть и с другой позиции. Сила Ньютона — это обычная сила, которая растягивает пружину динамометра, давит на поверхность Земли, держит, как на «цепочках» (или «резинках»), планеты в Солнечной системе. В ОТО ситуация другая. Представим, что нас одарили «божественной» способностью воспринимать искривлённое прост ранет вовремя. При этом мы в состоянии фантастически осознать, где там проходят геодезические (по аналогии с тем, что нашего реального восприятия достаточно, чтобы оценить, что шайба, брошенная по гладкой поверхности катка, движется равномерно и прямолинейно). Тогда для нас понятие гравитационной силы исчезло бы вообще. Все заменилось бы геометрией. Вместо воображаемых «цепочек», на которых Солнце «тащит» планеты, мы увидели бы нечто, похожее на воронку, в которой планеты свободно (по инерции) обращаются вокруг Солнца (рис. 6.3). Если какой-нибудь планете придать достаточно большую скорость, то она «выскочит» из воронки (а на языке гравитации Ньютона — преодолеет солнечное притяжение) и улетит в космос. Проявление же силы тяготения в быту мы интерпретировали бы как препятствие движению по геодезическим. Так, и пружина динамометра, и поверхность Земли, препятствуют такому движению.

Рис. 6.3. Движение планеты

Теперь мы можем также пояснить фразу, прозвучавшую значительно ранее: «общая теория относительности не опровергла теорию Ньютона, а дополнила её для описания режимов (систем), которые во времена Ньютона и вообразить-то было невозможно». Как и самые ранние представления о тяготении, так и теория Ньютона — это все-таки попытки описать известные проявления гравитационного взаимодействия. Да, теория Ньютона позволила открыть новые планеты, Но это результат приложения все того же закона всемирного тяготения, который фактически интерпретируется как известное решение уравнений Ньютона. Уравнения ОТО поставили исследователей совершенно в другую ситуацию. Внешне простые, они оказались весьма сложными для поиска решений, которых оказалось великое множество. Часто не менее сложной оказалась интерпретация новых решений: если одни из решений были некими обобщениями гравитирующих моделей теории Ньютона, то другие «и вообразить-то было невозможно». К последним, например, можно отнести решения для чёрных дыр, присутствие которых во Вселенной уже доказано. Но об этом немного позже.

Принцип соответствия специальной теории относительности связан с уравнениями для материи. При «отключении кривизны» эти уравнения, построенные в искривлённом пространстве–времени, должны перейти в уравнения в плоском пространстве Минковского. Мы это не конкретизируем, но приведём простой пример. Если в одном из решений в искривлённом пространстве–времени частица движется по кривой геодезической, то при «отключении» кривизны (гравитации) движение частицы переходит в движение по прямой — это очевидно.