Killing's equation from infinitesimal transformation

  • Thread starter cristo
  • Start date
  • #1
cristo
Staff Emeritus
Science Advisor
8,107
73

Main Question or Discussion Point

I know this isn't technically special or general relativity, but I'm posting this here since, hopefully, people in this forum will be familiar with the question!

Suppose the metric tensor is form-invariant under the transformation [itex]x\rightarrow\tilde{x}[/itex], so we require [tex]g_{ij}(x)=\frac{\partial\tilde{x}^k}{\partial x^i}\frac{\partial \tilde{x}^l}{\partial x^j}g_{kl}(\tilde{x})[/tex](*)

Now, suppose we take the infinitesimal transformation [tex]\tilde{x}^i=x^i+\varepsilon \xi^i(x)[/tex]

The textbook then says that (*) takes on, in order [itex]\varepsilon[/itex] the form [tex]0=\frac{\partial \xi^i(x)}{\partial x^k}g_{il}(x)+\frac{\partial\xi^j(x)}{\partial x^l}g_{kj}(x)+\xi^i(x)\frac{\partial g_kl(x)}{\partial x^i}[/tex].

I can't see how the author arrives at this. My calculation of (*) using the transformation gives [tex] g_{ij}(x)=\frac{\partial}{\partial x^i}\left[x^k+\varepsilon\xi^k(x)\right]\frac{\partial}{\partial x^j}\left[x^l+\varepsilon\xi^l(x)\right]g_{kl}(\tilde{x})[/tex]

And, on calculating the derivatives[tex]g_{ij}(x)=\left(\frac{\partial x^k}{\partial{x^i}} +\varepsilon \frac{\partial \xi^k}{\partial x^i}\right)\left(\frac{\partial x^l}{\partial x^j}+\varepsilon\frac{\partial\xi^l}{\partial x^j}\right)g_{kl}(\tilde{x})[/tex]

Expanding, and noting that [tex]\frac{\partial x^i}{\partial x^j}=\delta^i_j[/tex] gives [tex] g_{ij}(x)=g_{ij}(\tilde{x})+\varepsilon\frac{\partial\xi^k}{\partial x^i}g_{kj}(\tilde{x})+\varepsilon\frac{\partial \xi^k}{\partial x^j}g_{il}(\tilde{x})[/tex]

From here, I don't see how to get the metric tensors on the RHS in terms of x. I wonder if anyone could help me with this, or point out an error?
 

Answers and Replies

  • #2
dextercioby
Science Advisor
Homework Helper
Insights Author
12,981
540
You need to expand the [itex] g_{kl}(\tilde{x}) [/itex] in terms of [itex] g_{kl}(x) [/itex]

You'll get the remaining term easily.
 
  • #3
cristo
Staff Emeritus
Science Advisor
8,107
73
I'm not too sure how to do that though. Would I write [itex]g_{kl}(\tilde{x})=g_{kl}(x+\varepsilon\xi)[/itex]? If so, how would I expand that?
 
  • #4
289
0
Standard Taylor expansion,

[tex]g_{kl}(x+\epsilon \xi) = g_{lk}(x) + \epsilon \xi^{\nu} \frac{\partial (g_{kl}(x))}{\partial x^{\nu}} + \ldots[/tex]
 
  • #5
cristo
Staff Emeritus
Science Advisor
8,107
73
Standard Taylor expansion,

[tex]g_{kl}(x+\epsilon \xi) = g_{lk}(x) + \epsilon \xi^{\nu} \frac{\partial (g_{kl}(x))}{\partial x^{\nu}} + \ldots[/tex]
Ahh, thanks. I don't know why I didn't think of doing that!
 
  • #6
cristo
Staff Emeritus
Science Advisor
8,107
73
Ok, so I got the line I required (thanks to both of you for helping). So, I now have [tex]0=\frac{\partial \xi^l}{\partial x^j}g_{il}(x)+\frac{\partial \xi^k}{\partial x^i}g_{kj}(x)+\xi^m\frac{\partial g_{ij}(x)}{\partial x^m}[/tex]. The author now transforms this into the next line [tex]0=\frac{\partial \xi_i}{\partial x^j}+\frac{\partial \xi_j}{\partial x^i}+\xi^m\left(\frac{\partial g_{ij}}{\partial x^m}-\frac{\partial g_{mj}}{\partial x^i}-\frac{\partial g_{im}}{\partial x^j}\right)[/tex].

How does he do this? I get that the first two terms are just contracted with the metric tensor, but I don't get how the last term turns into the terms in the brackets. Is it something to do with the fact that in the first line we are differentiating the metric which depends on x, but in the second line we are differentiating only the components of the metric tensor?

Any help, as always, will be much appreciated!
 
  • #7
289
0
Is it something to do with the fact that in the first line we are differentiating the metric which depends on x, but in the second line we are differentiating only the components of the metric tensor?
No, you're still differentiating the same things, just the notation that each component of the metric is a function of position has been dropped since that's sort of obvious given you're differentiating with respect to x as it is.

