
#1
May2711, 08:15 AM

P: 211

1. The problem statement, all variables and given/known data
I'm looking at the wikipedia article about fourmomentum and I can't seem to get things right. It says Calculating the Minkowski norm of the fourmomentum gives a Lorentz invariant quantity equal (up to factors of the ''c'') to the square of the particle's proper mass: [tex]\mathbf{P}^2 =  P^\mu P_\mu =  \eta_{\mu\nu} P^\mu P^\nu = {E^2 \over c^2}  \vec p^2 = m^2c^2 [/tex] where we use the convention that [tex]\eta^{\mu\nu} = \begin{pmatrix} 1 & 0 & 0 & 0\\ 0 & 1 & 0 & 0\\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1 \end{pmatrix}[/tex] is the reciprocal of the metric tensor of special relativity. So I get that I can do that straightforward by taking the dot product [tex]P^\mu P_\mu[/tex] (I don't know why there is a minus sign, but that's wikipedia after all). But how to calculate it from: [tex] \eta_{\mu\nu} P^\mu P^\nu[/tex]? Should I contract the given [tex]\eta^{\mu\nu}[/tex] using [tex]g^{\mu\nu}[/tex]? ([tex]eta^{\mu\nu}=g^{\mu \alpha}g^{\nu \beta}\eta_{\alpha \beta}[/tex])? And how does that act on [tex]P^\mu P^\nu[/tex]? Since the indices should stand for certain [tex]\eta[/tex] and [tex]\nu[/tex] in those tensors, right? I'm kinda confused as to how did they manage to get the result using that notation :\ 



#2
May2711, 11:13 AM

P: 144

My (probably crappy/incorrect) explanation of this is that [tex] P^\mu [/tex] is well defined but [tex] P_\mu [/tex] is not. In order to work with the later, we need to raise it's index, which is fairly trivial in minkowski space (but in curved spacetimes the metric will be more significant).
As far as how to calculate it, just work with the indices, notice that [tex]\eta_{\mu \nu}[/tex] is only nonzero when [tex] \mu = \nu [/tex] and is 1 except when [tex]\mu = \nu = 0 [/tex] where it will be 1. From that I think you get the result. 



#3
May2711, 12:01 PM

P: 211

Isn't a difference in covariant and contravariant 4  vectors in just  signs for covariant space coordinates?
[tex]P^\mu=\begin{pmatrix} E\\ p_1\\ p_2\\ p_3\end{pmatrix}[/tex] and then [tex]P_\mu=\begin{pmatrix} E\\ p_1\\ p_2\\ p_3\end{pmatrix}[/tex]? Because then the dot product is straightforward: [tex]P^\mu P_\mu=E^2p_1^2p_2^2p_3^2[/tex]. That part is clear, what is not is how to deal with the [tex]\eta_{\mu\nu} P^\mu P^\nu[/tex] part... 



#4
May2711, 07:32 PM

P: 144

Tensor notation issue
The whole changing from covariant to contravariant is like that because the metric is simple. In some crazy metric it won't be that simple.
[tex] \eta_{\mu \nu} P^{\mu}=P_{\nu}[/tex] [tex] \eta_{\mu\nu} P^{\mu} = \begin{pmatrix} 1 & 0 & 0 & 0\\ 0 & 1 & 0 & 0\\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1 \end{pmatrix}\begin{pmatrix} E\\ p_1\\ p_2\\ p_3\end{pmatrix}=  \begin{pmatrix} E\\ p_1\\ p_2\\ p_3\end{pmatrix}[/tex] 



#5
May2811, 03:41 AM

P: 211

Yeah, I assume that I work in standard basis (flat Minkowski space, right?).
I think I got it. Since [tex]\eta_{\mu\nu} P^{\mu} = \begin{pmatrix} 1 & 0 & 0 & 0\\ 0 & 1 & 0 & 0\\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1 \end{pmatrix}\begin{pmatrix} E\\ p_1\\ p_2\\ p_3\end{pmatrix}= \begin{pmatrix} E\\ p_1\\ p_2\\ p_3\end{pmatrix}[/tex] Then [tex]\eta_{\mu\nu} P^\mu P^\nu[/tex] is just [tex]\begin{pmatrix} E\\ p_1\\ p_2\\ p_3\end{pmatrix}\begin{pmatrix} E\\ p_1\\ p_2\\ p_3\end{pmatrix}=E^2p_1^2p_2^2p_3^2[/tex] right? 


Register to reply 
Related Discussions  
Issue with notation  Calculus & Beyond Homework  7  
Tensor notation  Differential Geometry  3  
Notation issue: Grad with a vector subscript  Differential Equations  2  
Notation issue with the integration of exponents.  Introductory Physics Homework  1  
Notation issue  Classical Physics  3 