Representing Functions as Power Series (College Board AP® Calculus BC): Study Guide

Roger B

Written by: Roger B

Reviewed by: Mark Curtis

Updated on

Power series of composite functions & products

How can I find the power series for a composite function?

  • A composite function is a ‘function of a function’ or a ‘function within a function’

    • For example sin open parentheses 2 x close parentheses is a composite function,

      • with 2 x as the ‘inside function’

      • and sin x as the ‘outside function’

    • Similarly e to the power of x squared end exponent is a composite function

      • with x squared as the ‘inside function’

      • and e to the power of x as the ‘outside function’

  • To find the power series for a composite function

  • STEP 1
    Start with the power series for the ‘outside function’

  • STEP 2
    Substitute the ‘inside function’ every place that x appears in the series for the ‘outside function’

    • For example, for sin open parentheses 2 x close parentheses you would substitute 2 x everywhere that x appears in the series for sin x

      • Put brackets around the 'inside function' when you do this, open parentheses 2 x close parentheses

  • STEP 3
    Expand the brackets and simplify the coefficients for the powers of x in the resultant power series

    • It may be necessary to use substitution to find the new interval of convergence as well

    • See the Worked Example

How can I find the power series for a product of two functions?

  • To find the power series for a product of two functions

  • STEP 1
    Start with the series for the individual functions

    • For each of these series you should only use terms up to an appropriately chosen power of x

    • See the Worked Example

  • STEP 2
    Put each of the series into brackets and multiply them together

    • Only keep terms in powers of x up to the power you are interested in

  • STEP 3
    Collect terms and simplify coefficients

Examiner Tips and Tricks

For composite functions and products you could work out the power series 'from scratch' using the Taylor series formula sum from n equals 0 to infinity of fraction numerator f to the power of open parentheses n close parentheses end exponent open parentheses a close parentheses over denominator n factorial end fraction open parentheses x minus a close parentheses to the power of n. However using standard results and the methods here is usually much quicker.

Worked Example

(a) Find the Maclaurin series for the function space f left parenthesis x right parenthesis equals fraction numerator 1 over denominator 1 plus 4 x squared end fraction, up to and including the term in x to the power of 8. Be sure to include the interval of convergence.

Start with the standard result for the 'outside function', fraction numerator 1 over denominator 1 minus x end fraction

fraction numerator 1 over denominator 1 minus x end fraction space equals space sum from n equals 0 to infinity of x to the power of n equals 1 plus x plus x squared plus x cubed plus x to the power of 4 plus...

fraction numerator 1 over denominator 1 plus 4 x squared end fraction equals fraction numerator 1 over denominator 1 minus open parentheses negative 4 x squared close parentheses end fraction, so substitute the 'inside function' in brackets, open parentheses negative 4 x squared close parentheses everywhere x appears in the original series and simplify

table row cell fraction numerator 1 over denominator 1 plus 4 x squared end fraction space end cell equals cell 1 plus open parentheses negative 4 x squared close parentheses plus open parentheses negative 4 x squared close parentheses squared plus open parentheses negative 4 x squared close parentheses cubed plus open parentheses negative 4 x squared close parentheses to the power of 4 plus... end cell row blank equals cell 1 minus 4 x squared plus 16 x to the power of 4 minus 64 x to the power of 6 plus 256 x to the power of 8 minus... end cell end table

Now consider the interval of convergence

The series for fraction numerator 1 over denominator 1 minus x end fraction converges for open vertical bar x close vertical bar less than 1, so substitute negative 4 x squared as x into that

open vertical bar negative 4 x squared close vertical bar less than 1 space space left right double arrow space space 4 x squared less than 1 space space left right double arrow space space x squared less than 1 fourth space space left right double arrow space minus 1 half less than x less than 1 half

table row blank blank cell 1 minus 4 x squared plus 16 x to the power of 4 minus 64 x to the power of 6 plus 256 x to the power of 8 end cell end table, with interval of convergence negative 1 half less than x less than 1 half

(b) Find the Maclaurin series for the function space g left parenthesis x right parenthesis equals e to the power of x sin open parentheses 2 x close parentheses, up to and including the term in x to the power of 4.

First use substitution to find the Maclaurin series for sin open parentheses 2 x close parentheses

