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:

\( \sum_{n=0}^{z-1} f(n) = \sum_{k=1}^{\infty} \left(\sum_{n=1}^{\infty} \frac{a_{n-1}}{n} {n \choose k} B_{n-k}\right) z^k \) (here we use \( B_0 = -\frac{1}{2} \))

where \( f(z) = \sum_{n=0}^{\infty} a_n z^n \) 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 \( 2\pi \). Tetration fails both requirements: it is not entire (\( \mathrm{tet}_b(-2 - n) \) for nonnegative integer \( n \) is a singularity, a branch point in fact, and there may be others too), and except for \( e^{-e} \le b \le e^{1/e} \), 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.

\( \sum_{n=0}^{z-1} \frac{1}{n+1} = \gamma + \digamma(n + 1) \)

\( \sum_{n=0}^{z-1} b^n = \frac{b^z - 1}{b - 1},\ b \ne 1 \) (even for \( \log(b) \ge 2\pi \)!)

\( \sum_{n=0}^{z-1} \log(1+n) = \log(\Gamma(z+1)) \)

etc. and for functions that can be represented via exponential series, i.e. \( f(z) = \sum_{n=0}^{\infty} a_n e^{nuz} \),

\( \sum_{n=0}^{z-1} f(z) = a_0 z + \sum_{n=1}^{\infty} a_n \frac{e^{nuz} - 1}{e^{nu} - 1} \).

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:

\( \sum_{n=0}^{\infty} u_n {\'\'=\'\'} \int_{0}^{\infty} e^{-t} g(t) dt \)

where

\( g(t) = \sum_{n=0}^{\infty} \frac{u_n}{n!} t^n \)

if this can be analytically continued to all \( t > 0 \) and grows at most exponentially. Thus we get the "regularized Faulhaber coefficients"

\( b_k = \int_{0}^{\infty} e^{-t} \left(\sum_{n=0}^{\infty} \left(\frac{a_{n-1}}{n n!} {n \choose k} B_{n-k}\right) t^n\right) dt \)

with the inner sum analytically continued, so the continuum sum is \( \sum_{n=0}^{z-1} f(n) = \sum_{k=1}^{\infty} b_k z^k \). 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 \( f(z) = \sum_{n=0}^{\infty} \frac{z^{2n}}{B_{2n}} \). The first coefficient of the continuum sum \( b_1 \) by the Faulhaber's formula gives the divergent sum \( 1 + 1 + 1 + 1 + ... \) 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?


Messages In This Thread
Borel summation and other continuation/summability methods for continuum sums - by mike3 - 12/29/2009, 10:55 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  numerical methods with triple exp convergeance ? tommy1729 1 540 03/27/2023, 03:39 AM
Last Post: JmsNxn
  Divergent Series and Analytical Continuation (LONG post) Caleb 54 13,285 03/18/2023, 04:05 AM
Last Post: JmsNxn
  double functional equation , continuum sum and analytic continuation tommy1729 6 1,770 03/05/2023, 12:36 AM
Last Post: tommy1729
  How fast are these type of sums ? tommy1729 5 1,366 02/17/2023, 11:48 PM
Last Post: tommy1729
  tommy's "linear" summability method tommy1729 15 3,824 02/10/2023, 03:55 AM
Last Post: JmsNxn
  Another way to continuum sum! JmsNxn 8 15,967 02/08/2023, 03:49 AM
Last Post: JmsNxn
  continuation of fix A to fix B ? tommy1729 22 5,630 02/06/2023, 11:59 PM
Last Post: tommy1729
  Axiomizing different methods Daniel 0 653 09/29/2022, 10:01 AM
Last Post: Daniel
  Borel summation bo198214 14 5,045 09/18/2022, 10:58 PM
Last Post: tommy1729
  Borel summation, Mellin Transforms, Parabolic iteration JmsNxn 5 2,166 09/10/2022, 03:12 PM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)