Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
tetration base conversion, and sexp/slog limit equations
bo198214 Wrote:
sheldonison Wrote:Consider what happens as b approaches e^(1/e) in the equation . The curve becomes more and more linear, and there are fewer and fewer degrees of freedom for how to extend the sexp function to real numbers, and still have an increasing "well behaved" function. It must be possible to describe this rigorously in terms of limits.
But it never gets completely linear, doesnt it? Otherwise it would not be analytic.
again, consider the region from to .
Let m=
and let average =

If we translate the region so it is centered over -0.5 to +0.5, then the linear approximation would be:


As b approaches , m will approach zero, and average will approach e. The endpoints of this critical section of the curve have been chosen so that

Thus a linear approximation has a continuous first derivative. However the second derivative is not continuous. It takes some algebra to show that the second derivative can be made continuous with an a3 term that is a solution of this quadratic equation.

As m gets smaller, the result for a3 approximates accurately as:

The a3 maximum contribution =~

This 3rd order equation (with a2=0 and a4 and higher zero), approximates the critical section much better than the linear estimate. But the maximum contribution of the a3 term to the sexp equation is proportional to m squared, or proporional to m when divided by m, the delta of the critical section. This shows that the a3 contribution becomes smaller and smaller and the linear term for a1=m can be as accurate as desired as m goes to zero, as b approaches .

I have also done the algebra for a continuous 3rd derivative, which effects the a0, a2 and a4 terms, with a1 and a3 unchanged. This contribution is proportional to m cubed, so it is much smaller than the a3 contribution, and is proportional to m squared when divided by m, the delta of the critical section.

So I think a linear approximation does converge as closely as one would like to the actual function, as the base approaches . And then this approximation can be used to convert to any other arbitrary base, as described. The data posted earlier for base e and base 10 sexp results used a 3rd order polynomial to model the critical section for base b=1.485, and should be accurate to nearly six significant digits.

Messages In This Thread
RE: tetration base conversion, uniqueness criterion? - by sheldonison - 02/21/2009, 12:18 AM
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 179 01/16/2020, 10:08 PM
Last Post: sheldonison
  Complex Tetration, to base exp(1/e) Ember Edison 7 2,204 08/14/2019, 09:15 AM
Last Post: sheldonison
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,393 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,636 09/06/2016, 04:23 PM
Last Post: tommy1729
  Taylor polynomial. System of equations for the coefficients. marraco 17 16,883 08/23/2016, 11:25 AM
Last Post: Gottfried
  Dangerous limits ... Tommy's limit paradox tommy1729 0 1,927 11/27/2015, 12:36 AM
Last Post: tommy1729
  tetration limit ?? tommy1729 40 48,717 06/15/2015, 01:00 AM
Last Post: sheldonison
  Some slog stuff tommy1729 15 12,796 05/14/2015, 09:25 PM
Last Post: tommy1729
  Totient equations tommy1729 0 1,804 05/08/2015, 11:20 PM
Last Post: tommy1729
  Bundle equations for bases > 2 tommy1729 0 1,837 04/18/2015, 12:24 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)