Метрический тензор (общая теория относительности) - Википедия - Metric tensor (general relativity)

В общая теория относительности, то метрический тензор (в этом контексте часто сокращается до просто метрика) является фундаментальным объектом исследования. Это можно в общих чертах рассматривать как обобщение гравитационный потенциал из Ньютоновская гравитация.^{[требуется разъяснение ]} Метрика отражает все геометрические и причинная структура из пространство-время, который используется для определения таких понятий, как время, расстояние, объем, кривизна, угол и разделение будущего и прошлого.

Обозначения и соглашения

В этой статье мы работаем с метрическая подпись это в основном положительное (− + + +); видеть подписать соглашение. В гравитационная постоянная ${ displaystyle G}$ будет оставаться явным. В этой статье используется Соглашение о суммировании Эйнштейна, где автоматически суммируются повторяющиеся индексы.

Определение

Математически пространство-время представлено четырехмерным дифференцируемое многообразие ${ displaystyle M}$ а метрический тензор задается как ковариантный, второй-степень, симметричный тензор на ${ displaystyle M}$ , условно обозначаемый ${ displaystyle g}$ . Кроме того, метрика должна быть невырожденный с подпись (− + + +). Многообразие ${ displaystyle M}$ оснащенный такой метрикой является разновидностью Лоренцево многообразие.

Явно метрический тензор представляет собой симметричная билинейная форма на каждой касательное пространство из ${ displaystyle M}$ который изменяется плавным (или дифференцируемым) образом от точки к точке. Учитывая два касательных вектора ${ displaystyle u}$ и ${ displaystyle v}$ в какой-то момент ${ displaystyle x}$ в ${ displaystyle M}$ , показатель можно оценить на ${ displaystyle u}$ и ${ displaystyle v}$ чтобы дать действительное число:

{ displaystyle g_ {x} (u, v) = g_ {x} (v, u) in mathbb {R}.}

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

Локальные координаты и матричные представления

Физики обычно работают в местные координаты (т.е. координаты, определенные на некоторых местный патч из ${ displaystyle M}$ ). В местных координатах ${ displaystyle x ^ { mu}}$ (куда ${ displaystyle mu}$ является индексом от 0 до 3) метрику можно записать в виде

{ displaystyle g = g _ { mu nu} dx ^ { mu} otimes dx ^ { nu}.}

Факторы ${ displaystyle dx ^ { mu}}$ находятся однотипный градиенты скалярных координатных полей ${ displaystyle x ^ { mu}}$ . Таким образом, метрика представляет собой линейную комбинацию тензорные произведения одноформных градиентов координат. Коэффициенты ${ displaystyle g _ { mu nu}}$ представляют собой набор из 16 действительных функций (поскольку тензор ${ displaystyle g}$ это тензорное поле, который определен во всех точках пространство-время многообразие). Для того чтобы метрика была симметричной, мы должны иметь

{ Displaystyle г _ { му ню} = г _ { ню му},}

давая 10 независимых коэффициентов.

Если локальные координаты указаны или поняты из контекста, метрика может быть записана как 4 × 4 симметричная матрица с записями ${ displaystyle g _ { mu nu}}$ . Невырожденность ${ displaystyle g _ { mu nu}}$ означает, что эта матрица неособый (т.е.имеет отличный от нуля определитель), а лоренцеву сигнатуру ${ displaystyle g}$ означает, что матрица имеет один отрицательный и три положительных собственные значения. Обратите внимание, что физики часто ссылаются на эту матрицу или координаты ${ displaystyle g _ { mu nu}}$ сами как метрика (см., однако, обозначение абстрактного индекса ).

С количествами ${ displaystyle dx ^ { mu}}$ рассматривается как компоненты бесконечно малого смещения координат четырехвекторный (не путать с однотипными обозначениями выше), метрика определяет инвариантный квадрат бесконечно малой линейный элемент, часто называемый интервал. Интервал часто обозначают

{ displaystyle ds ^ {2} = g _ { mu nu} dx ^ { mu} dx ^ { nu}.}

