Note: Exponential Differentiation

Steve Trettel

April 15, 2024 |

Here’s the calculation that shows if you define an exponential as a merely continuous solution to $E (x + y) = E (x) E (y)$ then in fact it is differentiable. Even better we can explicitly calculate and find the derivative, and do so inductively, proving exponentials are smooth.

(Exponential Functions)

An exponential function is a continuous nonconstant function $E : R \to R$ satisfying the law of exponents

E (x + y) = E (x) E (y)

for all $x, y \in R$ .

This is a functional characterization of exponentials; we don’t specify a formula for how to compute the function but instead we specify how the function ought to behave. There are several facts about exponentials we will need, that follow directly from this definition:

$E (0) = 1$
Exponentials are nonzero.
Exponentials are monotone.
Exponentials are convex.

These are proven in a previous note introducing the functional characterization. We also need some general theorems from analysis about such functions

The difference quotients of a convex function are monotone
Left and Right-hand limits of monotone functions exist

We do not prove these, but they can be found in many undergraduate analysis texts. Alright lets get on with it!

(Differentiating Exponentials)

Let $E (x)$ be an exponential function. Then $E$ is differentiable on the entire real line, and

E^{'} (x) = E^{'} (0) E (x)

First we show that this formula holds so long as $E$ is actually differentiable at zero. Thus, differentiability at a single point is enough to ensure differentiability everywhere and fully determine the formula!

