■分割数の漸近挙動(その120)
(その119)を補足.
===================================
【1】ポアソンの総和公式
ポアソンの総和公式より,
exp(−t/24)/P(e^-t)=(2π/t)^1/2・exp(−π^2/6t)/P(e^-4π^2/t)
これより,
lnP(e^-t)=ζ(2)/t+1/2lnt/2π−t/24+lnP(e^-4π^2/t)
==================================
【2】ハーディー・ラマヌジャン・ラーデマッハーの公式
p(n)=1/π√(2)Σk(1/2)Ak(n)d/dn{sinh(πλn√(2/3))/λn}
であるが,
p(n)=π/2^5/43^3/4(n−1/24)^3/4ΣAk(n)/k・I3/2(√(2/3)・π/k・(n-1/24)^1/2)
I3/2は変形球ベッセル関数
I3/2(z)=(z/2)^3/2Σ1/Γ(k+5/2)・(z^2/4)/k!=√(2z/π)・(coshz/z-sinhz/z^2)
係数Ak(n)はデデキント和σを用いて,
Ak(n)=Σexp(2πi(σ/24-nh/k))
A1(n)=1,A2(n)=(−1)^n,
A3(n)=2cos(24n+1)π/18
==================================