Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

There are so many available bases. Why is the strange number $e$ preferred over all else?

Of course one could integrate $\frac{1}x$ and see this. But is there more to the story?

share|improve this question
$\frac11>\ln\frac21>\frac12>\ln\frac32>\frac13>\ln\frac43>\dots$ This infinite system of inequalities is not true for other bases. –  columbus8myhw Dec 5 at 5:14
$1+\frac12+\frac13+\dotsb+\frac1n\approx\ln n$, for large $n$. –  columbus8myhw Dec 5 at 5:16
$\ln(1+x)\approx x$ when $x$ is small. For example, $\ln(1.00001)=0.000009999950000\dots$ This isn't really true for other bases. –  columbus8myhw Dec 5 at 5:18
$\ln(1+x)=x-\frac{x^2}2+\frac{x^3}3-\frac{x^4}4+\dotsb$ when $-1<x\le1$. In particular, $1-\frac12+\frac13-\frac14+\dotsb=\ln2$. The other bases don't have nice series like that. –  columbus8myhw Dec 5 at 5:20
In a sense, $\ln(-1)=\pi i$, but this probably looks meaningless to you. –  columbus8myhw Dec 5 at 5:23

7 Answers 7

up vote 30 down vote accepted

If you know some linear algebra, then here is an abstract reason: $e^x$ is the unique eigenvector of eigenvalue $1$ of the derivative $D$ acting on, say, the space of smooth functions on $\mathbb{R}$. Why is this important? The study of solutions of linear differential equations with constant coefficients is equivalent to the study of nullspaces of operators which are polynomials in $D$, e.g. operators of the form $\sum a_k D^k$. Any such operator automatically commutes with $D$, so this nullspace splits up into eigenspaces of $D$. That's why solutions to linear differential equations with constant coefficients can be expressed as sums of complex exponentials. The choice of $e$ makes it particularly easy to see what the eigenvalue is: the eigenvalue of the eigenvector $e^{\lambda x}$ is $\lambda$.

share|improve this answer
I would think that very few function are eigenvectors of the Derivative operator. In fact, I'd be curious to know if there are any others besides the exponentials and even some sums of sinusoidals/hyperbolics. –  crasic Nov 9 '10 at 8:36
@crasic: it's just the exponentials. However, functions of the form x^k e^{lambda x} are generalized eigenvectors of the derivative operator, so these are the full set of functions you need to solve homogeneous constant-coefficient linear ODEs. –  Qiaochu Yuan Nov 9 '10 at 9:07
This is a nice explanation of the relation between D and exponentials, but I don't see how it answers the original question, i.e. why is eigenvalue 1 more important than any other eigenvalue? Except for the fact that 1 is a nice number (being a multiplicative identity and all), I don't see any rational argument why e should be preferred over any other base. –  Marek Nov 9 '10 at 13:26
@Marek: e^x is the trivial representation, and the trivial representation is always special (for example it is the identity object in the monoidal category of representations). –  Qiaochu Yuan Nov 9 '10 at 15:21
@Marek: I'm not talking about any action of R. I'm talking about certain subrepresentations of the representation of C[X] on C^{\infty}(R) where X acts as the derivative. The trivial representation is the one where X acts trivially (that is, is sent to the identity operator), and it occurs with multiplicity 1 and is spanned by e^x. –  Qiaochu Yuan Nov 10 '10 at 0:42

Differentiation and integration is precisely why it is considered natural, but not just because $$\displaystyle\int \frac{1}{x} dx=\ln x$$

$e^x$ has the two following nice properties

$$ \frac{d}{dx} e^x=e^x $$

$$ \int e^x dx=e^x+c $$

If we looked at $a^x$ instead, we would get:

$$\frac {d} {dx} a^x= \frac{d}{dx} e^{x\ln(a)}=\ln(a) \cdot a^x$$

$$\int a^x dx= \int e^{x\ln(a)} dx=\frac{a^x}{\ln(a)}+c$$

So $e$ is vital to the integration and differentiation of exponentials.

share|improve this answer

The wikipedia article on e tells a bit of the story.

One example is an account that starts with 1.00 and pays 100% interest per year. If the interest is credited once, at the end of the year, the value is 2.00; but if the interest is computed and added twice in the year, the 1 is multiplied by 1.5 twice, yielding 1.00×1.5² = $2.25. Compounding quarterly yields 1.00×1.254 = 2.4414…, and compounding monthly yields 1.00×(1.0833…)12 = 2.613035….

