■数とあそぶ(その62)
「分割数」とは与えられた整数にどれだけ多くの分割があるのか(4=1+1+1+1,4=3+1)という整数の分割理論のことです.整数の分割では,3=2+1と3=1+2のように足し算の順序が違うものは同じと見なすことにします.たとえば,4を分割するには非増加数列で構成した5通りの方法,4=3+1=2+2=2+1+1=1+1+1+1がありますから,p(4)=5.同様にして,5=4+1=3+2=3+1+1=2+2+1=2+1+1+1=1+1+1+1+1よりp(5)=7となります.
p(0)=1,p(1)=1,p(2)=2,p(3)=3,p(4)=5,p(5)=7,p(6)=11,
p(7)=15,p(8)=22,p(9)=30,p(10)=41,p(11)=56,p(12)=77,・・・
ここで,p(n)はオイラーの分割関数とも呼ばれますが,定義が簡単そうにみえるにも関わらず,易しい式で表すことはできません.また,分割関数は急激に増大します.
p(n)を評価する問題は数論において研究されていて,1918年,ハーディーとラマヌジャンによって,円周法による漸近近似式:
p(n) 〜 1/4n√(3)exp(π√(2n/3))
が与えられています.
実は,円周法に基づく漸近公式の結果を正確に証明するだけでも,長くてこみ入った理論が必要になります.そこで漸近公式の概要だけを簡単に述べますが,σ(k)をkの約数の和とすると,p(n)に対する漸化式
p(n)=1/nΣσ(k)p(n-k)
において,σ(k)の漸近的振る舞い
1/n^2Σσ(k)〜π^2/12
を用いると,nが大きい場合の分割数の漸近挙動
p(n)〜exp(π√(2n/3))/4n√3
を得ることができます.このことから,p(n)は準指数関数と考えることができます(p(n)^(1/n)→1).
===================================