相信很多人都听过“双生子佯谬”,它讲的是有一对年轻的双胞胎兄弟,哥哥乘坐飞船去宇宙空间高速遨游几年后回到地球,却看到一个已经是耄耋老人的弟弟。 对于完全不知道相对论的人,他们会认为这是异想天开,他们依赖经验会认为两个人的衰老速度应该是一样的。稍微对相对论有所认识的人,会认为事实应该就是这样的,因为速度快了时间就慢了。而对相对论有一定思考的人,可能会陷入一种矛盾,理由是:运动是相对的,哥哥相对于弟弟在做高速运动的同时,弟弟相对于哥哥也在做高速运动,那么弟弟应该也会看到加速衰老的哥哥才对。两人见面后互相看到对方变老而自己保持年轻?这显然是不可能的。实际情况只能是一个,那就是的确当哥哥回到地球后,弟弟会明显老于哥哥。这主要是因为兄弟两人所处的参照系并不对等。弟弟一直处于惯性系中,而哥哥涉及到自身的加速和减速,在一段时间内他处于非惯性系中。正是因为这种不对等,导致了两个人有着不一样的时间。本文将从最基本的相对性原理和光速不变公设出发,通过严密的逻辑推理和演绎,最终得出关于加速参照系的一些反直觉的性质,为后续向广义相对论的进一步迈进做铺垫。狭义相对论的两大基石是“相对性原理”和“光速不变原理”。相对性原理由伽利略最早提出,它要求任何的物理定律在任意一个惯性系中都拥有一样的表现形式,所有惯性系都是平权的。比如说有两个做相对运动的人甲和乙,在甲看来乙以速率v运动,那么在乙看来甲没有道理不以速率v运动(比如以1.2v或者0.9v运动),因为两个惯性系的地位一样,不存在我看你小,你看我大的情况,否则会出现逻辑混乱。长度、时间也是一样的,将同一根标尺或同一个时钟从这个惯性系挪动到另一个惯性系中后,标尺的长度和时钟的嘀嗒频率都不会发生变化。光速不变原理要求对于任何观察者而言,真空中的光都具有恒定的速度,而不依赖光源和观察者之间的相对运动状态。对光速所作的这一假设其实是抛弃了“以太”理论,即否定了电磁震荡需要依赖以太这种介质来传导。我们都知道声波传递依赖介质,它本质是介质的力学性质的体现。与介质相对静止的观察者测得的声速,跟与介质有相对运动的观察者测得的声速显然不一致。所以,如果确实存在以太,那么观察者测得的光速应该与观察者同以太之间的相对运动速度有关。然而实验结果却发现光速不依赖光源和观察者之间的相对运动状态,这也使得以太论的地位受到了极大的撼动。爱因斯坦在经过深入思考后果断抛弃了以太理论并提出光速不变这一公设。在这里还需要简单提一提“同时”的概念。所谓“同时”,需要思考的是空间中不同位置发生的事件的同时性(空间中同一位置发生的若干个事件的同时性的意义是明确的)。在日常生活中,“同时”是被使用的高频词汇,然而如果去问身边的人到底什么是“同时(空间中不同位置)”,相信绝大多数人无法给出严谨的答案。对“同时”进行定义需要使用某种特殊的速度。如果宇宙中存在一个最高速度,那么很容易推理得出这个速度一定不以参照系的选取而变,因为如果存在不同参照系之间的“速度叠加”,那就会出现比这个最高速度更快的速度。而为了跳出定义“同时”时存在的逻辑死循环,时空也需要有这么一个速度,它将在其中扮演至关重要的角色。当然,现在我们都知道,这个最高速度就是真空中的光速c,正所谓“光速不变原理”。如果在真空中的不同位置分别发生了两个事件,在事件发生的同时该点会发射出一个球形光波,那么如果在两个点连线的中点处的观察者同时接收到这两个光波,那么就可以认为两个事件是“同时”发生的。这就是相对论所需要的对“同时” 的定义,而对空间中不同位置的时钟进行同时性校准,也依赖真空中的光信号。可以构建多种运动模型来推导狭义相对论的时空关系,文章[1]展示了一种,这里再展示另一种,当然两者之间并没有本质的区别。在真空环境中有两个完全一样的三维笛卡尔直角坐标系k和k’,初始状态下他们的三根坐标轴完全重合。现在让k’系沿着x轴的正方向开始做加速运动,当两个坐标系之间的相对速度为v时k’系停止加速。基于对称性,没有理由认为这两个坐标系的同向的轴之间不是平行或重合的。在k系中的某一时刻t1,k系中的点x1和x2分别同k’系中的x1’和x2’重合。与此同时,有一束光从x1’处发出,沿着x’轴正方向射向了k’系中的点x2’(x2’>x1’),在t2时刻光到达x2’,此时与x2’重合的点是x3;随后光被反射回来,在t3时刻回到点x1’处,此时与x1’重合的点是x4。具体的过程可见图1.1。同样是上述过程,在k’系中,光从x1’发出的时刻是t1’,光到达x2’的时刻是t2’,光返回x1’的时刻是t3’。为了保证空间的均匀性,k’系中的x2’-x1’这一段量杆的长度,在k系中看来应当是始终不变的。在k系中,光从x1’发出到x2’的时间间隔Δt21,和光从x2’反射回到x1’的时间间隔Δt32分别如下:当光返回到点x1’时,点x1’与x1之间的距离为: 现在将视角切换到k’系。因为光速不变原理,在k’系中的观察者看来,光从x1’射到x2’所花的时间,同光从x2’反射回到x1’所花的时间相同。而光到x2’时x3也恰好与x2’相遇,光返回到x1’时x4恰好与x1’相遇。即在k’系看来,若从光由x1’发出开始计,那么x4与x1’相遇所花的时间是x3与x2’相遇所花时间的两倍,如图1.2所示。式中:l1’表示在k’系中在t1’时刻量得的x3与x1之间的距离;l2’表示在k’系中在t1’时刻量得的x4与x1之间的距离;即无论物体运动或静止,看到的它的尺寸都不会发生改变。那么不妨顺着这条生活经验继续推导下去,将(1-2)、(1-3)和(1-5)代入方程(1-4)得:发现当v不为0时,该关系式恒不成立。纵观整个计算过程,唯一症结点就在于关系式(1-5)。在伽利略时空变换下,光速可变而量杆长度不变,两者是相容的,故而可以推测,在光速不变时,量杆长度要变,此时基于惯性系之间的平权性,可以对关系式(1-5)做修改:λ的意义是:当速度方向与量杆长度方向平行时,量杆运动时的“长度”与其静止时的长度间的比值。基于对称性和时空均匀性,λ应是关于v的偶函数,且与坐标值无关。当v等于0时两坐标相对静止,此时根据场景条件应有x2’-x1’=x2-x1,所以若λ为关于v的连续函数,则应舍去不合理的负值,即:λ说明了当量杆运动起来后它的“长度”会变短,这就是“尺缩”效应。λ对于后续的推导至关重要。依旧将视角放在k’系中。基于收缩因子λ,可知在光刚要从x1’发出时,x2在k’系中对应的坐标位置为:这说明了在光刚从x1’发出时,x2位于x1’和x2’之间,即在更早些的时候x2和x2’就已经相遇过了(可参看图1.2),它们相遇的时刻t0’为: 方程(1-8)说明了:在k系中看来是同时发生的事件,在k’系中看来并不同时:而是沿着速度方向更靠前的空间位置上的事件先发生。接下来进一步分析下时间的相对性问题。如图1.3所示,在k系中,点x1’从x1运动到x2所花时间为:在k’系中观察者看上述过程的话,是点x2沿着x’轴的负方向运动,直到与点x1’相遇。基于收缩因子λ,可算得这个过程所花时间为:基于(1-9)和(1-10)两个时间差关系可知:运动时钟指针走的速度会变慢,这就是“钟慢”效应。现设定k系和k’系的原点重合时为各自的时间0点。那么基于图1.4所示,空间坐标的转换关系如下:在k系中的t时刻,k’系的原点O’的时刻由方程(1-10)得出: x1’处的时间比原点O’处的早,由方程(1-8)可计算。综合可得x1’处的时刻为:如果有一束光在x1和x1’相遇的t1’时刻,从x1’沿着y’轴的正方向射出,在t2’时刻光到达y1’,然后被原路反射回来,在t3’时刻回到x1’。在k系看来,光在t1时刻发出,在t2时刻到达点y1,然后被反射,在t3时刻到了x2处,此时x1’和x2相遇。需要注意的是,在k系看来,光走的是“斜线”。整个过程如图1.5所示。 根据方程(1-10)可知,k’中的这段时间,在k系中看来是:光在k系中走的路线是一个等腰三角形,对其列出方程:当v等于0时两坐标相对静止,此时根据场景条件应有y’=y。若系数为关于v的连续函数,则应舍去不合理的负值,所以: 回到起初对于坐标轴平行的假定,在k系看来,如果k’系的y’轴不与y轴平行,那么上述光线的轨迹就不再是等腰三角形,这意味着,光在被反射前的在x轴方向的分速度与光在被反射后不一样,而这不符合对称性,毕竟y轴和z轴的方向在那个平面内可任意变动。 综合方程(1-11)、(1-12)、(1-16)和(1-17)可得,若在k系中,某事件发生时对应的时空坐标为(x, y, z, t),那么在k’系中,该事件对应的时空坐标为: 在k系中,有一个物体在t1时刻从点(x1, y1,z1)处以速度w出发,在t2时刻运动到了点(x2, y2, z2)处,那么可以列出速度-位移方程:式中:wx、wy和wz分别为w在x、y和z三个方向上的分速度的大小。 在k’系中描述这个过程的话: 基于时空变换关系(1-18),经过一定量的微分计算不难得到狭义相对论下的速度叠加定理:不难看出当v相较c很小时它可近似为大家通常所用的速度叠加原理,即: 这一关系式的得出基于实际的运动模型,故而有w<c的限制。但容易证明在任意情况下均有如果在等式(1-23)的后面添加上“=L”,那么可以把“L”理解成“时空距离”,其中减号前的项可以看作是“空间距离”,减号后的(包括减号在内)则是“时间距离”。①当L<0时,总能找到一个v,使得在这个k’系看来,这两个事件是同地不同时发生的(令空间距离为0,时间距离为负),即它们是“类时”的;②当L=0时,在其它任意一个参照系中总是有w’=c,这两个事件不可能同时同地发生,即它们是“类光”的;③当L>0时,总能找到一个v,使得在这个k’系看来,这两个事件是同时不同地发生的(令时间距离为0,空间距离为正),即它们是“类空”的。如果将空间拓展成四维,那么(1-23)可以改写为:其中:i表示虚数单位。任意一个事件均可由四维时空坐标下的点(x, y, z, ict)来描述。因为两个事件之间的时空距离在任意惯性系下保持不变,所以在四维时空下,惯性系的切换对应的是四维时空坐标的刚性旋转,具体如下: 1907年11月爱因斯坦为了进一步推广狭义相对论而在刹那间有了惊人的洞见。现在无法得知爱因斯坦当时究竟做了什么样的思想实验,但基于其原理可以表述为如下过程:一个腔体漂浮在空虚太空中,腔体内有一个人甲,某时刻开始有一个力拉动腔体使其以加速度g开始向上运动;另一个腔体则静止在地球表面,腔体内有另一个人乙;如果甲和乙手里都握着一个小球,那么手松开后,小球均会以加速度g开始下落;如果甲和乙均向上跳起,那么他们会遵循完全一样的方式腾空并落地;总之,如果甲和乙做同样的力学实验,产生的结果不会有任何差异,或者说,甲和乙无法通过实验来判断自己究竟是处于加速运动的体系中还是在引力场中。同一个现象却有着两个没有关联的理论去解释,或者,同一个理论对“不同”物理现象所做的区分无法通过实验加以鉴别,都预示着理论结构存在缺陷。爱因斯坦的这个思想实验把引力和加速深刻关联在了一起:地面其实正向着天空以加速度g做加速运动。引力和加速之间的不可区分性即为“等效原理”,基于它,就能对引力场中的时空问题做相关计算了。某惯性系中有一个物体正在做加速运动,加速度本身是否对物体的运动形态有影响目前还暂无法去讨论。如果有,并且假定这种影响作用关于加速度值的一阶导均存在(排除如y=|x|这样的绝对值函数,因为它在原点处有突变),那么根据对称性,可以得出影响作用必是关于加速度值的偶次幂函数。当加速度充分小时,影响作用是关于加速度值的高阶无穷小而可以略去不做考虑,以下讨论均以此作为基准。如图2.2所示,设有两个坐标轴完全一样的参照系k和∑,两者的x轴和ξ轴重合,y轴和η轴、z轴和ζ轴均平行。k为惯性系,∑系向着x轴的正方向做加速运动。显然,总可以找到另一个惯性系k’,使得∑系相对于k’系是瞬时静止的,此时一般称k’系为∑系的“局部惯性系”。本文将∑系相对于k’系的加速度称为“本体加速度”,∑系相对于k系的加速度称为“相对加速度”。因为∑系和k’系是瞬时相对静止的,所以在极短的时间段内,∑系内任意一点的邻域内的物理过程,都可以用k’系中对应区域内的时钟和量杆来度量。再来看看∑系中事件的同时性的定义,这里还是借助k’系来定义∑系中事件的同时性,即若∑系中两事件对于k’系是同时的,则认为它们是同时的。设在k系的0时刻,在x轴的原点上一个静止的物体α,开始以恒定的本体加速度A向着x轴的正方向开始做加速运动。设在后续的任意一个时刻t,将α的运动速度记为w。在与α对应的局部惯性系k’中,列出α的运动方程如下:式中:w’和a’分别表示k’系中量得的物体的速度和加速度,其中a’即为物体的本体加速度。基于图2.2所示的坐标关系,以洛伦兹变换关系(1-18)对方程(2-1)进行计算后可知,在k系看来,描述物体速度和加速的方程为:式中:w和a分别表示k系中量得的物体的速度和加速度,其中a即为物体的相对加速度。从方程(2-2)中也能看出,若物体以恒定的本体加速度在做加速运动,随着物体和k系之间的相对运动速度的增大,在k系看来,它的加速度——即相对加速度——会逐渐减小。在k系的x轴上,物体α和β分别被摆放在坐标原点和x=l(l>0)处。在t=0时刻,让它们同时以相同的本体加速度A向着x轴正方向做加速运动。此时基于方程(2-5)可得两者的运动方程分别为:这里,用下标“α”和“β”来区分不同物体对应的物理量。在k系中,α和β之间的距离Δs(令tα=tβ)为: 设k’系是沿着k系的x轴正方向以速度v做匀速运动的惯性系,在t=t’=0时,k系和k’系完全重合。现在将α和β在k系中的运动方程(2-6)切换到k’系下:当α加速到v后,k’系就是α的局部惯性系。基于方程(2-4)求得当α加速到v所用时间tα为:在k’系中同时考察α和β,需要置tα’=tβ’(分别由(2-8)的第二个方程和(2-9)的第二个方程确定):现在结合(2-9)和(2-10),就能计算出k’中观察到的α和β之间距离l’了:所在k’系看来,虽然α是静止的,但β却正沿着x’轴正方向运动,且α和β之间的距离已经大于l了,即在α看来,β在不断远离自己。这一点是违反直觉的,因为大多数人可能会认为,要使得α认为β同自己的距离是固定的,那么它们的本体加速度应该相同。 续上节,若α和β之间用刚性杆相连,则l’应始终等于l。为了区别起见,依旧将α和β对应的物理量分别注以下标“α”和“β”。基于上一节的分析可知,要使得l’始终等于l,必有Aα>Aβ。先着眼于杆尾端的α,令其加速至v,那么时空转换方程沿用(2-9),但需要在本体加速度A上注以下标“α”,以示和物体β的区分:在k’系中观测杆的长度需要满足同时性条件,置tα’=tβ’,基于(2-8)的第二个方程和(2-11)的第二个方程,有: 现在结合(2-11)的第一个方程和方程(2-13),就能计算出k’中观察到的α和β之间距离l’了: 在k’系看来,当Aβ过大时,刚性刚性杆会被不断拉长,而过短则会被不断压缩,所以必有一个适当的值,能使得杆长维持l不变,并且这个值对v必须是普适的,即最终能把方程(2-14)中的v消去。考虑到方程(2-14)中同时存在根号项和无根号项,所以要约去v,可以先置M=0:将M=0和方程(2-15)代入方程(2-14)得:这是一个恒成立得关系式,所以方程(2-15)就是要找的加速度方程。当然,这里对l有一定的限制,具体下一节再讨论。不难证明随着t的增大lt会逐渐减小,当t趋向于无穷大时,lt趋向于0。设想在一根长为l的刚性杆静置于k系的x轴上,记其尾端为α、首端为β,其尾端在坐标原点,首尾各固定一个同样的时钟并已经对它们做了同时性校准。随后,在t=0时刻,令其开始做本体加速度恒定的加速运动,其尾端加速度为Aα,那么首端加速度可由方程(2-15)得到。分别在在t=tα和t=tβ时刻,其尾端和首端的速度分别达到了v。因为是刚性杆,首端速度达到v和尾端速度达到v这两个事件,虽然在k系中不是同时发生的,但在刚性杆的局部惯性系k’中必须是同时的。基于方程(1-10),对尾端时钟所经历的本地时间σα,有:由方程(2-4),将 基于等效原理,这个方程说明了,在引力势高的地方,时钟会走得更快。虽然地球周围的引力场分布情况并不严格满足方程(2-15),但这里就近似以方程(2-17)来计算:若位于海平面的时钟走了1年的时间,那么位于珠穆朗玛峰顶部(8848m)的时钟会快30.04微秒(g取9.8m/s2)。这点时间差确实是非常微小的,但如果是在引力场更强的天体——极端情况如中子星和黑洞——附近的话,这种时差效应就会非常显著。续上节,如果刚性杆的α处有一个光源连续向β处发射频率恒为γα的光波,那么可以这么说,α处连续发射两个光子之间的本地时间间隔均为:设:α发射第一个光子时,β处的本地时间为σβ1;β接受到这第一个光子时,其本地时间为σβ1+Δσαβ。 基于方程(2-18),α发射第二个光子时,β处的本地时间σβ2为:因为时空是稳定的,那么β接收到第二个光子时的本地时间应为σβ2+Δσαβ。所以β接收两个光子的本地时间间隔为:这说明了,在β处的观察者看来,光波的频率就变成了:方程(2-19)展示的物理意义就是“引力红移”,即光在从引力势低的地方向高的地方行进的过程中,其频率会慢慢变小。 如图2.2所示,有一个加速参照系∑以及一个惯性系k。在两者相对静止时,它们的原点与坐标轴完全重合,并置此时作为两者的时间0点。∑系沿着k系的x轴的正方向运动。k的坐标轴为x、y和z,相应的,∑系的坐标轴为ξ、η和ζ。在∑系中,当考察某一个空间点邻域内的物理过程的时候,合理的方式是用本地时间σ。但是当需要考察处于不同引力势的两个点之间的物理过程(比如某一个物体从引力势低的地方移动到高的地方)的时候,用本地时间σ显然就不合适了,因为在这种情况下需要考虑在不同空间点上的事件的“同时性”。此时,可以以位于∑系的原点的那个时钟的时间作为∑系的全局时间,其它空间点上的时钟通过光信号与该时钟进行校准,记全局时间为τ。由方程(2-17)可知,其它空间点(ξ, η, ζ)上的本地时间为: 否则会出现时间的倒流。或者说,若ξ不满足这一限制,那么对于在∑系坐标原点的观察者而言,他永远无法看到ξ处发出的射向他的光线,ξ就像是处于黑洞的事件视界内。在∑系中任意选取两个点,这两个点对应的ξ轴的坐标分别为ξ1和ξ2,则它们之间的本地时间的差异为:在∑系中任取一点(ξ, η, ζ),基于方程(2-15)可得该点的本体加速度A’为结合方程(2-22)和(2-23),就能得出ξ关于x和t的关系式: 将∑系的时空坐标参数作已知量,k系的作未知量,则可求得时空转换的逆变方程如下:若在t=0时刻,k系中有一个光子从坐标原点沿着y轴的正方向射出,那么该光子的时空坐标为(0, ct, 0, t)。将(0, ct,
0, t)代入时空变换方程组(2-27),就能求得在∑系中的光的运动轨迹: 由于加速和引力等效,所以轨迹方程(2-29)说明了,在引力场中光不再走直线。并且,引力强度越大,即A值越大,光线的弯曲程度也就越大。在经过了几周时间的思考后,2019年2月4日除夕夜下午,我在老家看电视的时候突然灵光一现理解了狭义相对论的同时性问题而迈进相对论的世界至今,已经3年有余了。现在终于来到了广义相对论的入口处。经过本文的一番计算和推导,得出了很多反经验、反直觉的结论,这也是缜密的逻辑思辨对开拓人们的科学视野所起的巨大作用。不过现在离征服广义相对论还很远。数学能力是需要去大力提高的,毕竟广义相对论和黎曼几何密不可分。当然,我相信只要合理利用平时的碎片时间,总有一天能够登上此高峰。[1]《由同时的相对性直接推导狭义相对论的洛伦兹变换》,作者:周枫,微信公众号《北斗数学与物理》,2019-3-17;
|