Limit involved in derivative of exponential function

[symbolipoint]

Can a convenient value for a be found without resorting to substituting numerical values for h in this expression?

EDIT: I am trying to indicate, "as h approaches zero".
EDIT: neither of the formattings worked; hopefully someone understands what I am asking?

Lim$$_{h\rightarrow\0}$$[tex]\frac{a^x-1}{h}[/tex]

In case that formatting failed, an attempt at rewriting it is:
Lim_{h$$\rightarrow$$0}[tex]\frac{a^x-1}{h}[/tex]

The most desired value for this limit is 1, and the suitalbe value for a would need to be a = e. I have seen this accomplished using numerical value substitutions , but can the same be accomplished using purely symbolic steps, without any numerical value subsitutions?

 

[mathman]

It looks like you meant x and h to be the same thing. a^h=e^hln(a).

Expand in a power series to get 1+hln(a)+O(h²). Therefore the limit for h->0 will be ln(a).

 

[symbolipoint]

There is another way to achieve the derivation for derivative of the exponential function, relying on a bit of clever algebra with logarithms and implicit differentiation of y=a^x.

I still wish I could find a clear way to understand the limit of (a^h - 1)/h as h approaches zero; without using numeric value substitutions.
$$lim_{h to 0}\frac{a^h-1}{h}$$

edit: that typesetting is better than what I accomplished earlier, but I'd sure like to put in that right-pointing arrow instead of "to"

 

[adriank]

Use \to for the arrow.

 

[HallsofIvy]

How you do that depends on exactly how you define the exponential and, in particular, how you define e. If you define e as "limit of (1+ 1/n)ⁿ as n goes to infinity" then you can say that e is approximately equal to (1+ 1/n)ⁿ for large n so that e^1/n is approximately 1+ 1/n.

Setting h= 1/n, h goes to 0 as n goes to infinity and that says that e^h is approximately equal to 1+ h so that e^h-1 is approximately equal to h and (e^h-1)/h goes to 1 as h goes to 0.

Of course, for the general case, use the fact that a^h= e^{h ln(a)}.

 

[lurflurf]

so we define exp(x) to be a function such that
exp(x+y)=exp(x)*exp(y)
this property does not define a unique function
there are an infinite number of both nice and non nice functions having this property
there are several ways of picking out one
in particular the classical exponential (the "nice" one for which exp(1)=e) has
exp'(0)=1
exp'(0)=lim [exp(h+0)-exp(0)]/h=lim [exp(h)-1]/h
the general nice exponential is
exp(c*x)
{[exp(a*x)]'|x=0}=c
in the exponential notation we may write
exp(c*x)=exp(c)^x
let a=exp(1)
exp(c*x)=a^x
we may ask the relation between
exp(1)=a and c
clearly
lim [a^h-1]/h=c
we may (some justification required) invert the relation into
a=lim (1+h*c)^(1/h)
this requires a definition for x^y such as
x^y:=exp(y*log(x))
an adjustment is needed to avoid circular reasoning
we may define integer exponents in the obvious inductive way (x^(n+1+=x*x^n)
then consider the restricted form of the limit
a=lim (1+h*c)^(1/h)
that is let h=1,1/2,1/3,1/4,...
a=lim{n=1,2,...} (1+c/n)^n=exp(c)
lim{n=1,2,...} (1+1/n)^n=exp(1)=e
this gives as desired a symbolic form for e, how useful this form is depends on the application