I intend to give an explicit formula for the Laplacian of a function . So far what we have done is to provide the following

without any further information. Note that, we may think the Laplacian is an operator. In this case, our Laplacian is often called the Laplace-Beltrami operator. In general, our Laplacian is noting but the Connection Laplacian. We also note that there are lots of Laplacian in the literature, for examples, Hodge Laplacian, Bochner Laplacian, Lichnerowicz Laplacian, Conformal Laplacian. But sooner or later we need the following linear algebraic identity

**Theorem**. Assume is a symmetric non-singular matrix whose elements depend on a parameter . Then

.

*Proof*. This formula follows by simply diagonalising the matrix by a similarity transformation

where is the diagonal matrix. The formula is obviously true for a diagonal non-singular matrix. If is a matrix with non-zero diagonal elements

we then have

Now we know that the determinant is unchanged, . And in the trace

In the first term on the right-hand side we can bring the matrix as the first factor inside the trace using the property of the trace . Then the first term becomes

which can be combined with the third term to give the trace of

.

The middle term becomes the required expression in the formula when the last factor is brought to the left as first.

Reference: **Pankaj Sharan**, Spacetime, *Geometry and Gravitation (Progress in Mathematical Physics, 56)*, Birkhäuser 2009.