Natural Logarithms

Learning Outcomes

  • Write the definition of the natural logarithm as an integral
  • Recognize the derivative of the natural logarithm
  • Integrate functions involving the natural logarithmic function
  • Define the number 𝑒 through an integral

The Natural Logarithm as an Integral

Recall the power rule for integrals:

∫xndx=xn+1n+1+C,nβ‰ βˆ’1.∫xndx=xn+1n+1+C,nβ‰ βˆ’1.

Clearly, this does not work when n=βˆ’1,n=βˆ’1, as it would force us to divide by zero. So, what do we do with ∫1xdx?∫1xdx? Recall from the Fundamental Theorem of Calculus that ∫x11tdt∫x11tdt is an antiderivative of 1x.1x. Therefore, we can make the following definition.

Definition


For x>0,x>0, define the natural logarithm function by

lnx=∫x11tdtlnx=∫x11tdt

 

For x>1,x>1, this is just the area under the curve y=1/ty=1/t from 1 to x.x. For x<1,x<1, we have ∫x11tdt=βˆ’βˆ«1x1tdt,∫x11tdt=βˆ’βˆ«1x1tdt, so in this case it is the negative of the area under the curve from x to 1x to 1 (see the following figure).

 

This figure has two graphs. The first 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. The area is labeled β€œarea=lnx”. The second graph is the same curve y=1/t. It has shaded area under the curve bounded to the right by x=1. It is labeled β€œarea=-lnx”.

Figure 1. (a) When x>1,x>1, the natural logarithm is the area under the curve y=1ty=1t from 1 to x.1 to x. (b) When x<1,x<1, the natural logarithm is the negative of the area under the curve from xx to 1.

Notice that ln1=0.ln1=0. Furthermore, the function y=1t>0y=1t>0 for x>0.x>0. Therefore, by the properties of integrals, it is clear that lnxlnx is increasing for x>0.x>0.

Properties of the Natural Logarithm

Because of the way we defined the natural logarithm, the following differentiation formula falls out immediately as a result of to the Fundamental Theorem of Calculus.

Derivative of the Natural Logarithm


For x>0,x>0, the derivative of the natural logarithm is given by

ddxlnx=1x.ddxlnx=1x.

 

Corollary to the Derivative of the Natural Logarithm


The function lnxlnx is differentiable; therefore, it is continuous.

A graph of lnxlnx is shown in Figure 2. Notice that it is continuous throughout its domain of (0,∞).(0,∞).

This figure is a graph. It is an increasing curve labeled f(x)=lnx. The curve is increasing with the y-axis as an asymptote. The curve intersects the x-axis at x=1.

Figure 2. The graph of f(x)=lnxf(x)=lnx shows that it is a continuous function.

Example: Calculating Derivatives of Natural Logarithms

Calculate the following derivatives:

  1. ddxln(5x3βˆ’2)ddxln(5x3βˆ’2)
  2. ddx(ln(3x))2ddx(ln(3x))2

Try It

Calculate the following derivatives:

  1. ddxln(2x2+x)ddxln(2x2+x)
  2. ddx(ln(x3))2ddx(ln(x3))2

Watch the following video to see the worked solution to the above Try It.

Try It

Note that if we use the absolute value function and create a new function ln|x|,ln|x|, we can extend the domain of the natural logarithm to include x<0.x<0. Then (d/(dx))ln|x|=1/x.(d/(dx))ln|x|=1/x. This gives rise to the familiar integration formula.

Integral of (1/uu) du


The natural logarithm is the antiderivative of the function f(u)=1/u:f(u)=1/u:

∫1udu=ln|u|+C∫1udu=ln|u|+C

 

Example: Calculating Integrals Involving Natural Logarithms

Calculate the integral ∫xx2+4dx.∫xx2+4dx.

Try It

Calculate the integral ∫x2x3+6dx.∫x2x3+6dx.

Watch the following video to see the worked solution to the above Try It.

Try It

Although we have called our function a β€œlogarithm,” we have not actually proved that any of the properties of logarithms hold for this function. We do so here.

Properties of the Natural Logarithm


If a,b>0a,b>0 and rr is a rational number, then

  1. ln1=0ln1=0
  2. ln(ab)=lna+lnbln(ab)=lna+lnb
  3. ln(ab)=lnaβˆ’lnbln(ab)=lnaβˆ’lnb
  4. ln(ar)=rlnaln(ar)=rlna

Proof

  1. By definition, ln1=∫111tdt=0.ln1=∫111tdt=0.
  2. We have
    ln(ab)=∫ab11tdt=∫a11tdt+∫aba1tdt.ln(ab)=∫ab11tdt=∫a11tdt+∫aba1tdt.

    Use u-substitutionu-substitution on the last integral in this expression. Let u=t/a.u=t/a. Then du=(1/a)dt.du=(1/a)dt. Furthermore, when t=a,u=1,t=a,u=1, and when t=ab,u=b.t=ab,u=b. So we get

    ln(ab)=∫a11tdt+∫aba1tdt=∫a11tdt+∫ab1atΒ·1adt=∫a11tdt+∫b11udu=lna+lnb.ln(ab)=∫a11tdt+∫aba1tdt=∫a11tdt+∫ab1atβ‹…1adt=∫a11tdt+∫b11udu=lna+lnb.

     

  3. Note that
    ddxln(xr)=rxrβˆ’1xr=rx.ddxln(xr)=rxrβˆ’1xr=rx.

    Furthermore,

    ddx(rlnx)=rx.ddx(rlnx)=rx.

    Since the derivatives of these two functions are the same, by the Fundamental Theorem of Calculus, they must differ by a constant. So we have

    ln(xr)=rlnx+Cln(xr)=rlnx+C

    for some constant C.C. Taking x=1,x=1, we get

    ln(1r)=rln(1)+C0=r(0)+CC=0.ln(1r)=rln(1)+C0=r(0)+CC=0.

    Thus ln(xr)=rlnxln(xr)=rlnx and the proof is complete. Note that we can extend this property to irrational values of rr later in this section.
    Part iii. follows from parts ii. and iv. and the proof is left to you.

β—Ό

Example: Using Properties of Logarithms

Use properties of logarithms to simplify the following expression into a single logarithm:

ln9βˆ’2ln3+ln(13) 

Try It

Use properties of logarithms to simplify the following expression into a single logarithm:

ln8βˆ’ln2βˆ’ln(14).

Defining the Number e

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

Definition


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=1/t between t=1 and t=e is 1 (Figure 3). 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.)

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 number e can be shown to be irrational, although we won’t do so here (see the activity in Taylor and Maclaurin Series in Calculus 2). Its approximate value is given by

eβ‰ˆ2.71828182846