Differentiating a^x from first principles

kdog72

New member
Joined
Sep 6, 2013
Messages
2
Hi

I'm new to this place so I guess I should say I'm from NZ and in first year of university. I'm not actually doing maths this year, but I did university-level maths during my last year of high school (so just assume I have the knowledge of a university first-year student), and maths is still something of intense interest.

So, to the problem: I know that the derivative of ax is ln(a)*ax but I wanted to try work it out from first principles

I've tried searching the internet for answers, but nothing has come up. So I was trying to differentiate ax from first principles, but I got stuck.

From lim h->0 ((ax+h - ax)/h) i got: ax lim h->0 ((ah - 1)/h) but I couldn't get any further. You end up with a '0/0' situation which if I remember correctly, you can use L'Hopital's rule, but since it has ah, the derivative of which is what I'm originally trying to work out, that doesn't seem to work.

So, my question is: how do I work out lim h->0 ((ah - 1)/h)

Thanks :)
 
I know that the derivative of ax is ln(a)*ax but I wanted to try work it out from first principles

The derivative of ax\displaystyle a^{x} is axdxlna\displaystyle a^{x} * dx * \ln a

or derivative of au\displaystyle a^{u} is audulna\displaystyle a^{u} * du * \ln a
 
Last edited:
y=ax\displaystyle y=a^x

ln(y)=ln(ax)\displaystyle \ln(y)=\ln(a^x)

ln(y)=xln(a)\displaystyle \ln(y)=x\ln(a)

ddxln(y)=ddxxln(a)\displaystyle \frac{d}{dx}\ln(y)=\frac{d}{dx}x\ln(a)

ddyln(y)×dydx=ln(a)\displaystyle \frac{d}{dy}\ln(y)\times\frac{dy}{dx}=\ln(a)

1y×dydx=ln(a)\displaystyle \frac{1}{y}\times\frac{dy}{dx}=\ln(a)

dydx=yln(a)\displaystyle \frac{dy}{dx}=y\ln(a)

dydx=axln(a)\displaystyle \frac{dy}{dx}=a^x\ln(a)
 
y=ax\displaystyle y=a^x

ln(y)=ln(ax)\displaystyle \ln(y)=\ln(a^x)

ln(y)=xln(a)\displaystyle \ln(y)=x\ln(a)

ddxln(y)=ddxxln(a)\displaystyle \frac{d}{dx}\ln(y)=\frac{d}{dx}x\ln(a)

ddyln(y)×dydx=ln(a)\displaystyle \frac{d}{dy}\ln(y)\times\frac{dy}{dx}=\ln(a)

1y×dydx=ln(a)\displaystyle \frac{1}{y}\times\frac{dy}{dx}=\ln(a)

dydx=yln(a)\displaystyle \frac{dy}{dx}=y\ln(a)

dydx=axln(a)\displaystyle \frac{dy}{dx}=a^x\ln(a)

I understand that, but what I'm looking for is a solution using first principles (i.e. from lim h->0 ((f(x+h) - f(x))/h) where in this case f(x) is ax)

Thanks anyway :)
 
I understand that, but what I'm looking for is a solution using first principles (i.e. from lim h->0 ((f(x+h) - f(x))/h) where in this case f(x) is ax)

I do understand and appreciate your question. But I fear you will be disappointed with the actual answer.
At some point it simply comes down to a matter of definitions.

For example, Leonard Gillman defines x>0,  log(x)=1x1tdt\displaystyle x > 0,\;\log (x) =\displaystyle \int_1^x {\frac{1}{t}dt} .

From that it is possible( not easy) to show that limh0ah1h=log(a)\displaystyle \displaystyle{\lim _{h \to 0}}\frac{{{a^h} - 1}}{h} = \log (a).
 
I understand that, but what I'm looking for is a solution using first principles (i.e. from lim h->0 ((f(x+h) - f(x))/h) where in this case f(x) is ax)

