7
$\begingroup$

Let $f(z)$ be an entire function, $R_n$ a sequence of positive real numbers tending to $\infty$ such that $f(z) \neq 0$ on $|z|=R_n$ and there exists $M>0$ such that $\int_{|z|=R_n} \left|\frac{f'(z)}{f(z)}\right| ~dz for all $n$. Show that $f$ is a polynomial.

What came to my mind is to consider that $f(z)=a_0+a_1z+\cdots \;\;\forall z\in\mathbb{C}$, and to try proving that $a_k=0$ from a certain $k$, maybe using the Cauchy formula for these coefficients, but I can't use the hypotesis on that bounded integral. Is observing that there is a logarithmic derivative of any use?

  • 0
    Right, we are stuck with $a=0$. Luckily, a better idea arrived meanwhile.2012-07-05

1 Answers 1

9

As $\,\displaystyle{\frac{1}{2\pi i}\oint \frac{f'}{f}\,dz}\,$ is the number of roots inside the circle, the total number of roots is finite

(bounded by $\,\frac{M}{2\pi}\,$). Let $g(z)=\frac{f(z)}{(z-a_1)\cdot\ldots\cdot(z-a_k)}$, where $a_1,\dots,a_k$ are the roots of $f$. Then $g$ satisfies the same condition as $f$ (with a different $\tilde M$). As $g$ has no root, it is of the form $g(z)=\exp(h(z))$ for some entire function $h$. We thus have $\,\displaystyle{\oint |h'(z)|\,|dz|<\tilde M}\,$ for circles of radii $R_n\to\infty$. This implies $h'=0$, hence $f$ is a polynomial.

edit: why $h'=0$: if $h'(z)=c_1 z^m+c_2 z^{m+1}+\dots$ ($c_1\neq0$) then $\oint \frac{h'(z)}{z^{m+1}}\,dz=2\pi i c_1$, which certainly implies $\oint |h'(z)|\,|dz|\to\infty$.