# The Derivative of the Natural Logarithm

Originally published: 2011-12-25
Canonical URL: /2011/Dec/the-derivative-of-the-natural-logarithm/

Most people learn during their study of the differential and integral calculus that the derivative of the natural logarithm ln _x_ is the reciprocal function 1/_x_. Indeed, sometimes the natural logarithm is _defined_ as $$ \int_1^x \frac{1}{t}\,dt$$. However, on observing the graphs of ln _x_ and 1/_x_, the inquisitive seeker of knowledge can hardly fail to notice a disturbing anomaly:

[![y=ln(x)]({static}/images/lnx3.png "y=ln(x)")]({static}/images/lnx3.png) [![y=1/x]({static}/images/reciprocalx2.png "y=1/x")]({static}/images/reciprocalx2.png)

The natural logarithm is only defined for _positive_ numbers; no part of its graph lies in quadrants II or III. But the reciprocal function is defined for all nonzero numbers. So (one _cannot_ help oneself but wonder) how could the latter be the derivative of the former? If the graph of the natural logarithm isn't _there_ to be differentiated in the left half of the plane, how could its derivative be defined in that region?
Some would-be explorers lose all hope or sanity in the face of such bizarre and inexplicable mysteries, but even those brave souls who manage to retain their wits are not guaranteed success: many (who can say but that most?) will die never knowing the answer. But not you, dear reader!—for in this very post, I will share with you the _true secret_ of the derivative of the natural logarithm! Some people may find some of what I am about to say somewhat disturbing, even frightening. But if your love of truth exceeds your fear of the unknown, keep reading, and I will show you the strange world that lies beneath these familiar and seemingly innocent graphs.

You see, dear reader, the natural logarithm is not what we think it is. Your typical person-in-the-street hears talk of the natural logarithm and says, "Oh, sure, I know all about ln _x_; that's just the exponent you put on base _e_ to get _x_." And, to be fair, it is. But it's also so much more! Ask our person-in-the-street what exponent you put on base _e_ to get negative three, and no doubt she will regard you as mad. "Manifestly," we can imagine her replying, "_manifestly_ there's no such thing. The exponential function _ex_ is always positive." And, to be fair, it is—_if_ you _arbitrarily restrict your mind_ to the mundane, oppressive, and _boring_ magisterium of the so-called "real" numbers!

Probably the dear reader is already familiar with the numbers which are said to be _complex_, those of the form a + b$i$, where $i$ is the square root of negative one. (To those who object that taking the square root of a negative number is a feat that simply cannot be done, the proper reply is only, _"Watch me!"_) The reader may furthermore recall the Euler formula $e^{ix} = \cos x + i \sin x$, source of the much-marveled-at identity $e^{\pi i} = -1$. With these prerequisites understood, it's quite reasonable to suspect that if we have a complex exponential, its inverse must be the complex logarithm, and that true apprehension of the nature of such is the key insight that will let us resolve the mystery at hand. And this does, in fact, turn out to be the case—but _not so fast_.

There is a difficulty here that must be explained. The dear reader may still yet furthermore recall that to say that a function is invertible is to say that it is both _injective_ (which is to say that every element in the codomain is mapped to by _at most_ one element in the domain, which is to say that distinct inputs have distinct outputs) and _surjective_ (which is to say that every element in the codomain is mapped to by _at least_ one element in the domain, which is to say that our codomain only includes actual outputs of our function). And dear reader, it turns out (to our great horror and distress) that the complex exponential is _not injective_! Was our dream of a complex logarithm nothing but a gaudy delusion?

On further consideration, however, it becomes clear that the situation is not so bad as all that. Probably the dear reader has faced analogous difficulties before. Recall that positive numbers actually have _two_ square roots, a positive one and a negative one, and yet we casually designate the positive one as the _principal_ square root, yielding us a square root function. We use a similar technique to define inverse trigonometric functions. Is it ugly? Yes. But does it work? Apparently.

So we can perform the same kind of surgical horror in order to get a proper function out of the complex logarithm idea: pick a ray emanating from the origin in the complex plane and _cut_ the logarithm there—but I'll spare the dear reader the grisly details, which can be found in any standard text on complex analysis.

There is, however, another point of view. The reason a function needs to be injective in order to be invertible is because _functions_ are _defined_ such that each input has a unique output. There are reasons for defining it that way, but it is ultimately only a _definition_, a convention for what we mean when we use the world _function_, and mere definitions can't coerce true facts into being something other than what they are. Just because a non-injective function doesn't have an inverse function doesn't mean we can't talk about that-which-inverts-it; it only means that for clear communication, we should avoid calling the inverting-thing a _function_. Just call it a _multifunction_ or a _relation_ instead. (One can even imagine that if the history of mathematical inquiry had gone differently, we might call multifunctions _functions_ and functions (say) _deterministic functions_, although some would argue that it is useless and idle to speculate about worlds that are not our own.)

So if we understand the complex logarithm multifunction as that-which-inverts the complex exponential, then we can understand the logarithm of a negative number $-x_0$ as $\ln x_0 + (2n+1)\pi i$ where $n \in \mathbb{Z}$, because $e^{\ln x_0 + (2n+1)\pi i} = e^{\ln x_0}e^{(2n+1)\pi i} = -e^{\ln x_0} = -x_0$.

But now we are ready to resolve the mystery that we set out to explain, of why the reciprocal function is the derivative of the natural logarithm even though no real number is the logarithm of a negative number, for now it is plain to see that the logarithm of a negative number is complex, but the _derivative_ of the logarithm is real, because the imaginary part is a constant that drops out when we take the derivative:

$$ f'(-x_0) = \lim_{h \to 0} \frac{f(-x_0+h)-f(x_0)}{h} = \lim_{h \to 0} \frac{(\ln{(x_0 - h)} + (2n+1)\pi i) - (\ln{x_0} + (2n+1)\pi i)}{h}$$

$$ = \lim_{h \to 0} \frac{\ln{(x_0 - h)} - \ln{x_0}}{h}$$

—which turns out to be $-1/x_0$, as expected.

Some might object that this argument is so sloppy as to be treacherous, misleading, and invalid: we've brazenly assumed that the definition of the derivative familiar from the study of the single-variable calculus can be applied to this complex-valued thing that _isn't even a function_, with no concern for preciseness, rigor, or even the Cauchy-Riemann conditions. But look. Presented with a procedure that _makes sense_ and _gives the right answer_, perhaps the dear reader would be so kind as to cut me some goddam slack? I would be ever so much obliged.