Skip to main content

Section 10.6 Power Series

So far, our study of series has examined the question of “Is the sum of these infinite terms finite?,” i.e., “Does the series converge?” We now approach series from a different perspective: as a function. Given a value of \(x\text{,}\) we evaluate \(f(x)\) by finding the sum of a particular series that depends on \(x\) (assuming the series converges). We start this new approach to series with a definition.

Figure 10.6.1. Video introduction to Section 10.6
Definition 10.6.2. Power Series.

Let \(\{a_n\}\) be a sequence, let \(x\) be a variable, and let \(c\) be a real number.

  1. The power series in \(x\) is the series

    \begin{equation*} \infser[0] a_nx^n = a_0+a_1x+a_2x^2+a_3x^3+\ldots \end{equation*}
  2. The power series in \(x\) centered at \(c\) is the series

    \begin{equation*} \infser[0] a_n(x-c)^n = a_0+a_1(x-c)+a_2(x-c)^2+a_3(x-c)^3+\ldots \end{equation*}
Example 10.6.3. Examples of power series.

Write out the first five terms of the following power series:

  1. \(\displaystyle \infser[0] x^n\)
  2. \(\displaystyle \infser (-1)^{n+1}\frac{(x+1)^n}n\)
  3. \(\displaystyle \infser[0] (-1)^{n+1} \frac{(x-\pi)^{2n}}{(2n)!}\)
Solution
  1. One of the conventions we adopt is that \(x^0=1\) regardless of the value of \(x\text{.}\) Therefore

    \begin{equation*} \infser[0] x^n = 1+x+x^2+x^3+x^4+\ldots \end{equation*}

    This is a geometric series in \(x\) with \(r=x\text{.}\)

  2. This series is centered at \(c=-1\text{.}\) Note how this series starts with \(n=1\text{.}\) We could rewrite this series starting at \(n=0\) with the understanding that \(a_0=0\text{,}\) and hence the first term is \(0\text{.}\)

    \begin{align*} \amp \infser (-1)^{n+1}\frac{(x+1)^n}n\\ \amp =(x+1) - \frac{(x+1)^2}{2} + \frac{(x+1)^3}{3} - \frac{(x+1)^4}{4}+\frac{(x+1)^5}{5}\ldots \end{align*}
  3. This series is centered at \(c=\pi\text{.}\) Recall that \(0!=1\text{.}\)

    \begin{align*} \amp \infser[0] (-1)^{n+1} \frac{(x-\pi)^{2n}}{(2n)!}\\ \amp = -1+\frac{(x-\pi)^2}{2} - \frac{(x-\pi)^4}{24}+ \frac{(x-\pi)^6}{6!}-\frac{(x-\pi)^8}{8!}\ldots \end{align*}

We introduced power series as a type of function, where a value of \(x\) is given and the sum of a series is returned. Of course, not every series converges. For instance, in part 1 of Example 10.6.3, we recognized the series \(\ds \infser[0] x^n\) as a geometric series in \(x\text{.}\) Theorem 10.2.6 states that this series converges only when \(\abs{x}\lt 1\text{.}\)

This raises the question: “For what values of \(x\) will a given power series converge?,” which leads us to a theorem and definition.

Figure 10.6.5. Video presentation of Theorem 10.6.4 and Definition 10.6.6

The value of \(R\) is important when understanding a power series, hence it is given a name in the following definition. Also, note that part 2 of Theorem 10.6.4 makes a statement about the interval \((c-R,c+R)\text{,}\) but the not the endpoints of that interval. A series may/may not converge at these endpoints.

Definition 10.6.6. Radius and Interval of Convergence.
  1. The number \(R\) given in Theorem 10.6.4 is the radius of convergence of a given series. When a series converges for only \(x=c\text{,}\) we say the radius of convergence is 0, i.e., \(R=0\text{.}\) When a series converges for all \(x\text{,}\) we say the series has an infinite radius of convergence, i.e., \(R=\infty\text{.}\)

  2. The interval of convergence is the set of all values of \(x\) for which the series converges.

To find the values of \(x\) for which a given series converges, we will use the convergence tests we studied previously (especially the Ratio Test). However, the tests all required that the terms of a series be positive. The following theorem gives us a work-around to this problem.

