Combining and Multiplying Power Series

Learning Outcomes

  • Combine power series by addition or subtraction
  • Create a new power series by multiplication by a power of the variable or a constant, or by substitution
  • Multiply two power series together

Combining Power Series

If we have two power series with the same interval of convergence, we can add or subtract the two series to create a new power series, also with the same interval of convergence. Similarly, we can multiply a power series by a power of x or evaluate a power series at [latex]{x}^{m}[/latex] for a positive integer m to create a new power series. Being able to do this allows us to find power series representations for certain functions by using power series representations of other functions. For example, since we know the power series representation for [latex]f\left(x\right)=\frac{1}{1-x}[/latex], we can find power series representations for related functions, such as

[latex]y=\frac{3x}{1-{x}^{2}}\text{ and }y=\frac{1}{\left(x - 1\right)\left(x - 3\right)}[/latex].

 

In Combining Power Series we state results regarding addition or subtraction of power series, composition of a power series, and multiplication of a power series by a power of the variable. For simplicity, we state the theorem for power series centered at [latex]x=0[/latex]. Similar results hold for power series centered at [latex]x=a[/latex].

theorem: Combining Power Series

Suppose that the two power series [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}[/latex] and [latex]\displaystyle\sum _{n=0}^{\infty }{d}_{n}{x}^{n}[/latex] converge to the functions f and g, respectively, on a common interval I.

  1. The power series [latex]\displaystyle\sum _{n=0}^{\infty }\left({c}_{n}{x}^{n}\pm {d}_{n}{x}^{n}\right)[/latex] converges to [latex]f\pm g[/latex] on I.
  2. For any integer [latex]m\ge 0[/latex] and any real number b, the power series [latex]\displaystyle\sum _{n=0}^{\infty }b{x}^{m}{c}_{n}{x}^{n}[/latex] converges to [latex]b{x}^{m}f\left(x\right)[/latex] on I.
  3. For any integer [latex]m\ge 0[/latex] and any real number b, the series [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{\left(b{x}^{m}\right)}^{n}[/latex] converges to [latex]f\left(b{x}^{m}\right)[/latex] for all x such that [latex]b{x}^{m}[/latex] is in I.

Proof

We prove i. in the case of the series [latex]\displaystyle\sum _{n=0}^{\infty }\left({c}_{n}{x}^{n}+{d}_{n}{x}^{n}\right)[/latex]. Suppose that [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}[/latex] and [latex]\displaystyle\sum _{n=0}^{\infty }{d}_{n}{x}^{n}[/latex] converge to the functions f and g, respectively, on the interval I. Let x be a point in I and let [latex]{S}_{N}\left(x\right)[/latex] and [latex]{T}_{N}\left(x\right)[/latex] denote the Nth partial sums of the series [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}[/latex] and [latex]\displaystyle\sum _{n=0}^{\infty }{d}_{n}{x}^{n}[/latex], respectively. Then the sequence [latex]\left\{{S}_{N}\left(x\right)\right\}[/latex] converges to [latex]f\left(x\right)[/latex] and the sequence [latex]\left\{{T}_{N}\left(x\right)\right\}[/latex] converges to [latex]g\left(x\right)[/latex]. Furthermore, the Nth partial sum of [latex]\displaystyle\sum _{n=0}^{\infty }\left({c}_{n}{x}^{n}+{d}_{n}{x}^{n}\right)[/latex] is

[latex]\begin{array}{cc}\hfill {\displaystyle\sum _{n=0}^{N}} \left({c}_{n}{x}^{n}+{d}_{n}{x}^{n}\right)& ={\displaystyle\sum _{n=0}^{N}} {c}_{n}{x}^{n}+{\displaystyle\sum _{n=0}^{N}}{d}_{n}{x}^{n}\hfill \\ & ={S}_{N}\left(x\right)+{T}_{N}\left(x\right).\hfill \end{array}[/latex]

 

Because

[latex]\begin{array}{cc} \hfill {\underset{N\to\infty}\lim} \left({S}_{N}\left(x\right)+{T}_{N}\left(x\right)\right) & ={\underset{N\to\infty}\lim} {S}_{N}\left(x\right)+{\underset{N\to\infty}\lim} {T}_{N}\left(x\right)\hfill \\ & =f\left(x\right)+g\left(x\right),\hfill \end{array}[/latex]

 

we conclude that the series [latex]\displaystyle\sum _{n=0}^{\infty }\left({c}_{n}{x}^{n}+{d}_{n}{x}^{n}\right)[/latex] converges to [latex]f\left(x\right)+g\left(x\right)[/latex].

[latex]_\blacksquare[/latex]

We examine products of power series in a later theorem. First, we show several applications of Combining Power Series and how to find the interval of convergence of a power series given the interval of convergence of a related power series.

Example: Combining Power Series

Suppose that [latex]\displaystyle\sum _{n=0}^{\infty }{a}_{n}{x}^{n}[/latex] is a power series whose interval of convergence is [latex]\left(-1,1\right)[/latex], and suppose that [latex]\displaystyle\sum _{n=0}^{\infty }{b}_{n}{x}^{n}[/latex] is a power series whose interval of convergence is [latex]\left(-2,2\right)[/latex].

  1. Find the interval of convergence of the series [latex]\displaystyle\sum _{n=0}^{\infty }\left({a}_{n}{x}^{n}+{b}_{n}{x}^{n}\right)[/latex].
  2. Find the interval of convergence of the series [latex]\displaystyle\sum _{n=0}^{\infty }{a}_{n}{3}^{n}{x}^{n}[/latex].

Watch the following video to see the worked solution to Example: Combining Power Series.

You can view the transcript for “6.2.1” here (opens in new window).

try it

Suppose that [latex]\displaystyle\sum _{n=0}^{\infty }{a}_{n}{x}^{n}[/latex] has an interval of convergence of [latex]\left(-1,1\right)[/latex]. Find the interval of convergence of [latex]\displaystyle\sum _{n=0}^{\infty }{a}_{n}{\left(\frac{x}{2}\right)}^{n}[/latex].

In the next example, we show how to use Combining Power Series and the power series for a function f to construct power series for functions related to f. Specifically, we consider functions related to the function [latex]f\left(x\right)=\frac{1}{1-x}[/latex] and we use the fact that

[latex]\frac{1}{1-x}=\displaystyle\sum _{n=0}^{\infty }{x}^{n}=1+x+{x}^{2}+{x}^{3}+\cdots [/latex]

 

for [latex]|x|<1[/latex].

Example: Constructing Power Series from Known Power Series

Use the power series representation for [latex]f\left(x\right)=\frac{1}{1-x}[/latex] combined with Combining Power Series to construct a power series for each of the following functions. Find the interval of convergence of the power series.

  1. [latex]f\left(x\right)=\frac{3x}{1+{x}^{2}}[/latex]
  2. [latex]f\left(x\right)=\frac{1}{\left(x - 1\right)\left(x - 3\right)}[/latex]

[latex]f\left(x\right)=3x\left(\frac{1}{1-\left(\text{-}{x}^{2}\right)}\right)[/latex].



Using the power series representation for [latex]f\left(x\right)=\frac{1}{1-x}[/latex] and parts ii. and iii. of Combining Power Series, we find that a power series representation for f is given by

[latex]\displaystyle\sum _{n=0}^{\infty }3x{\left(\text{-}{x}^{2}\right)}^{n}=\displaystyle\sum _{n=0}^{\infty }3{\left(-1\right)}^{n}{x}^{2n+1}[/latex].



Since the interval of convergence of the series for [latex]\frac{1}{1-x}[/latex] is [latex]\left(-1,1\right)[/latex], the interval of convergence for this new series is the set of real numbers x such that [latex]|{x}^{2}|<1[/latex]. Therefore, the interval of convergence is [latex]\left(-1,1\right)[/latex].

  • To find the power series representation, use partial fractions to write [latex]f\left(x\right)=\frac{1}{\left(1-x\right)\left(x - 3\right)}[/latex] as the sum of two fractions. We have

 

[latex]\begin{array}{cc}\hfill \frac{1}{\left(x - 1\right)\left(x - 3\right)}& =\frac{\text{-}\frac{1}{2}}{x - 1}+\frac{\frac{1}{2}}{x - 3}\hfill \\ & =\frac{\frac{1}{2}}{1-x}-\frac{\frac{1}{2}}{3-x}\hfill \\ & =\frac{\frac{1}{2}}{1-x}-\frac{\frac{1}{6}}{1-\frac{x}{3}}.\hfill \end{array}[/latex]



First, using part ii. of Combining Power Series, we obtain

[latex]\frac{\frac{1}{2}}{1-x}=\displaystyle\sum _{n=0}^{\infty }\frac{1}{2}{x}^{n}\text{for}|x|<1[/latex].



Then, using parts ii. and iii. of Combining Power Series, we have

[latex]\frac{\frac{1}{6}}{1-\frac{x}{3}}=\displaystyle\sum _{n=0}^{\infty }\frac{1}{6}{\left(\frac{x}{3}\right)}^{n}\text{for}|x|<3[/latex].



Since we are combining these two power series, the interval of convergence of the difference must be the smaller of these two intervals. Using this fact and part i. of Combining Power Series, we have

[latex]\frac{1}{\left(x - 1\right)\left(x - 3\right)}=\displaystyle\sum _{n=0}^{\infty }\left(\frac{1}{2}-\frac{1}{6\cdot {3}^{n}}\right){x}^{n}[/latex]



where the interval of convergence is [latex]\left(-1,1\right)[/latex].

try it

Use the series for [latex]f\left(x\right)=\frac{1}{1-x}[/latex] on [latex]|x|<1[/latex] to construct a series for [latex]\frac{1}{\left(1-x\right)\left(x - 2\right)}[/latex]. Determine the interval of convergence.

In the previous example, we showed how to find power series for certain functions. In the next example we show how to do the opposite: given a power series, determine which function it represents.

Example: Finding the Function Represented by a Given Power Series

Consider the power series [latex]\displaystyle\sum _{n=0}^{\infty }{2}^{n}{x}^{n}[/latex]. Find the function f represented by this series. Determine the interval of convergence of the series.

try it

Find the function represented by the power series [latex]\displaystyle\sum _{n=0}^{\infty }\frac{1}{{3}^{n}}{x}^{n}[/latex]. Determine its interval of convergence.

Try It

Multiplication of Power Series

We can also create new power series by multiplying power series. Being able to multiply two power series provides another way of finding power series representations for functions.

The way we multiply them is similar to how we multiply polynomials. For example, suppose we want to multiply

[latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}={c}_{0}+{c}_{1}x+{c}_{2}{x}^{2}+\cdots [/latex]

 

and

[latex]\displaystyle\sum _{n=0}^{\infty }{d}_{n}{x}^{n}={d}_{0}+{d}_{1}x+{d}_{2}{x}^{2}+\cdots [/latex].

 

It appears that the product should satisfy

[latex]\begin{array}{cc}\hfill \left(\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}\right)\left(\displaystyle\sum _{n=-0}^{\infty }{d}_{n}{x}^{n}\right)& =\left({c}_{0}+{c}_{1}x+{c}_{2}{x}^{2}+\cdots \right)\cdot \left({d}_{0}+{d}_{1}x+{d}_{2}{x}^{2}+\cdots \right)\hfill \\ & ={c}_{0}{d}_{0}+\left({c}_{1}{d}_{0}+{c}_{0}{d}_{1}\right)x+\left({c}_{2}{d}_{0}+{c}_{1}{d}_{1}+{c}_{0}{d}_{2}\right){x}^{2}+\cdots .\hfill \end{array}[/latex]

 

In Multiplying Power Series, we state the main result regarding multiplying power series, showing that if [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}[/latex] and [latex]\displaystyle\sum _{n=0}^{\infty }{d}_{n}{x}^{n}[/latex] converge on a common interval I, then we can multiply the series in this way, and the resulting series also converges on the interval I.

theorem: Multiplying Power Series

Suppose that the power series [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}[/latex] and [latex]\displaystyle\sum _{n=0}^{\infty }{d}_{n}{x}^{n}[/latex] converge to f and g, respectively, on a common interval I. Let

[latex]\begin{array}{cc}\hfill {e}_{n}& ={c}_{0}{d}_{n}+{c}_{1}{d}_{n - 1}+{c}_{2}{d}_{n - 2}+\cdots +{c}_{n - 1}{d}_{1}+{c}_{n}{d}_{0}\hfill \\ & ={\displaystyle\sum _{k=0}^{n}{c}_{k}{d}_{n-k}}.\hfill \end{array}[/latex]

 

Then

[latex]\left({\displaystyle\sum _{n=0}^{\infty}}{c}_{n}{x}^{n}\right)\left(\displaystyle\sum _{n=0}^{\infty }{d}_{n}{x}^{n}\right)=\displaystyle\sum _{n=0}^{\infty }{e}_{n}{x}^{n}[/latex]

 

