Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
[AIS] (alternating) Iteration series: Half-iterate using the AIS?
(12/18/2012, 11:17 AM)Gottfried Wrote:
(12/17/2012, 10:19 PM)sheldonison Wrote: At the real axis near the neighborhood of 3, the asum itself has a very small amplitude, of approximately 7.66E-12, as compared to an amplitude of 0.012 for Gottfried's asum(1.3^z-1) example. typo: off by 2x, the amplitude is approximately 1.533E-11
Here is an earlier plot for the decreasing of the amplitude as the base b goes to 2:
I have an equation for the approximate log(amplitude), for the alternating sum, iterating b^z-1. The approximation works for bases<e, and becomes more accurate as the base gets closer to e, with the adjust factor seeming to have a value of about 1.685 (log base e).
edit, I shouldn't have used "constant". adjust(b) seems ok ....

First, I reproduced Gottfried's graph,
And then I extended the graph to b=2.65, with the graph here shown to b=2.5, with both the calculated values and the approximation.

The key to the approximation, and calculating the asum for such tiny amplitudes lies in the complex plane. I prefer to work with the upper fixed point because it is entire, rather than the lower fixed point. The following Fourier series works for , where is the decremented exponential, m is the midpoint between the upper fixed point and the lower fixed point of zero, and the superfunction was generated from the upper fixed point.

At the real axis, this is a 2-periodic real valued fourier series, and only has odd terms in the series, since asum(z)=-asum(z+1). The asum may have very tiny values at the real axis, as the example for b=2 shows, but it grows exponentially as imag(z) increases or decreases away from the real axis. This graph is for b=2, with the upper fixed point=1, and m=0.5. The graph is the asum of the upper fixed point superfunction, generated at 1/2 the period from the lower fixed point where . On the left is the asum(z), and on the right is the superfunction(z), . Real is graphed in red, imaginary is in green.


The ideal asum(z)=amplitude*cos(pi z) which grows exponentially as imaginary of z increases. If it has some defined limiting behavior as the base approaches e, for , then the value at the real axis must be scaled from that value by . That is where the approximation comes form. At base=e, the period is infinite, but for the upper fixed point, there is still a defined point where the upper fixed point best approximates the lower fixed point, see You can generate the asum of this function, which goes to 0 at both +/- real infinity. I'll post more when I calculate it.

One final plot. Eventually the ceases converges towards the upper fixed point and instead goes to infinity. This is a singularity for the asum(f^z), where f^z is generated from the upper fixed point. The analytic boundary of the asum, as expressed by the Fourier series, occurs when , because then f(z+1)=1, which is a the upper fixed point for f(z) since 2^1-1=1. Arbitrarily close to this point (but above it), is a point where f^(z+n) goes to infinity. It is fairly straightforward to calculate the value for z for this value, which occurs at 0.882829631453880483797+8.92366740700108685788i. This is about +0.35i bigger than the Period/2. Here is a graph of the asum(f(z)), at its analytic limit. Here, the asum is still continuous, but you can clearly see the singularity. On the left is the asum, and on the right is the superfunction, . Real is graphed in red, imaginary is in green.

Maybe I'll post more later. I also figured out some approximations for the singularities of the asum based superfunction, which eventually hits a wall of fractal singularities as |imag(z)| increases. The analytic limit for the asum based superfunction is a little bit less than the analytic limit of the asum from the upper fixed point, which was shown here.
- Sheldon


Messages In This Thread
RE: Iteration series: Half-iterate using the infinite iteration-series? - by sheldonison - 12/22/2012, 04:12 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Perhaps a new series for log^0.5(x) Gottfried 3 709 03/21/2020, 08:28 AM
Last Post: Daniel
  Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 613 09/09/2019, 10:55 PM
Last Post: tommy1729
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 893 09/09/2019, 10:50 PM
Last Post: tommy1729
Question Taylor series of i[x] Xorter 12 13,370 02/20/2018, 09:55 PM
Last Post: Xorter
  Does tetration take the right half plane to itself? JmsNxn 7 7,084 05/16/2017, 08:46 PM
Last Post: JmsNxn
  Half-iteration of x^(n^2) + 1 tommy1729 3 4,597 03/09/2017, 10:02 PM
Last Post: Xorter
  Dynamics as alternating waves tommy1729 2 2,707 02/13/2017, 01:01 AM
Last Post: tommy1729
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 16,642 01/09/2017, 02:41 AM
Last Post: Gottfried
  Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 1,832 12/26/2016, 03:01 AM
Last Post: tommy1729
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,887 12/21/2016, 01:27 PM
Last Post: tommy1729

Users browsing this thread: 2 Guest(s)