Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
New tetration method based on continuum sum and exp-series
#1
Hi.

I was playing around with this new tetration method based on the continuum sum.

The idea is to use the exp-series mentioned here:

http://math.eretrandre.org/tetrationforu...hp?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 exp-series are just Fourier series

.

which represent a periodic function with period .

Thus it would seem that only periodic functions can be continuum-summed this way. Tetration is not periodic, so how could this help?

Well, we could consider the possibility of continuum-summing 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 continuum-sum it with the exp-series 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 Shell-Thron convergent region. For example, I tried it on the base , located in the period-4 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 period-4 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 Shell-Thron 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?
Reply
#2
(04/20/2010, 02:48 AM)mike3 Wrote:

Really really interesting.


Quote:with the term at interpreted as , so,

.

However, when viewed in the complex plane, we see that exp-series are just Fourier series

.

which represent a periodic function with period .

Thus it would seem that only periodic functions can be continuum-summed this way. Tetration is not periodic, so how could this help?

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 1-periodic 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 1-periodic 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).
Reply
#3
(04/20/2010, 02:48 AM)mike3 Wrote: Hi.

We have



or, even better

.

Then,



with the term at interpreted as , so,

.

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.

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
Reply
#4


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
Reply
#5
(04/20/2010, 07:45 PM)tommy1729 Wrote:

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

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
Reply
#6
(04/20/2010, 10:40 AM)bo198214 Wrote: 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.

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.
Reply
#7
(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 super-exponentials to base sqrt(2)" or the non-finished overview article.
Reply
#8
(04/20/2010, 10:40 AM)bo198214 Wrote:

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).

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 continuum-sum 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 continuum-sum the tetrational regardless, by using the periodic-approximation 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 Shell-Thron Region?)
Reply
#9
(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):
Reply
#10
(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 ...

Oh thats my fault! I was too sloppy with the case the correct formula is (I changed that in my original post too):

Ah! Now we can take the continuum sum! Smile 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? Smile Did you have any prior idea what the graph of tetration for a complex base would look like?
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 73 09/09/2019, 10:55 PM
Last Post: tommy1729
Question Taylor series of i[x] Xorter 12 10,268 02/20/2018, 09:55 PM
Last Post: Xorter
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 10,482 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 1,418 12/26/2016, 03:01 AM
Last Post: tommy1729
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,265 12/21/2016, 01:27 PM
Last Post: tommy1729
  Taylor series of cheta Xorter 13 10,942 08/28/2016, 08:52 PM
Last Post: sheldonison
  Tommy's matrix method for superlogarithm. tommy1729 0 1,466 05/07/2016, 12:28 PM
Last Post: tommy1729
  Tetration series for integer exponent. Can you find the pattern? marraco 20 15,072 02/21/2016, 03:27 PM
Last Post: marraco
  [split] Understanding Kneser Riemann method andydude 7 7,081 01/13/2016, 10:58 PM
Last Post: sheldonison
  2015 Continuum sum conjecture tommy1729 3 3,071 05/26/2015, 12:24 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)