Natural pentation

Natural pentation compared to other ackermanns

${\displaystyle y\!=\!\mathrm {pen} (x)}$ and its approximations

${\displaystyle u\!+\!\mathrm {i} v=\mathrm {pen} (x\!+\!\mathrm {i} y)}$ in the ${\displaystyle x,y}$ plane

Pentation appears as 5th ackermann.

For ${\displaystyle b>1}$, Pentation ${\displaystyle \mathrm {pen} _{b}}$ specific superfunction of tetration ${\displaystyle \mathrm {tet} _{b}}$, constructed with regular iteration at its lowest real fixed point. Pentation is denoted with symbol pen;

${\displaystyle \mathrm {pen} _{b}(z)=A_{b,5}(z)}$

where ${\displaystyle A_{b,5}}$ is Fifth ackermann to base ${\displaystyle b}$. ^[1][2].

If the base of tetration ${\displaystyle b\!=\!\mathrm {e} \!=\!\exp(1)\!\approx \!2.71}$, then the tetration is called natural tetration and the corresponding pentation is called Natural pentation. Namely this case is considered on this article.

The first 5 ackermanns (addition of e, multiplication by e, exponent, tetration, pentation) are shown in the top figure at right.

Natural pentation is compared to its asymptotics at the second figure.

The complex map of the natural pentation is shown in the last figure.

General properties[edit]

Pentation satisfies the transfer equation

${\displaystyle \mathrm {pen} _{b}(z\!+\!1)=\mathrm {tet} _{b}{\Big (}\mathrm {pen} _{b}(z){\Big )}}$

where ${\displaystyle \mathrm {tet} _{b}}$ is tetration to base ${\displaystyle b}$. The additional condition, common for all ackermanns is assumed,

${\displaystyle \mathrm {pen} _{b}(0)=1}$

Pentation is holomorphic at least in the part of the complex plane, while the real part of the argument does not exceed some constant. For ${\displaystyle b\!=\!\mathrm {e} }$, this constant is about ${\displaystyle -2.5}$

The range of holomorphism of pentation includes alto the real axis.

For the real base ${\displaystyle b>1}$, pentation ${\displaystyle \mathrm {pen} _{b}}$ is real–holomorphic,

${\displaystyle \mathrm {pen} _{b}(z^{*})=\mathrm {pen} _{b}(z)^{*}}$

Pentation has the exponential asymptotic at large negative values of the real part of the argument,

${\displaystyle \mathrm {pen} _{b}(z)=L+\varepsilon +O(\varepsilon ^{2})}$

where ${\displaystyle L}$ is fixed point of tetration, it is solution of equation ${\displaystyle L=\mathrm {tet} _{b}(L)}$

${\displaystyle \varepsilon =\exp(k(z-X))}$,

parameters ${\displaystyle k}$ and ${\displaystyle X}$ depend on the base ${\displaystyle b}$. For base ${\displaystyle b\!>\!1}$, the increment ${\displaystyle k}$ is positive. This increment is determined by the derivative of tetration at its lowest real fixed point, and pentation is periodic function; the period ${\displaystyle P=2\pi \mathrm {i} /k}$. For real base ${\displaystyle b\!>\!1}$, the increment is positive.

Properties of the natural pentation[edit]

The base ${\displaystyle b}$ of pentation is indicated as subscript, but it it is e, the subsctipt can be omitted, as in the case of tetration, arctetration, exponential and logarithm. The natural pentation is superfunction of natural tetration tet ^[3][4].

Natural pentation has the following properties:

The limiting value at minus infinity is fuxed point of the natural tetration, ${\displaystyle L\!=\!L_{\mathrm {e} ,4,0}\!\approx \!-1.8503545290271812}$

Increment at negative values of the real part is ${\displaystyle k\approx 1.86573322821}$

Period ${\displaystyle P=2\pi \mathrm {i} /k\approx 3.36767615657879\,\mathrm {i} }$

The period is pure imaginary, so, the map shown in the figure reproduces at the translations along the imaginary axis. A little bit more than two periods are covered by the range of the complex map at right.

Natural pentation has the countable set of logarithmic singularities. The cut lines divide the right hand side of the complex plane to the set of "independent" strips of width ${\displaystyle P}$. In addition, there are many branch points at the right hand side of the map in vicinity of the real axis; and these branch points also reproduce at the translations for period ${\displaystyle P}$. There is no way to direct these cut lines to the left, because infinite amount of singularities are in the right hand side of the complex map.

Along the real axis, at minus infinity, the function pen grows exponentially from its asymptotic value ${\displaystyle L\approx -1.8503545290271812}$

The graphic passes through points with coordinates ${\displaystyle (-3,-1)}$, ${\displaystyle (-1,0)}$, ${\displaystyle (0,1)}$, ${\displaystyle (1,\mathrm {e} )}$.

In vicinity of the range ${\displaystyle -2.1<z<1.1}$, natural pentation can be approximated with linear function, ${\displaystyle \mathrm {pen} (z)\approx 1\!+\!z}$; this approximation gives of order of 2 correct decimal digits. Error of this approximation can be characterised with function ${\displaystyle \delta (z)=\mathrm {pen} (z)-(1\!+\!z)}$. In order to make it visible, it is scaled with factor 10, id est, ${\displaystyle y\!=\!10\delta (x)}$ is plotted with thin curve in the intermediate figure.

At larger positive values of the argument, pentation shows very fast growth, much faster than that of superfactorial or that of natural tetration.

Visually, ${\displaystyle \mathrm {pen} (2)}$ looks as infinity, and, perhaps, ${\displaystyle \mathrm {pen} (3)}$ can be considered a "numerical approximation" of the fake Mizugadro number. Tetration has singularity and the branch point ${\displaystyle -2}$, and this singularity determines the set of singularities in vicinity of the real axis.

Construction and evaluation of tetration, pentation and highest ackermanns may be good excersice for testing and debugging of the automatic procedure for calculation of superfuncions and non-integer iterates of holomorphic functions. Up to year 2014, such an automatic procedure is not yet implemented, and the superfunctions are built-up semi-manually; with human control of the overlapping of various representations and manual check of the residual at the substitution of various approximations into the transfer equation. ^[1][2]

References[edit]

The first version of this article is adopted from TORI, http://mizugadro.mydns.jp/t/index.php/Pentation

Keywords[edit]

Ackermann, Pentation, Superfunction, Tetration, Transfer equation