洛伦兹变换

维基百科,自由的百科全书
跳转至: 导航搜索
LorentzT paused.JPG

洛伦兹变换是观测者在不同惯性参照系之间对物理量进行测量时所进行的转换关系,在数学上表现为一套方程組。洛伦兹变换因其创立者——荷兰物理学家亨德里克·洛伦兹而得名。洛伦兹变换最初用来调和19世纪建立起来的经典电动力学牛顿力学之间的矛盾,后来成为狭义相对论中的基本方程组。

洛伦兹变换的提出[编辑]

19世纪后期建立了麦克斯韦方程组,标志着经典电动力学取得了巨大成功。然而麦克斯韦方程组在经典力学伽利略变换下并不是协变的。

由麦克斯韦方程组可以得到电磁波的波动方程,由波动方程解出真空中的光速是一个常数。按照经典力学的时空观,这个结论应当只在某个特定的惯性参照系中成立,这个参照系就是以太。其它参照系中测量到的光速是以太中光速与观察者所在参照系相对以太参照系的速度矢量叠加。然而1887年的迈克耳孙-莫雷实验测量不到地球相对于以太参照系的运动速度。1904年,洛伦兹提出了洛伦兹变换用于解释迈克耳孙-莫雷实验的结果。根据他的设想,观察者相对于以太以一定速度运动时,长度在运动方向上发生收缩,抵消了不同方向上由于光速差异,这样就解释了迈克耳孙-莫雷实验的零结果。

洛伦兹变换的数学形式[编辑]

沿着快速加速的观察者的世界线来看的时空。
竖直方向表示时间。水平方向表示距离,虚划线是观察者的时空轨迹(“世界线”)。图的下四分之一表示观察者可以看到的事件。上四分之一表示光锥- 将可以看到观察者的事件点。小点是时空中的任意的事件。
世界线的斜率(从竖直方向的偏离)给出了相对于观察者的速度。注意看时空的图像随着观察者加速时的变化。

洛伦兹提出洛伦兹变换是基于以太存在的前提的,然而以太被证实是不存在的,根据光速不变原理,相对于任何惯性参照系,光速都具有相同的数值。爱因斯坦据此提出了狭义相对论。在狭义相对论中,空间和时间并不相互独立,而是一个统一的四维时空整体,不同惯性参照系之间的变换关系式与洛伦兹变换在数学表达式上是一致的,即:

\begin{cases}
x' = \frac{x-vt}{\sqrt{1-\frac{v^2}{c^2}}} \\
y' = y \\
z' = z \\
t' = \frac{t-\frac{v}{c^2}x}{\sqrt{1-\frac{v^2}{c^2}}}
\end{cases}

其中x、y、z、t分别是惯性坐标系Σ下的坐标和时间,x'、y'、z'、t'分别是惯性坐标系Σ'下的坐标和时间。v是Σ'坐标系相对于Σ坐标系的运动速度,方向沿x轴。

狭义相对性原理,只需在上述洛伦兹变换中把v变成-v,x'、y'、z'、t'分别与x、y、z、t互换,就得到洛伦兹变换的反变换式:

\begin{cases}
x = \frac{x'+vt'}{\sqrt{1-\frac{v^2}{c^2}}} \\
y = y' \\
z = z' \\
t = \frac{t'+\frac{v}{c^2}x'}{\sqrt{1-\frac{v^2}{c^2}}}
\end{cases}

洛伦兹变换是高速运动的宏观物体在不同惯性参照系之间进行坐标和时间变换的基本规律。当相对速度v远远小于光速c时,洛伦兹变换退化为经典力学中的伽利略变换:

\begin{cases}
x' = x-vt \\
y' = y \\
z' = z \\
t' = t
\end{cases}

所以,狭义相对论与经典力学并不矛盾,狭义相对论将经典力学扩展到了宏观物体在一切运动速度下的普遍情况,经典力学只是相对论在低速时(v远远小于c)的近似情况。一般在处理运动速度不太高的物体时(如天体力学中计算行星的运行轨道),不需考虑到相对论效应,因为用相对论进行处理时计算往往变得非常繁琐,而结果与经典情况相差不大。当处理高速运动的物理时,比如高能加速器中的电子,则必须要考虑相对论效应对结果带来的修正。

洛伦兹变换的四维形式[编辑]

