Register to reply 
Why does the graph of x^x undefined for x is less than or equal to 0? 
Share this thread: 
#1
Nov712, 12:40 PM

P: 273

Let f(x)=(x)^(x)
f(1)=(1)^(1) =1/1 =1 But according to wolframalpha, f(1) does not exist. 


#2
Nov712, 01:16 PM

P: 4

The function works only in integer point. For each non integer point the function goes in Complex Set, and so isn't defined on real. Easilly, to avoid the calculator have problem on any other point lesser then 0, the programmer block each of that point with "does not exist" message.
Fruthermore I can rewrite the f(x) in this way: f(x)=exp(x*ln(x)). And ln(x<0) is undefined. 


#3
Nov712, 07:56 PM

P: 46

http://www.wolframalpha.com/input/?i=f%28x%29+%3D+x%5Ex
If you look at the graph of the function itself (without plugging anything in) you will see that it shows that at x=1 it is imaginary. 


#4
Nov712, 10:25 PM

P: 66

Why does the graph of x^x undefined for x is less than or equal to 0?
It says "negative 1". :) 


#5
Nov712, 11:29 PM

Sci Advisor
P: 2,751

It's as the first reply said, f(x)=x^x is not (in general) a real valued function for x<0, though it is real for the negative integers. 


#6
Nov812, 07:56 AM

P: 273

So it's a matter of limitations of computers/programming that x<0 doesn't exist for the realvalued plot? Why does the real part for x<0 exist on the complexvalued plot?



#7
Nov912, 12:16 AM

P: 66

Remember x^x = (e^(log(x)))^x = e^(x*log(x))
log (x) = log(x) + [itex]i\pi[/itex] This means that you'll have the magnitude x^(x), and the angle x*i*pi. With the angle you'll have: cos (x*pi) * x^(x) for the real portion and sin (x*pi) *x^(x) for the imaginary portion. Correct this if I made a mistake.. tired. :) 


#8
Nov1012, 04:53 AM

P: 295

Knowing that [itex]z=r\exp(i\theta + 2ki\pi)[/itex] where [itex]r=z=\sqrt{\Re^2(z)+\Im^2(z)}[/itex], [itex]\theta=\mathrm{arg}(z)=\mathrm{atan2}(\Im(z),\Re(z))[/itex] and k is an arbitrary integer, one has [itex]\log(z)=\log(r) + i\theta + 2ki\pi = \logz + i\mathrm{arg}(z) + 2ki\pi[/itex]. Now, we consider our function for an arbitrary negative integer, with the principal branch of the complex logarithm (k=0):
[tex](x)^(x) = \exp((x)\log(x)) = \frac{1}{\exp(x\log(x))} = \frac{1}{\exp(\log(x)+xi\pi)}= \frac{1}{x(\cos(x\pi)+i\sin(x\pi))}[/tex] Now, note that if x was not an integer, we would be stuck here. However, we know for integer x, [itex]\cos(x\pi) = (1)^x[/itex] and [itex]\sin(x\pi) = 0[/itex], which leaves us with our final answer: [tex] = \frac{1}{x(1)^x}[/tex] So why did I go through this? I wanted to show why Wolfram does not display the graph for [itex]x \leq 0[/itex]. The function is defined as a real value only in the positive reals and the negative integers. For negative reals, we get the uglylooking answer [itex]\displaystyle \frac{1}{x(\cos(x\pi)+i\sin(x\pi))} = \frac{\cos(\pi x)i\sin(\pi x)}{x}[/itex], which can't be simplified further. 


#9
Nov1012, 05:11 PM

Sci Advisor
P: 1,716




#10
Nov1012, 09:55 PM

P: 66

http://www.wolframalpha.com/input/?i...tupperrange Note... I am a fan of the Alpha. I also think the borderline ASD having character in Alphas is pretty awesome... and hilarious. Do you like strange tangents? :p [tex]\dfrac{\cos(\pi x)i\sin(\pi x)}{x^x}[/tex] or (rewritten version of my post above your post): [tex]{x^{x}}\times \left({\cos(\pi x)i\sin(\pi x)}\right)[/tex] 


Register to reply 
Related Discussions  
Pythagorean Triangles with one side equal s and hypothenuse equal 2 s+1  Linear & Abstract Algebra  7  
Does one raised to an undefined power equal anything?  General Math  21  
Why does the slope of a PT Graph equal the VT graph?  Introductory Physics Homework  4  
In two equal complex numbers, what parts are equal to each other?  Calculus  17  
Equal areas in equal times  Calculus & Beyond Homework  3 