Классификация Петрова
Классификация Петрова (иногда классификация Петрова — Пирани, редко классификация Петрова — Пирани — Пенроуза) описывает возможные алгебраические симметрии тензора Вейля для каждого события на псевдоримановом многообразии.
Эта классификация активней всего используется при изучении точных решений
Теорема о классификации
В этом случае естественно поставить задачу нахождения
В четырёхмерных псевдоримановых многообразиях в каждой точке пространство бивекторов шестимерно. Однако, симметрии тензора Вейля ограничивают размерность пространства собственных бивекторов до четырёх. Таким образом, тензор Вейля в данной точке может иметь максимум четыре линейно независимых собственных бивектора.
Точно так же как в обычной теории собственных векторов
Собственные бивекторы тензора Вейля ассоциируются с определёнными изотропными векторами на многообразии, которые называются главные изотропные направления (в данной точке). Теорема о классификации утверждает, что существует ровно шесть возможных типов алгебраической симметрии, которые известны как типы Петрова:
- Тип I : четыре главных изотропных направления,
- Тип II : одно двукратное и два однократных главных изотропных направления,
- Тип D : два двукратных изотропных направления,
- Тип III: одно трехкратное и одно однократное направление,
- Тип N : одно изотропное направление с кратностью 4,
- Тип O : тензор Вейля равен нулю.
Тензор Вейля типа I (в точке) называется алгебраически общим; тензоры остальных типов называются алгебраически специальными. Различные точки пространства-времени могут иметь различный тип Петрова. Возможные переходы между типами Петрова показаны на рисунке, который также можно интерпретировать так, что некоторые типы Петрова более специальные чем другие. Например, тип I, наиболее общий тип, может выродиться до типов II или D, в то время как тип II может перейти в типы III, N, или D.
Критерии Бела
Для псевдориманового (лоренцевого) многообразия , тензор Вейля можно вычислить из метрического тензора. Если в некоторой точке тензор Вейля алгебраически специален, существует эффективный набор правил (которые открыл Луис Бел) для определения типа Петрова в точке . Обозначим компоненты тензора Вейля в точке через (и предположим, что они не равны нулю, то есть это не тип O), тогда критерии Бела можно выразить следующим образом:
- имеет тип N тогда и только тогда, когда существует единственный (с точностью до множителя) изотропный вектор , удовлетворяющий
- Если не принадлежит типу N, то принадлежит типу III тогда и только тогда, когда существует единственный (с точностью до множителя) изотропный вектор , удовлетворяющий
- имеет тип II тогда и только тогда, когда существует единственный (с точностью до множителя) изотропный вектор , удовлетворяющий
- и ()
- имеет тип D тогда и только тогда, когда существует два линейно независимых изотропных вектора , , удовлетворяющие условиям:
- , ()
и
- , ().
где - тензор, дуальный тензору Вейля в точке .
Критерии Бела применяются в общей теории относительности, то есть тип Петрова для алгебраически специального тензора Вейля находится при помощи нулевых векторов.
Физическая интерпретация
В соответствии с общей теорией относительности, алгебраически специальные типы Петрова имеют интересную физическую интерпретацию, поэтому их классификация часто называется классификацией гравитационных полей.
Области поля типа D ассоциируются с гравитационными полями изолированных массивных небесных тел, таких как звезды. Точнее, поля типа D возникают вокруг стационарных объектов, которые из физических характеристик имеют только массу и угловой момент. (Более сложное динамическое тело обладает ненулевыми мультипольными моментами.) Два главных изотропных направления определяют два «радиально» сходящихся и расходящихся изотропных семейства вблизи гравитирующего тела.
Электрогравитационный тензор[англ.] (или приливной тензор) в областях типа D аналогичен гравитационным полям, которые описываются ньютоновской гравитацией с кулоновым типом гравитационного потенциала. Такое приливное поле характеризуется растяжением в одном направлении и сжатием в ортогональных направлениях; собственные значения имеют характерный рисунок (-2,1,1). Например, спутник на орбите вокруг Земли испытывает слабое растяжение по радиальному направлению и слабое сжатие в ортогональных направлениях. Так же как в ньютоновской гравитации, приливное поле убывает как , где — расстояние от гравитирующего тела.
Если тело вращается вокруг некоторой оси, то в дополнение к приливным эффектам появятся разнообразные
Области типа III ассоциируются с продольной частью переменного во времени гравитационного поля (иногда называемой продольным гравитационным излучением). В этих областях приливные силы имеют характер сдвигов. Это довольно мало изученный тип полей, частью потому что гравитационное излучение, возникающее в приближении слабых полей, имеет тип N, поскольку поле типа III убывает как , то есть намного быстрее, чем излучение типа N, и соответственно — не отрывается от источника.
Области типа N ассоциируются с поперечным гравитационным излучением, которое астрономы обнаружили в 2015 году. Четырёхкратное изотропное направление соответствует волновому вектору, описывающему направление распространения излучения. Амплитуда излучения обычно убывает как , так что гравитационное поле удалённого источника всегда является радиационным и имеет тип N.
Тип II комбинирует эффекты полей типа D, III и N, довольно сложным нелинейным образом.
Области типа O, или
Гравитационное поле и, соответственно,
Примеры
Для некоторых точных решений уравнений Эйнштейна тензор Вейля имеет один и тот же тип в каждой
- метрика Керрав вакууме имеет тип D,
- Пространство Робинсона-Траутмана — тип III,
- pp-волны[англ.] имеют тип N,
- метрика Фридмана — Робертсона — Уокера — везде тип O.
Вообще, произвольное сферически-симметричное пространство-время должно быть алгебраически специальным, а любое статическое пространство-время должно иметь тип D.
Литература
Из раздела теории относительности Архивная копия от 14 июля 2007 на Wayback Machine на сайте "Мир математических уравнений" -- EqWorld Архивная копия от 3 октября 2008 на Wayback Machine:
- Петров А.З. Пространства Эйнштейна. М.: ГИФМЛ, 1961 (djvu) Архивная копия от 29 сентября 2007 на Wayback Machine
- Петров А.З. Новые методы в общей теории относительности. М.: Наука, 1966 (djvu) Архивная копия от 29 сентября 2007 на Wayback Machine
См. также
- Общая теория относительности
- Тензор Вейля
- Гравитационное излучение
- Тензор кривизны
- Классификация Сегрэ