I have been asked by a lot of students how to tell what to do when faced with a comparison theory question and they can’t pick the comparison function.
The comparison theorem is used to tell whether a given integral is divergent or convergent if you can’t actually solve the integral itself.
Let’s say we have an integral which is an improper integral of the first kind. eg. the limit of integration goes up to . If the function has no divergences at any point, then we know that the only behaviour we have to be concerned about is how the function goes as . In general we are concerned as to whether the function falls off fast enough in this limit. Clearly if the function goes to a constant, then it’s not going to converge, and if it falls off any slower than then it’s also not going to converge. Let’s look at some simple examples.
Asked about whether:
converges we can see that for any this is bounded. So we only have to ask how this goes as . The denominator in the function is . As gets larger and larger, we can see that this is well approximated by . For this is which is pretty close to . Basically as we take the limit, we can ignore the extra . So we can see that in this limit . However, we can also see that the left is actually less than the right. ie. for our range of integration. Thus, using the comparison theorem, if the right hand expression converges, then so does the left hand expression.
Indeed the integral does converge for so we’re good – our integral does indeed converge.
Here we used the limiting properties of our integrand to find an appropriate comparison function, and then, by working out which was greater and smaller, applied the comparison theorem to our problem.
Let’s look at a slightly more contrived example which turns out to be the same idea entirely:
We can make exactly the same arguments here, both looking at the numerator and the denominator (and making sure that the only improper nature of this integral is in the way the upper limit is – ie. there are no divergences anywhere else in the integrand).
As we see that the numerator tends to because all the other terms are dominated by the linear in term, and on the bottom the dominant behaviour is . We are left then with exactly the same comparison function as before: . Again we can show that this is greater than our complicated function (at least for large values of ). Thus, because this function converges in our range of integration, then so does the integral in question.
The rule about finding a function to compare as a test function is to understand the behaviour of the numerator and denominator in the limit of interest – what is the tendency of the function as (for example).
If you have specific examples which you’ve struggled with, put them in the comments and I’ll add some explanations.
Here are a few examples with explanations for anyone who is still struggling with the concept. Hope it helps! http://math.stanford.edu/~jasonlo/math42ACE_fall09/handout_comparisonthm.pdf