The 'outside function' is sin x space equals space sum from n equals 0 to infinity of open parentheses negative 1 close parentheses to the power of n fraction numerator x to the power of 2 n plus 1 end exponent over denominator open parentheses 2 n plus 1 close parentheses factorial end fraction equals x minus fraction numerator x cubed over denominator 3 factorial end fraction plus fraction numerator x to the power of 5 over denominator 5 factorial end fraction minus... and the 'inside function' is 2 x so substitute open parentheses 2 x close parentheses everywhere x appears and simplify

table row cell sin open parentheses 2 x close parentheses end cell equals cell open parentheses 2 x close parentheses minus fraction numerator open parentheses 2 x close parentheses cubed over denominator 3 factorial end fraction plus fraction numerator open parentheses 2 x close parentheses to the power of 5 over denominator 5 factorial end fraction minus... end cell row blank equals cell 2 x minus fraction numerator 4 x cubed over denominator 3 end fraction plus fraction numerator 4 x to the power of 5 over denominator 15 end fraction minus... end cell end table

The Maclaurin series for e to the power of x is also a standard result

table row cell e to the power of x end cell equals cell 1 plus x plus fraction numerator x squared over denominator 2 factorial end fraction plus fraction numerator x cubed over denominator 3 factorial end fraction plus fraction numerator x to the power of 4 over denominator 4 factorial end fraction plus... end cell row blank equals cell 1 plus x plus x squared over 2 plus x cubed over 6 plus x to the power of 4 over 24 plus... end cell end table

Before multiplying those together, think about which terms you actually need

The question only asks for terms up to x to the power of 4

  • That means you don't need the x to the power of 5 term (or any higher-order terms) from the series for sin open parentheses 2 x close parentheses

  • Also the smallest power in the sin open parentheses 2 x close parentheses series is the 2 x term

    • So you can stop the e to the power of x series with the x cubed over 6 term

    • Because any higher-order term will multiply with 2 x to give a term in x to the power of 5 or higher

table row cell e to the power of x sin open parentheses 2 x close parentheses end cell almost equal to cell open parentheses 1 plus x plus x squared over 2 plus x cubed over 6 close parentheses open parentheses 2 x minus fraction numerator 4 x cubed over denominator 3 end fraction close parentheses end cell row blank equals cell 1 open parentheses 2 x minus fraction numerator 4 x cubed over denominator 3 end fraction close parentheses plus x open parentheses 2 x minus fraction numerator 4 x cubed over denominator 3 end fraction close parentheses plus x squared over 2 open parentheses 2 x minus fraction numerator 4 x cubed over denominator 3 end fraction close parentheses plus x cubed over 6 open parentheses 2 x minus fraction numerator 4 x cubed over denominator 3 end fraction close parentheses end cell row blank equals cell 2 x minus fraction numerator 4 x cubed over denominator 3 end fraction plus 2 x squared minus fraction numerator 4 x to the power of 4 over denominator 3 end fraction plus x cubed minus fraction numerator 2 x to the power of 5 over denominator 3 end fraction plus x to the power of 4 over 3 minus fraction numerator 2 x to the power of 6 over denominator 9 end fraction end cell row blank equals cell 2 x plus 2 x squared minus x cubed over 3 minus x to the power of 4 minus fraction numerator 2 x to the power of 5 over denominator 3 end fraction minus fraction numerator 2 x to the power of 6 over denominator 9 end fraction end cell end table

For the answer, we only want terms up to x to the power of 4

Note that the terms in x to the power of 5 and x to the power of 6 there are not actually the correct terms for the power series of e to the power of x sin open parentheses 2 x close parentheses

  • To find those terms properly, we would need to use more terms from the two original series in the product

table row blank blank cell 2 x plus 2 x squared minus x cubed over 3 minus x to the power of 4 end cell end table

Examiner Tips and Tricks

If the 'basic' series you are using converge for all values of x, then series found by using substitution or taking products will also converge for all values of x.

Differentiating & integrating power series

How can I use differentiation to find the power series of a function?

  • If you differentiate the power series for a function f open parentheses x close parentheses term by term,

    • you get the power series for the function’s derivative f to the power of apostrophe open parentheses x close parentheses

  • You can use this to find new power series from existing ones

    • For example, the derivative of sin x is cos x

    • So if you differentiate the Maclaurin series for sin x term by term you will get the Maclaurin series for cos x

