6
$\begingroup$

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$.)

$\endgroup$
10
$\begingroup$

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:

enter image description here

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

enter image description here

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.

enter image description here

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.

$\endgroup$
  • $\begingroup$ What is the minimum value in image #1? Also, $(-1)^{-1}$ is $-1$ and not $1$. $\endgroup$ – Lee Sleek May 17 '13 at 18:41
  • $\begingroup$ @LeeSleek I don't understand the question. $\endgroup$ – Mark McClure May 17 '13 at 18:45
  • $\begingroup$ In the first image, the graph experiences a dip after it passes the y-axis, and then rises again. What value of x produces the smallest value there? $\endgroup$ – Lee Sleek May 17 '13 at 18:58
  • $\begingroup$ Thanks for the answer as well. $\endgroup$ – Lee Sleek May 17 '13 at 19:06
  • $\begingroup$ I also notice that in image number two, at the place where the graph reaches its minimum the the threads of the spindle disappear. Again, why is that? $\endgroup$ – Lee Sleek May 18 '13 at 1:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.