2
$\begingroup$

I'm trying to solve the following problem:

Suppose $f$ is analytic and bounded on the unit disk and $f (0) \ne 0$. Let ${s_n}$ be the zeros of $f$. Show that $\sum_n(1-|s_n|) < \infty$.

The hint given is to apply Jensen's formula to a disc of radius $R$ with $R < 1$. Clearly the hypotheses for the formula apply to f, but I'm having a hard time seeing how to relate it to the sum in question. It'd be great if someone could point me in the right direction on this.

Thanks!

1 Answers 1

0

Let $f$ be bounded by $M > 0$. For $0 < r \leq R < 1$ let $N_r$ be the finite multi-set of zeroes of $f$ on the disc $\Delta_r$ with radius $r$ (counting multiplicity). Then there is a holomorphic $h$, non-vanishing on $\Delta_r$ such that $|h(z)| = |f(z)|$ for $|z| = R$ and

$ f(z) = h(z) R^{|N_r|} \prod_{\alpha \in N_r} \frac{\alpha - z}{R^2 - \overline{\alpha} z}. $

By the maximum principle for $h$ the following inequality holds at $z=0$:

$ R^{|N_r|}|f(0)| = |h(0)| \prod_{\alpha \in N_r} |\alpha| \leq \max_{|z|=R}|f(z)| \prod_{\alpha \in N_r} |\alpha| \leq M \prod_{\alpha \in N_r} |\alpha|. $

Since this holds for all $R \in [r, 1)$ we can take the limit $R \to 1$ to get the inequality

$ \prod_{\alpha \in N_r} |\alpha| \geq \frac{|f(0)|}{M} $

for all $r \in (0, 1)$. In particular

$ \lim_{r \to 1} \prod_{\alpha \in N_r}\left(1 - (1 - |\alpha|) \right) = \lim_{r \to 1} \prod_{\alpha \in N_r} |\alpha| \geq \frac{|f(0)|}{M} > 0. $

This implies (by a well known correspondence) that

$ \lim_{r \to 1} \sum_{\alpha \in N_r} (1 - |\alpha|) < \infty. $