## Tuesday, May 29, 2018

### A look at the Euler’s number: e

Originally Posted on  by

I’ve never particularly liked the way , Euler’s number, is introduced in textbooks. Most approaches give me a very limited intuitive feel for what  actually is. Modern textbooks appear to use one of four common ways to introduce e, and only one of them gives me a semblance of an intuitive feel for . These approaches include computing compound interest (I think this is one of the worst), integrating  and noting that the area from 1 to the value of e is one (amazing but so what?), looking at the slope of  at , the slope is one when  (yes ok, and…) and finally the one I like is starting with  and finding the power series solution and then using this to define .

Before continuing let’s state what e is numerically equal to:

e = 2.71828….

For normal algebra, all we need are addition, and multiplication (subtraction and division are just alternative forms of these). For convenience, we also introduce a power notation such as  and , but these are just a short-hand notation for doing lots of multiplications at once. With the introduction of trigonometry which involves relationships between sides and angles of triangles, the basic algebra becomes cumbersome because it involves the use of infinite series. Rather than writing the series down all the time, we define short-cut names such as sine, cosine etc. Calculus brings us another special type of series which involves the solution to differential equations. The short-cut notation for this series is .

Note that in all these cases we are still only doing addition and multiplication. The functions sine and  are just short-hand for particular combinations of addition and multiplication that happen to be in the form of an infinite series.

Given that  pops up in the form of  when solving differential equations, I think this is the place to start. Let’s consider the simplest possible non-trivial differential equation:

This equation is saying something quite interesting, that the derivative of  is the same as . What this means is that if we were to find a solution to this differential equation, the solution would have to also equal . We can express the above equation in the form:

this perhaps makes it more obvious that the derivative is the same as the function . Can we find an actual function that is like this? The way to find this answer is to define  as a general power series:

We now differentiate this with respect to  to give:

To find the function  that also equals  we need to discover the values for the coefficients, , etc. To make it easier, let’s decide that when , the value of  is one, i.e: . This will mean that . What we’ll now do is match up the pairs of terms in  and , that is set:  and so on.

This allows us to state that:  and so on. Working back by subsituting  into the  equation and  into the  equation, and so on leads to the result that:

We therefore conclude that the equation,  that satisfies  is:

You can easily check by differentiating , you’ll get  again. The solution to  must therefore also be:

Not to labor the point too much, but differentiate  and you’ll get the equivalence .

Let us define the value of the series when  to be:

For convenience we will call this value :

The next question is, if  then what does  equal?

I’m going to make a jump here and propose that . From first principles, we can work out the derivative of  and remarkably it is ! You’ll find a proof at the excellent Paul’s Online Math Notes

Let’s now use the Maclaurin series to find an approximation to . The Maclaurin series is a Taylor series centered on zero, that is:

Since the derivative of  is , as well as the third, fourth fifth derivatives etc and noting that  at  is one then we can write:

But this is just the solution to , — see equation (1) — therefore we conclude that:

It is also worth noting that the derivative for the general exponential  is given by:

In other words the derivative of  is the special case where . One reason why  is special is that its the purest exponential in the sense that the derivative has no scaling factor. It’s the canonical exponential, the simplest possible. It’s the only exponential function where the function and its derivative are identical.

What else can we say about ? What about its rate of increase? We know that the rate of increase is itself, , but how fast is that? One way to look at this is to derive the relative increase in . The relative growth rate is defined by:

Given this definition, let’s look first at how fast  is increasing by computing

If we now do the same for  we find:

In other words  is the only exponential function that increases at a rate equal to . For example if , it means that a 1% increase in  leads to a 1% increase in  while if  then a 1% increase in  leads to a 10% increase in . This is the characteristic of exponential functions, they increase at an ever increasing rate. Contrast this with a power term such as . If we compute the relative increase for  we find it has a fixed increase of 2:

The growth of a bacterial colony follows this pattern, where the growth in the colony is a fixed percentage over time.