在狭义相对论中,某一事件可以用带有四个参数的时空坐标(t,x,y,z)来描述,洛伦兹变换就是在不同惯性参考系中观察同一事件的时空坐标变换关系,并且是满足四维空间中间隔(s2=c2t2-x2-y2-z2)不变的变换。如果将x、y、z记成x1、x2、x3,并且令:

\begin{cases}
x^{0} = ct \\
x^{\prime}{}^{0} = ct^{\prime}
\end{cases}

那么洛伦兹变换可以写成如下的矩阵形式:


\begin{bmatrix}x^{\prime}{}^{0}\\x^{\prime}{}^{1}\\x^{\prime}{}^{2}\\x^{\prime}{}^{3}\end{bmatrix} = 
\begin{bmatrix}
\gamma&-\beta\gamma&0&0\\
-\beta\gamma&\gamma&0&0 \\
0&0&1&0\\
0&0&0&1\\
\end{bmatrix}\begin{bmatrix}x^{0}\\x^{1}\\x^{2}\\x^{3}\end{bmatrix}

其中

\beta = \frac{v}{c}, \quad \gamma = \frac{1}{\sqrt{1-\frac{v^2}{c^2}}},称为洛伦兹因子

勞侖茲變換的推導[编辑]

相對原則和光速不變的物理原則是狭義相對論通常的出發點(例:愛因斯坦最初對勞侖茲變換的推導)。實际上勞侖茲變換并不取决於的物理性質:最重要的是粒子間的作用的地區性:一粒子對另外一粒子的影响作用不能任意快地傳递,而作用傳递的最高速度必須是所有在所有参照系一樣的速度(引: 朗道, 列夫; 栗弗席兹. 經典場論. 理論物理教程 第二卷. )。此最高速度剛好等於真空中光速。

从群論出發的推導[编辑]

所有参照系間轉换以轉换叠加作為乘法組成一個。它們符合以下公理:

  1. 閉合:两個參照系轉换叠加得另外一轉换。以[K \to K^\prime]KK^{\prime}。那對任意三個参照系[K \to K^{\prime\prime}] = [K \to K^\prime] [K^{\prime} \to K^{\prime\prime}]
  2. 組合律[K \to K^{\prime}] \left([K^{\prime} \to K^{\prime\prime}] [K^{\prime\prime} \to K^{\prime\prime\prime}]\right) = \left([K \to K^{\prime}] [K^{\prime} \to K^{\prime\prime}]\right) [K^{\prime\prime} \to K^{\prime\prime\prime}]
  3. 單位元:存在保留參照系的單位轉换[K \to K]
  4. 逆元:對任何參照系轉换[K \to K^\prime]都有返回原本參照系的轉换[K^\prime \to K]

符合群公理的轉换矩陣[编辑]

考慮两個參照系KK^\primeK^\prime的原點相對K原點速度為v(設運動方向為z方向,以下忽略無關的xy方向)。出於時空的均勻性勞侖茲變換必須保留慣性運動,因此它必須是一個綫性轉换而可以以矩陣表示:

\begin{pmatrix}t^\prime \\ z^\prime\end{pmatrix} =
\begin{pmatrix} \Lambda_{11} & \Lambda_{12} \\ \Lambda_{21} & \Lambda_{22} \end{pmatrix}
\begin{pmatrix} t \\ z \end{pmatrix}

以上\Lambda_{ij}是有待計算的矩陣元。它們是相對速度v的函數。

參照系K^\prime的原点O^\prime在參照系K的運動:

\begin{pmatrix}t^\prime \\ 0\end{pmatrix} =
\begin{pmatrix} \Lambda_{11} & \Lambda_{12} \\ \Lambda_{21} & \Lambda_{22} \end{pmatrix}
\begin{pmatrix} t \\ v t \end{pmatrix}

\Lambda_{21}+v \, \Lambda_{22}=0

同樣參照系K的原点O在參照系K^\prime的運動:

\begin{pmatrix}t^\prime \\ -v t^\prime \end{pmatrix} =
\begin{pmatrix} \Lambda_{11} & \Lambda_{12} \\ \Lambda_{21} & \Lambda_{22} \end{pmatrix}
\begin{pmatrix} t \\ 0 \end{pmatrix}

\Lambda_{21} + v \, \Lambda_{11}=0

因此主斜两項相等且可称为\gamma\equiv\Lambda_{11} = \Lambda_{22}\,。還有\Lambda_{21}= -v \,\gamma

