Why is the Derivative of e^x e^x?

[Aki]

I don't understand why the derivative of e^x is e^x itself.

 

[Justin Lazear]

Have you tried apply the definition of a derivative for f(x) = e^x?

\frac{d}{dx}f(x) = \lim_{h\to 0}\frac{f(x+h) - f(x)}{h}

--J

 

[matt grime]

There are two types of answer to this.

1. Because it's the definition: exp is the function satisfying th differential equation f' = f. The question then becomes: why does it have this form, ie an exponential. If you were to work out the slope using Justin's hint then you'd see that, assuming some limits exist, all exponential functions have derivatives proportional to themselves, and e is the number where the proportionality constant is 1.

2. Assume the definition of exp{x} is its power series, abuse analysis by differentiating term by term.

 

[tongos]

first consider the following

the integral of In(x) is equal to xInx-x.
the value of the graph of e^x is the same as doing the e^x bound on the Inx graph. so we could plug in e^x for x into xInx-x. Giving xe^x-e^x as the area inside of the Inx graph. Now this is below the curve, we are trying to find the area above the curve on the Inx graph. So the rectangle area is equal to x(e^x). And the area of the region is now xe^x-(xe^x-e^x)=e^x

I hope this logic was right.

 

[dextercioby]

first consider the following

the integral of In(x) is equal to xInx-x.
the value of the graph of e^x is the same as doing the e^x bound on the Inx graph. so we could plug in e^x for x into xInx-x. Giving xe^x-e^x as the area inside of the Inx graph. Now this is below the curve, we are trying to find the area above the curve on the Inx graph. So the rectangle area is equal to x(e^x). And the area of the region is now xe^x-(xe^x-e^x)=e^x

I hope this logic was right.

Not really.I failed to see the connection between the area under one of the 2 curves and the derivative of e^{x}.

Daniel.

 

[mathwonk]

perhaps we should ask what the questioner knows about the function e^x.

i.e. the respinders are observing that if you know two things:

1) the definition of a derivative

2) the property e^(x+h) = e^x e^h,

then the result is essentially forced on you.

 

[tongos]

my post wasnt very clear, but the region of area above the Inx graph resembles the area under the curve in the e^x graph. it creates a rectangle.

 

[dextercioby]

Maybe mine wasn't very clear.What does that fact (resemblence of areas beneath the graphs) got to do with
(e^{x})'=e^{x} ?

Daniel.

 

[tongos]

the antiderivative of e^x is equal to e^x+C. The derivative of the antiderivative is equal to e^x.

 

[DeadWolfe]

I have a related question.

How can you show that the equation f'(x) = f(x) has a unique solution?

 

[dextercioby]

Gues what,it DOES NOT...Ups,i didn't notice Matt forgot about the initial condition (which would select e^{x} from the infinity of solutions of the ODE) f(0)=1 [/tex]

Daniel.

 

[tongos]

first i thought he was asking why the integral of e^x was e^x? Then i reread it and saw that he was actually asking why e^x=(e^x)'
After this i did the pathetic "antiderivative of a function is equal to the integral, which is equal to the area under the curve business."
But i thought of the method of similarities in inverse curves, finding the integral, which i thought was pretty. I was asked to find the area under the curve in the arctan on the ap test. so i had make something.

 

[tongos]

i proved by the Inx graph, that the integral of e^x is e^x+C.

 

[dextercioby]

However,there's a long way between the derivative of e^{x} and the area under the graph of a function...Almost infinitely long...

Daniel.

 

[tongos]

one can only confuse derivatives and integrals only when dealing with e^x. I shouldn't drop the C, which is the constant. I have a question, that probably most of you guys with think as easy, but is there any other function where the derivative of the function is equal to the function itself? prove or disprove.

 

[dextercioby]

No.e^{x} is the only one.Matt suggested via the ODE.And i added the initial condition y(0)=1.

Daniel.

 

[mathwonk]

assume f' = f, and take the derivative of f/e^x. se what happens. then use the MVT.

 

[buddingscientist]

