Введение

Заявление о сферически симметричных пространствах-временах

В общей теории относительности теорема Бирхоффа утверждает, что любое сферически симметричное решение уравнений гравитационного поля в вакууме должно быть статическим и асимптотически плоским. Это означает, что внешнее решение (то есть пространство-время вне сферического, невращающегося, гравитирующего тела) должно описываться метрикой Шварцшильда. Обратная теорема также верна и называется теоремой Израиля. Обратное утверждение не верно в ньютоновской гравитации. Теорема была доказана в 1923 году Джорджем Дэвидом Биркоффом (автором другой известной теоремы Бирхоффа – точечной эргодической теоремы, которая лежит в основе эргодической теории). В 2005 году Нильс Вое Йохансен, Финн Равендал и Стэнли Дезер заявили, что якобы эта теорема была опубликована двумя годами ранее малоизвестным норвежским физиком Йоргом Тофте Джебсеном.

Интуитивное обоснование

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

Последствия

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

Обобщения

Теорему Бирхоффа можно обобщить: любое сферически симметричное и асимптотически плоское решение уравнений поля Эйнштейна/Максвелла, не содержащее , должно быть статичным, поэтому внешняя геометрия сферически симметричной заряженной звезды описывается электропустотой Рейсснера — Нордстрема. В теории Эйнштейна — Максвелла существуют сферически симметричные, но не асимптотически плоские решения, такие как Вселенная Бертотти — Робинсона.