The factor [tex]\left(\frac{\partial g_{ij}}{\partial x^m}-\frac{\partial g_{mj}}{\partial x^i}-\frac{\partial g_{im}}{\partial x^j}\right)[/tex] looks suspiciously like that of the Christoffel symbol (up to a metric contraction and a factor of -2)

[tex]\Gamma^{a}_{bc} = \frac{1}{2}g^{ad}(g_{db,c}+g_{dc,b}-g_{bc,d})[/tex] where [tex]_{,a} = \frac{\partial}{\partial x^{a}}[/tex]

I would hazard a guess (without putting pen to paper) that you're to use the fact [tex]\xi[/tex] is Killing, so it obeys [tex]\xi_{a;b}+\xi_{b;a}=0[/tex] where [tex]_{;a} = \nabla_{a}[/tex]. If you expand that out, you will find something extremely similar to the expression you're trying to derive, if not the expression itself. It's been a while since I did anything about Killing vectors and I can't remember if that is the component form of the Killing equation or not, but it's too similar to the connection [tex]\Gamma[/tex] to be unconnected (no pun intended).

I hope that helps :smile:
 
  • #8
cristo
Staff Emeritus
Science Advisor
8,107
73
You're right that the term is suspiciously like the Christoffel symbol (good spot there!), but I can't use the fact that [itex]\xi[/itex] is a Killing vector, since this exercise is supposed to be deriving that!

Ok, so I get that fact that (x) can be dropped; I imagine it was only left in earlier since the metric depended on [itex]\tilde{x}[/tex] before.

I think I may have seen where the extra terms come from. We have [tex]0=\frac{\partial \xi^l}{\partial x^j}g_{il}+\frac{\partial \xi^k}{\partial x^i}g_{kj}+\xi^m\frac{\partial g_{ij}}{\partial x^m}[/tex]. Now, in order to get to the next line we want to contract [itex]\xi^l[/itex] in the partial derivative of the first term. But, what I neglected before, was that the metric tensor and the partial derivative operator do not commute! So, [tex]\frac{\partial \xi_i}{\partial x^j}=\frac{\partial}{\partial x^j}(\xi^lg_{il})=\frac{\partial \xi^l}{\partial x^j}g_{il}+\xi^l\frac{\partial g_{il}}{\partial x^j}[/tex]. Thus the extra two subtracted terms come about from this.

Does that sound right?

(after that we go on to put in [itex]\Gamma[/itex] and thus give the form of Killing's equation you stated above)
 
  • #9
216
1
Ok, so I got the line I required (thanks to both of you for helping). So, I now have [tex]0=\frac{\partial \xi^l}{\partial x^j}g_{il}(x)+\frac{\partial \xi^k}{\partial x^i}g_{kj}(x)+\xi^m\frac{\partial g_{ij}(x)}{\partial x^m}[/tex]. The author now transforms this into the next line [tex]0=\frac{\partial \xi_i}{\partial x^j}+\frac{\partial \xi_j}{\partial x^i}+\xi^m\left(\frac{\partial g_{ij}}{\partial x^m}-\frac{\partial g_{mj}}{\partial x^i}-\frac{\partial g_{im}}{\partial x^j}\right)[/tex]


How does he do this?
This is simply a result of the Leibniz property of the partial derivative. More explicitly,

[tex]
0=\frac{\partial \xi^l}{\partial x^j}g_{il}(x)+\frac{\partial \xi^k}{\partial x^i}g_{kj}(x)+\xi^m\frac{\partial g_{ij}(x)}{\partial x^m}[/tex]
[tex]
0 = \partial_j(\xi^lg_{il}) + \partial_i(\xi^kg_{kj}) + \xi^m\partial_mg_{ij} - \xi^l\partial_jg_{ij} - \xi^k\partial_ig_{kj}
[/tex]
[tex]
0 = 2\partial_{(i}\xi_{j)} + \xi^m(\partial_m g_{ij} - \partial_jg_{im} - \partial_i g_{mj}[/tex]

I've used [itex]2\partial_{(i}\xi_{j)}\equiv\partial_i\xi_j + \partial_j\xi_i[/itex] here.
 
Last edited:
  • #10
cristo
Staff Emeritus
Science Advisor
8,107
73
This is simply a result of the Leibniz property of the partial derivative. More explicitly,

[tex]
0=\frac{\partial \xi^l}{\partial x^j}g_{il}(x)+\frac{\partial \xi^k}{\partial x^i}g_{kj}(x)+\xi^m\frac{\partial g_{ij}(x)}{\partial x^m}[/tex]
[tex]
0 = \partial_j(\xi^lg_{il}) + \partial_i(\xi^kg_{kj}) + \xi^m\partial_mg_{ij} - \xi^l\partial_jg_{ij} - \xi^k\partial_ig_{kj}
[/tex]

You should now be able to see how to obtain the desired result.
Yup, I got it, thanks.
 

Related Threads on Killing's equation from infinitesimal transformation

Replies
2
Views
1K
Replies
23
Views
1K
Replies
5
Views
649
Replies
3
Views
3K
  • Last Post
Replies
19
Views
3K
Replies
8
Views
640
Replies
31
Views
1K
Replies
6
Views
912
Replies
27
Views
18K
Replies
2
Views
1K
Top