Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Merged fixpoints of 2 iterates ? Asymptotic ? [2019]
#1
Consider the function f(z) = exp(z) + z.

f(z) has no finite fixpoints.

We do iterates ( fractional near the real line ) by moving the fixpoint at oo to a finite place. 
Of other ways.

I Came to consider the following

f^[2](z) = exp(exp(z)) exp(z) + exp(z) + z.

The finite fixpoints are then 

Exp(z) ( exp(exp(z)) +1 )  + z = z

=>

Exp(z) ( exp(exp(z)) + 1) = 0

=> 

Z = ln( ln(-1) ) 

One solution is

 ln( pi ) + pi / 2 i = A

And another the complex conjugate of A : B.

Now i wonder if we take the half- iterates of f^[2] from those 2 fixpoints ( A and B ) based on koenigs solutions ,

Call them 

FA(z) and FB(z).

And then take the average of them : 

C(z) = ( FA(z) + FB(z))/2  
[ i call this merged fixpoints method ]


Then is C(x) , where x is real , close to f(x) ??

And how does C(z) behave on the complex plane ?
----

Similar questions for the merged fixpoints of g(z,t) = (z^2 + t) + z with t ≥ 1.

Notice g has only 2 fixpoints.


Plots would be nice too.


Regards

Tommy1729
Reply
#2
(09/09/2019, 11:29 PM)tommy1729 Wrote: Consider the function f(z) = exp(z) + z.

f(z) has no finite fixpoints.

We do iterates ( fractional near the real line ) by moving the fixpoint at oo to a finite place. 
...
Now i wonder if we take the half- iterates of f^[2] from those 2 fixpoints ( A and B ) based on koenigs solutions 
Iterating is congruent to iterating


Then we use the method of Ecalle to generate the Abel function for the parabolic fixed point of  at y=0, which corresponds to the fixed point at .  The two periodic fixed points correspond to

Then iterating y is the inverse of iterating the lambert-w function; so that is well defined too.  The problem of using the pair of two-periodic fixed points to generate a real valued soution requires something much much more complicated than just Koenigs; probably the Op has in mind something more like Kneser's method of using a complex conjugate pair of repelling fixed points?   

Quote:Similar questions for the merged fixpoints of g(z,t) = (z^2 + t) + z 

I have implemented iterating where , using both complex conjugate fixed points in a method analogous to Kneser's solution for tetration.  In complex dynamics, this Abel function is the perturbed fatou coordinate.  This implementation is actually one of the dozen or so things included in my program fatou.gp by using the parameter x2mode=1.
Code:
\r fatou.gp
x2mode=1;
loop(0.5);  /* this is my value for k; equal to the Op's "t"; works for k<=0.68; crashes for k>0.69 */
abel(5);    /*  3.33194722643578               */
invabel(4); /* 14.7851562500000; invabel(0)=0  */
- Sheldon
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 136 09/09/2019, 10:55 PM
Last Post: tommy1729
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 274 09/09/2019, 10:50 PM
Last Post: tommy1729
  Searching for an asymptotic to exp[0.5] tommy1729 191 169,290 03/15/2018, 01:23 PM
Last Post: tommy1729
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 2,089 11/07/2017, 11:06 AM
Last Post: sheldonison
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,324 12/21/2016, 01:27 PM
Last Post: tommy1729
  2 fixpoints related by power ? tommy1729 0 1,320 12/07/2016, 01:29 PM
Last Post: tommy1729
  2 real fixpoints again ....... tommy1729 10 8,345 02/23/2016, 10:17 PM
Last Post: tommy1729
  Fixpoints a,b with f ' (a) = f ' (b) = 1 tommy1729 0 1,529 09/15/2015, 08:29 AM
Last Post: tommy1729
  alternative fixpoints = branches ? tommy1729 0 1,635 10/11/2014, 08:50 AM
Last Post: tommy1729
  Wild conjecture about 2 fixpoints. tommy1729 0 1,716 05/03/2014, 10:56 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)