Difference between revisions of "L’Hôpital’s Rule"
(Added links for PowerPoint and worksheet) |
|||
Line 1: | Line 1: | ||
+ | Occasionally, one comes across a limit which results in <math>\frac00</math> or <math>\frac{\infty}{\infty}</math> , which are called indeterminate limits. However, it is still possible to solve these by using L'Hôpital's rule. This rule is vital in explaining how other limits can be derived. | ||
+ | |||
+ | ===Indeterminate Limit=== | ||
+ | : If <math>\frac{f(a)}{g(a)}</math> exists, where <math>\lim_{x\to a}f(x)=\lim_{x\to a}g(x)=0</math> or <math>\lim_{x\to a}f(x)=\lim_{x\to a}g(x)=\infty</math> , the limit <math>\lim_{x\to a}\frac{f(x)}{g(x)}</math> is said to be indeterminate. | ||
+ | |||
+ | All of the following expressions are indeterminate forms. | ||
+ | : <math>\frac00,\frac{\pm\infty}{\pm\infty},\infty-\infty,0\cdot\infty,0^0,\infty^0,1^\infty</math> | ||
+ | These expressions are called ''indeterminate'' because you cannot determine their exact value in the indeterminate form. Depending on the situation, each indeterminate form could evaluate to a variety of values. | ||
+ | |||
+ | ===Theorem=== | ||
+ | If <math>\lim_{x\to a}\frac{f(x)}{g(x)}</math> is indeterminate of type <math>\frac00</math> or <math>\frac{\pm\infty}{\pm\infty}</math> , | ||
+ | |||
+ | then <math>\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)}</math>, where <math>a\in\overline{\mathbb{R}}</math>. | ||
+ | |||
+ | In other words, if the limit of the function is indeterminate, the limit equals the derivative of the top over the derivative of the bottom. If ''that'' is indeterminate, L'Hôpital's rule can be used again until the limit isn't <math>\frac00</math> or <math>\frac{\infty}{\infty}</math> .</blockquote> | ||
+ | |||
+ | ===Proof of the <math>\frac00</math> case=== | ||
+ | Suppose that for real functions <math>f</math> and <math>g</math>, <math>\lim_{x\to a}f(x)=\lim_{x\to a}g(x)=0</math> and that <math>\lim_{x\to a}\frac{f'(x)}{g'(x)}</math> exists. Thus <math>f'(x)</math> and <math>g'(x)</math> exist in an interval <math>(a-\delta,a+\delta)</math> around <math>a</math> , but maybe not at <math>a</math> itself. Thus, for any <math>x\in(a-\delta,a+\delta)</math> , in any interval <math>[x,a]</math> or <math>[a,x]</math>, <math>f</math> and <math>g</math> are continuous and differentiable, with the possible exception of <math>a</math>. Define | ||
+ | :<math>\begin{array}{l}F(x)=\begin{cases}f(x)&x\ne a\\\lim\limits_{x\to a}f(x)&x=a\end{cases}\\ | ||
+ | G(x)=\begin{cases}g(x)&x\ne a\\\lim\limits_{x\to a}g(x)&x=a\end{cases}\end{array}</math> | ||
+ | Note that <math>\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{F(x)}{G(x)}</math> , <math>\lim_{x\to a}\frac{f'(x)}{g'(x)}=\lim_{x\to a}\frac{F'(x)}{G'(x)}</math>, and that <math>F,G</math> are continuous in any interval <math>[a,x]</math> or <math>[x,a]</math> and differentiable in any interval <math>(a,x)</math> or <math>(x,a)</math> when <math>x\in(a-\delta,a+\delta)</math>. | ||
+ | |||
+ | Cauchy's Mean Value Theorem tells us that <math>\frac{F(x)-F(a)}{G(x)-G(a)}=\frac{F'(c)}{G'(c)}</math> for some <math>c\in(a,x)</math> or <math>c\in(x,a)</math> . Since <math>F(a)=G(a)=0</math> , we have <math>\frac{F(x)}{G(x)}=\frac{F'(c)}{G'(c)}</math> for <math>x,c\in(a-\delta,a+\delta)</math>. | ||
+ | |||
+ | Since <math>c\in(x,a)</math> or <math>c\in(a,x)</math>, by the squeeze theorem | ||
+ | |||
+ | :<math>\lim_{x\to a}x=a\quad\Rightarrow\quad\lim_{x\to a}c=a</math> | ||
+ | |||
+ | This implies | ||
+ | |||
+ | :<math>\lim_{x\to a}\frac{F'(c)}{G'(c)}=\lim_{x\to a}\frac{F'(x)}{G'(x)}</math> | ||
+ | |||
+ | So taking the limit as <math>x\to a</math> of the last equation gives <math>\lim_{x\to a}\frac{F(x)}{G(x)}=\lim_{x\to a}\frac{F'(x)}{G'(x)}</math>, which is equivalent to the more commonly used form <math>\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)}</math>. | ||
+ | |||
+ | ==Examples== | ||
+ | ===Example 1=== | ||
+ | Find <math>\lim_{x\to0}\frac{\sin(x)}{x}</math> | ||
+ | |||
+ | Since plugging in 0 for x results in <math>\frac{0}{0}</math> , use L'Hôpital's rule to take the derivative of the top and bottom, giving: | ||
+ | :<math>\lim_{x\to0}\frac{\frac{d}{dx}\left(\sin(x)\right)}{\frac{d}{dx}(x)}=\lim_{x\to 0}\frac{\cos(x)}{1}</math> | ||
+ | Plugging in 0 for x gives 1 here. | ||
+ | Note that it is logically incorrect to prove this limit by using L'Hôpital's rule, as the same limit is required to prove that the derivative of the sine function exists: it would be a form of begging the question. | ||
+ | |||
+ | ===Example 2=== | ||
+ | Find <math>\lim_{x\to0}x\cot(x)</math> | ||
+ | |||
+ | First, you need to rewrite the function into an indeterminate limit fraction: | ||
+ | :<math>\lim_{x\to0}\frac{x}{\tan(x)}</math> | ||
+ | Now it's indeterminate. Take the derivative of the top and bottom: | ||
+ | :<math>\lim_{x\to0}\frac{1}{\sec^2(x)}</math> | ||
+ | Plugging in 0 for <math>x</math> once again gives 1. | ||
+ | |||
+ | ===Example 3=== | ||
+ | Find <math>\lim_{x\to\infty}\frac{4x+22}{5x+9}</math> | ||
+ | |||
+ | This time, plugging in <math>\infty</math> for x gives you <math>\frac{\infty}{\infty}</math> . So using L'Hôpital's rule gives: | ||
+ | :<math>\lim_{x\to\infty}\frac{4}{5}</math> | ||
+ | Therefore, <math>\frac{4}{5}</math> is the answer. | ||
+ | |||
+ | ===Example 4=== | ||
+ | Find <math>\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x</math> | ||
+ | |||
+ | Plugging the value of ''x'' into the limit yields | ||
+ | :<math>\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x=1^\infty</math> (indeterminate form). | ||
+ | Let <math>k=\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x=1^\infty</math> | ||
+ | |||
+ | :{| | ||
+ | |<math>\ln(k)</math> | ||
+ | |<math>=\lim_{x\to\infty}\ln\left(1+\frac{1}{x}\right)^x</math> | ||
+ | |- | ||
+ | | | ||
+ | |<math>=\lim_{x\to\infty}x\ln\left(1+\frac{1}{x}\right)</math> | ||
+ | |- | ||
+ | | | ||
+ | |<math>=\lim_{x\to\infty}\frac{\ln\left(1+\frac{1}{x}\right)}{\frac{1}{x}}=\frac{\ln(1)}{\frac{1}{x}}=\frac{0}{0}</math> | ||
+ | |} | ||
+ | |||
+ | We now apply L'Hôpital's rule by taking the derivative of the top and bottom with respect to <math>x</math>. | ||
+ | |||
+ | :<math>\ln(k) | ||
+ | =\lim_{x\to\infty}\frac{\ln\left(1+\frac{1}{x}\right)}{\frac{1}{x}} | ||
+ | =\lim_{x\to\infty}\frac{\frac{d}{dx}\left[\ln\left(1+\frac{1}{x}\right)\right]}{\frac{d}{dx}\left(\frac{1}{x}\right)} | ||
+ | =\lim_{x\to\infty}\frac{x}{x+1}</math> | ||
+ | |||
+ | Since | ||
+ | |||
+ | :<math>\lim_{x\to\infty}\frac{x}{x+1}=\frac{\infty}{\infty}</math> | ||
+ | |||
+ | We apply L'Hôpital's rule once again | ||
+ | :<math>\ln(k) | ||
+ | =\lim_{x\to\infty}\frac{x}{x+1} | ||
+ | =\lim_{x\to\infty}\frac{1}{1}=1</math> | ||
+ | Therefore | ||
+ | :<math>k=e</math> | ||
+ | And | ||
+ | :<math>\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x=e</math> | ||
+ | Similarly, this limit also yields the same result | ||
+ | |||
+ | :<math>\lim_{x\to\infty}\left(1+x\right)^\frac{1}{x}=e</math> | ||
+ | |||
+ | ==== Note ==== | ||
+ | This does not prove that <math>1^\infty=e</math> because using the same method, | ||
+ | :<math>\lim_{x\to\infty}\left(1+\frac{2}{x}\right)^x=1^\infty=e^2</math> | ||
+ | |||
+ | ==Exercises== | ||
+ | Evaluate the following limits using L'Hôpital's rule: | ||
+ | # <math>\lim_{x\to 0}\frac{x+\tan(x)}{\sin(x)}</math> | ||
+ | # <math>\lim_{x\to\pi}\frac{x-\pi}{\sin(x)}</math> | ||
+ | # <math>\lim_{x\to 0}\frac{\sin(3x)}{\sin(4x)}</math> | ||
+ | # <math>\lim_{x\to\infty}\frac{x^5}{e^{5x}}</math> | ||
+ | # <math>\lim_{x\to 0}\frac{\tan(x)-x}{\sin(x)-x}</math> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ==Exercise Solutions== | ||
+ | # <math>2</math> | ||
+ | # <math>-1</math> | ||
+ | # <math>\frac{3}{4}</math> | ||
+ | # <math>0</math> | ||
+ | # <math>-2</math> | ||
+ | |||
+ | |||
+ | |||
+ | ==Resources== | ||
* [https://mathresearch.utsa.edu/wikiFiles/MAT1214/L'Hospital's%20Rule%20for%20Finding%20Limits/MAT1214-4.8LHopitalsRulePwPt.pptx L'Hospital's Rule for Finding Limits] PowerPoint file created by Dr. Sara Shirinkam, UTSA. | * [https://mathresearch.utsa.edu/wikiFiles/MAT1214/L'Hospital's%20Rule%20for%20Finding%20Limits/MAT1214-4.8LHopitalsRulePwPt.pptx L'Hospital's Rule for Finding Limits] PowerPoint file created by Dr. Sara Shirinkam, UTSA. | ||
* [https://mathresearch.utsa.edu/wikiFiles/MAT1214/L'Hospital's%20Rule%20for%20Finding%20Limits/MAT1214-4.8LHopitalsRuleWS1.pdf L'Hospital's Rule for Finding Limits Worksheet] | * [https://mathresearch.utsa.edu/wikiFiles/MAT1214/L'Hospital's%20Rule%20for%20Finding%20Limits/MAT1214-4.8LHopitalsRuleWS1.pdf L'Hospital's Rule for Finding Limits Worksheet] |
Revision as of 12:15, 29 September 2021
Occasionally, one comes across a limit which results in or , which are called indeterminate limits. However, it is still possible to solve these by using L'Hôpital's rule. This rule is vital in explaining how other limits can be derived.
Contents
Indeterminate Limit
- If exists, where or , the limit is said to be indeterminate.
All of the following expressions are indeterminate forms.
These expressions are called indeterminate because you cannot determine their exact value in the indeterminate form. Depending on the situation, each indeterminate form could evaluate to a variety of values.
Theorem
If is indeterminate of type or ,
then , where .
In other words, if the limit of the function is indeterminate, the limit equals the derivative of the top over the derivative of the bottom. If that is indeterminate, L'Hôpital's rule can be used again until the limit isn't or .
Proof of the case
Suppose that for real functions and , and that exists. Thus and exist in an interval around , but maybe not at itself. Thus, for any , in any interval or , and are continuous and differentiable, with the possible exception of . Define
Note that , , and that are continuous in any interval or and differentiable in any interval or when .
Cauchy's Mean Value Theorem tells us that for some or . Since , we have for .
Since or , by the squeeze theorem
This implies
So taking the limit as of the last equation gives , which is equivalent to the more commonly used form .
Examples
Example 1
Find
Since plugging in 0 for x results in , use L'Hôpital's rule to take the derivative of the top and bottom, giving:
Plugging in 0 for x gives 1 here. Note that it is logically incorrect to prove this limit by using L'Hôpital's rule, as the same limit is required to prove that the derivative of the sine function exists: it would be a form of begging the question.
Example 2
Find
First, you need to rewrite the function into an indeterminate limit fraction:
Now it's indeterminate. Take the derivative of the top and bottom:
Plugging in 0 for once again gives 1.
Example 3
Find
This time, plugging in for x gives you . So using L'Hôpital's rule gives:
Therefore, is the answer.
Example 4
Find
Plugging the value of x into the limit yields
- (indeterminate form).
Let
We now apply L'Hôpital's rule by taking the derivative of the top and bottom with respect to .
Since
We apply L'Hôpital's rule once again
Therefore
And
Similarly, this limit also yields the same result
Note
This does not prove that because using the same method,
Exercises
Evaluate the following limits using L'Hôpital's rule:
Exercise Solutions
Resources
- L'Hospital's Rule for Finding Limits PowerPoint file created by Dr. Sara Shirinkam, UTSA.