查看“︁洛伦兹变换”︁的源代码

{{noteTA
|T=zh-hans:洛伦兹变换; zh-hant:勞侖茲變換;
|G1=物理學
}}
[[File:LorentzT paused.JPG|right|250px]]

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

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

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

== 洛伦兹变换的数学形式 ==
[[File:Lorentz transform of world line.gif|right|framed|沿着快速加速的观察者的[[世界线]]来看的时空。<br />竖直方向表示时间。水平方向表示距离，虚划线是观察者的[[时空]]轨迹（“世界线”）。图的下四分之一表示观察者可以看到的事件。上四分之一表示[[光锥]]- 将可以看到观察者的事件点。小点是时空中的任意的事件。<br />世界线的斜率（从竖直方向的偏离）给出了相对于观察者的速度。注意看时空的图像随着观察者加速时的变化。]]

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

:<math>\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}</math>

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

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

:<math>\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}</math>

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

:<math>\begin{cases}
x' = x-vt \\
y' = y \\
z' = z \\
t' = t
\end{cases}</math>

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

== 洛伦兹变换的四维形式 ==
在狭义相对论中，某一事件可以用带有四个参数的时空坐标（t,x,y,z）来描述，洛伦兹变换就是在不同惯性参考系中观察同一事件的时空坐标变换关系，并且是满足四维空间中时间间隔 s<sup>2</sup>:=c<sup>2</sup>t<sup>2</sup>-x<sup>2</sup>-y<sup>2</sup>-z<sup>2</sup> 不变的变换。如果将x、y、z记成x<sup>1</sup>、x<sup>2</sup>、x<sup>3</sup>，并且令：

:<math>\begin{cases}
x^{0} = ct \\
x^{\prime}{}^{0} = ct^{\prime}
\end{cases}</math>

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

:<math>
\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}</math>

其中

:<math>\beta = \frac{v}{c}, \quad \gamma = \frac{1}{\sqrt{1-\beta^2}} =\frac{1}{\sqrt{1-\frac{v^2}{c^2}}}</math>，<math>\gamma</math> 被称为[[洛伦兹因子]]。

== 勞侖茲變換的推導 ==
[[狭義相對論|相對原則]]和光速不變的物理原則是狭義相對論通常的出發點（例：[[愛因斯坦]]最初對勞侖茲變換的推導）。實际上勞侖茲變換并不取决於[[電磁波|光]]的物理性質：最重要的是粒子間的作用的[[定域性原理|局域性]]：一粒子對另外一粒子的影响作用不能任意快地傳递，而作用傳递的最高速度必須在所有参照系都是一樣的速度<ref>{{Cite book|last = 朗道 | first = 列夫 | authorlink = 列夫·朗道  | coauthors = 栗弗席兹  | series = 理論物理教程  | volume = 第二卷 | title = 經典場論}}）</ref>。此最高速度剛好等於真空中光速。

=== 从群論出發的推導 ===
所有参照系間轉换以轉换叠加作為乘法組成一個[[群]]。它們符合以下公理：
# [[閉合]]：两個參照系轉换叠加得另外一轉换。以<math>[K \to K^\prime]</math>寫<math>K</math>到<math>K^{\prime}</math>。那對任意三個参照系<math>[K \to K^{\prime\prime}] = [K \to K^\prime] [K^{\prime} \to K^{\prime\prime}]</math>
# [[結合律]]：<math>[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}]</math>
# [[單位元]]：存在保留參照系的單位轉换<math>[K \to K]</math>
# [[逆元]]：對任何參照系轉换<math>[K \to K^\prime]</math>都有返回原本參照系的轉换<math>[K^\prime \to K]</math>

=== 符合群公理的轉换矩陣 ===
考慮两個參照系<math>K</math>和<math>K^\prime</math>，<math>K^\prime</math>的原點相對<math>K</math>原點速度為<math>v</math>（設運動方向為<math>z</math>方向，以下忽略無關的<math>x</math>和<math>y</math>方向）。出於時空的[[均勻性]]勞侖茲變換必須保留慣性運動，因此它必須是一個[[线性映射|綫性轉换]]而可以以矩陣表示：
: <math>\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}</math>
以上<math>\Lambda_{ij}</math>是有待計算的矩陣元。它們是相對速度<math>v</math>的函數。

參照系<math>K^\prime</math>的原点<math>O^\prime</math>在參照系<math>K</math>的運動：
: <math>\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}</math>
得
: <math>\Lambda_{21}+v \, \Lambda_{22}=0</math>

