为什么在显示的估计中 1/|z-a| 和 |z-a| 因子会相互抵消？

适用条件

• 积分路径是从 a 到 z 的直线段。
• 差商的分母是 $z-a$，其绝对值为 $|z-a|$。
• ML 不等式应用于该段上的积分。

理解与推导

1. 写下差商误差项：$\frac{1}{z-a} \int_{[a,z]} f(w) dw - f(a)$。
2. 重写表达式以将各项合并到单个积分下：$\frac{1}{z-a} \int_{[a,z]} (f(w) - f(a)) dw$。
3. 取表达式的绝对值：$\left| \frac{1}{z-a} \int_{[a,z]} (f(w) - f(a)) dw \right|$。
4. 将 ML 不等式应用于积分部分：$\left| \int_{[a,z]} (f(w) - f(a)) dw \right| \le \sup_{w \in [a,z]} |f(w) - f(a)| \cdot |z-a|$。
5. 将此界限代回绝对值表达式：$\frac{1}{|z-a|} \cdot \sup_{w \in [a,z]} |f(w) - f(a)| \cdot |z-a|$。
6. 观察到分子中的 $|z-a|$ 和分母中的 $|z-a|$ 相互抵消，留下 $\sup_{w \in [a,z]} |f(w) - f(a)|$。

例子

讲师指向因子 $\frac{1}{|z-a|}$，然后指向因子 $|z-a|$，说它们相互抵消。黑板上显示 $\frac{1}{|z-a|} \sup_{w \in [a,z]} |f(w)-f(a)| \cdot |z-a| \to 0$。

容易误解的地方

• 假设抵消是一个数学错误或拼写错误。
• 忘记路径 $[a,z]$ 的长度恰好是 $|z-a|$。

观看对应讲解

继续追问

• 在这个复分析讲座中使用的 ML 不等式是什么？
• 如何应用估计引理来界定 $f(w) - f(a)$ 的积分？