1
$\begingroup$

let $f$ to be an analytic function on $D=\{z\in \mathbb{C}: |z|<1\}$.

Show that there exists an $\epsilon\in (0,1)$ such that for any natural number $m$, there is an analytic function $g=g_m$ on $D_{\epsilon}=\{z\in\mathbb{C}: |z|<\epsilon\}$ for which we have $f(z^m)=(g(z))^m$ holds for every $z\in D_{\epsilon}$.

Any hint on this problem? Thanks in advance.

  • 0
    @Henning, yes, when $f(0)\neq 0$, then we can directly pick a small $\epsilon$, such that $f(z)\neq 0, \forall z\in D_{\epsilon}$, then $f(z^m)\neq 0$ on this set, we can define $g(z)=(f(z^m))^{\frac{1}{m}}$ which is an analytic function on $D_{\epsilon}$.2012-12-18

1 Answers 1

2

First, you can write $f(z)=z^kh(z)$ with $k\geq 0$ and $h(0)\neq 0$, $h$ holomorphic on $D$. Since $(z^m)^k=(z^k)^m$, it suffices to show that the result holds for $h$.

If you can define a logarithm of $h$ in a neighborhood of $0$, i.e. a holomorphic function $H(z)$ defined on some $\{z:|z|<\varepsilon\}$, such that $\exp(H(z))=h(z)$ in a neighborhood of $0$, then $\exp(\frac{1}{m}H(z))$ will be an $m^\text{th}$ root of $h$.

In fact, you can define a branch of the ordinary holomorphic logarithm in a neighborhood of $h(0)$, and, using continuity of $h$, this will suffice.

  • 0
    thanks, I see the point, to reduce $f(0)=0$ to the case $f(0)\neq 0$. Thanks!2012-12-18