Simple method for half iterate NOT based on a fixpoint.
Simple method for the half iterate of a taylor series.

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)


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


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


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?

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 :

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).



Possibly Related Threads…
Thread Author Replies Views Last Post
  Simple limit approximation to exp(x) tommy1729 0 29 05/16/2023, 11:13 PM
Last Post: tommy1729
  The ultimate beta method JmsNxn 8 441 04/15/2023, 02:36 AM
Last Post: JmsNxn
  greedy method for tetration ? tommy1729 0 163 02/11/2023, 12:13 AM
Last Post: tommy1729
  tommy's "linear" summability method tommy1729 15 906 02/10/2023, 03:55 AM
Last Post: JmsNxn
  another infinite composition gaussian method clone tommy1729 2 271 01/24/2023, 12:53 AM
Last Post: tommy1729
  Semi-group iso , tommy's limit fix method and alternative limit for 2sinh method tommy1729 1 333 12/30/2022, 11:27 PM
Last Post: tommy1729
  [MSE] short review/implem. of Andy's method and a next step Gottfried 4 743 11/03/2022, 11:51 AM
Last Post: Gottfried
  Half-iterate exp(z)-1: hypothese on growth of coefficients Gottfried 48 6,966 09/09/2022, 12:24 AM
Last Post: tommy1729
  Is this the beta method? bo198214 3 772 08/18/2022, 04:18 AM
Last Post: JmsNxn
  Describing the beta method using fractional linear transformations JmsNxn 5 1,027 08/07/2022, 12:15 PM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)