Definition.

A power series is a series of the form $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$, where ${a}_{n}\in \mathbb{R}$ for each $n\in \mathbb{N}$ and $x\in \mathbb{R}$.

Such series are often used to define functions, such as

Obviously, if we are going to define new functions in this way, it is important to know when such a series converges. As indicated in the last equation, we generally think of the numbers ${a}_{n}$ as fixed numbers (or fixed coefficients) and the $x$ as a variable.

Power series are also used to define functions on the complex numbers too:

$$f\left(z\right)=\sum _{n=0}^{\infty}{a}_{n}{z}^{n}$$for $z\in \u2102$. Although these notes are primarily about real numbers and real analysis, and our proofs are presented for the reals only, the area of power series is one important example where what we shall say also works equally well, and to great effect, for the complex numbers too.

The main result about power series is that each power series has a radius of convergence, $R\u2a7e0$, which is a real number such that:

- if $\left|x\right|<R$ then $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ converges; and
- if $\left|x\right|>R$ then $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ diverges.

This result, i.e., the existence of such a radius of convergence,
in fact works equally well for the complexes as for the reals.
The terminology radius

arises from thinking about the set
of complex numbers $z$ with $\left|z\right|<R$ in the Argand
diagram: this set is a circular disc with certre $0$ and
radius $R$.

The radius of convergence, $R$ could turn out to be any
number between $0$ and $\infty $, including both extremes
$0$ and $\infty $. Of course if $R=\infty $ that means
that the power series converges for all possible values of $x$.
If $R=0$ it means that the power series *diverges* for all
possible values of $x$, except $x=0$ itself. (It is
easy to see that all power series of the form
$\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ converge
for $x=0$ as there is at most one nonzero term in the series,
the one for ${a}_{0}$.)

One further point to bear in mind is that the theorem on radius of convergence says nothing about what actually happens on the perimeter of this circular disc, i.e., when $\left|z\right|=R$. In fact, for some power series, the series converges everywhere on this boundary, and for others it converges nowhere on the boundary. For yet others, it converges at some points but not at others in a rather complicated way. This point is related to the ratio test, where the limit of the ratio is $1$: in such cases, the situation may be highly complicated and a simple test cannot give the answer.

We shall consider a power series $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ and prove it has a radius of convergence, $R$, as defined above. The main work involved takes place in the following theorem.

Theorem.

Suppose ${x}_{0}\in \mathbb{R}$ and $\sum _{n=0}^{\infty}{a}_{n}{x}_{0}^{n}$ converges, and let $x\in \mathbb{R}$ with $\left|x\right|<\left|{x}_{0}\right|$. Then $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ converges absolutely.

**Proof.**

We have $\left|{a}_{n}{x}_{0}^{n}\right|\to 0$ as $n\to 0$, by the null sequence test, so

$$\exists {N}_{0}\in \mathbb{N}\forall n\u2a7e{N}_{0}\left(\left|{a}_{n}{x}_{0}^{n}\right|\frac{1}{2}\right)$$So, as $\left|x\right|<\left|{x}_{0}\right|$, we have for all $n\u2a7e{N}_{0}$

$$\left|{a}_{n}{x}^{n}\right|=\left|{a}_{n}{x}_{0}^{n}\right|\xb7\left|{\frac{x}{{x}_{0}}}^{n}\right|<\frac{1}{2}\left|{\frac{x}{{x}_{0}}}^{n}\right|,$$so $\sum _{n=0}^{\infty}\left|{a}_{n}{x}^{n}\right|$ converges by the comparison test, using comparison with the series

$$\sum _{n=0}^{\infty}\left|{\frac{x}{{x}_{0}}}^{n}\right|$$which converges as $\left|\frac{x}{{x}_{0}}\right|<1$.

Surprisingly, perhaps, this does all the work we need, and to get the radius of convergence theorem we just need to combine the last theorem with an old result about completeness of the reals.