Интервал ${ displaystyle ds ^ {2}}$ передает информацию о причинная структура пространства-времени. Когда ${ displaystyle ds ^ {2} <0}$ , интервал подобный времени и квадратный корень из абсолютного значения ${ displaystyle ds ^ {2}}$ является дополнительным подходящее время. Только времяподобные интервалы может физически пройти массивный объект. Когда ${ displaystyle ds ^ {2} = 0}$ интервал светоподобен, и его может пройти только свет. Когда ${ displaystyle ds ^ {2}> 0}$ , интервал пространственноподобен и квадратный корень из ${ displaystyle ds ^ {2}}$ действует как дополнительный подходящая длина. Пространственноподобные интервалы пересечь невозможно, так как они связывают события, находящиеся вне друг друга. световые конусы. События могут быть причинно связаны, только если они находятся в пределах световых конусов друг друга.

Компоненты метрики зависят от выбора локальной системы координат. При смене координат ${ displaystyle x ^ { mu} to x ^ { bar { mu}}}$ компоненты метрики преобразуются как

{ displaystyle g _ {{ bar { mu}} { bar { nu}}} = { frac { partial x ^ { rho}} { partial x ^ { bar { mu}}} } { frac { partial x ^ { sigma}} { partial x ^ { bar { nu}}}} g _ { rho sigma} = Lambda ^ { rho} {} _ { bar { mu}} , Lambda ^ { sigma} {} _ { bar { nu}} , g _ { rho sigma}.}

Примеры

Плоское пространство-время

Простейший пример лоренцево многообразия^{[требуется разъяснение ]} является плоское пространство-время, который можно представить как р⁴ с координатами^{[требуется разъяснение ]} ${ Displaystyle (т, х, у, г)}$ и метрика

{ displaystyle ds ^ {2} = - c ^ {2} dt ^ {2} + dx ^ {2} + dy ^ {2} + dz ^ {2} = eta _ { mu nu} dx ^ { mu} dx ^ { nu}. ,}

Обратите внимание, что эти координаты фактически покрывают все р⁴. Метрика плоского пространства (или Метрика Минковского ) часто обозначают символом η и это показатель, используемый в специальная теория относительности. В приведенных выше координатах матричное представление η является

{ displaystyle eta = { begin {pmatrix} -c ^ {2} & 0 & 0 & 0 0 & 1 & 0 & 0 0 & 0 & 1 & 0 0 & 0 & 0 & 1 end {pmatrix}}}

(Альтернативное соглашение заменяет координату ${ displaystyle t}$ к ${ displaystyle ct}$ , и определяет ${ displaystyle eta}$ как в Пространство Минковского § Стандартный базис.)

В сферические координаты ${ Displaystyle (т, г, тета, фи)}$ , метрика плоского пространства принимает вид

{ displaystyle ds ^ {2} = - c ^ {2} dt ^ {2} + dr ^ {2} + r ^ {2} d Omega ^ {2} ,}

куда

{ displaystyle d Omega ^ {2} = d theta ^ {2} + sin ^ {2} theta , d phi ^ {2}}

стандартная метрика на 2-сфера^{[требуется разъяснение ]}.

Метрики черной дыры

Метрика Шварцшильда описывает незаряженную невращающуюся черную дыру. Есть также метрики, описывающие вращающиеся и заряженные черные дыры.

Метрика Шварцшильда

Помимо метрики плоского пространства, наиболее важной метрикой в общей теории относительности является метрика Метрика Шварцшильда который может быть задан в одном наборе локальных координат как

{ displaystyle ds ^ {2} = - left (1 - { frac {2GM} {rc ^ {2}}} right) c ^ {2} dt ^ {2} + left (1 - { frac {2GM} {rc ^ {2}}} right) ^ {- 1} dr ^ {2} + r ^ {2} d Omega ^ {2}}

где опять же ${ displaystyle d Omega ^ {2}}$ стандартная метрика на 2-сфера. Здесь, ${ displaystyle G}$ это гравитационная постоянная и ${ displaystyle M}$ константа с размерами масса. Его вывод можно найти здесь. Метрика Шварцшильда приближается к метрике Минковского как ${ displaystyle M}$ стремится к нулю (за исключением начала координат, где он не определен). Аналогично, когда ${ displaystyle r}$ стремится к бесконечности, метрика Шварцшильда приближается к метрике Минковского.

С координатами

{ displaystyle left (x ^ {0}, x ^ {1}, x ^ {2}, x ^ {3} right) = (ct, r, theta, varphi) ,,}

мы можем записать метрику как

