Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
tetration base conversion, and sexp/slog limit equations
#12
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.

Reply


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
  Complex Tetration, to base exp(1/e) Ember Edison 7 1,629 08/14/2019, 09:15 AM
Last Post: sheldonison
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,282 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,527 09/06/2016, 04:23 PM
Last Post: tommy1729
  Taylor polynomial. System of equations for the coefficients. marraco 17 15,908 08/23/2016, 11:25 AM
Last Post: Gottfried
  Dangerous limits ... Tommy's limit paradox tommy1729 0 1,830 11/27/2015, 12:36 AM
Last Post: tommy1729
  tetration limit ?? tommy1729 40 45,954 06/15/2015, 01:00 AM
Last Post: sheldonison
  Some slog stuff tommy1729 15 11,739 05/14/2015, 09:25 PM
Last Post: tommy1729
  Totient equations tommy1729 0 1,705 05/08/2015, 11:20 PM
Last Post: tommy1729
  Bundle equations for bases > 2 tommy1729 0 1,715 04/18/2015, 12:24 PM
Last Post: tommy1729
  Limit of mean of Iterations of f(x)=(ln(x);x>0,ln(-x) x<0) =-Omega constant for all x Ivars 10 14,319 03/29/2015, 08:02 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)