Weinberg, QTF, pg 60:very specific question

[Living_Dog]

I have been able to read through up to here (middle of pg. 60). The instructions given are not clear: (I arranged the text so as to be easier to read on the page here.)

"Next, let's apply rules (2.4.8), (2.4.9)

Eq. (2.4.8): U(\Lambda,a)J^{\rho\sigma}U^{-1}(\Lambda,a) = \Lambda_{\mu}^{\rho}\Lambda_{\nu}^{\sigma}(J^{\mu\nu} - a^{\mu}P^{\nu} + a^{\nu}P^{\mu})

Eq. (2.4.9): U(\Lambda,a)P^{\rho}U^{-1}(\Lambda,a) = \Lambda_{\mu}^{\rho}P^{\mu}

to a transformation that is itself infinitesimal, i.e.,

\Lambda^{\mu}_{\nu} = \delta^{\mu}_{\nu} + \omega^{\mu}_{\nu}

and

a^{\mu} = \epsilon^{\mu}...

Using Eq. (2.4.3),

Eq. (2.4.3): U(1 + \omega , \epsilon) = 1 + \frac{1}{2} i \omega_{\rho\sigma} J^{\rho\sigma} - \epsilon_{\rho} P^{\rho} + . . .

and keeping only terms of first order in \omega and \epsilon Eqs. (2.4.8) and (2.4.9) now become

Eq. (2.4.10): i [\frac{1}{2} \omega_{\mu\nu} J^{\mu\nu} - \epsilon_{\mu} P^{\mu} , J^{\rho\sigma}] = \omega_{\mu}^{\rho} J^{\mu\sigma} + \omega_{\nu}^{\sigma} J^{\sigma\nu} - \epsilon^{\rho} P^{\sigma} + \epsilon^{\sigma} P^{\rho}

and

Eq. (2.4.11): i [\frac{1}{2} \omega_{\mu\nu} J^{\mu\nu} - \epsilon_{\mu} P^{\mu} , P^{\rho}] = \omega_{\mu}^{\rho} P^{\mu}."


This may be a shot in the dark, but if I don't ask, I'll never know.

Thanks in advance!

 

[Fredrik]

The instructions tell you to replace every a^\mu in (2.4.8) and (2.4.9) with \epsilon^\mu, and every \Lambda^\mu{}_\nu with \delta^\mu_\nu+\omega^\mu{}_\nu.

This turns (2.4.8) into

(1+\frac i 2\omega_{\alpha\beta}J^{\alpha\beta}-i\epsilon_\alpha P^\alpha)J^{\rho\sigma}(1-\frac i 2\omega_{\gamma\delta}J^{\gamma\delta}+i\epsilon_\gamma P^\gamma)=(\delta^\rho_\mu+\omega^\rho{}_\mu)(\delta^\sigma_\nu+\omega^\sigma{}_\nu)(J^{\mu\nu}-\epsilon^\mu P^\nu+\epsilon^\nu P^\mu)

Looks like you forgot an i. I may have introduced some typos on my own though. These things have to agree order-by-order in each variable, just like two polynomials that are equal for all values of all the variables. (Wouldn't that mean that they're the same polynomial? Yes it would, that's the point). The zeroth order terms are

J^{\rho\sigma}=\delta^\rho_\mu\delta^\sigma_\nu J^{\mu\nu}

Next, consider the terms that are of first order in components of \omega.

(I have to leave the computer for a while, but I might post those details in a couple of hours).

Also, make sure you understand the stuff in this post (about the notation) perfectly.

Edit:

\frac i 2\omega_{\alpha\beta}J^{\alpha\beta}J^{\rho\sigma}-J^{\rho\sigma}\frac i 2\omega_{\gamma\delta}J^{\gamma\delta}=\omega^\rho{}_\mu\delta^\sigma_\nu J^{\mu\nu}+\delta^\rho_\mu\omega^\sigma{}_\nu J^{\mu\nu}

\frac i 2\omega_{\alpha\beta}[J^{\alpha\beta},J^{\rho\sigma}]=\omega^\rho{}_\mu J^{\mu\sigma}+\omega^\sigma{}_\nu J^{\rho\nu}

Looks like you got an index wrong in the last term on the right.

Weinberg kept all of the first order terms, so to get his result you repeat the above for terms of first order in \epsilon and add the result to the result I got. Then do the same for (2.4.9).

 

[Living_Dog]

The instructions tell you to replace every a^\mu in (2.4.8) and (2.4.9) with \epsilon^\mu, and every \Lambda^\mu{}_\nu with \delta^\mu_\nu+\omega^\mu{}_\nu.

This turns (2.4.8) into

(1+\frac i 2\omega_{\alpha\beta}J^{\alpha\beta}-i\epsilon_\alpha P^\alpha)J^{\rho\sigma}(1-\frac i 2\omega_{\gamma\delta}J^{\gamma\delta}+i\epsilon_\gamma P^\gamma)=(\delta^\rho_\mu+\omega^\rho{}_\mu)(\delta^\sigma_\nu+\omega^\sigma{}_\nu)(J^{\mu\nu}-\epsilon^\mu P^\nu+\epsilon^\nu P^\mu)

Looks like you forgot an i. I may have introduced some typos on my own though.
...

D'OH! I didn't associate the Unitary operators of (2.4.8) and (2.4.9), U(\Lambda,a) and U^{-1}(\Lambda,a), with (2.4.3)!

I kept thinking that the \Lambda's were being replaced ("...itself...") That's what I was missing... the forest for the trees.

And yes, I dropped an 'i' for the \epsilon_\rho P^\rho term of (2.4.3).

(I have to leave the computer for a while, but I might post those details in a couple of hours).

No need. I was confused by that one term only and the rest should be straight forward. I actually find the indexing to be helpful.

Also, make sure you understand the stuff in https://www.physicsforums.com/showthread.php?p=2367047" (about the notation) perfectly.

That was another question I had! How could the 2 LT's go from a forward and an inverse boost to 2 inverse boosts?

\emph{A million thanks!}

 

[Living_Dog]

U(\Lambda, a) \rightarrow U(1 + \omega, a) \approx 1 + \frac{i}{2}\omega_{\rho\sigma}J^{\rho\sigma} - i\epsilon_\rho P^\rho + ...

then how does one write

U^{-1}(\Lambda, a)??

U^{-1}(\Lambda, a) \rightarrow U^{-1}(1 + \omega, a) \approx 1 - \frac{i}{2}\omega_{\rho\sigma}J^{\rho\sigma} + i\epsilon_\rho P^\rho + ... ?

Since

{\Lambda^\mu}_\nu = \delta^\mu_\nu + {\omega^\mu}_\nu

then

{(\Lambda^{-1})^\mu}_\nu = {\Lambda_\nu}^\mu = \delta^\mu_\nu + {\omega_\nu}^\mu

But how is this incorporated into

U^{-1}(\Lambda, a) ??



(Sorry, I thought I could do the details by myself.)