Learning Outcomes
- Write the terms of a sequence defined by a recursive formula
- Calculate the limit of a function as π₯ increases or decreases without bound
- Recognize when to apply LβHΓ΄pitalβs rule
In the Sequences section, we will look at ordered lists of numbers (sequences) and determine whether they converge or diverge. Here we will review how to evaluate a recursive (recurrence) formula, take limits at infinity, and apply LβHΓ΄pitalβs Rule.
Use a Recursive Formula
A recursive formula is a formula that defines its value at a particular input using the result of the previous input(s).
A recursive formula always has two parts: the value of an initial input and an equation defining each term in terms of preceding terms. For example, suppose we know the following:
a1=3an=2anβ1β1, for nβ₯2
We can find the subsequent terms of the recursive formula using the first term.
a1=3a2=2a1β1=2(3)β1=5a3=2a2β1=2(5)β1=9a4=2a3β1=2(9)β1=17
So, the first four terms are 3,5,9, and,17.
How To: Given a recursive formula with only the first term provided, write the first n terms of a sequence.
- Identify the initial term, a1, which is given as part of the formula. This is the first term.
- To find the second term, a2, substitute the initial term into the formula for anβ1. Solve.
- To find the third term, a3, substitute the second term into the formula. Solve.
- Repeat until you have solved for the nth term.
Example: Writing the Terms of a Sequence Defined by a Recursive Formula
Write the first five terms of the sequence defined by the recursive formula.
a1=9an=3anβ1β20, for nβ₯2
Show Solution
The first term is given in the formula. For each subsequent term, we replace anβ1 with the value of the preceding term.
n=1a1=9n=2a2=3a1β20=3(9)β20=27β20=7n=3a3=3a2β20=3(7)β20=21β20=1n=4a4=3a3β20=3(1)β20=3β20=β17n=5a5=3a4β20=3(β17)β20=β51β20=β71
The first five terms are {9,7,1,β17,β71}
Try It
Write the first five terms of the sequence defined by the recursive formula.
a1=2an=2anβ1+1, for nβ₯2
Show Solution
{2,5,11,23,47}
Take Limits at Infinity
Recall that limxβaf(x)=L means f(x) becomes arbitrarily close to L as long as x is sufficiently close to a. We can extend this idea to limits at infinity. For example, consider the function f(x)=2+1x. As can be seen graphically in Figure 1 and numerically in the table beneath it, as the values of x get larger, the values of f(x) approach 2. We say the limit as x approaches β of f(x) is 2 and write limxββf(x)=2. Similarly, for x<0, as the values |x| get larger, the values of f(x) approaches 2. We say the limit as x approaches ββ of f(x) is 2 and write limxβaf(x)=2.
Figure 1. The function approaches the asymptote y=2 as x approaches Β±β.
Values of a function f as xβΒ±β
x |
10 |
100 |
1,000 |
10,000 |
2+1x |
2.1 |
2.01 |
2.001 |
2.0001 |
x |
-10 |
-100 |
-1000 |
-10,000 |
2+1x |
1.9 |
1.99 |
1.999 |
1.9999 |
More generally, for any function f, we say the limit as xββ of f(x) is L if f(x) becomes arbitrarily close to L as long as x is sufficiently large. In that case, we write limxββf(x)=L. Similarly, we say the limit as xβββ of f(x) is L if f(x) becomes arbitrarily close to L as long as x<0 and |x| is sufficiently large. In that case, we write limxβββf(x)=L. We now look at the definition of a function having a limit at infinity.
Definition
(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
If the values f(x) are getting arbitrarily close to some finite value L as xββ or xβββ, the graph of f approaches the line y=L. In that case, the line y=L is a horizontal asymptote of f (Figure 2). For example, for the function f(x)=1x, since limxββf(x)=0, the line y=0 is a horizontal asymptote of f(x)=1x.
Definition
If limxββf(x)=L or limxβββf(x)=L, we say the line y=L is a horizontal asymptote of f.
Figure 2. (a) As xββ, the values of f are getting arbitrarily close to L. The line y=L is a horizontal asymptote of f. (b) As xβββ, the values of f are getting arbitrarily close to M. The line y=M is a horizontal asymptote of f.
A function cannot cross a vertical asymptote because the graph must approach infinity (or negative infinity) from at least one direction as x approaches the vertical asymptote. However, a function may cross a horizontal asymptote. In fact, a function may cross a horizontal asymptote an unlimited number of times. For example, the function f(x)=cosxx+1 shown in Figure 3 intersects the horizontal asymptote y=1 an infinite number of times as it oscillates around the asymptote with ever-decreasing amplitude.
Figure 3. The graph of f(x)=cosx/x+1 crosses its horizontal asymptote y=1 an infinite number of times.
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
- f(x)=tanβ1(x)
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.
- Since β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
- To evaluate limxββtanβ1(x) and limxβββtanβ1(x), we first consider the graph of y=tan(x) over the interval (βΟ/2,Ο/2) as shown in the following graph.
Figure 6. The graph of tanx has vertical asymptotes at x=Β±Ο2
Since
limxβ(Ο/2)βtanx=β,
it follows that
limxββtanβ1(x)=Ο2
Similarly, since
limxβ(Ο/2)+tanx=ββ,
it follows that
limxβββtanβ1(x)=βΟ2
Try It
Evaluate limxβββ(3+4x) and limxββ(3+4x). Determine the horizontal asymptotes of f(x)=3+4x, if any.
Hint
limxβΒ±β1/x=0
Infinite Limits at Infinity
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. As seen in the table below and Figure 2, as xββ the values f(x) become arbitrarily large. Therefore, 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 |
Figure 2. 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βββ.
Try It
Find limxββ3x2.
Apply LβHΓ΄pitalβs Rule
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. We have seen examples of this earlier in the text. For example, consider
limxβ2x2β4xβ2 and limxβ0sinxx
For the first of these examples, we can evaluate the limit by factoring the numerator and writing
limxβ2x2β4xβ2=limxβ2(x+2)(xβ2)xβ2=limxβ2(x+2)=2+2=4
For limxβ0sinxx we were able to show, using a geometric argument, that
limxβ0sinxx=1
Here we use a different technique for evaluating limits such as these. Not only does this technique provide an easier way to evaluate these limits, but also, and more important, it provides us with a way to evaluate many other limits that we could not calculate previously.
The idea behind LβHΓ΄pitalβs rule can be explained using local linear approximations. Consider two differentiable functions f and g such that limxβaf(x)=0=limxβag(x) and such that gβ²(a)β 0 For x near a, we can write
f(x)βf(a)+fβ²(a)(xβa)
and
g(x)βg(a)+gβ²(a)(xβa)
Therefore,
f(x)g(x)βf(a)+fβ²(a)(xβa)g(a)+gβ²(a)(xβa)
Figure 1. If limxβaf(x)=limxβag(x), then the ratio f(x)/g(x) is approximately equal to the ratio of their linear approximations near a.
Since f is differentiable at a, then f is continuous at a, and therefore f(a)=limxβaf(x)=0. Similarly, g(a)=limxβag(x)=0. If we also assume that fβ² and gβ² are continuous at x=a, then fβ²(a)=limxβafβ²(x) and gβ²(a)=limxβagβ²(x). Using these ideas, we conclude that
limxβaf(x)g(x)=limxβafβ²(x)(xβa)gβ²(x)(xβa)=limxβafβ²(x)gβ²(x)
Note that the assumption that fβ² and gβ² are continuous at a and gβ²(a)β 0 can be loosened. We state LβHΓ΄pitalβs rule formally for the indeterminate form 00. Also note that the notation 00 does not mean we are actually dividing zero by zero. Rather, we are using the notation 00 to represent a quotient of limits, each of which is zero.
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
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
Candela Citations
CC licensed content, Original
CC licensed content, Shared previously