Difference between revisions of "Table of superfunctions"

From TORI
Jump to: navigation, search
(Referenes)
(Referenes)
Line 214: Line 214:
 
[[ArcTetration]],
 
[[ArcTetration]],
 
[[Doya function]],
 
[[Doya function]],
[[Iterate of linear fraction]]
+
[[Iterate of linear fraction]],
 
[[Keller function]],
 
[[Keller function]],
 
[[Shoka function]],
 
[[Shoka function]],

Revision as of 12:27, 28 August 2013

For a given function $T$, called transfer function, the holomorphic solution $F$ of Transfer equation

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

is called superfunction with respect to $T$.

The inverse function, id est, $G=F^{-1}$ is called Abel function with respect to $T$; it satisfies the Abel equation

$ \!\!\!\!\!\!\!\!\!\!\!\! (2) ~ ~ ~ G(T(z))=G(z)+1 $

In any pair of holomorphic functions $F$, $G\!=\!F^{-1}$, function $F$ can be declared as superfunction, function $G$ can be declared as Abel function, and then the corresponding transfer function can be expressed as follows:

$ \!\!\!\!\!\!\!\!\!\!\!\! (3) ~ ~ ~ T(z)=F(1+G(z)) $

The table of examples of superfunctions can be constructed in a way, similar to the construction of a table of indefinite integrals. (Some special function is differentiated; if the result fits in one line of the table and cannot be easy expressed through other integrands already presented in table, then the result is qualified as new "integrand" and its integral is added to the table.) For superfunctions, any pair, function and its inverse function, are declared as superfunction and the Abel function; If the Transfer function by (3) can be simplified to fit the cell in the table, it is added to the Table of superfunctions. The example of table of superfunctions appeared in 2010 in the Moscow University Physics bulletin [1].

Table

$T(z)~$ $F(z)~$ $G(z)~$ Comments, keywords, refs
00 $~ c$ $~ c$ $~$ does not exist constant
01 $~z+1$ $~z+b$ $~z-b$ Unity increment, addition, substraction
02 $~z+b$ $~z\,b$ $~z/b$ $b\! \ne \! 0$, addition, multiplication, division
03 $~z\, b$ $~ b^z$ $~\log_b(z)$ $b\! > \! 0$, $b\ne1 ~$ multiplication, exp, log
04 $~b^z$ $~\mathrm{tet}_b(z)$ $~\mathrm{ate}_b(z)$ $b\! > \! 1$, exp, tetration, arctetration
05 $~z^b$ $~\exp(b^z)$ $~\log_b(\ln(z))$ $b\ne \pm 1$ , Power function, log, exp
05a $\displaystyle \frac{-1}{z}$ $~\displaystyle \tan\left(\frac{2}{\pi} z\right)$ $~\displaystyle \frac{2}{\pi} \arctan(z)$ Iterate of linear fraction
06 $~\log_b(z)$ $~\mathrm{tet}_b(-z)$ $~-\mathrm{ate}(z)$ ArcTetration
07 $~ \ln(b+\mathrm{e}^z)$ $~ \ln(bz)$ $~\mathrm{e}^z/b$ Logarithm
08 $~(a^b+z^b)^{1/b}$ $~a z^{1/b} $ $~(z/a)^b$ Exponential
09 $~2 z^2-1 $ $~\cos(2^z)$ $~\log_2(\arccos(z))$ cosinus, trigonometric functions
10 $~2 z^2-1$ $~ \cosh(2^z)$ $~\log_2(\mathrm{arccosh}(z))$ (compare to "09") Hyperbolic functions
11 $~ 2 z/(1\!-\!z^2) $ $~ \tan(2^z)$ $~ \log_2(\arctan(z))$ tangent
12 $~ 2z/(1\!+\!z^2)$ $~ \tanh(2^z)$ $~ \log_2\big( 2 \ln\Big( \frac{z+1}{z-1} \Big) \Big)$ Exponential
13 $~ z!$ $~ \mathrm{SuperFactorial}(z)$ $~ \mathrm{AbelFactorial}(z)$ Factorial, SuperFactorial, AbelFactorial [1]
14 $~ u\, z\, (1\!−\!z)$ $~ \mathrm{LogisticSequence}(z)$ $~ \mathrm{LogisticSequence}^{-1}(z)$ $u\!=\!\mathrm{const}$, Logistic sequence, [2]
15 $~ \mathrm{Doya}(z)$ $~ \mathrm{Tania}(z)$ $~ (z+\ln(z)−1)$ Doya, Tania, LambertW, WrightOmega [3]
16 $~ \mathrm{Keller}(z)$ $~ \mathrm{Shoka}(z)$ $~ \mathrm{ArcShoka}(z)$ Keller, Shoka, ArcShoka [3]
17 $ \begin{array}{c} n/2~ , \mathrm{ ~~if~~ } n/2 \in \mathbb N \\\! \frac{3n\!+\!1)}{2} ,\mathrm{ ~if~ } \frac{n\!+\!1}{2} \in \mathbb N \end{array}$ $~ \mathrm{SubCollatz}(z)$ $~ \mathrm{ArcSubCollatz}(z)$ Collatz subsequence
18 $~\displaystyle \frac{a^2\!+\!2az\!+\!bz}{b-z}$ $~\displaystyle \frac{az\!+\!b}{1\!-\!z}$ $~\displaystyle \frac{z\!-\!b}{z\!+\!a}$ $~\displaystyle T^n(z)=\frac{a^2 n + (b\!+\!a\!+na)z}{a+b-an-nz}$
19 $~ \mathrm{zex}(z)\!=\! z \exp(z)$ $~ \mathrm{SuZex}(z)$ $~ \mathrm{AuZex}(z)$ Zex, LambertW, SuZex, AuZex
20 $~ \mathrm{tra}(z)\!=\! z\!+\! \exp(z)$ $~ \ln\Big(\mathrm{SuZex}(z)\Big)$ $~ \mathrm{AuZex}\Big(\exp(z)\big)$ Trappmann function, SuZex, AuZex

