Геодезические Шварцшильда

редактировать
Пути частиц в решении Шварцшильда уравнений поля Эйнштейна

В общей теории относительности, Геодезические Шварцшильда описывают движение частиц бесконечно малой массы в гравитационном поле центральной фиксированной массы M {\ textstyle M}{\textstyle M}. Геодезические Шварцшильда сыграли решающую роль в проверке теории Эйнштейна общей теории относительности. Например, они обеспечивают точные предсказания аномальной прецессии планет Солнечной системы и отклонения света под действием силы тяжести.

Геодезические Шварцшильда относятся только к движению частиц бесконечно малой массы m {\ textstyle m}{\textstyle m}, то есть частиц, которые сами по себе не вносят вклад в гравитационное поле. Однако они обладают высокой точностью при условии, что m {\ textstyle m}{\textstyle m}во много раз меньше центральной массы M {\ textstyle M}{\textstyle M}, например, для планет, вращающихся вокруг своего Солнца. Геодезические Шварцшильда также являются хорошим приближением к относительному движению двух тел произвольной массы при условии, что масса Шварцшильда M {\ textstyle M}{\textstyle M}установлена ​​равной сумме двух отдельных масс m 1 {\ textstyle m_ {1}}{\textstyle m_{1}}и m 2 {\ textstyle m_ {2}}{\textstyle m_{2}}. Это важно для предсказания движения двойных звезд в общей теории относительности.

Содержание
  • 1 Исторический контекст
  • 2 Метрика Шварцшильда
  • 3 Орбиты тестовых частиц
  • 4 Локальные и запаздывающие скорости
  • 5 Точное решение с использованием эллиптических функций
    • 5.1 Ньютоновский предел
    • 5.2 Корни и обзор возможных орбит
  • 6 Прецессия орбит
  • 7 Искривление света под действием силы тяжести
  • 8 Отношение к ньютоновской физике
    • 8.1 Эффективная радиальная потенциальная энергия
    • 8.2 Круговые орбиты и их стабильность
    • 8.3 Прецессия эллиптических орбит
  • 9 Математический вывод орбитального уравнения
    • 9.1 Символы Кристоффеля
    • 9.2 Геодезическое уравнение
    • 9.3 Лагранжевый подход
    • 9.4 Гамильтонов подход
    • 9.5 Подход Гамильтона – Якоби
    • 9.6 Принцип Гамильтона
      • 9.6.1 Движение по долготе
      • 9.6.2 Движение во времени
      • 9.6.3 Сохраненные импульсы
      • 9.6.4 Радиальное движение
  • 10 См. Также
  • 11 Примечания
  • 12 Ссылки
  • 13 Библиография
  • 14 Внешние ссылки
Исторический контекст

Метрика Шварцшильда названа в честь своего первооткрывателя Карл Шварцшильд, который нашел решение в 1915 году, всего через месяц после публикации общей теории относительности Эйнштейна. Это было первое точное решение уравнений поля Эйнштейна, отличное от тривиального решения в плоском пространстве.

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

Точное решение уравнений поля Эйнштейна - это Метрика Шварцшильда, которая соответствует внешнему гравитационному полю незаряженного, невращающегося сферически-симметричного тела массы M {\ textstyle M}{\textstyle M}. Решение Шварцшильда можно записать как

c 2 d τ 2 = (1 - rsr) c 2 dt 2 - dr 2 1 - rsr - r 2 d θ 2 - r 2 sin 2 ⁡ θ d φ 2 {\ displaystyle c ^ {2} {d \ tau} ^ {2} = \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) c ^ {2} dt ^ {2} - {\ frac {dr ^ {2}} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} - r ^ {2} d \ theta ^ {2} -r ^ { 2} \ sin ^ {2} \ theta \, d \ varphi ^ {2}}{\displaystyle c^{2}{d\tau }^{2}=\left(1-{\frac {r_{\rm {s}}}{r}}\right)c^{2}dt^{2}-{\frac {dr^{2}}{1-{\frac {r_{\rm {s}}}{r}}}}-r^{2}d\theta ^{2}-r^{2}\sin ^{2}\theta \,d\varphi ^{2}}

где

τ {\ displaystyle \ tau}\tau - собственное время (время, измеренное часами движется вместе с частицей) в секундах,
c {\ displaystyle c}c- скорость света в метрах в секунду,
t {\ displaystyle t}t- временная координата (время, измеренное стационарными часами на бесконечности) в секундах,
r {\ displaystyle r}r- радиальная координата (длина окружности круга с центром в разделенной звезде на 2 π {\ displaystyle 2 \ pi}2\pi ) в метрах,
θ {\ displaystyle \ theta}\theta - это широта (угол от севера) в радианах,
φ {\ displaystyle \ varphi}\varphi - это долгота в радианах, а
rs {\ displaystyle r_ {s}}r_{s}- это радиус Шварцшильда массивного тела (в метрах), который связан с его массой M {\ textstyle M}{\textstyle M}по
rs = 2 GM c 2, {\ displaystyle r _ {\ rm {s}} = {\ frac {2GM} {c ^ {2}} },}{\displaystyle r_{\rm {s}}={\frac {2GM}{c^{2}}},}
где G {\ textstyle G}{\textstyle G}- гравитационная постоянная. Классическая ньютоновская теория гравитации восстанавливается в пределе, когда отношение r s r {\ textstyle {\ frac {r_ {s}} {r}}}{\textstyle {\frac {r_{s}}{r}}}стремится к нулю. В этом пределе метрика возвращается к метрике, определенной в специальной теории относительности.

. На практике это отношение почти всегда чрезвычайно мало. Например, радиус Шварцшильда r s {\ textstyle r_ {s}}{\textstyle r_{s}}Земли составляет примерно 9 мм (⁄ 8 дюйма); на поверхности Земли поправки к ньютоновской гравитации составляют лишь одну часть на миллиард. Радиус Солнца по Шварцшильду намного больше, примерно 2953 метра, но на его поверхности отношение rsr {\ textstyle {\ frac {r_ {s}} {r}}}{\textstyle {\frac {r_{s}}{r}}}примерно 4 части на миллион. Белый карлик звезда намного плотнее, но даже здесь соотношение на ее поверхности составляет примерно 250 частей на миллион. Отношение становится большим только вблизи сверхплотных объектов, таких как нейтронные звезды (где соотношение составляет примерно 50%) и черные дыры.

Орбиты пробных частиц
Сравнение орбиты пробной частицы в пространстве-времени Ньютона (слева) и Шварцшильда (справа); обратите внимание на апсидальную прецессию справа.

Мы можем упростить задачу, используя симметрию, чтобы исключить одну переменную из рассмотрения. Поскольку метрика Шварцшильда симметрична относительно θ = π 2 {\ textstyle \ theta = {\ frac {\ pi} {2}}}{\textstyle \theta ={\frac {\pi }{2}}}, любая геодезическая, которая начинает двигаться в этой плоскости, останется в эта плоскость бесконечно (плоскость полностью геодезическая ). Поэтому мы ориентируем систему координат так, чтобы орбита частицы лежала в этой плоскости, и фиксируем координату θ {\ textstyle \ theta}{\textstyle \theta }как π 2 {\ textstyle { \ frac {\ pi} {2}}}{\textstyle \frac{\pi}{2}}, так что метрика (этой плоскости) упрощается до

c 2 d τ 2 = (1 - rsr) c 2 dt 2 - dr 2 1 - rsr - r 2 d φ 2. {\ displaystyle c ^ {2} d \ tau ^ {2} = \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) c ^ {2} dt ^ {2 } - {\ frac {dr ^ {2}} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} - r ^ {2} d \ varphi ^ {2}.}{\displaystyle c^{2}d\tau ^{2}=\left(1-{\frac {r_{\rm {s}}}{r}}\right)c^{2}dt^{2}-{\frac {dr^{2}}{1-{\frac {r_{\rm {s}}}{r}}}}-r^{2}d\varphi ^{2}.}

Две константы движения (значения, которые не изменяются с течением времени τ {\ displaystyle \ tau}\tau ) могут быть идентифицированы (см. Приведенный вывод ниже). Один - это полная энергия E {\ textstyle E}{\textstyle E}:

(1 - r s r) d t d τ = E m c 2. {\ displaystyle \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ frac {dt} {d \ tau}} = {\ frac {E} {mc ^ {2}}}.}{\displaystyle \left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}={\frac {E}{mc^{2}}}.}

, а другой - удельный угловой момент :

h = L μ = r 2 d φ d τ, {\ displaystyle h = {\ frac {L} {\ mu }} = r ^ {2} {\ frac {d \ varphi} {d \ tau}},}{\displaystyle h={\frac {L}{\mu }}=r^{2}{\frac {d\varphi }{d\tau }},}

где L - полный угловой момент двух тел, а μ {\ textstyle \ mu}{\textstyle \mu }- приведенная масса. Когда M ≫ m {\ textstyle M \ gg m}{\textstyle M\gg m}, приведенная масса приблизительно равна m {\ textstyle m}{\textstyle m}. Иногда предполагается, что m = μ {\ textstyle m = \ mu}{\textstyle m=\mu }. В случае планеты Меркурий это упрощение вносит ошибку, более чем в два раза большую, чем релятивистский эффект. При обсуждении геодезических m {\ textstyle m}{\textstyle m}можно считать вымышленным, и важны константы E m {\ textstyle {\ frac {E} {m}}}{\textstyle {\frac {E}{m}}}и h {\ textstyle h}{\textstyle h}. Чтобы охватить все возможные геодезические, нам необходимо рассмотреть случаи, в которых E m {\ textstyle {\ frac {E} {m}}}{\textstyle {\frac {E}{m}}}бесконечно (что дает траектории фотонов ) или мнимой (для тахионных геодезических). Для фотонного случая нам также необходимо указать число, соответствующее отношению двух констант, а именно mh E {\ textstyle {\ frac {mh} {E}}}{\textstyle {\frac {mh}{E}}}, что может быть нулевым или ненулевым действительным числом.

Подставляя эти константы в определение метрики Шварцшильда

c 2 = (1 - rsr) c 2 (dtd τ) 2 - 1 1 - rsr (drd τ) 2 - r 2 (d φ d τ) 2, {\ displaystyle c ^ {2} = \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) c ^ {2} \ left ({\ frac {dt} {d \ tau}} \ right) ^ {2} - {\ frac {1} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} \ left ({\ frac {dr} {d \ tau}} \ right) ^ {2} -r ^ {2} \ left ({\ frac {d \ varphi} {d \ tau}} \ right) ^ {2},}{\displaystyle c^{2}=\left(1-{\frac {r_{\rm {s}}}{r}}\right)c^{2}\left({\frac {dt}{d\tau }}\right)^{2}-{\frac {1}{1-{\frac {r_{\rm {s}}}{r}}}}\left({\frac {dr}{d\tau }}\right)^{2}-r^{2}\left({\frac {d\varphi }{d\tau }}\right)^{2},}

дает уравнение движения для радиуса как функции собственного времени τ {\ textstyle \ tau}{\textstyle \tau }:

