二項型多項式列

テンプレート:No footnotes 数学における多項式列（つまり、自然数の集合 テンプレート:Math で添字付けられた多項式の成す列であって、かつ各多項式の添字がその多項式の次数に等しいもの）テンプレート:Math が二項型（にこうがた、テンプレート:Lang-en-short）であるとは、この列が恒等式

$p_n(x+y)=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})p_k(x)p_{n-k}(y)$

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

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

例

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

種々の特徴付け

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

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

多項式列 テンプレート:Math が二項型であるための必要十分条件は、以下の条件をすべて満足することである。

1. テンプレート:Math で定義される変数 テンプレート:Mvar に関する多項式全体の成す空間上の線型汎函数がシフト同変である。
2. 任意の テンプレート:Mvar において テンプレート:Math を満たす。
3. テンプレート:Math に対して テンプレート:Math を満たす。

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

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

$Q=\sum _{n=1}^{\mathrm{\infty }}{c}_n{D}^n$

の形に書けることが示せる（和の添字が テンプレート:Math からであることに注意）。各デルタ作用素は「基本多項式」("basic polynomials") の列、即ち

1. $p_0(x)=1,$
2. $p_n(0)=0(n\ge 1),$
3. $Q{p}_n(x)=n{p}_{n-1}(x)$

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

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

任意の数列テンプレート:Mathに対して

$p_n(x)=\sum _{k=1}^n{B}_{n,k}(a_1,\dots ,a_{n-k+1})x^k.$

と置くとこの多項式列は二項型になる。ただし、テンプレート:Math はベル多項式とする。任意の テンプレート:Math に対して

${p_n}^{\prime }(0)=a_n$

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

定理

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

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

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

$P(t)=\sum _{n=1}^{\mathrm{\infty }}\frac{a_n}{n!}{t}^n$

と置けば

$P^{-1}\left(\frac{d}{dx}\right)$

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

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

ふたつの数列 テンプレート:Math に対し、一種の畳み込み積を

$(a\diamond b{)}_n=\sum _{j=0}^n(\genfrac{}{}{0ex}{}{n}{j})a_j{b}_{n-j}$

で定義する。$a_n^{k\diamond }$ は畳み込み テンプレート:Mvar-乗

$a^{k\diamond }:=\underset{k\text{ factors}}{\underbrace{a\diamond \cdots \diamond a}}$

の第 テンプレート:Mvar-項を表すものとすると、テンプレート:Math なる任意の数列 テンプレート:Math に対し、テンプレート:Math および

$p_n(x)=\sum _{k=1}^n\frac{a_n^{k\diamond }{x}^k}{k!}(n\ge 1)$

で定義される多項式列は二項型であり、また任意の二項型多項式列はこの形で得られるテンプレート:Harv。

母函数による特徴付け

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

$\sum _{n=0}^{\mathrm{\infty }}\frac{p_n(x)}{n!}{t}^n=e^{xf(t)}$

の形の形式冪級数を母函数に持つ（収束性は問わない）。ただし、テンプレート:Math はテンプレート:仮リンクが零で、かつ一次の項が非零であるような形式冪級数である。このことは、テンプレート:仮リンクの冪級数版

$f(t)=\sum _{n=1}^{\mathrm{\infty }}\frac{{p_n}^{\prime }(0)}{n!}{t}^n$

によって示すことができる。この列のデルタ作用素は テンプレート:Math だから、

$f^{-1}(D)p_n(x)=n{p}_{n-1}(x)$

となる。

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

ふたつの形式冪級数

$\sum _{n=0}^{\mathrm{\infty }}\frac{a_n}{n!}{t}^n,\sum _{n=0}^{\mathrm{\infty }}\frac{b_n}{n!}{t}^n$

の積はコーシー積

$c_n=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})a_k{b}_{n-k}$

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

$g(t{)}^x=e^{xf(t)}$

の引数であると捉えられる。ただし、テンプレート:Math は上に書いた形である。

多項式列の陰合成

テンプレート:Main 二項型多項式列の全体の成す集合は、多項式列の「陰合成」("umbral composition") を群演算とする群を成す。この演算は以下のように与えられるものである。二つの多項式列 テンプレート:Mathに対して、

$p_n(x)=\sum _{k=0}^n{a}_{n,k}{x}^k,q_n(x)=\sum _{k=0}^n{b}_{n,k}{x}^k$

と書くとき、これら二つの数列の陰合成 テンプレート:Math はその第 テンプレート:Mvar-項が

$(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 }$

で与えられる多項式列である。（ここで、テンプレート:Mvar の方は第 テンプレート:Mvar-項を考えるのでそれを示す下付き添字を付けて テンプレート:Math としているが、対する テンプレート:Mvar は（一つの項ではなくて）全ての項を考えるので添え字は現れていない）。

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

累積率と積率

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

累積母函数を

$f(t)=\sum _{n=1}^{\mathrm{\infty }}\frac{{\kappa }_n}{n!}{t}^n$

と書けば、テンプレート:Math がもとの多項式列に付随するデルタ作用素、即ち

$f^{-1}(D)p_n(x)=n{p}_{n-1}(x)$

が成り立つ。

関連項目

• Binomial-QMF (Daubechies wavelet filters)

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation

---

外部リンク

• テンプレート:Mathworld