Решения уравнений поля Эйнштейна - это пространство-время, которые являются результатом решения Эйнштейна. уравнения поля (EFE) общей теории относительности. Решение уравнений поля дает многообразие Лоренца. Решения широко классифицируются как точные и неточные.
Уравнения поля Эйнштейна:
где - это тензор Эйнштейна, - космологическая постоянная (иногда принимаемая равной нулю для простоты), - это метрический тензор, - константа, а - тензор энергии-напряжения.
Уравнения поля Эйнштейна связывают тензор Эйнштейна с тензором напряжения-энергии, который представляет собой распределение энергии, импульса и напряжения в пространственно-временном многообразии. Тензор Эйнштейна строится из метрического тензора и его частных производных; таким образом, при заданном тензоре энергии-импульса уравнения поля Эйнштейна представляют собой систему из десяти уравнений в частных производных, в которых может быть решен метрический тензор.
Важно понимать, что одних уравнений поля Эйнштейна во многих случаях недостаточно для определения эволюции гравитационной системы. Они зависят от тензора энергии-импульса, который зависит от динамики вещества и энергии (например, траекторий движущихся частиц), которая, в свою очередь, зависит от гравитационного поля. Если кого-то интересует только предел слабого поля теории, динамика материи может быть вычислена с использованием методов специальной теории относительности и / или ньютоновских законов гравитации, а затем полученный тензор энергии-импульса может быть вставлен в уравнения поля Эйнштейна. Но если требуется точное решение или решение, описывающее сильные поля, эволюцию метрики и тензора энергии-импульса необходимо решать вместе.
Для получения решений соответствующие уравнения представляют собой процитированный выше EFE (в любой форме) плюс уравнение неразрывности (для определения эволюции тензора напряжения-энергии):
Этого явно недостаточно, так как имеется только 14 уравнений (10 из уравнений поля и 4 из уравнения неразрывности) для 20 неизвестных (10 метрических компонент и 10 компонент тензора энергии-импульса). Уравнения состояния отсутствуют. В самом общем случае легко увидеть, что требуется как минимум еще 6 уравнений, а возможно, и больше, если есть внутренние степени свободы (например, температура), которые могут изменяться в пространстве-времени.
На практике обычно можно упростить задачу, заменив полный набор уравнений состояния простым приближением. Вот некоторые общие приближения:
Здесь - плотность массы-энергии, измеренная в мгновенной системе координат, - это 4-скоростное векторное поле жидкости, а - давление.
Для идеальной жидкости необходимо добавить еще одно уравнение состояния, связывающее плотность и давление . Это уравнение часто зависит от температуры, поэтому требуется уравнение теплопередачи или постулат о том, что теплопередачей можно пренебречь.
Затем обратите внимание, что только 10 из исходных 14 уравнений независимы, потому что уравнение неразрывности является следствием уравнений Эйнштейна. Это отражает тот факт, что система калибровочно-инвариантна (в общем, при отсутствии некоторой симметрии любой выбор криволинейной координатной сети в той же системе будет соответствовать численно другому решению). «Фиксация калибровки» - это необходимо, т.е. нам нужно наложить 4 (произвольных) ограничения на систему координат, чтобы получить однозначные результаты. Эти ограничения известны как координатные условия.
Популярным выбором калибровки является так называемая «калибровка Де Дондера», также известная как гармоническое условие или гармоническая калибровка.
В численной теории относительности предпочтительной калибровкой является так - так называемое «разложение 3 + 1», основанное на формализме ADM. В этом разложении метрика записывается в виде
и являются функциями пространственно-временных координат и могут выбираться произвольно в каждой точке. Остальные физические степени свободы содержатся в , который представляет риманову метрику на 3-гиперповерхностях . Например, наивный выбор , будет соответствовать так- называется синхронной системой координат: та, где t-координата совпадает с собственным временем для любого сопутствующего наблюдателя (частица, которая движется по фиксированному траектории.)
После того, как выбраны уравнения состояния и установлен калибр, можно решить полную систему уравнений для. К сожалению, даже в простейшем случае гравитационного поля в вакууме (исчезающий тензор энергии-импульса) задача оказывается слишком сложной, чтобы ее можно было точно решить. Для получения физических результатов мы можем обратиться к численным методам ; попробуйте найти точные решения, наложив симметрии ; или попробуйте альтернативные подходы, такие как методы возмущений или линейные аппроксимации тензора Эйнштейна.
Точные решения - это метрики Лоренца, которые соответствующие физически реалистичному тензору энергии-напряжения и получаемые путем решения EFE точно в закрытой форме.
Статья в Scholarpedia по теме написана
Те решения, которые не являются точными, называются неточными решениями. Такие решения в основном возникают из-за сложности решения УЭФ в замкнутой форме и часто принимают форму приближений к идеальным системам. Многие неточные решения могут быть лишены физического содержания, но служат полезными контрпримерами к теоретическим предположениям.
Аль Момин утверждает, что Курт Гёдель решил эти уравнения не описывать нашу Вселенную и, следовательно, являются приближениями.
Существуют практические а также теоретические основания для изучения решений уравнений поля Эйнштейна.
С чисто математической точки зрения интересно знать множество решений уравнений поля Эйнштейна. Некоторые из этих решений параметризуются одним или несколькими параметрами.