Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Borel summation and other continuation/summability methods for continuum sums
#1
Hi.

Here's a new possibility for tetration. It's based on the use of Borel summation and other types of methods to attempt to extend continuum sums to a wider domain.

Now as you may know, the continuum sum from Faulhaber's formula:

(here we use )

where is a holomorphic function, only works for a very limited range of functions. Namely, it won't work for non-entire functions, or (it seems) entire functions not of exponential type or of exponential type greater than . Tetration fails both requirements: it is not entire ( for nonnegative integer is a singularity, a branch point in fact, and there may be others too), and except for , it is not of exponential type due to insanely rapid growth. These are well-known.

Because of this, the inner sums will not converge. So the question arises: could one assign a meaning to the formula even when that is the case? Note that we already know some continuum sums for functions that fail this criterion, e.g.



(even for !)



etc. and for functions that can be represented via exponential series, i.e. ,

.

So we would expect that any such divergent/continuation/summability method that's up to the task should preserve these, while allowing us to continuum-sum more things, and it should be "natural" in some way (what that means is, of course, the biggest question).

One option I've thought of is Borel summation. It works like:



where



if this can be analytically continued to all and grows at most exponentially. Thus we get the "regularized Faulhaber coefficients"



with the inner sum analytically continued, so the continuum sum is . Another method that might be useful is the one I mentioned here:

http://math.eretrandre.org/tetrationforu...93#pid4293

Perhaps it could give a still wider range of functions. There are some functions for which these do not appear to work -- consider . The first coefficient of the continuum sum by the Faulhaber's formula gives the divergent sum which does not look to be Borel summable. However it seems it could work for other functions, and the big question is, of course, could it work for tetration, and if so, do the obtained extensions of tetration agree with the ones already made, yet enable expansion to a much wider variety of bases?
Reply
#2
(12/29/2009, 10:55 AM)mike3 Wrote: Hi.

Here's a new possibility for tetration. It's based on the use of Borel summation and other types of methods to attempt to extend continuum sums to a wider domain.

Now as you may know, the continuum sum from Faulhaber's formula:

(here we use )

where is a holomorphic function, only works for a very limited range of functions. Namely, it won't work for non-entire functions,
There is always base , but of course, it can be solved by other means. The upper superexponential at base is entire with no singularities, and with super-exponential growth. Perhaps if you can get the Borel summation to work for , you can figure out how to make it work for other bases.
Quote:or (it seems) entire functions not of exponential type or of exponential type greater than . Tetration fails both requirements: it is not entire ( for nonnegative integer is a singularity, a branch point in fact, and there may be others too), and except for , it is not of exponential type due to insanely rapid growth. These are well-known.

Because of this, the inner sums will not converge. So the question arises: could one assign a meaning to the formula even when that is the case? Note that we already know some continuum sums for functions that fail this criterion, e.g.



(even for !)



etc. and for functions that can be represented via exponential series, i.e. ,

.

So we would expect that any such divergent/continuation/summability method that's up to the task should preserve these, while allowing us to continuum-sum more things, and it should be "natural" in some way (what that means is, of course, the biggest question).

One option I've thought of is Borel summation. It works like:



where



if this can be analytically continued to all and grows at most exponentially. Thus we get the "regularized Faulhaber coefficients"



with the inner sum analytically continued, so the continuum sum is . Another method that might be useful is the one I mentioned here:

http://math.eretrandre.org/tetrationforu...93#pid4293

Perhaps it could give a still wider range of functions. There are some functions for which these do not appear to work -- consider . The first coefficient of the continuum sum by the Faulhaber's formula gives the divergent sum which does not look to be Borel summable. However it seems it could work for other functions, and the big question is, of course, could it work for tetration, and if so, do the obtained extensions of tetration agree with the ones already made, yet enable expansion to a much wider variety of bases?
Reply
#3
(12/30/2009, 09:19 PM)sheldonison Wrote: There is always base , but of course, it can be solved by other means. The upper superexponential at base is entire with no singularities, and with super-exponential growth. Perhaps if you can get the Borel summation to work for , you can figure out how to make it work for other bases.

And it's such superexponential growth that would be why it wouldn't work, at least without the Borel, etc. methods. And if we apply them, the presence of singularities should not be a problem, and so we should be able to solve for the lower superexponential as well. I'm not sure how having the upper would be helpful anyway, especially considering the failure of the "base change method" to produce an analytic function.
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  The summation identities acgusta2 2 3,295 10/26/2015, 06:56 AM
Last Post: acgusta2
  2015 Continuum sum conjecture tommy1729 3 3,067 05/26/2015, 12:24 PM
Last Post: tommy1729
  Another way to continuum sum! JmsNxn 6 6,012 06/06/2014, 05:09 PM
Last Post: MphLee
  How many methods have this property ? tommy1729 1 2,255 05/22/2014, 04:56 PM
Last Post: sheldonison
  [Update] Comparision of 5 methods of interpolation to continuous tetration Gottfried 30 26,457 02/04/2014, 12:31 AM
Last Post: Gottfried
  Developing contour summation JmsNxn 3 4,560 12/13/2013, 11:40 PM
Last Post: JmsNxn
  On naturally occuring sums tommy1729 0 1,803 10/24/2013, 12:27 PM
Last Post: tommy1729
  Continuum sum = Continuum product tommy1729 1 2,418 08/22/2013, 04:01 PM
Last Post: JmsNxn
  applying continuum sum to interpolate any sequence. JmsNxn 1 2,651 08/18/2013, 08:55 PM
Last Post: tommy1729
  Powerful way to perform continuum sum JmsNxn 7 7,370 08/12/2013, 07:17 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)