理论极限总检查

从可测现象进入

上一课“观测参数反演”留下了对象，本课“理论极限总检查”继续回答：谁用什么钟、尺、光信号或探测器测量什么量。我们处于“计算相对论与综合”主线，先固定观察者、事件、世界线、坐标覆盖、度规签名和单位，再写公式。广义相对论不是符号目录；坐标分量可以改变，因果关系、固有时、曲率不变量和可观测读数必须在坐标变换后保持一致。

对象与形式化陈述

本课把时空看作带Lorentz度规的四维流形。向量属于一点的切空间，一形式属于对偶空间，度规负责升降指标；联络比较不同点的向量，Riemann曲率刻画平行移动不闭合和潮汐效应。若进入物质部分，就同时声明应力能张量的观察者分解。所有全称量词、局域条件、a.e.或近似阶数都写出来，不能把“局域可取惯性系”偷换成“有限区域没有引力”。

教师带你做六步推导

第一步画事件、世界线或几何对象，列已知与未知。第二步从线元、作用量、测地线或场方程的定义出发，不背最终式。第三步利用本课“理论极限总检查”对应的对称性、守恒量或指标缩并，把方程降到可计算形式。第四步逐行检查自由指标、哑指标、量纲和正负号。第五步取平直、低速、弱场、无旋或远场极限，必须回到SR、Newton或Poisson结果。第六步换坐标或计算曲率不变量，区分物理奇点与坐标奇点。

每个等号旁标来源：定义、变分、Killing对称、Bianchi恒等式、近似截断或边界条件。推导若出现“显然”，就把它拆成至少一个张量等式和一个物理解释。数值轨道还要报告约束漂移和步长收敛；漂亮图像不能证明算法正确。

完整数值算例

先算：RK4步长减半误差缩小倍数？ 结果为 16，理由是四阶误差。接着把结果恢复到一致单位，写清G和c是否取1，并给数量级估算。若计算黑洞，比较r、2M、3M与6M；若计算波，检查采样率和应变；若计算宇宙学，区分共动距离、物理距离和光行距离。数值与估算不符时先查单位、弧度和指标位置。

明确反例与条件反查

本课统一做一个具体反查：平直时空改用极坐标时Christoffel符号非零，但Riemann张量仍为零，因此“联络非零就有引力曲率”是错误命题。反过来，在自由落体坐标原点可以令联络为零，有限区域的测地偏离仍由曲率给出。再检查Schwarzschild r=2M：坐标分量发散而Kretschmann标量有限；r=0处不变量发散。这个计算明确区分坐标失败和几何失败。

逐项验收：对象类型是否正确；观察者与坐标是否声明；签名和单位是否一致；对称、真空、静态、弱场或线性条件是否成立；自由指标是否配对；极限是否恢复旧理论；数值误差是否有证据。任一项缺失，就不能引用本课公式。

像上课一样把难点拆开

现在暂停记号，先用一句人话复述：我们不是在研究某一串坐标数字，而是在研究不同观察者对同一几何事实怎样记账。坐标像地图上的经纬度，度规告诉你地图上的小位移对应多长的尺、多久的钟；联络告诉你沿路搬运方向时怎样比较；曲率则回答绕一圈回来是否真的发生了不可消除的变化。三者不能混用。第一次学习时，先只追踪一个事件和一条世界线；确认会算之后，再增加指标。这样每一步都有旧知识作支点。

拿到一道题，先在纸上画四栏。第一栏写物理系统与观察者，第二栏写几何对象及其指标类型，第三栏写对称性和边界条件，第四栏才写待求量。若第三栏给出静态、球对称，就寻找时间平移和转动Killing向量；若只说局域自由落体，就只允许在一个点消去联络，不能擅自令整个邻域曲率为零。把题目语言翻译成这些约束，往往比代数运算更重要。

推导卡住时按逆序诊断。结果量纲不对，先查是否漏了G或c；量纲正确但Newton极限不对，查符号约定和近似阶数；极限正确但换坐标后结论改变，查求出的究竟是分量还是标量；不变量也异常，再回查边界条件和微分方程。这个诊断顺序能把“不会做”变成四个可定位的小问题。

一次完整的学习闭环

合上本页后，先不看答案口述“对象—方程—条件—可观测量”四句话，再独立重写核心推导。随后做一个标准算例和一个故意破坏条件的反例，最后用代码改变参数，观察弱场、远场或小步长极限。第二天只看题目重做；若仍需照抄公式，就回到定义而不是继续堆题。能够向同学解释公式何时失效，才算真正掌握“理论极限总检查”。

前后连接与练习

本课把“观测参数反演”推进到“理论极限总检查”，下一课“本科综合答辩”会复用今天的对象。单选检查唯一边界，多选检查条件组合，计算题检查数量级，推导题必须给至少五步、极限和明确反例。只写公式不解释观察者、条件与失败边界不得分。