\begin{pmatrix}t^\prime \\ z^\prime\end{pmatrix} =
\begin{pmatrix} \gamma & \Lambda_{12} \\ -v \gamma & \gamma \end{pmatrix}
\begin{pmatrix} t \\ z \end{pmatrix}

因為t^\prime = \gamma t\gamma的意義就是時間膨脹的因子。因為時空的各向同性,\gamma只能取决於速度而不取决於方向。也就是說\gamma(-v)=\gamma(v)。 群元可逆因此取逆矩陣:

\begin{pmatrix}t \\ z\end{pmatrix} = \frac{1}{\gamma^2 + \Lambda_{12} v \gamma}
\begin{pmatrix} \gamma & -\Lambda_{12} \\ v \gamma & \gamma \end{pmatrix}
\begin{pmatrix} t^\prime \\ z^\prime \end{pmatrix}

當然逆轉换只等同於反方向同速的轉换。運用上段\gamma的性質

\frac{1}{\gamma^2 + \Lambda_{12} v \gamma}
\begin{pmatrix} \gamma & -\Lambda_{12} \\ v \gamma & \gamma \end{pmatrix}
=\begin{pmatrix} \gamma & -\Lambda_{12} \\ v \gamma & \gamma \end{pmatrix}

每項比較得到:

\gamma^2 + \Lambda_{12} v \gamma = 1

從群的閉合性要求連續两次轉换等於以速度和的單次轉换。也就是說两個矩陣的積:

\begin{pmatrix} \gamma^\prime & \Lambda_{12}^\prime \\
-v^\prime \gamma^\prime & \gamma^\prime \end{pmatrix}
\begin{pmatrix} \gamma & \Lambda_{12} \\ -v \gamma & \gamma \end{pmatrix}
= \begin{pmatrix} \gamma^\prime\gamma - \Lambda_{12}^\prime v\gamma
& \gamma^\prime\Lambda_{12} + \gamma\Lambda_{12}^\prime \\
-\gamma^\prime\gamma(v+v^\prime)
& \gamma^\prime \gamma-v^\prime \gamma^\prime \Lambda_{12}\end{pmatrix}

必須擁有同樣的矩陣型式。這意味着主斜綫上两項相等。因此以下比例:

 \kappa \equiv \frac{\Lambda_{12}}{v \gamma} = \frac{\Lambda_{12}^\prime}{v^\prime \gamma^\prime}

必須是一個和参照系相對速度v無關的常数。 插入較前等式得\gamma的定義:

\gamma = \frac{1}{\sqrt{1 + \kappa v^2}}

而最廣泛的勞侖茲變換矩陣型式為:

\frac{1}{\sqrt{1+\kappa v^2}} \begin{pmatrix} 1 & \kappa v \\ -v & 1 \end{pmatrix}

到這裡c^2 = \frac{1}{|\kappa|}就是轉换的不變速度。如果\kappa\,>0,c是一個速度的下限。這明顯與物理現實不符。因此\kappa\le0。但還可以分成\kappa\,=0\kappa\,<0两種情形:

伽利略轉换[编辑]

\kappa=0得伽利略轉換矩陣:

\begin{pmatrix}t^\prime \\ z^\prime \end{pmatrix} =
\begin{pmatrix} 1 & 0 \\ -v & 1\end{pmatrix} \begin{pmatrix} t \\ z \end{pmatrix}

在此情况下時間是絕對的:t^\prime = t

勞侖茲變換[编辑]

在更一般c=\frac{1}{\sqrt{-\kappa}} < \infty的情况就得到先前的勞侖茲變換矩陣:

\begin{pmatrix}t^\prime \\ z^\prime \end{pmatrix} = \frac{1}{\sqrt{1 - \frac{v^2}{c^2}}}
\begin{pmatrix} 1 & -\frac{v}{c^2} \\ -v & 1\end{pmatrix} \begin{pmatrix} t \\ z \end{pmatrix}

c是在所有參照系內不變的速度上限。

到底世界是属于\kappa=0還是\kappa<0類型是最終只能靠實驗驗證。例如迈克耳孙-莫雷实验

洛伦兹变换的推论[编辑]

由洛伦兹变换可以得到相对论的速度变换公式。设ux、uy、uz分别是物体在惯性坐标系Σ下沿各坐标轴的速度分量,u'x、u'y、u'z分别是物体在惯性坐标系Σ'下沿各坐标轴的速度分量,那么:

