Skip to content

Exponential Integrals

Run Exponential Integrals Fullscreen

Edit with the p5.js Editor

You can include this MicroSim on your website using the following iframe:

1
<iframe src="https://dmccreary.github.io/calculus/sims/exponential-integrals/main.html" height="622px" width="100%" scrolling="no"></iframe>

Description

The Exponential Integrals MicroSim visualizes the relationship between exponential functions and their antiderivatives. It demonstrates why we must divide by ln(a) when integrating a^x, and highlights the special case when a = e.

The Formula

For any positive base a where a is not 1:

\[\int a^x \, dx = \frac{a^x}{\ln(a)} + C\]

This formula arises because the derivative of a^x includes a factor of ln(a):

\[\frac{d}{dx}[a^x] = a^x \cdot \ln(a)\]

To "undo" this multiplication by ln(a), we must divide by ln(a) in the antiderivative.

Special Case: a = e

When the base is e (Euler's number, approximately 2.718), we get the simplest case:

\[\int e^x \, dx = e^x + C\]

This is because ln(e) = 1, so no division is needed. This is why e is called the "natural" base for exponential functions.

How to Use

  1. Adjust the base a: Use the slider to choose different values from 0.5 to 5. Notice how the antiderivative changes shape.

  2. Find the special case: Slide toward e (approximately 2.72) and watch the curves converge when ln(a) = 1.

  3. Verify with tangent lines: Toggle "Derivative Verification" to see a tangent line on F(x). The slope of this tangent equals f(x) = a^x at that point, confirming that F'(x) = f(x).

  4. Move the verification point: When verification is enabled, use the second slider to move the point along the curve and see the tangent slope always equals a^x.

Visual Features

  • Blue curve: f(x) = a^x, the function being integrated
  • Orange curve: F(x) = a^x / ln(a), the antiderivative
  • Green tangent line: Shows that the slope of F(x) equals f(x)
  • Purple highlight: Appears when a = e to mark the special case
  • "e" marker: Shows where e is located on the base slider

Delta Moment

"Here's a cool secret: when I roll along e^x, my tilt IS e^x. No scaling, no adjusting. That's why mathematicians love e so much. For any other base, I have to factor in ln(a) to connect my position to my tilt. It's like e^x is the 'perfectly tuned' exponential!"

Why Does This Matter?

Understanding why we divide by ln(a) helps you:

  1. Remember the formula: It's not arbitrary. The ln(a) factor comes from the chain rule in reverse.

  2. Appreciate e: The number e is special precisely because ln(e) = 1, making calculus with e^x cleaner.

  3. Connect derivative and integral: The factor that appears when differentiating must be "undone" when integrating.

Lesson Plan

Learning Objectives

By the end of this activity, students will be able to:

  1. Apply the formula for integrating exponential functions with any base
  2. Calculate specific antiderivatives like those of 2^x, 3^x, and e^x
  3. Compute definite integrals involving exponential functions
  4. Explain why the ln(a) factor appears in the antiderivative

Grade Level

High School (AP Calculus AB/BC) and Undergraduate Calculus I

Duration

15-20 minutes for initial exploration; can be revisited for practice

Prerequisites

Students should be familiar with:

  • Exponential functions and their graphs
  • The derivative of a^x (requires ln(a) factor)
  • The derivative of e^x
  • Basic properties of logarithms

Activities

Activity 1: Discovering the Pattern (5 minutes)

  1. Start with base a = 2
  2. Observe that ln(2) approximately 0.693
  3. Note that F(x) = 2^x / 0.693 is taller than f(x) = 2^x
  4. Try a = 3, then a = 4. What happens to F(x) as a increases?

Activity 2: Finding the Special Case (5 minutes)

  1. Slowly slide the base toward e (approximately 2.718)
  2. Watch what happens when ln(a) approaches 1
  3. At a = e, the curves should nearly overlap (they would exactly overlap if we added C = 0)
  4. Discuss: Why is e^x called "the natural exponential function"?

Activity 3: Verifying with Tangent Lines (5 minutes)

  1. Enable "Derivative Verification"
  2. With base a = 2, move the point to x = 1
  3. Read the tangent slope and compare it to f(1) = 2^1 = 2
  4. Move to x = 2 and verify the slope equals 2^2 = 4
  5. Change the base and repeat. Does F'(x) always equal f(x)?

Activity 4: Numerical Practice (5 minutes)

Calculate these without the MicroSim, then verify:

  1. The integral of 2^x dx at x = 1
  2. The integral of e^x dx at x = 0
  3. The definite integral of 3^x from 0 to 1

Discussion Questions

  1. Why does the antiderivative F(x) = a^x / ln(a) get larger as the base decreases toward 1?

  2. What would happen if a = 1? Why is this case undefined?

  3. How does the graph of F(x) relate to the graph of f(x) when verification is enabled?

  4. If you saw a function whose derivative was 5^x, what would the original function be?

Assessment

Quick Check: Without using the MicroSim, find:

  1. The integral of 4^x dx
  2. The integral of e^(2x) dx (hint: use substitution)
  3. The definite integral of 2^x from 0 to 3

Exit Ticket: Explain in your own words why we divide by ln(a) when integrating a^x. Use the relationship between differentiation and integration in your answer.

Common Mistakes to Address

Mistake Example Correction
Forgetting ln(a) integral of 2^x = 2^x + C Should be 2^x / ln(2) + C
Wrong sign integral of 2^(-x) = -2^(-x)/ln(2) Need to account for chain rule: -2^(-x)/ln(2) is correct
Confusing with power rule integral of x^2 vs 2^x Power rule: x^3/3. Exponential: 2^x/ln(2)
Treating e like other bases integral of e^x = e^x / ln(e) Correct, but simplifies to e^x since ln(e) = 1

References

  1. Exponential Functions Integration - Khan Academy - Video explanations and practice problems

  2. Integration of Exponential Functions - Paul's Online Math Notes - Detailed derivations and examples

  3. p5.js Reference - Documentation for the p5.js library used in this visualization