洛伦兹变换
狭义相对论中关于不同惯性系之间物理事件时空坐标变换的基本关系式。设两个惯性系为S系和S′系,它们相应的笛卡尔坐标轴彼此平行 ,S′系相对于S系沿x方向运动 ,速度为v,且当t=t′=0时,S′系与S系的坐标原点重合,则事件在这两个惯性系的时空坐标之间 的洛伦兹变换为 x′=γ(x-vt),y′=y,z′=z,t′=γ(t-vx/c2),式中γ=(1-v2/c2)-1/2;c为真空中的光速 。不同惯性系中的物理定律必须在洛伦兹变换下保持形式不变。
在相对论以前,H.A.洛伦兹从存在绝对静止以太的观念出发,考虑物体运动发生收缩的物质过程得出洛伦兹变换 。在洛伦兹理论中,变换所引入的量仅仅看作是数学上的辅助手段,并不包含相对论的时空观。爱因斯坦与洛伦兹不同 ,以观察到的事实为依据,立足于两条基本原理:相对性原理和光速不变原理,着眼于修改运动、时间、空间等基本概念,重新导出洛伦兹变换,并赋予洛伦兹变换崭新的物理内容 。在狭义相对论中,洛伦兹变换是最基本的关系式,狭义相对论的运动学结论和时空性质,如同时性的相对性、长度收缩、时间延缓、速度变换公式、相对论多普勒效应等都可以从洛伦兹变换中直接得出。
洛伦兹变换的简明推导
事实一
相对性原理。物理定律在所有的惯性系(惯性系就是能让牛顿第一定律
狭义相对论
成立的参考系)中都是相同的。也就是说,不同惯性系的物理方程形式是相同的。比如,在低速条件下,牛顿三定律的公式在地球惯性系中是这样写的,在太阳惯性系中也是一样的写法
事实二
光速不变。在所有惯性系中,真空中的光速等于恒定值c。光速大小与参考系之间的相对运动无关,也与光源、观察者的运动无关
推导过程
现在根据这两个事实,推导坐标的变换式
设想有两个惯性坐标系分别叫S系、S'系,S'系的原点O‗相对S系的原点O以速率v沿x轴正方向运动。任意一事件在S系、S'系中的时空坐标分别为(x,y,z,t)、(x',y',z',t')。两惯性系重合时,分别开始计时
若x=0,则x'+vt'=0。这是变换须满足的一个必要条件,故猜测任意一事件的坐标从S'系到S系的变换为
x=γ(x'+vt') (1)
式中引入了常数γ,命名为洛伦兹因子
(由于这个变换是猜测的,显然需要对其推导出的结论进行实验以验证其正确性) 在此猜测上,引入相对性原理,即不同惯性系的物理方程的形式应相同。故上述事件坐标从S系到S'系的变换为
x'=γ(x-vt) (2)
y与y'、z与z'的变换可以直接得出,即
y'=y (3)
z'=z (4)
把(2)代入(1),解t'得
t'=γt+(1-γ^2)x/γv (5)
在上面推导的基础上,引入光速不变原理,以寻求γ的取值
设想由重合的原点O(O')发出一束沿x轴正方向的光,设该光束的波前坐标为(X,Y,Z,T)、(X',Y',Z',T')。根据光速不变,有
X=cT (6)
X‘=cT' (7)
(1)(2)相乘得
xx'=γ^2( xx'-x'vt+xvt'-v^2*tt') (8)
以波前这一事件作为对象,则(8)写成
XX'=γ^2(XX'-X'VT+XVT'-V^2*TT') (9)
(6)(7)代入(9),化简得洛伦兹因子
γ=[1-(v/c) ^2]^(-1/2) (10)
(10)代入(5),化简得
t'=γ(t-vx/c^2) (11)
把(2)、(3)、(4)、(11)放在一起,即S系到S'系的洛伦兹变换
x'=γ(x-vt),
y'=y,
z'=z,
t'=γ(t-vx/c^2) (12)
根据相对性原理,由(12)得S'系到S系的洛伦兹变换
x=γ(x'+vt'),
y=y',
z=z',
t=γ(t'+vx'/c^2) (13)
下面求洛伦兹变换下的速度变换关系
考虑分别从S系和S'系观测一质点P的运动速度。设在S系和S'系中分别测得的速度为u(j,n,m)和u'(j',n',m')
由(12)对t'求导即得 S系到S'系的洛伦兹速度变换
j'=(j-v)/(1-vj/c^2),
n'=n/[γ(1-vj/c^2)^-1],
m'=m/[γ(1-vj/c^2)^-1] (14)
根据相对性原理,由(14)得S'系到S系的洛伦兹速度变换
j=(j'+v)/(1+vj'/c^2),
n=n'/[γ(1+vj'/c^2)^-1],
m=m'/[γ(1+vj'/c^2)^-1] (15)
洛伦兹变换结合动量定理和质量守恒定律,可以得出狭义相对论的所有定量结论。这些结论得到实验验证后,也就说明了狭义相对论的正确性
经典的洛伦兹变换
经典的洛伦兹变换指出:我们将求出相对论的变换公式,这些公式恰好是根据那个事件间的间隔不变的要求的。如果我们为了便于以后的叙述利用量τ= ict,那么,正如在§1-2里所看到的二事件间的间隔可以认为是在四度空间内的相对应的两个世界点间的距离。因此我们可以说,所要求的变换,必须是使所有在四度空间x,y,z,τ内的距离不变的变换。但是这些变换仅仅包括坐标系统的平移与旋转。其中,我们对于坐标轴对自己作平行移动并无兴趣,因为这不过是将空间坐标的原点移
H.A.洛伦兹
动一下、并将时间的参考点改变一下而已。所以,所要求的变换,在数学上应当表示为四度坐标系统x,y,z,τ的旋转。四度空间内的一切旋转,可以分解为六个分别在六个平面xy,yz,zx,xτ,τy,τz内的旋转(正如在三度空间内的一切旋转可以分
解为xy,yz,zx三个平面内的旋转一样)。其中,前三个旋转仅仅变换空间坐标,它们和通常的空间旋转相当。我们研究在xτ平面内的旋转,这时y与z坐标是不变的。令ψ为旋转角,那么,新旧坐标的关系就由以下二式决定:
x = x‘cosψ –τ‘sinψ,τ= x‘sinψ +τ‘cosψ (1)
参见上图:
我们现在要找出由一个惯性参考系统K到另一个惯性参考系统K‘的变换公式,K‘以速度V沿X轴对K作相对运动。在这种情况下,显然只有空间坐标x与时间坐标τ发生变化。所以这个变换必须有(1)式的形式。现在只剩下确定旋转角ψ的问题,而ψ又仅与相对速度V有关。我们来研究参考系统K‘的坐标原点在K内的运动。这时,x‘ = 0,而公式(1)可写成:
x = –τ‘sinψ; τ=τ‘cosψ。 (2)
相除可得
x/τ= - tanψ (3)
但τ= ict,而 x/t显然是K‘ 对K的速度V。因此,
tanψ = iV/c (4)
由之得
sinψ= (iV/c)/(1-V2/c2)1/2,cosψ=1/(1-V2/c2)1/2 (5)
代入(2),得:
x = (x‘ - iVτ‘)/(1-V2/c2)1/2,y = y‘,z = z‘,
τ= (τ‘ + iVx‘/c)/(1-V2/c2)1/2 (6)
再将τ= ict,τ‘ = ict‘代入,最后得
x = (x‘ + Vt‘)/(1-V2/c2)1/2,y = y‘, z = z‘,
t = (t‘+ Vx‘/c2)/(1-V2/c2)1/2 (7)
这就是所要求的变换公式。它们被称为洛伦兹变换式,是今后讨论的基础。(参见《场论》,Л.Л.朗道、Е.М.栗弗席兹著,任朗、袁炳南译,人民教育出版社1958年8月第一版,第14—15页)
正如所知,这一组关系式就是著名的―洛伦兹变换公式‖,也是爱因斯坦狭义相对论的数学基础。的确,按照这一组关系式,只能得出:运动系上的时间坐标(r‘)和空间坐标(t‘),在运动中会产生―钟慢尺缩‖效应
洛仑兹坐标变换
洛仑兹变换是描述狭义相对论空间中各参考系间关系的变换。它最早由洛仑兹从以太说推出,用以解决经典力学与经典电磁学间的矛盾(即迈克尔孙-莫雷实验的零结果)。后被爱因斯坦用于狭义相对论。
历史
1632年,伽利略出版了他的名著《关于托勒密和哥白尼两大世界体系的对话》。书中那位地动派的―萨尔维阿蒂‖对上述问题给了一个彻底的回答。他说:―把你和一些朋友关在一条大船甲板下的主舱里,让你们带着几只苍蝇、蝴蝶和其他小飞虫,舱
内放一只大水碗,其中有几条鱼。然后,挂上一个水瓶,让水一滴一滴地滴到下面的一个宽口罐里。船鱼向各个方向随便游动,水滴滴进下面的罐口,你把任何东西扔给你的朋友时,只要距离相等,向这一方向不必比另一方向用更多的力。你双脚齐跳,无论向哪个方向跳 过的距离都相等。当你仔细地观察这些事情之后,再使船以任何速度前进,只要运动是匀速,也不忽左忽右地摆动,你将发现,所有上述现象丝毫没有变化。你也无法从其中任何一个现象来确定,船是在运动还是停着不动。即使船运动得相当快,你跳向船尾也不会比跳向船头来得远。虽然你跳到空中时,脚下的船底板向着你跳的相反方向移动。你把不论什么东西扔给你的同伴时,不论他是在船头还是在船尾,只要你自己站在对面,你也并不需要用更多的力。水滴将象先前一样,滴进下面的罐子,一滴也不会滴向船尾。虽然水滴在空中时,船已行驶了许多柞(为大指尖到小指尖伸开之长,通常为九英寸,是古代的一种长度单位)。鱼在水中游向水碗前部所用的力并不比游向水碗后部来得大;它们一样悠闲地游向放在水碗边缘任何地方的食饵。最后,蝴蝶和苍蝇继续随便地到处飞行,它们也决不会向船尾集中,并不因为它们可能长时间留在空中,脱离开了船的运动,为赶上船的运动而显出累的样子。‖
理论
萨尔维阿蒂的大船道出一条极为重要的真理,即:从船中发生的任何一种现象,你是无法判断船究竟是在运动还是停着不动。现在称这个论断为伽利略相对性原理。 用现代的语言来说,萨尔维阿蒂的大船就是一种所谓惯性参考系。就是说,以不同的匀速运动着而又不忽左忽右摆动的船都是惯性参考系。在一个惯性系中能看到的种种现象,在另一个惯性参考系中必定也能无任何差别地看到。亦即,所有惯性参考系都是平权的、等价的。我们不可能判断哪个惯性参考系是处于绝对静止状态,哪一个又是绝对运动的。
基本原理
伽利略相对性原理不仅从根本上否定了地静派对地动说的非难,而且也否定了绝对空间观念(至少在惯性运动范围内)。所以,在从经典力学到相对论的过渡中,许多经典力学的观念都要加以改变,唯独伽利略相对性原理却不仅不需要加以任何修正,而且成了狭义相对论的两条基本原理之一。
狭义相对论的两条原理 1905年,爱因斯坦发表了狭义相对论的奠基性论文《论运动物体的电动力学》。关于狭义相对论的基本原理,他写道: ―下面的考虑是以相对性原理和光速不变原理为依据的,这两条原理我们规定如下:
1.物理体系的状态据以变化的定律,同描述这些状态变化时所参照的坐标系究竟是用两个在互相匀速移动着的坐标系中的哪一个并无关系。
2.任何光线在―静止的‖坐标系中都是以确定的速度c运动着,不管这道光线是由静止的还是运动的物体发射出来的。‖
其中第一条就是相对性原理,第二条是光速不变性。整个狭义相对论就建筑在这两条基本原理上。
特色
爱因斯坦的哲学观念是,自然界应当是和谐而简单的。的确,他的理论常有一种引人注目的特色:出于简单而归于深奥。狭义相对论就是具有这种特色的一个体系。狭义相对论的两条基本原理似乎是并不难接受的―简单事实‖,然而它们的推论却根本地改变了牛顿以来物理学的根基。
洛仑兹变换的数学形式
洛仑兹提出洛仑兹变换是基于以太存在的前提的,然而以太被证实是不存在的,相对于任何惯性参照系,光速都具有相同的数值这个现象一时难以解释。爱因斯坦据此提出了狭义相对论。在狭义相对论中,空间和时间并不相互独立,而是一个统一的四维时空整体,不同惯性参照系之间的变换关系式在数学表达式上是一致的,爱因斯坦的相对论理论为洛仑兹变换结果提供了依据:
洛伦兹公式是洛伦兹为弥补经典理论中所暴露的缺陷而建立起来的。洛伦兹是一位理论物理学家,是经典电子论的创始人。
坐标系K1(O1,X1,Y1,Z1)以速度V相对于坐标系K(O,X,Y,Z)作匀速直线运动;三对坐标分别平行,V沿X轴正方向,并设X轴与X1轴重合,且当T1=T=0时原点O1与O重合。设P为被―观察‖的某一事件,在K系中观察者―看‖来。它是在T时刻发生在(X,Y,Z)处的,而在K1系中的观察者看来,它是在T1时刻发生在(X1,Y1,Z1)处的。这样的两个坐标系间的变换,我们叫洛伦兹坐标变换。
在推导洛伦兹变换之前,作为一条公设,我们必须假设时间和空间都是均匀的,因此它们之间的变换关系必须是线性关系。如果方程式不是线性的,那么,对两个特定事件的空间间隔与时间间隔的测量结果就会与该间隔在坐标系中的位置与时间发生关系,从而破坏了时空的均匀性。例如,设X1与X的平方有关,即X1=AX^2,于是两个K1系中的距离和它们在K系中的坐标之间的关系将由X1a-X1b=A(Xa^2-Xb^2)表示。现在我们设K系中有一单位长度的棒,其端点落在Xa=2m和Xb=1m处,则X1a-X1b=3Am。这同一根棒,其端点在Xa=5m和Xb=4m处,则我们得到X1a-X1b=9Am。这样,对同一根棒的测量结果将随棒在空间的位置的不同而不同。为了不使我们的时空坐标系原点的选择与其他点相比较有某种物理上的特殊性,变换式必须是线性的。
计算
先写出伽利略变换:X=X1+VT1; X1=X-VT
增加系数k,X=k(X1+VT1); X1=k1(X-VT)
根据狭义相对论的相对性原理,K和K1是等价的,上面两个等式的形式就应该相同(除正负号外),所以两式中的比例常数k和k1应该相等,即有k=k1。 这样, X1=k(X-VT)
为了获得确定的变换法则,必须求出常数k,根据光速不变原理,假设光信号在O与O1重合时(T=T1=0)就由重合点沿OX轴前进,那么任一瞬时T(由坐标系K1量度则是T1),光信号到达点的坐标对两个坐标系来说,分别是 X=CT; X1=CT1 XX1=k^2 (X-VT)(X1+VT1)
C^2 TT1=k^2 TT1(C-V)(C+V)
由此得
k=1/ (1-V^2/C^2) ^ (1/2)
于是
T1= (T-VX/C^2) / (1-V^2/C^2) ^ (1/2)
T=(T1+VX/C^2) / (1-V^2/C^2)^(1/2)
*********************
在X1为动系,X为静系的时候,X1=k(X-VT)必须有T1=kT这个条件才能成立。先说T10的情况,可以得到X1+(O1O)1=kX的
【动尺收缩】关系,(O1O)1=V|T1|=VT1。所以X1+VT1=kX,X1=kX-VT1。当T1=0时,X1=kX,X1=kX-VT1仍然成立。所以,不论任何一个T1时刻,X1=kX-VT1都成立。现在比较X1=kX-VT1和X1=k(X-VT),可以清楚看到,由已经成立的X1=kX-VT1去导出X1=k(X-VT), 必须有T1=kT才能成立。
同理,在X为动系时,X=k(X1+vT1)必须有T=kT1这个条件才能成立。如果把X=k(X1+vT1)和X1=k(X-vT)并联, 也就是把T=kT1和T1=kT并联, 不论可k是什麼样的形式,一旦把T=kT1和T1=kT并联,在|V|
**********************
洛仑兹变换应该是X1=k(X-vT),Y1=Y,Z1=Z,T1=kT。而逆洛仑兹变换应该是X=k(X1+vT1),Y=Y1,Z=Z1,T=kT1。这两个变换如果要同时成立,那只有在 k=1 的时候,也就是V=0的时候。
**********************
T1=kT还可以用时段来证明。令B(b,0,0)的b0时,O1点由O移动到B,也有O1点在B的时候T1=kT。在b=0时,T1=T=0,所以也有O1点在B的时候T1=kT。对所
有可能的O1点位置都有T1=kT。所以,洛仑兹变换应该是X1=k(X-vT),Y1=Y,Z1=Z,T1=kT。