Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Equations for Kneser sexp algorithm
#1
This is a continuation of the thread in the computation forum, http://math.eretrandre.org/tetrationforu...hp?tid=486

This thead contains some of the mathematical equations I used for the fast Kneser algorithm. In this post, B is the base for the sexp function, and L is the fixed point for base B.

This is the complex valued superfunction, developed from the fixed point L for base B, where B>
for base e, c=L


This is the complex valued inverse superfunction, developed from the fixed point, which is the inverse of the equation above. The inverse superfunction has the property, that isuperf(B^z)=isuperf(B)+1. This particular equation is normalized, so that it converges to the same value as the limit of n approaches infinity. Both of these two functions are implemented in the pari-GP program I wrote.


If we started with a pefect sexp(z) function, then this is the 1-cyclic theta function linking the sexp with the superf/isuperf.



Theta(z) has a singularity at all integer values of n. Theta(z) is represented by an infinite sequence of fourier terms. The fourier series for theta(z) can be developed from any arbitrary unit length on the real axis of sexp(z), where z>-2. Only terms with positive values of n are included, and all terms a_n for negative values of n are zero.


Theta(z) is intimately connected to the Riemann unit circle mapping, used by Kneser's construction. The Taylor series for the Riemann unit circle function (I'm not sure of the correct notation here) uses the exactly the same a_n coeffecients as the 1-cyclic theta function! This is something that connects the complex fourier analysis of theta(z) to the theory of complex analytic functions, which is really neat! The RiemannCircle has a singularity at z=1, which corresponds to the singularities at the integer values of theta(z).




If we had a perfect sexp(z) Taylor series, then we have a function for the values of the Riemann unit circle function, which is generated from the theta function, using the equation above, from the inverse superfunction. Now, we can use Cauchy's integral formula to calculate the Taylor series for the Riemann unit circle function. And this also gives us the coefficients of the 1-cyclic theta(z) function.

Of course, there is still the problem of the singularity on the unit circle, which causes problems due to slow convergence. In later posts, I will try to go into some detail, showing values for the Taylor series results for the Riemann circle function, and how the coefficients slowly decay, with poor convergence on the unit circle.

The program I wrote iterates, calculating approximate values the RiemannCircle Taylor series based on an approximation function for sexp(z). And then uses the Taylor series for the RiemannCircle function to calculate another better approximation for the sexp(z) function.

Many, many, many more details to follow! Be patient. This may take a few days....
- Enjoy, Sheldon
Reply


Messages In This Thread
Equations for Kneser sexp algorithm - by sheldonison - 08/08/2010, 07:14 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Complex to real tetration via Kneser Daniel 3 191 07/02/2022, 02:22 AM
Last Post: Daniel
  Trying to get Kneser from beta; the modular argument JmsNxn 2 527 03/29/2022, 06:34 AM
Last Post: JmsNxn
  Revitalizing an old idea : estimated fake sexp'(x) = F3(x) tommy1729 0 378 02/27/2022, 10:17 PM
Last Post: tommy1729
  Arguments for the beta method not being Kneser's method JmsNxn 54 15,857 10/23/2021, 03:13 AM
Last Post: sheldonison
  tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 1,227 09/20/2021, 04:29 AM
Last Post: JmsNxn
  Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 11,930 05/26/2021, 11:55 PM
Last Post: MphLee
  Alternative manners of expressing Kneser JmsNxn 1 1,407 03/19/2021, 01:02 AM
Last Post: JmsNxn
  Arbitrary Order Transfer Equations JmsNxn 0 987 03/16/2021, 08:45 PM
Last Post: JmsNxn
  Questions about Kneser... JmsNxn 2 1,897 02/16/2021, 12:46 AM
Last Post: JmsNxn
  New Quantum Algorithms (Carleman linearization) Finally Crack Nonlinear Equations Daniel 2 1,998 01/10/2021, 12:33 AM
Last Post: marraco



Users browsing this thread: 1 Guest(s)