Bochner's formula

Bochner's formula is a result in differential geometry that relates to the properties of the Laplace operator on Riemannian manifolds. Specifically, it provides a way to express the Laplacian of a smooth function in terms of the geometry of the manifold.