数列の母関数の意味とその応用例
数列 に対して,
を母関数と呼ぶことがある。
数列に対する母関数の定義はいくつかありますが,この記事では上記の通常型母関数を考えます。
母関数とは
- カタラン数の母関数をなんとかして求める
母関数から一般項を求める
母関数とは
母関数は数列に関する情報を全て含んだ関数です。数列の一般項が分かれば母関数を構成できます(ただし,無限級数 がすべての について収束するとは限りません)。
全ての項が1である数列 の母関数は,
である。これは, という条件のもとで
に収束する(シンプルな形で表現できる)。
このように,数列が与えられたときにその母関数を求めることは簡単です。
逆に,母関数から数列の一般項を求められる場合があります。つまり,以下の手順を踏むことで難しい数列の一般項を求められる場合があります。
- 一般項を求めたい数列の母関数をなんとかして求める
- 母関数から一般項を求める
もちろん,数列の母関数を求めるのも一般的には難しいので万能な方法ではありません。
以下では,母関数を用いて漸化式を解く例を紹介します(けっこう難しいです)。
という漸化式を解いて数列の一般項 を求めよ。
これは,「カタラン数」の漸化式です。→カタラン数の意味と漸化式
1. カタラン数の母関数をなんとかして求める
漸化式をうまく用いて母関数を求めます。漸化式が畳み込みっぽい形をしているのでとりあえず母関数を二乗してみます。
カタラン数の母関数を とおく。
の の係数は となるので漸化式が使える:
よって, についての2次方程式
を得る。これを の範囲で解いて,
ただし,初期条件 であり, で関数が連続になる必要があるため符号がマイナスの方が採用される。
母関数から一般項を求める
母関数から一般項を求めるためには, を多項式(べき級数)で表す必要があります。そこで,関数をべき級数に展開する方法:マクローリン展開を用います。
の 回微分係数 を求める:
よって, をマクローリン展開した時の 乗の係数は となり,
を展開したときの の係数は,
となりカタラン数の一般項となる。
※上記ではマクローリン展開を用いており,級数の収束について厳密な議論ができていません(正当化できそうですが,すぐには分からず…)。気になる方は「母関数を用いた議論は漸化式の解の候補を見つけるもの」「厳密には,実際にその候補が漸化式を満たすことを確認した方がよい(けど大変)」と考えてください。
カタラン数の漸化式を解くのはなかなかけわしかったです。
Tag:マクローリン展開の応用例まとめ