MTW Exercise 25.5 b) - killing vectors

  • Thread starter zn5252
  • Start date
  • #1
72
0

Main Question or Discussion Point

hi there,
In this Ex ( see attached snapshot ), point b), the poisson bracket equation is not so straightforward to obtain.
Please correct my Poisson Bracket expansion here :
The first one which is provided is simpler :
[ε,η] = εμδμηρ - ημδμερ = ζη

and the monster one :

[pε,pη] = [pμεμ,pβηβ] = (pμεμ)∂μ(pβηβ) -
(pμημ)∂μ(pβεβ)

Thanks,
 

Attachments

Answers and Replies

  • #2
WannabeNewton
Science Advisor
5,803
530
What you have written down doesn't make sense. Thankfully for you it's still quite simple :)

##[p_{\mu}\xi^{\mu},p_{\mu}\eta^{\mu}] = \frac{\partial }{\partial x^{\lambda}}(p_{\mu}\xi^{\mu})\frac{\partial }{\partial p_{\lambda}}(p_{\nu}\eta^{\nu})-\frac{\partial }{\partial p_{\lambda}}(p_{\mu}\xi^{\mu})\frac{\partial }{\partial x^{\lambda}}(p_{\nu}\eta^{\nu})## and keep in mind that ##\xi^{\mu}=\xi^{\mu}(x^{\nu})##, ##\eta^{\mu} = \eta^{\mu}(x^{\nu})## as well as ##\frac{\partial p_{\mu}}{\partial p_{\nu}} = \delta^{\nu}_{\mu}##. The rest is a straightforward calculation.

EDIT: I must admit that this entire exercise is a bit weird. Showing that the commutator of two killing fields is also a killing field is way more straightforward than this.
 
Last edited:
  • #3
72
0
hey Mate,
Thanks for your reply. Well it seems I got confused here. I had based my second commutation on the first one. In my very first attempt I had indeed written your expression but had forgotten that the other variable was x not either of the killing vectors ε or η....
Damn that got me wrong all the way !
At the beginning I had started with the Jacobi identity but did not check out ...
Thanks very much !
 
  • #4
72
0
What you have written down doesn't make sense. Thankfully for you it's still quite simple :)

By the way, why it does not make sense. It does if it were a commutation relation and not a Poisson bracket. What do you think ?
 
  • #5
WannabeNewton
Science Advisor
5,803
530
Yeah what you wrote down is fine for a Lie bracket of vector fields on a smooth manifold but what you want is a Poisson bracket of scalar fields that are functions of phase space coordinates (cotangent bundle to the smooth manifold).

Did you get the final result by the way? Feel free to ask if you get stuck elsewhere.
 
  • #6
72
0
Ok let us expand out your expression above :

(pμξμ)[itex]\frac{∂(p_{v}η^{v})}{∂p_{λ}}[/itex]−(pvηv)[itex]\frac{∂(p_{v}ε^{v})}{∂p_{λ}}[/itex] =
( pμεμ + pμεμ ) ( ηλ + pv[itex]\frac{∂(η^{v})}{∂p_{λ}}[/itex] ) -
( pvηv + pvηv ) ( ελ + pv[itex]\frac{∂(ε^{v})}{∂p_{λ}}[/itex] )
Now we have : [itex]\frac{∂(ε^{v})}{∂p_{λ}}[/itex] = 0 = [itex]\frac{∂(η^{v})}{∂p_{λ}}[/itex]
we are left with :
( pμεμ + pμεμ ) ( ηλ ) -
( pvηv + pvηv ) ( ελ )
This gives :
pμεμηλ + pμεμ ηλ - pvηvελ - pvηvελ

Now the second and the last term would yield the result (i.e. -pζ based on the commutation of ε and η) which means that the first and the third terms would add up to 0. How do you think ?
 
  • #7
WannabeNewton
Science Advisor
5,803
530
Remember that we are working in phase space coordinates ##\{x^{\mu},p_{\mu}\}## so ##\frac{\partial p_{\mu}}{\partial x^{\nu}} = 0##. This makes the first and third terms vanish.
 
  • #8
72
0
EDIT: I must admit that this entire exercise is a bit weird. Showing that the commutator of two killing fields is also a killing field is way more straightforward than this.
Yes there is a much shorter version using Lie derivatives indeed...
 
  • #9
72
0
  • #10
WannabeNewton
Science Advisor
5,803
530
Haha thanks for the link bud. Take care and have fun!
 

Related Threads for: MTW Exercise 25.5 b) - killing vectors

  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
2
Views
949
Replies
8
Views
2K
Replies
1
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
11
Views
3K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
20
Views
11K
Top