How can I use integration to find the power series of a function?

  • If you integrate the power series for a derivative f to the power of apostrophe open parentheses x close parentheses term by term

    • you get the power series for the function f open parentheses x close parentheses

  • Be careful however, as you will have a constant of integration to deal with

    • The value of the constant of integration will have to be chosen so that the series produces the correct value of

      • f open parentheses a close parentheses, for a Taylor series about x equals a

      • f open parentheses 0 close parentheses, for a Maclaurin series

    • See the Worked Example

  • You can use this to find new power series from existing ones

    • For example, the derivative of sin x is cos x

    • So if you integrate the Maclaurin series for cos x (and correctly deal with the constant of integration) you will get the Maclaurin series for sin x

Examiner Tips and Tricks

The radius of convergence of a power series found using term-by-term differentiation or term-by-term integration is the same as the radius of convergence of the original power series.

However convergence or divergence at the endpoints is not always the same, and needs to be checked separately.

Worked Example

(a) Confirm that differentiating the Maclaurin series for cos x term by term yields the Maclaurin series for negative sin x.

The Maclaurin series for cos x is a standard result, cos x space equals space sum from n equals 0 to infinity of open parentheses negative 1 close parentheses to the power of n fraction numerator x to the power of 2 n end exponent over denominator open parentheses 2 n close parentheses factorial end fraction equals 1 minus fraction numerator x squared over denominator 2 factorial end fraction plus fraction numerator x to the power of 4 over denominator 4 factorial end fraction minus fraction numerator x to the power of 6 over denominator 6 factorial end fraction plus fraction numerator x to the power of 8 over denominator 8 factorial end fraction minus...

cos x space equals space 1 minus fraction numerator x squared over denominator 2 factorial end fraction plus fraction numerator x to the power of 4 over denominator 4 factorial end fraction minus fraction numerator x to the power of 6 over denominator 6 factorial end fraction plus fraction numerator x to the power of 8 over denominator 8 factorial end fraction minus...

Differentiate that term by term

table row cell fraction numerator d over denominator d x end fraction open parentheses cos x close parentheses space end cell equals cell fraction numerator d over denominator d x end fraction open parentheses 1 minus fraction numerator x squared over denominator 2 factorial end fraction plus fraction numerator x to the power of 4 over denominator 4 factorial end fraction minus fraction numerator x to the power of 6 over denominator 6 factorial end fraction plus fraction numerator x to the power of 8 over denominator 8 factorial end fraction minus... close parentheses end cell row blank equals cell 0 minus fraction numerator 2 x over denominator 2 factorial end fraction plus fraction numerator 4 x cubed over denominator 4 factorial end fraction minus fraction numerator 6 x to the power of 5 over denominator 6 factorial end fraction plus fraction numerator 8 x to the power of 7 over denominator 8 factorial end fraction minus... end cell row blank equals cell negative x plus fraction numerator x cubed over denominator 3 factorial end fraction minus x to the power of 5 over 5 plus x to the power of 7 over 7 minus... end cell end table

The series for sin x is also a standard result, sin x space equals space sum from n equals 0 to infinity of open parentheses negative 1 close parentheses to the power of n fraction numerator x to the power of 2 n plus 1 end exponent over denominator open parentheses 2 n plus 1 close parentheses factorial end fraction equals x minus fraction numerator x cubed over denominator 3 factorial end fraction plus fraction numerator x to the power of 5 over denominator 5 factorial end fraction minus fraction numerator x to the power of 7 over denominator 7 factorial end fraction plus...

sin x space equals x minus fraction numerator x cubed over denominator 3 factorial end fraction plus fraction numerator x to the power of 5 over denominator 5 factorial end fraction minus fraction numerator x to the power of 7 over denominator 7 factorial end fraction plus...

table row blank rightwards double arrow cell space space minus sin x space equals negative open parentheses x minus fraction numerator x cubed over denominator 3 factorial end fraction plus fraction numerator x to the power of 5 over denominator 5 factorial end fraction minus fraction numerator x to the power of 7 over denominator 7 factorial end fraction plus... close parentheses end cell row blank equals cell negative x plus fraction numerator x cubed over denominator 3 factorial end fraction minus fraction numerator x to the power of 5 over denominator 5 factorial end fraction plus fraction numerator x to the power of 7 over denominator 7 factorial end fraction minus... end cell end table

