■ベルヌーイ数(その5)
ベルヌーイ数が,整数論にとって欠かすことができない存在なのは,ゼータ関数との関係にその理由があり,リーマンのゼータ関数
ζ(s)=Σ1/n^s=Π(1−p^(-s))^(-1)
とベルヌーイ数との間には,次の公式が成り立ちます.
Π1/(1−p^(-2m))=ζ(2m)=Bm/2・(2π)^(2m)/(2m)!
また,どんなBn/nの約数にもならない素数は正則素数と呼ばれるのですが,与えられた素数pの正則性を確かめるためには,クンマーの合同式により,
1≦n≦(p−1)/2
について,Bnの分子を調べればよいことになります.
1850年,クンマーはどんなBn/nの分子の約数にもならない素数(正則素数)をベキ指数とする場合に,フェルマーの最終定理を証明して以来,正則素数の判定にも顔を出す興味深い数となりました.(クンマーは円分体の整数論の研究に専念し,正則素数であるすべてのnに対してフェルマー予想が成立することを示したのですが,正則素数pはBp-3 までのベルヌーイ数Bkの分子を割り切ることのできない素数として定義されていて,100以下の非正則素数は37,59,67ですべてですから,この3つの数以外では100までのnに対してフェルマー予想が正しいことが証明されたことになります.)
Bn/nを既約分数で表したときの分母を求めることは,1840年,クラウゼンとフォン・シュタウトの定理により,厳密に求めることが容易になったのですが,Bn/nの分子はnに対して急激に増加するため,計算はずっと難しかしくなります.
以下に,nが小さいときの表を掲げておきますが,
Bn/nの分子>Bn/n>4/√e(n/πe)^(2n-1/2)
より,
(n/πe)^(2n)
のオーダーとなりますから,n>πe=8.539・・・のとき,分子は急激に大きくなることが示されます.
n Bn/nの分子 n Bn/nの分子
≦5 1 9 43867
6 691 10 174611
7 1 11 77683
8 3617 12 236364091
この分子の値は,平行化可能な多様体の境界となるエキゾチック(4n−1)次元球面の微分同相からなる群が,位数
2^(2n)(2^(2n-1)−1)・Bn/nの分子
の巡回群であることから,微分トポロジーの研究者の注意を引くものとなっていたのですが,B7の分子が7で割り切れることが,ミルナーがエキゾチック球面の証明に用いた方法に繋がったのです.
===================================