相对论性像差

**勞侖茲變換**是觀測者在不同慣性參照系之間對物理量進行測量時所進行的轉換關係，在數學上表現為一套方程組。勞侖茲變換因其創立者 —— 荷蘭物理學家亨德里克・勞侖茲而得名。勞侖茲變換最初用來調和 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' 分別與 v, 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 }]$ 寫 $K$ 到 $K^{\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]$

### 符合群公理的轉換矩陣

考慮兩個參照系 $K$ 和 $K^{\prime }$ ， $K^{\prime }$ 的原點相對 $K$ 原點速度為 $v$ （設運動方向為 $z$ 方向，以下忽略無關的 $x$ 和 $y$ 方向）。出於時空的均勻性勞侖茲變換必須保留慣性運動，因此它必須是一個綫性轉換而可以以矩陣表示：

　
: ${\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\\vt\end{pmatrix}}$

得

　
: $\Lambda _{21}+v\,\Lambda _{22}=0$

同樣參照系 $K$ 的原點 $O$ 在參照系 $K^{\prime }$ 的運動：

　
: ${\begin{pmatrix}t^{\prime }\\-vt^{\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 \leq 0$ 。但還可以分成 $\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 {vu_{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}$

## 其他物理量的變換

對於有著類時分量 $A$ 和類空分量 $\mathbf {Z} =(Z_{x},Z_{y},Z_{z})$ 的四維向量 $(A,\mathbf {Z} )$ ，其閔考斯基範（Minkowski norm）是勞倫茲不變量（Lorentz invariant）：

　
: $A^{2}-\mathbf {Z} \cdot \mathbf {Z} =A'^{2}-\mathbf {Z} '\cdot \mathbf {Z} '$ 。

所以我們可以仿照四維位置的勞倫茲變換，寫出一般四維向量的勞倫茲變換：

　
: ${\begin{aligned}A'&=\gamma \left(A-\mathbf {Z} \cdot {\boldsymbol {\beta }}\right){\mbox{，}}\\\mathbf {Z} '&=\mathbf {Z} +(\gamma -1)(\mathbf {Z} \cdot \mathbf {n} )\mathbf {n} -\gamma A{\boldsymbol {\beta }}{\mbox{，}}\end{aligned}}$

其中 ${\boldsymbol {\beta }}=\mathbf {v} /c=v\mathbf {n} /c$ ， $\mathbf {n} $ 是 $\mathbf {v} $ 方向上的單位向量。 $\mathbf {Z} $ （和 $\mathbf {Z} '$ ）分解成垂直 $\mathbf {v} $ 方向和平行於 $\mathbf {v} $ 方向的方法與位置向量的分解方法相同。取得逆變換的方法也是與四維位置的情況相同，就是交換 $(A,\mathbf {Z} )$ 與 $(A',\mathbf {Z} ')$ ，然後使用相反的相對運動方向，即 $\mathbf {n} \mapsto -\mathbf {n} $ 。

常見的四維向量如下表：

## 勞侖茲變換的幾何理解

在平面幾何，一個向量在某座標系統為 $(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^{2}$ 和 $x^{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{aligned}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{aligned}}$

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

## 群論表述

### 齊次勞侖茲群

## 相關條目

* 勞侖茲協變性
* 勞侖茲群
* 勞侖茲因子

## 參考資料