Residue of function at point: Difference between revisions

From Companal
(New page: ==Definition== Suppose <math>U \subset \mathbb{C}</math> is an open subset and <math>f:U \to \mathbb{C}</math> be a holomorphic function. Suppose <math>z_0</math> is a point in <math>...)
 
Line 1: Line 1:
==Definition==
==Definition==


Suppose <math>U \subset \mathbb{C}</math> is an open subset and <math>f:U \to \mathbb{C}</math> be a [[holomorphic function]]. Suppose <math>z_0</math> is a point in <math>\C \setminus U</math> such that there exists an open neighborhood <math>V \ni z_0</math> such that <math>V \setminus z_0 \subset U</math> (in other words, <math>z_0</math> is an isolated singularity of <math>f</math>). The '''residue''' of <math>f</math> at <math>z_0</math> is defined in the following equivalent ways:
Suppose <math>U \subset \mathbb{C}</math> is an open subset and <math>f:U \to \mathbb{C}</math> be a [[holomorphic function]]. Suppose <math>z_0</math> is a point in <math>\mathbb{C} \setminus U</math> such that there exists an open neighborhood <math>V \ni z_0</math> such that <math>V \setminus z_0 \subset U</math> (in other words, <math>z_0</math> is an isolated singularity of <math>f</math>). The '''residue''' of <math>f</math> at <math>z_0</math> is defined in the following equivalent ways:


* It is the coefficient of <math>1/(z - z_0)</math> in the Laurent series expansion of <math>f</math> about <mtah>z_0</math>
* It is the coefficient of <math>1/(z - z_0)</math> in the Laurent series expansion of <math>f</math> about <mtah>z_0</math>

Revision as of 15:03, 20 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 <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