Задача двух тел в общей теории относительности (или релятивистская задача двух тел ) — это определение движения и гравитационного поля двух тел, как описано уравнениями поля общей теории относительности . Решение задачи Кеплера необходимо для расчета искривления света гравитацией и движения планеты , вращающейся вокруг своего солнца. Решения также используются для описания движения двойных звезд друг вокруг друга и оценки их постепенной потери энергии посредством гравитационного излучения .
Общая теория относительности описывает гравитационное поле искривленным пространством-временем; уравнения поля, управляющие этой кривизной, нелинейны и поэтому их трудно решить в замкнутой форме . Точных решений задачи Кеплера не найдено, но есть приближенное решение: решение Шварцшильда . Это решение применимо, когда масса M одного тела значительно больше массы m другого. Если это так, большую массу можно считать неподвижной и единственной составляющей гравитационного поля. Это хорошее приближение для фотона, проходящего мимо звезды, и для планеты, вращающейся вокруг своего солнца. Движение более легкого тела (называемого «частицей» ниже) затем можно определить из решения Шварцшильда; движение является геодезическим («кратчайшим путем между двумя точками») в искривленном пространстве-времени. Такие геодезические решения объясняют аномальную прецессию планеты Меркурий , которая является ключевым доказательством, подтверждающим теорию общей теории относительности. Они также описывают искривление света в гравитационном поле — еще одно предсказание, которое широко используется в качестве доказательства общей теории относительности.
Если обе массы считаются вносящими вклад в гравитационное поле, как в двойных звездах, то задача Кеплера может быть решена только приблизительно. Самым ранним разработанным методом приближения было постньютоновское расширение , итерационный метод, в котором начальное решение постепенно корректируется. Совсем недавно стало возможным решать уравнение поля Эйнштейна с помощью компьютера [1] [2] [3] вместо математических формул. Поскольку два тела вращаются вокруг друг друга, они будут испускать гравитационное излучение ; это заставляет их постепенно терять энергию и угловой момент, как показано на примере двойного пульсара PSR B1913+16 .
Для двойных черных дыр численное решение задачи двух тел было достигнуто после четырех десятилетий исследований в 2005 году, когда три группы разработали прорывные методы. [1] [2] [3]
Задача Кеплера получила свое название от Иоганна Кеплера , который работал помощником датского астронома Тихо Браге . Браге провел необычайно точные измерения движения планет Солнечной системы. На основе этих измерений Кеплер смог сформулировать законы Кеплера , первое современное описание движения планет:
Кеплер опубликовал первые два закона в 1609 году, а третий закон — в 1619 году. Они вытеснили более ранние модели Солнечной системы, такие как модели Птолемея и Коперника . Законы Кеплера применимы только в ограниченном случае задачи двух тел. Вольтер и Эмилия дю Шатле были первыми, кто назвал их «законами Кеплера».
Почти столетие спустя Исаак Ньютон сформулировал свои три закона движения . В частности, второй закон Ньютона гласит, что сила F, приложенная к массе m, создает ускорение a, заданное уравнением F = ma . Затем Ньютон задал вопрос: какой должна быть сила, которая создает эллиптические орбиты, наблюдаемые Кеплером? Его ответ пришел из его закона всемирного тяготения , который гласит, что сила между массой M и другой массой m определяется формулой , где r — расстояние между массами, а G — гравитационная постоянная . Учитывая этот закон силы и свои уравнения движения, Ньютон смог показать, что две точечные массы, притягивающиеся друг к другу, будут следовать каждая по идеально эллиптическим орбитам. Отношение размеров этих эллипсов равно m / M , причем большая масса движется по меньшему эллипсу. Если M намного больше m , то большая масса будет казаться неподвижной в фокусе эллиптической орбиты более легкой массы m . Эту модель можно приблизительно применить к Солнечной системе. Поскольку масса Солнца намного больше массы планет, сила, действующая на каждую планету, обусловлена в основном Солнцем; гравитацией планет друг по отношению к другу в первом приближении можно пренебречь.
Если потенциальная энергия между двумя телами не является точно потенциалом 1/ r закона тяготения Ньютона, а отличается лишь немного, то эллипс орбиты постепенно вращается (среди других возможных эффектов). Эта апсидальная прецессия наблюдается для всех планет, вращающихся вокруг Солнца, в первую очередь из-за сплющенности Солнца (оно не идеально сферическое) и притяжения других планет друг к другу. Апсиды — это две точки ближайшего и самого дальнего расстояния орбиты (перицентр и апоцентр соответственно); апсидальная прецессия соответствует вращению линии, соединяющей апсиды. Она также соответствует вращению вектора Лапласа–Рунге–Ленца , который указывает вдоль линии апсид.
Закон тяготения Ньютона вскоре был принят, поскольку он давал очень точные предсказания движения всех планет. [ сомнительно – обсудить ] Эти вычисления были первоначально выполнены Пьером-Симоном Лапласом в конце 18 века и уточнены Феликсом Тиссераном в конце 19 века. Наоборот, если бы закон тяготения Ньютона не предсказывал апсидальные прецессии планет точно, его пришлось бы отвергнуть как теорию гравитации. Такая аномальная прецессия наблюдалась во второй половине 19 века.
В 1859 году Урбен Леверье обнаружил, что орбитальная прецессия планеты Меркурий была не совсем такой, какой она должна быть; эллипс ее орбиты вращался (прецессировал) немного быстрее, чем предсказывала традиционная теория ньютоновской гравитации, даже после того, как были учтены все эффекты других планет. [4] Эффект невелик (примерно 43 угловые секунды вращения за столетие), но значительно превышает погрешность измерения (примерно 0,1 угловой секунды за столетие). Леверье сразу понял важность своего открытия и бросил вызов астрономам и физикам, чтобы они объяснили его. Было предложено несколько классических объяснений, таких как межпланетная пыль, ненаблюдаемая сплющенность Солнца , необнаруженный спутник Меркурия или новая планета под названием Вулкан . [5] После того, как эти объяснения были отвергнуты, некоторые физики пришли к более радикальной гипотезе о том, что закон тяготения Ньютона , обратный квадрату, был неверен. Например, некоторые физики предложили степенной закон с показателем , немного отличающимся от 2. [6]
Другие утверждали, что закон Ньютона должен быть дополнен потенциалом, зависящим от скорости. Однако это подразумевало конфликт с ньютоновской небесной динамикой. В своем трактате по небесной механике Лаплас показал, что если гравитационное воздействие не действует мгновенно, то движения самих планет не будут точно сохранять импульс (и, следовательно, часть импульса должна быть приписана посреднику гравитационного взаимодействия, аналогично приписыванию импульса посреднику электромагнитного взаимодействия.) Как видно с ньютоновской точки зрения, если гравитационное воздействие распространяется с конечной скоростью, то во все моменты времени планета притягивается к точке, где Солнце находилось некоторое время назад, а не к мгновенному положению Солнца. Исходя из классических основ, Лаплас показал, что если бы гравитация распространялась со скоростью порядка скорости света, то Солнечная система была бы нестабильна и не существовала бы в течение длительного времени. Наблюдение за тем, что Солнечная система достаточно стара, позволило ему установить нижний предел скорости гравитации , которая оказалась на много порядков выше скорости света. [5] [7]
Оценка Лапласа для скорости гравитации неверна в теории поля, которая уважает принцип относительности. Поскольку электрические и магнитные поля объединяются, притяжение точечного заряда, движущегося с постоянной скоростью, направлено к экстраполированному мгновенному положению, а не к кажущемуся положению, которое он, как кажется, занимает при взгляде. [примечание 1] Чтобы избежать этих проблем, между 1870 и 1900 годами многие ученые использовали электродинамические законы Вильгельма Эдуарда Вебера , Карла Фридриха Гаусса , Бернхарда Римана для получения устойчивых орбит и объяснения смещения перигелия орбиты Меркурия. В 1890 году Морису Леви удалось сделать это, объединив законы Вебера и Римана, согласно которым скорость гравитации равна скорости света в его теории. А в другой попытке Паулю Герберу (1898) даже удалось вывести правильную формулу для смещения перигелия (которая была идентична той формуле, которую позже использовал Эйнштейн). Однако, поскольку основные законы Вебера и других были неверны (например, закон Вебера был заменен теорией Максвелла), эти гипотезы были отвергнуты. [8] Другая попытка Хендрика Лоренца (1900), который уже использовал теорию Максвелла, дала смещение перигелия, которое было слишком малым. [5]
Около 1904–1905 годов работы Хендрика Лоренца , Анри Пуанкаре и, наконец, специальная теория относительности Альберта Эйнштейна исключили возможность распространения любых эффектов быстрее скорости света . Из этого следовало, что закон тяготения Ньютона должен был быть заменен другим законом, совместимым с принципом относительности, при этом все еще получая ньютоновский предел для обстоятельств, когда релятивистские эффекты пренебрежимо малы. Такие попытки были предприняты Анри Пуанкаре (1905), Германом Минковским (1907) и Арнольдом Зоммерфельдом (1910). [9] В 1907 году Эйнштейн пришел к выводу, что для достижения этого необходим преемник специальной теории относительности. С 1907 по 1915 год Эйнштейн работал над новой теорией, используя свой принцип эквивалентности в качестве ключевой концепции, направляющей его путь. Согласно этому принципу, однородное гравитационное поле действует одинаково на все, что находится внутри него, и, следовательно, не может быть обнаружено свободно падающим наблюдателем. Наоборот, все локальные гравитационные эффекты должны воспроизводиться в линейно ускоряющейся системе отсчета, и наоборот. Таким образом, гравитация действует как фиктивная сила, такая как центробежная сила или сила Кориолиса , которые возникают при нахождении в ускоренной системе отсчета; все фиктивные силы пропорциональны инертной массе , как и гравитация. Чтобы осуществить согласование гравитации и специальной теории относительности и включить принцип эквивалентности, нужно было чем-то пожертвовать; этим чем-то было давнее классическое предположение о том, что наше пространство подчиняется законам евклидовой геометрии , например, что теорема Пифагора верна экспериментально. Эйнштейн использовал более общую геометрию, псевдориманову геометрию , чтобы учесть кривизну пространства и времени, которая была необходима для согласования; После восьми лет работы (1907–1915) ему удалось открыть точный способ, которым пространство-время должно быть искривлено, чтобы воспроизвести физические законы, наблюдаемые в Природе, в частности гравитацию. Гравитация отличается от фиктивных сил, центробежной силы и силы Кориолиса, в том смысле, что кривизна пространства-времени рассматривается как физически реальная, тогда как фиктивные силы не рассматриваются как силы. Самые первые решения его уравнений поля объясняли аномальную прецессию Меркурия и предсказывали необычное искривление света, что подтвердилось после публикации его теории. Эти решения объясняются ниже.
В обычной евклидовой геометрии треугольники подчиняются теореме Пифагора , которая гласит, что квадрат расстояния ds 2 между двумя точками в пространстве равен сумме квадратов его перпендикулярных компонент, где dx , dy и dz представляют собой бесконечно малые разности между координатами x , y и z двух точек в декартовой системе координат . Теперь представьте себе мир, в котором это не совсем так; мир, где расстояние вместо этого задается как где F , G и H являются произвольными функциями положения. Нетрудно представить такой мир; мы живем в одном из них. Поверхность Земли искривлена, поэтому невозможно создать идеально точную плоскую карту Земли. Недекартовы системы координат хорошо это иллюстрируют; например, в сферических координатах ( r , θ , φ ) евклидово расстояние можно записать
Другой иллюстрацией может служить мир, в котором линейки, используемые для измерения длины, были ненадежными, линейки, которые меняли свою длину в зависимости от своего положения и даже ориентации. В самом общем случае необходимо учитывать перекрестные члены при вычислении расстояния ds , где девять функций g xx , g xy , ..., g zz составляют метрический тензор , который определяет геометрию пространства в римановой геометрии . В приведенном выше примере со сферическими координатами перекрестных членов нет; единственными ненулевыми компонентами метрического тензора являются g rr = 1, g θθ = r 2 и g φφ = r 2 sin 2 θ.
В своей специальной теории относительности Альберт Эйнштейн показал , что расстояние ds между двумя пространственными точками не является постоянным, а зависит от движения наблюдателя. Однако существует мера разделения между двумя точками в пространстве-времени — называемая «собственным временем» и обозначаемая символом dτ — которая является инвариантной; другими словами, она не зависит от движения наблюдателя. что можно записать в сферических координатах как
Эта формула является естественным расширением теоремы Пифагора и аналогично справедлива только тогда, когда нет кривизны в пространстве-времени. Однако в общей теории относительности пространство и время могут иметь кривизну, поэтому эта формула расстояния должна быть изменена до более общей формы , так же как мы обобщили формулу для измерения расстояния на поверхности Земли. Точная форма метрики g μν зависит от гравитирующей массы, импульса и энергии, как описано уравнениями поля Эйнштейна . Эйнштейн разработал эти уравнения поля, чтобы соответствовать известным на тот момент законам природы; однако они предсказали никогда ранее не наблюдавшиеся явления (такие как искривление света под действием гравитации), которые были подтверждены позже.
Согласно общей теории относительности Эйнштейна, частицы пренебрежимо малой массы движутся по геодезическим линиям в пространстве-времени. В неискривленном пространстве-времени, вдали от источника гравитации, эти геодезические соответствуют прямым линиям; однако они могут отклоняться от прямых линий, когда пространство-время искривлено. Уравнение для геодезических линий имеет вид [10] , где Γ представляет собой символ Кристоффеля , а переменная q параметризует путь частицы через пространство-время , ее так называемую мировую линию . Символ Кристоффеля зависит только от метрического тензора g μν , или, скорее, от того, как он изменяется с положением. Переменная q является постоянным кратным собственного времени τ для времениподобных орбит (по которым движутся массивные частицы) и обычно принимается равной ему. Для светоподобных (или нулевых) орбит (по которым движутся безмассовые частицы, такие как фотон ) собственное время равно нулю и, строго говоря, не может использоваться в качестве переменной q . Тем не менее, светоподобные орбиты можно вывести как ультрарелятивистский предел времениподобных орбит, то есть предел, при котором масса частицы m стремится к нулю, при этом ее полная энергия остается неизменной.
Точным решением уравнений поля Эйнштейна является метрика Шварцшильда , которая соответствует внешнему гравитационному полю неподвижного, незаряженного, невращающегося, сферически симметричного тела массы M. Она характеризуется шкалой длины r s , известной как радиус Шварцшильда , который определяется формулой , где G — гравитационная постоянная . Классическая ньютоновская теория гравитации восстанавливается в пределе, когда отношение r s / r стремится к нулю. В этом пределе метрика возвращается к метрике, определенной специальной теорией относительности .
На практике это отношение почти всегда чрезвычайно мало. Например, радиус Шварцшильда r s Земли составляет примерно 9 мм ( 3 ⁄ 8 дюйма ); на поверхности Земли поправки к ньютоновской гравитации составляют всего одну часть на миллиард. Радиус Шварцшильда Солнца намного больше, примерно 2953 метра, но на его поверхности отношение r s / r составляет примерно 4 части на миллион. Белый карлик намного плотнее, но даже здесь отношение на его поверхности составляет примерно 250 частей на миллион. Отношение становится большим только вблизи сверхплотных объектов, таких как нейтронные звезды (где отношение составляет примерно 50%) и черные дыры .
Орбиты пробной частицы бесконечно малой массы вокруг центральной массы задаются уравнением движения , где — удельный относительный момент импульса , а — приведенная масса . Это можно преобразовать в уравнение для орбиты , где для краткости введены два масштаба длины и . Они являются константами движения и зависят от начальных условий (положения и скорости) пробной частицы. Следовательно, решение уравнения орбиты имеет вид
Уравнение движения для частицы, полученное выше, можно переписать, используя определение радиуса Шварцшильда r s как , что эквивалентно частице, движущейся в одномерном эффективном потенциале Первые два члена являются хорошо известными классическими энергиями, первый из которых является притягивающей ньютоновской гравитационной потенциальной энергией , а второй соответствует отталкивающей «центробежной» потенциальной энергии ; однако третий член является притягивающей энергией, уникальной для общей теории относительности . Как показано ниже и в других местах , эта обратная кубическая энергия заставляет эллиптические орбиты постепенно прецессировать на угол δφ за оборот, где A — большая полуось, а e — эксцентриситет. Здесь δφ — это не изменение координаты φ в координатах ( t , r , θ , φ ), а изменение аргумента перицентра классической замкнутой орбиты.
Третий член является притягивающим и доминирует при малых значениях r , давая критический внутренний радиус r внутренний , при котором частица неумолимо втягивается внутрь до r = 0; этот внутренний радиус является функцией углового момента частицы на единицу массы или, что эквивалентно, масштаба длины , определенного выше.
Эффективный потенциал V можно переписать через длину a = h / c :
Круговые орбиты возможны, когда эффективная сила равна нулю: т. е. когда две силы притяжения — ньютоновская гравитация (первый член) и притяжение, уникальное для общей теории относительности (третий член) — точно уравновешены отталкивающей центробежной силой (второй член). Существует два радиуса, при которых может происходить это уравновешивание, обозначенные здесь как r внутренний и r внешний : которые получаются с помощью квадратичной формулы . Внутренний радиус r внутренний нестабилен, потому что притягивающая третья сила усиливается гораздо быстрее, чем две другие силы, когда r становится малым; если частица слегка проскальзывает внутрь от r внутренний (где все три силы находятся в равновесии), третья сила доминирует над двумя другими и неумолимо тянет частицу внутрь до r = 0. Однако на внешнем радиусе круговые орбиты устойчивы; третий член менее важен, и система ведет себя больше как нерелятивистская задача Кеплера .
Когда a намного больше r s (классический случай), эти формулы становятся приблизительно
Подстановка определений a и r s в r outer дает классическую формулу для частицы массой m, вращающейся вокруг тела массой M .
Следующее уравнение , где ω φ — орбитальная угловая скорость частицы, получается в нерелятивистской механике, если приравнять центробежную силу к ньютоновской гравитационной силе: где — приведенная масса .
В наших обозначениях классическая орбитальная угловая скорость равна
В другом крайнем случае, когда a 2 приближается к 3 r s 2 сверху, два радиуса сходятся к одному значению. Квадратичные решения выше гарантируют, что r external всегда больше 3 r s , тогда как r inner лежит между 3 ⁄ 2 r s и 3 r s . Круговые орбиты, меньшие 3 ⁄ 2 r s , невозможны. Для безмассовых частиц a стремится к бесконечности, что подразумевает, что для фотонов существует круговая орбита при r inner = 3 ⁄ 2 r s . Сфера этого радиуса иногда называется сферой фотона .
Скорость орбитальной прецессии может быть получена с использованием этого радиального эффективного потенциала V. Небольшое радиальное отклонение от круговой орбиты радиуса r external будет колебаться устойчивым образом с угловой частотой, которая равна
Извлекая квадратный корень из обеих сторон и расширяя с помощью биномиальной теоремы, получаем формулу Умножение на период одного оборота T дает прецессию орбиты за один оборот , где мы использовали ω φ T = 2 π и определение масштаба длины a . Подставляя определение радиуса Шварцшильда r s, получаем
Это можно упростить, используя большую полуось эллиптической орбиты A и эксцентриситет e, связанные формулой , дающей угол прецессии
Поскольку замкнутая классическая орбита в общем случае является эллипсом, величина A (1 − e 2 ) представляет собой прямую полуширину l эллипса .
Следовательно, окончательная формула угловой прецессии апсид за единичный полный оборот имеет вид
В решении Шварцшильда предполагается, что большая масса M неподвижна и только она определяет гравитационное поле (т. е. геометрию пространства-времени) и, следовательно, меньшая масса m следует геодезическому пути через это фиксированное пространство-время. Это разумное приближение для фотонов и орбиты Меркурия, который примерно в 6 миллионов раз легче Солнца. Однако оно неадекватно для двойных звезд , в которых массы могут быть схожей величины.
Метрика для случая двух сопоставимых масс не может быть решена в замкнутой форме, и поэтому приходится прибегать к методам приближения, таким как постньютоновское приближение или численные приближения. Попутно упомянем одно особое исключение в меньших измерениях (подробнее см. модель R = T ). В (1+1) измерениях, т. е. пространстве, состоящем из одного пространственного измерения и одного временного измерения, метрика для двух тел одинаковой массы может быть решена аналитически в терминах функции Ламберта W. [11] Однако гравитационная энергия между двумя телами обменивается через дилатоны, а не гравитоны , которым для распространения требуется три пространства .
Постньютоновское расширение — это вычислительный метод, который обеспечивает ряд все более точных решений заданной проблемы. [12] Метод является итеративным; начальное решение для движения частиц используется для расчета гравитационных полей; из этих выведенных полей могут быть рассчитаны новые движения частиц, из которых могут быть вычислены еще более точные оценки полей и т. д. Этот подход называется «постньютоновским», потому что ньютоновское решение для орбит частиц часто используется в качестве начального решения.
Теорию можно разделить на две части: во-первых, находим эффективный потенциал двух тел , который учитывает поправки ОТО к ньютоновскому потенциалу. Во-вторых, следует решить полученные уравнения движения.
Уравнения Эйнштейна также могут быть решены на компьютере с использованием сложных численных методов. [1] [2] [3] При наличии достаточной вычислительной мощности такие решения могут быть точнее постньютоновских решений. Однако такие вычисления сложны, поскольку уравнения обычно должны решаться в четырехмерном пространстве. Тем не менее, начиная с конца 1990-х годов, стало возможным решать сложные задачи, такие как слияние двух черных дыр, что является очень сложной версией задачи Кеплера в общей теории относительности.
Согласно общей теории относительности , если гравитационное излучение отсутствует , два тела, вращающиеся вокруг друг друга, будут испускать гравитационное излучение , в результате чего орбиты постепенно будут терять энергию.
Были рассчитаны формулы, описывающие потерю энергии и углового момента из-за гравитационного излучения от двух тел задачи Кеплера. [13] Скорость потери энергии (усредненная по полной орбите) определяется как [14] , где e — эксцентриситет орбиты , а a — большая полуось эллиптической орбиты. Угловые скобки в левой части уравнения представляют собой усреднение по одной орбите. Аналогично, средняя скорость потери углового момента равна
Скорость уменьшения периода определяется по формуле [13] [15] , где P b — орбитальный период.
Потери энергии и углового момента значительно возрастают по мере приближения эксцентриситета к единице, т. е. по мере того, как эллипс орбиты становится все более вытянутым. Потери на излучение также значительно возрастают с уменьшением размера орбиты a .