浅谈狭义相对论

最近看了几篇狭义相对论的文章，发现很多人曲解狭义相对论，甚至有人质疑光速不变原理（理由是光速在空气中会变慢）。我希望这篇文章能够帮助你理解狭义相对论。

一、伽利略变换和牛顿运动力学定律

伽利略变换：$\vec{v}={\vec{v}}^{\prime }+\vec{u},\vec{a}={\vec{a}}^{\prime },m=m^{\prime },\vec{F}={\vec{F}}^{\prime }$
伽利略变换阐述了物理量在不同惯性系中是如何变换的。
牛顿运动力学定律：$\vec{F}=m\vec{a}$
牛顿运动力学定律阐述了力、质量和加速度之间的关系。
这两个理论是经典物理学的基石，可以用来描述物体的运动规律。

二、相对性原理

如果一个物理定律配以一种变换后在任何惯性系中形式相同，那么称它满足相对性原理。（相对性原理所指对象是物理定律与物理量变换的组合）
显然，牛顿定律配以伽利略变换满足相对性原理。
而爱因斯坦提出的任何物理定律在任何惯性系下都成立也就是爱因斯坦相对性原理，是狭义相对论的两大公理之一。

三、麦克斯韦方程组

经过人们的不懈努力，最终由麦克斯韦提出了由四个方程组成的方程组，来描述所有电磁现象。
$$\nabla \times \vec{H}=\vec{J}+\frac{\partial D}{\partial t}$$$$\nabla \times \vec{E}=-\frac{\partial B}{\partial t}$$$$\nabla \bullet \vec{B}=0$$$$\nabla \bullet \vec{D}=\rho$$这就是麦克斯韦方程组。

四、光速不变

通过计算，可以得出$c=\frac{1}{\sqrt{{\epsilon }_0{\mu }_0}}$，其中${\epsilon }_0,{\mu }_0$均为常数，所以光速$c$为常数。
但伽利略变换告诉我们，一个物体在不同惯性系下的速度不同。那么算出来的光速到底是以什么为参照系的呢？
首先，发生的矛盾的是以下理论：

• 麦克斯韦方程组
• 伽利略变换
• 相对性原理

当时，人们已经认识到光是一种波。类比一下，水波的介质是水，水波的速度要以水为参照系；声波也需要介质，声速要以介质作为参照系。那么光的介质是什么呢？
于是科学家提出了一种叫以太的物质，这种物质遍布宇宙，光速就以这种物质为参照系。由此，人们抛弃了相对性原理（因为以太参照系成为了一个比其他惯性系更优越的惯性系）。

• 麦克斯韦方程组
• 伽利略变换
• 相对性原理

可是既然以太是一种惯性系，那么就可以测定地球相对以太的运动速度。可是不管什么时候测量，地球相对以太的速度都为$0$。这就和地球绕太阳做匀速圆周运动矛盾了。
就在这个时候，爱因斯坦说，伽利略变换是错误的，相对性原理是正确的。他提出，任何物理定律在任意惯性系下都成立。

• 麦克斯韦方程组
• 伽利略变换
• 相对性原理

他继而建立了狭义相对论，解决了这一问题。

六、狭义相对论

首先，考虑追及问题。

请问甲追上乙所需的时间是多少（地面参照系）？

设甲追上乙的时间是$t$，则$S_1=v_{1}t,S_2=v_{2}t$
而在地面参照系中，$S_1=S_2+L$，所以$t=\frac{L}{v_1-v_2}$
即甲追上乙所需的时间是$t=\frac{L}{v_1-v_2}$
讲这个问题是为了说明，追及问题不依赖于伽利略变换

在一个惯性系中，一个事件具有一个时空坐标$(x,y,z,t)$，同一个事件在不同的惯性系中有不同的坐标。我们要研究的就是如何将一个惯性系的时空坐标转换为另一个惯性系的时空坐标。

考虑一辆火车经过月台。在火车的中点$M$处有一个激光发生器，向两边同时发射激光。火车两端$P,Q$各有一个激光接收器。那么在火车参照系下两接收器是否同时接收到激光？在地面参照系下是否同时接收到激光？

首先，在火车参照系下，两束激光以光速$c$向$P,Q$射去，$t_p=\frac{|MP{|}_t}{c},t_q=\frac{|MQ{|}_t}{c}$，下标${}_t$表示火车参照系下的长度。因为$|MP{|}_t=|MQ{|}_t$，所以$t_p=t_q$，因此在火车参照系下，同时接收到激光。

然后，在地面参照系下，两束激光运动时间问题可视作追及问题（相遇问题），根据之前的分析，$t_p=\frac{|MP{|}_g}{c+u},t_q=\frac{|MP{|}_g}{c-u}$，显然，$t_p<t_q$，所以在地面参照系下，不同时接收到激光，$P$先接收到。

根据这道题的结论，动系（火车参照系）中同时发生的事件，在静系（地面参照系）中，运动方向靠前（P）的先发生，靠后的（Q）后发生。

