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(1−x)1−x2=x(1+x)−2x21−x2=x1−x−2x21−x2
Let q=12, we have
∞∑n=111+2n=∞∑n=1qn1+qn=∞∑n=1qn1−qn−2∞∑n=1q2n1−q2n=L(q)−2L(q2)
where L(x) is a Lambert series
defined by
L(x)def=∞∑n=1xn1−xn=ψx(1)+log(1−x)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+2n≈0.76449978034844420919131974725549848...
No comments:
Post a Comment