Skip to content

Maclaurin and Taylor Series

Intuition

Any smooth function can be rebuilt from its derivatives at a single point: Taylor series say that if you know all the derivatives of a function at one point, you can reconstruct the entire function as an infinite polynomial. It’s like having a complete description of a curve encoded in a single number and its rates of change. The Maclaurin series is the special case where we expand about x=0x = 0.

Why it matters: Taylor series let you approximate complicated functions (exe^x, sin⁡x\sin x, cos⁡x\cos x) as simple polynomials. This is how calculators compute sin⁡(0.5)\sin(0.5), they don’t use geometry, they use the Maclaurin series. They’re also essential for solving differential equations and understanding convergence.

The key insight: More terms in the series give better approximations near the expansion point, but worse approximations far away. The radius of convergence tells you how far the approximation is valid. For exe^x, the series converges everywhere; for ln⁡(1+x)\ln(1+x), it only converges for −1<x≤1-1 < x \leq 1.

Adjust the parameters in the graph above to explore the relationships between variables.

Board Coverage

BoardPaperNotes
AQAPaper 1Maclaurin series; standard series for e^x$$\sin x$$\cos x$$\ln(1+x)$$(1+x)^n
EdexcelFP2Maclaurin + Taylor series about general x=ax = a; convergence
OCR (A)Paper 1Maclaurin series; standard series; applications
CIEP2Maclaurin series; expansion of compound functions; range of validity

1. Maclaurin Series

1.1 Definition

Definition. The Maclaurin series of a function ff that is infinitely differentiable at x=0x = 0 is

f(x)=f(0)+xf′(0)+x22!f′′(0)+x33!f′′′(0)+⋯=∑n=0∞f(n)(0)n! xn\boxed{f(x) = f(0) + xf'(0) + \frac{x^2}{2!}f''(0) + \frac{x^3}{3!}f'''(0) + \cdots = \sum_{n=0}^{\infty}\frac{f^{(n)}(0)}{n!}\,x^n}

This is a special case of the Taylor series about x=a=0x = a = 0.

1.2 Derivation from the Taylor series

Assume ff can be written as a power series f(x)=a0+a1x+a2x2+a3x3+⋯f(x) = a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \cdots.

Differentiating repeatedly and evaluating at x=0x = 0:

  • f(0)=a0f(0) = a_0
  • f′(0)=a1f'(0) = a_1
  • f′′(0)=2a2f''(0) = 2a_2
  • f′′′(0)=6a3=3! a3f'''(0) = 6a_3 = 3!\,a_3

f(n)(0)=n! anf^{(n)}(0) = n!\,a_n Giving an=f(n)(0)n!a_n = \dfrac{f^{(n)}(0)}{n!}.

Substituting back gives the Maclaurin series.


2. Standard Maclaurin Series

2.1 Exponential function

Proof of the Maclaurin series for exe^x

Let f(x)=exf(x) = e^x. Then f(n)(x)=exf^{(n)}(x) = e^x for all nn So f(n)(0)=1f^{(n)}(0) = 1 for all nn.

ex=1+x+x22!+x33!+⋯=∑n=0∞xnn!e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots = \sum_{n=0}^{\infty}\frac{x^n}{n!} ex=∑n=0∞xnn!forallx∈R\boxed{e^x = \sum_{n=0}^{\infty}\frac{x^n}{n!}} \quad \mathrm{for all } x \in \mathbb{R}

□\square

Radius of convergence: ∞\infty (converges for all real xx).

2.2 Sine function

Proof of the Maclaurin series for sin⁡x\sin x

Let f(x)=sin⁡xf(x) = \sin x. The derivatives cycle: \sin x$$\cos x$$-\sin x$$-\cos x$$\sin x…

At x=0x = 0: 0,1,0,−1,0,1,0,−1,…0, 1, 0, -1, 0, 1, 0, -1, \ldots

sin⁡x=x−x33!+x55!−x77!+⋯=∑n=0∞(−1)nx2n+1(2n+1)!\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots = \sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!} sin⁡x=∑n=0∞(−1)nx2n+1(2n+1)!forallx∈R\boxed{\sin x = \sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!}} \quad \mathrm{for all } x \in \mathbb{R}

□\square

Radius of convergence: ∞\infty.

2.3 Cosine function

Let f(x)=cos⁡xf(x) = \cos x. The derivatives cycle: \cos x$$-\sin x$$-\cos x$$\sin x$$\cos x…

At x=0x = 0: 1,0,−1,0,1,0,−1,0,…1, 0, -1, 0, 1, 0, -1, 0, \ldots

cos⁡x=1−x22!+x44!−x66!+⋯=∑n=0∞(−1)nx2n(2n)!forallx∈R\boxed{\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots = \sum_{n=0}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!}} \quad \mathrm{for all } x \in \mathbb{R}

2.4 Natural logarithm

Let f(x)=ln⁡(1+x)f(x) = \ln(1+x) for ∣x∣<1|x| < 1.

f'(x) = \dfrac{1}{1+x}$$f''(x) = -\dfrac{1}{(1+x)^2}$$f'''(x) = \dfrac{2}{(1+x)^3}…

f(n)(x)=(−1)n−1(n−1)!(1+x)nf^{(n)}(x) = \dfrac{(-1)^{n-1}(n-1)!}{(1+x)^n} So f(n)(0)=(−1)n−1(n−1)!f^{(n)}(0) = (-1)^{n-1}(n-1)!.

ln⁡(1+x)=x−x22+x33−x44+⋯=∑n=1∞(−1)n−1xnnfor−1<x≤1\boxed{\ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots = \sum_{n=1}^{\infty}\frac{(-1)^{n-1}x^n}{n}} \quad \mathrm{for } -1 < x \leq 1

Radius of convergence: 1. The series also converges at x=1x = 1 (alternating harmonic series).

2.5 Binomial series

For ∣x∣<1|x| < 1 and any real nn:

(1+x)n=1+nx+n(n−1)2!x2+n(n−1)(n−2)3!x3+⋯=∑k=0∞(nk)xk\boxed{(1+x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \cdots = \sum_{k=0}^{\infty}\binom{n}{k}x^k}

Where (nk)=n(n−1)(n−2)⋯(n−k+1)k!\dbinom{n}{k} = \dfrac{n(n-1)(n-2)\cdots(n-k+1)}{k!}.

Radius of convergence: 1.

2.6 Arctangent

arctan⁡x=x−x33+x55−x77+⋯=∑n=0∞(−1)nx2n+12n+1for∣x∣≤1\boxed{\arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \frac{x^7}{7} + \cdots = \sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{2n+1}} \quad \mathrm{for } |x| \leq 1

Radius of convergence: 1. Converges at x=±1x = \pm 1 by the alternating series test.

Derivation. Since ddxarctan⁡x=11+x2=1−x2+x4−x6+⋯\dfrac{d}{dx}\arctan x = \dfrac{1}{1+x^2} = 1 - x^2 + x^4 - x^6 + \cdots for ∣x∣<1|x| < 1 Integrate term by term.

2.7 Summary table

FunctionMaclaurin SeriesValid for
exe^x∑n=0∞xnn!\displaystyle\sum_{n=0}^{\infty}\frac{x^n}{n!}all xx
sin⁡x\sin x∑n=0∞(−1)nx2n+1(2n+1)!\displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!}all xx
cos⁡x\cos x∑n=0∞(−1)nx2n(2n)!\displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!}all xx
ln⁡(1+x)\ln(1+x)∑n=1∞(−1)n−1xnn\displaystyle\sum_{n=1}^{\infty}\frac{(-1)^{n-1}x^n}{n}−1<x≤1-1 < x \leq 1
(1+x)n(1+x)^n∑k=0∞(nk)xk\displaystyle\sum_{k=0}^{\infty}\binom{n}{k}x^k∥x∥<1\| x \| < 1
arctan⁡x\arctan x∑n=0∞(−1)nx2n+12n+1\displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{2n+1}∥x∥≤1\| x \| \leq 1

