Revision as of 13:21, 10 October 2007 editSmackBot (talk | contribs)3,734,324 editsm Date/fix the maintenance tags or gen fixes← Previous edit |
Revision as of 01:06, 6 May 2008 edit undo24.12.188.135 (talk)No edit summaryNext edit → |
Line 1: |
Line 1: |
|
{{Merge|Bochner identity|date=October 2007}} |
|
{{Merge|Bochner identity|date=October 2007}} |
|
{{context}} |
|
{{context}} |
|
In ], '''Bochner's formula''' is a significant result of ] in ]. Loosely speaking, it says that the difference between the two ]-like operators on the tangent bundle of a ] is a zero-order operator determined by the Ricci curvature. It is an example of a ]. Bochner used this formula to prove the ]. |
|
In ], '''Bochner's formula''' : <math> |
|
|
\triangle f = |\nabla X|^2 - Ric(X,X) |
|
|
<\math>, where <math> f = \frac{1}{2}g(X,X) <\math>, |
|
|
is a significant result of ] in ]. Loosely speaking, it says that the difference between the two ]-like operators on the tangent bundle of a ] is a zero-order operator determined by the Ricci curvature. It is an example of a ]. Bochner used this formula to prove the ]. |
|
|
|
|
|
The Bochner formula is often proved using ] or ] methods. |
|
The Bochner formula is often proved using ] or ] methods. |