Can you derive e^x by first principles?

[FilupSmith]

Differentiation by first principles is as followed:
$$y'=\lim_{h\rightarrow 0}\dfrac {f\left( x+h\right) -f\left( x\right) }{h}$$
So, assuming that $y= e^{x},$ can we prove, using first principle, that:
$$\dfrac{dy}{dx}\left( e^{x}\right) =e^x$$

Or is there other methods that are primarily used to do so? Just curious, because my working lead me
to the final end of:
$$y'=\lim_{h\rightarrow 0}\dfrac {e^{x}\left( e^{h}-1\right) }{h}$$

 

[MisterX]

I think you need to pick a starting definition for "e" at least.

 

[FilupSmith]

I think you need to pick a starting definition for "e" at least.

I am referring to e=2.71828...~| FilupSmith |~

 

[Char. Limit]

You pretty much have it right. Going any farther would require evaluating the limit
\lim_{h \rightarrow 0} \frac{e^h - 1}{h}

Now, there's various ways to do this, including by estimation (take extremely small values of h and see what they tend to), delta-epsilon stuff (which I never learned), or by taking the Taylor series of e^h. Every method should lead you to the same answer, though.

 

[FilupSmith]

Oh, ok. Thanks :)~| FilupSmith |~

 

[pwsnafu]

$e^h$ is the limit of $(1+\frac{h}{n})^n$ as $n\to\infty$. So
e^h-1 = (h/n)^n + n(h/n)^{n-1}+\ldots+n \frac{h}{n}
Divide everything by h, means you have a bunch of terms depending on h, and a 1. As $h\to0$, you are left with 1.

 

[gopher_p]

How you go about showing that $\frac{d}{dx}e^x=e^x$ depends on your definition(s) of the number $e$ and/or the function $f(x)=e^x$. See https://en.wikipedia.org/wiki/Characterizations_of_the_exponential_function for more details.

If we want to use the definition of the derivative to demonstrate that $\frac{d}{dx}e^x=e^x$, then the final step would involve showing that $\lim\limits_{h\rightarrow 0}\frac{e^h-1}{h}=1$. Again, how you go about this depends on your definition(s) of the number $e$ and/or the function $f(x)=e^x$. The calculus text that my school uses defines $e$ as the unique real number satisfying $\lim\limits_{h\rightarrow 0}\frac{e^h-1}{h}=1$. That may seem like cheating (it did to me at first), but ...

I recall an exercise in a more advanced course in which I was to show that all of the "standard" definitions for the exponential function were equivalent; that is that all of the characterizations actually described the same function. What might be disappointing to you is that at no time in that proof did I need to spend any effort showing that $\lim\limits_{h\rightarrow 0}\frac{e^h-1}{h}=1$ using anything like an $\epsilon-\delta$ argument. That fact was either "free" based on assumptions about the function, or it was irrelevant in showing that $\frac{d}{dx}e^x=e^x$.

Also, and this is just a pet peeve of mine, the verb is "differentiate", not "derive".

 

[FilupSmith]

Thank you very much!

Also, and this is just a pet peeve of mine, the verb is "differentiate", not "derive".

And I will be sure to remember that ;)~| FilupSmith |~

 

[Some_dude91]

Basically i had posted a similar question some time ago, but i finally got what i was doing wrong. Anyway, there are 2 ways of proving it, then one is the method you say, and the other is the chain rule.
A known fact is that (a^x)' = a^x * lna so if you replace "a" with "e" you get what you want.
The other way is this:
\frac{d}{dx} (e^x) = \lim_{\substack{h\rightarrow 0}} \frac{e^{x+h} - e^x}{h}

\frac{d}{dx} (e^x) = \lim_{\substack{h\rightarrow 0}} e^x \frac{e^h - 1}{h}

Now here comes a more comfortable solution of setting. Remember, h is NOT 0 it approaches 0.
You can set that e^h - 1 = t so you get for "h" that:
e^h = t + 1

h = \ln {(t + 1)}