3. Taylor Series About x=ax = a

3.1 Definition

Definition. The Taylor series of ff about x=ax = a is

f(x)=f(a)+(x−a)f′(a)+(x−a)22!f′′(a)+(x−a)33!f′′′(a)+⋯=∑n=0∞f(n)(a)n!(x−a)n\boxed{f(x) = f(a) + (x-a)f'(a) + \frac{(x-a)^2}{2!}f''(a) + \frac{(x-a)^3}{3!}f'''(a) + \cdots = \sum_{n=0}^{\infty}\frac{f^{(n)}(a)}{n!}(x-a)^n}

The Maclaurin series is the special case a=0a = 0.

3.2 Taylor’s theorem with remainder

Theorem. If ff is (n+1)(n+1)-times differentiable on an interval containing aa and xx Then

f(x)=∑k=0nf(k)(a)k!(x−a)k+Rnf(x) = \sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k + R_n

Where the remainder in Lagrange form is

Rn=f(n+1)(c)(n+1)!(x−a)n+1\boxed{R_n = \frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}}

For some cc between aa and xx.

Intuition. The remainder term tells us the error when truncating the series after nn terms. If ∣Rn∣→0|R_n| \to 0 as n→∞n \to \infty Then the Taylor series converges to f(x)f(x).

3.3 Worked example

Find the Taylor series of exe^x about x=1x = 1 up to the x3x^3 term.

f(x) = e^x$$f'(x) = e^x$$f''(x) = e^x$$f'''(x) = e^x.

At x=1x = 1: f(1)=f′(1)=f′′(1)=f′′′(1)=ef(1) = f'(1) = f''(1) = f'''(1) = e.

ex=e+e(x−1)+e2(x−1)2+e6(x−1)3+⋯=e∑n=0∞(x−1)nn!e^x = e + e(x-1) + \frac{e}{2}(x-1)^2 + \frac{e}{6}(x-1)^3 + \cdots = e\sum_{n=0}^{\infty}\frac{(x-1)^n}{n!}

3.4 Converting between Maclaurin and Taylor series

Example. Find the Taylor series of ln⁡x\ln x about x=1x = 1.

Let u=x−1u = x - 1 So ln⁡x=ln⁡(1+u)\ln x = \ln(1 + u).

ln⁡(1+u)=u−u22+u33−⋯\ln(1+u) = u - \frac{u^2}{2} + \frac{u^3}{3} - \cdots ln⁡x=(x−1)−(x−1)22+(x−1)33−⋯for0<x≤2\boxed{\ln x = (x-1) - \frac{(x-1)^2}{2} + \frac{(x-1)^3}{3} - \cdots} \quad \mathrm{for } 0 < x \leq 2

4. Interval and Radius of Convergence

4.1 Definitions

Definition. The radius of convergence RR of a power series ∑n=0∞anxn\displaystyle\sum_{n=0}^{\infty}a_n x^n is the value such that the series converges for ∣x∣<R|x| < R and diverges for ∣x∣>R|x| > R.

The interval of convergence is the set of all xx for which the series converges. The endpoints x=±Rx = \pm R must be tested separately.

4.2 The ratio test

Theorem (Ratio test). For the series ∑n=0∞anxn\displaystyle\sum_{n=0}^{\infty}a_n x^n Let

L=lim⁡n→∞∣an+1an∣L = \lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|

If LL exists, the radius of convergence is R=1LR = \dfrac{1}{L}.

Equivalently, if L=lim⁡n→∞∣an+1xn+1anxn∣=∣x∣lim⁡n→∞∣an+1an∣L = \lim_{n\to\infty}\left|\dfrac{a_{n+1}x^{n+1}}{a_n x^n}\right| = |x|\lim_{n\to\infty}\left|\dfrac{a_{n+1}}{a_n}\right|:

  • If L<1L < 1: the series converges absolutely.
  • If L>1L > 1: the series diverges.
  • If L=1L = 1: the test is inconclusive.

4.3 Worked examples

Example 1. Find the radius of convergence of ∑n=1∞(−1)n−1xnn\displaystyle\sum_{n=1}^{\infty}\frac{(-1)^{n-1}x^n}{n}.

a_n = \dfrac{(-1)^{n-1}}{n}$$a_{n+1} = \dfrac{(-1)^n}{n+1}.

∣an+1an∣=nn+1→1\left|\dfrac{a_{n+1}}{a_n}\right| = \dfrac{n}{n+1} \to 1 as n→∞n \to \infty.

R=1R = 1. The series converges for ∣x∣<1|x| < 1.

At x=1x = 1: alternating harmonic series, converges. At x=−1x = -1: −∑1/n-\sum 1/n Diverges.

Interval of convergence: −1<x≤1-1 < x \leq 1.

Example 2. Find the radius of convergence of ∑n=0∞xnn!\displaystyle\sum_{n=0}^{\infty}\frac{x^n}{n!}.

∣an+1an∣=1/(n+1)!1/n!=1n+1→0\left|\dfrac{a_{n+1}}{a_n}\right| = \dfrac{1/(n+1)!}{1/n!} = \dfrac{1}{n+1} \to 0.

R=∞R = \infty. Converges for all xx.

4.4 Convergence of the geometric series

Proof of convergence of the geometric series

For ∣x∣<1|x| < 1 The geometric series is ∑n=0∞xn\displaystyle\sum_{n=0}^{\infty}x^n.

The partial sum is SN=1+x+x2+⋯+xNS_N = 1 + x + x^2 + \cdots + x^N.

SN=1−xN+11−xS_N = \dfrac{1 - x^{N+1}}{1 - x} (standard formula).

Since ∣x∣<1|x| < 1: xN+1→0x^{N+1} \to 0 as N→∞N \to \infty So SN→11−xS_N \to \dfrac{1}{1-x}.

∑n=0∞xn=11−xfor∣x∣<1\boxed{\sum_{n=0}^{\infty}x^n = \frac{1}{1-x} \quad \mathrm{for } |x| < 1}

□\square

Tip: tip 11+x\dfrac{1}{1+x}, ln⁡(1+x)\ln(1+x) And arctan⁡x\arctan x all derive from it.


5. Applications

5.1 Approximating values

Example. Approximate e0.1e^{0.1} using the first four terms of the Maclaurin series.

e0.1≈1+0.1+0.012+0.0016=1+0.1+0.005+0.000167≈1.10517e^{0.1} \approx 1 + 0.1 + \dfrac{0.01}{2} + \dfrac{0.001}{6} = 1 + 0.1 + 0.005 + 0.000167 \approx 1.10517.

The actual value is ≈1.10517\approx 1.10517 So the error is negligible with just 4 terms.

Example. Approximate sin⁡(0.1)\sin(0.1) and bound the error.

sin⁡(0.1)≈0.1−0.0016=0.1−0.000167=0.099833\sin(0.1) \approx 0.1 - \dfrac{0.001}{6} = 0.1 - 0.000167 = 0.099833.

The next term is (0.1)5120≈8.3×10−8\dfrac{(0.1)^5}{120} \approx 8.3 \times 10^{-8} So the error is at most this.

5.2 Evaluating limits using series

Example. Find lim⁡x→0ex−1−xx2\displaystyle\lim_{x\to 0}\frac{e^x - 1 - x}{x^2}.

ex=1+x+x22+x36+⋯e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \cdots

ex−1−x=x22+x36+⋯e^x - 1 - x = \dfrac{x^2}{2} + \dfrac{x^3}{6} + \cdots

ex−1−xx2=12+x6+⋯→12\dfrac{e^x - 1 - x}{x^2} = \dfrac{1}{2} + \dfrac{x}{6} + \cdots \to \dfrac{1}{2} as x→0x \to 0.