Theorem 10.6.7 allows us to find the radius of convergence \(R\) of a series by applying the Ratio Test (or any applicable test) to the absolute value of the terms of the series. We practice this in the following example.

Example 10.6.8. Determining the radius and interval of convergence.

Find the radius and interval of convergence for each of the following series:

  1. \(\displaystyle \ds \infser[0] \frac{x^n}{n!}\)

  2. \(\displaystyle \ds \infser (-1)^{n+1}\frac{x^n}{n} \)

  3. \(\displaystyle \ds \infser[0] 2^n(x-3)^n \)

  4. \(\displaystyle \ds \infser[0] \abs{\frac{x^n}{n!}}\)

Solution
  1. We apply the Ratio Test to the series \(\ds \infser \abs{\frac{x^n}{n!}}\text{:}\)

    \begin{align*} \lim_{n\to\infty} \frac{\abs{x^{n+1}/(n+1)!}}{\abs{x^n/n!}} \amp = \lim_{n\to\infty} \abs{\frac{x^{n+1}}{x^n}\cdot\frac{n!}{(n+1)!}}\\ \amp = \lim_{n\to\infty} \abs{\frac x{n+1}}\\ \amp = 0 \text{ for all } x\text{.} \end{align*}

    The Ratio Test shows us that regardless of the choice of \(x\text{,}\) the series converges. Therefore the radius of convergence is \(R=\infty\text{,}\) and the interval of convergence is \((-\infty,\infty)\text{.}\)

  2. We apply the Ratio Test to the series \(\ds \infser \abs{(-1)^{n+1}\frac{x^n}{n}} = \infser \abs{\frac{x^n}{n}}\text{:}\)

    \begin{align*} \lim_{n\to\infty} \frac{\abs{x^{n+1}/(n+1)}}{\abs{x^n/n}} \amp = \lim_{n\to\infty} \abs{\frac{x^{n+1}}{x^n}\cdot \frac{n}{n+1}}\\ \amp = \lim_{n\to\infty} n!x^n\\ \amp = \abs{x}\text{.} \end{align*}

    The Ratio Test states a series converges if the limit of \(\abs{a_{n+1}/a_n} = L\lt 1\text{.}\) We found the limit above to be \(\abs{x}\text{;}\) therefore, the power series converges when \(\abs{x} \lt 1\text{,}\) or when \(x\) is in \((-1,1)\text{.}\) Thus the radius of convergence is \(R=1\text{.}\) To determine the interval of convergence, we need to check the endpoints of \((-1,1)\text{.}\) When \(x=-1\text{,}\) we have the opposite of the Harmonic Series:

    \begin{align*} \infser (-1)^{n+1}\frac{(-1)^n}{n} \amp = \infser \frac{-1}{n}\\ \amp = -\infty\text{.} \end{align*}

    The series diverges when \(x=-1\text{.}\) When \(x=1\text{,}\) we have the series \(\ds \infser (-1)^{n+1}\frac{(1)^n}{n}\text{,}\) which is the Alternating Harmonic Series, which converges. Therefore the interval of convergence is \((-1,1]\text{.}\)

  3. We apply the Ratio Test to the series \(\ds\infser[0] \abs{2^n(x-3)^n}\text{:}\)

    \begin{align*} \lim_{n\to\infty} \frac{\abs{ 2^{n+1}(x-3)^{n+1}}}{\abs{2^n(x-3)^n}} \amp = \lim_{n\to\infty} \abs{\frac{2^{n+1}}{2^n}\cdot\frac{(x-3)^{n+1}}{(x-3)^n}}\\ \amp =\lim_{n\to\infty} \abs{2(x-3)}\text{.} \end{align*}

    According to the Ratio Test, the series converges when \(\abs{2(x-3)}\lt 1 \implies \abs{x-3} \lt 1/2\text{.}\) The series is centered at 3, and \(x\) must be within \(1/2\) of 3 in order for the series to converge. Therefore the radius of convergence is \(R=1/2\text{,}\) and we know that the series converges absolutely for all \(x\) in \((3-1/2,3+1/2) = (2.5, 3.5)\text{.}\) We check for convergence at the endpoints to find the interval of convergence. When \(x=2.5\text{,}\) we have:

    \begin{align*} \infser[0] 2^n(2.5-3)^n \amp = \infser[0] 2^n(-1/2)^n\\ \amp =\infser[0] (-1)^n\text{,} \end{align*}

    which diverges. A similar process shows that the series also diverges at \(x=3.5\text{.}\) Therefore the interval of convergence is \((2.5, 3.5)\text{.}\)

  4. We apply the Ratio Test to \(\ds \infser[0] \abs{n!x^n}\text{:}\)

    \begin{align*} \lim_{n\to\infty} \frac{\abs{ (n+1)!x^{n+1}}}{\abs{n!x^n}} \amp = \lim_{n\to\infty} \abs{(n+1)x}\\ \amp = \infty\, \text{ for all \(x\), except \(x=0\). } \end{align*}

    The Ratio Test shows that the series diverges for all \(x\) except \(x=0\text{.}\) Therefore the radius of convergence is \(R=0\text{.}\)

