02/09/2015, 08:19 PM

(01/11/2015, 05:01 PM)Kouznetsov Wrote:Quote:..I can't understand half of the contents..Ask questions. I made also account at http://dmitriikouznets.livejournal.com

for questions. But if with formulas, here seems to be easier.

You may use also http://math.eretrandre.org/hyperops_wiki...Kouznetsov

Thank you very much for the kindness, so I'm happy to accept your invite and ask you something!

I wonder if you were able to explain to me some of your last results and achievements about tetration and the state of the research in laymen's terms... if is possible.

Given my poor knowledge of dynamics and basic analysis is pretty painful for me to go through your papers without "losing my mind" :

(1) for example how do you achieve uniqueness in easy words? I mean, what are the properties that the solution must satisfy and that allow us to derive/(imply) the uniqueness?

(2) what is/are your algorithm/s for tetration?

For the second question I did my best but I was never able to go through the overwhelming amount of formulas and find something..

Looking at Mizugadro's page of Tetration it says that three different algorithms are used for bases belonging to three different domains [A], [B] and [C] (let's skip the complex cases)

[A] For this case Mizugadro says that the related tetration function ( aka -based supefunction) is constructed with regular iteration at smallest of the real fixed points of the function , even if I don't know much about how the regular iteration method works, it says that the function should be of the form

...but I'm lost before finding the values for and for the coefficients in the case of tetration... references of Mizugadro sends me to "D.Kouznetsov, H.Trappmann. Portrait of the four regular super-exponentials to base sqrt(2). Mathematics of Computation, 2010, v.79, p.1727-1756. " but the link is broken and D.Kouznetsov. (2009). Solutions of in the complex -plane. is really too complex for me...

[B] For the case is says that a modified formula is needed

But since I can't understand how to evaluate the coefficents of the polynomials ... I searched it in the reference [2] Trappmann-Kouznetsov-Computation of the Two Regular Super-Exponentials to base exp(1/e). Mathematics of computation, 2012 February 8.

In this paper you (and Trappmann) say that we have to apply the regular iteration to the function and since it is conjugated to by the function iterating gives us the iterates of (hence tetration too) because .

Later the text shows some known old methods (Lévy's, Newton limit formula, Fatou/Walker's ) and then (pag 9) the new expansion

So if I'm not lost we have that for and the following is true

But again, what are the coefficents ?

[C] Ok, here with Cauchi integral, "iterated Cauchi algorithm" I'm totally lost.

What I've got is (reading Natural tet at Mizugadro) that superfunctions are identified up to a -periodic function but inside the equivalence class of supefunctions (up to the equivalence relation given by we can achieve uniqueness looking for the asymptotic approach to the fixed point (of the transfer function?) so, for example, also is a superfunction of exp but it is not... the right one?

If you could explain to me some of these points I would be infinitely grateful to you.

Quote:Quote:About Pentation: l have to notice that long ago, in 2006, Rubtsov and Romerio [1] were able to compute a first approximation of the fixed point . Their first approximation where denoted by and (where pent is computed using their approximation). ..Thank you for the link, I add it to the article

[1] Rubtsov, Romerio - Notes on Hyper-Operations, Progress Report -NKS forum III, Final review 3, 2006.

http://math.eretrandre.org/tetrationforu...hp?aid=222

http://mizugadro.mydns.jp/t/index.php/Superfunction

Do you understand, how do they calculate the tetration?

I think, my algorithms are more efficient, because Rubtsov and Romerio do not present any complex map of tetration, nor pentation.

Well, actually they didn't. Those values for sigma (the fixedpoint of natural tetration) are obtained with the fixed-point iteration method using approximations of natural superlogarithm (inverse of natural tetration) (linear and cubic).

The linear approximation uses () while the Cubic approximation is defined as follow (See [i]"Andrew Robbins - Solving for the Analytic Piecewise Extension of Tetration and the Super-logarithm[i]")

if

if

So using the the linear approximation we get

using the cubic one

so if we denote your approximation with

we have that

close enough!

MathStackExchange account:MphLee