Finding Derivative of x^x

  • #1
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
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,872
415
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,798
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
41,847
965
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,798
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
186
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
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,872
415
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
186
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
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,798
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
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
2,981
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]!
 

Related Threads on Finding Derivative of x^x

Replies
1
Views
299
  • Last Post
Replies
1
Views
920
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
7
Views
6K
  • Last Post
Replies
3
Views
788
  • Last Post
Replies
4
Views
13K
Replies
2
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
1
Views
1K
Top