Тензор gμν называется метрический тензор — это неизвестное в уравнениях. Каждая его компонента является функцией координат и времени. Он определяет не что иное, как свойства пространства-времени в данной точке. Равенство должно выполняться для каждой компоненты матрицы. То есть на самом деле это 16 уравнений:
R00 - Rg00/2 = 16πGT00/c4
R01 - Rg01/2 = 16πGT01/c4
и так далее. Правда, 6 уравнений можно выкинуть из-за симметричности входящих в него тензоров: gμν — gμν. Уравнения — дифференциальные, в частных производных, второго порядка, нелинейные.
Tμν — тензор энергии-импульса, составлен из плотности энергии, плотности импульса и тензора напряжений. В уравнениях играет роль внешнего источника.
Идем дальше. Rμν — так называемый тензор Риччи, расписывать его уже не стоит, чтобы излишне не запугивать читателя. R — скалярная кривизна, получаемая из тензора Риччи сверткой с тензором gμν. В построении этих объектов участвует аж тензор четвертого ранга — тензор кривизны с четырьмя индексами Rαβγδ, составленный из вторых производных компонент метрического тензора. Не приведи бог пытаться расписывать всё это по компонентам! К счастью, такой необходимости на практике не встречается.
Вдаваться в более подробные разъяснения в данной книге не имеет смысла, однако стоит обсудить, откуда такой «ужас» (с точки зрения непрофессионала) или красота (с точки зрения профессионала, знакомого с альтернативными теориями) взялись.
В ньютоновской теории тяготения гравитационное поле описывается очень простым уравнением Пуассона:
ΔΦ = д2Φ/д2x + д2Φ/д2y + д2Φ/д2z = 4πGρ
здесь Φ — гравитационный потенциал, а ρ — плотность материи. Оно в точности совпадает с уравнением для электростатического потенциала, только вместо Gρ надо подставить плотность электрического заряда. Уравнение Пуассона в отличие от уравнений Эйнштейна линейно, то есть можно суммировать решения, наведенные отдельными массами. Таким образом, зачастую можно не решать уравнения, а просто просуммировать гравитационный или электрический потенциал от разных тел или зарядов, пропорциональный 1/r: Φ = G (m1/r1 + m2/r2 + …). Но ни уравнение ньютоновской гравитации, ни уравнение электростатики не могут оставаться верными, как только мы допускаем возможность движения тел и зарядов и вооружаемся специальной теорией относительности. Уравнение Пуассона предполагает бесконечную скорость распространения сигнала (сдвинули тело — и гравитационный потенциал вдали от него мгновенно изменился). Но специальная теория относительности запрещает мгновенное распространение сигнала, значит, уравнение Пуассона придется отбросить и описывать действительность более сложными уравнениями, куда обязательно должна входить скорость света.
Чтобы примирить электростатику с теорией относительности, приходится объединить электрическое поле с магнитным — описать их единой системой уравнений. Это будут знаменитые уравнения Максвелла. Максвелл ничего не знал про теорию относительности, но в его уравнениях с ней всё в порядке. Когда мы двигаем заряд, появляется магнитное поле и электромагнитные волны, распространяющиеся со скоростью света. Электрическое поле от удаленного заряда изменится не раньше, чем дойдут волны. И при переходе от одной системы отсчета к другой всё меняется логично. Всё в порядке.
Уравнения Максвелла в своей исторической форме довольно сложно запоминаются. Но если перейти от электрического и магнитного полей к четырехмерному векторному потенциалу Aμ (A0 — обычный электрический потенциал, A0, A2, A3 — трехмерный вектор, из производных которого получается магнитное поле), мы получаем нечто, удивительно похожее на уравнение Пуассона: