Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Transseries, nest-series, and other exotic series representations for tetration
#21
(12/14/2009, 03:16 PM)bo198214 Wrote: Mike, I have another bad news, I found out that not even the Faulhaber sum of is convergent, contrary to what I said before because it looks convergent up to n=100 terms; so your transseries sum can not be convergent.

How does that refute the summation I gave with the transseries? That involves continuum-summing on terms of the form , not or or something like that.
Reply
#22
(12/14/2009, 09:22 PM)mike3 Wrote: How does that refute the summation I gave with the transseries? That involves continuum-summing on terms of the form , not or or something like that.

Its because .
Thatswhy both Faulhaber sums are also in the < relation.
Thatswhy the sum of and of are also in this relation.
Reply
#23
(12/15/2009, 01:17 AM)bo198214 Wrote: Its because .
Thatswhy both Faulhaber sums are also in the < relation.
Thatswhy the sum of and of are also in this relation.

So then how come the series given in the original post



looks to converge? In fact, the two series on the right can be proven to converge by applying the direct comparison test between these and the original series without its initial term, at a given x-value for the second series (the one that depends on x) and at for the first (the one that sums to a constant independent of x). The original is known to converge because the radius of convergence of the exponential function's Taylor series is infinity and it is a simple substitution of a finite value (for finite x) into that series. So can you shoot down this proof? Unless you can claim



is wrong or inconsistent with the Faulhaber formula. How would you do that?
Reply
#24
Hmm. I think I may have figured out what's going on. It seems like Faulhaber's formula fails to sum



for what appears to be . Below that it works and sums it to, apparently . So that would provide an analytic continuation to higher q-values, thus the formula given is valid in a sense, but direct application of the Faulhaber formula will not work. It seems that a combination of analytic continuation and divergent summation theory applied to Faulhaber and transseries theory is needed to put together a comprehensive theory of continuum sums of general analytic functions.

I find the appearance of interesting, considering it is the magnitude of the imaginary period of the exponential function. I don't know if that is significant or not.
Reply
#25
That's interesting, Ansus. What's



?

According to your hypothesis, it should be



for some polynomial . Does that work?
Reply
#26
(12/15/2009, 06:18 AM)mike3 Wrote: In fact, the two series on the right can be proven to converge by applying the direct comparison test between these and the original series

Actually that seems right too. Hm, I have to look where the error is then.
Reply
#27
(12/15/2009, 12:46 PM)bo198214 Wrote: Hm, I have to look where the error is then.

It appears that the Faulhaber sum is not monotonic (which I assumed), i.e. we dont have that from follows that . This puzzles me a bit, shouldnt one expect that from a sum operator?

But no, one shouldnt. The simplest example is perhaps and with the Faulhaber sums and ; the latter cuts at 0 because the first derivative there is different from 1.
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
Question Taylor series of i[x] Xorter 12 10,124 02/20/2018, 09:55 PM
Last Post: Xorter
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 10,378 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 1,404 12/26/2016, 03:01 AM
Last Post: tommy1729
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,243 12/21/2016, 01:27 PM
Last Post: tommy1729
  Taylor series of cheta Xorter 13 10,797 08/28/2016, 08:52 PM
Last Post: sheldonison
  Tetration series for integer exponent. Can you find the pattern? marraco 20 14,909 02/21/2016, 03:27 PM
Last Post: marraco
  [AIS] (alternating) Iteration series: Half-iterate using the AIS? Gottfried 33 34,692 03/27/2015, 11:28 PM
Last Post: tommy1729
  [2014] Representations by 2sinh^[0.5] tommy1729 1 2,127 11/16/2014, 07:40 PM
Last Post: tommy1729
  [integral] How to integrate a fourier series ? tommy1729 1 2,284 05/04/2014, 03:19 PM
Last Post: tommy1729
  Wonderful new form of infinite series; easy solve tetration JmsNxn 1 4,093 09/06/2012, 02:01 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)