Home | Assessment | Notes | Worksheets | Blackboard
One useful way of defining functions of a complex variable is via power series. The theory of power series over complex numbers is similar to the theory of power series over the real numbers. In this section we will carefully go over this theory again because power series are of central importance in complex analysis.
A power series is an expression of the form \[ \sum_{n=0}^\infty a_n (z - b)^n = a_0 + a_1 (z - b) + a_2 (z - b)^2 + a_3 (z - b)^3 + \cdots \] where $b$ is a fixed complex number and $a_1,a_2,a_3,\dots$ is a fixed sequence of complex numbers.
Note that the index of summation starts at zero! This is to allow for the inclusion of a constant term $a_0$.
Given any power series we can consider the set \[ \left\{ z \in \C : \sum_{n=0}^\infty a_n (z - b)^n \textrm{ converges} \right\} \] of complex numbers $z$ where the series \[\sum_{n=0}^\infty a_n (z - b)^n\] converges and the function \[f(z) = \sum_{n=0}^\infty a_n (z - b)^n\] is defined.
The geometric series \[ \sum_{n=0}^\infty z^n = 1 + z + z^2 + z^3 + \cdots \] is a power series, with $b = 0$ and $a_n = 1$ for all $n$. The algebraic identity \[1 + z + z^2 + \cdots + z^N = \frac{1-z^{N+1}}{1-z}\] holds for all $z \ne 1$ and all $N \in \N$. It implies that the geometric series converges when $|z| < 1$ and diverges for $|z| > 1$. Thus the set \[ \left\{ z \in \C : \sum_{n=0}^\infty z^n \textrm{ converges} \right\} \] contains the open ball $\ball(0,1) = \{ z \in \C : |z| < 1 \}$ and is contained in the closed ball $\{ z \in \C : |z| \le 1 \}$.
The main abstract result on convergence of power series is that the geometric series is typical: for every power series there is $R \in [0,\infty) \cup \{ \infty \}$ such that the power series converges whenever $|z - b| < R$ and diverges whenever $|z - b| > R$. Formally, we have the following theorem.
Given a power series \[\sum_{n=0}^\infty a_n (z - b)^n\] put \[ R = \sup \left\{ r > 0 : \sum_{n=0}^\infty a_n (z - b)^n \textrm{ converges for some } |z-b| = r \right\} \] which is $\infty$ when the set is not bounded.
(We give the proof in the case $b = 0$.) Let $z \in \C$ be such that $|z| < R$. Choose $w \in \CC$ such that $|z| < |w| \le R$ and such that \[\displaystyle\sum_{n=0}^{\infty} a_n w^n\] converges. It follows that $|a_n w^n| \to 0$ as $n\to \infty$. Thus $|a_n w^n|$ is a bounded sequence; that is, there exists $K > 0$ such that $|a_n w^n| < K$ for all $n$. Let $q=|z|/|w|$. As $|z| < |w|$, we have that $q < 1$. Now \[ |a_nz^n| = |a_n w^n| \left|\frac{z}{w}\right|^n < Kq^n. \] for all $n \in \N$. Hence \[\displaystyle\sum_{n=0}^{\infty} |a_nz^n|\] converges by comparison with the geometric series. Since absolute convergence implies convergence, we are done.
It follows immediately from the definition of $R$ that the series diverges whenever $|z| > R$. Indeed, if $|z| > R$ and the series converges at $z$ then $R$ was not the supremum in the first place. $\square$
We call $R$ the radius of convergence of the power series.
The theorem tells us that the set of complex numbers $z$ where a given power series converges cannot be too complicated. It always contains the open ball $\{ z \in \C : |z - z_0| < R \}$ and is always contained in the closed ball $\{ z \in \C : |z - z_0| \le R \}$. The theorem does not tell us about convergence on the circle $\{ z \in \C : |z - b| = R \}$.
For specific examples, the ratio and root tests can be used to determine radii of convergence.
Determine the radius of convergence of the power series \[\displaystyle \sum_{n=0}^\infty \frac{z^n}{n}\] using the ratio test.
Fix $z \in \C$ non-zero. From \[ \frac{\dfrac{z^{n+1}}{n+1}}{\dfrac{z^n}{n}} = z \, \frac{n}{n+1} \] we get \[ \lim_{n \to \infty} \left| \frac{\dfrac{z^{n+1}}{n+1}}{\dfrac{z^n}{n}} \right| = |z| \lim_{n \to \infty} \frac{n}{n+1} = |z| \] implying that the series converges absolutely when $|c| < 1$ and diverges when $|c| > 1$. The radius of convergence of the power series must then be 1.