We can use a power series to define a function:

\begin{equation*} f(x) = \infser[0] a_nx^n \end{equation*}

where the domain of \(f\) is a subset of the interval of convergence of the power series. One can apply calculus techniques to such functions; in particular, we can find derivatives and antiderivatives.

Figure 10.6.10. Video presentation of Theorem 10.6.9

A few notes about Theorem 10.6.9:

  1. The theorem states that differentiation and integration do not change the radius of convergence. It does not state anything about the interval of convergence. They are not always the same.

  2. Notice how the summation for \(\fp(x)\) starts with \(n=1\text{.}\) This is because the constant term \(a_0\) of \(f(x)\) becomes \(0\) through differentiation.

  3. Differentiation and integration are simply calculated term-by-term using the Power Rules.

Example 10.6.11. Derivatives and indefinite integrals of power series.

Let \(\ds f(x) = \infser[0] x^n\text{.}\) Find \(\fp(x)\) and \(\ds F(x) =\int f(x)\, dx\text{,}\) along with their respective intervals of convergence.

Solution

We find the derivative and indefinite integral of \(f(x)\text{,}\) following Theorem 10.6.9.

  1. \begin{align*} \fp(x) \amp = \infser nx^{n-1} = 1+2x+3x^2+4x^3+\cdots\\ \amp = \infser[0](n+1)x^n\text{.} \end{align*}

    In Example 10.6.3, we recognized that \(\ds \infser[0] x^n\) is a geometric series in \(x\text{.}\) We know that such a geometric series converges when \(\abs{x}\lt 1\text{;}\) that is, the interval of convergence is \((-1,1)\text{.}\) To determine the interval of convergence of \(\fp(x)\text{,}\) we consider the endpoints of \((-1,1)\text{:}\)

    \begin{equation*} \fp(-1) = 1-2+3-4+\cdots, \text{ which diverges. } \end{equation*}
    \begin{equation*} \fp(1) = 1+2+3+4+\cdots, \text{ which diverges. } \end{equation*}

    Therefore, the interval of convergence of \(\fp(x)\) is \((-1,1)\text{.}\)

  2. \(\ds F(x) = \int f(x)\, dx = C+\infser[0] \frac{x^{n+1}}{n+1} = C+ x+\frac{x^2}{2}+\frac{x^3}3+\cdots\) To find the interval of convergence of \(F(x)\text{,}\) we again consider the endpoints of \((-1,1)\text{:}\)

    \begin{equation*} F(-1) = C-1+1/2-1/3+1/4+\cdots \end{equation*}

    The value of \(C\) is irrelevant; notice that the rest of the series is an Alternating Series that whose terms converge to 0. By the Alternating Series Test, this series converges. (In fact, we can recognize that the terms of the series after \(C\) are the opposite of the Alternating Harmonic Series. We can thus say that \(F(-1) = C-\ln(2)\text{.}\))

    \begin{equation*} F(1) = C+1+1/2+1/3+1/4+\cdots \end{equation*}

    Notice that this summation is \(C\, +\) the Harmonic Series, which diverges. Since \(F\) converges for \(x=-1\) and diverges for \(x=1\text{,}\) the interval of convergence of \(F(x)\) is \([-1,1)\text{.}\)

