Module 4 - Power Series - Week 12 - 14
Module 4 - Power Series - Week 12 - 14
Module 4 - Power Series - Week 12 - 14
Taylor Series
Maclaurin Series
Radius of Convergence
Manipulation of Power Series
Week : 12-14
RMIT Classification: Trusted
Power Series
• A power series in 𝑥𝑥 - an infinite series containing non-negative
integral powers of a variable 𝑥𝑥,
series in 𝑥𝑥.
RMIT University©2017 2
RMIT Classification: Trusted
Taylor Series
• For a power series representing a function 𝑓𝑓 𝑥𝑥 on 𝑥𝑥 − 𝑎𝑎 <
𝑟𝑟,
𝑓𝑓 𝑥𝑥 = 𝑐𝑐0 + 𝑐𝑐1 𝑥𝑥 − 𝑎𝑎 + 𝑐𝑐2 𝑥𝑥 − 𝑎𝑎 2 + ⋯ + 𝑐𝑐𝑐𝑐 𝑥𝑥 − 𝑎𝑎 𝑛𝑛 + ⋯
= ∑∞ 𝑛𝑛=0 𝑐𝑐𝑛𝑛 𝑥𝑥 − 𝑎𝑎 ,
𝑛𝑛
RMIT University©2017 3
RMIT Classification: Trusted
• Evaluating the above series at 𝑥𝑥 = 𝑎𝑎 gives
𝑓𝑓 𝑎𝑎 = 𝑐𝑐0 ⇒ 𝑓𝑓′ 𝑎𝑎 = 1 � 𝑐𝑐1,
𝑓𝑓𝑓𝑓 𝑎𝑎 = 2 � 1 � 𝑐𝑐2 = 2! 𝑐𝑐2,
𝑓𝑓′′′ 𝑎𝑎 = 3 � 2 � 1 � 𝑐𝑐3 = 3! 𝑐𝑐3,
respectively.
𝑛𝑛
𝑓𝑓 𝑎𝑎
In general, 𝑓𝑓
𝑛𝑛
𝑎𝑎 = 𝑛𝑛! 𝑐𝑐𝑛𝑛, or 𝑐𝑐𝑛𝑛 = for 𝑛𝑛 ≥ 0
𝑛𝑛!
𝑛𝑛
𝑓𝑓 𝑎𝑎
𝑓𝑓 𝑥𝑥 = ∑∞
𝑛𝑛=0 𝑐𝑐𝑛𝑛 𝑥𝑥 − 𝑎𝑎
𝑛𝑛 = ∑∞
𝑛𝑛=0 𝑥𝑥 − 𝑎𝑎 𝑛𝑛 for 𝑥𝑥 − 𝑎𝑎 < 𝑟𝑟.
𝑛𝑛!
Maclaurin Series
• A special case of a Taylor series when 𝑎𝑎 = 0, is called the
Maclaurin series for 𝑓𝑓 𝑥𝑥 :
𝑥𝑥2 𝑥𝑥3
𝑓𝑓 𝑥𝑥 = 𝑓𝑓 0 + 𝑓𝑓 ′ 0 𝑥𝑥 + 𝑓𝑓𝑓𝑓(0) +𝑓𝑓𝑓𝑓𝑓(0) +⋯.
2! 3!
∞ (𝑛𝑛)
𝑓𝑓 (0) 𝑛𝑛
𝑓𝑓 𝑥𝑥 = � 𝑥𝑥
𝑛𝑛!
𝑛𝑛=0
RMIT University©2017 5
RMIT Classification: Trusted
1 −1 2
=0 + 𝑥𝑥 − 1 + 𝑥𝑥 − 1 2 + 𝑥𝑥 − 1 3 +⋯
1! 2! 3!
1 1
= 𝑥𝑥 − 1 − 𝑥𝑥 − 1 2 + 𝑥𝑥 − 1 3 +⋯
2 3
RMIT University©2017 6
RMIT Classification: Trusted
𝜋𝜋
Example 2: Find the Taylor series for sin 𝑥𝑥 about 𝑥𝑥= or in
4
𝜋𝜋
power of 𝑥𝑥 − 4 .
𝜋𝜋 1
Solution: 𝑓𝑓 𝑥𝑥 = sin 𝑥𝑥 ⇒ 𝑓𝑓 =
4 2
𝜋𝜋 1
𝑓𝑓′ 𝑥𝑥 = cos 𝑥𝑥 ⇒ 𝑓𝑓′ =
4 2
𝜋𝜋 1
𝑓𝑓𝑓𝑓 𝑥𝑥 = − sin 𝑥𝑥 ⇒ 𝑓𝑓𝑓𝑓 =−
4 2
𝜋𝜋 1
𝑓𝑓 ′′′ 𝑥𝑥 = − cos 𝑥𝑥 ⇒ 𝑓𝑓𝑓𝑓𝑓 =−
4 2
𝜋𝜋 2 1 𝜋𝜋 3
1 1 𝜋𝜋 1 𝑥𝑥− 4 𝑥𝑥− 4
∴ sin 𝑥𝑥 = + 𝑥𝑥 − − − 2
+⋯ .
2 2 4 2 2! 3!
RMIT University©2017 7
RMIT Classification: Trusted
Example 3 Find the Taylor series for 𝑙𝑙𝑙𝑙 𝑥𝑥 about 𝑥𝑥 = 2
or in power of 𝑥𝑥 − 2 .
2 1
𝑓𝑓 ′′′ 𝑥𝑥 = ⇒ 𝑓𝑓𝑓𝑓𝑓 2 =
𝑥𝑥3 4
2 3
1 1 𝑥𝑥−2 1 𝑥𝑥−2
∴ 𝑙𝑙𝑙𝑙 𝑥𝑥 = 𝑙𝑙𝑙𝑙2 + 𝑥𝑥 − 2 − + +⋯ .
2 4 2! 4 3!
RMIT University©2017 8
RMIT Classification: Trusted
Example 4: Find the Maclaurin series for cos 𝑥𝑥 .
Solution:
𝑓𝑓 𝑥𝑥 = cos 𝑥𝑥 ⇒ 𝑓𝑓 0 = 1,
𝑓𝑓𝑓 𝑥𝑥 = − sin 𝑥𝑥 ⇒ 𝑓𝑓𝑓 0 = 0,
𝑓𝑓𝑓𝑓 1 = − cos 𝑥𝑥 ⇒ 𝑓𝑓𝑓𝑓 0 = −1,
𝑓𝑓𝑓𝑓𝑓 𝑥𝑥 = sin 𝑥𝑥, and so on, ⇒𝑓𝑓𝑓𝑓𝑓 0 = 0, and so on.
RMIT University©2017 9
RMIT Classification: Trusted
𝑥𝑥2 𝑥𝑥3
∴ 𝑒𝑒 𝑥𝑥 = 1 + 𝑥𝑥 + + +⋯
2! 3!
RMIT University©2017 10
RMIT Classification: Trusted
−1
𝑓𝑓𝑓𝑓 𝑥𝑥 = ⇒ 𝑓𝑓𝑓𝑓 0 = − 1
(1+𝑥𝑥)2
2
𝑓𝑓𝑓𝑓𝑓 𝑥𝑥 = ⇒ 𝑓𝑓𝑓𝑓𝑓 0 = 2
(1+𝑥𝑥)3
−6
𝑓𝑓𝐼𝐼𝐼𝐼 𝑥𝑥 = 4 ⇒ 𝑓𝑓𝐼𝐼𝐼𝐼 0 = −6
1+𝑥𝑥
RMIT University©2017 11
RMIT Classification: Trusted
𝑥𝑥 3 𝑥𝑥 5 𝑥𝑥 7 ∞ 𝑥𝑥 2𝑛𝑛+1
sinh 𝑥𝑥 = 𝑥𝑥 + + + +⋯ = ∑𝑛𝑛=0 for all 𝑥𝑥,
3! 5! 7! (2𝑛𝑛+1)!
𝑥𝑥 2 𝑥𝑥 3 𝑥𝑥 4 ∞ (−1)𝑛𝑛 𝑛𝑛+1
𝑙𝑙𝑙𝑙(1 + 𝑥𝑥) = 𝑥𝑥 − + − +⋯= ∑𝑛𝑛=0 𝑥𝑥 , for 𝑥𝑥 <1.
2! 3! 4! (𝑛𝑛+1)!
RMIT University©2017 12
RMIT Classification: Trusted
Radius of Convergence
• Interval of convergence - the set of all real numbers 𝑥𝑥 for which a power
series converges.
• A power series in 𝑥𝑥 − 𝑎𝑎 may converge:
• on a finite interval centered at 𝑎𝑎:
𝑎𝑎 − 𝑟𝑟, 𝑎𝑎 + 𝑟𝑟 , 𝑎𝑎 − 𝑟𝑟, 𝑎𝑎 + 𝑟𝑟 , 𝑎𝑎 − 𝑟𝑟, 𝑎𝑎 + 𝑟𝑟 or 𝑎𝑎 − 𝑟𝑟, 𝑎𝑎 + 𝑟𝑟 ;
• on the infinite interval −∞, ∞ ; or
• at the single point 𝑥𝑥 = 𝑎𝑎.
In the respective cases, we say that the radius of convergence is
𝑟𝑟, ∞ or 0. For example, for the case 𝑎𝑎 − 𝑟𝑟, 𝑎𝑎 + 𝑟𝑟 :
RMIT University©2017 13
RMIT Classification: Trusted
∞ 𝑥𝑥𝑛𝑛
Example 1: Find the radius of convergence for ∑𝑛𝑛=0 𝑛𝑛 .
2
2 𝑛𝑛+1
Solution:
1 2 1 2
𝑥𝑥 𝑛𝑛+1 2
𝑥𝑥 1+𝑛𝑛 𝑥𝑥 1+𝑛𝑛
= lim 2 = ∙ lim 2 = ∙ lim 2
𝑛𝑛→∞ 2 𝑛𝑛+2 2 𝑛𝑛→∞ 1+ 2 𝑛𝑛→∞ 1+
𝑛𝑛 𝑛𝑛
=1
𝑥𝑥
=
2
∙<1
⇒ 𝑥𝑥 < 2
∴ 𝑅𝑅 = 2
RMIT University©2017 14
RMIT Classification: Trusted
𝑛𝑛
𝑥𝑥
Example 2: Find the radius of convergence for ∑∞
𝑛𝑛=0 𝑛𝑛! .
Solution:
𝑎𝑎𝑛𝑛+1 𝑥𝑥 𝑛𝑛+1 𝑛𝑛!
lim = lim
𝑛𝑛→∞ 𝑎𝑎𝑛𝑛 𝑛𝑛→∞ 𝑛𝑛 + 1 ! 𝑥𝑥𝑛𝑛
�
𝑥𝑥𝑛𝑛 𝑥𝑥 � 𝑛𝑛! 𝑥𝑥 1
= lim = lim = 𝑥𝑥 � lim
𝑛𝑛→∞ 𝑛𝑛+1 𝑛𝑛!𝑥𝑥𝑛𝑛 𝑛𝑛→∞ 𝑛𝑛+1 𝑛𝑛→∞ 𝑛𝑛+1
=0
= 0 < 1, ∀𝑥𝑥
∴ 𝑅𝑅 = ∞
RMIT University©2017 15
RMIT Classification: Trusted 𝑛𝑛
(𝑥𝑥−5)
Example 3: Find the radius of convergence for ∑∞
𝑛𝑛=0 𝑛𝑛𝑛𝑛𝑛 .
Solution:
𝑎𝑎𝑛𝑛+1 (𝑥𝑥 − 5)𝑛𝑛+1 𝑛𝑛. 3𝑛𝑛
= lim
𝑎𝑎𝑛𝑛 𝑛𝑛→∞ (𝑛𝑛 + 1)3𝑛𝑛+1 𝑥𝑥 − 5 𝑛𝑛
𝑥𝑥−5 𝑛𝑛 𝑥𝑥−5 𝑛𝑛
= lim = ∙ lim 𝑛𝑛+1
𝑛𝑛→∞ 3 𝑛𝑛+1 3 𝑛𝑛→∞
𝑥𝑥−5 1
=
3
∙ lim 1
𝑛𝑛→∞ 1+𝑛𝑛
=1
𝑥𝑥−5
=
3
𝑥𝑥−5
= <1
3
⇒ 𝑥𝑥 − 5 < 3
∴ 𝑅𝑅 = 3
RMIT University©2017 16
RMIT Classification: Trusted
Example 4: Find
𝑛𝑛
the radius of convergence of
𝑛𝑛+1 𝑥𝑥
∑(−1) .
𝑛𝑛
Solution:
𝑎𝑎𝑛𝑛+1 𝑥𝑥 𝑛𝑛+1 𝑛𝑛
lim = lim 𝑛𝑛
𝑛𝑛→∞ 𝑎𝑎𝑛𝑛 𝑛𝑛→∞ 𝑛𝑛+1 𝑥𝑥
𝑛𝑛𝑥𝑥 𝑛𝑛+1
= lim
𝑛𝑛→∞ 𝑛𝑛+1 𝑥𝑥𝑛𝑛
𝑛𝑛
= 𝑥𝑥 lim
𝑛𝑛→∞ 𝑛𝑛+1
n
= 𝑥𝑥 < 1. (since lim =1)
n→∞ n+1
∴ 𝑅𝑅 = 1
RMIT University©2017 17
RMIT Classification: Trusted
𝑛𝑛! 𝑥𝑥 𝑛𝑛
Example 5: Find the radius of convergence of ∑ .
2𝑛𝑛 !
Solution:
𝑎𝑎𝑛𝑛+1 𝑛𝑛 + 1 ! 𝑥𝑥 𝑛𝑛 + 1 2𝑛𝑛 !
lim = lim
𝑛𝑛→∞ 𝑎𝑎𝑛𝑛 𝑛𝑛→∞ 2𝑛𝑛 + 2 ! 𝑛𝑛! 𝑥𝑥𝑥𝑥
𝑛𝑛+1 𝑛𝑛!𝑥𝑥 𝑛𝑛 𝑥𝑥 2𝑛𝑛 !
= lim
𝑛𝑛→∞ 2𝑛𝑛+2 2𝑛𝑛+1 2𝑛𝑛 !𝑛𝑛!𝑥𝑥𝑛𝑛
𝑛𝑛+1
= 𝑥𝑥 lim
𝑛𝑛→∞ (2𝑛𝑛+2)(2𝑛𝑛+1)
= 𝑥𝑥 × 0=0
= 𝑥𝑥 < 1, ∀𝑥𝑥
∴ 𝑅𝑅 = ∞
RMIT University©2017 18
RMIT Classification: Trusted
and
𝑔𝑔 𝑥𝑥 =∑∞ 𝑑𝑑
𝑛𝑛=0 𝑛𝑛 𝑥𝑥 𝑛𝑛 =𝑑𝑑 + 𝑑𝑑 𝑥𝑥+ 𝑑𝑑 𝑥𝑥2 + ⋯ + 𝑑𝑑 𝑥𝑥 𝑛𝑛 + ⋯ for 𝑥𝑥 <𝑟𝑟
0 1 2 𝑛𝑛 2,
≈ 1.1276.
RMIT University©2017 20
RMIT Classification: Trusted
2. Composition of Power Series
Suppose:
𝑓𝑓 𝑥𝑥 = ∑∞ 𝑐𝑐
𝑛𝑛=0 𝑛𝑛 𝑥𝑥 𝑛𝑛
RMIT University©2017 21
RMIT Classification: Trusted
Example 2: Using the standard series from the Concise Collection of
2
Formulae, determine the first few terms of the power series for 𝑒𝑒 𝑥𝑥 ⁄2.
Solution:
Using the power series expansion for 𝑒𝑒 𝑡𝑡 :
𝑛𝑛
𝑡𝑡
𝑒𝑒 𝑡𝑡 = ∑∞
𝑛𝑛=0 𝑛𝑛!
𝑡𝑡2 𝑡𝑡3 𝑡𝑡4
= 1 + 𝑡𝑡 + + + + ⋯for all 𝑡𝑡,
2! 3! 4!
1
We have upon substituting 𝑡𝑡 = 𝑥𝑥 2 ,
2
1 2 2 1 2 3 1 2 4
1 2 𝑥𝑥 𝑥𝑥 𝑥𝑥
𝑒𝑒 𝑥𝑥2⁄2 =1+ 𝑥𝑥 + 2
+ 2
+ 2
+⋯
2 2! 3! 4!
RMIT University©2017 22
RMIT Classification: Trusted
and 𝑔𝑔 𝑥𝑥 = ∑∞
𝑛𝑛=0 𝑑𝑑𝑛𝑛𝑥𝑥
n
RMIT University©2017 23
RMIT Classification: Trusted
• The series expansion for 𝑒𝑒 𝑥𝑥 cos 𝑥𝑥 is valid for all 𝑥𝑥, since both
the series expansions for 𝑒𝑒 𝑥𝑥 cos 𝑥𝑥 are valid for all 𝑥𝑥.
RMIT University©2017 24
RMIT Classification: Trusted
and 𝑔𝑔 𝑥𝑥 = ∑∞
𝑛𝑛=0 𝑑𝑑𝑛𝑛𝑥𝑥
n
RMIT University©2017 25
RMIT Classification: Trusted
or by writing:
RMIT University©2017 26
RMIT Classification: Trusted
Example 4: Using the standard series from the Concise
Collection Formulae, determine the first few terms of the power
1
series for tanh 𝑥𝑥. Hence, evaluate ∫0 tanh 𝑥𝑥 𝑑𝑑𝑥𝑥.
Solution:
Using the power series expansions for sinh 𝑥𝑥 and cosh 𝑥𝑥, we
have:
𝑥𝑥3 𝑥𝑥5 𝑥𝑥7
sinh 𝑥𝑥 = 𝑥𝑥 + + + + ⋯ for all 𝑥𝑥,
3! 5! 7!
This requires:
𝑥𝑥3 𝑥𝑥5 𝑥𝑥7
𝑥𝑥 + + + +⋯
6 120 5040
1 1 1 1
𝑞𝑞0 + 𝑞𝑞1𝑥𝑥 + 𝑞𝑞 + 𝑞𝑞2 𝑥𝑥2 + 𝑞𝑞 + 𝑞𝑞3 𝑥𝑥3 + 𝑞𝑞0 + 𝑞𝑞2 + 𝑞𝑞3 𝑥𝑥4
2 0 2 1 24 2
1 1 1 1 1
+ 𝑞𝑞 + 𝑞𝑞3 + 𝑞𝑞5 𝑥𝑥5 + 𝑞𝑞 + 𝑞𝑞 + 𝑞𝑞4 + 𝑞𝑞6 𝑥𝑥6
24 1 2 720 0 24 2 2
1 1 1
+ 𝑞𝑞 + 𝑞𝑞 + 𝑞𝑞5 + 𝑞𝑞7 𝑥𝑥7 + ⋯
720 1 24 3 2
RMIT University©2017 28
RMIT Classification: Trusted
29
RMIT Classification: Trusted
1 1
𝑥𝑥3 2𝑥𝑥5 17𝑥𝑥7
∴ � tanh 𝑥𝑥 𝑑𝑑𝑑𝑑 = � 𝑥𝑥 − + − + ⋯ 𝑑𝑑𝑑𝑑
0 0 3 15 315
8 𝑥𝑥 = 1
𝑥𝑥3 𝑥𝑥4 𝑥𝑥5 17𝑥𝑥
= � − + 𝑥𝑥6 − �
3 12 45 2520 𝑥𝑥 = 0
121
= ≈ 0.4321.
280
𝑥𝑥
Exact Answer:
1 1 sinh 𝑥𝑥 𝑥𝑥 = 1
∫0 tanh 𝑥𝑥 𝑑𝑑𝑑𝑑 = ∫0 𝑑𝑑𝑑𝑑 =[ln cosh 𝑥𝑥 ]
cosh 𝑥𝑥 𝑥𝑥 = 0
= ln(cosh 1) − 1𝑛𝑛(1)
≈ 0.4338.
RMIT University©2017 30
RMIT Classification: Trusted
Example 5:
31
RMIT Classification: Trusted
𝑥𝑥 𝑥𝑥
𝑙𝑙𝑙𝑙(1 + ): 𝑡𝑡 < 1, < 1 ⟹ 𝑥𝑥 < 2
2 2
∴ r2 = 2
𝑥𝑥
∴ 𝑅𝑅 of 𝑒𝑒 −𝑥𝑥 𝑙𝑙𝑙𝑙(1 + ) = min 𝑟𝑟1, 𝑟𝑟2 = 2
2
RMIT University©2017 32
RMIT Classification: Trusted
1 −𝑥𝑥 𝑥𝑥 1 𝑥𝑥 5 5
(c) ∫0 𝑒𝑒 𝑙𝑙𝑙𝑙(1 + ) 𝑑𝑑𝑑𝑑 = ∫0 (2 − 2
𝑥𝑥 + 𝑥𝑥3 ) 𝑑𝑑𝑑𝑑
2 8 12
1
𝑥𝑥2 5𝑥𝑥3 5𝑥𝑥4 1 5 5 7
= − + = − + =
4 24 48 0 4 24 48 48
1 −13 4
(d) Upper bound for the error ≤ ∫0 64 𝑥𝑥 𝑑𝑑𝑑𝑑
1
13𝑥𝑥5
𝑥𝑥
=
64 x 5 0
= 0.04
(e) No, because the upper limit of integration (i.e. 3) is
outside the convergence interval as 𝑅𝑅 = 2.
RMIT University©2017 33