请输入您要查询的字词:

 

单词 ProofOfCauchyResidueTheorem
释义

proof of Cauchy residue theorem


Being f holomorphic by Cauchy-Riemann equationsMathworldPlanetmath the differential formMathworldPlanetmath f(z)dz is closed. So by the lemma about closed differential forms on a simple connected domain we know that the integral Cf(z)𝑑z is equal to Cf(z)𝑑z if C is any curve which is homotopic to C.In particular we can consider a curve C which turns around the points aj along small circles and join these small circles with segments. Since the curve C follows each segment two times with opposite orientation it is enough to sumthe integrals of f around the small circles.

So letting z=aj+ρeiθ be a parameterization of the curve around the point aj, we have dz=ρieiθdθ and hence

Cf(z)𝑑z=Cf(z)𝑑z=jη(C,aj)Bρ(aj)f(z)𝑑z
=jη(C,aj)02πf(aj+ρeiθ)ρieiθ𝑑θ

where ρ>0 is chosen so small that the balls Bρ(aj) are all disjoint and all contained in the domain U. So by linearity, it is enough to prove thatfor all j

i02πf(aj+eiθ)ρeiθ𝑑θ=2πiRes(f,aj).

Let now j be fixed andconsider now the Laurent seriesMathworldPlanetmath for f in aj:

f(z)=kck(z-aj)k

so that Res(f,aj)=c-1. We have

02πf(aj+eiθ)ρeiθ𝑑θ=k02πck(ρeiθ)kρeiθ𝑑θ=ρk+1kck02πei(k+1)θ𝑑θ.

Notice now that if k=-1 we have

ρk+1ck02πei(k+1)θ𝑑θ=c-102π𝑑θ=2πc-1=2πRes(f,aj)

while for k-1 we have

02πei(k+1)θ𝑑θ=[ei(k+1)θi(k+1)]02π=0.

Hence the result follows.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 1:20:13