Tetration extension for bases between 1 and eta

[tommy1729]

Sorry for continuing to post more limit formulas but I found another that I do not think has been mentioned before.

\( f^n(x) = \lim_{k\to \infty} f^{-k}(\frac {f'(f^k(x))^n(f^k(x)-f(f^k(x)))+f(f^k(x))-f^k(x)f'(f^k(x))} {1-f'(f^k(x))}) \)

which is the same as

\( f^n(x) = \lim_{k\to \infty}f^{-k}(\frac {f'(u)^n(u-f(u))+f(u)-uf'(u)} {1-f'(u)})\\where\\u=f^k(x) \)


This works whenever a function has a regular attracting or repelling fixed point that it increases through. For it to work near a repelling fixed point you simply let k approach negative infinity.

This formula is known to produce Schröder iteration. The proof of that is at https://math.eretrandre.org/tetrationfor...6#pid10036.

where is the proof ? 

copy the relevant part here ?

regards

tommy1729