Теоретическая мотивация общей теории относительности
Теоретическая мотивация общей теории относительности , включая мотивацию уравнения геодезических и уравнения поля Эйнштейна , может быть получена из специальной теории относительности путем изучения динамики частиц на круговых орбитах вокруг Земли. Ключевым преимуществом исследования круговых орбит является то, что можно априорно узнать решение уравнения поля Эйнштейна . Это обеспечивает средства для информирования и проверки формализма.
Общая теория относительности решает два вопроса:
- Как искривление пространства -времени влияет на движение материи ?
- Как наличие материи влияет на искривление пространства-времени?
На первый вопрос отвечает уравнение геодезических . На второй вопрос отвечает уравнение поля Эйнштейна . Уравнение геодезических и уравнение поля связаны принципом наименьшего действия . Обоснование уравнения геодезических приведено в разделе « Уравнение геодезии для круговых орбит» . Мотивация для уравнения поля Эйнштейна представлена в разделе « Тензор энергии-напряжения» .
Уравнение геодезии для круговых орбит
[ редактировать ]Кинетика круговых орбит
[ редактировать ]
Для определенности рассмотрим круговую земную орбиту (винтовую мировую линию ) частицы. Частица движется со скоростью v. Наблюдатель на Земле видит, что длина в системе частицы сокращается. Измерительная линейка, путешествующая вместе с частицей, кажется земному наблюдателю короче. Поэтому окружность орбиты, находящаяся по направлению движения, кажется длиннее, чем раз больше диаметра орбиты. [ 1 ]
В специальной теории относительности 4-собственная скорость частицы в инерциальной (неускоряющейся) системе отсчета Земли равна
где с — скорость света , - 3-скорость, а является
- .
Величина вектора 4-скорости всегда постоянна.
где мы используем метрику Минковского
- .
Следовательно, величина 4-скорости является скаляром Лоренца .
4-ускорение в земной (неускоряющейся) системе отсчета равно
где в c раз превышает собственный интервал времени, измеренный в системе отсчёта частицы. Это связано с интервалом времени в системе координат Земли соотношением
- .
Здесь 3-ускорение для круговой орбиты равно
где - угловая скорость вращающейся частицы и — 3-положение частицы.
Величина 4-скорости постоянна. Это означает, что 4-ускорение должно быть перпендикулярно 4-скорости. Поэтому внутренний продукт 4-ускорения и 4-скорости всегда равен нулю. Внутренний продукт — скаляр Лоренца .
Кривизна пространства-времени: уравнение геодезии
[ редактировать ]Уравнение ускорения можно обобщить, получив уравнение геодезических
где - 4-позиция частицы и тензор кривизны , определяемый формулой
где — дельта-функция Кронекера , и у нас есть ограничения
и
- .
Легко проверить, что круговые орбиты удовлетворяют уравнению геодезических. Уравнение геодезических на самом деле является более общим. Круговые орбиты являются частным решением уравнения. Решения, отличные от круговых орбит, допустимы и действительны.
Тензор и след кривизны Риччи
[ редактировать ]Тензор кривизны Риччи — это специальный тензор кривизны, определяемый сокращением
- .
След тензора Риччи, называемый скалярной кривизной , равен
- .
Уравнение геодезических в местной системе координат
[ редактировать ]
Рассмотрим ситуацию, когда на близких круговых полярных орбитах Земли радиусом и скорость .
Частицы совершают простое гармоническое движение вокруг Земли и друг относительно друга. Они находятся на максимальном расстоянии друг от друга, когда пересекают экватор. Их траектории пересекаются на полюсах.
Представьте себе космический корабль, движущийся вместе с одной из частиц. Потолок корабля, направление, совпадает с направление. Передняя часть корабля находится в направление, и направление — слева от корабля. Космический корабль мал по сравнению с размером орбиты, поэтому локальная система отсчета является локальной системой Лоренца. 4-разделение двух частиц определяется выражением . В локальной системе отсчета космического корабля уравнение геодезических имеет вид
где
и
– тензор кривизны в локальной системе отсчета.
Уравнение геодезических как ковариантная производная
[ редактировать ]Уравнение движения частицы в плоском пространстве-времени и в отсутствие сил имеет вид
- .
Если мы требуем, чтобы частица путешествовала по геодезической в искривленном пространстве-времени, то аналогичное выражение в искривленном пространстве-времени будет иметь вид
где производная слева — это ковариантная производная , которая является обобщением нормальной производной до производной в искривленном пространстве-времени. Здесь
является символом Кристоффеля .
Кривизна связана с символом Кристоффеля соотношением
- .
Метрический тензор в локальной системе отсчета
[ редактировать ]Интервал в локальном кадре равен
где
- это угол с ось (долгота) и
- это угол с ось (широта).
дает показатель Это
в локальном кадре.
Обратный метрический тензор определяется так, что
где член справа — это дельта Кронекера .
Преобразование бесконечно малого 4-объемника является
где g — определитель метрического тензора.
Дифференциал определителя метрического тензора равен
- .
Связь между символами Кристоффеля и метрическим тензором следующая:
- .
Принцип наименьшего действия в общей теории относительности
[ редактировать ]Принцип наименьшего действия гласит, что мировая линия между двумя событиями в пространстве-времени — это та мировая линия, которая минимизирует действие между двумя событиями. В классической механике принцип наименьшего действия используется для вывода законов движения Ньютона и является основой лагранжевой динамики . В теории относительности это выражается как
между событиями 1 и 2 является минимумом. Здесь S — скаляр и
известна как плотность Лагранжа . Плотность Лагранжа делится на две части: плотность вращающейся частицы и плотность гравитационного поля, создаваемого всеми другими частицами, включая те, из которых состоит Земля,
- .
В искривленном пространстве-времени «самая короткая» мировая линия — это та геодезическая , которая минимизирует кривизну геодезической. Тогда действие пропорционально кривизне мировой линии. Поскольку S является скаляром, скалярная кривизна является подходящей мерой кривизны. Следовательно, действие частицы
где — неизвестная константа. Эта константа будет определяться путем требования сведения теории к закону тяготения Ньютона в нерелятивистском пределе.
Таким образом, лагранжева плотность частицы равна
- .
Действие для частицы и Земли есть
- .
Таким образом, мировая линия лежит на поверхности сферы радиуса r путем изменения метрического тензора. Минимизация и пренебрежение членами, исчезающими на границах, включая члены второго порядка по производной g, дает
где [ 2 ]
– тензор энергии-импульса Гильберта поля, генерируемого Землей.
Связь с точностью до неизвестного постоянного коэффициента между энергией напряжения и кривизной равна
- .
Тензор энергии-напряжения
[ редактировать ]Закон гравитации Ньютона
[ редактировать ]
Закон гравитации Ньютона в нерелятивистской механике гласит, что ускорение объекта массы из-за другого объекта массы равно
где гравитационная постоянная , вектор из массы массировать и - величина этого вектора. Время t масштабируется со скоростью света c
- .
Ускорение не зависит от .
Для определенности. рассмотрим частицу массы вращающийся в гравитационном поле Земли с массой . Закон гравитации можно записать
где - средняя плотность массы внутри сферы радиуса .
Гравитационная сила через 00-компоненту тензора энергии-импульса
[ редактировать ]Закон Ньютона можно записать
- .
где - объем сферы радиуса . Количество будет признана в специальной теории относительности энергией покоя большого тела, Земли. Это сумма энергий покоя всех частиц, составляющих Землю. Тогда величина в скобках представляет собой среднюю плотность энергии покоя сферы радиуса о Земле. Гравитационное поле пропорционально средней плотности энергии в пределах радиуса r. Это 00-компонента тензора энергии-импульса в теории относительности для особого случая, когда вся энергия является энергией покоя. В более общем плане
где
и - скорость частицы i, составляющей Землю, и в массе покоя частицы i. Всего существует N частиц, составляющих Землю.
Релятивистское обобщение плотности энергии
[ редактировать ]
Существуют две простые релятивистские сущности, которые в нерелятивистском пределе сводятся к компоненту 00 тензора энергии-импульса.
и след
где это 4-скорость.
Компонента 00 тензора энергии-импульса может быть обобщена на релятивистский случай как линейная комбинация двух членов
где
4-ускорение под действием силы тяжести
[ редактировать ]4-ускорение силы тяжести можно записать
- .
К сожалению, это ускорение отлично от нуля для как это требуется для круговых орбит. Поскольку величина 4-скорости постоянна, ускорению способствует только составляющая силы, перпендикулярная 4-скорости. Поэтому мы должны вычесть компонент силы, параллельный 4-скорости. Это известно как транспорт Ферми-Уокера . [ 3 ] Другими словами,
- .
Это дает
- .
Сила в локальной системе отсчета равна
- .
Уравнение поля Эйнштейна
[ редактировать ]
Уравнение поля Эйнштейна получено [ 4 ] путем приравнивания ускорения, необходимого для круговых орбит, с ускорением силы тяжести.
- .
Это связь между кривизной пространства-времени и тензором энергии-импульса.
Тензор Риччи становится
- .
След тензора Риччи
- .
Сравнение тензора Риччи с тензором Риччи, рассчитанным на основе принципа наименьшего действия, Теоретическая мотивация общей теории относительности # Принцип наименьшего действия в общей теории относительности, отождествляя тензор энергии-напряжения с энергией стресса Гильберта и помня, что A + B = 1 устраняет двусмысленность в A, B и C.
и
- .
Это дает
- .
Уравнение поля можно записать
где
- .
Это уравнение поля Эйнштейна, которое описывает кривизну пространства-времени, возникающую в результате плотности энергии-напряжения. Это уравнение, наряду с уравнением геодезических, было основано на кинетике и динамике частицы, вращающейся вокруг Земли по круговой орбите. В целом они верны.
Решение уравнения поля Эйнштейна
[ редактировать ]Решение уравнения поля Эйнштейна требует итерационного процесса. Решение представляется в виде метрического тензора
- .
Обычно для тензора существует начальное предположение. Предположение используется для расчета символов Кристоффеля , которые используются для расчета кривизны. Если уравнение поля Эйнштейна не удовлетворяется, процесс повторяется.
Решения существуют в двух формах: вакуумные растворы и невакуумные растворы. Вакуумное решение — это решение, в котором тензор энергии-импульса равен нулю. Соответствующим вакуумным решением для круговых орбит является метрика Шварцшильда . Существует также ряд точных решений , которые являются невакуумными решениями, решениями, в которых тензор напряжений отличен от нуля.
Решение уравнения геодезических
[ редактировать ]Решение уравнений геодезических требует знания метрического тензора, полученного в результате решения уравнения поля Эйнштейна. Либо символы Кристоффеля, либо кривизна вычисляются на основе метрического тензора. Затем уравнение геодезических интегрируется с соответствующими граничными условиями .
Электродинамика в искривленном пространстве-времени
[ редактировать ]Уравнения Максвелла , уравнения электродинамики, в искривленном пространстве-времени являются обобщением уравнений Максвелла в плоском пространстве-времени (см. Формулировку уравнений Максвелла в специальной теории относительности ). Искривление пространства-времени влияет на электродинамику. Уравнения Максвелла в искривленном пространстве-времени можно получить, заменив производные в уравнениях в плоском пространстве-времени ковариантными производными . Уравнения с источником и без источника принимают вид (единицы СГС):
- ,
и
где 4 -ток , – тензор напряженности поля , является символом Леви-Чивита , и
это 4-градиент . Повторяющиеся индексы суммируются в соответствии с соглашением Эйнштейна о суммировании . Мы отобразили результаты в нескольких общепринятых обозначениях.
Первое тензорное уравнение представляет собой выражение двух неоднородных уравнений Максвелла: закона Гаусса и закона Ампера с поправкой Максвелла . Второе уравнение является выражением однородных уравнений, закона индукции Фарадея и закона магнетизма Гаусса .
Уравнение электромагнитной волны модифицируется из уравнения в плоском пространстве-времени двумя способами: производная заменяется ковариантной производной и появляется новый член, зависящий от кривизны.
где 4-потенциал определен так, что
- .
Мы предположили обобщение калибровки Лоренца в искривленном пространстве-времени
- .
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Эйнштейн, А. (1961). Теория относительности: специальная и общая теория . Нью-Йорк: Корона. ISBN 0-517-02961-8 .
- ^ Ландау, Л.Д. и Лифшиц, Э.М. (1975). Классическая теория полей (Четвертое исправленное английское изд.). Оксфорд: Пергамон. ISBN 0-08-018176-7 .
- ^ Миснер, Чарльз; Торн, Кип С. и Уиллер, Джон Арчибальд (1973). Гравитация . Сан-Франциско: WH Freeman. стр. 170 , 171. ISBN. 0-7167-0344-0 .
- ^ Ландау 1975, с. 276
- Р.П. Фейнман; Ф. Б. Моринго и В. Г. Вагнер (1995). Фейнмановские лекции по гравитации . Аддисон-Уэсли . ISBN 0-201-62734-5 .
- ПАМ Дирак (1996). Общая теория относительности . Издательство Принстонского университета . ISBN 0-691-01146-Х .