4、四轴系
时间轴:观测者世界线的切矢量 U μ U^\mu Uμ(前面已经提到的定义)
空间轴:?
ω
a
^
μ
(
a
^
=
0
,
1
,
2
,
3
)
\omega^\mu_{\hat a}(\hat a=0,1,2,3)
ωa^μ(a^=0,1,2,3)
其中
a
^
\hat a
a^的第一个为时间轴,后三个为空间轴
定义 ω 0 ^ μ ≡ U μ \omega^\mu_{\hat 0}\equiv U^\mu ω0^μ≡Uμ, U μ U^\mu Uμ满足归一化条件, g μ ν U μ U ν = − 1 ⇒ g μ ν ω 0 ^ μ ω 0 ^ ν = − 1 g_{\mu\nu}U^\mu U^\nu=-1\Rightarrow g_{\mu\nu}\omega^\mu_{\hat 0}\omega^\nu_{\hat 0}=-1 gμνUμUν=−1⇒gμνω0^μω0^ν=−1
ω i ^ μ \omega^\mu_{\hat i} ωi^μ:有一定任意性,只要满足条件:(1) ω i ^ μ \omega^\mu_{\hat i} ωi^μ与 ω 0 ^ μ \omega^\mu_{\hat 0} ω0^μ垂直,(2)两两垂直
性质:
(1)四轴系的第零分量,由观测者的运动而定,但空间轴还是有一定的自由度。四轴系与观测者的运动有关
(2)四轴系两个指标: α ^ \hat \alpha α^, β ^ \hat \beta β^用 η α β \eta_{\alpha\beta} ηαβ和 η α β \eta^{\alpha\beta} ηαβ来升降,而 μ , ν \mu,\nu μ,ν用 g μ ν g_{\mu\nu} gμν, g μ ν g^{\mu\nu} gμν升降
(3)四轴系的正交条件: ω μ α ^ ω β ^ μ = δ β α \omega^{\hat \alpha}_\mu \omega^\mu_{\hat \beta}=\delta^\alpha_{\ \ \beta} ωμα^ωβ^μ=δ βα
(4)四轴系的完备性,即任一矢量
A
μ
A^\mu
Aμ,可以将其在四轴系上分解,即
A
μ
≡
A
α
^
ω
α
^
μ
A^\mu\equiv A^{\hat \alpha}\omega^\mu_{\hat \alpha}
Aμ≡Aα^ωα^μ
ω
μ
β
^
A
μ
=
A
α
^
ω
μ
α
^
ω
β
^
μ
=
A
α
^
δ
β
α
=
A
β
^
\omega^{\hat \beta}_\mu A^\mu = A^{\hat \alpha}\omega^{\hat \alpha}_\mu \omega^\mu_{\hat \beta}=A^{\hat \alpha}\delta^\alpha_{\ \ \beta}=A^{\hat \beta}
ωμβ^Aμ=Aα^ωμα^ωβ^μ=Aα^δ βα=Aβ^
时间投影
d
x
μ
dx^\mu
dxμ作时间投影:
d
x
0
^
≡
d
x
μ
⋅
ω
μ
0
^
=
d
x
μ
(
g
μ
ν
η
0
^
0
^
ω
0
^
ν
)
=
−
d
x
μ
(
g
μ
ν
ω
0
^
ν
)
=
−
d
x
μ
U
μ
dx^{\hat 0}\equiv dx^\mu\cdot \omega^{\hat 0}_\mu=dx^\mu(g_{\mu\nu}\eta^{\hat 0\hat 0}\omega^\nu_{\hat 0})=-dx^\mu(g_{\mu\nu}\omega^\nu_{\hat 0})=-dx^\mu U_\mu
dx0^≡dxμ⋅ωμ0^=dxμ(gμνη0^0^ω0^ν)=−dxμ(gμνω0^ν)=−dxμUμ
此投影的结果是一个标量,与前面时间投影算符得到的结果一致
d
x
i
≡
d
x
μ
ω
μ
i
^
dx^i\equiv dx^\mu \omega^{\hat i}_\mu
dxi≡dxμωμi^
张量投影
T
μ
ν
→
T^{\mu\nu}\rightarrow
Tμν→可以定义16个可观测量:
T
α
^
β
^
=
T
μ
ν
ω
μ
α
^
ω
ν
β
^
T^{\hat \alpha \hat \beta}=T^{\mu\nu}\omega^{\hat\alpha}_\mu\omega^{\hat\beta}_\nu
Tα^β^=Tμνωμα^ωνβ^
举例: 平坦时空中静止观测者
g
μ
ν
=
η
μ
ν
,
U
μ
=
(
1
,
0
,
0
,
0
)
=
ω
0
^
μ
g_{\mu\nu}=\eta_{\mu\nu},\ U^\mu=(1,0,0,0)=\omega^\mu_{\hat 0}
gμν=ημν, Uμ=(1,0,0,0)=ω0^μ
其他的三个分量
ω
i
^
μ
\omega^\mu_{\hat i}
ωi^μ如何定义?
最简单的方式:
ω
1
^
μ
=
(
0
,
1
,
0
,
0
)
ω
2
^
μ
=
(
0
,
0
,
1
,
0
)
ω
3
^
μ
=
(
0
,
0
,
0
,
1
)
\omega^\mu_{\hat 1}=(0,1,0,0)\\ \omega^\mu_{\hat 2}=(0,0,1,0)\\ \omega^\mu_{\hat 3}=(0,0,0,1)
ω1^μ=(0,1,0,0)ω2^μ=(0,0,1,0)ω3^μ=(0,0,0,1)
也可以选择让一个轴转动:
ω
1
^
μ
=
(
0
,
cos
ω
t
,
sin
ω
t
,
0
)
ω
2
^
μ
=
(
0
,
−
sin
ω
t
,
cos
ω
t
,
0
)
ω
3
^
μ
=
(
0
,
0
,
0
,
1
)
\omega^\mu_{\hat 1}=(0,\cos\omega t,\sin\omega t,0)\\ \omega^\mu_{\hat 2}=(0,-\sin\omega t,\cos\omega t,0)\\ \omega^\mu_{\hat 3}=(0,0,0,1)
ω1^μ=(0,cosωt,sinωt,0)ω2^μ=(0,−sinωt,cosωt,0)ω3^μ=(0,0,0,1)
对张量
T
μ
ν
T^{\mu\nu}
Tμν,其张量是否可观测?
对十六个张量 T α ^ β ^ = ω μ α ^ ω ν β ^ T μ ν T^{\hat\alpha\hat\beta}=\omega^{\hat\alpha}_\mu \omega^{\hat\beta}_\nu T^{\mu\nu} Tα^β^=ωμα^ωνβ^Tμν, ω μ α ^ = g μ ν η α ^ β ^ ω β ^ μ = η μ ν η α β ω β ^ μ = δ μ α \omega^{\hat\alpha}_\mu=g_{\mu\nu}\eta^{\hat\alpha\hat\beta}\omega^\mu_{\hat\beta}=\eta_{\mu\nu}\eta^{\alpha\beta}\omega^\mu_{\hat\beta}=\delta^\alpha_\mu ωμα^=gμνηα^β^ωβ^μ=ημνηαβωβ^μ=δμα
因此:
T
α
^
β
^
=
δ
μ
α
δ
ν
β
T
μ
ν
=
T
α
β
T^{\hat\alpha\hat\beta}=\delta^\alpha_\mu\delta^\beta_\nu T^{\mu\nu}=T^{\alpha\beta}
Tα^β^=δμαδνβTμν=Tαβ
所以,
T
α
β
T^{\alpha\beta}
Tαβ的16个分量正好对应于16个可观测量
举例: 弯曲时空中的静止观测者
g
μ
ν
g_{\mu\nu}
gμν不再等于
η
μ
ν
\eta_{\mu\nu}
ημν,
U
μ
∝
(
1
,
0
,
0
,
0
)
U^\mu\propto(1,0,0,0)
Uμ∝(1,0,0,0),空间轴
ω
1
^
μ
∝
(
0
,
1
,
0
,
0
)
\omega^\mu_{\hat 1}\propto (0,1,0,0)
ω1^μ∝(0,1,0,0),其余轴同理
T
0
^
0
^
=
T
μ
ν
ω
μ
0
^
ω
ν
0
^
=
T
T^{\hat 0\hat 0}=T^{\mu\nu}\omega^{\hat 0}_\mu \omega^{\hat 0}_\nu=T
T0^0^=Tμνωμ0^ων0^=T
其中:
ω
μ
0
^
=
g
μ
ν
η
0
^
0
^
ω
0
^
ν
=
−
g
μ
ν
U
ν
=
−
g
μ
0
−
g
00
\omega^{\hat 0}_\mu=g_{\mu\nu}\eta^{\hat 0\hat 0}\omega^\nu_{\hat 0}=-g_{\mu\nu}U^\nu=-\frac{g_{\mu 0}}{\sqrt{-g_{00}}}
ωμ0^=gμνη0^0^ω0^ν=−gμνUν=−−g00gμ0
所以:
T
0
^
0
^
=
−
g
μ
0
g
ν
0
g
00
T
μ
ν
T^{\hat 0\hat 0}=-\frac{g_{\mu 0}g_{\nu 0}}{g_{00}}T^{\mu\nu}
T0^0^=−g00gμ0gν0Tμν
T
μ
ν
T^{\mu\nu}
Tμν的分量并不是实际观测量
所以GR中必须有观测量理论
举例: 空间投影与前面结果的联系
考虑矢量 d x μ dx^\mu dxμ,投影到四轴系,则零分量为 Δ T ≡ d x μ ω μ 0 ^ \Delta T \equiv dx^\mu \omega^{\hat 0}_\mu ΔT≡dxμωμ0^,一分量: Δ X ≡ d x μ ω μ 1 ^ \Delta X\equiv dx^\mu \omega^{\hat 1}_\mu ΔX≡dxμωμ1^,二分量: Δ Y ≡ d x μ ω μ 2 ^ \Delta Y\equiv dx^\mu \omega^{\hat 2}_\mu ΔY≡dxμωμ2^,三分量: Δ Z ≡ d x μ ω μ 3 ^ \Delta Z\equiv dx^\mu\omega^{\hat 3}_\mu ΔZ≡dxμωμ3^
利用 Δ L = h α β d x α d x β \Delta L=\sqrt{h_{\alpha\beta}dx^\alpha dx^\beta} ΔL=hαβdxαdxβ,得知这样定义出来的 Δ L 2 = Δ X 2 + Δ Y 2 + Δ Z 2 \Delta L^2=\Delta X^2+\Delta Y^2+\Delta Z^2 ΔL2=ΔX2+ΔY2+ΔZ2
由此得到:
Δ
s
2
=
Δ
L
2
−
Δ
T
2
=
Δ
X
2
+
Δ
Y
2
+
Δ
Z
2
−
Δ
T
2
\Delta s^2=\Delta L^2-\Delta T^2=\Delta X^2+\Delta Y^2+\Delta Z^2-\Delta T^2
Δs2=ΔL2−ΔT2=ΔX2+ΔY2+ΔZ2−ΔT2
5、两个观测者比对
两个不同的观测者 u u u和 k k k,对应两条不同的世界线
u | k | |
---|---|---|
四速度 | u μ u^\mu uμ | k μ k^\mu kμ |
四轴系 | ω α ^ μ \omega^\mu_{\hat\alpha} ωα^μ | λ α ^ μ \lambda^\mu_{\hat\alpha} λα^μ |
可观测量 | u d x α ^ = d x μ ω μ α ^ _udx^{\hat\alpha}=dx^\mu\omega^{\hat\alpha}_\mu udxα^=dxμωμα^ | k d x α ^ = d x μ λ μ α ^ _k dx^{\hat\alpha}=dx^\mu\lambda^{\hat\alpha}_\mu kdxα^=dxμλμα^ |
考虑 u d x α ^ _u dx^{\hat\alpha} udxα^和 k d x α ^ _k dx^{\hat\alpha} kdxα^之间的关系
对 k d x α ^ _kdx^{\hat\alpha} kdxα^做展开: k d x α ^ = d x μ λ μ α ^ = u d x β ^ ( ω β ^ μ λ μ α ^ ) _k dx^{\hat\alpha}=dx^\mu \lambda^{\hat\alpha}_\mu=\ _u dx^{\hat\beta}(\omega^\mu_{\hat\beta}\lambda^{\hat\alpha}_\mu) kdxα^=dxμλμα^= udxβ^(ωβ^μλμα^)
第一项中的 d x μ dx^\mu dxμ替换为 u d x β ^ ω β ^ μ _u dx^{\hat\beta}\omega^\mu_{\hat\beta} udxβ^ωβ^μ
第二项中的变换矩阵 ω β ^ μ λ μ α ^ \omega^\mu_{\hat\beta}\lambda^{\hat\alpha}_\mu ωβ^μλμα^,定义为 A β ^ α ^ A^{\hat\alpha}_{\hat\beta} Aβ^α^,不含有张量指标,即坐标系无关
α ^ \hat\alpha α^、 β ^ \hat\beta β^反应的是两个观测者之间的运动情况
时间间隔的比较:
u
d
x
0
^
_u dx^{\hat 0}
udx0^与
k
d
x
0
^
_k dx^{\hat 0}
kdx0^的比较
k
d
x
0
^
=
u
d
x
β
^
(
ω
β
^
μ
λ
μ
0
^
)
=
u
d
x
β
A
β
^
0
^
=
u
d
x
0
^
A
0
^
0
^
+
u
d
x
i
^
A
i
^
0
^
_k dx^{\hat 0}=\ _u dx^{\hat\beta}(\omega^\mu_{\hat\beta}\lambda^{\hat 0}_\mu)=\ _u dx^\beta A^{\hat 0}_{\hat \beta}=\ _udx^{\hat 0}A^{\hat 0}_{\hat 0}+\ _u dx^{\hat i}A^{\hat 0}_{\hat i}
kdx0^= udxβ^(ωβ^μλμ0^)= udxβAβ^0^= udx0^A0^0^+ udxi^Ai^0^
其中,
A
α
^
0
^
≡
ω
α
^
μ
λ
μ
0
^
=
ω
α
^
μ
k
μ
A^{\hat 0}_{\hat \alpha}\equiv \omega^\mu_{\hat\alpha}\lambda^{\hat 0}_{\mu}=\omega^\mu_{\hat\alpha}k_\mu
Aα^0^≡ωα^μλμ0^=ωα^μkμ,为
u
u
u观测者测量得到的
k
k
k的四速度的各个分量,将其定义为
ω
α
^
μ
k
μ
≡
k
α
^
\omega^\mu_{\hat\alpha}k_\mu\equiv k_{\hat\alpha}
ωα^μkμ≡kα^
因为
k
α
^
k
β
^
η
α
β
=
−
1
k^{\hat\alpha}k^{\hat\beta}\eta_{\alpha\beta}=-1
kα^kβ^ηαβ=−1,
k
i
^
=
k
0
^
v
i
k^{\hat i}=k^{\hat 0}v^i
ki^=k0^vi,其中
v
i
v^i
vi为相对速度,由此得到:
{
A
0
^
0
^
≡
−
k
0
^
=
k
0
^
=
1
1
−
v
2
A
j
^
0
^
=
−
k
j
^
=
−
k
j
^
=
−
v
j
^
1
−
v
2
\left\{\begin{aligned} &A^{\hat 0}_{\hat 0}\equiv -k_{\hat 0}=k^{\hat 0}=\frac{1}{\sqrt{1-v^2}}\\ &A^{\hat 0}_{\hat j}=-k_{\hat j}=-k^{\hat j}=-\frac{v^{\hat j}}{\sqrt{1-v^2}} \end{aligned}\right.
⎩⎪⎪⎪⎨⎪⎪⎪⎧A0^0^≡−k0^=k0^=1−v21Aj^0^=−kj^=−kj^=−1−v2vj^
k d x 0 ^ = u d x 0 ^ − ∑ i = 1 3 v i ^ u d x i ^ 1 − v 2 _kdx^{\hat 0}=\frac{_u dx^{\hat 0}-\sum\limits^3_{i=1}v^{\hat i}\ _udx^{\hat i}}{\sqrt{1-v^2}} kdx0^=1−v2udx0^−i=1∑3vi^ udxi^
6、局域惯性系条件
在闵氏时空中,静止观测者建立一个四轴系,该四轴系一定是惯性系吗?
对于闵氏时空中的静止观测者而言:
g
μ
ν
=
η
μ
ν
,
U
μ
=
(
1
,
0
,
0
,
0
)
=
ω
0
^
μ
g_{\mu\nu}=\eta_{\mu\nu},\ U^\mu=(1,0,0,0)=\omega^\mu_{\hat 0}
gμν=ημν, Uμ=(1,0,0,0)=ω0^μ
如果使用前面提到的最简单的方法定义
ω
i
^
μ
\omega^\mu_{\hat i}
ωi^μ,即让
(
t
,
x
,
y
,
z
)
(t,x,y,z)
(t,x,y,z)作为四轴坐标系,则该四轴系必然是惯性系
但如果使用前面提到的第二种方法定义 ω i ^ μ \omega^\mu_{\hat i} ωi^μ,则不是惯性系
因此,要让四轴坐标系是惯性系,需要满足一定的条件,即局域惯性系条件
考虑四轴系 ω α ^ μ \omega^\mu_{\hat\alpha} ωα^μ,其需要满足的条件为: g μ ν ω α ^ μ ω β ^ ν = η α β g_{\mu\nu}\omega^\mu_{\hat\alpha}\omega^\nu_{\hat\beta}=\eta_{\alpha\beta} gμνωα^μωβ^ν=ηαβ, ω 0 ^ μ ≡ U μ \omega^\mu_{\hat 0}\equiv U^\mu ω0^μ≡Uμ(满足这两个条件时,即可建立四轴系)
零分量对应的四维加速度: D U μ D τ = U ˙ μ \dfrac{DU^\mu}{D\tau}=\dot U^\mu DτDUμ=U˙μ,一般情况下不为零,若 U ˙ μ = 0 \dot U^\mu=0 U˙μ=0,即粒子满足测地线方程(在引力场中自由运动),此即条件1:无运动方向上的加速度
四轴系定义的四维加速度:
ω
˙
α
^
μ
≡
D
ω
α
^
μ
D
τ
=
ω
α
^
;
ν
μ
U
ν
\dot\omega^\mu_{\hat\alpha}\equiv \frac{D\omega^\mu_{\hat\alpha}}{D\tau}=\omega^\mu_{\hat\alpha;\nu}U^\nu
ω˙α^μ≡DτDωα^μ=ωα^;νμUν
条件1的完整描述为:让上述四轴系定义的四维加速度为零(局域惯性系条件)
把加速度
ω
˙
α
^
μ
\dot\omega^\mu_{\hat\alpha}
ω˙α^μ往四轴系上投影:
ω
˙
α
^
μ
≡
Ω
α
^
β
^
ω
β
^
μ
\dot \omega^\mu_{\hat\alpha}\equiv \Omega_{\hat\alpha \hat\beta}\omega^{\hat\beta \mu}
ω˙α^μ≡Ωα^β^ωβ^μ
其中投影系数
Ω
α
^
β
^
\Omega_{\hat\alpha\hat\beta}
Ωα^β^是个反对称矩阵,即
Ω
α
^
β
^
=
−
Ω
β
^
α
^
\Omega_{\hat\alpha\hat\beta}=-\Omega_{\hat\beta\hat\alpha}
Ωα^β^=−Ωβ^α^
所以 Ω α ^ β ^ \Omega_{\hat\alpha\hat\beta} Ωα^β^有六个分量,当六个分量都为零时,即满足条件
(1) ω ˙ 0 ^ μ = U ˙ μ = Ω 0 ^ β ^ ω β ^ μ = Ω 0 j ^ ω j ^ μ \dot \omega^\mu_{\hat 0}=\dot U^\mu=\Omega_{\hat 0\hat \beta}\omega^{\hat\beta\mu}=\Omega_{0\hat j}\omega^{\hat j\mu} ω˙0^μ=U˙μ=Ω0^β^ωβ^μ=Ω0j^ωj^μ,反解出 Ω 0 j ^ = U ˙ μ ω j ^ μ = ⋯ \Omega_{0\hat j}=\dot U^\mu\omega_{\hat j\mu}=\cdots Ω0j^=U˙μωj^μ=⋯
(2)对于剩下三个分量,利用矢量的变率公式:
ω
˙
i
^
μ
=
Ω
i
^
0
^
ω
0
^
μ
+
Ω
i
^
j
^
ω
j
^
μ
=
U
˙
i
^
U
μ
+
Ω
i
^
j
^
ω
j
^
μ
\begin{aligned} \dot\omega^\mu_{\hat i}&=\Omega_{\hat i\hat 0}\omega^{\hat 0\mu}+\Omega_{\hat i\hat j}\omega^{\hat j\mu}\\ &=\dot U_{\hat i}U^\mu+\Omega_{\hat i\hat j}\omega^{\hat j\mu} \end{aligned}
ω˙i^μ=Ωi^0^ω0^μ+Ωi^j^ωj^μ=U˙i^Uμ+Ωi^j^ωj^μ
第一项为平动带来的变率,第二项为转动带来的变率
要满足条件时,需要同时要求两项都为零
所以,局域惯性系的两个条件分别为:
(1) U ˙ μ = 0 \dot U^\mu=0 U˙μ=0,观测者自由下落
(2) Ω i ^ j ^ = 0 \Omega_{\hat i\hat j}=0 Ωi^j^=0,没有转动:费米平动参考系
局域惯性系:自由下落的费米平动参考系