Residue of function at point

From Companal

Definition

Suppose U⊂C is an open subset and f:U→C be a holomorphic function. Suppose z0 is a point in C∖U such that there exists an open neighborhood V∋z0 such that V∖z0⊂U (in other words, z0 is an isolated singularity of f). The residue of f at z0 is defined in the following equivalent ways:

  • It is the coefficient of 1/(z−z0) in the Laurent series expansion of f about <mtah>z_0</math>
  • It is given by the following formula, where γ is a small counter-clockwise circular loop about z0 that lies completely inside U:

res(f;z0):=12πi∮γf(z)dz