1、等效原理与引力的几何化
牛顿定律与等效原理
质量为
m
α
m_\alpha
mα的质点,在引力场
g
⃗
\vec g
g中以非相对论的速度运动。则在惯性系中的运动方程为:
m
α
d
2
r
⃗
α
d
t
2
=
m
α
g
g
⃗
+
∑
β
F
⃗
(
r
⃗
α
−
r
⃗
β
)
m_\alpha\frac{d^2 \vec r_\alpha}{dt^2}=m^g_\alpha\vec g+\sum_\beta \vec F(\vec r_\alpha-\vec r_\beta)
mαdt2d2rα=mαgg+β∑F(rα−rβ)
若引力质量等于惯性质量(
m
α
g
=
m
α
m^g_\alpha=m_\alpha
mαg=mα),则可以选择一个坐标变换抵消掉引力:
{
r
⃗
α
′
=
r
⃗
α
−
1
2
g
t
2
t
′
=
t
\left\{\begin{aligned} &\vec r_\alpha'=\vec r_\alpha-\frac{1}{2}gt^2\\ &t'=t \end{aligned}\right.
⎩⎨⎧rα′=rα−21gt2t′=t
从而将运动方程变为:
m
α
d
2
r
⃗
α
′
d
t
′
2
=
∑
β
F
⃗
(
r
⃗
α
′
−
r
⃗
β
′
)
m_\alpha\frac{d^2\vec r_\alpha'}{dt'^2}=\sum_\beta\vec F(\vec r_\alpha'-\vec r_\beta')
mαdt′2d2rα′=β∑F(rα′−rβ′)
假设观测者
O
O
O在惯性系
(
r
⃗
,
t
)
(\vec r,t)
(r,t)中,
O
′
O'
O′在惯性系
(
r
⃗
′
,
t
′
)
(\vec r',t')
(r′,t′)中,则二者会发现力学规律完全一致,由此得到引力可以被惯性力抵消的结论
等效原理的表述
等效原理的第一种表述:在任意引力场中的每一个时空点,都有可能选择一个局域的惯性系(其中引力被惯性力抵消),使得在所讨论的那一点附近的充分小邻域内,自然规律的形式与没有引力场时为加速的笛卡尔坐标系里具有相同的形式——自然规律满足狭义相对论
等效原理的三个层次:
弱等效原理: 引力与惯性系的等效性仅限于力学现象。弱等效原理是引力质量等于惯性质量的一个推论
爱因斯坦等效原理: 引力与惯性力的等效性适用于所有现象
强等效原理: 在爱因斯坦等效原理的基础上,强等效原理还会考虑物体所激发的自引力场。是爱因斯坦等效原理的进一步推广
目前所有的引力都满足弱等效原理,满足爱因斯坦等效原理的引力理论都是度规引力,而满足强等效原理的唯一理论是广义相对论
引力的几何化
惯性力如何描述?
(1)由等效原理可知,某一引力场中存在“局域惯性系”,使得SR成立。而在(3+1)维弯曲的黎曼空间中,由黎曼几何的性质,通过高斯选择,可以得到局域的闵氏时空,其中 g μ ν = η μ ν , Γ α β μ = 0 g_{\mu\nu}=\eta_{\mu\nu},\ \Gamma^\mu_{\alpha\beta}=0 gμν=ημν, Γαβμ=0,使得SR成立。由此推论,引力可以几何化,这个几何化用时空的弯曲程度来描述
(2)举例:
研究一个纯引力场中,自由粒子的运动。存在一个局域惯性系 ξ μ \xi^\mu ξμ,其中粒子运动满足SR,运动方程为直线:
d 2 ξ α d τ 2 = 0 \frac{d^2\xi^\alpha}{d\tau^2}=0 dτ2d2ξα=0
d s 2 = − d τ 2 = η μ ν d ξ μ d ξ ν ds^2=-d\tau^2=\eta_{\mu\nu}d\xi^\mu d\xi^\nu ds2=−dτ2=ημνdξμdξν
作坐标变换
ξ
μ
→
x
μ
\xi^\mu\rightarrow x^\mu
ξμ→xμ,
x
μ
x^\mu
xμ不是惯性力
→
\rightarrow
→存在惯性力
d
d
τ
(
d
ξ
α
d
τ
)
=
0
\frac{d}{d\tau}\left(\frac{d\xi^\alpha}{d\tau}\right)=0
dτd(dτdξα)=0
将
d
ξ
α
d
τ
=
d
x
β
d
τ
d
ξ
α
d
x
β
\dfrac{d\xi^\alpha}{d\tau}=\dfrac{dx^\beta}{d\tau}\dfrac{d\xi^\alpha}{dx^\beta}
dτdξα=dτdxβdxβdξα代入,得到:
∂
ξ
α
∂
x
β
d
2
x
β
d
τ
2
+
d
x
β
d
τ
d
d
τ
(
∂
ξ
α
∂
x
β
)
=
0
\frac{\partial \xi^\alpha}{\partial x^\beta}\frac{d^2 x^\beta}{d\tau^2}+\frac{dx^\beta}{d\tau}\frac{d}{d\tau}\left(\frac{\partial \xi^\alpha}{\partial x^\beta}\right)=0
∂xβ∂ξαdτ2d2xβ+dτdxβdτd(∂xβ∂ξα)=0
其中:
d
d
τ
(
∂
ξ
α
∂
ξ
β
)
=
∂
∂
x
β
(
d
ξ
α
d
τ
)
=
∂
∂
x
β
(
d
x
γ
d
τ
d
ξ
α
d
x
γ
)
=
∂
2
ξ
α
∂
x
β
∂
x
γ
d
x
γ
d
τ
\begin{aligned} \frac{d}{d\tau}\left(\frac{\partial \xi^\alpha}{\partial \xi^\beta}\right)&=\frac{\partial }{\partial x^\beta}\left(\frac{d\xi^\alpha}{d\tau}\right)\\ &=\frac{\partial }{\partial x^\beta}\left(\frac{dx^\gamma}{d\tau}\frac{d\xi^\alpha}{d x^\gamma}\right)\\ &=\frac{\partial^2 \xi^\alpha}{\partial x^\beta\partial x^\gamma}\frac{dx^\gamma}{d\tau} \end{aligned}
dτd(∂ξβ∂ξα)=∂xβ∂(dτdξα)=∂xβ∂(dτdxγdxγdξα)=∂xβ∂xγ∂2ξαdτdxγ
由此得到:
∂
ξ
α
∂
x
β
d
2
x
β
d
τ
2
+
∂
2
ξ
α
∂
x
β
∂
x
γ
d
x
β
d
τ
d
x
γ
d
τ
=
0
\frac{\partial \xi^\alpha}{\partial x^\beta}\frac{d^2x^\beta}{d\tau^2}+\frac{\partial^2 \xi^\alpha}{\partial x^\beta \partial x^\gamma}\frac{dx^\beta}{d\tau}\frac{dx^\gamma}{d\tau}=0
∂xβ∂ξαdτ2d2xβ+∂xβ∂xγ∂2ξαdτdxβdτdxγ=0
两端乘上
∂
x
μ
∂
ξ
α
\dfrac{\partial x^\mu}{\partial \xi^\alpha}
∂ξα∂xμ,得到(利用关系
∂
ξ
α
∂
x
β
∂
x
μ
∂
ξ
α
=
δ
β
μ
\dfrac{\partial \xi^\alpha}{\partial x^\beta} \dfrac{\partial x^\mu}{\partial \xi^\alpha}=\delta^\mu_\beta
∂xβ∂ξα∂ξα∂xμ=δβμ):
d
2
x
μ
d
τ
2
+
d
x
β
d
τ
d
x
γ
d
τ
(
∂
2
ξ
α
∂
x
β
∂
x
γ
∂
x
μ
∂
ξ
α
)
=
0
\frac{d^2 x^\mu}{d\tau^2}+\frac{dx^\beta}{d\tau}\frac{dx^\gamma}{d\tau}\left(\frac{\partial^2 \xi^\alpha}{\partial x^\beta \partial x^\gamma}\frac{\partial x^\mu}{\partial \xi^\alpha}\right)=0
dτ2d2xμ+dτdxβdτdxγ(∂xβ∂xγ∂2ξα∂ξα∂xμ)=0
括号里的即联络
Γ
β
γ
μ
\Gamma^\mu_{\beta\gamma}
Γβγμ,最后得到测地线方程:
d
2
x
μ
d
τ
2
+
Γ
β
γ
μ
d
x
β
d
τ
d
x
γ
d
τ
=
0
\frac{d^2 x^\mu}{d\tau^2}+\Gamma^\mu_{\beta\gamma}\frac{dx^\beta}{d\tau}\frac{dx^\gamma}{d\tau}=0
dτ2d2xμ+Γβγμdτdxβdτdxγ=0
Γ μ ν λ ( x α ) = ∂ 2 ξ β ∂ x μ ∂ x ν ∂ x λ ∂ ξ β + Γ α σ β ( ξ μ ) ∂ ξ α ∂ x μ ∂ ξ σ ∂ x ν ∂ x λ ∂ ξ β = 0 \Gamma^\lambda_{\mu\nu}(x^\alpha)=\frac{\partial^2 \xi^\beta}{\partial x^\mu \partial x^\nu}\frac{\partial x^\lambda}{\partial \xi^\beta}+\Gamma^\beta_{\alpha\sigma}(\xi^\mu)\frac{\partial \xi^\alpha}{\partial x^\mu}\frac{\partial \xi^\sigma}{\partial x^\nu}\frac{\partial x^\lambda}{\partial \xi^\beta}=0 Γμνλ(xα)=∂xμ∂xν∂2ξβ∂ξβ∂xλ+Γασβ(ξμ)∂xμ∂ξα∂xν∂ξσ∂ξβ∂xλ=0
第二项中的
Γ
α
σ
β
(
ξ
μ
)
=
0
\Gamma^\beta_{\alpha\sigma}(\xi^\mu)=0
Γασβ(ξμ)=0,将测地线方程写为如下形式:
d
2
x
μ
d
τ
2
=
−
Γ
β
γ
μ
d
x
β
d
τ
d
x
γ
d
τ
\frac{d^2 x^\mu}{d\tau^2}=-\Gamma^\mu_{\beta\gamma}\frac{dx^\beta}{d\tau}\frac{dx^\gamma}{d\tau}
dτ2d2xμ=−Γβγμdτdxβdτdxγ
左侧为加速度,右侧为惯性力,惯性力(惯性加速度)用几何量 Γ β γ μ \Gamma^\mu_{\beta\gamma} Γβγμ来描述,根据等效原理,引力也完全可以由几何量 Γ β γ μ \Gamma^\mu_{\beta\gamma} Γβγμ来描述
结论:
(1)有引力的场等价于一个弯曲的黎曼时空场
(2)在此引力场中,有质量的自由粒子走测地线
(3)引力场的度规为:
d
s
2
=
η
α
β
d
ξ
α
d
ξ
β
=
η
α
β
d
ξ
α
d
x
μ
d
ξ
β
d
x
ν
d
x
μ
d
x
ν
≡
g
μ
ν
d
x
μ
d
x
ν
ds^2=\eta_{\alpha\beta}d\xi^\alpha d\xi^\beta=\eta_{\alpha\beta}\frac{d\xi^\alpha}{dx^\mu}\frac{d\xi^\beta}{dx^\nu}dx^\mu dx^\nu\equiv g_{\mu\nu}dx^\mu dx^\nu
ds2=ηαβdξαdξβ=ηαβdxμdξαdxνdξβdxμdxν≡gμνdxμdxν
(4)对于无质量粒子而言:
d
s
2
=
g
μ
ν
d
x
μ
d
x
ν
=
η
α
β
d
ξ
α
d
ξ
β
=
0
ds^2=g_{\mu\nu}dx^\mu dx^\nu=\eta_{\alpha\beta}d\xi^\alpha d\xi^\beta=0
ds2=gμνdxμdxν=ηαβdξαdξβ=0
无固有时,可以用任意仿射参量
σ
\sigma
σ来代替
τ
\tau
τ,即:
d
2
x
μ
d
σ
2
+
Γ
α
β
μ
d
x
α
d
σ
d
x
β
d
σ
=
0
\frac{d^2 x^\mu}{d\sigma^2}+\Gamma^\mu_{\alpha\beta}\frac{dx^\alpha}{d\sigma}\frac{dx^\beta}{d\sigma}=0
dσ2d2xμ+Γαβμdσdxαdσdxβ=0
2、广义协变原理
物理规律一定可以写成坐标变换下不变的张量方程
广义协变原理的表述
广义协变原理只是等效原理的另外一种表述
广义协变原理:物理方程在一般的引力场中也成立,只要具备两个条件:
(1)这个方程在没有引力场时是成立的,即度规 g μ ν = η μ ν g_{\mu\nu}=\eta_{\mu\nu} gμν=ημν,并且 Γ α β μ = 0 \Gamma^\mu_{\alpha\beta}=0 Γαβμ=0时满足SR
(2)这个方程是广义协变的,即在一般坐标变换 x → x ′ x\rightarrow x' x→x′时,它的形式不变,或者说它是张量方程
广义协变原理的应用
举例1:在有引力时,自由粒子的运动方程,即为测地线方程
测地线方程可以写为协变形式:
D
U
μ
D
τ
=
0
(1)
\frac{DU^\mu}{D\tau}=0\tag{1}
DτDUμ=0(1)
其中,
U
μ
≡
d
x
μ
d
τ
U^\mu\equiv\dfrac{dx^\mu}{d\tau}
Uμ≡dτdxμ是一个逆变矢量,
D
D
τ
\dfrac{D}{D\tau}
DτD为沿曲线的协变微分
在无引力场时,
Γ
α
β
μ
=
0
\Gamma^\mu_{\alpha\beta}=0
Γαβμ=0,
D
D
τ
→
d
d
τ
\dfrac{D}{D\tau}\rightarrow \dfrac{d}{d\tau}
DτD→dτd,因此:
D
U
μ
D
τ
=
0
→
d
U
μ
d
τ
=
d
d
τ
(
d
x
μ
d
τ
)
=
0
\frac{DU^\mu}{D\tau}=0\rightarrow \frac{dU^\mu}{d\tau}=\frac{d}{d\tau}\left(\frac{dx^\mu}{d\tau}\right)=0
DτDUμ=0→dτdUμ=dτd(dτdxμ)=0
此即SR中自由粒子的方程,从而方程(1)成立。又因为这个方程是张量方程,所以得到测地线方程成立的结论
举例2:弯曲时空中的电动力学,等价于引力与电磁力的相互作用方程
根据广义协变原理,给定一个闵氏时空中的物理方程,将其变到GR中,只需要进行(1) η μ ν → g μ ν \eta_{\mu\nu}\rightarrow g_{\mu\nu} ημν→gμν和(2)普通微分 → \rightarrow →协变微分即可
由此,GR中的电动力学:
Maxwell方程:
{
F
μ
ν
;
μ
=
−
4
π
j
ν
F
β
γ
;
α
+
F
γ
α
;
β
+
F
α
β
;
γ
=
0
\left\{\begin{aligned} &{F^{\mu\nu}}_{;\mu}=-4\pi j^\nu\\ & F_{\beta\gamma;\alpha}+F_{\gamma\alpha;\beta}+F_{\alpha\beta;\gamma}=0 \end{aligned}\right.
{Fμν;μ=−4πjνFβγ;α+Fγα;β+Fαβ;γ=0
Lorentz力的表达式:
f
α
=
e
F
γ
α
d
x
γ
d
τ
f^\alpha=eF^\alpha_\gamma\frac{dx^\gamma}{d\tau}
fα=eFγαdτdxγ
其中
F
ν
μ
≡
g
ν
λ
F
μ
λ
F^\mu_\nu\equiv g_{\nu\lambda}F^{\mu\lambda}
Fνμ≡gνλFμλ,粒子在电磁场中的运动方程为:
d
2
x
μ
d
τ
2
+
Γ
ρ
σ
μ
d
x
ρ
d
τ
d
x
σ
d
τ
=
e
m
F
ν
μ
d
x
ν
d
τ
\frac{d^2 x^\mu}{d\tau^2}+\Gamma^\mu_{\rho\sigma}\frac{dx^\rho}{d\tau}\frac{dx^\sigma}{d\tau}=\frac{e}{m}F^\mu_\nu\frac{dx^\nu}{d\tau}
dτ2d2xμ+Γρσμdτdxρdτdxσ=meFνμdτdxν
在黎曼几何中,所有几何量都可以由度规诱导。引力势如何与度规相联系?
3、度规与引力势
弱引力场下, g μ ν g_{\mu\nu} gμν与引力势 Φ \Phi Φ的关系
弱引力场中的自由粒子运动
根据前面的讨论已知,在任意引力场中,自由粒子的运动满足测地线方程:
d
2
x
μ
d
τ
2
=
−
Γ
α
β
μ
d
x
α
d
τ
d
x
β
d
τ
\frac{d^2 x^\mu}{d\tau^2}=-\Gamma^\mu_{\alpha\beta}\frac{dx^\alpha}{d\tau}\frac{dx^\beta}{d\tau}
dτ2d2xμ=−Γαβμdτdxαdτdxβ
在下述三个条件成立时,测地线方程可以还原为牛顿方程:
(1)引力场是弱场: g μ ν = η μ ν + h μ ν g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu} gμν=ημν+hμν,其中 ∣ h μ ν ∣ ≪ 1 |h_{\mu\nu}|\ll 1 ∣hμν∣≪1
(2)引力场是静态场: g μ ν , 0 = h μ ν , 0 = 0 g_{\mu\nu,0}=h_{\mu\nu,0}=0 gμν,0=hμν,0=0
(3)粒子低速运动: d x i d x 0 ≪ 1 \dfrac{dx^i}{dx^0}\ll 1 dx0dxi≪1。相对于 d t d τ \dfrac{dt}{d\tau} dτdt, d x i d τ \dfrac{dx^i}{d\tau} dτdxi是可以忽略的
证明测地线方程可以还原为牛顿方程:
g
μ
ν
=
η
μ
ν
+
h
μ
ν
,
∣
h
μ
ν
∣
≪
1
g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu},\ |h_{\mu\nu}|\ll 1
gμν=ημν+hμν, ∣hμν∣≪1
g μ ν = η μ ν + H μ ν g^{\mu\nu}=\eta^{\mu\nu}+H^{\mu\nu} gμν=ημν+Hμν
g μ ν g ν λ = δ μ ν → ( η μ ν + H μ ν ) ( η ν λ + h ν λ ) = δ μ λ → η μ ν η ν λ + H μ ν η ν λ + η μ ν h ν λ = δ μ λ \begin{aligned} g^{\mu\nu}g_{\nu\lambda}={\delta^\mu}_\nu&\rightarrow (\eta^{\mu\nu}+H^{\mu\nu})(\eta_{\nu\lambda}+h_{\nu\lambda})={\delta^{\mu}}_\lambda\\ &\rightarrow \eta^{\mu\nu}\eta_{\nu\lambda}+H^{\mu\nu}\eta_{\nu\lambda}+\eta^{\mu\nu}h_{\nu\lambda}={\delta^\mu}_\lambda \end{aligned} gμνgνλ=δμν→(ημν+Hμν)(ηνλ+hνλ)=δμλ→ημνηνλ+Hμνηνλ+ημνhνλ=δμλ
H μ ν η ν λ = − η μ ν h ν λ H^{\mu\nu}\eta_{\nu\lambda}=-\eta^{\mu\nu}h_{\nu\lambda} Hμνηνλ=−ημνhνλ
两边同乘
η
λ
α
\eta^{\lambda\alpha}
ηλα:
H
μ
ν
δ
ν
α
=
−
η
λ
α
η
μ
ν
h
ν
λ
H^{\mu\nu}\delta^\alpha_\nu=-\eta^{\lambda\alpha}\eta^{\mu\nu}h_{\nu\lambda}
Hμνδνα=−ηλαημνhνλ
所以:
H
μ
α
≡
−
η
λ
α
η
μ
ν
h
ν
λ
≡
h
μ
α
→
H
μ
α
=
−
h
μ
α
H^{\mu\alpha}\equiv -\eta^{\lambda\alpha}\eta^{\mu\nu}h_{\nu\lambda}\equiv h^{\mu\alpha}\rightarrow H^{\mu\alpha}=-h^{\mu\alpha}
Hμα≡−ηλαημνhνλ≡hμα→Hμα=−hμα
g μ ν = η μ ν + h μ ν , g μ ν = η μ ν − h μ ν g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu},\ g^{\mu\nu}=\eta^{\mu\nu}-h^{\mu\nu} gμν=ημν+hμν, gμν=ημν−hμν
Γ α β μ = 1 2 g μ ρ ( g ρ α , β + g ρ β , α − g α β , ρ ) \Gamma^\mu_{\alpha\beta}=\frac{1}{2}g^{\mu\rho}(g_{\rho\alpha,\beta}+g_{\rho\beta,\alpha}-g_{\alpha\beta,\rho}) Γαβμ=21gμρ(gρα,β+gρβ,α−gαβ,ρ)
保留一阶小量:
1
2
η
μ
ρ
(
h
ρ
α
,
β
+
h
ρ
β
,
α
−
h
α
β
,
ρ
)
\frac{1}{2}\eta^{\mu\rho}(h_{\rho\alpha,\beta}+h_{\rho\beta,\alpha}-h_{\alpha\beta,\rho})
21ημρ(hρα,β+hρβ,α−hαβ,ρ)
当
α
=
β
=
0
\alpha=\beta=0
α=β=0时,
Γ
00
μ
=
1
2
η
μ
ρ
(
h
ρ
0
,
0
+
h
ρ
0
,
0
−
h
00
,
ρ
)
=
−
1
2
η
μ
ρ
h
00
,
ρ
\Gamma^\mu_{00}=\dfrac{1}{2}\eta^{\mu\rho}(h_{\rho0,0}+h_{\rho0,0}-h_{00,\rho})=-\dfrac{1}{2}\eta^{\mu\rho}h_{00,\rho}
Γ00μ=21ημρ(hρ0,0+hρ0,0−h00,ρ)=−21ημρh00,ρ
低速近似:
d
x
i
d
x
0
≪
1
→
d
t
d
τ
≫
d
x
i
d
τ
\frac{dx^i}{dx^0}\ll 1\rightarrow \frac{dt}{d\tau}\gg \frac{dx^i}{d\tau}
dx0dxi≪1→dτdt≫dτdxi
所以:
d
2
x
μ
d
τ
2
=
−
Γ
α
β
μ
d
x
α
d
τ
d
x
β
d
τ
\frac{d^2 x^\mu}{d\tau^2}=-\Gamma^\mu_{\alpha\beta}\frac{dx^\alpha}{d\tau}\frac{dx^\beta}{d\tau}
dτ2d2xμ=−Γαβμdτdxαdτdxβ
所以测地线方程在牛顿近似下,变为:
d
2
x
μ
d
τ
2
=
−
Γ
00
μ
(
d
x
0
d
τ
)
2
,
μ
=
0
,
1
,
2
,
3
\frac{d^2 x^\mu}{d\tau^2}=-\Gamma^\mu_{00}\left(\frac{dx^0}{d\tau}\right)^2,\ \mu=0,1,2,3
dτ2d2xμ=−Γ00μ(dτdx0)2, μ=0,1,2,3
当
μ
=
0
\mu=0
μ=0时:
d
2
x
0
d
τ
2
=
−
Γ
00
0
(
d
x
0
d
τ
)
2
=
0
\frac{d^2 x^0}{d\tau^2}=-\Gamma^0_{00}\left(\frac{dx^0}{d\tau}\right)^2=0
dτ2d2x0=−Γ000(dτdx0)2=0
x
0
x^0
x0与
τ
\tau
τ成正比
当
μ
=
i
\mu=i
μ=i时:
d
2
x
i
d
τ
2
=
−
Γ
00
i
(
d
x
0
d
τ
)
2
=
1
2
η
i
ρ
h
00
,
ρ
(
d
x
0
d
τ
)
2
=
1
2
h
00
,
i
(
d
x
0
d
τ
)
2
\frac{d^2 x^i}{d\tau^2}=-\Gamma^i_{00}\left(\frac{dx^0}{d\tau}\right)^2=\frac{1}{2}\eta^{i\rho}h_{00,\rho}\left(\frac{dx^0}{d\tau}\right)^2=\frac{1}{2}h_{00,i}\left(\frac{dx^0}{d\tau}\right)^2
dτ2d2xi=−Γ00i(dτdx0)2=21ηiρh00,ρ(dτdx0)2=21h00,i(dτdx0)2
代入
x
0
=
a
τ
+
b
x^0=a\tau+b
x0=aτ+b,将
τ
\tau
τ消去,得到:
d
2
x
i
d
t
2
=
1
2
h
00
,
i
\frac{d^2x^i}{dt^2}=\frac{1}{2}h_{00,i}
dt2d2xi=21h00,i
牛顿方程:
d
2
x
i
d
t
2
=
−
Φ
,
i
→
Φ
=
−
1
2
h
00
\frac{d^2 x^i}{dt^2}=-\Phi_{,i}\rightarrow \Phi=-\frac{1}{2}h_{00}
dt2d2xi=−Φ,i→Φ=−21h00
QED.
上述证明表示,引力场中的牛顿方程仅对静态的,弱引力场中,低速运动的自由粒子适用
对于球对称源的引力势 Φ = − G M r \Phi=-\dfrac{GM}{r} Φ=−rGM, g 00 = − 1 − 2 Φ = − 1 + 2 G M r g_{00}=-1-2\Phi=-1+\dfrac{2GM}{r} g00=−1−2Φ=−1+r2GM,弱引力场指 2 G M r ≪ 1 \dfrac{2GM}{r}\ll 1 r2GM≪1。通常定义引力半径 R g ≡ 2 G M R_g\equiv 2GM Rg≡2GM,由此,弱场条件指 r ≫ R g r\gg R_g r≫Rg
4、时间膨胀与引力红移
四大GR效应:水星进动,光线偏折,雷达回波延迟,引力红移
SR中的红移(时钟变慢)
观测一个静止的时钟,两次响声之间的时空间隔为 d τ 2 = d t 2 − d x ⃗ 2 d\tau^2=dt^2-d\vec x^2 dτ2=dt2−dx2,其中右侧第二项为0,因此 Δ τ ≡ Δ t \Delta\tau\equiv \Delta t Δτ≡Δt
相对论中规定“标准周期”:时钟制造商所确定的两次响声的时间间隔
当钟相对于观测者有一个速度
v
⃗
\vec v
v时,观测者所观测到的周期为?
d
τ
≡
(
d
t
′
2
−
d
x
⃗
′
2
)
1
2
=
(
d
t
′
2
−
v
2
d
t
′
2
)
1
2
=
d
t
′
(
1
−
v
2
)
1
2
d\tau\equiv (dt'^2-d\vec x'^2)^\frac{1}{2}=(dt'^2-v^2 dt'^2)^\frac{1}{2}=dt'(1-v^2)^\frac{1}{2}
dτ≡(dt′2−dx′2)21=(dt′2−v2dt′2)21=dt′(1−v2)21
d t ′ = d τ ( 1 − v 2 ) 1 2 → Δ t ′ = Δ τ ( 1 − v 2 ) 1 2 > Δ τ dt'=\frac{d\tau}{(1-v^2)^\frac{1}{2}}\rightarrow \Delta t'=\frac{\Delta \tau}{(1-v^2)^{\frac{1}{2}}}>\Delta \tau dt′=(1−v2)21dτ→Δt′=(1−v2)21Δτ>Δτ
注意到观察者看到的周期比“标准周期”更大了
GR中的引力红移
标准周期的定义依旧与SR中的一致
研究标准周期
Δ
t
\Delta t
Δt与坐标系时间间隔
d
t
dt
dt之间的关系:
Δ
t
=
Δ
τ
=
(
−
g
μ
ν
d
x
μ
d
x
ν
)
1
2
=
(
−
g
μ
ν
d
x
μ
d
t
d
x
ν
d
t
)
1
2
d
t
\Delta t=\Delta \tau =(-g_{\mu\nu}dx^\mu dx^\nu)^\frac{1}{2}=(-g_{\mu\nu}\frac{dx^\mu}{dt}\frac{dx^\nu}{dt})^\frac{1}{2}dt
Δt=Δτ=(−gμνdxμdxν)21=(−gμνdtdxμdtdxν)21dt
所以:
d
t
Δ
t
=
(
−
g
μ
ν
d
x
μ
d
t
d
x
ν
d
t
)
−
1
2
\frac{dt}{\Delta t}=\left(-g_{\mu\nu}\frac{dx^\mu}{dt}\frac{dx^\nu}{dt}\right)^{-\frac{1}{2}}
Δtdt=(−gμνdtdxμdtdxν)−21
若考虑:观测者与时钟无相对运动,则
μ
=
ν
=
0
→
d
t
Δ
t
=
(
−
g
00
)
−
1
2
\mu=\nu=0\rightarrow \dfrac{dt}{\Delta t}=(-g_{00})^{-\frac{1}{2}}
μ=ν=0→Δtdt=(−g00)−21
( − g 00 ) − 1 2 (-g_{00})^{-\frac{1}{2}} (−g00)−21为GR中的时间膨胀因子。在不同时空点处, g 00 g_{00} g00不同,对应的坐标间隔 d t dt dt也不同
此推论已被实验观测所证实
5、爱因斯坦场方程
出发点: ∇ 2 Φ = 4 π G ρ \nabla^2 \Phi=4\pi G\rho ∇2Φ=4πGρ,从这里开始猜
其中, Φ \Phi Φ为牛顿引力势, ρ \rho ρ为理想流体 T μ ν T_{\mu\nu} Tμν的 T 00 T_{00} T00分量
由此改写方程:
∇
2
g
00
=
−
8
π
G
T
00
\nabla^2 g_{00}=-8\pi G T_{00}
∇2g00=−8πGT00
思路:方程的左边只含有
g
μ
ν
g_{\mu\nu}
gμν,
g
μ
ν
,
ρ
g_{\mu\nu,\rho}
gμν,ρ,
g
μ
ν
,
ρ
,
σ
g_{\mu\nu,\rho,\sigma}
gμν,ρ,σ。且对二阶导数成线性的张量
定理:黎曼空间中由度规的一阶导数、二阶导数及自身构成,且对二阶导数成线性关系的张量只有一个 R ρ μ ν λ {R^\rho}_{\mu\nu\lambda} Rρμνλ及其缩并 R μ ν R_{\mu\nu} Rμν, R R R
爱因斯坦发表的
R
μ
ν
∝
T
μ
ν
R_{\mu\nu}\propto T_{\mu\nu}
Rμν∝Tμν,由能动量守恒,
T
μ
ν
;
μ
=
0
{T^{\mu}}_{\nu;\mu}=0
Tμν;μ=0时,左边也应该
R
μ
ν
;
μ
=
0
{R^{\mu}}_{\nu;\mu}=0
Rμν;μ=0,这个猜测是错误的
F
μ
ν
(
g
μ
ν
,
g
μ
ν
,
ρ
,
g
μ
ν
,
ρ
,
σ
)
=
T
μ
ν
{F}_{\mu\nu}(g_{\mu\nu},\ g_{\mu\nu,\rho},\ g_{\mu\nu,\rho,\sigma})=T_{\mu\nu}
Fμν(gμν, gμν,ρ, gμν,ρ,σ)=Tμν
由于能动量守恒关系
F
μ
ν
;
μ
=
0
{F^\mu}_{\nu;\mu}=0
Fμν;μ=0,因此:
F
μ
ν
=
α
R
μ
ν
+
β
g
μ
ν
R
+
γ
g
μ
ν
F_{\mu\nu}=\alpha R_{\mu\nu}+\beta g_{\mu\nu}R+\gamma g_{\mu\nu}
Fμν=αRμν+βgμνR+γgμν
Bianchi恒等式:
(
R
μ
ν
−
1
2
g
μ
ν
R
)
;
μ
=
0
\left(R^{\mu\nu}-\frac{1}{2}g^{\mu\nu}R\right)_{;\mu}=0
(Rμν−21gμνR);μ=0
所以
α
\alpha
α与
β
\beta
β必须满足
β
=
−
1
2
α
\beta=-\dfrac{1}{2}\alpha
β=−21α,而
γ
\gamma
γ为任意常数,因为度规张量的协变微分为零
α
(
R
μ
ν
−
1
2
g
μ
ν
R
)
+
γ
g
μ
ν
=
T
μ
ν
→
G
μ
ν
+
λ
g
μ
ν
≡
R
μ
ν
−
1
2
g
μ
ν
R
+
λ
g
μ
ν
=
−
κ
T
μ
ν
\begin{aligned} &\alpha\left(R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R \right)+\gamma g_{\mu\nu}=T_{\mu\nu}\\ &\rightarrow G_{\mu\nu}+\lambda g_{\mu\nu}\equiv R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R+\lambda g_{\mu\nu}=-\kappa T_{\mu\nu} \end{aligned}
α(Rμν−21gμνR)+γgμν=Tμν→Gμν+λgμν≡Rμν−21gμνR+λgμν=−κTμν
其中,
κ
\kappa
κ为某一个常数,此为爱因斯坦场方程
若
λ
=
0
\lambda=0
λ=0:
R
μ
ν
−
1
2
g
μ
ν
R
=
−
κ
T
μ
ν
R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R=-\kappa T_{\mu\nu}
Rμν−21gμνR=−κTμν
作缩并:
R
−
1
2
δ
μ
μ
R
=
−
κ
T
R-\frac{1}{2}{\delta^\mu}_{\mu}R=-\kappa T
R−21δμμR=−κT
左边结果为
−
R
-R
−R,因此
R
=
κ
T
R=\kappa T
R=κT,此时,爱因斯坦场方程为:
R
μ
ν
=
−
κ
(
T
μ
ν
−
1
2
g
μ
ν
T
)
R_{\mu\nu}=-\kappa\left(T_{\mu\nu}-\frac{1}{2}g_{\mu\nu}T \right)
Rμν=−κ(Tμν−21gμνT)
真空中的场方程:
T
μ
ν
=
0
→
R
μ
ν
=
0
T_{\mu\nu}=0\rightarrow R_{\mu\nu}=0
Tμν=0→Rμν=0
后者并不代表时空平坦
上这两节课的那几天略微破防,加上正好没发ppt,所以整理的内容就非常地凌乱
系数的确定
在之前的推导中已经得到了爱因斯坦场方程,现在需要确定 κ \kappa κ的具体表示形式。利用牛顿近似,来确定这个系数
考虑一个在某参考系中静止的非相对论理想流体( p ≪ ρ p\ll\rho p≪ρ),其能动张量为 T μ ν = ρ U μ U ν T^{\mu\nu}=\rho U^\mu U^\nu Tμν=ρUμUν,其中 ρ \rho ρ为密度, U μ ≡ d x μ d τ U^\mu\equiv\dfrac{dx^\mu}{d\tau} Uμ≡dτdxμ,满足关系 g μ ν U μ U ν = − 1 g_{\mu\nu}U^\mu U^\nu=-1 gμνUμUν=−1
因为流体静止,所以有:
U
μ
=
1
−
g
00
(
1
,
0
,
0
,
0
)
U^\mu=\frac{1}{\sqrt{-g_{00}}}(1,0,0,0)
Uμ=−g001(1,0,0,0)
由此得知,能动张量中,唯一一个非零分量为:
T
00
=
−
ρ
g
00
T^{00}=-\dfrac{\rho}{g_{00}}
T00=−g00ρ,张量迹为
T
=
T
μ
μ
=
−
ρ
T={T^\mu}_\mu=-\rho
T=Tμμ=−ρ
在弱场,低速近似下(
g
μ
ν
=
η
μ
ν
+
h
μ
ν
g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu}
gμν=ημν+hμν)的曲率张量为(保留到一阶小量):
R
μ
ν
=
R
λ
μ
ν
λ
=
Γ
μ
λ
,
ν
λ
−
Γ
μ
ν
,
λ
λ
+
Γ
μ
λ
ρ
Γ
ν
ρ
λ
−
Γ
μ
ν
λ
Γ
λ
ρ
ρ
⇒
{
R
00
=
1
2
h
00
,
i
,
i
R
0
i
=
1
2
(
−
h
k
0
,
i
,
k
+
h
0
i
,
k
,
k
)
R
i
j
=
1
2
(
h
k
k
,
i
,
j
−
h
k
i
,
j
,
k
−
h
k
j
,
i
,
k
+
h
i
j
,
k
,
k
−
h
00
,
i
,
j
)
\begin{aligned} R_{\mu\nu}&={R^\lambda}_{\mu\nu\lambda}=\Gamma^\lambda_{\mu\lambda,\nu}-\Gamma^\lambda_{\mu\nu,\lambda}+\Gamma^\rho_{\mu\lambda}\Gamma^\lambda_{\nu\rho}-\Gamma^\lambda_{\mu\nu}\Gamma^\rho_{\lambda\rho}\\ &\Rightarrow\left\{\begin{aligned} R_{00}&=\frac{1}{2}h_{00,i,i}\\ R_{0i}&=\frac{1}{2}(-h_{k0,i,k}+h_{0i,k,k})\\ R_{ij}&=\frac{1}{2}(h_{kk,i,j}-h_{ki,j,k}-h_{kj,i,k}+h_{ij,k,k}-h_{00,i,j}) \end{aligned}\right. \end{aligned}
Rμν=Rλμνλ=Γμλ,νλ−Γμν,λλ+ΓμλρΓνρλ−ΓμνλΓλρρ⇒⎩⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎧R00R0iRij=21h00,i,i=21(−hk0,i,k+h0i,k,k)=21(hkk,i,j−hki,j,k−hkj,i,k+hij,k,k−h00,i,j)
由此得到:
R
μ
ν
≡
g
μ
α
g
ν
β
R
α
β
=
η
μ
α
η
ν
β
R
α
β
R
00
=
R
00
,
R
0
i
=
−
R
0
i
,
R
i
j
=
R
i
j
R^{\mu\nu}\equiv g^{\mu\alpha}g^{\nu\beta}R_{\alpha\beta}=\eta^{\mu\alpha}\eta^{\nu\beta}R_{\alpha\beta}\\ R^{00}=R_{00},\ R^{0i}=-R_{0i},\ R^{ij}=R_{ij}
Rμν≡gμαgνβRαβ=ημαηνβRαβR00=R00, R0i=−R0i, Rij=Rij
所以:
R
00
=
−
κ
(
T
00
−
1
2
g
00
T
)
R^{00}=-\kappa\left(T^{00}-\frac{1}{2}g^{00}T\right)
R00=−κ(T00−21g00T)
将相应的值代入到上述场方程中,取
g
00
=
η
00
=
−
1
g_{00}=\eta_{00}=-1
g00=η00=−1,得到:
h
00
,
i
,
i
=
−
κ
ρ
h_{00,i,i}=-\kappa\rho
h00,i,i=−κρ
又因为在前面的讨论中已知
h
00
=
−
2
Φ
h_{00}=-2\Phi
h00=−2Φ,由此得到:
Φ
,
i
,
i
≡
∇
2
Φ
=
1
2
κ
ρ
\Phi_{,i,i}\equiv \nabla^2\Phi =\frac{1}{2}\kappa\rho
Φ,i,i≡∇2Φ=21κρ
与牛顿力学中的引力势
∇
2
Φ
=
4
π
G
ρ
\nabla^2\Phi=4\pi G\rho
∇2Φ=4πGρ相对比,得到:
κ
=
8
π
G
\kappa=8\pi G
κ=8πG
至此,得到完整的爱因斯坦场方程:
R
μ
ν
−
1
2
g
μ
ν
R
+
λ
g
μ
ν
=
−
8
π
G
T
μ
ν
R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R+\lambda g_{\mu\nu}=-8\pi GT_{\mu\nu}
Rμν−21gμνR+λgμν=−8πGTμν
说明:
(1)方程左侧几何,右侧物质,总的来讲是物质决定了时空的弯曲程度
(2) λ \lambda λ为宇宙学常数
(3)根据张量符号采用的不同,不同的文献所讨论的场方程也会略有不同