Thread Rating:
  • 2 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Simple method for half iterate NOT based on a fixpoint.
#1
Simple method for the half iterate of a taylor series.

if
g: R -> R
x>0 => g(x) > x
x,y>0 => g(x+y) > g(x)
g is entire.

To find
f(f(x)) = g(x)

Consider

g(x) = g0 + g1 x + g2 x^2 + g3 x^3 + ...
( hence g(0) = g0 )

Define

f(x) = f0 + f1 x + f2 x^2 + f3 x^3 + ...

Now use D^n g(0) = D^n f(f(0)) = n! gn
( this follows from taylor's theorem and the chain rule )

We get

g(0) = f(f(0)) = f(f0) = g0

g'(0) = f'(f(0)) f'(0) = f'(f0) f'(0) = g1

pick f0 with 0 < f0 < g0.

Now pick an analytic function t(x) such that t(f^(n)(f0)) = f^(n)(0).

We arrive at the set of equations :
g^(1)(0) = f^(1)(f0) t(f^1(f0)) = g1
which can be solved.

Now use the solutions of D^(n-1) g(0) = D^(n-1) f(f(0)) = (n-1)! g(n-1) together with t(x) to solve D^n g(0) = D^n f(f(0)) = n! gn.

This is always possible because there are exactly 2 new variables in the n th equation relative to the n-1 th equation who are f^(n)(0) and f^(n)(f0) and by using t(x) we get only 1 new variable per equation. So there is no more a degree of freedom !

Doing so gives us by induction (and the lack of free parameters aka degrees of freedom) all values f^(n)(0) hence we get the values fn. As was desired.

f(x) = f0 + f1 x + f2 x^2 + f3 x^3 + ...

is now the unique solution based on picking f0 and t(x) assuming t(x) is picked *wisely*.

By wisely it is meant that
1) All solution fn are real
2) There are NO branches too choose when we solve for the new variable in each step from equation n-1 to equation n.

Note that if for all n : gn > 0 (*) => fn > 0. ( * = COND 1 )
If that is the case we can repeat the procedure to find g^[1/4](x) or equivalently f^[1/2].

HOWEVER it is not certain if the SAME t(x) can be used again.

Notice a similar method will probably work finding g^[1/3](x).
(with a t1(x) AND t2(x) to remove 2 degrees of freedom)

Also note that COND 1 easily gives a method for g^[1/2^m] for integer m.

Notice that for a real z : 0<z<1 and binary(0 or 1) zn we have z = z1/2 + z2/2^2 + z3/2^3 + ...
WHICH means we could approximate g^[z](x) (for bounded x) if COND 1 holds.
( analytic with respect to z is however a tricky question ! not ? )

Notice this method does not rely on fixpoints !!

It might be intresting to find a connection to fixpoints.

Also of possible intrest is to find a t(x) such that that method is equivalent to another one already discussed.

Thanks for your intrest

regards

tommy1729
Reply
#2
tommy1729 Wrote:Simple method for the half iterate of a taylor series
...

Nice! But I have two questions :

1. Does it always converges?
2. Is the half-iterate analytic?
Reply
#3
@Balarka

to question 1)

No it does not always converge.

That is because almost always the half-iterate has singularities.
The half-iterate of exp has singularies.
More precisely EVERY half-iterate of exp has singularities.

See : http://math.eretrandre.org/tetrationforu...hp?tid=544

Since it does not always converge , we have a limit radius of convergeance WHEREEVER we expand.

In particular the fixpoints have singularities.

to question 2)

clearly related to question 1)

within its radius of convergeance the function is indeed analytic.
even better , analytic continuation is possible.

notice that the taylor series is EXACTLY bounded where there are singularies so when the expansion point is not near a singularity we have a nonzero radius of convergeance !

NOTE that the singularities are determined by the fixpoints of g and the function t(x).

regards

tommy1729
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 238 09/09/2019, 10:55 PM
Last Post: tommy1729
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 402 09/09/2019, 10:50 PM
Last Post: tommy1729
  Iteration exercises: f(x)=x^2 - 0.5 ; Fixpoint-irritation... Gottfried 23 29,079 10/20/2017, 08:32 PM
Last Post: Gottfried
  Does tetration take the right half plane to itself? JmsNxn 7 5,707 05/16/2017, 08:46 PM
Last Post: JmsNxn
  Half-iteration of x^(n^2) + 1 tommy1729 3 3,856 03/09/2017, 10:02 PM
Last Post: Xorter
  (Again) fixpoint outside Period tommy1729 2 2,284 02/05/2017, 09:42 AM
Last Post: tommy1729
  tommy's simple solution ln^[n](2sinh^[n+x](z)) tommy1729 1 2,372 01/17/2017, 07:21 AM
Last Post: sheldonison
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 14,314 01/09/2017, 02:41 AM
Last Post: Gottfried
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,389 12/21/2016, 01:27 PM
Last Post: tommy1729
  Polygon cyclic fixpoint conjecture tommy1729 1 2,091 05/18/2016, 12:26 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)