Revision as of 00:36, 19 October 2009 editTosha (talk | contribs)Extended confirmed users, Pending changes reviewers3,714 editsNo edit summary← Previous edit | Revision as of 01:03, 19 October 2009 edit undoTosha (talk | contribs)Extended confirmed users, Pending changes reviewers3,714 editsNo edit summaryNext edit → | ||
Line 2: | Line 2: | ||
{{Context|date=October 2009}} | {{Context|date=October 2009}} | ||
In ], '''Bochner's formula''' is a statement relating ] on a ] <math> (M, g) </math> to the ]. More specifically, if <math> u : M \rightarrow \mathbb{R} </math> is a harmonic function (i.e., <math> \triangle_g u = 0 </math>, where <math> \triangle_g </math> is the ] with respect to <math> g </math>), then | In ], '''Bochner's formula''' is a statement relating ] on a ] <math> (M, g) </math> to the ]. More specifically, if <math> u : M \rightarrow \mathbb{R} </math> is a harmonic function (i.e., <math> \triangle_g u = 0 </math>, where <math> \triangle_g </math> is the ] with respect to <math> g </math>), then | ||
⚫ | :<math> | ||
⚫ | <math> | ||
\triangle \frac{1}{2}|\nabla u| ^2 = |\nabla^2 u|^2 + \mbox{Ric}(\nabla u, \nabla u) | \triangle \frac{1}{2}|\nabla u| ^2 = |\nabla^2 u|^2 + \mbox{Ric}(\nabla u, \nabla u) | ||
</math>, | </math>, | ||
where <math> \nabla u </math> is the ] of <math>u</math> with respect to <math> g</math>. Bochner used this formula to prove the ]. | where <math> \nabla u </math> is the ] of <math>u</math> with respect to <math> g</math>. Bochner used this formula to prove the ]. | ||
Revision as of 01:03, 19 October 2009
It has been suggested that this article be merged with Bochner identity. (Discuss) Proposed since February 2009. |
This article provides insufficient context for those unfamiliar with the subject. Please help improve the article by providing more context for the reader. (October 2009) (Learn how and when to remove this message) |
In mathematics, Bochner's formula is a statement relating harmonic functions on a Riemannian manifold to the Ricci curvature. More specifically, if is a harmonic function (i.e., , where is the Laplacian with respect to ), then
- ,
where is the gradient of with respect to . Bochner used this formula to prove the Bochner vanishing theorem.
The Bochner formula is often proved using supersymmetry or Clifford algebra methods.
Variations and generalizations
See also
This geometry-related article is a stub. You can help Misplaced Pages by expanding it. |