第二十六讲 上次课 ●绝对时空观的困难(麦莫实验) 相对时空观, Lorentz变换,四维空间,x,=a 标量、矢量、张量 4.速度及四维速度矢量 假定在S系中考察一个物体的运动,其速度的定义是ⅱ=。现在假定S'系 dt 相对S系以速度v沿着x轴运动,则在S系中同一粒子的速度定义为i=。因 为在相对论时空观中,时间和空间是一起变换的,由 Lorentz公式得 y dy=dy dE'=d (11.2.11) 用上面第四个方程除前三个,则得 dx-v)y,=42- (112.12) √1-B 上式决定了两个参考系中速度的变换,这就是相对论中的速度合成法则。在极限 c→∞的情况下,上式便成为经典力学中速度的矢量合成法则,即 u=ux-v, lI (112.13)
1 第 二 十 六 讲 上次课： z 绝对时空观的困难（麦-莫实验） z 相对时空观，Lorentz 变换, 四维空间， ' x x μ =α μν ν z 标量、矢量、张量… 4．速度及四维速度矢量 假定在 S 系中考察一个物体的运动，其速度的定义是 dr u dt = r r 。现在假定S′ 系 相对S 系以速度v 沿着 x 轴运动，则在S′ 系中同一粒子的速度定义为 ' ' dr u dt = r r 。因 为在相对论时空观中，时间和空间是一起变换的，由 Lorentz 公式得 ( ) 2 ' ' ' ' v v dx dx vdt dy dy dz dz v dt dt dx c γ γ = − = = ⎛ ⎞ = − ⎜ ⎟ ⎝ ⎠ （11.2.11） 用上面第四个方程除前三个，则得 ( ) 2 2 2 2 2 2 ' ' 1 ' 1 ' 1 ' 1 ' 1 v x x x v y y x z z x dx dx vdt u v u dt v vu dt dx c c dy u u dt vu c dz u u dt vu c γ γ β β ⎧ ⎪ − − ′ == = ⎪ ⎛ ⎞ ⎪ − − ⎜ ⎟ ⎝ ⎠ ⎪ ⎪ ⎪ − ⎨ ′ = = ⎪ − ⎪ ⎪ − ⎪ ′ = = ⎪ − ⎪ ⎩ （11.2.12) 上式决定了两个参考系中速度的变换，这就是相对论中的速度合成法则。在极限 c → ∞ 的情况下，上式便成为经典力学中速度的矢量合成法则，即 , , , x x y y z z u uv u u u u ⎧ ′ = − ⎪ ⎨ ′ = ⎪ ⎩ ′ = (11.2.13)
根据相对论的速度合成公式(112.12)很容易证实,即使u和部接近光速,其合 成的速度也不会大于光速,也就是说,在相对论中不可能用运动学的办法得到大 于光速的速度。注意到速度的变换公式很复杂,不满足四维矢量的变换公式,这 是因为三维空间速度的定义不是相对论谐变的。让我们重新考察速度的定义 、d.分子是位置矢量,很容易推广到四维协变形式x={F,ict},问题出在 分母上:d不是一个标量,其在不同惯性系中测量值不同!我们知道四维间隔 ds2'=-dx, dx, =(cdr)-drdr=(cdt)(1-iilc2) (112.14) 是一个标量,其在不同惯性系中的测量值不变,因此可以定义一个具有时间量纲 的标量 ds/c=di1-B2 (11.2.15) 用来替代dt.考察dr的物理意义-当我们选取与粒子一起运动的坐标系时有 B2=0,因此得到dr=d。故其物理意义既是在粒子静止的坐标系中测量的两 个时间的时间间隔,因此我们也把dr称作“固有时”- Proper Time。因此对任何 两个事件的时间间隔,在粒子运动的坐标系中测到的值 B2/dr (11.2.16) 比在跟随粒子运动的坐标系中测得的“固有时”增大了yn= 倍一这就是 所谓“时间膨胀”效应。既然“固有时”是个与坐标变换无关的标量,这就启发 我们定义这样一个四维矢量: dr-rilu,ic (112.17) 它显然是在 Lorentz变换下协变的,而且其三维空间部分与三维速度矢量相关 这就是四维速度。 5,四维波矢量 下面我们证明波矢k与频率一起构成四维协变矢量-亦即,k={,0e在坐 标变换下满足与坐标一样的变换关系。为了证明这件事情,考虑在S系下的沿ⅹ 方向传播的一列平面波em)=e。在S系的坐标原点t=0时刻时开始计数,在
2 根据相对论的速度合成公式(11.2.12)很容易证实，即使 x u 和v 部接近光速，其合 成的速度也不会大于光速，也就是说，在相对论中不可能用运动学的办法得到大 于光速的速度。注意到速度的变换公式很复杂，不满足四维矢量的变换公式，这 是因为三维空间速度的定义不是相对论谐变的。让我们重新考察速度的定义： dr u dt = r r - 分子是位置矢量，很容易推广到四维协变形式 x {, } r ict μ = r ，问题出在 分母上：dt 不是一个标量，其在不同惯性系中测量值不同！我们知道四维间隔 () () ( ) 2 2 2 2 ds dx dx cdt dr dr cdt u u c 1 / =− = − ⋅ = − ⋅ μ μ r r rr (11.2.14) 是一个标量，其在不同惯性系中的测量值不变，因此可以定义一个具有时间量纲 的标量 2 / 1 u d ds c dt τ = =− β (11.2.15) 用来替代 dt. 考察 dτ 的物理意义 – 当我们选取与粒子一起运动的坐标系时有 2 0 βu = ，因此得到d dt τ = 。故其物理意义既是在粒子静止的坐标系中测量的两 个时间的时间间隔，因此我们也把dτ 称作“固有时”- Proper Time。因此对任何 两个事件的时间间隔，在粒子运动的坐标系中测到的值 2 1 u u d dt d τ γ τ β = = − （11.2.16） 比在跟随粒子运动的坐标系中测得的“固有时”增大了 2 1 1 u u γ β = − 倍 – 这就是 所谓“时间膨胀”效应。既然“固有时”是个与坐标变换无关的标量，这就启发 我们定义这样一个四维矢量： {, } u dx u u ic d μ μ γ τ = = r （11.2.17） 它显然是在 Lorentz 变换下协变的，而且其三维空间部分与三维速度矢量相关。 这就是四维速度。 5．四维波矢量 下面我们证明波矢k r 与频率一起构成四维协变矢量 – 亦即， k ki c {, /} μ = ω r 在坐 标变换下满足与坐标一样的变换关系。为了证明这件事情，考虑在 S 系下的沿 x 方向传播的一列平面波 i kx t i ( ) e e −ω φ = 。在 S 系的坐标原点 t=0 时刻时开始计数，在
第N个波峰通过时停止计数,则S系中存在两个事件: 事件1,0,0,0.0},开始计数(=0) 事件2,{0.0,0,l},计数N个波峰(n=2zN) 在S'系中同样看着两件事件,则电磁波经过 Lorentz变换后变成e(kx-mn=e, 事件本身(通过观察点几个波峰)显然不随坐标系的改变而变换 事件1,0,0,0,0},开始计数(=0) 事件2,{x,0,0,},计数N个波峰(2=2xN) 因此φ=k·F-o=kx是个四维标量,不随坐标变换而改变。因此k一定是个 四维矢量。这个问题其实有另一个更简单的看法-注意到∂={V,-i,/c}是个 四维矢量,则其所对应的作用在平面波上得到的值,k={,o/e,一定也是个 四维矢量。 §113麦克斯韦方程的协变形式 根据爱因斯坦的相对性原理,作为描述电磁体系的物理规律的麦克斯韦方程 组应该写成协变的形式。下面我们就将我们所关心的方程一一写成在 Lorentz变 换下协变的形式 1.电荷守恒定律-四维电流矢量 电荷密度和电流密度之间满足连续性方程, +22=0 (113.1) 此方程是在某一个坐标系(记为S系)下写出的,在S系中j,p都应相应变化成
3 第 N 个波峰通过时停止计数，则 S 系中存在两个事件： 事件 1，{0,0,0,0}，开始计数 1 ( 0) φ = 事件 2，{0,0,0, }t ，计数 N 个波峰 2 ( 2) φ = π N 在 S'系中同样看着两件事件，则电磁波经过 Lorentz 变换后变成 ikx t i ( ' ' ' ') ' e e −ω φ = ， 事件本身（通过观察点几个波峰）显然不随坐标系的改变而变换 事件 1，{0,0,0,0}，开始计数 ' 1 ( 0) φ = 事件 2，{ ',0,0, '} x t ，计数 N 个波峰 ' 2 ( 2) φ π = N 因此 k r t kx φ ω = ⋅− = μ μ r r 是个四维标量，不随坐标变换而改变。因此 kμ一定是个 四维矢量。这个问题其实有另一个更简单的看法 – 注意到 {, /} t i c μ ∂ = ∇−∂ 是个 四维矢量，则其所对应的作用在平面波上得到的值，k ki c {, /} μ = ω r ，一定也是个 四维矢量。 §11.3 麦克斯韦方程的协变形式 根据爱因斯坦的相对性原理，作为描述电磁体系的物理规律的麦克斯韦方程 组应该写成协变的形式。下面我们就将我们所关心的方程一一写成在 Lorentz 变 换下协变的形式 1．电荷守恒定律 - 四维电流矢量 电荷密度和电流密度之间满足连续性方程， j 0 t ∂ρ ∇ ⋅ + = ∂ G （11.3.1） 此方程是在某一个坐标系（记为 S 系）下写出的，在 S'系中 j ,ρ r 都应相应变化成
j’ρ’。根据相对性原理,(11.3.1)的方程形式应当洛伦兹变换下不变。若引入 一个四维电流矢量 J=G, icp (113.2) 则(11.3.1)式可以写成 0J=0 (11.33) 为书写方便,式中x记为O,由于O是矢量,若J的确是一个四维矢量, 则∂J为洛伦兹标量故(1133)为相对论协变。实验告诉我们,电荷是守恒的 电荷在溶伦兹变换下不变,亦即在任意一个惯性系下测得的电荷量均相同。下 面我们将根据这一实验事实证明(3,ip)确实构成四维矢量。 设在S系中有一体积元dQ,其中电荷以速度运动,体积元dg中的总电 荷为P2,P是s系中测量的电荷密度。在与电荷相对静止的参考系S中,电荷 速度为零,电荷密度为Po,相应的体积元为ds0,根据电荷的洛伦兹不变性 我们有 △Q=p9=p0d2 (11.3.4) 由于S相对于S系以速度证运动,则两个坐标系的时空微元的变换关系为 d=(dx-uh),d=d,=d,d=(d-n/c2)(1135) 因为在S系中测量运动物体的体积必须同时进行,故d=0。所以两参考系之间 的体积元的关系为 d o d a od y o d d a d y d d o (11.36) u
4 j', ' ρ r 。根据相对性原理，（11.3.1）的方程形式应当洛伦兹变换下不变。若引入 一个四维电流矢量 J j ic (, ) μ = ρ G （11.3.2） 则（11.3.1）式可以写成 J 0 μ μ ∂ = （11.3.3） 为书写方便，式中 x μ ∂ ∂ 记为 μ ∂ ，由于 μ ∂ 是矢量，若J μ 的确是一个四维矢量， 则 J μ μ ∂ 为洛伦兹标量故（11.3.3）为相对论协变。实验告诉我们，电荷是守恒的， 电荷在洛伦兹变换下不变，亦即-在任意一个惯性系下测得的电荷量均相同。下 面我们将根据这一实验事实证明(, ) j icρ G 确实构成四维矢量。 设在S 系中有一体积元dΩ ，其中电荷以速度u G 运动，体积元dΩ 中的总电 荷为 ρdΩ , ρ 是S 系中测量的电荷密度。在与电荷相对静止的参考系S0中，电荷 速度为零, 电荷密度为 0 ρ ，相应的体积元为 0 dΩ ，根据电荷的洛伦兹不变性， 我们有 ΔQd d = ρ ρ Ω = 0 0 Ω (11.3.4) 由于 0 S 相对于S 系以速度u G 运动，则两个坐标系的时空微元的变换关系为 ( ) ( ) 2 2 0 0 00 u u dx dx udt , dy dy, dz dz, dt dt u dx / c = − = = =− γ γ （11.3.5） 因为在 S 系中测量运动物体的体积必须同时进行，故dt = 0 。所以两参考系之间 的体积元的关系为 d dx dy dz dxdydz d Ω 0 000 === γ γ u u Ω （11.3.6） u ρ0 S S0
这就是所谓的“运动物体长度收缩”的概念。把(11.44)式代入(1143)式 则得 p=poYu (11.37) 将上式代入电流密度的表达式发现 P07 (11.3.8) 的确(,cp)=A(7ic)=A,正好构成一个正比于四维速度的四维矢量 2,电磁势方程的协变形式 电磁场可以用矢势A和标势φ来描写,在洛伦兹规范条件下,电磁势方程为 (11.3.9) 式中A和y应满足洛伦兹条件 .A+1=0 (113.10) 若我们定义一个四维张量 4=(2) (113.11) 则(11.39)式的电磁势方程可以写为 口A (11.3.12) 洛伦兹条件可以写为 0A=0 (113.13) (113.12)式很清楚地表示出若我们要求 Maxwel)程在 Lorentz变换下协变,则A 定是一四维矢量,因为等式右方的J为一四维矢量,等式的左方亦应为一四维 矢量,由于口为一标量,故A为一矢量,称为四维势。 电磁场张量
5 这就是所谓的“运动物体长度收缩”的概念。把（11.44）式代入（11.43）式， 则得 ρ ργ = 0 u （11.3.7） 将上式代入电流密度的表达式发现 0 u ju u = = ρ ργ G G G （11.3.8） 的确 0 0 (, ) ( , ) u u j ic u ic u ρ ργ γ ρ = = μ G G 正好构成一个正比于四维速度的四维矢量。 2．电磁势方程的协变形式 电磁场可以用矢势A G 和标势ϕ 来描写，在洛伦兹规范条件下，电磁势方程为 2 0 2 2 2 0 1 / A j c t μ ϕ ρ ε ⎛ ⎞ ∂ ⎛ ⎞ ⎜ ⎟ ⎜ ⎛ ⎞ − ⎟ ⎜ ⎟ ⎟ ⎜ ⎟ ⎜∇− ⎟⎜ ⎟ = ⎜ ⎟ ⎟⎜ ⎟ ⎟ ⎝ ⎠ ⎜ ∂ ⎟⎜ ⎟ ⎜ − ⎟ ⎜⎝ ⎠⎟ ⎜⎜ ⎟ ⎝ ⎠ G G （11.3.9） 式中A G 和ϕ 应满足洛伦兹条件 2 1 A 0 c t ∂ϕ ∇⋅ + = ∂ G （11.3.10） 若我们定义一个四维张量 A Ai (, ) c μ ϕ = G （11.3.11） 则（11.3.9）式的电磁势方程可以写为 A J μ μ 0 , = −μ （11.3.12） 洛伦兹条件可以写为 A 0 μ μ ∂ = （11.3.13） (11.3.12)式很清楚地表示出若我们要求Maxwell 方程在Lorentz变换下协变，则Aμ 一定是一四维矢量，因为等式右方的J μ 为一四维矢量，等式的左方亦应为一四维 矢量，由于口为一标量，故Aμ 为—矢量，称为四维势。 3．电磁场张量