Complex Analysis – Analytic and Bounded Functions on Unit Disc with Zeros $a_n$

Question

I'm going over old exam problems and I got stuck on this one.
Suppose that $\mathbb{f}\colon \mathbb{D} \to \mathbb{C}$ is analytic and bounded. Let $\{a_n\}_{n=1}^\infty$ be
the non-zero zeros of $\mathbb{f}$ in $\mathbb{D}$ counted according to multiplicity. Show that
$$ \sum_{n=1}^\infty \left( 1 – \left|a_n \right|\right)\lt\infty $$
I can understand that $\left|a_n \right|$ goes to $1$ since zeros are isolated, but it doesn't help showing the series is convergent. Any help will be appreciated!

Answer 1

This is known as Blaschke's condition and is in fact also true for functions in the so called Nevanlinna class. The simplest way to prove this is using Jensen's formula.

Assume $f \in H^\infty$. You may as well assume that $f(0) \neq 0$ and that $f$ has infinitely many zeros. Let $n(r)$ be the number of zeros in the disc $D_r$. Fix any integer $k$ and choose $r < 1$ so large that $n(r) > k$. By Jensen's formula, $$ |f(0)| \prod_{n=1}^{n(r)} \frac{r}{|a_n|} = \exp\left( \frac{1}{2\pi} \int_0^{2\pi} \log|f(re^{i\theta})|\,d\theta \right). $$

Hence (if $|f(z)| < M$ on $D$): $$ |f(0)| \prod_{n=1}^{k} \frac{r}{|a_n|} \le |M|. $$

In other words $$ \prod_{n=1}^{k} |a_n| \ge \frac{|f(0)|}{|M|} r^k $$ for every $k$. Letting $r \to 1$ and $k\to\infty$ it follows that $$ \prod_{n=1}^{\infty} |a_n| \ge \frac{|f(0)|}{|M|} > 0, $$ which implies that $\sum_{n=1}^\infty (1-|a_n|) < \infty$.