Координаты Шварцшильда - Schwarzschild coordinates

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

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

Определение

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

В диаграмме Шварцшильда (в статическом сферически-симметричном пространстве-времени) линейный элемент принимает форму

Где - стандартная сферическая координата, а - стандартная метрика на единичной 2-сфере. См. « Получение решения Шварцшильда» для более подробного вывода этого выражения.

В зависимости от контекста, может быть целесообразно рассматривать a и b как неопределенные функции радиальной координаты (например, при выводе точного статического сферически-симметричного решения уравнения поля Эйнштейна ). В качестве альтернативы, мы можем подключить определенные функции (возможно, в зависимости от некоторых параметров), чтобы получить диаграмму координат Шварцшильда в конкретном лоренцевом пространстве-времени.

Если окажется, что это допускает тензор энергии-импульса такой, что результирующая модель удовлетворяет уравнению поля Эйнштейна (скажем, для статической сферически-симметричной совершенной жидкости, подчиняющейся подходящим энергетическим условиям и другим свойствам, ожидаемым от разумной идеальной жидкости), то с соответствующим тензором поля, представляющие физические величины, такие как плотность вещества и импульса, мы имеем часть возможно большего пространства-времени; кусок, который можно рассматривать как локальное решение уравнения поля Эйнштейна.

Убивающие векторные поля

Что касается графика Шварцшильда, то алгебра Ли из Killing векторного полей порождается времениподобным безвихревым векторное поле Киллинга

и три пространственноподобных векторных поля Киллинга

Здесь, говоря, что это безвихревой, означает, что тензор завихренности соответствующей времениподобной конгруэнции обращается в нуль; таким образом, это векторное поле Киллинга ортогонально гиперповерхности . Тот факт, что наше пространство-время допускает безвихревое времяподобное векторное поле Киллинга, на самом деле является определяющей характеристикой статического пространства-времени . Непосредственным следствием этого является то, что поверхности с постоянными координатами времени образуют семейство (изометрических) пространственных гиперпространств . (Это неверно, например, в диаграмме Бойера – Линдквиста для внешней области вакуума Керра , где вектор времениподобных координат не является ортогональным к гиперповерхности.)

Обратите внимание, что последние два поля вращаются друг относительно друга при преобразовании координат . В статье о векторных полях Киллинга дается подробный вывод и обсуждение трех пространственно-подобных полей.

Семейство статических вложенных сфер

На графике Шварцшильда, поверхности появляются как круглые сферы (когда мы наносим локусы в полярной сферической моде), а также от его формы, мы видим , что метрика Шварцшильда ограничивается какой - либо из этих поверхностей является положительно определенной и задаются

Где - стандартная риманова метрика на двумерной сфере единичного радиуса. То есть эти вложенные координатные сферы действительно представляют собой геометрические сферы с

  1. площадь поверхности
  2. Гауссова кривизна

В частности, это геометрические круглые сферы . Более того, угловые координаты - это в точности обычные полярные сферические угловые координаты: иногда их называют широтой и обычно называют долготой . По сути, это определяющая геометрическая особенность диаграммы Шварцшильда.

Можно добавить, что приведенные выше четыре поля Киллинга, рассматриваемые как абстрактные векторные поля на нашем лоренцевом многообразии, дают наиболее верное выражение обеих симметрий статического сферически-симметричного пространства-времени, в то время как конкретная тригонометрическая форма, которую они принимают в нашей таблице, такова: наиболее верное выражение значения термина « диаграмма Шварцшильда» . В частности, три пространственных векторных поля Киллинга имеют точно такую ​​же форму, что и три нетрансляционных векторных поля Киллинга в сферически-симметричной карте на E 3 ; то есть они демонстрируют понятие произвольного евклидова вращения вокруг начала координат или сферической симметрии.

Однако обратите внимание: в общем случае радиальная координата Шварцшильда не точно представляет радиальные расстояния , то есть расстояния, взятые вдоль пространственноподобных геодезических конгруэнций, которые возникают как интегральные кривые . Скорее, чтобы найти подходящее понятие « пространственного расстояния » между двумя из наших вложенных сфер, мы должны интегрировать вдоль некоторого координатного луча от начала координат:

Точно так же мы можем рассматривать каждую сферу как геометрическое место сферического облака идеализированных наблюдателей, которые должны (как правило) использовать ракетные двигатели для радиального ускорения наружу, чтобы сохранить свое положение. Это статические наблюдатели , и у них есть мировые линии формы , которые, конечно же, имеют форму вертикальных координатных линий на карте Шварцшильда.

Чтобы вычислить правильный интервал времени между двумя событиями на мировой линии одного из этих наблюдателей, мы должны интегрировать по соответствующей координатной линии:

Координатные особенности

Оглядываясь назад на диапазоны координат выше, обратите внимание, что сингулярность координат в отмечает местоположение северного полюса одной из наших статических вложенных сфер, а отмечает местоположение южного полюса . Как и в случае обычной полярной сферической карты на E 3 , по топологическим причинам мы не можем получить непрерывные координаты на всей сфере; мы должны выбрать некоторую долготу (большой круг), которая будет выступать в качестве нулевого меридиана, и вырезать ее из карты. В результате мы вырезаем замкнутую полуплоскость из каждого пространственного гиперсреза, включая ось и полуплоскость, идущую от этой оси.

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

