为此,我需要先将爱因斯坦关于洛伦兹变换的一段摘抄下来: 洛伦兹变换的简单推导 (摘自《狭义与广义相对论浅说》爱因斯坦著 杨润殷译 胡刚复校)
按照图2所示两坐标系的相对取向,该两坐标系的x轴永远是重合的。在这个情况下我们可以把问题分为几部分,首先只考虑x轴发生的事件。任何一个这样的事件,对于坐标系K是由横坐标x和时间t来表示,对于坐标系K'则由横坐x'和时间t'来表示。当给定x和t时,我们要求出x'和t'。
沿着正x轴前进的一个光信号按照方程 x=ct 或 x-ct=0…………(1) 传播。由于同一光信号必须以速度c相对于K'传播,因此相对于坐标系K'的传播将由类似的公式 x'-ct'=0…………(2) 表示。满足(1)的那些空时点(事件)必须也满足(2),显然这一点是成立的,只要关系 x'-ct'=λ(x-ct)…………(3) 一般满足,其中λ表示一个常数;因为,按照(3),(x-ct)等于零时(x'-ct')就必然也等于零。
如果我们对向着负x轴传播的光线应用完全相同的考虑,我们就得到条件 (x'+ct')=µ(x+ct)…………(4) 方程(3)和(4)相加(或相减),并为方便起见引入常数a和b代换常数λ和µ,令 a=(λ+µ)/2 以及 b=(λ-µ)/2 我们得到方程 x'=ax-bct ct'=act-bx…………(5) 因此若常数a和b为已知,我们就得到我们的问题的解。a和b可由下述讨论确定。 由于K'的原点我们永远有x'=0,因此按照(5)的第一个方程 x=(bc/a)t 如果我们将K'的原点相对于K的运动的速度称为v,我们就有 v=bc/a…………(6)
同一量值v可以从方程(5)得出,只要我们计算K'的另一点相对于K的速度,或者计算K的一点相对于K'的速度(指向负x轴) 。总之,我们可以指定v为两坐标系的相对速度。
还有,相对性原理告诉我们,由K判断的相对于K'保持静止的单位量杆的长度,必须恰好等于由K'判断的相对于K保持静止的单位量杆的长度。为 了看一看由K观察x'轴上的诸点是什么样子,我们只需要从K对K'拍个“快照”;这意味着我们必须引入t(K的时间)的一个特别的值,例如t=0,对于这个t的值,我们从(5)的第一个方程就得到 x'=ax 因此,如果在K'坐标系中测量,x'轴上两点相隔的距离为∆x=1,该两点在我们的瞬时快照中相隔的距离就是 ∆x=1/a…………(7) 但是如果从K'(t'=0)拍取快照,而且如果我们从方程(5)消去t考虑到表示式(6),我们得到 x'=a[1-v^2/c^2]x 由此我们推断,在x轴上相隔距离1(相对于K)的两点,在我们的快照上 将由距离 ∆x'=a[1-v^2/c^2]…………(7a) 表示。
但是根据以上所述,这两个快照必须是全等的;因此(7)中的∆x必须等于(7a)中的∆x',这样我们就得到 a2=1/[1-v^2/c^2]…………(7b) 方程(6)和(7b)决定常数a和b。在(5)中代入这两个常数的值,我们得到第11节所提出的第一个和第四个议程 x'=(x-vt)/√(1-v^2/c^2) t'=[t-vx/c^2]/√(1-v^2/c^2)…………(8) 这样我们就得到了对于在x轴上的洛伦兹变换。它满足条件 x'^2-c^2t'^2=x^2-c^2t^2…………(8a) 再把这个结果加以推广,以便将发生在x轴外面的事件也包括进去。此项推广只要保留方程(8)并补充以关系式 y'=y z'=z…………(9) 就能得到。
这样,无论对于坐标系K或是对于坐标系K',我们都满足了任意方向的光线在真空中速度不变的公设。这一点可以证明如下。 设在时间t=0时从K的原点发出一个光信号。这个光信号将按照方程 r=√(x^2+y^2+z^2)=ct 传播,或者,如果方程两边取平方,按照方程 x^2+y^2+z^2-c^2t^2=0…………(10) 传播。
光的传播定律结合着相对性公设要求所考虑的信号(从K'去判断)应用按照对应的公式或 r'=ct' x'^2+y'^2+z'^2-c^2t'^2=0…………(10a) 传播。为了使方程(10a)可以从方程(10)推出,我们必须有x'^2+y'^2+z'^2-c^2t'^2=a[x^2+y^2+z^2-c^2t^2] (11) 由于方程(8a)对于x轴上的点必须成立,因此我们有σ=1,不难看出,对于σ=1,洛伦兹变换确实满足(11);因为(11)可以由(8a)和(9)推出,因而也可以由(8)和(9)推出。这样我们就导出了洛伦兹变换。
由(8)和(9)表示的洛伦兹变换仍需加以推广。显然,在选择K'的轴时是否要使之与K的轴在空间中相互平行是无关重要的。同时,K'相对于K的平动速度是否沿x轴的方向也是无关紧要的。通过简单的考虑可以证明,我们能够通过两种变换建立这种广义的洛伦兹变换,这两种变换就是狭义的洛伦兹变换和纯粹的空间变换,纯粹的空间变换相当于用一个坐标轴指向其他方向的新的直角坐标系代换原有的直角坐标系。
我们可以用数学方法,对推广了的洛伦庇变换的特性作如下的描述: 推文了的洛伦兹变换就是用x,y,z,t 的线性齐次函数来表示x',y',z',t',而这种 线性齐次函数的性质又必须能使关系式 x'^2+y'^2+z'^2-c^2t'^2=x^2+y^2+z^2-c^2t^2…………(11a) 恒等地被满足。也就是说:如果我们用这些x,y,z,t的线性齐次函数来代换在(11a)左连所列的x',y',z',t',则(11a)的左边与其右边完全一致。 |