Section 4.4 Indeterminate Forms and l'Hospital's Rule
There are places in the graph of a function where simple evaluation can fail to show what is happening: argument values \(x\) where the formula gives a meaningless indeterminate form like “0/0”, “\(\infty/\infty\)”, “\(0 \cdot \infty\)”, “\(\infty-\infty\)”, “\(0^0\)”, “\(1^\infty\)” or “\(\infty^0\)”.
It can be useful to compute the limits at such points, and l'Hospital's Rule often helps with these sort of limits. This rule can also be useful in exploring the sideways extremes of a graph, the limits as \(x \to -\infty\) and \(x \to \infty\text{.}\)
When \(f(x)\) gives “\(0/0\)” for some \(x\) values.
With the function given by the formula \(\displaystyle f(x) = \frac{\sin x}{x}\text{,}\) the formula fails at \(x=0\text{,}\) because substituting in \(x=0\) gives \(0/0\text{,}\) an indeterminate form.
It cannot be simplified to 0 (suggested by the zero numerator), or to infinity (suggested by the zero denominator), or to 1 (suggested by canceling equal factors).
An indeterminate form tells us nothing about what happens at that point!
A new idea is needed. Fortunately, in the above example, we have seen that this is a removable discontinuity: the domain of the function can be extended to include \(x=0\) while keeping function continuous, with a unique choice of the value given by the limit
Evaluating that limit was the hardest part of finding the derivative of sine, but now that we know a good collection of derivatives, computing such limits can be much easier, avoiding much algebra and trigonometry.
L'Hospital's Rule for \(\mathbf{0/0}\).
For a limit \(\lim_{x \to a} \frac{f(x)}{g(x)}\) with \(f(a)=g(a)=0\) and both functions differentiable, the behavior for \(x\) values near \(a\) can be approximated with the linearizations
This suggests that for \(x \approx a\text{,}\)
The one hazard is that \(g'(a)\) might also be zero. To avoid this, the precise result is If \(f(x)\) and \(g(x)\) are differentiable at \(x=a\) and \(f(a)=g(a)=0\text{,}\) then if both limits exist. So if \(f'\) and \(g'\) are continuous at \(a\) and \(g'(a) \neq 0\text{,}\) the limit is \(f'(a)/g'(a)\text{.}\)
Theorem 4.4.1. L'Hospital's Rule, basic form.
Example 4.4.2.
Notes.
- Keep going so long as both the top and bottom are zero at \(x=a\text{,}\) but evaluate as soon as either one is non-zero, even if the result is “no limit” or an infinite limit due to division by zero.
- The top and bottom are differentiated separately, different from and easier than the quotient rule for derivatives!
L'Hospital's Rule also applies to the cases of limits at infinity (\(a=\infty\)), one sided limits, and when each of \(f(x)\) and \(g(x)\) has an infinite limit at the relevant point. That is, it applies when an attempt to use the quotient rule for limits gives the nonsense result \(0/0\) or \(\infty/\infty\text{.}\)
Theorem 4.4.3. L'Hospital's Rule extended to infinity.
Exercise 4.4.4.
Evaluate \(\displaystyle \lim_{x \to -\infty}\frac{4x^2-2x+5}{2x^2+x+1}\text{.}\)
Exercise 4.4.5. (Example 2 in the text).
Evaluate \(\displaystyle \lim_{x \to \infty}\frac{e^x}{x^2}\text{.}\)
Exercise 4.4.6. (Example 3 in the text).
Evaluate \(\displaystyle \lim_{x \to \infty}\frac{\ln x}{\sqrt[3]{x}}\text{.}\)
Indeterminate Products \(\infty \cdot 0\).
Another kind of indeterminate form that can arise in limits is a product \(\infty \cdot 0\text{,}\) as with \(\lim_{x \to a} f(x) g(x)\) when \(\lim_{x \to a} f(x) = \infty\) and \(\lim_{x \to a} g(x) = 0\text{.}\)
Simple examples like \(\lim_{x \to 0} (5/x) x\text{,}\) \(\lim_{x \to 0} (1/x^2) x\) and \(\lim_{x \to 0} (1/x) x^2\) show that the limit can be zero, infinity or anything in between; it can be negative too.
Fortunately, such limits can often be rewritten as a quotient where l'Hospital's Rule applies: simply rewrite \(f(x) g(x)\) as
The form \(\infty/\infty\) is usually more useful.
Example 4.4.7. (Example 6 in the text).
Indeterminate Differences: \(\mathbf \infty - \infty\).
If \(\lim_{x \to a} f(x) = \infty\) and also \(\lim_{x \to a} g(x) = \infty\text{,}\) attempting to evaluate \(\lim_{x \to a} (f(x)-g(x))\) can lead to another kind of indeterminate form, “\(\infty - \infty\)”.
This can have any finite or infinite value, or no limit at all.
Sometimes, the function \(f(x)-g(x)\) can be rewritten as a quotient giving an indeterminate form \(0/0\text{,}\) so that l'Hospital's Rule can be tried. For example, this happens if \(f(x)\) and \(g(x)\) are both quotients with the same function in the denominator, with that function going to zero as \(x \to a\text{.}\)
Exercise 4.4.8. (Example 7 in the text).
Compute \(\displaystyle \lim_{x \to (\pi/2)^-}(\sec x - \tan x).\)
Indeterminate Powers: \(\mathbf 0^0\text{,}\) \(\infty^0\) and \(1^\infty\).
A final kind of indeterminate form is with the limit as \(x \to a\) of an exponential expression
where as \(x \to a\text{,}\) either
- \(f(x) \to 0\) and \(g(x) \to 0\) [type \(0^0\)], or
- \(f(x) \to \infty\) and \(g(x) \to 0\) [type \(\infty^0\)], or
- \(f(x) \to 1\) and \(g(x) \to \pm\infty\) [type \(1^\infty\)].
All of these can be handled by converting the exponentiation into a product, by looking at the limit of the logarithm:
and computing the limit of \(\ln y\) gives the indeterminate form \(0 \cdot (-\infty)\text{,}\) or \(0 \cdot \infty\text{,}\) or \(\pm\infty \cdot 0\) respectively for the three cases above. So one can try to evaluate this limit by the methods above for indeterminate products.
Note that if one succeeds, that gives the value of the limit of \(\ln y\text{,}\) so the last step is to exponentiate this to get the desired limit of \(y\) itself.
Exercise 4.4.9. (Example 10 in the text).
Exercise 4.4.10. (Example 9 in the text).
Recommended Exercises Recommended Exercises
Study Exercises 2, 4, 8, 19, 20, 27, 32, 43, 47, 58 and 59 from the text.