The Dark Side of x x x^x

Calculus Level 5

Let f ( x ) = x x f(x) = x^x be a real function of real variable x . x.

Find the infimum of f ( x ) . f(x) .

To clarify, 1 -1 is a domain of f ( x ) f(x) because ( 1 ) 1 (-1)^{-1} is a real number. But 1 2 -\frac12 is not a domain of f ( x ) f(x) because ( 1 2 ) 1 2 (-\frac12)^{-\frac12} is not a real number.


The answer is -1.44467.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

Zakir Husain
May 22, 2021

L e t x R x = x e i n π w h e r e n { x : x i s o d d i n t e g e r } Let\space x\in\mathbb{R}^{-}\Rightarrow x=|x|e^{in\pi}\space where\space n\in\{x:x\space is\space odd\space integer\} x x = x x e i n π x = x x ( cos ( x n π ) + i sin ( x n π ) ) \Rightarrow x^x = |x|^xe^{in\pi x}=|x|^x(\cos(xn\pi) + i\sin(xn \pi) ) x x R s i n ( x n π ) = 0 \because x^x\in\mathbb{R} \therefore sin(xn\pi)=0 x n N \Rightarrow xn\in\mathbb{N} x = m n w h e r e n { n : n i s o d d i n t e g e r , n = 0 } , m N \Rightarrow x=\dfrac{m}{n}\space where\space n\in\{n:n\space is\space odd\space integer,n\cancel{=}0\},m\in\mathbb{N} x x R p , q Z { 0 } : ( x = p q ) ( q 2 Z ) \boxed{x^x\in\mathbb{R}\iff \exists p,q\in\mathbb{Z}-\{0\}:\left(x=\dfrac{p}{q}\right)\wedge \left(\dfrac{q}{2}\cancel{\in}\mathbb{Z}\right)} n o w c o n s i d e r s o m e o d d i n t e g e r n : 0 > x = x e i n π now\space consider\space some\space odd \space integer \space n:0>x=|x|e^{in\pi} x x = e x ln x = e x ( i n π + ln x ) = e x i n π × e x ln x = ( 1 ) x x x { x x , x x } x^x=e^{x\ln x}=e^{x(in\pi+\ln|x|)}=e^{xin\pi}\times e^{x\ln|x|}=(-1)^x|x|^x\in\{|x|^x,-|x|^x\} x x R x x { x x , x x } \Rightarrow x^x\in\mathbb{R}\iff x^x\in \{|x|^x,-|x|^x\} x < 0 , x x x = e x ln x \Rightarrow\forall x<0, x\geq -|x|^x=-e^{x\ln|x|} d e x ln x x = 0 x x ( 1 + ln x ) = 0 \blue{-\dfrac{de^{x\ln|x|}}{x}=0\Rightarrow -|x|^x(1+\ln|x|)=0} x x = 0 ln x = 1 x = e 1 x = e 1 ( x < 0 ) \blue{\because |x|^x\cancel{=}0\Rightarrow \ln|x|=-1\Rightarrow |x|=e^{-1}}\blue{\Rightarrow x=-e^{-1}}\blue{(\because x<0)} x < 0 , x x R x x > e 1 e 1 = e e 1 = 1.44466786 \Rightarrow \boxed{\forall x<0,x^x\in\mathbb{R}\Rightarrow x^x>-|-e^{-1}|^{-e^{-1}}=-e^{e^{-1}}=-1.44466786}

f is a real-valued function, but f(-e^(-1)) is a complex number and (-1)^x is not equal to -1 (for example, (-1)^(-2)=1 and (-1)^(-3)=-1, but there is another solution in complex plane)

Lingga Musroji - 2 weeks, 5 days ago

Log in to reply

x R , ( 1 ) x R ( 1 ) x { 1 , 1 } \forall x\in\mathbb{R}, (-1)^x\in\mathbb{R}\Rightarrow (-1)^x\in\{1,-1\} So I assumed ( 1 ) x = 1 (-1)^x=-1 since 1 < 1 -1<1 and we need to find minimum value

