Integrals, Exponential Functions, and Logarithms: Learn It 2

Defining the Number e

Now that we have the natural logarithm defined, we can use that function to define the number e.

the number e

The number e is defined to be the real number such that

lne=1

To put it another way, the area under the curve y=1t between t=1 and t=e is 1 (Figure 3).

This figure is a graph. It is the curve y=1/t. It is decreasing and in the first quadrant. Under the curve is a shaded area. The area is bounded to the left at x=1 and to the right at x=e. The area is labeled “area=1”.
Figure 3. The area under the curve from 1 to e is equal to one.

The proof that such a number exists and is unique is left to you. (Hint: Use the Intermediate Value Theorem to prove existence and the fact that lnx is increasing to prove uniqueness.)

The number e can be shown to be irrational, although we won’t do so here. Its approximate value is given by

e2.71828182846

The Exponential Function

We now turn our attention to the function ex. Note that the natural logarithm is one-to-one and therefore has an inverse function. For now, we denote this inverse function by exp x. Then,

exp(ln x)=x for x>0 and ln(exp x)=x for all x.

The following figure shows the graphs of exp x and ln x.

This figure is a graph. It has three curves. The first curve is labeled exp x. It is an increasing curve with the x-axis as a horizontal asymptote. It intersects the y-axis at y=1. The second curve is a diagonal line through the origin. The third curve is labeled lnx. It is an increasing curve with the y-axis as an vertical axis. It intersects the x-axis at x=1.
Figure 4. The graphs of lnx and expx.

We hypothesize that exp x=ex.

For rational values of x, this is easy to show. If x is rational, then we have ln (ex)=xln e=x. Thus, when x is rational, ex=exp x.

For irrational values of x, we simply define ex as the inverse function of ln x.

defining the exponential function

For any real number x, define y=ex to be the number for which

lny=ln(ex)=x

Then we have ex=exp(x) for all x, and thus

elnx=x for x>0 and ln(ex)=x

for all x.

Properties of the Exponential Function

Since the exponential function was defined in terms of an inverse function, and not in terms of a power of e, we must verify that the usual laws of exponents hold for the function ex.

properties of the exponential function

If p and q are any real numbers and r is a rational number, then

  1. epeq=ep+q
  2. epeq=epq
  3. (ep)r=epr

Proof


Note that if p and q are rational, the properties hold. However, if p or q are irrational, we must apply the inverse function definition of ex and verify the properties. Only the first property is verified here; the other two are left to you. We have

ln(epeq)=ln(ep)+ln(eq)=p+q=ln(ep+q).

 

Since lnx is one-to-one, then

epeq=ep+q.

As with part iv. of the logarithm properties, we can extend property iii. to irrational values of r, and we do so by the end of the section.

We also want to verify the differentiation formula for the function y=ex.

To do this, we need to use implicit differentiation. Let y=ex. Then,

lny=xddxlny=ddxx1ydydx=1dydx=y.

Thus, we see

ddxex=ex

as desired, which leads immediately to the integration formula

exdx=ex+C

We apply these formulas in the following examples.

Evaluate the following derivatives:

  1. ddte3tet2
  2. ddxe3x2

Evaluate the following integral: 4e3xdx.