For a smooth real function on the unit two-sphere, integration of the covariant-derivative commutation formula gives the displayed identity. Explicitly, , and the unit sphere has . Integrating by parts once and then again proves the formula. It controls all angular second derivatives by the Laplace-Beltrami operator without singular estimates at coordinate poles.
Articles by others on the same topic
There are currently no matching articles.