Введение
ничто Это список формул, встречающихся в римановской геометрии. В этой статье используется обозначение Эйнштейна. В этой статье используется соглашение "аналитика" для лаплацианцев, за исключением случаев, когда указано иное.
This is a list of formulas encountered in Riemannian geometry. Einstein notation is used throughout this article. This article uses the "analyst's" sign convention for Laplacians, except when noted otherwise.
Замечания
Классический результат говорит, что если и только если локально конформно плоская, то есть если и только если может быть покрыта гладкими координатными диаграммами, относительно которых метрический тензор имеет форму для какой-либо функции на диаграмме.
В инерциальной системе
Ортонормальная инерциальная система - это координатная диаграмма, в которой в начале имеются отношения и (но они могут не иметь место в других точках системы). Эти координаты также называются нормальными координатами. В такой системе выражение для нескольких операторов проще. Обратите внимание, что приведенные ниже формулы действительны только на исходе кадра.
Конформальные изменения
Пусть будет Риманновская или псевдо-Риманновская метрика на гладком многообразии , и гладкая действительная функция на Тогда также является Риманновской метрикой на Мы говорим, что она (по точке) соответствует Очевидно, соответствие метрик является отношением эквивалентности. Вот некоторые формулы для конформных изменений тензоров, связанных с метрикой. (Стойности , отмеченные тильдой , будут ассоциированы с данными , а количества , не отмеченные тильдой , - с данными).
is also a Riemannian metric on We say that is (pointwise) conformal to Evidently, conformality of metrics is an equivalence relation. Here are some formulas for conformal changes in tensors associated with the metric. (Quantities marked with a tilde will be associated with , while those unmarked with such will be associated with .)
Ходж Лапласиан на p-формах
Для Ходжского лаплациана здесь используется соглашение знаков "геометра". В частности, он имеет противоположный знак по функциям, как обычный лапласиан.
Формулы вариаций
Пусть будет гладким разнообразием и пусть будет однопараметрическим семейством римановских или псевдориманских метрик. Предположим, что это дифференцируемое семейство в том смысле, что для любой гладкой координатной диаграммы производные существуют и сами являются дифференцируемыми, как это необходимо для следующих выражений, чтобы иметь смысл. является однопараметрическим семейством симметричных 2-тензорных полей.