Алгоритм Картана – Карлхеде - Cartan–Karlhede algorithm

В Алгоритм Картана – Карлхеде это процедура для полной классификации и сравнения Римановы многообразия. Учитывая два Римановы многообразия одного измерения, не всегда очевидно, являются ли они локально изометрический.[1] Эли Картан, используя его внешнее исчисление с его методом движущиеся рамы, показал, что всегда можно сравнивать многообразия. Карл Бранс развил метод дальше,[2] и первая практическая реализация была представлена Андерс Карлхеде [св ] в 1980 г.[3]

Основная стратегия алгоритма - взять ковариантные производные из Тензор Римана. Картан показал, что в п размеры не более п(п+1) / 2 дифференцирования достаточно. Если тензор Римана и его производные одного многообразия алгебраически согласованы с другим, то эти два многообразия изометричны. Следовательно, алгоритм Картана – Карлхеде действует как своего рода обобщение Классификация Петрова.

Потенциально большое количество производных может быть недопустимо с вычислительной точки зрения. Алгоритм был реализован в раннем механизме символьных вычислений, ОВЦА, но размер вычислений оказался слишком сложным для ранних компьютерных систем.[4][5] Для большинства рассматриваемых задач на самом деле требуется гораздо меньше производных, чем максимум, и алгоритм более управляем на современных компьютерах. С другой стороны, в более современном программном обеспечении нет общедоступной версии.[6]

Физические приложения

Алгоритм Картана – Карлхеде имеет важные приложения в общая теория относительности. Одна из причин этого заключается в том, что более простое понятие инварианты кривизны не может различать пространства-времени, а также они различают Римановы многообразия. Это различие в поведении обусловлено, в конечном счете, тем фактом, что у пространств-времени есть подгруппы изотропии, которые являются подгруппами Группа Лоренца ТАК+(1,3), что является некомпактный Группа Ли, а четырехмерные римановы многообразия (т. е. с положительно определенный метрический тензор ), имеют группы изотропии, которые являются подгруппами компактный Группа Ли SO (4).

В четырех измерениях усовершенствование Карлхеде программы Картана снижает максимальное количество ковариантных производных тензора Римана, необходимых для сравнения метрик, до 7. В худшем случае для этого требуется 3156 независимых компонент тензора.[7] Известны модели пространства-времени, требующие всех 7 ковариантных производных.[8] Однако для некоторых специальных семейств пространственно-временных моделей часто бывает достаточно гораздо меньше. Сейчас известно, например, что

Смотрите также

внешняя ссылка

Рекомендации

  1. ^ Олвер, Питер Дж. (1995). Эквиваленты, инварианты и симметрия. Кембридж: Издательство Кембриджского университета. ISBN  0-521-47811-1.
  2. ^ Бранс, Карл Х. (1965), "Инвариантный подход к геометрии пространств в общей теории относительности", J. Math. Phys., 6: 94, Bibcode:1965JMP ..... 6 ... 94B, Дои:10.1063/1.1704268
  3. ^ Карлхеде, А. (1980), "Обзор геометрической эквивалентности метрик в общей теории относительности", Общая теория относительности и гравитации, 12: 693, Bibcode:1980GReGr..12..693K, Дои:10.1007 / BF00771861
  4. ^ Åman, J. E .; Карлхеде, А. (1980), "Полная компьютерная классификация геометрий в общей теории относительности. Первые результаты", Phys. Lett. А, 80: 229, Bibcode:1980ФЛА ... 80..229А, Дои:10.1016/0375-9601(80)90007-9
  5. ^ Аман, Дж. Э., Пособие для CLASSI: классификационные программы по общей теории относительности, Институт теоретической физики Стокгольмского университета
  6. ^ Pollney, D .; Skea, J. F .; д'Инверно, Рэй (2000). «Классификация геометрий в общей теории относительности (три части)». Учебный класс. Квантовая гравитация. 17: 643–663, 2267–2280, 2885–2902. Bibcode:2000CQGra..17..643P. Дои:10.1088/0264-9381/17/3/306.
  7. ^ MacCallum, M.A.H .; Аман, Дж. Э. (1986), "Алгебраически независимые n-е производные спинора римановой кривизны в общем пространстве-времени", Классическая и квантовая гравитация, 3: 1133, Bibcode:1986CQGra ... 3.1133M, Дои:10.1088/0264-9381/3/6/013
  8. ^ Милсон, Роберт; Пелавас, Никос (2008), "Оценка Карлхеде типа N является точной", Учебный класс. Квантовая гравитация., 25, arXiv:0710.0688, Дои:10.1088/0264-9381/25/1/012001
  9. ^ Стефани, Ганс; Крамер, Дитрих; Маккаллум, Малькольм; Хенселаерс, Корнелиус; Хертль, Эдуард (2003). Точные решения уравнений поля Эйнштейна (2-е изд.). Кембридж: Издательство Кембриджского университета. ISBN  0-521-46136-7.