Hi everyone! Today we’ll start our discussion of power series, which are like “infinite-degree” polynomials. We have already seen everything we need to see about convergence and divergence of series, which are infinite sums of numbers. Now we’ll see what happens when we include a variable into the mix!
Lesson 19: Power Series and Functions & Properties of Power Series
- Identify a power series and provide examples of power series.
- Determine the radius of convergence and interval of convergence of a power series and explain what this means.
- Use a power series to represent a function.
- Use known power series representations to determine power series for new functions which are sums, products, derivatives and integrals of known ones.
What the heck does something like even mean???
Something we should notice in Warmup exercise 1 is: not only is each series geometric, but the general term is of the form for each of them. The only difference among the three is the value of .
Introduction to power series
Definition: A power series is a series of the form
The coefficients are real numbers and the value is called the center.
Let’s do a deep dive on our motivating question: What the heck does something like even mean??? Buckle up because we’ll be with this example for a while. It will be worth it because this example will really help us understand power series in general. We’ll take it slowly. Let’s start with what we know:
- We could write the first few terms of the expanded sum:
- Now that we have a definition, we can say that “ is a power series centered at where for all .” But this just gives a name to the kind of mathematical object that the infinite sum is, it doesn’t really tell us what it means.
- Let’s look at the formula again. We could substitute different numbers for the variable . For example, in Warmup exercise 1, we substituted three different values for : , and . We could have chosen other values for . We could have chosen any real number for and asked if the corresponding series converges or diverges. This might seem like a simple fact that won’t actually help us understand what means, but actually, this is an excellent start!
The power series represents a family, where each member of the family is a series which depends on . Let’s update our notation to reflect this dependence on and give our power series a name:
This is very suggestive notation! It should make you think of…a function! With this notation , we saw in Warmup exercise 1 that:
- the series converges,
- the series diverges, and
- the series diverges.
Remember that if a series converges, it converges to a number (even if we don’t specify what that number is). Let’s update what we just said with this in mind:
- the number exists,
- the number does not exist, and
- the number does not exist.
We could test whether exists for other values of too, but we can already see that exists for some values of and not for others. This should make you think of…the domain of the function!
Recall that a number is in the domain of a function if exists (a.k.a. is a number); a number is not in the domain of a function if does not exist (a.k.a. is not a number). (If you need a refresher on domains of functions, see Lesson 2 of the MAT 1375 course hub here.)
The upshot is that the power series , when thought of a function, has a domain which consists of all the -values for which the series converges. For now, let’s rename the domain of as its “set of convergence” (we’ll rename it again later in the lesson).
So we saw in Warmup exercise 1 that:
- is in the set of convergence for ,
- is not in the set of convergence for
- is not in the set of convergence for
We’re just saying the same thing again and again in a different way. Again, we could test whether other values of are in the set of convergence for . Let’s ask that question: what is the complete set of convergence for ?
Again, lucky for us, is a geometric series for every possible value of that we could plug in. So let’s treat as a geometric series itself, but with a varying common ratio ! From this perspective the common ratio for is . Knowing what we know about geometric series, we can now say conclusively:
- if , then the series converges, and
- if , then the series diverges.
Finally, we’ll say that the set of convergence for the is the open interval .
So what does mean? Well we know that on the interval the function is defined. What is this function?
Again, we’ll use what we learned about geometric in Lesson 14 (link here): when , the geometric series converges to . For us, and . So on converges to the function . All of this together is what we mean when we say !
We can see what means graphically too and much more quickly. Figure 1 below shows graphs of the first several partial sums of the series . The partial sums are just polynomials! The figure below is cluttered but click on it (or here) to navigate to the interactive Desmos graph. By default, only the first few partial sums are displayed. Click on the grey circles on the left of the screen to turn on the other partial sums one by one. The black dotted curve is the graph of the function . As you can see, as the degree of the partial sum increases, the closer the polynomial gets to this function…but this is only true for the set of convergence . Outside this set, the partial sums diverge and the graphs are getting further away from the graph of .
Again, we’re seeing that the power series converges to on the interval and diverges outside this interval.
Interval of convergence
In our motivating example, we saw that on the set of convergence, the power series converges to a function ; outside that set, the series diverges. For a general power series , we want to know the set of convergence. We typically won’t need to know what function the power series converges to until Lesson 20 (link here).
Question: There is always one really easy value of where the power series converges. Take a second now to guess what it is.
The set of convergence is an interval
We see that every power series converges at its center. That is, the center is always in the set of convergence. It turns out that the set of convergence is always an interval…and the center is the center of that interval! We’ll now rename the “set of convergence” of a power series as the interval of convergence.
We’ll see why this set is actually an interval through some upcoming examples which use the ratio test, which we saw in Lesson 18 (link here). In our motivating example above, the interval was open because it excluded both endpoints. In general the interval of convergence may include or exclude either endpoint, so the interval might be open, closed, or half open/half closed.
Definition: Let be a power series centered at . The interval of convergence consists of all real numbers for which the power series converges.
Let be such that the power series converges for . Then is called the radius of convergence. If , the interval of convergence is just the single point . If , the interval of convergence is the whole real line .
Video 1 below quickly introduces us to some of the concepts above and shows us two examples. Don’t forget: the ratio test is inconclusive when the limit . This happens at the endpoints of the interval of convergence, so to determine whether an endpoint is included or excluded from the interval, you’ll have to test it separately. (It is a common mistake to forget to check convergence at interval endpoints.)
Video 2 below shows two more examples where we need to find the interval of convergence for a power series. Notice that the power series in Video 1 above were centered at 0 but the power series in Video 2 are not centered at 0.
Series representations of functions – introduction
We saw that the power series converges to the function on the interval of convergence. We’ll see a lot more about this kind of series representation of functions when we see Taylor series in Lesson 20 (link here).
For now we can easily build on the motivating example by replacing with other functions of to say, for example:
- The power series converges to the function .
- The power series converges to the function .
We can can also integrate or differentiate series representations of functions term by term to get series representations of new functions. For example:
- Let . Notice that its derivative . We saw above that on the interval of convergence, is represented by the series . We want a series representation of , not of , so we can integrate term by term: is represented by the series for some constant . To determine we can choose any value in the interval of convergence; let’s choose . Then . And the series . Since we want to represent on the interval of convergence, we must have that , so . Therefore, the series representation of is . Recall the interactive Desmos graph (link here) from Lesson 11 on Taylor Polynomials (link here). We’ll come back to this example once again in Lesson 20 (link here).
- Now let . Notice that is the derivative of . If we can find a series representation of , then we can differentiate it term by term to get a series representation of . We just saw that the series represents . We can replace by to see that the series represents . When we simplify it, we see that . Now we differentiate term by term to see that which we simplify to . In conclusion, the function is represented on the interval of convergence by the power series .
Video 3 below shows another series representation of a function. It starts with our motivating example as well.