Actual formulas for tetration and its derivative
#1
Hello,

I have played around with the concept of tetration for probably 10 years now and never really achieved much in that field. I studied Andrew Robbins paper quite a while ago and played around with numerical functions constructed from the values he computed, to finally create a HyperLog function (hyper-logarithm to base E) and a HyperExp function (hyperexponential function to base E) in the full complex plane.

Now I always had some, let's call it "feelings" about what properties such functions had to have, tested that numerically and was stunned that it came out to be true using that numerical approximations.

Here are my most valuable formulas regarding tetration. I don't know whether that new or not, so I post it here anyway.

First of all, a little notation, because I don't use what's probably around. The following will be in a Mathematica-remniscent code.


Let's define functions:

E = euler's constant e
Exp[x] = E*E*E*...*E (x times)
TetraExp[x] = E^E^E^...^E (x times)
TetraExpPrime[x] = first derivative of TetraExp[x]
ProductLog[x] = lamberts W function = u in v==u*Exp[u]


Here are formulas that define TetraExp using neighbors of TetraExpPrime:

TetraExp[x] == TetraExpPrime[x] / TetraExpPrime[x-1]

TetraExp[x] == ProductLog[TetraExpPrime[x+1] / TetraExpPrime[x-1]]


And here are recurrence relations of TetraExpPrime:

TetraExpPrime[x] == TetraExpPrime[x-1] * Exp[TetraExpPrime[x-1]/TetraExpPrime[x-2]]

TetraExpPrime[x] == TetraExpPrime[x-1] * ProductLog[TetraExpPrime[x+1]/TetraExpPrime[x-1]]

TetraExpPrime[x] == TetraExpPrime[x+1] / Log[TetraExpPrime[x+2]/TetraExpPrime[x+1]]


Of course I don't have any means of proving that. Any comments still appreciated.


Messages In This Thread
Actual formulas for tetration and its derivative - by hyper4geek - 08/31/2007, 03:10 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Exotic fixpoint formulas tommy1729 2 695 06/20/2023, 10:10 PM
Last Post: tommy1729
  CONCLUSION 1 : conditions for nice tetration : second derivative !! tommy1729 6 1,632 02/23/2023, 12:56 PM
Last Post: tommy1729
Question Derivative of the Tetration Logarithm Catullus 1 1,073 07/03/2022, 07:23 AM
Last Post: JmsNxn
  On the first derivative of the n-th tetration of f(x) Luknik 5 3,206 10/28/2021, 11:53 AM
Last Post: tommy1729
  from formulas to pari implementations Xorter 3 6,473 06/04/2020, 02:08 PM
Last Post: Xorter
  Semi-exp and the geometric derivative. A criterion. tommy1729 0 3,939 09/19/2017, 09:45 PM
Last Post: tommy1729
  How to find the first negative derivative ? tommy1729 0 3,914 02/13/2017, 01:30 PM
Last Post: tommy1729
  A calculus proposition about sum and derivative tommy1729 1 5,369 08/19/2016, 12:24 PM
Last Post: tommy1729
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 26,635 01/01/2016, 03:58 PM
Last Post: sheldonison
  Derivative of E tetra x Forehead 7 19,294 12/25/2015, 03:59 AM
Last Post: andydude



Users browsing this thread: 2 Guest(s)