Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
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

Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Using a family of asymptotic tetration functions... JmsNxn 15 3,977 08/06/2021, 01:47 AM
Last Post: JmsNxn
  A Notation Question (raising the highest value in pow-tower to a different power) Micah 8 11,053 02/18/2019, 10:34 PM
Last Post: Micah
  Inverse Iteration Xorter 3 6,611 02/05/2019, 09:58 AM
Last Post: MrFrety
  Inverse super-composition Xorter 11 24,434 05/26/2018, 12:00 AM
Last Post: Xorter
  The AB functions ! tommy1729 0 3,116 04/04/2017, 11:00 PM
Last Post: tommy1729
  Functional power Xorter 0 2,896 03/11/2017, 10:22 AM
Last Post: Xorter
  2 fixpoints related by power ? tommy1729 0 2,998 12/07/2016, 01:29 PM
Last Post: tommy1729
  the inverse ackerman functions JmsNxn 3 9,631 09/18/2016, 11:02 AM
Last Post: Xorter
  Look-alike functions. tommy1729 1 4,084 03/08/2016, 07:10 PM
Last Post: hixidom
  [2014] composition of 3 functions. tommy1729 0 3,183 08/25/2014, 12:08 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)