伽利略變換 (英語:Galilean transformation )是经典力学 中用以在兩個只以匀速相對移動的參考系 之間變換的方法,屬於一種被動態變換。在相對論 效應下,伽利略变换在物體以接近光速 運動时不成立[ 1] ,在電磁系統中也不会成立。[ 2]
伽利略·伽利莱 在解釋匀速運動時制定了這一套概念。[ 3] 他用其解釋球體 滾下斜面 這一力學問題,並測量出地球 表面引力 加速度 的數值。
在狭义相对论中,伽利略变换被庞加莱变换 所取代;相反,庞加莱变换的经典极限 c →∞中的群收缩产生了伽利略变换。
平移
伽利略變換示意圖
伽利略變換建基於人們加減物體速度的直覺。在其核心,伽利略變換假設時間和空間是絕對 的。
這項假設在洛伦兹变换 中被捨棄,因此就算在相對論 性速度下,洛伦兹变换也是成立的;而伽利略變換則是洛伦兹变换的低速近似值。
以下為伽利略變換的數學表達式,其中
(
x
,
y
,
z
,
t
)
{\displaystyle (x,y,z,t)}
和
(
x
′
,
y
′
,
z
′
,
t
′
)
{\displaystyle (x',y',z',t')}
分別為同一個事件在兩個坐標系
S
{\displaystyle S}
和
S
′
{\displaystyle S'}
中的坐標。兩個坐標系以相對匀速運行(速度 為
v
{\displaystyle v}
),運行方向為
x
{\displaystyle x}
和
x
′
{\displaystyle x'}
,原點在時間
t
=
t
′
=
0
{\displaystyle t=t'=0}
時重合。
[ 4]
[ 5]
[ 6]
[ 7]
x
′
=
x
−
v
t
{\displaystyle x'=x-vt\,}
y
′
=
y
{\displaystyle y'=y\,}
z
′
=
z
{\displaystyle z'=z\,}
t
′
=
t
{\displaystyle t'=t\,}
最後一條方程式意味著時間是不受觀測者的相對運動影響的。
利用線性代數 的術語來說,這種變換是個錯切 ,是矩陣對向量進行變換的一個過程。當參考系只沿著x軸移動時,伽利略變換只作用於兩個分量:
(
x
′
,
t
′
)
=
(
x
,
t
)
(
1
0
−
v
1
)
.
{\displaystyle (x',t')=(x,t){\begin{pmatrix}1&0\\-v&1\end{pmatrix}.}
雖然在伽利略變換中沒有必要用到矩陣表達法,但是用了矩陣就可以和狹義相對論中的變換法進行比較。
三種伽利略變換
沿著一個加速中觀測者的世界線 所看到的時空 。 縱軸為時間,橫軸為距離,虛線為觀測者在時空中的軌跡。圖的下半部是已經發生了的事件,上半部則是未來的事件。圖中小點為時空中的事件。 世界線的斜率為觀測者的相對速率。注意觀測者在加速時所看到的時空會進行錯切 。
伽利略變換可以唯一寫成由時空的旋轉、平移和匀速運動複合 而成的函數。[ 8] 設x 為三維空間中的一點,t 為一維時間中的一點。時空當中的任何一點可以表達為有序對 (x ,t )。速度為v 的匀速運動表達為
(
x
,
t
)
↦
(
x
+
t
v
,
t
)
{\displaystyle (\mathbf {x} ,t)\mapsto (\mathbf {x} +t\mathbf {v} ,t)}
,其中v 在R 3 內。平移表達為
(
x
,
t
)
↦
(
x
+
a
,
t
+
b
)
{\displaystyle (\mathbf {x} ,t)\mapsto (\mathbf {x} +\mathbf {a} ,t+b)}
,其中a 在R 3 內,b 在R 內。旋轉表達為
(
x
,
t
)
↦
(
G
x
,
t
)
{\displaystyle (\mathbf {x} ,t)\mapsto (G\mathbf {x} ,t)}
,其中G : R 3 → R 3 為某正交變換 。[ 8] 作為一個李群 ,伽利略變換的維度為10。[ 8]
这三种变换可更加数学化地表达为伽利略群[ 9] 。首先G为SO(3)中的旋转矩阵,3维内积在G的作用下保持不变,表达为:
<
G
x
→
,
G
y
→
>=<
x
→
,
y
→
>
{\displaystyle <G{\overrightarrow {x},G{\overrightarrow {y}>=<{\overrightarrow {x},{\overrightarrow {y}>\,\!}
设在某t时刻有映射
φ
t
(
a
→
,
b
→
,
G
)
{\displaystyle \varphi _{t}({\overrightarrow {a},{\overrightarrow {b},G)}
将空间上的某一点x映射到另一点
G
x
→
+
a
→
+
b
→
⋅
t
{\displaystyle G{\overrightarrow {x}+{\overrightarrow {a}+{\overrightarrow {b}\cdot t}
上。可证得
φ
t
{\displaystyle \varphi _{t}
构成一个群。
结合律:
φ
t
{\displaystyle \varphi _{t}
为线性映射,线性映射满足结合律。
单位元:
φ
t
(
0
→
,
0
→
,
I
)
(
x
→
)
=
x
→
{\displaystyle \varphi _{t}({\overrightarrow {0},{\overrightarrow {0},\mathbf {I} )({\overrightarrow {x})={\overrightarrow {x}
逆映射:
φ
t
(
a
→
,
b
→
,
G
)
−
1
=
φ
t
(
−
G
−
1
a
→
,
−
G
−
1
b
→
,
G
−
1
)
{\displaystyle \varphi _{t}({\overrightarrow {a},{\overrightarrow {b},G)^{-1}=\varphi _{t}(-G^{-1}{\overrightarrow {a},-G^{-1}{\overrightarrow {b},G^{-1})}
封闭性:
φ
t
(
a
′
→
,
b
′
→
,
G
′
)
∘
φ
t
(
a
→
,
b
→
,
G
)
(
x
→
)
=
G
G
′
x
→
+
(
G
′
a
→
+
a
′
→
)
+
(
G
b
→
+
b
′
→
)
⋅
t
=
φ
t
(
G
′
a
→
+
a
′
→
,
G
b
→
+
b
′
→
,
G
G
′
)
(
x
→
)
{\displaystyle {\begin{aligned}\varphi _{t}({\overrightarrow {a'},{\overrightarrow {b'},G')\circ \varphi _{t}({\overrightarrow {a},{\overrightarrow {b},G)({\overrightarrow {x})=GG'{\overrightarrow {x}+(G'{\overrightarrow {a}+{\overrightarrow {a'})+(G{\overrightarrow {b}+{\overrightarrow {b'})\cdot t\\=\varphi _{t}(G'{\overrightarrow {a}+{\overrightarrow {a'},G{\overrightarrow {b}+{\overrightarrow {b'},GG')({\overrightarrow {x})\end{aligned}
对应的有:
空间平移:
φ
t
(
a
→
,
0
→
,
I
)
(
x
→
)
=
x
→
+
a
→
{\displaystyle \varphi _{t}({\overrightarrow {a},{\overrightarrow {0},\mathbf {I} )({\overrightarrow {x})={\overrightarrow {x}+{\overrightarrow {a}
速度变换:
φ
t
(
0
→
,
b
→
,
I
)
(
x
→
)
=
x
→
+
b
→
⋅
t
{\displaystyle \varphi _{t}({\overrightarrow {0},{\overrightarrow {b},\mathbf {I} )({\overrightarrow {x})={\overrightarrow {x}+{\overrightarrow {b}\cdot t}
空间旋转:
φ
t
(
0
→
,
0
→
,
G
)
(
x
→
)
=
G
x
→
{\displaystyle \varphi _{t}({\overrightarrow {0},{\overrightarrow {0},G)({\overrightarrow {x})=G{\overrightarrow {x}
φ
t
(
a
→
,
b
→
,
G
)
{\displaystyle \varphi _{t}({\overrightarrow {a},{\overrightarrow {b},G)}
为不含时伽利略群,加上时间平移
t
↦
t
+
t
0
{\displaystyle t\mapsto t+t_{0}
后映射
(
x
→
,
t
)
↦
(
φ
t
,
t
+
t
0
)
=
(
G
x
→
+
a
→
+
b
→
⋅
t
,
t
+
t
0
)
{\displaystyle ({\overrightarrow {x},t)\mapsto (\varphi _{t},t+t_{0})=(G{\overrightarrow {x}+{\overrightarrow {a}+{\overrightarrow {b}\cdot t,t+t_{0})}
构成一个完整伽利略群,其依旧满足群的性质。完整伽利略群具有10个生成元,分别为3个空间平移(x,y,z),3个空间转动(对应3个坐标基矢),3个速度,以及一个时间平移。
伽利略群的中心擴張
這裡我們只考慮伽利略群的李代數 。結果能夠輕易延伸到李群 。L的李代數由H、Pi 、Ci 和Lij 張成 (反對稱張量 ),並能夠受交換子 的作用,其中
[
H
,
P
i
]
=
0
{\displaystyle [H,P_{i}]=0\,\!}
[
P
i
,
P
j
]
=
0
{\displaystyle [P_{i},P_{j}]=0\,\!}
[
L
i
j
,
H
]
=
0
{\displaystyle [L_{ij},H]=0\,\!}
[
C
i
,
C
j
]
=
0
{\displaystyle [C_{i},C_{j}]=0\,\!}
[
L
i
j
,
L
k
l
]
=
i
[
δ
i
k
L
j
l
−
δ
i
l
L
j
k
−
δ
j
k
L
i
l
+
δ
j
l
L
i
k
]
{\displaystyle [L_{ij},L_{kl}]=i[\delta _{ik}L_{jl}-\delta _{il}L_{jk}-\delta _{jk}L_{il}+\delta _{jl}L_{ik}]\,\!}
[
L
i
j
,
P
k
]
=
i
[
δ
i
k
P
j
−
δ
j
k
P
i
]
{\displaystyle [L_{ij},P_{k}]=i[\delta _{ik}P_{j}-\delta _{jk}P_{i}]\,\!}
[
L
i
j
,
C
k
]
=
i
[
δ
i
k
C
j
−
δ
j
k
C
i
]
{\displaystyle [L_{ij},C_{k}]=i[\delta _{ik}C_{j}-\delta _{jk}C_{i}]\,\!}
[
C
i
,
H
]
=
i
P
i
{\displaystyle [C_{i},H]=iP_{i}\,\!}
[
C
i
,
P
j
]
=
0
.
{\displaystyle [C_{i},P_{j}]=0\,\!.}
H為時間平移的生成元(哈密顿算符 ),Pi 為平移的生成元(動量算符 ),Ci 為伽利略變換的生成元,而Lij 為旋轉的生成元(角動量算符 )。
現在我們可以對H'、P'i 、C'i 、L'ij (反對稱張量)、M所張成的李群進行中心擴張,使得M與一切都可交換 (位於中心 ,「中心擴張」因此得名):
[
H
′
,
P
i
′
]
=
0
{\displaystyle [H',P'_{i}]=0\,\!}
[
P
i
′
,
P
j
′
]
=
0
{\displaystyle [P'_{i},P'_{j}]=0\,\!}
[
L
i
j
′
,
H
′
]
=
0
{\displaystyle [L'_{ij},H']=0\,\!}
[
C
i
′
,
C
j
′
]
=
0
{\displaystyle [C'_{i},C'_{j}]=0\,\!}
[
L
i
j
′
,
L
k
l
′
]
=
i
[
δ
i
k
L
j
l
′
−
δ
i
l
L
j
k
′
−
δ
j
k
L
i
l
′
+
δ
j
l
L
i
k
′
]
{\displaystyle [L'_{ij},L'_{kl}]=i[\delta _{ik}L'_{jl}-\delta _{il}L'_{jk}-\delta _{jk}L'_{il}+\delta _{jl}L'_{ik}]\,\!}
[
L
i
j
′
,
P
k
′
]
=
i
[
δ
i
k
P
j
′
−
δ
j
k
P
i
′
]
{\displaystyle [L'_{ij},P'_{k}]=i[\delta _{ik}P'_{j}-\delta _{jk}P'_{i}]\,\!}
[
L
i
j
′
,
C
k
′
]
=
i
[
δ
i
k
C
j
′
−
δ
j
k
C
i
′
]
{\displaystyle [L'_{ij},C'_{k}]=i[\delta _{ik}C'_{j}-\delta _{jk}C'_{i}]\,\!}
[
C
i
′
,
H
′
]
=
i
P
i
′
{\displaystyle [C'_{i},H']=iP'_{i}\,\!}
[
C
i
′
,
P
j
′
]
=
i
M
δ
i
j
{\displaystyle [C'_{i},P'_{j}]=iM\delta _{ij}\,\!}
參見
備註
^ 伽利略變換 . [2021-06-26 ] . (原始内容存档 于2021-06-28).
^ Arthur Beiser; Kok Wai Cheah. Concepts of modern physics . McGraw-Hill. 2015: 第6頁. ISBN 9789814595261 .
^ Galileo 1638 Discorsi e Dimostrazioni Matematiche, intorno á due nuoue scienze 191 - 196 , published by Lowys Elzevir (Louis Elsevier), Leiden, or Two New Sciences , English translation by Henry Crew and Alfonso de Salvio 1914, reprinted on pages 515-520 of On the Shoulders of Giants : The Great Works of Physics and Astronomy. Stephen Hawking , ed. 2002 ISBN 978-0-7624-1348-5
^ Mould, Richard A., Basic relativity , Springer-Verla, 2002, ISBN 0-387-95210-1 , Chapter 2 §2.6, p. 42 (页面存档备份 ,存于互联网档案馆 )
^ Lerner, Lawrence S., Physics for Scientists and Engineers, Volume 2 , Jones and Bertlett Publishers, Inc, 1996, ISBN 0-7637-0460-1 , Chapter 38 §38.2, p. 1046,1047 (页面存档备份 ,存于互联网档案馆 )
^ Serway, Raymond A.; Jewett, John W., Principles of Physics: A Calculus-based Text, Fourth Edition , Brooks/Cole - Thomson Learning, 2006, ISBN 0-534-49143-X , Chapter 9 §9.1, p. 261 (页面存档备份 ,存于互联网档案馆 )
^ Hoffmann, Banesh, Relativity and Its Roots , Scientific American Books, 1983, ISBN 0-486-40676-8 , Chapter 5, p. 83 (页面存档备份 ,存于互联网档案馆 )
^ 8.0 8.1 8.2 Arnold, V. I. Mathematical Methods of Classical Mechanics 2. Springer-Verlag. 1989: 6 [2013-01-30 ] . ISBN 0-387-96890-3 . (原始内容存档 于2013-03-12).
^ H.R.Petry,B.Metsch; Theoretische Mechanik (Oldenburg, München 2005) 第18页 ISBN 3-486-24673-9