Definition 4. Taylor and Maclaurin Series for a function
∑n=0∞n!f(n)(a)(x−a)n
Find the Maclaurin series for f(x), assuming that f(x) has a power series expansion
f(x)=∫0xe4tdt
Step 1: Recall the Maclaurin series for e4t
Step 2: Integrate term-by-term from 0 to x
f(x) = \int_0^x e^{4t} dt = \int_0^x \sum_{n=0}^\infty \frac {4^nt^n}{n!}dt
f(x) = \sum_{n=0}^\infty \frac {4^n}{n!} \int_0^x t^n dt
∫0xtndt=n+1xn+1
f(x) = \sum_{n=0}^\infty \frac {4^nx^{n+1}}{(n+1)n!}
Step 3: Simplify the factorial expression
(n+1)n!=(n+1)!
\Rightarrow f(x) = \sum_{n=0}^\infty \frac {4^nx^{x+1}}{(n+1)!}
Example 50. Fin the Maclaurin series for f(x)=sinx and find its radius of convergence.
Solution: Since sinx has derivatives of all orders, it has a Maclaurin series.
\sin x = \sum_{n=0}^\infty \frac {f^{(n)} (0)}{n!}(x-0)^n
f(x)=sinx f(0)=0
f’(x)=cosx f′(0)=1
f’’(x)=−sinx f′′(0)=0
f’’’(x)=−cosx f′′′(0)=−1
The cycle now repeats itself.
f(4)(x)=sinx⇒f(4)(0)=0
f(5)(x)=cosx⇒f(5)(0)=1
sinx=f(0)+1!f′(0)x+2!f′′(0)x2+3!f′′′(0)x3+4!f(4)(0)x4+…
=0+1!x−2!0x2−3!1x3+4!0x4
=x−3!x3+5!x5−7!x7+…
= \sum_{n=0}^\infty \frac {(-1)^n x^{2n+1}}{(2n+1)!}
This is an alternating series. The terms have odd powers of x and odd factorials. Conveniently, sin x is an odd function.
We will use the ratio test to find the radius of convergence.
limn→∞∣anan+1∣=limn→∞∣(2n+1)!(−1)nx2n+1(2(n+1)+1)!(−1)n+1x2(n+1)+1∣
=limn→∞∣(−1)nx2n+1(−1)n+1x2(n+1)+1⋅(2(n+1)+1)!(2n+1)!∣
=x2limn→∞(2n+2)(2n+3)1
=0
The power series converges for every x. The radius of convergence is ∞ and the interval of convergence is (−∞,∞). In the next section we will show that sinx equals its Maclaurin series.
Example 51. Find the Maclaurin series for f(x)=cosx. (Hint: Differentiate the series generated for f(x)=sinx in example 4.)
Solution:
\cos x = \frac d{dx} \sin x = \frac d{dx} (x - \frac {x³}{3!} + \frac {x^5}{5!} - \frac {x^7}{7!} + … )
=1−3!3x2+5!5x4−7!7x6+…
=1−2!x2+4!x4−6!x6+…
=∑n=0∞(−1)n(2n)!x2n for all Real Numbers
This is an alternating series. The terms have even powers of x and even factorials. This corresponds to cosx being an even function.