利用留数定理计算∫₀²π 1/(13+5sinθ)dθ时仅考虑一个奇点的原因及代换半径影响的疑问
嗨,我来帮你把这个疑问理清楚~
首先得明确:我们用z = e^{iθ}这个代换时,不是“任意选择”了单位圆,这个代换本身就天然对应单位圆路径——因为对于任意θ,|e^{iθ}| = 1,当θ从0遍历到2π时,z的轨迹就是复平面上的单位圆|z|=1,这是三角函数积分转复变积分的标准代换逻辑,路径是固定的,不是我们随便挑的。
接下来看奇点的位置:
- 奇点
z = -i/5的模是| -i/5 | = 1/5,明显小于1,所以它在单位圆内部; - 奇点
z = -5i的模是| -5i | = 5,远大于1,在单位圆外部。
根据留数定理,闭合曲线积分的结果只和曲线内部的奇点留数有关,外部的奇点对这个积分没有贡献,所以我们自然只需要考虑-i/5这个奇点。
然后回答你关于“更大半径圆”的疑问:
如果强行换一个不同的代换,比如设z = R e^{iθ}(R>1),这时候θ从0到2π对应的z轨迹是半径为R的圆,但这个代换会改变原积分的表达式:sinθ = \frac{z/(R) - R/z}{2i},代入原积分后,分母的多项式结构会和原来完全不同,这时候你计算的已经不是原来的三角函数积分了,而是一个和原问题无关的复积分。
退一步说,就算你想让两个奇点都在积分路径内部,比如取R>5,这时候你做的代换已经脱离了原积分的变量对应关系,计算出来的结果也不会等于原积分的π/6。而原问题的标准代换z=e^{iθ}是唯一能把原三角函数积分转化为单位圆上复积分的合理代换,所以路径必须是单位圆,只能考虑内部的那个奇点。
再验证一下你的计算:
你整理后的积分:
$$\frac{2}{5}\oint_{C}\frac{1}{(z+\frac{i}{5})(z+5i)}dz$$
用柯西积分公式计算z=-i/5处的留数:
$$\operatorname{Res}\left(z=-\frac{i}{5}\right) = \lim_{z \to -i/5} (z + \frac{i}{5}) \cdot \frac{1}{(z+\frac{i}{5})(z+5i)} = \frac{1}{-i/5 +5i} = \frac{1}{24i/5} = \frac{5}{24i}$$
代入后:
$$\frac{2}{5} \cdot 2\pi i \cdot \frac{5}{24i} = \frac{\pi}{6}$$
结果是完全正确的。
备注:内容来源于stack exchange,提问作者noodles

