■漸化式と母関数(その9)
フィボナッチ数列では
f(x)−1−x=x{f(x)−1}+x^2f(x)
f(x)=1+xf(x)+x^2f(x)
f(x)=1/(1−x−x^2)
f(x)=1/(1−αx)+1/(1−βx)
α+β=1,αβ=−1
α=(1+√5)/2,β=(1−√5)/2
an=(α^n+1−β^n+1)/√5
n→∞のとき,(an)^1/n→α
すなわち,その漸近挙動はc^nのオーダーで増加する.
一方,分割数p(n)はもっと緩やかに増加する.その漸近挙動の主項は
n→∞のとき,(logp(n)/√n)→π√(2/3)
である.
なお,不等式
p(n)<π/√6(n−1)exp(π√(2n/3))
より,p(n)はexp(π√(2/3))よりかなり小さいことがわかる.
===================================