Week 3 Power series

Version 2025/02/12 Week 3 in PDF All notes in PDF To other weeks

Notice (Feb 2025): Week 3 lectures begin with the Alternating Series Test, Theorem 2.8.

We now consider series where the nth term depends on a variable x and we ask for which x does the series converge. We study the simplest case of a series with x: power series.

Definition: power series.

Let c0,c1,c2, be real numbers. A series of the form n=0cnxn, which we also write as C(x), is called a power series in the variable x.

A power series can be convergent for some values of x and divergent for others:

Example: geometric series as a power series.

Let G(x) denote the power series 1+x+x2+x3+ Then G(x) is convergent when |x|<1 and divergent when |x|1. Indeed, for any given value of x, G(x) becomes a geometric series with ratio x, and we apply the known results.

The set of x where G(x) is convergent is the interval (1,1). We will show that the picture for other power series is broadly similar, although their interval of convergence can be closed, half open or open, or be the whole real line R. We begin with a lemma.

Lemma 3.1: absolute convergence for smaller modulus.

If, for a given x0R, the power series C(x0) is convergent, then for all y with |y|<|x0|, C(y) is absolutely convergent.

  • Proof. Assume C(x0)=n=0cnx0n is a convergent series. Then by the Nullity Test, the sequence (cnx0n)n0 has limit 0. Sequences that have a limit are bounded, so there exists M0 such that |cnx0n|M for all n.

    Given y: |y|<|x0|, set r=|y||x0|. As |r|<1, the geometric series nMrn converges, and

    0|cnyn|=|cnx0n|rnMrn for all n.

    Hence by the Comparison Test, n=0|cnyn| is convergent. This means that the series C(y)=n=0cnyn is absolutely convergent.

Corollary 3.2: the set of points where the power series is convergent.

The set of tR such that the series C(t) is convergent is one of the following:

  • i. interval (R,R), [R,R], (R,R] or [R,R) where R>0;

  • ii. {0};

  • iii. R.

We formally put R=0 in ii. and R= in iii., so that there is a unique value R[0,] such that C(t) is absolutely convergent when |t|<R and divergent when |t|>R.

  • Proof. These are all the possible subsets I of R which contain 0 and have the property: if x0I then I contains the interval (|x0|,|x0|), required by Lemma 3.1. See the illustration in Figure 3.1.

(-tikz- diagram)

Figure 3.1: The possible intervals I of convergence of a power series

Definition: interval of convergence, radius of convergence.

The set I given in Corollary 3.2 is called the interval of convergence of the power series C(x), and R[0,] is the radius of convergence.

Remark: suppose the radius of convergence R of C(x) is strictly between 0 and . At x=R, the series C(x) may

  • be absolutely convergent; or

  • be conditionally convergent; or

  • be divergent.

At x=R one of the three options will also hold. We note that the series is absolutely convergent at x=R iff it is absolutely convergent at x=R, because n0|anRn| and n0|an(R)n| are the same series.

We have already obtained the following

Result: interval of convergence of G(x)=n=0xn.

G(x)=1+x+x2+ has radius of convergence 1, interval of convergence (1,1).

We will use a practical method to find the interval of convergence of a power series:

Method: finding the interval of convergence.

  • 1. Apply the Ratio Test to the non-negative series n=0|an||x|n.

  • 2. The answer will show absolute convergence of n=0anxn when |x|<R, where R is the radius of convergence.

  • 3. Use further tests to check convergence of n=0anxn at x=R and x=R.

Example 1: find the interval of convergence of the series n=1xnn=x+x22+x33+ and determine the type of convergence at the endpoints of the interval.

Solution. We apply the Ratio Test to the series n=1|xn|n:

=limn|xn+1|/(n+1)|xn|/n=limn|x|nn+1=|x|limn11+1n=|x|11+0=|x|.

If <1, that is |x|<1, the series n=1xnn is absolutely convergent. If |x|>1, the series is not absolutely convergent. We conclude that the radius of convergence is R=1.

What happens when x=±1?

At x=1 the series n=1xnn becomes 1+1213+14 This is 1 times the alternating harmonic series, convergent (conditionally) by the Alternating Series Test.

At x=1 the series is the harmonic series 1+12+13+14+, divergent. We have:

Result: the interval of convergence of n=1xnn.

The interval of convergence is [1,1). At x=1 convergence is conditional.

Example 2: find the interval of convergence of the series n=1nxn=x+2x2+3x3+ and determine the type of convergence at the endpoints of the interval.

Solution. We apply the Ratio Test to the series n=1nxn:

=limn(n+1)|xn+1|n|xn|=limn|x|n+1n=|x|.

If <1, that is |x|<1, the series n=1xnn is absolutely convergent. If |x|>1, the series is not absolutely convergent. We conclude that the radius of convergence is R=1.

At x=±1 the series is n=1n(±1)n, divergent by Nullity Test.

Result: the interval of convergence of n=1nxn.

The interval of convergence is (1,1).

Remark. A limitation of power series that it can only define a function on an interval centred at zero. To overcome this, one can consider, for aR, power series at a:

n=0cn(xa)n.

