■漸化式と母関数(その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))よりかなり小さいことがわかる.

===================================