1、观测量
可观测量 T α β T^{\alpha\beta} Tαβ和张量型物理量 T μ ν T^{\mu\nu} Tμν不是一回事
可观测量都是标量,与坐标系无关,但一般与参考系有关
想要将GR算出的量 T μ ν T^{\mu\nu} Tμν表示出来,需要选择一个特殊的坐标
严格区分坐标系和参考系:
坐标系: 时空中的点,与一个四维数组之间的一一对应关系。可以是局域的,也可以是全局的
参考系: GR中没有全局参考系(此概念无意义),所有的参考系都是局域的。以一定方式运动的观测者所携带的时钟和局域刚架。局域参考系中的时间方向:观测者携带的时钟指向的方向。局域参考系不一定是惯性系
一般的测量问题,与四个方面有关:
(1)观测对象
(2)事件发生地的时空结构
(3)观测者(参考系的不同带来的测量结果不同)
(4)坐标系
对于一个物理量(标量),测量出来的结果应该依赖于(1),(2),(3),但不应该依赖于(4)
2、时间测量和空间测量
研究两个相邻的事件P和Q,其时空坐标分别为 P ( x μ ) P(x^\mu) P(xμ)和 Q ( x μ + d x μ ) Q(x^\mu+dx^\mu) Q(xμ+dxμ),对于这两个事件,如何求出P与Q之间的时间间隔和空间间隔
如何建立参考系?
时间定义: 观测者用四维世界线 x 观 μ ( τ ) x^\mu_{观}(\tau) x观μ(τ),它的(四速度)切矢量为 U μ ≡ d x 观 μ d τ U^\mu\equiv \dfrac{dx^\mu_{观}}{d\tau} Uμ≡dτdx观μ,定义为时间轴
根据定义 d τ 2 = − g μ ν d x μ d x ν ⇒ U μ U μ = − 1 d\tau^2=-g_{\mu\nu}dx^\mu dx^\nu \Rightarrow U^\mu U_\mu=-1 dτ2=−gμνdxμdxν⇒UμUμ=−1( U μ U^\mu Uμ是类时矢量)
空间定义: 定义为与时间垂直方向后作分解(有一定的自由度)
时间测量(坐标差): d x μ dx^\mu dxμ往时间轴的投影结果
空间测量: d x μ dx^\mu dxμ往空间轴的投影结果
现在的问题是:怎么作投影?
时间投影算符
定义一个两维张量 π μ ν = − U μ U ν \pi^{\mu\nu}=-U^\mu U^\nu πμν=−UμUν,( π ν μ = − U μ U ν \pi^\mu_{\ \ \nu}=-U^\mu U_\nu π νμ=−UμUν, π μ ν = − U μ U ν \pi_{\mu\nu}=-U_\mu U_\nu πμν=−UμUν)
对任一矢量
A
μ
A^\mu
Aμ,对它作时间投影:
A
∥
μ
=
π
ν
μ
A
ν
A^\mu_{\parallel}=\pi^\mu_{\ \ \nu}A^\nu
A∥μ=π νμAν
投影后满足张量的定义,也是一个张量,这个张量具有下述特性:
(1) A ∥ μ ∥ U μ A^\mu_{\parallel}\parallel U^\mu A∥μ∥Uμ
证明:
A
∥
μ
=
π
ν
μ
A
ν
=
−
U
μ
U
ν
A
ν
=
−
U
μ
(
U
ν
A
ν
)
A^\mu_\parallel=\pi^\mu_{\ \ \nu}A^\nu=-U^\mu U_\nu A^\nu =- U^\mu(U_\nu A^\nu)
A∥μ=π νμAν=−UμUνAν=−Uμ(UνAν)
因为
U
ν
A
ν
U_\nu A^\nu
UνAν是标量,所以
A
∥
μ
∥
U
μ
A^\mu_\parallel\parallel U^\mu
A∥μ∥Uμ
QED.
(2)若 A μ ∥ U μ A^\mu\parallel U^\mu Aμ∥Uμ,则 A ∥ μ = A μ A^\mu_\parallel=A^\mu A∥μ=Aμ
(3) π ν μ π λ ν = π λ μ \pi^\mu_{\ \ \nu}\pi^\nu_{\ \ \lambda}=\pi^\mu_{\ \ \lambda} π νμπ λν=π λμ
P与Q的时间间隔: d x ∥ μ = π ν μ d x ν dx^\mu_\parallel=\pi^\mu_{\ \ \nu}dx^\nu dx∥μ=π νμdxν,是一个矢量
所以
d
x
∥
μ
dx^\mu_\parallel
dx∥μ的长度定义为时间间隔,记为:
Δ
T
≡
−
g
μ
ν
d
x
∥
μ
d
x
∥
ν
=
−
g
μ
ν
π
α
μ
π
β
ν
d
x
α
d
x
β
=
−
π
α
β
d
x
α
d
x
β
=
∣
U
α
d
x
α
∣
=
∣
g
α
β
U
α
d
x
β
∣
\begin{aligned} \Delta T&\equiv \sqrt{-g_{\mu\nu}dx^\mu_{\parallel}dx^\nu_\parallel}=\sqrt{-g_{\mu\nu}\pi^\mu_{\ \ \alpha}\pi^\nu_{\ \ \beta}dx^\alpha dx^\beta}=\sqrt{-\pi_{\alpha\beta}dx^\alpha dx^\beta}\\ &=|U_\alpha dx^\alpha|=|g_{\alpha\beta}U^\alpha dx^\beta| \end{aligned}
ΔT≡−gμνdx∥μdx∥ν=−gμνπ αμπ βνdxαdxβ=−παβdxαdxβ=∣Uαdxα∣=∣gαβUαdxβ∣
其中,
d
x
α
dx^\alpha
dxα为GR中算出的量,
Δ
T
\Delta T
ΔT为可测量量,
d
x
β
dx^\beta
dxβ依赖于观测对象,
g
α
β
g_{\alpha\beta}
gαβ依赖于当地时空结构,
U
α
U^\alpha
Uα依赖于观测者(参考系)。因此,
Δ
T
\Delta T
ΔT不依赖于坐标系(因为是标量)
举例: 平坦时空中的静止观测者
g
μ
ν
=
η
μ
ν
,
U
μ
=
(
1
,
0
,
0
,
0
)
g_{\mu\nu}=\eta_{\mu\nu},\ U^\mu=(1,0,0,0)
gμν=ημν, Uμ=(1,0,0,0)
所以
Δ
T
=
∣
η
μ
ν
U
μ
d
x
ν
∣
=
∣
d
x
0
∣
=
∣
d
t
∣
\Delta T=|\eta_{\mu\nu}U^\mu dx^\nu|=|dx^0|=|dt|
ΔT=∣ημνUμdxν∣=∣dx0∣=∣dt∣
可见,和已知的情况是相容的
举例: 平坦时空中沿
x
x
x方向运动的观测者
g
μ
ν
=
η
μ
ν
,
U
μ
=
(
U
0
,
U
1
,
0
,
0
)
g_{\mu\nu}=\eta_{\mu\nu},\ U^\mu=(U^0,U^1,0,0)
gμν=ημν, Uμ=(U0,U1,0,0)
满足归一化条件:
U
μ
U
μ
=
−
1
U^\mu U_\mu=-1
UμUμ=−1
结合速度的定义:
v
=
U
1
U
0
v=\dfrac{U^1}{U^0}
v=U0U1,得到:
{
U
0
=
1
1
−
v
2
U
1
=
v
1
−
v
2
\left\{\begin{aligned} &U^0=\frac{1}{\sqrt{1-v^2}}\\ &U^1=\frac{v}{\sqrt{1-v^2}} \end{aligned}\right.
⎩⎪⎪⎨⎪⎪⎧U0=1−v21U1=1−v2v
最后得到:
Δ
T
=
∣
η
μ
ν
U
μ
d
x
ν
∣
=
∣
d
x
0
−
v
d
x
1
1
−
v
2
∣
\Delta T=|\eta_{\mu\nu}U^\mu dx^\nu|=\left|\frac{dx^0-vdx^1}{\sqrt{1-v^2}}\right|
ΔT=∣ημνUμdxν∣=∣∣∣∣1−v2dx0−vdx1∣∣∣∣
此即Lorentz变换公式
空间投影算符
空间投影算符定义为:
h
μ
ν
≡
g
μ
ν
−
π
μ
ν
=
g
μ
ν
+
U
μ
U
ν
h^{\mu\nu}\equiv g^{\mu\nu}-\pi^{\mu\nu}=g^{\mu\nu}+U^\mu U^\nu
hμν≡gμν−πμν=gμν+UμUν
是一个张量算符,对任一矢量
A
μ
A^\mu
Aμ,
A
⊥
μ
=
h
ν
μ
A
ν
A^\mu_\perp=h^\mu_{\ \ \nu}A^\nu
A⊥μ=h νμAν,这个算符具有下述性质:
(1) A ⊥ μ U μ = 0 A^\mu_\perp U_\mu=0 A⊥μUμ=0
(2)若 A μ A^\mu Aμ与 U μ U^\mu Uμ平行,则 A ⊥ μ = 0 A^\mu_\perp=0 A⊥μ=0
(3)若 A μ A^\mu Aμ与 U μ U^\mu Uμ垂直,则 A ⊥ μ = A μ A^\mu_\perp=A^\mu A⊥μ=Aμ
(4) A ⊥ μ + A ∥ μ = A μ A^\mu_\perp+A^\mu_\parallel=A^\mu A⊥μ+A∥μ=Aμ
(5) h ν μ h λ ν = h λ μ h^\mu_{\ \ \nu}h^\nu_{\ \ \lambda}=h^\mu_{\ \ \lambda} h νμh λν=h λμ
(6) h ν μ π λ μ = π ν μ h λ μ = 0 h^\mu_{\ \ \nu}\pi^\mu_{\ \ \lambda}=\pi^\mu_{\ \ \nu}h^\mu_{\ \ \lambda}=0 h νμπ λμ=π νμh λμ=0
所以P与Q的空间间隔为
d
x
⊥
μ
dx^\mu_\perp
dx⊥μ的长度,记为
Δ
L
\Delta L
ΔL:
Δ
L
≡
g
μ
ν
d
x
⊥
μ
d
x
⊥
ν
=
g
μ
ν
h
α
μ
h
β
ν
d
x
α
d
x
β
=
h
α
β
d
x
α
d
x
β
\Delta L\equiv \sqrt{g_{\mu\nu}dx^\mu_\perp dx^\nu_\perp}=\sqrt{g_{\mu\nu}h^\mu_{\ \ \alpha}h^\nu_{\ \ \beta}dx^\alpha dx^\beta}=\sqrt{h_{\alpha\beta}dx^\alpha dx^\beta}
ΔL≡gμνdx⊥μdx⊥ν=gμνh αμh βνdxαdxβ=hαβdxαdxβ
举例: 平直时空中静止观测者
g
μ
ν
=
η
μ
ν
,
U
μ
=
(
1
,
0
,
0
,
0
)
h
i
j
=
η
i
j
,
h
0
i
=
h
i
0
=
h
00
=
0
g_{\mu\nu}=\eta_{\mu\nu},\ U^\mu=(1,0,0,0)\\ h_{ij}=\eta_{ij},\ h_{0i}=h_{i0}=h_{00}=0
gμν=ημν, Uμ=(1,0,0,0)hij=ηij, h0i=hi0=h00=0
所以:
Δ
L
=
h
i
j
d
x
i
d
x
j
=
η
i
j
d
x
i
d
x
j
=
d
x
2
+
d
y
2
+
d
z
2
\Delta L=\sqrt{h_{ij}dx^i dx^j}=\sqrt{\eta_{ij}dx^i dx^j}=\sqrt{dx^2+dy^2+dz^2}
ΔL=hijdxidxj=ηijdxidxj=dx2+dy2+dz2
此即通常理解的两点之间空间间隔一致
举例: 沿x方向运动的观测者
g
μ
ν
=
η
μ
ν
,
U
μ
=
(
U
0
,
U
1
,
0
,
0
)
g_{\mu\nu}=\eta_{\mu\nu},\ U^\mu=(U^0, U^1, 0,0)
gμν=ημν, Uμ=(U0,U1,0,0)
计算得到:
U
0
=
1
1
−
v
2
→
U
0
=
−
1
1
−
v
2
U
1
=
v
1
−
v
2
→
U
1
=
v
1
−
v
2
U^0=\frac{1}{\sqrt{1-v^2}}\rightarrow U_0=\frac{-1}{\sqrt{1-v^2}}\\ U^1=\frac{v}{\sqrt{1-v^2}}\rightarrow U_1=\frac{v}{\sqrt{1-v^2}}
U0=1−v21→U0=1−v2−1U1=1−v2v→U1=1−v2v
所以:
h
00
=
v
2
1
−
v
2
h^{00}=\dfrac{v^2}{1-v^2}
h00=1−v2v2,
h
10
=
h
01
=
v
1
−
v
2
h^{10}=h^{01}=\dfrac{v}{1-v^2}
h10=h01=1−v2v,
h
11
=
1
1
−
v
2
h^{11}=\dfrac{1}{1-v^2}
h11=1−v21,
h
22
=
h
33
=
1
h^{22}=h^{33}=1
h22=h33=1,其余为零
得到:
Δ
L
2
=
(
d
x
1
−
v
d
x
0
)
2
1
−
v
2
+
(
d
x
2
)
2
+
(
d
x
3
)
2
\Delta L^2=\frac{(dx^1-vdx^0)^2}{1-v^2}+(dx^2)^2+(dx^3)^2
ΔL2=1−v2(dx1−vdx0)2+(dx2)2+(dx3)2
由 Δ T \Delta T ΔT和 Δ L \Delta L ΔL的定义,可以得到:
− Δ T 2 + Δ L 2 = Δ s 2 − U α U β d x α d x β + ( g α β + U α U β ) d x α d x β = Δ s 2 g α β d x α d x β = Δ s 2 \begin{aligned} -\Delta T^2+\Delta L^2&=\Delta s^2\\ -U_\alpha U_\beta dx^\alpha dx^\beta+(g_{\alpha\beta}+U_\alpha U_\beta)dx^\alpha dx^\beta&=\Delta s^2\\ g_{\alpha\beta}dx^\alpha dx^\beta &= \Delta s^2 \end{aligned} −ΔT2+ΔL2−UαUβdxαdxβ+(gαβ+UαUβ)dxαdxβgαβdxαdxβ=Δs2=Δs2=Δs2
此结论对任意引力场,任意事件都成立
3、物理坐标系条件
物理坐标系:总可以找到一个观测者,让其在坐标系中任一点静止
条件1: 一个静止观测者的时间测量有意义
U
μ
=
(
U
0
,
U
1
,
U
2
,
U
3
)
,
U
μ
U
μ
=
−
1
⇒
U
0
=
1
−
g
00
U^\mu=(U^0,U^1,U^2,U^3),\ U^\mu U_\mu=-1\Rightarrow U^0=\frac{1}{\sqrt{-g_{00}}}
Uμ=(U0,U1,U2,U3), UμUμ=−1⇒U0=−g001
作时间测量:
Δ
T
=
∣
g
00
U
0
d
x
0
∣
=
∣
g
00
1
−
g
00
d
x
0
∣
=
∣
−
g
00
d
x
0
∣
\Delta T=|g_{00} U^0 dx^0|=|g_{00}\frac{1}{\sqrt{-g_{00}}}dx^0|=|\sqrt{-g_{00}}dx^0|
ΔT=∣g00U0dx0∣=∣g00−g001dx0∣=∣−g00dx0∣
测量出来的结果需要是一个实数,因此:
g
00
<
0
g_{00}<0
g00<0,此为条件1
条件2: 静止观测者的空间测量有意义
h
α
β
=
g
α
β
+
U
α
U
β
=
g
α
β
+
g
α
μ
g
β
ν
U
μ
U
ν
=
g
α
β
−
g
α
0
g
β
0
/
g
00
h_{\alpha\beta}=g_{\alpha\beta}+U_\alpha U_\beta=g_{\alpha\beta}+g_{\alpha\mu}g_{\beta\nu}U^\mu U^\nu=g_{\alpha\beta}-g_{\alpha 0}g_{\beta0}/g_{00}
hαβ=gαβ+UαUβ=gαβ+gαμgβνUμUν=gαβ−gα0gβ0/g00
Δ L = h α β d x α d x β = ( g i j − g 0 i g 0 j g 00 ) d x i d x j \Delta L=\sqrt{h_{\alpha\beta}dx^\alpha dx^\beta}=\sqrt{\left(g_{ij}-\frac{g_{0i}g_{0j}}{g_{00}}\right)dx^i dx^j} ΔL=hαβdxαdxβ=(gij−g00g0ig0j)dxidxj
测量出来的结果需要是一个实数,因此要求根号里面的值为正数
M i j d x i d x j ≥ 0 ⇒ M i j M_{ij}dx^i dx^j\ge 0\Rightarrow M_{ij} Mijdxidxj≥0⇒Mij是正定矩阵:
(
g
i
j
−
g
0
i
g
0
j
g
00
)
\left(g_{ij}-\dfrac{g_{0i}g_{0j}}{g_{00}}\right)
(gij−g00g0ig0j)正定,结合条件1的
g
00
<
0
g_{00}<0
g00<0,得到:
∣
g
00
g
01
g
10
g
11
∣
<
0
\left|\begin{matrix} g_{00} & g_{01}\\ g_{10} & g_{11} \end{matrix}\right| < 0
∣∣∣∣g00g10g01g11∣∣∣∣<0
∣ g 00 g 01 g 02 g 10 g 11 g 12 g 20 g 21 g 22 ∣ < 0 \left|\begin{matrix} g_{00} & g_{01} & g_{02}\\ g_{10} & g_{11} & g_{12}\\ g_{20} & g_{21} & g_{22} \end{matrix}\right| < 0 ∣∣∣∣∣∣g00g10g20g01g11g21g02g12g22∣∣∣∣∣∣<0
∣ g 00 g 01 g 02 g 03 g 10 g 11 g 12 g 13 g 20 g 21 g 22 g 23 g 30 g 31 g 32 g 33 ∣ < 0 \left|\begin{matrix} g_{00} & g_{01} & g_{02} & g_{03}\\ g_{10} & g_{11} & g_{12} & g_{13}\\ g_{20} & g_{21} & g_{22} & g_{23}\\ g_{30} & g_{31} & g_{32} & g_{33} \end{matrix}\right| < 0 ∣∣∣∣∣∣∣∣g00g10g20g30g01g11g21g31g02g12g22g32g03g13g23g33∣∣∣∣∣∣∣∣<0
此即条件2
同时满足上述所有条件,称为物理的坐标条件。若有任意一条不满足,则坐标条件都是非物理的:物理的观测者不可能相对该坐标系静止
GR中时间对准问题
P与Q两相邻点之间对钟:P点向Q点发射信号,Q点返回给P点
对某个坐标系
x
μ
x^\mu
xμ,P点的坐标为
P
(
x
μ
)
P(x^\mu)
P(xμ),Q点的坐标为
Q
(
x
μ
+
d
x
μ
)
Q(x^\mu+dx^\mu)
Q(xμ+dxμ)
d
s
2
=
0
⇒
g
00
(
d
x
去
0
)
2
+
2
g
0
i
d
x
去
0
d
x
i
+
g
i
j
d
x
i
d
x
j
=
0
ds^2=0\Rightarrow g_{00}(dx^0_{去})^2+2g_{0i}dx^0_{去}dx^i+g_{ij}dx^i dx^j=0
ds2=0⇒g00(dx去0)2+2g0idx去0dxi+gijdxidxj=0
得到:
d
x
去
0
=
−
1
g
00
(
g
0
i
d
x
i
+
(
g
0
i
g
0
j
−
g
00
g
i
j
)
d
x
i
d
x
j
dx^0_{去}=-\frac{1}{g_{00}}(g_{0i}dx^i+\sqrt{(g_{0i}g_{0j}-g_{00}g_{ij})dx^i dx^j}
dx去0=−g001(g0idxi+(g0ig0j−g00gij)dxidxj
同理,
Q
→
P
Q\rightarrow P
Q→P:
d
x
i
→
−
d
x
i
d
x
去
0
→
d
x
回
0
dx^i\rightarrow -dx^i\\ dx^0_{去}\rightarrow dx^0_{回}
dxi→−dxidx去0→dx回0
d x 回 0 = − 1 g 00 ( − g 0 i d x i + ( g 0 i g 0 j − g 00 g i j ) d x i d x j dx^0_{回}=-\frac{1}{g_{00}}(-g_{0i}dx^i+\sqrt{(g_{0i}g_{0j}-g_{00}g_{ij})dx^i dx^j} dx回0=−g001(−g0idxi+(g0ig0j−g00gij)dxidxj
去的时间和回的时间不一样,说明没有对准
所以,P与Q的时钟未对准,以P为准,需要Q点的修正量 Δ x 0 = d x 回 0 − d x 去 0 2 = g 0 i d x i / g 00 \Delta x^0=\dfrac{dx^0_{回}-dx^0_{去}}{2}=g_{0i}dx^i/g_{00} Δx0=2dx回0−dx去0=g0idxi/g00
使用逐点校准的方式进行校准,在通过不同路径校准时,得到的结果不同,因此逐点校准是没有意义的。一般地,时间无法校准,除非 g 0 i = 0 g_{0i}=0 g0i=0,此时坐标时就是校准好的钟。GR通常不能建立全局的统一时间
所以,一般空间有限距离的测量无意义。除非 g μ ν g_{\mu\nu} gμν不依赖于时间 t t t——定态解(宇宙是动态解,观测到的时间是会变的)