So far, our study of series has examined the question of “Is the sum of these infinite terms finite?,” i.e., “Does the series converge?” We now approach series from a different perspective: as a function. Given a value of , we evaluate by finding the sum of a particular series that depends on (assuming the series converges). We start this new approach to series with a definition.
Let be a sequence, let be a variable, and let be a real number.
The power series in is the series
The power series in centered at is the series
Write out the first five terms of the following power series:
Solution
One of the conventions we adopt is that regardless of the value of . Therefore
This is a geometric series in .
This series is centered at . Note how this series starts with . We could rewrite this series starting at with the understanding that , and hence the first term is .
This series is centered at . Recall that .
We introduced power series as a type of function, where a value of is given and the sum of a series is returned. Of course, not every series converges. For instance, in part 1 of Example 9.8.1, we recognized the series as a geometric series in . Theorem 9.2.1 states that this series converges only when .
This raises the question: “For what values of will a given power series converge?,” which leads us to a theorem and definition.
Let a power series be given. Then one of the following is true:
The series converges only at .
There is an such that the series converges for all in
and diverges for all and .
The series converges for all .
The value of is important when understanding a power series, hence it is given a name in the following definition. Also, note that part 2 of Theorem 9.8.1 makes a statement about the interval , but the not the endpoints of that interval. A series may or may not converge at these endpoints.
The number given in Theorem 9.8.1 is the radius of convergence of a given series. When a series converges for only , we say the radius of convergence is 0, i.e., . When a series converges for all , we say the series has an infinite radius of convergence, i.e., .
The interval of convergence is the set of all values of for which the series converges.
To find the values of for which a given series converges, we will use the convergence tests we studied previously (especially the Ratio Test). However, the tests all required that the terms of a series be positive. The following theorem gives us a work-around to this problem.
The series and have the same radius of convergence .
Theorem 9.8.2 allows us to find the radius of convergence of a series by applying the Ratio Test (or any applicable test) to the absolute value of the terms of the series. We practice this in the following example.
Watch the video:
Power Series — Finding the Interval of Convergence from https://youtu.be/01LzAU__J-0
Find the radius and interval of convergence for each of the following series:
Solution
We apply the Ratio Test to the series :
The Ratio Test shows us that regardless of the choice of , the series converges. Therefore the radius of convergence is , and the interval of convergence is .
We apply the Ratio Test to the series :
The Ratio Test states a series converges if the limit of . We found the limit above to be ; therefore, the power series converges when , or when is in . Thus the radius of convergence is .
To determine the interval of convergence, we need to check the endpoints of . When , we have the opposite of the Harmonic Series:
The series diverges when .
When , we have the series , which is the Alternating Harmonic Series, which converges. Therefore the interval of convergence is .
We apply the Ratio Test to the series :
According to the Ratio Test, the series converges when . The series is centered at 3, and must be within of 3 in order for the series to converge. Therefore the radius of convergence is , and we know that the series converges absolutely for all in .
We check for convergence at the endpoints to find the interval of convergence. When , we have:
which diverges. A similar process shows that the series also diverges at . Therefore the interval of convergence is .
We apply the Ratio Test to :
The Ratio Test shows that the series diverges for all except . Therefore the radius of convergence is .
We can use a power series to define a function:
where the domain of is a subset of the interval of convergence of the power series. One can apply calculus techniques to such functions; in particular, we can find derivatives and antiderivatives.
Let be a function defined by a power series, with radius of convergence .
is continuous and differentiable on .
, with radius of convergence .
, with radius of convergence .
A few notes about Theorem 9.8.3:
The theorem states that differentiation and integration do not change the radius of convergence. It does not state anything about the interval of convergence. They are not always the same.
Notice how the summation for starts with . This is because the constant term of goes to 0.
Differentiation and integration are simply calculated term-by-term using previous rules of integration and differentiation.
Let . Find the following along with their respective intervals of convergence.
SolutionWe find the derivative and indefinite integral of , following Theorem 9.8.3.
In Example 9.8.1, we recognized that is a geometric series in . We know that such a geometric series converges when ; that is, the interval of convergence is .
To determine the interval of convergence of , we consider the endpoints of . When we have
which diverges by the Test for Divergence and when we have
which also diverges by the Test for Divergence. Therefore, the interval of convergence of is .
To find the interval of convergence of , we again consider the endpoints of . When we have
The value of is irrelevant; notice that the rest of the series is an Alternating Series that whose terms converge to 0. By the Alternating Series Test, this series converges. (In fact, we can recognize that the terms of the series after are the opposite of the Alternating Harmonic Series. We can thus say that .)
Notice that this summation is the Harmonic Series, which diverges. Since converges for and diverges for , the interval of convergence of is .
The previous example showed how to take the derivative and indefinite integral of a power series without motivation for why we care about such operations. We may care for the sheer mathematical enjoyment “that we can”, which is motivation enough for many. However, we would be remiss to not recognize that we can learn a great deal from taking derivatives and indefinite integrals.
Recall that in Example 9.8.3 is a geometric series. According to Theorem 9.2.1, this series converges to when . Thus we can say
Integrating the power series, (as done in Example 9.8.3,) we find
(9.4) |
while integrating the function gives
(9.5) |
Equating Equations (9.4) and (9.5), we have
Letting , we have . This implies that we can drop the constants and conclude
We established in Example 9.8.3 that the series converges at ; substituting on both sides of the above equality gives
On the left we have the opposite of the Alternating Harmonic Series; on the right, we have . We conclude that
In Example 9.5.1 of Section 9.5 we said the Alternating Harmonic Series converges to , but did not show why this was the case. The work above shows how we conclude that the Alternating Harmonic Series Converges to .
We use this type of analysis in the next example.
Let . Find and , and use these to analyze the behavior of .
SolutionWe start by making two notes: first, in Example 9.8.2, we found the interval of convergence of this power series is . Second, we will find it useful later to have a few terms of the series written out:
(9.6) |
We now find the derivative:
Since the series starts at and each term refers to , we can re-index the series starting with : | ||||
We found the derivative of is . The only functions for which this is true are of the form for some constant . As (see Equation (9.6)), must be 1. Therefore we conclude that
for all .
We can also find :
We write out a few terms of this last series:
The integral of differs from only by a constant, again indicating that .
Example 9.8.4 and the work following Example 9.8.3 established relationships between a power series function and “regular” functions that we have dealt with in the past. In general, given a power series function, it is difficult (if not impossible) to express the function in terms of elementary functions. We chose examples where things worked out nicely.
It can be difficult to recognize an elementary function by its power series expansion. It is far easier to start with a known function, expressed in terms of elementary functions, and represent it as a power series function. One may wonder why we would bother doing so, as the latter function probably seems more complicated.
Let’s start off with a series we already know how to do, although when we first ran across this series we didn’t think of it as a power series nor did we acknowledge that it represented a function. Recall that the geometric series is
We also know that if the series diverges. Now, if we take and this becomes,
(9.7) |
Turning this around we can see that we can represent the function
(9.8) |
with the power series
(9.9) |
This provision is important. We can clearly plug any number other than into the function, however, we will only get a convergent power series if . This means the equality in Equation (9.7) will only hold if . For any other value of the equality won’t hold. Note as well that we can also use this to acknowledge that the radius of convergence of this power series is and the interval of convergence is .
This idea of convergence is important here. We will be representing many functions as power series and it will be important to recognize that the representations will often only be valid for a range of ’s and that there may be values of that we can plug into the function that we can’t plug into the power series representation.
In this section we are going to concentrate on representing functions with power series where the function can be related back to a geometric series. In this way we will hopefully become familiar with some of the kinds of manipulations that we will sometimes need when working with power series. We will see in Section 9.10 that this strategy is useful for integrating functions that don’t have elementary antiderivatives.
Find a power series representation for and determine its interval of convergence.
SolutionWe want to relate this function back to Equation (9.8). This is actually easier than it might look. Recall that the in Equation (9.8) is simply a variable and can represent anything. So, a quick rewrite of gives,
and so the holds the same place as the in Equation (9.8). Therefore, all we need to do is replace the in Equation (9.9) and we’ve got a power series representation for .
Notice that we replaced both the in the power series and in the interval of convergence. All we need to do now is a little simplification.
So, in this case the interval of convergence is the same as the original power series. This usually won’t happen. More often than not the new interval of convergence will be different from the original interval of convergence.
Find a power series representation for and determine its interval of convergence.
SolutionThis function is similar to the previous function, however the numerator is different. Since Equation (9.8) doesn’t have an in the numerator it appears that we can’t relate this function back to that. However, now that we’ve worked the first example this one is actually very simple since we can use the result of the answer from that example. To see how to do this let’s first rewrite the function a little.
Now, from the first example we’ve already got a power series for the second term so let’s use that to write the function as,
Notice that the presence of ’s outside of the series will NOT affect its convergence and so the interval of convergence remains the same. The last step is to bring the coefficient into the series and we’ll be done. When we do this, make sure to combine the ’s as well. We typically only want a single in a power series.
As we saw in the previous example we can often use previous results to help us out. This is an important idea to remember as it can often greatly simplify our work.
Find a power series representation for and determine its interval of convergence.
SolutionSo again, we have an in the numerator. As with the last example factor out and we have . If we had a power series representation for we could get a power series representation for . We need the number in the denominator to be a one so we rewrite the denominator.
Now all we need to do to get a power series representation is to replace the in Equation (9.9) with . Doing this gives
Now simplify the series.
The interval of convergence for this series is
We now have a power series representation for but we need to find a power series representation for the original function. All we need to do for this is to multiply the power series representative for by and we’ll have it.
The interval of convergence doesn’t change and so it will be .
Find a power series representation for .
SolutionWe can start by writing this as
The problem with this representation is that the makes this not a power series — we only want a single occurrence of . The proceed, we’ll split this into two sums
Because the second sum uses , we can re-index it to get a sum involving , which is our power series
We now consider several examples where differentiation and integration of power series from Theorem 9.8.3 are used to write the power series for a function.
Find a power series representation for and determine its radius of convergence.
SolutionWe know that
Since we have a power series representation for , we can differentiate that power series to get a power series representation for .
Since the original power series had a radius of convergence of the derivative, and hence , will also have a radius of convergence of .
Find a power series representation for and determine its radius of convergence.
SolutionIn this case we need the fact that
Recall that we found a power series representation for in Example 9.8.7. We now have
We can find the constant of integration, , by substituting in a value of . A good choice is as the series is usually easy to evaluate there.
So, the final answer is,
and the radius of convergence is 5. Notice that allows for convergence so the interval of convergence is .
We adopt the convention that , regardless of the value of .
What is the difference between the radius of convergence and the interval of convergence?
If the radius of convergence of is 5, what is the radius of convergence of ?
If the radius of convergence of is 5, what is the radius of convergence of ?
In Exercises 5–8, write out the sum of the first 5 terms of the given power series.
In Exercises 9–28, a power series is given.
Find the radius of convergence.
Find the interval of convergence.
In Exercises 29–32, write the following functions as a series and give the radius of convergence.
In Exercises 34–40, find a power series representation for the function and determine the radius of convergence.