Theorem on Radius of Convergence.

For all power series $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ there is a nonnegative radius of convergence $R\in \mathbb{R}\cup \left\{\infty \right\}$ such that the power series converges absolutely for all $x$ with $\left|x\right|<R$ and the power series diverges for all $x$ with $\left|x\right|>R$.

**Proof.**

Let $A$ be the set

There are two cases depending on whether or not $A$ is bounded.

**Subproof.**

Case 1: $A$ is unbounded. We show we can take $R=\infty $ in this case.

**Subproof.**

Let $x\in \mathbb{R}$ be arbitrary.

Then because $A$ is unbounded there is $r\in A$ with $\left|x\right|<r$ and hence there is ${x}_{0}\in \mathbb{R}$ with $\left|{x}_{0}\right|=r>\left|x\right|$ and $\sum _{n=0}^{\infty}{a}_{n}{x}_{0}^{n}$ converging. Thus by the previous result $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ converges absolutely.

Therefore $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ converges absolutely for every $x\in \mathbb{R}$, as required.

On the other hand,

**Subproof.**

Case 2: $A$ is bounded.

In this case, $A$ is a bounded nonempty set (nonempty because it contains $0$) and so by the supremum form of the completeness of reals there is a least upper bound $R=\text{sup}A$ of $A$. We have to show $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ converges for $\left|x\right|<R$ and diverges for $\left|x\right|>R$.

**Subproof.**

Let $x\in \mathbb{R}$ with $\left|x\right|<R$ be arbitrary.

Then since $R$ is the *least* upper bound of $A$
and $\left|x\right|$ is smaller, $\left|x\right|$ is *not* an upper
bound of $A$ so there is $r\in A$ with
$\left|x\right|<r$ and hence there is ${x}_{0}\in \mathbb{R}$
with $\left|{x}_{0}\right|=r>x$ and
$\sum _{n=0}^{\infty}{a}_{n}{x}_{0}^{n}$ converging.
Thus by the previous result
$\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ converges absolutely.

So $\forall x\in \mathbb{R}\left|x\right|R\Rightarrow \sum _{n=0}^{\infty}{a}_{n}{x}^{n}\text{converges absolutely}$. Also,

**Subproof.**

Let $x\in \mathbb{R}$ with $\left|x\right|>R$ be arbitrary.

Then if $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ converges we would have $\left|x\right|\in A$. But this is impossible as $R$ is an upper bound of $A$ and $R<\left|x\right|$. Therefore $\sum _{n=0}^{\infty}{a}_{n}{x}^{n}$ does not converge.

So $\forall x\in \mathbb{R}\left|x\right|R\Rightarrow \sum _{n=0}^{\infty}{a}_{n}{x}^{n}\text{does not converge}$.

Example.

The series $\sum _{n=0}^{\infty}{x}^{n}$ has radius of convergence $1$. It converges absolutely if $\left|x\right|<1$, and diverges for all other $x$ including $1$ and $-1$.

**Proof.**

The ratio of consecutive terms of $\sum _{n=0}^{\infty}\left|{x}^{n}\right|$ is $\frac{\left|{x}^{n+1}\right|}{\left|{x}^{n}\right|}=\left|x\right|$. This is less than $1$ if $\left|x\right|<1$, in which case the series converges absolutely by the ratio test. It is greater than one if $\left|x\right|>1$, in which case the series diverges by the ratio test. Therefore the radius of convergence is $1$.

On the radius of convergence we have $x=1$ or $x=-1$ and the series is either $\sum _{n=0}^{\infty}{1}^{n}$ or $\sum _{n=0}^{\infty}{-1}^{n}$. Both these diverge by the null sequence test.

Example.

The series $\sum _{n=0}^{\infty}\frac{{x}^{n}}{n}$ has radius of convergence $1$. It converges absolutely if $\left|x\right|<1$, converges conditionally when $x=-1$ and diverges for all other $x$ including $1$.