This also means, e^h - 1 will also tend to 0.

\frac{d}{dx} (e^x) = \lim_{\substack{t\rightarrow 0}} e^x \frac{t}{\ln {(t + 1)}}

Exchanging e^x with t

\frac{d}{dx} (e^x) = \lim_{\substack{t\rightarrow 0}} t \frac{e^x}{\ln {(t + 1)}}

Now, knowing that a = \frac{1}{\frac{1}{a}} , we can invert the number "t" to multiply it with the denumerator.

\frac{d}{dx} (e^x) = \lim_{\substack{t\rightarrow 0}} \frac{e^x}{\ln {(1 + t)} * \frac{1}{t}}

\frac{d}{dx} (e^x) = \lim_{\substack{t\rightarrow 0}} \frac{e^x}{\ln {(1 + t)}^\frac{1}{t}}

Since "t" tends to 0, we get 1/t tends to infinity. Now what that reminds us of is that:

\lim_{\substack{n\rightarrow ∞}} (1 + \frac{1}{n})^n = e

We have here respectively that 1/n tends to 0 and the exponent outside tends to infinity. Much like our case here.

\frac{d}{dx} (e^x) = \lim_{\substack{t\rightarrow 0}} \frac{e^x}{\ln e}

\frac{d}{dx} (e^x) = e^x

 

[jostpuur]

If we define the e as

<br /> e = \lim_{N\to\infty}\Big(1 + \frac{1}{N}\Big)^N<br />

then by definition we have

<br /> e^x = \Big(\lim_{N\to\infty}\Big(1 + \frac{1}{N}\Big)^N\Big)^x<br />

It is not obvious at all how to get D_xe^x=e^x from that.

Do you know how to prove

<br /> e = 1 + 1 + \frac{1}{2} + \frac{1}{3!} + \frac{1}{4!} + \cdots<br />

When I was a high school kid, I thought I knew how to prove this. Then I completed some studies in university, and understood that in fact I had not known how to prove this. The problem is that the proof involves a change of order of a limit and an infinite series. Such change of order is never trivial, and the standard tool to deal with it would be the Lebesgue dominated convergence theorem. However, I have never bothered to go through the effort of finding what the suitable dominating function would be. So in the end, I still don't know how to prove this! Did I just help some people here to understand the same? That you have never really proven this?

Another question: How do you define a^x for arbitrary a,x\in\mathbb{R} with a&gt;0? Perhaps we assume that we have this defined for a\in\mathbb{Q}, and then we define it as

<br /> a^x = \lim_{N\to\infty} a_n^x<br />

where a_n\to a and a_n\in\mathbb{Q}? Again, I have not bothered to go through the effort of proving that this produces a well defined a^x, but I believe it can be done. Perhaps somebody here could dig something out of his or her notes, if you are familiar with this?

If we define a^x like that, and if we know that the definition is proper, then we get

<br /> e^x = \lim_{N\to\infty} \Big(1 + \frac{1}{N}\Big)^{Nx}<br />

By using the definition of the limit it can be proven that this is the same as

<br /> e^x = \lim_{N\to\infty} \Big(1 + \frac{x}{N}\Big)^N<br />

Next, do you know how to prove that this is

<br /> 1 + x + \frac{x^2}{2} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots<br />

It is not trivial, because an order of a limit and an infinite series must be changed again. Once that is accomplished, the worst is behind.

 

[jostpuur]

I remembered some things incorrectly. The most reasonable way to define a^x would be to define as a limit of a^{q_n} where q_n\in\mathbb{Q} such that q_n\to x.

Anyway, there is another problem. Suppose we have managed to prove that

<br /> \underset{N\in\mathbb{N}}{\lim_{N\to\infty}} \Big(1 +\frac{1}{N}\Big)^N<br />

converges. How do you prove that

<br /> \underset{\alpha\in\mathbb{R}}{\lim_{\alpha\to\infty}} \Big(1 + \frac{1}{\alpha}\Big)^{\alpha}<br />