u'_x = \frac{u_x-v}{1 - \frac{v u_x}{c^2}}
u'_y = \frac{u_y\sqrt{1-\frac{v^2}{c^2}}}{1-\frac{vu_{x}}{c^2}}
u'_z = \frac{u_z\sqrt{1-\frac{v^2}{c^2}}}{1-\frac{vu_{x}}{c^2}}

如果把v变成-v,ux、uy、uz分别与u'x、u'y、u'z互换,就得到上述速度变换的反变换式。

当速度v远小于光速时,上述速度变换式退化为经典的速度变换式:

u'_{x} = u_{x} - v
u'_{y} = u_{y}
u'_{z} = u_{z}

洛伦兹变换的几何理解[编辑]

在平面几何,一个向量在某座标系统为(x,y)。如果我們在原点以\theta旋转原本座标轴做新的座标系统。在新系统内,同一向量座标为:(x^{\prime},y^{\prime})

\begin{bmatrix}x^{\prime}\\y^{\prime}\end{bmatrix}
=\begin{bmatrix}\cos\theta & \sin\theta \\
-\sin\theta & \cos\theta\end{bmatrix}
\begin{bmatrix}x\\y\end{bmatrix}

当然雖然向量的座标在不同座标系统里面不一样,它的長度不变:(x^\prime)^2+(y^\prime)^2=(x)^2+(y)^2。 另外如果我們以另外角度\phi再旋转一次,那向量新座标和原座标关系为:

\begin{bmatrix}x^{\prime\prime}\\y^{\prime\prime}\end{bmatrix}
=\begin{bmatrix}\cos(\theta+\phi) & \sin(\theta+\phi) \\
-\sin(\theta+\phi) & \cos(\theta+\phi)\end{bmatrix}
\begin{bmatrix}x\\y\end{bmatrix}

即:连续的转角可加

我們可以相似般把洛伦兹变换看成一种类似的座标旋转。定義快度w=\text{arctanh}\beta。那以上洛伦兹变换公式可以写成(略去不受影响的x^2x^3):

\begin{bmatrix}x^\prime{}^0\\ x^\prime{}^1\end{bmatrix}
=\begin{bmatrix}\cosh w & -\sinh w\\
-\sinh w & \cosh w\end{bmatrix}
\begin{bmatrix}x^0\\ x^1\end{bmatrix}

也就是說:洛倫兹變換數學上等同於雙曲角旋轉。此座标“旋转”中类似“長度”的不变量是:

(x^\prime{}^0)^2-(x^\prime{}^1)^2=(x^0)^2-(x^1)^2

如果我們先转换到相对原本叄考系统速度为\beta_{21}的叄考系统,然后再转换到相对第二個叄考系统速度为\beta_{32}的叄考系统。令w_{21}=\text{arctanh}\beta_{21}w_{32}=\text{arctanh}\beta_{32}。那么在原本叄考系统座标为(x^0,x^1)的事件在两次转换后叄考系统内座标(x^{\prime\prime}{}^0,x^{\prime\prime}{}^1)为:

\begin{bmatrix}x^{\prime\prime}{}^0\\ x^{\prime\prime}{}^1\end{bmatrix}
=\begin{bmatrix}\cosh (w_{21} + w_{32}) & -\sinh (w_{21} + w_{32})\\
-\sinh (w_{21} + w_{32}) & \cosh (w_{21} + w_{32})\end{bmatrix}
\begin{bmatrix}x^0\\ x^1\end{bmatrix}

所以我们发现洛伦兹变换里直接相加的数量不是速度\beta而是这个类似角度的w=\text{arctanh}\beta。日常经验我們使用的伽利略變換把速度直接相加减。这是因为在速度遠小於光速(\beta\ll 1)的时候w近似速度w\simeq \beta

当然我们也可以直接从原本的叄考系统直接转换到最后的叄考系统。如果两者速度为\beta_{31},那么

\begin{align}
w_{31} &= w_{21} + w_{32} \\
\tanh w_{31} &= \tanh (w_{21} + w_{32}) = \frac{\tanh w_{21} + \tanh w_{32}}{1+\tanh w_{21} \tanh w_{32}} \\
\beta_{31} &= \frac{\beta_{21} + \beta_{32}}{1+\beta_{21} \beta_{32}}
\end{align}

因此得到相對论速率加法公式。