Extensions and uniqueness

The table above could be much longer. As it is mentioned, any pair of functions ($F$, $F^{-1}$) $=$ ($F$, $G$) can be interpreted as (superfunction, Abel function) for the transfer function $T=z\mapsto F(1+F^{-1}(z))$.

Also, the functions from the table can be combined: for a holomorphic functions $P$ and $Q=P^{-1}$ any line in the table (except the 0th) can be transformed as follows:

$F(z) \longrightarrow P(F(z))~$, $~G(z) \longrightarrow G(Q(z))~$, $~T(z) \longrightarrow P(T(Q(z)))$

In addition, the swap of the arguments is allowed:

$F \longrightarrow G~$, $~G \longrightarrow F~$, $~T(z) \longrightarrow G(1\!+\!F(z))$

The replacement is assumed to be performed in parallel, not sequentially.

The general methods of construction of superfunctions allow to implement the efficient algorithms for solution of the transfer equation (1) and the Abel equation (2) even for those transfer functions, that cannot be simply expressed through the special functions with equation (3).

In general, superfunctions are not unique. The new superfunction can be obtained by the translation of the argument; for example, the superfunction in the line "9" of the Table can be obtained from than in line "8" by the imaginary displacement of the argument. Also, the different fixed points of a transfer function can be used in the regular iteration method. Between the fixed points, the resulting superfunctions may agree with many decimal digits, but the deviation is easy to see for the complex values of the argument [4]. For uniqueness of the superfunction, the specification of its behavior in the complex plane is essential [5]. It seems, that the physically–meaningful superfunctions do not show the exponentical growth in the imaginary direction and can be constructed at the real fixed point with the regular iterations.

From the scientific point of view, it is difficult to say, what is "better" – to have the variety of superfunctions for each case of the life needs, or to have the unique superfunction, applying the strict requirements on its behavior at the complex values of the argument. But anyway, it is better to know about this variety, while it takes place, and to know about the uniqueness in the cases, when the superfunction and the Abel function are unigue [6].

Referenes

  1. 1.0 1.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. Cite error: Invalid <ref> tag; name "fac" defined multiple times with different content
  2. http://www.springerlink.com/content/u712vtp4122544x4/ D.Kouznetsov. Holomorphic extension of the logistic sequence. Moscow University Physics Bulletin, 2010, No.2, p.91-98.
  3. 3.0 3.1 http://link.springer.com/article/10.1007/s10043-013-0058-6 (official version, registration is required)
    http://mizugadro.mydns.jp/PAPERS/2013or1.pdf (single column version with links for online reading)
    D.Kouznetsov. Superfunctions for amplifiers. Optical Review, July 2013, Volume 20, Issue 4, pp 321-326.
  4. 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-1756.
  5. http://www.ams.org/mcom/2009-78-267/S0025-5718-09-02188-7/home.html D.Kouznetsov. Solutions of F(z+1)=exp(F(z)) in the complex z-plane. Mathematics of Computation, 78 p.1647-1670 (2009)
  6. 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)

Keywords: Abel Function, ArcTetration, Doya function, Iterate of linear fraction, Keller function, Shoka function, Superfunction, Transfer function, Transfer equation, Tetration, Tania function,