Show Mobile Notice Show All Notes Hide All Notes
Section 10.7 : Comparison Test/Limit Comparison Test
In the previous section we saw how to relate a series to an improper integral to determine the convergence of a series. While the integral test is a nice test, it does force us to do improper integrals which aren’t always easy and, in some cases, may be impossible to determine the convergence of.
You are viewing: When To Use Limit Comparison Test
For instance, consider the following series.
[sumlimits_{n = 0}^infty {frac{1}{{{3^n} + n}}} ]
In order to use the Integral Test we would have to integrate
[int_{{,0}}^{{,infty }}{{frac{1}{{{3^x} + x}},dx}}]
and we’re not even sure if it’s possible to do this integral. Nicely enough for us there is another test that we can use on this series that will be much easier to use.
First, let’s note that the series terms are positive. As with the Integral Test that will be important in this section. Next let’s note that we must have (x > 0) since we are integrating on the interval (0 le x < infty ). Likewise, regardless of the value of (x) we will always have ({3^x} > 0). So, if we drop the (x) from the denominator the denominator will get smaller and hence the whole fraction will get larger. So,
[frac{1}{{{3^n} + n}} < frac{1}{{{3^n}}}]
Now,
[sumlimits_{n = 0}^infty {frac{1}{{{3^n}}}} ]
is a geometric series and we know that since (left| r right| = left| {frac{1}{3}} right| < 1) the series will converge and its value will be,
[sumlimits_{n = 0}^infty {frac{1}{{{3^n}}}} = frac{1}{{1 – frac{1}{3}}} = frac{3}{2}]
Now, if we go back to our original series and write down the partial sums we get,
[{s_n} = sumlimits_{i = 0}^n {frac{1}{{{3^i} + i}}} ]
Since all the terms are positive adding a new term will only make the number larger and so the sequence of partial sums must be an increasing sequence.
[{s_n} = sumlimits_{i = 0}^n {frac{1}{{{3^i} + i}}} < sumlimits_{i = 0}^{n + 1} {frac{1}{{{3^i} + i}}} = {s_{n + 1}}]
Then since,
[frac{1}{{{3^n} + n}} < frac{1}{{{3^n}}}]
and because the terms in these two sequences are positive we can also say that,
[{s_n} = sumlimits_{i = 0}^n {frac{1}{{{3^i} + i}}} < sumlimits_{i = 0}^n {frac{1}{{{3^i}}} < sumlimits_{n = 0}^infty {frac{1}{{{3^n}}} = frac{3}{2}hspace{0.25in}hspace{0.25in} Rightarrow hspace{0.25in},,,,,{s_n} < frac{3}{2}} } ]
Therefore, the sequence of partial sums is also a bounded sequence. Then from the second section on sequences we know that a monotonic and bounded sequence is also convergent.
So, the sequence of partial sums of our series is a convergent sequence. This means that the series itself,
[sumlimits_{n = 0}^infty {frac{1}{{{3^n} + n}}} ]
Read more : When Does Ross Get New Shipments
is also convergent.
So, what did we do here? We found a series whose terms were always larger than the original series terms and this new series was also convergent. Then since the original series terms were positive (very important) this meant that the original series was also convergent.
To show that a series (with only positive terms) was divergent we could go through a similar argument and find a new divergent series whose terms are always smaller than the original series. In this case the original series would have to take a value larger than the new series. However, since the new series is divergent its value will be infinite. This means that the original series must also be infinite and hence divergent.
We can summarize all this in the following test.
Comparison Test
In other words, we have two series of positive terms and the terms of one of the series is always larger than the terms of the other series. Then if the larger series is convergent the smaller series must also be convergent. Likewise, if the smaller series is divergent then the larger series must also be divergent. Note as well that in order to apply this test we need both series to start at the same place.
A formal proof of this test is at the end of this section.
Do not misuse this test. Just because the smaller of the two series converges does not say anything about the larger series. The larger series may still diverge. Likewise, just because we know that the larger of two series diverges we can’t say that the smaller series will also diverge! Be very careful in using this test
Recall that we had a similar test for improper integrals back when we were looking at integration techniques. So, if you could use the comparison test for improper integrals you can use the comparison test for series as they are pretty much the same idea.
Note as well that the requirement that ({a_n},{b_n} ge 0) and ({a_n} le {b_n}) really only need to be true eventually. In other words, if a couple of the first terms are negative or ({a_n}require{cancel} cancel{ le },{b_n}) for a couple of the first few terms we’re okay. As long as we eventually reach a point where ({a_n},{b_n} ge 0) and ({a_n} le {b_n}) for all sufficiently large (n) the test will work.
To see why this is true let’s suppose that the series start at (n = k) and that the conditions of the test are only true for for (n ge N + 1) and for (k le n le N) at least one of the conditions is not true. If we then look at (sum {{a_n}} ) (the same thing could be done for (sum {{b_n}} )) we get,
[sumlimits_{,n = k}^infty {{a_n}} = sumlimits_{,n = k}^N {{a_n}} + sumlimits_{,n = N + 1}^infty {{a_n}} ]
The first series is nothing more than a finite sum (no matter how large (N) is) of finite terms and so will be finite. So, the original series will be convergent/divergent only if the second infinite series on the right is convergent/divergent and the test can be done on the second series as it satisfies the conditions of the test.
Let’s take a look at some examples.
With each of the previous examples we saw that we can’t always just focus in on the denominator when making a guess about the convergence of a series. Sometimes there is something going on in the numerator that will change the convergence of a series from what the denominator tells us should be happening.
We also saw in the previous example that, unlike most of the examples of the comparison test that we’ve done (or will do) both in this section and in the Comparison Test for Improper Integrals, that it won’t always be the denominator that is driving the convergence or divergence. Sometimes it is the numerator that will determine if something will converge or diverge so do not get too locked into only looking at the denominator.
One of the more common mistakes is to just focus in on the denominator and make a guess based just on that. If we’d done that with both of the previous examples we would have guessed wrong so be careful.
Let’s work another example of the comparison test before we move on to a different topic.
The comparison test is a nice test that allows us to do problems that either we couldn’t have done with the integral test or at the best would have been very difficult to do with the integral test. That doesn’t mean that it doesn’t have problems of its own.
Consider the following series.
[sumlimits_{n = 0}^infty {frac{1}{{{3^n} – n}}} ]
This is not much different from the first series that we looked at. The original series converged because the (3^{n}) gets very large very fast and will be significantly larger than the (n). Therefore, the (n) doesn’t really affect the convergence of the series in that case. The fact that we are now subtracting the (n) off instead of adding the (n) on really shouldn’t change the convergence. We can say this because the (3^{n}) gets very large very fast and the fact that we’re subtracting (n) off won’t really change the size of this term for all sufficiently large values of (n).
So, we would expect this series to converge. However, the comparison test won’t work with this series. To use the comparison test on this series we would need to find a larger series that we could easily determine the convergence of. In this case we can’t do what we did with the original series. If we drop the (n) we will make the denominator larger (since the (n) was subtracted off) and so the fraction will get smaller and just like when we looked at the comparison test for improper integrals knowing that the smaller of two series converges does not mean that the larger of the two will also converge.
So, we will need something else to do help us determine the convergence of this series. The following variant of the comparison test will allow us to determine the convergence of this series.
Limit Comparison Test
The proof of this test is at the end of this section.
Read more : When Does Brown Ed Come Out
Note that it doesn’t really matter which series term is in the numerator for this test, we could just have easily defined (c) as,
[c = mathop {lim }limits_{n to infty } frac{{{b_n}}}{{{a_n}}}]
and we would get the same results. To see why this is, consider the following two definitions.
[c = mathop {lim }limits_{n to infty } frac{{{a_n}}}{{{b_n}}}hspace{0.25in}hspace{0.25in}overline{c} = mathop {lim }limits_{n to infty } frac{{{b_n}}}{{{a_n}}}]
Start with the first definition and rewrite it as follows, then take the limit.
[c = mathop {lim }limits_{n to infty } frac{{{a_n}}}{{{b_n}}} = mathop {lim }limits_{n to infty } frac{1}{{,,frac{{{b_n}}}{{{a_n}}},,}} = frac{1}{{mathop {lim }limits_{n to infty } frac{{{b_n}}}{{{a_n}}}}} = frac{1}{{overline{c}}}]
In other words, if (c) is positive and finite then so is (overline{c}) and if (overline{c}) is positive and finite then so is (c). Likewise if (overline{c} = 0) then (c = infty ) and if (overline{c} = infty ) then (c = 0). Both definitions will give the same results from the test so don’t worry about which series terms should be in the numerator and which should be in the denominator. Choose this to make the limit easy to compute.
Also, this really is a comparison test in some ways. If (c) is positive and finite this is saying that both of the series terms will behave in generally the same fashion and so we can expect the series themselves to also behave in a similar fashion. If (c = 0) or (c = infty ) we can’t say this and so the test fails to give any information.
The limit in this test will often be written as,
[c = mathop {lim }limits_{n to infty } {a_n} cdot ,,frac{1}{{{b_n}}}]
since often both terms will be fractions and this will make the limit easier to deal with.
Let’s see how this test works.
Finally, to see why we need (c) to be positive and finite (i.e. (c ne 0) and (c ne infty )) consider the following two series.
[sumlimits_{n = 1}^infty {frac{1}{n}} hspace{0.25in}hspace{0.25in}sumlimits_{n = 1}^infty {frac{1}{{{n^2}}}} ]
The first diverges and the second converges.
Now compute each of the following limits.
[underset{nto infty }{mathop{lim }},frac{1}{n}centerdot frac{{{n}^{2}}}{1}=underset{nto infty }{mathop{lim }},n=infty hspace{0.5in} underset{nto infty }{mathop{lim }},frac{1}{{{n}^{2}}}centerdot frac{n}{1}=underset{nto infty }{mathop{lim }},frac{1}{n}=0]
In the first case the limit from the limit comparison test yields (c = infty ) and in the second case the limit yields (c = 0). Clearly, both series do not have the same convergence.
Note however, that just because we get (c = 0) or (c = infty ) doesn’t mean that the series will have the opposite convergence. To see this consider the series,
[sumlimits_{n = 1}^infty {frac{1}{{{n^3}}}} hspace{0.25in}hspace{0.25in}sumlimits_{n = 1}^infty {frac{1}{{{n^2}}}} ]
Both of these series converge and here are the two possible limits that the limit comparison test uses.
[underset{nto infty }{mathop{lim }},frac{1}{{{n}^{3}}}centerdot frac{{{n}^{2}}}{1}=underset{nto infty }{mathop{lim }},frac{1}{n}=0 hspace{0.5in} underset{nto infty }{mathop{lim }},frac{1}{{{n}^{2}}}centerdot frac{{{n}^{3}}}{1}=underset{nto infty }{mathop{lim }},n=infty ]
So, even though both series had the same convergence we got both (c = 0) and (c = infty ).
The point of all of this is to remind us that if we get (c = 0) or (c = infty ) from the limit comparison test we will know that we have chosen the second series incorrectly and we’ll need to find a different choice in order to get any information about the convergence of the series.
We’ll close out this section with proofs of the two tests.
Proof of Comparison Test
Proof of Limit Comparison Test
Source: https://t-tees.com
Category: WHEN
