Sunday, 16 August 2015

sequences and series - Is there any possibility to do divergent summation with suminftyk=1exp(sqrtk)?

Self-studying some properties of the exponential-function I came to the question of ways to assign a value to the divergent sum s=k=1exp(k) I have no idea how to attack this with standard methods (I do not know many).




I tried a replacement using reversing order of summation when s is expressed as double sum and introducing zeta at negative half-integer values. I wrote the double-sum as
s=k=1j=0kj/2j!=j=0k=1kj/2j!=j=0ζ(j/2)j!



With this Pari/GP gives me about s=0.753717005339 .



Moreover I'm curious whether I have to extend the index to 2 to get formally s=1+0+k=0ζ(k/2)k! where I've set ζ(0.5)(1)!=0 and ζ(1)(2)!=(1)!(2)!=1

to arrive at s1=1.753717005339



But this is just a shot in the dark. I've tried with another trick which works in some circumstances to sum the alternating series first, and then add an alternating partial series etc, like
s=k=1(1)k1exp(k)+2k=1(1)k1exp(2k)+4... but this doesn't help either since all sums are positive and I get another divergent and monotonuously increasing sequence of partial sums. One of the problems is, that regular summations cannot sum divergent series if all summands are positive and also increase, so my standard tools fail here.



Q: how else could I sum that series?



[edit]: Things begin to complicate... I tried another approach and got a result with a suspicious integer difference. I look at the formal powerseries
g(x)=exp(1+x1)=1+g1x1!+g2x22!+
and t=e(g(0)+g(1)+g(2)+g(3)+...) =eg(0)+e(g(1)+g(2)+g(3)+) =eg(0)+et1
Then, by the same principle of reordering summation of the formal doubleseries we get another sum of zetas, but now at negative integer arguments

t1=g(1)+g(2)+ =1ζ(0)+g1ζ(1)1!+g2ζ(2)2!+ if that reordering makes sense.
Interestingly the value which I get by this is t=1.246282994682 where much interestingly s=t2 . This does not yet confirm one value over the other. But to have just a simple integer-difference seems to tell, that in principle these paths of computation are not completely meaningless (?)



[Edit2]: using Ramanujan-summation as shown in the wikipedia-link I arrive at the same latter value of about 1.2462 which is again s+2. What puzzles me is, that I'm used to negative values for divergent sums of increasing positiv terms. Did I miss something in the Ramanujan-formula? I used the formula C(a)=a0f(t)dt12f(0) where I insert my g(x) above for f(x) using a=0 (and thus the integral-term being zero).
[Edit3]: It seems, that the method at [edit1] is just the Ramanujan-method where the Bernoulli-numbers are translated to the respective zeta-values [Edit4]: I had to correct the sum-formula; the factorials had to be removed
Then the wikipedia-formula reads C(a)=a0f(t)dt+k=0ζ(k)f(k)(0)k! Because we have a power series, the k'th derivative f(k)(0)=fkk! and we can replace this in the formula, cancelling the factorial. Furtherly I had used the function g(x), so t=e+ek=0ζ(k)gk should equal s . Unfortunately, this is also a divergent sum, but can be Euler-/Borel-summed.
Interestingly, the integral-term baf(t)dt gives just the mysterious number 2 : e01g(t)dt=10exp(t)dt=2 according to wolfram-alpha .
With this it seems I can use the much better summable (if not convergent) series
s=j=0ζ(j/2)j! and determine that Ramanujan-summ
t=10exp(t)dt+s



[Edit5] It seems, that the possibility for computations is coherent for other exponents in the basic series. If I generalize
Sq=k=1exp(kq)gq(x)=exp((1+x)q1)=exp((1+x)q)/eCaq=10exp(xq)
and tq and sq accordingly, then for some positive fractional q I get the following results.
qtqCaqsqCq(0)1.000000000001.136305121591.71828182846(=1e1)0.5819767068691.136305122860.5000000000001.246282994662.00000000000(=0e+2)0.7537170053391.246282994910.3333333333331.284227729832.15484548538(=3e6)0.8706177555491.284227729970.2500000000001.303160061542.25374537233(=8e+4!)0.9505853107841.303160061620.2000000000001.314473472362.32268228066(=45e5!)1.008208808301.314473472400.1666666666671.321989522812.37359728681(=264e+6!)1.051607764001.321989522840.1428571428571.327343188672.41279179153(=1855e7!)1.085448602851.327343188690.1250000000001.331349497002.44392029544(=14832e+8!)1.112570798441.331349497020.1111111111111.334459888762.46925379716(=1334978e9!)1.134793908401.334459888780.1000000000001.336944502662.49028031297(=A240(10)e+10!)1.153335810321.336944502670.09090909090911.338974842562.50801667035(=A240(11)e11!)1.169041827791.338974842570.08333333333331.340665011732.52318189730(=A240(12)e+12!)1.182516885571.34066501173

where tq in the second column is the assumed sum computed by the method tq=Caq+sq . The A240(k)-entries are also found in the sequence A000240 in OEIS beginning at k=1.



The last column is the same result computed by the Ramanujan sum C(0) as denoted in the wikipedia-article (and my translation into the gq()-function). That terms are always a diverging sequence of partial sums, so their Euler-sum is documented here for comparision of accuracy.



A plot of q and tq looks like a nearly linear (negative) relation.



It is still open, which value (tq or sq) should be taken as final sum.



Note that using q=1 we should get S1=e1+e2+e3+...=e1e1.58197670687 where only sq is in the near (misses by 1).
The tq value for q=1 however seems obscure; the correct value would be S1=tqe=e1e . Here I do not know what this tells us?

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...