Equations for Kneser sexp algorithm
#13
(06/10/2011, 08:48 AM)bo198214 Wrote:
(08/08/2010, 07:14 PM)sheldonison Wrote: 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.

I have to ask here again. "Only terms with positive values of n are included.":
Why did you put that restriction?
Is there inherent reason, or is it just that you think this is the most natural and simplest way?
For clarity, this is the integral, to generate the individual a_n terms for the \( \theta(z) \) Fourier series approximation, generated from the sexp(z) approximation.
\( a_n =\int_{\;-0.5+0.12i}^{\;0.5+0.12i}
(\text{superf}^{-1}(\text{sexp}(z))-z) \times \exp(-2n\pi i z) \;
\mathrm{d}z \)
\( \theta(z)=\sum_{n=0}^{\infty}a_n\times \e^{(2n\pi i z)} \)
\( \text{Riemaprx}(z)=\text{superf}(z+\theta(z)) \), Kneser Riemann mapping approximation, for \( \Im(z)>=0.12i \)

Because sexp(z) here, is only an approximation, including terms with negative values of n would mean that theta(z) would not decay as z goes to \( \Im\infty \). It would also mean that the theta(z) function would only be defined at one and only one value of \( \Im(z)=0.12i \), since an infinite Fourier series typically only converges where the series is sampled. For this algorithm, I have chosen to sample at imag(z)=0.12i, see Jan 11th 2011 post. By throwing out the a_n terms, with n<0, we have a function which is defined for \( \Im(z)>=0.12i \), with singularities at integers. The singularities are because the sexp(z) approximation function we are generating the Fourier series of is only approximate. So \( \text{superf^{-1}(\text{sexp}(z))-z \) is only an approximately 1-cyclic function. Since the solution we are ultimately looking for has a_n terms with negative values of n all zero, this allows the iterated sequence of functions to converge. Again, I think the picture in the previous post I linked to helps a lot. After doing the Fourier analysis, the function on this circle is used to generate the next sexp(z) approximation, as described in the algorithm, where f(x) is the previous sexp(z) approximation. The sexp(z) would also require a full Laurent series to converge on the unit circle (and then only converge on the unit circle), but we throw out the coefficients for the z^-n terms.
[Image: attachment.php?aid=829]

If we had the exact sexp(z) function, and we did an exact infinite Fourier analysis at the real axis, or at any other value of \( \Im(z) \), then all of the a_n terms with negative n would be zero, and the infinite sequence of positive a_n terms gives a function which converges for \( \Im(z) \)>=0, as long as z is not an integer.
- Sheldon


Messages In This Thread
RE: Equations for Kneser sexp algorithm - by sheldonison - 06/10/2011, 01:43 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Two types of tetration : sexp ' > or < 1. tommy1729 6 727 10/17/2023, 02:05 PM
Last Post: leon
  Artificial Neural Networks vs. Kneser Ember Edison 5 1,585 02/22/2023, 08:52 PM
Last Post: tommy1729
Question When Does \(\displaystyle\int_{-1}^0\text{sexp}(x)\,\mathrm{d}x\) Equal \(\frac12\)? Catullus 0 710 10/31/2022, 11:47 PM
Last Post: Catullus
  Complex to real tetration via Kneser Daniel 3 1,934 07/02/2022, 02:22 AM
Last Post: Daniel
  Trying to get Kneser from beta; the modular argument JmsNxn 2 1,594 03/29/2022, 06:34 AM
Last Post: JmsNxn
  Revitalizing an old idea : estimated fake sexp'(x) = F3(x) tommy1729 0 1,041 02/27/2022, 10:17 PM
Last Post: tommy1729
  Arguments for the beta method not being Kneser's method JmsNxn 54 32,651 10/23/2021, 03:13 AM
Last Post: sheldonison
  tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 2,612 09/20/2021, 04:29 AM
Last Post: JmsNxn
  Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 19,845 05/26/2021, 11:55 PM
Last Post: MphLee
  Alternative manners of expressing Kneser JmsNxn 1 2,328 03/19/2021, 01:02 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)