二項型多項式列

数学における多項式列mset が二項型であるとは、この列が恒等式

を満足するときに言う。このような数列は無数に存在し、二項型多項式列をすべて集めて得られる集合は後述のように陰合成のもとで群を成す。任意の二項型多項式列はベル多項式で表すことができる。任意の二項型多項式列はシェファー列だが、逆は必ずしも成り立たない。多項式列は19世紀の漠然とした umbral calculus の概念を下敷きにしている。

二項型多項式列の概念は組合せ論、確率論、統計学、その他さまざまな分野に応用を持つ。

1. 例
----

二項型の定義に基づけば、二項定理の主張は「冪函数列 mset は二項型多項式列を成す」ことと言い表せる。
降冪函数列 mset は二項型の多項式列である。
同様に昇冪函数列 mset は二項型の多項式列である。
アーベル多項式列 mset は二項型である。
トゥシャール多項式列[[エリック・テンプル・ベル mset は二項型である。ここで、係数 //S//}} は「第二種スターリング数」である。

2. 種々の特徴付け
----------

多項式列が二項型であることを、様々な仕方で言い換えることができる。

2.1. デルタ作用素による特徴付け
------------------

多項式列 mset が二項型であるための必要十分条件は、以下の条件をすべて満足することである。

//psub で定義される変数 x}} に関する多項式全体の成す空間上の線型汎函数がシフト同変である。//
任意の x}} において //p//0 =}} 1}} を満たす。
//n// > 0}} に対して //p////n// =}} 0}} を満たす。この汎函数がシフト同変であるという主張は、この多項式列がシェファー列を成すということと同じである。実は二項型多項式列全体の成す集合はシェファー列全体の成す集合に真に含まれる。

上記の線型汎函数は明らかにデルタ作用素である。つまり、x}} を変数とする多項式全体の成す線型空間上のシフト同変な線型汎函数であって、多項式の次数を 1}} だけ下げる。最も明らかなデルタ作用素の例は、差分作用素 Δ}} および微分作用素 //D// =}} fraction である。実は任意のデルタ作用素は微分作用素 D}} の冪級数

の形に書けることが示せる。各デルタ作用素は「基本多項式」 の列、即ち

を満足する多項式列をただ一つ持つ。Rota は多項式列が二項型であるための必要十分条件が、その列が適当なデルタ作用素の基本多項式列となることであることを示した。従って、このやり方で望む限りいくらでも多項式列が作れることになる。

2.2. ベル多項式による特徴付け
-----------------

任意の数列   //a//1, //a//2, //a//3, …   } }}に対して

と置くとこの多項式列は二項型になる。ただし、//B////n//,//k//}} はベル多項式とする。任意の //n// ≥ 1}} に対して

であることに注意せよ。本節における主結果を掲げる

定理: 任意の二項型多項式列はこの形に書ける。Mullin や引き続いて Rota は任意の二項型多項式列   //p////n//   }//n//}} が数列   //p////n//′   }//n//}} から決定できることを示しているが、これらはベル多項式については言及していない。

この数列はデルタ作用素とも関係していて、

と置けば

がこの列のデルタ作用素になる。

2.3. 畳み込み恒等式による特徴付け
-------------------

ふたつの数列 //a////n//, //b////n// }} に対し、一種の畳み込み積を

で定義する。 は畳み込み k}}-乗

の第 n}}-項を表すものとすると、//a//sub なる任意の数列 //a////i// }} に対し、1= //p//0 = 1}} および

で定義される多項式列は二項型であり、また任意の二項型多項式列はこの形で得られるdi Bucchianico。

2.4. 母函数による特徴付け
---------------

二項型多項式列はちょうど

の形の形式冪級数を母函数に持つ。ただし、//f//}} は定数項が零で、かつ一次の項が非零であるような形式冪級数である。このことは、ファア・ディ・ブルーノの公式の冪級数版

によって示すことができる。この列のデルタ作用素は //f//−1}} だから、

となる。

2.4.1. この母函数の一つの見方について
----------------------

ふたつの形式冪級数

の積はコーシー積

で与えられる。x}} をこのような冪級数の族を添字付ける助変数と考えれば、二項型の等式は //x// + //y//}} で添字付けられた冪級数が、x}}, y}} のそれぞれで添字付けられた冪級数の積になることを 実際には言っているのだから、x}} は和を積に写す函数、つまり指数函数

の引数であると捉えられる。ただし、//f//}} は上に書いた形である。

3. 多項式列の陰合成
-----------

二項型多項式列の全体の成す集合は、多項式列の「陰合成」 を群演算とする群を成す。この演算は以下のように与えられるものである。二つの多項式列   //p////n// : //n// =}} 0, 1, 2, 3, …   },   //q////n// : //n// =}} 0, 1, 2, 3, …   } }}に対して、

と書くとき、これら二つの数列の陰合成 //p// ∘ //q//}} はその第 n}}-項が

で与えられる多項式列である。。

デルタ作用素を上述の如く微分作用素 D}} の冪級数として定義するとき、冪級数の間の群演算は冪級数の形式的な合成とすれば、既に述べたデルタ作用素と二項型多項式列との間の自然な全単射は群の同型である。

4. 累積率と積率
---------

二項型多項式列の一次の項の係数からなる数列 κ//n//}} をもとの多項式列の累積率と呼ぶことができる。任意の二項型多項式列はその累積率によって決定することができることが示せる。そして //p//sub は n}}-次の累積率であり、また //p//sub は n}}-次積率である。

累積母函数を

と書けば、//f//sup がもとの多項式列に付随するデルタ作用素、即ち

が成り立つ。

5. 関連項目
-------

Binomial-QMF 

6. 注
----

6.1. 注釈
-------

6.2. 出典
-------

7. 参考文献
-------

first= R.
----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

8. 外部リンク
--------