8.6: Power Series
- Page ID
- 4346
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Learning Objectives
In this section, we strive to understand the ideas generated by the following important questions:
- What is a power series?
- What are some important uses of power series?
- What is the connection between power series and Taylor series?
We have noted at several points in our work with Taylor polynomials and Taylor series that polynomial functions are the simplest possible functions in mathematics, in part because they essentially only require addition and multiplication to evaluate. Moreover, from the point of view of calculus, polynomials are especially nice: we can easily differentiate or integrate any polynomial. In light of our work in Section 8.5, we now know that several important non-polynomials have polynomial-like expansions. For example, for any real number \(x\),
\(e^x = 1 + x + \dfrac{x^2}{ 2!} + \dfrac{x^3}{3!} + \ldots + \dfrac{x^n}{n!} + \ldots .\)
As we continue our study of infinite series, there are two settings where other series like the one for \(e^x\) arise: one is where we are simply given an expression like
\(1 + 2x + 3x^2 + 4x^3 + \ldots \)
and we seek the values of x for which the expression makes sense, while another is where we are trying to find an unknown function \(f\), and we think about the possibility that the function has expression
\(f(x) = a_0 + a_1 x + a_2 x^2 + \ldots + a_k x^k + \ldots , \)
and we try to determine the values of the constants \(a_0\), \(a_1\), . . .. The latter situation is explored in Preview Activity \(\PageIndex{1}\).
Preview Activity \(\PageIndex{1}\)
In Chapter 7, we learned some of the many important applications of differential equations, and learned some approaches to solve or analyze them. Here, we consider an important approach that will allow us to solve a wider variety of differential equations. Let’s consider the familiar differential equation from exponential population growth given by
\[y' = k y, \tag{8.25}\label{8.25}\]
where \(k\) is the constant of proportionality. While we can solve this differential equation using methods we have already learned, we take a different approach now that can be applied to a much larger set of differential equations. For the rest of this activity, let’s assume that \(k = 1\). We will use our knowledge of Taylor series to find a solution to the differential Equation \(\ref{8.25}\).
To do so, we assume that we have a solution \(y = f (x)\) and that \(f (x)\) has a Taylor series that can be written in the form
\(y = f (x) = \sum_{k=0}^{\infty} a_k x^k\),
where the coefficients \(a_k\) are undetermined. Our task is to find the coefficients.
- Assume that we can differentiate a power series term by term. By taking the derivative of \(f (x)\) with respect to \(x\) and substituting the result into the differential equation (\(\ref{8.25}\)), show that the equation
\(\sum_{k=1}^\infty ka_k x^{k-1}=\sum_{k=0}^\infty a_k x^k\)
must be satisfied in order for \(f (x) = \sum_{k=1}^{\infty} a_k x^k\) to be a solution of the DE.infty} a_k x^k\) to be a solution of the DE.
b. Two series are equal if and only if they have the same coefficients on like power terms. Use this fact to find a relationship between \(a_1\) and \(a_0\).
c. Now write \(a_2\) in terms of \(a_1\). Then write \(a_2\) in terms of \(a_0\).
d. Write \(a_3\) in terms of \(a_2\). Then write \(a_3\) in terms of \(a_0\).
e. Write \(a_4\) in terms of \(a_3\). Then write \(a_4\) in terms of \(a_0\).
f. Observe that there is a pattern in (b)-(e). Find a general formula for \(a_k\) in terms of \(a_0\).
g. Write the series expansion for y using only the unknown coefficient \(a_0\). From this, determine what familiar functions satisfy the differential equation (\(\ref{8.25}\)). (Hint: Compare to a familiar Taylor series.)
Power Series
As Preview Activity \(\PageIndex{1}\) shows, it can be useful to treat an unknown function as if it has a Taylor series, and then determine the coefficients from other information. In other words, we define a function as an infinite series of powers of x and then determine the coefficients based on something besides a formula for the function. This method of using series illustrated in Preview Activity \(\PageIndex{1}\) to solve differential equations is a powerful and important one that allows us to approximate solutions to many different types of differential equations even if we cannot explicitly solve them. This approach is different from defining a Taylor series based on a given function, and these functions we define with arbitrary coefficients are given a special name.
Definition
A power series centered at \(x = a\) is a function of the form
\[\sum_{k=0}^{\infty} c_k (x − a)^k \tag{8.26}\label{8.26}\]
where {\(c_k\) } is a sequence of real numbers and \(x\) is an independent variable.
We can substitute different values for \(x\) and test whether the resulting series converges or diverges. Thus, a power series defines a function \(f\) whose domain is the set of \(x\) values for which the power series converges. We therefore write
\(f (x) = \sum_{k=0}^{\infty} c_k (x − a)^k \)
It turns out that, on its interval of convergence, a power series is the Taylor series of the function that is the sum of the power series, so all of the techniques we developed in the previous section can be applied to power series as well.
Example \(\PageIndex{1}\)
Consider the power series defined by
\(f (x) = \sum_{k=0}^{\infty} \dfrac{x^k}{2^k}. \).
What are \(f (1)\) and \(f(\dfrac{3}{2})\)? Find a general formula for \(f (x)\) and determine the values for which this power series converges.
7See Exercise 2 in this section.
Solution
If we evaluate \(f\) at \(x = 1\) we obtain the series
\( \sum_{k=0}^{\infty} \dfrac{1}{2^k}\)
which is a geometric series with ratio \(\dfrac{1}{2}\). So we can sum this series and find that
\( f (1) = \dfrac{1}{1 − \dfrac{1}{2}} = 2. \)
Similarly,
\(f (3/2) = \sum_{k=0}^{\infty} \left( \dfrac{3}{4}\right)^k = \dfrac{1}{1 − \dfrac{3}{4}} = 4.\).
In general,\( f (x)\) is a geometric series with ratio \( \dfrac{x}{2}\) and
\(f (x) = \sum_{k=0}^{\infty} \left( \dfrac{x}{2}\right)^k = \dfrac{1}{ 1-\frac{x}{2}} = \dfrac{2}{2 − x} \)
provided that \(−1 < x^2 < 1\) (so that the ratio is less than 1 in absolute value). Thus, the power series that defines \(f\) converges for \(−2 < x < 2\).
As with Taylor series, we define the interval of convergence of a power series (\(\ref{8.26}\)) to be the set of values of \(x\) for which the series converges. In the same way as we did with Taylor series, we typically use the Ratio Test to find the values of \(x\) for which the power series converges absolutely, and then check the endpoints separately if the radius of convergence is finite.
Example \(\PageIndex{2}\)
Let
\(f (x) = \sum_{k=1}^\infty \infty \dfrac{x^k}{k^2} .\)
Determine the interval of convergence of this power series.
First we will draw graphs of some of the partial sums of this power series to get an idea of the interval of convergence. Let
\(S_n(x) = \sum_{k=1}^n \dfrac{x^k}{k^2}\)
for each \( n ≥ 1\). Figure 8.7 shows plots of \(S_10(x)\) (in red), \(S_25(x)\) (in blue), and \(S_50(x)\) (in green). The behavior of \(S_50\) particularly highlights that it appears to be converging to a particular curve on the interval (−1, 1), while growing without bound outside of that interval.
Figure 8.7: Graphs of partial sums of the power series \(\sum_{k=1}^\infty \infty \dfrac{x^k}{k^2}\)
This suggests that the interval of convergence might be \(−1 < x < 1\). To more fully understand this power series, we apply the Ratio Test to determine the values of x for which the power series converges absolutely. For the given series, we have
\(a_k = \dfrac{x^k}{k^2}\),
so
\( \lim_{k \rightarrow \infty}\dfrac{|a_{k+1}|}{|a_k|}= \lim_{k \rightarrow \infty} \dfrac{\dfrac{|x|^{k+1}}{(k+1)^2}}{\dfrac{|x|^k}{k^2}}\)
\(= \lim_{k \rightarrow \infty}|x| \left(\dfrac{k}{k+1}\right)^2\)
\(= |x| \lim_{k \rightarrow \infty} \left(\dfrac{k}{k+1}\right)^2\)
\( = |x|.\)
Therefore, the Ratio Test tells us that the given power series \(f (x)\) converges absolutely when \(|x| < 1\) and diverges when \(|x| > 1\). Since the Ratio Test is inconclusive when \(|x| = 1\), we need to check \(x = 1\) and \(x = −1\) individually.
When \(x = 1\), observe that
\(f (1) = \sum_{k=1}^\infty \infty \dfrac{1}{k^2} \).
This is a \(p\)-series with \(p > 1\), which we know converges. When \(x = −1\), we have
\( f (−1) = \sum_{k=1}^\infty \infty \dfrac{ (−1)^k}{ k^2}\).
This is an alternating series, and since the sequence {\(\dfrac{1}{n^2}\) decreases to 0, the power series converges when \(x = −1\) by the Alternating Series Test. Thus, the interval of convergence of this power series is \(−1 ≤ x ≤ 1\).
Activity \(\PageIndex{1}\)
Determine the interval of convergence of each power series.
- \(\sum_{k=1}^\infty \infty \dfrac{(x − 1)^k}{3k}\)
- \(\sum_{k=1}^\infty k x^k\)
- \(\sum_{k=1}^\infty \infty \dfrac{k^2 (x + 1)^k}{4^k}\)
- \(\sum_{k=1}^\infty \infty \dfrac{x^k}{(2k)!}\)
- \(\sum_{k=1}^\infty k!x^k \)
Manipulating Power Series
Recall that we know several power series expressions for important functions such as \(\sin(x)\) and \(e^x\). Often, we can take a known power series expression for such a function and use that series expansion to find a power series for a different, but related, function. The next activity demonstrates one way to do this.
Activity \(\PageIndex{1}\)
Our goal in this activity is to find a power series expansion for \(f (x) = \dfrac{1}{1 + x^2}\) centered at \(x = 0\).
While we could use the methods of Section 8.5 and differentiate \(f (x) = \dfrac{1}{1 + x^2}\) several times to look for patterns and find the Taylor series for \(f (x)\), we seek an alternate approach because of how complicated the derivatives of \(f (x)\) quickly become.
- What is the Taylor series expansion for \(g(x) = \dfrac{1}{1−x}\) ? What is the interval of convergence of this series?
- How is \(g(−x^2 )\) related to \(f (x)\)? Explain, and hence substitute \(−x^2\) for \(x\) in the power series expansion for \(g(x)\). Given the relationship between \(g(−x^2 )\) and \(f (x)\), how is the resulting series related to \(f (x)\)?
- For which values of \(x\) will this power series expansion for \(f (x)\) be valid? Why?
In a previous section we determined several important Maclaurin series and their intervals of convergence. Here, we list these key functions and remind ourselves of their corresponding expansions.
\(\sin(x) = \sum_{k=0}^{\infty} \dfrac{(−1)^k x^{2k+1}}{(2k + 1)!}\) | for −∞ < x < ∞ |
\( \cos(x) = \sum_{k=0}^{\infty} \dfrac{(−1)^k x^{2k}}{ (2k)!}\) | for −∞ < x < ∞ |
\(e^x = \sum_{k=0}^{\infty} \dfrac{x^k}{k!}\) | for −∞ < x < ∞ |
\( \dfrac{1}{1 − x} = \sum_{k=0}^{\infty} x^k\) | for −1 < x < 1 |
As we saw in Activity 8.29, we can use these known series to find other power series expansions for related functions such as \(sin(x^2)\), \(e^{5x^3}\), and \(\cos(x^5)\). Another important way that we can manipulate power series is illustrated in the next activity.
Activity \(\PageIndex{2}\)
Let \(f\) be the function given by the power series expansion
\( \sum_{k=0}^{\infty} (-1)^k \dfrac{x^{2k}}{(2k)!}\)
- Assume that we can differentiate a power series term by term, just like we can differentiate a (finite) polynomial. Use the fact that
\( f(x) 1 - \dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\dfrac{x^6}{6!}+ \ldots (-1)^k \dfrac{x^{2k}}{(2k!)}+ \ldots\)
to find a power series expansion for \(f'(x)\).
b. Observe that \(f (x)\) and \(f'(x)\) have familiar Taylor series. What familiar functions are these? What known relationship does our work demonstrate?
c. What is the series expansion for \(f''(x)\) ? What familiar function is \(f''(x)\)?
It turns out that our work in Activity 8.29 holds more generally. The corresponding theorem, which we will not prove, states that we can differentiate a power series for a function \(f\) term by term and obtain the series expansion for \(f'\), and similarly we can integrate a series expansion for a function \(f\) term by term and obtain the series expansion for \( \int f (x) dx\). For both, the radius of convergence of the resulting series is the same as the original, though it is possible that the convergence status of the resulting series may differ at the endpoints. The formal statement of the Power Series Differentiation and Integration Theorem follows.
Power Series Differentiation and Integration Theorem.
Suppose \(f (x)\) has a power series expansion
\(f(x)= \sum_{k=0}^\infty c_kx^k \)
so that the series converges absolutely to \(f (x)\) on the interval \(−r < x < r\). Then, the power series \(f(x)= \sum_{k=1}^\infty kc_kx^{k-1} \) obtained by differentiating the power series for \(f (x)\) term by term converges absolutely to \(f'(x)\) on the interval \(−r < x < r\). That is,
\(f'(x)= \sum_{k=1}^\infty kc_kx^{k-1} \), for \( |x| < r\).
Similarly, the power series \( \sum_{k=0}^\infty \dfrac{x^{k+1}}{k+1}\) obtained by integrating the power series for f (x) term by term converges absolutely on the interval \(−r < x < r\), and
\(\int f (x) dx = \sum_{k=0}^{\infty} c_k \dfrac{x^{k+1}}{ k + 1} + C\), for \(|x| < r\).
This theorem validates the steps we took in Activity 8.30. It is important to note that this result about differentiating and integrating power series tells us that we can differentiate and integrate term by term on the interior of the interval of convergence, but it does not tell us what happens at the endpoints of this interval. We always need to check what happens at the endpoints separately. More importantly, we can use use the approach of differentiating or integrating a series term by term to find new series.
Example \(\PageIndex{3}\)
Find a series expansion centered at \(x = 0\) for \(\arctan(x)\), as well as its interval of convergence.
Solution.
While we could differentiate \(\arctan(x)\) repeatedly and look for patterns in the derivative values at \(x = 0\) in an attempt to find the Maclaurin series for\(\arctan(x)\) from the definition, it turns out to be far easier to use a known series in an insightful way. In Activity 8.29, we found that
\(\dfrac{1}{1+x^2}= \sum_{k=0}^\infty (-1)^k x^{2k}\)
for \(−1 < x < 1\). Recall that
\(\dfrac{d}{dx} [\arctan(x)] = \dfrac{1}{1+x^2},\)
and therefore
\(\int \dfrac{1}{(1+x^2)} = \arctan(x) + C. \)
It follows that we can integrate the series for \( \dfrac{1}{1+x^2}\) term by term to obtain the power series expansion for \(\arctan(x)\). Doing so, we find that
\( \arctan(x) = \int \left(\sum_{k=0}^\infty(-1)^kx^{2k}\right)dx \)
\(=\sum_{k=0}^\infty \left(\int (-1)^kx^{2k} dx \right) \)
\(= \sum_{k=0}^\infty (-1)^k \dfrac{x^{2k+1}}{2k+1} \)
The Power Series Differentiation and Integration Theorem tells us that this equality is valid for at least \(−1 < x < 1\).
To find the value of the constant C, we can use the fact that \(\arctan(0) = 0\). So
\( 0 = \arctan(0) = \left( \sum_{k=0}^\infty (-1)^k \dfrac{0^{2k+1}}{2k+1} \right) + C = C,\)
and we must have C = 0. Therefore,
\[\arctan(x) = \sum_{k=0}^\infty \dfrac{x^{2k+1}}{2k+1}\tag{8.27}\label{8.27}\]
for at least \(−1 < x < 1\).
It is a straightforward exercise to check that the power series
\(\sum_{k=0}^\infty (-1)^k \dfrac{x^{2k+1}}{2k+1} \)
converges both when \(x = −1\) and when \(x = 1\); in each case, we have an alternating series with terms \( \dfrac{1}{ 2k+1}\) that decrease to 0, and thus the interval of convergence for the series expansion for \(\arctan(x)\) in Equation (\(\ref{8.27}\)) is \(−1 \leq x \leq 1\).
Activity \(\PageIndex{3}\):
Find a power series expansion for \( \ln(1 + x)\) centered at \(x = 0\) and determine its interval of convergence. (Hint: Use the Taylor series expansion for \( \dfrac{1}{ 1 + x}\) centered at \(x = 0\).
Summary
In this section, we encountered the following important ideas:
- A power series is a series of the form
\(\sum_{k=0}^\infty a_kx^k\)
- We can often assume a solution to a given problem can be written as a power series, then use the information in the problem to determine the coefficients in the power series. This method allows us to approximate solutions to certain problems using partial sums of the power series; that is, we can find approximate solutions that are polynomials.
- The connection between power series and Taylor series is that they are essentially the same thing: on its interval of convergence a power series is the Taylor series of its sum.