how about -e^(x)


or d/dx (y.e^(x)) where y is a arbitrary constant

 

[matt grime]

Differential equations have the full complement of solutions that are uniquely determined according to whether they satsify the Lipschitz Condition and something else. I'm sure Wolfram will provide the answer as ever.

 

[Crosson]

How can you show that the equation f'(x) = f(x) has a unique solution?

This is not an easy task, but in analysis it essentially involves making precise the intuitive argument that "if we take small steps and adjust our course according to the DE then the path we walk will be uniquely determined by where we start."

I believe the uniqueness theorem for linear ODEs can be proven through linear algebra, the set of solutions form a vector space yadda yadda.

 

[mathwonk]

i just proved it above. let g, f be any two, solutions of F' = F.

Then (f/g)' = [f'g-g'f]/g^2 = [fg-gf]/g^2 = 0. hence by the MVT, f/g is constant.

so f = cg, where c is constant. hence if f(a) = g(a) = 1, then f = g.

there is nothing difficult about it. or did you mean existence?

that is also easy. i.e. just integrate dt/t, from 1 to x, which is then a function called L(x), and monotone and differentiable on the positive real line, with non zero derivative 1/x, hence having a differentiable inverse called E(x) and satisfying E' = E.


done. this is basic first year calculus, (I hope). It is in my class. these are questions on the tests I give.

 

[mathwonk]

exercise: prove the only solutions to f' = cf, are ae^(cx) where a,c, are constants.


then prove the only solutions to f^(n) + a1 f^(n-1) +...+a(n-1)f + an = 0,

where X^n + a1X^(n-1) +...+a(n-1)X + an = (X-c1)(...)(X-cn), and ci are distinct constants, are linear combinations of e^(c1X),...,e^(cnX).

there is nothhing deep here, just .linear algebra, and the fact that the differential operations (D-c)f = f' - cf, commute, for different values of c.

 

[Aki]

what about ln x? would the derivative still be ln x?

 

[dextercioby]

No,compute it using the definition of derivative and the definition of "e"...

Daniel.

 

[mathwonk]

that doesn't do anything robert. you are assuming the result you are supposed to prove.

i.e. when you write integral of dy/y and assume it equals ln(x) that is equivbalent to assuming that e^x is the only function (up to a constant) that equals its own derivative.

oh no, my mistake, no doubt you mean to invoke the MVT to prove the only solution of dy/y is d[ln(y) +c].

thus you are making the nice observation that to prove there is only one function up to constant multiple, which equals its own derivative, is equivalent to showing there is only one function, up to constant additive, that has derivative 1/x. indeed this is true, and easier to prove, since most people are aware of that way of using the MVT.

 

[agro]

Here is the approach on Howard Anton's Calculus...

First define ln(x) as \int_1^x \frac{1}{x} dx.

Then by the Fundamental Theorem of Calculus (part 2), d/dx(ln(x)) = 1/x.

Now define e^x as the inverse function of ln(x).

The derivative is then

\frac{1}{d/du(\ln u)|_{u=e^x}} = e^x

 

[mathwonk]

does this seem similar to post 21 agro?

 

[dextercioby]

It does,which would only mean that Howard Anton and Mathwonk think of exponential and natural logarithm in the same way...

Daniel.

P.S.Is that a good thing,or a bad thing...?

 

[mathwonk]

you really know how to hurt a guy.

actually i learned the content of my post from courant. it is not so common in most calc books, to see courant's argument that f' = f only if f = ce^x, using MVT directly, without using the inverse function theorem.

the problem for me, with anton et al, is they use, but ordinarily do not prove, the inverse function theorem.

 

[Haelfix]

one can only confuse derivatives and integrals only when dealing with e^x. I shouldn't drop the C, which is the constant. I have a question, that probably most of you guys with think as easy, but is there any other function where the derivative of the function is equal to the function itself? prove or disprove.

Oooh that's a loaded question. It depends on what you mean by a derivative, and what you mean by a function.

There is at least one trivial disproof using elementary calculus. The function f(x)=0