Maclaurin and Taylor Series
Power series provide a way to represent functions as infinite sums, enabling computation,
Approximation, and analysis that would otherwise be impossible. The Maclaurin series expands a
Function about x = 0 x = 0 x = 0 ; the Taylor series generalises this to expansion about any point. Together
They are among the most powerful tools in analysis and applied mathematics.
Taylor Series Approximation of e^x
Adjust the parameters in the graph above to explore the relationships between variables.
Board Coverage
Board Paper Notes AQA Paper 1 Maclaurin series; standard series for e^x$$\sin x$$\cos x$$\ln(1+x)$$(1+x)^n Edexcel FP2 Maclaurin + Taylor series about general x = a x = a x = a ; convergence OCR (A) Paper 1 Maclaurin series; standard series; applications CIE P2 Maclaurin series; expansion of compound functions; range of validity
:::info All boards require the standard Maclaurin series. Edexcel and CIE additionally require
Taylor series about x = a x = a x = a . The formula booklet lists the standard Maclaurin series — you must be
Able to derive them and apply them.
:::
1. Maclaurin Series
1.1 Definition
Definition. The Maclaurin series of a function f f f that is infinitely differentiable at
x = 0 x = 0 x = 0 is
f ( x ) = f ( 0 ) + x f ′ ( 0 ) + x 2 2 ! f ′ ′ ( 0 ) + x 3 3 ! f ′ ′ ′ ( 0 ) + ⋯ = ∑ n = 0 ∞ f ( n ) ( 0 ) n ! x n \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} f ( x ) = f ( 0 ) + x f ′ ( 0 ) + 2 ! x 2 f ′′ ( 0 ) + 3 ! x 3 f ′′′ ( 0 ) + ⋯ = n = 0 ∑ ∞ n ! f ( n ) ( 0 ) x n
This is a special case of the Taylor series about x = a = 0 x = a = 0 x = a = 0 .
1.2 Derivation from the Taylor series
Assume f f f can be written as a power series f ( x ) = a 0 + a 1 x + a 2 x 2 + a 3 x 3 + ⋯ f(x) = a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \cdots f ( x ) = a 0 + a 1 x + a 2 x 2 + a 3 x 3 + ⋯ .
Differentiating repeatedly and evaluating at x = 0 x = 0 x = 0 :
f ( 0 ) = a 0 f(0) = a_0 f ( 0 ) = a 0
f ′ ( 0 ) = a 1 f'(0) = a_1 f ′ ( 0 ) = a 1
f ′ ′ ( 0 ) = 2 a 2 f''(0) = 2a_2 f ′′ ( 0 ) = 2 a 2
f ′ ′ ′ ( 0 ) = 6 a 3 = 3 ! a 3 f'''(0) = 6a_3 = 3!\,a_3 f ′′′ ( 0 ) = 6 a 3 = 3 ! a 3
f ( n ) ( 0 ) = n ! a n f^{(n)}(0) = n!\,a_n f ( n ) ( 0 ) = n ! a n Giving a n = f ( n ) ( 0 ) n ! a_n = \dfrac{f^{(n)}(0)}{n!} a n = n ! f ( n ) ( 0 ) .
Substituting back gives the Maclaurin series.
2. Standard Maclaurin Series
2.1 Exponential function
Proof of the Maclaurin series for e x e^x e x
Let f ( x ) = e x f(x) = e^x f ( x ) = e x . Then f ( n ) ( x ) = e x f^{(n)}(x) = e^x f ( n ) ( x ) = e x for all n n n So f ( n ) ( 0 ) = 1 f^{(n)}(0) = 1 f ( n ) ( 0 ) = 1 for all n n n .
e x = 1 + x + x 2 2 ! + x 3 3 ! + ⋯ = ∑ n = 0 ∞ x n n ! e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots = \sum_{n=0}^{\infty}\frac{x^n}{n!} e x = 1 + x + 2 ! x 2 + 3 ! x 3 + ⋯ = ∑ n = 0 ∞ n ! x n
e x = ∑ n = 0 ∞ x n n ! f o r a l l x ∈ R \boxed{e^x = \sum_{n=0}^{\infty}\frac{x^n}{n!}} \quad \mathrm{for all } x \in \mathbb{R} e x = n = 0 ∑ ∞ n ! x n forall x ∈ R
□ \square □
Radius of convergence: ∞ \infty ∞ (converges for all real x x x ).
2.2 Sine function
Proof of the Maclaurin series for sin x \sin x sin x
Let f ( x ) = sin x f(x) = \sin x f ( x ) = sin x . The derivatives cycle: \sin x$$\cos x$$-\sin x$$-\cos x$$\sin x …
At x = 0 x = 0 x = 0 : 0 , 1 , 0 , − 1 , 0 , 1 , 0 , − 1 , … 0, 1, 0, -1, 0, 1, 0, -1, \ldots 0 , 1 , 0 , − 1 , 0 , 1 , 0 , − 1 , …
sin x = x − x 3 3 ! + x 5 5 ! − x 7 7 ! + ⋯ = ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 ( 2 n + 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 = x − 3 ! x 3 + 5 ! x 5 − 7 ! x 7 + ⋯ = ∑ n = 0 ∞ ( 2 n + 1 )! ( − 1 ) n x 2 n + 1
sin x = ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! f o r a l l x ∈ R \boxed{\sin x = \sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!}} \quad \mathrm{for all } x \in \mathbb{R} sin x = n = 0 ∑ ∞ ( 2 n + 1 )! ( − 1 ) n x 2 n + 1 forall x ∈ R
□ \square □
Radius of convergence: ∞ \infty ∞ .
2.3 Cosine function
Let f ( x ) = cos x f(x) = \cos x f ( x ) = cos x . The derivatives cycle: \cos x$$-\sin x$$-\cos x$$\sin x$$\cos x …
At x = 0 x = 0 x = 0 : 1 , 0 , − 1 , 0 , 1 , 0 , − 1 , 0 , … 1, 0, -1, 0, 1, 0, -1, 0, \ldots 1 , 0 , − 1 , 0 , 1 , 0 , − 1 , 0 , …
cos x = 1 − x 2 2 ! + x 4 4 ! − x 6 6 ! + ⋯ = ∑ n = 0 ∞ ( − 1 ) n x 2 n ( 2 n ) ! f o r a l l x ∈ 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} cos x = 1 − 2 ! x 2 + 4 ! x 4 − 6 ! x 6 + ⋯ = n = 0 ∑ ∞ ( 2 n )! ( − 1 ) n x 2 n forall x ∈ R
2.4 Natural logarithm
Let f ( x ) = ln ( 1 + x ) f(x) = \ln(1+x) f ( x ) = ln ( 1 + x ) for ∣ x ∣ < 1 |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 ) n f^{(n)}(x) = \dfrac{(-1)^{n-1}(n-1)!}{(1+x)^n} f ( n ) ( x ) = ( 1 + x ) n ( − 1 ) n − 1 ( n − 1 )! So f ( n ) ( 0 ) = ( − 1 ) n − 1 ( n − 1 ) ! f^{(n)}(0) = (-1)^{n-1}(n-1)! f ( n ) ( 0 ) = ( − 1 ) n − 1 ( n − 1 )! .
ln ( 1 + x ) = x − x 2 2 + x 3 3 − x 4 4 + ⋯ = ∑ n = 1 ∞ ( − 1 ) n − 1 x n n f o r − 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 ln ( 1 + x ) = x − 2 x 2 + 3 x 3 − 4 x 4 + ⋯ = n = 1 ∑ ∞ n ( − 1 ) n − 1 x n for − 1 < x ≤ 1
Radius of convergence: 1. The series also converges at x = 1 x = 1 x = 1 (alternating harmonic series).
2.5 Binomial series
For ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 and any real n n n :
( 1 + x ) n = 1 + n x + n ( n − 1 ) 2 ! x 2 + n ( n − 1 ) ( n − 2 ) 3 ! x 3 + ⋯ = ∑ k = 0 ∞ ( n k ) x k \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} ( 1 + x ) n = 1 + n x + 2 ! n ( n − 1 ) x 2 + 3 ! n ( n − 1 ) ( n − 2 ) x 3 + ⋯ = k = 0 ∑ ∞ ( k n ) x k
Where ( n k ) = ◆ L B ◆ n ( n − 1 ) ( n − 2 ) ⋯ ( n − k + 1 ) ◆ R B ◆◆ L B ◆ k ! ◆ R B ◆ \dbinom{n}{k} = \dfrac◆LB◆n(n-1)(n-2)\cdots(n-k+1)◆RB◆◆LB◆k!◆RB◆ ( k n ) = L ◆ B ◆ n ( n − 1 ) ( n − 2 ) ⋯ ( n − k + 1 ) ◆ R B ◆◆ L B ◆ k ! ◆ R B ◆ .
Radius of convergence: 1.
2.6 Arctangent
arctan x = x − x 3 3 + x 5 5 − x 7 7 + ⋯ = ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 2 n + 1 f o r ∣ 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 arctan x = x − 3 x 3 + 5 x 5 − 7 x 7 + ⋯ = n = 0 ∑ ∞ 2 n + 1 ( − 1 ) n x 2 n + 1 for ∣ x ∣ ≤ 1
Radius of convergence: 1. Converges at x = ± 1 x = \pm 1 x = ± 1 by the alternating series test.
Derivation. Since d d x arctan x = 1 1 + x 2 = 1 − x 2 + x 4 − x 6 + ⋯ \dfrac{d}{dx}\arctan x = \dfrac{1}{1+x^2} = 1 - x^2 + x^4 - x^6 + \cdots d x d arctan x = 1 + x 2 1 = 1 − x 2 + x 4 − x 6 + ⋯ for
∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 Integrate term by term.
2.7 Summary table
| Function | Maclaurin Series | Valid for |
| ----------- | ----------------------------------------------------------------- | --------------- | --- | ------- |
| e x e^x e x | ∑ n = 0 ∞ x n n ! \displaystyle\sum_{n=0}^{\infty}\frac{x^n}{n!} n = 0 ∑ ∞ n ! x n | all x x x |
| sin x \sin x sin x | ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! \displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!} n = 0 ∑ ∞ ( 2 n + 1 )! ( − 1 ) n x 2 n + 1 | all x x x |
| cos x \cos x cos x | ∑ n = 0 ∞ ( − 1 ) n x 2 n ( 2 n ) ! \displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!} n = 0 ∑ ∞ ( 2 n )! ( − 1 ) n x 2 n | all x x x |
| ln ( 1 + x ) \ln(1+x) ln ( 1 + x ) | ∑ n = 1 ∞ ( − 1 ) n − 1 x n n \displaystyle\sum_{n=1}^{\infty}\frac{(-1)^{n-1}x^n}{n} n = 1 ∑ ∞ n ( − 1 ) n − 1 x n | − 1 < x ≤ 1 -1 < x \leq 1 − 1 < x ≤ 1 |
| ( 1 + x ) n (1+x)^n ( 1 + x ) n | ∑ k = 0 ∞ ( n k ) x k \displaystyle\sum_{k=0}^{\infty}\binom{n}{k}x^k k = 0 ∑ ∞ ( k n ) x k | ∣ x ∣ < 1 | x | < 1 ∣ x ∣ < 1 |
| arctan x \arctan x arctan x | ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 2 n + 1 \displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{2n+1} n = 0 ∑ ∞ 2 n + 1 ( − 1 ) n x 2 n + 1 | ∣ x ∣ ≤ 1 | x | \leq 1 ∣ x ∣ ≤ 1 |
3. Taylor Series About x = a x = a x = a
3.1 Definition
Definition. The Taylor series of f f f about x = a x = a x = a is
f ( x ) = f ( a ) + ( x − a ) f ′ ( a ) + ( x − a ) 2 2 ! f ′ ′ ( a ) + ( x − a ) 3 3 ! 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} f ( x ) = f ( a ) + ( x − a ) f ′ ( a ) + 2 ! ( x − a ) 2 f ′′ ( a ) + 3 ! ( x − a ) 3 f ′′′ ( a ) + ⋯ = n = 0 ∑ ∞ n ! f ( n ) ( a ) ( x − a ) n
The Maclaurin series is the special case a = 0 a = 0 a = 0 .
3.2 Taylor’s theorem with remainder
Theorem. If f f f is ( n + 1 ) (n+1) ( n + 1 ) -times differentiable on an interval containing a a a and x x x Then
f ( x ) = ∑ k = 0 n f ( k ) ( a ) k ! ( x − a ) k + R n f(x) = \sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k + R_n f ( x ) = ∑ k = 0 n k ! f ( k ) ( a ) ( x − a ) k + R n
Where the remainder in Lagrange form is
R n = f ( n + 1 ) ( c ) ( n + 1 ) ! ( x − a ) n + 1 \boxed{R_n = \frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}} R n = ( n + 1 )! f ( n + 1 ) ( c ) ( x − a ) n + 1
For some c c c between a a a and x x x .
Intuition. The remainder term tells us the error when truncating the series after n n n terms. If
∣ R n ∣ → 0 |R_n| \to 0 ∣ R n ∣ → 0 as n → ∞ n \to \infty n → ∞ Then the Taylor series converges to f ( x ) f(x) f ( x ) .
3.3 Worked example
Find the Taylor series of e x e^x e x about x = 1 x = 1 x = 1 up to the x 3 x^3 x 3 term.
f(x) = e^x$$f'(x) = e^x$$f''(x) = e^x$$f'''(x) = e^x .
At x = 1 x = 1 x = 1 : f ( 1 ) = f ′ ( 1 ) = f ′ ′ ( 1 ) = f ′ ′ ′ ( 1 ) = e f(1) = f'(1) = f''(1) = f'''(1) = e f ( 1 ) = f ′ ( 1 ) = f ′′ ( 1 ) = f ′′′ ( 1 ) = e .
e x = e + e ( x − 1 ) + e 2 ( x − 1 ) 2 + e 6 ( x − 1 ) 3 + ⋯ = e ∑ n = 0 ∞ ( x − 1 ) n n ! 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!} e x = e + e ( x − 1 ) + 2 e ( x − 1 ) 2 + 6 e ( x − 1 ) 3 + ⋯ = e ∑ n = 0 ∞ n ! ( x − 1 ) n
3.4 Converting between Maclaurin and Taylor series
Example. Find the Taylor series of ln x \ln x ln x about x = 1 x = 1 x = 1 .
Let u = x − 1 u = x - 1 u = x − 1 So ln x = ln ( 1 + u ) \ln x = \ln(1 + u) ln x = ln ( 1 + u ) .
ln ( 1 + u ) = u − u 2 2 + u 3 3 − ⋯ \ln(1+u) = u - \frac{u^2}{2} + \frac{u^3}{3} - \cdots ln ( 1 + u ) = u − 2 u 2 + 3 u 3 − ⋯
ln x = ( x − 1 ) − ( x − 1 ) 2 2 + ( x − 1 ) 3 3 − ⋯ f o r 0 < 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 ln x = ( x − 1 ) − 2 ( x − 1 ) 2 + 3 ( x − 1 ) 3 − ⋯ for 0 < x ≤ 2
4. Interval and Radius of Convergence
4.1 Definitions
Definition. The radius of convergence R R R of a power series
∑ n = 0 ∞ a n x n \displaystyle\sum_{n=0}^{\infty}a_n x^n n = 0 ∑ ∞ a n x n is the value such that the series converges for ∣ x ∣ < R |x| < R ∣ x ∣ < R
And diverges for ∣ x ∣ > R |x| > R ∣ x ∣ > R .
The interval of convergence is the set of all x x x for which the series converges. The endpoints
x = ± R x = \pm R x = ± R must be tested separately.
4.2 The ratio test
Theorem (Ratio test). For the series ∑ n = 0 ∞ a n x n \displaystyle\sum_{n=0}^{\infty}a_n x^n n = 0 ∑ ∞ a n x n Let
L = lim n → ∞ ∣ a n + 1 a n ∣ L = \lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right| L = lim n → ∞ a n a n + 1
If L L L exists, the radius of convergence is R = 1 L R = \dfrac{1}{L} R = L 1 .
Equivalently, if
L = lim n → ∞ ∣ a n + 1 x n + 1 a n x n ∣ = ∣ x ∣ lim n → ∞ ∣ a n + 1 a n ∣ 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| L = lim n → ∞ a n x n a n + 1 x n + 1 = ∣ x ∣ lim n → ∞ a n a n + 1 :
If L < 1 L < 1 L < 1 : the series converges absolutely.
If L > 1 L > 1 L > 1 : the series diverges.
If L = 1 L = 1 L = 1 : the test is inconclusive.
4.3 Worked examples
Example 1. Find the radius of convergence of
∑ n = 1 ∞ ( − 1 ) n − 1 x n n \displaystyle\sum_{n=1}^{\infty}\frac{(-1)^{n-1}x^n}{n} n = 1 ∑ ∞ n ( − 1 ) n − 1 x n .
a_n = \dfrac{(-1)^{n-1}}{n}$$a_{n+1} = \dfrac{(-1)^n}{n+1} .
∣ a n + 1 a n ∣ = n n + 1 → 1 \left|\dfrac{a_{n+1}}{a_n}\right| = \dfrac{n}{n+1} \to 1 a n a n + 1 = n + 1 n → 1 as n → ∞ n \to \infty n → ∞ .
R = 1 R = 1 R = 1 . The series converges for ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 .
At x = 1 x = 1 x = 1 : alternating harmonic series, converges. At x = − 1 x = -1 x = − 1 : − ∑ 1 / n -\sum 1/n − ∑ 1/ n Diverges.
Interval of convergence: − 1 < x ≤ 1 -1 < x \leq 1 − 1 < x ≤ 1 .
Example 2. Find the radius of convergence of ∑ n = 0 ∞ x n n ! \displaystyle\sum_{n=0}^{\infty}\frac{x^n}{n!} n = 0 ∑ ∞ n ! x n .
∣ a n + 1 a n ∣ = 1 / ( n + 1 ) ! 1 / n ! = 1 n + 1 → 0 \left|\dfrac{a_{n+1}}{a_n}\right| = \dfrac{1/(n+1)!}{1/n!} = \dfrac{1}{n+1} \to 0 a n a n + 1 = 1/ n ! 1/ ( n + 1 )! = n + 1 1 → 0 .
R = ∞ R = \infty R = ∞ . Converges for all x x x .
4.4 Convergence of the geometric series
Proof of convergence of the geometric series
For ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 The geometric series is ∑ n = 0 ∞ x n \displaystyle\sum_{n=0}^{\infty}x^n n = 0 ∑ ∞ x n .
The partial sum is S N = 1 + x + x 2 + ⋯ + x N S_N = 1 + x + x^2 + \cdots + x^N S N = 1 + x + x 2 + ⋯ + x N .
S N = 1 − x N + 1 1 − x S_N = \dfrac{1 - x^{N+1}}{1 - x} S N = 1 − x 1 − x N + 1 (standard formula).
Since ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 : x N + 1 → 0 x^{N+1} \to 0 x N + 1 → 0 as N → ∞ N \to \infty N → ∞ So S N → 1 1 − x S_N \to \dfrac{1}{1-x} S N → 1 − x 1 .
∑ n = 0 ∞ x n = 1 1 − x f o r ∣ x ∣ < 1 \boxed{\sum_{n=0}^{\infty}x^n = \frac{1}{1-x} \quad \mathrm{for } |x| < 1} n = 0 ∑ ∞ x n = 1 − x 1 for ∣ x ∣ < 1
□ \square □
:::tip tip 1 1 + x \dfrac{1}{1+x} 1 + x 1 , ln ( 1 + x ) \ln(1+x) ln ( 1 + x ) And arctan x \arctan x arctan x all derive from it.
:::
5. Applications
5.1 Approximating values
Example. Approximate e 0.1 e^{0.1} e 0.1 using the first four terms of the Maclaurin series.
e 0.1 ≈ 1 + 0.1 + 0.01 2 + 0.001 6 = 1 + 0.1 + 0.005 + 0.000167 ≈ 1.10517 e^{0.1} \approx 1 + 0.1 + \dfrac{0.01}{2} + \dfrac{0.001}{6} = 1 + 0.1 + 0.005 + 0.000167 \approx 1.10517 e 0.1 ≈ 1 + 0.1 + 2 0.01 + 6 0.001 = 1 + 0.1 + 0.005 + 0.000167 ≈ 1.10517 .
The actual value is ≈ 1.10517 \approx 1.10517 ≈ 1.10517 So the error is negligible with just 4 terms.
Example. Approximate sin ( 0.1 ) \sin(0.1) sin ( 0.1 ) and bound the error.
sin ( 0.1 ) ≈ 0.1 − 0.001 6 = 0.1 − 0.000167 = 0.099833 \sin(0.1) \approx 0.1 - \dfrac{0.001}{6} = 0.1 - 0.000167 = 0.099833 sin ( 0.1 ) ≈ 0.1 − 6 0.001 = 0.1 − 0.000167 = 0.099833 .
The next term is ( 0.1 ) 5 120 ≈ 8.3 × 10 − 8 \dfrac{(0.1)^5}{120} \approx 8.3 \times 10^{-8} 120 ( 0.1 ) 5 ≈ 8.3 × 1 0 − 8 So the error is at most this.
5.2 Evaluating limits using series
Example. Find lim x → 0 e x − 1 − x x 2 \displaystyle\lim_{x\to 0}\frac{e^x - 1 - x}{x^2} x → 0 lim x 2 e x − 1 − x .
e x = 1 + x + x 2 2 + x 3 6 + ⋯ e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \cdots e x = 1 + x + 2 x 2 + 6 x 3 + ⋯
e x − 1 − x = x 2 2 + x 3 6 + ⋯ e^x - 1 - x = \dfrac{x^2}{2} + \dfrac{x^3}{6} + \cdots e x − 1 − x = 2 x 2 + 6 x 3 + ⋯
e x − 1 − x x 2 = 1 2 + x 6 + ⋯ → 1 2 \dfrac{e^x - 1 - x}{x^2} = \dfrac{1}{2} + \dfrac{x}{6} + \cdots \to \dfrac{1}{2} x 2 e x − 1 − x = 2 1 + 6 x + ⋯ → 2 1 as x → 0 x \to 0 x → 0 .
5.3 Series expansions of compound functions
Example. Find the Maclaurin series of e x 2 e^{x^2} e x 2 up to the x 6 x^6 x 6 term.
Substitute x 2 x^2 x 2 into the series for e x e^x e x :
e x 2 = 1 + x 2 + x 4 2 ! + x 6 3 ! + ⋯ = 1 + x 2 + x 4 2 + x 6 6 + ⋯ 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 e x 2 = 1 + x 2 + 2 ! x 4 + 3 ! x 6 + ⋯ = 1 + x 2 + 2 x 4 + 6 x 6 + ⋯
Example. Find the Maclaurin series of cos ( x 2 ) \cos(x^2) cos ( x 2 ) up to the x 8 x^8 x 8 term.
cos ( x 2 ) = 1 − x 4 2 ! + x 8 4 ! − ⋯ = 1 − x 4 2 + x 8 24 − ⋯ \cos(x^2) = 1 - \frac{x^4}{2!} + \frac{x^8}{4!} - \cdots = 1 - \frac{x^4}{2} + \frac{x^8}{24} - \cdots cos ( x 2 ) = 1 − 2 ! x 4 + 4 ! x 8 − ⋯ = 1 − 2 x 4 + 24 x 8 − ⋯
Example. Find e x 1 − x \dfrac{e^x}{1-x} 1 − x e x up to the x 3 x^3 x 3 term.
e x = 1 + x + x 2 2 + x 3 6 + ⋯ e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \cdots e x = 1 + x + 2 x 2 + 6 x 3 + ⋯
1 1 − x = 1 + x + x 2 + x 3 + ⋯ \dfrac{1}{1-x} = 1 + x + x^2 + x^3 + \cdots 1 − x 1 = 1 + x + x 2 + x 3 + ⋯
Multiply (Cauchy product):
e x 1 − x = ( 1 + x + x 2 2 + x 3 6 ) ( 1 + x + x 2 + x 3 ) + O ( x 4 ) \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 − x e x = ( 1 + x + 2 x 2 + 6 x 3 ) ( 1 + x + x 2 + x 3 ) + O ( x 4 )
= 1 + ( 1 + 1 ) x + ( 1 + 1 + 1 2 ) x 2 + ( 1 + 1 + 1 2 + 1 6 ) x 3 = 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 + ( 1 + 1 ) x + ( 1 + 1 + 2 1 ) x 2 + ( 1 + 1 + 2 1 + 6 1 ) x 3
= 1 + 2 x + 5 2 x 2 + 8 3 x 3 + ⋯ = 1 + 2x + \dfrac{5}{2}x^2 + \dfrac{8}{3}x^3 + \cdots = 1 + 2 x + 2 5 x 2 + 3 8 x 3 + ⋯
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 ) = 0 f(a) = g(a) = 0 f ( a ) = g ( a ) = 0 Then Near
a a a :
f ( x ) g ( x ) ≈ ◆ L B ◆ f ′ ( a ) ( x − a ) + f ′ ′ ( a ) 2 ( x − a ) 2 ◆ R B ◆◆ L B ◆ g ′ ( a ) ( x − a ) + g ′ ′ ( a ) 2 ( x − a ) 2 ◆ R B ◆ = ◆ L B ◆ f ′ ( a ) + f ′ ′ ( a ) 2 ( x − a ) ◆ R B ◆◆ L B ◆ g ′ ( a ) + g ′ ′ ( a ) 2 ( x − a ) ◆ R B ◆ \frac{f(x)}{g(x)} \approx \frac◆LB◆f'(a)(x-a) + \frac{f''(a)}{2}(x-a)^2◆RB◆◆LB◆g'(a)(x-a) + \frac{g''(a)}{2}(x-a)^2◆RB◆ = \frac◆LB◆f'(a) + \frac{f''(a)}{2}(x-a)◆RB◆◆LB◆g'(a) + \frac{g''(a)}{2}(x-a)◆RB◆ g ( x ) f ( x ) ≈ L ◆ B ◆ f ′ ( a ) ( x − a ) + 2 f ′′ ( a ) ( x − a ) 2 ◆ R B ◆◆ L B ◆ g ′ ( a ) ( x − a ) + 2 g ′′ ( a ) ( x − a ) 2 ◆ R B ◆ = L ◆ B ◆ f ′ ( a ) + 2 f ′′ ( a ) ( x − a ) ◆ R B ◆◆ L B ◆ g ′ ( a ) + 2 g ′′ ( a ) ( x − a ) ◆ R B ◆
Taking x → a x \to a x → a gives f ′ ( a ) g ′ ( a ) \dfrac{f'(a)}{g'(a)} g ′ ( a ) f ′ ( 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
:::caution Common errors:
Wrong coefficients. The Maclaurin coefficient of x n x^n x n is f ( n ) ( 0 ) n ! \dfrac{f^{(n)}(0)}{n!} n ! f ( n ) ( 0 ) Not
f ( n ) ( 0 ) f^{(n)}(0) f ( n ) ( 0 ) . Always divide by the factorial.
Forgetting the range of validity. ln ( 1 + x ) \ln(1+x) ln ( 1 + x ) is valid for − 1 < x ≤ 1 -1 < x \leq 1 − 1 < x ≤ 1 Not all x x x . Using
it outside this range gives a wrong answer.
Incorrect substitution. When expanding e 2 x e^{2x} e 2 x Substitute 2 x 2x 2 x into every term:
e 2 x = 1 + 2 x + 4 x 2 2 + 8 x 3 6 + ⋯ e^{2x} = 1 + 2x + \dfrac{4x^2}{2} + \dfrac{8x^3}{6} + \cdots e 2 x = 1 + 2 x + 2 4 x 2 + 6 8 x 3 + ⋯ Not
e 2 x = 1 + 2 x + x 2 2 + ⋯ e^{2x} = 1 + 2x + \dfrac{x^2}{2} + \cdots e 2 x = 1 + 2 x + 2 x 2 + ⋯ .
Sign errors in alternating series. sin x \sin x sin x and cos x \cos x cos x have alternating signs:
sin x = x − x 3 6 + ⋯ \sin x = x - \dfrac{x^3}{6} + \cdots sin x = x − 6 x 3 + ⋯ (not x + x 3 6 + ⋯ x + \dfrac{x^3}{6} + \cdots x + 6 x 3 + ⋯ ).
:::
:::tip Exam strategy:
Memorise the six standard series. Derive others from them by substitution and algebra.
For compound functions (e x 2 sin x e^{x^2}\sin x e x 2 sin x ), multiply series term by term and collect like powers.
Always state the range of validity when asked.
To find a Maclaurin series efficiently, compute successive derivatives at x = 0 x = 0 x = 0 and look for the
pattern.
:::
Problems
Problem 1 Find the Maclaurin series of f ( x ) = cos 2 x f(x) = \cos 2x f ( x ) = cos 2 x up to the x 6 x^6 x 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 ) = − 64 f^{(6)}(0) = -64 f ( 6 ) ( 0 ) = − 64 .
Alternatively, substitute 2 x 2x 2 x into
cos x = 1 − x 2 2 ! + x 4 4 ! − x 6 6 ! + ⋯ \cos x = 1 - \dfrac{x^2}{2!} + \dfrac{x^4}{4!} - \dfrac{x^6}{6!} + \cdots cos x = 1 − 2 ! x 2 + 4 ! x 4 − 6 ! x 6 + ⋯ :
cos 2 x = 1 − 2 x 2 + 2 x 4 3 − 4 x 6 45 + ⋯ \boxed{\cos 2x = 1 - 2x^2 + \frac{2x^4}{3} - \frac{4x^6}{45} + \cdots} cos 2 x = 1 − 2 x 2 + 3 2 x 4 − 45 4 x 6 + ⋯
If you get this wrong, revise: Standard Series — Section 2.
Problem 2 Find the Maclaurin series of ln ( 1 − x 2 ) \ln(1 - x^2) ln ( 1 − x 2 ) up to the x 6 x^6 x 6 term, stating the range of validity.
Solution 2 Substitute − x 2 -x^2 − x 2 into ln ( 1 + u ) = u − u 2 2 + u 3 3 − ⋯ \ln(1+u) = u - \dfrac{u^2}{2} + \dfrac{u^3}{3} - \cdots ln ( 1 + u ) = u − 2 u 2 + 3 u 3 − ⋯ :
ln ( 1 − x 2 ) = − x 2 − x 4 2 − x 6 3 − ⋯ \ln(1 - x^2) = -x^2 - \frac{x^4}{2} - \frac{x^6}{3} - \cdots ln ( 1 − x 2 ) = − x 2 − 2 x 4 − 3 x 6 − ⋯
Range: ∣ x 2 ∣ < 1 ⟹ ∣ x ∣ < 1 |x^2| < 1 \implies |x| < 1 ∣ x 2 ∣ < 1 ⟹ ∣ x ∣ < 1 . Also converges at x = ± 1 x = \pm 1 x = ± 1 (alternating harmonic at x = 1 x = 1 x = 1
When substituted, but here − x 2 − x 4 / 2 − x 6 / 3 − ⋯ -x^2 - x^4/2 - x^6/3 - \cdots − x 2 − x 4 /2 − x 6 /3 − ⋯ at x = 1 x = 1 x = 1 is − ∑ 1 / n -\sum 1/n − ∑ 1/ n Diverges).
Valid for − 1 < x < 1 -1 < x < 1 − 1 < x < 1 .
If you get this wrong, revise: Standard Series — Section 2.
Problem 3 Use the Maclaurin series for e x e^x e x to show that
∑ n = 0 ∞ 2 n n ! = e 2 \displaystyle\sum_{n=0}^{\infty}\frac{2^n}{n!} = e^2 n = 0 ∑ ∞ n ! 2 n = e 2 .
Solution 3 e x = ∑ n = 0 ∞ x n n ! e^x = \displaystyle\sum_{n=0}^{\infty}\dfrac{x^n}{n!} e x = n = 0 ∑ ∞ n ! x n .
Setting x = 2 x = 2 x = 2 : e 2 = ∑ n = 0 ∞ 2 n n ! e^2 = \displaystyle\sum_{n=0}^{\infty}\dfrac{2^n}{n!} e 2 = n = 0 ∑ ∞ n ! 2 n . ■ \blacksquare ■
If you get this wrong, revise: Exponential Function — Section 2.1.
Problem 4 Find the Taylor series of sin x \sin x sin x about x = ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 3 ◆ R B ◆ x = \dfrac◆LB◆\pi◆RB◆◆LB◆3◆RB◆ x = L ◆ B ◆ π ◆ R B ◆◆ L B ◆3◆ R B ◆ up to the ( x − π / 3 ) 3 (x - \pi/3)^3 ( x − π /3 ) 3
Term.
Solution 4 f ( x ) = sin x f(x) = \sin x f ( x ) = sin x . f ( π / 3 ) = ◆ L B ◆ 3 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ f(\pi/3) = \dfrac◆LB◆\sqrt{3}◆RB◆◆LB◆2◆RB◆ f ( π /3 ) = L ◆ B ◆ 3 ◆ R B ◆◆ L B ◆2◆ R B ◆ . f ′ ( x ) = cos x f'(x) = \cos x f ′ ( x ) = cos x
f ′ ( π / 3 ) = 1 2 f'(\pi/3) = \dfrac{1}{2} f ′ ( π /3 ) = 2 1 . f ′ ′ ( x ) = − sin x f''(x) = -\sin x f ′′ ( x ) = − sin x , f ′ ′ ( π / 3 ) = − ◆ L B ◆ 3 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ f''(\pi/3) = -\dfrac◆LB◆\sqrt{3}◆RB◆◆LB◆2◆RB◆ f ′′ ( π /3 ) = − L ◆ B ◆ 3 ◆ R B ◆◆ L B ◆2◆ R B ◆ .
f ′ ′ ′ ( x ) = − cos x f'''(x) = -\cos x f ′′′ ( x ) = − cos x , f ′ ′ ′ ( π / 3 ) = − 1 2 f'''(\pi/3) = -\dfrac{1}{2} f ′′′ ( π /3 ) = − 2 1 .
sin x = ◆ L B ◆ 3 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ + 1 2 ( x − ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 3 ◆ R B ◆ ) − ◆ L B ◆ 3 ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ ( x − ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 3 ◆ R B ◆ ) 2 − 1 12 ( x − ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 3 ◆ R B ◆ ) 3 + ⋯ \sin x = \frac◆LB◆\sqrt{3}◆RB◆◆LB◆2◆RB◆ + \frac{1}{2}\left(x-\frac◆LB◆\pi◆RB◆◆LB◆3◆RB◆\right) - \frac◆LB◆\sqrt{3}◆RB◆◆LB◆4◆RB◆\left(x-\frac◆LB◆\pi◆RB◆◆LB◆3◆RB◆\right)^2 - \frac{1}{12}\left(x-\frac◆LB◆\pi◆RB◆◆LB◆3◆RB◆\right)^3 + \cdots sin x = L ◆ B ◆ 3 ◆ R B ◆◆ L B ◆2◆ R B ◆ + 2 1 ( x − L ◆ B ◆ π ◆ R B ◆◆ L B ◆3◆ R B ◆ ) − L ◆ B ◆ 3 ◆ R B ◆◆ L B ◆4◆ R B ◆ ( x − L ◆ B ◆ π ◆ R B ◆◆ L B ◆3◆ R B ◆ ) 2 − 12 1 ( x − L ◆ B ◆ π ◆ R B ◆◆ L B ◆3◆ R B ◆ ) 3 + ⋯
If you get this wrong, revise: Taylor Series About x = a x = a x = a —
Section 3.
Problem 5 Use series to evaluate lim x → 0 ◆ L B ◆ sin x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ \displaystyle\lim_{x\to 0}\frac◆LB◆\sin x - x◆RB◆◆LB◆x^3◆RB◆ x → 0 lim L ◆ B ◆ sin x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ .
Solution 5 sin x = x − x 3 6 + x 5 120 − ⋯ \sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots sin x = x − 6 x 3 + 120 x 5 − ⋯
sin x − x = − x 3 6 + x 5 120 − ⋯ \sin x - x = -\dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots sin x − x = − 6 x 3 + 120 x 5 − ⋯
◆ L B ◆ sin x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = − 1 6 + x 2 120 − ⋯ → − 1 6 \dfrac◆LB◆\sin x - x◆RB◆◆LB◆x^3◆RB◆ = -\dfrac{1}{6} + \dfrac{x^2}{120} - \cdots \to \boxed{-\dfrac{1}{6}} L ◆ B ◆ sin x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = − 6 1 + 120 x 2 − ⋯ → − 6 1
As x → 0 x \to 0 x → 0 .
If you get this wrong, revise: Evaluating Limits — Section
5.2.
Problem 6 Find the Maclaurin series of ( 1 + 2 x ) − 1 / 2 (1 + 2x)^{-1/2} ( 1 + 2 x ) − 1/2 up to the x 3 x^3 x 3 term and state the range of validity.
Solution 6 Using the binomial series with n = − 1 / 2 n = -1/2 n = − 1/2 :
( 1 + u ) − 1 / 2 = 1 + ( − 1 2 ) u + ( − 1 / 2 ) ( − 3 / 2 ) 2 u 2 + ( − 1 / 2 ) ( − 3 / 2 ) ( − 5 / 2 ) 6 u 3 + ⋯ (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 + u ) − 1/2 = 1 + ( − 2 1 ) u + 2 ( − 1/2 ) ( − 3/2 ) u 2 + 6 ( − 1/2 ) ( − 3/2 ) ( − 5/2 ) u 3 + ⋯
= 1 − u 2 + 3 u 2 8 − 5 u 3 16 + ⋯ = 1 - \dfrac{u}{2} + \dfrac{3u^2}{8} - \dfrac{5u^3}{16} + \cdots = 1 − 2 u + 8 3 u 2 − 16 5 u 3 + ⋯
Substituting u = 2 x u = 2x u = 2 x :
( 1 + 2 x ) − 1 / 2 = 1 − x + 3 x 2 2 − 5 x 3 2 + ⋯ \boxed{(1+2x)^{-1/2} = 1 - x + \frac{3x^2}{2} - \frac{5x^3}{2} + \cdots} ( 1 + 2 x ) − 1/2 = 1 − x + 2 3 x 2 − 2 5 x 3 + ⋯
Valid for ∣ 2 x ∣ < 1 ⟹ ∣ x ∣ < 1 2 |2x| < 1 \implies |x| < \dfrac{1}{2} ∣2 x ∣ < 1 ⟹ ∣ x ∣ < 2 1 .
If you get this wrong, revise: Binomial Series — Section 2.5.
Problem 7 Find the radius of convergence of ∑ n = 0 ∞ ( 2 x ) n n 2 + 1 \displaystyle\sum_{n=0}^{\infty}\frac{(2x)^n}{n^2 + 1} n = 0 ∑ ∞ n 2 + 1 ( 2 x ) n .
Solution 7 a n = 2 n n 2 + 1 a_n = \dfrac{2^n}{n^2+1} a n = n 2 + 1 2 n .
∣ a n + 1 a n ∣ = 2 n + 1 ( n 2 + 1 ) 2 n ( n 2 + 2 n + 2 ) = 2 ( n 2 + 1 ) n 2 + 2 n + 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 a n a n + 1 = 2 n ( n 2 + 2 n + 2 ) 2 n + 1 ( n 2 + 1 ) = n 2 + 2 n + 2 2 ( n 2 + 1 ) → 2
As n → ∞ n \to \infty n → ∞ .
R = 1 2 R = \dfrac{1}{2} R = 2 1 . The series converges for ∣ x ∣ < 1 2 \boxed{|x| < \dfrac{1}{2}} ∣ x ∣ < 2 1 .
If you get this wrong, revise: The Ratio Test — Section 4.2.
Problem 8 Find the Maclaurin series of e x sin x e^x \sin x e x sin x up to the x 5 x^5 x 5 term.
Solution 8 e x = 1 + x + x 2 2 + x 3 6 + x 4 24 + ⋯ e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \dfrac{x^4}{24} + \cdots e x = 1 + x + 2 x 2 + 6 x 3 + 24 x 4 + ⋯
sin x = x − x 3 6 + x 5 120 − ⋯ \sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots sin x = x − 6 x 3 + 120 x 5 − ⋯
Multiply and collect terms:
x x x : 1 ⋅ x = x 1 \cdot x = x 1 ⋅ x = x
x 2 x^2 x 2 : x ⋅ x = x 2 x \cdot x = x^2 x ⋅ x = x 2
x 3 x^3 x 3 :
x 2 2 ⋅ x + 1 ⋅ ( − x 3 6 ) = x 3 2 − x 3 6 = x 3 3 \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} 2 x 2 ⋅ x + 1 ⋅ ( − 6 x 3 ) = 2 x 3 − 6 x 3 = 3 x 3
x 4 x^4 x 4 : x 3 6 ⋅ x + x ⋅ ( − x 3 6 ) = 0 \dfrac{x^3}{6} \cdot x + x \cdot \left(-\dfrac{x^3}{6}\right) = 0 6 x 3 ⋅ x + x ⋅ ( − 6 x 3 ) = 0
x 5 x^5 x 5 :
x 4 24 ⋅ x + x 2 2 ( − x 3 6 ) + 1 ⋅ x 5 120 = x 5 24 − x 5 12 + x 5 120 = 5 − 10 + 1 120 x 5 = − x 5 30 \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} 24 x 4 ⋅ x + 2 x 2 ( − 6 x 3 ) + 1 ⋅ 120 x 5 = 24 x 5 − 12 x 5 + 120 x 5 = 120 5 − 10 + 1 x 5 = − 30 x 5
e x sin x = x + x 2 + x 3 3 − x 5 30 + ⋯ \boxed{e^x \sin x = x + x^2 + \frac{x^3}{3} - \frac{x^5}{30} + \cdots} e x sin x = x + x 2 + 3 x 3 − 30 x 5 + ⋯
If you get this wrong, revise: Compound Functions
— Section 5.3.
Problem 9 Show that ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1 ) ! = sin 1 \displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)!} = \sin 1 n = 0 ∑ ∞ ( 2 n + 1 )! ( − 1 ) n = sin 1 .
Solution 9 sin x = ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! \sin x = \displaystyle\sum_{n=0}^{\infty}\dfrac{(-1)^n x^{2n+1}}{(2n+1)!} sin x = n = 0 ∑ ∞ ( 2 n + 1 )! ( − 1 ) n x 2 n + 1 .
Setting x = 1 x = 1 x = 1 : sin 1 = ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1 ) ! \sin 1 = \displaystyle\sum_{n=0}^{\infty}\dfrac{(-1)^n}{(2n+1)!} sin 1 = n = 0 ∑ ∞ ( 2 n + 1 )! ( − 1 ) n . ■ \blacksquare ■
If you get this wrong, revise: Sine Function — Section 2.2.
Problem 10 Use series to evaluate lim x → 0 e − x 2 − 1 x 2 \displaystyle\lim_{x\to 0}\frac{e^{-x^2} - 1}{x^2} x → 0 lim x 2 e − x 2 − 1 .
Solution 10 e − x 2 = 1 − x 2 + x 4 2 − ⋯ e^{-x^2} = 1 - x^2 + \dfrac{x^4}{2} - \cdots e − x 2 = 1 − x 2 + 2 x 4 − ⋯
e − x 2 − 1 = − x 2 + x 4 2 − ⋯ e^{-x^2} - 1 = -x^2 + \dfrac{x^4}{2} - \cdots e − x 2 − 1 = − x 2 + 2 x 4 − ⋯
e − x 2 − 1 x 2 = − 1 + x 2 2 − ⋯ → − 1 \dfrac{e^{-x^2} - 1}{x^2} = -1 + \dfrac{x^2}{2} - \cdots \to \boxed{-1} x 2 e − x 2 − 1 = − 1 + 2 x 2 − ⋯ → − 1 as x → 0 x \to 0 x → 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 ) = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 1 + x 2 ◆ R B ◆ f(x) = \dfrac◆LB◆1◆RB◆◆LB◆\sqrt{1 + x^2}◆RB◆ f ( x ) = L ◆ B ◆1◆ R B ◆◆ L B ◆ 1 + x 2 ◆ R B ◆ up to the
x 6 x^6 x 6 term.
Solution. Use the binomial series with n = − 1 / 2 n = -1/2 n = − 1/2 :
( 1 + u ) − 1 / 2 = 1 − u 2 + 3 u 2 8 − 5 u 3 16 + 35 u 4 128 − ⋯ (1 + u)^{-1/2} = 1 - \dfrac{u}{2} + \dfrac{3u^2}{8} - \dfrac{5u^3}{16} + \dfrac{35u^4}{128} - \cdots ( 1 + u ) − 1/2 = 1 − 2 u + 8 3 u 2 − 16 5 u 3 + 128 35 u 4 − ⋯
Substituting u = x 2 u = x^2 u = x 2 :
◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 1 + x 2 ◆ R B ◆ = 1 − x 2 2 + 3 x 4 8 − 5 x 6 16 + ⋯ \frac◆LB◆1◆RB◆◆LB◆\sqrt{1+x^2}◆RB◆ = 1 - \frac{x^2}{2} + \frac{3x^4}{8} - \frac{5x^6}{16} + \cdots L ◆ B ◆1◆ R B ◆◆ L B ◆ 1 + x 2 ◆ R B ◆ = 1 − 2 x 2 + 8 3 x 4 − 16 5 x 6 + ⋯
Valid for ∣ x 2 ∣ < 1 |x^2| < 1 ∣ x 2 ∣ < 1 I.e., ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 .
Example 7.2: Taylor series and error bounds
Problem. Use the Taylor series of cos x \cos x cos x about x = 0 x = 0 x = 0 to approximate cos ( 0.2 ) \cos(0.2) cos ( 0.2 ) and bound
The error.
Solution. cos x = 1 − x 2 2 + x 4 24 − x 6 720 + ⋯ \cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \dfrac{x^6}{720} + \cdots cos x = 1 − 2 x 2 + 24 x 4 − 720 x 6 + ⋯
Using three terms:
cos ( 0.2 ) ≈ 1 − 0.02 + 0.0016 24 = 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 cos ( 0.2 ) ≈ 1 − 0.02 + 24 0.0016 = 1 − 0.02 + 0.0000667 = 0.980067 .
Error bound: the next term is
( 0.2 ) 6 720 = ◆ L B ◆ 6.4 × 10 − 7 ◆ R B ◆◆ L B ◆ 720 ◆ R B ◆ ≈ 8.9 × 10 − 10 \dfrac{(0.2)^6}{720} = \dfrac◆LB◆6.4 \times 10^{-7}◆RB◆◆LB◆720◆RB◆ \approx 8.9 \times 10^{-10} 720 ( 0.2 ) 6 = L ◆ B ◆6.4 × 1 0 − 7 ◆ R B ◆◆ L B ◆720◆ R B ◆ ≈ 8.9 × 1 0 − 10 .
So ∣ error ∣ < 10 − 9 |\text{error}| < 10^{-9} ∣ error ∣ < 1 0 − 9 .
Example 7.3: Product of two Maclaurin series
Problem. Find the Maclaurin series of e x cos x e^x \cos x e x cos x up to the x 4 x^4 x 4 term.
Solution. e x = 1 + x + x 2 2 + x 3 6 + x 4 24 + ⋯ e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \dfrac{x^4}{24} + \cdots e x = 1 + x + 2 x 2 + 6 x 3 + 24 x 4 + ⋯
cos x = 1 − x 2 2 + x 4 24 − ⋯ \cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \cdots cos x = 1 − 2 x 2 + 24 x 4 − ⋯
Multiplying and collecting terms:
1 1 1 : 1 × 1 = 1 1 \times 1 = 1 1 × 1 = 1 x x x : 1 ⋅ x = x 1 \cdot x = x 1 ⋅ x = x x 2 x^2 x 2 :
1 ⋅ ( − x 2 / 2 ) + x ⋅ x = − x 2 / 2 + x 2 = x 2 / 2 1 \cdot (-x^2/2) + x \cdot x = -x^2/2 + x^2 = x^2/2 1 ⋅ ( − x 2 /2 ) + x ⋅ x = − x 2 /2 + x 2 = x 2 /2 x 3 x^3 x 3 :
1 ⋅ 0 + x ⋅ ( − x 2 / 2 ) + ( x 2 / 2 ) ⋅ x = − x 3 / 2 + x 3 / 2 = 0 1 \cdot 0 + x \cdot (-x^2/2) + (x^2/2) \cdot x = -x^3/2 + x^3/2 = 0 1 ⋅ 0 + x ⋅ ( − x 2 /2 ) + ( x 2 /2 ) ⋅ x = − x 3 /2 + x 3 /2 = 0 x 4 x^4 x 4 :
1 ⋅ ( x 4 / 24 ) + x ⋅ 0 + ( x 2 / 2 ) ( − x 2 / 2 ) + ( x 3 / 6 ) ⋅ x = x 4 / 24 − x 4 / 4 + x 4 / 6 = ( 1 − 6 + 4 ) x 4 / 24 = − x 4 / 24 1 \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 1 ⋅ ( x 4 /24 ) + x ⋅ 0 + ( x 2 /2 ) ( − x 2 /2 ) + ( x 3 /6 ) ⋅ x = x 4 /24 − x 4 /4 + x 4 /6 = ( 1 − 6 + 4 ) x 4 /24 = − x 4 /24
e x cos x = 1 + x + x 2 2 − x 4 24 + ⋯ e^x\cos x = 1 + x + \frac{x^2}{2} - \frac{x^4}{24} + \cdots e x cos x = 1 + x + 2 x 2 − 24 x 4 + ⋯
Example 7.4: Series expansion of an inverse function
Problem. Find the Maclaurin series of sec x \sec x sec x up to the x 4 x^4 x 4 term.
Solution. Write sec x = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ cos x ◆ R B ◆ = ( 1 − x 2 / 2 + x 4 / 24 − ⋯ ) − 1 \sec x = \dfrac◆LB◆1◆RB◆◆LB◆\cos x◆RB◆ = (1 - x^2/2 + x^4/24 - \cdots)^{-1} sec x = L ◆ B ◆1◆ R B ◆◆ L B ◆ cos x ◆ R B ◆ = ( 1 − x 2 /2 + x 4 /24 − ⋯ ) − 1 .
Using ( 1 − u ) − 1 = 1 + u + u 2 + ⋯ (1 - u)^{-1} = 1 + u + u^2 + \cdots ( 1 − u ) − 1 = 1 + u + u 2 + ⋯ with u = x 2 / 2 − x 4 / 24 + ⋯ u = x^2/2 - x^4/24 + \cdots u = x 2 /2 − x 4 /24 + ⋯ :
sec x = 1 + ( x 2 2 − x 4 24 ) + ( x 2 2 ) 2 + ⋯ \sec x = 1 + \left(\frac{x^2}{2} - \frac{x^4}{24}\right) + \left(\frac{x^2}{2}\right)^2 + \cdots sec x = 1 + ( 2 x 2 − 24 x 4 ) + ( 2 x 2 ) 2 + ⋯
= 1 + x 2 2 + ( − x 4 24 + x 4 4 ) + ⋯ = 1 + x 2 2 + 5 x 4 24 + ⋯ = 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 = 1 + 2 x 2 + ( − 24 x 4 + 4 x 4 ) + ⋯ = 1 + 2 x 2 + 24 5 x 4 + ⋯
Example 7.5: Using series to find a limit
Problem. Evaluate lim x → 0 ◆ L B ◆ x − sin x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ \displaystyle\lim_{x\to 0}\frac◆LB◆x - \sin x◆RB◆◆LB◆x^3◆RB◆ x → 0 lim L ◆ B ◆ x − sin x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ .
Solution. sin x = x − x 3 6 + x 5 120 − ⋯ \sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots sin x = x − 6 x 3 + 120 x 5 − ⋯
◆ L B ◆ x − sin x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = ◆ L B ◆ x − x + x 3 / 6 − x 5 / 120 + ⋯ ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = 1 6 − x 2 120 + ⋯ → 1 6 \frac◆LB◆x - \sin x◆RB◆◆LB◆x^3◆RB◆ = \frac◆LB◆x - x + x^3/6 - x^5/120 + \cdots◆RB◆◆LB◆x^3◆RB◆ = \frac{1}{6} - \frac{x^2}{120} + \cdots \to \boxed{\frac{1}{6}} L ◆ B ◆ x − sin x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = L ◆ B ◆ x − x + x 3 /6 − x 5 /120 + ⋯ ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = 6 1 − 120 x 2 + ⋯ → 6 1
Example 7.6: Maclaurin series by differentiation
Problem. Find the Maclaurin series of f ( x ) = ( 1 + x ) 3 e x f(x) = (1 + x)^3 e^x f ( x ) = ( 1 + x ) 3 e x up to the x 3 x^3 x 3 term.
Solution. f ( x ) = ( 1 + 3 x + 3 x 2 + x 3 ) e x f(x) = (1 + 3x + 3x^2 + x^3)e^x f ( x ) = ( 1 + 3 x + 3 x 2 + x 3 ) e x .
e x = 1 + x + x 2 / 2 + x 3 / 6 + ⋯ e^x = 1 + x + x^2/2 + x^3/6 + \cdots e x = 1 + x + x 2 /2 + x 3 /6 + ⋯
f ( x ) = ( 1 + 3 x + 3 x 2 + x 3 ) ( 1 + x + x 2 / 2 + x 3 / 6 ) f(x) = (1 + 3x + 3x^2 + x^3)(1 + x + x^2/2 + x^3/6) f ( x ) = ( 1 + 3 x + 3 x 2 + x 3 ) ( 1 + x + x 2 /2 + x 3 /6 )
1 1 1 : 1 × 1 = 1 1 \times 1 = 1 1 × 1 = 1 x x x : 1 + 3 = 4 1 + 3 = 4 1 + 3 = 4 x 2 x^2 x 2 : 1 / 2 + 3 + 3 = 13 / 2 1/2 + 3 + 3 = 13/2 1/2 + 3 + 3 = 13/2 x 3 x^3 x 3 :
1 / 6 + 3 / 2 + 3 + 1 = 1 / 6 + 9 / 6 + 18 / 6 + 6 / 6 = 34 / 6 = 17 / 3 1/6 + 3/2 + 3 + 1 = 1/6 + 9/6 + 18/6 + 6/6 = 34/6 = 17/3 1/6 + 3/2 + 3 + 1 = 1/6 + 9/6 + 18/6 + 6/6 = 34/6 = 17/3
f ( x ) = 1 + 4 x + 13 x 2 2 + 17 x 3 3 + ⋯ f(x) = 1 + 4x + \frac{13x^2}{2} + \frac{17x^3}{3} + \cdots f ( x ) = 1 + 4 x + 2 13 x 2 + 3 17 x 3 + ⋯
Example 7.7: Convergence of alternating series
Problem. How many terms of ∑ n = 1 ∞ ( − 1 ) n + 1 n \displaystyle\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n} n = 1 ∑ ∞ n ( − 1 ) n + 1 are needed to
Approximate ln 2 \ln 2 ln 2 with an error less than 0.001 0.001 0.001 ?
Solution. This is the alternating harmonic series, with S = ln 2 S = \ln 2 S = ln 2 . The error after N N N terms
Is bounded by the absolute value of the ( N + 1 ) (N+1) ( N + 1 ) -th term:
∣ error ∣ ≤ 1 N + 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 ∣ error ∣ ≤ N + 1 1 < 0.001 ⟹ N + 1 > 1000 ⟹ N ≥ 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 − x 2 e^{-x^2} e − x 2 to approximate
∫ 0 1 / 2 e − x 2 d x \displaystyle\int_0^{1/2} e^{-x^2}\,dx ∫ 0 1/2 e − x 2 d x to 5 decimal places.
Solution. e − x 2 = 1 − x 2 + x 4 2 − x 6 6 + x 8 24 − ⋯ e^{-x^2} = 1 - x^2 + \dfrac{x^4}{2} - \dfrac{x^6}{6} + \dfrac{x^8}{24} - \cdots e − x 2 = 1 − x 2 + 2 x 4 − 6 x 6 + 24 x 8 − ⋯
∫ 0 1 / 2 e − x 2 d x = [ x − x 3 3 + x 5 10 − x 7 42 + x 9 216 ] 0 1 / 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} ∫ 0 1/2 e − x 2 d x = [ x − 3 x 3 + 10 x 5 − 42 x 7 + 216 x 9 ] 0 1/2
= 1 2 − 1 24 + 1 320 − 1 5376 + 1 110592 = \frac{1}{2} - \frac{1}{24} + \frac{1}{320} - \frac{1}{5376} + \frac{1}{110592} = 2 1 − 24 1 + 320 1 − 5376 1 + 110592 1
= 0.5 − 0.041667 + 0.003125 − 0.000186 + 0.000009 = 0.461281 = 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:
◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 11 × 2 11 ◆ R B ◆ = 1 22528 ≈ 0.000044 \dfrac◆LB◆1◆RB◆◆LB◆11 \times 2^{11}◆RB◆ = \dfrac{1}{22528} \approx 0.000044 L ◆ B ◆1◆ R B ◆◆ L B ◆11 × 2 11 ◆ R B ◆ = 22528 1 ≈ 0.000044 .
So the integral ≈ 0.4613 \approx 0.4613 ≈ 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 e i θ = cos θ + i sin θ e^{i\theta} = \cos\theta + i\sin\theta e i θ = cos θ + i sin θ 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 + x 1 − x ) \ln\!\left(\dfrac{1 + x}{1 - x}\right) ln ( 1 − x 1 + x ) up to the x 5 x^5 x 5 term.
(b) State the range of validity.
Solution (a) ln ( 1 + x 1 − x ) = ln ( 1 + x ) − ln ( 1 − x ) \ln\!\left(\dfrac{1+x}{1-x}\right) = \ln(1+x) - \ln(1-x) ln ( 1 − x 1 + x ) = ln ( 1 + x ) − ln ( 1 − x )
ln ( 1 + x ) = x − x 2 2 + x 3 3 − x 4 4 + x 5 5 − ⋯ \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 − 2 x 2 + 3 x 3 − 4 x 4 + 5 x 5 − ⋯
ln ( 1 − x ) = − x − x 2 2 − x 3 3 − x 4 4 − x 5 5 − ⋯ \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 − 2 x 2 − 3 x 3 − 4 x 4 − 5 x 5 − ⋯
ln ( 1 + x 1 − x ) = 2 x + 2 x 3 3 + 2 x 5 5 + ⋯ \ln\!\left(\frac{1+x}{1-x}\right) = 2x + \frac{2x^3}{3} + \frac{2x^5}{5} + \cdots ln ( 1 − x 1 + x ) = 2 x + 3 2 x 3 + 5 2 x 5 + ⋯
(b) Valid for − 1 < x < 1 -1 < x < 1 − 1 < x < 1 (intersection of validity of ln ( 1 + x ) \ln(1+x) ln ( 1 + x ) and ln ( 1 − x ) \ln(1-x) ln ( 1 − x ) ).
Question 12
Use series to find lim x → 0 ◆ L B ◆ 1 − cos x − x 2 2 ◆ R B ◆◆ L B ◆ x 4 ◆ R B ◆ \displaystyle\lim_{x\to 0}\frac◆LB◆1 - \cos x - \frac{x^2}{2}◆RB◆◆LB◆x^4◆RB◆ x → 0 lim L ◆ B ◆1 − cos x − 2 x 2 ◆ R B ◆◆ L B ◆ x 4 ◆ R B ◆ .
Solution cos x = 1 − x 2 2 + x 4 24 − ⋯ \cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \cdots cos x = 1 − 2 x 2 + 24 x 4 − ⋯
◆ L B ◆ 1 − cos x − x 2 / 2 ◆ R B ◆◆ L B ◆ x 4 ◆ R B ◆ = ◆ L B ◆ 1 − ( 1 − x 2 / 2 + x 4 / 24 − ⋯ ) − x 2 / 2 ◆ R B ◆◆ L B ◆ x 4 ◆ R B ◆ = ◆ L B ◆ − x 4 / 24 + ⋯ ◆ R B ◆◆ L B ◆ x 4 ◆ R B ◆ → − 1 24 \frac◆LB◆1 - \cos x - x^2/2◆RB◆◆LB◆x^4◆RB◆ = \frac◆LB◆1 - (1 - x^2/2 + x^4/24 - \cdots) - x^2/2◆RB◆◆LB◆x^4◆RB◆ = \frac◆LB◆-x^4/24 + \cdots◆RB◆◆LB◆x^4◆RB◆ \to \boxed{-\frac{1}{24}} L ◆ B ◆1 − cos x − x 2 /2◆ R B ◆◆ L B ◆ x 4 ◆ R B ◆ = L ◆ B ◆1 − ( 1 − x 2 /2 + x 4 /24 − ⋯ ) − x 2 /2◆ R B ◆◆ L B ◆ x 4 ◆ R B ◆ = L ◆ B ◆ − x 4 /24 + ⋯ ◆ R B ◆◆ L B ◆ x 4 ◆ R B ◆ → − 24 1
Question 13
Prove by induction that d n d x n ( x e x ) = ( x + n ) e x \displaystyle\frac{d^n}{dx^n}(xe^x) = (x + n)e^x d x n d n ( x e x ) = ( x + n ) e x for all n ≥ 0 n \geq 0 n ≥ 0 .
Solution Base case (n = 0 n = 0 n = 0 ): d 0 d x 0 ( x e x ) = x e x = ( x + 0 ) e x \dfrac{d^0}{dx^0}(xe^x) = xe^x = (x+0)e^x d x 0 d 0 ( x e x ) = x e x = ( x + 0 ) e x . True.
Inductive step. Assume d k d x k ( x e x ) = ( x + k ) e x \dfrac{d^k}{dx^k}(xe^x) = (x+k)e^x d x k d k ( x e x ) = ( x + k ) e x .
d k + 1 d x k + 1 ( x e x ) = d d x [ ( x + k ) e x ] = e x + ( x + k ) e x = ( x + k + 1 ) e x ■ \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 d x k + 1 d k + 1 ( x e x ) = d x d [( x + k ) e x ] = e x + ( x + k ) e x = ( x + k + 1 ) e x ■
Question 14
Find the Maclaurin series of ◆ L B ◆ cos x ◆ R B ◆ \sqrt◆LB◆\cos x◆RB◆ ◆ L B ◆ cos x ◆ R B ◆ up to the x 4 x^4 x 4 term.
Solution cos x = 1 − x 2 2 + x 4 24 − ⋯ \cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \cdots cos x = 1 − 2 x 2 + 24 x 4 − ⋯
◆ L B ◆ cos x ◆ R B ◆ = ( 1 − x 2 / 2 + x 4 / 24 − ⋯ ) 1 / 2 \sqrt◆LB◆\cos x◆RB◆ = (1 - x^2/2 + x^4/24 - \cdots)^{1/2} ◆ L B ◆ cos x ◆ R B ◆ = ( 1 − x 2 /2 + x 4 /24 − ⋯ ) 1/2
Using ( 1 + u ) 1 / 2 = 1 + u / 2 − u 2 / 8 + ⋯ (1+u)^{1/2} = 1 + u/2 - u^2/8 + \cdots ( 1 + u ) 1/2 = 1 + u /2 − u 2 /8 + ⋯ with u = − x 2 / 2 + x 4 / 24 u = -x^2/2 + x^4/24 u = − x 2 /2 + x 4 /24 :
u 2 = x 4 / 4 + ⋯ u^2 = x^4/4 + \cdots u 2 = x 4 /4 + ⋯
◆ L B ◆ cos x ◆ R B ◆ = 1 + 1 2 ( − x 2 2 + x 4 24 ) − 1 8 ( x 4 4 ) + ⋯ \sqrt◆LB◆\cos x◆RB◆ = 1 + \frac{1}{2}\!\left(-\frac{x^2}{2} + \frac{x^4}{24}\right) - \frac{1}{8}\!\left(\frac{x^4}{4}\right) + \cdots ◆ L B ◆ cos x ◆ R B ◆ = 1 + 2 1 ( − 2 x 2 + 24 x 4 ) − 8 1 ( 4 x 4 ) + ⋯
= 1 − x 2 4 + x 4 48 − x 4 32 + ⋯ = 1 − x 2 4 − x 4 96 + ⋯ = 1 - \frac{x^2}{4} + \frac{x^4}{48} - \frac{x^4}{32} + \cdots = 1 - \frac{x^2}{4} - \frac{x^4}{96} + \cdots = 1 − 4 x 2 + 48 x 4 − 32 x 4 + ⋯ = 1 − 4 x 2 − 96 x 4 + ⋯
Question 15
Use the Maclaurin series for arctan x \arctan x arctan x to show that
1 − 1 3 + 1 5 − 1 7 + ⋯ = ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ \displaystyle 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \frac◆LB◆\pi◆RB◆◆LB◆4◆RB◆ 1 − 3 1 + 5 1 − 7 1 + ⋯ = L ◆ B ◆ π ◆ R B ◆◆ L B ◆4◆ R B ◆ .
Solution arctan x = x − x 3 3 + x 5 5 − x 7 7 + ⋯ \arctan x = x - \dfrac{x^3}{3} + \dfrac{x^5}{5} - \dfrac{x^7}{7} + \cdots arctan x = x − 3 x 3 + 5 x 5 − 7 x 7 + ⋯ for ∣ x ∣ ≤ 1 |x| \leq 1 ∣ x ∣ ≤ 1 .
Setting x = 1 x = 1 x = 1 :
arctan 1 = 1 − 1 3 + 1 5 − 1 7 + ⋯ = ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ \arctan 1 = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \frac◆LB◆\pi◆RB◆◆LB◆4◆RB◆ arctan 1 = 1 − 3 1 + 5 1 − 7 1 + ⋯ = L ◆ B ◆ π ◆ R B ◆◆ L B ◆4◆ R B ◆
Therefore ∑ n = 0 ∞ ( − 1 ) n 2 n + 1 = ◆ L B ◆ π ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ \displaystyle\sum_{n=0}^{\infty}\frac{(-1)^n}{2n+1} = \frac◆LB◆\pi◆RB◆◆LB◆4◆RB◆ n = 0 ∑ ∞ 2 n + 1 ( − 1 ) n = L ◆ B ◆ π ◆ R B ◆◆ L B ◆4◆ R B ◆ .
■ \blacksquare ■
:::
10. Advanced Worked Examples
Example 10.1: Maclaurin series of e x sin x e^x\sin x e x sin x
Problem. Find the Maclaurin series of e x sin x e^x\sin x e x sin x up to the term in x 5 x^5 x 5 .
Solution. e x = 1 + x + x 2 2 + x 3 6 + x 4 24 + x 5 120 + ⋯ e^x = 1+x+\dfrac{x^2}{2}+\dfrac{x^3}{6}+\dfrac{x^4}{24}+\dfrac{x^5}{120}+\cdots e x = 1 + x + 2 x 2 + 6 x 3 + 24 x 4 + 120 x 5 + ⋯
sin x = x − x 3 6 + x 5 120 − ⋯ \sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots sin x = x − 6 x 3 + 120 x 5 − ⋯
Multiplying and collecting terms up to x 5 x^5 x 5 :
e x sin x = ( 1 + x + x 2 2 + x 3 6 + x 4 24 + x 5 120 ) ( x − x 3 6 + x 5 120 ) 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) e x sin x = ( 1 + x + 2 x 2 + 6 x 3 + 24 x 4 + 120 x 5 ) ( x − 6 x 3 + 120 x 5 )
= x − x 3 6 + x 5 120 + x 2 − x 4 6 + x 5 120 + x 3 2 − x 5 12 + x 4 6 − x 5 72 + x 5 24 − x 6 144 + ⋯ = 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 − 6 x 3 + 120 x 5 + x 2 − 6 x 4 + 120 x 5 + 2 x 3 − 12 x 5 + 6 x 4 − 72 x 5 + 24 x 5 − 144 x 6 + ⋯
= x + x 2 + x 3 3 − x 5 30 + O ( x 6 ) = x + x^2 + \dfrac{x^3}{3} - \boxed{\dfrac{x^5}{30} + O(x^6)} = x + x 2 + 3 x 3 − 30 x 5 + O ( x 6 )
Wait, let me be more careful:
x 5 x^5 x 5 coefficient: 1 120 + 1 120 − 1 12 − 1 72 + 1 24 \dfrac{1}{120} + \dfrac{1}{120} - \dfrac{1}{12} - \dfrac{1}{72} + \dfrac{1}{24} 120 1 + 120 1 − 12 1 − 72 1 + 24 1
= 6 + 6 − 30 − 5 + 15 720 = − 8 720 = − 1 90 = \dfrac{6 + 6 - 30 - 5 + 15}{720} = \dfrac{-8}{720} = -\dfrac{1}{90} = 720 6 + 6 − 30 − 5 + 15 = 720 − 8 = − 90 1 .
So e x sin x = x + x 2 + x 3 3 − x 5 30 + ⋯ e^x\sin x = x + x^2 + \dfrac{x^3}{3} - \dfrac{x^5}{30} + \cdots e x sin x = x + x 2 + 3 x 3 − 30 x 5 + ⋯
Let me recompute the x 4 x^4 x 4 and x 5 x^5 x 5 terms carefully:
x 4 x^4 x 4 : from ( − 1 6 x 4 ) ( 1 ) + ( x 4 / 24 ) ( x / x ) . . . (-\frac{1}{6}x^4)(1) + (x^4/24)(x/x)... ( − 6 1 x 4 ) ( 1 ) + ( x 4 /24 ) ( x / x ) ... Actually:
1 × ( − x 3 6 ) 1 \times (-\frac{x^3}{6}) 1 × ( − 6 x 3 ) contributes nothing to x 4 x^4 x 4
x × ( − x 3 6 ) = − x 4 6 x \times (-\frac{x^3}{6}) = -\frac{x^4}{6} x × ( − 6 x 3 ) = − 6 x 4 ✓
x 2 2 × x = x 3 2 \frac{x^2}{2} \times x = \frac{x^3}{2} 2 x 2 × x = 2 x 3 (not x 4 x^4 x 4 )
x 4 x^4 x 4 terms: x ⋅ ( − x 3 6 ) = − x 4 6 x \cdot (-\frac{x^3}{6}) = -\frac{x^4}{6} x ⋅ ( − 6 x 3 ) = − 6 x 4 and x 4 24 ⋅ x \frac{x^4}{24} \cdot x 24 x 4 ⋅ x … No, that’s
x 5 x^5 x 5 .
Actually x 4 x^4 x 4 comes from: x ⋅ ( − x 3 6 ) = − x 4 6 x \cdot (-\frac{x^3}{6}) = -\frac{x^4}{6} x ⋅ ( − 6 x 3 ) = − 6 x 4 .
So coefficient of x 4 x^4 x 4 is − 1 6 -\dfrac{1}{6} − 6 1 .
e x sin x = x + x 2 + x 3 3 − x 4 6 − x 5 30 + O ( x 6 ) \boxed{e^x\sin x = x + x^2 + \frac{x^3}{3} - \frac{x^4}{6} - \frac{x^5}{30} + O(x^6)} e x sin x = x + x 2 + 3 x 3 − 6 x 4 − 30 x 5 + O ( x 6 )
Example 10.2: Taylor series about a non-zero point
Problem. Find the Taylor series of ln x \ln x ln x about x = 1 x = 1 x = 1 up to the term in ( x − 1 ) 4 (x-1)^4 ( x − 1 ) 4 .
Solution. f ( x ) = ln x f(x) = \ln x f ( x ) = ln x , f ( 1 ) = 0 f(1) = 0 f ( 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 ) 2 2 + ( x − 1 ) 3 3 − ( x − 1 ) 4 4 + ⋯ \ln x = (x-1) - \frac{(x-1)^2}{2} + \frac{(x-1)^3}{3} - \frac{(x-1)^4}{4} + \cdots ln x = ( x − 1 ) − 2 ( x − 1 ) 2 + 3 ( x − 1 ) 3 − 4 ( x − 1 ) 4 + ⋯
Example 10.3: Using series to evaluate a limit
Problem. Find lim x → 0 ◆ L B ◆ e x − 1 − x − x 2 2 ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ \displaystyle\lim_{x \to 0} \frac◆LB◆e^x - 1 - x - \frac{x^2}{2}◆RB◆◆LB◆x^3◆RB◆ x → 0 lim L ◆ B ◆ e x − 1 − x − 2 x 2 ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ .
Solution. e x = 1 + x + x 2 2 + x 3 6 + x 4 24 + ⋯ e^x = 1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6} + \dfrac{x^4}{24} + \cdots e x = 1 + x + 2 x 2 + 6 x 3 + 24 x 4 + ⋯
e x − 1 − x − x 2 / 2 x 3 = ◆ L B ◆ x 3 / 6 + x 4 / 24 + ⋯ ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = 1 6 + x 24 + ⋯ \frac{e^x - 1 - x - x^2/2}{x^3} = \frac◆LB◆x^3/6 + x^4/24 + \cdots◆RB◆◆LB◆x^3◆RB◆ = \frac{1}{6} + \frac{x}{24} + \cdots x 3 e x − 1 − x − x 2 /2 = L ◆ B ◆ x 3 /6 + x 4 /24 + ⋯ ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = 6 1 + 24 x + ⋯
lim x → 0 = 1 6 \boxed{\lim_{x \to 0} = \frac{1}{6}} x → 0 lim = 6 1
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) ln ( 1 + x ) .
Solution. ln ( 1 + x ) = ∑ n = 1 ∞ ( − 1 ) n + 1 x n n \ln(1+x) = \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^n}{n} ln ( 1 + x ) = n = 1 ∑ ∞ n ( − 1 ) n + 1 x n .
Ratio test: ∣ a n + 1 a n ∣ = n n + 1 ∣ x ∣ → ∣ x ∣ \left|\dfrac{a_{n+1}}{a_n}\right| = \dfrac{n}{n+1}|x| \to |x| a n a n + 1 = n + 1 n ∣ x ∣ → ∣ x ∣ .
Converges when ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 . At x = 1 x = 1 x = 1 : alternating harmonic series (converges). At x = − 1 x = -1 x = − 1 :
− ∑ 1 n -\sum \dfrac{1}{n} − ∑ n 1 (diverges).
Radius of convergence: 1 \boxed{1} 1 Interval: ( − 1 , 1 ] (-1, 1] ( − 1 , 1 ] .
Example 10.5: Series solution to estimate a definite integral
Problem. Use a Maclaurin series to estimate ∫ 0 0.5 e − x 2 d x \displaystyle\int_0^{0.5} e^{-x^2}\,dx ∫ 0 0.5 e − x 2 d x to 4
Decimal places.
Solution. e − x 2 = 1 − x 2 + x 4 2 − x 6 6 + x 8 24 − ⋯ e^{-x^2} = 1 - x^2 + \dfrac{x^4}{2} - \dfrac{x^6}{6} + \dfrac{x^8}{24} - \cdots e − x 2 = 1 − x 2 + 2 x 4 − 6 x 6 + 24 x 8 − ⋯
∫ 0 0.5 e − x 2 d x = [ x − x 3 3 + x 5 10 − x 7 42 + x 9 216 − ⋯ ] 0 0.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 0.5 e − x 2 d x = [ x − 3 x 3 + 10 x 5 − 42 x 7 + 216 x 9 − ⋯ ] 0 0.5
= 0.5 − 0.125 3 + 0.03125 10 − 0.0078125 42 + 0.001953125 216 = 0.5 - \dfrac{0.125}{3} + \dfrac{0.03125}{10} - \dfrac{0.0078125}{42} + \dfrac{0.001953125}{216} = 0.5 − 3 0.125 + 10 0.03125 − 42 0.0078125 + 216 0.001953125
= 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} = 0.5 − 0.04167 + 0.003125 − 0.000186 + 0.000009 = 0.4613 (4 d.p.)
Example 10.6: Differentiating a known series
Problem. By differentiating the Maclaurin series for 1 1 − x \dfrac{1}{1-x} 1 − x 1 Find the Maclaurin series
For 1 ( 1 − x ) 2 \dfrac{1}{(1-x)^2} ( 1 − x ) 2 1 .
Solution. 1 1 − x = ∑ n = 0 ∞ x n = 1 + x + x 2 + x 3 + ⋯ \dfrac{1}{1-x} = \sum_{n=0}^{\infty} x^n = 1 + x + x^2 + x^3 + \cdots 1 − x 1 = ∑ n = 0 ∞ x n = 1 + x + x 2 + x 3 + ⋯
Differentiating:
1 ( 1 − x ) 2 = ∑ n = 1 ∞ n x n − 1 = ∑ n = 0 ∞ ( n + 1 ) x n = 1 + 2 x + 3 x 2 + 4 x 3 + ⋯ \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 ( 1 − x ) 2 1 = ∑ n = 1 ∞ n x n − 1 = ∑ n = 0 ∞ ( n + 1 ) x n = 1 + 2 x + 3 x 2 + 4 x 3 + ⋯
Example 10.7: Multiplying two Taylor series
Problem. Find the Maclaurin series of cos x ⋅ e − x \cos x \cdot e^{-x} cos x ⋅ e − x up to x 4 x^4 x 4 .
Solution. cos x = 1 − x 2 2 + x 4 24 − ⋯ \cos x = 1 - \dfrac{x^2}{2} + \dfrac{x^4}{24} - \cdots cos x = 1 − 2 x 2 + 24 x 4 − ⋯
e − x = 1 − x + x 2 2 − x 3 6 + x 4 24 − ⋯ e^{-x} = 1 - x + \dfrac{x^2}{2} - \dfrac{x^3}{6} + \dfrac{x^4}{24} - \cdots e − x = 1 − x + 2 x 2 − 6 x 3 + 24 x 4 − ⋯
Multiplying:
( 1 − x 2 2 + x 4 24 ) ( 1 − x + x 2 2 − x 3 6 + x 4 24 ) (1 - \frac{x^2}{2} + \frac{x^4}{24})(1 - x + \frac{x^2}{2} - \frac{x^3}{6} + \frac{x^4}{24}) ( 1 − 2 x 2 + 24 x 4 ) ( 1 − x + 2 x 2 − 6 x 3 + 24 x 4 )
= 1 − x + x 2 2 − x 3 6 + x 4 24 − x 2 2 + x 3 2 − x 4 4 + x 4 24 + ⋯ = 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 + 2 x 2 − 6 x 3 + 24 x 4 − 2 x 2 + 2 x 3 − 4 x 4 + 24 x 4 + ⋯
= 1 − x + 0 − x 3 3 + ( 1 24 − 1 4 + 1 24 ) x 4 + ⋯ = 1 - x + 0 - \frac{x^3}{3} + \left(\frac{1}{24}-\frac{1}{4}+\frac{1}{24}\right)x^4 + \cdots = 1 − x + 0 − 3 x 3 + ( 24 1 − 4 1 + 24 1 ) x 4 + ⋯
Wait: 1 24 − 6 24 + 1 24 = − 4 24 = − 1 6 \frac{1}{24}-\frac{6}{24}+\frac{1}{24} = -\frac{4}{24} = -\frac{1}{6} 24 1 − 24 6 + 24 1 = − 24 4 = − 6 1 .
cos x ⋅ e − x = 1 − x − x 3 3 − x 4 6 + O ( x 5 ) \boxed{\cos x \cdot e^{-x} = 1 - x - \frac{x^3}{3} - \frac{x^4}{6} + O(x^5)} cos x ⋅ e − x = 1 − x − 3 x 3 − 6 x 4 + O ( x 5 )
11. Common Pitfalls
Pitfall Correct Approach Confusing the Maclaurin series (about x = 0 x=0 x = 0 ) with a general Taylor series Maclaurin: a = 0 a=0 a = 0 ; Taylor: f ( x ) = ∑ f ( n ) ( a ) n ! ( x − a ) n f(x) = \sum \dfrac{f^{(n)}(a)}{n!}(x-a)^n f ( x ) = ∑ n ! f ( n ) ( a ) ( x − a ) n Forgetting the factorial in the denominator Each term has f ( n ) ( 0 ) n ! x n \dfrac{f^{(n)}(0)}{n!}x^n n ! f ( n ) ( 0 ) x n Not f ( n ) ( 0 ) n x n \dfrac{f^{(n)}(0)}{n}x^n n f ( n ) ( 0 ) x n Using a series outside its radius of convergence Always check: e.g., ln ( 1 + x ) \ln(1+x) ln ( 1 + x ) converges only for − 1 < x ≤ 1 -1 < x \leq 1 − 1 < x ≤ 1 Incorrectly multiplying series Collect 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} ( 1 + x ) − 1/2 and determine its radius of convergence.
Solution ( 1 + x ) − 1 / 2 = 1 − x 2 + 3 x 2 8 − 5 x 3 16 + 35 x 4 128 − ⋯ (1+x)^{-1/2} = 1 - \dfrac{x}{2} + \dfrac{3x^2}{8} - \dfrac{5x^3}{16} + \dfrac{35x^4}{128} - \cdots ( 1 + x ) − 1/2 = 1 − 2 x + 8 3 x 2 − 16 5 x 3 + 128 35 x 4 − ⋯
Using the general binomial: ∑ n = 0 ∞ ( − 1 / 2 n ) x n \displaystyle\sum_{n=0}^{\infty} \binom{-1/2}{n} x^n n = 0 ∑ ∞ ( n − 1/2 ) x n .
Radius of convergence: ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 (from the binomial series convergence condition).
Question 9
Prove that
∫ 0 1 ◆ L B ◆ ln ( 1 + x ) ◆ R B ◆◆ L B ◆ x ◆ R B ◆ d x = ◆ L B ◆ π 2 ◆ R B ◆◆ L B ◆ 12 ◆ R B ◆ \displaystyle\int_0^1 \frac◆LB◆\ln(1+x)◆RB◆◆LB◆x◆RB◆\,dx = \frac◆LB◆\pi^2◆RB◆◆LB◆12◆RB◆ ∫ 0 1 L ◆ B ◆ ln ( 1 + x ) ◆ R B ◆◆ L B ◆ x ◆ R B ◆ d x = L ◆ B ◆ π 2 ◆ R B ◆◆ L B ◆12◆ R B ◆ .
Solution ln ( 1 + x ) = ∑ n = 1 ∞ ( − 1 ) n + 1 x n n \ln(1+x) = \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^n}{n} ln ( 1 + x ) = n = 1 ∑ ∞ n ( − 1 ) n + 1 x n for ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 .
◆ L B ◆ ln ( 1 + x ) ◆ R B ◆◆ L B ◆ x ◆ R B ◆ = ∑ n = 1 ∞ ( − 1 ) n + 1 x n − 1 n \dfrac◆LB◆\ln(1+x)◆RB◆◆LB◆x◆RB◆ = \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^{n-1}}{n} L ◆ B ◆ ln ( 1 + x ) ◆ R B ◆◆ L B ◆ x ◆ R B ◆ = n = 1 ∑ ∞ n ( − 1 ) n + 1 x n − 1 .
∫ 0 1 ◆ L B ◆ ln ( 1 + x ) ◆ R B ◆◆ L B ◆ x ◆ R B ◆ d x = ∑ n = 1 ∞ ( − 1 ) n + 1 n 2 = η ( 2 ) = ◆ L B ◆ π 2 ◆ R B ◆◆ L B ◆ 12 ◆ R B ◆ \displaystyle\int_0^1 \frac◆LB◆\ln(1+x)◆RB◆◆LB◆x◆RB◆\,dx = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^2} = \eta(2) = \frac◆LB◆\pi^2◆RB◆◆LB◆12◆RB◆ ∫ 0 1 L ◆ B ◆ ln ( 1 + x ) ◆ R B ◆◆ L B ◆ x ◆ R B ◆ d x = n = 1 ∑ ∞ n 2 ( − 1 ) n + 1 = η ( 2 ) = L ◆ B ◆ π 2 ◆ R B ◆◆ L B ◆12◆ R B ◆ .
This is the Dirichlet eta function evaluated at 2. ■ \blacksquare ■
Question 10
Use the Maclaurin series for sin x \sin x sin x to find sin 0.1 \sin 0.1 sin 0.1 correct to 8 decimal places.
Solution sin 0.1 = 0.1 − 0.001 6 + 0.00001 120 − ⋯ = 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.1 − 6 0.001 + 120 0.00001 − ⋯ = 0.1 − 0.00016667 + 0.00000008 − ⋯
sin 0.1 ≈ 0.09983342 \boxed{\sin 0.1 \approx 0.09983342} sin 0.1 ≈ 0.09983342
The x 7 x^7 x 7 term contributes approximately 10 − 12 10^{-12} 1 0 − 12 Which is negligible.
13. Advanced Topics
13.1 Lagrange form of the remainder
The error in truncating a Taylor series after n n n terms is:
R n ( x ) = f ( n + 1 ) ( c ) ( n + 1 ) ! ( x − a ) n + 1 R_n(x) = \frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1} R n ( x ) = ( n + 1 )! f ( n + 1 ) ( c ) ( x − a ) n + 1
For some c c c between a a a and x x x . 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 = ∑ a n x n y = \sum a_n x^n y = ∑ a n x n into the ODE and equate coefficients.
13.3 Standard Maclaurin series (reference)
Function Series Radius e x e^x e x ∑ n = 0 ∞ x n n ! \displaystyle\sum_{n=0}^{\infty} \frac{x^n}{n!} n = 0 ∑ ∞ n ! x n ∞ \infty ∞ sin x \sin x sin x ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! \displaystyle\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} n = 0 ∑ ∞ ( 2 n + 1 )! ( − 1 ) n x 2 n + 1 ∞ \infty ∞ cos x \cos x cos x ∑ n = 0 ∞ ( − 1 ) n x 2 n ( 2 n ) ! \displaystyle\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} n = 0 ∑ ∞ ( 2 n )! ( − 1 ) n x 2 n ∞ \infty ∞ ln ( 1 + x ) \ln(1+x) ln ( 1 + x ) ∑ n = 1 ∞ ( − 1 ) n + 1 x n n \displaystyle\sum_{n=1}^{\infty} \frac{(-1)^{n+1}x^n}{n} n = 1 ∑ ∞ n ( − 1 ) n + 1 x n 1 1 1 ( 1 + x ) α (1+x)^\alpha ( 1 + x ) α ∑ n = 0 ∞ ( ◆ L ) B ◆ α ◆ R B ◆◆ L B ◆ n ◆ R B ◆ x n \displaystyle\sum_{n=0}^{\infty} \binom◆LB◆\alpha◆RB◆◆LB◆n◆RB◆x^n n = 0 ∑ ∞ ( L ◆ ) B ◆ α ◆ R B ◆◆ L B ◆ n ◆ R B ◆ x n 1 1 1 arctan x \arctan x arctan x ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 2 n + 1 \displaystyle\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1} n = 0 ∑ ∞ 2 n + 1 ( − 1 ) n x 2 n + 1 1 1 1 1 1 − x \dfrac{1}{1-x} 1 − x 1 ∑ n = 0 ∞ x n \displaystyle\sum_{n=0}^{\infty} x^n n = 0 ∑ ∞ x n 1 1 1
13.4 Using series to prove identities
Many trigonometric identities can be derived from series. For example, e i x = cos x + i sin x e^{ix} = \cos x + i\sin x e i x = cos x + i sin x
Implies all the standard addition formulae.
14. Further Exam-Style Questions
Question 11
Find the Maclaurin series of ◆ L B ◆ sin x ◆ R B ◆◆ L B ◆ x ◆ R B ◆ \dfrac◆LB◆\sin x◆RB◆◆LB◆x◆RB◆ L ◆ B ◆ sin x ◆ R B ◆◆ L B ◆ x ◆ R B ◆ and determine
lim x → 0 ◆ L B ◆ sin x ◆ R B ◆◆ L B ◆ x ◆ R B ◆ \displaystyle\lim_{x \to 0} \frac◆LB◆\sin x◆RB◆◆LB◆x◆RB◆ x → 0 lim L ◆ B ◆ sin x ◆ R B ◆◆ L B ◆ x ◆ R B ◆ .
Solution sin x = x − x 3 6 + x 5 120 − ⋯ \sin x = x - \dfrac{x^3}{6} + \dfrac{x^5}{120} - \cdots sin x = x − 6 x 3 + 120 x 5 − ⋯
◆ L B ◆ sin x ◆ R B ◆◆ L B ◆ x ◆ R B ◆ = 1 − x 2 6 + x 4 120 − ⋯ \dfrac◆LB◆\sin x◆RB◆◆LB◆x◆RB◆ = 1 - \dfrac{x^2}{6} + \dfrac{x^4}{120} - \cdots L ◆ B ◆ sin x ◆ R B ◆◆ L B ◆ x ◆ R B ◆ = 1 − 6 x 2 + 120 x 4 − ⋯
lim x → 0 ◆ L B ◆ sin x ◆ R B ◆◆ L B ◆ x ◆ R B ◆ = 1 \displaystyle\lim_{x \to 0} \frac◆LB◆\sin x◆RB◆◆LB◆x◆RB◆ = 1 x → 0 lim L ◆ B ◆ sin x ◆ R B ◆◆ L B ◆ x ◆ R B ◆ = 1 (the constant term).
Question 12
Prove that the Maclaurin series of cos x \cos x cos x converges to cos x \cos x cos x for all real x x x .
Solution The n n n -th derivative of cos x \cos x cos x is one of ± cos x \pm\cos x ± cos x or ± sin x \pm\sin x ± sin x So ∣ f ( n ) ( c ) ∣ ≤ 1 |f^{(n)}(c)| \leq 1 ∣ f ( n ) ( c ) ∣ ≤ 1 for
All c c c and n n n .
By the Lagrange remainder: ∣ R n ( x ) ∣ ≤ ◆ L B ◆ ∣ x ∣ n + 1 ◆ R B ◆◆ L B ◆ ( n + 1 ) ! ◆ R B ◆ |R_n(x)| \leq \dfrac◆LB◆|x|^{n+1}◆RB◆◆LB◆(n+1)!◆RB◆ ∣ R n ( x ) ∣ ≤ L ◆ B ◆∣ x ∣ n + 1 ◆ R B ◆◆ L B ◆ ( n + 1 )! ◆ R B ◆ .
For any fixed x x x : lim n → ∞ ◆ L B ◆ ∣ x ∣ n + 1 ◆ R B ◆◆ L B ◆ ( n + 1 ) ! ◆ R B ◆ = 0 \displaystyle\lim_{n \to \infty} \frac◆LB◆|x|^{n+1}◆RB◆◆LB◆(n+1)!◆RB◆ = 0 n → ∞ lim L ◆ B ◆∣ x ∣ n + 1 ◆ R B ◆◆ L B ◆ ( n + 1 )! ◆ R B ◆ = 0
(factorial grows faster than exponential).
Therefore R n ( x ) → 0 R_n(x) \to 0 R n ( x ) → 0 and the series converges to cos x \cos x cos x . ■ \blacksquare ■
Question 13
Use series to evaluate lim x → 0 ◆ L B ◆ tan x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ \displaystyle\lim_{x \to 0} \frac◆LB◆\tan x - x◆RB◆◆LB◆x^3◆RB◆ x → 0 lim L ◆ B ◆ tan x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ .
Solution tan x = x + x 3 3 + 2 x 5 15 + ⋯ \tan x = x + \dfrac{x^3}{3} + \dfrac{2x^5}{15} + \cdots tan x = x + 3 x 3 + 15 2 x 5 + ⋯
◆ L B ◆ tan x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = ◆ L B ◆ x 3 / 3 + 2 x 5 / 15 + ⋯ ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = 1 3 + 2 x 2 15 + ⋯ \dfrac◆LB◆\tan x - x◆RB◆◆LB◆x^3◆RB◆ = \dfrac◆LB◆x^3/3 + 2x^5/15 + \cdots◆RB◆◆LB◆x^3◆RB◆ = \dfrac{1}{3} + \dfrac{2x^2}{15} + \cdots L ◆ B ◆ tan x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = L ◆ B ◆ x 3 /3 + 2 x 5 /15 + ⋯ ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = 3 1 + 15 2 x 2 + ⋯
lim x → 0 ◆ L B ◆ tan x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = 1 3 \boxed{\displaystyle\lim_{x \to 0} \frac◆LB◆\tan x - x◆RB◆◆LB◆x^3◆RB◆ = \frac{1}{3}} x → 0 lim L ◆ B ◆ tan x − x ◆ R B ◆◆ L B ◆ x 3 ◆ R B ◆ = 3 1
15. Advanced Topics
15.1 Power series solutions of differential equations
For an ODE y ′ ′ + p ( x ) y ′ + q ( x ) y = 0 y'' + p(x)y' + q(x)y = 0 y ′′ + p ( x ) y ′ + q ( x ) y = 0 Assume y = ∑ n = 0 ∞ a n x n y = \sum_{n=0}^{\infty} a_n x^n y = ∑ n = 0 ∞ a n x n .
Substitute into the ODE and equate coefficients of each power of x x x to zero. This gives a
Recurrence relation for a n a_n a n .
15.2 The exponential generating function
E ( x ) = ∑ n = 0 ∞ a n x n n ! E(x) = \sum_{n=0}^{\infty} \dfrac{a_n x^n}{n!} E ( x ) = ∑ n = 0 ∞ n ! a n x 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 ( 1 + x ) α converges at x = 1 x = 1 x = 1 when α > − 1 \alpha > -1 α > − 1 and at x = − 1 x = -1 x = − 1 when α > 0 \alpha > 0 α > 0 .
Example: ( 1 + x ) 1 / 2 (1+x)^{1/2} ( 1 + x ) 1/2 converges at x = 1 x = 1 x = 1 (giving 2 \sqrt{2} 2 ) but diverges at x = − 1 x = -1 x = − 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 − x 2 ) \ln(1-x^2) ln ( 1 − x 2 ) up to x 6 x^6 x 6 and state the radius of convergence.
Solution ln ( 1 − u ) = − ∑ n = 1 ∞ u n n \ln(1-u) = -\displaystyle\sum_{n=1}^{\infty} \frac{u^n}{n} ln ( 1 − u ) = − n = 1 ∑ ∞ n u n for ∣ u ∣ < 1 |u| < 1 ∣ u ∣ < 1 . With u = x 2 u = x^2 u = x 2 :
ln ( 1 − x 2 ) = − ∑ n = 1 ∞ x 2 n n = − x 2 − x 4 2 − x 6 3 − ⋯ \ln(1-x^2) = -\displaystyle\sum_{n=1}^{\infty} \frac{x^{2n}}{n} = -x^2 - \dfrac{x^4}{2} - \dfrac{x^6}{3} - \cdots ln ( 1 − x 2 ) = − n = 1 ∑ ∞ n x 2 n = − x 2 − 2 x 4 − 3 x 6 − ⋯
Radius of convergence: ∣ x 2 ∣ < 1 ⟹ ∣ x ∣ < 1 |x^2| < 1 \implies |x| < 1 ∣ x 2 ∣ < 1 ⟹ ∣ x ∣ < 1 . At x = 1 x = 1 x = 1 : − ∑ 1 n -\sum \dfrac{1}{n} − ∑ n 1 diverges.
ln ( 1 − x 2 ) = − x 2 − x 4 2 − x 6 3 + O ( x 8 ) \boxed{\ln(1-x^2) = -x^2 - \dfrac{x^4}{2} - \dfrac{x^6}{3} + O(x^8)} ln ( 1 − x 2 ) = − x 2 − 2 x 4 − 3 x 6 + O ( x 8 ) Radius = 1 = 1 = 1 .
Question 15
Prove that ∑ n = 1 ∞ n 2 n = 2 \displaystyle\sum_{n=1}^{\infty} \frac{n}{2^n} = 2 n = 1 ∑ ∞ 2 n n = 2 .
Solution S = ∑ n = 1 ∞ n 2 n = ∑ n = 1 ∞ n x n ∣ x = 1 / 2 S = \displaystyle\sum_{n=1}^{\infty} \frac{n}{2^n} = \sum_{n=1}^{\infty} n x^n\Big|_{x=1/2} S = n = 1 ∑ ∞ 2 n n = n = 1 ∑ ∞ n x n x = 1/2 .
We know ∑ n = 1 ∞ n x n − 1 = 1 ( 1 − x ) 2 \displaystyle\sum_{n=1}^{\infty} n x^{n-1} = \frac{1}{(1-x)^2} n = 1 ∑ ∞ n x n − 1 = ( 1 − x ) 2 1 for ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 .
So ∑ n = 1 ∞ n x n = x ( 1 − x ) 2 \displaystyle\sum_{n=1}^{\infty} n x^n = \frac{x}{(1-x)^2} n = 1 ∑ ∞ n x n = ( 1 − x ) 2 x .
At x = 1 / 2 x = 1/2 x = 1/2 : S = 1 / 2 ( 1 / 2 ) 2 = 1 / 2 1 / 4 = 2 S = \dfrac{1/2}{(1/2)^2} = \dfrac{1/2}{1/4} = 2 S = ( 1/2 ) 2 1/2 = 1/4 1/2 = 2 . ■ \blacksquare ■
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.