0
$\begingroup$

How would one show that if $\displaystyle \lim_{z \to 0} z \exp(f(z))$ exists, where $f: \mathbb{C}^\ast \longrightarrow \mathbb{C}$ is holomorphic, then it must be zero? Is this even true?

  • 0
    It means that $\exp(f(z))$ cannot have a simple pole.2012-05-21

2 Answers 2

1

If $f$ is holomorphic on $\mathbb{C}^*$, then it has either a removable singularity, a pole, or an essential singularity at $0$.

If it has a removable singularity, $\lim_{z \to 0} f(z)$ exists, which means the limit you're looking for is $0$. In the other two cases, you should be able to show that the limit doesn't exist (in the case where it has an essential singularity, you might need a big stick like Picard's Theorem to do this).

  • 0
    I think you meant "meromorphic" instead of "holomorphic", as holomorphic functions have no singularities.2012-05-21
  • 0
    It's holomorphic on $\mathbb{C}^*$. It need not even be meromorphic on $\mathbb{C}$, since the singularity could be essential.2012-05-21
  • 0
    If it has a singularity, *any* kind of non-removable singularity, then it can't be holomorphic...unless my definitions are messed up.2012-05-21
  • 0
    $0$ is not contained in $\mathbb{C}^*$, so a function with a singularity at $0$ can still be holomorphic on $\mathbb{C}^*$. Of course it can't be entire (holomorphic on $\mathbb{C}$) but I hope I never said it was.2012-05-21
  • 0
    Thank you, now I understand. By $\,\mathbb{C}^*\,$ you meant the complex without the zero, and I understood the extended complex plane *including $\infty$.2012-05-21
  • 0
    Yes, $\mathbb C^*$ is notation from another branch of mathematics. The OP should better have said it more explicitly, so that complex analysts would understand it.2012-05-21
1

As noted above, think of the singularity type of $f$. If it is removable, you are done. If it is polar, write $f(z)=h(z)/z^n$ and expand the Taylor series for $z*Exp(f(z))$ to see that it has an essential singularity near 0, so there is no limit. If $f$ has an essential singularity, by Big Picard it assumes all but one complex value infinitely often near $0$; its exponential also has this property, so it is has an essential singularity as well.