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


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
  Semi-exp and the geometric derivative. A criterion. tommy1729 0 1,416 09/19/2017, 09:45 PM
Last Post: tommy1729
  How to find the first negative derivative ? tommy1729 0 1,533 02/13/2017, 01:30 PM
Last Post: tommy1729
  A calculus proposition about sum and derivative tommy1729 1 2,086 08/19/2016, 12:24 PM
Last Post: tommy1729
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 10,946 01/01/2016, 03:58 PM
Last Post: sheldonison
  Derivative of E tetra x Forehead 7 9,741 12/25/2015, 03:59 AM
Last Post: andydude
  A derivative conjecture matrix 3 4,696 10/25/2013, 11:33 PM
Last Post: tommy1729
  Non-recursive coefficient formulas. Can the Riemann mapping be constructed? mike3 0 2,322 06/04/2011, 12:17 AM
Last Post: mike3



Users browsing this thread: 1 Guest(s)