Friday, September 11, 2015

calculus - Is it possible to give the sum of the convergent series suminftyj=1frac11+2j?



It is easy to show that the series j=111+2j is convergent. Now my curiosity is, Is it possible to give the sum of this series? I have tried by Mathematica to evaluate it, and the output is:




In[1]:= Sum[1/(1 + 2^j), {j, 1, Infinity}]


Out[1]= (-Log[2] + QPolyGamma[0, 1 - (I [Pi])/Log[2], 1/2])/Log[2]



In[2]:= Re[(-Log[2] + QPolyGamma[0, 1 - (I [Pi])/Log[2], 1/2])/Log[2]]



Out[2]= (-Log[2] + Re[QPolyGamma[0, 1 - (I [Pi])/Log[2], 1/2]])/Log[2]




In[3]:= N[(-Log[2] + Re[QPolyGamma[0, 1 - (I [Pi])/Log[2], 1/2]])/
Log[2]]



Out[3]= 0.7645



I also tried to consider some series of terms of functions, such as j=111+xj, hoping to estimate the sum of the desired sum, by differentiation/integration term-by-term. But perhaps it is very hard, and I was in vain. Can someone give me some clues? Many Thanks. I guess maybe we can sum the series j=111+aj explicitly for all a>1, if we can do for a=2.


Answer



Notice x1+x=x(1x)1x2=x(1+x)2x21x2=x1x2x21x2
Let q=12, we have
n=111+2n=n=1qn1+qn=n=1qn1qn2n=1q2n1q2n=L(q)2L(q2)
where L(x) is a Lambert series
defined by
L(x)def=n=1xn1xn=ψx(1)+log(1x)logx

This Lambert series can be expressed in terms of q-polygamma function ψβ(x).
The sum we want becomes



n=111+2n=log(3/2)ψ1/2(1)+ψ1/4(1)log2



By throwing the command (Log[3/2] - QPolyGamma[1,1/2] + QPolyGamma[1,1/4])/Log[2] to WA,
one find
n=111+2n0.76449978034844420919131974725549848...



No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...