The previous example showed how to take the derivative and indefinite integral of a power series without motivation for why we care about such operations. We may care for the sheer mathematical enjoyment “that we can”, which is motivation enough for many. However, we would be remiss to not recognize that we can learn a great deal from taking derivatives and indefinite integrals.

Recall that \(\ds f(x) = \infser[0] x^n\) in Example 10.6.11 is a geometric series. According to Theorem 10.2.6, this series converges to \(1/(1-x)\) when \(\abs{x}\lt 1\text{.}\) Thus we can say

\begin{equation*} f(x) = \infser[0] x^n = \frac 1{1-x}, \text{ on } (-1,1)\text{.} \end{equation*}

Integrating the power series, (as done in Example 10.6.11,) we find

\begin{equation} F(x) = C_1+\infser[0] \frac{x^{n+1}}{n+1}\text{,}\label{eq_ps3a}\tag{10.6.1} \end{equation}

while integrating the function \(f(x) = 1/(1-x)\) gives

\begin{equation} F(x) = -\ln\abs{1-x} + C_2\text{.}\label{eq_ps3b}\tag{10.6.2} \end{equation}

Equating Equations (10.6.1) and (10.6.2), we have

\begin{equation*} F(x) = C_1+\infser[0] \frac{x^{n+1}}{n+1} = -\ln\abs{1-x} + C_2\text{.} \end{equation*}

Letting \(x=0\text{,}\) we have \(F(0) = C_1 = C_2\text{.}\) This implies that we can drop the constants and conclude

\begin{equation*} \infser[0] \frac{x^{n+1}}{n+1} = -\ln\abs{1-x}\text{.} \end{equation*}

We established in Example 10.6.11 that the series on the left converges at \(x=-1\text{;}\) substituting \(x=-1\) on both sides of the above equality gives

\begin{equation*} -1+\frac12-\frac13+\frac14-\frac15+\cdots = -\ln(2)\text{.} \end{equation*}

On the left we have the opposite of the Alternating Harmonic Series; on the right, we have \(-\ln(2)\text{.}\) We conclude that

\begin{equation*} 1-\frac12+\frac13-\frac14+\cdots = \ln(2)\text{.} \end{equation*}

Important: We stated in Key Idea 10.2.20 (in Section 10.2) that the Alternating Harmonic Series converges to \(\ln(2)\text{,}\) and referred to this fact again in Example 10.5.6 of Section 10.5. However, we never gave an argument for why this was the case. The work above finally shows how we conclude that the Alternating Harmonic Series converges to \(\ln(2)\text{.}\)

We use this type of analysis in the next example.

Example 10.6.12. Analyzing power series functions.

Let \(\ds f(x) = \infser[0] \frac{x^n}{n!}\text{.}\) Find \(\ds \fp(x)\) and \(\ds \int f(x)\, dx\text{,}\) and use these to analyze the behavior of \(f(x)\text{.}\)

Solution

We start by making two notes: first, in Example 10.6.8, we found the interval of convergence of this power series is \((-\infty,\infty)\text{.}\) Second, we will find it useful later to have a few terms of the series written out:

\begin{equation} \infser[0] \frac{x^n}{n!} = 1 + x + \frac{x^2}2+\frac{x^3}{6} + \frac{x^4}{24} +\cdots\label{eq_ps4}\tag{10.6.3} \end{equation}

We now find the derivative:

\begin{align*} \fp(x) \amp = \infser n\frac{x^{n-1}}{n!}\\ \amp =\infser \frac{x^{n-1}}{(n-1)!} = 1+x+\frac{x^2}{2!}+\cdots.\\ \end{align*}

Since the series starts at \(n=1\) and each term refers to \((n-1)\text{,}\) we can re-index the series starting with \(n=0\text{:}\)

\begin{align*} \amp = \infser[0] \frac{x^{n}}{n!}\\ \amp = f(x)\text{.} \end{align*}

