关于用柯西积分定理计算∫_C e^(1/z)(C为|z|=1)结果为0的疑惑
关于用柯西积分定理计算
∫_C e^(1/z)(C为|z|=1)结果为0的疑惑 嘿,我完全懂你作为初学者的困惑——刚啃复变函数积分定理时,很容易被条件和结果的矛盾搞晕,咱们一步步拆解:
先理清你的核心矛盾点
你说的没错:e^(1/z)在z=0处确实不解析(因为1/z在z=0无定义,更别说解析了),而曲线C: |z|=1刚好把z=0围在内部,所以直接套用要求“闭区域内处处解析”的柯西积分定理是不成立的,这是你对定理条件的正确理解,完全没问题。
那为什么你的教材说积分结果是0?这里大概率是两种情况:要么教材印错了,要么你可能看错了题目(比如把e^z看成了e^(1/z))——因为∫_C e^z dz的结果确实是0,e^z在整个复平面解析,完全符合柯西积分定理的条件。
那∫_C e^(1/z) dz的正确结果是多少?
我们用洛朗展开来计算,这是处理积分区域内有奇点的积分的常用方法:
- 回忆
e^w的泰勒展开式:e^w = ∑_{n=0}^∞ w^n /n!,对所有复数w都成立。 - 把
w换成1/z,得到e^(1/z)在z≠0处的洛朗展开:e^(1/z) = 1 + 1/z + 1/(2! z²) + 1/(3! z³) + ... = ∑_{n=0}^∞ 1/(n! z^n) - 沿着闭曲线
C: |z|=1逐项积分(洛朗展开在去心邻域内一致收敛,所以可以逐项积分):∫_C e^(1/z) dz = ∫_C [1 + 1/z + 1/(2! z²) + 1/(3! z³) + ...] dz - 现在看每一项的积分结果:
- 对于
∫_C z^k dz,当k ≠ -1时,积分结果为0; - 当
k = -1时,∫_C 1/z dz = 2πi(这是复变函数里的基础积分结果)。
- 对于
- 所以展开式里只有
1/z这一项会贡献非零值,其他项积分都是0,最终结果是:∫_C e^(1/z) dz = 2πi
再回头看你的困惑
你觉得“函数不满足柯西积分定理的条件,为什么积分是0”——其实这个积分的正确结果不是0,所以要么是教材出错,要么是题目被误看了。但你的思路是对的:当积分区域内有奇点时,那个说“积分结果为0”的柯西积分定理版本不能直接用,得用留数定理或者洛朗展开来计算。
备注:内容来源于stack exchange,提问作者ChaoticBeing
相关产品推荐
相关产品推荐

