2
$\begingroup$

I'm reading Forster's Lectures on Riemann surfaces. The proof of theorem 2.1(you don't need to know what it is) of the book uses the following fact.

Let $g(z)$ be a holomorphic function defined on a neighborhood of $0$ in $\mathbb{C}$ such that $g(0) \neq 0$. Let $k > 0$ be an integer. Then there exists a holomorphic function defined on a neighborhood of $0$ such that $h^k = g$.

How do we prove this?

  • 0
    let $g(z)=e^{f(z)}$, and $h(z)$ be something like $e^{f(z)/k}$ see http://math.stackexchange.com/questions/143609/representation-of-holomorphic-functions-by-exponential2012-09-21
  • 0
    And to get $f(z)$, use an antiderivative of $g'(z)/g(z)$.2012-09-21
  • 0
    Just to add to yoyo's comment, as $g(0) \neq 0$, there is some open neighbourhood of $0 \in \mathbb{C}$ on which $g$ is non-zero, so on this set $g(z)$ can be written as $e^{f(z)}$ for some $f(z)$.2012-09-21
  • 0
    I'm expecting someone would write a detailed answer incorporating these comments.2012-09-21

1 Answers 1

1

If $\Omega \subset \mathbb{C}$ is simply connected and $g(z)$ is holomorphic and non-vanishing on $\Omega$, then there exists a holomorphic logarithm $h(z)$ which is holomorphic on $\Omega$, such that $e^{h(z)} = g(z)$. We can construct $h(z)$ as the antiderivative of $g'(z)/g(z)$, since $g'(z)/g(z)$ is holomorphic as the denominator is non-vanishing. Now take $f(z) = h(z)/k$; this is holomorphic, and hence $e^{f(z)} = e^{h(z)/k}$ is holomorphic, and exponentiating by $k$ yields $g(z)$.

(edited per comment)

  • 1
    I guess there was really no need to use the argument principle; the ratio of two holomorphic functions is always holomorphic if the denominator doesn't vanish.2012-09-21
  • 0
    You have a typo. $f$ should be $e^{h/k}$ so that $f^k=e^h=g$2018-11-24