0

The following is an old qualifying exam that I cannot solve:

Suppose $f$ is holomorphic on the punctured unit disk and $ \frac{f '}{f} $ has a simple pole at $0$. Show that $f$ does not have an essential singularity at $0$.

  • This is a qual-prep problem. The problem was originally longer - this is the part that I cannot solve. We can write $f(z) h(z) = z f^\prime (z)$ where $h(0)$ doesn't equal $0$. After this perhaps contradiction?? Maybe apply the strong Picard theorem somehow?? Not sure. – wellfedgremlin Jan 04 '14 at 06:50
  • @wellfedgremlin: in future you should add such information to the body of your question, not wait until someone asks in the comment. – tomasz Jan 04 '14 at 15:45

1 Answers1

5

By considering a smaller punctured disk if necessary, we may assume that $f$ has no zeros.

The crucial point is to recognise that

$$\operatorname{Res}\left(\frac{f'}{f};0\right) = k \in \mathbb{Z}.$$

Because

$$\operatorname{Res}\left(\frac{f'}{f};0\right) = \frac{1}{2\pi i}\int_{\lvert \zeta\rvert = \rho} \frac{f'(\zeta)}{f(\zeta)}\,d\zeta$$

is the winding number of the closed path $t \mapsto f\left(\rho e^{it}\right),\: t\in [0,2\pi]$ around $0$.

Once you know that, consider $g(z) = z^{-k}f(z)$. You have

$$\frac{g'(z)}{g(z)} = \frac{-kz^{-k-1}f(z) + z^{-k}f'(z)}{z^{-k}f(z)} = -\frac{k}{z} + \frac{f'(z)}{f(z)},$$

hence $\frac{g'}{g}$ has a removable singularity in $0$, and thus there is a holomorphic $h$ in the disk with $h' = \frac{g'}{g}$. Thus $g(z)\cdot e^{-h(z)}$ is constant, and by adding a suitable constant to $h$, we can assume

$$g(z) = e^{h(z)}.$$

But the right hand side is holomorphic on the entire disk, so $g$ has a removable singularity in $0$, and $f(z) = z^kg(z) = z^ke^{h(z)}$ has either a removable singularity ($k > 0$) or a pole ($k < 0$) in $0$, and not an essential singularity.

Daniel Fischer
  • 206,697
  • Sweet observation about the residue being an integer. But from there, was there anything special that guided you to construct the auxilliary function $g$? – bryanj Jan 04 '14 at 15:46
  • 1
    We know that if $f$ has a zero of order $k$, resp a pole of order $-k$, then the resdiue of $\frac{f'}{f}$ is $k$. So here we expect (or know) that $f(z) = z^k\cdot g(z)$ with $g(0) \neq 0$, and it remains to verify the expectation. – Daniel Fischer Jan 04 '14 at 15:55