English

世界线与固有时

设 为实直线 的任意闭区间。连续映射 称为闵可夫斯基空间 中的参数曲线。在由 的基 生成的惯性系中,这样的曲线可写成四个实函数 。我们常将这些函数写作 以代替 ,并且通常假定它们可微。

若参数曲线 经过坐标为 的事件 ,从而对某个 有 ,则定义曲线在 处的切 4-向量为如下给出的 4-向量 :

该定义与 上正交标准基 的选择无关,因为若 是通过洛伦兹变换 相关联的第二个正交标准基,则

参数曲线在处称为类时、类空或类光,如果其在处的切4-向量分别为类时、类空或类光。假设物质粒子的路径在其经过的所有事件处均为类时,并且常被称为该粒子的世界线(world-line)(见图9.2)。这一假设等价于要求粒子的速度始终小于,因为

图 9.2 实物粒子的世界线
图 9.2 实物粒子的世界线

在设定时。因此

对于世界线上两个相邻事件, 与 ,令

其中

在极限 下

因此

由于粒子的速度处处小于 ,可利用速度的相对论变换律,即式 (9.19),求出旋转与推动变换的组合,即式 (9.8) 和式 (9.14),它在粒子路径上任意给定点 处将粒子的速度变换为零。任何这样的、使粒子瞬时静止的惯性系称为在 处的 瞬时静止系(instantaneous rest frame),或 i.r.f.。当然,除非沿世界线速度恒定,i.r.f. 将随世界线上点的不同而变化。由于在 i.r.f. 中 ,由式 (9.22) 可得 。因此, 量度的是与粒子瞬时共动的惯性钟所记录的时空间隔。它通常被解释为粒子所携带的钟从 到 所测得的时间。

式 (9.22) 中的因子 表示式 (9.16) 中由于该时钟相对于外部惯性系的运动而产生的时间膨胀效应。粒子携带的时钟从事件 到事件 所测得的总时间为

并称为从 到 的 固有时(proper time)。若固定事件 并让 沿曲线变化,则固有时可用作沿曲线的参数,

相对于这一特殊参数计算得到的切四维向量称为粒子的四维速度(4-velocity),

与坐标时 不同,固有时 是独立于惯性系的真正标量参数;因此四维速度 的分量按逆变四维向量变换。

由式 (9.24) 可知,四维速度的量值始终具有常量量值

粒子的四维加速度(4-acceleration)定义为具有分量的逆变四维矢量

将这些分量用坐标时间参数表示,得到

4-向量 与 彼此正交,因为

展开左边得到 ,因此

证明在惯性参考系中,四维速度和四维加速度的分量由下式给出

并验证四维向量 与 彼此正交。

相对论性粒子动力学

我们假定每个粒子都附有一个常标量 ,称为其 静止质量(rest mass)。这可以看作是该粒子在瞬时静止系中的牛顿质量,在该系中对于任意施加的力 都满足牛顿第二定律 。粒子的 四维动量(4-momentum) 定义为具有分量 的四维向量,其中 是该粒子的四维速度,

其中

对于 ,动量约化为牛顿公式 ,能量可写为 。能量贡献 即使在粒子静止时也会出现,称为粒子的 静止能量(rest-energy)。

证明下列恒等式:

关系式 9.32 即使在极限 下也有意义,只要粒子具有零静止质量,。这类粒子将被称为光子,并满足这些关系

这里 称为光子的传播方向。光子的四维动量具有形式

并且显然是零模向量,

与牛顿定律类似,有时定义具有分量的四维力(4-force) 是有用的

由式 (9.28),四维力总是与四维速度正交。按通常方式定义三维力 为

并利用 ,我们得到

习题

利用四维速度 按四维向量变换这一事实,由 的变换方程证明,在推动变换下 的变换为

由 的其余变换方程推导速度变换定律,即式 (9.19)。

设 为相对于 沿 方向以速度 运动的参考系。

(a) 证明对于相对于 具有沿 方向的速度 、加速度 的粒子,其在 中的加速度为

(b) 一名火箭驾驶员在 离开地球,在每一时刻相对于他的瞬时静止系具有恒定加速度 。证明他相对于地球的运动由下式给出

(c) 用他自己的固有时来证明

(d) 若他在生命中继续行进10年,随后以减速再经过10年直至静止,并以同样方式返回,总共耗时40年,那么在他返回时地球上的人们将衰老多少?他将离开地球多少光年?

一个粒子沿世界线作双曲运动,该世界线的方程由下式给出

证明

并且从 开始沿该路径的固有时由下式给出

计算粒子的四维速度 和四维加速度 。证明 具有常量量值。

对于粒子系统,通常假定总4-动量守恒在任何局域相互作用中成立,

利用习题9.4证明:对于给定系统,只要能量守恒定律在所有惯性系中成立,四维动量守恒定律便成立。并证明,动量守恒定律在所有参考系中成立足以保证四维动量守恒。

一个粒子在参考系中具有动量和能量。

(a) 若 是相对于 具有速度 的惯性系,则利用动量四维矢量 的变换律证明

其中和分别是垂直于和平行于的分量。

(b) 若粒子为光子,则利用这些变换推导光行差公式

其中是与之间的夹角。

使用来证明

另请直接由 、 的定义式 (9.30) 和式 (9.31) 证明这一点。