Section 4.10 : L'Hospital's Rule and Indeterminate Forms
Back in the chapter on Limits we saw methods for dealing with the following limits.
\[\mathop {\lim }\limits_{x \to 4} \frac{{{x^2} - 16}}{{x - 4}}\hspace{0.5in}\mathop {\lim }\limits_{x \to \infty } \frac{{4{x^2} - 5x}}{{1 - 3{x^2}}}\]In the first limit if we plugged in \(x = 4\) we would get 0/0 and in the second limit if we “plugged” in infinity we would get \({\infty }/{-\infty }\;\) (recall that as \(x\) goes to infinity a polynomial will behave in the same fashion that its largest power behaves). Both of these are called indeterminate forms. In both of these cases there are competing interests or rules and it’s not clear which will win out.
In the case of 0/0 we typically think of a fraction that has a numerator of zero as being zero. However, we also tend to think of fractions in which the denominator is going to zero, in the limit, as infinity or might not exist at all. Likewise, we tend to think of a fraction in which the numerator and denominator are the same as one. So, which will win out? Or will neither win out and they all “cancel out” and the limit will reach some other value?
In the case of \({\infty }/{-\infty }\;\) we have a similar set of problems. If the numerator of a fraction is going to infinity we tend to think of the whole fraction going to infinity. Also, if the denominator is going to infinity, in the limit, we tend to think of the fraction as going to zero. We also have the case of a fraction in which the numerator and denominator are the same (ignoring the minus sign) and so we might get -1. Again, it’s not clear which of these will win out, if any of them will win out.
With the second limit there is the further problem that infinity isn’t really a number and so we really shouldn’t even treat it like a number. Much of the time it simply won’t behave as we would expect it to if it was a number. To look a little more into this, check out the Types of Infinity section in the Extras chapter at the end of this document.
This is the problem with indeterminate forms. It’s just not clear what is happening in the limit. There are other types of indeterminate forms as well. Some other types are,
\[\left( 0 \right)\left( { \pm \,\infty } \right)\hspace{0.25in}{1^\infty }\hspace{0.25in}{0^0}\hspace{0.25in}{\infty ^0}\hspace{0.25in}\infty - \infty \]These all have competing interests or rules that tell us what should happen and it’s just not clear which, if any, of the interests or rules will win out. The topic of this section is how to deal with these kinds of limits.
As already pointed out we do know how to deal with some kinds of indeterminate forms already. For the two limits above we work them as follows.
\[\mathop {\lim }\limits_{x \to 4} \frac{{{x^2} - 16}}{{x - 4}} = \mathop {\lim }\limits_{x \to 4} \left( {x + 4} \right) = 8\] \[\mathop {\lim }\limits_{x \to \infty } \frac{{4{x^2} - 5x}}{{1 - 3{x^2}}} = \mathop {\lim }\limits_{x \to \infty } \frac{{4 - \frac{5}{x}}}{{\frac{1}{{{x^2}}} - 3}} = - \frac{4}{3}\]In the first case we simply factored, canceled and took the limit and in the second case we factored out an \({x^2}\)from both the numerator and the denominator and took the limit. Notice as well that none of the competing interests or rules in these cases won out! That is often the case.
So, we can deal with some of these. However, what about the following two limits.
\[\mathop {\lim }\limits_{x \to 0} \frac{{\sin x}}{x}\hspace{0.5in}\mathop {\lim }\limits_{x \to \infty } \frac{{{{\bf{e}}^x}}}{{{x^2}}}\]This first is a 0/0 indeterminate form, but we can’t factor this one. The second is an \({\infty }/{\infty }\;\) indeterminate form, but we can’t just factor an \({x^2}\)out of the numerator. So, nothing that we’ve got in our bag of tricks will work with these two limits.
This is where the subject of this section comes into play.
L’Hospital’s Rule
Suppose that we have one of the following cases,
\[\mathop {\lim }\limits_{x \to a} \frac{{f\left( x \right)}}{{g\left( x \right)}} = \frac{0}{0}\hspace{0.5in}{\mbox{OR}}\hspace{0.5in}\mathop {\lim }\limits_{x \to a} \frac{{f\left( x \right)}}{{g\left( x \right)}} = \frac{{ \pm \,\infty }}{{ \pm \,\infty }}\]where \(a\) can be any real number, infinity or negative infinity. In these cases we have,
\[\mathop {\lim }\limits_{x \to a} \frac{{f\left( x \right)}}{{g\left( x \right)}} = \mathop {\lim }\limits_{x \to a} \frac{{f'\left( x \right)}}{{g'\left( x \right)}}\]So, L’Hospital’s Rule tells us that if we have an indeterminate form 0/0 or \({\infty }/{\infty }\;\) all we need to do is differentiate the numerator and differentiate the denominator and then take the limit.
Before proceeding with examples let me address the spelling of “L’Hospital”. The more modern spelling is “L’Hôpital”. However, when I first learned Calculus my teacher used the spelling that I use in these notes and the first text book that I taught Calculus out of also used the spelling that I use here.
Also, as noted on the Wikipedia page for L’Hospital's Rule,
“In the 17th and 18th centuries, the name was commonly spelled "l'Hospital", and he himself spelled his name that way. However, French spellings have been altered: the silent 's' has been removed and replaced with the circumflex over the preceding vowel. The former spelling is still used in English where there is no circumflex.”
So, the spelling that I’ve used here is an acceptable spelling of his name, albeit not the modern spelling, and because I’m used to spelling it as “L’Hospital” that is the spelling that I’m going to use in these notes.
Let’s work some examples.
- \(\displaystyle \mathop {\lim }\limits_{x \to 0} \frac{{\sin x}}{x}\)
- \(\displaystyle \mathop {\lim }\limits_{t \to 1} \frac{{5{t^4} - 4{t^2} - 1}}{{10 - t - 9{t^3}}}\)
- \(\displaystyle \mathop {\lim }\limits_{x \to \infty } \frac{{{{\bf{e}}^x}}}{{{x^2}}}\)
So, we have already established that this is a 0/0 indeterminate form so let’s just apply L’Hospital’s Rule.
\[\mathop {\lim }\limits_{x \to 0} \frac{{\sin x}}{x} = \mathop {\lim }\limits_{x \to 0} \frac{{\cos x}}{1} = \frac{1}{1} = 1\]b \(\displaystyle \mathop {\lim }\limits_{t \to 1} \frac{{5{t^4} - 4{t^2} - 1}}{{10 - t - 9{t^3}}}\) Show Solution
In this case we also have a 0/0 indeterminate form and if we were really good at factoring we could factor the numerator and denominator, simplify and take the limit. However, that’s going to be more work than just using L’Hospital’s Rule.
\[\mathop {\lim }\limits_{t \to 1} \frac{{5{t^4} - 4{t^2} - 1}}{{10 - t - 9{t^3}}} = \mathop {\lim }\limits_{t \to 1} \frac{{20{t^3} - 8t}}{{ - 1 - 27{t^2}}} = \frac{{20 - 8}}{{ - 1 - 27}} = - \frac{3}{7}\]c \(\displaystyle \mathop {\lim }\limits_{x \to \infty } \frac{{{{\bf{e}}^x}}}{{{x^2}}}\) Show Solution
This was the other limit that we started off looking at and we know that it’s the indeterminate form \({\infty }/{\infty }\;\) so let’s apply L’Hospital’s Rule.
\[\mathop {\lim }\limits_{x \to \infty } \frac{{{{\bf{e}}^x}}}{{{x^2}}} = \mathop {\lim }\limits_{x \to \infty } \frac{{{{\bf{e}}^x}}}{{2x}}\]Now we have a small problem. This new limit is also a \({\infty }/{\infty }\;\) indeterminate form. However, it’s not really a problem. We know how to deal with these kinds of limits. Just apply L’Hospital’s Rule.
\[\mathop {\lim }\limits_{x \to \infty } \frac{{{{\bf{e}}^x}}}{{{x^2}}} = \mathop {\lim }\limits_{x \to \infty } \frac{{{{\bf{e}}^x}}}{{2x}} = \mathop {\lim }\limits_{x \to \infty } \frac{{{{\bf{e}}^x}}}{2} = \infty \]Sometimes we will need to apply L’Hospital’s Rule more than once.
L’Hospital’s Rule works great on the two indeterminate forms 0/0 and \({{ \pm \,\infty }}/{{ \pm \,\infty }}\;\). However, there are many more indeterminate forms out there as we saw earlier. Let’s take a look at some of those and see how we deal with those kinds of indeterminate forms.
We’ll start with the indeterminate form \(\left( 0 \right)\left( { \pm \,\infty } \right)\).
Note that we really do need to do the right-hand limit here. We know that the natural logarithm is only defined for positive \(x\) and so this is the only limit that makes any sense.
Now, in the limit, we get the indeterminate form \(\left( 0 \right)\left( { - \infty } \right)\). L’Hospital’s Rule won’t work on products, it only works on quotients. However, we can turn this into a fraction if we rewrite things a little.
\[\mathop {\lim }\limits_{x \to {0^ + }} x\ln x = \mathop {\lim }\limits_{x \to {0^ + }} \frac{{\ln x}}{{{}^{1}/{}_{x}}}\]The function is the same, just rewritten, and the limit is now in the form \( - {\infty }/{\infty }\;\) and we can now use L’Hospital’s Rule.
\[\mathop {\lim }\limits_{x \to {0^ + }} x\ln x = \mathop {\lim }\limits_{x \to {0^ + }} \frac{{\ln x}}{{{}^{1}/{}_{x}}} = \mathop {\lim }\limits_{x \to {0^ + }} \frac{{{}^{1}/{}_{x}}}{{ - {}^{1}/{}_{{{x^2}}}}}\]Now, this is a mess, but it cleans up nicely.
\[\mathop {\lim }\limits_{x \to {0^ + }} x\ln x = \mathop {\lim }\limits_{x \to {0^ + }} \frac{{{}^{1}/{}_{x}}}{{ - {}^{1}/{}_{{{x^2}}}}} = \mathop {\lim }\limits_{x \to {0^ + }} \left( { - x} \right) = 0\]In the previous example we used the fact that we can always write a product of functions as a quotient by doing one of the following.
\[f\left( x \right)g\left( x \right) = \frac{{g\left( x \right)}}{{{}^{1}/{}_{{f\left( x \right)}}}}\hspace{0.5in}{\mbox{OR}}\hspace{0.5in}f\left( x \right)g\left( x \right) = \frac{{f\left( x \right)}}{{{}^{1}/{}_{{g\left( x \right)}}}}\]Using these two facts will allow us to turn any limit in the form \(\left( 0 \right)\left( { \pm \,\infty } \right)\) into a limit in the form 0/0 or \({{ \pm \,\infty }}/{{ \pm \,\infty }}\;\). Which one of these two we get after doing the rewrite will depend upon which fact we used to do the rewrite. One of the rewrites will give 0/0 and the other will give \({{ \pm \,\infty }}/{{ \pm \,\infty }}\;\). It all depends on which function stays in the numerator and which gets moved down to the denominator.
Let’s take a look at another example.
So, it’s in the form \(\left( \infty \right)\left( 0 \right)\). This means that we’ll need to write it as a quotient. Moving the \(x\) to the denominator worked in the previous example so let’s try that with this problem as well.
\[\mathop {\lim }\limits_{x \to - \infty } x{{\bf{e}}^x} = \mathop {\lim }\limits_{x \to - \infty } \frac{{{{\bf{e}}^x}}}{{{}^{1}/{}_{x}}}\]Writing the product in this way gives us a product that has the form 0/0 in the limit. So, let’s use L’Hospital’s Rule on the quotient.
\[\mathop {\lim }\limits_{x \to - \infty } x{{\bf{e}}^x} = \mathop {\lim }\limits_{x \to - \infty } \frac{{{{\bf{e}}^x}}}{{{}^{1}/{}_{x}}} = \mathop {\lim }\limits_{x \to - \infty } \frac{{{{\bf{e}}^x}}}{{ - {}^{1}/{}_{{{x^2}}}}} = \mathop {\lim }\limits_{x \to - \infty } \frac{{{{\bf{e}}^x}}}{{{}^{2}/{}_{{{x^3}}}}} = \mathop {\lim }\limits_{x \to - \infty } \frac{{{{\bf{e}}^x}}}{{ - {}^{6}/{}_{{{x^4}}}}} = \cdots \]
Hummmm…. This doesn’t seem to be getting us anywhere. With each application of L’Hospital’s Rule we just end up with another 0/0 indeterminate form and in fact the derivatives seem to be getting worse and worse. Also note that if we simplified the quotient back into a product we would just end up with either \(\left( \infty \right)\left( 0 \right)\) or \(\left( { - \infty } \right)\left( 0 \right)\) and so that won’t do us any good.
This does not mean however that the limit can’t be done. It just means that we moved the wrong function to the denominator. Let’s move the exponential function instead.
\[\mathop {\lim }\limits_{x \to - \infty } x{{\bf{e}}^x} = \mathop {\lim }\limits_{x \to - \infty } \frac{x}{{{}^{1}/{}_{{{{\bf{e}}^x}}}}} = \mathop {\lim }\limits_{x \to - \infty } \frac{x}{{{{\bf{e}}^{ - x}}}}\]Note that we used the fact that,
\[\frac{1}{{{{\bf{e}}^x}}} = {{\bf{e}}^{ - x}}\]to simplify the quotient up a little. This will help us when it comes time to take some derivatives. The quotient is now an indeterminate form of \( - {\infty }/{\infty }\;\) and using L’Hospital’s Rule gives,
\[\mathop {\lim }\limits_{x \to - \infty } x{{\bf{e}}^x} = \mathop {\lim }\limits_{x \to - \infty } \frac{x}{{{{\bf{e}}^{ - x}}}} = \mathop {\lim }\limits_{x \to - \infty } \frac{1}{{ - {{\bf{e}}^{ - x}}}} = 0\]So, when faced with a product \(\left( 0 \right)\left( { \pm \,\infty } \right)\) we can turn it into a quotient that will allow us to use L’Hospital’s Rule. However, as we saw in the last example we need to be careful with how we do that on occasion. Sometimes we can use either quotient and in other cases only one will work.
Let’s now take a look at the indeterminate forms,
\[{1^\infty }\hspace{0.25in}{0^0}\hspace{0.25in}{\infty ^0}\]These can all be dealt with in the following way so we’ll just work one example.
In the limit this is the indeterminate form \[{\infty ^0}\]. We’re actually going to spend most of this problem on a different limit. Let’s first define the following.
\[y = {x^{\frac{1}{x}}}\]Now, if we take the natural log of both sides we get,
\[\ln \left( y \right) = \ln \left( {{x^{\frac{1}{x}}}} \right) = \frac{1}{x}\ln x = \frac{{\ln x}}{x}\]Let’s now take a look at the following limit.
\[\mathop {\lim }\limits_{x \to \infty } \ln \left( y \right) = \mathop {\lim }\limits_{x \to \infty } \frac{{\ln x}}{x} = \mathop {\lim }\limits_{x \to \infty } \frac{{{}^{1}/{}_{x}}}{1} = 0\]This limit was just a L’Hospital’s Rule problem and we know how to do those. So, what did this have to do with our limit? Well first notice that,
\[{{\bf{e}}^{\ln \left( y \right)}} = y\]and so our limit could be written as,
\[\mathop {\lim }\limits_{x \to \infty } {x^{\frac{1}{x}}} = \mathop {\lim }\limits_{x \to \infty } y = \mathop {\lim }\limits_{x \to \infty } {{\bf{e}}^{\ln \left( y \right)}}\]We can now use the limit above to finish this problem.
\[\mathop {\lim }\limits_{x \to \infty } {x^{\frac{1}{x}}} = \mathop {\lim }\limits_{x \to \infty } y = \mathop {\lim }\limits_{x \to \infty } {{\bf{e}}^{\ln \left( y \right)}} = {{\bf{e}}^{\mathop {\lim }\limits_{x \to \infty } \ln \left( y \right)}} = {{\bf{e}}^0} = 1\]With L’Hospital’s Rule we are now able to take the limit of a wide variety of indeterminate forms that we were unable to deal with prior to this section.