(drd τ) 2 = E 2 m 2 c 2 - (1 - rsr) (c 2 + ч 2 р 2). {\ displaystyle \ left ({\ frac {dr} {d \ tau}} \ right) ^ {2} = {\ frac {E ^ {2}} {m ^ {2} c ^ {2}}} - \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left (c ^ {2} + {\ frac {h ^ {2}} {r ^ {2} }} \ right).}{\displaystyle \left({\frac {dr}{d\tau }}\right)^{2}={\frac {E^{2}}{m^{2}c^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left(c^{2}+{\frac {h^{2}}{r^{2}}}\right).}

Формальное решение этой проблемы:

τ = ∫ dr ± E 2 m 2 c 2 - (1 - rsr) (c 2 + h 2 r 2). {\ displaystyle \ tau = \ int {\ frac {dr} {\ pm {\ sqrt {{\ frac {E ^ {2}} {m ^ {2} c ^ {2}}} - \ left (1- {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left (c ^ {2} + {\ frac {h ^ {2}} {r ^ {2}}} \ right) }}}}.}{\displaystyle \tau =\int {\frac {dr}{\pm {\sqrt {{\frac {E^{2}}{m^{2}c^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left(c^{2}+{\frac {h^{2}}{r^{2}}}\right)}}}}.}

Обратите внимание, что квадратный корень для тахионических геодезических будет мнимым.

Использование отношения выше между dtd τ {\ textstyle {\ frac {dt} {d \ tau}}}{\textstyle {\frac {dt}{d\tau }}}и E {\ textstyle E}{\textstyle E}, мы также можем записать

t = ∫ dr ± c (1 - rsr) 1 - (1 - rsr) (c 2 + h 2 r 2) m 2 c 2 E 2. {\ displaystyle t = \ int {\ frac {dr} {\ pm c \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ sqrt {1- \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left (c ^ {2} + {\ frac {h ^ {2}} {r ^ {2}}} \ right) {\ frac {m ^ {2} c ^ {2}} {E ^ {2}}}}}}}.}{\displaystyle t=\int {\frac {dr}{\pm c\left(1-{\frac {r_{\rm {s}}}{r}}\right){\sqrt {1-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left(c^{2}+{\frac {h^{2}}{r^{2}}}\right){\frac {m^{2}c^{2}}{E^{2}}}}}}}.}

Поскольку асимптотически, подынтегральное выражение обратно пропорционально r - rs {\ textstyle r-r _ {\ rm {s}}}{\textstyle r-r_{\rm {s}}}, это показывает, что в r, θ, φ, t {\ textstyle r, \ theta, \ varphi, t}{\textstyle r,\theta,\varphi,t}рамка отсчета, если r {\ textstyle r}{\textstyle r}приближается к rs {\ textstyle r_ {s}}{\textstyle r_{s}}, он делает так экспоненциально, даже не достигнув этого. Однако как функция от τ {\ textstyle \ tau}{\textstyle \tau }, r {\ textstyle r}{\textstyle r}действительно достигает rs {\ textstyle r_ {s}}{\textstyle r_{s}}.

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

Когда E = mc 2 {\ textstyle E = mc ^ {2}}{\textstyle E=mc^{2}}и h = 0 {\ textstyle h = 0}{\textstyle h=0}, мы можем явно решить для t {\ textstyle t}{\textstyle t}и τ {\ textstyle \ tau}{\textstyle \tau }:

t = constant ± rsc (2 3 (rrs) 3 2 + 2 rrs + ln ⁡ | rrs - 1 | rrs + 1) τ = константа ± 2 3 rsc (rrs) 3 2 {\ displaystyle {\ begin {align} t = {\ text {constant} } \ pm {\ frac {r _ {\ rm {s}}} {c}} \ left ({\ frac {2} {3}} \ left ({\ frac {r} {r _ {\ rm {s}) }}} \ right) ^ {\ frac {3} {2}} + 2 {\ sqrt {\ frac {r} {r _ {\ rm {s}}}}} + \ ln {\ frac {\ left | {\ sqrt {\ frac {r} {r _ {\ rm {s}}}}} - 1 \ right |} {{\ sqrt {\ frac {r} {r _ {\ rm {s}}}}} + 1}} \ right) \\\ tau = {\ text {constant}} \ pm {\ frac {2} {3}} {\ frac {r _ {\ rm {s}}} {c}} \ left ({\ frac {r} {r _ {\ rm {s}}}} \ right) ^ {\ frac {3} {2}} \ end {align}}}{\displaystyle {\begin{aligned}t={\text{constant}}\pm {\frac {r_{\rm {s}}}{c}}\left({\frac {2}{3}}\left({\frac {r}{r_{\rm {s}}}}\right)^{\frac {3}{2}}+2{\sqrt {\frac {r}{r_{\rm {s}}}}}+\ln {\frac {\left|{\sqrt {\frac {r}{r_{\rm {s}}}}}-1\right|}{{\sqrt {\frac {r}{r_{\rm {s}}}}}+1}}\right)\\\tau ={\text{constant}}\pm {\frac {2}{3}}{\frac {r_{\rm {s}}}{c}}\left({\frac {r}{r_{\rm {s}}}}\right)^{\frac {3}{2}}\end{aligned}}}

и для фотонных геодезических (m = 0 {\ textstyle m = 0}{\textstyle m=0}) с нулевым угловым моментом

t = constant ± 1 c (r + rs ln ⁡ | rrs - 1 |) τ = константа. {\ displaystyle {\ begin {align} t = {\ text {constant}} \ pm {\ frac {1} {c}} \ left (r + r _ {\ rm {s}} \ ln \ left | {\ frac {r} {r _ {\ rm {s}}} - 1 \ right | \ right) \\\ tau = {\ text {constant}}. \ end {align}}}{\displaystyle {\begin{aligned}t={\text{constant}}\pm {\frac {1}{c}}\left(r+r_{\rm {s}}\ln \left|{\frac {r}{r_{\rm {s}}}}-1\right|\right)\\\tau ={\text{constant}}.\end{aligned}}}

(Хотя собственное время тривиально в фотонном случае, можно определить аффинный параметр λ {\ textstyle \ lambda}{\textstyle \lambda }, и тогда решение геодезического уравнения будет r = c 1 λ + c 2 {\ textstyle r = c_ {1} \ lambda + c_ {2}}{\textstyle r=c_{1}\lambda +c_{2}}.)

Другой разрешимый случай - это когда E = 0 {\ textstyle E = 0}{\textstyle E=0}и t {\ textstyle t}{\textstyle t}и φ {\ textstyle \ varphi}{\textstyle \varphi }являются постоянными. В объеме, где r < r s {\textstyle r{\textstyle r<r_{s}}, это дает для собственного времени

τ = constant ± r s c (arcsin ⁡ r r s - r r s (1 - r r s)). {\ displaystyle \ tau = {\ text {constant}} \ pm {\ frac {r _ {\ rm {s}}} {c}} \ left (\ arcsin {\ sqrt {\ frac {r} {r _ {\ rm {s}}}}} - {\ sqrt {{\ frac {r} {r _ {\ rm {s}}}} \ left (1 - {\ frac {r} {r _ {\ rm {s}}) }} \ right)}} \ right).}{\displaystyle \tau ={\text{constant}}\pm {\frac {r_{\rm {s}}}{c}}\left(\arcsin {\sqrt {\frac {r}{r_{\rm {s}}}}}-{\sqrt {{\frac {r}{r_{\rm {s}}}}\left(1-{\frac {r}{r_{\rm {s}}}}\right)}}\right).}

Это близко к решениям с E 2 m 2 {\ textstyle {\ frac {E ^ {2}} {m ^ {2}}}}{\textstyle {\frac {E^{2}}{m^{2}}}}маленький и позитивный. За пределами rs {\ textstyle r_ {s}}{\textstyle r_{s}}решение E = 0 {\ textstyle E = 0}{\textstyle E=0}тахионное, а «собственное время» пространственно-подобный:

τ = constant ± irsc (ln ⁡ (rrs + rrs - 1) + rrs (rrs - 1)). {\ displaystyle \ tau = {\ text {constant}} \ pm i {\ frac {r _ {\ rm {s}}} {c}} \ left (\ ln \ left ({\ sqrt {\ frac {r}) {r _ {\ rm {s}}}}} + {\ sqrt {{\ frac {r} {r _ {\ rm {s}}}} - 1}} \ right) + {\ sqrt {{\ frac { r} {r _ {\ rm {s}}}} \ left ({\ frac {r} {r _ {\ rm {s}}}} - 1 \ right)}} \ right).}{\displaystyle \tau ={\text{constant}}\pm i{\frac {r_{\rm {s}}}{c}}\left(\ln \left({\sqrt {\frac {r}{r_{\rm {s}}}}}+{\sqrt {{\frac {r}{r_{\rm {s}}}}-1}}\right)+{\sqrt {{\frac {r}{r_{\rm {s}}}}\left({\frac {r}{r_{\rm {s}}}}-1\right)}}\right).}

Это близко к другим тахионным решениям с E 2 m 2 {\ textstyle {\ frac {E ^ {2}} {m ^ {2}}}}{\textstyle {\frac {E^{2}}{m^{2}}}}маленьким и отрицательным. Константа t {\ textstyle t}{\textstyle t}тахионная геодезическая вне rs {\ textstyle r_ {s}}{\textstyle r_{s}}не продолжается константой t {\ textstyle t}{\textstyle t}геодезическая внутри rs {\ textstyle r_ {s}}{\textstyle r_{s}}, но скорее продолжается в «параллельную внешнюю область» (см. координаты Крускала – Секереса ). Другие тахионические решения могут войти в черную дыру и повторно выйти в параллельную внешнюю область. Решение с постоянным t внутри горизонта событий (rs {\ textstyle r_ {s}}{\textstyle r_{s}}) продолжается решением с постоянным t в белой дыре.

Когда угловой момент равен отличное от нуля, мы можем заменить зависимость от собственного времени зависимостью от угла φ {\ textstyle \ varphi}{\textstyle \varphi }, используя определение h {\ textstyle h}{\textstyle h}

(drd φ) 2 знак равно (drd τ) 2 (d τ d φ) 2 = (drd τ) 2 (r 2 час) 2, {\ displaystyle \ left ({\ frac {dr} {d \ varphi}} \ right) ^ {2} = \ left ({\ frac {dr} {d \ tau}} \ right) ^ {2} \ left ({\ frac {d \ tau} {d \ varphi}} \ right) ^ {2 } = \ left ({\ frac {dr} {d \ tau}} \ right) ^ {2} \ left ({\ frac {r ^ {2}} {h}} \ right) ^ {2},} \left( \frac{dr}{d\varphi} \right)^{2} = \left( \frac{dr}{d\tau} \right)^{2} \left( \frac{d\tau}{d\varphi} \right)^{2} = \left( \frac{dr}{d\tau} \right)^{2} \left( \frac{ r^{2}}{h} \right)^{2},

, что дает уравнение для орбиты

(drd φ) 2 = r 4 b 2 - (1 - rsr) (r 4 a 2 + r 2) {\ displaystyle \ left ({\ frac {dr} {d \ varphi}} \ right) ^ {2} = {\ frac {r ^ {4}} {b ^ {2}}} - \ left (1 - {\ frac {r _ {\ rm {s}}) } {r}} \ right) \ left ({\ frac {r ^ {4}} {a ^ {2}}} + r ^ {2} \ right)}{\displaystyle \left({\frac {dr}{d\varphi }}\right)^{2}={\frac {r^{4}}{b^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left({\frac {r^{4}}{a^{2}}}+r^{2}\right)}

где, для краткости, две длины - шкалы, a {\ textstyle a}{\textstyle a}и b { \ textstyle b}{\textstyle b}, были определены как

a = h c, b = c L E = h m c E. {\ displaystyle {\ begin {align} a = {\ frac {h} {c}}, \\ b = {\ frac {cL} {E}} = {\ frac {hmc} {E}}. \ end {align}}}{\displaystyle {\begin{aligned}a={\frac {h}{c}},\\b={\frac {cL}{E}}={\frac {hmc}{E}}.\end{aligned}}}

Обратите внимание, что в тахионическом случае a {\ textstyle a}{\textstyle a}будет воображаемым, а b {\ textstyle b}{\textstyle b}реальным или бесконечно.

Это же уравнение также может быть получено с использованием лагранжевого подхода или уравнения Гамильтона – Якоби (см. ниже). Решение уравнения орбиты:

φ = ∫ d r ± r 2 1 b 2 - (1 - r s r) (1 a 2 + 1 r 2). {\ displaystyle \ varphi = \ int {\ frac {dr} {\ pm r ^ {2} {\ sqrt {{\ frac {1} {b ^ {2}}} - \ left (1 - {\ frac { r _ {\ rm {s}}} {r}} \ right) \ left ({\ frac {1} {a ^ {2}}} + {\ frac {1} {r ^ {2}}} \ right)}}}}.}{\displaystyle \varphi =\int {\frac {dr}{\pm r^{2}{\sqrt {{\frac {1}{b^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left({\frac {1}{a^{2}}}+{\frac {1}{r^{2}}}\right)}}}}.}

Это может быть выражено в терминах эллиптической функции Вейерштрасса ℘ {\ textstyle \ wp}{\textstyle \wp }.

Локальная и запаздывающая скорости

В отличие от классической механики, в координатах Шварцшильда drd τ {\ textstyle {\ frac {{\ rm {d}} r} {{\ rm {d}} \ tau}}}{\textstyle {\frac {{\rm {d}}r}{{\rm {d}}\tau }}}и rd φ d τ {\ textstyle r \ {\ frac {{\ rm {d}} \ varphi} {{\ rm {d}} \ tau}}}{\textstyle r\ {\frac {{\rm {d}}\varphi }{{\rm {d}}\tau }}}не являются радиальными v ∥ {\ textstyle v _ {\ parallel}}{\textstyle v_{\parallel }}и поперечный v ⊥ {\ textstyle v _ {\ perp}}{\textstyle v_{\perp }}компоненты локальной скорости v {\ textstyle v}{\textstyle v}(относительно неподвижного наблюдателя), вместо этого они дают компоненты для скорости, которые связаны с v {\ textstyle v }{\textstyle v}от

drd τ = v ∥ 1 - rsr γ {\ displaystyle {\ frac {{\ rm {d}} r} {{\ rm {d}} \ tau}} = v_ {\ parallel} {\ sqrt {1 - {\ frac {r _ {\ rm {s}}} {r}}}} \ \ gamma}{\displaystyle {\frac {{\rm {d}}r}{{\rm {d}}\tau }}=v_{\parallel }{\sqrt {1-{\frac {r_{\rm {s}}}{r}}}}\ \gamma }

для радиального и

d φ d τ = v ⊥ r γ {\ displaystyle {\ frac {{\ rm {d}} \ varphi} {{\ rm {d}} \ tau}} = {\ frac {v _ {\ perp}} {r}} \ \ gamma}{\displaystyle {\frac {{\rm {d}}\varphi }{{\rm {d}}\tau }}={\frac {v_{\perp }}{r}}\ \gamma }

для поперечного компонента движения, с v 2 = v ∥ 2 + v ⊥ 2 {\ textstyle v ^ {2} = v _ {\ parallel} ^ {2} + v _ {\ perp} ^ {2}}{\textstyle v^{2}=v_{\parallel }^{2}+v_{\perp }^{2}}. Счетчик координат вдали от сцены наблюдает задержку по Шапиро скорость v ^ {\ textstyle {\ hat {v}}}{\textstyle {\hat {v}}}, которая задается соотношением

v ^ ⊥ = v ⊥ 1 - rsr {\ displaystyle {\ hat {v}} _ {\ perp} = v _ {\ perp} {\ sqrt {1 - {\ frac {r _ {\ rm {s}} } {r}}}}}{\displaystyle {\hat {v}}_{\perp }=v_{\perp }{\sqrt {1-{\frac {r_{\rm {s}}}{r}}}}}и v ^ ∥ = v ∥ (1 - rsr) {\ displaystyle {\ hat {v}} _ {\ parallel} = v _ {\ parallel} \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right)}{\displaystyle {\hat {v}}_{\parallel }=v_{\parallel }\left(1-{\frac {r_{\rm {s}}}{r}}\right)}.

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

d τ dt = 1 - rsr γ {\ displaystyle {\ frac {{\ rm {d}} \ tau} {{\ rm {d}} t}} = {\ frac {\ sqrt {1 - {\ frac {r _ {\ rm {s}}} {r}}}} {\ gamma}}}{\displaystyle {\frac {{\rm {d}}\tau }{{\rm {d}}t}}={\frac {\sqrt {1-{\frac {r_{\rm {s}}}{r}}}}{\gamma }}}

где числитель - гравитационный, а знаменатель - кинематический компонент замедления времени. Для частицы, падающей из бесконечности, левый коэффициент равен правому, поскольку скорость падения v {\ textstyle v}{\textstyle v}соответствует космической скорости crsr {\ textstyle c {\ sqrt {\ frac {r _ {\ rm {s}}} {r}}}}{\textstyle c{\sqrt {\frac {r_{\rm {s}}}{r}}}}в этом случае.

Две константы углового момента L {\ textstyle L}{\textstyle L}и полная энергия E {\ textstyle E}{\textstyle E}пробной частицы с масса m {\ textstyle m}{\textstyle m}в терминах v {\ textstyle v}{\textstyle v}

L = mv ⊥ r γ {\ displaystyle L = m \ v _ {\ perp} \ r \ \ gamma}{\displaystyle L=m\ v_{\perp }\ r\ \gamma }

и

E = mc 2 1 - rsr γ {\ displaystyle E = mc ^ {2} \ {\ sqrt {1 - {\ frac {r _ {\ rm {s}}} } {r}}}} \ \ gamma}{\displaystyle E=mc^{2}\ {\sqrt {1-{\frac {r_{\rm {s}}}{r}}}}\ \gamma }

где

E = E rest + E kin + E pot {\ displaystyle E = E _ {\ rm {rest}} + E _ {\ rm {kin}} + E _ {\ rm {pot}}}{\displaystyle E=E_{\rm {rest}}+E_{\rm {kin}}+E_{\rm {pot}}}

и

E rest = mc 2, E kin = (γ - 1) mc 2, E pot = (1 - rsr - 1) γ mc 2 {\ displaystyle E _ {\ rm {rest}} = mc ^ {2} \, \ \ E _ {\ rm {kin}} = (\ gamma -1) mc ^ {2} \, \ \ E _ {\ rm {pot}} = \ left ({\ sqrt {1 - {\ frac {r _ {\ rm {s}}} {r}}}} - 1 \ right) \ \ gamma \ mc ^ {2}}{\displaystyle E_{\rm {rest}}=mc^{2}\,\ \ E_{\rm {kin}}=(\gamma -1)mc^{2}\,\ \ E_{\rm {pot}}=\left({\sqrt {1-{\frac {r_{\rm {s}}}{r}}}}-1\right)\ \gamma \ mc^{2}}

Для массивных тестовых частиц γ {\ textstyle \ gamma}{\textstyle \gamma }- фактор Лоренца γ = 1/1 - v 2 / c 2 {\ textstyle \ gamma = 1 / {\ sqrt {1-v ^ {2} / c ^ {2}}}}{\textstyle \gamma =1/{\sqrt {1-v^{2}/c^{2}}}}и τ {\ textstyle \ tau}{\textstyle \tau }- это собственное время, в то время как для безмассовых частиц, таких как фотоны γ {\ textstyle \ gamma}{\textstyle \gamma }, установлено в 1 {\ textstyle 1}{\textstyle 1}и τ {\ textstyle \ tau}{\textstyle \tau }играет роль аффинного параметра. Если частица безмассовая E rest {\ textstyle E _ {\ rm {rest}}}{\textstyle E_{\rm {rest}}}заменяется на E kin {\ textstyle E _ {\ rm {kin}}}{\textstyle E_{\rm {kin}}}и mc 2 {\ textstyle mc ^ {2}}{\textstyle mc^{2}}с hf {\ textstyle hf}{\textstyle hf}, где h {\ textstyle h}{\textstyle h}- это постоянная Планка, а f {\ textstyle f}{\textstyle f}- локально наблюдаемая частота.

Точное решение с использованием эллиптических функций

Основное уравнение орбиты легче решить, если оно выражено через обратный радиус u = 1 r {\ textstyle u = {\ frac {1} {r}}}{\textstyle u={\frac {1}{r}}}

(dud φ) 2 = 1 b 2 - (1 - urs) (1 a 2 + u 2) {\ displaystyle \ left ({\ frac {du} {d \ varphi}} \ right) ^ {2} = {\ frac {1} {b ^ {2}} } - \ left (1-ur _ {\ rm {s}} \ right) \ left ({\ frac {1} {a ^ {2}}} + u ^ {2} \ right)}{\displaystyle \left({\frac {du}{d\varphi }}\right)^{2}={\frac {1}{b^{2}}}-\left(1-ur_{\rm {s}}\right)\left({\frac {1}{a^{2}}}+u^{2}\right)}

Правая часть этого уравнения - кубический многочлен, который имеет три корня, обозначенные здесь как u 1, u 2 и u 3

( неудачник φ) 2 знак равно rs (U - U 1) (U - U 2) (U - U 3) {\ displaystyle \ left ({\ frac {du} {d \ varphi}} \ right) ^ {2} = r _ {\ rm {s}} \ left (u-u_ {1} \ right) \ left (u-u_ {2} \ right) \ left (u-u_ {3} \ right)}{\displaystyle \left({\frac {du}{d\varphi }}\right)^{2}=r_{\rm {s}}\left(u-u_{1}\right)\left(u-u_{2}\right)\left(u-u_{3}\right)}

Сумма трех корней равный коэффициенту члена u

u 1 + u 2 + u 3 = 1 rs {\ displaystyle u_ {1} + u_ {2} + u_ {3} = {\ frac {1} {r _ {\ rm {s}}}}}{\displaystyle u_{1}+u_{2}+u_{3}={\frac {1}{r_{\rm {s}}}}}

Кубический многочлен с действующими средствами может иметь три настоящих корня или Действительный корен ь и два комплексно-сопряженных корня . Если все три корня являются действительными числами, корни помечаются так, что u 1< u2< u3. Если вместо этого существует только один действительный корень, то он обозначается как u 3 ; комплексно сопряженные корни обозначены u 1 и u 2. Используя правило знаков Декарта, может быть не более одного отрицательного корня; u 1 отрицательно тогда и только тогда, когда b < a. As discussed below, the roots are useful in determining the types of possible orbits.

Учитывая такое обозначение корней, решение фундаментального орбитального уравнения будет

u = u 1 + (u 2 - u 1) sn 2 (1 2 φ RS (U 3 - U 1) + δ) {\ Displaystyle u = u_ {1} + \ left (u_ {2} -u_ {1} \ right) \, \ mathrm {sn} ^ {2} \ left ( {\ frac {1} {2}} \ varphi {\ sqrt {r _ {\ rm {s}} \ left (u_ {3} -u_ {1} \ right)}} + \ delta \ right)}{\displaystyle u=u_{1}+\left(u_{2}-u_{1}\right)\,\mathrm {sn} ^{2}\left({\frac {1}{2}}\varphi {\sqrt {r_{\rm {s}}\left(u_{3}-u_{1}\right)}}+\delta \right)}

где sn представляет синусоидальную амплитудную функцию (одна из эллиптических функций Якоби ), а δ - постоянная интегрирования, отражающее начальное положение. эллиптический модуль k этой эллиптической функции задается формулой

k = u 2 - u 1 u 3 - u 1 {\ displaystyle k = {\ sqrt {\ frac {u_ {2}) -u_ {1 }} {u_ {3} -u_ {1}}}}}k={\sqrt {{\frac {u_{{2}}-u_{{1}}}{u_{{3}}-u_{{1}}}}}}

Ньютоновский предел

Чтобы восстановить ньютоновское решение для планетных орбитов, предел как радиус Шварцшильда r s обнуляется. В этом случае третий корень u 3 становится примерно 1 rs {\ textstyle {\ frac {1} {r _ {\ text {s}}}}}{\textstyle {\frac {1}{r_{\text{s}}}}}, и намного больше, чем u 1 или u 2. Следовательно, модуль k стремится к нулю; в этом пределе sn становится тригонометрической функцией синуса

u = u 1 + (u 2 - u 1) sin 2 ⁡ (1 2 φ + δ) {\ displaystyle u = u_ {1} + \ left (u_ {2} -u_ {1} \ right) \, \ sin ^ {2} \ left ({\ frac {1} {2}} \ varphi + \ delta \ right)}u=u_{{1}}+\left(u_{{2}}-u_{{1}}\right)\,\sin ^{{2}}\left({\frac {1}{2}}\varphi +\delta \right)

В соответствии с решениями Ньютона для планетных движений эта формула указанной фокусной конику эксцентриситета e

e = u 2 - u 1 u 2 + u 1 {\ displaystyle e = {\ frac {u_ {2} -u_ {1}} {u_ {2} + u_ {1}}}}e={\frac {u_{{2}}-u_{{1}}}{u_{{2}}+u_{{1}}}}

Если u 1 - положительное действующее число, то орбитаительное представляет собой эллипс, где u 1 и u 2 количество меньшего и большего сближения, соответственно. Если u 1 равно нулю или отрицательному действительному существованию, орбита является параболой или гиперболой соответственно. В этих двух последних случаях u 2 представляет собой наибольшее сближение; поскольку орбита уходит в бесконечность (u = 0), дальнего сближения нет.

Корни и обвиняемый орбит

Корень представляет собой точку орбиты, где производная обращается в нуль, т.е. где dud ϕ = 0 {\ textstyle {\ frac {du} {d \ phi}} = 0}{\textstyle {\frac {du}{d\phi }}=0}. В такой формуной точке u достигает максимума, минимума или точки перегиба в зависимости от значения второй производной, которая задаетсялой

d 2 ud φ 2 = rs 2 [(u - u 2) (u - u 3) + (u - u 1) (u - u 3) + (u - u 1) (u - u 2)] {\ displaystyle {\ frac {d ^ {2} u} {d \ varphi ^ {2}}} = {\ гидроразрыва {r _ {\ rm {s}}} {2}} \ left [\ left (u-u_ {2} \ right) \ left (u-u_ {3} \ right) + \ left (u-u_ {1} \ right) \ left (u-u_ {3} \ right) + \ left (u-u_ {1} \ right) \ left (u-u_ {2} \ right) \ right]}{\displaystyle {\frac {d^{2}u}{d\varphi ^{2}}}={\frac {r_{\rm {s}}}{2}}\left[\left(u-u_{2}\right)\left(u-u_{3}\right)+\left(u-u_{1}\right)\left(u-u_{3}\right)+\left(u-u_{1}\right)\left(u-u_{2}\right)\right]}

Если все три корня являются различными действующими числами, вторая производная будет положительной, отрицательной и положительной в u 1,u2и u 3 соответственно. Отсюда следует, что график зависимости u от φ может колебаться между u 1 и u 2, или он может перемещаться от u 3 в сторону бесконечности (что соответствует к г стремится к нулю). Если u 1 отрицательно, произойдет только часть «колебания». Это соответствует частице, исходящей из бесконечности, приближающейся к бесконечности, а затем снова удаляющейся к бесконечности, подобной гиперболической траектории в классическом решении.

Если части ее обладает достаточным мощностью для углового момента, u 2 и u 3 сольются. В этом случае есть три решения. Орбита может закручиваться по спирали до r = 1 u 2 = 1 u 3 {\ textstyle r = {\ frac {1} {u_ {2}}} = {\ frac {1} {u_ {3}}} }{\textstyle r={\frac {1}{u_{2}}}={\frac {1}{u_{3}}}}, приближаясь к этому радиусу как (асимптотически) убывающая экспонента по φ, τ или t. Или можно иметь круговую орбиту с этим радиусом. Или можно иметь орбиту, которая движется по спирали от этого радиуса иметь к центральной точке. Рассматриваемый радиус называется внутренним радиусом и находится между 3 2 {\ textstyle {\ frac {3} {2}}}{\textstyle {\frac {3}{2}}}и трехкратным r s. Круговая орбита также возникает, когда u 2 равно u 1, и это происходит как происходит. Эти различные типы орбит обсуждаются ниже.

Если частица приходит в центральную массу с достаточной энергией и низким угловым моментом, тогда только u 1 будет действительным. Это соответствует падению частиц в черную дыру. Орбита закручивается по спирали с конечным изменением φ.

Прецессия орбит

Функция sn и ее квадрат sn имеют периоды 4K и 2K соответственно, где K определяется уравнением

K = ∫ 0 1 dy (1 - Y 2) (1 - К 2 Y 2) {\ Displaystyle К = \ int _ {0} ^ {1} {\ frac {dy} {\ sqrt {\ left (1-y ^ {2} \ right) \ left (1-k ^ { 2} y ^ {2} \ right)}}}}{\displaystyle K=\int _{0}^{1}{\frac {dy}{\sqrt {\left(1-y^{2}\right)\left(1-k^{2}y^{2}\right)}}}}

Следовательно, изменение φ за одно колебание u (или, что то же самое, одно колебание r) равно

Δ φ знак равно 4 К RS (u 3 - u 1) {\ displaystyle \ Delta \ varphi = {\ frac {4K} {\ sqrt {r _ {\ text {s}} \ left (u_ {3} -u_ {1}) \ right)}} }}{\displaystyle \Delta \varphi ={\frac {4K}{\sqrt {r_{\text{s}}\left(u_{3}-u_{1}\right)}}}}

В классическом пределе u 3 приближается к 1 rs {\ textstyle {\ frac {1} {r _ {\ text {s}}}}}{\textstyle {\frac {1}{r_{\text{s}}}}}и намного больше, чем u 1 или u 2. Следовательно, k приблизительно равно

k 2 = u 2 - u 1 u 3 - u 1 ≈ rs (u 2 - u 1) ≪ 1 {\ displaystyle k ^ {2} = {\ frac {u_ {2} - u_ {1}} {u_ {3} -u_ {1}}} \ приблизительно r _ {\ text {s}} \ left (u_ {2} -u_ {1} \ right) \ ll 1}{\displaystyle k^{2}={\frac {u_{2}-u_{1}}{u_{3}-u_{1}}}\approx r_{\text{s}}\left(u_{2}-u_{1}\right)\ll 1}

Для по тем же причинам знаменатель Δφ равно равенству

1 rs (u 3 - u 1) = 1 1 - rs (2 u 1 + u 2) ≈ 1 + 1 2 rs (2 u 1 + u 2) {\ displaystyle {\ frac {1} {\ sqrt {r _ {\ text {s}} \ left (u_ {3} -u_ {1} \ right)}}} = {\ frac {1} {\ sqrt {1 -r _ {\ text {s}} \ left (2u_ {1} + u_ {2} \ right)}}} \ приблизительно 1 + {\ frac {1} {2}} r _ {\ text {s} } \ left (2u_ {1} + u_ {2} \ right)}{\displaystyle {\frac {1}{\sqrt {r_{\text{s}}\left(u_{3}-u_{1}\right)}}}={\frac {1}{\sqrt {1-r_{\text{s}}\left(2u_{1}+u_{2}\right)}}}\approx 1+{\frac {1}{2}}r_{\text{s}}\left(2u_{1}+u_{2}\right)}

Временной модуль k близок к нулю, период K можно разложить по степеням k; в самом низком порядке это расширение дает

K ≈ ∫ 0 1 dy 1 - y 2 (1 + 1 2 k 2 y 2) = π 2 (1 + k 2 4) {\ displaystyle K \ приблизительно \ int _ { 0} ^ {1} {\ frac {dy} {\ sqrt {1-y ^ {2}}}} \ left (1 + {\ frac {1} {2}} k ^ {2} y ^ {2 } \ right) = {\ frac {\ pi} {2}} \ left (1 + {\ frac {k ^ {2}} {4}} \ right)}{\displaystyle K\approx \int _{0}^{1}{\frac {dy}{\sqrt {1-y^{2}}}}\left(1+{\frac {1}{2}}k^{2}y^{2}\right)={\frac {\pi }{2}}\left(1+{\frac {k^{ 2}}{4}}\right)}

Подставляя эти приближения в формулу для Δφ дает формулу для углового повреждения на радиальном колебании

δ φ = Δ φ - 2 π ≈ 3 2 π rs (u 1 + u 2) {\ displaystyle \ delta \ varphi = \ Delta \ varphi -2 \ pi \ приблизительно {\ frac {3} {2}} \ pi r _ {\ text {s}} \ left (u_ {1} + u_ {2} \ right)}{\displaystyle \delta \varphi =\Delta \varphi -2\pi \approx {\frac {3}{2}}\pi r_{\text{s}}\left(u_{1}+u_{2}\right)}

Для эллиптической орбиты u 1 и u 2 означает собой инверсии наибольшего и наименьшего расстоянияний соответственно. Их можно выразить через большую полуось эллипса A и его эксцентриситет орбиты e,

r max = 1 u 1 = A (1 + e) ​​r min Знак равно 1 U 2 знак равно A (1 - e) {\ displaystyle {\ begin {align} r _ {\ text {max}} = {\ frac {1} {u_ {1}}} = A (1 + e) ​​\ \ r _ {\ text {min}} = {\ frac {1} {u_ {2}}} = A (1-e) \ end {align}}}{\displaystyle {\begin{aligned}r_{\text{max}}={\frac {1}{u_{1}}} =A(1+e)\\r_{\text{min}}={\frac {1}{u_{2}}}=A(1-e)\end{aligned}}}

, что дает

u 1 + U 2 знак равно 2 A (1 - е 2) {\ displaystyle u_ {1} + u_ {2} = {\ frac {2} {A \ left (1-e ^ {2} \ right)}}}{\displaystyle u_{1}+u_{2}={\frac {2}{A\left(1-e^{2}\right)}}}

Подстановка определения r s дает окончательное уравнение

δ φ ≈ 6 π GM c 2 A (1 - e 2) {\ displaystyle \ delta \ varphi \ приблизительно {\ frac {6 \ pi GM } {c ^ {2} A \ left (1-e ^ {2} \ right)}}}{\displaystyle \delta \varphi \approx {\frac {6\pi GM}{c^{2}A\left(1-e^{2}\right)}}}
Искривление света под действием силы тяжести
Отклонение света (исходящего из места, синим) вблизи компактное тело ( показано серым)

В пределе, когда масса частиц m стремится к нулю (или что то же самое, если свет направляется прямо к центральной массе, когда масштаб длины a стремится к бесконечности) уравнение для орбиты становится

φ = ∫ drr 2 1 b 2 - (1 - rsr) 1 r 2 {\ displaystyle \ varphi = \ int {\ frac {dr} {r ^ {2} {\ sqrt {{\ frac {1} {b ^ {2}}}} - \ left (1 - {\ frac {r_ {\ rm {s}}} {r}} \ right) {\ frac {1} {r ^ {2}}}}}}}}{\displaystyle \varphi =\int {\frac {dr}{r^{2}{\sqrt {{\frac {1}{b^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {1}{r^{2}}}}}}}}

Расширение по степеням rsr {\ textstyle {\ frac {r _ {\ text {s}}} {r}}}{\textstyle {\frac {r_{\text{s}}}{r}}}, член главного порядка в этой формуле дает приблизительное угловое отклонение δφ для безмассовой частицы, входящей из бесконечности и уходящей обратно в бесконечность:

δ φ ≈ 2 rsb = 4 GM c 2 b. {\ displaystyle \ delta \ varphi \ приблизительно {\ frac {2r _ {\ rm {s}}} {b}} = {\ frac {4GM} {c ^ {2} b}}.}{\displaystyle \delta \varphi \approx {\frac {2r_{\rm {s}}}{b}}={\frac {4GM}{c^{2}b}}.}

Здесь b - прицельный параметр, несколько превышающий расстояниешего сближения, r 3:

b = r 3 r 3 r 3 - rs {\ displaystyle b = r_ {3} {\ sqrt {\ frac {r_ {3}} {r_ {3}) -r _ {\ rm {s}}}}}{\displaystyle b=r_{3}{\sqrt {\frac {r_{3}}{r_{3}-r_{\rm {s}}}}}}

Хотя эта формула является приблизительной, она точна для распространения гравитационного линзирования из-за малости отношения rsr {\ textstyle {\ frac {r _ {\ text {s}}} {r}}}{\textstyle {\frac {r_{\text{s}}}{r}}}. Для скользящего по поверхности солнца света приблизительное угловое отклонение составляет примерно 1,75 угловых секунд, что составляет примерно одну миллионную часть круга.

Связь с ньютоновской физикой

Эффективная радиальная потенциальная энергия

Уравнение движения для частиц, полученное выше

(drd τ) 2 = E 2 m 2 c 2 - с 2 + rsc 2 р - L 2 м μ р 2 + rs L 2 м μ р 3 {\ displaystyle \ left ({\ frac {dr} {d \ tau}} \ right) ^ {2} = {\ гидроразрыв { E ^ {2}} {m ^ {2} c ^ {2}}} - c ^ {2} + {\ frac {r _ {\ rm {s}} c ^ {2}} {r}} - {\ frac {L ^ {2}} {m \ mu r ^ {2}}} + {\ frac {r _ {\ rm {s}} L ^ {2}} {m \ mu r ^ {3} }}}{\displaystyle \left({\frac {dr}{d\tau }}\right)^{2}={\frac {E^{2}}{m^{2}c^{2}}}-c^{2}+{\frac {r_{\rm {s}}c^{2}}{r}}-{\frac {L^{2}}{m\mu r^{2}}}+{\frac {r_{\rm {s}}L^{2}}{m\mu r^{3}}}}

можно переписать с использованием определения радиуса Шварцшильда rsкак

1 2 м (drd τ) 2 = [E 2 2 mc 2 - 1 2 mc 2] + GM mr - L 2 2 μ р 2 + г (M + m) L 2 c 2 μ р 3, {\ displaystyle {\ frac {1} {2}} m \ left ({\ frac {dr} {d \ tau})} \ справа) ^ {2} = \ left [{\ frac {E ^ {2}} {2mc ^ {2}}} - {\ frac {1} {2}} mc ^ {2} \ right] + {\ frac {GMm} {r}} - {\ frac {L ^ {2}} {2 \ mu r ^ {2}}} + {\ frac {G (M + m) L ^ {2}} {c ^ {2} \ mu r ^ {3}}},}{\displaystyle {\frac {1}{2}}m\left({\frac {dr}{d\tau }}\right)^{2}=\left[{\frac {E^{2}}{2mc^{2}}}-{\frac {1}{2}}mc^{2}\right]+{\frac {GMm}{r}}-{\frac {L^{2}}{2\mu r^{2}}}+{\frac {G(M+m)L^{2}}{c^{2}\mu r^{3}}},}

что эквивалентно движению частиц в одномерном эффективном ном потенциале

V (r) = - GM mr + L 2 2 μ r 2 - г (M + м) L 2 с 2 μ р 3 {\ Displaystyle V (г) = - {\ fr ac {GMm} {r}} + {\ frac {L ^ {2}} {2 \ mu r ^ {2}}} - {\ frac {G (M + m) L ^ {2}} {c ^ {2} \ mu r ^ {3}}}}{\displaystyle V(r)=-{\frac {GMm}{r}}+{\frac {L^{2}}{2\mu r^{2}}}-{\frac {G(M+m)L^{2}}{c^{2}\mu r^{3}}}}

Первые два члена являются хорошо известными энергиями, первый - это притягивающая ньютоновская потенциальная энергия гравитации, второй - отталкивающий «центробежный» потенциал энергии ; однако третий член представляет собой привлекательную энергию, уникальную для общей теории относительности. Как показано ниже и в другом месте, эта обратнокубическая энергия вызывает возникшую прецессию эллиптических орбитов на угол δφ за оборот

δ φ ≈ 6 π G (M + m) c 2 A (1 - e 2) {\ displaystyle \ delta \ varphi \ приблизительно {\ frac {6 \ pi G (M + m)} {c ^ {2} A \ left (1-e ^ {2} \ right)}}}{\displaystyle \delta \varphi \approx {\frac {6\pi G(M+m)}{c^{2}A\left(1-e^{2}\right)}}}

где A - большая полуось, а e - эксцентриситет.

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

Круговые орбиты и их устойчивость

Эффективный радиальный потенциал для различных угловых моментов. На малых радиусах энергия резко падает, заставляя частицу неумолимо тянуться внутрь до r = 0. Однако, когда нормированный угловой момент ars = L mcrs {\ textstyle {\ frac {a} {r _ {\ text {s}}}} = {\ frac {L} {mcr _ {\ text {s}}}}}{\textstyle {\frac {a}{r_{\text{s}}}}={\frac {L}{mcr_{\text{s}}}}}равно квадратному корню из трех, метастабильная круговая орбита возможна на радиусе, выделенном значком зеленый кружок. При более высоких угловых моментах имеется значительный центробежный барьер (оранжевая кривая) и нестабильный внутренний радиус, выделенный красным.

Эффективный потенциал V можно переписать через длину a = hc {\ textstyle a = {\ frac {h} {c}}}{\textstyle a={\frac {h}{c}}}.

V (r) = μ c 2 2 [- rsr + a 2 r 2 - rsa 2 r 3] {\ displaystyle V (r) = {\ frac {\ mu c ^ {2}} {2}} \ left [- {\ frac {r _ {\ rm {s}}} {r}} + {\ frac {a ^ {2}} {r ^ { 2}}} - {\ frac {r _ {\ rm {s}} a ^ {2}} {r ^ {3}}} \ right]}{\displaystyle V(r)={\frac {\mu c^{2}}{2}}\left[-{\frac {r_{\rm {s}}}{r}}+{\frac {a^{2}}{r^{2}}}-{\frac {r_{\rm {s}}a^{2}}{r^{3}}}\right]}

Круговые орбиты возможны, когда эффективная сила равна нулю

F = - d V dr = - μ c 2 2 r 4 [rsr 2 - 2 a 2 r + 3 rsa 2] = 0 {\ displaystyle F = - {\ frac {dV} {dr}} = - {\ гидроразрыв {\ mu c ^ {2}} {2r ^ {4}}} \ left [r _ {\ rm {s}} r ^ {2} -2a ^ {2} r + 3r _ {\ rm {s}} a ^ {2} \ right] = 0}{\displaystyle F=-{\frac {dV}{dr}}=-{\frac {\muc^{2}}{2r^{4}}}\left[r_{\rm {s}}r^{2}-2a^{2}r+3r_{\rm {s}}a^{2}\right]=0}

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

r внешний = a 2 rs (1 + 1 - 3 rs 2 a 2) r внутренний = a 2 rs (1 - 1 - 3 rs 2 a 2) = 3 a 2 r внешний {\ displaystyle {\ begin {align} r _ {\ text {outer}} = {\ frac {a ^ {2}} {r _ {\ rm {s}}}} \ left (1 + {\ sqrt {1 - {\ frac {3r _ {\ rm {s}}} ^ {2}} {a ^ {2}}}}} \ справа) \\ [3pt] r _ {\ text {inner}} = {\ frac {a ^ {2}} {r _ {\ rm {s}}}} \ left (1 - {\ sqrt {1- { \ frac {3r _ {\ rm {s}} ^ {2}} {a ^ {2}}}}} \ right) = {\ frac {3a ^ {2}} {r _ {\ text {outer}}} } \ end {align}}}{\displaystyle {\begin{aligned}r_{\text{outer}}={\frac {a^{2}}{r_{\rm {s}}}}\left(1+{\sqrt {1-{\frac {3r_{\rm {s}}^{2}}{a^{2}}}} }\right)\\[3pt]r_{\text{inner}}={\frac {a^{2}}{r_{\rm {s}}}}\left(1-{\sqrt {1-{\frac {3r_{\rm {s}}^{2}}{a^{2}}}}}\right)={\frac {3a^{2}}{r_{\text{outer}}}}\end{aligned}}}

, которые получены с использованием квадратной формулы . Внутренний радиус r внутренний является нестабильным, поскольку третья сила притяжения усиливается намного быстрее, чем две другие силы, когда r становится малым; если частица слегка проскальзывает внутрь от r внутреннего (где все три силы уравновешены), третья сила доминирует над двумя другими и неумолимо втягивает частицу внутрь до r = 0. Однако на внешнем радиусе круговые орбиты устойчивы; третий член менее важен, и система ведет себя больше как нерелятивистская проблема Кеплера.

Когда a намного больше, чем r s (классический случай), эти формулы становятся приблизительно

r внешний ≈ 2 a 2 rsr внутренний ≈ 3 2 rs {\ displaystyle {\ begin {align} r _ {\ text {external}} \ ок {\ frac {2a ^ {2}} {r _ {\ rm {s }}}} \\ [3pt] r _ {\ text {inner}} \ приблизительно {\ frac {3} {2}} r _ {\ rm {s}} \ end {align}}}{\displaystyle {\begin{aligned}r_{\text{outer}}\approx {\frac {2a^{2}}{r_{\rm {s}}}}\\[3pt]r_{\text{inner}}\approx {\frac {3}{2}}r_{\rm {s}}\end{aligned}}}
Конюшня и нестабильные радиусы построены в зависимости от нормализованного углового момента ars = L mcrs {\ textstyle {\ frac {a} {r _ {\ text {s}}}} = {\ frac {L} {mcr _ {\ text { s}}}}}{\textstyle {\frac {a}{r_{\text{s}}}}={\frac {L}{mcr_{\text{s}}}}}синим и красным соответственно. Эти кривые встречаются на уникальной круговой орбите (зеленый кружок), когда нормированный угловой момент равен квадратному корню из трех. Для сравнения, классический радиус, предсказанный на основе центростремительного ускорения и закона всемирного тяготения Ньютона, показан черным цветом.

Подставляя определения a и r s в r external дает классическую формулу для частицы массы m, вращающейся вокруг тела массы M.

router 3 = G (M + m) ω φ 2 {\ displaystyle r _ {\ mathrm {outer}} ^ {3} = {\ frac {G (M + m)} {\ omega _ {\ varphi} ^ {2}}}}r_{\mathrm {outer} }^{3}={\frac {G(M+m)}{\omega _{\varphi }^{2}}}

где ω φ - орбитальная угловая скорость частицы. Эта формула получается в нерелятивистской механике, устанавливая центробежную силу равной ньютоновской гравитационной силе:

GM mr 2 = μ ω φ 2 r {\ displaystyle {\ frac {GMm} {r ^ {2}}} = \ mu \ omega _ {\ varphi} ^ {2} r}{\frac {GMm}{r^{2}}}=\mu \omega _{\varphi }^{2}r

Где μ {\ textstyle \ mu}{\textstyle \mu }- приведенная масса.

В наших обозначениях классическая орбитальная угловая скорость равна

ω φ 2 ≈ GM router 3 = (rsc 2 2 router 3) = (rsc 2 2) (rs 3 8 a 6) = c 2 rs 4 16 a 6 {\ displaystyle \ omega _ {\ varphi} ^ {2} \ приблизительно {\ frac {GM} {r _ {\ mathrm {outer}} ^ {3}}} = \ left ({\ frac {r _ {\ rm {s}} c ^ {2}} {2r _ {\ mathrm {outer}} ^ {3}}} \ right) = \ left ({\ frac {r _ {\ rm {s}} c ^ {2}} {2}} \ right) \ left ({\ frac {r _ {\ rm {s}} ^ {3}} {8a ^ {6}}} \ right) = {\ frac {c ^ {2} r_ { \ rm {s}} ^ {4}} {16a ^ {6}}}}{\displaystyle \omega _{\varphi }^{2}\approx {\frac {GM}{r_{\mathrm {outer} }^{3}}}=\left({\frac {r_{\rm {s}}c^{2}}{2r_{\mathrm {outer} }^{3}}}\right)=\left({\frac {r_{\rm {s}}c^{2}}{2}}\right)\left({\frac {r_{\rm {s}}^{3}}{8a^{6}}}\right)={\frac {c^{2}r_{\rm {s}}^{4}}{16a^{6}}}}

С другой стороны, когда a приближается к 3r s сверху, два радиуса сходятся к одному значению

router ≈ rinner ≈ 3 rs {\ displaystyle r _ {\ mathrm {outer}} \ приблизительно r _ {\ mathrm {inner}} \ приблизительно 3r _ {\ rm {s}}}{\displaystyle r_{\mathrm {outer} }\approx r_{\mathrm {inner} }\approx 3r_{\rm {s}}}

Приведенные выше квадратичные решения гарантируют, что r external всегда больше 3r s, тогда как r internal находится между ⁄ 2rsи 3r с. Круговые орбиты меньше ⁄ 2rsневозможны. Для безмассовых частиц a стремится к бесконечности, подразумевая, что существует круговая орбита для фотонов при r internal = ⁄ 2rs. Сфера этого радиуса иногда известна как фотонная сфера.

Прецессия эллиптических орбит

В нерелятивистской задаче Кеплера частица следует тому же идеальному эллипсу (красная орбита) вечно. Общая теория относительности вводит третью силу, которая притягивает частицу немного сильнее, чем гравитация Ньютона, особенно на малых радиусах. Эта третья сила заставляет эллиптическую орбиту частицы прецессировать (голубую орбиту) в направлении ее вращения; этот эффект был измерен в Меркурии, Венере и Земле. Желтая точка на орбитах представляет собой центр притяжения, такой как Солнце.

Скорость орбитальной прецессии может быть получена с использованием этого радиального эффективного V. Небольшое радиальное отклонение от круговой орбиты радиусом r внешний будет стабильно колебаться с угловой частотой

ω r 2 = 1 м [d 2 V dr 2] r = маршрутизатор {\ displaystyle \ omega _ {r} ^ {2} = {\ frac {1} {m}} \ left [{ \ frac {d ^ {2} V} {dr ^ {2}}} \ right] _ {r = r _ {\ mathrm {outer}}\omega _{r}^{2}={\frac {1}{m}}\left[{\frac {d^{2}V}{dr^{2}}}\right]_{r=r_{\mathrm {outer} }}

что равно

ω р 2 знак равно (c 2 RS 2 маршрутизатор 4) (маршрутизатор - rinner) = ω φ 2 1-3 RS 2 a 2 {\ displaystyle \ omega _ {r} ^ {2} = \ left ({\ frac {c ^ {2} r _ {\ rm {s}}} {2r _ {\ mathrm {external}} ^ {4}}} \ right) \ left (r _ {\ mathrm {external}} -r _ {\ mathrm {inner}} \ справа) = \ omega _ {\ varphi} ^ {2} {\ sqrt {1 - {\ frac {3r _ {\ rm {s}} ^ {2}} {a ^ {2}}}}}}{\displaystyle \omega _{r}^{2}=\left({\frac {c^{2}r_{\rm {s}}}{2r_{\mathrm {outer} }^{4}}}\right)\left(r_{\mathrm {outer} }-r_{\mathrm {inner} }\right)=\omega _{\varphi }^{2}{\sqrt {1-{\frac {3r_{\rm {s}}^{2}}{a^{2}}}}}}

Извлечение квадратного корня из частей и выполнение разложения в ряд Тейлора дает

ω р знак равно ω φ [1-3 rs 2 4 a 2 + O (rs 4 a 4)] {\ displaystyle \ omega _ {r} = \ omega _ {\ varphi} \ left [1- {\ frac {3r _ {\ rm {s}} ^ {2}} {4a ^ {2}}} + {\ mathcal {O}} \ left ({\ frac {r _ {\ rm {s}} ^ {4 }} {a ^ {4}}} \ right) \ right]}{\displaystyle \omega _{r}=\omega _{\varphi }\left[1-{\frac {3r_{\rm {s}}^{2}}{4a^{2}}}+{\mathcal {O}}\left({\frac {r_{\rm {s}}^{4}}{a^{4}}}\right)\right]}

Умножение на период T одного оборота дает прецессию орбиты за оборот

δ φ = T (ω φ - ω r) ≈ 2 π (3 рс 2 4 a 2) знак равно 3 π м 2 с 2 2 L 2 рс 2 {\ displaystyle \ delta \ varphi = T \ left (\ omega _ {\ varphi} - \ omega _ {r} \ справа) \ приблизительно 2 \ pi \ left ({\ frac {3r _ {\ rm {s}} ^ {2}} {4a ^ {2}}} \ right) = {\ frac {3 \ pi m ^ {2} c ^ {2}} {2L ^ {2}}} r _ {\ rm {s}} ^ {2}}{\displaystyle \delta \varphi =T\left(\omega _{\varphi }-\omega _{r}\right)\approx 2\pi \left({\frac {3r_{\rm {s}}^{2}}{4a^{2}}}\right)={\frac {3\pi m^{2}c^{2}}{2L^{2}}}r_{\rm {s}}^{2}}

где мы использовали ω φ T = 2п и определение масштаб длины a. Подстановка определения радиуса Шварцшильда rsдает

δ φ ≈ 3 π m 2 c 2 2 L 2 (4 G 2 M 2 c 4) = 6 π G 2 M 2 m 2 c 2 L 2 {\ displaystyle \ delta \ varphi \ приблизительно {\ frac {3 \ pi m ^ {2} c ^ {2}} {2L ^ {2}}} \ left ({\ frac {4G ^ {2} M ^ {2}} {c ^ {4}}} \ right) = {\ frac {6 \ pi G ^ {2} M ^ {2} m ^ {2}} {c ^ {2} L ^ {2} }}}\delta \varphi \approx {\frac {3\pi m^{2}c^{2}}{2L^{2}}}\left({\frac {4G^{2}M^{2}}{c^{4}}}\right)={\frac {6\pi G^{2}M^{2}m^{2}}{c^{2}L^{2}}}

Это можно упростить, используя полуось A эллиптической орбиты и эксцентриситет e, связанные формулой

h 2 G (M + m) = A (1 - e 2) {\ displaystyle {\ frac {h ^ {2}} {G (M + m)}} = A \ left (1-e ^ {2} \ right)}{\frac {h^{2}}{G(M+m)}}=A\left(1-e^{2}\right)

, чтобы получить угол прецессии

δ φ ≈ 6 π G (M + m) c 2 A (1 - e 2) {\ displaystyle \ delta \ varphi \ приблизительно {\ frac {6 \ pi G (M + m)} {c ^ {2} A \ left (1-e ^ {2} \ right)}}}\delta \varphi \approx {\frac {6\pi G(M+m)}{c^{2}A\left(1-e^{2}\right)}}
Математический вывод орбитального уравнения

символы Кристоффеля

Неисчезающие символы Кристоффеля для метрики Шварцшильда равны:

Γ rtt = - Γ rrr = rs 2 r (r - rs) Γ ttr = rs (r - rs) 2 r 3 Γ ϕ ϕ r = (rs - r) sin 2 ⁡ (θ) Γ θ θ r = rs - r Γ r θ θ = Γ р ϕ ϕ = 1 р Γ ϕ ϕ θ = - грех ⁡ (θ) соз ⁡ (θ) Γ θ ϕ ϕ = детская кроватка ⁡ (θ) {\ displaystyle {\ begin {align} \ Gamma _ {rt} ^ { t} = - \ Gamma _ {rr} ^ {r} = {\ frac {r _ {\ rm {s}}} {2r (r-r _ {\ rm {s}})}} \\ [3pt] \ Gamma _ {tt} ^ {r} = {\ frac {r _ {\ rm {s}} (r-r _ {\ rm {s}})} {2r ^ {3}}} \\ [3pt] \ Gamma _ {\ phi \ phi} ^ {r} = (r _ {\ rm {s}} - r) \ sin ^ {2} (\ theta) \\ [3pt] \ Gamma _ {\ theta \ theta } ^ {r} = r _ {\ rm {s}} - r \\ [3pt] \ Gamma _ {r \ theta} ^ {\ theta} = \ Gamma _ {r \ phi} ^ {\ phi} = {\ frac {1} {r}} \\ [3pt] \ Gamma _ {\ phi \ phi} ^ {\ theta} = - \ sin (\ theta) \ cos (\ theta) \\ [3pt] \ Gamma _ {\ theta \ phi} ^ {\ phi} = \ cot (\ theta) \ end {align}}}{\displaystyle {\begin{aligned}\Gamma _{rt}^{t}=-\Gamma _{rr}^{r}={\frac {r_{\rm {s}}}{2r(r-r_{\rm {s}})}}\\[3pt]\Gamma _{tt}^{r}={\frac {r_{\rm {s}}(r-r_{\rm {s}})}{2r^{3}}}\\[3pt]\Gamma _{\phi \phi }^{r}=(r_{\rm {s}}-r)\sin ^{2}(\theta)\\[3pt]\Gamma _{\theta \theta }^{r}=r_{\rm {s}}-r\\[3pt]\Gamma _{r\theta }^{\theta }=\Gamma _{r\phi }^{\phi }={\frac {1}{r}}\\[3pt]\Gamma _{\phi \phi }^{\theta }=-\sin(\theta)\cos(\theta)\\[3pt]\Gamma _{\theta \phi }^{\phi }=\cot(\theta)\end{aligned}}}

Геодезическое уравнение

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

d 2 x λ dq 2 + Γ μ ν λ dx μ dqdx ν dq = 0 {\ displaystyle {\ frac {d ^ {2} x ^ {\ lambda}} {dq ^ {2}}} + \ Gamma _ {\ mu \ nu} ^ {\ lambda} {\ frac {dx ^ {\ mu}} {dq}} {\ frac {dx ^ {\ nu}} {dq}} = 0}{\frac {d^{2}x^{{\lambda }}}{dq^{2}}}+\Gamma _{{\mu \nu }}^{{\lambda }}{\frac {dx^{{\mu }}}{dq}}{\frac {dx^{{\nu }}}{dq}}=0

где Γ представляет собой символ Кристоффеля, а переменная q {\ textstyle q}{\textstyle q}параметризует путь частицы через пространство-время, его так называемая мировая линия. Символ Кристоффеля зависит только от метрического тензора g μ ν {\ textstyle g _ {\ mu \ nu}}{\textstyle g_{\mu \nu }}, или, скорее, от того, как он изменяется с положением. Переменная q {\ textstyle q}{\textstyle q}является постоянным кратным собственному времени τ {\ textstyle \ tau}{\textstyle \tau }для времениподобных орбит (которые перемещаются массивными частицами) и обычно принимается равным ему. Для светоподобных (или нулевых) орбит (которые перемещаются безмассовыми частицами, такими как фотон ) собственное время равно нулю и, строго говоря, не может использоваться в качестве переменной q {\ textstyle q }{\textstyle q}. Тем не менее, светоподобные орбиты могут быть получены как ультрарелятивистский предел времениподобных орбит, то есть предел, при котором масса m частицы стремится к нулю при сохранении ее полной энергии фиксированной.

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

c 2 d τ 2 = w (r) c 2 dt 2 - v (r) dr 2 - r 2 d θ 2 - r 2 sin 2 ⁡ θ d ϕ 2 {\ displaystyle c ^ {2} d \ tau ^ {2} = w (r) c ^ {2} dt ^ {2} -v (r) dr ^ {2} -r ^ {2} d \ theta ^ {2} -r ^ {2} \ sin ^ {2} \ theta d \ phi ^ {2} \,}c^{{2}}d\tau ^{{2}}=w(r)c^{2}dt^{{2}}-v(r)dr^{{2}}-r^{{2}}d\theta ^{{2}}-r^{{2}}\sin ^{{2}}\theta d\phi ^{{2}}\,

где две функции w (r) = 1 - rsr {\ textstyle w (r) = 1 - {\ frac {r_ {s}} {r}}}{\textstyle w(r)=1-{\frac {r_{s}}{r}}}и его обратная величина v (r) = 1 w (r) {\ textstyle v (r) = {\ frac { 1} {w (r)}}}{\textstyle v(r)={\frac {1}{w(r)}}}определены для краткости. По этой метрике можно вычислить символы Кристоффеля Γ μ ν λ {\ textstyle \ Gamma _ {\ mu \ nu} ^ {\ lambda}}{\textstyle \Gamma _{\mu \nu }^{\lambda }}, и результаты подставить в уравнения геодезических

0 = d 2 θ dq 2 + 2 rd θ dqdrdq - sin ⁡ θ cos ⁡ θ (d ϕ dq) 2 0 = d 2 ϕ dq 2 + 2 rd ϕ dqdrdq + 2 кроватки ⁡ θ d ϕ dqd θ dq 0 = d 2 tdq 2 + 1 wdwdrdtdqdrdq 0 = d 2 rdq 2 + 1 2 vdvdr (drdq) 2 - rv (d θ dq) 2 - r sin 2 ⁡ θ v (d ϕ dq) 2 + c 2 2 vdwdr ( dtdq) 2 {\ displaystyle {\ begin {align} 0 = {\ frac {d ^ {2} \ theta} {dq ^ {2}}} + {\ frac {2} {r}} {\ frac {d \ theta} {dq}} {\ frac {dr} {dq}} - \ sin \ theta \ cos \ theta \ left ({\ frac {d \ phi} {dq}} \ right) ^ {2} \\ [3pt] 0 = {\ frac {d ^ {2} \ phi} {dq ^ {2}}} + {\ frac {2} {r}} {\ frac {d \ phi} {dq}} {\ frac {dr} {dq}} + 2 \ cot \ theta {\ frac {d \ phi} {dq}} {\ frac {d \ theta} {dq}} \\ [3pt] 0 = {\ frac {d ^ {2} t} {dq ^ {2}}} + {\ frac {1} {w}} {\ frac {dw} {dr}} {\ frac {dt} {dq}} {\ frac {dr } {dq}} \\ [3pt] 0 = {\ frac {d ^ {2} r} {dq ^ {2}}} + {\ frac {1} {2v}} {\ frac {dv} {dr }} \ left ({\ frac {d r} {dq}} \ right) ^ {2} - {\ frac {r} {v}} \ left ({\ frac {d \ theta} {dq}} \ right) ^ {2} - {\ frac {r \ sin ^ {2} \ theta} {v}} \ left ({\ frac {d \ phi} {dq}} \ right) ^ {2} + {\ frac {c ^ {2}} {2v }} {\ frac {dw} {dr}} \ left ({\ frac {dt} {dq}} \ right) ^ {2} \ end {align}}}{\displaystyle {\begin{aligned}0={\frac {d^{2}\theta }{dq^{2}}}+{\frac {2}{r}}{\frac {d\theta }{dq}}{\frac {dr}{dq}}-\sin \theta \cos \theta \left({\frac {d\phi }{dq}}\right)^{2}\\[3pt]0={\frac {d^{2}\phi }{dq^{2}}}+{\frac {2}{r}}{\frac {d\phi }{dq}}{\frac {dr}{dq}}+2\cot \theta {\frac {d\phi }{dq}}{\frac {d\theta }{dq}}\\[3pt]0={\frac {d^{2}t}{dq^{2}}}+{\frac {1}{w}}{\frac {dw}{dr}}{\frac {dt}{dq}}{\frac {dr}{dq}}\\[3pt]0={\frac {d^{2}r}{dq^{2}}}+{\frac {1}{2v}}{\frac {dv}{dr}}\left({\frac {dr}{dq}}\right)^{2}-{\frac {r}{v}}\left({\frac {d\theta }{dq}}\right)^{2}-{\frac {r\sin ^{2}\theta }{v}}\left({\frac {d\phi }{dq}}\right)^{2}+{\frac {c^{2}}{2v}}{\frac {dw}{dr}}\left({\frac {dt}{dq}}\right)^{2}\end{aligned}}}

Можно проверить, что θ = π 2 {\ textstyle \ theta = {\ frac {\ pi} {2}}}{\textstyle \theta ={\frac {\pi }{2}}}является допустимым решением путем подстановки в первое из этих четырех уравнений. По симметрии орбита должна быть плоской, и мы можем расположить систему координат так, чтобы экваториальная плоскость была плоскостью орбиты. Это решение θ {\ textstyle \ theta}{\textstyle \theta }упрощает второе и четвертое уравнения.

Чтобы решить второе и третье уравнения, достаточно разделить их на d ϕ dq {\ textstyle {\ frac {d \ phi} {dq}}}{\textstyle {\frac {d\phi }{dq}}}и dtdq {\ textstyle {\ frac {dt} {dq}}}{\textstyle {\frac {dt}{dq}}}соответственно.

0 = ddq [ln ⁡ d ϕ dq + ln ⁡ r 2] 0 = ddq [ln ⁡ dtdq + ln ⁡ w], {\ displaystyle {\ begin {align} 0 = {\ frac {d} {dq }} \ left [\ ln {\ frac {d \ phi} {dq}} + \ ln r ^ {2} \ right] \\ [3pt] 0 = {\ frac {d} {dq}} \ left [ \ ln {\ frac {dt} {dq}} + \ ln w \ right], \ end {align}}}{\displaystyle {\begin{aligned}0={\frac {d}{dq}}\left[\ln {\frac {d\phi }{dq}}+\ln r^{2}\right]\\[3pt]0={\frac {d}{dq}}\left[\ln {\frac {dt}{dq}}+\ln w\right],\end{aligned}}}

что дает две константы движения.

Лагранжев подход

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

0 = δ s = δ ∫ ds = δ ∫ g μ ν dx μ d τ dx ν d τ d τ = δ ∫ 2 T d τ {\ displaystyle 0 = \ delta s = \ delta \ int ds = \ delta \ int {\ sqrt {g _ {\ mu \ nu} {\ frac {dx ^ {\ mu}} {d \ tau}} {\ frac {dx ^ {\ nu}} {d \ tau}}}} d \ tau = \ delta \ int {\ sqrt {2T}} d \ tau}{\displaystyle 0=\delta s=\delta \int ds=\delta \int {\sqrt {g_{\mu \nu }{\frac {dx^{\mu }}{d\tau }}{\frac {dx^{\nu }}{d\tau }}}}d\tau =\delta \int {\sqrt {2T}}d\tau }

, где τ - собственное время, s = cτ - длина дуги в пространстве-времени, а T определяется как

2 T = c 2 = (dsd τ) 2 = g μ ν dx μ d τ dx ν d τ = (1 - rsr) c 2 (dtd τ) 2 - 1 1 - rsr (drd τ) 2 - r 2 (d φ d τ) 2 {\ displaystyle 2T = c ^ {2} = \ left ({\ frac {ds}) {d \ tau}} \ right) ^ {2} = g _ {\ mu \ nu} {\ frac {dx ^ {\ mu}} {d \ tau}} {\ frac {dx ^ {\ nu}} { d \ tau}} = \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) c ^ {2} \ left ({\ frac {dt} {d \ tau} } \ right) ^ {2} - {\ frac {1} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} \ left ({\ frac {dr} {d \ tau }} \ right) ^ {2} -r ^ {2} \ left ({\ frac {d \ varphi} {d \ tau}} \ right) ^ {2}}{\displaystyle 2T=c^{2}=\left({\frac {ds}{d\tau }}\right)^{2}=g_{\mu \nu }{\frac {dx^{\mu }}{d\tau }}{\frac {dx^{\nu }}{d\tau }}=\left(1-{\frac {r_{\rm {s}}}{r}}\right)c^{2}\left({\frac {dt}{d\tau }}\right)^{2}-{\frac {1}{1-{\frac {r_{\rm {s}}}{r}}}}\left({\frac {dr}{d\tau }}\right)^{2}-r^{2}\left({\frac {d\varphi }{d\tau }}\right)^{2}}

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

x ˙ μ = dx μ d τ {\ displaystyle {\ dot {x}} ^ {\ mu} = {\ frac {dx ^ {\ mu}} {d \ tau}}}{\dot {x}}^{{\mu }}={\frac {dx^{{\mu }}}{d\tau }}

T можно записать как

2 T = c 2 = (1 - rsr) c 2 (t ˙) 2 - 1 1 - rsr (r ˙) 2 - р 2 (φ ˙) 2 {\ displaystyle 2T = c ^ {2} = \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) c ^ {2} \ left ({\ dot {t}} \ right) ^ {2} - {\ frac {1} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} \ left ({\ dot {r}} \ right) ^ {2} -r ^ {2} \ left ({\ dot {\ varphi}} \ right) ^ {2}}{\displaystyle 2T=c^{2}=\left(1-{\frac {r_{\rm {s}}}{r}}\right)c^{2}\left({\dot {t}}\right)^{2}-{\frac {1}{1-{\frac {r_{\rm {s}}}{r}}}}\left({\dot {r}}\right)^{2}-r^{2}\left({\dot {\varphi }}\right)^{2}}

