• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Actual formulas for tetration and its derivative hyper4geek Junior Fellow Posts: 3 Threads: 1 Joined: Aug 2007 08/31/2007, 03:10 PM 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. « Next Oldest | Next Newest »

 Messages In This Thread Actual formulas for tetration and its derivative - by hyper4geek - 08/31/2007, 03:10 PM RE: Actual formulas for tetration and its derivative - by bo198214 - 08/31/2007, 03:37 PM RE: Actual formulas for tetration and its derivative - by hyper4geek - 08/31/2007, 05:05 PM RE: Actual formulas for tetration and its derivative - by jaydfox - 08/31/2007, 05:12 PM RE: Actual formulas for tetration and its derivative - by jaydfox - 08/31/2007, 11:29 PM RE: Actual formulas for tetration and its derivative - by jaydfox - 08/31/2007, 05:17 PM RE: Actual formulas for tetration and its derivative - by jaydfox - 08/31/2007, 05:31 PM RE: Actual formulas for tetration and its derivative - by jaydfox - 08/31/2007, 05:40 PM RE: Actual formulas for tetration and its derivative - by hyper4geek - 08/31/2007, 05:51 PM RE: Actual formulas for tetration and its derivative - by andydude - 08/31/2007, 07:04 PM RE: Actual formulas for tetration and its derivative - by bo198214 - 08/31/2007, 07:28 PM RE: Actual formulas for tetration and its derivative - by andydude - 08/31/2007, 07:59 PM RE: Actual formulas for tetration and its derivative - by bo198214 - 08/31/2007, 08:05 PM RE: Actual formulas for tetration and its derivative - by GFR - 08/31/2007, 10:21 PM RE: Actual formulas for tetration and its derivative - by bo198214 - 08/31/2007, 10:26 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)