Bochner-Weitzenbock formula (-> Laplacian)


by Sajet
Tags: bochnerweitzenbock, formula, laplacian
Sajet
Sajet is offline
#1
Jan2-13, 11:30 AM
P: 48
Hi! I'm trying to understand a proof for the Bochner-Weitzenbock formular. I'm sorry I have to bother you with such a basic question but I've worked at this for more than an hour now, but I just don't get the very first step, i.e.:

[itex]-\frac{1}{2} \Delta |\nabla f|^2 = \frac{1}{2} \sum_{i}X_iX_i \langle \nabla f, \nabla f \rangle[/itex]
Where we are in a complete Riemannian manifold, [itex]f \in C^\infty(M)[/itex] at a point [itex]p \in M[/itex], with a local orthonormal frame [itex]X_1, ..., X_n[/itex] such that [itex]\langle X_i, X_j \rangle = \delta_{ij}, D_{X_i}X_j(p) = 0[/itex], and of course

[itex]\langle \nabla f, X \rangle = X(f) = df(X)[/itex]
[itex]\textrm{Hess }f(X, Y) = \langle D_X(\nabla f), Y \rangle[/itex]
[itex]\Delta f = - \textrm{tr(Hess )}f[/itex]

I've tried to use the Levi-Civita identities, but I'm getting entangled in these formulas and don't get anywhere.

Any help is appreciated.
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
Sajet
Sajet is offline
#2
Jan3-13, 09:11 AM
P: 48
I got it now :)
dextercioby
dextercioby is offline
#3
Jan3-13, 10:01 AM
Sci Advisor
HW Helper
P: 11,863
You may try to post a solution/sketch of solution for the one interested. That would be nice of you.

Sajet
Sajet is offline
#4
Feb10-13, 08:32 AM
P: 48

Bochner-Weitzenbock formula (-> Laplacian)


Sorry, i didn't notice the post. In case anyone ever finds this through google or the search function, here it is:

[itex]-\frac{1}{2} \Delta\|\nabla f\|^2 = \frac{1}{2}\text{tr}(\text{Hess}(\langle \nabla f, \nabla f \rangle ))[/itex]
[itex]= \frac{1}{2}\sum_{i=1}^n \langle \nabla_{X_i} \text{grad}\langle \nabla f, \nabla f \rangle, X_i\rangle[/itex] (<- these are the diagonal entries of the representation matrix)
[itex]= \frac{1}{2}\sum_{i=1}^n X_i \langle \text{grad}\langle \nabla f, \nabla f\rangle, X_i\rangle - \langle \text{grad}\langle \nabla f, \nabla f\rangle, \nabla_{X_i} X_i\rangle[/itex] (where the second summand is zero)
[itex]= \frac{1}{2} \sum_{i=1}^n X_i X_i \langle \nabla f, \nabla f\rangle[/itex]


Register to reply

Related Discussions
Laplacian Calculus & Beyond Homework 10
Characteristic functions, Bochner's Thm. Set Theory, Logic, Probability, Statistics 1
Laplacian solution(page 2) to Jackson 1.5 Calculus 1
what is a laplacian? Calculus & Beyond Homework 0
2D Laplacian Calculus 9