爱因斯坦场方程推导过程的逻辑梳理
———纪念广义相对论发表100周年
钟双金
(华东师范大学物理系 上海 201100)
(收稿日期:20140710)
摘
要:爱因斯坦用了10年时间分5步从狭义相对论提升到广义相对论及引力场方程,本文对此过程进行了
逻辑梳理并辅助解释推导过程.
关键字:爱因斯坦场方程 张量 等效原理
从狭义相对论到广义相对论,爱因斯坦经历了10年的科研探索,写下爱因斯坦场方程标志了广义相对论的完成,爱因斯坦场方程逻辑结构严谨,形式完美,但是推导过程非常复杂,以至许多学生在学完广义相对论后,不能整体理解其逻辑推导主线.本文尝试把这10年的推导过程总结成5步,清晰呈现该理论的逻辑结构.1 相对性原理的历史
相对性原理最初由伽利略提出,其发展经过3个阶段.
首先是伽利略相对性原理.在古典时空观(时间和3维空间独立)和伽利略变换下,物理定律在所有惯性参考系下具有相同形式.伽利略变换是指在两个以恒定相对运动速度的参考系下(t,x,y,z)和(t′,x′,y′,z′)分别为同一事件在两个坐标系S和S′中的坐标,v为相对运动速度.其坐标变换满足
t′=t
x′=x-vt
y′=y(1)
z′=z
牛顿力学规律在伽利略变换下具有不变性,比如在S系中有F=ma,各物理量经伽利略变换后,在满足伽利略变换S′系中方程形式不变,麦克斯韦方程预言,即F′=ma′.然而电动力学不
,真空中光速是一个普适常量c,其不满足伽利略变换.这样就开启了狭义相对论之路.
其次是狭义相对性原理.爱因斯坦提出所有物理定律(力学和电动力学)都满足该原理.这时引入—34
—
了光速常量c和替换伽利略变换的洛伦兹变换
t-2
t′=2x
1-2
2
x′=2
1-(2)
2
y′=yz′=z
后来是广义相对性原理.爱因斯坦在改造引力理论为协变形式时发现,引力和非惯性系有深刻关联.进而把物理定律推广到在一切参考系中都具有相同的形式,这就是广义相对性原理.下面就来分5步来说明这一推导过程.2 引入四维时空以及洛伦兹变换
1905年,爱因斯坦考察电动力学时提出光速不变以及洛伦兹变换后,1907年闵可夫斯基赋予新时空观以数学结构,即四维时空的连续体,从而大大简
化了狭义相对论.时空的性质使物理学家放弃伽利略变换下不变的空间距离和时间间隔,而取代之以洛伦兹变换下不变的四维间隔2
2
2
dy(ds=dt-dx-2-dz2
).在假设运动方程是线性的和时空的均匀性以及空间的各向同性后,如果让两坐标系之间的相对运动速度v沿着x轴方向(令c=1),考虑最一般的线性变换
[1]
t′=αt+βx
x′=γt+σxy′=y(3)
z′=z
这里的α,γ和σ只依赖于v.如果x=vt,则x′=0.β,于是有
x′=σ(x-vt) σ(0)=1根据相对性原理
x=σ(-v)(x′+vt′)可以得到方程
x′=σ(x-vt)t′=α(t-
ex)
解出x并与式(3)做比较得出σ=α,v=e.最后利用4 引入等效原理将引力几何化
1907年爱因斯坦认识到需要推广狭义相对论:一为了把相对性原理从惯性系推广到非惯性系,二是无法直接改写牛顿引力方程为其协变形式.1911年爱因斯坦首次提出,到现在,等效原理有很多不同程度的版本表述.
弱等效原理:考察了引力质量和惯性质量成正比,观测者不能在局部的区域内分辨出加速度所产(4)(5)
间隔不变-(Δt′)2
+(Δx′)2
=-(Δt)2
+(Δx)2
.进而解出并由σ=1-v
2
,即得到洛伦兹变换公式(2).
3 用四维张量改写方程
在新的时空观下,之前的力学方程(比如F=ma)在不同惯性参考系中经过洛伦兹变换后的形式不一样.这时物理方程应该怎么写呢?
答案是用张量,因为张量的性质是,两个张量各分量在一个参考系相等后,那么它经过洛伦兹变换到任何参考系时都相等.所以用张量写出的方程能保证洛伦兹协变性,即满足相对性原理.相对论的做法是:取定其中一个参考系来度量有关的物理量,写成四维张量形式,然后经过实验推导总结出其中物理规律,发现基本方程.在这个过程中时空的几何性质应当不受有关物理过程影响.所以,基本方程只是物理量之间的一些关系,即“一些物理学张量=另一些物理学张量”.
能量动量张量描述能量与动量在时空中的密度与通量.其为一个二阶张量Tα
β(希腊字母代表0,1,2,3.拉丁字母代表1,2,3),它表示四动量的第α分量通过坐标为参数xβ表面的通量,如T00
为能量密度(由质能方程可把静止坐标系中的能量密度看作物质密度ρ),T0i
为能量通过xi
表面的通量,其等于Ti0
代表第i动量的密度.在平直时空中,因为能量
守恒,由连续性方程可得
T
0α
,α
=蜒・p-
抄t
=0同样也可以应用到动量守恒,得到四动量守恒的张量表达式为(采用爱因斯坦求和符号)
Tαβ
,β
=0(6)
生的惯性力或由物体所产生的引力.牛顿力学动力学方程为F=mIa,牛顿万有引力定律为
FG=G
2
=mGg由精确实验可认为mIa=mGg.得到
a=I
g
如果把有引力场的时空看作是几何上弯曲的时空,那么自由下落的粒子在引力场中沿着弯曲时空中的测地线方向运动.
爱因斯坦等效原理:在推广到所有自然定律是还需要假设,在弱等效原理基础上,假设在存在的局部惯性参考系中,非引力物理定律如麦克斯韦方程等同于狭义相对论形式.
强等效原理:在利用广义相对论方式(时空度规,时空曲率)去描述引力(引力场强、引力势)的需要在该原理.时空区域某一点内的引力场总可用相应的局部惯性参考系来描述,而狭义相对论在其局域惯性参考系中完全成立.这样,在地球局部惯性系上做引力实验(比如卡文迪什的关于引力的平方反比关系的测量)可以等同于无引力的形式.
引力场本身与引力源位置不同导致其在时空分布不均匀,所以不能用一个全局的加速度来描述,但每一点的引力场有一个引力场强可用一个与之相等加速度的局部加速参考系来描述.这样狭义相对论中的能量动量方程(6)可以改写成广义相对论中的形式
Tα
β
α
αβ
=Tβ
β
+ΓρβTρβ+ΓβρβT
ρ
α
=0(7)
后面两项可以看做加速度或引力场对守恒定律的影响.
5 根据弱场低速近似猜出引力场方程形式
具体的“物质怎么告诉时空弯曲.时空怎么告诉
—35
—
物质运动”呢?在广义相对性原理下,其引力方程的形式需要经过一些探索得到.狭义相对论经过低速近似可以得到牛顿运动方程:当v虫c时,有1-洛伦兹变换公式(2)就变成伽利略2≈12≈0,
2
6 类比牛顿引力确定引力场方程系数
牛顿引力方程为
蜒φ=4πGρ(10)
通过牛顿近似,最后推导引力场方程(9)中的系数,这一部分涉及到一定量的数学计算.通过理想流体计算Tμ=ρuμu,采用相对介质静止的坐标系,计算静态、缓变弱场下的Rμν.经过一番计算,写出其00
ν
ν2
变换公式(1).广义相对论是一个引力理论,在牛顿近似下应该回到万有引力理论.任意引力场中自由粒子的动力学方程是测地线方程
2
[2]
在弱引力场做低速运动的粒子可以做以下近似(1)引力场是弱场,即令gμν=ημν+hμν,则有
hμν虫1(2)引力场是静态的,即gμν,0=hμν,0=0(3)引力场是空间缓变的,即gμν,i=hμν,i虫1(4)粒子的运动时低速的,即0虫1
i
2
i
β
μμ=-Γαβ2
α
分量的方程,即可求出
[2]
h00,i,i=-κρ
结合公式(8)可得牛顿引力势
2
蜒φ=2κρ
对比公式(10)定出κ=8πG.这样就得出四动量守恒的最简单版本的引力场方程———爱因斯坦场方程(1915年爱因斯坦和希尔伯特讨论得到的)
gμνR=-8πGTμν2
(为牛顿引力势),
对比计算可得φ抄x
φ=-h00
2形式确定为
Fμν=Tμν
h00,i.
以上得出而牛顿力学为=-2=2
22
i
Rμν-7 后记
(11)
(8)
爱因斯坦场方程在一定假设基础合理上猜测出来的,以上是引力场方程形式的最小耦合形式版本,在此基础上很多人在寻找此形式以外的理论.比如,假设时空有挠率,加入宇宙常数等.可以得出更复杂形式的引力场方程.
参考文献
1 爱因斯坦.相对论(第一版).易洪波,等译.南京:江苏人
民出版社,2011.70
2 俞允强.广义相对论引论(第二版).北京:北京大学出版
社,2009.48,49
参照牛顿引力理论,我们把度规场方程的数学
按推测和数学定理Fμν最一般只能是Fμν=
Bianchi恒等式可得
Gμν=Rμν
αRμν+βgμνR+γgμν.爱因斯坦张量Gμν由里奇张量
Rμν和R组合成而成.根据能量动量守恒(7).应用
-gμνR=-κTμν
2
(9)
Fromtenyearstofivesteps
———TheInductiveLogicofReductionforEinsteinFieldEquation
ShuangjinZhong
(EastChinaNormalUniversity)
Abstract:TheDerivingofthespecialtheoryofrelativityEinsteinfieldequationsbyfivestepswiththeexplanation.
Keywords:Einsteinfieldequation;Tensor;equivalenceprinciple
—36—
爱因斯坦场方程推导过程的逻辑梳理
———纪念广义相对论发表100周年
钟双金
(华东师范大学物理系 上海 201100)
(收稿日期:20140710)
摘
要:爱因斯坦用了10年时间分5步从狭义相对论提升到广义相对论及引力场方程,本文对此过程进行了
逻辑梳理并辅助解释推导过程.
关键字:爱因斯坦场方程 张量 等效原理
从狭义相对论到广义相对论,爱因斯坦经历了10年的科研探索,写下爱因斯坦场方程标志了广义相对论的完成,爱因斯坦场方程逻辑结构严谨,形式完美,但是推导过程非常复杂,以至许多学生在学完广义相对论后,不能整体理解其逻辑推导主线.本文尝试把这10年的推导过程总结成5步,清晰呈现该理论的逻辑结构.1 相对性原理的历史
相对性原理最初由伽利略提出,其发展经过3个阶段.
首先是伽利略相对性原理.在古典时空观(时间和3维空间独立)和伽利略变换下,物理定律在所有惯性参考系下具有相同形式.伽利略变换是指在两个以恒定相对运动速度的参考系下(t,x,y,z)和(t′,x′,y′,z′)分别为同一事件在两个坐标系S和S′中的坐标,v为相对运动速度.其坐标变换满足
t′=t
x′=x-vt
y′=y(1)
z′=z
牛顿力学规律在伽利略变换下具有不变性,比如在S系中有F=ma,各物理量经伽利略变换后,在满足伽利略变换S′系中方程形式不变,麦克斯韦方程预言,即F′=ma′.然而电动力学不
,真空中光速是一个普适常量c,其不满足伽利略变换.这样就开启了狭义相对论之路.
其次是狭义相对性原理.爱因斯坦提出所有物理定律(力学和电动力学)都满足该原理.这时引入—34
—
了光速常量c和替换伽利略变换的洛伦兹变换
t-2
t′=2x
1-2
2
x′=2
1-(2)
2
y′=yz′=z
后来是广义相对性原理.爱因斯坦在改造引力理论为协变形式时发现,引力和非惯性系有深刻关联.进而把物理定律推广到在一切参考系中都具有相同的形式,这就是广义相对性原理.下面就来分5步来说明这一推导过程.2 引入四维时空以及洛伦兹变换
1905年,爱因斯坦考察电动力学时提出光速不变以及洛伦兹变换后,1907年闵可夫斯基赋予新时空观以数学结构,即四维时空的连续体,从而大大简
化了狭义相对论.时空的性质使物理学家放弃伽利略变换下不变的空间距离和时间间隔,而取代之以洛伦兹变换下不变的四维间隔2
2
2
dy(ds=dt-dx-2-dz2
).在假设运动方程是线性的和时空的均匀性以及空间的各向同性后,如果让两坐标系之间的相对运动速度v沿着x轴方向(令c=1),考虑最一般的线性变换
[1]
t′=αt+βx
x′=γt+σxy′=y(3)
z′=z
这里的α,γ和σ只依赖于v.如果x=vt,则x′=0.β,于是有
x′=σ(x-vt) σ(0)=1根据相对性原理
x=σ(-v)(x′+vt′)可以得到方程
x′=σ(x-vt)t′=α(t-
ex)
解出x并与式(3)做比较得出σ=α,v=e.最后利用4 引入等效原理将引力几何化
1907年爱因斯坦认识到需要推广狭义相对论:一为了把相对性原理从惯性系推广到非惯性系,二是无法直接改写牛顿引力方程为其协变形式.1911年爱因斯坦首次提出,到现在,等效原理有很多不同程度的版本表述.
弱等效原理:考察了引力质量和惯性质量成正比,观测者不能在局部的区域内分辨出加速度所产(4)(5)
间隔不变-(Δt′)2
+(Δx′)2
=-(Δt)2
+(Δx)2
.进而解出并由σ=1-v
2
,即得到洛伦兹变换公式(2).
3 用四维张量改写方程
在新的时空观下,之前的力学方程(比如F=ma)在不同惯性参考系中经过洛伦兹变换后的形式不一样.这时物理方程应该怎么写呢?
答案是用张量,因为张量的性质是,两个张量各分量在一个参考系相等后,那么它经过洛伦兹变换到任何参考系时都相等.所以用张量写出的方程能保证洛伦兹协变性,即满足相对性原理.相对论的做法是:取定其中一个参考系来度量有关的物理量,写成四维张量形式,然后经过实验推导总结出其中物理规律,发现基本方程.在这个过程中时空的几何性质应当不受有关物理过程影响.所以,基本方程只是物理量之间的一些关系,即“一些物理学张量=另一些物理学张量”.
能量动量张量描述能量与动量在时空中的密度与通量.其为一个二阶张量Tα
β(希腊字母代表0,1,2,3.拉丁字母代表1,2,3),它表示四动量的第α分量通过坐标为参数xβ表面的通量,如T00
为能量密度(由质能方程可把静止坐标系中的能量密度看作物质密度ρ),T0i
为能量通过xi
表面的通量,其等于Ti0
代表第i动量的密度.在平直时空中,因为能量
守恒,由连续性方程可得
T
0α
,α
=蜒・p-
抄t
=0同样也可以应用到动量守恒,得到四动量守恒的张量表达式为(采用爱因斯坦求和符号)
Tαβ
,β
=0(6)
生的惯性力或由物体所产生的引力.牛顿力学动力学方程为F=mIa,牛顿万有引力定律为
FG=G
2
=mGg由精确实验可认为mIa=mGg.得到
a=I
g
如果把有引力场的时空看作是几何上弯曲的时空,那么自由下落的粒子在引力场中沿着弯曲时空中的测地线方向运动.
爱因斯坦等效原理:在推广到所有自然定律是还需要假设,在弱等效原理基础上,假设在存在的局部惯性参考系中,非引力物理定律如麦克斯韦方程等同于狭义相对论形式.
强等效原理:在利用广义相对论方式(时空度规,时空曲率)去描述引力(引力场强、引力势)的需要在该原理.时空区域某一点内的引力场总可用相应的局部惯性参考系来描述,而狭义相对论在其局域惯性参考系中完全成立.这样,在地球局部惯性系上做引力实验(比如卡文迪什的关于引力的平方反比关系的测量)可以等同于无引力的形式.
引力场本身与引力源位置不同导致其在时空分布不均匀,所以不能用一个全局的加速度来描述,但每一点的引力场有一个引力场强可用一个与之相等加速度的局部加速参考系来描述.这样狭义相对论中的能量动量方程(6)可以改写成广义相对论中的形式
Tα
β
α
αβ
=Tβ
β
+ΓρβTρβ+ΓβρβT
ρ
α
=0(7)
后面两项可以看做加速度或引力场对守恒定律的影响.
5 根据弱场低速近似猜出引力场方程形式
具体的“物质怎么告诉时空弯曲.时空怎么告诉
—35
—
物质运动”呢?在广义相对性原理下,其引力方程的形式需要经过一些探索得到.狭义相对论经过低速近似可以得到牛顿运动方程:当v虫c时,有1-洛伦兹变换公式(2)就变成伽利略2≈12≈0,
2
6 类比牛顿引力确定引力场方程系数
牛顿引力方程为
蜒φ=4πGρ(10)
通过牛顿近似,最后推导引力场方程(9)中的系数,这一部分涉及到一定量的数学计算.通过理想流体计算Tμ=ρuμu,采用相对介质静止的坐标系,计算静态、缓变弱场下的Rμν.经过一番计算,写出其00
ν
ν2
变换公式(1).广义相对论是一个引力理论,在牛顿近似下应该回到万有引力理论.任意引力场中自由粒子的动力学方程是测地线方程
2
[2]
在弱引力场做低速运动的粒子可以做以下近似(1)引力场是弱场,即令gμν=ημν+hμν,则有
hμν虫1(2)引力场是静态的,即gμν,0=hμν,0=0(3)引力场是空间缓变的,即gμν,i=hμν,i虫1(4)粒子的运动时低速的,即0虫1
i
2
i
β
μμ=-Γαβ2
α
分量的方程,即可求出
[2]
h00,i,i=-κρ
结合公式(8)可得牛顿引力势
2
蜒φ=2κρ
对比公式(10)定出κ=8πG.这样就得出四动量守恒的最简单版本的引力场方程———爱因斯坦场方程(1915年爱因斯坦和希尔伯特讨论得到的)
gμνR=-8πGTμν2
(为牛顿引力势),
对比计算可得φ抄x
φ=-h00
2形式确定为
Fμν=Tμν
h00,i.
以上得出而牛顿力学为=-2=2
22
i
Rμν-7 后记
(11)
(8)
爱因斯坦场方程在一定假设基础合理上猜测出来的,以上是引力场方程形式的最小耦合形式版本,在此基础上很多人在寻找此形式以外的理论.比如,假设时空有挠率,加入宇宙常数等.可以得出更复杂形式的引力场方程.
参考文献
1 爱因斯坦.相对论(第一版).易洪波,等译.南京:江苏人
民出版社,2011.70
2 俞允强.广义相对论引论(第二版).北京:北京大学出版
社,2009.48,49
参照牛顿引力理论,我们把度规场方程的数学
按推测和数学定理Fμν最一般只能是Fμν=
Bianchi恒等式可得
Gμν=Rμν
αRμν+βgμνR+γgμν.爱因斯坦张量Gμν由里奇张量
Rμν和R组合成而成.根据能量动量守恒(7).应用
-gμνR=-κTμν
2
(9)
Fromtenyearstofivesteps
———TheInductiveLogicofReductionforEinsteinFieldEquation
ShuangjinZhong
(EastChinaNormalUniversity)
Abstract:TheDerivingofthespecialtheoryofrelativityEinsteinfieldequationsbyfivestepswiththeexplanation.
Keywords:Einsteinfieldequation;Tensor;equivalenceprinciple
—36—