# Pretty cool function (and its inverse)Watch

#41
(Original post by pyrolol)
Try something like 0.05. It oscillates between 2 values. (According to wikipedia, this happens when x < e^-e.
Yeah.

Like take the curve y = x^x^x^x^...

We know that for x < e^(1/e), when the x-coordinate is of the form a^(1/a) the y-coordinate must be a.

we already know (e^(1/e), e) is a point on the curve. We know (2^(1/2), 2) is a point on the curve. But what about 4^(1/4) [which is root 2 which is less than e^(1/e) ]? Surely then, at the point x = root 2, there are at least two y-coordinates, 2 and 4.

Take 10^(1/10) . This is less than e^(1/e) [in fact every a^(1/a) will be less than or equal to e^(1/e) ] (10^(1/10), 10) must lie on the curve, but it does not appear to - the greatest y-coordinate is e - - after that, it's infinity.

I'm confused. Does this mean that at every point y< e^(1/e) there are multiple y-coordinates for every x-coordinate? Is that what wikipedia said? There are two y-coordinates for every x?
0
10 years ago
#42
(Original post by Zii)
Yeah.

Like take the curve y = x^x^x^x^...

We know that for x < e^(1/e), when the x-coordinate is of the form a^(1/a) the y-coordinate must be a.

we already know (e^(1/e), e) is a point on the curve. We know (2^(1/2), 2) is a point on the curve. But what about 4^(1/4) [which is root 2 which is less than e^(1/e) ]? Surely then, at the point x = root 2, there are at least two y-coordinates, 2 and 4.

Take 10^(1/10) . This is less than e^(1/e) [in fact every a^(1/a) will be less than or equal to e^(1/e) ] (10^(1/10), 10) must lie on the curve, but it does not appear to - the greatest y-coordinate is e - - after that, it's infinity.

I'm confused. Does this mean that at every point y< e^(1/e) there are multiple y-coordinates for every x-coordinate? Is that what wikipedia said? There are two y-coordinates for every x?
This explains it, doesn't it?

(Original post by Dystopia)
Look at the graph of . For 1 < x < e^(1/e), there are two solutions to x = y^(1/y). If f(x) = x^x^(...), then you've shown that f(x) must be one of the two values, and it is always the smaller value.

This can be shown by considering the sequence x, x^x, x^x^x, ...

Let's say that

For x>1, it isn't difficult to prove that the sequence is increasing and that if there is some y that satisfies , then , so you can prove the result by induction (try it).

For x = e^(1/e), there is only one value of y such that x = y^(1/y).

For x > e^(1/e), there are no values of y, and it diverges.

For x < 1, things are slightly trickier I think (because the sequence isn't increasing).
For example, take the example of , and define as in the quote, with , so

Clearly u_0 < 2.
Suppose u_k < 2.

So .

Of course, this argument works exactly the same if you replace 2 by 4, but since 2 is less than 4, the value the sequence converges to will be the smaller one.

Similarly, you can prove that the sequence is increasing.

An increasing function bounded above must tend to a limit, and you have shown that this limit must be either 2 or 4. Since 2<4, the value is 2.

You can do exactly the same thing with all other values of x between 1 and e^(1/e).

To find the value it takes when x = 10^(1/10), draw the graph y = x^(1/x), and the line y = 10^(1/10). This will intersect the graph at two places, and the value will be the x coordinate of the first intersection.
0
X

new posts
Latest
My Feed

### Oops, nobody has postedin the last few hours.

Why not re-start the conversation?

see more

### See more of what you like onThe Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

### University open days

• Cranfield University
Cranfield Forensic MSc Programme Open Day Postgraduate
Thu, 25 Apr '19
• University of the Arts London
Open day: MA Footwear and MA Fashion Artefact Postgraduate
Thu, 25 Apr '19
• Cardiff Metropolitan University
Sat, 27 Apr '19

### Poll

Join the discussion

#### Have you registered to vote?

Yes! (82)
39.23%
No - but I will (9)
4.31%
No - I don't want to (13)
6.22%
No - I can't vote (<18, not in UK, etc) (105)
50.24%