and

[latex]\displaystyle\sum _{n=0}^{\infty }{e}_{n}{x}^{n}\text{converges to}f\left(x\right)\cdot g\left(x\right)\text{ on }I[/latex].

 

The series [latex]\displaystyle\sum _{n=0}^{\infty }{e}_{n}{x}^{n}[/latex] is known as the Cauchy product of the series [latex]\displaystyle\sum _{n=0}^{\infty }{c}_{n}{x}^{n}[/latex] and [latex]\displaystyle\sum _{n=0}^{\infty }{d}_{n}{x}^{n}[/latex].

We omit the proof of this theorem, as it is beyond the level of this text and is typically covered in a more advanced course. We now provide an example of this theorem by finding the power series representation for

[latex]f\left(x\right)=\frac{1}{\left(1-x\right)\left(1-{x}^{2}\right)}[/latex]

 

using the power series representations for

[latex]y=\frac{1}{1-x}\text{and}y=\frac{1}{1-{x}^{2}}[/latex].

 

Example: Multiplying Power Series

Multiply the power series representation

[latex]\begin{array}{cc}\hfill \frac{1}{1-x}& ={\displaystyle\sum _{n=0}^{\infty}}{x}^{n}\hfill \\ & =1+x+{x}^{2}+{x}^{3}+\cdots \hfill \end{array}[/latex]

 

for [latex]|x|<1[/latex] with the power series representation

[latex]\begin{array}{cc}\hfill \frac{1}{1-{x}^{2}}& ={\displaystyle\sum _{n=0}^{\infty}}{\left({x}^{2}\right)}^{n}\hfill \\ & =1+{x}^{2}+{x}^{4}+{x}^{6}+\cdots \hfill \end{array}[/latex]

 

for [latex]|x|<1[/latex] to construct a power series for [latex]f\left(x\right)=\frac{1}{\left(1-x\right)\left(1-{x}^{2}\right)}[/latex] on the interval [latex]\left(-1,1\right)[/latex].

Watch the following video to see the worked solution to Example: Multiplying Power Series.

For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand 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.3” here (opens in new window).

try it

Multiply the series [latex]\frac{1}{1-x}=\displaystyle\sum _{n=0}^{\infty }{x}^{n}[/latex] by itself to construct a series for [latex]\frac{1}{\left(1-x\right)\left(1-x\right)}[/latex].

Try It