■分割数の母関数(その2)

分割数p(n)の母関数は

Σp(n)x^n=1/(1-x)・1/(1-x^2)・1/(1-x^3)・・・=(1+x+x^2+x^3+・・・)(1+x^2+x^4+x^6+・・・)(1+x^3+x^6+x^9+・・・)

で与えられる

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

1を含まないようなnの分割の総数はp1(n)=p(n)-p(n-1)である。

Σp1(n)x^n=Π(2)1/(1-x^k)

Σp(n)x^n=Π(0)1/(1-x^k)より

Σp1(n)x^n=(1-x)Σp(n)x^n

p1(n)=p(n)-p(n-1)

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

Π(1-x^k)=Σ(-1)^kx^{k(3k-1)/2}=1+Σ(-1)^kx^{k(3k-1)/2+k(3k+1)/2}

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

p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+P(n-12)・・・

=Σ(-1)^k+1{P(n-k(3k-1)/2)+p(n-k(3k+1)/2)}

ここでkは約√(2n/3)個の値をとる。n〜3k^2/2

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

c=π√(2/3)~2.565として

p(n)≦exp(c√n)

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

ハーディ・ラマヌジャンの定理

p(n)〜1/4n√3・exp(c√n)

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