(Informal) If the values of f(x) become arbitrarily close to L as x becomes sufficiently large, we say the function f has a limit at infinity and write
limxββf(x)=L
If the values of f(x) becomes arbitrarily close to L for x<0 as |x| becomes sufficiently large, we say that the function f has a limit at negative infinity and write
limxβββf(x)=L
Example: Computing Limits at Infinity
For each of the following functions f, evaluate limxββf(x) and limxβββf(x).
- f(x)=5β2x2
- f(x)=sinxx
Show Solution
- Using the algebraic limit laws, we have limxββ(5β2x2)=limxββ5β2(limxββ1x)(limxββ1x)=5β2β
0=5. Similarly, limxβββf(x)=5.
- nce β1β€sinxβ€1 for all x, we have
β1xβ€sinxxβ€1x
for all xβ 0. Also, since
limxβββ1x=0=limxββ1x,
we can apply the squeeze theorem to conclude that
limxββsinxx=0
Similarly,
limxβββsinxx=0
Try It
Evaluate limxβββ(3+4x) and limxββ(3+4x).
Hint
limxβΒ±β1/x=0
Sometimes the values of a function f become arbitrarily large as xββ (or as xβββ). In this case, we write limxββf(x)=β (or limxβββf(x)=β). On the other hand, if the values of f are negative but become arbitrarily large in magnitude as xββ (or as xβββ), we write limxββf(x)=ββ (or limxβββf(x)=ββ).
For example, consider the function f(x)=x3. The limxββx3=β. On the other hand, as xβββ, the values of f(x)=x3 are negative but become arbitrarily large in magnitude. Consequently, limxβββx3=ββ.
Values of a power function as xβΒ±β
x |
10 |
20 |
50 |
100 |
1000 |
x3 |
1000 |
8000 |
125,000 |
1,000,000 |
1,000,000,000 |
x |
-10 |
-20 |
-50 |
-100 |
-1000 |
x3 |
-1000 |
-8000 |
-125,000 |
-1,000,000 |
-1,000,000,000 |
For this function, the functional values approach infinity as xβΒ±β.
Definition
(Informal) We say a function f has an infinite limit at infinity and write
limxββf(x)=β
if f(x) becomes arbitrarily large for x sufficiently large. We say a function has a negative infinite limit at infinity and write
limxββf(x)=ββ
if f(x)<0 and |f(x)| becomes arbitrarily large for x sufficiently large. Similarly, we can define infinite limits as xβββ.
Apply LβHopitalβs Rule
Indeterminate Form of Type 00
LβHΓ΄pitalβs rule can be used to evaluate limits involving the quotient of two functions. Consider
limxβaf(x)g(x)
If limxβaf(x)=L1 and limxβag(x)=L2β 0, then
limxβaf(x)g(x)=L1L2
However, what happens if limxβaf(x)=0 and limxβag(x)=0? We call this one of the indeterminate forms, of type 00. This is considered an indeterminate form because we cannot determine the exact behavior of f(x)g(x) as xβa without further analysis.
LβHΓ΄pitalβs Rule (0/0 Case)
Suppose f and g are differentiable functions over an open interval containing a, except possibly at a. If limxβaf(x)=0 and limxβag(x)=0, then
limxβaf(x)g(x)=limxβafβ²(x)gβ²(x),
assuming the limit on the right exists or is β or ββ. This result also holds if we are considering one-sided limits, or if a=β or ββ.
Example: Applying LβHΓ΄pitalβs Rule (0/0 Case)
Evaluate each of the following limits by applying LβHΓ΄pitalβs rule.
- limxβ01βcosxx
- limxβ1sin(Οx)lnx
- limxββe1xβ11x
- limxβ0sinxβxx2
Show Solution
- Since the numerator 1βcosxβ0 and the denominator xβ0, we can apply LβHΓ΄pitalβs rule to evaluate this limit. We have
limxβ01βcosxx=limxβ0ddx(1βcosx)ddx(x)=limxβ0sinx1=limxβ0(sinx)limxβ0(1)=01=0
- As xβ1, the numerator sin(Οx)β0 and the denominator lnxβ0. Therefore, we can apply LβHΓ΄pitalβs rule. We obtain
limxβ1sin(Οx)lnx=limxβ1Οcos(Οx)1/x=limxβ1(Οx)cos(Οx)=(Οβ
1)(β1)=βΟ
- As xββ, the numerator e1/xβ1β0 and the denominator (1x)β0. Therefore, we can apply LβHΓ΄pitalβs rule. We obtain
limxββe1/xβ11x=limxββe1/x(β1x2)(β1x2)=limxββe1/x=e0=1
- As xβ0, both the numerator and denominator approach zero. Therefore, we can apply LβHΓ΄pitalβs rule. We obtain
limxβ0sinxβxx2=limxβ0cosxβ12x.
Since the numerator and denominator of this new quotient both approach zero as xβ0, we apply LβHΓ΄pitalβs rule again. In doing so, we see that
limxβ0cosxβ12x=limxβ0βsinx2=0.
Therefore, we conclude that
limxβ0sinxβxx2=0.
Try It
Evaluate limxβ0xtanx.
Hint
ddxtanx=sec2x
Indeterminate Form of Type ββ
We can also use LβHΓ΄pitalβs rule to evaluate limits of quotients f(x)g(x) in which f(x)βΒ±β and g(x)βΒ±β. Limits of this form are classified as indeterminate forms of type β/β. Again, note that we are not actually dividing β by β. Since β is not a real number, that is impossible; rather, β/β is used to represent a quotient of limits, each of which is β or ββ.
LβHΓ΄pitalβs Rule (β/β Case)
Suppose f and g are differentiable functions over an open interval containing a, except possibly at a. Suppose limxβaf(x)=β (or ββ) and limxβag(x)=β (or ββ). Then,
limxβaf(x)g(x)=limxβafβ²(x)gβ²(x),
assuming the limit on the right exists or is β or ββ. This result also holds if the limit is infinite, if a=β or ββ, or the limit is one-sided.
Example: Applying LβHΓ΄pitalβs Rule (β/β Case)
Evaluate each of the following limits by applying LβHΓ΄pitalβs rule.
- limxββ3x+52x+1
- limxβ0+lnxcotx
Show Solution
- Since 3x+5 and 2x+1 are first-degree polynomials with positive leading coefficients, limxββ(3x+5)=β and limxββ(2x+1)=β. Therefore, we apply LβHΓ΄pitalβs rule and obtain
limxββ3x+52x+1x=limxββ32=32.
Note that this limit can also be calculated without invoking LβHΓ΄pitalβs rule. Earlier in the module we showed how to evaluate such a limit by dividing the numerator and denominator by the highest power of x in the denominator. In doing so, we saw that
limxββ3x+52x+1=limxββ3+5x2+1x=32.
LβHΓ΄pitalβs rule provides us with an alternative means of evaluating this type of limit.
- Here, limxβ0+lnx=ββ and limxβ0+cotx=β. Therefore, we can apply LβHΓ΄pitalβs rule and obtain
limxβ0+lnxcotx=limxβ0+1xβcsc2x=limxβ0+1βxcsc2x.
Now as xβ0+, csc2xββ. Therefore, the first term in the denominator is approaching zero and the second term is getting really large. In such a case, anything can happen with the product. Therefore, we cannot make any conclusion yet. To evaluate the limit, we use the definition of cscx to write
limxβ0+1βxcsc2x=limxβ0+sin2xβx.
Now limxβ0+sin2x=0 and limxβ0+x=0, so we apply LβHΓ΄pitalβs rule again. We find
limxβ0+sin2xβx=limxβ0+2sinxcosxβ1=0β1=0.
We conclude that
limxβ0+lnxcotx=0.
Try It
Evaluate limxββlnx5x
LβHΓ΄pitalβs rule is very useful for evaluating limits involving the indeterminate forms 00 and ββ. However, we can also use LβHΓ΄pitalβs rule to help evaluate limits involving other indeterminate forms that arise when evaluating limits. The expressions 0β
β, βββ, 1β, β0, and 00 are all considered indeterminate forms. These expressions are not real numbers. Rather, they represent forms that arise when trying to evaluate certain limits. Next we realize why these are indeterminate forms and then understand how to use LβHΓ΄pitalβs rule in these cases. The key idea is that we must rewrite the indeterminate forms in such a way that we arrive at the indeterminate form 00 or ββ.
Indeterminate Form of Type 0β
β
Suppose we want to evaluate limxβa(f(x)β
g(x)), where f(x)β0 and g(x)ββ (or ββ) as xβa. Since one term in the product is approaching zero but the other term is becoming arbitrarily large (in magnitude), anything can happen to the product. We use the notation 0β
β to denote the form that arises in this situation. The expression 0β
β is considered indeterminate because we cannot determine without further analysis the exact behavior of the product f(x)g(x) as xβa. For example, let n be a positive integer and consider
f(x)=1(xn+1) and g(x)=3x2.
As xββ, f(x)β0 and g(x)ββ. However, the limit as xββ of f(x)g(x)=3x2(xn+1) varies, depending on n. If n=2, then limxββf(x)g(x)=3. If n=1, then limxββf(x)g(x)=β. If n=3, then limxββf(x)g(x)=0. Here we consider another limit involving the indeterminate form 0β
β and show how to rewrite the function as a quotient to use LβHΓ΄pitalβs rule.
Example: Indeterminate Form of Type 0β
β
Evaluate limxβ0+xlnx
Show Solution
First, rewrite the function xlnx as a quotient to apply LβHΓ΄pitalβs rule. If we write
xlnx=lnx1/x,
we see that lnxβββ as xβ0+ and 1xββ as xβ0+. Therefore, we can apply LβHΓ΄pitalβs rule and obtain
limxβ0+lnx1/x=limxβ0+ddx(lnx)ddx(1/x)=limxβ0+1/xβ1/x2=limxβ0+(βx)=0.
We conclude that
limxβ0+xlnx=0.
Finding the limit at x=0 of the function f(x)=xlnx.
Try It
Evaluate limxβ0xcotx
Hint
Write xcotx=xcosxsinx
Indeterminate Form of Type βββ
Another type of indeterminate form is βββ. Consider the following example. Let n be a positive integer and let f(x)=3xn and g(x)=3x2+5. As xββ, f(x)ββ and g(x)ββ. We are interested in limxββ(f(x)βg(x)). Depending on whether f(x) grows faster, g(x) grows faster, or they grow at the same rate, as we see next, anything can happen in this limit. Since f(x)ββ and g(x)ββ, we write βββ to denote the form of this limit. As with our other indeterminate forms, βββ has no meaning on its own and we must do more analysis to determine the value of the limit. For example, suppose the exponent n in the function f(x)=3xn is n=3, then
limxββ(f(x)βg(x))=limxββ(3x3β3x2β5)=β.
On the other hand, if n=2, then
limxββ(f(x)βg(x))=limxββ(3x2β3x2β5)=β5.
However, if n=1, then
limxββ(f(x)βg(x))=limxββ(3xβ3x2β5)=ββ.
Therefore, the limit cannot be determined by considering only βββ. Next we see how to rewrite an expression involving the indeterminate form βββ as a fraction to apply LβHΓ΄pitalβs rule.
Example: Indeterminate Form of Type βββ
Evaluate limxβ0+(1x2β1tanx).
Show Solution
By combining the fractions, we can write the function as a quotient. Since the least common denominator is x2tanx, we have
1x2β1tanx=(tanx)βx2x2tanx
As xβ0+, the numerator tanxβx2β0 and the denominator x2tanxβ0. Therefore, we can apply LβHΓ΄pitalβs rule. Taking the derivatives of the numerator and the denominator, we have
limxβ0+(tanx)βx2x2tanx=limxβ0+(sec2x)β2xx2sec2x+2xtanx
As xβ0+, (sec2x)β2xβ1 and x2sec2x+2xtanxβ0. Since the denominator is positive as x approaches zero from the right, we conclude that
limxβ0+(sec2x)β2xx2sec2x+2xtanx=β
Therefore,
limxβ0+(1x2β1tanx)=β
Try It
Evaluate limxβ0+(1xβ1sinx).
Hint
Rewrite the difference of fractions as a single fraction.
Other Types of Indeterminate Form
Another type of indeterminate form that arises when evaluating limits involves exponents. The expressions 00, β0, and 1β are all indeterminate forms. On their own, these expressions are meaningless because we cannot actually evaluate these expressions as we would evaluate an expression involving real numbers. Rather, these expressions represent forms that arise when finding limits. Now we examine how LβHΓ΄pitalβs rule can be used to evaluate limits involving these indeterminate forms.
Since LβHΓ΄pitalβs rule applies to quotients, we use the natural logarithm function and its properties to reduce a problem evaluating a limit involving exponents to a related problem involving a limit of a quotient. For example, suppose we want to evaluate limxβaf(x)g(x) and we arrive at the indeterminate form β0. (The indeterminate forms 00 and 1β can be handled similarly.)
Example: Indeterminate Form of Type β0
Evaluate limxββx1x
Show Solution
Let y=x1/x. Then,
ln(x1/x)=1xlnx=lnxx
We need to evaluate limxββlnxx. Applying LβHΓ΄pitalβs rule, we obtain
limxββlny=limxββlnxx=limxββ1/x1=0
Therefore, limxββlny=0. Since the natural logarithm function is continuous, we conclude that
ln(limxββy)=0,
which leads to
limxββy=limxββlnxx=e0=1
Hence,
limxββx1/x=1
Try It
Evaluate limxββx1lnx
Hint
Let y=x1/lnx and apply the natural logarithm to both sides of the equation.
Example: Indeterminate Form of Type 00
Evaluate limxβ0+xsinx
Show Solution
Let
y=xsinx
Therefore,
lny=ln(xsinx)=sinxlnx
We now evaluate limxβ0+sinxlnx. Since limxβ0+sinx=0 and limxβ0+lnx=ββ, we have the indeterminate form 0β
β. To apply LβHΓ΄pitalβs rule, we need to rewrite sinxlnx as a fraction. We could write
sinxlnx=sinx1/lnx
or
sinxlnx=lnx1/sinx=lnxcscx
Letβs consider the first option. In this case, applying LβHΓ΄pitalβs rule, we would obtain
limxβ0+sinxlnx=limxβ0+sinx1/lnx=limxβ0+cosxβ1/(x(lnx)2)=limxβ0+(βx(lnx)2cosx)
Unfortunately, we not only have another expression involving the indeterminate form 0β
β, but the new limit is even more complicated to evaluate than the one with which we started. Instead, we try the second option. By writing
sinxlnx=lnx1/sinx=lnxcscx
and applying LβHΓ΄pitalβs rule, we obtain
limxβ0+sinxlnx=limxβ0+lnxcscx=limxβ0+1/xβcscxcotx=limxβ0+β1xcscxcotx
Using the fact that cscx=1sinx and cotx=cosxsinx, we can rewrite the expression on the right-hand side as
limxβ0+βsin2xxcosx=limxβ0+[sinxxβ
(βtanx)]=(limxβ0+sinxx)β
(limxβ0+(βtanx))=1β
0=0
We conclude that limxβ0+lny=0. Therefore, ln(limxβ0+y)=0 and we have
limxβ0+y=limxβ0+xsinx=e0=1
Hence,
limxβ0+xsinx=1
Try It
Evaluate limxβ0+xx
Hint
Let y=xx and take the natural logarithm of both sides of the equation.