Skip to main content
Mathematics LibreTexts

6.5: Improper Integrals

  • Page ID
    4331
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Learning Objectives

    In this section, we strive to understand the ideas generated by the following important questions:

    • What are improper integrals and why are they important?
    • What does it mean to say that an improper integral converges or diverges?
    • What are some typical improper integrals that we can classify as convergent or divergent?

    Another important application of the definite integral regards how the likelihood of certain events can be measured. For example, consider a company that manufactures incandescent light bulbs, and suppose that based on a large volume of test results, they have determined that the fraction of light bulbs that fail between times \(t = a\) and \(t = b\) of use (where \(t\) is measured in months) is given by

    \[\int^b_a 0.3e^{ −0.3t} dt.\]

    For example, the fraction of light bulbs that fail during their third month of use is given by

    \[ \begin{align*}
    \int_2^3 0.3e^{-0.3t}dt\ &=\ -e^{-0.3t}\biggr\rvert^{3}_{2} \\
    &=\ -e^{-0.9}+e^{-0.6} \\
    &\approx\ 0.1422
    \end{align*}\]

    Thus about 14.22% of all lightbulbs fail between \( t = 2\) and \( t = 3\). Clearly we could adjust the limits of integration to measure the fraction of light bulbs that fail during any time period of interest.

    Preview Activity \(\PageIndex{1}\):

    A company with a large customer base has a call center that receives thousands of calls a day. After studying the data that represents how long callers wait for assistance, they find that the function \( p(t) = 0.25e^{−0.25t}\) models the time customers wait in the following way: the fraction of customers who wait between \( t = a\) and \( t = b\) minutes is given by

    \[ \int^b_a p(t) dt.\]

    Use this information to answer the following questions.

    1. Determine the fraction of callers who wait between 5 and 10 minutes.
    2. Determine the fraction of callers who wait between 10 and 20 minutes.
    3. Next, let’s study how the fraction who wait up to a certain number of minutes:
      • i. What is the fraction of callers who wait between 0 and 5 minutes?
      • ii. What is the fraction of callers who wait between 0 and 10 minutes?
      • iii. Between 0 and 15 minutes? Between 0 and 20?
    4. Let F(b) represent the fraction of callers who wait between 0 and b minutes. Find a formula for F(b) that involves a definite integral, and then use the First FTC to find a formula for F(b) that does not involve a definite integral.
    5. What is the value of the limit \( \lim_{b\to\infty}F(b)\)? What is its meaning in the context of the problem? ./

    Improper Integrals Involving Unbounded Intervals

    In light of our example with light bulbs that fail, as well as with the problem involving customer wait time in Preview Activity 6.5, we see that it is natural to consider questions where we desire to integrate over an interval whose upper limit grows without bound. For example, if we are interested in the fraction of light bulbs that fail within the first b months of use, we know that the expression

    \[ \int^b_0 0.3e^{-0.3t}dt\]

    measures this value. To think about the fraction of light bulbs that fail eventually, we understand that we wish to find

    \[ \lim_{b\to\infty}\int_{0}^{b}0.3e^{-0.3t}dt,\]

    for which we will also use the notation

    \[ \int^{\infty}_{0}0.3e^{-0.3t}dt\]

    Note particularly that we are studying the area of an unbounded region, as pictured in Figure 6.20.

    Anytime we are interested in an integral for which the interval of integration is unbounded (that is, one for which at least one of the limits of integration involves \( \infty\)), we say that the integral is improper.

    alt

    Figure 6.20: At left, the area bounded by \( p(t) = 0.3e ^{−0.3t}\) on the finite interval \( [0, b]\); at right, the result of letting \( b\rightarrow\infty\). By “· · · ” in the righthand figure, we mean that the region extends to the right without bound.

    For instance, the integrals

    \[ \int_{1}^{\infty}\dfrac{1}{x^{2}}dx,\ \int^{0}_{-\infty}\dfrac{1}{1+x^{2}}dx,\ \text{and} \int_{-\infty}^{\infty}e^{-x^{2}}dx\]

    are all improper due to having limits of integration that involve \( \infty\). We investigate the value of any such integral be replacing the improper integral with a limit of proper integrals; for an improper integral such as \( \int_{0}^{\infty}f(x)dx\), we write

    \[ \int_{0}^{\infty}f(x)dx=\lim_{b\to\infty}\int_{0}^{b}f(x)dx.\]

    We can then attempt to evaluate \( \int^b_0 f(x)dx\) using the First FTC, after which we can evaluate the limit. An immediate and important question arises: is it even possible for the area of such an unbounded region to be finite? The following activity explores this issue and others in more detail.

    Activity \(\PageIndex{1}\):

    In this activity we explore the improper integrals \( \int_1^{\infty}\dfrac{1}{x}dx\) and \( \int_1^{\infty}\dfrac{1}{x^{3/2}}dx\).

    1. First we investigate \( \int_1^{\infty}\dfrac{1}{x}dx\).
      • Use the First FTC to determine the exact values of \( \int_1^{10}\dfrac{1}{x}dx\), \( \int_1^{1000}\dfrac{1}{x}dx\), and \( \int_1^{100000}\dfrac{1}{x}dx\). Then, use your calculator to compute a decimal approximation of each result.
      • Use the First FTC to evaluate the definite integral (which results in an expression that depends on b).
      • Now, use your work from (ii.) to evaluate the limit given by

    \[ \lim_{b\to\infty}\int_1^b\dfrac{1}{x}dx.\]

    1. Next, we investigate \( \int_1^{\infty} \dfrac{1}{x^{3/2}}dx\).
      • Use the First FTC to determine the exact values of \( \int_1^{10}\dfrac{1}{x^{3/2}}dx\), \( \int_1^{1000}\dfrac{1}{x^{3/2}}dx\), and \( \int_1^{100000}\dfrac{1}{x^{3/2}}dx\). Then, use your calculator to compute a decimal approximation of each result.
      • Use the First FTC to evaluate the definite integral \( \int_1^b \dfrac{1}{x^{3/2}}dx\)(which results in an expression that depends on b).
      • Now, use your work from (2.) to evaluate the limit given by

    \[ \lim_{b\to\infty}\int_1^b\dfrac{1}{x^{3/2}}dx.\]

    1. Plot the functions \(y = \frac{1}{x}\) and \(y = \dfrac{1}{x^{3/2}}\) on the same coordinate axes for the values \(x = 0 \ldots 10\). How would you compare their behavior as x increases without bound? What is similar? What is different?
    2. How would you characterize the value of \( \int_{1}^{\infty} \dfrac{1}{x} dx \)? of \(\int_{1}^{\infty } \dfrac{1}{x^{3/2}} dx\)? What does this tell us about the respective areas bounded by these two curves for \(x \geq 1\)?

    Convergence and Divergence

    Our work so far has suggested that when we consider a nonnegative function \(f\) on an interval \([1, \inf]\), such as

    \[f (x) = \dfrac{1}{x}\]

    or

    \[f (x) = \dfrac{1}{x^{3/2}} ,\]

    there are at least two possibilities for the value of \(\lim_{b \rightarrow \infty}\int_{1}^{b} f(x) dx\) : the limit is finite or infinite. With these possibilities in mind, we introduce the following terminology.

    Definition

    If \(f(x)\) is nonnegative for \(x \geq a\), then we say that the improper integral \int_{a}^{\infty} f(x) dx converges provided that

    \[\lim_{b \rightarrow \infty} \int_{a}^{b} f(x) dx \]

    exists and is finite. Otherwise, we say that \(\int_{a}^{\infty} f(x) dx\) diverges.

    We normally restrict our interest to improper integrals for which the integrand is nonnegative. Further, we note that our primary interest is in functions \(f\) for which \(\lim_{x \rightarrow \infty} f(x) = 0, \), for if the function \(f\) does not approach \(0\) as \(x \rightarrow \infty\), then it is impossible for \(\int_{a}^{\infty} f(x)dx\) to converge.

    Activity 6.14

    Determine whether each of the following improper integrals converges or diverges. For each integral that converges, find its exact value.

    1. \(\int_{1}^{\infty} \dfrac{1}{x^2}dx\)
    2. \(\int_{0}^{\infty} e^{-x/4}dx\)
    3. \(\int_{2}^{\infty} \dfrac{9}{(x+5)^{2/3}}dx\)
    4. \(\int_{4}^{\infty} \dfrac{3}{(x+2)^{5/4}}dx\)
    5. \(\int_{0}^{\infty} xe^{-x/4}dx\)
    6. \(\int_{1}^{\infty} \dfrac{1}{xP}dx\), where \(p\) is a positive real number.

    Improper Integrals Involving Unbounded Integrands

    It is also possible for an integral to be improper due to the integrand being unbounded on the interval of integration. For example, if we consider

    \[\int_{0}^{1} \dfrac{1}{\sqrt{x}}dx, \]

    we see that because \(f (x) = \dfrac{1}{\sqrt{x}}\) has a vertical asymptote at \(x = 0\), \(f\) is not continuous on [0, 1], and the integral is attempting to represent the area of the unbounded region shown at right in Figure 6.21.

    Just as we did with improper integrals involving infinite limits, we address the problem of the integrand being unbounded by replacing such an improper integral with a limit of proper integrals. For example, to evaluate \(\int_{0}^{1} \dfrac{1}{\sqrt{x}}dx,\) we replace 0 with a and let a approach 0 from the right. Thus,

    \[\int_{0}^{1} \dfrac{1}{\sqrt{x}}dx = \lim_{a \rightarrow 0^+}\int_{a}^{1}\dfrac{1}{\sqrt{x}} dx, \]

    and then we evaluate the proper integral

    \[\int_{a}^{1}\dfrac{1}{\sqrt{x}} dx, \]

    followed by taking the limit.

    alt

    Figure 6.21: At left, the area bounded by f (x) = 1 √ x on the finite interval [a, 1]; at right, the result of letting a → 0 + , where we see that the shaded region will extend vertically without bound.

    In the same way as with improper integrals involving unbounded regions, we will say that the improper integral converges provided that this limit exists, and diverges otherwise. In the present example, we observe that

    \[\int_{0}^{1} \dfrac{1}{\sqrt{x}}dx = \lim_{a \rightarrow 0^+}\int_{a}^{1}\dfrac{1}{\sqrt{x}} dx\\ = \lim_{a \rightarrow 0^+}2 \sqrt{x}|_a^1 \\= \lim_{a \rightarrow 0^+}2 \sqrt{1}- 2\sqrt{a}\\ = 2, \]

    and therefore the improper integral \(\int_{0}^{1} \dfrac{1}{\sqrt{x}}dx\) converges (to the value 2). We have to be particularly careful with unbounded integrands, for they may arise in ways that may not initially be obvious. Consider, for instance, the integral

    \[\int_{1}^{3} \dfrac{1}{(x-2)^2}dx. \]

    At first glance we might think that we can simply apply the Fundamental Theorem of Calculus by antidifferentiating \( \dfrac{1}{(x-2)^2}\) to get \(\dfrac{−1}{x−2}\) and then evaluate from 1 to 3. Were we to do so, we would be erroneously applying the FTC because \( f(x) = \dfrac{1}{(x−2)^2}\) fails to be continuous throughout the interval, as seen in Figure 6.22. Such an incorrect application of the FTC leads to an impossible result (−2), which would itself suggest that something we did must be wrong.

    alt

    Figure 6.22: The function \(f (x) = \dfrac{1}{(x−2)^2}\) on an interval including \(x = 2\).

    Indeed, we must address the vertical asymptote in \(f (x) = \dfrac{1}{ (x−2)^2}\) at \(x = 2\) by writing

    \[\int_{1}^{3} \dfrac{1}{(x-2)^2}dx = \lim_{a \rightarrow 2^-}\int_{1}^{a} \dfrac{1}{(x-2)^2}dx + \lim_{a \rightarrow 2^+}\int_{b}^{3} \dfrac{1}{(x-2)^2}dx\]

    and then evaluate two separate limits of proper integrals. For instance, doing so for the integral with \(a\) approaching 2 from the left, we find

    \[ \int_{2}^{1} \dfrac{1}{(x-2)^2}dx = \lim_{a \rightarrow 2^-}\int_{1}^{a}\dfrac{1}{(1-x)^2}dx \\ = \lim_{a \rightarrow 2^-} -\dfrac{1}{(x-2)}|^a _1 \\ =\lim_{a \rightarrow 2^-} \dfrac{1}{(a-2)}+\dfrac{1}{1-2} \\ = \infty, \]

    since \( \dfrac{1}{a−2} \rightarrow −\infty \) as a approaches 2 from the left. Thus, the improper integral \(\int_{1}^{2}\dfrac{1}{(x-2)^2}dx\) diverges; similar work shows that \( \int_{2}^{3}\dfrac{1}{(x-2)^2}dx\) also diverges. From either of these two results, we can conclude that that the original integral, \( \int_{1}^{3}\dfrac{1}{(x-2)^2}dx\) diverges, too.

    Activity \(\PageIndex{1}\):

    For each of the following definite integrals, decide whether the integral is improper or not. If the integral is proper, evaluate it using the First FTC. If the integral is improper, determine whether or not the integral converges or diverges; if the integral converges, find its exact value.

    1. \( \int_{0}^{1} \dfrac{1}{x^{1/3}}dx \)
    2. \(\int_{0}^{2}e^{-x}dx\)
    3. \(\int_{1}^{4} \dfrac{1}{\sqrt{4-x}}dx\)
    4. \( \int_{-2}^{2} \dfrac{1}{x^2}dx\)
    5. \(\int_{0}^{\pi/2} \tan(x) dx\)
    6. \(\int_{0}^{1} \dfrac{1}{\sqrt{1-x^2}} dx \)

    Summary

    In this section, we encountered the following important ideas:

    • An integral \(\int_{a}^{b} f(x)dx \) can be improper if at least one of \(a\) or \(b\) is \(\pm\infty\), making the interval unbounded, or if \(f\) has a vertical asymptote at \(x = c\) for some value of c that satisfies \(a \leq c \leq b\). One reason that improper integrals are important is that certain probabilities can be represented by integrals that involve infinite limits.
    • When we encounter an improper integral, we work to understand it by replacing the improper integral with a limit of proper integrals. For instance, we write

    \[\int_{a}^{\infty} f(x) dx = \lim_{b \rightarrow \infty}\int_{a}^{b} f(x)dx, ],

    and then work to determine whether the limit exists and is finite. For any improper integral, if the resulting limit of proper integrals exists and is finite, we say the improper integral converges. Otherwise, the improper integral diverges.

    • An important class of improper integrals is given by

    \[\int_{1}^{\infty} \dfrac{1}{x^P} dx\]

    where \(p\) is a positive real number. We can show that this improper integral converges whenever \(p > 1\), and diverges whenever \(0 < p \leq 1\). A related class of improper integrals is \(\int_0^1 \dfrac{1}{x^P} dx\), which converges for \(0 < p < 1\), and diverges for \(p \geq 1\).


    This page titled 6.5: Improper Integrals is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Matthew Boelkins, David Austin & Steven Schlicker (ScholarWorks @Grand Valley State University) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.