5.3 Series expansions of compound functions

Example. Find the Maclaurin series of ex2e^{x^2} up to the x6x^6 term.

Substitute x2x^2 into the series for exe^x:

ex2=1+x2+x42!+x63!+⋯=1+x2+x42+x66+⋯e^{x^2} = 1 + x^2 + \frac{x^4}{2!} + \frac{x^6}{3!} + \cdots = 1 + x^2 + \frac{x^4}{2} + \frac{x^6}{6} + \cdots

Example. Find the Maclaurin series of cos⁡(x2)\cos(x^2) up to the x8x^8 term.

cos⁡(x2)=1−x42!+x84!−⋯=1−x42+x824−⋯\cos(x^2) = 1 - \frac{x^4}{2!} + \frac{x^8}{4!} - \cdots = 1 - \frac{x^4}{2} + \frac{x^8}{24} - \cdots

Example. Find ex1−x\dfrac{e^x}{1-x} up to the x3x^3 term.

ex=1+x+x22+x36+⋯e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \cdots

11−x=1+x+x2+x3+⋯\dfrac{1}{1-x} = 1 + x + x^2 + x^3 + \cdots

Multiply (Cauchy product):

ex1−x=(1+x+x22+x36)(1+x+x2+x3)+O(x4)\dfrac{e^x}{1-x} = \left(1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6}\right)\left(1 + x + x^2 + x^3\right) + O(x^4)

=1+(1+1)x+(1+1+12)x2+(1+1+12+16)x3= 1 + (1+1)x + \left(1+1+\dfrac{1}{2}\right)x^2 + \left(1+1+\dfrac{1}{2}+\dfrac{1}{6}\right)x^3

=1+2x+52x2+83x3+⋯= 1 + 2x + \dfrac{5}{2}x^2 + \dfrac{8}{3}x^3 + \cdots

5.4 L’Hôpital’s rule and series

Intuition. L’Hôpital’s rule is a consequence of Taylor’s theorem. If f(a)=g(a)=0f(a) = g(a) = 0 Then Near aa:

f(x)g(x)≈f′(a)(x−a)+f′′(a)2(x−a)2g′(a)(x−a)+g′′(a)2(x−a)2=f′(a)+f′′(a)2(x−a)g′(a)+g′′(a)2(x−a)\frac{f(x)}{g(x)} \approx \frac{f'(a)(x-a) + \frac{f''(a)}{2}(x-a)^2}{g'(a)(x-a) + \frac{g''(a)}{2}(x-a)^2} = \frac{f'(a) + \frac{f''(a)}{2}(x-a)}{g'(a) + \frac{g''(a)}{2}(x-a)}

Taking x→ax \to a gives f′(a)g′(a)\dfrac{f'(a)}{g'(a)} Which is L’Hôpital’s rule. The series approach often Gives more information (higher-order terms) than applying L’Hôpital’s rule repeatedly.


6. Key Results and Pitfalls


Problems

Problem 1

Find the Maclaurin series of f(x)=cos⁡2xf(x) = \cos 2x up to the x6x^6 term.

Solution 1

f(0) = 1$$f'(x) = -2\sin 2x$$f'(0) = 0$$f''(x) = -4\cos 2x$$f''(0) = -4 f'''(x) = 8\sin 2x$$f'''(0) = 0$$f^{(4)}(x) = 16\cos 2x$$f^{(4)}(0) = 16$$f^{(5)}(0) = 0 f(6)(0)=−64f^{(6)}(0) = -64.

Alternatively, substitute 2x2x into cos⁡x=1−x22!+x44!−x66!+⋯\cos x = 1 - \dfrac{x^2}{2!} + \dfrac{x^4}{4!} - \dfrac{x^6}{6!} + \cdots:

cos⁡2x=1−2x2+2x43−4x645+⋯\boxed{\cos 2x = 1 - 2x^2 + \frac{2x^4}{3} - \frac{4x^6}{45} + \cdots}

If you get this wrong, revise: Standard Series, Section 2.

Problem 2

Find the Maclaurin series of ln⁡(1−x2)\ln(1 - x^2) up to the x6x^6 term, stating the range of validity.

Solution 2

Substitute −x2-x^2 into ln⁡(1+u)=u−u22+u33−⋯\ln(1+u) = u - \dfrac{u^2}{2} + \dfrac{u^3}{3} - \cdots:

ln⁡(1−x2)=−x2−x42−x63−⋯\ln(1 - x^2) = -x^2 - \frac{x^4}{2} - \frac{x^6}{3} - \cdots

Range: ∣x2∣<1  ⟹  ∣x∣<1|x^2| < 1 \implies |x| < 1. Also converges at x=±1x = \pm 1 (alternating harmonic at x=1x = 1 when substituted, but here −x2−x4/2−x6/3−⋯-x^2 - x^4/2 - x^6/3 - \cdots at x=1x = 1 is −∑1/n-\sum 1/n Diverges).

Valid for −1<x<1-1 < x < 1.

If you get this wrong, revise: Standard Series, Section 2.

Problem 3

Use the Maclaurin series for exe^x to show that ∑n=0∞2nn!=e2\displaystyle\sum_{n=0}^{\infty}\frac{2^n}{n!} = e^2.

Solution 3

ex=∑n=0∞xnn!e^x = \displaystyle\sum_{n=0}^{\infty}\dfrac{x^n}{n!}.

Setting x=2x = 2: e2=∑n=0∞2nn!e^2 = \displaystyle\sum_{n=0}^{\infty}\dfrac{2^n}{n!}. ■\blacksquare

If you get this wrong, revise: Exponential Function, Section 2.1.

Problem 4

Find the Taylor series of sin⁡x\sin x about x=π3x = \dfrac{\pi}{3} up to the (x−π/3)3(x - \pi/3)^3 Term.

Solution 4

f(x)=sin⁡xf(x) = \sin x. f(π/3)=32f(\pi/3) = \dfrac{\sqrt{3}}{2}. f′(x)=cos⁡xf'(x) = \cos x f′(π/3)=12f'(\pi/3) = \dfrac{1}{2}. f′′(x)=−sin⁡xf''(x) = -\sin x, f′′(π/3)=−32f''(\pi/3) = -\dfrac{\sqrt{3}}{2}. f′′′(x)=−cos⁡xf'''(x) = -\cos x, f′′′(π/3)=−12f'''(\pi/3) = -\dfrac{1}{2}.

sin⁡x=32+12(x−π3)−34(x−π3)2−112(x−π3)3+⋯\sin x = \frac{\sqrt{3}}{2} + \frac{1}{2}\left(x-\frac{\pi}{3}\right) - \frac{\sqrt{3}}{4}\left(x-\frac{\pi}{3}\right)^2 - \frac{1}{12}\left(x-\frac{\pi}{3}\right)^3 + \cdots

If you get this wrong, revise: Taylor Series About x=ax = a, Section 3.

Problem 5

Use series to evaluate lim⁡x→0sin⁡x−xx3\displaystyle\lim_{x\to 0}\frac{\sin x - x}{x^3}.

Solution 5

sin⁡x=x−x36+x5120−⋯\sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots

sin⁡x−x=−x36+x5120−⋯\sin x - x = -\dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots

sin⁡x−xx3=−16+x2120−⋯→−16\dfrac{\sin x - x}{x^3} = -\dfrac{1}{6} + \dfrac{x^2}{120} - \cdots \to \boxed{-\dfrac{1}{6}} as x→0x \to 0.

If you get this wrong, revise: Evaluating Limits, Section 5.2.

Problem 6

Find the Maclaurin series of (1+2x)−1/2(1 + 2x)^{-1/2} up to the x3x^3 term and state the range of validity.

Solution 6

Using the binomial series with n=−1/2n = -1/2:

