#Power Series
Recall from last lecture that a power series centered at is a series of the form
where all the terms are constants.
Notice that a power series is a function of and the domain of this function is all values of for which the series converges. Typically the ratio or root test is used to determine where the series converges.
Recall further that one of the nice things about power series is that it is easy to differentiate and integrate them. As with polynomials, we can take the derivative or integral of each term first, and then add up the results.
Last time we were primarily concerned with estimating or finding the function that the power series represents. For example we use the geometric sum fomula to find that for ,
The partial sums of this power series, gave a polynomial approximation of the functin . Using and partial sums with and terms we notice that the functions begin to converge to the actual function. (In Black)
###Taylor Series
What about the other direction? Given a function, can we find a power series that represents the function on some interval? For example, can we find a power series that converges to , or or ? The answer is yes!
To find this representation, we need to know what to choose for the coefficients .
Suppose that has a power series representation (this is a critical assumption) of a function so that,
To find the coefficients we use evaluation at and differentiation.
Plugging in into both sides of the equation gives,
Thus the first coefficient the function value at .
Now to find , we differentiate, then plug in .
Differentiating we find,
At this equality gives,
Therefore, .
Continuing this process by differentiating and evaluation at , we get the general formula,
With .
This process of representing a function by a power series is called "expanding" the function into a series. The power series you get is called a Taylor series expansion of , after mathematician Brook Taylor (1685-1731).
Expanding functions into Taylor series and differentiating and integrating the series had a number of applications back then. For example, you can use Taylor Series to approximate the values of numbers like and . Or consider the logarithmic and trigonometric functions. These are often difficult to calculate, but if you expand these into Taylor series, then you can approximate values of these functions using only polynomials (and polynomials only require arithmetic to calculate).
Fortunately, finding the right power series to represent a function is fairly straightforward, as long as the function is repeatedly differentiable. The secret is to find derivatives of every order and evaluate them at .
Conclusion: If a function with derivatives of every order may be represented by a power series centered at on some interval , then that power series is
where the series converges on the interval .
Notice the "if" in the last sentence. There are functions that are not equal to the sum of their Taylor series, even if the series converges.
For Taylor Series not centered at , the Taylor Series of a function centered is,
where the derivatives are evaluated at the new center point.
###Example 1
Find the Taylor series of centered at (Taylor series centered at 0 are also called Maclaurin series).
We know in this case. Since , we have for all .
Thus, .
If equals the sum of its Taylor series, then . For this particular function, the Taylor series converges for all , and does equal the sum of the series (take my word for it).
###Taylor Polynomials
The partial sums of a Taylor series are actual polynomials, called Taylor polynomials. In other words, the Taylor polynomial of degree is .
We can approximate a Taylor series to whatever level of accuracy we want by using a Taylor polynomial of high enough degree.
Notice that the Taylor polynomial of degree 1 is .
Does this look familiar? It should! This is an equation for the tangent line to at . In other words, Taylor polynomials are generalizations of the tangent line to higher degree polynomials.
###Example 2
We will use Taylor polynomials to approximate the value of . We saw above that .
The Taylor polynomial of degree is .
So . The approximation improves as increases.
How big must be so that our approximation is correct for all the decimal places shown?
###Example 3
We can use Sage to calculate Taylor polynomials using the "taylor" command. This command takes four arguments: the expression or function to expand, the variable of expansion, the center of the expansion, and the degree of polynomial you want.
Use Sage to find the 10th-degree Taylor polynomial centered at for .
###Example 4
Find the 15th-degree Taylor polynomials of centered at , , and .
Notice that the coefficients can depend heavily on the center point. For example using the center point all the even terms are zero, but for center the odd terms are zero. Centering our expansion at gives both even and odd terms. Moreover, the accuracy will be greater towards the center point. If using at Taylor Series to approximate a value, picking a convienient center point close to your approximating point will allow you to use less terms in your series.
###Example 5
Find the Taylor polynomials of centered at of degrees 5, 10, and 15. And generate a plot with all three.
###Example 6
Estimate using the 10-degree Taylor polynomial centered at .
Here we find 10th Degree Taylor polynomial of and use this to evaluate the integral.
#Taylor Series Assignment
###Question 1
Let , the 5th-degree Taylor polynomial of centered at , and the 10th-degree Taylor polynomial of centered at .
Graph all three on the window , . Use black for , blue for , and red for .
###Question 2
Use Taylor polynomials to approximate using the following steps:
Taylor polynomial of degree 100 of centered at
Use the fact that and are approximately equal to approximate . [Use the n() command to convert to a decimal.]
###Question 3 Consider the function .
Find a Taylor Polynomial with high enough degree that the plot of and the Taylor polynomial on the interval are indistinguishable.
Estimate the value of by integrating your Taylor polynomial.
Compare your results with the output from Sage's numerical_integral command: . [Use the n() command to convert to decimals.]