В общей теории относительности Эйнштейна метрика Шварцшильда (также известная как решение Шварцшильда ) является точным решением уравнений поля Эйнштейна , которое описывает гравитационное поле вне сферической массы, при условии, что электрический заряд массы, угловой момент массы и универсальная космологическая постоянная равны нулю. Решение является полезным приближением для описания медленно вращающихся астрономических объектов, таких как многие звезды и планеты , включая Землю и Солнце. Оно было найдено Карлом Шварцшильдом в 1916 году.
Согласно теореме Биркгофа , метрика Шварцшильда является наиболее общим сферически симметричным вакуумным решением уравнений поля Эйнштейна. Черная дыра Шварцшильда или статическая черная дыра — это черная дыра , которая не имеет ни электрического заряда, ни углового момента (не вращается). Черная дыра Шварцшильда описывается метрикой Шварцшильда и не может быть отличима от любой другой черной дыры Шварцшильда, кроме как по массе.
Черная дыра Шварцшильда характеризуется окружающей сферической границей, называемой горизонтом событий , которая расположена на радиусе Шварцшильда ( ), часто называемом радиусом черной дыры. Граница не является физической поверхностью, и человек, который упал через горизонт событий (до того, как его разорвали приливные силы), не заметил бы никакой физической поверхности в этом положении; это математическая поверхность, которая имеет значение для определения свойств черной дыры. Любая невращающаяся и незаряженная масса, которая меньше ее радиуса Шварцшильда, образует черную дыру. Решение уравнений поля Эйнштейна справедливо для любой массы M , поэтому в принципе (в рамках общей теории относительности) черная дыра Шварцшильда любой массы могла бы существовать, если бы условия стали достаточно благоприятными для ее образования.
Вблизи черной дыры Шварцшильда пространство искривляется настолько, что даже световые лучи отклоняются, а очень близкий свет может отклоняться настолько, что он несколько раз обходит вокруг черной дыры. [1] [2] [3]
Метрика Шварцшильда — это сферически симметричная лоренцева метрика (здесь, с соглашением о сигнатурах (+, -, -, -) ), определенная на (подмножестве) , где — трехмерное евклидово пространство, а — двухсфера. Группа вращений действует на фактор или как вращения вокруг центра , оставляя первый фактор неизменным. Метрика Шварцшильда — это решение уравнений поля Эйнштейна в пустом пространстве, что означает, что оно справедливо только вне гравитирующего тела. То есть для сферического тела радиуса решение справедливо для . Чтобы описать гравитационное поле как внутри, так и вне гравитирующего тела, решение Шварцшильда должно быть согласовано с некоторым подходящим внутренним решением в , [4] таким как внутренняя метрика Шварцшильда .
В координатах Шварцшильда метрика Шварцшильда (или, что эквивалентно, линейный элемент для собственного времени ) имеет вид , где — метрика на двух сферах, т.е. . Кроме того,
Метрика Шварцшильда имеет сингулярность при r = 0 , которая является внутренней сингулярностью кривизны. Она также, по-видимому, имеет сингулярность на горизонте событий r = r s . В зависимости от точки зрения, метрика, таким образом, определена только на внешней области , только на внутренней области или их несвязном объединении. Однако метрика на самом деле несингулярна поперек горизонта событий, как можно видеть в подходящих координатах (см. ниже). Для метрика Шварцшильда асимптотически относится к стандартной метрике Лоренца на пространстве Минковского. Для почти всех астрофизических объектов отношение чрезвычайно мало. Например, радиус Шварцшильда Земли примерно равен8,9 мм , в то время как Солнце, которое3,3 × 10 5 раз массивнее [6] имеет радиус Шварцшильда около 3,0 км. Отношение становится большим только в непосредственной близости от черных дыр и других сверхплотных объектов, таких как нейтронные звезды .
Радиальная координата, как оказалось, имеет физическое значение как «надлежащее расстояние между двумя событиями, которые происходят одновременно относительно радиально движущихся геодезических часов, причем два события лежат на одной и той же радиальной координатной линии» [7] .
Решение Шварцшильда аналогично классической ньютоновской теории гравитации, которая соответствует гравитационному полю вокруг точечной частицы. Даже на поверхности Земли поправки к ньютоновской гравитации составляют всего одну часть на миллиард. [8]
Решение Шварцшильда названо в честь Карла Шварцшильда , который нашел точное решение в 1915 году и опубликовал его в январе 1916 года, [9] чуть больше, чем через месяц после публикации общей теории относительности Эйнштейна. Это было первое точное решение уравнений поля Эйнштейна, отличное от тривиального решения в плоском пространстве . Шварцшильд умер вскоре после публикации своей статьи в результате болезни (предположительно пузырчатки ), которую он развил во время службы в немецкой армии во время Первой мировой войны . [10]
Иоганнес Дросте в 1916 году [11] независимо получил то же решение, что и Шварцшильд, используя более простой и прямой вывод. [12]
В ранние годы общей теории относительности было много путаницы относительно природы сингулярностей, обнаруженных в уравнениях Шварцшильда и других решениях уравнений поля Эйнштейна . В оригинальной статье Шварцшильда он поместил то, что мы сейчас называем горизонтом событий, в начало своей системы координат. В этой статье он также ввел то, что сейчас известно как радиальная координата Шварцшильда ( r в уравнениях выше), в качестве вспомогательной переменной. В своих уравнениях Шварцшильд использовал другую радиальную координату, которая была равна нулю на радиусе Шварцшильда.
Более полный анализ структуры сингулярности был дан Дэвидом Гильбертом [13] в следующем году, определив сингулярности как при r = 0, так и при r = r s . Хотя существовало общее согласие, что сингулярность при r = 0 была «подлинной» физической сингулярностью, природа сингулярности при r = r s оставалась неясной. [14]
В 1921 году Поль Пэнлеве и в 1922 году Альвар Гулльстранд независимо друг от друга создали метрику, сферически симметричное решение уравнений Эйнштейна, которое, как мы теперь знаем, является координатным преобразованием метрики Шварцшильда, координатами Гулльстранда–Пэнлеве , в которых не было сингулярности при r = r s . Однако они не осознавали, что их решения были просто координатными преобразованиями, и фактически использовали свое решение, чтобы доказать, что теория Эйнштейна была неверной. В 1924 году Артур Эддингтон создал первое координатное преобразование ( координаты Эддингтона–Финкельштейна ), которое показало, что сингулярность при r = r s была артефактом координат, хотя он также, по-видимому, не осознавал значимости этого открытия. Позже, в 1932 году, Жорж Леметр дал другое преобразование координат ( координаты Лемэтра ) с тем же эффектом и был первым, кто понял, что это подразумевает, что сингулярность при r = r s не является физической. В 1939 году Говард Робертсон показал, что свободно падающий наблюдатель, спускающийся в метрике Шварцшильда, пересечет сингулярность r = r s за конечное количество собственного времени, хотя это займет бесконечное количество времени в терминах координатного времени t . [14]
В 1950 году Джон Синг опубликовал статью [15] , в которой было показано максимальное аналитическое расширение метрики Шварцшильда, снова показав, что сингулярность при r = r s была артефактом координат и что она представляла два горизонта. Похожий результат позже был заново открыт Джорджем Секерешом [16] и независимо Мартином Крускалом [17] . Новые координаты, ныне известные как координаты Крускала–Секереша, были намного проще, чем координаты Синга , но обе предоставляли единый набор координат, который охватывал все пространство-время. Однако, возможно, из-за неизвестности журналов, в которых были опубликованы статьи Леметра и Синга, их выводы остались незамеченными, и многие из основных игроков в этой области, включая Эйнштейна, считали, что сингулярность на радиусе Шварцшильда была физической. [14] Более поздний вывод Синджем метрического решения Крускала–Секереса [18], который был мотивирован желанием избежать «использования «плохих» [Шварцшильда] координат для получения «хороших» [Крускала–Секереса] координат», был в целом недооценен в литературе, но был принят Чандрасекаром в его монографии о черной дыре. [19]
Реальный прогресс был достигнут в 1960-х годах, когда математически строгая формулировка, отлитая в терминах дифференциальной геометрии , вошла в область общей теории относительности, что позволило более точно определить, что означает для лоренцева многообразия быть сингулярным. Это привело к окончательной идентификации сингулярности r = r s в метрике Шварцшильда как горизонта событий , т. е. гиперповерхности в пространстве-времени, которую можно пересечь только в одном направлении. [14]
Решение Шварцшильда, по-видимому, имеет сингулярности при r = 0 и r = r s ; некоторые компоненты метрики «взрываются» (влекут деление на ноль или умножение на бесконечность) на этих радиусах. Поскольку ожидается, что метрика Шварцшильда будет верна только для радиусов, больших радиуса R гравитирующего тела, то проблем не возникает, пока R > r s . Для обычных звезд и планет это всегда так. Например, радиус Солнца приблизительно равен700 000 км , тогда как его радиус Шварцшильда составляет всего3 км .
Сингулярность при r = r s делит координаты Шварцшильда на два несвязанных участка . Внешнее решение Шварцшильда с r > r s связано с гравитационными полями звезд и планет. Внутреннее решение Шварцшильда с 0 ≤ r < r s , которое содержит сингулярность при r = 0 , полностью отделено от внешнего участка сингулярностью при r = r s . Таким образом, координаты Шварцшильда не дают физической связи между двумя участками, которые можно рассматривать как отдельные решения. Однако сингулярность при r = r s является иллюзией; это пример того, что называется координатной сингулярностью . Как следует из названия, сингулярность возникает из-за плохого выбора координат или координатных условий . При переходе к другой системе координат (например , координатам Леметра , Эддингтона–Финкельштейна , Крускала–Секереша , Новикова или Гулльстранда–Пенлеве ) метрика становится регулярной при r = r s и может расширить внешний патч до значений r меньших, чем r s . Используя другое преобразование координат, можно затем связать расширенный внешний патч с внутренним патчем. [20]
Однако случай r = 0 отличается. Если кто-то попросит, чтобы решение было действительным для всех r, он столкнется с истинной физической сингулярностью, или гравитационной сингулярностью , в начале координат. Чтобы увидеть, что это истинная сингулярность, нужно рассмотреть величины, которые не зависят от выбора координат. Одной из таких важных величин является инвариант Кречмана , который задается как
При r = 0 кривизна становится бесконечной, что указывает на наличие сингулярности. В этой точке метрика не может быть расширена гладко (инвариант Кречмана включает вторые производные метрики), само пространство-время тогда уже не является хорошо определенным. Более того, Сбирски [21] показал, что метрика не может быть расширена даже непрерывным образом. Долгое время считалось, что такое решение нефизично. Однако более глубокое понимание общей теории относительности привело к осознанию того, что такие сингулярности являются общей чертой теории, а не просто экзотическим частным случаем.
Решение Шварцшильда, считающееся справедливым для всех r > 0 , называется черной дырой Шварцшильда . Это совершенно справедливое решение уравнений поля Эйнштейна, хотя (как и другие черные дыры) оно обладает довольно странными свойствами. При r < r s радиальная координата Шварцшильда r становится времениподобной , а временная координата t становится пространственноподобной . [22] Кривая при постоянном r больше не является возможной мировой линией частицы или наблюдателя, даже если приложить силу, чтобы попытаться удержать ее там; это происходит из-за того, что пространство-время искривилось настолько, что направление причины и следствия (будущий световой конус частицы ) указывает на сингулярность. [ требуется ссылка ] Поверхность r = r s разграничивает то, что называется горизонтом событий черной дыры. Она представляет собой точку, за которой свет больше не может покинуть гравитационное поле. Любой физический объект, радиус которого R становится меньше или равен радиусу Шварцшильда, претерпел гравитационный коллапс и стал черной дырой.
Решение Шварцшильда может быть выражено в диапазоне различных вариантов выбора координат, помимо координат Шварцшильда, использованных выше. Различные варианты выбора, как правило, подчеркивают различные особенности решения. В таблице ниже показаны некоторые популярные варианты выбора.
В таблице выше для краткости введены некоторые сокращения. Скорость света c установлена на единицу . Обозначение
используется для метрики единичного радиуса двумерной сферы. Более того, в каждой записи R и T обозначают альтернативные варианты радиальной и временной координаты для конкретных координат. Обратите внимание, что R или T могут различаться от записи к записи.
Координаты Крускала–Секереша имеют вид, к которому можно применить преобразование Белинского–Захарова . Это означает, что черная дыра Шварцшильда является формой гравитационного солитона .
Пространственная кривизна решения Шварцшильда для r > r s может быть визуализирована, как показано на графике. Рассмотрим экваториальный срез H с постоянным временем через решение Шварцшильда, зафиксировав θ = π/2 , t = константа, и позволяя оставшимся координатам Шварцшильда ( r , φ ) изменяться. Представьте теперь, что есть дополнительное евклидово измерение w , которое не имеет физической реальности (оно не является частью пространства-времени). Затем замените плоскость ( r , φ ) поверхностью, ямочкой в направлении w согласно уравнению ( параболоид Фламма )
Эта поверхность обладает тем свойством, что расстояния, измеренные внутри нее, соответствуют расстояниям в метрике Шварцшильда, поскольку с учетом определения w выше,
Таким образом, параболоид Фламма полезен для визуализации пространственной кривизны метрики Шварцшильда. Однако его не следует путать с гравитационным колодцем . Ни одна обычная (массивная или безмассовая) частица не может иметь мировую линию, лежащую на параболоиде, поскольку все расстояния на нем являются пространственноподобными (это поперечное сечение в один момент времени, поэтому любая движущаяся по нему частица будет иметь бесконечную скорость ). Тахион может иметь пространственноподобную мировую линию, которая полностью лежит на одном параболоиде. Однако даже в этом случае его геодезический путь не является траекторией, которую можно получить через аналогию гравитационного колодца с «резиновым листом»: в частности, если углубление нарисовано направленным вверх, а не вниз, геодезический путь тахиона все равно искривляется к центральной массе, а не от нее. См. статью о гравитационном колодце для получения дополнительной информации.
Параболоид Фламма может быть получен следующим образом. Евклидова метрика в цилиндрических координатах ( r , φ , w ) записывается как
Если поверхность описывать функцией w = w ( r ) , то евклидову метрику можно записать как
Сравнивая это с метрикой Шварцшильда в экваториальной плоскости ( θ = π/2 ) в фиксированное время ( t = константа, dt = 0 )
дает интегральное выражение для w ( r ) :
решением которого является параболоид Фламма.
Частица, вращающаяся в метрике Шварцшильда, может иметь устойчивую круговую орбиту с r > 3 r s . Круговые орбиты с r между 1,5 r s и 3 r s нестабильны, и для r < 1,5 r s круговых орбит не существует . Круговая орбита с минимальным радиусом 1,5 r s соответствует орбитальной скорости, приближающейся к скорости света. Частица может иметь постоянное значение r между r s и 1,5 r s , но только если действует некоторая сила, удерживающая ее там.
Некруговые орбиты, такие как орбита Меркурия , задерживаются на малых радиусах дольше, чем можно было бы ожидать в ньютоновской гравитации . Это можно рассматривать как менее экстремальную версию более драматичного случая, в котором частица проходит через горизонт событий и остается внутри него навсегда. Промежуточные между случаем Меркурия и случаем падения объекта за горизонт событий, существуют экзотические возможности, такие как орбиты с острым краем, в которых спутник может быть вынужден совершать произвольно большое количество почти круговых орбит, после чего он улетает обратно наружу.
Группа изометрий метрики Шварцшильда — это , где — ортогональная группа вращений и отражений в трех измерениях, включает временные переносы, а — группа, порожденная обращением времени.
Таким образом, это подгруппа десятимерной группы Пуанкаре , которая принимает ось времени (траекторию звезды) в себя. Она опускает пространственные переносы (три измерения) и усиления (три измерения). Она сохраняет временные переносы (одно измерение) и вращения (три измерения). Таким образом, она имеет четыре измерения. Как и группа Пуанкаре, она имеет четыре связанных компонента: компонент тождества; компонент, обращенный во времени; компонент пространственной инверсии; и компонент, который одновременно обращен во времени и пространственно инвертирован.
Скаляр кривизны Риччи и тензор кривизны Риччи оба равны нулю. Ненулевые компоненты тензора кривизны Римана равны [25]
Компоненты, которые можно получить с помощью симметрий тензора Римана, не отображаются.
Для понимания физического смысла этих величин полезно выразить тензор кривизны в ортонормированном базисе. В ортонормированном базисе наблюдателя ненулевые компоненты в геометрических единицах равны [25]
Опять же, компоненты, которые можно получить с помощью симметрий тензора Римана, не отображаются. Эти результаты инвариантны к любому усилению Лоренца, поэтому компоненты не меняются для нестатичных наблюдателей. Уравнение геодезического отклонения показывает, что приливное ускорение между двумя наблюдателями, разделенными расстоянием , равно , поэтому тело длиной растягивается в радиальном направлении кажущимся ускорением и сжимается в перпендикулярных направлениях .
Если посмотреть на черные дыры, то метрика внутри горизонта событий меняет пространственноподобные и временноподобные координаты. Радиус начинает вести себя как времениподобный, а время начинает вести себя как пространствоподобный.