Video Transcript
In this video, we’ll learn the
definition of the Maclaurin series and its relationship to the Taylor series. We’ll look at how to apply this
definition to represent an arbitrary function as the Maclaurin series and how we can
find the radius of convergence of these types of series.
We might recall that if a function
𝑓 has a power series expansion at 𝑎, the Taylor series of a function 𝑓 about 𝑎
is given by 𝑓 of 𝑥 equals the sum of the 𝑛th derivative of 𝑓 evaluated 𝑎 over
𝑛 factorial times 𝑥 minus 𝑎 to the 𝑛th power for values of 𝑛 between zero and
∞. This can be written as 𝑓 of 𝑎
plus 𝑓 prime of 𝑎 over one factorial times 𝑥 minus 𝑎 plus 𝑓 double prime of 𝑎
over two factorial times 𝑥 minus 𝑎 squared and so on. For the special case where 𝑎 is
equal to zero, the Taylor series becomes the sum from 𝑛 equals zero to ∞ of the
𝑛th derivative evaluated at zero over 𝑛 factorial times 𝑥 to the 𝑛th power. Now, this case arises frequently
enough that it’s given the special name the Maclaurin series. And we’re going to have a look at
how we might apply this formula.
Find the Maclaurin series of the
function 𝑓 of 𝑥 equals 𝑒 to the power of 𝑥.
We recall that the Maclaurin series
of a function 𝑓 of 𝑥 is given by the sum of the 𝑛th derivative of 𝑓 evaluated at
zero over 𝑛 factorial times 𝑥 to the 𝑛th power for values of 𝑛 between zero and
∞. So we’ll begin by differentiating
𝑓 of 𝑥 to evaluate 𝑓 prime of zero, 𝑓 double prime of zero, and so on. Ultimately, we’re hoping to find
what the 𝑛th derivative of our function is at 𝑥 equals zero. We know that 𝑓 of 𝑥 is equal to
𝑒 to the power of 𝑥. The derivative of 𝑒 to the power
of 𝑥 is simply 𝑒 to the power of 𝑥. So we find that 𝑓 prime of 𝑥 is
𝑒 to the power of 𝑥. 𝑓 double prime of 𝑥 is the
derivative of this, which is also 𝑒 to the power of 𝑥. And we can continue this. And we’ll see that the 𝑛th
derivative of 𝑓 will also be equal to 𝑒 to the power of 𝑥.
We need to work out what 𝑓 of
zero, 𝑓 prime of zero, and so on is. So 𝑓 of zero is 𝑒 to the power of
zero, which is one. 𝑓 prime of zero is also 𝑒 to the
power of zero, which is one. And since we know that the 𝑛th
derivative of 𝑓 at 𝑥 is 𝑒 to the power of 𝑥, we know that the 𝑛th derivative of
𝑓 at zero is 𝑒 to the power of zero, which is one. We therefore replace the 𝑛th
derivative of 𝑓 evaluated at zero with one. And we find that our summand is one
over 𝑛 factorial times 𝑥 to the 𝑛th power. We can, of course, simplify this to
𝑥 to the 𝑛th power over 𝑛 factorial. And so we see that the Maclaurin
series of the function 𝑓 of 𝑥 equals 𝑒 to the power of 𝑥 is the sum from 𝑛
equals zero to ∞ of 𝑥 to the 𝑛th power over 𝑛 factorial. And this is one plus 𝑥 plus 𝑥
squared over two factorial plus 𝑥 cubed over three factorial and so on.
So what about the radius of
convergence of this series? We recall that if a series
converges on the open interval from negative 𝑅 to 𝑅, its radius of convergence is
the number denoted by 𝑅. And of course, a power series
always converges absolutely within its radius of convergence. Similarly, the interval of
convergence is the open, closed, or semiclosed range of values of 𝑥, for which the
Maclaurin series converges to the value of the function.
So let’s have a look at how we can
find the radius of convergence for a Maclaurin series.
A Maclaurin series is given by the
sum from 𝑛 equals one to ∞ of negative one to the power of 𝑛 plus one times 𝑛
times 𝑥 to the power of 𝑛 minus one. Find the radius of convergence for
the series.
We recall that we can use the ratio
test to help us find the radius of convergence of a series. The part of the ratio test we’re
interested in says, suppose we have the series given by the sum of 𝑎 𝑛. If the limit as 𝑛 approaches ∞ of
the absolute value of 𝑎 𝑛 plus one over 𝑎 𝑛 is less than one, then the series is
absolutely convergent and hence convergent. In our case, we define 𝑎 𝑛 to be
equal to negative one to the power of 𝑛 plus one times 𝑛 times 𝑥 to the power of
𝑛 minus one. This means that 𝑎 𝑛 plus one is
negative one to the power of 𝑛 plus two times 𝑛 plus one times 𝑥 to the 𝑛th
power. And so to find the radius of
convergence, we need to work out where the limit as 𝑛 approaches ∞ of the absolute
value of the quotient of these is less than one.
Now, we can actually simplify
everything inside our limit. We recall that when we divide two
numbers with an equal base, we subtract the exponents. This means negative one to the
power of 𝑛 plus two divided by negative one to the power of 𝑛 plus one is simply
negative one. Similarly, 𝑥 to the power of 𝑛
divided by 𝑥 to the power of 𝑛 minus one is simply 𝑥. Let’s rewrite this as the limit as
𝑛 approaches ∞ of the absolute value of negative one 𝑥 times 𝑛 plus one over
𝑛. 𝑥 is independent event. So we can take the absolute value
of negative 𝑥 outside of our limit.
And we can now look to evaluate our
limit. We divide each term on the
numerator by 𝑛. And we’re looking to find the limit
as 𝑛 approaches ∞ of one plus one over 𝑛. Well, as 𝑛 gets larger, one over
𝑛 gets smaller. And it approaches zero. This means that the limit as 𝑛
approaches ∞ of the absolute value of one plus one over 𝑛 is simply one. So we have that the absolute value
of negative 𝑥 times one is less than one. Or indeed, the absolute value of
negative 𝑥 is less than one.
We can rewrite this as the absolute
value of negative one times the absolute value of 𝑥. And then, of course, the absolute
value of negative one is simply one. So by the ratio test, the absolute
value of 𝑥 must be less than one for our series to be convergent. And therefore, the radius of
convergence is equal to one.
We’ll now look at how we can derive
a Maclaurin series for a trigonometric function.
Consider the function 𝑓 of 𝑥
equals cos of 𝑥. What are the first four derivatives
of 𝑓 with respect to 𝑥? Write the general form for the 𝑛th
derivative of 𝑓 with respect to 𝑥. And hence, derive the Maclaurin
series for cos of 𝑥.
There is a fourth part to this
question, which asks us to find the radius 𝑅 of convergence of the Maclaurin series
for cos of 𝑥. And we’ll consider that at the very
end. So we begin by finding the first
four derivatives of 𝑓 with respect to 𝑥. We’re told that 𝑓 of 𝑥 is equal
to cos of 𝑥. And so we quote the general result
for the first derivative of cos of 𝑥 is negative sin 𝑥. And therefore, 𝑓 prime of 𝑥, the
first derivative of 𝑓 with respect to 𝑥, is negative sin 𝑥.
Next, we recall the general result
for the derivative of sin 𝑥. It’s cos 𝑥. And this means the derivative of
negative sin 𝑥 must be negative cos of 𝑥. By returning to the first general
result we quoted, we’ll be able to differentiate negative cos of 𝑥. It’s negative, negative sin of 𝑥,
which is, of course, simply sin of 𝑥. So the third derivative is sin of
𝑥. And finally, we obtain the fourth
derivative to be equal to cos of 𝑥. And so we have the first four
derivatives. They are negative sin 𝑥, negative
cos 𝑥, sin 𝑥, and cos 𝑥.
The second part of this question
asks us to find a general form for the 𝑛th derivative of 𝑓 with respect to 𝑥. And so we need to spot a pattern
with our derivatives. Firstly, we should notice that if
we differentiate cos of 𝑥, we go back to negative sin 𝑥. And this cycle will continue. Next, we recall that sine and
cosine are horizontal translations of one another. And so if we sketch the curve of 𝑦
equals negative sin of 𝑥, that, of course, is a reflection on the 𝑥-axis for the
graph of 𝑦 equals sin 𝑥. We see that we can write 𝑦 equals
negative sin 𝑥 as 𝑦 equals cos of 𝑥 plus 𝜋 by two. It’s a horizontal translation of
the graph of 𝑦 equals cos of 𝑥, left by 𝜋 by two radians. So 𝑓 prime of 𝑥 is equal to cos
of 𝑥 plus 𝜋 by two.
We’ll repeat this for the graph of
𝑦 equals negative cos of 𝑥. It’s a reflection again in the
𝑥-axis of the graph 𝑦 equals cos of 𝑥. And it, therefore, also can be
represented by a horizontal translation of the graph of 𝑦 equals cos of 𝑥 left by
𝜋 radians. So we can write 𝑓 double prime of
𝑥, which was negative cos of 𝑥, as cos of 𝑥 plus 𝜋. By applying a similar thought
process, we find that the third derivative, sin of 𝑥, can be written as cos of 𝑥
plus three 𝜋 by two. And the fourth derivative can be
written as cos of 𝑥 plus two 𝜋.
Remember, cos itself is periodic
with a period of two 𝜋 radians. So cos of 𝑥 plus two 𝜋 is exactly
the same as cos of 𝑥. And we might be starting to spot a
pattern. In fact, if we write the second
derivative, cos of 𝑥 plus 𝜋, as cos of 𝑥 plus two 𝜋 over two and the fourth
derivative as cos of 𝑥 plus four 𝜋 over two, we see we can write the 𝑛th
derivative as cos of 𝑥 plus 𝑛𝜋 over two. And so the general form for the
𝑛th derivative of 𝑓 with respect to 𝑥 is cos of 𝑥 plus 𝑛𝜋 over two.
The third part of this question
asks us to derive the Maclaurin series for cos of 𝑥. And so we recall this is the sum
from 𝑛 equals zero to ∞ of the 𝑛th derivative of 𝑓 evaluated at zero over 𝑛
factorial times 𝑥 to the 𝑛th power. Well, in this case, the 𝑛th
derivative of 𝑓 evaluated at zero is cos of zero plus 𝑛𝜋 over two. When 𝑛 is zero, we have 𝑓 of
zero, which is cos of zero which is one. When 𝑛 is one, we have 𝑓 prime of
zero, which is cos of 𝜋 by two, which is zero. When 𝑛 is two, we have cos of 𝜋,
which is negative one. And when 𝑛 is equal to three, we
have cos of three by two, which is once again zero. And of course, as we saw in the
second part of this question, this cycle continues.
And this means the first few terms
will be one minus 𝑥 squared over two factorial plus 𝑥 to fourth power over four
factorial minus 𝑥 to the six over six factorial, which we can write as the sum from
𝑛 equals zero to ∞ of negative one to the 𝑛th power. Remember, this part will just give
us the alternating signs. We go from positive to negative and
back to positive again. This is all over two 𝑛
factorial. This bit gives us the even
factorials and the denominator times 𝑥 to the power of two 𝑛. And so we’ve derived the Maclaurin
series for cos of 𝑥. It’s the sum from 𝑛 equals zero to
∞ of negative one to the 𝑛th power over two 𝑛 factorial times 𝑥 to the power of
two 𝑛. And, of course, if we chose to
alternatively write this as shown, that would be absolutely fine too.
We’re now going to clear some space
and consider the fourth and final part of this question. We’ll keep the Maclaurin series for
cos of 𝑥 on screen as we’re going to use that in a moment. And this question says, what is the
radius 𝑅 of convergence of the Maclaurin series for cos of 𝑥? We recall that, in general, there’s
an open interval from negative 𝑅 to 𝑅, in which a power series converges. And that number 𝑅 is called the
radius of convergence. And we can use the ratio test to
find this value. The part of the test we’re
interested in says that, given a series of sum of 𝑎 𝑛, if the limit as 𝑛
approaches ∞ of the absolute value of 𝑎 𝑛 plus one over 𝑎 𝑛 is less than one,
then the series is absolutely convergent and hence convergent.
In our case, we let 𝑎 𝑛 be equal
to negative one to the 𝑛th power times 𝑥 to the power of two 𝑛 over two 𝑛
factorial. Then, 𝑎 𝑛 plus one is negative
one to the power of 𝑛 plus one times 𝑥 to the power of two times 𝑛 plus one over
two times 𝑛 plus one factorial. We’ll distribute the parentheses to
make the next step easier. Two times 𝑛 plus one is two 𝑛
plus two. According to the ratio test, we
want to find where the limit as 𝑛 approaches ∞ of the absolute value of the
quotient of these is less than one.
We know that when dividing by a
fraction, we simply multiply by the reciprocal of that fraction. So we can say that we want the
limit as 𝑛 approaches ∞ of the absolute value of negative one to the power of 𝑛
plus one times 𝑥 to the power of two 𝑛 plus two over two 𝑛 plus two factorial
times two 𝑛 factorial over negative one to the 𝑛th power times 𝑥 to the power of
two 𝑛. And then, we recall that when
dividing two numbers with equal basis, we simply subtract their exponents so that 𝑥
to the power of 𝑎 divided by 𝑥 to the power of 𝑏 is 𝑥 to the power of 𝑎 minus
𝑏. We’ll use this to simplify negative
one to the power of 𝑛 plus one divided by negative one to the power of 𝑛. It’s simply negative one. Similarly, we’ll be able to
simplify 𝑥 to the power of two 𝑛 plus two divided by 𝑥 to the power of two
𝑛. It’s 𝑥 squared.
And what about these
factorials? Well, we know that two 𝑛 plus two
factorial is the same as two 𝑛 plus two times two 𝑛 plus one times two 𝑛 times
two 𝑛 minus one and so on. Alternatively, that’s the same as
two 𝑛 plus two times two 𝑛 plus one times two 𝑛 factorial. And that allows us to divide
through by two 𝑛 factorial. When we do, we’re left with two 𝑛
plus two times two 𝑛 plus one on the denominator of our fraction. So we want the limit as 𝑛
approaches ∞ of the absolute value of this fraction to be less than one. We spot that negative one times 𝑥
squared is independent event. And so we can take the absolute
value of negative 𝑥 squared outside of the limit. And we have the absolute value of
negative 𝑥 squared times the limit as 𝑛 approaches ∞ of one over two 𝑛 plus two
times two 𝑛 plus one.
We’re now ready to evaluate this
limit. As 𝑛 grows larger, one over two 𝑛
plus two times two 𝑛 plus one approaches zero. And so, in fact, we’re looking to
find the values of 𝑥 such that the absolute value of negative 𝑥 squared times zero
is less than one. Well, when we multiply the absolute
value of negative 𝑥 squared by zero, we’ll always get zero. And this means our Maclaurin series
converges for all values of 𝑥. And we can therefore say that 𝑅
equals ∞ or positive ∞.
In this video, we’ve learned that
the Maclaurin series is a special case of the Taylor series, where 𝑎 is equal to
zero. It’s given by the sum from 𝑛
equals zero to ∞ of the 𝑛th derivative of 𝑓 evaluated at zero over 𝑛 factorial
times 𝑥 to the 𝑛th power. And finally, we saw that if a
series converges on the open interval negative 𝑅 to 𝑅, its radius of convergence
is the number denoted by 𝑅. And we can use the ratio test to
find this value.