Residue of function at point: Difference between revisions

From Companal
No edit summary
Line 4: Line 4:


* It is the coefficient of <math>1/(z - z_0)</math> in the Laurent series expansion of <math>f</math> about <math>z_0</math>
* It is the coefficient of <math>1/(z - z_0)</math> in the Laurent series expansion of <math>f</math> about <math>z_0</math>
* It is given as a limit:
<math>\lim_{z \to z_0} (z - z_0)f(z)</math>
* It is given by the following formula, where <math>\gamma</math> is a small counter-clockwise circular loop about <math>z_0</math> that lies completely inside <math>U</math>:
* It is given by the following formula, where <math>\gamma</math> is a small counter-clockwise circular loop about <math>z_0</math> that lies completely inside <math>U</math>:


<math>res(f;z_0) := \frac{1}{2 \pi i} \oint_\gamma f(z) \, dz</math>
<math>res(f;z_0) := \frac{1}{2 \pi i} \oint_\gamma f(z) \, dz</math>

Revision as of 23:41, 28 April 2008

Definition

Suppose UC is an open subset and f:UC be a holomorphic function. Suppose z0 is a point in CU such that there exists an open neighborhood Vz0 such that Vz0U (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/(zz0) in the Laurent series expansion of f about z0
  • It is given as a limit:

limzz0(zz0)f(z)

  • 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