■制限のある分割から(その20)

 p(n)はオイラーの分割関数とも呼ばれますが,定義が簡単そうにみえるにも関わらず,分割数を表す簡単な公式はありません.

1918年,ハーディーとラマヌジャンはp(n)に対する漸近的な級数を見出しました。

  p(n)〜exp(π√(2n/3))/4n√3

1937年、ラーデマッハーはハーディーとラマヌジャンの数式を改善して、p(n)に対する収束無限級数を見つけました。

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

p(n)の正確な公式は,ラーデマッハーの公式(1937年)

  p(n)=1/π√2ΣAk(n)k^(1/2){d/dxsinh(π(2/3(x-1/24))^(1/2)/(x-1/24)^(1/2))

によって与えられます.ここで,Ak(n)は1の24乗根をもちいて明示的に与えることができます.

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

ラーデマッハーはこの級数のN項以降が切り捨てられるならば、その誤差の絶対値は

2π^2//9√3・exp(π√(2n/3)/(N+1))/N^1/2

で、上から抑えられることを証明した。

p(200)=3972999029388から1以内に収まるためにはたった8項を計算すれば、誤差は0.004以内に収まる

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