**Proof.**

The ratio of consecutive terms of $\sum _{n=0}^{\infty}\frac{\left|{x}^{n}\right|}{n}$ is $\frac{n\left|x\right|}{n+1}=\frac{\left|x\right|}{1+{n}^{-1}}$ which converges to $\left|x\right|$. Therefore, using the ratio test as in the last example, the radius of convergence is $1$ and the series converges absolutely when $\left|x\right|<1$ and diverges when $\left|x\right|>1$. For $x=1$ our series is the harmonic series, which diverges, and for $x=-1$ our series converges by the alternating series test, but does not converge absolutely as the series of absolute values of terms is again the harmonic series.

Example.

The series $\sum _{n=0}^{\infty}\frac{{x}^{n}}{{n}^{2}}$ has radius of convergence $1$. It converges absolutely if $\left|x\right|\u2a7d1$, and diverges for all other $x$.

**Proof.**

Again, the ratio of consecutive terms of $\sum _{n=0}^{\infty}\frac{\left|{x}^{n}\right|}{n}$ is $\frac{{n}^{2}\left|x\right|}{(n+1{)}^{2}}=\frac{\left|x\right|}{1+2{n}^{-1}+{n}^{-2}}$ which converges to $\left|x\right|$. Therefore, by the ratio test again, the radius of convergence is $1$ and the series converges absolutely when $\left|x\right|<1$ and diverges when $\left|x\right|>1$. For $x=1$ our series is $\sum _{n=0}^{\infty}{n}^{-2}$ which converges and is made up of positive terms only, hence converges absolutely. For $x=-1$ it also converges absolutely as the absolute value of the terms in this series are the same terms as in the case $x=1$.

Example.

The series $\sum _{n=0}^{\infty}\frac{{x}^{n}}{n}$ has radius of convergence $\infty $. It converges absolutely for all $x\in \mathbb{R}$.

**Proof.**

The ratio of consecutive terms of $\sum _{n=0}^{\infty}\frac{\left|{x}^{n}\right|}{n}$ is $\frac{\left|x\right|}{n+1}\to 0$ as $n\to \infty $, so by the ratio test the series converges absolutely for all $x\in \mathbb{R}$.

Example.

The series $\sum _{n=0}^{\infty}n{x}^{n}$ has radius of convergence $0$. It converges for $x=0$ and diverges for all $x\ne 0$.

**Proof.**

For $x\ne 0$ the sequence $n\left|{x}^{n}\right|$ is not null. To see this, let $y=\left|{x}^{-1}\right|$ and let $k\in \mathbb{N}$ be any odd positive integer with $k>y$. Then $\frac{1}{k}\frac{{k}^{2}}{k}\u2a7e1$, $\frac{2}{k}\frac{{k}^{2}-1}{k}\u2a7e1$, $\frac{3}{k}\frac{{k}^{2}-2}{k}\u2a7e1$, and so on, hence ${k}^{2}\u2a7e{k}^{{k}^{2}}$. This is the base case of an induction argument that shows that $n\u2a7e{k}^{n}$ for $n\u2a7e{k}^{2}$. (The induction step is easy as $n>k$ for such $n$.) Since $k>y=\left|{x}^{-1}\right|$ it follows that $n{x}^{n}\u2a7e1$ for $n\u2a7e{k}^{2}$ and $n{x}^{n}$ is not a null sequence.

Hence from the null sequence test that the series $\sum _{n=0}^{\infty}n{x}^{n}$ does not converge absolutely for any $x\ne 0$. From this it follows by the theorem on power series given above that $\sum _{n=0}^{\infty}n{x}^{n}$ does not converge at all for any $x\ne 0$. For if this series did converge with $x\ne 0$ then $\sum _{n=0}^{\infty}n{\left(\frac{\left|x\right|}{2}\right)}^{n}$ would also converge.