Indeed those two series match

Differentiating the Maclaurin series for cos x term by term gives the Maclaurin series for negative sin x

(b) Find the Maclaurin series for fraction numerator 1 over denominator 1 plus x squared end fraction, and use that result to determine the Maclaurin series for arctan x up to and including the term in x to the power of 7. Be sure to include the radius of convergence.

Start with the standard Maclaurin series result for fraction numerator 1 over denominator 1 minus x end fraction, and substitute negative x squared everywhere

fraction numerator 1 over denominator 1 minus x end fraction space equals 1 plus x plus x squared plus x cubed plus x to the power of 4 plus...

table row blank rightwards double arrow cell space space fraction numerator 1 over denominator 1 plus x squared end fraction space equals 1 plus open parentheses negative x squared close parentheses plus open parentheses negative x squared close parentheses squared plus open parentheses negative x squared close parentheses cubed plus open parentheses negative x squared close parentheses to the power of 4 plus... end cell row blank equals cell 1 minus x squared plus x to the power of 4 minus x to the power of 6 plus x to the power of 8 minus... end cell end table

Now use the standard integral result, integral fraction numerator 1 over denominator 1 plus x squared end fraction d x equals arctan x plus C

That means you can integrate the series for fraction numerator 1 over denominator 1 plus x squared end fraction term by term to get the series for arctan x

Just remember to include a constant of integration, which it is easiest to write at the front of the series

table row cell arctan x end cell equals cell integral open parentheses 1 minus x squared plus x to the power of 4 minus x to the power of 6 plus x to the power of 8 minus... close parentheses space d x end cell row blank equals cell C plus x minus x cubed over 3 plus x to the power of 5 over 5 minus x to the power of 7 over 7 plus x to the power of 9 over 9 minus... end cell end table

To find the value of C, substitute in x equals 0; remember that arctan open parentheses 0 close parentheses equals 0

table row cell arctan open parentheses 0 close parentheses end cell equals cell C plus open parentheses 0 close parentheses minus open parentheses 0 close parentheses cubed over 3 plus open parentheses 0 close parentheses to the power of 5 over 5 minus open parentheses 0 close parentheses to the power of 7 over 7 plus open parentheses 0 close parentheses to the power of 9 over 9 minus end cell row 0 equals C end table

Now consider the radius of convergence

The series for fraction numerator 1 over denominator 1 minus x end fraction converges for open vertical bar x close vertical bar less than 1, so substitute negative x squared into that

open vertical bar negative x squared close vertical bar less than 1 space space left right double arrow space space x squared less than 1 space space left right double arrow space space minus 1 less than x less than 1 space space left right double arrow space space open vertical bar x close vertical bar less than 1

That is the radius of convergence for the fraction numerator 1 over denominator 1 plus x squared end fraction series (i.e. the radius of convergence is 1, centered on x equals 0); the series we found by integrating that will have the same radius of convergence

And the question only wants terms up through x to the power of 7, so

table row blank blank cell x minus x cubed over 3 plus x to the power of 5 over 5 minus x to the power of 7 over 7 end cell end table, with radius of convergence open vertical bar x close vertical bar less than 1

Sign up now. It’s free!

Join the 100,000+ Students that ❤️ Save My Exams

the (exam) results speak for themselves:

Did this page help you?

Roger B

Author: Roger B

Expertise: Maths

Roger's teaching experience stretches all the way back to 1992, and in that time he has taught students at all levels between Year 7 and university undergraduate. Having conducted and published postgraduate research into the mathematical theory behind quantum computing, he is more than confident in dealing with mathematics at any level the exam boards might throw at you.

Mark Curtis

Author: Mark Curtis

Expertise: Maths

Mark graduated twice from the University of Oxford: once in 2009 with a First in Mathematics, then again in 2013 with a PhD (DPhil) in Mathematics. He has had nine successful years as a secondary school teacher, specialising in A-Level Further Maths and running extension classes for Oxbridge Maths applicants. Alongside his teaching, he has written five internal textbooks, introduced new spiralling school curriculums and trained other Maths teachers through outreach programmes.