X^x, does this function have a name ?

[uart]

Hi, the other day I was explaining to somebody the difference between a power function like x^a and an exponential function like a^x (it was in relation to differentiation). So they asked me "what about x^x" and I was stumped to give it a name.

BTW, I was able to differentiate x^x ok, I got ( 1+ln(x) ) x^x which I'm pretty sure is correct, I just don't know if x^x has a commonly used name.

 

[Data]

Indeed your differentiation is correct. It doesn't have any sort of name that I know of (I've never seen it used for anything, either). A more useful representation is just

e^{x\ln x},

of course.

 

[dextercioby]

It doesn't have a name.The exponential form saves you from learning yet another concept:logarthmic differentiation.

Daniel.

 

[uart]

A more useful representation is just e^{x\ln x},

Doh of course. I don't know why I didn't think of that, particularly as I was explaining to this guy how to express a^x as e^{x\ln a} (in order to differentiate it) at that very time.

 

[cronxeh]

unfortunately there is no indefinite integral for x^x

 

[kleinwolf]

Anectodically : the function x^x is called "power tower of order 2"

 

[dextercioby]

Power tower is defined for an infinity of exponents...So it's a bit improper.

I'm sure that the function x^{x} is Riemann integrable on a subdomain from R...

Daniel.

 

[Data]

