Solving Lorentz Matrix Product Problem - Help Needed

[Dixanadu]

Hey guys,

So consider the following product of matrices:
[itex] (p_{1}^{\mu}\cdot p_{1}^{\prime\nu} -(p_{1}\cdot p_{1}')\eta^{\mu\nu}+p_{1}^{\nu}p_{1}^{\prime\mu})(p_{2\mu}p_{2\nu}'-(p_{2}\cdot p_{2}')\eta_{\mu\nu}+p_{2\nu}p_{2\mu}') [/itex]

where eta is the Minkowski metric.

I keep getting

[itex]2(p_{1}\cdot p_{2})(p_{1}'\cdot p_{2}')+2(p_{1}\cdot p_{2}')(p_{1}'\cdot p_{2}) - 3(p_{1}\cdot p_{1}')(p_{2}\cdot p_{2}')[/itex]

But apparently its wrong; I'm meant to get just
[itex]2(p_{1}\cdot p_{2})(p_{1}'\cdot p_{2}')+2(p_{1}\cdot p_{2}')(p_{1}'\cdot p_{2}) [/itex]

Cant figure it out for the life of me -- someone please help!

 

[Orodruin]

It would be easier to see where you go wrong if you include your middle steps. The answer you are supposed to get seems correct.

 

[Dixanadu]

Okay I'll write it out explicitly for you, please bear with me a moment.

 

[Dixanadu]

Here it is...

Btw is [itex]\eta^{\mu\nu}\eta_{\mu\nu}=1 [/itex] or [itex]-1[/itex] lol XD I've assumed its +1

 

[Orodruin]

It is neither ...
$$
\eta_{\mu\nu} \eta^{\mu\nu} = \delta^\mu_\mu = \ldots
$$

Edit: Your first expression in your attempt also does not match what you wrote in the OP. Only what you wrote in the attempt makes sense together with the presumtive answer so I am going to edit your OP to reflect this.

 

[Dixanadu]

OMG so those terms vanish? :O

 

[Orodruin]

OMG so those terms vanish? :O

That would depend on what terms you are referring to. What did you get for the trace of the delta?

 

[Dixanadu]

That's fine there is a typo...there is a cdot somewhere it shouldn't be in the first term.

But mu isn't = nu and there is only one term where the two etas are being contracted. If that term goes to 0 I get

 

[Orodruin]

Sorry, but it is not clear what you are doing with your etas. What did you get for ##\eta^{\mu\nu}\eta_{\mu\nu}## in the end? This is of crucial importance for the problem so you need to write these steps out. Neglecting the term where the etas contract you should get -4 in front of the term where the p1s are contracted with each other (and te p2s with each other).

 

[Dixanadu]

I think it's easier if I just tell you a few terms. So in each line there is an example of a product of terms:

 

[Orodruin]

Yes, the question mark is the crucial point here. What is the trace of the delta tensor?

 

[Dixanadu]

is it 4..?

 

[Dixanadu]

Yes doctor that solves my problem. The terms now cancel if I have a factor of 4 in front of one of them due to the trace of the delta tensor in spacetime. You saved the day once more doctor, you should consider becoming a superhero :D thank you!

 

[Orodruin]

Just for closure: Yes, it is 4. In general it is equal to the total number of dimensions.