Постоянные множители (например, c или квадратный корень из два) не влияют на ответ на вариационную задачу; следовательно, если взять вариацию внутрь интеграла, получим принцип Гамильтона

0 = δ ∫ 2 T d τ = ∫ δ T 2 T d τ = 1 c δ ∫ T d τ. {\ displaystyle 0 = \ delta \ int {\ sqrt {2T}} d \ tau = \ int {\ frac {\ delta T} {\ sqrt {2T}}} d \ tau = {\ frac {1} {c }} \ delta \ int Td \ tau.}{\displaystyle 0=\delta \int {\sqrt {2T}}d\tau =\int {\frac {\delta T}{\sqrt {2T}}}d\tau ={\frac {1}{c}}\delta \int Td\tau.}

Решение вариационной задачи дается уравнениями Лагранжа

dd τ (∂ T ∂ x ˙ σ) = ∂ T ∂ x σ. {\ displaystyle {\ frac {d} {d \ tau}} \ left ({\ frac {\ partial T} {\ partial {\ dot {x}} ^ {\ sigma}}} \ right) = {\ frac {\ partial T} {\ partial x ^ {\ sigma}}}.}{\displaystyle {\frac {d}{d\tau }}\left({\frac {\partial T}{\partial {\dot {x}}^{\sigma }}}\right)={\frac {\partial T}{\partial x^{\sigma }}}.}

