Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Transseries, nest-series, and other exotic series representations for tetration
#7
Hmm. My hypothesis that the double-sum, or at least the exp-series, can only provide continuum sums of functions for "double-exponential type" or less seems to be wrong. Indeed, it seems that if an exp-series exists and converges for a function, then its continuum sum does too.

Consider the triple-exponential function . This can be expressed as an exp-series



where are the coefficients of the Taylor series of at (MacLaurin series). Taking the continuum sum gives,



As the coefficients of both sums are smaller than those of the original sum (because for all ), if the original series converges at 0 and at the point , so does this (see series comparison test). Since we have an expression for , we have achieved its continuum sum and the proof (or disproof, insofar as my original hypothesis that such a series could not yield a continuum sum of something faster than a double exponential, but as a proof this proves even more, namely that any convergent exp-series' continuum sum also converges, unlike the case with Taylor series summed via direct application of Faulhaber's formula) is complete.

As exp-series look to be a special case of nested series, this suggests even 2 layers of nesting may be able to represent tetration and continuum-sum it, though there's still no proof for that. The special case of exp-series themselves do not appear useful for doing tetration with Ansus' formula, however, for two reasons: any function constructed with them is -periodic, yet tetration seems not to be given pretty much every "good" extension there is -- though they may be able to express tetration for the base whose regular tetration is periodic with the required period (and so the exp-series can be recovered via the Fourier series), but a single base isn't very useful. And, we can't even represent as an exp-series, thus we can't even continuum-sum one exp-series to another exp-series so this is not very useful insofar as trying to iteratively apply Ansus' formula to generate tetrationals goes!
Reply


Messages In This Thread
RE: Transseries, nest-series, and other exotic series representations for tetration - by mike3 - 11/28/2009, 06:50 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Perhaps a new series for log^0.5(x) Gottfried 3 713 03/21/2020, 08:28 AM
Last Post: Daniel
Question Taylor series of i[x] Xorter 12 13,388 02/20/2018, 09:55 PM
Last Post: Xorter
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 13,636 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 1,835 12/26/2016, 03:01 AM
Last Post: tommy1729
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,889 12/21/2016, 01:27 PM
Last Post: tommy1729
  Taylor series of cheta Xorter 13 14,422 08/28/2016, 08:52 PM
Last Post: sheldonison
  Tetration series for integer exponent. Can you find the pattern? marraco 20 18,740 02/21/2016, 03:27 PM
Last Post: marraco
  [AIS] (alternating) Iteration series: Half-iterate using the AIS? Gottfried 33 42,301 03/27/2015, 11:28 PM
Last Post: tommy1729
  [2014] Representations by 2sinh^[0.5] tommy1729 1 2,571 11/16/2014, 07:40 PM
Last Post: tommy1729
  [integral] How to integrate a fourier series ? tommy1729 1 2,787 05/04/2014, 03:19 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)