How does one raise one's self?

Calculus Level 1

1 1 = 1 2 2 = 4 3 3 = 27 4 4 = 256 5 5 = 3125 \begin{aligned} 1^1 &=& 1 \\ 2^2 &=& 4 \\ 3^3 &=& 27 \\ 4^4 &=& 256 \\ 5^5 &=& 3125 \end{aligned}

Victoria just started learning about exponentiation in class, and she has written down the 5 equations above. She then postulates that

x x x^x is a strictly increasing function for positive x x .

Is her claim correct?

Yes, she is correct No, she is not correct

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

Chew-Seong Cheong
Jan 24, 2017

Let f ( x ) = x x f(x) = x^x for x > 0 x>0 . Then its first derivative f ( x ) = ( ln x + 1 ) x x f'(x) = (\ln x + 1)x^x . Note that f ( x ) < 0 f'(x) < 0 , when x < 1 e x < \dfrac 1e . Therefore, x x x^x is decreasing between 0 < x < 1 e 0 < x < \dfrac 1e and increasing when x > 1 e x > \dfrac 1e . No, she is not correct \boxed{\text{No, she is not correct}} .

Nice! A simpler way to solve this is to bring up a counterexample like ( 1 2 ) 1 2 = ( 1 4 ) 1 4 \left( \frac12\right)^{\frac12} = \left( \frac14\right)^{\frac14} .

Pi Han Goh - 4 years, 4 months ago

Log in to reply

You are much better than I.

Chew-Seong Cheong - 4 years, 4 months ago

Log in to reply

Haha! Thanks. You're pretty good yourself ;) ;) ;) ;) ;)

Pi Han Goh - 4 years, 4 months ago
Arjen Vreugdenhil
Jan 25, 2017

It really suffices to give a concrete counterexample . ( 1 4 ) 1 / 4 = 1 2 ; \ ( 1 2 ) 1 / 2 = 1 2 . \left(\frac 1 4\right)^{1/4} = \frac 1{\sqrt 2};\ \ \ \ \left(\frac 1 2\right)^{1/2} = \frac 1{\sqrt 2}. Clearly, the function is not strictly increasing between x = 1 4 x = \tfrac14 and x = 1 2 x = \tfrac12 .


Calculus proof

To simplify work, I consider the (natural) logarithm, f ( x ) = ln x x = x ln x . f(x) = \ln x^x = x\ln x. Since the logarithm, defined on positive x x , is a strictly increasing function, we can consider the behavior of f f instead of x x x^x .

Now f ( x ) = 1 + ln x , f'(x) = 1 + \ln x, so that the function f f may have an extreme value if f ( x ) = 0 x = e 1 0.37. f'(x) = 0 \ \ \therefore\ \ x = e^{-1} \approx 0.37.

Taking second derivatives, we find f ( x ) = 1 x > 0 , f''(x) = \frac 1 x > 0, so that f f is concave on the entire domain. This shows that f ( x ) < 0 f'(x) < 0 (and therefore x x x^x is decreasing) for 0 < x < e 1 0 < x < e^{-1} .

Victoria's claim is incorrect.

BESTEST SOLUTION!

Pi Han Goh - 4 years, 4 months ago

Isn't f f a strictly convex (concave up) function?

Concavity (concave down) would require non-positive second derivative.

Prasun Biswas - 4 years, 3 months ago

A doubly differentiable function f f is strictly convex on an interval iff f ( x ) < 0 f''(x) < 0 on that interval.

The simplest example is the convex parabola f ( x ) = x 2 f(x) = -x^2 .

Arjen Vreugdenhil - 4 years, 3 months ago

Log in to reply

Wikipedia and Wolfram|MathWorld say the exact opposite.

Prasun Biswas - 4 years, 3 months ago
Michael Mendrin
Jan 25, 2017

Here's what Chew-Seong Cheong is talking about, see his solution

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...