В применении к t и φ эти уравнения показывают две константы движения

dd τ [r 2 d φ d τ ] = 0, дд τ [(1 - rsr) dtd τ] = 0, {\ displaystyle {\ begin {align} {\ frac {d} {d \ tau}} \ left [r ^ {2} {\ frac {d \ varphi} {d \ tau}} \ right] = 0, \\ {\ frac {d} {d \ tau}} \ left [\ left (1 - {\ frac {r _ {\ rm {s }}} {r}} \ right) {\ frac {dt} {d \ tau}} \ right] = 0, \ end {align}}}{\displaystyle {\begin{aligned}{\frac {d}{d\tau }}\left[r^{2}{\frac {d\varphi }{d\tau }}\right]=0,\\{\frac {d}{d\tau }}\left[\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}\right]=0,\end{aligned}}}

что может быть выражено через две постоянные длины - шкалы, a {\ textstyle a}{\textstyle a}и b {\ textstyle b}{\textstyle b}

r 2 d φ d τ = ac, (1 - rsr) dtd τ = ab. {\ displaystyle {\ begin {align} r ^ {2} {\ frac {d \ varphi} {d \ tau}} = ac, \\\ left (1 - {\ frac {r _ {\ rm {s}) }} {r}} \ right) {\ frac {dt} {d \ tau}} = {\ frac {a} {b}}. \ end {align}}}{\displaystyle {\begin{aligned}r^{2}{\frac {d\varphi }{d\tau }}=ac,\\\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}={\frac {a}{b}}.\end{aligned}}}

