Learning Outcomes
 Differentiate and integrate power series termbyterm
Consider a power series [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}={c}_{0}+{c}_{1}x+{c}_{2}{x}^{2}+\cdots [/latex] that converges on some interval I, and let [latex]f[/latex] be the function defined by this series. Here we address two questions about [latex]f[/latex].
 Is [latex]f[/latex] differentiable, and if so, how do we determine the derivative [latex]{f}^{\prime }?[/latex]
 How do we evaluate the indefinite integral [latex]\displaystyle\int f\left(x\right)dx?[/latex]
We know that, for a polynomial with a finite number of terms, we can evaluate the derivative by differentiating each term separately. Similarly, we can evaluate the indefinite integral by integrating each term separately. Recall the general expression of the power rules for derivatives and integrals of polynomials.
Recall: Power rule for Derivatives and Integrals
 [latex] \frac{d}{dx} \left (x^n \right) = nx^{n1} [/latex]
 [latex] \int{x^n\: dx} = \frac{1}{n+1} x^{n+1} + C \:(\text{for}\: n \ne 1 [/latex])
In this section we show that we can take advantage of the simplicity of integrating and differentiating polynomials to do the same thing for convergent power series. That is, if
converges on some interval I, then
and
Evaluating the derivative and indefinite integral in this way is called termbyterm differentiation of a power series and termbyterm integration of a power series, respectively. The ability to differentiate and integrate power series termbyterm also allows us to use known power series representations to find power series representations for other functions. For example, given the power series for [latex]f\left(x\right)=\frac{1}{1x}[/latex], we can differentiate termbyterm to find the power series for [latex]{f}^{\prime }\left(x\right)=\frac{1}{{\left(1x\right)}^{2}}[/latex]. Similarly, using the power series for [latex]g\left(x\right)=\frac{1}{1+x}[/latex], we can integrate termbyterm to find the power series for [latex]G\left(x\right)=\text{ln}\left(1+x\right)[/latex], an antiderivative of g. We show how to do this in the next two examples. First, we state TermbyTerm Differentiation and Integration for Power Series, which provides the main result regarding differentiation and integration of power series.
theorem: TermbyTerm Differentiation and Integration for Power Series
Suppose that the power series [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{\left(xa\right)}^{n}[/latex] converges on the interval [latex]\left(aR,a+R\right)[/latex] for some [latex]R>0[/latex]. Let f be the function defined by the series
for [latex]xa<R[/latex]. Then f is differentiable on the interval [latex]\left(aR,a+R\right)[/latex] and we can find [latex]{f}^{\prime }[/latex] by differentiating the series termbyterm:
for [latex]xa<R[/latex]. Also, to find [latex]\displaystyle\int f\left(x\right)dx[/latex], we can integrate the series termbyterm. The resulting series converges on [latex]\left(aR,a+R\right)[/latex], and we have
for [latex]xa<R[/latex].
The proof of this result is beyond the scope of the text and is omitted. Note that although TermbyTerm Differentiation and Integration for Power Series guarantees the same radius of convergence when a power series is differentiated or integrated termbyterm, it says nothing about what happens at the endpoints. It is possible that the differentiated and integrated power series have different behavior at the endpoints than does the original series. We see this behavior in the next examples.
Example: Differentiating Power Series

 Use the power series representation
for [latex]x<1[/latex] to find a power series representation for
on the interval [latex]\left(1,1\right)[/latex]. Determine whether the resulting series converges at the endpoints.
Use the result of part a. to evaluate the sum of the series [latex]\displaystyle\sum _{n=0}^{\infty }\frac{n+1}{{4}^{n}}[/latex].
 Since [latex]g\left(x\right)=\frac{1}{{\left(1x\right)}^{2}}[/latex] is the derivative of [latex]f\left(x\right)=\frac{1}{1x}[/latex], we can find a power series representation for g by differentiating the power series for f termbyterm. The result is
for [latex]x<1[/latex]. TermbyTerm Differentiation and Integration for Power Series does not guarantee anything about the behavior of this series at the endpoints. Testing the endpoints by using the divergence test, we find that the series diverges at both endpoints [latex]x=\pm 1[/latex]. Note that this is the same result found in the previous example.


 From part a. we know that
 From part a. we know that

Therefore,
Watch the following video to see the worked solution to Example: Differentiating Power Series.
For closed captioning, open the video on its original page by clicking the Youtube logo in the lower righthand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.
You can view the transcript for this segmented clip of “6.2.4” here (opens in new window).
try it
Differentiate the series [latex]\frac{1}{{\left(1x\right)}^{2}}=\displaystyle\sum _{n=0}^{\infty }\left(n+1\right){x}^{n}[/latex] termbyterm to find a power series representation for [latex]\frac{2}{{\left(1x\right)}^{3}}[/latex] on the interval [latex]\left(1,1\right)[/latex].
Write out the first several terms and apply the power rule.
[latex]\displaystyle\sum _{n=0}^{\infty }\left(n+2\right)\left(n+1\right){x}^{n}[/latex]
Example: Integrating Power Series
For each of the following functions f, find a power series representation for f by integrating the power series for [latex]{f}^{\prime }[/latex] and find its interval of convergence.
 [latex]f\left(x\right)=\text{ln}\left(1+x\right)[/latex]
 [latex]f\left(x\right)={\tan}^{1}x[/latex]
 For [latex]f\left(x\right)=\text{ln}\left(1+x\right)[/latex], the derivative is [latex]{f}^{\prime }\left(x\right)=\frac{1}{1+x}[/latex]. We know that
for [latex]x<1[/latex]. To find a power series for [latex]f\left(x\right)=\text{ln}\left(1+x\right)[/latex], we integrate the series termbyterm.
Since [latex]f\left(x\right)=\text{ln}\left(1+x\right)[/latex] is an antiderivative of [latex]\frac{1}{1+x}[/latex], it remains to solve for the constant C. Since [latex]\text{ln}\left(1+0\right)=0[/latex], we have [latex]C=0[/latex]. Therefore, a power series representation for [latex]f\left(x\right)=\text{ln}\left(1+x\right)[/latex] is
for [latex]x<1[/latex]. TermbyTerm Differentiation and Integration for Power Series does not guarantee anything about the behavior of this power series at the endpoints. However, checking the endpoints, we find that at [latex]x=1[/latex] the series is the alternating harmonic series, which converges. Also, at [latex]x=1[/latex], the series is the harmonic series, which diverges. It is important to note that, even though this series converges at [latex]x=1[/latex], TermbyTerm Differentiation and Integration for Power Series does not guarantee that the series actually converges to [latex]\text{ln}\left(2\right)[/latex]. In fact, the series does converge to [latex]\text{ln}\left(2\right)[/latex], but showing this fact requires more advanced techniques. (Abel’s theorem, covered in more advanced texts, deals with this more technical point.) The interval of convergence is [latex]\left(1,1\right][/latex].
 The derivative of [latex]f\left(x\right)={\tan}^{1}x[/latex] is [latex]{f}^{\prime }\left(x\right)=\frac{1}{1+{x}^{2}}[/latex]. We know that
for [latex]x<1[/latex]. To find a power series for [latex]f\left(x\right)={\tan}^{1}x[/latex], we integrate this series termbyterm.
Since [latex]{\tan}^{1}\left(0\right)=0[/latex], we have [latex]C=0[/latex]. Therefore, a power series representation for [latex]f\left(x\right)={\tan}^{1}x[/latex] is
for [latex]x<1[/latex]. Again, TermbyTerm Differentiation and Integration for Power Series does not guarantee anything about the convergence of this series at the endpoints. However, checking the endpoints and using the alternating series test, we find that the series converges at [latex]x=1[/latex] and [latex]x=1[/latex]. As discussed in part a., using Abel’s theorem, it can be shown that the series actually converges to [latex]{\tan}^{1}\left(1\right)[/latex] and [latex]{\tan}^{1}\left(1\right)[/latex] at [latex]x=1[/latex] and [latex]x=1[/latex], respectively. Thus, the interval of convergence is [latex]\left[1,1\right][/latex].
Watch the following video to see the worked solution to Example: Integrating Power Series.
For closed captioning, open the video on its original page by clicking the Youtube logo in the lower righthand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.
You can view the transcript for this segmented clip “6.2.4” here (opens in new window).
try it
Integrate the power series [latex]\text{ln}\left(1+x\right)=\displaystyle\sum _{n=1}^{\infty }{\left(1\right)}^{n+1}\frac{{x}^{n}}{n}[/latex] termbyterm to evaluate [latex]\displaystyle\int \text{ln}\left(1+x\right)dx[/latex].
Use the fact that [latex]\frac{{x}^{n+1}}{\left(n+1\right)n}[/latex] is an antiderivative of [latex]\frac{{x}^{n}}{n}[/latex].
[latex]\displaystyle\sum _{n=2}^{\infty }\frac{{\left(1\right)}^{n}{x}^{n}}{n\left(n – 1\right)}[/latex]
Up to this point, we have shown several techniques for finding power series representations for functions. However, how do we know that these power series are unique? That is, given a function f and a power series for f at a, is it possible that there is a different power series for f at a that we could have found if we had used a different technique? The answer to this question is no. This fact should not seem surprising if we think of power series as polynomials with an infinite number of terms. Intuitively, if
for all values x in some open interval I about zero, then the coefficients cn should equal dn for [latex]n\ge 0[/latex]. We now state this result formally in Uniqueness of Power Series.
theorem: Uniqueness of Power Series
Let [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{\left(xa\right)}^{n}[/latex] and [latex]\displaystyle\sum _{n=0}^{\infty }{d}_{n}{\left(xa\right)}^{n}[/latex] be two convergent power series such that
for all x in an open interval containing a. Then [latex]{c}_{n}={d}_{n}[/latex] for all [latex]n\ge 0[/latex].
Proof
Let
Then [latex]f\left(a\right)={c}_{0}={d}_{0}[/latex]. By TermbyTerm Differentiation and Integration for Power Series, we can differentiate both series termbyterm. Therefore,
and thus, [latex]{f}^{\prime }\left(a\right)={c}_{1}={d}_{1}[/latex]. Similarly,
implies that [latex]f^{\prime\prime} \left(a\right)=2{c}_{2}=2{d}_{2}[/latex], and therefore, [latex]{c}_{2}={d}_{2}[/latex]. More generally, for any integer [latex]n\ge 0,{f}^{\left(n\right)}\left(a\right)=n\text{!}{c}_{n}=n\text{!}{d}_{n}[/latex], and consequently, [latex]{c}_{n}={d}_{n}[/latex] for all [latex]n\ge 0[/latex].
[latex]_\blacksquare[/latex]
Try It
In this section we have shown how to find power series representations for certain functions using various algebraic operations, differentiation, or integration. At this point, however, we are still limited as to the functions for which we can find power series representations. Next, we show how to find power series representations for many more functions by introducing Taylor series.