Unit 10 · Topic 10.14

Taylor and Maclaurin Series

The Taylor series of f about a is ∑ (f^((n))(a))/(n!) (x − a)^n ; its partial sums are the Taylor polynomials.

Practice 1: Implementing Mathematical ProcessesPractice 2: Connecting Representations

Part 1 · Hook

Why this matters

A Taylor polynomial stops after a few terms and is only an estimate. Let it run forever and, for sin⁡x\sin x, cos⁡x\cos x and exe^x, the infinite sum is not an estimate any more: it is the function, for every xx. Four of these series are worth knowing by heart; the rest of the unit builds on them.

Part 2 · Before you start

What this builds on

Part 3 · Prerequisite check

Quick check before you start

1. What is the coefficient of (x−a)n(x - a)^n in the Taylor polynomial for ff about x=ax = a?

  1. f(n)(a)n!\frac{f^{(n)}(a)}{n!}
  2. f(n)(a)f^{(n)}(a)
  3. f(n)(0)n!\frac{f^{(n)}(0)}{n!}
  4. f(n)(a)n\frac{f^{(n)}(a)}{n}
Show the answer

The nnth derivative at the center over n!n!.

  • Correct: f(n)(a)n!\frac{f^{(n)}(a)}{n!}:
  • f(n)(a)f^{(n)}(a):
  • f(n)(0)n!\frac{f^{(n)}(0)}{n!}:
  • f(n)(a)n\frac{f^{(n)}(a)}{n}:

2. What is the interval of convergence of ∑n=0∞xn\sum_{n=0}^{\infty} x^n?

  1. (−1,1)(-1, 1)
  2. [−1,1)[-1, 1)
  3. [−1,1][-1, 1]
  4. all real numbers
Show the answer

It is geometric with ratio xx; at x=±1x = \pm 1 the terms do not approach 0.

  • Correct: (−1,1)(-1, 1):
  • [−1,1)[-1, 1):
  • [−1,1][-1, 1]:
  • all real numbers:

Part 4 · See it

See it first

The graph of y = e to the x from x = -3 to 2.5 with the first three Taylor polynomials about 0: the line 1 + x, the parabola 1 + x + x squared over 2, and the cubic that adds x cubed over 6. Each new term brings the polynomial closer to e to the x over a wider stretch; at x = 2 their values are 3, 5 and about 6.333, approaching e squared, about 7.389.
The partial sums 1+x1 + x, 1+x+x22!1 + x + \frac{x^2}{2!}, 1+x+x22!+x33!1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} close in on exe^x. LevlPrep original diagram.

Part 5 · Step by step

How it works, step by step

  1. Keep adding terms f(n)(a)n!(x−a)n\frac{f^{(n)}(a)}{n!}(x - a)^n without stoppingthe result is a power series, the Taylor series of ff about aa, and PnP_n is its partial sum
  2. The Taylor series converges and its partial sums approach f(x)f(x)the series equals the function on its interval of convergence
  3. Know four series by heart: 11−x\frac{1}{1 - x}, sin⁡x\sin x, cos⁡x\cos x, exe^xmany sums and limits can be read off, and other series can be built from them

Part 6 · Key ideas

Key ideas

  • Taylor series of ff about aa: ∑n=0∞f(n)(a)n!(x−a)n\sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x - a)^n. About a=0a = 0 it is a Maclaurin series.
  • ex=∑xnn!e^x = \sum \frac{x^n}{n!}, sin⁡x\sin x=∑(−1)nx2n+1(2n+1)!= \sum \frac{(-1)^n x^{2n+1}}{(2n+1)!}, cos⁡x\cos x=∑(−1)nx2n(2n)!= \sum \frac{(-1)^n x^{2n}}{(2n)!}, for every xx.
  • 11−x\frac{1}{1 - x}=∑xn= \sum x^n=1+x+x2+⋯= 1 + x + x^2 + \cdots only for −1<x<1-1 < x < 1.
  • A series is written with "+⋯+ \cdots" or with ∑\sum and a general term; a Taylor polynomial is not.

Part 7 · Misconception

A common mistake

The wrong idea: The Taylor series for exe^x about x=1x = 1 is ∑(x−1)nn!\sum \frac{(x - 1)^n}{n!}, the same coefficients as about 0.

What actually happens: The coefficients use derivatives at the center: f(n)(1)=ef^{(n)}(1) = e, so the series is ∑e(x−1)nn!\sum \frac{e\,(x - 1)^n}{n!}.

Part 8 · Check yourself

Check yourself

Exam-style questions. Anything you miss goes into your review queue.

Graph

sin⁡x\sin x and two of its Taylor polynomials

The graph shows y=sin⁡xy = \sin x (solid) with its Taylor polynomials about x=0x = 0 of degree 3, P3(x)P_3(x) (dashed, the one that turns down past x≈1.4x \approx 1.4), and degree 5, P5(x)P_5(x) (the one that stays close longer), for −4≤x≤4-4 \le x \le 4.
−4−3−2−11234−2.5−2−1.5−1−0.50.511.522.5xysin xP3P5

1. What does the graph show about the Taylor polynomials as the degree goes from 3 to 5?

  1. The higher degree matches sin⁡x\sin x exactly for −4≤x≤4-4 \le x \le 4
  2. The higher degree stays close to sin⁡x\sin x farther from 0
  3. Both polynomials are closest to sin⁡x\sin x near x=±4x = \pm 4
  4. The lower degree is the better estimate near x=2x = 2
Show the answer

