Monday, 26 October 2015

Closed-form expression of sum of series sumlimitsin=0nftysumlimitsik=1nftyfracxk(k+2n)!




I would like a closed-form expression of the following series:



(x1!+x22!+x33!+x44!+)+(x3!+x24!+x35!+x46!+)+(x5!+x26!+x37!+x48!+)+





Clearly the first bracket is ex1, the second bracket is x2(ex1xx22!), the third bracket is x4(ex1xx22!x33!x44!), and so on. Is there a way to combine these infinitely many terms into a closed form expression?


Answer



For any formal Laurent series in t, f(t)==αt, we will use the notation [t]f(t) to denote the coefficient α in front of the monomial t. When f(t) defines a
function holomorphic over an annular region AC, [t]f(t) can be reinterpreted as a contour integral over some suitably chosen circle CR={t:|t|=R} lying within A.
[t]f(t)12πiCRf(t)t+1dt



The series at hand can be rewritten as




Sdef==0k=1xk(k+2)!==0k=1m=0δm,k+2xkm!==0k=1m=0δmk,2xkm!==0{k=1m=0[t2](xt)ktmm!}


Over the complex plane, the sum
k=1m=0(xt)ktmm!
converges absolutely for |t|>|x|.
If we interpret the expression inside curly braces of (1) as contour integrals over circle CR with R>|x|, we can switch the order of summation and [].

We find



S==0[t2]k=1m=0(xt)ktmm!==0[t2]xettx==0[t0]t2xettx



Over the complex plane, the term =0t2 converges absolutely when |t|>1. If we choose R>max{|x|,1},
we can change the order of summation and [] again and get




S=[t0][(=0t2)xettx]=[t0](t2t21xettx)=12πiCRtxet(t21)(tx)dt


Since R>max{|x|,1}, there are 3 poles x,±1 inside CR. If one
sums over the contributions from these poles, one obtains



S=x2ex(x21)+xe2(1x)+xe1(2)(1x)=x2(x21)[2xexe(x+1)e1(x1)]=x2(x21)[x(2ex(e+e1))(ee1)]


Reproducing what Did mentioned in hir comment.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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