第二種Stirling数の母関数表示
Gesselの証明では第二種Stirling数を用います。第二種Stirling数についてはBell数の母関数表示と第二種Stirling数 - INTEGERSを参照してください。
関-ベルヌーイ数の第二種Stirling数を用いた公式 - INTEGERSで用いた次の母関数表示を思い出します。は正整数としておきます。
実は次のような母関数表示も知られており、両方とも使うことになります。
証明. 実は母関数表示1と母関数表示2は同値である。それは次のような観察からわかる。まず、
が成り立つ。一方、部分分数分解により、
が成り立つ。あとは、
に注意すれば①、②より所望の同値性がわかる。 Q.E.D.
証明のアイデア
Gesselの証明は第二種Stirling数 を第二種Stirling数の二つの母関数表示を用いて二通りの表示を与え、それらの表示をの多項式と考えて の係数を比較することによって三木の恒等式を得るというものです。
三木の恒等式はが奇数のときは を言っているに過ぎないため、以下、は以上の偶数とします(ややこしいですが、の変数に使うものは偶数とは限らないものとし、係数比較で取り出した後の固定したは以上の偶数とします。以上の奇数番目の関-Bernoulli数が消えることを使って若干見やすくするためだけの仮定です)。
第一の計算
母関数表示1より
が成り立ち、これは
と書き換えられる。よって、
が成り立つ(最後のやつは の係数という意味)。まず、
と冪に展開できる。次に、を攻める。冪級数の等号
が成り立つ。理由: 微分計算
と関-Bernoulli数の母関数表示
より
が成り立つので、両辺を積分すればよい。
正整数 に対して を
と定義すると、
が成り立つので、
の の係数は である(実質有限和であることに注意)。以上より、
が示された。
第二の計算
母関数表示2より
が成り立ち、これは
と書き換えられる。よって、
と計算できる。ここで、Faulhaberの公式より
である(はについて次以上)。従って、
がわかった()。を展開して右辺を計算すると、
を得る。
係数比較
③、④のの係数を比較することにより、
を得る。定義より
なので、これは三木の恒等式を示している。 Q.E.D.