Improper Integrals

Author: John J Weber III, PhD Corresponding Textbook Sections:

Expected Educational Results

Bloom’s Taxonomy

A modern version of Bloom’s Taxonomy is included here to recognize various different levels of understanding and to encourage you to work towards higher-order understanding (those at the top of the pyramid). All Objectives, Investigations, Activities, etc. are color-coded with the level of understanding.

Bloom’s Taxonomy for different levels of understanding
Figure 1.1: Bloom's Taxonomy

Comparison Theorem

Theorem: Comparison Theorem

Suppose f and g are continuous functions with f(x)≥g(x)≥0 for x≥a.

  1. If ∫abf(x)dx is convergent, then ∫abg(x)dx is convergent.

  2. If ∫abg(x)dx is divergent, then ∫abf(x)dx is divergent.

Procedure for Comparison Theorem

  1. Use DESMOS to sketch a graph of the integrand function.

  2. Use only some of the terms of the given function f(x) to find another function, g(x), so that

    • f(x)≤g(x) for all x on the given interval; or

    • f(x)≥g(x) for all x on the given interval

  3. Use the Comparison Theorem to determine if the integral is convergent or divergent. Explain.

Example 04: Consider ∫1∞sin2⁡(x)+1xdx

NOTE: There is no analytic (i.e., functional) antiderivative for ∫sin2⁡(x)+1xdx.

Here is the DESMOS graph:

Solution 04: We will compare ∫1∞sin2⁡(x)+1xdx to ∫1∞1xdx.

The DESMOS graphs show f(x)=sin2⁡(x)+1x [red function] and g(x)=1x [blue function] are continuous for x≥1.

Also, the DESMOS graphs show sin2⁡(x)+1x≥1x≥0 for x≥1.

By Theorem, ∫1∞1xpdx diverges, when p=1.

Thus, since the conditions of the Comparison Theorem are true, and the “smaller” function diverges, then the “larger” function also diverges, i.e., ∫1∞sin2⁡(x)+1xdx diverges.

Example 05: Consider ∫1∞e−x2dx.

NOTE: There is no analytic (i.e., functional) antiderivative for ∫e−x2dx.

Here is the DESMOS graph:

Solution 05: We will compare ∫1∞e−x2dx to ∫1∞e−xdx [which we can evaluate].

The embedded DESMOS graph shows f(x)=e−x2 [red function] and g(x)=e−x [blue function] are continuous for x≥1.

Also, the DESMOS graph shows e−x≥e−x2≥0 for x≥1.

We know, ∫1∞e−xdx=lima→∞(−e−x)|1a=1e, i.e., the integral converges.

Thus, since the conditions of the the Comparison Theorem are true, and the “larger” function converges, then the “smaller” function also converges, i.e., ∫1∞e−x2dx converges.

Investigation 08

For each of the following functions:

Use the Comparison Theorem to determine if the following integrals are convergent or divergent. Explain.

  1. ∫2∞cos2⁡(x)x2dx ⇒ Use ∫2∞1x2dx for the comparison

  2. ∫3∞1x+exdx ⇒ Use ∫2∞1x2dx for the comparison

  3. ∫3∞1x−e−xdx ⇒ Use ∫2∞1xdx for the comparison

CC BY-NC-SA 4.0

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License [http://creativecommons.org/licenses/by-nc-sa/4.0/].

Created: Thursday, 17 September 2020 2:48 EDT Last Modified: Sunday, 12 June 2022 - 17:40 (EDT)