Order of zero equals residue of logarithmic derivative

From Companal
Revision as of 22:34, 26 April 2008 by Vipul (talk | contribs)

Statement

Suppose UC is an open subset and f:UC is a meromorphic function. Suppose z0U is a point. Define the order of zero of f at z0 as the unique n for which the function z(zz0)nf(z) is holomorphic and nonzero at z0.

Then, the order of zero of f at z0 equals the residue of its logarithmic derivative at z0.

Note that if f has a pole at z0, then the order of the pole is the negative of the residue for its logarithmic derivative (that's because the order as a pole is the negative of order as a zero).