Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The following is part of an exercise that I don't quite get:

Let $\phi: \mathbb D\setminus \{0\} \to \mathbb C$ be an injecitve holomorphic function with Laurent series $$\phi(z) = \frac1z + \sum_{n=1}^\infty a_nz^n$$ Prove that $$\sum_{n=1}^\infty n|a_n| \le 1$$

Hint: Calculate the area of $S_r = \phi(B_1(0)\setminus B_r(0))$ using Stokes' thoerem and consider the limit as $r \to 1$.

I have to say, I'm a bit clueless here. I don't even really see how to calculate the area of $S_r$. It seems that Stokes' theorem forces me to consider the real and imaginary parts of $\phi$ and their partial derivatives, but it seems a bit messy to write these in terms of $\phi$ etc. What I've tried:

Writing $\phi = u + iv$ we get

$$ \begin{eqnarray} \iint_{S_r} dx\, dy &=& \int_{\partial\phi(B_1\setminus B_r)}x\ dy \\ &=& \int_{\partial B_1- \partial B_r} uv_x \ dx + uv_y \ dy \end{eqnarray} $$

If I go on from here by substituting $u = \frac12(\phi + \overline \phi), v = \frac12(\phi - \overline \phi)$, then the result I come up with for the integral over $\partial B_r(0)$ seems to be

$$\pi\left(\frac{-1}{r^2} + \sum_{n=1}^\infty n|a_n|^2 r^{2n}\right)$$

But I'm neither really sure whether this is right (I'm guessing not, because the series has the wrong form), nor do I know what to do with that.

So my question really is:

  • What is the best approach to this problem? Any hints/solutions would be appreciated.
  • What is the motivation behind considering $S_r$ (probably a correct result would answer this retrospectively)?

Thanks for your thoughts and comments.

share|cite|improve this question
I suspect an error in the problem, because there is a very similar proof in Carleson and Gamelin's "Complex dynamics", p.2. The theorem they state is with the sum of the squares of modulus of $a_n$ just like what you obtain – Glougloubarbaki Dec 6 '11 at 19:38
@Glougloubarbaki: Thanks for the reference. I've had a look at it and it seems that you are right. – Sam Dec 6 '11 at 20:02
@Glougloubarbaki: I have now also found it in Rudin's Real and Complex Analysis (actually the entire problem) and you are definitely right. If you want to write your comment as an answer, then I will accept it. – Sam Dec 6 '11 at 20:52
up vote 1 down vote accepted

This question is answered in Rudin's Real and Complex Analysis, Ch. 14 "Conformal Mapping", p. 285 onwards in the third edition of the book.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.