Professional Documents
Culture Documents
The Taylor series is mainly used for approximating functions when one
can identify a small parameter. Expansion techniques are useful for many
applications in physics, sometimes in unexpected ways, as the following
example will show. The integral
ε
⌠ x3 dx
I (ε) =
⌡ ex-1
o
comes up in the Debye theory of the heat capacity of solids (in Statistical
Physics.) The integral cannot be found in tables unless ε→∞. Suppose one is
interested in the small ε case. Then x never gets large and we can expand the
integral and integrate term by term. Table 1 following gives all the formulas
we'll need. For small x
x2 x3
ex = 1 + x + 2! + 3! + ...
x2 x3
ex – 1 = x + + 6 + ...
2
x3 x2
so =
ex–1 1 1
1 + ( 2 x + 6 x 2 + ... )
= x2 (1 + y )n
1 1
where y = 2 x + 6 x2 + ... is small, if x is, and n = –1.
n(n–1)
(1 + y)n = 1 + ny + 2 y2 + ...
52 Taylor Series
(1 + y)–1 = 1 –y + y2 + ...
Thus (1 + ( 12 1 1 1 1 1
x + 6 x3 )) –1 = 1 – ( 2 x + 6 x2 ) + ( 2 x + 6 x2 )2 + ...
1 1 1 1 1
= 1 – 2 x – 6 x2 + ( 4 x2 + 6 x3 + 36 x4 ) + ...
1 1
= 1 – 2 x + 12 x2 + ...
Note that it would be inconsistent to keep the terms of order x3 and x4 because
their coefficients would be altered by the contributions from y3 and y4 .
ε
⌠ 1 1
I (ε) = ⌡ x2 (1 – 2 x + 12 x2 + ...) dx
o
ε
⌠ 1 1
=⌡ (x2 – 2 x3 + 12 x4 + ... ) dx
o
1 1 1
= 3 ε3 – 8 ε4 + 60 ε5 + ...
This expression is likely to be very accurate for ε<<1. In the theory of solids
ε is proportional to the temperature, so the above result implies that for low
temperatures, the energy of a solid is proportional to the cube of T.
Taylor Series 53
Table 1 ___________________________________________
3 5 7
x x x
sin x = x - + - +...
3! 5! 7!
2 4 6
x x x
cos x = 1 - + - +...
2! 4! 6!
x3 2x 5 17x7
tan x = x + + + +K for x 2 < 1
3 15 315
π 1 1 1 2
= - + - +... for x > 1
2 x 3 5
3x 5x
2 3
x x x
e =1+ x+ + +...
2! 3!
2 3
x (x ln a) (x ln a)
a = 1 + x ln a + + +...
2! 3!
3 5
x x
sinh x = x + + +...
3! 5!
2 4
x x
cosh x = 1 + + +...
2! 4!
2 3 4
x x x
ln (1 ± x) = ± x - ± - ±...
2 3 4
3 5 7
-1 1 x 1 3 x 1 3 5 x
sin x = x + + + +...
2 3 2 4 5 2 4 6 7
-1 1 1 1 2
tan x = x - + - + . . . for x < 1
3x 5 7
5x 7x
54 Taylor Series
3 5
x-1 1 x-1 1 x-1
ln x = 2 + + +... for x > 0
x+ 1 3 x+ 1 5 x+ 1
2 2 2 4
sec x = 1 + x + x +...
3
2 4 6
x x x
ln (cos x) = - - - -...
2 12 45
1 2 1 3 1 4
ln (1 + sin x) = x - x + x - x +...
2 6 12
x 1 1 2 1 4
ln (1 + e ) = ln 2 + x+ x - x +...
2 8 192
n n n n-1 n(n - 1) n - 2 2
(a + b) = a + a b+ a b + ...
1! 2!
n(n - 1) 2
n
(1 + x) = 1 + nx +
x + ...
2!
_______________________________________________
These approximations derive from expressing the function (call it f(x) for
originality) in the form of the following power series, the Maclaurin series:
∞ (1)
∑ 1 j (j)
j! x f |x=0 ,
j=0
where f(j) denotes the jth derivative of f(x), evaluated in this case at x=0. The
series expansion for f(x) = cos x, for example, would be expressed as:
2
1 0 1 d 1 1 d 2
cos x = (cos 0) x + (cos 0) x + (cos 0) x + ...
0! 1! dx 2! 2
dx
1 2
= (1)(1)(1) + 1(-sin 0) x + (-cos 0) x + . . .
2 (2)
1 2 1 2
=1+ 0- x + ... =1- x +...
2 2
Taylor Series 55
The Taylor series, which is the more general case of the Maclaurin series,
involves expanding about a point “a”, instead of about zero as in the
Maclaurin series. The form of the Taylor series is simply:
∞ (3)
f(x) = ∑ 1
j! (x - a) f |x=a ,
j (j)
j=0
f(x) = sin x thus could be expanded about x = 3 as:
1 0 1 1 1 2
sin x = (sin 3)(x - 3) + (cos 3)(x - 3) + (sin 3)(x - 3) + . . .
0! 1! 2! (4)
1 2
= sin 3 + (cos 3)(x - 3) - (sin 3)(x - 3) + . . .
2
j=0
1 2 1 (n) n
= f(a) + f '(a)(x - a) + f ''(a) (x - a) + . . . + f (a)(x - a) . (6)
2 n!
The difference between the infinite Taylor series and the Taylor polynomial
with n terms is the remainder
Another way of stating the condition is that Pn(x) must converge. You can
test to see whether a power series converges, and over what interval, by using
the Ratio Test. There are other tests for convergence, but the Ratio Test is
fairly simple, and applicable in our case.
56 Taylor Series
Ratio Test:
Given the series
∞
f(x) = ∑ bi x i , (8)
i=1
n+1
lim bn + 1 x
ρ = . (9)
j →∞ bn x
n
In the case that ρ < 1, then the length of the interval over which the
series converges is 2R, R being the radius of convergence. The interval of
convergence is x = a ± R. R is not really explicitly calculated, but having
found ρ, R is the range of x’s for which ρ < 1. If ρ = ∞, then the series always
diverges. If ρ = 0, then it converges for all x. And if ρ is some function of x,
then R is the range of x’s which will cause the series to converge.
Example:
Second Example:
1 1 1 1 3
P3 (x) = 1 + 2 (x - 1) - 2! 4 (x - 1) 2 + 3! 8 (x - 1) 3 (12)
1 1 1
= 1 + 2 (x - 1) - 8 (x - 1) 2 + 16 (x - 1) 3 .
Third Example:
π/2
sin x
dx .
x
0
π/2
π/2 3 5
sin x 1 x x
dx = x- + - ... dx
x x 3! 5!
0
0
π/2
2 4
x x
= 1- + - ... dx
3! 5!
0
π/2
3 5
x x
= x- + - ...
18 600 0
2 4
π π π
= 1- + - ... = 1.371 .
2 72 9600