# Can the graph of $x^x$ have a real-valued plot below zero?

The function $f(x) = x^x$ gives a complex number only if x has an even denominator. I'm not sure about irrational numbers. Why, then, is the best graph I can find of that function that of Wolfram Alpha, which plots adjacent sinusoidal waves for the real and imaginary parts, even at well-defined values such as $x = -\frac{1}{3}$? (And that's the plot that includes imaginary numbers; the real-valued plot shows nothing below zero.) I suspect this might be because the results are computed in a way that requires imaginary numbers.

The number of values for which the function is defined is infinite, but the values for which it is not are also infinite. So how should the graph look below zero?

(Note that in order to avoid another point where the function may be undefined I'm assuming that $0^0 = 1$.)

• Is the plot returning the princpal root instead of the real valued root? wolframalpha.com/input/?i=%28-1%2F3%29%5E%28-1%2F3%29 May 17, 2013 at 2:31
• Try putting both roots into WA yourself and see what happens. May 17, 2013 at 2:35

Although it doesn't deal directly with $x^x$, here's a WolframAlpha blog post that details how real and complex roots are currently treated by WolframAlpha.

As far as $x^x$ goes, the plot does indeed show the real and imaginary parts of the principal value of $x^x$ on the same axis. Another approach is to plot the complex point itself in a plane that's perpendicular to the $x$-axis at the corresponding point. This leads to a spectacular image called the $x^x$-spindle, which was described in a great paper in Mathematics Magazine back in 1996. This looks like so:

Using the fact that the complex logaritm is multi-valued, this can be generalized to obtain more threads on the spindle:

It sounds like you've seen the claim that $(p/q)^{p/q}$ is defined for $p$ negative and $q$ odd and positive. Thus the graph might look something like so.

From the complex perspective, the dots arise as spots where one of the spiral threads punctures the $x$-$z$ plane.

Note that the Mathematica code for these images is all provided in this answer over on mathematica.SE.

• What is the minimum value in image #1? Also, $(-1)^{-1}$ is $-1$ and not $1$. May 17, 2013 at 18:41
• @LeeSleek I don't understand the question. May 17, 2013 at 18:45
• @Lee Sleek: You can find the minimum of $x^x$ for $x > 0$ by calculus, using a method often called logarithmic differentiation. Let $y = x^{x}.$ Taking the logarithm of both sides gives $\ln y = \ln\left(x^x\right) = x\ln x.$ Now find $y'$ by implicit differentiation. You'll get $y' = x^x \left(\ln x + 1 \right).$ Setting this equal to $0$ and solving for $x$ gives $x = e^{-1} = 0.367879 \dots$ See also this WolframAlpha webpage and these related examples. May 20, 2013 at 20:20
• thank you, that explanation is phenomenal. I'm fascinated. It's crazy I did so much math and never really looked at x power x May 26, 2020 at 15:51
• @v.oddou Thanks, I'm glad you like it! Here's an interactive 3D version of the spindle: observablehq.com/@mcmcclur/the-xxx-xxx-spindle May 26, 2020 at 15:59