Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
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 Fourier series approximation, generated from the sexp(z) approximation.


, Kneser Riemann mapping approximation, for

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 . It would also mean that the theta(z) function would only be defined at one and only one value of , 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 , with singularities at integers. The singularities are because the sexp(z) approximation function we are generating the Fourier series of is only approximate. So 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 , 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 >=0, as long as z is not an integer.
- Sheldon
Reply


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
  Kneser method question tommy1729 9 1,388 02/11/2020, 01:26 AM
Last Post: sheldonison
  Moving between Abel's and Schroeder's Functional Equations Daniel 1 513 01/16/2020, 10:08 PM
Last Post: sheldonison
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,803 09/06/2016, 04:23 PM
Last Post: tommy1729
  Taylor polynomial. System of equations for the coefficients. marraco 17 18,160 08/23/2016, 11:25 AM
Last Post: Gottfried
  [split] Understanding Kneser Riemann method andydude 7 8,737 01/13/2016, 10:58 PM
Last Post: sheldonison
  Totient equations tommy1729 0 1,956 05/08/2015, 11:20 PM
Last Post: tommy1729
  Bundle equations for bases > 2 tommy1729 0 1,984 04/18/2015, 12:24 PM
Last Post: tommy1729
  Can sexp(z) be periodic ?? tommy1729 2 4,198 01/14/2015, 01:19 PM
Last Post: tommy1729
  Grzegorczyk hierarchy vs Iterated differential equations? MphLee 0 2,221 01/03/2015, 11:02 PM
Last Post: MphLee
  A system of functional equations for slog(x) ? tommy1729 3 4,862 07/28/2014, 09:16 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)