1 历史背景
1.1 牛顿引力理论的局限性
1.1.1 水星近日点异常问题
19世纪中叶，天文学家观测到水星轨道近日点存在每世纪约5600角秒的进动，其中约5557角秒可由岁差等经典效应解释。然而，仍有约43角秒的剩余进动无法用牛顿引力理论说明。法国天文学家勒维耶曾推测存在一颗未知行星“祝融星”，但多次搜索均未发现。这一长期悬而未决的异常现象，暗示牛顿引力在处理强引力场或高精度计算时存在根本性缺陷。
1.1.2 等效原理的启发
1907年，爱因斯坦在思考引力问题时，偶然想到一个关键想法：如果一个观察者处于自由下落的电梯中，他将感受不到重力。这一思想实验引发了等效原理——引力与加速参考系的惯性力在局部无法区分。这个直觉性的洞察成为通往广义相对论的第一扇门，它暗示引力不再是一种独立的力，而是时空本身的性质。
1.2 从狭义到广义的飞跃
1.2.1 闵可夫斯基时空
1908年，爱因斯坦的数学老师赫尔曼·闵可夫斯基提出，狭义相对论应被理解为四维时空几何中的理论，其中时间和空间被视为统一整体，由不变量“间隔”度量。尽管爱因斯坦最初认为这只是数学游戏，但闵可夫斯基时空提供了将引力几何化的舞台：如果惯性运动对应于四维时空中的直线（测地线），那么有引力的运动就应是弯曲时空中的测地线。
1.2.2 爱因斯坦电梯思想实验
爱因斯坦反复推演“电梯”场景：一个在均匀引力场中静止的电梯，与一个在无引力空间中匀加速上升的电梯完全等价。由此推知，光线在引力场中会弯曲——因为加速系中光线走抛物线，等效原理要求引力场中也相同。这一结论引出了将引力视为时空弯曲的理论框架。
1.3 最终方程式的诞生
1.3.1 与希尔伯特的竞争
1915年秋，爱因斯坦与数学大师大卫·希尔伯特几乎同时独立推导出正确的引力场方程。希尔伯特于11月20日提交论文，爱因斯坦则在11月25日向普鲁士科学院报告。虽然存在优先权争论，但历史共识认为爱因斯坦首先拥有物理思想，希尔伯特则在数学表述上更为优雅。两人后来和解，这场良性竞争加速了理论的诞生。
1.3.2 1915年普鲁士科学院报告
1915年11月，爱因斯坦连续四天在普鲁士科学院发表演讲，逐日报告场方程的推导进展。在最后一场报告中，他正式提出：
\[ R_{\mu u} - \frac{1}{2}g_{\mu u}R = \frac{8\pi G}{c^4} T_{\mu u} \]
该方程立即正确解释了水星近日点进动，计算值与观测值完全吻合。爱因斯坦当时“激动得心跳加速”，宣告了牛顿引力长达二百年的统治时代终结。
2 理论基础
2.1 等效原理
2.1.1 弱等效原理
弱等效原理指所有物体的引力质量与惯性质量严格相等，即自由落体加速度与物体属性无关。伽利略的比萨斜塔实验、牛顿的摆实验已高精度验证这一点，当代实验将其精度推进至10^{-15}量级。该原理是广义相对论的经验根基。
2.1.2 强等效原理
强等效原理扩展了弱版本：在任意引力场中，任何局部物理实验（无论引力还是非引力）都无法区分自由落体参考系与平坦时空中的惯性系。这意味着引力效应可以通过局部自由落体“消除”，而剩余影响则来源于时空的全局弯曲。
2.2 时空几何
2.2.1 度规张量
度规张量 \( g_{\mu u} \) 定义了四维时空中的距离度量。在平坦的闵可夫斯基时空中，度规是 \(\eta_{\mu u} = \text{diag}(-1,1,1,1)\)；在弯曲时空中，度规随位置变化，包含所有引力信息。通过度规，可以计算两点间的间隔、曲线的长度以及物体运动的轨迹。
2.2.2 曲率张量与里奇张量
黎曼曲率张量 \( R^\rho_{\sigma\mu u} \) 完整描述时空弯曲程度，它衡量向量沿闭合路径平行移动后的变化。里奇张量 \( R_{\mu u} \) 是曲率张量的“迹”，提取了曲率的缩并信息，直接出现在爱因斯坦场方程中。曲率张量可视为时空的“引力场强”。
2.2.3 测地线方程
不受外力（纯粹引力）的物体沿时空最短路径运动，即测地线。测地线方程为：
\[ \frac{d^2 x^\mu}{d\tau^2} + \Gamma^\mu_{\rho\sigma} \frac{dx^\rho}{d\tau} \frac{dx^\sigma}{d\tau} = 0 \]
其中 \(\Gamma^\mu_{\rho\sigma}\) 为克氏符，代表度规对位置的导数。该方程可退化至牛顿第二定律（弱场低速近似），但在强场中产生轨道岁差等新效应。
2.3 爱因斯坦场方程
2.3.1 方程表达式与意义
场方程的核心形式为：
\[ R_{\mu u} - \frac{1}{2} g_{\mu u} R = \frac{8\pi G}{c^4} T_{\mu u} \]
左边是时空几何的曲率量，右边是物质能量的分布（含能量、动量、压力等十项）。方程等价于：物质告诉时空如何弯曲，时空告诉物质如何运动。其中系数 \(8\pi G/c^4\) 确保了在弱场低速极限下重构牛顿引力。
2.3.2 宇宙常数项
1917年，爱因斯坦在方程中加入宇宙常数 \(\Lambda\) 项：
\[ R_{\mu u} - \frac{1}{2} g_{\mu u} R + \Lambda g_{\mu u} = \frac{8\pi G}{c^4} T_{\mu u} \]
初衷是为了获得静态宇宙解，但哈勃发现宇宙膨胀后，爱因斯坦撤销了该常数并自称“一生最大的错误”。然而，1998年发现宇宙加速膨胀后，宇宙常数作为暗能量的候选者重新复兴。
2.4 能量-动量张量
能量-动量张量 \( T_{\mu u} \) 是一个2阶对称张量，包含物质的能量密度（\(T_{00}\)）、动量密度（\(T_{0i}\)）、应力与压强（\(T_{ij}\)）。对于理想流体，其形式为 \(T_{\mu u} = (\rho + p/c^2)U_\mu U_\nu + p g_{\mu u}\)。该张量必须满足协变守恒律 \(\nabla_\mu T^{\mu u} = 0\)，这对应着能量动量守恒在弯曲时空中的表达。
3 经典检验与验证
3.1 水星近日点进动
3.1.1 牛顿引力的解释失败
根据牛顿引力，在仅有太阳引力影响时，行星轨道应为闭合椭圆，不存在进动。实际观测中水星每世纪有约5600角秒进动，其中约90%、由其他行星的摄动造成，其余43角秒无法解释。勒维耶的“祝融星”假说被证明失败。
3.1.2 广义相对论的修正值
爱因斯坦计算得到广义相对论修正值为每世纪42.98角秒（现代值约为43角秒），精确匹配剩余进动。其物理机制是：靠近强引力（太阳）时，时空弯曲导致坐标时间变慢，行星沿弯曲测地线运动产生额外进动。此验证是广义相对论的首次重大胜利，至今仍是最严格检验之一。
3.2 光线在引力场中的偏折
3.2.1 1919年日食观测
1919年，亚瑟·爱丁顿率领的团队在日全食期间测量了太阳附近恒星的位置。广义相对论预言光线偏折1.75角秒（是牛顿理论预测值的两倍）。观测结果符合爱因斯坦预言，这一事件被《泰晤士报》头条报道，使爱因斯坦一夜成为全球名人。
3.2.2 引力透镜效应
光线在更强大质量（星系、星系团）附近的弯曲可产生引力透镜效应：背景星系图像被扭曲成弧或环（爱因斯坦环）。该效应已用于研究暗物质分布、测量哈勃常数，甚至发现最遥远的早期星系。引力透镜是当代宇宙学最有力的工具之一。
3.3 引力红移
3.3.1 庞德-雷布卡实验
1959年，庞德和雷布卡在哈佛大学杰弗逊物理楼的22.5米塔上，利用穆斯堡尔效应测量了光子在引力场中上升后的频率变化。蓝色光（从塔顶射向塔底）频率增加（蓝移），红色光（从塔底射向塔顶）频率降低（红移），测量值与广义相对论预言精度达到1%。后续实验已将此检验精度提升至10^{-6}。
3.3.2 引力波的时间延迟
更现代的引力红移测试来自全球导航系统：地球表面与卫星上的原子钟因引力势差异而产生时钟漂移，广义相对论的修正值约为每秒45微秒，若不修正GPS系统会每天累积约10公里的定位误差。实际系统已内置该修正。
3.4 引力波
3.4.1 理论预言与双脉冲星验证
爱因斯坦在1916年预言引力波的存在——时空曲率的扰动以光速传播。1974年，赫尔斯和泰勒发现双脉冲星PSR B1913+16，观测到其轨道周期每年衰减76微秒，精确匹配引力波辐射带走能量的预言。该间接证据获得了1993年诺贝尔物理学奖。
3.4.2 LIGO直接探测及后续事件
2015年9月14日，激光干涉引力波天文台（LIGO）首次直接探测到引力波信号GW150914，源于两个约30倍太阳质量的黑洞合并。该事件证实了百年前预言，并获得2017年诺贝尔物理学奖。截至2025年，已记录到超过100起引力波事件，包括黑洞-黑洞、黑洞-中子星、中子星-中子星并合。
4 重要推论与解
4.1 黑洞
4.1.1 史瓦西解与事件视界
1916年，卡尔·史瓦西给出爱因斯坦场方程的第一个精确解，描述非旋转、不带电球对称质量的时空。解在半径 \(r_s = 2GM/c^2\) 处存在奇点（史瓦西半径），该曲面上时空曲率无限大，任何进入此面的物体（包括光）无法逃逸，形成黑洞的事件视界。当初爱因斯坦本人不相信黑洞的真实存在。
4.1.2 克尔-纽曼黑洞
1963年，罗伊·克尔获得旋转黑洞解；此后纽曼等推广到带电旋转情况。克尔-纽曼黑洞由质量、角动量和电荷三个参数唯一描述（“无毛定理”）。其事件视界与静止极限面之间有一个能量提取区（能层），可通过彭罗斯过程获取旋转能量。
4.1.3 黑洞热力学与霍金辐射
1974年，史蒂芬·霍金将量子力学引入黑洞研究，发现黑洞并非完全黑：在事件视界附近，虚粒子对产生过程中，一个粒子落入黑洞，另一个携带正能逃逸。该“霍金辐射”使黑洞逐渐蒸发，温度为 \(T = \hbar c^3/8\pi G M k_B\)。这建立了黑洞热力学四定律（类似普通热力学），但带来了信息悖论等未解难题。
4.2 宇宙学应用
4.2.1 弗里德曼方程
1922年，亚历山大·弗里德曼基于场方程推导出描述均匀各向同性宇宙膨胀的方程。弗里德曼方程以哈勃参数 \(H\)、宇宙曲率 \(k\) 和物质能量密度 \(\rho\) 为输入，预测了两种可能结局：无限膨胀或再坍缩。它奠定了大爆炸宇宙学的数学基础。
4.2.2 宇宙膨胀与微波背景辐射
1929年，哈勃用红移-距离关系证实了宇宙膨胀。广义相对论预言，早期宇宙的高温热辐射会随着膨胀冷却并保留至今。1965年发现的宇宙微波背景辐射（CMB）正是这个“宇宙婴儿照”，其温度2.725K和各向异性结构极为精确地验证了膨胀宇宙模型。
4.2.3 宇宙学常数与暗能量
1998年，两个独立团队通过Ia型超新星观测发现宇宙在加速膨胀，而非减速。爱因斯坦场方程中的宇宙常数 \(\Lambda\) 可提供负压强推动加速，但常数值远大于量子场论预言。这一被称为“暗能量”的驱动力占宇宙总能量约68%，是当代物理学最大的谜题之一。
4.3 引力波天文学
4.3.1 引力波源的分类
引力波源主要分为四类：致密星并合（双黑洞、双中子星、黑洞-中子星）；连续引力波（旋转不对称的中子星）；爆发引力波（超新星核塌缩、磁星）；随机背景（大爆炸产生的原始引力波）。前两类是目前LIGO等探测器的主要目标。
4.3.2 多信使天文学
引力波与电磁波、中微子结合观测可揭示更多信息。2017年GW170817事件同时探测到引力波和伽马射线暴，确认中子星并合可产生重元素（如金、铂）。多信使观测开创了全新研究范式，将引力波作为宇宙的第五种“信使”（与电磁波、宇宙线、中微子、引力波并列）。
5 现代拓展与未解问题
5.1 广义相对论与量子力学的冲突
5.1.1 重整化问题
广义相对论作为经典引力理论，与量子力学的核心矛盾在于引力无法被重整化：计算高阶量子修正时出现无穷大，无法用有限参数消除。相比之下，电磁力、弱力和强力均可量子化并重整化。这暗示广义相对论可能是某种更基本理论的低能极限。
5.1.2 弦理论与圈量子引力
为解决上述矛盾，主要候选理论包括：弦理论，将粒子视为一维振动弦，自然包含引力子（引力量子），但需额外维度（10维或11维）且至今无实验验证；圈量子引力，直接将时空本身量子化为离散结构，无需额外维度，但预测效应极其微小。两者至今均无决定性实验证据。
5.2 修改引力理论
5.2.1 f(R)引力与标量-张量理论
广义相对论的拉格朗日量 \(R\)（里奇标量）可被替换为任意函数 \(f(R)\)。此类修改在强场或大尺度下产生偏离，可能解释暗物质或暗能量。标量-张量理论则引入额外标量场与度规耦合，如教科书中的布兰斯-迪克理论。这些理论需保持与已知检验兼容必须经过严格参数约束。
5.2.2 莫兹力与暗物质替代方案
MOND（修正牛顿动力学）假说通过调整牛顿引力在低加速度下的行为，成功解释星系旋转曲线。但广义相对论的完整修改版本要求引入几何修正，如TeVeS张量-矢量-标量理论。这些尝试虽然有趣，但面对星系团尺度、CMB等数据时遇到严重困难，暗物质的存在至今仍是主流解释。
5.3 实验前沿
5.3.1 引力波探测器升级
LIGO在2020年代完成升级至A+灵敏度，未来计划建设爱因斯坦望远镜（地下真空管长10公里）和宇宙探测器（太空激光干涉，如LISA），可探测极端质量比旋近、超大质量黑洞并合等。更高精度将检验广义相对论的强场预测是否完全正确。
5.3.2 事件视界望远镜对黑洞成像
2019年，事件视界望远镜（EHT）首次拍摄到M87星系中心超大质量黑洞的阴影图像，直接验证了事件视界的存在。2022年公布银河系中心黑洞Sgr A*照片，进一步支撑广义相对论在极端条件下的有效性。未来EHT将提高分辨率和多频段观测，开展黑洞“电影”与喷流动力学研究。
6 文化影响与趣闻
6.1 科幻作品中的广义相对论
6.1.1 星际穿越中的时间膨胀
克里斯托弗·诺兰电影《星际穿越》中，宇航员靠近大黑洞“盖德”导致1小时=地球7年极端时间膨胀，直接利用广义相对论的强引力场时间延迟效应。影片严格咨询物理学家基普·索恩，黑洞视觉效果来自实际模拟场方程，成为科幻与科学结合的典范。
6.1.2 黑洞模型的流行
广义相对论使黑洞成为最著名的宇宙学概念之一，出现在《黑客帝国》《超时空接触》《神秘博士》等无数作品中。黑洞的引力透镜和吸积盘艺术形象经EHT照片确认后更加深入人心，从学术术语变成大众文化符号。
6.2 学术圈名梗
6.2.1 “爱因斯坦，小心水星！”
在爱因斯坦解释水星近日点进动后，物理界常调侃“水星是广相的唯一亲儿子”。该梗调侃曾有一段时间水星异常是唯一可信的验证，直到现代检验逐步扩展。也流行说法称“水星是逼爱因斯坦搞出广义相对论的幕后黑手”。
6.2.2 物理学家之间的方程竞赛
爱因斯坦与希尔伯特的竞争常被编成段子：希尔伯特宣称“先得到方程者赢”，爱因斯坦则反唇“但已知物理意义者赢”。当1915年双方论文提交后，有传言称希尔伯特私下修改过稿子。不过历史档案显示两人独立工作，而爱因斯坦的物理直觉后来更被推崇。今日学术会议中，仍有人用“希尔伯特方程”还是“爱因斯坦方程”作为冷幽默捉弄后辈。