Finding Derivative of x^x

  • #1
danielatha4
113
0

Homework Statement



I've been challenging myself with finding tricky derivatives lately, and I'm stuck with this one. Does anyone have a good way to differentiate x^x? I tried the difference quotient and you used the concept of pascal's triangle to try to simplify terms such as (x+h)^(x+h) or (x+h)^x(x+h)^h and of course this got incredibly messy.

Another strange thing I'm finding is that when I use a derivative calculator online it shows: x^xlog(x)+x^x. However, when I use my ti-83 to test dy/dx at a given x value it's yielding a different value. I tried x=3, and according to the derivative calculator dy/dx should equal about 39.8. But my ti-83 shows 56.6 at x=3 when using dy/dx on the graph.

This isn't a homework problem. Sorry if I don't know how to approach the problem correctly.
 

Answers and Replies

  • #2
talolard
125
0
Try this:
notice that [tex] y=x^x \iff logy=logx^x=xlogx [/tex]
and if you differentiate both sides you get [tex] \frac{y'}{y}=....[/tex]
and from there it's simple algebra.
 
  • #3
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,875
420
Just a different way of saying what talolard said:

[tex]f(x)=x^x=e^{\log x^x}=e^{x\log x}[/tex]

This little rewrite allows you to use the rules you're familiar with to find f'(x): How to find the derivative of an exponential, the chain rule, the product rule, how to find the derivative of a logarithm, and how to find the derivative of the identity function (i.e. "x").
 
  • #4
Mentallic
Homework Helper
3,802
94
Using the definition of a derivative, we have [tex]lim_{h\rightarrow 0}\frac{(x+h)^{x+h}-x^x}{h}[/tex]

And after using the binomial theorem and such, it turns into the indeterminate form 0/0. How do you go about solving this from first principles?
 
Last edited:
  • #5
HallsofIvy
Science Advisor
Homework Helper
43,021
970
You don't! That's why we have the "sum rule", "product rule", and other "rules of derivatives"- so we don't have to go back to "first principles" for every problem.
 
  • #6
Mentallic
Homework Helper
3,802
94
So if I were to solve this from first principles just due to pure curiosity, I would have to prove the derivative rules first in order to do so?
 
  • #7
The Chaz
206
0
So if I were to solve this from first principles just due to pure curiosity, I would have to prove the derivative rules first in order to do so?

You would have to start with the Peano axioms, and then get the rationals, the reals, etc...
It's quite a lengthy process!
:surprised
 
  • #8
slider142
1,015
70
So if I were to solve this from first principles just due to pure curiosity, I would have to prove the derivative rules first in order to do so?

The formal method is to use the definition of taking the power of a number to a real number exponent, which is xr = exp(r*log x).
The exp function is defined as the inverse function to the log function, which is defined as
[tex]\log x = \int_1^x \frac{1}{t} dt[/tex]
Thus, to find the derivative of the exp function, we just use the theorem about derivatives of inverse functions, which we derive from the definition of the inverse function together with the chain rule theorem. The chain rule theorem is derived directly from the definition of the derivative.
So in total, you would first start at the proof of the chain rule and if you really wanted to, plug in each step towards the exp function. o_O
 
  • #9
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,875
420
You would have to start with the Peano axioms, and then get the rationals, the reals, etc...
It's quite a lengthy process!
Hey, that's cheating! The integers should be constructed from the ZFC axioms. :grumpy:
 
  • #10
The Chaz
206
0
Hey, that's cheating! The integers should be constructed from the ZFC axioms. :grumpy:

I choose to reject AC, if that's possible... :rolleyes:
 
  • #11
danielatha4
113
0
So if I were to solve this from first principles just due to pure curiosity, I would have to prove the derivative rules first in order to do so?

Actually if you set it up as

ln(y) = x ln(x)

You would only have to prove the derivative of ln(x), product rule, and implicit differentiation.

You can prove d/dx ln(x) by setting up e^(lnx)=x and using implicit differentiation, and the derivative of e^x which is easily done with the difference quotient.

I'm now curious as to how the product rule is proven...

And if I'm not mistaken implicit differentiation is simply the chain rule? correct? Of course I haven't seen the chain rule proven either.
 
  • #12
Mentallic
Homework Helper
3,802
94
You would have to start with the Peano axioms, and then get the rationals, the reals, etc...
It's quite a lengthy process!
:surprised
Hey, that's cheating! The integers should be constructed from the ZFC axioms. :grumpy:
I choose to reject AC, if that's possible... :rolleyes:
Ok, ok, I get it :redface:


The formal method is to use the definition of taking the power of a number to a real number exponent, which is xr = exp(r*log x).
The exp function is defined as the inverse function to the log function, which is defined as
[tex]\log x = \int_1^x \frac{1}{t} dt[/tex]
Thus, to find the derivative of the exp function, we just use the theorem about derivatives of inverse functions, which we derive from the definition of the inverse function together with the chain rule theorem. The chain rule theorem is derived directly from the definition of the derivative.
So in total, you would first start at the proof of the chain rule and if you really wanted to, plug in each step towards the exp function. o_O
Thanks slider.
 
  • #13
hellofolks
34
2
Hello, folks,

This is how you prove the product rule:

If [tex]f[/tex] and [tex]g[/tex] are differentiable at [tex]a[/tex], then exist the limits

[tex]f'(a)=\lim_{x\rightarrow a} \frac{f(x)-f(a)}{x-a}[/tex]

and

[tex]g'(a)=\lim_{x\rightarrow a} \frac{g(x)-g(a)}{x-a}[/tex]

We want to evaluate [tex](fg)'(a)[/tex], that is,

[tex]\lim_{x\rightarrow a} \frac{(fg)(x)-(fg)(a)}{x-a}=\lim_{x\rightarrow a} \frac{f(x)g(x)-f(a)g(a)}{x-a}.[/tex]

But we have

[tex]f(x)g(x)-f(a)g(a)=f(x)g(x)-f(a)g(x)+f(a)g(x)-f(a)g(a)=[f(x)-f(a)]g(x)+f(a)[g(x)-g(a)].[/tex]

Therefore,

[tex](fg)'(a)=\lim_{x\rightarrow a} \frac{f(x)-f(a)}{x-a}\cdot\lim_{x\rightarrow a}f(x)+f(a)\cdot\lim_{x\rightarrow a} \frac{g(x)-g(a)}{x-a}=f'(a)g(a)+f(a)g'(a),[/tex]

where [tex]\lim_{x\rightarrow a}f(x)=f(a)[/tex] follows from the fact that [tex]f[/tex] is continuous at [tex]a[/tex] because it is differentiable at [tex]a[/tex].
 
  • #14
Dickfore
2,988
5
Using the definition of a derivative, we have [tex]lim_{h\rightarrow 0}\frac{(x+h)^{x+h}-x^x}{h}[/tex]

And after using the binomial theorem and such, it turns into the indeterminate form 0/0. How do you go about solving this from first principles?

Please tell us what is the expansion of [itex](x + h)^{x + h}[/itex] up to [itex]O(h)[/itex]!
 

Suggested for: Finding Derivative of x^x

Replies
29
Views
651
Replies
3
Views
321
Replies
19
Views
159
Replies
24
Views
363
  • Last Post
Replies
13
Views
186
  • Last Post
Replies
3
Views
304
Replies
1
Views
694
Replies
5
Views
356
Replies
8
Views
215
Top