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 ex−1, the second bracket is x−2(ex−1−x−x22!), the third bracket is x−4(ex−1−x−x22!−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 A⊂C, [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πi∮CRf(t)tℓ+1dt
The series at hand can be rewritten as
Sdef=∞∑ℓ=0∞∑k=1xk(k+2ℓ)!=∞∑ℓ=0∞∑k=1∞∑m=0δm,k+2ℓxkm!=∞∑ℓ=0∞∑k=1∞∑m=0δm−k,2ℓxkm!=∞∑ℓ=0{∞∑k=1∞∑m=0[t2ℓ](xt)ktmm!}
Over the complex plane, the sum
∞∑k=1∞∑m=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=1∞∑m=0(xt)ktmm!=∞∑ℓ=0[t2ℓ]xett−x=∞∑ℓ=0[t0]t−2ℓxett−x
Over the complex plane, the term ∞∑ℓ=0t−2ℓ 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][(∞∑ℓ=0t−2ℓ)xett−x]=[t0](t2t2−1xett−x)=12πi∮CRtxet(t2−1)(t−x)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(x2−1)+xe2(1−x)+−xe−1(−2)(−1−x)=x2(x2−1)[2xex−e(x+1)−e−1(x−1)]=x2(x2−1)[x(2ex−(e+e−1))−(e−e−1)]
Reproducing what Did mentioned in hir comment.
No comments:
Post a Comment