| Revision as of 15:04, 10 April 2014 editMonkbot (talk | contribs)Bots3,695,952 editsm →References: Task 5: Fix CS1 deprecated coauthor parameter errors (bot trial)← Previous edit | Revision as of 12:03, 30 May 2018 edit undo71.209.33.238 (talk) →Statement of the result: Added linkTags: Mobile edit Mobile web editNext edit → | ||
| Line 2: | Line 2: | ||
| ==Statement of the result== | ==Statement of the result== | ||
| Let ''M'' and ''N'' be Riemannian |
Let ''M'' and ''N'' be ]s and let ''u'' : ''M'' → ''N'' be a harmonic map. Let d''u'' denote the derivative (pushforward) of ''u'', ∇ the ], Δ the ], Riem<sub>''N''</sub> the ] on ''N'' and Ric<sub>''M''</sub> the ] on ''M''. Then | ||
| :<math>\frac12 \Delta \big( | \nabla u |^{2} \big) = \big| \nabla ( \mathrm{d} u ) \big|^{2} + \big\langle \mathrm{Ric}_{M} \nabla u, \nabla u \big\rangle - \big\langle \mathrm{Riem}_{N} (u) (\nabla u, \nabla u) \nabla u, \nabla u \big\rangle.</math> | :<math>\frac12 \Delta \big( | \nabla u |^{2} \big) = \big| \nabla ( \mathrm{d} u ) \big|^{2} + \big\langle \mathrm{Ric}_{M} \nabla u, \nabla u \big\rangle - \big\langle \mathrm{Riem}_{N} (u) (\nabla u, \nabla u) \nabla u, \nabla u \big\rangle.</math> | ||
Revision as of 12:03, 30 May 2018
In mathematics — specifically, differential geometry — the Bochner identity is an identity concerning harmonic maps between Riemannian manifolds. The identity is named after the American mathematician Salomon Bochner.
Statement of the result
Let M and N be Riemannian manifolds and let u : M → N be a harmonic map. Let du denote the derivative (pushforward) of u, ∇ the gradient, Δ the Laplace–Beltrami operator, RiemN the Riemann curvature tensor on N and RicM the Ricci curvature tensor on M. Then
See also
References
- Eells, J; Lemaire, L. (1978). "A report on harmonic maps". Bull. London Math. Soc. 10 (1): 1–68. doi:10.1112/blms/10.1.1. MR 0495450.