User:Dmitrii Kouznetsov/Analytic Tetration

Fig.0. Graphic of analytic tetration $f={\rm {sex}}_{2}(x)=\exp _{2}^{x}(1)$ at versus $x$.

Analytic tetration

by Dmitrii Kouznetsov.

Template:Under construction

Abstract

Analytic tetration is defined as mathematical function that coincides witht the tetration at integer values of the argument and is analytic outside the negative part of the real axis. Existence of such a function is postulated; and arguments in favor of uniqueness of such a function are considered. The algorithm of evaluation is suggested. Examples of evaluation, pictures and tables are supplied. The application and the generalization is discussed.

Preface

The colleagues indicated so many misprints in my papers about tetration, posted at my homepage , that I want to give them opportunity to correct them in real time.

I consider the topic very important and urgent. The analytic tetration should be investigated and discussed right now; overvice, the non-analytic extension may become an ugly standard in mathematics of computation; the implementation of hige numbers with non-analycit tetration would make difficult realization of arithmetic operations and cause a lot of incompatibilities.

This is my apology for posting this research now, while the rigorous proof of existence and uniqueness of the analytic tetration is not yet found. My believe is based on the numerical check of the hypothesis of the existence and uniqueness, on smallness of the residual at the substitution of the function to the tetration equation and beauty of the resulting pictures. I cannot imagine that the agreement with 14 decimal digits occurs just by occasion without deep mathematical meaning.

In such a way I apologize for postulating of statements which should be prooven by the rigorous mathematical deduction.

Introduction

Roughly, super-exponential

(1) ${\rm {sex}}_{b}(z)=\exp _{b}^{z}(1)$

is combination of $x$ exponentials on base $b$. Foe example,

$~{\rm {sex}}_{b}(0)=\exp _{b}^{0}(1)=1$

$~{\rm {sex}}_{b}(1)=\exp _{b}(1)=b$

$~{\rm {sex}}_{b}(2)=\exp _{b}^{2}(1)=\exp _{b}(\exp _{b}(1))=b^{b}$

$~{\rm {sex}}_{b}(3)=\exp _{b}^{3}(1)=\exp _{b}{\Big (}\exp _{b}{\big (}\exp _{b}(1){\big )}{\Big )}=b^{b^{b}}$

and so on. However, such definition is good only for positive integer values of $x$. In general, the superexponential can be defined through the Abel equation

(2) $~\exp _{b}{\Big (}{\rm {sex_{b}}}(z){\Big )}={\rm {sex}}_{b}(z+1)$

with assitional condition that

(3) $~{\rm {sex_{b}}}(0)=1$

Then, at least for positive values of $~b$ and positive integer values of $~z$, such a definition can be used for the evaluation of tetration.

In this paper, the way to define tetration for non-integer argument is described. For real values of the argument, at $~b=2$, such a tetration is plotted on figure 0. In the following sections, I describe, why is it so important, how to define the tetration for non-integer values of the argument, how can it be evalueated with high precision and why it is the only correct way to define analytic tetration.

History of tetration and huge numbers

Perhaps, every researcher used to see diagnostivs "floating overflow" at the evlauation of an expression with huge numbers....

Asymptotic

Eigenvalues of logarithm

FIg.1. Example of graphic solution of equation $L=\log _{b}(L)$ for $b={\sqrt {2}}$ (two real solutions, $L=2$ and $L=4$), $b=\exp(1/{\rm {e)}}$ (one real solution $L={\rm {e}}$) $b=2$ (no real solutions).

I search for the simplest solution, that asymptotically, approaches the eigenvalue of logarithm. For $b$ slightly larger than unity, there exist real sloutions, as it is shown in figure 1.

FIg.2. parameters of asymptotic of tetration versus logarithm of the base

For $b>\exp(1/{\rm {e)}}$, there are 2 complex solutions shown in figure 2.