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 givesAt , the second sum vanishes by the normal orthonormal frame hypothesis. Thus the th diagonal coefficient of is , andEquivalently one can take ; the trace does not depend on the orthonormal basis chosen.
Articles by others on the same topic
There are currently no matching articles.