(1+u)−1/2=1+(−12)u+(−1/2)(−3/2)2u2+(−1/2)(−3/2)(−5/2)6u3+⋯(1+u)^{-1/2} = 1 + \left(-\dfrac{1}{2}\right)u + \dfrac{(-1/2)(-3/2)}{2}u^2 + \dfrac{(-1/2)(-3/2)(-5/2)}{6}u^3 + \cdots

=1−u2+3u28−5u316+⋯= 1 - \dfrac{u}{2} + \dfrac{3u^2}{8} - \dfrac{5u^3}{16} + \cdots

Substituting u=2xu = 2x:

(1+2x)−1/2=1−x+3x22−5x32+⋯\boxed{(1+2x)^{-1/2} = 1 - x + \frac{3x^2}{2} - \frac{5x^3}{2} + \cdots}

Valid for ∣2x∣<1  ⟹  ∣x∣<12|2x| < 1 \implies |x| < \dfrac{1}{2}.

If you get this wrong, revise: Binomial Series, Section 2.5.

Problem 7

Find the radius of convergence of ∑n=0∞(2x)nn2+1\displaystyle\sum_{n=0}^{\infty}\frac{(2x)^n}{n^2 + 1}.

Solution 7

an=2nn2+1a_n = \dfrac{2^n}{n^2+1}.

∣an+1an∣=2n+1(n2+1)2n(n2+2n+2)=2(n2+1)n2+2n+2→2\left|\dfrac{a_{n+1}}{a_n}\right| = \dfrac{2^{n+1}(n^2+1)}{2^n(n^2+2n+2)} = \dfrac{2(n^2+1)}{n^2+2n+2} \to 2 as n→∞n \to \infty.

R=12R = \dfrac{1}{2}. The series converges for ∣x∣<12\boxed{|x| < \dfrac{1}{2}}.

If you get this wrong, revise: The Ratio Test, Section 4.2.

Problem 8

Find the Maclaurin series of exsin⁡xe^x \sin x up to the x5x^5 term.

Solution 8

ex=1+x+x22+x36+x424+⋯e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \dfrac{x^4}{24} + \cdots

sin⁡x=x−x36+x5120−⋯\sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots

Multiply and collect terms:

xx: 1⋅x=x1 \cdot x = x

x2x^2: x⋅x=x2x \cdot x = x^2

x3x^3: x22⋅x+1⋅(−x36)=x32−x36=x33\dfrac{x^2}{2} \cdot x + 1 \cdot \left(-\dfrac{x^3}{6}\right) = \dfrac{x^3}{2} - \dfrac{x^3}{6} = \dfrac{x^3}{3}

x4x^4: x36⋅x+x⋅(−x36)=0\dfrac{x^3}{6} \cdot x + x \cdot \left(-\dfrac{x^3}{6}\right) = 0

x5x^5: x424⋅x+x22(−x36)+1⋅x5120=x524−x512+x5120=5−10+1120x5=−x530\dfrac{x^4}{24} \cdot x + \dfrac{x^2}{2}\left(-\dfrac{x^3}{6}\right) + 1 \cdot \dfrac{x^5}{120} = \dfrac{x^5}{24} - \dfrac{x^5}{12} + \dfrac{x^5}{120} = \dfrac{5 - 10 + 1}{120}x^5 = -\dfrac{x^5}{30}

exsin⁡x=x+x2+x33−x530+⋯\boxed{e^x \sin x = x + x^2 + \frac{x^3}{3} - \frac{x^5}{30} + \cdots}

If you get this wrong, revise: Compound Functions

  • Section 5.3.
Problem 9

Show that ∑n=0∞(−1)n(2n+1)!=sin⁡1\displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)!} = \sin 1.

Solution 9

sin⁡x=∑n=0∞(−1)nx2n+1(2n+1)!\sin x = \displaystyle\sum_{n=0}^{\infty}\dfrac{(-1)^n x^{2n+1}}{(2n+1)!}.

Setting x=1x = 1: sin⁡1=∑n=0∞(−1)n(2n+1)!\sin 1 = \displaystyle\sum_{n=0}^{\infty}\dfrac{(-1)^n}{(2n+1)!}. ■\blacksquare

If you get this wrong, revise: Sine Function, Section 2.2.

Problem 10

Use series to evaluate lim⁡x→0e−x2−1x2\displaystyle\lim_{x\to 0}\frac{e^{-x^2} - 1}{x^2}.

Solution 10

e−x2=1−x2+x42−⋯e^{-x^2} = 1 - x^2 + \dfrac{x^4}{2} - \cdots

e−x2−1=−x2+x42−⋯e^{-x^2} - 1 = -x^2 + \dfrac{x^4}{2} - \cdots

e−x2−1x2=−1+x22−⋯→−1\dfrac{e^{-x^2} - 1}{x^2} = -1 + \dfrac{x^2}{2} - \cdots \to \boxed{-1} as x→0x \to 0.

If you get this wrong, revise: Evaluating Limits, Section 5.2.


7. Advanced Worked Examples

Example 7.1: Maclaurin series of a composite function

Problem. Find the Maclaurin series of f(x)=11+x2f(x) = \dfrac{1}{\sqrt{1 + x^2}} up to the x6x^6 term.

Solution. Use the binomial series with n=−1/2n = -1/2:

(1+u)−1/2=1−u2+3u28−5u316+35u4128−⋯(1 + u)^{-1/2} = 1 - \dfrac{u}{2} + \dfrac{3u^2}{8} - \dfrac{5u^3}{16} + \dfrac{35u^4}{128} - \cdots

Substituting u=x2u = x^2:

11+x2=1−x22+3x48−5x616+⋯\frac{1}{\sqrt{1+x^2}} = 1 - \frac{x^2}{2} + \frac{3x^4}{8} - \frac{5x^6}{16} + \cdots

Valid for ∣x2∣<1|x^2| < 1 I.e., ∣x∣<1|x| < 1.

Example 7.2: Taylor series and error bounds

Problem. Use the Taylor series of cos⁡x\cos x about x=0x = 0 to approximate cos⁡(0.2)\cos(0.2) and bound The error.

Solution. cos⁡x=1−x22+x424−x6720+⋯\cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \dfrac{x^6}{720} + \cdots

Using three terms: cos⁡(0.2)≈1−0.02+0.001624=1−0.02+0.0000667=0.980067\cos(0.2) \approx 1 - 0.02 + \dfrac{0.0016}{24} = 1 - 0.02 + 0.0000667 = 0.980067.

Error bound: the next term is (0.2)6720=6.4×10−7720≈8.9×10−10\dfrac{(0.2)^6}{720} = \dfrac{6.4 \times 10^{-7}}{720} \approx 8.9 \times 10^{-10}.

So ∣error∣<10−9|\text{error}| < 10^{-9}.

Example 7.3: Product of two Maclaurin series

Problem. Find the Maclaurin series of excos⁡xe^x \cos x up to the x4x^4 term.

Solution. ex=1+x+x22+x36+x424+⋯e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \dfrac{x^4}{24} + \cdots

cos⁡x=1−x22+x424−⋯\cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \cdots

Multiplying and collecting terms:

11: 1×1=11 \times 1 = 1 xx: 1⋅x=x1 \cdot x = x x2x^2: 1⋅(−x2/2)+x⋅x=−x2/2+x2=x2/21 \cdot (-x^2/2) + x \cdot x = -x^2/2 + x^2 = x^2/2 x3x^3: 1⋅0+x⋅(−x2/2)+(x2/2)⋅x=−x3/2+x3/2=01 \cdot 0 + x \cdot (-x^2/2) + (x^2/2) \cdot x = -x^3/2 + x^3/2 = 0 x4x^4: 1⋅(x4/24)+x⋅0+(x2/2)(−x2/2)+(x3/6)⋅x=x4/24−x4/4+x4/6=(1−6+4)x4/24=−x4/241 \cdot (x^4/24) + x \cdot 0 + (x^2/2)(-x^2/2) + (x^3/6) \cdot x = x^4/24 - x^4/4 + x^4/6 = (1 - 6 + 4)x^4/24 = -x^4/24

