Posts: 368

Threads: 44

Joined: Sep 2009

(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.

Posts: 1,391

Threads: 90

Joined: Aug 2007

12/15/2009, 01:17 AM
(This post was last modified: 12/15/2009, 01:17 AM by bo198214.)
(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.

Posts: 368

Threads: 44

Joined: Sep 2009

12/15/2009, 06:18 AM
(This post was last modified: 12/15/2009, 06:41 AM by mike3.)
(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?

Posts: 368

Threads: 44

Joined: Sep 2009

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.

Posts: 368

Threads: 44

Joined: Sep 2009

12/15/2009, 07:47 AM
(This post was last modified: 12/15/2009, 09:11 AM by mike3.)
That's interesting, Ansus. What's

?

According to your hypothesis, it should be

for some polynomial

. Does that work?

Posts: 1,391

Threads: 90

Joined: Aug 2007

(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.

Posts: 1,391

Threads: 90

Joined: Aug 2007

12/15/2009, 01:00 PM
(This post was last modified: 12/15/2009, 01:13 PM by bo198214.)
(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.