converges too? It is obvious that if the second limit converges, it must be the same as the first one, but how do prove that the second limit does converge in the first place? Since the result is elementary, the use of exponential function or the logarithm is dangerous. Their use is allowed only if you can prove that you are not guilty of circular reasoning.

 

[FilupSmith]

Thank you guys. Your explanations were all very informative!

 

[HallsofIvy]

The simplest way to find the derivative of e^x from "first principles" is to start with completely different definitions!

It is perfectly valid to define ln(x) by ln(x)= \int_1^x \frac{dt}{t}.

From that it is easy to determine the important properties of the ln(x) function:
1) Since 1/x is defined and continuous for all x except 0, and this integral always starts at 1, ln(x) is defined and continuously differentiable for all positive x.

2) Since 1/x is positive for all positive x, ln(x) is an increasing function for all positive x.

3) ln(1)= 0. If 0< x< 1, ln(x) is negative. If x> 1, ln(x) is positive.

4) ln(1/x)= \int_1^{1/x} \frac{dt}{t}. Let u= 1/t. Then du= -dt/t^2 so that dt= -t^2 du= -du/u^2. When t= 1, u= 1 and when t= 1/x, u= x. so the integral becomes \int_1^x 1/(1/u)(-du/u^2)= -\int_1^x \frac{u}{u^2}du= -\int_1^x\frac{du}{u}= -ln(x).
That is, ln(1/x)= -ln(x).

5. ln(xy)= \int_1^{xy} \frac{dt}{t}. Let u= t/y so that t= yu. Then dt= ydu. When t= 1, u= 1/y and when t= xy, u= x. The integral becomes y\int_{1/y}^x (u/y)(y/u^2)du= yint_{1/y}^x \frac{du}{u}= \int_1^x \frac{du}{u}+ \int_{1/y}^1 \frac{du}{u}= \int_1^x \frac{du}{u}- \int_1^{1/y}\frac{y}{dy}= ln(x)- ln(1/y)= ln(x)+ ln(y)
That is, ln(xy)= ln(x)+ ln(y).

6. ln(x^y)= \int_1^{x^y} \frac{dt}{t}. If y is not 0, let u= x^{1/y}. Then x= u^y and dx= yu^{y-1}du. When t= 1, u= 1 and when t= x^y, u= x. The integral becomes \int_1^x \frac{yu^{y-1}du}{x^y}= y\int_1^x \frac{du}{u}= yln(x).
If y= 0, then x^y= x^0= 1 and ln(1)= 0 so that ln(x^0)= 0= 0ln(x).
That is, ln(x^y)= yln(x).

7. Since ln(x) is differentiable for all positive x we can apply the mean value theorem to any interval of positive real numbers and, in particular, to [1, X] for X any real number. That is, (ln(X)- ln(1))/(X- 1)=\frac{1}{c} for some number, c, between 1 and X. Taking X= 2, we have ln(2)= \frac{1}{c} for some c between 1 and 2. The largest possible value of c is 2 so the smallest possible value of ln(2) is 1/2: ln(2)\ge 1/2.
The reason that is important is that, for any positive X, we have ln(2^X)= Xln(2)\ge X/2. Since X can be any positive number, so can X/2. That is, ln(x) is NOT bounded above. Since ln(x) is increasing, \lim_{x\to +\infty} ln(x)= +\infty and, since ln(1/x)= -ln(x), \lim_{x\to -\infty} ln(x)= 0.
That is, since, also, ln(x) is an increasing function, ln(x) maps the set of all positive real numbers, one to one onto the set of all real numbers. From that it follows that it has an inverse function that maps the set of all real numbers onto the set of all positive real numbers.

We define that inverse to be Exp(x). It then follows that Exp(x) is a differentiable function and that, writing y= Exp(x) so that ln(y)= x, dExp(x)/dx= dy/dx= 1/(dx/dy)= 1/(d ln(y)/dy)= 1/(1/y)= y= Exp(x).

