Chapter 10L'Hôpital's rule
So far, the past two lessons have been pretty theory heavy; limits being used to formally define the derivative, then epsilons and deltas being used to rigorously define limits themselves. So, in this lesson, let's finish off our dive into limits with a trick for actually computing limits.
For example, let's say for some reason you were studying the function:
Maybe this models some kind of damped oscillation. When you plot a bunch of points to graph it, it looks continuous, but there's a problematic value, .
When you plug into the numerator becomes , and similarly the denominator also becomes , so the function is actually not defined at that input, and the graph should really have a hole there. This also happens at , but let's just focus our attention on a single one of these holes for now. Imagine zooming in on the point .
The graph of this function certainly does seem to approach some distinct value at that point, wouldn't you say? So you might ask, how do you figure out what output this approaches as approaches , since you can't just plug in ?
Well, one way to approximate it would be to plug in a number thats just very very close to , like . Doing that, you'd find that this should be a number around . Translating this to the limit notation looks like this:
But is there a way to know precisely what it is? Some systematic process to take an expression like this one, which looks like divided by at some input, and ask what its limit is as approaches that input? After limits so helpfully let us write the definition for a derivative, derivatives can come back to return the favor and help us evaluate limits. Let me show you what I mean.
Plot numerator and denominator
Let's graph the numerator, , and the denominator, , of our original function and focus on what's happening at .
The point here is that and are both at that point, so they cross the -axis. In the same spirit as plugging in a specific value near , like , let's zoom in on that point and consider what happens a tiny nudge away.
The value of is bumped down by some and the value of is bumped up by some .
Take a moment to think about how the fraction reframes the initial problem which had previously looked like divided by . Why might this lead us towards an exact answer rather than just an approximation?
First, this fraction is the same as evaluating the original function at .
And second, by looking at the ratio of these two tangent lines, whose approximations of the numerator and denominator get better and better as approaches , we are able to reason about the exact value this limit approaches.
Since both of these changes are proportional to the small nudge , we can go ahead and apply our knowledge of derivatives. Using the chain rule, we know that the change to the function should be around . Similarly, using the power rule, we know that the change to the function should be around .
Since we are interested in the fraction of these two functions at the point at we can substitute into both of these expressions and evaluate the fraction.
What this means is that for values of which are some tiny value away from , the ratio is approximately . The 's cancel, so that value is . Importantly, these approximations get more and more accurate for smaller and smaller choices of , this ratio actually tells us the precise limiting value as approaches .
Remember, what that means is that the limiting height on our original graph is evidently exactly .
What happened there is a little subtle, so let me show it again, but this time a little more generally. Instead of these two specific functions, which both equal at , think of any two functions and , which are both at some common value .
The only constraint is that these have to be functions where you're able to take a derivative of them at , meaning they each basically look like a line when you zoom in close enough to that value.
Even though you can't compute divided by at this trouble point, since both equal zero, you can ask about this ratio for values of really really close to , the limit as approach . And it's helpful to think of those nearby inputs as a tiny nudge away from .
The value of at that nudged point is approximately its derivative, evaluated at , times . Likewise, the the value of at that nudged point is approximately the derivative of , evaluated at , times .
So near this trouble point, the ratio between the outputs of and is actually about the same as the derivative of at , times , divided by the derivative of at , times . These 's cancel, so the ratio of and near is about the same as the ratio between their derivatives.
This is a really handy trick for computing a lot of limits. If you come across an expression that seems to equal when you plug in some input, just try taking the derivative of the top and bottom expressions, and plugging in that trouble input.
This clever trick is called "L'Hôpital's rule". Interestingly, it was actually discovered by Johann Bernoulli, but L'Hopital was this wealthy dude who essentially paid Bernoulli for the rights to some of his mathematical discoveries. Academia was weird back then, but in a very literal way, it pays to understand these tiny nudges.
Now, you might remember that the definition of a derivative for any given function comes down to computing the limit of a fraction that looks like , so you might think L'Hopital's rule gives a handy way to discover new derivative formulas. But that would be cheating, since presumably you don't yet know what the derivative on the numerator here is.
When it comes to discovering derivative formulas, something we've been doing a fair amount this series, there is no systematic plug-and-chug method. But that's a good thing. When creativity is needed to solve problems like these, it's a good sign you're doing something real; something that might give you a powerful tool to solve future problems.
In the next lesson, I'll talk about what an integral is, as well as the fundamental theorem of calculus, which is another example of where limits are used to help give a clear meaning to a fairly delicate idea that flirts with infinity.
What is the limit as approaches of the function ?
What is the limit of the function as approaches ?