二項型多項式列

数学における多項式列（つまり、自然数の集合  で添字付けられた多項式の成す列であって、かつ各多項式の添字がその多項式の次数に等しいもの） が**二項型**（にこうがた、）であるとは、この列が恒等式
:p_n(x+y)=\sum_{k=0}^n{n \choose k}\, p_k(x)\, p_{n-k}(y)
を満足するときに言う。このような数列は無数に存在し、二項型多項式列をすべて集めて得られる集合は後述のように陰合成のもとで群を成す。任意の二項型多項式列はベル多項式で表すことができる。任意の二項型多項式列はシェファー列だが、逆は必ずしも成り立たない。多項式列は19世紀の漠然とした umbral calculus の概念を下敷きにしている。

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

## 例
* 二項型の定義に基づけば、二項定理の主張は「冪函数列  は二項型多項式列を成す」ことと言い表せる。
* 降冪函数列  は二項型の多項式列である（ただし、空積の規約により  と約束する）。
* 同様に昇冪函数列  は二項型の多項式列である。
* アーベル多項式列  は二項型である。
* トゥシャール多項式列  は二項型である。ここで、係数  は「第二種スターリング数」（位数  の集合を -個の空でない部分集合の非交和に分割する方法の総数）である。

## 種々の特徴付け
多項式列が二項型であることを、様々な仕方で言い換えることができる。

### デルタ作用素による特徴付け
多項式列  が二項型であるための必要十分条件は、以下の条件をすべて満足することである。
#  で定義される変数  に関する多項式全体の成す空間上の線型汎函数がシフト同変である。
# 任意の  において  を満たす。
#  に対して  を満たす。

この汎函数がシフト同変であるという主張は、この多項式列がシェファー列を成すということと同じである。実は二項型多項式列全体の成す集合はシェファー列全体の成す集合に真に含まれる。

上記の線型汎函数は明らかにデルタ作用素である。つまり、 を変数とする多項式全体の成す線型空間上のシフト同変な線型汎函数であって、多項式の次数を  だけ下げる。最も明らかなデルタ作用素の例は、差分作用素  および微分作用素  である。実は任意のデルタ作用素は微分作用素  の冪級数
: Q=\sum_{n=1}^\infty c_n D^n
の形に書けることが示せる（和の添字が  からであることに注意）。各デルタ作用素は「基本多項式」("basic polynomials") の列、即ち
#p_0(x)=1,
#p_n(0)=0\quad(n\geq 1),
#Qp_n(x)=np_{n-1}(x)
を満足する多項式列をただ一つ持つ。 は多項式列が二項型であるための必要十分条件が、その列が適当なデルタ作用素の基本多項式列となることであることを示した。従って、このやり方で望む限りいくらでも多項式列が作れることになる。

### ベル多項式による特徴付け
任意の数列に対して
: p_n(x)=\sum_{k=1}^n B_{n,k}(a_1,\dots,a_{n-k+1}) x^k.

と置くとこの多項式列は二項型になる。ただし、 はベル多項式とする。任意の  に対して
: p_n'(0)=a_n
であることに注意せよ。本節における主結果を掲げる

; 定理: 任意の二項型多項式列はこの形に書ける。

 や引き続いて  は任意の二項型多項式列  が数列  から決定できることを示しているが、これらはベル多項式については言及していない。

この数列はデルタ作用素とも関係していて、
: P(t)=\sum_{n=1}^\infty {a_n \over n!} t^n
と置けば
: P^{-1}\left({d \over dx}\right)
がこの列のデルタ作用素になる。

### 畳み込み恒等式による特徴付け
ふたつの数列  に対し、一種の畳み込み積を
: (a \diamond b)_n = \sum_{j=0}^n {n \choose j} a_j b_{n-j}
で定義する。a_n^{k\diamond} は畳み込み -乗

:a^{k\diamond} := \underbrace{a\diamond\dotsb\diamond a}_{k\text{ factors}}
の第 -項を表すものとすると、 なる任意の数列  に対し、 および
: p_n(x) = \sum_{k=1}^n {a_{n}^{k\diamond} x^k \over k!}\quad (n\geq 1)
で定義される多項式列は二項型であり、また任意の二項型多項式列はこの形で得られる。

### 母函数による特徴付け
二項型多項式列はちょうど
: \sum_{n=0}^\infty {p_n(x) \over n!}t^n=e^{xf(t)}
の形の形式冪級数を母函数に持つ（収束性は問わない）。ただし、 はが零で、かつ一次の項が非零であるような形式冪級数である。このことは、の冪級数版
: f(t)=\sum_{n=1}^\infty {p_n'(0) \over n!}\,t^n
によって示すことができる。この列のデルタ作用素は  だから、
: f^{-1}(D)p_n(x)=np_{n-1}(x)
となる。

#### この母函数の一つの見方について
ふたつの形式冪級数
: \sum_{n=0}^\infty {a_n \over n!}t^n,\quad \sum_{n=0}^\infty {b_n \over n!}t^n
の積はコーシー積
: c_n=\sum_{k=0}^n {n \choose k} a_k b_{n-k}
で与えられる。 をこのような冪級数の族を添字付ける助変数と考えれば、二項型の等式は  で添字付けられた冪級数が、,  のそれぞれで添字付けられた冪級数の積になることを
実際には言っているのだから、 は和を積に写す函数、つまり指数函数
: g(t)^x=e^{x f(t)}
の引数であると捉えられる。ただし、 は上に書いた形である。

## 多項式列の陰合成

二項型多項式列の全体の成す集合は、多項式列の「陰合成」("umbral composition") を群演算とする群を成す。この演算は以下のように与えられるものである。二つの多項式列 に対して、
:p_n(x)=\sum_{k=0}^n a_{n,k}x^k,\quad q_n(x)=\sum_{k=0}^n b_{n,k}x^k
と書くとき、これら二つの数列の陰合成  はその第 -項が
:(p_n\circ q)(x)=\sum_{k=0}^n a_{n,k}q_k(x)=\sum_{0\le k \le \ell \le n} a_{n,k}b_{k,\ell}x^\ell
で与えられる多項式列である。（ここで、 の方は第 -項を考えるのでそれを示す下付き添字を付けて  としているが、対する  は（一つの項ではなくて）全ての項を考えるので添え字は現れていない）。

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

## 累積率と積率
二項型多項式列の一次の項の係数からなる数列  をもとの多項式列の累積率と呼ぶことができる。任意の二項型多項式列はその累積率によって決定することができることが示せる（キュムラントの項を参照）。そして  は -次の累積率であり、また  は -次積率である（これら「形式」累積率および「形式」積率は、確率分布の累積率および積率に相当するものである）。

累積母函数を
: f(t)=\sum_{n=1}^\infty\frac{\kappa_n}{n!}t^n
と書けば、 がもとの多項式列に付随するデルタ作用素、即ち
: f^{-1}(D)p_n(x)=np_{n-1}(x)
が成り立つ。

## 関連項目

* Binomial-QMF (Daubechies wavelet filters)

## 注
### 注釈

### 出典

## 参考文献
* 
* 
* 

----

## 外部リンク
*