Riemannian manifold
ふたつのリーマン多様体 に対し、調和写像 は、一般化ディリクレエネルギー汎函数