Loading AI tools
ウィキペディアから
数学において、母関数(ぼかんすう、英: generating function; 生成関数)は、(自然数で添字付けられた)数列 {an} に関する情報を内包した係数を持つ、形式的冪級数である。母関数は、一般線型回帰問題の解決のためにド・モアブルによって1730年に初めて用いられた[1]。複数の自然数で添字付けられる数の配列(多重数列)の情報を取り込んだ多変数冪級数を同様に考えることもできる。
母関数には、通常型母関数 (ordinary generating function)、指数型母関数 (exponential generating function)、ランベルト級数 (Lambert series)、ベル級数 (Bell series)、ディリクレ級数 (Dirichlet series) など様々なものがある。これらについては定義と例を後述する。原理的にはあらゆる列についてそれぞれの種類の母関数が存在する(ただし、ランベルト級数とディリクレ型は添字を 1 から始めることが必要)が、扱い易さについてはそれぞれの種類で相当異なるかもしれない。どの母関数が最も有効かは、その列の性質と解くべき問題の詳細に依存する。
母関数を、形式的冪級数に対する演算・操作を用いるなどして(級数の形ではなく)閉じた形の式で表すこともよく行われる。このような母関数の表示は、母関数の不定元を x とすれば、四則演算、母関数のx に関する微分、他の母関数へ代入すること、などを行った結果として得られる。これらの操作は関数に対しても定義されるものであるし、結果として得られる式もやはり x の関数であるかのように見える。実際、母関数を x の(十分小さい)具体的な値で評価することのできる関数として解釈することができる場合も少なくない(このとき、母関数の冪級数表示は、母関数の閉じた形の式のテイラー級数と解釈される)のであり、それがこの式が「母関数」と呼ばれる所以でもある。しかし、形式的冪級数は x に何らかの数値を代入したときに収束するかどうかは問題にしないのであって、母関数についてそのような関数としての解釈が可能であるということは必ずしも要求されるものではないし、同様に x の関数として意味を持つ式がいずれも形式的冪級数に対して意味を持つわけではない。
慣例的に母「関数」と呼ばれてはいるが、始域から終域への写像という関数の厳密な意味に照らして言えば母関数は関数ではなく、今日的には生成級数(母級数)と呼ぶこともしばしばである。
数列 {an} の通常型母関数とは、形式的冪級数
のことである。単に「母関数」と言った場合、通常型母関数を意味することが多い。
an が離散確率変数の確率質量関数なら、その通常型母関数を確率母関数と呼ぶ。
通常型母関数は多重添字を持つ列に対するものに一般化できる。例えば、二重数列 {am,n}(n と m は自然数)の通常型母関数は
である。
数列 {an} の指数型母関数とは、
という級数である。
数列 {an} のポアソン母関数 (Poisson generating function) とは
のことである。
数列 {an} のランベルト級数は
で定義される。ランベルト級数では、添字 n は 0 からではなく 1 から始まる点に注意。
数論的関数 f(n) と素数 p に対するベル級数は、
で与えられる。
ディリクレ級数は厳密な意味では形式的冪級数でないにもかかわらず、母関数の一種にしばしば分類される。数列 {an} のディリクレ級数型の母関数とは
である。ディリクレ級数型の母関数は an が乗法的関数でその関数のベル級数を使ったオイラー積表示があれば、特に便利である。
母関数の概念を他の数学的対象の列に対しても拡張することができる。例えば、二項型の多項式列の母関数は
のようになる。ここで、pn(x) は多項式列、f(t) はある形式の関数である。シェファー列も同様にして生成される。詳細は一般化アペル多項式を参照。
有限列(あるいは同じことだが、ある番号以降の項が全て 0 となる実質有限列)に対応する特別の場合には、通常型母関数は多項式になる。このことは多くの有限列を、ポワンカレ多項式などの母関数によって有効に解釈できるという点で重要である。
重要な母関数として、定数列 1, 1, 1, 1, ... の通常型母関数
がある。右辺の式は、左辺の冪級数に 1 − x を掛けるとその結果が定冪級数(つまり x0 の項を除く全ての係数が 0 の級数)1 に一致することを確認することで正当化できる。もっといえば、このような性質を持つ冪級数は他に存在することはできず、したがって左辺の冪級数は形式的冪級数環に於ける 1 − x の乗法的逆元を示している。
これを使えば、他のいくつかの列については、通常型母関数の閉じた式を容易に導出することができる。例えば、a を任意の定数とする等比数列 1, a, a2, a3, ... の母関数は
であり、特に a が −1 として
が得られる。x を xのある冪乗で置き換えると、列に規則的なギャップを導入することができる。例えば、1, 0, 1, 0, 1, 0, .... という列の母関数は
で与えられる。最初の母関数の平方を計算すると、係数列が1, 2, 3, 4, 5, ... という数列を成すことは容易に確認できる。つまり、母関数について言えば
が成立する。また立方は係数列として三角数 1, 3, 6, 10, 15, 21, ... を持ち、n 番目の三角数は二項係数 であるから、
が得られる。また、
であることに注意すれば、上述の数列の母関数の線型結合をとることにより、平方数の列 0, 1, 4, 9, 16, ... の通常型母関数を
と求めることができる。
数列の通常型母関数が有理式(2つの多項式の比)で表されるための必要十分条件は、その列が線型漸化式を持つことである。これは、上述の例を一般化したものである。
多重添字をもつ級数に対して、多変数の母関数を定義することができる。これはしばしば超母関数 super generating function) と呼ばれる。特に2変数の場合を2変数母関数 (bivariate generating function) と呼ぶ。
例えば、(1 + x)n が固定された n に対する二項係数の通常型母関数であるから、(n をも動かして)任意の k と n に対して二項係数 を生成する二変数母関数がどうなるのかと考えるのは自然な発想である。これを計算するためには、(1 + x)n 自身を n を添字とする数列と考え、それを係数に持ち、y を不定元とする母関数を求めればよい。an の母関数はちょうど 1/(1 − ay) に等しいから、求める二項係数の母関数は
であり、xkyn の係数が二項係数 となる。
平方数の列 an = n2 の各種母関数を以下に示す。
多変数母関数(多変量生成関数)は、行と列の合計を与えられたとき、非負整数の分割表の数を実際に計算する際に生じる。表に r 個の行と c 個の列があり、行の合計が 、列の合計が とする。アービン・ジョン・グッドによれば[2]、次の式における の係数がその表の数である。
母関数は次のような用途に使われる。
さらに複雑な母関数で生成する多項式列として、次のようなものがある。
多項式補間は、(係数ではなく)値を数列で与えられたとき、その多項式を求める問題である。また、これを可換環論において抽象化したものがヒルベルト多項式である。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.