Also: x < 0 , f ( x ) R f ( x ) = e x ln ( x ) o r f ( x ) = e x ln ( x ) \forall x<0, f(x)\in\mathbb{R}\Rightarrow f(x)=e^{x\ln\left(\left|x\right|\right)}\space or\space f(x)=-e^{x\ln\left(\left|x\right|\right)}

Zakir Husain - 2 weeks, 5 days ago

Log in to reply

the necessary condition is (-1)^x is in real, but (-1)^(-e^(-1)) is not real

Lingga Musroji - 2 weeks, 5 days ago

Log in to reply

@Lingga Musroji Well, x R , x x R m , n Z : ( x = m n ) ( n 2 Z ) \forall x\in\mathbb{R}^{-}, x^x\in\mathbb{R}\iff \exists m,n\in\mathbb{Z}: \left(x=\dfrac{m}{n}\right)\wedge\left(\dfrac{n}{2}\cancel{\in}\mathbb{Z}\right)

So my we need to solve again, my solution is wrong

Zakir Husain - 2 weeks, 5 days ago

I am very much confused may be I don't know really the infimum thing, but if it is the greatest lower bound and according to this solution infimum is -1.444 But I want to know for which value of x it will be -1 or 0, because the domain of this function is itself x > 0 x>0 , I don't understand how do you arrive at the negative answer.

Aman Rajput - 2 weeks, 5 days ago

Log in to reply

To understand what happens when x < 0 x<0 , read the following paper: The x x x^x spindle .

Digvijay Singh - 2 weeks, 5 days ago

Log in to reply

Just read your question, it is not correct according to what you have defined. Since, it is R to R why are you considering imaginary numbers. I already posted a report regarding it

Aman Rajput - 2 weeks, 4 days ago

Log in to reply

@Aman Rajput I have not considered imaginary numbers. Can you just apply your head and realize that f ( x ) f(x) gives out real values for x x which are negative rational numbers whose denominators are odd.

For example f ( 3 / 5 ) = ( 125 / 27 ) 1 / 5 1.3587 f(-3/5)=-(125/27)^{1/5}\approx-1.3587

Digvijay Singh - 2 weeks, 4 days ago

Log in to reply

@Digvijay Singh Yes I tried that and I am getting real numbers.. nice

Aman Rajput - 2 weeks, 4 days ago

@Digvijay Singh Hi Digvijay, please refrain from using disparaging phrases such as Can you just apply your head , it is not productive for any conversation.

Brilliant Mathematics Staff - 2 weeks, 2 days ago

@Aman Rajput Read this paper to find the correct solution. Its a different paper.

Digvijay Singh - 2 weeks, 4 days ago

Now edited the whole solution, maybe it's correct now

Zakir Husain - 2 weeks, 4 days ago

Log in to reply

Read this paper to find the correct solution.

Digvijay Singh - 2 weeks, 4 days ago

Log in to reply

Isn't the solution above is also correct? (if their is any mistake in my solution then please let me know)

Zakir Husain - 2 weeks, 4 days ago

Log in to reply

@Zakir Husain Yes, it is correct for the most part.

Digvijay Singh - 2 weeks, 4 days ago

after look at the paper about x^x spindle (thanks for Digvijay Singh in above comment), now I understand how it works. But still, f is only defined for positive real number and negative rational with odd denominator (-p/q, p and q are positive and q is odd).

I think you should edit your question to make it clear, since you wrote the domain is real number

Lingga Musroji - 2 weeks, 4 days ago

Log in to reply

Log in to reply

I understand. I'm talking about the given domain in the question, that is the real number (in the paper, the domain is positive real number and negative rational number with odd denominator)

Lingga Musroji - 2 weeks, 4 days ago

How did you get e 1 e 1 = e e 1 - | e^{-1} |^{e^{-1}} = - e^{e^{-1}} ?

