В общей теории относительности лямбда -вакуумное решение является точным решением уравнения поля Эйнштейна , в котором единственным членом в тензоре энергии-импульса является космологическая постоянная . Это можно интерпретировать физически как своего рода классическое приближение к ненулевой энергии вакуума . Они обсуждаются здесь как отличные от вакуумных решений, в которых космологическая постоянная стремится к нулю.
Терминологическое примечание: в этой статье рассматривается стандартное понятие, но, по-видимому, стандартного термина для его обозначения не существует, поэтому мы попытались предоставить его для нужд Википедии .
Уравнение поля Эйнштейна часто записывается как с так называемым космологическим постоянным членом . Однако, можно переместить этот член в правую часть и поглотить его в тензоре энергии-импульса , так что космологический постоянный член станет просто еще одним вкладом в тензор энергии-импульса. Когда другие вклады в этот тензор исчезают, результатом является лямбда-вакуум. Эквивалентная формулировка в терминах тензора Риччи :
Ненулевой космологический постоянный член можно интерпретировать в терминах ненулевой энергии вакуума . Возможны два случая:
Идея о том, что вакуум имеет ненулевую плотность энергии, может показаться контринтуитивной, но это имеет смысл в квантовой теории поля. Действительно, ненулевые энергии вакуума могут быть даже экспериментально проверены в эффекте Казимира .
Компоненты тензора, вычисленные относительно поля фрейма, а не координатного базиса , часто называются физическими компонентами , поскольку это компоненты, которые (в принципе) могут быть измерены наблюдателем. Фрейм состоит из четырех единичных векторных полей. Здесь первое — это времениподобное единичное векторное поле, а остальные — пространственноподобные единичные векторные поля, и оно всюду ортогонально мировым линиям семейства наблюдателей (не обязательно инерциальных наблюдателей).
Примечательно, что в случае лямбда-вакуума все наблюдатели измеряют одну и ту же плотность энергии и одно и то же (изотропное) давление. То есть тензор Эйнштейна принимает форму Сказать, что этот тензор принимает одну и ту же форму для всех наблюдателей, то же самое, что сказать, что группа изотропии лямбда-вакуума — это SO(1,3) , полная группа Лоренца .
Характеристический полином тензора Эйнштейна лямбда-вакуума должен иметь вид Используя тождества Ньютона , это условие можно переписать через следы степеней тензора Эйнштейна как где — следы степеней линейного оператора, соответствующего тензору Эйнштейна, имеющего второй ранг.
Определение решения лямбда-вакуума имеет математический смысл независимо от какой-либо физической интерпретации, а лямбда-вакуумы являются частным случаем концепции, изучаемой чистой математикой.
Многообразия Эйнштейна являются псевдоримановыми многообразиями, в которых тензор Риччи пропорционален метрическому тензору . Лоренцевы многообразия, которые также являются многообразиями Эйнштейна, являются именно решениями лямбда-вакуума.
Примечательными примерами решений с использованием лямбда-вакуума являются: