Inverse power tower functions
#1
I consider the functional inverse of power towers made with x and 2.

These functions are imho fundamental ; they are the seed for brute asymptotes to most real-entire functions.

Height 2

Inv x^2
Inv 2^x
Inv x^x

With their resp solutions : sqrt , binairy log , ssqrt.
Notice the ssqrt can be expressed by ln and lambertW.

Most strictly rising functions that grow slower then x already grow like logs , powers and ssqrt type functions ( by finite composition , addition and product ).

I came to consider the enumeration of these functions.

For height 2 , as shown above , we have 3 functions.

The pattern seems simple , but might not be.

How many functions do we have Up till height 3 ?

You probably guessed 6 if you are fast.

But it is 5.

Because

Y = x^ ( x^2)

Ln(y) = ln x x^2.

This equation can be solved by LambertW ( just like x^x = y could ).

So we get 3 for height 2 and max 2 extra for height 3 :

Inv x^x^x
Inv x^2^x

Giving a Total of max 5.

The fact that x^x^2 reduces is domewhat surprising.

So care is needed.

So for instance how many fundamental function do we have Up to height 17 ?

A related question is how Some of them make good asymptotics of others and Some do not.

For instance ssqrt has asymptotics in terms of the others of height 2 ( logs and powers ).

Conjectures are easy to make for the amount of functions Up to Some height
For instance

5 + 2^(h-3) for hights h >=3.

But hard to prove.

Regards

Tommy1729



Possibly Related Threads…
Thread Author Replies Views Last Post
  4 hypothesis about iterated functions Shanghai46 11 2,880 04/22/2023, 08:22 PM
Last Post: Shanghai46
  Question about the properties of iterated functions Shanghai46 9 2,239 04/21/2023, 09:07 PM
Last Post: Shanghai46
  Computing sqrt 2 with rational functions. tommy1729 0 452 03/31/2023, 11:49 AM
Last Post: tommy1729
  [NT] Caleb stuff , mick's MSE and tommy's diary functions tommy1729 0 465 02/26/2023, 08:37 PM
Last Post: tommy1729
  Evaluating Arithmetic Functions In The Complex Plane Caleb 6 1,793 02/20/2023, 12:16 AM
Last Post: tommy1729
  Bessel functions and the iteration of \(e^z -1 \) JmsNxn 8 2,609 09/09/2022, 02:37 AM
Last Post: tommy1729
  The iterational paradise of fractional linear functions bo198214 7 2,721 08/07/2022, 04:41 PM
Last Post: bo198214
  Functional power Xorter 3 4,897 07/11/2022, 06:03 AM
Last Post: Catullus
  Uniqueness of fractionally iterated functions Daniel 7 3,232 07/05/2022, 01:21 AM
Last Post: JmsNxn
  inverse supers of x^3 tommy1729 0 691 06/12/2022, 12:02 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)