关于单位圆周上∫_{|z|=1} ze^{2z}dz的积分计算疑问
嘿,我看到你在算这个复积分的时候有点困惑,咱们来一步步拆解问题出在哪~
首先得明确:这个积分是沿闭合单位圆周的曲线积分,不是实轴上的定积分,所以你直接套用实分析里的分部积分、把积分边界换成0到2π是有问题的——因为z是复变量,沿单位圆周走一圈后,起点和终点是同一个点(比如取z=1,对应参数θ=0和θ=2π时,z都是$e{i0}=e{i2π}=1$),可不是实轴上从0到2π的区间哦。
咱们从两个角度验证正确结果:
方法1:柯西积分定理
函数$ze^{2z}$在整个复平面上都是解析的(指数函数和多项式都是全纯函数,乘积也保持全纯性),而单位圆周是复平面内的闭合曲线,它内部的区域是单连通的,且函数在这个区域及边界上都解析。根据柯西积分定理,这类闭合曲线的积分结果直接为0。
方法2:原函数计算(修正你的分部积分思路)
你用分部积分找原函数的方向是对的,咱们重新来:
设$u=z$,$dv=e{2z}dz$,则$du=dz$,$v=\frac{1}{2}e{2z}$,通过分部积分可得原函数为:
$$F(z) = \frac{1}{2}ze^{2z} - \frac{1}{4}e^{2z}$$
对于闭合曲线积分,结果等于原函数在终点与起点的差值。因为单位圆周是闭合的,起点$z_{\text{start}}$和终点$z_{\text{end}}$是同一个点(比如都是z=1),所以:
$$F(z_{\text{end}}) - F(z_{\text{start}}) = 0$$
你之前的问题根源
你错误地把z当成了实变量,将积分边界设为0到2π,但这完全不是单位圆周的起点和终点——单位圆周上的点都是模长为1的复数,和实轴上的0、2π没有关系。这就导致你后续的计算从边界选择开始就偏离了正确方向。
总结一下:你的分部积分找原函数的思路没问题,但边界选择错误;这个积分的正确结果是0,无论是用柯西积分定理还是原函数计算都能得到这个结论。
备注:内容来源于stack exchange,提问作者MyMathYourMath