七、尺缩效应

设事件$A$为物体左端运动到$x_a$位置，事件$B$为物体右端运动到$x_b$位置，并且在地面参照系中，$A$和$B$同时发生。
对于地面参照系来说，物体的长度为$x_b-x_a$，因为在一个时刻，物体的前端和后端分别在$x_a,x_b$上。
对于物体参照系来说，地面参照系成为向左运动的动系，在动系中同时发生的事件$A,B$，在静系中$B$先发生，即右端到达$x_b$的时候，左端还未到达$x_a$，这个时候测出的长度大于$x_b-x_a$。

这说明，一个物体沿运动方向上的长度，运动时会比静止时短，也就是说物体的长度在静止时最长，我们把静止时的长度称为固有长度。

尺缩效应的公式为$$L=L_0\sqrt{1-\frac{v^2}{c^2}}$$

八、钟慢效应

在物体右端到达$x$后，过了时间$t$，物体左端到达了$x$，那么物体在地面参照系下的长度为$vt$。
那么物体在物体参照系下的长度如何呢？
在物体参照系下，尺向左以$v$的速度运动，那么物体的长度为$v{t}^{\prime }$。
根据尺缩效应，$vt<v{t}^{\prime }$，所以$t<t^{\prime }$。

钟慢效应的公式为$$\Delta t^{\prime }=\frac{\Delta t}{\sqrt{1-\frac{v^2}{c^2}}}$$$\Delta t$表示两本地事件（发生在观察着所处位置的事件）的时间间隔（称为固有时），$\Delta t^{\prime }$表示另一观察者观察到的两事件时间间隔。

例如在上述例子中，右端到达$x$和左端到达$x$两个事件在地面参照系中发生在同一位置（对于处在$x$的观察者来说均为本地事件），所以固有时为在地面参照系中两事件发生的时间间隔，为$t$。

九、洛伦兹变换

有上述定性的分析还不够，建立相对论还需要定量的分析，用以取代伽利略变换。这种新变换就是洛伦兹变换。

如图，两惯性系$S,S^{\prime }$在$t=t^{\prime }=0$时完全重合，$S^{\prime }$在$S$中沿$x$轴正方向以速度$v$运动。洛伦兹变换研究这两个惯性系间坐标的转换。

现有一束光在$t=t^{\prime }=0$时射向在$S$系中的顶点$P(x,y,z)$，射到$P$的事件坐标为$(x,y,z,t{)}_S,(x^{\prime },y^{\prime },z^{\prime },t^{\prime }{)}_{S^{\prime }}$，先要研究两坐标的关系。

首先，$y=y^{\prime },z=z^{\prime }$，因为这两个物理量方向与运动方向垂直。

