Power series

1. The idea of radius of convergence

Definition.

A power series is a series of the form =0 , where for each and .

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 as fixed numbers (or fixed coefficients) and the as a variable.

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

() = =0

for . 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, 0 , which is a real number such that:

if then =0 converges; and
if then =0 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 with in the Argand diagram: this set is a circular disc with certre 0 and radius .

The radius of convergence, could turn out to be any number between 0 and , including both extremes 0 and . Of course if = that means that the power series converges for all possible values of . If =0 it means that the power series diverges for all possible values of , except =0 itself. (It is easy to see that all power series of the form =0 converge for =0 as there is at most one nonzero term in the series, the one for ₀.)

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 = . 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.

2. Proof of the radius of convergence theorem

We shall consider a power series =0 and prove it has a radius of convergence, , as defined above. The main work involved takes place in the following theorem.

Theorem.

Suppose ₀ and =0 ₀ converges, and let with ₀ . Then =0 converges absolutely.

Proof.

We have ₀ 0 as 0 , by the null sequence test, so

₀ ₀ ₀ 12 .

So, as ₀ , we have for all ₀

= ₀ ₀ 12 ₀ ,

so =0 converges by the comparison test, using comparison with the series

=0 ₀

which converges as ₀ 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 =0 there is a nonnegative radius of convergence such that the power series converges absolutely for all with and the power series diverges for all with .

Proof.

Let be the set

₀ ₀ = =0 _{0
converges}

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

Subproof.

Case 1: is unbounded. We show we can take = in this case.

Subproof.

Let be arbitrary.

Then because is unbounded there is with and hence there is ₀ with ₀ = and =0 ₀ converging. Thus by the previous result =0 converges absolutely.

Therefore =0 converges absolutely for every , as required.

On the other hand,

Subproof.

Case 2: is bounded.

In this case, 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 =sup of . We have to show =0 converges for and diverges for .

Subproof.

Let with be arbitrary.

Then since is the least upper bound of and is smaller, is not an upper bound of so there is with and hence there is ₀ with ₀ = and =0 ₀ converging. Thus by the previous result =0 converges absolutely.

So =0 _{converges absolutely} . Also,

Subproof.

Let with be arbitrary.

Then if =0 converges we would have . But this is impossible as is an upper bound of and . Therefore =0 does not converge.

So =0 _{does not converge} .

3. Examples

Example.

The series =0 has radius of convergence 1. It converges absolutely if 1 , and diverges for all other including 1 and -1.

Proof.

The ratio of consecutive terms of =0 is ⁺¹ = . This is less than 1 if 1 , in which case the series converges absolutely by the ratio test. It is greater than one if 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 =1 or =-1 and the series is either =0 1 or =0 -1 . Both these diverge by the null sequence test.

Example.

The series =0 has radius of convergence 1. It converges absolutely if 1 , converges conditionally when =-1 and diverges for all other including 1.

Proof.

The ratio of consecutive terms of =0 is +1= 1+ ^-1 which converges to . Therefore, using the ratio test as in the last example, the radius of convergence is 1 and the series converges absolutely when 1 and diverges when 1 . For =1 our series is the harmonic series, which diverges, and for =-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 =0 ² has radius of convergence 1. It converges absolutely if 1 , and diverges for all other .

Proof.

Again, the ratio of consecutive terms of =0 is ² (+1)² = 1+2 ^{-1+
^-2} which converges to . Therefore, by the ratio test again, the radius of convergence is 1 and the series converges absolutely when 1 and diverges when 1 . For =1 our series is =0 ^-2 which converges and is made up of positive terms only, hence converges absolutely. For =-1 it also converges absolutely as the absolute value of the terms in this series are the same terms as in the case =1.

Example.

The series =0 has radius of convergence . It converges absolutely for all .

Proof.

The ratio of consecutive terms of =0 is +1 0 as , so by the ratio test the series converges absolutely for all .

Example.

The series =0 has radius of convergence 0. It converges for =0 and diverges for all 0 .

Proof.

For 0 the sequence is not null. To see this, let = ^-1 and let be any odd positive integer with . Then 1 ² 1, 2 ^2-1 1, 3 ^2-2 1, and so on, hence ² ^² . This is the base case of an induction argument that shows that for ² . (The induction step is easy as for such .) Since = ^-1 it follows that 1 for ² and is not a null sequence.

Hence from the null sequence test that the series =0 does not converge absolutely for any 0 . From this it follows by the theorem on power series given above that =0 does not converge at all for any 0 . For if this series did converge with 0 then =0 2 would also converge.