この記事では第二種スターリング数の満たす公式
とその類似について考察していきます。
第二種スターリング数とは
という展開における係数
としました。この定義から
に注意するとわかる。
冒頭で紹介した公式も同様にして示すことができます。
に注意するとわかる。
これは冪級数
と変形できることを考えるとわかりやすいと思います。
ここでは第二種スターリング数と類似して
という漸化式を満たす数列
このような数列は
数列
という展開によって定めると、これは漸化式
を満たす。
に注意するとわかる。
これは
を満たすことから、冪級数
と変形できるので以下が成り立つことが推測できます(めんどいので証明はしません)。
ちなみにこれらは次のような一般項を持つことがわかります。
数学的帰納法により
とわかる。
この記事は先日見かけたこんな問題に対する議論を発端に書き始めたものになります。
を満たすような数列
この問題は最終的に
と解かれましたが、そこに至るまでの議論の端々にスターリング数の影が見え隠れしており、どのようなアナロジーが考えられるのか個人的に考察した結果が上の通りであったわけです。
ちなみに上の結果を用いるとこの問題は次のように証明できます。
が成り立つことに注意すると
を得る。
途中で
微分が消えることで綺麗に整理できるのが気持ちいいですね。
この記事を書いててちょっとした一般化のアイデアが浮かんだので簡単に書き散らしてみます。
数列
という展開によって定める。ただし
とした。
に注意するとわかる。
実際
が成り立つ。ただし
とした。
数学的帰納法により
とわかる。
意外と一般項も求まるもんですね。ただ、
のように綺麗な形に書けただけで、
上で考えた数列
このとき漸化式
によって定まる数列の一般項は
と求まる。
とおくと、これは
を満たす
がわかる。
また
とわかる。
を満たすような数列
とおくとこれらは漸化式
を満たす。