Возможно, конечно, или , в этом случае, мы должны также вырезать область за пределами некоторого шара или внутри некоторого шара из области нашей карты. Это происходит всякий раз, когда f или g взрываются при некотором значении радиальной координаты Шварцшильда r.

Визуализация статических гиперпространств

Чтобы лучше понять значение радиальной координаты Шварцшильда, может помочь встроить один из пространственных гиперсрезов (все они, конечно, изометричны друг другу) в плоское евклидово пространство. Люди, которым трудно представить себе четырехмерное евклидово пространство, будут рады заметить, что мы можем воспользоваться сферической симметрией для подавления одной координаты . Это может быть удобно достигнуто установкой . Теперь у нас есть двумерное риманово многообразие с локальной радиальной координатной картой,

Чтобы вложить эту поверхность (или кольцевое кольцо) в E 3 , мы принимаем поле фрейма в E 3, которое

  1. определена на параметризованной поверхности, которая унаследует желаемую метрику от пространства вложения,
  2. адаптирован к нашей радиальной диаграмме,
  3. имеет неопределенную функцию .

А именно, рассмотрим параметризованную поверхность

Координатные векторные поля на этой поверхности равны

Индуцированная метрика, унаследованная, когда мы ограничиваем евклидову метрику на E 3 нашей параметризованной поверхностью, имеет вид

Чтобы отождествить это с метрикой нашего гиперсреза, мы, очевидно, должны выбрать так , чтобы

Если взять несколько глупый пример, мы могли бы это сделать .

Это работает для поверхностей, на которых истинные расстояния между двумя радиально разделенными точками больше, чем разница между их радиальными координатами. Если истинные расстояния меньше , мы должны вместо этого вложить наше риманово многообразие как пространственноподобную поверхность в E 1,2 . Например, могли бы . Иногда нам могут понадобиться два или более локальных вложения кольцевых колец (для областей положительной или отрицательной гауссовой кривизны). В общем, не следует ожидать глобального вложения в какое-либо одно плоское пространство (с исчезающим тензором Римана).

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

Метрический анзац

Приведенный выше линейный элемент, где f , g рассматриваются как неопределенные функции радиальной координаты Шварцшильда r , часто используется в качестве метрического анзаца при выводе статических сферически-симметричных решений в общей теории относительности (или других метрических теориях гравитации ).

В качестве иллюстрации мы покажем, как вычислить соединение и кривизну, используя метод внешнего исчисления Картана . Сначала мы считываем из линейного элемента поле coframe ,

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

Во-вторых, мы вычисляем внешние производные этих кобазисных одноформ:

Сравнивая с первым структурным уравнением Картана (точнее его условием интегрируемости),

угадываем выражения для связи одноформ . (Шляпы - это всего лишь условное обозначение, напоминающее нам, что индексы относятся к нашим кобазисным однократным формам, а не к координатным однократным формам .)

Если мы вспомним, какие пары индексов симметричны (пространство-время), а какие антисимметричны (пространство-пространство) в , мы можем подтвердить, что шесть одно-форм связности являются

(В этом примере только четыре из шести не обращаются в нуль.) Мы можем собрать эти однозначные формы в матрицу одноформ или, еще лучше, в однозначную SO (1,3) -значную форму. Обратите внимание, что результирующая матрица однозначных форм не будет полностью антисимметричной, как для однозначной SO (4) -значной формы; вместо этого нам нужно использовать понятие транспонирования, возникающее из лоренцево сопряженного .

В-третьих, мы вычисляем внешние производные единичных форм связности и используем второе структурное уравнение Картана

для вычисления кривизны две формы. В-четвертых, используя формулу

где столбики Баха указывают, что мы должны суммировать только по шести возрастающим парам индексов ( i , j ), мы можем считывать линейно независимые компоненты тензора Римана относительно нашего кофрейма и его поля двойного фрейма . Мы получаем:

В-пятых, мы можем снизить индексы и организовать компоненты в матрицу

где E, L симметричны (шесть линейно независимых компонентов, в общем), а B бесследова (восемь линейно независимых компонентов, в общем), что мы думаем как представление линейного оператора в шестимерном векторном пространстве двух форм (при каждое событие). Отсюда мы можем прочитать разложение Беля по времениподобному единичному векторному полю . Электрогравитационный тензор является

Magnetogravitic тензор тождественно равен нулю, а topogravitic тензор , из которого (используя тот факт , что безвихревое) можно определить трехмерный тензор Римана пространственных hyperslices, является

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

Поле двойного кадра нашего поля coframe равно

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

Некоторые точные решения, допускающие диаграммы Шварцшильда

Вот некоторые примеры точных решений, которые могут быть получены таким образом:

Обобщения

Естественно рассматривать нестатические, но сферически-симметричные пространства-времени с обобщенной картой Шварцшильда, в которой метрика принимает вид

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

Смотрите также

Примечания