Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $f$ be an entire function (holomorphic over the complex plane). If $f$ has no zero point, then $\text{Log} f$ is also an entire function. How to prove this?

My idea: one branch of $\text{Log}f$ is well-defined on $\mathbb{C}\setminus \gamma$ for any $\gamma:[0,\infty)\longrightarrow \mathbb{C}$ such that $\gamma(\infty)=\infty$. Once it is well-defined, $\text{Log}f$ is holomorphic. By the open mapping theorem, $f(\mathbb{C})$ is open in $\mathbb{C}$. To show that $\text{Log}$ is well-defined on $f(\mathbb{C})$, we only need to show that $f(\mathbb{C})$ is simply-connected. But I do not know how to continue... Is a holomorphic function with no zero point a homeomorphism?

Since my way is inconvenient and problematic, is there any otehr ways to prove:

Let $f$ be an entire function (holomorphic over the complex plane). If $f$ has no zero point, then $\text{Log} f$ is also an entire function ?

share|cite|improve this question
Possible duplicate of this question. – Andrew D. Hwang Feb 17 '14 at 2:16

Hint: Integrate $d\operatorname{Log} f$; that is, find a holomorphic $1$-form on $\mathbf{C}$ that "should" be $d\operatorname{Log} f$.

($\exp$ is entire, never zero, and not a homeomorphism, so your strategy, though natural, is problematic. In fact, constructing $\operatorname{Log} f$ using branches is rather inconvenient. :)

share|cite|improve this answer
since my idea is problematic, how to prove the question? – Phosphorus Feb 17 '14 at 2:06
There's a hint in my post, but as it happens, your question has been answered here. – Andrew D. Hwang Feb 17 '14 at 2:18

We can find $Logf$ explicitely. Consider the function $g:\Bbb C \rightarrow \Bbb C$ such that $g(z)=f'(z)/f(z)$ since $f$ is non-zero and entire this function is also entire. Take the integral $\int_{0}^{z}g(\zeta) d\zeta$ along any path from $0$ to $z$. This is well defined since $f'/f$ is entire (Hence every closed integral is zero). This integral is a branch of $Log(f)$. Proof- $$I=e^{\int_{0}^{z}g(\zeta) d\zeta}$$ $$I'=f'/f*I$$ $$(I'f-If')/f^2=0$$ $$I=constant*f$$ So, (this integral - some constant) is $Logf$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.