📖 核心概念 Core Concepts
1. 弱等效原理:自由下落普适性 The Weak Equivalence Principle (WEP)
弱等效原理 (weak equivalence principle, WEP) 又称 Universality of Free Fall (自由下落普适性):在相同引力场中,任何检验粒子(无论成分、质量、内部结构)的加速度都相同。伽利略传说中比萨斜塔的实验、牛顿的单摆实验、Eötvös 1908 年的扭秤实验,直至 2017 年 MICROSCOPE 卫星,都证实了下式定义的 Eötvös 比值极小:
\[ \boxed{\;\eta\;\equiv\;2\,\frac{|a_1-a_2|}{|a_1+a_2|}\;\lesssim\;10^{-15}\quad\text{(MICROSCOPE 2017, Ti vs Pt)}\;} \]
意思是:钛与铂在地球引力场中下落的加速度之差小于百亿亿分之一。这强烈提示——引力质量 \(m_g\)(出现在 \(F_g=m_g g\) 中)与惯性质量 \(m_i\)(出现在 \(F=m_i a\) 中)严格相等:\(m_g=m_i\)。这一点不能由牛顿理论解释,它是广义相对论的实验基石。
等效原理的另一种表述(爱因斯坦称之为「我最快乐的想法」):一个在均匀引力场中自由下落的密封舱里的观察者,感觉不到引力——舱内所有物体相对舱体都漂浮着,与外太空中无引力的惯性系局部无法区分 (locally indistinguishable)。
weak equivalence principle (弱等效原理), universality of free fall (自由下落普适性), Eötvös ratio \(\eta\) (Eötvös 比值), gravitational mass \(m_g\) vs inertial mass \(m_i\) (引力质量与惯性质量)
2. 爱因斯坦与强等效原理 The Einstein & Strong Equivalence Principles
WEP 只谈力学。爱因斯坦把它推广到全部物理(电磁、核力……),给出:
- 爱因斯坦等效原理 (Einstein Equivalence Principle, EEP):在引力场中任一点局部地总能找到一个自由下落的局部惯性系 (local inertial frame, LIF),在其中一切非引力物理定律都取其狭义相对论形式。等价地:EEP = WEP + 局部洛伦兹不变性 (local Lorentz invariance, LLI——实验室取向/速度不影响局部实验) + 局部位置不变性 (local position invariance, LPI——谱线引力频移 \(\Delta\nu/\nu\) 与发射体种类无关)。
- 强等效原理 (Strong Equivalence Principle, SEP):把自引力天体(恒星、黑洞)也包含在「下落普适」中。SEP 是广义相对论独有的(其他引力理论如 Brans–Dicke 通常违反 SEP)。脉冲双星 PSR J0348+0432 等观测检验了 SEP。
本章主要讨论 EEP。关键点:等效是局部的——只在一点(严格说是无穷小邻域)成立。延展区域内必出现潮汐效应(第 9 节),它是真正的引力几何信号,无法消除。
Einstein Equivalence Principle EEP (爱因斯坦等效原理), Strong Equivalence Principle SEP (强等效原理), local inertial frame LIF (局部惯性系), local Lorentz invariance LLI (局部洛伦兹不变性), local position invariance LPI (局部位置不变性)
3. 引力不是力,是时空几何 Gravity = Spacetime Geometry, Not a Force
等效原理的深刻推论:既然自由下落可以局部「消除」引力,引力就不能是牛顿意义上的「力」——你总不能通过换参考系就把电磁力或摩擦力变没。引力的本质是时空几何的弯曲:粒子在弯曲时空中走「直」的路径(测地线),看上去却被我们这些坐标观察者解读为「被引力拉弯」。
类比:地球表面是二维球面(弯曲)。两架沿「直线」飞行的飞机(在各自局部看是直的,即沿大圆 great circle 飞行),从赤道同一点出发、向北平行飞行,最终会在北极汇合——它们之间的距离随时间减小。从「平」的地图(墨卡托投影)上看,仿佛两机受了一个相互吸引的「力」;实际上根本没有力,它们各自沿球面几何上的「直线」走,是曲面本身的曲率让它们汇合。引力对物体轨迹的作用与此完全类似。
所以广义相对论的纲领:物质告诉时空如何弯曲;弯曲的时空告诉物质如何运动(Wheeler)。本章只讨论后者——给定时空几何(度规),粒子如何运动。下章再讨论前者(爱因斯坦方程)。
geometry not force (几何而非力), geodesic (测地线), great circle (大圆), embedding diagram (嵌入图), Wheeler's slogan (惠勒纲领)
4. 度规张量与原时 The Metric Tensor \(g_{\mu\nu}\) & Proper Time
时空中一切距离信息都编码在一个对称的 \(4\times4\) 张量——度规张量 \(g_{\mu\nu}=g_{\nu\mu}\)(metric tensor)里。它给出原时 (proper time, 检验粒子自身时钟所记录的时间):
\[ \boxed{\;c^{2}\,\mathrm{d}\tau^{2}\;=\;g_{\mu\nu}\,\mathrm{d}x^{\mu}\,\mathrm{d}x^{\nu}\;=\;g_{\mu\nu}\,\dv{x^{\mu}}{\lambda}\dv{x^{\nu}}{\lambda}\,\mathrm{d}\lambda^{2}\;} \]
采用 mostly-minus 符号差 \((+,-,-,-)\):类时世界线(粒子)\(\mathrm{d}\tau^{2}>0\),类光(光子)\(\mathrm{d}\tau=0\),类空 \(\mathrm{d}\tau^{2}<0\)。一条世界线 \(x^{\mu}(\lambda)\) 的累计原时是
\[ \tau_{AB}\;=\;\int_{A}^{B}\mathrm{d}\tau\;=\;\frac{1}{c}\int_{\lambda_A}^{\lambda_B}\!\sqrt{\,g_{\mu\nu}\,\dot x^{\mu}\dot x^{\nu}\,}\;\mathrm{d}\lambda. \]
度规就是广义相对论的「引力势」:\(g_{\mu\nu}\) 在每点的取值告诉你该处时空的几何(间隔的尺与钟)。自由粒子选择使原时取极值(通常极大值)的路径——这就是测地线(第 7 节)。
度规分量依赖坐标系:同一个时空,用不同坐标(球面、笛卡尔、各向同性、自由下落……)写出来的 \(g_{\mu\nu}\) 形式不同,但时空几何本身不变(坐标规范自由度)。
metric tensor \(g_{\mu\nu}\) (度规张量), proper time \(\tau\) (原时), line element \(\mathrm{d}s^{2}\) (线元), mostly-minus signature (mostly-minus 符号差), coordinate freedom (坐标自由度)
5. 闵可夫斯基度规(狭义相对论回顾)Review: Minkowski Metric (Special Relativity)
无引力(或局部惯性系下)时空是平直的,度规为闵可夫斯基度规 (Minkowski metric):在笛卡尔坐标 \((ct,x,y,z)\) 下
\[ \boxed{\;\mathrm{d}s^{2}\;=\;c^{2}\mathrm{d}t^{2}-\mathrm{d}x^{2}-\mathrm{d}y^{2}-\mathrm{d}z^{2}\;=\;\eta_{\mu\nu}\,\mathrm{d}x^{\mu}\mathrm{d}x^{\nu},\qquad \eta_{\mu\nu}=\mathrm{diag}(+1,-1,-1,-1)\;} \]
对应洛伦兹变换 (Lorentz transformation) 保持 \(\eta_{\mu\nu}\) 形式不变。沿速度 \(\vec{v}\) 运动的粒子,原时与坐标时关系为时间膨胀:
\[ \mathrm{d}\tau\;=\;\sqrt{1-\dfrac{v^{2}}{c^{2}}}\;\mathrm{d}t\;\equiv\;\frac{\mathrm{d}t}{\gamma},\qquad \gamma=\frac{1}{\sqrt{1-v^{2}/c^{2}}}. \]
闵可夫斯基时空中两点之间的测地线是直线 \(x^{\mu}(\tau)=u^{\mu}\tau+x_0^{\mu}\)(\(u^{\mu}\) 是四速,常矢量),相应于匀速直线运动——正是牛顿第一定律。所以狭义相对论是广义相对论在「无曲率」极限下的特例。
注意:用球坐标写闵可夫斯基度规(描述平直时空)时形式复杂:\(\mathrm{d}s^{2}=c^{2}\mathrm{d}t^{2}-\mathrm{d}r^{2}-r^{2}\mathrm{d}\theta^{2}-r^{2}\sin^{2}\!\theta\,\mathrm{d}\phi^{2}\)。度规分量随 \(r\) 变化,但时空仍平直(曲率张量为零)——这是「坐标非平凡但时空平直」的典型例子(详见第 10 节)。
Minkowski metric \(\eta_{\mu\nu}\) (闵可夫斯基度规), flat spacetime (平直时空), Lorentz transformation (洛伦兹变换), time dilation \(\gamma\) (时间膨胀), special relativity review (狭义相对论回顾)
6. 弯曲时空一例:施瓦氏度规 A First Curved Example: Schwarzschild Metric
球对称、无转动、无电荷的质量 \(M\)(如太阳、地球外)外部的时空由施瓦氏度规 (Schwarzschild metric, 1916) 描述:
\[ \boxed{\;\mathrm{d}s^{2}\;=\;\Bigl(1-\dfrac{r_s}{r}\Bigr)c^{2}\mathrm{d}t^{2}\;-\;\Bigl(1-\dfrac{r_s}{r}\Bigr)^{-1}\!\mathrm{d}r^{2}\;-\;r^{2}\mathrm{d}\Omega^{2},\qquad r_s=\dfrac{2GM}{c^{2}}\;} \]
其中 \(\mathrm{d}\Omega^{2}=\mathrm{d}\theta^{2}+\sin^{2}\!\theta\,\mathrm{d}\phi^{2}\),而 \(r_s=2GM/c^{2}\) 是施瓦氏半径 (Schwarzschild radius),对应黑洞的视界。对地球 \(r_s\approx 8.87\,\mathrm{mm}\),对太阳 \(r_s\approx 2.95\,\mathrm{km}\)。\(\sqrt{1-r_s/r}\) 因子告诉我们:在 \(r\) 处的坐标钟 \(t\) 与原时 \(\tau\) 不同步——靠近 \(M\) 的钟走得慢(引力红移)。本章只把施瓦氏度规作为示例;下章会从爱因斯坦方程推导它。
Schwarzschild metric (施瓦氏度规), Schwarzschild radius \(r_s=2GM/c^{2}\) (施瓦氏半径), gravitational time dilation (引力时间膨胀), event horizon (事件视界)
7. 测地线:弯曲时空中的「直线」Geodesics: Straightest Paths in Curved Spacetime
自由粒子(不受非引力作用)的世界线使原时取极值 \(\delta\!\int\mathrm{d}\tau=0\)。变分给出测地线方程 (geodesic equation):
\[ \boxed{\;\dv[2]{x^{\mu}}{\tau}+\Gamma^{\mu}_{\;\alpha\beta}\,\dv{x^{\alpha}}{\tau}\dv{x^{\beta}}{\tau}=0\;} \]
其中 克里斯托费尔符号 (Christoffel symbols / 连络系数) 完全由度规及其导数决定:
\[ \Gamma^{\mu}_{\;\alpha\beta}\;=\;\frac{1}{2}\,g^{\mu\nu}\Bigl(\partial_{\alpha}g_{\beta\nu}+\partial_{\beta}g_{\alpha\nu}-\partial_{\nu}g_{\alpha\beta}\Bigr). \]
测地线方程的几何意义:粒子在每个局部惯性系里都瞬时地匀速直线运动,但从一点到另一点把所有这些局部「直」段拼起来,在弯曲时空中就形成了曲线。这正是「最直的可能路径」(straightest possible path) 的含义——它局部看是直的,整体看却是弯的。地球绕太阳公转就是这样的测地线:地球并未被任何「力」拉住,它只是在弯曲时空中沿测地线自由下落,那个测地线恰好是闭合的椭圆。
geodesic equation (测地线方程), Christoffel symbols \(\Gamma^{\mu}_{\;\alpha\beta}\) (克里斯托费尔符号), connection coefficients (连络系数), straightest possible path (最直路径)
8. 测地线 = 牛顿第一定律的推广 Geodesic as Generalization of Newton's 1st Law
牛顿第一定律:「不受力的粒子做匀速直线运动」——平直时空中测地线方程的解。弯曲时空中,「不受力的粒子」沿测地线走,而测地线在曲率存在时表现为曲线。所以测地线方程就是把牛顿第一定律推广到弯曲时空。在弱场、低速极限下(见推导 1.B),测地线方程退化为牛顿第二定律:
\[ \dv[2]{\vec{x}}{t}\;=\;-\vec{\nabla}\Phi\quad\Longleftrightarrow\quad\vec{F}=m\vec{a}\quad(\Phi=\text{牛顿引力势}). \]
这表明:「引力 = 时空曲率」在弱场下重现牛顿引力,而在强场、高速下给出可观测的修正(水星近日点进动、光线偏折、引力波……,下两章详谈)。
Newton's first law (牛顿第一定律), Newtonian limit (牛顿极限), weak-field slow-motion (弱场低速)
9. 潮汐力:曲率的指纹 Tidal Forces — The Fingerprint of Curvature
等效原理告诉我们:在一点可以选自由下落系消除引力。但在延展区域(即使很小),不同位置的「下落方向」并不一致——这就是潮汐效应。考察一束最初静止、彼此相近的自由下落检验粒子。在平直时空中它们永远保持相对静止;在弯曲时空中它们的相对距离随时间变化——相对加速度正比于黎曼曲率张量 (Riemann curvature tensor) \(R^{\mu}_{\;\nu\alpha\beta}\):
\[ \boxed{\;\Delta a^{i}\;=\;-c^{2}\,R^{i}_{\;0j0}\,\Delta x^{j}\quad(i,j=1,2,3)\;} \]
这是测地偏移方程 (geodesic deviation equation) 的非相对论极限。关键点:
- 潮汐效应是内禀曲率的可观测表现,不能通过任何坐标变换消除(不像「引力」本身可被自由下落消除)。
- 对球对称质量 \(M\) 的牛顿极限:径向方向被拉伸(\(\Delta a_r=+2GM\,\Delta r/r^{3}\)),横向被挤压(\(\Delta a_\perp=-GM\,\Delta r/r^{3}\))。这就是月球对地球海洋的潮汐隆起的成因(两个隆起:朝月一侧 + 背月一侧)。
- 测量一束检验粒子的相对加速度,就能探测曲率——这是「无引力(局部)但有曲率(整体)」的最佳判据。
tidal force (潮汐力), Riemann curvature tensor \(R^{\mu}_{\;\nu\alpha\beta}\) (黎曼曲率张量), geodesic deviation (测地偏移), intrinsic curvature (内禀曲率)
10. 坐标选择与规范自由度 Coordinate Choices & Gauge Freedom
广义相对论是广义协变 (general covariance) 的:物理结果与坐标选择无关,但具体计算中合理选坐标能极大简化问题。常见坐标选择:
- 施瓦氏坐标 \((t,r,\theta,\phi)\):球对称问题自然选择;\(r\) 是这样定义的「面积半径」,使 \(4\pi r^{2}\) 等于球面积。在视界附近有坐标奇点(不是物理奇点)。
- 各向同性坐标 (isotropic coordinates):把三个空间分量尺度统一,便于讨论宇宙学。
- 局部惯性系 (local inertial frame, LIF):在某点把度规化为 \(\eta_{\mu\nu}\)、克里斯托费尔符号为零——等效原理的数学实现。只在该点有效,二阶导(曲率)无法消除。
- 自由下落 / 共动坐标 (comoving coordinates):随检验粒子一起下落,沿其世界线局部像闵可夫斯基。
重要:「度规分量是位置的函数」\(\neq\)「时空弯曲」。判断是否真有曲率要用黎曼张量(度规的二阶导数组合)。球坐标下的平直时空度规有非平凡 \(g_{\mu\nu}(r)\),但 \(R^{\mu}_{\;\nu\alpha\beta}\equiv0\)。
general covariance (广义协变), Schwarzschild coordinates (施瓦氏坐标), isotropic coordinates (各向同性坐标), local inertial frame LIF (局部惯性系), coordinate singularity vs physical singularity (坐标奇点与物理奇点)
🔭 推导 Derivation
推导 1.A — 从原时极值导出测地线方程 Geodesic Equation from Extremal Proper Time
步骤 1(作用量):粒子的世界线 \(x^{\mu}(\lambda)\) 的累计原时为
\[ \tau_{AB}=\frac{1}{c}\int_{\lambda_A}^{\lambda_B}\!L\,\mathrm{d}\lambda,\qquad L\equiv\sqrt{g_{\alpha\beta}\,\dot x^{\alpha}\dot x^{\beta}},\qquad \dot x^{\mu}\equiv\dv{x^{\mu}}{\lambda}. \]
步骤 2(欧拉–拉格朗日方程):原时极值 \(\delta\!\int L\,\mathrm{d}\lambda=0\) 给出欧拉–拉格朗日方程
\[ \dv{}{\lambda}\Bigl(\frac{\partial L}{\partial\dot x^{\mu}}\Bigr)-\frac{\partial L}{\partial x^{\mu}}=0. \]
步骤 3(以原时本身为参数):取 \(\lambda=\tau\)(对类时测地线总可以),则 \(g_{\alpha\beta}\dot x^{\alpha}\dot x^{\beta}=c^{2}\) 是常数(沿世界线)。计算偏导:
\[ \frac{\partial L}{\partial\dot x^{\mu}}=\frac{1}{2L}\cdot 2\,g_{\mu\beta}\dot x^{\beta}=\frac{g_{\mu\beta}\dot x^{\beta}}{L},\qquad \frac{\partial L}{\partial x^{\mu}}=\frac{1}{2L}\,(\partial_{\mu}g_{\alpha\beta})\,\dot x^{\alpha}\dot x^{\beta}. \]
步骤 4(代入化简):代入 E–L 方程并两边乘 \(L\):
\[ \dv{}{\tau}\bigl(g_{\mu\beta}\dot x^{\beta}\bigr)-\frac{1}{2}(\partial_{\mu}g_{\alpha\beta})\dot x^{\alpha}\dot x^{\beta}=0. \]
展开第一项:\(g_{\mu\beta}\ddot x^{\beta}+(\partial_{\gamma}g_{\mu\beta})\dot x^{\gamma}\dot x^{\beta}-\tfrac{1}{2}(\partial_{\mu}g_{\alpha\beta})\dot x^{\alpha}\dot x^{\beta}=0\)。把 \(\dot x^{\beta}\) 写成 \(\dv{x^{\beta}}{\tau}\),并利用度规对称性合并 \(\dot x^{\alpha}\dot x^{\beta}\) 项(中括号内 \(\alpha,\beta\) 对称):
\[ g_{\mu\beta}\,\ddot x^{\beta}+\frac{1}{2}\bigl(\partial_{\alpha}g_{\mu\beta}+\partial_{\beta}g_{\mu\alpha}-\partial_{\mu}g_{\alpha\beta}\bigr)\dot x^{\alpha}\dot x^{\beta}=0. \]
步骤 5(升指标得测地线方程):两边乘逆度规 \(g^{\mu\nu}\) 求和,并利用 \(g^{\mu\nu}g_{\mu\beta}=\delta^{\nu}_{\;\beta}\):
\[ \boxed{\;\ddot x^{\nu}+\underbrace{\frac{1}{2}g^{\nu\mu}\bigl(\partial_{\alpha}g_{\mu\beta}+\partial_{\beta}g_{\mu\alpha}-\partial_{\mu}g_{\alpha\beta}\bigr)}_{\displaystyle\Gamma^{\nu}_{\;\alpha\beta}}\dot x^{\alpha}\dot x^{\beta}=0\quad\Longleftrightarrow\quad \dv[2]{x^{\nu}}{\tau}+\Gamma^{\nu}_{\;\alpha\beta}\dv{x^{\alpha}}{\tau}\dv{x^{\beta}}{\tau}=0.\;} \]
这正是测地线方程,且同时给出克里斯托费尔符号的表达式。注意 \(\Gamma^{\nu}_{\;\alpha\beta}\) 是度规一阶导数的组合,而曲率(黎曼张量)含二阶导数——故克里斯托费尔符号本身可被局部坐标变换消除(局部惯性系),而曲率不能。
推导 1.B — 牛顿极限:测地线方程 → 牛顿第二定律 Newtonian Limit of the Geodesic Equation
步骤 1(弱场低速假设):取静态弱场度规 \(g_{00}=-(1+2\Phi/c^{2})\)(符号差 \(-,+,+,+\),本章正文用 \((+,-,-,-)\),等价讨论;此处为与传统教材一致采用 mostly-plus)……
为避免符号混淆,采用本章统一的 mostly-minus 符号差 \((+,-,-,-)\)。设粒子低速 \(\dv{x^{i}}{\tau}\ll c\dv{t}{\tau}\),所以测地线方程中 \(\alpha=\beta=0\) 项主导:
\[ \dv[2]{x^{\mu}}{\tau}\;\approx\;-\Gamma^{\mu}_{\;00}\Bigl(\dv{x^{0}}{\tau}\Bigr)^{2}=-\Gamma^{\mu}_{\;00}\,c^{2}\Bigl(\dv{t}{\tau}\Bigr)^{2}. \]
步骤 2(度规的弱场形式):取 \(g_{00}=1+2\Phi/c^{2}\)(\(|\Phi|/c^{2}\ll1\)),空间分量近似 \(g_{ij}\approx-\delta_{ij}\)。则 \(\Gamma^{i}_{\;00}=\tfrac{1}{2}g^{ij}(-\partial_{j}g_{00})=-\tfrac{1}{2}\delta^{ij}\partial_{j}(1+2\Phi/c^{2})=-\partial_{i}\Phi/c^{2}\)(用到 \(g^{ij}\approx-\delta^{ij}\),符号:\(-\delta^{ij}\cdot(-\partial_{j}(2\Phi/c^{2}))\cdot\tfrac{1}{2}=\partial_{i}\Phi/c^{2}\)……
步骤 3(小心符号):仔细:\(g_{ij}=-\delta_{ij}\Rightarrow g^{ij}=-\delta^{ij}\)。代入公式:\(\Gamma^{i}_{\;00}=\tfrac{1}{2}g^{i\nu}(\partial_{0}g_{0\nu}+\partial_{0}g_{0\nu}-\partial_{\nu}g_{00})\)。静态 \(\partial_{0}=0\),所以 \(\Gamma^{i}_{\;00}=-\tfrac{1}{2}g^{ij}\partial_{j}g_{00}=-\tfrac{1}{2}(-\delta^{ij})(2\partial_{j}\Phi/c^{2})=+\partial_{i}\Phi/c^{2}\)。
步骤 4(代入):空间分量方程:
\[ \dv[2]{x^{i}}{\tau}\;\approx\;-\Gamma^{i}_{\;00}\,c^{2}\Bigl(\dv{t}{\tau}\Bigr)^{2}\;=\;-\partial_{i}\Phi\,\Bigl(\dv{t}{\tau}\Bigr)^{2}. \]
低速下 \(\dv{t}{\tau}\to 1\),左边 \(\dv[2]{x^{i}}{\tau}\to\dv[2]{x^{i}}{t}\)。故
\[ \boxed{\;\dv[2]{\vec{x}}{t}\;=\;-\vec{\nabla}\Phi\quad\Longleftrightarrow\quad m\,\ddot{\vec{x}}=-m\,\vec{\nabla}\Phi=\vec{F}_{\text{Newton}}\;} \]
步骤 5(结论):测地线方程在弱场低速极限下精确还原牛顿第二定律加牛顿引力。两个要点:(1) 引力势 \(\Phi\) 编码在度规的时间分量 \(g_{00}=1+2\Phi/c^{2}\) 中——「时间弯曲」主导了日常引力(苹果下落、行星公转);(2) 空间曲率(\(g_{ij}\) 偏离 \(-\delta_{ij}\))贡献小,但对光线偏折有可观测效应(下章)。