$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\kernel}{\mathrm{null}\,}$$ $$\newcommand{\range}{\mathrm{range}\,}$$ $$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$ $$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$ $$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$ $$\newcommand{\Span}{\mathrm{span}}$$

# 3.8: Derivatives of Inverse Functions and Logarithms

[ "article:topic" ]

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

As with the sine, we do not know anything about derivatives that allows us to compute the derivatives of the exponential and logarithmic functions without going back to basics. Let's do a little work with the definition again:

\eqalign{ {d\over dx}a^x&=\lim_{\Delta x\to 0} {a^{x+\Delta x}-a^x\over \Delta x}\cr& =\lim_{\Delta x\to 0} {a^xa^{\Delta x}-a^x\over \Delta x}\cr& =\lim_{\Delta x\to 0} a^x{a^{\Delta x}-1\over \Delta x}\cr& =a^x\lim_{\Delta x\to 0} {a^{\Delta x}-1\over \Delta x}.\cr }

There are two interesting things to note here: As in the case of the sine function we are left with a limit that involves $$\Delta x$$ but not $$x$$, which means that whatever $$\lim_{\Delta x\to 0} (a^{\Delta x}-1)/\Delta x$$ is, we know that it is a number, that is, a constant. This means that $$a^x$$ has a remarkable property: its derivative is a constant times itself.

We earlier remarked that the hardest limit we would compute is $$\lim_{x\to0}\sin x/x=1$$; we now have a limit that is just a bit too hard to include here. In fact the hard part is to see that $$\lim_{\Delta x\to 0} (a^{\Delta x}-1)/\Delta x$$ even exists---does this fraction really get closer and closer to some fixed value? Yes it does, but we will not prove this fact.

We can look at some examples. Consider $$(2^x-1)/x$$ for some small values of $$x$$: 1, $$0.828427124$$, $$0.756828460$$, $$0.724061864$$, $$0.70838051$$, $$0.70070877$$ when $$x$$ is 1, $$1/2$$, $$1/4$$, $$1/8$$, $$1/16$$, $$1/32$$, respectively. It looks like this is settling in around $$0.7$$, which turns out to be true (but the limit is not exactly $$0.7$$). Consider next $$(3^x-1)/x$$: $$2$$, $$1.464101616$$, $$1.264296052$$, $$1.177621520$$, $$1.13720773$$, $$1.11768854$$, at the same values of $$x$$. It turns out to be true that in the limit this is about $$1.1$$.

Two examples don't establish a pattern, but if you do more examples you will find that the limit varies directly with the value of $$a$$: bigger $$a$$, bigger limit; smaller $$a$$, smaller limit. As we can already see, some of these limits will be less than 1 and some larger than 1. Somewhere between $$a=2$$ and $$a=3$$ the limit will be exactly 1; the value at which this happens is called $$e$$, so that

$\lim_{\Delta x\to 0} {e^{\Delta x}-1\over \Delta x}=1.$

As you might guess from our two examples, $$e$$ is closer to 3 than to 2, and in fact $$e\approx 2.718$$.

Now we see that the function $$e^x$$ has a truly remarkable property:

\eqalign{ {d\over dx}e^x&=\lim_{\Delta x\to 0} {e^{x+\Delta x}-e^x\over \Delta x}\cr& =\lim_{\Delta x\to 0} {e^xe^{\Delta x}-e^x\over \Delta x}\cr& =\lim_{\Delta x\to 0} e^x{e^{\Delta x}-1\over \Delta x}\cr& =e^x\lim_{\Delta x\to 0} {e^{\Delta x}-1\over \Delta x}\cr& =e^x.\cr }

That is, $$e^x$$ is its own derivative, or in other words the slope of $$e^x$$ is the same as its height, or the same as its second coordinate: The function $$f(x)=e^x$$ goes through the point $$(z,e^z)$$ and has slope $$e^z$$ there, no matter what $$z$$ is. It is sometimes convenient to express the function $$e^x$$ without an exponent, since complicated exponents can be hard to read. In such cases we use $$\exp(x)$$, e.g., $$\exp(1+x^2)$$ instead of $$e^{1+x^2}$$.

What about the logarithm function? This too is hard, but as the cosine function was easier to do once the sine was done, so the logarithm is easier to do now that we know the derivative of the exponential function. Let's start with $$\log_e x$$, which as you probably know is often abbreviated $$\ln x$$ and called the "natural logarithm'' function.

Consider the relationship between the two functions, namely, that they are inverses, that one "undoes'' the other. Graphically this means that they have the same graph except that one is "flipped'' or "reflected'' through the line $$y=x$$, as shown in Figure $$\PageIndex{1}$$.

Figure $$\PageIndex{1}$$: The exponential (green) and logarithmic (blue) functions. As inverses of each other, their graphs are reflections of each other across the line $$y=x$$ (dashed).

This means that the slopes of these two functions are closely related as well: For example, the slope of $$e^x$$ is $$e$$ at $$x=1$$; at the corresponding point on the $$\ln(x)$$ curve, the slope must be $$1/e$$, because the "rise'' and the "run'' have been interchanged. Since the slope of $$e^x$$ is $$e$$ at the point $$(1,e)$$, the slope of $$\ln(x)$$ is $$1/e$$ at the point $$(e,1)$$.