{ displaystyle g _ { mu nu} = { begin {bmatrix} - left (1 - { frac {2GM} {rc ^ {2}}} right) & 0 & 0 & 0 0 & left (1- { frac {2GM} {rc ^ {2}}} right) ^ {- 1} & 0 & 0 0 & 0 & r ^ {2} & 0 0 & 0 & 0 & r ^ {2} sin ^ {2} theta end {bmatrix} } ,.}

Для метрики Шварцшильда было разработано несколько других систем координат: Координаты Эддингтона – Финкельштейна, Координаты Гуллстранда – Пенлеве, Координаты Крускала – Секереса, и Координаты Лемэтра.

Вращающиеся и заряженные черные дыры

Решение Шварцшильда предполагает объект, который не вращается в пространстве и не заряжается. Чтобы учесть заряд, метрика должна удовлетворять уравнениям Эйнштейна Поля, как и раньше, а также уравнениям Максвелла в искривленном пространстве-времени. Заряженная невращающаяся масса описывается Метрика Рейсснера – Нордстрема.

Вращающиеся черные дыры описываются Метрика Керра и Метрика Керра – Ньюмана.^{[требуется дальнейшее объяснение ]}

Прочие показатели

Другие примечательные показатели:

Некоторые из них без горизонт событий или может быть без гравитационная сингулярность.

Объем

Метрика грамм вызывает естественный объемная форма (до знака), который можно использовать для интегрирования по область, край многообразия. Учитывая местные координаты ${ displaystyle x ^ { mu}}$ для многообразия форму объема можно записать

{ displaystyle mathrm {vol} _ {g} = pm { sqrt {| det [g _ { mu nu}] |}} , dx ^ {0} wedge dx ^ {1} wedge dx ^ {2} wedge dx ^ {3}}

куда ${ Displaystyle Det [г _ { му ню}]}$ это детерминант матрицы компонент метрического тензора для данной системы координат.

Кривизна

Метрика ${ displaystyle g}$ полностью определяет кривизна пространства-времени. Согласно основная теорема римановой геометрии, есть уникальный связь ∇ на любом полуриманово многообразие который совместим с метрикой и кручение -свободный. Это соединение называется Леви-Чивита связь. В Символы Кристоффеля этой связи задаются в терминах частных производных метрики в локальных координатах ${ displaystyle x ^ { mu}}$ по формуле

{ displaystyle Gamma ^ { lambda} {} _ { mu nu} = {1 over 2} g ^ { lambda rho} left ({ partial g _ { rho mu} over частичный x ^ { nu}} + { partial g _ { rho nu} over partial x ^ { mu}} - { partial g _ { mu nu} over partial x ^ { rho }} right) = {1 over 2} g ^ { lambda rho} left (g _ { rho mu, nu} + g _ { rho nu, mu} -g _ { mu ню, rho} right)}

(где запятые указывают частные производные ).

Тогда кривизна пространства-времени задается Тензор кривизны Римана которое определяется в терминах связности Леви-Чивиты ∇. В локальных координатах этот тензор имеет вид:

{ Displaystyle {R ^ { rho}} _ { sigma mu nu} = partial _ { mu} Gamma ^ { rho} {} _ { nu sigma} - partial _ { nu} Gamma ^ { rho} {} _ { mu sigma} + Gamma ^ { rho} {} _ { mu lambda} Gamma ^ { lambda} {} _ { nu sigma } - Gamma ^ { rho} {} _ { nu lambda} Gamma ^ { lambda} {} _ { mu sigma}.}

Тогда кривизна выражается чисто в терминах метрики ${ displaystyle g}$ и его производные.

Уравнения Эйнштейна

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

{ Displaystyle R _ { mu nu} - {1 over 2} Rg _ { mu nu} = { frac {8 pi G} {c ^ {4}}} , T _ { mu nu }}

где Тензор кривизны Риччи

{ Displaystyle R _ { nu rho} { stackrel { mathrm {def}} {=}} {R ^ { mu}} _ { nu mu rho}}

и скалярная кривизна

{ Displaystyle R { stackrel { mathrm {def}} {=}} g ^ { mu nu} R _ { mu nu}}

связать метрику (и соответствующие тензоры кривизны) с тензор энергии-импульса ${ displaystyle T _ { mu nu}}$ . Этот тензор уравнение представляет собой сложную систему нелинейных уравнения в частных производных для метрических компонентов. Точные решения уравнений поля Эйнштейна найти очень трудно.