Friday, August 17, 2018

estimation - a limit about exponential function




limn1+n1!++nnn!en=12




Taking the first n terms of the Taylor series of en as the numerator, the limit is true or false? How to prove?


Answer



Assuming that we work
an=ennk=0nkk!

by the definition of the incomplete gamma function
an=Γ(n+1,n)nΓ(n)

We have the relation Γ(n+1,n)=nΓ(n,n)+ennn
which makes
an=nn1enΓ(n)+Γ(n,n)Γ(n)
The first term tends to 0 when n becomes large; to prove it, take its logarithm and use Stirling approximation to get
log(nn1enΓ(n))=12log(2πn)112n+O(1n5/2)




For the second term, if you look here, you will notice the asymptotics
Γ(n,n)nnenπ2n

So, neglecting the first term, we have, for large n
annnenΓ(n)π2n
Take logarithms and use Stirling approximation to get
log(an)=log(2)112n+O(1n5/2)
Continue with Taylor
an=elog(an)=12124n+O(1n2)

If you use the better asymptotics given in the link Γ(n,n)=nnen[π2n13n+O(1n3/2)]
doing the same, you should end with
an=12132πn124n+O(1n3/2)


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...