TransWikia.com

Products of 3- and 4-vectors: consistency of the metric signature

Physics Asked on June 4, 2021

EDIT for clarification of question: Is it correct that the square of a 3-vector picks up a minus sign in the signature ${+—}$? If not, doesn’t that mean the ${-+++}$ convention is preferred (better) because it gives the right answer for products of 3- and 4-vectors?

Let the metric be the Minkowski metric in signature ${+—}$ with $c=1$. For some 4-vector $v^mu=(v^0,v^1,v^2,v^3)$, we have

begin{align}
v^2&=v^mu v^nueta_{munu}
&=v^mu big( v^0eta_{mu0} + v^1eta_{mu1} + v^2eta_{mu2} + v^3eta_{mu3} big)
&=v^mu big( v^0delta_{mu0} -v^1delta_{mu1}- v^2delta_{mu2} -v^3delta_{mu3} big)
&=v^mu big( v^0 -v^1- v^2 -v^3 big)~~.
end{align}

Noting that the individual components of $v$ are scalars multiplied by the four unit vectors $hat e^mu$, we define $v_mu=(v^0,-v^1,-v^2,-v^3)$ so that

begin{align}
v^2&=v^mu v_mu
&=v^0v_0+v^1v_1+v^2v_2+v^3v_3
&=big(v^0big)^2-big(v^1big)^2-big(v^2big)^2-big(v^3big)^2~~.
end{align}

However, if we consider a 3-vector $p^k=(v^1,v^2,v^3)$ such that $v^mu=v^0+p^k$, we have

begin{align}
p^2&=p^k p^jeta_{kj}
&=p^kbig( v^1eta_{k1} + v^2eta_{k2} + v^3eta_{k3} big)
&=p^k big( -v^1delta_{k1}- v^2delta_{k2} -v^3delta_{k3} big)
&=p^k big( -v^1- v^2 -v^3 big)~~.
end{align}

for which we would define $p_k=(-v^1,-v^2,-v^3)$ so that

begin{align}
p^2&=p^k p_k
&=v^1v_1+v^2v_2+v^3v_3
&= -big(v^1big)^2-big(v^2big)^2-big(v^3big)^2~~.
end{align}

However, this is not the correct answer. The correct answer is

$$p^2=vec pcdot vec p= big(v^1big)^2+big(v^2big)^2+big(v^3big)^2~~,$$

where we have implicitly taken the $eta_{jk}$ part of $eta_{munu}$ to have signature ${+++}$. What is going on here? How is this reconciled?

2 Answers

There is a free choice between ${+ - - - }$ and ${- +++ }$. The reason behind it is that product of the eigenvalues of both of them is $-1$ . But ${- - - }$ and ${+ ++ }$ are not the same because the product of the eigenvalues of the first one is $-1$ and the other one is $+1$.

Answered by Kian Maleki on June 4, 2021

As noted in the comments you are using the summation notation incorrectly. The following is true:

$$begin{align} v^2 &=: v^mu v^nu eta_{munu} &= v^mu v_mu &= v^0v_0-v^1v_1-v^2v_2-v^3v_3 end{align} tag{1}$$

On the other hand if we consider a $3$-vector like the momentum, $vec p$, we are no longer working $4$-dimensions, and so the correct metric to be using is the Euclidian metric, $delta_{ij}$:

$$begin{align} vec p^2=:p^ip^jdelta_{ij}=p^ip_i=p^1p_1+p^2p_2+p^3p_3. tag{2}end{align}$$

We note that the square of the four-momentum $(p)$ will "contain" the square of the three-momentum $(vec p)$ since $p=(p^0,vec p)^T$ (in slightly abusive notation), such that:

$$p^2=p^0p_0-vec p^2 tag{3}.$$

Answered by Charlie on June 4, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP