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 599 01/16/2020, 10:08 PM
Last Post: sheldonison
  Complex Tetration, to base exp(1/e) Ember Edison 7 3,234 08/14/2019, 09:15 AM
Last Post: sheldonison
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,608 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,847 09/06/2016, 04:23 PM
Last Post: tommy1729
  Taylor polynomial. System of equations for the coefficients. marraco 17 18,561 08/23/2016, 11:25 AM
Last Post: Gottfried
  Dangerous limits ... Tommy's limit paradox tommy1729 0 2,119 11/27/2015, 12:36 AM
Last Post: tommy1729
  tetration limit ?? tommy1729 40 53,607 06/15/2015, 01:00 AM
Last Post: sheldonison
  Some slog stuff tommy1729 15 14,310 05/14/2015, 09:25 PM
Last Post: tommy1729
  Totient equations tommy1729 0 1,996 05/08/2015, 11:20 PM
Last Post: tommy1729
  Bundle equations for bases > 2 tommy1729 0 2,033 04/18/2015, 12:24 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)