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
  Calculating the residues of \(\beta\); Laurent series; and Mittag-Leffler JmsNxn 0 156 10/29/2021, 11:44 PM
Last Post: JmsNxn
  Trying to find a fast converging series of normalization constants; plus a recap JmsNxn 0 163 10/26/2021, 02:12 AM
Last Post: JmsNxn
  Reducing beta tetration to an asymptotic series, and a pull back JmsNxn 2 734 07/22/2021, 03:37 AM
Last Post: JmsNxn
  Perhaps a new series for log^0.5(x) Gottfried 3 4,414 03/21/2020, 08:28 AM
Last Post: Daniel
Question Taylor series of i[x] Xorter 12 23,086 02/20/2018, 09:55 PM
Last Post: Xorter
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 24,274 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 3,295 12/26/2016, 03:01 AM
Last Post: tommy1729
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 3,356 12/21/2016, 01:27 PM
Last Post: tommy1729
  Taylor series of cheta Xorter 13 25,281 08/28/2016, 08:52 PM
Last Post: sheldonison
  Tetration series for integer exponent. Can you find the pattern? marraco 20 29,995 02/21/2016, 03:27 PM
Last Post: marraco



Users browsing this thread: 1 Guest(s)