Thanks anyway :)
From "first principles" (that is, from the definition, f(x)=limh0f(x+h)f(x)h\displaystyle f'(x)= \lim_{h\to 0}\frac{f(x+h)- f(x)}{h}) would be:
f(x+h)f(x)=ax+hax=axahax=ax(ah1)\displaystyle f(x+h)- f(x)= a^{x+h}- a^x= a^xa^h- a^x= a^x(a^h- 1)
so f(x+h)f(x)h=ax(ah1)h=[ah1h]ax\displaystyle \frac{f(x+h)- f(x)}{h}= \frac{a^x(a^h- 1)}{h}= \left[\frac{a^h- 1}{h}\right]a^x
and then f(x)=[limh0ah1h]ax\displaystyle f'(x)= \left[\lim_{h\to 0}\frac{a^h- 1}{h}\right]a^x.

At this point we can see that the quantity inside the braces depends on a but NOT the variable, x, while the quantity outside has no "h". That means that the limit, as h goes to 0 (assuming it exists) is a constant depending on a but not the variable x, so we can write f(x)=Caax\displaystyle f'(x)= C_a a^x, a constant times the original function. How we determine what "Ca\displaystyle C_a" is, depends on how we define things. It is, of course, ln(a) but how, exactly, do we define that?

One method is this: by experimenting with different values, it is easy to see that if a= 1, C1=0\displaystyle C_1= 0, if a= 2, the limit exists and C2\displaystyle C_2 is less than 1 while if a= 3, C3\displaystyle C_3 exists and is larger than 1. That means that there exist a value of a, between 2 and 3, such that Ca=1\displaystyle C_a= 1! Narrowing it further, we can see that C2.7<1\displaystyle C_{2.7}< 1 while C2.8>1\displaystyle C_{2.8}> 1, so that value must be between 2.7 and 2.8, that C2.72>1\displaystyle C_{2.72}> 1 so that value must be between 2.70 and 2.72, etc. The result of all this is that there exist a number, a, around 2.7... such that Ca=1\displaystyle C_a= 1. We call that number "e" so that Ce=1\displaystyle C_e= 1 and (ex)=(1)(ex)=ex\displaystyle (e^x)'= (1)(e^x)= e^x. We can then use the fact that ax=eln(ax)=ealn(x)\displaystyle a^x= e^{ln(a^x)}= e^{aln(x)} and the chain rule to show that, for any a>1, Ca=ln(x)\displaystyle C_a= ln(x) and (ax)=ln(a)ax\displaystyle (a^x)'= ln(a) a^x.

Editted thanks to look again.
 
Last edited:
... so that value must be between 2.7 and 2.8, that C2.72>1\displaystyle C_{2.72}> 1 so that value must be between 2.70 and 2.72, etc.

The result of all this is that there exist a number, a, around > > > 2.1... < < < such that Ca=1\displaystyle C_a= 1
Typo.   \displaystyle \ \ It should be "2.7..."



---------------------------------------------------------------------------------------



Suppose we know that  ex = 1 + x + x22! + x33! + x44! + ...\displaystyle \ e^x \ = \ 1 \ + \ x \ + \ \dfrac{x^2}{2!} \ + \ \dfrac{x^3}{3!} \ + \ \dfrac{x^4}{4!} \ + \ ...


and that  ah = ehln(a),  \displaystyle \ a^h \ = \ e^{h*ln(a)}, \ \ where  \displaystyle \ ln(a) =  loge(a).\displaystyle \ \log_e(a).



For this portion of the problem, show that  limh0 ah  1h = ln(a).        \displaystyle \ \displaystyle\lim_{h\to 0} \ \dfrac{a^h \ - \ 1}{h} \ = \ ln(a). \ \ \ \ \ \ \ \ (There are appropriate restrictions on a.)



limh0 (1 + hln(a) + [hln(a)]22! + [hln(a)]33! + [hln(a)]44! + ... )  1 h =\displaystyle \displaystyle\lim_{h\to 0} \ \dfrac{\bigg( 1 \ + \ h*ln(a) \ + \ \dfrac{[h*ln(a)]^2}{2!} \ + \ \dfrac{[h*ln(a)]^3}{3!} \ + \ \dfrac{[h*ln(a)]^4}{4!} \ + \ ... \ \bigg) \ - \ 1 \ }{h} \ =





limh0  hln(a) + [hln(a)]22! + [hln(a)]33! + [hln(a)]44! + ...  h =\displaystyle \displaystyle\lim_{h\to 0} \ \dfrac{ \ h*ln(a) \ + \ \dfrac{[h*ln(a)]^2}{2!} \ + \ \dfrac{[h*ln(a)]^3}{3!} \ + \ \dfrac{[h*ln(a)]^4}{4!} \ + \ ... \ \ }{h} \ =



limh0  hln(a) + h2[ln(a)]22! + h3[ln(a)]33! + h44ln(a)]44! + ...  h =\displaystyle \displaystyle\lim_{h\to 0} \ \dfrac{ \ h*ln(a) \ + \ \dfrac{h^2*[ln(a)]^2}{2!} \ + \ \dfrac{h^3*[ln(a)]^3}{3!} \ + \ \dfrac{h^4*4ln(a)]^4}{4!} \ + \ ... \ \ }{h} \ =





limh0 [ln(a) + h[ln(a)]22! + h2[ln(a)]33! + h3[ln(a)]44! + ...] =\displaystyle \displaystyle\lim_{h\to 0} \ \bigg[ ln(a) \ + \ \dfrac{h*[ln(a)]^2}{2!} \ + \ \dfrac{h^2*[ln(a)]^3}{3!} \ + \ \dfrac{h^3*[ln(a)]^4}{4!} \ + \ ... \bigg] \ =




ln(a)\displaystyle ln(a)
 
Last edited:
Top