The final derivative type that we need to investigate is the derivatives of exponential and logarithmic functions.
First, let’s refresh on the definition of exponential and logarithmic functions. An exponential function is a function in the form , where a is some constant in the real numbers. There is a special exponential function, which is . This constant, e, is known as Euler’s number. It is a number that appears often in natural phenomena and has some special properties. The most interesting property to us is related to its derivative, which we will define now.
This definition reveals what is so special about . It is a function whose derivative is itself, which is something we haven’t seen before. Let’s prove that this is true.
At this point, we are stuck since we have no way to evaluate . Let’s see if we can find an answer to what it might be. Let’s look at a graph of and see what the functions behaviour is around h = 0.
As you can see, from the left and right the function appears to approach 1. This tells us that .
This result is important because we can prove the more general derivatives of exponentials and logarithms using it. Before we do this though, we need to find one more derivative related to the inverse of .
For exponential functions, there exists an inverse operation, known as a logarithm. For some exponential, , we have an inverse . For , we define a special logarithm, called . This is simply , we just give it a special name. We will next take a look at the derivative of .
To prove this, we can apply implicit differentiation.
Since we know that , we can substitue this to get
Knowing both results, we can now take on the more general exponential and logarithmic functions.
To prove this, we start by taking the ln of both sides of the equation. This gives us:
We can then apply power rules and implicit differentiation to get the result.
Since we know that in this problem, , we get:
We can find the derivative of logarithmic functions in a similar way.
If , then
From here we can apply implicit differentiation.
Since we know that , we can substitute it to get:
This gives us a full set of rules to handle exponential functions, meaning we can now take the derivatives of most functions we encounter.