
8.6 Introduction to Power Series
The simplest functions that we know are those that are of the form x / x
n
where n
is a nonnegative integer: The constant function f (x) 5 x
0
5 1, the functions g(x) 5 x,
h(x) 5 x
2
, and so on. These functions are easy to understand and simple to com-
pute. We use them to form polynomials a
0
1 a
1
x 1 1 a
N
x
N
, which are also
straightforward to handle. Now that we understand the concept of “infinite series,”
it is natural to create functions by summing infinitely many powers of x.
DEFINITION
An expression of the form a
0
1 a
1
x 1 a
2
x
2
1 a
3
x
3
1 , where the
a
n
’s are constants, is called a power series in x. It is convenient to denote the
constant term a
0
by a
0
x
0
so that we may use sigma notation to express the power
series a
0
1 a
1
x 1 a
2
x
2
1 a
3
x
3
1 as
P
N
n50
a
n
x
n
.
⁄ EX
AMPLE 1 Are the infinite series
P
N
n50
ð
ffiffiffi
x
p
Þ
n
,
P
N
n53
ð2xÞ
n
and
P
N
n50
ðx
2
Þ
n
power series in x?
Solution In
the definition of a power series, each power of x that appears is a
nonnegative integer. Therefore the series
P
N
n50
ð
ffiffiffi
x
p
Þ
n
5
P
N
n50
x
n=2
5 1 1
ffiffiffi
x
p
1
x 1 x
ffiffiffi
x
p
1 is not a power series. The series
P
N
n53
ð2xÞ
n
5
P
N
n53
2
n
x
n
may be
written as 0 1 0 x 1 0 x
2
1 2
3
x
3
1 2
4
x
4
1
.
Therefore
P
N
n53
ð2xÞ
n
is a power
series even though it begins with the index n 5 3. Similarly,
X
N
n50
ðx
2
Þ
n
5 1 1 x
2
1 x
4
1 5 1 1 0 x 1 x
2
1 0 x
3
1 1 x
4
1
is a power series.
¥
Notice that the power series a
0
1 a
1
x 1 a
2
x
2
1 converges for x 5 0 because it
reduces to its initial term a
0
when x 5 0. Thus the set on which the series
P
N
n50
a
n
x
n
converges is not empty; it contains the point 0 at the least. We may therefore regard
P
N
n50
a
n
x
n
as a function of x . The domain of this function is the (nonempty) set of x
for which the series converges.
⁄ EX
AMPLE 2 For what values of x does the power series f ðxÞ5
P
N
n50
x
n
converge?
Solution Compare
P
N
n50
x
n
with the left side of equation (8.1.2). The only
difference is that here we are using x instead of r. Thus we see that f (x)isa
geometric series with ratio x. As we know from Section 1, it converges when jxj, 1
and diverges when jxj$ 1. Thus the function f is defined for x 2(21, 1). From our
study of geometric series, we know that f (x) 5 1/(1 2 x) for these values of x.
¥
Radius and Interval
of Convergence
The set of values at which a power series converges always has a special form.
Suppose, for example, that the power series
P
N
n50
a
n
x
n
converges at some x 5 t and
that jsj, jtj. Then, lim
n-N
ja
n
t
n
j5 0 by the Divergence Test (Section 8.2). In par-
ticular, we have ja
n
t
n
j# 1 for sufficiently large n. For such n, and for r 5 jsj/jtj,we
see that r , 1andja
n
s
n
j5 r
n
ja
n
t
n
j# r
n
. We conclude that
P
N
n50
ja
n
s
n
j converges
674 Chapter 8 Infinite Series