[Math] Given an analytic function on the unit disk, are the coefficients of its series expansion bounded

complex-analysispower series

Let $D$ denote the unit disk in $\mathbb{C}$. Suppose I have an analytic function $f:D\to D$. Then I can write down its series expansion at, say, $z_0\in D$: $$f(z)=\sum_{n=0}^\infty a_n(z-z_0)^n\,.$$

Now, we know that $|f(z)|\le 1$, since $f(z)\in D$ for all $z\in D$. Does this imply that the coefficients $a_n$ are bounded? My instinct is to say yes, but I can't find a particularly convincing reason.

Thanks!

Best Answer

The $\limsup $ formula for the radius of convergence implies that any power series with bounded coefficients has radius of convergence $R\ge 1$. So, a series with $R<1$ must have unbounded coefficients. The easiest way to make the radius of convergence small is to stick a singularity nearby.

Given $z_0\ne 0$, we pick a point $a$ just outside the closed unit disk, so that $|z_0-a|<1$. For example, $a=(1+|z_0|/2)z_0/|z_0|$ works. The function $f(z)=c/(z-a)$ is our example when $c$ is small enough, such as $c=|a|-1$. If you believe the arguments given above, you don't even have to look at the coefficients.