Order of zero equals residue of logarithmic derivative

From Companal
Revision as of 19:17, 18 May 2008 by Vipul (talk | contribs) (2 revisions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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).