# Zooming equation

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Zooming equation is tentative name for the equation

(1) $~ ~ ~ T\big(f(z)\big)= f( s\, z)~$

where $~T~$ is some given function and $~s~$ is some given constant. Usually it is assumed that $~T~$ is holomorphic at least in some vicinity of zero, and $~s\!=\!T'(0)~$. Function $~f~$ is requested to built-up.

The physical sense of function $~T~$ is transfer function; it describes the variation of value of function $~f~$ at the scaling, zooming of its argument with factor $~s~$.

The tentative name for the solution $~f~$ of the zooming equation is zooming function.

## Schroeder equaiton

The solution $~f$ of the zooming equation is related to the solution $~g~$ of the Schroeder equation

(2) $~ ~ ~ g\big(T(z)\big)= s \, g(z)$

it is assumed that $~f=g^{-1}$ and $~g=f^{-1}$, id est, in wide ranges of values of $z$, the relations below hold:

(3) $~ ~ ~ f(g(z))=z$

(4) $~ ~ ~ g(f(z))=z$

## Regular iteration

Assuming that zero is fixed point of the transfer function $~T~$ is holomorphioc (regular) in vicinity of zero, the zooming function $~f~$ and the Schroeder function $~g~$ can be used to construct the non–integer iterate $~T^r~$, that is regular in vicinity of zero, id est, the regular iterate

(5) $\displaystyle ~ ~ ~ T^r(z)=f\Big(r\,s\, g(z)\Big)$

Such a rule can be extended to the cases of other fixed points $~L~$, performing the corresponding transform of the transfer function from $~T~$ to $~t~$, assuming that

(6) $~ ~ ~ t(z)=T(z\!+\!L)-L$

and treating $~t~$ as a new transfer function with fixed point zero. After to construct iterates of function $~t~$, regular at zero, the $~r$th iteration of function $~T~$, regular at $~L~$, can be expressed as

(7) $~ ~ ~ T^t(z)=t^r(z\!-\!L)+L$

If the transfer function $~T~$ has more than one fixed points, then, the non-integer iterate $~T^r~$, regular at one of these fixed points, has no need to be regular at another fixed point; another fixed point may be branchpoint [1]. The non-integer iterates of various functions can be constructed also with the superfunction and Abel function, considering the transfer equation instead of the zooming equation [2][3].

## References

1. http://www.ams.org/journals/mcom/2010-79-271/S0025-5718-10-02342-2/home.html http://tori.ils.uec.ac.jp/PAPERS/2010sqrt2.pdf D.Kouznetsov, H.Trappmann. Portrait of the four regular super-exponentials to base sqrt(2). Mathematics of Computation, 2010, v.79, p.1727-1756.
2. http://tori.ils.uec.ac.jp/PAPERS/2010logistie.pdf http://www.springerlink.com/content/u712vtp4122544x4 D.Kouznetsov. Holomorphic extension of the logistic sequence. Moscow University Physics Bulletin, 2010, No.2, p.91-98. (Russian version: p.24-31) DOI 10.3103/S0027134910020049
3. http://tori.ils.uec.ac.jp/PAPERS/2010superfae.pdf http://www.springerlink.com/content/qt31671237421111/fulltext.pdf?page=1 D.Kouznetsov, H.Trappmann. Superfunctions and square root of factorial. Moscow University Physics Bulletin, 2010, v.65, No.1, p.6-12. (Russian version: p.8-14)