Such a series defines a function on an interval I such that (aR,a+R)I[aR,a+R] where R is the radius of convergence.

The function defined by a power series is continuous

Every power series C(x) can be viewed as a real-valued function on I, its interval of convergence. We claim that, at least on the open interval (R,R), this function is continuous. As C(x) is an infinite sum of terms of the form cnxn which are continuous functions of x, it makes sense to study the continuity of a sum of a series of functions. We begin with the following

Proposition 3.3: infinite sum of increasing continuous functions.

Suppose each of the functions f1(x),f2(x), is increasing and continuous on [c,d], and for each x[c,d] the series m=1fm(x) is convergent with sum F(x). Then F(x) is a continuous function on [c,d].

  • Proof. By criterion of continuity, we need to prove, for each b(c,d), that limxbF(x)=limxb+F(x)=F(b). We will only prove that limxbF(x) is F(b); the limit limxb+ is similar and is left to the student. By Lemma 1.1, we need to show that

    (*)limnF(xn)=F(b),

    given any strictly increasing sequence x1,x2, with limit b. To prove (*), we sum the double series am,n=fm(xn)fm(xn1),

    f1(x2)f1(x1)f1(x3)f1(x2)f1(x4)f1(x3)f2(x2)f2(x1)f2(x3)f2(x2)f2(x4)f2(x3)f3(x2)f3(x1)f3(x3)f3(x2)f3(x4)f3(x3)

    by two methods. The first method is summation by columns, where we calculate

    ColumnSumn=m=1fm(xn)fm(xn1)=F(xn)F(xn1),

    so that n=2ColumnSumn=n=2F(xn)F(xn1). A partial sum (F(x2)F(x1))+(F(x3)F(x2))++(F(xn)F(xn1)) of this series is telescoping: the intermediate terms cancel, leaving F(xn)F(x1). The sum of the series is the limit of partial sums, so

    n=2ColumnSumn=limnF(xn)F(x1).

    The second method is summation by rows: using telescoping sums again, we calculate

    RowSumm=n=2fm(xn)fm(xn1)=limnfm(xn)fm(x1).

    Here fm is continuous, so xnb as n implies limnfm(xn)=fm(b). Therefore

    m=1RowSumm=m=1fm(b)fm(x1)=F(b)F(x1).

    Note that all the am,n are non-negative: xn>xn1, fm is increasing, so fm(xn)fm(xn1). Hence by Proposition 2.3, the sum of all the am,n does not depend on the method of summation, which means that limnF(xn)F(x1)=F(b)F(x1). This proves (*) and the Proposition.

If we consider the function fm(x)=cmxm on, say, an interval [0,d], it can be increasing or decreasing, depending on the sign of cm. Recall that a function which is increasing on [c,d] or is decreasing on [c,d] is called a monotone function. With this in mind, we give a modified version of the previous result.

Proposition 3.4: absolutely convergent sum of monotone continuous functions.

Suppose each of the functions f1(x),f2(x), is monotone and continuous on [c,d], and for each x[c,d] the series m=1fm(x) is absolutely convergent and has sum F(x). Then F(x) is a continuous function on [c,d].

  • Proof (not given in class). We literally repeat the proof of Proposition 3.3, not including the last paragraph which begins with the words “Note that all the am,n are non-negative.”: am,n=fm(xn)fm(xn1) may be negative, so we cannot use Proposition 2.3 to say that the sum of the double series does not depend on the method of summation.

    Instead, we will use Claim 2.7. For that, we need to check that m,n|am,n|<+. Note that in the mth row, all numbers am,2,am,3, are either all non-negative if fm is an increasing function, or all non-positive if fm is decreasing. That is,

    n=2|am,n|=|fm(x2)fm(x1)|+|fm(x3)fm(x2)|+={(fm(x2)fm(x1))+(fm(x3)fm(x2))+, if fm is increasing,(fm(x2)fm(x1))(fm(x3)fm(x2)), if fm is decreasing, which is a telescopic series with sum |fm(b)fm(x1)|. By the triangle inequality, |fm(b)fm(x1)| is bounded above by |fm(b)|+|fm(x1)|.

    Therefore, m,n|am,n|m=1|fm(b)|+m=1|fm(x1)|. This is finite by the assumption about absolute convergence. So Claim 2.7 guarantees that summation of the am,n by colums gives the same answer as summation by rows, leading to the same conclusion as in Proposition 3.3.

Theorem 3.5: a function defined by a power series is continuous.

Let C(x) denote the sum of a power series with radius of convergence R. Then C(x) is a continuous function on the interval (R,R).

  • Proof. Let C(x)=c0+c1x+c2x2+ Each term cmxm is a continuous and monotone function on [0,R), the convergence for |x|<R is absolute, so by Proposition 3.4, C(x) is continuous on [0,R).

    On (R,0], C(x) is continuous for exactly the same reason. We have to split the interval (R,R) into (R,0] and [0,R) because if m is even, xm is not monotone on the whole (R,R) but is monotone on (R,0] and on [0,R).

    It is easy to check (using one-sided limits at 0) that a function, continuous on (R,0] and on [0,R), is continuous on (R,R).

Version 2025/02/12 Week 3 in PDF All notes in PDF To other weeks