New tetration method based on continuum sum and expseries  Printable Version + Tetration Forum (https://math.eretrandre.org/tetrationforum) + Forum: Tetration and Related Topics (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=1) + Forum: Mathematical and General Discussion (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=3) + Thread: New tetration method based on continuum sum and expseries (/showthread.php?tid=437) Pages:
1
2

New tetration method based on continuum sum and expseries  mike3  04/20/2010 Hi. I was playing around with this new tetration method based on the continuum sum. The idea is to use the expseries mentioned here: http://math.eretrandre.org/tetrationforum/showthread.php?tid=396 We have or, even better . Then, with the term at interpreted as , so, . However, when viewed in the complex plane, we see that expseries are just Fourier series . which represent a periodic function with period . Thus it would seem that only periodic functions can be continuumsummed this way. Tetration is not periodic, so how could this help? Well, we could consider the possibility of continuumsumming an aperiodic function by taking a limit of a sequence of periodic functions that converge to it. The hypothesis I have is that if is a sequence of periodic analytic functions converging to a given , then their continuum sums, if they converge to anything, converge to the same thing, regardless of the sequence of functions. Would you have any ideas to prove or refute this hypothesis? An example. Let , the identity function. We can't continuumsum it with the expseries directly. But now let , so that , a sequence of periodic (with imaginary period ) entire functions converging to . The continuum sum is, by using the exponential expansion of sinh giving , . Though I didn't bother to try to work it out by hand, instead using a computer math package, the limit is as , agreeing with the result from Faulhaber's formula. Another example is the function , or better, . We can construct periodic approximations like , and take the limit at infinity. The terms in the Fourier series are even worse. If we use a numerical approximation of the series with period , I get the continuum sum from 0 to 1/2 as ~0.6137 (rounded, act. more like something over 0.61369) suggesting the process is recovering the digamma function, as can be seen by setting 1/2 in the canonical formula yielding 0.61370563888011... Trying it with , so as to attempt to evaluate yields values that agree with the gamma function, providing more evidence that gamma is the natural extension of the factorial function to the complex plane. Thus it seems this continuum sum is recovering all the expected sums and extensions. So the question comes up: what happens if we use it on Tetration, to sum up Ansus' continuum sum formula ? I don't yet have a really fast and efficient numerical program ready to go, but the idea behind the algorithm I'm using and the current code I can post in the Computation forum if you'd like. Trying it out, though, it seems to converge well. I can't get a lot of precision due to the amount of nodes required, but enough to make graphs and simple observations of the behavior is available. For tetration , we get , agreeing with the result from the regular iteration up to the expected numerical error of the algorithm (determined by the residual, or the difference of of the approximation at 0.5 and the value of the approximation at 0.5, so we can knock off the 3 and get 1.24362 which is near 1.2436216... (residual mag was approx 10^6)). If we try it now at the natural base, base , we get , which agrees with the results from the Cauchy integral, the Abel iteration, Kneser iteration, etc. Indeed, if we look at the graph at the imaginary axis, we see this: which looks equivalent to the result from the Cauchy integral. Toward , the function looks to settle to values of given by approximately and its conjugate, which of course agrees with the fixed points of logarithm given by and . Graph of : Graph of : Complex Bases The most exciting thing about this method is that it even can be used on complex bases outside the ShellThron convergent region. For example, I tried it on the base , located in the period4 lobe of the tetration fractal coming off the convergent region. I don't know if anyone has even seen the graph of the tetration of a complex base like this before. It is really wacky, and no, this is not a numerical error. Here is : Apparently the period4 behavior is only in the integer tetrations. The continuous tetrational function is instead unbounded on the positive real axis . Also, it does not appear to be injective any more. The graph at the imaginary axis looks like this (i.e. ): showing the decay to the fixed points of the logarithm for this base. One interesting mathematical question raised by this is that it seems to go fine right across , despite looking like the regular iteration below this base. Could this mean that the regular iteration really does have an analytic continuation outside the ShellThron region and the STB is not actually a natural boundary? OF course, this initial experimental investigation is no substitute for rigorous mathematical proof. Another interesting question is why does it appear so many seemingly disparate methods keep turning up this same function, despite the existence of infinitely many solutions to the basic tetration functional equation? Could it be that there is some "natural" uniqueness condition that all these methods happen to be compatible with? RE: New tetration method based on continuum sum and expseries  bo198214  04/20/2010 (04/20/2010, 02:48 AM)mike3 Wrote: Really really interesting. Quote:with the term at interpreted as , so, This is not completely true. The regular tetration in the base range has the form where is a holomorphic function with and (this is the inverse of the SchrÃ¶der function), is the fixed point and (and s is some arbitrary constant which you would choose to ascertain that . So it is periodic. If I consider Kneser's approach for we can obtain a related representation. Kneser's approach also starts with the regular iteration at a complex fixed point. Lets call the corresponding superfunction which is not real on the real axis. If we call the real superfunction then we get that is a 1periodic function, i.e. This is not periodic, nonetheless we can expand it similar to a periodic function. (for simplicity consdier contained in ). The last factor is a 1periodic function: If we insert this into our previous equation: So we have a double exponential series instead of a single series, but nevertheless you again can apply your exponential summation. Though I in the moment have not the time to carry it out myself (so either you do it or I do it later). RE: New tetration method based on continuum sum and expseries  tommy1729  04/20/2010 (04/20/2010, 02:48 AM)mike3 Wrote: Hi. but you dont have the coefficients of ansus tet_b , so no taylor series ? and tet_b is not periodic either ? yes plz explain how you compute it ! regards tommy1729 RE: New tetration method based on continuum sum and expseries  tommy1729  04/20/2010 somewhat off topic but i was thinking about : for some 'suitable' positive real z : suppose we find a relation (function) between b0 and b1 ( function from b0 to b1 ) that holds for b0 , b1 < eta but could be extended (coo [apart from some poles perhaps (at e.g. eta ) ] ) to b0 or b1 > eta then Ansus and mike might have a better prospect with their equations... regards tommy1729 RE: New tetration method based on continuum sum and expseries  tommy1729  04/20/2010 (04/20/2010, 07:45 PM)tommy1729 Wrote: however note that the function mapping b0 to b1 will 'turn' from mapping b1 to b0. so potential usefullness is only in the interval base [eta,'turning point'] ( hoping turning point > eta , but recall we get to choose parameter z ! ) to visualize , consider f = x^2 and map f(x) onto f(x) and then it will " turn " at ' turning point 0 ' and do the opposite ; 'f(x) to f(x)' as x grows from oo to + oo. let the function mapping real b0 to real b1 be called m. the reason for this turning is intuitive , if b0 < m(b0) and log(b0) = 1 then b0 + epsilon > m(b0 + epison) because log(b0 + epsilon) > 1 and the equation cannot be solved for real b0 and real b1 with b1 > b0. note that this gives the upper bound of (b0 or b1) = e. if im not mistaken ... i know i know ... this isnt formal. ( UFO gottfried ? :p ) regards tommy1729 RE: New tetration method based on continuum sum and expseries  mike3  04/20/2010 (04/20/2010, 10:40 AM)bo198214 Wrote: This is not completely true. The regular tetration in the base range has the form This is true, but currently it is only a hypothesis, not a proven theorem, that the regular iteration satisfies the continuum sum equation. Though numerically it looks good. But if one could find an explicit form (either as a closed form or a series with explicit terms or something) for the coefficients in its exp/Fourier expansion, we could take its (canonical) continuum sum and perh. that could help in the finding of the proof if this hypothesis is really right or not. RE: New tetration method based on continuum sum and expseries  bo198214  04/21/2010 (04/20/2010, 09:50 PM)Ansus Wrote: Do I understand correctly, this quantity is the period of tetration? And what is lambda then? How to find it? Yes, as I wrote is the fixed point of regular iteration. For the detailed derivation see/google "Portrait of the four superexponentials to base sqrt(2)" or the nonfinished overview article. RE: New tetration method based on continuum sum and expseries  mike3  04/22/2010 (04/20/2010, 10:40 AM)bo198214 Wrote: Eh. I'm not sure if this method is going to work. Take what happens when . Then we have coefficients multiplying for integer . But this does not continuumsum under the given method: we get , but the denominator is 0 when . This gives a division by zero. There is no joy trying to use a limit (of, say, as approaches )  this singularity explodes to infinity. Yet it seems we can continuumsum the tetrational regardless, by using the periodicapproximation method.) What's going on here? (And as an aside, what did you think of the graph of the tetration of a complex base outside the ShellThron Region?) RE: New tetration method based on continuum sum and expseries  bo198214  04/22/2010 (04/22/2010, 10:20 AM)mike3 Wrote: I'm not sure if this method is going to work. Take what happens when ... Oh thats my fault! I was too sloppy with the case the correct formula is (I changed that in my original post too): RE: New tetration method based on continuum sum and expseries  mike3  04/22/2010 (04/22/2010, 10:35 AM)bo198214 Wrote:(04/22/2010, 10:20 AM)mike3 Wrote: I'm not sure if this method is going to work. Take what happens when ... Ah! Now we can take the continuum sum! Though I'm still at a loss as to how we could use this one for computation. I posted a thread in the Computation forum to discuss the construction of the numerical algorithm. Perhaps it will be better than the periodic approximation approach (get more accuracy, do more bases, etc.). Want to discuss that there? Also, what about my question about the graph? Did you have any prior idea what the graph of tetration for a complex base would look like? 