同樣參照系<math>K</math>的原点<math>O</math>在參照系<math>K^\prime</math>的運動：
: <math>\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}</math>
得
: <math>\Lambda_{21} + v \, \Lambda_{11}=0</math>

因此主斜两項相等且可称为<math>\gamma\equiv\Lambda_{11} = \Lambda_{22}\,</math>。還有<math>\Lambda_{21}= -v \,\gamma</math>：
: <math>\begin{pmatrix}t^\prime \\ z^\prime\end{pmatrix} =
\begin{pmatrix} \gamma & \Lambda_{12} \\ -v \gamma & \gamma \end{pmatrix}
\begin{pmatrix} t \\ z \end{pmatrix}</math>
因為<math>t^\prime = \gamma t</math>，<math>\gamma</math>的意義就是[[時間膨脹]]的因子。因為時空的各向同性，<math>\gamma</math>只能取决於速度而不取决於方向。也就是說<math>\gamma(-v)=\gamma(v)</math>。
群元可逆因此取逆矩陣：
: <math>\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}</math>
當然逆轉换只等同於反方向同速的轉换。運用上段<math>\gamma</math>的性質
: <math>\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}</math>
每項比較得到：
: <math>\gamma^2 + \Lambda_{12} v \gamma = 1</math>
從群的閉合性要求連續两次轉换等於以速度和的單次轉换。也就是說两個矩陣的積：
: <math>\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}
</math>
必須擁有同樣的矩陣型式。這意味着主斜綫上两項相等。因此以下比例：
: <math> \kappa \equiv \frac{\Lambda_{12}}{v \gamma} = \frac{\Lambda_{12}^\prime}{v^\prime \gamma^\prime}</math>
必須是一個和参照系相對速度<math>v</math>無關的常数。
插入較前等式得<math>\gamma</math>的定義：
: <math>\gamma = \frac{1}{\sqrt{1 + \kappa v^2}}</math>
而最廣泛的勞侖茲變換矩陣型式為：
: <math>\frac{1}{\sqrt{1+\kappa v^2}} \begin{pmatrix} 1 & \kappa v \\ -v & 1 \end{pmatrix}</math>

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

=== 伽利略轉换 ===
<math>\kappa=0</math>得伽利略轉換矩陣：
: <math>\begin{pmatrix}t^\prime \\ z^\prime \end{pmatrix} =
\begin{pmatrix} 1 & 0 \\ -v & 1\end{pmatrix} \begin{pmatrix} t \\ z \end{pmatrix}</math>
在此情况下時間是絕對的：<math>t^\prime = t</math>。

=== 勞侖茲變換 ===
在更一般<math>c=\frac{1}{\sqrt{-\kappa}} < \infty</math>的情况就得到先前的勞侖茲變換矩陣：
: <math>\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}</math>
<math>c</math>是在所有參照系內不變的速度上限。

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

