■制限のある分割から(その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以内に収まる
===================================