Holomorphic logarithm of a nowhere zero holomorphic function

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

Definition

Suppose UC is an open subset and f:UC* is a nowhere zero holomorphic function on U. A holomorphic logarithm of f is a holomorphic function g:UC such that:

f(z)=exp(g(z))zU

where exp denotes the complex exponential.

A holomorphic logarithm need not always exist. If there exists a holomorphic logarithm g, then any function of the form:

zg(z)+2nπi,nZ

is also a holomorphic logarithm, and all holomorphic logarithms are of the above form.