Example 3.  Consider the function  [Graphics:Images/TaylorPolyMod_gr_189.gif].  
3 (a).  Find the terms up to  [Graphics:Images/TaylorPolyMod_gr_190.gif]  in the Maclaurin series for  f[x].
Solution 3 (a).

3 (a).  Find the terms up to  [Graphics:../Images/TaylorPolyMod_gr_192.gif]  in the Maclaurin series for  f[x].

[Graphics:../Images/TaylorPolyMod_gr_193.gif]


[Graphics:../Images/TaylorPolyMod_gr_194.gif]

Remark.  If you just find the "Series" it will include a "Big [Graphics:../Images/TaylorPolyMod_gr_195.gif]"  term, which cannot be used in either evaluations or graphing, we eliminate it with the command "Normal."  The "Big [Graphics:../Images/TaylorPolyMod_gr_196.gif]  term lets us know the power of x in the "remainder.

[Graphics:../Images/TaylorPolyMod_gr_197.gif]
[Graphics:../Images/TaylorPolyMod_gr_198.gif]


[Graphics:../Images/TaylorPolyMod_gr_199.gif]
[Graphics:../Images/TaylorPolyMod_gr_200.gif]

Aside.  Of course the "full" Maclaurin series has an infinite number of terms.  Mathematica is capable of finding sums of infinite series.  

[Graphics:../Images/TaylorPolyMod_gr_201.gif]
[Graphics:../Images/TaylorPolyMod_gr_202.gif]

The "symbolic" command is:

[Graphics:../Images/TaylorPolyMod_gr_203.gif]
[Graphics:../Images/TaylorPolyMod_gr_204.gif]

Use Mathematica to sum the infinite series  [Graphics:../Images/TaylorPolyMod_gr_205.gif].
Check it out for  [Graphics:../Images/TaylorPolyMod_gr_206.gif].

[Graphics:../Images/TaylorPolyMod_gr_207.gif]
[Graphics:../Images/TaylorPolyMod_gr_208.gif]

Check it out for  [Graphics:../Images/TaylorPolyMod_gr_209.gif].

[Graphics:../Images/TaylorPolyMod_gr_210.gif]
[Graphics:../Images/TaylorPolyMod_gr_211.gif]
[Graphics:../Images/TaylorPolyMod_gr_212.gif]

What is happening to the terms in the last series ?

[Graphics:../Images/TaylorPolyMod_gr_213.gif]
[Graphics:../Images/TaylorPolyMod_gr_214.gif]

The n-th term does not go to zero, therefore   [Graphics:../Images/TaylorPolyMod_gr_215.gif]  diverges.

Do we really need to understand the "interval of convergence" ?  What is it ?

[Graphics:../Images/TaylorPolyMod_gr_216.gif]

[Graphics:../Images/TaylorPolyMod_gr_217.gif]

[Graphics:../Images/TaylorPolyMod_gr_218.gif]

The "interval of convergence" is [-1,1).  Look at what happens in this interval ?  

[Graphics:../Images/TaylorPolyMod_gr_219.gif]

[Graphics:../Images/TaylorPolyMod_gr_220.gif]

[Graphics:../Images/TaylorPolyMod_gr_221.gif]

Aside.  The logarithm of negative numbers is allowed in the study of complex analysis.  For example

[Graphics:../Images/TaylorPolyMod_gr_222.gif]


[Graphics:../Images/TaylorPolyMod_gr_223.gif]
[Graphics:../Images/TaylorPolyMod_gr_224.gif]
[Graphics:../Images/TaylorPolyMod_gr_225.gif]
[Graphics:../Images/TaylorPolyMod_gr_226.gif]

This leads to one of the most curious equations in mathematics  [Graphics:../Images/TaylorPolyMod_gr_227.gif],  because it involves many of our basic numbers  [Graphics:../Images/TaylorPolyMod_gr_228.gif].  You are welcome to experiment with complex numbers in this course.  For example, Newton's method will converge to those "complex roots" if you give it an initial starting value that is complex and reasonably close to the desired root.

Background for part 3 (b).  Use the fact that the series is "alternating" to investigate the error for the Maclaurin polynomial of degree n = 10 over the interval  [-0.5, 0.5].  

Now look closely at the "error" when the series is used to approximate the function.  It becomes infinite near x = 1.  For this reason we work on smaller intervals, in this case we chose  [-0.5, 0.5].  How close are were the two curves in part (a) ?

[Graphics:../Images/TaylorPolyMod_gr_229.gif]

[Graphics:../Images/TaylorPolyMod_gr_230.gif]

[Graphics:../Images/TaylorPolyMod_gr_231.gif]

Caveat. The series is not alternating and we cannot use the magnitude of the "next term" in the series to determine an error bound.

[Graphics:../Images/TaylorPolyMod_gr_232.gif]

[Graphics:../Images/TaylorPolyMod_gr_233.gif]

The error bound for the entire interval  [-0.5, 0.5] is

[Graphics:../Images/TaylorPolyMod_gr_234.gif]

[Graphics:../Images/TaylorPolyMod_gr_235.gif]

However, the estimate does not work on the interval  [Graphics:../Images/TaylorPolyMod_gr_236.gif]  where the series is not alternating.

[Graphics:../Images/TaylorPolyMod_gr_237.gif]


[Graphics:../Images/TaylorPolyMod_gr_238.gif]

However, the estimate will work on the interval [Graphics:../Images/TaylorPolyMod_gr_239.gif]  where the series is alternating.

[Graphics:../Images/TaylorPolyMod_gr_240.gif]

[Graphics:../Images/TaylorPolyMod_gr_241.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004