excos⁡x=1+x+x22−x424+⋯e^x\cos x = 1 + x + \frac{x^2}{2} - \frac{x^4}{24} + \cdots

Example 7.4: Series expansion of an inverse function

Problem. Find the Maclaurin series of sec⁡x\sec x up to the x4x^4 term.

Solution. Write sec⁡x=1cos⁡x=(1−x2/2+x4/24−⋯ )−1\sec x = \dfrac{1}{\cos x} = (1 - x^2/2 + x^4/24 - \cdots)^{-1}.

Using (1−u)−1=1+u+u2+⋯(1 - u)^{-1} = 1 + u + u^2 + \cdots with u=x2/2−x4/24+⋯u = x^2/2 - x^4/24 + \cdots:

sec⁡x=1+(x22−x424)+(x22)2+⋯\sec x = 1 + \left(\frac{x^2}{2} - \frac{x^4}{24}\right) + \left(\frac{x^2}{2}\right)^2 + \cdots =1+x22+(−x424+x44)+⋯=1+x22+5x424+⋯= 1 + \frac{x^2}{2} + \left(-\frac{x^4}{24} + \frac{x^4}{4}\right) + \cdots = 1 + \frac{x^2}{2} + \frac{5x^4}{24} + \cdots

Example 7.5: Using series to find a limit

Problem. Evaluate lim⁡x→0x−sin⁡xx3\displaystyle\lim_{x\to 0}\frac{x - \sin x}{x^3}.

Solution. sin⁡x=x−x36+x5120−⋯\sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots

x−sin⁡xx3=x−x+x3/6−x5/120+⋯x3=16−x2120+⋯→16\frac{x - \sin x}{x^3} = \frac{x - x + x^3/6 - x^5/120 + \cdots}{x^3} = \frac{1}{6} - \frac{x^2}{120} + \cdots \to \boxed{\frac{1}{6}}

Example 7.6: Maclaurin series by differentiation

Problem. Find the Maclaurin series of f(x)=(1+x)3exf(x) = (1 + x)^3 e^x up to the x3x^3 term.

Solution. f(x)=(1+3x+3x2+x3)exf(x) = (1 + 3x + 3x^2 + x^3)e^x.

ex=1+x+x2/2+x3/6+⋯e^x = 1 + x + x^2/2 + x^3/6 + \cdots

f(x)=(1+3x+3x2+x3)(1+x+x2/2+x3/6)f(x) = (1 + 3x + 3x^2 + x^3)(1 + x + x^2/2 + x^3/6)

11: 1×1=11 \times 1 = 1 xx: 1+3=41 + 3 = 4 x2x^2: 1/2+3+3=13/21/2 + 3 + 3 = 13/2 x3x^3: 1/6+3/2+3+1=1/6+9/6+18/6+6/6=34/6=17/31/6 + 3/2 + 3 + 1 = 1/6 + 9/6 + 18/6 + 6/6 = 34/6 = 17/3

f(x)=1+4x+13x22+17x33+⋯f(x) = 1 + 4x + \frac{13x^2}{2} + \frac{17x^3}{3} + \cdots

Example 7.7: Convergence of alternating series

Problem. How many terms of ∑n=1∞(−1)n+1n\displaystyle\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n} are needed to Approximate ln⁡2\ln 2 with an error less than 0.0010.001?

Solution. This is the alternating harmonic series, with S=ln⁡2S = \ln 2. The error after NN terms Is bounded by the absolute value of the (N+1)(N+1)-th term:

∣error∣≤1N+1<0.001  ⟹  N+1>1000  ⟹  N≥1000|\text{error}| \leq \frac{1}{N+1} < 0.001 \implies N + 1 > 1000 \implies N \geq 1000

So at least 1000 terms are needed.

Example 7.8: Taylor series and approximation of definite integrals

Problem. Use the Maclaurin series of e−x2e^{-x^2} to approximate ∫01/2e−x2 dx\displaystyle\int_0^{1/2} e^{-x^2}\,dx to 5 decimal places.

Solution. e−x2=1−x2+x42−x66+x824−⋯e^{-x^2} = 1 - x^2 + \dfrac{x^4}{2} - \dfrac{x^6}{6} + \dfrac{x^8}{24} - \cdots

∫01/2e−x2 dx=[x−x33+x510−x742+x9216]01/2\int_0^{1/2}e^{-x^2}\,dx = \left[x - \frac{x^3}{3} + \frac{x^5}{10} - \frac{x^7}{42} + \frac{x^9}{216}\right]_0^{1/2} =12−124+1320−15376+1110592= \frac{1}{2} - \frac{1}{24} + \frac{1}{320} - \frac{1}{5376} + \frac{1}{110592} =0.5−0.041667+0.003125−0.000186+0.000009=0.461281= 0.5 - 0.041667 + 0.003125 - 0.000186 + 0.000009 = 0.461281

The error is bounded by the next term: 111×211=122528≈0.000044\dfrac{1}{11 \times 2^{11}} = \dfrac{1}{22528} \approx 0.000044.

So the integral ≈0.4613\approx 0.4613 to 4 decimal places.


8. Connections to Other Topics

8.1 Maclaurin series and differential equations

The Maclaurin series provides a method for solving differential equations by substituting a power Series ansatz. See Differential Equations.

8.2 Taylor series and complex numbers

Euler’s formula eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta is the link between exponential series and Trigonometric series. See Complex Numbers.

8.3 Binomial series and further algebra

The binomial expansion is essential for partial fraction decomposition and generating functions. See Further Algebra.


9. Additional Exam-Style Questions

Question 11

(a) Find the Maclaurin series of ln⁡ ⁣(1+x1−x)\ln\!\left(\dfrac{1 + x}{1 - x}\right) up to the x5x^5 term.

(b) State the range of validity.

Solution

(a) ln⁡ ⁣(1+x1−x)=ln⁡(1+x)−ln⁡(1−x)\ln\!\left(\dfrac{1+x}{1-x}\right) = \ln(1+x) - \ln(1-x)

ln⁡(1+x)=x−x22+x33−x44+x55−⋯\ln(1+x) = x - \dfrac{x^2}{2} + \dfrac{x^3}{3} - \dfrac{x^4}{4} + \dfrac{x^5}{5} - \cdots

ln⁡(1−x)=−x−x22−x33−x44−x55−⋯\ln(1-x) = -x - \dfrac{x^2}{2} - \dfrac{x^3}{3} - \dfrac{x^4}{4} - \dfrac{x^5}{5} - \cdots

ln⁡ ⁣(1+x1−x)=2x+2x33+2x55+⋯\ln\!\left(\frac{1+x}{1-x}\right) = 2x + \frac{2x^3}{3} + \frac{2x^5}{5} + \cdots

(b) Valid for −1<x<1-1 < x < 1 (intersection of validity of ln⁡(1+x)\ln(1+x) and ln⁡(1−x)\ln(1-x)).

Question 12

Use series to find lim⁡x→01−cos⁡x−x22x4\displaystyle\lim_{x\to 0}\frac{1 - \cos x - \frac{x^2}{2}}{x^4}.

Solution

cos⁡x=1−x22+x424−⋯\cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \cdots

1−cos⁡x−x2/2x4=1−(1−x2/2+x4/24−⋯ )−x2/2x4=−x4/24+⋯x4→−124\frac{1 - \cos x - x^2/2}{x^4} = \frac{1 - (1 - x^2/2 + x^4/24 - \cdots) - x^2/2}{x^4} = \frac{-x^4/24 + \cdots}{x^4} \to \boxed{-\frac{1}{24}}