Как показано выше, замена этих уравнений в определение метрики Шварцшильда дает уравнение для орбиты.

Гамильтонов подход

Лагранжево решение может быть преобразовано в эквивалентную гамильтонову форму. В этом случае гамильтониан H {\ displaystyle H}Hопределяется как

2 H = c 2 = pt 2 c 2 (1 - rsr) - (1 - rsr) pr 2 - п θ 2 р 2 - п φ 2 р 2 грех 2 ⁡ θ {\ displaystyle 2H = c ^ {2} = {\ frac {p_ {t} ^ {2}} {c ^ {2} \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right)}} - \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) p_ {r} ^ {2} - {\ frac {p _ {\ theta} ^ {2}} {r ^ {2}}} - {\ frac {p _ {\ varphi} ^ {2}} {r ^ {2 } \ sin ^ {2} \ theta}}}{\displaystyle 2H=c^{2}={\frac {p_{t}^{2}}{c^{2}\left(1-{\frac {r_{\rm {s}}}{r}}\right)}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)p_{r}^{2}-{\frac {p_{\theta }^{2}}{r^{2}}}-{\frac {p_{\varphi }^{2}}{r^{2}\sin ^{2}\theta }}}

Опять же, орбита может быть ограничена θ = π 2 {\ textstyle \ theta = {\ frac {\ pi} {2}}}{\textstyle \theta ={\frac {\pi }{2}}}по симметрии. Поскольку t {\ textstyle t}{\textstyle t}и φ {\ textstyle \ varphi}{\textstyle \varphi }не появляются в гамильтониане, их сопряженные импульсы постоянны; они могут быть выражены в терминах скорости света c {\ textstyle c}{\textstyle c}и двух постоянных масштабов длины a {\ textstyle a}{\textstyle a}и b {\ textstyle b}{\textstyle b}