== 速度變換公式 ==
由洛伦兹变换可以得到[[速度加成式#狹義相對論|相对论的速度变换公式]]。设u<sub>x</sub>、u<sub>y</sub>、u<sub>z</sub>分别是物体在惯性坐标系Σ下沿各坐标轴的速度分量，u'<sub>x</sub>、u'<sub>y</sub>、u'<sub>z</sub>分别是物体在惯性坐标系Σ'下沿各坐标轴的速度分量，那么：

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

如果把v变成-v，u<sub>x</sub>、u<sub>y</sub>、u<sub>z</sub>分别与u'<sub>x</sub>、u'<sub>y</sub>、u'<sub>z</sub>互换，就得到上述速度变换的反变换式。

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

:<math>u'_{x} = u_{x} - v </math>
:<math>u'_{y} = u_{y}</math>
:<math>u'_{z} = u_{z}</math>

== 其他物理量的變換 ==
對於有著類時分量<math>A</math>和類空分量<math>\mathbf{Z}=(Z_x,Z_y,Z_z)</math>的[[四維向量]]<math>(A,\mathbf{Z})</math>，其閔考斯基範（Minkowski norm）是洛伦兹不變量（Lorentz invariant）：
:<math>A^2 - \mathbf{Z}\cdot\mathbf{Z}= A'^2 - \mathbf{Z}'\cdot\mathbf{Z}'</math>。
所以我們可以仿照四維位置的洛伦兹變換，寫出一般四維向量的洛伦兹變換：
:<math>\begin{align}
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{align}</math>
其中<math display="inline">\boldsymbol{\beta} = \mathbf{v}/c= v\mathbf{n}/c</math>，<math display="inline">\mathbf{n}</math>是<math>\mathbf{v}</math>方向上的單位向量。<math>\mathbf{Z}</math>（和<math>\mathbf{Z}'</math>）分解成垂直<math>\mathbf{v}</math>方向和平行於<math>\mathbf{v}</math>方向的方法與位置向量的分解方法相同。取得逆變換的方法也是與四維位置的情況相同，就是交換<math>(A,\mathbf{Z})</math>與<math>(A',\mathbf{Z}')</math>，然後使用相反的相對運動方向，即<math>\mathbf{n} \mapsto -\mathbf{n}</math>。

常見的四維向量如下表：
{| class="wikitable"
!四維向量
!<math>A</math>
!<math>\mathbf{Z}</math>
|-
|[[四維位置]]
|[[時間]]（乘以<math>c</math>）<math>ct</math>
|[[位置向量]] <math>\mathbf{r}</math>
|-
|[[四维动量|四維動量]]
|[[能量]]（除以<math>c</math>）<math>E/c</math>
|[[动量|動量]] <math>\mathbf{p}</math>
|-
|[[四維頻率|四維波向量]]
|[[角频率|角頻率]]（除以<math>c</math>）<math>\omega/c</math>
|波向量 <math>\mathbf{k}</math>
|-
|四維自旋
|（無名稱）<math>s_\text{t}</math>
|[[自旋|自旋 <math>\mathbf{s}</math>]]
|-
|[[四維電流密度]]
|[[電荷密度]]（乘以<math>c</math>）''<math>\rho c</math>''
|[[电流密度|電流密度 <math>\mathbf{j}</math>]]
|-
|[[电磁四维势|四維電磁位勢]]
|[[電位]]（除以<math>c</math>）<math>\phi/c</math>
|[[磁矢势|磁向量位]] <math>\mathbf{A}</math>
|}

== 洛伦兹变换的几何理解 ==
在平面几何，一个向量在某坐标系统为<math>(x,y)</math>。如果我們在原点以<math>\theta</math>顺时针旋转原本坐标轴做新的坐标系统。在新系统内，同一向量坐标为:<math>(x^{\prime},y^{\prime})</math>：
:<math>\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}</math>

当然雖然向量的坐标在不同坐标系统里面不一样，它的長度不变：<math>(x^\prime)^2+(y^\prime)^2=(x)^2+(y)^2</math>。
另外如果我們以另外角度<math>\phi</math>再旋转一次，那向量新坐标和原坐标关系为：
:<math>\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}</math>
即：''连续的转角可加''。

我們可以相似般把洛伦兹变换看成一种类似的坐标旋转。定義[[快度]]<math>w=\text{arctanh}\beta</math>。那以上洛伦兹变换公式可以写成（略去不受影响的<math>x^2</math>和<math>x^3</math>）：
:<math>\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}</math>
也就是說：''洛倫兹變換數學上等同於[[雙曲角]]旋轉''。此坐标“旋转”中类似“長度”的不变量是：
:<math>(x^\prime{}^0)^2-(x^\prime{}^1)^2=(x^0)^2-(x^1)^2</math>。

如果我們先转换到相对原本參考系统速度为<math>\beta_{21}</math>的參考系统，然后再转换到相对第二個參考系统速度为<math>\beta_{32}</math>的參考系统。令<math>w_{21}=\text{arctanh}\beta_{21}</math>、<math>w_{32}=\text{arctanh}\beta_{32}</math>。那么在原本參考系统坐标为<math>(x^0,x^1)</math>的事件在两次转换后參考系统内坐标<math>(x^{\prime\prime}{}^0,x^{\prime\prime}{}^1)</math>为：
:<math>\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}</math>
所以我们发现洛伦兹变换里直接相加的数量不是速度<math>\beta</math>而是这个类似角度的<math>w=\text{arctanh}\beta</math>。日常经验我們使用的[[伽利略變換]]把速度直接相加减。这是因为在速度遠小於光速（<math>\beta\ll 1</math>）的时候<math>w</math>近似速度<math>w\simeq \beta</math>。

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

:<math>\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}</math>
因此得到相對论速率加法公式。

== 群論表述 ==
{{Main|勞侖茲群}}

=== 齊次勞侖茲群 ===

== 相关条目 ==
* [[洛伦兹协变性]]
* [[勞侖茲群]]
* [[勞侖茲因子]]

== 參考資料 ==
{{reflist}}

{{Relativity}}

[[Category:狹義相對論|L]]
[[Category:基本物理概念]]
[[Category:理论物理]]
[[Category:数学物理]]
[[Category:时空]]
[[Category:坐标系]]