Logarithmic derivative of a nowhere zero holomorphic function

From Companal
Revision as of 20:20, 26 April 2008 by Vipul (talk | contribs) (New page: ==Definition== Suppose <math>U \subset \mathbb{C}</math> is an open subset and <math>f:U \to \mathbb{C}^*</math> is an everywhere nonzero holomorphic function. The '''logarithmic derivati...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

Suppose is an open subset and is an everywhere nonzero holomorphic function. The logarithmic derivative of is the function:

This is indeed a holomorphic function, because being holomorphic, so is , and by the quotient rule, we see that is also holomorphic.

If there exists a function such that for all , then the logarithmic derivative equals . Conversely, if the logarithmic derivative of admits a primitive, then admits a holomorphic logarithm on , with the holomorphic logarithm being a primitive of .