复变函数闭合路径积分的分解公式

balabala


给定复函数 f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y) 和微分 dz=dx+idy\mathrm{d}z = \mathrm{d}x + i\mathrm{d}y,闭合路径积分可分解为:

Cf(z)dz=C[u(x,y)+iv(x,y)](dx+idy)\oint_{C}f(z)\mathrm{d}z = \oint_{C}[u(x,y) + iv(x,y)](\mathrm{d}x + i\mathrm{d}y)

分解步骤:

  1. 展开被积表达式
[u+iv](dx+idy)=udx+u(idy)+(iv)dx+(iv)(idy)=udx+iudy+ivdx+i2vdy\begin{aligned} [u + iv](\mathrm{d}x + i\mathrm{d}y) &= u\cdot\mathrm{d}x + u\cdot(i\mathrm{d}y) + (iv)\cdot\mathrm{d}x + (iv)\cdot(i\mathrm{d}y) \\ &= u\mathrm{d}x + iu\mathrm{d}y + iv\mathrm{d}x + i^2v\mathrm{d}y \end{aligned}
  1. 简化虚数单位(利用 i2=1i^2 = -1):
i2vdy=(1)vdy=vdyi^2v\mathrm{d}y = (-1)v\mathrm{d}y = -v\mathrm{d}y

代入得:

udx+iudy+ivdxvdyu\mathrm{d}x + iu\mathrm{d}y + iv\mathrm{d}x – v\mathrm{d}y
  1. 分组实部与虚部
  • 实部组合udxvdyu\mathrm{d}x – v\mathrm{d}y
  • 虚部组合iudy+ivdx=i(udy+vdx)iu\mathrm{d}y + iv\mathrm{d}x = i(u\mathrm{d}y + v\mathrm{d}x)
    合并为:
(udxvdy)+i(udy+vdx)(u\mathrm{d}x – v\mathrm{d}y) + i(u\mathrm{d}y + v\mathrm{d}x)
  1. 分离积分(利用积分线性性质):
C[(udxvdy)+i(udy+vdx)]=C(udxvdy)+iC(udy+vdx)\oint_{C} \left[(u\mathrm{d}x – v\mathrm{d}y) + i(u\mathrm{d}y + v\mathrm{d}x)\right] = \oint_{C}(u\mathrm{d}x – v\mathrm{d}y) + i\oint_{C}(u\mathrm{d}y + v\mathrm{d}x)

最终分解式:

Cf(z)dz=C(udxvdy)+iC(udy+vdx)\boxed{ \oint_{C}f(z)\mathrm{d}z = \oint_{C}(u\mathrm{d}x – v\mathrm{d}y) + i\oint_{C}(u\mathrm{d}y + v\mathrm{d}x) }

几何解释

该分解将复积分转化为两个实第二类曲线积分

  • 实部积分C(udxvdy\oint_C (u\mathrm{d}x – v\mathrm{d}y → 向量场 (u,v)(u, -v) 的环量
  • 虚部积分(u,v)(u, -v) → 向量场 (v,u)(v, u) 的环量

与柯西-黎曼方程的联系

f(z)f(z) 解析时,满足:

ux=vy,uy=vx\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}

此时两个实积分均为零,符合柯西积分定理 Cf(z)dz=0\oint_C f(z)\mathrm{d}z = 0

Filed under

Keywords