Skills Review for Improper Integrals

Learning Outcomes

  • Calculate the limit of a function as π‘₯ increases or decreases without bound
  • Recognize when to apply L’HΓ΄pital’s rule
  • Identify indeterminate forms produced by quotients, products, subtractions, and powers, and apply L’HΓ΄pital’s rule in each case

In the Improper Integrals section, we will be faced with evaluating integrals that contain bounds that are either infinite or where the function we are integrating is undefined. As a result, here we will review how to find limits of functions at infinity and apply L’Hopital’s Rule.

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 below, 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.

The function f(x) 2 + 1/x is graphed. The function starts negative near y = 2 but then decreases to βˆ’βˆž near x = 0. The function then decreases from ∞ near x = 0 and gets nearer to y = 2 as x increases. There is a horizontal line denoting the asymptote y = 2.

The function approaches the asymptote y=2 as x approaches ±∞.

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

 

Example: Computing Limits at Infinity

For each of the following functions f, evaluate limxβ†’βˆžf(x) and limxβ†’βˆ’βˆžf(x).

  1. f(x)=5βˆ’2x2
  2. f(x)=sin⁑xx

Try It

Evaluate limxβ†’βˆ’βˆž(3+4x) and limxβ†’βˆž(3+4x).

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
The function f(x) = x3 is graphed. It is apparent that this function rapidly approaches infinity as x approaches infinity.

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.

  1. limxβ†’01βˆ’cos⁑xx
  2. limxβ†’1sin⁑(Ο€x)ln⁑x
  3. limxβ†’βˆže1xβˆ’11x
  4. limxβ†’0sin⁑xβˆ’xx2

Try It

Evaluate limxβ†’0xtan⁑x.

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.

  1. limxβ†’βˆž3x+52x+1
  2. limxβ†’0+ln⁑xcot⁑x

Try It

Evaluate limxβ†’βˆžln⁑x5x

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+xln⁑x

Try It

Evaluate limxβ†’0xcot⁑x

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βˆ’1tan⁑x).

Try It

Evaluate limxβ†’0+(1xβˆ’1sin⁑x).

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

Try It

Evaluate limxβ†’βˆžx1ln⁑x

Example: Indeterminate Form of Type 00

Evaluate limxβ†’0+xsin⁑x

Try It

Evaluate limx→0+xx