p φ = - acp θ = 0 pt = ac 2 b {\ displaystyle {\ begin {align} p _ {\ varphi} = - ac \\ p _ {\ theta} = 0 \\ p_ {t} = {\ frac {ac ^ {2}} {b}} \ end {align}}}{\displaystyle {\begin{aligned}p_{\varphi }=-ac\\p_{\theta }=0\\p_{t}={\frac {ac^{2}}{b}}\end{aligned}}}

Производные по собственному времени даются как

drd τ = ∂ H ∂ pr = - (1 - rsr) prd φ d τ = ∂ H ∂ p φ = - p φ r 2 = acr 2 dtd τ = ∂ H ∂ pt = ptc 2 (1 - rsr) = ab (1 - rsr) {\ displaystyle {\ begin {align} {\ frac {dr} {d \ tau}} = {\ frac {\ partial H} {\ partial p_ {r}}} = - \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) p_ {r} \\ {\ frac {d \ varphi} {d \ tau}} = {\ frac {\ partial H} {\ частичный p _ {\ varphi}}} = {\ frac {-p _ {\ varphi}} {r ^ {2}}} = {\ frac {ac} {r ^ {2}}} \\ {\ frac {dt } {d \ tau}} = {\ frac {\ partial H} {\ partial p_ {t}}} = {\ frac {p_ {t}} {c ^ {2} \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right)}} = {\ frac {a} {b \ left (1 - {\ frac {r _ {\ rm {s}}} {r}}) \ right)}} \ end {align}}}{\displaystyle {\begin{aligned}{\frac {dr}{d\tau }}={\frac {\partial H}{\partial p_{r}}}=-\left(1-{\frac {r_{\rm {s}}}{r}}\right)p_{r}\\{\frac {d\varphi }{d\tau }}={\frac {\partial H}{\partial p_{\varphi }}}={\frac {-p_{\varphi }}{r^{2}}}={\frac {ac}{r^{2}}}\\{\frac {dt}{d\tau }}={\frac {\partial H}{\partial p_{t}}}={\frac {p_{t}}{c^{2}\left(1-{\frac {r_{\rm {s}}}{r}}\right)}}={\frac {a}{b\left(1-{\frac {r_{\rm {s}}}{r}}\right)}}\end{aligned}}}