Question 13

Prove by induction that dndxn(xex)=(x+n)ex\displaystyle\frac{d^n}{dx^n}(xe^x) = (x + n)e^x for all n≥0n \geq 0.

Solution

Base case (n=0n = 0): d0dx0(xex)=xex=(x+0)ex\dfrac{d^0}{dx^0}(xe^x) = xe^x = (x+0)e^x. True.

Inductive step. Assume dkdxk(xex)=(x+k)ex\dfrac{d^k}{dx^k}(xe^x) = (x+k)e^x.

dk+1dxk+1(xex)=ddx[(x+k)ex]=ex+(x+k)ex=(x+k+1)ex■\frac{d^{k+1}}{dx^{k+1}}(xe^x) = \frac{d}{dx}[(x+k)e^x] = e^x + (x+k)e^x = (x+k+1)e^x \quad \blacksquare

Question 14

Find the Maclaurin series of cos⁡x\sqrt{\cos x} up to the x4x^4 term.

Solution

cos⁡x=1−x22+x424−⋯\cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \cdots

cos⁡x=(1−x2/2+x4/24−⋯ )1/2\sqrt{\cos x} = (1 - x^2/2 + x^4/24 - \cdots)^{1/2}

Using (1+u)1/2=1+u/2−u2/8+⋯(1+u)^{1/2} = 1 + u/2 - u^2/8 + \cdots with u=−x2/2+x4/24u = -x^2/2 + x^4/24:

u2=x4/4+⋯u^2 = x^4/4 + \cdots

cos⁡x=1+12 ⁣(−x22+x424)−18 ⁣(x44)+⋯\sqrt{\cos x} = 1 + \frac{1}{2}\!\left(-\frac{x^2}{2} + \frac{x^4}{24}\right) - \frac{1}{8}\!\left(\frac{x^4}{4}\right) + \cdots=1−x24+x448−x432+⋯=1−x24−x496+⋯= 1 - \frac{x^2}{4} + \frac{x^4}{48} - \frac{x^4}{32} + \cdots = 1 - \frac{x^2}{4} - \frac{x^4}{96} + \cdots

Question 15

Use the Maclaurin series for arctan⁡x\arctan x to show that 1−13+15−17+⋯=π4\displaystyle 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \frac{\pi}{4}.

Solution

arctan⁡x=x−x33+x55−x77+⋯\arctan x = x - \dfrac{x^3}{3} + \dfrac{x^5}{5} - \dfrac{x^7}{7} + \cdots for ∣x∣≤1|x| \leq 1.

Setting x=1x = 1:

arctan⁡1=1−13+15−17+⋯=π4\arctan 1 = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \frac{\pi}{4}

Therefore ∑n=0∞(−1)n2n+1=π4\displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n}{2n+1} = \frac{\pi}{4}. ■\blacksquare


10. Advanced Worked Examples

Example 10.1: Maclaurin series of exsin⁡xe^x\sin x

Problem. Find the Maclaurin series of exsin⁡xe^x\sin x up to the term in x5x^5.

Solution. ex=1+x+x22+x36+x424+x5120+⋯e^x = 1+x+\dfrac{x^2}{2}+\dfrac{x^3}{6}+\dfrac{x^4}{24}+\dfrac{x^5}{120}+\cdots

sin⁡x=x−x36+x5120−⋯\sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots

Multiplying and collecting terms up to x5x^5:

exsin⁡x=(1+x+x22+x36+x424+x5120) ⁣(x−x36+x5120)e^x\sin x = \left(1+x+\frac{x^2}{2}+\frac{x^3}{6}+\frac{x^4}{24}+\frac{x^5}{120}\right)\!\left(x-\frac{x^3}{6}+\frac{x^5}{120}\right)

=x−x36+x5120+x2−x46+x5120+x32−x512+x46−x572+x524−x6144+⋯= x - \frac{x^3}{6} + \frac{x^5}{120} + x^2 - \frac{x^4}{6} + \frac{x^5}{120} + \frac{x^3}{2} - \frac{x^5}{12} + \frac{x^4}{6} - \frac{x^5}{72} + \frac{x^5}{24} - \frac{x^6}{144} + \cdots

=x+x2+x33−x530+O(x6)= x + x^2 + \dfrac{x^3}{3} - \boxed{\dfrac{x^5}{30} + O(x^6)}

Wait, let me be more careful:

x5x^5 coefficient: 1120+1120−112−172+124\dfrac{1}{120} + \dfrac{1}{120} - \dfrac{1}{12} - \dfrac{1}{72} + \dfrac{1}{24}

=6+6−30−5+15720=−8720=−190= \dfrac{6 + 6 - 30 - 5 + 15}{720} = \dfrac{-8}{720} = -\dfrac{1}{90}.

So exsin⁡x=x+x2+x33−x530+⋯e^x\sin x = x + x^2 + \dfrac{x^3}{3} - \dfrac{x^5}{30} + \cdots

Let me recompute the x4x^4 and x5x^5 terms carefully:

x4x^4: from (−16x4)(1)+(x4/24)(x/x)...(-\frac{1}{6}x^4)(1) + (x^4/24)(x/x)... Actually:

  • 1×(−x36)1 \times (-\frac{x^3}{6}) contributes nothing to x4x^4
  • x×(−x36)=−x46x \times (-\frac{x^3}{6}) = -\frac{x^4}{6} ✓
  • x22×x=x32\frac{x^2}{2} \times x = \frac{x^3}{2} (not x4x^4)

x4x^4 terms: x⋅(−x36)=−x46x \cdot (-\frac{x^3}{6}) = -\frac{x^4}{6} and x424⋅x\frac{x^4}{24} \cdot x… No, that’s x5x^5.

Actually x4x^4 comes from: x⋅(−x36)=−x46x \cdot (-\frac{x^3}{6}) = -\frac{x^4}{6}.

So coefficient of x4x^4 is −16-\dfrac{1}{6}.

exsin⁡x=x+x2+x33−x46−x530+O(x6)\boxed{e^x\sin x = x + x^2 + \frac{x^3}{3} - \frac{x^4}{6} - \frac{x^5}{30} + O(x^6)}

Example 10.2: Taylor series about a non-zero point

Problem. Find the Taylor series of ln⁡x\ln x about x=1x = 1 up to the term in (x−1)4(x-1)^4.

Solution. f(x)=ln⁡xf(x) = \ln x, f(1)=0f(1) = 0.

f'(x) = \dfrac{1}{x}$$f'(1) = 1. f''(x) = -\dfrac{1}{x^2}$$f''(1) = -1. f'''(x) = \dfrac{2}{x^3}$$f'''(1) = 2. f^{(4)}(x) = -\dfrac{6}{x^4}$$f^{(4)}(1) = -6.

ln⁡x=(x−1)−(x−1)22+(x−1)33−(x−1)44+⋯\ln x = (x-1) - \frac{(x-1)^2}{2} + \frac{(x-1)^3}{3} - \frac{(x-1)^4}{4} + \cdots

Example 10.3: Using series to evaluate a limit

Problem. Find lim⁡x→0ex−1−x−x22x3\displaystyle\lim_{x \to 0} \frac{e^x - 1 - x - \frac{x^2}{2}}{x^3}.

Solution. ex=1+x+x22+x36+x424+⋯e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \dfrac{x^4}{24} + \cdots

ex−1−x−x2/2x3=x3/6+x4/24+⋯x3=16+x24+⋯\frac{e^x - 1 - x - x^2/2}{x^3} = \frac{x^3/6 + x^4/24 + \cdots}{x^3} = \frac{1}{6} + \frac{x}{24} + \cdots lim⁡x→0=16\boxed{\lim_{x \to 0} = \frac{1}{6}}

Example 10.4: Convergence of a Maclaurin series