根据相对性原理，不同惯性系中物理定律的形式相同，所以长度必须等比扩大或缩小，即$x^{\prime }=k(x-vt),x=k(x^{\prime }+v{t}^{\prime })$$$x^{\prime }-kx=-kvt,x-k{x}^{\prime }=kv{t}^{\prime }$$$$(x^{\prime }-kx{)}^2-(x-k{x}^{\prime }{)}^2=k^2{v}^2(t^2-t^{\prime 2})$$$$(k^2-1)(x^2-x^{\prime 2})=k^2{v}^2(t^2-t^{\prime 2})..{.}^{(1)}$$根据勾股定律，$x^2+y^2+z^2=c^2{t}^2,x^{\prime 2}+y^{\prime 2}+z^{\prime 2}=c^2{t}^{\prime 2}$$$x^2-x^{\prime 2}=c^2(t^2-t^{\prime 2})..{.}^{(2)}$$$(2)$代入$(1)$得，$$(k^2-1)c^2(t^2-t^{\prime 2})=k^2{v}^2(t^2-t^{\prime 2})$$$$(k^2-1)c^2=k^2{v}^2$$$$k=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}}..{.}^{(4)}$$代入$x^{\prime }=k(x-vt)$得，$$x^{\prime }=\frac{x-vt}{\sqrt{1-\frac{v^2}{c^2}}}..{.}^{(3)}$$$x=k(x^{\prime }+v{t}^{\prime })$变形得$t^{\prime }=\frac{x/k-x^{\prime }}{v}$，将$(3),(4)$代入得，$$t^{\prime }=\frac{x\sqrt{1-\frac{v^2}{c^2}}-\frac{x-vt}{\sqrt{1-\frac{v^2}{c^2}}}}{v}=\frac{x-\frac{v^2}{c^2}x-x+vt}{v\sqrt{1-\frac{v^2}{c^2}}}$$整理得到，$$t^{\prime }=\frac{t-\frac{v}{c^2}x}{\sqrt{1-\frac{v^2}{c^2}}}$$最后，总结出洛伦兹变换表达式：$$\{\begin{array}{c}{x}^{\prime }=\frac{x-vt}{\sqrt{1-\frac{v^2}{c^2}}}\\ y=y^{\prime }\\ z=z^{\prime }\\ t^{\prime }=\frac{t-\frac{v}{c^2}x}{\sqrt{1-\frac{v^2}{c^2}}}\end{array}$$

十、质速公式

质速公式描述了质量随速度的改变而改变，其表达式如下：$$m^{\prime }=\frac{m}{\sqrt{1-\frac{v^2}{c^2}}}$$下面我们就证明一下这个公式。

在$S$系中，$A,B$两全同粒子以角度$\theta$速度$u$射向原点，发生弹性碰撞后以角度$\theta$射出。
根据动量守恒，射出后两球方向相反，速度相同。根据能量守恒，射出后速度为$u$。

$S^{\prime }$系相对于$S$系沿$x$轴正方向以速度$u\cos \theta$运动，则$A$在$S^{\prime }$系中没有水平速度。
根据洛伦兹变换，$t^{\prime }=(t-\frac{v^2}{c^2}t)/\sqrt{1-\frac{v^2}{c^2}},y^{\prime }=y$，所以$$v_{Ay}^{\prime }=\frac{v_{Ax}\sqrt{1-\frac{v^2}{c^2}}}{1-\frac{v^2}{c^2}}=\frac{u\sin \theta \sqrt{1-\frac{(w\cos \theta {)}^2}{c^2}}}{1-\frac{(w\cos \theta {)}^2}{c^2}}$$对$B$使用同样的分析得到，$$v_{By}^{\prime }=\frac{u\sin \theta \sqrt{1-\frac{(w\cos \theta {)}^2}{c^2}}}{1+\frac{(w\cos \theta {)}^2}{c^2}}$$根据动量守恒定律，$2m_A^{\prime }{v}_{Ay}^{\prime }=2m_B^{\prime }{v}_{By}^{\prime }$，所以$$\frac{m_B^{\prime }}{m_A^{\prime }}=\frac{1+\frac{(w\cos \theta {)}^2}{c^2}}{1-\frac{(w\cos \theta {)}^2}{c^2}}=\frac{c^2+(w\cos \theta {)}^2}{c^2-(w\cos \theta {)}^2}$$令$\theta \to 0$，则$A$在$S^{\prime }$系中可视作静止，$B$可视作在水平方向上匀速运动，即$m_A^{\prime }$为静质量，只需计算出$m_B^{\prime }$和$v_{Bx}^{\prime }$，即可。$$\frac{m_B^{\prime }}{m_A^{\prime }}=\frac{c^2+w^2}{c^2-w^2}$$而根据洛伦兹变换，$$v_{Bx}^{\prime }=\left|\frac{u_{Bx}-w\cos \theta }{1-\frac{w\cos \theta }{c^2}{u}_{Bx}}\right|=\frac{2w}{1+\frac{w^2}{c^2}}$$$$w=\frac{c^2}{u_{Bx}^{\prime }}\left(-1+\sqrt{1-\frac{{u_{Bx}^{\prime }}^2}{c^2}}\right)$$代入得$$m_B^{\prime }=\frac{m_A^{\prime }}{\sqrt{1-\frac{{u_{Bx}^{\prime }}^2}{c^2}}}$$即$$m^{\prime }=\frac{m}{\sqrt{1-\frac{v^2}{c^2}}}$$

十一、质能方程

考虑对静质量为$m_0$物体做功使之加速到$v$的过程。$$E_k={\int }_0^{S}FdS={\int }_0^t\frac{d(mv)}{dt}vdt={\int }_0^{v}vd\left(\frac{m_{0}v}{\sqrt{1-\frac{v^2}{c^2}}}\right)$$令$v/c=\sin \theta (0\le \theta <\frac{\pi }{2})$，则$$E_k={\int }_0^{\arcsin \frac{v}{c}}c\sin \theta d\left(\frac{m_{0}c\sin \theta }{\cos \theta }\right)=m_0{c}^2{\int }_0^{\arcsin \frac{v}{c}}\sin \theta {\sec }^2\theta d\theta$$令$x=cos\theta$，则$$E_k=m_0{c}^2{\int }_0^{\sqrt{1-\frac{v^2}{c^2}}}\frac{-dx}{x^2}=m_0{c}^2{\frac{1}{x}|}_0^{\sqrt{1-\frac{v^2}{c^2}}}=\frac{m_0{c}^2}{\sqrt{1-\frac{v^2}{c^2}}}-m_0{c}^2=m{c}^2-m_0{c}^2$$即$E(m)-E(m_0)=m{c}^2-m_0{c}^2$，显然$E(m)=km$（你可以考虑把两个物体拼在一起，$E(m_1+m_2)=E(m_1)+E(m_2)$），所以$k=c^2$，所以$E=m{c}^2$。

总结

相对论的核心是洛伦兹变换，洛伦兹变换与伽利略变换的本质区别是，伽利略变换认为所有惯性系的单位长度相同，时间相同，而洛伦兹变换认为惯性系之间会按比例缩放，时间也不同。只有抛弃绝对的空间、时间观才能真正理解相对论。