# Biholomorphic maps from unit disc

Let $f$ be biholomorphic map from the unit disc onto some $D \subset \overline{\mathbb{C}}$ (considered as a Riemann sphere, so it is holomorphic) with $$f(z)=\frac{1}{z}+c_1z+c_2z^2+\cdots$$ What does inequality $$\sum n |c_n|^2 \leq 1$$ mean geometrically?

• There is something wrong with your question. Your function is not holomorphic on the unit disc. – mrf Mar 13 '14 at 12:00
• We consider it as a Riemann sphere, so it is holomorphic map, not function. – evgeny Mar 13 '14 at 12:11

The complement of $D$ is a compact subset of the plane. Its area can be computed in terms of $f$, using Green's formula. This computation yields $$\text{area of \mathbb C\setminus D} = \pi-\pi\sum_{n=1}^\infty n|c_n|^2$$ Therefore, the inequality $\sum_{n=1}^\infty n|c_n|^2 \le 1$ expresses the fact that area cannot be negative. This is why the result is known as the Area Theorem; the wiki has the detailed computation to which I alluded above.