Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
tetration base conversion, and sexp/slog limit equations
bo198214 Wrote:Here I see some difficulties to put that mathematically. You want to define tetration only for one base, but "approaching" means that you have to define tetration at least for a sequence of bases.
But perhaps this is just a question of exactness. The more exact the tetration for arbitrary bases should be the closer to one have to choose the base of the initial tetration, something in that direction.

OK, here's my proposal for a rigorous mathematical approach -- going all the way back to my original post:

This is equivalent to analyzing the following equation as b approaches , for increasing values of n. Subtracting the two terms slog terms from each other cancels out the fact that slog(x) increases as the base approaches . There are other ways to handle this, but this is a concise way to handle it in a limit equation. In these equation, slog refers to the slog with a linear approximation of the critical section.

First off, we can show that as n increases, the series converges for any individual value of b, (convergence as n increases is an easier problem discussed in the base conversion post by Jay; values of n>6 ought to give more or less unlimited accuracy for bases greater than 2).

The harder part is to show that the limit converges as b approaches . If it converges, an extension of the sexp/slog function to real numbers can be defined. As an example of how this equation could define the sexp/slog function extension to real numbers, consider the following equation, where x is a real number. If the limit above converges, then the limit below should converge to x.

With a little additional algebra, this allows defining an sexp/slog extension to real numbers, for base e, by iterating the ln function "n" times. In practice, for base e, using n=5 will give approximately a million digits of precision for positive values of x. This also works for any other arbitrary base.


Messages In This Thread
RE: tetration base conversion, uniqueness criterion? - by sheldonison - 02/22/2009, 04:04 PM
Is it analytic? - by sheldonison - 12/22/2009, 11:39 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Moving between Abel's and Schroeder's Functional Equations Daniel 1 761 01/16/2020, 10:08 PM
Last Post: sheldonison
  Complex Tetration, to base exp(1/e) Ember Edison 7 3,669 08/14/2019, 09:15 AM
Last Post: sheldonison
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,700 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,929 09/06/2016, 04:23 PM
Last Post: tommy1729
  Taylor polynomial. System of equations for the coefficients. marraco 17 19,284 08/23/2016, 11:25 AM
Last Post: Gottfried
  Dangerous limits ... Tommy's limit paradox tommy1729 0 2,215 11/27/2015, 12:36 AM
Last Post: tommy1729
  tetration limit ?? tommy1729 40 55,755 06/15/2015, 01:00 AM
Last Post: sheldonison
  Some slog stuff tommy1729 15 15,045 05/14/2015, 09:25 PM
Last Post: tommy1729
  Totient equations tommy1729 0 2,064 05/08/2015, 11:20 PM
Last Post: tommy1729
  Bundle equations for bases > 2 tommy1729 0 2,109 04/18/2015, 12:24 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)