We found the derivative of \(f(x)\) is \(f(x)\text{.}\) The only functions for which this is true are of the form \(y=ce^x\) for some constant \(c\text{.}\) As \(f(0) = 1\) (see Equation (10.6.3)), \(c\) must be 1. Therefore we conclude that

\begin{equation*} f(x) = \infser[0] \frac{x^n}{n!} = e^x \end{equation*}

for all \(x\text{.}\)

We can also find \(\ds \int f(x)\, dx\text{:}\)

\begin{align*} \int f(x)\, dx \amp = C+\infser[0] \frac{x^{n+1}}{n!(n+1)}\\ \amp = C+ \infser[0] \frac{x^{n+1}}{(n+1)!} \end{align*}

We write out a few terms of this last series:

\begin{equation*} C+ \infser[0] \frac{x^{n+1}}{(n+1)!} = C+ x+ \frac{x^2}2+\frac{x^3}{6}+\frac{x^4}{24}+\cdots \end{equation*}

The integral of \(f(x)\) differs from \(f(x)\) only by a constant, again indicating that \(f(x) = e^x\text{.}\)

Example 10.6.12 and the work following Example 10.6.11 established relationships between a power series function and “regular” functions that we have dealt with in the past. In general, given a power series function, it is difficult (if not impossible) to express the function in terms of elementary functions. We chose examples where things worked out nicely.

In this section's last example, we show how to solve a simple differential equation with a power series.

Example 10.6.13. Solving a differential equation with a power series.

