Can a Killing Vector Field Prove v^\mu \nabla_\alpha R=0?

Click For Summary
The discussion focuses on proving that for a Killing Vector field v^\mu, the expression v^\mu \nabla_\mu R = 0 holds true. Key equations referenced include the relationship between the Riemann tensor and covariant derivatives, as well as the second Bianchi identity. Participants clarify that the initial equation was misstated, correcting it to v^\mu \nabla_\mu R = 0 and addressing the Killing equation's sign. The proof involves starting with the expression \nabla_\nu (v^\mu {R^\nu}_\mu) and applying the relevant identities and properties of the Killing Vector field. Overall, the conversation emphasizes the importance of precise notation and the application of tensor calculus in the proof.
loops496
Messages
24
Reaction score
3

Homework Statement


Suppose v^\mu is a Killing Vector field, the prove that:
v^\mu \nabla_\alpha R=0

Homework Equations


1) \nabla_\mu \nabla_\nu v^\beta = R{^\beta_{\mu \nu \alpha}} v^\alpha
2) The second Bianchi Identity.
3) If v^\mu is Killing the it satisfies then Killing equation, viz. \nabla_\mu v_\nu - \nabla_\nu v_\mu=0

The Attempt at a Solution


I know I should use normal coordinates making my life easier with the Christoffels and use the that the Riemann tensor appears when I have two covariant derivatives acting on a vector field, but I'm stuck and can't figure out how to proceed :(. Any help will be greatly appreciated.

M.
 
Last edited:
Physics news on Phys.org
The equation you wrote down to prove would require that ##\nabla_\alpha R =0##. Perhaps you meant ## v^\mu \nabla_\mu R =0##? Also the Killing equation has a + sign: i.e. ##\nabla_\mu v_\nu + \nabla_\nu v_\mu =0##.

If so, you should be able to start with the expression ##\nabla_\nu (v^\mu {R^\nu}_\mu)##. You will need to use (1), the 2nd Bianchi identity in the form ##2 \nabla_\nu {R^\nu}_\mu = \nabla_\mu R## and the Killing equation will make various expressions vanish by symmetry of indices.
 
  • Like
Likes loops496
You're totally rigth fzero, it is v^\mu \nabla_\mu R=0 and I mistyped the sign killing equation (ooops sorry) shame on me :/.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
940
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
7K
  • · Replies 6 ·
Replies
6
Views
2K