Chapter 6 | Applications of Integration
721
6.7 | Integrals, Exponential Functions, and Logarithms Learning Objectives 6.7.1 Write the definition of the natural logarithm as an integral. 6.7.2 Recognize the derivative of the natural logarithm. 6.7.3 Integrate functions involving the natural logarithmic function. 6.7.4 Define the number e through an integral. 6.7.5 Recognize the derivative and integral of the exponential function. 6.7.6 Prove properties of logarithms and exponential functions using integrals. 6.7.7 Express general logarithmic and exponential functions in terms of natural logarithms and exponentials. We already examined exponential functions and logarithms in earlier chapters. However, we glossed over some key details in the previous discussions. For example, we did not study how to treat exponential functions with exponents that are irrational. The definition of the number e is another area where the previous development was somewhat incomplete. We now have the tools to deal with these concepts in a more mathematically rigorous way, and we do so in this section. For purposes of this section, assume we have not yet defined the natural logarithm, the number e , or any of the integration and differentiation formulas associated with these functions. By the end of the section, we will have studied these concepts in a mathematically rigorous way (and we will see they are consistent with the concepts we learned earlier). We begin the section by defining the natural logarithm in terms of an integral. This definition forms the foundation for the section. From this definition, we derive differentiation formulas, define the number e , and expand these concepts to logarithms and exponential functions of any base. The Natural Logarithm as an Integral Recall the power rule for integrals: ∫ x n dx = x n +1 n +1 + C , n ≠−1. Clearly, this does not work when n =−1, as it would force us to divide by zero. So, what do we do with ∫ 1 x dx ? Recall from the Fundamental Theorem of Calculus that ∫ 1 x 1 t dt is an antiderivative of 1/ x . Therefore, we can make the following definition.
Definition For x >0, define the natural logarithm function by
x
(6.24)
ln x = ∫
1 t dt .
1
For x >1, this is just the area under the curve y =1/ t from 1 to x . For x <1, we have ∫ 1 x 1 t dt =− ∫ x 1 1 t dt , so in this case it is the negative of the area under the curve from x to1 (see the following figure).
Made with FlippingBook - professional solution for displaying marketing and sales documents online