Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Theory about tetrating bases from 0 to e^-e via the continuum sum
(12/20/2009, 06:27 AM)Ansus Wrote: Did you try Mueller formula with conventional bases 1<b<e^(1/e) ?

Yes. It converges to a value that looks to agree with the regular iteration at the attracting fixpoint, though the convergence (of the iterating method) is really slow at . But the upshot, however, is that it doesn't seem to have as strongly escalating precision requirements using the regular iteration limit formula does.

For Mueller's formula with a fixed point we have

where in the right halfplane. This allows us to run the tetration for those bases via a Taylor series expanded at . For computation, I compute recursively by power series exponential.

Using 64 terms of power series, 38 digits of precision, Mueller sum up to 256 terms, and 128 iterations starting with an initial guess on the series of 1, I get (I discard the rest of the digits beyond where the residual (difference between and ) is of order of the first discarded digit. The residual gives an idea of the accuracy of the approximation.). Bumping the power series term count up to 128 terms yet with no further increase of the numerical precision yields , which agrees completely with the regular iteration limit formula when rounded to 38 digits of precision, suggesting that the regular iteration and Mueller sum approaches yield the same function. And the best part about this that it looks more efficient for computation. Namely, it gives us a Taylor expansion we can reuse (so that once we "initialize", we can do any real height without so many expensive computations), and it requires no increase in precision beyond the level we need (I think even the series formula for regular iteration requires ever more "slop" precision like the limit formula does.).

And if you want a graph...
(that is obtained from the Mueller-summed continuum sum formula)

Messages In This Thread

Possibly Related Threads...
Thread Author Replies Views Last Post
  Hyper operators in computability theory JmsNxn 5 4,751 02/15/2017, 10:07 PM
Last Post: MphLee
  Set theory debate : cantor 1st / Virgil argument. tommy1729 1 2,207 12/08/2015, 11:14 PM
Last Post: tommy1729
  2015 Continuum sum conjecture tommy1729 3 3,742 05/26/2015, 12:24 PM
Last Post: tommy1729
  Why bases 0<a<1 don't get love on the forum? marraco 20 19,028 04/19/2015, 05:53 PM
Last Post: Gottfried
  Bundle equations for bases > 2 tommy1729 0 1,992 04/18/2015, 12:24 PM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 3,029 04/08/2015, 09:18 PM
Last Post: marraco
  [2015] Spiderweb theory tommy1729 0 2,027 03/29/2015, 06:25 PM
Last Post: tommy1729
  [number theory] sieving with a_i mod p_i tommy1729 7 8,578 09/12/2014, 07:28 AM
Last Post: tommy1729
  " fake ring theory " tommy1729 0 2,159 06/11/2014, 11:29 PM
Last Post: tommy1729
  Another way to continuum sum! JmsNxn 6 7,070 06/06/2014, 05:09 PM
Last Post: MphLee

Users browsing this thread: 1 Guest(s)