For fixed , the covariant derivative is linear in its tangent-vector input, so , , is a well-defined linear map. Its trace defines the divergence of a Riemannian vector field. In the given Riemannian orthonormal frame, write . The Levi-Civita connection product rule gives
At , the second sum vanishes by the normal orthonormal frame hypothesis. Thus the th diagonal coefficient of is , and
Equivalently one can take ; the trace does not depend on the orthonormal basis chosen.

Articles by others on the same topic (0)

There are currently no matching articles.