Finally, to show that Exp(x) really is an exponential, if y= Exp(x), the x= ln(y). If x\ne 0, we have 1= (1/x)ln(y)= ln(y^{1/x}) and then, going back to Exp, y^{1/x}= Exp(1) and Exp(x)= y= Exp(1)^x. That is, "Exp(x)" really is some number to the x power. Defining e= Exp(1), we have Exp(x)= e^x and that the derivative of y= e^x is dy/dx= e^x.

 

[jostpuur]

By using the derivative of the logarithm you can prove that

<br /> \lim_{N\to\infty} N\log\Big(1 + \frac{1}{N}\Big) = 1<br />

which will help to identify the Exp(1) with e, if hit has already been defined with the limit.

 

[jostpuur]

I would like to show how to prove the formula

<br /> \lim_{N\to\infty}\Big(1 + \frac{1}{N}\Big)^N = \sum_{n=0}^{\infty}\frac{1}{n!}<br />

because I'm not convinced that many people know how to accomplish it, and I'm also interested to learn if the proof can be found in some elementary book.

With the binomial formula we get

<br /> \Big(1 + \frac{1}{N}\Big)^N = \sum_{n=0}^N \frac{N!}{n!(N-n)!}\frac{1}{N^n}<br />

With fixed n we can prove the following limit:

<br /> \lim_{N\to\infty} \frac{N!}{n!(N-n)!}\frac{1}{N^n} = \frac{1}{n!}\lim_{N\to\infty} \frac{(N-n+1)\cdots (N-1)N}{N\cdot N\cdot\ldots \cdot N}<br />
<br /> = \frac{1}{n!}\lim_{N\to\infty} \Big(1 - \frac{n-1}{N}\Big)\Big(1 - \frac{n-2}{N}\Big)\cdots \Big(1 - \frac{1}{N}\Big) = \frac{1}{n!}<br />

At this point the uneducated would probably believe that the proof is complete, but the contrary becomes clearer with the following notations: Let's define

<br /> a(n,N) = \left\{\begin{array}{ll}<br /> \frac{N!}{n!(N-n)!}\frac{1}{N^n},\quad &amp;0\leq n\leq N \\<br /> 0,\quad &amp; 0\leq N &lt; n \\<br /> \end{array}\right.<br />

We know the following formulas:

<br /> \lim_{N\to\infty} \Big(1 + \frac{1}{N}\Big)^N = \lim_{N\to\infty} \sum_{n=0}^{\infty} a(n,N)<br />

and

<br /> \sum_{n=0}^{\infty} \lim_{N\to\infty} a(n,N) = \sum_{n=0}^{\infty} \frac{1}{n!}<br />

So the final question is that do we know the formula

<br /> \lim_{N\to\infty} \sum_{n=0}^{\infty} a(n,N) = \sum_{n=0}^{\infty} \lim_{N\to\infty} a(n,N)<br />

The answer is of course that if we haven't proven it, then we don't know it. How to prove the change of order of the limit and the series? There are at least two ways. We have already shown that the a(n,N) can be written as

<br /> a(n, N) = \frac{1}{n!}\Big(1 - \frac{n-1}{N}\Big)\Big(1 - \frac{n-2}{N}\Big)\cdots \Big(1 - \frac{1}{N}\Big)<br />

for n\leq N, while a(n,N)=0 for 0\leq N&lt;n, and from this we see that the sequence a(n,0),a(n,1),a(n,2),\ldots is monotously increasing with all n, and the change of order can be justified with the Lebesgue's monotone convergence theorem.

Another possibility is to use the Lebesgue's dominated convergence theorem. It says that if there exists a function g(n) such that

<br /> \sum_{n=0}^{\infty} g(n)&lt;\infty<br />

and

<br /> |a(n,N)|\leq g(n)\quad \forall N<br />

then the change of order is justified. Setting g(n)=\frac{1}{n!} works for this purpose.

 

[FilupSmith]

Awesome. Thanks! This is so interesting!