And we can easily derive the equation \( \text{ilog}(f^{\circ w})=w\;\text{ilog}(f) \) by:
\( \frac{\partial \left(f^{\circ w}\right)^{\circ t}}{\partial t}|_{t=0}=
\frac{\partial f^{\circ w t}}{\partial t}|_{t=0}=
w\;\frac{\partial f^{\circ w t}}{\partial w t}|_{t=0}=w\;\text{ilog}(f) \)

I also can verify this via my powerseries package for the example \( f(x)=x+x^2+x^3 \).

which I can neither derive nor which is confirmed by the powerseries package. When I set \( f(x)=x+x^2 \) and \( g(x)=x+x^2+x^3 \)
then
\( \text{ilog}(f\circ g)-(\text{ilog}(f)+\text{ilog}(g))=-\frac{1}{2}x^4+\frac{5}{2}x^5-\frac{22}{3}x^6+\frac{29}{2}x^7+\dots \)

[1] Eri Jabotinsky, Analytic Iteration, Transactions of the American Mathematical Society, Vol. 108, No. 3 (Sep., 1963), pp. 457-477

So, Jabotinsky is wrong.
If Jabotinsky is right, then z1 = 0, but
according to this, \( z1 =
\frac{x^4}{2}((f_2g_3 - f_3g_2) + (f_2 -
g_2)f_2g_2) + \cdots \) which is only
true if \( f = g \) or if g is an iterate of f.

Sadly, the same is true of z2, only more so, because it displayes non-zero terms way before the 4th term, so it is more obvious that it is non-zero.

Gosh, I should learn proper reading first. Jabotinsky states:
If \( F(G(z))=G(F(z)) \) it can be shown [5] that \( G(z) \) is some iterate of \( F(z) \) and hence that [translated into our style]:
\( \text{ilog}(F\circ G)=\text{ilog}(F)+\text{ilog}(G) \)

[5] J. Hadamard, Two works on iteration, Bull. Amer. Math. Soc. 50 (1944), 67-75

Sorry, for the inconvenience, this answers also Ivars question.
(And btw. it should be very rare to find so obvious mistakes in peer reviewed journals ...)

bo198214 Wrote:(And btw. it should be very rare to find so obvious mistakes in peer reviewed journals ...)

Right, I should have read Jabotinsky before stating that, sorry. I have his "Analytic Iteration" (not the one with Erdos) and his "L-sequences for ..." papers, so I should have read them if either of them contain this theorem.

Anyways, its still very interesting, and I just did a test to see if it applies to hyperbolic iteration as well, and it does:

This must mean that:
\( \text{ilog}(f^{\circ t}) = t \text{ilog}(f) \)
so
\( f^{\circ t} = \text{ilog}^{-1}(t \text{ilog}(f)) \)

At first I thought this was either an Abel or Schroeder function, but it seems that it is neither. Because I've also heard Abel functions referred to as "iterational logarithm" before (I think Peter Walker calls them this). So how is this related to Abel functions? What is this? Since it cannot be uniquely identified by the term "iterational logarithm", then can it be called a Hadamard function? a Jabotinsky function?

I am having a lot of trouble comparing this to Abel and Schroeder functions. The best I can do is solve all of them for n:
\( n = \frac{\text{ilog}(f^n(x))}{\text{ilog}(x)}
= \log_c\left(\frac{\sigma(f^n(x))}{\sigma(x)}\right) = \alpha(f^n(x)) - \alpha(x) \)

05/23/2008, 07:05 AM (This post was last modified: 05/23/2008, 07:12 AM by Ivars.)

andydude Wrote:This must mean that:
\( \text{ilog}(f^{\circ t}) = t \text{ilog}(f) \)
so
\( f^{\circ t} = \text{ilog}^{-1}(t \text{ilog}(f)) \)
Andrew Robbins

Would that be true also for imaginary t? t=I, like:

andydude Wrote:This must mean that:
\( \text{ilog}(f^{\circ t}) = t \text{ilog}(f) \)
so
\( f^{\circ t} = \text{ilog}^{-1}(t \text{ilog}(f)) \)

At first I thought this was either an Abel or Schroeder function, but it seems that it is neither.

The categories (non-mathematical) are different:
\( \text{ilog} \) maps a function to a function (or better a formal powerseries to a formal powerseries) while the Abel function maps values to values. And before writing \( \text{ilog}^{-1} \) you should assure that it is invertible, which stronly seems not to be the case.

To be shorter I adopt Ecalle's notation and write \( f_\ast \) for \( \text{ilog}(f) \) and write \( f^{\ast} \) for the regular Abel function of \( f \). Then the relation between them both is:
\( \frac{\partial f^\ast(x)}{\partial x}=1/f_\ast(x) \)

In particular \( 1/f_\ast \) is a meromorphic function i.e. can be expressed as
\( c_{-n}x^{-n}+\dots+c_{-1}x^{-1}+c_0+c_1x+c_2x^2+\dots \)

If you now integrate this expression \( x^{-1} \) becomes \( \log(x) \). As this is so important, Ecalle calls \( c_{-1} \)
the "residu iteratif" (which he introduces in his first theorem in "Theorie des Invariants Holomorphes") so that we have
\( f^\ast(z) = c_{-1} \log(z) + F(z) \) where \( F(z) \) is a meromorphic function. I think similar considerations can be found in Szerkes' paper too.

Quote:Because I've also heard Abel functions referred to as "iterational logarithm" before (I think Peter Walker calls them this).

Ecalle calls the Abel function of \( f \) "iterateur de \( f \)" and he calls \( f_\ast \) "logarithme iteratif de \( f \)".