Both polynomials match sin⁡x\sin x near the center. P3P_3 turns away past about |x|=1.5|x| = 1.5, while P5P_5 stays close to about |x|=2.5|x| = 2.5: more terms, a closer fit over a wider interval.

  • The higher degree matches sin⁡x\sin x exactly for −4≤x≤4-4 \le x \le 4: P5P_5 still pulls away from sin⁡x\sin x near x=±3x = \pm 3; no polynomial equals sin⁡x\sin x on an interval.
  • Correct: The higher degree stays close to sin⁡x\sin x farther from 0: Right: P5P_5 follows sin⁡x\sin x farther out than P3P_3.
  • Both polynomials are closest to sin⁡x\sin x near x=±4x = \pm 4: They are closest near the center, x=0x = 0, and pull away farther out.
  • The lower degree is the better estimate near x=2x = 2: Near x=2x = 2, P5P_5 is much closer to sin⁡x\sin x than P3P_3 is.

2. Write P5(x)P_5(x), the fifth-degree Taylor polynomial for sin⁡x\sin x about x=0x = 0.

Type an expression for P5(x)=P_5(x) =.

Show the answer

sin⁡x\sin x=x−x33!+x55!−⋯= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots, so P5(x)P_5(x)=x−x36+x5120= x - \frac{x^3}{6} + \frac{x^5}{120}.

  • Answer: P5(x)=P_5(x) = x−x36+x5120x - \frac{x^3}{6} + \frac{x^5}{120}

3. Which is the general term of the Maclaurin series for sin⁡x\sin x?

  1. (−1)nx2n(2n)!\frac{(-1)^n x^{2n}}{(2n)!}
  2. xnn!\frac{x^n}{n!}
  3. (−1)nx2n+12n+1\frac{(-1)^n x^{2n+1}}{2n + 1}
  4. (−1)nx2n+1(2n+1)!\frac{(-1)^n x^{2n+1}}{(2n+1)!}
Show the answer

sin⁡x\sin x=∑n=0∞(−1)nx2n+1(2n+1)!= \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}=x−x33!= x - \frac{x^3}{3!}+x55!−⋯+ \frac{x^5}{5!} - \cdots for every real xx.

  • (−1)nx2n(2n)!\frac{(-1)^n x^{2n}}{(2n)!}: Even powers give the series for cos⁡x\cos x.
  • xnn!\frac{x^n}{n!}: That is the series for exe^x.
  • (−1)nx2n+12n+1\frac{(-1)^n x^{2n+1}}{2n + 1}: The denominators are factorials, (2n+1)!(2n+1)!.
  • Correct: (−1)nx2n+1(2n+1)!\frac{(-1)^n x^{2n+1}}{(2n+1)!}: Right: odd powers, odd factorials, alternating signs.

4. According to the graph, at x=2x = 2 is P3(2)P_3(2) above or below sin⁡2\sin 2?

  1. Below: P3(2)=23P_3(2) = \frac{2}{3}, while sin⁡2≈0.91\sin 2 \approx 0.91
  2. Above: P3(2)=103P_3(2) = \frac{10}{3}, while sin⁡2≈0.91\sin 2 \approx 0.91
  3. Equal: a Taylor polynomial passes through (2,sin⁡2)(2, \sin 2)
  4. Above: an odd-degree polynomial lies above sin⁡x\sin x for x>0x > 0
Show the answer

P3(2)P_3(2)=2−236= 2 - \frac{2^3}{6}=23= \frac{2}{3}≈0.67\approx 0.67, and sin⁡2≈0.91\sin 2 \approx 0.91, so P3(2)P_3(2) is below sin⁡2\sin 2, as the graph shows.

  • Correct: Below: P3(2)=23P_3(2) = \frac{2}{3}, while sin⁡2≈0.91\sin 2 \approx 0.91: Right: the dashed curve is under the solid one at x=2x = 2.
  • Above: P3(2)=103P_3(2) = \frac{10}{3}, while sin⁡2≈0.91\sin 2 \approx 0.91: P3(2)=2−86=23P_3(2) = 2 - \frac{8}{6} = \frac{2}{3}; subtract the cubic term.
  • Equal: a Taylor polynomial passes through (2,sin⁡2)(2, \sin 2): Taylor polynomials about 0 match sin⁡x\sin x at the center, not at x=2x = 2.
  • Above: an odd-degree polynomial lies above sin⁡x\sin x for x>0x > 0: Read the graph: at x=2x = 2 the dashed P3P_3 is below sin⁡x\sin x.

5. Find the exact sum of ∑n=0∞2nn!\sum_{n=0}^{\infty} \frac{2^n}{n!}.

No calculator. Type the exact value (a fraction, π, e or a root is fine).

Show the answer

exe^x=∑n=0∞xnn!= \sum_{n=0}^{\infty} \frac{x^n}{n!} for every xx, so with x=2x = 2 the sum is e2e^2.

  • Answer: e2e^{2} ≈ 7.389

6. In the Taylor series for exe^x about x=1x = 1, find the coefficient of (x−1)3(x - 1)^3.

No calculator. Type the exact value (a fraction, π, e or a root is fine).

Show the answer

Every derivative of exe^x is exe^x, so f‴(1)=ef'''(1) = e and the coefficient is e3!=e6\frac{e}{3!} = \frac{e}{6}.

  • Answer: e6\frac{e}{6} ≈ 0.453

Part 9 · Summary

Summary

The Taylor series of ff about aa is ∑f(n)(a)n!(x−a)n\sum \frac{f^{(n)}(a)}{n!}(x - a)^n; its partial sums are the Taylor polynomials. The Maclaurin series of exe^x, sin⁡x\sin x and cos⁡x\cos x converge to the function for every xx, and 11−x=∑xn\frac{1}{1 - x} = \sum x^n for |x|<1|x| < 1.

Part 10 · Up next

What comes next

Part 11 · Connections

Connections