ベルヌーイ数
列挙すると
ベルヌーイ数の漸化式
より
係数比較から漸化式が求まります。以下のような表の斜めのラインが同じ次数です。
これから以下の漸化式が求まります。
n段目にn!をかけると
というシンプルな漸化式が現れます。の添字を一つ進める演算子
を使うと
と書けます。
冪乗和の公式
ベルヌーイ数はもともとベルヌーイと関孝和が冪乗和の公式を探す過程で発見した数列です。冪乗和の公式は
という関係式から導くことができ、 と置くと はベルヌーイ数と同様の関係式を満たすことが分かります。ただしこの場合は多項式となります。
以下のような行列を使うと
と表せます。ベルヌーイ数はこの行列の逆行列の最初の列の数字です。の各成分は冪乗和の公式の各係数となります。
冪乗和の公式に関しては
ベルヌーイの公式
もご覧ください。
ゼータ関数の正の偶数の値
ベルヌーイ数は自然数の偶数乗の逆数和を表す式にも現れます。
列挙すると
の無限積表示
オイラーは の無限級数表示と無限積表示の比較によってこの問題を解きました。を使っても本質的に同じ導出ができます。
の因数は以下のように表されます。
の因数
の因数は
ここで は を満たす整数である。ただしのときルートをとる。
このことから必ずを因数として持ち、が偶数のときを因数として持つことがわかる。
また
と表せるので
という式の因数を考え、の極限を考えます。因数は
です。ここでです。ここで
なので因数は
のとき、と はにどんな大きな数を入れてもです。よって因数は
になります。またのときの因数はそれぞれ
であり、このうち は必ず因数となります。
やのことは忘れて、これらの因数をかけあわせ、と先頭の係数をあわせれば
という表現が得られます。
怪しい議論の釈明
上の議論ではやの効果を無視してしまいました。まずこれらの積は
となります。ここでです。この式は何故かスターリングの公式を使うのに都合のよい形になっていて
となりで無限大に発散します。なので先頭の係数が発散してだめなんじゃないかということですが、詳しく考えると次のようなことが分かります。
という因数はが小さいときの関数としての役割が大きいですが、が大きいときほぼ定数項です。因数が とした近似はが小さいときの近似で、が大きくなると因数は定数に近くなり、の発散を食い止める効果をします。でくくると「定数項の重み」が2つに分離されてしまい、片方だけ考えるとおかしくなります。そこで定数項の重みが分離されない変形を考えます。
ここでの級数展開を求めます。
よって
表をつくり
斜めラインが同じ係数なので
この漸化式より
と求まります。よって
これを先程の式に代入すると
途中がネタバレしてますが気にしないでください。
これが「定数項の重み」を分離しない変形をした因数です。で因数はやはり
となります。また今回の先頭の係数は積をとるととなり、はじめの因数の係数をかけるととなり、のはじめの係数と一致します。
このことは
という等式から分かります。ただしこの証明は本質的に今の議論を逆にたどっているだけなので、「だから」というわけではないです。
今度は係数も発散しないので
であることに自信がつきました。
バーゼル問題
の級数展開と無限積表示を比べます。
の係数の比較より
よって
が分かります。
ニュートンの恒等式
この調子で,,..の係数を比較していきたいですが、の係数に対応するのは
ではなく
です。これは の2次の基本対称式です。同様にの係数は3次の基本対称式になります。k次の基本対称式とk次の冪乗和の関係はニュートンの恒等式により求まります。
ニュートンの恒等式
とします。以下のような多項式を考ます。
因数分解された右式を微分すると
となります。カッコの中のそれぞれの項を級数展開すると
となります。これを縦にたせば
となります。一方で級数表示のほうを微分すると
この2つが等しいので
表を作ります。
斜めが同じ係数なので
という漸化式が求まります。これがニュートンの恒等式です。これを
に適用します。上式をの多項式と考えると
となります。漸化式は
これを解くと
と求まります。
ベルヌーイ数との関係
先程の漸化式はベルヌーイ数の漸化式と似ています。さらに似せるには
とし各段にそれぞれをかけます。すると
さらに似せるためベルヌーイ数の漸化式を以下のように変形します。まずベルヌーイ数の以外の奇数項は0となるので、はじめから0をいれます。次にとはまとめて定数項として左辺にもっていきます。するとベルヌーイ数の漸化式は
となり非常に近い形になります。ただここからとの関係がぱっとわかるわけでありません。(分かるでしょうか?)
そこでの母関数について考えます。いま漸化式に対して行った操作と同じように、とを折り込みにした表現を考えます。
にを足します。
とし
これからの級数展開がこのベルヌーイ数で表されることがわかります。級数を求める漸化式はどのようになるでしょうか。
表を作って斜めを見るやつをやります。
定数項を左にもっていく、とおく、格段にそれぞれをかけると
これはとおけば、の漸化式と同じであることがわかります。そしてであり、なので
です。
なのでよって
ニュートンの恒等式の導出を逆にたどる
とおきます。
これを縦に足すと
よって
また
として同様の議論をすれば
そしてさきに述べたように
なのではベルヌーイ数で表せるということです。