リーマン多様体
(M,g) を n-次元リーマン多様体とする．すると次の漸近展開が t → 0+ で成り立つ．