协变坐标与逆变坐标计算

这部分主要是介绍相对论运动学内容，目的是介绍四动量的计算。

狭义相对论是一套用来描述运动速度接近光速的质点运动学理论，由Einstein在1905年提出。粒子物理研究的粒子都是质量小、运动速度快的粒子，如光子以光速运动，电子、子等也都以接近光速运动。因此用于描述这些粒子运动的理论就是狭义相对论。

这部分首先介绍运动下的Lorentz变换，随后引出协变四矢量和逆变四矢量以及它们之间的运算，最终得到描述高速粒子运动的能量-动量四矢量和质壳方程。

Lorentz变换

Lorentz变换是指同一质点在两个相对运动的惯性参考系之间的坐标的变换关系。假设两个惯性参考系分别是系和系，其中系的原点沿着系的轴正方向以速度(大小为)运动。同一质点在系和系中的坐标和时间分别描述为和。狭义相对论指出两组坐标之间的变换关系满足Lorentz变换(Lorentz trasformation)：

其中，为光速。

Lorentz变换相关的重要结论可以参考狭义相对论相关教材。

四矢量

为更加简便地表述Lorentz变换，定义一组协变四矢量（covariant four-vector），也被称为协变坐标（covariant coordinates），用符号表示，即

利用协变坐标， Lorentz变换可以写成如下形式：

其中。Lorentz变换可以被进一步写成更加紧凑的形式：

针对上式给出如下说明：
(1) 是矩阵第列第行的矩阵元：

(2) 上式使用了Einstein求和规则，右式中指标出现了两次（称为哑指标），表示要对指标从到求和，即了并省略了。

在Lorentz变换中，变换前后不会发生变化的量称为不变量（invariance）。这个量记为，可以证明：

为了进一步简化表达式，引入Minkowski度规（the Minkowski metric）：

利用Einstein求和规则表述不变量。

进一步，定义逆变四矢量(contravariant four-vector)，也被称为逆变坐标(contravariant ordinates)，可以将不变量写得更加简洁：

其中逆变坐标定义为：.

即。上式也是协变坐标变换为逆变坐标的变换公式，两者通过Minkowski度规联系。同时得到，其中。

接下来讨论更加一般的两个协变坐标乘积的情况。给定两个四矢量分别写成和，它们之间的标量积(scalar product)定义为：

符号表示四矢量与自己的标量积：

能量、动量与相对论碰撞

为了突出重点，这部分将直接介绍能量-动量四矢量(the energy-momentum four-vector，简称能动四矢)，也被称为四动量(four-momentum)，并根据标量积定义，得到著名的质壳关系(mass-shell relation)，最后讨论相对论碰撞中的守恒量。

对于一个质点，假设它的质量为，能量为，动量在三个方向上的分量为，，，则定义它的四动量为：

其中为光速。容易得到。四动量的标量积为：

上式称为质壳方程(mass-shell equation)。如果粒子四动量满足质壳方程，就说这个粒子在壳(on shell)，否则就说这个粒子不在壳(off shell)。关于质壳方程的证明，可以参考相关教材。需要注意：

(1)当粒子静止时，即，得到，此即著名的质能关系式(mass-energy equivalence)；

(2)对于质量为的粒子，比如说光子，得到，，即它的运动速度为光速，能量等于动量大小乘上速度大小。

接下来是相对论碰撞相关部分。在经典碰撞中有两条基本守恒定律，即能量守恒定律和动量守恒定律。在相对论碰撞中也满足能量守恒定律和动量守恒定律，被统称为能动量守恒定律。

对于两体碰撞（），根据能量守恒，有；根据动量守恒，有；利用协变坐标，将这两条守恒定律写成。在实际运算过程中，通过标量积的形式表述它们的守恒律，即：

上式和质壳方程是计算相对论碰撞过程的主要关系式。

在质心系下，，；在打靶实验中。将条件带入方程求解。

对于衰变（），根据能量守恒有；根据动量守恒有。同时，带入能量守恒可以求解出或的动量大小。

总结：狭义相对论将时间和空间放在坐标的同等位置上，这不同于牛顿力学中坐标只包含空间，此时时间和空间不得不同等看待。基于光速不变原理的Lorentz变换是一切狭义相对论结论的基础，不变量定义的度规矩阵揭示了狭义相对论成立的空间几何——双曲空间。时间与能量相联系，空间与动量相联系，从而得到四动量的表达式。通过协变坐标不变量的表达式得到四动量满足的质壳方程。