Let $x \in R$ , and $h_{n} \to 0$ . Then we compute $E^{'} (x)$ by the following limit:

E^{'} (x) = lim \frac{E (x + h_{n}) - E (x)}{h_{n}}

Using the property of exponentials and the limit laws, we can factor an $E (x)$ out of the entire numerator:

= lim \frac{E (x) E (h_{n}) - E (x)}{h_{n}} = E (x) lim \frac{E (h_{n}) - 1}{h_{n}}

But, $E (0) = 1$ so the limit here is actually the *derivative of $E$ at zero$!

E^{'} (x) = E (x) E^{'} (0)

Next, we tackle the slightly more subtle problem of showing that $E$ is in fact differentiable at zero. This is tricky because all we have assumed is that $E$ is continuous and satisfies the law of exponents: how are we going to pull differentiability out of this? The trick is two parts (1) show the right and left hand limits defining the derivative exist, and (2) show they’re equal.

STEP 1: Show that the left and right hand limits defining the derivative exist: $E$ is convex so the difference quotient is monotone increasing, and so the limit $lim_{x \to 0^{-}}$ exists (as a sup) and $lim_{x \to 0^{+}}$ exists (as an inf).

STEP2: Now that we know each of these limits exist, let’s show they are equal using the definition:

To compute the lower limit, we can choose any sequence approaching $0$ from below: let $h_{n}$ be a positive sequence with $h_{n} \to 0$ , then $- h_{n}$ will do:

lim_{h \to 0^{-}} \frac{E (h) - 1}{h} = lim \frac{E (- h_{n}) - 1}{- h_{n}}

We can calculate $E (- h_{n})$ by the law of exponents: we know $E (0) = 1$ so $E (h_{n} - h_{n}) = 1$ , but this implies $E (h_{n}) E (- h_{n}) = 1$ so $E (- h_{n}) = 1 / E (h_{n})$ . Thus

\begin{aligned} lim \frac{E (- h_{n}) - 1}{- h_{n}} & = lim \frac{\frac{1}{E (h_{n})} - 1}{- h_{n}} \\ = lim \frac{1 - E (h_{n})}{- h_{n}} \frac{1}{E h_{n}} \\ = lim \frac{E (h_{n}) - 1}{h_{n}} \frac{1}{E (h_{n})} \end{aligned}

But, since $E$ is continuous (by definition) and $E (0) = 1$ the limit theorems imply

lim \frac{1}{E (h_{n})} = \frac{1}{lim E (h_{n})} = \frac{1}{E (lim h_{n})} = \frac{1}{E (0)} = 1

Thus,

\begin{aligned} lim (\frac{E (h_{n}) - 1}{h_{n}} \frac{1}{E (h_{n})}) \\ = (lim \frac{E (h_{n}) - 1}{h_{n}}) (lim \frac{1}{E (h_{n})}) \\ = lim \frac{E (h_{n}) - 1}{h_{n}} \end{aligned}

But this last limit evaluates exactly to the limit from above since $h_{n} > 0$ and $h_{n} \to 0$ . Stringing all of this together, we finally see

lim_{h \to 0^{-}} \frac{E (h) - 1}{h} = lim_{h \to 0^{+}} \frac{E (h) - 1}{h}

So both one sided limits exist and are equal, which implies the entire limit exists: $E$ is differentiable at $0$ .

Consequences

This theorem tells us that the exponential functions have a remarkable property: they are their own derivatives, up to a constant multiple. This has several useful consequences:

(Derivative is Nonzero) Let

E

be an exponential function, so

E^{'} (x) = k E (x)

for

k = E^{'} (0)

. Then

k \neq 0

k = 0

then

E^{'} (x) = 0

for all

x

. But then the mean value theorem implies that

E

is constant, contradicting the definition of exponential.

Also, because we know how to differentiate constant multiples, this lets us calculate arbitrary derivatives of exponentials:

E^{''} (x) = {[E^{'} (x)]}^{'} = {[k E (x)]}^{'} = k [E (x)]^{'} = k^{2} E (x)

Continuing this inductively we get arbitrary derivatives $E^{(n)} (x) = k^{n} E (x)$ , where we have written $k$ for the value of $E^{'} (0)$

Exponentials are smooth functions.

Next we see that the theory of exponentiation alone does not further the possible values of $k$ :

(Composing with Linear) Composing an exponential with

ℓ (x) = k x

for

k \neq 0

results in another exponential.

Let $E$ be an exponential and $ℓ (x) = k x$ be linear. Since $ℓ$ is continuous and $ℓ (x + y) = k (x + y) = k x + k y = ℓ (x) + ℓ (y)$ , the composition $E \circ ℓ$ is a continuous nonconstant solution to the Law of Exponents:

(E \circ ℓ) (x + y) = E (ℓ (x + y)) = E (ℓ (x) + ℓ (y)) = E (ℓ (x)) E (ℓ (y)) = (E \circ ℓ) (x) (E \circ ℓ) (y)

If there exists at least one exponential function, then there is an exponential with

E^{'} (x) = k

for every nonzero

k \in R

Let $E$ be an exponential function, and $k$ nonzero. Then define $ℓ (x) = \frac{k}{E^{'} (0)}$ , and note the composition $E = E \circ ℓ$ is an exponential by our previous work. But differentiating this with the chain rule yields

\begin{aligned} E^{'} (x) & = (E \circ ℓ)^{'} (x) \\ = E^{'} (ℓ (x)) ℓ^{'} (x) \\ = E^{'} (0) E (ℓ (x)) \frac{k}{E^{'} (0)} \\ = k E (ℓ (x)) \\ = k E (x) \end{aligned}

So $E$ is an exponential whose derivative is $k$ times itself, as required.

While the functional equation alone did not provide us any means of distinguishing between different exponential functions, differentiation selects a single best, or simplest exponential out of the lot: the one where that constant multiple is just $1$ ! So long as there is any exponential at all, this must also exist, by the above. So we give it a name

We write

\exp (x)

for the exponential function which has

\exp^{'} (0) = 1

Application: Uniqueness of Solutions to $y^{'} = y$

Above we’ve seen that all exponential functions are differentiable and satisfy $E^{'} (x) = k E (x)$ for some nonzero $k$ . But we can go beyond this, and actually show that every solution to this differential equation with $E (0) = 1$ is an exponential. Of course, this would follow trivially if we had the existence and unqiueness for first order ODEs handy, but one doesn’t usually have that by this point in an analysis course, so I’ll just record the independent argument here, specialized to the case $\exp (x)$ .

Assuming the existence of exponential functions, the only solution to

y^{'} = y

with

y (0) = 1

is the exponential

\exp (x)

If any exponential exists we know that $\exp$ exists by the above. Let $f$ be any solution to our differential equation, so $f^{'} (x) = f (x)$ and $f (0) = 1$ . The trick is to consider the function $g (x) = f (x) / \exp (x)$ and show its constant. Taking the derivative,

g^{'} (x) = {(\frac{f (x)}{\exp (x)})}^{'} = \frac{f^{'} (x) \exp (x) - f (x) \exp^{'} (x)}{\exp (x)^{2}}

using the fact that $\exp^{'} = \exp$ by above, and $f^{'} = f$ by assumption, the numerator is zero:

f^{'} (x) \exp (x) - f (x) \exp^{'} (x) = f (x) \exp (x) - f (x) \exp (x) = 0

Thus $g^{'} (x) = 0$ for all $x$ , and $g$ is constant. To find the value of $g$ we need only evaluate it at a point

g (0) = \frac{f (0)}{\exp (0)} = \frac{1}{1} = 1

Thus $f (x) / \exp (x) = 1$ for all $x$ , so

f (x) = \exp (x)

◀ Note: Exponential Integration

Note: Exponential Properties ▶

Note: Exponential Differentiation

Consequences

Application: Uniqueness of Solutions to y′=y

Application: Uniqueness of Solutions to $y^{'} = y$