Метрика Керра или геометрия Керра описывает геометрию пустого пространства-времени вокруг вращающейся незаряженной аксиально-симметричной черной дыры с квазисферическим горизонтом событий . Метрика Керра является точным решением уравнений поля Эйнштейна общей теории относительности ; эти уравнения являются сильно нелинейными , что делает поиск точных решений очень сложным.
Метрика Керра является обобщением на вращающееся тело метрики Шварцшильда , открытой Карлом Шварцшильдом в 1915 году, которая описывала геометрию пространства-времени вокруг незаряженного, сферически симметричного и невращающегося тела. Соответствующее решение для заряженного , сферического, невращающегося тела, метрика Рейсснера–Нордстрема , было открыто вскоре после этого (1916–1918). Однако точное решение для незаряженной вращающейся черной дыры, метрика Керра, оставалось нерешенным до 1963 года, когда ее открыл Рой Керр . [1] [2] : 69–81 Естественное расширение на заряженную вращающуюся черную дыру, метрика Керра–Ньюмена , было открыто вскоре после этого в 1965 году. Эти четыре связанных решения можно суммировать в следующей таблице, где Q представляет электрический заряд тела , а J представляет его спиновый угловой момент :
Согласно метрике Керра, вращающееся тело должно демонстрировать эффект увлечения системы отсчета (также известный как прецессия Лензе–Тирринга ), отличительное предсказание общей теории относительности. Первое измерение этого эффекта увлечения системы отсчета было выполнено в 2011 году экспериментом Gravity Probe B. Грубо говоря, этот эффект предсказывает, что объекты, приближающиеся к вращающейся массе, будут вовлечены в ее вращение не из-за какой-либо приложенной силы или крутящего момента, которые можно почувствовать, а скорее из-за закрученной кривизны самого пространства-времени, связанной с вращающимися телами. В случае вращающейся черной дыры на достаточно близких расстояниях все объекты — даже свет — должны вращаться вместе с черной дырой; область, где это имеет место, называется эргосферой .
Свет от удаленных источников может несколько раз обойти горизонт событий (если они достаточно близко), создавая множественные изображения одного и того же объекта . Для удаленного наблюдателя кажущееся перпендикулярное расстояние между изображениями уменьшается в e 2 π раз (около 500). Однако быстро вращающиеся черные дыры имеют меньшее расстояние между множественными изображениями. [3] [4]
Вращающиеся черные дыры имеют поверхности, на которых метрика, по-видимому, имеет кажущиеся сингулярности ; размер и форма этих поверхностей зависят от массы и углового момента черной дыры . Внешняя поверхность охватывает эргосферу и имеет форму, похожую на сплющенную сферу. Внутренняя поверхность отмечает горизонт событий ; объекты, проходящие внутрь этого горизонта, никогда больше не смогут общаться с миром за его пределами. Однако ни одна из поверхностей не является истинной сингулярностью, поскольку их кажущаяся сингулярность может быть устранена в другой системе координат . Похожая ситуация возникает при рассмотрении метрики Шварцшильда , которая также, по-видимому, приводит к сингулярности в точке , разделяющей пространство выше и ниже r s на два несвязанных участка; используя другое преобразование координат, можно затем связать расширенный внешний участок с внутренним участком (см. Метрика Шварцшильда § Сингулярности и черные дыры ) — такое преобразование координат устраняет кажущуюся сингулярность там, где встречаются внутренняя и внешняя поверхности. Объекты между этими двумя поверхностями должны вращаться совместно с вращающейся черной дырой, как отмечено выше; эту особенность в принципе можно использовать для извлечения энергии из вращающейся черной дыры вплоть до ее инвариантной массовой энергии Mc 2 .
Эксперимент LIGO, впервые обнаруживший гравитационные волны и анонсированный в 2016 году, также обеспечил первое прямое наблюдение пары черных дыр Керра. [5]
Метрика Керра обычно выражается в одной из двух форм: форма Бойера–Линдквиста и форма Керра–Шилда. Она может быть легко выведена из метрики Шварцшильда, используя алгоритм Ньюмена–Джаниса [6] с помощью формализма Ньюмена–Пенроуза (также известного как формализм спин-коэффициента), [7] уравнения Эрнста , [8] или преобразования координат эллипсоида. [9]
Метрика Керра описывает геометрию пространства-времени вблизи массы , вращающейся с угловым моментом . [10] Метрика (или, что эквивалентно, ее линейный элемент для собственного времени ) в координатах Бойера–Линдквиста равна [11] [12]
где координаты являются стандартными сплюснутыми сфероидальными координатами , которые эквивалентны декартовым координатам [13] [14]
где радиус Шварцшильда
и где для краткости шкалы длины и были введены как
Ключевой особенностью, которую следует отметить в приведенной выше метрике, является перекрестный член . Это подразумевает, что существует связь между временем и движением в плоскости вращения, которая исчезает, когда угловой момент черной дыры стремится к нулю.
В нерелятивистском пределе, где (или, что эквивалентно, ) стремится к нулю, метрика Керра становится ортогональной метрикой для сплюснутых сфероидальных координат
Метрику Керра можно выразить в форме «Керра–Шилда» , используя определенный набор декартовых координат следующим образом. [15] [16] [17] Эти решения были предложены Керром и Шильдом в 1965 году.
Обратите внимание, что k — единичный 3-вектор , что делает 4-вектор нулевым вектором по отношению как к g , так и к η . [18] Здесь M — постоянная масса вращающегося объекта, η — тензор Минковского , а a — постоянный параметр вращения вращающегося объекта. Подразумевается, что вектор направлен вдоль положительной оси z. Величина r не является радиусом, а скорее неявно определяется как
Обратите внимание, что величина r становится обычным радиусом R
когда параметр вращения приближается к нулю. В этой форме решения единицы выбираются так, чтобы скорость света была равна единице ( ). На больших расстояниях от источника ( R ≫ a ) эти уравнения сводятся к форме Эддингтона–Финкельштейна метрики Шварцшильда .
В форме Керра–Шилда метрики Керра определитель метрического тензора везде равен отрицательной единице, даже вблизи источника. [19]
Поскольку метрика Керра (вместе с метрикой Керра–NUT) является аксиально-симметричной, ее можно привести к форме, к которой можно применить преобразование Белинского–Захарова . Это подразумевает, что черная дыра Керра имеет форму гравитационного солитона . [20]
Если извлечь полную вращательную энергию черной дыры, например, с помощью процесса Пенроуза , [21] [22] оставшаяся масса не может уменьшиться ниже неприводимой массы. Следовательно, если черная дыра вращается со спином , ее полный эквивалент массы выше в раз по сравнению с соответствующей черной дырой Шварцшильда, где равно . Причина этого в том, что для того, чтобы заставить статическое тело вращаться, к системе необходимо приложить энергию. Из-за эквивалентности массы и энергии эта энергия также имеет эквивалент массы, который добавляется к полной массе и энергии системы, .
Полный эквивалент массы (гравитационная масса) тела (включая его энергию вращения ) и его неприводимая масса связаны соотношением [23] [24]
Поскольку даже прямая проверка метрики Керра требует громоздких вычислений, контравариантные компоненты метрического тензора в координатах Бойера–Линдквиста показаны ниже в выражении для квадрата оператора четырехградиента : [21]
Мы можем переписать метрику Керра ( 1 ) в следующем виде:
Эта метрика эквивалентна совращающейся системе отсчета, которая вращается с угловой скоростью Ω, зависящей как от радиуса r, так и от кошироты θ , где Ω называется горизонтом Киллинга .
Таким образом, инерциальная система отсчета увлекается вращающейся центральной массой, чтобы участвовать во вращении последней; это называется увлечением системы отсчета и было проверено экспериментально. [25] Качественно увлечение системой отсчета можно рассматривать как гравитационный аналог электромагнитной индукции. «Конькобежец», находящийся на орбите над экватором и вращательно покоящийся относительно звезд, вытягивает свои руки. Рука, вытянутая к черной дыре, будет закручена в направлении вращения. Рука, вытянутая от черной дыры, будет закручена в направлении анти-вращения. Поэтому она будет вращательно ускорена в направлении, противоположном вращению черной дыры. Это противоположно тому, что происходит в повседневном опыте. Если она уже вращается с определенной скоростью, когда она вытягивает свои руки, инерционные эффекты и эффекты увлечения системой отсчета будут сбалансированы, и ее вращение не изменится. Из-за принципа эквивалентности гравитационные эффекты локально неотличимы от инерционных эффектов, поэтому эта скорость вращения, при которой, когда она вытягивает руки, ничего не происходит, является ее локальной точкой отсчета для отсутствия вращения. Эта система вращается относительно неподвижных звезд и вращается в противоположном направлении относительно черной дыры. Полезной метафорой является планетарная зубчатая система, в которой черная дыра является солнечной шестерней, фигурист — планетарной шестерней, а внешняя вселенная — кольцевой шестерней. Это также можно интерпретировать с помощью принципа Маха .
В метрике Керра ( 1 ) есть несколько важных поверхностей . Внутренняя поверхность соответствует горизонту событий, подобному наблюдаемому в метрике Шварцшильда ; это происходит там, где чисто радиальная компонента g rr метрики стремится к бесконечности. Решение квадратного уравнения 1/г рр = 0 дает решение:
что в натуральных единицах (которые дают ) упрощается до:
В то время как в метрике Шварцшильда горизонт событий также является местом, где чисто временная компонента метрики g tt меняет знак с положительного на отрицательный, в метрике Керра это происходит на другом расстоянии. Снова решая квадратное уравнение g tt = 0 , получаем решение:
или в натуральных единицах:
Из-за члена cos 2 θ в квадратном корне эта внешняя поверхность напоминает сплющенную сферу, которая касается внутренней поверхности на полюсах оси вращения, где коширота θ равна 0 или π ; пространство между этими двумя поверхностями называется эргосферой . Внутри этого объема чисто временной компонент g tt отрицателен, т. е. действует как чисто пространственный метрический компонент. Следовательно, частицы внутри этой эргосферы должны вращаться совместно с внутренней массой, если они хотят сохранить свой временной характер. Движущаяся частица испытывает положительное собственное время вдоль своей мировой линии , своего пути через пространство-время . Однако это невозможно внутри эргосферы, где g tt отрицателен, если только частица не вращается совместно вокруг внутренней массы с угловой скоростью не менее . Таким образом, ни одна частица не может двигаться в направлении, противоположном вращению центральной массы внутри эргосферы.
Как и в случае с горизонтом событий в метрике Шварцшильда , кажущаяся сингулярность в r H обусловлена выбором координат (т. е. это координатная сингулярность ). Фактически, пространство-время может быть гладко продолжено через него с помощью соответствующего выбора координат. В свою очередь, внешняя граница эргосферы в r E сама по себе не является сингулярной даже в координатах Керра из-за ненулевого члена.
Черная дыра в общем окружена поверхностью, называемой горизонтом событий и расположенной на радиусе Шварцшильда для невращающейся черной дыры, где скорость убегания равна скорости света. Внутри этой поверхности ни один наблюдатель/частица не может поддерживать себя на постоянном радиусе. Она вынуждена падать внутрь, и поэтому это иногда называют статическим пределом .
Вращающаяся черная дыра имеет тот же статический предел на своем горизонте событий, но за пределами горизонта событий имеется дополнительная поверхность, называемая «эргоповерхностью», определяемая формулой
в координатах Бойера–Линдквиста , которые можно интуитивно охарактеризовать как сферу, где «скорость вращения окружающего пространства» увлекается вместе со скоростью света. Внутри этой сферы увлечение больше скорости света, и любой наблюдатель/частица вынужден вращаться вместе с ней.
Область за пределами горизонта событий, но внутри поверхности, где скорость вращения равна скорости света, называется эргосферой ( от греческого ergon — работа ). Частицы, падающие в эргосферу, вынуждены вращаться быстрее и тем самым получать энергию. Поскольку они все еще находятся за пределами горизонта событий, они могут покинуть черную дыру. Чистый процесс заключается в том, что вращающаяся черная дыра испускает энергичные частицы за счет своей собственной полной энергии. Возможность извлечения энергии спина из вращающейся черной дыры была впервые предложена математиком Роджером Пенроузом в 1969 году и поэтому называется процессом Пенроуза . Вращающиеся черные дыры в астрофизике являются потенциальным источником большого количества энергии и используются для объяснения энергетических явлений, таких как гамма-всплески .
Геометрия Керра демонстрирует множество примечательных особенностей: максимальное аналитическое расширение включает последовательность асимптотически плоских внешних областей, каждая из которых связана с эргосферой , стационарными предельными поверхностями, горизонтами событий , горизонтами Коши , замкнутыми времениподобными кривыми и сингулярностью кривизны в форме кольца . Геодезическое уравнение может быть решено точно в замкнутой форме. В дополнение к двум векторным полям Киллинга (соответствующим переносу времени и осесимметрии ), геометрия Керра допускает замечательный тензор Киллинга . Существует пара главных нулевых конгруэнций (одна входящая и одна исходящая ). Тензор Вейля является алгебраически специальным , фактически он имеет тип Петрова D. Глобальная структура известна. Топологически гомотопический тип пространства-времени Керра можно просто охарактеризовать как линию с окружностями, прикрепленными в каждой целочисленной точке.
Обратите внимание, что внутренняя геометрия Керра нестабильна по отношению к возмущениям во внутренней области. Эта нестабильность означает, что хотя метрика Керра является осесимметричной, черная дыра, созданная посредством гравитационного коллапса, может быть не таковой. [13] Эта нестабильность также подразумевает, что многие из особенностей геометрии Керра, описанных выше, могут отсутствовать внутри такой черной дыры. [27] [28]
Поверхность, по которой свет может вращаться вокруг черной дыры, называется фотонной сферой. Решение Керра имеет бесконечно много фотонных сфер , лежащих между внутренней и внешней. В невращающемся решении Шварцшильда с внутренняя и внешняя фотонные сферы вырождаются, так что на одном радиусе находится только одна фотонная сфера. Чем больше спин черной дыры, тем дальше друг от друга движутся внутренняя и внешняя фотонные сферы. Луч света, движущийся в направлении, противоположном спину черной дыры, будет вращаться по круговой орбите вокруг дыры во внешней фотонной сфере. Луч света, движущийся в том же направлении, что и спин черной дыры, будет вращаться по круговой орбите во внутренней фотонной сфере. Орбитальные геодезические с некоторым угловым моментом, перпендикулярным оси вращения черной дыры, будут вращаться по фотонным сферам между этими двумя крайностями. Поскольку пространство-время вращается, такие орбиты демонстрируют прецессию , поскольку происходит сдвиг переменной после завершения одного периода переменной .
Уравнения движения для тестовых частиц в пространстве-времени Керра управляются четырьмя константами движения . [29] Первая — это инвариантная масса тестового тела, определяемая соотношением, где — это 4-импульс частицы. Кроме того, существуют две константы движения, заданные симметриями временного переноса и вращения пространства-времени Керра, энергия и компонент орбитального углового момента, параллельный спину черной дыры . [21] [30] и
Используя теорию Гамильтона-Якоби , Брэндон Картер показал, что существует четвертая константа движения, , [29] теперь называемая константой Картера . Она связана с полным угловым моментом частицы и определяется как
Поскольку существует четыре (независимых) константы движения для степеней свободы, уравнения движения пробной частицы в пространстве-времени Керра являются интегрируемыми .
Используя эти константы движения, можно записать уравнения траектории для пробной частицы (используя естественные единицы измерения ), [29] с
где — аффинный параметр, такой что . В частности, когда аффинный параметр , связан с собственным временем через .
Из-за эффекта увлечения рамки наблюдатель с нулевым угловым моментом (ZAMO) вращается с угловой скоростью , которая определяется относительно координатного времени бухгалтера . [31] Локальная скорость тестовой частицы измеряется относительно зонда, вращающегося с . Гравитационное замедление времени между ZAMO в фиксированном положении и неподвижным наблюдателем, удаленным от массы , равно В декартовых координатах Керра–Шилда уравнения для фотона имеют вид [32] где аналогично постоянной Картера, а — полезная величина
Если мы установим , геодезические Шварцшильда будут восстановлены.
Группа изометрий метрики Керра является подгруппой десятимерной группы Пуанкаре , которая принимает двумерное место сингулярности в себя. Она сохраняет временные трансляции (одно измерение) и вращения вокруг своей оси вращения (одно измерение). Таким образом, она имеет два измерения. Как и группа Пуанкаре, она имеет четыре связных компонента: компонент тождества; компонент, который обращает время и долготу; компонент, который отражает через экваториальную плоскость; и компонент, который делает и то, и другое.
В физике симметрии обычно связаны с сохраняющимися константами движения в соответствии с теоремой Нётер . Как показано выше, геодезические уравнения имеют четыре сохраняющиеся величины: одна из которых вытекает из определения геодезической, а две из них возникают из временной трансляции и вращательной симметрии геометрии Керра. Четвертая сохраняющаяся величина не возникает из симметрии в стандартном смысле и обычно называется скрытой симметрией.
Местоположение горизонта событий определяется большим корнем . Когда (т.е. ), нет (действительных) решений этого уравнения, и нет горизонта событий. Без горизонтов событий, которые могли бы скрыть его от остальной части Вселенной, черная дыра перестает быть черной дырой и вместо этого становится голой сингулярностью . [33]
Хотя решение Керра кажется сингулярным в корнях , на самом деле это координатные сингулярности , и при соответствующем выборе новых координат решение Керра может быть плавно расширено через значения , соответствующие этим корням. Больший из этих корней определяет местоположение горизонта событий, а меньший определяет местоположение горизонта Коши . (Направленная в будущее, подобная времени) кривая может начинаться во внешней части и проходить через горизонт событий. После прохождения через горизонт событий координата теперь ведет себя как временная координата, поэтому она должна уменьшаться до тех пор, пока кривая не пройдет через горизонт Коши. [34]
Область за горизонтом Коши имеет несколько удивительных особенностей. Координата снова ведет себя как пространственная координата и может свободно меняться. Внутренняя область имеет симметрию отражения, так что (направленная в будущее времяподобная) кривая может продолжаться по симметричному пути, который продолжается через второй горизонт Коши, через второй горизонт событий и наружу в новую внешнюю область, которая изометрична исходной внешней области решения Керра. Затем кривая может уйти в бесконечность в новой области или войти в будущий горизонт событий новой внешней области и повторить процесс. Эта вторая внешняя область иногда рассматривается как другая вселенная. С другой стороны, в решении Керра сингулярность представляет собой кольцо , и кривая может проходить через центр этого кольца. Область за пределами допускает замкнутые времениподобные кривые. Поскольку траектория наблюдателей и частиц в общей теории относительности описывается времениподобными кривыми, наблюдатели в этой области могут вернуться в свое прошлое. [27] [28] Это внутреннее решение вряд ли будет физическим и будет рассматриваться как чисто математический артефакт. [35]
Хотя ожидается, что внешняя область решения Керра стабильна и что все вращающиеся черные дыры в конечном итоге приблизятся к метрике Керра, внутренняя область решения, по-видимому, нестабильна, подобно карандашу, сбалансированному на своем острие. [36] [13] Это связано с идеей космической цензуры .
Геометрия Керра является частным примером стационарного аксиально-симметричного вакуумного решения уравнения поля Эйнштейна . Семейство всех стационарных аксиально-симметричных вакуумных решений уравнения поля Эйнштейна — это вакуумы Эрнста.
Решение Керра также связано с различными невакуумными решениями, которые моделируют черные дыры. Например, электровакуум Керра–Ньюмена моделирует (вращающуюся) черную дыру, наделенную электрическим зарядом, в то время как нулевая пыль Керра–Вайдьи моделирует (вращающуюся) дыру с падающим электромагнитным излучением.
Частный случай метрики Керра дает метрику Шварцшильда , которая моделирует невращающуюся черную дыру, которая является статической и сферически симметричной , в координатах Шварцшильда . (В этом случае каждый момент Героха, кроме массы, обращается в нуль.)
Внутренняя часть геометрии Керра, или, скорее, ее часть, локально изометрична вакууму Чандрасекара–Феррари CPW, примеру модели сталкивающихся плоских волн. Это особенно интересно, поскольку глобальная структура этого решения CPW существенно отличается от структуры геометрии Керра, и в принципе экспериментатор мог бы надеяться изучить геометрию (внешней части) внутренней части Керра, организовав столкновение двух подходящих гравитационных плоских волн .
Каждый асимптотически плоский вакуум Эрнста можно охарактеризовать, задав бесконечную последовательность релятивистских мультипольных моментов , первые два из которых можно интерпретировать как массу и угловой момент источника поля. Существуют альтернативные формулировки релятивистских мультипольных моментов, предложенные Хансеном, Торном и Герохом, которые, как оказалось, согласуются друг с другом. Релятивистские мультипольные моменты геометрии Керра были вычислены Хансеном; они оказались
Таким образом, частный случай вакуума Шварцшильда ( ) дает «монопольный точечный источник » общей теории относительности. [a]
Мультипольные моменты Вейля возникают при обработке определенной метрической функции (формально соответствующей ньютоновскому гравитационному потенциалу), которая появляется как карта Вейля–Папапетру для семейства Эрнста всех стационарных осесимметричных вакуумных решений с использованием стандартных евклидовых скалярных мультипольных моментов . Они отличаются от моментов, вычисленных Хансеном выше. В некотором смысле моменты Вейля только (косвенно) характеризуют «распределение масс» изолированного источника, и они оказываются зависящими только от релятивистских моментов четного порядка . В случае решений, симметричных относительно экваториальной плоскости, моменты Вейля нечетного порядка исчезают. Для вакуумных решений Керра первые несколько моментов Вейля задаются как
В частности, мы видим, что вакуум Шварцшильда имеет ненулевой момент Вейля второго порядка, что соответствует тому факту, что «монополь Вейля» является вакуумным решением Шази–Керзона, а не вакуумным решением Шварцшильда, которое возникает из ньютоновского потенциала некоторого тонкого стержня конечной длины с однородной плотностью .
В общей теории относительности слабого поля удобно рассматривать изолированные источники, используя другой тип мультиполей, которые обобщают моменты Вейля до массовых мультипольных моментов и импульсных мультипольных моментов , характеризующих соответственно распределение массы и импульса источника. Это многоиндексные величины, чьи соответствующим образом симметризованные и антисимметризованные части могут быть связаны с действительными и мнимыми частями релятивистских моментов для полной нелинейной теории довольно сложным образом.
Перес и Морески дали альтернативное понятие «монопольных решений», расширив стандартную тетраду NP вакуумов Эрнста по степеням (радиальная координата в диаграмме Вейля–Папапетру). Согласно этой формулировке:
В этом смысле вакуумы Керра являются простейшими стационарными осесимметричными асимптотически плоскими вакуумными решениями в общей теории относительности.
Геометрия Керра часто используется в качестве модели вращающейся черной дыры , но если решение считается справедливым только за пределами некоторой компактной области (с учетом определенных ограничений), в принципе, его можно использовать в качестве внешнего решения для моделирования гравитационного поля вокруг вращающегося массивного объекта, отличного от черной дыры, такого как нейтронная звезда или Земля. Это очень хорошо работает для невращающегося случая, когда внешняя часть вакуума Шварцшильда может быть сопоставлена с внутренней частью жидкости Шварцшильда и, конечно, с более общими статическими сферически симметричными решениями идеальной жидкости. Однако проблема нахождения внутренней части вращающейся идеальной жидкости, которая может быть сопоставлена с внешней частью Керра или, конечно, с любым асимптотически плоским решением внешней вакуумной среды, оказалась очень сложной. В частности, жидкость Вальквиста , которая когда-то считалась кандидатом на сопоставление с внешней частью Керра, теперь, как известно, не допускает никакого такого сопоставления. В настоящее время, по-видимому, известны только приближенные решения, моделирующие медленно вращающиеся жидкие шары (это релятивистский аналог сплющенных сфероидальных шаров с ненулевой массой и угловым моментом, но исчезающими высшими мультипольными моментами). Однако внешняя часть диска Нейгебауэра–Мейнела, точное пылевое решение , моделирующее вращающийся тонкий диск, в предельном случае приближается к геометрии Керра . Известны также физические решения для тонкого диска, полученные путем идентификации частей пространства-времени Керра. [37]