Order of zero equals residue of logarithmic derivative

From Companal
Revision as of 22:33, 26 April 2008 by Vipul (talk | contribs) (New page: ==Statement== Suppose <math>U \subset \mathbb{C}</math> is an open subset and <math>f:U \to mathbb{C}</math> is a meromorphic function. Suppose <math>z_0 \in U</math> is a point. Defi...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose is an open subset and is a meromorphic function. Suppose is a point. Define the order of zero of at as the unique for which the function is holomorphic and nonzero at .

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

Note that if has a pole at , 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).