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
  Why the beta-method is non-zero in the upper half plane JmsNxn 0 208 09/01/2021, 01:57 AM
Last Post: JmsNxn
  Perhaps a new series for log^0.5(x) Gottfried 3 4,125 03/21/2020, 08:28 AM
Last Post: Daniel
  Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 1,996 09/09/2019, 10:55 PM
Last Post: tommy1729
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 2,880 09/09/2019, 10:50 PM
Last Post: tommy1729
Question Taylor series of i[x] Xorter 12 22,281 02/20/2018, 09:55 PM
Last Post: Xorter
  Does tetration take the right half plane to itself? JmsNxn 7 12,531 05/16/2017, 08:46 PM
Last Post: JmsNxn
  Half-iteration of x^(n^2) + 1 tommy1729 3 7,604 03/09/2017, 10:02 PM
Last Post: Xorter
  Dynamics as alternating waves tommy1729 2 4,835 02/13/2017, 01:01 AM
Last Post: tommy1729
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 23,311 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 27,236 01/09/2017, 02:41 AM
Last Post: Gottfried

Users browsing this thread: 1 Guest(s)