Bernoulli noticed that this sequence approaches a limit (the force of interest) for more and smaller compounding intervals. Compounding weekly yields 2.692597…, while compounding daily yields 2.714567…, just two cents more. Using n as the number of compounding intervals, with interest of 100%/n in each interval, the limit for large n is the number that came to be known as e; with continuous compounding, the account value will reach 2.7182818…. More generally, an account that starts at $1, and yields (1+R) dollars at simple interest, will yield eR dollars with continuous compounding.

Additionally, it is the base of the exponential function y = k^x, finding a specific value for k where d/dx k^x = k^x. That is, the rate of change of the exponential curve at any point is equal to the y value of the curve at that point.

share|improve this answer

The Wikipedia article about e lists many properties of the constant that make it naturally occurring.

I think the biggest reason it is natural when it comes to exponentiation/logarithms is that it is the only number that satisfies

$$ \frac{d}{dt} e^t =e^t $$ while every other number satisfies

$$ \frac{d}{dt} a^t = c \cdot a^t$$ where $c$ is some constant, different than 1. This makes it "normalized" in a sense.

share|improve this answer
$c = ln(a)$, isn't it? –  mikhailcazi Jul 26 '13 at 14:02

If you consider all exponential equations $a^x$, they all have $y$-intercept $(0,1)$. If you wanted to specify an archetypal exponential equation to refer to as you work through Calculus, a natural choice would be to choose the one whose tangent line at $(0,1)$ has slope 1. The equation $e^x$ is the unique exponential equation with that property.

share|improve this answer

I'm surprised I never answered this; maybe I was deterred by the fact that several other answers are here.

One short answer is this: An exponential function $y=a^x$ grows at a rate proportional to its present size, but only when the base is $e$ does it grow at a rate equal to its present size. In other words $$ \frac{d}{dx} a^x = \left(\text{constant}\cdot a^x \right), $$ but only when $a=e$ is the "constant" equal to $1$.

The number $a=2$ is too small for this to happen. To see that consider $$ \frac{d}{dx} 2^x = \lim_{h\to0} \frac{2^{x+h}-2^x}{h} = \lim_{h\to0}2^x\frac{2^h-1}{h} $$ This last limit is equal to $\displaystyle 2^x \lim_{h\to0}\frac{2^h-1}{h}$. That step can be done because $2^x$ is a "constant", but in this instance, "constant" means "not depending on $h$". Then observe that $\displaystyle\lim_{h\to0}\frac{2^h-1}{h}$ is a "constant", where "constant" now means "not depending on $x$".

So $$ \frac{d}{dx} 2^x = \left(\text{constant}\cdot 2^x\right). $$ But what number is this "constant"? Notice that as $x$ increases from $0$ to $1$, $2^x$ increases from $1$ to $2$, so the average slope on that interval is $\dfrac{2-1}{1-0}=1$. Since the curve gets steeper as $x$ increases, it's not yet that steep at $x=0$. Its slope at $x=0$ is $\left.\dfrac{d}{dx}2^x\right|_{x=0}=\left(\text{constant}\cdot2^0\right)$, so that "constant" must be less than $1$.

A similar argument shows that if $4$ is used as the base, the "constant" is more than $1$. This is done by using the interval from $-1/2$ to $0$ instead of the interval from $0$ to $1$.

So $2$ is to small, and $4$ is too big, to be the natural base. $e$ must be somewhere between $2$ and $4$. In a similar way one can show that $3$ is to big, but that's where the previously simple arithmetic gets messy. Use the interval from $-1/6$ to $0$ for that.

share|improve this answer

A few months ago when I was learning LaTeX, I wrote a quick page to test its math rendering. I never though it'd help anyone, but here it is.

Logarithmic Growth Model

The first sentence is key.

The logarithmic growth model is defined by its proportionality of rate of growth to population size.

share|improve this answer
But the fact is that you could have used log to any other base. –  user218 Jul 27 '10 at 21:02
The proportion N'(t) ~ N(t) can be written as an example "The growth rate of a bacteria colony is proportional to the population of the bacteria." This makes sense because an increase in number of bacteria will directly increase its growth. Thus, a function that is its own derivative is needed. If you were to guess and check each base, you would find that the number e is the only solution. This section should answer your original question if you know what you're looking for. –  Vortico Jul 27 '10 at 21:14
If the condition is just “The growth rate is proportional to the population” as you say, then any exponential function $a^x$ satisfies this, not just $e^x$. –  Peter LeFanu Lumsdaine Dec 2 '12 at 8:52

protected by Marvis Dec 23 '12 at 7:48

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?