Основной обзор формализма под названием «Динамика общей теории относительности» (англ.The Dynamics of General Relativity) был опубликован его авторами в сборнике «Gravitation: An introduction to current research» под редакцией Луиса Виттена, Wiley NY (1962); chapter 7, pp. 227–265, русский перевод был опубликован в 1967 году в Эйнштейновском сборнике[2]. Эта статья была в 2008 году перепечатана в журнале General Relativity and Gravitation в серии классических работ по гравитации[3] Исходные работы авторов выходили в Physical Review.[4][5][6][7][8][9][10][11][12]
Кроме 12 переменных и (трёхмерные симметричные тензоры содержат по 6 компонент), в формализме присутствуют 4 лагранжевых множителя: функции хода (англ.the lapse function), и функции сдвига — компоненты 3-вектора (англ.shift vector field). Они описывают, как точки на соседних слоях связаны между собой. Уравнения движения для этих переменных можно выбрать произвольно, что соответствует свободе выбора координатной системы для описания пространства-времени.
Большинство литературы применяет обозначения, в которых четырёхмерные тензоры записываются в абстрактной индексной нотации, причём греческие индексы являются пространственно-временными и принимают значения (0, 1, 2, 3), а латинские индексы являются пространственными и принимают значения (1, 2, 3). В выводе пространственно-временные объекты, которые имеют также и трёхмерные аналоги, будут для различения обозначаться предшествующим верхним индексом (4), например, метрический тензор на трёхмерном слое будет обозначаться , а полная пространственно-временная метрика будет обозначаться как .
↑Р. АРНОВИТТ, С. ДИЗЕР и К. В. МИСНЕР.ДИНАМИКА ОБЩЕЙ ТЕОРИИ ОТНОСИТЕЛЬНОСТИ // Эйнштейновский сборник, 1966. — М.: Наука, 1967. — С. 233—286. — 370 с. — 10 000 экз..