Problem. Find the radius of convergence of the Maclaurin series of ln⁡(1+x)\ln(1+x).

Solution. ln⁡(1+x)=∑n=1∞(−1)n+1xnn\ln(1+x) = \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^n}{n}.

Ratio test: ∣an+1an∣=nn+1∣x∣→∣x∣\left|\dfrac{a_{n+1}}{a_n}\right| = \dfrac{n}{n+1}|x| \to |x|.

Converges when ∣x∣<1|x| < 1. At x=1x = 1: alternating harmonic series (converges). At x=−1x = -1: −∑1n-\sum \dfrac{1}{n} (diverges).

Radius of convergence: 1\boxed{1} Interval: (−1,1](-1, 1].

Example 10.5: Series solution to estimate a definite integral

Problem. Use a Maclaurin series to estimate ∫00.5e−x2 dx\displaystyle\int_0^{0.5} e^{-x^2}\,dx to 4 Decimal places.

Solution. e−x2=1−x2+x42−x66+x824−⋯e^{-x^2} = 1 - x^2 + \dfrac{x^4}{2} - \dfrac{x^6}{6} + \dfrac{x^8}{24} - \cdots

∫00.5e−x2 dx=[x−x33+x510−x742+x9216−⋯ ]00.5\int_0^{0.5} e^{-x^2}\,dx = \left[x - \frac{x^3}{3} + \frac{x^5}{10} - \frac{x^7}{42} + \frac{x^9}{216} - \cdots\right]_0^{0.5}

=0.5−0.1253+0.0312510−0.007812542+0.001953125216= 0.5 - \dfrac{0.125}{3} + \dfrac{0.03125}{10} - \dfrac{0.0078125}{42} + \dfrac{0.001953125}{216}

=0.5−0.04167+0.003125−0.000186+0.000009=0.4613= 0.5 - 0.04167 + 0.003125 - 0.000186 + 0.000009 = \boxed{0.4613} (4 d.p.)

Example 10.6: Differentiating a known series

Problem. By differentiating the Maclaurin series for 11−x\dfrac{1}{1-x} Find the Maclaurin series For 1(1−x)2\dfrac{1}{(1-x)^2}.

Solution. 11−x=∑n=0∞xn=1+x+x2+x3+⋯\dfrac{1}{1-x} = \sum_{n=0}^{\infty} x^n = 1 + x + x^2 + x^3 + \cdots

Differentiating: 1(1−x)2=∑n=1∞nxn−1=∑n=0∞(n+1)xn=1+2x+3x2+4x3+⋯\dfrac{1}{(1-x)^2} = \sum_{n=1}^{\infty} nx^{n-1} = \sum_{n=0}^{\infty} (n+1)x^n = 1 + 2x + 3x^2 + 4x^3 + \cdots

Example 10.7: Multiplying two Taylor series

Problem. Find the Maclaurin series of cos⁡x⋅e−x\cos x \cdot e^{-x} up to x4x^4.

Solution. cos⁡x=1−x22+x424−⋯\cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \cdots

e−x=1−x+x22−x36+x424−⋯e^{-x} = 1 - x + \dfrac{x^2}{2} - \dfrac{x^3}{6} + \dfrac{x^4}{24} - \cdots

Multiplying: (1−x22+x424)(1−x+x22−x36+x424)(1 - \frac{x^2}{2} + \frac{x^4}{24})(1 - x + \frac{x^2}{2} - \frac{x^3}{6} + \frac{x^4}{24})

=1−x+x22−x36+x424−x22+x32−x44+x424+⋯= 1 - x + \frac{x^2}{2} - \frac{x^3}{6} + \frac{x^4}{24} - \frac{x^2}{2} + \frac{x^3}{2} - \frac{x^4}{4} + \frac{x^4}{24} + \cdots

=1−x+0−x33+(124−14+124)x4+⋯= 1 - x + 0 - \frac{x^3}{3} + \left(\frac{1}{24}-\frac{1}{4}+\frac{1}{24}\right)x^4 + \cdots

Wait: 124−624+124=−424=−16\frac{1}{24}-\frac{6}{24}+\frac{1}{24} = -\frac{4}{24} = -\frac{1}{6}.

cos⁡x⋅e−x=1−x−x33−x46+O(x5)\boxed{\cos x \cdot e^{-x} = 1 - x - \frac{x^3}{3} - \frac{x^4}{6} + O(x^5)}

11. Common Pitfalls

PitfallCorrect Approach
Confusing the Maclaurin series (about x=0x=0) with a general Taylor seriesMaclaurin: a=0a=0; Taylor: f(x)=∑f(n)(a)n!(x−a)nf(x) = \sum \dfrac{f^{(n)}(a)}{n!}(x-a)^n
Forgetting the factorial in the denominatorEach term has f(n)(0)n!xn\dfrac{f^{(n)}(0)}{n!}x^n Not f(n)(0)nxn\dfrac{f^{(n)}(0)}{n}x^n
Using a series outside its radius of convergenceAlways check: e.g., ln⁡(1+x)\ln(1+x) converges only for −1<x≤1-1 < x \leq 1
Incorrectly multiplying seriesCollect like powers carefully; use a table if needed

12. Additional Exam-Style Questions

Question 8

Find the Maclaurin series of (1+x)−1/2(1+x)^{-1/2} and determine its radius of convergence.

Solution

(1+x)−1/2=1−x2+3x28−5x316+35x4128−⋯(1+x)^{-1/2} = 1 - \dfrac{x}{2} + \dfrac{3x^2}{8} - \dfrac{5x^3}{16} + \dfrac{35x^4}{128} - \cdots

Using the general binomial: ∑n=0∞(−1/2n)xn\displaystyle\sum_{n=0}^{\infty} \binom{-1/2}{n} x^n.

Radius of convergence: ∣x∣<1|x| < 1 (from the binomial series convergence condition).

Question 9

Prove that ∫01ln⁡(1+x)x dx=π212\displaystyle\int_0^1 \frac{\ln(1+x)}{x}\,dx = \frac{\pi^2}{12}.

Solution

ln⁡(1+x)=∑n=1∞(−1)n+1xnn\ln(1+x) = \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^n}{n} for ∣x∣<1|x| < 1.

ln⁡(1+x)x=∑n=1∞(−1)n+1xn−1n\dfrac{\ln(1+x)}{x} = \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^{n-1}}{n}.

∫01ln⁡(1+x)x dx=∑n=1∞(−1)n+1n2=η(2)=π212\displaystyle\int_0^1 \frac{\ln(1+x)}{x}\,dx = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^2} = \eta(2) = \frac{\pi^2}{12}.

This is the Dirichlet eta function evaluated at 2. ■\blacksquare

Question 10

Use the Maclaurin series for sin⁡x\sin x to find sin⁡0.1\sin 0.1 correct to 8 decimal places.

Solution

sin⁡0.1=0.1−0.0016+0.00001120−⋯=0.1−0.00016667+0.00000008−⋯\sin 0.1 = 0.1 - \dfrac{0.001}{6} + \dfrac{0.00001}{120} - \cdots = 0.1 - 0.00016667 + 0.00000008 - \cdots

sin⁡0.1≈0.09983342\boxed{\sin 0.1 \approx 0.09983342}

The x7x^7 term contributes approximately 10−1210^{-12} Which is negligible.


13. Advanced Topics

13.1 Lagrange form of the remainder

The error in truncating a Taylor series after nn terms is:

Rn(x)=f(n+1)(c)(n+1)!(x−a)n+1R_n(x) = \frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}

For some cc between aa and xx. This gives a bound on the truncation error.

13.2 Power series solutions of ODEs

The Maclaurin series method can solve ODEs that cannot be solved by standard methods. Substitute y=∑anxny = \sum a_n x^n into the ODE and equate coefficients.

13.3 Standard Maclaurin series (reference)