Yes, it is, of course (it's continuous on closed subintervals of \mathbb{R}^+, and as demonstrated above, differentiable too!). There's no closed-form antiderivative though.

 

[dextercioby]

\int x^{x} \ dx cannot be expressed in terms of "common" special functions...It it were,i'm sure Mathematica would have done it...

Daniel.

 

[Zurtex]

I loved it when I first worked out the minimum point of x^x, really brought calc alive for me. I didn't have it set as an example I just realized as soon as I had learned all the needed things that I could do it.

 

[Euclid]

\int x^{x} \ dx cannot be expressed in terms of "common" special functions...It it were,i'm sure Mathematica would have done it...

Proof by Mathematica?
j/k

 

[dextercioby]

Yeah,go the integrator's webpage and type that function.The calculations are made with the latest version of the software.

Daniel.

 

[Zurtex]

Yeah,go the integrator's webpage and type that function.The calculations are made with the latest version of the software.

Daniel.

Actually not true, I've now reported a series of integrations to Wolfram on things their online integrator should be able to integrate and can't. But things fairly obscure and I don’t think any people other than very bored ones like me will find it.

 

[dextercioby]

Give an example.You can't contradict me with words,not in math,at least.

Daniel.

 

[tongos]

lambert function and product i know have something to do with x^x=y

 

[mathwonk]

as to x^x, I usually called it george, but sometimes ozymandias.

I have occasionally wondered what the name of the following number is as well:

0.01001000100001000001...

i also have found simple partial fractions that mathematica would not do, but which i did myself with pencil and paper.

More importantly to me, when I was teaching graduate algebra and galois theory i used mathematica to do some of the discriminant calculations for solutions formulas of cubics and quadratics, and found that sometimes mathematica just gave the wrong answer.

It did not say it couldn't do it, or that I had enetered it wrong (usually the case) but simply gave a false answer.

The errors I made in entering data were subtle, like omitting a space somewhere, but the upshot was that a naive student, who believed everything he got back, would have been misled by these incorrect responses, just as when using any calculator. So you always have to know how to check the validity of what you get from a calculator or computer.

 

[dextercioby]

Reminds of my Maple.I had to reverse a fraction in an ODE so he could be able to solve it...

A software is made by a human.Computers beat human mind for speed/efficiency.

Daniel.

 

[Zurtex]

Give an example.You can't contradict me with words,not in math,at least.

Daniel.

It can compute the two following:

\int \frac{1}{e^x + 2 e^{2 x} + 3 e^{3 x}} dx

\int \frac{x^2}{e^x + 2 e^{2 x} + 3 e^{3 x}} dx

But not:

\int \frac{1 + x^2}{e^x + 2 e^{2 x} + 3 e^{3 x}} dx

 

[dextercioby]

Yeah,it's a big black bug there...

Mathematica latest version won't do this

\int \frac{x+1}{e^{x}+2e^{2x}+3e^{3x}} \ dx

A 10 y.o. Maple returns proudly

\int \frac{x+1}{e^x+2e^{2x}+3e^{3x}}dx=\allowbreak -\frac {1}{e^x}\ln \left( e^x\right) -\frac {2}{e^x}-\ln ^2\left( e^x\right)+\allowbreak i\ln \left( -\frac {1}{3}-\frac {1}{3}i\sqrt{2}\right) \arctan \frac {1}{2}\sqrt{2}

+\frac {1}{8}i\sqrt{2}\ln \left( -\frac {1}{3}+\frac {1}{3}i\sqrt{2}\right) \ln \left( 1+2e^x+3e^{2x}\right) -\allowbreak \frac {1}{4}\sqrt{2}\ln \left( -\frac {1}{3}+\frac {1}{3}i\sqrt{2}\right) \arctan \left( \frac {3}{2}e^x\sqrt{2}+\frac {1}2\sqrt{2}\right)

+\frac {1}{4}\sqrt{2}\ln \left( -\frac {1}{3}+\frac {1}{3}i\sqrt{2}\right) \arctan \frac {1}{2}\sqrt{2}+\allowbreak \frac {1}{2}\ln \left( -\frac {1}{3}+\frac {1}{3}i\sqrt{2}\right) \ln \left( 1+2e^x+3e^{2x}\right)

-\allowbreak i\ln \left( -\frac {1}{3}+\frac {1}{3}i\sqrt{2}\right) \arctan \frac {1}{2}\sqrt{2}-\frac {1}{8}i\sqrt{2}\ln \left( -\frac {1}{3}-\frac {1}{3}i\sqrt{2}\right) \ln \left( 1+2e^x+3e^{2x}\right)

-\allowbreak \frac {1}{4}\sqrt{2}\ln \left( -\frac {1}{3}-\frac {1}{3}i\sqrt{2}\right) \arctan \left( \frac {3}{2}e^x\sqrt{2}+\frac {1}{2}\sqrt{2}\right) +\frac {1}{4}\sqrt{2}\ln \left( -\frac {1}{3}-\frac {1}{3}i\sqrt{2}\right) \arctan \frac {1}{2}\sqrt{2}

+\allowbreak \frac {1}{2}\ln \left( -\frac {1}{3}-\frac {1}{3}i\sqrt{2}\right) \ln \left( 1+2e^x+3e^{2x}\right) -i\ln \left( -\frac {1}{3}-\frac {1}{3}i\sqrt{2}\right) \arctan \left( \frac {3}{2}e^x\sqrt{2}+\frac {1}{2}\sqrt{2}\right)

-\frac {1}{4}i\sqrt{2}\ \mbox{dilog}\left( 3\frac{e^x}{-1+i\sqrt{2}}\right) - \ \mbox{dilog}\left( 3\frac{e^x}{-1+i\sqrt{2}}\right) +\allowbreak \frac {1}{4}i\sqrt{2} \ \mbox{dilog}\left( -3\frac{e^x}{1+i\sqrt{2}}\right) - \ \mbox{dilog}\left( -3\frac{e^x}{1+i\sqrt{2}}\right)

-2\ln \left( e^x\right) +\allowbreak \ln \left( 1+2e^x+3e^{2x}\right) -\frac {1}{2}\sqrt{2}\arctan \frac {1}{4}\left( 2+6e^x\right) \sqrt{2} <br /> +i\ln \left( -\frac {1}{3}+\frac {1}{3}i\sqrt{2}\right) \arctan \left( \frac {3}{2}e^x\sqrt{2}+\frac {1}{2}\sqrt{2}\right)+ C&#039;




Daniel.

 

[hypermorphism]

...
A 10 y.o. Maple returns proudly
...
[the spawn of Satan himself]
...


Daniel.

Quick, someone take the derivative and find out whether it's right.

 

[dextercioby]

Quick, someone take the derivative and find out whether its right.

Learn how to spell words and then be a wise-ass...

Daniel.

 

[hypermorphism]

Learn how to spell words and then be a wise-ass...

Daniel.

w-o-r-d-s ?

Seriously, that would be tedious to differentiate by hand (or even to enter into Mathematica).

 

[dextercioby]

\frac {d}{dx}\ \mbox{dilog} x =\allowbreak \frac{\ln x}{1-x}

is all u need to know.There are 22 terms,outta which a few are constant...

Daniel.

 

[Zurtex]

Yeah,it's a big black bug there...

Mathematica latest version won't do this

\int \frac{x+1}{e^{x}+2e^{2x}+3e^{3x}} \ dx

A 10 y.o. Maple returns proudly

Oi!

Don't bad mouth the actual Mathematica, it can integrate that fine, even if the web version can't. Same with the other problem, I was just pointing out that the web version doesn't use the latest software because it can't do things it should be able to, I have found other things as well it can't do.

 

[uart]

lambert function and product i know have something to do with x^x=y

I sometimes think of x^x as being kind of similar to factorial or Gamma. What I mean is it seems to be usful if you're trying to think of a function that is bigger than factorial but not too much bigger.

 

[CRGreathouse]

x^x=x\uparrow\uparrow2 in Knuth's up-arrow terminology; it's x\rightarrow2\rightarrow2, as I recall, in Conway's chained arrow notation.