Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Comparing the Known Tetration Solutions
#16
Using gp, I computed Andrew's solution for base e, using a 50x50 matrix. (Side question: Andrew, how much faster are other libraries at solving these large matrices?)

Even with such a short truncation, only 50 terms, it's pretty clear that at least his first 6 odd derivatives (1, 3, 5, 7, 9, and 11) are convex. If this pattern continues, it would appear that maybe even all the odd derivatives will be convex as the limit of the number of terms goes to infinity.

While not strictly necessary to satisfy the basic constraints (iterated exponential property, infinitely differentiable (hopefully)), having all the odd derivatives be convex basically ensures uniqueness. That is, conceptually, I'm pretty sure that there can be only one solution that has all its odd derivatives convex. If we try to tweak the curve in the slightest (with a cyclic function, e.g., a Fourier series), somewhere, maybe in the 7th derivative, or the 25th, the disturbance will cause a loss of convexity, which shows up two derivatives later as a negative value for that derivative.

So, while my solution is the conversion from the unique solution of base eta (in the limiting case), it would seem that base conversion is only valid for integer increments of the superexponent. I suppose this is possible, since my formula can only be explicitly proven for integer increments, and I made the mistake of assuming (Occam's razor and all) that if it worked for all integer increments, it would work for fractional increments. Oops.
~ Jay Daniel Fox
Reply


Messages In This Thread
RE: Comparing the Known Tetration Solutions - by jaydfox - 08/21/2007, 05:06 AM
RE: computing the iterated exp(x)-1 - by andydude - 08/17/2007, 11:20 PM
RE: computing the iterated exp(x)-1 - by jaydfox - 08/17/2007, 11:38 PM
RE: computing the iterated exp(x)-1 - by bo198214 - 08/17/2007, 11:45 PM
RE: computing the iterated exp(x)-1 - by jaydfox - 08/18/2007, 12:19 AM
RE: computing the iterated exp(x)-1 - by bo198214 - 08/18/2007, 08:19 AM
RE: computing the iterated exp(x)-1 - by andydude - 08/18/2007, 09:35 AM
RE: computing the iterated exp(x)-1 - by bo198214 - 08/18/2007, 11:59 AM
RE: computing the iterated exp(x)-1 - by jaydfox - 08/18/2007, 03:49 PM
RE: computing the iterated exp(x)-1 - by jaydfox - 08/19/2007, 12:50 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Solutions to f ' (x) = f(f(x)) ? tommy1729 1 2,084 08/12/2013, 12:10 AM
Last Post: tommy1729
  Imaginary zeros of f(z)= z^(1/z) (real valued solutions f(z)>e^(1/e)) Gottfried 91 83,880 03/03/2011, 03:16 PM
Last Post: Gottfried
  Infinite towers & solutions to Lambert W-function brangelito 1 3,527 06/16/2010, 02:50 PM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)