Дивидин g первое уравнение по второму дает уравнение орбиты

drd φ = - r 2 ac (1 - rsr) pr {\ displaystyle {\ frac {dr} {d \ varphi}} = - {\ frac {r ^ {2}} {ac}} \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) p_ {r}}{\displaystyle {\frac {dr}{d\varphi }}=-{\frac {r^{2}}{ac}}\left(1-{\frac {r_{\rm {s}}}{r}}\right)p_{r}}

Радиальный импульс p r может быть выражено через r, используя постоянство гамильтониана H = c 2 2 {\ textstyle H = {\ frac {c ^ {2}} {2}}}{\textstyle H={\frac {c^{2}}{2}}}; это дает фундаментальное уравнение орбиты

(drd φ) 2 = r 4 b 2 - (1 - rsr) (r 4 a 2 + r 2) {\ displaystyle \ left ({\ frac {dr} {d \ varphi }} \ right) ^ {2} = {\ frac {r ^ {4}} {b ^ {2}}} - \ left (1 - {\ frac {r _ {\ rm {s}}} {r} } \ right) \ left ({\ frac {r ^ {4}} {a ^ {2}}} + r ^ {2} \ right)}{\displaystyle \left({\frac {dr}{d\varphi }}\right)^{2}={\frac {r^{4}}{b^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left({\frac {r^{4}}{a^{2}}}+r^{2}\right)}

Подход Гамильтона – Якоби

Изгиб волн в гравитационное поле. Из-за силы тяжести время внизу течет медленнее, чем вверху, в результате чего волновые фронты (показанные черным) постепенно изгибаются вниз. Зеленая стрелка показывает направление кажущегося «гравитационного притяжения».

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

Используя общую ковариацию, уравнение Гамильтона – Якоби для отдельной частицы единичной массы может быть выражено в произвольных координатах как

g μ ν ∂ S ∂ x μ ∂ S ∂ x ν = с 2. {\ displaystyle g ^ {\ mu \ nu} {\ frac {\ partial S} {\ partial x ^ {\ mu}}} {\ frac {\ partial S} {\ partial x ^ {\ nu}}} = c ^ {2}.}g^{{\mu \nu }}{\frac {\partial S}{\partial x^{{\mu }}}}{\frac {\partial S}{\partial x^{{\nu }}}}=c^{{2}}.

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

1 c 2 (1 - rsr) (∂ S ∂ t) 2 - (1 - rsr) (∂ S ∂ r) 2 - 1 r 2 (∂ S ∂ φ) 2 знак равно c 2 {\ displaystyle {\ frac {1} {c ^ {2} \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) }} \ left ({\ frac {\ partial S} {\ partial t}} \ right) ^ {2} - \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ справа) \ слева ({\ frac {\ partial S} {\ partial r}} \ right) ^ {2} - {\ frac {1} {r ^ {2}}} \ left ({\ frac {\ partial S} {\ partial \ varphi}} \ right) ^ {2} = c ^ {2}}{\displaystyle {\frac {1}{c^{2}\left(1-{\frac {r_{\rm {s}}}{r}}\right)}}\left({\frac {\partial S}{\partial t}}\right)^{2}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left({\frac {\partial S}{\partial r}}\right)^{2}-{\frac {1}{r^{2}}}\left({\frac {\partial S}{\partial \varphi }}\right)^{2}=c^{2}}

где мы снова ориентируем сферическую систему координат относительно плоскости орбиты. Время t и азимутальный угол φ являются циклическими координатами, так что решение для главной функции Гамильтона S можно записать в виде

S = - ptt + p φ + S r (r) {\ displaystyle S = -p_ {t} t + p _ {\ varphi} \ varphi + S_ {r} (r) \,}S=-p_{{t}}t+p_{{\varphi }}\varphi +S_{{r}}(r)\,

где p t и p φ - постоянные обобщенные импульсы. Уравнение Гамильтона – Якоби дает интегральное решение для радиальной части S r (r)

S r (r) = ∫ rdr 1 - rsrpt 2 c 2 - (1 - rsr) (c 2 + p φ 2 r 2). {\ displaystyle S_ {r} (r) = \ int ^ {r} {\ frac {dr} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} {\ sqrt {{ \ frac {p_ {t} ^ {2}} {c ^ {2}}} - \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left (c ^ {2} + {\ frac {p _ {\ varphi} ^ {2}} {r ^ {2}}} \ right)}}.}{\displaystyle S_{r}(r)=\int ^{r}{\frac {dr}{1-{\frac {r_{\rm {s}}}{r}}}}{\sqrt {{\frac {p_{t}^{2}}{c^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left(c^{2}+{\frac {p_{\varphi }^{2}}{r^{2}}}\right)}}.}

Взяв производную главной функции Гамильтона S по сохраняющейся импульс p φ дает

∂ S ∂ p φ = φ + ∂ S r ∂ p φ = константа {\ displaystyle {\ frac {\ partial S} {\ partial p _ {\ varphi}}} = \ varphi + {\ frac {\ partial S_ {r}} {\ partial p _ {\ varphi}}} = \ mathrm {constant}}{\frac {\partial S}{\partial p_{{\varphi }}}}=\varphi +{\frac {\partial S_{{r}}}{\partial p_{{\varphi }}}}={\mathrm {constant}}

что равняется

φ - ∫ rp φ drr 2 pt 2 c 2 - (1 - rsr) (с 2 + п φ 2 р 2) = константа {\ displaystyle \ varphi - \ int ^ {r} {\ frac {p _ {\ varphi} dr} {r ^ {2} {\ sqrt {{\ frac {p_ {t} ^ {2}} {c ^ {2}}} - \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left (c ^ {2} + {\ frac {p _ {\ varphi} ^ {2}} {r ^ {2}}} \ right)}}}} = \ mathrm {constant}}{\displaystyle \varphi -\int ^{r}{\frac {p_{\varphi }dr}{r^{2}{\sqrt {{\frac {p_{t}^{2}}{c^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left(c^{2}+{\frac {p_{\varphi }^{2}}{r^{2}}}\right)}}}}=\mathrm {constant} }

Взяв бесконечно малую изменение φ и r дает фундаментальное уравнение орбиты

(drd φ) 2 = r 4 b 2 - (1 - rsr) (r 4 a 2 + r 2). {\ displaystyle \ left ({\ frac {dr} {d \ varphi}} \ right) ^ {2} = {\ frac {r ^ {4}} {b ^ {2}}} - \ left (1- {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left ({\ frac {r ^ {4}} {a ^ {2}}} + r ^ {2} \ right).}{\displaystyle \left({\frac {dr}{d\varphi }}\right)^{2}={\frac {r^{4}}{b^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left({\frac {r^{4}}{a^{2}}}+r^{2}\right).}

где сохраняющиеся масштабы длины a и b определяются сохраняющимися импульсами уравнениями

∂ S ∂ φ = p φ = - ac ∂ S ∂ t = pt = ac 2 b {\ displaystyle { \ begin {align} {\ frac {\ partial S} {\ partial \ varphi}} = p _ {\ varphi} = - ac \\ {\ frac {\ partial S} {\ partial t}} = p_ {t } = {\ frac {ac ^ {2}} {b}} \ end {align}}}{\displaystyle {\begin{aligned}{\frac {\partial S}{\partial \varphi }}=p_{\varphi }=-ac\\{\frac {\partial S}{\partial t}}=p_{t}={\frac {ac^{2}}{b}}\end{aligned}}}

Принцип Гамильтона

Интеграл действия для частицы, на которую влияет только гравитация

S = ∫ - mc 2 d τ = - mc ∫ cd τ dqdq = - mc ∫ - g μ ν dx μ dqdx ν dqdq {\ displaystyle S = \ int {-mc ^ {2} d \ tau } = - mc \ int {c {\ frac {d \ tau} {dq}} dq} = - mc \ int {{\ sqrt {-g _ {\ mu \ nu} {\ frac {dx ^ {\ mu} } {dq}} {\ frac {dx ^ {\ nu}} {dq}}}} dq}}S=\int {-mc^{2}d\tau }=-mc\int {c{\frac {d\tau }{dq}}dq}=-mc\int {{\sqrt {-g_{{\mu \nu }}{\frac {dx^{{\mu }}}{dq}}{\frac {dx^{{\nu }}}{dq}}}}dq}

где τ {\ textstyle \ tau}{\textstyle \tau }- это собственное время и q {\ textstyle q}{\textstyle q}- любая плавная параметризация мира частицы lin е. Если применить к этому вариационное исчисление, мы снова получим уравнения для геодезической. Чтобы упростить вычисления, сначала берется изменение квадрата подынтегрального выражения. Для метрики и координат этого случая и предполагая, что частица движется в экваториальной плоскости θ = π 2 {\ textstyle \ theta = {\ frac {\ pi} {2}}}{\textstyle \theta ={\frac {\pi }{2}}}, этот квадрат равен

(cd τ dq) 2 = - g μ ν dx μ dqdx ν dq = (1 - rsr) c 2 (dtdq) 2 - 1 1 - rsr (drdq) 2 - r 2 (d φ dq) 2. {\ displaystyle \ left (c {\ frac {d \ tau} {dq}} \ right) ^ {2} = - g _ {\ mu \ nu} {\ frac {dx ^ {\ mu}} {dq}} {\ frac {dx ^ {\ nu}} {dq}} = \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) c ^ {2} \ left ({ \ frac {dt} {dq}} \ right) ^ {2} - {\ frac {1} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} \ left ({\ frac {dr} {dq}} \ right) ^ {2} -r ^ {2} \ left ({\ frac {d \ varphi} {dq}} \ right) ^ {2} \,.}{\displaystyle \left(c{\frac {d\tau }{dq}}\right)^{2}=-g_{\mu \nu }{\frac {dx^{\mu }}{dq}}{\frac {dx^{\nu }}{dq}}=\left(1-{\frac {r_{\rm {s}}}{r}}\right)c^{2}\left({\frac {dt}{dq}}\right)^{2}-{\frac {1}{1-{\frac {r_{\rm {s}}}{r}}}}\left({\frac {dr}{dq}}\right)^{2}-r^{2}\left({\frac {d\varphi }{dq}}\right)^{2}\,.}

Вариация этого значения дает

δ (cd τ dq) 2 = 2 c 2 d τ dq δ d τ dq = δ [(1 - rsr) c 2 (dtdq) 2 - 1 1 - rsr (drdq) 2 - r 2 (d φ dq) 2]. {\ displaystyle \ delta \ left (c {\ frac {d \ tau} {dq}} \ right) ^ {2} = 2c ^ {2} {\ frac {d \ tau} {dq}} \ delta {\ frac {d \ tau} {dq}} = \ delta \ left [\ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) c ^ {2} \ left ({ \ frac {dt} {dq}} \ right) ^ {2} - {\ frac {1} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} \ left ({\ frac {dr} {dq}} \ right) ^ {2} -r ^ {2} \ left ({\ frac {d \ varphi} {dq}} \ right) ^ {2} \ right] \,.}{\displaystyle \delta \left(c{\frac {d\tau }{dq}}\right)^{2}=2c^{2}{\frac {d\tau }{dq}}\delta {\frac {d\tau }{dq}}=\delta \left[\left(1-{\frac {r_{\rm {s}}}{r}}\right)c^{2}\left({\frac {dt}{dq}}\right)^{2}-{\frac {1}{1-{\frac {r_{\rm {s}}}{r}}}}\left({\frac {dr}{dq}}\right)^{2}-r^{2}\left({\frac {d\varphi }{dq}}\right)^{2}\right]\,.}

Движение по долготе

Варьируйте по долготе φ {\ textstyle \ varphi}{\textstyle \varphi }только для получения

2 c 2 d τ dq δ d τ dq = - 2 r 2 d φ dq δ d φ dq. {\ displaystyle 2c ^ {2} {\ frac {d \ tau} {dq}} \ delta {\ frac {d \ tau} {dq}} = - 2r ^ {2} {\ frac {d \ varphi} { dq}} \ delta {\ frac {d \ varphi} {dq}} \,.}2c^{{2}}{\frac {d\tau }{dq}}\delta {\frac {d\tau }{dq}}=-2r^{{2}}{\frac {d\varphi }{dq}}\delta {\frac {d\varphi }{dq}}\,.

Разделить на 2 кд τ dq {\ textstyle 2c {\ frac {d \ tau} {dq}}}{\textstyle 2c{\frac {d\tau }{dq}}}для получения вариации самого подынтегрального выражения

c δ d τ dq = - r 2 cd φ d τ δ d φ dq = - r 2 cd φ d τ d δ φ dq. {\ displaystyle c \, \ delta {\ frac {d \ tau} {dq}} = - {\ frac {r ^ {2}} {c}} {\ frac {d \ varphi} {d \ tau}} \ delta {\ frac {d \ varphi} {dq}} = - {\ frac {r ^ {2}} {c}} {\ frac {d \ varphi} {d \ tau}} {\ frac {d \ delta \ varphi} {dq}} \,.}c\,\delta {\frac {d\tau }{dq}}=-{\frac {r^{{2}}}{c}}{\frac {d\varphi }{d\tau }}\delta {\frac {d\varphi }{dq}}=-{\frac {r^{{2}}}{c}}{\frac {d\varphi }{d\tau }}{\frac {d\delta \varphi }{dq}}\,.

Таким образом,

0 = δ ∫ cd τ dqdq = c δ d τ dqdq = ∫ - r 2 cd φ d τ d δ φ dqdq. {\ displaystyle 0 = \ delta \ int {c {\ frac {d \ tau} {dq}} dq} = \ int {c \ delta {\ frac {d \ tau} {dq}} dq} = \ int { - {\ frac {r ^ {2}} {c}} {\ frac {d \ varphi} {d \ tau}} {\ frac {d \ delta \ varphi} {dq}} dq} \,.}0=\delta \int {c{\frac {d\tau }{dq}}dq}=\int {c\delta {\frac {d\tau }{dq}}dq}=\int {-{\frac {r^{{2}}}{c}}{\frac {d\varphi }{d\tau }}{\frac {d\delta \varphi }{dq}}dq}\,.

Интегрированиепо частям дает

0 = - r 2 cd φ d τ δ φ - ddq [- r 2 cd φ d τ] δ φ dq. {\ displaystyle 0 = - {\ frac {r ^ {2}} {c}} {\ frac {d \ varphi} {d \ tau}} \ delta \ varphi - \ int {{\ frac {d} {dq }} \ left [- {\ frac {r ^ {2}} {c}} {\ frac {d \ varphi} {d \ tau}} \ right] \ delta \ varphi dq} \,.}0=-{\frac {r^{{2}}}{c}}{\frac {d\varphi }{d\tau }}\delta \varphi -\int {{\frac {d}{dq}}\left[-{\frac {r^{{2}}}{c}}{\frac {d\varphi }{d\tau }}\right]\delta \varphi dq}\,.

Предполагается, что изменение долготы в конечных точках равно нулю, поэтому первый член исчезает. Интеграл может быть ненулевым путем неправильного выбора δ φ {\ textstyle \ delta \ varphi}{\textstyle \delta \varphi }, если другой множитель внутри не равен нулю всюду. Таким образом, уравнение движения:

d d q [- r 2 c d φ d τ] = 0. {\ displaystyle {\ frac {d} {dq}} \ left [- {\ frac {r ^ {2}} {c}} {\ frac {d \ varphi} {d \ tau}} \ right] = 0 \,.}{\frac {d}{dq}}\left[-{\frac {r^{{2}}}{c}}{\frac {d\varphi }{d\tau }}\right]=0\,.

Движение во времени

Изменяйте во времени t {\ textstyle t}{\textstyle t}только для получения

2 c 2 d τ dq δ d τ dq = 2 (1 - rsr) c 2 dtdq δ dtdq. {\ displaystyle 2c ^ {2} {\ frac {d \ tau} {dq}} \ delta {\ frac {d \ tau} {dq}} = 2 \ left (1 - {\ frac {r _ {\ rm { s}}} {r}} \ right) c ^ {2} {\ frac {dt} {dq}} \ delta {\ frac {dt} {dq}} \,.}{\displaystyle 2c^{2}{\frac {d\tau }{dq}}\delta {\frac {d\tau }{dq}}=2\left(1-{\frac {r_{\rm {s}}}{r}}\right)c^{2}{\frac {dt}{dq}}\delta {\frac {dt}{dq}}\,.}

Разделить на 2 cd τ dq {\ textstyle 2c {\ frac {d \ tau} {dq}}}{\textstyle 2c{\frac {d\tau }{dq}}}, чтобы получить вариацию самого подынтегрального выражения

c δ d τ dq = c (1 - rsr) dtd τ δ dtdq = c (1 - rsr) dtd τ d δ tdq. {\ displaystyle c \ delta {\ frac {d \ tau} {dq}} = c \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ frac {dt } {d \ tau}} \ delta {\ frac {dt} {dq}} = c \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ frac { dt} {d \ tau}} {\ frac {d \ delta t} {dq}} \,.}{\displaystyle c\delta {\frac {d\tau }{dq}}=c\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}\delta {\frac {dt}{dq}}=c\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}{\frac {d\delta t}{dq}}\,.}

Таким образом,

0 = δ ∫ cd τ dqdq = ∫ c (1 - rsr) dtd τ d δ tdqdq. {\ displaystyle 0 = \ delta \ int {c {\ frac {d \ tau} {dq}} dq} = \ int {c \ left (1 - {\ frac {r _ {\ rm {s}}} {r }} \ right) {\ frac {dt} {d \ tau}} {\ frac {d \ delta t} {dq}} dq} \,.}{\displaystyle 0=\delta \int {c{\frac {d\tau }{dq}}dq}=\int {c\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}{\frac {d\delta t}{dq}}dq}\,.}

Интегрирование по частям дает

0 = c ( 1 - rsr) dtd τ δ t - ∫ ddq [c (1 - rsr) dtd τ] δ tdq. {\ displaystyle 0 = c \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ frac {dt} {d \ tau}} \ delta t- \ int { {\ frac {d} {dq}} \ left [c \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ frac {dt} {d \ tau} } \ right] \ delta tdq} \,.}{\displaystyle 0=c\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}\delta t-\int {{\frac {d}{dq}}\left[c\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}\right]\delta tdq}\,.}

