留数定理

从物理问题开始

这一节不从公式清单开始，而从一个需要预测的场或演化问题开始：已知区域、源、材料参数以及可观测量，怎样判断解是否存在、是否唯一，并把它算出来？我们聚焦 留数定理。先把未知量、独立变量、单位、定义域和边界写清，再决定可使用的数学工具。唯一锚点 MM-03-05-A 保证本节不是换标题的模板。

物理语言与数学语言必须来回翻译。源项描述什么，算子测量什么变化，初值或边值限制什么自由度，解的正则性又对应怎样的物理可接受性？以留数定理为核心，把对象定义、算子作用、边界或初值、存在唯一性与可计算表达写在同一条推理链上。如果这些对象没分清，即使积分或微分算对，也可能是在解另一个问题。唯一锚点 MM-03-05-B。

第一步：对象、假设与定义

第一步给出定义并检查类型。标量、矢量、张量、函数、泛函、算子和分布不能混用；局部等式、积分恒等式和边界条件也不是同一层次。把定义改写成“输入—输出—成立条件”三栏，再用一个满足例和一个反例确认边界。对于留数定理，至少写出定义域、参数范围、光滑性或可积性要求。唯一锚点 MM-03-05-C。

接着做量纲、极限和对称性检查。令一个参数趋零、趋大或令源消失，看表达式能否回到熟悉情形；若坐标旋转、平移或尺度改变，真正的物理量应按明确规则变化。这个步骤常能在长推导前发现漏系数、错符号与错误边界。唯一锚点 MM-03-05-D。

第二步：把推导拆成可验收的小步

随后从定义出发，每次只做一种变换：代入、积分分部、换序、展开、取极限或使用一个定理。每一步旁边写允许它的条件，例如一致收敛、边界项消失、自伴性、解析性或函数属于相应空间。不能用“显然”掩盖关键交换，也不能在推导末尾才补假设。唯一锚点 MM-03-05-E。

本节的微型定量例采用参数 5 与 4，先形成可手算尺度 5×4=20，再把它嵌入留数定理的真实表达式。数字不是为了凑题，而是用来固定符号约定、单位和数量级。完成手算后必须回代原方程、初值与边界，并计算残差而不是只看最后一行。唯一锚点 MM-03-05-F。

第三步：Worked example

例题按五栏完成：问题数据、方法选择、逐步推导、结果复核、适用边界。活动是：手算一个留数定理基准例，再用符号或数值计算复核残差、边界和量纲。先给解析基准或低维基准，再让计算程序处理同一输入；解析与数值不一致时，优先检查归一化、网格、截断、变换约定和边界离散。唯一锚点 MM-03-05-G。

例如把输入拆成一个满足齐次边界的部分和一个承担非齐次数据的提升函数，常能把复杂边界变成标准谱问题；但提升函数不唯一，最终物理解应与选择无关。这个小技巧连接本章与后续波动、热、Poisson、Green函数和变分章节。唯一锚点 MM-03-05-H。

第四步：数值或符号验证

验证脚本必须输出确定性数值、系数、残差或离散向量，不能依赖网络和随机墙钟。至少四组测试覆盖零源、常量或最低模态、符号改变和尺度增大；若方法涉及级数或网格，还要记录截断阶数、步长与收敛趋势。程序给出答案只是证据之一，误差为什么缩小仍需数学解释。唯一锚点 MM-03-05-I。

数值误差要拆成建模误差、离散误差、截断误差、舍入误差和迭代误差。只报一个浮点数没有意义；应同时报告单位、有效数字、残差范数及边界误差，并用加密网格、增加模态或改变精度做至少一次独立复核。唯一锚点 MM-03-05-J。

易错点、反例与边界

边界是：改变第3章第5节的区域、正则性、收敛域或边界类型时，原结论必须重新检查。常见误区包括把形式展开当作收敛证明、把点态等式当作范数收敛、忽略分支和取向、把任意边界数据都当相容、把存在当唯一、把数值稳定当物理正确。为其中一项构造最小反例，比再背一遍公式更有效。唯一锚点 MM-03-05-K。

还要区分局部与全局：局部解析不保证全域单值，局部守恒需要恰当边界才能推出整体守恒，局部极值也未必是全局最小。每次引用定理时，在结论后补一句“若去掉哪个条件会失败”，这就是可迁移理解。唯一锚点 MM-03-05-L。

在线练习与严格验收

本节绑定单选、多选、计算和推导题；部分课时再绑定可运行 Python 验证。单选检查方法选择，多选检查假设链，计算题固定量纲和数值，推导题按对象2分、关键变换3分、边界与验证3分、表达2分公开量表评分。唯一锚点 MM-03-05-M。

下课前闭卷自检

最后闭卷回答七问：对象是什么；算子输入输出是什么；需要哪些正则性；初边值怎样进入；推导的关键交换凭什么；如何构造反例；怎样用残差或守恒验收。若只能复述公式而不能解释条件，回到第一步重建问题。唯一锚点 MM-03-05-N。

通过标准不是“看懂”，而是能从一个新物理问题独立选择方法、完成推导、运行验证、解释误差并声明失效条件。把本节结果向前连接线性代数与概率，向后连接分析力学、电动力学、量子力学和计算物理。唯一锚点 MM-03-05-O。