Improper Integrals¶
The integral \(\int_{a}^{b} f(x) dx\) is improper if any of the following conditions apply:
- \(f\) isn't bounded in the closed interval \([a, b]\);
- \(b = \infty\);
- \(a = -\infty\).
If \(f(x)\) is unbounded for \(x\) near some number \(c\), we'll say that \(f\) has a blow-up point at \(x = c\).
We can define the integral of improper integral if we have a blow-up point at \(x = a\):
If the limit is \(L\) as \(\epsilon \to 0^+\), we say that \(\int_{a}^{b} f(x) dx\) converge to L. If there's no limit, we say that the above integral diverges.
Now we still have to look at what happens when one or both of the limits of integration are infinite, this means that the region of integration is unbounded:
In symbols, we are define:
The Comparison Test(Theory)¶
Suppose we have two functions which are never negative, at least in some region of interest. If the first function is bigger than the second function, and the integral of the second function diverges, then the first function also diverges.
Mathematically, it looks like this: if \(f(x) \ge g(x) \ge 0\) for \(x\) in the interval \((a, b)\), and we know that \(\int_{a}^{b} g(x) dx\) diverges, then so does \(\int_{a}^{b} f(x) dx\).
On the other hand, for convergence, if \(0 \le f(x) \le g(x)\) on \((a, b)\) and \(\inf_{a}^{b} g(x) dx\) converges, then so does \(\int_{a}^{b} f(x) dx\):
The Limit Comparison Test(Theory)¶
Suppose we have two function \(f\) and \(g\) such that:
We'll say that \(f(x) \sim g(x)\) as \(x \to a\) if the limit of the ratio is 1.
The p-Test(Theory)¶
Now that we have the comparison test and limit comparison test, we need to know how to use them. The question is, what are some functions we could choose as g? Well, the most useful are the functions \(\frac{1}{x^p}\) for some \(p > 0\). Since these functions are so easy to integrate, we can use the limit formula to get the p-test:
- p-test, \(\int^{\infty}\) version: For any finite \(a > 0\), the integral below converges if \(p > 1\) and diverges if \(p < 1\)
- p-test, \(\int_{0}\) version: For any finite \(a > 0\), the integral below converges if \(p < 1\) and diverges if \(p > 1\)