FunctionSeriesRadius
exe^x∑n=0∞xnn!\displaystyle\sum_{n=0}^{\infty} \frac{x^n}{n!}∞\infty
sin⁡x\sin x∑n=0∞(−1)nx2n+1(2n+1)!\displaystyle\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}∞\infty
cos⁡x\cos x∑n=0∞(−1)nx2n(2n)!\displaystyle\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!}∞\infty
ln⁡(1+x)\ln(1+x)∑n=1∞(−1)n+1xnn\displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^n}{n}11
(1+x)α(1+x)^\alpha∑n=0∞(αn)xn\displaystyle\sum_{n=0}^{\infty} \binom{\alpha}{n}x^n11
arctan⁡x\arctan x∑n=0∞(−1)nx2n+12n+1\displaystyle\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1}11
11−x\dfrac{1}{1-x}∑n=0∞xn\displaystyle\sum_{n=0}^{\infty} x^n11

13.4 Using series to prove identities

Many trigonometric identities can be derived from series. For example, eix=cos⁡x+isin⁡xe^{ix} = \cos x + i\sin x Implies all the standard addition formulae.


14. Further Exam-Style Questions

Question 11

Find the Maclaurin series of sin⁡xx\dfrac{\sin x}{x} and determine lim⁡x→0sin⁡xx\displaystyle\lim_{x \to 0} \frac{\sin x}{x}.

Solution

sin⁡x=x−x36+x5120−⋯\sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots

sin⁡xx=1−x26+x4120−⋯\dfrac{\sin x}{x} = 1 - \dfrac{x^2}{6} + \dfrac{x^4}{120} - \cdots

lim⁡x→0sin⁡xx=1\displaystyle\lim_{x \to 0} \frac{\sin x}{x} = 1 (the constant term).

Question 12

Prove that the Maclaurin series of cos⁡x\cos x converges to cos⁡x\cos x for all real xx.

Solution

The nn-th derivative of cos⁡x\cos x is one of ±cos⁡x\pm\cos x or ±sin⁡x\pm\sin x So ∣f(n)(c)∣≤1|f^{(n)}(c)| \leq 1 for all cc and nn.

By the Lagrange remainder: ∣Rn(x)∣≤∣x∣n+1(n+1)!|R_n(x)| \leq \dfrac{|x|^{n+1}}{(n+1)!}.

For any fixed xx: lim⁡n→∞∣x∣n+1(n+1)!=0\displaystyle\lim_{n \to \infty} \frac{|x|^{n+1}}{(n+1)!} = 0 (factorial grows faster than exponential).

Therefore Rn(x)→0R_n(x) \to 0 and the series converges to cos⁡x\cos x. ■\blacksquare

Question 13

Use series to evaluate lim⁡x→0tan⁡x−xx3\displaystyle\lim_{x \to 0} \frac{\tan x - x}{x^3}.

Solution

tan⁡x=x+x33+2x515+⋯\tan x = x + \dfrac{x^3}{3} + \dfrac{2x^5}{15} + \cdots

tan⁡x−xx3=x3/3+2x5/15+⋯x3=13+2x215+⋯\dfrac{\tan x - x}{x^3} = \dfrac{x^3/3 + 2x^5/15 + \cdots}{x^3} = \dfrac{1}{3} + \dfrac{2x^2}{15} + \cdots

lim⁡x→0tan⁡x−xx3=13\boxed{\displaystyle\lim_{x \to 0} \frac{\tan x - x}{x^3} = \frac{1}{3}}


15. Advanced Topics

15.1 Power series solutions of differential equations

For an ODE y′′+p(x)y′+q(x)y=0y'' + p(x)y' + q(x)y = 0 Assume y=∑n=0∞anxny = \sum_{n=0}^{\infty} a_n x^n.

Substitute into the ODE and equate coefficients of each power of xx to zero. This gives a Recurrence relation for ana_n.

15.2 The exponential generating function

E(x)=∑n=0∞anxnn!E(x) = \sum_{n=0}^{\infty} \dfrac{a_n x^n}{n!}.

This is useful in combinatorics and probability (e.g., the exponential generating function of the Bernoulli numbers).

15.3 Binomial series, convergence at the endpoints

(1+x)α(1+x)^\alpha converges at x=1x = 1 when α>−1\alpha > -1 and at x=−1x = -1 when α>0\alpha > 0.

Example: (1+x)1/2(1+x)^{1/2} converges at x=1x = 1 (giving 2\sqrt{2}) but diverges at x=−1x = -1.

15.4 Series acceleration

Techniques like Euler acceleration or Shanks transformation can speed up the convergence of slowly Converging alternating series.


16. Further Exam-Style Questions

Question 14

Find the Maclaurin series of ln⁡(1−x2)\ln(1-x^2) up to x6x^6 and state the radius of convergence.

Solution

ln⁡(1−u)=−∑n=1∞unn\ln(1-u) = -\displaystyle\sum_{n=1}^{\infty} \frac{u^n}{n} for ∣u∣<1|u| < 1. With u=x2u = x^2:

ln⁡(1−x2)=−∑n=1∞x2nn=−x2−x42−x63−⋯\ln(1-x^2) = -\displaystyle\sum_{n=1}^{\infty} \frac{x^{2n}}{n} = -x^2 - \dfrac{x^4}{2} - \dfrac{x^6}{3} - \cdots

Radius of convergence: ∣x2∣<1  ⟹  ∣x∣<1|x^2| < 1 \implies |x| < 1. At x=1x = 1: −∑1n-\sum \dfrac{1}{n} diverges.

ln⁡(1−x2)=−x2−x42−x63+O(x8)\boxed{\ln(1-x^2) = -x^2 - \dfrac{x^4}{2} - \dfrac{x^6}{3} + O(x^8)} Radius =1= 1.

Question 15

Prove that ∑n=1∞n2n=2\displaystyle\sum_{n=1}^{\infty} \frac{n}{2^n} = 2.

Solution

S=∑n=1∞n2n=∑n=1∞nxn∣x=1/2S = \displaystyle\sum_{n=1}^{\infty} \frac{n}{2^n} = \sum_{n=1}^{\infty} n x^n\Big|_{x=1/2}.

We know ∑n=1∞nxn−1=1(1−x)2\displaystyle\sum_{n=1}^{\infty} n x^{n-1} = \frac{1}{(1-x)^2} for ∣x∣<1|x| < 1.

So ∑n=1∞nxn=x(1−x)2\displaystyle\sum_{n=1}^{\infty} n x^n = \frac{x}{(1-x)^2}.

At x=1/2x = 1/2: S=1/2(1/2)2=1/21/4=2S = \dfrac{1/2}{(1/2)^2} = \dfrac{1/2}{1/4} = 2. ■\blacksquare

flowchart TD
    A[08 Maclaurin And Taylor Seriesx] --> B[Key Concepts]
    A --> C[Core Principles]
    A --> D[Practical Applications]
    B --> E[Fundamental definitions]
    C --> F[Design patterns]
    D --> G[Real-world usage]

Summary

This topic covers the mathematical techniques and concepts related to maclaurin and taylor series, including key theorems, methods, and problem-solving approaches.

Key concepts include:

  • quadratic equations and the discriminant
  • simultaneous equations
  • polynomial division and the factor theorem
  • partial fractions
  • binomial expansion

Regular practice with a variety of question types is essential to build fluency and confidence in applying these mathematical techniques.


Cross-References

  • Further Calculus provides the differentiation and integration foundations upon which the Maclaurin and Taylor series are built.
  • Differential Equations uses power series solutions to solve ODEs that cannot be solved by standard methods.
  • Complex Numbers connects exponential and trigonometric series through Euler’s formula, unifying the standard Maclaurin series.
  • Further Algebra supplies the binomial expansion and partial fraction techniques used in deriving and manipulating series expansions.