Power series multiplication to find the product of power series

 
 
Power series multiplication blog post.jpeg
 
 
 

The product of two power series

Previously we learned how to create a power series representation for a function by modifying a similar, known series to match the function.

Sometimes the function we’re given is the product of two other functions, like

???f(x)=\frac{\cos{x}}{1-x}???

This function is the product of ???g(x)=\cos{x}??? and ???h(x)=1/(1-x)???.

???f(x)=\frac{1}{1-x}\cdot\cos{x}???

Krista King Math.jpg

Hi! I'm krista.

I create online courses to help you rock your math class. Read more.

 

If we already know the power series representations of ???g(x)=\cos{x}??? and ???h(x)=1/(1-x)???, we can multiply the expanded power series together to find a power series representation of ???f(x)???, since ???f(x)??? is the product of ???g(x)??? and ???h(x)???.

In other words, since we already know from a table to standard Maclaurin series that

???\cos{x}\approx1-\frac12x^2+\frac1{24}x^4-\frac1{720}x^6+...???

???\frac1{1-x}\approx1+x+x^2+x^3+...???

we can say that

???f(x)\approx\left(1-\frac12x^2+\frac1{24}x^4-\frac1{720}x^6+...\right)\left(1+x+x^2+x^3+...\right)???

Keep in mind also that multiplying power series together is just like multiplying two simple polynomials together. We use the distributive property from algebra, and we multiply the first term in the first series by all of the terms in the second series, then we multiply the second term in the first series by all of the terms in the second series, and so on.

???f(x)\approx1\left(1+x+x^2+x^3+...\right)-\frac12x^2\left(1+x+x^2+x^3+...\right)???

???+\frac1{24}x^4\left(1+x+x^2+x^3+...\right)-\frac1{720}x^6\left(1+x+x^2+x^3+...\right)+...???

???f(x)\approx1+x+x^2+x^3-\frac12x^2-\frac12x^3-\frac12x^4-\frac12x^5???

???+\frac1{24}x^4+\frac1{24}x^5+\frac1{24}x^6+\frac1{24}x^7-\frac1{720}x^6-\frac1{720}x^7-\frac1{720}x^8-\frac1{720}x^9???

We’ll collect like-terms, and get

???f(x)\approx1+x+x^2-\frac12x^2+x^3-\frac12x^3-\frac12x^4+\frac1{24}x^4-\frac12x^5+\frac1{24}x^5???

???+\frac1{24}x^6-\frac1{720}x^6+\frac1{24}x^7-\frac1{720}x^7-\frac1{720}x^8-\frac1{720}x^9???

???f(x)\approx1+x+\frac12x^2+\frac12x^3-\frac{11}{24}x^4-\frac{11}{24}x^5???

???+\frac1{24}x^6-\frac1{720}x^6+\frac1{24}x^7-\frac1{720}x^7-\frac1{720}x^8-\frac1{720}x^9???

Remember to list the terms in the series in ascending order of degree, with any constant first, followed by ???x???, followed by ???x^2???, ???x^3???, ???x^4???, etc.

For most power series multiplication problems, we’ll be asked to find a specific number of non-zero terms in the expanded power series representation of ???f(x)???. With this in mind, we can actually stop multiplying once we have the number of non-zero terms we’ve been asked for. In the above example, if we were asked for the first five non-zero terms, we could have stopped multiplying once we had all of our ???x^4??? terms. We would have collected like terms for all fourth- or lesser-degree terms, and given an answer of

???f(x)\approx1+x+\frac12x^2+\frac12x^3-\frac{11}{24}x^4???

 
 

How to multiply two power series


 
Krista King Math Signup.png
 
Calculus 2 course.png

Take the course

Want to learn more about Calculus 2? I have a step-by-step course for that. :)

 
 

 
 

Using power series multiplication to find the first few terms of a Maclaurin series

Example

Use power series multiplication to find the first four non-zero terms of the Maclaurin series of the given function.

???y=\sin{(2x)}e^{3x}???

We know that the expanded versions of the Maclaurin series for ???\sin{x}??? and ???e^x??? are

???\sin{x}=\sum^{\infty}_{n=0}\frac{(-1)^n}{(2n+1)!}x^{2n+1}=x-\frac{1}{6}x^3+\frac{1}{120}x^5-\frac{1}{5,040}x^7+...???

???e^x=\sum^{\infty}_{n=0}\frac{1}{n!}x^n=1+x+\frac{1}{2}x^2+\frac{1}{6}x^3+...???

Since we have ???\sin{(2x)}??? instead of ???\sin{x}??? and since we have ???e^{3x}??? instead of ???e^x???, we’ll need to modify both series.

Power series multiplication for Calculus 2.jpg

For most power series multiplication problems, we’ll be asked to find a specific number of non-zero terms in the expanded power series representation of f(x).

We’ll start with the ???\sin{x}??? series, letting ???x=2x???, and the expanded series will be

???\sin{(2x)}=2x-\frac{1}{6}(2x)^3+\frac{1}{120}(2x)^5-\frac{1}{5,040}(2x)^7+...???

???\sin{(2x)}=2x-\frac{4}{3}x^3+\frac{4}{15}x^5-\frac{8}{315}x^7+...???

Now we’ll modify the ???e^x??? series, letting ???x=3x???, and the expanded series will be

???e^{3x}=1+3x+\frac12(3x)^2+\frac16(3x)^3+...???

???e^{3x}=1+3x+\frac{9}{2}x^2+\frac{9}{2}x^3+...???

We’ll use the distributive property from algebra to multiply the series together, as if we’re multiplying two simple polynomials.

???\sin{(2x)}e^{3x}=\left(2x-\frac43x^3+\frac{4}{15}x^5-\frac{8}{315}x^7+...\right)\left(1+3x+\frac92x^2+\frac92x^3+...\right)???

???\sin{(2x)}e^{3x}=2x+6x^2+9x^3+9x^4???

???-\frac43x^3-4x^4-6x^5-6x^6???

???+\frac{4}{15}x^5+\frac{4}{5}x^6+\frac{6}{5}x^7+\frac{6}{5}x^8???

???-\frac{8}{315}x^7-\frac{24}{315}x^8-\frac{72}{630}x^9-\frac{72}{630}x^{10}+...???

Cancel everything that isn’t an ???x???, ???x^2???, ???x^3???, or ???x^4??? term.

???\sin{(2x)}e^{3x}=2x+6x^2+9x^3+9x^4-\frac43x^3-4x^4???

???\sin{(2x)}e^{3x}=2x+6x^2+\frac{27}{3}x^3-\frac43x^3+5x^4???

???\sin{(2x)}e^{3x}=2x+6x^2+\frac{23}{3}x^3+5x^4???

Since this is an approximation, the answer will be

???\sin{(2x)}e^{3x}=2x+6x^2+\frac{23}{3}x^3+5x^4???

 
Krista King.png
 

Get access to the complete Calculus 2 course