Итак, уравнение движения:

ddq [c (1 - rsr) dtd τ] = 0. {\ displaystyle {\ frac {d} {dq}} \ left [c \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ frac {dt} {d \ tau}} \ right] = 0 \,.}{\displaystyle {\frac {d}{dq}}\left[c\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}\right]=0\,.}

Сохраняющиеся импульсы

Проинтегрируйте эти уравнения движения, чтобы определить константы интегрирования, получив

L = p ϕ = mr 2 d φ d τ, E = - pt = mc 2 (1 - rsr) dtd τ. {\ Displaystyle {\ begin {align} L = p _ {\ phi} = mr ^ {2} {\ frac {d \ varphi} {d \ tau}} \,, \\ E = -p_ {t} = mc ^ {2} \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ frac {dt} {d \ tau}} \,. \ end {выровнено }}}{\displaystyle {\begin{aligned}L=p_{\phi }=mr^{2}{\frac {d\varphi }{d\tau }}\,,\\E=-p_{t}=mc^{2}\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {dt}{d\tau }}\,.\end{aligned}}}

Эти два уравнения для констант движения L {\ textstyle L}{\textstyle L}(угловой момент) и E {\ textstyle E}{\textstyle E}( энергия) можно объединить, чтобы сформировать одно уравнение, которое справедливо даже для фотонов и других безмассовых частиц, для которых собственное время вдоль геодезической равно нулю.

d φ d t = (1 - r s r) L c 2 E r 2. {\ displaystyle {\ frac {d \ varphi} {dt}} = \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) {\ frac {L \, c ^ {2}} {E \, r ^ {2}}} \,.}{\displaystyle {\frac {d\varphi }{dt}}=\left(1-{\frac {r_{\rm {s}}}{r}}\right){\frac {L\,c^{2}}{E\,r^{2}}}\,.}

Радиальное движение

Подставив

d φ d τ = L mr 2 {\ displaystyle {\ frac {d \ varphi} {d \ tau}} = {\ frac {L} {m \, r ^ {2}}} \,}{\frac {d\varphi }{d\tau }}={\frac {L}{m\,r^{2}}}\,

и

dtd τ = E (1 - rsr) mc 2 {\ displaystyle {\ frac {dt} {d \ tau}} = {\ frac {E} {\ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) m \, c ^ {2}}} \,}{\displaystyle {\frac {dt}{d\tau }}={\frac {E}{\left(1-{\frac {r_{\rm {s}}}{r}}\right)m\,c^{2}}}\,}

в метрическое уравнение (и используя θ = π 2 {\ textstyle \ theta = {\ frac {\ pi} {2}}}{\textstyle \theta ={\frac {\pi }{2}}}) дает

c 2 = 1 1 - rsr E 2 m 2 c 2 - 1 1 - rsr (drd τ) 2 - 1 r 2 L 2 m 2, {\ displaystyle c ^ {2} = {\ frac { 1} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} \, {\ frac {E ^ {2}} {m ^ {2} c ^ {2}}} - {\ frac {1} {1 - {\ frac {r _ {\ rm {s}}} {r}}}} \ left ({\ frac {dr} {d \ tau}} \ right) ^ {2} - {\ frac {1} {r ^ {2}}} \, {\ frac {L ^ {2}} {m ^ {2}}} \,,}{\displaystyle c^{2}={\frac {1}{1-{\frac {r_{\rm {s}}}{r}}}}\,{\frac {E^{2}}{m^{2}c^{2}}}-{\frac {1}{1-{\frac {r_{\rm {s}}}{r}}}}\left({\frac {dr}{d\tau }}\right)^{2}-{\frac {1}{r^{2}}}\,{\frac {L^{2}}{m^{2}}}\,,}

из которого можно получить

(ДРД τ) 2 знак равно Е 2 м 2 с 2 - (1 - RSR) (с 2 + L 2 м 2 р 2), {\ displaystyle {\ left ({\ frac {dr} {d \ tau}} \ справа)} ^ {2} = {\ frac {E ^ {2}} {m ^ {2} c ^ {2}}} - \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left (c ^ {2} + {\ frac {L ^ {2}} {m ^ {2} r ^ {2}}} \ right) \,,}{\displaystyle {\left({\frac {dr}{d\tau }}\right)}^{2}={\frac {E^{2}}{m^{2}c^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left(c^{2}+{\frac {L^{2}}{m^{2}r^{2}}}\right)\,,}

, которое является уравнением движения для r {\ textstyle r}{\textstyle r}. Зависимость r {\ textstyle r}{\textstyle r}от φ {\ textstyle \ varphi}{\textstyle \varphi }можно найти, разделив это на

(d φ d τ) 2 = L 2 м 2 р 4 {\ displaystyle {\ left ({\ frac {d \ varphi} {d \ tau}} \ right)} ^ {2} = {\ frac {L ^ {2}} { m ^ {2} r ^ {4}}}}{\left({\frac {d\varphi }{d\tau }}\right)}^{2}={\frac {L^{2}}{m^{2}r^{4}}}

, чтобы получить

(drd φ) 2 = E 2 r 4 L 2 c 2 - (1 - rsr) (m 2 c 2 r 4 L 2 + р 2) {\ displaystyle {\ left ({\ frac {dr} {d \ varphi}} \ right)} ^ {2} = {\ frac {E ^ {2} r ^ {4}} {L ^ {2} c ^ {2}}} - \ left (1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left ({\ frac {m ^ {2} c ^ {2} r ^ {4}} {L ^ {2}}} + r ^ {2} \ right) \,}{\displaystyle {\left({\frac {dr}{d\varphi }}\right)}^{2}={\frac {E^{2}r^{4}}{L^{2}c^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left({\frac {m^{2}c^{2}r^{4}}{L^{2}}}+r^{2}\right)\,}

что верно даже для частиц без массы. Если масштабы длины определены как

a = L mc {\ displaystyle a = {\ frac {L} {m \, c}}}a={\frac {L}{m\,c}}

и

b = L c E, {\ displaystyle b = {\ frac {L \, c} {E}} \,,}b={\frac {L\,c}{E}}\,,

, тогда зависимость r {\ textstyle r}{\textstyle r}от φ {\ textstyle \ varphi}{\textstyle \varphi }упрощается до

(drd φ) 2 = r 4 b 2 - (1 - rsr) (r 4 a 2 + r 2). {\ displaystyle {\ left ({\ frac {dr} {d \ varphi}} \ right)} ^ {2} = {\ frac {r ^ {4}} {b ^ {2}}} - \ left ( 1 - {\ frac {r _ {\ rm {s}}} {r}} \ right) \ left ({\ frac {r ^ {4}} {a ^ {2}}} + r ^ {2} \ справа) \,.}{\displaystyle {\left({\frac {dr}{d\varphi }}\right)}^{2}={\frac {r^{4}}{b^{2}}}-\left(1-{\frac {r_{\rm {s}}}{r}}\right)\left({\frac {r^{4}}{a^{2}}}+r^{2}\right)\,.}
См. также
Примечания
  1. ^Это замена r на u также обычна в классических задачах с центральной силой, поскольку она также упрощает решение этих уравнений. Для получения дополнительной информации см. Статью о классической задаче центральной силы.
  2. ^В математической литературе K известен как полный эллиптический интеграл первого рода ; для получения дополнительной информации см. статью о эллиптических интегралах.
Ссылки
  1. ^Ландау и Лифшиц, стр. 299–301.
  2. ^Whittaker 1937.
  3. ^Ландау и Лифшиц (1975), стр. 306–309.
  4. ^Гиббонс и Виска, «Применение эллиптических функций Вейерштрасса к нулевой геодезии Шварцшильда», https://arxiv.org/abs/1110.6508
  5. ^Synge, стр. 294–295.
  6. ^arXiv.org: gr-qc / 9907034v1.
  7. ^Шон Кэрролл : Конспект лекций по общей теории относительности, глава 7, уравнение. 7.33
  8. ^Вайнберг, стр. 122.
  9. ^Эйнштейн, стр. 95–96.
  10. ^Вайнберг, стр. 185–188; Wald, стр. 138–139.
  11. ^Synge, стр. 290–292; Адлер, Базин и Шиффер, стр. 179–182; Whittaker, стр. 390–393; Паули, стр. 167.
  12. ^Ланцош, стр. 331–338.
  13. ^Ландау, Лифшиц, стр. 306–307; Миснер, Торн и Уиллер, стр. 636–679.
Библиография
External links
  • Excerpt from Reflections on Relativity by Kevin Brown.
Последняя правка сделана 2021-06-07 05:41:45
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте