相對論

5.1 伽利略相對性與以太的退場

狹義相對論並非憑空出現，而是在伽利略相對性這一舊框架的成功與侷限中發展起來。本節先建立舊框架，再考察它與電磁學的衝突，理解為何最終需要放棄以太。

5.1.1 伽利略的船：最初的相對性原理

伽利略請人們設想一艘在平靜海面上勻速航行的船。在船艙內，飛蟲盤旋、水滴落下、拋出的鑰匙落回手中，一切都與船靜止時相同。他由此提出：

伽利略相對性原理： 在彼此做勻速直線運動的慣性參考系中，力學規律具有相同形式。

5.1.2 伽利略變換的數學形式

設兩個慣性系S和S'沿x軸以相對速度v運動，座標變換為

$$\begin{array}{rl}{t}^{\prime }& =t,\\ x^{\prime }& =x-vt,\\ y^{\prime }& =y,\\ z^{\prime }& =z\end{array}$$

速度按以下方式變換：

$$\begin{array}{rl}{u}_x^{\prime }& =u_x-v,\\ u_y^{\prime }& =u_y,\\ u_z^{\prime }& =u_z\end{array}$$

加速度保持不變：

$${\mathbf{a}}^{\prime }=\mathbf{a}$$

一個重要推論是速度疊加規則：

$$u_x=u_x^{\prime }+v$$

因為各慣性系中的加速度相同，只要力對相對位置和速度的依賴與這些變換相容，牛頓第二定律 $m\mathbf{a}=\mathbf{F}$ 就保持形式不變。

5.1.3 波動與伽利略變換的衝突

考慮一維波動方程

$$\frac{{\partial }^2\varphi }{\partial x^2}-\frac{1}{c^2}\frac{{\partial }^2\varphi }{\partial t^2}=0$$

在伽利略變換 $x^{\prime }=x-vt,t^{\prime }=t$ 下，空間與時間導數發生混合，S'中的方程變為

$$\frac{{\partial }^2\varphi }{\partial x^{\prime 2}}-\frac{1}{c^2}{\left(\frac{\partial }{\partial t^{\prime }}-v\frac{\partial }{\partial x^{\prime }}\right)}^2\varphi =0$$

形式不再相同。在伽利略運動學中，波速通常相對於某種介質定義。對於聲音，介質是空氣；地面觀察者測得的速度近似為 $c_{\text{sound}}\pm v$。

真空馬克士威方程預言電磁波速為c，卻不需要在方程中指定物質介質。若強行套用伽利略速度疊加，不同觀察者應測得 $c\pm v$，但實驗並不支持這種結果。

5.1.4 以太假說

十九世紀物理學家提出一種充滿空間、卻不拖曳行星的微妙介質——光以太。光被視為以太中的橫向振動，類似聲音在空氣中傳播；c則是相對於以太的速度，仍遵循伽利略速度疊加。

斐索1851年的流水實驗讓光穿過流動的水，發現光速並不是簡單相加得到的 $c/n\pm v$，而帶有 菲涅耳拖曳因子。觀測到的有效速度可近似寫為

$$v_{\text{水中的光}}\approx \frac{c}{n}+v\left(1-\frac{1}{n^2}\right)$$

當時，人們把它解釋為物質對以太的部分拖曳。以太理論因此暫時保留下來，卻不斷需要修補，而且從未被直接觀察到。

5.1.5 邁克耳孫—莫雷：影響深遠的零結果

如果地球穿過靜止以太，就應出現以太風。光沿著或逆著以太風傳播，與垂直方向傳播相比，應有不同的往返時間。1887年的邁克耳孫—莫雷干涉儀把光分到兩條垂直臂中，反射後重新合併，並在旋轉儀器時尋找條紋移動。結果基本沒有預期的移動。不同時節的後續實驗也得到零結果，未發現地球軌道速度所預期的 $v^2/c^2$ 階效應。

其他實驗也不斷加入：特勞頓—諾布爾實驗尋找運動帶電電容器上的預期轉矩，肯尼迪—桑代克實驗採用不同幾何結構檢驗頻率穩定性。它們同樣得到零結果。如果以太存在，那麼它不僅在動力學上無法被探測，在運動學上也無法被探測。

5.1.6 勞侖茲的挽救：收縮與地方時

在愛因斯坦之前，一些物理學家試圖透過改變物質的運動性質來保留以太，而不改變時空觀。喬治·菲茨傑拉德與亨德里克·勞侖茲提出，物體沿運動方向按以下因子收縮：

$$\sqrt{1-\frac{v^2}{c^2}}$$

勞侖茲進一步引入稱為「地方時」的數學量，以保持電磁方程的形式，隨後得到完整的變換：

$$\begin{array}{rl}{t}^{\prime }& =\gamma \left(t-\frac{vx}{c^2}\right),\\ x^{\prime }& =\gamma (x-vt),\\ y^{\prime }& =y,\\ z^{\prime }& =z,\\ \gamma & =\frac{1}{\sqrt{1-v^2/c^2}}\end{array}$$

勞侖茲仍設想以太真實存在，並把這些關係理解為掩蓋以太運動效應的機制。數學上，他找到了正確的對稱性；概念上，以太卻越來越像一個沒有可測作用的旁觀者。

5.1.7 伽利略運動學為什麼不適用於光

衝突如今十分清楚：伽利略運動學假設絕對時間與線性速度疊加；馬克士威電動力學給出真空中的固定波速c；實驗既未觀測到 $c\pm v$，也未發現預期的以太風。若保留舊框架，就必須讓長度收縮、時鐘變化和動力學效應在各種材料、方向、季節與裝置中都恰好抵消可測結果。另一條更簡潔的道路，是接受光速不變與零結果，重建與普適c相容的運動學。

5.1.8 衝突的具體演示

設光脈衝在S系中沿+x方向運動：

$$x=ct$$

在滿足 $x^{\prime }=x-vt,t^{\prime }=t$ 的伽利略變換下，同一世界線變為

$$x^{\prime }=(c-v)t^{\prime }$$

因此測得速度應為 $c-v$，這正是與馬克士威理論的衝突。

相反，勞侖茲變換保持世界線的類光性質，使每個慣性觀察者都得到 $x^{\prime }=c{t}^{\prime }$。這是因為勞侖茲變換保持時空間隔，也保持光錐結構。

5.1.9 都卜勒效應、光行差與斐索實驗呢？

仔細分析後，三個容易混淆的現象都與相對論一致。

都卜勒頻移是相對運動引起的觀測頻率變化。相對論公式在低速下給出相應的古典近似，並能描述高速天體現象。

恆星光行差是有限光速與地球運動導致的恆星視方向偏移。它與相對論相容，無需假設儀器內部存在以太風。

對於折射率為 $n$ 的運動介質，斐索流水實驗的結果可由相對論速度疊加推導，不需要以太這一物質。

5.1.10 伽利略思想中保留了什麼？

伽利略的核心思想——所有慣性系中的物理規律相同——仍然成立，改變的是實現方式。伽利略運動學中的時間絕對，變換保持 $t$；相對論運動學的不變量則是時空間隔

$$\Delta s^2=c^2\Delta t^2-\Delta x^2-\Delta y^2-\Delta z^2$$

保持這一量的變換組成勞侖茲群。

5.1.11 以太退場之後

到二十世紀初，以太越來越像一個沒有獨立可測預言的概念支架。愛因斯坦1905年的論文採取了簡潔而激進的做法：不再使用以太，只保留相對性原理與光速不變，並由此導出勞侖茲的數學關係。空間和時間成為時空，電場和磁場成為同一張量的不同分量，同時性失去絕對地位。取代機械以太的不是新介質，而是新的幾何描述：電磁波是電磁場的擾動；其光錐結構由時空度規決定，而非由物質以太決定。

5.1.12 要點

• 伽利略變換體現絕對時間與簡單速度疊加，使牛頓力學保持形式不變，卻不能使真空馬克士威方程保持形式不變。
• 以太假說試圖調和固定光速與伽利略運動學，但精密實驗未發現預期的以太風。
• 勞侖茲找到了數學上的正確對稱性，愛因斯坦將其提升為時空的物理結構，並取消了以太的必要性。
• 伽利略的相對性原理保留下來，由勞侖茲群和不變時空間隔實現。

5.2 狹義相對論：基本假設與運動學

狹義相對論建立在兩個簡潔的基本假設上：

（i）相對性原理：所有慣性參考系中的物理規律具有相同形式。

（ii）光速不變原理：每個慣性觀察者測得的真空光速都為 $c$，

與光源或觀察者的運動無關。相對論的時空結構由此展開。

5.2.1 時鐘同步與絕對同時性的消失

愛因斯坦提出用物理操作定義同時性：從A向B發送光脈衝，再反射回來，把B處時鐘設定為使去程和回程時間相等。不同慣性觀察者對時空的同時面劃分不同，因此這種同步依賴參考系。同時性不再絕對，而與相對運動有關；計時由此成為幾何問題。

5.2.2 推導勞侖茲變換

考慮處於 標準構型 的兩個參考系 $S$ 和 $S^{\prime }$：$S^{\prime }$ 以恆定速度 $v$ 沿 $S$ 的 $x$ 軸運動，原點在 $t=t^{\prime }=0$ 時重合。時空的均勻性與各向同性要求座標關係為 線性。要求沿 $+x$ 傳播的光脈衝在 $S$ 中滿足 $x=ct$，在 $S^{\prime }$ 中滿足 $x^{\prime }=c{t}^{\prime }$，可將變換確定至僅剩一個整體比例因子未定；再結合相對性、空間各向同性、互逆變換，以及 $v=0$ 時取恆等變換的正規化，固定該比例因子，得到

$$\begin{array}{rl}{x}^{\prime }& =\gamma (x-vt),\\ t^{\prime }& =\gamma \left(t-\frac{vx}{c^2}\right),\\ y^{\prime }& =y,z^{\prime }=z,\\ \gamma & =\frac{1}{\sqrt{1-v^2/c^2}}\end{array}$$

逆變換透過替換 $v\to -v$ 得到：

$$\begin{array}{rl}x& =\gamma (x^{\prime }+v{t}^{\prime }),\\ t& =\gamma \left(t^{\prime }+\frac{v{x}^{\prime }}{c^2}\right),\\ y& =y^{\prime },z=z^{\prime }\end{array}$$

在這些約定下，變換保持時空間隔和光錐。

5.2.3 不變間隔與固有時

由勞侖茲變換可得不變的時空間隔：

$$\Delta s^2=c^2\Delta t^2-\Delta x^2-\Delta y^2-\Delta z^2$$

對於類時世界線，以 $c^{2}d{\tau }^2=d{s}^2$ 定義固有時 $d\tau$。沿路徑積分，就是隨行時鐘經歷的時間。由於 $d{s}^2$ 不變，所有慣性觀察者對同一世界線的 $\tau$ 都有一致結論。

5.2.4 時間膨脹、長度收縮與同時性偏移

透過運動觀察者攜帶的光鐘，或直接由勞侖茲變換，可得

$$\Delta t=\gamma \Delta \tau$$

運動時鐘的走時變慢，其時間膨脹因子為 $\gamma$。對於沿 $x$ 軸放置、靜止長度為 $L_0$ 的杆，在 $S$ 中同時測量兩端位置，得到

$$L=\frac{L_0}{\gamma }$$

同時性依賴參考系。在 $S$ 中相隔 $(\Delta t,\Delta x)$ 的兩個事件，在 $S^{\prime }$ 中的時間間隔為

$$\Delta t^{\prime }=\gamma \left(\Delta t-\frac{v\Delta x}{c^2}\right)$$

即使它們在 $S$ 中滿足 $\Delta t=0$，也就是同時發生，在 $S^{\prime }$ 中通常仍有 $\Delta t^{\prime }\ne 0$。這就是同時性相對性的操作性含義。

5.2.5 速度疊加與橫向分量

速度不再線性相加。對勞侖茲變換微分，得到 愛因斯坦速度疊加公式。若粒子在 $S$ 中的速度分量為 $(u_x,u_y,u_z)$，則在 $S^{\prime }$ 中觀測到

$$u_x^{\prime }=\frac{u_x-v}{1-\frac{v{u}_x}{c^2}}$$ $$u_y^{\prime }=\frac{u_y}{\gamma \left(1-\frac{v{u}_x}{c^2}\right)},u_z^{\prime }=\frac{u_z}{\gamma \left(1-\frac{v{u}_x}{c^2}\right)}$$

對於同一直線上的運動，合成公式簡化為

$$u\oplus v=\frac{u+v}{1+\frac{uv}{c^2}}$$

無論怎樣疊加低於光速的速度，結果仍滿足 $<c$。

使用由 $\beta \equiv v/c=\tanh \eta$ 定義的快度 $\eta$ 往往更方便。此時

$$\gamma =\cosh \eta ,\gamma \beta =\sinh \eta$$

共線速度的合成等價於快度相加：

$${\eta }_{\text{total}}={\eta }_1+{\eta }_2$$

運動學因此可用簡潔的雙曲幾何描述。

5.2.6 閔可夫斯基圖的幾何

事件是點，世界線是曲線。任一事件的光錐把時空分為錐內的類時未來與過去、錐外的類空區域，以及錐面上的類光方向。因果訊號必須位於光錐內或光錐上。勞侖茲變換類似雙曲旋轉，保持光錐而改變等時面的傾斜，因此同時性發生變化，光速卻不變。

5.2.7 常見「悖論」及其數學解釋

雙生子情境。 一人高速旅行後返回，比留在原地的一人更年輕。旅行者在往返中改變慣性運動方向，其世界線的固有時更短。固有時是沿路徑對 $d\tau$ 的積分，不能僅憑「對方的鐘更慢」這一口號判斷。

穀倉與梯子。 在穀倉參考系中，快速運動的梯子因 $L=L_0/\gamma$ 而能在某一時刻裝入較短的穀倉。在梯子參考系中，兩扇門的關閉並不同時；同時性的相對性消除了矛盾。上面的 $\Delta t^{\prime }$ 變換公式正是關鍵。

磁體與導體。 實驗室中中性載流導線附近的運動電荷受到磁力；在電荷靜止系中，可以用變換後的電場解釋相應作用。電場與磁場來自同一個電磁張量，運動學與場的變換彼此一致。

5.2.8 實用代數恆等式

勞侖茲因子滿足

$${\gamma }^2(1-{\beta }^2)=1,{\gamma }^2-(\gamma \beta {)}^2=1$$

在低速 $v\ll c$ 下展開：

$$\gamma \approx 1+\frac{1}{2}{\beta }^2+\frac{3}{8}{\beta }^4+\cdots$$

沿視線方向運動時，相對論都卜勒因子為

$$\mathcal{D}=\sqrt{\frac{1+\beta }{1-\beta }}$$

因此，相互接近時觀測頻率滿足 ${\nu }_{\text{obs}}=\mathcal{D}{\nu }_{\text{emit}}$，相互遠離時滿足 ${\nu }_{\text{obs}}={\nu }_{\text{emit}}/\mathcal{D}$。

5.2.9 要點

• 在標準構型與相應對稱性條件下，兩條基本假設導出保持時空間隔和光錐的勞侖茲變換。
• 時間膨脹、長度收縮與同時性偏移，是同一變換的不同表現。
• 相對論速度疊加不會把亞光速合成為超光速；共線勞侖茲推動可用快度線性相加。
• 不變間隔決定固有時與因果結構，閔可夫斯基幾何是相對論運動學的自然語言。

接下來，我們將在這個幾何框架內重新表述動量、能量與 $E=m{c}^2$。

5.3 閔可夫斯基時空與因果性

狹義相對論將運動學轉化為幾何。空間與時間不再彼此獨立，而是共同構成四維的 閔可夫斯基時空，其幾何結構編碼了因果關係。本節定義度規，區分類時、類空與類光間隔，引入四維向量，並把勞侖茲推動理解為雙曲旋轉，進而學習如何閱讀時空圖。

5.3.1 事件、座標與度規

事件 是時空中的一點，座標為 $x^{\mu }=(ct,x,y,z)$。空間向量記為 $\mathbf{x}=(x,y,z)$，希臘指標取值範圍為 $0,1,2,3$。在慣性笛卡爾座標中，閔可夫斯基度規為

$${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$$

鄰近事件 $x^{\mu }$ 與 $x^{\mu }+d{x}^{\mu }$ 之間的不變間隔平方為

$$d{s}^2={\eta }_{\mu \nu }d{x}^{\mu }d{x}^{\nu }=c^{2}d{t}^2-d{\mathbf{x}}^2$$

所有慣性觀察者計算出的 $d{s}^2$ 相同。這個純量表達了事件間隔中不依賴參考系的物理內容。

5.3.2 光錐與三類間隔

對於事件A與B，$s^2$ 的符號決定它們的關係：

• 類時： $s^2>0$。存在一個參考系，使兩事件發生於同一地點、不同時刻；亞光速運動者能夠從較早事件到達較晚事件。
• 類光，即零間隔： $s^2=0$。兩事件可由以光速傳播的訊號連接。
• 類空： $s^2<0$。存在一個參考系，使兩事件同時發生於不同地點；若要用訊號直接連接它們，就必須超過 $c$。

以任一事件為頂點，滿足 $d{s}^2=0$ 的集合構成 光錐；在 $1+1$ 維情形中，其母線為 $x=\pm ct$。內部類時，外部類空。勞侖茲變換保持光錐，所以即使觀察者對時間和距離的測量不同，也會同意哪些因果聯繫可能存在。

5.3.3 固有時與世界線

世界線 是描述物體歷史的曲線 $x^{\mu }(\lambda )$。對於類時運動，物體攜帶的時鐘記錄固有時

$$d\tau =\frac{1}{c}\sqrt{d{s}^2}=\sqrt{d{t}^2-\frac{d{\mathbf{x}}^2}{c^2}}$$

積分得到時鐘經歷的時間：

$$\Delta \tau ={\int }_{\text{path}}d\tau$$

在平直時空中，連接相同端點的類時曲線裡，慣性運動使 $\Delta \tau$ 最大。這一幾何事實解釋了雙生子情境：旅行者經過非慣性的往返路徑，經歷較少的固有時。

5.3.4 四維速度與四維加速度

定義 四維速度：

$$u^{\mu }\equiv \frac{d{x}^{\mu }}{d\tau }$$

由 $d{s}^2=c^{2}d{\tau }^2$ 可得正規化關係

$${\eta }_{\mu \nu }{u}^{\mu }{u}^{\nu }=c^2$$

用三維速度 $\mathbf{v}=d\mathbf{x}/dt$ 和 $\gamma =1/\sqrt{1-v^2/c^2}$ 表示，得到

$$u^{\mu }=\gamma (c,\mathbf{v})$$

四維加速度 $a^{\mu }=d{u}^{\mu }/d\tau$ 滿足正交關係

$${\eta }_{\mu \nu }{u}^{\mu }{a}^{\nu }=0$$

這意味著，在瞬時靜止系中，加速度四維向量只有空間分量。這些工具使相對論動力學的表達更簡潔，見第5.4節。

5.3.5 勞侖茲變換作為雙曲旋轉

沿 $x$ 方向、速度為 $v$ 的勞侖茲推動，可用 $\beta =v/c$ 和 $\gamma =1/\sqrt{1-{\beta }^2}$ 寫為：

$$\begin{array}{rl}c{t}^{\prime }& =\gamma (ct-\beta x)\\ x^{\prime }& =\gamma (x-\beta ct)\\ y^{\prime }& =y\\ z^{\prime }& =z\end{array}$$

這一變換的矩陣 ${\Lambda }^{\mu }{}_{\nu }$ 滿足不變性條件

$${\eta }_{\alpha \beta }{\Lambda }^{\alpha }{}_{\mu }{\Lambda }^{\beta }{}_{\nu }={\eta }_{\mu \nu }$$

這類似於普通旋轉保持歐氏長度。若由 $\beta =\tanh \eta$ 定義快度 $\eta$，則

$$\gamma =\cosh \eta ,\gamma \beta =\sinh \eta$$

勞侖茲推動就成為 $ct$—$x$ 平面內的雙曲旋轉。共線推動的複合只需把快度相加，因此速度合成雖然具有非線性的愛因斯坦形式，卻在快度空間中仍滿足結合律。

5.3.6 閱讀閔可夫斯基圖

閔可夫斯基圖通常以 $ct$ 為縱軸、$x$ 為橫軸。光線的斜率為 $\pm 45^{\circ }$，因為在採用 $c=1$ 的單位下滿足 $x=\pm ct$。幾個實用規則是：

1. 運動參考系的座標軸。 $x^{\prime }$ 軸對應滿足 $t^{\prime }=0$ 的事件，向上傾斜；$c{t}^{\prime }$ 軸是世界線 $x^{\prime }=0$，向右傾斜。兩軸相對於光線對稱。
2. 同時面。 除非 $v=0$，否則恆定 $t^{\prime }$ 的直線並不水平，這使同時性的相對性直觀可見。
3. 單位刻度。 單位雙曲線 $ct=\sqrt{x^2+c^2{\tau }^2}$ 用於標定固有時刻度；洛德爾圖採用對稱縮放，使兩個參考系都以相同的光錐角度繪出。
4. 因果檢驗。 若事件B位於A的光錐外，就不存在滿足 $|v|<c$ 的世界線連接兩者。類空事件的先後順序可隨勞侖茲推動改變，類時事件則不會。

時空圖不僅是示意圖，也能用於分析事件順序、時間膨脹、長度收縮和同時性偏移。

5.3.7 因果性、無超光速訊號與 $c$ 的速度上限

假設某個參考系中存在速度為 $u>c$ 的訊號。對於類空間隔，總能找到一個勞侖茲推動，使發射與接收的時間順序反轉。如果還能按同樣規則雙向發送訊號，就可能構造封閉因果迴路，產生悖論。狹義相對論透過禁止超光速資訊傳遞避免這一問題：物體和因果訊號的世界線為類時或類光，而非類空。由此也不存在完美剛體；拉動杆的一端不能瞬時影響另一端，應力資訊只能以材料中的聲速 $<c$ 傳播。

場論中的微觀因果性是這一規則的量子對應：類空分離處的局域可觀測量算符對易，因此兩處測量不能彼此傳遞訊號。

5.3.8 能量—動量四維向量預覽

後面將使用 能量—動量四維向量

$$p^{\mu }=\left(\frac{E}{c},\mathbf{p}\right)$$

其不變量為

$$p_{\mu }{p}^{\mu }={\left(\frac{E}{c}\right)}^2-{\mathbf{p}}^2=m^2{c}^2$$

這一關係同時包含靜能 $E_0=m{c}^2$ 與色散關係 $E^2=(pc{)}^2+(m{c}^2{)}^2$。交互作用過程中 $p^{\mu }$ 的守恆，為動力學提供了緊湊且不依賴參考系的表達。

5.3.9 平直時空中的加速運動

即使沒有重力，也能研究加速觀察者。沿 $x$ 方向具有 恆定固有加速度 $a$ 的世界線是雙曲線：

$$\begin{array}{rl}ct(\tau )& =\frac{c^2}{a}\sinh \left(\frac{a\tau }{c}\right)\\ x(\tau )& =\frac{c^2}{a}\cosh \left(\frac{a\tau }{c}\right)\end{array}$$

它以光線 $x=\pm ct$ 為漸近線。固有加速度是加速度計測得的量，其大小不依賴參考系；座標加速度則依賴座標選擇。

加速參考系使平直時空中也出現 林德勒座標 與視界，為理解等效原理提供鋪墊（§5.7）。

5.3.10 張量與指標運算：基本工具

四維向量按 $A^{\prime \mu }={\Lambda }^{\mu }{}_{\nu }{A}^{\nu }$ 變換。指標升降使用 ${\eta }_{\mu \nu }$ 及其逆矩陣：

$$A_{\mu }={\eta }_{\mu \nu }{A}^{\nu },A^{\mu }={\eta }^{\mu \nu }{A}_{\nu }$$

透過指標縮並可構造勞侖茲不變量，例如 $A_{\mu }{B}^{\mu }$。電磁場用反對稱張量 $F_{\mu \nu }$ 表示。用張量語言書寫馬克士威方程可顯露其對稱性；$F_{\mu \nu }$ 變換保持光錐，使因果結構在各慣性系中一致。

5.3.11 什麼改變，什麼不變

• 改變的量： 不同參考系中的時間間隔、長度和同時面。
• 不變的量： 光錐、間隔 $d{s}^2$、固有時 $\tau$，以及類時相關事件的因果順序。

相對論計算的實用原則是先找不變量，再處理依賴觀察者的分量。

5.3.12 快速解題模板

1. A能否影響B？ 計算 $s^2$。若 $s^2<0$，則不能；若 $s^2=0$，只能由光速訊號連接；若 $s^2>0$，則可由亞光速運動連接。討論A影響B時，還需B位於A的未來方向。
2. 旅行者經歷多少時間？ 沿實際速度變化過程積分 $d\tau =\sqrt{1-v^2/c^2}dt$。
3. 運動觀察者測得什麼？ 應用勞侖茲推動，重新畫出座標軸，按需要使用同時性關係與長度收縮公式。

小結： 閔可夫斯基時空把相對論組織成幾何。度規 $d{s}^2=c^{2}d{t}^2-d{\mathbf{x}}^2$ 定義光錐與固有時，勞侖茲推動是保持光錐的雙曲旋轉。因果性成為世界線必須處於光錐內或光錐上的幾何約束，動力學則由協變變換的四維向量描述。用間隔、光錐與快度思考，許多悖論便得到澄清，計算也更直接。

5.4 相對論動力學

運動學說明座標如何變換；動力學則研究動量、能量與力如何變化，使所有慣性觀察者都使用相同形式的規律。指導思想是用勞侖茲不變或協變的量建立理論，使物理結論不依賴參考系。

5.4.1 四維動量與能量—動量關係

定義 四維速度 與 四維動量：

$$u^{\mu }\equiv \frac{d{x}^{\mu }}{d\tau },p^{\mu }\equiv m{u}^{\mu }$$

其中 $d\tau$ 為固有時。利用 $u^{\mu }{u}_{\mu }=c^2$，得到

$$p^{\mu }=\gamma (mc,m\mathbf{v}),\gamma \equiv \frac{1}{\sqrt{1-v^2/c^2}}$$

時間分量定義能量：

$$E\equiv p^{0}c=\gamma m{c}^2$$

空間分量定義動量：

$$\mathbf{p}\equiv \gamma m\mathbf{v}$$

$p^{\mu }$ 的不變模給出基本關係

$$p_{\mu }{p}^{\mu }=m^2{c}^2$$

用純量寫為

$$E^2=(pc{)}^2+(m{c}^2{)}^2$$

低速時它回到熟悉的牛頓形式。對 $v\ll c$ 情形下的 $\gamma$ 展開：

$$E=\gamma m{c}^2\approx m{c}^2+\frac{p^2}{2m}+\cdots$$

牛頓動能因此是靜能 $m{c}^2$ 之外的首個修正項。

5.4.2 功、功率與相對論力學方程

保留力和功率的定義，但使用相對論的 $\mathbf{p}$ 與 $E$：

$$\mathbf{F}\equiv \frac{d\mathbf{p}}{dt},\frac{dE}{dt}=\mathbf{F}\cdot \mathbf{v}$$

由 $\mathbf{p}=\gamma m\mathbf{v}$ 得到

$$\mathbf{F}=\gamma m\mathbf{a}+{\gamma }^{3}m\frac{\mathbf{v}(\mathbf{v}\cdot \mathbf{a})}{c^2}$$

將各量分解為平行與垂直於 $\mathbf{v}$ 的分量，得到

$$a_{\parallel }=\frac{F_{\parallel }}{{\gamma }^{3}m},a_{\perp }=\frac{F_{\perp }}{\gamma m}$$

當速度接近 $c$ 時，相同外力產生的加速度越來越小，沿運動方向尤其明顯。因此，光速上限既體現在運動學中，也體現在動力學中。

將力寫成四維向量通常更簡潔。定義四維力

$$K^{\mu }\equiv \frac{d{p}^{\mu }}{d\tau }$$

它自動滿足正交關係

$$K^{\mu }{u}_{\mu }=0$$

因為 $p^{\mu }{p}_{\mu }$ 保持不變。第5.5節將把它用於電磁場中的帶電粒子。

5.4.3 作用量原理與自由粒子的拉格朗日量

相對論動力學可以由幾何作用量導出。對於自由中性粒子，

$$S=-mc\int ds$$

在給定參考系中，$ds=cdt\sqrt{1-v^2/c^2}$，因此拉格朗日量為

$$L_0=-m{c}^2\sqrt{1-\frac{v^2}{c^2}}$$

由此得到正則動量與漢彌爾頓量：

$$\mathbf{p}=\frac{\partial L_0}{\partial \mathbf{v}}=\gamma m\mathbf{v}$$ $$H=\mathbf{p}\cdot \mathbf{v}-L_0=\gamma m{c}^2=E$$

能量—動量關係於是成為基於世界線不變長度的變分原理的結果，而非額外假設。

若粒子帶電 $q$，並與電磁四維勢 $A_{\mu }=(\varphi /c,-\mathbf{A})$ 交互作用，最小耦合作用量加入 $-q\int A_{\mu }d{x}^{\mu }$。用通常變量表示，拉格朗日量成為

$$L=-m{c}^2\sqrt{1-\frac{v^2}{c^2}}+q\mathbf{v}\cdot \mathbf{A}-q\varphi$$

其歐拉—拉格朗日方程給出勞侖茲力，協變形式將在第5.5節說明。

5.4.4 碰撞中的動量與能量平衡

由於四維動量守恆，

$$\sum _{\text{in}}{p}^{\mu }=\sum _{\text{out}}{p}^{\mu }$$

這一向量方程同時編碼各參考系中的能量和三維動量守恆。兩邊取不變內積，可以得到粒子反應中實用的參考系無關關係。

對四維動量為 $p_1,p_2$ 的兩個粒子，一個重要不變量是 曼德爾施塔姆變量 $s$：

$$s\equiv (p_1+p_2{)}^2$$

在質心系，即總動量為零的參考系中，$s=(E_{\text{CM}}/c{)}^2$，因此 $E_{\text{CM}}=\sqrt{s}c$。在靶粒子 $b$ 靜止、入射粒子 $a$ 能量為 $E_a$ 的實驗室系中，

$$s=m_a^2{c}^2+m_b^2{c}^2+2m_b{E}_a$$

也可更直觀地寫為

$$s{c}^2=m_a^2{c}^4+m_b^2{c}^4+2m_b{c}^2{E}_a$$

若生成末態粒子的總靜止質量為 $M_{\text{final}}$，在閾值處，質心系中可用於相對運動的動能恰好為零，因此

$$s_{\text{th}}=M_{\text{final}}^2{c}^2$$

所需的實驗室入射能量為

$$E_{a,\text{th}}=\frac{M_{\text{final}}^2{c}^4-\left(m_a^2+m_b^2\right)c^4}{2m_b{c}^2}$$

例如，考慮一個質子靜止時的反應 $p+p\to p+p+{\pi }^0$。以 $m_p$ 和 $m_{\pi }$ 表示相應靜止質量，$M_{\text{final}}=2m_p+m_{\pi }$，代入上式可得入射質子的閾值總能量約為 1.22 GeV，對應的閾值動能約為 0.28 GeV。

5.4.5 質心系與系統的不變質量

對於孤立系統，定義 總四維動量：

$$P^{\mu }\equiv \sum _i{p}_i^{\mu }$$

不變量

$$M_{\text{sys}}^2{c}^2\equiv P_{\mu }{P}^{\mu }$$

給出系統的 不變質量。在質心系中 $\mathbf{P}=0$，因此 $M_{\text{sys}}{c}^2=E_{\text{CM}}$。關鍵是，$M_{\text{sys}}$ 不只是各組分靜止質量的總和，還包含內部動能和束縛能。例如，裝有輻射的盒子比同樣的空盒具有更大的 $M_{\text{sys}}$；儘管每個光子的靜止質量為零，它們仍攜帶能量和動量。

5.4.6 無質量粒子與色散關係

當 $m=0$ 時，不變關係成為

$$E=pc$$

類光世界線沒有可定義的四維速度，但四維動量仍有限且正確變換。光子的能量與頻率滿足 $E=h\nu$，與 $p=h/\lambda$ 及馬克士威波以 $c$ 傳播相一致。有質量粒子無法達到 $c$，因為這要求 $\gamma \to \infty$，也就需要無限能量。

5.4.7 約束動力學與輻射反作用概覽

對於帶電粒子，勞侖茲力的三維形式為，協變推導見第5.5節：

$$\frac{d\mathbf{p}}{dt}=q\left(\mathbf{E}+\mathbf{v}\times \mathbf{B}\right),\frac{dE}{dt}=q\mathbf{E}\cdot \mathbf{v}$$

加速電荷會輻射，因此更精細的描述還需要 輻射反作用力。其古典阿布拉罕—勞侖茲—狄拉克形式存在微妙問題，可能出現失控解；實際計算常使用與外場條件相容的近似。動力學上的關鍵是，必須在 $dE/dt$ 的能量收支中計入輻射損失。

5.4.8 固有加速度與雙曲運動

沿 $x$ 方向具有 恆定固有加速度 $a$ 的軌跡滿足

$$\begin{array}{rl}ct(\tau )& =\frac{c^2}{a}\sinh \left(\frac{a\tau }{c}\right)\\ x(\tau )& =\frac{c^2}{a}\cosh \left(\frac{a\tau }{c}\right)\end{array}$$

微分得到速度

$$v(\tau )=\frac{dx}{dt}=c\tanh \left(\frac{a\tau }{c}\right)$$

因此，即使固有加速度恆定，當 $v$ 接近 $c$ 時，座標加速度仍會減小。運動漸近接近光速而不越過，固有時相對於該座標時間也積累得更慢。

5.4.9 解題工具

• 使用 $p^{\mu }=(E/c,\mathbf{p})$ 並應用四維動量守恆；對四維向量取平方，可得到不依賴參考系的結果。
• 對火箭或粒子束，用 $dE/dt=\mathbf{F}\cdot \mathbf{v}$ 計算功率，並透過 $d\mathbf{p}/dt$ 分析推力。
• 選擇質心系簡化代數，再用第5.3節的勞侖茲公式變換回實驗室系。
• 記住 $M_{\text{sys}}$ 包含內部動能與束縛能；系統質量是不變量，而不只是組分靜止質量之和。

小結： 相對論動力學將能量與動量合為滿足 $E^2=(pc{)}^2+(m{c}^2{)}^2$ 的四維向量。力透過 $d\mathbf{p}/dt$ 改變動量，以 $\mathbf{F}\cdot \mathbf{v}$ 的速率做功；協變四維力 $K^{\mu }=d{p}^{\mu }/d\tau$ 與 $u^{\mu }$ 正交。用 $s$ 和系統質量 $M_{\text{sys}}$ 等不變量處理碰撞尤其方便。守恆四維向量並保持因果結構，是這一幾何化動力學的核心。

5.5 電磁學的相對論形式

馬克士威理論本身已蘊含相對論對稱性。本節將 $\mathbf{E}$ 與 $\mathbf{B}$ 合為一個 場張量，用 四維形式 表達方程和力，並找出所有觀察者一致認可的不變量。

5.5.1 四維電流、四維勢與場張量

將電荷密度與電流密度組合為 四維電流：

$$J^{\mu }\equiv \left(c\rho ,\mathbf{J}\right)$$

將純量位勢與向量位勢組合為 四維勢：

$$A^{\mu }\equiv \left(\frac{\varphi }{c},\mathbf{A}\right)$$

定義反對稱的 電磁場張量：

$$F_{\mu \nu }\equiv {\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$$

採用度規 ${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ 和國際單位制時，

$$F^{0i}=-\frac{E_i}{c},F^{ij}=-{ϵ}^{ijk}{B}_k$$

因此，$\mathbf{E}$ 與 $\mathbf{B}$ 是同一張量的不同部分。

5.5.2 兩條簡潔的張量方程

四個馬克士威方程可以壓縮為兩個：

$${\partial }_{\mu }{F}^{\mu \nu }={\mu }_0{J}^{\nu }$$ $${\partial }_{[\alpha }{F}_{\beta \gamma ]}=0$$

使用對偶張量 ${\tilde{F}}^{\mu \nu }\equiv \frac{1}{2}{ϵ}^{\mu \nu \alpha \beta }{F}_{\alpha \beta }$，第二行成為

$${\partial }_{\mu }{\tilde{F}}^{\mu \nu }=0$$

這樣寫出後，勞侖茲協變性一目瞭然：方程在每個慣性參考系中都保持相同形式。

5.5.3 一行寫出的勞侖茲力

電荷為 $q$、四維速度為 $u^{\mu }$ 的粒子滿足

$$\frac{d{p}^{\mu }}{d\tau }=q{F}^{\mu }{}_{\nu }{u}^{\nu }$$

分離時間和空間分量，得到熟悉的三維形式：

$$\frac{d\mathbf{p}}{dt}=q\left(\mathbf{E}+\mathbf{v}\times \mathbf{B}\right),\frac{dE}{dt}=q\mathbf{E}\cdot \mathbf{v}$$

一個協變方程統一描述所有慣性參考系。

5.5.4 規範對稱性與波動方程

規範變換不改變物理場：

$$A_{\mu }\to A_{\mu }+{\partial }_{\mu }\chi$$

採用 洛倫茨規範

$${\partial }_{\mu }{A}^{\mu }=0$$

時，馬克士威方程化為勢的波動方程：

$$\square A^{\mu }={\mu }_0{J}^{\mu }$$

其中 $\square \equiv {\partial }_{\mu }{\partial }^{\mu }=\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-{\nabla }^2$ 是達朗貝爾算符。

5.5.5 場如何變換：勞侖茲推動混合 $\mathbf{E}$ 與 $\mathbf{B}$

相對論把電場與磁場看作同一張量在給定參考系中的不同分解。對於速度為 $\mathbf{v}$ 的勞侖茲推動，

$${\mathbf{E}}_{\parallel }^{\prime }={\mathbf{E}}_{\parallel },{\mathbf{B}}_{\parallel }^{\prime }={\mathbf{B}}_{\parallel }$$ $${\mathbf{E}}_{\perp }^{\prime }=\gamma \left({\mathbf{E}}_{\perp }+\mathbf{v}\times \mathbf{B}\right),{\mathbf{B}}_{\perp }^{\prime }=\gamma \left({\mathbf{B}}_{\perp }-\frac{\mathbf{v}\times \mathbf{E}}{c^2}\right)$$

若以速度 $v$ 沿 $x$ 方向推動，則

$$\begin{array}{rl}{E}_x^{\prime }& =E_x\\ E_y^{\prime }& =\gamma \left(E_y-v{B}_z\right)\\ E_z^{\prime }& =\gamma \left(E_z+v{B}_y\right)\end{array}$$ $$\begin{array}{rl}{B}_x^{\prime }& =B_x\\ B_y^{\prime }& =\gamma \left(B_y+\frac{v}{c^2}{E}_z\right)\\ B_z^{\prime }& =\gamma \left(B_z-\frac{v}{c^2}{E}_y\right)\end{array}$$

一個參考系中的純電場，在另一個參考系中通常表現為電場與磁場的組合。

5.5.6 兩個勞侖茲不變量：不依賴參考系的判斷依據

兩個獨立的勞侖茲純量可以刻畫場的性質：

$${\mathcal{I}}_1\equiv F_{\mu \nu }{F}^{\mu \nu }$$ $${\mathcal{I}}_2\equiv \frac{1}{2}{ϵ}^{\mu \nu \alpha \beta }{F}_{\mu \nu }{F}_{\alpha \beta }$$

用國際單位制中的變量表示，

$${\mathcal{I}}_1=2\left({\mathbf{B}}^2-\frac{{\mathbf{E}}^2}{c^2}\right),{\mathcal{I}}_2=-\frac{4}{c}\mathbf{E}\cdot \mathbf{B}$$

對於平面波，

$$\mathbf{E}\perp \mathbf{B},|\mathbf{E}|=c|\mathbf{B}|,\mathbf{E}\cdot \mathbf{B}=0$$

因此 ${\mathcal{I}}_1={\mathcal{I}}_2=0$，稱為 零場型，即null field。若 ${\mathcal{I}}_1<0$ 且 ${\mathcal{I}}_2=0$，存在一個參考系使場為純電場；若 ${\mathcal{I}}_1>0$ 且 ${\mathcal{I}}_2=0$，則存在純磁場參考系。

5.5.7 場的能量、動量與應力

將能量、動量與應力組合為 電磁能量—動量張量：

$$T^{\mu \nu }=\frac{1}{{\mu }_0}\left(-F^{\mu \alpha }{F}^{\nu }{}_{\alpha }+\frac{1}{4}{\eta }^{\mu \nu }{F}^{\alpha \beta }{F}_{\alpha \beta }\right)$$

存在源時，場與物質交換能量和動量，滿足

$${\partial }_{\mu }{T}^{\mu \nu }=-F^{\nu \lambda }{J}_{\lambda }$$

其分量為：

$$T^{00}=\frac{1}{2}{\epsilon }_0{\mathbf{E}}^2+\frac{1}{2{\mu }_0}{\mathbf{B}}^2$$ $$T^{0i}=\frac{1}{c}{S}_i,\mathbf{S}=\frac{1}{{\mu }_0}\mathbf{E}\times \mathbf{B}$$

因此，$T^{00}$ 是能量密度，$T^{0i}$ 等於 $S_i/c$，其中 $\mathbf{S}$ 是坡印廷向量。動量密度是 $S_i/c^2$。空間分量 $T^{ij}$ 是動量通量張量，與通常定義的馬克士威應力張量相差一個負號，描述場的壓力和張力。

5.5.8 拉格朗日密度：統一表達

場論的出發點可以寫成一行：

$$\mathcal{L}=-\frac{1}{4{\mu }_0}{F}^{\mu \nu }{F}_{\mu \nu }-J^{\mu }{A}_{\mu }$$

對 $A_{\mu }$ 變分得到馬克士威方程；規範對稱性與諾特定理所揭示的電荷守恆 ${\partial }_{\mu }{J}^{\mu }=0$ 密切相關。

5.5.9 運動電荷的場：磁場為何出現

對靜態庫侖場進行勞侖茲推動，會得到方向分佈發生壓縮的電場，以及一個磁場。也就是說，

$$\text{磁場}=\text{「從運動參考系看到的電場」}$$

磁場是 $F_{\mu \nu }$ 在特定參考系中的一部分，而不是與電場毫無關聯的另一種實體。

5.5.10 快速回顧

• 場為 $F_{\mu \nu }$，源為 $J^{\mu }$，勢為 $A^{\mu }$。
• 馬克士威方程：${\partial }_{\mu }{F}^{\mu \nu }={\mu }_0{J}^{\nu }$ 和 ${\partial }_{\mu }{\tilde{F}}^{\mu \nu }=0$。
• 勞侖茲力：$d{p}^{\mu }/d\tau =q{F}^{\mu }{}_{\nu }{u}^{\nu }$。
• 勞侖茲推動混合 $\mathbf{E}$ 與 $\mathbf{B}$，但不變量 ${\mathcal{I}}_1,{\mathcal{I}}_2$ 保持不變。
• 能量與動量透過 $T^{\mu \nu }$ 描述；$\mathbf{S}=(1/{\mu }_0)\mathbf{E}\times \mathbf{B}$。

小結： 電磁場可統一為張量 $F_{\mu \nu }$。勞侖茲變換改變 $\mathbf{E}$ 與 $\mathbf{B}$ 的分解，卻不改變物理規律。四維形式使協變性和不變量更加清楚，將冗長的向量計算組織為緊湊的幾何關係。

5.6 相對論光學與技術

當光源或觀察者高速運動時，狹義相對論會改變觀測到的光。都卜勒效應、光行差與束射 構成一組實用工具，可解釋類星體噴流、加速器輻射等現象，並用於衛星導航和同步輻射光源。本節介紹主要公式、不變量與應用。

5.6.1 相對論都卜勒效應：運動學引起的頻移

對於嚴格沿視線方向的相對運動，令帶符號的徑向速度 $v$ 在接近時為正、遠離時為負，並定義 $\beta \equiv v/c$。此時，觀測頻率與發射頻率透過 都卜勒因子 聯繫：

$$\mathcal{D}\equiv \sqrt{\frac{1+\beta }{1-\beta }}$$

接近的光源發生藍移，遠離的光源發生紅移：

$${\nu }_{\text{obs}}=\mathcal{D}{\nu }_{\text{emit}}$$

低速下，這回到古典近似。當光源在觀察者參考系中沿橫向運動時，橫向都卜勒效應 仍產生由時間膨脹導致的紅移：

$${\nu }_{\text{obs}}=\frac{{\nu }_{\text{emit}}}{\gamma },\gamma =\frac{1}{\sqrt{1-{\beta }^2}}$$

5.6.2 光行差：光線看起來來自何處

觀測者的運動使視在光源方向向運動方向集中；光源的來向與光子的傳播方向相反。下式中，$\theta$ 是 $S$ 系內光子傳播方向與 $x$ 軸的夾角，${\theta }^{\prime }$ 是在沿 $+x$ 方向以速度 $v$ 運動的 $S^{\prime }$ 系中定義的相應傳播角：

$$\cos {\theta }^{\prime }=\frac{\cos \theta -\beta }{1-\beta \cos \theta }$$

等價地，

$$\tan \left(\frac{{\theta }^{\prime }}{2}\right)=\sqrt{\frac{1+\beta }{1-\beta }}\tan \left(\frac{\theta }{2}\right)$$

恆星的視位置會發生偏移，即光行差；在高 $\gamma$ 下，輻射圖樣表現出明顯的 前向束射。

5.6.3 束射與強度變換

比強度滿足一個重要不變量：

$$\frac{I_{\nu }}{{\nu }^3}\text{是洛侖茲不變量}$$

因此，對於都卜勒因子為 $\mathcal{D}$ 的變換，

$$I_{\nu }={\mathcal{D}}^3{I}_{{\nu }^{\prime }}^{\prime },\nu =\mathcal{D}{\nu }^{\prime }$$

對頻率積分，得到總輻射強度的變換：

$$I={\mathcal{D}}^4{I}^{\prime }$$

這種 探照燈效應 使接近視線方向的相對論噴流看起來顯著增亮，背離我們的噴流則變暗。勞侖茲變換沒有創造光子，而是改變了能量、方向和到達速率的觀測分佈。

5.6.4 同步輻射與曲率輻射

帶電粒子沿彎曲軌道運動時會輻射。對於半徑為 $\rho$ 的超相對論圓周運動，輻射譜的特徵尺度由 臨界頻率 給出：

$${\omega }_c=\frac{3}{2}{\gamma }^3\frac{c}{\rho }$$

曲率為 $\rho$ 的運動，其總輻射功率對 $\gamma$ 有很強的依賴：

$$P\propto \frac{q^{2}c}{{\rho }^2}{\gamma }^4$$

這裡省略了相應的國際單位制比例係數。兩個重要結果是：高能電子在磁場中產生寬頻段的 同步輻射，可覆蓋無線電到X射線；儲存環、波盪器和自由電子雷射器則能成為明亮、可調的光源，用於蛋白質晶體學、材料研究和奈米光刻。

5.6.5 亮溫與頻譜：實用標度

對於滿足 $I_{{\nu }^{\prime }}^{\prime }\propto {\nu }^{\prime \alpha }$ 的冪律輻射源，變換後的觀測譜滿足

$$I_{\nu }\propto {\mathcal{D}}^{3-\alpha }{\nu }^{\alpha }$$

靜止系中的各向同性輻射會表現為各向異性：視張角約按 $\sim 1/\gamma$ 縮小，變化時間尺度按 $1/\mathcal{D}$ 壓縮。這些標度用於估計耀變體和伽馬射線暴的整體勞侖茲因子。

5.6.6 高速雷達與雷射雷達：不能簡單疊加速度

當平臺高速運動時，雷達或雷射雷達的拍頻同樣遵循相對論都卜勒關係。對於收發同址、目標沿視線以接近速度 $v$ 運動的雷達，往返傳播累積兩次頻移：

$${\nu }_{\text{beat}}\approx \left({\mathcal{D}}^2-1\right){\nu }_{\text{tx}}$$

在低 $v$ 極限下，得到熟悉的 $2v/c$ 公式；在高 $v$ 下，應使用精確的 $\mathcal{D}$，避免系統偏差。

5.6.7 衛星導航與時鐘：相對論工程

現代導航依賴精確計時。狹義相對論中，速度為 $v$ 的時鐘因因子 $\gamma$ 而走慢：

$$\frac{\Delta t_{\text{sat}}}{\Delta t_{\text{ground}}}\approx \frac{1}{\gamma }\approx 1-\frac{v^2}{2c^2}$$

衛星時鐘因軌道速度而走慢，這是狹義相對論效應；又因重力位勢較高而走快，這是廣義相對論效應（§5.8）。導航系統預先調整時鐘頻率，並使用相對論模型持續校正時間；若忽略這些效應，定位誤差每天可增長到公里量級。

5.6.8 相對論速度下的成像

若相機以接近 $c$ 的速度掠過場景，光行差會把觀測方向集中到前方，都卜勒效應改變顏色和頻譜，而光行時差導致的 特雷爾旋轉效應 使某些物體看起來像發生旋轉，並非簡單被壓扁。實驗中也能利用相關運動學：相對論電子與雷射交互作用時，可透過逆康普頓散射產生高能X射線，形成緊湊光源。

5.6.9 切倫科夫輻射與都卜勒效應的區別

切倫科夫輻射發生於電荷在 介質 中的速度超過該介質中光的 相速度 時。它並不意味著超過真空光速，也不違反相對論。相對論都卜勒效應與光行差則是不同觀察者之間的光傳播運動學關係。兩類現象都用於探測器和天體物理，但描述的是不同機制。

5.6.10 實用速查

• 都卜勒因子： $\mathcal{D}=\sqrt{\frac{1+\beta }{1-\beta }}$；使用 ${\nu }_{\text{obs}}=\mathcal{D}{\nu }_{\text{emit}}$。
• 橫向都卜勒效應： ${\nu }_{\text{obs}}={\nu }_{\text{emit}}/\gamma$。
• 光行差： $\cos {\theta }^{\prime }=\frac{\cos \theta -\beta }{1-\beta \cos \theta }$。
• 強度： $I_{\nu }/{\nu }^3$ 不變，因此 $\Rightarrow I_{\nu }={\mathcal{D}}^3{I}_{{\nu }^{\prime }}^{\prime }$；總輻射強度滿足 $I={\mathcal{D}}^4{I}^{\prime }$。
• 同步輻射： ${\omega }_c=(3/2){\gamma }^{3}c/\rho$；功率 $\propto {\gamma }^4/{\rho }^2$。

小結： 相對論光學把時空運動學帶入實際工程。都卜勒效應與光行差決定頻率和視方向，束射與強度不變量決定亮度，同步輻射公式描述彎曲軌道上的電荷輻射。幾組關係便能解釋宇宙噴流、設計高亮度光源，並保障導航精度。

5.7 等效原理：通向廣義相對論

狹義相對論用幾何重建運動學，重力則進一步改變幾何本身。入口是愛因斯坦的 等效原理：在足夠小的局部區域內，均勻重力場的效應與加速參考系的效應無法區分。由此可以理解重力紅移、自由落體的普適性，並走向廣義相對論的場方程。

5.7.1 慣性質量與重力質量：關鍵線索

牛頓力學中有兩種質量：慣性質量 $m_{\mathrm{i}}$ 描述對加速的抗拒，重力質量 $m_{\mathrm{g}}$ 描述重力耦合強度。實驗顯示兩者以極高精度成正比，採用通常單位後相等，因此自由落體運動不依賴物體組成。這種 自由落體普適性 暗示，重力可以理解為以同樣方式影響物質的時空性質。

愛因斯坦將 $m_{\mathrm{g}}=m_{\mathrm{i}}$ 作為出發點，追問：怎樣的理論圖景能自然解釋這一事實？

5.7.2 愛因斯坦的電梯：用加速理解紅移與光線偏折

設想深空中一間最初靜止的小實驗室，也就是電梯。啟動火箭，使其以加速度 $a$ 向上運動。地板上的雷射向上發射；光到達天花板時，天花板已獲得速度，因此接收到的光發生 都卜勒紅移。對於高度差 $h$，頻率的相對變化近似為

$$\frac{\Delta \nu }{\nu }\approx -\frac{ah}{c^2}$$

將 $a$ 替換為 $g$，就得到均勻弱重力場中的 重力紅移：

$$\frac{\Delta \nu }{\nu }\approx -\frac{gh}{c^2}$$

同一實驗室中，再水平發射一束光。在飛行時間 $t\approx \ell /c$ 內，艙室相對光束向上加速，因此艙內觀察者看到光向下彎曲。根據等效原理，光在質量附近也應偏折。電梯思想實驗已經揭示了廣義相對論核心預言的線索。

5.7.3 局部慣性系：重力只能在局部被消去

在任一時空事件附近，可以選擇座標，使一階近似下的物理形式與狹義相對論相同。具體而言，在點 $P$ 存在 局部慣性座標，滿足

$$g_{\mu \nu }(P)={\eta }_{\mu \nu },{\partial }_{\alpha }{g}_{\mu \nu }(P)=0$$

在這種座標下，自由落體在 $P$ 附近局部表現為慣性運動，時鐘也服從狹義相對論，但這只在 局部 成立。重力不能在整個區域被消去，因為度規的二階導數組合形成曲率，體現 潮汐效應。

5.7.4 測地線：自由落體的幾何路徑

在廣義相對論中，自由落體是 測地線運動，即彎曲流形上使固有時取駐值的曲線。運動方程為

$$\frac{d^2{x}^{\mu }}{d{\tau }^2}+{\Gamma }^{\mu }{}_{\alpha \beta }\frac{d{x}^{\alpha }}{d\tau }\frac{d{x}^{\beta }}{d\tau }=0$$

這裡 ${\Gamma }^{\mu }{}_{\alpha \beta }$ 是由 $g_{\mu \nu }$ 構造的克里斯托費爾符號。在平直時空的全域慣性座標中可令其處處為零；彎曲時空中則可透過局部慣性座標在一點將其消去，而不能在有限區域內消除真實曲率。

5.7.5 曲率與潮汐：測地線偏離

兩個鄰近自由落體粒子的間隔為 ${\xi }^{\mu }$、四維速度為 $u^{\mu }$，它們滿足 測地線偏離方程：

$$\frac{D^2{\xi }^{\mu }}{D{\tau }^2}=-R^{\mu }{}_{\nu \alpha \beta }{u}^{\nu }{\xi }^{\alpha }{u}^{\beta }$$

$R^{\mu }{}_{\nu \alpha \beta }$ 為黎曼曲率張量。若 $R^{\mu }{}_{\nu \alpha \beta }=0$，就沒有由曲率產生的相對加速度；初始平行的自由落體世界線保持平行。非零曲率可以使它們會聚或分離，這就是重力的潮汐表現。廣義相對論中的重力由幾何描述，而不是一個普通向量場。

5.7.6 從等效原理到場方程

愛因斯坦尋找滿足以下要求的簡單場方程：

1. 在弱場、低速極限下回到牛頓重力；
2. 與局部能量—動量守恆相容；
3. 具有廣義協變性，即可在任意座標中表達。

結果是 愛因斯坦場方程：

$$G_{\mu \nu }\equiv R_{\mu \nu }-\frac{1}{2}R{g}_{\mu \nu }=\frac{8\pi G}{c^4}{T}_{\mu \nu }$$

也可以在左側加入宇宙學常數 $\Lambda$，成為 $(-\Lambda g_{\mu \nu })$；下面為簡潔起見將其省略。$T_{\mu \nu }$ 是物質與場的能量—動量張量。左側的幾何 $G_{\mu \nu }$ 與右側的源 $T_{\mu \nu }$ 相聯繫，常被概括為：物質告訴時空如何彎曲，時空告訴物質如何運動。

5.7.7 牛頓極限：恢復泊松方程

考慮靜態弱場，其度規分量為

$$g_{00}\approx 1+\frac{2\Phi }{c^2}$$

其中 $\Phi$ 為牛頓重力位勢，滿足 $|\Phi |/c^2\ll 1$。將這一形式代入場方程，並保留 $1/c^2$ 的最低階項，得到

$${\nabla }^2\Phi =4\pi G\rho$$

自由落體軌跡則回到 $\mathbf{a}=-\nabla \Phi$。因此，廣義相對論包含牛頓重力，後者是它的低速、弱場極限。

5.7.8 重力時間膨脹與紅移：靜態場中的固有時

對於不隨時間變化的度規，固定空間座標處的時鐘記錄固有時

$$d\tau =\sqrt{g_{00}}dt$$

在地球附近，$g_{00}\approx 1+2\Phi /c^2$，向上的小勢差為 $\Delta \Phi \approx g\Delta h$。光從下方向上傳播時，上方接收頻率相對於下方發射頻率的變化為

$$\frac{\Delta \nu }{\nu }\approx -\frac{\Delta \Phi }{c^2}\approx -\frac{g\Delta h}{c^2}$$

因此，GPS衛星時鐘由於位於較高的 $\Phi$，其重力效應使走時快於地面同類時鐘，需要預先偏置並持續校正。

5.7.9 加速參考系與林德勒座標：平直時空中的準備

平直時空中的勻加速觀察者可用 林德勒楔區 描述。在 $1+1$ 維情形中，一組方便的座標 $(\rho ,\eta )$ 與慣性座標 $(ct,x)$ 的關係為

$$ct=\rho \sinh \left(\frac{a\eta }{c}\right),x=\rho \cosh \left(\frac{a\eta }{c}\right)$$

在這些座標中，度規寫為

$$d{s}^2={\left(\frac{a\rho }{c^2}\right)}^2{c}^{2}d{\eta }^2-d{\rho }^2$$

不同 $\rho$ 處的時鐘具有不同走時速率，類似重力紅移。等效原理告訴我們，只要實驗室尺度上的曲率效應足夠小，許多加速參考系效應都有相應的重力類比。

5.7.10 光線偏折、延遲與近日點進動預覽

完整的廣義相對論透過度規給出定量預言。對於以碰撞參數 $b$ 掠過質量 $M$ 的光線，弱場偏折角為

$$\Delta \theta \approx \frac{4GM}{c^{2}b}$$

掠過大質量天體的訊號會出現額外的 夏皮羅時間延遲，它與 $g_{00}$ 和空間曲率有關。彎曲時空中的束縛軌道會進動；扣除行星攝動後，水星剩餘的近日點進動與廣義相對論相符。下一節將彙總這些古典檢驗。

5.7.11 等效原理究竟斷言什麼

• 弱等效原理，即自由落體普適性： 自重力可忽略的試驗物體，在同一重力場中具有相同初始條件時，沿相同軌跡運動。
• 愛因斯坦等效原理： 在局部自由落體參考系中，非重力物理回到狹義相對論；局部實驗結果不依賴進行實驗的位置和時刻。

等效原理並不是說重力可以在整個空間消除，也不是說真實潮汐效應只是虛構。它說明，自由落體可以局部消去聯絡所表現的重力效應，而曲率及其潮汐作用仍是不可消除的物理內容。

5.7.12 基本解題工具

• 給定度規 $g_{\mu \nu }$，計算靜止時鐘的 $d\tau =\sqrt{g_{00}}dt$，比較走時速率。
• 在弱場低速條件下，從 $g_{00}\approx 1+2\Phi /c^2$ 讀出 $\Phi$，恢復牛頓極限。
• 追蹤自由落體時，用 ${\Gamma }^{\mu }{}_{\alpha \beta }(g)$ 建立並積分測地線方程，或利用對稱性對應的守恆量，例如由基靈向量導出的量。

小結： 等效原理將重力重新表述為幾何。局部自由落體可消去重力的一階效應，卻不能消去曲率；潮汐作用保留了真實物理資訊。結合局部守恆、協變性和牛頓極限等要求，得到愛因斯坦方程 $G_{\mu \nu }=(8\pi G/c^4)T_{\mu \nu }$。從紅移、光線偏折到軌道時鐘速率，電梯思想實驗最終發展為彎曲時空的完整理論。

5.8 檢驗與前沿

相對論是一套可以接受精密檢驗的物理理論。從水星軌道到重力波和黑洞圖像，它不斷面對新的觀測。本節先回顧古典檢驗，再討論精密測量、強重力和宇宙尺度上的前沿問題。

5.8.1 弱場中的古典檢驗

水星近日點進動。 牛頓重力加上行星攝動仍留下少量額外進動。對於繞質量 $M$ 運動、半長軸為 $a$、偏心率為 $e$ 的束縛軌道，廣義相對論預言每圈進動為

$$\Delta \phi \approx \frac{6\pi GM}{c^{2}a(1-e^2)}$$

光線偏折。 以碰撞參數 $b$ 掠過質量 $M$ 的光線，偏折角為

$$\Delta \theta \approx \frac{4GM}{c^{2}b}$$

這一結果是簡單牛頓粒子估算的兩倍，因為完整的時空幾何同時包含時間與空間部分的貢獻。

重力紅移。 在靜態弱場中，高勢處的鐘走得更快，而向上傳播的光被接收時的頻率低於發射頻率。在地球附近，重力加速度為 $g$，向上的小高度差為 $h$ 時，光的相對頻移為

$$\frac{\Delta \nu }{\nu }\approx -\frac{gh}{c^2}$$

夏皮羅時間延遲。 雷達訊號掠過大質量天體時，比平直空間中的預期更晚到達。對於經過質量 $M$ 附近的適當往返幾何結構，

$$\Delta t\propto \frac{GM}{c^3}\ln \left(\frac{\text{路徑距離}}{\text{碰撞參數}}\right)$$

其中的對數依賴是這一效應的特徵。

5.8.2 等效原理檢驗

若不同組成的不帶電試驗物體以相同方式下落，厄缶參數 就必須極小：

$$\eta \equiv \frac{2|a_1-a_2|}{a_1+a_2}$$

扭秤、原子干涉儀和月球雷射測距等實驗，把 $\eta$ 限制在極小範圍內，支持自由落體普適性及局部等效原理。

5.8.3 雙脈衝星與重力輻射

緻密雙星透過重力波損失軌道能量，使軌道週期縮短。在廣義相對論中，週期變化率依賴 啁啾質量 $M_c$：

$$M_c\equiv \frac{(m_1{m}_2{)}^{3/5}}{(m_1+m_2{)}^{1/5}}$$

對於軌道週期為 $P$ 的近圓雙星，

$$\dot{P}=-\frac{192\pi }{5}{\left(\frac{G{M}_c}{c^3}\right)}^{5/3}{\left(\frac{2\pi }{P}\right)}^{5/3}$$

脈衝星的射電計時可以檢驗這類預言，並約束 $M_c$。對於偏心雙星還需加入相應修正；這些觀測支持廣義相對論的輻射預測。

5.8.4 重力波的直接探測與啁啾

干涉儀測量重力波經過時產生的無因次應變 $h=\Delta L/L$。對於近圓軌道的旋近過程，重力波頻率 $f$ 按以下規律加速變化：

$$\dot{f}=\frac{96}{5}{\pi }^{8/3}{\left(\frac{G{M}_c}{c^3}\right)}^{5/3}{f}^{11/3}$$

由 $f(t)$ 可提取 $M_c$，再結合測得的波幅與波源朝向估計距離，無需傳統宇宙距離階梯。多臺探測器透過三角定位確定波源位置，偏振與相位演化則用於檢驗廣義相對論的波形模板。

5.8.5 黑洞與強重力

定義 史瓦西半徑：

$$r_s\equiv \frac{2GM}{c^2}$$

$r_s$ 附近的光子軌道、最內穩定圓軌道與潮汐作用，可用於探測強場度規。甚長基線干涉測量解析視界尺度的結構；星系中心附近的恆星軌道則透過進動和紅移約束時空結構，並為檢驗黑洞無毛圖景提供途徑。

5.8.6 參考系拖曳與測地進動

旋轉質量會拖曳局部慣性系。在角動量為 $\mathbf{J}$ 的天體附近，陀螺的重力磁進動速率量級為

$${\mathbf{\Omega }}_{\text{LT}}\sim \frac{G\mathbf{J}}{c^2{r}^3}$$

測地進動則來自物體在彎曲時空中的運動。衛星陀螺和軌道升交點的跟蹤可測量這些效應，相關結果在各自精度內支持廣義相對論。

5.8.7 技術中的相對論：時鐘、導航與時間傳遞

時間膨脹與重力紅移是精密工程必須考慮的效應。衛星時鐘利用狹義和廣義相對論進行頻率預調與時間校正，使測距模型在米級乃至更高精度上保持一致。光纖和微波時間傳遞也需要相應修正，攜帶原子鐘的實驗則檢驗了預測的走時差。

5.8.8 參數化後牛頓框架

為了比較廣義相對論與替代理論，弱場可觀測量可用 $\gamma$ 和 $\beta$ 等參數描述。例如，光線偏折正比於 $1+\gamma$，近日點進動依賴 $\gamma$ 與 $\beta$ 的組合。廣義相對論預言 $\gamma =\beta =1$。太陽系和脈衝星觀測對偏離這些值的可能性給出了嚴格限制。

5.8.9 傳播速度、色散與重力子質量

若重力傳播速度不同於 $c$，可透過傳播時間檢驗；若重力子具有質量 $m_g$，通常還會產生頻率依賴的色散。簡單有質量重力子模型滿足

$$E^2=p^2{c}^2+m_g^2{c}^4$$

這使高頻波的群速度高於低頻波。觀測波形和多信使事件對色散及傳播速度偏離給出嚴格限制，結果與以 $c$ 傳播相容。

5.8.10 宇宙學前沿

在最大尺度上，廣義相對論結合物質成分得到膨脹宇宙解。適當的正宇宙學常數 $\Lambda$ 可以驅動加速膨脹。幾何與能量成分透過尺度因子 $a(t)$ 的 弗里德曼方程 聯繫：

$${\left(\frac{\dot{a}}{a}\right)}^2=\frac{8\pi G}{3}\rho -\frac{k{c}^2}{a^2}+\frac{\Lambda c^2}{3}$$

距離—紅移關係、重力透鏡和結構增長共同檢驗宇宙演化中的重力理論；不同探針之間的不一致可能提示模型問題或新的物理。

5.8.11 新物理可能出現在哪裡

• 強場偏離。 黑洞併合後的振鈴泛音可檢驗克爾度規預期的頻譜。
• 等效原理的邊界。 超輕場或暗部門耦合可能引起依賴物質組成的加速度，或基本常數隨時間變化。
• 短距離重力。 桌面實驗在毫米到微米等尺度尋找平方反比定律的偏離。
• 勞侖茲對稱性。 高能宇宙線與精密計時用於尋找重力部門中微小的對稱性破缺。

這些檢驗持續約束替代理論的參數空間，也不斷提高廣義相對論所面對的檢驗精度。

5.8.12 基本解題工具

• 用上面的 $\Delta \phi$ 計算類似水星的進動，並與多圈後的牛頓橢圓比較。
• 對掠過質量體的光路，用本節公式估計偏折角與夏皮羅延遲。
• 給定雙星質量和週期，使用 $\dot{P}$ 與 $\dot{f}$ 預測波形演化和旋近時間。
• 給定兩個時鐘的高度差 $\Delta h$，計算重力紅移，並聯繫衛星導航的時鐘偏置。

小結： 相對論經歷了一個世紀的檢驗：軌道進動、光線偏折和延遲、時鐘速率變化、雙星啁啾與黑洞陰影，都在相應觀測精度內支持其預言。前沿集中在更高精度與更極端條件：實驗室中的微小尺度、宇宙中的兆秒差距尺度，以及 $r_s$ 附近的強重力區域。無論在哪個領域，不變量、光錐和時空度規都是分析的核心工具。