Give the first 4 terms of the power series solution to \(y' = 2y\text{,}\) where \(y(0) = 1\text{.}\)

Solution

The differential equation \(y' = 2y\) describes a function \(y=f(x)\) where the derivative of \(y\) is twice \(y\) and \(y(0)=1\text{.}\) This is a rather simple differential equation; with a bit of thought one should realize that if \(y=Ce^{2x}\text{,}\) then \(y' = 2Ce^{2x}\text{,}\) and hence \(y' = 2y\text{.}\) By letting \(C=1\) we satisfy the initial condition of \(y(0)=1\text{.}\)

Let's ignore the fact that we already know the solution and find a power series function that satisfies the equation. The solution we seek will have the form

\begin{equation*} f(x) = \infser[0] a_nx^n = a_0+a_1x+a_2x^2+a_3x^3+\cdots \end{equation*}

for unknown coefficients \(a_n\text{.}\) We can find \(\fp(x)\) using Theorem 10.6.9:

\begin{equation*} \fp(x) = \infser a_n\cdot n\cdot x^{n-1} = a_1+2a_2x+3a_3x^2+4a_4x^3\cdots\text{.} \end{equation*}

Since \(\fp(x) = 2f(x)\text{,}\) we have

\begin{align*} a_1+2a_2x+3a_3x^2+4a_4x^3\cdots \amp = 2\big(a_0+a_1x+a_2x^2+a_3x^3+\cdots\big)\\ \amp =2a_0+2a_1x+2a_2x^2+2a_3x^3+\cdots \end{align*}

The coefficients of like powers of \(x\) must be equal, so we find that

\begin{equation*} a_1 = 2a_0, 2a_2 = 2a_1, 3a_3 = 2a_2, 4a_4 = 2a_3, \text{ etc. } \end{equation*}

The initial condition \(y(0) = f(0) = 1\) indicates that \(a_0 = 1\text{;}\) with this, we can find the values of the other coefficients:

\begin{align*} a_0 = 1 \text{ and } a_1=2a_0 \amp \Rightarrow a_1 = 2;\\ a_1 = 2 \text{ and } 2a_2 = 2a_1 \amp \Rightarrow a_2=4/2 =2;\\ a_2=2 \text{ and } 3a_3 = 2a_2 \amp \Rightarrow a_3=8/(2\cdot3)=4/3;\\ a_3=4/3 \text{ and } 4a_4 = 2a_3 \amp \Rightarrow a_4 =16/(2\cdot3\cdot4)= 2/3\text{.} \end{align*}

Thus the first 5 terms of the power series solution to the differential equation \(y'=2y\) is

\begin{equation*} f(x) = 1+ 2x+2x^2 + \frac43x^3+\frac23x^4+\cdots \end{equation*}

In Section 10.7, as we study Taylor Series, we will learn how to recognize this series as describing \(y=e^{2x}\text{.}\)

Our last example illustrates that it can be difficult to recognize an elementary function by its power series expansion. It is far easier to start with a known function, expressed in terms of elementary functions, and represent it as a power series function. One may wonder why we would bother doing so, as the latter function probably seems more complicated. In the next two sections, we show both how to do this and why such a process can be beneficial.

Exercises Exercises

Terms and Concepts
1.

We adopt the convention that \(x^0=\), regardless of the value of \(x\text{.}\)

2.

What is the difference between the radius of convergence and the interval of convergence?

3.

If the radius of convergence of \(\ds\infser[0] a_nx^n\) is 5, what is the radius of convergence of \(\ds\infser n\cdot a_nx^{n-1}\text{?}\)

4.

If the radius of convergence of \(\ds\infser[0] a_nx^n\) is 5, what is the radius of convergence of \(\ds\infser[0] (-1)^na_nx^n\text{?}\)

Problems

In the following exercises, write out the sum of the first 5 terms of the given power series.

5.

\(\ds\infser[0] 2^nx^n\)

6.

\(\ds\infser \frac{1}{n^2}x^n\)

7.

\(\ds\infser[0] \frac{1}{n!}x^n\)

8.

\(\ds\infser[0] \frac{(-1)^n}{(2n)!}x^{2n}\)

In the following exercises, a power series is given.

  1. Find the radius of convergence.

  2. Find the interval of convergence.

9.

\(\ds\infser[0] \frac{(-1)^{n+1}}{n!}x^{n}\)

10.

\(\ds\infser[0] nx^{n}\)

11.

\(\ds\infser \frac{(-1)^n(x-3)^{n}}{n}\)

12.

\(\ds\infser[0] \frac{(x+4)^{n}}{n!}\)

13.

\(\ds\infser[0] \frac{x^{n}}{2^n}\)

14.

\(\ds\infser[0] \frac{(-1)^n(x-5)^{n}}{10^n}\)

15.

\(\ds\infser[0] 5^n(x-1)^{n}\)

16.

\(\ds\infser[0] (-2)^nx^{n}\)

17.

\(\ds\infser[0] \sqrt{n}x^{n}\)

18.

\(\ds\infser[0] \frac{n}{3^n}x^{n}\)

19.

\(\ds\infser[0] \frac{3^n}{n!}(x-5)^{n}\)

20.

\(\ds\infser[0] (-1)^nn!(x-10)^{n}\)

21.

\(\ds\infser \frac{x^n}{n^2}\)

22.

\(\ds\infser \frac{(x+2)^n}{n^3}\)

23.

\(\ds\infser[0] n!\left(\frac x{10}\right)^n\)

24.

\(\ds\infser[0] n^2\left(\frac{x+4}{4}\right)^n\)

In the following exercises, a function \(\ds f(x) = \infser[0] a_nx^n\) is given.

  1. Give a power series for \(\fp(x)\) and its interval of convergence.

  2. Give a power series for \(\int f(x)\, dx\) and its interval of convergence.

25.

\(\ds\infser[0] nx^n\)

26.

\(\ds\infser \frac{x^n}{n}\)

27.

\(\ds\infser[0] \left(\frac{x}{2}\right)^n\)

28.

\(\ds\infser[0] (-3x)^n\)

29.

\(\ds\infser[0] \frac{(-1)^nx^{2n}}{(2n)!}\)

30.

\(\ds\infser[0] \frac{(-1)^nx^{n}}{n!}\)

In the following exercises, give the first 5 terms of the series that is a solution to the given differential equation.

31.

\(y\,'=3y\text{,}\)\(y(0)=1\)

32.

\(y\,'=5y\text{,}\)\(y(0)=5\)

33.

\(y\,'=y^2\text{,}\)\(y(0)=1\)

34.

\(y\,'=y+1\text{,}\)\(y(0)=1\)

35.

\(y\,''=-y\text{,}\)\(y(0)=0\text{,}\) \(y\,'(0) = 1\)

36.

\(y\,''=2y\text{,}\)\(y(0)=1\text{,}\) \(y\,'(0) = 1\)