Abel function

From TORI
Revision as of 14:27, 20 June 2013 by Maintenance script (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

For some given Transfer function $T$, the Abel function $G$ is inverse function of the corresponding superfunction $F$, id est, $G=F^{-1}$.

The Abel equation relates the Abel function $G$ and the transfer function $T$:

$G(T(z))=G(z)+1$

In certain range of values of $z$, this equation is equivalent of the Transfer equation

$T(F(z))=F(z\!+\!1)$

The transfer function $T$ is supposed to be known; then, the problem is to find the corresponding superfunction(s) and/or the Abel function(s).

The examples of the transfer functions, the superfunctions and the [[Abel functoons[[ $G$ are suggested in the Table of superfuncitons.

Superfunction and iterates of the transfer function

The superfunction and the Abel function allow to define the $n$th iteration of the corresponding transfer function $T$ in the following form:

$T^n(z)=F(n+G(z))$

This expression may hold for wide range of values of $z$ and $n$ from the set of complex numbers. In particular, for integer values of $n$,

$T^{-1}$ is inverse function of $T$
$T^0(z)=z$,
$T^1(z)=T(z)$
$T^2(z)=T(T(z))$

and so on. The non-integer iteration of function allows to express such functions as square root of factorial [1] and square root of exponential [2] in terms of the superfunction and the Abel function.

Existence and unuqueness

In many cases, the superfunction $F$ can be constructed with the regular iteration; then, for given superfunction, $G$ is unique. The superfunctions constructed in such a way, are different; in particular, they may have different periodicity. Sequently, the Abel functions are also different.

In order to define the unique Abel function $G$, the additional requirements on its asymptotic behavior should be applied [3][4].

References

  1. http://www.ils.uec.ac.jp/~dima/PAPERS/2009supefae.pdf D.Kouznetsov, H.Trappmann. Superfunctions and square root of factorial. Moscow University Physics Bulletin, 2010, v.65, No.1, p.6-12.
  2. http://www.digizeitschriften.de/dms/img/?PPN=GDZPPN002175851 H.Kneser. Reelle analytische Losungen der Gleichung $\varphi(\varphi(x))=e^x$ und verwandter Funktionalgleichungen Journal fur die reine und angewandte Mathematik 187 p.56-67 (1950)
  3. http://www.ams.org/journals/mcom/2010-79-271/S0025-5718-10-02342-2/home.html D.Kouznetsov, H.Trappmann. Portrait of the four regular super-exponentials to base sqrt(2). Mathematics of Computation, 2010, v.79, p.1727-175
  4. http://www.springerlink.com/content/u7327836m2850246/ H.Trappmann, D.Kouznetsov. Uniqueness of Analytic Abel Functions in Absence of a Real Fixed Point. Aequationes Mathematicae, v.81, p.65-76 (2011)