Atomsky Jahid - 2 weeks, 3 days ago

Log in to reply

Oh, my mistyping, It was e 1 e 1 -|-e^{-1}|^{-e^{-1}} now I edited the solution.

Zakir Husain - 2 weeks, 3 days ago
Ryan S
May 24, 2021

There is already a good solution posted here. I just want to provide an explanation of the "Considering" step for those that may need it.

The reason we can assert that ( 1 ) x = 1 (-1)^x=-1 is that such x x values densely populate the real number line, which may first seem strange if the way you came to know Euler's formula, e i x = cos ( x ) + i sin ( x ) e^{ix}=\cos(x)+i\sin(x) , is through alone the visual intuition of tracing a circle.

Let's consider an alternative way of evaluating ( 1 ) x (-1)^x when rational x = a b x=\frac ab ; ( 1 ) x = ( ( 1 ) a ) 1 b (-1)^x=((-1)^a)^{\frac1b} . Through this perspective, it becomes clear that if a a is even, then ( 1 ) x (-1)^x is any b b th root of unity. Similarly, if a a is odd, then ( 1 ) x (-1)^x is any b b th root of 1 -1 .

Because 1 -1 raised to an odd number equals 1 -1 , 1 -1 is always one of the values of ( 1 ) x (-1)^x when both a a and b b are odd.

So when we assert that ( 1 ) x = 1 (-1)^x=-1 , we're assuming that x x is a fraction whose numerator and denominator are both odd. And, again, this isn't an unreasonable assertion, because such fractions densely populate the real number line.

The density argument was definitely missing from the other solution when they consider x < 0 x<0 . The notion that for negative x < 0 x<0 they only consider rationals with odd denominator is also missing. All in all, f f given is not actually defined on the entire reals. Nice explanation filling some gaps (pun intended)!

Carsten Meyer - 2 weeks, 5 days ago
Somerest M
May 25, 2021

let lnf(x)=xln|x|

so f`(x)/f(x)=ln|x|+1

we got that f`(x)=(ln|x|+1) ·f(x)

then we let f`(x)=0 to find the extremum

we got that x= 1/e or -1/e

obviously,f(1/e )>f-1/e)

so the answer is f(-1/e) =-1.44467

New answer:

Obviously,if we want to find the infimum of f(x),we should talk about the situation when x < 0;

make t = -x,I think "let f(x) = x^x be a real function of real variable x" may means we should talk about g ( t ) = t t g(t)=- t^{-t} ,t>0

g ( t ) = e t l n t g(t)=-e^{-tlnt} so g ( t ) = ( l n t + 1 ) e t l n t g'(t)=(lnt+1) \cdot e^{-tlnt}

let f`(x)=0 to find the extremum,we got that t 0 = 1 e t_0=\frac 1e

and g ( t 0 ) = 1.44467 g(t_0)=-1.44467

Hi Somerest, your second line is already flawed.

Note that ln x = { ln ( x ) , x > 0 ln ( x ) , x < 0 \ln |x| = \begin{cases} \ln(x) , & x>0 \\ \ln(-x), & x< 0 \end{cases}

So you need to take more care in your second line onwards.

Brilliant Mathematics Staff - 2 weeks, 2 days ago

Log in to reply

Thanks for pointing out my mistake! Then What about my new answer.(My math is not so well,if it is wrong as well ,I will try to correct it)

Somerest M - 2 weeks ago

Log in to reply

You might want to refer to the other solutions presented. You assumed that f ( x ) f(x) is continuous everywhere when it isn't.

Also note that f ( x ) f(x) is not defined when x = 1 e . x = -\frac1e .

Brilliant Mathematics Staff - 2 weeks ago

Log in to reply

@Brilliant Mathematics All right,I know what you mean,I have no idea about how to do now.I did some research,but I don`t know what is complex analysis yet

Somerest M - 1 week, 6 days ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...